TSTP Solution File: HWV064-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : HWV064-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:08 EDT 2022
% Result : Timeout 287.81s 205.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : HWV064-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n022.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 : Thu Jun 16 20:48:02 EDT 2022
% 0.14/0.35 % CPUTime :
% 31.28/30.56 eprover: CPU time limit exceeded, terminating
% 34.79/33.14 eprover: CPU time limit exceeded, terminating
% 37.91/35.17 eprover: CPU time limit exceeded, terminating
% 40.86/37.20 eprover: CPU time limit exceeded, terminating
% 43.87/39.23 eprover: CPU time limit exceeded, terminating
% 46.92/41.27 eprover: CPU time limit exceeded, terminating
% 49.84/43.30 eprover: CPU time limit exceeded, terminating
% 52.87/45.33 eprover: CPU time limit exceeded, terminating
% 55.85/47.37 eprover: CPU time limit exceeded, terminating
% 58.80/49.40 eprover: CPU time limit exceeded, terminating
% 61.82/51.43 eprover: CPU time limit exceeded, terminating
% 64.86/53.46 eprover: CPU time limit exceeded, terminating
% 67.82/55.50 eprover: CPU time limit exceeded, terminating
% 70.85/57.53 eprover: CPU time limit exceeded, terminating
% 73.87/59.56 eprover: CPU time limit exceeded, terminating
% 76.86/61.60 eprover: CPU time limit exceeded, terminating
% 79.85/63.63 eprover: CPU time limit exceeded, terminating
% 82.87/65.66 eprover: CPU time limit exceeded, terminating
% 85.81/67.69 eprover: CPU time limit exceeded, terminating
% 88.87/69.72 eprover: CPU time limit exceeded, terminating
% 91.82/71.76 eprover: CPU time limit exceeded, terminating
% 94.85/73.79 eprover: CPU time limit exceeded, terminating
% 97.80/75.82 eprover: CPU time limit exceeded, terminating
% 100.77/77.85 eprover: CPU time limit exceeded, terminating
% 103.75/79.89 eprover: CPU time limit exceeded, terminating
% 106.76/81.92 eprover: CPU time limit exceeded, terminating
% 109.74/83.95 eprover: CPU time limit exceeded, terminating
% 112.71/85.98 eprover: CPU time limit exceeded, terminating
% 115.60/88.02 eprover: CPU time limit exceeded, terminating
% 118.62/90.05 eprover: CPU time limit exceeded, terminating
% 121.58/92.08 eprover: CPU time limit exceeded, terminating
% 124.51/94.12 eprover: CPU time limit exceeded, terminating
% 127.46/96.15 eprover: CPU time limit exceeded, terminating
% 130.45/98.18 eprover: CPU time limit exceeded, terminating
% 133.43/100.21 eprover: CPU time limit exceeded, terminating
% 136.42/102.25 eprover: CPU time limit exceeded, terminating
% 139.39/104.28 eprover: CPU time limit exceeded, terminating
% 142.33/106.31 eprover: CPU time limit exceeded, terminating
% 145.34/108.34 eprover: CPU time limit exceeded, terminating
% 148.32/110.38 eprover: CPU time limit exceeded, terminating
% 151.26/112.41 eprover: CPU time limit exceeded, terminating
% 154.28/114.44 eprover: CPU time limit exceeded, terminating
% 157.19/116.47 eprover: CPU time limit exceeded, terminating
% 160.21/118.51 eprover: CPU time limit exceeded, terminating
% 163.18/120.54 eprover: CPU time limit exceeded, terminating
% 166.19/122.57 eprover: CPU time limit exceeded, terminating
% 169.16/124.60 eprover: CPU time limit exceeded, terminating
% 172.13/126.63 eprover: CPU time limit exceeded, terminating
% 175.13/128.66 eprover: CPU time limit exceeded, terminating
% 178.13/130.70 eprover: CPU time limit exceeded, terminating
% 181.06/132.73 eprover: CPU time limit exceeded, terminating
% 184.07/134.76 eprover: CPU time limit exceeded, terminating
% 187.00/136.80 eprover: CPU time limit exceeded, terminating
% 189.97/138.83 eprover: CPU time limit exceeded, terminating
% 192.96/140.86 eprover: CPU time limit exceeded, terminating
% 195.89/142.89 eprover: CPU time limit exceeded, terminating
% 198.86/144.93 eprover: CPU time limit exceeded, terminating
% 201.83/146.96 eprover: CPU time limit exceeded, terminating
% 204.77/148.99 eprover: CPU time limit exceeded, terminating
% 207.75/151.02 eprover: CPU time limit exceeded, terminating
% 210.67/153.06 eprover: CPU time limit exceeded, terminating
% 213.62/155.09 eprover: CPU time limit exceeded, terminating
% 216.53/157.12 eprover: CPU time limit exceeded, terminating
% 219.51/159.15 eprover: CPU time limit exceeded, terminating
% 222.53/161.19 eprover: CPU time limit exceeded, terminating
% 225.50/163.22 eprover: CPU time limit exceeded, terminating
% 228.44/165.25 eprover: CPU time limit exceeded, terminating
% 231.43/167.28 eprover: CPU time limit exceeded, terminating
% 234.40/169.32 eprover: CPU time limit exceeded, terminating
% 237.38/171.35 eprover: CPU time limit exceeded, terminating
% 240.32/173.38 eprover: CPU time limit exceeded, terminating
% 243.30/175.41 eprover: CPU time limit exceeded, terminating
% 246.27/177.45 eprover: CPU time limit exceeded, terminating
% 249.29/179.48 eprover: CPU time limit exceeded, terminating
% 252.21/181.51 eprover: CPU time limit exceeded, terminating
% 255.17/183.54 eprover: CPU time limit exceeded, terminating
% 258.16/185.58 eprover: CPU time limit exceeded, terminating
% 261.09/187.61 eprover: CPU time limit exceeded, terminating
% 264.12/189.64 eprover: CPU time limit exceeded, terminating
% 267.03/191.68 eprover: CPU time limit exceeded, terminating
% 270.05/193.71 eprover: CPU time limit exceeded, terminating
% 273.00/195.74 eprover: CPU time limit exceeded, terminating
% 276.02/197.77 eprover: CPU time limit exceeded, terminating
% 278.97/199.81 eprover: CPU time limit exceeded, terminating
% 281.88/201.84 eprover: CPU time limit exceeded, terminating
% 284.92/203.87 eprover: CPU time limit exceeded, terminating
% 287.81/205.91 eprover: CPU time limit exceeded, terminating
% 290.84/207.94 eprover: CPU time limit exceeded, terminating
% 293.78/209.97 eprover: CPU time limit exceeded, terminating
% 298.65/212.01 eprover: CPU time limit exceeded, terminating
% 300.14/212.89 eprover: CPU time limit exceeded, terminating
% 300.14/212.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------