%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP249-10 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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 : Mon Jul 18 02:33:54 EDT 2022 % Result : Timeout 300.08s 299.39s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NLP249-10 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n017.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 : Thu Jun 30 21:19:09 EDT 2022 % 0.12/0.34 % CPUTime : % 5.83/5.99 eprover: CPU time limit exceeded, terminating % 7.81/8.00 eprover: CPU time limit exceeded, terminating % 9.80/10.00 eprover: CPU time limit exceeded, terminating % 11.84/12.01 eprover: CPU time limit exceeded, terminating % 13.83/14.02 eprover: CPU time limit exceeded, terminating % 17.74/17.91 eprover: CPU time limit exceeded, terminating % 19.72/19.92 eprover: CPU time limit exceeded, terminating % 21.80/21.93 eprover: CPU time limit exceeded, terminating % 23.76/23.94 eprover: CPU time limit exceeded, terminating % 25.83/25.94 eprover: CPU time limit exceeded, terminating % 29.74/29.85 eprover: CPU time limit exceeded, terminating % 35.15/35.23 eprover: CPU time limit exceeded, terminating % 37.16/37.24 eprover: CPU time limit exceeded, terminating % 39.13/39.24 eprover: CPU time limit exceeded, terminating % 41.17/41.25 eprover: CPU time limit exceeded, terminating % 43.19/43.26 eprover: CPU time limit exceeded, terminating % 45.15/45.27 eprover: CPU time limit exceeded, terminating % 47.17/47.27 eprover: CPU time limit exceeded, terminating % 49.19/49.28 eprover: CPU time limit exceeded, terminating % 53.12/53.17 eprover: CPU time limit exceeded, terminating % 55.16/55.18 eprover: CPU time limit exceeded, terminating % 57.17/57.19 eprover: CPU time limit exceeded, terminating % 64.54/64.57 eprover: CPU time limit exceeded, terminating % 66.59/66.58 eprover: CPU time limit exceeded, terminating % 68.54/68.59 eprover: CPU time limit exceeded, terminating % 70.56/70.59 eprover: CPU time limit exceeded, terminating % 72.60/72.60 eprover: CPU time limit exceeded, terminating % 76.60/76.55 eprover: CPU time limit exceeded, terminating % 78.54/78.56 eprover: CPU time limit exceeded, terminating % 82.46/82.45 eprover: CPU time limit exceeded, terminating % 84.47/84.46 eprover: CPU time limit exceeded, terminating % 86.51/86.47 eprover: CPU time limit exceeded, terminating % 88.55/88.47 eprover: CPU time limit exceeded, terminating % 90.54/90.48 eprover: CPU time limit exceeded, terminating % 94.42/94.37 eprover: CPU time limit exceeded, terminating % 96.44/96.38 eprover: CPU time limit exceeded, terminating % 100.34/100.28 eprover: CPU time limit exceeded, terminating % 102.40/102.29 eprover: CPU time limit exceeded, terminating % 104.40/104.30 eprover: CPU time limit exceeded, terminating % 106.39/106.30 eprover: CPU time limit exceeded, terminating % 108.41/108.31 eprover: CPU time limit exceeded, terminating % 110.40/110.32 eprover: CPU time limit exceeded, terminating % 112.39/112.32 eprover: CPU time limit exceeded, terminating % 114.45/114.33 eprover: CPU time limit exceeded, terminating % 118.38/118.22 eprover: CPU time limit exceeded, terminating % 120.32/120.22 eprover: CPU time limit exceeded, terminating % 124.26/124.12 eprover: CPU time limit exceeded, terminating % 126.30/126.13 eprover: CPU time limit exceeded, terminating % 130.13/129.95 eprover: CPU time limit exceeded, terminating % 132.09/131.95 eprover: CPU time limit exceeded, terminating % 136.00/135.85 eprover: CPU time limit exceeded, terminating % 138.04/137.86 eprover: CPU time limit exceeded, terminating % 140.06/139.86 eprover: CPU time limit exceeded, terminating % 142.09/141.87 eprover: CPU time limit exceeded, terminating % 144.11/143.88 eprover: CPU time limit exceeded, terminating % 146.07/145.89 eprover: CPU time limit exceeded, terminating % 148.13/147.89 eprover: CPU time limit exceeded, terminating % 150.12/149.90 eprover: CPU time limit exceeded, terminating % 152.11/151.91 eprover: CPU time limit exceeded, terminating % 154.18/153.91 eprover: CPU time limit exceeded, terminating % 156.14/155.92 eprover: CPU time limit exceeded, terminating % 158.21/157.93 eprover: CPU time limit exceeded, terminating % 160.21/159.94 eprover: CPU time limit exceeded, terminating % 162.17/161.94 eprover: CPU time limit exceeded, terminating % 166.01/165.74 eprover: CPU time limit exceeded, terminating % 168.04/167.75 eprover: CPU time limit exceeded, terminating % 171.93/171.64 eprover: CPU time limit exceeded, terminating % 173.89/173.65 eprover: CPU time limit exceeded, terminating % 175.94/175.65 eprover: CPU time limit exceeded, terminating % 177.97/177.66 eprover: CPU time limit exceeded, terminating % 180.00/179.67 eprover: CPU time limit exceeded, terminating % 183.92/183.58 eprover: CPU time limit exceeded, terminating % 185.91/185.59 eprover: CPU time limit exceeded, terminating % 189.83/189.47 eprover: CPU time limit exceeded, terminating % 191.82/191.48 eprover: CPU time limit exceeded, terminating % 193.85/193.48 eprover: CPU time limit exceeded, terminating % 195.85/195.49 eprover: CPU time limit exceeded, terminating % 197.82/197.50 eprover: CPU time limit exceeded, terminating % 199.88/199.51 eprover: CPU time limit exceeded, terminating % 201.87/201.51 eprover: CPU time limit exceeded, terminating % 203.91/203.52 eprover: CPU time limit exceeded, terminating % 205.93/205.53 eprover: CPU time limit exceeded, terminating % 207.91/207.54 eprover: CPU time limit exceeded, terminating % 209.93/209.54 eprover: CPU time limit exceeded, terminating % 211.97/211.55 eprover: CPU time limit exceeded, terminating % 213.93/213.56 eprover: CPU time limit exceeded, terminating % 215.94/215.56 eprover: CPU time limit exceeded, terminating % 217.97/217.57 eprover: CPU time limit exceeded, terminating % 220.03/219.58 eprover: CPU time limit exceeded, terminating % 222.03/221.59 eprover: CPU time limit exceeded, terminating % 223.98/223.59 eprover: CPU time limit exceeded, terminating % 226.06/225.60 eprover: CPU time limit exceeded, terminating % 229.96/229.51 eprover: CPU time limit exceeded, terminating % 231.95/231.52 eprover: CPU time limit exceeded, terminating % 234.00/233.52 eprover: CPU time limit exceeded, terminating % 236.02/235.53 eprover: CPU time limit exceeded, terminating % 242.71/242.20 eprover: CPU time limit exceeded, terminating % 244.70/244.21 eprover: CPU time limit exceeded, terminating % 246.70/246.22 eprover: CPU time limit exceeded, terminating % 248.74/248.23 eprover: CPU time limit exceeded, terminating % 250.76/250.23 eprover: CPU time limit exceeded, terminating % 252.71/252.24 eprover: CPU time limit exceeded, terminating % 254.76/254.25 eprover: CPU time limit exceeded, terminating % 256.78/256.25 eprover: CPU time limit exceeded, terminating % 258.79/258.26 eprover: CPU time limit exceeded, terminating % 260.78/260.27 eprover: CPU time limit exceeded, terminating % 262.80/262.28 eprover: CPU time limit exceeded, terminating % 264.84/264.28 eprover: CPU time limit exceeded, terminating % 268.83/268.27 eprover: CPU time limit exceeded, terminating % 270.86/270.27 eprover: CPU time limit exceeded, terminating % 300.08/299.39 eprover: CPU time limit exceeded, terminating % 300.08/299.40 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------