TSTP Solution File: GRP630+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP630+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:44 EDT 2022
% Result : Timeout 287.00s 262.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GRP630+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.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 : Mon Jun 13 07:10:25 EDT 2022
% 0.12/0.33 % CPUTime :
% 9.43/9.43 eprover: CPU time limit exceeded, terminating
% 11.62/11.45 eprover: CPU time limit exceeded, terminating
% 13.88/13.46 eprover: CPU time limit exceeded, terminating
% 16.08/15.47 eprover: CPU time limit exceeded, terminating
% 18.27/17.48 eprover: CPU time limit exceeded, terminating
% 20.45/19.49 eprover: CPU time limit exceeded, terminating
% 22.70/21.51 eprover: CPU time limit exceeded, terminating
% 24.88/23.52 eprover: CPU time limit exceeded, terminating
% 27.08/25.53 eprover: CPU time limit exceeded, terminating
% 29.27/27.54 eprover: CPU time limit exceeded, terminating
% 31.47/29.55 eprover: CPU time limit exceeded, terminating
% 33.71/31.56 eprover: CPU time limit exceeded, terminating
% 35.91/33.58 eprover: CPU time limit exceeded, terminating
% 38.09/35.59 eprover: CPU time limit exceeded, terminating
% 40.28/37.60 eprover: CPU time limit exceeded, terminating
% 42.50/39.61 eprover: CPU time limit exceeded, terminating
% 44.72/41.62 eprover: CPU time limit exceeded, terminating
% 46.95/43.63 eprover: CPU time limit exceeded, terminating
% 49.11/45.65 eprover: CPU time limit exceeded, terminating
% 51.33/47.66 eprover: CPU time limit exceeded, terminating
% 53.56/49.67 eprover: CPU time limit exceeded, terminating
% 55.74/51.68 eprover: CPU time limit exceeded, terminating
% 57.95/53.70 eprover: CPU time limit exceeded, terminating
% 60.11/55.71 eprover: CPU time limit exceeded, terminating
% 62.36/57.72 eprover: CPU time limit exceeded, terminating
% 64.59/59.73 eprover: CPU time limit exceeded, terminating
% 66.76/61.75 eprover: CPU time limit exceeded, terminating
% 69.01/63.76 eprover: CPU time limit exceeded, terminating
% 71.23/65.77 eprover: CPU time limit exceeded, terminating
% 73.42/67.78 eprover: CPU time limit exceeded, terminating
% 75.61/69.80 eprover: CPU time limit exceeded, terminating
% 77.80/71.81 eprover: CPU time limit exceeded, terminating
% 79.96/73.82 eprover: CPU time limit exceeded, terminating
% 82.17/75.83 eprover: CPU time limit exceeded, terminating
% 84.43/77.84 eprover: CPU time limit exceeded, terminating
% 86.64/79.86 eprover: CPU time limit exceeded, terminating
% 88.83/81.87 eprover: CPU time limit exceeded, terminating
% 91.04/83.88 eprover: CPU time limit exceeded, terminating
% 93.23/85.89 eprover: CPU time limit exceeded, terminating
% 95.43/87.90 eprover: CPU time limit exceeded, terminating
% 97.67/89.92 eprover: CPU time limit exceeded, terminating
% 99.83/91.93 eprover: CPU time limit exceeded, terminating
% 102.00/93.94 eprover: CPU time limit exceeded, terminating
% 104.27/95.95 eprover: CPU time limit exceeded, terminating
% 106.44/97.96 eprover: CPU time limit exceeded, terminating
% 108.70/99.98 eprover: CPU time limit exceeded, terminating
% 110.89/101.99 eprover: CPU time limit exceeded, terminating
% 113.08/104.00 eprover: CPU time limit exceeded, terminating
% 115.27/106.02 eprover: CPU time limit exceeded, terminating
% 117.52/108.03 eprover: CPU time limit exceeded, terminating
% 119.73/110.04 eprover: CPU time limit exceeded, terminating
% 121.91/112.05 eprover: CPU time limit exceeded, terminating
% 124.10/114.07 eprover: CPU time limit exceeded, terminating
% 126.33/116.08 eprover: CPU time limit exceeded, terminating
% 128.52/118.09 eprover: CPU time limit exceeded, terminating
% 130.74/120.10 eprover: CPU time limit exceeded, terminating
% 132.90/122.11 eprover: CPU time limit exceeded, terminating
% 135.10/124.13 eprover: CPU time limit exceeded, terminating
% 137.28/126.14 eprover: CPU time limit exceeded, terminating
% 139.50/128.15 eprover: CPU time limit exceeded, terminating
% 141.74/130.16 eprover: CPU time limit exceeded, terminating
% 143.96/132.18 eprover: CPU time limit exceeded, terminating
% 146.11/134.19 eprover: CPU time limit exceeded, terminating
% 148.32/136.20 eprover: CPU time limit exceeded, terminating
% 150.54/138.21 eprover: CPU time limit exceeded, terminating
% 152.69/140.23 eprover: CPU time limit exceeded, terminating
% 154.96/142.24 eprover: CPU time limit exceeded, terminating
% 157.17/144.25 eprover: CPU time limit exceeded, terminating
% 159.39/146.26 eprover: CPU time limit exceeded, terminating
% 161.61/148.27 eprover: CPU time limit exceeded, terminating
% 163.79/150.29 eprover: CPU time limit exceeded, terminating
% 165.96/152.30 eprover: CPU time limit exceeded, terminating
% 168.16/154.31 eprover: CPU time limit exceeded, terminating
% 170.40/156.32 eprover: CPU time limit exceeded, terminating
% 172.55/158.33 eprover: CPU time limit exceeded, terminating
% 174.78/160.35 eprover: CPU time limit exceeded, terminating
% 177.01/162.36 eprover: CPU time limit exceeded, terminating
% 179.17/164.37 eprover: CPU time limit exceeded, terminating
% 181.41/166.38 eprover: CPU time limit exceeded, terminating
% 183.60/168.40 eprover: CPU time limit exceeded, terminating
% 185.77/170.41 eprover: CPU time limit exceeded, terminating
% 187.95/172.42 eprover: CPU time limit exceeded, terminating
% 190.18/174.43 eprover: CPU time limit exceeded, terminating
% 192.34/176.44 eprover: CPU time limit exceeded, terminating
% 194.61/178.45 eprover: CPU time limit exceeded, terminating
% 196.76/180.47 eprover: CPU time limit exceeded, terminating
% 199.03/182.48 eprover: CPU time limit exceeded, terminating
% 201.20/184.49 eprover: CPU time limit exceeded, terminating
% 203.45/186.50 eprover: CPU time limit exceeded, terminating
% 205.62/188.51 eprover: CPU time limit exceeded, terminating
% 207.84/190.52 eprover: CPU time limit exceeded, terminating
% 210.06/192.54 eprover: CPU time limit exceeded, terminating
% 212.20/194.55 eprover: CPU time limit exceeded, terminating
% 214.41/196.56 eprover: CPU time limit exceeded, terminating
% 216.64/198.57 eprover: CPU time limit exceeded, terminating
% 218.85/200.58 eprover: CPU time limit exceeded, terminating
% 221.05/202.59 eprover: CPU time limit exceeded, terminating
% 223.19/204.60 eprover: CPU time limit exceeded, terminating
% 225.42/206.61 eprover: CPU time limit exceeded, terminating
% 227.61/208.62 eprover: CPU time limit exceeded, terminating
% 229.84/210.63 eprover: CPU time limit exceeded, terminating
% 232.04/212.64 eprover: CPU time limit exceeded, terminating
% 234.19/214.65 eprover: CPU time limit exceeded, terminating
% 236.39/216.66 eprover: CPU time limit exceeded, terminating
% 238.63/218.67 eprover: CPU time limit exceeded, terminating
% 240.82/220.68 eprover: CPU time limit exceeded, terminating
% 243.00/222.69 eprover: CPU time limit exceeded, terminating
% 245.19/224.71 eprover: CPU time limit exceeded, terminating
% 247.42/226.71 eprover: CPU time limit exceeded, terminating
% 249.57/228.73 eprover: CPU time limit exceeded, terminating
% 251.85/230.74 eprover: CPU time limit exceeded, terminating
% 254.04/232.75 eprover: CPU time limit exceeded, terminating
% 256.25/234.76 eprover: CPU time limit exceeded, terminating
% 258.40/236.77 eprover: CPU time limit exceeded, terminating
% 260.62/238.78 eprover: CPU time limit exceeded, terminating
% 262.81/240.80 eprover: CPU time limit exceeded, terminating
% 265.00/242.81 eprover: CPU time limit exceeded, terminating
% 267.18/244.82 eprover: CPU time limit exceeded, terminating
% 269.43/246.84 eprover: CPU time limit exceeded, terminating
% 271.58/248.85 eprover: CPU time limit exceeded, terminating
% 273.83/250.86 eprover: CPU time limit exceeded, terminating
% 276.01/252.87 eprover: CPU time limit exceeded, terminating
% 278.25/254.89 eprover: CPU time limit exceeded, terminating
% 280.44/256.90 eprover: CPU time limit exceeded, terminating
% 282.65/258.92 eprover: CPU time limit exceeded, terminating
% 284.85/260.93 eprover: CPU time limit exceeded, terminating
% 287.00/262.94 eprover: CPU time limit exceeded, terminating
% 289.23/264.95 eprover: CPU time limit exceeded, terminating
% 291.44/266.97 eprover: CPU time limit exceeded, terminating
% 293.64/268.98 eprover: CPU time limit exceeded, terminating
% 295.83/271.00 eprover: CPU time limit exceeded, terminating
% 298.01/273.01 eprover: CPU time limit exceeded, terminating
% 300.02/274.76 eprover: CPU time limit exceeded, terminating
% 300.02/274.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------