TSTP Solution File: HWV114+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV114+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:40 EDT 2022
% Result : Timeout 286.81s 279.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV114+1 : TPTP v8.1.0. Released v6.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n022.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 17 05:22:17 EDT 2022
% 0.13/0.33 % CPUTime :
% 3.92/4.06 eprover: CPU time limit exceeded, terminating
% 5.94/6.07 eprover: CPU time limit exceeded, terminating
% 8.04/8.08 eprover: CPU time limit exceeded, terminating
% 10.07/10.09 eprover: CPU time limit exceeded, terminating
% 12.13/12.10 eprover: CPU time limit exceeded, terminating
% 14.25/14.11 eprover: CPU time limit exceeded, terminating
% 16.31/16.12 eprover: CPU time limit exceeded, terminating
% 18.30/18.13 eprover: CPU time limit exceeded, terminating
% 20.45/20.14 eprover: CPU time limit exceeded, terminating
% 22.50/22.15 eprover: CPU time limit exceeded, terminating
% 24.51/24.16 eprover: CPU time limit exceeded, terminating
% 26.66/26.17 eprover: CPU time limit exceeded, terminating
% 28.71/28.18 eprover: CPU time limit exceeded, terminating
% 30.74/30.19 eprover: CPU time limit exceeded, terminating
% 32.85/32.20 eprover: CPU time limit exceeded, terminating
% 34.85/34.21 eprover: CPU time limit exceeded, terminating
% 36.97/36.22 eprover: CPU time limit exceeded, terminating
% 39.01/38.23 eprover: CPU time limit exceeded, terminating
% 41.09/40.24 eprover: CPU time limit exceeded, terminating
% 43.16/42.25 eprover: CPU time limit exceeded, terminating
% 45.19/44.25 eprover: CPU time limit exceeded, terminating
% 47.19/46.26 eprover: CPU time limit exceeded, terminating
% 49.31/48.27 eprover: CPU time limit exceeded, terminating
% 51.42/50.28 eprover: CPU time limit exceeded, terminating
% 53.44/52.29 eprover: CPU time limit exceeded, terminating
% 55.56/54.30 eprover: CPU time limit exceeded, terminating
% 57.64/56.31 eprover: CPU time limit exceeded, terminating
% 59.69/58.32 eprover: CPU time limit exceeded, terminating
% 61.69/60.33 eprover: CPU time limit exceeded, terminating
% 63.78/62.34 eprover: CPU time limit exceeded, terminating
% 65.89/64.35 eprover: CPU time limit exceeded, terminating
% 67.96/66.36 eprover: CPU time limit exceeded, terminating
% 69.98/68.37 eprover: CPU time limit exceeded, terminating
% 72.08/70.38 eprover: CPU time limit exceeded, terminating
% 74.12/72.39 eprover: CPU time limit exceeded, terminating
% 76.21/74.40 eprover: CPU time limit exceeded, terminating
% 78.24/76.41 eprover: CPU time limit exceeded, terminating
% 80.37/78.42 eprover: CPU time limit exceeded, terminating
% 82.37/80.43 eprover: CPU time limit exceeded, terminating
% 84.45/82.44 eprover: CPU time limit exceeded, terminating
% 86.57/84.45 eprover: CPU time limit exceeded, terminating
% 88.62/86.46 eprover: CPU time limit exceeded, terminating
% 90.70/88.47 eprover: CPU time limit exceeded, terminating
% 92.75/90.48 eprover: CPU time limit exceeded, terminating
% 94.82/92.49 eprover: CPU time limit exceeded, terminating
% 96.87/94.50 eprover: CPU time limit exceeded, terminating
% 98.96/96.51 eprover: CPU time limit exceeded, terminating
% 100.98/98.52 eprover: CPU time limit exceeded, terminating
% 103.06/100.53 eprover: CPU time limit exceeded, terminating
% 105.16/102.54 eprover: CPU time limit exceeded, terminating
% 107.15/104.55 eprover: CPU time limit exceeded, terminating
% 109.26/106.56 eprover: CPU time limit exceeded, terminating
% 111.36/108.57 eprover: CPU time limit exceeded, terminating
% 113.40/110.58 eprover: CPU time limit exceeded, terminating
% 115.45/112.59 eprover: CPU time limit exceeded, terminating
% 117.53/114.60 eprover: CPU time limit exceeded, terminating
% 119.57/116.61 eprover: CPU time limit exceeded, terminating
% 121.67/118.62 eprover: CPU time limit exceeded, terminating
% 123.76/120.63 eprover: CPU time limit exceeded, terminating
% 125.73/122.64 eprover: CPU time limit exceeded, terminating
% 127.86/124.65 eprover: CPU time limit exceeded, terminating
% 129.91/126.66 eprover: CPU time limit exceeded, terminating
% 132.00/128.67 eprover: CPU time limit exceeded, terminating
% 134.08/130.68 eprover: CPU time limit exceeded, terminating
% 136.12/132.69 eprover: CPU time limit exceeded, terminating
% 138.21/134.70 eprover: CPU time limit exceeded, terminating
% 140.27/136.71 eprover: CPU time limit exceeded, terminating
% 142.33/138.72 eprover: CPU time limit exceeded, terminating
% 144.38/140.73 eprover: CPU time limit exceeded, terminating
% 146.45/142.74 eprover: CPU time limit exceeded, terminating
% 148.50/144.75 eprover: CPU time limit exceeded, terminating
% 150.59/146.76 eprover: CPU time limit exceeded, terminating
% 152.68/148.77 eprover: CPU time limit exceeded, terminating
% 154.71/150.78 eprover: CPU time limit exceeded, terminating
% 156.75/152.79 eprover: CPU time limit exceeded, terminating
% 158.86/154.80 eprover: CPU time limit exceeded, terminating
% 160.90/156.81 eprover: CPU time limit exceeded, terminating
% 162.98/158.82 eprover: CPU time limit exceeded, terminating
% 165.03/160.83 eprover: CPU time limit exceeded, terminating
% 167.10/162.84 eprover: CPU time limit exceeded, terminating
% 169.15/164.85 eprover: CPU time limit exceeded, terminating
% 171.23/166.86 eprover: CPU time limit exceeded, terminating
% 173.33/168.87 eprover: CPU time limit exceeded, terminating
% 175.40/170.88 eprover: CPU time limit exceeded, terminating
% 177.43/172.89 eprover: CPU time limit exceeded, terminating
% 179.49/174.90 eprover: CPU time limit exceeded, terminating
% 181.59/176.91 eprover: CPU time limit exceeded, terminating
% 183.61/178.92 eprover: CPU time limit exceeded, terminating
% 185.74/180.93 eprover: CPU time limit exceeded, terminating
% 187.76/182.94 eprover: CPU time limit exceeded, terminating
% 189.85/184.95 eprover: CPU time limit exceeded, terminating
% 191.88/186.96 eprover: CPU time limit exceeded, terminating
% 193.98/188.97 eprover: CPU time limit exceeded, terminating
% 196.06/190.98 eprover: CPU time limit exceeded, terminating
% 198.08/192.99 eprover: CPU time limit exceeded, terminating
% 200.16/195.00 eprover: CPU time limit exceeded, terminating
% 202.18/197.01 eprover: CPU time limit exceeded, terminating
% 204.28/199.02 eprover: CPU time limit exceeded, terminating
% 206.35/201.03 eprover: CPU time limit exceeded, terminating
% 208.37/203.04 eprover: CPU time limit exceeded, terminating
% 210.51/205.05 eprover: CPU time limit exceeded, terminating
% 212.57/207.06 eprover: CPU time limit exceeded, terminating
% 214.62/209.07 eprover: CPU time limit exceeded, terminating
% 216.68/211.08 eprover: CPU time limit exceeded, terminating
% 218.75/213.09 eprover: CPU time limit exceeded, terminating
% 220.82/215.10 eprover: CPU time limit exceeded, terminating
% 222.90/217.11 eprover: CPU time limit exceeded, terminating
% 224.98/219.12 eprover: CPU time limit exceeded, terminating
% 227.06/221.13 eprover: CPU time limit exceeded, terminating
% 229.08/223.14 eprover: CPU time limit exceeded, terminating
% 231.17/225.15 eprover: CPU time limit exceeded, terminating
% 233.26/227.16 eprover: CPU time limit exceeded, terminating
% 235.32/229.17 eprover: CPU time limit exceeded, terminating
% 237.36/231.18 eprover: CPU time limit exceeded, terminating
% 239.38/233.19 eprover: CPU time limit exceeded, terminating
% 241.45/235.21 eprover: CPU time limit exceeded, terminating
% 243.45/237.22 eprover: CPU time limit exceeded, terminating
% 245.51/239.23 eprover: CPU time limit exceeded, terminating
% 247.65/241.24 eprover: CPU time limit exceeded, terminating
% 249.62/243.24 eprover: CPU time limit exceeded, terminating
% 251.77/245.25 eprover: CPU time limit exceeded, terminating
% 253.84/247.26 eprover: CPU time limit exceeded, terminating
% 255.91/249.27 eprover: CPU time limit exceeded, terminating
% 257.94/251.28 eprover: CPU time limit exceeded, terminating
% 259.99/253.30 eprover: CPU time limit exceeded, terminating
% 262.12/255.31 eprover: CPU time limit exceeded, terminating
% 264.16/257.31 eprover: CPU time limit exceeded, terminating
% 266.21/259.32 eprover: CPU time limit exceeded, terminating
% 268.25/261.33 eprover: CPU time limit exceeded, terminating
% 270.28/263.34 eprover: CPU time limit exceeded, terminating
% 272.39/265.35 eprover: CPU time limit exceeded, terminating
% 274.40/267.36 eprover: CPU time limit exceeded, terminating
% 276.53/269.37 eprover: CPU time limit exceeded, terminating
% 278.57/271.38 eprover: CPU time limit exceeded, terminating
% 280.65/273.39 eprover: CPU time limit exceeded, terminating
% 282.70/275.40 eprover: CPU time limit exceeded, terminating
% 284.74/277.41 eprover: CPU time limit exceeded, terminating
% 286.81/279.42 eprover: CPU time limit exceeded, terminating
% 288.90/281.43 eprover: CPU time limit exceeded, terminating
% 291.00/283.44 eprover: CPU time limit exceeded, terminating
% 293.02/285.45 eprover: CPU time limit exceeded, terminating
% 295.14/287.46 eprover: CPU time limit exceeded, terminating
% 297.20/289.47 eprover: CPU time limit exceeded, terminating
% 299.24/291.48 eprover: CPU time limit exceeded, terminating
% 300.10/292.25 eprover: CPU time limit exceeded, terminating
% 300.10/292.27 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------