TSTP Solution File: SEU446+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU446+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n013.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:17 EDT 2022
% Result : Timeout 300.09s 91.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SEU446+4 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n013.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 : Sat Sep 3 14:50:42 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.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.56/0.57 Conjecture not found
% 0.56/0.58 Conjecture not found
% 0.60/0.60 Conjecture not found
% 0.60/0.62 Conjecture not found
% 0.68/0.67 Conjecture not found
% 0.78/0.74 Conjecture not found
% 0.78/0.75 Conjecture not found
% 0.87/0.82 Conjecture not found
% 1.06/0.87 Conjecture not found
% 1.20/0.96 Conjecture not found
% 1.20/0.99 Conjecture not found
% 1.29/1.06 Conjecture not found
% 1.40/1.10 Conjecture not found
% 1.40/1.15 Conjecture not found
% 1.59/1.18 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.65/1.22 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.65/1.24 Conjecture not found
% 1.70/1.25 Conjecture not found
% 1.86/1.34 Conjecture not found
% 1.86/1.37 Conjecture not found
% 1.86/1.37 Conjecture not found
% 1.95/1.39 Conjecture not found
% 1.95/1.39 Conjecture not found
% 1.95/1.40 Conjecture not found
% 1.95/1.40 Conjecture not found
% 1.95/1.41 Conjecture not found
% 1.95/1.41 Conjecture not found
% 2.07/1.46 Conjecture not found
% 2.09/1.51 Conjecture not found
% 2.09/1.51 Conjecture not found
% 2.18/1.51 Conjecture not found
% 2.18/1.53 Conjecture not found
% 2.23/1.54 Conjecture not found
% 2.23/1.56 Conjecture not found
% 2.23/1.57 Conjecture not found
% 2.23/1.60 Conjecture not found
% 2.23/1.62 Conjecture not found
% 2.43/1.63 Conjecture not found
% 2.43/1.64 Conjecture not found
% 2.43/1.65 Conjecture not found
% 2.43/1.69 Conjecture not found
% 2.59/1.75 Conjecture not found
% 2.80/1.80 Conjecture not found
% 2.80/1.81 Conjecture not found
% 2.88/1.83 Conjecture not found
% 2.88/1.85 Conjecture not found
% 2.88/1.88 Conjecture not found
% 2.88/1.90 Conjecture not found
% 3.02/1.92 Conjecture not found
% 3.21/2.02 Conjecture not found
% 3.21/2.05 Conjecture not found
% 3.39/2.08 Conjecture not found
% 3.42/2.09 Conjecture not found
% 3.42/2.11 Conjecture not found
% 3.48/2.13 Conjecture not found
% 3.87/2.31 Conjecture not found
% 3.87/2.34 Conjecture not found
% 3.87/2.37 Conjecture not found
% 4.05/2.46 Conjecture not found
% 4.05/2.47 Conjecture not found
% 4.27/2.48 Conjecture not found
% 4.29/2.51 Conjecture not found
% 4.29/2.54 Conjecture not found
% 4.48/2.61 Conjecture not found
% 4.48/2.68 Conjecture not found
% 4.69/2.75 Conjecture not found
% 4.95/2.80 Conjecture not found
% 4.95/2.82 Conjecture not found
% 5.05/2.86 Conjecture not found
% 5.05/2.86 Conjecture not found
% 5.05/2.90 Conjecture not found
% 5.22/2.92 Conjecture not found
% 5.22/2.94 Conjecture not found
% 5.22/2.95 Conjecture not found
% 5.37/3.03 Conjecture not found
% 5.37/3.04 Conjecture not found
% 5.54/3.09 Conjecture not found
% 5.65/3.17 Conjecture not found
% 5.80/3.27 Conjecture not found
% 6.21/3.42 Conjecture not found
% 6.58/3.63 Conjecture not found
% 7.31/3.88 Conjecture not found
% 7.31/3.91 Conjecture not found
% 7.31/3.93 Conjecture not found
% 7.60/4.05 Conjecture not found
% 7.60/4.09 Conjecture not found
% 7.73/4.14 Conjecture not found
% 7.77/4.22 Conjecture not found
% 7.92/4.27 Conjecture not found
% 8.10/4.34 Conjecture not found
% 8.12/4.38 Conjecture not found
% 8.12/4.41 Conjecture not found
% 8.24/4.42 Conjecture not found
% 8.24/4.45 Conjecture not found
% 8.24/4.46 Conjecture not found
% 8.30/4.55 Conjecture not found
% 8.67/4.64 Conjecture not found
% 8.75/4.71 Conjecture not found
% 8.86/4.81 Conjecture not found
% 8.86/4.84 Conjecture not found
% 9.03/4.88 Conjecture not found
% 9.08/4.91 Conjecture not found
% 9.08/4.92 Conjecture not found
% 9.21/4.94 Conjecture not found
% 9.21/4.96 Conjecture not found
% 9.21/4.97 Conjecture not found
% 9.21/5.01 Conjecture not found
% 9.21/5.01 Conjecture not found
% 9.38/5.02 Conjecture not found
% 9.38/5.04 Conjecture not found
% 9.47/5.08 Conjecture not found
% 9.47/5.10 Conjecture not found
% 9.47/5.16 Conjecture not found
% 9.68/5.20 Conjecture not found
% 9.96/5.36 Conjecture not found
% 10.04/5.40 Conjecture not found
% 10.04/5.41 Conjecture not found
% 10.04/5.43 Conjecture not found
% 10.04/5.46 Conjecture not found
% 10.25/5.50 Conjecture not found
% 10.25/5.55 Conjecture not found
% 10.25/5.56 Conjecture not found
% 10.46/5.58 Conjecture not found
% 10.48/5.60 Conjecture not found
% 10.51/5.68 Conjecture not found
% 11.54/6.21 Conjecture not found
% 12.51/6.69 Conjecture not found
% 12.69/6.82 Conjecture not found
% 12.85/6.87 Conjecture not found
% 12.85/6.88 Conjecture not found
% 12.85/6.90 Conjecture not found
% 12.85/6.93 Conjecture not found
% 12.93/6.95 Conjecture not found
% 12.93/6.97 Conjecture not found
% 13.06/7.01 Conjecture not found
% 13.12/7.05 Conjecture not found
% 13.28/7.12 Conjecture not found
% 13.28/7.15 Conjecture not found
% 13.32/7.16 Conjecture not found
% 13.32/7.18 Conjecture not found
% 13.32/7.23 Conjecture not found
% 13.53/7.27 Conjecture not found
% 13.53/7.33 Conjecture not found
% 13.64/7.38 Conjecture not found
% 13.73/7.39 Conjecture not found
% 13.73/7.41 Conjecture not found
% 13.73/7.42 Conjecture not found
% 13.79/7.44 Conjecture not found
% 13.88/7.49 Conjecture not found
% 13.97/7.54 Conjecture not found
% 13.97/7.55 Conjecture not found
% 14.01/7.61 Conjecture not found
% 14.20/7.65 Conjecture not found
% 14.20/7.66 Conjecture not found
% 14.20/7.67 Conjecture not found
% 14.24/7.69 Conjecture not found
% 14.24/7.72 Conjecture not found
% 14.24/7.74 Conjecture not found
% 14.40/7.75 Conjecture not found
% 14.42/7.77 Conjecture not found
% 14.42/7.78 Conjecture not found
% 14.42/7.79 Conjecture not found
% 14.48/7.84 Conjecture not found
% 14.48/7.86 Conjecture not found
% 14.64/7.90 Conjecture not found
% 14.64/7.93 Conjecture not found
% 14.64/7.95 Conjecture not found
% 14.73/7.97 Conjecture not found
% 14.89/8.00 Conjecture not found
% 14.89/8.03 Conjecture not found
% 14.93/8.06 Conjecture not found
% 14.93/8.07 Conjecture not found
% 14.93/8.10 Conjecture not found
% 14.93/8.12 Conjecture not found
% 15.13/8.15 Conjecture not found
% 15.21/8.20 Conjecture not found
% 15.21/8.21 Conjecture not found
% 15.21/8.23 Conjecture not found
% 15.27/8.27 Conjecture not found
% 15.27/8.29 Conjecture not found
% 15.27/8.31 Conjecture not found
% 15.27/8.33 Conjecture not found
% 15.27/8.34 Conjecture not found
% 15.27/8.34 Conjecture not found
% 15.27/8.34 Conjecture not found
% 15.27/8.34 Conjecture not found
% 15.53/8.37 Conjecture not found
% 15.76/8.48 Conjecture not found
% 15.76/8.49 Conjecture not found
% 15.76/8.53 Conjecture not found
% 15.86/8.55 Conjecture not found
% 15.86/8.56 Conjecture not found
% 15.86/8.59 Conjecture not found
% 15.86/8.61 Conjecture not found
% 16.10/8.64 Conjecture not found
% 16.16/8.68 Conjecture not found
% 16.16/8.70 Conjecture not found
% 16.16/8.75 Conjecture not found
% 16.46/8.80 Conjecture not found
% 16.72/8.92 Conjecture not found
% 16.72/8.97 Conjecture not found
% 16.90/9.02 Conjecture not found
% 16.90/9.03 Conjecture not found
% 16.90/9.05 Conjecture not found
% 17.02/9.08 Conjecture not found
% 17.02/9.13 Conjecture not found
% 17.02/9.16 Conjecture not found
% 17.34/9.24 Conjecture not found
% 17.34/9.31 Conjecture not found
% 17.59/9.38 Conjecture not found
% 17.59/9.41 Conjecture not found
% 17.67/9.48 Conjecture not found
% 17.90/9.50 Conjecture not found
% 17.90/9.53 Conjecture not found
% 17.90/9.56 Conjecture not found
% 18.18/9.66 Conjecture not found
% 18.28/9.74 Conjecture not found
% 18.28/9.76 Conjecture not found
% 18.51/9.81 Conjecture not found
% 18.51/9.83 Conjecture not found
% 18.51/9.86 Conjecture not found
% 18.59/9.92 Conjecture not found
% 18.85/10.01 Conjecture not found
% 18.88/10.02 Conjecture not found
% 18.91/10.05 Conjecture not found
% 19.29/10.30 Conjecture not found
% 19.60/10.38 Conjecture not found
% 19.64/10.41 Conjecture not found
% 19.64/10.43 Conjecture not found
% 19.68/10.44 Conjecture not found
% 19.68/10.46 Conjecture not found
% 19.96/10.55 Conjecture not found
% 20.02/10.60 Conjecture not found
% 20.26/10.67 Conjecture not found
% 20.26/10.74 Conjecture not found
% 20.26/10.77 Conjecture not found
% 20.69/10.89 Conjecture not found
% 20.76/10.95 Conjecture not found
% 20.80/10.98 Conjecture not found
% 20.80/11.02 Conjecture not found
% 21.09/11.09 Conjecture not found
% 21.09/11.10 Conjecture not found
% 21.16/11.14 Conjecture not found
% 21.16/11.14 Conjecture not found
% 21.16/11.16 Conjecture not found
% 21.20/11.20 Conjecture not found
% 21.20/11.22 Conjecture not found
% 21.35/11.26 Conjecture not found
% 21.49/11.29 Conjecture not found
% 21.57/11.36 Conjecture not found
% 21.57/11.37 Conjecture not found
% 21.60/11.39 Conjecture not found
% 21.60/11.41 Conjecture not found
% 21.99/11.57 Conjecture not found
% 21.99/11.58 Conjecture not found
% 21.99/11.62 Conjecture not found
% 21.99/11.62 Conjecture not found
% 21.99/11.63 Conjecture not found
% 22.07/11.63 Conjecture not found
% 22.07/11.64 Conjecture not found
% 22.32/11.72 Conjecture not found
% 22.32/11.72 Conjecture not found
% 22.32/11.74 Conjecture not found
% 22.40/11.80 Conjecture not found
% 22.51/11.87 Conjecture not found
% 22.69/11.94 Conjecture not found
% 22.78/11.95 Conjecture not found
% 23.07/12.06 Conjecture not found
% 23.24/12.18 Conjecture not found
% 23.24/12.21 Conjecture not found
% 23.24/12.25 Conjecture not found
% 23.47/12.26 Conjecture not found
% 23.47/12.27 Conjecture not found
% 23.56/12.35 Conjecture not found
% 23.82/12.43 Conjecture not found
% 23.82/12.46 Conjecture not found
% 23.88/12.48 Conjecture not found
% 24.20/12.57 Conjecture not found
% 24.23/12.62 Conjecture not found
% 24.26/12.63 Conjecture not found
% 24.26/12.68 Conjecture not found
% 24.33/12.74 Conjecture not found
% 24.33/12.75 Conjecture not found
% 24.60/12.79 Conjecture not found
% 24.60/12.84 Conjecture not found
% 24.60/12.85 Conjecture not found
% 24.60/12.86 Conjecture not found
% 24.80/12.92 Conjecture not found
% 24.98/12.95 Conjecture not found
% 24.98/12.95 Conjecture not found
% 24.98/12.98 Conjecture not found
% 24.98/13.01 Conjecture not found
% 25.05/13.06 Conjecture not found
% 25.37/13.12 Conjecture not found
% 25.53/13.17 Conjecture not found
% 25.55/13.19 Conjecture not found
% 25.60/13.25 Conjecture not found
% 25.90/13.33 Conjecture not found
% 25.90/13.38 Conjecture not found
% 25.97/13.39 Conjecture not found
% 25.97/13.45 Conjecture not found
% 26.31/13.48 Conjecture not found
% 26.31/13.49 Conjecture not found
% 26.31/13.49 Conjecture not found
% 26.31/13.50 Conjecture not found
% 26.37/13.54 Conjecture not found
% 26.39/13.55 Conjecture not found
% 26.48/13.63 Conjecture not found
% 26.70/13.71 Conjecture not found
% 26.86/13.79 Conjecture not found
% 26.86/13.80 Conjecture not found
% 26.91/13.81 Conjecture not found
% 26.94/13.86 Conjecture not found
% 26.94/13.87 Conjecture not found
% 26.94/13.88 Conjecture not found
% 27.32/13.99 Conjecture not found
% 27.32/14.02 Conjecture not found
% 27.32/14.05 Conjecture not found
% 27.41/14.11 Conjecture not found
% 27.46/14.13 Conjecture not found
% 27.49/14.18 Conjecture not found
% 27.93/14.36 Conjecture not found
% 28.24/14.45 Conjecture not found
% 28.27/14.47 Conjecture not found
% 28.34/14.55 Conjecture not found
% 28.34/14.56 Conjecture not found
% 28.38/14.64 Conjecture not found
% 28.79/14.69 Conjecture not found
% 28.87/14.78 Conjecture not found
% 28.92/14.82 Conjecture not found
% 28.92/14.83 Conjecture not found
% 28.92/14.85 Conjecture not found
% 28.96/14.88 Conjecture not found
% 29.32/14.95 Conjecture not found
% 29.37/15.03 Conjecture not found
% 29.37/15.04 Conjecture not found
% 29.43/15.04 Conjecture not found
% 29.43/15.05 Conjecture not found
% 29.44/15.09 Conjecture not found
% 29.44/15.10 Conjecture not found
% 29.84/15.17 Conjecture not found
% 29.93/15.26 Conjecture not found
% 29.98/15.31 Conjecture not found
% 29.98/15.33 Conjecture not found
% 30.06/15.36 Conjecture not found
% 30.06/15.39 Conjecture not found
% 30.37/15.45 Conjecture not found
% 30.37/15.47 Conjecture not found
% 30.37/15.47 Conjecture not found
% 30.43/15.50 Conjecture not found
% 30.43/15.53 Conjecture not found
% 30.49/15.57 Conjecture not found
% 30.53/15.60 Conjecture not found
% 30.78/15.65 Conjecture not found
% 30.93/15.75 Conjecture not found
% 30.93/15.78 Conjecture not found
% 30.93/15.79 Conjecture not found
% 31.09/15.91 Conjecture not found
% 31.31/15.96 Conjecture not found
% 31.31/16.00 Conjecture not found
% 31.31/16.01 Conjecture not found
% 31.47/16.03 Conjecture not found
% 31.47/16.04 Conjecture not found
% 31.47/16.06 Conjecture not found
% 31.47/16.07 Conjecture not found
% 31.84/16.16 Conjecture not found
% 31.87/16.18 Conjecture not found
% 31.87/16.19 Conjecture not found
% 31.97/16.24 Conjecture not found
% 31.97/16.27 Conjecture not found
% 31.97/16.30 Conjecture not found
% 31.97/16.32 Conjecture not found
% 32.07/16.37 Conjecture not found
% 32.14/16.42 Conjecture not found
% 32.47/16.50 Conjecture not found
% 32.47/16.53 Conjecture not found
% 32.60/16.58 Conjecture not found
% 32.62/16.60 Conjecture not found
% 32.62/16.62 Conjecture not found
% 32.66/16.63 Conjecture not found
% 32.66/16.66 Conjecture not found
% 32.66/16.70 Conjecture not found
% 32.74/16.73 Conjecture not found
% 32.74/16.76 Conjecture not found
% 32.74/16.77 Conjecture not found
% 32.93/16.84 Conjecture not found
% 33.21/16.89 Conjecture not found
% 33.23/16.91 Conjecture not found
% 33.23/16.93 Conjecture not found
% 33.28/16.95 Conjecture not found
% 33.28/16.97 Conjecture not found
% 33.28/16.98 Conjecture not found
% 33.28/17.02 Conjecture not found
% 33.73/17.09 Conjecture not found
% 33.73/17.11 Conjecture not found
% 33.73/17.13 Conjecture not found
% 33.83/17.17 Conjecture not found
% 33.88/17.22 Conjecture not found
% 34.01/17.33 Conjecture not found
% 34.34/17.39 Conjecture not found
% 34.41/17.45 Conjecture not found
% 34.45/17.53 Conjecture not found
% 34.52/17.62 Conjecture not found
% 34.84/17.69 Conjecture not found
% 35.01/17.77 Conjecture not found
% 35.05/17.79 Conjecture not found
% 35.05/17.80 Conjecture not found
% 35.05/17.81 Conjecture not found
% 35.05/17.82 Conjecture not found
% 35.11/17.84 Conjecture not found
% 35.14/17.87 Conjecture not found
% 35.14/17.87 Conjecture not found
% 35.14/17.90 Conjecture not found
% 35.14/17.91 Conjecture not found
% 35.32/17.96 Conjecture not found
% 35.67/18.06 Conjecture not found
% 35.67/18.08 Conjecture not found
% 35.71/18.11 Conjecture not found
% 35.71/18.12 Conjecture not found
% 35.71/18.13 Conjecture not found
% 35.78/18.18 Conjecture not found
% 36.02/18.29 Conjecture not found
% 36.31/18.34 Conjecture not found
% 36.31/18.36 Conjecture not found
% 36.37/18.44 Conjecture not found
% 36.45/18.49 Conjecture not found
% 36.49/18.52 Conjecture not found
% 36.69/18.57 Conjecture not found
% 36.69/18.60 Conjecture not found
% 36.69/18.66 Conjecture not found
% 36.98/18.67 Conjecture not found
% 36.98/18.68 Conjecture not found
% 36.98/18.70 Conjecture not found
% 36.98/18.72 Conjecture not found
% 37.04/18.73 Conjecture not found
% 37.04/18.75 Conjecture not found
% 37.07/18.75 Conjecture not found
% 37.07/18.79 Conjecture not found
% 37.07/18.82 Conjecture not found
% 37.41/18.90 Conjecture not found
% 37.60/18.95 Conjecture not found
% 37.68/19.05 Conjecture not found
% 37.71/19.06 Conjecture not found
% 37.71/19.08 Conjecture not found
% 37.71/19.09 Conjecture not found
% 37.71/19.10 Conjecture not found
% 37.87/19.14 Conjecture not found
% 37.87/19.15 Conjecture not found
% 38.28/19.27 Conjecture not found
% 38.28/19.28 Conjecture not found
% 38.30/19.30 Conjecture not found
% 38.35/19.34 Conjecture not found
% 38.35/19.35 Conjecture not found
% 38.35/19.37 Conjecture not found
% 38.35/19.40 Conjecture not found
% 38.43/19.41 Conjecture not found
% 38.43/19.44 Conjecture not found
% 38.49/19.48 Conjecture not found
% 38.49/19.51 Conjecture not found
% 39.03/19.59 Conjecture not found
% 39.03/19.60 Conjecture not found
% 39.07/19.63 Conjecture not found
% 39.09/19.65 Conjecture not found
% 39.09/19.70 Conjecture not found
% 39.18/19.77 Conjecture not found
% 39.24/19.80 Conjecture not found
% 39.69/19.90 Conjecture not found
% 39.76/19.96 Conjecture not found
% 39.76/19.97 Conjecture not found
% 39.76/20.00 Conjecture not found
% 39.85/20.07 Conjecture not found
% 39.93/20.10 Conjecture not found
% 39.93/20.13 Conjecture not found
% 39.93/20.17 Conjecture not found
% 40.02/20.19 Conjecture not found
% 40.04/20.23 Conjecture not found
% 40.08/20.31 Conjecture not found
% 40.58/20.34 Conjecture not found
% 40.58/20.38 Conjecture not found
% 40.65/20.41 Conjecture not found
% 40.65/20.43 Conjecture not found
% 40.65/20.45 Conjecture not found
% 40.72/20.48 Conjecture not found
% 40.72/20.49 Conjecture not found
% 40.72/20.53 Conjecture not found
% 40.81/20.56 Conjecture not found
% 41.26/20.63 Conjecture not found
% 41.26/20.64 Conjecture not found
% 41.26/20.69 Conjecture not found
% 41.39/20.74 Conjecture not found
% 41.39/20.76 Conjecture not found
% 41.45/20.78 Conjecture not found
% 41.45/20.81 Conjecture not found
% 41.45/20.82 Conjecture not found
% 41.45/20.84 Conjecture not found
% 41.54/20.88 Conjecture not found
% 41.57/20.90 Conjecture not found
% 41.60/20.94 Conjecture not found
% 41.62/21.00 Conjecture not found
% 41.62/21.01 Conjecture not found
% 42.13/21.13 Conjecture not found
% 42.13/21.14 Conjecture not found
% 42.21/21.16 Conjecture not found
% 42.21/21.17 Conjecture not found
% 42.24/21.20 Conjecture not found
% 42.24/21.21 Conjecture not found
% 42.29/21.24 Conjecture not found
% 42.30/21.26 Conjecture not found
% 42.30/21.27 Conjecture not found
% 42.30/21.30 Conjecture not found
% 42.38/21.34 Conjecture not found
% 42.97/21.47 Conjecture not found
% 42.97/21.49 Conjecture not found
% 43.00/21.50 Conjecture not found
% 43.00/21.51 Conjecture not found
% 43.04/21.60 Conjecture not found
% 43.04/21.61 Conjecture not found
% 43.04/21.63 Conjecture not found
% 43.14/21.66 Conjecture not found
% 43.48/21.76 Conjecture not found
% 43.48/21.82 Conjecture not found
% 43.80/21.92 Conjecture not found
% 43.80/21.93 Conjecture not found
% 43.85/21.98 Conjecture not found
% 43.85/21.98 Conjecture not found
% 43.85/21.99 Conjecture not found
% 43.85/22.00 Conjecture not found
% 43.85/22.02 Conjecture not found
% 43.95/22.05 Conjecture not found
% 43.95/22.07 Conjecture not found
% 43.95/22.08 Conjecture not found
% 44.07/22.15 Conjecture not found
% 44.51/22.25 Conjecture not found
% 44.51/22.27 Conjecture not found
% 44.61/22.29 Conjecture not found
% 44.65/22.34 Conjecture not found
% 44.68/22.36 Conjecture not found
% 44.68/22.42 Conjecture not found
% 44.77/22.45 Conjecture not found
% 44.82/22.50 Conjecture not found
% 44.82/22.53 Conjecture not found
% 45.49/22.65 Conjecture not found
% 45.49/22.68 Conjecture not found
% 45.49/22.70 Conjecture not found
% 45.58/22.73 Conjecture not found
% 45.58/22.76 Conjecture not found
% 45.58/22.77 Conjecture not found
% 45.58/22.78 Conjecture not found
% 45.65/22.81 Conjecture not found
% 45.72/22.88 Conjecture not found
% 46.08/22.96 Conjecture not found
% 46.08/22.99 Conjecture not found
% 46.33/23.02 Conjecture not found
% 46.33/23.03 Conjecture not found
% 46.33/23.06 Conjecture not found
% 46.40/23.09 Conjecture not found
% 46.40/23.11 Conjecture not found
% 46.40/23.12 Conjecture not found
% 46.40/23.15 Conjecture not found
% 46.49/23.18 Conjecture not found
% 46.54/23.21 Conjecture not found
% 46.55/23.25 Conjecture not found
% 46.55/23.25 Conjecture not found
% 46.55/23.28 Conjecture not found
% 46.55/23.29 Conjecture not found
% 46.63/23.32 Conjecture not found
% 46.91/23.44 Conjecture not found
% 46.91/23.47 Conjecture not found
% 46.91/23.48 Conjecture not found
% 47.29/23.49 Conjecture not found
% 47.30/23.51 Conjecture not found
% 47.31/23.53 Conjecture not found
% 47.31/23.55 Conjecture not found
% 47.31/23.57 Conjecture not found
% 47.31/23.58 Conjecture not found
% 47.31/23.60 Conjecture not found
% 47.41/23.64 Conjecture not found
% 47.41/23.65 Conjecture not found
% 47.41/23.67 Conjecture not found
% 47.41/23.68 Conjecture not found
% 47.49/23.74 Conjecture not found
% 47.49/23.75 Conjecture not found
% 47.71/23.88 Conjecture not found
% 47.71/23.89 Conjecture not found
% 47.71/23.91 Conjecture not found
% 48.28/24.07 Conjecture not found
% 48.35/24.09 Conjecture not found
% 48.35/24.12 Conjecture not found
% 48.35/24.13 Conjecture not found
% 48.44/24.18 Conjecture not found
% 48.48/24.21 Conjecture not found
% 48.49/24.26 Conjecture not found
% 48.98/24.33 Conjecture not found
% 49.19/24.38 Conjecture not found
% 49.27/24.50 Conjecture not found
% 49.30/24.50 Conjecture not found
% 49.35/24.57 Conjecture not found
% 49.35/24.59 Conjecture not found
% 49.41/24.62 Conjecture not found
% 49.41/24.63 Conjecture not found
% 49.41/24.64 Conjecture not found
% 49.41/24.65 Conjecture not found
% 49.47/24.68 Conjecture not found
% 49.47/24.70 Conjecture not found
% 49.47/24.71 Conjecture not found
% 49.84/24.76 Conjecture not found
% 50.04/24.83 Conjecture not found
% 50.12/24.85 Conjecture not found
% 50.12/24.89 Conjecture not found
% 50.19/24.91 Conjecture not found
% 50.24/24.99 Conjecture not found
% 50.24/25.02 Conjecture not found
% 50.24/25.06 Conjecture not found
% 50.35/25.10 Conjecture not found
% 50.38/25.13 Conjecture not found
% 50.43/25.18 Conjecture not found
% 50.43/25.20 Conjecture not found
% 50.43/25.21 Conjecture not found
% 51.00/25.30 Conjecture not found
% 51.15/25.36 Conjecture not found
% 52.06/25.68 Conjecture not found
% 52.06/25.70 Conjecture not found
% 52.11/25.73 Conjecture not found
% 52.14/25.75 Conjecture not found
% 52.14/25.76 Conjecture not found
% 52.14/25.77 Conjecture not found
% 52.14/25.78 Conjecture not found
% 52.14/25.79 Conjecture not found
% 52.14/25.80 Conjecture not found
% 52.14/25.81 Conjecture not found
% 52.21/25.82 Conjecture not found
% 52.21/25.87 Conjecture not found
% 52.26/25.95 Conjecture not found
% 53.00/26.04 Conjecture not found
% 53.00/26.07 Conjecture not found
% 53.00/26.10 Conjecture not found
% 53.00/26.12 Conjecture not found
% 53.08/26.13 Conjecture not found
% 53.08/26.17 Conjecture not found
% 53.08/26.18 Conjecture not found
% 53.08/26.19 Conjecture not found
% 53.15/26.20 Conjecture not found
% 53.15/26.22 Conjecture not found
% 53.15/26.26 Conjecture not found
% 53.23/26.29 Conjecture not found
% 53.26/26.32 Conjecture not found
% 53.29/26.37 Conjecture not found
% 53.29/26.38 Conjecture not found
% 53.88/26.46 Conjecture not found
% 53.98/26.50 Conjecture not found
% 53.98/26.52 Conjecture not found
% 53.98/26.52 Conjecture not found
% 53.98/26.56 Conjecture not found
% 54.08/26.58 Conjecture not found
% 54.08/26.59 Conjecture not found
% 54.13/26.66 Conjecture not found
% 54.13/26.66 Conjecture not found
% 54.13/26.67 Conjecture not found
% 54.13/26.69 Conjecture not found
% 54.21/26.72 Conjecture not found
% 54.21/26.75 Conjecture not found
% 54.29/26.79 Conjecture not found
% 54.29/26.82 Conjecture not found
% 54.91/26.93 Conjecture not found
% 54.91/26.95 Conjecture not found
% 54.91/26.96 Conjecture not found
% 54.91/26.97 Conjecture not found
% 55.03/27.05 Conjecture not found
% 55.03/27.05 Conjecture not found
% 55.03/27.08 Conjecture not found
% 55.12/27.10 Conjecture not found
% 55.22/27.18 Conjecture not found
% 55.23/27.20 Conjecture not found
% 55.25/27.25 Conjecture not found
% 55.25/27.31 Conjecture not found
% 55.58/27.38 Conjecture not found
% 56.01/27.41 Conjecture not found
% 56.01/27.45 Conjecture not found
% 56.13/27.53 Conjecture not found
% 56.13/27.59 Conjecture not found
% 56.13/27.61 Conjecture not found
% 56.23/27.63 Conjecture not found
% 56.31/27.71 Conjecture not found
% 56.31/27.76 Conjecture not found
% 56.81/27.87 Conjecture not found
% 56.81/27.89 Conjecture not found
% 56.81/27.90 Conjecture not found
% 56.81/27.91 Conjecture not found
% 57.14/27.93 Conjecture not found
% 57.14/27.96 Conjecture not found
% 57.14/27.97 Conjecture not found
% 57.14/27.97 Conjecture not found
% 57.14/27.99 Conjecture not found
% 57.21/28.03 Conjecture not found
% 57.21/28.04 Conjecture not found
% 57.21/28.06 Conjecture not found
% 57.28/28.09 Conjecture not found
% 57.31/28.10 Conjecture not found
% 57.34/28.20 Conjecture not found
% 57.34/28.21 Conjecture not found
% 57.86/28.25 Conjecture not found
% 57.86/28.28 Conjecture not found
% 58.13/28.32 Conjecture not found
% 58.20/28.43 Conjecture not found
% 58.31/28.49 Conjecture not found
% 58.35/28.53 Conjecture not found
% 58.35/28.53 Conjecture not found
% 58.35/28.54 Conjecture not found
% 58.38/28.57 Conjecture not found
% 58.38/28.57 Conjecture not found
% 58.51/28.68 Conjecture not found
% 58.51/28.69 Conjecture not found
% 59.35/28.86 Conjecture not found
% 59.43/28.96 Conjecture not found
% 59.48/28.98 Conjecture not found
% 59.48/29.00 Conjecture not found
% 59.48/29.00 Conjecture not found
% 59.48/29.02 Conjecture not found
% 59.48/29.03 Conjecture not found
% 59.48/29.04 Conjecture not found
% 59.57/29.07 Conjecture not found
% 59.59/29.10 Conjecture not found
% 59.59/29.11 Conjecture not found
% 59.65/29.17 Conjecture not found
% 60.07/29.27 Conjecture not found
% 60.07/29.33 Conjecture not found
% 60.48/29.36 Conjecture not found
% 60.48/29.38 Conjecture not found
% 60.52/29.40 Conjecture not found
% 60.52/29.42 Conjecture not found
% 60.58/29.46 Conjecture not found
% 60.58/29.48 Conjecture not found
% 60.65/29.57 Conjecture not found
% 61.64/29.87 Conjecture not found
% 61.82/30.03 Conjecture not found
% 61.85/30.04 Conjecture not found
% 61.85/30.10 Conjecture not found
% 61.94/30.20 Conjecture not found
% 62.00/30.26 Conjecture not found
% 62.54/30.29 Conjecture not found
% 62.54/30.30 Conjecture not found
% 62.74/30.34 Conjecture not found
% 62.74/30.36 Conjecture not found
% 62.74/30.41 Conjecture not found
% 62.84/30.43 Conjecture not found
% 62.84/30.44 Conjecture not found
% 62.84/30.46 Conjecture not found
% 62.84/30.48 Conjecture not found
% 62.91/30.49 Conjecture not found
% 62.91/30.50 Conjecture not found
% 62.91/30.51 Conjecture not found
% 63.00/30.60 Conjecture not found
% 63.03/30.61 Conjecture not found
% 63.05/30.64 Conjecture not found
% 63.05/30.70 Conjecture not found
% 63.42/30.73 Conjecture not found
% 63.42/30.75 Conjecture not found
% 63.42/30.78 Conjecture not found
% 63.42/30.79 Conjecture not found
% 63.85/30.81 Conjecture not found
% 63.85/30.85 Conjecture not found
% 63.85/30.86 Conjecture not found
% 63.93/30.93 Conjecture not found
% 64.06/31.02 Conjecture not found
% 64.06/31.04 Conjecture not found
% 64.06/31.05 Conjecture not found
% 64.06/31.06 Conjecture not found
% 64.06/31.08 Conjecture not found
% 64.14/31.11 Conjecture not found
% 64.14/31.16 Conjecture not found
% 64.14/31.18 Conjecture not found
% 64.23/31.19 Conjecture not found
% 64.23/31.20 Conjecture not found
% 64.87/31.31 Conjecture not found
% 65.04/31.33 Conjecture not found
% 65.04/31.37 Conjecture not found
% 65.04/31.39 Conjecture not found
% 65.04/31.40 Conjecture not found
% 65.04/31.41 Conjecture not found
% 65.14/31.44 Conjecture not found
% 65.14/31.44 Conjecture not found
% 65.14/31.45 Conjecture not found
% 65.14/31.46 Conjecture not found
% 65.14/31.48 Conjecture not found
% 65.21/31.49 Conjecture not found
% 65.21/31.53 Conjecture not found
% 65.21/31.55 Conjecture not found
% 65.30/31.60 Conjecture not found
% 65.35/31.64 Conjecture not found
% 65.35/31.66 Conjecture not found
% 65.35/31.68 Conjecture not found
% 65.35/31.72 Conjecture not found
% 66.09/31.82 Conjecture not found
% 66.09/31.86 Conjecture not found
% 66.30/31.91 Conjecture not found
% 66.34/31.94 Conjecture not found
% 66.36/31.98 Conjecture not found
% 66.36/31.99 Conjecture not found
% 66.43/32.04 Conjecture not found
% 66.43/32.05 Conjecture not found
% 66.43/32.05 Conjecture not found
% 66.48/32.11 Conjecture not found
% 66.72/32.19 Conjecture not found
% 67.12/32.23 Conjecture not found
% 67.28/32.31 Conjecture not found
% 67.44/32.33 Conjecture not found
% 67.44/32.34 Conjecture not found
% 67.44/32.35 Conjecture not found
% 67.49/32.37 Conjecture not found
% 67.49/32.44 Conjecture not found
% 67.58/32.48 Conjecture not found
% 67.61/32.50 Conjecture not found
% 67.61/32.53 Conjecture not found
% 67.67/32.57 Conjecture not found
% 67.72/32.62 Conjecture not found
% 67.72/32.63 Conjecture not found
% 67.77/32.65 Conjecture not found
% 67.77/32.71 Conjecture not found
% 67.86/32.76 Conjecture not found
% 68.42/32.89 Conjecture not found
% 68.73/32.92 Conjecture not found
% 68.73/32.98 Conjecture not found
% 68.82/33.00 Conjecture not found
% 68.82/33.02 Conjecture not found
% 68.82/33.05 Conjecture not found
% 68.82/33.06 Conjecture not found
% 68.82/33.07 Conjecture not found
% 68.97/33.12 Conjecture not found
% 68.97/33.13 Conjecture not found
% 68.99/33.15 Conjecture not found
% 68.99/33.17 Conjecture not found
% 68.99/33.18 Conjecture not found
% 68.99/33.18 Conjecture not found
% 68.99/33.19 Conjecture not found
% 69.07/33.26 Conjecture not found
% 69.12/33.32 Conjecture not found
% 69.12/33.35 Conjecture not found
% 69.65/33.36 Conjecture not found
% 69.86/33.40 Conjecture not found
% 70.03/33.44 Conjecture not found
% 70.05/33.47 Conjecture not found
% 70.19/33.60 Conjecture not found
% 70.27/33.68 Conjecture not found
% 70.29/33.70 Conjecture not found
% 70.33/33.72 Conjecture not found
% 70.64/33.84 Conjecture not found
% 71.17/33.88 Conjecture not found
% 71.17/33.93 Conjecture not found
% 71.17/33.94 Conjecture not found
% 71.17/33.95 Conjecture not found
% 71.17/33.96 Conjecture not found
% 71.31/33.98 Conjecture not found
% 71.34/34.01 Conjecture not found
% 71.34/34.02 Conjecture not found
% 71.38/34.03 Conjecture not found
% 71.38/34.05 Conjecture not found
% 71.38/34.07 Conjecture not found
% 71.38/34.07 Conjecture not found
% 71.38/34.11 Conjecture not found
% 71.46/34.15 Conjecture not found
% 71.46/34.18 Conjecture not found
% 71.53/34.20 Conjecture not found
% 71.53/34.25 Conjecture not found
% 71.64/34.29 Conjecture not found
% 71.65/34.31 Conjecture not found
% 71.66/34.40 Conjecture not found
% 71.75/34.41 Conjecture not found
% 71.75/34.43 Conjecture not found
% 71.75/34.45 Conjecture not found
% 72.35/34.51 Conjecture not found
% 72.35/34.55 Conjecture not found
% 73.20/35.00 Conjecture not found
% 73.42/35.05 Conjecture not found
% 73.42/35.09 Conjecture not found
% 74.00/35.13 Conjecture not found
% 74.09/35.20 Conjecture not found
% 74.09/35.21 Conjecture not found
% 74.18/35.27 Conjecture not found
% 74.18/35.30 Conjecture not found
% 74.22/35.33 Conjecture not found
% 74.25/35.36 Conjecture not found
% 74.25/35.39 Conjecture not found
% 74.31/35.41 Conjecture not found
% 74.31/35.44 Conjecture not found
% 74.37/35.47 Conjecture not found
% 74.37/35.49 Conjecture not found
% 74.37/35.50 Start search
% 181.60/61.75 nb_step : 1 - limit : 175773
% 183.09/62.51 Launch Gotab with destructive = true
%------------------------------------------------------------------------------