TSTP Solution File: LAT353+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT353+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n002.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:14 EDT 2022
% Result : Timeout 300.20s 89.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT353+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n002.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 15:52:53 EDT 2022
% 0.13/0.33 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.37 Conjecture not found
% 0.19/0.37 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.53 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.49/0.56 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.52/0.60 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.66/0.72 Conjecture not found
% 0.66/0.72 Conjecture not found
% 0.86/0.80 Conjecture not found
% 0.97/0.85 Conjecture not found
% 1.12/0.94 Conjecture not found
% 1.17/0.98 Conjecture not found
% 1.30/1.05 Conjecture not found
% 1.38/1.09 Conjecture not found
% 1.38/1.14 Conjecture not found
% 1.50/1.17 Conjecture not found
% 1.54/1.21 Conjecture not found
% 1.54/1.22 Conjecture not found
% 1.54/1.23 Conjecture not found
% 1.61/1.23 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.74/1.34 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.41 Conjecture not found
% 1.84/1.41 Conjecture not found
% 1.99/1.46 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.52 Conjecture not found
% 2.13/1.53 Conjecture not found
% 2.14/1.55 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.14/1.59 Conjecture not found
% 2.14/1.60 Conjecture not found
% 2.30/1.63 Conjecture not found
% 2.30/1.63 Conjecture not found
% 2.30/1.64 Conjecture not found
% 2.30/1.68 Conjecture not found
% 2.40/1.73 Conjecture not found
% 2.57/1.79 Conjecture not found
% 2.57/1.79 Conjecture not found
% 2.63/1.82 Conjecture not found
% 2.64/1.84 Conjecture not found
% 2.64/1.87 Conjecture not found
% 2.64/1.88 Conjecture not found
% 2.64/1.90 Conjecture not found
% 2.89/1.99 Conjecture not found
% 2.89/2.02 Conjecture not found
% 2.89/2.04 Conjecture not found
% 2.89/2.06 Conjecture not found
% 3.05/2.08 Conjecture not found
% 3.07/2.09 Conjecture not found
% 3.32/2.26 Conjecture not found
% 3.32/2.29 Conjecture not found
% 3.43/2.32 Conjecture not found
% 3.64/2.43 Conjecture not found
% 3.64/2.45 Conjecture not found
% 3.64/2.46 Conjecture not found
% 3.64/2.48 Conjecture not found
% 3.84/2.53 Conjecture not found
% 3.84/2.59 Conjecture not found
% 4.08/2.67 Conjecture not found
% 4.19/2.76 Conjecture not found
% 4.19/2.81 Conjecture not found
% 4.19/2.82 Conjecture not found
% 4.38/2.85 Conjecture not found
% 4.38/2.85 Conjecture not found
% 4.38/2.89 Conjecture not found
% 4.43/2.91 Conjecture not found
% 4.43/2.93 Conjecture not found
% 4.43/2.94 Conjecture not found
% 4.53/2.99 Conjecture not found
% 4.63/3.01 Conjecture not found
% 4.63/3.04 Conjecture not found
% 4.71/3.11 Conjecture not found
% 5.00/3.20 Conjecture not found
% 5.27/3.36 Conjecture not found
% 5.56/3.60 Conjecture not found
% 6.15/3.91 Conjecture not found
% 6.27/3.94 Conjecture not found
% 6.31/3.97 Conjecture not found
% 6.49/4.08 Conjecture not found
% 6.49/4.12 Conjecture not found
% 6.64/4.17 Conjecture not found
% 6.77/4.24 Conjecture not found
% 6.87/4.29 Conjecture not found
% 6.94/4.37 Conjecture not found
% 7.05/4.41 Conjecture not found
% 7.05/4.44 Conjecture not found
% 7.15/4.45 Conjecture not found
% 7.15/4.47 Conjecture not found
% 7.20/4.48 Conjecture not found
% 7.34/4.55 Conjecture not found
% 7.42/4.63 Conjecture not found
% 7.53/4.69 Conjecture not found
% 7.70/4.78 Conjecture not found
% 7.70/4.79 Conjecture not found
% 7.80/4.83 Conjecture not found
% 7.83/4.86 Conjecture not found
% 7.83/4.87 Conjecture not found
% 7.83/4.90 Conjecture not found
% 7.83/4.93 Conjecture not found
% 7.83/4.94 Conjecture not found
% 7.91/4.98 Conjecture not found
% 7.91/4.98 Conjecture not found
% 8.04/4.99 Conjecture not found
% 8.04/5.01 Conjecture not found
% 8.04/5.06 Conjecture not found
% 8.20/5.08 Conjecture not found
% 8.25/5.13 Conjecture not found
% 8.27/5.17 Conjecture not found
% 8.51/5.35 Conjecture not found
% 8.69/5.37 Conjecture not found
% 8.69/5.38 Conjecture not found
% 8.69/5.40 Conjecture not found
% 8.80/5.43 Conjecture not found
% 8.84/5.47 Conjecture not found
% 8.84/5.52 Conjecture not found
% 8.84/5.53 Conjecture not found
% 9.01/5.55 Conjecture not found
% 9.01/5.56 Conjecture not found
% 9.10/5.65 Conjecture not found
% 9.94/6.11 Conjecture not found
% 10.90/6.66 Conjecture not found
% 11.10/6.76 Conjecture not found
% 11.10/6.81 Conjecture not found
% 11.10/6.83 Conjecture not found
% 11.10/6.85 Conjecture not found
% 11.33/6.90 Conjecture not found
% 11.33/6.92 Conjecture not found
% 11.37/6.93 Conjecture not found
% 11.38/6.99 Conjecture not found
% 11.53/7.04 Conjecture not found
% 11.59/7.06 Conjecture not found
% 11.59/7.09 Conjecture not found
% 11.59/7.10 Conjecture not found
% 11.59/7.14 Conjecture not found
% 11.82/7.19 Conjecture not found
% 11.82/7.24 Conjecture not found
% 12.00/7.29 Conjecture not found
% 12.15/7.34 Conjecture not found
% 12.15/7.35 Conjecture not found
% 12.20/7.38 Conjecture not found
% 12.20/7.41 Conjecture not found
% 12.27/7.44 Conjecture not found
% 12.31/7.47 Conjecture not found
% 12.31/7.52 Conjecture not found
% 12.31/7.53 Conjecture not found
% 12.49/7.57 Conjecture not found
% 12.49/7.63 Conjecture not found
% 12.66/7.65 Conjecture not found
% 12.69/7.67 Conjecture not found
% 12.69/7.70 Conjecture not found
% 12.69/7.71 Conjecture not found
% 12.75/7.73 Conjecture not found
% 12.75/7.74 Conjecture not found
% 12.91/7.78 Conjecture not found
% 12.91/7.80 Conjecture not found
% 12.91/7.81 Conjecture not found
% 12.98/7.84 Conjecture not found
% 12.98/7.86 Conjecture not found
% 13.12/7.89 Conjecture not found
% 13.12/7.91 Conjecture not found
% 13.12/7.93 Conjecture not found
% 13.19/7.94 Conjecture not found
% 13.19/7.95 Conjecture not found
% 13.21/7.97 Conjecture not found
% 13.21/8.00 Conjecture not found
% 13.21/8.01 Conjecture not found
% 13.40/8.05 Conjecture not found
% 13.44/8.08 Conjecture not found
% 13.44/8.10 Conjecture not found
% 13.64/8.15 Conjecture not found
% 13.64/8.16 Conjecture not found
% 13.64/8.17 Conjecture not found
% 13.67/8.20 Conjecture not found
% 13.67/8.21 Conjecture not found
% 13.67/8.22 Conjecture not found
% 13.73/8.23 Conjecture not found
% 13.73/8.25 Conjecture not found
% 13.73/8.25 Conjecture not found
% 13.75/8.26 Conjecture not found
% 13.75/8.26 Conjecture not found
% 13.75/8.32 Conjecture not found
% 14.01/8.42 Conjecture not found
% 14.01/8.43 Conjecture not found
% 14.21/8.46 Conjecture not found
% 14.23/8.48 Conjecture not found
% 14.23/8.49 Conjecture not found
% 14.23/8.51 Conjecture not found
% 14.27/8.53 Conjecture not found
% 14.29/8.55 Conjecture not found
% 14.29/8.61 Conjecture not found
% 14.50/8.64 Conjecture not found
% 14.50/8.67 Conjecture not found
% 14.56/8.73 Conjecture not found
% 14.89/8.91 Conjecture not found
% 15.11/8.99 Conjecture not found
% 15.17/9.04 Conjecture not found
% 15.17/9.06 Conjecture not found
% 15.37/9.09 Conjecture not found
% 15.45/9.15 Conjecture not found
% 15.45/9.18 Conjecture not found
% 15.45/9.19 Conjecture not found
% 15.68/9.29 Conjecture not found
% 15.75/9.35 Conjecture not found
% 15.82/9.41 Conjecture not found
% 16.06/9.46 Conjecture not found
% 16.06/9.51 Conjecture not found
% 16.06/9.53 Conjecture not found
% 16.25/9.58 Conjecture not found
% 16.35/9.61 Conjecture not found
% 16.39/9.65 Conjecture not found
% 16.64/9.77 Conjecture not found
% 16.64/9.78 Conjecture not found
% 16.69/9.80 Conjecture not found
% 16.69/9.82 Conjecture not found
% 16.91/9.86 Conjecture not found
% 16.96/9.93 Conjecture not found
% 17.00/9.98 Conjecture not found
% 17.00/10.01 Conjecture not found
% 17.27/10.06 Conjecture not found
% 17.67/10.32 Conjecture not found
% 17.73/10.40 Conjecture not found
% 17.96/10.45 Conjecture not found
% 18.02/10.47 Conjecture not found
% 18.02/10.48 Conjecture not found
% 18.02/10.49 Conjecture not found
% 18.02/10.54 Conjecture not found
% 18.31/10.64 Conjecture not found
% 18.38/10.71 Conjecture not found
% 18.66/10.78 Conjecture not found
% 18.66/10.81 Conjecture not found
% 18.76/10.92 Conjecture not found
% 18.95/11.02 Conjecture not found
% 19.06/11.05 Conjecture not found
% 19.10/11.08 Conjecture not found
% 19.10/11.10 Conjecture not found
% 19.10/11.11 Conjecture not found
% 19.32/11.15 Conjecture not found
% 19.32/11.16 Conjecture not found
% 19.40/11.19 Conjecture not found
% 19.46/11.25 Conjecture not found
% 19.49/11.28 Conjecture not found
% 19.49/11.30 Conjecture not found
% 19.49/11.32 Conjecture not found
% 19.77/11.40 Conjecture not found
% 19.77/11.42 Conjecture not found
% 19.84/11.44 Conjecture not found
% 19.84/11.46 Conjecture not found
% 20.16/11.61 Conjecture not found
% 20.16/11.62 Conjecture not found
% 20.25/11.66 Conjecture not found
% 20.25/11.67 Conjecture not found
% 20.25/11.67 Conjecture not found
% 20.25/11.67 Conjecture not found
% 20.25/11.68 Conjecture not found
% 20.37/11.75 Conjecture not found
% 20.37/11.76 Conjecture not found
% 20.56/11.78 Conjecture not found
% 20.56/11.85 Conjecture not found
% 20.65/11.90 Conjecture not found
% 20.92/12.02 Conjecture not found
% 21.00/12.03 Conjecture not found
% 21.29/12.15 Conjecture not found
% 21.42/12.33 Conjecture not found
% 21.50/12.35 Conjecture not found
% 21.76/12.44 Conjecture not found
% 21.84/12.46 Conjecture not found
% 21.84/12.48 Conjecture not found
% 21.93/12.56 Conjecture not found
% 22.20/12.65 Conjecture not found
% 22.26/12.71 Conjecture not found
% 22.26/12.73 Conjecture not found
% 22.33/12.82 Conjecture not found
% 22.55/12.88 Conjecture not found
% 22.55/12.91 Conjecture not found
% 22.72/12.98 Conjecture not found
% 22.80/13.03 Conjecture not found
% 22.81/13.04 Conjecture not found
% 22.81/13.08 Conjecture not found
% 23.14/13.18 Conjecture not found
% 23.14/13.21 Conjecture not found
% 23.14/13.23 Conjecture not found
% 23.23/13.28 Conjecture not found
% 23.26/13.32 Conjecture not found
% 23.26/13.32 Conjecture not found
% 23.39/13.39 Conjecture not found
% 23.61/13.46 Conjecture not found
% 23.66/13.49 Conjecture not found
% 23.66/13.52 Conjecture not found
% 23.77/13.58 Conjecture not found
% 23.77/13.60 Conjecture not found
% 24.06/13.66 Conjecture not found
% 24.06/13.71 Conjecture not found
% 24.25/13.81 Conjecture not found
% 24.25/13.85 Conjecture not found
% 24.51/13.93 Conjecture not found
% 24.57/13.94 Conjecture not found
% 24.57/13.95 Conjecture not found
% 24.59/13.96 Conjecture not found
% 24.59/13.97 Conjecture not found
% 24.59/13.98 Conjecture not found
% 24.59/13.99 Conjecture not found
% 24.93/14.10 Conjecture not found
% 25.01/14.17 Conjecture not found
% 25.01/14.21 Conjecture not found
% 25.07/14.23 Conjecture not found
% 25.07/14.24 Conjecture not found
% 25.23/14.31 Conjecture not found
% 25.23/14.32 Conjecture not found
% 25.23/14.33 Conjecture not found
% 25.48/14.40 Conjecture not found
% 25.48/14.41 Conjecture not found
% 25.54/14.45 Conjecture not found
% 25.87/14.56 Conjecture not found
% 25.91/14.58 Conjecture not found
% 25.91/14.62 Conjecture not found
% 26.33/14.82 Conjecture not found
% 26.41/14.86 Conjecture not found
% 26.44/14.87 Conjecture not found
% 26.78/14.97 Conjecture not found
% 26.78/14.98 Conjecture not found
% 26.78/15.02 Conjecture not found
% 26.85/15.04 Conjecture not found
% 26.89/15.12 Conjecture not found
% 27.25/15.18 Conjecture not found
% 27.25/15.19 Conjecture not found
% 27.25/15.21 Conjecture not found
% 27.29/15.23 Conjecture not found
% 27.32/15.27 Conjecture not found
% 27.42/15.35 Conjecture not found
% 27.42/15.37 Conjecture not found
% 27.42/15.37 Conjecture not found
% 27.71/15.38 Conjecture not found
% 27.71/15.41 Conjecture not found
% 27.71/15.42 Conjecture not found
% 27.79/15.46 Conjecture not found
% 27.89/15.54 Conjecture not found
% 28.14/15.63 Conjecture not found
% 28.22/15.66 Conjecture not found
% 28.22/15.67 Conjecture not found
% 28.22/15.68 Conjecture not found
% 28.28/15.73 Conjecture not found
% 28.34/15.75 Conjecture not found
% 28.34/15.75 Conjecture not found
% 28.34/15.78 Conjecture not found
% 28.49/15.83 Conjecture not found
% 28.70/15.88 Conjecture not found
% 28.70/15.90 Conjecture not found
% 28.70/15.93 Conjecture not found
% 28.84/16.01 Conjecture not found
% 29.17/16.06 Conjecture not found
% 29.17/16.08 Conjecture not found
% 29.29/16.17 Conjecture not found
% 29.29/16.19 Conjecture not found
% 29.29/16.24 Conjecture not found
% 29.38/16.26 Conjecture not found
% 29.38/16.28 Conjecture not found
% 29.42/16.29 Conjecture not found
% 29.42/16.32 Conjecture not found
% 29.53/16.33 Conjecture not found
% 29.85/16.49 Conjecture not found
% 29.85/16.50 Conjecture not found
% 29.85/16.51 Conjecture not found
% 29.85/16.55 Conjecture not found
% 29.94/16.58 Conjecture not found
% 29.98/16.61 Conjecture not found
% 30.29/16.64 Conjecture not found
% 30.33/16.69 Conjecture not found
% 30.39/16.73 Conjecture not found
% 30.45/16.77 Conjecture not found
% 30.45/16.80 Conjecture not found
% 30.45/16.83 Conjecture not found
% 30.53/16.85 Conjecture not found
% 30.53/16.87 Conjecture not found
% 30.59/16.88 Conjecture not found
% 30.91/16.96 Conjecture not found
% 30.98/17.01 Conjecture not found
% 30.98/17.04 Conjecture not found
% 31.04/17.08 Conjecture not found
% 31.04/17.08 Conjecture not found
% 31.04/17.14 Conjecture not found
% 31.15/17.19 Conjecture not found
% 31.15/17.22 Conjecture not found
% 31.41/17.26 Conjecture not found
% 31.54/17.29 Conjecture not found
% 31.54/17.32 Conjecture not found
% 31.54/17.33 Conjecture not found
% 31.61/17.36 Conjecture not found
% 31.65/17.39 Conjecture not found
% 31.65/17.41 Conjecture not found
% 31.70/17.43 Conjecture not found
% 31.73/17.48 Conjecture not found
% 32.12/17.61 Conjecture not found
% 32.22/17.71 Conjecture not found
% 32.28/17.74 Conjecture not found
% 32.31/17.80 Conjecture not found
% 32.42/17.91 Conjecture not found
% 32.86/18.05 Conjecture not found
% 32.90/18.09 Conjecture not found
% 32.98/18.16 Conjecture not found
% 33.02/18.18 Conjecture not found
% 33.02/18.20 Conjecture not found
% 33.02/18.21 Conjecture not found
% 33.02/18.22 Conjecture not found
% 33.27/18.26 Conjecture not found
% 33.27/18.31 Conjecture not found
% 33.27/18.32 Conjecture not found
% 33.48/18.36 Conjecture not found
% 33.52/18.38 Conjecture not found
% 33.52/18.42 Conjecture not found
% 33.63/18.48 Conjecture not found
% 33.63/18.51 Conjecture not found
% 33.69/18.55 Conjecture not found
% 33.69/18.56 Conjecture not found
% 33.69/18.58 Conjecture not found
% 34.15/18.69 Conjecture not found
% 34.25/18.79 Conjecture not found
% 34.25/18.82 Conjecture not found
% 34.29/18.83 Conjecture not found
% 34.68/18.95 Conjecture not found
% 34.79/19.01 Conjecture not found
% 34.79/19.04 Conjecture not found
% 34.85/19.07 Conjecture not found
% 34.85/19.09 Conjecture not found
% 34.94/19.15 Conjecture not found
% 34.94/19.16 Conjecture not found
% 34.94/19.17 Conjecture not found
% 34.94/19.20 Conjecture not found
% 34.94/19.22 Conjecture not found
% 35.03/19.24 Conjecture not found
% 35.03/19.26 Conjecture not found
% 35.33/19.30 Conjecture not found
% 35.33/19.34 Conjecture not found
% 35.49/19.37 Conjecture not found
% 35.49/19.41 Conjecture not found
% 35.56/19.44 Conjecture not found
% 35.60/19.55 Conjecture not found
% 35.60/19.56 Conjecture not found
% 36.03/19.57 Conjecture not found
% 36.03/19.58 Conjecture not found
% 36.06/19.60 Conjecture not found
% 36.06/19.61 Conjecture not found
% 36.06/19.61 Conjecture not found
% 36.10/19.68 Conjecture not found
% 36.10/19.69 Conjecture not found
% 36.10/19.70 Conjecture not found
% 36.18/19.73 Conjecture not found
% 36.18/19.75 Conjecture not found
% 36.46/19.78 Conjecture not found
% 36.46/19.84 Conjecture not found
% 36.46/19.86 Conjecture not found
% 36.71/19.89 Conjecture not found
% 36.78/19.93 Conjecture not found
% 36.79/19.95 Conjecture not found
% 36.79/19.99 Conjecture not found
% 36.79/20.00 Conjecture not found
% 36.79/20.02 Conjecture not found
% 36.87/20.03 Conjecture not found
% 36.87/20.08 Conjecture not found
% 37.40/20.18 Conjecture not found
% 37.40/20.20 Conjecture not found
% 37.45/20.25 Conjecture not found
% 37.45/20.28 Conjecture not found
% 37.45/20.28 Conjecture not found
% 37.45/20.30 Conjecture not found
% 37.54/20.36 Conjecture not found
% 37.62/20.39 Conjecture not found
% 37.62/20.44 Conjecture not found
% 38.09/20.50 Conjecture not found
% 38.13/20.53 Conjecture not found
% 38.15/20.57 Conjecture not found
% 38.15/20.60 Conjecture not found
% 38.15/20.62 Conjecture not found
% 38.24/20.66 Conjecture not found
% 38.30/20.69 Conjecture not found
% 38.30/20.71 Conjecture not found
% 38.30/20.74 Conjecture not found
% 38.63/20.80 Conjecture not found
% 38.81/20.82 Conjecture not found
% 38.83/20.87 Conjecture not found
% 38.83/20.90 Conjecture not found
% 38.92/20.95 Conjecture not found
% 38.92/20.96 Conjecture not found
% 38.97/20.99 Conjecture not found
% 38.97/21.03 Conjecture not found
% 39.05/21.06 Conjecture not found
% 39.05/21.08 Conjecture not found
% 39.07/21.11 Conjecture not found
% 39.07/21.12 Conjecture not found
% 39.12/21.13 Conjecture not found
% 39.28/21.22 Conjecture not found
% 39.62/21.24 Conjecture not found
% 39.66/21.27 Conjecture not found
% 39.66/21.31 Conjecture not found
% 39.66/21.32 Conjecture not found
% 39.76/21.39 Conjecture not found
% 39.76/21.40 Conjecture not found
% 39.76/21.42 Conjecture not found
% 39.82/21.43 Conjecture not found
% 39.85/21.47 Conjecture not found
% 39.85/21.49 Conjecture not found
% 40.08/21.55 Conjecture not found
% 40.35/21.58 Conjecture not found
% 40.35/21.59 Conjecture not found
% 40.35/21.63 Conjecture not found
% 40.45/21.67 Conjecture not found
% 40.54/21.75 Conjecture not found
% 40.55/21.76 Conjecture not found
% 40.55/21.77 Conjecture not found
% 40.55/21.78 Conjecture not found
% 40.80/21.87 Conjecture not found
% 40.80/21.89 Conjecture not found
% 40.80/21.92 Conjecture not found
% 41.16/21.97 Conjecture not found
% 41.27/22.04 Conjecture not found
% 41.28/22.08 Conjecture not found
% 41.38/22.24 Conjecture not found
% 41.82/22.27 Conjecture not found
% 41.99/22.34 Conjecture not found
% 41.99/22.35 Conjecture not found
% 41.99/22.36 Conjecture not found
% 41.99/22.37 Conjecture not found
% 42.04/22.40 Conjecture not found
% 42.04/22.44 Conjecture not found
% 42.09/22.47 Conjecture not found
% 42.09/22.48 Conjecture not found
% 42.09/22.51 Conjecture not found
% 42.19/22.58 Conjecture not found
% 42.19/22.59 Conjecture not found
% 42.24/22.62 Conjecture not found
% 42.29/22.67 Conjecture not found
% 42.53/22.74 Conjecture not found
% 42.80/22.82 Conjecture not found
% 42.80/22.86 Conjecture not found
% 42.90/22.89 Conjecture not found
% 42.93/22.92 Conjecture not found
% 43.03/23.01 Conjecture not found
% 43.03/23.05 Conjecture not found
% 43.10/23.07 Conjecture not found
% 43.10/23.12 Conjecture not found
% 43.66/23.18 Conjecture not found
% 43.66/23.19 Conjecture not found
% 43.69/23.20 Conjecture not found
% 43.69/23.22 Conjecture not found
% 43.74/23.29 Conjecture not found
% 43.74/23.32 Conjecture not found
% 43.82/23.33 Conjecture not found
% 43.82/23.35 Conjecture not found
% 43.82/23.36 Conjecture not found
% 43.82/23.38 Conjecture not found
% 43.89/23.40 Conjecture not found
% 43.89/23.42 Conjecture not found
% 43.89/23.42 Conjecture not found
% 44.24/23.50 Conjecture not found
% 44.47/23.54 Conjecture not found
% 44.47/23.58 Conjecture not found
% 44.47/23.61 Conjecture not found
% 44.47/23.61 Conjecture not found
% 44.56/23.64 Conjecture not found
% 44.56/23.65 Conjecture not found
% 44.56/23.67 Conjecture not found
% 44.63/23.73 Conjecture not found
% 44.63/23.74 Conjecture not found
% 44.63/23.75 Conjecture not found
% 44.63/23.76 Conjecture not found
% 44.71/23.77 Conjecture not found
% 44.71/23.80 Conjecture not found
% 44.71/23.81 Conjecture not found
% 44.75/23.83 Conjecture not found
% 44.78/23.85 Conjecture not found
% 44.78/23.87 Conjecture not found
% 44.78/23.92 Conjecture not found
% 44.78/23.94 Conjecture not found
% 45.19/23.96 Conjecture not found
% 45.19/23.99 Conjecture not found
% 45.42/24.04 Conjecture not found
% 45.48/24.05 Conjecture not found
% 45.53/24.12 Conjecture not found
% 45.53/24.13 Conjecture not found
% 45.53/24.14 Conjecture not found
% 45.68/24.29 Conjecture not found
% 46.11/24.32 Conjecture not found
% 46.11/24.34 Conjecture not found
% 46.24/24.36 Conjecture not found
% 46.26/24.40 Conjecture not found
% 46.31/24.43 Conjecture not found
% 46.35/24.47 Conjecture not found
% 46.35/24.50 Conjecture not found
% 46.35/24.52 Conjecture not found
% 46.46/24.60 Conjecture not found
% 46.46/24.60 Conjecture not found
% 46.57/24.68 Conjecture not found
% 47.00/24.73 Conjecture not found
% 47.10/24.77 Conjecture not found
% 47.10/24.79 Conjecture not found
% 47.10/24.80 Conjecture not found
% 47.10/24.81 Conjecture not found
% 47.10/24.83 Conjecture not found
% 47.18/24.85 Conjecture not found
% 47.18/24.86 Conjecture not found
% 47.22/24.88 Conjecture not found
% 47.22/24.91 Conjecture not found
% 47.22/24.93 Conjecture not found
% 47.29/24.96 Conjecture not found
% 47.32/24.98 Conjecture not found
% 47.40/25.07 Conjecture not found
% 47.69/25.12 Conjecture not found
% 47.97/25.18 Conjecture not found
% 47.97/25.21 Conjecture not found
% 48.07/25.24 Conjecture not found
% 48.11/25.27 Conjecture not found
% 48.11/25.29 Conjecture not found
% 48.11/25.30 Conjecture not found
% 48.17/25.33 Conjecture not found
% 48.19/25.39 Conjecture not found
% 49.07/25.71 Conjecture not found
% 49.07/25.72 Conjecture not found
% 49.07/25.75 Conjecture not found
% 49.13/25.78 Conjecture not found
% 49.13/25.79 Conjecture not found
% 49.13/25.80 Conjecture not found
% 49.13/25.81 Conjecture not found
% 49.13/25.82 Conjecture not found
% 49.13/25.84 Conjecture not found
% 49.13/25.85 Conjecture not found
% 49.55/25.89 Conjecture not found
% 49.80/25.97 Conjecture not found
% 49.88/26.06 Conjecture not found
% 49.93/26.13 Conjecture not found
% 50.02/26.17 Conjecture not found
% 50.08/26.22 Conjecture not found
% 50.09/26.23 Conjecture not found
% 50.09/26.25 Conjecture not found
% 50.09/26.30 Conjecture not found
% 50.17/26.31 Conjecture not found
% 50.17/26.32 Conjecture not found
% 50.17/26.34 Conjecture not found
% 50.17/26.35 Conjecture not found
% 50.23/26.46 Conjecture not found
% 50.82/26.51 Conjecture not found
% 50.87/26.55 Conjecture not found
% 50.87/26.60 Conjecture not found
% 50.87/26.60 Conjecture not found
% 50.96/26.66 Conjecture not found
% 51.02/26.70 Conjecture not found
% 51.02/26.71 Conjecture not found
% 51.02/26.72 Conjecture not found
% 51.02/26.75 Conjecture not found
% 51.10/26.77 Conjecture not found
% 51.10/26.78 Conjecture not found
% 51.16/26.86 Conjecture not found
% 51.16/26.87 Conjecture not found
% 51.16/26.89 Conjecture not found
% 51.81/26.93 Conjecture not found
% 51.81/26.94 Conjecture not found
% 51.81/26.96 Conjecture not found
% 51.81/26.98 Conjecture not found
% 51.88/26.99 Conjecture not found
% 51.88/27.05 Conjecture not found
% 51.96/27.08 Conjecture not found
% 51.96/27.09 Conjecture not found
% 51.96/27.10 Conjecture not found
% 52.03/27.17 Conjecture not found
% 52.03/27.18 Conjecture not found
% 52.03/27.21 Conjecture not found
% 52.03/27.22 Conjecture not found
% 52.82/27.36 Conjecture not found
% 52.82/27.38 Conjecture not found
% 52.87/27.41 Conjecture not found
% 52.91/27.44 Conjecture not found
% 52.91/27.48 Conjecture not found
% 52.91/27.50 Conjecture not found
% 53.00/27.55 Conjecture not found
% 53.05/27.62 Conjecture not found
% 53.16/27.73 Conjecture not found
% 53.20/27.76 Conjecture not found
% 53.20/27.79 Conjecture not found
% 53.86/27.92 Conjecture not found
% 53.95/27.97 Conjecture not found
% 53.95/27.98 Start search
% 114.69/43.10 nb_step : 1 - limit : 133782
% 115.30/43.63 Launch Gotab with destructive = true
%------------------------------------------------------------------------------