TSTP Solution File: LAT340+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT340+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n024.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:07 EDT 2022
% Result : Timeout 300.70s 89.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : LAT340+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n024.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:12:25 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.000024s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.36 Conjecture not found
% 0.12/0.36 Conjecture not found
% 0.12/0.36 Conjecture not found
% 0.12/0.36 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.41 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.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.59 Conjecture not found
% 0.18/0.64 Conjecture not found
% 0.18/0.71 Conjecture not found
% 0.18/0.72 Conjecture not found
% 0.18/0.80 Conjecture not found
% 0.95/0.85 Conjecture not found
% 1.08/0.93 Conjecture not found
% 1.08/0.97 Conjecture not found
% 1.20/1.04 Conjecture not found
% 1.36/1.08 Conjecture not found
% 1.44/1.13 Conjecture not found
% 1.44/1.16 Conjecture not found
% 1.44/1.20 Conjecture not found
% 1.44/1.21 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.57/1.23 Conjecture not found
% 1.69/1.33 Conjecture not found
% 1.69/1.36 Conjecture not found
% 1.69/1.36 Conjecture not found
% 1.69/1.38 Conjecture not found
% 1.69/1.38 Conjecture not found
% 1.85/1.39 Conjecture not found
% 1.85/1.39 Conjecture not found
% 1.89/1.40 Conjecture not found
% 1.89/1.40 Conjecture not found
% 1.94/1.45 Conjecture not found
% 1.94/1.50 Conjecture not found
% 1.94/1.50 Conjecture not found
% 1.94/1.51 Conjecture not found
% 1.94/1.52 Conjecture not found
% 2.12/1.54 Conjecture not found
% 2.12/1.56 Conjecture not found
% 2.12/1.57 Conjecture not found
% 2.12/1.59 Conjecture not found
% 2.23/1.61 Conjecture not found
% 2.23/1.63 Conjecture not found
% 2.23/1.64 Conjecture not found
% 2.23/1.65 Conjecture not found
% 2.36/1.69 Conjecture not found
% 2.45/1.75 Conjecture not found
% 2.45/1.80 Conjecture not found
% 2.45/1.81 Conjecture not found
% 2.61/1.83 Conjecture not found
% 2.61/1.86 Conjecture not found
% 2.61/1.89 Conjecture not found
% 2.74/1.91 Conjecture not found
% 2.74/1.93 Conjecture not found
% 2.93/2.02 Conjecture not found
% 2.94/2.05 Conjecture not found
% 2.94/2.07 Conjecture not found
% 2.94/2.09 Conjecture not found
% 2.94/2.11 Conjecture not found
% 3.10/2.13 Conjecture not found
% 3.38/2.30 Conjecture not found
% 3.46/2.33 Conjecture not found
% 3.46/2.35 Conjecture not found
% 3.59/2.46 Conjecture not found
% 3.59/2.48 Conjecture not found
% 3.71/2.50 Conjecture not found
% 3.71/2.52 Conjecture not found
% 3.71/2.57 Conjecture not found
% 3.95/2.63 Conjecture not found
% 4.08/2.72 Conjecture not found
% 4.19/2.79 Conjecture not found
% 4.19/2.86 Conjecture not found
% 4.19/2.87 Conjecture not found
% 4.37/2.91 Conjecture not found
% 4.37/2.91 Conjecture not found
% 4.43/2.94 Conjecture not found
% 4.43/2.96 Conjecture not found
% 4.43/2.98 Conjecture not found
% 4.43/2.99 Conjecture not found
% 4.59/3.07 Conjecture not found
% 4.59/3.08 Conjecture not found
% 4.76/3.12 Conjecture not found
% 4.76/3.17 Conjecture not found
% 4.94/3.25 Conjecture not found
% 5.12/3.38 Conjecture not found
% 5.56/3.60 Conjecture not found
% 6.28/3.89 Conjecture not found
% 6.30/3.91 Conjecture not found
% 6.31/3.94 Conjecture not found
% 6.48/4.04 Conjecture not found
% 6.48/4.08 Conjecture not found
% 6.62/4.13 Conjecture not found
% 6.77/4.18 Conjecture not found
% 6.86/4.22 Conjecture not found
% 6.89/4.29 Conjecture not found
% 7.03/4.34 Conjecture not found
% 7.03/4.36 Conjecture not found
% 7.03/4.37 Conjecture not found
% 7.09/4.39 Conjecture not found
% 7.09/4.40 Conjecture not found
% 7.34/4.49 Conjecture not found
% 7.39/4.57 Conjecture not found
% 7.53/4.64 Conjecture not found
% 7.61/4.74 Conjecture not found
% 7.61/4.77 Conjecture not found
% 7.87/4.81 Conjecture not found
% 7.90/4.84 Conjecture not found
% 7.90/4.85 Conjecture not found
% 7.90/4.88 Conjecture not found
% 7.90/4.91 Conjecture not found
% 7.90/4.92 Conjecture not found
% 8.08/4.96 Conjecture not found
% 8.08/4.96 Conjecture not found
% 8.08/4.97 Conjecture not found
% 8.20/5.00 Conjecture not found
% 8.20/5.04 Conjecture not found
% 8.20/5.05 Conjecture not found
% 8.27/5.08 Conjecture not found
% 8.40/5.12 Conjecture not found
% 8.61/5.28 Conjecture not found
% 8.73/5.33 Conjecture not found
% 8.73/5.34 Conjecture not found
% 8.73/5.36 Conjecture not found
% 8.84/5.39 Conjecture not found
% 8.96/5.42 Conjecture not found
% 8.98/5.47 Conjecture not found
% 8.98/5.48 Conjecture not found
% 8.98/5.51 Conjecture not found
% 9.06/5.54 Conjecture not found
% 9.21/5.63 Conjecture not found
% 9.99/6.10 Conjecture not found
% 10.92/6.65 Conjecture not found
% 11.11/6.77 Conjecture not found
% 11.28/6.83 Conjecture not found
% 11.28/6.85 Conjecture not found
% 11.28/6.87 Conjecture not found
% 11.49/6.93 Conjecture not found
% 11.49/6.95 Conjecture not found
% 11.49/6.97 Conjecture not found
% 11.68/7.02 Conjecture not found
% 11.68/7.08 Conjecture not found
% 11.78/7.13 Conjecture not found
% 11.78/7.16 Conjecture not found
% 11.78/7.17 Conjecture not found
% 11.96/7.21 Conjecture not found
% 11.96/7.24 Conjecture not found
% 12.13/7.29 Conjecture not found
% 12.16/7.35 Conjecture not found
% 12.16/7.40 Conjecture not found
% 12.37/7.42 Conjecture not found
% 12.37/7.45 Conjecture not found
% 12.37/7.48 Conjecture not found
% 12.45/7.51 Conjecture not found
% 12.45/7.54 Conjecture not found
% 12.45/7.57 Conjecture not found
% 12.45/7.58 Conjecture not found
% 12.67/7.62 Conjecture not found
% 12.78/7.68 Conjecture not found
% 12.78/7.70 Conjecture not found
% 12.88/7.72 Conjecture not found
% 12.88/7.74 Conjecture not found
% 12.88/7.76 Conjecture not found
% 13.03/7.78 Conjecture not found
% 13.03/7.80 Conjecture not found
% 13.03/7.83 Conjecture not found
% 13.12/7.86 Conjecture not found
% 13.12/7.87 Conjecture not found
% 13.13/7.90 Conjecture not found
% 13.25/7.92 Conjecture not found
% 13.31/7.95 Conjecture not found
% 13.31/7.97 Conjecture not found
% 13.31/7.98 Conjecture not found
% 13.31/7.99 Conjecture not found
% 13.31/8.01 Conjecture not found
% 13.50/8.04 Conjecture not found
% 13.50/8.08 Conjecture not found
% 13.56/8.09 Conjecture not found
% 13.56/8.12 Conjecture not found
% 13.56/8.14 Conjecture not found
% 13.56/8.17 Conjecture not found
% 13.79/8.22 Conjecture not found
% 13.79/8.23 Conjecture not found
% 13.84/8.25 Conjecture not found
% 13.84/8.27 Conjecture not found
% 13.84/8.28 Conjecture not found
% 14.02/8.31 Conjecture not found
% 14.02/8.32 Conjecture not found
% 14.02/8.34 Conjecture not found
% 14.02/8.34 Conjecture not found
% 14.02/8.35 Conjecture not found
% 14.02/8.35 Conjecture not found
% 14.08/8.38 Conjecture not found
% 14.29/8.47 Conjecture not found
% 14.29/8.47 Conjecture not found
% 14.33/8.49 Conjecture not found
% 14.33/8.51 Conjecture not found
% 14.33/8.52 Conjecture not found
% 14.45/8.55 Conjecture not found
% 14.45/8.57 Conjecture not found
% 14.45/8.60 Conjecture not found
% 14.57/8.62 Conjecture not found
% 14.57/8.65 Conjecture not found
% 14.77/8.72 Conjecture not found
% 14.77/8.77 Conjecture not found
% 14.99/8.90 Conjecture not found
% 15.14/8.97 Conjecture not found
% 15.25/9.03 Conjecture not found
% 15.25/9.04 Conjecture not found
% 15.44/9.08 Conjecture not found
% 15.47/9.12 Conjecture not found
% 15.50/9.15 Conjecture not found
% 15.50/9.18 Conjecture not found
% 15.73/9.27 Conjecture not found
% 15.82/9.34 Conjecture not found
% 16.05/9.40 Conjecture not found
% 16.07/9.44 Conjecture not found
% 16.07/9.50 Conjecture not found
% 16.31/9.53 Conjecture not found
% 16.40/9.61 Conjecture not found
% 16.40/9.68 Conjecture not found
% 16.53/9.79 Conjecture not found
% 16.78/9.90 Conjecture not found
% 16.86/9.91 Conjecture not found
% 16.86/9.94 Conjecture not found
% 16.86/9.97 Conjecture not found
% 17.10/10.01 Conjecture not found
% 17.21/10.11 Conjecture not found
% 17.21/10.17 Conjecture not found
% 17.21/10.20 Conjecture not found
% 17.46/10.24 Conjecture not found
% 17.83/10.47 Conjecture not found
% 18.08/10.54 Conjecture not found
% 18.08/10.57 Conjecture not found
% 18.08/10.58 Conjecture not found
% 18.08/10.59 Conjecture not found
% 18.16/10.60 Conjecture not found
% 18.16/10.65 Conjecture not found
% 18.46/10.74 Conjecture not found
% 18.46/10.80 Conjecture not found
% 18.57/10.86 Conjecture not found
% 18.57/10.88 Conjecture not found
% 18.94/10.99 Conjecture not found
% 19.11/11.07 Conjecture not found
% 19.11/11.11 Conjecture not found
% 19.19/11.15 Conjecture not found
% 19.34/11.20 Conjecture not found
% 19.34/11.21 Conjecture not found
% 19.34/11.23 Conjecture not found
% 19.34/11.24 Conjecture not found
% 19.34/11.26 Conjecture not found
% 19.51/11.29 Conjecture not found
% 19.54/11.32 Conjecture not found
% 19.57/11.34 Conjecture not found
% 19.57/11.38 Conjecture not found
% 19.83/11.47 Conjecture not found
% 19.83/11.48 Conjecture not found
% 19.89/11.50 Conjecture not found
% 19.89/11.52 Conjecture not found
% 20.20/11.65 Conjecture not found
% 20.20/11.66 Conjecture not found
% 20.20/11.69 Conjecture not found
% 20.20/11.70 Conjecture not found
% 20.20/11.70 Conjecture not found
% 20.20/11.70 Conjecture not found
% 20.28/11.71 Conjecture not found
% 20.52/11.79 Conjecture not found
% 20.52/11.80 Conjecture not found
% 20.52/11.82 Conjecture not found
% 20.64/11.90 Conjecture not found
% 20.69/11.96 Conjecture not found
% 20.96/12.04 Conjecture not found
% 20.96/12.06 Conjecture not found
% 21.31/12.18 Conjecture not found
% 21.45/12.33 Conjecture not found
% 21.45/12.35 Conjecture not found
% 21.73/12.39 Conjecture not found
% 21.73/12.41 Conjecture not found
% 21.73/12.41 Conjecture not found
% 21.73/12.47 Conjecture not found
% 22.04/12.56 Conjecture not found
% 22.04/12.61 Conjecture not found
% 22.15/12.63 Conjecture not found
% 22.23/12.74 Conjecture not found
% 22.52/12.79 Conjecture not found
% 22.54/12.82 Conjecture not found
% 22.54/12.87 Conjecture not found
% 22.63/12.91 Conjecture not found
% 22.63/12.92 Conjecture not found
% 22.63/12.98 Conjecture not found
% 22.92/13.07 Conjecture not found
% 23.02/13.09 Conjecture not found
% 23.03/13.10 Conjecture not found
% 23.04/13.15 Conjecture not found
% 23.35/13.22 Conjecture not found
% 23.35/13.23 Conjecture not found
% 23.35/13.29 Conjecture not found
% 23.44/13.34 Conjecture not found
% 23.44/13.37 Conjecture not found
% 23.53/13.41 Conjecture not found
% 23.83/13.52 Conjecture not found
% 23.83/13.53 Conjecture not found
% 23.83/13.58 Conjecture not found
% 23.95/13.63 Conjecture not found
% 24.26/13.76 Conjecture not found
% 24.26/13.78 Conjecture not found
% 24.35/13.84 Conjecture not found
% 24.35/13.85 Conjecture not found
% 24.35/13.87 Conjecture not found
% 24.35/13.87 Conjecture not found
% 24.35/13.88 Conjecture not found
% 24.70/13.91 Conjecture not found
% 24.72/13.93 Conjecture not found
% 24.80/14.02 Conjecture not found
% 24.87/14.08 Conjecture not found
% 24.87/14.16 Conjecture not found
% 25.19/14.19 Conjecture not found
% 25.21/14.20 Conjecture not found
% 25.24/14.25 Conjecture not found
% 25.24/14.27 Conjecture not found
% 25.24/14.28 Conjecture not found
% 25.32/14.35 Conjecture not found
% 25.32/14.37 Conjecture not found
% 25.50/14.42 Conjecture not found
% 25.50/14.48 Conjecture not found
% 25.73/14.50 Conjecture not found
% 25.78/14.54 Conjecture not found
% 26.18/14.72 Conjecture not found
% 26.28/14.79 Conjecture not found
% 26.52/14.82 Conjecture not found
% 26.56/14.91 Conjecture not found
% 26.64/14.92 Conjecture not found
% 26.64/14.97 Conjecture not found
% 26.72/15.03 Conjecture not found
% 27.08/15.13 Conjecture not found
% 27.10/15.16 Conjecture not found
% 27.10/15.17 Conjecture not found
% 27.10/15.19 Conjecture not found
% 27.17/15.22 Conjecture not found
% 27.48/15.29 Conjecture not found
% 27.57/15.36 Conjecture not found
% 27.57/15.37 Conjecture not found
% 27.57/15.37 Conjecture not found
% 27.57/15.38 Conjecture not found
% 27.60/15.42 Conjecture not found
% 27.64/15.43 Conjecture not found
% 27.65/15.48 Conjecture not found
% 28.07/15.62 Conjecture not found
% 28.07/15.67 Conjecture not found
% 28.16/15.69 Conjecture not found
% 28.19/15.71 Conjecture not found
% 28.19/15.72 Conjecture not found
% 28.21/15.80 Conjecture not found
% 28.46/15.85 Conjecture not found
% 28.46/15.86 Conjecture not found
% 28.60/15.91 Conjecture not found
% 28.60/15.96 Conjecture not found
% 28.71/16.01 Conjecture not found
% 28.73/16.04 Conjecture not found
% 28.73/16.06 Conjecture not found
% 28.82/16.14 Conjecture not found
% 28.82/16.17 Conjecture not found
% 29.15/16.21 Conjecture not found
% 29.26/16.31 Conjecture not found
% 29.28/16.32 Conjecture not found
% 29.28/16.37 Conjecture not found
% 29.28/16.39 Conjecture not found
% 29.28/16.41 Conjecture not found
% 29.37/16.43 Conjecture not found
% 29.37/16.49 Conjecture not found
% 29.74/16.50 Conjecture not found
% 29.83/16.60 Conjecture not found
% 29.85/16.61 Conjecture not found
% 29.86/16.62 Conjecture not found
% 29.86/16.65 Conjecture not found
% 29.86/16.67 Conjecture not found
% 30.18/16.72 Conjecture not found
% 30.18/16.75 Conjecture not found
% 30.18/16.78 Conjecture not found
% 30.32/16.81 Conjecture not found
% 30.32/16.86 Conjecture not found
% 30.32/16.88 Conjecture not found
% 30.41/16.91 Conjecture not found
% 30.41/16.93 Conjecture not found
% 30.41/16.95 Conjecture not found
% 30.41/16.97 Conjecture not found
% 30.81/17.04 Conjecture not found
% 30.81/17.09 Conjecture not found
% 30.90/17.12 Conjecture not found
% 30.90/17.15 Conjecture not found
% 30.90/17.16 Conjecture not found
% 30.99/17.21 Conjecture not found
% 30.99/17.26 Conjecture not found
% 31.35/17.30 Conjecture not found
% 31.44/17.34 Conjecture not found
% 31.44/17.38 Conjecture not found
% 31.44/17.41 Conjecture not found
% 31.53/17.42 Conjecture not found
% 31.53/17.44 Conjecture not found
% 31.53/17.48 Conjecture not found
% 31.60/17.49 Conjecture not found
% 31.60/17.51 Conjecture not found
% 31.89/17.59 Conjecture not found
% 32.03/17.67 Conjecture not found
% 32.13/17.77 Conjecture not found
% 32.20/17.80 Conjecture not found
% 32.20/17.84 Conjecture not found
% 32.57/17.94 Conjecture not found
% 32.73/18.06 Conjecture not found
% 32.79/18.10 Conjecture not found
% 32.87/18.16 Conjecture not found
% 32.89/18.18 Conjecture not found
% 32.89/18.19 Conjecture not found
% 33.14/18.22 Conjecture not found
% 33.27/18.24 Conjecture not found
% 33.27/18.27 Conjecture not found
% 33.27/18.30 Conjecture not found
% 33.27/18.31 Conjecture not found
% 33.35/18.34 Conjecture not found
% 33.35/18.35 Conjecture not found
% 33.41/18.39 Conjecture not found
% 33.41/18.46 Conjecture not found
% 33.50/18.49 Conjecture not found
% 33.53/18.52 Conjecture not found
% 33.68/18.55 Conjecture not found
% 33.68/18.58 Conjecture not found
% 34.02/18.68 Conjecture not found
% 34.11/18.77 Conjecture not found
% 34.15/18.80 Conjecture not found
% 34.15/18.81 Conjecture not found
% 34.59/18.93 Conjecture not found
% 34.67/18.99 Conjecture not found
% 34.67/19.01 Conjecture not found
% 34.67/19.05 Conjecture not found
% 34.67/19.06 Conjecture not found
% 34.81/19.12 Conjecture not found
% 34.81/19.13 Conjecture not found
% 34.84/19.14 Conjecture not found
% 34.84/19.18 Conjecture not found
% 34.84/19.22 Conjecture not found
% 35.28/19.24 Conjecture not found
% 35.28/19.27 Conjecture not found
% 35.28/19.28 Conjecture not found
% 35.35/19.33 Conjecture not found
% 35.43/19.37 Conjecture not found
% 35.47/19.42 Conjecture not found
% 35.49/19.47 Conjecture not found
% 36.02/19.61 Conjecture not found
% 36.02/19.63 Conjecture not found
% 36.02/19.66 Conjecture not found
% 36.02/19.67 Conjecture not found
% 36.10/19.69 Conjecture not found
% 36.12/19.71 Conjecture not found
% 36.12/19.71 Conjecture not found
% 36.13/19.79 Conjecture not found
% 36.13/19.81 Conjecture not found
% 36.22/19.83 Conjecture not found
% 36.63/19.90 Conjecture not found
% 36.63/19.92 Conjecture not found
% 36.63/19.95 Conjecture not found
% 36.74/19.99 Conjecture not found
% 36.74/20.00 Conjecture not found
% 36.78/20.03 Conjecture not found
% 36.78/20.07 Conjecture not found
% 36.78/20.09 Conjecture not found
% 36.89/20.13 Conjecture not found
% 36.89/20.14 Conjecture not found
% 36.89/20.16 Conjecture not found
% 36.89/20.17 Conjecture not found
% 36.97/20.22 Conjecture not found
% 37.43/20.34 Conjecture not found
% 37.43/20.37 Conjecture not found
% 37.55/20.43 Conjecture not found
% 37.55/20.46 Conjecture not found
% 37.55/20.47 Conjecture not found
% 37.55/20.50 Conjecture not found
% 38.01/20.59 Conjecture not found
% 38.01/20.66 Conjecture not found
% 38.19/20.69 Conjecture not found
% 38.23/20.72 Conjecture not found
% 38.24/20.75 Conjecture not found
% 38.24/20.79 Conjecture not found
% 38.33/20.82 Conjecture not found
% 38.33/20.84 Conjecture not found
% 38.33/20.88 Conjecture not found
% 38.40/20.91 Conjecture not found
% 38.40/20.93 Conjecture not found
% 38.40/20.95 Conjecture not found
% 38.61/20.99 Conjecture not found
% 38.82/21.02 Conjecture not found
% 38.92/21.08 Conjecture not found
% 38.92/21.12 Conjecture not found
% 39.02/21.16 Conjecture not found
% 39.02/21.17 Conjecture not found
% 39.10/21.20 Conjecture not found
% 39.10/21.24 Conjecture not found
% 39.10/21.27 Conjecture not found
% 39.18/21.29 Conjecture not found
% 39.33/21.33 Conjecture not found
% 39.50/21.34 Conjecture not found
% 39.50/21.37 Conjecture not found
% 39.74/21.43 Conjecture not found
% 39.74/21.45 Conjecture not found
% 39.74/21.47 Conjecture not found
% 39.80/21.51 Conjecture not found
% 39.80/21.52 Conjecture not found
% 39.90/21.59 Conjecture not found
% 39.90/21.60 Conjecture not found
% 39.90/21.61 Conjecture not found
% 39.94/21.63 Conjecture not found
% 39.96/21.67 Conjecture not found
% 39.96/21.69 Conjecture not found
% 39.96/21.71 Conjecture not found
% 40.04/21.77 Conjecture not found
% 40.40/21.80 Conjecture not found
% 40.59/21.87 Conjecture not found
% 40.61/21.91 Conjecture not found
% 40.66/21.99 Conjecture not found
% 40.72/22.00 Conjecture not found
% 40.72/22.01 Conjecture not found
% 40.72/22.02 Conjecture not found
% 40.78/22.11 Conjecture not found
% 40.78/22.13 Conjecture not found
% 41.31/22.17 Conjecture not found
% 41.34/22.21 Conjecture not found
% 41.39/22.29 Conjecture not found
% 41.45/22.32 Conjecture not found
% 41.61/22.50 Conjecture not found
% 41.72/22.52 Conjecture not found
% 41.98/22.62 Conjecture not found
% 42.20/22.63 Conjecture not found
% 42.20/22.64 Conjecture not found
% 42.20/22.65 Conjecture not found
% 42.20/22.68 Conjecture not found
% 42.26/22.72 Conjecture not found
% 42.26/22.75 Conjecture not found
% 42.34/22.77 Conjecture not found
% 42.34/22.79 Conjecture not found
% 42.40/22.86 Conjecture not found
% 42.40/22.87 Conjecture not found
% 42.40/22.90 Conjecture not found
% 42.50/22.95 Conjecture not found
% 42.50/22.99 Conjecture not found
% 43.02/23.06 Conjecture not found
% 43.11/23.09 Conjecture not found
% 43.14/23.12 Conjecture not found
% 43.14/23.14 Conjecture not found
% 43.24/23.21 Conjecture not found
% 43.24/23.25 Conjecture not found
% 43.24/23.26 Conjecture not found
% 43.40/23.34 Conjecture not found
% 43.83/23.38 Conjecture not found
% 43.83/23.40 Conjecture not found
% 43.85/23.41 Conjecture not found
% 43.87/23.44 Conjecture not found
% 43.87/23.52 Conjecture not found
% 43.97/23.55 Conjecture not found
% 43.97/23.56 Conjecture not found
% 43.97/23.58 Conjecture not found
% 43.97/23.59 Conjecture not found
% 44.05/23.61 Conjecture not found
% 44.05/23.64 Conjecture not found
% 44.05/23.65 Conjecture not found
% 44.05/23.66 Conjecture not found
% 44.05/23.68 Conjecture not found
% 44.14/23.72 Conjecture not found
% 44.70/23.80 Conjecture not found
% 44.70/23.83 Conjecture not found
% 44.70/23.84 Conjecture not found
% 44.70/23.86 Conjecture not found
% 44.70/23.87 Conjecture not found
% 44.70/23.89 Conjecture not found
% 44.80/23.95 Conjecture not found
% 44.80/23.97 Conjecture not found
% 44.80/23.97 Conjecture not found
% 44.80/23.98 Conjecture not found
% 44.89/24.00 Conjecture not found
% 44.89/24.02 Conjecture not found
% 44.89/24.04 Conjecture not found
% 44.89/24.06 Conjecture not found
% 44.89/24.07 Conjecture not found
% 44.98/24.10 Conjecture not found
% 45.17/24.19 Conjecture not found
% 45.17/24.20 Conjecture not found
% 45.17/24.21 Conjecture not found
% 45.59/24.22 Conjecture not found
% 45.59/24.26 Conjecture not found
% 45.59/24.27 Conjecture not found
% 45.67/24.34 Conjecture not found
% 45.67/24.34 Conjecture not found
% 45.67/24.35 Conjecture not found
% 45.80/24.47 Conjecture not found
% 45.80/24.51 Conjecture not found
% 46.29/24.56 Conjecture not found
% 46.29/24.58 Conjecture not found
% 46.47/24.63 Conjecture not found
% 46.47/24.66 Conjecture not found
% 46.56/24.71 Conjecture not found
% 46.60/24.75 Conjecture not found
% 46.60/24.78 Conjecture not found
% 46.69/24.88 Conjecture not found
% 46.76/24.89 Conjecture not found
% 47.33/25.00 Conjecture not found
% 47.36/25.02 Conjecture not found
% 47.38/25.05 Conjecture not found
% 47.38/25.06 Conjecture not found
% 47.38/25.07 Conjecture not found
% 47.38/25.08 Conjecture not found
% 47.38/25.11 Conjecture not found
% 47.47/25.13 Conjecture not found
% 47.47/25.14 Conjecture not found
% 47.47/25.14 Start search
% 97.87/38.29 nb_step : 1 - limit : 118259
% 98.76/38.77 Launch Gotab with destructive = true
%------------------------------------------------------------------------------