TSTP Solution File: CSR066+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR066+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:46 EDT 2022
% Result : Timeout 286.03s 211.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR066+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n021.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 11 04:50:25 EDT 2022
% 0.12/0.34 % CPUTime :
% 14.76/14.02 eprover: CPU time limit exceeded, terminating
% 17.38/16.04 eprover: CPU time limit exceeded, terminating
% 20.21/18.06 eprover: CPU time limit exceeded, terminating
% 23.02/20.08 eprover: CPU time limit exceeded, terminating
% 27.77/22.10 eprover: CPU time limit exceeded, terminating
% 30.49/24.12 eprover: CPU time limit exceeded, terminating
% 33.21/26.14 eprover: CPU time limit exceeded, terminating
% 35.98/28.16 eprover: CPU time limit exceeded, terminating
% 38.74/30.18 eprover: CPU time limit exceeded, terminating
% 41.56/32.20 eprover: CPU time limit exceeded, terminating
% 44.26/34.22 eprover: CPU time limit exceeded, terminating
% 47.05/36.24 eprover: CPU time limit exceeded, terminating
% 49.75/38.26 eprover: CPU time limit exceeded, terminating
% 52.55/40.28 eprover: CPU time limit exceeded, terminating
% 55.30/42.30 eprover: CPU time limit exceeded, terminating
% 58.10/44.32 eprover: CPU time limit exceeded, terminating
% 60.81/46.34 eprover: CPU time limit exceeded, terminating
% 63.52/48.36 eprover: CPU time limit exceeded, terminating
% 66.33/50.38 eprover: CPU time limit exceeded, terminating
% 69.01/52.40 eprover: CPU time limit exceeded, terminating
% 71.80/54.42 eprover: CPU time limit exceeded, terminating
% 74.59/56.44 eprover: CPU time limit exceeded, terminating
% 77.35/58.45 eprover: CPU time limit exceeded, terminating
% 80.13/60.47 eprover: CPU time limit exceeded, terminating
% 82.87/62.50 eprover: CPU time limit exceeded, terminating
% 85.63/64.52 eprover: CPU time limit exceeded, terminating
% 88.39/66.54 eprover: CPU time limit exceeded, terminating
% 91.15/68.56 eprover: CPU time limit exceeded, terminating
% 93.92/70.58 eprover: CPU time limit exceeded, terminating
% 96.62/72.60 eprover: CPU time limit exceeded, terminating
% 99.40/74.62 eprover: CPU time limit exceeded, terminating
% 102.15/76.64 eprover: CPU time limit exceeded, terminating
% 104.81/78.65 eprover: CPU time limit exceeded, terminating
% 107.59/80.67 eprover: CPU time limit exceeded, terminating
% 110.31/82.69 eprover: CPU time limit exceeded, terminating
% 113.10/84.71 eprover: CPU time limit exceeded, terminating
% 115.87/86.73 eprover: CPU time limit exceeded, terminating
% 118.64/88.75 eprover: CPU time limit exceeded, terminating
% 121.35/90.77 eprover: CPU time limit exceeded, terminating
% 124.15/92.79 eprover: CPU time limit exceeded, terminating
% 126.89/94.81 eprover: CPU time limit exceeded, terminating
% 129.62/96.84 eprover: CPU time limit exceeded, terminating
% 132.38/98.86 eprover: CPU time limit exceeded, terminating
% 135.14/100.88 eprover: CPU time limit exceeded, terminating
% 137.93/102.90 eprover: CPU time limit exceeded, terminating
% 140.69/104.92 eprover: CPU time limit exceeded, terminating
% 143.44/106.94 eprover: CPU time limit exceeded, terminating
% 146.13/108.96 eprover: CPU time limit exceeded, terminating
% 148.85/110.98 eprover: CPU time limit exceeded, terminating
% 151.56/113.00 eprover: CPU time limit exceeded, terminating
% 154.40/115.02 eprover: CPU time limit exceeded, terminating
% 157.12/117.04 eprover: CPU time limit exceeded, terminating
% 159.80/119.06 eprover: CPU time limit exceeded, terminating
% 162.52/121.08 eprover: CPU time limit exceeded, terminating
% 165.32/123.10 eprover: CPU time limit exceeded, terminating
% 168.04/125.12 eprover: CPU time limit exceeded, terminating
% 170.79/127.14 eprover: CPU time limit exceeded, terminating
% 173.50/129.16 eprover: CPU time limit exceeded, terminating
% 176.20/131.18 eprover: CPU time limit exceeded, terminating
% 178.99/133.20 eprover: CPU time limit exceeded, terminating
% 181.72/135.22 eprover: CPU time limit exceeded, terminating
% 184.44/137.24 eprover: CPU time limit exceeded, terminating
% 187.16/139.26 eprover: CPU time limit exceeded, terminating
% 189.88/141.28 eprover: CPU time limit exceeded, terminating
% 192.68/143.30 eprover: CPU time limit exceeded, terminating
% 195.38/145.32 eprover: CPU time limit exceeded, terminating
% 198.10/147.34 eprover: CPU time limit exceeded, terminating
% 200.83/149.36 eprover: CPU time limit exceeded, terminating
% 203.52/151.38 eprover: CPU time limit exceeded, terminating
% 206.33/153.40 eprover: CPU time limit exceeded, terminating
% 209.07/155.42 eprover: CPU time limit exceeded, terminating
% 211.76/157.44 eprover: CPU time limit exceeded, terminating
% 214.53/159.46 eprover: CPU time limit exceeded, terminating
% 217.30/161.49 eprover: CPU time limit exceeded, terminating
% 220.10/163.51 eprover: CPU time limit exceeded, terminating
% 222.82/165.53 eprover: CPU time limit exceeded, terminating
% 225.53/167.55 eprover: CPU time limit exceeded, terminating
% 228.24/169.57 eprover: CPU time limit exceeded, terminating
% 230.98/171.59 eprover: CPU time limit exceeded, terminating
% 233.77/173.61 eprover: CPU time limit exceeded, terminating
% 236.50/175.63 eprover: CPU time limit exceeded, terminating
% 239.22/177.65 eprover: CPU time limit exceeded, terminating
% 241.98/179.67 eprover: CPU time limit exceeded, terminating
% 244.79/181.69 eprover: CPU time limit exceeded, terminating
% 247.48/183.71 eprover: CPU time limit exceeded, terminating
% 250.28/185.73 eprover: CPU time limit exceeded, terminating
% 252.99/187.75 eprover: CPU time limit exceeded, terminating
% 255.72/189.77 eprover: CPU time limit exceeded, terminating
% 258.47/191.79 eprover: CPU time limit exceeded, terminating
% 261.27/193.81 eprover: CPU time limit exceeded, terminating
% 263.98/195.83 eprover: CPU time limit exceeded, terminating
% 266.72/197.85 eprover: CPU time limit exceeded, terminating
% 269.47/199.87 eprover: CPU time limit exceeded, terminating
% 272.27/201.89 eprover: CPU time limit exceeded, terminating
% 275.02/203.91 eprover: CPU time limit exceeded, terminating
% 277.78/205.93 eprover: CPU time limit exceeded, terminating
% 280.49/207.95 eprover: CPU time limit exceeded, terminating
% 283.21/209.97 eprover: CPU time limit exceeded, terminating
% 286.03/211.99 eprover: CPU time limit exceeded, terminating
% 288.69/214.01 eprover: CPU time limit exceeded, terminating
% 291.44/216.04 eprover: CPU time limit exceeded, terminating
% 294.14/218.06 eprover: CPU time limit exceeded, terminating
% 296.88/220.08 eprover: CPU time limit exceeded, terminating
% 299.68/222.10 eprover: CPU time limit exceeded, terminating
% 300.01/222.41 eprover: CPU time limit exceeded, terminating
% 300.01/222.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------