TSTP Solution File: RNG121+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : RNG121+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Mon Jul 18 20:29:30 EDT 2022
% Result : Timeout 286.19s 285.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.10 % Problem : RNG121+1 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.11 % Command : run_infinox %s
% 0.10/0.30 % Computer : n032.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Mon May 30 13:17:42 EDT 2022
% 0.10/0.30 % CPUTime :
% 2.16/2.37 eprover: CPU time limit exceeded, terminating
% 4.21/4.38 eprover: CPU time limit exceeded, terminating
% 6.19/6.39 eprover: CPU time limit exceeded, terminating
% 8.21/8.40 eprover: CPU time limit exceeded, terminating
% 10.22/10.41 eprover: CPU time limit exceeded, terminating
% 12.25/12.43 eprover: CPU time limit exceeded, terminating
% 14.25/14.44 eprover: CPU time limit exceeded, terminating
% 16.22/16.45 eprover: CPU time limit exceeded, terminating
% 18.28/18.46 eprover: CPU time limit exceeded, terminating
% 20.27/20.47 eprover: CPU time limit exceeded, terminating
% 22.31/22.48 eprover: CPU time limit exceeded, terminating
% 24.28/24.49 eprover: CPU time limit exceeded, terminating
% 26.28/26.50 eprover: CPU time limit exceeded, terminating
% 28.32/28.51 eprover: CPU time limit exceeded, terminating
% 30.36/30.52 eprover: CPU time limit exceeded, terminating
% 32.37/32.53 eprover: CPU time limit exceeded, terminating
% 34.37/34.54 eprover: CPU time limit exceeded, terminating
% 36.40/36.55 eprover: CPU time limit exceeded, terminating
% 38.46/38.56 eprover: CPU time limit exceeded, terminating
% 40.41/40.57 eprover: CPU time limit exceeded, terminating
% 42.46/42.59 eprover: CPU time limit exceeded, terminating
% 44.42/44.60 eprover: CPU time limit exceeded, terminating
% 46.52/46.61 eprover: CPU time limit exceeded, terminating
% 48.53/48.62 eprover: CPU time limit exceeded, terminating
% 50.52/50.64 eprover: CPU time limit exceeded, terminating
% 52.55/52.65 eprover: CPU time limit exceeded, terminating
% 54.53/54.66 eprover: CPU time limit exceeded, terminating
% 56.52/56.67 eprover: CPU time limit exceeded, terminating
% 58.53/58.68 eprover: CPU time limit exceeded, terminating
% 60.57/60.69 eprover: CPU time limit exceeded, terminating
% 62.54/62.70 eprover: CPU time limit exceeded, terminating
% 64.66/64.71 eprover: CPU time limit exceeded, terminating
% 66.63/66.72 eprover: CPU time limit exceeded, terminating
% 68.64/68.74 eprover: CPU time limit exceeded, terminating
% 70.65/70.75 eprover: CPU time limit exceeded, terminating
% 72.67/72.76 eprover: CPU time limit exceeded, terminating
% 74.66/74.77 eprover: CPU time limit exceeded, terminating
% 76.68/76.78 eprover: CPU time limit exceeded, terminating
% 78.70/78.79 eprover: CPU time limit exceeded, terminating
% 80.70/80.80 eprover: CPU time limit exceeded, terminating
% 82.77/82.81 eprover: CPU time limit exceeded, terminating
% 84.80/84.83 eprover: CPU time limit exceeded, terminating
% 86.80/86.84 eprover: CPU time limit exceeded, terminating
% 88.78/88.85 eprover: CPU time limit exceeded, terminating
% 90.81/90.86 eprover: CPU time limit exceeded, terminating
% 92.82/92.87 eprover: CPU time limit exceeded, terminating
% 94.80/94.88 eprover: CPU time limit exceeded, terminating
% 96.83/96.89 eprover: CPU time limit exceeded, terminating
% 98.85/98.90 eprover: CPU time limit exceeded, terminating
% 100.90/100.92 eprover: CPU time limit exceeded, terminating
% 102.94/102.93 eprover: CPU time limit exceeded, terminating
% 104.93/104.94 eprover: CPU time limit exceeded, terminating
% 106.97/106.95 eprover: CPU time limit exceeded, terminating
% 108.96/108.96 eprover: CPU time limit exceeded, terminating
% 111.01/110.97 eprover: CPU time limit exceeded, terminating
% 112.99/112.98 eprover: CPU time limit exceeded, terminating
% 115.03/115.00 eprover: CPU time limit exceeded, terminating
% 116.99/117.01 eprover: CPU time limit exceeded, terminating
% 119.06/119.02 eprover: CPU time limit exceeded, terminating
% 121.00/121.03 eprover: CPU time limit exceeded, terminating
% 123.10/123.04 eprover: CPU time limit exceeded, terminating
% 125.10/125.05 eprover: CPU time limit exceeded, terminating
% 127.09/127.06 eprover: CPU time limit exceeded, terminating
% 129.10/129.08 eprover: CPU time limit exceeded, terminating
% 131.16/131.09 eprover: CPU time limit exceeded, terminating
% 133.11/133.10 eprover: CPU time limit exceeded, terminating
% 135.20/135.11 eprover: CPU time limit exceeded, terminating
% 137.20/137.12 eprover: CPU time limit exceeded, terminating
% 139.21/139.13 eprover: CPU time limit exceeded, terminating
% 141.19/141.14 eprover: CPU time limit exceeded, terminating
% 143.22/143.15 eprover: CPU time limit exceeded, terminating
% 145.26/145.16 eprover: CPU time limit exceeded, terminating
% 147.22/147.18 eprover: CPU time limit exceeded, terminating
% 149.25/149.19 eprover: CPU time limit exceeded, terminating
% 151.34/151.20 eprover: CPU time limit exceeded, terminating
% 153.32/153.21 eprover: CPU time limit exceeded, terminating
% 155.36/155.22 eprover: CPU time limit exceeded, terminating
% 157.34/157.23 eprover: CPU time limit exceeded, terminating
% 159.34/159.24 eprover: CPU time limit exceeded, terminating
% 161.35/161.25 eprover: CPU time limit exceeded, terminating
% 163.37/163.26 eprover: CPU time limit exceeded, terminating
% 165.36/165.27 eprover: CPU time limit exceeded, terminating
% 167.39/167.28 eprover: CPU time limit exceeded, terminating
% 169.44/169.29 eprover: CPU time limit exceeded, terminating
% 171.40/171.30 eprover: CPU time limit exceeded, terminating
% 173.46/173.31 eprover: CPU time limit exceeded, terminating
% 175.48/175.33 eprover: CPU time limit exceeded, terminating
% 177.49/177.34 eprover: CPU time limit exceeded, terminating
% 179.48/179.35 eprover: CPU time limit exceeded, terminating
% 181.49/181.37 eprover: CPU time limit exceeded, terminating
% 183.56/183.38 eprover: CPU time limit exceeded, terminating
% 185.58/185.39 eprover: CPU time limit exceeded, terminating
% 187.55/187.40 eprover: CPU time limit exceeded, terminating
% 189.58/189.41 eprover: CPU time limit exceeded, terminating
% 191.59/191.42 eprover: CPU time limit exceeded, terminating
% 193.62/193.43 eprover: CPU time limit exceeded, terminating
% 195.59/195.44 eprover: CPU time limit exceeded, terminating
% 197.57/197.46 eprover: CPU time limit exceeded, terminating
% 199.60/199.47 eprover: CPU time limit exceeded, terminating
% 201.66/201.48 eprover: CPU time limit exceeded, terminating
% 203.68/203.50 eprover: CPU time limit exceeded, terminating
% 205.60/205.52 eprover: CPU time limit exceeded, terminating
% 207.71/207.53 eprover: CPU time limit exceeded, terminating
% 209.70/209.54 eprover: CPU time limit exceeded, terminating
% 211.71/211.55 eprover: CPU time limit exceeded, terminating
% 213.69/213.56 eprover: CPU time limit exceeded, terminating
% 215.71/215.57 eprover: CPU time limit exceeded, terminating
% 217.69/217.58 eprover: CPU time limit exceeded, terminating
% 219.76/219.60 eprover: CPU time limit exceeded, terminating
% 221.79/221.62 eprover: CPU time limit exceeded, terminating
% 223.76/223.63 eprover: CPU time limit exceeded, terminating
% 225.77/225.64 eprover: CPU time limit exceeded, terminating
% 227.78/227.65 eprover: CPU time limit exceeded, terminating
% 229.80/229.66 eprover: CPU time limit exceeded, terminating
% 231.78/231.68 eprover: CPU time limit exceeded, terminating
% 233.82/233.69 eprover: CPU time limit exceeded, terminating
% 235.89/235.70 eprover: CPU time limit exceeded, terminating
% 237.90/237.71 eprover: CPU time limit exceeded, terminating
% 239.91/239.72 eprover: CPU time limit exceeded, terminating
% 241.89/241.74 eprover: CPU time limit exceeded, terminating
% 243.88/243.75 eprover: CPU time limit exceeded, terminating
% 245.89/245.76 eprover: CPU time limit exceeded, terminating
% 247.96/247.77 eprover: CPU time limit exceeded, terminating
% 249.90/249.78 eprover: CPU time limit exceeded, terminating
% 251.98/251.80 eprover: CPU time limit exceeded, terminating
% 254.00/253.81 eprover: CPU time limit exceeded, terminating
% 256.01/255.82 eprover: CPU time limit exceeded, terminating
% 258.04/257.83 eprover: CPU time limit exceeded, terminating
% 260.01/259.85 eprover: CPU time limit exceeded, terminating
% 262.03/261.86 eprover: CPU time limit exceeded, terminating
% 264.05/263.87 eprover: CPU time limit exceeded, terminating
% 266.04/265.88 eprover: CPU time limit exceeded, terminating
% 268.06/267.89 eprover: CPU time limit exceeded, terminating
% 270.07/269.90 eprover: CPU time limit exceeded, terminating
% 272.15/271.91 eprover: CPU time limit exceeded, terminating
% 274.14/273.92 eprover: CPU time limit exceeded, terminating
% 276.16/275.93 eprover: CPU time limit exceeded, terminating
% 278.15/277.94 eprover: CPU time limit exceeded, terminating
% 280.16/279.95 eprover: CPU time limit exceeded, terminating
% 282.17/281.96 eprover: CPU time limit exceeded, terminating
% 284.17/283.97 eprover: CPU time limit exceeded, terminating
% 286.19/285.98 eprover: CPU time limit exceeded, terminating
% 288.21/287.98 eprover: CPU time limit exceeded, terminating
% 290.28/289.99 eprover: CPU time limit exceeded, terminating
% 292.27/292.00 eprover: CPU time limit exceeded, terminating
% 294.31/294.01 eprover: CPU time limit exceeded, terminating
% 296.28/296.02 eprover: CPU time limit exceeded, terminating
% 298.28/298.04 eprover: CPU time limit exceeded, terminating
% 300.03/299.73 eprover: CPU time limit exceeded, terminating
% 300.03/299.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------