TSTP Solution File: GRP794+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP794+1 : TPTP v8.1.0. Released v7.5.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 : Sat Jul 16 09:34:36 EDT 2022
% Result : Timeout 286.84s 286.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : GRP794+1 : TPTP v8.1.0. Released v7.5.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.14/0.36 % Computer : n024.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Mon Jun 13 22:27:03 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.23/2.45 eprover: CPU time limit exceeded, terminating
% 4.19/4.47 eprover: CPU time limit exceeded, terminating
% 6.22/6.49 eprover: CPU time limit exceeded, terminating
% 8.30/8.50 eprover: CPU time limit exceeded, terminating
% 10.31/10.52 eprover: CPU time limit exceeded, terminating
% 12.31/12.53 eprover: CPU time limit exceeded, terminating
% 14.34/14.55 eprover: CPU time limit exceeded, terminating
% 16.32/16.56 eprover: CPU time limit exceeded, terminating
% 18.31/18.58 eprover: CPU time limit exceeded, terminating
% 20.42/20.59 eprover: CPU time limit exceeded, terminating
% 22.42/22.61 eprover: CPU time limit exceeded, terminating
% 24.46/24.62 eprover: CPU time limit exceeded, terminating
% 26.43/26.64 eprover: CPU time limit exceeded, terminating
% 28.47/28.65 eprover: CPU time limit exceeded, terminating
% 30.44/30.67 eprover: CPU time limit exceeded, terminating
% 32.44/32.68 eprover: CPU time limit exceeded, terminating
% 34.55/34.70 eprover: CPU time limit exceeded, terminating
% 36.55/36.71 eprover: CPU time limit exceeded, terminating
% 38.57/38.73 eprover: CPU time limit exceeded, terminating
% 40.57/40.74 eprover: CPU time limit exceeded, terminating
% 42.59/42.75 eprover: CPU time limit exceeded, terminating
% 44.59/44.77 eprover: CPU time limit exceeded, terminating
% 46.59/46.78 eprover: CPU time limit exceeded, terminating
% 48.69/48.80 eprover: CPU time limit exceeded, terminating
% 50.68/50.81 eprover: CPU time limit exceeded, terminating
% 52.69/52.83 eprover: CPU time limit exceeded, terminating
% 54.71/54.84 eprover: CPU time limit exceeded, terminating
% 56.70/56.86 eprover: CPU time limit exceeded, terminating
% 58.72/58.87 eprover: CPU time limit exceeded, terminating
% 60.71/60.88 eprover: CPU time limit exceeded, terminating
% 62.80/62.91 eprover: CPU time limit exceeded, terminating
% 64.82/64.93 eprover: CPU time limit exceeded, terminating
% 66.78/66.94 eprover: CPU time limit exceeded, terminating
% 68.83/68.96 eprover: CPU time limit exceeded, terminating
% 70.82/70.97 eprover: CPU time limit exceeded, terminating
% 72.90/73.00 eprover: CPU time limit exceeded, terminating
% 74.89/75.01 eprover: CPU time limit exceeded, terminating
% 76.92/77.03 eprover: CPU time limit exceeded, terminating
% 78.93/79.04 eprover: CPU time limit exceeded, terminating
% 80.93/81.06 eprover: CPU time limit exceeded, terminating
% 82.93/83.08 eprover: CPU time limit exceeded, terminating
% 84.93/85.10 eprover: CPU time limit exceeded, terminating
% 87.01/87.11 eprover: CPU time limit exceeded, terminating
% 89.03/89.13 eprover: CPU time limit exceeded, terminating
% 91.06/91.14 eprover: CPU time limit exceeded, terminating
% 93.02/93.17 eprover: CPU time limit exceeded, terminating
% 95.04/95.18 eprover: CPU time limit exceeded, terminating
% 97.11/97.20 eprover: CPU time limit exceeded, terminating
% 99.12/99.21 eprover: CPU time limit exceeded, terminating
% 101.14/101.23 eprover: CPU time limit exceeded, terminating
% 103.15/103.25 eprover: CPU time limit exceeded, terminating
% 105.14/105.27 eprover: CPU time limit exceeded, terminating
% 107.15/107.28 eprover: CPU time limit exceeded, terminating
% 109.15/109.30 eprover: CPU time limit exceeded, terminating
% 111.24/111.31 eprover: CPU time limit exceeded, terminating
% 113.25/113.34 eprover: CPU time limit exceeded, terminating
% 115.25/115.35 eprover: CPU time limit exceeded, terminating
% 117.27/117.37 eprover: CPU time limit exceeded, terminating
% 119.23/119.38 eprover: CPU time limit exceeded, terminating
% 121.26/121.40 eprover: CPU time limit exceeded, terminating
% 123.34/123.43 eprover: CPU time limit exceeded, terminating
% 125.32/125.44 eprover: CPU time limit exceeded, terminating
% 127.37/127.45 eprover: CPU time limit exceeded, terminating
% 129.33/129.47 eprover: CPU time limit exceeded, terminating
% 131.38/131.48 eprover: CPU time limit exceeded, terminating
% 133.44/133.50 eprover: CPU time limit exceeded, terminating
% 135.47/135.51 eprover: CPU time limit exceeded, terminating
% 137.50/137.53 eprover: CPU time limit exceeded, terminating
% 139.46/139.54 eprover: CPU time limit exceeded, terminating
% 141.49/141.56 eprover: CPU time limit exceeded, terminating
% 143.51/143.57 eprover: CPU time limit exceeded, terminating
% 145.50/145.59 eprover: CPU time limit exceeded, terminating
% 147.52/147.60 eprover: CPU time limit exceeded, terminating
% 149.59/149.62 eprover: CPU time limit exceeded, terminating
% 151.57/151.63 eprover: CPU time limit exceeded, terminating
% 153.59/153.65 eprover: CPU time limit exceeded, terminating
% 155.63/155.66 eprover: CPU time limit exceeded, terminating
% 157.67/157.68 eprover: CPU time limit exceeded, terminating
% 159.62/159.69 eprover: CPU time limit exceeded, terminating
% 161.65/161.71 eprover: CPU time limit exceeded, terminating
% 163.75/163.72 eprover: CPU time limit exceeded, terminating
% 165.72/165.74 eprover: CPU time limit exceeded, terminating
% 167.74/167.75 eprover: CPU time limit exceeded, terminating
% 169.77/169.77 eprover: CPU time limit exceeded, terminating
% 171.74/171.78 eprover: CPU time limit exceeded, terminating
% 173.76/173.80 eprover: CPU time limit exceeded, terminating
% 175.85/175.81 eprover: CPU time limit exceeded, terminating
% 177.85/177.83 eprover: CPU time limit exceeded, terminating
% 179.84/179.84 eprover: CPU time limit exceeded, terminating
% 181.85/181.86 eprover: CPU time limit exceeded, terminating
% 183.89/183.87 eprover: CPU time limit exceeded, terminating
% 185.88/185.89 eprover: CPU time limit exceeded, terminating
% 187.95/187.90 eprover: CPU time limit exceeded, terminating
% 189.99/189.91 eprover: CPU time limit exceeded, terminating
% 191.97/191.93 eprover: CPU time limit exceeded, terminating
% 194.00/193.94 eprover: CPU time limit exceeded, terminating
% 195.99/195.96 eprover: CPU time limit exceeded, terminating
% 197.98/197.97 eprover: CPU time limit exceeded, terminating
% 200.01/199.98 eprover: CPU time limit exceeded, terminating
% 202.06/202.00 eprover: CPU time limit exceeded, terminating
% 204.10/204.01 eprover: CPU time limit exceeded, terminating
% 206.13/206.03 eprover: CPU time limit exceeded, terminating
% 208.09/208.04 eprover: CPU time limit exceeded, terminating
% 210.12/210.06 eprover: CPU time limit exceeded, terminating
% 212.15/212.07 eprover: CPU time limit exceeded, terminating
% 214.12/214.09 eprover: CPU time limit exceeded, terminating
% 216.15/216.10 eprover: CPU time limit exceeded, terminating
% 218.24/218.12 eprover: CPU time limit exceeded, terminating
% 220.27/220.13 eprover: CPU time limit exceeded, terminating
% 222.23/222.15 eprover: CPU time limit exceeded, terminating
% 224.25/224.16 eprover: CPU time limit exceeded, terminating
% 226.27/226.18 eprover: CPU time limit exceeded, terminating
% 228.34/228.19 eprover: CPU time limit exceeded, terminating
% 230.34/230.21 eprover: CPU time limit exceeded, terminating
% 232.35/232.22 eprover: CPU time limit exceeded, terminating
% 234.40/234.24 eprover: CPU time limit exceeded, terminating
% 236.36/236.25 eprover: CPU time limit exceeded, terminating
% 238.37/238.27 eprover: CPU time limit exceeded, terminating
% 240.37/240.28 eprover: CPU time limit exceeded, terminating
% 242.46/242.30 eprover: CPU time limit exceeded, terminating
% 244.49/244.31 eprover: CPU time limit exceeded, terminating
% 246.49/246.33 eprover: CPU time limit exceeded, terminating
% 248.48/248.34 eprover: CPU time limit exceeded, terminating
% 250.48/250.36 eprover: CPU time limit exceeded, terminating
% 252.52/252.37 eprover: CPU time limit exceeded, terminating
% 254.52/254.39 eprover: CPU time limit exceeded, terminating
% 256.59/256.40 eprover: CPU time limit exceeded, terminating
% 258.62/258.42 eprover: CPU time limit exceeded, terminating
% 260.61/260.43 eprover: CPU time limit exceeded, terminating
% 262.64/262.45 eprover: CPU time limit exceeded, terminating
% 264.62/264.46 eprover: CPU time limit exceeded, terminating
% 266.63/266.48 eprover: CPU time limit exceeded, terminating
% 268.64/268.49 eprover: CPU time limit exceeded, terminating
% 270.75/270.51 eprover: CPU time limit exceeded, terminating
% 272.73/272.52 eprover: CPU time limit exceeded, terminating
% 274.75/274.55 eprover: CPU time limit exceeded, terminating
% 276.72/276.56 eprover: CPU time limit exceeded, terminating
% 278.76/278.58 eprover: CPU time limit exceeded, terminating
% 280.76/280.59 eprover: CPU time limit exceeded, terminating
% 282.85/282.61 eprover: CPU time limit exceeded, terminating
% 284.85/284.63 eprover: CPU time limit exceeded, terminating
% 286.84/286.65 eprover: CPU time limit exceeded, terminating
% 288.82/288.66 eprover: CPU time limit exceeded, terminating
% 290.86/290.68 eprover: CPU time limit exceeded, terminating
% 292.88/292.69 eprover: CPU time limit exceeded, terminating
% 294.96/294.71 eprover: CPU time limit exceeded, terminating
% 296.95/296.72 eprover: CPU time limit exceeded, terminating
% 298.97/298.74 eprover: CPU time limit exceeded, terminating
% 300.09/299.81 eprover: CPU time limit exceeded, terminating
% 300.09/299.82 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------