TSTP Solution File: CSR065+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR065+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:45 EDT 2022
% Result : Timeout 287.33s 215.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.10 % Problem : CSR065+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.11 % Command : run_infinox %s
% 0.10/0.30 % Computer : n032.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Sat Jun 11 11:09:24 EDT 2022
% 0.10/0.30 % CPUTime :
% 15.38/14.75 eprover: CPU time limit exceeded, terminating
% 18.05/16.77 eprover: CPU time limit exceeded, terminating
% 20.82/18.79 eprover: CPU time limit exceeded, terminating
% 23.63/20.81 eprover: CPU time limit exceeded, terminating
% 26.34/22.84 eprover: CPU time limit exceeded, terminating
% 29.05/24.86 eprover: CPU time limit exceeded, terminating
% 31.76/26.88 eprover: CPU time limit exceeded, terminating
% 34.56/28.90 eprover: CPU time limit exceeded, terminating
% 37.32/30.92 eprover: CPU time limit exceeded, terminating
% 40.02/32.94 eprover: CPU time limit exceeded, terminating
% 42.77/34.96 eprover: CPU time limit exceeded, terminating
% 45.54/36.98 eprover: CPU time limit exceeded, terminating
% 48.30/39.00 eprover: CPU time limit exceeded, terminating
% 51.06/41.02 eprover: CPU time limit exceeded, terminating
% 53.74/43.04 eprover: CPU time limit exceeded, terminating
% 56.52/45.06 eprover: CPU time limit exceeded, terminating
% 59.27/47.08 eprover: CPU time limit exceeded, terminating
% 62.00/49.10 eprover: CPU time limit exceeded, terminating
% 64.71/51.12 eprover: CPU time limit exceeded, terminating
% 67.40/53.15 eprover: CPU time limit exceeded, terminating
% 70.13/55.17 eprover: CPU time limit exceeded, terminating
% 72.92/57.19 eprover: CPU time limit exceeded, terminating
% 75.56/59.21 eprover: CPU time limit exceeded, terminating
% 78.28/61.23 eprover: CPU time limit exceeded, terminating
% 81.03/63.25 eprover: CPU time limit exceeded, terminating
% 83.80/65.27 eprover: CPU time limit exceeded, terminating
% 86.45/67.29 eprover: CPU time limit exceeded, terminating
% 89.18/69.31 eprover: CPU time limit exceeded, terminating
% 91.85/71.33 eprover: CPU time limit exceeded, terminating
% 94.55/73.35 eprover: CPU time limit exceeded, terminating
% 97.21/75.37 eprover: CPU time limit exceeded, terminating
% 100.00/77.39 eprover: CPU time limit exceeded, terminating
% 102.70/79.40 eprover: CPU time limit exceeded, terminating
% 105.38/81.43 eprover: CPU time limit exceeded, terminating
% 108.16/83.45 eprover: CPU time limit exceeded, terminating
% 110.78/85.47 eprover: CPU time limit exceeded, terminating
% 113.56/87.49 eprover: CPU time limit exceeded, terminating
% 116.33/89.52 eprover: CPU time limit exceeded, terminating
% 119.04/91.54 eprover: CPU time limit exceeded, terminating
% 121.73/93.56 eprover: CPU time limit exceeded, terminating
% 124.49/95.58 eprover: CPU time limit exceeded, terminating
% 127.21/97.60 eprover: CPU time limit exceeded, terminating
% 129.91/99.63 eprover: CPU time limit exceeded, terminating
% 132.67/101.65 eprover: CPU time limit exceeded, terminating
% 135.41/103.67 eprover: CPU time limit exceeded, terminating
% 138.14/105.69 eprover: CPU time limit exceeded, terminating
% 140.81/107.72 eprover: CPU time limit exceeded, terminating
% 145.51/109.74 eprover: CPU time limit exceeded, terminating
% 148.25/111.86 eprover: CPU time limit exceeded, terminating
% 150.95/113.89 eprover: CPU time limit exceeded, terminating
% 153.71/115.91 eprover: CPU time limit exceeded, terminating
% 156.47/117.93 eprover: CPU time limit exceeded, terminating
% 159.21/119.95 eprover: CPU time limit exceeded, terminating
% 161.93/121.98 eprover: CPU time limit exceeded, terminating
% 164.64/124.00 eprover: CPU time limit exceeded, terminating
% 167.40/126.02 eprover: CPU time limit exceeded, terminating
% 170.12/128.05 eprover: CPU time limit exceeded, terminating
% 172.87/130.07 eprover: CPU time limit exceeded, terminating
% 175.61/132.09 eprover: CPU time limit exceeded, terminating
% 178.37/134.11 eprover: CPU time limit exceeded, terminating
% 181.12/136.14 eprover: CPU time limit exceeded, terminating
% 183.80/138.16 eprover: CPU time limit exceeded, terminating
% 186.60/140.18 eprover: CPU time limit exceeded, terminating
% 189.29/142.21 eprover: CPU time limit exceeded, terminating
% 192.08/144.23 eprover: CPU time limit exceeded, terminating
% 194.77/146.25 eprover: CPU time limit exceeded, terminating
% 197.47/148.27 eprover: CPU time limit exceeded, terminating
% 200.21/150.30 eprover: CPU time limit exceeded, terminating
% 202.98/152.32 eprover: CPU time limit exceeded, terminating
% 205.64/154.34 eprover: CPU time limit exceeded, terminating
% 208.40/156.37 eprover: CPU time limit exceeded, terminating
% 211.14/158.39 eprover: CPU time limit exceeded, terminating
% 213.73/160.41 eprover: CPU time limit exceeded, terminating
% 216.49/162.43 eprover: CPU time limit exceeded, terminating
% 219.23/164.46 eprover: CPU time limit exceeded, terminating
% 221.95/166.48 eprover: CPU time limit exceeded, terminating
% 224.69/168.50 eprover: CPU time limit exceeded, terminating
% 227.43/170.52 eprover: CPU time limit exceeded, terminating
% 230.13/172.55 eprover: CPU time limit exceeded, terminating
% 232.84/174.57 eprover: CPU time limit exceeded, terminating
% 235.61/176.59 eprover: CPU time limit exceeded, terminating
% 238.29/178.61 eprover: CPU time limit exceeded, terminating
% 241.05/180.64 eprover: CPU time limit exceeded, terminating
% 243.72/182.66 eprover: CPU time limit exceeded, terminating
% 246.49/184.68 eprover: CPU time limit exceeded, terminating
% 249.23/186.71 eprover: CPU time limit exceeded, terminating
% 251.90/188.73 eprover: CPU time limit exceeded, terminating
% 254.64/190.75 eprover: CPU time limit exceeded, terminating
% 257.34/192.77 eprover: CPU time limit exceeded, terminating
% 260.10/194.79 eprover: CPU time limit exceeded, terminating
% 262.83/196.82 eprover: CPU time limit exceeded, terminating
% 265.49/198.84 eprover: CPU time limit exceeded, terminating
% 268.21/200.86 eprover: CPU time limit exceeded, terminating
% 270.97/202.88 eprover: CPU time limit exceeded, terminating
% 273.69/204.91 eprover: CPU time limit exceeded, terminating
% 276.36/206.93 eprover: CPU time limit exceeded, terminating
% 279.13/208.95 eprover: CPU time limit exceeded, terminating
% 281.86/210.98 eprover: CPU time limit exceeded, terminating
% 284.60/213.00 eprover: CPU time limit exceeded, terminating
% 287.33/215.02 eprover: CPU time limit exceeded, terminating
% 290.06/217.05 eprover: CPU time limit exceeded, terminating
% 292.75/219.07 eprover: CPU time limit exceeded, terminating
% 295.53/221.09 eprover: CPU time limit exceeded, terminating
% 298.21/223.11 eprover: CPU time limit exceeded, terminating
% 300.06/224.32 eprover: CPU time limit exceeded, terminating
% 300.06/224.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------