TSTP Solution File: GRP622+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP622+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:39 EDT 2022
% Result : Timeout 285.80s 260.97s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GRP622+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n009.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Mon Jun 13 08:46:38 EDT 2022
% 0.12/0.34 % CPUTime :
% 9.53/9.50 eprover: CPU time limit exceeded, terminating
% 11.74/11.51 eprover: CPU time limit exceeded, terminating
% 13.94/13.52 eprover: CPU time limit exceeded, terminating
% 16.11/15.53 eprover: CPU time limit exceeded, terminating
% 18.34/17.55 eprover: CPU time limit exceeded, terminating
% 20.53/19.56 eprover: CPU time limit exceeded, terminating
% 22.71/21.57 eprover: CPU time limit exceeded, terminating
% 24.92/23.58 eprover: CPU time limit exceeded, terminating
% 27.13/25.59 eprover: CPU time limit exceeded, terminating
% 29.40/27.60 eprover: CPU time limit exceeded, terminating
% 31.61/29.61 eprover: CPU time limit exceeded, terminating
% 33.81/31.62 eprover: CPU time limit exceeded, terminating
% 36.02/33.64 eprover: CPU time limit exceeded, terminating
% 38.20/35.65 eprover: CPU time limit exceeded, terminating
% 40.37/37.66 eprover: CPU time limit exceeded, terminating
% 42.60/39.67 eprover: CPU time limit exceeded, terminating
% 44.79/41.68 eprover: CPU time limit exceeded, terminating
% 47.02/43.69 eprover: CPU time limit exceeded, terminating
% 49.20/45.70 eprover: CPU time limit exceeded, terminating
% 51.50/47.71 eprover: CPU time limit exceeded, terminating
% 53.71/49.72 eprover: CPU time limit exceeded, terminating
% 55.90/51.73 eprover: CPU time limit exceeded, terminating
% 58.12/53.74 eprover: CPU time limit exceeded, terminating
% 60.29/55.75 eprover: CPU time limit exceeded, terminating
% 62.52/57.77 eprover: CPU time limit exceeded, terminating
% 64.70/59.78 eprover: CPU time limit exceeded, terminating
% 67.00/61.79 eprover: CPU time limit exceeded, terminating
% 69.20/63.80 eprover: CPU time limit exceeded, terminating
% 71.42/65.81 eprover: CPU time limit exceeded, terminating
% 73.62/67.83 eprover: CPU time limit exceeded, terminating
% 75.81/69.84 eprover: CPU time limit exceeded, terminating
% 77.99/71.85 eprover: CPU time limit exceeded, terminating
% 80.19/73.86 eprover: CPU time limit exceeded, terminating
% 82.39/75.87 eprover: CPU time limit exceeded, terminating
% 84.59/77.88 eprover: CPU time limit exceeded, terminating
% 86.85/79.90 eprover: CPU time limit exceeded, terminating
% 89.05/81.91 eprover: CPU time limit exceeded, terminating
% 91.28/83.92 eprover: CPU time limit exceeded, terminating
% 93.47/85.93 eprover: CPU time limit exceeded, terminating
% 95.66/87.95 eprover: CPU time limit exceeded, terminating
% 97.88/89.96 eprover: CPU time limit exceeded, terminating
% 100.10/91.97 eprover: CPU time limit exceeded, terminating
% 102.30/93.99 eprover: CPU time limit exceeded, terminating
% 104.59/96.00 eprover: CPU time limit exceeded, terminating
% 106.78/98.01 eprover: CPU time limit exceeded, terminating
% 108.97/100.02 eprover: CPU time limit exceeded, terminating
% 111.17/102.03 eprover: CPU time limit exceeded, terminating
% 113.36/104.04 eprover: CPU time limit exceeded, terminating
% 115.59/106.06 eprover: CPU time limit exceeded, terminating
% 117.77/108.07 eprover: CPU time limit exceeded, terminating
% 120.05/110.08 eprover: CPU time limit exceeded, terminating
% 122.17/112.09 eprover: CPU time limit exceeded, terminating
% 124.38/114.10 eprover: CPU time limit exceeded, terminating
% 126.66/116.11 eprover: CPU time limit exceeded, terminating
% 128.86/118.12 eprover: CPU time limit exceeded, terminating
% 131.05/120.13 eprover: CPU time limit exceeded, terminating
% 133.26/122.15 eprover: CPU time limit exceeded, terminating
% 135.44/124.16 eprover: CPU time limit exceeded, terminating
% 137.65/126.17 eprover: CPU time limit exceeded, terminating
% 139.86/128.18 eprover: CPU time limit exceeded, terminating
% 142.13/130.19 eprover: CPU time limit exceeded, terminating
% 144.32/132.21 eprover: CPU time limit exceeded, terminating
% 146.55/134.22 eprover: CPU time limit exceeded, terminating
% 148.72/136.23 eprover: CPU time limit exceeded, terminating
% 150.91/138.24 eprover: CPU time limit exceeded, terminating
% 153.14/140.25 eprover: CPU time limit exceeded, terminating
% 155.33/142.26 eprover: CPU time limit exceeded, terminating
% 157.56/144.28 eprover: CPU time limit exceeded, terminating
% 159.76/146.29 eprover: CPU time limit exceeded, terminating
% 161.95/148.30 eprover: CPU time limit exceeded, terminating
% 164.26/150.31 eprover: CPU time limit exceeded, terminating
% 166.44/152.32 eprover: CPU time limit exceeded, terminating
% 168.66/154.34 eprover: CPU time limit exceeded, terminating
% 170.83/156.35 eprover: CPU time limit exceeded, terminating
% 173.05/158.36 eprover: CPU time limit exceeded, terminating
% 175.31/160.37 eprover: CPU time limit exceeded, terminating
% 177.52/162.38 eprover: CPU time limit exceeded, terminating
% 179.73/164.40 eprover: CPU time limit exceeded, terminating
% 181.93/166.41 eprover: CPU time limit exceeded, terminating
% 184.12/168.42 eprover: CPU time limit exceeded, terminating
% 186.35/170.43 eprover: CPU time limit exceeded, terminating
% 188.57/172.45 eprover: CPU time limit exceeded, terminating
% 190.73/174.46 eprover: CPU time limit exceeded, terminating
% 192.92/176.47 eprover: CPU time limit exceeded, terminating
% 195.13/178.48 eprover: CPU time limit exceeded, terminating
% 197.34/180.49 eprover: CPU time limit exceeded, terminating
% 199.62/182.51 eprover: CPU time limit exceeded, terminating
% 201.82/184.52 eprover: CPU time limit exceeded, terminating
% 204.02/186.53 eprover: CPU time limit exceeded, terminating
% 206.22/188.54 eprover: CPU time limit exceeded, terminating
% 208.42/190.55 eprover: CPU time limit exceeded, terminating
% 210.64/192.57 eprover: CPU time limit exceeded, terminating
% 212.82/194.58 eprover: CPU time limit exceeded, terminating
% 215.08/196.59 eprover: CPU time limit exceeded, terminating
% 217.31/198.60 eprover: CPU time limit exceeded, terminating
% 219.51/200.61 eprover: CPU time limit exceeded, terminating
% 221.73/202.63 eprover: CPU time limit exceeded, terminating
% 223.91/204.64 eprover: CPU time limit exceeded, terminating
% 226.11/206.65 eprover: CPU time limit exceeded, terminating
% 228.31/208.66 eprover: CPU time limit exceeded, terminating
% 230.51/210.68 eprover: CPU time limit exceeded, terminating
% 232.80/212.69 eprover: CPU time limit exceeded, terminating
% 234.92/214.70 eprover: CPU time limit exceeded, terminating
% 237.21/216.71 eprover: CPU time limit exceeded, terminating
% 239.39/218.73 eprover: CPU time limit exceeded, terminating
% 241.63/220.74 eprover: CPU time limit exceeded, terminating
% 243.82/222.75 eprover: CPU time limit exceeded, terminating
% 245.99/224.76 eprover: CPU time limit exceeded, terminating
% 248.24/226.77 eprover: CPU time limit exceeded, terminating
% 250.44/228.79 eprover: CPU time limit exceeded, terminating
% 252.70/230.80 eprover: CPU time limit exceeded, terminating
% 254.93/232.81 eprover: CPU time limit exceeded, terminating
% 257.14/234.82 eprover: CPU time limit exceeded, terminating
% 259.32/236.83 eprover: CPU time limit exceeded, terminating
% 261.53/238.84 eprover: CPU time limit exceeded, terminating
% 263.72/240.86 eprover: CPU time limit exceeded, terminating
% 265.92/242.87 eprover: CPU time limit exceeded, terminating
% 268.12/244.88 eprover: CPU time limit exceeded, terminating
% 270.41/246.89 eprover: CPU time limit exceeded, terminating
% 272.63/248.91 eprover: CPU time limit exceeded, terminating
% 274.80/250.92 eprover: CPU time limit exceeded, terminating
% 277.01/252.93 eprover: CPU time limit exceeded, terminating
% 279.21/254.94 eprover: CPU time limit exceeded, terminating
% 281.40/256.95 eprover: CPU time limit exceeded, terminating
% 283.63/258.96 eprover: CPU time limit exceeded, terminating
% 285.80/260.97 eprover: CPU time limit exceeded, terminating
% 288.01/262.98 eprover: CPU time limit exceeded, terminating
% 290.21/264.99 eprover: CPU time limit exceeded, terminating
% 292.47/267.00 eprover: CPU time limit exceeded, terminating
% 294.66/269.01 eprover: CPU time limit exceeded, terminating
% 296.88/271.03 eprover: CPU time limit exceeded, terminating
% 299.08/273.03 eprover: CPU time limit exceeded, terminating
% 300.08/273.83 eprover: CPU time limit exceeded, terminating
% 300.08/273.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------