TSTP Solution File: GEG001+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEG001+1 : TPTP v8.1.0. Released v4.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 02:40:14 EDT 2022
% Result : Timeout 287.02s 285.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : GEG001+1 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n022.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jun 7 05:20:35 EDT 2022
% 0.12/0.33 % CPUTime :
% 6.43/6.61 eprover: CPU time limit exceeded, terminating
% 8.39/8.62 eprover: CPU time limit exceeded, terminating
% 10.40/10.63 eprover: CPU time limit exceeded, terminating
% 12.50/12.64 eprover: CPU time limit exceeded, terminating
% 14.46/14.64 eprover: CPU time limit exceeded, terminating
% 16.53/16.65 eprover: CPU time limit exceeded, terminating
% 18.54/18.66 eprover: CPU time limit exceeded, terminating
% 20.56/20.66 eprover: CPU time limit exceeded, terminating
% 22.60/22.67 eprover: CPU time limit exceeded, terminating
% 24.57/24.68 eprover: CPU time limit exceeded, terminating
% 26.61/26.69 eprover: CPU time limit exceeded, terminating
% 28.62/28.69 eprover: CPU time limit exceeded, terminating
% 30.67/30.70 eprover: CPU time limit exceeded, terminating
% 32.63/32.71 eprover: CPU time limit exceeded, terminating
% 34.70/34.71 eprover: CPU time limit exceeded, terminating
% 36.68/36.72 eprover: CPU time limit exceeded, terminating
% 38.72/38.73 eprover: CPU time limit exceeded, terminating
% 40.76/40.74 eprover: CPU time limit exceeded, terminating
% 42.79/42.74 eprover: CPU time limit exceeded, terminating
% 44.81/44.75 eprover: CPU time limit exceeded, terminating
% 46.79/46.76 eprover: CPU time limit exceeded, terminating
% 48.85/48.76 eprover: CPU time limit exceeded, terminating
% 50.88/50.77 eprover: CPU time limit exceeded, terminating
% 52.88/52.78 eprover: CPU time limit exceeded, terminating
% 54.86/54.79 eprover: CPU time limit exceeded, terminating
% 56.89/56.79 eprover: CPU time limit exceeded, terminating
% 58.87/58.80 eprover: CPU time limit exceeded, terminating
% 60.95/60.81 eprover: CPU time limit exceeded, terminating
% 62.93/62.82 eprover: CPU time limit exceeded, terminating
% 64.95/64.82 eprover: CPU time limit exceeded, terminating
% 66.95/66.83 eprover: CPU time limit exceeded, terminating
% 68.96/68.84 eprover: CPU time limit exceeded, terminating
% 71.01/70.84 eprover: CPU time limit exceeded, terminating
% 73.00/72.85 eprover: CPU time limit exceeded, terminating
% 75.04/74.86 eprover: CPU time limit exceeded, terminating
% 77.05/76.87 eprover: CPU time limit exceeded, terminating
% 79.08/78.87 eprover: CPU time limit exceeded, terminating
% 81.13/80.88 eprover: CPU time limit exceeded, terminating
% 83.11/82.89 eprover: CPU time limit exceeded, terminating
% 85.16/84.89 eprover: CPU time limit exceeded, terminating
% 87.16/86.90 eprover: CPU time limit exceeded, terminating
% 89.16/88.91 eprover: CPU time limit exceeded, terminating
% 91.20/90.91 eprover: CPU time limit exceeded, terminating
% 93.18/92.92 eprover: CPU time limit exceeded, terminating
% 95.27/94.93 eprover: CPU time limit exceeded, terminating
% 97.29/96.94 eprover: CPU time limit exceeded, terminating
% 99.27/98.94 eprover: CPU time limit exceeded, terminating
% 101.24/100.95 eprover: CPU time limit exceeded, terminating
% 103.33/102.96 eprover: CPU time limit exceeded, terminating
% 105.34/104.96 eprover: CPU time limit exceeded, terminating
% 107.33/106.97 eprover: CPU time limit exceeded, terminating
% 109.36/108.98 eprover: CPU time limit exceeded, terminating
% 111.35/110.99 eprover: CPU time limit exceeded, terminating
% 113.38/112.99 eprover: CPU time limit exceeded, terminating
% 115.37/115.00 eprover: CPU time limit exceeded, terminating
% 117.46/117.01 eprover: CPU time limit exceeded, terminating
% 119.41/119.01 eprover: CPU time limit exceeded, terminating
% 121.45/121.02 eprover: CPU time limit exceeded, terminating
% 123.48/123.03 eprover: CPU time limit exceeded, terminating
% 125.46/125.04 eprover: CPU time limit exceeded, terminating
% 127.53/127.04 eprover: CPU time limit exceeded, terminating
% 129.55/129.05 eprover: CPU time limit exceeded, terminating
% 131.55/131.06 eprover: CPU time limit exceeded, terminating
% 133.57/133.06 eprover: CPU time limit exceeded, terminating
% 135.58/135.07 eprover: CPU time limit exceeded, terminating
% 137.61/137.08 eprover: CPU time limit exceeded, terminating
% 139.62/139.09 eprover: CPU time limit exceeded, terminating
% 141.65/141.09 eprover: CPU time limit exceeded, terminating
% 143.63/143.10 eprover: CPU time limit exceeded, terminating
% 145.67/145.11 eprover: CPU time limit exceeded, terminating
% 147.64/147.11 eprover: CPU time limit exceeded, terminating
% 149.70/149.12 eprover: CPU time limit exceeded, terminating
% 151.76/151.13 eprover: CPU time limit exceeded, terminating
% 153.71/153.14 eprover: CPU time limit exceeded, terminating
% 155.77/155.14 eprover: CPU time limit exceeded, terminating
% 157.73/157.15 eprover: CPU time limit exceeded, terminating
% 159.81/159.16 eprover: CPU time limit exceeded, terminating
% 161.79/161.16 eprover: CPU time limit exceeded, terminating
% 163.86/163.17 eprover: CPU time limit exceeded, terminating
% 165.81/165.18 eprover: CPU time limit exceeded, terminating
% 167.87/167.19 eprover: CPU time limit exceeded, terminating
% 169.92/169.19 eprover: CPU time limit exceeded, terminating
% 171.87/171.20 eprover: CPU time limit exceeded, terminating
% 173.95/173.21 eprover: CPU time limit exceeded, terminating
% 175.97/175.22 eprover: CPU time limit exceeded, terminating
% 178.00/177.22 eprover: CPU time limit exceeded, terminating
% 179.97/179.23 eprover: CPU time limit exceeded, terminating
% 182.04/181.24 eprover: CPU time limit exceeded, terminating
% 184.00/183.25 eprover: CPU time limit exceeded, terminating
% 186.06/185.25 eprover: CPU time limit exceeded, terminating
% 188.04/187.26 eprover: CPU time limit exceeded, terminating
% 190.06/189.27 eprover: CPU time limit exceeded, terminating
% 192.09/191.28 eprover: CPU time limit exceeded, terminating
% 194.07/193.28 eprover: CPU time limit exceeded, terminating
% 196.13/195.29 eprover: CPU time limit exceeded, terminating
% 198.10/197.30 eprover: CPU time limit exceeded, terminating
% 200.19/199.31 eprover: CPU time limit exceeded, terminating
% 202.23/201.31 eprover: CPU time limit exceeded, terminating
% 204.24/203.32 eprover: CPU time limit exceeded, terminating
% 206.26/205.33 eprover: CPU time limit exceeded, terminating
% 208.28/207.34 eprover: CPU time limit exceeded, terminating
% 210.27/209.34 eprover: CPU time limit exceeded, terminating
% 212.31/211.35 eprover: CPU time limit exceeded, terminating
% 214.29/213.36 eprover: CPU time limit exceeded, terminating
% 216.35/215.36 eprover: CPU time limit exceeded, terminating
% 218.30/217.37 eprover: CPU time limit exceeded, terminating
% 220.37/219.38 eprover: CPU time limit exceeded, terminating
% 222.43/221.39 eprover: CPU time limit exceeded, terminating
% 224.40/223.41 eprover: CPU time limit exceeded, terminating
% 226.45/225.42 eprover: CPU time limit exceeded, terminating
% 228.50/227.43 eprover: CPU time limit exceeded, terminating
% 230.49/229.44 eprover: CPU time limit exceeded, terminating
% 232.53/231.44 eprover: CPU time limit exceeded, terminating
% 234.50/233.45 eprover: CPU time limit exceeded, terminating
% 236.57/235.46 eprover: CPU time limit exceeded, terminating
% 238.53/237.46 eprover: CPU time limit exceeded, terminating
% 240.59/239.47 eprover: CPU time limit exceeded, terminating
% 242.55/241.48 eprover: CPU time limit exceeded, terminating
% 244.65/243.49 eprover: CPU time limit exceeded, terminating
% 246.62/245.49 eprover: CPU time limit exceeded, terminating
% 248.71/247.50 eprover: CPU time limit exceeded, terminating
% 250.70/249.51 eprover: CPU time limit exceeded, terminating
% 252.74/251.51 eprover: CPU time limit exceeded, terminating
% 254.72/253.52 eprover: CPU time limit exceeded, terminating
% 256.77/255.53 eprover: CPU time limit exceeded, terminating
% 258.75/257.53 eprover: CPU time limit exceeded, terminating
% 260.81/259.54 eprover: CPU time limit exceeded, terminating
% 262.77/261.55 eprover: CPU time limit exceeded, terminating
% 264.82/263.55 eprover: CPU time limit exceeded, terminating
% 266.78/265.56 eprover: CPU time limit exceeded, terminating
% 268.87/267.57 eprover: CPU time limit exceeded, terminating
% 270.85/269.57 eprover: CPU time limit exceeded, terminating
% 272.90/271.58 eprover: CPU time limit exceeded, terminating
% 274.88/273.59 eprover: CPU time limit exceeded, terminating
% 276.95/275.60 eprover: CPU time limit exceeded, terminating
% 278.95/277.60 eprover: CPU time limit exceeded, terminating
% 280.91/279.61 eprover: CPU time limit exceeded, terminating
% 282.99/281.62 eprover: CPU time limit exceeded, terminating
% 284.99/283.62 eprover: CPU time limit exceeded, terminating
% 287.02/285.63 eprover: CPU time limit exceeded, terminating
% 289.02/287.64 eprover: CPU time limit exceeded, terminating
% 291.06/289.65 eprover: CPU time limit exceeded, terminating
% 293.09/291.65 eprover: CPU time limit exceeded, terminating
% 295.09/293.66 eprover: CPU time limit exceeded, terminating
% 297.09/295.67 eprover: CPU time limit exceeded, terminating
% 299.16/297.67 eprover: CPU time limit exceeded, terminating
% 300.03/298.54 eprover: CPU time limit exceeded, terminating
% 300.03/298.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------