TSTP Solution File: HWV066-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV066-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:09 EDT 2022
% Result : Timeout 287.45s 264.07s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : HWV066-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.13/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n027.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 05:33:21 EDT 2022
% 0.20/0.35 % CPUTime :
% 6.02/6.05 eprover: CPU time limit exceeded, terminating
% 8.27/8.09 eprover: CPU time limit exceeded, terminating
% 10.46/10.11 eprover: CPU time limit exceeded, terminating
% 12.63/12.12 eprover: CPU time limit exceeded, terminating
% 14.84/14.14 eprover: CPU time limit exceeded, terminating
% 16.99/16.16 eprover: CPU time limit exceeded, terminating
% 19.23/18.18 eprover: CPU time limit exceeded, terminating
% 21.43/20.19 eprover: CPU time limit exceeded, terminating
% 23.63/22.21 eprover: CPU time limit exceeded, terminating
% 25.80/24.23 eprover: CPU time limit exceeded, terminating
% 28.03/26.24 eprover: CPU time limit exceeded, terminating
% 30.17/28.26 eprover: CPU time limit exceeded, terminating
% 32.42/30.28 eprover: CPU time limit exceeded, terminating
% 34.65/32.30 eprover: CPU time limit exceeded, terminating
% 36.82/34.31 eprover: CPU time limit exceeded, terminating
% 39.02/36.33 eprover: CPU time limit exceeded, terminating
% 41.24/38.35 eprover: CPU time limit exceeded, terminating
% 43.39/40.36 eprover: CPU time limit exceeded, terminating
% 45.67/42.38 eprover: CPU time limit exceeded, terminating
% 47.86/44.40 eprover: CPU time limit exceeded, terminating
% 50.08/46.41 eprover: CPU time limit exceeded, terminating
% 52.29/48.43 eprover: CPU time limit exceeded, terminating
% 54.44/50.45 eprover: CPU time limit exceeded, terminating
% 56.70/52.47 eprover: CPU time limit exceeded, terminating
% 58.89/54.48 eprover: CPU time limit exceeded, terminating
% 61.06/56.50 eprover: CPU time limit exceeded, terminating
% 63.26/58.52 eprover: CPU time limit exceeded, terminating
% 65.51/60.53 eprover: CPU time limit exceeded, terminating
% 67.70/62.55 eprover: CPU time limit exceeded, terminating
% 69.87/64.57 eprover: CPU time limit exceeded, terminating
% 72.11/66.58 eprover: CPU time limit exceeded, terminating
% 74.28/68.60 eprover: CPU time limit exceeded, terminating
% 76.52/70.62 eprover: CPU time limit exceeded, terminating
% 78.69/72.64 eprover: CPU time limit exceeded, terminating
% 80.84/74.65 eprover: CPU time limit exceeded, terminating
% 83.08/76.67 eprover: CPU time limit exceeded, terminating
% 85.31/78.69 eprover: CPU time limit exceeded, terminating
% 87.52/80.71 eprover: CPU time limit exceeded, terminating
% 89.74/82.73 eprover: CPU time limit exceeded, terminating
% 91.91/84.75 eprover: CPU time limit exceeded, terminating
% 94.12/86.77 eprover: CPU time limit exceeded, terminating
% 96.28/88.78 eprover: CPU time limit exceeded, terminating
% 98.51/90.80 eprover: CPU time limit exceeded, terminating
% 100.67/92.82 eprover: CPU time limit exceeded, terminating
% 102.92/94.83 eprover: CPU time limit exceeded, terminating
% 105.05/96.85 eprover: CPU time limit exceeded, terminating
% 107.26/98.87 eprover: CPU time limit exceeded, terminating
% 109.50/100.88 eprover: CPU time limit exceeded, terminating
% 111.74/102.90 eprover: CPU time limit exceeded, terminating
% 113.94/104.92 eprover: CPU time limit exceeded, terminating
% 116.14/106.94 eprover: CPU time limit exceeded, terminating
% 118.32/108.95 eprover: CPU time limit exceeded, terminating
% 120.55/110.97 eprover: CPU time limit exceeded, terminating
% 122.76/112.99 eprover: CPU time limit exceeded, terminating
% 124.89/115.01 eprover: CPU time limit exceeded, terminating
% 127.11/117.02 eprover: CPU time limit exceeded, terminating
% 129.35/119.04 eprover: CPU time limit exceeded, terminating
% 131.56/121.06 eprover: CPU time limit exceeded, terminating
% 133.71/123.07 eprover: CPU time limit exceeded, terminating
% 135.93/125.09 eprover: CPU time limit exceeded, terminating
% 138.08/127.11 eprover: CPU time limit exceeded, terminating
% 140.36/129.13 eprover: CPU time limit exceeded, terminating
% 142.54/131.14 eprover: CPU time limit exceeded, terminating
% 144.74/133.16 eprover: CPU time limit exceeded, terminating
% 146.94/135.18 eprover: CPU time limit exceeded, terminating
% 149.09/137.20 eprover: CPU time limit exceeded, terminating
% 151.34/139.21 eprover: CPU time limit exceeded, terminating
% 153.57/141.23 eprover: CPU time limit exceeded, terminating
% 155.71/143.25 eprover: CPU time limit exceeded, terminating
% 157.90/145.26 eprover: CPU time limit exceeded, terminating
% 160.11/147.28 eprover: CPU time limit exceeded, terminating
% 162.34/149.30 eprover: CPU time limit exceeded, terminating
% 164.59/151.32 eprover: CPU time limit exceeded, terminating
% 166.78/153.33 eprover: CPU time limit exceeded, terminating
% 168.95/155.34 eprover: CPU time limit exceeded, terminating
% 171.14/157.35 eprover: CPU time limit exceeded, terminating
% 173.34/159.36 eprover: CPU time limit exceeded, terminating
% 175.49/161.38 eprover: CPU time limit exceeded, terminating
% 177.73/163.39 eprover: CPU time limit exceeded, terminating
% 179.90/165.40 eprover: CPU time limit exceeded, terminating
% 182.08/167.41 eprover: CPU time limit exceeded, terminating
% 184.29/169.43 eprover: CPU time limit exceeded, terminating
% 186.47/171.44 eprover: CPU time limit exceeded, terminating
% 188.68/173.45 eprover: CPU time limit exceeded, terminating
% 190.86/175.47 eprover: CPU time limit exceeded, terminating
% 193.03/177.48 eprover: CPU time limit exceeded, terminating
% 195.29/179.49 eprover: CPU time limit exceeded, terminating
% 197.49/181.51 eprover: CPU time limit exceeded, terminating
% 199.63/183.52 eprover: CPU time limit exceeded, terminating
% 201.87/185.53 eprover: CPU time limit exceeded, terminating
% 204.03/187.55 eprover: CPU time limit exceeded, terminating
% 206.25/189.56 eprover: CPU time limit exceeded, terminating
% 208.39/191.58 eprover: CPU time limit exceeded, terminating
% 210.62/193.59 eprover: CPU time limit exceeded, terminating
% 212.86/195.60 eprover: CPU time limit exceeded, terminating
% 215.06/197.62 eprover: CPU time limit exceeded, terminating
% 217.21/199.63 eprover: CPU time limit exceeded, terminating
% 219.43/201.65 eprover: CPU time limit exceeded, terminating
% 221.62/203.66 eprover: CPU time limit exceeded, terminating
% 223.78/205.67 eprover: CPU time limit exceeded, terminating
% 226.05/207.69 eprover: CPU time limit exceeded, terminating
% 228.14/209.70 eprover: CPU time limit exceeded, terminating
% 230.44/211.72 eprover: CPU time limit exceeded, terminating
% 232.60/213.73 eprover: CPU time limit exceeded, terminating
% 234.82/215.74 eprover: CPU time limit exceeded, terminating
% 236.96/217.76 eprover: CPU time limit exceeded, terminating
% 239.18/219.77 eprover: CPU time limit exceeded, terminating
% 241.42/221.79 eprover: CPU time limit exceeded, terminating
% 243.61/223.80 eprover: CPU time limit exceeded, terminating
% 245.78/225.81 eprover: CPU time limit exceeded, terminating
% 248.00/227.83 eprover: CPU time limit exceeded, terminating
% 250.14/229.84 eprover: CPU time limit exceeded, terminating
% 252.36/231.85 eprover: CPU time limit exceeded, terminating
% 254.56/233.87 eprover: CPU time limit exceeded, terminating
% 256.75/235.88 eprover: CPU time limit exceeded, terminating
% 258.97/237.89 eprover: CPU time limit exceeded, terminating
% 261.09/239.91 eprover: CPU time limit exceeded, terminating
% 263.31/241.92 eprover: CPU time limit exceeded, terminating
% 265.56/243.94 eprover: CPU time limit exceeded, terminating
% 267.70/245.95 eprover: CPU time limit exceeded, terminating
% 269.94/247.96 eprover: CPU time limit exceeded, terminating
% 272.14/249.98 eprover: CPU time limit exceeded, terminating
% 274.28/251.99 eprover: CPU time limit exceeded, terminating
% 276.52/254.00 eprover: CPU time limit exceeded, terminating
% 278.64/256.02 eprover: CPU time limit exceeded, terminating
% 280.89/258.03 eprover: CPU time limit exceeded, terminating
% 283.07/260.04 eprover: CPU time limit exceeded, terminating
% 285.23/262.06 eprover: CPU time limit exceeded, terminating
% 287.45/264.07 eprover: CPU time limit exceeded, terminating
% 289.70/266.08 eprover: CPU time limit exceeded, terminating
% 291.82/268.09 eprover: CPU time limit exceeded, terminating
% 294.06/270.11 eprover: CPU time limit exceeded, terminating
% 296.26/272.12 eprover: CPU time limit exceeded, terminating
% 298.43/274.13 eprover: CPU time limit exceeded, terminating
% 300.05/275.53 eprover: CPU time limit exceeded, terminating
% 300.05/275.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------