TSTP Solution File: GRP636+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP636+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:33:48 EDT 2022
% Result : Timeout 286.62s 254.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : GRP636+2 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.11 % Command : run_infinox %s
% 0.10/0.31 % Computer : n028.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Mon Jun 13 12:56:38 EDT 2022
% 0.10/0.31 % CPUTime :
% 26.74/26.60 eprover: CPU time limit exceeded, terminating
% 29.01/28.62 eprover: CPU time limit exceeded, terminating
% 31.30/30.63 eprover: CPU time limit exceeded, terminating
% 33.58/32.65 eprover: CPU time limit exceeded, terminating
% 35.87/34.66 eprover: CPU time limit exceeded, terminating
% 38.14/36.67 eprover: CPU time limit exceeded, terminating
% 40.48/38.69 eprover: CPU time limit exceeded, terminating
% 42.77/40.70 eprover: CPU time limit exceeded, terminating
% 44.98/42.71 eprover: CPU time limit exceeded, terminating
% 47.34/44.73 eprover: CPU time limit exceeded, terminating
% 49.64/46.74 eprover: CPU time limit exceeded, terminating
% 51.90/48.76 eprover: CPU time limit exceeded, terminating
% 54.24/50.77 eprover: CPU time limit exceeded, terminating
% 56.56/52.79 eprover: CPU time limit exceeded, terminating
% 58.83/54.80 eprover: CPU time limit exceeded, terminating
% 61.21/56.81 eprover: CPU time limit exceeded, terminating
% 63.51/58.83 eprover: CPU time limit exceeded, terminating
% 65.84/60.85 eprover: CPU time limit exceeded, terminating
% 68.11/62.86 eprover: CPU time limit exceeded, terminating
% 70.42/64.88 eprover: CPU time limit exceeded, terminating
% 72.69/66.89 eprover: CPU time limit exceeded, terminating
% 75.05/68.91 eprover: CPU time limit exceeded, terminating
% 77.34/70.93 eprover: CPU time limit exceeded, terminating
% 79.62/72.94 eprover: CPU time limit exceeded, terminating
% 81.94/74.96 eprover: CPU time limit exceeded, terminating
% 84.28/76.97 eprover: CPU time limit exceeded, terminating
% 86.51/78.99 eprover: CPU time limit exceeded, terminating
% 88.82/81.00 eprover: CPU time limit exceeded, terminating
% 91.22/83.02 eprover: CPU time limit exceeded, terminating
% 93.49/85.03 eprover: CPU time limit exceeded, terminating
% 95.79/87.05 eprover: CPU time limit exceeded, terminating
% 98.10/89.06 eprover: CPU time limit exceeded, terminating
% 100.38/91.08 eprover: CPU time limit exceeded, terminating
% 102.73/93.10 eprover: CPU time limit exceeded, terminating
% 105.05/95.11 eprover: CPU time limit exceeded, terminating
% 107.34/97.13 eprover: CPU time limit exceeded, terminating
% 109.60/99.14 eprover: CPU time limit exceeded, terminating
% 111.94/101.16 eprover: CPU time limit exceeded, terminating
% 114.28/103.18 eprover: CPU time limit exceeded, terminating
% 116.60/105.19 eprover: CPU time limit exceeded, terminating
% 118.83/107.21 eprover: CPU time limit exceeded, terminating
% 121.19/109.22 eprover: CPU time limit exceeded, terminating
% 123.47/111.24 eprover: CPU time limit exceeded, terminating
% 125.80/113.26 eprover: CPU time limit exceeded, terminating
% 128.07/115.27 eprover: CPU time limit exceeded, terminating
% 130.43/117.29 eprover: CPU time limit exceeded, terminating
% 132.73/119.30 eprover: CPU time limit exceeded, terminating
% 134.99/121.32 eprover: CPU time limit exceeded, terminating
% 137.28/123.34 eprover: CPU time limit exceeded, terminating
% 139.58/125.35 eprover: CPU time limit exceeded, terminating
% 141.89/127.37 eprover: CPU time limit exceeded, terminating
% 144.16/129.38 eprover: CPU time limit exceeded, terminating
% 146.48/131.40 eprover: CPU time limit exceeded, terminating
% 148.83/133.42 eprover: CPU time limit exceeded, terminating
% 151.14/135.43 eprover: CPU time limit exceeded, terminating
% 153.43/137.45 eprover: CPU time limit exceeded, terminating
% 155.68/139.46 eprover: CPU time limit exceeded, terminating
% 158.06/141.48 eprover: CPU time limit exceeded, terminating
% 160.36/143.50 eprover: CPU time limit exceeded, terminating
% 162.64/145.51 eprover: CPU time limit exceeded, terminating
% 164.92/147.53 eprover: CPU time limit exceeded, terminating
% 167.26/149.54 eprover: CPU time limit exceeded, terminating
% 169.57/151.56 eprover: CPU time limit exceeded, terminating
% 171.82/153.58 eprover: CPU time limit exceeded, terminating
% 174.18/155.59 eprover: CPU time limit exceeded, terminating
% 176.40/157.61 eprover: CPU time limit exceeded, terminating
% 178.79/159.62 eprover: CPU time limit exceeded, terminating
% 181.06/161.64 eprover: CPU time limit exceeded, terminating
% 183.32/163.65 eprover: CPU time limit exceeded, terminating
% 185.61/165.67 eprover: CPU time limit exceeded, terminating
% 187.92/167.69 eprover: CPU time limit exceeded, terminating
% 190.25/169.70 eprover: CPU time limit exceeded, terminating
% 192.58/171.72 eprover: CPU time limit exceeded, terminating
% 194.87/173.73 eprover: CPU time limit exceeded, terminating
% 197.12/175.75 eprover: CPU time limit exceeded, terminating
% 199.42/177.77 eprover: CPU time limit exceeded, terminating
% 201.68/179.78 eprover: CPU time limit exceeded, terminating
% 204.02/181.79 eprover: CPU time limit exceeded, terminating
% 206.33/183.81 eprover: CPU time limit exceeded, terminating
% 208.63/185.82 eprover: CPU time limit exceeded, terminating
% 210.94/187.83 eprover: CPU time limit exceeded, terminating
% 213.22/189.85 eprover: CPU time limit exceeded, terminating
% 215.45/191.86 eprover: CPU time limit exceeded, terminating
% 217.77/193.87 eprover: CPU time limit exceeded, terminating
% 220.11/195.88 eprover: CPU time limit exceeded, terminating
% 222.41/197.89 eprover: CPU time limit exceeded, terminating
% 224.64/199.91 eprover: CPU time limit exceeded, terminating
% 226.99/201.92 eprover: CPU time limit exceeded, terminating
% 229.26/203.93 eprover: CPU time limit exceeded, terminating
% 231.58/205.95 eprover: CPU time limit exceeded, terminating
% 233.83/207.96 eprover: CPU time limit exceeded, terminating
% 236.18/209.97 eprover: CPU time limit exceeded, terminating
% 238.42/211.98 eprover: CPU time limit exceeded, terminating
% 240.71/214.00 eprover: CPU time limit exceeded, terminating
% 243.06/216.01 eprover: CPU time limit exceeded, terminating
% 245.36/218.02 eprover: CPU time limit exceeded, terminating
% 247.63/220.04 eprover: CPU time limit exceeded, terminating
% 249.93/222.05 eprover: CPU time limit exceeded, terminating
% 252.20/224.06 eprover: CPU time limit exceeded, terminating
% 254.53/226.08 eprover: CPU time limit exceeded, terminating
% 256.79/228.09 eprover: CPU time limit exceeded, terminating
% 259.13/230.10 eprover: CPU time limit exceeded, terminating
% 261.43/232.11 eprover: CPU time limit exceeded, terminating
% 263.70/234.13 eprover: CPU time limit exceeded, terminating
% 266.01/236.14 eprover: CPU time limit exceeded, terminating
% 268.29/238.15 eprover: CPU time limit exceeded, terminating
% 270.54/240.17 eprover: CPU time limit exceeded, terminating
% 272.82/242.18 eprover: CPU time limit exceeded, terminating
% 275.14/244.19 eprover: CPU time limit exceeded, terminating
% 277.38/246.21 eprover: CPU time limit exceeded, terminating
% 279.72/248.22 eprover: CPU time limit exceeded, terminating
% 282.03/250.23 eprover: CPU time limit exceeded, terminating
% 284.27/252.24 eprover: CPU time limit exceeded, terminating
% 286.62/254.26 eprover: CPU time limit exceeded, terminating
% 288.93/256.27 eprover: CPU time limit exceeded, terminating
% 291.20/258.28 eprover: CPU time limit exceeded, terminating
% 293.53/260.30 eprover: CPU time limit exceeded, terminating
% 295.80/262.31 eprover: CPU time limit exceeded, terminating
% 298.08/264.33 eprover: CPU time limit exceeded, terminating
% 300.05/265.98 eprover: CPU time limit exceeded, terminating
% 300.05/265.99 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------