TSTP Solution File: HWV122+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV122+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:47 EDT 2022
% Result : Timeout 286.68s 258.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV122+1 : TPTP v8.1.0. Released v6.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.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 22:52:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.75/9.77 eprover: CPU time limit exceeded, terminating
% 12.07/11.79 eprover: CPU time limit exceeded, terminating
% 14.33/13.80 eprover: CPU time limit exceeded, terminating
% 16.54/15.82 eprover: CPU time limit exceeded, terminating
% 18.80/17.83 eprover: CPU time limit exceeded, terminating
% 21.02/19.85 eprover: CPU time limit exceeded, terminating
% 23.25/21.87 eprover: CPU time limit exceeded, terminating
% 25.56/23.89 eprover: CPU time limit exceeded, terminating
% 27.80/25.90 eprover: CPU time limit exceeded, terminating
% 30.07/27.92 eprover: CPU time limit exceeded, terminating
% 32.31/29.94 eprover: CPU time limit exceeded, terminating
% 34.51/31.95 eprover: CPU time limit exceeded, terminating
% 36.77/33.96 eprover: CPU time limit exceeded, terminating
% 38.97/35.98 eprover: CPU time limit exceeded, terminating
% 41.28/38.00 eprover: CPU time limit exceeded, terminating
% 43.57/40.02 eprover: CPU time limit exceeded, terminating
% 45.79/42.03 eprover: CPU time limit exceeded, terminating
% 47.99/44.05 eprover: CPU time limit exceeded, terminating
% 50.25/46.07 eprover: CPU time limit exceeded, terminating
% 52.50/48.09 eprover: CPU time limit exceeded, terminating
% 54.65/50.11 eprover: CPU time limit exceeded, terminating
% 56.98/52.13 eprover: CPU time limit exceeded, terminating
% 59.23/54.15 eprover: CPU time limit exceeded, terminating
% 61.49/56.16 eprover: CPU time limit exceeded, terminating
% 63.72/58.19 eprover: CPU time limit exceeded, terminating
% 66.03/60.21 eprover: CPU time limit exceeded, terminating
% 68.24/62.23 eprover: CPU time limit exceeded, terminating
% 70.50/64.25 eprover: CPU time limit exceeded, terminating
% 72.73/66.27 eprover: CPU time limit exceeded, terminating
% 74.93/68.29 eprover: CPU time limit exceeded, terminating
% 77.23/70.31 eprover: CPU time limit exceeded, terminating
% 79.53/72.33 eprover: CPU time limit exceeded, terminating
% 81.71/74.35 eprover: CPU time limit exceeded, terminating
% 83.98/76.37 eprover: CPU time limit exceeded, terminating
% 86.23/78.39 eprover: CPU time limit exceeded, terminating
% 88.52/80.41 eprover: CPU time limit exceeded, terminating
% 90.76/82.43 eprover: CPU time limit exceeded, terminating
% 93.00/84.45 eprover: CPU time limit exceeded, terminating
% 95.22/86.47 eprover: CPU time limit exceeded, terminating
% 97.53/88.49 eprover: CPU time limit exceeded, terminating
% 99.78/90.51 eprover: CPU time limit exceeded, terminating
% 101.96/92.53 eprover: CPU time limit exceeded, terminating
% 104.24/94.54 eprover: CPU time limit exceeded, terminating
% 106.51/96.56 eprover: CPU time limit exceeded, terminating
% 108.76/98.58 eprover: CPU time limit exceeded, terminating
% 110.98/100.60 eprover: CPU time limit exceeded, terminating
% 113.28/102.62 eprover: CPU time limit exceeded, terminating
% 115.53/104.64 eprover: CPU time limit exceeded, terminating
% 117.75/106.65 eprover: CPU time limit exceeded, terminating
% 120.03/108.67 eprover: CPU time limit exceeded, terminating
% 122.29/110.70 eprover: CPU time limit exceeded, terminating
% 124.51/112.72 eprover: CPU time limit exceeded, terminating
% 126.77/114.73 eprover: CPU time limit exceeded, terminating
% 128.97/116.75 eprover: CPU time limit exceeded, terminating
% 131.25/118.77 eprover: CPU time limit exceeded, terminating
% 133.44/120.79 eprover: CPU time limit exceeded, terminating
% 135.71/122.81 eprover: CPU time limit exceeded, terminating
% 138.00/124.83 eprover: CPU time limit exceeded, terminating
% 140.24/126.84 eprover: CPU time limit exceeded, terminating
% 142.45/128.86 eprover: CPU time limit exceeded, terminating
% 144.71/130.88 eprover: CPU time limit exceeded, terminating
% 147.00/132.90 eprover: CPU time limit exceeded, terminating
% 149.21/134.92 eprover: CPU time limit exceeded, terminating
% 151.54/136.93 eprover: CPU time limit exceeded, terminating
% 153.76/138.96 eprover: CPU time limit exceeded, terminating
% 156.03/140.98 eprover: CPU time limit exceeded, terminating
% 158.25/143.00 eprover: CPU time limit exceeded, terminating
% 160.53/145.02 eprover: CPU time limit exceeded, terminating
% 162.70/147.04 eprover: CPU time limit exceeded, terminating
% 165.02/149.06 eprover: CPU time limit exceeded, terminating
% 167.25/151.07 eprover: CPU time limit exceeded, terminating
% 169.52/153.09 eprover: CPU time limit exceeded, terminating
% 171.75/155.11 eprover: CPU time limit exceeded, terminating
% 174.02/157.14 eprover: CPU time limit exceeded, terminating
% 176.27/159.15 eprover: CPU time limit exceeded, terminating
% 178.49/161.17 eprover: CPU time limit exceeded, terminating
% 180.76/163.19 eprover: CPU time limit exceeded, terminating
% 183.03/165.21 eprover: CPU time limit exceeded, terminating
% 185.27/167.23 eprover: CPU time limit exceeded, terminating
% 187.45/169.25 eprover: CPU time limit exceeded, terminating
% 189.75/171.26 eprover: CPU time limit exceeded, terminating
% 192.04/173.28 eprover: CPU time limit exceeded, terminating
% 194.27/175.30 eprover: CPU time limit exceeded, terminating
% 196.48/177.32 eprover: CPU time limit exceeded, terminating
% 198.75/179.34 eprover: CPU time limit exceeded, terminating
% 200.99/181.35 eprover: CPU time limit exceeded, terminating
% 203.28/183.37 eprover: CPU time limit exceeded, terminating
% 205.51/185.39 eprover: CPU time limit exceeded, terminating
% 207.74/187.41 eprover: CPU time limit exceeded, terminating
% 210.00/189.43 eprover: CPU time limit exceeded, terminating
% 212.28/191.44 eprover: CPU time limit exceeded, terminating
% 214.56/193.46 eprover: CPU time limit exceeded, terminating
% 216.79/195.48 eprover: CPU time limit exceeded, terminating
% 219.03/197.50 eprover: CPU time limit exceeded, terminating
% 221.33/199.52 eprover: CPU time limit exceeded, terminating
% 223.53/201.54 eprover: CPU time limit exceeded, terminating
% 225.82/203.55 eprover: CPU time limit exceeded, terminating
% 228.08/205.57 eprover: CPU time limit exceeded, terminating
% 230.31/207.59 eprover: CPU time limit exceeded, terminating
% 232.55/209.61 eprover: CPU time limit exceeded, terminating
% 234.81/211.63 eprover: CPU time limit exceeded, terminating
% 237.10/213.65 eprover: CPU time limit exceeded, terminating
% 239.34/215.67 eprover: CPU time limit exceeded, terminating
% 241.58/217.69 eprover: CPU time limit exceeded, terminating
% 243.82/219.71 eprover: CPU time limit exceeded, terminating
% 246.07/221.73 eprover: CPU time limit exceeded, terminating
% 248.35/223.75 eprover: CPU time limit exceeded, terminating
% 250.62/225.77 eprover: CPU time limit exceeded, terminating
% 252.86/227.79 eprover: CPU time limit exceeded, terminating
% 255.09/229.81 eprover: CPU time limit exceeded, terminating
% 257.37/231.82 eprover: CPU time limit exceeded, terminating
% 259.63/233.84 eprover: CPU time limit exceeded, terminating
% 261.87/235.86 eprover: CPU time limit exceeded, terminating
% 264.15/237.88 eprover: CPU time limit exceeded, terminating
% 266.43/239.90 eprover: CPU time limit exceeded, terminating
% 268.62/241.92 eprover: CPU time limit exceeded, terminating
% 270.93/243.94 eprover: CPU time limit exceeded, terminating
% 273.15/245.96 eprover: CPU time limit exceeded, terminating
% 275.41/247.98 eprover: CPU time limit exceeded, terminating
% 277.69/250.00 eprover: CPU time limit exceeded, terminating
% 279.87/252.02 eprover: CPU time limit exceeded, terminating
% 282.17/254.04 eprover: CPU time limit exceeded, terminating
% 284.45/256.06 eprover: CPU time limit exceeded, terminating
% 286.68/258.08 eprover: CPU time limit exceeded, terminating
% 288.89/260.10 eprover: CPU time limit exceeded, terminating
% 291.12/262.12 eprover: CPU time limit exceeded, terminating
% 293.44/264.14 eprover: CPU time limit exceeded, terminating
% 295.68/266.17 eprover: CPU time limit exceeded, terminating
% 297.91/268.18 eprover: CPU time limit exceeded, terminating
% 300.07/270.06 eprover: CPU time limit exceeded, terminating
% 300.07/270.07 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------