%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n012.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:15 EDT 2022 % Result : Timeout 300.00s 298.45s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n012.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 23:23:32 EDT 2022 % 0.12/0.34 % CPUTime : % 4.50/4.73 eprover: CPU time limit exceeded, terminating % 11.74/11.90 eprover: CPU time limit exceeded, terminating % 13.71/13.91 eprover: CPU time limit exceeded, terminating % 15.77/15.92 eprover: CPU time limit exceeded, terminating % 17.73/17.93 eprover: CPU time limit exceeded, terminating % 19.72/19.94 eprover: CPU time limit exceeded, terminating % 21.82/21.95 eprover: CPU time limit exceeded, terminating % 23.80/23.96 eprover: CPU time limit exceeded, terminating % 25.81/25.97 eprover: CPU time limit exceeded, terminating % 35.40/35.50 eprover: CPU time limit exceeded, terminating % 37.41/37.51 eprover: CPU time limit exceeded, terminating % 39.42/39.52 eprover: CPU time limit exceeded, terminating % 41.42/41.52 eprover: CPU time limit exceeded, terminating % 43.41/43.53 eprover: CPU time limit exceeded, terminating % 45.46/45.54 eprover: CPU time limit exceeded, terminating % 47.42/47.55 eprover: CPU time limit exceeded, terminating % 49.47/49.55 eprover: CPU time limit exceeded, terminating % 51.48/51.56 eprover: CPU time limit exceeded, terminating % 53.50/53.57 eprover: CPU time limit exceeded, terminating % 55.52/55.57 eprover: CPU time limit exceeded, terminating % 57.51/57.58 eprover: CPU time limit exceeded, terminating % 59.53/59.59 eprover: CPU time limit exceeded, terminating % 61.51/61.59 eprover: CPU time limit exceeded, terminating % 63.54/63.60 eprover: CPU time limit exceeded, terminating % 65.53/65.61 eprover: CPU time limit exceeded, terminating % 67.58/67.62 eprover: CPU time limit exceeded, terminating % 69.52/69.63 eprover: CPU time limit exceeded, terminating % 71.55/71.63 eprover: CPU time limit exceeded, terminating % 73.62/73.64 eprover: CPU time limit exceeded, terminating % 77.84/77.85 eprover: CPU time limit exceeded, terminating % 88.45/88.45 eprover: CPU time limit exceeded, terminating % 90.39/90.46 eprover: CPU time limit exceeded, terminating % 92.47/92.47 eprover: CPU time limit exceeded, terminating % 94.51/94.48 eprover: CPU time limit exceeded, terminating % 96.49/96.49 eprover: CPU time limit exceeded, terminating % 98.51/98.50 eprover: CPU time limit exceeded, terminating % 100.56/100.50 eprover: CPU time limit exceeded, terminating % 110.18/110.10 eprover: CPU time limit exceeded, terminating % 112.18/112.11 eprover: CPU time limit exceeded, terminating % 114.20/114.12 eprover: CPU time limit exceeded, terminating % 116.18/116.13 eprover: CPU time limit exceeded, terminating % 118.14/118.13 eprover: CPU time limit exceeded, terminating % 120.20/120.14 eprover: CPU time limit exceeded, terminating % 122.22/122.15 eprover: CPU time limit exceeded, terminating % 124.21/124.15 eprover: CPU time limit exceeded, terminating % 126.25/126.16 eprover: CPU time limit exceeded, terminating % 128.27/128.17 eprover: CPU time limit exceeded, terminating % 130.31/130.18 eprover: CPU time limit exceeded, terminating % 132.29/132.18 eprover: CPU time limit exceeded, terminating % 134.31/134.19 eprover: CPU time limit exceeded, terminating % 136.29/136.20 eprover: CPU time limit exceeded, terminating % 153.56/153.42 eprover: CPU time limit exceeded, terminating % 155.63/155.43 eprover: CPU time limit exceeded, terminating % 157.62/157.44 eprover: CPU time limit exceeded, terminating % 159.65/159.44 eprover: CPU time limit exceeded, terminating % 161.67/161.45 eprover: CPU time limit exceeded, terminating % 163.65/163.46 eprover: CPU time limit exceeded, terminating % 165.69/165.47 eprover: CPU time limit exceeded, terminating % 167.69/167.48 eprover: CPU time limit exceeded, terminating % 169.70/169.48 eprover: CPU time limit exceeded, terminating % 171.69/171.49 eprover: CPU time limit exceeded, terminating % 173.68/173.50 eprover: CPU time limit exceeded, terminating % 175.74/175.51 eprover: CPU time limit exceeded, terminating % 177.69/177.51 eprover: CPU time limit exceeded, terminating % 179.73/179.52 eprover: CPU time limit exceeded, terminating % 186.09/185.83 eprover: CPU time limit exceeded, terminating % 188.07/187.84 eprover: CPU time limit exceeded, terminating % 190.11/189.85 eprover: CPU time limit exceeded, terminating % 192.13/191.86 eprover: CPU time limit exceeded, terminating % 194.16/193.87 eprover: CPU time limit exceeded, terminating % 196.14/195.88 eprover: CPU time limit exceeded, terminating % 198.14/197.88 eprover: CPU time limit exceeded, terminating % 200.17/199.90 eprover: CPU time limit exceeded, terminating % 202.20/201.90 eprover: CPU time limit exceeded, terminating % 204.16/203.91 eprover: CPU time limit exceeded, terminating % 206.18/205.92 eprover: CPU time limit exceeded, terminating % 208.22/207.92 eprover: CPU time limit exceeded, terminating % 210.25/209.93 eprover: CPU time limit exceeded, terminating % 212.25/211.94 eprover: CPU time limit exceeded, terminating % 214.21/213.95 eprover: CPU time limit exceeded, terminating % 216.27/215.96 eprover: CPU time limit exceeded, terminating % 218.28/217.96 eprover: CPU time limit exceeded, terminating % 220.32/219.97 eprover: CPU time limit exceeded, terminating % 222.29/221.98 eprover: CPU time limit exceeded, terminating % 224.30/223.99 eprover: CPU time limit exceeded, terminating % 228.72/228.37 eprover: CPU time limit exceeded, terminating % 232.41/232.09 eprover: CPU time limit exceeded, terminating % 239.19/238.83 eprover: CPU time limit exceeded, terminating % 248.00/247.61 eprover: CPU time limit exceeded, terminating % 253.70/253.28 eprover: CPU time limit exceeded, terminating % 255.73/255.29 eprover: CPU time limit exceeded, terminating % 258.28/257.84 eprover: CPU time limit exceeded, terminating % 263.68/263.21 eprover: CPU time limit exceeded, terminating % 272.89/271.93 eprover: CPU time limit exceeded, terminating % 276.75/275.72 eprover: CPU time limit exceeded, terminating % 283.22/282.21 eprover: CPU time limit exceeded, terminating % 285.26/284.21 eprover: CPU time limit exceeded, terminating % 300.00/298.45 eprover: CPU time limit exceeded, terminating % 300.00/298.46 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------