TSTP Solution File: CAT030+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT030+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 00:01:06 EDT 2022
% Result : Timeout 286.62s 259.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CAT030+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n019.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sun May 29 15:57:41 EDT 2022
% 0.13/0.35 % CPUTime :
% 24.02/23.94 eprover: CPU time limit exceeded, terminating
% 26.24/25.95 eprover: CPU time limit exceeded, terminating
% 28.47/27.96 eprover: CPU time limit exceeded, terminating
% 30.67/29.98 eprover: CPU time limit exceeded, terminating
% 32.99/31.99 eprover: CPU time limit exceeded, terminating
% 35.23/34.01 eprover: CPU time limit exceeded, terminating
% 37.47/36.02 eprover: CPU time limit exceeded, terminating
% 39.67/38.03 eprover: CPU time limit exceeded, terminating
% 41.93/40.05 eprover: CPU time limit exceeded, terminating
% 44.18/42.06 eprover: CPU time limit exceeded, terminating
% 46.40/44.08 eprover: CPU time limit exceeded, terminating
% 48.71/46.09 eprover: CPU time limit exceeded, terminating
% 50.84/48.11 eprover: CPU time limit exceeded, terminating
% 53.19/50.12 eprover: CPU time limit exceeded, terminating
% 55.40/52.13 eprover: CPU time limit exceeded, terminating
% 57.67/54.15 eprover: CPU time limit exceeded, terminating
% 59.92/56.16 eprover: CPU time limit exceeded, terminating
% 62.13/58.18 eprover: CPU time limit exceeded, terminating
% 64.44/60.19 eprover: CPU time limit exceeded, terminating
% 66.69/62.20 eprover: CPU time limit exceeded, terminating
% 68.92/64.22 eprover: CPU time limit exceeded, terminating
% 71.14/66.23 eprover: CPU time limit exceeded, terminating
% 73.38/68.24 eprover: CPU time limit exceeded, terminating
% 75.61/70.26 eprover: CPU time limit exceeded, terminating
% 77.81/72.27 eprover: CPU time limit exceeded, terminating
% 80.06/74.29 eprover: CPU time limit exceeded, terminating
% 82.37/76.30 eprover: CPU time limit exceeded, terminating
% 84.59/78.32 eprover: CPU time limit exceeded, terminating
% 86.85/80.33 eprover: CPU time limit exceeded, terminating
% 89.07/82.34 eprover: CPU time limit exceeded, terminating
% 91.30/84.36 eprover: CPU time limit exceeded, terminating
% 93.55/86.37 eprover: CPU time limit exceeded, terminating
% 95.75/88.39 eprover: CPU time limit exceeded, terminating
% 98.04/90.40 eprover: CPU time limit exceeded, terminating
% 100.30/92.41 eprover: CPU time limit exceeded, terminating
% 102.59/94.43 eprover: CPU time limit exceeded, terminating
% 104.81/96.44 eprover: CPU time limit exceeded, terminating
% 107.03/98.46 eprover: CPU time limit exceeded, terminating
% 109.25/100.47 eprover: CPU time limit exceeded, terminating
% 111.55/102.48 eprover: CPU time limit exceeded, terminating
% 113.82/104.50 eprover: CPU time limit exceeded, terminating
% 116.04/106.51 eprover: CPU time limit exceeded, terminating
% 118.26/108.53 eprover: CPU time limit exceeded, terminating
% 120.48/110.54 eprover: CPU time limit exceeded, terminating
% 122.71/112.56 eprover: CPU time limit exceeded, terminating
% 124.97/114.57 eprover: CPU time limit exceeded, terminating
% 127.15/116.58 eprover: CPU time limit exceeded, terminating
% 129.50/118.60 eprover: CPU time limit exceeded, terminating
% 131.72/120.61 eprover: CPU time limit exceeded, terminating
% 133.97/122.63 eprover: CPU time limit exceeded, terminating
% 136.21/124.64 eprover: CPU time limit exceeded, terminating
% 138.42/126.65 eprover: CPU time limit exceeded, terminating
% 140.62/128.67 eprover: CPU time limit exceeded, terminating
% 142.87/130.68 eprover: CPU time limit exceeded, terminating
% 145.13/132.70 eprover: CPU time limit exceeded, terminating
% 147.41/134.71 eprover: CPU time limit exceeded, terminating
% 149.64/136.72 eprover: CPU time limit exceeded, terminating
% 151.93/138.74 eprover: CPU time limit exceeded, terminating
% 154.15/140.75 eprover: CPU time limit exceeded, terminating
% 156.35/142.77 eprover: CPU time limit exceeded, terminating
% 158.61/144.78 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.39/150.82 eprover: CPU time limit exceeded, terminating
% 167.59/152.84 eprover: CPU time limit exceeded, terminating
% 169.80/154.85 eprover: CPU time limit exceeded, terminating
% 172.04/156.87 eprover: CPU time limit exceeded, terminating
% 174.34/158.88 eprover: CPU time limit exceeded, terminating
% 176.52/160.89 eprover: CPU time limit exceeded, terminating
% 178.83/162.91 eprover: CPU time limit exceeded, terminating
% 181.08/164.92 eprover: CPU time limit exceeded, terminating
% 183.32/166.94 eprover: CPU time limit exceeded, terminating
% 185.54/168.95 eprover: CPU time limit exceeded, terminating
% 187.75/170.97 eprover: CPU time limit exceeded, terminating
% 189.99/172.98 eprover: CPU time limit exceeded, terminating
% 192.31/174.99 eprover: CPU time limit exceeded, terminating
% 194.56/177.01 eprover: CPU time limit exceeded, terminating
% 196.81/179.02 eprover: CPU time limit exceeded, terminating
% 199.04/181.04 eprover: CPU time limit exceeded, terminating
% 201.27/183.05 eprover: CPU time limit exceeded, terminating
% 203.52/185.07 eprover: CPU time limit exceeded, terminating
% 205.73/187.08 eprover: CPU time limit exceeded, terminating
% 207.96/189.09 eprover: CPU time limit exceeded, terminating
% 210.30/191.11 eprover: CPU time limit exceeded, terminating
% 212.52/193.12 eprover: CPU time limit exceeded, terminating
% 214.75/195.14 eprover: CPU time limit exceeded, terminating
% 216.98/197.15 eprover: CPU time limit exceeded, terminating
% 219.21/199.17 eprover: CPU time limit exceeded, terminating
% 221.46/201.18 eprover: CPU time limit exceeded, terminating
% 223.68/203.19 eprover: CPU time limit exceeded, terminating
% 226.01/205.21 eprover: CPU time limit exceeded, terminating
% 228.22/207.22 eprover: CPU time limit exceeded, terminating
% 230.48/209.24 eprover: CPU time limit exceeded, terminating
% 232.75/211.25 eprover: CPU time limit exceeded, terminating
% 234.95/213.26 eprover: CPU time limit exceeded, terminating
% 237.27/215.28 eprover: CPU time limit exceeded, terminating
% 239.49/217.29 eprover: CPU time limit exceeded, terminating
% 241.76/219.31 eprover: CPU time limit exceeded, terminating
% 243.96/221.32 eprover: CPU time limit exceeded, terminating
% 246.24/223.34 eprover: CPU time limit exceeded, terminating
% 248.50/225.35 eprover: CPU time limit exceeded, terminating
% 250.71/227.36 eprover: CPU time limit exceeded, terminating
% 252.97/229.38 eprover: CPU time limit exceeded, terminating
% 255.20/231.39 eprover: CPU time limit exceeded, terminating
% 257.40/233.41 eprover: CPU time limit exceeded, terminating
% 259.64/235.42 eprover: CPU time limit exceeded, terminating
% 261.96/237.44 eprover: CPU time limit exceeded, terminating
% 264.21/239.45 eprover: CPU time limit exceeded, terminating
% 266.44/241.47 eprover: CPU time limit exceeded, terminating
% 268.70/243.48 eprover: CPU time limit exceeded, terminating
% 270.92/245.50 eprover: CPU time limit exceeded, terminating
% 273.17/247.51 eprover: CPU time limit exceeded, terminating
% 275.34/249.52 eprover: CPU time limit exceeded, terminating
% 277.63/251.54 eprover: CPU time limit exceeded, terminating
% 279.88/253.55 eprover: CPU time limit exceeded, terminating
% 282.15/255.57 eprover: CPU time limit exceeded, terminating
% 284.33/257.58 eprover: CPU time limit exceeded, terminating
% 286.62/259.59 eprover: CPU time limit exceeded, terminating
% 288.81/261.61 eprover: CPU time limit exceeded, terminating
% 291.12/263.62 eprover: CPU time limit exceeded, terminating
% 293.37/265.64 eprover: CPU time limit exceeded, terminating
% 295.55/267.65 eprover: CPU time limit exceeded, terminating
% 297.79/269.66 eprover: CPU time limit exceeded, terminating
% 300.02/271.60 eprover: CPU time limit exceeded, terminating
% 300.02/271.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------