TSTP Solution File: CSR159+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR159+1 : TPTP v8.1.0. Released v7.3.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:35:58 EDT 2022
% Result : Timeout 287.03s 262.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR159+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 15:23:09 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.94/5.94 eprover: CPU time limit exceeded, terminating
% 8.10/7.95 eprover: CPU time limit exceeded, terminating
% 10.28/9.96 eprover: CPU time limit exceeded, terminating
% 12.52/11.98 eprover: CPU time limit exceeded, terminating
% 14.77/13.99 eprover: CPU time limit exceeded, terminating
% 16.92/16.00 eprover: CPU time limit exceeded, terminating
% 19.20/18.02 eprover: CPU time limit exceeded, terminating
% 21.40/20.03 eprover: CPU time limit exceeded, terminating
% 23.62/22.04 eprover: CPU time limit exceeded, terminating
% 25.81/24.06 eprover: CPU time limit exceeded, terminating
% 28.09/26.07 eprover: CPU time limit exceeded, terminating
% 30.25/28.09 eprover: CPU time limit exceeded, terminating
% 32.54/30.10 eprover: CPU time limit exceeded, terminating
% 34.73/32.11 eprover: CPU time limit exceeded, terminating
% 36.92/34.13 eprover: CPU time limit exceeded, terminating
% 39.17/36.14 eprover: CPU time limit exceeded, terminating
% 41.36/38.16 eprover: CPU time limit exceeded, terminating
% 43.55/40.17 eprover: CPU time limit exceeded, terminating
% 45.81/42.18 eprover: CPU time limit exceeded, terminating
% 48.01/44.20 eprover: CPU time limit exceeded, terminating
% 50.29/46.21 eprover: CPU time limit exceeded, terminating
% 52.47/48.22 eprover: CPU time limit exceeded, terminating
% 54.70/50.24 eprover: CPU time limit exceeded, terminating
% 56.91/52.25 eprover: CPU time limit exceeded, terminating
% 59.08/54.26 eprover: CPU time limit exceeded, terminating
% 61.28/56.28 eprover: CPU time limit exceeded, terminating
% 63.58/58.29 eprover: CPU time limit exceeded, terminating
% 65.77/60.31 eprover: CPU time limit exceeded, terminating
% 68.00/62.32 eprover: CPU time limit exceeded, terminating
% 70.21/64.34 eprover: CPU time limit exceeded, terminating
% 72.39/66.35 eprover: CPU time limit exceeded, terminating
% 74.59/68.36 eprover: CPU time limit exceeded, terminating
% 76.82/70.38 eprover: CPU time limit exceeded, terminating
% 79.04/72.39 eprover: CPU time limit exceeded, terminating
% 81.31/74.40 eprover: CPU time limit exceeded, terminating
% 83.53/76.42 eprover: CPU time limit exceeded, terminating
% 85.69/78.43 eprover: CPU time limit exceeded, terminating
% 87.95/80.45 eprover: CPU time limit exceeded, terminating
% 90.12/82.46 eprover: CPU time limit exceeded, terminating
% 92.30/84.47 eprover: CPU time limit exceeded, terminating
% 94.60/86.49 eprover: CPU time limit exceeded, terminating
% 96.79/88.50 eprover: CPU time limit exceeded, terminating
% 98.98/90.51 eprover: CPU time limit exceeded, terminating
% 101.21/92.55 eprover: CPU time limit exceeded, terminating
% 103.38/94.56 eprover: CPU time limit exceeded, terminating
% 105.59/96.57 eprover: CPU time limit exceeded, terminating
% 107.87/98.61 eprover: CPU time limit exceeded, terminating
% 110.07/100.62 eprover: CPU time limit exceeded, terminating
% 112.23/102.63 eprover: CPU time limit exceeded, terminating
% 114.46/104.64 eprover: CPU time limit exceeded, terminating
% 116.64/106.66 eprover: CPU time limit exceeded, terminating
% 118.86/108.67 eprover: CPU time limit exceeded, terminating
% 121.06/110.69 eprover: CPU time limit exceeded, terminating
% 123.23/112.70 eprover: CPU time limit exceeded, terminating
% 125.47/114.72 eprover: CPU time limit exceeded, terminating
% 127.69/116.74 eprover: CPU time limit exceeded, terminating
% 129.93/118.76 eprover: CPU time limit exceeded, terminating
% 132.08/120.78 eprover: CPU time limit exceeded, terminating
% 134.34/122.80 eprover: CPU time limit exceeded, terminating
% 136.48/124.82 eprover: CPU time limit exceeded, terminating
% 138.74/126.84 eprover: CPU time limit exceeded, terminating
% 140.95/128.85 eprover: CPU time limit exceeded, terminating
% 143.13/130.87 eprover: CPU time limit exceeded, terminating
% 145.35/132.89 eprover: CPU time limit exceeded, terminating
% 147.55/134.92 eprover: CPU time limit exceeded, terminating
% 149.79/136.94 eprover: CPU time limit exceeded, terminating
% 152.02/138.97 eprover: CPU time limit exceeded, terminating
% 154.24/140.99 eprover: CPU time limit exceeded, terminating
% 156.45/143.01 eprover: CPU time limit exceeded, terminating
% 158.62/145.03 eprover: CPU time limit exceeded, terminating
% 160.89/147.05 eprover: CPU time limit exceeded, terminating
% 163.08/149.07 eprover: CPU time limit exceeded, terminating
% 165.27/151.08 eprover: CPU time limit exceeded, terminating
% 167.45/153.10 eprover: CPU time limit exceeded, terminating
% 169.67/155.11 eprover: CPU time limit exceeded, terminating
% 171.92/157.13 eprover: CPU time limit exceeded, terminating
% 174.15/159.15 eprover: CPU time limit exceeded, terminating
% 176.38/161.17 eprover: CPU time limit exceeded, terminating
% 178.57/163.18 eprover: CPU time limit exceeded, terminating
% 180.76/165.20 eprover: CPU time limit exceeded, terminating
% 182.99/167.22 eprover: CPU time limit exceeded, terminating
% 185.22/169.24 eprover: CPU time limit exceeded, terminating
% 187.46/171.26 eprover: CPU time limit exceeded, terminating
% 189.65/173.28 eprover: CPU time limit exceeded, terminating
% 191.84/175.30 eprover: CPU time limit exceeded, terminating
% 194.01/177.32 eprover: CPU time limit exceeded, terminating
% 196.29/179.34 eprover: CPU time limit exceeded, terminating
% 198.48/181.37 eprover: CPU time limit exceeded, terminating
% 200.70/183.39 eprover: CPU time limit exceeded, terminating
% 202.87/185.40 eprover: CPU time limit exceeded, terminating
% 205.10/187.45 eprover: CPU time limit exceeded, terminating
% 207.32/189.46 eprover: CPU time limit exceeded, terminating
% 209.53/191.48 eprover: CPU time limit exceeded, terminating
% 211.76/193.50 eprover: CPU time limit exceeded, terminating
% 213.96/195.51 eprover: CPU time limit exceeded, terminating
% 216.19/197.54 eprover: CPU time limit exceeded, terminating
% 218.37/199.56 eprover: CPU time limit exceeded, terminating
% 220.62/201.59 eprover: CPU time limit exceeded, terminating
% 222.83/203.61 eprover: CPU time limit exceeded, terminating
% 225.04/205.63 eprover: CPU time limit exceeded, terminating
% 227.27/207.65 eprover: CPU time limit exceeded, terminating
% 229.49/209.66 eprover: CPU time limit exceeded, terminating
% 231.67/211.67 eprover: CPU time limit exceeded, terminating
% 233.89/213.69 eprover: CPU time limit exceeded, terminating
% 236.10/215.71 eprover: CPU time limit exceeded, terminating
% 238.31/217.74 eprover: CPU time limit exceeded, terminating
% 240.51/219.76 eprover: CPU time limit exceeded, terminating
% 242.76/221.78 eprover: CPU time limit exceeded, terminating
% 244.96/223.80 eprover: CPU time limit exceeded, terminating
% 247.16/225.83 eprover: CPU time limit exceeded, terminating
% 249.41/227.84 eprover: CPU time limit exceeded, terminating
% 251.61/229.86 eprover: CPU time limit exceeded, terminating
% 253.80/231.88 eprover: CPU time limit exceeded, terminating
% 256.02/233.90 eprover: CPU time limit exceeded, terminating
% 258.22/235.92 eprover: CPU time limit exceeded, terminating
% 260.46/237.95 eprover: CPU time limit exceeded, terminating
% 262.67/239.96 eprover: CPU time limit exceeded, terminating
% 264.90/241.98 eprover: CPU time limit exceeded, terminating
% 267.09/243.99 eprover: CPU time limit exceeded, terminating
% 269.30/246.01 eprover: CPU time limit exceeded, terminating
% 271.56/248.03 eprover: CPU time limit exceeded, terminating
% 273.77/250.05 eprover: CPU time limit exceeded, terminating
% 275.98/252.07 eprover: CPU time limit exceeded, terminating
% 278.17/254.08 eprover: CPU time limit exceeded, terminating
% 280.41/256.10 eprover: CPU time limit exceeded, terminating
% 282.62/258.14 eprover: CPU time limit exceeded, terminating
% 284.76/260.15 eprover: CPU time limit exceeded, terminating
% 287.03/262.17 eprover: CPU time limit exceeded, terminating
% 289.27/264.19 eprover: CPU time limit exceeded, terminating
% 291.47/266.22 eprover: CPU time limit exceeded, terminating
% 293.69/268.25 eprover: CPU time limit exceeded, terminating
% 295.85/270.27 eprover: CPU time limit exceeded, terminating
% 298.08/272.29 eprover: CPU time limit exceeded, terminating
% 300.05/274.00 eprover: CPU time limit exceeded, terminating
% 300.05/274.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------