TSTP Solution File: LAT357+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT357+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n016.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:16 EDT 2022
% Result : Timeout 300.39s 89.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : LAT357+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n016.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:12:26 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.19/0.34 [DMT] DMT loaded with preskolemization
% 0.19/0.34 [EQ] equality loaded.
% 0.19/0.34 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.38 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.55/0.61 Conjecture not found
% 0.64/0.65 Conjecture not found
% 0.75/0.72 Conjecture not found
% 0.75/0.73 Conjecture not found
% 0.84/0.81 Conjecture not found
% 1.00/0.86 Conjecture not found
% 1.16/0.94 Conjecture not found
% 1.16/0.98 Conjecture not found
% 1.26/1.05 Conjecture not found
% 1.37/1.09 Conjecture not found
% 1.37/1.14 Conjecture not found
% 1.37/1.17 Conjecture not found
% 1.54/1.20 Conjecture not found
% 1.61/1.21 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.61/1.23 Conjecture not found
% 1.61/1.23 Conjecture not found
% 1.81/1.34 Conjecture not found
% 1.81/1.36 Conjecture not found
% 1.81/1.36 Conjecture not found
% 1.81/1.38 Conjecture not found
% 1.81/1.38 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.40 Conjecture not found
% 1.91/1.45 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.06/1.51 Conjecture not found
% 2.13/1.52 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.57 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.61 Conjecture not found
% 2.31/1.63 Conjecture not found
% 2.31/1.63 Conjecture not found
% 2.31/1.64 Conjecture not found
% 2.31/1.68 Conjecture not found
% 2.45/1.73 Conjecture not found
% 2.59/1.79 Conjecture not found
% 2.61/1.80 Conjecture not found
% 2.66/1.82 Conjecture not found
% 2.66/1.85 Conjecture not found
% 2.66/1.88 Conjecture not found
% 2.66/1.89 Conjecture not found
% 2.78/1.92 Conjecture not found
% 2.93/2.01 Conjecture not found
% 2.93/2.04 Conjecture not found
% 2.93/2.06 Conjecture not found
% 2.93/2.08 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.13/2.11 Conjecture not found
% 3.32/2.29 Conjecture not found
% 3.48/2.32 Conjecture not found
% 3.48/2.35 Conjecture not found
% 3.62/2.45 Conjecture not found
% 3.62/2.47 Conjecture not found
% 3.62/2.47 Conjecture not found
% 3.62/2.49 Conjecture not found
% 3.79/2.51 Conjecture not found
% 3.79/2.56 Conjecture not found
% 4.02/2.61 Conjecture not found
% 4.02/2.69 Conjecture not found
% 4.16/2.75 Conjecture not found
% 4.16/2.76 Conjecture not found
% 4.29/2.80 Conjecture not found
% 4.29/2.80 Conjecture not found
% 4.29/2.84 Conjecture not found
% 4.29/2.86 Conjecture not found
% 4.50/2.90 Conjecture not found
% 4.50/2.91 Conjecture not found
% 4.53/2.98 Conjecture not found
% 4.53/2.99 Conjecture not found
% 4.66/3.03 Conjecture not found
% 4.78/3.10 Conjecture not found
% 5.04/3.22 Conjecture not found
% 5.30/3.37 Conjecture not found
% 5.64/3.58 Conjecture not found
% 6.18/3.89 Conjecture not found
% 6.18/3.91 Conjecture not found
% 6.33/3.94 Conjecture not found
% 6.45/4.03 Conjecture not found
% 6.45/4.07 Conjecture not found
% 6.61/4.11 Conjecture not found
% 6.74/4.16 Conjecture not found
% 6.74/4.19 Conjecture not found
% 6.86/4.25 Conjecture not found
% 6.97/4.29 Conjecture not found
% 6.97/4.31 Conjecture not found
% 6.97/4.33 Conjecture not found
% 7.12/4.36 Conjecture not found
% 7.12/4.37 Conjecture not found
% 7.28/4.46 Conjecture not found
% 7.34/4.55 Conjecture not found
% 7.47/4.62 Conjecture not found
% 7.63/4.69 Conjecture not found
% 7.68/4.72 Conjecture not found
% 7.77/4.77 Conjecture not found
% 7.77/4.79 Conjecture not found
% 7.77/4.81 Conjecture not found
% 7.94/4.84 Conjecture not found
% 7.94/4.87 Conjecture not found
% 7.94/4.89 Conjecture not found
% 8.01/4.93 Conjecture not found
% 8.01/4.93 Conjecture not found
% 8.01/4.94 Conjecture not found
% 8.14/4.96 Conjecture not found
% 8.18/5.01 Conjecture not found
% 8.18/5.02 Conjecture not found
% 8.21/5.06 Conjecture not found
% 8.21/5.11 Conjecture not found
% 8.72/5.30 Conjecture not found
% 8.73/5.35 Conjecture not found
% 8.73/5.36 Conjecture not found
% 8.73/5.38 Conjecture not found
% 8.84/5.41 Conjecture not found
% 8.84/5.44 Conjecture not found
% 9.01/5.50 Conjecture not found
% 9.01/5.51 Conjecture not found
% 9.01/5.54 Conjecture not found
% 9.01/5.56 Conjecture not found
% 9.21/5.65 Conjecture not found
% 10.03/6.08 Conjecture not found
% 10.94/6.58 Conjecture not found
% 11.12/6.67 Conjecture not found
% 11.16/6.70 Conjecture not found
% 11.16/6.71 Conjecture not found
% 11.29/6.74 Conjecture not found
% 11.29/6.79 Conjecture not found
% 11.36/6.81 Conjecture not found
% 11.36/6.83 Conjecture not found
% 11.51/6.87 Conjecture not found
% 11.51/6.90 Conjecture not found
% 11.51/6.94 Conjecture not found
% 11.51/6.97 Conjecture not found
% 11.72/6.98 Conjecture not found
% 11.75/7.02 Conjecture not found
% 11.80/7.06 Conjecture not found
% 11.80/7.11 Conjecture not found
% 11.80/7.14 Conjecture not found
% 11.98/7.18 Conjecture not found
% 12.12/7.19 Conjecture not found
% 12.12/7.22 Conjecture not found
% 12.18/7.25 Conjecture not found
% 12.20/7.27 Conjecture not found
% 12.35/7.31 Conjecture not found
% 12.39/7.35 Conjecture not found
% 12.39/7.37 Conjecture not found
% 12.39/7.42 Conjecture not found
% 12.53/7.48 Conjecture not found
% 12.63/7.49 Conjecture not found
% 12.63/7.50 Conjecture not found
% 12.63/7.52 Conjecture not found
% 12.63/7.53 Conjecture not found
% 12.63/7.55 Conjecture not found
% 12.83/7.58 Conjecture not found
% 12.83/7.60 Conjecture not found
% 12.83/7.63 Conjecture not found
% 12.89/7.64 Conjecture not found
% 12.91/7.68 Conjecture not found
% 12.91/7.70 Conjecture not found
% 13.08/7.74 Conjecture not found
% 13.13/7.78 Conjecture not found
% 13.13/7.81 Conjecture not found
% 13.13/7.82 Conjecture not found
% 13.13/7.84 Conjecture not found
% 13.21/7.86 Conjecture not found
% 13.35/7.88 Conjecture not found
% 13.35/7.89 Conjecture not found
% 13.35/7.91 Conjecture not found
% 13.41/7.94 Conjecture not found
% 13.45/7.96 Conjecture not found
% 13.45/8.01 Conjecture not found
% 13.62/8.02 Conjecture not found
% 13.62/8.05 Conjecture not found
% 13.67/8.09 Conjecture not found
% 13.67/8.10 Conjecture not found
% 13.67/8.13 Conjecture not found
% 13.67/8.15 Conjecture not found
% 13.87/8.17 Conjecture not found
% 13.87/8.18 Conjecture not found
% 13.87/8.19 Conjecture not found
% 13.91/8.19 Conjecture not found
% 13.96/8.24 Conjecture not found
% 14.14/8.31 Conjecture not found
% 14.14/8.32 Conjecture not found
% 14.14/8.33 Conjecture not found
% 14.14/8.35 Conjecture not found
% 14.14/8.36 Conjecture not found
% 14.20/8.37 Conjecture not found
% 14.20/8.39 Conjecture not found
% 14.20/8.43 Conjecture not found
% 14.43/8.48 Conjecture not found
% 14.46/8.51 Conjecture not found
% 14.59/8.55 Conjecture not found
% 14.59/8.61 Conjecture not found
% 14.77/8.74 Conjecture not found
% 15.02/8.79 Conjecture not found
% 15.06/8.85 Conjecture not found
% 15.06/8.86 Conjecture not found
% 15.06/8.90 Conjecture not found
% 15.27/8.95 Conjecture not found
% 15.27/8.98 Conjecture not found
% 15.35/9.00 Conjecture not found
% 15.35/9.06 Conjecture not found
% 15.62/9.11 Conjecture not found
% 15.75/9.18 Conjecture not found
% 15.88/9.23 Conjecture not found
% 15.88/9.28 Conjecture not found
% 15.88/9.29 Conjecture not found
% 15.96/9.35 Conjecture not found
% 16.18/9.41 Conjecture not found
% 16.28/9.48 Conjecture not found
% 16.49/9.58 Conjecture not found
% 16.49/9.59 Conjecture not found
% 16.56/9.61 Conjecture not found
% 16.56/9.63 Conjecture not found
% 16.56/9.65 Conjecture not found
% 16.77/9.76 Conjecture not found
% 16.92/9.82 Conjecture not found
% 16.92/9.84 Conjecture not found
% 17.10/9.89 Conjecture not found
% 17.51/10.14 Conjecture not found
% 17.78/10.20 Conjecture not found
% 17.78/10.24 Conjecture not found
% 17.83/10.26 Conjecture not found
% 17.83/10.27 Conjecture not found
% 17.83/10.28 Conjecture not found
% 17.83/10.33 Conjecture not found
% 18.17/10.42 Conjecture not found
% 18.22/10.51 Conjecture not found
% 18.44/10.57 Conjecture not found
% 18.50/10.60 Conjecture not found
% 18.55/10.71 Conjecture not found
% 18.85/10.77 Conjecture not found
% 18.85/10.81 Conjecture not found
% 18.85/10.84 Conjecture not found
% 18.94/10.87 Conjecture not found
% 18.97/10.88 Conjecture not found
% 18.97/10.93 Conjecture not found
% 19.21/10.95 Conjecture not found
% 19.22/10.97 Conjecture not found
% 19.22/11.01 Conjecture not found
% 19.29/11.04 Conjecture not found
% 19.29/11.06 Conjecture not found
% 19.33/11.08 Conjecture not found
% 19.58/11.16 Conjecture not found
% 19.61/11.17 Conjecture not found
% 19.61/11.20 Conjecture not found
% 19.67/11.22 Conjecture not found
% 19.96/11.36 Conjecture not found
% 20.00/11.38 Conjecture not found
% 20.00/11.43 Conjecture not found
% 20.00/11.43 Conjecture not found
% 20.07/11.43 Conjecture not found
% 20.07/11.44 Conjecture not found
% 20.07/11.45 Conjecture not found
% 20.12/11.50 Conjecture not found
% 20.12/11.50 Conjecture not found
% 20.12/11.52 Conjecture not found
% 20.46/11.64 Conjecture not found
% 20.48/11.70 Conjecture not found
% 20.76/11.78 Conjecture not found
% 20.76/11.81 Conjecture not found
% 20.91/11.92 Conjecture not found
% 21.26/12.04 Conjecture not found
% 21.26/12.05 Conjecture not found
% 21.31/12.08 Conjecture not found
% 21.31/12.12 Conjecture not found
% 21.31/12.15 Conjecture not found
% 21.66/12.23 Conjecture not found
% 21.66/12.29 Conjecture not found
% 21.92/12.37 Conjecture not found
% 22.01/12.40 Conjecture not found
% 22.11/12.49 Conjecture not found
% 22.14/12.52 Conjecture not found
% 22.38/12.56 Conjecture not found
% 22.38/12.63 Conjecture not found
% 22.47/12.67 Conjecture not found
% 22.47/12.68 Conjecture not found
% 22.54/12.71 Conjecture not found
% 22.80/12.82 Conjecture not found
% 22.80/12.84 Conjecture not found
% 22.80/12.86 Conjecture not found
% 22.94/12.90 Conjecture not found
% 22.98/12.94 Conjecture not found
% 22.98/12.95 Conjecture not found
% 22.98/13.00 Conjecture not found
% 23.27/13.04 Conjecture not found
% 23.33/13.07 Conjecture not found
% 23.33/13.11 Conjecture not found
% 23.48/13.20 Conjecture not found
% 23.63/13.22 Conjecture not found
% 23.69/13.30 Conjecture not found
% 23.78/13.37 Conjecture not found
% 23.78/13.44 Conjecture not found
% 23.87/13.46 Conjecture not found
% 24.22/13.56 Conjecture not found
% 24.22/13.57 Conjecture not found
% 24.22/13.58 Conjecture not found
% 24.22/13.58 Conjecture not found
% 24.22/13.59 Conjecture not found
% 24.27/13.61 Conjecture not found
% 24.27/13.61 Conjecture not found
% 24.31/13.69 Conjecture not found
% 24.64/13.78 Conjecture not found
% 24.69/13.83 Conjecture not found
% 24.69/13.85 Conjecture not found
% 24.69/13.85 Conjecture not found
% 24.75/13.91 Conjecture not found
% 24.75/13.93 Conjecture not found
% 24.75/13.95 Conjecture not found
% 25.17/14.06 Conjecture not found
% 25.17/14.08 Conjecture not found
% 25.24/14.11 Conjecture not found
% 25.39/14.18 Conjecture not found
% 25.39/14.22 Conjecture not found
% 25.39/14.24 Conjecture not found
% 26.05/14.44 Conjecture not found
% 26.08/14.50 Conjecture not found
% 26.08/14.52 Conjecture not found
% 26.16/14.61 Conjecture not found
% 26.30/14.66 Conjecture not found
% 26.44/14.71 Conjecture not found
% 26.55/14.74 Conjecture not found
% 26.58/14.82 Conjecture not found
% 26.64/14.85 Conjecture not found
% 26.64/14.86 Conjecture not found
% 26.68/14.88 Conjecture not found
% 26.68/14.92 Conjecture not found
% 27.06/15.00 Conjecture not found
% 27.12/15.05 Conjecture not found
% 27.13/15.06 Conjecture not found
% 27.13/15.06 Conjecture not found
% 27.13/15.07 Conjecture not found
% 27.13/15.10 Conjecture not found
% 27.13/15.10 Conjecture not found
% 27.36/15.18 Conjecture not found
% 27.57/15.28 Conjecture not found
% 27.61/15.33 Conjecture not found
% 27.67/15.36 Conjecture not found
% 27.69/15.37 Conjecture not found
% 27.69/15.39 Conjecture not found
% 28.07/15.48 Conjecture not found
% 28.07/15.51 Conjecture not found
% 28.07/15.52 Conjecture not found
% 28.07/15.55 Conjecture not found
% 28.16/15.58 Conjecture not found
% 28.20/15.62 Conjecture not found
% 28.22/15.65 Conjecture not found
% 28.22/15.67 Conjecture not found
% 28.49/15.78 Conjecture not found
% 28.62/15.80 Conjecture not found
% 28.62/15.81 Conjecture not found
% 28.72/15.89 Conjecture not found
% 28.72/15.90 Conjecture not found
% 29.07/15.98 Conjecture not found
% 29.07/16.01 Conjecture not found
% 29.07/16.03 Conjecture not found
% 29.16/16.05 Conjecture not found
% 29.16/16.07 Conjecture not found
% 29.16/16.08 Conjecture not found
% 29.29/16.19 Conjecture not found
% 29.29/16.21 Conjecture not found
% 29.29/16.23 Conjecture not found
% 29.67/16.29 Conjecture not found
% 29.70/16.32 Conjecture not found
% 29.74/16.34 Conjecture not found
% 29.74/16.35 Conjecture not found
% 29.74/16.38 Conjecture not found
% 29.74/16.40 Conjecture not found
% 29.81/16.43 Conjecture not found
% 30.01/16.47 Conjecture not found
% 30.01/16.51 Conjecture not found
% 30.01/16.52 Conjecture not found
% 30.01/16.53 Conjecture not found
% 30.01/16.54 Conjecture not found
% 30.24/16.57 Conjecture not found
% 30.24/16.60 Conjecture not found
% 30.29/16.62 Conjecture not found
% 30.33/16.64 Conjecture not found
% 30.33/16.65 Conjecture not found
% 30.68/16.72 Conjecture not found
% 30.74/16.77 Conjecture not found
% 30.74/16.79 Conjecture not found
% 30.74/16.82 Conjecture not found
% 30.74/16.84 Conjecture not found
% 30.83/16.87 Conjecture not found
% 30.83/16.88 Conjecture not found
% 30.88/16.90 Conjecture not found
% 31.20/16.95 Conjecture not found
% 31.22/16.98 Conjecture not found
% 31.29/17.01 Conjecture not found
% 31.34/17.06 Conjecture not found
% 31.34/17.11 Conjecture not found
% 31.46/17.21 Conjecture not found
% 31.87/17.28 Conjecture not found
% 31.87/17.33 Conjecture not found
% 31.96/17.40 Conjecture not found
% 32.04/17.49 Conjecture not found
% 32.12/17.53 Conjecture not found
% 32.57/17.65 Conjecture not found
% 32.59/17.67 Conjecture not found
% 32.59/17.68 Conjecture not found
% 32.59/17.70 Conjecture not found
% 32.59/17.71 Conjecture not found
% 32.59/17.73 Conjecture not found
% 32.66/17.75 Conjecture not found
% 32.66/17.76 Conjecture not found
% 32.69/17.78 Conjecture not found
% 32.69/17.80 Conjecture not found
% 32.69/17.84 Conjecture not found
% 33.16/17.94 Conjecture not found
% 33.19/17.97 Conjecture not found
% 33.19/18.01 Conjecture not found
% 33.26/18.02 Conjecture not found
% 33.26/18.04 Conjecture not found
% 33.30/18.10 Conjecture not found
% 33.55/18.20 Conjecture not found
% 33.81/18.25 Conjecture not found
% 33.81/18.27 Conjecture not found
% 33.92/18.36 Conjecture not found
% 33.97/18.40 Conjecture not found
% 33.97/18.43 Conjecture not found
% 34.04/18.47 Conjecture not found
% 34.04/18.48 Conjecture not found
% 34.47/18.58 Conjecture not found
% 34.47/18.60 Conjecture not found
% 34.47/18.61 Conjecture not found
% 34.47/18.63 Conjecture not found
% 34.56/18.65 Conjecture not found
% 34.56/18.66 Conjecture not found
% 34.56/18.68 Conjecture not found
% 34.56/18.68 Conjecture not found
% 34.61/18.72 Conjecture not found
% 34.91/18.78 Conjecture not found
% 34.91/18.82 Conjecture not found
% 35.10/18.85 Conjecture not found
% 35.14/18.94 Conjecture not found
% 35.14/18.95 Conjecture not found
% 35.33/18.97 Conjecture not found
% 35.55/19.00 Conjecture not found
% 35.65/19.03 Conjecture not found
% 35.65/19.06 Conjecture not found
% 35.65/19.07 Conjecture not found
% 35.75/19.15 Conjecture not found
% 35.75/19.16 Conjecture not found
% 35.75/19.18 Conjecture not found
% 35.82/19.22 Conjecture not found
% 35.82/19.23 Conjecture not found
% 35.82/19.25 Conjecture not found
% 35.90/19.28 Conjecture not found
% 35.90/19.29 Conjecture not found
% 35.90/19.32 Conjecture not found
% 36.20/19.39 Conjecture not found
% 36.41/19.43 Conjecture not found
% 36.41/19.48 Conjecture not found
% 36.41/19.49 Conjecture not found
% 36.41/19.51 Conjecture not found
% 36.41/19.52 Conjecture not found
% 36.53/19.58 Conjecture not found
% 36.60/19.64 Conjecture not found
% 36.86/19.70 Conjecture not found
% 37.12/19.80 Conjecture not found
% 37.17/19.84 Conjecture not found
% 37.17/19.85 Conjecture not found
% 37.17/19.88 Conjecture not found
% 37.26/19.95 Conjecture not found
% 37.26/19.98 Conjecture not found
% 37.33/20.01 Conjecture not found
% 37.33/20.05 Conjecture not found
% 37.33/20.07 Conjecture not found
% 37.79/20.14 Conjecture not found
% 37.87/20.18 Conjecture not found
% 37.87/20.20 Conjecture not found
% 37.87/20.23 Conjecture not found
% 37.97/20.25 Conjecture not found
% 37.97/20.27 Conjecture not found
% 37.97/20.29 Conjecture not found
% 38.03/20.30 Conjecture not found
% 38.03/20.32 Conjecture not found
% 38.03/20.35 Conjecture not found
% 38.09/20.39 Conjecture not found
% 38.57/20.49 Conjecture not found
% 38.57/20.50 Conjecture not found
% 38.57/20.53 Conjecture not found
% 38.66/20.57 Conjecture not found
% 38.71/20.59 Conjecture not found
% 38.71/20.62 Conjecture not found
% 38.71/20.64 Conjecture not found
% 38.77/20.65 Conjecture not found
% 38.77/20.67 Conjecture not found
% 38.80/20.71 Conjecture not found
% 38.85/20.72 Conjecture not found
% 38.85/20.75 Conjecture not found
% 38.89/20.79 Conjecture not found
% 38.89/20.80 Conjecture not found
% 39.42/20.90 Conjecture not found
% 39.42/20.92 Conjecture not found
% 39.48/20.94 Conjecture not found
% 39.50/20.96 Conjecture not found
% 39.50/20.99 Conjecture not found
% 39.50/21.01 Conjecture not found
% 39.57/21.04 Conjecture not found
% 39.61/21.07 Conjecture not found
% 39.61/21.09 Conjecture not found
% 39.61/21.13 Conjecture not found
% 39.75/21.20 Conjecture not found
% 40.25/21.41 Conjecture not found
% 40.31/21.44 Conjecture not found
% 40.31/21.45 Conjecture not found
% 40.34/21.46 Conjecture not found
% 40.41/21.55 Conjecture not found
% 40.41/21.57 Conjecture not found
% 40.45/21.59 Conjecture not found
% 40.45/21.62 Conjecture not found
% 40.55/21.70 Conjecture not found
% 40.61/21.73 Conjecture not found
% 41.19/21.90 Conjecture not found
% 41.19/21.92 Conjecture not found
% 41.25/21.97 Conjecture not found
% 41.25/21.98 Conjecture not found
% 41.25/21.99 Conjecture not found
% 41.25/21.99 Conjecture not found
% 41.31/22.03 Conjecture not found
% 41.37/22.07 Conjecture not found
% 41.37/22.09 Conjecture not found
% 41.37/22.11 Conjecture not found
% 41.37/22.14 Conjecture not found
% 41.98/22.26 Conjecture not found
% 41.98/22.27 Conjecture not found
% 41.98/22.30 Conjecture not found
% 42.06/22.34 Conjecture not found
% 42.06/22.36 Conjecture not found
% 42.11/22.40 Conjecture not found
% 42.11/22.43 Conjecture not found
% 42.11/22.46 Conjecture not found
% 42.30/22.48 Conjecture not found
% 42.79/22.63 Conjecture not found
% 42.79/22.67 Conjecture not found
% 42.87/22.70 Conjecture not found
% 42.87/22.73 Conjecture not found
% 42.87/22.76 Conjecture not found
% 42.95/22.78 Conjecture not found
% 42.96/22.79 Conjecture not found
% 42.99/22.82 Conjecture not found
% 43.54/22.98 Conjecture not found
% 43.63/23.02 Conjecture not found
% 43.63/23.03 Conjecture not found
% 43.63/23.06 Conjecture not found
% 43.63/23.07 Conjecture not found
% 43.72/23.10 Conjecture not found
% 43.72/23.13 Conjecture not found
% 43.72/23.14 Conjecture not found
% 43.72/23.15 Conjecture not found
% 43.81/23.19 Conjecture not found
% 43.84/23.22 Conjecture not found
% 43.84/23.26 Conjecture not found
% 43.84/23.28 Conjecture not found
% 43.84/23.29 Conjecture not found
% 43.93/23.31 Conjecture not found
% 43.93/23.32 Conjecture not found
% 43.93/23.34 Conjecture not found
% 44.26/23.41 Conjecture not found
% 44.26/23.45 Conjecture not found
% 44.26/23.45 Conjecture not found
% 44.26/23.47 Conjecture not found
% 44.59/23.49 Conjecture not found
% 44.59/23.52 Conjecture not found
% 44.62/23.53 Conjecture not found
% 44.64/23.55 Conjecture not found
% 44.64/23.57 Conjecture not found
% 44.64/23.59 Conjecture not found
% 44.73/23.63 Conjecture not found
% 44.73/23.64 Conjecture not found
% 44.73/23.65 Conjecture not found
% 44.73/23.67 Conjecture not found
% 44.79/23.73 Conjecture not found
% 44.79/23.74 Conjecture not found
% 45.30/23.87 Conjecture not found
% 45.30/23.88 Conjecture not found
% 45.30/23.89 Conjecture not found
% 45.56/24.00 Conjecture not found
% 45.56/24.02 Conjecture not found
% 45.56/24.04 Conjecture not found
% 45.56/24.05 Conjecture not found
% 45.66/24.09 Conjecture not found
% 45.66/24.12 Conjecture not found
% 45.70/24.15 Conjecture not found
% 45.73/24.18 Conjecture not found
% 46.32/24.27 Conjecture not found
% 46.42/24.38 Conjecture not found
% 46.42/24.39 Conjecture not found
% 46.48/24.45 Conjecture not found
% 46.51/24.47 Conjecture not found
% 46.51/24.50 Conjecture not found
% 46.51/24.51 Conjecture not found
% 46.51/24.52 Conjecture not found
% 46.58/24.53 Conjecture not found
% 46.58/24.56 Conjecture not found
% 46.62/24.58 Conjecture not found
% 46.62/24.59 Conjecture not found
% 46.62/24.62 Conjecture not found
% 47.12/24.67 Conjecture not found
% 47.24/24.69 Conjecture not found
% 47.24/24.73 Conjecture not found
% 47.31/24.75 Conjecture not found
% 47.36/24.84 Conjecture not found
% 47.40/24.87 Conjecture not found
% 47.40/24.90 Conjecture not found
% 47.49/24.94 Conjecture not found
% 47.49/24.98 Conjecture not found
% 47.55/25.02 Conjecture not found
% 47.55/25.04 Conjecture not found
% 47.55/25.05 Conjecture not found
% 48.02/25.11 Conjecture not found
% 48.26/25.21 Conjecture not found
% 49.11/25.60 Conjecture not found
% 49.11/25.61 Conjecture not found
% 49.25/25.65 Conjecture not found
% 49.30/25.69 Conjecture not found
% 49.30/25.70 Conjecture not found
% 49.30/25.71 Conjecture not found
% 49.30/25.72 Conjecture not found
% 49.30/25.74 Conjecture not found
% 49.38/25.75 Conjecture not found
% 49.38/25.76 Conjecture not found
% 49.38/25.78 Conjecture not found
% 49.44/25.84 Conjecture not found
% 49.55/25.93 Conjecture not found
% 49.67/26.03 Conjecture not found
% 50.21/26.08 Conjecture not found
% 50.26/26.12 Conjecture not found
% 50.26/26.14 Conjecture not found
% 50.33/26.15 Conjecture not found
% 50.34/26.20 Conjecture not found
% 50.39/26.21 Conjecture not found
% 50.39/26.23 Conjecture not found
% 50.43/26.25 Conjecture not found
% 50.43/26.26 Conjecture not found
% 50.43/26.32 Conjecture not found
% 50.53/26.35 Conjecture not found
% 50.53/26.39 Conjecture not found
% 50.69/26.45 Conjecture not found
% 50.69/26.45 Conjecture not found
% 51.19/26.55 Conjecture not found
% 51.29/26.58 Conjecture not found
% 51.31/26.59 Conjecture not found
% 51.31/26.60 Conjecture not found
% 51.36/26.63 Conjecture not found
% 51.36/26.65 Conjecture not found
% 51.36/26.67 Conjecture not found
% 51.44/26.73 Conjecture not found
% 51.44/26.73 Conjecture not found
% 51.44/26.75 Conjecture not found
% 51.44/26.77 Conjecture not found
% 51.51/26.78 Conjecture not found
% 51.51/26.80 Conjecture not found
% 51.51/26.83 Conjecture not found
% 51.51/26.84 Conjecture not found
% 52.16/26.98 Conjecture not found
% 52.29/27.03 Conjecture not found
% 52.29/27.04 Conjecture not found
% 52.29/27.05 Conjecture not found
% 52.34/27.14 Conjecture not found
% 52.34/27.15 Conjecture not found
% 52.43/27.18 Conjecture not found
% 52.43/27.21 Conjecture not found
% 52.50/27.29 Conjecture not found
% 52.50/27.31 Conjecture not found
% 52.59/27.33 Conjecture not found
% 52.59/27.36 Conjecture not found
% 52.79/27.42 Conjecture not found
% 53.26/27.45 Conjecture not found
% 53.36/27.53 Conjecture not found
% 53.39/27.59 Conjecture not found
% 53.46/27.64 Conjecture not found
% 53.46/27.65 Conjecture not found
% 53.49/27.67 Conjecture not found
% 53.49/27.73 Conjecture not found
% 53.56/27.77 Conjecture not found
% 53.60/27.78 Start search
% 116.87/43.50 nb_step : 1 - limit : 133800
% 117.49/44.04 Launch Gotab with destructive = true
%------------------------------------------------------------------------------