TSTP Solution File: CSR240+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR240+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:08 EDT 2022
% Result : Timeout 287.21s 261.72s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR240+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n007.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 05:34:52 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.72/5.70 eprover: CPU time limit exceeded, terminating
% 7.92/7.71 eprover: CPU time limit exceeded, terminating
% 10.10/9.72 eprover: CPU time limit exceeded, terminating
% 12.29/11.74 eprover: CPU time limit exceeded, terminating
% 14.49/13.75 eprover: CPU time limit exceeded, terminating
% 16.73/15.76 eprover: CPU time limit exceeded, terminating
% 18.90/17.77 eprover: CPU time limit exceeded, terminating
% 21.16/19.78 eprover: CPU time limit exceeded, terminating
% 23.37/21.80 eprover: CPU time limit exceeded, terminating
% 25.49/23.81 eprover: CPU time limit exceeded, terminating
% 27.77/25.82 eprover: CPU time limit exceeded, terminating
% 29.99/27.83 eprover: CPU time limit exceeded, terminating
% 32.18/29.84 eprover: CPU time limit exceeded, terminating
% 34.39/31.86 eprover: CPU time limit exceeded, terminating
% 36.60/33.87 eprover: CPU time limit exceeded, terminating
% 38.84/35.88 eprover: CPU time limit exceeded, terminating
% 41.07/37.89 eprover: CPU time limit exceeded, terminating
% 43.27/39.91 eprover: CPU time limit exceeded, terminating
% 45.49/41.92 eprover: CPU time limit exceeded, terminating
% 47.72/43.93 eprover: CPU time limit exceeded, terminating
% 49.92/45.94 eprover: CPU time limit exceeded, terminating
% 52.14/47.96 eprover: CPU time limit exceeded, terminating
% 54.35/49.97 eprover: CPU time limit exceeded, terminating
% 56.53/51.99 eprover: CPU time limit exceeded, terminating
% 58.81/54.00 eprover: CPU time limit exceeded, terminating
% 61.03/56.02 eprover: CPU time limit exceeded, terminating
% 63.19/58.04 eprover: CPU time limit exceeded, terminating
% 65.42/60.06 eprover: CPU time limit exceeded, terminating
% 67.67/62.07 eprover: CPU time limit exceeded, terminating
% 69.92/64.09 eprover: CPU time limit exceeded, terminating
% 72.11/66.11 eprover: CPU time limit exceeded, terminating
% 74.35/68.12 eprover: CPU time limit exceeded, terminating
% 76.54/70.14 eprover: CPU time limit exceeded, terminating
% 78.71/72.16 eprover: CPU time limit exceeded, terminating
% 80.96/74.18 eprover: CPU time limit exceeded, terminating
% 83.22/76.19 eprover: CPU time limit exceeded, terminating
% 85.45/78.20 eprover: CPU time limit exceeded, terminating
% 87.66/80.22 eprover: CPU time limit exceeded, terminating
% 89.87/82.24 eprover: CPU time limit exceeded, terminating
% 92.09/84.25 eprover: CPU time limit exceeded, terminating
% 94.27/86.27 eprover: CPU time limit exceeded, terminating
% 96.52/88.29 eprover: CPU time limit exceeded, terminating
% 98.75/90.30 eprover: CPU time limit exceeded, terminating
% 100.97/92.32 eprover: CPU time limit exceeded, terminating
% 103.16/94.34 eprover: CPU time limit exceeded, terminating
% 105.38/96.35 eprover: CPU time limit exceeded, terminating
% 107.64/98.37 eprover: CPU time limit exceeded, terminating
% 109.80/100.39 eprover: CPU time limit exceeded, terminating
% 112.09/102.40 eprover: CPU time limit exceeded, terminating
% 114.30/104.42 eprover: CPU time limit exceeded, terminating
% 116.50/106.43 eprover: CPU time limit exceeded, terminating
% 118.71/108.45 eprover: CPU time limit exceeded, terminating
% 120.90/110.47 eprover: CPU time limit exceeded, terminating
% 123.19/112.49 eprover: CPU time limit exceeded, terminating
% 125.35/114.50 eprover: CPU time limit exceeded, terminating
% 127.60/116.52 eprover: CPU time limit exceeded, terminating
% 129.81/118.54 eprover: CPU time limit exceeded, terminating
% 132.02/120.56 eprover: CPU time limit exceeded, terminating
% 134.24/122.58 eprover: CPU time limit exceeded, terminating
% 136.51/124.60 eprover: CPU time limit exceeded, terminating
% 138.75/126.61 eprover: CPU time limit exceeded, terminating
% 140.92/128.63 eprover: CPU time limit exceeded, terminating
% 143.13/130.65 eprover: CPU time limit exceeded, terminating
% 145.32/132.67 eprover: CPU time limit exceeded, terminating
% 147.53/134.68 eprover: CPU time limit exceeded, terminating
% 149.83/136.70 eprover: CPU time limit exceeded, terminating
% 152.05/138.72 eprover: CPU time limit exceeded, terminating
% 154.26/140.74 eprover: CPU time limit exceeded, terminating
% 156.42/142.75 eprover: CPU time limit exceeded, terminating
% 158.64/144.77 eprover: CPU time limit exceeded, terminating
% 160.87/146.79 eprover: CPU time limit exceeded, terminating
% 163.15/148.81 eprover: CPU time limit exceeded, terminating
% 165.31/150.82 eprover: CPU time limit exceeded, terminating
% 167.54/152.84 eprover: CPU time limit exceeded, terminating
% 169.74/154.86 eprover: CPU time limit exceeded, terminating
% 171.96/156.88 eprover: CPU time limit exceeded, terminating
% 174.22/158.90 eprover: CPU time limit exceeded, terminating
% 176.42/160.91 eprover: CPU time limit exceeded, terminating
% 178.63/162.92 eprover: CPU time limit exceeded, terminating
% 180.87/164.94 eprover: CPU time limit exceeded, terminating
% 183.04/166.95 eprover: CPU time limit exceeded, terminating
% 185.25/168.97 eprover: CPU time limit exceeded, terminating
% 187.51/170.99 eprover: CPU time limit exceeded, terminating
% 189.67/173.00 eprover: CPU time limit exceeded, terminating
% 191.98/175.02 eprover: CPU time limit exceeded, terminating
% 194.17/177.04 eprover: CPU time limit exceeded, terminating
% 196.39/179.06 eprover: CPU time limit exceeded, terminating
% 198.55/181.08 eprover: CPU time limit exceeded, terminating
% 200.76/183.09 eprover: CPU time limit exceeded, terminating
% 203.00/185.11 eprover: CPU time limit exceeded, terminating
% 205.29/187.12 eprover: CPU time limit exceeded, terminating
% 207.45/189.14 eprover: CPU time limit exceeded, terminating
% 209.67/191.16 eprover: CPU time limit exceeded, terminating
% 211.89/193.18 eprover: CPU time limit exceeded, terminating
% 214.15/195.20 eprover: CPU time limit exceeded, terminating
% 216.39/197.21 eprover: CPU time limit exceeded, terminating
% 218.63/199.23 eprover: CPU time limit exceeded, terminating
% 220.80/201.25 eprover: CPU time limit exceeded, terminating
% 222.99/203.27 eprover: CPU time limit exceeded, terminating
% 225.20/205.28 eprover: CPU time limit exceeded, terminating
% 227.50/207.30 eprover: CPU time limit exceeded, terminating
% 229.71/209.32 eprover: CPU time limit exceeded, terminating
% 231.92/211.34 eprover: CPU time limit exceeded, terminating
% 234.11/213.35 eprover: CPU time limit exceeded, terminating
% 236.35/215.37 eprover: CPU time limit exceeded, terminating
% 238.59/217.39 eprover: CPU time limit exceeded, terminating
% 240.73/219.40 eprover: CPU time limit exceeded, terminating
% 242.96/221.42 eprover: CPU time limit exceeded, terminating
% 245.23/223.44 eprover: CPU time limit exceeded, terminating
% 247.47/225.45 eprover: CPU time limit exceeded, terminating
% 249.69/227.47 eprover: CPU time limit exceeded, terminating
% 251.85/229.48 eprover: CPU time limit exceeded, terminating
% 254.08/231.50 eprover: CPU time limit exceeded, terminating
% 256.31/233.51 eprover: CPU time limit exceeded, terminating
% 258.51/235.52 eprover: CPU time limit exceeded, terminating
% 260.75/237.54 eprover: CPU time limit exceeded, terminating
% 262.89/239.56 eprover: CPU time limit exceeded, terminating
% 265.16/241.57 eprover: CPU time limit exceeded, terminating
% 267.31/243.58 eprover: CPU time limit exceeded, terminating
% 269.55/245.60 eprover: CPU time limit exceeded, terminating
% 271.77/247.61 eprover: CPU time limit exceeded, terminating
% 274.00/249.63 eprover: CPU time limit exceeded, terminating
% 276.14/251.64 eprover: CPU time limit exceeded, terminating
% 278.39/253.65 eprover: CPU time limit exceeded, terminating
% 280.56/255.67 eprover: CPU time limit exceeded, terminating
% 282.78/257.68 eprover: CPU time limit exceeded, terminating
% 285.01/259.70 eprover: CPU time limit exceeded, terminating
% 287.21/261.72 eprover: CPU time limit exceeded, terminating
% 289.39/263.74 eprover: CPU time limit exceeded, terminating
% 291.57/265.76 eprover: CPU time limit exceeded, terminating
% 293.69/267.77 eprover: CPU time limit exceeded, terminating
% 295.92/269.79 eprover: CPU time limit exceeded, terminating
% 298.12/271.81 eprover: CPU time limit exceeded, terminating
% 300.02/273.54 eprover: CPU time limit exceeded, terminating
% 300.02/273.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------