TSTP Solution File: SEU430+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU430+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n023.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:57:08 EDT 2022
% Result : Timeout 300.26s 90.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU430+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n023.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 14:37:59 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.000037s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.38 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 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.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.50/0.56 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.61 Conjecture not found
% 0.62/0.65 Conjecture not found
% 0.79/0.72 Conjecture not found
% 0.79/0.73 Conjecture not found
% 0.86/0.81 Conjecture not found
% 0.99/0.86 Conjecture not found
% 1.14/0.94 Conjecture not found
% 1.18/0.98 Conjecture not found
% 1.30/1.05 Conjecture not found
% 1.39/1.09 Conjecture not found
% 1.39/1.14 Conjecture not found
% 1.51/1.16 Conjecture not found
% 1.58/1.20 Conjecture not found
% 1.58/1.21 Conjecture not found
% 1.58/1.22 Conjecture not found
% 1.58/1.22 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.78/1.33 Conjecture not found
% 1.78/1.36 Conjecture not found
% 1.78/1.36 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.40 Conjecture not found
% 1.88/1.40 Conjecture not found
% 1.88/1.45 Conjecture not found
% 2.08/1.50 Conjecture not found
% 2.08/1.51 Conjecture not found
% 2.08/1.51 Conjecture not found
% 2.08/1.52 Conjecture not found
% 2.19/1.54 Conjecture not found
% 2.19/1.56 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.60 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.32/1.63 Conjecture not found
% 2.32/1.64 Conjecture not found
% 2.32/1.65 Conjecture not found
% 2.44/1.68 Conjecture not found
% 2.44/1.74 Conjecture not found
% 2.61/1.79 Conjecture not found
% 2.61/1.80 Conjecture not found
% 2.66/1.82 Conjecture not found
% 2.67/1.85 Conjecture not found
% 2.67/1.87 Conjecture not found
% 2.67/1.89 Conjecture not found
% 2.82/1.91 Conjecture not found
% 2.96/2.00 Conjecture not found
% 2.96/2.03 Conjecture not found
% 2.96/2.05 Conjecture not found
% 2.96/2.07 Conjecture not found
% 3.13/2.09 Conjecture not found
% 3.13/2.11 Conjecture not found
% 3.35/2.29 Conjecture not found
% 3.47/2.32 Conjecture not found
% 3.47/2.34 Conjecture not found
% 3.62/2.45 Conjecture not found
% 3.62/2.46 Conjecture not found
% 3.76/2.48 Conjecture not found
% 3.83/2.50 Conjecture not found
% 3.86/2.54 Conjecture not found
% 3.98/2.61 Conjecture not found
% 4.11/2.69 Conjecture not found
% 4.11/2.76 Conjecture not found
% 4.39/2.82 Conjecture not found
% 4.39/2.83 Conjecture not found
% 4.42/2.87 Conjecture not found
% 4.42/2.87 Conjecture not found
% 4.52/2.91 Conjecture not found
% 4.52/2.93 Conjecture not found
% 4.63/2.96 Conjecture not found
% 4.63/2.97 Conjecture not found
% 4.63/3.05 Conjecture not found
% 4.78/3.06 Conjecture not found
% 4.82/3.10 Conjecture not found
% 4.92/3.17 Conjecture not found
% 5.12/3.27 Conjecture not found
% 5.41/3.42 Conjecture not found
% 5.69/3.63 Conjecture not found
% 6.28/3.95 Conjecture not found
% 6.43/3.97 Conjecture not found
% 6.43/4.01 Conjecture not found
% 6.58/4.08 Conjecture not found
% 6.58/4.10 Conjecture not found
% 6.77/4.15 Conjecture not found
% 6.81/4.21 Conjecture not found
% 6.94/4.26 Conjecture not found
% 7.09/4.34 Conjecture not found
% 7.12/4.38 Conjecture not found
% 7.12/4.40 Conjecture not found
% 7.12/4.42 Conjecture not found
% 7.24/4.45 Conjecture not found
% 7.24/4.46 Conjecture not found
% 7.30/4.53 Conjecture not found
% 7.42/4.57 Conjecture not found
% 7.58/4.64 Conjecture not found
% 7.71/4.75 Conjecture not found
% 7.77/4.78 Conjecture not found
% 7.77/4.83 Conjecture not found
% 7.77/4.85 Conjecture not found
% 7.93/4.87 Conjecture not found
% 7.97/4.90 Conjecture not found
% 7.97/4.92 Conjecture not found
% 8.10/4.94 Conjecture not found
% 8.10/4.97 Conjecture not found
% 8.10/4.97 Conjecture not found
% 8.10/4.98 Conjecture not found
% 8.10/5.00 Conjecture not found
% 8.25/5.03 Conjecture not found
% 8.25/5.04 Conjecture not found
% 8.25/5.07 Conjecture not found
% 8.39/5.12 Conjecture not found
% 8.61/5.28 Conjecture not found
% 8.78/5.33 Conjecture not found
% 8.78/5.33 Conjecture not found
% 8.78/5.35 Conjecture not found
% 8.78/5.36 Conjecture not found
% 8.87/5.41 Conjecture not found
% 8.87/5.46 Conjecture not found
% 8.87/5.47 Conjecture not found
% 9.02/5.50 Conjecture not found
% 9.04/5.52 Conjecture not found
% 9.10/5.61 Conjecture not found
% 10.04/6.08 Conjecture not found
% 10.86/6.59 Conjecture not found
% 11.06/6.73 Conjecture not found
% 11.25/6.80 Conjecture not found
% 11.29/6.82 Conjecture not found
% 11.29/6.84 Conjecture not found
% 11.34/6.89 Conjecture not found
% 11.34/6.91 Conjecture not found
% 11.34/6.92 Conjecture not found
% 11.52/6.95 Conjecture not found
% 11.66/7.00 Conjecture not found
% 11.72/7.06 Conjecture not found
% 11.72/7.08 Conjecture not found
% 11.72/7.09 Conjecture not found
% 11.77/7.13 Conjecture not found
% 11.91/7.18 Conjecture not found
% 11.91/7.21 Conjecture not found
% 12.06/7.27 Conjecture not found
% 12.15/7.33 Conjecture not found
% 12.15/7.35 Conjecture not found
% 12.24/7.38 Conjecture not found
% 12.24/7.40 Conjecture not found
% 12.38/7.42 Conjecture not found
% 12.41/7.46 Conjecture not found
% 12.41/7.50 Conjecture not found
% 12.41/7.52 Conjecture not found
% 12.64/7.59 Conjecture not found
% 12.64/7.64 Conjecture not found
% 12.71/7.65 Conjecture not found
% 12.71/7.66 Conjecture not found
% 12.73/7.70 Conjecture not found
% 12.73/7.71 Conjecture not found
% 12.89/7.73 Conjecture not found
% 12.91/7.76 Conjecture not found
% 12.91/7.78 Conjecture not found
% 12.91/7.81 Conjecture not found
% 12.91/7.82 Conjecture not found
% 13.01/7.86 Conjecture not found
% 13.01/7.87 Conjecture not found
% 13.16/7.89 Conjecture not found
% 13.16/7.92 Conjecture not found
% 13.16/7.94 Conjecture not found
% 13.16/7.96 Conjecture not found
% 13.35/7.99 Conjecture not found
% 13.37/8.01 Conjecture not found
% 13.41/8.04 Conjecture not found
% 13.41/8.05 Conjecture not found
% 13.41/8.07 Conjecture not found
% 13.61/8.11 Conjecture not found
% 13.61/8.13 Conjecture not found
% 13.68/8.18 Conjecture not found
% 13.68/8.18 Conjecture not found
% 13.68/8.20 Conjecture not found
% 13.68/8.24 Conjecture not found
% 13.68/8.26 Conjecture not found
% 13.88/8.28 Conjecture not found
% 13.90/8.29 Conjecture not found
% 13.90/8.30 Conjecture not found
% 13.90/8.31 Conjecture not found
% 13.90/8.31 Conjecture not found
% 13.90/8.31 Conjecture not found
% 13.96/8.34 Conjecture not found
% 14.18/8.44 Conjecture not found
% 14.18/8.45 Conjecture not found
% 14.18/8.47 Conjecture not found
% 14.18/8.50 Conjecture not found
% 14.35/8.52 Conjecture not found
% 14.35/8.55 Conjecture not found
% 14.35/8.57 Conjecture not found
% 14.47/8.61 Conjecture not found
% 14.47/8.65 Conjecture not found
% 14.69/8.69 Conjecture not found
% 14.71/8.73 Conjecture not found
% 14.71/8.79 Conjecture not found
% 15.03/8.94 Conjecture not found
% 15.14/9.00 Conjecture not found
% 15.30/9.08 Conjecture not found
% 15.30/9.09 Conjecture not found
% 15.40/9.13 Conjecture not found
% 15.40/9.17 Conjecture not found
% 15.57/9.21 Conjecture not found
% 15.57/9.24 Conjecture not found
% 15.70/9.31 Conjecture not found
% 15.94/9.39 Conjecture not found
% 15.98/9.44 Conjecture not found
% 15.98/9.47 Conjecture not found
% 16.09/9.53 Conjecture not found
% 16.09/9.54 Conjecture not found
% 16.28/9.58 Conjecture not found
% 16.28/9.62 Conjecture not found
% 16.55/9.72 Conjecture not found
% 16.66/9.82 Conjecture not found
% 16.66/9.83 Conjecture not found
% 16.66/9.86 Conjecture not found
% 16.88/9.89 Conjecture not found
% 16.88/9.91 Conjecture not found
% 16.88/9.96 Conjecture not found
% 17.18/10.04 Conjecture not found
% 17.18/10.08 Conjecture not found
% 17.18/10.10 Conjecture not found
% 17.73/10.33 Conjecture not found
% 17.80/10.40 Conjecture not found
% 17.88/10.43 Conjecture not found
% 17.88/10.45 Conjecture not found
% 17.88/10.46 Conjecture not found
% 17.95/10.47 Conjecture not found
% 17.95/10.56 Conjecture not found
% 18.26/10.64 Conjecture not found
% 18.49/10.73 Conjecture not found
% 18.58/10.80 Conjecture not found
% 18.58/10.83 Conjecture not found
% 18.88/10.95 Conjecture not found
% 18.98/11.03 Conjecture not found
% 18.98/11.07 Conjecture not found
% 19.05/11.12 Conjecture not found
% 19.32/11.17 Conjecture not found
% 19.32/11.19 Conjecture not found
% 19.34/11.22 Conjecture not found
% 19.36/11.22 Conjecture not found
% 19.36/11.25 Conjecture not found
% 19.36/11.29 Conjecture not found
% 19.49/11.32 Conjecture not found
% 19.49/11.35 Conjecture not found
% 19.49/11.39 Conjecture not found
% 19.74/11.47 Conjecture not found
% 19.74/11.48 Conjecture not found
% 19.82/11.50 Conjecture not found
% 19.84/11.52 Conjecture not found
% 20.13/11.67 Conjecture not found
% 20.13/11.68 Conjecture not found
% 20.21/11.71 Conjecture not found
% 20.21/11.72 Conjecture not found
% 20.21/11.72 Conjecture not found
% 20.21/11.72 Conjecture not found
% 20.21/11.74 Conjecture not found
% 20.52/11.82 Conjecture not found
% 20.52/11.83 Conjecture not found
% 20.52/11.85 Conjecture not found
% 20.52/11.91 Conjecture not found
% 20.63/12.00 Conjecture not found
% 20.91/12.09 Conjecture not found
% 21.00/12.11 Conjecture not found
% 21.27/12.25 Conjecture not found
% 21.40/12.40 Conjecture not found
% 21.68/12.43 Conjecture not found
% 21.77/12.49 Conjecture not found
% 21.77/12.51 Conjecture not found
% 21.77/12.52 Conjecture not found
% 22.08/12.61 Conjecture not found
% 22.11/12.70 Conjecture not found
% 22.18/12.74 Conjecture not found
% 22.18/12.75 Conjecture not found
% 22.25/12.86 Conjecture not found
% 22.55/12.88 Conjecture not found
% 22.57/12.90 Conjecture not found
% 22.61/12.93 Conjecture not found
% 22.61/12.99 Conjecture not found
% 22.88/13.00 Conjecture not found
% 22.88/13.06 Conjecture not found
% 22.95/13.13 Conjecture not found
% 22.95/13.15 Conjecture not found
% 22.95/13.16 Conjecture not found
% 23.30/13.24 Conjecture not found
% 23.33/13.29 Conjecture not found
% 23.33/13.29 Conjecture not found
% 23.42/13.33 Conjecture not found
% 23.42/13.37 Conjecture not found
% 23.50/13.43 Conjecture not found
% 23.77/13.49 Conjecture not found
% 23.84/13.55 Conjecture not found
% 23.84/13.56 Conjecture not found
% 23.84/13.61 Conjecture not found
% 24.20/13.70 Conjecture not found
% 24.29/13.80 Conjecture not found
% 24.29/13.82 Conjecture not found
% 24.35/13.90 Conjecture not found
% 24.65/13.93 Conjecture not found
% 24.65/13.95 Conjecture not found
% 24.65/13.95 Conjecture not found
% 24.65/13.97 Conjecture not found
% 24.72/13.99 Conjecture not found
% 24.72/14.00 Conjecture not found
% 24.80/14.06 Conjecture not found
% 25.11/14.16 Conjecture not found
% 25.11/14.21 Conjecture not found
% 25.18/14.23 Conjecture not found
% 25.18/14.23 Conjecture not found
% 25.18/14.28 Conjecture not found
% 25.26/14.30 Conjecture not found
% 25.26/14.31 Conjecture not found
% 25.62/14.43 Conjecture not found
% 25.62/14.45 Conjecture not found
% 25.62/14.49 Conjecture not found
% 25.72/14.55 Conjecture not found
% 25.72/14.57 Conjecture not found
% 25.96/14.65 Conjecture not found
% 26.25/14.88 Conjecture not found
% 26.57/14.97 Conjecture not found
% 26.57/14.98 Conjecture not found
% 26.67/15.06 Conjecture not found
% 26.67/15.08 Conjecture not found
% 27.01/15.15 Conjecture not found
% 27.01/15.19 Conjecture not found
% 27.11/15.27 Conjecture not found
% 27.21/15.30 Conjecture not found
% 27.22/15.31 Conjecture not found
% 27.22/15.35 Conjecture not found
% 27.22/15.40 Conjecture not found
% 27.58/15.47 Conjecture not found
% 27.67/15.54 Conjecture not found
% 27.67/15.56 Conjecture not found
% 27.67/15.56 Conjecture not found
% 27.67/15.56 Conjecture not found
% 27.76/15.60 Conjecture not found
% 27.76/15.62 Conjecture not found
% 28.10/15.72 Conjecture not found
% 28.22/15.81 Conjecture not found
% 28.22/15.87 Conjecture not found
% 28.40/15.91 Conjecture not found
% 28.40/15.94 Conjecture not found
% 28.40/15.95 Conjecture not found
% 28.66/15.99 Conjecture not found
% 28.66/16.02 Conjecture not found
% 28.66/16.02 Conjecture not found
% 28.66/16.05 Conjecture not found
% 28.75/16.08 Conjecture not found
% 28.77/16.11 Conjecture not found
% 28.88/16.18 Conjecture not found
% 29.14/16.22 Conjecture not found
% 29.20/16.31 Conjecture not found
% 29.20/16.33 Conjecture not found
% 29.20/16.35 Conjecture not found
% 29.40/16.42 Conjecture not found
% 29.50/16.47 Conjecture not found
% 29.70/16.54 Conjecture not found
% 29.70/16.56 Conjecture not found
% 29.77/16.58 Conjecture not found
% 29.77/16.60 Conjecture not found
% 29.77/16.63 Conjecture not found
% 29.77/16.64 Conjecture not found
% 30.19/16.78 Conjecture not found
% 30.19/16.79 Conjecture not found
% 30.19/16.80 Conjecture not found
% 30.30/16.85 Conjecture not found
% 30.30/16.89 Conjecture not found
% 30.36/16.91 Conjecture not found
% 30.36/16.93 Conjecture not found
% 30.43/16.96 Conjecture not found
% 30.43/16.99 Conjecture not found
% 30.76/17.05 Conjecture not found
% 30.76/17.09 Conjecture not found
% 30.76/17.13 Conjecture not found
% 30.91/17.15 Conjecture not found
% 30.91/17.16 Conjecture not found
% 30.91/17.17 Conjecture not found
% 30.97/17.21 Conjecture not found
% 30.97/17.25 Conjecture not found
% 31.11/17.29 Conjecture not found
% 31.40/17.36 Conjecture not found
% 31.40/17.37 Conjecture not found
% 31.47/17.43 Conjecture not found
% 31.53/17.48 Conjecture not found
% 31.53/17.50 Conjecture not found
% 31.53/17.52 Conjecture not found
% 31.53/17.54 Conjecture not found
% 31.61/17.57 Conjecture not found
% 31.64/17.58 Conjecture not found
% 31.64/17.60 Conjecture not found
% 31.89/17.68 Conjecture not found
% 31.89/17.71 Conjecture not found
% 32.05/17.73 Conjecture not found
% 32.12/17.78 Conjecture not found
% 32.12/17.83 Conjecture not found
% 32.54/17.96 Conjecture not found
% 32.54/17.99 Conjecture not found
% 32.54/18.03 Conjecture not found
% 32.73/18.09 Conjecture not found
% 32.80/18.16 Conjecture not found
% 33.00/18.21 Conjecture not found
% 33.19/18.30 Conjecture not found
% 33.19/18.32 Conjecture not found
% 33.19/18.33 Conjecture not found
% 33.29/18.34 Conjecture not found
% 33.29/18.35 Conjecture not found
% 33.29/18.37 Conjecture not found
% 33.29/18.39 Conjecture not found
% 33.29/18.40 Conjecture not found
% 33.37/18.43 Conjecture not found
% 33.37/18.44 Conjecture not found
% 33.69/18.51 Conjecture not found
% 33.77/18.60 Conjecture not found
% 33.88/18.63 Conjecture not found
% 33.88/18.67 Conjecture not found
% 33.88/18.68 Conjecture not found
% 33.97/18.69 Conjecture not found
% 33.97/18.76 Conjecture not found
% 34.09/18.89 Conjecture not found
% 34.09/18.93 Conjecture not found
% 34.53/18.96 Conjecture not found
% 34.62/19.04 Conjecture not found
% 34.62/19.08 Conjecture not found
% 34.70/19.11 Conjecture not found
% 34.70/19.17 Conjecture not found
% 35.09/19.20 Conjecture not found
% 35.09/19.26 Conjecture not found
% 35.09/19.27 Conjecture not found
% 35.21/19.28 Conjecture not found
% 35.22/19.30 Conjecture not found
% 35.25/19.32 Conjecture not found
% 35.25/19.33 Conjecture not found
% 35.25/19.35 Conjecture not found
% 35.25/19.36 Conjecture not found
% 35.25/19.39 Conjecture not found
% 35.34/19.42 Conjecture not found
% 35.75/19.51 Conjecture not found
% 35.75/19.57 Conjecture not found
% 35.91/19.68 Conjecture not found
% 35.91/19.69 Conjecture not found
% 35.98/19.71 Conjecture not found
% 35.98/19.73 Conjecture not found
% 35.98/19.75 Conjecture not found
% 36.13/19.77 Conjecture not found
% 36.13/19.78 Conjecture not found
% 36.49/19.88 Conjecture not found
% 36.52/19.89 Conjecture not found
% 36.52/19.91 Conjecture not found
% 36.56/19.94 Conjecture not found
% 36.57/19.94 Conjecture not found
% 36.57/19.96 Conjecture not found
% 36.57/19.99 Conjecture not found
% 36.57/20.00 Conjecture not found
% 36.64/20.02 Conjecture not found
% 36.64/20.05 Conjecture not found
% 36.86/20.09 Conjecture not found
% 36.86/20.13 Conjecture not found
% 36.86/20.13 Conjecture not found
% 36.86/20.14 Conjecture not found
% 36.86/20.15 Conjecture not found
% 37.18/20.20 Conjecture not found
% 37.25/20.25 Conjecture not found
% 37.25/20.28 Conjecture not found
% 37.63/20.34 Conjecture not found
% 37.79/20.39 Conjecture not found
% 37.79/20.40 Conjecture not found
% 37.79/20.43 Conjecture not found
% 37.86/20.50 Conjecture not found
% 37.90/20.54 Conjecture not found
% 37.94/20.56 Conjecture not found
% 37.94/20.60 Conjecture not found
% 37.94/20.62 Conjecture not found
% 38.03/20.69 Conjecture not found
% 38.54/20.76 Conjecture not found
% 38.55/20.79 Conjecture not found
% 38.60/20.83 Conjecture not found
% 38.62/20.86 Conjecture not found
% 38.62/20.88 Conjecture not found
% 38.62/20.90 Conjecture not found
% 38.70/20.93 Conjecture not found
% 38.70/20.94 Conjecture not found
% 38.76/20.98 Conjecture not found
% 38.76/21.01 Conjecture not found
% 38.96/21.10 Conjecture not found
% 39.28/21.12 Conjecture not found
% 39.31/21.17 Conjecture not found
% 39.31/21.21 Conjecture not found
% 39.39/21.24 Conjecture not found
% 39.39/21.26 Conjecture not found
% 39.39/21.28 Conjecture not found
% 39.39/21.29 Conjecture not found
% 39.46/21.31 Conjecture not found
% 39.46/21.35 Conjecture not found
% 39.46/21.36 Conjecture not found
% 39.55/21.39 Conjecture not found
% 39.59/21.43 Conjecture not found
% 39.59/21.45 Conjecture not found
% 40.08/21.55 Conjecture not found
% 40.08/21.56 Conjecture not found
% 40.08/21.57 Conjecture not found
% 40.15/21.58 Conjecture not found
% 40.15/21.61 Conjecture not found
% 40.15/21.62 Conjecture not found
% 40.15/21.65 Conjecture not found
% 40.24/21.67 Conjecture not found
% 40.24/21.68 Conjecture not found
% 40.26/21.71 Conjecture not found
% 40.30/21.75 Conjecture not found
% 40.86/21.90 Conjecture not found
% 40.86/21.92 Conjecture not found
% 40.86/21.93 Conjecture not found
% 40.86/21.94 Conjecture not found
% 40.98/22.03 Conjecture not found
% 40.98/22.04 Conjecture not found
% 40.98/22.07 Conjecture not found
% 40.98/22.10 Conjecture not found
% 41.46/22.22 Conjecture not found
% 41.46/22.25 Conjecture not found
% 41.72/22.35 Conjecture not found
% 41.72/22.36 Conjecture not found
% 41.72/22.41 Conjecture not found
% 41.72/22.42 Conjecture not found
% 41.72/22.42 Conjecture not found
% 41.81/22.43 Conjecture not found
% 41.81/22.46 Conjecture not found
% 41.81/22.49 Conjecture not found
% 42.06/22.55 Conjecture not found
% 42.06/22.58 Conjecture not found
% 42.40/22.61 Conjecture not found
% 42.40/22.67 Conjecture not found
% 42.48/22.68 Conjecture not found
% 42.50/22.69 Conjecture not found
% 42.54/22.73 Conjecture not found
% 42.54/22.75 Conjecture not found
% 42.54/22.79 Conjecture not found
% 42.62/22.82 Conjecture not found
% 42.62/22.88 Conjecture not found
% 42.80/22.94 Conjecture not found
% 43.27/23.12 Conjecture not found
% 43.27/23.16 Conjecture not found
% 43.32/23.18 Conjecture not found
% 43.32/23.22 Conjecture not found
% 43.41/23.26 Conjecture not found
% 43.41/23.27 Conjecture not found
% 43.44/23.29 Conjecture not found
% 43.44/23.31 Conjecture not found
% 43.50/23.41 Conjecture not found
% 43.57/23.44 Conjecture not found
% 43.57/23.45 Conjecture not found
% 43.66/23.49 Conjecture not found
% 43.66/23.51 Conjecture not found
% 43.66/23.54 Conjecture not found
% 43.66/23.56 Conjecture not found
% 44.20/23.58 Conjecture not found
% 44.20/23.59 Conjecture not found
% 44.24/23.61 Conjecture not found
% 44.24/23.63 Conjecture not found
% 44.28/23.66 Conjecture not found
% 44.28/23.68 Conjecture not found
% 44.28/23.69 Conjecture not found
% 44.28/23.71 Conjecture not found
% 44.28/23.72 Conjecture not found
% 44.28/23.73 Conjecture not found
% 44.38/23.78 Conjecture not found
% 44.52/23.83 Conjecture not found
% 44.52/23.84 Conjecture not found
% 44.91/23.86 Conjecture not found
% 44.91/23.87 Conjecture not found
% 44.91/23.90 Conjecture not found
% 44.96/23.91 Conjecture not found
% 44.96/23.93 Conjecture not found
% 45.01/23.95 Conjecture not found
% 45.01/23.97 Conjecture not found
% 45.01/24.01 Conjecture not found
% 45.01/24.02 Conjecture not found
% 45.01/24.03 Conjecture not found
% 45.11/24.05 Conjecture not found
% 45.11/24.09 Conjecture not found
% 45.16/24.10 Conjecture not found
% 45.23/24.17 Conjecture not found
% 45.24/24.18 Conjecture not found
% 45.24/24.18 Conjecture not found
% 45.81/24.35 Conjecture not found
% 45.81/24.37 Conjecture not found
% 45.86/24.39 Conjecture not found
% 45.86/24.40 Conjecture not found
% 45.86/24.43 Conjecture not found
% 45.94/24.46 Conjecture not found
% 45.96/24.50 Conjecture not found
% 46.01/24.53 Conjecture not found
% 46.03/24.56 Conjecture not found
% 46.66/24.72 Conjecture not found
% 46.66/24.73 Conjecture not found
% 46.76/24.79 Conjecture not found
% 46.76/24.81 Conjecture not found
% 46.79/24.85 Conjecture not found
% 46.79/24.86 Conjecture not found
% 46.79/24.87 Conjecture not found
% 46.79/24.88 Conjecture not found
% 46.87/24.91 Conjecture not found
% 46.87/24.93 Conjecture not found
% 46.87/24.94 Conjecture not found
% 46.87/24.96 Conjecture not found
% 46.94/24.99 Conjecture not found
% 46.94/25.00 Conjecture not found
% 46.94/25.03 Conjecture not found
% 46.94/25.04 Conjecture not found
% 47.59/25.17 Conjecture not found
% 47.59/25.21 Conjecture not found
% 47.68/25.27 Conjecture not found
% 47.75/25.31 Conjecture not found
% 47.75/25.35 Conjecture not found
% 47.86/25.40 Conjecture not found
% 47.88/25.42 Conjecture not found
% 47.88/25.44 Conjecture not found
% 47.88/25.48 Conjecture not found
% 47.97/25.58 Conjecture not found
% 48.83/25.88 Conjecture not found
% 48.83/25.89 Conjecture not found
% 48.90/25.94 Conjecture not found
% 49.45/26.02 Conjecture not found
% 49.45/26.04 Conjecture not found
% 49.45/26.05 Conjecture not found
% 49.45/26.06 Conjecture not found
% 49.58/26.08 Conjecture not found
% 49.60/26.09 Conjecture not found
% 49.60/26.10 Conjecture not found
% 49.62/26.12 Conjecture not found
% 49.62/26.18 Conjecture not found
% 49.71/26.27 Conjecture not found
% 49.78/26.34 Conjecture not found
% 49.88/26.38 Conjecture not found
% 50.13/26.44 Conjecture not found
% 50.13/26.48 Conjecture not found
% 50.50/26.51 Conjecture not found
% 50.56/26.57 Conjecture not found
% 50.56/26.58 Conjecture not found
% 50.56/26.60 Conjecture not found
% 50.56/26.62 Conjecture not found
% 50.56/26.63 Conjecture not found
% 50.69/26.69 Conjecture not found
% 50.69/26.72 Conjecture not found
% 50.74/26.76 Conjecture not found
% 50.80/26.81 Conjecture not found
% 50.80/26.82 Conjecture not found
% 50.86/26.88 Conjecture not found
% 50.86/26.94 Conjecture not found
% 51.44/26.98 Conjecture not found
% 51.44/26.98 Conjecture not found
% 51.44/27.01 Conjecture not found
% 51.52/27.02 Conjecture not found
% 51.52/27.03 Conjecture not found
% 51.56/27.08 Conjecture not found
% 51.56/27.09 Conjecture not found
% 51.56/27.10 Conjecture not found
% 51.56/27.11 Conjecture not found
% 51.56/27.12 Conjecture not found
% 51.65/27.14 Conjecture not found
% 51.65/27.16 Conjecture not found
% 51.65/27.17 Conjecture not found
% 51.69/27.23 Conjecture not found
% 51.76/27.26 Conjecture not found
% 51.76/27.27 Conjecture not found
% 51.76/27.28 Conjecture not found
% 52.09/27.38 Conjecture not found
% 52.09/27.40 Conjecture not found
% 52.51/27.46 Conjecture not found
% 52.51/27.48 Conjecture not found
% 52.64/27.58 Conjecture not found
% 52.64/27.60 Conjecture not found
% 52.70/27.63 Conjecture not found
% 52.72/27.66 Conjecture not found
% 52.72/27.69 Conjecture not found
% 52.72/27.70 Conjecture not found
% 52.79/27.74 Conjecture not found
% 52.94/27.83 Conjecture not found
% 53.53/27.91 Conjecture not found
% 53.57/27.93 Conjecture not found
% 53.59/27.95 Conjecture not found
% 53.68/28.02 Conjecture not found
% 53.68/28.08 Conjecture not found
% 53.75/28.15 Conjecture not found
% 53.75/28.17 Conjecture not found
% 53.83/28.18 Conjecture not found
% 53.85/28.19 Conjecture not found
% 53.85/28.21 Conjecture not found
% 53.88/28.24 Conjecture not found
% 53.88/28.25 Conjecture not found
% 53.88/28.26 Conjecture not found
% 53.88/28.28 Conjecture not found
% 54.62/28.38 Conjecture not found
% 54.62/28.39 Conjecture not found
% 54.62/28.42 Conjecture not found
% 54.62/28.46 Conjecture not found
% 54.71/28.47 Conjecture not found
% 54.76/28.59 Conjecture not found
% 54.76/28.59 Conjecture not found
% 54.85/28.63 Conjecture not found
% 54.85/28.65 Conjecture not found
% 54.92/28.71 Conjecture not found
% 55.04/28.83 Conjecture not found
% 55.66/28.91 Conjecture not found
% 55.66/28.94 Conjecture not found
% 55.66/28.95 Conjecture not found
% 55.66/28.95 Conjecture not found
% 55.66/28.98 Conjecture not found
% 55.66/28.99 Conjecture not found
% 55.80/29.08 Conjecture not found
% 55.90/29.09 Conjecture not found
% 56.03/29.23 Conjecture not found
% 56.03/29.30 Conjecture not found
% 56.12/29.32 Conjecture not found
% 56.12/29.34 Conjecture not found
% 56.12/29.36 Conjecture not found
% 56.39/29.41 Conjecture not found
% 56.39/29.44 Conjecture not found
% 56.39/29.47 Conjecture not found
% 56.93/29.51 Conjecture not found
% 56.93/29.55 Conjecture not found
% 56.93/29.56 Conjecture not found
% 57.01/29.64 Conjecture not found
% 57.09/29.74 Conjecture not found
% 57.09/29.77 Conjecture not found
% 57.19/29.81 Conjecture not found
% 57.22/29.83 Conjecture not found
% 57.24/29.84 Conjecture not found
% 57.24/29.86 Conjecture not found
% 57.24/29.89 Conjecture not found
% 57.31/29.90 Conjecture not found
% 57.74/30.05 Conjecture not found
% 58.33/30.34 Conjecture not found
% 59.20/30.57 Conjecture not found
% 59.20/30.57 Conjecture not found
% 59.26/30.63 Conjecture not found
% 59.40/30.73 Conjecture not found
% 59.44/30.77 Conjecture not found
% 59.44/30.78 Conjecture not found
% 59.44/30.79 Conjecture not found
% 59.44/30.83 Conjecture not found
% 59.52/30.85 Conjecture not found
% 59.57/30.92 Conjecture not found
% 59.57/30.94 Conjecture not found
% 59.57/30.94 Conjecture not found
% 59.57/30.96 Conjecture not found
% 59.67/30.98 Conjecture not found
% 59.67/31.00 Conjecture not found
% 59.67/31.00 Conjecture not found
% 59.67/31.01 Conjecture not found
% 60.50/31.19 Conjecture not found
% 60.50/31.20 Conjecture not found
% 60.50/31.24 Conjecture not found
% 60.61/31.30 Conjecture not found
% 60.61/31.31 Conjecture not found
% 60.61/31.31 Conjecture not found
% 60.66/31.33 Conjecture not found
% 60.66/31.34 Conjecture not found
% 60.68/31.37 Conjecture not found
% 60.75/31.44 Conjecture not found
% 60.75/31.45 Conjecture not found
% 60.90/31.56 Conjecture not found
% 60.96/31.68 Conjecture not found
% 61.03/31.71 Conjecture not found
% 61.03/31.74 Conjecture not found
% 61.03/31.76 Conjecture not found
% 61.41/31.83 Conjecture not found
% 61.84/31.87 Conjecture not found
% 61.87/31.93 Conjecture not found
% 61.91/31.95 Conjecture not found
% 61.91/31.96 Conjecture not found
% 61.91/31.97 Conjecture not found
% 61.99/32.02 Conjecture not found
% 61.99/32.04 Conjecture not found
% 62.06/32.09 Conjecture not found
% 62.06/32.12 Conjecture not found
% 62.06/32.12 Conjecture not found
% 62.06/32.14 Conjecture not found
% 62.06/32.17 Conjecture not found
% 62.16/32.18 Conjecture not found
% 62.16/32.19 Conjecture not found
% 62.19/32.21 Conjecture not found
% 62.19/32.23 Conjecture not found
% 62.19/32.24 Conjecture not found
% 62.19/32.28 Conjecture not found
% 62.19/32.29 Conjecture not found
% 62.28/32.35 Conjecture not found
% 62.45/32.47 Conjecture not found
% 63.10/32.50 Conjecture not found
% 63.14/32.53 Conjecture not found
% 63.14/32.57 Conjecture not found
% 63.23/32.62 Conjecture not found
% 63.23/32.68 Conjecture not found
% 63.32/32.74 Conjecture not found
% 63.40/32.79 Conjecture not found
% 63.40/32.82 Conjecture not found
% 63.40/32.83 Conjecture not found
% 63.55/32.89 Conjecture not found
% 63.72/32.92 Conjecture not found
% 63.72/32.96 Conjecture not found
% 64.29/33.05 Conjecture not found
% 64.37/33.11 Conjecture not found
% 64.37/33.12 Conjecture not found
% 64.37/33.15 Conjecture not found
% 64.37/33.17 Conjecture not found
% 64.37/33.17 Conjecture not found
% 64.47/33.18 Conjecture not found
% 64.47/33.20 Conjecture not found
% 64.52/33.25 Conjecture not found
% 64.52/33.28 Conjecture not found
% 64.52/33.29 Conjecture not found
% 64.59/33.32 Conjecture not found
% 64.59/33.35 Conjecture not found
% 64.65/33.39 Conjecture not found
% 64.65/33.39 Conjecture not found
% 64.65/33.41 Conjecture not found
% 64.94/33.46 Conjecture not found
% 65.50/33.58 Conjecture not found
% 65.60/33.65 Conjecture not found
% 65.60/33.66 Conjecture not found
% 65.66/33.73 Conjecture not found
% 65.77/33.78 Conjecture not found
% 65.80/33.81 Conjecture not found
% 65.83/33.86 Conjecture not found
% 65.83/33.86 Conjecture not found
% 65.83/33.87 Conjecture not found
% 65.83/33.92 Conjecture not found
% 65.93/33.93 Conjecture not found
% 65.93/33.94 Conjecture not found
% 65.93/33.96 Conjecture not found
% 65.93/33.97 Conjecture not found
% 65.93/33.97 Conjecture not found
% 65.93/33.99 Conjecture not found
% 66.59/34.12 Conjecture not found
% 66.88/34.18 Conjecture not found
% 66.91/34.20 Conjecture not found
% 66.91/34.21 Conjecture not found
% 66.95/34.23 Conjecture not found
% 66.95/34.28 Conjecture not found
% 67.01/34.33 Conjecture not found
% 67.19/34.48 Conjecture not found
% 67.24/34.56 Conjecture not found
% 67.24/34.58 Conjecture not found
% 67.24/34.60 Conjecture not found
% 67.95/34.74 Conjecture not found
% 67.95/34.75 Conjecture not found
% 68.24/34.79 Conjecture not found
% 68.24/34.79 Conjecture not found
% 68.24/34.80 Conjecture not found
% 68.24/34.81 Conjecture not found
% 68.28/34.82 Conjecture not found
% 68.30/34.84 Conjecture not found
% 68.30/34.85 Conjecture not found
% 68.30/34.86 Conjecture not found
% 68.30/34.88 Conjecture not found
% 68.30/34.89 Conjecture not found
% 68.30/34.89 Conjecture not found
% 68.38/34.92 Conjecture not found
% 68.38/34.95 Conjecture not found
% 68.38/34.98 Conjecture not found
% 68.38/35.00 Conjecture not found
% 68.47/35.04 Conjecture not found
% 68.47/35.07 Conjecture not found
% 68.55/35.08 Conjecture not found
% 69.30/35.23 Conjecture not found
% 69.30/35.25 Conjecture not found
% 69.52/35.27 Conjecture not found
% 69.52/35.29 Conjecture not found
% 69.52/35.33 Conjecture not found
% 69.52/35.36 Conjecture not found
% 70.72/35.95 Conjecture not found
% 70.99/35.98 Conjecture not found
% 71.00/36.01 Conjecture not found
% 71.02/36.05 Conjecture not found
% 71.11/36.12 Conjecture not found
% 71.11/36.14 Conjecture not found
% 71.19/36.20 Conjecture not found
% 71.19/36.22 Conjecture not found
% 71.19/36.26 Conjecture not found
% 71.28/36.29 Conjecture not found
% 71.28/36.31 Conjecture not found
% 71.28/36.33 Conjecture not found
% 71.28/36.37 Conjecture not found
% 71.40/36.40 Conjecture not found
% 71.49/36.46 Conjecture not found
% 71.49/36.48 Start search
% 173.14/59.65 nb_step : 1 - limit : 175709
% 173.92/60.40 Launch Gotab with destructive = true
%------------------------------------------------------------------------------