TSTP Solution File: HWV088-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV088-1 : TPTP v8.2.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:43 EDT 2024
% Result : Timeout 289.17s 218.07s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : HWV088-1 : TPTP v8.2.0. Released v6.1.0.
% 0.09/0.15 % Command : run_infinox %s
% 0.15/0.35 % Computer : n032.cluster.edu
% 0.15/0.35 % Model : x86_64 x86_64
% 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.35 % Memory : 8042.1875MB
% 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.35 % CPULimit : 300
% 0.15/0.35 % WCLimit : 300
% 0.15/0.35 % DateTime : Mon May 13 12:28:38 EDT 2024
% 0.15/0.35 % CPUTime :
% 104.20/102.62 eprover: CPU time limit exceeded, terminating
% 108.05/105.08 eprover: CPU time limit exceeded, terminating
% 111.77/107.15 eprover: CPU time limit exceeded, terminating
% 115.67/109.39 eprover: CPU time limit exceeded, terminating
% 119.11/111.46 eprover: CPU time limit exceeded, terminating
% 122.92/113.53 eprover: CPU time limit exceeded, terminating
% 126.46/115.60 eprover: CPU time limit exceeded, terminating
% 130.19/117.67 eprover: CPU time limit exceeded, terminating
% 133.83/119.74 eprover: CPU time limit exceeded, terminating
% 137.39/121.80 eprover: CPU time limit exceeded, terminating
% 141.00/123.87 eprover: CPU time limit exceeded, terminating
% 144.68/125.94 eprover: CPU time limit exceeded, terminating
% 148.30/128.01 eprover: CPU time limit exceeded, terminating
% 151.84/130.08 eprover: CPU time limit exceeded, terminating
% 155.46/132.15 eprover: CPU time limit exceeded, terminating
% 159.00/134.21 eprover: CPU time limit exceeded, terminating
% 162.58/136.28 eprover: CPU time limit exceeded, terminating
% 166.14/138.35 eprover: CPU time limit exceeded, terminating
% 169.80/140.42 eprover: CPU time limit exceeded, terminating
% 173.18/142.49 eprover: CPU time limit exceeded, terminating
% 178.16/145.91 eprover: CPU time limit exceeded, terminating
% 181.69/147.98 eprover: CPU time limit exceeded, terminating
% 185.20/150.06 eprover: CPU time limit exceeded, terminating
% 188.65/152.13 eprover: CPU time limit exceeded, terminating
% 193.55/155.57 eprover: CPU time limit exceeded, terminating
% 197.12/157.64 eprover: CPU time limit exceeded, terminating
% 200.71/159.71 eprover: CPU time limit exceeded, terminating
% 204.18/161.78 eprover: CPU time limit exceeded, terminating
% 207.69/163.85 eprover: CPU time limit exceeded, terminating
% 211.36/165.93 eprover: CPU time limit exceeded, terminating
% 214.86/168.00 eprover: CPU time limit exceeded, terminating
% 218.38/170.08 eprover: CPU time limit exceeded, terminating
% 222.17/172.15 eprover: CPU time limit exceeded, terminating
% 226.56/174.97 eprover: CPU time limit exceeded, terminating
% 231.18/177.87 eprover: CPU time limit exceeded, terminating
% 235.93/180.84 eprover: CPU time limit exceeded, terminating
% 240.49/183.81 eprover: CPU time limit exceeded, terminating
% 245.21/186.80 eprover: CPU time limit exceeded, terminating
% 249.94/189.75 eprover: CPU time limit exceeded, terminating
% 254.68/194.43 eprover: CPU time limit exceeded, terminating
% 259.25/197.47 eprover: CPU time limit exceeded, terminating
% 264.08/200.55 eprover: CPU time limit exceeded, terminating
% 268.69/203.48 eprover: CPU time limit exceeded, terminating
% 273.47/208.04 eprover: CPU time limit exceeded, terminating
% 277.35/210.52 eprover: CPU time limit exceeded, terminating
% 282.25/213.92 eprover: CPU time limit exceeded, terminating
% 285.65/216.00 eprover: CPU time limit exceeded, terminating
% 289.17/218.07 eprover: CPU time limit exceeded, terminating
% 292.71/220.14 eprover: CPU time limit exceeded, terminating
% 296.24/222.22 eprover: CPU time limit exceeded, terminating
% 299.72/224.29 eprover: CPU time limit exceeded, terminating
% 300.03/224.59 eprover: CPU time limit exceeded, terminating
% 300.03/224.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------