TSTP Solution File: CSR060+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR060+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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 : Fri Jul 15 03:34:41 EDT 2022
% Result : FiniteTheorem 263.16s 262.24s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : CSR060+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 07:37:50 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.56/2.78 eprover: CPU time limit exceeded, terminating
% 4.62/4.79 eprover: CPU time limit exceeded, terminating
% 6.61/6.80 eprover: CPU time limit exceeded, terminating
% 8.67/8.81 eprover: CPU time limit exceeded, terminating
% 10.70/10.82 eprover: CPU time limit exceeded, terminating
% 12.76/12.82 eprover: CPU time limit exceeded, terminating
% 14.72/14.83 eprover: CPU time limit exceeded, terminating
% 16.79/16.84 eprover: CPU time limit exceeded, terminating
% 18.82/18.85 eprover: CPU time limit exceeded, terminating
% 20.83/20.86 eprover: CPU time limit exceeded, terminating
% 22.87/22.87 eprover: CPU time limit exceeded, terminating
% 24.84/24.88 eprover: CPU time limit exceeded, terminating
% 26.96/26.89 eprover: CPU time limit exceeded, terminating
% 28.98/28.90 eprover: CPU time limit exceeded, terminating
% 31.00/30.91 eprover: CPU time limit exceeded, terminating
% 32.98/32.92 eprover: CPU time limit exceeded, terminating
% 35.05/34.93 eprover: CPU time limit exceeded, terminating
% 37.11/36.94 eprover: CPU time limit exceeded, terminating
% 39.10/38.95 eprover: CPU time limit exceeded, terminating
% 41.13/40.96 eprover: CPU time limit exceeded, terminating
% 43.13/42.97 eprover: CPU time limit exceeded, terminating
% 45.19/44.98 eprover: CPU time limit exceeded, terminating
% 47.20/46.99 eprover: CPU time limit exceeded, terminating
% 49.28/49.00 eprover: CPU time limit exceeded, terminating
% 51.30/51.01 eprover: CPU time limit exceeded, terminating
% 53.33/53.02 eprover: CPU time limit exceeded, terminating
% 55.38/55.03 eprover: CPU time limit exceeded, terminating
% 57.39/57.04 eprover: CPU time limit exceeded, terminating
% 59.41/59.05 eprover: CPU time limit exceeded, terminating
% 61.41/61.06 eprover: CPU time limit exceeded, terminating
% 63.41/63.07 eprover: CPU time limit exceeded, terminating
% 65.46/65.08 eprover: CPU time limit exceeded, terminating
% 67.57/67.09 eprover: CPU time limit exceeded, terminating
% 69.52/69.10 eprover: CPU time limit exceeded, terminating
% 71.61/71.11 eprover: CPU time limit exceeded, terminating
% 73.64/73.12 eprover: CPU time limit exceeded, terminating
% 75.69/75.13 eprover: CPU time limit exceeded, terminating
% 77.66/77.14 eprover: CPU time limit exceeded, terminating
% 79.68/79.15 eprover: CPU time limit exceeded, terminating
% 81.70/81.16 eprover: CPU time limit exceeded, terminating
% 83.71/83.17 eprover: CPU time limit exceeded, terminating
% 85.73/85.18 eprover: CPU time limit exceeded, terminating
% 87.85/87.19 eprover: CPU time limit exceeded, terminating
% 89.79/89.20 eprover: CPU time limit exceeded, terminating
% 91.89/91.21 eprover: CPU time limit exceeded, terminating
% 93.89/93.22 eprover: CPU time limit exceeded, terminating
% 95.93/95.22 eprover: CPU time limit exceeded, terminating
% 97.95/97.23 eprover: CPU time limit exceeded, terminating
% 99.95/99.24 eprover: CPU time limit exceeded, terminating
% 101.96/101.25 eprover: CPU time limit exceeded, terminating
% 104.00/103.26 eprover: CPU time limit exceeded, terminating
% 105.99/105.27 eprover: CPU time limit exceeded, terminating
% 108.03/107.28 eprover: CPU time limit exceeded, terminating
% 110.05/109.29 eprover: CPU time limit exceeded, terminating
% 112.14/111.29 eprover: CPU time limit exceeded, terminating
% 114.08/113.30 eprover: CPU time limit exceeded, terminating
% 116.21/115.31 eprover: CPU time limit exceeded, terminating
% 118.23/117.32 eprover: CPU time limit exceeded, terminating
% 120.24/119.33 eprover: CPU time limit exceeded, terminating
% 122.24/121.34 eprover: CPU time limit exceeded, terminating
% 124.25/123.35 eprover: CPU time limit exceeded, terminating
% 126.28/125.36 eprover: CPU time limit exceeded, terminating
% 128.28/127.37 eprover: CPU time limit exceeded, terminating
% 130.32/129.38 eprover: CPU time limit exceeded, terminating
% 132.40/131.39 eprover: CPU time limit exceeded, terminating
% 134.41/133.39 eprover: CPU time limit exceeded, terminating
% 136.35/135.40 eprover: CPU time limit exceeded, terminating
% 138.47/137.41 eprover: CPU time limit exceeded, terminating
% 140.47/139.42 eprover: CPU time limit exceeded, terminating
% 142.46/141.43 eprover: CPU time limit exceeded, terminating
% 144.49/143.44 eprover: CPU time limit exceeded, terminating
% 146.55/145.45 eprover: CPU time limit exceeded, terminating
% 148.54/147.45 eprover: CPU time limit exceeded, terminating
% 150.57/149.46 eprover: CPU time limit exceeded, terminating
% 152.57/151.47 eprover: CPU time limit exceeded, terminating
% 154.64/153.48 eprover: CPU time limit exceeded, terminating
% 156.58/155.49 eprover: CPU time limit exceeded, terminating
% 158.69/157.49 eprover: CPU time limit exceeded, terminating
% 160.71/159.50 eprover: CPU time limit exceeded, terminating
% 162.72/161.51 eprover: CPU time limit exceeded, terminating
% 164.75/163.52 eprover: CPU time limit exceeded, terminating
% 166.75/165.53 eprover: CPU time limit exceeded, terminating
% 168.79/167.53 eprover: CPU time limit exceeded, terminating
% 170.80/169.54 eprover: CPU time limit exceeded, terminating
% 172.79/171.55 eprover: CPU time limit exceeded, terminating
% 174.80/173.56 eprover: CPU time limit exceeded, terminating
% 176.82/175.57 eprover: CPU time limit exceeded, terminating
% 178.85/177.58 eprover: CPU time limit exceeded, terminating
% 180.94/179.58 eprover: CPU time limit exceeded, terminating
% 182.89/181.59 eprover: CPU time limit exceeded, terminating
% 184.90/183.60 eprover: CPU time limit exceeded, terminating
% 187.00/185.61 eprover: CPU time limit exceeded, terminating
% 189.01/187.62 eprover: CPU time limit exceeded, terminating
% 191.02/189.63 eprover: CPU time limit exceeded, terminating
% 193.05/191.63 eprover: CPU time limit exceeded, terminating
% 195.04/193.64 eprover: CPU time limit exceeded, terminating
% 197.07/195.65 eprover: CPU time limit exceeded, terminating
% 199.10/197.66 eprover: CPU time limit exceeded, terminating
% 201.09/199.67 eprover: CPU time limit exceeded, terminating
% 203.10/201.68 eprover: CPU time limit exceeded, terminating
% 205.13/203.68 eprover: CPU time limit exceeded, terminating
% 207.23/205.69 eprover: CPU time limit exceeded, terminating
% 209.23/207.70 eprover: CPU time limit exceeded, terminating
% 211.27/209.71 eprover: CPU time limit exceeded, terminating
% 213.27/211.72 eprover: CPU time limit exceeded, terminating
% 215.30/213.72 eprover: CPU time limit exceeded, terminating
% 217.31/215.73 eprover: CPU time limit exceeded, terminating
% 219.31/217.74 eprover: CPU time limit exceeded, terminating
% 221.32/219.75 eprover: CPU time limit exceeded, terminating
% 223.35/221.76 eprover: CPU time limit exceeded, terminating
% 225.37/223.76 eprover: CPU time limit exceeded, terminating
% 227.36/225.77 eprover: CPU time limit exceeded, terminating
% 229.39/227.78 eprover: CPU time limit exceeded, terminating
% 231.40/229.79 eprover: CPU time limit exceeded, terminating
% 233.49/231.79 eprover: CPU time limit exceeded, terminating
% 235.52/233.80 eprover: CPU time limit exceeded, terminating
% 237.56/235.81 eprover: CPU time limit exceeded, terminating
% 239.58/237.82 eprover: CPU time limit exceeded, terminating
% 241.56/239.83 eprover: CPU time limit exceeded, terminating
% 243.57/241.84 eprover: CPU time limit exceeded, terminating
% 245.59/243.84 eprover: CPU time limit exceeded, terminating
% 247.59/245.85 eprover: CPU time limit exceeded, terminating
% 249.62/247.86 eprover: CPU time limit exceeded, terminating
% 251.65/249.87 eprover: CPU time limit exceeded, terminating
% 253.67/251.88 eprover: CPU time limit exceeded, terminating
% 255.74/253.89 eprover: CPU time limit exceeded, terminating
% 257.77/255.90 eprover: CPU time limit exceeded, terminating
% 259.78/257.91 eprover: CPU time limit exceeded, terminating
% 261.82/259.91 eprover: CPU time limit exceeded, terminating
% 263.16/262.24 Infinox, version 1.0, 2009-07-20.
% 263.16/262.24 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 263.16/262.24 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 263.16/262.24 Reading 'Axioms/CSR002+1.ax' ... ('/export/starexec/sandbox2/benchmark/Axioms/CSR002+1.ax') OK
% 263.16/262.24 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 263.16/262.24 InjNotSurj
% 263.16/262.24 SurjNotInj
% 263.16/262.24 Serial
% 263.16/262.24 +++ RESULT: FinitelyCounterUnsatisfiable
% 263.16/262.24 % SZS status FiniteTheorem
%------------------------------------------------------------------------------