TSTP Solution File: HWV106-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV106-1 : TPTP v8.2.0. Released v6.1.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 : 300s
% DateTime : Tue May 14 08:25:44 EDT 2024
% Result : Timeout 288.70s 223.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV106-1 : TPTP v8.2.0. Released v6.1.0.
% 0.17/0.18 % Command : run_infinox %s
% 0.18/0.39 % Computer : n008.cluster.edu
% 0.18/0.39 % Model : x86_64 x86_64
% 0.18/0.39 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.18/0.39 % Memory : 8042.1875MB
% 0.18/0.39 % OS : Linux 3.10.0-693.el7.x86_64
% 0.18/0.39 % CPULimit : 300
% 0.18/0.39 % WCLimit : 300
% 0.18/0.39 % DateTime : Mon May 13 12:48:23 EDT 2024
% 0.18/0.40 % CPUTime :
% 83.29/81.72 eprover: CPU time limit exceeded, terminating
% 87.24/84.26 eprover: CPU time limit exceeded, terminating
% 91.99/87.63 eprover: CPU time limit exceeded, terminating
% 95.45/89.70 eprover: CPU time limit exceeded, terminating
% 100.08/92.98 eprover: CPU time limit exceeded, terminating
% 104.68/96.21 eprover: CPU time limit exceeded, terminating
% 109.37/99.48 eprover: CPU time limit exceeded, terminating
% 113.82/102.55 eprover: CPU time limit exceeded, terminating
% 118.32/105.68 eprover: CPU time limit exceeded, terminating
% 122.81/108.81 eprover: CPU time limit exceeded, terminating
% 127.38/111.94 eprover: CPU time limit exceeded, terminating
% 131.79/115.00 eprover: CPU time limit exceeded, terminating
% 136.23/118.12 eprover: CPU time limit exceeded, terminating
% 140.74/121.21 eprover: CPU time limit exceeded, terminating
% 145.37/124.38 eprover: CPU time limit exceeded, terminating
% 149.82/127.50 eprover: CPU time limit exceeded, terminating
% 154.30/130.54 eprover: CPU time limit exceeded, terminating
% 158.69/133.58 eprover: CPU time limit exceeded, terminating
% 163.23/136.76 eprover: CPU time limit exceeded, terminating
% 167.72/139.90 eprover: CPU time limit exceeded, terminating
% 172.27/143.06 eprover: CPU time limit exceeded, terminating
% 176.84/146.18 eprover: CPU time limit exceeded, terminating
% 181.31/149.25 eprover: CPU time limit exceeded, terminating
% 185.79/152.36 eprover: CPU time limit exceeded, terminating
% 190.23/155.47 eprover: CPU time limit exceeded, terminating
% 194.75/158.54 eprover: CPU time limit exceeded, terminating
% 199.19/161.68 eprover: CPU time limit exceeded, terminating
% 203.76/164.76 eprover: CPU time limit exceeded, terminating
% 208.18/167.88 eprover: CPU time limit exceeded, terminating
% 212.57/170.97 eprover: CPU time limit exceeded, terminating
% 217.12/174.05 eprover: CPU time limit exceeded, terminating
% 221.66/177.20 eprover: CPU time limit exceeded, terminating
% 226.05/180.22 eprover: CPU time limit exceeded, terminating
% 230.49/183.32 eprover: CPU time limit exceeded, terminating
% 235.00/186.35 eprover: CPU time limit exceeded, terminating
% 239.42/189.42 eprover: CPU time limit exceeded, terminating
% 243.85/192.43 eprover: CPU time limit exceeded, terminating
% 248.34/195.50 eprover: CPU time limit exceeded, terminating
% 252.75/198.53 eprover: CPU time limit exceeded, terminating
% 257.18/201.59 eprover: CPU time limit exceeded, terminating
% 261.56/204.65 eprover: CPU time limit exceeded, terminating
% 266.19/207.80 eprover: CPU time limit exceeded, terminating
% 270.63/210.98 eprover: CPU time limit exceeded, terminating
% 275.09/214.07 eprover: CPU time limit exceeded, terminating
% 279.72/217.26 eprover: CPU time limit exceeded, terminating
% 284.24/220.38 eprover: CPU time limit exceeded, terminating
% 288.70/223.55 eprover: CPU time limit exceeded, terminating
% 293.23/226.66 eprover: CPU time limit exceeded, terminating
% 297.76/229.70 eprover: CPU time limit exceeded, terminating
% 300.17/231.62 eprover: CPU time limit exceeded, terminating
% 300.17/231.63 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------