TSTP Solution File: LAT370+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT370+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n028.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.18s 88.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : LAT370+4 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.32 % Computer : n028.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 300
% 0.12/0.32 % DateTime : Thu Sep 1 16:30:14 EDT 2022
% 0.12/0.32 % CPUTime :
% 0.12/0.33 [DMT] DMT loaded with preskolemization
% 0.12/0.33 [EQ] equality loaded.
% 0.12/0.33 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.50 Conjecture not found
% 0.18/0.50 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.58/0.59 Conjecture not found
% 0.62/0.61 Conjecture not found
% 0.66/0.63 Conjecture not found
% 0.66/0.68 Conjecture not found
% 0.81/0.75 Conjecture not found
% 0.81/0.76 Conjecture not found
% 0.93/0.84 Conjecture not found
% 1.07/0.89 Conjecture not found
% 1.17/0.97 Conjecture not found
% 1.17/1.00 Conjecture not found
% 1.32/1.07 Conjecture not found
% 1.44/1.11 Conjecture not found
% 1.44/1.17 Conjecture not found
% 1.61/1.19 Conjecture not found
% 1.66/1.22 Conjecture not found
% 1.66/1.24 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.66/1.26 Conjecture not found
% 1.80/1.36 Conjecture not found
% 1.92/1.39 Conjecture not found
% 1.92/1.39 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.43 Conjecture not found
% 1.92/1.43 Conjecture not found
% 2.08/1.48 Conjecture not found
% 2.20/1.53 Conjecture not found
% 2.20/1.53 Conjecture not found
% 2.20/1.54 Conjecture not found
% 2.20/1.55 Conjecture not found
% 2.20/1.57 Conjecture not found
% 2.20/1.58 Conjecture not found
% 2.20/1.60 Conjecture not found
% 2.32/1.62 Conjecture not found
% 2.32/1.64 Conjecture not found
% 2.32/1.66 Conjecture not found
% 2.32/1.66 Conjecture not found
% 2.32/1.68 Conjecture not found
% 2.46/1.71 Conjecture not found
% 2.46/1.77 Conjecture not found
% 2.69/1.83 Conjecture not found
% 2.69/1.83 Conjecture not found
% 2.69/1.86 Conjecture not found
% 2.69/1.88 Conjecture not found
% 2.85/1.91 Conjecture not found
% 2.85/1.93 Conjecture not found
% 2.85/1.95 Conjecture not found
% 2.97/2.04 Conjecture not found
% 3.13/2.08 Conjecture not found
% 3.14/2.10 Conjecture not found
% 3.17/2.12 Conjecture not found
% 3.21/2.14 Conjecture not found
% 3.21/2.15 Conjecture not found
% 3.51/2.34 Conjecture not found
% 3.51/2.37 Conjecture not found
% 3.64/2.39 Conjecture not found
% 3.84/2.51 Conjecture not found
% 3.84/2.52 Conjecture not found
% 3.84/2.53 Conjecture not found
% 3.84/2.56 Conjecture not found
% 3.98/2.60 Conjecture not found
% 3.98/2.66 Conjecture not found
% 4.18/2.73 Conjecture not found
% 4.18/2.80 Conjecture not found
% 4.37/2.85 Conjecture not found
% 4.37/2.87 Conjecture not found
% 4.37/2.90 Conjecture not found
% 4.37/2.90 Conjecture not found
% 4.55/2.94 Conjecture not found
% 4.55/2.96 Conjecture not found
% 4.55/2.98 Conjecture not found
% 4.55/2.99 Conjecture not found
% 4.73/3.04 Conjecture not found
% 4.73/3.05 Conjecture not found
% 4.73/3.09 Conjecture not found
% 4.92/3.15 Conjecture not found
% 5.07/3.26 Conjecture not found
% 5.44/3.40 Conjecture not found
% 5.84/3.61 Conjecture not found
% 6.44/3.92 Conjecture not found
% 6.46/3.94 Conjecture not found
% 6.46/3.97 Conjecture not found
% 6.75/4.09 Conjecture not found
% 6.75/4.12 Conjecture not found
% 6.75/4.18 Conjecture not found
% 6.96/4.25 Conjecture not found
% 6.96/4.29 Conjecture not found
% 7.20/4.35 Conjecture not found
% 7.20/4.39 Conjecture not found
% 7.27/4.41 Conjecture not found
% 7.27/4.42 Conjecture not found
% 7.27/4.45 Conjecture not found
% 7.27/4.46 Conjecture not found
% 7.57/4.55 Conjecture not found
% 7.73/4.63 Conjecture not found
% 7.73/4.68 Conjecture not found
% 8.04/4.79 Conjecture not found
% 8.07/4.82 Conjecture not found
% 8.08/4.86 Conjecture not found
% 8.08/4.88 Conjecture not found
% 8.08/4.90 Conjecture not found
% 8.24/4.93 Conjecture not found
% 8.24/4.96 Conjecture not found
% 8.24/4.97 Conjecture not found
% 8.31/5.01 Conjecture not found
% 8.31/5.01 Conjecture not found
% 8.31/5.02 Conjecture not found
% 8.31/5.04 Conjecture not found
% 8.49/5.09 Conjecture not found
% 8.49/5.11 Conjecture not found
% 8.62/5.15 Conjecture not found
% 8.62/5.20 Conjecture not found
% 9.06/5.41 Conjecture not found
% 9.06/5.46 Conjecture not found
% 9.06/5.47 Conjecture not found
% 9.06/5.49 Conjecture not found
% 9.24/5.52 Conjecture not found
% 9.24/5.56 Conjecture not found
% 9.33/5.60 Conjecture not found
% 9.33/5.61 Conjecture not found
% 9.33/5.65 Conjecture not found
% 9.33/5.67 Conjecture not found
% 9.53/5.75 Conjecture not found
% 10.57/6.30 Conjecture not found
% 11.41/6.81 Conjecture not found
% 11.63/6.93 Conjecture not found
% 11.63/6.98 Conjecture not found
% 11.63/6.99 Conjecture not found
% 11.81/7.02 Conjecture not found
% 11.81/7.08 Conjecture not found
% 11.81/7.09 Conjecture not found
% 11.90/7.10 Conjecture not found
% 11.90/7.15 Conjecture not found
% 11.90/7.18 Conjecture not found
% 12.21/7.22 Conjecture not found
% 12.21/7.25 Conjecture not found
% 12.21/7.25 Conjecture not found
% 12.21/7.28 Conjecture not found
% 12.34/7.32 Conjecture not found
% 12.34/7.37 Conjecture not found
% 12.49/7.41 Conjecture not found
% 12.49/7.46 Conjecture not found
% 12.68/7.48 Conjecture not found
% 12.70/7.51 Conjecture not found
% 12.71/7.54 Conjecture not found
% 12.71/7.55 Conjecture not found
% 12.91/7.61 Conjecture not found
% 12.91/7.64 Conjecture not found
% 12.91/7.65 Conjecture not found
% 13.10/7.70 Conjecture not found
% 13.10/7.76 Conjecture not found
% 13.10/7.78 Conjecture not found
% 13.10/7.79 Conjecture not found
% 13.21/7.81 Conjecture not found
% 13.24/7.83 Conjecture not found
% 13.24/7.85 Conjecture not found
% 13.24/7.88 Conjecture not found
% 13.24/7.90 Conjecture not found
% 13.43/7.92 Conjecture not found
% 13.43/7.93 Conjecture not found
% 13.43/7.97 Conjecture not found
% 13.62/8.00 Conjecture not found
% 13.62/8.03 Conjecture not found
% 13.62/8.05 Conjecture not found
% 13.62/8.07 Conjecture not found
% 13.70/8.08 Conjecture not found
% 13.70/8.09 Conjecture not found
% 13.86/8.12 Conjecture not found
% 13.86/8.16 Conjecture not found
% 13.86/8.17 Conjecture not found
% 13.96/8.21 Conjecture not found
% 13.96/8.24 Conjecture not found
% 13.96/8.26 Conjecture not found
% 14.16/8.31 Conjecture not found
% 14.16/8.32 Conjecture not found
% 14.16/8.35 Conjecture not found
% 14.16/8.39 Conjecture not found
% 14.26/8.39 Conjecture not found
% 14.38/8.42 Conjecture not found
% 14.38/8.43 Conjecture not found
% 14.38/8.44 Conjecture not found
% 14.38/8.45 Conjecture not found
% 14.38/8.45 Conjecture not found
% 14.38/8.45 Conjecture not found
% 14.38/8.48 Conjecture not found
% 14.48/8.58 Conjecture not found
% 14.69/8.59 Conjecture not found
% 14.69/8.62 Conjecture not found
% 14.69/8.63 Conjecture not found
% 14.69/8.64 Conjecture not found
% 14.69/8.67 Conjecture not found
% 14.91/8.69 Conjecture not found
% 14.97/8.73 Conjecture not found
% 14.97/8.78 Conjecture not found
% 15.05/8.81 Conjecture not found
% 15.05/8.85 Conjecture not found
% 15.05/8.88 Conjecture not found
% 15.52/9.00 Conjecture not found
% 15.54/9.05 Conjecture not found
% 15.76/9.10 Conjecture not found
% 15.76/9.11 Conjecture not found
% 15.76/9.15 Conjecture not found
% 15.85/9.19 Conjecture not found
% 15.85/9.22 Conjecture not found
% 15.85/9.25 Conjecture not found
% 16.08/9.31 Conjecture not found
% 16.10/9.36 Conjecture not found
% 16.33/9.42 Conjecture not found
% 16.33/9.47 Conjecture not found
% 16.43/9.53 Conjecture not found
% 16.43/9.56 Conjecture not found
% 16.70/9.62 Conjecture not found
% 16.70/9.67 Conjecture not found
% 16.78/9.75 Conjecture not found
% 17.12/9.88 Conjecture not found
% 17.14/9.89 Conjecture not found
% 17.15/9.92 Conjecture not found
% 17.15/9.95 Conjecture not found
% 17.15/9.98 Conjecture not found
% 17.42/10.05 Conjecture not found
% 17.54/10.13 Conjecture not found
% 17.54/10.15 Conjecture not found
% 17.54/10.19 Conjecture not found
% 18.14/10.44 Conjecture not found
% 18.42/10.51 Conjecture not found
% 18.42/10.54 Conjecture not found
% 18.42/10.56 Conjecture not found
% 18.42/10.58 Conjecture not found
% 18.42/10.58 Conjecture not found
% 18.52/10.65 Conjecture not found
% 18.77/10.74 Conjecture not found
% 18.88/10.82 Conjecture not found
% 19.17/10.92 Conjecture not found
% 19.17/10.95 Conjecture not found
% 19.24/11.06 Conjecture not found
% 19.55/11.14 Conjecture not found
% 19.55/11.18 Conjecture not found
% 19.65/11.22 Conjecture not found
% 19.65/11.27 Conjecture not found
% 19.91/11.29 Conjecture not found
% 19.91/11.32 Conjecture not found
% 19.91/11.33 Conjecture not found
% 19.91/11.34 Conjecture not found
% 19.91/11.38 Conjecture not found
% 20.01/11.41 Conjecture not found
% 20.04/11.43 Conjecture not found
% 20.04/11.47 Conjecture not found
% 20.31/11.53 Conjecture not found
% 20.31/11.53 Conjecture not found
% 20.31/11.55 Conjecture not found
% 20.38/11.58 Conjecture not found
% 20.69/11.72 Conjecture not found
% 20.72/11.73 Conjecture not found
% 20.72/11.76 Conjecture not found
% 20.72/11.77 Conjecture not found
% 20.72/11.77 Conjecture not found
% 20.72/11.78 Conjecture not found
% 20.72/11.79 Conjecture not found
% 20.82/11.87 Conjecture not found
% 21.06/11.90 Conjecture not found
% 21.06/11.92 Conjecture not found
% 21.06/11.98 Conjecture not found
% 21.18/12.06 Conjecture not found
% 21.46/12.15 Conjecture not found
% 21.46/12.17 Conjecture not found
% 21.86/12.31 Conjecture not found
% 21.96/12.44 Conjecture not found
% 21.96/12.48 Conjecture not found
% 22.24/12.55 Conjecture not found
% 22.24/12.57 Conjecture not found
% 22.33/12.59 Conjecture not found
% 22.35/12.68 Conjecture not found
% 22.63/12.78 Conjecture not found
% 22.72/12.81 Conjecture not found
% 22.72/12.83 Conjecture not found
% 23.03/12.94 Conjecture not found
% 23.03/12.96 Conjecture not found
% 23.03/12.97 Conjecture not found
% 23.14/13.01 Conjecture not found
% 23.14/13.06 Conjecture not found
% 23.14/13.07 Conjecture not found
% 23.45/13.13 Conjecture not found
% 23.45/13.19 Conjecture not found
% 23.56/13.21 Conjecture not found
% 23.56/13.22 Conjecture not found
% 23.56/13.29 Conjecture not found
% 23.88/13.34 Conjecture not found
% 23.88/13.34 Conjecture not found
% 23.88/13.38 Conjecture not found
% 23.97/13.41 Conjecture not found
% 23.97/13.44 Conjecture not found
% 24.28/13.51 Conjecture not found
% 24.29/13.57 Conjecture not found
% 24.29/13.58 Conjecture not found
% 24.39/13.63 Conjecture not found
% 24.68/13.72 Conjecture not found
% 24.81/13.82 Conjecture not found
% 24.82/13.83 Conjecture not found
% 24.82/13.89 Conjecture not found
% 24.93/13.94 Conjecture not found
% 24.93/13.95 Conjecture not found
% 24.93/13.96 Conjecture not found
% 24.93/13.97 Conjecture not found
% 24.93/13.98 Conjecture not found
% 25.21/13.99 Conjecture not found
% 25.21/14.06 Conjecture not found
% 25.34/14.12 Conjecture not found
% 25.34/14.19 Conjecture not found
% 25.65/14.21 Conjecture not found
% 25.65/14.21 Conjecture not found
% 25.65/14.25 Conjecture not found
% 25.65/14.26 Conjecture not found
% 25.65/14.27 Conjecture not found
% 25.73/14.37 Conjecture not found
% 26.05/14.41 Conjecture not found
% 26.07/14.47 Conjecture not found
% 26.17/14.53 Conjecture not found
% 26.17/14.56 Conjecture not found
% 26.17/14.59 Conjecture not found
% 26.71/14.83 Conjecture not found
% 27.02/14.93 Conjecture not found
% 27.02/14.95 Conjecture not found
% 27.15/15.03 Conjecture not found
% 27.15/15.05 Conjecture not found
% 27.15/15.10 Conjecture not found
% 27.51/15.13 Conjecture not found
% 27.59/15.21 Conjecture not found
% 27.59/15.25 Conjecture not found
% 27.59/15.25 Conjecture not found
% 27.66/15.27 Conjecture not found
% 27.66/15.30 Conjecture not found
% 27.66/15.37 Conjecture not found
% 28.06/15.46 Conjecture not found
% 28.06/15.47 Conjecture not found
% 28.06/15.47 Conjecture not found
% 28.06/15.48 Conjecture not found
% 28.06/15.52 Conjecture not found
% 28.16/15.53 Conjecture not found
% 28.16/15.59 Conjecture not found
% 28.58/15.72 Conjecture not found
% 28.58/15.77 Conjecture not found
% 28.68/15.80 Conjecture not found
% 28.68/15.81 Conjecture not found
% 28.71/15.82 Conjecture not found
% 28.71/15.89 Conjecture not found
% 29.05/15.92 Conjecture not found
% 29.05/15.93 Conjecture not found
% 29.05/15.95 Conjecture not found
% 29.05/15.97 Conjecture not found
% 29.13/16.00 Conjecture not found
% 29.13/16.03 Conjecture not found
% 29.13/16.04 Conjecture not found
% 29.56/16.16 Conjecture not found
% 29.56/16.19 Conjecture not found
% 29.56/16.20 Conjecture not found
% 29.64/16.28 Conjecture not found
% 29.72/16.31 Conjecture not found
% 29.98/16.40 Conjecture not found
% 30.10/16.42 Conjecture not found
% 30.10/16.44 Conjecture not found
% 30.10/16.45 Conjecture not found
% 30.10/16.48 Conjecture not found
% 30.10/16.49 Conjecture not found
% 30.20/16.59 Conjecture not found
% 30.28/16.59 Conjecture not found
% 30.28/16.60 Conjecture not found
% 30.28/16.66 Conjecture not found
% 30.66/16.71 Conjecture not found
% 30.68/16.74 Conjecture not found
% 30.68/16.76 Conjecture not found
% 30.68/16.79 Conjecture not found
% 30.78/16.82 Conjecture not found
% 30.78/16.86 Conjecture not found
% 30.78/16.89 Conjecture not found
% 30.91/16.97 Conjecture not found
% 31.18/17.03 Conjecture not found
% 31.18/17.04 Conjecture not found
% 31.18/17.05 Conjecture not found
% 31.18/17.08 Conjecture not found
% 31.31/17.12 Conjecture not found
% 31.31/17.15 Conjecture not found
% 31.31/17.18 Conjecture not found
% 31.31/17.19 Conjecture not found
% 31.41/17.24 Conjecture not found
% 31.53/17.29 Conjecture not found
% 31.53/17.37 Conjecture not found
% 31.83/17.41 Conjecture not found
% 31.83/17.45 Conjecture not found
% 31.83/17.49 Conjecture not found
% 31.94/17.50 Conjecture not found
% 31.94/17.52 Conjecture not found
% 31.94/17.56 Conjecture not found
% 31.94/17.58 Conjecture not found
% 31.94/17.59 Conjecture not found
% 32.04/17.64 Conjecture not found
% 32.37/17.75 Conjecture not found
% 32.56/17.87 Conjecture not found
% 32.56/17.89 Conjecture not found
% 32.64/17.93 Conjecture not found
% 32.73/18.00 Conjecture not found
% 33.16/18.12 Conjecture not found
% 33.16/18.15 Conjecture not found
% 33.25/18.20 Conjecture not found
% 33.25/18.22 Conjecture not found
% 33.25/18.22 Conjecture not found
% 33.25/18.23 Conjecture not found
% 33.25/18.24 Conjecture not found
% 33.25/18.26 Conjecture not found
% 33.52/18.32 Conjecture not found
% 33.52/18.33 Conjecture not found
% 33.52/18.36 Conjecture not found
% 33.52/18.38 Conjecture not found
% 33.78/18.42 Conjecture not found
% 33.80/18.48 Conjecture not found
% 33.80/18.51 Conjecture not found
% 33.87/18.54 Conjecture not found
% 33.87/18.56 Conjecture not found
% 33.87/18.57 Conjecture not found
% 33.94/18.66 Conjecture not found
% 34.42/18.73 Conjecture not found
% 34.43/18.75 Conjecture not found
% 34.43/18.76 Conjecture not found
% 34.51/18.83 Conjecture not found
% 34.89/18.90 Conjecture not found
% 34.89/18.92 Conjecture not found
% 34.89/18.94 Conjecture not found
% 34.89/18.95 Conjecture not found
% 35.02/19.00 Conjecture not found
% 35.02/19.01 Conjecture not found
% 35.02/19.02 Conjecture not found
% 35.06/19.05 Conjecture not found
% 35.06/19.07 Conjecture not found
% 35.06/19.09 Conjecture not found
% 35.06/19.13 Conjecture not found
% 35.51/19.14 Conjecture not found
% 35.51/19.19 Conjecture not found
% 35.57/19.23 Conjecture not found
% 35.63/19.28 Conjecture not found
% 35.63/19.32 Conjecture not found
% 36.17/19.48 Conjecture not found
% 36.17/19.49 Conjecture not found
% 36.17/19.51 Conjecture not found
% 36.17/19.52 Conjecture not found
% 36.27/19.54 Conjecture not found
% 36.27/19.56 Conjecture not found
% 36.27/19.56 Conjecture not found
% 36.33/19.65 Conjecture not found
% 36.33/19.66 Conjecture not found
% 36.41/19.68 Conjecture not found
% 36.41/19.72 Conjecture not found
% 36.41/19.73 Conjecture not found
% 36.82/19.78 Conjecture not found
% 36.91/19.82 Conjecture not found
% 36.91/19.83 Conjecture not found
% 36.93/19.86 Conjecture not found
% 36.93/19.90 Conjecture not found
% 37.01/19.92 Conjecture not found
% 37.01/19.96 Conjecture not found
% 37.01/19.97 Conjecture not found
% 37.08/19.98 Conjecture not found
% 37.08/19.99 Conjecture not found
% 37.08/20.05 Conjecture not found
% 37.59/20.18 Conjecture not found
% 37.59/20.21 Conjecture not found
% 37.67/20.26 Conjecture not found
% 37.74/20.30 Conjecture not found
% 37.74/20.31 Conjecture not found
% 37.74/20.33 Conjecture not found
% 37.84/20.40 Conjecture not found
% 37.87/20.48 Conjecture not found
% 37.87/20.50 Conjecture not found
% 38.32/20.53 Conjecture not found
% 38.32/20.55 Conjecture not found
% 38.32/20.58 Conjecture not found
% 38.40/20.60 Conjecture not found
% 38.40/20.62 Conjecture not found
% 38.40/20.65 Conjecture not found
% 38.40/20.67 Conjecture not found
% 38.63/20.70 Conjecture not found
% 38.78/20.75 Conjecture not found
% 38.78/20.78 Conjecture not found
% 38.78/20.79 Conjecture not found
% 38.78/20.82 Conjecture not found
% 39.02/20.84 Conjecture not found
% 39.02/20.88 Conjecture not found
% 39.02/20.89 Conjecture not found
% 39.10/20.91 Conjecture not found
% 39.10/20.94 Conjecture not found
% 39.10/20.96 Conjecture not found
% 39.10/20.98 Conjecture not found
% 39.18/21.01 Conjecture not found
% 39.18/21.02 Conjecture not found
% 39.18/21.06 Conjecture not found
% 39.71/21.12 Conjecture not found
% 39.71/21.13 Conjecture not found
% 39.71/21.16 Conjecture not found
% 39.71/21.20 Conjecture not found
% 39.80/21.21 Conjecture not found
% 39.80/21.28 Conjecture not found
% 39.80/21.29 Conjecture not found
% 39.88/21.30 Conjecture not found
% 39.88/21.32 Conjecture not found
% 39.88/21.36 Conjecture not found
% 40.17/21.39 Conjecture not found
% 40.44/21.43 Conjecture not found
% 40.44/21.46 Conjecture not found
% 40.44/21.48 Conjecture not found
% 40.44/21.52 Conjecture not found
% 40.55/21.56 Conjecture not found
% 40.61/21.64 Conjecture not found
% 40.61/21.65 Conjecture not found
% 40.61/21.66 Conjecture not found
% 40.69/21.67 Conjecture not found
% 40.95/21.79 Conjecture not found
% 40.95/21.81 Conjecture not found
% 41.26/21.83 Conjecture not found
% 41.26/21.86 Conjecture not found
% 41.33/21.92 Conjecture not found
% 41.33/21.95 Conjecture not found
% 41.59/22.07 Conjecture not found
% 41.59/22.09 Conjecture not found
% 42.00/22.18 Conjecture not found
% 42.05/22.18 Conjecture not found
% 42.05/22.19 Conjecture not found
% 42.05/22.20 Conjecture not found
% 42.05/22.22 Conjecture not found
% 42.13/22.25 Conjecture not found
% 42.15/22.27 Conjecture not found
% 42.15/22.29 Conjecture not found
% 42.15/22.31 Conjecture not found
% 42.22/22.36 Conjecture not found
% 42.22/22.37 Conjecture not found
% 42.67/22.43 Conjecture not found
% 42.79/22.50 Conjecture not found
% 42.79/22.52 Conjecture not found
% 42.87/22.57 Conjecture not found
% 42.90/22.61 Conjecture not found
% 42.96/22.65 Conjecture not found
% 42.96/22.67 Conjecture not found
% 43.08/22.76 Conjecture not found
% 43.08/22.80 Conjecture not found
% 43.08/22.83 Conjecture not found
% 43.54/22.89 Conjecture not found
% 43.72/22.96 Conjecture not found
% 43.72/22.97 Conjecture not found
% 43.72/22.99 Conjecture not found
% 43.79/23.02 Conjecture not found
% 43.84/23.10 Conjecture not found
% 43.84/23.13 Conjecture not found
% 43.84/23.14 Conjecture not found
% 43.93/23.17 Conjecture not found
% 43.93/23.18 Conjecture not found
% 43.97/23.20 Conjecture not found
% 43.97/23.23 Conjecture not found
% 44.18/23.26 Conjecture not found
% 44.18/23.27 Conjecture not found
% 44.53/23.33 Conjecture not found
% 44.59/23.36 Conjecture not found
% 44.59/23.40 Conjecture not found
% 44.59/23.42 Conjecture not found
% 44.59/23.43 Conjecture not found
% 44.59/23.45 Conjecture not found
% 44.69/23.46 Conjecture not found
% 44.69/23.48 Conjecture not found
% 44.77/23.54 Conjecture not found
% 44.77/23.56 Conjecture not found
% 44.77/23.56 Conjecture not found
% 44.77/23.57 Conjecture not found
% 44.77/23.59 Conjecture not found
% 44.77/23.61 Conjecture not found
% 44.84/23.63 Conjecture not found
% 44.84/23.65 Conjecture not found
% 44.84/23.67 Conjecture not found
% 45.06/23.73 Conjecture not found
% 45.47/23.79 Conjecture not found
% 45.49/23.80 Conjecture not found
% 45.49/23.81 Conjecture not found
% 45.51/23.83 Conjecture not found
% 45.51/23.88 Conjecture not found
% 45.51/23.89 Conjecture not found
% 45.67/23.99 Conjecture not found
% 45.67/23.99 Conjecture not found
% 45.67/24.01 Conjecture not found
% 45.85/24.20 Conjecture not found
% 46.37/24.22 Conjecture not found
% 46.37/24.24 Conjecture not found
% 46.37/24.25 Conjecture not found
% 46.37/24.28 Conjecture not found
% 46.45/24.31 Conjecture not found
% 46.45/24.34 Conjecture not found
% 46.45/24.37 Conjecture not found
% 46.55/24.40 Conjecture not found
% 47.02/24.52 Conjecture not found
% 47.02/24.53 Conjecture not found
% 47.02/24.58 Conjecture not found
% 47.23/24.59 Conjecture not found
% 47.23/24.62 Conjecture not found
% 47.23/24.63 Conjecture not found
% 47.23/24.64 Conjecture not found
% 47.23/24.65 Conjecture not found
% 47.23/24.67 Conjecture not found
% 47.32/24.68 Conjecture not found
% 47.33/24.69 Conjecture not found
% 47.33/24.70 Conjecture not found
% 47.37/24.75 Conjecture not found
% 47.37/24.78 Conjecture not found
% 47.45/24.82 Conjecture not found
% 47.45/24.84 Conjecture not found
% 47.53/24.96 Conjecture not found
% 48.14/25.02 Conjecture not found
% 48.17/25.05 Conjecture not found
% 48.17/25.09 Conjecture not found
% 48.26/25.13 Conjecture not found
% 48.26/25.17 Conjecture not found
% 48.33/25.19 Conjecture not found
% 48.33/25.21 Conjecture not found
% 48.33/25.25 Conjecture not found
% 48.46/25.32 Conjecture not found
% 49.42/25.82 Conjecture not found
% 49.42/25.83 Conjecture not found
% 49.42/25.86 Conjecture not found
% 49.51/25.89 Conjecture not found
% 49.64/25.94 Conjecture not found
% 49.99/25.96 Conjecture not found
% 49.99/25.97 Conjecture not found
% 49.99/25.99 Conjecture not found
% 49.99/26.00 Conjecture not found
% 49.99/26.01 Conjecture not found
% 49.99/26.03 Conjecture not found
% 50.19/26.08 Conjecture not found
% 50.30/26.17 Conjecture not found
% 50.35/26.22 Conjecture not found
% 50.39/26.25 Conjecture not found
% 50.39/26.28 Conjecture not found
% 50.39/26.30 Conjecture not found
% 50.39/26.31 Conjecture not found
% 50.75/26.39 Conjecture not found
% 51.08/26.41 Conjecture not found
% 51.08/26.44 Conjecture not found
% 51.08/26.46 Conjecture not found
% 51.16/26.48 Conjecture not found
% 51.21/26.54 Conjecture not found
% 51.24/26.57 Conjecture not found
% 51.24/26.61 Conjecture not found
% 51.32/26.66 Conjecture not found
% 51.32/26.66 Conjecture not found
% 51.37/26.72 Conjecture not found
% 51.44/26.76 Conjecture not found
% 51.46/26.77 Conjecture not found
% 51.46/26.78 Conjecture not found
% 51.80/26.84 Conjecture not found
% 52.02/26.86 Conjecture not found
% 52.02/26.87 Conjecture not found
% 52.02/26.92 Conjecture not found
% 52.02/26.92 Conjecture not found
% 52.17/26.93 Conjecture not found
% 52.17/26.95 Conjecture not found
% 52.17/26.96 Conjecture not found
% 52.17/26.97 Conjecture not found
% 52.17/26.99 Conjecture not found
% 52.24/27.01 Conjecture not found
% 52.24/27.07 Conjecture not found
% 52.34/27.09 Conjecture not found
% 52.34/27.10 Conjecture not found
% 52.36/27.12 Conjecture not found
% 52.36/27.18 Conjecture not found
% 52.36/27.19 Conjecture not found
% 52.57/27.25 Conjecture not found
% 53.08/27.29 Conjecture not found
% 53.19/27.39 Conjecture not found
% 53.21/27.41 Conjecture not found
% 53.23/27.44 Conjecture not found
% 53.23/27.48 Conjecture not found
% 53.23/27.51 Conjecture not found
% 53.33/27.53 Conjecture not found
% 53.33/27.58 Conjecture not found
% 53.41/27.65 Conjecture not found
% 53.93/27.76 Conjecture not found
% 53.93/27.78 Conjecture not found
% 53.93/27.80 Conjecture not found
% 54.21/27.88 Conjecture not found
% 54.30/27.93 Conjecture not found
% 54.30/27.97 Start search
% 120.96/43.83 nb_step : 1 - limit : 133967
% 121.49/44.35 Launch Gotab with destructive = true
%------------------------------------------------------------------------------