%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC172+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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 20:47:03 EDT 2022 % Result : Timeout 286.92s 285.21s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWC172+1 : TPTP v8.1.0. Released v2.4.0. % 0.07/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n019.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Sun Jun 12 12:08:25 EDT 2022 % 0.13/0.35 % CPUTime : % 2.31/2.50 eprover: CPU time limit exceeded, terminating % 4.28/4.52 eprover: CPU time limit exceeded, terminating % 6.34/6.53 eprover: CPU time limit exceeded, terminating % 8.35/8.54 eprover: CPU time limit exceeded, terminating % 10.34/10.56 eprover: CPU time limit exceeded, terminating % 12.41/12.57 eprover: CPU time limit exceeded, terminating % 14.42/14.58 eprover: CPU time limit exceeded, terminating % 16.44/16.60 eprover: CPU time limit exceeded, terminating % 18.43/18.61 eprover: CPU time limit exceeded, terminating % 20.48/20.62 eprover: CPU time limit exceeded, terminating % 22.45/22.64 eprover: CPU time limit exceeded, terminating % 24.50/24.65 eprover: CPU time limit exceeded, terminating % 26.52/26.66 eprover: CPU time limit exceeded, terminating % 28.52/28.68 eprover: CPU time limit exceeded, terminating % 30.59/30.69 eprover: CPU time limit exceeded, terminating % 32.55/32.70 eprover: CPU time limit exceeded, terminating % 34.61/34.72 eprover: CPU time limit exceeded, terminating % 36.57/36.73 eprover: CPU time limit exceeded, terminating % 38.59/38.74 eprover: CPU time limit exceeded, terminating % 40.63/40.76 eprover: CPU time limit exceeded, terminating % 42.69/42.77 eprover: CPU time limit exceeded, terminating % 44.66/44.79 eprover: CPU time limit exceeded, terminating % 46.69/46.80 eprover: CPU time limit exceeded, terminating % 48.75/48.81 eprover: CPU time limit exceeded, terminating % 50.77/50.83 eprover: CPU time limit exceeded, terminating % 52.78/52.85 eprover: CPU time limit exceeded, terminating % 54.73/54.86 eprover: CPU time limit exceeded, terminating % 56.83/56.87 eprover: CPU time limit exceeded, terminating % 58.83/58.89 eprover: CPU time limit exceeded, terminating % 60.82/60.90 eprover: CPU time limit exceeded, terminating % 62.87/62.91 eprover: CPU time limit exceeded, terminating % 64.89/64.93 eprover: CPU time limit exceeded, terminating % 66.88/66.94 eprover: CPU time limit exceeded, terminating % 68.93/68.96 eprover: CPU time limit exceeded, terminating % 70.96/70.97 eprover: CPU time limit exceeded, terminating % 72.99/72.98 eprover: CPU time limit exceeded, terminating % 74.96/75.00 eprover: CPU time limit exceeded, terminating % 76.97/77.01 eprover: CPU time limit exceeded, terminating % 79.02/79.03 eprover: CPU time limit exceeded, terminating % 81.01/81.04 eprover: CPU time limit exceeded, terminating % 83.07/83.05 eprover: CPU time limit exceeded, terminating % 85.11/85.07 eprover: CPU time limit exceeded, terminating % 87.13/87.08 eprover: CPU time limit exceeded, terminating % 89.16/89.09 eprover: CPU time limit exceeded, terminating % 91.12/91.11 eprover: CPU time limit exceeded, terminating % 93.15/93.12 eprover: CPU time limit exceeded, terminating % 95.21/95.14 eprover: CPU time limit exceeded, terminating % 97.14/97.15 eprover: CPU time limit exceeded, terminating % 99.21/99.16 eprover: CPU time limit exceeded, terminating % 101.26/101.18 eprover: CPU time limit exceeded, terminating % 103.25/103.19 eprover: CPU time limit exceeded, terminating % 105.28/105.21 eprover: CPU time limit exceeded, terminating % 109.29/107.22 eprover: CPU time limit exceeded, terminating % 111.25/109.24 eprover: CPU time limit exceeded, terminating % 113.28/111.25 eprover: CPU time limit exceeded, terminating % 115.34/113.26 eprover: CPU time limit exceeded, terminating % 117.33/115.28 eprover: CPU time limit exceeded, terminating % 119.36/117.29 eprover: CPU time limit exceeded, terminating % 121.41/119.31 eprover: CPU time limit exceeded, terminating % 123.38/121.32 eprover: CPU time limit exceeded, terminating % 125.43/123.33 eprover: CPU time limit exceeded, terminating % 127.43/125.35 eprover: CPU time limit exceeded, terminating % 129.48/127.36 eprover: CPU time limit exceeded, terminating % 131.48/129.38 eprover: CPU time limit exceeded, terminating % 133.47/131.39 eprover: CPU time limit exceeded, terminating % 135.49/133.41 eprover: CPU time limit exceeded, terminating % 137.55/135.42 eprover: CPU time limit exceeded, terminating % 139.58/137.43 eprover: CPU time limit exceeded, terminating % 141.58/139.45 eprover: CPU time limit exceeded, terminating % 143.61/141.46 eprover: CPU time limit exceeded, terminating % 145.62/143.48 eprover: CPU time limit exceeded, terminating % 147.60/145.49 eprover: CPU time limit exceeded, terminating % 149.66/147.51 eprover: CPU time limit exceeded, terminating % 151.64/149.52 eprover: CPU time limit exceeded, terminating % 153.68/151.53 eprover: CPU time limit exceeded, terminating % 155.73/153.55 eprover: CPU time limit exceeded, terminating % 157.77/155.56 eprover: CPU time limit exceeded, terminating % 159.78/157.57 eprover: CPU time limit exceeded, terminating % 161.79/159.59 eprover: CPU time limit exceeded, terminating % 163.81/161.60 eprover: CPU time limit exceeded, terminating % 165.84/163.62 eprover: CPU time limit exceeded, terminating % 167.81/165.63 eprover: CPU time limit exceeded, terminating % 169.79/167.64 eprover: CPU time limit exceeded, terminating % 171.88/169.66 eprover: CPU time limit exceeded, terminating % 173.89/171.67 eprover: CPU time limit exceeded, terminating % 175.95/173.69 eprover: CPU time limit exceeded, terminating % 177.91/175.70 eprover: CPU time limit exceeded, terminating % 179.96/177.71 eprover: CPU time limit exceeded, terminating % 181.99/179.73 eprover: CPU time limit exceeded, terminating % 183.94/181.74 eprover: CPU time limit exceeded, terminating % 186.02/183.76 eprover: CPU time limit exceeded, terminating % 188.04/185.77 eprover: CPU time limit exceeded, terminating % 190.04/187.78 eprover: CPU time limit exceeded, terminating % 192.07/189.80 eprover: CPU time limit exceeded, terminating % 194.05/191.81 eprover: CPU time limit exceeded, terminating % 196.08/193.83 eprover: CPU time limit exceeded, terminating % 198.10/195.84 eprover: CPU time limit exceeded, terminating % 200.14/197.85 eprover: CPU time limit exceeded, terminating % 202.20/199.87 eprover: CPU time limit exceeded, terminating % 204.21/201.88 eprover: CPU time limit exceeded, terminating % 206.21/203.90 eprover: CPU time limit exceeded, terminating % 208.20/205.91 eprover: CPU time limit exceeded, terminating % 210.29/207.92 eprover: CPU time limit exceeded, terminating % 212.24/209.94 eprover: CPU time limit exceeded, terminating % 214.28/211.95 eprover: CPU time limit exceeded, terminating % 216.32/213.96 eprover: CPU time limit exceeded, terminating % 218.34/215.98 eprover: CPU time limit exceeded, terminating % 220.34/217.99 eprover: CPU time limit exceeded, terminating % 222.34/220.01 eprover: CPU time limit exceeded, terminating % 224.41/222.02 eprover: CPU time limit exceeded, terminating % 226.38/224.03 eprover: CPU time limit exceeded, terminating % 228.37/226.05 eprover: CPU time limit exceeded, terminating % 230.36/228.06 eprover: CPU time limit exceeded, terminating % 232.46/230.07 eprover: CPU time limit exceeded, terminating % 234.41/232.08 eprover: CPU time limit exceeded, terminating % 236.48/234.10 eprover: CPU time limit exceeded, terminating % 238.51/236.11 eprover: CPU time limit exceeded, terminating % 240.50/238.12 eprover: CPU time limit exceeded, terminating % 242.49/240.13 eprover: CPU time limit exceeded, terminating % 244.55/242.15 eprover: CPU time limit exceeded, terminating % 246.54/244.16 eprover: CPU time limit exceeded, terminating % 248.52/246.17 eprover: CPU time limit exceeded, terminating % 250.57/248.19 eprover: CPU time limit exceeded, terminating % 252.61/250.20 eprover: CPU time limit exceeded, terminating % 254.65/252.21 eprover: CPU time limit exceeded, terminating % 256.61/254.23 eprover: CPU time limit exceeded, terminating % 258.67/256.24 eprover: CPU time limit exceeded, terminating % 260.71/258.26 eprover: CPU time limit exceeded, terminating % 262.71/260.27 eprover: CPU time limit exceeded, terminating % 264.71/262.47 eprover: CPU time limit exceeded, terminating % 266.69/264.62 eprover: CPU time limit exceeded, terminating % 268.78/266.81 eprover: CPU time limit exceeded, terminating % 270.75/269.03 eprover: CPU time limit exceeded, terminating % 272.77/271.13 eprover: CPU time limit exceeded, terminating % 274.84/273.14 eprover: CPU time limit exceeded, terminating % 276.84/275.15 eprover: CPU time limit exceeded, terminating % 278.80/277.16 eprover: CPU time limit exceeded, terminating % 280.89/279.17 eprover: CPU time limit exceeded, terminating % 282.90/281.18 eprover: CPU time limit exceeded, terminating % 284.92/283.19 eprover: CPU time limit exceeded, terminating % 286.92/285.21 eprover: CPU time limit exceeded, terminating % 288.96/287.22 eprover: CPU time limit exceeded, terminating % 290.98/289.23 eprover: CPU time limit exceeded, terminating % 292.97/291.24 eprover: CPU time limit exceeded, terminating % 294.95/293.25 eprover: CPU time limit exceeded, terminating % 296.97/295.27 eprover: CPU time limit exceeded, terminating % 298.98/297.28 eprover: CPU time limit exceeded, terminating % 300.11/298.32 eprover: CPU time limit exceeded, terminating % 300.11/298.33 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------