TSTP Solution File: HWV123+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV123+1 : TPTP v8.2.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n002.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.71s 211.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : HWV123+1 : TPTP v8.2.0. Released v6.1.0.
% 0.10/0.17 % Command : run_infinox %s
% 0.17/0.38 % Computer : n002.cluster.edu
% 0.17/0.38 % Model : x86_64 x86_64
% 0.17/0.38 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.17/0.38 % Memory : 8042.1875MB
% 0.17/0.38 % OS : Linux 3.10.0-693.el7.x86_64
% 0.17/0.38 % CPULimit : 300
% 0.17/0.38 % WCLimit : 300
% 0.17/0.38 % DateTime : Mon May 13 12:55:38 EDT 2024
% 0.17/0.39 % CPUTime :
% 87.77/86.58 eprover: CPU time limit exceeded, terminating
% 91.85/89.19 eprover: CPU time limit exceeded, terminating
% 95.52/91.46 eprover: CPU time limit exceeded, terminating
% 99.41/93.99 eprover: CPU time limit exceeded, terminating
% 103.19/96.44 eprover: CPU time limit exceeded, terminating
% 107.00/98.78 eprover: CPU time limit exceeded, terminating
% 110.53/101.06 eprover: CPU time limit exceeded, terminating
% 114.24/103.33 eprover: CPU time limit exceeded, terminating
% 117.76/105.59 eprover: CPU time limit exceeded, terminating
% 121.54/107.87 eprover: CPU time limit exceeded, terminating
% 125.09/110.08 eprover: CPU time limit exceeded, terminating
% 128.72/112.34 eprover: CPU time limit exceeded, terminating
% 132.33/114.61 eprover: CPU time limit exceeded, terminating
% 136.04/116.83 eprover: CPU time limit exceeded, terminating
% 139.90/119.31 eprover: CPU time limit exceeded, terminating
% 143.64/121.60 eprover: CPU time limit exceeded, terminating
% 147.18/123.91 eprover: CPU time limit exceeded, terminating
% 150.82/126.16 eprover: CPU time limit exceeded, terminating
% 154.62/128.43 eprover: CPU time limit exceeded, terminating
% 158.27/130.72 eprover: CPU time limit exceeded, terminating
% 161.74/133.00 eprover: CPU time limit exceeded, terminating
% 165.55/135.24 eprover: CPU time limit exceeded, terminating
% 169.22/137.50 eprover: CPU time limit exceeded, terminating
% 172.77/139.79 eprover: CPU time limit exceeded, terminating
% 176.44/142.01 eprover: CPU time limit exceeded, terminating
% 180.05/144.24 eprover: CPU time limit exceeded, terminating
% 183.62/146.47 eprover: CPU time limit exceeded, terminating
% 187.28/148.66 eprover: CPU time limit exceeded, terminating
% 190.75/150.90 eprover: CPU time limit exceeded, terminating
% 194.55/153.16 eprover: CPU time limit exceeded, terminating
% 198.21/155.41 eprover: CPU time limit exceeded, terminating
% 201.75/157.64 eprover: CPU time limit exceeded, terminating
% 205.35/159.91 eprover: CPU time limit exceeded, terminating
% 209.04/162.15 eprover: CPU time limit exceeded, terminating
% 212.68/164.36 eprover: CPU time limit exceeded, terminating
% 216.21/166.58 eprover: CPU time limit exceeded, terminating
% 219.89/168.84 eprover: CPU time limit exceeded, terminating
% 223.52/171.08 eprover: CPU time limit exceeded, terminating
% 227.20/173.31 eprover: CPU time limit exceeded, terminating
% 230.79/175.57 eprover: CPU time limit exceeded, terminating
% 234.44/177.80 eprover: CPU time limit exceeded, terminating
% 238.04/180.07 eprover: CPU time limit exceeded, terminating
% 241.74/182.31 eprover: CPU time limit exceeded, terminating
% 245.33/184.52 eprover: CPU time limit exceeded, terminating
% 248.93/186.76 eprover: CPU time limit exceeded, terminating
% 252.57/188.98 eprover: CPU time limit exceeded, terminating
% 256.16/191.23 eprover: CPU time limit exceeded, terminating
% 259.73/193.44 eprover: CPU time limit exceeded, terminating
% 263.41/195.69 eprover: CPU time limit exceeded, terminating
% 266.99/197.93 eprover: CPU time limit exceeded, terminating
% 270.58/200.17 eprover: CPU time limit exceeded, terminating
% 274.29/202.40 eprover: CPU time limit exceeded, terminating
% 277.85/204.63 eprover: CPU time limit exceeded, terminating
% 281.54/206.91 eprover: CPU time limit exceeded, terminating
% 285.13/209.13 eprover: CPU time limit exceeded, terminating
% 288.71/211.37 eprover: CPU time limit exceeded, terminating
% 292.25/213.59 eprover: CPU time limit exceeded, terminating
% 296.03/215.84 eprover: CPU time limit exceeded, terminating
% 299.59/218.03 eprover: CPU time limit exceeded, terminating
% 300.14/218.51 eprover: CPU time limit exceeded, terminating
% 300.14/218.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------