TSTP Solution File: GRP628+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP628+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:43 EDT 2022
% Result : Timeout 286.19s 262.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GRP628+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n008.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 18:25:38 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.43/9.43 eprover: CPU time limit exceeded, terminating
% 11.64/11.45 eprover: CPU time limit exceeded, terminating
% 13.81/13.46 eprover: CPU time limit exceeded, terminating
% 16.05/15.47 eprover: CPU time limit exceeded, terminating
% 18.20/17.48 eprover: CPU time limit exceeded, terminating
% 20.49/19.49 eprover: CPU time limit exceeded, terminating
% 22.71/21.50 eprover: CPU time limit exceeded, terminating
% 24.90/23.51 eprover: CPU time limit exceeded, terminating
% 27.10/25.52 eprover: CPU time limit exceeded, terminating
% 29.29/27.53 eprover: CPU time limit exceeded, terminating
% 31.48/29.54 eprover: CPU time limit exceeded, terminating
% 33.65/31.55 eprover: CPU time limit exceeded, terminating
% 35.86/33.56 eprover: CPU time limit exceeded, terminating
% 38.13/35.57 eprover: CPU time limit exceeded, terminating
% 40.34/37.59 eprover: CPU time limit exceeded, terminating
% 42.46/39.60 eprover: CPU time limit exceeded, terminating
% 44.66/41.61 eprover: CPU time limit exceeded, terminating
% 46.88/43.63 eprover: CPU time limit exceeded, terminating
% 49.04/45.64 eprover: CPU time limit exceeded, terminating
% 51.24/47.65 eprover: CPU time limit exceeded, terminating
% 53.46/49.66 eprover: CPU time limit exceeded, terminating
% 55.54/51.67 eprover: CPU time limit exceeded, terminating
% 57.74/53.68 eprover: CPU time limit exceeded, terminating
% 59.98/55.70 eprover: CPU time limit exceeded, terminating
% 62.13/57.72 eprover: CPU time limit exceeded, terminating
% 64.36/59.74 eprover: CPU time limit exceeded, terminating
% 66.52/61.75 eprover: CPU time limit exceeded, terminating
% 68.76/63.76 eprover: CPU time limit exceeded, terminating
% 70.87/65.78 eprover: CPU time limit exceeded, terminating
% 73.10/67.80 eprover: CPU time limit exceeded, terminating
% 75.30/69.81 eprover: CPU time limit exceeded, terminating
% 77.48/71.82 eprover: CPU time limit exceeded, terminating
% 79.64/73.84 eprover: CPU time limit exceeded, terminating
% 81.82/75.85 eprover: CPU time limit exceeded, terminating
% 84.02/77.86 eprover: CPU time limit exceeded, terminating
% 86.16/79.87 eprover: CPU time limit exceeded, terminating
% 88.42/81.88 eprover: CPU time limit exceeded, terminating
% 90.61/83.89 eprover: CPU time limit exceeded, terminating
% 92.73/85.90 eprover: CPU time limit exceeded, terminating
% 95.00/87.91 eprover: CPU time limit exceeded, terminating
% 97.16/89.93 eprover: CPU time limit exceeded, terminating
% 99.39/91.94 eprover: CPU time limit exceeded, terminating
% 101.58/93.95 eprover: CPU time limit exceeded, terminating
% 103.75/95.96 eprover: CPU time limit exceeded, terminating
% 105.95/97.97 eprover: CPU time limit exceeded, terminating
% 108.16/99.98 eprover: CPU time limit exceeded, terminating
% 110.31/101.99 eprover: CPU time limit exceeded, terminating
% 112.58/104.00 eprover: CPU time limit exceeded, terminating
% 114.78/106.01 eprover: CPU time limit exceeded, terminating
% 116.95/108.03 eprover: CPU time limit exceeded, terminating
% 119.13/110.04 eprover: CPU time limit exceeded, terminating
% 121.34/112.05 eprover: CPU time limit exceeded, terminating
% 123.55/114.06 eprover: CPU time limit exceeded, terminating
% 125.72/116.07 eprover: CPU time limit exceeded, terminating
% 127.94/118.08 eprover: CPU time limit exceeded, terminating
% 130.10/120.09 eprover: CPU time limit exceeded, terminating
% 132.36/122.10 eprover: CPU time limit exceeded, terminating
% 134.58/124.11 eprover: CPU time limit exceeded, terminating
% 136.76/126.12 eprover: CPU time limit exceeded, terminating
% 138.93/128.14 eprover: CPU time limit exceeded, terminating
% 141.12/130.15 eprover: CPU time limit exceeded, terminating
% 143.33/132.16 eprover: CPU time limit exceeded, terminating
% 145.52/134.17 eprover: CPU time limit exceeded, terminating
% 147.73/136.18 eprover: CPU time limit exceeded, terminating
% 149.92/138.19 eprover: CPU time limit exceeded, terminating
% 152.17/140.20 eprover: CPU time limit exceeded, terminating
% 154.34/142.21 eprover: CPU time limit exceeded, terminating
% 156.56/144.22 eprover: CPU time limit exceeded, terminating
% 158.70/146.23 eprover: CPU time limit exceeded, terminating
% 160.93/148.24 eprover: CPU time limit exceeded, terminating
% 163.08/150.25 eprover: CPU time limit exceeded, terminating
% 165.31/152.27 eprover: CPU time limit exceeded, terminating
% 167.46/154.28 eprover: CPU time limit exceeded, terminating
% 169.68/156.29 eprover: CPU time limit exceeded, terminating
% 171.92/158.30 eprover: CPU time limit exceeded, terminating
% 174.06/160.31 eprover: CPU time limit exceeded, terminating
% 176.29/162.32 eprover: CPU time limit exceeded, terminating
% 178.55/164.33 eprover: CPU time limit exceeded, terminating
% 180.69/166.34 eprover: CPU time limit exceeded, terminating
% 182.88/168.35 eprover: CPU time limit exceeded, terminating
% 185.12/170.37 eprover: CPU time limit exceeded, terminating
% 187.25/172.38 eprover: CPU time limit exceeded, terminating
% 189.52/174.39 eprover: CPU time limit exceeded, terminating
% 191.73/176.40 eprover: CPU time limit exceeded, terminating
% 193.90/178.41 eprover: CPU time limit exceeded, terminating
% 196.07/180.42 eprover: CPU time limit exceeded, terminating
% 198.31/182.43 eprover: CPU time limit exceeded, terminating
% 200.50/184.44 eprover: CPU time limit exceeded, terminating
% 202.67/186.45 eprover: CPU time limit exceeded, terminating
% 204.90/188.46 eprover: CPU time limit exceeded, terminating
% 207.04/190.47 eprover: CPU time limit exceeded, terminating
% 209.26/192.48 eprover: CPU time limit exceeded, terminating
% 211.42/194.49 eprover: CPU time limit exceeded, terminating
% 213.68/196.50 eprover: CPU time limit exceeded, terminating
% 215.89/198.52 eprover: CPU time limit exceeded, terminating
% 218.05/200.53 eprover: CPU time limit exceeded, terminating
% 220.25/202.54 eprover: CPU time limit exceeded, terminating
% 222.41/204.55 eprover: CPU time limit exceeded, terminating
% 224.60/206.56 eprover: CPU time limit exceeded, terminating
% 226.82/208.57 eprover: CPU time limit exceeded, terminating
% 229.02/210.58 eprover: CPU time limit exceeded, terminating
% 231.27/212.59 eprover: CPU time limit exceeded, terminating
% 233.42/214.60 eprover: CPU time limit exceeded, terminating
% 235.67/216.61 eprover: CPU time limit exceeded, terminating
% 237.85/218.63 eprover: CPU time limit exceeded, terminating
% 240.07/220.64 eprover: CPU time limit exceeded, terminating
% 242.24/222.65 eprover: CPU time limit exceeded, terminating
% 244.42/224.66 eprover: CPU time limit exceeded, terminating
% 246.61/226.67 eprover: CPU time limit exceeded, terminating
% 248.80/228.68 eprover: CPU time limit exceeded, terminating
% 250.97/230.69 eprover: CPU time limit exceeded, terminating
% 253.27/232.70 eprover: CPU time limit exceeded, terminating
% 255.45/234.71 eprover: CPU time limit exceeded, terminating
% 257.61/236.72 eprover: CPU time limit exceeded, terminating
% 259.83/238.73 eprover: CPU time limit exceeded, terminating
% 262.02/240.75 eprover: CPU time limit exceeded, terminating
% 264.25/242.76 eprover: CPU time limit exceeded, terminating
% 266.40/244.77 eprover: CPU time limit exceeded, terminating
% 268.62/246.78 eprover: CPU time limit exceeded, terminating
% 270.78/248.79 eprover: CPU time limit exceeded, terminating
% 272.99/250.80 eprover: CPU time limit exceeded, terminating
% 275.21/252.81 eprover: CPU time limit exceeded, terminating
% 277.41/254.82 eprover: CPU time limit exceeded, terminating
% 279.63/256.83 eprover: CPU time limit exceeded, terminating
% 281.82/258.84 eprover: CPU time limit exceeded, terminating
% 284.03/260.85 eprover: CPU time limit exceeded, terminating
% 286.19/262.87 eprover: CPU time limit exceeded, terminating
% 288.41/264.88 eprover: CPU time limit exceeded, terminating
% 290.56/266.89 eprover: CPU time limit exceeded, terminating
% 292.78/268.90 eprover: CPU time limit exceeded, terminating
% 295.03/270.91 eprover: CPU time limit exceeded, terminating
% 297.21/272.92 eprover: CPU time limit exceeded, terminating
% 299.42/274.93 eprover: CPU time limit exceeded, terminating
% 300.01/275.41 eprover: CPU time limit exceeded, terminating
% 300.01/275.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------