%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV539-1.010 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n032.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:39 EDT 2022 % Result : Unknown 185.89s 148.05s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.10 % Problem : SWV539-1.010 : TPTP v8.1.0. Released v4.0.0. % 0.08/0.11 % Command : run_infinox %s % 0.11/0.30 % Computer : n032.cluster.edu % 0.11/0.30 % Model : x86_64 x86_64 % 0.11/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.30 % Memory : 8042.1875MB % 0.11/0.30 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.30 % CPULimit : 300 % 0.11/0.30 % WCLimit : 600 % 0.11/0.30 % DateTime : Thu Jun 16 01:28:14 EDT 2022 % 0.11/0.30 % CPUTime : % 13.79/13.36 eprover: CPU time limit exceeded, terminating % 16.44/15.37 eprover: CPU time limit exceeded, terminating % 19.04/17.39 eprover: CPU time limit exceeded, terminating % 21.53/19.40 eprover: CPU time limit exceeded, terminating % 24.27/21.42 eprover: CPU time limit exceeded, terminating % 26.97/23.43 eprover: CPU time limit exceeded, terminating % 29.62/25.45 eprover: CPU time limit exceeded, terminating % 32.21/27.47 eprover: CPU time limit exceeded, terminating % 34.88/29.48 eprover: CPU time limit exceeded, terminating % 37.57/31.50 eprover: CPU time limit exceeded, terminating % 40.06/33.52 eprover: CPU time limit exceeded, terminating % 42.63/35.54 eprover: CPU time limit exceeded, terminating % 45.26/37.55 eprover: CPU time limit exceeded, terminating % 47.78/39.57 eprover: CPU time limit exceeded, terminating % 50.33/41.58 eprover: CPU time limit exceeded, terminating % 52.88/43.60 eprover: CPU time limit exceeded, terminating % 55.38/45.61 eprover: CPU time limit exceeded, terminating % 58.08/47.63 eprover: CPU time limit exceeded, terminating % 60.67/49.65 eprover: CPU time limit exceeded, terminating % 63.16/51.66 eprover: CPU time limit exceeded, terminating % 69.22/57.14 eprover: CPU time limit exceeded, terminating % 71.88/59.16 eprover: CPU time limit exceeded, terminating % 74.47/61.18 eprover: CPU time limit exceeded, terminating % 77.12/63.19 eprover: CPU time limit exceeded, terminating % 79.70/65.20 eprover: CPU time limit exceeded, terminating % 82.36/67.22 eprover: CPU time limit exceeded, terminating % 85.01/69.24 eprover: CPU time limit exceeded, terminating % 87.60/71.25 eprover: CPU time limit exceeded, terminating % 90.27/73.27 eprover: CPU time limit exceeded, terminating % 92.70/75.29 eprover: CPU time limit exceeded, terminating % 95.40/77.30 eprover: CPU time limit exceeded, terminating % 98.04/79.32 eprover: CPU time limit exceeded, terminating % 100.60/81.34 eprover: CPU time limit exceeded, terminating % 103.18/83.35 eprover: CPU time limit exceeded, terminating % 105.64/85.37 eprover: CPU time limit exceeded, terminating % 108.23/87.38 eprover: CPU time limit exceeded, terminating % 110.80/89.40 eprover: CPU time limit exceeded, terminating % 113.53/91.42 eprover: CPU time limit exceeded, terminating % 116.12/93.44 eprover: CPU time limit exceeded, terminating % 118.61/95.45 eprover: CPU time limit exceeded, terminating % 121.24/97.47 eprover: CPU time limit exceeded, terminating % 123.90/99.48 eprover: CPU time limit exceeded, terminating % 126.39/101.49 eprover: CPU time limit exceeded, terminating % 129.07/103.51 eprover: CPU time limit exceeded, terminating % 131.78/105.52 eprover: CPU time limit exceeded, terminating % 134.37/107.54 eprover: CPU time limit exceeded, terminating % 137.03/109.56 eprover: CPU time limit exceeded, terminating % 139.63/111.57 eprover: CPU time limit exceeded, terminating % 142.34/113.59 eprover: CPU time limit exceeded, terminating % 144.86/115.60 eprover: CPU time limit exceeded, terminating % 147.48/117.62 eprover: CPU time limit exceeded, terminating % 150.15/119.63 eprover: CPU time limit exceeded, terminating % 152.75/121.65 eprover: CPU time limit exceeded, terminating % 155.38/123.67 eprover: CPU time limit exceeded, terminating % 157.99/125.68 eprover: CPU time limit exceeded, terminating % 160.69/127.70 eprover: CPU time limit exceeded, terminating % 163.36/129.71 eprover: CPU time limit exceeded, terminating % 165.98/131.73 eprover: CPU time limit exceeded, terminating % 168.50/133.75 eprover: CPU time limit exceeded, terminating % 171.14/135.76 eprover: CPU time limit exceeded, terminating % 173.68/137.78 eprover: CPU time limit exceeded, terminating % 176.42/139.79 eprover: CPU time limit exceeded, terminating % 179.05/141.81 eprover: CPU time limit exceeded, terminating % 181.67/143.83 eprover: CPU time limit exceeded, terminating % 185.81/147.98 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 185.89/148.04 Infinox, version 1.0, 2009-07-20. % 185.89/148.04 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 185.89/148.04 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 185.89/148.04 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 185.89/148.04 InjNotSurj % 185.89/148.04 SurjNotInj % 185.89/148.04 Serial % 185.89/148.04 Trans % 185.89/148.04 Auto %------------------------------------------------------------------------------