TSTP Solution File: HWV115+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV115+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:41 EDT 2022
% Result : Timeout 287.51s 277.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : HWV115+1 : TPTP v8.1.0. Released v6.1.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.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 : Fri Jun 17 03:55:15 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.87/4.02 eprover: CPU time limit exceeded, terminating
% 5.94/6.04 eprover: CPU time limit exceeded, terminating
% 8.03/8.05 eprover: CPU time limit exceeded, terminating
% 10.08/10.07 eprover: CPU time limit exceeded, terminating
% 12.17/12.08 eprover: CPU time limit exceeded, terminating
% 14.23/14.10 eprover: CPU time limit exceeded, terminating
% 16.32/16.11 eprover: CPU time limit exceeded, terminating
% 18.38/18.13 eprover: CPU time limit exceeded, terminating
% 20.43/20.14 eprover: CPU time limit exceeded, terminating
% 22.53/22.16 eprover: CPU time limit exceeded, terminating
% 24.61/24.17 eprover: CPU time limit exceeded, terminating
% 26.65/26.18 eprover: CPU time limit exceeded, terminating
% 28.76/28.20 eprover: CPU time limit exceeded, terminating
% 30.76/30.21 eprover: CPU time limit exceeded, terminating
% 32.88/32.22 eprover: CPU time limit exceeded, terminating
% 34.96/34.24 eprover: CPU time limit exceeded, terminating
% 37.01/36.25 eprover: CPU time limit exceeded, terminating
% 39.09/38.27 eprover: CPU time limit exceeded, terminating
% 41.18/40.29 eprover: CPU time limit exceeded, terminating
% 43.24/42.30 eprover: CPU time limit exceeded, terminating
% 45.30/44.32 eprover: CPU time limit exceeded, terminating
% 47.36/46.33 eprover: CPU time limit exceeded, terminating
% 49.44/48.34 eprover: CPU time limit exceeded, terminating
% 51.49/50.36 eprover: CPU time limit exceeded, terminating
% 53.59/52.37 eprover: CPU time limit exceeded, terminating
% 55.68/54.39 eprover: CPU time limit exceeded, terminating
% 57.69/56.40 eprover: CPU time limit exceeded, terminating
% 59.80/58.42 eprover: CPU time limit exceeded, terminating
% 61.89/60.43 eprover: CPU time limit exceeded, terminating
% 63.97/62.45 eprover: CPU time limit exceeded, terminating
% 65.99/64.46 eprover: CPU time limit exceeded, terminating
% 68.12/66.48 eprover: CPU time limit exceeded, terminating
% 70.13/68.49 eprover: CPU time limit exceeded, terminating
% 72.26/70.51 eprover: CPU time limit exceeded, terminating
% 74.33/72.52 eprover: CPU time limit exceeded, terminating
% 76.38/74.54 eprover: CPU time limit exceeded, terminating
% 78.47/76.56 eprover: CPU time limit exceeded, terminating
% 80.48/78.57 eprover: CPU time limit exceeded, terminating
% 82.62/80.58 eprover: CPU time limit exceeded, terminating
% 84.65/82.60 eprover: CPU time limit exceeded, terminating
% 86.78/84.61 eprover: CPU time limit exceeded, terminating
% 88.83/86.63 eprover: CPU time limit exceeded, terminating
% 90.90/88.64 eprover: CPU time limit exceeded, terminating
% 92.93/90.66 eprover: CPU time limit exceeded, terminating
% 95.00/92.67 eprover: CPU time limit exceeded, terminating
% 97.08/94.69 eprover: CPU time limit exceeded, terminating
% 99.21/96.70 eprover: CPU time limit exceeded, terminating
% 101.28/98.72 eprover: CPU time limit exceeded, terminating
% 103.33/100.73 eprover: CPU time limit exceeded, terminating
% 105.41/102.75 eprover: CPU time limit exceeded, terminating
% 107.46/104.76 eprover: CPU time limit exceeded, terminating
% 109.52/106.78 eprover: CPU time limit exceeded, terminating
% 111.54/108.79 eprover: CPU time limit exceeded, terminating
% 113.69/110.81 eprover: CPU time limit exceeded, terminating
% 115.78/112.82 eprover: CPU time limit exceeded, terminating
% 117.82/114.84 eprover: CPU time limit exceeded, terminating
% 119.93/116.85 eprover: CPU time limit exceeded, terminating
% 121.96/118.87 eprover: CPU time limit exceeded, terminating
% 124.03/120.88 eprover: CPU time limit exceeded, terminating
% 126.15/122.90 eprover: CPU time limit exceeded, terminating
% 128.19/124.91 eprover: CPU time limit exceeded, terminating
% 130.26/126.93 eprover: CPU time limit exceeded, terminating
% 132.35/128.94 eprover: CPU time limit exceeded, terminating
% 134.40/130.96 eprover: CPU time limit exceeded, terminating
% 136.43/132.97 eprover: CPU time limit exceeded, terminating
% 138.50/134.99 eprover: CPU time limit exceeded, terminating
% 140.66/137.00 eprover: CPU time limit exceeded, terminating
% 142.71/139.02 eprover: CPU time limit exceeded, terminating
% 144.78/141.03 eprover: CPU time limit exceeded, terminating
% 146.82/143.05 eprover: CPU time limit exceeded, terminating
% 148.90/145.06 eprover: CPU time limit exceeded, terminating
% 151.02/147.08 eprover: CPU time limit exceeded, terminating
% 153.10/149.09 eprover: CPU time limit exceeded, terminating
% 155.09/151.11 eprover: CPU time limit exceeded, terminating
% 157.23/153.12 eprover: CPU time limit exceeded, terminating
% 159.28/155.14 eprover: CPU time limit exceeded, terminating
% 161.36/157.15 eprover: CPU time limit exceeded, terminating
% 163.41/159.17 eprover: CPU time limit exceeded, terminating
% 165.52/161.18 eprover: CPU time limit exceeded, terminating
% 167.59/163.19 eprover: CPU time limit exceeded, terminating
% 169.65/165.20 eprover: CPU time limit exceeded, terminating
% 171.69/167.22 eprover: CPU time limit exceeded, terminating
% 173.78/169.23 eprover: CPU time limit exceeded, terminating
% 175.87/171.25 eprover: CPU time limit exceeded, terminating
% 177.88/173.26 eprover: CPU time limit exceeded, terminating
% 179.98/175.28 eprover: CPU time limit exceeded, terminating
% 182.03/177.29 eprover: CPU time limit exceeded, terminating
% 184.11/179.31 eprover: CPU time limit exceeded, terminating
% 186.18/181.32 eprover: CPU time limit exceeded, terminating
% 188.29/183.34 eprover: CPU time limit exceeded, terminating
% 190.37/185.35 eprover: CPU time limit exceeded, terminating
% 192.43/187.37 eprover: CPU time limit exceeded, terminating
% 194.52/189.38 eprover: CPU time limit exceeded, terminating
% 196.59/191.40 eprover: CPU time limit exceeded, terminating
% 198.62/193.41 eprover: CPU time limit exceeded, terminating
% 200.73/195.42 eprover: CPU time limit exceeded, terminating
% 202.77/197.44 eprover: CPU time limit exceeded, terminating
% 204.86/199.46 eprover: CPU time limit exceeded, terminating
% 206.94/201.47 eprover: CPU time limit exceeded, terminating
% 209.02/203.49 eprover: CPU time limit exceeded, terminating
% 211.08/205.50 eprover: CPU time limit exceeded, terminating
% 213.08/207.51 eprover: CPU time limit exceeded, terminating
% 215.19/209.53 eprover: CPU time limit exceeded, terminating
% 217.23/211.54 eprover: CPU time limit exceeded, terminating
% 219.35/213.56 eprover: CPU time limit exceeded, terminating
% 221.45/215.57 eprover: CPU time limit exceeded, terminating
% 223.53/217.59 eprover: CPU time limit exceeded, terminating
% 225.55/219.60 eprover: CPU time limit exceeded, terminating
% 227.67/221.62 eprover: CPU time limit exceeded, terminating
% 229.75/223.63 eprover: CPU time limit exceeded, terminating
% 231.81/225.64 eprover: CPU time limit exceeded, terminating
% 233.88/227.66 eprover: CPU time limit exceeded, terminating
% 235.96/229.67 eprover: CPU time limit exceeded, terminating
% 237.98/231.68 eprover: CPU time limit exceeded, terminating
% 240.09/233.69 eprover: CPU time limit exceeded, terminating
% 242.15/235.70 eprover: CPU time limit exceeded, terminating
% 244.20/237.71 eprover: CPU time limit exceeded, terminating
% 246.28/239.73 eprover: CPU time limit exceeded, terminating
% 248.27/241.74 eprover: CPU time limit exceeded, terminating
% 250.38/243.75 eprover: CPU time limit exceeded, terminating
% 252.46/245.76 eprover: CPU time limit exceeded, terminating
% 254.56/247.78 eprover: CPU time limit exceeded, terminating
% 256.63/249.79 eprover: CPU time limit exceeded, terminating
% 258.71/251.80 eprover: CPU time limit exceeded, terminating
% 260.76/253.82 eprover: CPU time limit exceeded, terminating
% 262.84/255.83 eprover: CPU time limit exceeded, terminating
% 264.89/257.85 eprover: CPU time limit exceeded, terminating
% 266.97/259.86 eprover: CPU time limit exceeded, terminating
% 269.04/261.88 eprover: CPU time limit exceeded, terminating
% 271.07/263.89 eprover: CPU time limit exceeded, terminating
% 273.21/265.90 eprover: CPU time limit exceeded, terminating
% 275.28/267.92 eprover: CPU time limit exceeded, terminating
% 277.27/269.93 eprover: CPU time limit exceeded, terminating
% 281.32/271.95 eprover: CPU time limit exceeded, terminating
% 283.38/273.96 eprover: CPU time limit exceeded, terminating
% 285.45/275.98 eprover: CPU time limit exceeded, terminating
% 287.51/277.99 eprover: CPU time limit exceeded, terminating
% 289.61/280.01 eprover: CPU time limit exceeded, terminating
% 291.68/282.02 eprover: CPU time limit exceeded, terminating
% 293.67/284.04 eprover: CPU time limit exceeded, terminating
% 295.76/286.05 eprover: CPU time limit exceeded, terminating
% 297.85/288.07 eprover: CPU time limit exceeded, terminating
% 299.93/290.08 eprover: CPU time limit exceeded, terminating
% 300.25/290.39 eprover: CPU time limit exceeded, terminating
% 300.25/290.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------