TSTP Solution File: SEU433+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU433+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n001.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:10 EDT 2022
% Result : Timeout 300.19s 94.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU433+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n001.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:46:36 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000048s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.54/0.59 Conjecture not found
% 0.54/0.61 Conjecture not found
% 0.64/0.65 Conjecture not found
% 0.76/0.73 Conjecture not found
% 0.76/0.73 Conjecture not found
% 0.84/0.81 Conjecture not found
% 0.98/0.86 Conjecture not found
% 1.13/0.94 Conjecture not found
% 1.14/0.98 Conjecture not found
% 1.26/1.05 Conjecture not found
% 1.35/1.09 Conjecture not found
% 1.35/1.14 Conjecture not found
% 1.35/1.16 Conjecture not found
% 1.52/1.19 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.59/1.22 Conjecture not found
% 1.59/1.23 Conjecture not found
% 1.80/1.33 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.80/1.35 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.38 Conjecture not found
% 1.80/1.38 Conjecture not found
% 1.80/1.39 Conjecture not found
% 1.80/1.39 Conjecture not found
% 1.91/1.44 Conjecture not found
% 2.02/1.49 Conjecture not found
% 2.02/1.49 Conjecture not found
% 2.02/1.49 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.11/1.52 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.58 Conjecture not found
% 2.15/1.59 Conjecture not found
% 2.15/1.61 Conjecture not found
% 2.15/1.62 Conjecture not found
% 2.32/1.63 Conjecture not found
% 2.32/1.67 Conjecture not found
% 2.46/1.71 Conjecture not found
% 2.46/1.76 Conjecture not found
% 2.46/1.76 Conjecture not found
% 2.59/1.79 Conjecture not found
% 2.62/1.82 Conjecture not found
% 2.62/1.85 Conjecture not found
% 2.62/1.86 Conjecture not found
% 2.62/1.88 Conjecture not found
% 2.78/1.97 Conjecture not found
% 2.93/2.00 Conjecture not found
% 2.93/2.03 Conjecture not found
% 2.93/2.04 Conjecture not found
% 2.93/2.06 Conjecture not found
% 3.09/2.08 Conjecture not found
% 3.31/2.27 Conjecture not found
% 3.31/2.29 Conjecture not found
% 3.48/2.32 Conjecture not found
% 3.60/2.43 Conjecture not found
% 3.60/2.44 Conjecture not found
% 3.60/2.46 Conjecture not found
% 3.60/2.48 Conjecture not found
% 3.81/2.52 Conjecture not found
% 3.81/2.59 Conjecture not found
% 3.96/2.67 Conjecture not found
% 4.15/2.75 Conjecture not found
% 4.28/2.80 Conjecture not found
% 4.31/2.82 Conjecture not found
% 4.33/2.86 Conjecture not found
% 4.33/2.87 Conjecture not found
% 4.33/2.91 Conjecture not found
% 4.53/2.93 Conjecture not found
% 4.53/2.95 Conjecture not found
% 4.53/2.96 Conjecture not found
% 4.64/3.03 Conjecture not found
% 4.64/3.05 Conjecture not found
% 4.77/3.09 Conjecture not found
% 4.77/3.15 Conjecture not found
% 5.04/3.25 Conjecture not found
% 5.32/3.41 Conjecture not found
% 5.64/3.61 Conjecture not found
% 6.31/3.93 Conjecture not found
% 6.31/3.96 Conjecture not found
% 6.42/3.99 Conjecture not found
% 6.58/4.10 Conjecture not found
% 6.58/4.14 Conjecture not found
% 6.71/4.17 Conjecture not found
% 6.83/4.23 Conjecture not found
% 6.87/4.28 Conjecture not found
% 7.02/4.35 Conjecture not found
% 7.13/4.38 Conjecture not found
% 7.13/4.40 Conjecture not found
% 7.13/4.41 Conjecture not found
% 7.13/4.43 Conjecture not found
% 7.25/4.44 Conjecture not found
% 7.32/4.54 Conjecture not found
% 7.40/4.64 Conjecture not found
% 7.64/4.71 Conjecture not found
% 7.81/4.83 Conjecture not found
% 7.81/4.85 Conjecture not found
% 7.88/4.89 Conjecture not found
% 7.88/4.92 Conjecture not found
% 7.88/4.93 Conjecture not found
% 8.05/4.96 Conjecture not found
% 8.05/4.98 Conjecture not found
% 8.16/5.00 Conjecture not found
% 8.16/5.04 Conjecture not found
% 8.21/5.04 Conjecture not found
% 8.21/5.05 Conjecture not found
% 8.21/5.07 Conjecture not found
% 8.21/5.11 Conjecture not found
% 8.37/5.14 Conjecture not found
% 8.43/5.18 Conjecture not found
% 8.43/5.23 Conjecture not found
% 8.80/5.42 Conjecture not found
% 8.80/5.47 Conjecture not found
% 8.97/5.48 Conjecture not found
% 8.97/5.50 Conjecture not found
% 8.97/5.53 Conjecture not found
% 8.97/5.55 Conjecture not found
% 9.16/5.60 Conjecture not found
% 9.16/5.61 Conjecture not found
% 9.19/5.65 Conjecture not found
% 9.19/5.67 Conjecture not found
% 9.27/5.76 Conjecture not found
% 10.28/6.32 Conjecture not found
% 11.16/6.87 Conjecture not found
% 11.39/6.99 Conjecture not found
% 11.39/7.05 Conjecture not found
% 11.39/7.07 Conjecture not found
% 11.59/7.09 Conjecture not found
% 11.63/7.14 Conjecture not found
% 11.67/7.16 Conjecture not found
% 11.67/7.18 Conjecture not found
% 11.67/7.21 Conjecture not found
% 11.67/7.23 Conjecture not found
% 11.97/7.29 Conjecture not found
% 11.97/7.32 Conjecture not found
% 11.97/7.33 Conjecture not found
% 12.05/7.37 Conjecture not found
% 12.20/7.43 Conjecture not found
% 12.24/7.47 Conjecture not found
% 12.24/7.53 Conjecture not found
% 12.46/7.59 Conjecture not found
% 12.46/7.61 Conjecture not found
% 12.46/7.64 Conjecture not found
% 12.54/7.66 Conjecture not found
% 12.65/7.69 Conjecture not found
% 12.72/7.74 Conjecture not found
% 12.74/7.78 Conjecture not found
% 12.74/7.79 Conjecture not found
% 12.94/7.86 Conjecture not found
% 12.94/7.90 Conjecture not found
% 12.94/7.91 Conjecture not found
% 12.94/7.93 Conjecture not found
% 13.05/7.95 Conjecture not found
% 13.05/7.97 Conjecture not found
% 13.18/7.99 Conjecture not found
% 13.18/8.01 Conjecture not found
% 13.23/8.04 Conjecture not found
% 13.25/8.06 Conjecture not found
% 13.25/8.07 Conjecture not found
% 13.42/8.13 Conjecture not found
% 13.42/8.15 Conjecture not found
% 13.48/8.19 Conjecture not found
% 13.48/8.22 Conjecture not found
% 13.48/8.23 Conjecture not found
% 13.67/8.26 Conjecture not found
% 13.67/8.28 Conjecture not found
% 13.71/8.31 Conjecture not found
% 13.75/8.34 Conjecture not found
% 13.75/8.35 Conjecture not found
% 13.75/8.37 Conjecture not found
% 13.75/8.41 Conjecture not found
% 13.95/8.44 Conjecture not found
% 13.95/8.49 Conjecture not found
% 14.01/8.49 Conjecture not found
% 14.01/8.52 Conjecture not found
% 14.01/8.55 Conjecture not found
% 14.20/8.57 Conjecture not found
% 14.20/8.59 Conjecture not found
% 14.24/8.60 Conjecture not found
% 14.24/8.63 Conjecture not found
% 14.24/8.63 Conjecture not found
% 14.28/8.64 Conjecture not found
% 14.28/8.64 Conjecture not found
% 14.28/8.67 Conjecture not found
% 14.49/8.79 Conjecture not found
% 14.49/8.80 Conjecture not found
% 14.56/8.83 Conjecture not found
% 14.56/8.87 Conjecture not found
% 14.63/8.88 Conjecture not found
% 14.80/8.92 Conjecture not found
% 14.80/8.95 Conjecture not found
% 14.80/8.97 Conjecture not found
% 14.80/9.01 Conjecture not found
% 14.89/9.04 Conjecture not found
% 14.89/9.09 Conjecture not found
% 15.10/9.15 Conjecture not found
% 15.37/9.31 Conjecture not found
% 15.48/9.40 Conjecture not found
% 15.68/9.44 Conjecture not found
% 15.68/9.45 Conjecture not found
% 15.68/9.47 Conjecture not found
% 15.77/9.50 Conjecture not found
% 15.77/9.55 Conjecture not found
% 15.77/9.56 Conjecture not found
% 16.03/9.62 Conjecture not found
% 16.03/9.70 Conjecture not found
% 16.27/9.77 Conjecture not found
% 16.35/9.80 Conjecture not found
% 16.35/9.86 Conjecture not found
% 16.57/9.88 Conjecture not found
% 16.62/9.95 Conjecture not found
% 16.62/10.01 Conjecture not found
% 16.93/10.11 Conjecture not found
% 16.99/10.21 Conjecture not found
% 16.99/10.23 Conjecture not found
% 17.23/10.27 Conjecture not found
% 17.27/10.30 Conjecture not found
% 17.27/10.32 Conjecture not found
% 17.31/10.40 Conjecture not found
% 17.56/10.49 Conjecture not found
% 17.63/10.50 Conjecture not found
% 17.63/10.53 Conjecture not found
% 18.14/10.82 Conjecture not found
% 18.30/10.89 Conjecture not found
% 18.36/10.92 Conjecture not found
% 18.36/10.94 Conjecture not found
% 18.39/10.96 Conjecture not found
% 18.39/10.98 Conjecture not found
% 18.64/11.06 Conjecture not found
% 18.68/11.12 Conjecture not found
% 18.94/11.23 Conjecture not found
% 19.02/11.29 Conjecture not found
% 19.02/11.31 Conjecture not found
% 19.22/11.43 Conjecture not found
% 19.42/11.51 Conjecture not found
% 19.49/11.56 Conjecture not found
% 19.73/11.62 Conjecture not found
% 19.73/11.67 Conjecture not found
% 19.79/11.69 Conjecture not found
% 19.79/11.71 Conjecture not found
% 19.79/11.72 Conjecture not found
% 19.79/11.73 Conjecture not found
% 19.87/11.77 Conjecture not found
% 20.01/11.82 Conjecture not found
% 20.13/11.84 Conjecture not found
% 20.14/11.86 Conjecture not found
% 20.20/11.91 Conjecture not found
% 20.20/11.92 Conjecture not found
% 20.20/11.94 Conjecture not found
% 20.34/11.98 Conjecture not found
% 20.57/12.11 Conjecture not found
% 20.57/12.13 Conjecture not found
% 20.61/12.17 Conjecture not found
% 20.61/12.18 Conjecture not found
% 20.61/12.18 Conjecture not found
% 20.61/12.19 Conjecture not found
% 20.61/12.21 Conjecture not found
% 20.94/12.29 Conjecture not found
% 20.94/12.29 Conjecture not found
% 20.94/12.31 Conjecture not found
% 21.08/12.38 Conjecture not found
% 21.21/12.46 Conjecture not found
% 21.33/12.53 Conjecture not found
% 21.33/12.54 Conjecture not found
% 21.41/12.65 Conjecture not found
% 21.77/12.77 Conjecture not found
% 21.77/12.78 Conjecture not found
% 22.03/12.86 Conjecture not found
% 22.03/12.89 Conjecture not found
% 22.12/12.90 Conjecture not found
% 22.12/12.97 Conjecture not found
% 22.26/13.05 Conjecture not found
% 22.54/13.12 Conjecture not found
% 22.54/13.14 Conjecture not found
% 22.63/13.24 Conjecture not found
% 22.90/13.29 Conjecture not found
% 22.93/13.32 Conjecture not found
% 22.96/13.40 Conjecture not found
% 23.06/13.44 Conjecture not found
% 23.06/13.45 Conjecture not found
% 23.06/13.49 Conjecture not found
% 23.42/13.60 Conjecture not found
% 23.42/13.62 Conjecture not found
% 23.46/13.63 Conjecture not found
% 23.46/13.68 Conjecture not found
% 23.75/13.75 Conjecture not found
% 23.75/13.75 Conjecture not found
% 23.82/13.81 Conjecture not found
% 23.82/13.85 Conjecture not found
% 23.90/13.90 Conjecture not found
% 23.97/13.97 Conjecture not found
% 24.26/14.08 Conjecture not found
% 24.32/14.10 Conjecture not found
% 24.39/14.15 Conjecture not found
% 24.40/14.21 Conjecture not found
% 24.58/14.30 Conjecture not found
% 24.58/14.32 Conjecture not found
% 24.78/14.38 Conjecture not found
% 24.83/14.40 Conjecture not found
% 24.83/14.41 Conjecture not found
% 24.83/14.41 Conjecture not found
% 24.83/14.43 Conjecture not found
% 25.16/14.48 Conjecture not found
% 25.16/14.50 Conjecture not found
% 25.22/14.58 Conjecture not found
% 25.29/14.64 Conjecture not found
% 25.34/14.69 Conjecture not found
% 25.34/14.73 Conjecture not found
% 25.34/14.75 Conjecture not found
% 25.69/14.81 Conjecture not found
% 25.69/14.83 Conjecture not found
% 25.73/14.84 Conjecture not found
% 25.86/14.91 Conjecture not found
% 25.86/14.95 Conjecture not found
% 26.10/15.01 Conjecture not found
% 26.19/15.06 Conjecture not found
% 26.19/15.09 Conjecture not found
% 26.22/15.12 Conjecture not found
% 26.63/15.31 Conjecture not found
% 26.87/15.39 Conjecture not found
% 27.00/15.41 Conjecture not found
% 27.11/15.53 Conjecture not found
% 27.11/15.55 Conjecture not found
% 27.18/15.59 Conjecture not found
% 27.18/15.62 Conjecture not found
% 27.55/15.74 Conjecture not found
% 27.55/15.79 Conjecture not found
% 27.63/15.80 Conjecture not found
% 27.63/15.84 Conjecture not found
% 27.63/15.88 Conjecture not found
% 27.72/15.94 Conjecture not found
% 28.11/16.05 Conjecture not found
% 28.11/16.06 Conjecture not found
% 28.11/16.06 Conjecture not found
% 28.11/16.07 Conjecture not found
% 28.11/16.11 Conjecture not found
% 28.20/16.12 Conjecture not found
% 28.20/16.17 Conjecture not found
% 28.28/16.28 Conjecture not found
% 28.63/16.37 Conjecture not found
% 28.74/16.39 Conjecture not found
% 28.74/16.41 Conjecture not found
% 28.76/16.42 Conjecture not found
% 28.76/16.47 Conjecture not found
% 28.76/16.49 Conjecture not found
% 28.90/16.50 Conjecture not found
% 28.90/16.57 Conjecture not found
% 29.17/16.62 Conjecture not found
% 29.17/16.66 Conjecture not found
% 29.26/16.69 Conjecture not found
% 29.29/16.71 Conjecture not found
% 29.64/16.85 Conjecture not found
% 29.71/16.87 Conjecture not found
% 29.71/16.89 Conjecture not found
% 29.80/16.96 Conjecture not found
% 29.80/16.98 Conjecture not found
% 30.12/17.06 Conjecture not found
% 30.12/17.10 Conjecture not found
% 30.21/17.12 Conjecture not found
% 30.21/17.13 Conjecture not found
% 30.21/17.16 Conjecture not found
% 30.27/17.17 Conjecture not found
% 30.38/17.29 Conjecture not found
% 30.38/17.30 Conjecture not found
% 30.41/17.31 Conjecture not found
% 30.46/17.38 Conjecture not found
% 30.81/17.43 Conjecture not found
% 30.81/17.46 Conjecture not found
% 30.81/17.48 Conjecture not found
% 30.87/17.51 Conjecture not found
% 30.87/17.54 Conjecture not found
% 30.94/17.58 Conjecture not found
% 30.98/17.61 Conjecture not found
% 31.22/17.66 Conjecture not found
% 31.22/17.69 Conjecture not found
% 31.22/17.70 Conjecture not found
% 31.22/17.71 Conjecture not found
% 31.39/17.75 Conjecture not found
% 31.39/17.78 Conjecture not found
% 31.45/17.80 Conjecture not found
% 31.45/17.83 Conjecture not found
% 31.45/17.83 Conjecture not found
% 31.63/17.92 Conjecture not found
% 31.87/17.99 Conjecture not found
% 31.94/18.02 Conjecture not found
% 31.94/18.04 Conjecture not found
% 31.94/18.05 Conjecture not found
% 32.00/18.08 Conjecture not found
% 32.00/18.09 Conjecture not found
% 32.00/18.10 Conjecture not found
% 32.00/18.13 Conjecture not found
% 32.00/18.15 Conjecture not found
% 32.23/18.18 Conjecture not found
% 32.46/18.27 Conjecture not found
% 32.54/18.33 Conjecture not found
% 32.60/18.43 Conjecture not found
% 32.60/18.46 Conjecture not found
% 33.03/18.53 Conjecture not found
% 33.13/18.63 Conjecture not found
% 33.20/18.72 Conjecture not found
% 33.20/18.76 Conjecture not found
% 33.43/18.84 Conjecture not found
% 33.43/18.88 Conjecture not found
% 33.43/18.90 Conjecture not found
% 33.76/18.92 Conjecture not found
% 33.76/18.94 Conjecture not found
% 33.76/18.95 Conjecture not found
% 33.76/18.98 Conjecture not found
% 33.76/18.98 Conjecture not found
% 33.83/19.01 Conjecture not found
% 33.83/19.02 Conjecture not found
% 33.83/19.07 Conjecture not found
% 33.95/19.13 Conjecture not found
% 33.95/19.16 Conjecture not found
% 34.34/19.24 Conjecture not found
% 34.34/19.27 Conjecture not found
% 34.34/19.28 Conjecture not found
% 34.45/19.35 Conjecture not found
% 34.58/19.45 Conjecture not found
% 34.58/19.47 Conjecture not found
% 34.58/19.49 Conjecture not found
% 35.08/19.63 Conjecture not found
% 35.08/19.67 Conjecture not found
% 35.17/19.70 Conjecture not found
% 35.17/19.74 Conjecture not found
% 35.17/19.75 Conjecture not found
% 35.29/19.81 Conjecture not found
% 35.29/19.82 Conjecture not found
% 35.29/19.85 Conjecture not found
% 35.73/19.92 Conjecture not found
% 35.73/19.96 Conjecture not found
% 35.73/19.98 Conjecture not found
% 35.81/20.00 Conjecture not found
% 35.81/20.01 Conjecture not found
% 35.81/20.06 Conjecture not found
% 35.90/20.10 Conjecture not found
% 35.96/20.15 Conjecture not found
% 35.96/20.19 Conjecture not found
% 36.46/20.32 Conjecture not found
% 36.46/20.33 Conjecture not found
% 36.46/20.34 Conjecture not found
% 36.46/20.35 Conjecture not found
% 36.55/20.37 Conjecture not found
% 36.56/20.39 Conjecture not found
% 36.56/20.39 Conjecture not found
% 36.62/20.46 Conjecture not found
% 36.62/20.48 Conjecture not found
% 36.62/20.51 Conjecture not found
% 37.06/20.57 Conjecture not found
% 37.14/20.58 Conjecture not found
% 37.14/20.62 Conjecture not found
% 37.14/20.67 Conjecture not found
% 37.23/20.68 Conjecture not found
% 37.25/20.71 Conjecture not found
% 37.29/20.75 Conjecture not found
% 37.29/20.77 Conjecture not found
% 37.36/20.81 Conjecture not found
% 37.36/20.82 Conjecture not found
% 37.36/20.84 Conjecture not found
% 37.36/20.85 Conjecture not found
% 37.42/20.95 Conjecture not found
% 37.95/21.03 Conjecture not found
% 37.95/21.06 Conjecture not found
% 38.01/21.12 Conjecture not found
% 38.01/21.16 Conjecture not found
% 38.08/21.18 Conjecture not found
% 38.08/21.23 Conjecture not found
% 38.37/21.38 Conjecture not found
% 38.64/21.45 Conjecture not found
% 38.64/21.48 Conjecture not found
% 38.73/21.52 Conjecture not found
% 38.73/21.54 Conjecture not found
% 38.81/21.58 Conjecture not found
% 38.85/21.62 Conjecture not found
% 38.87/21.64 Conjecture not found
% 38.87/21.67 Conjecture not found
% 38.87/21.69 Conjecture not found
% 38.87/21.71 Conjecture not found
% 38.96/21.73 Conjecture not found
% 38.96/21.75 Conjecture not found
% 38.96/21.76 Conjecture not found
% 39.24/21.84 Conjecture not found
% 39.49/21.90 Conjecture not found
% 39.52/21.94 Conjecture not found
% 39.52/21.95 Conjecture not found
% 39.52/21.98 Conjecture not found
% 39.60/22.02 Conjecture not found
% 39.60/22.05 Conjecture not found
% 39.60/22.07 Conjecture not found
% 39.70/22.10 Conjecture not found
% 39.70/22.11 Conjecture not found
% 39.70/22.12 Conjecture not found
% 40.05/22.20 Conjecture not found
% 40.20/22.23 Conjecture not found
% 40.20/22.27 Conjecture not found
% 40.20/22.30 Conjecture not found
% 40.20/22.31 Conjecture not found
% 40.32/22.36 Conjecture not found
% 40.32/22.37 Conjecture not found
% 40.32/22.38 Conjecture not found
% 40.32/22.40 Conjecture not found
% 40.41/22.43 Conjecture not found
% 40.41/22.44 Conjecture not found
% 40.41/22.47 Conjecture not found
% 40.41/22.49 Conjecture not found
% 40.50/22.51 Conjecture not found
% 40.50/22.57 Conjecture not found
% 41.01/22.62 Conjecture not found
% 41.11/22.69 Conjecture not found
% 41.13/22.71 Conjecture not found
% 41.13/22.72 Conjecture not found
% 41.13/22.72 Conjecture not found
% 41.13/22.80 Conjecture not found
% 41.22/22.81 Conjecture not found
% 41.22/22.85 Conjecture not found
% 41.75/22.91 Conjecture not found
% 41.85/22.99 Conjecture not found
% 41.85/23.03 Conjecture not found
% 41.98/23.15 Conjecture not found
% 41.98/23.17 Conjecture not found
% 42.08/23.23 Conjecture not found
% 42.08/23.24 Conjecture not found
% 42.08/23.26 Conjecture not found
% 42.08/23.27 Conjecture not found
% 42.59/23.33 Conjecture not found
% 42.68/23.38 Conjecture not found
% 42.68/23.40 Conjecture not found
% 42.68/23.42 Conjecture not found
% 42.68/23.45 Conjecture not found
% 42.80/23.52 Conjecture not found
% 42.82/23.53 Conjecture not found
% 42.82/23.55 Conjecture not found
% 42.82/23.60 Conjecture not found
% 42.92/23.63 Conjecture not found
% 43.46/23.70 Conjecture not found
% 43.46/23.74 Conjecture not found
% 43.46/23.77 Conjecture not found
% 43.55/23.79 Conjecture not found
% 43.55/23.86 Conjecture not found
% 43.66/23.90 Conjecture not found
% 43.69/23.92 Conjecture not found
% 43.71/23.95 Conjecture not found
% 43.71/23.98 Conjecture not found
% 43.71/23.99 Conjecture not found
% 43.71/24.00 Conjecture not found
% 43.90/24.06 Conjecture not found
% 44.39/24.18 Conjecture not found
% 44.43/24.22 Conjecture not found
% 44.43/24.23 Conjecture not found
% 44.46/24.26 Conjecture not found
% 44.46/24.28 Conjecture not found
% 44.46/24.30 Conjecture not found
% 44.54/24.33 Conjecture not found
% 44.54/24.35 Conjecture not found
% 44.54/24.36 Conjecture not found
% 44.60/24.39 Conjecture not found
% 44.60/24.42 Conjecture not found
% 44.60/24.46 Conjecture not found
% 45.00/24.51 Conjecture not found
% 45.00/24.52 Conjecture not found
% 45.23/24.57 Conjecture not found
% 45.23/24.58 Conjecture not found
% 45.23/24.60 Conjecture not found
% 45.29/24.66 Conjecture not found
% 45.35/24.68 Conjecture not found
% 45.35/24.68 Conjecture not found
% 45.35/24.69 Conjecture not found
% 45.35/24.71 Conjecture not found
% 45.35/24.73 Conjecture not found
% 45.35/24.75 Conjecture not found
% 45.44/24.77 Conjecture not found
% 45.48/24.79 Conjecture not found
% 45.48/24.81 Conjecture not found
% 45.53/24.85 Conjecture not found
% 45.53/24.86 Conjecture not found
% 45.53/24.88 Conjecture not found
% 45.53/24.90 Conjecture not found
% 45.74/24.98 Conjecture not found
% 46.16/24.99 Conjecture not found
% 46.26/25.08 Conjecture not found
% 46.26/25.09 Conjecture not found
% 46.26/25.10 Conjecture not found
% 46.32/25.21 Conjecture not found
% 46.41/25.23 Conjecture not found
% 46.41/25.25 Conjecture not found
% 46.41/25.28 Conjecture not found
% 47.03/25.37 Conjecture not found
% 47.07/25.41 Conjecture not found
% 47.10/25.45 Conjecture not found
% 47.10/25.49 Conjecture not found
% 47.19/25.53 Conjecture not found
% 47.27/25.63 Conjecture not found
% 47.27/25.64 Conjecture not found
% 47.37/25.71 Conjecture not found
% 47.38/25.74 Conjecture not found
% 47.94/25.81 Conjecture not found
% 47.94/25.83 Conjecture not found
% 47.94/25.85 Conjecture not found
% 47.94/25.86 Conjecture not found
% 48.03/25.89 Conjecture not found
% 48.03/25.91 Conjecture not found
% 48.03/25.92 Conjecture not found
% 48.03/25.94 Conjecture not found
% 48.03/25.97 Conjecture not found
% 48.12/25.98 Conjecture not found
% 48.15/26.02 Conjecture not found
% 48.15/26.04 Conjecture not found
% 48.26/26.13 Conjecture not found
% 48.26/26.16 Conjecture not found
% 48.26/26.19 Conjecture not found
% 48.45/26.29 Conjecture not found
% 48.92/26.33 Conjecture not found
% 48.92/26.37 Conjecture not found
% 49.01/26.39 Conjecture not found
% 49.01/26.41 Conjecture not found
% 49.01/26.45 Conjecture not found
% 49.13/26.51 Conjecture not found
% 49.99/26.89 Conjecture not found
% 50.06/26.91 Conjecture not found
% 50.06/26.95 Conjecture not found
% 50.14/26.98 Conjecture not found
% 50.14/27.00 Conjecture not found
% 50.14/27.01 Conjecture not found
% 50.14/27.02 Conjecture not found
% 50.14/27.04 Conjecture not found
% 50.14/27.05 Conjecture not found
% 50.14/27.06 Conjecture not found
% 50.23/27.08 Conjecture not found
% 50.87/27.21 Conjecture not found
% 50.94/27.31 Conjecture not found
% 50.94/27.38 Conjecture not found
% 51.08/27.42 Conjecture not found
% 51.11/27.46 Conjecture not found
% 51.11/27.48 Conjecture not found
% 51.11/27.49 Conjecture not found
% 51.19/27.54 Conjecture not found
% 51.19/27.56 Conjecture not found
% 51.19/27.58 Conjecture not found
% 51.25/27.59 Conjecture not found
% 51.25/27.61 Conjecture not found
% 51.57/27.69 Conjecture not found
% 51.92/27.74 Conjecture not found
% 51.92/27.80 Conjecture not found
% 52.00/27.85 Conjecture not found
% 52.00/27.86 Conjecture not found
% 52.06/27.92 Conjecture not found
% 52.06/27.95 Conjecture not found
% 52.06/27.97 Conjecture not found
% 52.15/27.98 Conjecture not found
% 52.17/28.01 Conjecture not found
% 52.21/28.03 Conjecture not found
% 52.22/28.04 Conjecture not found
% 52.29/28.12 Conjecture not found
% 52.29/28.13 Conjecture not found
% 52.72/28.17 Conjecture not found
% 52.72/28.22 Conjecture not found
% 52.72/28.23 Conjecture not found
% 53.00/28.26 Conjecture not found
% 53.00/28.28 Conjecture not found
% 53.03/28.30 Conjecture not found
% 53.08/28.38 Conjecture not found
% 53.15/28.42 Conjecture not found
% 53.15/28.43 Conjecture not found
% 53.15/28.44 Conjecture not found
% 53.22/28.53 Conjecture not found
% 53.22/28.54 Conjecture not found
% 53.32/28.57 Conjecture not found
% 53.32/28.59 Conjecture not found
% 53.59/28.76 Conjecture not found
% 53.79/28.86 Conjecture not found
% 54.02/28.90 Conjecture not found
% 54.08/28.95 Conjecture not found
% 54.08/29.01 Conjecture not found
% 54.17/29.04 Conjecture not found
% 54.25/29.13 Conjecture not found
% 54.34/29.20 Conjecture not found
% 54.36/29.27 Conjecture not found
% 54.36/29.29 Conjecture not found
% 54.45/29.31 Conjecture not found
% 54.63/29.40 Conjecture not found
% 55.22/29.48 Conjecture not found
% 55.25/29.55 Conjecture not found
% 55.25/29.57 Conjecture not found
% 55.25/29.58 Conjecture not found
% 55.25/29.59 Conjecture not found
% 55.25/29.61 Conjecture not found
% 55.35/29.64 Conjecture not found
% 55.35/29.65 Conjecture not found
% 55.35/29.66 Conjecture not found
% 55.35/29.68 Conjecture not found
% 55.44/29.72 Conjecture not found
% 55.44/29.73 Conjecture not found
% 55.44/29.75 Conjecture not found
% 55.44/29.79 Conjecture not found
% 55.44/29.79 Conjecture not found
% 56.11/29.98 Conjecture not found
% 56.28/29.99 Conjecture not found
% 56.30/30.01 Conjecture not found
% 56.30/30.02 Conjecture not found
% 56.30/30.06 Conjecture not found
% 56.40/30.18 Conjecture not found
% 56.49/30.23 Conjecture not found
% 56.49/30.26 Conjecture not found
% 56.49/30.27 Conjecture not found
% 56.49/30.27 Conjecture not found
% 56.58/30.30 Conjecture not found
% 56.58/30.31 Conjecture not found
% 56.79/30.43 Conjecture not found
% 56.79/30.45 Conjecture not found
% 57.47/30.59 Conjecture not found
% 57.52/30.66 Conjecture not found
% 57.52/30.68 Conjecture not found
% 57.52/30.70 Conjecture not found
% 57.52/30.71 Conjecture not found
% 57.61/30.73 Conjecture not found
% 57.61/30.74 Conjecture not found
% 57.61/30.76 Conjecture not found
% 57.69/30.80 Conjecture not found
% 57.69/30.83 Conjecture not found
% 57.69/30.85 Conjecture not found
% 57.95/30.92 Conjecture not found
% 58.51/31.07 Conjecture not found
% 58.60/31.10 Conjecture not found
% 58.60/31.14 Conjecture not found
% 58.60/31.15 Conjecture not found
% 58.69/31.17 Conjecture not found
% 58.72/31.20 Conjecture not found
% 58.75/31.24 Conjecture not found
% 58.75/31.26 Conjecture not found
% 58.82/31.36 Conjecture not found
% 59.82/31.74 Conjecture not found
% 59.96/31.91 Conjecture not found
% 60.05/31.92 Conjecture not found
% 60.05/31.97 Conjecture not found
% 60.14/32.09 Conjecture not found
% 60.73/32.15 Conjecture not found
% 60.73/32.16 Conjecture not found
% 60.73/32.17 Conjecture not found
% 60.73/32.20 Conjecture not found
% 61.00/32.21 Conjecture not found
% 61.00/32.26 Conjecture not found
% 61.00/32.28 Conjecture not found
% 61.00/32.29 Conjecture not found
% 61.10/32.30 Conjecture not found
% 61.10/32.33 Conjecture not found
% 61.10/32.34 Conjecture not found
% 61.10/32.35 Conjecture not found
% 61.10/32.36 Conjecture not found
% 61.19/32.44 Conjecture not found
% 61.19/32.46 Conjecture not found
% 61.47/32.50 Conjecture not found
% 61.52/32.59 Conjecture not found
% 61.52/32.60 Conjecture not found
% 62.07/32.60 Conjecture not found
% 62.07/32.61 Conjecture not found
% 62.07/32.62 Conjecture not found
% 62.07/32.63 Conjecture not found
% 62.07/32.67 Conjecture not found
% 62.07/32.68 Conjecture not found
% 62.18/32.74 Conjecture not found
% 62.28/32.83 Conjecture not found
% 62.28/32.85 Conjecture not found
% 62.28/32.86 Conjecture not found
% 62.28/32.87 Conjecture not found
% 62.28/32.90 Conjecture not found
% 62.38/32.93 Conjecture not found
% 62.38/32.97 Conjecture not found
% 62.38/32.99 Conjecture not found
% 62.38/32.99 Conjecture not found
% 62.38/33.01 Conjecture not found
% 62.56/33.09 Conjecture not found
% 63.22/33.11 Conjecture not found
% 63.22/33.14 Conjecture not found
% 63.22/33.16 Conjecture not found
% 63.22/33.17 Conjecture not found
% 63.34/33.19 Conjecture not found
% 63.35/33.21 Conjecture not found
% 63.36/33.21 Conjecture not found
% 63.36/33.22 Conjecture not found
% 63.36/33.23 Conjecture not found
% 63.36/33.25 Conjecture not found
% 63.36/33.26 Conjecture not found
% 63.36/33.30 Conjecture not found
% 63.46/33.31 Conjecture not found
% 63.46/33.37 Conjecture not found
% 63.55/33.41 Conjecture not found
% 63.55/33.43 Conjecture not found
% 63.55/33.46 Conjecture not found
% 64.12/33.52 Conjecture not found
% 64.21/33.60 Conjecture not found
% 64.49/33.66 Conjecture not found
% 64.56/33.72 Conjecture not found
% 64.56/33.77 Conjecture not found
% 64.67/33.81 Conjecture not found
% 64.71/33.83 Conjecture not found
% 64.71/33.89 Conjecture not found
% 64.71/33.90 Conjecture not found
% 64.79/33.91 Conjecture not found
% 64.79/33.98 Conjecture not found
% 64.86/34.06 Conjecture not found
% 64.86/34.08 Conjecture not found
% 65.73/34.13 Conjecture not found
% 65.73/34.15 Conjecture not found
% 65.73/34.16 Conjecture not found
% 65.73/34.17 Conjecture not found
% 65.73/34.20 Conjecture not found
% 65.84/34.26 Conjecture not found
% 65.91/34.30 Conjecture not found
% 65.91/34.31 Conjecture not found
% 65.91/34.34 Conjecture not found
% 65.98/34.37 Conjecture not found
% 66.02/34.40 Conjecture not found
% 66.02/34.41 Conjecture not found
% 66.02/34.42 Conjecture not found
% 66.05/34.46 Conjecture not found
% 66.30/34.57 Conjecture not found
% 66.82/34.66 Conjecture not found
% 66.82/34.68 Conjecture not found
% 67.03/34.72 Conjecture not found
% 67.04/34.76 Conjecture not found
% 67.04/34.77 Conjecture not found
% 67.04/34.80 Conjecture not found
% 67.11/34.81 Conjecture not found
% 67.11/34.82 Conjecture not found
% 67.11/34.87 Conjecture not found
% 67.18/34.88 Conjecture not found
% 67.18/34.89 Conjecture not found
% 67.18/34.91 Conjecture not found
% 67.18/34.92 Conjecture not found
% 67.18/34.92 Conjecture not found
% 67.18/34.93 Conjecture not found
% 67.29/34.99 Conjecture not found
% 67.43/35.04 Conjecture not found
% 67.43/35.07 Conjecture not found
% 67.43/35.08 Conjecture not found
% 68.04/35.12 Conjecture not found
% 68.25/35.19 Conjecture not found
% 68.25/35.24 Conjecture not found
% 68.46/35.40 Conjecture not found
% 68.54/35.51 Conjecture not found
% 68.54/35.52 Conjecture not found
% 68.54/35.55 Conjecture not found
% 68.86/35.63 Conjecture not found
% 68.86/35.65 Conjecture not found
% 69.53/35.73 Conjecture not found
% 69.53/35.74 Conjecture not found
% 69.53/35.75 Conjecture not found
% 69.53/35.76 Conjecture not found
% 69.53/35.78 Conjecture not found
% 69.63/35.80 Conjecture not found
% 69.63/35.81 Conjecture not found
% 69.63/35.83 Conjecture not found
% 69.63/35.84 Conjecture not found
% 69.63/35.86 Conjecture not found
% 69.63/35.86 Conjecture not found
% 69.73/35.90 Conjecture not found
% 69.75/35.94 Conjecture not found
% 69.75/35.97 Conjecture not found
% 69.84/36.00 Conjecture not found
% 69.84/36.05 Conjecture not found
% 69.93/36.09 Conjecture not found
% 69.93/36.10 Conjecture not found
% 70.02/36.19 Conjecture not found
% 70.03/36.20 Conjecture not found
% 70.04/36.21 Conjecture not found
% 70.04/36.22 Conjecture not found
% 70.10/36.29 Conjecture not found
% 70.85/36.34 Conjecture not found
% 71.33/36.77 Conjecture not found
% 71.41/36.82 Conjecture not found
% 72.09/36.89 Conjecture not found
% 72.29/36.94 Conjecture not found
% 72.37/37.03 Conjecture not found
% 72.37/37.05 Conjecture not found
% 72.44/37.12 Conjecture not found
% 72.44/37.16 Conjecture not found
% 72.56/37.20 Conjecture not found
% 72.59/37.24 Conjecture not found
% 72.59/37.26 Conjecture not found
% 72.59/37.28 Conjecture not found
% 72.67/37.32 Conjecture not found
% 72.67/37.34 Conjecture not found
% 72.67/37.35 Conjecture not found
% 72.67/37.36 Start search
% 190.51/66.62 nb_step : 1 - limit : 175722
% 192.28/67.56 Launch Gotab with destructive = true
%------------------------------------------------------------------------------