TSTP Solution File: SEU442+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU442+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n011.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:15 EDT 2022
% Result : Timeout 300.35s 105.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU442+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n011.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Sat Sep 3 14:43:25 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 0.21/0.40 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.43 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.46 Conjecture not found
% 0.21/0.49 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.53 Conjecture not found
% 0.54/0.56 Conjecture not found
% 0.54/0.58 Conjecture not found
% 0.54/0.58 Conjecture not found
% 0.54/0.59 Conjecture not found
% 0.54/0.61 Conjecture not found
% 0.54/0.63 Conjecture not found
% 0.75/0.67 Conjecture not found
% 0.85/0.75 Conjecture not found
% 0.85/0.75 Conjecture not found
% 1.03/0.83 Conjecture not found
% 1.09/0.88 Conjecture not found
% 1.22/0.96 Conjecture not found
% 1.29/1.00 Conjecture not found
% 1.39/1.07 Conjecture not found
% 1.46/1.11 Conjecture not found
% 1.57/1.16 Conjecture not found
% 1.65/1.18 Conjecture not found
% 1.65/1.21 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.76/1.24 Conjecture not found
% 1.76/1.24 Conjecture not found
% 1.76/1.25 Conjecture not found
% 1.90/1.35 Conjecture not found
% 1.99/1.38 Conjecture not found
% 1.99/1.38 Conjecture not found
% 1.99/1.40 Conjecture not found
% 1.99/1.40 Conjecture not found
% 1.99/1.40 Conjecture not found
% 1.99/1.40 Conjecture not found
% 1.99/1.41 Conjecture not found
% 1.99/1.42 Conjecture not found
% 2.13/1.46 Conjecture not found
% 2.18/1.52 Conjecture not found
% 2.18/1.52 Conjecture not found
% 2.18/1.53 Conjecture not found
% 2.28/1.54 Conjecture not found
% 2.32/1.56 Conjecture not found
% 2.32/1.57 Conjecture not found
% 2.32/1.59 Conjecture not found
% 2.32/1.61 Conjecture not found
% 2.32/1.63 Conjecture not found
% 2.47/1.65 Conjecture not found
% 2.47/1.65 Conjecture not found
% 2.47/1.66 Conjecture not found
% 2.54/1.70 Conjecture not found
% 2.54/1.75 Conjecture not found
% 2.70/1.81 Conjecture not found
% 2.77/1.82 Conjecture not found
% 2.83/1.84 Conjecture not found
% 2.83/1.87 Conjecture not found
% 2.83/1.90 Conjecture not found
% 2.83/1.91 Conjecture not found
% 2.94/1.94 Conjecture not found
% 3.04/2.03 Conjecture not found
% 3.19/2.06 Conjecture not found
% 3.21/2.08 Conjecture not found
% 3.21/2.10 Conjecture not found
% 3.29/2.12 Conjecture not found
% 3.29/2.13 Conjecture not found
% 3.60/2.32 Conjecture not found
% 3.60/2.35 Conjecture not found
% 3.71/2.37 Conjecture not found
% 3.83/2.48 Conjecture not found
% 3.83/2.50 Conjecture not found
% 3.83/2.51 Conjecture not found
% 4.04/2.54 Conjecture not found
% 4.04/2.58 Conjecture not found
% 4.15/2.64 Conjecture not found
% 4.37/2.72 Conjecture not found
% 4.45/2.77 Conjecture not found
% 4.45/2.82 Conjecture not found
% 4.45/2.83 Conjecture not found
% 4.60/2.87 Conjecture not found
% 4.60/2.88 Conjecture not found
% 4.69/2.91 Conjecture not found
% 4.79/2.94 Conjecture not found
% 4.79/2.96 Conjecture not found
% 4.79/2.97 Conjecture not found
% 4.91/3.04 Conjecture not found
% 4.91/3.05 Conjecture not found
% 4.97/3.08 Conjecture not found
% 4.97/3.14 Conjecture not found
% 5.27/3.22 Conjecture not found
% 5.62/3.37 Conjecture not found
% 5.91/3.59 Conjecture not found
% 6.50/3.92 Conjecture not found
% 6.64/3.94 Conjecture not found
% 6.75/3.98 Conjecture not found
% 6.90/4.09 Conjecture not found
% 6.98/4.14 Conjecture not found
% 7.05/4.18 Conjecture not found
% 7.05/4.23 Conjecture not found
% 7.19/4.26 Conjecture not found
% 7.28/4.33 Conjecture not found
% 7.45/4.38 Conjecture not found
% 7.45/4.41 Conjecture not found
% 7.45/4.42 Conjecture not found
% 7.54/4.45 Conjecture not found
% 7.54/4.45 Conjecture not found
% 7.72/4.55 Conjecture not found
% 7.88/4.64 Conjecture not found
% 7.91/4.71 Conjecture not found
% 8.11/4.82 Conjecture not found
% 8.26/4.85 Conjecture not found
% 8.28/4.90 Conjecture not found
% 8.28/4.92 Conjecture not found
% 8.28/4.93 Conjecture not found
% 8.45/4.95 Conjecture not found
% 8.45/4.96 Conjecture not found
% 8.56/4.98 Conjecture not found
% 8.56/5.02 Conjecture not found
% 8.56/5.02 Conjecture not found
% 8.56/5.03 Conjecture not found
% 8.56/5.04 Conjecture not found
% 8.73/5.08 Conjecture not found
% 8.73/5.10 Conjecture not found
% 8.80/5.15 Conjecture not found
% 8.80/5.19 Conjecture not found
% 9.21/5.39 Conjecture not found
% 9.29/5.44 Conjecture not found
% 9.29/5.44 Conjecture not found
% 9.39/5.47 Conjecture not found
% 9.39/5.50 Conjecture not found
% 9.39/5.54 Conjecture not found
% 9.47/5.59 Conjecture not found
% 9.62/5.60 Conjecture not found
% 9.62/5.63 Conjecture not found
% 9.68/5.66 Conjecture not found
% 9.86/5.75 Conjecture not found
% 10.74/6.28 Conjecture not found
% 11.70/6.83 Conjecture not found
% 11.89/6.96 Conjecture not found
% 12.03/7.02 Conjecture not found
% 12.03/7.03 Conjecture not found
% 12.03/7.04 Conjecture not found
% 12.17/7.10 Conjecture not found
% 12.17/7.11 Conjecture not found
% 12.17/7.13 Conjecture not found
% 12.30/7.17 Conjecture not found
% 12.30/7.24 Conjecture not found
% 12.52/7.31 Conjecture not found
% 12.57/7.35 Conjecture not found
% 12.59/7.36 Conjecture not found
% 12.59/7.41 Conjecture not found
% 12.81/7.47 Conjecture not found
% 12.81/7.51 Conjecture not found
% 13.02/7.58 Conjecture not found
% 13.07/7.66 Conjecture not found
% 13.10/7.68 Conjecture not found
% 13.10/7.71 Conjecture not found
% 13.27/7.75 Conjecture not found
% 13.32/7.78 Conjecture not found
% 13.32/7.83 Conjecture not found
% 13.39/7.89 Conjecture not found
% 13.39/7.91 Conjecture not found
% 13.59/7.99 Conjecture not found
% 13.68/8.07 Conjecture not found
% 13.83/8.09 Conjecture not found
% 13.83/8.11 Conjecture not found
% 13.83/8.14 Conjecture not found
% 13.90/8.16 Conjecture not found
% 13.90/8.18 Conjecture not found
% 13.90/8.21 Conjecture not found
% 13.97/8.25 Conjecture not found
% 14.12/8.28 Conjecture not found
% 14.12/8.29 Conjecture not found
% 14.20/8.36 Conjecture not found
% 14.23/8.38 Conjecture not found
% 14.23/8.42 Conjecture not found
% 14.32/8.48 Conjecture not found
% 14.32/8.50 Conjecture not found
% 14.47/8.52 Conjecture not found
% 14.47/8.55 Conjecture not found
% 14.52/8.58 Conjecture not found
% 14.52/8.62 Conjecture not found
% 14.52/8.63 Conjecture not found
% 14.73/8.70 Conjecture not found
% 14.78/8.74 Conjecture not found
% 14.81/8.76 Conjecture not found
% 14.81/8.82 Conjecture not found
% 14.88/8.83 Conjecture not found
% 14.88/8.86 Conjecture not found
% 15.05/8.92 Conjecture not found
% 15.05/8.94 Conjecture not found
% 15.11/8.96 Conjecture not found
% 15.13/8.98 Conjecture not found
% 15.13/9.00 Conjecture not found
% 15.17/9.01 Conjecture not found
% 15.17/9.02 Conjecture not found
% 15.17/9.03 Conjecture not found
% 15.20/9.09 Conjecture not found
% 15.47/9.22 Conjecture not found
% 15.47/9.24 Conjecture not found
% 15.56/9.28 Conjecture not found
% 15.56/9.32 Conjecture not found
% 15.74/9.34 Conjecture not found
% 15.77/9.37 Conjecture not found
% 15.77/9.40 Conjecture not found
% 15.77/9.44 Conjecture not found
% 15.90/9.52 Conjecture not found
% 16.07/9.57 Conjecture not found
% 16.13/9.62 Conjecture not found
% 16.18/9.68 Conjecture not found
% 16.52/9.88 Conjecture not found
% 16.76/9.99 Conjecture not found
% 16.83/10.06 Conjecture not found
% 16.85/10.08 Conjecture not found
% 16.85/10.11 Conjecture not found
% 16.94/10.18 Conjecture not found
% 17.15/10.24 Conjecture not found
% 17.15/10.26 Conjecture not found
% 17.28/10.39 Conjecture not found
% 17.53/10.49 Conjecture not found
% 17.61/10.56 Conjecture not found
% 17.64/10.62 Conjecture not found
% 17.71/10.71 Conjecture not found
% 17.92/10.73 Conjecture not found
% 17.97/10.81 Conjecture not found
% 18.08/10.88 Conjecture not found
% 18.31/10.99 Conjecture not found
% 18.43/11.14 Conjecture not found
% 18.51/11.16 Conjecture not found
% 18.51/11.20 Conjecture not found
% 18.72/11.23 Conjecture not found
% 18.75/11.27 Conjecture not found
% 18.89/11.39 Conjecture not found
% 19.12/11.51 Conjecture not found
% 19.18/11.53 Conjecture not found
% 19.21/11.58 Conjecture not found
% 19.73/11.96 Conjecture not found
% 19.98/12.07 Conjecture not found
% 20.01/12.13 Conjecture not found
% 20.07/12.16 Conjecture not found
% 20.11/12.19 Conjecture not found
% 20.11/12.20 Conjecture not found
% 20.34/12.32 Conjecture not found
% 20.44/12.42 Conjecture not found
% 20.64/12.55 Conjecture not found
% 20.80/12.63 Conjecture not found
% 20.87/12.67 Conjecture not found
% 21.24/12.85 Conjecture not found
% 21.31/12.94 Conjecture not found
% 21.36/13.01 Conjecture not found
% 21.46/13.08 Conjecture not found
% 21.56/13.16 Conjecture not found
% 21.72/13.18 Conjecture not found
% 21.72/13.23 Conjecture not found
% 21.80/13.24 Conjecture not found
% 21.80/13.27 Conjecture not found
% 21.84/13.34 Conjecture not found
% 21.91/13.39 Conjecture not found
% 21.96/13.43 Conjecture not found
% 22.07/13.49 Conjecture not found
% 22.26/13.58 Conjecture not found
% 22.30/13.60 Conjecture not found
% 22.30/13.63 Conjecture not found
% 22.37/13.67 Conjecture not found
% 22.62/13.87 Conjecture not found
% 22.76/13.89 Conjecture not found
% 22.82/13.95 Conjecture not found
% 22.82/13.96 Conjecture not found
% 22.82/13.97 Conjecture not found
% 22.82/13.97 Conjecture not found
% 22.82/13.99 Conjecture not found
% 23.15/14.10 Conjecture not found
% 23.15/14.11 Conjecture not found
% 23.15/14.13 Conjecture not found
% 23.31/14.25 Conjecture not found
% 23.39/14.35 Conjecture not found
% 23.72/14.48 Conjecture not found
% 23.75/14.50 Conjecture not found
% 24.02/14.70 Conjecture not found
% 24.27/14.92 Conjecture not found
% 24.37/14.95 Conjecture not found
% 24.42/15.03 Conjecture not found
% 24.67/15.07 Conjecture not found
% 24.67/15.09 Conjecture not found
% 24.75/15.22 Conjecture not found
% 24.91/15.33 Conjecture not found
% 25.18/15.40 Conjecture not found
% 25.22/15.43 Conjecture not found
% 25.35/15.57 Conjecture not found
% 25.61/15.64 Conjecture not found
% 25.64/15.67 Conjecture not found
% 25.70/15.75 Conjecture not found
% 25.74/15.82 Conjecture not found
% 25.74/15.83 Conjecture not found
% 25.86/15.89 Conjecture not found
% 26.17/16.02 Conjecture not found
% 26.24/16.05 Conjecture not found
% 26.24/16.07 Conjecture not found
% 26.29/16.15 Conjecture not found
% 26.34/16.22 Conjecture not found
% 26.34/16.22 Conjecture not found
% 26.67/16.30 Conjecture not found
% 26.73/16.37 Conjecture not found
% 26.79/16.43 Conjecture not found
% 26.85/16.49 Conjecture not found
% 26.94/16.59 Conjecture not found
% 27.05/16.63 Conjecture not found
% 27.23/16.73 Conjecture not found
% 27.38/16.83 Conjecture not found
% 27.62/16.98 Conjecture not found
% 27.62/17.01 Conjecture not found
% 27.89/17.12 Conjecture not found
% 27.89/17.15 Conjecture not found
% 27.95/17.17 Conjecture not found
% 27.95/17.17 Conjecture not found
% 27.95/17.19 Conjecture not found
% 27.98/17.22 Conjecture not found
% 28.00/17.23 Conjecture not found
% 28.20/17.38 Conjecture not found
% 28.45/17.49 Conjecture not found
% 28.50/17.57 Conjecture not found
% 28.50/17.61 Conjecture not found
% 28.50/17.62 Conjecture not found
% 28.91/17.73 Conjecture not found
% 28.91/17.75 Conjecture not found
% 28.91/17.77 Conjecture not found
% 29.09/17.90 Conjecture not found
% 29.12/17.92 Conjecture not found
% 29.12/17.99 Conjecture not found
% 29.50/18.12 Conjecture not found
% 29.50/18.16 Conjecture not found
% 29.60/18.22 Conjecture not found
% 30.16/18.57 Conjecture not found
% 30.25/18.67 Conjecture not found
% 30.31/18.69 Conjecture not found
% 30.66/18.85 Conjecture not found
% 30.70/18.87 Conjecture not found
% 30.76/18.95 Conjecture not found
% 30.80/19.00 Conjecture not found
% 30.97/19.15 Conjecture not found
% 31.29/19.24 Conjecture not found
% 31.29/19.26 Conjecture not found
% 31.33/19.29 Conjecture not found
% 31.33/19.34 Conjecture not found
% 31.45/19.42 Conjecture not found
% 31.57/19.53 Conjecture not found
% 31.61/19.56 Conjecture not found
% 31.61/19.56 Conjecture not found
% 31.61/19.57 Conjecture not found
% 31.72/19.66 Conjecture not found
% 31.92/19.72 Conjecture not found
% 32.10/19.81 Conjecture not found
% 32.24/19.96 Conjecture not found
% 32.34/20.06 Conjecture not found
% 32.34/20.12 Conjecture not found
% 32.68/20.14 Conjecture not found
% 32.68/20.17 Conjecture not found
% 32.72/20.24 Conjecture not found
% 32.78/20.28 Conjecture not found
% 32.78/20.29 Conjecture not found
% 32.84/20.34 Conjecture not found
% 32.88/20.40 Conjecture not found
% 32.98/20.47 Conjecture not found
% 33.04/20.53 Conjecture not found
% 33.36/20.59 Conjecture not found
% 33.52/20.73 Conjecture not found
% 33.52/20.78 Conjecture not found
% 33.59/20.80 Conjecture not found
% 33.74/20.94 Conjecture not found
% 33.74/20.99 Conjecture not found
% 34.11/21.06 Conjecture not found
% 34.11/21.10 Conjecture not found
% 34.17/21.14 Conjecture not found
% 34.17/21.16 Conjecture not found
% 34.24/21.21 Conjecture not found
% 34.24/21.23 Conjecture not found
% 34.58/21.43 Conjecture not found
% 34.58/21.44 Conjecture not found
% 34.58/21.46 Conjecture not found
% 34.82/21.52 Conjecture not found
% 34.91/21.58 Conjecture not found
% 34.93/21.63 Conjecture not found
% 34.99/21.67 Conjecture not found
% 35.07/21.72 Conjecture not found
% 35.07/21.77 Conjecture not found
% 35.28/21.86 Conjecture not found
% 35.45/21.91 Conjecture not found
% 35.58/21.97 Conjecture not found
% 35.58/22.01 Conjecture not found
% 35.65/22.03 Conjecture not found
% 35.65/22.05 Conjecture not found
% 35.71/22.11 Conjecture not found
% 35.78/22.18 Conjecture not found
% 35.81/22.23 Conjecture not found
% 35.89/22.29 Conjecture not found
% 35.89/22.31 Conjecture not found
% 36.27/22.42 Conjecture not found
% 36.39/22.50 Conjecture not found
% 36.45/22.54 Conjecture not found
% 36.48/22.58 Conjecture not found
% 36.54/22.63 Conjecture not found
% 36.58/22.68 Conjecture not found
% 36.58/22.70 Conjecture not found
% 36.58/22.74 Conjecture not found
% 36.71/22.81 Conjecture not found
% 37.06/22.85 Conjecture not found
% 37.07/22.88 Conjecture not found
% 37.16/22.97 Conjecture not found
% 37.16/23.03 Conjecture not found
% 37.42/23.22 Conjecture not found
% 37.48/23.28 Conjecture not found
% 37.86/23.36 Conjecture not found
% 37.96/23.47 Conjecture not found
% 38.10/23.64 Conjecture not found
% 38.22/23.71 Conjecture not found
% 38.65/23.85 Conjecture not found
% 38.65/23.88 Conjecture not found
% 38.65/23.90 Conjecture not found
% 38.71/23.92 Conjecture not found
% 38.71/23.95 Conjecture not found
% 38.77/23.98 Conjecture not found
% 38.81/24.02 Conjecture not found
% 38.81/24.03 Conjecture not found
% 38.84/24.08 Conjecture not found
% 38.84/24.11 Conjecture not found
% 38.94/24.18 Conjecture not found
% 39.19/24.32 Conjecture not found
% 39.42/24.38 Conjecture not found
% 39.57/24.45 Conjecture not found
% 39.57/24.47 Conjecture not found
% 39.57/24.50 Conjecture not found
% 39.71/24.62 Conjecture not found
% 39.85/24.79 Conjecture not found
% 39.93/24.85 Conjecture not found
% 40.34/24.89 Conjecture not found
% 40.48/25.04 Conjecture not found
% 40.50/25.11 Conjecture not found
% 40.58/25.16 Conjecture not found
% 40.64/25.22 Conjecture not found
% 40.64/25.24 Conjecture not found
% 40.80/25.36 Conjecture not found
% 40.80/25.40 Conjecture not found
% 40.80/25.41 Conjecture not found
% 41.21/25.47 Conjecture not found
% 41.26/25.51 Conjecture not found
% 41.26/25.53 Conjecture not found
% 41.34/25.57 Conjecture not found
% 41.37/25.59 Conjecture not found
% 41.44/25.67 Conjecture not found
% 41.51/25.74 Conjecture not found
% 41.55/25.82 Conjecture not found
% 41.65/25.93 Conjecture not found
% 42.18/26.12 Conjecture not found
% 42.18/26.14 Conjecture not found
% 42.26/26.18 Conjecture not found
% 42.30/26.20 Conjecture not found
% 42.30/26.24 Conjecture not found
% 42.37/26.27 Conjecture not found
% 42.37/26.28 Conjecture not found
% 42.46/26.43 Conjecture not found
% 42.69/26.47 Conjecture not found
% 42.95/26.50 Conjecture not found
% 43.02/26.57 Conjecture not found
% 43.02/26.59 Conjecture not found
% 43.08/26.63 Conjecture not found
% 43.13/26.68 Conjecture not found
% 43.13/26.71 Conjecture not found
% 43.22/26.76 Conjecture not found
% 43.27/26.83 Conjecture not found
% 43.31/26.87 Conjecture not found
% 43.40/26.94 Conjecture not found
% 43.40/26.96 Conjecture not found
% 43.54/27.00 Conjecture not found
% 43.54/27.04 Conjecture not found
% 43.87/27.12 Conjecture not found
% 44.05/27.25 Conjecture not found
% 44.05/27.31 Conjecture not found
% 44.15/27.41 Conjecture not found
% 44.28/27.47 Conjecture not found
% 44.28/27.49 Conjecture not found
% 44.28/27.54 Conjecture not found
% 44.79/27.68 Conjecture not found
% 44.89/27.74 Conjecture not found
% 44.89/27.78 Conjecture not found
% 44.97/27.85 Conjecture not found
% 45.05/27.88 Conjecture not found
% 45.10/27.95 Conjecture not found
% 45.10/28.02 Conjecture not found
% 45.22/28.05 Conjecture not found
% 45.29/28.13 Conjecture not found
% 45.73/28.20 Conjecture not found
% 45.73/28.23 Conjecture not found
% 45.73/28.27 Conjecture not found
% 45.86/28.31 Conjecture not found
% 45.87/28.34 Conjecture not found
% 45.87/28.40 Conjecture not found
% 45.95/28.46 Conjecture not found
% 46.03/28.55 Conjecture not found
% 46.03/28.56 Conjecture not found
% 46.14/28.62 Conjecture not found
% 46.18/28.68 Conjecture not found
% 46.33/28.75 Conjecture not found
% 46.70/28.79 Conjecture not found
% 46.70/28.84 Conjecture not found
% 46.70/28.86 Conjecture not found
% 46.78/28.88 Conjecture not found
% 46.84/28.95 Conjecture not found
% 46.84/28.98 Conjecture not found
% 46.84/29.02 Conjecture not found
% 47.00/29.10 Conjecture not found
% 47.00/29.11 Conjecture not found
% 47.13/29.22 Conjecture not found
% 47.13/29.25 Conjecture not found
% 47.16/29.27 Conjecture not found
% 47.16/29.30 Conjecture not found
% 47.63/29.40 Conjecture not found
% 47.63/29.44 Conjecture not found
% 47.74/29.47 Conjecture not found
% 47.79/29.52 Conjecture not found
% 47.79/29.54 Conjecture not found
% 47.84/29.63 Conjecture not found
% 47.97/29.72 Conjecture not found
% 48.14/29.89 Conjecture not found
% 48.14/29.92 Conjecture not found
% 48.21/29.94 Conjecture not found
% 48.21/29.96 Conjecture not found
% 48.81/30.14 Conjecture not found
% 48.83/30.16 Conjecture not found
% 48.83/30.20 Conjecture not found
% 48.91/30.26 Conjecture not found
% 49.08/30.40 Conjecture not found
% 49.13/30.46 Conjecture not found
% 49.79/30.72 Conjecture not found
% 49.85/30.74 Conjecture not found
% 49.93/30.84 Conjecture not found
% 49.93/30.86 Conjecture not found
% 49.93/30.87 Conjecture not found
% 49.99/30.89 Conjecture not found
% 49.99/30.95 Conjecture not found
% 50.13/31.03 Conjecture not found
% 50.13/31.07 Conjecture not found
% 50.13/31.10 Conjecture not found
% 50.22/31.16 Conjecture not found
% 50.39/31.28 Conjecture not found
% 50.39/31.31 Conjecture not found
% 50.77/31.38 Conjecture not found
% 50.98/31.46 Conjecture not found
% 51.05/31.50 Conjecture not found
% 51.13/31.60 Conjecture not found
% 51.19/31.66 Conjecture not found
% 51.28/31.73 Conjecture not found
% 51.28/31.76 Conjecture not found
% 51.47/31.93 Conjecture not found
% 51.50/32.00 Conjecture not found
% 52.04/32.09 Conjecture not found
% 52.04/32.15 Conjecture not found
% 52.16/32.21 Conjecture not found
% 52.16/32.23 Conjecture not found
% 52.20/32.26 Conjecture not found
% 52.20/32.30 Conjecture not found
% 52.41/32.46 Conjecture not found
% 52.48/32.52 Conjecture not found
% 52.48/32.54 Conjecture not found
% 52.52/32.60 Conjecture not found
% 52.52/32.62 Conjecture not found
% 52.60/32.66 Conjecture not found
% 52.64/32.71 Conjecture not found
% 52.69/32.74 Conjecture not found
% 52.77/32.80 Conjecture not found
% 53.24/32.87 Conjecture not found
% 53.24/32.92 Conjecture not found
% 53.36/32.97 Conjecture not found
% 53.36/33.01 Conjecture not found
% 53.36/33.03 Conjecture not found
% 53.43/33.07 Conjecture not found
% 53.46/33.09 Conjecture not found
% 53.46/33.12 Conjecture not found
% 53.55/33.22 Conjecture not found
% 53.61/33.25 Conjecture not found
% 53.61/33.25 Conjecture not found
% 53.65/33.27 Conjecture not found
% 53.65/33.30 Conjecture not found
% 53.73/33.34 Conjecture not found
% 53.73/33.37 Conjecture not found
% 53.77/33.40 Conjecture not found
% 53.77/33.42 Conjecture not found
% 53.91/33.47 Conjecture not found
% 54.36/33.56 Conjecture not found
% 54.42/33.58 Conjecture not found
% 54.42/33.61 Conjecture not found
% 54.42/33.63 Conjecture not found
% 54.54/33.72 Conjecture not found
% 54.59/33.74 Conjecture not found
% 54.71/33.91 Conjecture not found
% 54.71/33.92 Conjecture not found
% 54.71/33.94 Conjecture not found
% 55.02/34.26 Conjecture not found
% 55.58/34.30 Conjecture not found
% 55.63/34.34 Conjecture not found
% 55.63/34.36 Conjecture not found
% 55.70/34.44 Conjecture not found
% 55.77/34.51 Conjecture not found
% 55.86/34.58 Conjecture not found
% 55.92/34.65 Conjecture not found
% 55.94/34.71 Conjecture not found
% 56.16/34.89 Conjecture not found
% 56.20/34.90 Conjecture not found
% 56.80/35.05 Conjecture not found
% 56.80/35.08 Conjecture not found
% 56.88/35.14 Conjecture not found
% 56.88/35.16 Conjecture not found
% 56.96/35.18 Conjecture not found
% 56.96/35.19 Conjecture not found
% 57.02/35.26 Conjecture not found
% 57.02/35.30 Conjecture not found
% 57.02/35.32 Conjecture not found
% 57.11/35.35 Conjecture not found
% 57.16/35.41 Conjecture not found
% 57.16/35.44 Conjecture not found
% 57.28/35.50 Conjecture not found
% 57.28/35.54 Conjecture not found
% 57.46/35.70 Conjecture not found
% 57.52/35.76 Conjecture not found
% 58.04/35.88 Conjecture not found
% 58.17/35.96 Conjecture not found
% 58.23/36.01 Conjecture not found
% 58.28/36.09 Conjecture not found
% 58.28/36.13 Conjecture not found
% 58.37/36.15 Conjecture not found
% 58.41/36.23 Conjecture not found
% 58.54/36.36 Conjecture not found
% 59.76/37.06 Conjecture not found
% 59.76/37.08 Conjecture not found
% 59.84/37.15 Conjecture not found
% 59.84/37.22 Conjecture not found
% 59.93/37.24 Conjecture not found
% 59.93/37.26 Conjecture not found
% 59.93/37.28 Conjecture not found
% 59.99/37.31 Conjecture not found
% 59.99/37.33 Conjecture not found
% 59.99/37.35 Conjecture not found
% 60.06/37.38 Conjecture not found
% 60.63/37.51 Conjecture not found
% 60.85/37.66 Conjecture not found
% 60.97/37.77 Conjecture not found
% 60.97/37.84 Conjecture not found
% 61.09/37.91 Conjecture not found
% 61.13/37.94 Conjecture not found
% 61.16/37.97 Conjecture not found
% 61.23/38.05 Conjecture not found
% 61.23/38.07 Conjecture not found
% 61.29/38.10 Conjecture not found
% 61.29/38.13 Conjecture not found
% 61.37/38.16 Conjecture not found
% 61.96/38.29 Conjecture not found
% 62.05/38.33 Conjecture not found
% 62.11/38.40 Conjecture not found
% 62.19/38.48 Conjecture not found
% 62.19/38.49 Conjecture not found
% 62.28/38.60 Conjecture not found
% 62.37/38.66 Conjecture not found
% 62.41/38.68 Conjecture not found
% 62.41/38.70 Conjecture not found
% 62.48/38.76 Conjecture not found
% 62.48/38.80 Conjecture not found
% 62.54/38.82 Conjecture not found
% 62.58/38.93 Conjecture not found
% 62.58/38.93 Conjecture not found
% 62.67/38.96 Conjecture not found
% 62.77/39.03 Conjecture not found
% 63.16/39.06 Conjecture not found
% 63.28/39.10 Conjecture not found
% 63.36/39.14 Conjecture not found
% 63.40/39.17 Conjecture not found
% 63.51/39.30 Conjecture not found
% 63.59/39.36 Conjecture not found
% 63.59/39.38 Conjecture not found
% 63.59/39.40 Conjecture not found
% 63.78/39.56 Conjecture not found
% 63.81/39.58 Conjecture not found
% 63.88/39.64 Conjecture not found
% 63.90/39.69 Conjecture not found
% 64.44/39.91 Conjecture not found
% 64.68/39.94 Conjecture not found
% 64.71/39.99 Conjecture not found
% 64.78/40.06 Conjecture not found
% 64.81/40.12 Conjecture not found
% 64.88/40.15 Conjecture not found
% 64.92/40.23 Conjecture not found
% 65.10/40.35 Conjecture not found
% 65.16/40.45 Conjecture not found
% 65.21/40.49 Conjecture not found
% 65.21/40.52 Conjecture not found
% 65.46/40.70 Conjecture not found
% 66.06/40.81 Conjecture not found
% 66.22/40.95 Conjecture not found
% 66.22/40.98 Conjecture not found
% 66.22/41.00 Conjecture not found
% 66.30/41.04 Conjecture not found
% 66.30/41.07 Conjecture not found
% 66.36/41.14 Conjecture not found
% 66.36/41.15 Conjecture not found
% 66.45/41.17 Conjecture not found
% 66.48/41.21 Conjecture not found
% 66.54/41.29 Conjecture not found
% 66.54/41.31 Conjecture not found
% 66.62/41.37 Conjecture not found
% 66.69/41.44 Conjecture not found
% 66.75/41.46 Conjecture not found
% 67.55/41.70 Conjecture not found
% 67.55/41.71 Conjecture not found
% 67.55/41.74 Conjecture not found
% 67.61/41.76 Conjecture not found
% 67.67/41.82 Conjecture not found
% 67.85/42.02 Conjecture not found
% 67.89/42.10 Conjecture not found
% 67.95/42.16 Conjecture not found
% 68.02/42.16 Conjecture not found
% 68.02/42.17 Conjecture not found
% 68.02/42.23 Conjecture not found
% 68.02/42.23 Conjecture not found
% 68.43/42.47 Conjecture not found
% 68.89/42.49 Conjecture not found
% 69.07/42.67 Conjecture not found
% 69.21/42.79 Conjecture not found
% 69.21/42.83 Conjecture not found
% 69.29/42.87 Conjecture not found
% 69.31/42.89 Conjecture not found
% 69.31/42.91 Conjecture not found
% 69.36/42.94 Conjecture not found
% 69.38/42.96 Conjecture not found
% 69.38/43.03 Conjecture not found
% 69.50/43.10 Conjecture not found
% 69.50/43.12 Conjecture not found
% 69.68/43.26 Conjecture not found
% 70.49/43.48 Conjecture not found
% 70.49/43.53 Conjecture not found
% 70.59/43.59 Conjecture not found
% 70.59/43.62 Conjecture not found
% 70.66/43.65 Conjecture not found
% 70.69/43.70 Conjecture not found
% 70.79/43.77 Conjecture not found
% 70.79/43.81 Conjecture not found
% 70.99/43.99 Conjecture not found
% 72.16/44.54 Conjecture not found
% 72.45/44.83 Conjecture not found
% 72.45/44.84 Conjecture not found
% 72.50/44.93 Conjecture not found
% 72.64/45.02 Conjecture not found
% 72.71/45.06 Conjecture not found
% 72.71/45.07 Conjecture not found
% 72.71/45.08 Conjecture not found
% 73.16/45.14 Conjecture not found
% 73.16/45.15 Conjecture not found
% 73.26/45.21 Conjecture not found
% 73.26/45.23 Conjecture not found
% 73.26/45.23 Conjecture not found
% 73.26/45.25 Conjecture not found
% 73.36/45.27 Conjecture not found
% 73.36/45.29 Conjecture not found
% 73.39/45.29 Conjecture not found
% 73.39/45.30 Conjecture not found
% 73.43/45.39 Conjecture not found
% 73.49/45.40 Conjecture not found
% 73.49/45.44 Conjecture not found
% 73.56/45.49 Conjecture not found
% 73.56/45.52 Conjecture not found
% 73.56/45.54 Conjecture not found
% 74.24/45.57 Conjecture not found
% 74.24/45.58 Conjecture not found
% 74.33/45.60 Conjecture not found
% 74.37/45.63 Conjecture not found
% 74.37/45.64 Conjecture not found
% 74.39/45.69 Conjecture not found
% 74.46/45.75 Conjecture not found
% 74.46/45.76 Conjecture not found
% 74.46/45.77 Conjecture not found
% 74.46/45.78 Conjecture not found
% 74.52/45.80 Conjecture not found
% 74.52/45.82 Conjecture not found
% 74.52/45.86 Conjecture not found
% 74.60/45.87 Conjecture not found
% 74.61/45.88 Conjecture not found
% 74.61/45.89 Conjecture not found
% 74.65/45.93 Conjecture not found
% 74.67/45.94 Conjecture not found
% 74.67/45.99 Conjecture not found
% 75.04/46.03 Conjecture not found
% 75.04/46.05 Conjecture not found
% 75.47/46.09 Conjecture not found
% 75.47/46.12 Conjecture not found
% 75.47/46.12 Conjecture not found
% 75.47/46.13 Conjecture not found
% 75.47/46.14 Conjecture not found
% 75.47/46.16 Conjecture not found
% 75.56/46.17 Conjecture not found
% 75.57/46.20 Conjecture not found
% 75.57/46.22 Conjecture not found
% 75.65/46.27 Conjecture not found
% 75.65/46.31 Conjecture not found
% 75.65/46.33 Conjecture not found
% 75.73/46.35 Conjecture not found
% 75.73/46.38 Conjecture not found
% 75.78/46.42 Conjecture not found
% 76.10/46.51 Conjecture not found
% 76.66/46.58 Conjecture not found
% 76.66/46.61 Conjecture not found
% 76.75/46.64 Conjecture not found
% 76.75/46.65 Conjecture not found
% 76.80/46.70 Conjecture not found
% 76.80/46.71 Conjecture not found
% 76.80/46.71 Conjecture not found
% 76.86/46.77 Conjecture not found
% 76.89/46.82 Conjecture not found
% 76.94/46.83 Conjecture not found
% 76.94/46.86 Conjecture not found
% 76.98/46.88 Conjecture not found
% 76.98/46.88 Conjecture not found
% 76.98/46.89 Conjecture not found
% 76.98/46.93 Conjecture not found
% 77.48/47.09 Conjecture not found
% 77.68/47.15 Conjecture not found
% 77.68/47.16 Conjecture not found
% 77.76/47.20 Conjecture not found
% 77.83/47.24 Conjecture not found
% 77.86/47.29 Conjecture not found
% 77.86/47.29 Conjecture not found
% 77.86/47.32 Conjecture not found
% 77.96/47.40 Conjecture not found
% 78.06/47.51 Conjecture not found
% 78.15/47.58 Conjecture not found
% 78.15/47.59 Conjecture not found
% 78.22/47.66 Conjecture not found
% 78.26/47.70 Conjecture not found
% 78.26/47.72 Conjecture not found
% 78.33/47.76 Conjecture not found
% 78.37/47.77 Conjecture not found
% 78.37/47.78 Conjecture not found
% 78.42/47.87 Conjecture not found
% 78.74/47.91 Conjecture not found
% 79.25/47.95 Conjecture not found
% 79.25/47.98 Conjecture not found
% 79.30/47.99 Conjecture not found
% 79.30/47.99 Conjecture not found
% 79.30/48.01 Conjecture not found
% 79.36/48.09 Conjecture not found
% 79.42/48.15 Conjecture not found
% 79.47/48.17 Conjecture not found
% 79.47/48.18 Conjecture not found
% 79.47/48.20 Conjecture not found
% 79.56/48.25 Conjecture not found
% 79.60/48.29 Conjecture not found
% 79.90/48.45 Conjecture not found
% 80.64/48.61 Conjecture not found
% 80.67/48.63 Conjecture not found
% 80.68/48.66 Conjecture not found
% 80.76/48.75 Conjecture not found
% 80.76/48.76 Conjecture not found
% 80.83/48.81 Conjecture not found
% 80.83/48.82 Conjecture not found
% 80.83/48.83 Conjecture not found
% 80.83/48.84 Conjecture not found
% 80.92/48.87 Conjecture not found
% 80.92/48.89 Conjecture not found
% 80.94/48.90 Conjecture not found
% 80.94/48.92 Conjecture not found
% 80.97/48.93 Conjecture not found
% 80.97/48.95 Conjecture not found
% 81.00/48.95 Conjecture not found
% 81.00/48.98 Conjecture not found
% 81.00/49.02 Conjecture not found
% 81.08/49.05 Conjecture not found
% 81.08/49.08 Conjecture not found
% 81.14/49.14 Conjecture not found
% 82.01/49.22 Conjecture not found
% 82.10/49.25 Conjecture not found
% 82.20/49.36 Conjecture not found
% 82.20/49.37 Conjecture not found
% 82.20/49.39 Conjecture not found
% 82.27/49.40 Conjecture not found
% 82.27/49.44 Conjecture not found
% 82.34/49.47 Conjecture not found
% 83.61/50.01 Conjecture not found
% 83.61/50.04 Conjecture not found
% 83.68/50.07 Conjecture not found
% 83.75/50.14 Conjecture not found
% 83.79/50.24 Conjecture not found
% 83.86/50.25 Conjecture not found
% 83.94/50.32 Conjecture not found
% 83.97/50.35 Conjecture not found
% 83.97/50.40 Conjecture not found
% 84.04/50.43 Conjecture not found
% 84.04/50.46 Conjecture not found
% 84.09/50.48 Conjecture not found
% 84.52/50.57 Conjecture not found
% 84.98/50.66 Conjecture not found
% 85.04/50.68 Conjecture not found
% 85.04/50.69 Start search
% 223.24/85.47 nb_step : 1 - limit : 175768
% 225.50/86.55 Launch Gotab with destructive = true
%------------------------------------------------------------------------------