TSTP Solution File: CAT029+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT029+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 287.68s 266.25s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : CAT029+2 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n032.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Sun May 29 22:47:57 EDT 2022
% 0.10/0.30 % CPUTime :
% 26.74/26.72 eprover: CPU time limit exceeded, terminating
% 28.91/28.73 eprover: CPU time limit exceeded, terminating
% 31.11/30.74 eprover: CPU time limit exceeded, terminating
% 33.26/32.75 eprover: CPU time limit exceeded, terminating
% 35.43/34.77 eprover: CPU time limit exceeded, terminating
% 37.62/36.78 eprover: CPU time limit exceeded, terminating
% 39.82/38.79 eprover: CPU time limit exceeded, terminating
% 42.09/40.80 eprover: CPU time limit exceeded, terminating
% 44.26/42.82 eprover: CPU time limit exceeded, terminating
% 46.45/44.83 eprover: CPU time limit exceeded, terminating
% 48.65/46.84 eprover: CPU time limit exceeded, terminating
% 50.81/48.86 eprover: CPU time limit exceeded, terminating
% 52.98/50.87 eprover: CPU time limit exceeded, terminating
% 55.16/52.88 eprover: CPU time limit exceeded, terminating
% 57.35/54.90 eprover: CPU time limit exceeded, terminating
% 59.61/56.91 eprover: CPU time limit exceeded, terminating
% 61.81/58.92 eprover: CPU time limit exceeded, terminating
% 64.00/60.94 eprover: CPU time limit exceeded, terminating
% 66.15/62.95 eprover: CPU time limit exceeded, terminating
% 68.35/64.96 eprover: CPU time limit exceeded, terminating
% 70.55/66.97 eprover: CPU time limit exceeded, terminating
% 72.74/68.98 eprover: CPU time limit exceeded, terminating
% 74.97/71.00 eprover: CPU time limit exceeded, terminating
% 77.19/73.01 eprover: CPU time limit exceeded, terminating
% 79.36/75.02 eprover: CPU time limit exceeded, terminating
% 81.53/77.04 eprover: CPU time limit exceeded, terminating
% 83.73/79.05 eprover: CPU time limit exceeded, terminating
% 85.93/81.06 eprover: CPU time limit exceeded, terminating
% 88.10/83.07 eprover: CPU time limit exceeded, terminating
% 90.29/85.09 eprover: CPU time limit exceeded, terminating
% 92.56/87.10 eprover: CPU time limit exceeded, terminating
% 94.75/89.11 eprover: CPU time limit exceeded, terminating
% 96.93/91.13 eprover: CPU time limit exceeded, terminating
% 99.11/93.14 eprover: CPU time limit exceeded, terminating
% 101.29/95.15 eprover: CPU time limit exceeded, terminating
% 103.47/97.16 eprover: CPU time limit exceeded, terminating
% 105.66/99.18 eprover: CPU time limit exceeded, terminating
% 107.88/101.19 eprover: CPU time limit exceeded, terminating
% 110.12/103.20 eprover: CPU time limit exceeded, terminating
% 112.29/105.22 eprover: CPU time limit exceeded, terminating
% 114.50/107.23 eprover: CPU time limit exceeded, terminating
% 116.70/109.24 eprover: CPU time limit exceeded, terminating
% 118.89/111.25 eprover: CPU time limit exceeded, terminating
% 121.04/113.27 eprover: CPU time limit exceeded, terminating
% 123.30/115.28 eprover: CPU time limit exceeded, terminating
% 125.42/117.29 eprover: CPU time limit exceeded, terminating
% 127.69/119.31 eprover: CPU time limit exceeded, terminating
% 129.87/121.32 eprover: CPU time limit exceeded, terminating
% 132.04/123.33 eprover: CPU time limit exceeded, terminating
% 134.23/125.34 eprover: CPU time limit exceeded, terminating
% 136.41/127.36 eprover: CPU time limit exceeded, terminating
% 138.61/129.37 eprover: CPU time limit exceeded, terminating
% 140.80/131.38 eprover: CPU time limit exceeded, terminating
% 143.03/133.39 eprover: CPU time limit exceeded, terminating
% 145.22/135.41 eprover: CPU time limit exceeded, terminating
% 147.43/137.42 eprover: CPU time limit exceeded, terminating
% 149.62/139.43 eprover: CPU time limit exceeded, terminating
% 151.80/141.45 eprover: CPU time limit exceeded, terminating
% 153.97/143.46 eprover: CPU time limit exceeded, terminating
% 156.14/145.47 eprover: CPU time limit exceeded, terminating
% 158.33/147.48 eprover: CPU time limit exceeded, terminating
% 160.51/149.50 eprover: CPU time limit exceeded, terminating
% 162.79/151.51 eprover: CPU time limit exceeded, terminating
% 164.96/153.52 eprover: CPU time limit exceeded, terminating
% 167.12/155.54 eprover: CPU time limit exceeded, terminating
% 169.33/157.55 eprover: CPU time limit exceeded, terminating
% 171.49/159.56 eprover: CPU time limit exceeded, terminating
% 173.68/161.58 eprover: CPU time limit exceeded, terminating
% 175.86/163.59 eprover: CPU time limit exceeded, terminating
% 178.12/165.60 eprover: CPU time limit exceeded, terminating
% 180.32/167.61 eprover: CPU time limit exceeded, terminating
% 182.49/169.63 eprover: CPU time limit exceeded, terminating
% 184.69/171.64 eprover: CPU time limit exceeded, terminating
% 186.85/173.65 eprover: CPU time limit exceeded, terminating
% 189.06/175.66 eprover: CPU time limit exceeded, terminating
% 191.22/177.68 eprover: CPU time limit exceeded, terminating
% 193.47/179.69 eprover: CPU time limit exceeded, terminating
% 195.69/181.70 eprover: CPU time limit exceeded, terminating
% 197.89/183.72 eprover: CPU time limit exceeded, terminating
% 200.04/185.73 eprover: CPU time limit exceeded, terminating
% 202.24/187.74 eprover: CPU time limit exceeded, terminating
% 204.44/189.76 eprover: CPU time limit exceeded, terminating
% 206.61/191.77 eprover: CPU time limit exceeded, terminating
% 208.88/193.79 eprover: CPU time limit exceeded, terminating
% 210.99/195.80 eprover: CPU time limit exceeded, terminating
% 213.26/197.81 eprover: CPU time limit exceeded, terminating
% 215.42/199.82 eprover: CPU time limit exceeded, terminating
% 217.63/201.84 eprover: CPU time limit exceeded, terminating
% 219.79/203.85 eprover: CPU time limit exceeded, terminating
% 221.97/205.86 eprover: CPU time limit exceeded, terminating
% 224.14/207.87 eprover: CPU time limit exceeded, terminating
% 226.34/209.89 eprover: CPU time limit exceeded, terminating
% 228.50/211.90 eprover: CPU time limit exceeded, terminating
% 230.78/213.92 eprover: CPU time limit exceeded, terminating
% 232.94/215.93 eprover: CPU time limit exceeded, terminating
% 235.14/217.94 eprover: CPU time limit exceeded, terminating
% 237.31/219.95 eprover: CPU time limit exceeded, terminating
% 239.50/221.97 eprover: CPU time limit exceeded, terminating
% 241.64/223.98 eprover: CPU time limit exceeded, terminating
% 243.91/225.99 eprover: CPU time limit exceeded, terminating
% 246.09/228.01 eprover: CPU time limit exceeded, terminating
% 248.28/230.02 eprover: CPU time limit exceeded, terminating
% 250.46/232.03 eprover: CPU time limit exceeded, terminating
% 252.65/234.04 eprover: CPU time limit exceeded, terminating
% 254.81/236.06 eprover: CPU time limit exceeded, terminating
% 257.00/238.07 eprover: CPU time limit exceeded, terminating
% 259.19/240.08 eprover: CPU time limit exceeded, terminating
% 261.34/242.10 eprover: CPU time limit exceeded, terminating
% 263.61/244.11 eprover: CPU time limit exceeded, terminating
% 265.79/246.12 eprover: CPU time limit exceeded, terminating
% 267.94/248.13 eprover: CPU time limit exceeded, terminating
% 270.15/250.15 eprover: CPU time limit exceeded, terminating
% 272.33/252.16 eprover: CPU time limit exceeded, terminating
% 274.50/254.17 eprover: CPU time limit exceeded, terminating
% 276.75/256.19 eprover: CPU time limit exceeded, terminating
% 278.95/258.20 eprover: CPU time limit exceeded, terminating
% 281.14/260.21 eprover: CPU time limit exceeded, terminating
% 283.29/262.23 eprover: CPU time limit exceeded, terminating
% 285.49/264.24 eprover: CPU time limit exceeded, terminating
% 287.68/266.25 eprover: CPU time limit exceeded, terminating
% 289.84/268.26 eprover: CPU time limit exceeded, terminating
% 292.09/270.28 eprover: CPU time limit exceeded, terminating
% 294.19/272.29 eprover: CPU time limit exceeded, terminating
% 296.40/274.30 eprover: CPU time limit exceeded, terminating
% 298.63/276.32 eprover: CPU time limit exceeded, terminating
% 300.04/277.52 eprover: CPU time limit exceeded, terminating
% 300.04/277.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------