TSTP Solution File: REL030-2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : REL030-2 : TPTP v8.1.0. Released v4.0.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 : Mon Jul 18 19:29:29 EDT 2022
% Result : Unknown 246.35s 246.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : REL030-2 : TPTP v8.1.0. Released v4.0.0.
% 0.11/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 : Fri Jul 8 12:56:55 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.16/2.36 eprover: CPU time limit exceeded, terminating
% 4.14/4.37 eprover: CPU time limit exceeded, terminating
% 6.21/6.39 eprover: CPU time limit exceeded, terminating
% 8.22/8.40 eprover: CPU time limit exceeded, terminating
% 10.24/10.42 eprover: CPU time limit exceeded, terminating
% 12.26/12.43 eprover: CPU time limit exceeded, terminating
% 14.25/14.44 eprover: CPU time limit exceeded, terminating
% 16.27/16.46 eprover: CPU time limit exceeded, terminating
% 18.26/18.47 eprover: CPU time limit exceeded, terminating
% 20.34/20.49 eprover: CPU time limit exceeded, terminating
% 22.34/22.50 eprover: CPU time limit exceeded, terminating
% 24.37/24.52 eprover: CPU time limit exceeded, terminating
% 26.39/26.53 eprover: CPU time limit exceeded, terminating
% 28.34/28.55 eprover: CPU time limit exceeded, terminating
% 30.39/30.56 eprover: CPU time limit exceeded, terminating
% 32.37/32.58 eprover: CPU time limit exceeded, terminating
% 34.44/34.59 eprover: CPU time limit exceeded, terminating
% 36.49/36.61 eprover: CPU time limit exceeded, terminating
% 38.51/38.62 eprover: CPU time limit exceeded, terminating
% 40.48/40.63 eprover: CPU time limit exceeded, terminating
% 42.49/42.65 eprover: CPU time limit exceeded, terminating
% 44.52/44.66 eprover: CPU time limit exceeded, terminating
% 46.50/46.68 eprover: CPU time limit exceeded, terminating
% 48.58/48.69 eprover: CPU time limit exceeded, terminating
% 50.61/50.70 eprover: CPU time limit exceeded, terminating
% 52.53/52.71 eprover: CPU time limit exceeded, terminating
% 54.62/54.73 eprover: CPU time limit exceeded, terminating
% 56.60/56.74 eprover: CPU time limit exceeded, terminating
% 58.61/58.76 eprover: CPU time limit exceeded, terminating
% 60.70/60.78 eprover: CPU time limit exceeded, terminating
% 62.62/62.79 eprover: CPU time limit exceeded, terminating
% 64.65/64.81 eprover: CPU time limit exceeded, terminating
% 66.73/66.82 eprover: CPU time limit exceeded, terminating
% 68.69/68.85 eprover: CPU time limit exceeded, terminating
% 70.72/70.87 eprover: CPU time limit exceeded, terminating
% 72.73/72.88 eprover: CPU time limit exceeded, terminating
% 74.73/74.90 eprover: CPU time limit exceeded, terminating
% 76.83/76.91 eprover: CPU time limit exceeded, terminating
% 78.84/78.94 eprover: CPU time limit exceeded, terminating
% 80.83/80.95 eprover: CPU time limit exceeded, terminating
% 82.88/82.97 eprover: CPU time limit exceeded, terminating
% 84.82/84.98 eprover: CPU time limit exceeded, terminating
% 86.91/87.00 eprover: CPU time limit exceeded, terminating
% 88.94/89.02 eprover: CPU time limit exceeded, terminating
% 90.91/91.04 eprover: CPU time limit exceeded, terminating
% 92.97/93.05 eprover: CPU time limit exceeded, terminating
% 94.94/95.07 eprover: CPU time limit exceeded, terminating
% 96.96/97.08 eprover: CPU time limit exceeded, terminating
% 99.01/99.11 eprover: CPU time limit exceeded, terminating
% 101.02/101.12 eprover: CPU time limit exceeded, terminating
% 103.01/103.14 eprover: CPU time limit exceeded, terminating
% 105.06/105.15 eprover: CPU time limit exceeded, terminating
% 107.02/107.16 eprover: CPU time limit exceeded, terminating
% 109.06/109.17 eprover: CPU time limit exceeded, terminating
% 111.12/111.19 eprover: CPU time limit exceeded, terminating
% 113.12/113.20 eprover: CPU time limit exceeded, terminating
% 115.13/115.22 eprover: CPU time limit exceeded, terminating
% 117.12/117.23 eprover: CPU time limit exceeded, terminating
% 119.13/119.25 eprover: CPU time limit exceeded, terminating
% 121.19/121.26 eprover: CPU time limit exceeded, terminating
% 123.16/123.27 eprover: CPU time limit exceeded, terminating
% 125.25/125.29 eprover: CPU time limit exceeded, terminating
% 127.18/127.30 eprover: CPU time limit exceeded, terminating
% 129.29/129.32 eprover: CPU time limit exceeded, terminating
% 131.25/131.33 eprover: CPU time limit exceeded, terminating
% 133.28/133.34 eprover: CPU time limit exceeded, terminating
% 135.30/135.36 eprover: CPU time limit exceeded, terminating
% 137.29/137.37 eprover: CPU time limit exceeded, terminating
% 139.35/139.39 eprover: CPU time limit exceeded, terminating
% 141.29/141.40 eprover: CPU time limit exceeded, terminating
% 143.40/143.42 eprover: CPU time limit exceeded, terminating
% 145.40/145.43 eprover: CPU time limit exceeded, terminating
% 147.38/147.45 eprover: CPU time limit exceeded, terminating
% 149.43/149.46 eprover: CPU time limit exceeded, terminating
% 151.43/151.48 eprover: CPU time limit exceeded, terminating
% 153.39/153.49 eprover: CPU time limit exceeded, terminating
% 155.51/155.51 eprover: CPU time limit exceeded, terminating
% 157.55/157.52 eprover: CPU time limit exceeded, terminating
% 159.52/159.54 eprover: CPU time limit exceeded, terminating
% 161.49/161.55 eprover: CPU time limit exceeded, terminating
% 163.52/163.57 eprover: CPU time limit exceeded, terminating
% 165.56/165.58 eprover: CPU time limit exceeded, terminating
% 167.60/167.60 eprover: CPU time limit exceeded, terminating
% 169.64/169.62 eprover: CPU time limit exceeded, terminating
% 171.65/171.63 eprover: CPU time limit exceeded, terminating
% 173.63/173.65 eprover: CPU time limit exceeded, terminating
% 175.61/175.66 eprover: CPU time limit exceeded, terminating
% 177.65/177.67 eprover: CPU time limit exceeded, terminating
% 179.69/179.69 eprover: CPU time limit exceeded, terminating
% 181.74/181.70 eprover: CPU time limit exceeded, terminating
% 183.75/183.72 eprover: CPU time limit exceeded, terminating
% 185.79/185.73 eprover: CPU time limit exceeded, terminating
% 187.74/187.75 eprover: CPU time limit exceeded, terminating
% 189.80/189.77 eprover: CPU time limit exceeded, terminating
% 191.77/191.78 eprover: CPU time limit exceeded, terminating
% 193.81/193.80 eprover: CPU time limit exceeded, terminating
% 195.83/195.82 eprover: CPU time limit exceeded, terminating
% 197.77/197.83 eprover: CPU time limit exceeded, terminating
% 199.88/199.85 eprover: CPU time limit exceeded, terminating
% 201.88/201.86 eprover: CPU time limit exceeded, terminating
% 203.91/203.88 eprover: CPU time limit exceeded, terminating
% 205.91/205.89 eprover: CPU time limit exceeded, terminating
% 207.93/207.93 eprover: CPU time limit exceeded, terminating
% 209.92/209.94 eprover: CPU time limit exceeded, terminating
% 211.94/211.96 eprover: CPU time limit exceeded, terminating
% 213.98/213.97 eprover: CPU time limit exceeded, terminating
% 215.96/215.99 eprover: CPU time limit exceeded, terminating
% 218.01/218.00 eprover: CPU time limit exceeded, terminating
% 220.06/220.02 eprover: CPU time limit exceeded, terminating
% 222.09/222.04 eprover: CPU time limit exceeded, terminating
% 224.11/224.05 eprover: CPU time limit exceeded, terminating
% 226.06/226.07 eprover: CPU time limit exceeded, terminating
% 228.14/228.08 eprover: CPU time limit exceeded, terminating
% 230.19/230.10 eprover: CPU time limit exceeded, terminating
% 232.13/232.11 eprover: CPU time limit exceeded, terminating
% 234.20/234.13 eprover: CPU time limit exceeded, terminating
% 236.24/236.14 eprover: CPU time limit exceeded, terminating
% 238.22/238.16 eprover: CPU time limit exceeded, terminating
% 240.21/240.17 eprover: CPU time limit exceeded, terminating
% 242.29/242.19 eprover: CPU time limit exceeded, terminating
% 244.31/244.20 eprover: CPU time limit exceeded, terminating
% 246.25/246.21 eprover: CPU time limit exceeded, terminating
% 246.25/246.23 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 246.35/246.24 Infinox, version 1.0, 2009-07-20.
% 246.35/246.24 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 246.35/246.24 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 246.35/246.24 Reading 'Axioms/REL001-0.ax' ... ('/export/starexec/sandbox2/benchmark/Axioms/REL001-0.ax') OK
% 246.35/246.24 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 246.35/246.24 InjNotSurj
% 246.35/246.24 SurjNotInj
% 246.35/246.24 Serial
% 246.35/246.24 Trans
% 246.35/246.24 Auto
%------------------------------------------------------------------------------