TSTP Solution File: CAT024+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT024+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:05 EDT 2022
% Result : Timeout 286.77s 261.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CAT024+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n029.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 : Sun May 29 23:14:29 EDT 2022
% 0.13/0.34 % CPUTime :
% 23.54/23.46 eprover: CPU time limit exceeded, terminating
% 25.73/25.47 eprover: CPU time limit exceeded, terminating
% 27.97/27.48 eprover: CPU time limit exceeded, terminating
% 30.21/29.49 eprover: CPU time limit exceeded, terminating
% 32.43/31.50 eprover: CPU time limit exceeded, terminating
% 34.62/33.51 eprover: CPU time limit exceeded, terminating
% 36.87/35.52 eprover: CPU time limit exceeded, terminating
% 39.15/37.54 eprover: CPU time limit exceeded, terminating
% 41.34/39.55 eprover: CPU time limit exceeded, terminating
% 43.60/41.56 eprover: CPU time limit exceeded, terminating
% 45.85/43.57 eprover: CPU time limit exceeded, terminating
% 48.06/45.58 eprover: CPU time limit exceeded, terminating
% 50.30/47.59 eprover: CPU time limit exceeded, terminating
% 52.54/49.60 eprover: CPU time limit exceeded, terminating
% 54.72/51.61 eprover: CPU time limit exceeded, terminating
% 57.01/53.62 eprover: CPU time limit exceeded, terminating
% 59.25/55.64 eprover: CPU time limit exceeded, terminating
% 61.53/57.65 eprover: CPU time limit exceeded, terminating
% 63.74/59.66 eprover: CPU time limit exceeded, terminating
% 66.01/61.67 eprover: CPU time limit exceeded, terminating
% 68.21/63.68 eprover: CPU time limit exceeded, terminating
% 70.44/65.69 eprover: CPU time limit exceeded, terminating
% 72.69/67.70 eprover: CPU time limit exceeded, terminating
% 74.96/69.71 eprover: CPU time limit exceeded, terminating
% 77.15/71.73 eprover: CPU time limit exceeded, terminating
% 79.44/73.74 eprover: CPU time limit exceeded, terminating
% 81.64/75.75 eprover: CPU time limit exceeded, terminating
% 83.91/77.76 eprover: CPU time limit exceeded, terminating
% 86.09/79.77 eprover: CPU time limit exceeded, terminating
% 88.34/81.78 eprover: CPU time limit exceeded, terminating
% 90.60/83.79 eprover: CPU time limit exceeded, terminating
% 92.82/85.81 eprover: CPU time limit exceeded, terminating
% 95.08/87.82 eprover: CPU time limit exceeded, terminating
% 97.29/89.83 eprover: CPU time limit exceeded, terminating
% 99.52/91.84 eprover: CPU time limit exceeded, terminating
% 101.73/93.85 eprover: CPU time limit exceeded, terminating
% 104.00/95.86 eprover: CPU time limit exceeded, terminating
% 106.26/97.87 eprover: CPU time limit exceeded, terminating
% 108.44/99.88 eprover: CPU time limit exceeded, terminating
% 110.73/101.90 eprover: CPU time limit exceeded, terminating
% 112.89/103.91 eprover: CPU time limit exceeded, terminating
% 115.18/105.92 eprover: CPU time limit exceeded, terminating
% 117.41/107.93 eprover: CPU time limit exceeded, terminating
% 119.62/109.95 eprover: CPU time limit exceeded, terminating
% 121.87/111.96 eprover: CPU time limit exceeded, terminating
% 124.06/113.97 eprover: CPU time limit exceeded, terminating
% 126.32/115.98 eprover: CPU time limit exceeded, terminating
% 128.59/117.99 eprover: CPU time limit exceeded, terminating
% 130.80/120.00 eprover: CPU time limit exceeded, terminating
% 133.02/122.02 eprover: CPU time limit exceeded, terminating
% 135.28/124.03 eprover: CPU time limit exceeded, terminating
% 137.51/126.04 eprover: CPU time limit exceeded, terminating
% 139.71/128.05 eprover: CPU time limit exceeded, terminating
% 141.94/130.06 eprover: CPU time limit exceeded, terminating
% 144.15/132.07 eprover: CPU time limit exceeded, terminating
% 146.35/134.08 eprover: CPU time limit exceeded, terminating
% 148.62/136.09 eprover: CPU time limit exceeded, terminating
% 150.84/138.10 eprover: CPU time limit exceeded, terminating
% 153.07/140.11 eprover: CPU time limit exceeded, terminating
% 155.33/142.12 eprover: CPU time limit exceeded, terminating
% 157.53/144.14 eprover: CPU time limit exceeded, terminating
% 159.77/146.15 eprover: CPU time limit exceeded, terminating
% 161.96/148.16 eprover: CPU time limit exceeded, terminating
% 164.23/150.17 eprover: CPU time limit exceeded, terminating
% 166.40/152.18 eprover: CPU time limit exceeded, terminating
% 168.64/154.19 eprover: CPU time limit exceeded, terminating
% 170.89/156.20 eprover: CPU time limit exceeded, terminating
% 173.14/158.21 eprover: CPU time limit exceeded, terminating
% 175.34/160.22 eprover: CPU time limit exceeded, terminating
% 177.56/162.24 eprover: CPU time limit exceeded, terminating
% 179.84/164.26 eprover: CPU time limit exceeded, terminating
% 182.05/166.28 eprover: CPU time limit exceeded, terminating
% 184.28/168.30 eprover: CPU time limit exceeded, terminating
% 186.47/170.31 eprover: CPU time limit exceeded, terminating
% 188.69/172.32 eprover: CPU time limit exceeded, terminating
% 190.98/174.33 eprover: CPU time limit exceeded, terminating
% 193.22/176.35 eprover: CPU time limit exceeded, terminating
% 195.43/178.36 eprover: CPU time limit exceeded, terminating
% 197.65/180.38 eprover: CPU time limit exceeded, terminating
% 199.89/182.39 eprover: CPU time limit exceeded, terminating
% 202.13/184.41 eprover: CPU time limit exceeded, terminating
% 204.38/186.42 eprover: CPU time limit exceeded, terminating
% 206.57/188.44 eprover: CPU time limit exceeded, terminating
% 208.78/190.45 eprover: CPU time limit exceeded, terminating
% 211.00/192.46 eprover: CPU time limit exceeded, terminating
% 213.22/194.48 eprover: CPU time limit exceeded, terminating
% 215.50/196.50 eprover: CPU time limit exceeded, terminating
% 217.74/198.51 eprover: CPU time limit exceeded, terminating
% 219.97/200.52 eprover: CPU time limit exceeded, terminating
% 222.16/202.54 eprover: CPU time limit exceeded, terminating
% 224.39/204.55 eprover: CPU time limit exceeded, terminating
% 226.59/206.56 eprover: CPU time limit exceeded, terminating
% 228.82/208.58 eprover: CPU time limit exceeded, terminating
% 231.06/210.59 eprover: CPU time limit exceeded, terminating
% 233.28/212.60 eprover: CPU time limit exceeded, terminating
% 235.58/214.63 eprover: CPU time limit exceeded, terminating
% 237.77/216.64 eprover: CPU time limit exceeded, terminating
% 239.93/218.66 eprover: CPU time limit exceeded, terminating
% 242.17/220.68 eprover: CPU time limit exceeded, terminating
% 244.41/222.69 eprover: CPU time limit exceeded, terminating
% 246.69/224.70 eprover: CPU time limit exceeded, terminating
% 248.88/226.72 eprover: CPU time limit exceeded, terminating
% 251.10/228.73 eprover: CPU time limit exceeded, terminating
% 253.34/230.75 eprover: CPU time limit exceeded, terminating
% 255.53/232.76 eprover: CPU time limit exceeded, terminating
% 257.79/234.78 eprover: CPU time limit exceeded, terminating
% 259.99/236.79 eprover: CPU time limit exceeded, terminating
% 262.29/238.81 eprover: CPU time limit exceeded, terminating
% 264.53/240.83 eprover: CPU time limit exceeded, terminating
% 266.75/242.85 eprover: CPU time limit exceeded, terminating
% 268.94/244.86 eprover: CPU time limit exceeded, terminating
% 271.25/246.89 eprover: CPU time limit exceeded, terminating
% 273.48/248.91 eprover: CPU time limit exceeded, terminating
% 275.68/250.92 eprover: CPU time limit exceeded, terminating
% 277.91/252.94 eprover: CPU time limit exceeded, terminating
% 280.13/254.96 eprover: CPU time limit exceeded, terminating
% 282.32/256.97 eprover: CPU time limit exceeded, terminating
% 284.54/258.99 eprover: CPU time limit exceeded, terminating
% 286.77/261.00 eprover: CPU time limit exceeded, terminating
% 289.09/263.01 eprover: CPU time limit exceeded, terminating
% 291.28/265.02 eprover: CPU time limit exceeded, terminating
% 293.51/267.03 eprover: CPU time limit exceeded, terminating
% 295.76/269.04 eprover: CPU time limit exceeded, terminating
% 297.95/271.05 eprover: CPU time limit exceeded, terminating
% 300.08/272.90 eprover: CPU time limit exceeded, terminating
% 300.08/272.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------