TSTP Solution File: LAT339+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT339+4 : TPTP v8.1.0. Released v3.4.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 : Sat Sep 17 18:05:06 EDT 2022
% Result : Timeout 300.36s 95.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : LAT339+4 : TPTP v8.1.0. Released v3.4.0.
% 0.09/0.10 % Command : goeland -dmt -presko -proof %s
% 0.09/0.29 % Computer : n003.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 300
% 0.09/0.29 % DateTime : Thu Sep 1 15:07:46 EDT 2022
% 0.09/0.30 % CPUTime :
% 0.09/0.30 [DMT] DMT loaded with preskolemization
% 0.09/0.30 [EQ] equality loaded.
% 0.09/0.30 [0.000034s][1][MAIN] Problem : theBenchmark.p
% 0.14/0.32 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.35 Conjecture not found
% 0.14/0.36 Conjecture not found
% 0.14/0.39 Conjecture not found
% 0.14/0.41 Conjecture not found
% 0.14/0.42 Conjecture not found
% 0.14/0.42 Conjecture not found
% 0.14/0.46 Conjecture not found
% 0.14/0.49 Conjecture not found
% 0.14/0.51 Conjecture not found
% 0.42/0.52 Conjecture not found
% 0.42/0.53 Conjecture not found
% 0.44/0.55 Conjecture not found
% 0.44/0.57 Conjecture not found
% 0.44/0.61 Conjecture not found
% 0.60/0.69 Conjecture not found
% 0.71/0.70 Conjecture not found
% 0.80/0.78 Conjecture not found
% 0.90/0.84 Conjecture not found
% 1.05/0.93 Conjecture not found
% 1.05/0.97 Conjecture not found
% 1.14/1.05 Conjecture not found
% 1.27/1.09 Conjecture not found
% 1.32/1.15 Conjecture not found
% 1.37/1.18 Conjecture not found
% 1.37/1.22 Conjecture not found
% 1.49/1.23 Conjecture not found
% 1.49/1.24 Conjecture not found
% 1.49/1.25 Conjecture not found
% 1.49/1.26 Conjecture not found
% 1.70/1.37 Conjecture not found
% 1.70/1.40 Conjecture not found
% 1.70/1.40 Conjecture not found
% 1.78/1.43 Conjecture not found
% 1.78/1.43 Conjecture not found
% 1.78/1.43 Conjecture not found
% 1.78/1.43 Conjecture not found
% 1.78/1.44 Conjecture not found
% 1.78/1.45 Conjecture not found
% 1.85/1.51 Conjecture not found
% 2.02/1.57 Conjecture not found
% 2.02/1.57 Conjecture not found
% 2.02/1.57 Conjecture not found
% 2.11/1.59 Conjecture not found
% 2.11/1.61 Conjecture not found
% 2.11/1.62 Conjecture not found
% 2.11/1.64 Conjecture not found
% 2.27/1.67 Conjecture not found
% 2.30/1.69 Conjecture not found
% 2.30/1.71 Conjecture not found
% 2.30/1.71 Conjecture not found
% 2.30/1.73 Conjecture not found
% 2.44/1.77 Conjecture not found
% 2.54/1.83 Conjecture not found
% 2.61/1.89 Conjecture not found
% 2.61/1.90 Conjecture not found
% 2.61/1.92 Conjecture not found
% 2.78/1.96 Conjecture not found
% 2.85/1.99 Conjecture not found
% 2.85/2.01 Conjecture not found
% 2.85/2.03 Conjecture not found
% 3.10/2.13 Conjecture not found
% 3.10/2.17 Conjecture not found
% 3.19/2.19 Conjecture not found
% 3.19/2.21 Conjecture not found
% 3.19/2.23 Conjecture not found
% 3.19/2.25 Conjecture not found
% 3.59/2.45 Conjecture not found
% 3.71/2.49 Conjecture not found
% 3.71/2.51 Conjecture not found
% 4.04/2.64 Conjecture not found
% 4.04/2.65 Conjecture not found
% 4.04/2.67 Conjecture not found
% 4.04/2.70 Conjecture not found
% 4.16/2.74 Conjecture not found
% 4.29/2.81 Conjecture not found
% 4.53/2.90 Conjecture not found
% 4.56/2.98 Conjecture not found
% 4.69/3.04 Conjecture not found
% 4.69/3.06 Conjecture not found
% 4.83/3.10 Conjecture not found
% 4.83/3.10 Conjecture not found
% 4.83/3.14 Conjecture not found
% 4.83/3.17 Conjecture not found
% 5.07/3.20 Conjecture not found
% 5.07/3.21 Conjecture not found
% 5.11/3.29 Conjecture not found
% 5.11/3.30 Conjecture not found
% 5.25/3.34 Conjecture not found
% 5.39/3.41 Conjecture not found
% 5.66/3.53 Conjecture not found
% 5.98/3.70 Conjecture not found
% 6.42/3.94 Conjecture not found
% 7.12/4.30 Conjecture not found
% 7.12/4.32 Conjecture not found
% 7.12/4.35 Conjecture not found
% 7.43/4.47 Conjecture not found
% 7.43/4.52 Conjecture not found
% 7.60/4.56 Conjecture not found
% 7.79/4.65 Conjecture not found
% 7.82/4.71 Conjecture not found
% 7.96/4.78 Conjecture not found
% 8.11/4.83 Conjecture not found
% 8.11/4.86 Conjecture not found
% 8.11/4.87 Conjecture not found
% 8.16/4.91 Conjecture not found
% 8.16/4.92 Conjecture not found
% 8.36/5.02 Conjecture not found
% 8.56/5.12 Conjecture not found
% 8.69/5.19 Conjecture not found
% 8.87/5.31 Conjecture not found
% 8.93/5.33 Conjecture not found
% 8.94/5.39 Conjecture not found
% 9.09/5.41 Conjecture not found
% 9.09/5.43 Conjecture not found
% 9.09/5.46 Conjecture not found
% 9.15/5.49 Conjecture not found
% 9.15/5.51 Conjecture not found
% 9.30/5.56 Conjecture not found
% 9.30/5.56 Conjecture not found
% 9.30/5.58 Conjecture not found
% 9.34/5.60 Conjecture not found
% 9.44/5.65 Conjecture not found
% 9.44/5.67 Conjecture not found
% 9.52/5.73 Conjecture not found
% 9.58/5.78 Conjecture not found
% 9.93/6.00 Conjecture not found
% 10.00/6.06 Conjecture not found
% 10.15/6.08 Conjecture not found
% 10.15/6.10 Conjecture not found
% 10.15/6.13 Conjecture not found
% 10.15/6.16 Conjecture not found
% 10.39/6.23 Conjecture not found
% 10.39/6.24 Conjecture not found
% 10.39/6.27 Conjecture not found
% 10.48/6.30 Conjecture not found
% 10.65/6.40 Conjecture not found
% 11.63/7.01 Conjecture not found
% 12.56/7.65 Conjecture not found
% 12.82/7.81 Conjecture not found
% 12.94/7.88 Conjecture not found
% 12.94/7.91 Conjecture not found
% 12.94/7.93 Conjecture not found
% 13.13/7.99 Conjecture not found
% 13.13/8.01 Conjecture not found
% 13.19/8.03 Conjecture not found
% 13.28/8.10 Conjecture not found
% 13.42/8.17 Conjecture not found
% 13.42/8.23 Conjecture not found
% 13.61/8.28 Conjecture not found
% 13.61/8.29 Conjecture not found
% 13.67/8.34 Conjecture not found
% 13.68/8.40 Conjecture not found
% 13.90/8.46 Conjecture not found
% 13.90/8.52 Conjecture not found
% 14.03/8.59 Conjecture not found
% 14.03/8.62 Conjecture not found
% 14.19/8.65 Conjecture not found
% 14.19/8.69 Conjecture not found
% 14.25/8.72 Conjecture not found
% 14.31/8.77 Conjecture not found
% 14.31/8.83 Conjecture not found
% 14.31/8.85 Conjecture not found
% 14.54/8.93 Conjecture not found
% 14.74/9.00 Conjecture not found
% 14.74/9.02 Conjecture not found
% 14.74/9.04 Conjecture not found
% 14.80/9.07 Conjecture not found
% 14.80/9.09 Conjecture not found
% 14.80/9.11 Conjecture not found
% 14.80/9.14 Conjecture not found
% 14.96/9.17 Conjecture not found
% 15.06/9.20 Conjecture not found
% 15.06/9.22 Conjecture not found
% 15.11/9.28 Conjecture not found
% 15.11/9.31 Conjecture not found
% 15.21/9.35 Conjecture not found
% 15.21/9.41 Conjecture not found
% 15.38/9.44 Conjecture not found
% 15.38/9.45 Conjecture not found
% 15.44/9.48 Conjecture not found
% 15.44/9.51 Conjecture not found
% 15.44/9.55 Conjecture not found
% 15.44/9.57 Conjecture not found
% 15.69/9.62 Conjecture not found
% 15.72/9.66 Conjecture not found
% 15.72/9.68 Conjecture not found
% 15.82/9.74 Conjecture not found
% 15.82/9.75 Conjecture not found
% 15.82/9.79 Conjecture not found
% 16.02/9.84 Conjecture not found
% 16.02/9.85 Conjecture not found
% 16.10/9.88 Conjecture not found
% 16.10/9.89 Conjecture not found
% 16.10/9.91 Conjecture not found
% 16.10/9.92 Conjecture not found
% 16.10/9.93 Conjecture not found
% 16.10/9.93 Conjecture not found
% 16.35/10.00 Conjecture not found
% 16.37/10.12 Conjecture not found
% 16.37/10.13 Conjecture not found
% 16.49/10.18 Conjecture not found
% 16.67/10.21 Conjecture not found
% 16.67/10.23 Conjecture not found
% 16.67/10.27 Conjecture not found
% 16.74/10.29 Conjecture not found
% 16.74/10.33 Conjecture not found
% 16.96/10.41 Conjecture not found
% 17.01/10.47 Conjecture not found
% 17.11/10.51 Conjecture not found
% 17.11/10.57 Conjecture not found
% 17.49/10.76 Conjecture not found
% 17.70/10.86 Conjecture not found
% 17.76/10.94 Conjecture not found
% 17.84/10.95 Conjecture not found
% 17.85/10.99 Conjecture not found
% 17.93/11.07 Conjecture not found
% 17.93/11.12 Conjecture not found
% 18.17/11.15 Conjecture not found
% 18.22/11.25 Conjecture not found
% 18.53/11.36 Conjecture not found
% 18.61/11.43 Conjecture not found
% 18.65/11.48 Conjecture not found
% 18.89/11.57 Conjecture not found
% 18.89/11.59 Conjecture not found
% 18.98/11.66 Conjecture not found
% 19.07/11.73 Conjecture not found
% 19.23/11.85 Conjecture not found
% 19.42/11.99 Conjecture not found
% 19.56/12.02 Conjecture not found
% 19.69/12.06 Conjecture not found
% 19.69/12.09 Conjecture not found
% 19.69/12.12 Conjecture not found
% 19.88/12.24 Conjecture not found
% 20.11/12.35 Conjecture not found
% 20.16/12.37 Conjecture not found
% 20.16/12.42 Conjecture not found
% 20.70/12.78 Conjecture not found
% 20.94/12.88 Conjecture not found
% 21.01/12.94 Conjecture not found
% 21.07/12.98 Conjecture not found
% 21.07/13.00 Conjecture not found
% 21.07/13.02 Conjecture not found
% 21.35/13.12 Conjecture not found
% 21.46/13.23 Conjecture not found
% 21.77/13.37 Conjecture not found
% 21.84/13.45 Conjecture not found
% 21.84/13.49 Conjecture not found
% 22.21/13.67 Conjecture not found
% 22.27/13.76 Conjecture not found
% 22.36/13.82 Conjecture not found
% 22.36/13.88 Conjecture not found
% 22.42/13.95 Conjecture not found
% 22.67/13.97 Conjecture not found
% 22.69/14.01 Conjecture not found
% 22.69/14.02 Conjecture not found
% 22.75/14.05 Conjecture not found
% 22.75/14.11 Conjecture not found
% 22.84/14.16 Conjecture not found
% 22.89/14.19 Conjecture not found
% 22.89/14.25 Conjecture not found
% 23.21/14.34 Conjecture not found
% 23.24/14.35 Conjecture not found
% 23.24/14.38 Conjecture not found
% 23.24/14.42 Conjecture not found
% 23.62/14.62 Conjecture not found
% 23.67/14.64 Conjecture not found
% 23.70/14.70 Conjecture not found
% 23.70/14.71 Conjecture not found
% 23.70/14.72 Conjecture not found
% 23.70/14.72 Conjecture not found
% 23.78/14.74 Conjecture not found
% 24.03/14.85 Conjecture not found
% 24.06/14.86 Conjecture not found
% 24.06/14.89 Conjecture not found
% 24.16/14.99 Conjecture not found
% 24.27/15.08 Conjecture not found
% 24.61/15.25 Conjecture not found
% 24.63/15.27 Conjecture not found
% 25.04/15.47 Conjecture not found
% 25.24/15.68 Conjecture not found
% 25.24/15.71 Conjecture not found
% 25.54/15.79 Conjecture not found
% 25.54/15.82 Conjecture not found
% 25.60/15.84 Conjecture not found
% 25.71/15.98 Conjecture not found
% 26.04/16.09 Conjecture not found
% 26.09/16.15 Conjecture not found
% 26.09/16.18 Conjecture not found
% 26.22/16.32 Conjecture not found
% 26.38/16.38 Conjecture not found
% 26.53/16.41 Conjecture not found
% 26.57/16.49 Conjecture not found
% 26.65/16.57 Conjecture not found
% 26.72/16.58 Conjecture not found
% 26.72/16.64 Conjecture not found
% 27.09/16.76 Conjecture not found
% 27.09/16.80 Conjecture not found
% 27.09/16.81 Conjecture not found
% 27.24/16.90 Conjecture not found
% 27.32/16.97 Conjecture not found
% 27.32/16.97 Conjecture not found
% 27.58/17.06 Conjecture not found
% 27.67/17.12 Conjecture not found
% 27.67/17.18 Conjecture not found
% 27.74/17.24 Conjecture not found
% 28.04/17.36 Conjecture not found
% 28.04/17.38 Conjecture not found
% 28.19/17.47 Conjecture not found
% 28.31/17.57 Conjecture not found
% 28.39/17.71 Conjecture not found
% 28.71/17.74 Conjecture not found
% 28.77/17.85 Conjecture not found
% 28.85/17.88 Conjecture not found
% 28.85/17.90 Conjecture not found
% 28.85/17.91 Conjecture not found
% 28.90/17.92 Conjecture not found
% 28.90/17.95 Conjecture not found
% 28.93/17.97 Conjecture not found
% 29.29/18.11 Conjecture not found
% 29.38/18.20 Conjecture not found
% 29.47/18.28 Conjecture not found
% 29.47/18.31 Conjecture not found
% 29.47/18.32 Conjecture not found
% 29.61/18.44 Conjecture not found
% 29.86/18.47 Conjecture not found
% 29.89/18.49 Conjecture not found
% 29.97/18.60 Conjecture not found
% 30.03/18.62 Conjecture not found
% 30.07/18.69 Conjecture not found
% 30.39/18.82 Conjecture not found
% 30.45/18.87 Conjecture not found
% 30.52/18.92 Conjecture not found
% 31.12/19.25 Conjecture not found
% 31.22/19.35 Conjecture not found
% 31.22/19.37 Conjecture not found
% 31.60/19.53 Conjecture not found
% 31.60/19.55 Conjecture not found
% 31.67/19.62 Conjecture not found
% 31.77/19.67 Conjecture not found
% 31.90/19.80 Conjecture not found
% 31.90/19.86 Conjecture not found
% 32.15/19.88 Conjecture not found
% 32.15/19.92 Conjecture not found
% 32.15/19.96 Conjecture not found
% 32.38/20.03 Conjecture not found
% 32.46/20.14 Conjecture not found
% 32.46/20.16 Conjecture not found
% 32.46/20.16 Conjecture not found
% 32.46/20.17 Conjecture not found
% 32.53/20.25 Conjecture not found
% 32.86/20.27 Conjecture not found
% 32.93/20.36 Conjecture not found
% 33.08/20.51 Conjecture not found
% 33.18/20.62 Conjecture not found
% 33.51/20.67 Conjecture not found
% 33.51/20.69 Conjecture not found
% 33.51/20.72 Conjecture not found
% 33.66/20.79 Conjecture not found
% 33.66/20.83 Conjecture not found
% 33.66/20.84 Conjecture not found
% 33.74/20.89 Conjecture not found
% 33.82/20.95 Conjecture not found
% 33.82/21.03 Conjecture not found
% 34.25/21.08 Conjecture not found
% 34.25/21.12 Conjecture not found
% 34.39/21.25 Conjecture not found
% 34.43/21.29 Conjecture not found
% 34.43/21.31 Conjecture not found
% 34.88/21.47 Conjecture not found
% 34.88/21.50 Conjecture not found
% 34.99/21.58 Conjecture not found
% 34.99/21.62 Conjecture not found
% 35.06/21.66 Conjecture not found
% 35.09/21.68 Conjecture not found
% 35.09/21.74 Conjecture not found
% 35.17/21.75 Conjecture not found
% 35.67/21.98 Conjecture not found
% 35.67/21.99 Conjecture not found
% 35.67/22.00 Conjecture not found
% 35.80/22.07 Conjecture not found
% 35.84/22.12 Conjecture not found
% 35.92/22.17 Conjecture not found
% 35.92/22.20 Conjecture not found
% 35.98/22.25 Conjecture not found
% 36.03/22.30 Conjecture not found
% 36.45/22.40 Conjecture not found
% 36.45/22.44 Conjecture not found
% 36.52/22.50 Conjecture not found
% 36.57/22.54 Conjecture not found
% 36.62/22.56 Conjecture not found
% 36.62/22.58 Conjecture not found
% 36.62/22.64 Conjecture not found
% 36.76/22.71 Conjecture not found
% 36.88/22.77 Conjecture not found
% 37.20/22.84 Conjecture not found
% 37.20/22.85 Conjecture not found
% 37.25/22.94 Conjecture not found
% 37.41/23.03 Conjecture not found
% 37.42/23.07 Conjecture not found
% 37.49/23.11 Conjecture not found
% 37.49/23.15 Conjecture not found
% 37.55/23.21 Conjecture not found
% 37.55/23.23 Conjecture not found
% 37.67/23.27 Conjecture not found
% 38.00/23.34 Conjecture not found
% 38.02/23.37 Conjecture not found
% 38.02/23.40 Conjecture not found
% 38.15/23.48 Conjecture not found
% 38.23/23.56 Conjecture not found
% 38.66/23.74 Conjecture not found
% 38.75/23.78 Conjecture not found
% 38.75/23.84 Conjecture not found
% 38.92/23.96 Conjecture not found
% 39.05/24.10 Conjecture not found
% 39.38/24.18 Conjecture not found
% 39.57/24.29 Conjecture not found
% 39.57/24.32 Conjecture not found
% 39.65/24.34 Conjecture not found
% 39.65/24.36 Conjecture not found
% 39.69/24.39 Conjecture not found
% 39.69/24.42 Conjecture not found
% 39.76/24.46 Conjecture not found
% 39.76/24.47 Conjecture not found
% 39.79/24.52 Conjecture not found
% 39.84/24.54 Conjecture not found
% 39.88/24.63 Conjecture not found
% 40.34/24.76 Conjecture not found
% 40.38/24.81 Conjecture not found
% 40.48/24.87 Conjecture not found
% 40.48/24.90 Conjecture not found
% 40.48/24.92 Conjecture not found
% 40.58/25.04 Conjecture not found
% 41.17/25.25 Conjecture not found
% 41.20/25.30 Conjecture not found
% 41.20/25.32 Conjecture not found
% 41.42/25.48 Conjecture not found
% 41.47/25.56 Conjecture not found
% 41.51/25.62 Conjecture not found
% 41.60/25.68 Conjecture not found
% 41.75/25.71 Conjecture not found
% 42.06/25.80 Conjecture not found
% 42.06/25.81 Conjecture not found
% 42.06/25.82 Conjecture not found
% 42.10/25.85 Conjecture not found
% 42.10/25.87 Conjecture not found
% 42.10/25.88 Conjecture not found
% 42.10/25.89 Conjecture not found
% 42.10/25.90 Conjecture not found
% 42.10/25.93 Conjecture not found
% 42.20/25.97 Conjecture not found
% 42.37/26.04 Conjecture not found
% 42.64/26.07 Conjecture not found
% 42.70/26.15 Conjecture not found
% 42.70/26.16 Conjecture not found
% 42.75/26.18 Conjecture not found
% 42.75/26.19 Conjecture not found
% 42.75/26.20 Conjecture not found
% 42.75/26.21 Conjecture not found
% 42.75/26.22 Conjecture not found
% 43.28/26.35 Conjecture not found
% 43.28/26.36 Conjecture not found
% 43.28/26.37 Conjecture not found
% 43.28/26.40 Conjecture not found
% 43.34/26.41 Conjecture not found
% 43.34/26.42 Conjecture not found
% 43.34/26.45 Conjecture not found
% 43.34/26.46 Conjecture not found
% 43.41/26.48 Conjecture not found
% 43.41/26.51 Conjecture not found
% 43.41/26.55 Conjecture not found
% 43.92/26.62 Conjecture not found
% 43.96/26.64 Conjecture not found
% 43.97/26.65 Conjecture not found
% 43.97/26.66 Conjecture not found
% 43.97/26.70 Conjecture not found
% 44.04/26.75 Conjecture not found
% 44.04/26.77 Conjecture not found
% 44.10/26.82 Conjecture not found
% 44.59/26.90 Conjecture not found
% 44.63/26.92 Conjecture not found
% 44.65/26.95 Conjecture not found
% 44.65/27.00 Conjecture not found
% 44.73/27.03 Conjecture not found
% 44.73/27.05 Conjecture not found
% 44.73/27.07 Conjecture not found
% 44.80/27.09 Conjecture not found
% 44.80/27.12 Conjecture not found
% 45.10/27.16 Conjecture not found
% 45.24/27.20 Conjecture not found
% 45.38/27.25 Conjecture not found
% 45.38/27.28 Conjecture not found
% 45.38/27.29 Conjecture not found
% 45.38/27.31 Conjecture not found
% 45.38/27.33 Conjecture not found
% 45.46/27.34 Conjecture not found
% 45.46/27.37 Conjecture not found
% 45.51/27.39 Conjecture not found
% 45.72/27.45 Conjecture not found
% 45.87/27.48 Conjecture not found
% 46.02/27.52 Conjecture not found
% 46.06/27.57 Conjecture not found
% 46.06/27.59 Conjecture not found
% 46.06/27.60 Conjecture not found
% 46.06/27.62 Conjecture not found
% 46.06/27.63 Conjecture not found
% 46.14/27.64 Conjecture not found
% 46.14/27.67 Conjecture not found
% 46.19/27.68 Conjecture not found
% 46.19/27.70 Conjecture not found
% 46.19/27.73 Conjecture not found
% 46.19/27.74 Conjecture not found
% 46.28/27.78 Conjecture not found
% 46.28/27.81 Conjecture not found
% 46.64/27.85 Conjecture not found
% 46.77/27.88 Conjecture not found
% 46.77/27.93 Conjecture not found
% 46.84/27.94 Conjecture not found
% 46.84/27.96 Conjecture not found
% 46.87/27.98 Conjecture not found
% 46.87/27.99 Conjecture not found
% 46.87/28.03 Conjecture not found
% 46.97/28.07 Conjecture not found
% 47.49/28.20 Conjecture not found
% 47.49/28.23 Conjecture not found
% 47.58/28.24 Conjecture not found
% 47.58/28.25 Conjecture not found
% 47.62/28.34 Conjecture not found
% 47.69/28.35 Conjecture not found
% 47.69/28.37 Conjecture not found
% 47.73/28.40 Conjecture not found
% 47.82/28.48 Conjecture not found
% 47.82/28.50 Conjecture not found
% 48.41/28.63 Conjecture not found
% 48.41/28.64 Conjecture not found
% 48.46/28.68 Conjecture not found
% 48.46/28.69 Conjecture not found
% 48.46/28.69 Conjecture not found
% 48.46/28.70 Conjecture not found
% 48.46/28.73 Conjecture not found
% 48.52/28.76 Conjecture not found
% 48.55/28.77 Conjecture not found
% 48.55/28.79 Conjecture not found
% 48.86/28.83 Conjecture not found
% 49.11/28.93 Conjecture not found
% 49.11/28.94 Conjecture not found
% 49.20/28.96 Conjecture not found
% 49.25/29.01 Conjecture not found
% 49.25/29.03 Conjecture not found
% 49.31/29.09 Conjecture not found
% 49.36/29.12 Conjecture not found
% 49.41/29.16 Conjecture not found
% 49.41/29.19 Conjecture not found
% 50.02/29.31 Conjecture not found
% 50.02/29.34 Conjecture not found
% 50.12/29.35 Conjecture not found
% 50.12/29.38 Conjecture not found
% 50.12/29.40 Conjecture not found
% 50.12/29.41 Conjecture not found
% 50.18/29.43 Conjecture not found
% 50.18/29.45 Conjecture not found
% 50.23/29.52 Conjecture not found
% 50.23/29.55 Conjecture not found
% 50.51/29.57 Conjecture not found
% 50.88/29.63 Conjecture not found
% 50.88/29.65 Conjecture not found
% 50.88/29.67 Conjecture not found
% 50.88/29.70 Conjecture not found
% 50.95/29.72 Conjecture not found
% 50.95/29.73 Conjecture not found
% 50.95/29.76 Conjecture not found
% 51.01/29.79 Conjecture not found
% 51.01/29.82 Conjecture not found
% 51.01/29.85 Conjecture not found
% 51.01/29.85 Conjecture not found
% 51.11/29.88 Conjecture not found
% 51.14/29.89 Conjecture not found
% 51.14/29.91 Conjecture not found
% 51.19/29.97 Conjecture not found
% 51.19/29.99 Conjecture not found
% 51.19/29.99 Conjecture not found
% 51.19/30.01 Conjecture not found
% 51.37/30.06 Conjecture not found
% 51.79/30.10 Conjecture not found
% 51.79/30.13 Conjecture not found
% 51.87/30.16 Conjecture not found
% 51.89/30.17 Conjecture not found
% 51.89/30.20 Conjecture not found
% 51.94/30.24 Conjecture not found
% 51.94/30.25 Conjecture not found
% 51.94/30.26 Conjecture not found
% 51.94/30.28 Conjecture not found
% 52.03/30.33 Conjecture not found
% 52.03/30.34 Conjecture not found
% 52.09/30.43 Conjecture not found
% 52.09/30.44 Conjecture not found
% 52.09/30.45 Conjecture not found
% 52.88/30.64 Conjecture not found
% 52.88/30.66 Conjecture not found
% 52.88/30.68 Conjecture not found
% 52.93/30.70 Conjecture not found
% 52.93/30.74 Conjecture not found
% 53.00/30.78 Conjecture not found
% 53.06/30.82 Conjecture not found
% 53.10/30.86 Conjecture not found
% 53.10/30.90 Conjecture not found
% 53.75/31.04 Conjecture not found
% 53.81/31.05 Conjecture not found
% 53.83/31.11 Conjecture not found
% 53.89/31.13 Conjecture not found
% 53.89/31.16 Conjecture not found
% 53.93/31.17 Conjecture not found
% 53.93/31.18 Conjecture not found
% 53.93/31.19 Conjecture not found
% 53.93/31.22 Conjecture not found
% 54.00/31.24 Conjecture not found
% 54.00/31.25 Conjecture not found
% 54.00/31.26 Start search
% 106.05/44.27 nb_step : 1 - limit : 118258
% 106.55/44.77 Launch Gotab with destructive = true
%------------------------------------------------------------------------------