TSTP Solution File: RNG033-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : RNG033-6 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:22 EDT 2022
% Result : Unknown 282.56s 282.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : RNG033-6 : TPTP v8.1.0. Released v1.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n024.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Mon May 30 14:56:06 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.12/2.38 eprover: CPU time limit exceeded, terminating
% 4.16/4.39 eprover: CPU time limit exceeded, terminating
% 6.21/6.41 eprover: CPU time limit exceeded, terminating
% 8.17/8.42 eprover: CPU time limit exceeded, terminating
% 10.19/10.43 eprover: CPU time limit exceeded, terminating
% 12.26/12.45 eprover: CPU time limit exceeded, terminating
% 14.28/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.32/20.50 eprover: CPU time limit exceeded, terminating
% 22.36/22.52 eprover: CPU time limit exceeded, terminating
% 24.34/24.53 eprover: CPU time limit exceeded, terminating
% 26.35/26.55 eprover: CPU time limit exceeded, terminating
% 28.33/28.56 eprover: CPU time limit exceeded, terminating
% 30.35/30.58 eprover: CPU time limit exceeded, terminating
% 32.40/32.59 eprover: CPU time limit exceeded, terminating
% 34.46/34.60 eprover: CPU time limit exceeded, terminating
% 36.39/36.62 eprover: CPU time limit exceeded, terminating
% 38.45/38.64 eprover: CPU time limit exceeded, terminating
% 40.50/40.66 eprover: CPU time limit exceeded, terminating
% 42.49/42.67 eprover: CPU time limit exceeded, terminating
% 44.55/44.69 eprover: CPU time limit exceeded, terminating
% 46.54/46.70 eprover: CPU time limit exceeded, terminating
% 48.58/48.73 eprover: CPU time limit exceeded, terminating
% 50.59/50.74 eprover: CPU time limit exceeded, terminating
% 52.55/52.76 eprover: CPU time limit exceeded, terminating
% 54.57/54.77 eprover: CPU time limit exceeded, terminating
% 56.64/56.78 eprover: CPU time limit exceeded, terminating
% 58.66/58.81 eprover: CPU time limit exceeded, terminating
% 60.65/60.82 eprover: CPU time limit exceeded, terminating
% 62.66/62.84 eprover: CPU time limit exceeded, terminating
% 64.71/64.85 eprover: CPU time limit exceeded, terminating
% 66.70/66.86 eprover: CPU time limit exceeded, terminating
% 68.70/68.89 eprover: CPU time limit exceeded, terminating
% 70.68/70.90 eprover: CPU time limit exceeded, terminating
% 72.80/72.92 eprover: CPU time limit exceeded, terminating
% 74.79/74.93 eprover: CPU time limit exceeded, terminating
% 76.79/76.95 eprover: CPU time limit exceeded, terminating
% 78.81/78.97 eprover: CPU time limit exceeded, terminating
% 80.85/80.99 eprover: CPU time limit exceeded, terminating
% 82.79/83.00 eprover: CPU time limit exceeded, terminating
% 84.80/85.02 eprover: CPU time limit exceeded, terminating
% 86.89/87.03 eprover: CPU time limit exceeded, terminating
% 88.86/89.06 eprover: CPU time limit exceeded, terminating
% 90.87/91.07 eprover: CPU time limit exceeded, terminating
% 92.89/93.09 eprover: CPU time limit exceeded, terminating
% 94.97/95.10 eprover: CPU time limit exceeded, terminating
% 96.96/97.12 eprover: CPU time limit exceeded, terminating
% 98.97/99.14 eprover: CPU time limit exceeded, terminating
% 100.95/101.16 eprover: CPU time limit exceeded, terminating
% 102.98/103.17 eprover: CPU time limit exceeded, terminating
% 105.01/105.19 eprover: CPU time limit exceeded, terminating
% 107.07/107.20 eprover: CPU time limit exceeded, terminating
% 109.09/109.23 eprover: CPU time limit exceeded, terminating
% 111.09/111.24 eprover: CPU time limit exceeded, terminating
% 113.05/113.25 eprover: CPU time limit exceeded, terminating
% 115.08/115.27 eprover: CPU time limit exceeded, terminating
% 117.12/117.28 eprover: CPU time limit exceeded, terminating
% 119.17/119.31 eprover: CPU time limit exceeded, terminating
% 121.15/121.32 eprover: CPU time limit exceeded, terminating
% 123.21/123.34 eprover: CPU time limit exceeded, terminating
% 125.23/125.35 eprover: CPU time limit exceeded, terminating
% 127.20/127.37 eprover: CPU time limit exceeded, terminating
% 129.22/129.39 eprover: CPU time limit exceeded, terminating
% 131.29/131.41 eprover: CPU time limit exceeded, terminating
% 133.22/133.42 eprover: CPU time limit exceeded, terminating
% 135.29/135.43 eprover: CPU time limit exceeded, terminating
% 137.31/137.45 eprover: CPU time limit exceeded, terminating
% 139.29/139.48 eprover: CPU time limit exceeded, terminating
% 141.31/141.49 eprover: CPU time limit exceeded, terminating
% 143.38/143.50 eprover: CPU time limit exceeded, terminating
% 145.37/145.52 eprover: CPU time limit exceeded, terminating
% 147.39/147.53 eprover: CPU time limit exceeded, terminating
% 149.40/149.56 eprover: CPU time limit exceeded, terminating
% 151.39/151.57 eprover: CPU time limit exceeded, terminating
% 153.39/153.59 eprover: CPU time limit exceeded, terminating
% 155.40/155.60 eprover: CPU time limit exceeded, terminating
% 157.50/157.61 eprover: CPU time limit exceeded, terminating
% 159.49/159.64 eprover: CPU time limit exceeded, terminating
% 161.49/161.65 eprover: CPU time limit exceeded, terminating
% 163.52/163.66 eprover: CPU time limit exceeded, terminating
% 165.49/165.68 eprover: CPU time limit exceeded, terminating
% 167.59/167.69 eprover: CPU time limit exceeded, terminating
% 169.52/169.70 eprover: CPU time limit exceeded, terminating
% 171.63/171.72 eprover: CPU time limit exceeded, terminating
% 173.62/173.73 eprover: CPU time limit exceeded, terminating
% 175.61/175.74 eprover: CPU time limit exceeded, terminating
% 177.63/177.76 eprover: CPU time limit exceeded, terminating
% 179.63/179.77 eprover: CPU time limit exceeded, terminating
% 181.65/181.79 eprover: CPU time limit exceeded, terminating
% 183.74/183.80 eprover: CPU time limit exceeded, terminating
% 185.73/185.81 eprover: CPU time limit exceeded, terminating
% 187.74/187.83 eprover: CPU time limit exceeded, terminating
% 189.73/189.84 eprover: CPU time limit exceeded, terminating
% 191.74/191.86 eprover: CPU time limit exceeded, terminating
% 193.75/193.87 eprover: CPU time limit exceeded, terminating
% 195.73/195.89 eprover: CPU time limit exceeded, terminating
% 197.83/197.90 eprover: CPU time limit exceeded, terminating
% 199.86/199.91 eprover: CPU time limit exceeded, terminating
% 201.84/201.93 eprover: CPU time limit exceeded, terminating
% 203.87/203.94 eprover: CPU time limit exceeded, terminating
% 205.86/205.96 eprover: CPU time limit exceeded, terminating
% 207.88/207.98 eprover: CPU time limit exceeded, terminating
% 209.89/209.99 eprover: CPU time limit exceeded, terminating
% 211.95/212.00 eprover: CPU time limit exceeded, terminating
% 213.96/214.02 eprover: CPU time limit exceeded, terminating
% 215.98/216.03 eprover: CPU time limit exceeded, terminating
% 218.01/218.04 eprover: CPU time limit exceeded, terminating
% 219.97/220.05 eprover: CPU time limit exceeded, terminating
% 221.99/222.07 eprover: CPU time limit exceeded, terminating
% 224.00/224.08 eprover: CPU time limit exceeded, terminating
% 226.08/226.10 eprover: CPU time limit exceeded, terminating
% 228.09/228.11 eprover: CPU time limit exceeded, terminating
% 230.08/230.13 eprover: CPU time limit exceeded, terminating
% 232.12/232.14 eprover: CPU time limit exceeded, terminating
% 234.11/234.16 eprover: CPU time limit exceeded, terminating
% 236.12/236.18 eprover: CPU time limit exceeded, terminating
% 238.11/238.19 eprover: CPU time limit exceeded, terminating
% 240.21/240.21 eprover: CPU time limit exceeded, terminating
% 242.22/242.22 eprover: CPU time limit exceeded, terminating
% 244.19/244.24 eprover: CPU time limit exceeded, terminating
% 246.22/246.25 eprover: CPU time limit exceeded, terminating
% 248.22/248.27 eprover: CPU time limit exceeded, terminating
% 250.29/250.28 eprover: CPU time limit exceeded, terminating
% 252.23/252.30 eprover: CPU time limit exceeded, terminating
% 254.30/254.31 eprover: CPU time limit exceeded, terminating
% 256.33/256.32 eprover: CPU time limit exceeded, terminating
% 258.31/258.33 eprover: CPU time limit exceeded, terminating
% 260.33/260.35 eprover: CPU time limit exceeded, terminating
% 262.36/262.36 eprover: CPU time limit exceeded, terminating
% 264.31/264.37 eprover: CPU time limit exceeded, terminating
% 266.35/266.38 eprover: CPU time limit exceeded, terminating
% 268.36/268.39 eprover: CPU time limit exceeded, terminating
% 270.44/270.40 eprover: CPU time limit exceeded, terminating
% 272.45/272.42 eprover: CPU time limit exceeded, terminating
% 274.46/274.43 eprover: CPU time limit exceeded, terminating
% 276.41/276.44 eprover: CPU time limit exceeded, terminating
% 278.46/278.46 eprover: CPU time limit exceeded, terminating
% 280.48/280.47 eprover: CPU time limit exceeded, terminating
% 282.54/282.49 eprover: CPU time limit exceeded, terminating
% 282.54/282.50 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 282.56/282.50 Infinox, version 1.0, 2009-07-20.
% 282.56/282.50 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 282.56/282.50 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 282.56/282.50 Reading 'Axioms/RNG003-0.ax' ... ('/export/starexec/sandbox2/benchmark/Axioms/RNG003-0.ax') OK
% 282.56/282.50 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 282.56/282.50 InjNotSurj
% 282.56/282.50 SurjNotInj
% 282.56/282.50 Serial
% 282.56/282.50 Trans
% 282.56/282.50 Auto
%------------------------------------------------------------------------------