TSTP Solution File: GRP619+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP619+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:37 EDT 2022
% Result : Timeout 287.40s 262.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : GRP619+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jun 13 16:10:27 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.16/9.16 eprover: CPU time limit exceeded, terminating
% 11.37/11.17 eprover: CPU time limit exceeded, terminating
% 13.53/13.19 eprover: CPU time limit exceeded, terminating
% 15.78/15.20 eprover: CPU time limit exceeded, terminating
% 17.98/17.21 eprover: CPU time limit exceeded, terminating
% 20.20/19.22 eprover: CPU time limit exceeded, terminating
% 22.37/21.24 eprover: CPU time limit exceeded, terminating
% 24.59/23.25 eprover: CPU time limit exceeded, terminating
% 26.84/25.27 eprover: CPU time limit exceeded, terminating
% 28.96/27.28 eprover: CPU time limit exceeded, terminating
% 31.23/29.30 eprover: CPU time limit exceeded, terminating
% 33.37/31.31 eprover: CPU time limit exceeded, terminating
% 35.63/33.32 eprover: CPU time limit exceeded, terminating
% 37.87/35.34 eprover: CPU time limit exceeded, terminating
% 40.02/37.35 eprover: CPU time limit exceeded, terminating
% 42.27/39.37 eprover: CPU time limit exceeded, terminating
% 44.42/41.38 eprover: CPU time limit exceeded, terminating
% 46.66/43.40 eprover: CPU time limit exceeded, terminating
% 48.92/45.41 eprover: CPU time limit exceeded, terminating
% 51.13/47.43 eprover: CPU time limit exceeded, terminating
% 53.30/49.44 eprover: CPU time limit exceeded, terminating
% 55.52/51.46 eprover: CPU time limit exceeded, terminating
% 57.70/53.47 eprover: CPU time limit exceeded, terminating
% 59.93/55.49 eprover: CPU time limit exceeded, terminating
% 62.13/57.50 eprover: CPU time limit exceeded, terminating
% 64.38/59.52 eprover: CPU time limit exceeded, terminating
% 66.62/61.53 eprover: CPU time limit exceeded, terminating
% 68.82/63.55 eprover: CPU time limit exceeded, terminating
% 70.98/65.56 eprover: CPU time limit exceeded, terminating
% 73.23/67.58 eprover: CPU time limit exceeded, terminating
% 75.40/69.59 eprover: CPU time limit exceeded, terminating
% 77.65/71.60 eprover: CPU time limit exceeded, terminating
% 79.88/73.62 eprover: CPU time limit exceeded, terminating
% 82.06/75.63 eprover: CPU time limit exceeded, terminating
% 84.24/77.65 eprover: CPU time limit exceeded, terminating
% 86.47/79.66 eprover: CPU time limit exceeded, terminating
% 88.71/81.68 eprover: CPU time limit exceeded, terminating
% 90.92/83.69 eprover: CPU time limit exceeded, terminating
% 93.11/85.71 eprover: CPU time limit exceeded, terminating
% 95.31/87.72 eprover: CPU time limit exceeded, terminating
% 97.51/89.74 eprover: CPU time limit exceeded, terminating
% 99.72/91.75 eprover: CPU time limit exceeded, terminating
% 101.93/93.77 eprover: CPU time limit exceeded, terminating
% 104.17/95.78 eprover: CPU time limit exceeded, terminating
% 106.31/97.80 eprover: CPU time limit exceeded, terminating
% 108.52/99.81 eprover: CPU time limit exceeded, terminating
% 110.78/101.83 eprover: CPU time limit exceeded, terminating
% 113.00/103.84 eprover: CPU time limit exceeded, terminating
% 115.17/105.86 eprover: CPU time limit exceeded, terminating
% 117.34/107.87 eprover: CPU time limit exceeded, terminating
% 119.63/109.88 eprover: CPU time limit exceeded, terminating
% 121.81/111.90 eprover: CPU time limit exceeded, terminating
% 123.99/113.91 eprover: CPU time limit exceeded, terminating
% 126.25/115.93 eprover: CPU time limit exceeded, terminating
% 128.43/117.94 eprover: CPU time limit exceeded, terminating
% 130.63/119.96 eprover: CPU time limit exceeded, terminating
% 132.85/121.97 eprover: CPU time limit exceeded, terminating
% 135.01/123.99 eprover: CPU time limit exceeded, terminating
% 137.24/126.00 eprover: CPU time limit exceeded, terminating
% 139.50/128.02 eprover: CPU time limit exceeded, terminating
% 141.70/130.03 eprover: CPU time limit exceeded, terminating
% 143.91/132.05 eprover: CPU time limit exceeded, terminating
% 146.09/134.06 eprover: CPU time limit exceeded, terminating
% 148.27/136.08 eprover: CPU time limit exceeded, terminating
% 150.53/138.09 eprover: CPU time limit exceeded, terminating
% 152.72/140.10 eprover: CPU time limit exceeded, terminating
% 154.93/142.12 eprover: CPU time limit exceeded, terminating
% 157.12/144.13 eprover: CPU time limit exceeded, terminating
% 159.33/146.15 eprover: CPU time limit exceeded, terminating
% 161.52/148.16 eprover: CPU time limit exceeded, terminating
% 163.74/150.17 eprover: CPU time limit exceeded, terminating
% 165.96/152.19 eprover: CPU time limit exceeded, terminating
% 168.21/154.21 eprover: CPU time limit exceeded, terminating
% 170.39/156.22 eprover: CPU time limit exceeded, terminating
% 172.61/158.24 eprover: CPU time limit exceeded, terminating
% 174.83/160.25 eprover: CPU time limit exceeded, terminating
% 177.03/162.27 eprover: CPU time limit exceeded, terminating
% 179.20/164.28 eprover: CPU time limit exceeded, terminating
% 181.45/166.30 eprover: CPU time limit exceeded, terminating
% 183.59/168.31 eprover: CPU time limit exceeded, terminating
% 185.86/170.32 eprover: CPU time limit exceeded, terminating
% 188.05/172.34 eprover: CPU time limit exceeded, terminating
% 190.30/174.35 eprover: CPU time limit exceeded, terminating
% 192.45/176.37 eprover: CPU time limit exceeded, terminating
% 194.70/178.38 eprover: CPU time limit exceeded, terminating
% 196.92/180.40 eprover: CPU time limit exceeded, terminating
% 199.06/182.41 eprover: CPU time limit exceeded, terminating
% 201.31/184.42 eprover: CPU time limit exceeded, terminating
% 203.55/186.44 eprover: CPU time limit exceeded, terminating
% 205.68/188.45 eprover: CPU time limit exceeded, terminating
% 207.92/190.47 eprover: CPU time limit exceeded, terminating
% 210.16/192.48 eprover: CPU time limit exceeded, terminating
% 212.39/194.50 eprover: CPU time limit exceeded, terminating
% 214.55/196.51 eprover: CPU time limit exceeded, terminating
% 216.82/198.52 eprover: CPU time limit exceeded, terminating
% 219.01/200.54 eprover: CPU time limit exceeded, terminating
% 221.24/202.55 eprover: CPU time limit exceeded, terminating
% 223.42/204.57 eprover: CPU time limit exceeded, terminating
% 225.61/206.58 eprover: CPU time limit exceeded, terminating
% 227.77/208.60 eprover: CPU time limit exceeded, terminating
% 230.06/210.61 eprover: CPU time limit exceeded, terminating
% 232.24/212.62 eprover: CPU time limit exceeded, terminating
% 234.43/214.64 eprover: CPU time limit exceeded, terminating
% 236.65/216.65 eprover: CPU time limit exceeded, terminating
% 238.86/218.67 eprover: CPU time limit exceeded, terminating
% 241.04/220.68 eprover: CPU time limit exceeded, terminating
% 243.32/222.70 eprover: CPU time limit exceeded, terminating
% 245.50/224.71 eprover: CPU time limit exceeded, terminating
% 247.70/226.73 eprover: CPU time limit exceeded, terminating
% 249.95/228.74 eprover: CPU time limit exceeded, terminating
% 252.13/230.76 eprover: CPU time limit exceeded, terminating
% 254.34/232.77 eprover: CPU time limit exceeded, terminating
% 256.57/234.78 eprover: CPU time limit exceeded, terminating
% 258.71/236.80 eprover: CPU time limit exceeded, terminating
% 260.97/238.81 eprover: CPU time limit exceeded, terminating
% 263.18/240.82 eprover: CPU time limit exceeded, terminating
% 265.34/242.84 eprover: CPU time limit exceeded, terminating
% 267.58/244.85 eprover: CPU time limit exceeded, terminating
% 269.72/246.87 eprover: CPU time limit exceeded, terminating
% 272.00/248.88 eprover: CPU time limit exceeded, terminating
% 274.13/250.90 eprover: CPU time limit exceeded, terminating
% 276.42/252.91 eprover: CPU time limit exceeded, terminating
% 278.60/254.92 eprover: CPU time limit exceeded, terminating
% 280.84/256.94 eprover: CPU time limit exceeded, terminating
% 283.02/258.95 eprover: CPU time limit exceeded, terminating
% 285.18/260.97 eprover: CPU time limit exceeded, terminating
% 287.40/262.98 eprover: CPU time limit exceeded, terminating
% 289.63/264.99 eprover: CPU time limit exceeded, terminating
% 291.88/267.01 eprover: CPU time limit exceeded, terminating
% 294.02/269.02 eprover: CPU time limit exceeded, terminating
% 296.26/271.04 eprover: CPU time limit exceeded, terminating
% 298.49/273.05 eprover: CPU time limit exceeded, terminating
% 300.10/274.43 eprover: CPU time limit exceeded, terminating
% 300.10/274.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------