TSTP Solution File: LAT352+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT352+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n007.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:13 EDT 2022
% Result : Timeout 300.60s 98.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LAT352+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n007.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Thu Sep 1 15:23:10 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000041s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.18/0.60 Conjecture not found
% 0.18/0.63 Conjecture not found
% 0.53/0.65 Conjecture not found
% 0.65/0.70 Conjecture not found
% 0.70/0.77 Conjecture not found
% 0.70/0.78 Conjecture not found
% 0.84/0.88 Conjecture not found
% 0.94/0.94 Conjecture not found
% 1.11/1.01 Conjecture not found
% 1.16/1.05 Conjecture not found
% 1.16/1.13 Conjecture not found
% 1.33/1.17 Conjecture not found
% 1.33/1.21 Conjecture not found
% 1.46/1.23 Conjecture not found
% 1.46/1.26 Conjecture not found
% 1.46/1.28 Conjecture not found
% 1.46/1.29 Conjecture not found
% 1.57/1.30 Conjecture not found
% 1.57/1.31 Conjecture not found
% 1.75/1.41 Conjecture not found
% 1.78/1.44 Conjecture not found
% 1.78/1.44 Conjecture not found
% 1.78/1.46 Conjecture not found
% 1.78/1.46 Conjecture not found
% 1.78/1.47 Conjecture not found
% 1.78/1.47 Conjecture not found
% 1.78/1.48 Conjecture not found
% 1.78/1.49 Conjecture not found
% 1.93/1.53 Conjecture not found
% 1.93/1.59 Conjecture not found
% 1.93/1.59 Conjecture not found
% 2.05/1.59 Conjecture not found
% 2.05/1.60 Conjecture not found
% 2.05/1.62 Conjecture not found
% 2.05/1.64 Conjecture not found
% 2.05/1.66 Conjecture not found
% 2.18/1.68 Conjecture not found
% 2.18/1.69 Conjecture not found
% 2.18/1.71 Conjecture not found
% 2.18/1.71 Conjecture not found
% 2.26/1.73 Conjecture not found
% 2.29/1.76 Conjecture not found
% 2.29/1.80 Conjecture not found
% 2.45/1.85 Conjecture not found
% 2.45/1.86 Conjecture not found
% 2.45/1.88 Conjecture not found
% 2.53/1.91 Conjecture not found
% 2.62/1.95 Conjecture not found
% 2.63/1.97 Conjecture not found
% 2.63/2.00 Conjecture not found
% 2.79/2.10 Conjecture not found
% 2.79/2.14 Conjecture not found
% 2.91/2.17 Conjecture not found
% 2.91/2.18 Conjecture not found
% 2.98/2.19 Conjecture not found
% 2.98/2.21 Conjecture not found
% 3.20/2.36 Conjecture not found
% 3.25/2.39 Conjecture not found
% 3.25/2.42 Conjecture not found
% 3.43/2.53 Conjecture not found
% 3.52/2.54 Conjecture not found
% 3.54/2.56 Conjecture not found
% 3.54/2.57 Conjecture not found
% 3.54/2.60 Conjecture not found
% 3.65/2.64 Conjecture not found
% 3.73/2.72 Conjecture not found
% 3.93/2.80 Conjecture not found
% 4.04/2.86 Conjecture not found
% 4.06/2.87 Conjecture not found
% 4.06/2.91 Conjecture not found
% 4.06/2.91 Conjecture not found
% 4.17/2.96 Conjecture not found
% 4.20/2.97 Conjecture not found
% 4.20/3.00 Conjecture not found
% 4.20/3.01 Conjecture not found
% 4.38/3.08 Conjecture not found
% 4.38/3.09 Conjecture not found
% 4.38/3.12 Conjecture not found
% 4.50/3.16 Conjecture not found
% 4.71/3.25 Conjecture not found
% 4.93/3.42 Conjecture not found
% 5.38/3.61 Conjecture not found
% 5.78/3.93 Conjecture not found
% 5.91/3.95 Conjecture not found
% 6.02/3.99 Conjecture not found
% 6.18/4.10 Conjecture not found
% 6.28/4.15 Conjecture not found
% 6.28/4.20 Conjecture not found
% 6.41/4.24 Conjecture not found
% 6.54/4.29 Conjecture not found
% 6.54/4.35 Conjecture not found
% 6.70/4.40 Conjecture not found
% 6.70/4.42 Conjecture not found
% 6.75/4.43 Conjecture not found
% 6.82/4.47 Conjecture not found
% 6.82/4.48 Conjecture not found
% 6.93/4.56 Conjecture not found
% 7.04/4.63 Conjecture not found
% 7.16/4.68 Conjecture not found
% 7.29/4.79 Conjecture not found
% 7.29/4.81 Conjecture not found
% 7.46/4.84 Conjecture not found
% 7.46/4.86 Conjecture not found
% 7.46/4.86 Conjecture not found
% 7.46/4.89 Conjecture not found
% 7.62/4.92 Conjecture not found
% 7.62/4.94 Conjecture not found
% 7.62/4.96 Conjecture not found
% 7.68/4.96 Conjecture not found
% 7.68/4.98 Conjecture not found
% 7.68/5.00 Conjecture not found
% 7.83/5.06 Conjecture not found
% 7.83/5.08 Conjecture not found
% 7.83/5.12 Conjecture not found
% 8.01/5.16 Conjecture not found
% 8.19/5.31 Conjecture not found
% 8.37/5.36 Conjecture not found
% 8.37/5.37 Conjecture not found
% 8.37/5.38 Conjecture not found
% 8.44/5.41 Conjecture not found
% 8.44/5.44 Conjecture not found
% 8.54/5.47 Conjecture not found
% 8.54/5.48 Conjecture not found
% 8.54/5.50 Conjecture not found
% 8.54/5.53 Conjecture not found
% 8.71/5.58 Conjecture not found
% 9.46/5.98 Conjecture not found
% 10.38/6.46 Conjecture not found
% 10.57/6.57 Conjecture not found
% 10.57/6.63 Conjecture not found
% 10.64/6.65 Conjecture not found
% 10.76/6.67 Conjecture not found
% 10.76/6.72 Conjecture not found
% 10.82/6.73 Conjecture not found
% 10.82/6.74 Conjecture not found
% 10.85/6.78 Conjecture not found
% 11.00/6.85 Conjecture not found
% 11.05/6.91 Conjecture not found
% 11.05/6.95 Conjecture not found
% 11.21/6.97 Conjecture not found
% 11.24/7.01 Conjecture not found
% 11.29/7.07 Conjecture not found
% 11.37/7.14 Conjecture not found
% 11.51/7.19 Conjecture not found
% 11.51/7.23 Conjecture not found
% 11.51/7.24 Conjecture not found
% 11.68/7.27 Conjecture not found
% 11.72/7.30 Conjecture not found
% 11.76/7.33 Conjecture not found
% 11.77/7.38 Conjecture not found
% 11.87/7.44 Conjecture not found
% 11.87/7.45 Conjecture not found
% 12.01/7.49 Conjecture not found
% 12.01/7.55 Conjecture not found
% 12.01/7.57 Conjecture not found
% 12.21/7.59 Conjecture not found
% 12.23/7.63 Conjecture not found
% 12.23/7.65 Conjecture not found
% 12.23/7.68 Conjecture not found
% 12.33/7.71 Conjecture not found
% 12.33/7.72 Conjecture not found
% 12.33/7.78 Conjecture not found
% 12.52/7.79 Conjecture not found
% 12.52/7.83 Conjecture not found
% 12.52/7.85 Conjecture not found
% 12.62/7.89 Conjecture not found
% 12.76/7.95 Conjecture not found
% 12.76/7.98 Conjecture not found
% 12.76/8.00 Conjecture not found
% 12.85/8.03 Conjecture not found
% 12.85/8.06 Conjecture not found
% 12.93/8.10 Conjecture not found
% 12.93/8.12 Conjecture not found
% 13.13/8.18 Conjecture not found
% 13.13/8.21 Conjecture not found
% 13.13/8.22 Conjecture not found
% 13.13/8.25 Conjecture not found
% 13.13/8.26 Conjecture not found
% 13.34/8.29 Conjecture not found
% 13.39/8.34 Conjecture not found
% 13.39/8.35 Conjecture not found
% 13.39/8.36 Conjecture not found
% 13.39/8.37 Conjecture not found
% 13.39/8.38 Conjecture not found
% 13.39/8.39 Conjecture not found
% 13.39/8.39 Conjecture not found
% 13.39/8.39 Conjecture not found
% 13.47/8.46 Conjecture not found
% 13.66/8.53 Conjecture not found
% 13.66/8.53 Conjecture not found
% 13.66/8.56 Conjecture not found
% 13.88/8.58 Conjecture not found
% 13.88/8.60 Conjecture not found
% 13.93/8.63 Conjecture not found
% 13.93/8.66 Conjecture not found
% 13.93/8.69 Conjecture not found
% 14.00/8.75 Conjecture not found
% 14.20/8.78 Conjecture not found
% 14.20/8.81 Conjecture not found
% 14.20/8.84 Conjecture not found
% 14.49/8.96 Conjecture not found
% 14.64/9.05 Conjecture not found
% 14.75/9.13 Conjecture not found
% 14.75/9.14 Conjecture not found
% 14.87/9.18 Conjecture not found
% 14.98/9.26 Conjecture not found
% 14.98/9.31 Conjecture not found
% 14.98/9.33 Conjecture not found
% 15.21/9.40 Conjecture not found
% 15.43/9.48 Conjecture not found
% 15.48/9.52 Conjecture not found
% 15.48/9.55 Conjecture not found
% 15.51/9.61 Conjecture not found
% 15.51/9.63 Conjecture not found
% 15.75/9.67 Conjecture not found
% 15.80/9.70 Conjecture not found
% 16.06/9.80 Conjecture not found
% 16.12/9.87 Conjecture not found
% 16.12/9.89 Conjecture not found
% 16.24/9.95 Conjecture not found
% 16.37/9.98 Conjecture not found
% 16.37/10.02 Conjecture not found
% 16.53/10.13 Conjecture not found
% 16.76/10.23 Conjecture not found
% 16.76/10.25 Conjecture not found
% 16.76/10.28 Conjecture not found
% 17.13/10.50 Conjecture not found
% 17.31/10.58 Conjecture not found
% 17.46/10.62 Conjecture not found
% 17.46/10.66 Conjecture not found
% 17.53/10.67 Conjecture not found
% 17.54/10.68 Conjecture not found
% 17.75/10.77 Conjecture not found
% 17.84/10.82 Conjecture not found
% 17.84/10.89 Conjecture not found
% 18.06/10.95 Conjecture not found
% 18.06/10.97 Conjecture not found
% 18.19/11.09 Conjecture not found
% 18.45/11.18 Conjecture not found
% 18.54/11.26 Conjecture not found
% 18.65/11.31 Conjecture not found
% 18.65/11.38 Conjecture not found
% 18.65/11.40 Conjecture not found
% 18.92/11.45 Conjecture not found
% 18.92/11.47 Conjecture not found
% 18.92/11.50 Conjecture not found
% 19.02/11.57 Conjecture not found
% 19.12/11.63 Conjecture not found
% 19.12/11.68 Conjecture not found
% 19.40/11.71 Conjecture not found
% 19.40/11.78 Conjecture not found
% 19.49/11.78 Conjecture not found
% 19.51/11.80 Conjecture not found
% 19.52/11.82 Conjecture not found
% 19.79/11.99 Conjecture not found
% 19.87/12.00 Conjecture not found
% 19.87/12.04 Conjecture not found
% 19.87/12.04 Conjecture not found
% 19.87/12.04 Conjecture not found
% 19.87/12.05 Conjecture not found
% 19.87/12.06 Conjecture not found
% 20.21/12.14 Conjecture not found
% 20.21/12.15 Conjecture not found
% 20.21/12.16 Conjecture not found
% 20.28/12.22 Conjecture not found
% 20.34/12.32 Conjecture not found
% 20.67/12.40 Conjecture not found
% 20.67/12.41 Conjecture not found
% 20.92/12.53 Conjecture not found
% 21.04/12.64 Conjecture not found
% 21.30/12.68 Conjecture not found
% 21.38/12.72 Conjecture not found
% 21.38/12.74 Conjecture not found
% 21.42/12.75 Conjecture not found
% 21.42/12.82 Conjecture not found
% 21.75/12.93 Conjecture not found
% 21.81/12.97 Conjecture not found
% 21.81/12.99 Conjecture not found
% 21.92/13.10 Conjecture not found
% 22.19/13.16 Conjecture not found
% 22.24/13.20 Conjecture not found
% 22.32/13.29 Conjecture not found
% 22.40/13.37 Conjecture not found
% 22.40/13.39 Conjecture not found
% 22.60/13.46 Conjecture not found
% 22.77/13.54 Conjecture not found
% 22.84/13.56 Conjecture not found
% 22.86/13.57 Conjecture not found
% 22.93/13.64 Conjecture not found
% 23.13/13.68 Conjecture not found
% 23.13/13.68 Conjecture not found
% 23.22/13.73 Conjecture not found
% 23.22/13.77 Conjecture not found
% 23.28/13.83 Conjecture not found
% 23.37/13.87 Conjecture not found
% 23.65/13.97 Conjecture not found
% 23.65/13.98 Conjecture not found
% 23.73/14.03 Conjecture not found
% 23.79/14.08 Conjecture not found
% 24.11/14.20 Conjecture not found
% 24.15/14.22 Conjecture not found
% 24.16/14.28 Conjecture not found
% 24.16/14.30 Conjecture not found
% 24.16/14.31 Conjecture not found
% 24.16/14.31 Conjecture not found
% 24.16/14.33 Conjecture not found
% 24.27/14.38 Conjecture not found
% 24.53/14.40 Conjecture not found
% 24.53/14.47 Conjecture not found
% 24.65/14.53 Conjecture not found
% 24.65/14.61 Conjecture not found
% 24.97/14.63 Conjecture not found
% 24.97/14.64 Conjecture not found
% 24.97/14.69 Conjecture not found
% 25.05/14.70 Conjecture not found
% 25.05/14.71 Conjecture not found
% 25.17/14.79 Conjecture not found
% 25.30/14.83 Conjecture not found
% 25.42/14.87 Conjecture not found
% 25.42/14.93 Conjecture not found
% 25.53/14.95 Conjecture not found
% 25.53/14.98 Conjecture not found
% 26.04/15.19 Conjecture not found
% 26.13/15.27 Conjecture not found
% 26.13/15.29 Conjecture not found
% 26.42/15.37 Conjecture not found
% 26.49/15.38 Conjecture not found
% 26.49/15.43 Conjecture not found
% 26.49/15.45 Conjecture not found
% 26.90/15.55 Conjecture not found
% 26.90/15.59 Conjecture not found
% 26.90/15.60 Conjecture not found
% 26.97/15.62 Conjecture not found
% 26.97/15.64 Conjecture not found
% 27.02/15.69 Conjecture not found
% 27.37/15.78 Conjecture not found
% 27.41/15.79 Conjecture not found
% 27.41/15.79 Conjecture not found
% 27.41/15.80 Conjecture not found
% 27.46/15.83 Conjecture not found
% 27.47/15.85 Conjecture not found
% 27.47/15.89 Conjecture not found
% 27.85/16.03 Conjecture not found
% 27.95/16.08 Conjecture not found
% 27.99/16.10 Conjecture not found
% 27.99/16.11 Conjecture not found
% 27.99/16.13 Conjecture not found
% 28.03/16.17 Conjecture not found
% 28.03/16.19 Conjecture not found
% 28.03/16.20 Conjecture not found
% 28.38/16.26 Conjecture not found
% 28.38/16.29 Conjecture not found
% 28.45/16.33 Conjecture not found
% 28.50/16.35 Conjecture not found
% 28.50/16.38 Conjecture not found
% 28.73/16.49 Conjecture not found
% 28.73/16.51 Conjecture not found
% 28.73/16.53 Conjecture not found
% 28.97/16.59 Conjecture not found
% 29.02/16.61 Conjecture not found
% 29.02/16.66 Conjecture not found
% 29.10/16.68 Conjecture not found
% 29.10/16.69 Conjecture not found
% 29.10/16.71 Conjecture not found
% 29.47/16.77 Conjecture not found
% 29.47/16.79 Conjecture not found
% 29.61/16.89 Conjecture not found
% 29.61/16.89 Conjecture not found
% 29.61/16.90 Conjecture not found
% 29.61/16.94 Conjecture not found
% 29.86/16.99 Conjecture not found
% 29.86/17.01 Conjecture not found
% 30.04/17.03 Conjecture not found
% 30.07/17.06 Conjecture not found
% 30.07/17.09 Conjecture not found
% 30.15/17.13 Conjecture not found
% 30.15/17.15 Conjecture not found
% 30.15/17.18 Conjecture not found
% 30.21/17.21 Conjecture not found
% 30.21/17.23 Conjecture not found
% 30.21/17.25 Conjecture not found
% 30.59/17.28 Conjecture not found
% 30.64/17.32 Conjecture not found
% 30.65/17.35 Conjecture not found
% 30.65/17.38 Conjecture not found
% 30.65/17.39 Conjecture not found
% 30.73/17.46 Conjecture not found
% 30.80/17.55 Conjecture not found
% 31.18/17.57 Conjecture not found
% 31.20/17.59 Conjecture not found
% 31.20/17.62 Conjecture not found
% 31.24/17.65 Conjecture not found
% 31.24/17.66 Conjecture not found
% 31.24/17.68 Conjecture not found
% 31.24/17.71 Conjecture not found
% 31.33/17.73 Conjecture not found
% 31.33/17.74 Conjecture not found
% 31.58/17.82 Conjecture not found
% 31.58/17.89 Conjecture not found
% 31.82/17.98 Conjecture not found
% 31.93/18.01 Conjecture not found
% 31.93/18.05 Conjecture not found
% 32.29/18.16 Conjecture not found
% 32.43/18.25 Conjecture not found
% 32.43/18.29 Conjecture not found
% 32.56/18.35 Conjecture not found
% 32.56/18.36 Conjecture not found
% 32.56/18.37 Conjecture not found
% 32.56/18.40 Conjecture not found
% 32.99/18.43 Conjecture not found
% 32.99/18.45 Conjecture not found
% 32.99/18.47 Conjecture not found
% 32.99/18.48 Conjecture not found
% 33.07/18.50 Conjecture not found
% 33.07/18.53 Conjecture not found
% 33.14/18.59 Conjecture not found
% 33.20/18.65 Conjecture not found
% 33.20/18.68 Conjecture not found
% 33.38/18.74 Conjecture not found
% 33.38/18.78 Conjecture not found
% 33.60/18.82 Conjecture not found
% 33.87/18.92 Conjecture not found
% 33.90/19.02 Conjecture not found
% 33.98/19.07 Conjecture not found
% 34.03/19.10 Conjecture not found
% 34.13/19.18 Conjecture not found
% 34.17/19.24 Conjecture not found
% 34.31/19.30 Conjecture not found
% 34.61/19.33 Conjecture not found
% 34.61/19.35 Conjecture not found
% 34.66/19.40 Conjecture not found
% 34.66/19.41 Conjecture not found
% 34.66/19.42 Conjecture not found
% 34.66/19.46 Conjecture not found
% 34.75/19.48 Conjecture not found
% 34.77/19.49 Conjecture not found
% 34.77/19.51 Conjecture not found
% 34.77/19.52 Conjecture not found
% 35.20/19.62 Conjecture not found
% 35.26/19.68 Conjecture not found
% 35.26/19.72 Conjecture not found
% 35.36/19.77 Conjecture not found
% 35.44/19.87 Conjecture not found
% 35.71/19.91 Conjecture not found
% 35.71/19.96 Conjecture not found
% 35.93/19.98 Conjecture not found
% 35.93/20.00 Conjecture not found
% 35.93/20.01 Conjecture not found
% 35.93/20.02 Conjecture not found
% 36.03/20.10 Conjecture not found
% 36.06/20.11 Conjecture not found
% 36.06/20.13 Conjecture not found
% 36.10/20.16 Conjecture not found
% 36.10/20.18 Conjecture not found
% 36.10/20.20 Conjecture not found
% 36.27/20.24 Conjecture not found
% 36.27/20.27 Conjecture not found
% 36.62/20.32 Conjecture not found
% 36.69/20.36 Conjecture not found
% 36.69/20.38 Conjecture not found
% 36.73/20.42 Conjecture not found
% 36.73/20.43 Conjecture not found
% 36.77/20.45 Conjecture not found
% 36.77/20.46 Conjecture not found
% 36.77/20.51 Conjecture not found
% 37.31/20.62 Conjecture not found
% 37.31/20.65 Conjecture not found
% 37.40/20.70 Conjecture not found
% 37.42/20.73 Conjecture not found
% 37.42/20.74 Conjecture not found
% 37.42/20.77 Conjecture not found
% 37.53/20.84 Conjecture not found
% 37.53/20.87 Conjecture not found
% 37.66/20.95 Conjecture not found
% 38.10/21.02 Conjecture not found
% 38.10/21.06 Conjecture not found
% 38.20/21.15 Conjecture not found
% 38.20/21.20 Conjecture not found
% 38.28/21.22 Conjecture not found
% 38.28/21.25 Conjecture not found
% 38.28/21.28 Conjecture not found
% 38.37/21.30 Conjecture not found
% 38.37/21.32 Conjecture not found
% 38.37/21.34 Conjecture not found
% 38.37/21.36 Conjecture not found
% 38.83/21.45 Conjecture not found
% 38.83/21.49 Conjecture not found
% 38.97/21.54 Conjecture not found
% 38.97/21.55 Conjecture not found
% 38.97/21.58 Conjecture not found
% 39.06/21.61 Conjecture not found
% 39.06/21.64 Conjecture not found
% 39.06/21.66 Conjecture not found
% 39.15/21.69 Conjecture not found
% 39.16/21.70 Conjecture not found
% 39.16/21.71 Conjecture not found
% 39.30/21.82 Conjecture not found
% 39.70/21.84 Conjecture not found
% 39.70/21.87 Conjecture not found
% 39.76/21.91 Conjecture not found
% 39.76/21.92 Conjecture not found
% 39.87/22.01 Conjecture not found
% 39.87/22.02 Conjecture not found
% 39.90/22.04 Conjecture not found
% 39.90/22.05 Conjecture not found
% 39.90/22.09 Conjecture not found
% 39.90/22.11 Conjecture not found
% 40.00/22.13 Conjecture not found
% 40.00/22.18 Conjecture not found
% 40.35/22.22 Conjecture not found
% 40.53/22.27 Conjecture not found
% 40.55/22.32 Conjecture not found
% 40.62/22.41 Conjecture not found
% 40.62/22.43 Conjecture not found
% 40.70/22.44 Conjecture not found
% 40.70/22.45 Conjecture not found
% 40.95/22.56 Conjecture not found
% 40.95/22.60 Conjecture not found
% 41.35/22.65 Conjecture not found
% 41.35/22.70 Conjecture not found
% 41.42/22.77 Conjecture not found
% 41.47/22.80 Conjecture not found
% 41.58/22.93 Conjecture not found
% 41.58/22.94 Conjecture not found
% 42.06/23.05 Conjecture not found
% 42.19/23.05 Conjecture not found
% 42.19/23.06 Conjecture not found
% 42.19/23.07 Conjecture not found
% 42.19/23.10 Conjecture not found
% 42.28/23.14 Conjecture not found
% 42.28/23.17 Conjecture not found
% 42.33/23.18 Conjecture not found
% 42.33/23.21 Conjecture not found
% 42.40/23.28 Conjecture not found
% 42.40/23.29 Conjecture not found
% 42.45/23.32 Conjecture not found
% 42.57/23.38 Conjecture not found
% 42.57/23.44 Conjecture not found
% 43.04/23.49 Conjecture not found
% 43.08/23.53 Conjecture not found
% 43.12/23.57 Conjecture not found
% 43.12/23.59 Conjecture not found
% 43.27/23.69 Conjecture not found
% 43.27/23.73 Conjecture not found
% 43.33/23.76 Conjecture not found
% 43.34/23.79 Conjecture not found
% 43.38/23.84 Conjecture not found
% 43.58/23.86 Conjecture not found
% 43.58/23.90 Conjecture not found
% 44.00/23.94 Conjecture not found
% 44.06/24.03 Conjecture not found
% 44.06/24.06 Conjecture not found
% 44.13/24.08 Conjecture not found
% 44.17/24.11 Conjecture not found
% 44.19/24.12 Conjecture not found
% 44.19/24.15 Conjecture not found
% 44.19/24.19 Conjecture not found
% 44.19/24.21 Conjecture not found
% 44.29/24.22 Conjecture not found
% 44.29/24.26 Conjecture not found
% 44.60/24.34 Conjecture not found
% 44.91/24.38 Conjecture not found
% 44.91/24.40 Conjecture not found
% 44.93/24.41 Conjecture not found
% 44.95/24.43 Conjecture not found
% 44.95/24.44 Conjecture not found
% 44.95/24.46 Conjecture not found
% 44.95/24.52 Conjecture not found
% 45.06/24.54 Conjecture not found
% 45.06/24.54 Conjecture not found
% 45.06/24.55 Conjecture not found
% 45.06/24.57 Conjecture not found
% 45.06/24.59 Conjecture not found
% 45.06/24.60 Conjecture not found
% 45.14/24.63 Conjecture not found
% 45.14/24.64 Conjecture not found
% 45.14/24.66 Conjecture not found
% 45.22/24.70 Conjecture not found
% 45.22/24.71 Conjecture not found
% 45.22/24.72 Conjecture not found
% 45.22/24.74 Conjecture not found
% 45.84/24.85 Conjecture not found
% 45.84/24.86 Conjecture not found
% 45.94/24.95 Conjecture not found
% 45.94/24.96 Conjecture not found
% 45.94/24.97 Conjecture not found
% 46.11/25.11 Conjecture not found
% 46.15/25.15 Conjecture not found
% 46.37/25.21 Conjecture not found
% 46.37/25.23 Conjecture not found
% 46.77/25.28 Conjecture not found
% 46.82/25.32 Conjecture not found
% 46.88/25.36 Conjecture not found
% 46.88/25.39 Conjecture not found
% 46.94/25.43 Conjecture not found
% 46.98/25.52 Conjecture not found
% 46.98/25.53 Conjecture not found
% 47.12/25.59 Conjecture not found
% 47.12/25.61 Conjecture not found
% 47.54/25.69 Conjecture not found
% 47.54/25.71 Conjecture not found
% 47.76/25.73 Conjecture not found
% 47.76/25.75 Conjecture not found
% 47.81/25.78 Conjecture not found
% 47.81/25.80 Conjecture not found
% 47.81/25.81 Conjecture not found
% 47.81/25.83 Conjecture not found
% 47.88/25.85 Conjecture not found
% 47.88/25.87 Conjecture not found
% 47.91/25.90 Conjecture not found
% 47.91/25.92 Conjecture not found
% 47.99/26.00 Conjecture not found
% 48.06/26.04 Conjecture not found
% 48.24/26.10 Conjecture not found
% 48.72/26.17 Conjecture not found
% 48.72/26.23 Conjecture not found
% 48.82/26.30 Conjecture not found
% 48.82/26.32 Conjecture not found
% 48.82/26.34 Conjecture not found
% 48.92/26.37 Conjecture not found
% 48.98/26.45 Conjecture not found
% 49.91/26.87 Conjecture not found
% 49.91/26.89 Conjecture not found
% 49.96/26.93 Conjecture not found
% 50.02/26.98 Conjecture not found
% 50.02/27.00 Conjecture not found
% 50.07/27.01 Conjecture not found
% 50.07/27.02 Conjecture not found
% 50.07/27.04 Conjecture not found
% 50.12/27.05 Conjecture not found
% 50.12/27.06 Conjecture not found
% 50.12/27.12 Conjecture not found
% 50.80/27.25 Conjecture not found
% 50.92/27.40 Conjecture not found
% 51.01/27.46 Conjecture not found
% 51.04/27.50 Conjecture not found
% 51.08/27.54 Conjecture not found
% 51.08/27.56 Conjecture not found
% 51.08/27.58 Conjecture not found
% 51.15/27.62 Conjecture not found
% 51.15/27.63 Conjecture not found
% 51.15/27.65 Conjecture not found
% 51.22/27.67 Conjecture not found
% 51.22/27.68 Conjecture not found
% 51.84/27.82 Conjecture not found
% 51.91/27.86 Conjecture not found
% 51.91/27.90 Conjecture not found
% 51.99/27.94 Conjecture not found
% 51.99/27.95 Conjecture not found
% 52.05/28.01 Conjecture not found
% 52.05/28.04 Conjecture not found
% 52.05/28.05 Conjecture not found
% 52.12/28.07 Conjecture not found
% 52.17/28.12 Conjecture not found
% 52.20/28.14 Conjecture not found
% 52.20/28.16 Conjecture not found
% 52.87/28.29 Conjecture not found
% 52.87/28.29 Conjecture not found
% 52.87/28.30 Conjecture not found
% 52.87/28.32 Conjecture not found
% 52.87/28.33 Conjecture not found
% 52.87/28.36 Conjecture not found
% 52.96/28.38 Conjecture not found
% 52.96/28.39 Conjecture not found
% 53.04/28.47 Conjecture not found
% 53.04/28.50 Conjecture not found
% 53.04/28.51 Conjecture not found
% 53.04/28.53 Conjecture not found
% 53.17/28.61 Conjecture not found
% 53.17/28.62 Conjecture not found
% 53.24/28.67 Conjecture not found
% 53.24/28.69 Conjecture not found
% 53.41/28.84 Conjecture not found
% 54.01/28.87 Conjecture not found
% 54.06/28.90 Conjecture not found
% 54.06/28.94 Conjecture not found
% 54.12/28.97 Conjecture not found
% 54.14/28.99 Conjecture not found
% 54.20/29.04 Conjecture not found
% 54.24/29.11 Conjecture not found
% 54.34/29.17 Conjecture not found
% 54.34/29.19 Conjecture not found
% 54.34/29.21 Conjecture not found
% 55.07/29.35 Conjecture not found
% 55.11/29.40 Conjecture not found
% 55.11/29.41 Start search
% 115.26/44.31 nb_step : 1 - limit : 133778
% 116.25/44.87 Launch Gotab with destructive = true
%------------------------------------------------------------------------------