TSTP Solution File: ALG322-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG322-1 : TPTP v8.1.0. Released v4.1.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 : Thu Jul 14 17:01:00 EDT 2022
% Result : Unknown 266.28s 266.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08 % Problem : ALG322-1 : TPTP v8.1.0. Released v4.1.0.
% 0.00/0.09 % Command : run_infinox %s
% 0.09/0.28 % Computer : n032.cluster.edu
% 0.09/0.28 % Model : x86_64 x86_64
% 0.09/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.28 % Memory : 8042.1875MB
% 0.09/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.28 % CPULimit : 300
% 0.09/0.28 % WCLimit : 600
% 0.09/0.28 % DateTime : Wed Jun 8 09:31:06 EDT 2022
% 0.09/0.28 % CPUTime :
% 2.11/2.31 eprover: CPU time limit exceeded, terminating
% 4.08/4.33 eprover: CPU time limit exceeded, terminating
% 6.11/6.34 eprover: CPU time limit exceeded, terminating
% 8.13/8.36 eprover: CPU time limit exceeded, terminating
% 10.12/10.38 eprover: CPU time limit exceeded, terminating
% 12.21/12.39 eprover: CPU time limit exceeded, terminating
% 14.21/14.41 eprover: CPU time limit exceeded, terminating
% 16.21/16.43 eprover: CPU time limit exceeded, terminating
% 18.21/18.44 eprover: CPU time limit exceeded, terminating
% 20.21/20.47 eprover: CPU time limit exceeded, terminating
% 22.23/22.49 eprover: CPU time limit exceeded, terminating
% 24.32/24.50 eprover: CPU time limit exceeded, terminating
% 26.31/26.52 eprover: CPU time limit exceeded, terminating
% 28.31/28.53 eprover: CPU time limit exceeded, terminating
% 30.33/30.56 eprover: CPU time limit exceeded, terminating
% 32.29/32.59 eprover: CPU time limit exceeded, terminating
% 34.40/34.61 eprover: CPU time limit exceeded, terminating
% 36.41/36.64 eprover: CPU time limit exceeded, terminating
% 38.40/38.65 eprover: CPU time limit exceeded, terminating
% 40.42/40.67 eprover: CPU time limit exceeded, terminating
% 42.41/42.68 eprover: CPU time limit exceeded, terminating
% 44.50/44.70 eprover: CPU time limit exceeded, terminating
% 46.51/46.72 eprover: CPU time limit exceeded, terminating
% 48.52/48.73 eprover: CPU time limit exceeded, terminating
% 50.49/50.74 eprover: CPU time limit exceeded, terminating
% 52.49/52.78 eprover: CPU time limit exceeded, terminating
% 54.50/54.79 eprover: CPU time limit exceeded, terminating
% 56.59/56.80 eprover: CPU time limit exceeded, terminating
% 58.59/58.81 eprover: CPU time limit exceeded, terminating
% 60.59/60.81 eprover: CPU time limit exceeded, terminating
% 62.60/62.83 eprover: CPU time limit exceeded, terminating
% 64.58/64.84 eprover: CPU time limit exceeded, terminating
% 66.56/66.86 eprover: CPU time limit exceeded, terminating
% 68.59/68.88 eprover: CPU time limit exceeded, terminating
% 70.62/70.90 eprover: CPU time limit exceeded, terminating
% 72.69/72.94 eprover: CPU time limit exceeded, terminating
% 74.63/74.95 eprover: CPU time limit exceeded, terminating
% 76.68/76.97 eprover: CPU time limit exceeded, terminating
% 78.67/78.99 eprover: CPU time limit exceeded, terminating
% 80.73/81.00 eprover: CPU time limit exceeded, terminating
% 82.79/83.02 eprover: CPU time limit exceeded, terminating
% 84.76/85.03 eprover: CPU time limit exceeded, terminating
% 86.77/87.05 eprover: CPU time limit exceeded, terminating
% 88.81/89.06 eprover: CPU time limit exceeded, terminating
% 90.85/91.08 eprover: CPU time limit exceeded, terminating
% 92.80/93.09 eprover: CPU time limit exceeded, terminating
% 94.89/95.11 eprover: CPU time limit exceeded, terminating
% 96.89/97.12 eprover: CPU time limit exceeded, terminating
% 98.93/99.14 eprover: CPU time limit exceeded, terminating
% 100.94/101.15 eprover: CPU time limit exceeded, terminating
% 102.91/103.17 eprover: CPU time limit exceeded, terminating
% 104.95/105.18 eprover: CPU time limit exceeded, terminating
% 106.99/107.19 eprover: CPU time limit exceeded, terminating
% 109.03/109.21 eprover: CPU time limit exceeded, terminating
% 111.00/111.22 eprover: CPU time limit exceeded, terminating
% 113.04/113.24 eprover: CPU time limit exceeded, terminating
% 115.00/115.25 eprover: CPU time limit exceeded, terminating
% 117.03/117.27 eprover: CPU time limit exceeded, terminating
% 119.08/119.28 eprover: CPU time limit exceeded, terminating
% 121.12/121.30 eprover: CPU time limit exceeded, terminating
% 123.13/123.31 eprover: CPU time limit exceeded, terminating
% 125.14/125.33 eprover: CPU time limit exceeded, terminating
% 127.11/127.35 eprover: CPU time limit exceeded, terminating
% 129.10/129.36 eprover: CPU time limit exceeded, terminating
% 131.15/131.38 eprover: CPU time limit exceeded, terminating
% 133.12/133.39 eprover: CPU time limit exceeded, terminating
% 135.25/135.41 eprover: CPU time limit exceeded, terminating
% 137.24/137.43 eprover: CPU time limit exceeded, terminating
% 139.22/139.44 eprover: CPU time limit exceeded, terminating
% 141.27/141.46 eprover: CPU time limit exceeded, terminating
% 143.25/143.48 eprover: CPU time limit exceeded, terminating
% 145.27/145.49 eprover: CPU time limit exceeded, terminating
% 147.33/147.51 eprover: CPU time limit exceeded, terminating
% 149.35/149.52 eprover: CPU time limit exceeded, terminating
% 151.39/151.53 eprover: CPU time limit exceeded, terminating
% 153.37/153.54 eprover: CPU time limit exceeded, terminating
% 155.39/155.55 eprover: CPU time limit exceeded, terminating
% 157.36/157.57 eprover: CPU time limit exceeded, terminating
% 159.46/159.59 eprover: CPU time limit exceeded, terminating
% 161.41/161.60 eprover: CPU time limit exceeded, terminating
% 163.48/163.62 eprover: CPU time limit exceeded, terminating
% 165.50/165.63 eprover: CPU time limit exceeded, terminating
% 167.49/167.64 eprover: CPU time limit exceeded, terminating
% 169.46/169.65 eprover: CPU time limit exceeded, terminating
% 171.49/171.67 eprover: CPU time limit exceeded, terminating
% 173.48/173.68 eprover: CPU time limit exceeded, terminating
% 175.50/175.69 eprover: CPU time limit exceeded, terminating
% 177.59/177.70 eprover: CPU time limit exceeded, terminating
% 179.61/179.71 eprover: CPU time limit exceeded, terminating
% 181.60/181.73 eprover: CPU time limit exceeded, terminating
% 183.59/183.74 eprover: CPU time limit exceeded, terminating
% 185.63/185.75 eprover: CPU time limit exceeded, terminating
% 187.68/187.77 eprover: CPU time limit exceeded, terminating
% 189.64/189.78 eprover: CPU time limit exceeded, terminating
% 191.71/191.79 eprover: CPU time limit exceeded, terminating
% 193.66/193.81 eprover: CPU time limit exceeded, terminating
% 195.72/195.82 eprover: CPU time limit exceeded, terminating
% 197.75/197.84 eprover: CPU time limit exceeded, terminating
% 199.72/199.85 eprover: CPU time limit exceeded, terminating
% 201.76/201.86 eprover: CPU time limit exceeded, terminating
% 203.75/203.87 eprover: CPU time limit exceeded, terminating
% 205.78/205.88 eprover: CPU time limit exceeded, terminating
% 207.83/207.90 eprover: CPU time limit exceeded, terminating
% 209.84/209.91 eprover: CPU time limit exceeded, terminating
% 211.85/211.92 eprover: CPU time limit exceeded, terminating
% 213.82/213.93 eprover: CPU time limit exceeded, terminating
% 215.90/215.94 eprover: CPU time limit exceeded, terminating
% 217.86/217.95 eprover: CPU time limit exceeded, terminating
% 219.90/219.96 eprover: CPU time limit exceeded, terminating
% 221.87/221.97 eprover: CPU time limit exceeded, terminating
% 223.89/223.98 eprover: CPU time limit exceeded, terminating
% 225.94/225.99 eprover: CPU time limit exceeded, terminating
% 227.96/228.01 eprover: CPU time limit exceeded, terminating
% 229.98/230.03 eprover: CPU time limit exceeded, terminating
% 231.96/232.04 eprover: CPU time limit exceeded, terminating
% 233.93/234.05 eprover: CPU time limit exceeded, terminating
% 235.96/236.06 eprover: CPU time limit exceeded, terminating
% 237.98/238.07 eprover: CPU time limit exceeded, terminating
% 239.97/240.08 eprover: CPU time limit exceeded, terminating
% 241.99/242.09 eprover: CPU time limit exceeded, terminating
% 244.07/244.10 eprover: CPU time limit exceeded, terminating
% 246.07/246.11 eprover: CPU time limit exceeded, terminating
% 248.07/248.13 eprover: CPU time limit exceeded, terminating
% 250.09/250.14 eprover: CPU time limit exceeded, terminating
% 252.11/252.15 eprover: CPU time limit exceeded, terminating
% 254.09/254.16 eprover: CPU time limit exceeded, terminating
% 256.08/256.17 eprover: CPU time limit exceeded, terminating
% 258.09/258.18 eprover: CPU time limit exceeded, terminating
% 260.11/260.19 eprover: CPU time limit exceeded, terminating
% 262.19/262.20 eprover: CPU time limit exceeded, terminating
% 264.19/264.22 eprover: CPU time limit exceeded, terminating
% 266.18/266.23 eprover: CPU time limit exceeded, terminating
% 266.28/266.29 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 266.28/266.29 Infinox, version 1.0, 2009-07-20.
% 266.28/266.29 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 266.28/266.29 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 266.28/266.29 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 266.28/266.29 InjNotSurj
% 266.28/266.29 SurjNotInj
% 266.28/266.29 Serial
% 266.28/266.29 Trans
% 266.28/266.29 Auto
%------------------------------------------------------------------------------