TSTP Solution File: HWV103-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV103-1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:31 EDT 2022
% Result : Timeout 286.35s 251.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : HWV103-1 : TPTP v8.1.0. Released v6.1.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n025.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:05:57 EDT 2022
% 0.13/0.34 % CPUTime :
% 7.68/7.57 eprover: CPU time limit exceeded, terminating
% 10.00/9.60 eprover: CPU time limit exceeded, terminating
% 12.29/11.61 eprover: CPU time limit exceeded, terminating
% 14.59/13.63 eprover: CPU time limit exceeded, terminating
% 16.88/15.64 eprover: CPU time limit exceeded, terminating
% 19.22/17.65 eprover: CPU time limit exceeded, terminating
% 21.54/19.66 eprover: CPU time limit exceeded, terminating
% 23.77/21.67 eprover: CPU time limit exceeded, terminating
% 26.15/23.69 eprover: CPU time limit exceeded, terminating
% 28.49/25.70 eprover: CPU time limit exceeded, terminating
% 30.74/27.71 eprover: CPU time limit exceeded, terminating
% 33.08/29.72 eprover: CPU time limit exceeded, terminating
% 35.42/31.74 eprover: CPU time limit exceeded, terminating
% 37.63/33.75 eprover: CPU time limit exceeded, terminating
% 40.00/35.76 eprover: CPU time limit exceeded, terminating
% 42.33/37.78 eprover: CPU time limit exceeded, terminating
% 44.57/39.79 eprover: CPU time limit exceeded, terminating
% 46.93/41.80 eprover: CPU time limit exceeded, terminating
% 49.19/43.81 eprover: CPU time limit exceeded, terminating
% 51.57/45.83 eprover: CPU time limit exceeded, terminating
% 53.83/47.84 eprover: CPU time limit exceeded, terminating
% 56.19/49.85 eprover: CPU time limit exceeded, terminating
% 58.52/51.86 eprover: CPU time limit exceeded, terminating
% 60.84/53.88 eprover: CPU time limit exceeded, terminating
% 63.09/55.89 eprover: CPU time limit exceeded, terminating
% 65.44/57.90 eprover: CPU time limit exceeded, terminating
% 67.69/59.91 eprover: CPU time limit exceeded, terminating
% 70.04/61.92 eprover: CPU time limit exceeded, terminating
% 72.30/63.94 eprover: CPU time limit exceeded, terminating
% 74.64/65.95 eprover: CPU time limit exceeded, terminating
% 76.94/67.97 eprover: CPU time limit exceeded, terminating
% 79.26/69.98 eprover: CPU time limit exceeded, terminating
% 81.50/71.99 eprover: CPU time limit exceeded, terminating
% 83.86/74.00 eprover: CPU time limit exceeded, terminating
% 86.15/76.02 eprover: CPU time limit exceeded, terminating
% 88.43/78.03 eprover: CPU time limit exceeded, terminating
% 90.74/80.04 eprover: CPU time limit exceeded, terminating
% 93.03/82.05 eprover: CPU time limit exceeded, terminating
% 95.35/84.07 eprover: CPU time limit exceeded, terminating
% 97.73/86.08 eprover: CPU time limit exceeded, terminating
% 100.02/88.09 eprover: CPU time limit exceeded, terminating
% 102.27/90.11 eprover: CPU time limit exceeded, terminating
% 104.60/92.12 eprover: CPU time limit exceeded, terminating
% 106.96/94.14 eprover: CPU time limit exceeded, terminating
% 109.28/96.15 eprover: CPU time limit exceeded, terminating
% 111.54/98.16 eprover: CPU time limit exceeded, terminating
% 113.91/100.18 eprover: CPU time limit exceeded, terminating
% 116.21/102.19 eprover: CPU time limit exceeded, terminating
% 118.45/104.20 eprover: CPU time limit exceeded, terminating
% 120.81/106.21 eprover: CPU time limit exceeded, terminating
% 123.13/108.23 eprover: CPU time limit exceeded, terminating
% 125.39/110.24 eprover: CPU time limit exceeded, terminating
% 127.69/112.25 eprover: CPU time limit exceeded, terminating
% 130.00/114.26 eprover: CPU time limit exceeded, terminating
% 132.24/116.28 eprover: CPU time limit exceeded, terminating
% 134.60/118.29 eprover: CPU time limit exceeded, terminating
% 136.89/120.30 eprover: CPU time limit exceeded, terminating
% 139.14/122.31 eprover: CPU time limit exceeded, terminating
% 141.49/124.32 eprover: CPU time limit exceeded, terminating
% 143.78/126.34 eprover: CPU time limit exceeded, terminating
% 146.11/128.36 eprover: CPU time limit exceeded, terminating
% 148.43/130.39 eprover: CPU time limit exceeded, terminating
% 150.66/132.40 eprover: CPU time limit exceeded, terminating
% 152.97/134.41 eprover: CPU time limit exceeded, terminating
% 155.25/136.42 eprover: CPU time limit exceeded, terminating
% 157.50/138.44 eprover: CPU time limit exceeded, terminating
% 159.79/140.46 eprover: CPU time limit exceeded, terminating
% 162.10/142.47 eprover: CPU time limit exceeded, terminating
% 164.33/144.49 eprover: CPU time limit exceeded, terminating
% 166.67/146.50 eprover: CPU time limit exceeded, terminating
% 168.95/148.52 eprover: CPU time limit exceeded, terminating
% 171.24/150.53 eprover: CPU time limit exceeded, terminating
% 173.50/152.54 eprover: CPU time limit exceeded, terminating
% 175.72/154.57 eprover: CPU time limit exceeded, terminating
% 178.01/156.59 eprover: CPU time limit exceeded, terminating
% 180.31/158.61 eprover: CPU time limit exceeded, terminating
% 182.60/160.62 eprover: CPU time limit exceeded, terminating
% 184.85/162.64 eprover: CPU time limit exceeded, terminating
% 187.18/164.65 eprover: CPU time limit exceeded, terminating
% 189.46/166.66 eprover: CPU time limit exceeded, terminating
% 191.80/168.67 eprover: CPU time limit exceeded, terminating
% 194.11/170.68 eprover: CPU time limit exceeded, terminating
% 196.41/172.70 eprover: CPU time limit exceeded, terminating
% 198.75/174.71 eprover: CPU time limit exceeded, terminating
% 200.98/176.72 eprover: CPU time limit exceeded, terminating
% 203.30/178.73 eprover: CPU time limit exceeded, terminating
% 205.64/180.75 eprover: CPU time limit exceeded, terminating
% 207.88/182.76 eprover: CPU time limit exceeded, terminating
% 210.21/184.77 eprover: CPU time limit exceeded, terminating
% 212.53/186.78 eprover: CPU time limit exceeded, terminating
% 214.78/188.80 eprover: CPU time limit exceeded, terminating
% 217.14/190.81 eprover: CPU time limit exceeded, terminating
% 219.42/192.82 eprover: CPU time limit exceeded, terminating
% 221.76/194.83 eprover: CPU time limit exceeded, terminating
% 224.09/196.85 eprover: CPU time limit exceeded, terminating
% 226.38/198.86 eprover: CPU time limit exceeded, terminating
% 228.74/200.87 eprover: CPU time limit exceeded, terminating
% 231.00/202.88 eprover: CPU time limit exceeded, terminating
% 233.31/204.90 eprover: CPU time limit exceeded, terminating
% 235.58/206.92 eprover: CPU time limit exceeded, terminating
% 237.93/208.93 eprover: CPU time limit exceeded, terminating
% 240.24/210.94 eprover: CPU time limit exceeded, terminating
% 242.50/212.95 eprover: CPU time limit exceeded, terminating
% 244.88/214.96 eprover: CPU time limit exceeded, terminating
% 247.19/216.98 eprover: CPU time limit exceeded, terminating
% 249.49/218.99 eprover: CPU time limit exceeded, terminating
% 251.77/221.00 eprover: CPU time limit exceeded, terminating
% 254.06/223.01 eprover: CPU time limit exceeded, terminating
% 256.38/225.03 eprover: CPU time limit exceeded, terminating
% 258.75/227.04 eprover: CPU time limit exceeded, terminating
% 261.01/229.06 eprover: CPU time limit exceeded, terminating
% 263.39/231.07 eprover: CPU time limit exceeded, terminating
% 265.59/233.09 eprover: CPU time limit exceeded, terminating
% 267.90/235.10 eprover: CPU time limit exceeded, terminating
% 270.14/237.11 eprover: CPU time limit exceeded, terminating
% 272.48/239.13 eprover: CPU time limit exceeded, terminating
% 274.81/241.14 eprover: CPU time limit exceeded, terminating
% 277.14/243.16 eprover: CPU time limit exceeded, terminating
% 279.42/245.17 eprover: CPU time limit exceeded, terminating
% 281.72/247.18 eprover: CPU time limit exceeded, terminating
% 284.01/249.19 eprover: CPU time limit exceeded, terminating
% 286.35/251.20 eprover: CPU time limit exceeded, terminating
% 288.65/253.22 eprover: CPU time limit exceeded, terminating
% 290.89/255.23 eprover: CPU time limit exceeded, terminating
% 293.25/257.25 eprover: CPU time limit exceeded, terminating
% 295.59/259.27 eprover: CPU time limit exceeded, terminating
% 297.92/261.28 eprover: CPU time limit exceeded, terminating
% 300.02/263.09 eprover: CPU time limit exceeded, terminating
% 300.02/263.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------