%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW472+2 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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 21 00:24:53 EDT 2022 % Result : FiniteTheorem 119.30s 116.93s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW472+2 : TPTP v8.1.0. Released v5.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n021.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 : Sun Jun 5 02:05:49 EDT 2022 % 0.13/0.34 % CPUTime : % 2.87/3.03 eprover: CPU time limit exceeded, terminating % 4.92/5.04 eprover: CPU time limit exceeded, terminating % 6.92/7.05 eprover: CPU time limit exceeded, terminating % 8.98/9.07 eprover: CPU time limit exceeded, terminating % 10.95/11.08 eprover: CPU time limit exceeded, terminating % 13.01/13.09 eprover: CPU time limit exceeded, terminating % 15.08/15.10 eprover: CPU time limit exceeded, terminating % 17.14/17.11 eprover: CPU time limit exceeded, terminating % 19.11/19.12 eprover: CPU time limit exceeded, terminating % 21.21/21.13 eprover: CPU time limit exceeded, terminating % 23.25/23.15 eprover: CPU time limit exceeded, terminating % 25.28/25.16 eprover: CPU time limit exceeded, terminating % 27.28/27.17 eprover: CPU time limit exceeded, terminating % 29.39/29.18 eprover: CPU time limit exceeded, terminating % 31.36/31.19 eprover: CPU time limit exceeded, terminating % 33.45/33.21 eprover: CPU time limit exceeded, terminating % 35.52/35.22 eprover: CPU time limit exceeded, terminating % 37.51/37.23 eprover: CPU time limit exceeded, terminating % 39.54/39.24 eprover: CPU time limit exceeded, terminating % 41.61/41.26 eprover: CPU time limit exceeded, terminating % 43.62/43.27 eprover: CPU time limit exceeded, terminating % 45.66/45.28 eprover: CPU time limit exceeded, terminating % 47.75/47.30 eprover: CPU time limit exceeded, terminating % 49.82/49.31 eprover: CPU time limit exceeded, terminating % 51.84/51.32 eprover: CPU time limit exceeded, terminating % 53.88/53.33 eprover: CPU time limit exceeded, terminating % 55.89/55.35 eprover: CPU time limit exceeded, terminating % 57.94/57.36 eprover: CPU time limit exceeded, terminating % 59.98/59.37 eprover: CPU time limit exceeded, terminating % 61.98/61.39 eprover: CPU time limit exceeded, terminating % 66.00/63.40 eprover: CPU time limit exceeded, terminating % 67.96/65.41 eprover: CPU time limit exceeded, terminating % 70.07/67.43 eprover: CPU time limit exceeded, terminating % 72.06/69.44 eprover: CPU time limit exceeded, terminating % 74.12/71.45 eprover: CPU time limit exceeded, terminating % 76.17/73.47 eprover: CPU time limit exceeded, terminating % 78.25/75.48 eprover: CPU time limit exceeded, terminating % 80.22/77.50 eprover: CPU time limit exceeded, terminating % 82.25/79.51 eprover: CPU time limit exceeded, terminating % 84.38/81.53 eprover: CPU time limit exceeded, terminating % 86.39/83.54 eprover: CPU time limit exceeded, terminating % 88.44/85.56 eprover: CPU time limit exceeded, terminating % 90.49/87.57 eprover: CPU time limit exceeded, terminating % 92.48/89.58 eprover: CPU time limit exceeded, terminating % 94.60/91.59 eprover: CPU time limit exceeded, terminating % 96.65/93.61 eprover: CPU time limit exceeded, terminating % 98.68/95.62 eprover: CPU time limit exceeded, terminating % 100.69/97.64 eprover: CPU time limit exceeded, terminating % 102.73/99.65 eprover: CPU time limit exceeded, terminating % 104.78/101.66 eprover: CPU time limit exceeded, terminating % 106.77/103.68 eprover: CPU time limit exceeded, terminating % 108.91/105.69 eprover: CPU time limit exceeded, terminating % 110.95/107.71 eprover: CPU time limit exceeded, terminating % 112.99/109.72 eprover: CPU time limit exceeded, terminating % 115.00/111.73 eprover: CPU time limit exceeded, terminating % 117.04/113.74 eprover: CPU time limit exceeded, terminating % 119.08/115.76 eprover: CPU time limit exceeded, terminating % 119.30/116.93 Infinox, version 1.0, 2009-07-20. % 119.30/116.93 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 119.30/116.93 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 119.30/116.93 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 119.30/116.93 InjNotSurj % 119.30/116.93 +++ RESULT: FinitelyCounterUnsatisfiable % 119.30/116.93 % SZS status FiniteTheorem %------------------------------------------------------------------------------