TSTP Solution File: SEU445+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU445+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n017.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:17 EDT 2022
% Result : Timeout 300.16s 95.93s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : SEU445+4 : TPTP v8.1.0. Released v3.4.0.
% 0.13/0.14 % Command : goeland -dmt -presko -proof %s
% 0.14/0.35 % Computer : n017.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 300
% 0.14/0.35 % DateTime : Sat Sep 3 14:17:18 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.36 [DMT] DMT loaded with preskolemization
% 0.14/0.36 [EQ] equality loaded.
% 0.14/0.36 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 0.21/0.44 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.46 Conjecture not found
% 0.21/0.47 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.52 Conjecture not found
% 0.21/0.52 Conjecture not found
% 0.21/0.52 Conjecture not found
% 0.21/0.54 Conjecture not found
% 0.48/0.58 Conjecture not found
% 0.51/0.60 Conjecture not found
% 0.51/0.61 Conjecture not found
% 0.51/0.62 Conjecture not found
% 0.51/0.64 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.75/0.71 Conjecture not found
% 0.84/0.79 Conjecture not found
% 0.84/0.80 Conjecture not found
% 1.08/0.89 Conjecture not found
% 1.17/0.94 Conjecture not found
% 1.30/1.03 Conjecture not found
% 1.30/1.06 Conjecture not found
% 1.41/1.15 Conjecture not found
% 1.59/1.19 Conjecture not found
% 1.74/1.25 Conjecture not found
% 1.74/1.28 Conjecture not found
% 1.74/1.31 Conjecture not found
% 1.74/1.33 Conjecture not found
% 1.90/1.35 Conjecture not found
% 1.90/1.36 Conjecture not found
% 1.90/1.37 Conjecture not found
% 2.12/1.48 Conjecture not found
% 2.18/1.51 Conjecture not found
% 2.18/1.51 Conjecture not found
% 2.18/1.53 Conjecture not found
% 2.18/1.53 Conjecture not found
% 2.25/1.54 Conjecture not found
% 2.25/1.54 Conjecture not found
% 2.25/1.55 Conjecture not found
% 2.25/1.55 Conjecture not found
% 2.38/1.64 Conjecture not found
% 2.38/1.69 Conjecture not found
% 2.38/1.69 Conjecture not found
% 2.38/1.70 Conjecture not found
% 2.51/1.71 Conjecture not found
% 2.51/1.75 Conjecture not found
% 2.60/1.77 Conjecture not found
% 2.61/1.79 Conjecture not found
% 2.67/1.81 Conjecture not found
% 2.70/1.83 Conjecture not found
% 2.70/1.86 Conjecture not found
% 2.70/1.87 Conjecture not found
% 2.70/1.88 Conjecture not found
% 2.84/1.92 Conjecture not found
% 2.84/1.98 Conjecture not found
% 3.00/2.04 Conjecture not found
% 3.00/2.05 Conjecture not found
% 3.16/2.08 Conjecture not found
% 3.18/2.11 Conjecture not found
% 3.20/2.14 Conjecture not found
% 3.20/2.16 Conjecture not found
% 3.20/2.19 Conjecture not found
% 3.39/2.31 Conjecture not found
% 3.57/2.35 Conjecture not found
% 3.57/2.37 Conjecture not found
% 3.57/2.39 Conjecture not found
% 3.70/2.40 Conjecture not found
% 3.70/2.42 Conjecture not found
% 4.05/2.66 Conjecture not found
% 4.05/2.69 Conjecture not found
% 4.18/2.71 Conjecture not found
% 4.42/2.84 Conjecture not found
% 4.42/2.85 Conjecture not found
% 4.42/2.88 Conjecture not found
% 4.42/2.90 Conjecture not found
% 4.61/2.94 Conjecture not found
% 4.73/3.02 Conjecture not found
% 4.84/3.09 Conjecture not found
% 4.97/3.17 Conjecture not found
% 5.13/3.24 Conjecture not found
% 5.13/3.26 Conjecture not found
% 5.25/3.32 Conjecture not found
% 5.25/3.32 Conjecture not found
% 5.25/3.34 Conjecture not found
% 5.38/3.37 Conjecture not found
% 5.39/3.39 Conjecture not found
% 5.39/3.40 Conjecture not found
% 5.52/3.50 Conjecture not found
% 5.52/3.51 Conjecture not found
% 5.59/3.55 Conjecture not found
% 5.69/3.63 Conjecture not found
% 5.98/3.73 Conjecture not found
% 6.25/3.90 Conjecture not found
% 6.77/4.14 Conjecture not found
% 7.41/4.52 Conjecture not found
% 7.41/4.54 Conjecture not found
% 7.56/4.56 Conjecture not found
% 7.71/4.66 Conjecture not found
% 7.71/4.70 Conjecture not found
% 7.87/4.74 Conjecture not found
% 8.00/4.84 Conjecture not found
% 8.06/4.90 Conjecture not found
% 8.23/4.98 Conjecture not found
% 8.35/5.02 Conjecture not found
% 8.40/5.05 Conjecture not found
% 8.40/5.06 Conjecture not found
% 8.40/5.09 Conjecture not found
% 8.40/5.10 Conjecture not found
% 8.57/5.19 Conjecture not found
% 8.86/5.28 Conjecture not found
% 8.90/5.35 Conjecture not found
% 9.09/5.44 Conjecture not found
% 9.09/5.46 Conjecture not found
% 9.25/5.50 Conjecture not found
% 9.25/5.54 Conjecture not found
% 9.25/5.55 Conjecture not found
% 9.25/5.57 Conjecture not found
% 9.33/5.59 Conjecture not found
% 9.33/5.61 Conjecture not found
% 9.33/5.65 Conjecture not found
% 9.33/5.65 Conjecture not found
% 9.33/5.68 Conjecture not found
% 9.54/5.70 Conjecture not found
% 9.57/5.75 Conjecture not found
% 9.57/5.79 Conjecture not found
% 9.57/5.82 Conjecture not found
% 9.76/5.86 Conjecture not found
% 10.10/6.07 Conjecture not found
% 10.18/6.14 Conjecture not found
% 10.18/6.15 Conjecture not found
% 10.18/6.17 Conjecture not found
% 10.40/6.20 Conjecture not found
% 10.42/6.24 Conjecture not found
% 10.42/6.29 Conjecture not found
% 10.42/6.30 Conjecture not found
% 10.60/6.33 Conjecture not found
% 10.60/6.34 Conjecture not found
% 10.78/6.48 Conjecture not found
% 11.87/7.06 Conjecture not found
% 12.98/7.70 Conjecture not found
% 13.16/7.86 Conjecture not found
% 13.30/7.92 Conjecture not found
% 13.30/7.94 Conjecture not found
% 13.38/7.98 Conjecture not found
% 13.56/8.05 Conjecture not found
% 13.56/8.07 Conjecture not found
% 13.56/8.09 Conjecture not found
% 13.63/8.14 Conjecture not found
% 13.67/8.19 Conjecture not found
% 13.87/8.25 Conjecture not found
% 13.87/8.28 Conjecture not found
% 13.91/8.29 Conjecture not found
% 13.91/8.32 Conjecture not found
% 14.08/8.38 Conjecture not found
% 14.14/8.44 Conjecture not found
% 14.32/8.52 Conjecture not found
% 14.42/8.59 Conjecture not found
% 14.46/8.61 Conjecture not found
% 14.55/8.66 Conjecture not found
% 14.55/8.70 Conjecture not found
% 14.55/8.73 Conjecture not found
% 14.72/8.77 Conjecture not found
% 14.79/8.81 Conjecture not found
% 14.79/8.83 Conjecture not found
% 14.98/8.90 Conjecture not found
% 15.05/8.97 Conjecture not found
% 15.05/9.01 Conjecture not found
% 15.05/9.02 Conjecture not found
% 15.29/9.04 Conjecture not found
% 15.29/9.05 Conjecture not found
% 15.29/9.06 Conjecture not found
% 15.29/9.08 Conjecture not found
% 15.29/9.09 Conjecture not found
% 15.44/9.13 Conjecture not found
% 15.44/9.14 Conjecture not found
% 15.56/9.20 Conjecture not found
% 15.58/9.21 Conjecture not found
% 15.58/9.24 Conjecture not found
% 15.58/9.29 Conjecture not found
% 15.58/9.30 Conjecture not found
% 15.80/9.31 Conjecture not found
% 15.80/9.33 Conjecture not found
% 15.80/9.35 Conjecture not found
% 15.80/9.39 Conjecture not found
% 15.96/9.41 Conjecture not found
% 15.96/9.47 Conjecture not found
% 16.13/9.51 Conjecture not found
% 16.13/9.54 Conjecture not found
% 16.13/9.58 Conjecture not found
% 16.13/9.59 Conjecture not found
% 16.36/9.63 Conjecture not found
% 16.36/9.68 Conjecture not found
% 16.36/9.69 Conjecture not found
% 16.45/9.71 Conjecture not found
% 16.45/9.72 Conjecture not found
% 16.45/9.74 Conjecture not found
% 16.45/9.74 Conjecture not found
% 16.45/9.76 Conjecture not found
% 16.45/9.77 Conjecture not found
% 16.68/9.82 Conjecture not found
% 16.76/9.94 Conjecture not found
% 16.76/9.96 Conjecture not found
% 17.00/9.99 Conjecture not found
% 17.03/10.02 Conjecture not found
% 17.03/10.04 Conjecture not found
% 17.03/10.09 Conjecture not found
% 17.12/10.12 Conjecture not found
% 17.12/10.17 Conjecture not found
% 17.35/10.23 Conjecture not found
% 17.35/10.27 Conjecture not found
% 17.46/10.31 Conjecture not found
% 17.59/10.36 Conjecture not found
% 17.88/10.49 Conjecture not found
% 18.02/10.58 Conjecture not found
% 18.07/10.63 Conjecture not found
% 18.07/10.64 Conjecture not found
% 18.09/10.68 Conjecture not found
% 18.09/10.71 Conjecture not found
% 18.31/10.74 Conjecture not found
% 18.31/10.76 Conjecture not found
% 18.36/10.87 Conjecture not found
% 18.65/10.94 Conjecture not found
% 18.70/10.99 Conjecture not found
% 18.93/11.06 Conjecture not found
% 18.98/11.11 Conjecture not found
% 18.98/11.13 Conjecture not found
% 19.05/11.20 Conjecture not found
% 19.30/11.26 Conjecture not found
% 19.30/11.33 Conjecture not found
% 19.62/11.45 Conjecture not found
% 19.62/11.46 Conjecture not found
% 19.70/11.48 Conjecture not found
% 19.70/11.50 Conjecture not found
% 19.70/11.52 Conjecture not found
% 20.01/11.64 Conjecture not found
% 20.05/11.71 Conjecture not found
% 20.05/11.72 Conjecture not found
% 20.22/11.77 Conjecture not found
% 20.84/12.05 Conjecture not found
% 20.88/12.12 Conjecture not found
% 21.08/12.18 Conjecture not found
% 21.17/12.22 Conjecture not found
% 21.17/12.25 Conjecture not found
% 21.22/12.27 Conjecture not found
% 21.31/12.35 Conjecture not found
% 21.50/12.44 Conjecture not found
% 21.67/12.53 Conjecture not found
% 21.72/12.59 Conjecture not found
% 21.72/12.65 Conjecture not found
% 22.07/12.76 Conjecture not found
% 22.23/12.85 Conjecture not found
% 22.37/12.89 Conjecture not found
% 22.37/12.94 Conjecture not found
% 22.47/12.97 Conjecture not found
% 22.47/12.98 Conjecture not found
% 22.50/13.01 Conjecture not found
% 22.75/13.03 Conjecture not found
% 22.77/13.06 Conjecture not found
% 22.77/13.12 Conjecture not found
% 22.84/13.14 Conjecture not found
% 22.84/13.16 Conjecture not found
% 22.90/13.18 Conjecture not found
% 23.17/13.31 Conjecture not found
% 23.21/13.32 Conjecture not found
% 23.23/13.35 Conjecture not found
% 23.23/13.39 Conjecture not found
% 23.38/13.55 Conjecture not found
% 23.64/13.59 Conjecture not found
% 23.73/13.67 Conjecture not found
% 23.73/13.69 Conjecture not found
% 23.73/13.69 Conjecture not found
% 23.73/13.70 Conjecture not found
% 23.73/13.71 Conjecture not found
% 23.95/13.79 Conjecture not found
% 23.95/13.81 Conjecture not found
% 23.95/13.82 Conjecture not found
% 24.17/13.92 Conjecture not found
% 24.22/14.03 Conjecture not found
% 24.64/14.17 Conjecture not found
% 24.64/14.19 Conjecture not found
% 24.74/14.30 Conjecture not found
% 25.13/14.44 Conjecture not found
% 25.15/14.46 Conjecture not found
% 25.43/14.52 Conjecture not found
% 25.43/14.55 Conjecture not found
% 25.48/14.57 Conjecture not found
% 25.56/14.67 Conjecture not found
% 25.63/14.74 Conjecture not found
% 25.80/14.80 Conjecture not found
% 25.80/14.82 Conjecture not found
% 25.98/14.91 Conjecture not found
% 26.28/14.96 Conjecture not found
% 26.28/14.99 Conjecture not found
% 26.36/15.05 Conjecture not found
% 26.40/15.10 Conjecture not found
% 26.40/15.11 Conjecture not found
% 26.47/15.15 Conjecture not found
% 26.82/15.27 Conjecture not found
% 26.86/15.31 Conjecture not found
% 26.86/15.33 Conjecture not found
% 26.96/15.39 Conjecture not found
% 27.04/15.46 Conjecture not found
% 27.04/15.47 Conjecture not found
% 27.32/15.56 Conjecture not found
% 27.36/15.61 Conjecture not found
% 27.44/15.64 Conjecture not found
% 27.47/15.68 Conjecture not found
% 27.58/15.74 Conjecture not found
% 27.76/15.77 Conjecture not found
% 27.88/15.87 Conjecture not found
% 27.92/15.94 Conjecture not found
% 28.25/16.03 Conjecture not found
% 28.33/16.07 Conjecture not found
% 28.41/16.15 Conjecture not found
% 28.41/16.17 Conjecture not found
% 28.47/16.19 Conjecture not found
% 28.47/16.19 Conjecture not found
% 28.47/16.20 Conjecture not found
% 28.47/16.22 Conjecture not found
% 28.47/16.22 Conjecture not found
% 28.87/16.33 Conjecture not found
% 28.99/16.44 Conjecture not found
% 29.05/16.52 Conjecture not found
% 29.05/16.55 Conjecture not found
% 29.11/16.56 Conjecture not found
% 29.11/16.64 Conjecture not found
% 29.47/16.67 Conjecture not found
% 29.47/16.69 Conjecture not found
% 29.55/16.76 Conjecture not found
% 29.55/16.77 Conjecture not found
% 29.61/16.81 Conjecture not found
% 29.91/16.92 Conjecture not found
% 30.02/16.97 Conjecture not found
% 30.02/17.00 Conjecture not found
% 30.56/17.26 Conjecture not found
% 30.61/17.32 Conjecture not found
% 30.61/17.34 Conjecture not found
% 31.03/17.45 Conjecture not found
% 31.03/17.47 Conjecture not found
% 31.03/17.51 Conjecture not found
% 31.03/17.54 Conjecture not found
% 31.29/17.64 Conjecture not found
% 31.29/17.67 Conjecture not found
% 31.52/17.67 Conjecture not found
% 31.52/17.69 Conjecture not found
% 31.52/17.71 Conjecture not found
% 31.52/17.74 Conjecture not found
% 31.82/17.83 Conjecture not found
% 31.93/17.86 Conjecture not found
% 31.93/17.86 Conjecture not found
% 31.93/17.86 Conjecture not found
% 31.93/17.90 Conjecture not found
% 31.93/17.91 Conjecture not found
% 32.05/17.95 Conjecture not found
% 32.40/18.06 Conjecture not found
% 32.55/18.15 Conjecture not found
% 32.57/18.18 Conjecture not found
% 32.57/18.20 Conjecture not found
% 32.57/18.22 Conjecture not found
% 32.64/18.26 Conjecture not found
% 32.68/18.29 Conjecture not found
% 32.68/18.29 Conjecture not found
% 32.89/18.35 Conjecture not found
% 33.05/18.41 Conjecture not found
% 33.15/18.46 Conjecture not found
% 33.15/18.48 Conjecture not found
% 33.15/18.50 Conjecture not found
% 33.22/18.57 Conjecture not found
% 33.35/18.63 Conjecture not found
% 33.72/18.66 Conjecture not found
% 33.81/18.75 Conjecture not found
% 33.81/18.76 Conjecture not found
% 33.84/18.81 Conjecture not found
% 33.90/18.83 Conjecture not found
% 33.90/18.85 Conjecture not found
% 34.03/18.89 Conjecture not found
% 34.29/18.95 Conjecture not found
% 34.29/18.96 Conjecture not found
% 34.42/19.08 Conjecture not found
% 34.42/19.09 Conjecture not found
% 34.42/19.09 Conjecture not found
% 34.42/19.12 Conjecture not found
% 34.63/19.17 Conjecture not found
% 34.63/19.23 Conjecture not found
% 34.63/19.25 Conjecture not found
% 34.89/19.28 Conjecture not found
% 34.93/19.31 Conjecture not found
% 35.00/19.37 Conjecture not found
% 35.00/19.39 Conjecture not found
% 35.04/19.42 Conjecture not found
% 35.17/19.47 Conjecture not found
% 35.17/19.49 Conjecture not found
% 35.17/19.51 Conjecture not found
% 35.47/19.55 Conjecture not found
% 35.53/19.59 Conjecture not found
% 35.53/19.62 Conjecture not found
% 35.59/19.66 Conjecture not found
% 35.59/19.67 Conjecture not found
% 35.63/19.74 Conjecture not found
% 35.76/19.81 Conjecture not found
% 35.76/19.84 Conjecture not found
% 36.10/19.86 Conjecture not found
% 36.10/19.88 Conjecture not found
% 36.10/19.90 Conjecture not found
% 36.15/19.91 Conjecture not found
% 36.15/19.93 Conjecture not found
% 36.19/19.96 Conjecture not found
% 36.19/19.98 Conjecture not found
% 36.19/19.99 Conjecture not found
% 36.55/20.06 Conjecture not found
% 36.65/20.11 Conjecture not found
% 36.73/20.19 Conjecture not found
% 36.78/20.22 Conjecture not found
% 36.84/20.26 Conjecture not found
% 37.23/20.38 Conjecture not found
% 37.37/20.48 Conjecture not found
% 37.40/20.52 Conjecture not found
% 37.43/20.58 Conjecture not found
% 37.43/20.60 Conjecture not found
% 37.43/20.61 Conjecture not found
% 37.51/20.67 Conjecture not found
% 37.51/20.68 Conjecture not found
% 37.88/20.70 Conjecture not found
% 37.88/20.72 Conjecture not found
% 37.88/20.73 Conjecture not found
% 37.96/20.78 Conjecture not found
% 38.00/20.81 Conjecture not found
% 38.02/20.91 Conjecture not found
% 38.12/20.97 Conjecture not found
% 38.29/21.01 Conjecture not found
% 38.61/21.10 Conjecture not found
% 38.61/21.12 Conjecture not found
% 38.61/21.14 Conjecture not found
% 38.74/21.21 Conjecture not found
% 38.83/21.32 Conjecture not found
% 38.83/21.34 Conjecture not found
% 38.83/21.36 Conjecture not found
% 39.37/21.48 Conjecture not found
% 39.39/21.52 Conjecture not found
% 39.44/21.54 Conjecture not found
% 39.44/21.57 Conjecture not found
% 39.44/21.58 Conjecture not found
% 39.52/21.64 Conjecture not found
% 39.52/21.65 Conjecture not found
% 39.52/21.66 Conjecture not found
% 39.78/21.72 Conjecture not found
% 40.03/21.78 Conjecture not found
% 40.03/21.80 Conjecture not found
% 40.10/21.84 Conjecture not found
% 40.10/21.86 Conjecture not found
% 40.10/21.91 Conjecture not found
% 40.18/21.96 Conjecture not found
% 40.24/22.01 Conjecture not found
% 40.24/22.05 Conjecture not found
% 40.90/22.30 Conjecture not found
% 40.90/22.32 Conjecture not found
% 40.97/22.36 Conjecture not found
% 41.00/22.37 Conjecture not found
% 41.00/22.39 Conjecture not found
% 41.00/22.41 Conjecture not found
% 41.00/22.41 Conjecture not found
% 41.08/22.50 Conjecture not found
% 41.08/22.51 Conjecture not found
% 41.20/22.54 Conjecture not found
% 41.53/22.59 Conjecture not found
% 41.53/22.60 Conjecture not found
% 41.53/22.62 Conjecture not found
% 41.68/22.66 Conjecture not found
% 41.68/22.68 Conjecture not found
% 41.71/22.70 Conjecture not found
% 41.71/22.73 Conjecture not found
% 41.79/22.76 Conjecture not found
% 41.79/22.79 Conjecture not found
% 41.79/22.80 Conjecture not found
% 41.84/22.81 Conjecture not found
% 42.09/22.86 Conjecture not found
% 42.30/22.95 Conjecture not found
% 42.35/23.04 Conjecture not found
% 42.42/23.07 Conjecture not found
% 42.47/23.12 Conjecture not found
% 42.52/23.16 Conjecture not found
% 42.52/23.17 Conjecture not found
% 42.52/23.20 Conjecture not found
% 43.04/23.31 Conjecture not found
% 43.09/23.39 Conjecture not found
% 43.09/23.43 Conjecture not found
% 43.18/23.46 Conjecture not found
% 43.18/23.49 Conjecture not found
% 43.24/23.53 Conjecture not found
% 43.30/23.56 Conjecture not found
% 43.30/23.58 Conjecture not found
% 43.38/23.63 Conjecture not found
% 43.72/23.70 Conjecture not found
% 43.92/23.75 Conjecture not found
% 43.92/23.79 Conjecture not found
% 43.98/23.82 Conjecture not found
% 43.98/23.84 Conjecture not found
% 44.05/23.87 Conjecture not found
% 44.08/23.91 Conjecture not found
% 44.10/24.00 Conjecture not found
% 44.10/24.01 Conjecture not found
% 44.20/24.06 Conjecture not found
% 44.27/24.11 Conjecture not found
% 44.27/24.15 Conjecture not found
% 44.69/24.19 Conjecture not found
% 44.82/24.22 Conjecture not found
% 44.82/24.22 Conjecture not found
% 44.84/24.24 Conjecture not found
% 44.84/24.28 Conjecture not found
% 44.84/24.30 Conjecture not found
% 44.84/24.32 Conjecture not found
% 44.96/24.38 Conjecture not found
% 44.96/24.39 Conjecture not found
% 45.03/24.46 Conjecture not found
% 45.03/24.47 Conjecture not found
% 45.03/24.48 Conjecture not found
% 45.20/24.52 Conjecture not found
% 45.62/24.60 Conjecture not found
% 45.62/24.63 Conjecture not found
% 45.62/24.66 Conjecture not found
% 45.72/24.69 Conjecture not found
% 45.74/24.70 Conjecture not found
% 45.75/24.75 Conjecture not found
% 45.75/24.80 Conjecture not found
% 45.94/24.96 Conjecture not found
% 46.02/24.98 Conjecture not found
% 46.02/25.00 Conjecture not found
% 46.02/25.01 Conjecture not found
% 46.59/25.15 Conjecture not found
% 46.59/25.16 Conjecture not found
% 46.59/25.19 Conjecture not found
% 46.69/25.26 Conjecture not found
% 46.82/25.38 Conjecture not found
% 46.82/25.44 Conjecture not found
% 47.53/25.63 Conjecture not found
% 47.53/25.65 Conjecture not found
% 47.60/25.72 Conjecture not found
% 47.60/25.73 Conjecture not found
% 47.60/25.74 Conjecture not found
% 47.60/25.75 Conjecture not found
% 47.67/25.80 Conjecture not found
% 47.74/25.86 Conjecture not found
% 47.74/25.89 Conjecture not found
% 47.74/25.91 Conjecture not found
% 47.83/25.94 Conjecture not found
% 47.95/26.02 Conjecture not found
% 48.44/26.06 Conjecture not found
% 48.52/26.12 Conjecture not found
% 48.55/26.20 Conjecture not found
% 48.55/26.22 Conjecture not found
% 48.70/26.29 Conjecture not found
% 48.70/26.32 Conjecture not found
% 48.70/26.36 Conjecture not found
% 48.79/26.39 Conjecture not found
% 48.85/26.50 Conjecture not found
% 49.50/26.59 Conjecture not found
% 49.50/26.65 Conjecture not found
% 49.61/26.71 Conjecture not found
% 49.67/26.75 Conjecture not found
% 49.67/26.76 Conjecture not found
% 49.67/26.78 Conjecture not found
% 49.67/26.81 Conjecture not found
% 49.81/26.90 Conjecture not found
% 49.81/26.94 Conjecture not found
% 49.81/26.95 Conjecture not found
% 49.89/26.99 Conjecture not found
% 50.25/27.03 Conjecture not found
% 50.25/27.10 Conjecture not found
% 50.54/27.16 Conjecture not found
% 50.54/27.18 Conjecture not found
% 50.54/27.20 Conjecture not found
% 50.62/27.23 Conjecture not found
% 50.62/27.26 Conjecture not found
% 50.69/27.30 Conjecture not found
% 50.69/27.32 Conjecture not found
% 50.69/27.32 Conjecture not found
% 50.69/27.34 Conjecture not found
% 50.69/27.35 Conjecture not found
% 50.79/27.37 Conjecture not found
% 50.81/27.42 Conjecture not found
% 50.84/27.43 Conjecture not found
% 50.84/27.44 Conjecture not found
% 50.84/27.45 Conjecture not found
% 50.84/27.46 Conjecture not found
% 50.84/27.48 Conjecture not found
% 50.84/27.51 Conjecture not found
% 51.19/27.54 Conjecture not found
% 51.19/27.56 Conjecture not found
% 51.51/27.59 Conjecture not found
% 51.51/27.64 Conjecture not found
% 51.51/27.65 Conjecture not found
% 51.51/27.66 Conjecture not found
% 51.51/27.67 Conjecture not found
% 51.63/27.72 Conjecture not found
% 51.63/27.73 Conjecture not found
% 51.63/27.81 Conjecture not found
% 51.73/27.81 Conjecture not found
% 51.73/27.82 Conjecture not found
% 52.44/28.03 Conjecture not found
% 52.44/28.06 Conjecture not found
% 52.54/28.09 Conjecture not found
% 52.56/28.11 Conjecture not found
% 52.56/28.16 Conjecture not found
% 52.56/28.22 Conjecture not found
% 52.67/28.27 Conjecture not found
% 52.77/28.31 Conjecture not found
% 52.77/28.34 Conjecture not found
% 53.06/28.47 Conjecture not found
% 53.44/28.48 Conjecture not found
% 53.44/28.57 Conjecture not found
% 53.54/28.59 Conjecture not found
% 53.57/28.62 Conjecture not found
% 53.57/28.63 Conjecture not found
% 53.57/28.65 Conjecture not found
% 53.57/28.66 Conjecture not found
% 53.57/28.69 Conjecture not found
% 53.66/28.71 Conjecture not found
% 53.66/28.72 Conjecture not found
% 53.66/28.74 Conjecture not found
% 53.66/28.77 Conjecture not found
% 53.66/28.78 Conjecture not found
% 53.74/28.81 Conjecture not found
% 53.74/28.84 Conjecture not found
% 54.50/29.01 Conjecture not found
% 54.50/29.04 Conjecture not found
% 54.57/29.08 Conjecture not found
% 54.57/29.13 Conjecture not found
% 54.70/29.20 Conjecture not found
% 54.73/29.28 Conjecture not found
% 54.80/29.31 Conjecture not found
% 54.80/29.33 Conjecture not found
% 54.80/29.37 Conjecture not found
% 54.87/29.45 Conjecture not found
% 55.86/29.85 Conjecture not found
% 55.86/29.87 Conjecture not found
% 56.38/29.94 Conjecture not found
% 56.56/30.01 Conjecture not found
% 56.56/30.02 Conjecture not found
% 56.56/30.03 Conjecture not found
% 56.56/30.04 Conjecture not found
% 56.56/30.06 Conjecture not found
% 56.65/30.08 Conjecture not found
% 56.67/30.09 Conjecture not found
% 56.67/30.11 Conjecture not found
% 56.74/30.15 Conjecture not found
% 56.79/30.23 Conjecture not found
% 56.85/30.29 Conjecture not found
% 56.85/30.32 Conjecture not found
% 57.33/30.40 Conjecture not found
% 57.56/30.45 Conjecture not found
% 57.56/30.47 Conjecture not found
% 57.66/30.55 Conjecture not found
% 57.66/30.57 Conjecture not found
% 57.72/30.60 Conjecture not found
% 57.72/30.64 Conjecture not found
% 57.72/30.66 Conjecture not found
% 57.80/30.72 Conjecture not found
% 57.86/30.75 Conjecture not found
% 57.86/30.81 Conjecture not found
% 57.94/30.85 Conjecture not found
% 57.94/30.86 Conjecture not found
% 57.99/30.92 Conjecture not found
% 58.52/30.98 Conjecture not found
% 58.52/31.01 Conjecture not found
% 58.52/31.01 Conjecture not found
% 58.70/31.05 Conjecture not found
% 58.70/31.07 Conjecture not found
% 58.70/31.08 Conjecture not found
% 58.77/31.15 Conjecture not found
% 58.77/31.15 Conjecture not found
% 58.77/31.17 Conjecture not found
% 58.84/31.21 Conjecture not found
% 58.84/31.22 Conjecture not found
% 58.84/31.24 Conjecture not found
% 58.84/31.25 Conjecture not found
% 58.84/31.27 Conjecture not found
% 58.98/31.33 Conjecture not found
% 58.98/31.37 Conjecture not found
% 58.98/31.38 Conjecture not found
% 58.98/31.41 Conjecture not found
% 59.81/31.59 Conjecture not found
% 59.81/31.60 Conjecture not found
% 59.86/31.63 Conjecture not found
% 59.86/31.67 Conjecture not found
% 59.96/31.81 Conjecture not found
% 60.05/31.84 Conjecture not found
% 60.05/31.87 Conjecture not found
% 60.14/31.90 Conjecture not found
% 60.15/31.93 Conjecture not found
% 60.15/31.95 Conjecture not found
% 60.15/32.00 Conjecture not found
% 60.94/32.12 Conjecture not found
% 60.94/32.18 Conjecture not found
% 61.03/32.21 Conjecture not found
% 61.03/32.24 Conjecture not found
% 61.15/32.42 Conjecture not found
% 61.26/32.47 Conjecture not found
% 61.36/32.54 Conjecture not found
% 61.36/32.56 Conjecture not found
% 61.36/32.57 Conjecture not found
% 61.75/32.61 Conjecture not found
% 61.75/32.64 Conjecture not found
% 62.13/32.71 Conjecture not found
% 62.13/32.71 Conjecture not found
% 62.13/32.72 Conjecture not found
% 62.13/32.75 Conjecture not found
% 62.26/32.82 Conjecture not found
% 62.26/32.83 Conjecture not found
% 62.26/32.86 Conjecture not found
% 62.35/32.90 Conjecture not found
% 62.35/32.91 Conjecture not found
% 62.43/33.03 Conjecture not found
% 62.43/33.04 Conjecture not found
% 62.43/33.06 Conjecture not found
% 62.43/33.07 Conjecture not found
% 62.52/33.10 Conjecture not found
% 63.38/33.26 Conjecture not found
% 63.38/33.31 Conjecture not found
% 63.38/33.34 Conjecture not found
% 63.38/33.34 Conjecture not found
% 63.38/33.35 Conjecture not found
% 63.50/33.40 Conjecture not found
% 63.50/33.40 Conjecture not found
% 63.62/33.52 Conjecture not found
% 63.62/33.53 Conjecture not found
% 63.68/33.64 Conjecture not found
% 64.32/33.80 Conjecture not found
% 64.32/33.82 Conjecture not found
% 64.59/33.85 Conjecture not found
% 64.59/33.86 Conjecture not found
% 64.63/33.89 Conjecture not found
% 64.63/33.90 Conjecture not found
% 64.63/33.92 Conjecture not found
% 64.70/33.96 Conjecture not found
% 64.70/34.00 Conjecture not found
% 64.75/34.01 Conjecture not found
% 64.80/34.09 Conjecture not found
% 64.93/34.20 Conjecture not found
% 64.93/34.23 Conjecture not found
% 65.00/34.26 Conjecture not found
% 65.01/34.28 Conjecture not found
% 65.01/34.29 Conjecture not found
% 65.01/34.31 Conjecture not found
% 65.38/34.37 Conjecture not found
% 65.38/34.42 Conjecture not found
% 65.93/34.55 Conjecture not found
% 66.17/34.84 Conjecture not found
% 67.21/35.08 Conjecture not found
% 67.21/35.08 Conjecture not found
% 67.21/35.12 Conjecture not found
% 67.33/35.22 Conjecture not found
% 67.39/35.25 Conjecture not found
% 67.39/35.26 Conjecture not found
% 67.39/35.27 Conjecture not found
% 67.39/35.31 Conjecture not found
% 67.39/35.32 Conjecture not found
% 67.53/35.41 Conjecture not found
% 67.53/35.47 Conjecture not found
% 67.63/35.50 Conjecture not found
% 67.67/35.55 Conjecture not found
% 68.11/35.64 Conjecture not found
% 68.11/35.68 Conjecture not found
% 68.48/35.69 Conjecture not found
% 68.48/35.70 Conjecture not found
% 68.60/35.82 Conjecture not found
% 68.62/35.84 Conjecture not found
% 68.62/35.88 Conjecture not found
% 68.72/35.94 Conjecture not found
% 68.72/35.95 Conjecture not found
% 68.72/35.96 Conjecture not found
% 68.72/35.98 Conjecture not found
% 68.72/35.99 Conjecture not found
% 68.72/36.00 Conjecture not found
% 68.79/36.03 Conjecture not found
% 68.79/36.04 Conjecture not found
% 68.87/36.13 Conjecture not found
% 69.65/36.27 Conjecture not found
% 69.65/36.29 Conjecture not found
% 69.73/36.30 Conjecture not found
% 69.73/36.31 Conjecture not found
% 69.73/36.34 Conjecture not found
% 69.73/36.37 Conjecture not found
% 69.80/36.42 Conjecture not found
% 69.80/36.45 Conjecture not found
% 69.80/36.47 Conjecture not found
% 69.90/36.48 Conjecture not found
% 69.93/36.53 Conjecture not found
% 69.97/36.55 Conjecture not found
% 70.03/36.60 Conjecture not found
% 70.03/36.62 Conjecture not found
% 70.03/36.63 Conjecture not found
% 70.03/36.65 Conjecture not found
% 70.09/36.68 Conjecture not found
% 70.09/36.68 Conjecture not found
% 70.09/36.69 Conjecture not found
% 70.09/36.70 Conjecture not found
% 70.09/36.72 Conjecture not found
% 70.09/36.74 Conjecture not found
% 70.62/36.82 Conjecture not found
% 70.96/36.87 Conjecture not found
% 71.10/36.96 Conjecture not found
% 71.10/37.01 Conjecture not found
% 71.10/37.04 Conjecture not found
% 71.10/37.07 Conjecture not found
% 71.21/37.10 Conjecture not found
% 71.25/37.15 Conjecture not found
% 71.29/37.20 Conjecture not found
% 71.38/37.25 Conjecture not found
% 71.43/37.29 Conjecture not found
% 71.78/37.35 Conjecture not found
% 71.88/37.38 Conjecture not found
% 72.35/37.48 Conjecture not found
% 72.35/37.48 Conjecture not found
% 72.35/37.50 Conjecture not found
% 72.43/37.57 Conjecture not found
% 72.48/37.66 Conjecture not found
% 72.57/37.68 Conjecture not found
% 72.57/37.72 Conjecture not found
% 72.63/37.75 Conjecture not found
% 72.64/37.77 Conjecture not found
% 72.64/37.78 Conjecture not found
% 72.64/37.81 Conjecture not found
% 72.75/37.87 Conjecture not found
% 72.75/37.90 Conjecture not found
% 72.75/37.92 Conjecture not found
% 72.83/37.95 Conjecture not found
% 72.87/37.98 Conjecture not found
% 73.35/38.11 Conjecture not found
% 73.71/38.13 Conjecture not found
% 73.71/38.17 Conjecture not found
% 73.77/38.25 Conjecture not found
% 73.89/38.33 Conjecture not found
% 74.00/38.40 Conjecture not found
% 74.00/38.42 Conjecture not found
% 74.06/38.48 Conjecture not found
% 74.06/38.53 Conjecture not found
% 74.06/38.55 Conjecture not found
% 74.19/38.60 Conjecture not found
% 74.19/38.61 Conjecture not found
% 74.19/38.62 Conjecture not found
% 74.64/38.71 Conjecture not found
% 74.64/38.74 Conjecture not found
% 74.64/38.77 Conjecture not found
% 75.10/38.81 Conjecture not found
% 75.10/38.82 Conjecture not found
% 75.10/38.82 Conjecture not found
% 75.10/38.83 Conjecture not found
% 75.24/38.90 Conjecture not found
% 75.27/38.95 Conjecture not found
% 75.27/38.99 Conjecture not found
% 75.27/39.00 Conjecture not found
% 75.35/39.02 Conjecture not found
% 75.35/39.06 Conjecture not found
% 75.42/39.10 Conjecture not found
% 75.58/39.25 Conjecture not found
% 76.58/39.41 Conjecture not found
% 76.58/39.42 Conjecture not found
% 76.58/39.45 Conjecture not found
% 76.71/39.54 Conjecture not found
% 76.71/39.55 Conjecture not found
% 76.71/39.59 Conjecture not found
% 76.71/39.60 Conjecture not found
% 76.71/39.61 Conjecture not found
% 76.80/39.61 Conjecture not found
% 76.80/39.64 Conjecture not found
% 76.80/39.67 Conjecture not found
% 76.80/39.68 Conjecture not found
% 76.88/39.70 Conjecture not found
% 76.88/39.71 Conjecture not found
% 76.88/39.72 Conjecture not found
% 76.88/39.72 Conjecture not found
% 76.88/39.75 Conjecture not found
% 76.98/39.79 Conjecture not found
% 76.98/39.81 Conjecture not found
% 77.17/39.85 Conjecture not found
% 77.87/39.94 Conjecture not found
% 77.96/40.00 Conjecture not found
% 77.96/40.04 Conjecture not found
% 78.11/40.15 Conjecture not found
% 78.11/40.17 Conjecture not found
% 78.11/40.19 Conjecture not found
% 78.11/40.20 Conjecture not found
% 78.20/40.24 Conjecture not found
% 78.20/40.27 Conjecture not found
% 79.61/40.91 Conjecture not found
% 79.61/40.94 Conjecture not found
% 79.61/40.96 Conjecture not found
% 79.71/41.00 Conjecture not found
% 79.78/41.07 Conjecture not found
% 79.78/41.09 Conjecture not found
% 79.89/41.17 Conjecture not found
% 79.89/41.20 Conjecture not found
% 80.45/41.29 Conjecture not found
% 80.83/41.36 Conjecture not found
% 80.83/41.38 Conjecture not found
% 80.90/41.41 Conjecture not found
% 80.90/41.46 Conjecture not found
% 80.97/41.50 Conjecture not found
% 80.97/41.52 Conjecture not found
% 80.97/41.53 Start search
% 190.79/68.80 nb_step : 1 - limit : 175772
% 192.74/69.70 Launch Gotab with destructive = true
%------------------------------------------------------------------------------