TSTP Solution File: LAT365+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT365+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n022.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:20 EDT 2022
% Result : Timeout 300.22s 96.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : LAT365+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.10 % Command : goeland -dmt -presko -proof %s
% 0.10/0.31 % Computer : n022.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 300
% 0.10/0.31 % DateTime : Thu Sep 1 16:10:02 EDT 2022
% 0.10/0.31 % CPUTime :
% 0.10/0.31 [DMT] DMT loaded with preskolemization
% 0.10/0.31 [EQ] equality loaded.
% 0.10/0.31 [0.000076s][1][MAIN] Problem : theBenchmark.p
% 0.15/0.38 Conjecture not found
% 0.15/0.39 Conjecture not found
% 0.15/0.39 Conjecture not found
% 0.15/0.39 Conjecture not found
% 0.15/0.40 Conjecture not found
% 0.15/0.42 Conjecture not found
% 0.15/0.45 Conjecture not found
% 0.15/0.47 Conjecture not found
% 0.15/0.48 Conjecture not found
% 0.15/0.49 Conjecture not found
% 0.15/0.52 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.52/0.60 Conjecture not found
% 0.52/0.62 Conjecture not found
% 0.61/0.64 Conjecture not found
% 0.65/0.69 Conjecture not found
% 0.80/0.77 Conjecture not found
% 0.80/0.78 Conjecture not found
% 0.97/0.87 Conjecture not found
% 0.97/0.93 Conjecture not found
% 1.19/1.02 Conjecture not found
% 1.19/1.06 Conjecture not found
% 1.26/1.15 Conjecture not found
% 1.44/1.19 Conjecture not found
% 1.51/1.25 Conjecture not found
% 1.51/1.28 Conjecture not found
% 1.62/1.31 Conjecture not found
% 1.62/1.33 Conjecture not found
% 1.62/1.34 Conjecture not found
% 1.62/1.34 Conjecture not found
% 1.62/1.35 Conjecture not found
% 1.84/1.47 Conjecture not found
% 1.89/1.50 Conjecture not found
% 1.89/1.50 Conjecture not found
% 1.89/1.52 Conjecture not found
% 1.89/1.52 Conjecture not found
% 1.89/1.53 Conjecture not found
% 1.89/1.53 Conjecture not found
% 1.99/1.54 Conjecture not found
% 1.99/1.55 Conjecture not found
% 1.99/1.60 Conjecture not found
% 2.11/1.66 Conjecture not found
% 2.11/1.67 Conjecture not found
% 2.11/1.67 Conjecture not found
% 2.19/1.68 Conjecture not found
% 2.19/1.71 Conjecture not found
% 2.19/1.72 Conjecture not found
% 2.19/1.74 Conjecture not found
% 2.19/1.76 Conjecture not found
% 2.36/1.79 Conjecture not found
% 2.36/1.81 Conjecture not found
% 2.39/1.81 Conjecture not found
% 2.41/1.83 Conjecture not found
% 2.41/1.87 Conjecture not found
% 2.53/1.94 Conjecture not found
% 2.63/2.01 Conjecture not found
% 2.63/2.02 Conjecture not found
% 2.63/2.04 Conjecture not found
% 2.77/2.07 Conjecture not found
% 2.79/2.11 Conjecture not found
% 2.81/2.13 Conjecture not found
% 2.86/2.15 Conjecture not found
% 2.98/2.26 Conjecture not found
% 3.08/2.30 Conjecture not found
% 3.08/2.32 Conjecture not found
% 3.08/2.34 Conjecture not found
% 3.08/2.36 Conjecture not found
% 3.19/2.39 Conjecture not found
% 3.54/2.60 Conjecture not found
% 3.54/2.64 Conjecture not found
% 3.54/2.66 Conjecture not found
% 3.77/2.79 Conjecture not found
% 3.77/2.80 Conjecture not found
% 3.77/2.82 Conjecture not found
% 3.91/2.85 Conjecture not found
% 3.91/2.89 Conjecture not found
% 4.10/2.97 Conjecture not found
% 4.25/3.06 Conjecture not found
% 4.38/3.15 Conjecture not found
% 4.38/3.20 Conjecture not found
% 4.38/3.22 Conjecture not found
% 4.52/3.27 Conjecture not found
% 4.52/3.27 Conjecture not found
% 4.62/3.31 Conjecture not found
% 4.62/3.34 Conjecture not found
% 4.71/3.37 Conjecture not found
% 4.71/3.38 Conjecture not found
% 4.71/3.47 Conjecture not found
% 4.89/3.48 Conjecture not found
% 4.93/3.52 Conjecture not found
% 5.02/3.60 Conjecture not found
% 5.20/3.72 Conjecture not found
% 5.47/3.90 Conjecture not found
% 5.97/4.16 Conjecture not found
% 6.53/4.55 Conjecture not found
% 6.58/4.58 Conjecture not found
% 6.58/4.62 Conjecture not found
% 6.85/4.75 Conjecture not found
% 6.85/4.80 Conjecture not found
% 6.97/4.85 Conjecture not found
% 7.03/4.94 Conjecture not found
% 7.20/5.00 Conjecture not found
% 7.32/5.07 Conjecture not found
% 7.45/5.12 Conjecture not found
% 7.45/5.15 Conjecture not found
% 7.45/5.17 Conjecture not found
% 7.51/5.20 Conjecture not found
% 7.51/5.21 Conjecture not found
% 7.73/5.32 Conjecture not found
% 7.86/5.43 Conjecture not found
% 8.00/5.50 Conjecture not found
% 8.20/5.62 Conjecture not found
% 8.23/5.65 Conjecture not found
% 8.23/5.70 Conjecture not found
% 8.38/5.73 Conjecture not found
% 8.38/5.75 Conjecture not found
% 8.38/5.78 Conjecture not found
% 8.45/5.81 Conjecture not found
% 8.45/5.83 Conjecture not found
% 8.60/5.88 Conjecture not found
% 8.60/5.88 Conjecture not found
% 8.60/5.89 Conjecture not found
% 8.60/5.91 Conjecture not found
% 8.77/5.97 Conjecture not found
% 8.77/5.99 Conjecture not found
% 8.82/6.05 Conjecture not found
% 8.82/6.10 Conjecture not found
% 9.17/6.34 Conjecture not found
% 9.33/6.39 Conjecture not found
% 9.33/6.40 Conjecture not found
% 9.36/6.42 Conjecture not found
% 9.47/6.46 Conjecture not found
% 9.47/6.51 Conjecture not found
% 9.57/6.57 Conjecture not found
% 9.57/6.58 Conjecture not found
% 9.70/6.61 Conjecture not found
% 9.70/6.64 Conjecture not found
% 9.94/6.75 Conjecture not found
% 10.81/7.42 Conjecture not found
% 11.83/8.13 Conjecture not found
% 12.08/8.28 Conjecture not found
% 12.28/8.36 Conjecture not found
% 12.28/8.38 Conjecture not found
% 12.32/8.41 Conjecture not found
% 12.37/8.48 Conjecture not found
% 12.37/8.50 Conjecture not found
% 12.52/8.52 Conjecture not found
% 12.57/8.57 Conjecture not found
% 12.57/8.64 Conjecture not found
% 12.78/8.70 Conjecture not found
% 12.82/8.74 Conjecture not found
% 12.83/8.75 Conjecture not found
% 12.83/8.81 Conjecture not found
% 13.00/8.87 Conjecture not found
% 13.06/8.93 Conjecture not found
% 13.26/9.00 Conjecture not found
% 13.29/9.07 Conjecture not found
% 13.29/9.09 Conjecture not found
% 13.44/9.13 Conjecture not found
% 13.44/9.16 Conjecture not found
% 13.53/9.20 Conjecture not found
% 13.53/9.25 Conjecture not found
% 13.73/9.31 Conjecture not found
% 13.76/9.33 Conjecture not found
% 13.78/9.41 Conjecture not found
% 13.95/9.49 Conjecture not found
% 14.04/9.51 Conjecture not found
% 14.04/9.53 Conjecture not found
% 14.04/9.56 Conjecture not found
% 14.11/9.59 Conjecture not found
% 14.24/9.61 Conjecture not found
% 14.26/9.64 Conjecture not found
% 14.26/9.67 Conjecture not found
% 14.26/9.70 Conjecture not found
% 14.26/9.72 Conjecture not found
% 14.36/9.78 Conjecture not found
% 14.47/9.83 Conjecture not found
% 14.61/9.87 Conjecture not found
% 14.65/9.92 Conjecture not found
% 14.67/9.95 Conjecture not found
% 14.67/9.97 Conjecture not found
% 14.67/10.00 Conjecture not found
% 14.87/10.04 Conjecture not found
% 14.87/10.08 Conjecture not found
% 14.87/10.09 Conjecture not found
% 14.93/10.14 Conjecture not found
% 14.99/10.18 Conjecture not found
% 14.99/10.21 Conjecture not found
% 15.14/10.29 Conjecture not found
% 15.23/10.30 Conjecture not found
% 15.23/10.33 Conjecture not found
% 15.27/10.39 Conjecture not found
% 15.27/10.40 Conjecture not found
% 15.27/10.43 Conjecture not found
% 15.37/10.45 Conjecture not found
% 15.37/10.47 Conjecture not found
% 15.37/10.48 Conjecture not found
% 15.37/10.49 Conjecture not found
% 15.51/10.50 Conjecture not found
% 15.60/10.56 Conjecture not found
% 15.71/10.70 Conjecture not found
% 15.83/10.72 Conjecture not found
% 15.93/10.76 Conjecture not found
% 15.93/10.79 Conjecture not found
% 15.93/10.81 Conjecture not found
% 16.01/10.85 Conjecture not found
% 16.01/10.88 Conjecture not found
% 16.05/10.92 Conjecture not found
% 16.26/10.99 Conjecture not found
% 16.33/11.05 Conjecture not found
% 16.33/11.10 Conjecture not found
% 16.42/11.17 Conjecture not found
% 16.76/11.37 Conjecture not found
% 17.00/11.48 Conjecture not found
% 17.09/11.56 Conjecture not found
% 17.09/11.57 Conjecture not found
% 17.13/11.61 Conjecture not found
% 17.30/11.69 Conjecture not found
% 17.37/11.75 Conjecture not found
% 17.43/11.78 Conjecture not found
% 17.66/11.90 Conjecture not found
% 17.74/11.99 Conjecture not found
% 17.90/12.08 Conjecture not found
% 18.04/12.13 Conjecture not found
% 18.10/12.22 Conjecture not found
% 18.10/12.24 Conjecture not found
% 18.24/12.32 Conjecture not found
% 18.42/12.39 Conjecture not found
% 18.56/12.51 Conjecture not found
% 18.83/12.67 Conjecture not found
% 18.83/12.69 Conjecture not found
% 18.91/12.73 Conjecture not found
% 18.91/12.76 Conjecture not found
% 18.99/12.80 Conjecture not found
% 19.27/12.96 Conjecture not found
% 19.35/13.06 Conjecture not found
% 19.43/13.09 Conjecture not found
% 19.43/13.15 Conjecture not found
% 20.13/13.51 Conjecture not found
% 20.18/13.62 Conjecture not found
% 20.49/13.69 Conjecture not found
% 20.49/13.73 Conjecture not found
% 20.49/13.75 Conjecture not found
% 20.58/13.77 Conjecture not found
% 20.65/13.86 Conjecture not found
% 20.96/13.99 Conjecture not found
% 21.05/14.12 Conjecture not found
% 21.12/14.20 Conjecture not found
% 21.20/14.25 Conjecture not found
% 21.49/14.42 Conjecture not found
% 21.58/14.51 Conjecture not found
% 21.87/14.59 Conjecture not found
% 21.95/14.66 Conjecture not found
% 21.98/14.72 Conjecture not found
% 21.98/14.74 Conjecture not found
% 22.05/14.79 Conjecture not found
% 22.05/14.80 Conjecture not found
% 22.11/14.83 Conjecture not found
% 22.21/14.91 Conjecture not found
% 22.40/14.96 Conjecture not found
% 22.44/15.00 Conjecture not found
% 22.44/15.04 Conjecture not found
% 22.57/15.14 Conjecture not found
% 22.57/15.15 Conjecture not found
% 22.73/15.21 Conjecture not found
% 22.73/15.25 Conjecture not found
% 23.05/15.45 Conjecture not found
% 23.05/15.47 Conjecture not found
% 23.11/15.55 Conjecture not found
% 23.36/15.56 Conjecture not found
% 23.36/15.56 Conjecture not found
% 23.37/15.57 Conjecture not found
% 23.37/15.59 Conjecture not found
% 23.44/15.69 Conjecture not found
% 23.44/15.70 Conjecture not found
% 23.52/15.73 Conjecture not found
% 23.60/15.87 Conjecture not found
% 23.91/15.98 Conjecture not found
% 24.07/16.12 Conjecture not found
% 24.07/16.14 Conjecture not found
% 24.50/16.35 Conjecture not found
% 24.67/16.58 Conjecture not found
% 24.97/16.61 Conjecture not found
% 24.97/16.69 Conjecture not found
% 25.06/16.72 Conjecture not found
% 25.06/16.74 Conjecture not found
% 25.15/16.89 Conjecture not found
% 25.39/17.01 Conjecture not found
% 25.57/17.08 Conjecture not found
% 25.67/17.12 Conjecture not found
% 26.01/17.29 Conjecture not found
% 26.01/17.35 Conjecture not found
% 26.11/17.38 Conjecture not found
% 26.14/17.47 Conjecture not found
% 26.23/17.55 Conjecture not found
% 26.23/17.56 Conjecture not found
% 26.32/17.67 Conjecture not found
% 26.63/17.79 Conjecture not found
% 26.71/17.83 Conjecture not found
% 26.71/17.85 Conjecture not found
% 26.78/17.94 Conjecture not found
% 26.89/18.02 Conjecture not found
% 26.98/18.02 Conjecture not found
% 27.21/18.12 Conjecture not found
% 27.28/18.19 Conjecture not found
% 27.28/18.25 Conjecture not found
% 27.41/18.32 Conjecture not found
% 27.73/18.44 Conjecture not found
% 27.73/18.47 Conjecture not found
% 27.86/18.56 Conjecture not found
% 27.94/18.67 Conjecture not found
% 28.24/18.82 Conjecture not found
% 28.24/18.86 Conjecture not found
% 28.45/18.96 Conjecture not found
% 28.45/19.00 Conjecture not found
% 28.53/19.02 Conjecture not found
% 28.53/19.02 Conjecture not found
% 28.53/19.04 Conjecture not found
% 28.59/19.08 Conjecture not found
% 28.59/19.09 Conjecture not found
% 28.98/19.25 Conjecture not found
% 29.06/19.36 Conjecture not found
% 29.13/19.45 Conjecture not found
% 29.13/19.47 Conjecture not found
% 29.22/19.48 Conjecture not found
% 29.27/19.59 Conjecture not found
% 29.59/19.62 Conjecture not found
% 29.59/19.64 Conjecture not found
% 29.74/19.77 Conjecture not found
% 29.74/19.80 Conjecture not found
% 29.79/19.87 Conjecture not found
% 29.88/20.00 Conjecture not found
% 30.18/20.05 Conjecture not found
% 30.28/20.11 Conjecture not found
% 30.82/20.49 Conjecture not found
% 30.93/20.60 Conjecture not found
% 31.02/20.62 Conjecture not found
% 31.41/20.81 Conjecture not found
% 31.41/20.84 Conjecture not found
% 31.53/20.92 Conjecture not found
% 31.53/20.97 Conjecture not found
% 31.71/21.12 Conjecture not found
% 31.71/21.18 Conjecture not found
% 31.80/21.20 Conjecture not found
% 32.05/21.25 Conjecture not found
% 32.05/21.30 Conjecture not found
% 32.22/21.38 Conjecture not found
% 32.34/21.50 Conjecture not found
% 32.37/21.53 Conjecture not found
% 32.37/21.53 Conjecture not found
% 32.37/21.54 Conjecture not found
% 32.59/21.64 Conjecture not found
% 32.59/21.67 Conjecture not found
% 32.75/21.77 Conjecture not found
% 33.00/21.93 Conjecture not found
% 33.06/22.04 Conjecture not found
% 33.22/22.11 Conjecture not found
% 33.42/22.13 Conjecture not found
% 33.44/22.16 Conjecture not found
% 33.52/22.24 Conjecture not found
% 33.58/22.28 Conjecture not found
% 33.58/22.29 Conjecture not found
% 33.58/22.35 Conjecture not found
% 33.70/22.41 Conjecture not found
% 33.74/22.49 Conjecture not found
% 33.89/22.56 Conjecture not found
% 34.12/22.60 Conjecture not found
% 34.29/22.76 Conjecture not found
% 34.36/22.80 Conjecture not found
% 34.36/22.83 Conjecture not found
% 34.61/22.98 Conjecture not found
% 34.83/23.03 Conjecture not found
% 34.85/23.11 Conjecture not found
% 34.94/23.15 Conjecture not found
% 35.00/23.19 Conjecture not found
% 35.00/23.21 Conjecture not found
% 35.08/23.27 Conjecture not found
% 35.09/23.28 Conjecture not found
% 35.43/23.54 Conjecture not found
% 35.43/23.56 Conjecture not found
% 35.43/23.57 Conjecture not found
% 35.68/23.64 Conjecture not found
% 35.76/23.70 Conjecture not found
% 35.76/23.76 Conjecture not found
% 35.84/23.79 Conjecture not found
% 35.84/23.85 Conjecture not found
% 35.95/23.91 Conjecture not found
% 35.98/23.99 Conjecture not found
% 36.08/24.03 Conjecture not found
% 36.31/24.14 Conjecture not found
% 36.53/24.19 Conjecture not found
% 36.53/24.22 Conjecture not found
% 36.53/24.24 Conjecture not found
% 36.64/24.31 Conjecture not found
% 36.64/24.38 Conjecture not found
% 36.74/24.44 Conjecture not found
% 36.83/24.50 Conjecture not found
% 36.83/24.52 Conjecture not found
% 36.93/24.61 Conjecture not found
% 37.35/24.73 Conjecture not found
% 37.35/24.78 Conjecture not found
% 37.44/24.82 Conjecture not found
% 37.44/24.87 Conjecture not found
% 37.57/24.93 Conjecture not found
% 37.57/24.95 Conjecture not found
% 37.57/24.98 Conjecture not found
% 37.67/25.05 Conjecture not found
% 37.67/25.09 Conjecture not found
% 37.74/25.12 Conjecture not found
% 37.99/25.23 Conjecture not found
% 38.26/25.33 Conjecture not found
% 38.46/25.52 Conjecture not found
% 38.48/25.57 Conjecture not found
% 38.56/25.64 Conjecture not found
% 39.01/25.81 Conjecture not found
% 39.18/25.98 Conjecture not found
% 39.18/26.05 Conjecture not found
% 39.36/26.17 Conjecture not found
% 39.42/26.20 Conjecture not found
% 39.42/26.22 Conjecture not found
% 39.42/26.25 Conjecture not found
% 39.49/26.27 Conjecture not found
% 39.49/26.32 Conjecture not found
% 39.49/26.37 Conjecture not found
% 39.90/26.38 Conjecture not found
% 39.94/26.42 Conjecture not found
% 39.97/26.45 Conjecture not found
% 40.05/26.53 Conjecture not found
% 40.19/26.66 Conjecture not found
% 40.24/26.71 Conjecture not found
% 40.27/26.78 Conjecture not found
% 40.27/26.81 Conjecture not found
% 40.35/26.84 Conjecture not found
% 40.81/26.99 Conjecture not found
% 40.95/27.16 Conjecture not found
% 41.02/27.22 Conjecture not found
% 41.02/27.24 Conjecture not found
% 41.16/27.41 Conjecture not found
% 41.65/27.52 Conjecture not found
% 41.65/27.57 Conjecture not found
% 41.75/27.64 Conjecture not found
% 41.75/27.66 Conjecture not found
% 41.86/27.77 Conjecture not found
% 41.95/27.80 Conjecture not found
% 41.95/27.82 Conjecture not found
% 41.95/27.89 Conjecture not found
% 42.05/27.93 Conjecture not found
% 42.05/27.95 Conjecture not found
% 42.21/28.00 Conjecture not found
% 42.46/28.04 Conjecture not found
% 42.46/28.10 Conjecture not found
% 42.58/28.13 Conjecture not found
% 42.58/28.17 Conjecture not found
% 42.64/28.21 Conjecture not found
% 42.72/28.29 Conjecture not found
% 42.85/28.32 Conjecture not found
% 43.07/28.35 Conjecture not found
% 43.07/28.36 Conjecture not found
% 43.07/28.38 Conjecture not found
% 43.07/28.39 Conjecture not found
% 43.07/28.39 Conjecture not found
% 43.21/28.46 Conjecture not found
% 43.21/28.47 Conjecture not found
% 43.21/28.48 Conjecture not found
% 43.28/28.51 Conjecture not found
% 43.28/28.52 Conjecture not found
% 43.28/28.54 Conjecture not found
% 43.74/28.62 Conjecture not found
% 43.74/28.64 Conjecture not found
% 43.77/28.66 Conjecture not found
% 43.77/28.69 Conjecture not found
% 43.77/28.71 Conjecture not found
% 43.85/28.74 Conjecture not found
% 43.85/28.75 Conjecture not found
% 43.85/28.76 Conjecture not found
% 43.85/28.77 Conjecture not found
% 43.89/28.80 Conjecture not found
% 43.96/28.86 Conjecture not found
% 44.08/28.92 Conjecture not found
% 44.43/28.96 Conjecture not found
% 44.43/28.99 Conjecture not found
% 44.43/28.99 Conjecture not found
% 44.43/29.01 Conjecture not found
% 44.50/29.07 Conjecture not found
% 44.55/29.09 Conjecture not found
% 44.55/29.12 Conjecture not found
% 44.98/29.18 Conjecture not found
% 45.06/29.21 Conjecture not found
% 45.12/29.24 Conjecture not found
% 45.12/29.27 Conjecture not found
% 45.12/29.28 Conjecture not found
% 45.18/29.31 Conjecture not found
% 45.18/29.33 Conjecture not found
% 45.18/29.35 Conjecture not found
% 45.23/29.37 Conjecture not found
% 45.23/29.38 Conjecture not found
% 45.23/29.39 Conjecture not found
% 45.57/29.44 Conjecture not found
% 45.76/29.51 Conjecture not found
% 45.82/29.55 Conjecture not found
% 45.82/29.56 Conjecture not found
% 45.82/29.58 Conjecture not found
% 45.87/29.61 Conjecture not found
% 45.87/29.63 Conjecture not found
% 45.87/29.65 Conjecture not found
% 45.93/29.67 Conjecture not found
% 45.93/29.68 Conjecture not found
% 45.93/29.69 Conjecture not found
% 45.93/29.72 Conjecture not found
% 45.93/29.73 Conjecture not found
% 45.93/29.76 Conjecture not found
% 46.48/29.83 Conjecture not found
% 46.48/29.84 Conjecture not found
% 46.52/29.90 Conjecture not found
% 46.52/29.91 Conjecture not found
% 46.52/29.93 Conjecture not found
% 46.61/29.94 Conjecture not found
% 46.61/29.98 Conjecture not found
% 46.68/30.00 Conjecture not found
% 46.68/30.03 Conjecture not found
% 46.74/30.06 Conjecture not found
% 46.75/30.08 Conjecture not found
% 47.05/30.15 Conjecture not found
% 47.33/30.23 Conjecture not found
% 47.40/30.33 Conjecture not found
% 47.40/30.35 Conjecture not found
% 47.40/30.36 Conjecture not found
% 47.46/30.37 Conjecture not found
% 47.53/30.43 Conjecture not found
% 47.53/30.44 Conjecture not found
% 47.53/30.46 Conjecture not found
% 47.53/30.48 Conjecture not found
% 48.05/30.60 Conjecture not found
% 48.05/30.65 Conjecture not found
% 48.21/30.76 Conjecture not found
% 48.21/30.77 Conjecture not found
% 48.21/30.82 Conjecture not found
% 48.31/30.83 Conjecture not found
% 48.31/30.84 Conjecture not found
% 48.31/30.86 Conjecture not found
% 48.47/30.91 Conjecture not found
% 48.47/30.96 Conjecture not found
% 48.88/30.98 Conjecture not found
% 48.88/30.99 Conjecture not found
% 48.91/31.01 Conjecture not found
% 48.93/31.06 Conjecture not found
% 48.93/31.07 Conjecture not found
% 48.93/31.09 Conjecture not found
% 49.03/31.12 Conjecture not found
% 49.03/31.14 Conjecture not found
% 49.03/31.18 Conjecture not found
% 49.10/31.21 Conjecture not found
% 49.64/31.30 Conjecture not found
% 49.64/31.33 Conjecture not found
% 49.68/31.42 Conjecture not found
% 49.78/31.46 Conjecture not found
% 49.78/31.48 Conjecture not found
% 49.85/31.51 Conjecture not found
% 49.85/31.55 Conjecture not found
% 49.85/31.57 Conjecture not found
% 49.91/31.58 Conjecture not found
% 49.91/31.61 Conjecture not found
% 50.16/31.72 Conjecture not found
% 50.55/31.78 Conjecture not found
% 50.55/31.80 Conjecture not found
% 50.63/31.83 Conjecture not found
% 50.63/31.85 Conjecture not found
% 50.63/31.87 Conjecture not found
% 50.69/31.90 Conjecture not found
% 50.69/31.91 Conjecture not found
% 50.69/31.93 Conjecture not found
% 50.77/31.96 Conjecture not found
% 50.77/31.99 Conjecture not found
% 50.82/32.02 Conjecture not found
% 50.86/32.05 Conjecture not found
% 50.86/32.06 Conjecture not found
% 50.88/32.08 Conjecture not found
% 50.88/32.09 Conjecture not found
% 51.40/32.15 Conjecture not found
% 51.40/32.23 Conjecture not found
% 51.53/32.25 Conjecture not found
% 51.53/32.25 Conjecture not found
% 51.53/32.26 Conjecture not found
% 51.53/32.28 Conjecture not found
% 51.57/32.30 Conjecture not found
% 51.57/32.32 Conjecture not found
% 51.57/32.34 Conjecture not found
% 51.63/32.35 Conjecture not found
% 51.66/32.37 Conjecture not found
% 51.71/32.41 Conjecture not found
% 51.71/32.43 Conjecture not found
% 51.71/32.44 Conjecture not found
% 51.75/32.46 Conjecture not found
% 51.75/32.51 Conjecture not found
% 51.75/32.52 Conjecture not found
% 51.85/32.60 Conjecture not found
% 52.06/32.62 Conjecture not found
% 52.06/32.65 Conjecture not found
% 52.56/32.81 Conjecture not found
% 52.61/32.84 Conjecture not found
% 52.61/32.86 Conjecture not found
% 52.61/32.87 Conjecture not found
% 52.69/32.92 Conjecture not found
% 52.69/32.96 Conjecture not found
% 52.74/33.02 Conjecture not found
% 53.36/33.09 Conjecture not found
% 53.42/33.14 Conjecture not found
% 53.51/33.24 Conjecture not found
% 53.51/33.25 Conjecture not found
% 53.56/33.31 Conjecture not found
% 53.56/33.33 Conjecture not found
% 53.65/33.36 Conjecture not found
% 53.65/33.37 Conjecture not found
% 53.65/33.39 Conjecture not found
% 53.65/33.40 Conjecture not found
% 53.70/33.42 Conjecture not found
% 53.70/33.44 Conjecture not found
% 53.70/33.45 Conjecture not found
% 53.74/33.47 Conjecture not found
% 54.21/33.55 Conjecture not found
% 54.21/33.56 Conjecture not found
% 54.34/33.58 Conjecture not found
% 54.34/33.60 Conjecture not found
% 54.41/33.66 Conjecture not found
% 54.45/33.68 Conjecture not found
% 54.45/33.71 Conjecture not found
% 54.51/33.74 Conjecture not found
% 54.51/33.77 Conjecture not found
% 54.54/33.80 Conjecture not found
% 54.54/33.81 Conjecture not found
% 54.54/33.83 Conjecture not found
% 54.83/33.91 Conjecture not found
% 55.23/34.00 Conjecture not found
% 56.16/34.41 Conjecture not found
% 56.20/34.42 Conjecture not found
% 56.23/34.45 Conjecture not found
% 56.23/34.47 Conjecture not found
% 56.23/34.48 Conjecture not found
% 56.23/34.49 Conjecture not found
% 56.23/34.50 Conjecture not found
% 56.23/34.51 Conjecture not found
% 56.31/34.52 Conjecture not found
% 56.31/34.53 Conjecture not found
% 56.31/34.54 Conjecture not found
% 56.36/34.58 Conjecture not found
% 56.36/34.65 Conjecture not found
% 56.79/34.75 Conjecture not found
% 57.05/34.81 Conjecture not found
% 57.15/34.85 Conjecture not found
% 57.15/34.86 Conjecture not found
% 57.15/34.88 Conjecture not found
% 57.21/34.93 Conjecture not found
% 57.21/34.94 Conjecture not found
% 57.27/34.96 Conjecture not found
% 57.27/34.98 Conjecture not found
% 57.27/34.99 Conjecture not found
% 57.35/35.05 Conjecture not found
% 57.35/35.08 Conjecture not found
% 57.35/35.12 Conjecture not found
% 57.45/35.19 Conjecture not found
% 57.79/35.21 Conjecture not found
% 58.09/35.31 Conjecture not found
% 58.15/35.34 Conjecture not found
% 58.15/35.35 Conjecture not found
% 58.20/35.36 Conjecture not found
% 58.20/35.40 Conjecture not found
% 58.20/35.42 Conjecture not found
% 58.20/35.43 Conjecture not found
% 58.30/35.49 Conjecture not found
% 58.33/35.50 Conjecture not found
% 58.33/35.51 Conjecture not found
% 58.33/35.53 Conjecture not found
% 58.37/35.54 Conjecture not found
% 58.37/35.57 Conjecture not found
% 58.37/35.59 Conjecture not found
% 58.44/35.60 Conjecture not found
% 58.50/35.68 Conjecture not found
% 58.50/35.74 Conjecture not found
% 59.06/35.77 Conjecture not found
% 59.06/35.79 Conjecture not found
% 59.25/35.88 Conjecture not found
% 59.25/35.88 Conjecture not found
% 59.32/35.92 Conjecture not found
% 59.32/35.95 Conjecture not found
% 59.38/36.03 Conjecture not found
% 59.38/36.05 Conjecture not found
% 59.46/36.07 Conjecture not found
% 59.48/36.10 Conjecture not found
% 59.64/36.16 Conjecture not found
% 59.64/36.21 Conjecture not found
% 60.16/36.27 Conjecture not found
% 60.23/36.34 Conjecture not found
% 60.33/36.40 Conjecture not found
% 60.33/36.42 Conjecture not found
% 60.38/36.44 Conjecture not found
% 60.41/36.52 Conjecture not found
% 60.48/36.57 Conjecture not found
% 60.53/36.61 Start search
% 130.22/53.61 nb_step : 1 - limit : 133936
% 130.83/54.19 Launch Gotab with destructive = true
%------------------------------------------------------------------------------