TSTP Solution File: HWV113+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV113+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 287.34s 280.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV113+1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n022.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 08:25:32 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.14/3.34 eprover: CPU time limit exceeded, terminating
% 5.18/5.35 eprover: CPU time limit exceeded, terminating
% 7.20/7.36 eprover: CPU time limit exceeded, terminating
% 9.22/9.37 eprover: CPU time limit exceeded, terminating
% 11.33/11.38 eprover: CPU time limit exceeded, terminating
% 13.31/13.39 eprover: CPU time limit exceeded, terminating
% 15.43/15.40 eprover: CPU time limit exceeded, terminating
% 17.37/17.41 eprover: CPU time limit exceeded, terminating
% 19.51/19.42 eprover: CPU time limit exceeded, terminating
% 21.55/21.43 eprover: CPU time limit exceeded, terminating
% 23.59/23.44 eprover: CPU time limit exceeded, terminating
% 25.62/25.45 eprover: CPU time limit exceeded, terminating
% 27.65/27.46 eprover: CPU time limit exceeded, terminating
% 29.74/29.47 eprover: CPU time limit exceeded, terminating
% 31.72/31.48 eprover: CPU time limit exceeded, terminating
% 33.83/33.49 eprover: CPU time limit exceeded, terminating
% 35.88/35.50 eprover: CPU time limit exceeded, terminating
% 37.91/37.51 eprover: CPU time limit exceeded, terminating
% 39.95/39.52 eprover: CPU time limit exceeded, terminating
% 42.00/41.53 eprover: CPU time limit exceeded, terminating
% 44.02/43.54 eprover: CPU time limit exceeded, terminating
% 46.08/45.55 eprover: CPU time limit exceeded, terminating
% 48.09/47.57 eprover: CPU time limit exceeded, terminating
% 50.18/49.58 eprover: CPU time limit exceeded, terminating
% 52.16/51.59 eprover: CPU time limit exceeded, terminating
% 54.28/53.60 eprover: CPU time limit exceeded, terminating
% 56.32/55.61 eprover: CPU time limit exceeded, terminating
% 58.35/57.62 eprover: CPU time limit exceeded, terminating
% 60.42/59.63 eprover: CPU time limit exceeded, terminating
% 62.42/61.64 eprover: CPU time limit exceeded, terminating
% 64.46/63.65 eprover: CPU time limit exceeded, terminating
% 66.52/65.66 eprover: CPU time limit exceeded, terminating
% 68.60/67.68 eprover: CPU time limit exceeded, terminating
% 70.57/69.69 eprover: CPU time limit exceeded, terminating
% 72.68/71.70 eprover: CPU time limit exceeded, terminating
% 74.74/73.71 eprover: CPU time limit exceeded, terminating
% 76.74/75.72 eprover: CPU time limit exceeded, terminating
% 78.82/77.73 eprover: CPU time limit exceeded, terminating
% 80.83/79.74 eprover: CPU time limit exceeded, terminating
% 82.89/81.75 eprover: CPU time limit exceeded, terminating
% 84.94/83.76 eprover: CPU time limit exceeded, terminating
% 86.93/85.77 eprover: CPU time limit exceeded, terminating
% 88.98/87.78 eprover: CPU time limit exceeded, terminating
% 91.11/89.80 eprover: CPU time limit exceeded, terminating
% 93.15/91.81 eprover: CPU time limit exceeded, terminating
% 95.21/93.82 eprover: CPU time limit exceeded, terminating
% 97.22/95.83 eprover: CPU time limit exceeded, terminating
% 99.24/97.84 eprover: CPU time limit exceeded, terminating
% 101.31/99.85 eprover: CPU time limit exceeded, terminating
% 103.35/101.86 eprover: CPU time limit exceeded, terminating
% 105.39/103.87 eprover: CPU time limit exceeded, terminating
% 107.48/105.88 eprover: CPU time limit exceeded, terminating
% 109.45/107.89 eprover: CPU time limit exceeded, terminating
% 111.56/109.90 eprover: CPU time limit exceeded, terminating
% 113.60/111.91 eprover: CPU time limit exceeded, terminating
% 115.64/113.93 eprover: CPU time limit exceeded, terminating
% 117.70/115.94 eprover: CPU time limit exceeded, terminating
% 119.69/117.95 eprover: CPU time limit exceeded, terminating
% 121.72/119.96 eprover: CPU time limit exceeded, terminating
% 123.79/121.97 eprover: CPU time limit exceeded, terminating
% 125.84/123.98 eprover: CPU time limit exceeded, terminating
% 127.95/125.99 eprover: CPU time limit exceeded, terminating
% 129.92/128.00 eprover: CPU time limit exceeded, terminating
% 132.03/130.01 eprover: CPU time limit exceeded, terminating
% 134.06/132.02 eprover: CPU time limit exceeded, terminating
% 136.14/134.03 eprover: CPU time limit exceeded, terminating
% 138.12/136.05 eprover: CPU time limit exceeded, terminating
% 140.15/138.06 eprover: CPU time limit exceeded, terminating
% 142.18/140.07 eprover: CPU time limit exceeded, terminating
% 144.23/142.08 eprover: CPU time limit exceeded, terminating
% 148.25/144.09 eprover: CPU time limit exceeded, terminating
% 150.25/146.10 eprover: CPU time limit exceeded, terminating
% 152.28/148.11 eprover: CPU time limit exceeded, terminating
% 154.38/150.12 eprover: CPU time limit exceeded, terminating
% 156.43/152.13 eprover: CPU time limit exceeded, terminating
% 158.47/154.14 eprover: CPU time limit exceeded, terminating
% 160.46/156.15 eprover: CPU time limit exceeded, terminating
% 162.52/158.17 eprover: CPU time limit exceeded, terminating
% 164.56/160.18 eprover: CPU time limit exceeded, terminating
% 166.60/162.19 eprover: CPU time limit exceeded, terminating
% 168.64/164.20 eprover: CPU time limit exceeded, terminating
% 170.66/166.21 eprover: CPU time limit exceeded, terminating
% 172.81/168.22 eprover: CPU time limit exceeded, terminating
% 174.84/170.23 eprover: CPU time limit exceeded, terminating
% 176.87/172.24 eprover: CPU time limit exceeded, terminating
% 178.91/174.25 eprover: CPU time limit exceeded, terminating
% 180.92/176.26 eprover: CPU time limit exceeded, terminating
% 182.99/178.28 eprover: CPU time limit exceeded, terminating
% 184.99/180.29 eprover: CPU time limit exceeded, terminating
% 187.14/182.30 eprover: CPU time limit exceeded, terminating
% 189.08/184.31 eprover: CPU time limit exceeded, terminating
% 191.22/186.32 eprover: CPU time limit exceeded, terminating
% 193.23/188.33 eprover: CPU time limit exceeded, terminating
% 195.29/190.34 eprover: CPU time limit exceeded, terminating
% 197.34/192.35 eprover: CPU time limit exceeded, terminating
% 199.35/194.36 eprover: CPU time limit exceeded, terminating
% 201.42/196.37 eprover: CPU time limit exceeded, terminating
% 203.41/198.39 eprover: CPU time limit exceeded, terminating
% 205.53/200.40 eprover: CPU time limit exceeded, terminating
% 207.58/202.41 eprover: CPU time limit exceeded, terminating
% 209.61/204.42 eprover: CPU time limit exceeded, terminating
% 211.68/206.43 eprover: CPU time limit exceeded, terminating
% 213.68/208.44 eprover: CPU time limit exceeded, terminating
% 215.72/210.45 eprover: CPU time limit exceeded, terminating
% 217.77/212.46 eprover: CPU time limit exceeded, terminating
% 219.80/214.47 eprover: CPU time limit exceeded, terminating
% 221.83/216.48 eprover: CPU time limit exceeded, terminating
% 223.87/218.49 eprover: CPU time limit exceeded, terminating
% 225.98/220.51 eprover: CPU time limit exceeded, terminating
% 228.05/222.52 eprover: CPU time limit exceeded, terminating
% 230.08/224.53 eprover: CPU time limit exceeded, terminating
% 232.11/226.54 eprover: CPU time limit exceeded, terminating
% 234.12/228.55 eprover: CPU time limit exceeded, terminating
% 236.21/230.56 eprover: CPU time limit exceeded, terminating
% 238.22/232.57 eprover: CPU time limit exceeded, terminating
% 240.33/234.58 eprover: CPU time limit exceeded, terminating
% 242.29/236.59 eprover: CPU time limit exceeded, terminating
% 244.42/238.60 eprover: CPU time limit exceeded, terminating
% 246.41/240.62 eprover: CPU time limit exceeded, terminating
% 248.49/242.63 eprover: CPU time limit exceeded, terminating
% 250.54/244.64 eprover: CPU time limit exceeded, terminating
% 252.55/246.65 eprover: CPU time limit exceeded, terminating
% 254.61/248.66 eprover: CPU time limit exceeded, terminating
% 256.62/250.67 eprover: CPU time limit exceeded, terminating
% 258.67/252.68 eprover: CPU time limit exceeded, terminating
% 260.70/254.69 eprover: CPU time limit exceeded, terminating
% 262.76/256.70 eprover: CPU time limit exceeded, terminating
% 264.88/258.71 eprover: CPU time limit exceeded, terminating
% 266.91/260.72 eprover: CPU time limit exceeded, terminating
% 268.91/262.74 eprover: CPU time limit exceeded, terminating
% 270.96/264.75 eprover: CPU time limit exceeded, terminating
% 273.03/266.76 eprover: CPU time limit exceeded, terminating
% 275.02/268.77 eprover: CPU time limit exceeded, terminating
% 277.09/270.78 eprover: CPU time limit exceeded, terminating
% 279.10/272.79 eprover: CPU time limit exceeded, terminating
% 281.24/274.80 eprover: CPU time limit exceeded, terminating
% 283.29/276.81 eprover: CPU time limit exceeded, terminating
% 285.30/278.82 eprover: CPU time limit exceeded, terminating
% 287.34/280.83 eprover: CPU time limit exceeded, terminating
% 289.38/282.84 eprover: CPU time limit exceeded, terminating
% 291.41/284.86 eprover: CPU time limit exceeded, terminating
% 293.47/286.87 eprover: CPU time limit exceeded, terminating
% 295.53/288.88 eprover: CPU time limit exceeded, terminating
% 297.56/290.89 eprover: CPU time limit exceeded, terminating
% 299.62/292.90 eprover: CPU time limit exceeded, terminating
% 300.06/293.28 eprover: CPU time limit exceeded, terminating
% 300.06/293.29 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------