%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM926+8 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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 10:42:00 EDT 2022 % Result : Timeout 286.52s 236.98s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : NUM926+8 : TPTP v8.1.0. Released v5.3.0. % 0.04/0.15 % Command : run_infinox %s % 0.15/0.36 % Computer : n011.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Tue Jul 5 21:15:52 EDT 2022 % 0.15/0.36 % CPUTime : % 70.04/69.56 eprover: CPU time limit exceeded, terminating % 72.62/71.58 eprover: CPU time limit exceeded, terminating % 75.20/73.60 eprover: CPU time limit exceeded, terminating % 77.76/75.62 eprover: CPU time limit exceeded, terminating % 80.33/77.64 eprover: CPU time limit exceeded, terminating % 82.98/79.65 eprover: CPU time limit exceeded, terminating % 85.59/81.67 eprover: CPU time limit exceeded, terminating % 88.18/83.69 eprover: CPU time limit exceeded, terminating % 90.80/85.71 eprover: CPU time limit exceeded, terminating % 93.38/87.73 eprover: CPU time limit exceeded, terminating % 96.04/89.75 eprover: CPU time limit exceeded, terminating % 98.66/91.77 eprover: CPU time limit exceeded, terminating % 101.24/93.79 eprover: CPU time limit exceeded, terminating % 105.84/95.81 eprover: CPU time limit exceeded, terminating % 108.42/97.82 eprover: CPU time limit exceeded, terminating % 111.02/99.84 eprover: CPU time limit exceeded, terminating % 113.59/101.86 eprover: CPU time limit exceeded, terminating % 116.23/103.88 eprover: CPU time limit exceeded, terminating % 118.83/105.90 eprover: CPU time limit exceeded, terminating % 121.37/107.92 eprover: CPU time limit exceeded, terminating % 123.98/109.94 eprover: CPU time limit exceeded, terminating % 126.63/111.95 eprover: CPU time limit exceeded, terminating % 129.23/113.97 eprover: CPU time limit exceeded, terminating % 131.81/115.99 eprover: CPU time limit exceeded, terminating % 134.44/118.01 eprover: CPU time limit exceeded, terminating % 137.07/120.03 eprover: CPU time limit exceeded, terminating % 139.58/122.04 eprover: CPU time limit exceeded, terminating % 142.27/124.06 eprover: CPU time limit exceeded, terminating % 144.86/126.08 eprover: CPU time limit exceeded, terminating % 147.41/128.10 eprover: CPU time limit exceeded, terminating % 150.06/130.13 eprover: CPU time limit exceeded, terminating % 152.68/132.15 eprover: CPU time limit exceeded, terminating % 155.27/134.17 eprover: CPU time limit exceeded, terminating % 157.86/136.19 eprover: CPU time limit exceeded, terminating % 160.42/138.20 eprover: CPU time limit exceeded, terminating % 163.02/140.22 eprover: CPU time limit exceeded, terminating % 165.64/142.24 eprover: CPU time limit exceeded, terminating % 168.20/144.25 eprover: CPU time limit exceeded, terminating % 170.84/146.27 eprover: CPU time limit exceeded, terminating % 173.44/148.29 eprover: CPU time limit exceeded, terminating % 176.02/150.31 eprover: CPU time limit exceeded, terminating % 178.62/152.33 eprover: CPU time limit exceeded, terminating % 181.24/154.34 eprover: CPU time limit exceeded, terminating % 183.83/156.36 eprover: CPU time limit exceeded, terminating % 186.39/158.38 eprover: CPU time limit exceeded, terminating % 188.90/160.40 eprover: CPU time limit exceeded, terminating % 191.51/162.41 eprover: CPU time limit exceeded, terminating % 194.10/164.43 eprover: CPU time limit exceeded, terminating % 196.61/166.44 eprover: CPU time limit exceeded, terminating % 199.22/168.46 eprover: CPU time limit exceeded, terminating % 201.77/170.47 eprover: CPU time limit exceeded, terminating % 204.36/172.49 eprover: CPU time limit exceeded, terminating % 206.91/174.50 eprover: CPU time limit exceeded, terminating % 209.48/176.52 eprover: CPU time limit exceeded, terminating % 212.07/178.53 eprover: CPU time limit exceeded, terminating % 214.66/180.55 eprover: CPU time limit exceeded, terminating % 217.21/182.57 eprover: CPU time limit exceeded, terminating % 219.82/184.58 eprover: CPU time limit exceeded, terminating % 222.37/186.59 eprover: CPU time limit exceeded, terminating % 224.81/188.61 eprover: CPU time limit exceeded, terminating % 227.39/190.62 eprover: CPU time limit exceeded, terminating % 229.99/192.64 eprover: CPU time limit exceeded, terminating % 232.55/194.66 eprover: CPU time limit exceeded, terminating % 235.11/196.67 eprover: CPU time limit exceeded, terminating % 237.67/198.69 eprover: CPU time limit exceeded, terminating % 240.24/200.70 eprover: CPU time limit exceeded, terminating % 242.84/202.72 eprover: CPU time limit exceeded, terminating % 245.42/204.74 eprover: CPU time limit exceeded, terminating % 247.96/206.75 eprover: CPU time limit exceeded, terminating % 250.50/208.77 eprover: CPU time limit exceeded, terminating % 253.14/210.78 eprover: CPU time limit exceeded, terminating % 255.66/212.80 eprover: CPU time limit exceeded, terminating % 258.26/214.81 eprover: CPU time limit exceeded, terminating % 260.87/216.83 eprover: CPU time limit exceeded, terminating % 263.44/218.84 eprover: CPU time limit exceeded, terminating % 266.03/220.86 eprover: CPU time limit exceeded, terminating % 268.51/222.87 eprover: CPU time limit exceeded, terminating % 271.16/224.89 eprover: CPU time limit exceeded, terminating % 273.72/226.91 eprover: CPU time limit exceeded, terminating % 276.26/228.92 eprover: CPU time limit exceeded, terminating % 278.84/230.93 eprover: CPU time limit exceeded, terminating % 281.40/232.95 eprover: CPU time limit exceeded, terminating % 283.97/234.97 eprover: CPU time limit exceeded, terminating % 286.52/236.98 eprover: CPU time limit exceeded, terminating % 289.10/239.00 eprover: CPU time limit exceeded, terminating % 291.59/241.01 eprover: CPU time limit exceeded, terminating % 294.20/243.02 eprover: CPU time limit exceeded, terminating % 296.68/245.04 eprover: CPU time limit exceeded, terminating % 299.27/247.06 eprover: CPU time limit exceeded, terminating % 300.06/247.60 eprover: CPU time limit exceeded, terminating % 300.06/247.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------