TSTP Solution File: CSR254+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR254+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:36:10 EDT 2022
% Result : Timeout 286.62s 261.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR254+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.15/0.35 % Computer : n018.cluster.edu
% 0.15/0.35 % Model : x86_64 x86_64
% 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.35 % Memory : 8042.1875MB
% 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.35 % CPULimit : 300
% 0.15/0.35 % WCLimit : 600
% 0.15/0.35 % DateTime : Fri Jun 10 23:45:09 EDT 2022
% 0.15/0.35 % CPUTime :
% 5.94/5.90 eprover: CPU time limit exceeded, terminating
% 8.12/7.92 eprover: CPU time limit exceeded, terminating
% 10.31/9.93 eprover: CPU time limit exceeded, terminating
% 12.53/11.95 eprover: CPU time limit exceeded, terminating
% 14.72/13.96 eprover: CPU time limit exceeded, terminating
% 16.93/15.97 eprover: CPU time limit exceeded, terminating
% 19.15/17.99 eprover: CPU time limit exceeded, terminating
% 21.41/20.00 eprover: CPU time limit exceeded, terminating
% 23.62/22.01 eprover: CPU time limit exceeded, terminating
% 25.80/24.02 eprover: CPU time limit exceeded, terminating
% 28.03/26.03 eprover: CPU time limit exceeded, terminating
% 30.24/28.04 eprover: CPU time limit exceeded, terminating
% 32.43/30.05 eprover: CPU time limit exceeded, terminating
% 34.60/32.06 eprover: CPU time limit exceeded, terminating
% 36.84/34.08 eprover: CPU time limit exceeded, terminating
% 39.03/36.09 eprover: CPU time limit exceeded, terminating
% 41.23/38.10 eprover: CPU time limit exceeded, terminating
% 43.51/40.12 eprover: CPU time limit exceeded, terminating
% 45.70/42.13 eprover: CPU time limit exceeded, terminating
% 47.95/44.14 eprover: CPU time limit exceeded, terminating
% 50.11/46.15 eprover: CPU time limit exceeded, terminating
% 52.32/48.17 eprover: CPU time limit exceeded, terminating
% 54.53/50.18 eprover: CPU time limit exceeded, terminating
% 56.82/52.19 eprover: CPU time limit exceeded, terminating
% 59.02/54.21 eprover: CPU time limit exceeded, terminating
% 61.22/56.22 eprover: CPU time limit exceeded, terminating
% 63.45/58.23 eprover: CPU time limit exceeded, terminating
% 65.61/60.25 eprover: CPU time limit exceeded, terminating
% 67.81/62.26 eprover: CPU time limit exceeded, terminating
% 70.01/64.27 eprover: CPU time limit exceeded, terminating
% 72.27/66.29 eprover: CPU time limit exceeded, terminating
% 74.47/68.30 eprover: CPU time limit exceeded, terminating
% 76.68/70.31 eprover: CPU time limit exceeded, terminating
% 78.89/72.32 eprover: CPU time limit exceeded, terminating
% 81.08/74.34 eprover: CPU time limit exceeded, terminating
% 83.25/76.35 eprover: CPU time limit exceeded, terminating
% 85.48/78.36 eprover: CPU time limit exceeded, terminating
% 87.68/80.38 eprover: CPU time limit exceeded, terminating
% 89.93/82.39 eprover: CPU time limit exceeded, terminating
% 92.14/84.40 eprover: CPU time limit exceeded, terminating
% 94.26/86.41 eprover: CPU time limit exceeded, terminating
% 96.53/88.43 eprover: CPU time limit exceeded, terminating
% 98.75/90.44 eprover: CPU time limit exceeded, terminating
% 100.90/92.45 eprover: CPU time limit exceeded, terminating
% 103.12/94.47 eprover: CPU time limit exceeded, terminating
% 105.31/96.48 eprover: CPU time limit exceeded, terminating
% 107.52/98.49 eprover: CPU time limit exceeded, terminating
% 109.80/100.51 eprover: CPU time limit exceeded, terminating
% 112.01/102.52 eprover: CPU time limit exceeded, terminating
% 114.19/104.53 eprover: CPU time limit exceeded, terminating
% 116.39/106.54 eprover: CPU time limit exceeded, terminating
% 118.60/108.56 eprover: CPU time limit exceeded, terminating
% 120.80/110.57 eprover: CPU time limit exceeded, terminating
% 123.07/112.58 eprover: CPU time limit exceeded, terminating
% 125.18/114.60 eprover: CPU time limit exceeded, terminating
% 127.48/116.61 eprover: CPU time limit exceeded, terminating
% 129.70/118.62 eprover: CPU time limit exceeded, terminating
% 131.87/120.64 eprover: CPU time limit exceeded, terminating
% 134.07/122.65 eprover: CPU time limit exceeded, terminating
% 136.26/124.67 eprover: CPU time limit exceeded, terminating
% 138.48/126.68 eprover: CPU time limit exceeded, terminating
% 140.66/128.69 eprover: CPU time limit exceeded, terminating
% 142.86/130.71 eprover: CPU time limit exceeded, terminating
% 145.16/132.72 eprover: CPU time limit exceeded, terminating
% 147.36/134.73 eprover: CPU time limit exceeded, terminating
% 149.55/136.75 eprover: CPU time limit exceeded, terminating
% 151.72/138.76 eprover: CPU time limit exceeded, terminating
% 153.94/140.77 eprover: CPU time limit exceeded, terminating
% 156.15/142.78 eprover: CPU time limit exceeded, terminating
% 158.41/144.80 eprover: CPU time limit exceeded, terminating
% 160.62/146.81 eprover: CPU time limit exceeded, terminating
% 162.84/148.82 eprover: CPU time limit exceeded, terminating
% 165.03/150.84 eprover: CPU time limit exceeded, terminating
% 167.20/152.85 eprover: CPU time limit exceeded, terminating
% 169.42/154.86 eprover: CPU time limit exceeded, terminating
% 171.60/156.88 eprover: CPU time limit exceeded, terminating
% 173.80/158.89 eprover: CPU time limit exceeded, terminating
% 176.08/160.90 eprover: CPU time limit exceeded, terminating
% 178.28/162.91 eprover: CPU time limit exceeded, terminating
% 180.50/164.93 eprover: CPU time limit exceeded, terminating
% 182.71/166.95 eprover: CPU time limit exceeded, terminating
% 184.89/168.96 eprover: CPU time limit exceeded, terminating
% 187.09/170.97 eprover: CPU time limit exceeded, terminating
% 189.27/172.99 eprover: CPU time limit exceeded, terminating
% 191.55/175.00 eprover: CPU time limit exceeded, terminating
% 193.76/177.02 eprover: CPU time limit exceeded, terminating
% 195.98/179.03 eprover: CPU time limit exceeded, terminating
% 198.18/181.05 eprover: CPU time limit exceeded, terminating
% 200.38/183.06 eprover: CPU time limit exceeded, terminating
% 202.62/185.08 eprover: CPU time limit exceeded, terminating
% 204.75/187.09 eprover: CPU time limit exceeded, terminating
% 206.96/189.11 eprover: CPU time limit exceeded, terminating
% 209.24/191.12 eprover: CPU time limit exceeded, terminating
% 211.45/193.13 eprover: CPU time limit exceeded, terminating
% 213.64/195.15 eprover: CPU time limit exceeded, terminating
% 215.81/197.16 eprover: CPU time limit exceeded, terminating
% 218.04/199.17 eprover: CPU time limit exceeded, terminating
% 220.24/201.19 eprover: CPU time limit exceeded, terminating
% 222.46/203.20 eprover: CPU time limit exceeded, terminating
% 224.72/205.21 eprover: CPU time limit exceeded, terminating
% 226.93/207.22 eprover: CPU time limit exceeded, terminating
% 229.11/209.24 eprover: CPU time limit exceeded, terminating
% 231.32/211.25 eprover: CPU time limit exceeded, terminating
% 233.50/213.27 eprover: CPU time limit exceeded, terminating
% 235.71/215.28 eprover: CPU time limit exceeded, terminating
% 237.98/217.29 eprover: CPU time limit exceeded, terminating
% 240.12/219.30 eprover: CPU time limit exceeded, terminating
% 242.42/221.32 eprover: CPU time limit exceeded, terminating
% 244.60/223.33 eprover: CPU time limit exceeded, terminating
% 246.78/225.34 eprover: CPU time limit exceeded, terminating
% 249.00/227.36 eprover: CPU time limit exceeded, terminating
% 251.17/229.37 eprover: CPU time limit exceeded, terminating
% 253.46/231.38 eprover: CPU time limit exceeded, terminating
% 255.68/233.40 eprover: CPU time limit exceeded, terminating
% 257.88/235.41 eprover: CPU time limit exceeded, terminating
% 260.10/237.42 eprover: CPU time limit exceeded, terminating
% 262.29/239.44 eprover: CPU time limit exceeded, terminating
% 264.53/241.45 eprover: CPU time limit exceeded, terminating
% 266.69/243.46 eprover: CPU time limit exceeded, terminating
% 268.89/245.48 eprover: CPU time limit exceeded, terminating
% 271.14/247.49 eprover: CPU time limit exceeded, terminating
% 273.36/249.50 eprover: CPU time limit exceeded, terminating
% 275.52/251.52 eprover: CPU time limit exceeded, terminating
% 277.80/253.53 eprover: CPU time limit exceeded, terminating
% 279.93/255.54 eprover: CPU time limit exceeded, terminating
% 282.20/257.56 eprover: CPU time limit exceeded, terminating
% 284.42/259.57 eprover: CPU time limit exceeded, terminating
% 286.62/261.58 eprover: CPU time limit exceeded, terminating
% 288.85/263.60 eprover: CPU time limit exceeded, terminating
% 291.00/265.61 eprover: CPU time limit exceeded, terminating
% 293.26/267.62 eprover: CPU time limit exceeded, terminating
% 295.44/269.64 eprover: CPU time limit exceeded, terminating
% 297.68/271.65 eprover: CPU time limit exceeded, terminating
% 299.83/273.66 eprover: CPU time limit exceeded, terminating
% 300.42/274.10 eprover: CPU time limit exceeded, terminating
% 300.42/274.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------