%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV418-1.820 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.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 : Wed Jul 20 18:49:51 EDT 2022 % Result : Unknown 114.06s 113.56s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWV418-1.820 : TPTP v8.1.0. Released v3.5.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.34 % Computer : n028.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 : Tue Jun 14 18:34:24 EDT 2022 % 0.12/0.34 % CPUTime : % 2.55/2.78 eprover: CPU time limit exceeded, terminating % 4.62/4.79 eprover: CPU time limit exceeded, terminating % 6.65/6.80 eprover: CPU time limit exceeded, terminating % 8.65/8.81 eprover: CPU time limit exceeded, terminating % 10.66/10.82 eprover: CPU time limit exceeded, terminating % 12.68/12.83 eprover: CPU time limit exceeded, terminating % 14.69/14.85 eprover: CPU time limit exceeded, terminating % 16.73/16.86 eprover: CPU time limit exceeded, terminating % 18.74/18.87 eprover: CPU time limit exceeded, terminating % 20.76/20.88 eprover: CPU time limit exceeded, terminating % 22.75/22.89 eprover: CPU time limit exceeded, terminating % 24.86/24.90 eprover: CPU time limit exceeded, terminating % 26.90/26.91 eprover: CPU time limit exceeded, terminating % 28.91/28.92 eprover: CPU time limit exceeded, terminating % 30.89/30.94 eprover: CPU time limit exceeded, terminating % 32.94/32.95 eprover: CPU time limit exceeded, terminating % 34.96/34.96 eprover: CPU time limit exceeded, terminating % 36.95/36.97 eprover: CPU time limit exceeded, terminating % 38.97/38.98 eprover: CPU time limit exceeded, terminating % 41.01/40.99 eprover: CPU time limit exceeded, terminating % 43.07/43.00 eprover: CPU time limit exceeded, terminating % 45.09/45.01 eprover: CPU time limit exceeded, terminating % 47.12/47.02 eprover: CPU time limit exceeded, terminating % 49.15/49.04 eprover: CPU time limit exceeded, terminating % 51.16/51.05 eprover: CPU time limit exceeded, terminating % 53.15/53.06 eprover: CPU time limit exceeded, terminating % 55.18/55.07 eprover: CPU time limit exceeded, terminating % 57.27/57.08 eprover: CPU time limit exceeded, terminating % 59.29/59.09 eprover: CPU time limit exceeded, terminating % 61.31/61.10 eprover: CPU time limit exceeded, terminating % 63.34/63.11 eprover: CPU time limit exceeded, terminating % 65.33/65.12 eprover: CPU time limit exceeded, terminating % 67.37/67.13 eprover: CPU time limit exceeded, terminating % 69.36/69.14 eprover: CPU time limit exceeded, terminating % 71.37/71.15 eprover: CPU time limit exceeded, terminating % 73.41/73.16 eprover: CPU time limit exceeded, terminating % 75.47/75.17 eprover: CPU time limit exceeded, terminating % 77.51/77.18 eprover: CPU time limit exceeded, terminating % 79.46/79.20 eprover: CPU time limit exceeded, terminating % 81.54/81.21 eprover: CPU time limit exceeded, terminating % 83.56/83.22 eprover: CPU time limit exceeded, terminating % 85.53/85.23 eprover: CPU time limit exceeded, terminating % 87.58/87.24 eprover: CPU time limit exceeded, terminating % 89.62/89.25 eprover: CPU time limit exceeded, terminating % 91.61/91.26 eprover: CPU time limit exceeded, terminating % 93.67/93.27 eprover: CPU time limit exceeded, terminating % 95.66/95.28 eprover: CPU time limit exceeded, terminating % 97.71/97.29 eprover: CPU time limit exceeded, terminating % 99.75/99.30 eprover: CPU time limit exceeded, terminating % 101.76/101.31 eprover: CPU time limit exceeded, terminating % 103.79/103.32 eprover: CPU time limit exceeded, terminating % 105.79/105.33 eprover: CPU time limit exceeded, terminating % 107.81/107.34 eprover: CPU time limit exceeded, terminating % 109.83/109.35 eprover: CPU time limit exceeded, terminating % 111.86/111.37 eprover: CPU time limit exceeded, terminating % 113.89/113.38 eprover: CPU time limit exceeded, terminating % 114.06/113.54 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 114.06/113.55 Infinox, version 1.0, 2009-07-20. % 114.06/113.55 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 114.06/113.55 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 114.06/113.55 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 114.06/113.55 InjNotSurj % 114.06/113.55 SurjNotInj % 114.06/113.55 Serial % 114.06/113.55 Trans % 114.06/113.55 Auto %------------------------------------------------------------------------------