%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV532-1.010 : TPTP v8.1.0. Released v4.0.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 : Wed Jul 20 18:50:36 EDT 2022 % Result : Unknown 160.23s 123.54s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV532-1.010 : TPTP v8.1.0. Released v4.0.0. % 0.13/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n011.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Tue Jun 14 20:34:34 EDT 2022 % 0.13/0.34 % CPUTime : % 13.44/12.90 eprover: CPU time limit exceeded, terminating % 16.17/14.91 eprover: CPU time limit exceeded, terminating % 18.86/16.93 eprover: CPU time limit exceeded, terminating % 21.65/18.94 eprover: CPU time limit exceeded, terminating % 24.39/20.96 eprover: CPU time limit exceeded, terminating % 27.14/22.97 eprover: CPU time limit exceeded, terminating % 29.92/24.99 eprover: CPU time limit exceeded, terminating % 32.68/27.00 eprover: CPU time limit exceeded, terminating % 35.43/29.02 eprover: CPU time limit exceeded, terminating % 38.17/31.03 eprover: CPU time limit exceeded, terminating % 40.85/33.05 eprover: CPU time limit exceeded, terminating % 43.59/35.06 eprover: CPU time limit exceeded, terminating % 46.35/37.08 eprover: CPU time limit exceeded, terminating % 49.07/39.09 eprover: CPU time limit exceeded, terminating % 55.57/44.80 eprover: CPU time limit exceeded, terminating % 58.32/46.81 eprover: CPU time limit exceeded, terminating % 61.05/48.83 eprover: CPU time limit exceeded, terminating % 63.77/50.84 eprover: CPU time limit exceeded, terminating % 66.45/52.85 eprover: CPU time limit exceeded, terminating % 69.19/54.87 eprover: CPU time limit exceeded, terminating % 71.92/56.88 eprover: CPU time limit exceeded, terminating % 74.67/58.90 eprover: CPU time limit exceeded, terminating % 77.40/60.91 eprover: CPU time limit exceeded, terminating % 80.12/62.93 eprover: CPU time limit exceeded, terminating % 82.83/64.94 eprover: CPU time limit exceeded, terminating % 85.48/66.96 eprover: CPU time limit exceeded, terminating % 88.10/68.97 eprover: CPU time limit exceeded, terminating % 90.84/70.99 eprover: CPU time limit exceeded, terminating % 93.51/73.00 eprover: CPU time limit exceeded, terminating % 96.25/75.02 eprover: CPU time limit exceeded, terminating % 99.00/77.04 eprover: CPU time limit exceeded, terminating % 101.71/79.05 eprover: CPU time limit exceeded, terminating % 104.39/81.07 eprover: CPU time limit exceeded, terminating % 107.10/83.08 eprover: CPU time limit exceeded, terminating % 109.84/85.10 eprover: CPU time limit exceeded, terminating % 112.60/87.12 eprover: CPU time limit exceeded, terminating % 115.27/89.13 eprover: CPU time limit exceeded, terminating % 118.01/91.15 eprover: CPU time limit exceeded, terminating % 120.74/93.16 eprover: CPU time limit exceeded, terminating % 123.42/95.18 eprover: CPU time limit exceeded, terminating % 126.14/97.19 eprover: CPU time limit exceeded, terminating % 128.87/99.21 eprover: CPU time limit exceeded, terminating % 131.57/101.22 eprover: CPU time limit exceeded, terminating % 134.31/103.24 eprover: CPU time limit exceeded, terminating % 137.02/105.26 eprover: CPU time limit exceeded, terminating % 139.79/107.27 eprover: CPU time limit exceeded, terminating % 142.52/109.29 eprover: CPU time limit exceeded, terminating % 145.19/111.30 eprover: CPU time limit exceeded, terminating % 147.88/113.32 eprover: CPU time limit exceeded, terminating % 150.66/115.33 eprover: CPU time limit exceeded, terminating % 153.41/117.35 eprover: CPU time limit exceeded, terminating % 156.08/119.36 eprover: CPU time limit exceeded, terminating % 160.23/123.47 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 160.23/123.53 Infinox, version 1.0, 2009-07-20. % 160.23/123.53 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 160.23/123.53 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 160.23/123.53 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 160.23/123.53 InjNotSurj % 160.23/123.53 SurjNotInj % 160.23/123.53 Serial % 160.23/123.53 Trans % 160.23/123.53 Auto %------------------------------------------------------------------------------