%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : ALG398-1 : TPTP v8.1.0. Released v4.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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 : Thu Jul 14 17:01:09 EDT 2022 % Result : FinitelyUnsatisfiable 142.97s 138.77s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : ALG398-1 : TPTP v8.1.0. Released v4.1.0. % 0.03/0.11 % Command : run_infinox %s % 0.11/0.32 % Computer : n023.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 600 % 0.11/0.32 % DateTime : Thu Jun 9 00:37:53 EDT 2022 % 0.11/0.33 % CPUTime : % 2.92/3.04 eprover: CPU time limit exceeded, terminating % 4.89/5.05 eprover: CPU time limit exceeded, terminating % 6.99/7.06 eprover: CPU time limit exceeded, terminating % 9.01/9.07 eprover: CPU time limit exceeded, terminating % 11.13/11.08 eprover: CPU time limit exceeded, terminating % 13.15/13.10 eprover: CPU time limit exceeded, terminating % 15.26/15.11 eprover: CPU time limit exceeded, terminating % 17.30/17.12 eprover: CPU time limit exceeded, terminating % 19.39/19.13 eprover: CPU time limit exceeded, terminating % 21.44/21.14 eprover: CPU time limit exceeded, terminating % 23.49/23.15 eprover: CPU time limit exceeded, terminating % 25.55/25.16 eprover: CPU time limit exceeded, terminating % 27.63/27.17 eprover: CPU time limit exceeded, terminating % 29.65/29.18 eprover: CPU time limit exceeded, terminating % 31.73/31.19 eprover: CPU time limit exceeded, terminating % 33.83/33.21 eprover: CPU time limit exceeded, terminating % 35.82/35.22 eprover: CPU time limit exceeded, terminating % 37.95/37.24 eprover: CPU time limit exceeded, terminating % 40.00/39.25 eprover: CPU time limit exceeded, terminating % 42.07/41.26 eprover: CPU time limit exceeded, terminating % 44.07/43.28 eprover: CPU time limit exceeded, terminating % 46.16/45.29 eprover: CPU time limit exceeded, terminating % 48.24/47.30 eprover: CPU time limit exceeded, terminating % 50.27/49.31 eprover: CPU time limit exceeded, terminating % 52.28/51.32 eprover: CPU time limit exceeded, terminating % 54.41/53.35 eprover: CPU time limit exceeded, terminating % 56.41/55.36 eprover: CPU time limit exceeded, terminating % 58.52/57.37 eprover: CPU time limit exceeded, terminating % 60.56/59.38 eprover: CPU time limit exceeded, terminating % 62.68/61.39 eprover: CPU time limit exceeded, terminating % 64.75/63.40 eprover: CPU time limit exceeded, terminating % 66.77/65.41 eprover: CPU time limit exceeded, terminating % 68.83/67.42 eprover: CPU time limit exceeded, terminating % 70.88/69.44 eprover: CPU time limit exceeded, terminating % 72.94/71.45 eprover: CPU time limit exceeded, terminating % 75.05/73.46 eprover: CPU time limit exceeded, terminating % 77.10/75.47 eprover: CPU time limit exceeded, terminating % 81.09/77.48 eprover: CPU time limit exceeded, terminating % 83.17/79.50 eprover: CPU time limit exceeded, terminating % 85.27/81.51 eprover: CPU time limit exceeded, terminating % 87.33/83.52 eprover: CPU time limit exceeded, terminating % 89.36/85.53 eprover: CPU time limit exceeded, terminating % 91.45/87.54 eprover: CPU time limit exceeded, terminating % 93.47/89.56 eprover: CPU time limit exceeded, terminating % 95.53/91.57 eprover: CPU time limit exceeded, terminating % 97.64/93.58 eprover: CPU time limit exceeded, terminating % 99.64/95.59 eprover: CPU time limit exceeded, terminating % 101.75/97.60 eprover: CPU time limit exceeded, terminating % 103.78/99.61 eprover: CPU time limit exceeded, terminating % 105.90/101.63 eprover: CPU time limit exceeded, terminating % 107.97/103.64 eprover: CPU time limit exceeded, terminating % 109.97/105.65 eprover: CPU time limit exceeded, terminating % 112.03/107.66 eprover: CPU time limit exceeded, terminating % 114.16/109.67 eprover: CPU time limit exceeded, terminating % 116.17/111.69 eprover: CPU time limit exceeded, terminating % 118.28/113.70 eprover: CPU time limit exceeded, terminating % 120.33/115.71 eprover: CPU time limit exceeded, terminating % 122.40/117.72 eprover: CPU time limit exceeded, terminating % 124.43/119.73 eprover: CPU time limit exceeded, terminating % 126.51/121.74 eprover: CPU time limit exceeded, terminating % 128.57/123.75 eprover: CPU time limit exceeded, terminating % 130.65/125.77 eprover: CPU time limit exceeded, terminating % 132.71/127.78 eprover: CPU time limit exceeded, terminating % 134.73/129.79 eprover: CPU time limit exceeded, terminating % 136.81/131.80 eprover: CPU time limit exceeded, terminating % 138.89/133.81 eprover: CPU time limit exceeded, terminating % 140.96/135.82 eprover: CPU time limit exceeded, terminating % 142.97/138.77 Infinox, version 1.0, 2009-07-20. % 142.97/138.77 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 142.97/138.77 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 142.97/138.77 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 142.97/138.77 InjNotSurj % 142.97/138.77 +++ RESULT: FinitelyUnsatisfiable % 142.97/138.77 % SZS status FinitelyUnsatisfiable %------------------------------------------------------------------------------