TSTP Solution File: HWV125+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV125+1 : TPTP v8.2.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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.53s 209.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.14 % Problem : HWV125+1 : TPTP v8.2.0. Released v6.1.0.
% 0.13/0.19 % Command : run_infinox %s
% 0.20/0.41 % Computer : n013.cluster.edu
% 0.20/0.41 % Model : x86_64 x86_64
% 0.20/0.41 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.20/0.41 % Memory : 8042.1875MB
% 0.20/0.41 % OS : Linux 3.10.0-693.el7.x86_64
% 0.20/0.41 % CPULimit : 300
% 0.20/0.41 % WCLimit : 300
% 0.20/0.41 % DateTime : Mon May 13 13:09:38 EDT 2024
% 0.20/0.41 % CPUTime :
% 85.11/83.84 eprover: CPU time limit exceeded, terminating
% 89.09/86.44 eprover: CPU time limit exceeded, terminating
% 92.76/88.68 eprover: CPU time limit exceeded, terminating
% 96.24/90.88 eprover: CPU time limit exceeded, terminating
% 100.42/93.65 eprover: CPU time limit exceeded, terminating
% 104.16/96.13 eprover: CPU time limit exceeded, terminating
% 108.07/98.58 eprover: CPU time limit exceeded, terminating
% 111.89/100.94 eprover: CPU time limit exceeded, terminating
% 115.66/103.30 eprover: CPU time limit exceeded, terminating
% 119.32/105.61 eprover: CPU time limit exceeded, terminating
% 123.03/107.95 eprover: CPU time limit exceeded, terminating
% 126.91/110.40 eprover: CPU time limit exceeded, terminating
% 130.36/112.62 eprover: CPU time limit exceeded, terminating
% 134.07/114.85 eprover: CPU time limit exceeded, terminating
% 137.69/117.05 eprover: CPU time limit exceeded, terminating
% 141.28/119.20 eprover: CPU time limit exceeded, terminating
% 144.87/121.40 eprover: CPU time limit exceeded, terminating
% 148.39/123.62 eprover: CPU time limit exceeded, terminating
% 151.85/125.79 eprover: CPU time limit exceeded, terminating
% 155.64/128.01 eprover: CPU time limit exceeded, terminating
% 159.22/130.20 eprover: CPU time limit exceeded, terminating
% 162.76/132.46 eprover: CPU time limit exceeded, terminating
% 166.36/134.68 eprover: CPU time limit exceeded, terminating
% 169.90/136.87 eprover: CPU time limit exceeded, terminating
% 173.54/139.09 eprover: CPU time limit exceeded, terminating
% 177.14/141.23 eprover: CPU time limit exceeded, terminating
% 180.81/143.49 eprover: CPU time limit exceeded, terminating
% 184.30/145.68 eprover: CPU time limit exceeded, terminating
% 187.87/147.86 eprover: CPU time limit exceeded, terminating
% 191.55/150.07 eprover: CPU time limit exceeded, terminating
% 195.00/152.29 eprover: CPU time limit exceeded, terminating
% 198.63/154.56 eprover: CPU time limit exceeded, terminating
% 202.31/156.75 eprover: CPU time limit exceeded, terminating
% 205.91/158.96 eprover: CPU time limit exceeded, terminating
% 209.45/161.14 eprover: CPU time limit exceeded, terminating
% 213.06/163.37 eprover: CPU time limit exceeded, terminating
% 216.63/165.57 eprover: CPU time limit exceeded, terminating
% 220.19/167.76 eprover: CPU time limit exceeded, terminating
% 223.87/169.91 eprover: CPU time limit exceeded, terminating
% 227.24/172.08 eprover: CPU time limit exceeded, terminating
% 230.90/174.25 eprover: CPU time limit exceeded, terminating
% 234.36/176.41 eprover: CPU time limit exceeded, terminating
% 237.99/178.54 eprover: CPU time limit exceeded, terminating
% 241.44/180.71 eprover: CPU time limit exceeded, terminating
% 245.04/182.89 eprover: CPU time limit exceeded, terminating
% 248.75/185.10 eprover: CPU time limit exceeded, terminating
% 252.34/187.32 eprover: CPU time limit exceeded, terminating
% 255.85/189.58 eprover: CPU time limit exceeded, terminating
% 259.60/191.80 eprover: CPU time limit exceeded, terminating
% 263.14/194.06 eprover: CPU time limit exceeded, terminating
% 266.84/196.31 eprover: CPU time limit exceeded, terminating
% 270.54/198.61 eprover: CPU time limit exceeded, terminating
% 274.13/200.83 eprover: CPU time limit exceeded, terminating
% 277.82/203.08 eprover: CPU time limit exceeded, terminating
% 281.42/205.31 eprover: CPU time limit exceeded, terminating
% 285.08/207.62 eprover: CPU time limit exceeded, terminating
% 288.53/209.82 eprover: CPU time limit exceeded, terminating
% 292.14/212.07 eprover: CPU time limit exceeded, terminating
% 295.94/214.32 eprover: CPU time limit exceeded, terminating
% 299.63/216.61 eprover: CPU time limit exceeded, terminating
% 300.29/217.20 eprover: CPU time limit exceeded, terminating
% 300.29/217.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------