TSTP Solution File: LAT344+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT344+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n027.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:09 EDT 2022
% Result : Timeout 300.05s 89.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT344+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n027.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.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 300
% 0.13/0.35 % DateTime : Thu Sep 1 15:35:11 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.13/0.38 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.51 Conjecture not found
% 0.20/0.54 Conjecture not found
% 0.20/0.56 Conjecture not found
% 0.20/0.56 Conjecture not found
% 0.20/0.57 Conjecture not found
% 0.20/0.59 Conjecture not found
% 0.57/0.61 Conjecture not found
% 0.61/0.66 Conjecture not found
% 0.73/0.73 Conjecture not found
% 0.73/0.74 Conjecture not found
% 0.83/0.82 Conjecture not found
% 1.00/0.87 Conjecture not found
% 1.13/0.95 Conjecture not found
% 1.13/0.99 Conjecture not found
% 1.23/1.06 Conjecture not found
% 1.34/1.10 Conjecture not found
% 1.34/1.14 Conjecture not found
% 1.34/1.17 Conjecture not found
% 1.53/1.20 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.61/1.23 Conjecture not found
% 1.61/1.24 Conjecture not found
% 1.81/1.34 Conjecture not found
% 1.81/1.37 Conjecture not found
% 1.81/1.37 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 2.01/1.46 Conjecture not found
% 2.01/1.51 Conjecture not found
% 2.12/1.51 Conjecture not found
% 2.12/1.52 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.55 Conjecture not found
% 2.19/1.56 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.60 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.19/1.63 Conjecture not found
% 2.35/1.64 Conjecture not found
% 2.35/1.65 Conjecture not found
% 2.43/1.68 Conjecture not found
% 2.43/1.74 Conjecture not found
% 2.59/1.80 Conjecture not found
% 2.59/1.81 Conjecture not found
% 2.59/1.82 Conjecture not found
% 2.72/1.85 Conjecture not found
% 2.72/1.88 Conjecture not found
% 2.72/1.90 Conjecture not found
% 2.82/1.92 Conjecture not found
% 2.90/2.02 Conjecture not found
% 3.03/2.04 Conjecture not found
% 3.03/2.07 Conjecture not found
% 3.10/2.08 Conjecture not found
% 3.10/2.09 Conjecture not found
% 3.10/2.11 Conjecture not found
% 3.35/2.27 Conjecture not found
% 3.45/2.30 Conjecture not found
% 3.45/2.32 Conjecture not found
% 3.73/2.44 Conjecture not found
% 3.73/2.45 Conjecture not found
% 3.73/2.47 Conjecture not found
% 3.73/2.49 Conjecture not found
% 3.84/2.53 Conjecture not found
% 3.95/2.60 Conjecture not found
% 4.10/2.68 Conjecture not found
% 4.24/2.76 Conjecture not found
% 4.24/2.81 Conjecture not found
% 4.39/2.82 Conjecture not found
% 4.39/2.86 Conjecture not found
% 4.39/2.87 Conjecture not found
% 4.51/2.91 Conjecture not found
% 4.51/2.93 Conjecture not found
% 4.51/2.96 Conjecture not found
% 4.51/2.98 Conjecture not found
% 4.69/3.04 Conjecture not found
% 4.69/3.05 Conjecture not found
% 4.69/3.09 Conjecture not found
% 4.82/3.16 Conjecture not found
% 4.97/3.25 Conjecture not found
% 5.27/3.37 Conjecture not found
% 5.74/3.58 Conjecture not found
% 6.11/3.88 Conjecture not found
% 6.26/3.91 Conjecture not found
% 6.26/3.94 Conjecture not found
% 6.52/4.05 Conjecture not found
% 6.52/4.09 Conjecture not found
% 6.64/4.13 Conjecture not found
% 6.77/4.20 Conjecture not found
% 6.77/4.26 Conjecture not found
% 7.01/4.33 Conjecture not found
% 7.01/4.38 Conjecture not found
% 7.15/4.40 Conjecture not found
% 7.15/4.41 Conjecture not found
% 7.15/4.44 Conjecture not found
% 7.15/4.46 Conjecture not found
% 7.28/4.55 Conjecture not found
% 7.53/4.64 Conjecture not found
% 7.53/4.71 Conjecture not found
% 7.78/4.83 Conjecture not found
% 7.88/4.85 Conjecture not found
% 7.90/4.89 Conjecture not found
% 8.02/4.92 Conjecture not found
% 8.02/4.94 Conjecture not found
% 8.05/4.96 Conjecture not found
% 8.05/4.97 Conjecture not found
% 8.05/4.98 Conjecture not found
% 8.05/5.02 Conjecture not found
% 8.05/5.03 Conjecture not found
% 8.19/5.03 Conjecture not found
% 8.19/5.04 Conjecture not found
% 8.19/5.07 Conjecture not found
% 8.25/5.08 Conjecture not found
% 8.25/5.13 Conjecture not found
% 8.41/5.18 Conjecture not found
% 8.76/5.40 Conjecture not found
% 8.76/5.42 Conjecture not found
% 8.76/5.43 Conjecture not found
% 8.76/5.44 Conjecture not found
% 8.95/5.48 Conjecture not found
% 8.95/5.52 Conjecture not found
% 9.01/5.57 Conjecture not found
% 9.01/5.58 Conjecture not found
% 9.01/5.61 Conjecture not found
% 9.17/5.63 Conjecture not found
% 9.23/5.71 Conjecture not found
% 10.03/6.21 Conjecture not found
% 11.05/6.71 Conjecture not found
% 11.22/6.84 Conjecture not found
% 11.22/6.88 Conjecture not found
% 11.43/6.90 Conjecture not found
% 11.44/6.92 Conjecture not found
% 11.44/6.97 Conjecture not found
% 11.44/6.98 Conjecture not found
% 11.44/7.00 Conjecture not found
% 11.66/7.05 Conjecture not found
% 11.66/7.11 Conjecture not found
% 11.74/7.16 Conjecture not found
% 11.74/7.19 Conjecture not found
% 11.74/7.20 Conjecture not found
% 11.92/7.23 Conjecture not found
% 11.92/7.28 Conjecture not found
% 12.09/7.31 Conjecture not found
% 12.09/7.34 Conjecture not found
% 12.30/7.41 Conjecture not found
% 12.32/7.42 Conjecture not found
% 12.32/7.43 Conjecture not found
% 12.32/7.45 Conjecture not found
% 12.32/7.48 Conjecture not found
% 12.50/7.51 Conjecture not found
% 12.50/7.53 Conjecture not found
% 12.50/7.54 Conjecture not found
% 12.68/7.60 Conjecture not found
% 12.68/7.67 Conjecture not found
% 12.78/7.69 Conjecture not found
% 12.78/7.70 Conjecture not found
% 12.81/7.72 Conjecture not found
% 12.93/7.74 Conjecture not found
% 12.93/7.76 Conjecture not found
% 12.93/7.79 Conjecture not found
% 13.00/7.81 Conjecture not found
% 13.00/7.83 Conjecture not found
% 13.00/7.84 Conjecture not found
% 13.14/7.90 Conjecture not found
% 13.14/7.92 Conjecture not found
% 13.14/7.95 Conjecture not found
% 13.27/7.98 Conjecture not found
% 13.30/7.99 Conjecture not found
% 13.30/8.02 Conjecture not found
% 13.45/8.04 Conjecture not found
% 13.45/8.07 Conjecture not found
% 13.45/8.09 Conjecture not found
% 13.45/8.10 Conjecture not found
% 13.52/8.12 Conjecture not found
% 13.52/8.16 Conjecture not found
% 13.70/8.18 Conjecture not found
% 13.70/8.21 Conjecture not found
% 13.70/8.22 Conjecture not found
% 13.70/8.24 Conjecture not found
% 13.70/8.28 Conjecture not found
% 13.94/8.30 Conjecture not found
% 13.98/8.32 Conjecture not found
% 13.98/8.33 Conjecture not found
% 14.01/8.35 Conjecture not found
% 14.01/8.36 Conjecture not found
% 14.01/8.37 Conjecture not found
% 14.01/8.37 Conjecture not found
% 14.01/8.42 Conjecture not found
% 14.27/8.54 Conjecture not found
% 14.33/8.55 Conjecture not found
% 14.33/8.57 Conjecture not found
% 14.33/8.59 Conjecture not found
% 14.41/8.61 Conjecture not found
% 14.56/8.65 Conjecture not found
% 14.56/8.67 Conjecture not found
% 14.56/8.71 Conjecture not found
% 14.65/8.75 Conjecture not found
% 14.81/8.81 Conjecture not found
% 14.81/8.85 Conjecture not found
% 14.90/8.91 Conjecture not found
% 15.19/9.06 Conjecture not found
% 15.24/9.13 Conjecture not found
% 15.46/9.18 Conjecture not found
% 15.46/9.18 Conjecture not found
% 15.46/9.20 Conjecture not found
% 15.51/9.24 Conjecture not found
% 15.59/9.30 Conjecture not found
% 15.59/9.32 Conjecture not found
% 15.82/9.40 Conjecture not found
% 16.04/9.47 Conjecture not found
% 16.10/9.54 Conjecture not found
% 16.10/9.57 Conjecture not found
% 16.32/9.63 Conjecture not found
% 16.32/9.65 Conjecture not found
% 16.40/9.69 Conjecture not found
% 16.40/9.73 Conjecture not found
% 16.69/9.83 Conjecture not found
% 16.69/9.92 Conjecture not found
% 16.69/9.93 Conjecture not found
% 16.79/9.97 Conjecture not found
% 16.79/9.99 Conjecture not found
% 17.03/10.03 Conjecture not found
% 17.12/10.10 Conjecture not found
% 17.12/10.17 Conjecture not found
% 17.12/10.18 Conjecture not found
% 17.37/10.21 Conjecture not found
% 17.74/10.47 Conjecture not found
% 17.98/10.56 Conjecture not found
% 18.08/10.59 Conjecture not found
% 18.08/10.61 Conjecture not found
% 18.11/10.63 Conjecture not found
% 18.11/10.63 Conjecture not found
% 18.37/10.72 Conjecture not found
% 18.37/10.79 Conjecture not found
% 18.68/10.88 Conjecture not found
% 18.68/10.94 Conjecture not found
% 18.68/10.97 Conjecture not found
% 18.89/11.10 Conjecture not found
% 19.10/11.17 Conjecture not found
% 19.18/11.21 Conjecture not found
% 19.18/11.27 Conjecture not found
% 19.47/11.32 Conjecture not found
% 19.47/11.33 Conjecture not found
% 19.49/11.36 Conjecture not found
% 19.49/11.37 Conjecture not found
% 19.49/11.38 Conjecture not found
% 19.49/11.42 Conjecture not found
% 19.57/11.47 Conjecture not found
% 19.80/11.50 Conjecture not found
% 19.80/11.53 Conjecture not found
% 19.90/11.59 Conjecture not found
% 19.90/11.60 Conjecture not found
% 19.94/11.62 Conjecture not found
% 20.06/11.65 Conjecture not found
% 20.23/11.77 Conjecture not found
% 20.28/11.78 Conjecture not found
% 20.28/11.83 Conjecture not found
% 20.28/11.84 Conjecture not found
% 20.28/11.85 Conjecture not found
% 20.28/11.85 Conjecture not found
% 20.55/11.87 Conjecture not found
% 20.63/11.95 Conjecture not found
% 20.63/11.96 Conjecture not found
% 20.63/11.97 Conjecture not found
% 20.70/12.04 Conjecture not found
% 20.93/12.12 Conjecture not found
% 21.07/12.19 Conjecture not found
% 21.07/12.21 Conjecture not found
% 21.43/12.37 Conjecture not found
% 21.79/12.56 Conjecture not found
% 21.79/12.59 Conjecture not found
% 21.89/12.64 Conjecture not found
% 21.89/12.66 Conjecture not found
% 21.89/12.67 Conjecture not found
% 22.22/12.78 Conjecture not found
% 22.29/12.84 Conjecture not found
% 22.29/12.88 Conjecture not found
% 22.29/12.90 Conjecture not found
% 22.67/13.06 Conjecture not found
% 22.75/13.09 Conjecture not found
% 22.77/13.11 Conjecture not found
% 22.78/13.15 Conjecture not found
% 22.97/13.24 Conjecture not found
% 22.97/13.26 Conjecture not found
% 23.13/13.29 Conjecture not found
% 23.13/13.34 Conjecture not found
% 23.13/13.36 Conjecture not found
% 23.13/13.37 Conjecture not found
% 23.22/13.40 Conjecture not found
% 23.44/13.49 Conjecture not found
% 23.44/13.49 Conjecture not found
% 23.55/13.56 Conjecture not found
% 23.63/13.60 Conjecture not found
% 23.63/13.63 Conjecture not found
% 23.63/13.67 Conjecture not found
% 23.91/13.77 Conjecture not found
% 23.91/13.78 Conjecture not found
% 24.06/13.83 Conjecture not found
% 24.32/13.91 Conjecture not found
% 24.45/14.00 Conjecture not found
% 24.45/14.01 Conjecture not found
% 24.45/14.06 Conjecture not found
% 24.45/14.07 Conjecture not found
% 24.45/14.08 Conjecture not found
% 24.55/14.08 Conjecture not found
% 24.63/14.11 Conjecture not found
% 24.82/14.15 Conjecture not found
% 24.82/14.16 Conjecture not found
% 24.91/14.24 Conjecture not found
% 24.98/14.29 Conjecture not found
% 25.28/14.38 Conjecture not found
% 25.29/14.40 Conjecture not found
% 25.32/14.41 Conjecture not found
% 25.34/14.47 Conjecture not found
% 25.34/14.49 Conjecture not found
% 25.34/14.50 Conjecture not found
% 25.43/14.57 Conjecture not found
% 25.67/14.60 Conjecture not found
% 25.67/14.66 Conjecture not found
% 25.86/14.71 Conjecture not found
% 25.89/14.74 Conjecture not found
% 25.91/14.77 Conjecture not found
% 26.39/14.99 Conjecture not found
% 26.65/15.06 Conjecture not found
% 26.65/15.08 Conjecture not found
% 26.84/15.18 Conjecture not found
% 26.84/15.20 Conjecture not found
% 26.84/15.24 Conjecture not found
% 26.96/15.29 Conjecture not found
% 27.26/15.40 Conjecture not found
% 27.26/15.43 Conjecture not found
% 27.26/15.44 Conjecture not found
% 27.36/15.46 Conjecture not found
% 27.36/15.49 Conjecture not found
% 27.42/15.53 Conjecture not found
% 27.62/15.64 Conjecture not found
% 27.82/15.66 Conjecture not found
% 27.82/15.67 Conjecture not found
% 27.82/15.67 Conjecture not found
% 27.87/15.71 Conjecture not found
% 27.87/15.72 Conjecture not found
% 27.92/15.78 Conjecture not found
% 28.30/15.90 Conjecture not found
% 28.30/15.96 Conjecture not found
% 28.40/15.98 Conjecture not found
% 28.40/16.00 Conjecture not found
% 28.40/16.01 Conjecture not found
% 28.50/16.08 Conjecture not found
% 28.50/16.12 Conjecture not found
% 28.82/16.13 Conjecture not found
% 28.82/16.17 Conjecture not found
% 28.87/16.21 Conjecture not found
% 28.94/16.25 Conjecture not found
% 28.96/16.28 Conjecture not found
% 28.96/16.30 Conjecture not found
% 29.04/16.41 Conjecture not found
% 29.39/16.43 Conjecture not found
% 29.39/16.44 Conjecture not found
% 29.46/16.52 Conjecture not found
% 29.46/16.54 Conjecture not found
% 29.53/16.59 Conjecture not found
% 29.86/16.62 Conjecture not found
% 29.88/16.65 Conjecture not found
% 29.88/16.68 Conjecture not found
% 29.95/16.71 Conjecture not found
% 29.95/16.72 Conjecture not found
% 30.02/16.82 Conjecture not found
% 30.02/16.83 Conjecture not found
% 30.02/16.84 Conjecture not found
% 30.36/16.91 Conjecture not found
% 30.46/16.96 Conjecture not found
% 30.46/16.99 Conjecture not found
% 30.46/17.00 Conjecture not found
% 30.54/17.05 Conjecture not found
% 30.54/17.08 Conjecture not found
% 30.61/17.12 Conjecture not found
% 30.61/17.14 Conjecture not found
% 30.92/17.19 Conjecture not found
% 31.02/17.22 Conjecture not found
% 31.02/17.23 Conjecture not found
% 31.02/17.24 Conjecture not found
% 31.02/17.28 Conjecture not found
% 31.12/17.31 Conjecture not found
% 31.12/17.34 Conjecture not found
% 31.12/17.36 Conjecture not found
% 31.12/17.37 Conjecture not found
% 31.24/17.46 Conjecture not found
% 31.61/17.52 Conjecture not found
% 31.63/17.54 Conjecture not found
% 31.63/17.56 Conjecture not found
% 31.63/17.59 Conjecture not found
% 31.72/17.62 Conjecture not found
% 31.72/17.63 Conjecture not found
% 31.72/17.65 Conjecture not found
% 31.72/17.68 Conjecture not found
% 31.80/17.70 Conjecture not found
% 31.80/17.73 Conjecture not found
% 32.19/17.82 Conjecture not found
% 32.29/17.88 Conjecture not found
% 32.33/17.98 Conjecture not found
% 32.45/18.02 Conjecture not found
% 32.81/18.09 Conjecture not found
% 32.81/18.17 Conjecture not found
% 32.96/18.25 Conjecture not found
% 32.96/18.29 Conjecture not found
% 33.34/18.40 Conjecture not found
% 33.34/18.43 Conjecture not found
% 33.34/18.45 Conjecture not found
% 33.51/18.47 Conjecture not found
% 33.51/18.48 Conjecture not found
% 33.54/18.50 Conjecture not found
% 33.54/18.52 Conjecture not found
% 33.54/18.53 Conjecture not found
% 33.58/18.56 Conjecture not found
% 33.58/18.58 Conjecture not found
% 33.65/18.62 Conjecture not found
% 33.71/18.72 Conjecture not found
% 34.02/18.80 Conjecture not found
% 34.19/18.85 Conjecture not found
% 34.19/18.87 Conjecture not found
% 34.19/18.88 Conjecture not found
% 34.29/18.95 Conjecture not found
% 34.34/19.05 Conjecture not found
% 34.41/19.07 Conjecture not found
% 34.41/19.09 Conjecture not found
% 34.63/19.23 Conjecture not found
% 34.97/19.30 Conjecture not found
% 34.97/19.33 Conjecture not found
% 34.97/19.37 Conjecture not found
% 35.06/19.38 Conjecture not found
% 35.11/19.44 Conjecture not found
% 35.13/19.45 Conjecture not found
% 35.13/19.46 Conjecture not found
% 35.13/19.50 Conjecture not found
% 35.39/19.54 Conjecture not found
% 35.39/19.55 Conjecture not found
% 35.60/19.57 Conjecture not found
% 35.60/19.58 Conjecture not found
% 35.60/19.63 Conjecture not found
% 35.68/19.67 Conjecture not found
% 35.71/19.71 Conjecture not found
% 35.76/19.74 Conjecture not found
% 36.20/19.88 Conjecture not found
% 36.28/19.90 Conjecture not found
% 36.28/19.92 Conjecture not found
% 36.28/19.93 Conjecture not found
% 36.28/19.95 Conjecture not found
% 36.28/19.97 Conjecture not found
% 36.36/19.97 Conjecture not found
% 36.43/20.05 Conjecture not found
% 36.43/20.07 Conjecture not found
% 36.43/20.10 Conjecture not found
% 36.67/20.16 Conjecture not found
% 36.94/20.17 Conjecture not found
% 36.94/20.20 Conjecture not found
% 36.94/20.23 Conjecture not found
% 36.94/20.24 Conjecture not found
% 36.94/20.27 Conjecture not found
% 37.06/20.31 Conjecture not found
% 37.09/20.33 Conjecture not found
% 37.09/20.37 Conjecture not found
% 37.09/20.38 Conjecture not found
% 37.09/20.40 Conjecture not found
% 37.19/20.42 Conjecture not found
% 37.61/20.51 Conjecture not found
% 37.61/20.56 Conjecture not found
% 37.71/20.59 Conjecture not found
% 37.73/20.63 Conjecture not found
% 37.73/20.66 Conjecture not found
% 37.73/20.66 Conjecture not found
% 37.73/20.68 Conjecture not found
% 38.07/20.84 Conjecture not found
% 38.32/20.89 Conjecture not found
% 38.34/20.93 Conjecture not found
% 38.34/20.99 Conjecture not found
% 38.43/21.03 Conjecture not found
% 38.43/21.07 Conjecture not found
% 38.52/21.11 Conjecture not found
% 38.52/21.13 Conjecture not found
% 38.52/21.17 Conjecture not found
% 38.61/21.20 Conjecture not found
% 38.61/21.24 Conjecture not found
% 39.09/21.29 Conjecture not found
% 39.12/21.32 Conjecture not found
% 39.12/21.34 Conjecture not found
% 39.12/21.39 Conjecture not found
% 39.21/21.42 Conjecture not found
% 39.21/21.47 Conjecture not found
% 39.21/21.48 Conjecture not found
% 39.29/21.51 Conjecture not found
% 39.29/21.55 Conjecture not found
% 39.29/21.58 Conjecture not found
% 39.39/21.61 Conjecture not found
% 39.42/21.67 Conjecture not found
% 39.42/21.69 Conjecture not found
% 39.88/21.71 Conjecture not found
% 39.88/21.77 Conjecture not found
% 39.96/21.78 Conjecture not found
% 39.96/21.81 Conjecture not found
% 39.96/21.85 Conjecture not found
% 39.96/21.86 Conjecture not found
% 40.10/21.92 Conjecture not found
% 40.10/21.94 Conjecture not found
% 40.10/21.95 Conjecture not found
% 40.10/21.97 Conjecture not found
% 40.18/22.01 Conjecture not found
% 40.18/22.04 Conjecture not found
% 40.66/22.08 Conjecture not found
% 40.66/22.10 Conjecture not found
% 40.66/22.12 Conjecture not found
% 40.66/22.15 Conjecture not found
% 40.78/22.19 Conjecture not found
% 40.84/22.26 Conjecture not found
% 40.84/22.28 Conjecture not found
% 40.84/22.29 Conjecture not found
% 40.84/22.29 Conjecture not found
% 41.39/22.45 Conjecture not found
% 41.47/22.46 Conjecture not found
% 41.48/22.48 Conjecture not found
% 41.52/22.52 Conjecture not found
% 41.55/22.59 Conjecture not found
% 41.63/22.63 Conjecture not found
% 41.69/22.77 Conjecture not found
% 42.06/22.79 Conjecture not found
% 42.29/22.88 Conjecture not found
% 42.29/22.88 Conjecture not found
% 42.29/22.89 Conjecture not found
% 42.29/22.90 Conjecture not found
% 42.29/22.94 Conjecture not found
% 42.39/22.98 Conjecture not found
% 42.45/23.00 Conjecture not found
% 42.45/23.02 Conjecture not found
% 42.45/23.05 Conjecture not found
% 42.51/23.12 Conjecture not found
% 42.51/23.14 Conjecture not found
% 43.07/23.21 Conjecture not found
% 43.13/23.27 Conjecture not found
% 43.13/23.29 Conjecture not found
% 43.23/23.35 Conjecture not found
% 43.23/23.38 Conjecture not found
% 43.29/23.42 Conjecture not found
% 43.29/23.44 Conjecture not found
% 43.36/23.54 Conjecture not found
% 43.47/23.58 Conjecture not found
% 43.47/23.60 Conjecture not found
% 43.68/23.64 Conjecture not found
% 43.68/23.70 Conjecture not found
% 44.06/23.72 Conjecture not found
% 44.06/23.75 Conjecture not found
% 44.06/23.78 Conjecture not found
% 44.20/23.87 Conjecture not found
% 44.22/23.91 Conjecture not found
% 44.26/23.92 Conjecture not found
% 44.28/23.96 Conjecture not found
% 44.28/23.97 Conjecture not found
% 44.28/23.99 Conjecture not found
% 44.37/24.03 Conjecture not found
% 44.37/24.05 Conjecture not found
% 44.37/24.08 Conjecture not found
% 44.89/24.13 Conjecture not found
% 44.99/24.17 Conjecture not found
% 45.01/24.21 Conjecture not found
% 45.04/24.23 Conjecture not found
% 45.04/24.24 Conjecture not found
% 45.04/24.27 Conjecture not found
% 45.04/24.28 Conjecture not found
% 45.04/24.30 Conjecture not found
% 45.11/24.36 Conjecture not found
% 45.11/24.38 Conjecture not found
% 45.19/24.38 Conjecture not found
% 45.19/24.39 Conjecture not found
% 45.19/24.40 Conjecture not found
% 45.19/24.43 Conjecture not found
% 45.19/24.45 Conjecture not found
% 45.19/24.47 Conjecture not found
% 45.29/24.48 Conjecture not found
% 45.31/24.49 Conjecture not found
% 45.47/24.55 Conjecture not found
% 45.47/24.56 Conjecture not found
% 45.47/24.58 Conjecture not found
% 45.47/24.60 Conjecture not found
% 45.90/24.69 Conjecture not found
% 45.98/24.70 Conjecture not found
% 46.09/24.80 Conjecture not found
% 46.09/24.81 Conjecture not found
% 46.09/24.82 Conjecture not found
% 46.19/24.99 Conjecture not found
% 46.65/25.03 Conjecture not found
% 46.65/25.07 Conjecture not found
% 46.65/25.08 Conjecture not found
% 46.91/25.13 Conjecture not found
% 46.91/25.17 Conjecture not found
% 46.91/25.21 Conjecture not found
% 47.01/25.25 Conjecture not found
% 47.01/25.29 Conjecture not found
% 47.10/25.39 Conjecture not found
% 47.18/25.39 Conjecture not found
% 47.79/25.52 Conjecture not found
% 47.79/25.54 Conjecture not found
% 47.79/25.57 Conjecture not found
% 47.79/25.58 Conjecture not found
% 47.79/25.60 Conjecture not found
% 47.79/25.60 Conjecture not found
% 47.88/25.63 Conjecture not found
% 47.88/25.65 Conjecture not found
% 47.88/25.66 Conjecture not found
% 47.88/25.68 Start search
% 99.10/38.38 nb_step : 1 - limit : 118308
% 100.34/38.92 Launch Gotab with destructive = true
%------------------------------------------------------------------------------