TSTP Solution File: CAT028+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT028+2 : TPTP v8.1.0. Released v3.4.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 00:01:06 EDT 2022
% Result : Timeout 286.92s 261.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CAT028+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n018.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Sun May 29 23:49:27 EDT 2022
% 0.14/0.34 % CPUTime :
% 25.92/25.86 eprover: CPU time limit exceeded, terminating
% 28.08/27.88 eprover: CPU time limit exceeded, terminating
% 30.38/29.89 eprover: CPU time limit exceeded, terminating
% 32.63/31.91 eprover: CPU time limit exceeded, terminating
% 34.82/33.93 eprover: CPU time limit exceeded, terminating
% 37.02/35.95 eprover: CPU time limit exceeded, terminating
% 39.29/37.97 eprover: CPU time limit exceeded, terminating
% 41.52/39.98 eprover: CPU time limit exceeded, terminating
% 43.70/41.99 eprover: CPU time limit exceeded, terminating
% 46.03/44.00 eprover: CPU time limit exceeded, terminating
% 48.29/46.02 eprover: CPU time limit exceeded, terminating
% 50.47/48.03 eprover: CPU time limit exceeded, terminating
% 52.73/50.04 eprover: CPU time limit exceeded, terminating
% 54.94/52.05 eprover: CPU time limit exceeded, terminating
% 57.14/54.07 eprover: CPU time limit exceeded, terminating
% 59.43/56.08 eprover: CPU time limit exceeded, terminating
% 61.64/58.09 eprover: CPU time limit exceeded, terminating
% 63.93/60.11 eprover: CPU time limit exceeded, terminating
% 66.16/62.12 eprover: CPU time limit exceeded, terminating
% 68.38/64.14 eprover: CPU time limit exceeded, terminating
% 70.57/66.16 eprover: CPU time limit exceeded, terminating
% 72.81/68.17 eprover: CPU time limit exceeded, terminating
% 75.04/70.19 eprover: CPU time limit exceeded, terminating
% 77.38/72.20 eprover: CPU time limit exceeded, terminating
% 79.62/74.22 eprover: CPU time limit exceeded, terminating
% 81.85/76.23 eprover: CPU time limit exceeded, terminating
% 84.03/78.25 eprover: CPU time limit exceeded, terminating
% 86.25/80.26 eprover: CPU time limit exceeded, terminating
% 88.47/82.28 eprover: CPU time limit exceeded, terminating
% 90.72/84.29 eprover: CPU time limit exceeded, terminating
% 92.99/86.30 eprover: CPU time limit exceeded, terminating
% 95.22/88.32 eprover: CPU time limit exceeded, terminating
% 97.46/90.33 eprover: CPU time limit exceeded, terminating
% 99.64/92.35 eprover: CPU time limit exceeded, terminating
% 101.87/94.36 eprover: CPU time limit exceeded, terminating
% 104.13/96.38 eprover: CPU time limit exceeded, terminating
% 106.30/98.40 eprover: CPU time limit exceeded, terminating
% 108.64/100.41 eprover: CPU time limit exceeded, terminating
% 110.85/102.43 eprover: CPU time limit exceeded, terminating
% 113.07/104.45 eprover: CPU time limit exceeded, terminating
% 115.31/106.46 eprover: CPU time limit exceeded, terminating
% 117.59/108.47 eprover: CPU time limit exceeded, terminating
% 119.75/110.49 eprover: CPU time limit exceeded, terminating
% 122.05/112.50 eprover: CPU time limit exceeded, terminating
% 124.27/114.51 eprover: CPU time limit exceeded, terminating
% 126.50/116.52 eprover: CPU time limit exceeded, terminating
% 128.73/118.54 eprover: CPU time limit exceeded, terminating
% 130.93/120.55 eprover: CPU time limit exceeded, terminating
% 133.12/122.56 eprover: CPU time limit exceeded, terminating
% 135.35/124.57 eprover: CPU time limit exceeded, terminating
% 137.59/126.60 eprover: CPU time limit exceeded, terminating
% 139.82/128.61 eprover: CPU time limit exceeded, terminating
% 142.01/130.62 eprover: CPU time limit exceeded, terminating
% 144.24/132.64 eprover: CPU time limit exceeded, terminating
% 146.47/134.65 eprover: CPU time limit exceeded, terminating
% 148.68/136.66 eprover: CPU time limit exceeded, terminating
% 150.91/138.67 eprover: CPU time limit exceeded, terminating
% 153.12/140.69 eprover: CPU time limit exceeded, terminating
% 155.35/142.70 eprover: CPU time limit exceeded, terminating
% 157.62/144.71 eprover: CPU time limit exceeded, terminating
% 159.83/146.72 eprover: CPU time limit exceeded, terminating
% 162.06/148.73 eprover: CPU time limit exceeded, terminating
% 164.32/150.74 eprover: CPU time limit exceeded, terminating
% 166.50/152.75 eprover: CPU time limit exceeded, terminating
% 168.76/154.77 eprover: CPU time limit exceeded, terminating
% 171.01/156.78 eprover: CPU time limit exceeded, terminating
% 173.19/158.79 eprover: CPU time limit exceeded, terminating
% 175.47/160.80 eprover: CPU time limit exceeded, terminating
% 177.63/162.81 eprover: CPU time limit exceeded, terminating
% 179.93/164.82 eprover: CPU time limit exceeded, terminating
% 182.11/166.83 eprover: CPU time limit exceeded, terminating
% 184.40/168.85 eprover: CPU time limit exceeded, terminating
% 186.59/170.86 eprover: CPU time limit exceeded, terminating
% 188.84/172.87 eprover: CPU time limit exceeded, terminating
% 191.11/174.88 eprover: CPU time limit exceeded, terminating
% 193.25/176.89 eprover: CPU time limit exceeded, terminating
% 195.49/178.90 eprover: CPU time limit exceeded, terminating
% 197.71/180.92 eprover: CPU time limit exceeded, terminating
% 199.92/182.93 eprover: CPU time limit exceeded, terminating
% 202.16/184.95 eprover: CPU time limit exceeded, terminating
% 204.42/186.96 eprover: CPU time limit exceeded, terminating
% 206.67/188.97 eprover: CPU time limit exceeded, terminating
% 208.86/190.98 eprover: CPU time limit exceeded, terminating
% 211.12/192.99 eprover: CPU time limit exceeded, terminating
% 213.37/195.01 eprover: CPU time limit exceeded, terminating
% 215.60/197.02 eprover: CPU time limit exceeded, terminating
% 217.81/199.03 eprover: CPU time limit exceeded, terminating
% 220.04/201.04 eprover: CPU time limit exceeded, terminating
% 222.27/203.05 eprover: CPU time limit exceeded, terminating
% 224.51/205.06 eprover: CPU time limit exceeded, terminating
% 226.72/207.07 eprover: CPU time limit exceeded, terminating
% 228.98/209.09 eprover: CPU time limit exceeded, terminating
% 231.21/211.10 eprover: CPU time limit exceeded, terminating
% 233.42/213.11 eprover: CPU time limit exceeded, terminating
% 235.65/215.12 eprover: CPU time limit exceeded, terminating
% 237.81/217.13 eprover: CPU time limit exceeded, terminating
% 240.06/219.14 eprover: CPU time limit exceeded, terminating
% 242.32/221.15 eprover: CPU time limit exceeded, terminating
% 244.57/223.16 eprover: CPU time limit exceeded, terminating
% 246.73/225.18 eprover: CPU time limit exceeded, terminating
% 249.00/227.19 eprover: CPU time limit exceeded, terminating
% 251.27/229.20 eprover: CPU time limit exceeded, terminating
% 253.47/231.21 eprover: CPU time limit exceeded, terminating
% 255.69/233.22 eprover: CPU time limit exceeded, terminating
% 257.92/235.23 eprover: CPU time limit exceeded, terminating
% 260.12/237.24 eprover: CPU time limit exceeded, terminating
% 262.39/239.26 eprover: CPU time limit exceeded, terminating
% 264.64/241.27 eprover: CPU time limit exceeded, terminating
% 266.88/243.28 eprover: CPU time limit exceeded, terminating
% 269.08/245.29 eprover: CPU time limit exceeded, terminating
% 271.31/247.30 eprover: CPU time limit exceeded, terminating
% 273.49/249.31 eprover: CPU time limit exceeded, terminating
% 275.73/251.32 eprover: CPU time limit exceeded, terminating
% 278.03/253.33 eprover: CPU time limit exceeded, terminating
% 280.26/255.35 eprover: CPU time limit exceeded, terminating
% 282.48/257.36 eprover: CPU time limit exceeded, terminating
% 284.71/259.37 eprover: CPU time limit exceeded, terminating
% 286.92/261.38 eprover: CPU time limit exceeded, terminating
% 289.15/263.39 eprover: CPU time limit exceeded, terminating
% 291.38/265.40 eprover: CPU time limit exceeded, terminating
% 293.62/267.42 eprover: CPU time limit exceeded, terminating
% 295.84/269.43 eprover: CPU time limit exceeded, terminating
% 298.05/271.44 eprover: CPU time limit exceeded, terminating
% 300.06/273.23 eprover: CPU time limit exceeded, terminating
% 300.06/273.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------