TSTP Solution File: GEO529+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO529+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 04:35:04 EDT 2022
% Result : Timeout 287.52s 285.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GEO529+1 : TPTP v8.1.0. Released v7.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n028.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 : Fri Jun 17 16:52:43 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.41/2.65 eprover: CPU time limit exceeded, terminating
% 4.44/4.66 eprover: CPU time limit exceeded, terminating
% 6.44/6.68 eprover: CPU time limit exceeded, terminating
% 8.47/8.69 eprover: CPU time limit exceeded, terminating
% 10.55/10.71 eprover: CPU time limit exceeded, terminating
% 12.58/12.72 eprover: CPU time limit exceeded, terminating
% 14.55/14.73 eprover: CPU time limit exceeded, terminating
% 16.58/16.75 eprover: CPU time limit exceeded, terminating
% 18.60/18.76 eprover: CPU time limit exceeded, terminating
% 20.58/20.78 eprover: CPU time limit exceeded, terminating
% 22.62/22.79 eprover: CPU time limit exceeded, terminating
% 24.71/24.80 eprover: CPU time limit exceeded, terminating
% 26.74/26.82 eprover: CPU time limit exceeded, terminating
% 28.74/28.83 eprover: CPU time limit exceeded, terminating
% 30.76/30.85 eprover: CPU time limit exceeded, terminating
% 32.74/32.86 eprover: CPU time limit exceeded, terminating
% 34.78/34.88 eprover: CPU time limit exceeded, terminating
% 36.79/36.89 eprover: CPU time limit exceeded, terminating
% 38.89/38.91 eprover: CPU time limit exceeded, terminating
% 40.87/40.92 eprover: CPU time limit exceeded, terminating
% 42.90/42.94 eprover: CPU time limit exceeded, terminating
% 44.93/44.95 eprover: CPU time limit exceeded, terminating
% 46.92/46.96 eprover: CPU time limit exceeded, terminating
% 48.93/48.98 eprover: CPU time limit exceeded, terminating
% 50.93/51.00 eprover: CPU time limit exceeded, terminating
% 53.01/53.01 eprover: CPU time limit exceeded, terminating
% 55.05/55.02 eprover: CPU time limit exceeded, terminating
% 57.07/57.04 eprover: CPU time limit exceeded, terminating
% 59.08/59.05 eprover: CPU time limit exceeded, terminating
% 61.09/61.06 eprover: CPU time limit exceeded, terminating
% 63.05/63.09 eprover: CPU time limit exceeded, terminating
% 65.17/65.10 eprover: CPU time limit exceeded, terminating
% 67.17/67.12 eprover: CPU time limit exceeded, terminating
% 69.21/69.13 eprover: CPU time limit exceeded, terminating
% 71.23/71.14 eprover: CPU time limit exceeded, terminating
% 73.22/73.16 eprover: CPU time limit exceeded, terminating
% 75.29/75.17 eprover: CPU time limit exceeded, terminating
% 77.23/77.19 eprover: CPU time limit exceeded, terminating
% 79.34/79.20 eprover: CPU time limit exceeded, terminating
% 81.35/81.22 eprover: CPU time limit exceeded, terminating
% 83.37/83.23 eprover: CPU time limit exceeded, terminating
% 85.39/85.25 eprover: CPU time limit exceeded, terminating
% 87.40/87.26 eprover: CPU time limit exceeded, terminating
% 89.45/89.27 eprover: CPU time limit exceeded, terminating
% 91.40/91.29 eprover: CPU time limit exceeded, terminating
% 93.50/93.31 eprover: CPU time limit exceeded, terminating
% 95.50/95.33 eprover: CPU time limit exceeded, terminating
% 97.53/97.34 eprover: CPU time limit exceeded, terminating
% 99.53/99.35 eprover: CPU time limit exceeded, terminating
% 101.52/101.37 eprover: CPU time limit exceeded, terminating
% 103.55/103.38 eprover: CPU time limit exceeded, terminating
% 105.64/105.40 eprover: CPU time limit exceeded, terminating
% 107.67/107.41 eprover: CPU time limit exceeded, terminating
% 109.67/109.42 eprover: CPU time limit exceeded, terminating
% 111.65/111.43 eprover: CPU time limit exceeded, terminating
% 113.68/113.45 eprover: CPU time limit exceeded, terminating
% 115.69/115.48 eprover: CPU time limit exceeded, terminating
% 117.70/117.57 eprover: CPU time limit exceeded, terminating
% 119.76/119.64 eprover: CPU time limit exceeded, terminating
% 121.72/121.66 eprover: CPU time limit exceeded, terminating
% 123.79/123.75 eprover: CPU time limit exceeded, terminating
% 125.76/125.76 eprover: CPU time limit exceeded, terminating
% 127.82/127.86 eprover: CPU time limit exceeded, terminating
% 129.84/129.87 eprover: CPU time limit exceeded, terminating
% 131.86/131.95 eprover: CPU time limit exceeded, terminating
% 133.87/134.05 eprover: CPU time limit exceeded, terminating
% 135.90/136.12 eprover: CPU time limit exceeded, terminating
% 137.94/138.13 eprover: CPU time limit exceeded, terminating
% 139.95/140.23 eprover: CPU time limit exceeded, terminating
% 141.96/142.24 eprover: CPU time limit exceeded, terminating
% 144.00/144.30 eprover: CPU time limit exceeded, terminating
% 146.00/146.31 eprover: CPU time limit exceeded, terminating
% 148.02/148.32 eprover: CPU time limit exceeded, terminating
% 150.00/150.34 eprover: CPU time limit exceeded, terminating
% 152.04/152.35 eprover: CPU time limit exceeded, terminating
% 154.06/154.36 eprover: CPU time limit exceeded, terminating
% 156.04/156.38 eprover: CPU time limit exceeded, terminating
% 158.15/158.39 eprover: CPU time limit exceeded, terminating
% 160.18/160.41 eprover: CPU time limit exceeded, terminating
% 162.20/162.42 eprover: CPU time limit exceeded, terminating
% 164.15/164.44 eprover: CPU time limit exceeded, terminating
% 166.21/166.46 eprover: CPU time limit exceeded, terminating
% 168.23/168.47 eprover: CPU time limit exceeded, terminating
% 170.22/170.48 eprover: CPU time limit exceeded, terminating
% 172.29/172.50 eprover: CPU time limit exceeded, terminating
% 174.34/174.51 eprover: CPU time limit exceeded, terminating
% 176.32/176.53 eprover: CPU time limit exceeded, terminating
% 178.34/178.54 eprover: CPU time limit exceeded, terminating
% 180.39/180.56 eprover: CPU time limit exceeded, terminating
% 182.34/182.57 eprover: CPU time limit exceeded, terminating
% 184.38/184.58 eprover: CPU time limit exceeded, terminating
% 186.39/186.60 eprover: CPU time limit exceeded, terminating
% 188.49/188.61 eprover: CPU time limit exceeded, terminating
% 190.48/190.62 eprover: CPU time limit exceeded, terminating
% 192.51/192.64 eprover: CPU time limit exceeded, terminating
% 194.53/194.65 eprover: CPU time limit exceeded, terminating
% 196.51/196.67 eprover: CPU time limit exceeded, terminating
% 198.54/198.68 eprover: CPU time limit exceeded, terminating
% 200.54/200.70 eprover: CPU time limit exceeded, terminating
% 202.66/202.71 eprover: CPU time limit exceeded, terminating
% 204.65/204.73 eprover: CPU time limit exceeded, terminating
% 206.67/206.74 eprover: CPU time limit exceeded, terminating
% 208.70/208.76 eprover: CPU time limit exceeded, terminating
% 210.69/210.77 eprover: CPU time limit exceeded, terminating
% 212.73/212.79 eprover: CPU time limit exceeded, terminating
% 214.80/214.80 eprover: CPU time limit exceeded, terminating
% 216.84/216.82 eprover: CPU time limit exceeded, terminating
% 218.82/218.83 eprover: CPU time limit exceeded, terminating
% 220.84/220.85 eprover: CPU time limit exceeded, terminating
% 222.84/222.86 eprover: CPU time limit exceeded, terminating
% 224.87/224.87 eprover: CPU time limit exceeded, terminating
% 226.95/226.89 eprover: CPU time limit exceeded, terminating
% 228.88/228.90 eprover: CPU time limit exceeded, terminating
% 232.81/230.91 eprover: CPU time limit exceeded, terminating
% 234.88/232.93 eprover: CPU time limit exceeded, terminating
% 236.92/234.94 eprover: CPU time limit exceeded, terminating
% 238.90/236.96 eprover: CPU time limit exceeded, terminating
% 240.91/238.97 eprover: CPU time limit exceeded, terminating
% 242.94/240.98 eprover: CPU time limit exceeded, terminating
% 244.96/243.00 eprover: CPU time limit exceeded, terminating
% 247.05/245.01 eprover: CPU time limit exceeded, terminating
% 249.03/247.03 eprover: CPU time limit exceeded, terminating
% 251.03/249.04 eprover: CPU time limit exceeded, terminating
% 253.08/251.06 eprover: CPU time limit exceeded, terminating
% 255.09/253.07 eprover: CPU time limit exceeded, terminating
% 257.09/255.08 eprover: CPU time limit exceeded, terminating
% 259.18/257.10 eprover: CPU time limit exceeded, terminating
% 261.19/259.11 eprover: CPU time limit exceeded, terminating
% 263.22/261.13 eprover: CPU time limit exceeded, terminating
% 265.20/263.14 eprover: CPU time limit exceeded, terminating
% 267.25/265.15 eprover: CPU time limit exceeded, terminating
% 269.30/267.17 eprover: CPU time limit exceeded, terminating
% 271.27/269.18 eprover: CPU time limit exceeded, terminating
% 273.34/271.20 eprover: CPU time limit exceeded, terminating
% 275.31/273.21 eprover: CPU time limit exceeded, terminating
% 277.40/275.22 eprover: CPU time limit exceeded, terminating
% 279.39/277.24 eprover: CPU time limit exceeded, terminating
% 281.39/279.25 eprover: CPU time limit exceeded, terminating
% 283.43/281.27 eprover: CPU time limit exceeded, terminating
% 285.49/283.28 eprover: CPU time limit exceeded, terminating
% 287.52/285.30 eprover: CPU time limit exceeded, terminating
% 289.50/287.31 eprover: CPU time limit exceeded, terminating
% 291.55/289.32 eprover: CPU time limit exceeded, terminating
% 293.51/291.34 eprover: CPU time limit exceeded, terminating
% 295.59/293.35 eprover: CPU time limit exceeded, terminating
% 297.57/295.37 eprover: CPU time limit exceeded, terminating
% 299.63/297.38 eprover: CPU time limit exceeded, terminating
% 300.16/297.88 eprover: CPU time limit exceeded, terminating
% 300.16/297.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------