TSTP Solution File: SEU414+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU414+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.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 : Tue Sep 20 05:56:58 EDT 2022
% Result : Timeout 300.32s 91.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SEU414+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n025.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 13:49:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000036s][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.12/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.50 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.57/0.60 Conjecture not found
% 0.63/0.65 Conjecture not found
% 0.76/0.72 Conjecture not found
% 0.76/0.73 Conjecture not found
% 0.87/0.81 Conjecture not found
% 0.87/0.86 Conjecture not found
% 1.14/0.94 Conjecture not found
% 1.14/0.97 Conjecture not found
% 1.27/1.04 Conjecture not found
% 1.39/1.08 Conjecture not found
% 1.39/1.13 Conjecture not found
% 1.39/1.16 Conjecture not found
% 1.56/1.19 Conjecture not found
% 1.59/1.20 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.59/1.22 Conjecture not found
% 1.59/1.23 Conjecture not found
% 1.80/1.33 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.38 Conjecture not found
% 1.80/1.38 Conjecture not found
% 1.92/1.39 Conjecture not found
% 1.92/1.39 Conjecture not found
% 1.92/1.44 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.10/1.50 Conjecture not found
% 2.10/1.52 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.57 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.61 Conjecture not found
% 2.16/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.41/1.74 Conjecture not found
% 2.56/1.79 Conjecture not found
% 2.56/1.80 Conjecture not found
% 2.63/1.82 Conjecture not found
% 2.65/1.85 Conjecture not found
% 2.65/1.88 Conjecture not found
% 2.65/1.89 Conjecture not found
% 2.79/1.92 Conjecture not found
% 2.90/2.00 Conjecture not found
% 2.90/2.03 Conjecture not found
% 2.90/2.06 Conjecture not found
% 3.02/2.07 Conjecture not found
% 3.07/2.09 Conjecture not found
% 3.07/2.11 Conjecture not found
% 3.40/2.30 Conjecture not found
% 3.40/2.33 Conjecture not found
% 3.40/2.35 Conjecture not found
% 3.59/2.46 Conjecture not found
% 3.59/2.47 Conjecture not found
% 3.59/2.49 Conjecture not found
% 3.59/2.51 Conjecture not found
% 3.76/2.55 Conjecture not found
% 3.88/2.61 Conjecture not found
% 4.06/2.69 Conjecture not found
% 4.10/2.77 Conjecture not found
% 4.10/2.82 Conjecture not found
% 4.29/2.83 Conjecture not found
% 4.29/2.87 Conjecture not found
% 4.29/2.87 Conjecture not found
% 4.29/2.91 Conjecture not found
% 4.43/2.93 Conjecture not found
% 4.43/2.96 Conjecture not found
% 4.43/2.97 Conjecture not found
% 4.57/3.04 Conjecture not found
% 4.57/3.05 Conjecture not found
% 4.57/3.08 Conjecture not found
% 4.77/3.15 Conjecture not found
% 4.92/3.25 Conjecture not found
% 5.14/3.40 Conjecture not found
% 5.67/3.62 Conjecture not found
% 6.20/3.92 Conjecture not found
% 6.20/3.95 Conjecture not found
% 6.20/3.98 Conjecture not found
% 6.33/4.07 Conjecture not found
% 6.56/4.11 Conjecture not found
% 6.59/4.16 Conjecture not found
% 6.75/4.23 Conjecture not found
% 6.86/4.28 Conjecture not found
% 6.86/4.36 Conjecture not found
% 7.05/4.40 Conjecture not found
% 7.08/4.43 Conjecture not found
% 7.09/4.44 Conjecture not found
% 7.09/4.46 Conjecture not found
% 7.09/4.48 Conjecture not found
% 7.23/4.57 Conjecture not found
% 7.37/4.66 Conjecture not found
% 7.59/4.73 Conjecture not found
% 7.73/4.84 Conjecture not found
% 7.73/4.85 Conjecture not found
% 7.80/4.89 Conjecture not found
% 7.80/4.92 Conjecture not found
% 7.80/4.93 Conjecture not found
% 7.80/4.95 Conjecture not found
% 8.01/4.97 Conjecture not found
% 8.01/4.99 Conjecture not found
% 8.08/5.01 Conjecture not found
% 8.08/5.01 Conjecture not found
% 8.08/5.02 Conjecture not found
% 8.11/5.03 Conjecture not found
% 8.11/5.07 Conjecture not found
% 8.11/5.09 Conjecture not found
% 8.25/5.14 Conjecture not found
% 8.40/5.18 Conjecture not found
% 8.65/5.38 Conjecture not found
% 8.65/5.41 Conjecture not found
% 8.78/5.42 Conjecture not found
% 8.78/5.44 Conjecture not found
% 8.78/5.47 Conjecture not found
% 8.89/5.51 Conjecture not found
% 8.89/5.55 Conjecture not found
% 8.89/5.55 Conjecture not found
% 9.05/5.57 Conjecture not found
% 9.05/5.59 Conjecture not found
% 9.19/5.66 Conjecture not found
% 10.09/6.19 Conjecture not found
% 10.97/6.74 Conjecture not found
% 11.16/6.85 Conjecture not found
% 11.34/6.92 Conjecture not found
% 11.34/6.93 Conjecture not found
% 11.34/6.95 Conjecture not found
% 11.34/6.99 Conjecture not found
% 11.52/7.00 Conjecture not found
% 11.52/7.01 Conjecture not found
% 11.55/7.04 Conjecture not found
% 11.55/7.10 Conjecture not found
% 11.72/7.15 Conjecture not found
% 11.72/7.17 Conjecture not found
% 11.80/7.18 Conjecture not found
% 11.80/7.22 Conjecture not found
% 11.99/7.27 Conjecture not found
% 12.01/7.31 Conjecture not found
% 12.14/7.36 Conjecture not found
% 12.22/7.43 Conjecture not found
% 12.22/7.44 Conjecture not found
% 12.22/7.47 Conjecture not found
% 12.39/7.50 Conjecture not found
% 12.39/7.53 Conjecture not found
% 12.39/7.56 Conjecture not found
% 12.60/7.60 Conjecture not found
% 12.62/7.62 Conjecture not found
% 12.65/7.69 Conjecture not found
% 12.73/7.74 Conjecture not found
% 12.73/7.76 Conjecture not found
% 12.73/7.78 Conjecture not found
% 12.90/7.81 Conjecture not found
% 12.90/7.82 Conjecture not found
% 12.90/7.84 Conjecture not found
% 12.90/7.85 Conjecture not found
% 13.09/7.88 Conjecture not found
% 13.09/7.91 Conjecture not found
% 13.14/7.92 Conjecture not found
% 13.16/7.96 Conjecture not found
% 13.16/7.97 Conjecture not found
% 13.16/8.00 Conjecture not found
% 13.36/8.04 Conjecture not found
% 13.36/8.07 Conjecture not found
% 13.42/8.08 Conjecture not found
% 13.42/8.10 Conjecture not found
% 13.42/8.12 Conjecture not found
% 13.42/8.15 Conjecture not found
% 13.62/8.17 Conjecture not found
% 13.64/8.21 Conjecture not found
% 13.69/8.25 Conjecture not found
% 13.69/8.27 Conjecture not found
% 13.69/8.30 Conjecture not found
% 13.82/8.32 Conjecture not found
% 13.82/8.34 Conjecture not found
% 13.96/8.39 Conjecture not found
% 13.96/8.40 Conjecture not found
% 13.96/8.41 Conjecture not found
% 13.96/8.42 Conjecture not found
% 13.96/8.43 Conjecture not found
% 13.96/8.44 Conjecture not found
% 13.96/8.44 Conjecture not found
% 13.96/8.45 Conjecture not found
% 14.15/8.51 Conjecture not found
% 14.23/8.58 Conjecture not found
% 14.23/8.58 Conjecture not found
% 14.23/8.61 Conjecture not found
% 14.32/8.65 Conjecture not found
% 14.32/8.67 Conjecture not found
% 14.49/8.69 Conjecture not found
% 14.49/8.71 Conjecture not found
% 14.49/8.73 Conjecture not found
% 14.49/8.77 Conjecture not found
% 14.76/8.83 Conjecture not found
% 14.76/8.88 Conjecture not found
% 14.84/8.92 Conjecture not found
% 15.05/9.05 Conjecture not found
% 15.34/9.13 Conjecture not found
% 15.34/9.20 Conjecture not found
% 15.34/9.20 Conjecture not found
% 15.44/9.23 Conjecture not found
% 15.44/9.28 Conjecture not found
% 15.67/9.33 Conjecture not found
% 15.67/9.35 Conjecture not found
% 15.74/9.41 Conjecture not found
% 15.74/9.45 Conjecture not found
% 15.74/9.48 Conjecture not found
% 16.01/9.51 Conjecture not found
% 16.01/9.59 Conjecture not found
% 16.24/9.61 Conjecture not found
% 16.24/9.65 Conjecture not found
% 16.49/9.70 Conjecture not found
% 16.49/9.79 Conjecture not found
% 16.85/9.90 Conjecture not found
% 16.86/9.92 Conjecture not found
% 16.86/9.95 Conjecture not found
% 16.86/9.97 Conjecture not found
% 16.86/9.99 Conjecture not found
% 16.97/10.08 Conjecture not found
% 17.23/10.16 Conjecture not found
% 17.23/10.17 Conjecture not found
% 17.23/10.20 Conjecture not found
% 17.93/10.51 Conjecture not found
% 17.93/10.58 Conjecture not found
% 18.18/10.64 Conjecture not found
% 18.18/10.67 Conjecture not found
% 18.27/10.69 Conjecture not found
% 18.27/10.70 Conjecture not found
% 18.32/10.75 Conjecture not found
% 18.55/10.85 Conjecture not found
% 18.62/10.94 Conjecture not found
% 18.87/11.00 Conjecture not found
% 18.95/11.04 Conjecture not found
% 19.02/11.15 Conjecture not found
% 19.09/11.21 Conjecture not found
% 19.09/11.27 Conjecture not found
% 19.41/11.31 Conjecture not found
% 19.41/11.34 Conjecture not found
% 19.44/11.35 Conjecture not found
% 19.44/11.39 Conjecture not found
% 19.44/11.40 Conjecture not found
% 19.44/11.43 Conjecture not found
% 19.71/11.47 Conjecture not found
% 19.76/11.50 Conjecture not found
% 19.76/11.52 Conjecture not found
% 19.76/11.54 Conjecture not found
% 20.06/11.61 Conjecture not found
% 20.06/11.62 Conjecture not found
% 20.10/11.66 Conjecture not found
% 20.10/11.68 Conjecture not found
% 20.43/11.81 Conjecture not found
% 20.43/11.83 Conjecture not found
% 20.52/11.87 Conjecture not found
% 20.52/11.88 Conjecture not found
% 20.52/11.88 Conjecture not found
% 20.52/11.89 Conjecture not found
% 20.52/11.91 Conjecture not found
% 20.59/11.98 Conjecture not found
% 20.59/11.99 Conjecture not found
% 20.59/12.00 Conjecture not found
% 20.91/12.11 Conjecture not found
% 21.01/12.17 Conjecture not found
% 21.18/12.27 Conjecture not found
% 21.18/12.30 Conjecture not found
% 21.42/12.43 Conjecture not found
% 21.74/12.59 Conjecture not found
% 21.83/12.61 Conjecture not found
% 21.83/12.65 Conjecture not found
% 22.06/12.70 Conjecture not found
% 22.06/12.72 Conjecture not found
% 22.20/12.81 Conjecture not found
% 22.23/12.87 Conjecture not found
% 22.46/12.94 Conjecture not found
% 22.46/12.97 Conjecture not found
% 22.60/13.07 Conjecture not found
% 22.83/13.11 Conjecture not found
% 22.83/13.14 Conjecture not found
% 23.02/13.21 Conjecture not found
% 23.02/13.25 Conjecture not found
% 23.02/13.26 Conjecture not found
% 23.11/13.29 Conjecture not found
% 23.40/13.40 Conjecture not found
% 23.43/13.43 Conjecture not found
% 23.43/13.45 Conjecture not found
% 23.43/13.49 Conjecture not found
% 23.52/13.53 Conjecture not found
% 23.52/13.53 Conjecture not found
% 23.52/13.59 Conjecture not found
% 23.83/13.63 Conjecture not found
% 23.83/13.66 Conjecture not found
% 23.91/13.69 Conjecture not found
% 24.21/13.78 Conjecture not found
% 24.24/13.80 Conjecture not found
% 24.27/13.87 Conjecture not found
% 24.36/13.93 Conjecture not found
% 24.43/14.01 Conjecture not found
% 24.43/14.04 Conjecture not found
% 24.82/14.14 Conjecture not found
% 24.82/14.16 Conjecture not found
% 24.82/14.17 Conjecture not found
% 24.82/14.17 Conjecture not found
% 24.82/14.18 Conjecture not found
% 24.82/14.20 Conjecture not found
% 24.90/14.21 Conjecture not found
% 25.18/14.32 Conjecture not found
% 25.30/14.39 Conjecture not found
% 25.35/14.44 Conjecture not found
% 25.35/14.45 Conjecture not found
% 25.35/14.46 Conjecture not found
% 25.56/14.54 Conjecture not found
% 25.56/14.56 Conjecture not found
% 25.72/14.58 Conjecture not found
% 25.72/14.66 Conjecture not found
% 25.72/14.67 Conjecture not found
% 25.85/14.71 Conjecture not found
% 26.09/14.79 Conjecture not found
% 26.09/14.81 Conjecture not found
% 26.22/14.84 Conjecture not found
% 26.59/15.12 Conjecture not found
% 26.74/15.20 Conjecture not found
% 26.74/15.21 Conjecture not found
% 27.07/15.33 Conjecture not found
% 27.12/15.35 Conjecture not found
% 27.12/15.39 Conjecture not found
% 27.12/15.42 Conjecture not found
% 27.26/15.50 Conjecture not found
% 27.56/15.56 Conjecture not found
% 27.59/15.57 Conjecture not found
% 27.59/15.61 Conjecture not found
% 27.63/15.63 Conjecture not found
% 27.66/15.68 Conjecture not found
% 27.74/15.74 Conjecture not found
% 27.74/15.75 Conjecture not found
% 27.74/15.75 Conjecture not found
% 27.74/15.76 Conjecture not found
% 27.87/15.85 Conjecture not found
% 28.09/15.88 Conjecture not found
% 28.16/15.93 Conjecture not found
% 28.24/16.01 Conjecture not found
% 28.24/16.07 Conjecture not found
% 28.31/16.09 Conjecture not found
% 28.31/16.11 Conjecture not found
% 28.31/16.13 Conjecture not found
% 28.69/16.21 Conjecture not found
% 28.73/16.24 Conjecture not found
% 28.73/16.25 Conjecture not found
% 28.73/16.28 Conjecture not found
% 28.73/16.32 Conjecture not found
% 28.82/16.36 Conjecture not found
% 29.02/16.40 Conjecture not found
% 29.02/16.44 Conjecture not found
% 29.28/16.55 Conjecture not found
% 29.28/16.58 Conjecture not found
% 29.28/16.59 Conjecture not found
% 29.39/16.66 Conjecture not found
% 29.39/16.69 Conjecture not found
% 29.60/16.78 Conjecture not found
% 29.85/16.81 Conjecture not found
% 29.88/16.83 Conjecture not found
% 29.88/16.84 Conjecture not found
% 29.88/16.87 Conjecture not found
% 29.88/16.88 Conjecture not found
% 29.98/17.01 Conjecture not found
% 30.33/17.02 Conjecture not found
% 30.33/17.02 Conjecture not found
% 30.33/17.06 Conjecture not found
% 30.41/17.09 Conjecture not found
% 30.41/17.12 Conjecture not found
% 30.41/17.14 Conjecture not found
% 30.41/17.17 Conjecture not found
% 30.51/17.19 Conjecture not found
% 30.62/17.26 Conjecture not found
% 30.62/17.29 Conjecture not found
% 30.92/17.34 Conjecture not found
% 30.92/17.37 Conjecture not found
% 30.92/17.38 Conjecture not found
% 30.99/17.39 Conjecture not found
% 30.99/17.42 Conjecture not found
% 30.99/17.46 Conjecture not found
% 31.08/17.49 Conjecture not found
% 31.22/17.53 Conjecture not found
% 31.34/17.54 Conjecture not found
% 31.52/17.62 Conjecture not found
% 31.57/17.67 Conjecture not found
% 31.57/17.70 Conjecture not found
% 31.57/17.72 Conjecture not found
% 31.57/17.74 Conjecture not found
% 31.66/17.77 Conjecture not found
% 31.69/17.78 Conjecture not found
% 31.69/17.82 Conjecture not found
% 32.01/17.88 Conjecture not found
% 32.01/17.90 Conjecture not found
% 32.09/17.92 Conjecture not found
% 32.09/17.96 Conjecture not found
% 32.15/18.01 Conjecture not found
% 32.28/18.12 Conjecture not found
% 32.58/18.17 Conjecture not found
% 32.58/18.23 Conjecture not found
% 32.80/18.31 Conjecture not found
% 32.86/18.39 Conjecture not found
% 33.22/18.47 Conjecture not found
% 33.22/18.53 Conjecture not found
% 33.36/18.55 Conjecture not found
% 33.36/18.56 Conjecture not found
% 33.36/18.57 Conjecture not found
% 33.36/18.59 Conjecture not found
% 33.42/18.61 Conjecture not found
% 33.42/18.63 Conjecture not found
% 33.42/18.64 Conjecture not found
% 33.42/18.66 Conjecture not found
% 33.49/18.67 Conjecture not found
% 33.49/18.70 Conjecture not found
% 33.92/18.79 Conjecture not found
% 33.97/18.83 Conjecture not found
% 34.00/18.87 Conjecture not found
% 34.00/18.89 Conjecture not found
% 34.00/18.90 Conjecture not found
% 34.08/18.97 Conjecture not found
% 34.54/19.08 Conjecture not found
% 34.61/19.12 Conjecture not found
% 34.61/19.13 Conjecture not found
% 34.64/19.22 Conjecture not found
% 34.72/19.25 Conjecture not found
% 34.72/19.27 Conjecture not found
% 34.79/19.30 Conjecture not found
% 34.79/19.31 Conjecture not found
% 35.12/19.37 Conjecture not found
% 35.22/19.40 Conjecture not found
% 35.22/19.41 Conjecture not found
% 35.27/19.46 Conjecture not found
% 35.27/19.49 Conjecture not found
% 35.27/19.50 Conjecture not found
% 35.36/19.52 Conjecture not found
% 35.36/19.53 Conjecture not found
% 35.36/19.57 Conjecture not found
% 35.43/19.62 Conjecture not found
% 35.77/19.69 Conjecture not found
% 35.91/19.77 Conjecture not found
% 36.07/19.92 Conjecture not found
% 36.07/19.93 Conjecture not found
% 36.07/19.96 Conjecture not found
% 36.07/19.97 Conjecture not found
% 36.17/19.99 Conjecture not found
% 36.19/20.01 Conjecture not found
% 36.19/20.01 Conjecture not found
% 36.52/20.11 Conjecture not found
% 36.52/20.14 Conjecture not found
% 36.52/20.17 Conjecture not found
% 36.73/20.23 Conjecture not found
% 36.73/20.24 Conjecture not found
% 36.73/20.26 Conjecture not found
% 36.83/20.30 Conjecture not found
% 36.85/20.31 Conjecture not found
% 36.87/20.34 Conjecture not found
% 36.87/20.38 Conjecture not found
% 36.87/20.40 Conjecture not found
% 37.06/20.48 Conjecture not found
% 37.06/20.50 Conjecture not found
% 37.42/20.52 Conjecture not found
% 37.42/20.54 Conjecture not found
% 37.48/20.59 Conjecture not found
% 37.48/20.66 Conjecture not found
% 37.58/20.69 Conjecture not found
% 37.63/20.75 Conjecture not found
% 37.63/20.78 Conjecture not found
% 37.63/20.79 Conjecture not found
% 37.71/20.83 Conjecture not found
% 38.15/20.94 Conjecture not found
% 38.24/20.98 Conjecture not found
% 38.27/21.01 Conjecture not found
% 38.30/21.04 Conjecture not found
% 38.32/21.07 Conjecture not found
% 38.32/21.11 Conjecture not found
% 38.39/21.15 Conjecture not found
% 38.58/21.18 Conjecture not found
% 38.92/21.25 Conjecture not found
% 38.95/21.29 Conjecture not found
% 38.95/21.31 Conjecture not found
% 38.95/21.33 Conjecture not found
% 39.02/21.35 Conjecture not found
% 39.02/21.37 Conjecture not found
% 39.02/21.40 Conjecture not found
% 39.08/21.44 Conjecture not found
% 39.13/21.49 Conjecture not found
% 39.13/21.50 Conjecture not found
% 39.13/21.53 Conjecture not found
% 39.66/21.62 Conjecture not found
% 39.71/21.66 Conjecture not found
% 39.71/21.68 Conjecture not found
% 39.71/21.70 Conjecture not found
% 39.71/21.71 Conjecture not found
% 39.71/21.73 Conjecture not found
% 39.81/21.77 Conjecture not found
% 39.81/21.78 Conjecture not found
% 39.86/21.81 Conjecture not found
% 39.91/21.85 Conjecture not found
% 39.91/21.86 Conjecture not found
% 39.91/21.93 Conjecture not found
% 40.28/21.96 Conjecture not found
% 40.28/21.98 Conjecture not found
% 40.48/22.01 Conjecture not found
% 40.53/22.07 Conjecture not found
% 40.53/22.10 Conjecture not found
% 40.53/22.13 Conjecture not found
% 40.63/22.15 Conjecture not found
% 40.63/22.17 Conjecture not found
% 40.68/22.22 Conjecture not found
% 40.74/22.27 Conjecture not found
% 41.25/22.38 Conjecture not found
% 41.25/22.41 Conjecture not found
% 41.32/22.42 Conjecture not found
% 41.32/22.43 Conjecture not found
% 41.35/22.52 Conjecture not found
% 41.43/22.53 Conjecture not found
% 41.43/22.56 Conjecture not found
% 41.48/22.59 Conjecture not found
% 41.57/22.67 Conjecture not found
% 41.78/22.72 Conjecture not found
% 42.17/22.88 Conjecture not found
% 42.23/22.89 Conjecture not found
% 42.23/22.95 Conjecture not found
% 42.30/22.96 Conjecture not found
% 42.30/22.96 Conjecture not found
% 42.31/22.97 Conjecture not found
% 42.31/23.01 Conjecture not found
% 42.38/23.05 Conjecture not found
% 42.38/23.07 Conjecture not found
% 42.38/23.09 Conjecture not found
% 42.70/23.14 Conjecture not found
% 42.97/23.20 Conjecture not found
% 42.97/23.21 Conjecture not found
% 42.97/23.23 Conjecture not found
% 43.05/23.27 Conjecture not found
% 43.07/23.29 Conjecture not found
% 43.11/23.33 Conjecture not found
% 43.13/23.35 Conjecture not found
% 43.13/23.38 Conjecture not found
% 43.13/23.41 Conjecture not found
% 43.70/23.56 Conjecture not found
% 43.81/23.61 Conjecture not found
% 43.83/23.63 Conjecture not found
% 43.83/23.66 Conjecture not found
% 43.83/23.70 Conjecture not found
% 43.83/23.72 Conjecture not found
% 43.93/23.73 Conjecture not found
% 43.93/23.76 Conjecture not found
% 44.00/23.85 Conjecture not found
% 44.08/23.88 Conjecture not found
% 44.08/23.91 Conjecture not found
% 44.63/23.97 Conjecture not found
% 44.63/23.99 Conjecture not found
% 44.65/24.01 Conjecture not found
% 44.65/24.03 Conjecture not found
% 44.69/24.04 Conjecture not found
% 44.69/24.05 Conjecture not found
% 44.69/24.08 Conjecture not found
% 44.69/24.10 Conjecture not found
% 44.69/24.13 Conjecture not found
% 44.79/24.15 Conjecture not found
% 44.79/24.15 Conjecture not found
% 44.79/24.18 Conjecture not found
% 44.79/24.18 Conjecture not found
% 44.79/24.20 Conjecture not found
% 44.86/24.27 Conjecture not found
% 45.31/24.30 Conjecture not found
% 45.31/24.30 Conjecture not found
% 45.31/24.32 Conjecture not found
% 45.31/24.33 Conjecture not found
% 45.31/24.35 Conjecture not found
% 45.50/24.36 Conjecture not found
% 45.50/24.38 Conjecture not found
% 45.52/24.39 Conjecture not found
% 45.52/24.40 Conjecture not found
% 45.57/24.44 Conjecture not found
% 45.57/24.45 Conjecture not found
% 45.57/24.46 Conjecture not found
% 45.57/24.47 Conjecture not found
% 45.57/24.51 Conjecture not found
% 45.65/24.52 Conjecture not found
% 45.71/24.59 Conjecture not found
% 45.71/24.60 Conjecture not found
% 45.71/24.62 Conjecture not found
% 46.38/24.81 Conjecture not found
% 46.44/24.83 Conjecture not found
% 46.44/24.85 Conjecture not found
% 46.48/24.87 Conjecture not found
% 46.48/24.91 Conjecture not found
% 46.56/24.95 Conjecture not found
% 46.60/25.00 Conjecture not found
% 46.88/25.05 Conjecture not found
% 47.01/25.09 Conjecture not found
% 47.27/25.17 Conjecture not found
% 47.27/25.17 Conjecture not found
% 47.27/25.23 Conjecture not found
% 47.27/25.24 Conjecture not found
% 47.37/25.27 Conjecture not found
% 47.37/25.28 Conjecture not found
% 47.37/25.28 Conjecture not found
% 47.37/25.29 Conjecture not found
% 47.41/25.31 Conjecture not found
% 47.41/25.33 Conjecture not found
% 47.41/25.34 Conjecture not found
% 47.41/25.35 Conjecture not found
% 47.47/25.39 Conjecture not found
% 47.47/25.41 Conjecture not found
% 48.09/25.47 Conjecture not found
% 48.09/25.49 Conjecture not found
% 48.18/25.57 Conjecture not found
% 48.18/25.61 Conjecture not found
% 48.28/25.64 Conjecture not found
% 48.28/25.68 Conjecture not found
% 48.33/25.72 Conjecture not found
% 48.39/25.76 Conjecture not found
% 48.39/25.78 Conjecture not found
% 48.39/25.80 Conjecture not found
% 49.00/25.88 Conjecture not found
% 49.13/25.96 Conjecture not found
% 50.01/26.34 Conjecture not found
% 50.06/26.36 Conjecture not found
% 50.06/26.40 Conjecture not found
% 50.06/26.43 Conjecture not found
% 50.14/26.45 Conjecture not found
% 50.14/26.46 Conjecture not found
% 50.14/26.47 Conjecture not found
% 50.14/26.48 Conjecture not found
% 50.14/26.49 Conjecture not found
% 50.21/26.50 Conjecture not found
% 50.21/26.51 Conjecture not found
% 50.21/26.56 Conjecture not found
% 50.48/26.64 Conjecture not found
% 50.97/26.74 Conjecture not found
% 50.97/26.78 Conjecture not found
% 51.03/26.82 Conjecture not found
% 51.03/26.84 Conjecture not found
% 51.03/26.85 Conjecture not found
% 51.12/26.90 Conjecture not found
% 51.16/26.91 Conjecture not found
% 51.16/26.93 Conjecture not found
% 51.18/26.95 Conjecture not found
% 51.18/26.97 Conjecture not found
% 51.28/27.03 Conjecture not found
% 51.28/27.08 Conjecture not found
% 51.34/27.15 Conjecture not found
% 51.95/27.24 Conjecture not found
% 51.95/27.25 Conjecture not found
% 51.95/27.31 Conjecture not found
% 52.04/27.34 Conjecture not found
% 52.04/27.35 Conjecture not found
% 52.04/27.36 Conjecture not found
% 52.11/27.40 Conjecture not found
% 52.11/27.42 Conjecture not found
% 52.11/27.43 Conjecture not found
% 52.20/27.49 Conjecture not found
% 52.20/27.49 Conjecture not found
% 52.22/27.51 Conjecture not found
% 52.22/27.53 Conjecture not found
% 52.22/27.54 Conjecture not found
% 52.26/27.56 Conjecture not found
% 52.26/27.57 Conjecture not found
% 52.26/27.59 Conjecture not found
% 52.58/27.70 Conjecture not found
% 52.95/27.73 Conjecture not found
% 52.95/27.74 Conjecture not found
% 52.95/27.75 Conjecture not found
% 53.01/27.81 Conjecture not found
% 53.01/27.82 Conjecture not found
% 53.01/27.85 Conjecture not found
% 53.09/27.87 Conjecture not found
% 53.17/27.95 Conjecture not found
% 53.17/27.96 Conjecture not found
% 53.17/27.99 Conjecture not found
% 53.47/28.05 Conjecture not found
% 53.86/28.10 Conjecture not found
% 53.86/28.12 Conjecture not found
% 53.95/28.17 Conjecture not found
% 53.99/28.23 Conjecture not found
% 54.04/28.28 Conjecture not found
% 54.04/28.29 Conjecture not found
% 54.04/28.30 Conjecture not found
% 54.15/28.36 Conjecture not found
% 54.67/28.45 Conjecture not found
% 54.90/28.56 Conjecture not found
% 54.90/28.58 Conjecture not found
% 54.90/28.59 Conjecture not found
% 54.96/28.61 Conjecture not found
% 54.96/28.63 Conjecture not found
% 55.01/28.67 Conjecture not found
% 55.01/28.68 Conjecture not found
% 55.01/28.69 Conjecture not found
% 55.01/28.71 Conjecture not found
% 55.01/28.76 Conjecture not found
% 55.01/28.77 Conjecture not found
% 55.12/28.80 Conjecture not found
% 55.16/28.84 Conjecture not found
% 55.16/28.85 Conjecture not found
% 55.45/28.96 Conjecture not found
% 55.45/28.97 Conjecture not found
% 55.74/29.01 Conjecture not found
% 55.99/29.03 Conjecture not found
% 56.00/29.08 Conjecture not found
% 56.11/29.20 Conjecture not found
% 56.11/29.24 Conjecture not found
% 56.20/29.28 Conjecture not found
% 56.20/29.28 Conjecture not found
% 56.24/29.28 Conjecture not found
% 56.24/29.31 Conjecture not found
% 56.24/29.32 Conjecture not found
% 56.39/29.43 Conjecture not found
% 56.39/29.45 Conjecture not found
% 57.15/29.62 Conjecture not found
% 57.24/29.69 Conjecture not found
% 57.24/29.71 Conjecture not found
% 57.30/29.73 Conjecture not found
% 57.30/29.74 Conjecture not found
% 57.34/29.76 Conjecture not found
% 57.34/29.77 Conjecture not found
% 57.34/29.79 Conjecture not found
% 57.34/29.83 Conjecture not found
% 57.41/29.87 Conjecture not found
% 57.45/29.90 Conjecture not found
% 57.54/30.01 Conjecture not found
% 57.62/30.10 Conjecture not found
% 58.01/30.15 Conjecture not found
% 58.33/30.21 Conjecture not found
% 58.33/30.23 Conjecture not found
% 58.43/30.25 Conjecture not found
% 58.46/30.27 Conjecture not found
% 58.46/30.31 Conjecture not found
% 58.51/30.33 Conjecture not found
% 58.54/30.43 Conjecture not found
% 59.50/30.77 Conjecture not found
% 59.65/30.90 Conjecture not found
% 59.65/30.90 Conjecture not found
% 59.69/30.95 Conjecture not found
% 59.73/31.03 Conjecture not found
% 59.82/31.06 Conjecture not found
% 59.82/31.06 Conjecture not found
% 59.82/31.07 Conjecture not found
% 59.98/31.15 Conjecture not found
% 60.45/31.20 Conjecture not found
% 60.65/31.28 Conjecture not found
% 60.69/31.31 Conjecture not found
% 60.69/31.32 Conjecture not found
% 60.73/31.34 Conjecture not found
% 60.73/31.37 Conjecture not found
% 60.73/31.38 Conjecture not found
% 60.73/31.40 Conjecture not found
% 60.80/31.41 Conjecture not found
% 60.86/31.53 Conjecture not found
% 60.86/31.54 Conjecture not found
% 60.95/31.59 Conjecture not found
% 61.04/31.70 Conjecture not found
% 61.45/31.72 Conjecture not found
% 61.45/31.73 Conjecture not found
% 61.76/31.75 Conjecture not found
% 61.76/31.76 Conjecture not found
% 61.76/31.77 Conjecture not found
% 61.76/31.81 Conjecture not found
% 61.76/31.82 Conjecture not found
% 61.87/31.88 Conjecture not found
% 61.98/31.97 Conjecture not found
% 61.98/32.00 Conjecture not found
% 62.03/32.01 Conjecture not found
% 62.03/32.01 Conjecture not found
% 62.03/32.04 Conjecture not found
% 62.08/32.07 Conjecture not found
% 62.08/32.12 Conjecture not found
% 62.08/32.14 Conjecture not found
% 62.08/32.14 Conjecture not found
% 62.08/32.15 Conjecture not found
% 62.19/32.19 Conjecture not found
% 62.19/32.21 Conjecture not found
% 62.58/32.26 Conjecture not found
% 62.58/32.31 Conjecture not found
% 62.58/32.33 Conjecture not found
% 63.06/32.36 Conjecture not found
% 63.10/32.39 Conjecture not found
% 63.10/32.39 Conjecture not found
% 63.10/32.41 Conjecture not found
% 63.10/32.42 Conjecture not found
% 63.14/32.44 Conjecture not found
% 63.16/32.47 Conjecture not found
% 63.22/32.51 Conjecture not found
% 63.22/32.54 Conjecture not found
% 63.27/32.61 Conjecture not found
% 63.36/32.67 Conjecture not found
% 63.40/32.69 Conjecture not found
% 63.40/32.72 Conjecture not found
% 63.40/32.75 Conjecture not found
% 63.48/32.79 Conjecture not found
% 64.14/32.89 Conjecture not found
% 64.34/32.95 Conjecture not found
% 64.37/33.00 Conjecture not found
% 64.44/33.04 Conjecture not found
% 64.44/33.06 Conjecture not found
% 64.47/33.12 Conjecture not found
% 64.53/33.13 Conjecture not found
% 64.53/33.15 Conjecture not found
% 64.58/33.22 Conjecture not found
% 64.69/33.29 Conjecture not found
% 64.69/33.31 Conjecture not found
% 64.78/33.38 Conjecture not found
% 64.78/33.41 Conjecture not found
% 64.78/33.42 Conjecture not found
% 64.78/33.42 Conjecture not found
% 64.84/33.45 Conjecture not found
% 65.62/33.57 Conjecture not found
% 65.62/33.60 Conjecture not found
% 65.62/33.61 Conjecture not found
% 65.69/33.65 Conjecture not found
% 65.73/33.69 Conjecture not found
% 65.79/33.73 Conjecture not found
% 65.79/33.74 Conjecture not found
% 65.79/33.76 Conjecture not found
% 65.82/33.80 Conjecture not found
% 65.91/33.86 Conjecture not found
% 65.95/33.91 Conjecture not found
% 65.95/33.92 Conjecture not found
% 66.52/34.04 Conjecture not found
% 66.77/34.09 Conjecture not found
% 66.77/34.11 Conjecture not found
% 66.89/34.15 Conjecture not found
% 66.89/34.16 Conjecture not found
% 66.89/34.18 Conjecture not found
% 66.94/34.24 Conjecture not found
% 67.00/34.26 Conjecture not found
% 67.02/34.27 Start search
% 153.02/55.22 nb_step : 1 - limit : 162262
% 154.70/55.98 Launch Gotab with destructive = true
%------------------------------------------------------------------------------