TSTP Solution File: HWV108+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV108+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 : Sat Jul 16 16:30:35 EDT 2022
% Result : Timeout 288.12s 214.15s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV108+1 : TPTP v8.1.0. Released v6.1.0.
% 0.12/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n018.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Thu Jun 16 21:47:01 EDT 2022
% 0.14/0.35 % CPUTime :
% 46.49/45.79 eprover: CPU time limit exceeded, terminating
% 49.45/47.87 eprover: CPU time limit exceeded, terminating
% 52.34/49.92 eprover: CPU time limit exceeded, terminating
% 55.23/51.98 eprover: CPU time limit exceeded, terminating
% 58.17/54.03 eprover: CPU time limit exceeded, terminating
% 61.23/56.08 eprover: CPU time limit exceeded, terminating
% 64.07/58.13 eprover: CPU time limit exceeded, terminating
% 67.05/60.18 eprover: CPU time limit exceeded, terminating
% 70.04/62.25 eprover: CPU time limit exceeded, terminating
% 73.01/64.30 eprover: CPU time limit exceeded, terminating
% 75.99/66.36 eprover: CPU time limit exceeded, terminating
% 78.96/68.41 eprover: CPU time limit exceeded, terminating
% 81.96/70.47 eprover: CPU time limit exceeded, terminating
% 84.84/72.52 eprover: CPU time limit exceeded, terminating
% 87.86/74.57 eprover: CPU time limit exceeded, terminating
% 90.86/76.62 eprover: CPU time limit exceeded, terminating
% 93.81/78.67 eprover: CPU time limit exceeded, terminating
% 96.80/80.71 eprover: CPU time limit exceeded, terminating
% 99.81/82.77 eprover: CPU time limit exceeded, terminating
% 102.79/84.82 eprover: CPU time limit exceeded, terminating
% 105.71/86.87 eprover: CPU time limit exceeded, terminating
% 108.59/88.93 eprover: CPU time limit exceeded, terminating
% 111.58/90.98 eprover: CPU time limit exceeded, terminating
% 114.54/93.02 eprover: CPU time limit exceeded, terminating
% 117.61/95.08 eprover: CPU time limit exceeded, terminating
% 120.56/97.13 eprover: CPU time limit exceeded, terminating
% 123.49/99.18 eprover: CPU time limit exceeded, terminating
% 126.42/101.23 eprover: CPU time limit exceeded, terminating
% 129.40/103.28 eprover: CPU time limit exceeded, terminating
% 132.44/105.35 eprover: CPU time limit exceeded, terminating
% 135.36/107.41 eprover: CPU time limit exceeded, terminating
% 138.33/109.47 eprover: CPU time limit exceeded, terminating
% 141.40/111.52 eprover: CPU time limit exceeded, terminating
% 144.35/113.58 eprover: CPU time limit exceeded, terminating
% 147.31/115.63 eprover: CPU time limit exceeded, terminating
% 150.16/117.68 eprover: CPU time limit exceeded, terminating
% 153.13/119.73 eprover: CPU time limit exceeded, terminating
% 156.02/121.79 eprover: CPU time limit exceeded, terminating
% 158.99/123.84 eprover: CPU time limit exceeded, terminating
% 161.95/125.89 eprover: CPU time limit exceeded, terminating
% 164.85/127.95 eprover: CPU time limit exceeded, terminating
% 167.91/130.00 eprover: CPU time limit exceeded, terminating
% 170.84/132.06 eprover: CPU time limit exceeded, terminating
% 173.71/134.11 eprover: CPU time limit exceeded, terminating
% 176.66/136.17 eprover: CPU time limit exceeded, terminating
% 179.59/138.21 eprover: CPU time limit exceeded, terminating
% 182.41/140.26 eprover: CPU time limit exceeded, terminating
% 185.42/142.32 eprover: CPU time limit exceeded, terminating
% 188.43/144.38 eprover: CPU time limit exceeded, terminating
% 191.32/146.43 eprover: CPU time limit exceeded, terminating
% 194.28/148.48 eprover: CPU time limit exceeded, terminating
% 197.18/150.52 eprover: CPU time limit exceeded, terminating
% 200.05/152.57 eprover: CPU time limit exceeded, terminating
% 202.85/154.62 eprover: CPU time limit exceeded, terminating
% 205.93/156.68 eprover: CPU time limit exceeded, terminating
% 208.95/158.73 eprover: CPU time limit exceeded, terminating
% 211.88/160.79 eprover: CPU time limit exceeded, terminating
% 214.86/162.84 eprover: CPU time limit exceeded, terminating
% 217.83/164.89 eprover: CPU time limit exceeded, terminating
% 220.76/166.93 eprover: CPU time limit exceeded, terminating
% 223.71/168.98 eprover: CPU time limit exceeded, terminating
% 226.64/171.01 eprover: CPU time limit exceeded, terminating
% 229.53/173.06 eprover: CPU time limit exceeded, terminating
% 232.47/175.12 eprover: CPU time limit exceeded, terminating
% 235.36/177.16 eprover: CPU time limit exceeded, terminating
% 238.42/179.23 eprover: CPU time limit exceeded, terminating
% 241.27/181.30 eprover: CPU time limit exceeded, terminating
% 244.27/183.35 eprover: CPU time limit exceeded, terminating
% 247.25/185.41 eprover: CPU time limit exceeded, terminating
% 250.00/187.47 eprover: CPU time limit exceeded, terminating
% 253.03/189.51 eprover: CPU time limit exceeded, terminating
% 255.94/191.57 eprover: CPU time limit exceeded, terminating
% 258.94/193.62 eprover: CPU time limit exceeded, terminating
% 261.81/195.67 eprover: CPU time limit exceeded, terminating
% 264.79/197.73 eprover: CPU time limit exceeded, terminating
% 267.65/199.78 eprover: CPU time limit exceeded, terminating
% 270.60/201.83 eprover: CPU time limit exceeded, terminating
% 273.53/203.88 eprover: CPU time limit exceeded, terminating
% 276.53/205.94 eprover: CPU time limit exceeded, terminating
% 279.38/207.99 eprover: CPU time limit exceeded, terminating
% 282.30/210.05 eprover: CPU time limit exceeded, terminating
% 285.15/212.10 eprover: CPU time limit exceeded, terminating
% 288.12/214.15 eprover: CPU time limit exceeded, terminating
% 291.07/216.22 eprover: CPU time limit exceeded, terminating
% 293.95/218.28 eprover: CPU time limit exceeded, terminating
% 296.90/220.33 eprover: CPU time limit exceeded, terminating
% 299.81/222.38 eprover: CPU time limit exceeded, terminating
% 300.38/222.81 eprover: CPU time limit exceeded, terminating
% 300.38/222.82 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------