TSTP Solution File: HWV124+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV124+1 : TPTP v8.2.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 289.08s 208.85s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : HWV124+1 : TPTP v8.2.0. Released v6.1.0.
% 0.14/0.19 % Command : run_infinox %s
% 0.19/0.40 % Computer : n029.cluster.edu
% 0.19/0.40 % Model : x86_64 x86_64
% 0.19/0.40 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.19/0.40 % Memory : 8042.1875MB
% 0.19/0.40 % OS : Linux 3.10.0-693.el7.x86_64
% 0.19/0.40 % CPULimit : 300
% 0.19/0.40 % WCLimit : 300
% 0.19/0.40 % DateTime : Mon May 13 13:02:08 EDT 2024
% 0.19/0.40 % CPUTime :
% 82.94/81.63 eprover: CPU time limit exceeded, terminating
% 86.82/84.23 eprover: CPU time limit exceeded, terminating
% 90.86/86.76 eprover: CPU time limit exceeded, terminating
% 94.56/89.17 eprover: CPU time limit exceeded, terminating
% 98.41/91.59 eprover: CPU time limit exceeded, terminating
% 102.18/93.97 eprover: CPU time limit exceeded, terminating
% 105.87/96.30 eprover: CPU time limit exceeded, terminating
% 109.57/98.56 eprover: CPU time limit exceeded, terminating
% 113.24/100.90 eprover: CPU time limit exceeded, terminating
% 116.94/103.19 eprover: CPU time limit exceeded, terminating
% 120.62/105.49 eprover: CPU time limit exceeded, terminating
% 124.25/107.78 eprover: CPU time limit exceeded, terminating
% 127.91/110.06 eprover: CPU time limit exceeded, terminating
% 131.52/112.35 eprover: CPU time limit exceeded, terminating
% 135.21/114.59 eprover: CPU time limit exceeded, terminating
% 138.90/116.86 eprover: CPU time limit exceeded, terminating
% 142.61/119.14 eprover: CPU time limit exceeded, terminating
% 146.19/121.38 eprover: CPU time limit exceeded, terminating
% 149.85/123.65 eprover: CPU time limit exceeded, terminating
% 153.53/125.91 eprover: CPU time limit exceeded, terminating
% 157.18/128.17 eprover: CPU time limit exceeded, terminating
% 160.75/130.39 eprover: CPU time limit exceeded, terminating
% 164.39/132.68 eprover: CPU time limit exceeded, terminating
% 168.12/134.96 eprover: CPU time limit exceeded, terminating
% 171.67/137.21 eprover: CPU time limit exceeded, terminating
% 175.34/139.45 eprover: CPU time limit exceeded, terminating
% 178.82/141.61 eprover: CPU time limit exceeded, terminating
% 182.44/143.80 eprover: CPU time limit exceeded, terminating
% 186.01/146.02 eprover: CPU time limit exceeded, terminating
% 189.60/148.17 eprover: CPU time limit exceeded, terminating
% 193.16/150.34 eprover: CPU time limit exceeded, terminating
% 196.78/152.54 eprover: CPU time limit exceeded, terminating
% 200.20/154.70 eprover: CPU time limit exceeded, terminating
% 203.82/156.87 eprover: CPU time limit exceeded, terminating
% 207.35/159.01 eprover: CPU time limit exceeded, terminating
% 210.92/161.21 eprover: CPU time limit exceeded, terminating
% 214.51/163.36 eprover: CPU time limit exceeded, terminating
% 218.09/165.53 eprover: CPU time limit exceeded, terminating
% 221.58/167.72 eprover: CPU time limit exceeded, terminating
% 225.17/169.86 eprover: CPU time limit exceeded, terminating
% 228.57/172.05 eprover: CPU time limit exceeded, terminating
% 232.31/174.21 eprover: CPU time limit exceeded, terminating
% 235.83/176.38 eprover: CPU time limit exceeded, terminating
% 239.41/178.54 eprover: CPU time limit exceeded, terminating
% 242.91/180.72 eprover: CPU time limit exceeded, terminating
% 246.49/182.87 eprover: CPU time limit exceeded, terminating
% 249.99/185.02 eprover: CPU time limit exceeded, terminating
% 253.58/187.19 eprover: CPU time limit exceeded, terminating
% 257.18/189.40 eprover: CPU time limit exceeded, terminating
% 260.62/191.55 eprover: CPU time limit exceeded, terminating
% 264.19/193.71 eprover: CPU time limit exceeded, terminating
% 267.81/195.88 eprover: CPU time limit exceeded, terminating
% 271.36/198.07 eprover: CPU time limit exceeded, terminating
% 274.93/200.23 eprover: CPU time limit exceeded, terminating
% 278.50/202.39 eprover: CPU time limit exceeded, terminating
% 281.90/204.55 eprover: CPU time limit exceeded, terminating
% 285.57/206.70 eprover: CPU time limit exceeded, terminating
% 289.08/208.85 eprover: CPU time limit exceeded, terminating
% 292.55/211.01 eprover: CPU time limit exceeded, terminating
% 296.15/213.16 eprover: CPU time limit exceeded, terminating
% 299.71/215.32 eprover: CPU time limit exceeded, terminating
% 300.20/215.76 eprover: CPU time limit exceeded, terminating
% 300.20/215.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------