TSTP Solution File: LCL419-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL419-10 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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 : Sun Jul 17 11:10:38 EDT 2022
% Result : Timeout 286.13s 286.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL419-10 : TPTP v8.1.0. Released v7.5.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 : Sat Jul 2 22:28:24 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.14/2.36 eprover: CPU time limit exceeded, terminating
% 4.16/4.37 eprover: CPU time limit exceeded, terminating
% 6.18/6.38 eprover: CPU time limit exceeded, terminating
% 8.17/8.39 eprover: CPU time limit exceeded, terminating
% 10.19/10.40 eprover: CPU time limit exceeded, terminating
% 12.18/12.42 eprover: CPU time limit exceeded, terminating
% 14.17/14.43 eprover: CPU time limit exceeded, terminating
% 16.24/16.44 eprover: CPU time limit exceeded, terminating
% 18.27/18.45 eprover: CPU time limit exceeded, terminating
% 20.27/20.46 eprover: CPU time limit exceeded, terminating
% 22.27/22.47 eprover: CPU time limit exceeded, terminating
% 24.30/24.48 eprover: CPU time limit exceeded, terminating
% 26.32/26.49 eprover: CPU time limit exceeded, terminating
% 28.29/28.50 eprover: CPU time limit exceeded, terminating
% 30.35/30.52 eprover: CPU time limit exceeded, terminating
% 32.31/32.53 eprover: CPU time limit exceeded, terminating
% 34.37/34.54 eprover: CPU time limit exceeded, terminating
% 36.37/36.55 eprover: CPU time limit exceeded, terminating
% 38.41/38.56 eprover: CPU time limit exceeded, terminating
% 40.39/40.57 eprover: CPU time limit exceeded, terminating
% 42.40/42.58 eprover: CPU time limit exceeded, terminating
% 44.44/44.59 eprover: CPU time limit exceeded, terminating
% 46.45/46.61 eprover: CPU time limit exceeded, terminating
% 48.47/48.62 eprover: CPU time limit exceeded, terminating
% 50.50/50.63 eprover: CPU time limit exceeded, terminating
% 52.44/52.64 eprover: CPU time limit exceeded, terminating
% 54.48/54.65 eprover: CPU time limit exceeded, terminating
% 56.52/56.66 eprover: CPU time limit exceeded, terminating
% 58.52/58.67 eprover: CPU time limit exceeded, terminating
% 60.56/60.68 eprover: CPU time limit exceeded, terminating
% 62.53/62.70 eprover: CPU time limit exceeded, terminating
% 64.58/64.71 eprover: CPU time limit exceeded, terminating
% 66.58/66.72 eprover: CPU time limit exceeded, terminating
% 68.60/68.73 eprover: CPU time limit exceeded, terminating
% 70.63/70.74 eprover: CPU time limit exceeded, terminating
% 72.57/72.76 eprover: CPU time limit exceeded, terminating
% 74.61/74.77 eprover: CPU time limit exceeded, terminating
% 76.65/76.78 eprover: CPU time limit exceeded, terminating
% 78.70/78.79 eprover: CPU time limit exceeded, terminating
% 80.67/80.80 eprover: CPU time limit exceeded, terminating
% 82.64/82.81 eprover: CPU time limit exceeded, terminating
% 84.70/84.83 eprover: CPU time limit exceeded, terminating
% 86.70/86.84 eprover: CPU time limit exceeded, terminating
% 88.72/88.85 eprover: CPU time limit exceeded, terminating
% 90.79/90.86 eprover: CPU time limit exceeded, terminating
% 92.78/92.87 eprover: CPU time limit exceeded, terminating
% 94.78/94.88 eprover: CPU time limit exceeded, terminating
% 96.79/96.90 eprover: CPU time limit exceeded, terminating
% 98.82/98.91 eprover: CPU time limit exceeded, terminating
% 100.79/100.92 eprover: CPU time limit exceeded, terminating
% 102.87/102.93 eprover: CPU time limit exceeded, terminating
% 104.87/104.94 eprover: CPU time limit exceeded, terminating
% 106.87/106.96 eprover: CPU time limit exceeded, terminating
% 108.86/108.97 eprover: CPU time limit exceeded, terminating
% 110.91/110.98 eprover: CPU time limit exceeded, terminating
% 112.91/112.99 eprover: CPU time limit exceeded, terminating
% 114.93/115.00 eprover: CPU time limit exceeded, terminating
% 116.91/117.01 eprover: CPU time limit exceeded, terminating
% 118.97/119.02 eprover: CPU time limit exceeded, terminating
% 120.93/121.03 eprover: CPU time limit exceeded, terminating
% 123.00/123.04 eprover: CPU time limit exceeded, terminating
% 124.99/125.05 eprover: CPU time limit exceeded, terminating
% 127.01/127.06 eprover: CPU time limit exceeded, terminating
% 129.00/129.08 eprover: CPU time limit exceeded, terminating
% 131.01/131.09 eprover: CPU time limit exceeded, terminating
% 133.07/133.10 eprover: CPU time limit exceeded, terminating
% 135.06/135.11 eprover: CPU time limit exceeded, terminating
% 137.10/137.12 eprover: CPU time limit exceeded, terminating
% 139.12/139.13 eprover: CPU time limit exceeded, terminating
% 141.14/141.15 eprover: CPU time limit exceeded, terminating
% 143.12/143.16 eprover: CPU time limit exceeded, terminating
% 145.14/145.17 eprover: CPU time limit exceeded, terminating
% 147.17/147.18 eprover: CPU time limit exceeded, terminating
% 149.17/149.19 eprover: CPU time limit exceeded, terminating
% 151.14/151.20 eprover: CPU time limit exceeded, terminating
% 153.16/153.21 eprover: CPU time limit exceeded, terminating
% 155.18/155.22 eprover: CPU time limit exceeded, terminating
% 157.22/157.23 eprover: CPU time limit exceeded, terminating
% 159.22/159.24 eprover: CPU time limit exceeded, terminating
% 161.19/161.26 eprover: CPU time limit exceeded, terminating
% 163.29/163.27 eprover: CPU time limit exceeded, terminating
% 165.26/165.28 eprover: CPU time limit exceeded, terminating
% 167.32/167.29 eprover: CPU time limit exceeded, terminating
% 169.31/169.30 eprover: CPU time limit exceeded, terminating
% 171.33/171.31 eprover: CPU time limit exceeded, terminating
% 173.30/173.33 eprover: CPU time limit exceeded, terminating
% 175.32/175.34 eprover: CPU time limit exceeded, terminating
% 177.34/177.35 eprover: CPU time limit exceeded, terminating
% 179.37/179.36 eprover: CPU time limit exceeded, terminating
% 181.41/181.37 eprover: CPU time limit exceeded, terminating
% 183.40/183.38 eprover: CPU time limit exceeded, terminating
% 185.40/185.39 eprover: CPU time limit exceeded, terminating
% 187.46/187.41 eprover: CPU time limit exceeded, terminating
% 189.43/189.42 eprover: CPU time limit exceeded, terminating
% 191.46/191.43 eprover: CPU time limit exceeded, terminating
% 193.44/193.44 eprover: CPU time limit exceeded, terminating
% 195.51/195.46 eprover: CPU time limit exceeded, terminating
% 197.53/197.47 eprover: CPU time limit exceeded, terminating
% 199.53/199.48 eprover: CPU time limit exceeded, terminating
% 201.53/201.51 eprover: CPU time limit exceeded, terminating
% 203.52/203.51 eprover: CPU time limit exceeded, terminating
% 205.52/205.53 eprover: CPU time limit exceeded, terminating
% 207.60/207.54 eprover: CPU time limit exceeded, terminating
% 209.61/209.55 eprover: CPU time limit exceeded, terminating
% 211.58/211.57 eprover: CPU time limit exceeded, terminating
% 213.61/213.59 eprover: CPU time limit exceeded, terminating
% 215.65/215.60 eprover: CPU time limit exceeded, terminating
% 217.63/217.61 eprover: CPU time limit exceeded, terminating
% 219.69/219.62 eprover: CPU time limit exceeded, terminating
% 221.69/221.65 eprover: CPU time limit exceeded, terminating
% 223.71/223.66 eprover: CPU time limit exceeded, terminating
% 225.72/225.67 eprover: CPU time limit exceeded, terminating
% 227.71/227.68 eprover: CPU time limit exceeded, terminating
% 229.74/229.69 eprover: CPU time limit exceeded, terminating
% 231.73/231.72 eprover: CPU time limit exceeded, terminating
% 233.79/233.73 eprover: CPU time limit exceeded, terminating
% 235.80/235.74 eprover: CPU time limit exceeded, terminating
% 237.75/237.75 eprover: CPU time limit exceeded, terminating
% 239.78/239.76 eprover: CPU time limit exceeded, terminating
% 241.82/241.78 eprover: CPU time limit exceeded, terminating
% 243.87/243.80 eprover: CPU time limit exceeded, terminating
% 245.84/245.81 eprover: CPU time limit exceeded, terminating
% 247.80/247.82 eprover: CPU time limit exceeded, terminating
% 249.87/249.83 eprover: CPU time limit exceeded, terminating
% 251.92/251.85 eprover: CPU time limit exceeded, terminating
% 253.88/253.86 eprover: CPU time limit exceeded, terminating
% 255.93/255.87 eprover: CPU time limit exceeded, terminating
% 257.96/257.88 eprover: CPU time limit exceeded, terminating
% 259.92/259.89 eprover: CPU time limit exceeded, terminating
% 261.93/261.92 eprover: CPU time limit exceeded, terminating
% 264.00/263.93 eprover: CPU time limit exceeded, terminating
% 266.01/265.94 eprover: CPU time limit exceeded, terminating
% 268.01/267.95 eprover: CPU time limit exceeded, terminating
% 270.02/269.96 eprover: CPU time limit exceeded, terminating
% 272.05/271.99 eprover: CPU time limit exceeded, terminating
% 274.06/274.00 eprover: CPU time limit exceeded, terminating
% 276.04/276.01 eprover: CPU time limit exceeded, terminating
% 278.10/278.02 eprover: CPU time limit exceeded, terminating
% 280.05/280.03 eprover: CPU time limit exceeded, terminating
% 282.09/282.06 eprover: CPU time limit exceeded, terminating
% 284.10/284.07 eprover: CPU time limit exceeded, terminating
% 286.13/286.08 eprover: CPU time limit exceeded, terminating
% 286.18/286.10 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 286.18/286.10 Infinox, version 1.0, 2009-07-20.
% 286.18/286.10 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 286.18/286.10 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 286.18/286.10 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 286.18/286.10 InjNotSurj
% 286.18/286.10 SurjNotInj
% 286.18/286.10 Serial
% 286.18/286.10 Trans
% 286.18/286.10 Auto
%------------------------------------------------------------------------------