TSTP Solution File: GRP618+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP618+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:36 EDT 2022
% Result : Timeout 287.31s 261.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.14 % Problem : GRP618+2 : TPTP v8.1.0. Released v3.4.0.
% 0.09/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n019.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Mon Jun 13 17:25:25 EDT 2022
% 0.15/0.37 % CPUTime :
% 9.54/9.50 eprover: CPU time limit exceeded, terminating
% 11.76/11.52 eprover: CPU time limit exceeded, terminating
% 13.90/13.53 eprover: CPU time limit exceeded, terminating
% 16.15/15.55 eprover: CPU time limit exceeded, terminating
% 18.32/17.56 eprover: CPU time limit exceeded, terminating
% 20.60/19.58 eprover: CPU time limit exceeded, terminating
% 22.79/21.60 eprover: CPU time limit exceeded, terminating
% 24.94/23.61 eprover: CPU time limit exceeded, terminating
% 27.21/25.63 eprover: CPU time limit exceeded, terminating
% 29.39/27.65 eprover: CPU time limit exceeded, terminating
% 31.62/29.66 eprover: CPU time limit exceeded, terminating
% 33.81/31.68 eprover: CPU time limit exceeded, terminating
% 36.06/33.69 eprover: CPU time limit exceeded, terminating
% 38.28/35.71 eprover: CPU time limit exceeded, terminating
% 40.49/37.73 eprover: CPU time limit exceeded, terminating
% 42.64/39.74 eprover: CPU time limit exceeded, terminating
% 44.87/41.76 eprover: CPU time limit exceeded, terminating
% 47.16/43.77 eprover: CPU time limit exceeded, terminating
% 49.28/45.79 eprover: CPU time limit exceeded, terminating
% 51.55/47.80 eprover: CPU time limit exceeded, terminating
% 53.68/49.81 eprover: CPU time limit exceeded, terminating
% 55.97/51.83 eprover: CPU time limit exceeded, terminating
% 58.16/53.84 eprover: CPU time limit exceeded, terminating
% 60.33/55.85 eprover: CPU time limit exceeded, terminating
% 62.56/57.86 eprover: CPU time limit exceeded, terminating
% 64.72/59.87 eprover: CPU time limit exceeded, terminating
% 67.00/61.88 eprover: CPU time limit exceeded, terminating
% 69.13/63.89 eprover: CPU time limit exceeded, terminating
% 71.41/65.90 eprover: CPU time limit exceeded, terminating
% 73.61/67.92 eprover: CPU time limit exceeded, terminating
% 75.82/69.93 eprover: CPU time limit exceeded, terminating
% 78.04/71.94 eprover: CPU time limit exceeded, terminating
% 80.17/73.95 eprover: CPU time limit exceeded, terminating
% 82.38/75.97 eprover: CPU time limit exceeded, terminating
% 84.60/77.98 eprover: CPU time limit exceeded, terminating
% 86.80/79.99 eprover: CPU time limit exceeded, terminating
% 88.97/82.01 eprover: CPU time limit exceeded, terminating
% 91.20/84.02 eprover: CPU time limit exceeded, terminating
% 93.42/86.03 eprover: CPU time limit exceeded, terminating
% 95.61/88.05 eprover: CPU time limit exceeded, terminating
% 97.81/90.06 eprover: CPU time limit exceeded, terminating
% 100.05/92.08 eprover: CPU time limit exceeded, terminating
% 102.25/94.09 eprover: CPU time limit exceeded, terminating
% 104.44/96.11 eprover: CPU time limit exceeded, terminating
% 106.64/98.12 eprover: CPU time limit exceeded, terminating
% 108.82/100.13 eprover: CPU time limit exceeded, terminating
% 111.04/102.15 eprover: CPU time limit exceeded, terminating
% 113.26/104.16 eprover: CPU time limit exceeded, terminating
% 115.41/106.17 eprover: CPU time limit exceeded, terminating
% 117.69/108.19 eprover: CPU time limit exceeded, terminating
% 119.89/110.20 eprover: CPU time limit exceeded, terminating
% 122.09/112.21 eprover: CPU time limit exceeded, terminating
% 124.26/114.23 eprover: CPU time limit exceeded, terminating
% 126.48/116.25 eprover: CPU time limit exceeded, terminating
% 128.68/118.26 eprover: CPU time limit exceeded, terminating
% 130.87/120.28 eprover: CPU time limit exceeded, terminating
% 133.12/122.29 eprover: CPU time limit exceeded, terminating
% 135.31/124.30 eprover: CPU time limit exceeded, terminating
% 137.52/126.32 eprover: CPU time limit exceeded, terminating
% 139.70/128.33 eprover: CPU time limit exceeded, terminating
% 141.93/130.35 eprover: CPU time limit exceeded, terminating
% 144.10/132.36 eprover: CPU time limit exceeded, terminating
% 146.30/134.38 eprover: CPU time limit exceeded, terminating
% 148.56/136.39 eprover: CPU time limit exceeded, terminating
% 150.68/138.41 eprover: CPU time limit exceeded, terminating
% 154.93/140.42 eprover: CPU time limit exceeded, terminating
% 157.14/142.43 eprover: CPU time limit exceeded, terminating
% 159.35/144.45 eprover: CPU time limit exceeded, terminating
% 161.53/146.46 eprover: CPU time limit exceeded, terminating
% 163.74/148.48 eprover: CPU time limit exceeded, terminating
% 165.93/150.49 eprover: CPU time limit exceeded, terminating
% 168.13/152.51 eprover: CPU time limit exceeded, terminating
% 170.39/154.52 eprover: CPU time limit exceeded, terminating
% 172.61/156.54 eprover: CPU time limit exceeded, terminating
% 174.78/158.55 eprover: CPU time limit exceeded, terminating
% 176.99/160.57 eprover: CPU time limit exceeded, terminating
% 179.16/162.58 eprover: CPU time limit exceeded, terminating
% 181.43/164.60 eprover: CPU time limit exceeded, terminating
% 183.64/166.61 eprover: CPU time limit exceeded, terminating
% 185.85/168.63 eprover: CPU time limit exceeded, terminating
% 188.02/170.64 eprover: CPU time limit exceeded, terminating
% 190.21/172.66 eprover: CPU time limit exceeded, terminating
% 192.41/174.67 eprover: CPU time limit exceeded, terminating
% 194.69/176.69 eprover: CPU time limit exceeded, terminating
% 196.88/178.70 eprover: CPU time limit exceeded, terminating
% 199.09/180.71 eprover: CPU time limit exceeded, terminating
% 201.29/182.73 eprover: CPU time limit exceeded, terminating
% 203.46/184.74 eprover: CPU time limit exceeded, terminating
% 205.65/186.76 eprover: CPU time limit exceeded, terminating
% 207.87/188.77 eprover: CPU time limit exceeded, terminating
% 210.12/190.79 eprover: CPU time limit exceeded, terminating
% 212.32/192.81 eprover: CPU time limit exceeded, terminating
% 214.53/194.82 eprover: CPU time limit exceeded, terminating
% 216.70/196.84 eprover: CPU time limit exceeded, terminating
% 218.91/198.85 eprover: CPU time limit exceeded, terminating
% 221.12/200.87 eprover: CPU time limit exceeded, terminating
% 223.36/202.88 eprover: CPU time limit exceeded, terminating
% 225.48/204.90 eprover: CPU time limit exceeded, terminating
% 227.79/206.91 eprover: CPU time limit exceeded, terminating
% 229.98/208.92 eprover: CPU time limit exceeded, terminating
% 232.15/210.94 eprover: CPU time limit exceeded, terminating
% 234.32/212.95 eprover: CPU time limit exceeded, terminating
% 236.55/214.97 eprover: CPU time limit exceeded, terminating
% 238.77/216.98 eprover: CPU time limit exceeded, terminating
% 241.02/219.00 eprover: CPU time limit exceeded, terminating
% 243.18/221.01 eprover: CPU time limit exceeded, terminating
% 245.41/223.03 eprover: CPU time limit exceeded, terminating
% 247.61/225.04 eprover: CPU time limit exceeded, terminating
% 249.80/227.06 eprover: CPU time limit exceeded, terminating
% 252.06/229.07 eprover: CPU time limit exceeded, terminating
% 254.26/231.09 eprover: CPU time limit exceeded, terminating
% 256.40/233.10 eprover: CPU time limit exceeded, terminating
% 258.68/235.12 eprover: CPU time limit exceeded, terminating
% 260.86/237.14 eprover: CPU time limit exceeded, terminating
% 263.05/239.15 eprover: CPU time limit exceeded, terminating
% 265.24/241.16 eprover: CPU time limit exceeded, terminating
% 267.42/243.18 eprover: CPU time limit exceeded, terminating
% 269.70/245.19 eprover: CPU time limit exceeded, terminating
% 271.84/247.21 eprover: CPU time limit exceeded, terminating
% 274.13/249.23 eprover: CPU time limit exceeded, terminating
% 276.28/251.24 eprover: CPU time limit exceeded, terminating
% 278.46/253.26 eprover: CPU time limit exceeded, terminating
% 280.69/255.27 eprover: CPU time limit exceeded, terminating
% 282.92/257.29 eprover: CPU time limit exceeded, terminating
% 285.16/259.30 eprover: CPU time limit exceeded, terminating
% 287.31/261.32 eprover: CPU time limit exceeded, terminating
% 289.54/263.33 eprover: CPU time limit exceeded, terminating
% 291.75/265.35 eprover: CPU time limit exceeded, terminating
% 293.93/267.36 eprover: CPU time limit exceeded, terminating
% 296.21/269.38 eprover: CPU time limit exceeded, terminating
% 298.40/271.39 eprover: CPU time limit exceeded, terminating
% 300.04/272.83 eprover: CPU time limit exceeded, terminating
% 300.04/272.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------