TSTP Solution File: HWV077-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV077-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:13 EDT 2022
% Result : Timeout 287.25s 274.09s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : HWV077-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n014.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Fri Jun 17 00:17:35 EDT 2022
% 0.15/0.36 % CPUTime :
% 3.91/4.05 eprover: CPU time limit exceeded, terminating
% 6.10/6.14 eprover: CPU time limit exceeded, terminating
% 8.25/8.16 eprover: CPU time limit exceeded, terminating
% 10.34/10.17 eprover: CPU time limit exceeded, terminating
% 12.47/12.19 eprover: CPU time limit exceeded, terminating
% 14.63/14.20 eprover: CPU time limit exceeded, terminating
% 16.72/16.21 eprover: CPU time limit exceeded, terminating
% 18.80/18.23 eprover: CPU time limit exceeded, terminating
% 20.91/20.24 eprover: CPU time limit exceeded, terminating
% 23.03/22.25 eprover: CPU time limit exceeded, terminating
% 25.19/24.27 eprover: CPU time limit exceeded, terminating
% 27.30/26.28 eprover: CPU time limit exceeded, terminating
% 29.37/28.30 eprover: CPU time limit exceeded, terminating
% 31.47/30.31 eprover: CPU time limit exceeded, terminating
% 33.62/32.33 eprover: CPU time limit exceeded, terminating
% 35.75/34.34 eprover: CPU time limit exceeded, terminating
% 37.81/36.35 eprover: CPU time limit exceeded, terminating
% 40.00/38.37 eprover: CPU time limit exceeded, terminating
% 42.06/40.38 eprover: CPU time limit exceeded, terminating
% 44.20/42.40 eprover: CPU time limit exceeded, terminating
% 46.35/44.41 eprover: CPU time limit exceeded, terminating
% 48.42/46.43 eprover: CPU time limit exceeded, terminating
% 50.53/48.44 eprover: CPU time limit exceeded, terminating
% 52.66/50.45 eprover: CPU time limit exceeded, terminating
% 54.78/52.47 eprover: CPU time limit exceeded, terminating
% 56.89/54.48 eprover: CPU time limit exceeded, terminating
% 59.02/56.50 eprover: CPU time limit exceeded, terminating
% 61.12/58.51 eprover: CPU time limit exceeded, terminating
% 63.22/60.52 eprover: CPU time limit exceeded, terminating
% 65.33/62.54 eprover: CPU time limit exceeded, terminating
% 67.46/64.55 eprover: CPU time limit exceeded, terminating
% 69.60/66.57 eprover: CPU time limit exceeded, terminating
% 71.69/68.58 eprover: CPU time limit exceeded, terminating
% 73.80/70.60 eprover: CPU time limit exceeded, terminating
% 75.90/72.61 eprover: CPU time limit exceeded, terminating
% 78.01/74.62 eprover: CPU time limit exceeded, terminating
% 80.15/76.64 eprover: CPU time limit exceeded, terminating
% 82.28/78.65 eprover: CPU time limit exceeded, terminating
% 84.38/80.67 eprover: CPU time limit exceeded, terminating
% 86.51/82.68 eprover: CPU time limit exceeded, terminating
% 88.63/84.69 eprover: CPU time limit exceeded, terminating
% 90.72/86.71 eprover: CPU time limit exceeded, terminating
% 92.84/88.72 eprover: CPU time limit exceeded, terminating
% 94.93/90.74 eprover: CPU time limit exceeded, terminating
% 97.05/92.75 eprover: CPU time limit exceeded, terminating
% 99.19/94.77 eprover: CPU time limit exceeded, terminating
% 101.31/96.78 eprover: CPU time limit exceeded, terminating
% 103.40/98.79 eprover: CPU time limit exceeded, terminating
% 105.50/100.81 eprover: CPU time limit exceeded, terminating
% 107.67/102.82 eprover: CPU time limit exceeded, terminating
% 109.71/104.84 eprover: CPU time limit exceeded, terminating
% 111.88/106.85 eprover: CPU time limit exceeded, terminating
% 113.98/108.86 eprover: CPU time limit exceeded, terminating
% 116.11/110.88 eprover: CPU time limit exceeded, terminating
% 118.23/112.89 eprover: CPU time limit exceeded, terminating
% 120.33/114.91 eprover: CPU time limit exceeded, terminating
% 122.39/116.92 eprover: CPU time limit exceeded, terminating
% 124.57/118.93 eprover: CPU time limit exceeded, terminating
% 126.69/120.95 eprover: CPU time limit exceeded, terminating
% 128.76/122.96 eprover: CPU time limit exceeded, terminating
% 130.92/124.98 eprover: CPU time limit exceeded, terminating
% 133.04/126.99 eprover: CPU time limit exceeded, terminating
% 135.14/129.01 eprover: CPU time limit exceeded, terminating
% 137.26/131.02 eprover: CPU time limit exceeded, terminating
% 139.37/133.03 eprover: CPU time limit exceeded, terminating
% 141.49/135.05 eprover: CPU time limit exceeded, terminating
% 143.54/137.06 eprover: CPU time limit exceeded, terminating
% 145.69/139.08 eprover: CPU time limit exceeded, terminating
% 147.86/141.09 eprover: CPU time limit exceeded, terminating
% 149.95/143.11 eprover: CPU time limit exceeded, terminating
% 152.00/145.12 eprover: CPU time limit exceeded, terminating
% 154.16/147.13 eprover: CPU time limit exceeded, terminating
% 156.26/149.15 eprover: CPU time limit exceeded, terminating
% 158.40/151.16 eprover: CPU time limit exceeded, terminating
% 160.51/153.17 eprover: CPU time limit exceeded, terminating
% 162.64/155.19 eprover: CPU time limit exceeded, terminating
% 164.72/157.20 eprover: CPU time limit exceeded, terminating
% 166.85/159.22 eprover: CPU time limit exceeded, terminating
% 168.95/161.23 eprover: CPU time limit exceeded, terminating
% 171.04/163.24 eprover: CPU time limit exceeded, terminating
% 173.20/165.26 eprover: CPU time limit exceeded, terminating
% 175.31/167.27 eprover: CPU time limit exceeded, terminating
% 177.46/169.28 eprover: CPU time limit exceeded, terminating
% 179.52/171.30 eprover: CPU time limit exceeded, terminating
% 181.68/173.31 eprover: CPU time limit exceeded, terminating
% 183.72/175.32 eprover: CPU time limit exceeded, terminating
% 185.87/177.34 eprover: CPU time limit exceeded, terminating
% 188.00/179.35 eprover: CPU time limit exceeded, terminating
% 190.14/181.37 eprover: CPU time limit exceeded, terminating
% 192.19/183.38 eprover: CPU time limit exceeded, terminating
% 194.34/185.39 eprover: CPU time limit exceeded, terminating
% 196.40/187.41 eprover: CPU time limit exceeded, terminating
% 198.62/189.42 eprover: CPU time limit exceeded, terminating
% 200.71/191.44 eprover: CPU time limit exceeded, terminating
% 202.78/193.45 eprover: CPU time limit exceeded, terminating
% 204.89/195.47 eprover: CPU time limit exceeded, terminating
% 207.07/197.48 eprover: CPU time limit exceeded, terminating
% 209.12/199.50 eprover: CPU time limit exceeded, terminating
% 211.25/201.51 eprover: CPU time limit exceeded, terminating
% 213.40/203.52 eprover: CPU time limit exceeded, terminating
% 215.54/205.54 eprover: CPU time limit exceeded, terminating
% 217.65/207.55 eprover: CPU time limit exceeded, terminating
% 219.77/209.57 eprover: CPU time limit exceeded, terminating
% 221.83/211.58 eprover: CPU time limit exceeded, terminating
% 224.00/213.60 eprover: CPU time limit exceeded, terminating
% 226.04/215.61 eprover: CPU time limit exceeded, terminating
% 228.23/217.62 eprover: CPU time limit exceeded, terminating
% 230.35/219.64 eprover: CPU time limit exceeded, terminating
% 232.42/221.65 eprover: CPU time limit exceeded, terminating
% 234.55/223.67 eprover: CPU time limit exceeded, terminating
% 236.68/225.68 eprover: CPU time limit exceeded, terminating
% 238.74/227.69 eprover: CPU time limit exceeded, terminating
% 240.89/229.70 eprover: CPU time limit exceeded, terminating
% 243.02/231.71 eprover: CPU time limit exceeded, terminating
% 245.07/233.72 eprover: CPU time limit exceeded, terminating
% 247.19/235.73 eprover: CPU time limit exceeded, terminating
% 249.30/237.74 eprover: CPU time limit exceeded, terminating
% 251.45/239.75 eprover: CPU time limit exceeded, terminating
% 253.50/241.76 eprover: CPU time limit exceeded, terminating
% 255.62/243.81 eprover: CPU time limit exceeded, terminating
% 257.80/245.83 eprover: CPU time limit exceeded, terminating
% 259.86/247.86 eprover: CPU time limit exceeded, terminating
% 261.97/249.88 eprover: CPU time limit exceeded, terminating
% 264.14/251.90 eprover: CPU time limit exceeded, terminating
% 266.23/253.91 eprover: CPU time limit exceeded, terminating
% 268.34/255.93 eprover: CPU time limit exceeded, terminating
% 270.46/257.95 eprover: CPU time limit exceeded, terminating
% 272.52/259.96 eprover: CPU time limit exceeded, terminating
% 274.65/261.97 eprover: CPU time limit exceeded, terminating
% 276.79/264.01 eprover: CPU time limit exceeded, terminating
% 278.91/266.02 eprover: CPU time limit exceeded, terminating
% 281.02/268.03 eprover: CPU time limit exceeded, terminating
% 283.09/270.06 eprover: CPU time limit exceeded, terminating
% 285.17/272.07 eprover: CPU time limit exceeded, terminating
% 287.25/274.09 eprover: CPU time limit exceeded, terminating
% 289.43/276.11 eprover: CPU time limit exceeded, terminating
% 291.57/278.13 eprover: CPU time limit exceeded, terminating
% 293.66/280.14 eprover: CPU time limit exceeded, terminating
% 295.75/282.16 eprover: CPU time limit exceeded, terminating
% 297.82/284.18 eprover: CPU time limit exceeded, terminating
% 300.02/286.21 eprover: CPU time limit exceeded, terminating
% 300.06/286.23 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------