TSTP Solution File: HWV078+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV078+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 285.88s 282.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : HWV078+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.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 05:54:46 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.51/5.69 eprover: CPU time limit exceeded, terminating
% 7.53/7.70 eprover: CPU time limit exceeded, terminating
% 9.49/9.71 eprover: CPU time limit exceeded, terminating
% 11.54/11.72 eprover: CPU time limit exceeded, terminating
% 13.58/13.73 eprover: CPU time limit exceeded, terminating
% 15.60/15.74 eprover: CPU time limit exceeded, terminating
% 17.62/17.75 eprover: CPU time limit exceeded, terminating
% 19.60/19.76 eprover: CPU time limit exceeded, terminating
% 21.65/21.76 eprover: CPU time limit exceeded, terminating
% 23.67/23.77 eprover: CPU time limit exceeded, terminating
% 25.71/25.78 eprover: CPU time limit exceeded, terminating
% 27.73/27.79 eprover: CPU time limit exceeded, terminating
% 29.68/29.80 eprover: CPU time limit exceeded, terminating
% 31.75/31.81 eprover: CPU time limit exceeded, terminating
% 33.77/33.82 eprover: CPU time limit exceeded, terminating
% 35.80/35.83 eprover: CPU time limit exceeded, terminating
% 37.83/37.84 eprover: CPU time limit exceeded, terminating
% 39.81/39.85 eprover: CPU time limit exceeded, terminating
% 41.82/41.85 eprover: CPU time limit exceeded, terminating
% 43.88/43.86 eprover: CPU time limit exceeded, terminating
% 45.82/45.87 eprover: CPU time limit exceeded, terminating
% 47.89/47.88 eprover: CPU time limit exceeded, terminating
% 49.93/49.89 eprover: CPU time limit exceeded, terminating
% 51.96/51.90 eprover: CPU time limit exceeded, terminating
% 53.94/53.90 eprover: CPU time limit exceeded, terminating
% 55.98/55.91 eprover: CPU time limit exceeded, terminating
% 58.00/57.92 eprover: CPU time limit exceeded, terminating
% 60.02/59.93 eprover: CPU time limit exceeded, terminating
% 62.01/61.94 eprover: CPU time limit exceeded, terminating
% 64.05/63.94 eprover: CPU time limit exceeded, terminating
% 66.08/65.95 eprover: CPU time limit exceeded, terminating
% 68.11/67.96 eprover: CPU time limit exceeded, terminating
% 70.05/69.97 eprover: CPU time limit exceeded, terminating
% 72.11/71.98 eprover: CPU time limit exceeded, terminating
% 74.15/73.99 eprover: CPU time limit exceeded, terminating
% 76.16/75.99 eprover: CPU time limit exceeded, terminating
% 78.14/78.00 eprover: CPU time limit exceeded, terminating
% 80.20/80.01 eprover: CPU time limit exceeded, terminating
% 82.18/82.02 eprover: CPU time limit exceeded, terminating
% 84.17/84.03 eprover: CPU time limit exceeded, terminating
% 86.27/86.03 eprover: CPU time limit exceeded, terminating
% 88.23/88.04 eprover: CPU time limit exceeded, terminating
% 90.27/90.05 eprover: CPU time limit exceeded, terminating
% 92.32/92.06 eprover: CPU time limit exceeded, terminating
% 94.34/94.07 eprover: CPU time limit exceeded, terminating
% 96.30/96.07 eprover: CPU time limit exceeded, terminating
% 98.34/98.08 eprover: CPU time limit exceeded, terminating
% 100.38/100.09 eprover: CPU time limit exceeded, terminating
% 102.39/102.10 eprover: CPU time limit exceeded, terminating
% 104.35/104.11 eprover: CPU time limit exceeded, terminating
% 106.43/106.11 eprover: CPU time limit exceeded, terminating
% 108.43/108.12 eprover: CPU time limit exceeded, terminating
% 110.47/110.13 eprover: CPU time limit exceeded, terminating
% 112.50/112.14 eprover: CPU time limit exceeded, terminating
% 114.47/114.14 eprover: CPU time limit exceeded, terminating
% 116.48/116.15 eprover: CPU time limit exceeded, terminating
% 118.54/118.16 eprover: CPU time limit exceeded, terminating
% 120.48/120.17 eprover: CPU time limit exceeded, terminating
% 122.57/122.17 eprover: CPU time limit exceeded, terminating
% 124.56/124.18 eprover: CPU time limit exceeded, terminating
% 126.60/126.19 eprover: CPU time limit exceeded, terminating
% 128.60/128.19 eprover: CPU time limit exceeded, terminating
% 130.58/130.20 eprover: CPU time limit exceeded, terminating
% 132.62/132.21 eprover: CPU time limit exceeded, terminating
% 134.61/134.22 eprover: CPU time limit exceeded, terminating
% 136.68/136.23 eprover: CPU time limit exceeded, terminating
% 138.71/138.23 eprover: CPU time limit exceeded, terminating
% 140.71/140.24 eprover: CPU time limit exceeded, terminating
% 142.74/142.25 eprover: CPU time limit exceeded, terminating
% 144.74/144.26 eprover: CPU time limit exceeded, terminating
% 146.78/146.27 eprover: CPU time limit exceeded, terminating
% 148.82/148.27 eprover: CPU time limit exceeded, terminating
% 150.82/150.28 eprover: CPU time limit exceeded, terminating
% 152.84/152.29 eprover: CPU time limit exceeded, terminating
% 154.86/154.30 eprover: CPU time limit exceeded, terminating
% 156.85/156.31 eprover: CPU time limit exceeded, terminating
% 158.89/158.31 eprover: CPU time limit exceeded, terminating
% 160.87/160.32 eprover: CPU time limit exceeded, terminating
% 162.91/162.33 eprover: CPU time limit exceeded, terminating
% 164.88/164.34 eprover: CPU time limit exceeded, terminating
% 166.96/166.35 eprover: CPU time limit exceeded, terminating
% 168.91/168.35 eprover: CPU time limit exceeded, terminating
% 170.99/170.36 eprover: CPU time limit exceeded, terminating
% 173.02/172.37 eprover: CPU time limit exceeded, terminating
% 175.03/174.38 eprover: CPU time limit exceeded, terminating
% 177.04/176.39 eprover: CPU time limit exceeded, terminating
% 179.04/178.40 eprover: CPU time limit exceeded, terminating
% 181.06/180.40 eprover: CPU time limit exceeded, terminating
% 183.05/182.41 eprover: CPU time limit exceeded, terminating
% 185.06/184.42 eprover: CPU time limit exceeded, terminating
% 187.07/186.43 eprover: CPU time limit exceeded, terminating
% 189.17/188.44 eprover: CPU time limit exceeded, terminating
% 191.18/190.44 eprover: CPU time limit exceeded, terminating
% 193.13/192.45 eprover: CPU time limit exceeded, terminating
% 195.14/194.46 eprover: CPU time limit exceeded, terminating
% 197.20/196.47 eprover: CPU time limit exceeded, terminating
% 199.25/198.48 eprover: CPU time limit exceeded, terminating
% 201.22/200.48 eprover: CPU time limit exceeded, terminating
% 203.25/202.49 eprover: CPU time limit exceeded, terminating
% 205.24/204.50 eprover: CPU time limit exceeded, terminating
% 207.32/206.51 eprover: CPU time limit exceeded, terminating
% 209.35/208.52 eprover: CPU time limit exceeded, terminating
% 211.34/210.52 eprover: CPU time limit exceeded, terminating
% 213.39/212.53 eprover: CPU time limit exceeded, terminating
% 215.36/214.54 eprover: CPU time limit exceeded, terminating
% 217.33/216.55 eprover: CPU time limit exceeded, terminating
% 219.35/218.55 eprover: CPU time limit exceeded, terminating
% 221.39/220.56 eprover: CPU time limit exceeded, terminating
% 225.38/222.57 eprover: CPU time limit exceeded, terminating
% 227.43/224.58 eprover: CPU time limit exceeded, terminating
% 229.48/226.58 eprover: CPU time limit exceeded, terminating
% 231.50/228.59 eprover: CPU time limit exceeded, terminating
% 233.50/230.60 eprover: CPU time limit exceeded, terminating
% 235.46/232.61 eprover: CPU time limit exceeded, terminating
% 237.54/234.61 eprover: CPU time limit exceeded, terminating
% 239.55/236.62 eprover: CPU time limit exceeded, terminating
% 241.56/238.63 eprover: CPU time limit exceeded, terminating
% 243.60/240.63 eprover: CPU time limit exceeded, terminating
% 245.57/242.64 eprover: CPU time limit exceeded, terminating
% 247.59/244.65 eprover: CPU time limit exceeded, terminating
% 249.61/246.66 eprover: CPU time limit exceeded, terminating
% 251.64/248.66 eprover: CPU time limit exceeded, terminating
% 253.63/250.67 eprover: CPU time limit exceeded, terminating
% 255.70/252.68 eprover: CPU time limit exceeded, terminating
% 257.65/254.68 eprover: CPU time limit exceeded, terminating
% 259.72/256.69 eprover: CPU time limit exceeded, terminating
% 261.75/258.70 eprover: CPU time limit exceeded, terminating
% 263.77/260.71 eprover: CPU time limit exceeded, terminating
% 265.76/262.71 eprover: CPU time limit exceeded, terminating
% 267.81/264.72 eprover: CPU time limit exceeded, terminating
% 269.78/266.73 eprover: CPU time limit exceeded, terminating
% 271.83/268.74 eprover: CPU time limit exceeded, terminating
% 273.81/270.75 eprover: CPU time limit exceeded, terminating
% 275.86/272.75 eprover: CPU time limit exceeded, terminating
% 277.90/274.76 eprover: CPU time limit exceeded, terminating
% 279.88/276.77 eprover: CPU time limit exceeded, terminating
% 281.93/278.78 eprover: CPU time limit exceeded, terminating
% 283.94/280.79 eprover: CPU time limit exceeded, terminating
% 285.88/282.79 eprover: CPU time limit exceeded, terminating
% 287.97/284.80 eprover: CPU time limit exceeded, terminating
% 289.90/286.81 eprover: CPU time limit exceeded, terminating
% 293.99/288.82 eprover: CPU time limit exceeded, terminating
% 296.00/290.82 eprover: CPU time limit exceeded, terminating
% 298.02/292.83 eprover: CPU time limit exceeded, terminating
% 300.00/294.79 eprover: CPU time limit exceeded, terminating
% 300.00/294.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------