TSTP Solution File: LAT342+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT342+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n001.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:08 EDT 2022
% Result : Timeout 300.46s 89.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : LAT342+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n001.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:36:13 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 [DMT] DMT loaded with preskolemization
% 0.12/0.33 [EQ] equality loaded.
% 0.12/0.33 [0.000059s][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.12/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.61/0.64 Conjecture not found
% 0.61/0.71 Conjecture not found
% 0.61/0.71 Conjecture not found
% 0.90/0.79 Conjecture not found
% 0.90/0.85 Conjecture not found
% 1.08/0.92 Conjecture not found
% 1.14/0.96 Conjecture not found
% 1.30/1.04 Conjecture not found
% 1.30/1.08 Conjecture not found
% 1.41/1.13 Conjecture not found
% 1.41/1.16 Conjecture not found
% 1.55/1.19 Conjecture not found
% 1.55/1.21 Conjecture not found
% 1.55/1.21 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.61/1.23 Conjecture not found
% 1.76/1.33 Conjecture not found
% 1.76/1.36 Conjecture not found
% 1.76/1.36 Conjecture not found
% 1.76/1.38 Conjecture not found
% 1.76/1.38 Conjecture not found
% 1.87/1.38 Conjecture not found
% 1.87/1.39 Conjecture not found
% 1.87/1.40 Conjecture not found
% 1.87/1.40 Conjecture not found
% 1.87/1.45 Conjecture not found
% 2.07/1.50 Conjecture not found
% 2.07/1.50 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.13/1.52 Conjecture not found
% 2.14/1.54 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.14/1.57 Conjecture not found
% 2.14/1.59 Conjecture not found
% 2.28/1.61 Conjecture not found
% 2.28/1.63 Conjecture not found
% 2.28/1.64 Conjecture not found
% 2.28/1.65 Conjecture not found
% 2.28/1.69 Conjecture not found
% 2.41/1.75 Conjecture not found
% 2.59/1.80 Conjecture not found
% 2.59/1.81 Conjecture not found
% 2.64/1.82 Conjecture not found
% 2.64/1.85 Conjecture not found
% 2.64/1.87 Conjecture not found
% 2.64/1.89 Conjecture not found
% 2.64/1.91 Conjecture not found
% 2.94/2.00 Conjecture not found
% 2.94/2.04 Conjecture not found
% 2.94/2.06 Conjecture not found
% 2.94/2.08 Conjecture not found
% 3.07/2.09 Conjecture not found
% 3.12/2.11 Conjecture not found
% 3.32/2.26 Conjecture not found
% 3.32/2.29 Conjecture not found
% 3.32/2.31 Conjecture not found
% 3.67/2.42 Conjecture not found
% 3.67/2.44 Conjecture not found
% 3.67/2.45 Conjecture not found
% 3.67/2.47 Conjecture not found
% 3.82/2.51 Conjecture not found
% 3.82/2.58 Conjecture not found
% 4.00/2.64 Conjecture not found
% 4.20/2.72 Conjecture not found
% 4.20/2.77 Conjecture not found
% 4.20/2.78 Conjecture not found
% 4.36/2.82 Conjecture not found
% 4.36/2.82 Conjecture not found
% 4.36/2.86 Conjecture not found
% 4.36/2.87 Conjecture not found
% 4.36/2.90 Conjecture not found
% 4.36/2.91 Conjecture not found
% 4.56/2.98 Conjecture not found
% 4.56/2.99 Conjecture not found
% 4.71/3.03 Conjecture not found
% 4.85/3.10 Conjecture not found
% 5.07/3.21 Conjecture not found
% 5.25/3.37 Conjecture not found
% 5.61/3.59 Conjecture not found
% 6.35/3.91 Conjecture not found
% 6.35/3.93 Conjecture not found
% 6.35/3.96 Conjecture not found
% 6.48/4.07 Conjecture not found
% 6.67/4.12 Conjecture not found
% 6.76/4.17 Conjecture not found
% 6.92/4.24 Conjecture not found
% 6.92/4.29 Conjecture not found
% 6.99/4.35 Conjecture not found
% 7.13/4.39 Conjecture not found
% 7.23/4.42 Conjecture not found
% 7.25/4.43 Conjecture not found
% 7.25/4.46 Conjecture not found
% 7.25/4.47 Conjecture not found
% 7.43/4.58 Conjecture not found
% 7.50/4.67 Conjecture not found
% 7.77/4.74 Conjecture not found
% 7.92/4.84 Conjecture not found
% 7.92/4.87 Conjecture not found
% 7.99/4.91 Conjecture not found
% 7.99/4.94 Conjecture not found
% 7.99/4.95 Conjecture not found
% 8.17/4.98 Conjecture not found
% 8.17/5.00 Conjecture not found
% 8.17/5.01 Conjecture not found
% 8.30/5.05 Conjecture not found
% 8.30/5.06 Conjecture not found
% 8.30/5.07 Conjecture not found
% 8.30/5.09 Conjecture not found
% 8.40/5.13 Conjecture not found
% 8.40/5.15 Conjecture not found
% 8.54/5.20 Conjecture not found
% 8.54/5.24 Conjecture not found
% 8.91/5.43 Conjecture not found
% 8.91/5.46 Conjecture not found
% 8.91/5.47 Conjecture not found
% 9.07/5.50 Conjecture not found
% 9.07/5.53 Conjecture not found
% 9.07/5.56 Conjecture not found
% 9.28/5.61 Conjecture not found
% 9.28/5.62 Conjecture not found
% 9.28/5.65 Conjecture not found
% 9.28/5.67 Conjecture not found
% 9.42/5.76 Conjecture not found
% 10.28/6.26 Conjecture not found
% 11.24/6.80 Conjecture not found
% 11.44/6.93 Conjecture not found
% 11.44/6.99 Conjecture not found
% 11.61/7.01 Conjecture not found
% 11.61/7.03 Conjecture not found
% 11.76/7.08 Conjecture not found
% 11.79/7.11 Conjecture not found
% 11.81/7.12 Conjecture not found
% 11.83/7.17 Conjecture not found
% 11.97/7.22 Conjecture not found
% 11.97/7.25 Conjecture not found
% 11.97/7.27 Conjecture not found
% 11.97/7.28 Conjecture not found
% 12.08/7.31 Conjecture not found
% 12.08/7.37 Conjecture not found
% 12.28/7.41 Conjecture not found
% 12.32/7.46 Conjecture not found
% 12.32/7.50 Conjecture not found
% 12.32/7.51 Conjecture not found
% 12.50/7.52 Conjecture not found
% 12.50/7.55 Conjecture not found
% 12.50/7.58 Conjecture not found
% 12.67/7.62 Conjecture not found
% 12.67/7.65 Conjecture not found
% 12.67/7.67 Conjecture not found
% 12.92/7.74 Conjecture not found
% 12.92/7.79 Conjecture not found
% 12.92/7.81 Conjecture not found
% 13.13/7.83 Conjecture not found
% 13.13/7.85 Conjecture not found
% 13.13/7.87 Conjecture not found
% 13.13/7.88 Conjecture not found
% 13.13/7.89 Conjecture not found
% 13.20/7.91 Conjecture not found
% 13.20/7.93 Conjecture not found
% 13.20/7.95 Conjecture not found
% 13.39/8.00 Conjecture not found
% 13.39/8.01 Conjecture not found
% 13.39/8.03 Conjecture not found
% 13.61/8.08 Conjecture not found
% 13.64/8.11 Conjecture not found
% 13.64/8.12 Conjecture not found
% 13.67/8.15 Conjecture not found
% 13.67/8.16 Conjecture not found
% 13.67/8.18 Conjecture not found
% 13.67/8.19 Conjecture not found
% 13.88/8.23 Conjecture not found
% 13.88/8.24 Conjecture not found
% 13.88/8.25 Conjecture not found
% 13.88/8.28 Conjecture not found
% 13.88/8.28 Conjecture not found
% 14.05/8.31 Conjecture not found
% 14.05/8.36 Conjecture not found
% 14.05/8.37 Conjecture not found
% 14.14/8.40 Conjecture not found
% 14.14/8.40 Conjecture not found
% 14.14/8.42 Conjecture not found
% 14.14/8.42 Conjecture not found
% 14.14/8.43 Conjecture not found
% 14.14/8.43 Conjecture not found
% 14.14/8.48 Conjecture not found
% 14.43/8.57 Conjecture not found
% 14.43/8.58 Conjecture not found
% 14.64/8.62 Conjecture not found
% 14.64/8.64 Conjecture not found
% 14.64/8.66 Conjecture not found
% 14.71/8.69 Conjecture not found
% 14.71/8.71 Conjecture not found
% 14.71/8.75 Conjecture not found
% 14.98/8.82 Conjecture not found
% 14.99/8.87 Conjecture not found
% 14.99/8.90 Conjecture not found
% 15.07/8.95 Conjecture not found
% 15.41/9.11 Conjecture not found
% 15.41/9.19 Conjecture not found
% 15.65/9.26 Conjecture not found
% 15.65/9.26 Conjecture not found
% 15.65/9.29 Conjecture not found
% 15.81/9.34 Conjecture not found
% 15.81/9.37 Conjecture not found
% 15.81/9.38 Conjecture not found
% 15.96/9.44 Conjecture not found
% 15.96/9.47 Conjecture not found
% 16.21/9.51 Conjecture not found
% 16.23/9.55 Conjecture not found
% 16.23/9.60 Conjecture not found
% 16.48/9.62 Conjecture not found
% 16.48/9.66 Conjecture not found
% 16.48/9.70 Conjecture not found
% 16.73/9.75 Conjecture not found
% 16.96/9.84 Conjecture not found
% 16.96/9.85 Conjecture not found
% 16.96/9.89 Conjecture not found
% 17.07/9.90 Conjecture not found
% 17.07/9.92 Conjecture not found
% 17.33/10.00 Conjecture not found
% 17.33/10.05 Conjecture not found
% 17.33/10.07 Conjecture not found
% 17.45/10.10 Conjecture not found
% 17.94/10.33 Conjecture not found
% 17.94/10.38 Conjecture not found
% 18.05/10.44 Conjecture not found
% 18.05/10.47 Conjecture not found
% 18.05/10.49 Conjecture not found
% 18.30/10.50 Conjecture not found
% 18.30/10.54 Conjecture not found
% 18.54/10.60 Conjecture not found
% 18.67/10.71 Conjecture not found
% 18.67/10.76 Conjecture not found
% 18.67/10.80 Conjecture not found
% 19.05/10.94 Conjecture not found
% 19.05/10.99 Conjecture not found
% 19.15/11.02 Conjecture not found
% 19.15/11.08 Conjecture not found
% 19.41/11.13 Conjecture not found
% 19.41/11.15 Conjecture not found
% 19.41/11.17 Conjecture not found
% 19.41/11.18 Conjecture not found
% 19.50/11.19 Conjecture not found
% 19.50/11.25 Conjecture not found
% 19.78/11.29 Conjecture not found
% 19.80/11.33 Conjecture not found
% 19.80/11.35 Conjecture not found
% 19.80/11.41 Conjecture not found
% 19.90/11.41 Conjecture not found
% 19.90/11.43 Conjecture not found
% 19.90/11.47 Conjecture not found
% 20.26/11.59 Conjecture not found
% 20.26/11.60 Conjecture not found
% 20.26/11.67 Conjecture not found
% 20.26/11.69 Conjecture not found
% 20.26/11.69 Conjecture not found
% 20.26/11.70 Conjecture not found
% 20.53/11.71 Conjecture not found
% 20.56/11.76 Conjecture not found
% 20.56/11.76 Conjecture not found
% 20.56/11.78 Conjecture not found
% 20.64/11.84 Conjecture not found
% 20.82/11.90 Conjecture not found
% 21.03/12.01 Conjecture not found
% 21.06/12.02 Conjecture not found
% 21.34/12.16 Conjecture not found
% 21.43/12.28 Conjecture not found
% 21.53/12.30 Conjecture not found
% 21.77/12.38 Conjecture not found
% 21.77/12.40 Conjecture not found
% 21.77/12.42 Conjecture not found
% 21.92/12.49 Conjecture not found
% 22.21/12.60 Conjecture not found
% 22.28/12.64 Conjecture not found
% 22.28/12.66 Conjecture not found
% 22.37/12.77 Conjecture not found
% 22.63/12.82 Conjecture not found
% 22.63/12.84 Conjecture not found
% 22.73/12.89 Conjecture not found
% 22.77/12.93 Conjecture not found
% 22.87/12.96 Conjecture not found
% 23.06/13.02 Conjecture not found
% 23.11/13.09 Conjecture not found
% 23.11/13.11 Conjecture not found
% 23.11/13.12 Conjecture not found
% 23.33/13.19 Conjecture not found
% 23.47/13.23 Conjecture not found
% 23.47/13.23 Conjecture not found
% 23.49/13.27 Conjecture not found
% 23.49/13.31 Conjecture not found
% 23.56/13.34 Conjecture not found
% 23.84/13.41 Conjecture not found
% 23.93/13.48 Conjecture not found
% 23.96/13.49 Conjecture not found
% 24.00/13.54 Conjecture not found
% 24.23/13.63 Conjecture not found
% 24.36/13.68 Conjecture not found
% 24.36/13.69 Conjecture not found
% 24.36/13.74 Conjecture not found
% 24.48/13.76 Conjecture not found
% 24.68/13.80 Conjecture not found
% 24.68/13.80 Conjecture not found
% 24.68/13.81 Conjecture not found
% 24.73/13.84 Conjecture not found
% 24.73/13.86 Conjecture not found
% 24.81/13.94 Conjecture not found
% 24.88/14.00 Conjecture not found
% 24.88/14.08 Conjecture not found
% 25.23/14.09 Conjecture not found
% 25.23/14.10 Conjecture not found
% 25.25/14.14 Conjecture not found
% 25.25/14.15 Conjecture not found
% 25.25/14.16 Conjecture not found
% 25.37/14.23 Conjecture not found
% 25.37/14.26 Conjecture not found
% 25.66/14.31 Conjecture not found
% 25.66/14.37 Conjecture not found
% 25.77/14.40 Conjecture not found
% 25.79/14.44 Conjecture not found
% 26.20/14.68 Conjecture not found
% 26.32/14.78 Conjecture not found
% 26.32/14.80 Conjecture not found
% 26.63/14.89 Conjecture not found
% 26.72/14.90 Conjecture not found
% 26.72/14.95 Conjecture not found
% 27.05/15.01 Conjecture not found
% 27.10/15.11 Conjecture not found
% 27.19/15.14 Conjecture not found
% 27.19/15.15 Conjecture not found
% 27.19/15.17 Conjecture not found
% 27.19/15.19 Conjecture not found
% 27.26/15.24 Conjecture not found
% 27.65/15.34 Conjecture not found
% 27.65/15.35 Conjecture not found
% 27.65/15.35 Conjecture not found
% 27.65/15.36 Conjecture not found
% 27.65/15.40 Conjecture not found
% 27.65/15.41 Conjecture not found
% 27.75/15.47 Conjecture not found
% 28.18/15.60 Conjecture not found
% 28.24/15.66 Conjecture not found
% 28.24/15.68 Conjecture not found
% 28.24/15.70 Conjecture not found
% 28.24/15.71 Conjecture not found
% 28.32/15.76 Conjecture not found
% 28.63/15.80 Conjecture not found
% 28.63/15.81 Conjecture not found
% 28.63/15.85 Conjecture not found
% 28.74/15.89 Conjecture not found
% 28.78/15.93 Conjecture not found
% 28.80/15.96 Conjecture not found
% 28.80/15.98 Conjecture not found
% 29.01/16.08 Conjecture not found
% 29.24/16.10 Conjecture not found
% 29.24/16.11 Conjecture not found
% 29.34/16.19 Conjecture not found
% 29.34/16.20 Conjecture not found
% 29.38/16.23 Conjecture not found
% 29.39/16.26 Conjecture not found
% 29.39/16.29 Conjecture not found
% 29.75/16.31 Conjecture not found
% 29.75/16.36 Conjecture not found
% 29.81/16.37 Conjecture not found
% 29.90/16.48 Conjecture not found
% 29.90/16.48 Conjecture not found
% 29.92/16.49 Conjecture not found
% 30.08/16.56 Conjecture not found
% 30.08/16.59 Conjecture not found
% 30.32/16.62 Conjecture not found
% 30.32/16.64 Conjecture not found
% 30.32/16.67 Conjecture not found
% 30.40/16.69 Conjecture not found
% 30.40/16.73 Conjecture not found
% 30.40/16.75 Conjecture not found
% 30.49/16.78 Conjecture not found
% 30.82/16.83 Conjecture not found
% 30.82/16.85 Conjecture not found
% 30.82/16.87 Conjecture not found
% 30.82/16.92 Conjecture not found
% 30.92/16.96 Conjecture not found
% 30.92/16.99 Conjecture not found
% 30.99/17.02 Conjecture not found
% 30.99/17.03 Conjecture not found
% 31.34/17.10 Conjecture not found
% 31.41/17.15 Conjecture not found
% 31.41/17.16 Conjecture not found
% 31.41/17.18 Conjecture not found
% 31.41/17.20 Conjecture not found
% 31.51/17.22 Conjecture not found
% 31.51/17.23 Conjecture not found
% 31.51/17.24 Conjecture not found
% 31.51/17.27 Conjecture not found
% 31.51/17.29 Conjecture not found
% 31.51/17.31 Conjecture not found
% 31.66/17.40 Conjecture not found
% 31.90/17.44 Conjecture not found
% 32.00/17.51 Conjecture not found
% 32.00/17.53 Conjecture not found
% 32.00/17.56 Conjecture not found
% 32.15/17.65 Conjecture not found
% 32.50/17.71 Conjecture not found
% 32.50/17.74 Conjecture not found
% 32.50/17.79 Conjecture not found
% 32.60/17.80 Conjecture not found
% 32.60/17.81 Conjecture not found
% 32.60/17.82 Conjecture not found
% 32.60/17.83 Conjecture not found
% 32.60/17.87 Conjecture not found
% 33.00/17.91 Conjecture not found
% 33.03/17.92 Conjecture not found
% 33.03/17.96 Conjecture not found
% 33.03/17.98 Conjecture not found
% 33.12/18.02 Conjecture not found
% 33.12/18.08 Conjecture not found
% 33.20/18.11 Conjecture not found
% 33.20/18.14 Conjecture not found
% 33.20/18.17 Conjecture not found
% 33.45/18.19 Conjecture not found
% 33.68/18.25 Conjecture not found
% 33.78/18.32 Conjecture not found
% 33.78/18.34 Conjecture not found
% 33.78/18.35 Conjecture not found
% 33.90/18.44 Conjecture not found
% 34.29/18.48 Conjecture not found
% 34.30/18.50 Conjecture not found
% 34.33/18.52 Conjecture not found
% 34.33/18.53 Conjecture not found
% 34.36/18.58 Conjecture not found
% 34.36/18.59 Conjecture not found
% 34.36/18.59 Conjecture not found
% 34.44/18.62 Conjecture not found
% 34.44/18.67 Conjecture not found
% 34.83/18.70 Conjecture not found
% 34.83/18.72 Conjecture not found
% 34.83/18.73 Conjecture not found
% 34.93/18.78 Conjecture not found
% 34.97/18.82 Conjecture not found
% 34.99/18.87 Conjecture not found
% 34.99/18.91 Conjecture not found
% 35.57/19.07 Conjecture not found
% 35.57/19.09 Conjecture not found
% 35.59/19.11 Conjecture not found
% 35.59/19.12 Conjecture not found
% 35.63/19.14 Conjecture not found
% 35.63/19.16 Conjecture not found
% 35.63/19.17 Conjecture not found
% 35.70/19.25 Conjecture not found
% 35.70/19.26 Conjecture not found
% 35.76/19.28 Conjecture not found
% 35.76/19.34 Conjecture not found
% 36.24/19.36 Conjecture not found
% 36.27/19.40 Conjecture not found
% 36.31/19.44 Conjecture not found
% 36.31/19.45 Conjecture not found
% 36.31/19.48 Conjecture not found
% 36.38/19.52 Conjecture not found
% 36.38/19.54 Conjecture not found
% 36.45/19.58 Conjecture not found
% 36.45/19.59 Conjecture not found
% 36.45/19.61 Conjecture not found
% 36.45/19.62 Conjecture not found
% 36.78/19.69 Conjecture not found
% 36.98/19.77 Conjecture not found
% 36.98/19.81 Conjecture not found
% 37.07/19.86 Conjecture not found
% 37.14/19.90 Conjecture not found
% 37.14/19.91 Conjecture not found
% 37.14/19.93 Conjecture not found
% 37.57/20.02 Conjecture not found
% 37.67/20.08 Conjecture not found
% 37.67/20.11 Conjecture not found
% 37.77/20.14 Conjecture not found
% 37.77/20.17 Conjecture not found
% 37.84/20.23 Conjecture not found
% 37.93/20.28 Conjecture not found
% 37.95/20.31 Conjecture not found
% 37.97/20.34 Conjecture not found
% 37.97/20.41 Conjecture not found
% 38.41/20.43 Conjecture not found
% 38.41/20.45 Conjecture not found
% 38.41/20.46 Conjecture not found
% 38.41/20.48 Conjecture not found
% 38.52/20.50 Conjecture not found
% 38.52/20.53 Conjecture not found
% 38.52/20.57 Conjecture not found
% 38.60/20.58 Conjecture not found
% 38.61/20.60 Conjecture not found
% 38.65/20.63 Conjecture not found
% 38.65/20.66 Conjecture not found
% 38.65/20.71 Conjecture not found
% 39.13/20.75 Conjecture not found
% 39.13/20.76 Conjecture not found
% 39.13/20.77 Conjecture not found
% 39.22/20.81 Conjecture not found
% 39.22/20.83 Conjecture not found
% 39.22/20.85 Conjecture not found
% 39.30/20.90 Conjecture not found
% 39.30/20.90 Conjecture not found
% 39.30/20.97 Conjecture not found
% 39.30/20.98 Conjecture not found
% 39.41/21.00 Conjecture not found
% 39.42/21.01 Conjecture not found
% 39.42/21.08 Conjecture not found
% 39.42/21.10 Conjecture not found
% 39.93/21.12 Conjecture not found
% 39.93/21.14 Conjecture not found
% 39.93/21.15 Conjecture not found
% 40.02/21.19 Conjecture not found
% 40.02/21.23 Conjecture not found
% 40.12/21.30 Conjecture not found
% 40.24/21.35 Conjecture not found
% 40.24/21.38 Conjecture not found
% 40.24/21.39 Conjecture not found
% 40.70/21.50 Conjecture not found
% 40.70/21.51 Conjecture not found
% 40.70/21.53 Conjecture not found
% 40.70/21.57 Conjecture not found
% 40.84/21.65 Conjecture not found
% 40.84/21.68 Conjecture not found
% 41.39/21.85 Conjecture not found
% 41.52/21.87 Conjecture not found
% 41.58/21.93 Conjecture not found
% 41.58/21.94 Conjecture not found
% 41.58/21.94 Conjecture not found
% 41.60/21.95 Conjecture not found
% 41.60/21.99 Conjecture not found
% 41.66/22.03 Conjecture not found
% 41.66/22.05 Conjecture not found
% 41.71/22.07 Conjecture not found
% 41.71/22.10 Conjecture not found
% 42.20/22.19 Conjecture not found
% 42.20/22.20 Conjecture not found
% 42.20/22.22 Conjecture not found
% 42.33/22.26 Conjecture not found
% 42.33/22.27 Conjecture not found
% 42.39/22.31 Conjecture not found
% 42.39/22.34 Conjecture not found
% 42.44/22.37 Conjecture not found
% 42.44/22.39 Conjecture not found
% 42.53/22.46 Conjecture not found
% 42.56/22.50 Conjecture not found
% 42.56/22.53 Conjecture not found
% 42.96/22.59 Conjecture not found
% 43.14/22.64 Conjecture not found
% 43.14/22.65 Conjecture not found
% 43.19/22.67 Conjecture not found
% 43.19/22.70 Conjecture not found
% 43.32/22.79 Conjecture not found
% 43.32/22.83 Conjecture not found
% 43.37/22.84 Conjecture not found
% 43.38/22.87 Conjecture not found
% 43.38/22.89 Conjecture not found
% 43.44/22.92 Conjecture not found
% 43.83/22.98 Conjecture not found
% 43.83/23.01 Conjecture not found
% 43.83/23.02 Conjecture not found
% 43.83/23.05 Conjecture not found
% 44.05/23.08 Conjecture not found
% 44.09/23.12 Conjecture not found
% 44.13/23.14 Conjecture not found
% 44.13/23.15 Conjecture not found
% 44.13/23.17 Conjecture not found
% 44.13/23.18 Conjecture not found
% 44.13/23.20 Conjecture not found
% 44.22/23.26 Conjecture not found
% 44.22/23.28 Conjecture not found
% 44.22/23.28 Conjecture not found
% 44.28/23.29 Conjecture not found
% 44.28/23.31 Conjecture not found
% 44.28/23.33 Conjecture not found
% 44.28/23.35 Conjecture not found
% 44.35/23.37 Conjecture not found
% 44.35/23.38 Conjecture not found
% 44.79/23.45 Conjecture not found
% 44.79/23.51 Conjecture not found
% 44.79/23.53 Conjecture not found
% 44.97/23.54 Conjecture not found
% 44.97/23.56 Conjecture not found
% 45.04/23.62 Conjecture not found
% 45.04/23.64 Conjecture not found
% 45.17/23.75 Conjecture not found
% 45.17/23.76 Conjecture not found
% 45.17/23.77 Conjecture not found
% 45.88/23.99 Conjecture not found
% 45.91/24.02 Conjecture not found
% 45.94/24.04 Conjecture not found
% 45.94/24.05 Conjecture not found
% 45.94/24.10 Conjecture not found
% 46.05/24.14 Conjecture not found
% 46.05/24.18 Conjecture not found
% 46.12/24.22 Conjecture not found
% 46.12/24.25 Conjecture not found
% 46.82/24.44 Conjecture not found
% 46.82/24.44 Conjecture not found
% 46.82/24.49 Conjecture not found
% 46.90/24.51 Conjecture not found
% 46.90/24.53 Conjecture not found
% 46.90/24.54 Conjecture not found
% 46.90/24.55 Conjecture not found
% 46.90/24.56 Conjecture not found
% 46.90/24.58 Conjecture not found
% 46.98/24.59 Conjecture not found
% 46.98/24.60 Conjecture not found
% 46.98/24.61 Start search
% 97.46/37.14 nb_step : 1 - limit : 118271
% 98.41/37.68 Launch Gotab with destructive = true
%------------------------------------------------------------------------------