TSTP Solution File: GRP652+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP652+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:59 EDT 2022
% Result : Timeout 286.33s 254.07s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : GRP652+2 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n004.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 : Tue Jun 14 14:01:24 EDT 2022
% 0.12/0.33 % CPUTime :
% 24.54/24.37 eprover: CPU time limit exceeded, terminating
% 26.85/26.39 eprover: CPU time limit exceeded, terminating
% 29.14/28.40 eprover: CPU time limit exceeded, terminating
% 31.42/30.42 eprover: CPU time limit exceeded, terminating
% 33.69/32.43 eprover: CPU time limit exceeded, terminating
% 35.99/34.44 eprover: CPU time limit exceeded, terminating
% 38.27/36.46 eprover: CPU time limit exceeded, terminating
% 40.53/38.47 eprover: CPU time limit exceeded, terminating
% 42.90/40.49 eprover: CPU time limit exceeded, terminating
% 45.12/42.50 eprover: CPU time limit exceeded, terminating
% 47.48/44.51 eprover: CPU time limit exceeded, terminating
% 49.75/46.53 eprover: CPU time limit exceeded, terminating
% 52.07/48.54 eprover: CPU time limit exceeded, terminating
% 54.35/50.56 eprover: CPU time limit exceeded, terminating
% 56.67/52.57 eprover: CPU time limit exceeded, terminating
% 58.89/54.59 eprover: CPU time limit exceeded, terminating
% 61.25/56.60 eprover: CPU time limit exceeded, terminating
% 63.50/58.62 eprover: CPU time limit exceeded, terminating
% 65.79/60.64 eprover: CPU time limit exceeded, terminating
% 68.09/62.65 eprover: CPU time limit exceeded, terminating
% 70.35/64.67 eprover: CPU time limit exceeded, terminating
% 72.63/66.68 eprover: CPU time limit exceeded, terminating
% 75.00/68.69 eprover: CPU time limit exceeded, terminating
% 77.27/70.70 eprover: CPU time limit exceeded, terminating
% 79.57/72.72 eprover: CPU time limit exceeded, terminating
% 81.86/74.73 eprover: CPU time limit exceeded, terminating
% 84.13/76.75 eprover: CPU time limit exceeded, terminating
% 86.45/78.76 eprover: CPU time limit exceeded, terminating
% 88.74/80.78 eprover: CPU time limit exceeded, terminating
% 91.11/82.79 eprover: CPU time limit exceeded, terminating
% 93.39/84.81 eprover: CPU time limit exceeded, terminating
% 95.66/86.82 eprover: CPU time limit exceeded, terminating
% 97.95/88.84 eprover: CPU time limit exceeded, terminating
% 100.23/90.85 eprover: CPU time limit exceeded, terminating
% 102.49/92.86 eprover: CPU time limit exceeded, terminating
% 104.78/94.88 eprover: CPU time limit exceeded, terminating
% 107.07/96.89 eprover: CPU time limit exceeded, terminating
% 109.42/98.90 eprover: CPU time limit exceeded, terminating
% 111.67/100.92 eprover: CPU time limit exceeded, terminating
% 113.98/102.93 eprover: CPU time limit exceeded, terminating
% 116.29/104.95 eprover: CPU time limit exceeded, terminating
% 118.56/106.96 eprover: CPU time limit exceeded, terminating
% 120.85/108.97 eprover: CPU time limit exceeded, terminating
% 123.15/110.99 eprover: CPU time limit exceeded, terminating
% 125.51/113.00 eprover: CPU time limit exceeded, terminating
% 127.78/115.02 eprover: CPU time limit exceeded, terminating
% 130.11/117.03 eprover: CPU time limit exceeded, terminating
% 132.41/119.05 eprover: CPU time limit exceeded, terminating
% 134.64/121.06 eprover: CPU time limit exceeded, terminating
% 136.91/123.08 eprover: CPU time limit exceeded, terminating
% 139.22/125.09 eprover: CPU time limit exceeded, terminating
% 141.55/127.10 eprover: CPU time limit exceeded, terminating
% 143.83/129.11 eprover: CPU time limit exceeded, terminating
% 146.13/131.13 eprover: CPU time limit exceeded, terminating
% 148.43/133.14 eprover: CPU time limit exceeded, terminating
% 150.71/135.15 eprover: CPU time limit exceeded, terminating
% 152.98/137.16 eprover: CPU time limit exceeded, terminating
% 155.25/139.18 eprover: CPU time limit exceeded, terminating
% 157.55/141.20 eprover: CPU time limit exceeded, terminating
% 159.93/143.21 eprover: CPU time limit exceeded, terminating
% 162.22/145.23 eprover: CPU time limit exceeded, terminating
% 164.54/147.25 eprover: CPU time limit exceeded, terminating
% 166.81/149.26 eprover: CPU time limit exceeded, terminating
% 169.14/151.28 eprover: CPU time limit exceeded, terminating
% 171.47/153.30 eprover: CPU time limit exceeded, terminating
% 173.76/155.31 eprover: CPU time limit exceeded, terminating
% 176.04/157.33 eprover: CPU time limit exceeded, terminating
% 178.35/159.35 eprover: CPU time limit exceeded, terminating
% 180.66/161.36 eprover: CPU time limit exceeded, terminating
% 182.93/163.38 eprover: CPU time limit exceeded, terminating
% 185.28/165.39 eprover: CPU time limit exceeded, terminating
% 187.59/167.41 eprover: CPU time limit exceeded, terminating
% 189.89/169.43 eprover: CPU time limit exceeded, terminating
% 192.16/171.44 eprover: CPU time limit exceeded, terminating
% 194.46/173.46 eprover: CPU time limit exceeded, terminating
% 196.76/175.48 eprover: CPU time limit exceeded, terminating
% 199.03/177.49 eprover: CPU time limit exceeded, terminating
% 201.42/179.51 eprover: CPU time limit exceeded, terminating
% 203.72/181.53 eprover: CPU time limit exceeded, terminating
% 206.00/183.54 eprover: CPU time limit exceeded, terminating
% 208.30/185.56 eprover: CPU time limit exceeded, terminating
% 210.59/187.58 eprover: CPU time limit exceeded, terminating
% 212.96/189.59 eprover: CPU time limit exceeded, terminating
% 215.17/191.61 eprover: CPU time limit exceeded, terminating
% 217.53/193.63 eprover: CPU time limit exceeded, terminating
% 219.85/195.64 eprover: CPU time limit exceeded, terminating
% 222.11/197.66 eprover: CPU time limit exceeded, terminating
% 224.40/199.68 eprover: CPU time limit exceeded, terminating
% 226.71/201.69 eprover: CPU time limit exceeded, terminating
% 229.06/203.71 eprover: CPU time limit exceeded, terminating
% 231.35/205.72 eprover: CPU time limit exceeded, terminating
% 233.66/207.74 eprover: CPU time limit exceeded, terminating
% 235.96/209.75 eprover: CPU time limit exceeded, terminating
% 238.24/211.77 eprover: CPU time limit exceeded, terminating
% 240.53/213.79 eprover: CPU time limit exceeded, terminating
% 242.84/215.81 eprover: CPU time limit exceeded, terminating
% 245.17/217.82 eprover: CPU time limit exceeded, terminating
% 247.50/219.84 eprover: CPU time limit exceeded, terminating
% 249.74/221.86 eprover: CPU time limit exceeded, terminating
% 252.06/223.87 eprover: CPU time limit exceeded, terminating
% 254.23/225.88 eprover: CPU time limit exceeded, terminating
% 256.63/227.90 eprover: CPU time limit exceeded, terminating
% 258.87/229.91 eprover: CPU time limit exceeded, terminating
% 261.20/231.92 eprover: CPU time limit exceeded, terminating
% 263.48/233.94 eprover: CPU time limit exceeded, terminating
% 265.76/235.95 eprover: CPU time limit exceeded, terminating
% 268.07/237.96 eprover: CPU time limit exceeded, terminating
% 270.31/239.97 eprover: CPU time limit exceeded, terminating
% 272.65/241.99 eprover: CPU time limit exceeded, terminating
% 274.95/244.01 eprover: CPU time limit exceeded, terminating
% 277.23/246.02 eprover: CPU time limit exceeded, terminating
% 279.55/248.03 eprover: CPU time limit exceeded, terminating
% 281.78/250.05 eprover: CPU time limit exceeded, terminating
% 284.04/252.06 eprover: CPU time limit exceeded, terminating
% 286.33/254.07 eprover: CPU time limit exceeded, terminating
% 288.70/256.08 eprover: CPU time limit exceeded, terminating
% 290.91/258.10 eprover: CPU time limit exceeded, terminating
% 293.20/260.11 eprover: CPU time limit exceeded, terminating
% 295.53/262.12 eprover: CPU time limit exceeded, terminating
% 297.84/264.14 eprover: CPU time limit exceeded, terminating
% 300.08/266.10 eprover: CPU time limit exceeded, terminating
% 300.08/266.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------