TSTP Solution File: HWV103+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV103+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:31 EDT 2022
% Result : Timeout 285.96s 262.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : HWV103+1 : TPTP v8.1.0. Released v6.1.0.
% 0.12/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n028.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 06:53:27 EDT 2022
% 0.14/0.36 % CPUTime :
% 7.68/7.67 eprover: CPU time limit exceeded, terminating
% 9.84/9.69 eprover: CPU time limit exceeded, terminating
% 12.13/11.71 eprover: CPU time limit exceeded, terminating
% 14.32/13.73 eprover: CPU time limit exceeded, terminating
% 16.50/15.75 eprover: CPU time limit exceeded, terminating
% 18.76/17.77 eprover: CPU time limit exceeded, terminating
% 20.90/19.79 eprover: CPU time limit exceeded, terminating
% 23.16/21.81 eprover: CPU time limit exceeded, terminating
% 25.38/23.83 eprover: CPU time limit exceeded, terminating
% 27.58/25.85 eprover: CPU time limit exceeded, terminating
% 29.78/27.87 eprover: CPU time limit exceeded, terminating
% 32.00/29.89 eprover: CPU time limit exceeded, terminating
% 34.27/31.91 eprover: CPU time limit exceeded, terminating
% 36.47/33.93 eprover: CPU time limit exceeded, terminating
% 38.68/35.95 eprover: CPU time limit exceeded, terminating
% 40.84/37.97 eprover: CPU time limit exceeded, terminating
% 43.13/39.99 eprover: CPU time limit exceeded, terminating
% 45.34/42.01 eprover: CPU time limit exceeded, terminating
% 47.53/44.03 eprover: CPU time limit exceeded, terminating
% 49.73/46.05 eprover: CPU time limit exceeded, terminating
% 51.95/48.07 eprover: CPU time limit exceeded, terminating
% 54.20/50.09 eprover: CPU time limit exceeded, terminating
% 56.35/52.11 eprover: CPU time limit exceeded, terminating
% 58.63/54.13 eprover: CPU time limit exceeded, terminating
% 60.78/56.15 eprover: CPU time limit exceeded, terminating
% 63.02/58.16 eprover: CPU time limit exceeded, terminating
% 65.18/60.18 eprover: CPU time limit exceeded, terminating
% 67.47/62.20 eprover: CPU time limit exceeded, terminating
% 69.65/64.22 eprover: CPU time limit exceeded, terminating
% 71.87/66.24 eprover: CPU time limit exceeded, terminating
% 74.05/68.25 eprover: CPU time limit exceeded, terminating
% 76.27/70.27 eprover: CPU time limit exceeded, terminating
% 78.42/72.28 eprover: CPU time limit exceeded, terminating
% 80.71/74.30 eprover: CPU time limit exceeded, terminating
% 82.88/76.31 eprover: CPU time limit exceeded, terminating
% 85.09/78.33 eprover: CPU time limit exceeded, terminating
% 87.28/80.35 eprover: CPU time limit exceeded, terminating
% 89.46/82.36 eprover: CPU time limit exceeded, terminating
% 91.69/84.38 eprover: CPU time limit exceeded, terminating
% 93.93/86.39 eprover: CPU time limit exceeded, terminating
% 96.12/88.41 eprover: CPU time limit exceeded, terminating
% 98.29/90.42 eprover: CPU time limit exceeded, terminating
% 100.48/92.44 eprover: CPU time limit exceeded, terminating
% 102.72/94.46 eprover: CPU time limit exceeded, terminating
% 104.89/96.47 eprover: CPU time limit exceeded, terminating
% 107.09/98.49 eprover: CPU time limit exceeded, terminating
% 109.32/100.51 eprover: CPU time limit exceeded, terminating
% 111.54/102.53 eprover: CPU time limit exceeded, terminating
% 113.68/104.55 eprover: CPU time limit exceeded, terminating
% 115.94/106.56 eprover: CPU time limit exceeded, terminating
% 118.17/108.58 eprover: CPU time limit exceeded, terminating
% 120.33/110.60 eprover: CPU time limit exceeded, terminating
% 122.59/112.61 eprover: CPU time limit exceeded, terminating
% 124.76/114.63 eprover: CPU time limit exceeded, terminating
% 126.95/116.65 eprover: CPU time limit exceeded, terminating
% 129.12/118.67 eprover: CPU time limit exceeded, terminating
% 131.37/120.68 eprover: CPU time limit exceeded, terminating
% 133.61/122.70 eprover: CPU time limit exceeded, terminating
% 135.81/124.72 eprover: CPU time limit exceeded, terminating
% 138.02/126.74 eprover: CPU time limit exceeded, terminating
% 140.25/128.76 eprover: CPU time limit exceeded, terminating
% 142.46/130.78 eprover: CPU time limit exceeded, terminating
% 144.66/132.80 eprover: CPU time limit exceeded, terminating
% 146.83/134.82 eprover: CPU time limit exceeded, terminating
% 149.06/136.84 eprover: CPU time limit exceeded, terminating
% 151.26/138.86 eprover: CPU time limit exceeded, terminating
% 153.44/140.87 eprover: CPU time limit exceeded, terminating
% 155.65/142.89 eprover: CPU time limit exceeded, terminating
% 157.92/144.91 eprover: CPU time limit exceeded, terminating
% 160.09/146.93 eprover: CPU time limit exceeded, terminating
% 162.28/148.95 eprover: CPU time limit exceeded, terminating
% 164.48/150.97 eprover: CPU time limit exceeded, terminating
% 166.73/152.99 eprover: CPU time limit exceeded, terminating
% 168.85/155.01 eprover: CPU time limit exceeded, terminating
% 171.14/157.03 eprover: CPU time limit exceeded, terminating
% 173.32/159.05 eprover: CPU time limit exceeded, terminating
% 175.49/161.07 eprover: CPU time limit exceeded, terminating
% 177.79/163.09 eprover: CPU time limit exceeded, terminating
% 179.92/165.11 eprover: CPU time limit exceeded, terminating
% 182.18/167.12 eprover: CPU time limit exceeded, terminating
% 184.37/169.14 eprover: CPU time limit exceeded, terminating
% 186.54/171.16 eprover: CPU time limit exceeded, terminating
% 188.75/173.18 eprover: CPU time limit exceeded, terminating
% 190.97/175.20 eprover: CPU time limit exceeded, terminating
% 193.21/177.22 eprover: CPU time limit exceeded, terminating
% 195.44/179.24 eprover: CPU time limit exceeded, terminating
% 197.60/181.26 eprover: CPU time limit exceeded, terminating
% 199.80/183.28 eprover: CPU time limit exceeded, terminating
% 202.00/185.30 eprover: CPU time limit exceeded, terminating
% 204.29/187.32 eprover: CPU time limit exceeded, terminating
% 206.44/189.33 eprover: CPU time limit exceeded, terminating
% 208.65/191.35 eprover: CPU time limit exceeded, terminating
% 210.85/193.38 eprover: CPU time limit exceeded, terminating
% 213.11/195.39 eprover: CPU time limit exceeded, terminating
% 215.29/197.41 eprover: CPU time limit exceeded, terminating
% 217.51/199.43 eprover: CPU time limit exceeded, terminating
% 219.70/201.45 eprover: CPU time limit exceeded, terminating
% 221.85/203.47 eprover: CPU time limit exceeded, terminating
% 224.16/205.49 eprover: CPU time limit exceeded, terminating
% 226.33/207.51 eprover: CPU time limit exceeded, terminating
% 228.56/209.53 eprover: CPU time limit exceeded, terminating
% 230.77/211.55 eprover: CPU time limit exceeded, terminating
% 232.92/213.57 eprover: CPU time limit exceeded, terminating
% 235.14/215.59 eprover: CPU time limit exceeded, terminating
% 237.39/217.61 eprover: CPU time limit exceeded, terminating
% 239.59/219.63 eprover: CPU time limit exceeded, terminating
% 241.78/221.64 eprover: CPU time limit exceeded, terminating
% 243.98/223.66 eprover: CPU time limit exceeded, terminating
% 246.24/225.68 eprover: CPU time limit exceeded, terminating
% 248.45/227.70 eprover: CPU time limit exceeded, terminating
% 250.66/229.72 eprover: CPU time limit exceeded, terminating
% 252.83/231.74 eprover: CPU time limit exceeded, terminating
% 255.01/233.76 eprover: CPU time limit exceeded, terminating
% 257.20/235.78 eprover: CPU time limit exceeded, terminating
% 259.49/237.80 eprover: CPU time limit exceeded, terminating
% 261.68/239.82 eprover: CPU time limit exceeded, terminating
% 263.90/241.84 eprover: CPU time limit exceeded, terminating
% 266.06/243.86 eprover: CPU time limit exceeded, terminating
% 268.25/245.88 eprover: CPU time limit exceeded, terminating
% 270.45/247.90 eprover: CPU time limit exceeded, terminating
% 272.76/249.92 eprover: CPU time limit exceeded, terminating
% 274.90/251.94 eprover: CPU time limit exceeded, terminating
% 277.12/253.96 eprover: CPU time limit exceeded, terminating
% 279.31/255.97 eprover: CPU time limit exceeded, terminating
% 281.56/257.99 eprover: CPU time limit exceeded, terminating
% 283.75/260.01 eprover: CPU time limit exceeded, terminating
% 285.96/262.03 eprover: CPU time limit exceeded, terminating
% 288.14/264.04 eprover: CPU time limit exceeded, terminating
% 290.28/266.06 eprover: CPU time limit exceeded, terminating
% 292.50/268.07 eprover: CPU time limit exceeded, terminating
% 294.69/270.09 eprover: CPU time limit exceeded, terminating
% 296.97/272.10 eprover: CPU time limit exceeded, terminating
% 299.14/274.12 eprover: CPU time limit exceeded, terminating
% 300.11/274.92 eprover: CPU time limit exceeded, terminating
% 300.11/274.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------