TSTP Solution File: HWV111-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV111-1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:37 EDT 2022
% Result : Timeout 286.03s 279.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV111-1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n015.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jun 16 21:06:56 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.19/3.37 eprover: CPU time limit exceeded, terminating
% 5.29/5.38 eprover: CPU time limit exceeded, terminating
% 7.38/7.40 eprover: CPU time limit exceeded, terminating
% 9.38/9.41 eprover: CPU time limit exceeded, terminating
% 11.48/11.43 eprover: CPU time limit exceeded, terminating
% 13.57/13.45 eprover: CPU time limit exceeded, terminating
% 15.65/15.46 eprover: CPU time limit exceeded, terminating
% 17.65/17.48 eprover: CPU time limit exceeded, terminating
% 19.74/19.49 eprover: CPU time limit exceeded, terminating
% 21.85/21.50 eprover: CPU time limit exceeded, terminating
% 23.92/23.51 eprover: CPU time limit exceeded, terminating
% 25.93/25.52 eprover: CPU time limit exceeded, terminating
% 28.01/27.54 eprover: CPU time limit exceeded, terminating
% 30.06/29.55 eprover: CPU time limit exceeded, terminating
% 32.13/31.56 eprover: CPU time limit exceeded, terminating
% 34.25/33.57 eprover: CPU time limit exceeded, terminating
% 36.25/35.59 eprover: CPU time limit exceeded, terminating
% 38.32/37.60 eprover: CPU time limit exceeded, terminating
% 40.40/39.61 eprover: CPU time limit exceeded, terminating
% 42.48/41.62 eprover: CPU time limit exceeded, terminating
% 44.50/43.63 eprover: CPU time limit exceeded, terminating
% 46.61/45.65 eprover: CPU time limit exceeded, terminating
% 48.66/47.66 eprover: CPU time limit exceeded, terminating
% 50.73/49.67 eprover: CPU time limit exceeded, terminating
% 52.77/51.69 eprover: CPU time limit exceeded, terminating
% 54.85/53.70 eprover: CPU time limit exceeded, terminating
% 56.89/55.72 eprover: CPU time limit exceeded, terminating
% 58.98/57.72 eprover: CPU time limit exceeded, terminating
% 61.03/59.73 eprover: CPU time limit exceeded, terminating
% 63.07/61.74 eprover: CPU time limit exceeded, terminating
% 65.15/63.75 eprover: CPU time limit exceeded, terminating
% 67.23/65.76 eprover: CPU time limit exceeded, terminating
% 69.29/67.78 eprover: CPU time limit exceeded, terminating
% 71.34/69.79 eprover: CPU time limit exceeded, terminating
% 73.42/71.80 eprover: CPU time limit exceeded, terminating
% 75.46/73.81 eprover: CPU time limit exceeded, terminating
% 77.53/75.82 eprover: CPU time limit exceeded, terminating
% 79.58/77.83 eprover: CPU time limit exceeded, terminating
% 81.67/79.84 eprover: CPU time limit exceeded, terminating
% 83.74/81.86 eprover: CPU time limit exceeded, terminating
% 85.81/83.87 eprover: CPU time limit exceeded, terminating
% 87.85/85.88 eprover: CPU time limit exceeded, terminating
% 89.90/87.89 eprover: CPU time limit exceeded, terminating
% 92.01/89.90 eprover: CPU time limit exceeded, terminating
% 94.06/91.91 eprover: CPU time limit exceeded, terminating
% 96.10/93.93 eprover: CPU time limit exceeded, terminating
% 98.21/95.94 eprover: CPU time limit exceeded, terminating
% 100.19/97.95 eprover: CPU time limit exceeded, terminating
% 102.30/99.97 eprover: CPU time limit exceeded, terminating
% 104.38/101.98 eprover: CPU time limit exceeded, terminating
% 106.46/103.99 eprover: CPU time limit exceeded, terminating
% 108.51/106.01 eprover: CPU time limit exceeded, terminating
% 110.56/108.03 eprover: CPU time limit exceeded, terminating
% 112.67/110.04 eprover: CPU time limit exceeded, terminating
% 114.74/112.05 eprover: CPU time limit exceeded, terminating
% 116.81/114.06 eprover: CPU time limit exceeded, terminating
% 118.87/116.07 eprover: CPU time limit exceeded, terminating
% 120.92/118.08 eprover: CPU time limit exceeded, terminating
% 122.96/120.09 eprover: CPU time limit exceeded, terminating
% 125.01/122.10 eprover: CPU time limit exceeded, terminating
% 127.07/124.12 eprover: CPU time limit exceeded, terminating
% 129.19/126.12 eprover: CPU time limit exceeded, terminating
% 131.26/128.14 eprover: CPU time limit exceeded, terminating
% 133.27/130.16 eprover: CPU time limit exceeded, terminating
% 135.39/132.17 eprover: CPU time limit exceeded, terminating
% 137.44/134.18 eprover: CPU time limit exceeded, terminating
% 139.52/136.18 eprover: CPU time limit exceeded, terminating
% 141.57/138.19 eprover: CPU time limit exceeded, terminating
% 143.59/140.20 eprover: CPU time limit exceeded, terminating
% 145.68/142.21 eprover: CPU time limit exceeded, terminating
% 147.76/144.22 eprover: CPU time limit exceeded, terminating
% 149.83/146.23 eprover: CPU time limit exceeded, terminating
% 151.84/148.24 eprover: CPU time limit exceeded, terminating
% 153.95/150.25 eprover: CPU time limit exceeded, terminating
% 156.02/152.26 eprover: CPU time limit exceeded, terminating
% 158.08/154.27 eprover: CPU time limit exceeded, terminating
% 160.12/156.28 eprover: CPU time limit exceeded, terminating
% 162.21/158.29 eprover: CPU time limit exceeded, terminating
% 164.28/160.30 eprover: CPU time limit exceeded, terminating
% 166.36/162.31 eprover: CPU time limit exceeded, terminating
% 168.37/164.32 eprover: CPU time limit exceeded, terminating
% 170.43/166.33 eprover: CPU time limit exceeded, terminating
% 172.51/168.34 eprover: CPU time limit exceeded, terminating
% 174.52/170.36 eprover: CPU time limit exceeded, terminating
% 176.57/172.37 eprover: CPU time limit exceeded, terminating
% 178.63/174.39 eprover: CPU time limit exceeded, terminating
% 180.73/176.41 eprover: CPU time limit exceeded, terminating
% 182.75/178.43 eprover: CPU time limit exceeded, terminating
% 184.83/180.44 eprover: CPU time limit exceeded, terminating
% 186.83/182.46 eprover: CPU time limit exceeded, terminating
% 188.93/184.47 eprover: CPU time limit exceeded, terminating
% 191.03/186.48 eprover: CPU time limit exceeded, terminating
% 193.04/188.50 eprover: CPU time limit exceeded, terminating
% 195.13/190.51 eprover: CPU time limit exceeded, terminating
% 197.12/192.53 eprover: CPU time limit exceeded, terminating
% 199.21/194.55 eprover: CPU time limit exceeded, terminating
% 201.28/196.56 eprover: CPU time limit exceeded, terminating
% 203.38/198.57 eprover: CPU time limit exceeded, terminating
% 205.39/200.58 eprover: CPU time limit exceeded, terminating
% 207.49/202.59 eprover: CPU time limit exceeded, terminating
% 209.51/204.60 eprover: CPU time limit exceeded, terminating
% 211.62/206.61 eprover: CPU time limit exceeded, terminating
% 213.71/208.62 eprover: CPU time limit exceeded, terminating
% 215.78/210.64 eprover: CPU time limit exceeded, terminating
% 217.85/212.65 eprover: CPU time limit exceeded, terminating
% 219.88/214.66 eprover: CPU time limit exceeded, terminating
% 221.94/216.67 eprover: CPU time limit exceeded, terminating
% 224.06/218.68 eprover: CPU time limit exceeded, terminating
% 226.11/220.69 eprover: CPU time limit exceeded, terminating
% 228.11/222.70 eprover: CPU time limit exceeded, terminating
% 230.24/224.71 eprover: CPU time limit exceeded, terminating
% 232.28/226.72 eprover: CPU time limit exceeded, terminating
% 234.36/228.73 eprover: CPU time limit exceeded, terminating
% 236.44/230.74 eprover: CPU time limit exceeded, terminating
% 238.46/232.75 eprover: CPU time limit exceeded, terminating
% 240.52/234.77 eprover: CPU time limit exceeded, terminating
% 242.58/236.78 eprover: CPU time limit exceeded, terminating
% 244.70/238.79 eprover: CPU time limit exceeded, terminating
% 246.76/240.80 eprover: CPU time limit exceeded, terminating
% 248.84/242.81 eprover: CPU time limit exceeded, terminating
% 250.89/244.82 eprover: CPU time limit exceeded, terminating
% 252.94/246.83 eprover: CPU time limit exceeded, terminating
% 255.01/248.84 eprover: CPU time limit exceeded, terminating
% 257.05/250.85 eprover: CPU time limit exceeded, terminating
% 259.08/252.86 eprover: CPU time limit exceeded, terminating
% 261.17/254.88 eprover: CPU time limit exceeded, terminating
% 263.25/256.89 eprover: CPU time limit exceeded, terminating
% 265.37/258.90 eprover: CPU time limit exceeded, terminating
% 267.44/260.91 eprover: CPU time limit exceeded, terminating
% 269.50/262.92 eprover: CPU time limit exceeded, terminating
% 271.55/264.93 eprover: CPU time limit exceeded, terminating
% 273.57/266.94 eprover: CPU time limit exceeded, terminating
% 275.66/268.95 eprover: CPU time limit exceeded, terminating
% 277.74/270.96 eprover: CPU time limit exceeded, terminating
% 279.76/272.97 eprover: CPU time limit exceeded, terminating
% 281.81/274.98 eprover: CPU time limit exceeded, terminating
% 283.88/276.99 eprover: CPU time limit exceeded, terminating
% 286.03/279.01 eprover: CPU time limit exceeded, terminating
% 288.10/281.02 eprover: CPU time limit exceeded, terminating
% 290.13/283.03 eprover: CPU time limit exceeded, terminating
% 292.21/285.04 eprover: CPU time limit exceeded, terminating
% 294.26/287.05 eprover: CPU time limit exceeded, terminating
% 296.28/289.06 eprover: CPU time limit exceeded, terminating
% 298.35/291.07 eprover: CPU time limit exceeded, terminating
% 300.03/292.61 eprover: CPU time limit exceeded, terminating
% 300.03/292.63 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------