%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP182-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:14 EDT 2022 % Result : Timeout 297.19s 296.10s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NLP182-1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n020.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Fri Jul 1 03:09:00 EDT 2022 % 0.13/0.33 % CPUTime : % 4.16/4.37 eprover: CPU time limit exceeded, terminating % 10.71/10.86 eprover: CPU time limit exceeded, terminating % 12.69/12.87 eprover: CPU time limit exceeded, terminating % 14.71/14.88 eprover: CPU time limit exceeded, terminating % 16.71/16.89 eprover: CPU time limit exceeded, terminating % 18.74/18.90 eprover: CPU time limit exceeded, terminating % 20.71/20.91 eprover: CPU time limit exceeded, terminating % 22.74/22.92 eprover: CPU time limit exceeded, terminating % 24.79/24.93 eprover: CPU time limit exceeded, terminating % 33.52/33.63 eprover: CPU time limit exceeded, terminating % 35.54/35.65 eprover: CPU time limit exceeded, terminating % 37.55/37.66 eprover: CPU time limit exceeded, terminating % 39.58/39.67 eprover: CPU time limit exceeded, terminating % 41.56/41.68 eprover: CPU time limit exceeded, terminating % 43.59/43.69 eprover: CPU time limit exceeded, terminating % 45.57/45.70 eprover: CPU time limit exceeded, terminating % 47.62/47.71 eprover: CPU time limit exceeded, terminating % 49.58/49.72 eprover: CPU time limit exceeded, terminating % 51.65/51.73 eprover: CPU time limit exceeded, terminating % 53.66/53.74 eprover: CPU time limit exceeded, terminating % 55.69/55.75 eprover: CPU time limit exceeded, terminating % 57.71/57.76 eprover: CPU time limit exceeded, terminating % 59.70/59.76 eprover: CPU time limit exceeded, terminating % 61.71/61.77 eprover: CPU time limit exceeded, terminating % 63.71/63.78 eprover: CPU time limit exceeded, terminating % 65.77/65.79 eprover: CPU time limit exceeded, terminating % 67.74/67.80 eprover: CPU time limit exceeded, terminating % 69.71/69.81 eprover: CPU time limit exceeded, terminating % 71.78/71.82 eprover: CPU time limit exceeded, terminating % 75.80/75.84 eprover: CPU time limit exceeded, terminating % 85.59/85.60 eprover: CPU time limit exceeded, terminating % 87.62/87.61 eprover: CPU time limit exceeded, terminating % 89.60/89.62 eprover: CPU time limit exceeded, terminating % 91.63/91.63 eprover: CPU time limit exceeded, terminating % 93.70/93.64 eprover: CPU time limit exceeded, terminating % 95.70/95.65 eprover: CPU time limit exceeded, terminating % 97.72/97.66 eprover: CPU time limit exceeded, terminating % 106.55/106.46 eprover: CPU time limit exceeded, terminating % 108.54/108.47 eprover: CPU time limit exceeded, terminating % 110.58/110.48 eprover: CPU time limit exceeded, terminating % 112.58/112.49 eprover: CPU time limit exceeded, terminating % 114.59/114.50 eprover: CPU time limit exceeded, terminating % 116.57/116.51 eprover: CPU time limit exceeded, terminating % 118.65/118.52 eprover: CPU time limit exceeded, terminating % 120.62/120.53 eprover: CPU time limit exceeded, terminating % 122.67/122.54 eprover: CPU time limit exceeded, terminating % 124.68/124.55 eprover: CPU time limit exceeded, terminating % 126.70/126.55 eprover: CPU time limit exceeded, terminating % 128.68/128.56 eprover: CPU time limit exceeded, terminating % 130.74/130.57 eprover: CPU time limit exceeded, terminating % 132.74/132.58 eprover: CPU time limit exceeded, terminating % 148.71/148.51 eprover: CPU time limit exceeded, terminating % 150.74/150.52 eprover: CPU time limit exceeded, terminating % 152.71/152.53 eprover: CPU time limit exceeded, terminating % 154.78/154.54 eprover: CPU time limit exceeded, terminating % 156.79/156.56 eprover: CPU time limit exceeded, terminating % 158.80/158.57 eprover: CPU time limit exceeded, terminating % 160.84/160.58 eprover: CPU time limit exceeded, terminating % 162.81/162.59 eprover: CPU time limit exceeded, terminating % 172.23/171.96 eprover: CPU time limit exceeded, terminating % 178.17/177.86 eprover: CPU time limit exceeded, terminating % 180.16/179.87 eprover: CPU time limit exceeded, terminating % 182.15/181.88 eprover: CPU time limit exceeded, terminating % 184.20/183.89 eprover: CPU time limit exceeded, terminating % 186.22/185.90 eprover: CPU time limit exceeded, terminating % 188.24/187.91 eprover: CPU time limit exceeded, terminating % 190.21/189.92 eprover: CPU time limit exceeded, terminating % 192.22/191.93 eprover: CPU time limit exceeded, terminating % 194.25/193.94 eprover: CPU time limit exceeded, terminating % 196.27/195.95 eprover: CPU time limit exceeded, terminating % 198.31/197.96 eprover: CPU time limit exceeded, terminating % 200.32/199.97 eprover: CPU time limit exceeded, terminating % 202.33/201.98 eprover: CPU time limit exceeded, terminating % 204.36/203.99 eprover: CPU time limit exceeded, terminating % 206.33/206.00 eprover: CPU time limit exceeded, terminating % 208.35/208.01 eprover: CPU time limit exceeded, terminating % 210.34/210.02 eprover: CPU time limit exceeded, terminating % 212.41/212.03 eprover: CPU time limit exceeded, terminating % 214.41/214.04 eprover: CPU time limit exceeded, terminating % 216.43/216.05 eprover: CPU time limit exceeded, terminating % 220.67/220.29 eprover: CPU time limit exceeded, terminating % 224.29/223.88 eprover: CPU time limit exceeded, terminating % 231.02/230.58 eprover: CPU time limit exceeded, terminating % 239.15/238.73 eprover: CPU time limit exceeded, terminating % 244.81/244.32 eprover: CPU time limit exceeded, terminating % 246.79/246.33 eprover: CPU time limit exceeded, terminating % 249.33/248.84 eprover: CPU time limit exceeded, terminating % 254.36/253.88 eprover: CPU time limit exceeded, terminating % 262.53/262.00 eprover: CPU time limit exceeded, terminating % 272.03/271.48 eprover: CPU time limit exceeded, terminating % 274.09/273.49 eprover: CPU time limit exceeded, terminating % 297.19/296.10 eprover: CPU time limit exceeded, terminating % 300.40/299.28 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------