TSTP Solution File: GEO098+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO098+1 : TPTP v8.1.0. Released v2.4.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:32:48 EDT 2022
% Result : Timeout 286.05s 285.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : GEO098+1 : TPTP v8.1.0. Released v2.4.0.
% 0.04/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n014.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 : Sat Jun 18 11:51:34 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.19/2.38 eprover: CPU time limit exceeded, terminating
% 4.16/4.39 eprover: CPU time limit exceeded, terminating
% 6.15/6.41 eprover: CPU time limit exceeded, terminating
% 8.18/8.42 eprover: CPU time limit exceeded, terminating
% 10.22/10.43 eprover: CPU time limit exceeded, terminating
% 12.23/12.44 eprover: CPU time limit exceeded, terminating
% 14.25/14.45 eprover: CPU time limit exceeded, terminating
% 16.23/16.46 eprover: CPU time limit exceeded, terminating
% 18.25/18.47 eprover: CPU time limit exceeded, terminating
% 20.29/20.48 eprover: CPU time limit exceeded, terminating
% 22.33/22.50 eprover: CPU time limit exceeded, terminating
% 24.29/24.51 eprover: CPU time limit exceeded, terminating
% 26.35/26.52 eprover: CPU time limit exceeded, terminating
% 28.33/28.53 eprover: CPU time limit exceeded, terminating
% 30.38/30.54 eprover: CPU time limit exceeded, terminating
% 32.34/32.55 eprover: CPU time limit exceeded, terminating
% 34.41/34.56 eprover: CPU time limit exceeded, terminating
% 36.38/36.57 eprover: CPU time limit exceeded, terminating
% 38.39/38.58 eprover: CPU time limit exceeded, terminating
% 40.44/40.59 eprover: CPU time limit exceeded, terminating
% 42.46/42.60 eprover: CPU time limit exceeded, terminating
% 44.45/44.61 eprover: CPU time limit exceeded, terminating
% 46.46/46.62 eprover: CPU time limit exceeded, terminating
% 48.47/48.63 eprover: CPU time limit exceeded, terminating
% 50.47/50.64 eprover: CPU time limit exceeded, terminating
% 52.52/52.65 eprover: CPU time limit exceeded, terminating
% 54.53/54.66 eprover: CPU time limit exceeded, terminating
% 56.51/56.67 eprover: CPU time limit exceeded, terminating
% 58.54/58.68 eprover: CPU time limit exceeded, terminating
% 60.57/60.69 eprover: CPU time limit exceeded, terminating
% 62.53/62.70 eprover: CPU time limit exceeded, terminating
% 64.59/64.71 eprover: CPU time limit exceeded, terminating
% 66.61/66.74 eprover: CPU time limit exceeded, terminating
% 68.60/68.75 eprover: CPU time limit exceeded, terminating
% 70.62/70.76 eprover: CPU time limit exceeded, terminating
% 72.63/72.77 eprover: CPU time limit exceeded, terminating
% 74.63/74.78 eprover: CPU time limit exceeded, terminating
% 76.66/76.79 eprover: CPU time limit exceeded, terminating
% 78.68/78.80 eprover: CPU time limit exceeded, terminating
% 80.68/80.81 eprover: CPU time limit exceeded, terminating
% 82.71/82.82 eprover: CPU time limit exceeded, terminating
% 84.73/84.83 eprover: CPU time limit exceeded, terminating
% 86.76/86.84 eprover: CPU time limit exceeded, terminating
% 88.75/88.85 eprover: CPU time limit exceeded, terminating
% 90.73/90.86 eprover: CPU time limit exceeded, terminating
% 92.70/92.87 eprover: CPU time limit exceeded, terminating
% 94.79/94.88 eprover: CPU time limit exceeded, terminating
% 96.78/96.89 eprover: CPU time limit exceeded, terminating
% 98.83/98.90 eprover: CPU time limit exceeded, terminating
% 100.78/100.91 eprover: CPU time limit exceeded, terminating
% 102.85/102.92 eprover: CPU time limit exceeded, terminating
% 104.83/104.93 eprover: CPU time limit exceeded, terminating
% 106.87/106.94 eprover: CPU time limit exceeded, terminating
% 108.86/108.95 eprover: CPU time limit exceeded, terminating
% 110.87/110.96 eprover: CPU time limit exceeded, terminating
% 112.87/112.97 eprover: CPU time limit exceeded, terminating
% 114.92/114.98 eprover: CPU time limit exceeded, terminating
% 116.93/116.99 eprover: CPU time limit exceeded, terminating
% 118.93/119.00 eprover: CPU time limit exceeded, terminating
% 120.97/121.01 eprover: CPU time limit exceeded, terminating
% 122.96/123.02 eprover: CPU time limit exceeded, terminating
% 124.99/125.03 eprover: CPU time limit exceeded, terminating
% 126.97/127.04 eprover: CPU time limit exceeded, terminating
% 129.01/129.05 eprover: CPU time limit exceeded, terminating
% 130.99/131.06 eprover: CPU time limit exceeded, terminating
% 132.99/133.07 eprover: CPU time limit exceeded, terminating
% 135.01/135.08 eprover: CPU time limit exceeded, terminating
% 137.07/137.09 eprover: CPU time limit exceeded, terminating
% 139.08/139.10 eprover: CPU time limit exceeded, terminating
% 141.08/141.11 eprover: CPU time limit exceeded, terminating
% 143.07/143.12 eprover: CPU time limit exceeded, terminating
% 145.10/145.13 eprover: CPU time limit exceeded, terminating
% 147.10/147.14 eprover: CPU time limit exceeded, terminating
% 149.15/149.15 eprover: CPU time limit exceeded, terminating
% 151.12/151.16 eprover: CPU time limit exceeded, terminating
% 153.14/153.17 eprover: CPU time limit exceeded, terminating
% 155.15/155.18 eprover: CPU time limit exceeded, terminating
% 157.14/157.19 eprover: CPU time limit exceeded, terminating
% 159.20/159.20 eprover: CPU time limit exceeded, terminating
% 161.23/161.21 eprover: CPU time limit exceeded, terminating
% 163.20/163.22 eprover: CPU time limit exceeded, terminating
% 165.23/165.23 eprover: CPU time limit exceeded, terminating
% 167.22/167.24 eprover: CPU time limit exceeded, terminating
% 169.27/169.25 eprover: CPU time limit exceeded, terminating
% 171.23/171.26 eprover: CPU time limit exceeded, terminating
% 173.26/173.27 eprover: CPU time limit exceeded, terminating
% 175.25/175.28 eprover: CPU time limit exceeded, terminating
% 177.33/177.29 eprover: CPU time limit exceeded, terminating
% 179.33/179.30 eprover: CPU time limit exceeded, terminating
% 181.34/181.31 eprover: CPU time limit exceeded, terminating
% 183.33/183.32 eprover: CPU time limit exceeded, terminating
% 185.33/185.33 eprover: CPU time limit exceeded, terminating
% 187.39/187.34 eprover: CPU time limit exceeded, terminating
% 189.37/189.35 eprover: CPU time limit exceeded, terminating
% 191.35/191.36 eprover: CPU time limit exceeded, terminating
% 193.33/193.37 eprover: CPU time limit exceeded, terminating
% 195.38/195.38 eprover: CPU time limit exceeded, terminating
% 197.45/197.39 eprover: CPU time limit exceeded, terminating
% 199.39/199.41 eprover: CPU time limit exceeded, terminating
% 201.49/201.42 eprover: CPU time limit exceeded, terminating
% 203.49/203.44 eprover: CPU time limit exceeded, terminating
% 205.47/205.45 eprover: CPU time limit exceeded, terminating
% 207.49/207.46 eprover: CPU time limit exceeded, terminating
% 209.50/209.47 eprover: CPU time limit exceeded, terminating
% 211.50/211.48 eprover: CPU time limit exceeded, terminating
% 213.58/213.49 eprover: CPU time limit exceeded, terminating
% 215.59/215.50 eprover: CPU time limit exceeded, terminating
% 217.59/217.51 eprover: CPU time limit exceeded, terminating
% 219.60/219.52 eprover: CPU time limit exceeded, terminating
% 221.61/221.53 eprover: CPU time limit exceeded, terminating
% 223.60/223.54 eprover: CPU time limit exceeded, terminating
% 225.59/225.55 eprover: CPU time limit exceeded, terminating
% 227.62/227.56 eprover: CPU time limit exceeded, terminating
% 229.63/229.57 eprover: CPU time limit exceeded, terminating
% 231.69/231.60 eprover: CPU time limit exceeded, terminating
% 233.71/233.61 eprover: CPU time limit exceeded, terminating
% 235.74/235.62 eprover: CPU time limit exceeded, terminating
% 237.73/237.63 eprover: CPU time limit exceeded, terminating
% 239.68/239.64 eprover: CPU time limit exceeded, terminating
% 241.70/241.66 eprover: CPU time limit exceeded, terminating
% 243.71/243.67 eprover: CPU time limit exceeded, terminating
% 245.80/245.69 eprover: CPU time limit exceeded, terminating
% 247.72/247.70 eprover: CPU time limit exceeded, terminating
% 249.75/249.71 eprover: CPU time limit exceeded, terminating
% 251.80/251.73 eprover: CPU time limit exceeded, terminating
% 253.83/253.74 eprover: CPU time limit exceeded, terminating
% 255.81/255.75 eprover: CPU time limit exceeded, terminating
% 257.83/257.76 eprover: CPU time limit exceeded, terminating
% 259.84/259.77 eprover: CPU time limit exceeded, terminating
% 261.80/261.79 eprover: CPU time limit exceeded, terminating
% 263.91/263.80 eprover: CPU time limit exceeded, terminating
% 265.92/265.81 eprover: CPU time limit exceeded, terminating
% 267.93/267.82 eprover: CPU time limit exceeded, terminating
% 269.92/269.83 eprover: CPU time limit exceeded, terminating
% 271.92/271.85 eprover: CPU time limit exceeded, terminating
% 273.92/273.86 eprover: CPU time limit exceeded, terminating
% 275.94/275.87 eprover: CPU time limit exceeded, terminating
% 277.93/277.88 eprover: CPU time limit exceeded, terminating
% 279.93/279.89 eprover: CPU time limit exceeded, terminating
% 281.95/281.90 eprover: CPU time limit exceeded, terminating
% 284.04/283.91 eprover: CPU time limit exceeded, terminating
% 286.05/285.92 eprover: CPU time limit exceeded, terminating
% 288.04/287.93 eprover: CPU time limit exceeded, terminating
% 290.03/289.94 eprover: CPU time limit exceeded, terminating
% 292.05/291.95 eprover: CPU time limit exceeded, terminating
% 294.04/293.96 eprover: CPU time limit exceeded, terminating
% 296.05/295.97 eprover: CPU time limit exceeded, terminating
% 298.07/297.98 eprover: CPU time limit exceeded, terminating
% 300.05/299.90 eprover: CPU time limit exceeded, terminating
% 300.05/299.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------