%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW350+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n032.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:39 EDT 2022 % Result : Timeout 286.24s 251.00s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.09/0.11 % Problem : SWW350+1 : TPTP v8.1.0. Released v5.2.0. % 0.09/0.12 % Command : run_infinox %s % 0.11/0.31 % Computer : n032.cluster.edu % 0.11/0.31 % Model : x86_64 x86_64 % 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.31 % Memory : 8042.1875MB % 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.31 % CPULimit : 300 % 0.11/0.31 % WCLimit : 600 % 0.11/0.31 % DateTime : Sat Jun 4 21:45:03 EDT 2022 % 0.11/0.31 % CPUTime : % 63.72/63.47 eprover: CPU time limit exceeded, terminating % 66.13/65.48 eprover: CPU time limit exceeded, terminating % 68.59/67.50 eprover: CPU time limit exceeded, terminating % 71.00/69.51 eprover: CPU time limit exceeded, terminating % 73.38/71.53 eprover: CPU time limit exceeded, terminating % 75.74/73.54 eprover: CPU time limit exceeded, terminating % 78.14/75.55 eprover: CPU time limit exceeded, terminating % 80.54/77.57 eprover: CPU time limit exceeded, terminating % 82.94/79.58 eprover: CPU time limit exceeded, terminating % 85.32/81.60 eprover: CPU time limit exceeded, terminating % 87.79/83.61 eprover: CPU time limit exceeded, terminating % 90.16/85.63 eprover: CPU time limit exceeded, terminating % 92.57/87.64 eprover: CPU time limit exceeded, terminating % 94.95/89.65 eprover: CPU time limit exceeded, terminating % 97.28/91.67 eprover: CPU time limit exceeded, terminating % 99.69/93.69 eprover: CPU time limit exceeded, terminating % 102.13/95.71 eprover: CPU time limit exceeded, terminating % 104.57/97.73 eprover: CPU time limit exceeded, terminating % 106.97/99.75 eprover: CPU time limit exceeded, terminating % 109.34/101.76 eprover: CPU time limit exceeded, terminating % 111.75/103.78 eprover: CPU time limit exceeded, terminating % 114.20/105.80 eprover: CPU time limit exceeded, terminating % 116.58/107.82 eprover: CPU time limit exceeded, terminating % 119.02/109.84 eprover: CPU time limit exceeded, terminating % 121.36/111.85 eprover: CPU time limit exceeded, terminating % 123.79/113.87 eprover: CPU time limit exceeded, terminating % 126.23/115.89 eprover: CPU time limit exceeded, terminating % 128.56/117.91 eprover: CPU time limit exceeded, terminating % 130.96/119.93 eprover: CPU time limit exceeded, terminating % 133.36/121.94 eprover: CPU time limit exceeded, terminating % 135.74/123.96 eprover: CPU time limit exceeded, terminating % 138.06/125.98 eprover: CPU time limit exceeded, terminating % 140.42/127.99 eprover: CPU time limit exceeded, terminating % 142.77/130.01 eprover: CPU time limit exceeded, terminating % 145.10/132.03 eprover: CPU time limit exceeded, terminating % 147.52/134.05 eprover: CPU time limit exceeded, terminating % 149.92/136.07 eprover: CPU time limit exceeded, terminating % 152.36/138.08 eprover: CPU time limit exceeded, terminating % 154.69/140.10 eprover: CPU time limit exceeded, terminating % 157.09/142.12 eprover: CPU time limit exceeded, terminating % 159.56/144.13 eprover: CPU time limit exceeded, terminating % 161.95/146.15 eprover: CPU time limit exceeded, terminating % 164.32/148.17 eprover: CPU time limit exceeded, terminating % 166.75/150.18 eprover: CPU time limit exceeded, terminating % 169.16/152.20 eprover: CPU time limit exceeded, terminating % 171.55/154.22 eprover: CPU time limit exceeded, terminating % 173.99/156.23 eprover: CPU time limit exceeded, terminating % 176.28/158.25 eprover: CPU time limit exceeded, terminating % 178.69/160.27 eprover: CPU time limit exceeded, terminating % 181.04/162.29 eprover: CPU time limit exceeded, terminating % 183.48/164.30 eprover: CPU time limit exceeded, terminating % 185.87/166.32 eprover: CPU time limit exceeded, terminating % 188.21/168.34 eprover: CPU time limit exceeded, terminating % 190.61/170.35 eprover: CPU time limit exceeded, terminating % 193.01/172.37 eprover: CPU time limit exceeded, terminating % 195.46/174.39 eprover: CPU time limit exceeded, terminating % 197.86/176.40 eprover: CPU time limit exceeded, terminating % 200.27/178.42 eprover: CPU time limit exceeded, terminating % 202.63/180.44 eprover: CPU time limit exceeded, terminating % 205.04/182.45 eprover: CPU time limit exceeded, terminating % 207.47/184.47 eprover: CPU time limit exceeded, terminating % 209.80/186.48 eprover: CPU time limit exceeded, terminating % 212.24/188.50 eprover: CPU time limit exceeded, terminating % 214.60/190.52 eprover: CPU time limit exceeded, terminating % 216.99/192.53 eprover: CPU time limit exceeded, terminating % 219.32/194.54 eprover: CPU time limit exceeded, terminating % 221.69/196.56 eprover: CPU time limit exceeded, terminating % 224.06/198.58 eprover: CPU time limit exceeded, terminating % 226.42/200.59 eprover: CPU time limit exceeded, terminating % 228.80/202.61 eprover: CPU time limit exceeded, terminating % 231.20/204.63 eprover: CPU time limit exceeded, terminating % 233.54/206.64 eprover: CPU time limit exceeded, terminating % 235.95/208.66 eprover: CPU time limit exceeded, terminating % 238.37/210.68 eprover: CPU time limit exceeded, terminating % 240.72/212.69 eprover: CPU time limit exceeded, terminating % 243.02/214.71 eprover: CPU time limit exceeded, terminating % 245.45/216.73 eprover: CPU time limit exceeded, terminating % 247.85/218.75 eprover: CPU time limit exceeded, terminating % 250.26/220.76 eprover: CPU time limit exceeded, terminating % 252.62/222.78 eprover: CPU time limit exceeded, terminating % 255.05/224.79 eprover: CPU time limit exceeded, terminating % 257.39/226.81 eprover: CPU time limit exceeded, terminating % 259.84/228.82 eprover: CPU time limit exceeded, terminating % 262.17/230.83 eprover: CPU time limit exceeded, terminating % 264.59/232.85 eprover: CPU time limit exceeded, terminating % 266.95/234.87 eprover: CPU time limit exceeded, terminating % 269.42/236.88 eprover: CPU time limit exceeded, terminating % 271.76/238.90 eprover: CPU time limit exceeded, terminating % 274.21/240.92 eprover: CPU time limit exceeded, terminating % 276.62/242.94 eprover: CPU time limit exceeded, terminating % 278.99/244.95 eprover: CPU time limit exceeded, terminating % 281.38/246.97 eprover: CPU time limit exceeded, terminating % 283.78/248.99 eprover: CPU time limit exceeded, terminating % 286.24/251.00 eprover: CPU time limit exceeded, terminating % 288.64/253.02 eprover: CPU time limit exceeded, terminating % 291.00/255.04 eprover: CPU time limit exceeded, terminating % 293.34/257.06 eprover: CPU time limit exceeded, terminating % 295.76/259.07 eprover: CPU time limit exceeded, terminating % 298.09/261.09 eprover: CPU time limit exceeded, terminating % 300.02/262.62 eprover: CPU time limit exceeded, terminating % 300.02/262.64 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------