TSTP Solution File: SEU450+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU450+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:57:20 EDT 2022
% Result : Timeout 300.73s 91.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU450+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Sat Sep 3 15:05:25 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.53 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.60 Conjecture not found
% 0.52/0.62 Conjecture not found
% 0.64/0.64 Conjecture not found
% 0.70/0.68 Conjecture not found
% 0.80/0.75 Conjecture not found
% 0.85/0.76 Conjecture not found
% 0.97/0.84 Conjecture not found
% 1.03/0.89 Conjecture not found
% 1.20/0.97 Conjecture not found
% 1.20/1.01 Conjecture not found
% 1.38/1.08 Conjecture not found
% 1.38/1.12 Conjecture not found
% 1.50/1.17 Conjecture not found
% 1.57/1.19 Conjecture not found
% 1.57/1.23 Conjecture not found
% 1.65/1.24 Conjecture not found
% 1.67/1.25 Conjecture not found
% 1.67/1.25 Conjecture not found
% 1.67/1.26 Conjecture not found
% 1.87/1.36 Conjecture not found
% 1.87/1.39 Conjecture not found
% 1.87/1.39 Conjecture not found
% 1.87/1.41 Conjecture not found
% 1.87/1.41 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.43 Conjecture not found
% 1.87/1.43 Conjecture not found
% 2.01/1.48 Conjecture not found
% 2.08/1.53 Conjecture not found
% 2.18/1.54 Conjecture not found
% 2.18/1.54 Conjecture not found
% 2.19/1.55 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.59 Conjecture not found
% 2.19/1.60 Conjecture not found
% 2.19/1.63 Conjecture not found
% 2.35/1.64 Conjecture not found
% 2.35/1.66 Conjecture not found
% 2.35/1.67 Conjecture not found
% 2.43/1.68 Conjecture not found
% 2.43/1.71 Conjecture not found
% 2.58/1.77 Conjecture not found
% 2.67/1.82 Conjecture not found
% 2.68/1.83 Conjecture not found
% 2.68/1.86 Conjecture not found
% 2.68/1.89 Conjecture not found
% 2.83/1.91 Conjecture not found
% 2.83/1.93 Conjecture not found
% 2.83/1.95 Conjecture not found
% 2.93/2.04 Conjecture not found
% 3.08/2.07 Conjecture not found
% 3.14/2.09 Conjecture not found
% 3.14/2.11 Conjecture not found
% 3.17/2.13 Conjecture not found
% 3.24/2.15 Conjecture not found
% 3.47/2.33 Conjecture not found
% 3.47/2.35 Conjecture not found
% 3.60/2.38 Conjecture not found
% 3.73/2.49 Conjecture not found
% 3.73/2.50 Conjecture not found
% 3.73/2.52 Conjecture not found
% 3.88/2.55 Conjecture not found
% 3.88/2.58 Conjecture not found
% 3.99/2.65 Conjecture not found
% 4.10/2.71 Conjecture not found
% 4.29/2.79 Conjecture not found
% 4.38/2.84 Conjecture not found
% 4.41/2.84 Conjecture not found
% 4.41/2.88 Conjecture not found
% 4.41/2.88 Conjecture not found
% 4.41/2.92 Conjecture not found
% 4.62/2.94 Conjecture not found
% 4.62/2.97 Conjecture not found
% 4.62/2.98 Conjecture not found
% 4.68/3.05 Conjecture not found
% 4.78/3.05 Conjecture not found
% 4.78/3.08 Conjecture not found
% 4.78/3.14 Conjecture not found
% 5.11/3.24 Conjecture not found
% 5.31/3.38 Conjecture not found
% 5.69/3.61 Conjecture not found
% 6.28/3.89 Conjecture not found
% 6.40/3.92 Conjecture not found
% 6.40/3.95 Conjecture not found
% 6.59/4.05 Conjecture not found
% 6.68/4.08 Conjecture not found
% 6.68/4.11 Conjecture not found
% 6.84/4.22 Conjecture not found
% 7.00/4.27 Conjecture not found
% 7.06/4.35 Conjecture not found
% 7.16/4.39 Conjecture not found
% 7.16/4.42 Conjecture not found
% 7.16/4.42 Conjecture not found
% 7.24/4.46 Conjecture not found
% 7.35/4.47 Conjecture not found
% 7.51/4.56 Conjecture not found
% 7.62/4.63 Conjecture not found
% 7.70/4.70 Conjecture not found
% 7.88/4.81 Conjecture not found
% 7.88/4.84 Conjecture not found
% 8.00/4.88 Conjecture not found
% 8.00/4.90 Conjecture not found
% 8.00/4.91 Conjecture not found
% 8.00/4.93 Conjecture not found
% 8.18/4.96 Conjecture not found
% 8.18/4.97 Conjecture not found
% 8.24/5.02 Conjecture not found
% 8.24/5.02 Conjecture not found
% 8.24/5.03 Conjecture not found
% 8.24/5.05 Conjecture not found
% 8.38/5.09 Conjecture not found
% 8.38/5.11 Conjecture not found
% 8.54/5.16 Conjecture not found
% 8.54/5.18 Conjecture not found
% 8.91/5.34 Conjecture not found
% 8.91/5.38 Conjecture not found
% 8.91/5.39 Conjecture not found
% 8.99/5.42 Conjecture not found
% 8.99/5.45 Conjecture not found
% 9.13/5.49 Conjecture not found
% 9.13/5.55 Conjecture not found
% 9.13/5.56 Conjecture not found
% 9.24/5.58 Conjecture not found
% 9.35/5.61 Conjecture not found
% 9.37/5.70 Conjecture not found
% 10.25/6.19 Conjecture not found
% 11.30/6.76 Conjecture not found
% 11.40/6.89 Conjecture not found
% 11.55/6.95 Conjecture not found
% 11.61/6.97 Conjecture not found
% 11.61/6.99 Conjecture not found
% 11.79/7.04 Conjecture not found
% 11.79/7.06 Conjecture not found
% 11.79/7.07 Conjecture not found
% 11.79/7.13 Conjecture not found
% 11.98/7.18 Conjecture not found
% 12.04/7.23 Conjecture not found
% 12.20/7.26 Conjecture not found
% 12.20/7.27 Conjecture not found
% 12.21/7.31 Conjecture not found
% 12.26/7.34 Conjecture not found
% 12.40/7.40 Conjecture not found
% 12.40/7.44 Conjecture not found
% 12.58/7.49 Conjecture not found
% 12.58/7.50 Conjecture not found
% 12.58/7.52 Conjecture not found
% 12.66/7.54 Conjecture not found
% 12.68/7.55 Conjecture not found
% 12.68/7.59 Conjecture not found
% 12.85/7.63 Conjecture not found
% 12.85/7.65 Conjecture not found
% 12.90/7.70 Conjecture not found
% 13.09/7.76 Conjecture not found
% 13.12/7.79 Conjecture not found
% 13.12/7.80 Conjecture not found
% 13.12/7.82 Conjecture not found
% 13.12/7.83 Conjecture not found
% 13.20/7.85 Conjecture not found
% 13.32/7.89 Conjecture not found
% 13.32/7.91 Conjecture not found
% 13.32/7.92 Conjecture not found
% 13.32/7.93 Conjecture not found
% 13.39/7.96 Conjecture not found
% 13.41/7.98 Conjecture not found
% 13.41/8.02 Conjecture not found
% 13.60/8.04 Conjecture not found
% 13.60/8.05 Conjecture not found
% 13.63/8.06 Conjecture not found
% 13.63/8.07 Conjecture not found
% 13.81/8.13 Conjecture not found
% 13.85/8.17 Conjecture not found
% 13.85/8.18 Conjecture not found
% 13.85/8.21 Conjecture not found
% 13.99/8.25 Conjecture not found
% 14.07/8.27 Conjecture not found
% 14.07/8.30 Conjecture not found
% 14.07/8.31 Conjecture not found
% 14.07/8.32 Conjecture not found
% 14.13/8.35 Conjecture not found
% 14.13/8.37 Conjecture not found
% 14.30/8.39 Conjecture not found
% 14.30/8.40 Conjecture not found
% 14.30/8.43 Conjecture not found
% 14.30/8.43 Conjecture not found
% 14.37/8.44 Conjecture not found
% 14.37/8.44 Conjecture not found
% 14.37/8.48 Conjecture not found
% 14.61/8.59 Conjecture not found
% 14.61/8.60 Conjecture not found
% 14.67/8.63 Conjecture not found
% 14.67/8.65 Conjecture not found
% 14.71/8.67 Conjecture not found
% 14.71/8.71 Conjecture not found
% 14.71/8.73 Conjecture not found
% 14.91/8.77 Conjecture not found
% 14.95/8.82 Conjecture not found
% 15.03/8.85 Conjecture not found
% 15.17/8.90 Conjecture not found
% 15.25/8.96 Conjecture not found
% 15.53/9.08 Conjecture not found
% 15.57/9.13 Conjecture not found
% 15.72/9.21 Conjecture not found
% 15.81/9.22 Conjecture not found
% 15.81/9.24 Conjecture not found
% 15.87/9.28 Conjecture not found
% 15.87/9.34 Conjecture not found
% 16.09/9.36 Conjecture not found
% 16.11/9.41 Conjecture not found
% 16.30/9.49 Conjecture not found
% 16.41/9.55 Conjecture not found
% 16.48/9.59 Conjecture not found
% 16.48/9.65 Conjecture not found
% 16.70/9.66 Conjecture not found
% 16.74/9.70 Conjecture not found
% 16.74/9.73 Conjecture not found
% 16.77/9.79 Conjecture not found
% 17.04/9.85 Conjecture not found
% 17.04/9.87 Conjecture not found
% 17.25/9.91 Conjecture not found
% 17.25/9.93 Conjecture not found
% 17.31/9.96 Conjecture not found
% 17.37/10.03 Conjecture not found
% 17.50/10.12 Conjecture not found
% 17.50/10.14 Conjecture not found
% 17.66/10.18 Conjecture not found
% 18.04/10.38 Conjecture not found
% 18.30/10.47 Conjecture not found
% 18.34/10.51 Conjecture not found
% 18.34/10.53 Conjecture not found
% 18.37/10.54 Conjecture not found
% 18.37/10.55 Conjecture not found
% 18.63/10.64 Conjecture not found
% 18.69/10.70 Conjecture not found
% 18.95/10.78 Conjecture not found
% 18.99/10.83 Conjecture not found
% 19.01/10.85 Conjecture not found
% 19.33/10.98 Conjecture not found
% 19.33/11.03 Conjecture not found
% 19.41/11.07 Conjecture not found
% 19.43/11.13 Conjecture not found
% 19.65/11.19 Conjecture not found
% 19.65/11.21 Conjecture not found
% 19.73/11.25 Conjecture not found
% 19.73/11.26 Conjecture not found
% 19.73/11.28 Conjecture not found
% 19.78/11.32 Conjecture not found
% 19.84/11.34 Conjecture not found
% 19.92/11.38 Conjecture not found
% 20.10/11.41 Conjecture not found
% 20.14/11.49 Conjecture not found
% 20.14/11.50 Conjecture not found
% 20.14/11.52 Conjecture not found
% 20.22/11.54 Conjecture not found
% 20.54/11.70 Conjecture not found
% 20.54/11.71 Conjecture not found
% 20.60/11.74 Conjecture not found
% 20.60/11.75 Conjecture not found
% 20.60/11.75 Conjecture not found
% 20.60/11.76 Conjecture not found
% 20.63/11.77 Conjecture not found
% 20.90/11.85 Conjecture not found
% 20.90/11.86 Conjecture not found
% 20.93/11.88 Conjecture not found
% 20.99/11.95 Conjecture not found
% 21.28/12.04 Conjecture not found
% 21.32/12.11 Conjecture not found
% 21.32/12.13 Conjecture not found
% 21.73/12.28 Conjecture not found
% 21.83/12.42 Conjecture not found
% 22.12/12.46 Conjecture not found
% 22.19/12.53 Conjecture not found
% 22.19/12.55 Conjecture not found
% 22.19/12.56 Conjecture not found
% 22.29/12.63 Conjecture not found
% 22.59/12.74 Conjecture not found
% 22.63/12.80 Conjecture not found
% 22.63/12.83 Conjecture not found
% 23.00/12.98 Conjecture not found
% 23.07/13.03 Conjecture not found
% 23.07/13.04 Conjecture not found
% 23.11/13.09 Conjecture not found
% 23.11/13.13 Conjecture not found
% 23.21/13.15 Conjecture not found
% 23.42/13.20 Conjecture not found
% 23.50/13.26 Conjecture not found
% 23.50/13.28 Conjecture not found
% 23.50/13.29 Conjecture not found
% 23.62/13.37 Conjecture not found
% 23.75/13.43 Conjecture not found
% 23.75/13.43 Conjecture not found
% 23.75/13.46 Conjecture not found
% 23.91/13.49 Conjecture not found
% 23.95/13.51 Conjecture not found
% 23.97/13.54 Conjecture not found
% 24.26/13.63 Conjecture not found
% 24.26/13.66 Conjecture not found
% 24.33/13.72 Conjecture not found
% 24.42/13.78 Conjecture not found
% 24.72/13.90 Conjecture not found
% 24.72/13.92 Conjecture not found
% 24.81/13.98 Conjecture not found
% 24.81/14.00 Conjecture not found
% 24.87/14.01 Conjecture not found
% 24.87/14.01 Conjecture not found
% 24.87/14.02 Conjecture not found
% 24.87/14.04 Conjecture not found
% 24.87/14.05 Conjecture not found
% 25.03/14.13 Conjecture not found
% 25.26/14.17 Conjecture not found
% 25.30/14.21 Conjecture not found
% 25.57/14.24 Conjecture not found
% 25.57/14.25 Conjecture not found
% 25.57/14.29 Conjecture not found
% 25.57/14.30 Conjecture not found
% 25.64/14.31 Conjecture not found
% 25.64/14.36 Conjecture not found
% 25.70/14.37 Conjecture not found
% 25.70/14.41 Conjecture not found
% 26.04/14.46 Conjecture not found
% 26.04/14.47 Conjecture not found
% 26.04/14.50 Conjecture not found
% 26.49/14.72 Conjecture not found
% 26.58/14.78 Conjecture not found
% 26.58/14.79 Conjecture not found
% 26.94/14.89 Conjecture not found
% 26.99/14.91 Conjecture not found
% 27.03/14.95 Conjecture not found
% 27.03/14.98 Conjecture not found
% 27.32/15.07 Conjecture not found
% 27.32/15.09 Conjecture not found
% 27.32/15.10 Conjecture not found
% 27.45/15.12 Conjecture not found
% 27.45/15.14 Conjecture not found
% 27.45/15.17 Conjecture not found
% 27.51/15.23 Conjecture not found
% 27.51/15.25 Conjecture not found
% 27.86/15.26 Conjecture not found
% 27.86/15.27 Conjecture not found
% 27.88/15.32 Conjecture not found
% 27.92/15.33 Conjecture not found
% 27.94/15.38 Conjecture not found
% 28.22/15.50 Conjecture not found
% 28.22/15.55 Conjecture not found
% 28.43/15.57 Conjecture not found
% 28.43/15.58 Conjecture not found
% 28.45/15.59 Conjecture not found
% 28.45/15.62 Conjecture not found
% 28.45/15.64 Conjecture not found
% 28.51/15.64 Conjecture not found
% 28.52/15.66 Conjecture not found
% 28.52/15.72 Conjecture not found
% 28.92/15.78 Conjecture not found
% 28.92/15.81 Conjecture not found
% 28.92/15.83 Conjecture not found
% 29.01/15.91 Conjecture not found
% 29.11/15.95 Conjecture not found
% 29.37/15.97 Conjecture not found
% 29.46/16.07 Conjecture not found
% 29.50/16.09 Conjecture not found
% 29.50/16.13 Conjecture not found
% 29.57/16.16 Conjecture not found
% 29.57/16.17 Conjecture not found
% 29.61/16.19 Conjecture not found
% 29.61/16.22 Conjecture not found
% 29.61/16.24 Conjecture not found
% 29.98/16.32 Conjecture not found
% 29.98/16.33 Conjecture not found
% 30.04/16.33 Conjecture not found
% 30.06/16.36 Conjecture not found
% 30.06/16.38 Conjecture not found
% 30.34/16.44 Conjecture not found
% 30.42/16.47 Conjecture not found
% 30.42/16.51 Conjecture not found
% 30.42/16.54 Conjecture not found
% 30.53/16.58 Conjecture not found
% 30.53/16.60 Conjecture not found
% 30.59/16.64 Conjecture not found
% 30.61/16.66 Conjecture not found
% 30.61/16.67 Conjecture not found
% 30.61/16.68 Conjecture not found
% 30.94/16.74 Conjecture not found
% 31.02/16.80 Conjecture not found
% 31.02/16.84 Conjecture not found
% 31.12/16.88 Conjecture not found
% 31.12/16.88 Conjecture not found
% 31.17/16.94 Conjecture not found
% 31.19/16.99 Conjecture not found
% 31.54/17.03 Conjecture not found
% 31.54/17.06 Conjecture not found
% 31.63/17.10 Conjecture not found
% 31.63/17.13 Conjecture not found
% 31.63/17.14 Conjecture not found
% 31.71/17.16 Conjecture not found
% 31.73/17.19 Conjecture not found
% 31.73/17.21 Conjecture not found
% 31.78/17.23 Conjecture not found
% 31.82/17.28 Conjecture not found
% 32.19/17.37 Conjecture not found
% 32.31/17.50 Conjecture not found
% 32.36/17.52 Conjecture not found
% 32.40/17.56 Conjecture not found
% 32.67/17.66 Conjecture not found
% 32.93/17.78 Conjecture not found
% 32.99/17.82 Conjecture not found
% 33.04/17.88 Conjecture not found
% 33.04/17.90 Conjecture not found
% 33.04/17.91 Conjecture not found
% 33.04/17.94 Conjecture not found
% 33.39/17.97 Conjecture not found
% 33.48/18.00 Conjecture not found
% 33.52/18.03 Conjecture not found
% 33.52/18.04 Conjecture not found
% 33.52/18.07 Conjecture not found
% 33.52/18.08 Conjecture not found
% 33.58/18.12 Conjecture not found
% 33.64/18.19 Conjecture not found
% 33.64/18.22 Conjecture not found
% 33.64/18.25 Conjecture not found
% 34.08/18.30 Conjecture not found
% 34.08/18.32 Conjecture not found
% 34.23/18.43 Conjecture not found
% 34.29/18.52 Conjecture not found
% 34.29/18.55 Conjecture not found
% 34.37/18.56 Conjecture not found
% 34.76/18.70 Conjecture not found
% 34.85/18.75 Conjecture not found
% 34.91/18.79 Conjecture not found
% 34.91/18.82 Conjecture not found
% 34.91/18.83 Conjecture not found
% 35.01/18.89 Conjecture not found
% 35.01/18.90 Conjecture not found
% 35.01/18.91 Conjecture not found
% 35.16/18.97 Conjecture not found
% 35.16/19.01 Conjecture not found
% 35.16/19.02 Conjecture not found
% 35.16/19.03 Conjecture not found
% 35.50/19.04 Conjecture not found
% 35.50/19.08 Conjecture not found
% 35.54/19.11 Conjecture not found
% 35.60/19.14 Conjecture not found
% 35.62/19.18 Conjecture not found
% 36.14/19.34 Conjecture not found
% 36.14/19.35 Conjecture not found
% 36.14/19.37 Conjecture not found
% 36.19/19.39 Conjecture not found
% 36.19/19.40 Conjecture not found
% 36.19/19.42 Conjecture not found
% 36.19/19.43 Conjecture not found
% 36.28/19.51 Conjecture not found
% 36.28/19.52 Conjecture not found
% 36.33/19.55 Conjecture not found
% 36.62/19.61 Conjecture not found
% 36.62/19.63 Conjecture not found
% 36.82/19.65 Conjecture not found
% 36.85/19.68 Conjecture not found
% 36.85/19.69 Conjecture not found
% 36.85/19.72 Conjecture not found
% 36.94/19.77 Conjecture not found
% 36.94/19.79 Conjecture not found
% 37.00/19.83 Conjecture not found
% 37.00/19.84 Conjecture not found
% 37.00/19.86 Conjecture not found
% 37.15/19.89 Conjecture not found
% 37.47/19.96 Conjecture not found
% 37.51/20.02 Conjecture not found
% 37.61/20.08 Conjecture not found
% 37.68/20.15 Conjecture not found
% 37.71/20.19 Conjecture not found
% 37.71/20.20 Conjecture not found
% 37.77/20.23 Conjecture not found
% 37.90/20.33 Conjecture not found
% 38.24/20.36 Conjecture not found
% 38.27/20.39 Conjecture not found
% 38.32/20.43 Conjecture not found
% 38.32/20.45 Conjecture not found
% 38.35/20.49 Conjecture not found
% 38.35/20.52 Conjecture not found
% 38.43/20.54 Conjecture not found
% 38.70/20.59 Conjecture not found
% 38.70/20.65 Conjecture not found
% 38.93/20.67 Conjecture not found
% 38.96/20.69 Conjecture not found
% 38.96/20.72 Conjecture not found
% 39.00/20.73 Conjecture not found
% 39.01/20.77 Conjecture not found
% 39.01/20.81 Conjecture not found
% 39.08/20.86 Conjecture not found
% 39.08/20.87 Conjecture not found
% 39.14/20.90 Conjecture not found
% 39.14/20.93 Conjecture not found
% 39.58/21.00 Conjecture not found
% 39.69/21.03 Conjecture not found
% 39.70/21.07 Conjecture not found
% 39.70/21.08 Conjecture not found
% 39.70/21.10 Conjecture not found
% 39.79/21.14 Conjecture not found
% 39.79/21.15 Conjecture not found
% 39.79/21.18 Conjecture not found
% 39.86/21.23 Conjecture not found
% 39.86/21.23 Conjecture not found
% 39.95/21.30 Conjecture not found
% 39.97/21.31 Conjecture not found
% 39.99/21.33 Conjecture not found
% 39.99/21.37 Conjecture not found
% 40.47/21.45 Conjecture not found
% 40.47/21.47 Conjecture not found
% 40.55/21.50 Conjecture not found
% 40.55/21.53 Conjecture not found
% 40.55/21.54 Conjecture not found
% 40.64/21.59 Conjecture not found
% 40.69/21.64 Conjecture not found
% 40.78/21.74 Conjecture not found
% 40.78/21.76 Conjecture not found
% 40.78/21.79 Conjecture not found
% 41.11/21.81 Conjecture not found
% 41.33/21.93 Conjecture not found
% 41.33/21.94 Conjecture not found
% 41.33/21.96 Conjecture not found
% 41.44/22.00 Conjecture not found
% 41.48/22.08 Conjecture not found
% 41.56/22.11 Conjecture not found
% 42.16/22.29 Conjecture not found
% 42.16/22.30 Conjecture not found
% 42.24/22.36 Conjecture not found
% 42.24/22.36 Conjecture not found
% 42.24/22.37 Conjecture not found
% 42.24/22.38 Conjecture not found
% 42.30/22.42 Conjecture not found
% 42.34/22.46 Conjecture not found
% 42.34/22.48 Conjecture not found
% 42.34/22.50 Conjecture not found
% 42.34/22.53 Conjecture not found
% 42.77/22.63 Conjecture not found
% 42.99/22.64 Conjecture not found
% 43.00/22.67 Conjecture not found
% 43.06/22.71 Conjecture not found
% 43.06/22.74 Conjecture not found
% 43.10/22.79 Conjecture not found
% 43.10/22.81 Conjecture not found
% 43.10/22.84 Conjecture not found
% 43.21/22.86 Conjecture not found
% 43.26/22.94 Conjecture not found
% 43.48/23.00 Conjecture not found
% 43.48/23.02 Conjecture not found
% 43.48/23.05 Conjecture not found
% 43.88/23.08 Conjecture not found
% 43.91/23.09 Conjecture not found
% 43.91/23.10 Conjecture not found
% 43.91/23.12 Conjecture not found
% 43.97/23.19 Conjecture not found
% 44.03/23.22 Conjecture not found
% 44.03/23.23 Conjecture not found
% 44.03/23.26 Conjecture not found
% 44.11/23.28 Conjecture not found
% 44.11/23.32 Conjecture not found
% 44.65/23.37 Conjecture not found
% 44.65/23.38 Conjecture not found
% 44.69/23.39 Conjecture not found
% 44.69/23.43 Conjecture not found
% 44.69/23.46 Conjecture not found
% 44.77/23.49 Conjecture not found
% 44.77/23.52 Conjecture not found
% 44.77/23.52 Conjecture not found
% 44.84/23.55 Conjecture not found
% 44.84/23.56 Conjecture not found
% 44.86/23.58 Conjecture not found
% 44.93/23.64 Conjecture not found
% 44.93/23.66 Conjecture not found
% 44.96/23.66 Conjecture not found
% 44.96/23.67 Conjecture not found
% 44.96/23.69 Conjecture not found
% 44.96/23.72 Conjecture not found
% 45.26/23.75 Conjecture not found
% 45.54/23.80 Conjecture not found
% 45.54/23.82 Conjecture not found
% 45.62/23.84 Conjecture not found
% 45.66/23.88 Conjecture not found
% 45.66/23.90 Conjecture not found
% 45.66/23.91 Conjecture not found
% 45.72/23.93 Conjecture not found
% 45.72/23.98 Conjecture not found
% 45.77/23.99 Conjecture not found
% 45.85/24.08 Conjecture not found
% 45.85/24.08 Conjecture not found
% 45.85/24.09 Conjecture not found
% 46.54/24.27 Conjecture not found
% 46.54/24.29 Conjecture not found
% 46.54/24.32 Conjecture not found
% 46.54/24.33 Conjecture not found
% 46.63/24.38 Conjecture not found
% 46.67/24.42 Conjecture not found
% 46.74/24.46 Conjecture not found
% 46.74/24.50 Conjecture not found
% 46.81/24.53 Conjecture not found
% 47.45/24.70 Conjecture not found
% 47.45/24.70 Conjecture not found
% 47.50/24.77 Conjecture not found
% 47.50/24.79 Conjecture not found
% 47.58/24.82 Conjecture not found
% 47.58/24.83 Conjecture not found
% 47.58/24.84 Conjecture not found
% 47.58/24.85 Conjecture not found
% 47.64/24.88 Conjecture not found
% 47.64/24.90 Conjecture not found
% 47.64/24.91 Conjecture not found
% 47.64/24.93 Conjecture not found
% 47.64/24.96 Conjecture not found
% 47.73/24.97 Conjecture not found
% 47.75/25.00 Conjecture not found
% 47.79/25.02 Conjecture not found
% 48.42/25.14 Conjecture not found
% 48.42/25.19 Conjecture not found
% 48.49/25.22 Conjecture not found
% 48.57/25.26 Conjecture not found
% 48.60/25.30 Conjecture not found
% 48.64/25.35 Conjecture not found
% 48.64/25.37 Conjecture not found
% 48.64/25.38 Conjecture not found
% 48.64/25.42 Conjecture not found
% 48.79/25.50 Conjecture not found
% 49.73/25.92 Conjecture not found
% 49.73/25.94 Conjecture not found
% 49.77/25.98 Conjecture not found
% 49.77/26.01 Conjecture not found
% 49.77/26.03 Conjecture not found
% 49.94/26.05 Conjecture not found
% 49.94/26.07 Conjecture not found
% 50.33/26.09 Conjecture not found
% 50.33/26.11 Conjecture not found
% 50.33/26.12 Conjecture not found
% 50.50/26.15 Conjecture not found
% 50.52/26.20 Conjecture not found
% 50.62/26.30 Conjecture not found
% 50.70/26.36 Conjecture not found
% 50.73/26.40 Conjecture not found
% 50.78/26.45 Conjecture not found
% 50.80/26.46 Conjecture not found
% 50.80/26.48 Conjecture not found
% 51.20/26.56 Conjecture not found
% 51.45/26.59 Conjecture not found
% 51.45/26.60 Conjecture not found
% 51.45/26.62 Conjecture not found
% 51.45/26.64 Conjecture not found
% 51.56/26.70 Conjecture not found
% 51.56/26.73 Conjecture not found
% 51.64/26.77 Conjecture not found
% 51.66/26.81 Conjecture not found
% 51.66/26.82 Conjecture not found
% 51.76/26.88 Conjecture not found
% 51.76/26.91 Conjecture not found
% 51.82/26.93 Conjecture not found
% 51.82/26.93 Conjecture not found
% 51.85/26.96 Conjecture not found
% 51.85/26.98 Conjecture not found
% 51.85/27.00 Conjecture not found
% 52.47/27.10 Conjecture not found
% 52.47/27.11 Conjecture not found
% 52.47/27.12 Conjecture not found
% 52.54/27.14 Conjecture not found
% 52.54/27.16 Conjecture not found
% 52.57/27.18 Conjecture not found
% 52.57/27.20 Conjecture not found
% 52.57/27.22 Conjecture not found
% 52.68/27.29 Conjecture not found
% 52.68/27.33 Conjecture not found
% 52.68/27.35 Conjecture not found
% 52.75/27.36 Conjecture not found
% 52.98/27.47 Conjecture not found
% 52.98/27.49 Conjecture not found
% 53.49/27.57 Conjecture not found
% 53.49/27.60 Conjecture not found
% 53.63/27.70 Conjecture not found
% 53.63/27.72 Conjecture not found
% 53.63/27.75 Conjecture not found
% 53.70/27.78 Conjecture not found
% 53.70/27.82 Conjecture not found
% 53.77/27.84 Conjecture not found
% 53.81/27.89 Conjecture not found
% 53.90/27.96 Conjecture not found
% 54.35/28.04 Conjecture not found
% 54.35/28.09 Conjecture not found
% 54.60/28.11 Conjecture not found
% 54.66/28.18 Conjecture not found
% 54.66/28.24 Conjecture not found
% 54.78/28.32 Conjecture not found
% 54.82/28.33 Conjecture not found
% 54.82/28.34 Conjecture not found
% 54.85/28.36 Conjecture not found
% 54.85/28.37 Conjecture not found
% 54.85/28.41 Conjecture not found
% 54.85/28.41 Conjecture not found
% 54.85/28.42 Conjecture not found
% 55.01/28.46 Conjecture not found
% 55.46/28.54 Conjecture not found
% 55.64/28.55 Conjecture not found
% 55.64/28.59 Conjecture not found
% 55.69/28.63 Conjecture not found
% 55.69/28.64 Conjecture not found
% 55.82/28.76 Conjecture not found
% 55.82/28.76 Conjecture not found
% 55.82/28.78 Conjecture not found
% 55.87/28.80 Conjecture not found
% 55.87/28.83 Conjecture not found
% 56.01/28.94 Conjecture not found
% 56.14/28.99 Conjecture not found
% 56.14/29.04 Conjecture not found
% 56.14/29.04 Conjecture not found
% 56.14/29.05 Conjecture not found
% 56.76/29.08 Conjecture not found
% 56.76/29.09 Conjecture not found
% 56.84/29.20 Conjecture not found
% 56.91/29.21 Conjecture not found
% 56.97/29.33 Conjecture not found
% 57.09/29.39 Conjecture not found
% 57.09/29.41 Conjecture not found
% 57.13/29.43 Conjecture not found
% 57.13/29.44 Conjecture not found
% 57.15/29.48 Conjecture not found
% 57.64/29.52 Conjecture not found
% 57.64/29.55 Conjecture not found
% 57.84/29.58 Conjecture not found
% 57.84/29.61 Conjecture not found
% 57.84/29.62 Conjecture not found
% 57.95/29.68 Conjecture not found
% 58.00/29.76 Conjecture not found
% 58.00/29.79 Conjecture not found
% 58.00/29.81 Conjecture not found
% 58.08/29.83 Conjecture not found
% 58.08/29.84 Conjecture not found
% 58.08/29.86 Conjecture not found
% 58.14/29.89 Conjecture not found
% 58.14/29.90 Conjecture not found
% 58.82/30.04 Conjecture not found
% 59.24/30.36 Conjecture not found
% 59.95/30.57 Conjecture not found
% 59.95/30.58 Conjecture not found
% 60.08/30.62 Conjecture not found
% 60.16/30.70 Conjecture not found
% 60.16/30.72 Conjecture not found
% 60.23/30.73 Conjecture not found
% 60.23/30.74 Conjecture not found
% 60.27/30.77 Conjecture not found
% 60.27/30.79 Conjecture not found
% 60.34/30.84 Conjecture not found
% 60.34/30.86 Conjecture not found
% 60.37/30.87 Conjecture not found
% 60.37/30.88 Conjecture not found
% 60.37/30.91 Conjecture not found
% 60.37/30.92 Conjecture not found
% 60.43/30.93 Conjecture not found
% 60.43/30.94 Conjecture not found
% 61.18/31.10 Conjecture not found
% 61.18/31.11 Conjecture not found
% 61.29/31.15 Conjecture not found
% 61.33/31.21 Conjecture not found
% 61.33/31.22 Conjecture not found
% 61.33/31.22 Conjecture not found
% 61.33/31.23 Conjecture not found
% 61.33/31.24 Conjecture not found
% 61.39/31.26 Conjecture not found
% 61.40/31.29 Conjecture not found
% 61.40/31.30 Conjecture not found
% 61.48/31.37 Conjecture not found
% 61.57/31.45 Conjecture not found
% 61.57/31.47 Conjecture not found
% 61.57/31.48 Conjecture not found
% 61.63/31.49 Conjecture not found
% 61.63/31.53 Conjecture not found
% 62.20/31.57 Conjecture not found
% 62.43/31.64 Conjecture not found
% 62.43/31.66 Conjecture not found
% 62.49/31.67 Conjecture not found
% 62.49/31.68 Conjecture not found
% 62.49/31.73 Conjecture not found
% 62.49/31.75 Conjecture not found
% 62.58/31.80 Conjecture not found
% 62.64/31.82 Conjecture not found
% 62.64/31.83 Conjecture not found
% 62.68/31.85 Conjecture not found
% 62.68/31.88 Conjecture not found
% 62.68/31.89 Conjecture not found
% 62.68/31.90 Conjecture not found
% 62.68/31.92 Conjecture not found
% 62.77/31.94 Conjecture not found
% 62.77/31.96 Conjecture not found
% 62.82/32.00 Conjecture not found
% 62.82/32.01 Conjecture not found
% 62.88/32.07 Conjecture not found
% 63.08/32.14 Conjecture not found
% 63.43/32.18 Conjecture not found
% 63.43/32.22 Conjecture not found
% 63.78/32.26 Conjecture not found
% 63.78/32.31 Conjecture not found
% 63.90/32.37 Conjecture not found
% 63.94/32.42 Conjecture not found
% 63.97/32.47 Conjecture not found
% 63.97/32.52 Conjecture not found
% 64.06/32.53 Conjecture not found
% 64.13/32.59 Conjecture not found
% 64.13/32.60 Conjecture not found
% 64.13/32.61 Conjecture not found
% 64.92/32.73 Conjecture not found
% 64.92/32.81 Conjecture not found
% 64.92/32.82 Conjecture not found
% 65.05/32.86 Conjecture not found
% 65.05/32.88 Conjecture not found
% 65.05/32.89 Conjecture not found
% 65.05/32.90 Conjecture not found
% 65.12/32.92 Conjecture not found
% 65.19/33.00 Conjecture not found
% 65.19/33.03 Conjecture not found
% 65.19/33.05 Conjecture not found
% 65.28/33.08 Conjecture not found
% 65.32/33.12 Conjecture not found
% 65.33/33.16 Conjecture not found
% 65.33/33.17 Conjecture not found
% 65.33/33.19 Conjecture not found
% 65.41/33.23 Conjecture not found
% 65.66/33.30 Conjecture not found
% 66.29/33.40 Conjecture not found
% 66.29/33.41 Conjecture not found
% 66.35/33.46 Conjecture not found
% 66.35/33.49 Conjecture not found
% 66.35/33.50 Conjecture not found
% 66.44/33.53 Conjecture not found
% 66.44/33.54 Conjecture not found
% 66.44/33.56 Conjecture not found
% 66.51/33.61 Conjecture not found
% 66.51/33.62 Conjecture not found
% 66.51/33.63 Conjecture not found
% 66.51/33.65 Conjecture not found
% 66.51/33.66 Conjecture not found
% 66.51/33.66 Conjecture not found
% 66.58/33.67 Conjecture not found
% 66.66/33.75 Conjecture not found
% 67.40/33.86 Conjecture not found
% 67.40/33.87 Conjecture not found
% 67.40/33.88 Conjecture not found
% 67.54/33.90 Conjecture not found
% 67.54/33.93 Conjecture not found
% 67.61/33.97 Conjecture not found
% 67.69/34.10 Conjecture not found
% 67.82/34.18 Conjecture not found
% 67.82/34.20 Conjecture not found
% 67.82/34.22 Conjecture not found
% 67.92/34.29 Conjecture not found
% 67.92/34.30 Conjecture not found
% 68.39/34.38 Conjecture not found
% 68.39/34.40 Conjecture not found
% 68.39/34.41 Conjecture not found
% 68.39/34.42 Conjecture not found
% 68.83/34.45 Conjecture not found
% 68.83/34.47 Conjecture not found
% 68.88/34.48 Conjecture not found
% 68.88/34.50 Conjecture not found
% 68.88/34.51 Conjecture not found
% 68.88/34.53 Conjecture not found
% 68.88/34.53 Conjecture not found
% 68.98/34.59 Conjecture not found
% 69.05/34.67 Conjecture not found
% 69.11/34.72 Conjecture not found
% 69.16/34.77 Conjecture not found
% 69.25/34.87 Conjecture not found
% 69.28/34.92 Conjecture not found
% 69.33/34.93 Conjecture not found
% 69.41/35.04 Conjecture not found
% 69.41/35.07 Conjecture not found
% 69.69/35.11 Conjecture not found
% 69.69/35.16 Conjecture not found
% 70.33/35.21 Conjecture not found
% 70.36/35.24 Conjecture not found
% 70.76/35.67 Conjecture not found
% 70.76/35.70 Conjecture not found
% 70.84/35.72 Conjecture not found
% 71.34/35.80 Conjecture not found
% 71.45/35.91 Conjecture not found
% 71.79/35.92 Conjecture not found
% 71.79/35.98 Conjecture not found
% 71.87/36.00 Conjecture not found
% 71.87/36.04 Conjecture not found
% 71.87/36.06 Conjecture not found
% 71.96/36.08 Conjecture not found
% 71.97/36.10 Conjecture not found
% 71.99/36.14 Conjecture not found
% 71.99/36.17 Conjecture not found
% 71.99/36.19 Conjecture not found
% 71.99/36.20 Start search
% 179.90/62.07 nb_step : 1 - limit : 175789
% 181.58/62.89 Launch Gotab with destructive = true
%------------------------------------------------------------------------------