%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW475+6 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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 : Thu Jul 21 00:24:57 EDT 2022 % Result : Timeout 285.79s 234.13s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWW475+6 : TPTP v8.1.0. Released v5.3.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n018.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Mon Jun 6 02:00:34 EDT 2022 % 0.13/0.34 % CPUTime : % 15.16/14.83 eprover: CPU time limit exceeded, terminating % 17.61/16.85 eprover: CPU time limit exceeded, terminating % 20.13/18.86 eprover: CPU time limit exceeded, terminating % 22.59/20.87 eprover: CPU time limit exceeded, terminating % 25.07/22.88 eprover: CPU time limit exceeded, terminating % 27.64/24.89 eprover: CPU time limit exceeded, terminating % 30.06/26.91 eprover: CPU time limit exceeded, terminating % 32.60/28.92 eprover: CPU time limit exceeded, terminating % 35.07/30.93 eprover: CPU time limit exceeded, terminating % 37.59/32.95 eprover: CPU time limit exceeded, terminating % 40.04/34.96 eprover: CPU time limit exceeded, terminating % 42.56/36.97 eprover: CPU time limit exceeded, terminating % 45.08/38.98 eprover: CPU time limit exceeded, terminating % 47.55/40.99 eprover: CPU time limit exceeded, terminating % 50.00/43.01 eprover: CPU time limit exceeded, terminating % 52.49/45.02 eprover: CPU time limit exceeded, terminating % 54.95/47.03 eprover: CPU time limit exceeded, terminating % 57.42/49.04 eprover: CPU time limit exceeded, terminating % 59.94/51.05 eprover: CPU time limit exceeded, terminating % 62.40/53.06 eprover: CPU time limit exceeded, terminating % 64.89/55.08 eprover: CPU time limit exceeded, terminating % 67.41/57.09 eprover: CPU time limit exceeded, terminating % 69.89/59.10 eprover: CPU time limit exceeded, terminating % 72.33/61.11 eprover: CPU time limit exceeded, terminating % 74.88/63.12 eprover: CPU time limit exceeded, terminating % 77.32/65.14 eprover: CPU time limit exceeded, terminating % 79.84/67.15 eprover: CPU time limit exceeded, terminating % 82.35/69.16 eprover: CPU time limit exceeded, terminating % 84.81/71.17 eprover: CPU time limit exceeded, terminating % 87.30/73.18 eprover: CPU time limit exceeded, terminating % 89.81/75.20 eprover: CPU time limit exceeded, terminating % 92.25/77.21 eprover: CPU time limit exceeded, terminating % 94.85/79.22 eprover: CPU time limit exceeded, terminating % 97.28/81.23 eprover: CPU time limit exceeded, terminating % 99.76/83.24 eprover: CPU time limit exceeded, terminating % 102.21/85.26 eprover: CPU time limit exceeded, terminating % 104.73/87.27 eprover: CPU time limit exceeded, terminating % 107.21/89.28 eprover: CPU time limit exceeded, terminating % 109.65/91.29 eprover: CPU time limit exceeded, terminating % 112.18/93.30 eprover: CPU time limit exceeded, terminating % 114.59/95.31 eprover: CPU time limit exceeded, terminating % 117.10/97.33 eprover: CPU time limit exceeded, terminating % 119.63/99.34 eprover: CPU time limit exceeded, terminating % 122.03/101.35 eprover: CPU time limit exceeded, terminating % 124.47/103.36 eprover: CPU time limit exceeded, terminating % 126.90/105.37 eprover: CPU time limit exceeded, terminating % 129.41/107.38 eprover: CPU time limit exceeded, terminating % 131.90/109.40 eprover: CPU time limit exceeded, terminating % 134.25/111.41 eprover: CPU time limit exceeded, terminating % 136.78/113.42 eprover: CPU time limit exceeded, terminating % 139.25/115.43 eprover: CPU time limit exceeded, terminating % 141.71/117.45 eprover: CPU time limit exceeded, terminating % 144.19/119.46 eprover: CPU time limit exceeded, terminating % 146.73/121.47 eprover: CPU time limit exceeded, terminating % 149.15/123.48 eprover: CPU time limit exceeded, terminating % 151.67/125.49 eprover: CPU time limit exceeded, terminating % 154.09/127.51 eprover: CPU time limit exceeded, terminating % 156.65/129.52 eprover: CPU time limit exceeded, terminating % 159.13/131.53 eprover: CPU time limit exceeded, terminating % 161.60/133.54 eprover: CPU time limit exceeded, terminating % 164.08/135.55 eprover: CPU time limit exceeded, terminating % 166.52/137.57 eprover: CPU time limit exceeded, terminating % 169.00/139.58 eprover: CPU time limit exceeded, terminating % 171.49/141.59 eprover: CPU time limit exceeded, terminating % 174.01/143.60 eprover: CPU time limit exceeded, terminating % 176.50/145.61 eprover: CPU time limit exceeded, terminating % 178.98/147.62 eprover: CPU time limit exceeded, terminating % 181.48/149.64 eprover: CPU time limit exceeded, terminating % 183.93/151.65 eprover: CPU time limit exceeded, terminating % 186.38/153.67 eprover: CPU time limit exceeded, terminating % 188.92/155.68 eprover: CPU time limit exceeded, terminating % 191.36/157.69 eprover: CPU time limit exceeded, terminating % 193.89/159.70 eprover: CPU time limit exceeded, terminating % 196.37/161.71 eprover: CPU time limit exceeded, terminating % 198.85/163.73 eprover: CPU time limit exceeded, terminating % 201.32/165.74 eprover: CPU time limit exceeded, terminating % 203.82/167.75 eprover: CPU time limit exceeded, terminating % 206.26/169.76 eprover: CPU time limit exceeded, terminating % 208.77/171.77 eprover: CPU time limit exceeded, terminating % 211.21/173.78 eprover: CPU time limit exceeded, terminating % 213.75/175.80 eprover: CPU time limit exceeded, terminating % 216.27/177.81 eprover: CPU time limit exceeded, terminating % 218.70/179.82 eprover: CPU time limit exceeded, terminating % 221.21/181.83 eprover: CPU time limit exceeded, terminating % 223.74/183.84 eprover: CPU time limit exceeded, terminating % 226.18/185.85 eprover: CPU time limit exceeded, terminating % 228.69/187.86 eprover: CPU time limit exceeded, terminating % 231.15/189.88 eprover: CPU time limit exceeded, terminating % 233.67/191.89 eprover: CPU time limit exceeded, terminating % 236.09/193.90 eprover: CPU time limit exceeded, terminating % 238.62/195.91 eprover: CPU time limit exceeded, terminating % 241.10/197.92 eprover: CPU time limit exceeded, terminating % 243.57/199.93 eprover: CPU time limit exceeded, terminating % 246.04/201.95 eprover: CPU time limit exceeded, terminating % 248.49/203.96 eprover: CPU time limit exceeded, terminating % 250.99/205.97 eprover: CPU time limit exceeded, terminating % 253.42/207.98 eprover: CPU time limit exceeded, terminating % 255.95/209.99 eprover: CPU time limit exceeded, terminating % 258.53/212.00 eprover: CPU time limit exceeded, terminating % 260.98/214.01 eprover: CPU time limit exceeded, terminating % 263.45/216.03 eprover: CPU time limit exceeded, terminating % 265.94/218.04 eprover: CPU time limit exceeded, terminating % 268.40/220.05 eprover: CPU time limit exceeded, terminating % 270.86/222.06 eprover: CPU time limit exceeded, terminating % 273.37/224.07 eprover: CPU time limit exceeded, terminating % 275.83/226.08 eprover: CPU time limit exceeded, terminating % 278.35/228.09 eprover: CPU time limit exceeded, terminating % 280.80/230.11 eprover: CPU time limit exceeded, terminating % 283.32/232.12 eprover: CPU time limit exceeded, terminating % 285.79/234.13 eprover: CPU time limit exceeded, terminating % 288.25/236.14 eprover: CPU time limit exceeded, terminating % 290.74/238.16 eprover: CPU time limit exceeded, terminating % 293.17/240.17 eprover: CPU time limit exceeded, terminating % 295.69/242.18 eprover: CPU time limit exceeded, terminating % 298.14/244.19 eprover: CPU time limit exceeded, terminating % 300.04/245.54 eprover: CPU time limit exceeded, terminating % 300.04/245.55 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------