TSTP Solution File: SEU410+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU410+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n012.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:56:56 EDT 2022
% Result : Timeout 300.32s 90.62s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU410+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 13:30:42 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.59/0.62 Conjecture not found
% 0.62/0.67 Conjecture not found
% 0.76/0.74 Conjecture not found
% 0.76/0.74 Conjecture not found
% 0.87/0.82 Conjecture not found
% 1.01/0.87 Conjecture not found
% 1.14/0.96 Conjecture not found
% 1.14/0.99 Conjecture not found
% 1.27/1.06 Conjecture not found
% 1.37/1.10 Conjecture not found
% 1.37/1.15 Conjecture not found
% 1.54/1.17 Conjecture not found
% 1.58/1.21 Conjecture not found
% 1.58/1.22 Conjecture not found
% 1.58/1.23 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.75/1.34 Conjecture not found
% 1.85/1.36 Conjecture not found
% 1.85/1.36 Conjecture not found
% 1.85/1.38 Conjecture not found
% 1.85/1.38 Conjecture not found
% 1.85/1.39 Conjecture not found
% 1.85/1.39 Conjecture not found
% 1.85/1.40 Conjecture not found
% 1.85/1.40 Conjecture not found
% 1.85/1.45 Conjecture not found
% 2.07/1.50 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.52 Conjecture not found
% 2.14/1.54 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.14/1.57 Conjecture not found
% 2.14/1.59 Conjecture not found
% 2.25/1.61 Conjecture not found
% 2.25/1.63 Conjecture not found
% 2.25/1.64 Conjecture not found
% 2.25/1.65 Conjecture not found
% 2.38/1.68 Conjecture not found
% 2.38/1.75 Conjecture not found
% 2.54/1.80 Conjecture not found
% 2.60/1.81 Conjecture not found
% 2.60/1.83 Conjecture not found
% 2.62/1.86 Conjecture not found
% 2.62/1.88 Conjecture not found
% 2.62/1.90 Conjecture not found
% 2.77/1.92 Conjecture not found
% 2.90/2.01 Conjecture not found
% 2.90/2.04 Conjecture not found
% 2.90/2.06 Conjecture not found
% 3.02/2.07 Conjecture not found
% 3.05/2.08 Conjecture not found
% 3.05/2.10 Conjecture not found
% 3.28/2.26 Conjecture not found
% 3.28/2.29 Conjecture not found
% 3.44/2.31 Conjecture not found
% 3.64/2.42 Conjecture not found
% 3.64/2.43 Conjecture not found
% 3.64/2.45 Conjecture not found
% 3.64/2.47 Conjecture not found
% 3.76/2.51 Conjecture not found
% 3.76/2.58 Conjecture not found
% 3.91/2.66 Conjecture not found
% 4.17/2.73 Conjecture not found
% 4.17/2.79 Conjecture not found
% 4.17/2.80 Conjecture not found
% 4.32/2.83 Conjecture not found
% 4.32/2.84 Conjecture not found
% 4.32/2.87 Conjecture not found
% 4.32/2.90 Conjecture not found
% 4.45/2.93 Conjecture not found
% 4.45/2.94 Conjecture not found
% 4.65/2.99 Conjecture not found
% 4.65/3.01 Conjecture not found
% 4.65/3.04 Conjecture not found
% 4.81/3.12 Conjecture not found
% 4.96/3.22 Conjecture not found
% 5.16/3.36 Conjecture not found
% 5.55/3.56 Conjecture not found
% 6.14/3.86 Conjecture not found
% 6.14/3.89 Conjecture not found
% 6.27/3.91 Conjecture not found
% 6.47/4.05 Conjecture not found
% 6.47/4.09 Conjecture not found
% 6.60/4.14 Conjecture not found
% 6.72/4.20 Conjecture not found
% 6.72/4.25 Conjecture not found
% 6.99/4.32 Conjecture not found
% 7.01/4.36 Conjecture not found
% 7.01/4.39 Conjecture not found
% 7.01/4.41 Conjecture not found
% 7.16/4.44 Conjecture not found
% 7.16/4.45 Conjecture not found
% 7.22/4.52 Conjecture not found
% 7.46/4.61 Conjecture not found
% 7.51/4.65 Conjecture not found
% 7.63/4.76 Conjecture not found
% 7.69/4.78 Conjecture not found
% 7.69/4.82 Conjecture not found
% 7.69/4.85 Conjecture not found
% 7.86/4.86 Conjecture not found
% 7.86/4.88 Conjecture not found
% 7.95/4.91 Conjecture not found
% 7.95/4.93 Conjecture not found
% 8.01/4.96 Conjecture not found
% 8.01/4.96 Conjecture not found
% 8.01/4.97 Conjecture not found
% 8.01/4.98 Conjecture not found
% 8.15/5.03 Conjecture not found
% 8.15/5.05 Conjecture not found
% 8.24/5.10 Conjecture not found
% 8.24/5.15 Conjecture not found
% 8.55/5.30 Conjecture not found
% 8.69/5.35 Conjecture not found
% 8.69/5.36 Conjecture not found
% 8.76/5.38 Conjecture not found
% 8.76/5.41 Conjecture not found
% 8.76/5.44 Conjecture not found
% 8.95/5.49 Conjecture not found
% 8.95/5.50 Conjecture not found
% 8.99/5.53 Conjecture not found
% 9.00/5.54 Conjecture not found
% 9.16/5.62 Conjecture not found
% 10.03/6.12 Conjecture not found
% 10.86/6.66 Conjecture not found
% 11.07/6.78 Conjecture not found
% 11.25/6.83 Conjecture not found
% 11.25/6.84 Conjecture not found
% 11.25/6.86 Conjecture not found
% 11.44/6.92 Conjecture not found
% 11.44/6.94 Conjecture not found
% 11.44/6.95 Conjecture not found
% 11.44/6.99 Conjecture not found
% 11.63/7.05 Conjecture not found
% 11.73/7.11 Conjecture not found
% 11.73/7.13 Conjecture not found
% 11.73/7.15 Conjecture not found
% 11.73/7.17 Conjecture not found
% 11.90/7.21 Conjecture not found
% 11.90/7.25 Conjecture not found
% 12.10/7.31 Conjecture not found
% 12.10/7.35 Conjecture not found
% 12.10/7.38 Conjecture not found
% 12.10/7.40 Conjecture not found
% 12.29/7.43 Conjecture not found
% 12.29/7.46 Conjecture not found
% 12.40/7.50 Conjecture not found
% 12.40/7.55 Conjecture not found
% 12.40/7.56 Conjecture not found
% 12.60/7.61 Conjecture not found
% 12.61/7.66 Conjecture not found
% 12.61/7.68 Conjecture not found
% 12.61/7.70 Conjecture not found
% 12.80/7.72 Conjecture not found
% 12.80/7.74 Conjecture not found
% 12.80/7.75 Conjecture not found
% 12.80/7.77 Conjecture not found
% 12.99/7.80 Conjecture not found
% 12.99/7.83 Conjecture not found
% 12.99/7.84 Conjecture not found
% 13.08/7.89 Conjecture not found
% 13.09/7.90 Conjecture not found
% 13.12/7.93 Conjecture not found
% 13.12/7.97 Conjecture not found
% 13.12/8.00 Conjecture not found
% 13.32/8.01 Conjecture not found
% 13.32/8.03 Conjecture not found
% 13.32/8.05 Conjecture not found
% 13.51/8.09 Conjecture not found
% 13.51/8.11 Conjecture not found
% 13.51/8.14 Conjecture not found
% 13.51/8.17 Conjecture not found
% 13.51/8.19 Conjecture not found
% 13.77/8.24 Conjecture not found
% 13.77/8.25 Conjecture not found
% 13.77/8.26 Conjecture not found
% 13.77/8.29 Conjecture not found
% 13.77/8.30 Conjecture not found
% 13.91/8.34 Conjecture not found
% 13.91/8.35 Conjecture not found
% 13.91/8.37 Conjecture not found
% 13.91/8.38 Conjecture not found
% 13.91/8.39 Conjecture not found
% 14.05/8.39 Conjecture not found
% 14.05/8.43 Conjecture not found
% 14.31/8.54 Conjecture not found
% 14.31/8.55 Conjecture not found
% 14.31/8.58 Conjecture not found
% 14.31/8.60 Conjecture not found
% 14.52/8.62 Conjecture not found
% 14.52/8.66 Conjecture not found
% 14.52/8.68 Conjecture not found
% 14.61/8.71 Conjecture not found
% 14.61/8.76 Conjecture not found
% 14.84/8.82 Conjecture not found
% 14.86/8.86 Conjecture not found
% 14.86/8.90 Conjecture not found
% 15.38/9.07 Conjecture not found
% 15.44/9.14 Conjecture not found
% 15.44/9.18 Conjecture not found
% 15.44/9.20 Conjecture not found
% 15.68/9.23 Conjecture not found
% 15.68/9.28 Conjecture not found
% 15.75/9.31 Conjecture not found
% 15.75/9.32 Conjecture not found
% 15.99/9.40 Conjecture not found
% 16.03/9.46 Conjecture not found
% 16.23/9.52 Conjecture not found
% 16.23/9.57 Conjecture not found
% 16.33/9.63 Conjecture not found
% 16.33/9.64 Conjecture not found
% 16.42/9.68 Conjecture not found
% 16.62/9.75 Conjecture not found
% 16.70/9.85 Conjecture not found
% 16.93/9.98 Conjecture not found
% 17.04/10.00 Conjecture not found
% 17.07/10.02 Conjecture not found
% 17.07/10.03 Conjecture not found
% 17.07/10.05 Conjecture not found
% 17.32/10.16 Conjecture not found
% 17.40/10.22 Conjecture not found
% 17.40/10.23 Conjecture not found
% 17.40/10.27 Conjecture not found
% 18.04/10.54 Conjecture not found
% 18.04/10.59 Conjecture not found
% 18.13/10.65 Conjecture not found
% 18.13/10.68 Conjecture not found
% 18.13/10.69 Conjecture not found
% 18.40/10.70 Conjecture not found
% 18.40/10.76 Conjecture not found
% 18.54/10.87 Conjecture not found
% 18.74/10.93 Conjecture not found
% 18.74/10.98 Conjecture not found
% 18.74/11.00 Conjecture not found
% 19.11/11.13 Conjecture not found
% 19.11/11.19 Conjecture not found
% 19.27/11.26 Conjecture not found
% 19.47/11.32 Conjecture not found
% 19.47/11.36 Conjecture not found
% 19.47/11.37 Conjecture not found
% 19.56/11.40 Conjecture not found
% 19.56/11.41 Conjecture not found
% 19.56/11.43 Conjecture not found
% 19.85/11.50 Conjecture not found
% 19.87/11.54 Conjecture not found
% 19.87/11.57 Conjecture not found
% 19.87/11.59 Conjecture not found
% 19.96/11.66 Conjecture not found
% 19.96/11.68 Conjecture not found
% 20.23/11.71 Conjecture not found
% 20.23/11.74 Conjecture not found
% 20.36/11.88 Conjecture not found
% 20.36/11.91 Conjecture not found
% 20.64/11.94 Conjecture not found
% 20.64/11.95 Conjecture not found
% 20.64/11.95 Conjecture not found
% 20.64/11.95 Conjecture not found
% 20.64/11.96 Conjecture not found
% 20.71/12.01 Conjecture not found
% 20.71/12.02 Conjecture not found
% 20.71/12.03 Conjecture not found
% 21.03/12.14 Conjecture not found
% 21.03/12.20 Conjecture not found
% 21.39/12.29 Conjecture not found
% 21.39/12.31 Conjecture not found
% 21.53/12.45 Conjecture not found
% 21.87/12.61 Conjecture not found
% 21.87/12.62 Conjecture not found
% 21.87/12.66 Conjecture not found
% 21.97/12.68 Conjecture not found
% 22.03/12.71 Conjecture not found
% 22.28/12.83 Conjecture not found
% 22.28/12.89 Conjecture not found
% 22.37/12.93 Conjecture not found
% 22.37/12.96 Conjecture not found
% 22.71/13.05 Conjecture not found
% 22.71/13.08 Conjecture not found
% 22.71/13.10 Conjecture not found
% 23.07/13.19 Conjecture not found
% 23.07/13.24 Conjecture not found
% 23.07/13.25 Conjecture not found
% 23.16/13.29 Conjecture not found
% 23.21/13.37 Conjecture not found
% 23.48/13.41 Conjecture not found
% 23.48/13.43 Conjecture not found
% 23.48/13.48 Conjecture not found
% 23.57/13.54 Conjecture not found
% 23.57/13.55 Conjecture not found
% 23.88/13.61 Conjecture not found
% 23.88/13.68 Conjecture not found
% 23.98/13.73 Conjecture not found
% 23.98/13.77 Conjecture not found
% 24.06/13.82 Conjecture not found
% 24.06/13.85 Conjecture not found
% 24.40/13.94 Conjecture not found
% 24.49/14.00 Conjecture not found
% 24.49/14.07 Conjecture not found
% 24.64/14.12 Conjecture not found
% 24.64/14.18 Conjecture not found
% 24.90/14.20 Conjecture not found
% 24.92/14.21 Conjecture not found
% 24.92/14.21 Conjecture not found
% 24.92/14.22 Conjecture not found
% 24.92/14.24 Conjecture not found
% 24.92/14.25 Conjecture not found
% 25.03/14.37 Conjecture not found
% 25.29/14.47 Conjecture not found
% 25.41/14.52 Conjecture not found
% 25.41/14.54 Conjecture not found
% 25.41/14.54 Conjecture not found
% 25.41/14.59 Conjecture not found
% 25.50/14.61 Conjecture not found
% 25.50/14.62 Conjecture not found
% 25.81/14.73 Conjecture not found
% 25.81/14.74 Conjecture not found
% 25.81/14.76 Conjecture not found
% 25.92/14.81 Conjecture not found
% 25.92/14.83 Conjecture not found
% 26.26/14.90 Conjecture not found
% 26.69/15.12 Conjecture not found
% 26.82/15.21 Conjecture not found
% 26.82/15.23 Conjecture not found
% 26.93/15.31 Conjecture not found
% 26.93/15.34 Conjecture not found
% 27.23/15.43 Conjecture not found
% 27.23/15.46 Conjecture not found
% 27.34/15.54 Conjecture not found
% 27.34/15.57 Conjecture not found
% 27.34/15.58 Conjecture not found
% 27.42/15.59 Conjecture not found
% 27.42/15.61 Conjecture not found
% 27.42/15.66 Conjecture not found
% 27.79/15.77 Conjecture not found
% 27.79/15.79 Conjecture not found
% 27.79/15.80 Conjecture not found
% 27.89/15.81 Conjecture not found
% 27.89/15.85 Conjecture not found
% 27.89/15.86 Conjecture not found
% 27.97/15.94 Conjecture not found
% 28.35/16.09 Conjecture not found
% 28.43/16.14 Conjecture not found
% 28.43/16.16 Conjecture not found
% 28.43/16.18 Conjecture not found
% 28.50/16.19 Conjecture not found
% 28.50/16.24 Conjecture not found
% 28.85/16.28 Conjecture not found
% 28.88/16.29 Conjecture not found
% 28.92/16.33 Conjecture not found
% 28.92/16.39 Conjecture not found
% 29.01/16.44 Conjecture not found
% 29.01/16.47 Conjecture not found
% 29.07/16.49 Conjecture not found
% 29.47/16.61 Conjecture not found
% 29.50/16.63 Conjecture not found
% 29.50/16.64 Conjecture not found
% 29.50/16.72 Conjecture not found
% 29.60/16.73 Conjecture not found
% 29.60/16.78 Conjecture not found
% 29.75/16.82 Conjecture not found
% 29.75/16.86 Conjecture not found
% 30.01/16.88 Conjecture not found
% 30.01/16.92 Conjecture not found
% 30.01/16.93 Conjecture not found
% 30.17/17.03 Conjecture not found
% 30.17/17.04 Conjecture not found
% 30.17/17.04 Conjecture not found
% 30.50/17.12 Conjecture not found
% 30.50/17.17 Conjecture not found
% 30.59/17.22 Conjecture not found
% 30.59/17.24 Conjecture not found
% 30.59/17.27 Conjecture not found
% 30.68/17.30 Conjecture not found
% 30.73/17.35 Conjecture not found
% 30.73/17.37 Conjecture not found
% 31.06/17.43 Conjecture not found
% 31.06/17.47 Conjecture not found
% 31.06/17.48 Conjecture not found
% 31.18/17.49 Conjecture not found
% 31.18/17.52 Conjecture not found
% 31.18/17.56 Conjecture not found
% 31.27/17.59 Conjecture not found
% 31.30/17.62 Conjecture not found
% 31.32/17.63 Conjecture not found
% 31.70/17.72 Conjecture not found
% 31.70/17.78 Conjecture not found
% 31.78/17.81 Conjecture not found
% 31.78/17.83 Conjecture not found
% 31.78/17.85 Conjecture not found
% 31.78/17.88 Conjecture not found
% 31.87/17.89 Conjecture not found
% 31.89/17.91 Conjecture not found
% 31.89/17.95 Conjecture not found
% 31.89/17.97 Conjecture not found
% 32.26/18.02 Conjecture not found
% 32.26/18.08 Conjecture not found
% 32.36/18.13 Conjecture not found
% 32.49/18.23 Conjecture not found
% 32.49/18.26 Conjecture not found
% 32.88/18.34 Conjecture not found
% 32.98/18.42 Conjecture not found
% 33.08/18.51 Conjecture not found
% 33.08/18.55 Conjecture not found
% 33.41/18.63 Conjecture not found
% 33.41/18.66 Conjecture not found
% 33.41/18.67 Conjecture not found
% 33.41/18.68 Conjecture not found
% 33.41/18.70 Conjecture not found
% 33.62/18.71 Conjecture not found
% 33.62/18.73 Conjecture not found
% 33.62/18.73 Conjecture not found
% 33.62/18.75 Conjecture not found
% 33.62/18.76 Conjecture not found
% 33.71/18.79 Conjecture not found
% 34.13/18.90 Conjecture not found
% 34.15/18.95 Conjecture not found
% 34.15/18.99 Conjecture not found
% 34.15/19.01 Conjecture not found
% 34.24/19.02 Conjecture not found
% 34.24/19.09 Conjecture not found
% 34.32/19.17 Conjecture not found
% 34.67/19.23 Conjecture not found
% 34.67/19.26 Conjecture not found
% 34.88/19.36 Conjecture not found
% 34.96/19.41 Conjecture not found
% 34.96/19.44 Conjecture not found
% 34.96/19.47 Conjecture not found
% 35.04/19.49 Conjecture not found
% 35.08/19.61 Conjecture not found
% 35.50/19.63 Conjecture not found
% 35.50/19.65 Conjecture not found
% 35.57/19.69 Conjecture not found
% 35.57/19.71 Conjecture not found
% 35.57/19.72 Conjecture not found
% 35.57/19.74 Conjecture not found
% 35.57/19.75 Conjecture not found
% 35.66/19.80 Conjecture not found
% 35.71/19.84 Conjecture not found
% 35.71/19.89 Conjecture not found
% 36.20/19.99 Conjecture not found
% 36.32/20.11 Conjecture not found
% 36.32/20.12 Conjecture not found
% 36.35/20.14 Conjecture not found
% 36.35/20.16 Conjecture not found
% 36.35/20.18 Conjecture not found
% 36.35/20.19 Conjecture not found
% 36.35/20.20 Conjecture not found
% 36.87/20.31 Conjecture not found
% 36.87/20.33 Conjecture not found
% 36.95/20.36 Conjecture not found
% 36.99/20.40 Conjecture not found
% 36.99/20.41 Conjecture not found
% 37.02/20.43 Conjecture not found
% 37.02/20.46 Conjecture not found
% 37.02/20.48 Conjecture not found
% 37.02/20.50 Conjecture not found
% 37.12/20.55 Conjecture not found
% 37.12/20.57 Conjecture not found
% 37.37/20.67 Conjecture not found
% 37.62/20.68 Conjecture not found
% 37.62/20.70 Conjecture not found
% 37.62/20.71 Conjecture not found
% 37.67/20.75 Conjecture not found
% 37.67/20.81 Conjecture not found
% 37.77/20.83 Conjecture not found
% 37.77/20.87 Conjecture not found
% 37.83/20.90 Conjecture not found
% 37.83/20.91 Conjecture not found
% 38.26/20.98 Conjecture not found
% 38.31/21.09 Conjecture not found
% 38.40/21.14 Conjecture not found
% 38.40/21.16 Conjecture not found
% 38.48/21.20 Conjecture not found
% 38.48/21.22 Conjecture not found
% 38.48/21.26 Conjecture not found
% 38.82/21.34 Conjecture not found
% 38.82/21.38 Conjecture not found
% 39.05/21.42 Conjecture not found
% 39.05/21.45 Conjecture not found
% 39.05/21.47 Conjecture not found
% 39.14/21.50 Conjecture not found
% 39.14/21.52 Conjecture not found
% 39.14/21.53 Conjecture not found
% 39.14/21.57 Conjecture not found
% 39.24/21.60 Conjecture not found
% 39.26/21.65 Conjecture not found
% 39.26/21.66 Conjecture not found
% 39.26/21.70 Conjecture not found
% 39.57/21.79 Conjecture not found
% 39.85/21.84 Conjecture not found
% 39.85/21.87 Conjecture not found
% 39.94/21.90 Conjecture not found
% 39.95/21.90 Conjecture not found
% 39.96/21.92 Conjecture not found
% 39.96/21.96 Conjecture not found
% 39.96/21.97 Conjecture not found
% 39.96/22.00 Conjecture not found
% 40.06/22.05 Conjecture not found
% 40.06/22.05 Conjecture not found
% 40.31/22.15 Conjecture not found
% 40.31/22.17 Conjecture not found
% 40.67/22.19 Conjecture not found
% 40.68/22.21 Conjecture not found
% 40.68/22.25 Conjecture not found
% 40.68/22.26 Conjecture not found
% 40.68/22.29 Conjecture not found
% 40.78/22.32 Conjecture not found
% 40.78/22.34 Conjecture not found
% 40.78/22.38 Conjecture not found
% 40.89/22.43 Conjecture not found
% 41.13/22.55 Conjecture not found
% 41.13/22.58 Conjecture not found
% 41.51/22.60 Conjecture not found
% 41.51/22.61 Conjecture not found
% 41.60/22.70 Conjecture not found
% 41.60/22.71 Conjecture not found
% 41.60/22.73 Conjecture not found
% 41.60/22.77 Conjecture not found
% 41.71/22.84 Conjecture not found
% 41.71/22.89 Conjecture not found
% 42.33/23.02 Conjecture not found
% 42.33/23.03 Conjecture not found
% 42.33/23.08 Conjecture not found
% 42.33/23.08 Conjecture not found
% 42.33/23.09 Conjecture not found
% 42.33/23.10 Conjecture not found
% 42.46/23.12 Conjecture not found
% 42.46/23.15 Conjecture not found
% 42.46/23.17 Conjecture not found
% 42.46/23.18 Conjecture not found
% 42.64/23.25 Conjecture not found
% 43.04/23.32 Conjecture not found
% 43.04/23.33 Conjecture not found
% 43.04/23.36 Conjecture not found
% 43.15/23.41 Conjecture not found
% 43.18/23.43 Conjecture not found
% 43.18/23.49 Conjecture not found
% 43.26/23.53 Conjecture not found
% 43.26/23.57 Conjecture not found
% 43.34/23.59 Conjecture not found
% 43.91/23.71 Conjecture not found
% 43.93/23.74 Conjecture not found
% 43.93/23.76 Conjecture not found
% 43.93/23.78 Conjecture not found
% 44.01/23.81 Conjecture not found
% 44.01/23.82 Conjecture not found
% 44.01/23.83 Conjecture not found
% 44.01/23.85 Conjecture not found
% 44.08/23.93 Conjecture not found
% 44.46/23.97 Conjecture not found
% 44.46/23.99 Conjecture not found
% 44.70/24.04 Conjecture not found
% 44.70/24.06 Conjecture not found
% 44.70/24.08 Conjecture not found
% 44.70/24.11 Conjecture not found
% 44.80/24.13 Conjecture not found
% 44.80/24.14 Conjecture not found
% 44.80/24.17 Conjecture not found
% 44.88/24.20 Conjecture not found
% 44.88/24.23 Conjecture not found
% 44.88/24.26 Conjecture not found
% 44.88/24.26 Conjecture not found
% 44.97/24.29 Conjecture not found
% 44.97/24.30 Conjecture not found
% 44.97/24.32 Conjecture not found
% 44.97/24.38 Conjecture not found
% 45.20/24.41 Conjecture not found
% 45.20/24.41 Conjecture not found
% 45.44/24.43 Conjecture not found
% 45.44/24.45 Conjecture not found
% 45.44/24.47 Conjecture not found
% 45.44/24.48 Conjecture not found
% 45.44/24.49 Conjecture not found
% 45.66/24.50 Conjecture not found
% 45.66/24.52 Conjecture not found
% 45.66/24.55 Conjecture not found
% 45.66/24.56 Conjecture not found
% 45.66/24.57 Conjecture not found
% 45.74/24.58 Conjecture not found
% 45.74/24.62 Conjecture not found
% 45.74/24.63 Conjecture not found
% 45.99/24.72 Conjecture not found
% 45.99/24.75 Conjecture not found
% 45.99/24.77 Conjecture not found
% 46.52/24.94 Conjecture not found
% 46.52/24.97 Conjecture not found
% 46.62/24.99 Conjecture not found
% 46.62/25.00 Conjecture not found
% 46.64/25.05 Conjecture not found
% 46.64/25.09 Conjecture not found
% 46.73/25.13 Conjecture not found
% 46.73/25.17 Conjecture not found
% 46.88/25.26 Conjecture not found
% 47.41/25.34 Conjecture not found
% 47.41/25.35 Conjecture not found
% 47.41/25.40 Conjecture not found
% 47.50/25.41 Conjecture not found
% 47.50/25.44 Conjecture not found
% 47.50/25.45 Conjecture not found
% 47.50/25.45 Conjecture not found
% 47.50/25.46 Conjecture not found
% 47.50/25.48 Conjecture not found
% 47.50/25.50 Conjecture not found
% 47.60/25.51 Conjecture not found
% 47.60/25.52 Conjecture not found
% 47.60/25.59 Conjecture not found
% 48.18/25.62 Conjecture not found
% 48.18/25.65 Conjecture not found
% 48.18/25.67 Conjecture not found
% 48.29/25.73 Conjecture not found
% 48.29/25.76 Conjecture not found
% 48.29/25.78 Conjecture not found
% 48.38/25.82 Conjecture not found
% 48.38/25.84 Conjecture not found
% 48.38/25.88 Conjecture not found
% 48.47/25.89 Conjecture not found
% 48.47/25.91 Conjecture not found
% 48.47/25.95 Conjecture not found
% 49.10/26.05 Conjecture not found
% 49.70/26.39 Conjecture not found
% 50.00/26.40 Conjecture not found
% 50.01/26.44 Conjecture not found
% 50.01/26.48 Conjecture not found
% 50.01/26.49 Conjecture not found
% 50.01/26.50 Conjecture not found
% 50.10/26.51 Conjecture not found
% 50.10/26.53 Conjecture not found
% 50.10/26.54 Conjecture not found
% 50.10/26.55 Conjecture not found
% 50.10/26.57 Conjecture not found
% 50.19/26.63 Conjecture not found
% 50.31/26.72 Conjecture not found
% 50.76/26.82 Conjecture not found
% 50.76/26.89 Conjecture not found
% 50.99/26.93 Conjecture not found
% 50.99/26.94 Conjecture not found
% 50.99/26.96 Conjecture not found
% 51.11/27.01 Conjecture not found
% 51.12/27.02 Conjecture not found
% 51.12/27.04 Conjecture not found
% 51.12/27.05 Conjecture not found
% 51.12/27.07 Conjecture not found
% 51.22/27.13 Conjecture not found
% 51.22/27.16 Conjecture not found
% 51.29/27.20 Conjecture not found
% 51.78/27.29 Conjecture not found
% 51.78/27.30 Conjecture not found
% 51.93/27.39 Conjecture not found
% 52.03/27.42 Conjecture not found
% 52.03/27.43 Conjecture not found
% 52.03/27.44 Conjecture not found
% 52.03/27.47 Conjecture not found
% 52.11/27.49 Conjecture not found
% 52.11/27.50 Conjecture not found
% 52.11/27.55 Conjecture not found
% 52.11/27.55 Conjecture not found
% 52.11/27.56 Conjecture not found
% 52.11/27.58 Conjecture not found
% 52.21/27.59 Conjecture not found
% 52.21/27.61 Conjecture not found
% 52.24/27.63 Conjecture not found
% 52.24/27.64 Conjecture not found
% 52.24/27.71 Conjecture not found
% 52.61/27.78 Conjecture not found
% 52.61/27.80 Conjecture not found
% 52.97/27.81 Conjecture not found
% 53.05/27.90 Conjecture not found
% 53.05/27.91 Conjecture not found
% 53.05/27.94 Conjecture not found
% 53.05/27.97 Conjecture not found
% 53.19/28.07 Conjecture not found
% 53.19/28.09 Conjecture not found
% 53.27/28.13 Conjecture not found
% 53.27/28.16 Conjecture not found
% 53.49/28.26 Conjecture not found
% 53.49/28.27 Conjecture not found
% 54.03/28.31 Conjecture not found
% 54.04/28.37 Conjecture not found
% 54.14/28.42 Conjecture not found
% 54.14/28.43 Conjecture not found
% 54.14/28.44 Conjecture not found
% 54.22/28.51 Conjecture not found
% 54.22/28.55 Conjecture not found
% 54.34/28.61 Conjecture not found
% 54.35/28.64 Conjecture not found
% 54.35/28.67 Conjecture not found
% 54.97/28.72 Conjecture not found
% 54.97/28.75 Conjecture not found
% 54.97/28.79 Conjecture not found
% 54.97/28.80 Conjecture not found
% 55.09/28.81 Conjecture not found
% 55.09/28.83 Conjecture not found
% 55.09/28.88 Conjecture not found
% 55.09/28.89 Conjecture not found
% 55.19/28.92 Conjecture not found
% 55.19/28.96 Conjecture not found
% 55.19/28.97 Conjecture not found
% 55.29/29.08 Conjecture not found
% 55.29/29.09 Conjecture not found
% 55.38/29.11 Conjecture not found
% 55.38/29.13 Conjecture not found
% 56.04/29.19 Conjecture not found
% 56.08/29.28 Conjecture not found
% 56.19/29.31 Conjecture not found
% 56.19/29.34 Conjecture not found
% 56.19/29.34 Conjecture not found
% 56.19/29.34 Conjecture not found
% 56.19/29.37 Conjecture not found
% 56.19/29.37 Conjecture not found
% 56.30/29.46 Conjecture not found
% 56.30/29.47 Conjecture not found
% 56.40/29.57 Conjecture not found
% 57.20/29.70 Conjecture not found
% 57.20/29.73 Conjecture not found
% 57.20/29.75 Conjecture not found
% 57.20/29.76 Conjecture not found
% 57.20/29.78 Conjecture not found
% 57.29/29.79 Conjecture not found
% 57.30/29.80 Conjecture not found
% 57.31/29.84 Conjecture not found
% 57.31/29.88 Conjecture not found
% 57.31/29.89 Conjecture not found
% 57.40/29.97 Conjecture not found
% 57.49/30.07 Conjecture not found
% 57.49/30.10 Conjecture not found
% 57.82/30.16 Conjecture not found
% 57.82/30.19 Conjecture not found
% 58.34/30.22 Conjecture not found
% 58.34/30.25 Conjecture not found
% 58.42/30.29 Conjecture not found
% 58.42/30.31 Conjecture not found
% 58.52/30.41 Conjecture not found
% 59.50/30.75 Conjecture not found
% 59.64/30.91 Conjecture not found
% 59.64/30.92 Conjecture not found
% 59.72/30.97 Conjecture not found
% 59.80/31.08 Conjecture not found
% 59.80/31.10 Conjecture not found
% 59.80/31.11 Conjecture not found
% 59.80/31.12 Conjecture not found
% 59.88/31.15 Conjecture not found
% 59.88/31.17 Conjecture not found
% 60.70/31.29 Conjecture not found
% 60.70/31.32 Conjecture not found
% 60.74/31.33 Conjecture not found
% 60.75/31.35 Conjecture not found
% 60.75/31.38 Conjecture not found
% 60.75/31.40 Conjecture not found
% 60.82/31.41 Conjecture not found
% 60.82/31.42 Conjecture not found
% 60.88/31.53 Conjecture not found
% 60.88/31.54 Conjecture not found
% 60.98/31.57 Conjecture not found
% 61.01/31.62 Conjecture not found
% 61.01/31.62 Conjecture not found
% 61.05/31.63 Conjecture not found
% 61.05/31.63 Conjecture not found
% 61.06/31.64 Conjecture not found
% 61.06/31.65 Conjecture not found
% 61.06/31.70 Conjecture not found
% 61.41/31.71 Conjecture not found
% 61.87/31.81 Conjecture not found
% 61.97/31.90 Conjecture not found
% 62.00/31.92 Conjecture not found
% 62.02/31.93 Conjecture not found
% 62.02/31.94 Conjecture not found
% 62.02/31.97 Conjecture not found
% 62.02/31.99 Conjecture not found
% 62.11/32.05 Conjecture not found
% 62.11/32.07 Conjecture not found
% 62.11/32.08 Conjecture not found
% 62.11/32.09 Conjecture not found
% 62.18/32.14 Conjecture not found
% 62.18/32.16 Conjecture not found
% 62.27/32.20 Conjecture not found
% 62.30/32.22 Conjecture not found
% 62.30/32.22 Conjecture not found
% 62.43/32.25 Conjecture not found
% 62.43/32.30 Conjecture not found
% 62.43/32.32 Conjecture not found
% 63.10/32.34 Conjecture not found
% 63.10/32.36 Conjecture not found
% 63.10/32.38 Conjecture not found
% 63.10/32.40 Conjecture not found
% 63.19/32.44 Conjecture not found
% 63.19/32.45 Conjecture not found
% 63.29/32.51 Conjecture not found
% 63.30/32.55 Conjecture not found
% 63.30/32.57 Conjecture not found
% 63.30/32.59 Conjecture not found
% 63.39/32.62 Conjecture not found
% 63.39/32.66 Conjecture not found
% 63.47/32.71 Conjecture not found
% 64.12/32.80 Conjecture not found
% 64.29/32.84 Conjecture not found
% 64.29/32.88 Conjecture not found
% 64.29/32.89 Conjecture not found
% 64.40/32.94 Conjecture not found
% 64.40/32.95 Conjecture not found
% 64.40/32.96 Conjecture not found
% 64.47/33.02 Conjecture not found
% 64.47/33.07 Conjecture not found
% 64.47/33.08 Conjecture not found
% 64.55/33.11 Conjecture not found
% 64.55/33.12 Conjecture not found
% 64.55/33.13 Conjecture not found
% 64.55/33.14 Conjecture not found
% 64.55/33.16 Conjecture not found
% 65.00/33.29 Conjecture not found
% 65.43/33.32 Conjecture not found
% 65.43/33.33 Conjecture not found
% 65.43/33.36 Conjecture not found
% 65.51/33.39 Conjecture not found
% 65.51/33.43 Conjecture not found
% 65.51/33.43 Conjecture not found
% 65.51/33.45 Conjecture not found
% 65.61/33.49 Conjecture not found
% 65.66/33.55 Conjecture not found
% 65.66/33.60 Conjecture not found
% 65.66/33.61 Conjecture not found
% 65.75/33.66 Conjecture not found
% 65.91/33.71 Conjecture not found
% 65.91/33.74 Conjecture not found
% 66.59/33.79 Conjecture not found
% 66.59/33.80 Conjecture not found
% 66.66/33.81 Conjecture not found
% 66.68/33.86 Conjecture not found
% 66.68/33.88 Conjecture not found
% 66.68/33.88 Start search
% 150.33/53.83 nb_step : 1 - limit : 162249
% 151.21/54.49 Launch Gotab with destructive = true
%------------------------------------------------------------------------------