TSTP Solution File: HWV052-1.005.004 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV052-1.005.004 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.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:02 EDT 2022
% Result : Timeout 286.41s 285.74s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : HWV052-1.005.004 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n005.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Fri Jun 17 08:20:53 EDT 2022
% 0.11/0.33 % CPUTime :
% 3.80/4.01 eprover: CPU time limit exceeded, terminating
% 5.84/6.02 eprover: CPU time limit exceeded, terminating
% 7.85/8.03 eprover: CPU time limit exceeded, terminating
% 9.84/10.04 eprover: CPU time limit exceeded, terminating
% 11.87/12.06 eprover: CPU time limit exceeded, terminating
% 13.89/14.07 eprover: CPU time limit exceeded, terminating
% 15.91/16.08 eprover: CPU time limit exceeded, terminating
% 17.95/18.09 eprover: CPU time limit exceeded, terminating
% 19.96/20.10 eprover: CPU time limit exceeded, terminating
% 21.96/22.12 eprover: CPU time limit exceeded, terminating
% 23.98/24.13 eprover: CPU time limit exceeded, terminating
% 25.99/26.14 eprover: CPU time limit exceeded, terminating
% 28.02/28.15 eprover: CPU time limit exceeded, terminating
% 30.05/30.16 eprover: CPU time limit exceeded, terminating
% 32.06/32.17 eprover: CPU time limit exceeded, terminating
% 34.07/34.18 eprover: CPU time limit exceeded, terminating
% 36.07/36.19 eprover: CPU time limit exceeded, terminating
% 38.10/38.21 eprover: CPU time limit exceeded, terminating
% 40.13/40.22 eprover: CPU time limit exceeded, terminating
% 42.12/42.24 eprover: CPU time limit exceeded, terminating
% 44.15/44.25 eprover: CPU time limit exceeded, terminating
% 46.14/46.26 eprover: CPU time limit exceeded, terminating
% 48.21/48.27 eprover: CPU time limit exceeded, terminating
% 50.23/50.28 eprover: CPU time limit exceeded, terminating
% 52.20/52.30 eprover: CPU time limit exceeded, terminating
% 54.23/54.31 eprover: CPU time limit exceeded, terminating
% 56.29/56.32 eprover: CPU time limit exceeded, terminating
% 58.26/58.33 eprover: CPU time limit exceeded, terminating
% 60.32/60.34 eprover: CPU time limit exceeded, terminating
% 62.28/62.35 eprover: CPU time limit exceeded, terminating
% 64.36/64.36 eprover: CPU time limit exceeded, terminating
% 66.39/66.37 eprover: CPU time limit exceeded, terminating
% 68.38/68.38 eprover: CPU time limit exceeded, terminating
% 70.39/70.39 eprover: CPU time limit exceeded, terminating
% 72.39/72.40 eprover: CPU time limit exceeded, terminating
% 74.39/74.41 eprover: CPU time limit exceeded, terminating
% 76.36/76.43 eprover: CPU time limit exceeded, terminating
% 78.49/78.45 eprover: CPU time limit exceeded, terminating
% 80.49/80.46 eprover: CPU time limit exceeded, terminating
% 82.52/82.47 eprover: CPU time limit exceeded, terminating
% 84.51/84.48 eprover: CPU time limit exceeded, terminating
% 86.55/86.49 eprover: CPU time limit exceeded, terminating
% 88.53/88.50 eprover: CPU time limit exceeded, terminating
% 90.56/90.51 eprover: CPU time limit exceeded, terminating
% 92.57/92.52 eprover: CPU time limit exceeded, terminating
% 94.61/94.54 eprover: CPU time limit exceeded, terminating
% 96.62/96.55 eprover: CPU time limit exceeded, terminating
% 98.61/98.56 eprover: CPU time limit exceeded, terminating
% 100.66/100.57 eprover: CPU time limit exceeded, terminating
% 102.70/102.58 eprover: CPU time limit exceeded, terminating
% 104.68/104.59 eprover: CPU time limit exceeded, terminating
% 106.71/106.60 eprover: CPU time limit exceeded, terminating
% 108.73/108.61 eprover: CPU time limit exceeded, terminating
% 110.78/110.62 eprover: CPU time limit exceeded, terminating
% 112.79/112.63 eprover: CPU time limit exceeded, terminating
% 114.75/114.64 eprover: CPU time limit exceeded, terminating
% 116.80/116.65 eprover: CPU time limit exceeded, terminating
% 118.82/118.66 eprover: CPU time limit exceeded, terminating
% 120.80/120.67 eprover: CPU time limit exceeded, terminating
% 122.82/122.68 eprover: CPU time limit exceeded, terminating
% 124.82/124.69 eprover: CPU time limit exceeded, terminating
% 126.86/126.71 eprover: CPU time limit exceeded, terminating
% 128.92/128.72 eprover: CPU time limit exceeded, terminating
% 130.94/130.74 eprover: CPU time limit exceeded, terminating
% 132.95/132.75 eprover: CPU time limit exceeded, terminating
% 134.95/134.76 eprover: CPU time limit exceeded, terminating
% 136.96/136.77 eprover: CPU time limit exceeded, terminating
% 138.99/138.78 eprover: CPU time limit exceeded, terminating
% 141.01/140.79 eprover: CPU time limit exceeded, terminating
% 143.06/142.80 eprover: CPU time limit exceeded, terminating
% 145.05/144.81 eprover: CPU time limit exceeded, terminating
% 147.08/146.82 eprover: CPU time limit exceeded, terminating
% 149.08/148.84 eprover: CPU time limit exceeded, terminating
% 151.10/150.85 eprover: CPU time limit exceeded, terminating
% 153.13/152.86 eprover: CPU time limit exceeded, terminating
% 155.12/154.87 eprover: CPU time limit exceeded, terminating
% 157.15/156.88 eprover: CPU time limit exceeded, terminating
% 159.15/158.89 eprover: CPU time limit exceeded, terminating
% 161.17/160.90 eprover: CPU time limit exceeded, terminating
% 163.24/162.91 eprover: CPU time limit exceeded, terminating
% 165.18/164.93 eprover: CPU time limit exceeded, terminating
% 167.19/166.94 eprover: CPU time limit exceeded, terminating
% 169.28/168.95 eprover: CPU time limit exceeded, terminating
% 171.29/170.96 eprover: CPU time limit exceeded, terminating
% 173.29/172.97 eprover: CPU time limit exceeded, terminating
% 175.31/174.98 eprover: CPU time limit exceeded, terminating
% 177.32/176.99 eprover: CPU time limit exceeded, terminating
% 179.35/179.01 eprover: CPU time limit exceeded, terminating
% 181.38/181.02 eprover: CPU time limit exceeded, terminating
% 183.39/183.03 eprover: CPU time limit exceeded, terminating
% 185.43/185.04 eprover: CPU time limit exceeded, terminating
% 187.46/187.06 eprover: CPU time limit exceeded, terminating
% 189.46/189.08 eprover: CPU time limit exceeded, terminating
% 191.43/191.10 eprover: CPU time limit exceeded, terminating
% 193.45/193.11 eprover: CPU time limit exceeded, terminating
% 195.54/195.13 eprover: CPU time limit exceeded, terminating
% 197.55/197.14 eprover: CPU time limit exceeded, terminating
% 199.57/199.16 eprover: CPU time limit exceeded, terminating
% 201.55/201.17 eprover: CPU time limit exceeded, terminating
% 203.57/203.19 eprover: CPU time limit exceeded, terminating
% 205.61/205.20 eprover: CPU time limit exceeded, terminating
% 207.63/207.22 eprover: CPU time limit exceeded, terminating
% 209.68/209.23 eprover: CPU time limit exceeded, terminating
% 211.60/211.24 eprover: CPU time limit exceeded, terminating
% 213.71/213.26 eprover: CPU time limit exceeded, terminating
% 215.70/215.27 eprover: CPU time limit exceeded, terminating
% 217.73/217.29 eprover: CPU time limit exceeded, terminating
% 219.75/219.30 eprover: CPU time limit exceeded, terminating
% 221.76/221.31 eprover: CPU time limit exceeded, terminating
% 223.76/223.32 eprover: CPU time limit exceeded, terminating
% 225.79/225.34 eprover: CPU time limit exceeded, terminating
% 227.79/227.36 eprover: CPU time limit exceeded, terminating
% 229.85/229.38 eprover: CPU time limit exceeded, terminating
% 231.85/231.40 eprover: CPU time limit exceeded, terminating
% 233.84/233.41 eprover: CPU time limit exceeded, terminating
% 235.83/235.43 eprover: CPU time limit exceeded, terminating
% 237.93/237.44 eprover: CPU time limit exceeded, terminating
% 239.95/239.45 eprover: CPU time limit exceeded, terminating
% 241.97/241.46 eprover: CPU time limit exceeded, terminating
% 243.99/243.48 eprover: CPU time limit exceeded, terminating
% 246.00/245.49 eprover: CPU time limit exceeded, terminating
% 247.99/247.50 eprover: CPU time limit exceeded, terminating
% 250.01/249.51 eprover: CPU time limit exceeded, terminating
% 252.00/251.52 eprover: CPU time limit exceeded, terminating
% 254.04/253.53 eprover: CPU time limit exceeded, terminating
% 256.11/255.55 eprover: CPU time limit exceeded, terminating
% 258.12/257.57 eprover: CPU time limit exceeded, terminating
% 260.09/259.58 eprover: CPU time limit exceeded, terminating
% 262.16/261.59 eprover: CPU time limit exceeded, terminating
% 264.14/263.60 eprover: CPU time limit exceeded, terminating
% 266.18/265.61 eprover: CPU time limit exceeded, terminating
% 268.22/267.63 eprover: CPU time limit exceeded, terminating
% 270.24/269.64 eprover: CPU time limit exceeded, terminating
% 272.28/271.65 eprover: CPU time limit exceeded, terminating
% 274.27/273.67 eprover: CPU time limit exceeded, terminating
% 276.29/275.68 eprover: CPU time limit exceeded, terminating
% 278.28/277.69 eprover: CPU time limit exceeded, terminating
% 280.35/279.70 eprover: CPU time limit exceeded, terminating
% 282.37/281.72 eprover: CPU time limit exceeded, terminating
% 284.38/283.73 eprover: CPU time limit exceeded, terminating
% 286.41/285.74 eprover: CPU time limit exceeded, terminating
% 288.38/287.75 eprover: CPU time limit exceeded, terminating
% 290.43/289.77 eprover: CPU time limit exceeded, terminating
% 292.48/291.78 eprover: CPU time limit exceeded, terminating
% 294.45/293.79 eprover: CPU time limit exceeded, terminating
% 296.47/295.81 eprover: CPU time limit exceeded, terminating
% 298.49/297.83 eprover: CPU time limit exceeded, terminating
% 300.02/299.29 eprover: CPU time limit exceeded, terminating
% 300.02/299.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------