TSTP Solution File: GRP770-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP770-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 09:34:31 EDT 2022
% Result : Timeout 286.15s 284.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : GRP770-1 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n028.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 : Mon Jun 13 20:13:08 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.15/2.36 eprover: CPU time limit exceeded, terminating
% 4.22/4.37 eprover: CPU time limit exceeded, terminating
% 6.19/6.39 eprover: CPU time limit exceeded, terminating
% 8.20/8.40 eprover: CPU time limit exceeded, terminating
% 10.22/10.41 eprover: CPU time limit exceeded, terminating
% 12.21/12.43 eprover: CPU time limit exceeded, terminating
% 14.27/14.44 eprover: CPU time limit exceeded, terminating
% 16.26/16.45 eprover: CPU time limit exceeded, terminating
% 18.30/18.46 eprover: CPU time limit exceeded, terminating
% 20.30/20.48 eprover: CPU time limit exceeded, terminating
% 22.30/22.49 eprover: CPU time limit exceeded, terminating
% 24.35/24.50 eprover: CPU time limit exceeded, terminating
% 26.36/26.52 eprover: CPU time limit exceeded, terminating
% 28.40/28.53 eprover: CPU time limit exceeded, terminating
% 30.33/30.54 eprover: CPU time limit exceeded, terminating
% 32.42/32.56 eprover: CPU time limit exceeded, terminating
% 34.44/34.57 eprover: CPU time limit exceeded, terminating
% 36.43/36.58 eprover: CPU time limit exceeded, terminating
% 38.47/38.60 eprover: CPU time limit exceeded, terminating
% 40.49/40.61 eprover: CPU time limit exceeded, terminating
% 42.49/42.63 eprover: CPU time limit exceeded, terminating
% 44.49/44.64 eprover: CPU time limit exceeded, terminating
% 46.48/46.65 eprover: CPU time limit exceeded, terminating
% 48.52/48.66 eprover: CPU time limit exceeded, terminating
% 50.56/50.68 eprover: CPU time limit exceeded, terminating
% 52.58/52.69 eprover: CPU time limit exceeded, terminating
% 54.56/54.70 eprover: CPU time limit exceeded, terminating
% 56.57/56.72 eprover: CPU time limit exceeded, terminating
% 58.65/58.73 eprover: CPU time limit exceeded, terminating
% 60.66/60.74 eprover: CPU time limit exceeded, terminating
% 62.66/62.75 eprover: CPU time limit exceeded, terminating
% 64.68/64.77 eprover: CPU time limit exceeded, terminating
% 66.70/66.78 eprover: CPU time limit exceeded, terminating
% 68.68/68.79 eprover: CPU time limit exceeded, terminating
% 70.72/70.81 eprover: CPU time limit exceeded, terminating
% 72.72/72.82 eprover: CPU time limit exceeded, terminating
% 74.75/74.83 eprover: CPU time limit exceeded, terminating
% 76.72/76.85 eprover: CPU time limit exceeded, terminating
% 80.72/78.86 eprover: CPU time limit exceeded, terminating
% 82.71/80.87 eprover: CPU time limit exceeded, terminating
% 84.71/82.89 eprover: CPU time limit exceeded, terminating
% 86.75/84.90 eprover: CPU time limit exceeded, terminating
% 88.75/86.91 eprover: CPU time limit exceeded, terminating
% 90.80/88.94 eprover: CPU time limit exceeded, terminating
% 92.80/90.95 eprover: CPU time limit exceeded, terminating
% 94.81/92.97 eprover: CPU time limit exceeded, terminating
% 96.83/94.98 eprover: CPU time limit exceeded, terminating
% 98.82/96.99 eprover: CPU time limit exceeded, terminating
% 100.87/99.02 eprover: CPU time limit exceeded, terminating
% 102.83/101.03 eprover: CPU time limit exceeded, terminating
% 104.92/103.04 eprover: CPU time limit exceeded, terminating
% 106.92/105.06 eprover: CPU time limit exceeded, terminating
% 108.93/107.07 eprover: CPU time limit exceeded, terminating
% 110.96/109.09 eprover: CPU time limit exceeded, terminating
% 112.94/111.10 eprover: CPU time limit exceeded, terminating
% 115.00/113.11 eprover: CPU time limit exceeded, terminating
% 116.95/115.12 eprover: CPU time limit exceeded, terminating
% 119.02/117.14 eprover: CPU time limit exceeded, terminating
% 121.02/119.15 eprover: CPU time limit exceeded, terminating
% 123.02/121.16 eprover: CPU time limit exceeded, terminating
% 125.01/123.17 eprover: CPU time limit exceeded, terminating
% 127.04/125.19 eprover: CPU time limit exceeded, terminating
% 129.05/127.20 eprover: CPU time limit exceeded, terminating
% 131.06/129.21 eprover: CPU time limit exceeded, terminating
% 133.10/131.22 eprover: CPU time limit exceeded, terminating
% 135.12/133.24 eprover: CPU time limit exceeded, terminating
% 137.12/135.25 eprover: CPU time limit exceeded, terminating
% 139.14/137.27 eprover: CPU time limit exceeded, terminating
% 141.13/139.29 eprover: CPU time limit exceeded, terminating
% 143.15/141.30 eprover: CPU time limit exceeded, terminating
% 145.11/143.32 eprover: CPU time limit exceeded, terminating
% 147.18/145.33 eprover: CPU time limit exceeded, terminating
% 149.18/147.34 eprover: CPU time limit exceeded, terminating
% 151.19/149.36 eprover: CPU time limit exceeded, terminating
% 153.22/151.38 eprover: CPU time limit exceeded, terminating
% 155.22/153.39 eprover: CPU time limit exceeded, terminating
% 157.25/155.41 eprover: CPU time limit exceeded, terminating
% 159.28/157.43 eprover: CPU time limit exceeded, terminating
% 161.29/159.44 eprover: CPU time limit exceeded, terminating
% 163.30/161.46 eprover: CPU time limit exceeded, terminating
% 165.32/163.47 eprover: CPU time limit exceeded, terminating
% 167.35/165.49 eprover: CPU time limit exceeded, terminating
% 169.33/167.50 eprover: CPU time limit exceeded, terminating
% 171.37/169.52 eprover: CPU time limit exceeded, terminating
% 173.36/171.53 eprover: CPU time limit exceeded, terminating
% 175.42/173.55 eprover: CPU time limit exceeded, terminating
% 177.39/175.56 eprover: CPU time limit exceeded, terminating
% 179.44/177.57 eprover: CPU time limit exceeded, terminating
% 181.41/179.59 eprover: CPU time limit exceeded, terminating
% 183.48/181.60 eprover: CPU time limit exceeded, terminating
% 185.51/183.62 eprover: CPU time limit exceeded, terminating
% 187.49/185.63 eprover: CPU time limit exceeded, terminating
% 189.51/187.65 eprover: CPU time limit exceeded, terminating
% 191.48/189.66 eprover: CPU time limit exceeded, terminating
% 193.55/191.68 eprover: CPU time limit exceeded, terminating
% 195.54/193.69 eprover: CPU time limit exceeded, terminating
% 197.51/195.70 eprover: CPU time limit exceeded, terminating
% 199.54/197.72 eprover: CPU time limit exceeded, terminating
% 201.59/199.73 eprover: CPU time limit exceeded, terminating
% 203.57/201.74 eprover: CPU time limit exceeded, terminating
% 205.59/203.75 eprover: CPU time limit exceeded, terminating
% 207.61/205.77 eprover: CPU time limit exceeded, terminating
% 209.64/207.79 eprover: CPU time limit exceeded, terminating
% 211.60/209.80 eprover: CPU time limit exceeded, terminating
% 213.60/211.82 eprover: CPU time limit exceeded, terminating
% 215.69/213.83 eprover: CPU time limit exceeded, terminating
% 217.65/215.85 eprover: CPU time limit exceeded, terminating
% 219.70/217.86 eprover: CPU time limit exceeded, terminating
% 221.73/219.88 eprover: CPU time limit exceeded, terminating
% 223.71/221.89 eprover: CPU time limit exceeded, terminating
% 225.75/223.90 eprover: CPU time limit exceeded, terminating
% 227.72/225.92 eprover: CPU time limit exceeded, terminating
% 229.77/227.93 eprover: CPU time limit exceeded, terminating
% 231.77/229.94 eprover: CPU time limit exceeded, terminating
% 233.75/231.96 eprover: CPU time limit exceeded, terminating
% 235.78/233.97 eprover: CPU time limit exceeded, terminating
% 237.81/236.00 eprover: CPU time limit exceeded, terminating
% 239.77/238.01 eprover: CPU time limit exceeded, terminating
% 241.87/240.02 eprover: CPU time limit exceeded, terminating
% 243.87/242.03 eprover: CPU time limit exceeded, terminating
% 245.85/244.05 eprover: CPU time limit exceeded, terminating
% 247.85/246.07 eprover: CPU time limit exceeded, terminating
% 249.92/248.08 eprover: CPU time limit exceeded, terminating
% 251.86/250.10 eprover: CPU time limit exceeded, terminating
% 253.92/252.11 eprover: CPU time limit exceeded, terminating
% 255.93/254.13 eprover: CPU time limit exceeded, terminating
% 257.94/256.14 eprover: CPU time limit exceeded, terminating
% 259.94/258.15 eprover: CPU time limit exceeded, terminating
% 261.96/260.17 eprover: CPU time limit exceeded, terminating
% 264.00/262.19 eprover: CPU time limit exceeded, terminating
% 265.94/264.21 eprover: CPU time limit exceeded, terminating
% 267.97/266.22 eprover: CPU time limit exceeded, terminating
% 270.06/268.25 eprover: CPU time limit exceeded, terminating
% 272.08/270.26 eprover: CPU time limit exceeded, terminating
% 274.07/272.27 eprover: CPU time limit exceeded, terminating
% 276.10/274.29 eprover: CPU time limit exceeded, terminating
% 278.08/276.30 eprover: CPU time limit exceeded, terminating
% 280.11/278.33 eprover: CPU time limit exceeded, terminating
% 282.14/280.34 eprover: CPU time limit exceeded, terminating
% 284.10/282.35 eprover: CPU time limit exceeded, terminating
% 286.15/284.37 eprover: CPU time limit exceeded, terminating
% 288.19/286.38 eprover: CPU time limit exceeded, terminating
% 290.14/288.39 eprover: CPU time limit exceeded, terminating
% 292.24/290.41 eprover: CPU time limit exceeded, terminating
% 294.16/292.42 eprover: CPU time limit exceeded, terminating
% 296.26/294.43 eprover: CPU time limit exceeded, terminating
% 298.27/296.45 eprover: CPU time limit exceeded, terminating
% 300.08/298.25 eprover: CPU time limit exceeded, terminating
% 300.08/298.26 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------