TSTP Solution File: GRP639+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP639+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:50 EDT 2022
% Result : Timeout 286.35s 254.16s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : GRP639+2 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n012.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Tue Jun 14 11:55:26 EDT 2022
% 0.13/0.35 % CPUTime :
% 22.55/22.44 eprover: CPU time limit exceeded, terminating
% 24.85/24.46 eprover: CPU time limit exceeded, terminating
% 27.10/26.47 eprover: CPU time limit exceeded, terminating
% 29.38/28.49 eprover: CPU time limit exceeded, terminating
% 31.68/30.50 eprover: CPU time limit exceeded, terminating
% 34.05/32.52 eprover: CPU time limit exceeded, terminating
% 36.36/34.53 eprover: CPU time limit exceeded, terminating
% 38.65/36.55 eprover: CPU time limit exceeded, terminating
% 40.90/38.56 eprover: CPU time limit exceeded, terminating
% 43.21/40.58 eprover: CPU time limit exceeded, terminating
% 45.47/42.59 eprover: CPU time limit exceeded, terminating
% 47.76/44.61 eprover: CPU time limit exceeded, terminating
% 50.14/46.62 eprover: CPU time limit exceeded, terminating
% 52.42/48.64 eprover: CPU time limit exceeded, terminating
% 54.73/50.65 eprover: CPU time limit exceeded, terminating
% 57.00/52.66 eprover: CPU time limit exceeded, terminating
% 59.33/54.68 eprover: CPU time limit exceeded, terminating
% 61.64/56.69 eprover: CPU time limit exceeded, terminating
% 63.96/58.71 eprover: CPU time limit exceeded, terminating
% 66.25/60.72 eprover: CPU time limit exceeded, terminating
% 68.50/62.74 eprover: CPU time limit exceeded, terminating
% 70.81/64.76 eprover: CPU time limit exceeded, terminating
% 73.09/66.77 eprover: CPU time limit exceeded, terminating
% 75.45/68.79 eprover: CPU time limit exceeded, terminating
% 77.73/70.80 eprover: CPU time limit exceeded, terminating
% 79.99/72.82 eprover: CPU time limit exceeded, terminating
% 82.30/74.83 eprover: CPU time limit exceeded, terminating
% 84.54/76.85 eprover: CPU time limit exceeded, terminating
% 86.84/78.86 eprover: CPU time limit exceeded, terminating
% 89.11/80.88 eprover: CPU time limit exceeded, terminating
% 91.39/82.89 eprover: CPU time limit exceeded, terminating
% 93.76/84.91 eprover: CPU time limit exceeded, terminating
% 96.06/86.92 eprover: CPU time limit exceeded, terminating
% 98.36/88.94 eprover: CPU time limit exceeded, terminating
% 100.61/90.95 eprover: CPU time limit exceeded, terminating
% 102.90/92.97 eprover: CPU time limit exceeded, terminating
% 105.20/94.98 eprover: CPU time limit exceeded, terminating
% 107.54/97.00 eprover: CPU time limit exceeded, terminating
% 109.81/99.01 eprover: CPU time limit exceeded, terminating
% 112.10/101.03 eprover: CPU time limit exceeded, terminating
% 114.38/103.04 eprover: CPU time limit exceeded, terminating
% 116.62/105.05 eprover: CPU time limit exceeded, terminating
% 118.92/107.07 eprover: CPU time limit exceeded, terminating
% 121.16/109.08 eprover: CPU time limit exceeded, terminating
% 123.51/111.10 eprover: CPU time limit exceeded, terminating
% 125.77/113.12 eprover: CPU time limit exceeded, terminating
% 128.06/115.13 eprover: CPU time limit exceeded, terminating
% 130.38/117.15 eprover: CPU time limit exceeded, terminating
% 132.61/119.16 eprover: CPU time limit exceeded, terminating
% 134.91/121.18 eprover: CPU time limit exceeded, terminating
% 137.17/123.19 eprover: CPU time limit exceeded, terminating
% 139.53/125.21 eprover: CPU time limit exceeded, terminating
% 141.82/127.22 eprover: CPU time limit exceeded, terminating
% 144.12/129.24 eprover: CPU time limit exceeded, terminating
% 146.39/131.25 eprover: CPU time limit exceeded, terminating
% 148.67/133.27 eprover: CPU time limit exceeded, terminating
% 150.96/135.28 eprover: CPU time limit exceeded, terminating
% 153.26/137.29 eprover: CPU time limit exceeded, terminating
% 155.63/139.31 eprover: CPU time limit exceeded, terminating
% 157.92/141.32 eprover: CPU time limit exceeded, terminating
% 160.19/143.34 eprover: CPU time limit exceeded, terminating
% 162.48/145.35 eprover: CPU time limit exceeded, terminating
% 164.73/147.37 eprover: CPU time limit exceeded, terminating
% 167.02/149.38 eprover: CPU time limit exceeded, terminating
% 169.41/151.40 eprover: CPU time limit exceeded, terminating
% 171.70/153.41 eprover: CPU time limit exceeded, terminating
% 174.00/155.43 eprover: CPU time limit exceeded, terminating
% 176.24/157.45 eprover: CPU time limit exceeded, terminating
% 178.56/159.46 eprover: CPU time limit exceeded, terminating
% 180.81/161.48 eprover: CPU time limit exceeded, terminating
% 183.17/163.49 eprover: CPU time limit exceeded, terminating
% 185.48/165.51 eprover: CPU time limit exceeded, terminating
% 187.78/167.52 eprover: CPU time limit exceeded, terminating
% 190.06/169.53 eprover: CPU time limit exceeded, terminating
% 192.31/171.55 eprover: CPU time limit exceeded, terminating
% 194.63/173.56 eprover: CPU time limit exceeded, terminating
% 196.91/175.58 eprover: CPU time limit exceeded, terminating
% 199.28/177.59 eprover: CPU time limit exceeded, terminating
% 201.56/179.61 eprover: CPU time limit exceeded, terminating
% 203.84/181.62 eprover: CPU time limit exceeded, terminating
% 206.13/183.64 eprover: CPU time limit exceeded, terminating
% 208.38/185.65 eprover: CPU time limit exceeded, terminating
% 210.68/187.67 eprover: CPU time limit exceeded, terminating
% 212.96/189.68 eprover: CPU time limit exceeded, terminating
% 215.30/191.70 eprover: CPU time limit exceeded, terminating
% 217.60/193.71 eprover: CPU time limit exceeded, terminating
% 219.90/195.73 eprover: CPU time limit exceeded, terminating
% 222.16/197.74 eprover: CPU time limit exceeded, terminating
% 224.43/199.76 eprover: CPU time limit exceeded, terminating
% 226.74/201.77 eprover: CPU time limit exceeded, terminating
% 229.02/203.79 eprover: CPU time limit exceeded, terminating
% 231.38/205.80 eprover: CPU time limit exceeded, terminating
% 233.67/207.82 eprover: CPU time limit exceeded, terminating
% 235.94/209.83 eprover: CPU time limit exceeded, terminating
% 238.21/211.85 eprover: CPU time limit exceeded, terminating
% 240.48/213.86 eprover: CPU time limit exceeded, terminating
% 242.74/215.88 eprover: CPU time limit exceeded, terminating
% 245.05/217.89 eprover: CPU time limit exceeded, terminating
% 247.42/219.91 eprover: CPU time limit exceeded, terminating
% 249.61/221.92 eprover: CPU time limit exceeded, terminating
% 251.97/223.94 eprover: CPU time limit exceeded, terminating
% 254.26/225.95 eprover: CPU time limit exceeded, terminating
% 256.53/227.97 eprover: CPU time limit exceeded, terminating
% 258.81/229.98 eprover: CPU time limit exceeded, terminating
% 261.06/232.00 eprover: CPU time limit exceeded, terminating
% 263.45/234.01 eprover: CPU time limit exceeded, terminating
% 265.73/236.03 eprover: CPU time limit exceeded, terminating
% 268.01/238.04 eprover: CPU time limit exceeded, terminating
% 270.31/240.06 eprover: CPU time limit exceeded, terminating
% 272.60/242.07 eprover: CPU time limit exceeded, terminating
% 274.97/244.09 eprover: CPU time limit exceeded, terminating
% 277.24/246.11 eprover: CPU time limit exceeded, terminating
% 279.49/248.12 eprover: CPU time limit exceeded, terminating
% 281.79/250.13 eprover: CPU time limit exceeded, terminating
% 284.07/252.15 eprover: CPU time limit exceeded, terminating
% 286.35/254.16 eprover: CPU time limit exceeded, terminating
% 288.64/256.18 eprover: CPU time limit exceeded, terminating
% 290.99/258.19 eprover: CPU time limit exceeded, terminating
% 293.27/260.21 eprover: CPU time limit exceeded, terminating
% 295.54/262.22 eprover: CPU time limit exceeded, terminating
% 297.85/264.23 eprover: CPU time limit exceeded, terminating
% 300.10/266.21 eprover: CPU time limit exceeded, terminating
% 300.10/266.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------