TSTP Solution File: HWV079+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV079+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:14 EDT 2022
% Result : Timeout 286.08s 280.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV079+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n019.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 : Fri Jun 17 00:47:39 EDT 2022
% 0.12/0.33 % CPUTime :
% 8.88/9.06 eprover: CPU time limit exceeded, terminating
% 10.88/11.07 eprover: CPU time limit exceeded, terminating
% 12.89/13.08 eprover: CPU time limit exceeded, terminating
% 14.96/15.09 eprover: CPU time limit exceeded, terminating
% 16.99/17.10 eprover: CPU time limit exceeded, terminating
% 19.01/19.11 eprover: CPU time limit exceeded, terminating
% 21.00/21.12 eprover: CPU time limit exceeded, terminating
% 23.02/23.13 eprover: CPU time limit exceeded, terminating
% 25.09/25.14 eprover: CPU time limit exceeded, terminating
% 27.11/27.15 eprover: CPU time limit exceeded, terminating
% 29.15/29.16 eprover: CPU time limit exceeded, terminating
% 31.14/31.17 eprover: CPU time limit exceeded, terminating
% 33.15/33.18 eprover: CPU time limit exceeded, terminating
% 35.21/35.19 eprover: CPU time limit exceeded, terminating
% 37.25/37.20 eprover: CPU time limit exceeded, terminating
% 39.20/39.21 eprover: CPU time limit exceeded, terminating
% 41.31/41.22 eprover: CPU time limit exceeded, terminating
% 43.29/43.23 eprover: CPU time limit exceeded, terminating
% 45.35/45.24 eprover: CPU time limit exceeded, terminating
% 47.34/47.25 eprover: CPU time limit exceeded, terminating
% 49.38/49.26 eprover: CPU time limit exceeded, terminating
% 51.39/51.27 eprover: CPU time limit exceeded, terminating
% 53.39/53.28 eprover: CPU time limit exceeded, terminating
% 55.44/55.29 eprover: CPU time limit exceeded, terminating
% 57.51/57.30 eprover: CPU time limit exceeded, terminating
% 59.52/59.31 eprover: CPU time limit exceeded, terminating
% 61.56/61.32 eprover: CPU time limit exceeded, terminating
% 63.53/63.32 eprover: CPU time limit exceeded, terminating
% 65.57/65.33 eprover: CPU time limit exceeded, terminating
% 67.62/67.34 eprover: CPU time limit exceeded, terminating
% 69.62/69.35 eprover: CPU time limit exceeded, terminating
% 71.64/71.36 eprover: CPU time limit exceeded, terminating
% 73.68/73.37 eprover: CPU time limit exceeded, terminating
% 75.75/75.38 eprover: CPU time limit exceeded, terminating
% 77.71/77.39 eprover: CPU time limit exceeded, terminating
% 79.79/79.40 eprover: CPU time limit exceeded, terminating
% 81.81/81.41 eprover: CPU time limit exceeded, terminating
% 83.83/83.42 eprover: CPU time limit exceeded, terminating
% 85.84/85.43 eprover: CPU time limit exceeded, terminating
% 87.84/87.44 eprover: CPU time limit exceeded, terminating
% 89.89/89.45 eprover: CPU time limit exceeded, terminating
% 91.93/91.46 eprover: CPU time limit exceeded, terminating
% 93.92/93.47 eprover: CPU time limit exceeded, terminating
% 95.98/95.48 eprover: CPU time limit exceeded, terminating
% 98.02/97.49 eprover: CPU time limit exceeded, terminating
% 100.04/99.50 eprover: CPU time limit exceeded, terminating
% 102.05/101.51 eprover: CPU time limit exceeded, terminating
% 104.09/103.52 eprover: CPU time limit exceeded, terminating
% 106.11/105.53 eprover: CPU time limit exceeded, terminating
% 108.12/107.54 eprover: CPU time limit exceeded, terminating
% 110.17/109.55 eprover: CPU time limit exceeded, terminating
% 112.16/111.56 eprover: CPU time limit exceeded, terminating
% 114.15/113.57 eprover: CPU time limit exceeded, terminating
% 118.07/115.58 eprover: CPU time limit exceeded, terminating
% 120.11/117.59 eprover: CPU time limit exceeded, terminating
% 124.11/119.59 eprover: CPU time limit exceeded, terminating
% 126.13/121.60 eprover: CPU time limit exceeded, terminating
% 128.13/123.61 eprover: CPU time limit exceeded, terminating
% 130.16/125.62 eprover: CPU time limit exceeded, terminating
% 132.19/127.63 eprover: CPU time limit exceeded, terminating
% 134.22/129.64 eprover: CPU time limit exceeded, terminating
% 136.22/131.65 eprover: CPU time limit exceeded, terminating
% 138.25/133.66 eprover: CPU time limit exceeded, terminating
% 140.26/135.67 eprover: CPU time limit exceeded, terminating
% 142.30/137.68 eprover: CPU time limit exceeded, terminating
% 144.29/139.69 eprover: CPU time limit exceeded, terminating
% 146.37/141.70 eprover: CPU time limit exceeded, terminating
% 148.40/143.71 eprover: CPU time limit exceeded, terminating
% 150.43/145.72 eprover: CPU time limit exceeded, terminating
% 152.43/147.73 eprover: CPU time limit exceeded, terminating
% 154.48/149.74 eprover: CPU time limit exceeded, terminating
% 156.48/151.75 eprover: CPU time limit exceeded, terminating
% 158.48/153.76 eprover: CPU time limit exceeded, terminating
% 160.53/155.77 eprover: CPU time limit exceeded, terminating
% 162.54/157.78 eprover: CPU time limit exceeded, terminating
% 164.55/159.79 eprover: CPU time limit exceeded, terminating
% 166.58/161.80 eprover: CPU time limit exceeded, terminating
% 168.66/163.81 eprover: CPU time limit exceeded, terminating
% 170.70/165.82 eprover: CPU time limit exceeded, terminating
% 172.69/167.83 eprover: CPU time limit exceeded, terminating
% 174.75/169.84 eprover: CPU time limit exceeded, terminating
% 176.73/171.84 eprover: CPU time limit exceeded, terminating
% 178.77/173.85 eprover: CPU time limit exceeded, terminating
% 180.77/175.86 eprover: CPU time limit exceeded, terminating
% 182.79/177.87 eprover: CPU time limit exceeded, terminating
% 184.81/179.88 eprover: CPU time limit exceeded, terminating
% 186.90/181.89 eprover: CPU time limit exceeded, terminating
% 188.92/183.90 eprover: CPU time limit exceeded, terminating
% 190.96/185.91 eprover: CPU time limit exceeded, terminating
% 192.96/187.92 eprover: CPU time limit exceeded, terminating
% 194.97/189.93 eprover: CPU time limit exceeded, terminating
% 197.01/191.94 eprover: CPU time limit exceeded, terminating
% 198.99/193.95 eprover: CPU time limit exceeded, terminating
% 201.00/195.96 eprover: CPU time limit exceeded, terminating
% 203.04/197.97 eprover: CPU time limit exceeded, terminating
% 205.08/199.98 eprover: CPU time limit exceeded, terminating
% 207.07/201.99 eprover: CPU time limit exceeded, terminating
% 209.19/203.99 eprover: CPU time limit exceeded, terminating
% 211.12/206.00 eprover: CPU time limit exceeded, terminating
% 213.22/208.01 eprover: CPU time limit exceeded, terminating
% 215.23/210.02 eprover: CPU time limit exceeded, terminating
% 217.24/212.03 eprover: CPU time limit exceeded, terminating
% 219.31/214.04 eprover: CPU time limit exceeded, terminating
% 221.27/216.05 eprover: CPU time limit exceeded, terminating
% 223.32/218.06 eprover: CPU time limit exceeded, terminating
% 225.34/220.07 eprover: CPU time limit exceeded, terminating
% 227.32/222.08 eprover: CPU time limit exceeded, terminating
% 229.37/224.09 eprover: CPU time limit exceeded, terminating
% 231.38/226.10 eprover: CPU time limit exceeded, terminating
% 233.47/228.11 eprover: CPU time limit exceeded, terminating
% 235.48/230.12 eprover: CPU time limit exceeded, terminating
% 237.51/232.13 eprover: CPU time limit exceeded, terminating
% 239.56/234.14 eprover: CPU time limit exceeded, terminating
% 241.56/236.15 eprover: CPU time limit exceeded, terminating
% 243.56/238.15 eprover: CPU time limit exceeded, terminating
% 245.58/240.16 eprover: CPU time limit exceeded, terminating
% 247.60/242.17 eprover: CPU time limit exceeded, terminating
% 249.63/244.18 eprover: CPU time limit exceeded, terminating
% 251.65/246.19 eprover: CPU time limit exceeded, terminating
% 253.72/248.20 eprover: CPU time limit exceeded, terminating
% 255.75/250.20 eprover: CPU time limit exceeded, terminating
% 257.69/252.21 eprover: CPU time limit exceeded, terminating
% 259.80/254.22 eprover: CPU time limit exceeded, terminating
% 261.77/256.23 eprover: CPU time limit exceeded, terminating
% 263.82/258.23 eprover: CPU time limit exceeded, terminating
% 265.85/260.24 eprover: CPU time limit exceeded, terminating
% 267.82/262.25 eprover: CPU time limit exceeded, terminating
% 269.86/264.26 eprover: CPU time limit exceeded, terminating
% 271.89/266.27 eprover: CPU time limit exceeded, terminating
% 273.88/268.28 eprover: CPU time limit exceeded, terminating
% 275.92/270.28 eprover: CPU time limit exceeded, terminating
% 277.91/272.29 eprover: CPU time limit exceeded, terminating
% 280.04/274.30 eprover: CPU time limit exceeded, terminating
% 282.05/276.31 eprover: CPU time limit exceeded, terminating
% 284.08/278.32 eprover: CPU time limit exceeded, terminating
% 286.08/280.32 eprover: CPU time limit exceeded, terminating
% 288.09/282.33 eprover: CPU time limit exceeded, terminating
% 290.11/284.34 eprover: CPU time limit exceeded, terminating
% 292.12/286.35 eprover: CPU time limit exceeded, terminating
% 294.12/288.36 eprover: CPU time limit exceeded, terminating
% 296.15/290.36 eprover: CPU time limit exceeded, terminating
% 298.19/292.37 eprover: CPU time limit exceeded, terminating
% 300.09/294.21 eprover: CPU time limit exceeded, terminating
% 300.09/294.23 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------