TSTP Solution File: GRP816+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP816+1 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.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:42 EDT 2022
% Result : Timeout 287.31s 286.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : GRP816+1 : TPTP v8.1.0. Released v7.5.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n005.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jun 14 06:42:39 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.20/2.44 eprover: CPU time limit exceeded, terminating
% 4.27/4.46 eprover: CPU time limit exceeded, terminating
% 6.32/6.47 eprover: CPU time limit exceeded, terminating
% 8.33/8.49 eprover: CPU time limit exceeded, terminating
% 10.30/10.50 eprover: CPU time limit exceeded, terminating
% 12.34/12.52 eprover: CPU time limit exceeded, terminating
% 14.40/14.53 eprover: CPU time limit exceeded, terminating
% 16.40/16.55 eprover: CPU time limit exceeded, terminating
% 18.43/18.56 eprover: CPU time limit exceeded, terminating
% 20.44/20.58 eprover: CPU time limit exceeded, terminating
% 22.46/22.59 eprover: CPU time limit exceeded, terminating
% 24.50/24.61 eprover: CPU time limit exceeded, terminating
% 26.51/26.63 eprover: CPU time limit exceeded, terminating
% 28.55/28.64 eprover: CPU time limit exceeded, terminating
% 30.48/30.66 eprover: CPU time limit exceeded, terminating
% 32.52/32.68 eprover: CPU time limit exceeded, terminating
% 34.60/34.70 eprover: CPU time limit exceeded, terminating
% 36.60/36.71 eprover: CPU time limit exceeded, terminating
% 38.64/38.73 eprover: CPU time limit exceeded, terminating
% 40.62/40.74 eprover: CPU time limit exceeded, terminating
% 42.67/42.77 eprover: CPU time limit exceeded, terminating
% 44.68/44.78 eprover: CPU time limit exceeded, terminating
% 46.66/46.80 eprover: CPU time limit exceeded, terminating
% 48.72/48.81 eprover: CPU time limit exceeded, terminating
% 50.75/50.83 eprover: CPU time limit exceeded, terminating
% 52.78/52.86 eprover: CPU time limit exceeded, terminating
% 54.77/54.87 eprover: CPU time limit exceeded, terminating
% 56.81/56.89 eprover: CPU time limit exceeded, terminating
% 58.80/58.90 eprover: CPU time limit exceeded, terminating
% 60.86/60.92 eprover: CPU time limit exceeded, terminating
% 62.85/62.95 eprover: CPU time limit exceeded, terminating
% 64.83/64.96 eprover: CPU time limit exceeded, terminating
% 66.88/66.98 eprover: CPU time limit exceeded, terminating
% 68.89/68.99 eprover: CPU time limit exceeded, terminating
% 70.97/71.01 eprover: CPU time limit exceeded, terminating
% 72.97/73.04 eprover: CPU time limit exceeded, terminating
% 74.96/75.05 eprover: CPU time limit exceeded, terminating
% 77.02/77.07 eprover: CPU time limit exceeded, terminating
% 78.96/79.08 eprover: CPU time limit exceeded, terminating
% 81.05/81.10 eprover: CPU time limit exceeded, terminating
% 83.09/83.13 eprover: CPU time limit exceeded, terminating
% 85.05/85.14 eprover: CPU time limit exceeded, terminating
% 87.06/87.16 eprover: CPU time limit exceeded, terminating
% 89.07/89.17 eprover: CPU time limit exceeded, terminating
% 91.16/91.19 eprover: CPU time limit exceeded, terminating
% 93.09/93.21 eprover: CPU time limit exceeded, terminating
% 95.16/95.22 eprover: CPU time limit exceeded, terminating
% 97.20/97.24 eprover: CPU time limit exceeded, terminating
% 99.22/99.25 eprover: CPU time limit exceeded, terminating
% 101.22/101.27 eprover: CPU time limit exceeded, terminating
% 103.22/103.29 eprover: CPU time limit exceeded, terminating
% 105.32/105.30 eprover: CPU time limit exceeded, terminating
% 107.31/107.32 eprover: CPU time limit exceeded, terminating
% 109.33/109.33 eprover: CPU time limit exceeded, terminating
% 111.33/111.35 eprover: CPU time limit exceeded, terminating
% 113.37/113.36 eprover: CPU time limit exceeded, terminating
% 115.37/115.38 eprover: CPU time limit exceeded, terminating
% 117.42/117.39 eprover: CPU time limit exceeded, terminating
% 119.45/119.41 eprover: CPU time limit exceeded, terminating
% 121.44/121.42 eprover: CPU time limit exceeded, terminating
% 123.50/123.44 eprover: CPU time limit exceeded, terminating
% 125.47/125.45 eprover: CPU time limit exceeded, terminating
% 127.52/127.47 eprover: CPU time limit exceeded, terminating
% 129.51/129.48 eprover: CPU time limit exceeded, terminating
% 131.51/131.50 eprover: CPU time limit exceeded, terminating
% 133.57/133.51 eprover: CPU time limit exceeded, terminating
% 135.61/135.53 eprover: CPU time limit exceeded, terminating
% 137.58/137.54 eprover: CPU time limit exceeded, terminating
% 139.63/139.56 eprover: CPU time limit exceeded, terminating
% 141.62/141.57 eprover: CPU time limit exceeded, terminating
% 143.69/143.59 eprover: CPU time limit exceeded, terminating
% 145.64/145.61 eprover: CPU time limit exceeded, terminating
% 147.71/147.63 eprover: CPU time limit exceeded, terminating
% 149.71/149.64 eprover: CPU time limit exceeded, terminating
% 151.74/151.66 eprover: CPU time limit exceeded, terminating
% 153.74/153.68 eprover: CPU time limit exceeded, terminating
% 155.83/155.69 eprover: CPU time limit exceeded, terminating
% 157.85/157.71 eprover: CPU time limit exceeded, terminating
% 159.87/159.73 eprover: CPU time limit exceeded, terminating
% 161.90/161.74 eprover: CPU time limit exceeded, terminating
% 163.91/163.76 eprover: CPU time limit exceeded, terminating
% 165.91/165.78 eprover: CPU time limit exceeded, terminating
% 167.98/167.79 eprover: CPU time limit exceeded, terminating
% 169.94/169.81 eprover: CPU time limit exceeded, terminating
% 172.00/171.83 eprover: CPU time limit exceeded, terminating
% 174.03/173.84 eprover: CPU time limit exceeded, terminating
% 176.05/175.86 eprover: CPU time limit exceeded, terminating
% 178.00/177.88 eprover: CPU time limit exceeded, terminating
% 180.07/179.90 eprover: CPU time limit exceeded, terminating
% 182.11/181.91 eprover: CPU time limit exceeded, terminating
% 184.15/183.93 eprover: CPU time limit exceeded, terminating
% 186.10/185.95 eprover: CPU time limit exceeded, terminating
% 188.16/187.97 eprover: CPU time limit exceeded, terminating
% 190.20/189.98 eprover: CPU time limit exceeded, terminating
% 192.18/192.00 eprover: CPU time limit exceeded, terminating
% 194.26/194.02 eprover: CPU time limit exceeded, terminating
% 196.29/196.04 eprover: CPU time limit exceeded, terminating
% 198.24/198.05 eprover: CPU time limit exceeded, terminating
% 200.32/200.07 eprover: CPU time limit exceeded, terminating
% 202.34/202.11 eprover: CPU time limit exceeded, terminating
% 204.36/204.12 eprover: CPU time limit exceeded, terminating
% 206.35/206.14 eprover: CPU time limit exceeded, terminating
% 208.38/208.16 eprover: CPU time limit exceeded, terminating
% 210.44/210.18 eprover: CPU time limit exceeded, terminating
% 212.45/212.19 eprover: CPU time limit exceeded, terminating
% 214.45/214.21 eprover: CPU time limit exceeded, terminating
% 216.52/216.23 eprover: CPU time limit exceeded, terminating
% 218.54/218.25 eprover: CPU time limit exceeded, terminating
% 220.55/220.27 eprover: CPU time limit exceeded, terminating
% 222.57/222.28 eprover: CPU time limit exceeded, terminating
% 224.57/224.30 eprover: CPU time limit exceeded, terminating
% 226.59/226.32 eprover: CPU time limit exceeded, terminating
% 228.64/228.33 eprover: CPU time limit exceeded, terminating
% 230.67/230.35 eprover: CPU time limit exceeded, terminating
% 232.61/232.37 eprover: CPU time limit exceeded, terminating
% 234.69/234.38 eprover: CPU time limit exceeded, terminating
% 236.75/236.40 eprover: CPU time limit exceeded, terminating
% 238.75/238.42 eprover: CPU time limit exceeded, terminating
% 240.76/240.43 eprover: CPU time limit exceeded, terminating
% 242.76/242.45 eprover: CPU time limit exceeded, terminating
% 244.81/244.47 eprover: CPU time limit exceeded, terminating
% 246.86/246.49 eprover: CPU time limit exceeded, terminating
% 248.82/248.51 eprover: CPU time limit exceeded, terminating
% 250.84/250.52 eprover: CPU time limit exceeded, terminating
% 252.91/252.54 eprover: CPU time limit exceeded, terminating
% 254.95/254.56 eprover: CPU time limit exceeded, terminating
% 256.95/256.57 eprover: CPU time limit exceeded, terminating
% 258.99/258.59 eprover: CPU time limit exceeded, terminating
% 260.97/260.61 eprover: CPU time limit exceeded, terminating
% 263.00/262.63 eprover: CPU time limit exceeded, terminating
% 265.03/264.64 eprover: CPU time limit exceeded, terminating
% 267.09/266.66 eprover: CPU time limit exceeded, terminating
% 269.06/268.68 eprover: CPU time limit exceeded, terminating
% 271.11/270.70 eprover: CPU time limit exceeded, terminating
% 273.14/272.71 eprover: CPU time limit exceeded, terminating
% 275.15/274.73 eprover: CPU time limit exceeded, terminating
% 277.19/276.74 eprover: CPU time limit exceeded, terminating
% 279.21/278.76 eprover: CPU time limit exceeded, terminating
% 281.24/280.78 eprover: CPU time limit exceeded, terminating
% 283.20/282.80 eprover: CPU time limit exceeded, terminating
% 285.23/284.81 eprover: CPU time limit exceeded, terminating
% 287.31/286.83 eprover: CPU time limit exceeded, terminating
% 289.35/288.85 eprover: CPU time limit exceeded, terminating
% 291.35/290.87 eprover: CPU time limit exceeded, terminating
% 293.39/292.88 eprover: CPU time limit exceeded, terminating
% 295.35/294.90 eprover: CPU time limit exceeded, terminating
% 297.39/296.91 eprover: CPU time limit exceeded, terminating
% 299.35/298.93 eprover: CPU time limit exceeded, terminating
% 300.05/299.53 eprover: CPU time limit exceeded, terminating
% 300.05/299.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------