TSTP Solution File: CSR302+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR302+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:16 EDT 2022
% Result : Timeout 286.85s 261.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR302+1 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.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 : Sat Jun 11 02:24:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.87/5.83 eprover: CPU time limit exceeded, terminating
% 8.05/7.84 eprover: CPU time limit exceeded, terminating
% 10.25/9.86 eprover: CPU time limit exceeded, terminating
% 12.45/11.87 eprover: CPU time limit exceeded, terminating
% 14.64/13.88 eprover: CPU time limit exceeded, terminating
% 16.84/15.90 eprover: CPU time limit exceeded, terminating
% 19.04/17.91 eprover: CPU time limit exceeded, terminating
% 21.32/19.92 eprover: CPU time limit exceeded, terminating
% 23.53/21.94 eprover: CPU time limit exceeded, terminating
% 25.71/23.95 eprover: CPU time limit exceeded, terminating
% 27.97/25.97 eprover: CPU time limit exceeded, terminating
% 30.14/27.98 eprover: CPU time limit exceeded, terminating
% 32.38/29.99 eprover: CPU time limit exceeded, terminating
% 34.65/32.00 eprover: CPU time limit exceeded, terminating
% 36.87/34.02 eprover: CPU time limit exceeded, terminating
% 39.02/36.03 eprover: CPU time limit exceeded, terminating
% 41.25/38.04 eprover: CPU time limit exceeded, terminating
% 43.45/40.05 eprover: CPU time limit exceeded, terminating
% 45.64/42.06 eprover: CPU time limit exceeded, terminating
% 47.89/44.07 eprover: CPU time limit exceeded, terminating
% 50.09/46.08 eprover: CPU time limit exceeded, terminating
% 52.35/48.10 eprover: CPU time limit exceeded, terminating
% 54.56/50.11 eprover: CPU time limit exceeded, terminating
% 56.79/52.13 eprover: CPU time limit exceeded, terminating
% 58.97/54.14 eprover: CPU time limit exceeded, terminating
% 61.18/56.15 eprover: CPU time limit exceeded, terminating
% 63.39/58.17 eprover: CPU time limit exceeded, terminating
% 65.65/60.18 eprover: CPU time limit exceeded, terminating
% 67.89/62.20 eprover: CPU time limit exceeded, terminating
% 70.09/64.21 eprover: CPU time limit exceeded, terminating
% 72.27/66.23 eprover: CPU time limit exceeded, terminating
% 74.49/68.24 eprover: CPU time limit exceeded, terminating
% 76.68/70.26 eprover: CPU time limit exceeded, terminating
% 78.90/72.27 eprover: CPU time limit exceeded, terminating
% 81.07/74.29 eprover: CPU time limit exceeded, terminating
% 83.29/76.30 eprover: CPU time limit exceeded, terminating
% 85.61/78.32 eprover: CPU time limit exceeded, terminating
% 87.79/80.33 eprover: CPU time limit exceeded, terminating
% 90.02/82.35 eprover: CPU time limit exceeded, terminating
% 92.20/84.36 eprover: CPU time limit exceeded, terminating
% 94.41/86.38 eprover: CPU time limit exceeded, terminating
% 96.59/88.39 eprover: CPU time limit exceeded, terminating
% 98.82/90.40 eprover: CPU time limit exceeded, terminating
% 101.11/92.42 eprover: CPU time limit exceeded, terminating
% 103.26/94.43 eprover: CPU time limit exceeded, terminating
% 105.50/96.45 eprover: CPU time limit exceeded, terminating
% 107.72/98.46 eprover: CPU time limit exceeded, terminating
% 109.88/100.48 eprover: CPU time limit exceeded, terminating
% 112.11/102.49 eprover: CPU time limit exceeded, terminating
% 114.32/104.51 eprover: CPU time limit exceeded, terminating
% 116.60/106.52 eprover: CPU time limit exceeded, terminating
% 118.81/108.53 eprover: CPU time limit exceeded, terminating
% 121.00/110.55 eprover: CPU time limit exceeded, terminating
% 123.18/112.56 eprover: CPU time limit exceeded, terminating
% 125.40/114.58 eprover: CPU time limit exceeded, terminating
% 127.67/116.59 eprover: CPU time limit exceeded, terminating
% 129.88/118.61 eprover: CPU time limit exceeded, terminating
% 132.09/120.62 eprover: CPU time limit exceeded, terminating
% 134.27/122.64 eprover: CPU time limit exceeded, terminating
% 136.49/124.65 eprover: CPU time limit exceeded, terminating
% 138.71/126.66 eprover: CPU time limit exceeded, terminating
% 140.86/128.68 eprover: CPU time limit exceeded, terminating
% 143.15/130.69 eprover: CPU time limit exceeded, terminating
% 145.38/132.71 eprover: CPU time limit exceeded, terminating
% 147.56/134.72 eprover: CPU time limit exceeded, terminating
% 149.74/136.74 eprover: CPU time limit exceeded, terminating
% 151.97/138.75 eprover: CPU time limit exceeded, terminating
% 154.15/140.76 eprover: CPU time limit exceeded, terminating
% 156.37/142.78 eprover: CPU time limit exceeded, terminating
% 158.56/144.79 eprover: CPU time limit exceeded, terminating
% 160.85/146.81 eprover: CPU time limit exceeded, terminating
% 163.07/148.82 eprover: CPU time limit exceeded, terminating
% 165.27/150.84 eprover: CPU time limit exceeded, terminating
% 167.45/152.85 eprover: CPU time limit exceeded, terminating
% 169.66/154.87 eprover: CPU time limit exceeded, terminating
% 171.87/156.88 eprover: CPU time limit exceeded, terminating
% 174.13/158.90 eprover: CPU time limit exceeded, terminating
% 176.33/160.91 eprover: CPU time limit exceeded, terminating
% 178.55/162.92 eprover: CPU time limit exceeded, terminating
% 180.75/164.94 eprover: CPU time limit exceeded, terminating
% 182.93/166.95 eprover: CPU time limit exceeded, terminating
% 185.14/168.97 eprover: CPU time limit exceeded, terminating
% 187.33/170.98 eprover: CPU time limit exceeded, terminating
% 189.62/173.00 eprover: CPU time limit exceeded, terminating
% 191.82/175.01 eprover: CPU time limit exceeded, terminating
% 194.02/177.03 eprover: CPU time limit exceeded, terminating
% 196.22/179.04 eprover: CPU time limit exceeded, terminating
% 198.42/181.06 eprover: CPU time limit exceeded, terminating
% 200.62/183.07 eprover: CPU time limit exceeded, terminating
% 202.79/185.09 eprover: CPU time limit exceeded, terminating
% 205.09/187.10 eprover: CPU time limit exceeded, terminating
% 207.29/189.12 eprover: CPU time limit exceeded, terminating
% 209.52/191.13 eprover: CPU time limit exceeded, terminating
% 211.67/193.14 eprover: CPU time limit exceeded, terminating
% 213.90/195.16 eprover: CPU time limit exceeded, terminating
% 216.08/197.17 eprover: CPU time limit exceeded, terminating
% 218.30/199.19 eprover: CPU time limit exceeded, terminating
% 220.56/201.20 eprover: CPU time limit exceeded, terminating
% 222.78/203.22 eprover: CPU time limit exceeded, terminating
% 224.96/205.23 eprover: CPU time limit exceeded, terminating
% 227.17/207.24 eprover: CPU time limit exceeded, terminating
% 229.36/209.26 eprover: CPU time limit exceeded, terminating
% 231.55/211.27 eprover: CPU time limit exceeded, terminating
% 233.74/213.29 eprover: CPU time limit exceeded, terminating
% 236.04/215.30 eprover: CPU time limit exceeded, terminating
% 238.24/217.31 eprover: CPU time limit exceeded, terminating
% 240.43/219.33 eprover: CPU time limit exceeded, terminating
% 242.64/221.34 eprover: CPU time limit exceeded, terminating
% 244.82/223.36 eprover: CPU time limit exceeded, terminating
% 247.04/225.37 eprover: CPU time limit exceeded, terminating
% 249.23/227.39 eprover: CPU time limit exceeded, terminating
% 251.51/229.40 eprover: CPU time limit exceeded, terminating
% 253.73/231.42 eprover: CPU time limit exceeded, terminating
% 255.91/233.43 eprover: CPU time limit exceeded, terminating
% 258.10/235.45 eprover: CPU time limit exceeded, terminating
% 260.31/237.46 eprover: CPU time limit exceeded, terminating
% 262.47/239.47 eprover: CPU time limit exceeded, terminating
% 264.70/241.49 eprover: CPU time limit exceeded, terminating
% 266.90/243.50 eprover: CPU time limit exceeded, terminating
% 269.20/245.52 eprover: CPU time limit exceeded, terminating
% 271.39/247.53 eprover: CPU time limit exceeded, terminating
% 273.59/249.54 eprover: CPU time limit exceeded, terminating
% 275.78/251.55 eprover: CPU time limit exceeded, terminating
% 277.98/253.57 eprover: CPU time limit exceeded, terminating
% 280.18/255.58 eprover: CPU time limit exceeded, terminating
% 282.46/257.60 eprover: CPU time limit exceeded, terminating
% 284.67/259.61 eprover: CPU time limit exceeded, terminating
% 286.85/261.63 eprover: CPU time limit exceeded, terminating
% 289.07/263.64 eprover: CPU time limit exceeded, terminating
% 291.24/265.66 eprover: CPU time limit exceeded, terminating
% 293.47/267.67 eprover: CPU time limit exceeded, terminating
% 295.67/269.69 eprover: CPU time limit exceeded, terminating
% 297.94/271.70 eprover: CPU time limit exceeded, terminating
% 300.04/273.59 eprover: CPU time limit exceeded, terminating
% 300.04/273.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------