TSTP Solution File: LAT375+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT375+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:26 EDT 2022
% Result : Timeout 300.26s 104.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT375+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n003.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 : Thu Sep 1 16:33:49 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.43 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.53 Conjecture not found
% 0.52/0.56 Conjecture not found
% 0.52/0.59 Conjecture not found
% 0.52/0.61 Conjecture not found
% 0.52/0.61 Conjecture not found
% 0.52/0.62 Conjecture not found
% 0.66/0.64 Conjecture not found
% 0.66/0.66 Conjecture not found
% 0.75/0.71 Conjecture not found
% 0.90/0.79 Conjecture not found
% 0.90/0.79 Conjecture not found
% 1.06/0.87 Conjecture not found
% 1.06/0.92 Conjecture not found
% 1.28/1.00 Conjecture not found
% 1.28/1.04 Conjecture not found
% 1.46/1.11 Conjecture not found
% 1.55/1.15 Conjecture not found
% 1.61/1.22 Conjecture not found
% 1.76/1.27 Conjecture not found
% 1.85/1.33 Conjecture not found
% 1.85/1.35 Conjecture not found
% 1.85/1.36 Conjecture not found
% 1.91/1.37 Conjecture not found
% 1.91/1.38 Conjecture not found
% 2.08/1.51 Conjecture not found
% 2.21/1.54 Conjecture not found
% 2.21/1.54 Conjecture not found
% 2.26/1.57 Conjecture not found
% 2.26/1.57 Conjecture not found
% 2.26/1.57 Conjecture not found
% 2.26/1.57 Conjecture not found
% 2.26/1.59 Conjecture not found
% 2.26/1.59 Conjecture not found
% 2.37/1.66 Conjecture not found
% 2.44/1.71 Conjecture not found
% 2.44/1.71 Conjecture not found
% 2.44/1.71 Conjecture not found
% 2.44/1.72 Conjecture not found
% 2.44/1.74 Conjecture not found
% 2.56/1.76 Conjecture not found
% 2.59/1.78 Conjecture not found
% 2.59/1.80 Conjecture not found
% 2.67/1.82 Conjecture not found
% 2.70/1.85 Conjecture not found
% 2.70/1.85 Conjecture not found
% 2.70/1.87 Conjecture not found
% 2.70/1.91 Conjecture not found
% 2.84/1.98 Conjecture not found
% 2.92/2.04 Conjecture not found
% 3.04/2.05 Conjecture not found
% 3.07/2.08 Conjecture not found
% 3.17/2.11 Conjecture not found
% 3.17/2.15 Conjecture not found
% 3.24/2.17 Conjecture not found
% 3.24/2.19 Conjecture not found
% 3.44/2.30 Conjecture not found
% 3.44/2.34 Conjecture not found
% 3.54/2.36 Conjecture not found
% 3.54/2.38 Conjecture not found
% 3.54/2.40 Conjecture not found
% 3.54/2.43 Conjecture not found
% 3.87/2.64 Conjecture not found
% 4.03/2.67 Conjecture not found
% 4.03/2.70 Conjecture not found
% 4.17/2.82 Conjecture not found
% 4.17/2.84 Conjecture not found
% 4.35/2.86 Conjecture not found
% 4.35/2.88 Conjecture not found
% 4.46/2.93 Conjecture not found
% 4.51/3.01 Conjecture not found
% 4.76/3.11 Conjecture not found
% 4.79/3.20 Conjecture not found
% 4.98/3.25 Conjecture not found
% 4.98/3.27 Conjecture not found
% 5.09/3.32 Conjecture not found
% 5.09/3.32 Conjecture not found
% 5.09/3.37 Conjecture not found
% 5.17/3.40 Conjecture not found
% 5.17/3.42 Conjecture not found
% 5.17/3.44 Conjecture not found
% 5.39/3.52 Conjecture not found
% 5.42/3.54 Conjecture not found
% 5.42/3.58 Conjecture not found
% 5.61/3.67 Conjecture not found
% 5.84/3.79 Conjecture not found
% 6.09/3.97 Conjecture not found
% 6.51/4.19 Conjecture not found
% 7.15/4.55 Conjecture not found
% 7.15/4.59 Conjecture not found
% 7.15/4.62 Conjecture not found
% 7.49/4.76 Conjecture not found
% 7.53/4.80 Conjecture not found
% 7.60/4.86 Conjecture not found
% 7.73/4.95 Conjecture not found
% 7.77/5.01 Conjecture not found
% 7.96/5.09 Conjecture not found
% 8.06/5.13 Conjecture not found
% 8.09/5.16 Conjecture not found
% 8.09/5.17 Conjecture not found
% 8.09/5.21 Conjecture not found
% 8.09/5.22 Conjecture not found
% 8.26/5.33 Conjecture not found
% 8.43/5.43 Conjecture not found
% 8.63/5.52 Conjecture not found
% 8.83/5.64 Conjecture not found
% 8.83/5.67 Conjecture not found
% 8.87/5.72 Conjecture not found
% 9.01/5.75 Conjecture not found
% 9.01/5.77 Conjecture not found
% 9.01/5.80 Conjecture not found
% 9.07/5.83 Conjecture not found
% 9.07/5.85 Conjecture not found
% 9.19/5.90 Conjecture not found
% 9.19/5.91 Conjecture not found
% 9.19/5.92 Conjecture not found
% 9.19/5.94 Conjecture not found
% 9.39/6.00 Conjecture not found
% 9.39/6.02 Conjecture not found
% 9.44/6.08 Conjecture not found
% 9.44/6.13 Conjecture not found
% 9.92/6.38 Conjecture not found
% 9.92/6.42 Conjecture not found
% 9.92/6.43 Conjecture not found
% 10.02/6.46 Conjecture not found
% 10.02/6.50 Conjecture not found
% 10.16/6.54 Conjecture not found
% 10.31/6.61 Conjecture not found
% 10.31/6.62 Conjecture not found
% 10.36/6.66 Conjecture not found
% 10.36/6.69 Conjecture not found
% 10.60/6.80 Conjecture not found
% 11.57/7.46 Conjecture not found
% 12.65/8.17 Conjecture not found
% 12.90/8.33 Conjecture not found
% 12.94/8.40 Conjecture not found
% 12.94/8.42 Conjecture not found
% 13.11/8.45 Conjecture not found
% 13.15/8.51 Conjecture not found
% 13.15/8.53 Conjecture not found
% 13.21/8.55 Conjecture not found
% 13.32/8.61 Conjecture not found
% 13.43/8.68 Conjecture not found
% 13.43/8.74 Conjecture not found
% 13.61/8.78 Conjecture not found
% 13.64/8.79 Conjecture not found
% 13.64/8.84 Conjecture not found
% 13.72/8.90 Conjecture not found
% 13.90/8.96 Conjecture not found
% 13.90/9.02 Conjecture not found
% 14.13/9.10 Conjecture not found
% 14.13/9.11 Conjecture not found
% 14.13/9.14 Conjecture not found
% 14.21/9.17 Conjecture not found
% 14.32/9.21 Conjecture not found
% 14.32/9.26 Conjecture not found
% 14.41/9.30 Conjecture not found
% 14.41/9.32 Conjecture not found
% 14.65/9.40 Conjecture not found
% 14.69/9.47 Conjecture not found
% 14.75/9.50 Conjecture not found
% 14.75/9.52 Conjecture not found
% 14.75/9.55 Conjecture not found
% 14.80/9.58 Conjecture not found
% 14.80/9.60 Conjecture not found
% 14.80/9.62 Conjecture not found
% 15.04/9.66 Conjecture not found
% 15.04/9.69 Conjecture not found
% 15.09/9.70 Conjecture not found
% 15.13/9.77 Conjecture not found
% 15.13/9.80 Conjecture not found
% 15.13/9.83 Conjecture not found
% 15.41/9.87 Conjecture not found
% 15.41/9.90 Conjecture not found
% 15.52/9.92 Conjecture not found
% 15.52/9.95 Conjecture not found
% 15.52/9.97 Conjecture not found
% 15.69/10.00 Conjecture not found
% 15.69/10.02 Conjecture not found
% 15.69/10.06 Conjecture not found
% 15.82/10.10 Conjecture not found
% 15.97/10.13 Conjecture not found
% 15.97/10.19 Conjecture not found
% 15.97/10.20 Conjecture not found
% 16.07/10.23 Conjecture not found
% 16.07/10.28 Conjecture not found
% 16.07/10.30 Conjecture not found
% 16.14/10.33 Conjecture not found
% 16.14/10.34 Conjecture not found
% 16.32/10.37 Conjecture not found
% 16.32/10.38 Conjecture not found
% 16.32/10.39 Conjecture not found
% 16.32/10.39 Conjecture not found
% 16.32/10.44 Conjecture not found
% 16.60/10.57 Conjecture not found
% 16.60/10.59 Conjecture not found
% 16.60/10.62 Conjecture not found
% 16.71/10.66 Conjecture not found
% 16.71/10.68 Conjecture not found
% 16.79/10.72 Conjecture not found
% 16.79/10.76 Conjecture not found
% 16.98/10.80 Conjecture not found
% 17.06/10.87 Conjecture not found
% 17.12/10.93 Conjecture not found
% 17.12/10.98 Conjecture not found
% 17.33/11.04 Conjecture not found
% 17.67/11.24 Conjecture not found
% 17.77/11.35 Conjecture not found
% 17.83/11.43 Conjecture not found
% 17.83/11.44 Conjecture not found
% 18.05/11.48 Conjecture not found
% 18.12/11.55 Conjecture not found
% 18.12/11.61 Conjecture not found
% 18.21/11.64 Conjecture not found
% 18.42/11.75 Conjecture not found
% 18.57/11.85 Conjecture not found
% 18.80/11.93 Conjecture not found
% 18.84/11.99 Conjecture not found
% 18.94/12.07 Conjecture not found
% 18.94/12.10 Conjecture not found
% 19.17/12.19 Conjecture not found
% 19.24/12.26 Conjecture not found
% 19.36/12.37 Conjecture not found
% 19.70/12.52 Conjecture not found
% 19.70/12.55 Conjecture not found
% 19.74/12.59 Conjecture not found
% 19.74/12.63 Conjecture not found
% 19.94/12.67 Conjecture not found
% 20.08/12.81 Conjecture not found
% 20.18/12.91 Conjecture not found
% 20.40/12.96 Conjecture not found
% 20.45/13.01 Conjecture not found
% 20.96/13.38 Conjecture not found
% 21.16/13.49 Conjecture not found
% 21.16/13.56 Conjecture not found
% 21.36/13.60 Conjecture not found
% 21.36/13.62 Conjecture not found
% 21.39/13.64 Conjecture not found
% 21.46/13.74 Conjecture not found
% 21.79/13.87 Conjecture not found
% 21.86/14.00 Conjecture not found
% 22.12/14.10 Conjecture not found
% 22.12/14.14 Conjecture not found
% 22.37/14.32 Conjecture not found
% 22.62/14.40 Conjecture not found
% 22.71/14.48 Conjecture not found
% 22.77/14.55 Conjecture not found
% 22.77/14.61 Conjecture not found
% 22.85/14.63 Conjecture not found
% 23.08/14.69 Conjecture not found
% 23.08/14.70 Conjecture not found
% 23.08/14.73 Conjecture not found
% 23.18/14.80 Conjecture not found
% 23.24/14.86 Conjecture not found
% 23.24/14.89 Conjecture not found
% 23.33/14.94 Conjecture not found
% 23.39/15.04 Conjecture not found
% 23.39/15.06 Conjecture not found
% 23.66/15.10 Conjecture not found
% 23.70/15.14 Conjecture not found
% 24.09/15.35 Conjecture not found
% 24.09/15.37 Conjecture not found
% 24.16/15.44 Conjecture not found
% 24.19/15.45 Conjecture not found
% 24.19/15.46 Conjecture not found
% 24.19/15.46 Conjecture not found
% 24.19/15.48 Conjecture not found
% 24.31/15.58 Conjecture not found
% 24.31/15.60 Conjecture not found
% 24.31/15.62 Conjecture not found
% 24.67/15.76 Conjecture not found
% 24.78/15.86 Conjecture not found
% 24.98/16.02 Conjecture not found
% 25.15/16.04 Conjecture not found
% 25.28/16.24 Conjecture not found
% 25.72/16.47 Conjecture not found
% 25.77/16.51 Conjecture not found
% 25.85/16.59 Conjecture not found
% 25.89/16.62 Conjecture not found
% 25.92/16.64 Conjecture not found
% 26.20/16.80 Conjecture not found
% 26.37/16.92 Conjecture not found
% 26.66/17.02 Conjecture not found
% 26.66/17.05 Conjecture not found
% 26.87/17.20 Conjecture not found
% 26.91/17.26 Conjecture not found
% 26.91/17.29 Conjecture not found
% 27.01/17.39 Conjecture not found
% 27.33/17.48 Conjecture not found
% 27.41/17.49 Conjecture not found
% 27.41/17.56 Conjecture not found
% 27.54/17.70 Conjecture not found
% 27.72/17.75 Conjecture not found
% 27.72/17.77 Conjecture not found
% 27.91/17.87 Conjecture not found
% 28.05/17.95 Conjecture not found
% 28.05/17.95 Conjecture not found
% 28.14/18.03 Conjecture not found
% 28.21/18.14 Conjecture not found
% 28.49/18.20 Conjecture not found
% 28.55/18.27 Conjecture not found
% 28.64/18.38 Conjecture not found
% 28.71/18.41 Conjecture not found
% 29.07/18.53 Conjecture not found
% 29.16/18.63 Conjecture not found
% 29.32/18.78 Conjecture not found
% 29.32/18.82 Conjecture not found
% 29.63/18.94 Conjecture not found
% 29.73/18.98 Conjecture not found
% 29.73/19.00 Conjecture not found
% 29.73/19.00 Conjecture not found
% 29.73/19.02 Conjecture not found
% 29.73/19.06 Conjecture not found
% 29.82/19.07 Conjecture not found
% 29.91/19.20 Conjecture not found
% 30.12/19.33 Conjecture not found
% 30.37/19.42 Conjecture not found
% 30.43/19.46 Conjecture not found
% 30.43/19.47 Conjecture not found
% 30.54/19.59 Conjecture not found
% 30.54/19.62 Conjecture not found
% 30.54/19.64 Conjecture not found
% 30.93/19.80 Conjecture not found
% 30.93/19.83 Conjecture not found
% 31.07/19.90 Conjecture not found
% 31.20/20.02 Conjecture not found
% 31.24/20.07 Conjecture not found
% 31.49/20.15 Conjecture not found
% 31.92/20.52 Conjecture not found
% 32.29/20.66 Conjecture not found
% 32.29/20.68 Conjecture not found
% 32.46/20.84 Conjecture not found
% 32.46/20.87 Conjecture not found
% 32.54/20.97 Conjecture not found
% 32.92/21.03 Conjecture not found
% 33.09/21.19 Conjecture not found
% 33.09/21.26 Conjecture not found
% 33.18/21.28 Conjecture not found
% 33.20/21.32 Conjecture not found
% 33.24/21.37 Conjecture not found
% 33.32/21.46 Conjecture not found
% 33.75/21.59 Conjecture not found
% 33.79/21.62 Conjecture not found
% 33.79/21.62 Conjecture not found
% 33.81/21.64 Conjecture not found
% 33.89/21.71 Conjecture not found
% 33.89/21.74 Conjecture not found
% 33.96/21.84 Conjecture not found
% 34.47/22.02 Conjecture not found
% 34.52/22.13 Conjecture not found
% 34.60/22.18 Conjecture not found
% 34.64/22.21 Conjecture not found
% 34.69/22.23 Conjecture not found
% 34.77/22.33 Conjecture not found
% 35.06/22.39 Conjecture not found
% 35.06/22.40 Conjecture not found
% 35.06/22.46 Conjecture not found
% 35.20/22.52 Conjecture not found
% 35.30/22.60 Conjecture not found
% 35.35/22.66 Conjecture not found
% 35.35/22.71 Conjecture not found
% 35.74/22.90 Conjecture not found
% 35.90/22.94 Conjecture not found
% 35.95/22.97 Conjecture not found
% 36.09/23.11 Conjecture not found
% 36.13/23.15 Conjecture not found
% 36.13/23.23 Conjecture not found
% 36.23/23.28 Conjecture not found
% 36.41/23.33 Conjecture not found
% 36.64/23.36 Conjecture not found
% 36.69/23.41 Conjecture not found
% 36.69/23.43 Conjecture not found
% 36.89/23.62 Conjecture not found
% 36.89/23.63 Conjecture not found
% 36.89/23.65 Conjecture not found
% 37.00/23.72 Conjecture not found
% 37.03/23.79 Conjecture not found
% 37.43/23.85 Conjecture not found
% 37.43/23.88 Conjecture not found
% 37.49/23.94 Conjecture not found
% 37.57/23.99 Conjecture not found
% 37.64/24.07 Conjecture not found
% 37.64/24.11 Conjecture not found
% 37.74/24.18 Conjecture not found
% 37.81/24.23 Conjecture not found
% 37.81/24.27 Conjecture not found
% 38.18/24.29 Conjecture not found
% 38.18/24.35 Conjecture not found
% 38.36/24.43 Conjecture not found
% 38.37/24.48 Conjecture not found
% 38.45/24.55 Conjecture not found
% 38.45/24.56 Conjecture not found
% 38.52/24.66 Conjecture not found
% 38.69/24.77 Conjecture not found
% 39.08/24.82 Conjecture not found
% 39.08/24.86 Conjecture not found
% 39.13/24.91 Conjecture not found
% 39.21/24.97 Conjecture not found
% 39.23/24.99 Conjecture not found
% 39.28/25.03 Conjecture not found
% 39.30/25.10 Conjecture not found
% 39.38/25.13 Conjecture not found
% 39.38/25.17 Conjecture not found
% 39.50/25.26 Conjecture not found
% 39.96/25.37 Conjecture not found
% 40.14/25.57 Conjecture not found
% 40.18/25.62 Conjecture not found
% 40.26/25.70 Conjecture not found
% 40.76/25.86 Conjecture not found
% 40.92/26.03 Conjecture not found
% 40.96/26.11 Conjecture not found
% 41.11/26.23 Conjecture not found
% 41.18/26.26 Conjecture not found
% 41.18/26.28 Conjecture not found
% 41.22/26.31 Conjecture not found
% 41.22/26.33 Conjecture not found
% 41.27/26.38 Conjecture not found
% 41.27/26.45 Conjecture not found
% 41.68/26.46 Conjecture not found
% 41.73/26.51 Conjecture not found
% 41.73/26.54 Conjecture not found
% 41.77/26.61 Conjecture not found
% 41.97/26.74 Conjecture not found
% 41.98/26.80 Conjecture not found
% 42.07/26.87 Conjecture not found
% 42.07/26.90 Conjecture not found
% 42.07/26.92 Conjecture not found
% 42.61/27.06 Conjecture not found
% 42.78/27.23 Conjecture not found
% 42.78/27.29 Conjecture not found
% 42.85/27.31 Conjecture not found
% 42.99/27.49 Conjecture not found
% 43.44/27.58 Conjecture not found
% 43.50/27.64 Conjecture not found
% 43.57/27.70 Conjecture not found
% 43.57/27.72 Conjecture not found
% 43.73/27.84 Conjecture not found
% 43.73/27.86 Conjecture not found
% 43.73/27.88 Conjecture not found
% 43.80/27.95 Conjecture not found
% 43.87/27.99 Conjecture not found
% 43.87/28.01 Conjecture not found
% 44.05/28.07 Conjecture not found
% 44.24/28.10 Conjecture not found
% 44.37/28.19 Conjecture not found
% 44.50/28.28 Conjecture not found
% 44.58/28.37 Conjecture not found
% 44.67/28.46 Conjecture not found
% 45.03/28.68 Conjecture not found
% 45.27/28.70 Conjecture not found
% 45.33/28.74 Conjecture not found
% 45.35/28.77 Conjecture not found
% 45.35/28.81 Conjecture not found
% 45.41/28.84 Conjecture not found
% 45.41/28.85 Conjecture not found
% 45.56/29.01 Conjecture not found
% 45.63/29.04 Conjecture not found
% 45.65/29.08 Conjecture not found
% 45.71/29.15 Conjecture not found
% 45.75/29.17 Conjecture not found
% 45.75/29.22 Conjecture not found
% 46.24/29.30 Conjecture not found
% 46.24/29.32 Conjecture not found
% 46.30/29.37 Conjecture not found
% 46.39/29.45 Conjecture not found
% 46.39/29.50 Conjecture not found
% 46.48/29.57 Conjecture not found
% 46.54/29.59 Conjecture not found
% 46.54/29.62 Conjecture not found
% 46.54/29.65 Conjecture not found
% 46.64/29.75 Conjecture not found
% 47.21/29.91 Conjecture not found
% 47.26/29.97 Conjecture not found
% 47.35/30.08 Conjecture not found
% 47.46/30.15 Conjecture not found
% 47.46/30.17 Conjecture not found
% 47.52/30.22 Conjecture not found
% 47.65/30.36 Conjecture not found
% 47.70/30.43 Conjecture not found
% 47.77/30.49 Conjecture not found
% 48.21/30.58 Conjecture not found
% 48.21/30.62 Conjecture not found
% 48.36/30.70 Conjecture not found
% 48.43/30.77 Conjecture not found
% 48.48/30.81 Conjecture not found
% 48.51/30.88 Conjecture not found
% 48.51/30.94 Conjecture not found
% 48.61/30.98 Conjecture not found
% 48.67/31.02 Conjecture not found
% 48.73/31.07 Conjecture not found
% 48.73/31.09 Conjecture not found
% 49.01/31.18 Conjecture not found
% 49.30/31.25 Conjecture not found
% 49.36/31.34 Conjecture not found
% 49.36/31.36 Conjecture not found
% 49.44/31.42 Conjecture not found
% 49.56/31.50 Conjecture not found
% 49.62/31.55 Conjecture not found
% 49.62/31.59 Conjecture not found
% 49.69/31.64 Conjecture not found
% 49.69/31.66 Conjecture not found
% 49.73/31.69 Conjecture not found
% 49.81/31.77 Conjecture not found
% 49.95/31.81 Conjecture not found
% 50.33/31.87 Conjecture not found
% 50.39/31.95 Conjecture not found
% 50.39/31.96 Conjecture not found
% 50.52/32.09 Conjecture not found
% 50.57/32.11 Conjecture not found
% 50.57/32.14 Conjecture not found
% 50.64/32.17 Conjecture not found
% 50.69/32.24 Conjecture not found
% 50.73/32.28 Conjecture not found
% 50.81/32.34 Conjecture not found
% 50.85/32.39 Conjecture not found
% 50.85/32.42 Conjecture not found
% 51.32/32.54 Conjecture not found
% 51.43/32.63 Conjecture not found
% 51.68/32.80 Conjecture not found
% 51.71/32.84 Conjecture not found
% 51.71/32.86 Conjecture not found
% 51.71/32.88 Conjecture not found
% 51.87/33.06 Conjecture not found
% 51.94/33.08 Conjecture not found
% 51.98/33.12 Conjecture not found
% 52.02/33.23 Conjecture not found
% 52.55/33.32 Conjecture not found
% 52.64/33.38 Conjecture not found
% 52.91/33.64 Conjecture not found
% 52.94/33.66 Conjecture not found
% 53.01/33.77 Conjecture not found
% 53.06/33.78 Conjecture not found
% 53.06/33.80 Conjecture not found
% 53.06/33.83 Conjecture not found
% 53.60/33.91 Conjecture not found
% 53.66/33.99 Conjecture not found
% 53.73/34.03 Conjecture not found
% 53.73/34.06 Conjecture not found
% 53.79/34.12 Conjecture not found
% 53.96/34.25 Conjecture not found
% 53.96/34.27 Conjecture not found
% 53.96/34.32 Conjecture not found
% 54.10/34.42 Conjecture not found
% 54.10/34.46 Conjecture not found
% 54.25/34.57 Conjecture not found
% 54.78/34.65 Conjecture not found
% 54.85/34.73 Conjecture not found
% 54.93/34.77 Conjecture not found
% 55.10/34.95 Conjecture not found
% 55.16/35.03 Conjecture not found
% 55.23/35.08 Conjecture not found
% 55.23/35.14 Conjecture not found
% 55.37/35.21 Conjecture not found
% 55.40/35.24 Conjecture not found
% 55.40/35.27 Conjecture not found
% 55.40/35.32 Conjecture not found
% 56.10/35.53 Conjecture not found
% 56.20/35.60 Conjecture not found
% 56.24/35.62 Conjecture not found
% 56.27/35.69 Conjecture not found
% 56.32/35.71 Conjecture not found
% 56.38/35.76 Conjecture not found
% 56.38/35.82 Conjecture not found
% 56.48/35.85 Conjecture not found
% 56.48/35.87 Conjecture not found
% 56.52/35.94 Conjecture not found
% 56.57/36.00 Conjecture not found
% 56.67/36.06 Conjecture not found
% 56.72/36.11 Conjecture not found
% 56.72/36.12 Conjecture not found
% 56.91/36.19 Conjecture not found
% 56.91/36.22 Conjecture not found
% 56.91/36.26 Conjecture not found
% 57.46/36.37 Conjecture not found
% 57.46/36.40 Conjecture not found
% 57.46/36.40 Conjecture not found
% 57.46/36.43 Conjecture not found
% 57.54/36.46 Conjecture not found
% 57.58/36.50 Conjecture not found
% 57.58/36.53 Conjecture not found
% 57.65/36.57 Conjecture not found
% 57.65/36.60 Conjecture not found
% 57.71/36.64 Conjecture not found
% 57.76/36.72 Conjecture not found
% 57.84/36.75 Conjecture not found
% 57.84/36.77 Conjecture not found
% 57.88/36.80 Conjecture not found
% 57.96/36.90 Conjecture not found
% 57.96/36.92 Conjecture not found
% 58.69/37.12 Conjecture not found
% 58.69/37.13 Conjecture not found
% 58.79/37.15 Conjecture not found
% 59.03/37.43 Conjecture not found
% 59.13/37.48 Conjecture not found
% 59.18/37.53 Conjecture not found
% 59.20/37.56 Conjecture not found
% 59.27/37.64 Conjecture not found
% 59.32/37.73 Conjecture not found
% 59.93/37.82 Conjecture not found
% 60.02/37.90 Conjecture not found
% 60.10/37.96 Conjecture not found
% 60.30/38.15 Conjecture not found
% 60.30/38.16 Conjecture not found
% 60.45/38.29 Conjecture not found
% 60.45/38.33 Conjecture not found
% 60.55/38.39 Conjecture not found
% 60.55/38.41 Conjecture not found
% 60.59/38.43 Conjecture not found
% 60.61/38.45 Conjecture not found
% 60.61/38.51 Conjecture not found
% 60.70/38.54 Conjecture not found
% 60.70/38.57 Conjecture not found
% 61.13/38.62 Conjecture not found
% 61.38/38.68 Conjecture not found
% 61.41/38.71 Conjecture not found
% 61.45/38.77 Conjecture not found
% 61.45/38.81 Conjecture not found
% 61.68/38.97 Conjecture not found
% 61.72/39.03 Conjecture not found
% 61.75/39.09 Conjecture not found
% 61.85/39.18 Conjecture not found
% 61.91/39.25 Conjecture not found
% 62.13/39.37 Conjecture not found
% 62.13/39.43 Conjecture not found
% 62.65/39.46 Conjecture not found
% 62.71/39.53 Conjecture not found
% 62.83/39.65 Conjecture not found
% 63.64/39.97 Conjecture not found
% 63.64/39.98 Conjecture not found
% 63.64/40.01 Conjecture not found
% 63.72/40.04 Conjecture not found
% 63.72/40.05 Conjecture not found
% 63.72/40.06 Conjecture not found
% 63.72/40.07 Conjecture not found
% 63.76/40.08 Conjecture not found
% 63.76/40.09 Conjecture not found
% 63.76/40.10 Conjecture not found
% 63.76/40.11 Conjecture not found
% 63.83/40.16 Conjecture not found
% 63.86/40.23 Conjecture not found
% 64.52/40.35 Conjecture not found
% 64.55/40.38 Conjecture not found
% 64.55/40.41 Conjecture not found
% 64.55/40.42 Conjecture not found
% 64.62/40.43 Conjecture not found
% 64.62/40.46 Conjecture not found
% 64.67/40.47 Conjecture not found
% 64.67/40.49 Conjecture not found
% 64.67/40.50 Conjecture not found
% 64.67/40.51 Conjecture not found
% 64.74/40.56 Conjecture not found
% 64.76/40.58 Conjecture not found
% 64.76/40.61 Conjecture not found
% 64.82/40.65 Conjecture not found
% 64.82/40.66 Conjecture not found
% 65.47/40.78 Conjecture not found
% 65.51/40.81 Conjecture not found
% 65.51/40.82 Conjecture not found
% 65.51/40.82 Conjecture not found
% 65.56/40.85 Conjecture not found
% 65.57/40.86 Conjecture not found
% 65.57/40.87 Conjecture not found
% 65.63/40.91 Conjecture not found
% 65.63/40.92 Conjecture not found
% 65.63/40.93 Conjecture not found
% 65.63/40.94 Conjecture not found
% 65.67/40.95 Conjecture not found
% 65.67/40.97 Conjecture not found
% 65.67/40.99 Conjecture not found
% 65.67/41.00 Conjecture not found
% 65.81/41.08 Conjecture not found
% 66.18/41.14 Conjecture not found
% 66.45/41.16 Conjecture not found
% 66.45/41.18 Conjecture not found
% 66.55/41.26 Conjecture not found
% 66.55/41.27 Conjecture not found
% 66.55/41.30 Conjecture not found
% 66.55/41.31 Conjecture not found
% 66.69/41.39 Conjecture not found
% 66.69/41.41 Conjecture not found
% 66.69/41.43 Conjecture not found
% 66.75/41.46 Conjecture not found
% 67.07/41.53 Conjecture not found
% 67.40/41.56 Conjecture not found
% 67.40/41.62 Conjecture not found
% 67.54/41.69 Conjecture not found
% 67.59/41.74 Conjecture not found
% 67.59/41.75 Conjecture not found
% 67.61/41.77 Conjecture not found
% 67.67/41.82 Conjecture not found
% 67.67/41.86 Conjecture not found
% 67.73/41.91 Start search
% 147.57/62.22 nb_step : 1 - limit : 134018
% 148.58/63.12 Launch Gotab with destructive = true
%------------------------------------------------------------------------------