TSTP Solution File: HWV071-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV071-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 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:11 EDT 2022
% Result : Timeout 286.77s 283.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.11 % Problem : HWV071-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.04/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 : Fri Jun 17 10:26:57 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.75/2.94 eprover: CPU time limit exceeded, terminating
% 4.82/5.00 eprover: CPU time limit exceeded, terminating
% 6.88/7.01 eprover: CPU time limit exceeded, terminating
% 8.95/9.02 eprover: CPU time limit exceeded, terminating
% 11.02/11.03 eprover: CPU time limit exceeded, terminating
% 13.01/13.04 eprover: CPU time limit exceeded, terminating
% 15.08/15.05 eprover: CPU time limit exceeded, terminating
% 17.16/17.06 eprover: CPU time limit exceeded, terminating
% 19.16/19.07 eprover: CPU time limit exceeded, terminating
% 21.23/21.08 eprover: CPU time limit exceeded, terminating
% 23.28/23.09 eprover: CPU time limit exceeded, terminating
% 25.32/25.10 eprover: CPU time limit exceeded, terminating
% 27.39/27.11 eprover: CPU time limit exceeded, terminating
% 29.42/29.12 eprover: CPU time limit exceeded, terminating
% 31.47/31.13 eprover: CPU time limit exceeded, terminating
% 33.50/33.14 eprover: CPU time limit exceeded, terminating
% 35.54/35.15 eprover: CPU time limit exceeded, terminating
% 37.57/37.16 eprover: CPU time limit exceeded, terminating
% 39.66/39.17 eprover: CPU time limit exceeded, terminating
% 41.71/41.18 eprover: CPU time limit exceeded, terminating
% 43.72/43.19 eprover: CPU time limit exceeded, terminating
% 45.78/45.20 eprover: CPU time limit exceeded, terminating
% 47.85/47.21 eprover: CPU time limit exceeded, terminating
% 49.89/49.22 eprover: CPU time limit exceeded, terminating
% 51.91/51.23 eprover: CPU time limit exceeded, terminating
% 53.97/53.24 eprover: CPU time limit exceeded, terminating
% 56.00/55.25 eprover: CPU time limit exceeded, terminating
% 58.07/57.26 eprover: CPU time limit exceeded, terminating
% 60.11/59.27 eprover: CPU time limit exceeded, terminating
% 62.13/61.28 eprover: CPU time limit exceeded, terminating
% 64.21/63.29 eprover: CPU time limit exceeded, terminating
% 66.23/65.30 eprover: CPU time limit exceeded, terminating
% 68.28/67.31 eprover: CPU time limit exceeded, terminating
% 70.36/69.32 eprover: CPU time limit exceeded, terminating
% 72.36/71.33 eprover: CPU time limit exceeded, terminating
% 74.44/73.34 eprover: CPU time limit exceeded, terminating
% 76.46/75.35 eprover: CPU time limit exceeded, terminating
% 78.53/77.36 eprover: CPU time limit exceeded, terminating
% 80.57/79.37 eprover: CPU time limit exceeded, terminating
% 82.59/81.38 eprover: CPU time limit exceeded, terminating
% 84.67/83.39 eprover: CPU time limit exceeded, terminating
% 86.67/85.40 eprover: CPU time limit exceeded, terminating
% 88.76/87.41 eprover: CPU time limit exceeded, terminating
% 90.75/89.42 eprover: CPU time limit exceeded, terminating
% 92.84/91.43 eprover: CPU time limit exceeded, terminating
% 94.91/93.44 eprover: CPU time limit exceeded, terminating
% 96.94/95.45 eprover: CPU time limit exceeded, terminating
% 98.99/97.46 eprover: CPU time limit exceeded, terminating
% 101.05/99.46 eprover: CPU time limit exceeded, terminating
% 103.06/101.47 eprover: CPU time limit exceeded, terminating
% 105.14/103.49 eprover: CPU time limit exceeded, terminating
% 107.19/105.50 eprover: CPU time limit exceeded, terminating
% 109.20/107.51 eprover: CPU time limit exceeded, terminating
% 111.26/109.52 eprover: CPU time limit exceeded, terminating
% 113.27/111.53 eprover: CPU time limit exceeded, terminating
% 115.32/113.55 eprover: CPU time limit exceeded, terminating
% 117.38/115.56 eprover: CPU time limit exceeded, terminating
% 119.44/117.57 eprover: CPU time limit exceeded, terminating
% 121.48/119.58 eprover: CPU time limit exceeded, terminating
% 123.49/121.59 eprover: CPU time limit exceeded, terminating
% 125.54/123.60 eprover: CPU time limit exceeded, terminating
% 127.61/125.61 eprover: CPU time limit exceeded, terminating
% 129.63/127.62 eprover: CPU time limit exceeded, terminating
% 131.69/129.63 eprover: CPU time limit exceeded, terminating
% 133.70/131.64 eprover: CPU time limit exceeded, terminating
% 135.77/133.65 eprover: CPU time limit exceeded, terminating
% 137.82/135.66 eprover: CPU time limit exceeded, terminating
% 139.88/137.67 eprover: CPU time limit exceeded, terminating
% 141.90/139.68 eprover: CPU time limit exceeded, terminating
% 143.93/141.69 eprover: CPU time limit exceeded, terminating
% 146.02/143.70 eprover: CPU time limit exceeded, terminating
% 148.04/145.71 eprover: CPU time limit exceeded, terminating
% 150.07/147.72 eprover: CPU time limit exceeded, terminating
% 152.12/149.73 eprover: CPU time limit exceeded, terminating
% 154.16/151.74 eprover: CPU time limit exceeded, terminating
% 156.19/153.75 eprover: CPU time limit exceeded, terminating
% 158.28/155.76 eprover: CPU time limit exceeded, terminating
% 160.28/157.77 eprover: CPU time limit exceeded, terminating
% 162.33/159.78 eprover: CPU time limit exceeded, terminating
% 164.39/161.79 eprover: CPU time limit exceeded, terminating
% 166.46/163.80 eprover: CPU time limit exceeded, terminating
% 168.45/165.81 eprover: CPU time limit exceeded, terminating
% 170.51/167.88 eprover: CPU time limit exceeded, terminating
% 172.56/169.96 eprover: CPU time limit exceeded, terminating
% 174.61/171.97 eprover: CPU time limit exceeded, terminating
% 176.64/173.98 eprover: CPU time limit exceeded, terminating
% 178.69/176.06 eprover: CPU time limit exceeded, terminating
% 180.73/178.13 eprover: CPU time limit exceeded, terminating
% 182.72/180.21 eprover: CPU time limit exceeded, terminating
% 184.75/182.29 eprover: CPU time limit exceeded, terminating
% 186.80/184.30 eprover: CPU time limit exceeded, terminating
% 188.88/186.38 eprover: CPU time limit exceeded, terminating
% 190.89/188.39 eprover: CPU time limit exceeded, terminating
% 192.94/190.47 eprover: CPU time limit exceeded, terminating
% 194.94/192.48 eprover: CPU time limit exceeded, terminating
% 197.00/194.56 eprover: CPU time limit exceeded, terminating
% 199.05/196.57 eprover: CPU time limit exceeded, terminating
% 201.12/198.65 eprover: CPU time limit exceeded, terminating
% 203.15/200.65 eprover: CPU time limit exceeded, terminating
% 205.13/202.74 eprover: CPU time limit exceeded, terminating
% 207.20/204.75 eprover: CPU time limit exceeded, terminating
% 209.21/206.76 eprover: CPU time limit exceeded, terminating
% 211.32/208.77 eprover: CPU time limit exceeded, terminating
% 213.37/210.78 eprover: CPU time limit exceeded, terminating
% 215.37/212.79 eprover: CPU time limit exceeded, terminating
% 217.42/214.80 eprover: CPU time limit exceeded, terminating
% 219.43/216.81 eprover: CPU time limit exceeded, terminating
% 221.52/218.82 eprover: CPU time limit exceeded, terminating
% 223.59/220.83 eprover: CPU time limit exceeded, terminating
% 225.58/222.84 eprover: CPU time limit exceeded, terminating
% 227.68/224.85 eprover: CPU time limit exceeded, terminating
% 229.66/226.86 eprover: CPU time limit exceeded, terminating
% 231.76/228.87 eprover: CPU time limit exceeded, terminating
% 233.81/230.88 eprover: CPU time limit exceeded, terminating
% 235.84/232.89 eprover: CPU time limit exceeded, terminating
% 237.87/234.90 eprover: CPU time limit exceeded, terminating
% 239.90/236.91 eprover: CPU time limit exceeded, terminating
% 241.98/238.92 eprover: CPU time limit exceeded, terminating
% 243.95/240.93 eprover: CPU time limit exceeded, terminating
% 246.09/242.94 eprover: CPU time limit exceeded, terminating
% 248.12/244.95 eprover: CPU time limit exceeded, terminating
% 250.16/246.96 eprover: CPU time limit exceeded, terminating
% 252.18/248.97 eprover: CPU time limit exceeded, terminating
% 254.23/250.98 eprover: CPU time limit exceeded, terminating
% 256.25/252.99 eprover: CPU time limit exceeded, terminating
% 258.27/255.00 eprover: CPU time limit exceeded, terminating
% 260.29/257.01 eprover: CPU time limit exceeded, terminating
% 262.33/259.02 eprover: CPU time limit exceeded, terminating
% 264.43/261.03 eprover: CPU time limit exceeded, terminating
% 266.42/263.04 eprover: CPU time limit exceeded, terminating
% 268.50/265.04 eprover: CPU time limit exceeded, terminating
% 270.55/267.05 eprover: CPU time limit exceeded, terminating
% 272.57/269.06 eprover: CPU time limit exceeded, terminating
% 274.62/271.07 eprover: CPU time limit exceeded, terminating
% 276.64/273.08 eprover: CPU time limit exceeded, terminating
% 278.67/275.09 eprover: CPU time limit exceeded, terminating
% 280.71/277.10 eprover: CPU time limit exceeded, terminating
% 282.72/279.11 eprover: CPU time limit exceeded, terminating
% 284.73/281.12 eprover: CPU time limit exceeded, terminating
% 286.77/283.13 eprover: CPU time limit exceeded, terminating
% 288.90/285.14 eprover: CPU time limit exceeded, terminating
% 290.92/287.15 eprover: CPU time limit exceeded, terminating
% 292.97/289.16 eprover: CPU time limit exceeded, terminating
% 295.02/291.17 eprover: CPU time limit exceeded, terminating
% 297.03/293.18 eprover: CPU time limit exceeded, terminating
% 299.09/295.19 eprover: CPU time limit exceeded, terminating
% 300.09/296.15 eprover: CPU time limit exceeded, terminating
% 300.09/296.17 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------