%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW252+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:30 EDT 2022 % Result : FiniteTheorem 174.00s 167.77s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : SWW252+1 : TPTP v8.1.0. Released v5.2.0. % 0.10/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n024.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 13:40:50 EDT 2022 % 0.13/0.34 % CPUTime : % 3.83/3.95 eprover: CPU time limit exceeded, terminating % 5.92/5.96 eprover: CPU time limit exceeded, terminating % 7.97/7.97 eprover: CPU time limit exceeded, terminating % 10.12/9.98 eprover: CPU time limit exceeded, terminating % 12.25/11.99 eprover: CPU time limit exceeded, terminating % 14.35/14.00 eprover: CPU time limit exceeded, terminating % 16.45/16.01 eprover: CPU time limit exceeded, terminating % 18.55/18.02 eprover: CPU time limit exceeded, terminating % 20.64/20.03 eprover: CPU time limit exceeded, terminating % 22.71/22.04 eprover: CPU time limit exceeded, terminating % 24.79/24.05 eprover: CPU time limit exceeded, terminating % 26.91/26.06 eprover: CPU time limit exceeded, terminating % 28.97/28.07 eprover: CPU time limit exceeded, terminating % 31.09/30.08 eprover: CPU time limit exceeded, terminating % 33.14/32.09 eprover: CPU time limit exceeded, terminating % 35.28/34.10 eprover: CPU time limit exceeded, terminating % 37.43/36.11 eprover: CPU time limit exceeded, terminating % 39.50/38.12 eprover: CPU time limit exceeded, terminating % 41.61/40.13 eprover: CPU time limit exceeded, terminating % 43.67/42.14 eprover: CPU time limit exceeded, terminating % 45.79/44.15 eprover: CPU time limit exceeded, terminating % 47.88/46.16 eprover: CPU time limit exceeded, terminating % 49.98/48.17 eprover: CPU time limit exceeded, terminating % 52.07/50.18 eprover: CPU time limit exceeded, terminating % 54.18/52.19 eprover: CPU time limit exceeded, terminating % 56.25/54.20 eprover: CPU time limit exceeded, terminating % 58.44/56.21 eprover: CPU time limit exceeded, terminating % 60.51/58.22 eprover: CPU time limit exceeded, terminating % 62.59/60.23 eprover: CPU time limit exceeded, terminating % 64.73/62.24 eprover: CPU time limit exceeded, terminating % 66.80/64.25 eprover: CPU time limit exceeded, terminating % 68.90/66.26 eprover: CPU time limit exceeded, terminating % 70.96/68.27 eprover: CPU time limit exceeded, terminating % 73.11/70.28 eprover: CPU time limit exceeded, terminating % 75.13/72.29 eprover: CPU time limit exceeded, terminating % 77.26/74.30 eprover: CPU time limit exceeded, terminating % 79.42/76.31 eprover: CPU time limit exceeded, terminating % 81.52/78.32 eprover: CPU time limit exceeded, terminating % 83.59/80.33 eprover: CPU time limit exceeded, terminating % 85.70/82.34 eprover: CPU time limit exceeded, terminating % 87.77/84.35 eprover: CPU time limit exceeded, terminating % 89.90/86.36 eprover: CPU time limit exceeded, terminating % 91.98/88.37 eprover: CPU time limit exceeded, terminating % 94.11/90.38 eprover: CPU time limit exceeded, terminating % 96.25/92.39 eprover: CPU time limit exceeded, terminating % 98.30/94.40 eprover: CPU time limit exceeded, terminating % 100.43/96.41 eprover: CPU time limit exceeded, terminating % 102.53/98.42 eprover: CPU time limit exceeded, terminating % 104.60/100.43 eprover: CPU time limit exceeded, terminating % 106.71/102.45 eprover: CPU time limit exceeded, terminating % 108.86/104.46 eprover: CPU time limit exceeded, terminating % 110.92/106.47 eprover: CPU time limit exceeded, terminating % 113.04/108.48 eprover: CPU time limit exceeded, terminating % 115.11/110.49 eprover: CPU time limit exceeded, terminating % 117.26/112.50 eprover: CPU time limit exceeded, terminating % 119.31/114.51 eprover: CPU time limit exceeded, terminating % 121.39/116.52 eprover: CPU time limit exceeded, terminating % 123.50/118.53 eprover: CPU time limit exceeded, terminating % 125.62/120.54 eprover: CPU time limit exceeded, terminating % 127.75/122.55 eprover: CPU time limit exceeded, terminating % 129.86/124.56 eprover: CPU time limit exceeded, terminating % 131.93/126.57 eprover: CPU time limit exceeded, terminating % 134.04/128.58 eprover: CPU time limit exceeded, terminating % 136.13/130.59 eprover: CPU time limit exceeded, terminating % 138.24/132.60 eprover: CPU time limit exceeded, terminating % 140.32/134.61 eprover: CPU time limit exceeded, terminating % 142.46/136.62 eprover: CPU time limit exceeded, terminating % 144.51/138.63 eprover: CPU time limit exceeded, terminating % 146.63/140.64 eprover: CPU time limit exceeded, terminating % 148.67/142.65 eprover: CPU time limit exceeded, terminating % 150.83/144.66 eprover: CPU time limit exceeded, terminating % 152.94/146.67 eprover: CPU time limit exceeded, terminating % 155.04/148.68 eprover: CPU time limit exceeded, terminating % 157.11/150.69 eprover: CPU time limit exceeded, terminating % 159.28/152.70 eprover: CPU time limit exceeded, terminating % 161.37/154.71 eprover: CPU time limit exceeded, terminating % 163.46/156.72 eprover: CPU time limit exceeded, terminating % 165.54/158.73 eprover: CPU time limit exceeded, terminating % 167.62/160.74 eprover: CPU time limit exceeded, terminating % 169.77/162.75 eprover: CPU time limit exceeded, terminating % 171.84/164.76 eprover: CPU time limit exceeded, terminating % 174.00/167.77 Infinox, version 1.0, 2009-07-20. % 174.00/167.77 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 174.00/167.77 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 174.00/167.77 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 174.00/167.77 InjNotSurj % 174.00/167.77 +++ RESULT: FinitelyCounterUnsatisfiable % 174.00/167.77 % SZS status FiniteTheorem %------------------------------------------------------------------------------