TSTP Solution File: HWV073+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV073+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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.44s 283.64s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.13 % Problem : HWV073+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.09/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n022.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Thu Jun 16 21:49:32 EDT 2022
% 0.14/0.36 % CPUTime :
% 104.38/104.42 eprover: CPU time limit exceeded, terminating
% 106.42/106.44 eprover: CPU time limit exceeded, terminating
% 108.43/108.45 eprover: CPU time limit exceeded, terminating
% 110.47/110.46 eprover: CPU time limit exceeded, terminating
% 112.50/112.48 eprover: CPU time limit exceeded, terminating
% 114.61/114.49 eprover: CPU time limit exceeded, terminating
% 116.64/116.50 eprover: CPU time limit exceeded, terminating
% 118.71/118.52 eprover: CPU time limit exceeded, terminating
% 120.75/120.53 eprover: CPU time limit exceeded, terminating
% 122.74/122.54 eprover: CPU time limit exceeded, terminating
% 124.80/124.56 eprover: CPU time limit exceeded, terminating
% 126.83/126.57 eprover: CPU time limit exceeded, terminating
% 128.93/128.58 eprover: CPU time limit exceeded, terminating
% 130.89/130.60 eprover: CPU time limit exceeded, terminating
% 133.04/132.61 eprover: CPU time limit exceeded, terminating
% 135.07/134.63 eprover: CPU time limit exceeded, terminating
% 137.08/136.64 eprover: CPU time limit exceeded, terminating
% 139.13/138.65 eprover: CPU time limit exceeded, terminating
% 141.16/140.67 eprover: CPU time limit exceeded, terminating
% 143.26/142.68 eprover: CPU time limit exceeded, terminating
% 145.22/144.70 eprover: CPU time limit exceeded, terminating
% 147.33/146.71 eprover: CPU time limit exceeded, terminating
% 149.39/148.72 eprover: CPU time limit exceeded, terminating
% 151.40/150.74 eprover: CPU time limit exceeded, terminating
% 153.45/152.75 eprover: CPU time limit exceeded, terminating
% 155.45/154.77 eprover: CPU time limit exceeded, terminating
% 157.54/156.78 eprover: CPU time limit exceeded, terminating
% 159.56/158.79 eprover: CPU time limit exceeded, terminating
% 161.64/160.81 eprover: CPU time limit exceeded, terminating
% 163.72/162.82 eprover: CPU time limit exceeded, terminating
% 165.75/164.83 eprover: CPU time limit exceeded, terminating
% 167.78/166.85 eprover: CPU time limit exceeded, terminating
% 169.77/168.86 eprover: CPU time limit exceeded, terminating
% 171.83/170.88 eprover: CPU time limit exceeded, terminating
% 173.89/172.89 eprover: CPU time limit exceeded, terminating
% 175.99/174.91 eprover: CPU time limit exceeded, terminating
% 178.00/176.92 eprover: CPU time limit exceeded, terminating
% 180.07/178.93 eprover: CPU time limit exceeded, terminating
% 182.11/180.95 eprover: CPU time limit exceeded, terminating
% 184.13/182.96 eprover: CPU time limit exceeded, terminating
% 186.17/184.97 eprover: CPU time limit exceeded, terminating
% 188.21/186.99 eprover: CPU time limit exceeded, terminating
% 190.32/189.00 eprover: CPU time limit exceeded, terminating
% 192.35/191.02 eprover: CPU time limit exceeded, terminating
% 194.40/193.03 eprover: CPU time limit exceeded, terminating
% 196.44/195.04 eprover: CPU time limit exceeded, terminating
% 198.48/197.06 eprover: CPU time limit exceeded, terminating
% 200.50/199.07 eprover: CPU time limit exceeded, terminating
% 202.54/201.08 eprover: CPU time limit exceeded, terminating
% 204.57/203.10 eprover: CPU time limit exceeded, terminating
% 206.69/205.11 eprover: CPU time limit exceeded, terminating
% 208.72/207.13 eprover: CPU time limit exceeded, terminating
% 210.76/209.14 eprover: CPU time limit exceeded, terminating
% 212.80/211.15 eprover: CPU time limit exceeded, terminating
% 214.82/213.16 eprover: CPU time limit exceeded, terminating
% 216.91/215.18 eprover: CPU time limit exceeded, terminating
% 218.89/217.19 eprover: CPU time limit exceeded, terminating
% 220.99/219.21 eprover: CPU time limit exceeded, terminating
% 223.04/221.22 eprover: CPU time limit exceeded, terminating
% 225.10/223.23 eprover: CPU time limit exceeded, terminating
% 227.09/225.25 eprover: CPU time limit exceeded, terminating
% 229.15/227.26 eprover: CPU time limit exceeded, terminating
% 231.22/229.28 eprover: CPU time limit exceeded, terminating
% 233.22/231.29 eprover: CPU time limit exceeded, terminating
% 235.32/233.31 eprover: CPU time limit exceeded, terminating
% 237.39/235.32 eprover: CPU time limit exceeded, terminating
% 239.37/237.33 eprover: CPU time limit exceeded, terminating
% 241.44/239.35 eprover: CPU time limit exceeded, terminating
% 243.47/241.36 eprover: CPU time limit exceeded, terminating
% 245.55/243.37 eprover: CPU time limit exceeded, terminating
% 247.61/245.39 eprover: CPU time limit exceeded, terminating
% 249.60/247.40 eprover: CPU time limit exceeded, terminating
% 251.67/249.41 eprover: CPU time limit exceeded, terminating
% 253.73/251.43 eprover: CPU time limit exceeded, terminating
% 255.70/253.44 eprover: CPU time limit exceeded, terminating
% 257.81/255.46 eprover: CPU time limit exceeded, terminating
% 259.89/257.47 eprover: CPU time limit exceeded, terminating
% 261.88/259.48 eprover: CPU time limit exceeded, terminating
% 263.98/261.50 eprover: CPU time limit exceeded, terminating
% 266.05/263.51 eprover: CPU time limit exceeded, terminating
% 268.07/265.53 eprover: CPU time limit exceeded, terminating
% 270.14/267.54 eprover: CPU time limit exceeded, terminating
% 272.12/269.56 eprover: CPU time limit exceeded, terminating
% 274.19/271.57 eprover: CPU time limit exceeded, terminating
% 276.26/273.58 eprover: CPU time limit exceeded, terminating
% 278.25/275.59 eprover: CPU time limit exceeded, terminating
% 280.35/277.60 eprover: CPU time limit exceeded, terminating
% 282.38/279.62 eprover: CPU time limit exceeded, terminating
% 284.43/281.63 eprover: CPU time limit exceeded, terminating
% 286.44/283.64 eprover: CPU time limit exceeded, terminating
% 288.50/285.65 eprover: CPU time limit exceeded, terminating
% 290.54/287.66 eprover: CPU time limit exceeded, terminating
% 292.59/289.67 eprover: CPU time limit exceeded, terminating
% 294.61/291.68 eprover: CPU time limit exceeded, terminating
% 296.63/293.70 eprover: CPU time limit exceeded, terminating
% 298.66/295.72 eprover: CPU time limit exceeded, terminating
% 300.11/297.07 eprover: CPU time limit exceeded, terminating
% 300.11/297.08 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------