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 : n019.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.56s 251.15s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : HWV101-1 : TPTP v8.1.0. Released v6.1.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n019.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 17 07:44:39 EDT 2022
% 0.12/0.34 % CPUTime :
% 7.63/7.51 eprover: CPU time limit exceeded, terminating
% 9.97/9.54 eprover: CPU time limit exceeded, terminating
% 12.22/11.55 eprover: CPU time limit exceeded, terminating
% 14.58/13.56 eprover: CPU time limit exceeded, terminating
% 16.90/15.58 eprover: CPU time limit exceeded, terminating
% 19.17/17.59 eprover: CPU time limit exceeded, terminating
% 21.48/19.60 eprover: CPU time limit exceeded, terminating
% 23.75/21.62 eprover: CPU time limit exceeded, terminating
% 26.13/23.63 eprover: CPU time limit exceeded, terminating
% 28.40/25.64 eprover: CPU time limit exceeded, terminating
% 30.73/27.66 eprover: CPU time limit exceeded, terminating
% 33.05/29.67 eprover: CPU time limit exceeded, terminating
% 35.35/31.68 eprover: CPU time limit exceeded, terminating
% 37.64/33.70 eprover: CPU time limit exceeded, terminating
% 39.93/35.71 eprover: CPU time limit exceeded, terminating
% 42.21/37.72 eprover: CPU time limit exceeded, terminating
% 44.57/39.74 eprover: CPU time limit exceeded, terminating
% 46.90/41.75 eprover: CPU time limit exceeded, terminating
% 49.18/43.76 eprover: CPU time limit exceeded, terminating
% 51.50/45.78 eprover: CPU time limit exceeded, terminating
% 53.77/47.79 eprover: CPU time limit exceeded, terminating
% 56.08/49.80 eprover: CPU time limit exceeded, terminating
% 58.36/51.82 eprover: CPU time limit exceeded, terminating
% 60.65/53.83 eprover: CPU time limit exceeded, terminating
% 63.03/55.84 eprover: CPU time limit exceeded, terminating
% 65.31/57.85 eprover: CPU time limit exceeded, terminating
% 67.64/59.87 eprover: CPU time limit exceeded, terminating
% 69.94/61.88 eprover: CPU time limit exceeded, terminating
% 72.27/63.89 eprover: CPU time limit exceeded, terminating
% 74.60/65.91 eprover: CPU time limit exceeded, terminating
% 76.86/67.92 eprover: CPU time limit exceeded, terminating
% 79.09/69.93 eprover: CPU time limit exceeded, terminating
% 81.44/71.95 eprover: CPU time limit exceeded, terminating
% 83.77/73.96 eprover: CPU time limit exceeded, terminating
% 86.07/75.97 eprover: CPU time limit exceeded, terminating
% 88.33/77.99 eprover: CPU time limit exceeded, terminating
% 90.64/80.00 eprover: CPU time limit exceeded, terminating
% 92.93/82.01 eprover: CPU time limit exceeded, terminating
% 95.27/84.03 eprover: CPU time limit exceeded, terminating
% 97.54/86.04 eprover: CPU time limit exceeded, terminating
% 99.85/88.05 eprover: CPU time limit exceeded, terminating
% 102.17/90.07 eprover: CPU time limit exceeded, terminating
% 104.46/92.08 eprover: CPU time limit exceeded, terminating
% 106.78/94.09 eprover: CPU time limit exceeded, terminating
% 109.05/96.11 eprover: CPU time limit exceeded, terminating
% 111.37/98.12 eprover: CPU time limit exceeded, terminating
% 113.73/100.13 eprover: CPU time limit exceeded, terminating
% 116.03/102.15 eprover: CPU time limit exceeded, terminating
% 118.32/104.16 eprover: CPU time limit exceeded, terminating
% 120.61/106.17 eprover: CPU time limit exceeded, terminating
% 122.88/108.19 eprover: CPU time limit exceeded, terminating
% 125.19/110.20 eprover: CPU time limit exceeded, terminating
% 127.49/112.21 eprover: CPU time limit exceeded, terminating
% 129.82/114.23 eprover: CPU time limit exceeded, terminating
% 132.11/116.24 eprover: CPU time limit exceeded, terminating
% 134.40/118.25 eprover: CPU time limit exceeded, terminating
% 136.72/120.27 eprover: CPU time limit exceeded, terminating
% 139.04/122.28 eprover: CPU time limit exceeded, terminating
% 141.33/124.29 eprover: CPU time limit exceeded, terminating
% 143.61/126.31 eprover: CPU time limit exceeded, terminating
% 145.96/128.32 eprover: CPU time limit exceeded, terminating
% 148.19/130.34 eprover: CPU time limit exceeded, terminating
% 150.57/132.35 eprover: CPU time limit exceeded, terminating
% 152.83/134.36 eprover: CPU time limit exceeded, terminating
% 155.14/136.38 eprover: CPU time limit exceeded, terminating
% 157.43/138.39 eprover: CPU time limit exceeded, terminating
% 159.76/140.40 eprover: CPU time limit exceeded, terminating
% 162.01/142.42 eprover: CPU time limit exceeded, terminating
% 164.36/144.43 eprover: CPU time limit exceeded, terminating
% 166.69/146.44 eprover: CPU time limit exceeded, terminating
% 168.96/148.46 eprover: CPU time limit exceeded, terminating
% 171.25/150.47 eprover: CPU time limit exceeded, terminating
% 173.62/152.48 eprover: CPU time limit exceeded, terminating
% 175.96/154.50 eprover: CPU time limit exceeded, terminating
% 178.25/156.51 eprover: CPU time limit exceeded, terminating
% 180.56/158.52 eprover: CPU time limit exceeded, terminating
% 182.84/160.54 eprover: CPU time limit exceeded, terminating
% 185.18/162.55 eprover: CPU time limit exceeded, terminating
% 187.42/164.57 eprover: CPU time limit exceeded, terminating
% 189.77/166.58 eprover: CPU time limit exceeded, terminating
% 192.06/168.59 eprover: CPU time limit exceeded, terminating
% 194.36/170.61 eprover: CPU time limit exceeded, terminating
% 196.65/172.62 eprover: CPU time limit exceeded, terminating
% 198.99/174.63 eprover: CPU time limit exceeded, terminating
% 201.30/176.65 eprover: CPU time limit exceeded, terminating
% 203.56/178.66 eprover: CPU time limit exceeded, terminating
% 205.89/180.68 eprover: CPU time limit exceeded, terminating
% 208.19/182.69 eprover: CPU time limit exceeded, terminating
% 210.49/184.70 eprover: CPU time limit exceeded, terminating
% 212.75/186.72 eprover: CPU time limit exceeded, terminating
% 215.05/188.73 eprover: CPU time limit exceeded, terminating
% 217.37/190.74 eprover: CPU time limit exceeded, terminating
% 219.68/192.76 eprover: CPU time limit exceeded, terminating
% 222.01/194.77 eprover: CPU time limit exceeded, terminating
% 224.29/196.78 eprover: CPU time limit exceeded, terminating
% 226.57/198.80 eprover: CPU time limit exceeded, terminating
% 228.89/200.81 eprover: CPU time limit exceeded, terminating
% 231.17/202.83 eprover: CPU time limit exceeded, terminating
% 233.51/204.84 eprover: CPU time limit exceeded, terminating
% 235.83/206.85 eprover: CPU time limit exceeded, terminating
% 238.13/208.87 eprover: CPU time limit exceeded, terminating
% 240.44/210.88 eprover: CPU time limit exceeded, terminating
% 242.74/212.89 eprover: CPU time limit exceeded, terminating
% 245.01/214.91 eprover: CPU time limit exceeded, terminating
% 247.31/216.92 eprover: CPU time limit exceeded, terminating
% 249.60/218.93 eprover: CPU time limit exceeded, terminating
% 251.97/220.95 eprover: CPU time limit exceeded, terminating
% 254.29/222.96 eprover: CPU time limit exceeded, terminating
% 256.54/224.97 eprover: CPU time limit exceeded, terminating
% 258.85/226.99 eprover: CPU time limit exceeded, terminating
% 261.13/229.00 eprover: CPU time limit exceeded, terminating
% 263.42/231.01 eprover: CPU time limit exceeded, terminating
% 265.80/233.03 eprover: CPU time limit exceeded, terminating
% 268.09/235.04 eprover: CPU time limit exceeded, terminating
% 270.38/237.06 eprover: CPU time limit exceeded, terminating
% 272.71/239.07 eprover: CPU time limit exceeded, terminating
% 275.01/241.08 eprover: CPU time limit exceeded, terminating
% 277.32/243.10 eprover: CPU time limit exceeded, terminating
% 279.61/245.11 eprover: CPU time limit exceeded, terminating
% 281.90/247.12 eprover: CPU time limit exceeded, terminating
% 284.18/249.14 eprover: CPU time limit exceeded, terminating
% 286.56/251.15 eprover: CPU time limit exceeded, terminating
% 288.87/253.16 eprover: CPU time limit exceeded, terminating
% 291.20/255.18 eprover: CPU time limit exceeded, terminating
% 293.47/257.19 eprover: CPU time limit exceeded, terminating
% 295.72/259.20 eprover: CPU time limit exceeded, terminating
% 298.00/261.21 eprover: CPU time limit exceeded, terminating
% 300.02/262.88 eprover: CPU time limit exceeded, terminating
% 300.02/262.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------