%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SEU003+1 : TPTP v8.1.0. Released v3.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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 : Tue Jul 19 10:11:14 EDT 2022 % Result : FiniteTheorem 209.33s 210.16s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : SEU003+1 : TPTP v8.1.0. Released v3.2.0. % 0.04/0.15 % Command : run_infinox %s % 0.14/0.36 % Computer : n020.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Sat Jun 18 21:23:48 EDT 2022 % 0.14/0.36 % CPUTime : % 2.22/2.41 eprover: CPU time limit exceeded, terminating % 4.21/4.43 eprover: CPU time limit exceeded, terminating % 6.25/6.45 eprover: CPU time limit exceeded, terminating % 8.26/8.47 eprover: CPU time limit exceeded, terminating % 10.30/10.49 eprover: CPU time limit exceeded, terminating % 12.30/12.50 eprover: CPU time limit exceeded, terminating % 14.31/14.52 eprover: CPU time limit exceeded, terminating % 16.30/16.54 eprover: CPU time limit exceeded, terminating % 18.36/18.55 eprover: CPU time limit exceeded, terminating % 20.40/20.57 eprover: CPU time limit exceeded, terminating % 22.43/22.59 eprover: CPU time limit exceeded, terminating % 24.42/24.61 eprover: CPU time limit exceeded, terminating % 26.47/26.63 eprover: CPU time limit exceeded, terminating % 28.50/28.65 eprover: CPU time limit exceeded, terminating % 30.52/30.66 eprover: CPU time limit exceeded, terminating % 32.53/32.68 eprover: CPU time limit exceeded, terminating % 34.53/34.70 eprover: CPU time limit exceeded, terminating % 36.53/36.72 eprover: CPU time limit exceeded, terminating % 38.61/38.74 eprover: CPU time limit exceeded, terminating % 40.54/40.75 eprover: CPU time limit exceeded, terminating % 42.64/42.77 eprover: CPU time limit exceeded, terminating % 44.67/44.79 eprover: CPU time limit exceeded, terminating % 46.66/46.81 eprover: CPU time limit exceeded, terminating % 48.67/48.82 eprover: CPU time limit exceeded, terminating % 50.71/50.84 eprover: CPU time limit exceeded, terminating % 52.70/52.86 eprover: CPU time limit exceeded, terminating % 54.78/54.88 eprover: CPU time limit exceeded, terminating % 56.78/56.89 eprover: CPU time limit exceeded, terminating % 58.77/58.91 eprover: CPU time limit exceeded, terminating % 60.77/60.93 eprover: CPU time limit exceeded, terminating % 62.85/62.94 eprover: CPU time limit exceeded, terminating % 64.87/64.96 eprover: CPU time limit exceeded, terminating % 66.90/66.98 eprover: CPU time limit exceeded, terminating % 68.90/68.99 eprover: CPU time limit exceeded, terminating % 70.93/71.01 eprover: CPU time limit exceeded, terminating % 72.98/73.03 eprover: CPU time limit exceeded, terminating % 74.97/75.05 eprover: CPU time limit exceeded, terminating % 77.00/77.06 eprover: CPU time limit exceeded, terminating % 79.03/79.08 eprover: CPU time limit exceeded, terminating % 80.99/81.10 eprover: CPU time limit exceeded, terminating % 83.05/83.12 eprover: CPU time limit exceeded, terminating % 85.10/85.14 eprover: CPU time limit exceeded, terminating % 87.09/87.16 eprover: CPU time limit exceeded, terminating % 89.11/89.17 eprover: CPU time limit exceeded, terminating % 91.13/91.19 eprover: CPU time limit exceeded, terminating % 93.14/93.21 eprover: CPU time limit exceeded, terminating % 95.18/95.23 eprover: CPU time limit exceeded, terminating % 97.23/97.25 eprover: CPU time limit exceeded, terminating % 99.24/99.27 eprover: CPU time limit exceeded, terminating % 101.26/101.28 eprover: CPU time limit exceeded, terminating % 103.29/103.30 eprover: CPU time limit exceeded, terminating % 105.31/105.32 eprover: CPU time limit exceeded, terminating % 107.34/107.34 eprover: CPU time limit exceeded, terminating % 109.37/109.36 eprover: CPU time limit exceeded, terminating % 111.36/111.38 eprover: CPU time limit exceeded, terminating % 113.38/113.40 eprover: CPU time limit exceeded, terminating % 115.43/115.42 eprover: CPU time limit exceeded, terminating % 117.46/117.44 eprover: CPU time limit exceeded, terminating % 119.45/119.45 eprover: CPU time limit exceeded, terminating % 121.50/121.47 eprover: CPU time limit exceeded, terminating % 123.53/123.49 eprover: CPU time limit exceeded, terminating % 125.50/125.51 eprover: CPU time limit exceeded, terminating % 127.58/127.53 eprover: CPU time limit exceeded, terminating % 129.59/129.55 eprover: CPU time limit exceeded, terminating % 131.59/131.57 eprover: CPU time limit exceeded, terminating % 133.60/133.59 eprover: CPU time limit exceeded, terminating % 135.67/135.61 eprover: CPU time limit exceeded, terminating % 137.68/137.63 eprover: CPU time limit exceeded, terminating % 139.69/139.65 eprover: CPU time limit exceeded, terminating % 141.71/141.67 eprover: CPU time limit exceeded, terminating % 143.74/143.69 eprover: CPU time limit exceeded, terminating % 145.74/145.70 eprover: CPU time limit exceeded, terminating % 147.77/147.72 eprover: CPU time limit exceeded, terminating % 149.77/149.74 eprover: CPU time limit exceeded, terminating % 151.85/151.76 eprover: CPU time limit exceeded, terminating % 153.87/153.78 eprover: CPU time limit exceeded, terminating % 155.85/155.80 eprover: CPU time limit exceeded, terminating % 157.87/157.82 eprover: CPU time limit exceeded, terminating % 159.93/159.84 eprover: CPU time limit exceeded, terminating % 161.96/161.86 eprover: CPU time limit exceeded, terminating % 163.93/163.87 eprover: CPU time limit exceeded, terminating % 165.97/165.89 eprover: CPU time limit exceeded, terminating % 167.95/167.91 eprover: CPU time limit exceeded, terminating % 170.05/169.92 eprover: CPU time limit exceeded, terminating % 172.05/171.94 eprover: CPU time limit exceeded, terminating % 174.01/173.95 eprover: CPU time limit exceeded, terminating % 176.09/175.97 eprover: CPU time limit exceeded, terminating % 178.14/177.99 eprover: CPU time limit exceeded, terminating % 180.14/180.00 eprover: CPU time limit exceeded, terminating % 182.17/182.02 eprover: CPU time limit exceeded, terminating % 184.18/184.04 eprover: CPU time limit exceeded, terminating % 186.19/186.06 eprover: CPU time limit exceeded, terminating % 188.15/188.07 eprover: CPU time limit exceeded, terminating % 190.21/190.09 eprover: CPU time limit exceeded, terminating % 192.18/192.10 eprover: CPU time limit exceeded, terminating % 194.21/194.12 eprover: CPU time limit exceeded, terminating % 196.28/196.15 eprover: CPU time limit exceeded, terminating % 198.27/198.16 eprover: CPU time limit exceeded, terminating % 200.28/200.18 eprover: CPU time limit exceeded, terminating % 202.28/202.20 eprover: CPU time limit exceeded, terminating % 204.33/204.21 eprover: CPU time limit exceeded, terminating % 206.37/206.23 eprover: CPU time limit exceeded, terminating % 208.39/208.25 eprover: CPU time limit exceeded, terminating % 209.33/210.16 Infinox, version 1.0, 2009-07-20. % 209.33/210.16 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 209.33/210.16 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 209.33/210.16 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 209.33/210.16 InjNotSurj % 209.33/210.16 SurjNotInj % 209.33/210.16 Serial % 209.33/210.16 Trans % 209.33/210.16 +++ RESULT: FinitelyCounterUnsatisfiable % 209.33/210.16 % SZS status FiniteTheorem %------------------------------------------------------------------------------