%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB069+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Tue Jul 19 19:04:42 EDT 2022 % Result : Timeout 287.36s 282.37s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SWB069+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.12 % Command : run_infinox %s % 0.11/0.32 % Computer : n028.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 600 % 0.11/0.32 % DateTime : Wed Jun 1 11:38:37 EDT 2022 % 0.11/0.33 % CPUTime : % 2.83/3.01 eprover: CPU time limit exceeded, terminating % 4.79/5.02 eprover: CPU time limit exceeded, terminating % 6.86/7.03 eprover: CPU time limit exceeded, terminating % 8.92/9.04 eprover: CPU time limit exceeded, terminating % 10.89/11.04 eprover: CPU time limit exceeded, terminating % 12.98/13.05 eprover: CPU time limit exceeded, terminating % 15.04/15.06 eprover: CPU time limit exceeded, terminating % 17.02/17.07 eprover: CPU time limit exceeded, terminating % 19.10/19.08 eprover: CPU time limit exceeded, terminating % 21.08/21.09 eprover: CPU time limit exceeded, terminating % 23.17/23.10 eprover: CPU time limit exceeded, terminating % 25.12/25.10 eprover: CPU time limit exceeded, terminating % 27.21/27.11 eprover: CPU time limit exceeded, terminating % 29.23/29.12 eprover: CPU time limit exceeded, terminating % 31.24/31.13 eprover: CPU time limit exceeded, terminating % 33.28/33.14 eprover: CPU time limit exceeded, terminating % 35.28/35.15 eprover: CPU time limit exceeded, terminating % 37.36/37.16 eprover: CPU time limit exceeded, terminating % 39.34/39.17 eprover: CPU time limit exceeded, terminating % 41.41/41.18 eprover: CPU time limit exceeded, terminating % 43.41/43.19 eprover: CPU time limit exceeded, terminating % 45.52/45.20 eprover: CPU time limit exceeded, terminating % 47.54/47.21 eprover: CPU time limit exceeded, terminating % 49.52/49.22 eprover: CPU time limit exceeded, terminating % 51.62/51.23 eprover: CPU time limit exceeded, terminating % 53.60/53.24 eprover: CPU time limit exceeded, terminating % 55.67/55.25 eprover: CPU time limit exceeded, terminating % 57.67/57.25 eprover: CPU time limit exceeded, terminating % 59.72/59.26 eprover: CPU time limit exceeded, terminating % 61.73/61.27 eprover: CPU time limit exceeded, terminating % 63.83/63.28 eprover: CPU time limit exceeded, terminating % 65.78/65.29 eprover: CPU time limit exceeded, terminating % 67.88/67.30 eprover: CPU time limit exceeded, terminating % 69.91/69.31 eprover: CPU time limit exceeded, terminating % 71.92/71.32 eprover: CPU time limit exceeded, terminating % 73.96/73.33 eprover: CPU time limit exceeded, terminating % 76.00/75.34 eprover: CPU time limit exceeded, terminating % 78.00/77.35 eprover: CPU time limit exceeded, terminating % 80.00/79.36 eprover: CPU time limit exceeded, terminating % 82.04/81.37 eprover: CPU time limit exceeded, terminating % 84.10/83.38 eprover: CPU time limit exceeded, terminating % 86.19/85.39 eprover: CPU time limit exceeded, terminating % 90.11/87.40 eprover: CPU time limit exceeded, terminating % 92.16/89.41 eprover: CPU time limit exceeded, terminating % 94.26/91.42 eprover: CPU time limit exceeded, terminating % 96.31/93.43 eprover: CPU time limit exceeded, terminating % 98.31/95.44 eprover: CPU time limit exceeded, terminating % 100.31/97.45 eprover: CPU time limit exceeded, terminating % 102.35/99.46 eprover: CPU time limit exceeded, terminating % 104.33/101.47 eprover: CPU time limit exceeded, terminating % 106.39/103.48 eprover: CPU time limit exceeded, terminating % 108.44/105.49 eprover: CPU time limit exceeded, terminating % 110.53/107.50 eprover: CPU time limit exceeded, terminating % 112.57/109.51 eprover: CPU time limit exceeded, terminating % 114.57/111.52 eprover: CPU time limit exceeded, terminating % 116.60/113.53 eprover: CPU time limit exceeded, terminating % 118.62/115.54 eprover: CPU time limit exceeded, terminating % 120.66/117.55 eprover: CPU time limit exceeded, terminating % 122.67/119.56 eprover: CPU time limit exceeded, terminating % 124.71/121.56 eprover: CPU time limit exceeded, terminating % 126.75/123.58 eprover: CPU time limit exceeded, terminating % 128.76/125.59 eprover: CPU time limit exceeded, terminating % 130.79/127.59 eprover: CPU time limit exceeded, terminating % 132.90/129.61 eprover: CPU time limit exceeded, terminating % 134.91/131.61 eprover: CPU time limit exceeded, terminating % 136.96/133.62 eprover: CPU time limit exceeded, terminating % 138.96/135.63 eprover: CPU time limit exceeded, terminating % 141.00/137.64 eprover: CPU time limit exceeded, terminating % 142.99/139.65 eprover: CPU time limit exceeded, terminating % 145.03/141.66 eprover: CPU time limit exceeded, terminating % 147.09/143.67 eprover: CPU time limit exceeded, terminating % 149.07/145.68 eprover: CPU time limit exceeded, terminating % 151.14/147.69 eprover: CPU time limit exceeded, terminating % 153.14/149.70 eprover: CPU time limit exceeded, terminating % 155.25/151.71 eprover: CPU time limit exceeded, terminating % 157.27/153.72 eprover: CPU time limit exceeded, terminating % 159.30/155.73 eprover: CPU time limit exceeded, terminating % 161.34/157.74 eprover: CPU time limit exceeded, terminating % 163.36/159.75 eprover: CPU time limit exceeded, terminating % 165.38/161.76 eprover: CPU time limit exceeded, terminating % 167.40/163.77 eprover: CPU time limit exceeded, terminating % 169.44/165.78 eprover: CPU time limit exceeded, terminating % 171.44/167.79 eprover: CPU time limit exceeded, terminating % 173.54/169.80 eprover: CPU time limit exceeded, terminating % 175.59/171.81 eprover: CPU time limit exceeded, terminating % 177.61/173.82 eprover: CPU time limit exceeded, terminating % 179.62/175.83 eprover: CPU time limit exceeded, terminating % 181.65/177.84 eprover: CPU time limit exceeded, terminating % 183.69/179.85 eprover: CPU time limit exceeded, terminating % 185.68/181.86 eprover: CPU time limit exceeded, terminating % 187.72/183.87 eprover: CPU time limit exceeded, terminating % 189.75/185.88 eprover: CPU time limit exceeded, terminating % 191.84/187.89 eprover: CPU time limit exceeded, terminating % 193.88/189.90 eprover: CPU time limit exceeded, terminating % 195.93/191.91 eprover: CPU time limit exceeded, terminating % 197.96/193.92 eprover: CPU time limit exceeded, terminating % 199.97/195.93 eprover: CPU time limit exceeded, terminating % 202.00/197.94 eprover: CPU time limit exceeded, terminating % 204.02/199.95 eprover: CPU time limit exceeded, terminating % 206.05/201.96 eprover: CPU time limit exceeded, terminating % 208.05/203.97 eprover: CPU time limit exceeded, terminating % 210.08/205.98 eprover: CPU time limit exceeded, terminating % 212.11/207.99 eprover: CPU time limit exceeded, terminating % 214.21/210.00 eprover: CPU time limit exceeded, terminating % 216.23/212.01 eprover: CPU time limit exceeded, terminating % 218.26/214.02 eprover: CPU time limit exceeded, terminating % 220.30/216.03 eprover: CPU time limit exceeded, terminating % 222.30/218.04 eprover: CPU time limit exceeded, terminating % 224.35/220.05 eprover: CPU time limit exceeded, terminating % 226.35/222.06 eprover: CPU time limit exceeded, terminating % 228.36/224.07 eprover: CPU time limit exceeded, terminating % 230.42/226.08 eprover: CPU time limit exceeded, terminating % 232.44/228.09 eprover: CPU time limit exceeded, terminating % 234.55/230.10 eprover: CPU time limit exceeded, terminating % 236.58/232.12 eprover: CPU time limit exceeded, terminating % 238.61/234.13 eprover: CPU time limit exceeded, terminating % 240.62/236.14 eprover: CPU time limit exceeded, terminating % 242.66/238.15 eprover: CPU time limit exceeded, terminating % 244.68/240.16 eprover: CPU time limit exceeded, terminating % 246.70/242.17 eprover: CPU time limit exceeded, terminating % 248.70/244.18 eprover: CPU time limit exceeded, terminating % 250.81/246.19 eprover: CPU time limit exceeded, terminating % 252.84/248.20 eprover: CPU time limit exceeded, terminating % 254.89/250.21 eprover: CPU time limit exceeded, terminating % 256.92/252.22 eprover: CPU time limit exceeded, terminating % 258.92/254.23 eprover: CPU time limit exceeded, terminating % 260.97/256.24 eprover: CPU time limit exceeded, terminating % 262.99/258.25 eprover: CPU time limit exceeded, terminating % 265.02/260.26 eprover: CPU time limit exceeded, terminating % 267.02/262.27 eprover: CPU time limit exceeded, terminating % 269.05/264.28 eprover: CPU time limit exceeded, terminating % 271.08/266.29 eprover: CPU time limit exceeded, terminating % 273.18/268.30 eprover: CPU time limit exceeded, terminating % 275.22/270.31 eprover: CPU time limit exceeded, terminating % 277.24/272.32 eprover: CPU time limit exceeded, terminating % 279.25/274.33 eprover: CPU time limit exceeded, terminating % 281.27/276.34 eprover: CPU time limit exceeded, terminating % 283.32/278.35 eprover: CPU time limit exceeded, terminating % 285.30/280.36 eprover: CPU time limit exceeded, terminating % 287.36/282.37 eprover: CPU time limit exceeded, terminating % 289.37/284.38 eprover: CPU time limit exceeded, terminating % 291.39/286.39 eprover: CPU time limit exceeded, terminating % 293.52/288.40 eprover: CPU time limit exceeded, terminating % 295.53/290.41 eprover: CPU time limit exceeded, terminating % 297.56/292.43 eprover: CPU time limit exceeded, terminating % 299.55/294.44 eprover: CPU time limit exceeded, terminating % 300.02/294.83 eprover: CPU time limit exceeded, terminating % 300.02/294.84 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------