TSTP Solution File: LAT345+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT345+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n026.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:09 EDT 2022
% Result : Timeout 300.06s 91.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : LAT345+4 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.11 % Command : goeland -dmt -presko -proof %s
% 0.10/0.31 % Computer : n026.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 15:35:29 EDT 2022
% 0.16/0.32 % CPUTime :
% 0.16/0.32 [DMT] DMT loaded with preskolemization
% 0.16/0.32 [EQ] equality loaded.
% 0.16/0.32 [0.000034s][1][MAIN] Problem : theBenchmark.p
% 0.16/0.35 Conjecture not found
% 0.16/0.36 Conjecture not found
% 0.16/0.36 Conjecture not found
% 0.16/0.36 Conjecture not found
% 0.16/0.38 Conjecture not found
% 0.16/0.39 Conjecture not found
% 0.16/0.42 Conjecture not found
% 0.16/0.44 Conjecture not found
% 0.16/0.46 Conjecture not found
% 0.16/0.46 Conjecture not found
% 0.16/0.50 Conjecture not found
% 0.16/0.53 Conjecture not found
% 0.16/0.55 Conjecture not found
% 0.16/0.56 Conjecture not found
% 0.16/0.57 Conjecture not found
% 0.48/0.60 Conjecture not found
% 0.52/0.62 Conjecture not found
% 0.58/0.67 Conjecture not found
% 0.72/0.76 Conjecture not found
% 0.72/0.76 Conjecture not found
% 0.82/0.85 Conjecture not found
% 0.99/0.91 Conjecture not found
% 1.04/1.00 Conjecture not found
% 1.19/1.04 Conjecture not found
% 1.28/1.13 Conjecture not found
% 1.42/1.18 Conjecture not found
% 1.51/1.24 Conjecture not found
% 1.51/1.27 Conjecture not found
% 1.51/1.31 Conjecture not found
% 1.63/1.33 Conjecture not found
% 1.63/1.34 Conjecture not found
% 1.63/1.35 Conjecture not found
% 1.63/1.35 Conjecture not found
% 1.84/1.47 Conjecture not found
% 1.86/1.50 Conjecture not found
% 1.86/1.50 Conjecture not found
% 1.92/1.52 Conjecture not found
% 1.92/1.52 Conjecture not found
% 1.92/1.53 Conjecture not found
% 1.92/1.53 Conjecture not found
% 1.95/1.54 Conjecture not found
% 1.95/1.54 Conjecture not found
% 1.95/1.60 Conjecture not found
% 2.08/1.66 Conjecture not found
% 2.08/1.67 Conjecture not found
% 2.08/1.67 Conjecture not found
% 2.08/1.69 Conjecture not found
% 2.20/1.71 Conjecture not found
% 2.20/1.72 Conjecture not found
% 2.20/1.74 Conjecture not found
% 2.20/1.77 Conjecture not found
% 2.33/1.79 Conjecture not found
% 2.36/1.81 Conjecture not found
% 2.36/1.82 Conjecture not found
% 2.39/1.83 Conjecture not found
% 2.39/1.87 Conjecture not found
% 2.55/1.94 Conjecture not found
% 2.65/2.00 Conjecture not found
% 2.65/2.01 Conjecture not found
% 2.65/2.04 Conjecture not found
% 2.65/2.07 Conjecture not found
% 2.81/2.11 Conjecture not found
% 2.83/2.13 Conjecture not found
% 2.83/2.16 Conjecture not found
% 2.98/2.27 Conjecture not found
% 2.98/2.31 Conjecture not found
% 3.10/2.33 Conjecture not found
% 3.10/2.35 Conjecture not found
% 3.10/2.37 Conjecture not found
% 3.23/2.40 Conjecture not found
% 3.54/2.62 Conjecture not found
% 3.54/2.66 Conjecture not found
% 3.54/2.68 Conjecture not found
% 3.82/2.82 Conjecture not found
% 3.82/2.83 Conjecture not found
% 3.82/2.85 Conjecture not found
% 3.82/2.88 Conjecture not found
% 3.97/2.93 Conjecture not found
% 3.97/3.01 Conjecture not found
% 4.14/3.10 Conjecture not found
% 4.29/3.19 Conjecture not found
% 4.42/3.26 Conjecture not found
% 4.42/3.27 Conjecture not found
% 4.54/3.33 Conjecture not found
% 4.54/3.33 Conjecture not found
% 4.54/3.37 Conjecture not found
% 4.70/3.40 Conjecture not found
% 4.74/3.43 Conjecture not found
% 4.74/3.45 Conjecture not found
% 4.84/3.53 Conjecture not found
% 4.84/3.54 Conjecture not found
% 4.97/3.58 Conjecture not found
% 4.97/3.67 Conjecture not found
% 5.21/3.80 Conjecture not found
% 5.60/3.98 Conjecture not found
% 5.91/4.26 Conjecture not found
% 6.62/4.66 Conjecture not found
% 6.62/4.69 Conjecture not found
% 6.62/4.73 Conjecture not found
% 6.83/4.87 Conjecture not found
% 6.96/4.91 Conjecture not found
% 7.09/4.97 Conjecture not found
% 7.16/5.06 Conjecture not found
% 7.29/5.11 Conjecture not found
% 7.45/5.20 Conjecture not found
% 7.51/5.25 Conjecture not found
% 7.51/5.28 Conjecture not found
% 7.51/5.30 Conjecture not found
% 7.66/5.34 Conjecture not found
% 7.66/5.35 Conjecture not found
% 7.72/5.46 Conjecture not found
% 7.92/5.56 Conjecture not found
% 8.07/5.64 Conjecture not found
% 8.31/5.77 Conjecture not found
% 8.33/5.81 Conjecture not found
% 8.43/5.86 Conjecture not found
% 8.43/5.89 Conjecture not found
% 8.43/5.91 Conjecture not found
% 8.51/5.94 Conjecture not found
% 8.51/5.97 Conjecture not found
% 8.51/5.99 Conjecture not found
% 8.67/6.04 Conjecture not found
% 8.67/6.04 Conjecture not found
% 8.67/6.06 Conjecture not found
% 8.67/6.08 Conjecture not found
% 8.85/6.13 Conjecture not found
% 8.85/6.16 Conjecture not found
% 8.96/6.21 Conjecture not found
% 8.96/6.28 Conjecture not found
% 9.39/6.54 Conjecture not found
% 9.57/6.59 Conjecture not found
% 9.57/6.60 Conjecture not found
% 9.58/6.63 Conjecture not found
% 9.58/6.67 Conjecture not found
% 9.58/6.71 Conjecture not found
% 9.77/6.78 Conjecture not found
% 9.77/6.79 Conjecture not found
% 9.87/6.82 Conjecture not found
% 9.87/6.85 Conjecture not found
% 10.02/6.97 Conjecture not found
% 11.12/7.66 Conjecture not found
% 12.16/8.40 Conjecture not found
% 12.40/8.55 Conjecture not found
% 12.46/8.61 Conjecture not found
% 12.46/8.62 Conjecture not found
% 12.46/8.63 Conjecture not found
% 12.46/8.66 Conjecture not found
% 12.69/8.67 Conjecture not found
% 12.69/8.68 Conjecture not found
% 12.69/8.70 Conjecture not found
% 12.73/8.74 Conjecture not found
% 12.82/8.76 Conjecture not found
% 12.82/8.78 Conjecture not found
% 12.82/8.78 Conjecture not found
% 12.82/8.81 Conjecture not found
% 12.99/8.85 Conjecture not found
% 12.99/8.87 Conjecture not found
% 13.05/8.91 Conjecture not found
% 13.22/8.97 Conjecture not found
% 13.22/8.98 Conjecture not found
% 13.22/8.99 Conjecture not found
% 13.32/9.02 Conjecture not found
% 13.39/9.05 Conjecture not found
% 13.39/9.09 Conjecture not found
% 13.39/9.12 Conjecture not found
% 13.39/9.12 Conjecture not found
% 13.47/9.19 Conjecture not found
% 13.65/9.23 Conjecture not found
% 13.65/9.24 Conjecture not found
% 13.65/9.25 Conjecture not found
% 13.81/9.29 Conjecture not found
% 13.81/9.30 Conjecture not found
% 13.81/9.30 Conjecture not found
% 13.85/9.31 Conjecture not found
% 13.87/9.33 Conjecture not found
% 13.87/9.34 Conjecture not found
% 13.87/9.35 Conjecture not found
% 13.87/9.38 Conjecture not found
% 13.87/9.41 Conjecture not found
% 14.08/9.44 Conjecture not found
% 14.08/9.48 Conjecture not found
% 14.15/9.50 Conjecture not found
% 14.15/9.51 Conjecture not found
% 14.15/9.53 Conjecture not found
% 14.15/9.56 Conjecture not found
% 14.36/9.59 Conjecture not found
% 14.36/9.60 Conjecture not found
% 14.40/9.63 Conjecture not found
% 14.40/9.65 Conjecture not found
% 14.40/9.68 Conjecture not found
% 14.40/9.73 Conjecture not found
% 14.62/9.74 Conjecture not found
% 14.62/9.77 Conjecture not found
% 14.62/9.80 Conjecture not found
% 14.70/9.81 Conjecture not found
% 14.70/9.84 Conjecture not found
% 14.70/9.86 Conjecture not found
% 14.70/9.88 Conjecture not found
% 14.70/9.88 Conjecture not found
% 14.92/9.89 Conjecture not found
% 14.92/9.90 Conjecture not found
% 14.92/9.94 Conjecture not found
% 15.17/10.02 Conjecture not found
% 15.17/10.03 Conjecture not found
% 15.17/10.04 Conjecture not found
% 15.17/10.06 Conjecture not found
% 15.17/10.07 Conjecture not found
% 15.17/10.08 Conjecture not found
% 15.41/10.11 Conjecture not found
% 15.41/10.14 Conjecture not found
% 15.49/10.20 Conjecture not found
% 15.49/10.23 Conjecture not found
% 15.49/10.28 Conjecture not found
% 15.76/10.33 Conjecture not found
% 16.08/10.51 Conjecture not found
% 16.16/10.57 Conjecture not found
% 16.36/10.64 Conjecture not found
% 16.36/10.65 Conjecture not found
% 16.36/10.68 Conjecture not found
% 16.36/10.72 Conjecture not found
% 16.46/10.75 Conjecture not found
% 16.46/10.79 Conjecture not found
% 16.75/10.87 Conjecture not found
% 16.77/10.93 Conjecture not found
% 16.99/11.00 Conjecture not found
% 17.06/11.04 Conjecture not found
% 17.10/11.10 Conjecture not found
% 17.10/11.12 Conjecture not found
% 17.37/11.18 Conjecture not found
% 17.37/11.22 Conjecture not found
% 17.45/11.30 Conjecture not found
% 17.71/11.37 Conjecture not found
% 17.71/11.38 Conjecture not found
% 17.71/11.41 Conjecture not found
% 17.71/11.45 Conjecture not found
% 17.96/11.48 Conjecture not found
% 18.06/11.56 Conjecture not found
% 18.26/11.63 Conjecture not found
% 18.32/11.65 Conjecture not found
% 18.32/11.70 Conjecture not found
% 18.75/11.92 Conjecture not found
% 18.98/11.99 Conjecture not found
% 18.98/12.03 Conjecture not found
% 18.98/12.05 Conjecture not found
% 19.08/12.06 Conjecture not found
% 19.08/12.07 Conjecture not found
% 19.28/12.13 Conjecture not found
% 19.35/12.19 Conjecture not found
% 19.44/12.26 Conjecture not found
% 19.67/12.34 Conjecture not found
% 19.75/12.37 Conjecture not found
% 19.86/12.49 Conjecture not found
% 20.10/12.56 Conjecture not found
% 20.16/12.62 Conjecture not found
% 20.24/12.68 Conjecture not found
% 20.41/12.72 Conjecture not found
% 20.50/12.73 Conjecture not found
% 20.50/12.76 Conjecture not found
% 20.50/12.77 Conjecture not found
% 20.50/12.78 Conjecture not found
% 20.50/12.82 Conjecture not found
% 20.59/12.85 Conjecture not found
% 20.86/12.89 Conjecture not found
% 20.86/12.92 Conjecture not found
% 20.95/12.99 Conjecture not found
% 20.95/13.00 Conjecture not found
% 20.98/13.03 Conjecture not found
% 21.01/13.05 Conjecture not found
% 21.31/13.19 Conjecture not found
% 21.31/13.20 Conjecture not found
% 21.39/13.24 Conjecture not found
% 21.39/13.24 Conjecture not found
% 21.39/13.25 Conjecture not found
% 21.39/13.25 Conjecture not found
% 21.39/13.26 Conjecture not found
% 21.63/13.35 Conjecture not found
% 21.63/13.36 Conjecture not found
% 21.75/13.38 Conjecture not found
% 21.79/13.44 Conjecture not found
% 22.07/13.51 Conjecture not found
% 22.16/13.58 Conjecture not found
% 22.16/13.60 Conjecture not found
% 22.50/13.75 Conjecture not found
% 22.59/13.87 Conjecture not found
% 22.81/13.90 Conjecture not found
% 22.81/13.93 Conjecture not found
% 22.81/13.94 Conjecture not found
% 22.81/13.95 Conjecture not found
% 23.20/14.03 Conjecture not found
% 23.20/14.11 Conjecture not found
% 23.29/14.15 Conjecture not found
% 23.29/14.16 Conjecture not found
% 23.64/14.28 Conjecture not found
% 23.67/14.33 Conjecture not found
% 23.71/14.34 Conjecture not found
% 23.73/14.39 Conjecture not found
% 23.90/14.44 Conjecture not found
% 23.90/14.46 Conjecture not found
% 24.08/14.51 Conjecture not found
% 24.17/14.57 Conjecture not found
% 24.17/14.59 Conjecture not found
% 24.17/14.61 Conjecture not found
% 24.41/14.68 Conjecture not found
% 24.55/14.74 Conjecture not found
% 24.55/14.74 Conjecture not found
% 24.59/14.78 Conjecture not found
% 24.59/14.82 Conjecture not found
% 24.67/14.86 Conjecture not found
% 24.93/14.94 Conjecture not found
% 25.05/15.01 Conjecture not found
% 25.05/15.02 Conjecture not found
% 25.10/15.07 Conjecture not found
% 25.41/15.16 Conjecture not found
% 25.52/15.25 Conjecture not found
% 25.53/15.27 Conjecture not found
% 25.58/15.35 Conjecture not found
% 25.86/15.38 Conjecture not found
% 25.86/15.40 Conjecture not found
% 25.86/15.40 Conjecture not found
% 25.86/15.42 Conjecture not found
% 25.86/15.44 Conjecture not found
% 25.86/15.45 Conjecture not found
% 26.01/15.52 Conjecture not found
% 26.04/15.61 Conjecture not found
% 26.37/15.68 Conjecture not found
% 26.42/15.71 Conjecture not found
% 26.42/15.71 Conjecture not found
% 26.50/15.76 Conjecture not found
% 26.50/15.78 Conjecture not found
% 26.50/15.79 Conjecture not found
% 26.81/15.89 Conjecture not found
% 26.81/15.91 Conjecture not found
% 26.94/15.95 Conjecture not found
% 27.00/16.01 Conjecture not found
% 27.00/16.03 Conjecture not found
% 27.33/16.10 Conjecture not found
% 27.53/16.31 Conjecture not found
% 27.93/16.42 Conjecture not found
% 27.95/16.43 Conjecture not found
% 27.95/16.52 Conjecture not found
% 28.04/16.53 Conjecture not found
% 28.38/16.61 Conjecture not found
% 28.38/16.65 Conjecture not found
% 28.47/16.74 Conjecture not found
% 28.47/16.77 Conjecture not found
% 28.47/16.78 Conjecture not found
% 28.57/16.80 Conjecture not found
% 28.59/16.85 Conjecture not found
% 28.94/16.91 Conjecture not found
% 28.94/16.98 Conjecture not found
% 29.03/16.99 Conjecture not found
% 29.03/16.99 Conjecture not found
% 29.03/17.00 Conjecture not found
% 29.03/17.04 Conjecture not found
% 29.03/17.05 Conjecture not found
% 29.44/17.14 Conjecture not found
% 29.54/17.23 Conjecture not found
% 29.54/17.28 Conjecture not found
% 29.54/17.29 Conjecture not found
% 29.60/17.31 Conjecture not found
% 29.60/17.35 Conjecture not found
% 29.97/17.42 Conjecture not found
% 30.00/17.44 Conjecture not found
% 30.00/17.45 Conjecture not found
% 30.00/17.48 Conjecture not found
% 30.00/17.51 Conjecture not found
% 30.10/17.55 Conjecture not found
% 30.10/17.58 Conjecture not found
% 30.24/17.62 Conjecture not found
% 30.59/17.74 Conjecture not found
% 30.62/17.76 Conjecture not found
% 30.62/17.77 Conjecture not found
% 30.69/17.85 Conjecture not found
% 30.91/17.88 Conjecture not found
% 31.12/17.96 Conjecture not found
% 31.14/17.99 Conjecture not found
% 31.14/18.01 Conjecture not found
% 31.14/18.02 Conjecture not found
% 31.23/18.05 Conjecture not found
% 31.23/18.06 Conjecture not found
% 31.48/18.18 Conjecture not found
% 31.48/18.19 Conjecture not found
% 31.48/18.21 Conjecture not found
% 31.75/18.27 Conjecture not found
% 31.78/18.30 Conjecture not found
% 31.78/18.33 Conjecture not found
% 31.84/18.35 Conjecture not found
% 31.84/18.38 Conjecture not found
% 31.90/18.41 Conjecture not found
% 32.05/18.48 Conjecture not found
% 32.05/18.52 Conjecture not found
% 32.33/18.57 Conjecture not found
% 32.38/18.60 Conjecture not found
% 32.38/18.61 Conjecture not found
% 32.38/18.62 Conjecture not found
% 32.44/18.65 Conjecture not found
% 32.44/18.69 Conjecture not found
% 32.49/18.72 Conjecture not found
% 32.49/18.76 Conjecture not found
% 32.58/18.78 Conjecture not found
% 32.95/18.88 Conjecture not found
% 33.00/18.93 Conjecture not found
% 33.03/18.95 Conjecture not found
% 33.03/18.97 Conjecture not found
% 33.03/19.00 Conjecture not found
% 33.12/19.03 Conjecture not found
% 33.12/19.04 Conjecture not found
% 33.12/19.06 Conjecture not found
% 33.30/19.13 Conjecture not found
% 33.55/19.16 Conjecture not found
% 33.56/19.19 Conjecture not found
% 33.61/19.23 Conjecture not found
% 33.64/19.28 Conjecture not found
% 34.02/19.41 Conjecture not found
% 34.02/19.45 Conjecture not found
% 34.21/19.51 Conjecture not found
% 34.25/19.58 Conjecture not found
% 34.33/19.67 Conjecture not found
% 34.40/19.74 Conjecture not found
% 34.90/19.82 Conjecture not found
% 34.90/19.84 Conjecture not found
% 34.90/19.85 Conjecture not found
% 34.90/19.86 Conjecture not found
% 34.90/19.88 Conjecture not found
% 34.90/19.89 Conjecture not found
% 34.90/19.92 Conjecture not found
% 35.00/19.92 Conjecture not found
% 35.00/19.95 Conjecture not found
% 35.00/19.97 Conjecture not found
% 35.18/20.01 Conjecture not found
% 35.18/20.09 Conjecture not found
% 35.53/20.12 Conjecture not found
% 35.53/20.16 Conjecture not found
% 35.53/20.17 Conjecture not found
% 35.53/20.18 Conjecture not found
% 35.63/20.23 Conjecture not found
% 36.07/20.37 Conjecture not found
% 36.17/20.40 Conjecture not found
% 36.17/20.41 Conjecture not found
% 36.26/20.50 Conjecture not found
% 36.26/20.54 Conjecture not found
% 36.26/20.57 Conjecture not found
% 36.42/20.62 Conjecture not found
% 36.59/20.65 Conjecture not found
% 36.88/20.74 Conjecture not found
% 36.88/20.75 Conjecture not found
% 36.88/20.76 Conjecture not found
% 36.95/20.80 Conjecture not found
% 36.95/20.82 Conjecture not found
% 36.95/20.84 Conjecture not found
% 36.95/20.86 Conjecture not found
% 37.05/20.87 Conjecture not found
% 37.08/20.92 Conjecture not found
% 37.54/21.00 Conjecture not found
% 37.54/21.05 Conjecture not found
% 37.62/21.10 Conjecture not found
% 37.72/21.21 Conjecture not found
% 37.77/21.22 Conjecture not found
% 37.77/21.24 Conjecture not found
% 37.80/21.26 Conjecture not found
% 37.80/21.27 Conjecture not found
% 37.80/21.33 Conjecture not found
% 38.21/21.33 Conjecture not found
% 38.27/21.39 Conjecture not found
% 38.27/21.40 Conjecture not found
% 38.27/21.42 Conjecture not found
% 38.27/21.44 Conjecture not found
% 38.34/21.45 Conjecture not found
% 38.36/21.47 Conjecture not found
% 38.36/21.49 Conjecture not found
% 38.36/21.50 Conjecture not found
% 38.41/21.52 Conjecture not found
% 38.61/21.61 Conjecture not found
% 38.88/21.64 Conjecture not found
% 38.88/21.68 Conjecture not found
% 38.92/21.69 Conjecture not found
% 38.92/21.70 Conjecture not found
% 38.92/21.71 Conjecture not found
% 39.00/21.77 Conjecture not found
% 39.09/21.84 Conjecture not found
% 39.10/21.88 Conjecture not found
% 39.60/21.98 Conjecture not found
% 39.60/22.01 Conjecture not found
% 39.60/22.01 Conjecture not found
% 39.60/22.03 Conjecture not found
% 39.73/22.09 Conjecture not found
% 39.73/22.11 Conjecture not found
% 39.73/22.13 Conjecture not found
% 39.79/22.16 Conjecture not found
% 40.20/22.22 Conjecture not found
% 40.20/22.25 Conjecture not found
% 40.29/22.28 Conjecture not found
% 40.29/22.30 Conjecture not found
% 40.29/22.32 Conjecture not found
% 40.29/22.35 Conjecture not found
% 40.29/22.36 Conjecture not found
% 40.39/22.38 Conjecture not found
% 40.39/22.40 Conjecture not found
% 40.43/22.41 Conjecture not found
% 40.46/22.44 Conjecture not found
% 40.46/22.50 Conjecture not found
% 40.93/22.58 Conjecture not found
% 40.98/22.59 Conjecture not found
% 40.98/22.62 Conjecture not found
% 41.06/22.66 Conjecture not found
% 41.07/22.69 Conjecture not found
% 41.11/22.71 Conjecture not found
% 41.14/22.74 Conjecture not found
% 41.14/22.75 Conjecture not found
% 41.14/22.77 Conjecture not found
% 41.14/22.81 Conjecture not found
% 41.14/22.82 Conjecture not found
% 41.27/22.87 Conjecture not found
% 41.73/22.94 Conjecture not found
% 41.73/22.95 Conjecture not found
% 41.85/23.02 Conjecture not found
% 41.85/23.03 Conjecture not found
% 41.85/23.05 Conjecture not found
% 41.85/23.06 Conjecture not found
% 41.85/23.10 Conjecture not found
% 41.94/23.12 Conjecture not found
% 41.94/23.15 Conjecture not found
% 41.94/23.18 Conjecture not found
% 42.02/23.20 Conjecture not found
% 42.02/23.27 Conjecture not found
% 42.58/23.36 Conjecture not found
% 42.68/23.46 Conjecture not found
% 42.68/23.48 Conjecture not found
% 42.68/23.50 Conjecture not found
% 42.68/23.51 Conjecture not found
% 42.86/23.60 Conjecture not found
% 42.86/23.61 Conjecture not found
% 42.86/23.63 Conjecture not found
% 42.86/23.68 Conjecture not found
% 43.50/23.81 Conjecture not found
% 43.50/23.85 Conjecture not found
% 43.59/23.98 Conjecture not found
% 43.59/23.99 Conjecture not found
% 43.69/24.05 Conjecture not found
% 43.69/24.06 Conjecture not found
% 43.69/24.06 Conjecture not found
% 43.69/24.08 Conjecture not found
% 44.20/24.16 Conjecture not found
% 44.35/24.21 Conjecture not found
% 44.35/24.23 Conjecture not found
% 44.35/24.25 Conjecture not found
% 44.42/24.28 Conjecture not found
% 44.42/24.35 Conjecture not found
% 44.42/24.36 Conjecture not found
% 44.52/24.39 Conjecture not found
% 44.57/24.44 Conjecture not found
% 44.57/24.46 Conjecture not found
% 44.71/24.57 Conjecture not found
% 45.17/24.62 Conjecture not found
% 45.17/24.66 Conjecture not found
% 45.17/24.68 Conjecture not found
% 45.34/24.78 Conjecture not found
% 45.34/24.82 Conjecture not found
% 45.42/24.84 Conjecture not found
% 45.47/24.88 Conjecture not found
% 45.47/24.92 Conjecture not found
% 45.47/24.93 Conjecture not found
% 45.55/24.95 Conjecture not found
% 45.57/24.99 Conjecture not found
% 46.20/25.14 Conjecture not found
% 46.20/25.17 Conjecture not found
% 46.25/25.19 Conjecture not found
% 46.25/25.22 Conjecture not found
% 46.25/25.24 Conjecture not found
% 46.33/25.27 Conjecture not found
% 46.36/25.32 Conjecture not found
% 46.43/25.35 Conjecture not found
% 46.43/25.37 Conjecture not found
% 46.43/25.41 Conjecture not found
% 46.49/25.44 Conjecture not found
% 46.54/25.47 Conjecture not found
% 46.54/25.51 Conjecture not found
% 46.54/25.53 Conjecture not found
% 47.11/25.58 Conjecture not found
% 47.16/25.59 Conjecture not found
% 47.16/25.61 Conjecture not found
% 47.21/25.67 Conjecture not found
% 47.21/25.68 Conjecture not found
% 47.21/25.69 Conjecture not found
% 47.21/25.70 Conjecture not found
% 47.28/25.72 Conjecture not found
% 47.28/25.74 Conjecture not found
% 47.28/25.76 Conjecture not found
% 47.28/25.78 Conjecture not found
% 47.34/25.79 Conjecture not found
% 47.34/25.82 Conjecture not found
% 47.34/25.86 Conjecture not found
% 47.34/25.87 Conjecture not found
% 47.44/25.89 Conjecture not found
% 47.44/25.90 Conjecture not found
% 47.60/25.98 Conjecture not found
% 47.60/26.00 Conjecture not found
% 48.19/26.11 Conjecture not found
% 48.19/26.11 Conjecture not found
% 48.19/26.12 Conjecture not found
% 48.34/26.28 Conjecture not found
% 48.34/26.30 Conjecture not found
% 48.42/26.33 Conjecture not found
% 48.42/26.34 Conjecture not found
% 48.42/26.41 Conjecture not found
% 48.80/26.47 Conjecture not found
% 49.14/26.51 Conjecture not found
% 49.14/26.55 Conjecture not found
% 49.14/26.59 Conjecture not found
% 49.24/26.69 Conjecture not found
% 49.24/26.69 Conjecture not found
% 49.33/26.76 Conjecture not found
% 49.33/26.78 Conjecture not found
% 49.42/26.82 Conjecture not found
% 49.42/26.84 Conjecture not found
% 49.42/26.86 Conjecture not found
% 49.42/26.88 Conjecture not found
% 50.09/26.91 Conjecture not found
% 50.09/26.92 Conjecture not found
% 50.09/26.93 Conjecture not found
% 50.09/26.93 Start search
% 103.09/40.60 nb_step : 1 - limit : 118318
% 104.18/41.14 Launch Gotab with destructive = true
%------------------------------------------------------------------------------