TSTP Solution File: HWV063-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV063-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:07 EDT 2022
% Result : Timeout 287.43s 205.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : HWV063-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.13/0.15 % Command : run_infinox %s
% 0.14/0.36 % Computer : n020.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Fri Jun 17 08:37:49 EDT 2022
% 0.14/0.36 % CPUTime :
% 31.16/30.34 eprover: CPU time limit exceeded, terminating
% 34.64/32.92 eprover: CPU time limit exceeded, terminating
% 37.53/34.95 eprover: CPU time limit exceeded, terminating
% 40.55/36.98 eprover: CPU time limit exceeded, terminating
% 43.57/39.01 eprover: CPU time limit exceeded, terminating
% 46.59/41.04 eprover: CPU time limit exceeded, terminating
% 49.51/43.08 eprover: CPU time limit exceeded, terminating
% 52.48/45.11 eprover: CPU time limit exceeded, terminating
% 55.59/47.14 eprover: CPU time limit exceeded, terminating
% 58.57/49.17 eprover: CPU time limit exceeded, terminating
% 61.61/51.20 eprover: CPU time limit exceeded, terminating
% 64.60/53.23 eprover: CPU time limit exceeded, terminating
% 67.61/55.26 eprover: CPU time limit exceeded, terminating
% 70.53/57.29 eprover: CPU time limit exceeded, terminating
% 73.52/59.33 eprover: CPU time limit exceeded, terminating
% 76.41/61.36 eprover: CPU time limit exceeded, terminating
% 79.47/63.38 eprover: CPU time limit exceeded, terminating
% 82.47/65.42 eprover: CPU time limit exceeded, terminating
% 85.42/67.45 eprover: CPU time limit exceeded, terminating
% 88.38/69.48 eprover: CPU time limit exceeded, terminating
% 91.43/71.51 eprover: CPU time limit exceeded, terminating
% 94.40/73.55 eprover: CPU time limit exceeded, terminating
% 97.38/75.58 eprover: CPU time limit exceeded, terminating
% 100.32/77.61 eprover: CPU time limit exceeded, terminating
% 103.41/79.64 eprover: CPU time limit exceeded, terminating
% 106.36/81.67 eprover: CPU time limit exceeded, terminating
% 109.40/83.70 eprover: CPU time limit exceeded, terminating
% 112.36/85.73 eprover: CPU time limit exceeded, terminating
% 115.34/87.77 eprover: CPU time limit exceeded, terminating
% 118.35/89.80 eprover: CPU time limit exceeded, terminating
% 121.32/91.83 eprover: CPU time limit exceeded, terminating
% 124.26/93.86 eprover: CPU time limit exceeded, terminating
% 127.34/95.89 eprover: CPU time limit exceeded, terminating
% 130.28/97.92 eprover: CPU time limit exceeded, terminating
% 133.25/99.96 eprover: CPU time limit exceeded, terminating
% 136.26/101.99 eprover: CPU time limit exceeded, terminating
% 139.24/104.02 eprover: CPU time limit exceeded, terminating
% 142.18/106.06 eprover: CPU time limit exceeded, terminating
% 145.17/108.09 eprover: CPU time limit exceeded, terminating
% 148.25/110.12 eprover: CPU time limit exceeded, terminating
% 151.21/112.15 eprover: CPU time limit exceeded, terminating
% 154.15/114.18 eprover: CPU time limit exceeded, terminating
% 157.18/116.21 eprover: CPU time limit exceeded, terminating
% 160.10/118.24 eprover: CPU time limit exceeded, terminating
% 163.08/120.28 eprover: CPU time limit exceeded, terminating
% 166.09/122.31 eprover: CPU time limit exceeded, terminating
% 169.03/124.34 eprover: CPU time limit exceeded, terminating
% 171.99/126.37 eprover: CPU time limit exceeded, terminating
% 174.96/128.40 eprover: CPU time limit exceeded, terminating
% 178.00/130.43 eprover: CPU time limit exceeded, terminating
% 180.94/132.46 eprover: CPU time limit exceeded, terminating
% 183.97/134.49 eprover: CPU time limit exceeded, terminating
% 186.94/136.52 eprover: CPU time limit exceeded, terminating
% 189.89/138.54 eprover: CPU time limit exceeded, terminating
% 192.88/140.58 eprover: CPU time limit exceeded, terminating
% 195.88/142.61 eprover: CPU time limit exceeded, terminating
% 198.83/144.64 eprover: CPU time limit exceeded, terminating
% 201.74/146.67 eprover: CPU time limit exceeded, terminating
% 204.64/148.70 eprover: CPU time limit exceeded, terminating
% 207.66/150.73 eprover: CPU time limit exceeded, terminating
% 210.60/152.76 eprover: CPU time limit exceeded, terminating
% 213.61/154.80 eprover: CPU time limit exceeded, terminating
% 216.58/156.83 eprover: CPU time limit exceeded, terminating
% 219.58/158.86 eprover: CPU time limit exceeded, terminating
% 222.51/160.89 eprover: CPU time limit exceeded, terminating
% 225.50/162.92 eprover: CPU time limit exceeded, terminating
% 228.49/164.95 eprover: CPU time limit exceeded, terminating
% 231.49/166.98 eprover: CPU time limit exceeded, terminating
% 234.37/169.01 eprover: CPU time limit exceeded, terminating
% 237.36/171.05 eprover: CPU time limit exceeded, terminating
% 240.28/173.07 eprover: CPU time limit exceeded, terminating
% 243.22/175.10 eprover: CPU time limit exceeded, terminating
% 246.22/177.14 eprover: CPU time limit exceeded, terminating
% 249.06/179.16 eprover: CPU time limit exceeded, terminating
% 252.00/181.19 eprover: CPU time limit exceeded, terminating
% 255.03/183.22 eprover: CPU time limit exceeded, terminating
% 257.95/185.25 eprover: CPU time limit exceeded, terminating
% 260.87/187.29 eprover: CPU time limit exceeded, terminating
% 263.88/189.32 eprover: CPU time limit exceeded, terminating
% 266.81/191.35 eprover: CPU time limit exceeded, terminating
% 269.65/193.38 eprover: CPU time limit exceeded, terminating
% 272.66/195.41 eprover: CPU time limit exceeded, terminating
% 275.54/197.44 eprover: CPU time limit exceeded, terminating
% 278.52/199.47 eprover: CPU time limit exceeded, terminating
% 281.55/201.50 eprover: CPU time limit exceeded, terminating
% 284.52/203.53 eprover: CPU time limit exceeded, terminating
% 287.43/205.56 eprover: CPU time limit exceeded, terminating
% 290.40/207.59 eprover: CPU time limit exceeded, terminating
% 293.40/209.62 eprover: CPU time limit exceeded, terminating
% 296.32/211.65 eprover: CPU time limit exceeded, terminating
% 299.25/213.68 eprover: CPU time limit exceeded, terminating
% 300.03/214.23 eprover: CPU time limit exceeded, terminating
% 300.03/214.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------