TSTP Solution File: SEU415+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU415+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n020.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.26s 91.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU415+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n020.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Sat Sep 3 13:45:38 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.45/0.55 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.48/0.57 Conjecture not found
% 0.48/0.58 Conjecture not found
% 0.48/0.60 Conjecture not found
% 0.48/0.62 Conjecture not found
% 0.64/0.67 Conjecture not found
% 0.72/0.74 Conjecture not found
% 0.81/0.75 Conjecture not found
% 0.92/0.82 Conjecture not found
% 0.99/0.88 Conjecture not found
% 1.16/0.96 Conjecture not found
% 1.24/0.99 Conjecture not found
% 1.33/1.06 Conjecture not found
% 1.38/1.10 Conjecture not found
% 1.46/1.15 Conjecture not found
% 1.53/1.18 Conjecture not found
% 1.53/1.21 Conjecture not found
% 1.53/1.22 Conjecture not found
% 1.53/1.23 Conjecture not found
% 1.53/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.79/1.35 Conjecture not found
% 1.83/1.37 Conjecture not found
% 1.83/1.38 Conjecture not found
% 1.83/1.39 Conjecture not found
% 1.83/1.39 Conjecture not found
% 1.83/1.40 Conjecture not found
% 1.83/1.40 Conjecture not found
% 1.83/1.41 Conjecture not found
% 1.83/1.41 Conjecture not found
% 1.96/1.47 Conjecture not found
% 2.03/1.52 Conjecture not found
% 2.03/1.52 Conjecture not found
% 2.03/1.53 Conjecture not found
% 2.03/1.54 Conjecture not found
% 2.16/1.56 Conjecture not found
% 2.21/1.57 Conjecture not found
% 2.21/1.59 Conjecture not found
% 2.21/1.61 Conjecture not found
% 2.21/1.64 Conjecture not found
% 2.33/1.65 Conjecture not found
% 2.33/1.66 Conjecture not found
% 2.36/1.67 Conjecture not found
% 2.36/1.71 Conjecture not found
% 2.48/1.77 Conjecture not found
% 2.54/1.81 Conjecture not found
% 2.54/1.82 Conjecture not found
% 2.63/1.84 Conjecture not found
% 2.69/1.87 Conjecture not found
% 2.69/1.89 Conjecture not found
% 2.69/1.91 Conjecture not found
% 2.79/1.93 Conjecture not found
% 2.87/2.02 Conjecture not found
% 2.97/2.05 Conjecture not found
% 3.04/2.08 Conjecture not found
% 3.04/2.09 Conjecture not found
% 3.04/2.11 Conjecture not found
% 3.13/2.13 Conjecture not found
% 3.41/2.31 Conjecture not found
% 3.50/2.34 Conjecture not found
% 3.51/2.36 Conjecture not found
% 3.70/2.48 Conjecture not found
% 3.70/2.49 Conjecture not found
% 3.70/2.51 Conjecture not found
% 3.70/2.53 Conjecture not found
% 3.83/2.57 Conjecture not found
% 3.91/2.64 Conjecture not found
% 4.03/2.71 Conjecture not found
% 4.25/2.78 Conjecture not found
% 4.25/2.83 Conjecture not found
% 4.25/2.84 Conjecture not found
% 4.46/2.89 Conjecture not found
% 4.46/2.89 Conjecture not found
% 4.49/2.92 Conjecture not found
% 4.50/2.95 Conjecture not found
% 4.50/2.97 Conjecture not found
% 4.50/2.98 Conjecture not found
% 4.62/3.06 Conjecture not found
% 4.62/3.07 Conjecture not found
% 4.74/3.11 Conjecture not found
% 4.93/3.18 Conjecture not found
% 5.07/3.29 Conjecture not found
% 5.32/3.42 Conjecture not found
% 5.63/3.61 Conjecture not found
% 6.18/3.92 Conjecture not found
% 6.39/3.95 Conjecture not found
% 6.39/3.98 Conjecture not found
% 6.52/4.09 Conjecture not found
% 6.60/4.14 Conjecture not found
% 6.72/4.17 Conjecture not found
% 6.72/4.23 Conjecture not found
% 6.87/4.28 Conjecture not found
% 7.02/4.36 Conjecture not found
% 7.04/4.41 Conjecture not found
% 7.18/4.45 Conjecture not found
% 7.18/4.46 Conjecture not found
% 7.24/4.48 Conjecture not found
% 7.24/4.49 Conjecture not found
% 7.39/4.58 Conjecture not found
% 7.53/4.67 Conjecture not found
% 7.68/4.74 Conjecture not found
% 7.73/4.85 Conjecture not found
% 7.90/4.87 Conjecture not found
% 7.90/4.92 Conjecture not found
% 8.04/4.95 Conjecture not found
% 8.07/4.96 Conjecture not found
% 8.07/4.98 Conjecture not found
% 8.07/4.99 Conjecture not found
% 8.07/5.00 Conjecture not found
% 8.24/5.04 Conjecture not found
% 8.24/5.04 Conjecture not found
% 8.24/5.06 Conjecture not found
% 8.24/5.07 Conjecture not found
% 8.27/5.11 Conjecture not found
% 8.27/5.12 Conjecture not found
% 8.43/5.17 Conjecture not found
% 8.43/5.19 Conjecture not found
% 8.79/5.35 Conjecture not found
% 8.82/5.40 Conjecture not found
% 8.82/5.40 Conjecture not found
% 8.82/5.43 Conjecture not found
% 8.96/5.44 Conjecture not found
% 8.96/5.47 Conjecture not found
% 9.00/5.51 Conjecture not found
% 9.00/5.52 Conjecture not found
% 9.15/5.54 Conjecture not found
% 9.15/5.55 Conjecture not found
% 9.24/5.62 Conjecture not found
% 10.13/6.12 Conjecture not found
% 11.12/6.70 Conjecture not found
% 11.28/6.80 Conjecture not found
% 11.45/6.86 Conjecture not found
% 11.45/6.88 Conjecture not found
% 11.45/6.89 Conjecture not found
% 11.63/6.94 Conjecture not found
% 11.63/6.97 Conjecture not found
% 11.69/6.99 Conjecture not found
% 11.69/7.05 Conjecture not found
% 11.76/7.10 Conjecture not found
% 11.93/7.16 Conjecture not found
% 11.96/7.19 Conjecture not found
% 11.96/7.20 Conjecture not found
% 11.96/7.25 Conjecture not found
% 12.19/7.32 Conjecture not found
% 12.24/7.35 Conjecture not found
% 12.41/7.41 Conjecture not found
% 12.47/7.47 Conjecture not found
% 12.47/7.48 Conjecture not found
% 12.47/7.50 Conjecture not found
% 12.47/7.53 Conjecture not found
% 12.66/7.56 Conjecture not found
% 12.69/7.60 Conjecture not found
% 12.87/7.66 Conjecture not found
% 12.87/7.67 Conjecture not found
% 12.94/7.74 Conjecture not found
% 13.03/7.80 Conjecture not found
% 13.03/7.82 Conjecture not found
% 13.03/7.84 Conjecture not found
% 13.18/7.87 Conjecture not found
% 13.19/7.88 Conjecture not found
% 13.19/7.89 Conjecture not found
% 13.19/7.91 Conjecture not found
% 13.23/7.93 Conjecture not found
% 13.36/7.95 Conjecture not found
% 13.36/7.96 Conjecture not found
% 13.36/7.99 Conjecture not found
% 13.36/8.00 Conjecture not found
% 13.46/8.03 Conjecture not found
% 13.46/8.07 Conjecture not found
% 13.63/8.10 Conjecture not found
% 13.63/8.12 Conjecture not found
% 13.63/8.14 Conjecture not found
% 13.63/8.16 Conjecture not found
% 13.71/8.18 Conjecture not found
% 13.71/8.20 Conjecture not found
% 13.88/8.23 Conjecture not found
% 13.88/8.25 Conjecture not found
% 13.91/8.27 Conjecture not found
% 13.91/8.31 Conjecture not found
% 13.91/8.32 Conjecture not found
% 14.12/8.34 Conjecture not found
% 14.16/8.39 Conjecture not found
% 14.16/8.40 Conjecture not found
% 14.16/8.41 Conjecture not found
% 14.16/8.42 Conjecture not found
% 14.16/8.43 Conjecture not found
% 14.22/8.44 Conjecture not found
% 14.22/8.45 Conjecture not found
% 14.30/8.45 Conjecture not found
% 14.30/8.50 Conjecture not found
% 14.46/8.58 Conjecture not found
% 14.46/8.59 Conjecture not found
% 14.46/8.62 Conjecture not found
% 14.67/8.65 Conjecture not found
% 14.67/8.66 Conjecture not found
% 14.67/8.68 Conjecture not found
% 14.71/8.70 Conjecture not found
% 14.71/8.73 Conjecture not found
% 14.93/8.79 Conjecture not found
% 14.99/8.83 Conjecture not found
% 14.99/8.86 Conjecture not found
% 15.13/8.91 Conjecture not found
% 15.37/9.02 Conjecture not found
% 15.45/9.10 Conjecture not found
% 15.54/9.14 Conjecture not found
% 15.54/9.15 Conjecture not found
% 15.54/9.18 Conjecture not found
% 15.66/9.24 Conjecture not found
% 15.80/9.27 Conjecture not found
% 15.82/9.28 Conjecture not found
% 16.06/9.36 Conjecture not found
% 16.06/9.41 Conjecture not found
% 16.15/9.45 Conjecture not found
% 16.31/9.51 Conjecture not found
% 16.39/9.57 Conjecture not found
% 16.39/9.58 Conjecture not found
% 16.45/9.62 Conjecture not found
% 16.65/9.69 Conjecture not found
% 16.73/9.77 Conjecture not found
% 17.01/9.87 Conjecture not found
% 17.01/9.89 Conjecture not found
% 17.01/9.91 Conjecture not found
% 17.01/9.92 Conjecture not found
% 17.08/9.94 Conjecture not found
% 17.35/10.04 Conjecture not found
% 17.37/10.10 Conjecture not found
% 17.42/10.11 Conjecture not found
% 17.42/10.14 Conjecture not found
% 17.99/10.42 Conjecture not found
% 18.10/10.47 Conjecture not found
% 18.10/10.53 Conjecture not found
% 18.34/10.56 Conjecture not found
% 18.37/10.58 Conjecture not found
% 18.37/10.59 Conjecture not found
% 18.43/10.64 Conjecture not found
% 18.68/10.72 Conjecture not found
% 18.73/10.78 Conjecture not found
% 18.73/10.83 Conjecture not found
% 18.98/10.87 Conjecture not found
% 19.09/10.99 Conjecture not found
% 19.16/11.04 Conjecture not found
% 19.39/11.11 Conjecture not found
% 19.46/11.17 Conjecture not found
% 19.46/11.20 Conjecture not found
% 19.51/11.21 Conjecture not found
% 19.67/11.26 Conjecture not found
% 19.67/11.27 Conjecture not found
% 19.67/11.29 Conjecture not found
% 19.82/11.34 Conjecture not found
% 19.82/11.37 Conjecture not found
% 19.87/11.39 Conjecture not found
% 19.87/11.41 Conjecture not found
% 20.02/11.49 Conjecture not found
% 20.02/11.50 Conjecture not found
% 20.17/11.52 Conjecture not found
% 20.17/11.54 Conjecture not found
% 20.21/11.64 Conjecture not found
% 20.49/11.66 Conjecture not found
% 20.53/11.71 Conjecture not found
% 20.53/11.71 Conjecture not found
% 20.53/11.72 Conjecture not found
% 20.53/11.72 Conjecture not found
% 20.53/11.73 Conjecture not found
% 20.59/11.78 Conjecture not found
% 20.59/11.79 Conjecture not found
% 20.81/11.83 Conjecture not found
% 20.90/11.92 Conjecture not found
% 20.99/11.97 Conjecture not found
% 21.31/12.07 Conjecture not found
% 21.31/12.10 Conjecture not found
% 21.42/12.19 Conjecture not found
% 21.78/12.35 Conjecture not found
% 21.78/12.37 Conjecture not found
% 21.78/12.41 Conjecture not found
% 21.96/12.45 Conjecture not found
% 21.96/12.47 Conjecture not found
% 22.17/12.56 Conjecture not found
% 22.19/12.62 Conjecture not found
% 22.50/12.69 Conjecture not found
% 22.50/12.71 Conjecture not found
% 22.61/12.78 Conjecture not found
% 22.61/12.81 Conjecture not found
% 22.87/12.84 Conjecture not found
% 22.90/12.91 Conjecture not found
% 22.97/12.96 Conjecture not found
% 22.97/12.96 Conjecture not found
% 23.02/13.00 Conjecture not found
% 23.34/13.09 Conjecture not found
% 23.40/13.13 Conjecture not found
% 23.40/13.15 Conjecture not found
% 23.43/13.19 Conjecture not found
% 23.43/13.23 Conjecture not found
% 23.43/13.24 Conjecture not found
% 23.77/13.32 Conjecture not found
% 23.82/13.37 Conjecture not found
% 23.87/13.41 Conjecture not found
% 23.87/13.44 Conjecture not found
% 23.92/13.52 Conjecture not found
% 23.92/13.54 Conjecture not found
% 24.28/13.61 Conjecture not found
% 24.33/13.67 Conjecture not found
% 24.67/13.78 Conjecture not found
% 24.67/13.80 Conjecture not found
% 24.67/13.85 Conjecture not found
% 24.77/13.87 Conjecture not found
% 24.77/13.89 Conjecture not found
% 24.77/13.89 Conjecture not found
% 24.79/13.90 Conjecture not found
% 24.79/13.91 Conjecture not found
% 24.79/13.92 Conjecture not found
% 25.14/14.04 Conjecture not found
% 25.21/14.10 Conjecture not found
% 25.21/14.15 Conjecture not found
% 25.38/14.18 Conjecture not found
% 25.38/14.19 Conjecture not found
% 25.60/14.28 Conjecture not found
% 25.63/14.30 Conjecture not found
% 25.63/14.31 Conjecture not found
% 25.66/14.38 Conjecture not found
% 25.66/14.39 Conjecture not found
% 25.66/14.45 Conjecture not found
% 26.09/14.54 Conjecture not found
% 26.09/14.57 Conjecture not found
% 26.16/14.60 Conjecture not found
% 26.67/14.85 Conjecture not found
% 26.74/14.91 Conjecture not found
% 26.74/14.92 Conjecture not found
% 27.05/15.06 Conjecture not found
% 27.16/15.07 Conjecture not found
% 27.20/15.11 Conjecture not found
% 27.23/15.14 Conjecture not found
% 27.38/15.25 Conjecture not found
% 27.60/15.29 Conjecture not found
% 27.60/15.30 Conjecture not found
% 27.60/15.32 Conjecture not found
% 27.60/15.35 Conjecture not found
% 27.72/15.39 Conjecture not found
% 27.85/15.48 Conjecture not found
% 27.85/15.50 Conjecture not found
% 28.09/15.51 Conjecture not found
% 28.09/15.52 Conjecture not found
% 28.09/15.56 Conjecture not found
% 28.15/15.57 Conjecture not found
% 28.15/15.62 Conjecture not found
% 28.45/15.73 Conjecture not found
% 28.60/15.81 Conjecture not found
% 28.60/15.83 Conjecture not found
% 28.69/15.84 Conjecture not found
% 28.69/15.86 Conjecture not found
% 28.73/15.90 Conjecture not found
% 28.73/15.92 Conjecture not found
% 28.73/15.93 Conjecture not found
% 28.85/15.98 Conjecture not found
% 29.12/16.01 Conjecture not found
% 29.12/16.04 Conjecture not found
% 29.17/16.06 Conjecture not found
% 29.17/16.08 Conjecture not found
% 29.26/16.15 Conjecture not found
% 29.26/16.18 Conjecture not found
% 29.56/16.19 Conjecture not found
% 29.56/16.25 Conjecture not found
% 29.56/16.26 Conjecture not found
% 29.65/16.30 Conjecture not found
% 29.65/16.31 Conjecture not found
% 29.70/16.33 Conjecture not found
% 29.87/16.37 Conjecture not found
% 29.87/16.41 Conjecture not found
% 29.87/16.42 Conjecture not found
% 30.11/16.52 Conjecture not found
% 30.11/16.52 Conjecture not found
% 30.11/16.53 Conjecture not found
% 30.19/16.56 Conjecture not found
% 30.23/16.58 Conjecture not found
% 30.47/16.64 Conjecture not found
% 30.56/16.67 Conjecture not found
% 30.56/16.70 Conjecture not found
% 30.56/16.72 Conjecture not found
% 30.63/16.75 Conjecture not found
% 30.63/16.77 Conjecture not found
% 30.69/16.80 Conjecture not found
% 30.69/16.82 Conjecture not found
% 30.69/16.85 Conjecture not found
% 31.03/16.88 Conjecture not found
% 31.12/16.93 Conjecture not found
% 31.12/16.97 Conjecture not found
% 31.12/17.00 Conjecture not found
% 31.19/17.03 Conjecture not found
% 31.19/17.04 Conjecture not found
% 31.26/17.09 Conjecture not found
% 31.26/17.14 Conjecture not found
% 31.58/17.18 Conjecture not found
% 31.70/17.22 Conjecture not found
% 31.74/17.26 Conjecture not found
% 31.74/17.29 Conjecture not found
% 31.74/17.30 Conjecture not found
% 31.83/17.33 Conjecture not found
% 31.83/17.36 Conjecture not found
% 31.83/17.38 Conjecture not found
% 31.89/17.40 Conjecture not found
% 31.89/17.47 Conjecture not found
% 32.32/17.55 Conjecture not found
% 32.41/17.65 Conjecture not found
% 32.41/17.67 Conjecture not found
% 32.50/17.71 Conjecture not found
% 32.50/17.77 Conjecture not found
% 32.96/17.91 Conjecture not found
% 33.05/17.95 Conjecture not found
% 33.14/18.01 Conjecture not found
% 33.14/18.02 Conjecture not found
% 33.14/18.03 Conjecture not found
% 33.14/18.05 Conjecture not found
% 33.14/18.08 Conjecture not found
% 33.53/18.10 Conjecture not found
% 33.53/18.12 Conjecture not found
% 33.53/18.13 Conjecture not found
% 33.53/18.15 Conjecture not found
% 33.53/18.16 Conjecture not found
% 33.65/18.19 Conjecture not found
% 33.68/18.24 Conjecture not found
% 33.68/18.26 Conjecture not found
% 33.68/18.29 Conjecture not found
% 33.84/18.31 Conjecture not found
% 33.84/18.33 Conjecture not found
% 34.17/18.43 Conjecture not found
% 34.29/18.53 Conjecture not found
% 34.33/18.55 Conjecture not found
% 34.33/18.57 Conjecture not found
% 34.83/18.68 Conjecture not found
% 34.83/18.73 Conjecture not found
% 34.91/18.76 Conjecture not found
% 34.93/18.79 Conjecture not found
% 34.93/18.81 Conjecture not found
% 34.99/18.87 Conjecture not found
% 34.99/18.88 Conjecture not found
% 34.99/18.89 Conjecture not found
% 35.08/18.94 Conjecture not found
% 35.46/18.99 Conjecture not found
% 35.46/19.01 Conjecture not found
% 35.46/19.04 Conjecture not found
% 35.46/19.06 Conjecture not found
% 35.60/19.10 Conjecture not found
% 35.60/19.13 Conjecture not found
% 35.65/19.17 Conjecture not found
% 35.71/19.20 Conjecture not found
% 35.89/19.35 Conjecture not found
% 35.89/19.36 Conjecture not found
% 36.21/19.38 Conjecture not found
% 36.24/19.40 Conjecture not found
% 36.24/19.41 Conjecture not found
% 36.27/19.43 Conjecture not found
% 36.27/19.44 Conjecture not found
% 36.34/19.52 Conjecture not found
% 36.34/19.53 Conjecture not found
% 36.34/19.55 Conjecture not found
% 36.61/19.63 Conjecture not found
% 36.61/19.65 Conjecture not found
% 36.61/19.68 Conjecture not found
% 36.90/19.71 Conjecture not found
% 36.90/19.73 Conjecture not found
% 36.91/19.75 Conjecture not found
% 36.91/19.79 Conjecture not found
% 37.00/19.82 Conjecture not found
% 37.00/19.86 Conjecture not found
% 37.00/19.87 Conjecture not found
% 37.07/19.88 Conjecture not found
% 37.07/19.91 Conjecture not found
% 37.36/19.97 Conjecture not found
% 37.60/20.06 Conjecture not found
% 37.60/20.09 Conjecture not found
% 37.68/20.15 Conjecture not found
% 37.68/20.18 Conjecture not found
% 37.68/20.19 Conjecture not found
% 37.77/20.21 Conjecture not found
% 38.06/20.32 Conjecture not found
% 38.06/20.37 Conjecture not found
% 38.32/20.42 Conjecture not found
% 38.32/20.48 Conjecture not found
% 38.40/20.52 Conjecture not found
% 38.40/20.56 Conjecture not found
% 38.50/20.59 Conjecture not found
% 38.52/20.61 Conjecture not found
% 38.52/20.65 Conjecture not found
% 38.52/20.68 Conjecture not found
% 38.52/20.70 Conjecture not found
% 38.62/20.72 Conjecture not found
% 38.62/20.75 Conjecture not found
% 38.62/20.76 Conjecture not found
% 38.62/20.80 Conjecture not found
% 38.73/20.87 Conjecture not found
% 39.20/20.94 Conjecture not found
% 39.20/20.95 Conjecture not found
% 39.20/20.98 Conjecture not found
% 39.30/21.02 Conjecture not found
% 39.30/21.05 Conjecture not found
% 39.30/21.06 Conjecture not found
% 39.30/21.09 Conjecture not found
% 39.39/21.10 Conjecture not found
% 39.39/21.12 Conjecture not found
% 39.39/21.16 Conjecture not found
% 39.53/21.19 Conjecture not found
% 39.58/21.27 Conjecture not found
% 39.87/21.35 Conjecture not found
% 39.87/21.36 Conjecture not found
% 40.06/21.46 Conjecture not found
% 40.06/21.48 Conjecture not found
% 40.06/21.50 Conjecture not found
% 40.18/21.52 Conjecture not found
% 40.18/21.57 Conjecture not found
% 40.18/21.59 Conjecture not found
% 40.27/21.62 Conjecture not found
% 40.27/21.65 Conjecture not found
% 40.27/21.66 Conjecture not found
% 40.36/21.71 Conjecture not found
% 40.36/21.76 Conjecture not found
% 40.47/21.87 Conjecture not found
% 40.47/21.90 Conjecture not found
% 41.01/21.92 Conjecture not found
% 41.01/21.94 Conjecture not found
% 41.09/22.03 Conjecture not found
% 41.09/22.05 Conjecture not found
% 41.09/22.07 Conjecture not found
% 41.20/22.10 Conjecture not found
% 41.22/22.18 Conjecture not found
% 41.22/22.22 Conjecture not found
% 41.82/22.35 Conjecture not found
% 41.82/22.36 Conjecture not found
% 41.92/22.40 Conjecture not found
% 41.92/22.41 Conjecture not found
% 41.92/22.41 Conjecture not found
% 41.92/22.42 Conjecture not found
% 41.95/22.45 Conjecture not found
% 41.95/22.48 Conjecture not found
% 41.95/22.49 Conjecture not found
% 41.95/22.51 Conjecture not found
% 42.05/22.53 Conjecture not found
% 42.51/22.63 Conjecture not found
% 42.51/22.65 Conjecture not found
% 42.51/22.67 Conjecture not found
% 42.70/22.72 Conjecture not found
% 42.70/22.74 Conjecture not found
% 42.70/22.79 Conjecture not found
% 42.78/22.83 Conjecture not found
% 42.78/22.87 Conjecture not found
% 42.86/22.89 Conjecture not found
% 43.43/23.03 Conjecture not found
% 43.43/23.07 Conjecture not found
% 43.43/23.09 Conjecture not found
% 43.53/23.11 Conjecture not found
% 43.53/23.14 Conjecture not found
% 43.53/23.15 Conjecture not found
% 43.53/23.17 Conjecture not found
% 43.53/23.19 Conjecture not found
% 43.62/23.26 Conjecture not found
% 43.62/23.29 Conjecture not found
% 43.72/23.30 Conjecture not found
% 43.75/23.32 Conjecture not found
% 43.75/23.33 Conjecture not found
% 43.75/23.35 Conjecture not found
% 44.11/23.40 Conjecture not found
% 44.11/23.44 Conjecture not found
% 44.11/23.46 Conjecture not found
% 44.36/23.50 Conjecture not found
% 44.36/23.52 Conjecture not found
% 44.36/23.56 Conjecture not found
% 44.45/23.58 Conjecture not found
% 44.47/23.59 Conjecture not found
% 44.49/23.62 Conjecture not found
% 44.49/23.63 Conjecture not found
% 44.49/23.65 Conjecture not found
% 44.58/23.70 Conjecture not found
% 44.58/23.72 Conjecture not found
% 44.58/23.72 Conjecture not found
% 44.58/23.74 Conjecture not found
% 44.58/23.75 Conjecture not found
% 44.88/23.80 Conjecture not found
% 44.88/23.85 Conjecture not found
% 44.88/23.88 Conjecture not found
% 45.24/23.90 Conjecture not found
% 45.26/23.93 Conjecture not found
% 45.26/23.97 Conjecture not found
% 45.26/23.98 Conjecture not found
% 45.26/23.99 Conjecture not found
% 45.35/24.01 Conjecture not found
% 45.35/24.06 Conjecture not found
% 45.35/24.07 Conjecture not found
% 45.44/24.16 Conjecture not found
% 45.44/24.17 Conjecture not found
% 45.44/24.18 Conjecture not found
% 45.95/24.35 Conjecture not found
% 45.95/24.36 Conjecture not found
% 45.95/24.38 Conjecture not found
% 45.95/24.39 Conjecture not found
% 46.24/24.43 Conjecture not found
% 46.24/24.46 Conjecture not found
% 46.24/24.49 Conjecture not found
% 46.35/24.52 Conjecture not found
% 46.35/24.54 Conjecture not found
% 46.61/24.66 Conjecture not found
% 46.61/24.67 Conjecture not found
% 47.01/24.74 Conjecture not found
% 47.01/24.76 Conjecture not found
% 47.11/24.79 Conjecture not found
% 47.11/24.80 Conjecture not found
% 47.14/24.81 Conjecture not found
% 47.15/24.82 Conjecture not found
% 47.15/24.85 Conjecture not found
% 47.15/24.87 Conjecture not found
% 47.15/24.88 Conjecture not found
% 47.15/24.90 Conjecture not found
% 47.24/24.93 Conjecture not found
% 47.24/24.94 Conjecture not found
% 47.24/24.98 Conjecture not found
% 47.32/25.00 Conjecture not found
% 47.32/25.08 Conjecture not found
% 47.99/25.13 Conjecture not found
% 47.99/25.17 Conjecture not found
% 47.99/25.20 Conjecture not found
% 48.09/25.23 Conjecture not found
% 48.09/25.26 Conjecture not found
% 48.09/25.28 Conjecture not found
% 48.16/25.29 Conjecture not found
% 48.16/25.32 Conjecture not found
% 48.25/25.38 Conjecture not found
% 49.10/25.69 Conjecture not found
% 49.10/25.70 Conjecture not found
% 49.13/25.73 Conjecture not found
% 49.13/25.76 Conjecture not found
% 49.13/25.78 Conjecture not found
% 49.13/25.79 Conjecture not found
% 49.41/25.82 Conjecture not found
% 49.41/25.86 Conjecture not found
% 49.80/25.89 Conjecture not found
% 49.80/25.90 Conjecture not found
% 49.80/25.92 Conjecture not found
% 49.90/25.97 Conjecture not found
% 49.96/26.07 Conjecture not found
% 50.03/26.13 Conjecture not found
% 50.03/26.17 Conjecture not found
% 50.12/26.22 Conjecture not found
% 50.12/26.23 Conjecture not found
% 50.12/26.26 Conjecture not found
% 50.75/26.36 Conjecture not found
% 50.75/26.37 Conjecture not found
% 50.75/26.39 Conjecture not found
% 50.85/26.41 Conjecture not found
% 50.85/26.43 Conjecture not found
% 50.92/26.48 Conjecture not found
% 50.92/26.51 Conjecture not found
% 50.92/26.55 Conjecture not found
% 51.02/26.60 Conjecture not found
% 51.02/26.61 Conjecture not found
% 51.06/26.67 Conjecture not found
% 51.06/26.70 Conjecture not found
% 51.14/26.71 Conjecture not found
% 51.14/26.72 Conjecture not found
% 51.14/26.77 Conjecture not found
% 51.14/26.80 Conjecture not found
% 51.68/26.82 Conjecture not found
% 51.88/26.90 Conjecture not found
% 51.88/26.90 Conjecture not found
% 51.90/26.91 Conjecture not found
% 51.91/26.93 Conjecture not found
% 51.91/26.94 Conjecture not found
% 51.91/26.97 Conjecture not found
% 51.91/26.99 Conjecture not found
% 51.91/27.00 Conjecture not found
% 52.00/27.08 Conjecture not found
% 52.08/27.11 Conjecture not found
% 52.08/27.12 Conjecture not found
% 52.08/27.14 Conjecture not found
% 52.37/27.21 Conjecture not found
% 52.37/27.23 Conjecture not found
% 52.37/27.29 Conjecture not found
% 52.87/27.31 Conjecture not found
% 52.97/27.42 Conjecture not found
% 52.97/27.44 Conjecture not found
% 52.97/27.47 Conjecture not found
% 53.06/27.50 Conjecture not found
% 53.07/27.54 Conjecture not found
% 53.07/27.56 Conjecture not found
% 53.17/27.61 Conjecture not found
% 53.17/27.67 Conjecture not found
% 53.26/27.77 Conjecture not found
% 53.92/27.81 Conjecture not found
% 53.92/27.83 Conjecture not found
% 54.01/27.91 Conjecture not found
% 54.01/27.96 Conjecture not found
% 54.11/28.04 Conjecture not found
% 54.11/28.07 Conjecture not found
% 54.11/28.08 Conjecture not found
% 54.11/28.10 Conjecture not found
% 54.22/28.12 Conjecture not found
% 54.23/28.15 Conjecture not found
% 54.23/28.16 Conjecture not found
% 54.23/28.17 Conjecture not found
% 54.23/28.19 Conjecture not found
% 54.48/28.26 Conjecture not found
% 54.48/28.28 Conjecture not found
% 54.98/28.32 Conjecture not found
% 54.98/28.37 Conjecture not found
% 55.08/28.38 Conjecture not found
% 55.13/28.49 Conjecture not found
% 55.13/28.50 Conjecture not found
% 55.21/28.52 Conjecture not found
% 55.21/28.53 Conjecture not found
% 55.21/28.57 Conjecture not found
% 55.29/28.68 Conjecture not found
% 55.73/28.79 Conjecture not found
% 56.10/28.85 Conjecture not found
% 56.10/28.85 Conjecture not found
% 56.10/28.86 Conjecture not found
% 56.17/28.89 Conjecture not found
% 56.17/28.89 Conjecture not found
% 56.29/29.01 Conjecture not found
% 56.29/29.02 Conjecture not found
% 56.40/29.13 Conjecture not found
% 56.47/29.19 Conjecture not found
% 56.47/29.22 Conjecture not found
% 56.47/29.24 Conjecture not found
% 56.47/29.25 Conjecture not found
% 56.47/29.26 Conjecture not found
% 56.72/29.29 Conjecture not found
% 56.98/29.32 Conjecture not found
% 57.06/29.37 Conjecture not found
% 57.06/29.40 Conjecture not found
% 57.28/29.41 Conjecture not found
% 57.28/29.47 Conjecture not found
% 57.34/29.54 Conjecture not found
% 57.43/29.57 Conjecture not found
% 57.45/29.59 Conjecture not found
% 57.45/29.61 Conjecture not found
% 57.49/29.62 Conjecture not found
% 57.50/29.64 Conjecture not found
% 57.50/29.67 Conjecture not found
% 57.50/29.71 Conjecture not found
% 58.30/29.84 Conjecture not found
% 58.60/30.14 Conjecture not found
% 59.42/30.37 Conjecture not found
% 59.42/30.37 Conjecture not found
% 59.50/30.42 Conjecture not found
% 59.60/30.50 Conjecture not found
% 59.61/30.53 Conjecture not found
% 59.61/30.54 Conjecture not found
% 59.61/30.55 Conjecture not found
% 59.61/30.58 Conjecture not found
% 59.70/30.60 Conjecture not found
% 59.70/30.65 Conjecture not found
% 59.70/30.67 Conjecture not found
% 59.70/30.68 Conjecture not found
% 59.79/30.70 Conjecture not found
% 59.79/30.74 Conjecture not found
% 59.79/30.77 Conjecture not found
% 60.53/30.79 Conjecture not found
% 60.55/30.80 Conjecture not found
% 60.58/30.89 Conjecture not found
% 60.58/30.90 Conjecture not found
% 60.69/30.94 Conjecture not found
% 60.69/30.98 Conjecture not found
% 60.69/30.99 Conjecture not found
% 60.69/30.99 Conjecture not found
% 60.69/31.00 Conjecture not found
% 60.69/31.00 Conjecture not found
% 60.78/31.02 Conjecture not found
% 60.78/31.05 Conjecture not found
% 60.78/31.05 Conjecture not found
% 60.78/31.10 Conjecture not found
% 61.44/31.21 Conjecture not found
% 61.44/31.25 Conjecture not found
% 61.44/31.26 Conjecture not found
% 61.44/31.26 Conjecture not found
% 61.74/31.29 Conjecture not found
% 61.77/31.32 Conjecture not found
% 61.77/31.37 Conjecture not found
% 61.77/31.39 Conjecture not found
% 61.77/31.40 Conjecture not found
% 61.77/31.41 Conjecture not found
% 61.86/31.46 Conjecture not found
% 61.86/31.49 Conjecture not found
% 61.95/31.53 Conjecture not found
% 61.95/31.56 Conjecture not found
% 61.95/31.57 Conjecture not found
% 62.04/31.59 Conjecture not found
% 62.06/31.61 Conjecture not found
% 62.06/31.62 Conjecture not found
% 62.07/31.63 Conjecture not found
% 62.09/31.64 Conjecture not found
% 62.09/31.66 Conjecture not found
% 62.09/31.67 Conjecture not found
% 62.27/31.72 Conjecture not found
% 62.27/31.75 Conjecture not found
% 62.78/31.86 Conjecture not found
% 63.03/31.91 Conjecture not found
% 63.08/31.94 Conjecture not found
% 63.08/31.96 Conjecture not found
% 63.08/32.00 Conjecture not found
% 63.16/32.05 Conjecture not found
% 63.23/32.11 Conjecture not found
% 63.23/32.17 Conjecture not found
% 63.35/32.21 Conjecture not found
% 63.39/32.25 Conjecture not found
% 63.39/32.30 Conjecture not found
% 64.19/32.40 Conjecture not found
% 64.19/32.41 Conjecture not found
% 64.19/32.42 Conjecture not found
% 64.26/32.49 Conjecture not found
% 64.33/32.56 Conjecture not found
% 64.33/32.57 Conjecture not found
% 64.33/32.62 Conjecture not found
% 64.43/32.64 Conjecture not found
% 64.43/32.65 Conjecture not found
% 64.43/32.65 Conjecture not found
% 64.43/32.68 Conjecture not found
% 64.49/32.74 Conjecture not found
% 64.49/32.77 Conjecture not found
% 64.57/32.78 Conjecture not found
% 64.57/32.81 Conjecture not found
% 64.62/32.83 Conjecture not found
% 64.63/32.90 Conjecture not found
% 65.17/32.92 Conjecture not found
% 65.17/32.97 Conjecture not found
% 65.49/33.03 Conjecture not found
% 65.59/33.11 Conjecture not found
% 65.65/33.17 Conjecture not found
% 65.65/33.18 Conjecture not found
% 65.73/33.25 Conjecture not found
% 65.73/33.29 Conjecture not found
% 65.80/33.31 Conjecture not found
% 65.80/33.35 Conjecture not found
% 65.80/33.36 Conjecture not found
% 65.80/33.37 Conjecture not found
% 66.02/33.44 Conjecture not found
% 66.02/33.46 Conjecture not found
% 66.02/33.48 Start search
% 156.63/56.41 nb_step : 1 - limit : 162264
% 157.72/57.10 Launch Gotab with destructive = true
%------------------------------------------------------------------------------