TSTP Solution File: GEO539+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO539+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:06 EDT 2022
% Result : Timeout 287.47s 287.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GEO539+1 : TPTP v8.1.0. Released v7.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n022.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 : Fri Jun 17 17:45:32 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.61/2.81 eprover: CPU time limit exceeded, terminating
% 4.62/4.82 eprover: CPU time limit exceeded, terminating
% 6.65/6.83 eprover: CPU time limit exceeded, terminating
% 8.70/8.84 eprover: CPU time limit exceeded, terminating
% 10.70/10.85 eprover: CPU time limit exceeded, terminating
% 12.72/12.86 eprover: CPU time limit exceeded, terminating
% 14.75/14.87 eprover: CPU time limit exceeded, terminating
% 16.79/16.88 eprover: CPU time limit exceeded, terminating
% 18.77/18.89 eprover: CPU time limit exceeded, terminating
% 20.82/20.90 eprover: CPU time limit exceeded, terminating
% 22.86/22.91 eprover: CPU time limit exceeded, terminating
% 24.83/24.92 eprover: CPU time limit exceeded, terminating
% 26.89/26.93 eprover: CPU time limit exceeded, terminating
% 28.87/28.94 eprover: CPU time limit exceeded, terminating
% 30.92/30.95 eprover: CPU time limit exceeded, terminating
% 32.97/32.96 eprover: CPU time limit exceeded, terminating
% 34.95/34.97 eprover: CPU time limit exceeded, terminating
% 36.91/36.98 eprover: CPU time limit exceeded, terminating
% 39.00/38.99 eprover: CPU time limit exceeded, terminating
% 41.04/41.00 eprover: CPU time limit exceeded, terminating
% 43.08/43.01 eprover: CPU time limit exceeded, terminating
% 45.05/45.03 eprover: CPU time limit exceeded, terminating
% 47.13/47.04 eprover: CPU time limit exceeded, terminating
% 49.11/49.05 eprover: CPU time limit exceeded, terminating
% 51.16/51.06 eprover: CPU time limit exceeded, terminating
% 53.18/53.07 eprover: CPU time limit exceeded, terminating
% 55.16/55.08 eprover: CPU time limit exceeded, terminating
% 57.21/57.09 eprover: CPU time limit exceeded, terminating
% 59.21/59.10 eprover: CPU time limit exceeded, terminating
% 61.25/61.11 eprover: CPU time limit exceeded, terminating
% 63.25/63.12 eprover: CPU time limit exceeded, terminating
% 65.33/65.13 eprover: CPU time limit exceeded, terminating
% 67.29/67.14 eprover: CPU time limit exceeded, terminating
% 69.37/69.15 eprover: CPU time limit exceeded, terminating
% 71.32/71.16 eprover: CPU time limit exceeded, terminating
% 73.42/73.17 eprover: CPU time limit exceeded, terminating
% 75.42/75.18 eprover: CPU time limit exceeded, terminating
% 77.42/77.19 eprover: CPU time limit exceeded, terminating
% 79.43/79.20 eprover: CPU time limit exceeded, terminating
% 81.48/81.21 eprover: CPU time limit exceeded, terminating
% 83.50/83.22 eprover: CPU time limit exceeded, terminating
% 85.55/85.23 eprover: CPU time limit exceeded, terminating
% 87.57/87.24 eprover: CPU time limit exceeded, terminating
% 89.54/89.25 eprover: CPU time limit exceeded, terminating
% 91.61/91.26 eprover: CPU time limit exceeded, terminating
% 93.63/93.27 eprover: CPU time limit exceeded, terminating
% 95.63/95.28 eprover: CPU time limit exceeded, terminating
% 97.65/97.29 eprover: CPU time limit exceeded, terminating
% 99.66/99.30 eprover: CPU time limit exceeded, terminating
% 101.67/101.32 eprover: CPU time limit exceeded, terminating
% 103.71/103.33 eprover: CPU time limit exceeded, terminating
% 105.76/105.34 eprover: CPU time limit exceeded, terminating
% 107.74/107.35 eprover: CPU time limit exceeded, terminating
% 109.72/109.36 eprover: CPU time limit exceeded, terminating
% 111.82/111.37 eprover: CPU time limit exceeded, terminating
% 113.82/113.38 eprover: CPU time limit exceeded, terminating
% 115.86/115.39 eprover: CPU time limit exceeded, terminating
% 117.89/117.40 eprover: CPU time limit exceeded, terminating
% 119.86/119.41 eprover: CPU time limit exceeded, terminating
% 121.94/121.42 eprover: CPU time limit exceeded, terminating
% 123.95/123.43 eprover: CPU time limit exceeded, terminating
% 125.91/125.44 eprover: CPU time limit exceeded, terminating
% 128.00/127.45 eprover: CPU time limit exceeded, terminating
% 130.01/129.47 eprover: CPU time limit exceeded, terminating
% 132.03/131.48 eprover: CPU time limit exceeded, terminating
% 134.05/133.49 eprover: CPU time limit exceeded, terminating
% 136.06/135.50 eprover: CPU time limit exceeded, terminating
% 138.07/137.51 eprover: CPU time limit exceeded, terminating
% 140.09/139.57 eprover: CPU time limit exceeded, terminating
% 142.13/141.65 eprover: CPU time limit exceeded, terminating
% 144.12/143.72 eprover: CPU time limit exceeded, terminating
% 146.17/145.79 eprover: CPU time limit exceeded, terminating
% 148.18/147.88 eprover: CPU time limit exceeded, terminating
% 150.13/149.95 eprover: CPU time limit exceeded, terminating
% 152.24/152.03 eprover: CPU time limit exceeded, terminating
% 154.22/154.11 eprover: CPU time limit exceeded, terminating
% 156.25/156.18 eprover: CPU time limit exceeded, terminating
% 158.26/158.26 eprover: CPU time limit exceeded, terminating
% 160.29/160.27 eprover: CPU time limit exceeded, terminating
% 162.27/162.28 eprover: CPU time limit exceeded, terminating
% 164.31/164.34 eprover: CPU time limit exceeded, terminating
% 166.31/166.42 eprover: CPU time limit exceeded, terminating
% 168.37/168.50 eprover: CPU time limit exceeded, terminating
% 170.34/170.57 eprover: CPU time limit exceeded, terminating
% 172.36/172.66 eprover: CPU time limit exceeded, terminating
% 174.40/174.68 eprover: CPU time limit exceeded, terminating
% 176.38/176.69 eprover: CPU time limit exceeded, terminating
% 178.44/178.70 eprover: CPU time limit exceeded, terminating
% 180.46/180.71 eprover: CPU time limit exceeded, terminating
% 182.46/182.73 eprover: CPU time limit exceeded, terminating
% 184.49/184.74 eprover: CPU time limit exceeded, terminating
% 186.45/186.75 eprover: CPU time limit exceeded, terminating
% 188.50/188.76 eprover: CPU time limit exceeded, terminating
% 190.54/190.77 eprover: CPU time limit exceeded, terminating
% 192.53/192.78 eprover: CPU time limit exceeded, terminating
% 194.56/194.79 eprover: CPU time limit exceeded, terminating
% 196.55/196.80 eprover: CPU time limit exceeded, terminating
% 198.61/198.81 eprover: CPU time limit exceeded, terminating
% 200.58/200.82 eprover: CPU time limit exceeded, terminating
% 202.64/202.83 eprover: CPU time limit exceeded, terminating
% 204.67/204.84 eprover: CPU time limit exceeded, terminating
% 206.67/206.85 eprover: CPU time limit exceeded, terminating
% 208.65/208.86 eprover: CPU time limit exceeded, terminating
% 210.69/210.88 eprover: CPU time limit exceeded, terminating
% 212.73/212.88 eprover: CPU time limit exceeded, terminating
% 214.69/214.89 eprover: CPU time limit exceeded, terminating
% 216.73/216.90 eprover: CPU time limit exceeded, terminating
% 218.77/218.91 eprover: CPU time limit exceeded, terminating
% 220.79/220.92 eprover: CPU time limit exceeded, terminating
% 222.78/222.93 eprover: CPU time limit exceeded, terminating
% 224.77/224.94 eprover: CPU time limit exceeded, terminating
% 226.83/226.95 eprover: CPU time limit exceeded, terminating
% 228.79/228.96 eprover: CPU time limit exceeded, terminating
% 230.85/230.97 eprover: CPU time limit exceeded, terminating
% 232.88/232.98 eprover: CPU time limit exceeded, terminating
% 234.94/234.99 eprover: CPU time limit exceeded, terminating
% 236.93/237.00 eprover: CPU time limit exceeded, terminating
% 238.91/239.01 eprover: CPU time limit exceeded, terminating
% 240.95/241.02 eprover: CPU time limit exceeded, terminating
% 242.97/243.03 eprover: CPU time limit exceeded, terminating
% 245.02/245.05 eprover: CPU time limit exceeded, terminating
% 247.03/247.06 eprover: CPU time limit exceeded, terminating
% 249.08/249.07 eprover: CPU time limit exceeded, terminating
% 251.08/251.09 eprover: CPU time limit exceeded, terminating
% 253.08/253.10 eprover: CPU time limit exceeded, terminating
% 255.07/255.11 eprover: CPU time limit exceeded, terminating
% 257.11/257.12 eprover: CPU time limit exceeded, terminating
% 259.19/259.13 eprover: CPU time limit exceeded, terminating
% 261.20/261.14 eprover: CPU time limit exceeded, terminating
% 263.20/263.15 eprover: CPU time limit exceeded, terminating
% 265.23/265.16 eprover: CPU time limit exceeded, terminating
% 267.27/267.17 eprover: CPU time limit exceeded, terminating
% 269.30/269.18 eprover: CPU time limit exceeded, terminating
% 271.27/271.20 eprover: CPU time limit exceeded, terminating
% 273.30/273.21 eprover: CPU time limit exceeded, terminating
% 275.31/275.22 eprover: CPU time limit exceeded, terminating
% 277.38/277.23 eprover: CPU time limit exceeded, terminating
% 279.40/279.24 eprover: CPU time limit exceeded, terminating
% 281.34/281.25 eprover: CPU time limit exceeded, terminating
% 283.41/283.26 eprover: CPU time limit exceeded, terminating
% 285.46/285.27 eprover: CPU time limit exceeded, terminating
% 287.47/287.28 eprover: CPU time limit exceeded, terminating
% 289.49/289.29 eprover: CPU time limit exceeded, terminating
% 291.48/291.30 eprover: CPU time limit exceeded, terminating
% 293.48/293.31 eprover: CPU time limit exceeded, terminating
% 295.54/295.32 eprover: CPU time limit exceeded, terminating
% 297.52/297.33 eprover: CPU time limit exceeded, terminating
% 299.58/299.34 eprover: CPU time limit exceeded, terminating
% 300.13/299.84 eprover: CPU time limit exceeded, terminating
% 300.13/299.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------