TSTP Solution File: SEU003+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% 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
%------------------------------------------------------------------------------