TSTP Solution File: HWV072-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV072-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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 287.66s 280.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV072-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n011.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 : Thu Jun 16 21:36:21 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.81/2.99 eprover: CPU time limit exceeded, terminating
% 4.91/5.06 eprover: CPU time limit exceeded, terminating
% 6.98/7.07 eprover: CPU time limit exceeded, terminating
% 9.05/9.08 eprover: CPU time limit exceeded, terminating
% 11.08/11.09 eprover: CPU time limit exceeded, terminating
% 13.08/13.11 eprover: CPU time limit exceeded, terminating
% 15.16/15.12 eprover: CPU time limit exceeded, terminating
% 17.22/17.13 eprover: CPU time limit exceeded, terminating
% 19.27/19.14 eprover: CPU time limit exceeded, terminating
% 21.33/21.15 eprover: CPU time limit exceeded, terminating
% 23.32/23.16 eprover: CPU time limit exceeded, terminating
% 25.44/25.17 eprover: CPU time limit exceeded, terminating
% 27.48/27.19 eprover: CPU time limit exceeded, terminating
% 29.53/29.20 eprover: CPU time limit exceeded, terminating
% 31.54/31.21 eprover: CPU time limit exceeded, terminating
% 33.57/33.22 eprover: CPU time limit exceeded, terminating
% 35.64/35.23 eprover: CPU time limit exceeded, terminating
% 37.73/37.24 eprover: CPU time limit exceeded, terminating
% 39.76/39.25 eprover: CPU time limit exceeded, terminating
% 41.82/41.27 eprover: CPU time limit exceeded, terminating
% 43.86/43.28 eprover: CPU time limit exceeded, terminating
% 45.92/45.29 eprover: CPU time limit exceeded, terminating
% 47.95/47.30 eprover: CPU time limit exceeded, terminating
% 50.03/49.31 eprover: CPU time limit exceeded, terminating
% 52.04/51.32 eprover: CPU time limit exceeded, terminating
% 54.05/53.33 eprover: CPU time limit exceeded, terminating
% 56.18/55.34 eprover: CPU time limit exceeded, terminating
% 58.22/57.34 eprover: CPU time limit exceeded, terminating
% 60.24/59.35 eprover: CPU time limit exceeded, terminating
% 62.30/61.36 eprover: CPU time limit exceeded, terminating
% 64.36/63.37 eprover: CPU time limit exceeded, terminating
% 66.40/65.38 eprover: CPU time limit exceeded, terminating
% 68.42/67.39 eprover: CPU time limit exceeded, terminating
% 70.47/69.40 eprover: CPU time limit exceeded, terminating
% 72.50/71.41 eprover: CPU time limit exceeded, terminating
% 74.52/73.42 eprover: CPU time limit exceeded, terminating
% 76.62/75.43 eprover: CPU time limit exceeded, terminating
% 78.65/77.43 eprover: CPU time limit exceeded, terminating
% 80.71/79.44 eprover: CPU time limit exceeded, terminating
% 82.76/81.46 eprover: CPU time limit exceeded, terminating
% 84.81/83.47 eprover: CPU time limit exceeded, terminating
% 86.82/85.48 eprover: CPU time limit exceeded, terminating
% 88.88/87.49 eprover: CPU time limit exceeded, terminating
% 90.91/89.50 eprover: CPU time limit exceeded, terminating
% 92.97/91.51 eprover: CPU time limit exceeded, terminating
% 94.99/93.52 eprover: CPU time limit exceeded, terminating
% 97.10/95.53 eprover: CPU time limit exceeded, terminating
% 99.08/97.54 eprover: CPU time limit exceeded, terminating
% 101.19/99.55 eprover: CPU time limit exceeded, terminating
% 103.20/101.57 eprover: CPU time limit exceeded, terminating
% 105.28/103.58 eprover: CPU time limit exceeded, terminating
% 107.29/105.59 eprover: CPU time limit exceeded, terminating
% 109.37/107.60 eprover: CPU time limit exceeded, terminating
% 111.44/109.61 eprover: CPU time limit exceeded, terminating
% 113.48/111.62 eprover: CPU time limit exceeded, terminating
% 115.48/113.63 eprover: CPU time limit exceeded, terminating
% 117.51/115.65 eprover: CPU time limit exceeded, terminating
% 119.60/117.66 eprover: CPU time limit exceeded, terminating
% 121.68/119.67 eprover: CPU time limit exceeded, terminating
% 123.73/121.68 eprover: CPU time limit exceeded, terminating
% 125.77/123.69 eprover: CPU time limit exceeded, terminating
% 127.76/125.70 eprover: CPU time limit exceeded, terminating
% 129.85/127.71 eprover: CPU time limit exceeded, terminating
% 131.90/129.73 eprover: CPU time limit exceeded, terminating
% 133.95/131.74 eprover: CPU time limit exceeded, terminating
% 136.02/133.75 eprover: CPU time limit exceeded, terminating
% 138.02/135.76 eprover: CPU time limit exceeded, terminating
% 140.12/137.77 eprover: CPU time limit exceeded, terminating
% 142.16/139.78 eprover: CPU time limit exceeded, terminating
% 144.21/141.80 eprover: CPU time limit exceeded, terminating
% 146.23/143.81 eprover: CPU time limit exceeded, terminating
% 148.25/145.82 eprover: CPU time limit exceeded, terminating
% 150.34/147.83 eprover: CPU time limit exceeded, terminating
% 152.42/149.84 eprover: CPU time limit exceeded, terminating
% 154.45/151.86 eprover: CPU time limit exceeded, terminating
% 156.51/153.87 eprover: CPU time limit exceeded, terminating
% 158.56/155.88 eprover: CPU time limit exceeded, terminating
% 160.61/157.89 eprover: CPU time limit exceeded, terminating
% 162.64/159.90 eprover: CPU time limit exceeded, terminating
% 164.71/161.91 eprover: CPU time limit exceeded, terminating
% 166.72/163.93 eprover: CPU time limit exceeded, terminating
% 168.83/165.94 eprover: CPU time limit exceeded, terminating
% 170.84/167.95 eprover: CPU time limit exceeded, terminating
% 172.91/169.96 eprover: CPU time limit exceeded, terminating
% 174.91/171.98 eprover: CPU time limit exceeded, terminating
% 177.01/173.99 eprover: CPU time limit exceeded, terminating
% 179.06/176.00 eprover: CPU time limit exceeded, terminating
% 181.08/178.01 eprover: CPU time limit exceeded, terminating
% 183.15/180.03 eprover: CPU time limit exceeded, terminating
% 185.21/182.04 eprover: CPU time limit exceeded, terminating
% 187.26/184.05 eprover: CPU time limit exceeded, terminating
% 189.22/186.06 eprover: CPU time limit exceeded, terminating
% 191.36/188.07 eprover: CPU time limit exceeded, terminating
% 193.38/190.09 eprover: CPU time limit exceeded, terminating
% 195.45/192.10 eprover: CPU time limit exceeded, terminating
% 197.47/194.11 eprover: CPU time limit exceeded, terminating
% 199.55/196.12 eprover: CPU time limit exceeded, terminating
% 201.55/198.13 eprover: CPU time limit exceeded, terminating
% 203.66/200.14 eprover: CPU time limit exceeded, terminating
% 205.71/202.15 eprover: CPU time limit exceeded, terminating
% 207.75/204.16 eprover: CPU time limit exceeded, terminating
% 209.78/206.18 eprover: CPU time limit exceeded, terminating
% 211.85/208.19 eprover: CPU time limit exceeded, terminating
% 213.91/210.20 eprover: CPU time limit exceeded, terminating
% 215.96/212.22 eprover: CPU time limit exceeded, terminating
% 218.01/214.23 eprover: CPU time limit exceeded, terminating
% 220.00/216.24 eprover: CPU time limit exceeded, terminating
% 222.09/218.25 eprover: CPU time limit exceeded, terminating
% 224.09/220.26 eprover: CPU time limit exceeded, terminating
% 226.19/222.28 eprover: CPU time limit exceeded, terminating
% 228.23/224.29 eprover: CPU time limit exceeded, terminating
% 230.24/226.30 eprover: CPU time limit exceeded, terminating
% 232.33/228.31 eprover: CPU time limit exceeded, terminating
% 234.37/230.33 eprover: CPU time limit exceeded, terminating
% 236.46/232.34 eprover: CPU time limit exceeded, terminating
% 238.50/234.35 eprover: CPU time limit exceeded, terminating
% 240.52/236.36 eprover: CPU time limit exceeded, terminating
% 242.60/238.38 eprover: CPU time limit exceeded, terminating
% 244.66/240.39 eprover: CPU time limit exceeded, terminating
% 246.70/242.40 eprover: CPU time limit exceeded, terminating
% 248.74/244.41 eprover: CPU time limit exceeded, terminating
% 250.75/246.42 eprover: CPU time limit exceeded, terminating
% 252.79/248.44 eprover: CPU time limit exceeded, terminating
% 254.89/250.45 eprover: CPU time limit exceeded, terminating
% 256.85/252.46 eprover: CPU time limit exceeded, terminating
% 260.94/254.47 eprover: CPU time limit exceeded, terminating
% 263.03/256.48 eprover: CPU time limit exceeded, terminating
% 265.10/258.49 eprover: CPU time limit exceeded, terminating
% 267.11/260.51 eprover: CPU time limit exceeded, terminating
% 269.20/262.52 eprover: CPU time limit exceeded, terminating
% 271.19/264.53 eprover: CPU time limit exceeded, terminating
% 273.21/266.54 eprover: CPU time limit exceeded, terminating
% 275.33/268.55 eprover: CPU time limit exceeded, terminating
% 277.37/270.57 eprover: CPU time limit exceeded, terminating
% 279.41/272.58 eprover: CPU time limit exceeded, terminating
% 281.45/274.59 eprover: CPU time limit exceeded, terminating
% 283.51/276.61 eprover: CPU time limit exceeded, terminating
% 285.60/278.62 eprover: CPU time limit exceeded, terminating
% 287.66/280.63 eprover: CPU time limit exceeded, terminating
% 289.69/282.64 eprover: CPU time limit exceeded, terminating
% 291.72/284.65 eprover: CPU time limit exceeded, terminating
% 293.78/286.67 eprover: CPU time limit exceeded, terminating
% 295.83/288.68 eprover: CPU time limit exceeded, terminating
% 297.89/290.69 eprover: CPU time limit exceeded, terminating
% 299.94/292.70 eprover: CPU time limit exceeded, terminating
% 300.20/292.96 eprover: CPU time limit exceeded, terminating
% 300.20/292.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------