%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW339+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:38 EDT 2022 % Result : Timeout 287.72s 248.03s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.08 % Problem : SWW339+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.09 % Command : run_infinox %s % 0.07/0.28 % Computer : n032.cluster.edu % 0.07/0.28 % Model : x86_64 x86_64 % 0.07/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.07/0.28 % Memory : 8042.1875MB % 0.07/0.28 % OS : Linux 3.10.0-693.el7.x86_64 % 0.07/0.28 % CPULimit : 300 % 0.07/0.28 % WCLimit : 600 % 0.07/0.28 % DateTime : Sun Jun 5 03:54:48 EDT 2022 % 0.07/0.28 % CPUTime : % 54.67/54.45 eprover: CPU time limit exceeded, terminating % 57.10/56.47 eprover: CPU time limit exceeded, terminating % 59.55/58.48 eprover: CPU time limit exceeded, terminating % 61.92/60.49 eprover: CPU time limit exceeded, terminating % 64.34/62.51 eprover: CPU time limit exceeded, terminating % 66.77/64.53 eprover: CPU time limit exceeded, terminating % 69.15/66.54 eprover: CPU time limit exceeded, terminating % 71.56/68.56 eprover: CPU time limit exceeded, terminating % 73.98/70.58 eprover: CPU time limit exceeded, terminating % 76.47/72.59 eprover: CPU time limit exceeded, terminating % 78.89/74.61 eprover: CPU time limit exceeded, terminating % 81.31/76.63 eprover: CPU time limit exceeded, terminating % 83.73/78.64 eprover: CPU time limit exceeded, terminating % 86.16/80.66 eprover: CPU time limit exceeded, terminating % 88.58/82.67 eprover: CPU time limit exceeded, terminating % 91.00/84.69 eprover: CPU time limit exceeded, terminating % 93.45/86.71 eprover: CPU time limit exceeded, terminating % 95.80/88.72 eprover: CPU time limit exceeded, terminating % 98.34/90.74 eprover: CPU time limit exceeded, terminating % 100.73/92.75 eprover: CPU time limit exceeded, terminating % 103.13/94.77 eprover: CPU time limit exceeded, terminating % 105.55/96.78 eprover: CPU time limit exceeded, terminating % 107.94/98.80 eprover: CPU time limit exceeded, terminating % 110.34/100.81 eprover: CPU time limit exceeded, terminating % 112.74/102.83 eprover: CPU time limit exceeded, terminating % 115.22/104.84 eprover: CPU time limit exceeded, terminating % 117.61/106.86 eprover: CPU time limit exceeded, terminating % 120.04/108.87 eprover: CPU time limit exceeded, terminating % 122.43/110.89 eprover: CPU time limit exceeded, terminating % 124.93/112.90 eprover: CPU time limit exceeded, terminating % 127.29/114.92 eprover: CPU time limit exceeded, terminating % 131.70/116.93 eprover: CPU time limit exceeded, terminating % 134.04/118.95 eprover: CPU time limit exceeded, terminating % 136.42/120.96 eprover: CPU time limit exceeded, terminating % 138.85/122.98 eprover: CPU time limit exceeded, terminating % 141.33/124.99 eprover: CPU time limit exceeded, terminating % 143.69/127.01 eprover: CPU time limit exceeded, terminating % 146.05/129.02 eprover: CPU time limit exceeded, terminating % 148.45/131.03 eprover: CPU time limit exceeded, terminating % 150.87/133.05 eprover: CPU time limit exceeded, terminating % 153.22/135.06 eprover: CPU time limit exceeded, terminating % 155.63/137.08 eprover: CPU time limit exceeded, terminating % 158.09/139.09 eprover: CPU time limit exceeded, terminating % 160.49/141.11 eprover: CPU time limit exceeded, terminating % 162.84/143.12 eprover: CPU time limit exceeded, terminating % 165.25/145.14 eprover: CPU time limit exceeded, terminating % 167.70/147.15 eprover: CPU time limit exceeded, terminating % 170.08/149.17 eprover: CPU time limit exceeded, terminating % 172.49/151.19 eprover: CPU time limit exceeded, terminating % 174.94/153.20 eprover: CPU time limit exceeded, terminating % 177.36/155.21 eprover: CPU time limit exceeded, terminating % 179.76/157.23 eprover: CPU time limit exceeded, terminating % 182.17/159.24 eprover: CPU time limit exceeded, terminating % 184.58/161.26 eprover: CPU time limit exceeded, terminating % 186.99/163.27 eprover: CPU time limit exceeded, terminating % 189.36/165.29 eprover: CPU time limit exceeded, terminating % 191.78/167.30 eprover: CPU time limit exceeded, terminating % 194.24/169.32 eprover: CPU time limit exceeded, terminating % 196.64/171.34 eprover: CPU time limit exceeded, terminating % 199.02/173.35 eprover: CPU time limit exceeded, terminating % 201.43/175.37 eprover: CPU time limit exceeded, terminating % 203.85/177.38 eprover: CPU time limit exceeded, terminating % 206.28/179.40 eprover: CPU time limit exceeded, terminating % 208.67/181.41 eprover: CPU time limit exceeded, terminating % 211.09/183.43 eprover: CPU time limit exceeded, terminating % 213.47/185.44 eprover: CPU time limit exceeded, terminating % 215.85/187.46 eprover: CPU time limit exceeded, terminating % 218.23/189.47 eprover: CPU time limit exceeded, terminating % 220.66/191.48 eprover: CPU time limit exceeded, terminating % 223.06/193.50 eprover: CPU time limit exceeded, terminating % 225.44/195.52 eprover: CPU time limit exceeded, terminating % 227.83/197.54 eprover: CPU time limit exceeded, terminating % 230.20/199.56 eprover: CPU time limit exceeded, terminating % 232.65/201.58 eprover: CPU time limit exceeded, terminating % 235.00/203.60 eprover: CPU time limit exceeded, terminating % 237.43/205.61 eprover: CPU time limit exceeded, terminating % 239.78/207.63 eprover: CPU time limit exceeded, terminating % 242.21/209.65 eprover: CPU time limit exceeded, terminating % 244.63/211.67 eprover: CPU time limit exceeded, terminating % 247.02/213.68 eprover: CPU time limit exceeded, terminating % 249.38/215.70 eprover: CPU time limit exceeded, terminating % 251.76/217.72 eprover: CPU time limit exceeded, terminating % 254.19/219.74 eprover: CPU time limit exceeded, terminating % 256.61/221.76 eprover: CPU time limit exceeded, terminating % 259.00/223.78 eprover: CPU time limit exceeded, terminating % 261.37/225.79 eprover: CPU time limit exceeded, terminating % 263.77/227.81 eprover: CPU time limit exceeded, terminating % 266.20/229.84 eprover: CPU time limit exceeded, terminating % 268.58/231.86 eprover: CPU time limit exceeded, terminating % 270.99/233.88 eprover: CPU time limit exceeded, terminating % 273.40/235.92 eprover: CPU time limit exceeded, terminating % 275.71/237.94 eprover: CPU time limit exceeded, terminating % 278.15/239.95 eprover: CPU time limit exceeded, terminating % 280.53/241.97 eprover: CPU time limit exceeded, terminating % 282.94/243.99 eprover: CPU time limit exceeded, terminating % 285.27/246.01 eprover: CPU time limit exceeded, terminating % 287.72/248.03 eprover: CPU time limit exceeded, terminating % 290.10/250.05 eprover: CPU time limit exceeded, terminating % 292.48/252.08 eprover: CPU time limit exceeded, terminating % 294.88/254.10 eprover: CPU time limit exceeded, terminating % 297.24/256.12 eprover: CPU time limit exceeded, terminating % 299.63/258.13 eprover: CPU time limit exceeded, terminating % 300.05/258.47 eprover: CPU time limit exceeded, terminating % 300.05/258.48 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------