TSTP Solution File: NUM433+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM433+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 10:36:50 EDT 2022
% Result : Unknown 240.47s 238.85s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : NUM433+1 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n029.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Wed Jul 6 11:56:43 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.23/2.41 eprover: CPU time limit exceeded, terminating
% 4.24/4.43 eprover: CPU time limit exceeded, terminating
% 6.22/6.45 eprover: CPU time limit exceeded, terminating
% 8.25/8.46 eprover: CPU time limit exceeded, terminating
% 10.23/10.48 eprover: CPU time limit exceeded, terminating
% 12.26/12.50 eprover: CPU time limit exceeded, terminating
% 14.35/14.52 eprover: CPU time limit exceeded, terminating
% 16.32/16.54 eprover: CPU time limit exceeded, terminating
% 18.36/18.55 eprover: CPU time limit exceeded, terminating
% 20.37/20.58 eprover: CPU time limit exceeded, terminating
% 22.41/22.60 eprover: CPU time limit exceeded, terminating
% 24.43/24.62 eprover: CPU time limit exceeded, terminating
% 26.48/26.64 eprover: CPU time limit exceeded, terminating
% 28.44/28.66 eprover: CPU time limit exceeded, terminating
% 30.52/30.68 eprover: CPU time limit exceeded, terminating
% 32.55/32.70 eprover: CPU time limit exceeded, terminating
% 34.54/34.72 eprover: CPU time limit exceeded, terminating
% 36.56/36.74 eprover: CPU time limit exceeded, terminating
% 38.59/38.76 eprover: CPU time limit exceeded, terminating
% 40.55/40.78 eprover: CPU time limit exceeded, terminating
% 42.65/42.79 eprover: CPU time limit exceeded, terminating
% 44.67/44.81 eprover: CPU time limit exceeded, terminating
% 46.67/46.84 eprover: CPU time limit exceeded, terminating
% 48.63/48.86 eprover: CPU time limit exceeded, terminating
% 50.65/50.87 eprover: CPU time limit exceeded, terminating
% 52.76/52.89 eprover: CPU time limit exceeded, terminating
% 54.77/54.91 eprover: CPU time limit exceeded, terminating
% 56.79/56.92 eprover: CPU time limit exceeded, terminating
% 58.80/58.94 eprover: CPU time limit exceeded, terminating
% 60.82/60.96 eprover: CPU time limit exceeded, terminating
% 62.83/62.98 eprover: CPU time limit exceeded, terminating
% 64.90/64.99 eprover: CPU time limit exceeded, terminating
% 66.85/67.01 eprover: CPU time limit exceeded, terminating
% 68.89/69.03 eprover: CPU time limit exceeded, terminating
% 70.92/71.05 eprover: CPU time limit exceeded, terminating
% 72.98/73.07 eprover: CPU time limit exceeded, terminating
% 74.93/75.08 eprover: CPU time limit exceeded, terminating
% 76.99/77.10 eprover: CPU time limit exceeded, terminating
% 78.97/79.12 eprover: CPU time limit exceeded, terminating
% 81.06/81.14 eprover: CPU time limit exceeded, terminating
% 83.09/83.17 eprover: CPU time limit exceeded, terminating
% 85.10/85.18 eprover: CPU time limit exceeded, terminating
% 87.07/87.20 eprover: CPU time limit exceeded, terminating
% 89.06/89.22 eprover: CPU time limit exceeded, terminating
% 91.14/91.23 eprover: CPU time limit exceeded, terminating
% 93.15/93.26 eprover: CPU time limit exceeded, terminating
% 95.19/95.30 eprover: CPU time limit exceeded, terminating
% 97.15/97.34 eprover: CPU time limit exceeded, terminating
% 99.18/99.38 eprover: CPU time limit exceeded, terminating
% 101.25/101.40 eprover: CPU time limit exceeded, terminating
% 103.24/103.44 eprover: CPU time limit exceeded, terminating
% 105.27/105.47 eprover: CPU time limit exceeded, terminating
% 107.20/107.51 eprover: CPU time limit exceeded, terminating
% 109.29/109.55 eprover: CPU time limit exceeded, terminating
% 111.30/111.60 eprover: CPU time limit exceeded, terminating
% 113.31/113.65 eprover: CPU time limit exceeded, terminating
% 115.34/115.68 eprover: CPU time limit exceeded, terminating
% 117.35/117.71 eprover: CPU time limit exceeded, terminating
% 119.40/119.76 eprover: CPU time limit exceeded, terminating
% 121.38/121.80 eprover: CPU time limit exceeded, terminating
% 123.43/123.84 eprover: CPU time limit exceeded, terminating
% 125.43/125.88 eprover: CPU time limit exceeded, terminating
% 127.48/127.92 eprover: CPU time limit exceeded, terminating
% 129.52/129.96 eprover: CPU time limit exceeded, terminating
% 131.46/131.99 eprover: CPU time limit exceeded, terminating
% 133.52/134.04 eprover: CPU time limit exceeded, terminating
% 135.55/136.05 eprover: CPU time limit exceeded, terminating
% 137.51/138.07 eprover: CPU time limit exceeded, terminating
% 139.54/140.08 eprover: CPU time limit exceeded, terminating
% 143.53/142.10 eprover: CPU time limit exceeded, terminating
% 145.55/144.12 eprover: CPU time limit exceeded, terminating
% 147.59/146.14 eprover: CPU time limit exceeded, terminating
% 149.56/148.15 eprover: CPU time limit exceeded, terminating
% 151.59/150.17 eprover: CPU time limit exceeded, terminating
% 153.63/152.18 eprover: CPU time limit exceeded, terminating
% 155.58/154.20 eprover: CPU time limit exceeded, terminating
% 157.65/156.21 eprover: CPU time limit exceeded, terminating
% 159.69/158.23 eprover: CPU time limit exceeded, terminating
% 161.66/160.25 eprover: CPU time limit exceeded, terminating
% 163.71/162.26 eprover: CPU time limit exceeded, terminating
% 165.70/164.28 eprover: CPU time limit exceeded, terminating
% 167.76/166.29 eprover: CPU time limit exceeded, terminating
% 169.80/168.31 eprover: CPU time limit exceeded, terminating
% 171.78/170.32 eprover: CPU time limit exceeded, terminating
% 173.80/172.34 eprover: CPU time limit exceeded, terminating
% 175.84/174.36 eprover: CPU time limit exceeded, terminating
% 177.87/176.37 eprover: CPU time limit exceeded, terminating
% 179.83/178.39 eprover: CPU time limit exceeded, terminating
% 181.90/180.40 eprover: CPU time limit exceeded, terminating
% 183.84/182.42 eprover: CPU time limit exceeded, terminating
% 185.89/184.43 eprover: CPU time limit exceeded, terminating
% 187.95/186.45 eprover: CPU time limit exceeded, terminating
% 189.93/188.47 eprover: CPU time limit exceeded, terminating
% 191.99/190.48 eprover: CPU time limit exceeded, terminating
% 194.00/192.49 eprover: CPU time limit exceeded, terminating
% 196.02/194.51 eprover: CPU time limit exceeded, terminating
% 198.05/196.52 eprover: CPU time limit exceeded, terminating
% 200.06/198.54 eprover: CPU time limit exceeded, terminating
% 202.06/200.55 eprover: CPU time limit exceeded, terminating
% 204.02/202.56 eprover: CPU time limit exceeded, terminating
% 206.09/204.58 eprover: CPU time limit exceeded, terminating
% 208.13/206.59 eprover: CPU time limit exceeded, terminating
% 210.11/208.60 eprover: CPU time limit exceeded, terminating
% 212.13/210.62 eprover: CPU time limit exceeded, terminating
% 214.18/212.63 eprover: CPU time limit exceeded, terminating
% 216.13/214.65 eprover: CPU time limit exceeded, terminating
% 218.18/216.66 eprover: CPU time limit exceeded, terminating
% 220.23/218.68 eprover: CPU time limit exceeded, terminating
% 222.20/220.69 eprover: CPU time limit exceeded, terminating
% 224.27/222.70 eprover: CPU time limit exceeded, terminating
% 226.29/224.72 eprover: CPU time limit exceeded, terminating
% 228.30/226.73 eprover: CPU time limit exceeded, terminating
% 230.32/228.75 eprover: CPU time limit exceeded, terminating
% 232.27/230.76 eprover: CPU time limit exceeded, terminating
% 234.33/232.78 eprover: CPU time limit exceeded, terminating
% 236.39/234.79 eprover: CPU time limit exceeded, terminating
% 238.40/236.81 eprover: CPU time limit exceeded, terminating
% 240.41/238.82 eprover: CPU time limit exceeded, terminating
% 240.41/238.84 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 240.47/238.85 Infinox, version 1.0, 2009-07-20.
% 240.47/238.85 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 240.47/238.85 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 240.47/238.85 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 240.47/238.85 InjNotSurj
% 240.47/238.85 SurjNotInj
% 240.47/238.85 Serial
% 240.47/238.85 Trans
% 240.47/238.85 Auto
%------------------------------------------------------------------------------