TSTP Solution File: CSR060+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR060+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Timeout 286.40s 212.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR060+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n017.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.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Thu Jun 9 20:41:04 EDT 2022
% 0.12/0.34 % CPUTime :
% 15.29/14.60 eprover: CPU time limit exceeded, terminating
% 18.05/16.63 eprover: CPU time limit exceeded, terminating
% 20.82/18.65 eprover: CPU time limit exceeded, terminating
% 23.59/20.67 eprover: CPU time limit exceeded, terminating
% 26.44/22.69 eprover: CPU time limit exceeded, terminating
% 29.23/24.71 eprover: CPU time limit exceeded, terminating
% 31.94/26.73 eprover: CPU time limit exceeded, terminating
% 34.78/28.75 eprover: CPU time limit exceeded, terminating
% 37.51/30.77 eprover: CPU time limit exceeded, terminating
% 40.35/32.79 eprover: CPU time limit exceeded, terminating
% 43.04/34.81 eprover: CPU time limit exceeded, terminating
% 45.89/36.84 eprover: CPU time limit exceeded, terminating
% 48.66/38.86 eprover: CPU time limit exceeded, terminating
% 51.41/40.88 eprover: CPU time limit exceeded, terminating
% 54.24/42.90 eprover: CPU time limit exceeded, terminating
% 56.94/44.92 eprover: CPU time limit exceeded, terminating
% 59.80/46.94 eprover: CPU time limit exceeded, terminating
% 62.52/48.96 eprover: CPU time limit exceeded, terminating
% 65.30/50.98 eprover: CPU time limit exceeded, terminating
% 68.08/53.00 eprover: CPU time limit exceeded, terminating
% 70.88/55.02 eprover: CPU time limit exceeded, terminating
% 73.62/57.04 eprover: CPU time limit exceeded, terminating
% 76.40/59.06 eprover: CPU time limit exceeded, terminating
% 79.13/61.08 eprover: CPU time limit exceeded, terminating
% 81.95/63.10 eprover: CPU time limit exceeded, terminating
% 84.71/65.12 eprover: CPU time limit exceeded, terminating
% 87.47/67.14 eprover: CPU time limit exceeded, terminating
% 90.24/69.16 eprover: CPU time limit exceeded, terminating
% 92.95/71.19 eprover: CPU time limit exceeded, terminating
% 95.78/73.21 eprover: CPU time limit exceeded, terminating
% 98.55/75.23 eprover: CPU time limit exceeded, terminating
% 101.27/77.25 eprover: CPU time limit exceeded, terminating
% 103.98/79.27 eprover: CPU time limit exceeded, terminating
% 106.83/81.29 eprover: CPU time limit exceeded, terminating
% 109.60/83.31 eprover: CPU time limit exceeded, terminating
% 112.39/85.33 eprover: CPU time limit exceeded, terminating
% 115.16/87.35 eprover: CPU time limit exceeded, terminating
% 117.87/89.38 eprover: CPU time limit exceeded, terminating
% 120.63/91.40 eprover: CPU time limit exceeded, terminating
% 123.42/93.42 eprover: CPU time limit exceeded, terminating
% 126.20/95.44 eprover: CPU time limit exceeded, terminating
% 129.03/97.46 eprover: CPU time limit exceeded, terminating
% 131.73/99.48 eprover: CPU time limit exceeded, terminating
% 134.52/101.50 eprover: CPU time limit exceeded, terminating
% 137.30/103.52 eprover: CPU time limit exceeded, terminating
% 140.01/105.55 eprover: CPU time limit exceeded, terminating
% 142.78/107.57 eprover: CPU time limit exceeded, terminating
% 145.52/109.59 eprover: CPU time limit exceeded, terminating
% 148.28/111.61 eprover: CPU time limit exceeded, terminating
% 151.09/113.63 eprover: CPU time limit exceeded, terminating
% 153.79/115.65 eprover: CPU time limit exceeded, terminating
% 156.57/117.67 eprover: CPU time limit exceeded, terminating
% 159.35/119.69 eprover: CPU time limit exceeded, terminating
% 162.11/121.71 eprover: CPU time limit exceeded, terminating
% 164.88/123.73 eprover: CPU time limit exceeded, terminating
% 167.62/125.75 eprover: CPU time limit exceeded, terminating
% 170.37/127.77 eprover: CPU time limit exceeded, terminating
% 173.19/129.80 eprover: CPU time limit exceeded, terminating
% 175.96/131.82 eprover: CPU time limit exceeded, terminating
% 178.69/133.84 eprover: CPU time limit exceeded, terminating
% 181.47/135.86 eprover: CPU time limit exceeded, terminating
% 184.23/137.88 eprover: CPU time limit exceeded, terminating
% 186.99/139.90 eprover: CPU time limit exceeded, terminating
% 189.78/141.92 eprover: CPU time limit exceeded, terminating
% 192.56/143.94 eprover: CPU time limit exceeded, terminating
% 195.28/145.97 eprover: CPU time limit exceeded, terminating
% 198.02/147.99 eprover: CPU time limit exceeded, terminating
% 200.80/150.01 eprover: CPU time limit exceeded, terminating
% 203.56/152.03 eprover: CPU time limit exceeded, terminating
% 206.28/154.05 eprover: CPU time limit exceeded, terminating
% 209.11/156.07 eprover: CPU time limit exceeded, terminating
% 211.94/158.09 eprover: CPU time limit exceeded, terminating
% 214.69/160.11 eprover: CPU time limit exceeded, terminating
% 217.45/162.13 eprover: CPU time limit exceeded, terminating
% 220.16/164.15 eprover: CPU time limit exceeded, terminating
% 222.98/166.17 eprover: CPU time limit exceeded, terminating
% 225.71/168.19 eprover: CPU time limit exceeded, terminating
% 228.45/170.21 eprover: CPU time limit exceeded, terminating
% 231.21/172.24 eprover: CPU time limit exceeded, terminating
% 233.94/174.26 eprover: CPU time limit exceeded, terminating
% 236.68/176.28 eprover: CPU time limit exceeded, terminating
% 239.42/178.30 eprover: CPU time limit exceeded, terminating
% 242.28/180.32 eprover: CPU time limit exceeded, terminating
% 244.98/182.34 eprover: CPU time limit exceeded, terminating
% 247.75/184.36 eprover: CPU time limit exceeded, terminating
% 250.44/186.38 eprover: CPU time limit exceeded, terminating
% 253.22/188.40 eprover: CPU time limit exceeded, terminating
% 256.02/190.42 eprover: CPU time limit exceeded, terminating
% 258.78/192.44 eprover: CPU time limit exceeded, terminating
% 261.51/194.46 eprover: CPU time limit exceeded, terminating
% 264.33/196.48 eprover: CPU time limit exceeded, terminating
% 267.07/198.50 eprover: CPU time limit exceeded, terminating
% 269.87/200.53 eprover: CPU time limit exceeded, terminating
% 272.60/202.55 eprover: CPU time limit exceeded, terminating
% 275.34/204.57 eprover: CPU time limit exceeded, terminating
% 278.17/206.59 eprover: CPU time limit exceeded, terminating
% 280.95/208.61 eprover: CPU time limit exceeded, terminating
% 283.70/210.63 eprover: CPU time limit exceeded, terminating
% 286.40/212.65 eprover: CPU time limit exceeded, terminating
% 289.18/214.67 eprover: CPU time limit exceeded, terminating
% 291.95/216.69 eprover: CPU time limit exceeded, terminating
% 294.79/218.71 eprover: CPU time limit exceeded, terminating
% 297.55/220.73 eprover: CPU time limit exceeded, terminating
% 300.07/222.50 eprover: CPU time limit exceeded, terminating
% 300.07/222.51 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------