%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW346+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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 287.44s 248.02s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWW346+1 : TPTP v8.1.0. Released v5.2.0. % 0.12/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n025.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Sun Jun 5 04:23:17 EDT 2022 % 0.12/0.34 % CPUTime : % 68.81/68.48 eprover: CPU time limit exceeded, terminating % 71.28/70.51 eprover: CPU time limit exceeded, terminating % 73.65/72.52 eprover: CPU time limit exceeded, terminating % 76.06/74.54 eprover: CPU time limit exceeded, terminating % 78.53/76.55 eprover: CPU time limit exceeded, terminating % 81.03/78.57 eprover: CPU time limit exceeded, terminating % 83.46/80.59 eprover: CPU time limit exceeded, terminating % 86.01/82.61 eprover: CPU time limit exceeded, terminating % 88.45/84.63 eprover: CPU time limit exceeded, terminating % 90.92/86.65 eprover: CPU time limit exceeded, terminating % 93.32/88.66 eprover: CPU time limit exceeded, terminating % 95.79/90.68 eprover: CPU time limit exceeded, terminating % 98.30/92.70 eprover: CPU time limit exceeded, terminating % 100.74/94.71 eprover: CPU time limit exceeded, terminating % 103.19/96.73 eprover: CPU time limit exceeded, terminating % 105.69/98.75 eprover: CPU time limit exceeded, terminating % 108.09/100.77 eprover: CPU time limit exceeded, terminating % 110.58/102.78 eprover: CPU time limit exceeded, terminating % 113.03/104.80 eprover: CPU time limit exceeded, terminating % 115.49/106.82 eprover: CPU time limit exceeded, terminating % 117.91/108.84 eprover: CPU time limit exceeded, terminating % 120.40/110.86 eprover: CPU time limit exceeded, terminating % 122.80/112.87 eprover: CPU time limit exceeded, terminating % 125.23/114.89 eprover: CPU time limit exceeded, terminating % 127.73/116.91 eprover: CPU time limit exceeded, terminating % 130.19/118.92 eprover: CPU time limit exceeded, terminating % 132.61/120.94 eprover: CPU time limit exceeded, terminating % 135.04/122.96 eprover: CPU time limit exceeded, terminating % 137.43/124.97 eprover: CPU time limit exceeded, terminating % 139.93/126.99 eprover: CPU time limit exceeded, terminating % 142.45/129.00 eprover: CPU time limit exceeded, terminating % 144.89/131.02 eprover: CPU time limit exceeded, terminating % 147.36/133.05 eprover: CPU time limit exceeded, terminating % 149.77/135.06 eprover: CPU time limit exceeded, terminating % 152.27/137.09 eprover: CPU time limit exceeded, terminating % 154.74/139.11 eprover: CPU time limit exceeded, terminating % 157.11/141.13 eprover: CPU time limit exceeded, terminating % 159.51/143.15 eprover: CPU time limit exceeded, terminating % 161.98/145.17 eprover: CPU time limit exceeded, terminating % 164.47/147.19 eprover: CPU time limit exceeded, terminating % 166.98/149.20 eprover: CPU time limit exceeded, terminating % 169.42/151.22 eprover: CPU time limit exceeded, terminating % 171.83/153.24 eprover: CPU time limit exceeded, terminating % 174.28/155.26 eprover: CPU time limit exceeded, terminating % 176.74/157.28 eprover: CPU time limit exceeded, terminating % 179.23/159.29 eprover: CPU time limit exceeded, terminating % 181.68/161.30 eprover: CPU time limit exceeded, terminating % 184.12/163.32 eprover: CPU time limit exceeded, terminating % 186.56/165.33 eprover: CPU time limit exceeded, terminating % 188.98/167.35 eprover: CPU time limit exceeded, terminating % 191.40/169.36 eprover: CPU time limit exceeded, terminating % 193.82/171.37 eprover: CPU time limit exceeded, terminating % 196.27/173.39 eprover: CPU time limit exceeded, terminating % 198.77/175.40 eprover: CPU time limit exceeded, terminating % 201.27/177.41 eprover: CPU time limit exceeded, terminating % 203.74/179.43 eprover: CPU time limit exceeded, terminating % 206.15/181.44 eprover: CPU time limit exceeded, terminating % 208.60/183.46 eprover: CPU time limit exceeded, terminating % 210.99/185.47 eprover: CPU time limit exceeded, terminating % 213.49/187.49 eprover: CPU time limit exceeded, terminating % 215.99/189.51 eprover: CPU time limit exceeded, terminating % 218.44/191.53 eprover: CPU time limit exceeded, terminating % 220.92/193.54 eprover: CPU time limit exceeded, terminating % 223.31/195.56 eprover: CPU time limit exceeded, terminating % 225.82/197.58 eprover: CPU time limit exceeded, terminating % 228.28/199.60 eprover: CPU time limit exceeded, terminating % 230.71/201.61 eprover: CPU time limit exceeded, terminating % 233.14/203.63 eprover: CPU time limit exceeded, terminating % 235.66/205.65 eprover: CPU time limit exceeded, terminating % 238.12/207.67 eprover: CPU time limit exceeded, terminating % 240.56/209.69 eprover: CPU time limit exceeded, terminating % 243.03/211.70 eprover: CPU time limit exceeded, terminating % 245.52/213.72 eprover: CPU time limit exceeded, terminating % 247.98/215.74 eprover: CPU time limit exceeded, terminating % 250.44/217.76 eprover: CPU time limit exceeded, terminating % 252.87/219.78 eprover: CPU time limit exceeded, terminating % 255.38/221.79 eprover: CPU time limit exceeded, terminating % 257.86/223.81 eprover: CPU time limit exceeded, terminating % 260.24/225.83 eprover: CPU time limit exceeded, terminating % 262.73/227.85 eprover: CPU time limit exceeded, terminating % 265.23/229.87 eprover: CPU time limit exceeded, terminating % 267.73/231.88 eprover: CPU time limit exceeded, terminating % 270.21/233.90 eprover: CPU time limit exceeded, terminating % 272.55/235.92 eprover: CPU time limit exceeded, terminating % 275.08/237.93 eprover: CPU time limit exceeded, terminating % 277.56/239.95 eprover: CPU time limit exceeded, terminating % 279.99/241.97 eprover: CPU time limit exceeded, terminating % 282.51/243.99 eprover: CPU time limit exceeded, terminating % 284.97/246.01 eprover: CPU time limit exceeded, terminating % 287.44/248.02 eprover: CPU time limit exceeded, terminating % 289.88/250.04 eprover: CPU time limit exceeded, terminating % 292.32/252.06 eprover: CPU time limit exceeded, terminating % 294.75/254.08 eprover: CPU time limit exceeded, terminating % 297.27/256.09 eprover: CPU time limit exceeded, terminating % 299.68/258.11 eprover: CPU time limit exceeded, terminating % 300.07/258.42 eprover: CPU time limit exceeded, terminating % 300.07/258.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------