TSTP Solution File: HWV112-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV112-1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:39 EDT 2022
% Result : Timeout 286.67s 279.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : HWV112-1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n007.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Fri Jun 17 10:09:42 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.19/3.37 eprover: CPU time limit exceeded, terminating
% 5.33/5.39 eprover: CPU time limit exceeded, terminating
% 7.40/7.40 eprover: CPU time limit exceeded, terminating
% 9.39/9.41 eprover: CPU time limit exceeded, terminating
% 11.50/11.42 eprover: CPU time limit exceeded, terminating
% 13.60/13.44 eprover: CPU time limit exceeded, terminating
% 15.61/15.45 eprover: CPU time limit exceeded, terminating
% 17.66/17.46 eprover: CPU time limit exceeded, terminating
% 19.73/19.47 eprover: CPU time limit exceeded, terminating
% 21.82/21.48 eprover: CPU time limit exceeded, terminating
% 23.94/23.49 eprover: CPU time limit exceeded, terminating
% 25.92/25.51 eprover: CPU time limit exceeded, terminating
% 28.06/27.52 eprover: CPU time limit exceeded, terminating
% 30.15/29.53 eprover: CPU time limit exceeded, terminating
% 32.16/31.54 eprover: CPU time limit exceeded, terminating
% 34.27/33.55 eprover: CPU time limit exceeded, terminating
% 36.27/35.57 eprover: CPU time limit exceeded, terminating
% 38.36/37.58 eprover: CPU time limit exceeded, terminating
% 40.43/39.59 eprover: CPU time limit exceeded, terminating
% 42.56/41.60 eprover: CPU time limit exceeded, terminating
% 44.65/43.61 eprover: CPU time limit exceeded, terminating
% 46.70/45.62 eprover: CPU time limit exceeded, terminating
% 48.77/47.64 eprover: CPU time limit exceeded, terminating
% 50.76/49.65 eprover: CPU time limit exceeded, terminating
% 52.89/51.66 eprover: CPU time limit exceeded, terminating
% 54.91/53.67 eprover: CPU time limit exceeded, terminating
% 57.00/55.69 eprover: CPU time limit exceeded, terminating
% 59.13/57.70 eprover: CPU time limit exceeded, terminating
% 61.18/59.71 eprover: CPU time limit exceeded, terminating
% 63.26/61.72 eprover: CPU time limit exceeded, terminating
% 65.30/63.73 eprover: CPU time limit exceeded, terminating
% 67.39/65.75 eprover: CPU time limit exceeded, terminating
% 69.43/67.76 eprover: CPU time limit exceeded, terminating
% 71.45/69.77 eprover: CPU time limit exceeded, terminating
% 73.53/71.79 eprover: CPU time limit exceeded, terminating
% 75.67/73.80 eprover: CPU time limit exceeded, terminating
% 77.67/75.81 eprover: CPU time limit exceeded, terminating
% 79.80/77.82 eprover: CPU time limit exceeded, terminating
% 81.86/79.84 eprover: CPU time limit exceeded, terminating
% 83.90/81.85 eprover: CPU time limit exceeded, terminating
% 86.00/83.86 eprover: CPU time limit exceeded, terminating
% 88.04/85.87 eprover: CPU time limit exceeded, terminating
% 90.12/87.89 eprover: CPU time limit exceeded, terminating
% 92.23/89.90 eprover: CPU time limit exceeded, terminating
% 94.31/91.91 eprover: CPU time limit exceeded, terminating
% 96.35/93.92 eprover: CPU time limit exceeded, terminating
% 98.43/95.94 eprover: CPU time limit exceeded, terminating
% 100.48/97.95 eprover: CPU time limit exceeded, terminating
% 102.55/99.96 eprover: CPU time limit exceeded, terminating
% 104.63/101.97 eprover: CPU time limit exceeded, terminating
% 106.66/103.98 eprover: CPU time limit exceeded, terminating
% 108.80/106.00 eprover: CPU time limit exceeded, terminating
% 110.86/108.01 eprover: CPU time limit exceeded, terminating
% 112.96/110.02 eprover: CPU time limit exceeded, terminating
% 114.98/112.04 eprover: CPU time limit exceeded, terminating
% 117.06/114.05 eprover: CPU time limit exceeded, terminating
% 119.10/116.06 eprover: CPU time limit exceeded, terminating
% 121.17/118.07 eprover: CPU time limit exceeded, terminating
% 123.27/120.09 eprover: CPU time limit exceeded, terminating
% 125.27/122.10 eprover: CPU time limit exceeded, terminating
% 127.44/124.11 eprover: CPU time limit exceeded, terminating
% 129.50/126.12 eprover: CPU time limit exceeded, terminating
% 131.57/128.14 eprover: CPU time limit exceeded, terminating
% 133.65/130.15 eprover: CPU time limit exceeded, terminating
% 135.65/132.16 eprover: CPU time limit exceeded, terminating
% 137.71/134.17 eprover: CPU time limit exceeded, terminating
% 139.79/136.18 eprover: CPU time limit exceeded, terminating
% 141.93/138.20 eprover: CPU time limit exceeded, terminating
% 143.92/140.21 eprover: CPU time limit exceeded, terminating
% 146.06/142.22 eprover: CPU time limit exceeded, terminating
% 148.12/144.23 eprover: CPU time limit exceeded, terminating
% 150.16/146.25 eprover: CPU time limit exceeded, terminating
% 152.21/148.26 eprover: CPU time limit exceeded, terminating
% 154.31/150.27 eprover: CPU time limit exceeded, terminating
% 156.41/152.28 eprover: CPU time limit exceeded, terminating
% 158.42/154.29 eprover: CPU time limit exceeded, terminating
% 160.54/156.31 eprover: CPU time limit exceeded, terminating
% 162.63/158.32 eprover: CPU time limit exceeded, terminating
% 164.69/160.33 eprover: CPU time limit exceeded, terminating
% 166.73/162.35 eprover: CPU time limit exceeded, terminating
% 168.80/164.36 eprover: CPU time limit exceeded, terminating
% 170.91/166.37 eprover: CPU time limit exceeded, terminating
% 172.92/168.38 eprover: CPU time limit exceeded, terminating
% 175.02/170.39 eprover: CPU time limit exceeded, terminating
% 177.04/172.40 eprover: CPU time limit exceeded, terminating
% 179.16/174.41 eprover: CPU time limit exceeded, terminating
% 181.23/176.42 eprover: CPU time limit exceeded, terminating
% 183.27/178.43 eprover: CPU time limit exceeded, terminating
% 185.35/180.44 eprover: CPU time limit exceeded, terminating
% 187.42/182.45 eprover: CPU time limit exceeded, terminating
% 189.46/184.46 eprover: CPU time limit exceeded, terminating
% 191.53/186.47 eprover: CPU time limit exceeded, terminating
% 193.58/188.48 eprover: CPU time limit exceeded, terminating
% 195.65/190.50 eprover: CPU time limit exceeded, terminating
% 197.78/192.50 eprover: CPU time limit exceeded, terminating
% 199.77/194.52 eprover: CPU time limit exceeded, terminating
% 201.90/196.53 eprover: CPU time limit exceeded, terminating
% 203.98/198.54 eprover: CPU time limit exceeded, terminating
% 206.00/200.55 eprover: CPU time limit exceeded, terminating
% 208.10/202.56 eprover: CPU time limit exceeded, terminating
% 210.12/204.58 eprover: CPU time limit exceeded, terminating
% 212.24/206.59 eprover: CPU time limit exceeded, terminating
% 214.33/208.60 eprover: CPU time limit exceeded, terminating
% 216.37/210.61 eprover: CPU time limit exceeded, terminating
% 218.44/212.62 eprover: CPU time limit exceeded, terminating
% 220.47/214.63 eprover: CPU time limit exceeded, terminating
% 222.57/216.65 eprover: CPU time limit exceeded, terminating
% 224.63/218.66 eprover: CPU time limit exceeded, terminating
% 226.72/220.67 eprover: CPU time limit exceeded, terminating
% 228.79/222.69 eprover: CPU time limit exceeded, terminating
% 230.87/224.70 eprover: CPU time limit exceeded, terminating
% 232.92/226.71 eprover: CPU time limit exceeded, terminating
% 234.95/228.73 eprover: CPU time limit exceeded, terminating
% 237.02/230.74 eprover: CPU time limit exceeded, terminating
% 239.12/232.75 eprover: CPU time limit exceeded, terminating
% 241.15/234.76 eprover: CPU time limit exceeded, terminating
% 243.27/236.78 eprover: CPU time limit exceeded, terminating
% 245.27/238.79 eprover: CPU time limit exceeded, terminating
% 247.40/240.80 eprover: CPU time limit exceeded, terminating
% 249.48/242.82 eprover: CPU time limit exceeded, terminating
% 251.51/244.83 eprover: CPU time limit exceeded, terminating
% 253.59/246.84 eprover: CPU time limit exceeded, terminating
% 255.63/248.85 eprover: CPU time limit exceeded, terminating
% 257.76/250.87 eprover: CPU time limit exceeded, terminating
% 259.75/252.88 eprover: CPU time limit exceeded, terminating
% 261.83/254.89 eprover: CPU time limit exceeded, terminating
% 263.96/256.90 eprover: CPU time limit exceeded, terminating
% 266.01/258.92 eprover: CPU time limit exceeded, terminating
% 268.08/260.93 eprover: CPU time limit exceeded, terminating
% 270.14/262.94 eprover: CPU time limit exceeded, terminating
% 272.20/264.95 eprover: CPU time limit exceeded, terminating
% 274.25/266.96 eprover: CPU time limit exceeded, terminating
% 276.37/268.98 eprover: CPU time limit exceeded, terminating
% 278.33/270.99 eprover: CPU time limit exceeded, terminating
% 280.47/273.01 eprover: CPU time limit exceeded, terminating
% 282.53/275.02 eprover: CPU time limit exceeded, terminating
% 284.62/277.03 eprover: CPU time limit exceeded, terminating
% 286.67/279.04 eprover: CPU time limit exceeded, terminating
% 288.72/281.06 eprover: CPU time limit exceeded, terminating
% 290.78/283.07 eprover: CPU time limit exceeded, terminating
% 292.78/285.08 eprover: CPU time limit exceeded, terminating
% 294.94/287.09 eprover: CPU time limit exceeded, terminating
% 297.01/289.11 eprover: CPU time limit exceeded, terminating
% 299.06/291.12 eprover: CPU time limit exceeded, terminating
% 300.01/292.01 eprover: CPU time limit exceeded, terminating
% 300.01/292.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------