TSTP Solution File: SEU416+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU416+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n016.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:56:59 EDT 2022
% Result : Timeout 300.16s 90.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SEU416+4 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n016.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:08:47 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.18/0.38 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.41 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.50 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.65/0.65 Conjecture not found
% 0.76/0.72 Conjecture not found
% 0.76/0.73 Conjecture not found
% 0.86/0.80 Conjecture not found
% 1.02/0.85 Conjecture not found
% 1.14/0.94 Conjecture not found
% 1.16/0.97 Conjecture not found
% 1.27/1.04 Conjecture not found
% 1.39/1.08 Conjecture not found
% 1.39/1.13 Conjecture not found
% 1.39/1.16 Conjecture not found
% 1.53/1.20 Conjecture not found
% 1.60/1.21 Conjecture not found
% 1.60/1.22 Conjecture not found
% 1.60/1.22 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.79/1.33 Conjecture not found
% 1.79/1.36 Conjecture not found
% 1.79/1.36 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.89/1.40 Conjecture not found
% 1.89/1.40 Conjecture not found
% 1.89/1.45 Conjecture not found
% 2.05/1.50 Conjecture not found
% 2.05/1.50 Conjecture not found
% 2.10/1.51 Conjecture not found
% 2.10/1.52 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.57 Conjecture not found
% 2.15/1.59 Conjecture not found
% 2.15/1.60 Conjecture not found
% 2.15/1.62 Conjecture not found
% 2.32/1.63 Conjecture not found
% 2.32/1.64 Conjecture not found
% 2.32/1.67 Conjecture not found
% 2.46/1.72 Conjecture not found
% 2.46/1.74 Conjecture not found
% 2.46/1.75 Conjecture not found
% 2.46/1.77 Conjecture not found
% 2.66/1.80 Conjecture not found
% 2.67/1.83 Conjecture not found
% 2.67/1.85 Conjecture not found
% 2.67/1.87 Conjecture not found
% 2.82/1.95 Conjecture not found
% 2.82/1.99 Conjecture not found
% 2.97/2.01 Conjecture not found
% 2.97/2.02 Conjecture not found
% 2.97/2.05 Conjecture not found
% 2.97/2.07 Conjecture not found
% 3.35/2.24 Conjecture not found
% 3.35/2.28 Conjecture not found
% 3.35/2.30 Conjecture not found
% 3.65/2.41 Conjecture not found
% 3.65/2.42 Conjecture not found
% 3.65/2.43 Conjecture not found
% 3.65/2.45 Conjecture not found
% 3.78/2.49 Conjecture not found
% 3.78/2.54 Conjecture not found
% 4.02/2.60 Conjecture not found
% 4.04/2.68 Conjecture not found
% 4.17/2.73 Conjecture not found
% 4.17/2.74 Conjecture not found
% 4.17/2.77 Conjecture not found
% 4.17/2.77 Conjecture not found
% 4.41/2.81 Conjecture not found
% 4.41/2.83 Conjecture not found
% 4.41/2.86 Conjecture not found
% 4.41/2.86 Conjecture not found
% 4.65/2.92 Conjecture not found
% 4.66/2.93 Conjecture not found
% 4.66/2.96 Conjecture not found
% 4.84/3.03 Conjecture not found
% 5.01/3.12 Conjecture not found
% 5.14/3.26 Conjecture not found
% 5.67/3.49 Conjecture not found
% 6.31/3.81 Conjecture not found
% 6.31/3.83 Conjecture not found
% 6.31/3.85 Conjecture not found
% 6.58/3.96 Conjecture not found
% 6.58/3.98 Conjecture not found
% 6.74/4.03 Conjecture not found
% 6.86/4.10 Conjecture not found
% 6.86/4.15 Conjecture not found
% 7.02/4.22 Conjecture not found
% 7.07/4.26 Conjecture not found
% 7.07/4.29 Conjecture not found
% 7.07/4.30 Conjecture not found
% 7.22/4.33 Conjecture not found
% 7.22/4.34 Conjecture not found
% 7.34/4.42 Conjecture not found
% 7.53/4.51 Conjecture not found
% 7.58/4.57 Conjecture not found
% 7.72/4.65 Conjecture not found
% 7.72/4.67 Conjecture not found
% 7.87/4.73 Conjecture not found
% 7.87/4.75 Conjecture not found
% 7.87/4.76 Conjecture not found
% 8.05/4.79 Conjecture not found
% 8.08/4.82 Conjecture not found
% 8.10/4.83 Conjecture not found
% 8.10/4.87 Conjecture not found
% 8.10/4.88 Conjecture not found
% 8.10/4.89 Conjecture not found
% 8.10/4.90 Conjecture not found
% 8.30/4.93 Conjecture not found
% 8.30/4.96 Conjecture not found
% 8.43/5.00 Conjecture not found
% 8.43/5.05 Conjecture not found
% 8.83/5.22 Conjecture not found
% 8.83/5.24 Conjecture not found
% 8.83/5.25 Conjecture not found
% 8.83/5.27 Conjecture not found
% 8.83/5.30 Conjecture not found
% 9.00/5.33 Conjecture not found
% 9.00/5.38 Conjecture not found
% 9.17/5.39 Conjecture not found
% 9.19/5.42 Conjecture not found
% 9.19/5.45 Conjecture not found
% 9.30/5.53 Conjecture not found
% 10.13/5.93 Conjecture not found
% 10.98/6.45 Conjecture not found
% 11.22/6.58 Conjecture not found
% 11.36/6.63 Conjecture not found
% 11.36/6.64 Conjecture not found
% 11.36/6.65 Conjecture not found
% 11.47/6.70 Conjecture not found
% 11.47/6.71 Conjecture not found
% 11.47/6.73 Conjecture not found
% 11.47/6.75 Conjecture not found
% 11.68/6.79 Conjecture not found
% 11.80/6.84 Conjecture not found
% 11.80/6.86 Conjecture not found
% 11.80/6.87 Conjecture not found
% 11.97/6.91 Conjecture not found
% 11.97/6.96 Conjecture not found
% 12.04/7.00 Conjecture not found
% 12.04/7.04 Conjecture not found
% 12.04/7.08 Conjecture not found
% 12.25/7.09 Conjecture not found
% 12.34/7.12 Conjecture not found
% 12.34/7.13 Conjecture not found
% 12.40/7.15 Conjecture not found
% 12.40/7.18 Conjecture not found
% 12.40/7.21 Conjecture not found
% 12.40/7.22 Conjecture not found
% 12.59/7.27 Conjecture not found
% 12.65/7.32 Conjecture not found
% 12.65/7.34 Conjecture not found
% 12.65/7.36 Conjecture not found
% 12.84/7.38 Conjecture not found
% 12.84/7.39 Conjecture not found
% 12.84/7.41 Conjecture not found
% 12.88/7.42 Conjecture not found
% 12.96/7.45 Conjecture not found
% 12.96/7.46 Conjecture not found
% 12.96/7.46 Conjecture not found
% 12.96/7.49 Conjecture not found
% 12.96/7.50 Conjecture not found
% 13.19/7.53 Conjecture not found
% 13.19/7.57 Conjecture not found
% 13.25/7.60 Conjecture not found
% 13.25/7.61 Conjecture not found
% 13.25/7.63 Conjecture not found
% 13.25/7.65 Conjecture not found
% 13.25/7.67 Conjecture not found
% 13.47/7.69 Conjecture not found
% 13.47/7.72 Conjecture not found
% 13.52/7.74 Conjecture not found
% 13.52/7.75 Conjecture not found
% 13.52/7.79 Conjecture not found
% 13.52/7.80 Conjecture not found
% 13.71/7.84 Conjecture not found
% 13.77/7.89 Conjecture not found
% 13.77/7.91 Conjecture not found
% 13.77/7.93 Conjecture not found
% 13.77/7.94 Conjecture not found
% 13.87/7.96 Conjecture not found
% 13.87/7.97 Conjecture not found
% 13.87/7.98 Conjecture not found
% 14.00/7.99 Conjecture not found
% 14.08/8.04 Conjecture not found
% 14.15/8.14 Conjecture not found
% 14.15/8.14 Conjecture not found
% 14.15/8.16 Conjecture not found
% 14.15/8.18 Conjecture not found
% 14.36/8.19 Conjecture not found
% 14.36/8.21 Conjecture not found
% 14.36/8.22 Conjecture not found
% 14.58/8.28 Conjecture not found
% 14.61/8.32 Conjecture not found
% 14.63/8.35 Conjecture not found
% 14.63/8.38 Conjecture not found
% 14.88/8.43 Conjecture not found
% 15.20/8.59 Conjecture not found
% 15.25/8.67 Conjecture not found
% 15.25/8.71 Conjecture not found
% 15.44/8.73 Conjecture not found
% 15.44/8.76 Conjecture not found
% 15.44/8.80 Conjecture not found
% 15.56/8.83 Conjecture not found
% 15.56/8.84 Conjecture not found
% 15.79/8.95 Conjecture not found
% 15.79/9.00 Conjecture not found
% 15.88/9.04 Conjecture not found
% 16.13/9.09 Conjecture not found
% 16.13/9.16 Conjecture not found
% 16.13/9.18 Conjecture not found
% 16.36/9.23 Conjecture not found
% 16.36/9.28 Conjecture not found
% 16.52/9.33 Conjecture not found
% 16.76/9.43 Conjecture not found
% 16.76/9.45 Conjecture not found
% 16.76/9.47 Conjecture not found
% 16.76/9.49 Conjecture not found
% 16.85/9.51 Conjecture not found
% 17.17/9.62 Conjecture not found
% 17.17/9.67 Conjecture not found
% 17.17/9.69 Conjecture not found
% 17.30/9.73 Conjecture not found
% 17.80/10.00 Conjecture not found
% 17.90/10.06 Conjecture not found
% 18.12/10.12 Conjecture not found
% 18.12/10.15 Conjecture not found
% 18.20/10.17 Conjecture not found
% 18.20/10.18 Conjecture not found
% 18.25/10.24 Conjecture not found
% 18.52/10.33 Conjecture not found
% 18.59/10.40 Conjecture not found
% 18.84/10.47 Conjecture not found
% 18.85/10.50 Conjecture not found
% 18.91/10.59 Conjecture not found
% 19.16/10.66 Conjecture not found
% 19.23/10.72 Conjecture not found
% 19.23/10.75 Conjecture not found
% 19.32/10.78 Conjecture not found
% 19.32/10.80 Conjecture not found
% 19.58/10.84 Conjecture not found
% 19.58/10.86 Conjecture not found
% 19.58/10.88 Conjecture not found
% 19.58/10.91 Conjecture not found
% 19.66/10.94 Conjecture not found
% 19.66/10.96 Conjecture not found
% 19.71/10.98 Conjecture not found
% 19.71/11.05 Conjecture not found
% 19.71/11.06 Conjecture not found
% 19.98/11.08 Conjecture not found
% 20.00/11.10 Conjecture not found
% 20.31/11.24 Conjecture not found
% 20.31/11.25 Conjecture not found
% 20.36/11.31 Conjecture not found
% 20.36/11.31 Conjecture not found
% 20.36/11.31 Conjecture not found
% 20.36/11.32 Conjecture not found
% 20.36/11.33 Conjecture not found
% 20.49/11.38 Conjecture not found
% 20.49/11.39 Conjecture not found
% 20.71/11.40 Conjecture not found
% 20.80/11.44 Conjecture not found
% 20.80/11.48 Conjecture not found
% 21.14/11.61 Conjecture not found
% 21.14/11.63 Conjecture not found
% 21.30/11.76 Conjecture not found
% 21.65/11.91 Conjecture not found
% 21.65/11.94 Conjecture not found
% 21.95/12.01 Conjecture not found
% 21.98/12.04 Conjecture not found
% 21.98/12.05 Conjecture not found
% 21.98/12.12 Conjecture not found
% 22.08/12.20 Conjecture not found
% 22.36/12.25 Conjecture not found
% 22.36/12.26 Conjecture not found
% 22.47/12.35 Conjecture not found
% 22.77/12.41 Conjecture not found
% 22.77/12.44 Conjecture not found
% 22.85/12.49 Conjecture not found
% 22.85/12.53 Conjecture not found
% 22.85/12.54 Conjecture not found
% 22.85/12.57 Conjecture not found
% 23.18/12.69 Conjecture not found
% 23.18/12.72 Conjecture not found
% 23.32/12.73 Conjecture not found
% 23.32/12.78 Conjecture not found
% 23.48/12.84 Conjecture not found
% 23.48/12.85 Conjecture not found
% 23.48/12.88 Conjecture not found
% 23.69/12.91 Conjecture not found
% 23.69/12.93 Conjecture not found
% 23.69/12.96 Conjecture not found
% 24.02/13.05 Conjecture not found
% 24.02/13.06 Conjecture not found
% 24.12/13.12 Conjecture not found
% 24.12/13.17 Conjecture not found
% 24.29/13.26 Conjecture not found
% 24.29/13.27 Conjecture not found
% 24.57/13.33 Conjecture not found
% 24.57/13.35 Conjecture not found
% 24.57/13.36 Conjecture not found
% 24.57/13.37 Conjecture not found
% 24.57/13.38 Conjecture not found
% 24.90/13.42 Conjecture not found
% 24.90/13.44 Conjecture not found
% 24.97/13.53 Conjecture not found
% 25.05/13.57 Conjecture not found
% 25.28/13.63 Conjecture not found
% 25.28/13.66 Conjecture not found
% 25.28/13.67 Conjecture not found
% 25.41/13.73 Conjecture not found
% 25.41/13.75 Conjecture not found
% 25.41/13.76 Conjecture not found
% 25.48/13.84 Conjecture not found
% 25.78/13.87 Conjecture not found
% 25.80/13.90 Conjecture not found
% 25.86/13.94 Conjecture not found
% 25.86/13.96 Conjecture not found
% 25.86/13.99 Conjecture not found
% 26.35/14.22 Conjecture not found
% 26.39/14.31 Conjecture not found
% 26.39/14.33 Conjecture not found
% 26.78/14.43 Conjecture not found
% 26.78/14.44 Conjecture not found
% 26.87/14.49 Conjecture not found
% 26.87/14.52 Conjecture not found
% 27.14/14.61 Conjecture not found
% 27.26/14.65 Conjecture not found
% 27.26/14.66 Conjecture not found
% 27.31/14.68 Conjecture not found
% 27.31/14.70 Conjecture not found
% 27.31/14.75 Conjecture not found
% 27.76/14.85 Conjecture not found
% 27.76/14.86 Conjecture not found
% 27.76/14.86 Conjecture not found
% 27.76/14.87 Conjecture not found
% 27.76/14.91 Conjecture not found
% 27.83/14.92 Conjecture not found
% 27.89/14.98 Conjecture not found
% 28.24/15.09 Conjecture not found
% 28.31/15.14 Conjecture not found
% 28.31/15.17 Conjecture not found
% 28.31/15.18 Conjecture not found
% 28.31/15.19 Conjecture not found
% 28.38/15.23 Conjecture not found
% 28.72/15.27 Conjecture not found
% 28.72/15.28 Conjecture not found
% 28.72/15.32 Conjecture not found
% 28.72/15.35 Conjecture not found
% 28.84/15.39 Conjecture not found
% 28.84/15.42 Conjecture not found
% 28.88/15.45 Conjecture not found
% 29.23/15.54 Conjecture not found
% 29.23/15.57 Conjecture not found
% 29.23/15.58 Conjecture not found
% 29.31/15.65 Conjecture not found
% 29.31/15.67 Conjecture not found
% 29.44/15.71 Conjecture not found
% 29.46/15.78 Conjecture not found
% 29.74/15.82 Conjecture not found
% 29.74/15.83 Conjecture not found
% 29.74/15.86 Conjecture not found
% 29.74/15.87 Conjecture not found
% 29.84/15.97 Conjecture not found
% 29.93/15.98 Conjecture not found
% 29.93/15.99 Conjecture not found
% 29.95/16.03 Conjecture not found
% 29.98/16.06 Conjecture not found
% 29.98/16.10 Conjecture not found
% 30.36/16.13 Conjecture not found
% 30.36/16.15 Conjecture not found
% 30.36/16.17 Conjecture not found
% 30.45/16.21 Conjecture not found
% 30.45/16.22 Conjecture not found
% 30.45/16.25 Conjecture not found
% 30.45/16.27 Conjecture not found
% 30.64/16.29 Conjecture not found
% 30.64/16.31 Conjecture not found
% 30.64/16.36 Conjecture not found
% 30.93/16.39 Conjecture not found
% 30.96/16.42 Conjecture not found
% 30.96/16.46 Conjecture not found
% 30.96/16.47 Conjecture not found
% 31.04/16.51 Conjecture not found
% 31.04/16.55 Conjecture not found
% 31.38/16.59 Conjecture not found
% 31.38/16.62 Conjecture not found
% 31.38/16.66 Conjecture not found
% 31.55/16.70 Conjecture not found
% 31.57/16.72 Conjecture not found
% 31.60/16.75 Conjecture not found
% 31.60/16.80 Conjecture not found
% 31.68/16.81 Conjecture not found
% 31.68/16.83 Conjecture not found
% 31.84/16.89 Conjecture not found
% 32.15/16.98 Conjecture not found
% 32.21/17.08 Conjecture not found
% 32.29/17.11 Conjecture not found
% 32.29/17.15 Conjecture not found
% 32.36/17.23 Conjecture not found
% 32.84/17.37 Conjecture not found
% 32.84/17.42 Conjecture not found
% 32.93/17.47 Conjecture not found
% 32.99/17.49 Conjecture not found
% 32.99/17.50 Conjecture not found
% 32.99/17.52 Conjecture not found
% 32.99/17.54 Conjecture not found
% 33.40/17.58 Conjecture not found
% 33.44/17.62 Conjecture not found
% 33.44/17.63 Conjecture not found
% 33.46/17.66 Conjecture not found
% 33.46/17.67 Conjecture not found
% 33.46/17.71 Conjecture not found
% 33.55/17.78 Conjecture not found
% 33.62/17.80 Conjecture not found
% 33.62/17.84 Conjecture not found
% 33.62/17.85 Conjecture not found
% 33.92/17.91 Conjecture not found
% 34.06/17.99 Conjecture not found
% 34.20/18.08 Conjecture not found
% 34.20/18.11 Conjecture not found
% 34.20/18.12 Conjecture not found
% 34.73/18.25 Conjecture not found
% 34.81/18.31 Conjecture not found
% 34.81/18.34 Conjecture not found
% 34.81/18.38 Conjecture not found
% 34.88/18.40 Conjecture not found
% 34.97/18.48 Conjecture not found
% 34.97/18.49 Conjecture not found
% 35.00/18.50 Conjecture not found
% 35.02/18.56 Conjecture not found
% 35.02/18.60 Conjecture not found
% 35.46/18.63 Conjecture not found
% 35.46/18.65 Conjecture not found
% 35.46/18.66 Conjecture not found
% 35.53/18.71 Conjecture not found
% 35.53/18.75 Conjecture not found
% 35.61/18.80 Conjecture not found
% 35.66/18.84 Conjecture not found
% 36.10/19.00 Conjecture not found
% 36.20/19.01 Conjecture not found
% 36.20/19.03 Conjecture not found
% 36.20/19.05 Conjecture not found
% 36.20/19.07 Conjecture not found
% 36.20/19.08 Conjecture not found
% 36.27/19.09 Conjecture not found
% 36.29/19.17 Conjecture not found
% 36.29/19.18 Conjecture not found
% 36.50/19.23 Conjecture not found
% 36.85/19.29 Conjecture not found
% 36.85/19.31 Conjecture not found
% 36.85/19.34 Conjecture not found
% 36.85/19.37 Conjecture not found
% 36.85/19.38 Conjecture not found
% 36.96/19.40 Conjecture not found
% 36.96/19.43 Conjecture not found
% 36.96/19.45 Conjecture not found
% 36.96/19.48 Conjecture not found
% 36.96/19.49 Conjecture not found
% 36.96/19.50 Conjecture not found
% 36.96/19.51 Conjecture not found
% 37.08/19.57 Conjecture not found
% 37.56/19.67 Conjecture not found
% 37.56/19.70 Conjecture not found
% 37.65/19.75 Conjecture not found
% 37.73/19.79 Conjecture not found
% 37.73/19.80 Conjecture not found
% 37.73/19.83 Conjecture not found
% 38.21/19.94 Conjecture not found
% 38.21/19.98 Conjecture not found
% 38.21/20.00 Conjecture not found
% 38.31/20.03 Conjecture not found
% 38.31/20.05 Conjecture not found
% 38.31/20.08 Conjecture not found
% 38.39/20.11 Conjecture not found
% 38.39/20.13 Conjecture not found
% 38.39/20.15 Conjecture not found
% 38.48/20.18 Conjecture not found
% 38.48/20.19 Conjecture not found
% 38.77/20.24 Conjecture not found
% 38.77/20.29 Conjecture not found
% 38.77/20.31 Conjecture not found
% 38.97/20.34 Conjecture not found
% 39.03/20.38 Conjecture not found
% 39.03/20.43 Conjecture not found
% 39.03/20.44 Conjecture not found
% 39.11/20.47 Conjecture not found
% 39.15/20.51 Conjecture not found
% 39.27/20.54 Conjecture not found
% 39.27/20.58 Conjecture not found
% 39.70/20.63 Conjecture not found
% 39.70/20.64 Conjecture not found
% 39.70/20.65 Conjecture not found
% 39.76/20.70 Conjecture not found
% 39.76/20.71 Conjecture not found
% 39.76/20.74 Conjecture not found
% 39.88/20.80 Conjecture not found
% 39.88/20.81 Conjecture not found
% 39.92/20.89 Conjecture not found
% 39.99/20.90 Conjecture not found
% 39.99/20.92 Conjecture not found
% 39.99/20.93 Conjecture not found
% 40.07/20.98 Conjecture not found
% 40.07/21.03 Conjecture not found
% 40.54/21.08 Conjecture not found
% 40.58/21.10 Conjecture not found
% 40.58/21.11 Conjecture not found
% 40.62/21.15 Conjecture not found
% 40.62/21.19 Conjecture not found
% 40.68/21.27 Conjecture not found
% 40.76/21.28 Conjecture not found
% 40.76/21.29 Conjecture not found
% 40.76/21.30 Conjecture not found
% 41.31/21.45 Conjecture not found
% 41.31/21.47 Conjecture not found
% 41.31/21.49 Conjecture not found
% 41.39/21.52 Conjecture not found
% 41.46/21.60 Conjecture not found
% 41.46/21.63 Conjecture not found
% 41.75/21.79 Conjecture not found
% 41.75/21.80 Conjecture not found
% 42.11/21.85 Conjecture not found
% 42.11/21.85 Conjecture not found
% 42.11/21.86 Conjecture not found
% 42.11/21.87 Conjecture not found
% 42.11/21.89 Conjecture not found
% 42.19/21.93 Conjecture not found
% 42.19/21.94 Conjecture not found
% 42.19/21.96 Conjecture not found
% 42.27/21.98 Conjecture not found
% 42.31/22.04 Conjecture not found
% 42.31/22.06 Conjecture not found
% 42.31/22.10 Conjecture not found
% 42.87/22.17 Conjecture not found
% 42.97/22.20 Conjecture not found
% 42.97/22.25 Conjecture not found
% 43.07/22.29 Conjecture not found
% 43.10/22.33 Conjecture not found
% 43.10/22.35 Conjecture not found
% 43.20/22.44 Conjecture not found
% 43.61/22.53 Conjecture not found
% 43.61/22.57 Conjecture not found
% 43.82/22.61 Conjecture not found
% 43.82/22.64 Conjecture not found
% 43.82/22.65 Conjecture not found
% 43.82/22.67 Conjecture not found
% 43.92/22.70 Conjecture not found
% 43.92/22.79 Conjecture not found
% 44.02/22.83 Conjecture not found
% 44.02/22.84 Conjecture not found
% 44.02/22.88 Conjecture not found
% 44.02/22.89 Conjecture not found
% 44.11/22.91 Conjecture not found
% 44.11/22.95 Conjecture not found
% 44.11/22.98 Conjecture not found
% 44.67/23.00 Conjecture not found
% 44.71/23.05 Conjecture not found
% 44.71/23.08 Conjecture not found
% 44.71/23.11 Conjecture not found
% 44.81/23.14 Conjecture not found
% 44.81/23.14 Conjecture not found
% 44.81/23.17 Conjecture not found
% 44.81/23.18 Conjecture not found
% 44.89/23.20 Conjecture not found
% 44.89/23.26 Conjecture not found
% 44.89/23.27 Conjecture not found
% 44.97/23.28 Conjecture not found
% 44.97/23.29 Conjecture not found
% 44.99/23.30 Conjecture not found
% 45.01/23.33 Conjecture not found
% 45.01/23.36 Conjecture not found
% 45.57/23.42 Conjecture not found
% 45.57/23.44 Conjecture not found
% 45.57/23.46 Conjecture not found
% 45.65/23.50 Conjecture not found
% 45.65/23.51 Conjecture not found
% 45.65/23.52 Conjecture not found
% 45.65/23.54 Conjecture not found
% 45.74/23.59 Conjecture not found
% 45.74/23.59 Conjecture not found
% 45.74/23.66 Conjecture not found
% 45.74/23.67 Conjecture not found
% 45.74/23.68 Conjecture not found
% 46.37/23.85 Conjecture not found
% 46.52/23.88 Conjecture not found
% 46.52/23.91 Conjecture not found
% 46.52/23.92 Conjecture not found
% 46.60/23.96 Conjecture not found
% 46.62/24.00 Conjecture not found
% 46.68/24.04 Conjecture not found
% 46.68/24.08 Conjecture not found
% 46.68/24.12 Conjecture not found
% 46.89/24.25 Conjecture not found
% 46.89/24.26 Conjecture not found
% 47.45/24.33 Conjecture not found
% 47.49/24.35 Conjecture not found
% 47.49/24.38 Conjecture not found
% 47.49/24.39 Conjecture not found
% 47.55/24.40 Conjecture not found
% 47.55/24.41 Conjecture not found
% 47.55/24.44 Conjecture not found
% 47.55/24.46 Conjecture not found
% 47.62/24.47 Conjecture not found
% 47.62/24.49 Conjecture not found
% 47.62/24.52 Conjecture not found
% 47.62/24.53 Conjecture not found
% 47.71/24.56 Conjecture not found
% 47.71/24.59 Conjecture not found
% 47.79/24.68 Conjecture not found
% 48.31/24.73 Conjecture not found
% 48.47/24.78 Conjecture not found
% 48.47/24.82 Conjecture not found
% 48.47/24.86 Conjecture not found
% 48.57/24.90 Conjecture not found
% 48.60/24.92 Conjecture not found
% 48.63/24.94 Conjecture not found
% 48.63/24.98 Conjecture not found
% 48.71/25.05 Conjecture not found
% 49.52/25.38 Conjecture not found
% 49.52/25.39 Conjecture not found
% 49.61/25.42 Conjecture not found
% 49.61/25.45 Conjecture not found
% 49.61/25.46 Conjecture not found
% 49.61/25.47 Conjecture not found
% 49.88/25.51 Conjecture not found
% 49.88/25.55 Conjecture not found
% 49.88/25.56 Conjecture not found
% 49.88/25.57 Conjecture not found
% 50.30/25.60 Conjecture not found
% 50.30/25.66 Conjecture not found
% 50.40/25.76 Conjecture not found
% 50.50/25.83 Conjecture not found
% 50.50/25.87 Conjecture not found
% 50.60/25.91 Conjecture not found
% 50.60/25.92 Conjecture not found
% 50.60/25.96 Conjecture not found
% 51.20/26.05 Conjecture not found
% 51.20/26.07 Conjecture not found
% 51.20/26.09 Conjecture not found
% 51.35/26.11 Conjecture not found
% 51.35/26.12 Conjecture not found
% 51.35/26.18 Conjecture not found
% 51.45/26.21 Conjecture not found
% 51.45/26.25 Conjecture not found
% 51.54/26.30 Conjecture not found
% 51.54/26.30 Conjecture not found
% 51.54/26.36 Conjecture not found
% 51.64/26.40 Conjecture not found
% 51.65/26.41 Conjecture not found
% 51.65/26.42 Conjecture not found
% 51.65/26.48 Conjecture not found
% 52.14/26.53 Conjecture not found
% 52.14/26.55 Conjecture not found
% 52.35/26.61 Conjecture not found
% 52.35/26.62 Conjecture not found
% 52.35/26.63 Conjecture not found
% 52.35/26.65 Conjecture not found
% 52.35/26.66 Conjecture not found
% 52.35/26.69 Conjecture not found
% 52.47/26.71 Conjecture not found
% 52.48/26.72 Conjecture not found
% 52.48/26.80 Conjecture not found
% 52.56/26.84 Conjecture not found
% 52.56/26.85 Conjecture not found
% 52.56/26.86 Conjecture not found
% 52.64/26.97 Conjecture not found
% 53.09/26.98 Conjecture not found
% 53.36/27.05 Conjecture not found
% 53.36/27.07 Conjecture not found
% 53.45/27.17 Conjecture not found
% 53.52/27.20 Conjecture not found
% 53.52/27.23 Conjecture not found
% 53.52/27.26 Conjecture not found
% 53.66/27.32 Conjecture not found
% 53.66/27.35 Conjecture not found
% 53.76/27.42 Conjecture not found
% 54.01/27.52 Conjecture not found
% 54.50/27.63 Conjecture not found
% 54.50/27.65 Conjecture not found
% 54.50/27.67 Conjecture not found
% 54.60/27.75 Conjecture not found
% 54.67/27.80 Conjecture not found
% 54.67/27.86 Conjecture not found
% 54.67/27.88 Conjecture not found
% 54.76/27.89 Conjecture not found
% 54.77/27.91 Conjecture not found
% 54.79/27.92 Conjecture not found
% 54.80/27.95 Conjecture not found
% 54.80/27.96 Conjecture not found
% 54.80/27.97 Conjecture not found
% 55.13/28.00 Conjecture not found
% 55.56/28.08 Conjecture not found
% 55.56/28.10 Conjecture not found
% 55.56/28.13 Conjecture not found
% 55.65/28.17 Conjecture not found
% 55.65/28.18 Conjecture not found
% 55.71/28.30 Conjecture not found
% 55.79/28.30 Conjecture not found
% 55.79/28.32 Conjecture not found
% 55.79/28.34 Conjecture not found
% 55.79/28.37 Conjecture not found
% 56.00/28.56 Conjecture not found
% 56.64/28.62 Conjecture not found
% 56.64/28.65 Conjecture not found
% 56.64/28.65 Conjecture not found
% 56.64/28.65 Conjecture not found
% 56.64/28.68 Conjecture not found
% 56.64/28.68 Conjecture not found
% 56.72/28.77 Conjecture not found
% 56.80/28.78 Conjecture not found
% 56.84/28.86 Conjecture not found
% 56.94/28.91 Conjecture not found
% 56.94/28.93 Conjecture not found
% 56.94/28.95 Conjecture not found
% 56.94/28.96 Conjecture not found
% 56.94/28.98 Conjecture not found
% 57.29/29.01 Conjecture not found
% 57.29/29.04 Conjecture not found
% 57.76/29.10 Conjecture not found
% 57.76/29.14 Conjecture not found
% 57.76/29.15 Conjecture not found
% 57.86/29.23 Conjecture not found
% 57.95/29.33 Conjecture not found
% 57.95/29.37 Conjecture not found
% 58.05/29.40 Conjecture not found
% 58.06/29.42 Conjecture not found
% 58.06/29.44 Conjecture not found
% 58.06/29.45 Conjecture not found
% 58.06/29.49 Conjecture not found
% 58.51/29.53 Conjecture not found
% 58.89/29.66 Conjecture not found
% 59.19/29.94 Conjecture not found
% 60.02/30.12 Conjecture not found
% 60.02/30.12 Conjecture not found
% 60.02/30.16 Conjecture not found
% 60.17/30.25 Conjecture not found
% 60.17/30.27 Conjecture not found
% 60.17/30.28 Conjecture not found
% 60.17/30.29 Conjecture not found
% 60.25/30.32 Conjecture not found
% 60.25/30.34 Conjecture not found
% 60.32/30.40 Conjecture not found
% 60.32/30.42 Conjecture not found
% 60.32/30.43 Conjecture not found
% 60.32/30.46 Conjecture not found
% 60.89/30.51 Conjecture not found
% 61.11/30.53 Conjecture not found
% 61.11/30.54 Conjecture not found
% 61.11/30.55 Conjecture not found
% 61.21/30.64 Conjecture not found
% 61.21/30.65 Conjecture not found
% 61.28/30.69 Conjecture not found
% 61.28/30.73 Conjecture not found
% 61.28/30.74 Conjecture not found
% 61.28/30.74 Conjecture not found
% 61.28/30.75 Conjecture not found
% 61.28/30.76 Conjecture not found
% 61.28/30.77 Conjecture not found
% 61.38/30.80 Conjecture not found
% 61.38/30.80 Conjecture not found
% 61.44/30.86 Conjecture not found
% 61.64/30.95 Conjecture not found
% 61.64/30.98 Conjecture not found
% 62.14/31.00 Conjecture not found
% 62.14/31.01 Conjecture not found
% 62.14/31.04 Conjecture not found
% 62.35/31.06 Conjecture not found
% 62.40/31.11 Conjecture not found
% 62.42/31.14 Conjecture not found
% 62.42/31.14 Conjecture not found
% 62.42/31.15 Conjecture not found
% 62.42/31.21 Conjecture not found
% 62.51/31.23 Conjecture not found
% 62.51/31.27 Conjecture not found
% 62.57/31.29 Conjecture not found
% 62.57/31.30 Conjecture not found
% 62.57/31.31 Conjecture not found
% 62.57/31.34 Conjecture not found
% 62.57/31.34 Conjecture not found
% 62.57/31.35 Conjecture not found
% 62.57/31.37 Conjecture not found
% 62.66/31.38 Conjecture not found
% 62.67/31.40 Conjecture not found
% 62.91/31.47 Conjecture not found
% 63.42/31.53 Conjecture not found
% 63.52/31.60 Conjecture not found
% 63.60/31.65 Conjecture not found
% 63.60/31.68 Conjecture not found
% 63.64/31.71 Conjecture not found
% 63.69/31.74 Conjecture not found
% 63.69/31.79 Conjecture not found
% 63.77/31.86 Conjecture not found
% 63.84/31.90 Conjecture not found
% 63.84/31.94 Conjecture not found
% 63.93/31.97 Conjecture not found
% 63.93/31.98 Conjecture not found
% 64.28/32.06 Conjecture not found
% 64.28/32.08 Conjecture not found
% 64.28/32.10 Conjecture not found
% 64.89/32.19 Conjecture not found
% 64.96/32.26 Conjecture not found
% 64.96/32.27 Conjecture not found
% 64.98/32.30 Conjecture not found
% 65.03/32.32 Conjecture not found
% 65.03/32.32 Conjecture not found
% 65.03/32.33 Conjecture not found
% 65.05/32.35 Conjecture not found
% 65.05/32.41 Conjecture not found
% 65.13/32.44 Conjecture not found
% 65.13/32.45 Conjecture not found
% 65.13/32.48 Conjecture not found
% 65.20/32.51 Conjecture not found
% 65.77/32.60 Conjecture not found
% 65.77/32.61 Conjecture not found
% 66.04/32.64 Conjecture not found
% 66.04/32.69 Conjecture not found
% 66.13/32.74 Conjecture not found
% 66.20/32.79 Conjecture not found
% 66.20/32.80 Conjecture not found
% 66.20/32.85 Conjecture not found
% 66.29/32.88 Conjecture not found
% 66.31/32.90 Conjecture not found
% 66.35/32.93 Conjecture not found
% 66.35/32.94 Conjecture not found
% 66.35/32.95 Conjecture not found
% 66.35/33.00 Conjecture not found
% 66.35/33.01 Conjecture not found
% 66.45/33.02 Conjecture not found
% 66.45/33.04 Conjecture not found
% 66.45/33.05 Conjecture not found
% 66.45/33.06 Conjecture not found
% 66.83/33.12 Conjecture not found
% 67.31/33.21 Conjecture not found
% 67.31/33.26 Conjecture not found
% 67.31/33.27 Conjecture not found
% 67.31/33.28 Conjecture not found
% 67.31/33.29 Conjecture not found
% 67.41/33.33 Conjecture not found
% 67.41/33.37 Conjecture not found
% 67.59/33.49 Conjecture not found
% 67.63/33.62 Conjecture not found
% 68.41/33.65 Conjecture not found
% 68.41/33.69 Conjecture not found
% 68.57/33.77 Conjecture not found
% 68.64/33.79 Conjecture not found
% 68.64/33.84 Conjecture not found
% 68.64/33.85 Conjecture not found
% 68.64/33.85 Conjecture not found
% 68.64/33.87 Conjecture not found
% 68.73/33.89 Conjecture not found
% 68.76/33.91 Conjecture not found
% 68.78/33.92 Conjecture not found
% 68.78/33.94 Conjecture not found
% 68.78/33.95 Conjecture not found
% 68.78/33.97 Conjecture not found
% 68.78/33.98 Conjecture not found
% 68.78/34.01 Conjecture not found
% 68.87/34.04 Conjecture not found
% 68.87/34.07 Conjecture not found
% 68.94/34.09 Conjecture not found
% 68.94/34.14 Conjecture not found
% 69.63/34.22 Conjecture not found
% 69.84/34.24 Conjecture not found
% 69.94/34.35 Conjecture not found
% 69.94/34.37 Conjecture not found
% 70.00/34.38 Conjecture not found
% 70.00/34.40 Conjecture not found
% 70.00/34.44 Conjecture not found
% 70.08/34.47 Conjecture not found
% 71.34/34.95 Conjecture not found
% 71.34/34.98 Conjecture not found
% 71.34/35.00 Conjecture not found
% 71.39/35.03 Conjecture not found
% 71.45/35.10 Conjecture not found
% 71.45/35.12 Conjecture not found
% 71.55/35.17 Conjecture not found
% 71.59/35.20 Conjecture not found
% 71.59/35.23 Conjecture not found
% 71.64/35.27 Conjecture not found
% 72.14/35.34 Conjecture not found
% 72.52/35.41 Conjecture not found
% 72.52/35.46 Conjecture not found
% 72.61/35.49 Conjecture not found
% 72.61/35.51 Conjecture not found
% 72.61/35.51 Start search
% 166.72/57.83 nb_step : 1 - limit : 175646
% 168.77/58.64 Launch Gotab with destructive = true
%------------------------------------------------------------------------------