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 : n023.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 285.83s 271.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : HWV114-1 : TPTP v8.1.0. Released v6.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n023.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 01:32:04 EDT 2022
% 0.11/0.33 % CPUTime :
% 4.12/4.23 eprover: CPU time limit exceeded, terminating
% 6.23/6.24 eprover: CPU time limit exceeded, terminating
% 8.38/8.25 eprover: CPU time limit exceeded, terminating
% 10.48/10.26 eprover: CPU time limit exceeded, terminating
% 12.63/12.27 eprover: CPU time limit exceeded, terminating
% 14.73/14.28 eprover: CPU time limit exceeded, terminating
% 16.84/16.29 eprover: CPU time limit exceeded, terminating
% 19.00/18.30 eprover: CPU time limit exceeded, terminating
% 21.07/20.31 eprover: CPU time limit exceeded, terminating
% 23.19/22.32 eprover: CPU time limit exceeded, terminating
% 25.34/24.33 eprover: CPU time limit exceeded, terminating
% 27.42/26.33 eprover: CPU time limit exceeded, terminating
% 29.55/28.34 eprover: CPU time limit exceeded, terminating
% 31.66/30.35 eprover: CPU time limit exceeded, terminating
% 33.74/32.36 eprover: CPU time limit exceeded, terminating
% 35.92/34.37 eprover: CPU time limit exceeded, terminating
% 38.06/36.38 eprover: CPU time limit exceeded, terminating
% 40.13/38.39 eprover: CPU time limit exceeded, terminating
% 42.27/40.40 eprover: CPU time limit exceeded, terminating
% 44.35/42.41 eprover: CPU time limit exceeded, terminating
% 46.52/44.42 eprover: CPU time limit exceeded, terminating
% 48.66/46.43 eprover: CPU time limit exceeded, terminating
% 50.74/48.44 eprover: CPU time limit exceeded, terminating
% 52.90/50.45 eprover: CPU time limit exceeded, terminating
% 54.96/52.46 eprover: CPU time limit exceeded, terminating
% 57.12/54.47 eprover: CPU time limit exceeded, terminating
% 59.23/56.48 eprover: CPU time limit exceeded, terminating
% 61.39/58.49 eprover: CPU time limit exceeded, terminating
% 63.51/60.50 eprover: CPU time limit exceeded, terminating
% 65.58/62.51 eprover: CPU time limit exceeded, terminating
% 67.68/64.52 eprover: CPU time limit exceeded, terminating
% 69.77/66.53 eprover: CPU time limit exceeded, terminating
% 71.98/68.53 eprover: CPU time limit exceeded, terminating
% 74.08/70.54 eprover: CPU time limit exceeded, terminating
% 76.21/72.55 eprover: CPU time limit exceeded, terminating
% 78.34/74.56 eprover: CPU time limit exceeded, terminating
% 80.43/76.57 eprover: CPU time limit exceeded, terminating
% 82.56/78.58 eprover: CPU time limit exceeded, terminating
% 84.66/80.59 eprover: CPU time limit exceeded, terminating
% 86.76/82.60 eprover: CPU time limit exceeded, terminating
% 88.89/84.61 eprover: CPU time limit exceeded, terminating
% 90.96/86.62 eprover: CPU time limit exceeded, terminating
% 93.08/88.63 eprover: CPU time limit exceeded, terminating
% 95.27/90.65 eprover: CPU time limit exceeded, terminating
% 97.39/92.65 eprover: CPU time limit exceeded, terminating
% 99.48/94.66 eprover: CPU time limit exceeded, terminating
% 101.61/96.67 eprover: CPU time limit exceeded, terminating
% 103.72/98.68 eprover: CPU time limit exceeded, terminating
% 105.82/100.69 eprover: CPU time limit exceeded, terminating
% 107.94/102.70 eprover: CPU time limit exceeded, terminating
% 110.09/104.71 eprover: CPU time limit exceeded, terminating
% 112.20/106.72 eprover: CPU time limit exceeded, terminating
% 114.29/108.73 eprover: CPU time limit exceeded, terminating
% 116.41/110.74 eprover: CPU time limit exceeded, terminating
% 118.58/112.75 eprover: CPU time limit exceeded, terminating
% 120.65/114.76 eprover: CPU time limit exceeded, terminating
% 122.80/116.77 eprover: CPU time limit exceeded, terminating
% 124.93/118.78 eprover: CPU time limit exceeded, terminating
% 127.01/120.79 eprover: CPU time limit exceeded, terminating
% 129.14/122.80 eprover: CPU time limit exceeded, terminating
% 131.26/124.81 eprover: CPU time limit exceeded, terminating
% 133.34/126.82 eprover: CPU time limit exceeded, terminating
% 135.52/128.83 eprover: CPU time limit exceeded, terminating
% 137.64/130.84 eprover: CPU time limit exceeded, terminating
% 139.76/132.85 eprover: CPU time limit exceeded, terminating
% 141.83/134.86 eprover: CPU time limit exceeded, terminating
% 143.99/136.87 eprover: CPU time limit exceeded, terminating
% 146.12/138.88 eprover: CPU time limit exceeded, terminating
% 148.22/140.89 eprover: CPU time limit exceeded, terminating
% 150.32/142.90 eprover: CPU time limit exceeded, terminating
% 152.45/144.91 eprover: CPU time limit exceeded, terminating
% 154.53/146.92 eprover: CPU time limit exceeded, terminating
% 156.71/148.93 eprover: CPU time limit exceeded, terminating
% 158.82/150.94 eprover: CPU time limit exceeded, terminating
% 160.94/152.95 eprover: CPU time limit exceeded, terminating
% 163.02/154.96 eprover: CPU time limit exceeded, terminating
% 165.16/156.97 eprover: CPU time limit exceeded, terminating
% 167.29/158.98 eprover: CPU time limit exceeded, terminating
% 169.37/160.99 eprover: CPU time limit exceeded, terminating
% 171.53/163.00 eprover: CPU time limit exceeded, terminating
% 173.58/165.01 eprover: CPU time limit exceeded, terminating
% 175.75/167.02 eprover: CPU time limit exceeded, terminating
% 177.87/169.03 eprover: CPU time limit exceeded, terminating
% 180.00/171.04 eprover: CPU time limit exceeded, terminating
% 182.12/173.05 eprover: CPU time limit exceeded, terminating
% 184.22/175.06 eprover: CPU time limit exceeded, terminating
% 186.36/177.06 eprover: CPU time limit exceeded, terminating
% 188.44/179.07 eprover: CPU time limit exceeded, terminating
% 190.58/181.08 eprover: CPU time limit exceeded, terminating
% 192.69/183.09 eprover: CPU time limit exceeded, terminating
% 194.81/185.10 eprover: CPU time limit exceeded, terminating
% 196.96/187.11 eprover: CPU time limit exceeded, terminating
% 199.07/189.12 eprover: CPU time limit exceeded, terminating
% 201.10/191.13 eprover: CPU time limit exceeded, terminating
% 203.31/193.14 eprover: CPU time limit exceeded, terminating
% 205.41/195.15 eprover: CPU time limit exceeded, terminating
% 207.55/197.16 eprover: CPU time limit exceeded, terminating
% 209.66/199.17 eprover: CPU time limit exceeded, terminating
% 211.75/201.19 eprover: CPU time limit exceeded, terminating
% 213.83/203.20 eprover: CPU time limit exceeded, terminating
% 216.02/205.21 eprover: CPU time limit exceeded, terminating
% 218.07/207.22 eprover: CPU time limit exceeded, terminating
% 220.23/209.23 eprover: CPU time limit exceeded, terminating
% 222.36/211.24 eprover: CPU time limit exceeded, terminating
% 224.49/213.25 eprover: CPU time limit exceeded, terminating
% 226.61/215.26 eprover: CPU time limit exceeded, terminating
% 228.72/217.27 eprover: CPU time limit exceeded, terminating
% 230.83/219.28 eprover: CPU time limit exceeded, terminating
% 232.94/221.29 eprover: CPU time limit exceeded, terminating
% 235.08/223.30 eprover: CPU time limit exceeded, terminating
% 237.17/225.31 eprover: CPU time limit exceeded, terminating
% 239.25/227.32 eprover: CPU time limit exceeded, terminating
% 241.40/229.33 eprover: CPU time limit exceeded, terminating
% 243.49/231.34 eprover: CPU time limit exceeded, terminating
% 245.64/233.35 eprover: CPU time limit exceeded, terminating
% 247.79/235.36 eprover: CPU time limit exceeded, terminating
% 249.90/237.36 eprover: CPU time limit exceeded, terminating
% 252.01/239.37 eprover: CPU time limit exceeded, terminating
% 254.13/241.38 eprover: CPU time limit exceeded, terminating
% 256.26/243.39 eprover: CPU time limit exceeded, terminating
% 258.32/245.40 eprover: CPU time limit exceeded, terminating
% 260.44/247.41 eprover: CPU time limit exceeded, terminating
% 262.58/249.42 eprover: CPU time limit exceeded, terminating
% 264.72/251.43 eprover: CPU time limit exceeded, terminating
% 266.83/253.44 eprover: CPU time limit exceeded, terminating
% 268.90/255.45 eprover: CPU time limit exceeded, terminating
% 271.06/257.46 eprover: CPU time limit exceeded, terminating
% 273.19/259.47 eprover: CPU time limit exceeded, terminating
% 275.31/261.48 eprover: CPU time limit exceeded, terminating
% 277.43/263.48 eprover: CPU time limit exceeded, terminating
% 279.51/265.49 eprover: CPU time limit exceeded, terminating
% 281.60/267.50 eprover: CPU time limit exceeded, terminating
% 283.75/269.51 eprover: CPU time limit exceeded, terminating
% 285.83/271.52 eprover: CPU time limit exceeded, terminating
% 288.00/273.53 eprover: CPU time limit exceeded, terminating
% 290.08/275.54 eprover: CPU time limit exceeded, terminating
% 292.23/277.55 eprover: CPU time limit exceeded, terminating
% 294.33/279.56 eprover: CPU time limit exceeded, terminating
% 296.47/281.57 eprover: CPU time limit exceeded, terminating
% 298.59/283.57 eprover: CPU time limit exceeded, terminating
% 300.05/284.93 eprover: CPU time limit exceeded, terminating
% 300.05/284.94 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------