TSTP Solution File: HWV116+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV116+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:42 EDT 2022
% Result : Timeout 287.29s 279.64s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : HWV116+1 : TPTP v8.1.0. Released v6.1.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n008.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 17 03:03:07 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.94/4.07 eprover: CPU time limit exceeded, terminating
% 5.99/6.09 eprover: CPU time limit exceeded, terminating
% 8.06/8.10 eprover: CPU time limit exceeded, terminating
% 10.12/10.11 eprover: CPU time limit exceeded, terminating
% 12.17/12.12 eprover: CPU time limit exceeded, terminating
% 14.20/14.13 eprover: CPU time limit exceeded, terminating
% 16.34/16.14 eprover: CPU time limit exceeded, terminating
% 18.40/18.15 eprover: CPU time limit exceeded, terminating
% 20.45/20.16 eprover: CPU time limit exceeded, terminating
% 22.55/22.18 eprover: CPU time limit exceeded, terminating
% 24.62/24.19 eprover: CPU time limit exceeded, terminating
% 26.67/26.20 eprover: CPU time limit exceeded, terminating
% 28.74/28.21 eprover: CPU time limit exceeded, terminating
% 30.77/30.22 eprover: CPU time limit exceeded, terminating
% 32.91/32.23 eprover: CPU time limit exceeded, terminating
% 34.92/34.24 eprover: CPU time limit exceeded, terminating
% 37.03/36.25 eprover: CPU time limit exceeded, terminating
% 39.11/38.26 eprover: CPU time limit exceeded, terminating
% 41.15/40.28 eprover: CPU time limit exceeded, terminating
% 43.23/42.29 eprover: CPU time limit exceeded, terminating
% 45.27/44.30 eprover: CPU time limit exceeded, terminating
% 47.36/46.32 eprover: CPU time limit exceeded, terminating
% 49.40/48.33 eprover: CPU time limit exceeded, terminating
% 51.49/50.34 eprover: CPU time limit exceeded, terminating
% 53.59/52.35 eprover: CPU time limit exceeded, terminating
% 55.66/54.36 eprover: CPU time limit exceeded, terminating
% 57.70/56.37 eprover: CPU time limit exceeded, terminating
% 59.79/58.38 eprover: CPU time limit exceeded, terminating
% 61.86/60.40 eprover: CPU time limit exceeded, terminating
% 63.88/62.41 eprover: CPU time limit exceeded, terminating
% 65.95/64.42 eprover: CPU time limit exceeded, terminating
% 68.01/66.43 eprover: CPU time limit exceeded, terminating
% 70.13/68.44 eprover: CPU time limit exceeded, terminating
% 72.19/70.45 eprover: CPU time limit exceeded, terminating
% 74.25/72.46 eprover: CPU time limit exceeded, terminating
% 76.32/74.48 eprover: CPU time limit exceeded, terminating
% 78.39/76.49 eprover: CPU time limit exceeded, terminating
% 80.45/78.50 eprover: CPU time limit exceeded, terminating
% 82.55/80.51 eprover: CPU time limit exceeded, terminating
% 84.59/82.52 eprover: CPU time limit exceeded, terminating
% 86.61/84.53 eprover: CPU time limit exceeded, terminating
% 88.75/86.54 eprover: CPU time limit exceeded, terminating
% 90.82/88.55 eprover: CPU time limit exceeded, terminating
% 92.87/90.57 eprover: CPU time limit exceeded, terminating
% 94.95/92.58 eprover: CPU time limit exceeded, terminating
% 97.01/94.59 eprover: CPU time limit exceeded, terminating
% 99.07/96.60 eprover: CPU time limit exceeded, terminating
% 101.12/98.61 eprover: CPU time limit exceeded, terminating
% 103.17/100.62 eprover: CPU time limit exceeded, terminating
% 105.22/102.63 eprover: CPU time limit exceeded, terminating
% 107.31/104.64 eprover: CPU time limit exceeded, terminating
% 109.42/106.65 eprover: CPU time limit exceeded, terminating
% 111.51/108.66 eprover: CPU time limit exceeded, terminating
% 113.56/110.68 eprover: CPU time limit exceeded, terminating
% 115.62/112.69 eprover: CPU time limit exceeded, terminating
% 117.66/114.70 eprover: CPU time limit exceeded, terminating
% 119.76/116.71 eprover: CPU time limit exceeded, terminating
% 121.82/118.72 eprover: CPU time limit exceeded, terminating
% 123.90/120.73 eprover: CPU time limit exceeded, terminating
% 125.94/122.74 eprover: CPU time limit exceeded, terminating
% 127.98/124.75 eprover: CPU time limit exceeded, terminating
% 130.11/126.77 eprover: CPU time limit exceeded, terminating
% 132.18/128.78 eprover: CPU time limit exceeded, terminating
% 134.22/130.79 eprover: CPU time limit exceeded, terminating
% 136.27/132.80 eprover: CPU time limit exceeded, terminating
% 138.35/134.81 eprover: CPU time limit exceeded, terminating
% 140.45/136.82 eprover: CPU time limit exceeded, terminating
% 142.52/138.84 eprover: CPU time limit exceeded, terminating
% 144.58/140.85 eprover: CPU time limit exceeded, terminating
% 146.68/142.86 eprover: CPU time limit exceeded, terminating
% 148.74/144.87 eprover: CPU time limit exceeded, terminating
% 150.81/146.88 eprover: CPU time limit exceeded, terminating
% 152.84/148.89 eprover: CPU time limit exceeded, terminating
% 154.95/150.90 eprover: CPU time limit exceeded, terminating
% 156.99/152.92 eprover: CPU time limit exceeded, terminating
% 159.01/154.93 eprover: CPU time limit exceeded, terminating
% 161.14/156.94 eprover: CPU time limit exceeded, terminating
% 163.16/158.95 eprover: CPU time limit exceeded, terminating
% 165.25/160.96 eprover: CPU time limit exceeded, terminating
% 167.36/162.97 eprover: CPU time limit exceeded, terminating
% 169.40/164.99 eprover: CPU time limit exceeded, terminating
% 171.49/167.00 eprover: CPU time limit exceeded, terminating
% 173.57/169.01 eprover: CPU time limit exceeded, terminating
% 175.63/171.02 eprover: CPU time limit exceeded, terminating
% 177.68/173.03 eprover: CPU time limit exceeded, terminating
% 179.73/175.04 eprover: CPU time limit exceeded, terminating
% 181.84/177.05 eprover: CPU time limit exceeded, terminating
% 183.93/179.07 eprover: CPU time limit exceeded, terminating
% 185.94/181.08 eprover: CPU time limit exceeded, terminating
% 188.02/183.09 eprover: CPU time limit exceeded, terminating
% 190.04/185.11 eprover: CPU time limit exceeded, terminating
% 192.15/187.12 eprover: CPU time limit exceeded, terminating
% 194.26/189.13 eprover: CPU time limit exceeded, terminating
% 196.30/191.14 eprover: CPU time limit exceeded, terminating
% 198.40/193.15 eprover: CPU time limit exceeded, terminating
% 200.45/195.16 eprover: CPU time limit exceeded, terminating
% 202.53/197.17 eprover: CPU time limit exceeded, terminating
% 204.60/199.19 eprover: CPU time limit exceeded, terminating
% 206.63/201.20 eprover: CPU time limit exceeded, terminating
% 208.70/203.21 eprover: CPU time limit exceeded, terminating
% 210.78/205.22 eprover: CPU time limit exceeded, terminating
% 212.85/207.23 eprover: CPU time limit exceeded, terminating
% 214.92/209.24 eprover: CPU time limit exceeded, terminating
% 216.93/211.26 eprover: CPU time limit exceeded, terminating
% 219.02/213.27 eprover: CPU time limit exceeded, terminating
% 221.13/215.28 eprover: CPU time limit exceeded, terminating
% 223.21/217.29 eprover: CPU time limit exceeded, terminating
% 225.24/219.30 eprover: CPU time limit exceeded, terminating
% 227.33/221.31 eprover: CPU time limit exceeded, terminating
% 229.40/223.32 eprover: CPU time limit exceeded, terminating
% 231.49/225.33 eprover: CPU time limit exceeded, terminating
% 233.50/227.34 eprover: CPU time limit exceeded, terminating
% 235.61/229.36 eprover: CPU time limit exceeded, terminating
% 237.64/231.37 eprover: CPU time limit exceeded, terminating
% 239.74/233.38 eprover: CPU time limit exceeded, terminating
% 241.82/235.39 eprover: CPU time limit exceeded, terminating
% 243.84/237.40 eprover: CPU time limit exceeded, terminating
% 245.96/239.42 eprover: CPU time limit exceeded, terminating
% 248.05/241.43 eprover: CPU time limit exceeded, terminating
% 250.05/243.44 eprover: CPU time limit exceeded, terminating
% 252.19/245.45 eprover: CPU time limit exceeded, terminating
% 254.26/247.46 eprover: CPU time limit exceeded, terminating
% 256.30/249.48 eprover: CPU time limit exceeded, terminating
% 258.40/251.49 eprover: CPU time limit exceeded, terminating
% 260.41/253.50 eprover: CPU time limit exceeded, terminating
% 262.50/255.51 eprover: CPU time limit exceeded, terminating
% 264.54/257.52 eprover: CPU time limit exceeded, terminating
% 266.59/259.53 eprover: CPU time limit exceeded, terminating
% 268.73/261.54 eprover: CPU time limit exceeded, terminating
% 270.80/263.55 eprover: CPU time limit exceeded, terminating
% 272.84/265.56 eprover: CPU time limit exceeded, terminating
% 274.89/267.57 eprover: CPU time limit exceeded, terminating
% 276.95/269.59 eprover: CPU time limit exceeded, terminating
% 279.00/271.60 eprover: CPU time limit exceeded, terminating
% 281.12/273.61 eprover: CPU time limit exceeded, terminating
% 283.19/275.62 eprover: CPU time limit exceeded, terminating
% 285.25/277.63 eprover: CPU time limit exceeded, terminating
% 287.29/279.64 eprover: CPU time limit exceeded, terminating
% 289.37/281.65 eprover: CPU time limit exceeded, terminating
% 291.42/283.67 eprover: CPU time limit exceeded, terminating
% 293.50/285.68 eprover: CPU time limit exceeded, terminating
% 295.61/287.69 eprover: CPU time limit exceeded, terminating
% 297.63/289.70 eprover: CPU time limit exceeded, terminating
% 299.76/291.71 eprover: CPU time limit exceeded, terminating
% 300.08/292.03 eprover: CPU time limit exceeded, terminating
% 300.08/292.05 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------