TSTP Solution File: LAT371+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT371+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %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 : 300s
% DateTime : Sat Sep 17 18:05:23 EDT 2022
% Result : Timeout 300.39s 88.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : LAT371+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n022.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 16:24:48 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.19/0.41 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.57/0.59 Conjecture not found
% 0.57/0.59 Conjecture not found
% 0.61/0.61 Conjecture not found
% 0.61/0.63 Conjecture not found
% 0.66/0.65 Conjecture not found
% 0.66/0.69 Conjecture not found
% 0.81/0.76 Conjecture not found
% 0.81/0.77 Conjecture not found
% 0.92/0.85 Conjecture not found
% 1.07/0.90 Conjecture not found
% 1.17/0.97 Conjecture not found
% 1.17/1.01 Conjecture not found
% 1.33/1.08 Conjecture not found
% 1.44/1.11 Conjecture not found
% 1.44/1.16 Conjecture not found
% 1.61/1.19 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.69/1.23 Conjecture not found
% 1.69/1.24 Conjecture not found
% 1.69/1.25 Conjecture not found
% 1.69/1.25 Conjecture not found
% 1.81/1.36 Conjecture not found
% 1.93/1.38 Conjecture not found
% 1.93/1.39 Conjecture not found
% 1.93/1.40 Conjecture not found
% 1.93/1.40 Conjecture not found
% 1.93/1.41 Conjecture not found
% 1.93/1.41 Conjecture not found
% 1.93/1.42 Conjecture not found
% 1.93/1.42 Conjecture not found
% 2.07/1.47 Conjecture not found
% 2.18/1.52 Conjecture not found
% 2.18/1.52 Conjecture not found
% 2.18/1.53 Conjecture not found
% 2.19/1.54 Conjecture not found
% 2.19/1.56 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.59 Conjecture not found
% 2.34/1.61 Conjecture not found
% 2.34/1.63 Conjecture not found
% 2.34/1.65 Conjecture not found
% 2.34/1.65 Conjecture not found
% 2.34/1.67 Conjecture not found
% 2.49/1.70 Conjecture not found
% 2.49/1.76 Conjecture not found
% 2.67/1.81 Conjecture not found
% 2.67/1.82 Conjecture not found
% 2.68/1.84 Conjecture not found
% 2.68/1.87 Conjecture not found
% 2.68/1.90 Conjecture not found
% 2.84/1.92 Conjecture not found
% 2.84/1.94 Conjecture not found
% 2.99/2.03 Conjecture not found
% 2.99/2.06 Conjecture not found
% 3.12/2.09 Conjecture not found
% 3.18/2.10 Conjecture not found
% 3.20/2.12 Conjecture not found
% 3.20/2.14 Conjecture not found
% 3.49/2.33 Conjecture not found
% 3.49/2.36 Conjecture not found
% 3.49/2.38 Conjecture not found
% 3.69/2.47 Conjecture not found
% 3.69/2.48 Conjecture not found
% 3.69/2.50 Conjecture not found
% 3.86/2.52 Conjecture not found
% 3.86/2.57 Conjecture not found
% 3.99/2.63 Conjecture not found
% 4.20/2.71 Conjecture not found
% 4.20/2.79 Conjecture not found
% 4.37/2.83 Conjecture not found
% 4.37/2.84 Conjecture not found
% 4.37/2.86 Conjecture not found
% 4.37/2.87 Conjecture not found
% 4.37/2.90 Conjecture not found
% 4.53/2.92 Conjecture not found
% 4.53/2.94 Conjecture not found
% 4.53/2.95 Conjecture not found
% 4.68/3.03 Conjecture not found
% 4.68/3.04 Conjecture not found
% 4.68/3.06 Conjecture not found
% 4.88/3.11 Conjecture not found
% 5.10/3.21 Conjecture not found
% 5.25/3.37 Conjecture not found
% 5.72/3.56 Conjecture not found
% 6.25/3.88 Conjecture not found
% 6.25/3.90 Conjecture not found
% 6.39/3.92 Conjecture not found
% 6.52/4.04 Conjecture not found
% 6.52/4.08 Conjecture not found
% 6.80/4.13 Conjecture not found
% 6.84/4.17 Conjecture not found
% 6.84/4.22 Conjecture not found
% 7.03/4.28 Conjecture not found
% 7.03/4.33 Conjecture not found
% 7.15/4.35 Conjecture not found
% 7.22/4.36 Conjecture not found
% 7.22/4.38 Conjecture not found
% 7.22/4.38 Conjecture not found
% 7.37/4.44 Conjecture not found
% 7.56/4.54 Conjecture not found
% 7.61/4.60 Conjecture not found
% 7.79/4.71 Conjecture not found
% 7.79/4.74 Conjecture not found
% 7.94/4.78 Conjecture not found
% 7.94/4.81 Conjecture not found
% 8.00/4.82 Conjecture not found
% 8.05/4.85 Conjecture not found
% 8.05/4.88 Conjecture not found
% 8.05/4.89 Conjecture not found
% 8.19/4.94 Conjecture not found
% 8.19/4.94 Conjecture not found
% 8.19/4.95 Conjecture not found
% 8.19/4.97 Conjecture not found
% 8.31/5.01 Conjecture not found
% 8.31/5.02 Conjecture not found
% 8.40/5.05 Conjecture not found
% 8.48/5.09 Conjecture not found
% 8.74/5.29 Conjecture not found
% 8.88/5.33 Conjecture not found
% 8.88/5.34 Conjecture not found
% 8.92/5.35 Conjecture not found
% 8.92/5.37 Conjecture not found
% 8.92/5.40 Conjecture not found
% 9.11/5.46 Conjecture not found
% 9.11/5.47 Conjecture not found
% 9.11/5.49 Conjecture not found
% 9.21/5.52 Conjecture not found
% 9.36/5.61 Conjecture not found
% 10.21/6.10 Conjecture not found
% 11.15/6.58 Conjecture not found
% 11.34/6.71 Conjecture not found
% 11.40/6.77 Conjecture not found
% 11.40/6.79 Conjecture not found
% 11.58/6.82 Conjecture not found
% 11.58/6.87 Conjecture not found
% 11.64/6.89 Conjecture not found
% 11.64/6.90 Conjecture not found
% 11.64/6.94 Conjecture not found
% 11.84/6.99 Conjecture not found
% 11.84/7.03 Conjecture not found
% 11.99/7.06 Conjecture not found
% 11.99/7.07 Conjecture not found
% 11.99/7.11 Conjecture not found
% 12.07/7.14 Conjecture not found
% 12.07/7.17 Conjecture not found
% 12.21/7.20 Conjecture not found
% 12.21/7.24 Conjecture not found
% 12.36/7.26 Conjecture not found
% 12.38/7.29 Conjecture not found
% 12.43/7.32 Conjecture not found
% 12.43/7.33 Conjecture not found
% 12.46/7.37 Conjecture not found
% 12.46/7.39 Conjecture not found
% 12.46/7.40 Conjecture not found
% 12.66/7.45 Conjecture not found
% 12.82/7.51 Conjecture not found
% 12.82/7.53 Conjecture not found
% 12.82/7.54 Conjecture not found
% 12.88/7.55 Conjecture not found
% 12.88/7.56 Conjecture not found
% 12.88/7.58 Conjecture not found
% 12.91/7.61 Conjecture not found
% 13.06/7.63 Conjecture not found
% 13.06/7.66 Conjecture not found
% 13.10/7.68 Conjecture not found
% 13.10/7.72 Conjecture not found
% 13.19/7.74 Conjecture not found
% 13.33/7.78 Conjecture not found
% 13.33/7.82 Conjecture not found
% 13.39/7.84 Conjecture not found
% 13.39/7.86 Conjecture not found
% 13.43/7.88 Conjecture not found
% 13.43/7.90 Conjecture not found
% 13.61/7.94 Conjecture not found
% 13.61/7.95 Conjecture not found
% 13.65/7.99 Conjecture not found
% 13.65/8.01 Conjecture not found
% 13.65/8.03 Conjecture not found
% 13.86/8.09 Conjecture not found
% 13.86/8.10 Conjecture not found
% 13.86/8.12 Conjecture not found
% 13.94/8.15 Conjecture not found
% 13.94/8.16 Conjecture not found
% 13.94/8.18 Conjecture not found
% 13.98/8.19 Conjecture not found
% 13.98/8.21 Conjecture not found
% 13.98/8.22 Conjecture not found
% 13.98/8.22 Conjecture not found
% 13.98/8.23 Conjecture not found
% 14.18/8.28 Conjecture not found
% 14.36/8.38 Conjecture not found
% 14.36/8.39 Conjecture not found
% 14.36/8.42 Conjecture not found
% 14.48/8.44 Conjecture not found
% 14.48/8.45 Conjecture not found
% 14.48/8.47 Conjecture not found
% 14.53/8.49 Conjecture not found
% 14.53/8.52 Conjecture not found
% 14.72/8.56 Conjecture not found
% 14.74/8.59 Conjecture not found
% 14.79/8.61 Conjecture not found
% 14.96/8.68 Conjecture not found
% 15.22/8.81 Conjecture not found
% 15.27/8.89 Conjecture not found
% 15.51/8.95 Conjecture not found
% 15.51/8.96 Conjecture not found
% 15.51/8.99 Conjecture not found
% 15.61/9.05 Conjecture not found
% 15.61/9.08 Conjecture not found
% 15.61/9.09 Conjecture not found
% 15.85/9.19 Conjecture not found
% 15.95/9.25 Conjecture not found
% 15.95/9.30 Conjecture not found
% 16.17/9.33 Conjecture not found
% 16.22/9.37 Conjecture not found
% 16.22/9.39 Conjecture not found
% 16.45/9.45 Conjecture not found
% 16.45/9.50 Conjecture not found
% 16.54/9.56 Conjecture not found
% 16.83/9.68 Conjecture not found
% 16.83/9.69 Conjecture not found
% 16.87/9.71 Conjecture not found
% 16.87/9.72 Conjecture not found
% 16.97/9.77 Conjecture not found
% 17.16/9.87 Conjecture not found
% 17.22/9.94 Conjecture not found
% 17.22/9.96 Conjecture not found
% 17.44/10.00 Conjecture not found
% 17.84/10.21 Conjecture not found
% 18.07/10.29 Conjecture not found
% 18.07/10.33 Conjecture not found
% 18.07/10.35 Conjecture not found
% 18.07/10.36 Conjecture not found
% 18.16/10.37 Conjecture not found
% 18.36/10.43 Conjecture not found
% 18.48/10.52 Conjecture not found
% 18.53/10.58 Conjecture not found
% 18.78/10.66 Conjecture not found
% 18.80/10.68 Conjecture not found
% 18.86/10.78 Conjecture not found
% 19.11/10.85 Conjecture not found
% 19.17/10.89 Conjecture not found
% 19.17/10.93 Conjecture not found
% 19.36/10.98 Conjecture not found
% 19.46/11.00 Conjecture not found
% 19.50/11.04 Conjecture not found
% 19.52/11.06 Conjecture not found
% 19.52/11.07 Conjecture not found
% 19.52/11.11 Conjecture not found
% 19.58/11.14 Conjecture not found
% 19.62/11.16 Conjecture not found
% 19.62/11.20 Conjecture not found
% 19.91/11.29 Conjecture not found
% 19.91/11.30 Conjecture not found
% 19.91/11.32 Conjecture not found
% 19.91/11.34 Conjecture not found
% 20.29/11.48 Conjecture not found
% 20.29/11.49 Conjecture not found
% 20.29/11.52 Conjecture not found
% 20.29/11.53 Conjecture not found
% 20.29/11.53 Conjecture not found
% 20.29/11.54 Conjecture not found
% 20.29/11.55 Conjecture not found
% 20.60/11.64 Conjecture not found
% 20.60/11.65 Conjecture not found
% 20.66/11.67 Conjecture not found
% 20.70/11.73 Conjecture not found
% 20.74/11.78 Conjecture not found
% 21.07/11.91 Conjecture not found
% 21.07/11.93 Conjecture not found
% 21.44/12.06 Conjecture not found
% 21.54/12.17 Conjecture not found
% 21.78/12.21 Conjecture not found
% 21.83/12.27 Conjecture not found
% 21.83/12.29 Conjecture not found
% 21.83/12.30 Conjecture not found
% 21.93/12.38 Conjecture not found
% 22.23/12.46 Conjecture not found
% 22.29/12.51 Conjecture not found
% 22.29/12.53 Conjecture not found
% 22.34/12.64 Conjecture not found
% 22.63/12.70 Conjecture not found
% 22.68/12.72 Conjecture not found
% 22.74/12.79 Conjecture not found
% 22.79/12.84 Conjecture not found
% 22.79/12.84 Conjecture not found
% 22.82/12.90 Conjecture not found
% 23.17/13.00 Conjecture not found
% 23.17/13.02 Conjecture not found
% 23.17/13.03 Conjecture not found
% 23.24/13.08 Conjecture not found
% 23.50/13.14 Conjecture not found
% 23.50/13.14 Conjecture not found
% 23.54/13.18 Conjecture not found
% 23.54/13.22 Conjecture not found
% 23.54/13.25 Conjecture not found
% 23.64/13.29 Conjecture not found
% 23.98/13.39 Conjecture not found
% 23.98/13.40 Conjecture not found
% 23.98/13.45 Conjecture not found
% 24.11/13.53 Conjecture not found
% 24.37/13.58 Conjecture not found
% 24.37/13.59 Conjecture not found
% 24.44/13.64 Conjecture not found
% 24.44/13.66 Conjecture not found
% 24.44/13.66 Conjecture not found
% 24.44/13.66 Conjecture not found
% 24.50/13.68 Conjecture not found
% 24.50/13.72 Conjecture not found
% 24.50/13.73 Conjecture not found
% 24.85/13.82 Conjecture not found
% 24.92/13.87 Conjecture not found
% 25.22/13.94 Conjecture not found
% 25.27/13.97 Conjecture not found
% 25.27/13.98 Conjecture not found
% 25.27/14.04 Conjecture not found
% 25.35/14.06 Conjecture not found
% 25.35/14.07 Conjecture not found
% 25.53/14.16 Conjecture not found
% 25.69/14.18 Conjecture not found
% 25.75/14.23 Conjecture not found
% 25.79/14.29 Conjecture not found
% 25.79/14.32 Conjecture not found
% 25.86/14.34 Conjecture not found
% 26.31/14.57 Conjecture not found
% 26.67/14.68 Conjecture not found
% 26.67/14.70 Conjecture not found
% 26.78/14.78 Conjecture not found
% 26.78/14.80 Conjecture not found
% 26.85/14.84 Conjecture not found
% 26.85/14.88 Conjecture not found
% 27.24/15.01 Conjecture not found
% 27.24/15.04 Conjecture not found
% 27.24/15.05 Conjecture not found
% 27.32/15.07 Conjecture not found
% 27.32/15.10 Conjecture not found
% 27.42/15.17 Conjecture not found
% 27.42/15.22 Conjecture not found
% 27.72/15.23 Conjecture not found
% 27.72/15.23 Conjecture not found
% 27.72/15.24 Conjecture not found
% 27.72/15.27 Conjecture not found
% 27.72/15.28 Conjecture not found
% 27.78/15.32 Conjecture not found
% 28.20/15.45 Conjecture not found
% 28.20/15.51 Conjecture not found
% 28.20/15.53 Conjecture not found
% 28.29/15.54 Conjecture not found
% 28.29/15.56 Conjecture not found
% 28.29/15.60 Conjecture not found
% 28.47/15.65 Conjecture not found
% 28.68/15.66 Conjecture not found
% 28.68/15.69 Conjecture not found
% 28.68/15.72 Conjecture not found
% 28.68/15.75 Conjecture not found
% 28.77/15.77 Conjecture not found
% 28.81/15.79 Conjecture not found
% 29.06/15.88 Conjecture not found
% 29.06/15.89 Conjecture not found
% 29.06/15.90 Conjecture not found
% 29.19/15.96 Conjecture not found
% 29.24/15.97 Conjecture not found
% 29.24/16.01 Conjecture not found
% 29.57/16.06 Conjecture not found
% 29.57/16.07 Conjecture not found
% 29.57/16.08 Conjecture not found
% 29.64/16.10 Conjecture not found
% 29.64/16.11 Conjecture not found
% 29.70/16.19 Conjecture not found
% 29.70/16.20 Conjecture not found
% 29.70/16.20 Conjecture not found
% 29.95/16.26 Conjecture not found
% 29.95/16.28 Conjecture not found
% 29.95/16.31 Conjecture not found
% 29.95/16.32 Conjecture not found
% 30.16/16.34 Conjecture not found
% 30.16/16.37 Conjecture not found
% 30.21/16.40 Conjecture not found
% 30.21/16.42 Conjecture not found
% 30.48/16.47 Conjecture not found
% 30.61/16.51 Conjecture not found
% 30.61/16.53 Conjecture not found
% 30.64/16.54 Conjecture not found
% 30.64/16.58 Conjecture not found
% 30.64/16.62 Conjecture not found
% 30.64/16.65 Conjecture not found
% 30.75/16.68 Conjecture not found
% 30.75/16.69 Conjecture not found
% 30.80/16.75 Conjecture not found
% 31.16/16.81 Conjecture not found
% 31.16/16.83 Conjecture not found
% 31.16/16.85 Conjecture not found
% 31.26/16.87 Conjecture not found
% 31.29/16.90 Conjecture not found
% 31.29/16.91 Conjecture not found
% 31.29/16.92 Conjecture not found
% 31.34/16.95 Conjecture not found
% 31.34/16.97 Conjecture not found
% 31.69/17.02 Conjecture not found
% 31.75/17.09 Conjecture not found
% 31.75/17.14 Conjecture not found
% 31.93/17.25 Conjecture not found
% 31.94/17.27 Conjecture not found
% 32.22/17.34 Conjecture not found
% 32.37/17.40 Conjecture not found
% 32.44/17.47 Conjecture not found
% 32.47/17.50 Conjecture not found
% 32.78/17.57 Conjecture not found
% 32.78/17.58 Conjecture not found
% 32.78/17.59 Conjecture not found
% 32.78/17.61 Conjecture not found
% 32.78/17.62 Conjecture not found
% 32.94/17.63 Conjecture not found
% 32.94/17.65 Conjecture not found
% 32.94/17.65 Conjecture not found
% 32.99/17.67 Conjecture not found
% 32.99/17.69 Conjecture not found
% 32.99/17.72 Conjecture not found
% 33.31/17.80 Conjecture not found
% 33.48/17.85 Conjecture not found
% 33.50/17.90 Conjecture not found
% 33.50/17.91 Conjecture not found
% 33.56/17.93 Conjecture not found
% 33.58/18.00 Conjecture not found
% 33.71/18.10 Conjecture not found
% 33.71/18.13 Conjecture not found
% 34.00/18.15 Conjecture not found
% 34.23/18.27 Conjecture not found
% 34.23/18.32 Conjecture not found
% 34.31/18.35 Conjecture not found
% 34.31/18.38 Conjecture not found
% 34.36/18.39 Conjecture not found
% 34.62/18.46 Conjecture not found
% 34.74/18.49 Conjecture not found
% 34.74/18.50 Conjecture not found
% 34.87/18.55 Conjecture not found
% 34.87/18.56 Conjecture not found
% 34.87/18.57 Conjecture not found
% 34.87/18.59 Conjecture not found
% 34.87/18.60 Conjecture not found
% 34.96/18.63 Conjecture not found
% 34.96/18.67 Conjecture not found
% 35.02/18.70 Conjecture not found
% 35.39/18.76 Conjecture not found
% 35.55/18.87 Conjecture not found
% 35.55/18.88 Conjecture not found
% 35.55/18.90 Conjecture not found
% 35.55/18.91 Conjecture not found
% 35.55/18.93 Conjecture not found
% 35.55/18.94 Conjecture not found
% 35.63/18.94 Conjecture not found
% 35.80/19.03 Conjecture not found
% 36.11/19.05 Conjecture not found
% 36.11/19.09 Conjecture not found
% 36.11/19.13 Conjecture not found
% 36.11/19.14 Conjecture not found
% 36.20/19.16 Conjecture not found
% 36.25/19.19 Conjecture not found
% 36.25/19.21 Conjecture not found
% 36.25/19.23 Conjecture not found
% 36.29/19.28 Conjecture not found
% 36.35/19.30 Conjecture not found
% 36.35/19.34 Conjecture not found
% 36.56/19.36 Conjecture not found
% 36.56/19.39 Conjecture not found
% 36.56/19.42 Conjecture not found
% 36.88/19.48 Conjecture not found
% 36.94/19.56 Conjecture not found
% 36.99/19.59 Conjecture not found
% 37.07/19.64 Conjecture not found
% 37.07/19.68 Conjecture not found
% 37.07/19.70 Conjecture not found
% 37.57/19.75 Conjecture not found
% 37.64/19.83 Conjecture not found
% 37.70/19.87 Conjecture not found
% 37.70/19.90 Conjecture not found
% 37.74/19.93 Conjecture not found
% 37.78/19.95 Conjecture not found
% 37.78/20.00 Conjecture not found
% 37.78/20.03 Conjecture not found
% 38.07/20.07 Conjecture not found
% 38.35/20.13 Conjecture not found
% 38.35/20.16 Conjecture not found
% 38.35/20.17 Conjecture not found
% 38.42/20.19 Conjecture not found
% 38.42/20.21 Conjecture not found
% 38.42/20.22 Conjecture not found
% 38.42/20.25 Conjecture not found
% 38.49/20.27 Conjecture not found
% 38.51/20.31 Conjecture not found
% 38.55/20.32 Conjecture not found
% 38.70/20.37 Conjecture not found
% 38.70/20.40 Conjecture not found
% 39.06/20.43 Conjecture not found
% 39.06/20.44 Conjecture not found
% 39.06/20.46 Conjecture not found
% 39.06/20.47 Conjecture not found
% 39.06/20.48 Conjecture not found
% 39.12/20.51 Conjecture not found
% 39.12/20.52 Conjecture not found
% 39.12/20.54 Conjecture not found
% 39.21/20.58 Conjecture not found
% 39.21/20.58 Conjecture not found
% 39.63/20.69 Conjecture not found
% 39.63/20.71 Conjecture not found
% 39.63/20.72 Conjecture not found
% 39.76/20.74 Conjecture not found
% 39.76/20.78 Conjecture not found
% 39.81/20.80 Conjecture not found
% 39.81/20.83 Conjecture not found
% 39.87/20.85 Conjecture not found
% 39.89/20.87 Conjecture not found
% 39.94/20.91 Conjecture not found
% 39.98/20.96 Conjecture not found
% 40.53/21.11 Conjecture not found
% 40.53/21.13 Conjecture not found
% 40.53/21.14 Conjecture not found
% 40.59/21.14 Conjecture not found
% 40.62/21.22 Conjecture not found
% 40.62/21.22 Conjecture not found
% 40.68/21.24 Conjecture not found
% 40.71/21.27 Conjecture not found
% 40.87/21.34 Conjecture not found
% 41.10/21.41 Conjecture not found
% 41.31/21.52 Conjecture not found
% 41.31/21.53 Conjecture not found
% 41.42/21.57 Conjecture not found
% 41.42/21.57 Conjecture not found
% 41.42/21.58 Conjecture not found
% 41.42/21.59 Conjecture not found
% 41.42/21.61 Conjecture not found
% 41.49/21.65 Conjecture not found
% 41.68/21.68 Conjecture not found
% 41.68/21.71 Conjecture not found
% 42.04/21.76 Conjecture not found
% 42.08/21.83 Conjecture not found
% 42.08/21.84 Conjecture not found
% 42.15/21.87 Conjecture not found
% 42.17/21.91 Conjecture not found
% 42.22/21.94 Conjecture not found
% 42.25/21.99 Conjecture not found
% 42.25/22.02 Conjecture not found
% 42.59/22.09 Conjecture not found
% 42.59/22.14 Conjecture not found
% 42.96/22.24 Conjecture not found
% 43.00/22.31 Conjecture not found
% 43.08/22.34 Conjecture not found
% 43.08/22.38 Conjecture not found
% 43.13/22.41 Conjecture not found
% 43.13/22.43 Conjecture not found
% 43.13/22.45 Conjecture not found
% 43.20/22.47 Conjecture not found
% 43.29/22.57 Conjecture not found
% 43.29/22.62 Conjecture not found
% 43.84/22.65 Conjecture not found
% 43.90/22.70 Conjecture not found
% 43.90/22.72 Conjecture not found
% 43.90/22.74 Conjecture not found
% 43.97/22.77 Conjecture not found
% 43.97/22.79 Conjecture not found
% 43.97/22.80 Conjecture not found
% 44.04/22.83 Conjecture not found
% 44.04/22.86 Conjecture not found
% 44.08/22.90 Conjecture not found
% 44.08/22.92 Conjecture not found
% 44.08/22.93 Conjecture not found
% 44.17/22.95 Conjecture not found
% 44.17/22.96 Conjecture not found
% 44.17/22.98 Conjecture not found
% 44.54/23.07 Conjecture not found
% 44.54/23.10 Conjecture not found
% 44.54/23.10 Conjecture not found
% 44.79/23.12 Conjecture not found
% 44.79/23.13 Conjecture not found
% 44.79/23.15 Conjecture not found
% 44.85/23.17 Conjecture not found
% 44.85/23.19 Conjecture not found
% 44.85/23.21 Conjecture not found
% 44.85/23.23 Conjecture not found
% 44.94/23.27 Conjecture not found
% 44.94/23.28 Conjecture not found
% 44.98/23.30 Conjecture not found
% 44.98/23.31 Conjecture not found
% 45.04/23.36 Conjecture not found
% 45.04/23.37 Conjecture not found
% 45.11/23.46 Conjecture not found
% 45.11/23.48 Conjecture not found
% 45.32/23.49 Conjecture not found
% 45.81/23.69 Conjecture not found
% 45.81/23.72 Conjecture not found
% 45.89/23.74 Conjecture not found
% 45.89/23.75 Conjecture not found
% 45.95/23.80 Conjecture not found
% 45.95/23.84 Conjecture not found
% 46.04/23.88 Conjecture not found
% 46.60/23.98 Conjecture not found
% 46.60/24.01 Conjecture not found
% 46.71/24.11 Conjecture not found
% 46.71/24.12 Conjecture not found
% 46.78/24.17 Conjecture not found
% 46.78/24.18 Conjecture not found
% 46.78/24.21 Conjecture not found
% 46.85/24.22 Conjecture not found
% 46.85/24.23 Conjecture not found
% 46.85/24.23 Conjecture not found
% 46.85/24.25 Conjecture not found
% 46.90/24.27 Conjecture not found
% 46.90/24.28 Conjecture not found
% 46.90/24.29 Conjecture not found
% 46.90/24.33 Conjecture not found
% 47.33/24.35 Conjecture not found
% 47.52/24.41 Conjecture not found
% 47.58/24.44 Conjecture not found
% 47.61/24.52 Conjecture not found
% 47.68/24.55 Conjecture not found
% 47.73/24.58 Conjecture not found
% 47.73/24.63 Conjecture not found
% 47.81/24.67 Conjecture not found
% 47.81/24.71 Conjecture not found
% 47.86/24.74 Conjecture not found
% 48.01/24.78 Conjecture not found
% 48.01/24.82 Conjecture not found
% 48.48/24.88 Conjecture not found
% 49.06/25.18 Conjecture not found
% 49.28/25.21 Conjecture not found
% 49.41/25.25 Conjecture not found
% 49.41/25.28 Conjecture not found
% 49.41/25.30 Conjecture not found
% 49.41/25.31 Conjecture not found
% 49.48/25.32 Conjecture not found
% 49.48/25.34 Conjecture not found
% 49.48/25.35 Conjecture not found
% 49.48/25.36 Conjecture not found
% 49.53/25.38 Conjecture not found
% 49.53/25.43 Conjecture not found
% 49.69/25.53 Conjecture not found
% 50.14/25.66 Conjecture not found
% 50.36/25.72 Conjecture not found
% 50.43/25.76 Conjecture not found
% 50.45/25.78 Conjecture not found
% 50.45/25.79 Conjecture not found
% 50.49/25.84 Conjecture not found
% 50.52/25.85 Conjecture not found
% 50.52/25.87 Conjecture not found
% 50.52/25.89 Conjecture not found
% 50.52/25.90 Conjecture not found
% 50.60/25.95 Conjecture not found
% 50.60/25.97 Conjecture not found
% 50.66/26.00 Conjecture not found
% 50.66/26.04 Conjecture not found
% 50.66/26.04 Conjecture not found
% 50.75/26.11 Conjecture not found
% 51.34/26.16 Conjecture not found
% 51.34/26.17 Conjecture not found
% 51.34/26.18 Conjecture not found
% 51.34/26.21 Conjecture not found
% 51.34/26.22 Conjecture not found
% 51.34/26.23 Conjecture not found
% 51.48/26.28 Conjecture not found
% 51.48/26.28 Conjecture not found
% 51.48/26.29 Conjecture not found
% 51.48/26.31 Conjecture not found
% 51.48/26.32 Conjecture not found
% 51.54/26.34 Conjecture not found
% 51.55/26.36 Conjecture not found
% 51.55/26.37 Conjecture not found
% 51.61/26.43 Conjecture not found
% 51.80/26.48 Conjecture not found
% 51.80/26.49 Conjecture not found
% 51.80/26.52 Conjecture not found
% 52.34/26.59 Conjecture not found
% 52.34/26.59 Conjecture not found
% 52.34/26.62 Conjecture not found
% 52.40/26.64 Conjecture not found
% 52.43/26.72 Conjecture not found
% 52.50/26.73 Conjecture not found
% 52.50/26.76 Conjecture not found
% 52.54/26.79 Conjecture not found
% 52.54/26.81 Conjecture not found
% 52.54/26.82 Conjecture not found
% 52.72/26.90 Conjecture not found
% 53.28/27.00 Conjecture not found
% 53.35/27.05 Conjecture not found
% 53.35/27.07 Conjecture not found
% 53.40/27.08 Conjecture not found
% 53.40/27.14 Conjecture not found
% 53.48/27.18 Conjecture not found
% 53.48/27.22 Start search
% 123.08/44.12 nb_step : 1 - limit : 133987
% 123.91/44.70 Launch Gotab with destructive = true
%------------------------------------------------------------------------------