TSTP Solution File: GEO522+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO522+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:03 EDT 2022
% Result : Timeout 287.26s 286.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : GEO522+1 : TPTP v8.1.0. Released v7.0.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n029.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 : Sat Jun 18 00:10:58 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.35/2.62 eprover: CPU time limit exceeded, terminating
% 4.41/4.63 eprover: CPU time limit exceeded, terminating
% 6.48/6.64 eprover: CPU time limit exceeded, terminating
% 8.48/8.65 eprover: CPU time limit exceeded, terminating
% 10.51/10.67 eprover: CPU time limit exceeded, terminating
% 12.54/12.68 eprover: CPU time limit exceeded, terminating
% 14.52/14.69 eprover: CPU time limit exceeded, terminating
% 16.54/16.71 eprover: CPU time limit exceeded, terminating
% 18.54/18.72 eprover: CPU time limit exceeded, terminating
% 20.60/20.73 eprover: CPU time limit exceeded, terminating
% 22.59/22.74 eprover: CPU time limit exceeded, terminating
% 24.59/24.75 eprover: CPU time limit exceeded, terminating
% 26.64/26.76 eprover: CPU time limit exceeded, terminating
% 28.68/28.78 eprover: CPU time limit exceeded, terminating
% 30.67/30.79 eprover: CPU time limit exceeded, terminating
% 32.73/32.80 eprover: CPU time limit exceeded, terminating
% 34.75/34.81 eprover: CPU time limit exceeded, terminating
% 36.74/36.83 eprover: CPU time limit exceeded, terminating
% 38.80/38.84 eprover: CPU time limit exceeded, terminating
% 40.82/40.85 eprover: CPU time limit exceeded, terminating
% 42.80/42.86 eprover: CPU time limit exceeded, terminating
% 44.83/44.88 eprover: CPU time limit exceeded, terminating
% 46.84/46.89 eprover: CPU time limit exceeded, terminating
% 48.85/48.90 eprover: CPU time limit exceeded, terminating
% 50.87/50.91 eprover: CPU time limit exceeded, terminating
% 52.93/52.93 eprover: CPU time limit exceeded, terminating
% 54.97/54.94 eprover: CPU time limit exceeded, terminating
% 56.91/56.95 eprover: CPU time limit exceeded, terminating
% 58.99/58.96 eprover: CPU time limit exceeded, terminating
% 61.01/60.98 eprover: CPU time limit exceeded, terminating
% 63.04/63.00 eprover: CPU time limit exceeded, terminating
% 65.04/65.01 eprover: CPU time limit exceeded, terminating
% 67.04/67.02 eprover: CPU time limit exceeded, terminating
% 69.09/69.03 eprover: CPU time limit exceeded, terminating
% 71.13/71.04 eprover: CPU time limit exceeded, terminating
% 73.14/73.06 eprover: CPU time limit exceeded, terminating
% 75.14/75.07 eprover: CPU time limit exceeded, terminating
% 77.17/77.08 eprover: CPU time limit exceeded, terminating
% 79.20/79.10 eprover: CPU time limit exceeded, terminating
% 81.18/81.11 eprover: CPU time limit exceeded, terminating
% 83.18/83.12 eprover: CPU time limit exceeded, terminating
% 85.22/85.13 eprover: CPU time limit exceeded, terminating
% 87.28/87.15 eprover: CPU time limit exceeded, terminating
% 89.28/89.16 eprover: CPU time limit exceeded, terminating
% 91.29/91.17 eprover: CPU time limit exceeded, terminating
% 93.35/93.18 eprover: CPU time limit exceeded, terminating
% 95.34/95.20 eprover: CPU time limit exceeded, terminating
% 97.36/97.21 eprover: CPU time limit exceeded, terminating
% 99.41/99.22 eprover: CPU time limit exceeded, terminating
% 101.45/101.23 eprover: CPU time limit exceeded, terminating
% 103.45/103.24 eprover: CPU time limit exceeded, terminating
% 105.46/105.25 eprover: CPU time limit exceeded, terminating
% 107.46/107.27 eprover: CPU time limit exceeded, terminating
% 109.48/109.28 eprover: CPU time limit exceeded, terminating
% 111.51/111.29 eprover: CPU time limit exceeded, terminating
% 113.49/113.30 eprover: CPU time limit exceeded, terminating
% 115.56/115.32 eprover: CPU time limit exceeded, terminating
% 117.58/117.33 eprover: CPU time limit exceeded, terminating
% 119.61/119.34 eprover: CPU time limit exceeded, terminating
% 121.60/121.35 eprover: CPU time limit exceeded, terminating
% 123.63/123.37 eprover: CPU time limit exceeded, terminating
% 125.65/125.38 eprover: CPU time limit exceeded, terminating
% 127.64/127.39 eprover: CPU time limit exceeded, terminating
% 129.69/129.40 eprover: CPU time limit exceeded, terminating
% 131.72/131.41 eprover: CPU time limit exceeded, terminating
% 133.71/133.43 eprover: CPU time limit exceeded, terminating
% 135.74/135.44 eprover: CPU time limit exceeded, terminating
% 137.74/137.45 eprover: CPU time limit exceeded, terminating
% 139.81/139.47 eprover: CPU time limit exceeded, terminating
% 141.79/141.48 eprover: CPU time limit exceeded, terminating
% 143.80/143.49 eprover: CPU time limit exceeded, terminating
% 145.86/145.50 eprover: CPU time limit exceeded, terminating
% 147.90/147.52 eprover: CPU time limit exceeded, terminating
% 149.89/149.53 eprover: CPU time limit exceeded, terminating
% 151.94/151.54 eprover: CPU time limit exceeded, terminating
% 153.92/153.56 eprover: CPU time limit exceeded, terminating
% 155.96/155.57 eprover: CPU time limit exceeded, terminating
% 157.94/157.58 eprover: CPU time limit exceeded, terminating
% 159.99/159.59 eprover: CPU time limit exceeded, terminating
% 162.03/161.61 eprover: CPU time limit exceeded, terminating
% 164.00/163.62 eprover: CPU time limit exceeded, terminating
% 166.04/165.63 eprover: CPU time limit exceeded, terminating
% 168.09/167.64 eprover: CPU time limit exceeded, terminating
% 170.13/169.66 eprover: CPU time limit exceeded, terminating
% 172.11/171.67 eprover: CPU time limit exceeded, terminating
% 174.19/173.68 eprover: CPU time limit exceeded, terminating
% 176.14/175.69 eprover: CPU time limit exceeded, terminating
% 178.21/177.71 eprover: CPU time limit exceeded, terminating
% 180.17/179.72 eprover: CPU time limit exceeded, terminating
% 182.26/181.73 eprover: CPU time limit exceeded, terminating
% 184.26/183.74 eprover: CPU time limit exceeded, terminating
% 186.23/185.76 eprover: CPU time limit exceeded, terminating
% 188.32/187.77 eprover: CPU time limit exceeded, terminating
% 190.34/189.78 eprover: CPU time limit exceeded, terminating
% 192.36/191.79 eprover: CPU time limit exceeded, terminating
% 194.36/193.81 eprover: CPU time limit exceeded, terminating
% 196.39/195.82 eprover: CPU time limit exceeded, terminating
% 198.44/197.83 eprover: CPU time limit exceeded, terminating
% 200.40/199.84 eprover: CPU time limit exceeded, terminating
% 202.43/201.86 eprover: CPU time limit exceeded, terminating
% 204.46/203.87 eprover: CPU time limit exceeded, terminating
% 206.50/205.88 eprover: CPU time limit exceeded, terminating
% 208.52/207.89 eprover: CPU time limit exceeded, terminating
% 210.51/209.91 eprover: CPU time limit exceeded, terminating
% 212.49/211.93 eprover: CPU time limit exceeded, terminating
% 214.52/213.94 eprover: CPU time limit exceeded, terminating
% 216.58/215.95 eprover: CPU time limit exceeded, terminating
% 218.61/217.97 eprover: CPU time limit exceeded, terminating
% 220.57/219.98 eprover: CPU time limit exceeded, terminating
% 222.63/222.00 eprover: CPU time limit exceeded, terminating
% 224.67/224.01 eprover: CPU time limit exceeded, terminating
% 226.69/226.02 eprover: CPU time limit exceeded, terminating
% 228.68/228.04 eprover: CPU time limit exceeded, terminating
% 230.72/230.05 eprover: CPU time limit exceeded, terminating
% 232.78/232.07 eprover: CPU time limit exceeded, terminating
% 234.74/234.08 eprover: CPU time limit exceeded, terminating
% 236.79/236.10 eprover: CPU time limit exceeded, terminating
% 238.77/238.11 eprover: CPU time limit exceeded, terminating
% 240.87/240.12 eprover: CPU time limit exceeded, terminating
% 242.86/242.14 eprover: CPU time limit exceeded, terminating
% 244.84/244.16 eprover: CPU time limit exceeded, terminating
% 246.86/246.17 eprover: CPU time limit exceeded, terminating
% 248.94/248.18 eprover: CPU time limit exceeded, terminating
% 250.90/250.19 eprover: CPU time limit exceeded, terminating
% 252.96/252.21 eprover: CPU time limit exceeded, terminating
% 255.00/254.23 eprover: CPU time limit exceeded, terminating
% 257.03/256.24 eprover: CPU time limit exceeded, terminating
% 259.02/258.25 eprover: CPU time limit exceeded, terminating
% 261.03/260.26 eprover: CPU time limit exceeded, terminating
% 263.08/262.28 eprover: CPU time limit exceeded, terminating
% 265.03/264.30 eprover: CPU time limit exceeded, terminating
% 267.09/266.31 eprover: CPU time limit exceeded, terminating
% 269.15/268.32 eprover: CPU time limit exceeded, terminating
% 271.15/270.33 eprover: CPU time limit exceeded, terminating
% 273.21/272.36 eprover: CPU time limit exceeded, terminating
% 275.15/274.37 eprover: CPU time limit exceeded, terminating
% 277.22/276.38 eprover: CPU time limit exceeded, terminating
% 279.26/278.39 eprover: CPU time limit exceeded, terminating
% 281.21/280.41 eprover: CPU time limit exceeded, terminating
% 283.26/282.43 eprover: CPU time limit exceeded, terminating
% 285.30/284.44 eprover: CPU time limit exceeded, terminating
% 287.26/286.45 eprover: CPU time limit exceeded, terminating
% 289.32/288.46 eprover: CPU time limit exceeded, terminating
% 291.37/290.48 eprover: CPU time limit exceeded, terminating
% 293.34/292.50 eprover: CPU time limit exceeded, terminating
% 295.42/294.51 eprover: CPU time limit exceeded, terminating
% 297.39/296.52 eprover: CPU time limit exceeded, terminating
% 299.41/298.53 eprover: CPU time limit exceeded, terminating
% 300.04/299.10 eprover: CPU time limit exceeded, terminating
% 300.04/299.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------