TSTP Solution File: SEU449+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU449+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n021.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:19 EDT 2022
% Result : Timeout 300.65s 90.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU449+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n021.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 14:58:25 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.40 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.52/0.56 Conjecture not found
% 0.52/0.57 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.52/0.59 Conjecture not found
% 0.52/0.61 Conjecture not found
% 0.64/0.63 Conjecture not found
% 0.72/0.67 Conjecture not found
% 0.84/0.75 Conjecture not found
% 0.84/0.75 Conjecture not found
% 0.98/0.83 Conjecture not found
% 1.03/0.88 Conjecture not found
% 1.16/0.96 Conjecture not found
% 1.23/1.00 Conjecture not found
% 1.36/1.07 Conjecture not found
% 1.41/1.11 Conjecture not found
% 1.51/1.16 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.68/1.23 Conjecture not found
% 1.68/1.24 Conjecture not found
% 1.68/1.24 Conjecture not found
% 1.68/1.25 Conjecture not found
% 1.84/1.35 Conjecture not found
% 1.92/1.38 Conjecture not found
% 1.92/1.38 Conjecture not found
% 1.92/1.40 Conjecture not found
% 1.92/1.40 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.42 Conjecture not found
% 1.92/1.42 Conjecture not found
% 2.11/1.47 Conjecture not found
% 2.23/1.54 Conjecture not found
% 2.23/1.54 Conjecture not found
% 2.23/1.55 Conjecture not found
% 2.23/1.56 Conjecture not found
% 2.31/1.58 Conjecture not found
% 2.31/1.59 Conjecture not found
% 2.31/1.61 Conjecture not found
% 2.31/1.63 Conjecture not found
% 2.47/1.65 Conjecture not found
% 2.47/1.67 Conjecture not found
% 2.47/1.67 Conjecture not found
% 2.59/1.69 Conjecture not found
% 2.59/1.72 Conjecture not found
% 2.77/1.78 Conjecture not found
% 2.87/1.83 Conjecture not found
% 2.87/1.84 Conjecture not found
% 2.91/1.87 Conjecture not found
% 2.91/1.89 Conjecture not found
% 2.91/1.93 Conjecture not found
% 3.12/1.94 Conjecture not found
% 3.12/1.97 Conjecture not found
% 3.42/2.06 Conjecture not found
% 3.45/2.09 Conjecture not found
% 3.45/2.11 Conjecture not found
% 3.55/2.12 Conjecture not found
% 3.55/2.14 Conjecture not found
% 3.64/2.17 Conjecture not found
% 3.94/2.34 Conjecture not found
% 4.08/2.36 Conjecture not found
% 4.08/2.37 Conjecture not found
% 4.31/2.47 Conjecture not found
% 4.31/2.49 Conjecture not found
% 4.43/2.50 Conjecture not found
% 4.43/2.52 Conjecture not found
% 4.43/2.54 Conjecture not found
% 4.55/2.61 Conjecture not found
% 4.90/2.70 Conjecture not found
% 5.01/2.77 Conjecture not found
% 5.01/2.82 Conjecture not found
% 5.01/2.84 Conjecture not found
% 5.19/2.89 Conjecture not found
% 5.19/2.89 Conjecture not found
% 5.30/2.93 Conjecture not found
% 5.30/2.96 Conjecture not found
% 5.35/2.98 Conjecture not found
% 5.35/3.00 Conjecture not found
% 5.61/3.07 Conjecture not found
% 5.61/3.08 Conjecture not found
% 5.66/3.12 Conjecture not found
% 5.77/3.19 Conjecture not found
% 5.99/3.28 Conjecture not found
% 6.29/3.44 Conjecture not found
% 6.92/3.66 Conjecture not found
% 7.67/3.95 Conjecture not found
% 7.78/3.97 Conjecture not found
% 7.78/4.00 Conjecture not found
% 8.04/4.12 Conjecture not found
% 8.17/4.16 Conjecture not found
% 8.17/4.20 Conjecture not found
% 8.30/4.26 Conjecture not found
% 8.37/4.30 Conjecture not found
% 8.52/4.37 Conjecture not found
% 8.65/4.42 Conjecture not found
% 8.68/4.46 Conjecture not found
% 8.68/4.47 Conjecture not found
% 8.68/4.51 Conjecture not found
% 8.68/4.52 Conjecture not found
% 8.90/4.61 Conjecture not found
% 9.07/4.69 Conjecture not found
% 9.20/4.75 Conjecture not found
% 9.38/4.84 Conjecture not found
% 9.40/4.87 Conjecture not found
% 9.40/4.91 Conjecture not found
% 9.55/4.94 Conjecture not found
% 9.55/4.95 Conjecture not found
% 9.58/4.98 Conjecture not found
% 9.58/4.99 Conjecture not found
% 9.58/5.01 Conjecture not found
% 9.73/5.04 Conjecture not found
% 9.73/5.04 Conjecture not found
% 9.73/5.05 Conjecture not found
% 9.73/5.06 Conjecture not found
% 9.77/5.10 Conjecture not found
% 9.90/5.14 Conjecture not found
% 9.93/5.18 Conjecture not found
% 9.93/5.22 Conjecture not found
% 10.33/5.45 Conjecture not found
% 10.36/5.49 Conjecture not found
% 10.36/5.50 Conjecture not found
% 10.36/5.52 Conjecture not found
% 10.51/5.55 Conjecture not found
% 10.56/5.58 Conjecture not found
% 10.56/5.61 Conjecture not found
% 10.56/5.62 Conjecture not found
% 10.56/5.64 Conjecture not found
% 10.72/5.65 Conjecture not found
% 10.88/5.74 Conjecture not found
% 11.78/6.28 Conjecture not found
% 12.69/6.81 Conjecture not found
% 12.83/6.91 Conjecture not found
% 12.90/6.97 Conjecture not found
% 13.04/6.99 Conjecture not found
% 13.04/7.01 Conjecture not found
% 13.21/7.07 Conjecture not found
% 13.23/7.08 Conjecture not found
% 13.23/7.10 Conjecture not found
% 13.27/7.13 Conjecture not found
% 13.29/7.17 Conjecture not found
% 13.46/7.23 Conjecture not found
% 13.46/7.26 Conjecture not found
% 13.46/7.27 Conjecture not found
% 13.52/7.31 Conjecture not found
% 13.52/7.35 Conjecture not found
% 13.72/7.38 Conjecture not found
% 13.87/7.44 Conjecture not found
% 13.90/7.51 Conjecture not found
% 13.90/7.52 Conjecture not found
% 13.97/7.55 Conjecture not found
% 13.97/7.57 Conjecture not found
% 14.03/7.61 Conjecture not found
% 14.21/7.66 Conjecture not found
% 14.21/7.70 Conjecture not found
% 14.21/7.71 Conjecture not found
% 14.42/7.78 Conjecture not found
% 14.42/7.83 Conjecture not found
% 14.50/7.84 Conjecture not found
% 14.50/7.86 Conjecture not found
% 14.65/7.89 Conjecture not found
% 14.65/7.91 Conjecture not found
% 14.65/7.93 Conjecture not found
% 14.71/7.95 Conjecture not found
% 14.71/7.97 Conjecture not found
% 14.74/7.99 Conjecture not found
% 14.74/8.00 Conjecture not found
% 14.91/8.06 Conjecture not found
% 14.95/8.08 Conjecture not found
% 14.95/8.10 Conjecture not found
% 14.95/8.13 Conjecture not found
% 15.15/8.16 Conjecture not found
% 15.15/8.18 Conjecture not found
% 15.15/8.20 Conjecture not found
% 15.21/8.23 Conjecture not found
% 15.21/8.26 Conjecture not found
% 15.25/8.27 Conjecture not found
% 15.25/8.30 Conjecture not found
% 15.44/8.34 Conjecture not found
% 15.44/8.36 Conjecture not found
% 15.48/8.40 Conjecture not found
% 15.48/8.41 Conjecture not found
% 15.48/8.43 Conjecture not found
% 15.68/8.48 Conjecture not found
% 15.68/8.50 Conjecture not found
% 15.68/8.52 Conjecture not found
% 15.68/8.53 Conjecture not found
% 15.76/8.55 Conjecture not found
% 15.76/8.56 Conjecture not found
% 15.76/8.56 Conjecture not found
% 15.76/8.56 Conjecture not found
% 15.80/8.60 Conjecture not found
% 16.02/8.71 Conjecture not found
% 16.06/8.72 Conjecture not found
% 16.06/8.74 Conjecture not found
% 16.10/8.76 Conjecture not found
% 16.10/8.77 Conjecture not found
% 16.10/8.79 Conjecture not found
% 16.10/8.81 Conjecture not found
% 16.30/8.83 Conjecture not found
% 16.30/8.87 Conjecture not found
% 16.49/8.92 Conjecture not found
% 16.57/8.97 Conjecture not found
% 16.59/9.00 Conjecture not found
% 16.88/9.16 Conjecture not found
% 16.97/9.24 Conjecture not found
% 17.19/9.31 Conjecture not found
% 17.19/9.32 Conjecture not found
% 17.22/9.35 Conjecture not found
% 17.22/9.39 Conjecture not found
% 17.46/9.44 Conjecture not found
% 17.46/9.45 Conjecture not found
% 17.51/9.52 Conjecture not found
% 17.73/9.58 Conjecture not found
% 17.78/9.63 Conjecture not found
% 17.82/9.66 Conjecture not found
% 18.05/9.75 Conjecture not found
% 18.05/9.77 Conjecture not found
% 18.10/9.81 Conjecture not found
% 18.23/9.86 Conjecture not found
% 18.41/9.96 Conjecture not found
% 18.57/10.08 Conjecture not found
% 18.71/10.10 Conjecture not found
% 18.71/10.14 Conjecture not found
% 18.76/10.16 Conjecture not found
% 18.78/10.19 Conjecture not found
% 19.04/10.28 Conjecture not found
% 19.11/10.34 Conjecture not found
% 19.11/10.36 Conjecture not found
% 19.15/10.38 Conjecture not found
% 19.73/10.65 Conjecture not found
% 19.77/10.74 Conjecture not found
% 19.86/10.79 Conjecture not found
% 19.86/10.83 Conjecture not found
% 20.03/10.86 Conjecture not found
% 20.13/10.87 Conjecture not found
% 20.19/10.95 Conjecture not found
% 20.22/11.01 Conjecture not found
% 20.49/11.13 Conjecture not found
% 20.59/11.18 Conjecture not found
% 20.59/11.20 Conjecture not found
% 20.87/11.34 Conjecture not found
% 20.98/11.39 Conjecture not found
% 21.08/11.44 Conjecture not found
% 21.13/11.50 Conjecture not found
% 21.29/11.54 Conjecture not found
% 21.29/11.55 Conjecture not found
% 21.34/11.57 Conjecture not found
% 21.34/11.58 Conjecture not found
% 21.34/11.59 Conjecture not found
% 21.34/11.63 Conjecture not found
% 21.42/11.66 Conjecture not found
% 21.42/11.68 Conjecture not found
% 21.46/11.71 Conjecture not found
% 21.73/11.80 Conjecture not found
% 21.73/11.80 Conjecture not found
% 21.73/11.83 Conjecture not found
% 21.80/11.85 Conjecture not found
% 22.14/11.99 Conjecture not found
% 22.14/12.01 Conjecture not found
% 22.19/12.04 Conjecture not found
% 22.19/12.05 Conjecture not found
% 22.19/12.05 Conjecture not found
% 22.19/12.05 Conjecture not found
% 22.19/12.06 Conjecture not found
% 22.45/12.15 Conjecture not found
% 22.45/12.16 Conjecture not found
% 22.51/12.18 Conjecture not found
% 22.60/12.27 Conjecture not found
% 22.73/12.34 Conjecture not found
% 22.87/12.41 Conjecture not found
% 22.87/12.42 Conjecture not found
% 23.12/12.55 Conjecture not found
% 23.41/12.69 Conjecture not found
% 23.65/12.73 Conjecture not found
% 23.65/12.80 Conjecture not found
% 23.73/12.82 Conjecture not found
% 23.73/12.83 Conjecture not found
% 23.81/12.90 Conjecture not found
% 24.15/13.03 Conjecture not found
% 24.19/13.09 Conjecture not found
% 24.24/13.11 Conjecture not found
% 24.29/13.22 Conjecture not found
% 24.60/13.27 Conjecture not found
% 24.60/13.29 Conjecture not found
% 24.65/13.34 Conjecture not found
% 24.71/13.38 Conjecture not found
% 24.71/13.39 Conjecture not found
% 25.02/13.46 Conjecture not found
% 25.02/13.54 Conjecture not found
% 25.02/13.55 Conjecture not found
% 25.13/13.56 Conjecture not found
% 25.13/13.60 Conjecture not found
% 25.44/13.68 Conjecture not found
% 25.44/13.68 Conjecture not found
% 25.44/13.74 Conjecture not found
% 25.53/13.78 Conjecture not found
% 25.57/13.81 Conjecture not found
% 25.74/13.86 Conjecture not found
% 25.93/13.92 Conjecture not found
% 25.93/13.93 Conjecture not found
% 25.98/13.99 Conjecture not found
% 26.25/14.07 Conjecture not found
% 26.40/14.16 Conjecture not found
% 26.40/14.18 Conjecture not found
% 26.46/14.24 Conjecture not found
% 26.50/14.26 Conjecture not found
% 26.50/14.28 Conjecture not found
% 26.50/14.28 Conjecture not found
% 26.50/14.31 Conjecture not found
% 26.80/14.35 Conjecture not found
% 26.80/14.36 Conjecture not found
% 26.90/14.45 Conjecture not found
% 26.92/14.51 Conjecture not found
% 27.25/14.58 Conjecture not found
% 27.25/14.61 Conjecture not found
% 27.25/14.62 Conjecture not found
% 27.33/14.67 Conjecture not found
% 27.38/14.69 Conjecture not found
% 27.38/14.70 Conjecture not found
% 27.71/14.79 Conjecture not found
% 27.71/14.81 Conjecture not found
% 27.78/14.87 Conjecture not found
% 27.85/14.93 Conjecture not found
% 27.85/14.95 Conjecture not found
% 27.92/14.99 Conjecture not found
% 28.31/15.18 Conjecture not found
% 28.54/15.25 Conjecture not found
% 28.54/15.26 Conjecture not found
% 28.71/15.32 Conjecture not found
% 28.71/15.33 Conjecture not found
% 28.71/15.37 Conjecture not found
% 28.92/15.42 Conjecture not found
% 29.14/15.55 Conjecture not found
% 29.22/15.60 Conjecture not found
% 29.22/15.61 Conjecture not found
% 29.22/15.63 Conjecture not found
% 29.22/15.66 Conjecture not found
% 29.31/15.70 Conjecture not found
% 29.36/15.78 Conjecture not found
% 29.36/15.81 Conjecture not found
% 29.36/15.82 Conjecture not found
% 29.71/15.83 Conjecture not found
% 29.71/15.89 Conjecture not found
% 29.79/15.91 Conjecture not found
% 29.79/15.96 Conjecture not found
% 29.86/16.05 Conjecture not found
% 30.28/16.13 Conjecture not found
% 30.28/16.15 Conjecture not found
% 30.28/16.16 Conjecture not found
% 30.28/16.17 Conjecture not found
% 30.36/16.22 Conjecture not found
% 30.36/16.24 Conjecture not found
% 30.36/16.25 Conjecture not found
% 30.36/16.27 Conjecture not found
% 30.44/16.31 Conjecture not found
% 30.80/16.38 Conjecture not found
% 30.83/16.41 Conjecture not found
% 30.83/16.43 Conjecture not found
% 30.94/16.51 Conjecture not found
% 30.94/16.54 Conjecture not found
% 31.19/16.56 Conjecture not found
% 31.19/16.64 Conjecture not found
% 31.38/16.66 Conjecture not found
% 31.41/16.70 Conjecture not found
% 31.41/16.73 Conjecture not found
% 31.46/16.74 Conjecture not found
% 31.46/16.75 Conjecture not found
% 31.46/16.78 Conjecture not found
% 31.46/16.78 Conjecture not found
% 31.87/16.89 Conjecture not found
% 31.87/16.89 Conjecture not found
% 31.87/16.90 Conjecture not found
% 31.87/16.93 Conjecture not found
% 31.87/16.95 Conjecture not found
% 31.98/16.98 Conjecture not found
% 32.24/17.01 Conjecture not found
% 32.35/17.07 Conjecture not found
% 32.35/17.11 Conjecture not found
% 32.44/17.18 Conjecture not found
% 32.49/17.22 Conjecture not found
% 32.56/17.27 Conjecture not found
% 32.61/17.31 Conjecture not found
% 32.61/17.32 Conjecture not found
% 32.61/17.34 Conjecture not found
% 32.65/17.42 Conjecture not found
% 33.05/17.48 Conjecture not found
% 33.10/17.52 Conjecture not found
% 33.10/17.55 Conjecture not found
% 33.10/17.56 Conjecture not found
% 33.19/17.61 Conjecture not found
% 33.26/17.66 Conjecture not found
% 33.26/17.69 Conjecture not found
% 33.63/17.72 Conjecture not found
% 33.63/17.76 Conjecture not found
% 33.68/17.79 Conjecture not found
% 33.68/17.80 Conjecture not found
% 33.68/17.82 Conjecture not found
% 33.76/17.86 Conjecture not found
% 33.79/17.88 Conjecture not found
% 33.79/17.90 Conjecture not found
% 33.85/17.94 Conjecture not found
% 34.23/18.05 Conjecture not found
% 34.30/18.15 Conjecture not found
% 34.38/18.18 Conjecture not found
% 34.41/18.22 Conjecture not found
% 34.46/18.29 Conjecture not found
% 34.91/18.41 Conjecture not found
% 35.00/18.46 Conjecture not found
% 35.03/18.52 Conjecture not found
% 35.08/18.54 Conjecture not found
% 35.08/18.55 Conjecture not found
% 35.08/18.60 Conjecture not found
% 35.46/18.63 Conjecture not found
% 35.46/18.66 Conjecture not found
% 35.53/18.69 Conjecture not found
% 35.53/18.69 Conjecture not found
% 35.53/18.72 Conjecture not found
% 35.53/18.73 Conjecture not found
% 35.62/18.77 Conjecture not found
% 35.69/18.84 Conjecture not found
% 35.69/18.87 Conjecture not found
% 35.69/18.90 Conjecture not found
% 35.80/18.94 Conjecture not found
% 35.80/18.97 Conjecture not found
% 36.16/19.06 Conjecture not found
% 36.33/19.15 Conjecture not found
% 36.33/19.17 Conjecture not found
% 36.33/19.19 Conjecture not found
% 36.80/19.31 Conjecture not found
% 36.80/19.35 Conjecture not found
% 36.88/19.38 Conjecture not found
% 36.92/19.41 Conjecture not found
% 36.92/19.43 Conjecture not found
% 36.94/19.48 Conjecture not found
% 36.94/19.49 Conjecture not found
% 36.94/19.50 Conjecture not found
% 37.07/19.54 Conjecture not found
% 37.44/19.59 Conjecture not found
% 37.44/19.62 Conjecture not found
% 37.44/19.64 Conjecture not found
% 37.44/19.65 Conjecture not found
% 37.52/19.70 Conjecture not found
% 37.56/19.74 Conjecture not found
% 37.59/19.79 Conjecture not found
% 37.59/19.84 Conjecture not found
% 38.15/19.99 Conjecture not found
% 38.15/20.00 Conjecture not found
% 38.19/20.02 Conjecture not found
% 38.19/20.03 Conjecture not found
% 38.19/20.04 Conjecture not found
% 38.24/20.06 Conjecture not found
% 38.24/20.06 Conjecture not found
% 38.24/20.13 Conjecture not found
% 38.33/20.14 Conjecture not found
% 38.33/20.18 Conjecture not found
% 38.66/20.23 Conjecture not found
% 38.66/20.24 Conjecture not found
% 38.77/20.26 Conjecture not found
% 38.79/20.30 Conjecture not found
% 38.79/20.31 Conjecture not found
% 38.85/20.33 Conjecture not found
% 38.89/20.36 Conjecture not found
% 38.89/20.38 Conjecture not found
% 38.89/20.41 Conjecture not found
% 38.89/20.42 Conjecture not found
% 38.89/20.43 Conjecture not found
% 38.96/20.44 Conjecture not found
% 39.14/20.50 Conjecture not found
% 39.46/20.60 Conjecture not found
% 39.52/20.63 Conjecture not found
% 39.56/20.68 Conjecture not found
% 39.56/20.72 Conjecture not found
% 39.56/20.73 Conjecture not found
% 39.64/20.76 Conjecture not found
% 39.68/20.85 Conjecture not found
% 40.17/20.91 Conjecture not found
% 40.24/20.94 Conjecture not found
% 40.26/20.97 Conjecture not found
% 40.26/21.00 Conjecture not found
% 40.32/21.04 Conjecture not found
% 40.36/21.07 Conjecture not found
% 40.36/21.09 Conjecture not found
% 40.36/21.13 Conjecture not found
% 40.43/21.16 Conjecture not found
% 40.47/21.18 Conjecture not found
% 40.47/21.21 Conjecture not found
% 40.86/21.25 Conjecture not found
% 40.96/21.28 Conjecture not found
% 41.02/21.34 Conjecture not found
% 41.07/21.39 Conjecture not found
% 41.07/21.44 Conjecture not found
% 41.15/21.45 Conjecture not found
% 41.15/21.48 Conjecture not found
% 41.18/21.52 Conjecture not found
% 41.24/21.55 Conjecture not found
% 41.24/21.58 Conjecture not found
% 41.59/21.65 Conjecture not found
% 41.59/21.66 Conjecture not found
% 41.75/21.68 Conjecture not found
% 41.75/21.73 Conjecture not found
% 41.75/21.74 Conjecture not found
% 41.84/21.77 Conjecture not found
% 41.88/21.81 Conjecture not found
% 41.88/21.82 Conjecture not found
% 41.94/21.88 Conjecture not found
% 41.94/21.90 Conjecture not found
% 41.94/21.91 Conjecture not found
% 42.01/21.93 Conjecture not found
% 42.01/21.96 Conjecture not found
% 42.07/21.98 Conjecture not found
% 42.07/22.03 Conjecture not found
% 42.58/22.09 Conjecture not found
% 42.58/22.11 Conjecture not found
% 42.62/22.19 Conjecture not found
% 42.70/22.24 Conjecture not found
% 42.76/22.34 Conjecture not found
% 42.76/22.36 Conjecture not found
% 42.85/22.37 Conjecture not found
% 42.85/22.38 Conjecture not found
% 43.24/22.50 Conjecture not found
% 43.24/22.51 Conjecture not found
% 43.44/22.53 Conjecture not found
% 43.44/22.56 Conjecture not found
% 43.50/22.63 Conjecture not found
% 43.50/22.66 Conjecture not found
% 43.68/22.78 Conjecture not found
% 43.68/22.80 Conjecture not found
% 44.18/22.86 Conjecture not found
% 44.18/22.87 Conjecture not found
% 44.18/22.88 Conjecture not found
% 44.25/22.89 Conjecture not found
% 44.25/22.92 Conjecture not found
% 44.25/22.96 Conjecture not found
% 44.33/22.98 Conjecture not found
% 44.33/23.00 Conjecture not found
% 44.40/23.06 Conjecture not found
% 44.49/23.14 Conjecture not found
% 44.49/23.16 Conjecture not found
% 44.90/23.21 Conjecture not found
% 45.05/23.28 Conjecture not found
% 45.10/23.32 Conjecture not found
% 45.13/23.38 Conjecture not found
% 45.13/23.41 Conjecture not found
% 45.23/23.45 Conjecture not found
% 45.23/23.47 Conjecture not found
% 45.35/23.57 Conjecture not found
% 45.36/23.61 Conjecture not found
% 45.41/23.64 Conjecture not found
% 45.62/23.72 Conjecture not found
% 45.96/23.77 Conjecture not found
% 46.00/23.78 Conjecture not found
% 46.00/23.80 Conjecture not found
% 46.00/23.82 Conjecture not found
% 46.14/23.92 Conjecture not found
% 46.14/23.95 Conjecture not found
% 46.18/23.97 Conjecture not found
% 46.18/24.00 Conjecture not found
% 46.18/24.01 Conjecture not found
% 46.26/24.04 Conjecture not found
% 46.46/24.10 Conjecture not found
% 46.46/24.14 Conjecture not found
% 46.81/24.15 Conjecture not found
% 46.83/24.20 Conjecture not found
% 46.83/24.22 Conjecture not found
% 46.91/24.26 Conjecture not found
% 46.91/24.28 Conjecture not found
% 46.91/24.29 Conjecture not found
% 46.97/24.32 Conjecture not found
% 46.97/24.33 Conjecture not found
% 46.97/24.35 Conjecture not found
% 47.02/24.41 Conjecture not found
% 47.02/24.42 Conjecture not found
% 47.02/24.43 Conjecture not found
% 47.02/24.44 Conjecture not found
% 47.10/24.45 Conjecture not found
% 47.13/24.48 Conjecture not found
% 47.13/24.49 Conjecture not found
% 47.13/24.51 Conjecture not found
% 47.13/24.53 Conjecture not found
% 47.50/24.56 Conjecture not found
% 47.78/24.63 Conjecture not found
% 47.78/24.65 Conjecture not found
% 47.78/24.67 Conjecture not found
% 47.84/24.69 Conjecture not found
% 47.84/24.74 Conjecture not found
% 47.84/24.75 Conjecture not found
% 47.99/24.84 Conjecture not found
% 47.99/24.85 Conjecture not found
% 47.99/24.86 Conjecture not found
% 48.54/25.06 Conjecture not found
% 48.70/25.08 Conjecture not found
% 48.74/25.10 Conjecture not found
% 48.74/25.11 Conjecture not found
% 48.77/25.15 Conjecture not found
% 48.77/25.18 Conjecture not found
% 48.77/25.21 Conjecture not found
% 48.87/25.24 Conjecture not found
% 48.87/25.27 Conjecture not found
% 48.94/25.35 Conjecture not found
% 48.94/25.37 Conjecture not found
% 49.50/25.48 Conjecture not found
% 49.50/25.50 Conjecture not found
% 49.62/25.53 Conjecture not found
% 49.62/25.54 Conjecture not found
% 49.62/25.55 Conjecture not found
% 49.62/25.56 Conjecture not found
% 49.69/25.59 Conjecture not found
% 49.69/25.61 Conjecture not found
% 49.69/25.62 Conjecture not found
% 49.69/25.64 Conjecture not found
% 49.69/25.67 Conjecture not found
% 49.78/25.69 Conjecture not found
% 49.82/25.72 Conjecture not found
% 49.82/25.74 Conjecture not found
% 50.27/25.89 Conjecture not found
% 50.50/25.93 Conjecture not found
% 50.50/25.96 Conjecture not found
% 50.58/26.00 Conjecture not found
% 50.58/26.03 Conjecture not found
% 50.67/26.08 Conjecture not found
% 50.69/26.10 Conjecture not found
% 50.70/26.12 Conjecture not found
% 50.70/26.16 Conjecture not found
% 50.80/26.23 Conjecture not found
% 51.60/26.56 Conjecture not found
% 51.60/26.57 Conjecture not found
% 51.67/26.60 Conjecture not found
% 51.67/26.64 Conjecture not found
% 52.11/26.67 Conjecture not found
% 52.16/26.68 Conjecture not found
% 52.31/26.70 Conjecture not found
% 52.35/26.73 Conjecture not found
% 52.35/26.75 Conjecture not found
% 52.35/26.76 Conjecture not found
% 52.35/26.77 Conjecture not found
% 52.45/26.83 Conjecture not found
% 52.51/26.92 Conjecture not found
% 52.60/26.99 Conjecture not found
% 52.64/27.03 Conjecture not found
% 52.67/27.08 Conjecture not found
% 53.10/27.13 Conjecture not found
% 53.10/27.15 Conjecture not found
% 53.31/27.21 Conjecture not found
% 53.31/27.22 Conjecture not found
% 53.31/27.24 Conjecture not found
% 53.39/27.26 Conjecture not found
% 53.41/27.27 Conjecture not found
% 53.45/27.33 Conjecture not found
% 53.48/27.36 Conjecture not found
% 53.48/27.40 Conjecture not found
% 53.56/27.45 Conjecture not found
% 53.56/27.45 Conjecture not found
% 53.61/27.52 Conjecture not found
% 53.61/27.55 Conjecture not found
% 53.61/27.56 Conjecture not found
% 53.70/27.57 Conjecture not found
% 53.72/27.61 Conjecture not found
% 54.08/27.64 Conjecture not found
% 54.17/27.65 Conjecture not found
% 54.39/27.71 Conjecture not found
% 54.39/27.71 Conjecture not found
% 54.39/27.72 Conjecture not found
% 54.39/27.74 Conjecture not found
% 54.39/27.75 Conjecture not found
% 54.45/27.77 Conjecture not found
% 54.45/27.78 Conjecture not found
% 54.45/27.80 Conjecture not found
% 54.53/27.85 Conjecture not found
% 54.53/27.88 Conjecture not found
% 54.57/27.89 Conjecture not found
% 54.57/27.90 Conjecture not found
% 54.63/27.99 Conjecture not found
% 54.63/28.00 Conjecture not found
% 55.06/28.06 Conjecture not found
% 55.34/28.09 Conjecture not found
% 55.43/28.19 Conjecture not found
% 55.47/28.22 Conjecture not found
% 55.50/28.24 Conjecture not found
% 55.50/28.28 Conjecture not found
% 55.50/28.31 Conjecture not found
% 55.59/28.33 Conjecture not found
% 55.59/28.38 Conjecture not found
% 55.66/28.45 Conjecture not found
% 56.22/28.57 Conjecture not found
% 56.22/28.60 Conjecture not found
% 56.22/28.63 Conjecture not found
% 56.51/28.72 Conjecture not found
% 56.51/28.76 Conjecture not found
% 56.63/28.83 Conjecture not found
% 56.63/28.84 Conjecture not found
% 56.63/28.85 Conjecture not found
% 56.63/28.87 Conjecture not found
% 56.63/28.89 Conjecture not found
% 56.72/28.92 Conjecture not found
% 56.72/28.92 Conjecture not found
% 56.72/28.93 Conjecture not found
% 56.72/28.95 Conjecture not found
% 57.00/29.06 Conjecture not found
% 57.00/29.07 Conjecture not found
% 57.46/29.11 Conjecture not found
% 57.48/29.16 Conjecture not found
% 57.48/29.17 Conjecture not found
% 57.66/29.32 Conjecture not found
% 57.66/29.33 Conjecture not found
% 57.66/29.35 Conjecture not found
% 57.66/29.36 Conjecture not found
% 57.75/29.40 Conjecture not found
% 57.87/29.51 Conjecture not found
% 57.87/29.57 Conjecture not found
% 58.35/29.62 Conjecture not found
% 58.35/29.63 Conjecture not found
% 58.35/29.64 Conjecture not found
% 58.35/29.67 Conjecture not found
% 58.35/29.67 Conjecture not found
% 58.67/29.76 Conjecture not found
% 58.67/29.77 Conjecture not found
% 58.81/29.85 Conjecture not found
% 58.81/29.90 Conjecture not found
% 58.90/29.92 Conjecture not found
% 58.90/29.94 Conjecture not found
% 58.90/29.94 Conjecture not found
% 58.90/29.96 Conjecture not found
% 58.90/29.98 Conjecture not found
% 59.21/30.00 Conjecture not found
% 59.69/30.08 Conjecture not found
% 59.72/30.12 Conjecture not found
% 59.74/30.13 Conjecture not found
% 59.74/30.21 Conjecture not found
% 59.90/30.31 Conjecture not found
% 59.90/30.34 Conjecture not found
% 59.98/30.38 Conjecture not found
% 60.00/30.40 Conjecture not found
% 60.00/30.42 Conjecture not found
% 60.03/30.44 Conjecture not found
% 60.05/30.47 Conjecture not found
% 60.05/30.49 Conjecture not found
% 60.56/30.62 Conjecture not found
% 61.13/30.92 Conjecture not found
% 61.43/31.09 Conjecture not found
% 61.88/31.10 Conjecture not found
% 62.07/31.18 Conjecture not found
% 62.17/31.29 Conjecture not found
% 62.21/31.33 Conjecture not found
% 62.21/31.34 Conjecture not found
% 62.26/31.34 Conjecture not found
% 62.26/31.38 Conjecture not found
% 62.26/31.40 Conjecture not found
% 62.32/31.46 Conjecture not found
% 62.38/31.48 Conjecture not found
% 62.38/31.48 Conjecture not found
% 62.38/31.50 Conjecture not found
% 62.38/31.52 Conjecture not found
% 62.38/31.54 Conjecture not found
% 62.38/31.55 Conjecture not found
% 62.38/31.56 Conjecture not found
% 63.25/31.74 Conjecture not found
% 63.25/31.75 Conjecture not found
% 63.31/31.79 Conjecture not found
% 63.31/31.83 Conjecture not found
% 63.31/31.84 Conjecture not found
% 63.31/31.84 Conjecture not found
% 63.31/31.85 Conjecture not found
% 63.39/31.85 Conjecture not found
% 63.39/31.87 Conjecture not found
% 63.41/31.90 Conjecture not found
% 63.41/31.90 Conjecture not found
% 63.48/31.95 Conjecture not found
% 63.56/32.02 Conjecture not found
% 63.56/32.04 Conjecture not found
% 63.56/32.05 Conjecture not found
% 63.56/32.06 Conjecture not found
% 63.87/32.10 Conjecture not found
% 63.87/32.14 Conjecture not found
% 64.42/32.21 Conjecture not found
% 64.46/32.23 Conjecture not found
% 64.46/32.24 Conjecture not found
% 64.46/32.25 Conjecture not found
% 64.46/32.28 Conjecture not found
% 64.46/32.30 Conjecture not found
% 64.55/32.34 Conjecture not found
% 64.55/32.36 Conjecture not found
% 64.55/32.36 Conjecture not found
% 64.62/32.38 Conjecture not found
% 64.62/32.40 Conjecture not found
% 64.62/32.41 Conjecture not found
% 64.62/32.42 Conjecture not found
% 64.62/32.43 Conjecture not found
% 64.62/32.44 Conjecture not found
% 64.62/32.46 Conjecture not found
% 64.73/32.50 Conjecture not found
% 64.73/32.51 Conjecture not found
% 65.47/32.65 Conjecture not found
% 65.60/32.70 Conjecture not found
% 65.60/32.73 Conjecture not found
% 65.60/32.75 Conjecture not found
% 65.60/32.78 Conjecture not found
% 65.71/32.82 Conjecture not found
% 65.71/32.87 Conjecture not found
% 65.81/32.91 Conjecture not found
% 65.81/32.95 Conjecture not found
% 65.81/32.98 Conjecture not found
% 65.90/32.99 Conjecture not found
% 65.90/33.04 Conjecture not found
% 65.90/33.05 Conjecture not found
% 65.90/33.06 Conjecture not found
% 66.28/33.15 Conjecture not found
% 66.84/33.24 Conjecture not found
% 66.84/33.25 Conjecture not found
% 66.84/33.28 Conjecture not found
% 66.84/33.30 Conjecture not found
% 66.84/33.30 Conjecture not found
% 66.84/33.31 Conjecture not found
% 66.92/33.33 Conjecture not found
% 66.99/33.39 Conjecture not found
% 66.99/33.42 Conjecture not found
% 66.99/33.43 Conjecture not found
% 66.99/33.45 Conjecture not found
% 67.08/33.48 Conjecture not found
% 67.12/33.53 Conjecture not found
% 67.14/33.53 Conjecture not found
% 67.14/33.55 Conjecture not found
% 67.64/33.62 Conjecture not found
% 68.02/33.72 Conjecture not found
% 68.10/33.78 Conjecture not found
% 68.12/33.79 Conjecture not found
% 68.17/33.86 Conjecture not found
% 68.17/33.90 Conjecture not found
% 68.25/33.92 Conjecture not found
% 68.25/33.96 Conjecture not found
% 68.30/33.97 Conjecture not found
% 68.30/33.99 Conjecture not found
% 68.30/34.04 Conjecture not found
% 68.30/34.05 Conjecture not found
% 68.38/34.06 Conjecture not found
% 68.41/34.08 Conjecture not found
% 68.41/34.09 Conjecture not found
% 68.41/34.09 Conjecture not found
% 68.41/34.10 Conjecture not found
% 68.47/34.18 Conjecture not found
% 69.35/34.28 Conjecture not found
% 69.35/34.30 Conjecture not found
% 69.35/34.31 Conjecture not found
% 69.35/34.33 Conjecture not found
% 69.45/34.38 Conjecture not found
% 69.48/34.42 Conjecture not found
% 69.64/34.59 Conjecture not found
% 69.74/34.68 Conjecture not found
% 69.78/34.70 Conjecture not found
% 69.78/34.73 Conjecture not found
% 70.70/34.87 Conjecture not found
% 70.70/34.89 Conjecture not found
% 70.70/34.94 Conjecture not found
% 70.70/34.95 Conjecture not found
% 70.70/34.95 Conjecture not found
% 70.81/34.96 Conjecture not found
% 70.81/34.99 Conjecture not found
% 70.81/35.00 Conjecture not found
% 70.85/35.01 Conjecture not found
% 70.85/35.03 Conjecture not found
% 70.85/35.04 Conjecture not found
% 70.89/35.05 Conjecture not found
% 70.89/35.06 Conjecture not found
% 70.89/35.08 Conjecture not found
% 70.89/35.12 Conjecture not found
% 70.98/35.14 Conjecture not found
% 70.98/35.16 Conjecture not found
% 71.03/35.20 Conjecture not found
% 71.03/35.23 Conjecture not found
% 71.03/35.25 Conjecture not found
% 71.39/35.35 Conjecture not found
% 71.39/35.37 Conjecture not found
% 71.39/35.40 Conjecture not found
% 71.39/35.43 Conjecture not found
% 72.04/35.48 Conjecture not found
% 72.13/35.51 Conjecture not found
% 72.80/35.97 Conjecture not found
% 72.80/36.03 Conjecture not found
% 73.44/36.04 Conjecture not found
% 73.44/36.08 Conjecture not found
% 73.52/36.15 Conjecture not found
% 73.52/36.16 Conjecture not found
% 73.60/36.22 Conjecture not found
% 73.60/36.24 Conjecture not found
% 73.70/36.28 Conjecture not found
% 73.72/36.31 Conjecture not found
% 73.74/36.33 Conjecture not found
% 73.74/36.35 Conjecture not found
% 73.74/36.39 Conjecture not found
% 73.74/36.41 Conjecture not found
% 73.84/36.43 Conjecture not found
% 73.84/36.44 Start search
% 178.91/61.01 nb_step : 1 - limit : 175786
% 179.63/61.74 Launch Gotab with destructive = true
%------------------------------------------------------------------------------