TSTP Solution File: SEV435+1 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEV435+1 : TPTP v8.1.0. Released v6.3.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n003.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 07:51:55 EDT 2022
% Result : Timeout 300.21s 104.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SEV435+1 : TPTP v8.1.0. Released v6.3.0.
% 0.10/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n003.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 18:51: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.000035s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.42 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.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.59 Conjecture not found
% 0.18/0.61 Conjecture not found
% 0.63/0.65 Conjecture not found
% 0.75/0.72 Conjecture not found
% 0.75/0.73 Conjecture not found
% 0.86/0.80 Conjecture not found
% 0.86/0.84 Conjecture not found
% 1.09/0.92 Conjecture not found
% 1.18/0.95 Conjecture not found
% 1.31/1.02 Conjecture not found
% 1.31/1.06 Conjecture not found
% 1.41/1.11 Conjecture not found
% 1.41/1.14 Conjecture not found
% 1.41/1.17 Conjecture not found
% 1.61/1.18 Conjecture not found
% 1.61/1.19 Conjecture not found
% 1.61/1.20 Conjecture not found
% 1.66/1.21 Conjecture not found
% 1.73/1.31 Conjecture not found
% 1.73/1.33 Conjecture not found
% 1.73/1.34 Conjecture not found
% 1.90/1.35 Conjecture not found
% 1.90/1.35 Conjecture not found
% 1.90/1.36 Conjecture not found
% 1.90/1.36 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.99/1.42 Conjecture not found
% 2.11/1.48 Conjecture not found
% 2.11/1.48 Conjecture not found
% 2.11/1.48 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.19/1.51 Conjecture not found
% 2.19/1.53 Conjecture not found
% 2.27/1.54 Conjecture not found
% 2.27/1.57 Conjecture not found
% 2.27/1.59 Conjecture not found
% 2.27/1.60 Conjecture not found
% 2.27/1.61 Conjecture not found
% 2.27/1.62 Conjecture not found
% 2.43/1.66 Conjecture not found
% 2.51/1.72 Conjecture not found
% 2.65/1.77 Conjecture not found
% 2.66/1.78 Conjecture not found
% 2.66/1.80 Conjecture not found
% 2.74/1.83 Conjecture not found
% 2.79/1.86 Conjecture not found
% 2.79/1.87 Conjecture not found
% 2.79/1.90 Conjecture not found
% 2.99/1.99 Conjecture not found
% 2.99/2.02 Conjecture not found
% 2.99/2.04 Conjecture not found
% 3.15/2.06 Conjecture not found
% 3.15/2.08 Conjecture not found
% 3.17/2.10 Conjecture not found
% 3.43/2.26 Conjecture not found
% 3.54/2.29 Conjecture not found
% 3.54/2.32 Conjecture not found
% 3.82/2.43 Conjecture not found
% 3.82/2.44 Conjecture not found
% 3.82/2.46 Conjecture not found
% 3.82/2.48 Conjecture not found
% 3.94/2.52 Conjecture not found
% 4.06/2.59 Conjecture not found
% 4.06/2.66 Conjecture not found
% 4.31/2.74 Conjecture not found
% 4.31/2.79 Conjecture not found
% 4.31/2.81 Conjecture not found
% 4.51/2.85 Conjecture not found
% 4.51/2.85 Conjecture not found
% 4.64/2.89 Conjecture not found
% 4.64/2.91 Conjecture not found
% 4.64/2.94 Conjecture not found
% 4.64/2.95 Conjecture not found
% 4.81/3.03 Conjecture not found
% 4.81/3.04 Conjecture not found
% 4.81/3.08 Conjecture not found
% 5.02/3.15 Conjecture not found
% 5.17/3.26 Conjecture not found
% 5.59/3.42 Conjecture not found
% 5.89/3.64 Conjecture not found
% 6.50/3.97 Conjecture not found
% 6.67/3.99 Conjecture not found
% 6.70/4.02 Conjecture not found
% 6.85/4.13 Conjecture not found
% 6.97/4.17 Conjecture not found
% 6.97/4.20 Conjecture not found
% 6.97/4.25 Conjecture not found
% 7.23/4.30 Conjecture not found
% 7.29/4.38 Conjecture not found
% 7.41/4.43 Conjecture not found
% 7.41/4.46 Conjecture not found
% 7.46/4.47 Conjecture not found
% 7.46/4.50 Conjecture not found
% 7.46/4.51 Conjecture not found
% 7.75/4.61 Conjecture not found
% 7.80/4.74 Conjecture not found
% 8.03/4.82 Conjecture not found
% 8.28/4.96 Conjecture not found
% 8.28/5.00 Conjecture not found
% 8.45/5.05 Conjecture not found
% 8.45/5.08 Conjecture not found
% 8.49/5.10 Conjecture not found
% 8.49/5.14 Conjecture not found
% 8.64/5.17 Conjecture not found
% 8.64/5.19 Conjecture not found
% 8.70/5.25 Conjecture not found
% 8.70/5.25 Conjecture not found
% 8.80/5.26 Conjecture not found
% 8.80/5.28 Conjecture not found
% 8.87/5.33 Conjecture not found
% 8.87/5.36 Conjecture not found
% 8.91/5.42 Conjecture not found
% 9.09/5.47 Conjecture not found
% 9.45/5.72 Conjecture not found
% 9.53/5.77 Conjecture not found
% 9.53/5.78 Conjecture not found
% 9.56/5.81 Conjecture not found
% 9.66/5.85 Conjecture not found
% 9.66/5.89 Conjecture not found
% 9.76/5.96 Conjecture not found
% 9.82/5.97 Conjecture not found
% 9.82/6.02 Conjecture not found
% 9.82/6.04 Conjecture not found
% 10.06/6.15 Conjecture not found
% 11.05/6.85 Conjecture not found
% 12.13/7.56 Conjecture not found
% 12.45/7.73 Conjecture not found
% 12.46/7.81 Conjecture not found
% 12.53/7.83 Conjecture not found
% 12.62/7.87 Conjecture not found
% 12.62/7.93 Conjecture not found
% 12.62/7.95 Conjecture not found
% 12.77/7.98 Conjecture not found
% 12.80/8.05 Conjecture not found
% 12.92/8.12 Conjecture not found
% 13.02/8.19 Conjecture not found
% 13.15/8.23 Conjecture not found
% 13.15/8.24 Conjecture not found
% 13.21/8.29 Conjecture not found
% 13.40/8.36 Conjecture not found
% 13.40/8.42 Conjecture not found
% 13.49/8.48 Conjecture not found
% 13.70/8.59 Conjecture not found
% 13.70/8.61 Conjecture not found
% 13.75/8.64 Conjecture not found
% 13.77/8.68 Conjecture not found
% 13.77/8.71 Conjecture not found
% 13.97/8.78 Conjecture not found
% 13.97/8.83 Conjecture not found
% 14.05/8.85 Conjecture not found
% 14.13/8.93 Conjecture not found
% 14.19/9.01 Conjecture not found
% 14.32/9.04 Conjecture not found
% 14.32/9.06 Conjecture not found
% 14.38/9.09 Conjecture not found
% 14.38/9.11 Conjecture not found
% 14.38/9.14 Conjecture not found
% 14.55/9.17 Conjecture not found
% 14.58/9.20 Conjecture not found
% 14.62/9.23 Conjecture not found
% 14.62/9.25 Conjecture not found
% 14.69/9.32 Conjecture not found
% 14.69/9.36 Conjecture not found
% 14.85/9.40 Conjecture not found
% 14.85/9.44 Conjecture not found
% 14.95/9.47 Conjecture not found
% 14.98/9.49 Conjecture not found
% 14.98/9.52 Conjecture not found
% 15.01/9.56 Conjecture not found
% 15.01/9.60 Conjecture not found
% 15.21/9.62 Conjecture not found
% 15.21/9.67 Conjecture not found
% 15.28/9.71 Conjecture not found
% 15.28/9.74 Conjecture not found
% 15.51/9.80 Conjecture not found
% 15.51/9.81 Conjecture not found
% 15.54/9.84 Conjecture not found
% 15.54/9.90 Conjecture not found
% 15.62/9.92 Conjecture not found
% 15.62/9.94 Conjecture not found
% 15.62/9.96 Conjecture not found
% 15.71/9.99 Conjecture not found
% 15.71/10.01 Conjecture not found
% 15.71/10.01 Conjecture not found
% 15.71/10.02 Conjecture not found
% 15.91/10.08 Conjecture not found
% 16.17/10.22 Conjecture not found
% 16.17/10.24 Conjecture not found
% 16.17/10.27 Conjecture not found
% 16.26/10.31 Conjecture not found
% 16.26/10.33 Conjecture not found
% 16.26/10.37 Conjecture not found
% 16.34/10.40 Conjecture not found
% 16.38/10.44 Conjecture not found
% 16.38/10.52 Conjecture not found
% 16.60/10.58 Conjecture not found
% 16.68/10.63 Conjecture not found
% 16.82/10.71 Conjecture not found
% 17.11/10.91 Conjecture not found
% 17.34/11.03 Conjecture not found
% 17.38/11.11 Conjecture not found
% 17.38/11.12 Conjecture not found
% 17.47/11.18 Conjecture not found
% 17.65/11.25 Conjecture not found
% 17.73/11.31 Conjecture not found
% 17.77/11.34 Conjecture not found
% 17.98/11.47 Conjecture not found
% 18.13/11.56 Conjecture not found
% 18.19/11.64 Conjecture not found
% 18.23/11.72 Conjecture not found
% 18.48/11.80 Conjecture not found
% 18.48/11.83 Conjecture not found
% 18.57/11.89 Conjecture not found
% 18.78/11.98 Conjecture not found
% 18.89/12.10 Conjecture not found
% 19.21/12.27 Conjecture not found
% 19.21/12.29 Conjecture not found
% 19.28/12.33 Conjecture not found
% 19.28/12.36 Conjecture not found
% 19.34/12.40 Conjecture not found
% 19.64/12.55 Conjecture not found
% 19.71/12.66 Conjecture not found
% 19.77/12.68 Conjecture not found
% 19.77/12.74 Conjecture not found
% 20.49/13.14 Conjecture not found
% 20.58/13.24 Conjecture not found
% 20.66/13.31 Conjecture not found
% 20.66/13.35 Conjecture not found
% 20.91/13.38 Conjecture not found
% 20.92/13.40 Conjecture not found
% 20.96/13.50 Conjecture not found
% 21.05/13.59 Conjecture not found
% 21.35/13.71 Conjecture not found
% 21.45/13.79 Conjecture not found
% 21.49/13.84 Conjecture not found
% 21.85/14.04 Conjecture not found
% 21.93/14.13 Conjecture not found
% 22.02/14.20 Conjecture not found
% 22.09/14.27 Conjecture not found
% 22.30/14.35 Conjecture not found
% 22.30/14.37 Conjecture not found
% 22.40/14.42 Conjecture not found
% 22.40/14.44 Conjecture not found
% 22.46/14.46 Conjecture not found
% 22.46/14.54 Conjecture not found
% 22.56/14.59 Conjecture not found
% 22.60/14.63 Conjecture not found
% 22.64/14.68 Conjecture not found
% 22.93/14.79 Conjecture not found
% 22.93/14.80 Conjecture not found
% 22.93/14.84 Conjecture not found
% 23.04/14.89 Conjecture not found
% 23.41/15.11 Conjecture not found
% 23.41/15.13 Conjecture not found
% 23.48/15.20 Conjecture not found
% 23.48/15.21 Conjecture not found
% 23.54/15.21 Conjecture not found
% 23.54/15.22 Conjecture not found
% 23.54/15.24 Conjecture not found
% 23.78/15.37 Conjecture not found
% 23.86/15.38 Conjecture not found
% 23.86/15.41 Conjecture not found
% 24.01/15.54 Conjecture not found
% 24.09/15.64 Conjecture not found
% 24.43/15.81 Conjecture not found
% 24.49/15.83 Conjecture not found
% 24.88/16.06 Conjecture not found
% 25.08/16.28 Conjecture not found
% 25.08/16.31 Conjecture not found
% 25.33/16.40 Conjecture not found
% 25.45/16.43 Conjecture not found
% 25.46/16.46 Conjecture not found
% 25.60/16.60 Conjecture not found
% 25.93/16.72 Conjecture not found
% 25.93/16.80 Conjecture not found
% 26.01/16.83 Conjecture not found
% 26.20/17.00 Conjecture not found
% 26.24/17.07 Conjecture not found
% 26.24/17.11 Conjecture not found
% 26.58/17.20 Conjecture not found
% 26.66/17.28 Conjecture not found
% 26.66/17.29 Conjecture not found
% 26.70/17.36 Conjecture not found
% 27.03/17.54 Conjecture not found
% 27.12/17.58 Conjecture not found
% 27.12/17.61 Conjecture not found
% 27.17/17.70 Conjecture not found
% 27.27/17.78 Conjecture not found
% 27.27/17.78 Conjecture not found
% 27.57/17.87 Conjecture not found
% 27.67/17.95 Conjecture not found
% 27.67/18.01 Conjecture not found
% 27.77/18.08 Conjecture not found
% 27.91/18.18 Conjecture not found
% 28.05/18.22 Conjecture not found
% 28.19/18.32 Conjecture not found
% 28.32/18.43 Conjecture not found
% 28.49/18.57 Conjecture not found
% 28.49/18.62 Conjecture not found
% 28.83/18.73 Conjecture not found
% 28.91/18.77 Conjecture not found
% 28.93/18.79 Conjecture not found
% 28.93/18.79 Conjecture not found
% 28.93/18.81 Conjecture not found
% 28.98/18.85 Conjecture not found
% 29.00/18.86 Conjecture not found
% 29.24/19.00 Conjecture not found
% 29.44/19.11 Conjecture not found
% 29.52/19.20 Conjecture not found
% 29.58/19.24 Conjecture not found
% 29.58/19.25 Conjecture not found
% 29.64/19.35 Conjecture not found
% 29.92/19.39 Conjecture not found
% 29.99/19.41 Conjecture not found
% 30.10/19.54 Conjecture not found
% 30.16/19.57 Conjecture not found
% 30.16/19.64 Conjecture not found
% 30.42/19.76 Conjecture not found
% 30.42/19.81 Conjecture not found
% 30.64/19.87 Conjecture not found
% 31.24/20.25 Conjecture not found
% 31.39/20.37 Conjecture not found
% 31.39/20.39 Conjecture not found
% 31.55/20.55 Conjecture not found
% 31.87/20.58 Conjecture not found
% 31.91/20.67 Conjecture not found
% 32.01/20.72 Conjecture not found
% 32.09/20.87 Conjecture not found
% 32.29/20.94 Conjecture not found
% 32.29/20.97 Conjecture not found
% 32.29/21.00 Conjecture not found
% 32.57/21.06 Conjecture not found
% 32.63/21.13 Conjecture not found
% 32.79/21.26 Conjecture not found
% 32.79/21.28 Conjecture not found
% 32.79/21.29 Conjecture not found
% 32.83/21.30 Conjecture not found
% 32.87/21.38 Conjecture not found
% 32.87/21.41 Conjecture not found
% 33.29/21.51 Conjecture not found
% 33.46/21.67 Conjecture not found
% 33.54/21.78 Conjecture not found
% 33.87/21.84 Conjecture not found
% 33.87/21.87 Conjecture not found
% 33.92/21.89 Conjecture not found
% 33.99/21.98 Conjecture not found
% 34.05/22.02 Conjecture not found
% 34.05/22.03 Conjecture not found
% 34.09/22.08 Conjecture not found
% 34.17/22.14 Conjecture not found
% 34.22/22.22 Conjecture not found
% 34.58/22.29 Conjecture not found
% 34.58/22.34 Conjecture not found
% 34.75/22.49 Conjecture not found
% 34.84/22.54 Conjecture not found
% 34.84/22.56 Conjecture not found
% 35.22/22.72 Conjecture not found
% 35.22/22.75 Conjecture not found
% 35.33/22.84 Conjecture not found
% 35.42/22.88 Conjecture not found
% 35.46/22.92 Conjecture not found
% 35.50/22.94 Conjecture not found
% 35.50/23.00 Conjecture not found
% 35.50/23.01 Conjecture not found
% 36.03/23.22 Conjecture not found
% 36.07/23.24 Conjecture not found
% 36.07/23.25 Conjecture not found
% 36.07/23.33 Conjecture not found
% 36.16/23.39 Conjecture not found
% 36.24/23.44 Conjecture not found
% 36.24/23.48 Conjecture not found
% 36.35/23.53 Conjecture not found
% 36.35/23.59 Conjecture not found
% 36.77/23.71 Conjecture not found
% 36.77/23.75 Conjecture not found
% 36.88/23.81 Conjecture not found
% 36.89/23.86 Conjecture not found
% 36.89/23.88 Conjecture not found
% 36.89/23.90 Conjecture not found
% 37.01/23.97 Conjecture not found
% 37.09/24.05 Conjecture not found
% 37.17/24.10 Conjecture not found
% 37.48/24.20 Conjecture not found
% 37.56/24.21 Conjecture not found
% 37.66/24.31 Conjecture not found
% 37.74/24.40 Conjecture not found
% 37.74/24.45 Conjecture not found
% 37.83/24.49 Conjecture not found
% 37.87/24.54 Conjecture not found
% 37.87/24.60 Conjecture not found
% 37.87/24.62 Conjecture not found
% 37.97/24.66 Conjecture not found
% 38.33/24.74 Conjecture not found
% 38.40/24.77 Conjecture not found
% 38.40/24.80 Conjecture not found
% 38.50/24.89 Conjecture not found
% 38.57/24.99 Conjecture not found
% 38.93/25.19 Conjecture not found
% 38.93/25.24 Conjecture not found
% 39.25/25.32 Conjecture not found
% 39.36/25.46 Conjecture not found
% 39.50/25.61 Conjecture not found
% 39.59/25.70 Conjecture not found
% 40.00/25.82 Conjecture not found
% 40.00/25.85 Conjecture not found
% 40.08/25.87 Conjecture not found
% 40.10/25.90 Conjecture not found
% 40.10/25.92 Conjecture not found
% 40.17/25.96 Conjecture not found
% 40.17/26.01 Conjecture not found
% 40.24/26.02 Conjecture not found
% 40.24/26.06 Conjecture not found
% 40.29/26.09 Conjecture not found
% 40.37/26.17 Conjecture not found
% 40.53/26.31 Conjecture not found
% 40.88/26.37 Conjecture not found
% 40.95/26.43 Conjecture not found
% 41.03/26.46 Conjecture not found
% 41.03/26.49 Conjecture not found
% 41.17/26.62 Conjecture not found
% 41.54/26.82 Conjecture not found
% 41.71/26.87 Conjecture not found
% 41.71/26.90 Conjecture not found
% 41.87/27.06 Conjecture not found
% 42.00/27.15 Conjecture not found
% 42.08/27.20 Conjecture not found
% 42.08/27.27 Conjecture not found
% 42.17/27.29 Conjecture not found
% 42.45/27.44 Conjecture not found
% 42.45/27.48 Conjecture not found
% 42.45/27.50 Conjecture not found
% 42.73/27.56 Conjecture not found
% 42.81/27.61 Conjecture not found
% 42.81/27.63 Conjecture not found
% 42.81/27.67 Conjecture not found
% 42.89/27.69 Conjecture not found
% 42.99/27.78 Conjecture not found
% 43.03/27.86 Conjecture not found
% 43.11/27.96 Conjecture not found
% 43.19/28.06 Conjecture not found
% 43.82/28.28 Conjecture not found
% 43.82/28.30 Conjecture not found
% 43.82/28.34 Conjecture not found
% 43.91/28.37 Conjecture not found
% 43.94/28.40 Conjecture not found
% 43.99/28.44 Conjecture not found
% 43.99/28.45 Conjecture not found
% 44.12/28.61 Conjecture not found
% 44.12/28.66 Conjecture not found
% 44.57/28.72 Conjecture not found
% 44.61/28.79 Conjecture not found
% 44.61/28.81 Conjecture not found
% 44.69/28.85 Conjecture not found
% 44.74/28.91 Conjecture not found
% 44.74/28.94 Conjecture not found
% 44.82/28.99 Conjecture not found
% 44.91/29.07 Conjecture not found
% 44.91/29.12 Conjecture not found
% 45.04/29.19 Conjecture not found
% 45.04/29.21 Conjecture not found
% 45.04/29.24 Conjecture not found
% 45.16/29.29 Conjecture not found
% 45.56/29.43 Conjecture not found
% 45.70/29.56 Conjecture not found
% 45.75/29.62 Conjecture not found
% 45.86/29.73 Conjecture not found
% 45.92/29.80 Conjecture not found
% 45.92/29.82 Conjecture not found
% 46.02/29.87 Conjecture not found
% 46.35/30.02 Conjecture not found
% 46.60/30.09 Conjecture not found
% 46.66/30.15 Conjecture not found
% 46.73/30.22 Conjecture not found
% 46.77/30.26 Conjecture not found
% 46.86/30.34 Conjecture not found
% 46.93/30.41 Conjecture not found
% 46.93/30.45 Conjecture not found
% 47.04/30.53 Conjecture not found
% 47.16/30.61 Conjecture not found
% 47.52/30.65 Conjecture not found
% 47.59/30.69 Conjecture not found
% 47.59/30.73 Conjecture not found
% 47.59/30.76 Conjecture not found
% 47.72/30.83 Conjecture not found
% 47.74/30.90 Conjecture not found
% 47.84/30.99 Conjecture not found
% 47.90/31.01 Conjecture not found
% 47.90/31.07 Conjecture not found
% 47.98/31.14 Conjecture not found
% 48.19/31.20 Conjecture not found
% 48.32/31.26 Conjecture not found
% 48.32/31.31 Conjecture not found
% 48.60/31.32 Conjecture not found
% 48.60/31.35 Conjecture not found
% 48.67/31.43 Conjecture not found
% 48.67/31.46 Conjecture not found
% 48.78/31.51 Conjecture not found
% 48.82/31.59 Conjecture not found
% 48.82/31.60 Conjecture not found
% 48.99/31.73 Conjecture not found
% 48.99/31.75 Conjecture not found
% 49.05/31.78 Conjecture not found
% 49.05/31.81 Conjecture not found
% 49.55/31.93 Conjecture not found
% 49.57/31.97 Conjecture not found
% 49.65/32.02 Conjecture not found
% 49.71/32.08 Conjecture not found
% 49.71/32.10 Conjecture not found
% 49.80/32.19 Conjecture not found
% 49.89/32.29 Conjecture not found
% 50.08/32.47 Conjecture not found
% 50.12/32.50 Conjecture not found
% 50.12/32.53 Conjecture not found
% 50.17/32.54 Conjecture not found
% 50.59/32.75 Conjecture not found
% 50.80/32.77 Conjecture not found
% 50.84/32.81 Conjecture not found
% 50.90/32.88 Conjecture not found
% 51.03/33.03 Conjecture not found
% 51.09/33.10 Conjecture not found
% 51.80/33.40 Conjecture not found
% 51.86/33.42 Conjecture not found
% 51.90/33.53 Conjecture not found
% 51.97/33.54 Conjecture not found
% 51.97/33.56 Conjecture not found
% 52.02/33.58 Conjecture not found
% 52.08/33.64 Conjecture not found
% 52.16/33.72 Conjecture not found
% 52.19/33.76 Conjecture not found
% 52.19/33.80 Conjecture not found
% 52.27/33.85 Conjecture not found
% 52.42/33.99 Conjecture not found
% 52.42/34.01 Conjecture not found
% 52.48/34.06 Conjecture not found
% 53.02/34.20 Conjecture not found
% 53.02/34.24 Conjecture not found
% 53.19/34.34 Conjecture not found
% 53.19/34.41 Conjecture not found
% 53.34/34.49 Conjecture not found
% 53.34/34.54 Conjecture not found
% 53.57/34.72 Conjecture not found
% 53.64/34.80 Conjecture not found
% 53.64/34.86 Conjecture not found
% 54.23/34.94 Conjecture not found
% 54.23/35.01 Conjecture not found
% 54.32/35.04 Conjecture not found
% 54.32/35.07 Conjecture not found
% 54.40/35.12 Conjecture not found
% 54.58/35.31 Conjecture not found
% 54.62/35.37 Conjecture not found
% 54.62/35.40 Conjecture not found
% 54.70/35.47 Conjecture not found
% 54.76/35.49 Conjecture not found
% 54.76/35.54 Conjecture not found
% 54.85/35.59 Conjecture not found
% 54.89/35.62 Conjecture not found
% 54.93/35.65 Conjecture not found
% 55.16/35.72 Conjecture not found
% 55.47/35.80 Conjecture not found
% 55.57/35.87 Conjecture not found
% 55.61/35.92 Conjecture not found
% 55.61/35.93 Conjecture not found
% 55.69/35.98 Conjecture not found
% 55.69/36.00 Conjecture not found
% 55.75/36.04 Conjecture not found
% 55.80/36.15 Conjecture not found
% 55.89/36.19 Conjecture not found
% 55.89/36.19 Conjecture not found
% 55.93/36.22 Conjecture not found
% 55.93/36.25 Conjecture not found
% 55.99/36.29 Conjecture not found
% 55.99/36.32 Conjecture not found
% 56.09/36.37 Conjecture not found
% 56.09/36.39 Conjecture not found
% 56.13/36.44 Conjecture not found
% 56.18/36.54 Conjecture not found
% 56.42/36.58 Conjecture not found
% 56.58/36.62 Conjecture not found
% 56.74/36.67 Conjecture not found
% 56.96/36.78 Conjecture not found
% 57.00/36.80 Conjecture not found
% 57.17/36.98 Conjecture not found
% 57.17/37.00 Conjecture not found
% 57.22/37.02 Conjecture not found
% 57.52/37.32 Conjecture not found
% 57.56/37.37 Conjecture not found
% 57.56/37.41 Conjecture not found
% 57.64/37.44 Conjecture not found
% 57.71/37.52 Conjecture not found
% 58.09/37.65 Conjecture not found
% 58.34/37.77 Conjecture not found
% 58.44/37.84 Conjecture not found
% 58.53/37.90 Conjecture not found
% 58.69/38.10 Conjecture not found
% 58.75/38.11 Conjecture not found
% 58.83/38.24 Conjecture not found
% 58.83/38.27 Conjecture not found
% 58.97/38.34 Conjecture not found
% 58.97/38.36 Conjecture not found
% 58.97/38.38 Conjecture not found
% 58.97/38.40 Conjecture not found
% 59.07/38.46 Conjecture not found
% 59.07/38.49 Conjecture not found
% 59.15/38.51 Conjecture not found
% 59.15/38.55 Conjecture not found
% 59.78/38.68 Conjecture not found
% 59.80/38.70 Conjecture not found
% 59.83/38.77 Conjecture not found
% 59.83/38.81 Conjecture not found
% 60.01/38.97 Conjecture not found
% 60.08/39.03 Conjecture not found
% 60.18/39.10 Conjecture not found
% 60.23/39.18 Conjecture not found
% 60.32/39.25 Conjecture not found
% 60.39/39.34 Conjecture not found
% 60.47/39.38 Conjecture not found
% 60.50/39.41 Conjecture not found
% 60.77/39.53 Conjecture not found
% 61.31/39.74 Conjecture not found
% 61.98/40.44 Conjecture not found
% 62.03/40.46 Conjecture not found
% 62.51/40.64 Conjecture not found
% 62.67/40.71 Conjecture not found
% 62.67/40.73 Conjecture not found
% 62.67/40.75 Conjecture not found
% 62.77/40.78 Conjecture not found
% 62.77/40.81 Conjecture not found
% 62.82/40.84 Conjecture not found
% 62.86/40.85 Conjecture not found
% 62.86/40.88 Conjecture not found
% 62.99/40.99 Conjecture not found
% 63.16/41.18 Conjecture not found
% 63.31/41.30 Conjecture not found
% 63.38/41.38 Conjecture not found
% 63.44/41.47 Conjecture not found
% 63.44/41.52 Conjecture not found
% 63.73/41.56 Conjecture not found
% 64.21/41.66 Conjecture not found
% 64.22/41.69 Conjecture not found
% 64.25/41.73 Conjecture not found
% 64.28/41.76 Conjecture not found
% 64.28/41.79 Conjecture not found
% 64.43/41.92 Conjecture not found
% 64.43/41.98 Conjecture not found
% 64.51/42.05 Conjecture not found
% 64.64/42.15 Conjecture not found
% 64.64/42.16 Conjecture not found
% 64.73/42.28 Conjecture not found
% 65.20/42.40 Conjecture not found
% 65.43/42.44 Conjecture not found
% 65.43/42.46 Conjecture not found
% 65.43/42.52 Conjecture not found
% 65.53/42.53 Conjecture not found
% 65.53/42.54 Conjecture not found
% 65.59/42.59 Conjecture not found
% 65.59/42.59 Conjecture not found
% 65.59/42.60 Conjecture not found
% 65.59/42.62 Conjecture not found
% 65.59/42.63 Conjecture not found
% 65.59/42.64 Conjecture not found
% 65.66/42.66 Conjecture not found
% 65.66/42.67 Conjecture not found
% 65.72/42.73 Conjecture not found
% 65.74/42.76 Conjecture not found
% 65.74/42.77 Conjecture not found
% 65.74/42.78 Conjecture not found
% 65.83/42.85 Conjecture not found
% 65.83/42.87 Conjecture not found
% 66.09/42.96 Conjecture not found
% 66.48/42.98 Conjecture not found
% 66.58/43.05 Conjecture not found
% 66.58/43.07 Conjecture not found
% 66.58/43.09 Conjecture not found
% 66.58/43.12 Conjecture not found
% 66.64/43.14 Conjecture not found
% 66.64/43.15 Conjecture not found
% 66.69/43.19 Conjecture not found
% 67.13/43.29 Conjecture not found
% 67.42/43.36 Conjecture not found
% 67.42/43.38 Conjecture not found
% 67.42/43.39 Conjecture not found
% 67.49/43.45 Conjecture not found
% 67.53/43.48 Conjecture not found
% 67.53/43.54 Conjecture not found
% 67.53/43.56 Conjecture not found
% 67.63/43.57 Conjecture not found
% 67.63/43.58 Conjecture not found
% 67.63/43.60 Conjecture not found
% 67.67/43.63 Conjecture not found
% 67.67/43.63 Conjecture not found
% 67.67/43.64 Conjecture not found
% 67.72/43.66 Conjecture not found
% 67.72/43.74 Conjecture not found
% 68.36/43.76 Conjecture not found
% 68.36/43.79 Conjecture not found
% 68.42/43.82 Conjecture not found
% 68.42/43.83 Conjecture not found
% 68.47/43.91 Conjecture not found
% 68.47/43.91 Conjecture not found
% 68.47/43.93 Conjecture not found
% 68.47/43.94 Conjecture not found
% 68.57/43.96 Conjecture not found
% 68.63/44.05 Conjecture not found
% 68.68/44.11 Conjecture not found
% 69.33/44.18 Conjecture not found
% 69.33/44.19 Conjecture not found
% 69.33/44.19 Conjecture not found
% 69.41/44.23 Conjecture not found
% 69.41/44.23 Conjecture not found
% 69.47/44.34 Conjecture not found
% 69.47/44.35 Conjecture not found
% 69.66/44.45 Conjecture not found
% 69.66/44.50 Conjecture not found
% 69.66/44.52 Conjecture not found
% 69.74/44.54 Conjecture not found
% 69.74/44.54 Conjecture not found
% 69.74/44.55 Conjecture not found
% 69.74/44.56 Conjecture not found
% 69.74/44.57 Conjecture not found
% 69.79/44.61 Conjecture not found
% 70.32/44.71 Conjecture not found
% 70.51/44.72 Conjecture not found
% 70.54/44.78 Conjecture not found
% 70.62/44.85 Conjecture not found
% 70.62/44.87 Conjecture not found
% 70.69/44.90 Conjecture not found
% 70.69/44.91 Conjecture not found
% 70.69/44.93 Conjecture not found
% 70.69/44.94 Conjecture not found
% 70.75/44.97 Conjecture not found
% 70.77/44.99 Conjecture not found
% 70.92/45.09 Conjecture not found
% 71.77/45.42 Conjecture not found
% 72.04/45.58 Conjecture not found
% 72.04/45.60 Conjecture not found
% 72.41/45.72 Conjecture not found
% 72.69/45.85 Conjecture not found
% 72.69/45.88 Conjecture not found
% 72.77/45.90 Conjecture not found
% 72.77/45.90 Conjecture not found
% 72.77/45.95 Conjecture not found
% 72.77/45.97 Conjecture not found
% 72.84/46.03 Conjecture not found
% 72.84/46.05 Conjecture not found
% 72.84/46.06 Conjecture not found
% 72.94/46.07 Conjecture not found
% 72.94/46.10 Conjecture not found
% 72.98/46.11 Conjecture not found
% 72.98/46.12 Conjecture not found
% 72.98/46.13 Conjecture not found
% 73.02/46.22 Conjecture not found
% 73.02/46.23 Conjecture not found
% 73.12/46.25 Conjecture not found
% 73.87/46.38 Conjecture not found
% 73.87/46.39 Conjecture not found
% 73.87/46.40 Conjecture not found
% 73.87/46.41 Conjecture not found
% 73.87/46.42 Conjecture not found
% 73.87/46.44 Conjecture not found
% 73.96/46.47 Conjecture not found
% 73.96/46.48 Conjecture not found
% 74.05/46.55 Conjecture not found
% 74.12/46.63 Conjecture not found
% 74.12/46.65 Conjecture not found
% 74.12/46.67 Conjecture not found
% 74.18/46.67 Conjecture not found
% 74.18/46.70 Conjecture not found
% 74.18/46.73 Conjecture not found
% 74.26/46.77 Conjecture not found
% 74.26/46.78 Conjecture not found
% 74.26/46.79 Conjecture not found
% 74.31/46.80 Conjecture not found
% 75.05/46.92 Conjecture not found
% 75.05/46.94 Conjecture not found
% 75.11/46.97 Conjecture not found
% 75.11/46.99 Conjecture not found
% 75.11/46.99 Conjecture not found
% 75.11/47.01 Conjecture not found
% 75.11/47.03 Conjecture not found
% 75.11/47.04 Conjecture not found
% 75.19/47.04 Conjecture not found
% 75.19/47.06 Conjecture not found
% 75.19/47.07 Conjecture not found
% 75.24/47.09 Conjecture not found
% 75.24/47.12 Conjecture not found
% 75.24/47.14 Conjecture not found
% 75.31/47.19 Conjecture not found
% 75.37/47.23 Conjecture not found
% 75.37/47.25 Conjecture not found
% 75.41/47.27 Conjecture not found
% 75.41/47.29 Conjecture not found
% 75.78/47.38 Conjecture not found
% 76.27/47.48 Conjecture not found
% 76.27/47.53 Conjecture not found
% 76.37/47.58 Conjecture not found
% 76.41/47.62 Conjecture not found
% 76.45/47.64 Conjecture not found
% 76.45/47.70 Conjecture not found
% 76.45/47.71 Conjecture not found
% 76.45/47.73 Conjecture not found
% 76.55/47.79 Conjecture not found
% 76.61/47.84 Conjecture not found
% 76.61/47.85 Conjecture not found
% 76.67/47.90 Conjecture not found
% 77.33/47.96 Conjecture not found
% 77.33/47.98 Conjecture not found
% 77.33/47.99 Conjecture not found
% 77.48/48.03 Conjecture not found
% 77.54/48.10 Conjecture not found
% 77.54/48.13 Conjecture not found
% 77.54/48.15 Conjecture not found
% 77.64/48.18 Conjecture not found
% 77.70/48.23 Conjecture not found
% 77.74/48.28 Conjecture not found
% 77.74/48.29 Conjecture not found
% 77.74/48.31 Conjecture not found
% 77.82/48.36 Conjecture not found
% 77.86/48.41 Conjecture not found
% 77.94/48.46 Conjecture not found
% 77.94/48.47 Conjecture not found
% 78.24/48.55 Conjecture not found
% 78.58/48.62 Conjecture not found
% 78.87/48.65 Conjecture not found
% 78.87/48.69 Conjecture not found
% 78.92/48.71 Conjecture not found
% 78.92/48.72 Conjecture not found
% 79.00/48.78 Conjecture not found
% 79.00/48.80 Conjecture not found
% 79.00/48.81 Conjecture not found
% 79.04/48.84 Conjecture not found
% 79.07/48.85 Conjecture not found
% 79.07/48.85 Conjecture not found
% 79.07/48.87 Conjecture not found
% 79.15/48.96 Conjecture not found
% 79.21/49.00 Conjecture not found
% 79.21/49.02 Conjecture not found
% 79.21/49.02 Conjecture not found
% 79.21/49.04 Conjecture not found
% 79.39/49.09 Conjecture not found
% 79.92/49.17 Conjecture not found
% 80.27/49.33 Conjecture not found
% 80.37/49.42 Conjecture not found
% 80.40/49.43 Conjecture not found
% 80.40/49.46 Conjecture not found
% 80.49/49.53 Conjecture not found
% 80.49/49.55 Conjecture not found
% 80.57/49.61 Conjecture not found
% 80.57/49.62 Conjecture not found
% 80.57/49.62 Conjecture not found
% 80.57/49.63 Conjecture not found
% 80.57/49.65 Conjecture not found
% 80.57/49.67 Conjecture not found
% 80.65/49.68 Conjecture not found
% 81.20/49.75 Conjecture not found
% 81.20/49.79 Conjecture not found
% 81.20/49.82 Conjecture not found
% 81.20/49.82 Conjecture not found
% 81.53/49.86 Conjecture not found
% 81.53/49.90 Conjecture not found
% 81.60/49.92 Conjecture not found
% 81.60/49.95 Conjecture not found
% 81.65/50.00 Conjecture not found
% 81.65/50.05 Conjecture not found
% 81.73/50.06 Conjecture not found
% 81.83/50.17 Conjecture not found
% 81.83/50.18 Conjecture not found
% 81.83/50.19 Conjecture not found
% 81.83/50.20 Conjecture not found
% 81.90/50.23 Conjecture not found
% 81.90/50.25 Conjecture not found
% 83.21/50.74 Conjecture not found
% 83.23/50.77 Conjecture not found
% 83.23/50.79 Conjecture not found
% 83.29/50.83 Conjecture not found
% 83.33/50.90 Conjecture not found
% 83.33/50.93 Conjecture not found
% 84.23/51.05 Conjecture not found
% 84.35/51.08 Conjecture not found
% 84.35/51.12 Conjecture not found
% 84.35/51.16 Conjecture not found
% 84.44/51.19 Conjecture not found
% 84.47/51.21 Conjecture not found
% 84.51/51.26 Conjecture not found
% 84.51/51.30 Conjecture not found
% 84.59/51.31 Conjecture not found
% 84.59/51.34 Conjecture not found
% 84.59/51.36 Conjecture not found
% 84.65/51.38 Conjecture not found
% 84.65/51.39 Conjecture not found
% 84.65/51.46 Conjecture not found
% 84.75/51.49 Conjecture not found
% 84.78/51.52 Conjecture not found
% 84.78/51.53 Conjecture not found
% 84.78/51.54 Conjecture not found
% 84.84/51.55 Conjecture not found
% 85.25/51.65 Conjecture not found
% 85.63/51.70 Conjecture not found
% 85.63/51.71 Conjecture not found
% 85.63/51.73 Conjecture not found
% 85.84/51.75 Conjecture not found
% 85.84/51.76 Conjecture not found
% 85.87/51.78 Conjecture not found
% 85.87/51.80 Conjecture not found
% 85.87/51.81 Conjecture not found
% 85.95/51.87 Conjecture not found
% 85.95/51.89 Conjecture not found
% 85.95/51.90 Conjecture not found
% 86.02/51.94 Conjecture not found
% 86.02/51.95 Conjecture not found
% 86.06/51.99 Conjecture not found
% 86.06/52.01 Conjecture not found
% 86.14/52.07 Conjecture not found
% 86.14/52.08 Conjecture not found
% 86.19/52.10 Conjecture not found
% 86.19/52.10 Conjecture not found
% 86.19/52.10 Start search
% 181.31/74.45 nb_step : 1 - limit : 181221
% 182.44/75.20 Launch Gotab with destructive = true
%------------------------------------------------------------------------------