TSTP Solution File: HWV072+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV072+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : 600s
% DateTime : Sat Jul 16 16:30:12 EDT 2022
% Result : Timeout 286.49s 283.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : HWV072+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n026.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Fri Jun 17 09:31:53 EDT 2022
% 0.11/0.32 % CPUTime :
% 110.92/110.94 eprover: CPU time limit exceeded, terminating
% 113.00/112.95 eprover: CPU time limit exceeded, terminating
% 115.03/114.96 eprover: CPU time limit exceeded, terminating
% 116.99/116.97 eprover: CPU time limit exceeded, terminating
% 119.11/118.98 eprover: CPU time limit exceeded, terminating
% 121.14/120.99 eprover: CPU time limit exceeded, terminating
% 123.18/123.00 eprover: CPU time limit exceeded, terminating
% 125.18/125.00 eprover: CPU time limit exceeded, terminating
% 127.27/127.01 eprover: CPU time limit exceeded, terminating
% 129.29/129.02 eprover: CPU time limit exceeded, terminating
% 131.36/131.03 eprover: CPU time limit exceeded, terminating
% 133.38/133.03 eprover: CPU time limit exceeded, terminating
% 135.38/135.04 eprover: CPU time limit exceeded, terminating
% 137.45/137.05 eprover: CPU time limit exceeded, terminating
% 139.53/139.06 eprover: CPU time limit exceeded, terminating
% 141.54/141.07 eprover: CPU time limit exceeded, terminating
% 143.58/143.08 eprover: CPU time limit exceeded, terminating
% 145.65/145.09 eprover: CPU time limit exceeded, terminating
% 147.63/147.09 eprover: CPU time limit exceeded, terminating
% 149.70/149.10 eprover: CPU time limit exceeded, terminating
% 151.75/151.11 eprover: CPU time limit exceeded, terminating
% 153.81/153.12 eprover: CPU time limit exceeded, terminating
% 155.85/155.13 eprover: CPU time limit exceeded, terminating
% 157.84/157.14 eprover: CPU time limit exceeded, terminating
% 159.89/159.15 eprover: CPU time limit exceeded, terminating
% 161.96/161.15 eprover: CPU time limit exceeded, terminating
% 164.01/163.16 eprover: CPU time limit exceeded, terminating
% 166.05/165.17 eprover: CPU time limit exceeded, terminating
% 168.04/167.18 eprover: CPU time limit exceeded, terminating
% 170.13/169.19 eprover: CPU time limit exceeded, terminating
% 172.17/171.20 eprover: CPU time limit exceeded, terminating
% 174.22/173.21 eprover: CPU time limit exceeded, terminating
% 176.22/175.22 eprover: CPU time limit exceeded, terminating
% 178.25/177.22 eprover: CPU time limit exceeded, terminating
% 180.31/179.23 eprover: CPU time limit exceeded, terminating
% 182.36/181.24 eprover: CPU time limit exceeded, terminating
% 184.34/183.25 eprover: CPU time limit exceeded, terminating
% 186.42/185.26 eprover: CPU time limit exceeded, terminating
% 188.47/187.27 eprover: CPU time limit exceeded, terminating
% 190.53/189.28 eprover: CPU time limit exceeded, terminating
% 192.58/191.29 eprover: CPU time limit exceeded, terminating
% 194.56/193.30 eprover: CPU time limit exceeded, terminating
% 196.66/195.30 eprover: CPU time limit exceeded, terminating
% 198.69/197.31 eprover: CPU time limit exceeded, terminating
% 200.74/199.32 eprover: CPU time limit exceeded, terminating
% 202.78/201.33 eprover: CPU time limit exceeded, terminating
% 204.79/203.34 eprover: CPU time limit exceeded, terminating
% 206.85/205.35 eprover: CPU time limit exceeded, terminating
% 208.82/207.36 eprover: CPU time limit exceeded, terminating
% 210.91/209.36 eprover: CPU time limit exceeded, terminating
% 212.99/211.37 eprover: CPU time limit exceeded, terminating
% 214.97/213.38 eprover: CPU time limit exceeded, terminating
% 217.08/215.39 eprover: CPU time limit exceeded, terminating
% 219.05/217.40 eprover: CPU time limit exceeded, terminating
% 221.16/219.41 eprover: CPU time limit exceeded, terminating
% 223.13/221.42 eprover: CPU time limit exceeded, terminating
% 225.25/223.42 eprover: CPU time limit exceeded, terminating
% 227.28/225.43 eprover: CPU time limit exceeded, terminating
% 229.29/227.44 eprover: CPU time limit exceeded, terminating
% 231.33/229.45 eprover: CPU time limit exceeded, terminating
% 233.36/231.46 eprover: CPU time limit exceeded, terminating
% 235.39/233.47 eprover: CPU time limit exceeded, terminating
% 237.44/235.48 eprover: CPU time limit exceeded, terminating
% 239.44/237.49 eprover: CPU time limit exceeded, terminating
% 241.50/239.50 eprover: CPU time limit exceeded, terminating
% 243.60/241.51 eprover: CPU time limit exceeded, terminating
% 245.64/243.52 eprover: CPU time limit exceeded, terminating
% 247.68/245.53 eprover: CPU time limit exceeded, terminating
% 249.71/247.54 eprover: CPU time limit exceeded, terminating
% 251.73/249.55 eprover: CPU time limit exceeded, terminating
% 253.79/251.56 eprover: CPU time limit exceeded, terminating
% 255.79/253.57 eprover: CPU time limit exceeded, terminating
% 257.85/255.58 eprover: CPU time limit exceeded, terminating
% 259.96/257.59 eprover: CPU time limit exceeded, terminating
% 261.91/259.60 eprover: CPU time limit exceeded, terminating
% 264.03/261.61 eprover: CPU time limit exceeded, terminating
% 266.06/263.61 eprover: CPU time limit exceeded, terminating
% 268.12/265.62 eprover: CPU time limit exceeded, terminating
% 270.16/267.63 eprover: CPU time limit exceeded, terminating
% 272.17/269.64 eprover: CPU time limit exceeded, terminating
% 274.21/271.65 eprover: CPU time limit exceeded, terminating
% 276.24/273.66 eprover: CPU time limit exceeded, terminating
% 278.25/275.67 eprover: CPU time limit exceeded, terminating
% 280.38/277.68 eprover: CPU time limit exceeded, terminating
% 282.34/279.69 eprover: CPU time limit exceeded, terminating
% 284.44/281.70 eprover: CPU time limit exceeded, terminating
% 286.49/283.71 eprover: CPU time limit exceeded, terminating
% 288.50/285.73 eprover: CPU time limit exceeded, terminating
% 290.55/287.74 eprover: CPU time limit exceeded, terminating
% 292.59/289.74 eprover: CPU time limit exceeded, terminating
% 294.60/291.75 eprover: CPU time limit exceeded, terminating
% 296.64/293.76 eprover: CPU time limit exceeded, terminating
% 298.67/295.77 eprover: CPU time limit exceeded, terminating
% 300.08/297.08 eprover: CPU time limit exceeded, terminating
% 300.08/297.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------