TSTP Solution File: LAT364+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT364+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n011.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:20 EDT 2022
% Result : Timeout 300.26s 89.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LAT364+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n011.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Thu Sep 1 16:04:36 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.41 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.43 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.46/0.53 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.50/0.58 Conjecture not found
% 0.50/0.59 Conjecture not found
% 0.50/0.60 Conjecture not found
% 0.50/0.62 Conjecture not found
% 0.65/0.64 Conjecture not found
% 0.65/0.68 Conjecture not found
% 0.87/0.76 Conjecture not found
% 0.88/0.76 Conjecture not found
% 1.02/0.84 Conjecture not found
% 1.02/0.89 Conjecture not found
% 1.17/0.98 Conjecture not found
% 1.26/1.01 Conjecture not found
% 1.41/1.09 Conjecture not found
% 1.49/1.13 Conjecture not found
% 1.54/1.18 Conjecture not found
% 1.54/1.20 Conjecture not found
% 1.68/1.24 Conjecture not found
% 1.68/1.26 Conjecture not found
% 1.68/1.26 Conjecture not found
% 1.68/1.27 Conjecture not found
% 1.73/1.28 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 2.00/1.43 Conjecture not found
% 2.00/1.43 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.00/1.45 Conjecture not found
% 2.00/1.45 Conjecture not found
% 2.04/1.51 Conjecture not found
% 2.21/1.56 Conjecture not found
% 2.21/1.56 Conjecture not found
% 2.21/1.57 Conjecture not found
% 2.27/1.58 Conjecture not found
% 2.27/1.60 Conjecture not found
% 2.27/1.62 Conjecture not found
% 2.27/1.63 Conjecture not found
% 2.27/1.66 Conjecture not found
% 2.45/1.67 Conjecture not found
% 2.52/1.70 Conjecture not found
% 2.52/1.70 Conjecture not found
% 2.52/1.71 Conjecture not found
% 2.52/1.74 Conjecture not found
% 2.70/1.79 Conjecture not found
% 2.81/1.83 Conjecture not found
% 2.81/1.83 Conjecture not found
% 2.93/1.85 Conjecture not found
% 2.93/1.88 Conjecture not found
% 2.93/1.91 Conjecture not found
% 2.93/1.93 Conjecture not found
% 3.09/1.95 Conjecture not found
% 3.35/2.04 Conjecture not found
% 3.38/2.07 Conjecture not found
% 3.38/2.10 Conjecture not found
% 3.38/2.11 Conjecture not found
% 3.47/2.13 Conjecture not found
% 3.47/2.15 Conjecture not found
% 3.87/2.33 Conjecture not found
% 3.95/2.36 Conjecture not found
% 3.95/2.38 Conjecture not found
% 4.19/2.49 Conjecture not found
% 4.30/2.51 Conjecture not found
% 4.30/2.52 Conjecture not found
% 4.30/2.54 Conjecture not found
% 4.39/2.59 Conjecture not found
% 4.64/2.65 Conjecture not found
% 4.64/2.72 Conjecture not found
% 4.89/2.78 Conjecture not found
% 5.05/2.83 Conjecture not found
% 5.05/2.84 Conjecture not found
% 5.17/2.88 Conjecture not found
% 5.17/2.88 Conjecture not found
% 5.22/2.92 Conjecture not found
% 5.28/2.95 Conjecture not found
% 5.28/2.97 Conjecture not found
% 5.28/2.98 Conjecture not found
% 5.51/3.05 Conjecture not found
% 5.51/3.06 Conjecture not found
% 5.51/3.09 Conjecture not found
% 5.64/3.17 Conjecture not found
% 5.94/3.27 Conjecture not found
% 6.30/3.43 Conjecture not found
% 6.80/3.64 Conjecture not found
% 7.51/3.94 Conjecture not found
% 7.51/3.97 Conjecture not found
% 7.51/4.00 Conjecture not found
% 7.80/4.10 Conjecture not found
% 7.80/4.14 Conjecture not found
% 7.93/4.19 Conjecture not found
% 8.01/4.24 Conjecture not found
% 8.07/4.28 Conjecture not found
% 8.22/4.34 Conjecture not found
% 8.22/4.38 Conjecture not found
% 8.36/4.40 Conjecture not found
% 8.36/4.41 Conjecture not found
% 8.36/4.43 Conjecture not found
% 8.36/4.44 Conjecture not found
% 8.54/4.51 Conjecture not found
% 8.69/4.59 Conjecture not found
% 8.83/4.64 Conjecture not found
% 8.89/4.71 Conjecture not found
% 8.89/4.73 Conjecture not found
% 9.11/4.78 Conjecture not found
% 9.11/4.81 Conjecture not found
% 9.11/4.82 Conjecture not found
% 9.17/4.85 Conjecture not found
% 9.21/4.88 Conjecture not found
% 9.21/4.89 Conjecture not found
% 9.34/4.94 Conjecture not found
% 9.34/4.94 Conjecture not found
% 9.34/4.95 Conjecture not found
% 9.42/4.97 Conjecture not found
% 9.42/5.02 Conjecture not found
% 9.42/5.04 Conjecture not found
% 9.58/5.09 Conjecture not found
% 9.58/5.14 Conjecture not found
% 10.01/5.35 Conjecture not found
% 10.15/5.39 Conjecture not found
% 10.15/5.40 Conjecture not found
% 10.15/5.43 Conjecture not found
% 10.21/5.46 Conjecture not found
% 10.23/5.50 Conjecture not found
% 10.38/5.56 Conjecture not found
% 10.43/5.57 Conjecture not found
% 10.43/5.60 Conjecture not found
% 10.43/5.63 Conjecture not found
% 10.70/5.72 Conjecture not found
% 11.57/6.25 Conjecture not found
% 12.53/6.77 Conjecture not found
% 12.70/6.89 Conjecture not found
% 12.86/6.95 Conjecture not found
% 12.94/6.97 Conjecture not found
% 12.94/6.99 Conjecture not found
% 13.08/7.05 Conjecture not found
% 13.08/7.07 Conjecture not found
% 13.08/7.08 Conjecture not found
% 13.18/7.14 Conjecture not found
% 13.36/7.20 Conjecture not found
% 13.36/7.25 Conjecture not found
% 13.47/7.28 Conjecture not found
% 13.47/7.29 Conjecture not found
% 13.61/7.33 Conjecture not found
% 13.64/7.39 Conjecture not found
% 13.64/7.43 Conjecture not found
% 13.88/7.50 Conjecture not found
% 13.88/7.55 Conjecture not found
% 13.94/7.56 Conjecture not found
% 13.94/7.59 Conjecture not found
% 14.11/7.62 Conjecture not found
% 14.17/7.65 Conjecture not found
% 14.17/7.69 Conjecture not found
% 14.37/7.74 Conjecture not found
% 14.37/7.76 Conjecture not found
% 14.42/7.82 Conjecture not found
% 14.57/7.87 Conjecture not found
% 14.57/7.89 Conjecture not found
% 14.64/7.91 Conjecture not found
% 14.64/7.94 Conjecture not found
% 14.68/7.95 Conjecture not found
% 14.68/7.97 Conjecture not found
% 14.68/7.98 Conjecture not found
% 14.68/8.01 Conjecture not found
% 14.68/8.04 Conjecture not found
% 14.92/8.05 Conjecture not found
% 14.96/8.11 Conjecture not found
% 14.96/8.13 Conjecture not found
% 15.11/8.16 Conjecture not found
% 15.11/8.20 Conjecture not found
% 15.20/8.22 Conjecture not found
% 15.20/8.23 Conjecture not found
% 15.20/8.25 Conjecture not found
% 15.25/8.27 Conjecture not found
% 15.25/8.30 Conjecture not found
% 15.25/8.32 Conjecture not found
% 15.46/8.36 Conjecture not found
% 15.51/8.39 Conjecture not found
% 15.51/8.40 Conjecture not found
% 15.51/8.45 Conjecture not found
% 15.51/8.46 Conjecture not found
% 15.75/8.48 Conjecture not found
% 15.82/8.53 Conjecture not found
% 15.82/8.54 Conjecture not found
% 15.84/8.56 Conjecture not found
% 15.84/8.56 Conjecture not found
% 15.84/8.58 Conjecture not found
% 15.84/8.58 Conjecture not found
% 15.84/8.59 Conjecture not found
% 15.84/8.59 Conjecture not found
% 16.07/8.65 Conjecture not found
% 16.12/8.73 Conjecture not found
% 16.33/8.74 Conjecture not found
% 16.36/8.77 Conjecture not found
% 16.36/8.80 Conjecture not found
% 16.36/8.82 Conjecture not found
% 16.42/8.83 Conjecture not found
% 16.42/8.85 Conjecture not found
% 16.44/8.88 Conjecture not found
% 16.68/8.93 Conjecture not found
% 16.68/8.97 Conjecture not found
% 16.73/9.00 Conjecture not found
% 16.73/9.05 Conjecture not found
% 17.22/9.21 Conjecture not found
% 17.29/9.28 Conjecture not found
% 17.29/9.32 Conjecture not found
% 17.29/9.32 Conjecture not found
% 17.50/9.37 Conjecture not found
% 17.58/9.41 Conjecture not found
% 17.63/9.44 Conjecture not found
% 17.63/9.45 Conjecture not found
% 17.84/9.53 Conjecture not found
% 17.84/9.58 Conjecture not found
% 17.91/9.61 Conjecture not found
% 17.91/9.68 Conjecture not found
% 18.18/9.74 Conjecture not found
% 18.18/9.75 Conjecture not found
% 18.41/9.81 Conjecture not found
% 18.41/9.87 Conjecture not found
% 18.53/9.93 Conjecture not found
% 18.87/10.05 Conjecture not found
% 18.87/10.07 Conjecture not found
% 18.87/10.10 Conjecture not found
% 18.87/10.12 Conjecture not found
% 18.96/10.14 Conjecture not found
% 19.19/10.26 Conjecture not found
% 19.27/10.32 Conjecture not found
% 19.27/10.33 Conjecture not found
% 19.53/10.38 Conjecture not found
% 19.95/10.63 Conjecture not found
% 20.05/10.69 Conjecture not found
% 20.28/10.75 Conjecture not found
% 20.28/10.79 Conjecture not found
% 20.34/10.81 Conjecture not found
% 20.34/10.82 Conjecture not found
% 20.40/10.87 Conjecture not found
% 20.40/10.96 Conjecture not found
% 20.71/11.02 Conjecture not found
% 20.75/11.09 Conjecture not found
% 20.98/11.12 Conjecture not found
% 21.04/11.26 Conjecture not found
% 21.36/11.32 Conjecture not found
% 21.47/11.38 Conjecture not found
% 21.47/11.43 Conjecture not found
% 21.56/11.46 Conjecture not found
% 21.56/11.47 Conjecture not found
% 21.60/11.53 Conjecture not found
% 21.60/11.54 Conjecture not found
% 21.84/11.56 Conjecture not found
% 21.89/11.61 Conjecture not found
% 21.89/11.64 Conjecture not found
% 21.93/11.66 Conjecture not found
% 21.93/11.70 Conjecture not found
% 22.27/11.79 Conjecture not found
% 22.27/11.80 Conjecture not found
% 22.27/11.82 Conjecture not found
% 22.27/11.85 Conjecture not found
% 22.65/12.00 Conjecture not found
% 22.65/12.02 Conjecture not found
% 22.72/12.05 Conjecture not found
% 22.72/12.06 Conjecture not found
% 22.72/12.06 Conjecture not found
% 22.76/12.06 Conjecture not found
% 22.76/12.07 Conjecture not found
% 23.01/12.14 Conjecture not found
% 23.01/12.15 Conjecture not found
% 23.01/12.16 Conjecture not found
% 23.04/12.22 Conjecture not found
% 23.12/12.29 Conjecture not found
% 23.44/12.39 Conjecture not found
% 23.44/12.40 Conjecture not found
% 23.79/12.54 Conjecture not found
% 23.92/12.67 Conjecture not found
% 23.92/12.69 Conjecture not found
% 23.92/12.75 Conjecture not found
% 24.25/12.76 Conjecture not found
% 24.25/12.77 Conjecture not found
% 24.32/12.85 Conjecture not found
% 24.61/12.95 Conjecture not found
% 24.67/12.98 Conjecture not found
% 24.67/13.00 Conjecture not found
% 24.98/13.11 Conjecture not found
% 25.00/13.16 Conjecture not found
% 25.00/13.17 Conjecture not found
% 25.10/13.22 Conjecture not found
% 25.10/13.26 Conjecture not found
% 25.10/13.29 Conjecture not found
% 25.38/13.35 Conjecture not found
% 25.50/13.42 Conjecture not found
% 25.50/13.44 Conjecture not found
% 25.50/13.45 Conjecture not found
% 25.50/13.50 Conjecture not found
% 25.78/13.57 Conjecture not found
% 25.78/13.58 Conjecture not found
% 25.92/13.64 Conjecture not found
% 25.92/13.68 Conjecture not found
% 26.01/13.71 Conjecture not found
% 26.01/13.77 Conjecture not found
% 26.30/13.82 Conjecture not found
% 26.30/13.84 Conjecture not found
% 26.41/13.89 Conjecture not found
% 26.43/13.95 Conjecture not found
% 26.76/14.07 Conjecture not found
% 26.85/14.08 Conjecture not found
% 26.85/14.13 Conjecture not found
% 26.85/14.14 Conjecture not found
% 26.85/14.17 Conjecture not found
% 26.85/14.17 Conjecture not found
% 27.16/14.19 Conjecture not found
% 27.20/14.22 Conjecture not found
% 27.20/14.23 Conjecture not found
% 27.27/14.31 Conjecture not found
% 27.27/14.37 Conjecture not found
% 27.35/14.45 Conjecture not found
% 27.67/14.48 Conjecture not found
% 27.67/14.49 Conjecture not found
% 27.71/14.55 Conjecture not found
% 27.71/14.56 Conjecture not found
% 27.71/14.57 Conjecture not found
% 27.79/14.65 Conjecture not found
% 28.11/14.68 Conjecture not found
% 28.11/14.73 Conjecture not found
% 28.11/14.79 Conjecture not found
% 28.25/14.81 Conjecture not found
% 28.27/14.85 Conjecture not found
% 28.74/15.09 Conjecture not found
% 28.89/15.16 Conjecture not found
% 28.89/15.18 Conjecture not found
% 29.14/15.26 Conjecture not found
% 29.14/15.27 Conjecture not found
% 29.21/15.32 Conjecture not found
% 29.54/15.37 Conjecture not found
% 29.64/15.48 Conjecture not found
% 29.71/15.51 Conjecture not found
% 29.71/15.52 Conjecture not found
% 29.71/15.54 Conjecture not found
% 29.71/15.57 Conjecture not found
% 29.77/15.61 Conjecture not found
% 30.18/15.72 Conjecture not found
% 30.22/15.73 Conjecture not found
% 30.22/15.73 Conjecture not found
% 30.23/15.74 Conjecture not found
% 30.23/15.78 Conjecture not found
% 30.23/15.79 Conjecture not found
% 30.30/15.84 Conjecture not found
% 30.73/15.98 Conjecture not found
% 30.78/16.04 Conjecture not found
% 30.78/16.06 Conjecture not found
% 30.78/16.08 Conjecture not found
% 30.78/16.09 Conjecture not found
% 30.88/16.14 Conjecture not found
% 30.88/16.19 Conjecture not found
% 31.21/16.20 Conjecture not found
% 31.21/16.23 Conjecture not found
% 31.21/16.26 Conjecture not found
% 31.30/16.30 Conjecture not found
% 31.35/16.33 Conjecture not found
% 31.35/16.35 Conjecture not found
% 31.62/16.48 Conjecture not found
% 31.80/16.52 Conjecture not found
% 31.80/16.53 Conjecture not found
% 31.90/16.60 Conjecture not found
% 31.90/16.62 Conjecture not found
% 31.90/16.67 Conjecture not found
% 32.20/16.72 Conjecture not found
% 32.20/16.74 Conjecture not found
% 32.20/16.75 Conjecture not found
% 32.20/16.78 Conjecture not found
% 32.39/16.79 Conjecture not found
% 32.48/16.89 Conjecture not found
% 32.48/16.89 Conjecture not found
% 32.48/16.90 Conjecture not found
% 32.49/16.95 Conjecture not found
% 32.49/17.01 Conjecture not found
% 32.91/17.05 Conjecture not found
% 32.91/17.08 Conjecture not found
% 33.00/17.13 Conjecture not found
% 33.00/17.17 Conjecture not found
% 33.10/17.22 Conjecture not found
% 33.10/17.24 Conjecture not found
% 33.44/17.30 Conjecture not found
% 33.44/17.33 Conjecture not found
% 33.44/17.35 Conjecture not found
% 33.44/17.37 Conjecture not found
% 33.61/17.41 Conjecture not found
% 33.61/17.45 Conjecture not found
% 33.61/17.48 Conjecture not found
% 33.70/17.52 Conjecture not found
% 33.70/17.52 Conjecture not found
% 34.00/17.60 Conjecture not found
% 34.00/17.68 Conjecture not found
% 34.18/17.70 Conjecture not found
% 34.21/17.72 Conjecture not found
% 34.22/17.74 Conjecture not found
% 34.22/17.78 Conjecture not found
% 34.22/17.79 Conjecture not found
% 34.30/17.81 Conjecture not found
% 34.30/17.84 Conjecture not found
% 34.30/17.86 Conjecture not found
% 34.47/17.90 Conjecture not found
% 34.47/17.95 Conjecture not found
% 34.79/17.99 Conjecture not found
% 34.83/18.07 Conjecture not found
% 34.83/18.09 Conjecture not found
% 34.98/18.16 Conjecture not found
% 35.30/18.25 Conjecture not found
% 35.45/18.38 Conjecture not found
% 35.45/18.42 Conjecture not found
% 35.85/18.50 Conjecture not found
% 35.85/18.53 Conjecture not found
% 35.85/18.55 Conjecture not found
% 36.06/18.57 Conjecture not found
% 36.06/18.59 Conjecture not found
% 36.09/18.62 Conjecture not found
% 36.12/18.64 Conjecture not found
% 36.12/18.65 Conjecture not found
% 36.12/18.67 Conjecture not found
% 36.12/18.69 Conjecture not found
% 36.21/18.73 Conjecture not found
% 36.41/18.83 Conjecture not found
% 36.41/18.87 Conjecture not found
% 36.70/18.91 Conjecture not found
% 36.74/18.93 Conjecture not found
% 36.74/18.95 Conjecture not found
% 36.82/19.01 Conjecture not found
% 36.89/19.11 Conjecture not found
% 36.89/19.14 Conjecture not found
% 37.25/19.18 Conjecture not found
% 37.38/19.29 Conjecture not found
% 37.46/19.34 Conjecture not found
% 37.46/19.37 Conjecture not found
% 37.54/19.40 Conjecture not found
% 37.54/19.42 Conjecture not found
% 37.84/19.49 Conjecture not found
% 37.99/19.51 Conjecture not found
% 38.04/19.53 Conjecture not found
% 38.04/19.58 Conjecture not found
% 38.13/19.62 Conjecture not found
% 38.13/19.64 Conjecture not found
% 38.13/19.66 Conjecture not found
% 38.13/19.67 Conjecture not found
% 38.21/19.72 Conjecture not found
% 38.21/19.76 Conjecture not found
% 38.43/19.82 Conjecture not found
% 38.81/19.92 Conjecture not found
% 38.91/20.04 Conjecture not found
% 38.91/20.05 Conjecture not found
% 38.91/20.08 Conjecture not found
% 38.91/20.09 Conjecture not found
% 39.01/20.11 Conjecture not found
% 39.01/20.13 Conjecture not found
% 39.01/20.13 Conjecture not found
% 39.21/20.25 Conjecture not found
% 39.21/20.27 Conjecture not found
% 39.21/20.29 Conjecture not found
% 39.56/20.32 Conjecture not found
% 39.56/20.33 Conjecture not found
% 39.56/20.36 Conjecture not found
% 39.56/20.39 Conjecture not found
% 39.65/20.40 Conjecture not found
% 39.65/20.43 Conjecture not found
% 39.65/20.47 Conjecture not found
% 39.82/20.51 Conjecture not found
% 39.82/20.59 Conjecture not found
% 39.82/20.60 Conjecture not found
% 39.82/20.61 Conjecture not found
% 40.22/20.62 Conjecture not found
% 40.22/20.66 Conjecture not found
% 40.32/20.71 Conjecture not found
% 40.32/20.74 Conjecture not found
% 40.32/20.78 Conjecture not found
% 40.43/20.81 Conjecture not found
% 40.43/20.83 Conjecture not found
% 40.43/20.88 Conjecture not found
% 40.88/20.98 Conjecture not found
% 40.97/21.01 Conjecture not found
% 40.97/21.04 Conjecture not found
% 40.97/21.08 Conjecture not found
% 41.08/21.10 Conjecture not found
% 41.10/21.14 Conjecture not found
% 41.51/21.22 Conjecture not found
% 41.51/21.25 Conjecture not found
% 41.69/21.30 Conjecture not found
% 41.69/21.33 Conjecture not found
% 41.69/21.35 Conjecture not found
% 41.69/21.37 Conjecture not found
% 41.78/21.39 Conjecture not found
% 41.78/21.41 Conjecture not found
% 41.78/21.45 Conjecture not found
% 41.78/21.48 Conjecture not found
% 41.92/21.53 Conjecture not found
% 41.92/21.54 Conjecture not found
% 41.92/21.57 Conjecture not found
% 42.29/21.64 Conjecture not found
% 42.49/21.68 Conjecture not found
% 42.49/21.70 Conjecture not found
% 42.49/21.73 Conjecture not found
% 42.49/21.74 Conjecture not found
% 42.49/21.75 Conjecture not found
% 42.59/21.79 Conjecture not found
% 42.59/21.81 Conjecture not found
% 42.63/21.84 Conjecture not found
% 42.63/21.89 Conjecture not found
% 42.63/21.89 Conjecture not found
% 42.72/21.97 Conjecture not found
% 43.09/21.99 Conjecture not found
% 43.09/22.02 Conjecture not found
% 43.09/22.04 Conjecture not found
% 43.27/22.09 Conjecture not found
% 43.29/22.11 Conjecture not found
% 43.32/22.14 Conjecture not found
% 43.32/22.17 Conjecture not found
% 43.32/22.19 Conjecture not found
% 43.40/22.23 Conjecture not found
% 43.47/22.28 Conjecture not found
% 43.79/22.40 Conjecture not found
% 44.02/22.44 Conjecture not found
% 44.02/22.46 Conjecture not found
% 44.02/22.48 Conjecture not found
% 44.13/22.58 Conjecture not found
% 44.22/22.60 Conjecture not found
% 44.22/22.62 Conjecture not found
% 44.22/22.65 Conjecture not found
% 44.36/22.73 Conjecture not found
% 44.36/22.77 Conjecture not found
% 44.94/22.95 Conjecture not found
% 44.94/22.96 Conjecture not found
% 45.08/23.02 Conjecture not found
% 45.09/23.03 Conjecture not found
% 45.09/23.04 Conjecture not found
% 45.09/23.05 Conjecture not found
% 45.09/23.08 Conjecture not found
% 45.17/23.12 Conjecture not found
% 45.17/23.15 Conjecture not found
% 45.17/23.17 Conjecture not found
% 45.25/23.23 Conjecture not found
% 45.80/23.32 Conjecture not found
% 45.80/23.33 Conjecture not found
% 45.80/23.35 Conjecture not found
% 45.80/23.39 Conjecture not found
% 45.80/23.40 Conjecture not found
% 45.90/23.45 Conjecture not found
% 45.90/23.47 Conjecture not found
% 45.98/23.50 Conjecture not found
% 45.98/23.52 Conjecture not found
% 46.12/23.64 Conjecture not found
% 46.12/23.68 Conjecture not found
% 46.62/23.70 Conjecture not found
% 46.64/23.72 Conjecture not found
% 46.64/23.76 Conjecture not found
% 46.64/23.77 Conjecture not found
% 46.64/23.78 Conjecture not found
% 46.64/23.80 Conjecture not found
% 46.74/23.88 Conjecture not found
% 46.82/23.92 Conjecture not found
% 46.82/23.95 Conjecture not found
% 47.37/24.02 Conjecture not found
% 47.37/24.04 Conjecture not found
% 47.37/24.07 Conjecture not found
% 47.49/24.10 Conjecture not found
% 47.49/24.12 Conjecture not found
% 47.49/24.13 Conjecture not found
% 47.49/24.16 Conjecture not found
% 47.49/24.19 Conjecture not found
% 47.59/24.23 Conjecture not found
% 47.59/24.25 Conjecture not found
% 47.59/24.26 Conjecture not found
% 47.59/24.29 Conjecture not found
% 47.68/24.30 Conjecture not found
% 47.68/24.32 Conjecture not found
% 47.68/24.38 Conjecture not found
% 47.78/24.39 Conjecture not found
% 47.78/24.40 Conjecture not found
% 47.78/24.41 Conjecture not found
% 47.78/24.43 Conjecture not found
% 47.78/24.47 Conjecture not found
% 48.38/24.51 Conjecture not found
% 48.38/24.54 Conjecture not found
% 48.38/24.56 Conjecture not found
% 48.38/24.58 Conjecture not found
% 48.49/24.62 Conjecture not found
% 48.49/24.64 Conjecture not found
% 48.49/24.65 Conjecture not found
% 48.49/24.66 Conjecture not found
% 48.59/24.72 Conjecture not found
% 48.59/24.73 Conjecture not found
% 48.69/24.82 Conjecture not found
% 48.69/24.83 Conjecture not found
% 48.69/24.84 Conjecture not found
% 49.36/25.06 Conjecture not found
% 49.36/25.08 Conjecture not found
% 49.45/25.11 Conjecture not found
% 49.45/25.12 Conjecture not found
% 49.45/25.17 Conjecture not found
% 49.54/25.21 Conjecture not found
% 49.54/25.24 Conjecture not found
% 49.54/25.27 Conjecture not found
% 49.65/25.31 Conjecture not found
% 50.36/25.48 Conjecture not found
% 50.36/25.49 Conjecture not found
% 50.36/25.56 Conjecture not found
% 50.45/25.58 Conjecture not found
% 50.47/25.61 Conjecture not found
% 50.49/25.62 Conjecture not found
% 50.50/25.63 Conjecture not found
% 50.50/25.64 Conjecture not found
% 50.50/25.67 Conjecture not found
% 50.50/25.69 Conjecture not found
% 50.50/25.70 Conjecture not found
% 50.59/25.72 Conjecture not found
% 50.59/25.75 Conjecture not found
% 50.59/25.76 Conjecture not found
% 50.70/25.80 Conjecture not found
% 50.70/25.84 Conjecture not found
% 51.33/25.92 Conjecture not found
% 51.35/25.94 Conjecture not found
% 51.35/25.97 Conjecture not found
% 51.35/26.00 Conjecture not found
% 51.45/26.03 Conjecture not found
% 51.45/26.06 Conjecture not found
% 51.45/26.08 Conjecture not found
% 51.51/26.09 Conjecture not found
% 51.51/26.12 Conjecture not found
% 52.05/26.23 Conjecture not found
% 52.57/26.57 Conjecture not found
% 52.57/26.59 Conjecture not found
% 52.90/26.65 Conjecture not found
% 52.90/26.69 Conjecture not found
% 53.27/26.70 Conjecture not found
% 53.27/26.71 Conjecture not found
% 53.27/26.72 Conjecture not found
% 53.27/26.73 Conjecture not found
% 53.27/26.74 Conjecture not found
% 53.27/26.75 Conjecture not found
% 53.27/26.76 Conjecture not found
% 53.37/26.80 Conjecture not found
% 53.39/26.87 Conjecture not found
% 53.49/26.92 Conjecture not found
% 53.49/26.98 Conjecture not found
% 53.88/27.06 Conjecture not found
% 53.88/27.08 Conjecture not found
% 54.16/27.09 Conjecture not found
% 54.19/27.14 Conjecture not found
% 54.19/27.15 Conjecture not found
% 54.19/27.17 Conjecture not found
% 54.19/27.18 Conjecture not found
% 54.19/27.20 Conjecture not found
% 54.27/27.24 Conjecture not found
% 54.27/27.27 Conjecture not found
% 54.35/27.30 Conjecture not found
% 54.35/27.33 Conjecture not found
% 54.35/27.34 Conjecture not found
% 54.44/27.39 Conjecture not found
% 54.67/27.43 Conjecture not found
% 54.67/27.45 Conjecture not found
% 54.67/27.47 Conjecture not found
% 55.13/27.52 Conjecture not found
% 55.13/27.54 Conjecture not found
% 55.13/27.55 Conjecture not found
% 55.22/27.62 Conjecture not found
% 55.22/27.62 Conjecture not found
% 55.22/27.64 Conjecture not found
% 55.22/27.66 Conjecture not found
% 55.22/27.67 Conjecture not found
% 55.32/27.69 Conjecture not found
% 55.34/27.72 Conjecture not found
% 55.34/27.73 Conjecture not found
% 55.43/27.81 Conjecture not found
% 55.43/27.85 Conjecture not found
% 55.43/27.86 Conjecture not found
% 55.43/27.88 Conjecture not found
% 56.20/28.03 Conjecture not found
% 56.20/28.03 Conjecture not found
% 56.20/28.07 Conjecture not found
% 56.20/28.09 Conjecture not found
% 56.28/28.20 Conjecture not found
% 56.38/28.22 Conjecture not found
% 56.38/28.25 Conjecture not found
% 56.38/28.29 Conjecture not found
% 56.49/28.32 Conjecture not found
% 56.49/28.34 Conjecture not found
% 56.49/28.39 Conjecture not found
% 56.59/28.47 Conjecture not found
% 57.35/28.59 Conjecture not found
% 57.35/28.62 Conjecture not found
% 57.35/28.64 Conjecture not found
% 57.47/28.72 Conjecture not found
% 57.47/28.77 Conjecture not found
% 57.47/28.81 Start search
% 122.96/44.54 nb_step : 1 - limit : 133915
% 124.24/45.18 Launch Gotab with destructive = true
%------------------------------------------------------------------------------