TSTP Solution File: HWV128+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV128+1 : TPTP v8.2.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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 : 300s
% DateTime : Tue May 14 08:25:45 EDT 2024
% Result : Timeout 288.98s 230.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : HWV128+1 : TPTP v8.2.0. Released v6.1.0.
% 0.13/0.20 % Command : run_infinox %s
% 0.20/0.42 % Computer : n004.cluster.edu
% 0.20/0.42 % Model : x86_64 x86_64
% 0.20/0.42 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.20/0.42 % Memory : 8042.1875MB
% 0.20/0.42 % OS : Linux 3.10.0-693.el7.x86_64
% 0.20/0.42 % CPULimit : 300
% 0.20/0.42 % WCLimit : 300
% 0.20/0.42 % DateTime : Mon May 13 13:33:23 EDT 2024
% 0.20/0.42 % CPUTime :
% 116.12/114.73 eprover: CPU time limit exceeded, terminating
% 119.72/117.03 eprover: CPU time limit exceeded, terminating
% 124.07/119.94 eprover: CPU time limit exceeded, terminating
% 128.52/123.00 eprover: CPU time limit exceeded, terminating
% 132.01/125.10 eprover: CPU time limit exceeded, terminating
% 136.37/128.04 eprover: CPU time limit exceeded, terminating
% 140.80/131.09 eprover: CPU time limit exceeded, terminating
% 145.17/134.13 eprover: CPU time limit exceeded, terminating
% 149.56/137.11 eprover: CPU time limit exceeded, terminating
% 153.94/140.09 eprover: CPU time limit exceeded, terminating
% 158.31/143.06 eprover: CPU time limit exceeded, terminating
% 162.58/146.05 eprover: CPU time limit exceeded, terminating
% 166.96/148.96 eprover: CPU time limit exceeded, terminating
% 171.32/151.94 eprover: CPU time limit exceeded, terminating
% 175.56/154.79 eprover: CPU time limit exceeded, terminating
% 179.86/157.63 eprover: CPU time limit exceeded, terminating
% 183.89/160.40 eprover: CPU time limit exceeded, terminating
% 188.18/163.22 eprover: CPU time limit exceeded, terminating
% 192.26/165.96 eprover: CPU time limit exceeded, terminating
% 196.48/168.83 eprover: CPU time limit exceeded, terminating
% 200.74/171.67 eprover: CPU time limit exceeded, terminating
% 204.99/174.47 eprover: CPU time limit exceeded, terminating
% 209.14/177.30 eprover: CPU time limit exceeded, terminating
% 213.23/180.03 eprover: CPU time limit exceeded, terminating
% 217.50/182.86 eprover: CPU time limit exceeded, terminating
% 221.79/185.77 eprover: CPU time limit exceeded, terminating
% 226.32/188.78 eprover: CPU time limit exceeded, terminating
% 229.69/190.85 eprover: CPU time limit exceeded, terminating
% 234.52/194.31 eprover: CPU time limit exceeded, terminating
% 239.05/197.31 eprover: CPU time limit exceeded, terminating
% 242.50/199.39 eprover: CPU time limit exceeded, terminating
% 246.99/202.64 eprover: CPU time limit exceeded, terminating
% 251.40/205.56 eprover: CPU time limit exceeded, terminating
% 256.22/209.00 eprover: CPU time limit exceeded, terminating
% 259.70/211.09 eprover: CPU time limit exceeded, terminating
% 263.98/213.78 eprover: CPU time limit exceeded, terminating
% 267.46/215.86 eprover: CPU time limit exceeded, terminating
% 271.66/218.82 eprover: CPU time limit exceeded, terminating
% 276.56/221.96 eprover: CPU time limit exceeded, terminating
% 279.95/224.03 eprover: CPU time limit exceeded, terminating
% 284.18/226.87 eprover: CPU time limit exceeded, terminating
% 288.98/230.13 eprover: CPU time limit exceeded, terminating
% 292.37/232.20 eprover: CPU time limit exceeded, terminating
% 296.45/234.89 eprover: CPU time limit exceeded, terminating
% 300.09/237.36 eprover: CPU time limit exceeded, terminating
% 300.09/237.37 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------