%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB018-10 : TPTP v8.1.0. Released v7.5.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 : Tue Jul 19 19:04:36 EDT 2022 % Result : Unknown 228.96s 228.57s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB018-10 : TPTP v8.1.0. Released v7.5.0. % 0.11/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n029.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 : Wed Jun 1 09:33:00 EDT 2022 % 0.12/0.34 % CPUTime : % 4.86/5.09 eprover: CPU time limit exceeded, terminating % 6.93/7.10 eprover: CPU time limit exceeded, terminating % 9.73/9.88 eprover: CPU time limit exceeded, terminating % 11.69/11.89 eprover: CPU time limit exceeded, terminating % 13.74/13.90 eprover: CPU time limit exceeded, terminating % 15.78/15.90 eprover: CPU time limit exceeded, terminating % 17.77/17.91 eprover: CPU time limit exceeded, terminating % 19.79/19.92 eprover: CPU time limit exceeded, terminating % 31.90/32.05 eprover: CPU time limit exceeded, terminating % 36.47/36.58 eprover: CPU time limit exceeded, terminating % 38.46/38.58 eprover: CPU time limit exceeded, terminating % 43.33/43.46 eprover: CPU time limit exceeded, terminating % 49.73/49.84 eprover: CPU time limit exceeded, terminating % 51.70/51.85 eprover: CPU time limit exceeded, terminating % 53.74/53.85 eprover: CPU time limit exceeded, terminating % 57.70/57.78 eprover: CPU time limit exceeded, terminating % 59.67/59.79 eprover: CPU time limit exceeded, terminating % 62.35/62.46 eprover: CPU time limit exceeded, terminating % 64.36/64.49 eprover: CPU time limit exceeded, terminating % 66.43/66.50 eprover: CPU time limit exceeded, terminating % 68.36/68.51 eprover: CPU time limit exceeded, terminating % 71.17/71.29 eprover: CPU time limit exceeded, terminating % 73.26/73.29 eprover: CPU time limit exceeded, terminating % 75.19/75.30 eprover: CPU time limit exceeded, terminating % 77.26/77.31 eprover: CPU time limit exceeded, terminating % 79.26/79.32 eprover: CPU time limit exceeded, terminating % 81.97/82.02 eprover: CPU time limit exceeded, terminating % 83.98/84.03 eprover: CPU time limit exceeded, terminating % 86.00/86.04 eprover: CPU time limit exceeded, terminating % 105.18/105.20 eprover: CPU time limit exceeded, terminating % 107.86/107.79 eprover: CPU time limit exceeded, terminating % 109.88/109.80 eprover: CPU time limit exceeded, terminating % 112.40/112.40 eprover: CPU time limit exceeded, terminating % 115.80/115.70 eprover: CPU time limit exceeded, terminating % 117.81/117.70 eprover: CPU time limit exceeded, terminating % 119.82/119.71 eprover: CPU time limit exceeded, terminating % 121.84/121.72 eprover: CPU time limit exceeded, terminating % 123.83/123.73 eprover: CPU time limit exceeded, terminating % 126.45/126.36 eprover: CPU time limit exceeded, terminating % 128.42/128.36 eprover: CPU time limit exceeded, terminating % 131.65/131.50 eprover: CPU time limit exceeded, terminating % 133.63/133.51 eprover: CPU time limit exceeded, terminating % 142.89/142.73 eprover: CPU time limit exceeded, terminating % 144.91/144.75 eprover: CPU time limit exceeded, terminating % 146.89/146.75 eprover: CPU time limit exceeded, terminating % 148.90/148.76 eprover: CPU time limit exceeded, terminating % 150.91/150.78 eprover: CPU time limit exceeded, terminating % 153.00/152.79 eprover: CPU time limit exceeded, terminating % 155.01/154.80 eprover: CPU time limit exceeded, terminating % 157.01/156.81 eprover: CPU time limit exceeded, terminating % 160.02/159.86 eprover: CPU time limit exceeded, terminating % 171.25/171.02 eprover: CPU time limit exceeded, terminating % 174.16/173.90 eprover: CPU time limit exceeded, terminating % 176.17/175.91 eprover: CPU time limit exceeded, terminating % 178.18/177.91 eprover: CPU time limit exceeded, terminating % 180.20/179.92 eprover: CPU time limit exceeded, terminating % 186.11/185.88 eprover: CPU time limit exceeded, terminating % 190.54/190.26 eprover: CPU time limit exceeded, terminating % 201.37/201.08 eprover: CPU time limit exceeded, terminating % 203.40/203.09 eprover: CPU time limit exceeded, terminating % 206.61/206.31 eprover: CPU time limit exceeded, terminating % 208.69/208.32 eprover: CPU time limit exceeded, terminating % 210.65/210.33 eprover: CPU time limit exceeded, terminating % 212.71/212.34 eprover: CPU time limit exceeded, terminating % 214.68/214.34 eprover: CPU time limit exceeded, terminating % 216.72/216.35 eprover: CPU time limit exceeded, terminating % 228.96/228.56 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 228.96/228.56 Infinox, version 1.0, 2009-07-20. % 228.96/228.56 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 228.96/228.56 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 228.96/228.56 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 228.96/228.56 InjNotSurj % 228.96/228.56 SurjNotInj % 228.96/228.56 Serial % 228.96/228.56 Trans % 228.96/228.56 Auto %------------------------------------------------------------------------------