TSTP Solution File: GEO157-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO157-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:33:11 EDT 2022
% Result : Timeout 286.54s 284.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : GEO157-1 : TPTP v8.1.0. Released v2.5.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n014.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 21:28:04 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.12/2.38 eprover: CPU time limit exceeded, terminating
% 4.21/4.40 eprover: CPU time limit exceeded, terminating
% 6.20/6.41 eprover: CPU time limit exceeded, terminating
% 8.21/8.42 eprover: CPU time limit exceeded, terminating
% 10.22/10.43 eprover: CPU time limit exceeded, terminating
% 12.26/12.45 eprover: CPU time limit exceeded, terminating
% 14.24/14.46 eprover: CPU time limit exceeded, terminating
% 16.27/16.47 eprover: CPU time limit exceeded, terminating
% 18.29/18.49 eprover: CPU time limit exceeded, terminating
% 20.33/20.50 eprover: CPU time limit exceeded, terminating
% 24.33/22.51 eprover: CPU time limit exceeded, terminating
% 26.36/24.52 eprover: CPU time limit exceeded, terminating
% 28.32/26.54 eprover: CPU time limit exceeded, terminating
% 30.38/28.55 eprover: CPU time limit exceeded, terminating
% 32.35/30.56 eprover: CPU time limit exceeded, terminating
% 34.40/32.57 eprover: CPU time limit exceeded, terminating
% 36.37/34.59 eprover: CPU time limit exceeded, terminating
% 38.40/36.60 eprover: CPU time limit exceeded, terminating
% 40.46/38.61 eprover: CPU time limit exceeded, terminating
% 42.41/40.62 eprover: CPU time limit exceeded, terminating
% 44.44/42.64 eprover: CPU time limit exceeded, terminating
% 46.50/44.65 eprover: CPU time limit exceeded, terminating
% 48.51/46.66 eprover: CPU time limit exceeded, terminating
% 50.50/48.68 eprover: CPU time limit exceeded, terminating
% 52.55/50.69 eprover: CPU time limit exceeded, terminating
% 54.59/52.70 eprover: CPU time limit exceeded, terminating
% 56.61/54.72 eprover: CPU time limit exceeded, terminating
% 58.56/56.73 eprover: CPU time limit exceeded, terminating
% 60.58/58.74 eprover: CPU time limit exceeded, terminating
% 62.65/60.76 eprover: CPU time limit exceeded, terminating
% 64.62/62.77 eprover: CPU time limit exceeded, terminating
% 66.66/64.78 eprover: CPU time limit exceeded, terminating
% 68.70/66.80 eprover: CPU time limit exceeded, terminating
% 70.64/68.81 eprover: CPU time limit exceeded, terminating
% 72.74/70.82 eprover: CPU time limit exceeded, terminating
% 74.73/72.84 eprover: CPU time limit exceeded, terminating
% 76.71/74.85 eprover: CPU time limit exceeded, terminating
% 78.75/76.86 eprover: CPU time limit exceeded, terminating
% 80.81/78.88 eprover: CPU time limit exceeded, terminating
% 82.74/80.89 eprover: CPU time limit exceeded, terminating
% 84.76/82.90 eprover: CPU time limit exceeded, terminating
% 86.85/84.91 eprover: CPU time limit exceeded, terminating
% 88.86/86.93 eprover: CPU time limit exceeded, terminating
% 90.87/88.94 eprover: CPU time limit exceeded, terminating
% 92.86/90.95 eprover: CPU time limit exceeded, terminating
% 94.86/92.97 eprover: CPU time limit exceeded, terminating
% 96.86/94.98 eprover: CPU time limit exceeded, terminating
% 98.91/96.99 eprover: CPU time limit exceeded, terminating
% 100.98/99.01 eprover: CPU time limit exceeded, terminating
% 102.95/101.02 eprover: CPU time limit exceeded, terminating
% 104.97/103.03 eprover: CPU time limit exceeded, terminating
% 107.01/105.05 eprover: CPU time limit exceeded, terminating
% 109.00/107.06 eprover: CPU time limit exceeded, terminating
% 111.06/109.07 eprover: CPU time limit exceeded, terminating
% 113.00/111.09 eprover: CPU time limit exceeded, terminating
% 115.08/113.10 eprover: CPU time limit exceeded, terminating
% 117.09/115.11 eprover: CPU time limit exceeded, terminating
% 119.10/117.13 eprover: CPU time limit exceeded, terminating
% 121.13/119.14 eprover: CPU time limit exceeded, terminating
% 123.10/121.15 eprover: CPU time limit exceeded, terminating
% 125.13/123.17 eprover: CPU time limit exceeded, terminating
% 127.11/125.18 eprover: CPU time limit exceeded, terminating
% 129.20/127.19 eprover: CPU time limit exceeded, terminating
% 131.14/129.21 eprover: CPU time limit exceeded, terminating
% 133.18/131.22 eprover: CPU time limit exceeded, terminating
% 135.22/133.23 eprover: CPU time limit exceeded, terminating
% 137.27/135.24 eprover: CPU time limit exceeded, terminating
% 139.25/137.26 eprover: CPU time limit exceeded, terminating
% 141.28/139.27 eprover: CPU time limit exceeded, terminating
% 143.29/141.29 eprover: CPU time limit exceeded, terminating
% 145.29/143.30 eprover: CPU time limit exceeded, terminating
% 147.33/145.31 eprover: CPU time limit exceeded, terminating
% 149.35/147.33 eprover: CPU time limit exceeded, terminating
% 151.38/149.34 eprover: CPU time limit exceeded, terminating
% 153.42/151.36 eprover: CPU time limit exceeded, terminating
% 155.44/153.37 eprover: CPU time limit exceeded, terminating
% 157.46/155.39 eprover: CPU time limit exceeded, terminating
% 159.42/157.40 eprover: CPU time limit exceeded, terminating
% 161.43/159.41 eprover: CPU time limit exceeded, terminating
% 163.44/161.43 eprover: CPU time limit exceeded, terminating
% 165.51/163.44 eprover: CPU time limit exceeded, terminating
% 167.54/165.46 eprover: CPU time limit exceeded, terminating
% 169.54/167.47 eprover: CPU time limit exceeded, terminating
% 171.56/169.49 eprover: CPU time limit exceeded, terminating
% 173.54/171.50 eprover: CPU time limit exceeded, terminating
% 175.58/173.51 eprover: CPU time limit exceeded, terminating
% 177.58/175.53 eprover: CPU time limit exceeded, terminating
% 179.56/177.54 eprover: CPU time limit exceeded, terminating
% 181.66/179.55 eprover: CPU time limit exceeded, terminating
% 183.68/181.57 eprover: CPU time limit exceeded, terminating
% 185.67/183.58 eprover: CPU time limit exceeded, terminating
% 187.70/185.59 eprover: CPU time limit exceeded, terminating
% 189.71/187.61 eprover: CPU time limit exceeded, terminating
% 191.75/189.62 eprover: CPU time limit exceeded, terminating
% 193.71/191.63 eprover: CPU time limit exceeded, terminating
% 195.77/193.65 eprover: CPU time limit exceeded, terminating
% 197.79/195.66 eprover: CPU time limit exceeded, terminating
% 199.77/197.67 eprover: CPU time limit exceeded, terminating
% 201.83/199.69 eprover: CPU time limit exceeded, terminating
% 203.86/201.70 eprover: CPU time limit exceeded, terminating
% 205.82/203.71 eprover: CPU time limit exceeded, terminating
% 207.85/205.73 eprover: CPU time limit exceeded, terminating
% 209.87/207.74 eprover: CPU time limit exceeded, terminating
% 211.90/209.75 eprover: CPU time limit exceeded, terminating
% 213.93/211.77 eprover: CPU time limit exceeded, terminating
% 215.93/213.78 eprover: CPU time limit exceeded, terminating
% 217.93/215.79 eprover: CPU time limit exceeded, terminating
% 219.97/217.81 eprover: CPU time limit exceeded, terminating
% 221.95/219.82 eprover: CPU time limit exceeded, terminating
% 224.00/221.83 eprover: CPU time limit exceeded, terminating
% 226.03/223.85 eprover: CPU time limit exceeded, terminating
% 228.06/225.86 eprover: CPU time limit exceeded, terminating
% 230.06/227.87 eprover: CPU time limit exceeded, terminating
% 232.06/229.89 eprover: CPU time limit exceeded, terminating
% 234.10/231.90 eprover: CPU time limit exceeded, terminating
% 236.08/233.92 eprover: CPU time limit exceeded, terminating
% 238.04/235.93 eprover: CPU time limit exceeded, terminating
% 240.13/237.94 eprover: CPU time limit exceeded, terminating
% 242.15/239.95 eprover: CPU time limit exceeded, terminating
% 244.15/241.97 eprover: CPU time limit exceeded, terminating
% 246.17/243.98 eprover: CPU time limit exceeded, terminating
% 248.21/245.99 eprover: CPU time limit exceeded, terminating
% 250.23/248.01 eprover: CPU time limit exceeded, terminating
% 252.21/250.02 eprover: CPU time limit exceeded, terminating
% 254.24/252.03 eprover: CPU time limit exceeded, terminating
% 256.29/254.04 eprover: CPU time limit exceeded, terminating
% 258.25/256.05 eprover: CPU time limit exceeded, terminating
% 260.29/258.07 eprover: CPU time limit exceeded, terminating
% 262.29/260.08 eprover: CPU time limit exceeded, terminating
% 264.34/262.10 eprover: CPU time limit exceeded, terminating
% 266.29/264.12 eprover: CPU time limit exceeded, terminating
% 268.33/266.13 eprover: CPU time limit exceeded, terminating
% 270.39/268.14 eprover: CPU time limit exceeded, terminating
% 272.41/270.16 eprover: CPU time limit exceeded, terminating
% 274.38/272.17 eprover: CPU time limit exceeded, terminating
% 276.43/274.19 eprover: CPU time limit exceeded, terminating
% 278.46/276.20 eprover: CPU time limit exceeded, terminating
% 280.44/278.22 eprover: CPU time limit exceeded, terminating
% 282.48/280.24 eprover: CPU time limit exceeded, terminating
% 284.50/282.25 eprover: CPU time limit exceeded, terminating
% 286.54/284.26 eprover: CPU time limit exceeded, terminating
% 288.50/286.27 eprover: CPU time limit exceeded, terminating
% 290.53/288.29 eprover: CPU time limit exceeded, terminating
% 292.56/290.30 eprover: CPU time limit exceeded, terminating
% 294.57/292.31 eprover: CPU time limit exceeded, terminating
% 296.54/294.33 eprover: CPU time limit exceeded, terminating
% 298.61/296.35 eprover: CPU time limit exceeded, terminating
% 300.04/297.75 eprover: CPU time limit exceeded, terminating
% 300.04/297.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------