TSTP Solution File: HWV076-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV076-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:13 EDT 2022
% Result : Timeout 286.03s 282.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : HWV076-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.00/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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 08:08:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.82/3.02 eprover: CPU time limit exceeded, terminating
% 4.89/5.04 eprover: CPU time limit exceeded, terminating
% 6.89/7.05 eprover: CPU time limit exceeded, terminating
% 8.95/9.06 eprover: CPU time limit exceeded, terminating
% 11.02/11.07 eprover: CPU time limit exceeded, terminating
% 13.03/13.07 eprover: CPU time limit exceeded, terminating
% 15.08/15.08 eprover: CPU time limit exceeded, terminating
% 17.10/17.09 eprover: CPU time limit exceeded, terminating
% 19.18/19.10 eprover: CPU time limit exceeded, terminating
% 21.16/21.11 eprover: CPU time limit exceeded, terminating
% 23.26/23.12 eprover: CPU time limit exceeded, terminating
% 25.30/25.13 eprover: CPU time limit exceeded, terminating
% 27.31/27.14 eprover: CPU time limit exceeded, terminating
% 29.35/29.15 eprover: CPU time limit exceeded, terminating
% 31.40/31.16 eprover: CPU time limit exceeded, terminating
% 33.37/33.17 eprover: CPU time limit exceeded, terminating
% 35.48/35.17 eprover: CPU time limit exceeded, terminating
% 37.55/37.18 eprover: CPU time limit exceeded, terminating
% 39.54/39.19 eprover: CPU time limit exceeded, terminating
% 41.63/41.20 eprover: CPU time limit exceeded, terminating
% 43.66/43.21 eprover: CPU time limit exceeded, terminating
% 45.66/45.22 eprover: CPU time limit exceeded, terminating
% 47.74/47.23 eprover: CPU time limit exceeded, terminating
% 49.76/49.24 eprover: CPU time limit exceeded, terminating
% 51.76/51.24 eprover: CPU time limit exceeded, terminating
% 53.85/53.25 eprover: CPU time limit exceeded, terminating
% 55.86/55.26 eprover: CPU time limit exceeded, terminating
% 57.89/57.27 eprover: CPU time limit exceeded, terminating
% 59.92/59.28 eprover: CPU time limit exceeded, terminating
% 61.95/61.29 eprover: CPU time limit exceeded, terminating
% 64.03/63.30 eprover: CPU time limit exceeded, terminating
% 66.00/65.31 eprover: CPU time limit exceeded, terminating
% 68.06/67.32 eprover: CPU time limit exceeded, terminating
% 70.15/69.33 eprover: CPU time limit exceeded, terminating
% 72.20/71.34 eprover: CPU time limit exceeded, terminating
% 74.23/73.35 eprover: CPU time limit exceeded, terminating
% 76.26/75.35 eprover: CPU time limit exceeded, terminating
% 78.24/77.36 eprover: CPU time limit exceeded, terminating
% 80.30/79.37 eprover: CPU time limit exceeded, terminating
% 82.37/81.38 eprover: CPU time limit exceeded, terminating
% 84.46/83.39 eprover: CPU time limit exceeded, terminating
% 86.47/85.40 eprover: CPU time limit exceeded, terminating
% 88.51/87.41 eprover: CPU time limit exceeded, terminating
% 90.50/89.42 eprover: CPU time limit exceeded, terminating
% 92.56/91.43 eprover: CPU time limit exceeded, terminating
% 94.63/93.44 eprover: CPU time limit exceeded, terminating
% 96.68/95.45 eprover: CPU time limit exceeded, terminating
% 98.69/97.45 eprover: CPU time limit exceeded, terminating
% 100.73/99.46 eprover: CPU time limit exceeded, terminating
% 102.74/101.47 eprover: CPU time limit exceeded, terminating
% 104.81/103.48 eprover: CPU time limit exceeded, terminating
% 106.83/105.49 eprover: CPU time limit exceeded, terminating
% 108.90/107.50 eprover: CPU time limit exceeded, terminating
% 110.87/109.51 eprover: CPU time limit exceeded, terminating
% 112.93/111.52 eprover: CPU time limit exceeded, terminating
% 114.98/113.53 eprover: CPU time limit exceeded, terminating
% 116.96/115.54 eprover: CPU time limit exceeded, terminating
% 119.03/117.55 eprover: CPU time limit exceeded, terminating
% 121.11/119.55 eprover: CPU time limit exceeded, terminating
% 123.08/121.56 eprover: CPU time limit exceeded, terminating
% 125.16/123.58 eprover: CPU time limit exceeded, terminating
% 127.19/125.59 eprover: CPU time limit exceeded, terminating
% 129.25/127.59 eprover: CPU time limit exceeded, terminating
% 131.24/129.60 eprover: CPU time limit exceeded, terminating
% 133.25/131.61 eprover: CPU time limit exceeded, terminating
% 135.33/133.62 eprover: CPU time limit exceeded, terminating
% 137.34/135.63 eprover: CPU time limit exceeded, terminating
% 139.39/137.64 eprover: CPU time limit exceeded, terminating
% 141.45/139.65 eprover: CPU time limit exceeded, terminating
% 143.49/141.66 eprover: CPU time limit exceeded, terminating
% 145.46/143.67 eprover: CPU time limit exceeded, terminating
% 147.55/145.68 eprover: CPU time limit exceeded, terminating
% 149.60/147.69 eprover: CPU time limit exceeded, terminating
% 151.59/149.69 eprover: CPU time limit exceeded, terminating
% 153.66/151.70 eprover: CPU time limit exceeded, terminating
% 155.62/153.71 eprover: CPU time limit exceeded, terminating
% 157.71/155.72 eprover: CPU time limit exceeded, terminating
% 159.76/157.73 eprover: CPU time limit exceeded, terminating
% 161.76/159.74 eprover: CPU time limit exceeded, terminating
% 163.81/161.75 eprover: CPU time limit exceeded, terminating
% 165.81/163.76 eprover: CPU time limit exceeded, terminating
% 167.93/165.77 eprover: CPU time limit exceeded, terminating
% 169.90/167.78 eprover: CPU time limit exceeded, terminating
% 171.97/169.79 eprover: CPU time limit exceeded, terminating
% 173.96/171.80 eprover: CPU time limit exceeded, terminating
% 176.04/173.81 eprover: CPU time limit exceeded, terminating
% 178.06/175.82 eprover: CPU time limit exceeded, terminating
% 180.10/177.83 eprover: CPU time limit exceeded, terminating
% 182.15/179.83 eprover: CPU time limit exceeded, terminating
% 184.15/181.84 eprover: CPU time limit exceeded, terminating
% 186.16/183.85 eprover: CPU time limit exceeded, terminating
% 188.21/185.86 eprover: CPU time limit exceeded, terminating
% 190.26/187.87 eprover: CPU time limit exceeded, terminating
% 192.25/189.88 eprover: CPU time limit exceeded, terminating
% 194.30/191.89 eprover: CPU time limit exceeded, terminating
% 196.34/193.90 eprover: CPU time limit exceeded, terminating
% 198.41/195.91 eprover: CPU time limit exceeded, terminating
% 200.39/197.92 eprover: CPU time limit exceeded, terminating
% 202.51/199.92 eprover: CPU time limit exceeded, terminating
% 204.54/201.93 eprover: CPU time limit exceeded, terminating
% 206.54/203.94 eprover: CPU time limit exceeded, terminating
% 208.58/205.95 eprover: CPU time limit exceeded, terminating
% 210.59/207.96 eprover: CPU time limit exceeded, terminating
% 212.66/209.97 eprover: CPU time limit exceeded, terminating
% 214.73/211.98 eprover: CPU time limit exceeded, terminating
% 216.73/213.99 eprover: CPU time limit exceeded, terminating
% 218.81/216.00 eprover: CPU time limit exceeded, terminating
% 220.84/218.01 eprover: CPU time limit exceeded, terminating
% 222.84/220.02 eprover: CPU time limit exceeded, terminating
% 224.92/222.03 eprover: CPU time limit exceeded, terminating
% 226.94/224.03 eprover: CPU time limit exceeded, terminating
% 228.92/226.04 eprover: CPU time limit exceeded, terminating
% 230.99/228.05 eprover: CPU time limit exceeded, terminating
% 233.01/230.06 eprover: CPU time limit exceeded, terminating
% 235.02/232.07 eprover: CPU time limit exceeded, terminating
% 237.13/234.08 eprover: CPU time limit exceeded, terminating
% 239.10/236.09 eprover: CPU time limit exceeded, terminating
% 241.20/238.10 eprover: CPU time limit exceeded, terminating
% 243.24/240.11 eprover: CPU time limit exceeded, terminating
% 245.28/242.12 eprover: CPU time limit exceeded, terminating
% 247.30/244.13 eprover: CPU time limit exceeded, terminating
% 249.36/246.14 eprover: CPU time limit exceeded, terminating
% 251.38/248.15 eprover: CPU time limit exceeded, terminating
% 253.38/250.15 eprover: CPU time limit exceeded, terminating
% 255.41/252.16 eprover: CPU time limit exceeded, terminating
% 257.46/254.17 eprover: CPU time limit exceeded, terminating
% 259.50/256.18 eprover: CPU time limit exceeded, terminating
% 261.58/258.19 eprover: CPU time limit exceeded, terminating
% 263.61/260.20 eprover: CPU time limit exceeded, terminating
% 265.66/262.21 eprover: CPU time limit exceeded, terminating
% 267.66/264.22 eprover: CPU time limit exceeded, terminating
% 269.71/266.23 eprover: CPU time limit exceeded, terminating
% 271.75/268.24 eprover: CPU time limit exceeded, terminating
% 273.76/270.25 eprover: CPU time limit exceeded, terminating
% 275.80/272.25 eprover: CPU time limit exceeded, terminating
% 277.85/274.26 eprover: CPU time limit exceeded, terminating
% 279.84/276.27 eprover: CPU time limit exceeded, terminating
% 281.90/278.28 eprover: CPU time limit exceeded, terminating
% 283.91/280.29 eprover: CPU time limit exceeded, terminating
% 286.03/282.30 eprover: CPU time limit exceeded, terminating
% 288.06/284.31 eprover: CPU time limit exceeded, terminating
% 290.11/286.32 eprover: CPU time limit exceeded, terminating
% 292.14/288.33 eprover: CPU time limit exceeded, terminating
% 294.14/290.34 eprover: CPU time limit exceeded, terminating
% 296.17/292.35 eprover: CPU time limit exceeded, terminating
% 298.21/294.36 eprover: CPU time limit exceeded, terminating
% 300.04/296.10 eprover: CPU time limit exceeded, terminating
% 300.04/296.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------