TSTP Solution File: SEU440+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU440+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n016.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:14 EDT 2022
% Result : Timeout 300.32s 97.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SEU440+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.14 % Command : goeland -dmt -presko -proof %s
% 0.14/0.35 % Computer : n016.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 300
% 0.14/0.35 % DateTime : Sat Sep 3 15:04:16 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.36 [DMT] DMT loaded with preskolemization
% 0.14/0.36 [EQ] equality loaded.
% 0.14/0.36 [0.000039s][1][MAIN] Problem : theBenchmark.p
% 0.21/0.42 Conjecture not found
% 0.21/0.42 Conjecture not found
% 0.21/0.43 Conjecture not found
% 0.21/0.43 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.46 Conjecture not found
% 0.21/0.48 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.52 Conjecture not found
% 0.21/0.52 Conjecture not found
% 0.21/0.55 Conjecture not found
% 0.21/0.59 Conjecture not found
% 0.21/0.60 Conjecture not found
% 0.56/0.61 Conjecture not found
% 0.56/0.62 Conjecture not found
% 0.61/0.65 Conjecture not found
% 0.61/0.68 Conjecture not found
% 0.71/0.74 Conjecture not found
% 0.80/0.82 Conjecture not found
% 0.80/0.82 Conjecture not found
% 1.00/0.92 Conjecture not found
% 1.06/0.98 Conjecture not found
% 1.17/1.06 Conjecture not found
% 1.26/1.10 Conjecture not found
% 1.26/1.16 Conjecture not found
% 1.45/1.19 Conjecture not found
% 1.49/1.24 Conjecture not found
% 1.55/1.26 Conjecture not found
% 1.55/1.30 Conjecture not found
% 1.55/1.31 Conjecture not found
% 1.55/1.32 Conjecture not found
% 1.55/1.32 Conjecture not found
% 1.69/1.33 Conjecture not found
% 1.86/1.45 Conjecture not found
% 1.87/1.47 Conjecture not found
% 1.87/1.47 Conjecture not found
% 1.87/1.48 Conjecture not found
% 1.87/1.48 Conjecture not found
% 1.87/1.49 Conjecture not found
% 1.87/1.49 Conjecture not found
% 1.87/1.50 Conjecture not found
% 1.87/1.50 Conjecture not found
% 2.00/1.56 Conjecture not found
% 2.00/1.60 Conjecture not found
% 2.00/1.60 Conjecture not found
% 2.00/1.60 Conjecture not found
% 2.00/1.62 Conjecture not found
% 2.14/1.64 Conjecture not found
% 2.14/1.65 Conjecture not found
% 2.14/1.67 Conjecture not found
% 2.23/1.69 Conjecture not found
% 2.23/1.71 Conjecture not found
% 2.23/1.73 Conjecture not found
% 2.23/1.74 Conjecture not found
% 2.23/1.75 Conjecture not found
% 2.39/1.78 Conjecture not found
% 2.45/1.83 Conjecture not found
% 2.47/1.88 Conjecture not found
% 2.47/1.89 Conjecture not found
% 2.47/1.91 Conjecture not found
% 2.60/1.93 Conjecture not found
% 2.60/1.96 Conjecture not found
% 2.67/1.99 Conjecture not found
% 2.67/2.03 Conjecture not found
% 2.82/2.11 Conjecture not found
% 2.91/2.17 Conjecture not found
% 2.91/2.18 Conjecture not found
% 2.91/2.19 Conjecture not found
% 2.91/2.21 Conjecture not found
% 3.04/2.25 Conjecture not found
% 3.29/2.38 Conjecture not found
% 3.29/2.40 Conjecture not found
% 3.34/2.41 Conjecture not found
% 3.40/2.49 Conjecture not found
% 3.40/2.50 Conjecture not found
% 3.40/2.52 Conjecture not found
% 3.53/2.54 Conjecture not found
% 3.53/2.57 Conjecture not found
% 3.67/2.63 Conjecture not found
% 3.82/2.72 Conjecture not found
% 3.89/2.80 Conjecture not found
% 4.03/2.85 Conjecture not found
% 4.03/2.87 Conjecture not found
% 4.16/2.91 Conjecture not found
% 4.16/2.91 Conjecture not found
% 4.16/2.94 Conjecture not found
% 4.16/2.97 Conjecture not found
% 4.28/2.99 Conjecture not found
% 4.29/2.99 Conjecture not found
% 4.35/3.04 Conjecture not found
% 4.35/3.05 Conjecture not found
% 4.35/3.09 Conjecture not found
% 4.48/3.15 Conjecture not found
% 4.67/3.25 Conjecture not found
% 4.84/3.37 Conjecture not found
% 5.23/3.51 Conjecture not found
% 5.63/3.78 Conjecture not found
% 5.79/3.80 Conjecture not found
% 5.79/3.82 Conjecture not found
% 5.79/3.89 Conjecture not found
% 5.98/3.92 Conjecture not found
% 5.98/3.96 Conjecture not found
% 6.12/4.01 Conjecture not found
% 6.20/4.07 Conjecture not found
% 6.36/4.14 Conjecture not found
% 6.36/4.16 Conjecture not found
% 6.36/4.17 Conjecture not found
% 6.36/4.18 Conjecture not found
% 6.49/4.21 Conjecture not found
% 6.49/4.21 Conjecture not found
% 6.60/4.28 Conjecture not found
% 6.60/4.36 Conjecture not found
% 6.83/4.43 Conjecture not found
% 6.96/4.51 Conjecture not found
% 6.96/4.54 Conjecture not found
% 7.10/4.60 Conjecture not found
% 7.10/4.63 Conjecture not found
% 7.10/4.65 Conjecture not found
% 7.10/4.67 Conjecture not found
% 7.21/4.70 Conjecture not found
% 7.31/4.71 Conjecture not found
% 7.35/4.76 Conjecture not found
% 7.35/4.76 Conjecture not found
% 7.35/4.76 Conjecture not found
% 7.35/4.77 Conjecture not found
% 7.35/4.80 Conjecture not found
% 7.35/4.82 Conjecture not found
% 7.49/4.84 Conjecture not found
% 7.49/4.88 Conjecture not found
% 7.86/5.06 Conjecture not found
% 7.86/5.11 Conjecture not found
% 7.86/5.12 Conjecture not found
% 8.01/5.15 Conjecture not found
% 8.01/5.18 Conjecture not found
% 8.06/5.21 Conjecture not found
% 8.06/5.26 Conjecture not found
% 8.23/5.28 Conjecture not found
% 8.25/5.31 Conjecture not found
% 8.25/5.33 Conjecture not found
% 8.44/5.43 Conjecture not found
% 9.14/5.89 Conjecture not found
% 10.02/6.44 Conjecture not found
% 10.24/6.53 Conjecture not found
% 10.24/6.59 Conjecture not found
% 10.24/6.60 Conjecture not found
% 10.39/6.62 Conjecture not found
% 10.39/6.66 Conjecture not found
% 10.39/6.68 Conjecture not found
% 10.55/6.70 Conjecture not found
% 10.55/6.74 Conjecture not found
% 10.73/6.79 Conjecture not found
% 10.77/6.82 Conjecture not found
% 10.77/6.84 Conjecture not found
% 10.77/6.85 Conjecture not found
% 10.77/6.89 Conjecture not found
% 10.95/6.95 Conjecture not found
% 10.95/6.98 Conjecture not found
% 11.10/7.04 Conjecture not found
% 11.10/7.08 Conjecture not found
% 11.19/7.09 Conjecture not found
% 11.19/7.12 Conjecture not found
% 11.19/7.14 Conjecture not found
% 11.19/7.16 Conjecture not found
% 11.38/7.20 Conjecture not found
% 11.40/7.25 Conjecture not found
% 11.40/7.26 Conjecture not found
% 11.40/7.29 Conjecture not found
% 11.58/7.32 Conjecture not found
% 11.58/7.35 Conjecture not found
% 11.58/7.37 Conjecture not found
% 11.78/7.39 Conjecture not found
% 11.78/7.41 Conjecture not found
% 11.78/7.42 Conjecture not found
% 11.78/7.44 Conjecture not found
% 11.78/7.46 Conjecture not found
% 11.97/7.49 Conjecture not found
% 11.97/7.50 Conjecture not found
% 12.01/7.54 Conjecture not found
% 12.01/7.55 Conjecture not found
% 12.01/7.57 Conjecture not found
% 12.01/7.61 Conjecture not found
% 12.21/7.63 Conjecture not found
% 12.21/7.65 Conjecture not found
% 12.21/7.68 Conjecture not found
% 12.28/7.70 Conjecture not found
% 12.28/7.72 Conjecture not found
% 12.28/7.73 Conjecture not found
% 12.48/7.77 Conjecture not found
% 12.51/7.81 Conjecture not found
% 12.51/7.83 Conjecture not found
% 12.53/7.85 Conjecture not found
% 12.53/7.85 Conjecture not found
% 12.53/7.88 Conjecture not found
% 12.76/7.93 Conjecture not found
% 12.76/7.95 Conjecture not found
% 12.76/7.96 Conjecture not found
% 12.76/7.97 Conjecture not found
% 12.76/7.99 Conjecture not found
% 12.83/7.99 Conjecture not found
% 12.83/8.00 Conjecture not found
% 12.83/8.00 Conjecture not found
% 12.83/8.04 Conjecture not found
% 13.09/8.14 Conjecture not found
% 13.09/8.15 Conjecture not found
% 13.09/8.19 Conjecture not found
% 13.09/8.22 Conjecture not found
% 13.30/8.24 Conjecture not found
% 13.30/8.27 Conjecture not found
% 13.36/8.28 Conjecture not found
% 13.36/8.31 Conjecture not found
% 13.55/8.36 Conjecture not found
% 13.61/8.41 Conjecture not found
% 13.63/8.45 Conjecture not found
% 13.63/8.48 Conjecture not found
% 13.93/8.62 Conjecture not found
% 14.19/8.69 Conjecture not found
% 14.24/8.74 Conjecture not found
% 14.24/8.74 Conjecture not found
% 14.24/8.76 Conjecture not found
% 14.24/8.79 Conjecture not found
% 14.44/8.85 Conjecture not found
% 14.50/8.87 Conjecture not found
% 14.50/8.94 Conjecture not found
% 14.77/9.03 Conjecture not found
% 14.82/9.07 Conjecture not found
% 14.90/9.11 Conjecture not found
% 14.90/9.18 Conjecture not found
% 15.13/9.19 Conjecture not found
% 15.13/9.23 Conjecture not found
% 15.31/9.28 Conjecture not found
% 15.43/9.37 Conjecture not found
% 15.52/9.46 Conjecture not found
% 15.52/9.48 Conjecture not found
% 15.75/9.51 Conjecture not found
% 15.75/9.54 Conjecture not found
% 15.75/9.56 Conjecture not found
% 16.05/9.66 Conjecture not found
% 16.15/9.72 Conjecture not found
% 16.15/9.74 Conjecture not found
% 16.15/9.76 Conjecture not found
% 16.75/10.03 Conjecture not found
% 16.75/10.08 Conjecture not found
% 16.83/10.12 Conjecture not found
% 16.83/10.14 Conjecture not found
% 16.83/10.17 Conjecture not found
% 17.08/10.18 Conjecture not found
% 17.11/10.27 Conjecture not found
% 17.22/10.33 Conjecture not found
% 17.47/10.41 Conjecture not found
% 17.47/10.46 Conjecture not found
% 17.47/10.48 Conjecture not found
% 17.83/10.61 Conjecture not found
% 17.83/10.66 Conjecture not found
% 17.94/10.70 Conjecture not found
% 17.96/10.76 Conjecture not found
% 18.21/10.81 Conjecture not found
% 18.21/10.82 Conjecture not found
% 18.21/10.85 Conjecture not found
% 18.21/10.85 Conjecture not found
% 18.21/10.87 Conjecture not found
% 18.30/10.91 Conjecture not found
% 18.30/10.97 Conjecture not found
% 18.59/11.00 Conjecture not found
% 18.62/11.03 Conjecture not found
% 18.62/11.08 Conjecture not found
% 18.62/11.09 Conjecture not found
% 18.69/11.11 Conjecture not found
% 18.69/11.15 Conjecture not found
% 18.96/11.27 Conjecture not found
% 19.05/11.28 Conjecture not found
% 19.29/11.34 Conjecture not found
% 19.29/11.35 Conjecture not found
% 19.29/11.35 Conjecture not found
% 19.29/11.36 Conjecture not found
% 19.29/11.37 Conjecture not found
% 19.38/11.44 Conjecture not found
% 19.38/11.45 Conjecture not found
% 19.38/11.47 Conjecture not found
% 19.45/11.53 Conjecture not found
% 19.79/11.62 Conjecture not found
% 19.82/11.69 Conjecture not found
% 19.82/11.70 Conjecture not found
% 20.18/11.85 Conjecture not found
% 20.57/12.00 Conjecture not found
% 20.57/12.02 Conjecture not found
% 20.62/12.06 Conjecture not found
% 20.62/12.07 Conjecture not found
% 20.62/12.08 Conjecture not found
% 20.95/12.19 Conjecture not found
% 20.95/12.26 Conjecture not found
% 21.04/12.30 Conjecture not found
% 21.08/12.31 Conjecture not found
% 21.42/12.45 Conjecture not found
% 21.42/12.48 Conjecture not found
% 21.47/12.49 Conjecture not found
% 21.47/12.54 Conjecture not found
% 21.63/12.60 Conjecture not found
% 21.81/12.62 Conjecture not found
% 21.85/12.67 Conjecture not found
% 21.85/12.73 Conjecture not found
% 21.94/12.75 Conjecture not found
% 21.94/12.77 Conjecture not found
% 22.22/12.85 Conjecture not found
% 22.30/12.89 Conjecture not found
% 22.30/12.89 Conjecture not found
% 22.34/12.93 Conjecture not found
% 22.36/12.97 Conjecture not found
% 22.67/13.03 Conjecture not found
% 22.67/13.07 Conjecture not found
% 22.74/13.13 Conjecture not found
% 22.74/13.14 Conjecture not found
% 22.82/13.20 Conjecture not found
% 23.10/13.30 Conjecture not found
% 23.21/13.37 Conjecture not found
% 23.21/13.39 Conjecture not found
% 23.27/13.48 Conjecture not found
% 23.58/13.51 Conjecture not found
% 23.58/13.53 Conjecture not found
% 23.58/13.53 Conjecture not found
% 23.58/13.54 Conjecture not found
% 23.58/13.56 Conjecture not found
% 23.58/13.57 Conjecture not found
% 23.72/13.64 Conjecture not found
% 24.03/13.74 Conjecture not found
% 24.11/13.80 Conjecture not found
% 24.11/13.82 Conjecture not found
% 24.11/13.82 Conjecture not found
% 24.20/13.87 Conjecture not found
% 24.20/13.89 Conjecture not found
% 24.22/13.90 Conjecture not found
% 24.52/14.02 Conjecture not found
% 24.60/14.04 Conjecture not found
% 24.60/14.08 Conjecture not found
% 24.66/14.13 Conjecture not found
% 24.97/14.19 Conjecture not found
% 25.06/14.24 Conjecture not found
% 25.53/14.47 Conjecture not found
% 25.61/14.55 Conjecture not found
% 25.61/14.56 Conjecture not found
% 25.71/14.66 Conjecture not found
% 25.98/14.69 Conjecture not found
% 26.06/14.76 Conjecture not found
% 26.09/14.78 Conjecture not found
% 26.19/14.86 Conjecture not found
% 26.19/14.90 Conjecture not found
% 26.19/14.90 Conjecture not found
% 26.40/14.96 Conjecture not found
% 26.40/15.03 Conjecture not found
% 26.63/15.10 Conjecture not found
% 26.70/15.18 Conjecture not found
% 26.70/15.19 Conjecture not found
% 26.70/15.19 Conjecture not found
% 26.70/15.20 Conjecture not found
% 26.75/15.24 Conjecture not found
% 26.79/15.25 Conjecture not found
% 27.14/15.34 Conjecture not found
% 27.19/15.44 Conjecture not found
% 27.26/15.50 Conjecture not found
% 27.31/15.52 Conjecture not found
% 27.31/15.53 Conjecture not found
% 27.48/15.57 Conjecture not found
% 27.48/15.65 Conjecture not found
% 27.71/15.68 Conjecture not found
% 27.71/15.69 Conjecture not found
% 27.76/15.72 Conjecture not found
% 27.80/15.75 Conjecture not found
% 27.80/15.79 Conjecture not found
% 27.80/15.82 Conjecture not found
% 27.94/15.85 Conjecture not found
% 28.28/15.97 Conjecture not found
% 28.28/16.00 Conjecture not found
% 28.33/16.01 Conjecture not found
% 28.37/16.08 Conjecture not found
% 28.37/16.10 Conjecture not found
% 28.73/16.17 Conjecture not found
% 28.73/16.21 Conjecture not found
% 28.82/16.23 Conjecture not found
% 28.82/16.24 Conjecture not found
% 28.89/16.27 Conjecture not found
% 28.89/16.28 Conjecture not found
% 28.96/16.41 Conjecture not found
% 28.96/16.42 Conjecture not found
% 29.33/16.44 Conjecture not found
% 29.40/16.50 Conjecture not found
% 29.40/16.53 Conjecture not found
% 29.40/16.56 Conjecture not found
% 29.48/16.58 Conjecture not found
% 29.51/16.61 Conjecture not found
% 29.54/16.64 Conjecture not found
% 29.54/16.68 Conjecture not found
% 29.54/16.71 Conjecture not found
% 29.94/16.78 Conjecture not found
% 30.01/16.82 Conjecture not found
% 30.01/16.83 Conjecture not found
% 30.01/16.84 Conjecture not found
% 30.01/16.88 Conjecture not found
% 30.08/16.91 Conjecture not found
% 30.08/16.94 Conjecture not found
% 30.17/16.98 Conjecture not found
% 30.26/17.01 Conjecture not found
% 30.52/17.06 Conjecture not found
% 30.61/17.11 Conjecture not found
% 30.61/17.13 Conjecture not found
% 30.61/17.15 Conjecture not found
% 30.61/17.18 Conjecture not found
% 30.68/17.20 Conjecture not found
% 30.68/17.21 Conjecture not found
% 30.68/17.22 Conjecture not found
% 30.68/17.27 Conjecture not found
% 31.07/17.30 Conjecture not found
% 31.13/17.33 Conjecture not found
% 31.14/17.39 Conjecture not found
% 31.22/17.44 Conjecture not found
% 31.28/17.55 Conjecture not found
% 31.60/17.59 Conjecture not found
% 31.77/17.66 Conjecture not found
% 31.85/17.73 Conjecture not found
% 31.91/17.81 Conjecture not found
% 32.03/17.87 Conjecture not found
% 32.41/17.96 Conjecture not found
% 32.41/17.98 Conjecture not found
% 32.41/17.99 Conjecture not found
% 32.41/18.01 Conjecture not found
% 32.41/18.02 Conjecture not found
% 32.47/18.04 Conjecture not found
% 32.47/18.06 Conjecture not found
% 32.51/18.06 Conjecture not found
% 32.51/18.09 Conjecture not found
% 32.51/18.10 Conjecture not found
% 32.58/18.14 Conjecture not found
% 33.00/18.25 Conjecture not found
% 33.03/18.28 Conjecture not found
% 33.03/18.31 Conjecture not found
% 33.03/18.32 Conjecture not found
% 33.10/18.34 Conjecture not found
% 33.13/18.40 Conjecture not found
% 33.53/18.52 Conjecture not found
% 33.64/18.57 Conjecture not found
% 33.64/18.58 Conjecture not found
% 33.73/18.67 Conjecture not found
% 33.73/18.71 Conjecture not found
% 33.82/18.74 Conjecture not found
% 33.82/18.77 Conjecture not found
% 33.87/18.79 Conjecture not found
% 34.29/18.87 Conjecture not found
% 34.29/18.89 Conjecture not found
% 34.29/18.91 Conjecture not found
% 34.35/18.95 Conjecture not found
% 34.40/18.97 Conjecture not found
% 34.40/18.99 Conjecture not found
% 34.40/19.00 Conjecture not found
% 34.40/19.02 Conjecture not found
% 34.49/19.06 Conjecture not found
% 34.55/19.10 Conjecture not found
% 34.75/19.18 Conjecture not found
% 34.75/19.23 Conjecture not found
% 35.09/19.31 Conjecture not found
% 35.09/19.32 Conjecture not found
% 35.09/19.33 Conjecture not found
% 35.09/19.34 Conjecture not found
% 35.15/19.36 Conjecture not found
% 35.15/19.37 Conjecture not found
% 35.15/19.37 Conjecture not found
% 35.46/19.47 Conjecture not found
% 35.46/19.48 Conjecture not found
% 35.46/19.49 Conjecture not found
% 35.46/19.52 Conjecture not found
% 35.46/19.52 Conjecture not found
% 35.46/19.54 Conjecture not found
% 35.70/19.56 Conjecture not found
% 35.70/19.57 Conjecture not found
% 35.70/19.59 Conjecture not found
% 35.76/19.62 Conjecture not found
% 35.76/19.64 Conjecture not found
% 36.24/19.73 Conjecture not found
% 36.24/19.75 Conjecture not found
% 36.24/19.76 Conjecture not found
% 36.24/19.77 Conjecture not found
% 36.33/19.83 Conjecture not found
% 36.40/19.90 Conjecture not found
% 36.40/19.93 Conjecture not found
% 36.47/19.98 Conjecture not found
% 36.51/20.02 Conjecture not found
% 36.51/20.03 Conjecture not found
% 36.56/20.09 Conjecture not found
% 37.02/20.18 Conjecture not found
% 37.09/20.21 Conjecture not found
% 37.09/20.24 Conjecture not found
% 37.09/20.28 Conjecture not found
% 37.16/20.30 Conjecture not found
% 37.16/20.34 Conjecture not found
% 37.49/20.39 Conjecture not found
% 37.70/20.43 Conjecture not found
% 37.70/20.49 Conjecture not found
% 37.78/20.52 Conjecture not found
% 37.78/20.54 Conjecture not found
% 37.78/20.56 Conjecture not found
% 37.86/20.58 Conjecture not found
% 37.86/20.60 Conjecture not found
% 37.86/20.64 Conjecture not found
% 37.95/20.67 Conjecture not found
% 37.97/20.72 Conjecture not found
% 37.97/20.73 Conjecture not found
% 38.02/20.79 Conjecture not found
% 38.49/20.83 Conjecture not found
% 38.49/20.85 Conjecture not found
% 38.49/20.86 Conjecture not found
% 38.55/20.88 Conjecture not found
% 38.55/20.89 Conjecture not found
% 38.55/20.90 Conjecture not found
% 38.55/20.93 Conjecture not found
% 38.55/20.94 Conjecture not found
% 38.63/20.96 Conjecture not found
% 38.64/21.00 Conjecture not found
% 38.64/21.00 Conjecture not found
% 38.73/21.09 Conjecture not found
% 38.73/21.11 Conjecture not found
% 39.19/21.14 Conjecture not found
% 39.19/21.16 Conjecture not found
% 39.25/21.20 Conjecture not found
% 39.25/21.22 Conjecture not found
% 39.25/21.25 Conjecture not found
% 39.33/21.27 Conjecture not found
% 39.36/21.29 Conjecture not found
% 39.40/21.34 Conjecture not found
% 39.43/21.39 Conjecture not found
% 39.68/21.51 Conjecture not found
% 40.04/21.54 Conjecture not found
% 40.04/21.56 Conjecture not found
% 40.04/21.57 Conjecture not found
% 40.16/21.66 Conjecture not found
% 40.16/21.67 Conjecture not found
% 40.16/21.69 Conjecture not found
% 40.23/21.73 Conjecture not found
% 40.28/21.81 Conjecture not found
% 40.28/21.85 Conjecture not found
% 40.96/22.01 Conjecture not found
% 40.96/22.02 Conjecture not found
% 41.00/22.08 Conjecture not found
% 41.00/22.09 Conjecture not found
% 41.00/22.10 Conjecture not found
% 41.00/22.11 Conjecture not found
% 41.10/22.14 Conjecture not found
% 41.10/22.18 Conjecture not found
% 41.16/22.20 Conjecture not found
% 41.16/22.22 Conjecture not found
% 41.40/22.26 Conjecture not found
% 41.76/22.38 Conjecture not found
% 41.76/22.39 Conjecture not found
% 41.76/22.42 Conjecture not found
% 41.86/22.47 Conjecture not found
% 41.86/22.49 Conjecture not found
% 41.92/22.54 Conjecture not found
% 41.96/22.58 Conjecture not found
% 41.96/22.62 Conjecture not found
% 41.96/22.64 Conjecture not found
% 42.61/22.79 Conjecture not found
% 42.66/22.83 Conjecture not found
% 42.71/22.86 Conjecture not found
% 42.71/22.89 Conjecture not found
% 42.71/22.93 Conjecture not found
% 42.80/22.94 Conjecture not found
% 42.80/22.96 Conjecture not found
% 42.80/22.98 Conjecture not found
% 42.93/23.08 Conjecture not found
% 43.07/23.12 Conjecture not found
% 43.28/23.16 Conjecture not found
% 43.28/23.22 Conjecture not found
% 43.55/23.24 Conjecture not found
% 43.55/23.27 Conjecture not found
% 43.60/23.30 Conjecture not found
% 43.60/23.32 Conjecture not found
% 43.60/23.33 Conjecture not found
% 43.68/23.36 Conjecture not found
% 43.69/23.39 Conjecture not found
% 43.74/23.42 Conjecture not found
% 43.77/23.45 Conjecture not found
% 43.77/23.45 Conjecture not found
% 43.77/23.48 Conjecture not found
% 43.77/23.49 Conjecture not found
% 43.77/23.51 Conjecture not found
% 43.86/23.58 Conjecture not found
% 44.22/23.61 Conjecture not found
% 44.22/23.62 Conjecture not found
% 44.22/23.64 Conjecture not found
% 44.22/23.66 Conjecture not found
% 44.48/23.69 Conjecture not found
% 44.51/23.71 Conjecture not found
% 44.54/23.73 Conjecture not found
% 44.54/23.74 Conjecture not found
% 44.54/23.77 Conjecture not found
% 44.54/23.81 Conjecture not found
% 44.54/23.82 Conjecture not found
% 44.64/23.83 Conjecture not found
% 44.64/23.85 Conjecture not found
% 44.71/23.90 Conjecture not found
% 44.71/23.91 Conjecture not found
% 44.93/24.01 Conjecture not found
% 44.93/24.02 Conjecture not found
% 44.93/24.04 Conjecture not found
% 45.47/24.21 Conjecture not found
% 45.54/24.23 Conjecture not found
% 45.54/24.26 Conjecture not found
% 45.59/24.27 Conjecture not found
% 45.59/24.32 Conjecture not found
% 45.66/24.35 Conjecture not found
% 45.69/24.40 Conjecture not found
% 46.07/24.48 Conjecture not found
% 46.33/24.53 Conjecture not found
% 46.38/24.64 Conjecture not found
% 46.45/24.65 Conjecture not found
% 46.49/24.71 Conjecture not found
% 46.49/24.73 Conjecture not found
% 46.55/24.76 Conjecture not found
% 46.58/24.77 Conjecture not found
% 46.58/24.78 Conjecture not found
% 46.58/24.79 Conjecture not found
% 46.58/24.82 Conjecture not found
% 46.63/24.84 Conjecture not found
% 46.66/24.85 Conjecture not found
% 46.66/24.87 Conjecture not found
% 47.02/24.93 Conjecture not found
% 47.02/24.97 Conjecture not found
% 47.27/25.01 Conjecture not found
% 47.27/25.03 Conjecture not found
% 47.37/25.12 Conjecture not found
% 47.45/25.15 Conjecture not found
% 47.45/25.18 Conjecture not found
% 47.45/25.23 Conjecture not found
% 47.57/25.29 Conjecture not found
% 47.65/25.36 Conjecture not found
% 47.66/25.38 Conjecture not found
% 47.66/25.40 Conjecture not found
% 48.08/25.46 Conjecture not found
% 48.32/25.56 Conjecture not found
% 49.22/25.94 Conjecture not found
% 49.30/25.95 Conjecture not found
% 49.30/25.99 Conjecture not found
% 49.30/26.03 Conjecture not found
% 49.30/26.04 Conjecture not found
% 49.40/26.05 Conjecture not found
% 49.40/26.07 Conjecture not found
% 49.40/26.08 Conjecture not found
% 49.44/26.10 Conjecture not found
% 49.44/26.11 Conjecture not found
% 49.44/26.12 Conjecture not found
% 49.49/26.17 Conjecture not found
% 49.54/26.24 Conjecture not found
% 49.65/26.34 Conjecture not found
% 50.20/26.37 Conjecture not found
% 50.25/26.41 Conjecture not found
% 50.25/26.42 Conjecture not found
% 50.25/26.43 Conjecture not found
% 50.29/26.47 Conjecture not found
% 50.29/26.48 Conjecture not found
% 50.29/26.49 Conjecture not found
% 50.34/26.50 Conjecture not found
% 50.34/26.51 Conjecture not found
% 50.39/26.56 Conjecture not found
% 50.39/26.58 Conjecture not found
% 50.39/26.61 Conjecture not found
% 50.58/26.66 Conjecture not found
% 50.58/26.66 Conjecture not found
% 51.14/26.75 Conjecture not found
% 51.14/26.79 Conjecture not found
% 51.14/26.80 Conjecture not found
% 51.14/26.81 Conjecture not found
% 51.14/26.84 Conjecture not found
% 51.24/26.86 Conjecture not found
% 51.24/26.87 Conjecture not found
% 51.29/26.94 Conjecture not found
% 51.29/26.94 Conjecture not found
% 51.34/26.95 Conjecture not found
% 51.34/26.98 Conjecture not found
% 51.34/26.99 Conjecture not found
% 51.34/27.01 Conjecture not found
% 51.34/27.03 Conjecture not found
% 51.34/27.05 Conjecture not found
% 52.06/27.17 Conjecture not found
% 52.06/27.19 Conjecture not found
% 52.06/27.20 Conjecture not found
% 52.06/27.21 Conjecture not found
% 52.17/27.28 Conjecture not found
% 52.20/27.28 Conjecture not found
% 52.20/27.31 Conjecture not found
% 52.20/27.33 Conjecture not found
% 52.26/27.40 Conjecture not found
% 52.33/27.42 Conjecture not found
% 52.33/27.44 Conjecture not found
% 52.33/27.46 Conjecture not found
% 52.38/27.49 Conjecture not found
% 52.38/27.50 Conjecture not found
% 52.96/27.59 Conjecture not found
% 53.08/27.65 Conjecture not found
% 53.10/27.69 Conjecture not found
% 53.10/27.71 Conjecture not found
% 53.10/27.72 Conjecture not found
% 53.21/27.78 Conjecture not found
% 53.21/27.82 Conjecture not found
% 53.40/27.90 Conjecture not found
% 53.91/27.94 Conjecture not found
% 53.91/27.96 Conjecture not found
% 54.00/27.98 Conjecture not found
% 54.00/28.00 Conjecture not found
% 54.06/28.04 Conjecture not found
% 54.06/28.05 Conjecture not found
% 54.10/28.06 Conjecture not found
% 54.10/28.08 Conjecture not found
% 54.10/28.13 Conjecture not found
% 54.17/28.14 Conjecture not found
% 54.17/28.17 Conjecture not found
% 54.22/28.21 Conjecture not found
% 54.22/28.22 Conjecture not found
% 54.36/28.34 Conjecture not found
% 54.38/28.34 Conjecture not found
% 54.38/28.36 Conjecture not found
% 54.38/28.37 Conjecture not found
% 54.38/28.41 Conjecture not found
% 55.20/28.57 Conjecture not found
% 55.22/28.62 Conjecture not found
% 55.29/28.65 Conjecture not found
% 55.29/28.65 Conjecture not found
% 55.29/28.66 Conjecture not found
% 55.29/28.69 Conjecture not found
% 55.29/28.69 Conjecture not found
% 55.43/28.81 Conjecture not found
% 55.43/28.82 Conjecture not found
% 55.79/28.94 Conjecture not found
% 56.29/29.04 Conjecture not found
% 56.29/29.06 Conjecture not found
% 56.36/29.09 Conjecture not found
% 56.36/29.09 Conjecture not found
% 56.36/29.11 Conjecture not found
% 56.36/29.12 Conjecture not found
% 56.36/29.14 Conjecture not found
% 56.44/29.17 Conjecture not found
% 56.48/29.21 Conjecture not found
% 56.48/29.22 Conjecture not found
% 56.51/29.30 Conjecture not found
% 56.60/29.39 Conjecture not found
% 56.68/29.44 Conjecture not found
% 56.87/29.53 Conjecture not found
% 57.15/29.57 Conjecture not found
% 57.24/29.60 Conjecture not found
% 57.34/29.64 Conjecture not found
% 57.42/29.70 Conjecture not found
% 57.42/29.74 Conjecture not found
% 57.49/29.86 Conjecture not found
% 57.86/30.15 Conjecture not found
% 58.42/30.34 Conjecture not found
% 58.74/30.35 Conjecture not found
% 58.78/30.40 Conjecture not found
% 58.90/30.54 Conjecture not found
% 58.95/30.58 Conjecture not found
% 58.95/30.59 Conjecture not found
% 58.95/30.59 Conjecture not found
% 58.95/30.64 Conjecture not found
% 59.04/30.66 Conjecture not found
% 59.12/30.73 Conjecture not found
% 59.13/30.76 Conjecture not found
% 59.13/30.77 Conjecture not found
% 59.13/30.81 Conjecture not found
% 59.49/30.86 Conjecture not found
% 59.89/30.88 Conjecture not found
% 59.89/30.88 Conjecture not found
% 59.89/30.89 Conjecture not found
% 60.00/30.97 Conjecture not found
% 60.03/30.98 Conjecture not found
% 60.03/31.01 Conjecture not found
% 60.09/31.06 Conjecture not found
% 60.11/31.07 Conjecture not found
% 60.11/31.07 Conjecture not found
% 60.11/31.08 Conjecture not found
% 60.11/31.08 Conjecture not found
% 60.11/31.09 Conjecture not found
% 60.11/31.12 Conjecture not found
% 60.11/31.12 Conjecture not found
% 60.21/31.17 Conjecture not found
% 60.28/31.24 Conjecture not found
% 60.43/31.27 Conjecture not found
% 60.43/31.29 Conjecture not found
% 60.43/31.30 Conjecture not found
% 60.96/31.34 Conjecture not found
% 61.08/31.37 Conjecture not found
% 61.08/31.42 Conjecture not found
% 61.15/31.45 Conjecture not found
% 61.15/31.45 Conjecture not found
% 61.15/31.46 Conjecture not found
% 61.18/31.51 Conjecture not found
% 61.25/31.54 Conjecture not found
% 61.29/31.58 Conjecture not found
% 61.29/31.61 Conjecture not found
% 61.29/31.62 Conjecture not found
% 61.29/31.64 Conjecture not found
% 61.36/31.67 Conjecture not found
% 61.36/31.68 Conjecture not found
% 61.40/31.69 Conjecture not found
% 61.40/31.71 Conjecture not found
% 61.40/31.72 Conjecture not found
% 61.45/31.74 Conjecture not found
% 61.46/31.78 Conjecture not found
% 61.80/31.85 Conjecture not found
% 62.32/31.95 Conjecture not found
% 62.35/32.00 Conjecture not found
% 62.35/32.03 Conjecture not found
% 62.42/32.05 Conjecture not found
% 62.42/32.09 Conjecture not found
% 62.51/32.14 Conjecture not found
% 62.56/32.20 Conjecture not found
% 62.56/32.25 Conjecture not found
% 62.66/32.29 Conjecture not found
% 62.70/32.32 Conjecture not found
% 62.71/32.33 Conjecture not found
% 62.71/32.38 Conjecture not found
% 62.71/32.39 Conjecture not found
% 62.71/32.40 Conjecture not found
% 63.45/32.55 Conjecture not found
% 63.67/32.62 Conjecture not found
% 63.67/32.63 Conjecture not found
% 63.70/32.67 Conjecture not found
% 63.70/32.69 Conjecture not found
% 63.70/32.70 Conjecture not found
% 63.70/32.70 Conjecture not found
% 63.70/32.73 Conjecture not found
% 63.85/32.80 Conjecture not found
% 63.85/32.84 Conjecture not found
% 63.85/32.85 Conjecture not found
% 63.92/32.88 Conjecture not found
% 63.92/32.91 Conjecture not found
% 64.73/33.03 Conjecture not found
% 64.73/33.04 Conjecture not found
% 64.73/33.06 Conjecture not found
% 64.73/33.11 Conjecture not found
% 64.86/33.19 Conjecture not found
% 64.93/33.25 Conjecture not found
% 64.99/33.27 Conjecture not found
% 64.99/33.33 Conjecture not found
% 65.09/33.37 Conjecture not found
% 65.09/33.38 Conjecture not found
% 65.14/33.42 Conjecture not found
% 65.14/33.43 Conjecture not found
% 65.14/33.44 Conjecture not found
% 65.18/33.49 Conjecture not found
% 65.18/33.50 Conjecture not found
% 65.18/33.50 Conjecture not found
% 65.18/33.52 Conjecture not found
% 65.39/33.56 Conjecture not found
% 65.39/33.57 Conjecture not found
% 65.78/33.63 Conjecture not found
% 66.06/33.73 Conjecture not found
% 66.17/33.78 Conjecture not found
% 66.22/33.80 Conjecture not found
% 66.22/33.81 Conjecture not found
% 66.22/33.83 Conjecture not found
% 66.27/33.88 Conjecture not found
% 66.27/33.93 Conjecture not found
% 66.48/34.07 Conjecture not found
% 67.04/34.20 Conjecture not found
% 67.39/34.23 Conjecture not found
% 67.39/34.26 Conjecture not found
% 67.46/34.35 Conjecture not found
% 67.53/34.36 Conjecture not found
% 67.56/34.41 Conjecture not found
% 67.56/34.42 Conjecture not found
% 67.61/34.43 Conjecture not found
% 67.61/34.44 Conjecture not found
% 67.63/34.46 Conjecture not found
% 67.63/34.48 Conjecture not found
% 67.63/34.49 Conjecture not found
% 67.63/34.51 Conjecture not found
% 67.63/34.52 Conjecture not found
% 67.70/34.53 Conjecture not found
% 67.70/34.53 Conjecture not found
% 67.70/34.56 Conjecture not found
% 67.75/34.59 Conjecture not found
% 67.75/34.61 Conjecture not found
% 67.75/34.63 Conjecture not found
% 67.99/34.71 Conjecture not found
% 68.63/34.80 Conjecture not found
% 68.63/34.82 Conjecture not found
% 68.78/34.93 Conjecture not found
% 68.85/34.94 Conjecture not found
% 68.85/34.96 Conjecture not found
% 68.87/34.97 Conjecture not found
% 68.87/35.01 Conjecture not found
% 68.93/35.04 Conjecture not found
% 70.14/35.50 Conjecture not found
% 70.21/35.53 Conjecture not found
% 70.21/35.56 Conjecture not found
% 70.25/35.60 Conjecture not found
% 70.36/35.70 Conjecture not found
% 70.36/35.71 Conjecture not found
% 70.44/35.79 Conjecture not found
% 70.44/35.82 Conjecture not found
% 70.53/35.85 Conjecture not found
% 70.57/35.89 Conjecture not found
% 70.57/35.91 Conjecture not found
% 70.57/35.96 Conjecture not found
% 71.46/36.05 Conjecture not found
% 71.46/36.09 Conjecture not found
% 71.46/36.11 Conjecture not found
% 71.60/36.12 Start search
% 192.50/65.68 nb_step : 1 - limit : 175764
% 194.56/67.03 Launch Gotab with destructive = true
%------------------------------------------------------------------------------