TSTP Solution File: LAT338+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT338+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n029.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 : 300s
% DateTime : Sat Sep 17 18:05:05 EDT 2022
% Result : Timeout 300.02s 91.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT338+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n029.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.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu Sep 1 15:14:36 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.36 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.45/0.53 Conjecture not found
% 0.45/0.54 Conjecture not found
% 0.48/0.55 Conjecture not found
% 0.48/0.57 Conjecture not found
% 0.48/0.59 Conjecture not found
% 0.62/0.63 Conjecture not found
% 0.70/0.70 Conjecture not found
% 0.70/0.71 Conjecture not found
% 0.84/0.79 Conjecture not found
% 0.91/0.84 Conjecture not found
% 0.97/0.92 Conjecture not found
% 1.12/0.95 Conjecture not found
% 1.20/1.02 Conjecture not found
% 1.32/1.06 Conjecture not found
% 1.37/1.11 Conjecture not found
% 1.44/1.14 Conjecture not found
% 1.50/1.17 Conjecture not found
% 1.50/1.19 Conjecture not found
% 1.50/1.20 Conjecture not found
% 1.50/1.20 Conjecture not found
% 1.50/1.21 Conjecture not found
% 1.69/1.31 Conjecture not found
% 1.69/1.33 Conjecture not found
% 1.69/1.33 Conjecture not found
% 1.81/1.34 Conjecture not found
% 1.81/1.34 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.81/1.36 Conjecture not found
% 1.81/1.36 Conjecture not found
% 1.86/1.41 Conjecture not found
% 2.02/1.46 Conjecture not found
% 2.02/1.46 Conjecture not found
% 2.02/1.47 Conjecture not found
% 2.02/1.48 Conjecture not found
% 2.02/1.50 Conjecture not found
% 2.02/1.51 Conjecture not found
% 2.02/1.53 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.24/1.58 Conjecture not found
% 2.24/1.59 Conjecture not found
% 2.24/1.60 Conjecture not found
% 2.24/1.64 Conjecture not found
% 2.40/1.70 Conjecture not found
% 2.52/1.75 Conjecture not found
% 2.54/1.76 Conjecture not found
% 2.54/1.78 Conjecture not found
% 2.54/1.81 Conjecture not found
% 2.63/1.84 Conjecture not found
% 2.70/1.86 Conjecture not found
% 2.70/1.88 Conjecture not found
% 2.86/1.97 Conjecture not found
% 2.93/2.00 Conjecture not found
% 2.93/2.02 Conjecture not found
% 2.93/2.04 Conjecture not found
% 3.04/2.06 Conjecture not found
% 3.04/2.08 Conjecture not found
% 3.39/2.26 Conjecture not found
% 3.39/2.29 Conjecture not found
% 3.43/2.31 Conjecture not found
% 3.62/2.42 Conjecture not found
% 3.62/2.43 Conjecture not found
% 3.62/2.44 Conjecture not found
% 3.72/2.46 Conjecture not found
% 3.72/2.51 Conjecture not found
% 3.91/2.57 Conjecture not found
% 4.04/2.65 Conjecture not found
% 4.17/2.73 Conjecture not found
% 4.28/2.78 Conjecture not found
% 4.28/2.79 Conjecture not found
% 4.28/2.83 Conjecture not found
% 4.28/2.83 Conjecture not found
% 4.28/2.87 Conjecture not found
% 4.47/2.89 Conjecture not found
% 4.49/2.91 Conjecture not found
% 4.52/2.92 Conjecture not found
% 4.52/2.99 Conjecture not found
% 4.67/3.01 Conjecture not found
% 4.67/3.05 Conjecture not found
% 4.76/3.12 Conjecture not found
% 5.06/3.22 Conjecture not found
% 5.22/3.37 Conjecture not found
% 5.59/3.58 Conjecture not found
% 6.19/3.86 Conjecture not found
% 6.19/3.89 Conjecture not found
% 6.19/3.92 Conjecture not found
% 6.45/4.02 Conjecture not found
% 6.57/4.06 Conjecture not found
% 6.58/4.09 Conjecture not found
% 6.72/4.16 Conjecture not found
% 6.72/4.21 Conjecture not found
% 6.88/4.25 Conjecture not found
% 6.99/4.29 Conjecture not found
% 6.99/4.31 Conjecture not found
% 6.99/4.32 Conjecture not found
% 7.12/4.36 Conjecture not found
% 7.12/4.37 Conjecture not found
% 7.28/4.45 Conjecture not found
% 7.36/4.54 Conjecture not found
% 7.48/4.61 Conjecture not found
% 7.69/4.72 Conjecture not found
% 7.69/4.74 Conjecture not found
% 7.73/4.79 Conjecture not found
% 7.73/4.81 Conjecture not found
% 7.73/4.83 Conjecture not found
% 7.88/4.85 Conjecture not found
% 7.88/4.87 Conjecture not found
% 7.96/4.89 Conjecture not found
% 7.96/4.93 Conjecture not found
% 7.96/4.94 Conjecture not found
% 7.96/4.95 Conjecture not found
% 8.08/4.97 Conjecture not found
% 8.10/5.01 Conjecture not found
% 8.23/5.04 Conjecture not found
% 8.25/5.08 Conjecture not found
% 8.31/5.13 Conjecture not found
% 8.64/5.33 Conjecture not found
% 8.71/5.37 Conjecture not found
% 8.71/5.38 Conjecture not found
% 8.71/5.40 Conjecture not found
% 8.86/5.42 Conjecture not found
% 8.86/5.45 Conjecture not found
% 8.94/5.51 Conjecture not found
% 8.94/5.52 Conjecture not found
% 8.94/5.55 Conjecture not found
% 9.09/5.57 Conjecture not found
% 9.25/5.67 Conjecture not found
% 9.96/6.17 Conjecture not found
% 11.01/6.70 Conjecture not found
% 11.23/6.82 Conjecture not found
% 11.23/6.88 Conjecture not found
% 11.23/6.90 Conjecture not found
% 11.23/6.91 Conjecture not found
% 11.41/6.94 Conjecture not found
% 11.41/6.96 Conjecture not found
% 11.41/6.98 Conjecture not found
% 11.58/7.03 Conjecture not found
% 11.67/7.09 Conjecture not found
% 11.81/7.15 Conjecture not found
% 11.81/7.17 Conjecture not found
% 11.81/7.18 Conjecture not found
% 11.81/7.20 Conjecture not found
% 12.00/7.26 Conjecture not found
% 12.06/7.30 Conjecture not found
% 12.22/7.37 Conjecture not found
% 12.26/7.43 Conjecture not found
% 12.29/7.44 Conjecture not found
% 12.29/7.46 Conjecture not found
% 12.29/7.48 Conjecture not found
% 12.29/7.52 Conjecture not found
% 12.49/7.57 Conjecture not found
% 12.56/7.61 Conjecture not found
% 12.56/7.63 Conjecture not found
% 12.64/7.70 Conjecture not found
% 12.81/7.76 Conjecture not found
% 12.81/7.78 Conjecture not found
% 12.81/7.79 Conjecture not found
% 12.81/7.81 Conjecture not found
% 12.81/7.82 Conjecture not found
% 13.00/7.84 Conjecture not found
% 13.00/7.87 Conjecture not found
% 13.04/7.89 Conjecture not found
% 13.04/7.90 Conjecture not found
% 13.04/7.91 Conjecture not found
% 13.18/7.95 Conjecture not found
% 13.25/7.97 Conjecture not found
% 13.25/8.01 Conjecture not found
% 13.30/8.04 Conjecture not found
% 13.33/8.06 Conjecture not found
% 13.33/8.07 Conjecture not found
% 13.33/8.10 Conjecture not found
% 13.54/8.13 Conjecture not found
% 13.54/8.17 Conjecture not found
% 13.59/8.18 Conjecture not found
% 13.59/8.21 Conjecture not found
% 13.59/8.24 Conjecture not found
% 13.78/8.27 Conjecture not found
% 13.81/8.32 Conjecture not found
% 13.86/8.33 Conjecture not found
% 13.86/8.35 Conjecture not found
% 13.88/8.37 Conjecture not found
% 13.88/8.39 Conjecture not found
% 13.88/8.41 Conjecture not found
% 14.08/8.42 Conjecture not found
% 14.08/8.45 Conjecture not found
% 14.08/8.45 Conjecture not found
% 14.13/8.46 Conjecture not found
% 14.13/8.47 Conjecture not found
% 14.13/8.50 Conjecture not found
% 14.38/8.61 Conjecture not found
% 14.38/8.63 Conjecture not found
% 14.45/8.65 Conjecture not found
% 14.45/8.67 Conjecture not found
% 14.45/8.68 Conjecture not found
% 14.64/8.72 Conjecture not found
% 14.64/8.74 Conjecture not found
% 14.71/8.78 Conjecture not found
% 14.71/8.81 Conjecture not found
% 14.71/8.84 Conjecture not found
% 14.91/8.89 Conjecture not found
% 14.95/8.92 Conjecture not found
% 15.26/9.06 Conjecture not found
% 15.26/9.14 Conjecture not found
% 15.53/9.21 Conjecture not found
% 15.53/9.22 Conjecture not found
% 15.57/9.25 Conjecture not found
% 15.57/9.28 Conjecture not found
% 15.72/9.32 Conjecture not found
% 15.72/9.35 Conjecture not found
% 15.86/9.43 Conjecture not found
% 16.14/9.52 Conjecture not found
% 16.14/9.56 Conjecture not found
% 16.14/9.59 Conjecture not found
% 16.22/9.65 Conjecture not found
% 16.22/9.67 Conjecture not found
% 16.45/9.73 Conjecture not found
% 16.45/9.77 Conjecture not found
% 16.76/9.84 Conjecture not found
% 16.84/9.92 Conjecture not found
% 16.84/9.92 Conjecture not found
% 16.84/9.96 Conjecture not found
% 16.84/9.99 Conjecture not found
% 17.08/10.02 Conjecture not found
% 17.16/10.09 Conjecture not found
% 17.35/10.20 Conjecture not found
% 17.45/10.22 Conjecture not found
% 17.45/10.25 Conjecture not found
% 17.81/10.51 Conjecture not found
% 18.08/10.58 Conjecture not found
% 18.14/10.62 Conjecture not found
% 18.14/10.64 Conjecture not found
% 18.14/10.65 Conjecture not found
% 18.29/10.66 Conjecture not found
% 18.44/10.75 Conjecture not found
% 18.44/10.82 Conjecture not found
% 18.78/10.90 Conjecture not found
% 18.85/10.97 Conjecture not found
% 18.87/10.99 Conjecture not found
% 19.10/11.12 Conjecture not found
% 19.19/11.17 Conjecture not found
% 19.24/11.21 Conjecture not found
% 19.39/11.26 Conjecture not found
% 19.50/11.29 Conjecture not found
% 19.50/11.30 Conjecture not found
% 19.56/11.33 Conjecture not found
% 19.56/11.33 Conjecture not found
% 19.59/11.35 Conjecture not found
% 19.59/11.38 Conjecture not found
% 19.59/11.42 Conjecture not found
% 19.87/11.44 Conjecture not found
% 19.87/11.46 Conjecture not found
% 19.91/11.50 Conjecture not found
% 19.91/11.50 Conjecture not found
% 19.91/11.52 Conjecture not found
% 19.91/11.53 Conjecture not found
% 20.27/11.67 Conjecture not found
% 20.27/11.69 Conjecture not found
% 20.34/11.72 Conjecture not found
% 20.34/11.73 Conjecture not found
% 20.34/11.74 Conjecture not found
% 20.34/11.75 Conjecture not found
% 20.34/11.77 Conjecture not found
% 20.56/11.84 Conjecture not found
% 20.64/11.85 Conjecture not found
% 20.64/11.87 Conjecture not found
% 20.71/11.93 Conjecture not found
% 20.96/12.04 Conjecture not found
% 21.03/12.14 Conjecture not found
% 21.03/12.15 Conjecture not found
% 21.38/12.29 Conjecture not found
% 21.51/12.41 Conjecture not found
% 21.51/12.44 Conjecture not found
% 21.82/12.51 Conjecture not found
% 21.87/12.54 Conjecture not found
% 21.88/12.55 Conjecture not found
% 21.98/12.64 Conjecture not found
% 22.21/12.73 Conjecture not found
% 22.30/12.77 Conjecture not found
% 22.32/12.79 Conjecture not found
% 22.36/12.90 Conjecture not found
% 22.65/12.95 Conjecture not found
% 22.72/12.98 Conjecture not found
% 22.72/13.03 Conjecture not found
% 22.81/13.07 Conjecture not found
% 22.97/13.09 Conjecture not found
% 23.11/13.15 Conjecture not found
% 23.18/13.23 Conjecture not found
% 23.18/13.25 Conjecture not found
% 23.18/13.26 Conjecture not found
% 23.25/13.31 Conjecture not found
% 23.56/13.38 Conjecture not found
% 23.56/13.39 Conjecture not found
% 23.61/13.43 Conjecture not found
% 23.61/13.47 Conjecture not found
% 23.61/13.50 Conjecture not found
% 23.84/13.57 Conjecture not found
% 24.00/13.64 Conjecture not found
% 24.00/13.66 Conjecture not found
% 24.09/13.71 Conjecture not found
% 24.16/13.78 Conjecture not found
% 24.47/13.85 Conjecture not found
% 24.47/13.87 Conjecture not found
% 24.52/13.93 Conjecture not found
% 24.75/13.97 Conjecture not found
% 24.75/13.99 Conjecture not found
% 24.75/13.99 Conjecture not found
% 24.87/14.01 Conjecture not found
% 24.87/14.04 Conjecture not found
% 24.91/14.05 Conjecture not found
% 24.91/14.12 Conjecture not found
% 25.16/14.19 Conjecture not found
% 25.37/14.28 Conjecture not found
% 25.37/14.30 Conjecture not found
% 25.37/14.31 Conjecture not found
% 25.45/14.36 Conjecture not found
% 25.45/14.38 Conjecture not found
% 25.45/14.38 Conjecture not found
% 25.80/14.49 Conjecture not found
% 25.80/14.51 Conjecture not found
% 25.89/14.56 Conjecture not found
% 25.95/14.62 Conjecture not found
% 25.95/14.65 Conjecture not found
% 25.99/14.70 Conjecture not found
% 26.52/14.97 Conjecture not found
% 26.89/15.09 Conjecture not found
% 26.89/15.10 Conjecture not found
% 26.99/15.18 Conjecture not found
% 26.99/15.19 Conjecture not found
% 27.07/15.25 Conjecture not found
% 27.29/15.30 Conjecture not found
% 27.47/15.39 Conjecture not found
% 27.47/15.42 Conjecture not found
% 27.47/15.43 Conjecture not found
% 27.47/15.45 Conjecture not found
% 27.73/15.48 Conjecture not found
% 27.90/15.54 Conjecture not found
% 27.90/15.61 Conjecture not found
% 27.97/15.62 Conjecture not found
% 27.97/15.62 Conjecture not found
% 27.97/15.63 Conjecture not found
% 28.02/15.67 Conjecture not found
% 28.02/15.68 Conjecture not found
% 28.02/15.75 Conjecture not found
% 28.47/15.86 Conjecture not found
% 28.47/15.91 Conjecture not found
% 28.55/15.94 Conjecture not found
% 28.55/15.95 Conjecture not found
% 28.55/15.96 Conjecture not found
% 28.71/16.03 Conjecture not found
% 28.71/16.06 Conjecture not found
% 28.71/16.06 Conjecture not found
% 28.97/16.09 Conjecture not found
% 29.01/16.12 Conjecture not found
% 29.02/16.15 Conjecture not found
% 29.02/16.17 Conjecture not found
% 29.02/16.19 Conjecture not found
% 29.43/16.31 Conjecture not found
% 29.43/16.34 Conjecture not found
% 29.43/16.35 Conjecture not found
% 29.57/16.42 Conjecture not found
% 29.60/16.44 Conjecture not found
% 29.94/16.53 Conjecture not found
% 29.94/16.56 Conjecture not found
% 29.94/16.58 Conjecture not found
% 30.01/16.60 Conjecture not found
% 30.01/16.63 Conjecture not found
% 30.01/16.64 Conjecture not found
% 30.14/16.74 Conjecture not found
% 30.14/16.75 Conjecture not found
% 30.14/16.76 Conjecture not found
% 30.52/16.84 Conjecture not found
% 30.52/16.88 Conjecture not found
% 30.59/16.91 Conjecture not found
% 30.59/16.93 Conjecture not found
% 30.59/16.96 Conjecture not found
% 30.67/16.99 Conjecture not found
% 30.71/17.03 Conjecture not found
% 30.84/17.06 Conjecture not found
% 30.84/17.10 Conjecture not found
% 30.84/17.13 Conjecture not found
% 30.84/17.14 Conjecture not found
% 30.84/17.14 Conjecture not found
% 31.15/17.17 Conjecture not found
% 31.20/17.20 Conjecture not found
% 31.20/17.22 Conjecture not found
% 31.29/17.25 Conjecture not found
% 31.29/17.28 Conjecture not found
% 31.64/17.35 Conjecture not found
% 31.64/17.40 Conjecture not found
% 31.64/17.42 Conjecture not found
% 31.64/17.44 Conjecture not found
% 31.74/17.47 Conjecture not found
% 31.78/17.50 Conjecture not found
% 31.78/17.51 Conjecture not found
% 31.78/17.53 Conjecture not found
% 31.89/17.58 Conjecture not found
% 32.20/17.62 Conjecture not found
% 32.20/17.65 Conjecture not found
% 32.25/17.69 Conjecture not found
% 32.25/17.74 Conjecture not found
% 32.51/17.85 Conjecture not found
% 32.51/17.90 Conjecture not found
% 32.82/17.96 Conjecture not found
% 32.87/18.03 Conjecture not found
% 32.99/18.12 Conjecture not found
% 33.14/18.16 Conjecture not found
% 33.50/18.27 Conjecture not found
% 33.50/18.29 Conjecture not found
% 33.50/18.30 Conjecture not found
% 33.50/18.32 Conjecture not found
% 33.50/18.33 Conjecture not found
% 33.56/18.35 Conjecture not found
% 33.60/18.37 Conjecture not found
% 33.60/18.38 Conjecture not found
% 33.60/18.40 Conjecture not found
% 33.60/18.42 Conjecture not found
% 33.66/18.46 Conjecture not found
% 34.12/18.57 Conjecture not found
% 34.12/18.60 Conjecture not found
% 34.12/18.63 Conjecture not found
% 34.20/18.65 Conjecture not found
% 34.20/18.66 Conjecture not found
% 34.33/18.78 Conjecture not found
% 34.51/18.89 Conjecture not found
% 34.84/18.93 Conjecture not found
% 34.84/18.95 Conjecture not found
% 34.94/19.03 Conjecture not found
% 34.97/19.08 Conjecture not found
% 34.97/19.11 Conjecture not found
% 35.04/19.14 Conjecture not found
% 35.04/19.15 Conjecture not found
% 35.07/19.24 Conjecture not found
% 35.51/19.26 Conjecture not found
% 35.51/19.27 Conjecture not found
% 35.55/19.30 Conjecture not found
% 35.55/19.32 Conjecture not found
% 35.55/19.33 Conjecture not found
% 35.61/19.35 Conjecture not found
% 35.63/19.36 Conjecture not found
% 35.63/19.41 Conjecture not found
% 35.72/19.45 Conjecture not found
% 35.72/19.52 Conjecture not found
% 36.21/19.60 Conjecture not found
% 36.30/19.71 Conjecture not found
% 36.35/19.72 Conjecture not found
% 36.35/19.74 Conjecture not found
% 36.35/19.75 Conjecture not found
% 36.40/19.77 Conjecture not found
% 36.40/19.79 Conjecture not found
% 36.40/19.79 Conjecture not found
% 36.88/19.92 Conjecture not found
% 36.88/19.93 Conjecture not found
% 36.94/19.95 Conjecture not found
% 36.94/19.99 Conjecture not found
% 36.94/20.00 Conjecture not found
% 36.99/20.02 Conjecture not found
% 37.04/20.05 Conjecture not found
% 37.04/20.07 Conjecture not found
% 37.04/20.09 Conjecture not found
% 37.04/20.13 Conjecture not found
% 37.17/20.17 Conjecture not found
% 37.58/20.25 Conjecture not found
% 37.59/20.26 Conjecture not found
% 37.59/20.27 Conjecture not found
% 37.59/20.28 Conjecture not found
% 37.65/20.34 Conjecture not found
% 37.70/20.40 Conjecture not found
% 37.70/20.44 Conjecture not found
% 37.94/20.50 Conjecture not found
% 38.22/20.58 Conjecture not found
% 38.22/20.60 Conjecture not found
% 38.22/20.62 Conjecture not found
% 38.35/20.69 Conjecture not found
% 38.41/20.73 Conjecture not found
% 38.41/20.76 Conjecture not found
% 38.48/20.79 Conjecture not found
% 38.52/20.81 Conjecture not found
% 38.55/20.86 Conjecture not found
% 38.55/20.93 Conjecture not found
% 39.07/20.96 Conjecture not found
% 39.07/20.99 Conjecture not found
% 39.13/21.02 Conjecture not found
% 39.13/21.04 Conjecture not found
% 39.13/21.07 Conjecture not found
% 39.20/21.09 Conjecture not found
% 39.20/21.10 Conjecture not found
% 39.20/21.14 Conjecture not found
% 39.28/21.18 Conjecture not found
% 39.72/21.28 Conjecture not found
% 39.72/21.29 Conjecture not found
% 39.82/21.32 Conjecture not found
% 39.82/21.36 Conjecture not found
% 39.88/21.39 Conjecture not found
% 39.88/21.41 Conjecture not found
% 39.88/21.44 Conjecture not found
% 39.88/21.44 Conjecture not found
% 39.98/21.46 Conjecture not found
% 40.01/21.50 Conjecture not found
% 40.01/21.52 Conjecture not found
% 40.01/21.54 Conjecture not found
% 40.06/21.58 Conjecture not found
% 40.06/21.59 Conjecture not found
% 40.58/21.72 Conjecture not found
% 40.58/21.73 Conjecture not found
% 40.67/21.75 Conjecture not found
% 40.67/21.76 Conjecture not found
% 40.71/21.80 Conjecture not found
% 40.71/21.82 Conjecture not found
% 40.78/21.85 Conjecture not found
% 40.78/21.88 Conjecture not found
% 40.78/21.89 Conjecture not found
% 40.84/21.94 Conjecture not found
% 40.89/22.02 Conjecture not found
% 41.48/22.15 Conjecture not found
% 41.50/22.17 Conjecture not found
% 41.50/22.18 Conjecture not found
% 41.50/22.19 Conjecture not found
% 41.58/22.28 Conjecture not found
% 41.58/22.29 Conjecture not found
% 41.58/22.31 Conjecture not found
% 41.66/22.35 Conjecture not found
% 42.06/22.46 Conjecture not found
% 42.28/22.52 Conjecture not found
% 42.41/22.65 Conjecture not found
% 42.41/22.67 Conjecture not found
% 42.45/22.72 Conjecture not found
% 42.45/22.73 Conjecture not found
% 42.45/22.74 Conjecture not found
% 42.45/22.75 Conjecture not found
% 42.52/22.78 Conjecture not found
% 42.95/22.86 Conjecture not found
% 42.95/22.89 Conjecture not found
% 42.95/22.91 Conjecture not found
% 43.16/22.94 Conjecture not found
% 43.22/23.01 Conjecture not found
% 43.22/23.02 Conjecture not found
% 43.22/23.05 Conjecture not found
% 43.30/23.09 Conjecture not found
% 43.34/23.12 Conjecture not found
% 43.39/23.17 Conjecture not found
% 43.39/23.21 Conjecture not found
% 43.68/23.26 Conjecture not found
% 43.68/23.30 Conjecture not found
% 44.09/23.38 Conjecture not found
% 44.09/23.42 Conjecture not found
% 44.09/23.43 Conjecture not found
% 44.18/23.46 Conjecture not found
% 44.22/23.49 Conjecture not found
% 44.22/23.50 Conjecture not found
% 44.22/23.51 Conjecture not found
% 44.27/23.53 Conjecture not found
% 44.84/23.68 Conjecture not found
% 44.84/23.71 Conjecture not found
% 44.84/23.72 Conjecture not found
% 44.93/23.76 Conjecture not found
% 44.93/23.77 Conjecture not found
% 44.93/23.80 Conjecture not found
% 44.98/23.82 Conjecture not found
% 44.98/23.84 Conjecture not found
% 45.03/23.85 Conjecture not found
% 45.04/23.89 Conjecture not found
% 45.09/23.91 Conjecture not found
% 45.13/23.95 Conjecture not found
% 45.13/23.97 Conjecture not found
% 45.13/23.98 Conjecture not found
% 45.13/24.01 Conjecture not found
% 45.13/24.01 Conjecture not found
% 45.21/24.04 Conjecture not found
% 45.58/24.12 Conjecture not found
% 45.82/24.15 Conjecture not found
% 45.82/24.15 Conjecture not found
% 45.83/24.17 Conjecture not found
% 45.83/24.18 Conjecture not found
% 45.83/24.21 Conjecture not found
% 45.87/24.22 Conjecture not found
% 45.91/24.24 Conjecture not found
% 45.91/24.26 Conjecture not found
% 45.91/24.28 Conjecture not found
% 45.91/24.32 Conjecture not found
% 45.91/24.33 Conjecture not found
% 45.91/24.35 Conjecture not found
% 46.01/24.36 Conjecture not found
% 46.07/24.41 Conjecture not found
% 46.07/24.42 Conjecture not found
% 46.71/24.57 Conjecture not found
% 46.71/24.58 Conjecture not found
% 46.74/24.60 Conjecture not found
% 46.85/24.75 Conjecture not found
% 46.91/24.77 Conjecture not found
% 46.91/24.79 Conjecture not found
% 46.91/24.81 Conjecture not found
% 46.91/24.85 Conjecture not found
% 47.04/24.89 Conjecture not found
% 47.04/24.93 Conjecture not found
% 47.37/25.01 Conjecture not found
% 47.68/25.08 Conjecture not found
% 47.80/25.19 Conjecture not found
% 47.80/25.20 Conjecture not found
% 47.86/25.27 Conjecture not found
% 47.86/25.28 Conjecture not found
% 47.93/25.32 Conjecture not found
% 47.93/25.33 Conjecture not found
% 47.93/25.34 Conjecture not found
% 47.93/25.35 Conjecture not found
% 47.99/25.38 Conjecture not found
% 47.99/25.39 Conjecture not found
% 47.99/25.41 Conjecture not found
% 47.99/25.41 Start search
% 99.75/39.42 nb_step : 1 - limit : 118253
% 101.20/39.99 Launch Gotab with destructive = true
%------------------------------------------------------------------------------