TSTP Solution File: SEU407+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU407+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n009.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:54 EDT 2022
% Result : Timeout 300.39s 91.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU407+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n009.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:22:15 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.000035s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.38 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.48/0.54 Conjecture not found
% 0.48/0.55 Conjecture not found
% 0.51/0.56 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.51/0.59 Conjecture not found
% 0.51/0.61 Conjecture not found
% 0.63/0.66 Conjecture not found
% 0.70/0.73 Conjecture not found
% 0.70/0.73 Conjecture not found
% 0.87/0.81 Conjecture not found
% 1.03/0.86 Conjecture not found
% 1.16/0.95 Conjecture not found
% 1.23/0.98 Conjecture not found
% 1.34/1.05 Conjecture not found
% 1.42/1.09 Conjecture not found
% 1.52/1.14 Conjecture not found
% 1.52/1.17 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.57/1.23 Conjecture not found
% 1.66/1.23 Conjecture not found
% 1.66/1.24 Conjecture not found
% 1.83/1.34 Conjecture not found
% 1.83/1.36 Conjecture not found
% 1.89/1.36 Conjecture not found
% 1.89/1.38 Conjecture not found
% 1.89/1.38 Conjecture not found
% 1.89/1.39 Conjecture not found
% 1.89/1.39 Conjecture not found
% 1.89/1.40 Conjecture not found
% 1.89/1.40 Conjecture not found
% 2.04/1.46 Conjecture not found
% 2.10/1.51 Conjecture not found
% 2.10/1.51 Conjecture not found
% 2.10/1.52 Conjecture not found
% 2.10/1.53 Conjecture not found
% 2.18/1.55 Conjecture not found
% 2.23/1.56 Conjecture not found
% 2.23/1.58 Conjecture not found
% 2.23/1.60 Conjecture not found
% 2.23/1.63 Conjecture not found
% 2.36/1.65 Conjecture not found
% 2.36/1.65 Conjecture not found
% 2.36/1.66 Conjecture not found
% 2.44/1.69 Conjecture not found
% 2.44/1.75 Conjecture not found
% 2.59/1.81 Conjecture not found
% 2.66/1.81 Conjecture not found
% 2.72/1.84 Conjecture not found
% 2.72/1.87 Conjecture not found
% 2.72/1.90 Conjecture not found
% 2.72/1.91 Conjecture not found
% 2.83/1.94 Conjecture not found
% 2.94/2.03 Conjecture not found
% 3.08/2.06 Conjecture not found
% 3.11/2.08 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.11/2.11 Conjecture not found
% 3.17/2.13 Conjecture not found
% 3.52/2.32 Conjecture not found
% 3.52/2.35 Conjecture not found
% 3.63/2.37 Conjecture not found
% 3.75/2.48 Conjecture not found
% 3.75/2.49 Conjecture not found
% 3.75/2.51 Conjecture not found
% 3.75/2.53 Conjecture not found
% 3.91/2.57 Conjecture not found
% 4.02/2.64 Conjecture not found
% 4.20/2.73 Conjecture not found
% 4.29/2.80 Conjecture not found
% 4.43/2.85 Conjecture not found
% 4.43/2.87 Conjecture not found
% 4.53/2.91 Conjecture not found
% 4.53/2.91 Conjecture not found
% 4.64/2.95 Conjecture not found
% 4.64/2.97 Conjecture not found
% 4.64/2.99 Conjecture not found
% 4.69/3.01 Conjecture not found
% 4.79/3.08 Conjecture not found
% 4.79/3.09 Conjecture not found
% 4.79/3.13 Conjecture not found
% 5.04/3.20 Conjecture not found
% 5.17/3.31 Conjecture not found
% 5.47/3.47 Conjecture not found
% 5.92/3.69 Conjecture not found
% 6.34/3.93 Conjecture not found
% 6.47/3.96 Conjecture not found
% 6.51/3.99 Conjecture not found
% 6.65/4.10 Conjecture not found
% 6.79/4.14 Conjecture not found
% 6.83/4.19 Conjecture not found
% 6.96/4.26 Conjecture not found
% 6.99/4.32 Conjecture not found
% 7.17/4.39 Conjecture not found
% 7.17/4.42 Conjecture not found
% 7.17/4.43 Conjecture not found
% 7.17/4.45 Conjecture not found
% 7.36/4.48 Conjecture not found
% 7.36/4.49 Conjecture not found
% 7.53/4.56 Conjecture not found
% 7.70/4.67 Conjecture not found
% 7.70/4.73 Conjecture not found
% 8.02/4.84 Conjecture not found
% 8.04/4.86 Conjecture not found
% 8.04/4.89 Conjecture not found
% 8.04/4.90 Conjecture not found
% 8.04/4.91 Conjecture not found
% 8.17/4.95 Conjecture not found
% 8.17/4.97 Conjecture not found
% 8.24/4.98 Conjecture not found
% 8.24/5.03 Conjecture not found
% 8.24/5.03 Conjecture not found
% 8.24/5.05 Conjecture not found
% 8.41/5.06 Conjecture not found
% 8.43/5.11 Conjecture not found
% 8.43/5.12 Conjecture not found
% 8.47/5.16 Conjecture not found
% 8.63/5.21 Conjecture not found
% 8.97/5.41 Conjecture not found
% 9.02/5.46 Conjecture not found
% 9.02/5.47 Conjecture not found
% 9.02/5.50 Conjecture not found
% 9.19/5.53 Conjecture not found
% 9.19/5.57 Conjecture not found
% 9.27/5.62 Conjecture not found
% 9.27/5.63 Conjecture not found
% 9.42/5.66 Conjecture not found
% 9.43/5.69 Conjecture not found
% 9.49/5.76 Conjecture not found
% 10.41/6.19 Conjecture not found
% 11.21/6.72 Conjecture not found
% 11.49/6.85 Conjecture not found
% 11.51/6.91 Conjecture not found
% 11.66/6.93 Conjecture not found
% 11.66/6.95 Conjecture not found
% 11.70/6.99 Conjecture not found
% 11.70/7.01 Conjecture not found
% 11.70/7.03 Conjecture not found
% 11.90/7.08 Conjecture not found
% 11.90/7.13 Conjecture not found
% 12.09/7.19 Conjecture not found
% 12.09/7.22 Conjecture not found
% 12.15/7.23 Conjecture not found
% 12.19/7.27 Conjecture not found
% 12.35/7.33 Conjecture not found
% 12.39/7.38 Conjecture not found
% 12.39/7.42 Conjecture not found
% 12.59/7.49 Conjecture not found
% 12.59/7.51 Conjecture not found
% 12.59/7.53 Conjecture not found
% 12.65/7.55 Conjecture not found
% 12.77/7.59 Conjecture not found
% 12.85/7.63 Conjecture not found
% 12.85/7.67 Conjecture not found
% 12.90/7.69 Conjecture not found
% 13.09/7.77 Conjecture not found
% 13.12/7.83 Conjecture not found
% 13.17/7.84 Conjecture not found
% 13.19/7.86 Conjecture not found
% 13.19/7.90 Conjecture not found
% 13.36/7.91 Conjecture not found
% 13.36/7.93 Conjecture not found
% 13.36/7.96 Conjecture not found
% 13.41/7.98 Conjecture not found
% 13.41/8.00 Conjecture not found
% 13.41/8.01 Conjecture not found
% 13.61/8.06 Conjecture not found
% 13.64/8.08 Conjecture not found
% 13.64/8.12 Conjecture not found
% 13.71/8.15 Conjecture not found
% 13.71/8.18 Conjecture not found
% 13.71/8.19 Conjecture not found
% 13.71/8.22 Conjecture not found
% 13.89/8.25 Conjecture not found
% 13.95/8.28 Conjecture not found
% 13.95/8.28 Conjecture not found
% 13.95/8.31 Conjecture not found
% 14.11/8.36 Conjecture not found
% 14.14/8.39 Conjecture not found
% 14.20/8.44 Conjecture not found
% 14.20/8.45 Conjecture not found
% 14.20/8.47 Conjecture not found
% 14.27/8.52 Conjecture not found
% 14.27/8.54 Conjecture not found
% 14.27/8.57 Conjecture not found
% 14.45/8.58 Conjecture not found
% 14.45/8.60 Conjecture not found
% 14.45/8.61 Conjecture not found
% 14.45/8.61 Conjecture not found
% 14.45/8.61 Conjecture not found
% 14.45/8.65 Conjecture not found
% 14.74/8.75 Conjecture not found
% 14.74/8.76 Conjecture not found
% 14.74/8.78 Conjecture not found
% 14.74/8.80 Conjecture not found
% 14.74/8.81 Conjecture not found
% 14.90/8.86 Conjecture not found
% 14.90/8.88 Conjecture not found
% 15.02/8.92 Conjecture not found
% 15.11/8.97 Conjecture not found
% 15.11/9.01 Conjecture not found
% 15.30/9.05 Conjecture not found
% 15.30/9.09 Conjecture not found
% 15.59/9.24 Conjecture not found
% 15.68/9.30 Conjecture not found
% 15.89/9.38 Conjecture not found
% 15.89/9.39 Conjecture not found
% 15.89/9.42 Conjecture not found
% 15.98/9.47 Conjecture not found
% 16.02/9.52 Conjecture not found
% 16.22/9.54 Conjecture not found
% 16.28/9.63 Conjecture not found
% 16.32/9.69 Conjecture not found
% 16.56/9.75 Conjecture not found
% 16.61/9.80 Conjecture not found
% 16.81/9.87 Conjecture not found
% 16.81/9.90 Conjecture not found
% 16.88/9.96 Conjecture not found
% 16.92/9.99 Conjecture not found
% 17.17/10.07 Conjecture not found
% 17.26/10.16 Conjecture not found
% 17.26/10.17 Conjecture not found
% 17.26/10.21 Conjecture not found
% 17.47/10.23 Conjecture not found
% 17.51/10.27 Conjecture not found
% 17.58/10.36 Conjecture not found
% 17.83/10.44 Conjecture not found
% 17.83/10.46 Conjecture not found
% 17.86/10.49 Conjecture not found
% 18.21/10.73 Conjecture not found
% 18.49/10.81 Conjecture not found
% 18.56/10.86 Conjecture not found
% 18.59/10.88 Conjecture not found
% 18.59/10.89 Conjecture not found
% 18.59/10.90 Conjecture not found
% 18.86/10.97 Conjecture not found
% 18.93/11.06 Conjecture not found
% 18.98/11.13 Conjecture not found
% 19.28/11.21 Conjecture not found
% 19.28/11.25 Conjecture not found
% 19.58/11.35 Conjecture not found
% 19.62/11.40 Conjecture not found
% 19.68/11.44 Conjecture not found
% 19.69/11.47 Conjecture not found
% 19.94/11.53 Conjecture not found
% 19.94/11.55 Conjecture not found
% 19.99/11.59 Conjecture not found
% 19.99/11.59 Conjecture not found
% 19.99/11.61 Conjecture not found
% 19.99/11.64 Conjecture not found
% 20.07/11.67 Conjecture not found
% 20.10/11.70 Conjecture not found
% 20.32/11.73 Conjecture not found
% 20.33/11.77 Conjecture not found
% 20.33/11.78 Conjecture not found
% 20.33/11.79 Conjecture not found
% 20.33/11.81 Conjecture not found
% 20.65/11.89 Conjecture not found
% 20.65/11.90 Conjecture not found
% 20.65/11.93 Conjecture not found
% 20.65/11.94 Conjecture not found
% 20.65/11.94 Conjecture not found
% 20.65/11.94 Conjecture not found
% 20.65/11.96 Conjecture not found
% 20.94/12.01 Conjecture not found
% 20.94/12.01 Conjecture not found
% 20.99/12.02 Conjecture not found
% 21.01/12.07 Conjecture not found
% 21.28/12.13 Conjecture not found
% 21.34/12.23 Conjecture not found
% 21.34/12.24 Conjecture not found
% 21.68/12.38 Conjecture not found
% 21.83/12.51 Conjecture not found
% 21.83/12.54 Conjecture not found
% 22.10/12.61 Conjecture not found
% 22.15/12.64 Conjecture not found
% 22.19/12.65 Conjecture not found
% 22.19/12.72 Conjecture not found
% 22.52/12.82 Conjecture not found
% 22.58/12.86 Conjecture not found
% 22.58/12.88 Conjecture not found
% 22.76/12.98 Conjecture not found
% 22.76/13.03 Conjecture not found
% 22.98/13.05 Conjecture not found
% 23.03/13.10 Conjecture not found
% 23.03/13.14 Conjecture not found
% 23.23/13.17 Conjecture not found
% 23.36/13.23 Conjecture not found
% 23.40/13.30 Conjecture not found
% 23.40/13.32 Conjecture not found
% 23.40/13.34 Conjecture not found
% 23.51/13.38 Conjecture not found
% 23.77/13.44 Conjecture not found
% 23.77/13.44 Conjecture not found
% 23.79/13.48 Conjecture not found
% 23.86/13.52 Conjecture not found
% 23.86/13.55 Conjecture not found
% 23.90/13.62 Conjecture not found
% 24.22/13.72 Conjecture not found
% 24.28/13.74 Conjecture not found
% 24.30/13.79 Conjecture not found
% 24.37/13.86 Conjecture not found
% 24.70/13.95 Conjecture not found
% 24.73/13.97 Conjecture not found
% 24.79/14.03 Conjecture not found
% 24.92/14.06 Conjecture not found
% 24.92/14.09 Conjecture not found
% 24.92/14.09 Conjecture not found
% 24.92/14.11 Conjecture not found
% 25.11/14.14 Conjecture not found
% 25.11/14.15 Conjecture not found
% 25.14/14.22 Conjecture not found
% 25.21/14.28 Conjecture not found
% 25.54/14.36 Conjecture not found
% 25.57/14.39 Conjecture not found
% 25.57/14.39 Conjecture not found
% 25.62/14.45 Conjecture not found
% 25.65/14.46 Conjecture not found
% 25.65/14.47 Conjecture not found
% 26.00/14.58 Conjecture not found
% 26.00/14.60 Conjecture not found
% 26.08/14.65 Conjecture not found
% 26.11/14.71 Conjecture not found
% 26.16/14.74 Conjecture not found
% 26.19/14.77 Conjecture not found
% 26.64/14.98 Conjecture not found
% 26.86/15.07 Conjecture not found
% 26.86/15.09 Conjecture not found
% 27.08/15.21 Conjecture not found
% 27.08/15.23 Conjecture not found
% 27.17/15.27 Conjecture not found
% 27.32/15.32 Conjecture not found
% 27.59/15.44 Conjecture not found
% 27.59/15.47 Conjecture not found
% 27.59/15.48 Conjecture not found
% 27.66/15.50 Conjecture not found
% 27.66/15.53 Conjecture not found
% 27.77/15.60 Conjecture not found
% 28.06/15.68 Conjecture not found
% 28.10/15.69 Conjecture not found
% 28.10/15.70 Conjecture not found
% 28.10/15.70 Conjecture not found
% 28.14/15.74 Conjecture not found
% 28.14/15.75 Conjecture not found
% 28.21/15.81 Conjecture not found
% 28.51/15.95 Conjecture not found
% 28.65/16.02 Conjecture not found
% 28.70/16.06 Conjecture not found
% 28.70/16.08 Conjecture not found
% 28.70/16.10 Conjecture not found
% 28.95/16.16 Conjecture not found
% 28.95/16.20 Conjecture not found
% 28.95/16.21 Conjecture not found
% 29.16/16.26 Conjecture not found
% 29.16/16.29 Conjecture not found
% 29.20/16.33 Conjecture not found
% 29.25/16.36 Conjecture not found
% 29.25/16.39 Conjecture not found
% 29.58/16.51 Conjecture not found
% 29.58/16.54 Conjecture not found
% 29.58/16.55 Conjecture not found
% 29.79/16.63 Conjecture not found
% 29.79/16.65 Conjecture not found
% 29.85/16.70 Conjecture not found
% 30.19/16.75 Conjecture not found
% 30.23/16.78 Conjecture not found
% 30.23/16.80 Conjecture not found
% 30.23/16.83 Conjecture not found
% 30.28/16.84 Conjecture not found
% 30.36/16.94 Conjecture not found
% 30.36/16.95 Conjecture not found
% 30.36/16.95 Conjecture not found
% 30.41/17.00 Conjecture not found
% 30.78/17.06 Conjecture not found
% 30.81/17.10 Conjecture not found
% 30.81/17.12 Conjecture not found
% 30.89/17.16 Conjecture not found
% 30.89/17.21 Conjecture not found
% 31.00/17.27 Conjecture not found
% 31.00/17.29 Conjecture not found
% 31.32/17.34 Conjecture not found
% 31.40/17.38 Conjecture not found
% 31.40/17.40 Conjecture not found
% 31.40/17.41 Conjecture not found
% 31.46/17.45 Conjecture not found
% 31.49/17.49 Conjecture not found
% 31.49/17.52 Conjecture not found
% 31.56/17.55 Conjecture not found
% 31.56/17.56 Conjecture not found
% 31.60/17.63 Conjecture not found
% 32.00/17.71 Conjecture not found
% 32.00/17.73 Conjecture not found
% 32.07/17.75 Conjecture not found
% 32.10/17.78 Conjecture not found
% 32.10/17.81 Conjecture not found
% 32.10/17.82 Conjecture not found
% 32.15/17.84 Conjecture not found
% 32.17/17.88 Conjecture not found
% 32.17/17.89 Conjecture not found
% 32.39/17.92 Conjecture not found
% 32.60/18.01 Conjecture not found
% 32.67/18.06 Conjecture not found
% 32.78/18.16 Conjecture not found
% 32.78/18.19 Conjecture not found
% 33.03/18.27 Conjecture not found
% 33.29/18.36 Conjecture not found
% 33.38/18.45 Conjecture not found
% 33.38/18.49 Conjecture not found
% 33.46/18.56 Conjecture not found
% 33.84/18.60 Conjecture not found
% 33.84/18.61 Conjecture not found
% 33.84/18.63 Conjecture not found
% 33.93/18.66 Conjecture not found
% 33.94/18.68 Conjecture not found
% 33.94/18.70 Conjecture not found
% 33.94/18.71 Conjecture not found
% 33.99/18.73 Conjecture not found
% 33.99/18.75 Conjecture not found
% 34.02/18.79 Conjecture not found
% 34.11/18.89 Conjecture not found
% 34.47/18.94 Conjecture not found
% 34.55/18.98 Conjecture not found
% 34.55/19.00 Conjecture not found
% 34.59/19.01 Conjecture not found
% 34.63/19.08 Conjecture not found
% 34.73/19.17 Conjecture not found
% 34.81/19.21 Conjecture not found
% 34.81/19.25 Conjecture not found
% 35.24/19.40 Conjecture not found
% 35.24/19.44 Conjecture not found
% 35.33/19.47 Conjecture not found
% 35.38/19.50 Conjecture not found
% 35.38/19.52 Conjecture not found
% 35.42/19.58 Conjecture not found
% 35.42/19.59 Conjecture not found
% 35.48/19.60 Conjecture not found
% 35.80/19.68 Conjecture not found
% 35.80/19.71 Conjecture not found
% 35.80/19.73 Conjecture not found
% 35.96/19.76 Conjecture not found
% 35.96/19.78 Conjecture not found
% 36.00/19.82 Conjecture not found
% 36.06/19.87 Conjecture not found
% 36.06/19.91 Conjecture not found
% 36.12/19.96 Conjecture not found
% 36.65/20.11 Conjecture not found
% 36.69/20.12 Conjecture not found
% 36.71/20.14 Conjecture not found
% 36.71/20.16 Conjecture not found
% 36.71/20.18 Conjecture not found
% 36.71/20.19 Conjecture not found
% 36.71/20.20 Conjecture not found
% 36.84/20.28 Conjecture not found
% 36.84/20.30 Conjecture not found
% 36.84/20.34 Conjecture not found
% 37.27/20.41 Conjecture not found
% 37.27/20.42 Conjecture not found
% 37.32/20.45 Conjecture not found
% 37.34/20.48 Conjecture not found
% 37.34/20.50 Conjecture not found
% 37.34/20.52 Conjecture not found
% 37.42/20.56 Conjecture not found
% 37.46/20.59 Conjecture not found
% 37.46/20.63 Conjecture not found
% 37.52/20.64 Conjecture not found
% 37.52/20.65 Conjecture not found
% 37.55/20.67 Conjecture not found
% 37.71/20.74 Conjecture not found
% 37.98/20.82 Conjecture not found
% 38.08/20.85 Conjecture not found
% 38.12/20.89 Conjecture not found
% 38.12/20.92 Conjecture not found
% 38.12/20.92 Conjecture not found
% 38.18/20.94 Conjecture not found
% 38.66/21.06 Conjecture not found
% 38.69/21.10 Conjecture not found
% 38.69/21.13 Conjecture not found
% 38.76/21.16 Conjecture not found
% 38.76/21.19 Conjecture not found
% 38.83/21.23 Conjecture not found
% 38.88/21.26 Conjecture not found
% 38.88/21.28 Conjecture not found
% 38.88/21.32 Conjecture not found
% 38.96/21.36 Conjecture not found
% 39.21/21.41 Conjecture not found
% 39.43/21.45 Conjecture not found
% 39.45/21.47 Conjecture not found
% 39.45/21.49 Conjecture not found
% 39.45/21.51 Conjecture not found
% 39.53/21.54 Conjecture not found
% 39.53/21.57 Conjecture not found
% 39.58/21.58 Conjecture not found
% 39.58/21.60 Conjecture not found
% 39.58/21.63 Conjecture not found
% 39.75/21.67 Conjecture not found
% 39.90/21.71 Conjecture not found
% 40.10/21.73 Conjecture not found
% 40.10/21.73 Conjecture not found
% 40.12/21.75 Conjecture not found
% 40.12/21.77 Conjecture not found
% 40.12/21.78 Conjecture not found
% 40.12/21.80 Conjecture not found
% 40.20/21.83 Conjecture not found
% 40.20/21.84 Conjecture not found
% 40.27/21.89 Conjecture not found
% 40.27/21.90 Conjecture not found
% 40.27/21.91 Conjecture not found
% 40.27/21.92 Conjecture not found
% 40.51/21.98 Conjecture not found
% 40.81/22.02 Conjecture not found
% 40.84/22.06 Conjecture not found
% 40.84/22.09 Conjecture not found
% 40.84/22.10 Conjecture not found
% 40.92/22.15 Conjecture not found
% 40.98/22.20 Conjecture not found
% 41.05/22.29 Conjecture not found
% 41.09/22.31 Conjecture not found
% 41.09/22.32 Conjecture not found
% 41.09/22.33 Conjecture not found
% 41.66/22.47 Conjecture not found
% 41.66/22.48 Conjecture not found
% 41.72/22.50 Conjecture not found
% 41.72/22.54 Conjecture not found
% 41.78/22.61 Conjecture not found
% 41.84/22.65 Conjecture not found
% 42.45/22.83 Conjecture not found
% 42.49/22.84 Conjecture not found
% 42.55/22.90 Conjecture not found
% 42.55/22.91 Conjecture not found
% 42.55/22.91 Conjecture not found
% 42.55/22.92 Conjecture not found
% 42.61/22.96 Conjecture not found
% 42.61/23.00 Conjecture not found
% 42.61/23.02 Conjecture not found
% 42.61/23.04 Conjecture not found
% 42.70/23.07 Conjecture not found
% 42.88/23.16 Conjecture not found
% 43.00/23.19 Conjecture not found
% 43.31/23.23 Conjecture not found
% 43.31/23.28 Conjecture not found
% 43.37/23.30 Conjecture not found
% 43.37/23.35 Conjecture not found
% 43.46/23.39 Conjecture not found
% 43.51/23.43 Conjecture not found
% 43.53/23.45 Conjecture not found
% 43.61/23.54 Conjecture not found
% 43.84/23.63 Conjecture not found
% 44.19/23.66 Conjecture not found
% 44.20/23.71 Conjecture not found
% 44.26/23.75 Conjecture not found
% 44.29/23.76 Conjecture not found
% 44.29/23.78 Conjecture not found
% 44.29/23.81 Conjecture not found
% 44.41/23.90 Conjecture not found
% 44.41/23.94 Conjecture not found
% 44.47/23.95 Conjecture not found
% 44.49/23.98 Conjecture not found
% 44.49/23.99 Conjecture not found
% 44.49/24.02 Conjecture not found
% 44.98/24.07 Conjecture not found
% 44.98/24.10 Conjecture not found
% 44.98/24.12 Conjecture not found
% 45.14/24.17 Conjecture not found
% 45.17/24.20 Conjecture not found
% 45.23/24.23 Conjecture not found
% 45.23/24.25 Conjecture not found
% 45.23/24.26 Conjecture not found
% 45.27/24.29 Conjecture not found
% 45.27/24.30 Conjecture not found
% 45.27/24.32 Conjecture not found
% 45.34/24.37 Conjecture not found
% 45.38/24.39 Conjecture not found
% 45.38/24.39 Conjecture not found
% 45.38/24.41 Conjecture not found
% 45.38/24.42 Conjecture not found
% 45.44/24.45 Conjecture not found
% 45.57/24.47 Conjecture not found
% 45.57/24.51 Conjecture not found
% 46.00/24.54 Conjecture not found
% 46.05/24.56 Conjecture not found
% 46.05/24.60 Conjecture not found
% 46.05/24.61 Conjecture not found
% 46.05/24.62 Conjecture not found
% 46.13/24.64 Conjecture not found
% 46.17/24.69 Conjecture not found
% 46.17/24.70 Conjecture not found
% 46.25/24.76 Conjecture not found
% 46.25/24.77 Conjecture not found
% 46.25/24.77 Conjecture not found
% 46.92/24.97 Conjecture not found
% 46.94/24.99 Conjecture not found
% 46.94/25.02 Conjecture not found
% 46.99/25.03 Conjecture not found
% 47.01/25.07 Conjecture not found
% 47.01/25.11 Conjecture not found
% 47.09/25.15 Conjecture not found
% 47.14/25.19 Conjecture not found
% 47.14/25.22 Conjecture not found
% 47.79/25.38 Conjecture not found
% 47.79/25.39 Conjecture not found
% 47.88/25.45 Conjecture not found
% 47.88/25.47 Conjecture not found
% 47.93/25.49 Conjecture not found
% 47.93/25.50 Conjecture not found
% 47.93/25.51 Conjecture not found
% 47.93/25.51 Conjecture not found
% 47.93/25.53 Conjecture not found
% 47.93/25.55 Conjecture not found
% 47.99/25.56 Conjecture not found
% 48.00/25.57 Conjecture not found
% 48.00/25.59 Conjecture not found
% 48.00/25.60 Conjecture not found
% 48.05/25.63 Conjecture not found
% 48.05/25.64 Conjecture not found
% 48.68/25.75 Conjecture not found
% 48.76/25.80 Conjecture not found
% 48.76/25.83 Conjecture not found
% 48.83/25.87 Conjecture not found
% 48.83/25.91 Conjecture not found
% 48.89/25.96 Conjecture not found
% 48.93/25.98 Conjecture not found
% 48.93/25.99 Conjecture not found
% 48.93/26.03 Conjecture not found
% 49.06/26.11 Conjecture not found
% 49.96/26.52 Conjecture not found
% 50.02/26.53 Conjecture not found
% 50.07/26.57 Conjecture not found
% 50.07/26.61 Conjecture not found
% 50.07/26.63 Conjecture not found
% 50.34/26.66 Conjecture not found
% 50.56/26.70 Conjecture not found
% 50.56/26.71 Conjecture not found
% 50.56/26.72 Conjecture not found
% 50.72/26.73 Conjecture not found
% 50.72/26.74 Conjecture not found
% 50.75/26.78 Conjecture not found
% 50.82/26.85 Conjecture not found
% 50.87/26.89 Conjecture not found
% 50.87/26.92 Conjecture not found
% 50.94/26.95 Conjecture not found
% 50.94/26.97 Conjecture not found
% 50.97/26.98 Conjecture not found
% 51.58/27.09 Conjecture not found
% 51.58/27.11 Conjecture not found
% 51.58/27.13 Conjecture not found
% 51.58/27.15 Conjecture not found
% 51.65/27.16 Conjecture not found
% 51.72/27.22 Conjecture not found
% 51.75/27.25 Conjecture not found
% 51.75/27.29 Conjecture not found
% 51.82/27.33 Conjecture not found
% 51.82/27.34 Conjecture not found
% 51.88/27.40 Conjecture not found
% 51.88/27.44 Conjecture not found
% 51.88/27.45 Conjecture not found
% 51.95/27.46 Conjecture not found
% 51.99/27.51 Conjecture not found
% 52.31/27.54 Conjecture not found
% 52.59/27.56 Conjecture not found
% 52.70/27.64 Conjecture not found
% 52.70/27.65 Conjecture not found
% 52.70/27.66 Conjecture not found
% 52.70/27.68 Conjecture not found
% 52.76/27.69 Conjecture not found
% 52.76/27.72 Conjecture not found
% 52.76/27.74 Conjecture not found
% 52.82/27.75 Conjecture not found
% 52.87/27.83 Conjecture not found
% 52.91/27.87 Conjecture not found
% 52.91/27.88 Conjecture not found
% 52.91/27.89 Conjecture not found
% 53.00/27.99 Conjecture not found
% 53.30/28.00 Conjecture not found
% 53.69/28.07 Conjecture not found
% 53.69/28.10 Conjecture not found
% 53.80/28.20 Conjecture not found
% 53.80/28.22 Conjecture not found
% 53.90/28.25 Conjecture not found
% 53.90/28.29 Conjecture not found
% 53.93/28.33 Conjecture not found
% 53.98/28.34 Conjecture not found
% 53.98/28.40 Conjecture not found
% 54.10/28.46 Conjecture not found
% 54.73/28.57 Conjecture not found
% 54.80/28.60 Conjecture not found
% 54.80/28.62 Conjecture not found
% 54.91/28.73 Conjecture not found
% 54.97/28.78 Conjecture not found
% 55.06/28.86 Conjecture not found
% 55.08/28.88 Conjecture not found
% 55.08/28.89 Conjecture not found
% 55.08/28.92 Conjecture not found
% 55.13/28.93 Conjecture not found
% 55.14/28.98 Conjecture not found
% 55.14/28.98 Conjecture not found
% 55.14/28.99 Conjecture not found
% 55.31/29.02 Conjecture not found
% 55.77/29.10 Conjecture not found
% 55.77/29.12 Conjecture not found
% 55.96/29.16 Conjecture not found
% 55.98/29.20 Conjecture not found
% 55.98/29.21 Conjecture not found
% 56.13/29.37 Conjecture not found
% 56.18/29.38 Conjecture not found
% 56.18/29.40 Conjecture not found
% 56.18/29.41 Conjecture not found
% 56.25/29.45 Conjecture not found
% 56.35/29.56 Conjecture not found
% 56.85/29.67 Conjecture not found
% 57.07/29.72 Conjecture not found
% 57.07/29.72 Conjecture not found
% 57.07/29.73 Conjecture not found
% 57.14/29.76 Conjecture not found
% 57.14/29.76 Conjecture not found
% 57.26/29.88 Conjecture not found
% 57.26/29.89 Conjecture not found
% 57.35/29.99 Conjecture not found
% 57.42/30.06 Conjecture not found
% 57.46/30.07 Conjecture not found
% 57.46/30.09 Conjecture not found
% 57.46/30.10 Conjecture not found
% 57.46/30.11 Conjecture not found
% 57.67/30.15 Conjecture not found
% 57.93/30.19 Conjecture not found
% 58.15/30.24 Conjecture not found
% 58.19/30.28 Conjecture not found
% 58.19/30.29 Conjecture not found
% 58.27/30.37 Conjecture not found
% 58.39/30.48 Conjecture not found
% 58.39/30.51 Conjecture not found
% 58.44/30.54 Conjecture not found
% 58.47/30.56 Conjecture not found
% 58.47/30.57 Conjecture not found
% 58.47/30.59 Conjecture not found
% 58.47/30.61 Conjecture not found
% 58.47/30.64 Conjecture not found
% 59.32/30.78 Conjecture not found
% 59.61/31.08 Conjecture not found
% 60.22/31.33 Conjecture not found
% 60.22/31.35 Conjecture not found
% 60.36/31.38 Conjecture not found
% 60.47/31.46 Conjecture not found
% 60.47/31.49 Conjecture not found
% 60.47/31.50 Conjecture not found
% 60.47/31.50 Conjecture not found
% 60.54/31.54 Conjecture not found
% 60.54/31.55 Conjecture not found
% 60.64/31.61 Conjecture not found
% 60.64/31.62 Conjecture not found
% 60.67/31.63 Conjecture not found
% 60.67/31.64 Conjecture not found
% 60.67/31.67 Conjecture not found
% 60.67/31.68 Conjecture not found
% 60.67/31.69 Conjecture not found
% 60.67/31.70 Conjecture not found
% 60.95/31.79 Conjecture not found
% 60.95/31.81 Conjecture not found
% 61.55/31.88 Conjecture not found
% 61.64/31.94 Conjecture not found
% 61.64/31.95 Conjecture not found
% 61.64/31.96 Conjecture not found
% 61.64/31.97 Conjecture not found
% 61.64/31.97 Conjecture not found
% 61.64/31.99 Conjecture not found
% 61.64/32.03 Conjecture not found
% 61.64/32.03 Conjecture not found
% 61.75/32.10 Conjecture not found
% 61.89/32.19 Conjecture not found
% 61.89/32.21 Conjecture not found
% 61.89/32.22 Conjecture not found
% 61.89/32.23 Conjecture not found
% 61.89/32.26 Conjecture not found
% 61.98/32.28 Conjecture not found
% 62.18/32.33 Conjecture not found
% 62.18/32.36 Conjecture not found
% 62.18/32.38 Conjecture not found
% 62.18/32.40 Conjecture not found
% 62.77/32.45 Conjecture not found
% 62.77/32.46 Conjecture not found
% 62.86/32.49 Conjecture not found
% 62.86/32.51 Conjecture not found
% 62.86/32.52 Conjecture not found
% 62.86/32.54 Conjecture not found
% 62.86/32.56 Conjecture not found
% 62.86/32.56 Conjecture not found
% 62.95/32.57 Conjecture not found
% 62.95/32.59 Conjecture not found
% 62.98/32.60 Conjecture not found
% 62.98/32.62 Conjecture not found
% 63.03/32.65 Conjecture not found
% 63.03/32.67 Conjecture not found
% 63.11/32.72 Conjecture not found
% 63.11/32.76 Conjecture not found
% 63.16/32.78 Conjecture not found
% 63.16/32.80 Conjecture not found
% 63.16/32.84 Conjecture not found
% 64.00/32.92 Conjecture not found
% 64.03/32.98 Conjecture not found
% 64.11/33.04 Conjecture not found
% 64.16/33.09 Conjecture not found
% 64.16/33.13 Conjecture not found
% 64.16/33.14 Conjecture not found
% 64.28/33.21 Conjecture not found
% 64.28/33.22 Conjecture not found
% 64.28/33.23 Conjecture not found
% 64.35/33.30 Conjecture not found
% 64.55/33.36 Conjecture not found
% 64.55/33.38 Conjecture not found
% 65.17/33.45 Conjecture not found
% 65.29/33.48 Conjecture not found
% 65.29/33.48 Conjecture not found
% 65.29/33.49 Conjecture not found
% 65.29/33.52 Conjecture not found
% 65.37/33.59 Conjecture not found
% 65.43/33.62 Conjecture not found
% 65.43/33.64 Conjecture not found
% 65.47/33.67 Conjecture not found
% 65.47/33.71 Conjecture not found
% 65.56/33.77 Conjecture not found
% 65.56/33.77 Conjecture not found
% 65.60/33.79 Conjecture not found
% 65.60/33.83 Conjecture not found
% 65.67/33.89 Conjecture not found
% 65.86/33.96 Conjecture not found
% 65.86/34.00 Conjecture not found
% 66.52/34.09 Conjecture not found
% 66.59/34.13 Conjecture not found
% 66.59/34.15 Conjecture not found
% 66.66/34.19 Conjecture not found
% 66.66/34.20 Conjecture not found
% 66.70/34.21 Conjecture not found
% 66.75/34.28 Conjecture not found
% 66.75/34.29 Conjecture not found
% 66.75/34.29 Start search
% 149.56/53.80 nb_step : 1 - limit : 162197
% 150.87/54.48 Launch Gotab with destructive = true
%------------------------------------------------------------------------------