TSTP Solution File: HWV091+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV091+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:21 EDT 2022
% Result : Timeout 285.81s 228.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV091+1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n017.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 17 06:39:26 EDT 2022
% 0.13/0.35 % CPUTime :
% 23.39/23.01 eprover: CPU time limit exceeded, terminating
% 25.93/25.08 eprover: CPU time limit exceeded, terminating
% 28.58/27.11 eprover: CPU time limit exceeded, terminating
% 31.19/29.15 eprover: CPU time limit exceeded, terminating
% 33.73/31.19 eprover: CPU time limit exceeded, terminating
% 36.39/33.22 eprover: CPU time limit exceeded, terminating
% 38.94/35.26 eprover: CPU time limit exceeded, terminating
% 41.54/37.29 eprover: CPU time limit exceeded, terminating
% 44.16/39.33 eprover: CPU time limit exceeded, terminating
% 46.67/41.36 eprover: CPU time limit exceeded, terminating
% 49.37/43.40 eprover: CPU time limit exceeded, terminating
% 51.92/45.43 eprover: CPU time limit exceeded, terminating
% 54.49/47.46 eprover: CPU time limit exceeded, terminating
% 57.11/49.50 eprover: CPU time limit exceeded, terminating
% 59.64/51.53 eprover: CPU time limit exceeded, terminating
% 62.17/53.57 eprover: CPU time limit exceeded, terminating
% 64.80/55.60 eprover: CPU time limit exceeded, terminating
% 67.42/57.64 eprover: CPU time limit exceeded, terminating
% 70.01/59.67 eprover: CPU time limit exceeded, terminating
% 72.53/61.71 eprover: CPU time limit exceeded, terminating
% 75.12/63.74 eprover: CPU time limit exceeded, terminating
% 77.67/65.78 eprover: CPU time limit exceeded, terminating
% 80.30/67.82 eprover: CPU time limit exceeded, terminating
% 82.86/69.85 eprover: CPU time limit exceeded, terminating
% 85.34/71.89 eprover: CPU time limit exceeded, terminating
% 87.95/73.92 eprover: CPU time limit exceeded, terminating
% 90.52/75.96 eprover: CPU time limit exceeded, terminating
% 93.09/77.99 eprover: CPU time limit exceeded, terminating
% 95.70/80.03 eprover: CPU time limit exceeded, terminating
% 98.25/82.07 eprover: CPU time limit exceeded, terminating
% 100.84/84.10 eprover: CPU time limit exceeded, terminating
% 103.45/86.14 eprover: CPU time limit exceeded, terminating
% 106.01/88.18 eprover: CPU time limit exceeded, terminating
% 108.63/90.21 eprover: CPU time limit exceeded, terminating
% 111.20/92.25 eprover: CPU time limit exceeded, terminating
% 113.72/94.29 eprover: CPU time limit exceeded, terminating
% 116.35/96.32 eprover: CPU time limit exceeded, terminating
% 118.87/98.36 eprover: CPU time limit exceeded, terminating
% 121.44/100.39 eprover: CPU time limit exceeded, terminating
% 124.05/102.42 eprover: CPU time limit exceeded, terminating
% 126.59/104.46 eprover: CPU time limit exceeded, terminating
% 129.32/106.49 eprover: CPU time limit exceeded, terminating
% 132.05/108.54 eprover: CPU time limit exceeded, terminating
% 134.71/110.57 eprover: CPU time limit exceeded, terminating
% 137.51/112.61 eprover: CPU time limit exceeded, terminating
% 140.23/114.64 eprover: CPU time limit exceeded, terminating
% 142.90/116.68 eprover: CPU time limit exceeded, terminating
% 145.64/118.71 eprover: CPU time limit exceeded, terminating
% 148.35/120.75 eprover: CPU time limit exceeded, terminating
% 151.08/122.78 eprover: CPU time limit exceeded, terminating
% 153.76/124.82 eprover: CPU time limit exceeded, terminating
% 156.48/126.89 eprover: CPU time limit exceeded, terminating
% 159.13/128.93 eprover: CPU time limit exceeded, terminating
% 161.83/130.97 eprover: CPU time limit exceeded, terminating
% 164.52/133.01 eprover: CPU time limit exceeded, terminating
% 167.20/135.05 eprover: CPU time limit exceeded, terminating
% 169.88/137.09 eprover: CPU time limit exceeded, terminating
% 172.56/139.13 eprover: CPU time limit exceeded, terminating
% 175.23/141.17 eprover: CPU time limit exceeded, terminating
% 177.97/143.20 eprover: CPU time limit exceeded, terminating
% 180.43/145.24 eprover: CPU time limit exceeded, terminating
% 182.94/147.28 eprover: CPU time limit exceeded, terminating
% 185.50/149.32 eprover: CPU time limit exceeded, terminating
% 188.14/151.35 eprover: CPU time limit exceeded, terminating
% 190.65/153.39 eprover: CPU time limit exceeded, terminating
% 193.25/155.42 eprover: CPU time limit exceeded, terminating
% 195.82/157.46 eprover: CPU time limit exceeded, terminating
% 198.38/159.50 eprover: CPU time limit exceeded, terminating
% 200.98/161.53 eprover: CPU time limit exceeded, terminating
% 203.50/163.57 eprover: CPU time limit exceeded, terminating
% 206.09/165.60 eprover: CPU time limit exceeded, terminating
% 208.65/167.64 eprover: CPU time limit exceeded, terminating
% 211.22/169.68 eprover: CPU time limit exceeded, terminating
% 213.73/171.71 eprover: CPU time limit exceeded, terminating
% 216.34/173.75 eprover: CPU time limit exceeded, terminating
% 218.87/175.79 eprover: CPU time limit exceeded, terminating
% 221.49/177.82 eprover: CPU time limit exceeded, terminating
% 224.01/179.86 eprover: CPU time limit exceeded, terminating
% 226.61/181.89 eprover: CPU time limit exceeded, terminating
% 229.11/183.93 eprover: CPU time limit exceeded, terminating
% 231.73/185.96 eprover: CPU time limit exceeded, terminating
% 234.28/188.00 eprover: CPU time limit exceeded, terminating
% 236.87/190.04 eprover: CPU time limit exceeded, terminating
% 239.49/192.08 eprover: CPU time limit exceeded, terminating
% 242.07/194.12 eprover: CPU time limit exceeded, terminating
% 244.65/196.15 eprover: CPU time limit exceeded, terminating
% 247.23/198.19 eprover: CPU time limit exceeded, terminating
% 249.72/200.23 eprover: CPU time limit exceeded, terminating
% 252.38/202.27 eprover: CPU time limit exceeded, terminating
% 254.88/204.31 eprover: CPU time limit exceeded, terminating
% 257.53/206.35 eprover: CPU time limit exceeded, terminating
% 260.05/208.39 eprover: CPU time limit exceeded, terminating
% 262.61/210.43 eprover: CPU time limit exceeded, terminating
% 265.21/212.47 eprover: CPU time limit exceeded, terminating
% 267.76/214.50 eprover: CPU time limit exceeded, terminating
% 270.38/216.54 eprover: CPU time limit exceeded, terminating
% 272.94/218.58 eprover: CPU time limit exceeded, terminating
% 275.48/220.62 eprover: CPU time limit exceeded, terminating
% 278.12/222.66 eprover: CPU time limit exceeded, terminating
% 280.66/224.69 eprover: CPU time limit exceeded, terminating
% 283.23/226.73 eprover: CPU time limit exceeded, terminating
% 285.81/228.77 eprover: CPU time limit exceeded, terminating
% 288.41/230.81 eprover: CPU time limit exceeded, terminating
% 290.97/232.85 eprover: CPU time limit exceeded, terminating
% 293.55/234.88 eprover: CPU time limit exceeded, terminating
% 296.12/236.91 eprover: CPU time limit exceeded, terminating
% 298.72/238.95 eprover: CPU time limit exceeded, terminating
% 300.09/239.96 eprover: CPU time limit exceeded, terminating
% 300.09/239.97 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------