TSTP Solution File: HWV111+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV111+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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:38 EDT 2022
% Result : Timeout 287.03s 282.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : HWV111+1 : TPTP v8.1.0. Released v6.1.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 16 21:22:42 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.10/3.31 eprover: CPU time limit exceeded, terminating
% 5.15/5.32 eprover: CPU time limit exceeded, terminating
% 7.26/7.33 eprover: CPU time limit exceeded, terminating
% 9.23/9.34 eprover: CPU time limit exceeded, terminating
% 11.36/11.35 eprover: CPU time limit exceeded, terminating
% 13.31/13.36 eprover: CPU time limit exceeded, terminating
% 15.42/15.37 eprover: CPU time limit exceeded, terminating
% 17.48/17.38 eprover: CPU time limit exceeded, terminating
% 19.46/19.39 eprover: CPU time limit exceeded, terminating
% 21.50/21.40 eprover: CPU time limit exceeded, terminating
% 23.60/23.41 eprover: CPU time limit exceeded, terminating
% 25.58/25.43 eprover: CPU time limit exceeded, terminating
% 27.66/27.44 eprover: CPU time limit exceeded, terminating
% 29.70/29.45 eprover: CPU time limit exceeded, terminating
% 31.74/31.46 eprover: CPU time limit exceeded, terminating
% 33.73/33.47 eprover: CPU time limit exceeded, terminating
% 35.77/35.48 eprover: CPU time limit exceeded, terminating
% 37.81/37.49 eprover: CPU time limit exceeded, terminating
% 39.94/39.50 eprover: CPU time limit exceeded, terminating
% 41.95/41.52 eprover: CPU time limit exceeded, terminating
% 43.99/43.53 eprover: CPU time limit exceeded, terminating
% 46.02/45.54 eprover: CPU time limit exceeded, terminating
% 48.09/47.55 eprover: CPU time limit exceeded, terminating
% 50.06/49.56 eprover: CPU time limit exceeded, terminating
% 52.11/51.57 eprover: CPU time limit exceeded, terminating
% 54.17/53.58 eprover: CPU time limit exceeded, terminating
% 56.27/55.59 eprover: CPU time limit exceeded, terminating
% 58.30/57.60 eprover: CPU time limit exceeded, terminating
% 60.36/59.61 eprover: CPU time limit exceeded, terminating
% 62.36/61.64 eprover: CPU time limit exceeded, terminating
% 64.41/63.65 eprover: CPU time limit exceeded, terminating
% 66.42/65.66 eprover: CPU time limit exceeded, terminating
% 68.45/67.68 eprover: CPU time limit exceeded, terminating
% 70.57/69.69 eprover: CPU time limit exceeded, terminating
% 72.61/71.70 eprover: CPU time limit exceeded, terminating
% 74.64/73.71 eprover: CPU time limit exceeded, terminating
% 76.67/75.72 eprover: CPU time limit exceeded, terminating
% 78.72/77.73 eprover: CPU time limit exceeded, terminating
% 80.77/79.74 eprover: CPU time limit exceeded, terminating
% 82.77/81.75 eprover: CPU time limit exceeded, terminating
% 84.83/83.76 eprover: CPU time limit exceeded, terminating
% 86.85/85.77 eprover: CPU time limit exceeded, terminating
% 88.90/87.78 eprover: CPU time limit exceeded, terminating
% 90.91/89.78 eprover: CPU time limit exceeded, terminating
% 93.04/91.79 eprover: CPU time limit exceeded, terminating
% 95.07/93.80 eprover: CPU time limit exceeded, terminating
% 97.13/95.81 eprover: CPU time limit exceeded, terminating
% 99.13/97.82 eprover: CPU time limit exceeded, terminating
% 101.20/99.83 eprover: CPU time limit exceeded, terminating
% 103.21/101.84 eprover: CPU time limit exceeded, terminating
% 105.25/103.85 eprover: CPU time limit exceeded, terminating
% 107.31/105.86 eprover: CPU time limit exceeded, terminating
% 109.32/107.87 eprover: CPU time limit exceeded, terminating
% 111.41/109.88 eprover: CPU time limit exceeded, terminating
% 113.47/111.89 eprover: CPU time limit exceeded, terminating
% 115.50/113.90 eprover: CPU time limit exceeded, terminating
% 117.54/115.91 eprover: CPU time limit exceeded, terminating
% 119.59/117.92 eprover: CPU time limit exceeded, terminating
% 121.62/119.92 eprover: CPU time limit exceeded, terminating
% 123.65/121.93 eprover: CPU time limit exceeded, terminating
% 125.67/123.94 eprover: CPU time limit exceeded, terminating
% 127.72/125.95 eprover: CPU time limit exceeded, terminating
% 129.77/127.96 eprover: CPU time limit exceeded, terminating
% 131.79/129.97 eprover: CPU time limit exceeded, terminating
% 133.90/131.98 eprover: CPU time limit exceeded, terminating
% 135.85/133.99 eprover: CPU time limit exceeded, terminating
% 137.97/136.00 eprover: CPU time limit exceeded, terminating
% 140.01/138.01 eprover: CPU time limit exceeded, terminating
% 142.08/140.02 eprover: CPU time limit exceeded, terminating
% 144.09/142.03 eprover: CPU time limit exceeded, terminating
% 146.13/144.03 eprover: CPU time limit exceeded, terminating
% 148.19/146.04 eprover: CPU time limit exceeded, terminating
% 150.20/148.05 eprover: CPU time limit exceeded, terminating
% 152.19/150.06 eprover: CPU time limit exceeded, terminating
% 154.26/152.07 eprover: CPU time limit exceeded, terminating
% 156.36/154.08 eprover: CPU time limit exceeded, terminating
% 158.42/156.09 eprover: CPU time limit exceeded, terminating
% 160.37/158.10 eprover: CPU time limit exceeded, terminating
% 162.48/160.11 eprover: CPU time limit exceeded, terminating
% 164.54/162.12 eprover: CPU time limit exceeded, terminating
% 166.55/164.13 eprover: CPU time limit exceeded, terminating
% 168.59/166.14 eprover: CPU time limit exceeded, terminating
% 170.59/168.15 eprover: CPU time limit exceeded, terminating
% 172.65/170.16 eprover: CPU time limit exceeded, terminating
% 174.70/172.16 eprover: CPU time limit exceeded, terminating
% 176.72/174.17 eprover: CPU time limit exceeded, terminating
% 178.77/176.19 eprover: CPU time limit exceeded, terminating
% 180.90/178.20 eprover: CPU time limit exceeded, terminating
% 182.93/180.20 eprover: CPU time limit exceeded, terminating
% 184.98/182.21 eprover: CPU time limit exceeded, terminating
% 187.00/184.22 eprover: CPU time limit exceeded, terminating
% 189.00/186.23 eprover: CPU time limit exceeded, terminating
% 191.06/188.24 eprover: CPU time limit exceeded, terminating
% 193.10/190.25 eprover: CPU time limit exceeded, terminating
% 195.10/192.26 eprover: CPU time limit exceeded, terminating
% 197.16/194.27 eprover: CPU time limit exceeded, terminating
% 199.21/196.28 eprover: CPU time limit exceeded, terminating
% 201.32/198.29 eprover: CPU time limit exceeded, terminating
% 203.36/200.30 eprover: CPU time limit exceeded, terminating
% 205.41/202.31 eprover: CPU time limit exceeded, terminating
% 207.43/204.32 eprover: CPU time limit exceeded, terminating
% 209.48/206.33 eprover: CPU time limit exceeded, terminating
% 211.51/208.34 eprover: CPU time limit exceeded, terminating
% 213.53/210.35 eprover: CPU time limit exceeded, terminating
% 215.60/212.36 eprover: CPU time limit exceeded, terminating
% 217.60/214.37 eprover: CPU time limit exceeded, terminating
% 219.64/216.38 eprover: CPU time limit exceeded, terminating
% 221.74/218.39 eprover: CPU time limit exceeded, terminating
% 223.71/220.40 eprover: CPU time limit exceeded, terminating
% 225.77/222.41 eprover: CPU time limit exceeded, terminating
% 227.88/224.42 eprover: CPU time limit exceeded, terminating
% 229.93/226.42 eprover: CPU time limit exceeded, terminating
% 231.94/228.44 eprover: CPU time limit exceeded, terminating
% 233.95/230.45 eprover: CPU time limit exceeded, terminating
% 235.97/232.45 eprover: CPU time limit exceeded, terminating
% 238.05/234.46 eprover: CPU time limit exceeded, terminating
% 240.09/236.47 eprover: CPU time limit exceeded, terminating
% 242.10/238.48 eprover: CPU time limit exceeded, terminating
% 244.15/240.49 eprover: CPU time limit exceeded, terminating
% 246.17/242.50 eprover: CPU time limit exceeded, terminating
% 248.31/244.51 eprover: CPU time limit exceeded, terminating
% 250.32/246.52 eprover: CPU time limit exceeded, terminating
% 252.39/248.53 eprover: CPU time limit exceeded, terminating
% 254.40/250.54 eprover: CPU time limit exceeded, terminating
% 256.41/252.55 eprover: CPU time limit exceeded, terminating
% 258.47/254.56 eprover: CPU time limit exceeded, terminating
% 260.54/256.57 eprover: CPU time limit exceeded, terminating
% 262.53/258.58 eprover: CPU time limit exceeded, terminating
% 264.63/260.59 eprover: CPU time limit exceeded, terminating
% 266.68/262.60 eprover: CPU time limit exceeded, terminating
% 268.73/264.61 eprover: CPU time limit exceeded, terminating
% 270.74/266.62 eprover: CPU time limit exceeded, terminating
% 272.81/268.62 eprover: CPU time limit exceeded, terminating
% 274.84/270.63 eprover: CPU time limit exceeded, terminating
% 276.85/272.64 eprover: CPU time limit exceeded, terminating
% 278.88/274.65 eprover: CPU time limit exceeded, terminating
% 280.94/276.66 eprover: CPU time limit exceeded, terminating
% 282.98/278.67 eprover: CPU time limit exceeded, terminating
% 284.98/280.68 eprover: CPU time limit exceeded, terminating
% 287.03/282.69 eprover: CPU time limit exceeded, terminating
% 289.07/284.70 eprover: CPU time limit exceeded, terminating
% 291.19/286.71 eprover: CPU time limit exceeded, terminating
% 293.25/288.72 eprover: CPU time limit exceeded, terminating
% 295.27/290.72 eprover: CPU time limit exceeded, terminating
% 297.29/292.73 eprover: CPU time limit exceeded, terminating
% 299.36/294.74 eprover: CPU time limit exceeded, terminating
% 300.10/295.43 eprover: CPU time limit exceeded, terminating
% 300.10/295.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------