TSTP Solution File: SEU432+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU432+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n002.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:09 EDT 2022
% Result : Timeout 300.52s 92.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU432+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n002.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 14:34:41 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 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.49/0.54 Conjecture not found
% 0.49/0.56 Conjecture not found
% 0.51/0.56 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.51/0.59 Conjecture not found
% 0.51/0.61 Conjecture not found
% 0.62/0.66 Conjecture not found
% 0.70/0.73 Conjecture not found
% 0.70/0.73 Conjecture not found
% 0.86/0.81 Conjecture not found
% 1.01/0.86 Conjecture not found
% 1.14/0.94 Conjecture not found
% 1.21/0.98 Conjecture not found
% 1.33/1.04 Conjecture not found
% 1.33/1.08 Conjecture not found
% 1.41/1.13 Conjecture not found
% 1.52/1.15 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.80/1.32 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.43 Conjecture not found
% 2.09/1.48 Conjecture not found
% 2.09/1.48 Conjecture not found
% 2.09/1.49 Conjecture not found
% 2.09/1.50 Conjecture not found
% 2.09/1.52 Conjecture not found
% 2.17/1.53 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.61 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.19/1.63 Conjecture not found
% 2.36/1.66 Conjecture not found
% 2.44/1.72 Conjecture not found
% 2.58/1.77 Conjecture not found
% 2.60/1.78 Conjecture not found
% 2.60/1.80 Conjecture not found
% 2.68/1.83 Conjecture not found
% 2.68/1.86 Conjecture not found
% 2.68/1.88 Conjecture not found
% 2.68/1.90 Conjecture not found
% 2.82/1.98 Conjecture not found
% 2.93/2.01 Conjecture not found
% 2.93/2.03 Conjecture not found
% 2.93/2.05 Conjecture not found
% 3.08/2.07 Conjecture not found
% 3.09/2.09 Conjecture not found
% 3.37/2.27 Conjecture not found
% 3.37/2.30 Conjecture not found
% 3.48/2.32 Conjecture not found
% 3.58/2.43 Conjecture not found
% 3.58/2.45 Conjecture not found
% 3.76/2.47 Conjecture not found
% 3.76/2.49 Conjecture not found
% 3.86/2.53 Conjecture not found
% 3.86/2.59 Conjecture not found
% 4.10/2.67 Conjecture not found
% 4.10/2.74 Conjecture not found
% 4.24/2.79 Conjecture not found
% 4.24/2.80 Conjecture not found
% 4.42/2.85 Conjecture not found
% 4.42/2.85 Conjecture not found
% 4.42/2.88 Conjecture not found
% 4.48/2.91 Conjecture not found
% 4.48/2.93 Conjecture not found
% 4.48/2.95 Conjecture not found
% 4.58/3.02 Conjecture not found
% 4.58/3.03 Conjecture not found
% 4.73/3.06 Conjecture not found
% 4.83/3.11 Conjecture not found
% 4.92/3.18 Conjecture not found
% 5.14/3.32 Conjecture not found
% 5.56/3.51 Conjecture not found
% 6.10/3.83 Conjecture not found
% 6.24/3.86 Conjecture not found
% 6.34/3.90 Conjecture not found
% 6.49/4.00 Conjecture not found
% 6.55/4.04 Conjecture not found
% 6.64/4.09 Conjecture not found
% 6.76/4.15 Conjecture not found
% 6.80/4.20 Conjecture not found
% 6.97/4.27 Conjecture not found
% 6.97/4.31 Conjecture not found
% 7.09/4.34 Conjecture not found
% 7.09/4.35 Conjecture not found
% 7.12/4.38 Conjecture not found
% 7.12/4.39 Conjecture not found
% 7.25/4.48 Conjecture not found
% 7.46/4.58 Conjecture not found
% 7.62/4.65 Conjecture not found
% 7.69/4.76 Conjecture not found
% 7.81/4.78 Conjecture not found
% 7.81/4.80 Conjecture not found
% 7.81/4.83 Conjecture not found
% 7.81/4.84 Conjecture not found
% 7.95/4.87 Conjecture not found
% 7.98/4.90 Conjecture not found
% 7.98/4.91 Conjecture not found
% 8.12/4.95 Conjecture not found
% 8.12/4.95 Conjecture not found
% 8.12/4.96 Conjecture not found
% 8.12/4.98 Conjecture not found
% 8.12/5.02 Conjecture not found
% 8.21/5.04 Conjecture not found
% 8.21/5.08 Conjecture not found
% 8.35/5.11 Conjecture not found
% 8.58/5.28 Conjecture not found
% 8.75/5.33 Conjecture not found
% 8.75/5.34 Conjecture not found
% 8.75/5.35 Conjecture not found
% 8.75/5.37 Conjecture not found
% 8.88/5.40 Conjecture not found
% 8.88/5.43 Conjecture not found
% 8.88/5.44 Conjecture not found
% 8.88/5.46 Conjecture not found
% 9.08/5.49 Conjecture not found
% 9.14/5.59 Conjecture not found
% 9.93/6.05 Conjecture not found
% 10.82/6.59 Conjecture not found
% 11.00/6.70 Conjecture not found
% 11.00/6.76 Conjecture not found
% 11.20/6.78 Conjecture not found
% 11.20/6.79 Conjecture not found
% 11.33/6.85 Conjecture not found
% 11.33/6.86 Conjecture not found
% 11.39/6.88 Conjecture not found
% 11.39/6.92 Conjecture not found
% 11.59/6.98 Conjecture not found
% 11.64/7.04 Conjecture not found
% 11.66/7.06 Conjecture not found
% 11.66/7.06 Conjecture not found
% 11.82/7.11 Conjecture not found
% 11.82/7.15 Conjecture not found
% 11.87/7.19 Conjecture not found
% 11.87/7.24 Conjecture not found
% 12.08/7.30 Conjecture not found
% 12.08/7.33 Conjecture not found
% 12.25/7.35 Conjecture not found
% 12.27/7.39 Conjecture not found
% 12.27/7.41 Conjecture not found
% 12.34/7.44 Conjecture not found
% 12.48/7.49 Conjecture not found
% 12.48/7.50 Conjecture not found
% 12.57/7.57 Conjecture not found
% 12.74/7.64 Conjecture not found
% 12.74/7.66 Conjecture not found
% 12.78/7.68 Conjecture not found
% 12.78/7.71 Conjecture not found
% 12.78/7.72 Conjecture not found
% 12.85/7.74 Conjecture not found
% 12.85/7.75 Conjecture not found
% 12.94/7.78 Conjecture not found
% 12.94/7.81 Conjecture not found
% 12.94/7.82 Conjecture not found
% 13.05/7.86 Conjecture not found
% 13.05/7.88 Conjecture not found
% 13.09/7.91 Conjecture not found
% 13.09/7.94 Conjecture not found
% 13.28/7.97 Conjecture not found
% 13.31/7.99 Conjecture not found
% 13.31/8.01 Conjecture not found
% 13.31/8.03 Conjecture not found
% 13.44/8.05 Conjecture not found
% 13.44/8.07 Conjecture not found
% 13.44/8.11 Conjecture not found
% 13.56/8.14 Conjecture not found
% 13.56/8.15 Conjecture not found
% 13.61/8.19 Conjecture not found
% 13.61/8.20 Conjecture not found
% 13.61/8.21 Conjecture not found
% 13.61/8.24 Conjecture not found
% 13.82/8.25 Conjecture not found
% 13.82/8.27 Conjecture not found
% 13.82/8.27 Conjecture not found
% 13.86/8.29 Conjecture not found
% 13.86/8.29 Conjecture not found
% 13.86/8.30 Conjecture not found
% 13.86/8.30 Conjecture not found
% 14.05/8.36 Conjecture not found
% 14.12/8.46 Conjecture not found
% 14.12/8.47 Conjecture not found
% 14.29/8.50 Conjecture not found
% 14.29/8.53 Conjecture not found
% 14.29/8.55 Conjecture not found
% 14.38/8.58 Conjecture not found
% 14.40/8.59 Conjecture not found
% 14.40/8.62 Conjecture not found
% 14.58/8.68 Conjecture not found
% 14.66/8.73 Conjecture not found
% 14.72/8.77 Conjecture not found
% 14.72/8.82 Conjecture not found
% 15.10/8.97 Conjecture not found
% 15.26/9.04 Conjecture not found
% 15.26/9.09 Conjecture not found
% 15.32/9.10 Conjecture not found
% 15.32/9.15 Conjecture not found
% 15.53/9.20 Conjecture not found
% 15.57/9.23 Conjecture not found
% 15.60/9.24 Conjecture not found
% 15.83/9.33 Conjecture not found
% 15.89/9.39 Conjecture not found
% 15.89/9.44 Conjecture not found
% 16.11/9.47 Conjecture not found
% 16.11/9.52 Conjecture not found
% 16.17/9.53 Conjecture not found
% 16.20/9.58 Conjecture not found
% 16.20/9.64 Conjecture not found
% 16.50/9.71 Conjecture not found
% 16.77/9.82 Conjecture not found
% 16.77/9.84 Conjecture not found
% 16.82/9.88 Conjecture not found
% 16.82/9.90 Conjecture not found
% 16.82/9.92 Conjecture not found
% 17.12/10.02 Conjecture not found
% 17.23/10.13 Conjecture not found
% 17.23/10.14 Conjecture not found
% 17.38/10.19 Conjecture not found
% 17.84/10.44 Conjecture not found
% 17.90/10.49 Conjecture not found
% 17.90/10.55 Conjecture not found
% 18.16/10.58 Conjecture not found
% 18.16/10.60 Conjecture not found
% 18.16/10.61 Conjecture not found
% 18.24/10.66 Conjecture not found
% 18.47/10.75 Conjecture not found
% 18.51/10.82 Conjecture not found
% 18.61/10.87 Conjecture not found
% 18.61/10.92 Conjecture not found
% 18.88/11.03 Conjecture not found
% 18.99/11.10 Conjecture not found
% 19.22/11.15 Conjecture not found
% 19.27/11.19 Conjecture not found
% 19.27/11.22 Conjecture not found
% 19.27/11.23 Conjecture not found
% 19.33/11.27 Conjecture not found
% 19.54/11.28 Conjecture not found
% 19.54/11.31 Conjecture not found
% 19.62/11.36 Conjecture not found
% 19.62/11.38 Conjecture not found
% 19.62/11.40 Conjecture not found
% 19.68/11.42 Conjecture not found
% 19.77/11.49 Conjecture not found
% 19.77/11.51 Conjecture not found
% 19.77/11.53 Conjecture not found
% 19.99/11.55 Conjecture not found
% 20.27/11.68 Conjecture not found
% 20.27/11.70 Conjecture not found
% 20.35/11.75 Conjecture not found
% 20.35/11.76 Conjecture not found
% 20.35/11.76 Conjecture not found
% 20.35/11.76 Conjecture not found
% 20.35/11.77 Conjecture not found
% 20.40/11.82 Conjecture not found
% 20.40/11.83 Conjecture not found
% 20.40/11.84 Conjecture not found
% 20.74/11.94 Conjecture not found
% 20.74/11.99 Conjecture not found
% 21.09/12.08 Conjecture not found
% 21.09/12.09 Conjecture not found
% 21.17/12.18 Conjecture not found
% 21.46/12.32 Conjecture not found
% 21.54/12.34 Conjecture not found
% 21.54/12.38 Conjecture not found
% 21.62/12.41 Conjecture not found
% 21.62/12.44 Conjecture not found
% 21.93/12.53 Conjecture not found
% 21.93/12.59 Conjecture not found
% 22.03/12.63 Conjecture not found
% 22.03/12.66 Conjecture not found
% 22.36/12.78 Conjecture not found
% 22.36/12.81 Conjecture not found
% 22.41/12.83 Conjecture not found
% 22.54/12.91 Conjecture not found
% 22.74/12.97 Conjecture not found
% 22.74/12.98 Conjecture not found
% 22.79/13.02 Conjecture not found
% 22.85/13.10 Conjecture not found
% 23.07/13.13 Conjecture not found
% 23.15/13.15 Conjecture not found
% 23.15/13.21 Conjecture not found
% 23.25/13.25 Conjecture not found
% 23.25/13.25 Conjecture not found
% 23.37/13.30 Conjecture not found
% 23.57/13.36 Conjecture not found
% 23.58/13.39 Conjecture not found
% 23.64/13.43 Conjecture not found
% 23.69/13.48 Conjecture not found
% 23.69/13.49 Conjecture not found
% 24.01/13.59 Conjecture not found
% 24.08/13.66 Conjecture not found
% 24.15/13.74 Conjecture not found
% 24.30/13.77 Conjecture not found
% 24.50/13.87 Conjecture not found
% 24.53/13.89 Conjecture not found
% 24.53/13.90 Conjecture not found
% 24.53/13.91 Conjecture not found
% 24.53/13.92 Conjecture not found
% 24.53/13.93 Conjecture not found
% 24.53/13.94 Conjecture not found
% 24.92/14.04 Conjecture not found
% 24.96/14.13 Conjecture not found
% 25.05/14.17 Conjecture not found
% 25.05/14.19 Conjecture not found
% 25.05/14.20 Conjecture not found
% 25.12/14.26 Conjecture not found
% 25.26/14.28 Conjecture not found
% 25.26/14.30 Conjecture not found
% 25.50/14.41 Conjecture not found
% 25.50/14.42 Conjecture not found
% 25.56/14.46 Conjecture not found
% 25.61/14.54 Conjecture not found
% 25.96/14.58 Conjecture not found
% 25.96/14.63 Conjecture not found
% 26.47/14.86 Conjecture not found
% 26.55/14.93 Conjecture not found
% 26.55/14.95 Conjecture not found
% 26.79/15.06 Conjecture not found
% 26.93/15.08 Conjecture not found
% 26.93/15.14 Conjecture not found
% 27.03/15.17 Conjecture not found
% 27.10/15.25 Conjecture not found
% 27.10/15.29 Conjecture not found
% 27.10/15.31 Conjecture not found
% 27.43/15.34 Conjecture not found
% 27.43/15.37 Conjecture not found
% 27.50/15.41 Conjecture not found
% 27.58/15.48 Conjecture not found
% 27.60/15.49 Conjecture not found
% 27.60/15.49 Conjecture not found
% 27.60/15.50 Conjecture not found
% 27.93/15.57 Conjecture not found
% 27.93/15.59 Conjecture not found
% 28.01/15.65 Conjecture not found
% 28.07/15.73 Conjecture not found
% 28.13/15.79 Conjecture not found
% 28.13/15.84 Conjecture not found
% 28.49/15.86 Conjecture not found
% 28.49/15.88 Conjecture not found
% 28.53/15.93 Conjecture not found
% 28.58/15.95 Conjecture not found
% 28.58/15.95 Conjecture not found
% 28.58/15.98 Conjecture not found
% 28.64/16.01 Conjecture not found
% 28.94/16.09 Conjecture not found
% 28.94/16.13 Conjecture not found
% 29.05/16.16 Conjecture not found
% 29.10/16.24 Conjecture not found
% 29.16/16.26 Conjecture not found
% 29.16/16.27 Conjecture not found
% 29.47/16.38 Conjecture not found
% 29.47/16.41 Conjecture not found
% 29.62/16.47 Conjecture not found
% 29.66/16.49 Conjecture not found
% 29.66/16.51 Conjecture not found
% 29.66/16.52 Conjecture not found
% 29.72/16.55 Conjecture not found
% 29.72/16.56 Conjecture not found
% 30.10/16.73 Conjecture not found
% 30.10/16.74 Conjecture not found
% 30.10/16.74 Conjecture not found
% 30.24/16.81 Conjecture not found
% 30.24/16.85 Conjecture not found
% 30.29/16.87 Conjecture not found
% 30.29/16.89 Conjecture not found
% 30.29/16.92 Conjecture not found
% 30.45/16.96 Conjecture not found
% 30.73/17.03 Conjecture not found
% 30.78/17.05 Conjecture not found
% 30.78/17.08 Conjecture not found
% 30.84/17.11 Conjecture not found
% 30.84/17.12 Conjecture not found
% 30.84/17.13 Conjecture not found
% 30.89/17.17 Conjecture not found
% 30.89/17.22 Conjecture not found
% 31.27/17.28 Conjecture not found
% 31.33/17.33 Conjecture not found
% 31.33/17.34 Conjecture not found
% 31.39/17.39 Conjecture not found
% 31.44/17.44 Conjecture not found
% 31.48/17.46 Conjecture not found
% 31.48/17.48 Conjecture not found
% 31.48/17.50 Conjecture not found
% 31.75/17.56 Conjecture not found
% 31.75/17.57 Conjecture not found
% 31.92/17.60 Conjecture not found
% 32.00/17.66 Conjecture not found
% 32.00/17.69 Conjecture not found
% 32.00/17.71 Conjecture not found
% 32.08/17.75 Conjecture not found
% 32.08/17.80 Conjecture not found
% 32.56/18.00 Conjecture not found
% 32.60/18.03 Conjecture not found
% 32.62/18.07 Conjecture not found
% 32.70/18.14 Conjecture not found
% 32.77/18.23 Conjecture not found
% 33.00/18.29 Conjecture not found
% 33.22/18.37 Conjecture not found
% 33.22/18.39 Conjecture not found
% 33.22/18.40 Conjecture not found
% 33.22/18.42 Conjecture not found
% 33.32/18.43 Conjecture not found
% 33.32/18.45 Conjecture not found
% 33.32/18.47 Conjecture not found
% 33.32/18.47 Conjecture not found
% 33.38/18.50 Conjecture not found
% 33.38/18.51 Conjecture not found
% 33.38/18.56 Conjecture not found
% 33.85/18.66 Conjecture not found
% 33.85/18.69 Conjecture not found
% 33.94/18.72 Conjecture not found
% 33.94/18.74 Conjecture not found
% 33.94/18.75 Conjecture not found
% 34.01/18.82 Conjecture not found
% 34.33/18.98 Conjecture not found
% 34.33/19.03 Conjecture not found
% 34.54/19.06 Conjecture not found
% 34.61/19.16 Conjecture not found
% 34.68/19.20 Conjecture not found
% 34.68/19.23 Conjecture not found
% 34.76/19.26 Conjecture not found
% 34.76/19.27 Conjecture not found
% 34.82/19.33 Conjecture not found
% 34.84/19.37 Conjecture not found
% 34.84/19.39 Conjecture not found
% 35.25/19.45 Conjecture not found
% 35.31/19.47 Conjecture not found
% 35.31/19.49 Conjecture not found
% 35.31/19.50 Conjecture not found
% 35.31/19.51 Conjecture not found
% 35.40/19.56 Conjecture not found
% 35.44/19.60 Conjecture not found
% 35.48/19.65 Conjecture not found
% 35.83/19.71 Conjecture not found
% 36.05/19.85 Conjecture not found
% 36.05/19.86 Conjecture not found
% 36.09/19.89 Conjecture not found
% 36.09/19.90 Conjecture not found
% 36.09/19.92 Conjecture not found
% 36.09/19.94 Conjecture not found
% 36.14/19.94 Conjecture not found
% 36.33/20.03 Conjecture not found
% 36.63/20.06 Conjecture not found
% 36.63/20.09 Conjecture not found
% 36.63/20.14 Conjecture not found
% 36.73/20.16 Conjecture not found
% 36.77/20.20 Conjecture not found
% 36.77/20.23 Conjecture not found
% 36.77/20.25 Conjecture not found
% 36.83/20.27 Conjecture not found
% 36.88/20.31 Conjecture not found
% 36.88/20.34 Conjecture not found
% 36.92/20.39 Conjecture not found
% 36.92/20.42 Conjecture not found
% 37.38/20.44 Conjecture not found
% 37.38/20.47 Conjecture not found
% 37.43/20.52 Conjecture not found
% 37.49/20.59 Conjecture not found
% 37.53/20.62 Conjecture not found
% 37.60/20.67 Conjecture not found
% 37.60/20.71 Conjecture not found
% 37.60/20.72 Conjecture not found
% 37.97/20.79 Conjecture not found
% 38.17/20.86 Conjecture not found
% 38.17/20.90 Conjecture not found
% 38.17/20.93 Conjecture not found
% 38.26/20.96 Conjecture not found
% 38.31/20.98 Conjecture not found
% 38.31/21.03 Conjecture not found
% 38.38/21.06 Conjecture not found
% 38.38/21.08 Conjecture not found
% 38.73/21.15 Conjecture not found
% 38.87/21.19 Conjecture not found
% 38.87/21.21 Conjecture not found
% 38.95/21.23 Conjecture not found
% 38.95/21.26 Conjecture not found
% 38.95/21.27 Conjecture not found
% 39.02/21.31 Conjecture not found
% 39.02/21.34 Conjecture not found
% 39.10/21.39 Conjecture not found
% 39.10/21.40 Conjecture not found
% 39.40/21.45 Conjecture not found
% 39.40/21.51 Conjecture not found
% 39.65/21.54 Conjecture not found
% 39.65/21.56 Conjecture not found
% 39.70/21.59 Conjecture not found
% 39.70/21.59 Conjecture not found
% 39.70/21.61 Conjecture not found
% 39.79/21.65 Conjecture not found
% 39.79/21.67 Conjecture not found
% 39.81/21.69 Conjecture not found
% 39.86/21.73 Conjecture not found
% 39.86/21.74 Conjecture not found
% 39.88/21.81 Conjecture not found
% 40.12/21.84 Conjecture not found
% 40.12/21.88 Conjecture not found
% 40.43/21.90 Conjecture not found
% 40.43/21.95 Conjecture not found
% 40.43/21.97 Conjecture not found
% 40.52/22.00 Conjecture not found
% 40.56/22.02 Conjecture not found
% 40.56/22.04 Conjecture not found
% 40.56/22.09 Conjecture not found
% 40.66/22.14 Conjecture not found
% 40.73/22.24 Conjecture not found
% 41.23/22.27 Conjecture not found
% 41.25/22.29 Conjecture not found
% 41.25/22.30 Conjecture not found
% 41.31/22.38 Conjecture not found
% 41.31/22.39 Conjecture not found
% 41.31/22.41 Conjecture not found
% 41.40/22.43 Conjecture not found
% 41.40/22.49 Conjecture not found
% 41.47/22.53 Conjecture not found
% 42.08/22.71 Conjecture not found
% 42.12/22.73 Conjecture not found
% 42.12/22.78 Conjecture not found
% 42.12/22.79 Conjecture not found
% 42.12/22.80 Conjecture not found
% 42.20/22.81 Conjecture not found
% 42.20/22.84 Conjecture not found
% 42.26/22.88 Conjecture not found
% 42.26/22.90 Conjecture not found
% 42.26/22.92 Conjecture not found
% 42.26/22.95 Conjecture not found
% 42.87/23.05 Conjecture not found
% 42.88/23.06 Conjecture not found
% 42.88/23.08 Conjecture not found
% 42.94/23.11 Conjecture not found
% 42.94/23.13 Conjecture not found
% 42.99/23.18 Conjecture not found
% 42.99/23.21 Conjecture not found
% 42.99/23.24 Conjecture not found
% 43.08/23.26 Conjecture not found
% 43.68/23.41 Conjecture not found
% 43.68/23.45 Conjecture not found
% 43.73/23.47 Conjecture not found
% 43.73/23.50 Conjecture not found
% 43.73/23.54 Conjecture not found
% 43.73/23.55 Conjecture not found
% 43.84/23.57 Conjecture not found
% 43.84/23.60 Conjecture not found
% 43.94/23.69 Conjecture not found
% 43.94/23.72 Conjecture not found
% 43.94/23.73 Conjecture not found
% 44.48/23.79 Conjecture not found
% 44.48/23.81 Conjecture not found
% 44.60/23.85 Conjecture not found
% 44.60/23.88 Conjecture not found
% 44.60/23.90 Conjecture not found
% 44.66/23.91 Conjecture not found
% 44.66/23.95 Conjecture not found
% 44.72/23.98 Conjecture not found
% 44.72/24.01 Conjecture not found
% 44.72/24.03 Conjecture not found
% 44.72/24.04 Conjecture not found
% 44.81/24.07 Conjecture not found
% 44.81/24.08 Conjecture not found
% 44.85/24.10 Conjecture not found
% 44.90/24.17 Conjecture not found
% 44.90/24.20 Conjecture not found
% 44.90/24.21 Conjecture not found
% 45.32/24.23 Conjecture not found
% 45.32/24.26 Conjecture not found
% 45.48/24.29 Conjecture not found
% 45.48/24.31 Conjecture not found
% 45.48/24.33 Conjecture not found
% 45.56/24.35 Conjecture not found
% 45.56/24.37 Conjecture not found
% 45.60/24.41 Conjecture not found
% 45.60/24.42 Conjecture not found
% 45.66/24.44 Conjecture not found
% 45.66/24.45 Conjecture not found
% 45.68/24.50 Conjecture not found
% 45.68/24.51 Conjecture not found
% 45.78/24.60 Conjecture not found
% 45.78/24.61 Conjecture not found
% 45.78/24.62 Conjecture not found
% 46.46/24.79 Conjecture not found
% 46.46/24.81 Conjecture not found
% 46.51/24.82 Conjecture not found
% 46.51/24.83 Conjecture not found
% 46.53/24.87 Conjecture not found
% 46.53/24.90 Conjecture not found
% 46.61/24.93 Conjecture not found
% 46.61/24.96 Conjecture not found
% 46.69/25.03 Conjecture not found
% 47.28/25.12 Conjecture not found
% 47.28/25.12 Conjecture not found
% 47.31/25.18 Conjecture not found
% 47.31/25.19 Conjecture not found
% 47.31/25.21 Conjecture not found
% 47.31/25.22 Conjecture not found
% 47.31/25.23 Conjecture not found
% 47.41/25.24 Conjecture not found
% 47.41/25.26 Conjecture not found
% 47.41/25.28 Conjecture not found
% 47.41/25.29 Conjecture not found
% 47.46/25.30 Conjecture not found
% 47.46/25.32 Conjecture not found
% 47.46/25.33 Conjecture not found
% 47.46/25.36 Conjecture not found
% 47.55/25.39 Conjecture not found
% 48.17/25.55 Conjecture not found
% 48.17/25.59 Conjecture not found
% 48.25/25.63 Conjecture not found
% 48.25/25.67 Conjecture not found
% 48.35/25.70 Conjecture not found
% 48.39/25.75 Conjecture not found
% 48.39/25.77 Conjecture not found
% 48.39/25.79 Conjecture not found
% 48.39/25.83 Conjecture not found
% 49.04/25.94 Conjecture not found
% 49.44/26.34 Conjecture not found
% 50.00/26.38 Conjecture not found
% 50.07/26.42 Conjecture not found
% 50.12/26.46 Conjecture not found
% 50.12/26.47 Conjecture not found
% 50.12/26.48 Conjecture not found
% 50.12/26.49 Conjecture not found
% 50.12/26.51 Conjecture not found
% 50.18/26.52 Conjecture not found
% 50.18/26.53 Conjecture not found
% 50.18/26.55 Conjecture not found
% 50.22/26.60 Conjecture not found
% 50.31/26.67 Conjecture not found
% 50.35/26.72 Conjecture not found
% 50.48/26.76 Conjecture not found
% 51.04/26.86 Conjecture not found
% 51.04/26.88 Conjecture not found
% 51.04/26.90 Conjecture not found
% 51.04/26.95 Conjecture not found
% 51.14/26.96 Conjecture not found
% 51.14/26.98 Conjecture not found
% 51.14/26.99 Conjecture not found
% 51.19/27.01 Conjecture not found
% 51.25/27.07 Conjecture not found
% 51.25/27.10 Conjecture not found
% 51.25/27.14 Conjecture not found
% 51.34/27.18 Conjecture not found
% 51.34/27.19 Conjecture not found
% 51.67/27.28 Conjecture not found
% 52.03/27.33 Conjecture not found
% 52.03/27.35 Conjecture not found
% 52.03/27.35 Conjecture not found
% 52.10/27.39 Conjecture not found
% 52.10/27.41 Conjecture not found
% 52.10/27.42 Conjecture not found
% 52.19/27.48 Conjecture not found
% 52.19/27.49 Conjecture not found
% 52.23/27.50 Conjecture not found
% 52.23/27.52 Conjecture not found
% 52.23/27.53 Conjecture not found
% 52.29/27.56 Conjecture not found
% 52.29/27.58 Conjecture not found
% 52.29/27.60 Conjecture not found
% 52.40/27.67 Conjecture not found
% 52.84/27.77 Conjecture not found
% 53.03/27.79 Conjecture not found
% 53.03/27.81 Conjecture not found
% 53.11/27.89 Conjecture not found
% 53.11/27.90 Conjecture not found
% 53.17/27.94 Conjecture not found
% 53.22/27.96 Conjecture not found
% 53.31/28.06 Conjecture not found
% 53.31/28.07 Conjecture not found
% 53.36/28.10 Conjecture not found
% 53.36/28.12 Conjecture not found
% 53.36/28.15 Conjecture not found
% 53.42/28.16 Conjecture not found
% 53.69/28.22 Conjecture not found
% 53.89/28.32 Conjecture not found
% 54.22/28.38 Conjecture not found
% 54.22/28.40 Conjecture not found
% 54.22/28.42 Conjecture not found
% 54.32/28.50 Conjecture not found
% 54.36/28.54 Conjecture not found
% 54.38/28.60 Conjecture not found
% 54.38/28.62 Conjecture not found
% 54.56/28.66 Conjecture not found
% 54.98/28.71 Conjecture not found
% 54.98/28.74 Conjecture not found
% 55.17/28.78 Conjecture not found
% 55.17/28.79 Conjecture not found
% 55.20/28.80 Conjecture not found
% 55.22/28.82 Conjecture not found
% 55.22/28.87 Conjecture not found
% 55.22/28.88 Conjecture not found
% 55.22/28.91 Conjecture not found
% 55.32/28.95 Conjecture not found
% 55.32/28.96 Conjecture not found
% 55.47/29.08 Conjecture not found
% 55.47/29.08 Conjecture not found
% 55.50/29.10 Conjecture not found
% 55.50/29.11 Conjecture not found
% 55.54/29.14 Conjecture not found
% 56.11/29.37 Conjecture not found
% 56.11/29.42 Conjecture not found
% 56.11/29.45 Conjecture not found
% 56.11/29.45 Conjecture not found
% 56.23/29.46 Conjecture not found
% 56.25/29.49 Conjecture not found
% 56.25/29.49 Conjecture not found
% 56.31/29.61 Conjecture not found
% 56.38/29.62 Conjecture not found
% 56.44/29.71 Conjecture not found
% 56.53/29.76 Conjecture not found
% 56.74/29.82 Conjecture not found
% 57.18/29.87 Conjecture not found
% 57.18/29.88 Conjecture not found
% 57.18/29.89 Conjecture not found
% 57.18/29.90 Conjecture not found
% 57.18/29.91 Conjecture not found
% 57.27/29.94 Conjecture not found
% 57.30/29.97 Conjecture not found
% 57.30/29.98 Conjecture not found
% 57.39/30.04 Conjecture not found
% 57.43/30.12 Conjecture not found
% 57.43/30.14 Conjecture not found
% 57.51/30.17 Conjecture not found
% 57.51/30.18 Conjecture not found
% 57.51/30.20 Conjecture not found
% 57.51/30.21 Conjecture not found
% 57.57/30.25 Conjecture not found
% 57.72/30.28 Conjecture not found
% 58.41/30.42 Conjecture not found
% 58.64/30.72 Conjecture not found
% 59.48/30.94 Conjecture not found
% 59.48/30.95 Conjecture not found
% 59.63/31.00 Conjecture not found
% 59.68/31.11 Conjecture not found
% 59.68/31.14 Conjecture not found
% 59.78/31.15 Conjecture not found
% 59.78/31.16 Conjecture not found
% 59.78/31.20 Conjecture not found
% 59.85/31.22 Conjecture not found
% 59.89/31.29 Conjecture not found
% 59.89/31.31 Conjecture not found
% 59.89/31.32 Conjecture not found
% 59.89/31.33 Conjecture not found
% 59.97/31.37 Conjecture not found
% 60.24/31.40 Conjecture not found
% 60.24/31.42 Conjecture not found
% 60.72/31.46 Conjecture not found
% 60.85/31.58 Conjecture not found
% 60.85/31.59 Conjecture not found
% 60.85/31.64 Conjecture not found
% 60.93/31.69 Conjecture not found
% 60.98/31.70 Conjecture not found
% 60.98/31.71 Conjecture not found
% 60.98/31.72 Conjecture not found
% 60.98/31.72 Conjecture not found
% 60.98/31.74 Conjecture not found
% 61.07/31.78 Conjecture not found
% 61.07/31.78 Conjecture not found
% 61.14/31.85 Conjecture not found
% 61.90/32.00 Conjecture not found
% 61.90/32.03 Conjecture not found
% 61.90/32.04 Conjecture not found
% 61.90/32.05 Conjecture not found
% 62.01/32.08 Conjecture not found
% 62.01/32.10 Conjecture not found
% 62.08/32.15 Conjecture not found
% 62.08/32.18 Conjecture not found
% 62.08/32.18 Conjecture not found
% 62.08/32.19 Conjecture not found
% 62.18/32.25 Conjecture not found
% 62.18/32.27 Conjecture not found
% 62.24/32.32 Conjecture not found
% 62.24/32.34 Conjecture not found
% 62.24/32.35 Conjecture not found
% 62.31/32.37 Conjecture not found
% 62.31/32.40 Conjecture not found
% 62.31/32.41 Conjecture not found
% 62.31/32.42 Conjecture not found
% 62.31/32.43 Conjecture not found
% 62.31/32.45 Conjecture not found
% 62.31/32.47 Conjecture not found
% 62.44/32.50 Conjecture not found
% 62.51/32.53 Conjecture not found
% 63.20/32.67 Conjecture not found
% 63.28/32.73 Conjecture not found
% 63.28/32.75 Conjecture not found
% 63.35/32.78 Conjecture not found
% 63.35/32.82 Conjecture not found
% 63.35/32.87 Conjecture not found
% 63.48/32.92 Conjecture not found
% 63.53/32.96 Conjecture not found
% 63.53/33.00 Conjecture not found
% 63.53/33.03 Conjecture not found
% 63.63/33.06 Conjecture not found
% 64.42/33.19 Conjecture not found
% 64.42/33.20 Conjecture not found
% 64.42/33.21 Conjecture not found
% 64.53/33.29 Conjecture not found
% 64.59/33.36 Conjecture not found
% 64.59/33.37 Conjecture not found
% 64.59/33.41 Conjecture not found
% 64.66/33.43 Conjecture not found
% 64.66/33.44 Conjecture not found
% 64.66/33.45 Conjecture not found
% 64.72/33.48 Conjecture not found
% 64.72/33.54 Conjecture not found
% 64.80/33.57 Conjecture not found
% 64.80/33.58 Conjecture not found
% 64.85/33.61 Conjecture not found
% 64.85/33.64 Conjecture not found
% 65.07/33.70 Conjecture not found
% 65.07/33.71 Conjecture not found
% 65.50/33.75 Conjecture not found
% 65.64/33.81 Conjecture not found
% 65.82/33.88 Conjecture not found
% 65.90/33.95 Conjecture not found
% 65.90/33.96 Conjecture not found
% 65.94/34.02 Conjecture not found
% 66.01/34.06 Conjecture not found
% 66.01/34.08 Conjecture not found
% 66.01/34.13 Conjecture not found
% 66.09/34.13 Conjecture not found
% 66.09/34.14 Conjecture not found
% 66.14/34.20 Conjecture not found
% 66.14/34.22 Conjecture not found
% 66.60/34.26 Conjecture not found
% 66.95/34.32 Conjecture not found
% 66.95/34.33 Conjecture not found
% 66.95/34.33 Conjecture not found
% 66.97/34.35 Conjecture not found
% 67.06/34.43 Conjecture not found
% 67.12/34.49 Conjecture not found
% 67.12/34.51 Conjecture not found
% 67.12/34.52 Conjecture not found
% 67.12/34.54 Conjecture not found
% 67.22/34.59 Conjecture not found
% 67.27/34.66 Conjecture not found
% 67.42/34.83 Conjecture not found
% 67.54/34.91 Conjecture not found
% 67.69/34.94 Conjecture not found
% 68.33/35.03 Conjecture not found
% 68.43/35.12 Conjecture not found
% 68.43/35.14 Conjecture not found
% 68.51/35.19 Conjecture not found
% 68.51/35.20 Conjecture not found
% 68.51/35.20 Conjecture not found
% 68.51/35.21 Conjecture not found
% 68.57/35.24 Conjecture not found
% 68.60/35.26 Conjecture not found
% 68.60/35.27 Conjecture not found
% 68.60/35.29 Conjecture not found
% 68.60/35.30 Conjecture not found
% 68.60/35.32 Conjecture not found
% 68.60/35.32 Conjecture not found
% 68.69/35.36 Conjecture not found
% 68.73/35.39 Conjecture not found
% 68.73/35.41 Conjecture not found
% 68.73/35.43 Conjecture not found
% 68.79/35.47 Conjecture not found
% 69.06/35.55 Conjecture not found
% 69.44/35.58 Conjecture not found
% 69.78/35.70 Conjecture not found
% 69.78/35.71 Conjecture not found
% 69.78/35.73 Conjecture not found
% 69.84/35.74 Conjecture not found
% 69.86/35.78 Conjecture not found
% 69.86/35.81 Conjecture not found
% 71.16/36.28 Conjecture not found
% 71.16/36.31 Conjecture not found
% 71.16/36.33 Conjecture not found
% 71.26/36.38 Conjecture not found
% 71.34/36.45 Conjecture not found
% 71.34/36.47 Conjecture not found
% 71.37/36.52 Conjecture not found
% 71.42/36.55 Conjecture not found
% 71.45/36.58 Conjecture not found
% 71.45/36.62 Conjecture not found
% 71.51/36.64 Conjecture not found
% 71.51/36.66 Conjecture not found
% 72.28/36.77 Conjecture not found
% 72.39/36.81 Conjecture not found
% 72.45/36.82 Conjecture not found
% 72.45/36.83 Start search
% 177.47/62.65 nb_step : 1 - limit : 175719
% 178.84/63.37 Launch Gotab with destructive = true
%------------------------------------------------------------------------------