TSTP Solution File: LCL375-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL375-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:22 EDT 2022
% Result : Unknown 261.71s 261.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.09 % Problem : LCL375-10 : TPTP v8.1.0. Released v7.3.0.
% 0.02/0.10 % Command : run_infinox %s
% 0.09/0.30 % Computer : n009.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 600
% 0.09/0.30 % DateTime : Sun Jul 3 09:52:22 EDT 2022
% 0.09/0.31 % CPUTime :
% 2.12/2.32 eprover: CPU time limit exceeded, terminating
% 4.15/4.33 eprover: CPU time limit exceeded, terminating
% 6.14/6.34 eprover: CPU time limit exceeded, terminating
% 8.14/8.35 eprover: CPU time limit exceeded, terminating
% 10.14/10.36 eprover: CPU time limit exceeded, terminating
% 12.14/12.37 eprover: CPU time limit exceeded, terminating
% 14.20/14.38 eprover: CPU time limit exceeded, terminating
% 16.22/16.39 eprover: CPU time limit exceeded, terminating
% 18.24/18.40 eprover: CPU time limit exceeded, terminating
% 20.21/20.41 eprover: CPU time limit exceeded, terminating
% 22.23/22.42 eprover: CPU time limit exceeded, terminating
% 24.26/24.43 eprover: CPU time limit exceeded, terminating
% 26.25/26.44 eprover: CPU time limit exceeded, terminating
% 28.27/28.45 eprover: CPU time limit exceeded, terminating
% 30.27/30.47 eprover: CPU time limit exceeded, terminating
% 32.31/32.47 eprover: CPU time limit exceeded, terminating
% 34.26/34.48 eprover: CPU time limit exceeded, terminating
% 36.32/36.49 eprover: CPU time limit exceeded, terminating
% 38.34/38.50 eprover: CPU time limit exceeded, terminating
% 40.35/40.52 eprover: CPU time limit exceeded, terminating
% 42.30/42.53 eprover: CPU time limit exceeded, terminating
% 44.37/44.54 eprover: CPU time limit exceeded, terminating
% 46.36/46.55 eprover: CPU time limit exceeded, terminating
% 48.33/48.56 eprover: CPU time limit exceeded, terminating
% 50.42/50.58 eprover: CPU time limit exceeded, terminating
% 52.38/52.59 eprover: CPU time limit exceeded, terminating
% 54.41/54.60 eprover: CPU time limit exceeded, terminating
% 56.38/56.61 eprover: CPU time limit exceeded, terminating
% 58.46/58.62 eprover: CPU time limit exceeded, terminating
% 60.41/60.64 eprover: CPU time limit exceeded, terminating
% 62.45/62.65 eprover: CPU time limit exceeded, terminating
% 64.47/64.66 eprover: CPU time limit exceeded, terminating
% 66.46/66.67 eprover: CPU time limit exceeded, terminating
% 68.47/68.68 eprover: CPU time limit exceeded, terminating
% 70.53/70.70 eprover: CPU time limit exceeded, terminating
% 72.47/72.71 eprover: CPU time limit exceeded, terminating
% 74.51/74.72 eprover: CPU time limit exceeded, terminating
% 76.54/76.73 eprover: CPU time limit exceeded, terminating
% 78.59/78.74 eprover: CPU time limit exceeded, terminating
% 80.53/80.77 eprover: CPU time limit exceeded, terminating
% 82.61/82.77 eprover: CPU time limit exceeded, terminating
% 84.57/84.79 eprover: CPU time limit exceeded, terminating
% 86.64/86.80 eprover: CPU time limit exceeded, terminating
% 88.62/88.81 eprover: CPU time limit exceeded, terminating
% 90.65/90.83 eprover: CPU time limit exceeded, terminating
% 92.66/92.84 eprover: CPU time limit exceeded, terminating
% 94.62/94.85 eprover: CPU time limit exceeded, terminating
% 96.66/96.86 eprover: CPU time limit exceeded, terminating
% 98.70/98.87 eprover: CPU time limit exceeded, terminating
% 100.73/100.89 eprover: CPU time limit exceeded, terminating
% 102.72/102.89 eprover: CPU time limit exceeded, terminating
% 104.68/104.90 eprover: CPU time limit exceeded, terminating
% 106.77/106.91 eprover: CPU time limit exceeded, terminating
% 108.74/108.92 eprover: CPU time limit exceeded, terminating
% 110.77/110.94 eprover: CPU time limit exceeded, terminating
% 112.78/112.95 eprover: CPU time limit exceeded, terminating
% 114.81/114.96 eprover: CPU time limit exceeded, terminating
% 116.74/116.97 eprover: CPU time limit exceeded, terminating
% 118.81/118.98 eprover: CPU time limit exceeded, terminating
% 120.82/121.00 eprover: CPU time limit exceeded, terminating
% 122.81/123.01 eprover: CPU time limit exceeded, terminating
% 124.78/125.02 eprover: CPU time limit exceeded, terminating
% 126.87/127.03 eprover: CPU time limit exceeded, terminating
% 128.82/129.04 eprover: CPU time limit exceeded, terminating
% 130.88/131.06 eprover: CPU time limit exceeded, terminating
% 132.87/133.07 eprover: CPU time limit exceeded, terminating
% 134.92/135.08 eprover: CPU time limit exceeded, terminating
% 136.88/137.09 eprover: CPU time limit exceeded, terminating
% 138.90/139.10 eprover: CPU time limit exceeded, terminating
% 140.95/141.12 eprover: CPU time limit exceeded, terminating
% 142.93/143.13 eprover: CPU time limit exceeded, terminating
% 144.96/145.14 eprover: CPU time limit exceeded, terminating
% 146.97/147.15 eprover: CPU time limit exceeded, terminating
% 148.92/149.16 eprover: CPU time limit exceeded, terminating
% 150.97/151.18 eprover: CPU time limit exceeded, terminating
% 152.96/153.19 eprover: CPU time limit exceeded, terminating
% 155.03/155.20 eprover: CPU time limit exceeded, terminating
% 157.04/157.21 eprover: CPU time limit exceeded, terminating
% 159.05/159.22 eprover: CPU time limit exceeded, terminating
% 161.07/161.24 eprover: CPU time limit exceeded, terminating
% 163.04/163.25 eprover: CPU time limit exceeded, terminating
% 165.07/165.26 eprover: CPU time limit exceeded, terminating
% 167.09/167.27 eprover: CPU time limit exceeded, terminating
% 169.12/169.28 eprover: CPU time limit exceeded, terminating
% 171.12/171.30 eprover: CPU time limit exceeded, terminating
% 173.14/173.31 eprover: CPU time limit exceeded, terminating
% 175.16/175.32 eprover: CPU time limit exceeded, terminating
% 177.14/177.33 eprover: CPU time limit exceeded, terminating
% 179.15/179.34 eprover: CPU time limit exceeded, terminating
% 181.17/181.36 eprover: CPU time limit exceeded, terminating
% 183.16/183.37 eprover: CPU time limit exceeded, terminating
% 185.20/185.38 eprover: CPU time limit exceeded, terminating
% 187.17/187.39 eprover: CPU time limit exceeded, terminating
% 189.26/189.40 eprover: CPU time limit exceeded, terminating
% 191.26/191.42 eprover: CPU time limit exceeded, terminating
% 193.22/193.43 eprover: CPU time limit exceeded, terminating
% 195.25/195.44 eprover: CPU time limit exceeded, terminating
% 197.26/197.45 eprover: CPU time limit exceeded, terminating
% 199.27/199.46 eprover: CPU time limit exceeded, terminating
% 201.33/201.49 eprover: CPU time limit exceeded, terminating
% 203.35/203.50 eprover: CPU time limit exceeded, terminating
% 205.36/205.51 eprover: CPU time limit exceeded, terminating
% 207.33/207.52 eprover: CPU time limit exceeded, terminating
% 209.38/209.53 eprover: CPU time limit exceeded, terminating
% 211.36/211.55 eprover: CPU time limit exceeded, terminating
% 213.39/213.56 eprover: CPU time limit exceeded, terminating
% 215.42/215.57 eprover: CPU time limit exceeded, terminating
% 217.44/217.58 eprover: CPU time limit exceeded, terminating
% 219.40/219.59 eprover: CPU time limit exceeded, terminating
% 221.43/221.60 eprover: CPU time limit exceeded, terminating
% 223.43/223.61 eprover: CPU time limit exceeded, terminating
% 225.39/225.62 eprover: CPU time limit exceeded, terminating
% 227.48/227.63 eprover: CPU time limit exceeded, terminating
% 229.46/229.64 eprover: CPU time limit exceeded, terminating
% 231.48/231.65 eprover: CPU time limit exceeded, terminating
% 233.50/233.66 eprover: CPU time limit exceeded, terminating
% 235.54/235.67 eprover: CPU time limit exceeded, terminating
% 237.55/237.68 eprover: CPU time limit exceeded, terminating
% 239.52/239.69 eprover: CPU time limit exceeded, terminating
% 241.56/241.70 eprover: CPU time limit exceeded, terminating
% 243.54/243.71 eprover: CPU time limit exceeded, terminating
% 245.53/245.72 eprover: CPU time limit exceeded, terminating
% 247.58/247.73 eprover: CPU time limit exceeded, terminating
% 249.57/249.74 eprover: CPU time limit exceeded, terminating
% 251.60/251.75 eprover: CPU time limit exceeded, terminating
% 253.64/253.76 eprover: CPU time limit exceeded, terminating
% 255.63/255.77 eprover: CPU time limit exceeded, terminating
% 257.65/257.78 eprover: CPU time limit exceeded, terminating
% 259.68/259.79 eprover: CPU time limit exceeded, terminating
% 261.71/261.80 eprover: CPU time limit exceeded, terminating
% 261.71/261.82 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 261.71/261.83 Infinox, version 1.0, 2009-07-20.
% 261.71/261.83 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 261.71/261.83 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 261.71/261.83 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 261.71/261.83 InjNotSurj
% 261.71/261.83 SurjNotInj
% 261.71/261.83 Serial
% 261.71/261.83 Trans
% 261.71/261.83 Auto
%------------------------------------------------------------------------------