%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM433+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:36:50 EDT 2022 % Result : Unknown 240.47s 238.85s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.14 % Problem : NUM433+1 : TPTP v8.1.0. Released v4.0.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n029.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Wed Jul 6 11:56:43 EDT 2022 % 0.14/0.36 % CPUTime : % 2.23/2.41 eprover: CPU time limit exceeded, terminating % 4.24/4.43 eprover: CPU time limit exceeded, terminating % 6.22/6.45 eprover: CPU time limit exceeded, terminating % 8.25/8.46 eprover: CPU time limit exceeded, terminating % 10.23/10.48 eprover: CPU time limit exceeded, terminating % 12.26/12.50 eprover: CPU time limit exceeded, terminating % 14.35/14.52 eprover: CPU time limit exceeded, terminating % 16.32/16.54 eprover: CPU time limit exceeded, terminating % 18.36/18.55 eprover: CPU time limit exceeded, terminating % 20.37/20.58 eprover: CPU time limit exceeded, terminating % 22.41/22.60 eprover: CPU time limit exceeded, terminating % 24.43/24.62 eprover: CPU time limit exceeded, terminating % 26.48/26.64 eprover: CPU time limit exceeded, terminating % 28.44/28.66 eprover: CPU time limit exceeded, terminating % 30.52/30.68 eprover: CPU time limit exceeded, terminating % 32.55/32.70 eprover: CPU time limit exceeded, terminating % 34.54/34.72 eprover: CPU time limit exceeded, terminating % 36.56/36.74 eprover: CPU time limit exceeded, terminating % 38.59/38.76 eprover: CPU time limit exceeded, terminating % 40.55/40.78 eprover: CPU time limit exceeded, terminating % 42.65/42.79 eprover: CPU time limit exceeded, terminating % 44.67/44.81 eprover: CPU time limit exceeded, terminating % 46.67/46.84 eprover: CPU time limit exceeded, terminating % 48.63/48.86 eprover: CPU time limit exceeded, terminating % 50.65/50.87 eprover: CPU time limit exceeded, terminating % 52.76/52.89 eprover: CPU time limit exceeded, terminating % 54.77/54.91 eprover: CPU time limit exceeded, terminating % 56.79/56.92 eprover: CPU time limit exceeded, terminating % 58.80/58.94 eprover: CPU time limit exceeded, terminating % 60.82/60.96 eprover: CPU time limit exceeded, terminating % 62.83/62.98 eprover: CPU time limit exceeded, terminating % 64.90/64.99 eprover: CPU time limit exceeded, terminating % 66.85/67.01 eprover: CPU time limit exceeded, terminating % 68.89/69.03 eprover: CPU time limit exceeded, terminating % 70.92/71.05 eprover: CPU time limit exceeded, terminating % 72.98/73.07 eprover: CPU time limit exceeded, terminating % 74.93/75.08 eprover: CPU time limit exceeded, terminating % 76.99/77.10 eprover: CPU time limit exceeded, terminating % 78.97/79.12 eprover: CPU time limit exceeded, terminating % 81.06/81.14 eprover: CPU time limit exceeded, terminating % 83.09/83.17 eprover: CPU time limit exceeded, terminating % 85.10/85.18 eprover: CPU time limit exceeded, terminating % 87.07/87.20 eprover: CPU time limit exceeded, terminating % 89.06/89.22 eprover: CPU time limit exceeded, terminating % 91.14/91.23 eprover: CPU time limit exceeded, terminating % 93.15/93.26 eprover: CPU time limit exceeded, terminating % 95.19/95.30 eprover: CPU time limit exceeded, terminating % 97.15/97.34 eprover: CPU time limit exceeded, terminating % 99.18/99.38 eprover: CPU time limit exceeded, terminating % 101.25/101.40 eprover: CPU time limit exceeded, terminating % 103.24/103.44 eprover: CPU time limit exceeded, terminating % 105.27/105.47 eprover: CPU time limit exceeded, terminating % 107.20/107.51 eprover: CPU time limit exceeded, terminating % 109.29/109.55 eprover: CPU time limit exceeded, terminating % 111.30/111.60 eprover: CPU time limit exceeded, terminating % 113.31/113.65 eprover: CPU time limit exceeded, terminating % 115.34/115.68 eprover: CPU time limit exceeded, terminating % 117.35/117.71 eprover: CPU time limit exceeded, terminating % 119.40/119.76 eprover: CPU time limit exceeded, terminating % 121.38/121.80 eprover: CPU time limit exceeded, terminating % 123.43/123.84 eprover: CPU time limit exceeded, terminating % 125.43/125.88 eprover: CPU time limit exceeded, terminating % 127.48/127.92 eprover: CPU time limit exceeded, terminating % 129.52/129.96 eprover: CPU time limit exceeded, terminating % 131.46/131.99 eprover: CPU time limit exceeded, terminating % 133.52/134.04 eprover: CPU time limit exceeded, terminating % 135.55/136.05 eprover: CPU time limit exceeded, terminating % 137.51/138.07 eprover: CPU time limit exceeded, terminating % 139.54/140.08 eprover: CPU time limit exceeded, terminating % 143.53/142.10 eprover: CPU time limit exceeded, terminating % 145.55/144.12 eprover: CPU time limit exceeded, terminating % 147.59/146.14 eprover: CPU time limit exceeded, terminating % 149.56/148.15 eprover: CPU time limit exceeded, terminating % 151.59/150.17 eprover: CPU time limit exceeded, terminating % 153.63/152.18 eprover: CPU time limit exceeded, terminating % 155.58/154.20 eprover: CPU time limit exceeded, terminating % 157.65/156.21 eprover: CPU time limit exceeded, terminating % 159.69/158.23 eprover: CPU time limit exceeded, terminating % 161.66/160.25 eprover: CPU time limit exceeded, terminating % 163.71/162.26 eprover: CPU time limit exceeded, terminating % 165.70/164.28 eprover: CPU time limit exceeded, terminating % 167.76/166.29 eprover: CPU time limit exceeded, terminating % 169.80/168.31 eprover: CPU time limit exceeded, terminating % 171.78/170.32 eprover: CPU time limit exceeded, terminating % 173.80/172.34 eprover: CPU time limit exceeded, terminating % 175.84/174.36 eprover: CPU time limit exceeded, terminating % 177.87/176.37 eprover: CPU time limit exceeded, terminating % 179.83/178.39 eprover: CPU time limit exceeded, terminating % 181.90/180.40 eprover: CPU time limit exceeded, terminating % 183.84/182.42 eprover: CPU time limit exceeded, terminating % 185.89/184.43 eprover: CPU time limit exceeded, terminating % 187.95/186.45 eprover: CPU time limit exceeded, terminating % 189.93/188.47 eprover: CPU time limit exceeded, terminating % 191.99/190.48 eprover: CPU time limit exceeded, terminating % 194.00/192.49 eprover: CPU time limit exceeded, terminating % 196.02/194.51 eprover: CPU time limit exceeded, terminating % 198.05/196.52 eprover: CPU time limit exceeded, terminating % 200.06/198.54 eprover: CPU time limit exceeded, terminating % 202.06/200.55 eprover: CPU time limit exceeded, terminating % 204.02/202.56 eprover: CPU time limit exceeded, terminating % 206.09/204.58 eprover: CPU time limit exceeded, terminating % 208.13/206.59 eprover: CPU time limit exceeded, terminating % 210.11/208.60 eprover: CPU time limit exceeded, terminating % 212.13/210.62 eprover: CPU time limit exceeded, terminating % 214.18/212.63 eprover: CPU time limit exceeded, terminating % 216.13/214.65 eprover: CPU time limit exceeded, terminating % 218.18/216.66 eprover: CPU time limit exceeded, terminating % 220.23/218.68 eprover: CPU time limit exceeded, terminating % 222.20/220.69 eprover: CPU time limit exceeded, terminating % 224.27/222.70 eprover: CPU time limit exceeded, terminating % 226.29/224.72 eprover: CPU time limit exceeded, terminating % 228.30/226.73 eprover: CPU time limit exceeded, terminating % 230.32/228.75 eprover: CPU time limit exceeded, terminating % 232.27/230.76 eprover: CPU time limit exceeded, terminating % 234.33/232.78 eprover: CPU time limit exceeded, terminating % 236.39/234.79 eprover: CPU time limit exceeded, terminating % 238.40/236.81 eprover: CPU time limit exceeded, terminating % 240.41/238.82 eprover: CPU time limit exceeded, terminating % 240.41/238.84 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 240.47/238.85 Infinox, version 1.0, 2009-07-20. % 240.47/238.85 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 240.47/238.85 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 240.47/238.85 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 240.47/238.85 InjNotSurj % 240.47/238.85 SurjNotInj % 240.47/238.85 Serial % 240.47/238.85 Trans % 240.47/238.85 Auto %------------------------------------------------------------------------------