TSTP Solution File: HWV101+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV101+1 : TPTP v8.1.0. Released v6.1.0.
% 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:29 EDT 2022
% Result : Timeout 286.15s 262.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV101+1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n003.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:21:57 EDT 2022
% 0.14/0.35 % CPUTime :
% 8.37/8.36 eprover: CPU time limit exceeded, terminating
% 10.55/10.38 eprover: CPU time limit exceeded, terminating
% 12.82/12.40 eprover: CPU time limit exceeded, terminating
% 15.03/14.41 eprover: CPU time limit exceeded, terminating
% 17.26/16.43 eprover: CPU time limit exceeded, terminating
% 19.43/18.44 eprover: CPU time limit exceeded, terminating
% 21.65/20.46 eprover: CPU time limit exceeded, terminating
% 23.81/22.47 eprover: CPU time limit exceeded, terminating
% 26.05/24.49 eprover: CPU time limit exceeded, terminating
% 28.33/26.51 eprover: CPU time limit exceeded, terminating
% 30.43/28.52 eprover: CPU time limit exceeded, terminating
% 32.71/30.54 eprover: CPU time limit exceeded, terminating
% 34.95/32.55 eprover: CPU time limit exceeded, terminating
% 37.11/34.57 eprover: CPU time limit exceeded, terminating
% 39.33/36.58 eprover: CPU time limit exceeded, terminating
% 41.59/38.60 eprover: CPU time limit exceeded, terminating
% 43.80/40.61 eprover: CPU time limit exceeded, terminating
% 45.99/42.63 eprover: CPU time limit exceeded, terminating
% 48.22/44.65 eprover: CPU time limit exceeded, terminating
% 50.37/46.66 eprover: CPU time limit exceeded, terminating
% 52.61/48.68 eprover: CPU time limit exceeded, terminating
% 54.78/50.69 eprover: CPU time limit exceeded, terminating
% 57.03/52.71 eprover: CPU time limit exceeded, terminating
% 59.25/54.72 eprover: CPU time limit exceeded, terminating
% 61.43/56.73 eprover: CPU time limit exceeded, terminating
% 63.65/58.75 eprover: CPU time limit exceeded, terminating
% 65.84/60.76 eprover: CPU time limit exceeded, terminating
% 68.02/62.78 eprover: CPU time limit exceeded, terminating
% 70.23/64.79 eprover: CPU time limit exceeded, terminating
% 72.50/66.81 eprover: CPU time limit exceeded, terminating
% 74.69/68.82 eprover: CPU time limit exceeded, terminating
% 76.90/70.83 eprover: CPU time limit exceeded, terminating
% 79.04/72.85 eprover: CPU time limit exceeded, terminating
% 81.27/74.86 eprover: CPU time limit exceeded, terminating
% 83.45/76.87 eprover: CPU time limit exceeded, terminating
% 85.67/78.89 eprover: CPU time limit exceeded, terminating
% 87.92/80.90 eprover: CPU time limit exceeded, terminating
% 90.12/82.91 eprover: CPU time limit exceeded, terminating
% 92.28/84.93 eprover: CPU time limit exceeded, terminating
% 94.47/86.94 eprover: CPU time limit exceeded, terminating
% 96.68/88.96 eprover: CPU time limit exceeded, terminating
% 98.89/90.97 eprover: CPU time limit exceeded, terminating
% 101.05/92.98 eprover: CPU time limit exceeded, terminating
% 103.31/95.00 eprover: CPU time limit exceeded, terminating
% 105.52/97.01 eprover: CPU time limit exceeded, terminating
% 107.70/99.02 eprover: CPU time limit exceeded, terminating
% 109.88/101.03 eprover: CPU time limit exceeded, terminating
% 112.07/103.05 eprover: CPU time limit exceeded, terminating
% 114.26/105.06 eprover: CPU time limit exceeded, terminating
% 116.46/107.07 eprover: CPU time limit exceeded, terminating
% 118.72/109.09 eprover: CPU time limit exceeded, terminating
% 120.85/111.10 eprover: CPU time limit exceeded, terminating
% 123.11/113.11 eprover: CPU time limit exceeded, terminating
% 125.29/115.13 eprover: CPU time limit exceeded, terminating
% 127.51/117.14 eprover: CPU time limit exceeded, terminating
% 129.72/119.15 eprover: CPU time limit exceeded, terminating
% 131.89/121.17 eprover: CPU time limit exceeded, terminating
% 134.07/123.18 eprover: CPU time limit exceeded, terminating
% 136.27/125.19 eprover: CPU time limit exceeded, terminating
% 138.55/127.21 eprover: CPU time limit exceeded, terminating
% 140.74/129.22 eprover: CPU time limit exceeded, terminating
% 142.93/131.23 eprover: CPU time limit exceeded, terminating
% 145.12/133.25 eprover: CPU time limit exceeded, terminating
% 147.32/135.26 eprover: CPU time limit exceeded, terminating
% 149.51/137.27 eprover: CPU time limit exceeded, terminating
% 151.68/139.29 eprover: CPU time limit exceeded, terminating
% 153.96/141.30 eprover: CPU time limit exceeded, terminating
% 156.16/143.31 eprover: CPU time limit exceeded, terminating
% 158.37/145.33 eprover: CPU time limit exceeded, terminating
% 160.53/147.34 eprover: CPU time limit exceeded, terminating
% 162.75/149.35 eprover: CPU time limit exceeded, terminating
% 164.91/151.37 eprover: CPU time limit exceeded, terminating
% 167.11/153.38 eprover: CPU time limit exceeded, terminating
% 169.37/155.39 eprover: CPU time limit exceeded, terminating
% 171.49/157.41 eprover: CPU time limit exceeded, terminating
% 173.77/159.42 eprover: CPU time limit exceeded, terminating
% 175.96/161.43 eprover: CPU time limit exceeded, terminating
% 178.16/163.45 eprover: CPU time limit exceeded, terminating
% 180.35/165.46 eprover: CPU time limit exceeded, terminating
% 182.52/167.47 eprover: CPU time limit exceeded, terminating
% 184.73/169.48 eprover: CPU time limit exceeded, terminating
% 187.00/171.50 eprover: CPU time limit exceeded, terminating
% 189.20/173.51 eprover: CPU time limit exceeded, terminating
% 191.41/175.52 eprover: CPU time limit exceeded, terminating
% 193.59/177.54 eprover: CPU time limit exceeded, terminating
% 195.78/179.55 eprover: CPU time limit exceeded, terminating
% 197.95/181.56 eprover: CPU time limit exceeded, terminating
% 200.14/183.58 eprover: CPU time limit exceeded, terminating
% 202.42/185.59 eprover: CPU time limit exceeded, terminating
% 204.61/187.60 eprover: CPU time limit exceeded, terminating
% 206.83/189.62 eprover: CPU time limit exceeded, terminating
% 208.99/191.63 eprover: CPU time limit exceeded, terminating
% 211.19/193.64 eprover: CPU time limit exceeded, terminating
% 213.39/195.66 eprover: CPU time limit exceeded, terminating
% 215.56/197.67 eprover: CPU time limit exceeded, terminating
% 217.77/199.68 eprover: CPU time limit exceeded, terminating
% 219.95/201.70 eprover: CPU time limit exceeded, terminating
% 222.21/203.71 eprover: CPU time limit exceeded, terminating
% 224.43/205.72 eprover: CPU time limit exceeded, terminating
% 226.62/207.73 eprover: CPU time limit exceeded, terminating
% 228.83/209.75 eprover: CPU time limit exceeded, terminating
% 230.99/211.76 eprover: CPU time limit exceeded, terminating
% 233.18/213.78 eprover: CPU time limit exceeded, terminating
% 235.36/215.79 eprover: CPU time limit exceeded, terminating
% 237.66/217.80 eprover: CPU time limit exceeded, terminating
% 239.85/219.82 eprover: CPU time limit exceeded, terminating
% 242.05/221.83 eprover: CPU time limit exceeded, terminating
% 244.25/223.85 eprover: CPU time limit exceeded, terminating
% 246.42/225.86 eprover: CPU time limit exceeded, terminating
% 248.62/227.88 eprover: CPU time limit exceeded, terminating
% 250.82/229.89 eprover: CPU time limit exceeded, terminating
% 253.09/231.90 eprover: CPU time limit exceeded, terminating
% 255.26/233.93 eprover: CPU time limit exceeded, terminating
% 257.46/235.94 eprover: CPU time limit exceeded, terminating
% 259.64/237.96 eprover: CPU time limit exceeded, terminating
% 261.84/239.97 eprover: CPU time limit exceeded, terminating
% 264.12/241.99 eprover: CPU time limit exceeded, terminating
% 266.32/244.00 eprover: CPU time limit exceeded, terminating
% 268.54/246.01 eprover: CPU time limit exceeded, terminating
% 270.73/248.03 eprover: CPU time limit exceeded, terminating
% 272.89/250.04 eprover: CPU time limit exceeded, terminating
% 275.09/252.06 eprover: CPU time limit exceeded, terminating
% 277.30/254.07 eprover: CPU time limit exceeded, terminating
% 279.54/256.09 eprover: CPU time limit exceeded, terminating
% 281.75/258.10 eprover: CPU time limit exceeded, terminating
% 283.93/260.11 eprover: CPU time limit exceeded, terminating
% 286.15/262.13 eprover: CPU time limit exceeded, terminating
% 288.31/264.14 eprover: CPU time limit exceeded, terminating
% 290.52/266.16 eprover: CPU time limit exceeded, terminating
% 292.69/268.17 eprover: CPU time limit exceeded, terminating
% 294.92/270.19 eprover: CPU time limit exceeded, terminating
% 297.16/272.20 eprover: CPU time limit exceeded, terminating
% 299.35/274.21 eprover: CPU time limit exceeded, terminating
% 300.05/274.81 eprover: CPU time limit exceeded, terminating
% 300.05/274.82 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------