TSTP Solution File: CAT023+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT023+2 : TPTP v8.1.0. Released v3.4.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 00:01:05 EDT 2022
% Result : Timeout 286.59s 260.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CAT023+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun May 29 18:16:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 23.00/22.96 eprover: CPU time limit exceeded, terminating
% 25.26/24.97 eprover: CPU time limit exceeded, terminating
% 27.45/26.98 eprover: CPU time limit exceeded, terminating
% 29.73/28.99 eprover: CPU time limit exceeded, terminating
% 31.93/31.00 eprover: CPU time limit exceeded, terminating
% 34.18/33.02 eprover: CPU time limit exceeded, terminating
% 36.43/35.03 eprover: CPU time limit exceeded, terminating
% 38.61/37.04 eprover: CPU time limit exceeded, terminating
% 40.90/39.05 eprover: CPU time limit exceeded, terminating
% 43.10/41.06 eprover: CPU time limit exceeded, terminating
% 45.33/43.08 eprover: CPU time limit exceeded, terminating
% 47.54/45.09 eprover: CPU time limit exceeded, terminating
% 49.78/47.10 eprover: CPU time limit exceeded, terminating
% 52.03/49.11 eprover: CPU time limit exceeded, terminating
% 54.27/51.13 eprover: CPU time limit exceeded, terminating
% 56.52/53.14 eprover: CPU time limit exceeded, terminating
% 58.74/55.15 eprover: CPU time limit exceeded, terminating
% 60.95/57.16 eprover: CPU time limit exceeded, terminating
% 63.23/59.17 eprover: CPU time limit exceeded, terminating
% 65.47/61.19 eprover: CPU time limit exceeded, terminating
% 67.66/63.20 eprover: CPU time limit exceeded, terminating
% 69.93/65.21 eprover: CPU time limit exceeded, terminating
% 72.16/67.22 eprover: CPU time limit exceeded, terminating
% 74.38/69.24 eprover: CPU time limit exceeded, terminating
% 76.58/71.25 eprover: CPU time limit exceeded, terminating
% 78.87/73.26 eprover: CPU time limit exceeded, terminating
% 81.07/75.27 eprover: CPU time limit exceeded, terminating
% 83.34/77.29 eprover: CPU time limit exceeded, terminating
% 85.53/79.30 eprover: CPU time limit exceeded, terminating
% 87.81/81.31 eprover: CPU time limit exceeded, terminating
% 89.98/83.32 eprover: CPU time limit exceeded, terminating
% 92.27/85.33 eprover: CPU time limit exceeded, terminating
% 94.49/87.35 eprover: CPU time limit exceeded, terminating
% 96.70/89.36 eprover: CPU time limit exceeded, terminating
% 98.94/91.37 eprover: CPU time limit exceeded, terminating
% 101.21/93.38 eprover: CPU time limit exceeded, terminating
% 103.39/95.39 eprover: CPU time limit exceeded, terminating
% 105.62/97.41 eprover: CPU time limit exceeded, terminating
% 107.85/99.42 eprover: CPU time limit exceeded, terminating
% 110.15/101.43 eprover: CPU time limit exceeded, terminating
% 112.35/103.44 eprover: CPU time limit exceeded, terminating
% 114.62/105.45 eprover: CPU time limit exceeded, terminating
% 116.81/107.47 eprover: CPU time limit exceeded, terminating
% 119.07/109.48 eprover: CPU time limit exceeded, terminating
% 121.24/111.49 eprover: CPU time limit exceeded, terminating
% 123.56/113.50 eprover: CPU time limit exceeded, terminating
% 125.79/115.52 eprover: CPU time limit exceeded, terminating
% 128.03/117.53 eprover: CPU time limit exceeded, terminating
% 130.25/119.54 eprover: CPU time limit exceeded, terminating
% 132.47/121.55 eprover: CPU time limit exceeded, terminating
% 134.71/123.56 eprover: CPU time limit exceeded, terminating
% 136.93/125.57 eprover: CPU time limit exceeded, terminating
% 139.19/127.58 eprover: CPU time limit exceeded, terminating
% 141.35/129.60 eprover: CPU time limit exceeded, terminating
% 143.61/131.61 eprover: CPU time limit exceeded, terminating
% 145.85/133.62 eprover: CPU time limit exceeded, terminating
% 148.12/135.63 eprover: CPU time limit exceeded, terminating
% 150.32/137.64 eprover: CPU time limit exceeded, terminating
% 152.59/139.66 eprover: CPU time limit exceeded, terminating
% 154.82/141.67 eprover: CPU time limit exceeded, terminating
% 157.03/143.68 eprover: CPU time limit exceeded, terminating
% 159.27/145.69 eprover: CPU time limit exceeded, terminating
% 161.48/147.71 eprover: CPU time limit exceeded, terminating
% 163.79/149.72 eprover: CPU time limit exceeded, terminating
% 166.00/151.73 eprover: CPU time limit exceeded, terminating
% 168.24/153.74 eprover: CPU time limit exceeded, terminating
% 170.47/155.76 eprover: CPU time limit exceeded, terminating
% 172.65/157.77 eprover: CPU time limit exceeded, terminating
% 174.94/159.78 eprover: CPU time limit exceeded, terminating
% 177.15/161.79 eprover: CPU time limit exceeded, terminating
% 179.33/163.81 eprover: CPU time limit exceeded, terminating
% 181.58/165.82 eprover: CPU time limit exceeded, terminating
% 183.84/167.83 eprover: CPU time limit exceeded, terminating
% 186.08/169.85 eprover: CPU time limit exceeded, terminating
% 188.29/171.86 eprover: CPU time limit exceeded, terminating
% 190.56/173.88 eprover: CPU time limit exceeded, terminating
% 192.74/175.89 eprover: CPU time limit exceeded, terminating
% 195.04/177.90 eprover: CPU time limit exceeded, terminating
% 197.28/179.91 eprover: CPU time limit exceeded, terminating
% 199.52/181.93 eprover: CPU time limit exceeded, terminating
% 201.68/183.94 eprover: CPU time limit exceeded, terminating
% 203.98/185.95 eprover: CPU time limit exceeded, terminating
% 206.22/187.96 eprover: CPU time limit exceeded, terminating
% 208.42/189.98 eprover: CPU time limit exceeded, terminating
% 210.71/191.99 eprover: CPU time limit exceeded, terminating
% 212.87/194.00 eprover: CPU time limit exceeded, terminating
% 215.16/196.01 eprover: CPU time limit exceeded, terminating
% 217.41/198.03 eprover: CPU time limit exceeded, terminating
% 219.62/200.04 eprover: CPU time limit exceeded, terminating
% 221.84/202.05 eprover: CPU time limit exceeded, terminating
% 224.03/204.06 eprover: CPU time limit exceeded, terminating
% 226.30/206.08 eprover: CPU time limit exceeded, terminating
% 228.57/208.09 eprover: CPU time limit exceeded, terminating
% 230.80/210.10 eprover: CPU time limit exceeded, terminating
% 233.02/212.11 eprover: CPU time limit exceeded, terminating
% 235.25/214.13 eprover: CPU time limit exceeded, terminating
% 237.51/216.14 eprover: CPU time limit exceeded, terminating
% 239.72/218.15 eprover: CPU time limit exceeded, terminating
% 241.94/220.16 eprover: CPU time limit exceeded, terminating
% 244.19/222.18 eprover: CPU time limit exceeded, terminating
% 246.38/224.19 eprover: CPU time limit exceeded, terminating
% 248.68/226.20 eprover: CPU time limit exceeded, terminating
% 250.91/228.22 eprover: CPU time limit exceeded, terminating
% 253.15/230.23 eprover: CPU time limit exceeded, terminating
% 255.36/232.24 eprover: CPU time limit exceeded, terminating
% 257.61/234.25 eprover: CPU time limit exceeded, terminating
% 259.83/236.27 eprover: CPU time limit exceeded, terminating
% 262.07/238.28 eprover: CPU time limit exceeded, terminating
% 264.31/240.29 eprover: CPU time limit exceeded, terminating
% 266.55/242.30 eprover: CPU time limit exceeded, terminating
% 268.73/244.31 eprover: CPU time limit exceeded, terminating
% 271.02/246.32 eprover: CPU time limit exceeded, terminating
% 273.22/248.34 eprover: CPU time limit exceeded, terminating
% 275.47/250.35 eprover: CPU time limit exceeded, terminating
% 277.68/252.37 eprover: CPU time limit exceeded, terminating
% 279.94/254.38 eprover: CPU time limit exceeded, terminating
% 282.17/256.39 eprover: CPU time limit exceeded, terminating
% 284.33/258.40 eprover: CPU time limit exceeded, terminating
% 286.59/260.41 eprover: CPU time limit exceeded, terminating
% 288.83/262.42 eprover: CPU time limit exceeded, terminating
% 291.05/264.43 eprover: CPU time limit exceeded, terminating
% 293.29/266.44 eprover: CPU time limit exceeded, terminating
% 295.46/268.45 eprover: CPU time limit exceeded, terminating
% 297.70/270.46 eprover: CPU time limit exceeded, terminating
% 299.95/272.47 eprover: CPU time limit exceeded, terminating
% 300.06/272.55 eprover: CPU time limit exceeded, terminating
% 300.06/272.56 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------