TSTP Solution File: HWV096-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV096-1 : TPTP v8.1.2. 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 : 300s
% DateTime : Thu May 18 10:49:16 EDT 2023
% Result : Timeout 286.03s 223.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV096-1 : TPTP v8.1.2. Released v6.1.0.
% 0.12/0.22 % Command : run_infinox %s
% 0.21/0.43 % Computer : n018.cluster.edu
% 0.21/0.43 % Model : x86_64 x86_64
% 0.21/0.43 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.21/0.43 % Memory : 8042.1875MB
% 0.21/0.43 % OS : Linux 3.10.0-693.el7.x86_64
% 0.21/0.43 % CPULimit : 300
% 0.21/0.43 % WCLimit : 300
% 0.21/0.43 % DateTime : Wed May 3 10:34:42 EDT 2023
% 0.21/0.43 % CPUTime :
% 114.80/113.30 eprover: CPU time limit exceeded, terminating
% 121.93/118.68 eprover: CPU time limit exceeded, terminating
% 127.70/122.80 eprover: CPU time limit exceeded, terminating
% 133.55/126.98 eprover: CPU time limit exceeded, terminating
% 138.74/130.54 eprover: CPU time limit exceeded, terminating
% 144.10/134.18 eprover: CPU time limit exceeded, terminating
% 149.56/137.93 eprover: CPU time limit exceeded, terminating
% 154.73/141.38 eprover: CPU time limit exceeded, terminating
% 159.11/144.30 eprover: CPU time limit exceeded, terminating
% 162.83/146.38 eprover: CPU time limit exceeded, terminating
% 166.51/148.46 eprover: CPU time limit exceeded, terminating
% 170.11/150.53 eprover: CPU time limit exceeded, terminating
% 175.28/153.86 eprover: CPU time limit exceeded, terminating
% 180.31/157.20 eprover: CPU time limit exceeded, terminating
% 184.89/160.18 eprover: CPU time limit exceeded, terminating
% 188.44/162.26 eprover: CPU time limit exceeded, terminating
% 192.14/164.34 eprover: CPU time limit exceeded, terminating
% 195.68/166.41 eprover: CPU time limit exceeded, terminating
% 199.30/168.49 eprover: CPU time limit exceeded, terminating
% 202.90/170.57 eprover: CPU time limit exceeded, terminating
% 206.46/172.65 eprover: CPU time limit exceeded, terminating
% 210.04/174.73 eprover: CPU time limit exceeded, terminating
% 213.56/176.81 eprover: CPU time limit exceeded, terminating
% 217.14/178.89 eprover: CPU time limit exceeded, terminating
% 220.88/180.97 eprover: CPU time limit exceeded, terminating
% 225.67/184.10 eprover: CPU time limit exceeded, terminating
% 230.61/187.28 eprover: CPU time limit exceeded, terminating
% 235.48/190.47 eprover: CPU time limit exceeded, terminating
% 240.38/193.73 eprover: CPU time limit exceeded, terminating
% 245.28/196.84 eprover: CPU time limit exceeded, terminating
% 250.07/200.01 eprover: CPU time limit exceeded, terminating
% 255.00/203.19 eprover: CPU time limit exceeded, terminating
% 259.83/206.35 eprover: CPU time limit exceeded, terminating
% 264.69/209.53 eprover: CPU time limit exceeded, terminating
% 269.51/212.70 eprover: CPU time limit exceeded, terminating
% 274.34/215.83 eprover: CPU time limit exceeded, terminating
% 278.90/218.88 eprover: CPU time limit exceeded, terminating
% 282.40/220.96 eprover: CPU time limit exceeded, terminating
% 286.03/223.04 eprover: CPU time limit exceeded, terminating
% 289.74/225.11 eprover: CPU time limit exceeded, terminating
% 293.46/227.22 eprover: CPU time limit exceeded, terminating
% 297.24/229.30 eprover: CPU time limit exceeded, terminating
% 300.05/230.90 eprover: CPU time limit exceeded, terminating
% 300.05/230.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------