%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : REL032+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:33 EDT 2022
% Result : Unknown 248.07s 246.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : REL032+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n008.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jul 8 14:01:53 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.20/2.37 eprover: CPU time limit exceeded, terminating
% 4.15/4.39 eprover: CPU time limit exceeded, terminating
% 6.21/6.40 eprover: CPU time limit exceeded, terminating
% 8.16/8.41 eprover: CPU time limit exceeded, terminating
% 10.22/10.43 eprover: CPU time limit exceeded, terminating
% 12.27/12.44 eprover: CPU time limit exceeded, terminating
% 14.25/14.45 eprover: CPU time limit exceeded, terminating
% 16.28/16.47 eprover: CPU time limit exceeded, terminating
% 18.24/18.48 eprover: CPU time limit exceeded, terminating
% 20.34/20.49 eprover: CPU time limit exceeded, terminating
% 22.35/22.51 eprover: CPU time limit exceeded, terminating
% 24.38/24.52 eprover: CPU time limit exceeded, terminating
% 26.37/26.53 eprover: CPU time limit exceeded, terminating
% 28.37/28.55 eprover: CPU time limit exceeded, terminating
% 30.40/30.56 eprover: CPU time limit exceeded, terminating
% 32.45/32.58 eprover: CPU time limit exceeded, terminating
% 34.47/34.60 eprover: CPU time limit exceeded, terminating
% 36.46/36.61 eprover: CPU time limit exceeded, terminating
% 38.47/38.62 eprover: CPU time limit exceeded, terminating
% 40.51/40.64 eprover: CPU time limit exceeded, terminating
% 42.48/42.65 eprover: CPU time limit exceeded, terminating
% 44.53/44.66 eprover: CPU time limit exceeded, terminating
% 46.55/46.68 eprover: CPU time limit exceeded, terminating
% 48.51/48.69 eprover: CPU time limit exceeded, terminating
% 50.57/50.70 eprover: CPU time limit exceeded, terminating
% 52.51/52.72 eprover: CPU time limit exceeded, terminating
% 54.60/54.73 eprover: CPU time limit exceeded, terminating
% 56.61/56.76 eprover: CPU time limit exceeded, terminating
% 58.61/58.77 eprover: CPU time limit exceeded, terminating
% 60.65/60.79 eprover: CPU time limit exceeded, terminating
% 64.64/62.80 eprover: CPU time limit exceeded, terminating
% 66.64/64.83 eprover: CPU time limit exceeded, terminating
% 68.65/66.85 eprover: CPU time limit exceeded, terminating
% 70.66/68.88 eprover: CPU time limit exceeded, terminating
% 72.71/70.89 eprover: CPU time limit exceeded, terminating
% 74.66/72.91 eprover: CPU time limit exceeded, terminating
% 76.71/74.92 eprover: CPU time limit exceeded, terminating
% 78.73/76.93 eprover: CPU time limit exceeded, terminating
% 80.76/78.98 eprover: CPU time limit exceeded, terminating
% 82.76/81.18 eprover: CPU time limit exceeded, terminating
% 84.80/83.34 eprover: CPU time limit exceeded, terminating
% 86.83/85.47 eprover: CPU time limit exceeded, terminating
% 88.82/87.60 eprover: CPU time limit exceeded, terminating
% 90.87/89.75 eprover: CPU time limit exceeded, terminating
% 92.87/91.87 eprover: CPU time limit exceeded, terminating
% 94.84/93.89 eprover: CPU time limit exceeded, terminating
% 96.86/95.90 eprover: CPU time limit exceeded, terminating
% 98.90/97.91 eprover: CPU time limit exceeded, terminating
% 100.92/99.92 eprover: CPU time limit exceeded, terminating
% 102.95/101.94 eprover: CPU time limit exceeded, terminating
% 104.92/103.95 eprover: CPU time limit exceeded, terminating
% 106.99/105.96 eprover: CPU time limit exceeded, terminating
% 109.00/107.98 eprover: CPU time limit exceeded, terminating
% 110.98/109.99 eprover: CPU time limit exceeded, terminating
% 113.01/112.00 eprover: CPU time limit exceeded, terminating
% 114.96/114.01 eprover: CPU time limit exceeded, terminating
% 117.00/116.03 eprover: CPU time limit exceeded, terminating
% 119.06/118.04 eprover: CPU time limit exceeded, terminating
% 121.10/120.05 eprover: CPU time limit exceeded, terminating
% 123.10/122.06 eprover: CPU time limit exceeded, terminating
% 125.12/124.08 eprover: CPU time limit exceeded, terminating
% 127.12/126.09 eprover: CPU time limit exceeded, terminating
% 129.13/128.10 eprover: CPU time limit exceeded, terminating
% 131.17/130.11 eprover: CPU time limit exceeded, terminating
% 133.14/132.13 eprover: CPU time limit exceeded, terminating
% 135.12/134.14 eprover: CPU time limit exceeded, terminating
% 137.20/136.15 eprover: CPU time limit exceeded, terminating
% 139.21/138.16 eprover: CPU time limit exceeded, terminating
% 141.21/140.17 eprover: CPU time limit exceeded, terminating
% 143.22/142.19 eprover: CPU time limit exceeded, terminating
% 145.28/144.20 eprover: CPU time limit exceeded, terminating
% 147.24/146.21 eprover: CPU time limit exceeded, terminating
% 149.29/148.22 eprover: CPU time limit exceeded, terminating
% 151.32/150.24 eprover: CPU time limit exceeded, terminating
% 153.28/152.25 eprover: CPU time limit exceeded, terminating
% 155.34/154.26 eprover: CPU time limit exceeded, terminating
% 157.36/156.27 eprover: CPU time limit exceeded, terminating
% 159.34/158.28 eprover: CPU time limit exceeded, terminating
% 161.39/160.30 eprover: CPU time limit exceeded, terminating
% 163.33/162.31 eprover: CPU time limit exceeded, terminating
% 165.41/164.32 eprover: CPU time limit exceeded, terminating
% 167.44/166.34 eprover: CPU time limit exceeded, terminating
% 169.46/168.35 eprover: CPU time limit exceeded, terminating
% 171.46/170.36 eprover: CPU time limit exceeded, terminating
% 173.47/172.37 eprover: CPU time limit exceeded, terminating
% 175.51/174.39 eprover: CPU time limit exceeded, terminating
% 177.52/176.40 eprover: CPU time limit exceeded, terminating
% 179.48/178.41 eprover: CPU time limit exceeded, terminating
% 181.56/180.42 eprover: CPU time limit exceeded, terminating
% 183.53/182.44 eprover: CPU time limit exceeded, terminating
% 185.56/184.45 eprover: CPU time limit exceeded, terminating
% 187.59/186.46 eprover: CPU time limit exceeded, terminating
% 189.62/188.48 eprover: CPU time limit exceeded, terminating
% 191.64/190.49 eprover: CPU time limit exceeded, terminating
% 193.58/192.50 eprover: CPU time limit exceeded, terminating
% 195.66/194.51 eprover: CPU time limit exceeded, terminating
% 197.66/196.53 eprover: CPU time limit exceeded, terminating
% 199.69/198.54 eprover: CPU time limit exceeded, terminating
% 201.65/200.55 eprover: CPU time limit exceeded, terminating
% 203.64/202.57 eprover: CPU time limit exceeded, terminating
% 205.75/204.58 eprover: CPU time limit exceeded, terminating
% 207.72/206.59 eprover: CPU time limit exceeded, terminating
% 209.76/208.61 eprover: CPU time limit exceeded, terminating
% 211.78/210.62 eprover: CPU time limit exceeded, terminating
% 213.83/212.64 eprover: CPU time limit exceeded, terminating
% 215.78/214.65 eprover: CPU time limit exceeded, terminating
% 217.81/216.66 eprover: CPU time limit exceeded, terminating
% 219.85/218.68 eprover: CPU time limit exceeded, terminating
% 221.82/220.69 eprover: CPU time limit exceeded, terminating
% 223.86/222.70 eprover: CPU time limit exceeded, terminating
% 225.85/224.71 eprover: CPU time limit exceeded, terminating
% 227.92/226.73 eprover: CPU time limit exceeded, terminating
% 229.94/228.74 eprover: CPU time limit exceeded, terminating
% 231.91/230.75 eprover: CPU time limit exceeded, terminating
% 233.93/232.76 eprover: CPU time limit exceeded, terminating
% 235.92/234.78 eprover: CPU time limit exceeded, terminating
% 237.94/236.79 eprover: CPU time limit exceeded, terminating
% 240.01/238.80 eprover: CPU time limit exceeded, terminating
% 242.05/240.81 eprover: CPU time limit exceeded, terminating
% 244.03/242.83 eprover: CPU time limit exceeded, terminating
% 246.04/244.84 eprover: CPU time limit exceeded, terminating
% 248.07/246.85 eprover: CPU time limit exceeded, terminating
% 248.07/246.87 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 248.07/246.87 Infinox, version 1.0, 2009-07-20.
% 248.07/246.87 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 248.07/246.87 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 248.07/246.87 Reading 'Axioms/REL001+0.ax' ... ('/export/starexec/sandbox2/benchmark/Axioms/REL001+0.ax') OK
% 248.07/246.87 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 248.07/246.87 InjNotSurj
% 248.07/246.87 SurjNotInj
% 248.07/246.87 Serial
% 248.07/246.87 Trans
% 248.07/246.87 Auto
%------------------------------------------------------------------------------