TSTP Solution File: LAT376+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT376+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n004.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.08s 89.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT376+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n004.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 300
% 0.11/0.33 % DateTime : Thu Sep 1 16:32:27 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.34 [DMT] DMT loaded with preskolemization
% 0.11/0.34 [EQ] equality loaded.
% 0.11/0.34 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.42 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.50 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.56/0.59 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.56/0.61 Conjecture not found
% 0.56/0.63 Conjecture not found
% 0.67/0.65 Conjecture not found
% 0.67/0.69 Conjecture not found
% 0.87/0.76 Conjecture not found
% 0.87/0.77 Conjecture not found
% 1.01/0.85 Conjecture not found
% 1.08/0.90 Conjecture not found
% 1.18/0.98 Conjecture not found
% 1.28/1.02 Conjecture not found
% 1.40/1.09 Conjecture not found
% 1.40/1.12 Conjecture not found
% 1.55/1.18 Conjecture not found
% 1.55/1.20 Conjecture not found
% 1.60/1.23 Conjecture not found
% 1.67/1.24 Conjecture not found
% 1.67/1.25 Conjecture not found
% 1.67/1.26 Conjecture not found
% 1.67/1.26 Conjecture not found
% 1.83/1.37 Conjecture not found
% 1.83/1.39 Conjecture not found
% 1.83/1.39 Conjecture not found
% 1.93/1.41 Conjecture not found
% 1.93/1.41 Conjecture not found
% 1.93/1.42 Conjecture not found
% 1.93/1.42 Conjecture not found
% 1.93/1.43 Conjecture not found
% 1.93/1.43 Conjecture not found
% 2.05/1.49 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.56 Conjecture not found
% 2.16/1.57 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.60 Conjecture not found
% 2.16/1.62 Conjecture not found
% 2.35/1.64 Conjecture not found
% 2.35/1.66 Conjecture not found
% 2.35/1.67 Conjecture not found
% 2.35/1.69 Conjecture not found
% 2.46/1.72 Conjecture not found
% 2.58/1.78 Conjecture not found
% 2.62/1.84 Conjecture not found
% 2.62/1.85 Conjecture not found
% 2.62/1.87 Conjecture not found
% 2.62/1.90 Conjecture not found
% 2.79/1.93 Conjecture not found
% 2.79/1.95 Conjecture not found
% 2.79/1.97 Conjecture not found
% 2.93/2.06 Conjecture not found
% 3.08/2.09 Conjecture not found
% 3.10/2.11 Conjecture not found
% 3.12/2.12 Conjecture not found
% 3.12/2.14 Conjecture not found
% 3.12/2.16 Conjecture not found
% 3.46/2.34 Conjecture not found
% 3.46/2.37 Conjecture not found
% 3.46/2.39 Conjecture not found
% 3.61/2.48 Conjecture not found
% 3.80/2.50 Conjecture not found
% 3.81/2.51 Conjecture not found
% 3.81/2.53 Conjecture not found
% 3.81/2.58 Conjecture not found
% 3.95/2.65 Conjecture not found
% 4.14/2.72 Conjecture not found
% 4.27/2.80 Conjecture not found
% 4.36/2.84 Conjecture not found
% 4.36/2.85 Conjecture not found
% 4.36/2.88 Conjecture not found
% 4.36/2.88 Conjecture not found
% 4.36/2.92 Conjecture not found
% 4.50/2.94 Conjecture not found
% 4.50/2.96 Conjecture not found
% 4.50/2.97 Conjecture not found
% 4.62/3.02 Conjecture not found
% 4.62/3.03 Conjecture not found
% 4.74/3.07 Conjecture not found
% 4.82/3.12 Conjecture not found
% 4.85/3.22 Conjecture not found
% 5.31/3.37 Conjecture not found
% 5.68/3.58 Conjecture not found
% 6.22/3.90 Conjecture not found
% 6.22/3.93 Conjecture not found
% 6.22/3.96 Conjecture not found
% 6.52/4.06 Conjecture not found
% 6.52/4.10 Conjecture not found
% 6.65/4.13 Conjecture not found
% 6.75/4.18 Conjecture not found
% 6.75/4.22 Conjecture not found
% 6.90/4.28 Conjecture not found
% 6.93/4.31 Conjecture not found
% 7.05/4.35 Conjecture not found
% 7.07/4.35 Conjecture not found
% 7.07/4.37 Conjecture not found
% 7.07/4.39 Conjecture not found
% 7.25/4.48 Conjecture not found
% 7.25/4.54 Conjecture not found
% 7.41/4.59 Conjecture not found
% 7.59/4.68 Conjecture not found
% 7.59/4.71 Conjecture not found
% 7.72/4.75 Conjecture not found
% 7.72/4.78 Conjecture not found
% 7.72/4.79 Conjecture not found
% 7.85/4.82 Conjecture not found
% 7.85/4.85 Conjecture not found
% 7.92/4.86 Conjecture not found
% 8.03/4.91 Conjecture not found
% 8.03/4.92 Conjecture not found
% 8.03/4.93 Conjecture not found
% 8.06/4.95 Conjecture not found
% 8.06/4.98 Conjecture not found
% 8.06/5.01 Conjecture not found
% 8.24/5.05 Conjecture not found
% 8.24/5.09 Conjecture not found
% 8.60/5.27 Conjecture not found
% 8.60/5.29 Conjecture not found
% 8.60/5.30 Conjecture not found
% 8.78/5.32 Conjecture not found
% 8.78/5.34 Conjecture not found
% 8.78/5.36 Conjecture not found
% 8.92/5.40 Conjecture not found
% 8.92/5.42 Conjecture not found
% 8.92/5.45 Conjecture not found
% 9.02/5.48 Conjecture not found
% 9.10/5.56 Conjecture not found
% 9.96/6.02 Conjecture not found
% 10.85/6.50 Conjecture not found
% 10.89/6.58 Conjecture not found
% 11.07/6.65 Conjecture not found
% 11.07/6.66 Conjecture not found
% 11.07/6.68 Conjecture not found
% 11.15/6.72 Conjecture not found
% 11.15/6.73 Conjecture not found
% 11.15/6.74 Conjecture not found
% 11.27/6.77 Conjecture not found
% 11.29/6.81 Conjecture not found
% 11.38/6.85 Conjecture not found
% 11.43/6.86 Conjecture not found
% 11.43/6.87 Conjecture not found
% 11.43/6.89 Conjecture not found
% 11.61/6.94 Conjecture not found
% 11.61/6.97 Conjecture not found
% 11.66/7.00 Conjecture not found
% 11.84/7.07 Conjecture not found
% 11.84/7.09 Conjecture not found
% 11.84/7.11 Conjecture not found
% 11.89/7.13 Conjecture not found
% 12.00/7.16 Conjecture not found
% 12.00/7.21 Conjecture not found
% 12.10/7.25 Conjecture not found
% 12.10/7.26 Conjecture not found
% 12.19/7.32 Conjecture not found
% 12.34/7.38 Conjecture not found
% 12.37/7.40 Conjecture not found
% 12.37/7.41 Conjecture not found
% 12.52/7.45 Conjecture not found
% 12.54/7.46 Conjecture not found
% 12.54/7.47 Conjecture not found
% 12.54/7.48 Conjecture not found
% 12.54/7.50 Conjecture not found
% 12.60/7.52 Conjecture not found
% 12.60/7.53 Conjecture not found
% 12.76/7.57 Conjecture not found
% 12.76/7.58 Conjecture not found
% 12.76/7.61 Conjecture not found
% 12.76/7.63 Conjecture not found
% 12.86/7.65 Conjecture not found
% 12.86/7.67 Conjecture not found
% 12.97/7.70 Conjecture not found
% 12.97/7.72 Conjecture not found
% 13.04/7.75 Conjecture not found
% 13.06/7.75 Conjecture not found
% 13.06/7.77 Conjecture not found
% 13.06/7.79 Conjecture not found
% 13.06/7.80 Conjecture not found
% 13.16/7.86 Conjecture not found
% 13.16/7.87 Conjecture not found
% 13.31/7.90 Conjecture not found
% 13.31/7.94 Conjecture not found
% 13.31/7.95 Conjecture not found
% 13.40/7.96 Conjecture not found
% 13.40/7.98 Conjecture not found
% 13.55/8.01 Conjecture not found
% 13.55/8.01 Conjecture not found
% 13.55/8.02 Conjecture not found
% 13.55/8.03 Conjecture not found
% 13.59/8.09 Conjecture not found
% 13.69/8.17 Conjecture not found
% 13.69/8.18 Conjecture not found
% 13.87/8.20 Conjecture not found
% 13.87/8.22 Conjecture not found
% 13.87/8.23 Conjecture not found
% 13.87/8.25 Conjecture not found
% 13.95/8.27 Conjecture not found
% 14.10/8.31 Conjecture not found
% 14.14/8.37 Conjecture not found
% 14.14/8.39 Conjecture not found
% 14.14/8.43 Conjecture not found
% 14.38/8.48 Conjecture not found
% 14.70/8.65 Conjecture not found
% 14.80/8.73 Conjecture not found
% 14.80/8.78 Conjecture not found
% 14.80/8.79 Conjecture not found
% 15.03/8.83 Conjecture not found
% 15.03/8.88 Conjecture not found
% 15.13/8.90 Conjecture not found
% 15.14/8.92 Conjecture not found
% 15.14/9.00 Conjecture not found
% 15.40/9.05 Conjecture not found
% 15.65/9.11 Conjecture not found
% 15.65/9.16 Conjecture not found
% 15.75/9.21 Conjecture not found
% 15.75/9.23 Conjecture not found
% 15.98/9.30 Conjecture not found
% 15.98/9.35 Conjecture not found
% 16.24/9.43 Conjecture not found
% 16.34/9.51 Conjecture not found
% 16.34/9.53 Conjecture not found
% 16.34/9.57 Conjecture not found
% 16.57/9.60 Conjecture not found
% 16.57/9.62 Conjecture not found
% 16.66/9.69 Conjecture not found
% 16.73/9.79 Conjecture not found
% 16.93/9.82 Conjecture not found
% 16.93/9.85 Conjecture not found
% 17.31/10.09 Conjecture not found
% 17.61/10.19 Conjecture not found
% 17.61/10.23 Conjecture not found
% 17.61/10.25 Conjecture not found
% 17.70/10.28 Conjecture not found
% 17.70/10.28 Conjecture not found
% 17.93/10.36 Conjecture not found
% 18.03/10.45 Conjecture not found
% 18.11/10.52 Conjecture not found
% 18.34/10.60 Conjecture not found
% 18.38/10.62 Conjecture not found
% 18.68/10.74 Conjecture not found
% 18.68/10.79 Conjecture not found
% 18.75/10.83 Conjecture not found
% 18.75/10.87 Conjecture not found
% 19.04/10.92 Conjecture not found
% 19.04/10.93 Conjecture not found
% 19.06/10.95 Conjecture not found
% 19.06/10.96 Conjecture not found
% 19.06/10.97 Conjecture not found
% 19.06/11.00 Conjecture not found
% 19.13/11.03 Conjecture not found
% 19.13/11.07 Conjecture not found
% 19.37/11.10 Conjecture not found
% 19.37/11.16 Conjecture not found
% 19.46/11.17 Conjecture not found
% 19.48/11.19 Conjecture not found
% 19.48/11.21 Conjecture not found
% 19.80/11.36 Conjecture not found
% 19.80/11.38 Conjecture not found
% 19.88/11.42 Conjecture not found
% 19.88/11.42 Conjecture not found
% 19.88/11.43 Conjecture not found
% 19.88/11.43 Conjecture not found
% 19.88/11.44 Conjecture not found
% 20.18/11.51 Conjecture not found
% 20.20/11.52 Conjecture not found
% 20.20/11.53 Conjecture not found
% 20.20/11.58 Conjecture not found
% 20.30/11.64 Conjecture not found
% 20.57/11.71 Conjecture not found
% 20.57/11.72 Conjecture not found
% 20.88/11.82 Conjecture not found
% 20.88/11.91 Conjecture not found
% 20.99/11.94 Conjecture not found
% 20.99/12.00 Conjecture not found
% 21.28/12.02 Conjecture not found
% 21.28/12.04 Conjecture not found
% 21.37/12.16 Conjecture not found
% 21.68/12.25 Conjecture not found
% 21.78/12.31 Conjecture not found
% 21.78/12.34 Conjecture not found
% 21.99/12.44 Conjecture not found
% 21.99/12.49 Conjecture not found
% 21.99/12.52 Conjecture not found
% 22.22/12.56 Conjecture not found
% 22.22/12.61 Conjecture not found
% 22.39/12.63 Conjecture not found
% 22.39/12.67 Conjecture not found
% 22.59/12.72 Conjecture not found
% 22.59/12.74 Conjecture not found
% 22.59/12.75 Conjecture not found
% 22.71/12.81 Conjecture not found
% 22.71/12.87 Conjecture not found
% 22.71/12.87 Conjecture not found
% 23.00/12.90 Conjecture not found
% 23.01/12.93 Conjecture not found
% 23.01/12.96 Conjecture not found
% 23.31/13.01 Conjecture not found
% 23.31/13.08 Conjecture not found
% 23.40/13.09 Conjecture not found
% 23.40/13.14 Conjecture not found
% 23.76/13.23 Conjecture not found
% 23.83/13.36 Conjecture not found
% 23.89/13.39 Conjecture not found
% 23.99/13.49 Conjecture not found
% 24.02/13.52 Conjecture not found
% 24.05/13.54 Conjecture not found
% 24.05/13.54 Conjecture not found
% 24.05/13.57 Conjecture not found
% 24.35/13.60 Conjecture not found
% 24.35/13.61 Conjecture not found
% 24.42/13.71 Conjecture not found
% 24.60/13.78 Conjecture not found
% 24.82/13.87 Conjecture not found
% 24.82/13.89 Conjecture not found
% 24.82/13.89 Conjecture not found
% 24.92/13.95 Conjecture not found
% 24.92/13.96 Conjecture not found
% 24.92/13.97 Conjecture not found
% 24.98/14.05 Conjecture not found
% 25.29/14.08 Conjecture not found
% 25.37/14.14 Conjecture not found
% 25.37/14.21 Conjecture not found
% 25.46/14.23 Conjecture not found
% 25.46/14.26 Conjecture not found
% 26.13/14.62 Conjecture not found
% 26.41/14.71 Conjecture not found
% 26.41/14.72 Conjecture not found
% 26.61/14.81 Conjecture not found
% 26.61/14.84 Conjecture not found
% 26.87/14.92 Conjecture not found
% 26.87/14.97 Conjecture not found
% 27.01/15.05 Conjecture not found
% 27.01/15.08 Conjecture not found
% 27.01/15.09 Conjecture not found
% 27.01/15.11 Conjecture not found
% 27.15/15.16 Conjecture not found
% 27.44/15.23 Conjecture not found
% 27.52/15.29 Conjecture not found
% 27.54/15.31 Conjecture not found
% 27.54/15.31 Conjecture not found
% 27.54/15.31 Conjecture not found
% 27.56/15.36 Conjecture not found
% 27.56/15.38 Conjecture not found
% 27.93/15.47 Conjecture not found
% 28.02/15.56 Conjecture not found
% 28.11/15.61 Conjecture not found
% 28.11/15.63 Conjecture not found
% 28.11/15.65 Conjecture not found
% 28.11/15.67 Conjecture not found
% 28.48/15.74 Conjecture not found
% 28.48/15.76 Conjecture not found
% 28.48/15.77 Conjecture not found
% 28.58/15.80 Conjecture not found
% 28.58/15.83 Conjecture not found
% 28.58/15.87 Conjecture not found
% 28.77/15.93 Conjecture not found
% 28.77/15.97 Conjecture not found
% 29.06/16.06 Conjecture not found
% 29.06/16.09 Conjecture not found
% 29.06/16.10 Conjecture not found
% 29.16/16.17 Conjecture not found
% 29.16/16.19 Conjecture not found
% 29.37/16.26 Conjecture not found
% 29.37/16.29 Conjecture not found
% 29.61/16.30 Conjecture not found
% 29.61/16.32 Conjecture not found
% 29.61/16.34 Conjecture not found
% 29.61/16.35 Conjecture not found
% 29.73/16.48 Conjecture not found
% 29.73/16.49 Conjecture not found
% 29.73/16.50 Conjecture not found
% 30.09/16.54 Conjecture not found
% 30.09/16.57 Conjecture not found
% 30.18/16.60 Conjecture not found
% 30.18/16.62 Conjecture not found
% 30.18/16.65 Conjecture not found
% 30.18/16.68 Conjecture not found
% 30.37/16.74 Conjecture not found
% 30.37/16.80 Conjecture not found
% 30.59/16.85 Conjecture not found
% 30.69/16.87 Conjecture not found
% 30.69/16.88 Conjecture not found
% 30.69/16.89 Conjecture not found
% 30.69/16.91 Conjecture not found
% 30.69/16.95 Conjecture not found
% 30.78/16.97 Conjecture not found
% 30.81/17.00 Conjecture not found
% 30.81/17.01 Conjecture not found
% 30.90/17.05 Conjecture not found
% 31.24/17.13 Conjecture not found
% 31.30/17.17 Conjecture not found
% 31.30/17.19 Conjecture not found
% 31.30/17.21 Conjecture not found
% 31.30/17.23 Conjecture not found
% 31.30/17.24 Conjecture not found
% 31.30/17.26 Conjecture not found
% 31.40/17.29 Conjecture not found
% 31.40/17.30 Conjecture not found
% 31.53/17.33 Conjecture not found
% 31.81/17.38 Conjecture not found
% 31.81/17.41 Conjecture not found
% 31.95/17.49 Conjecture not found
% 31.95/17.51 Conjecture not found
% 32.20/17.58 Conjecture not found
% 32.43/17.72 Conjecture not found
% 32.56/17.85 Conjecture not found
% 32.65/17.90 Conjecture not found
% 32.73/18.01 Conjecture not found
% 33.12/18.04 Conjecture not found
% 33.12/18.06 Conjecture not found
% 33.17/18.08 Conjecture not found
% 33.17/18.10 Conjecture not found
% 33.17/18.11 Conjecture not found
% 33.17/18.14 Conjecture not found
% 33.24/18.14 Conjecture not found
% 33.24/18.17 Conjecture not found
% 33.27/18.18 Conjecture not found
% 33.27/18.22 Conjecture not found
% 33.36/18.30 Conjecture not found
% 33.69/18.36 Conjecture not found
% 33.80/18.41 Conjecture not found
% 33.80/18.43 Conjecture not found
% 33.80/18.44 Conjecture not found
% 33.91/18.51 Conjecture not found
% 33.96/18.61 Conjecture not found
% 34.03/18.66 Conjecture not found
% 34.38/18.69 Conjecture not found
% 34.53/18.80 Conjecture not found
% 34.57/18.83 Conjecture not found
% 34.58/18.86 Conjecture not found
% 34.58/18.88 Conjecture not found
% 34.58/18.89 Conjecture not found
% 34.67/18.95 Conjecture not found
% 34.67/18.97 Conjecture not found
% 34.67/18.98 Conjecture not found
% 35.06/19.03 Conjecture not found
% 35.06/19.05 Conjecture not found
% 35.06/19.06 Conjecture not found
% 35.16/19.08 Conjecture not found
% 35.17/19.10 Conjecture not found
% 35.20/19.14 Conjecture not found
% 35.20/19.19 Conjecture not found
% 35.29/19.24 Conjecture not found
% 35.71/19.32 Conjecture not found
% 35.86/19.44 Conjecture not found
% 35.86/19.45 Conjecture not found
% 35.86/19.46 Conjecture not found
% 35.86/19.48 Conjecture not found
% 35.86/19.49 Conjecture not found
% 35.86/19.51 Conjecture not found
% 35.86/19.51 Conjecture not found
% 36.21/19.61 Conjecture not found
% 36.21/19.63 Conjecture not found
% 36.21/19.66 Conjecture not found
% 36.45/19.70 Conjecture not found
% 36.47/19.71 Conjecture not found
% 36.49/19.73 Conjecture not found
% 36.49/19.76 Conjecture not found
% 36.49/19.77 Conjecture not found
% 36.49/19.80 Conjecture not found
% 36.59/19.84 Conjecture not found
% 36.59/19.87 Conjecture not found
% 36.68/19.93 Conjecture not found
% 36.68/19.96 Conjecture not found
% 37.11/19.98 Conjecture not found
% 37.11/19.99 Conjecture not found
% 37.15/20.03 Conjecture not found
% 37.17/20.09 Conjecture not found
% 37.17/20.12 Conjecture not found
% 37.26/20.16 Conjecture not found
% 37.26/20.19 Conjecture not found
% 37.33/20.20 Conjecture not found
% 37.33/20.24 Conjecture not found
% 37.82/20.32 Conjecture not found
% 37.86/20.35 Conjecture not found
% 37.86/20.37 Conjecture not found
% 37.86/20.40 Conjecture not found
% 37.86/20.42 Conjecture not found
% 37.96/20.46 Conjecture not found
% 37.96/20.49 Conjecture not found
% 38.05/20.54 Conjecture not found
% 38.46/20.62 Conjecture not found
% 38.50/20.66 Conjecture not found
% 38.54/20.68 Conjecture not found
% 38.54/20.70 Conjecture not found
% 38.54/20.72 Conjecture not found
% 38.61/20.74 Conjecture not found
% 38.64/20.77 Conjecture not found
% 38.64/20.80 Conjecture not found
% 38.71/20.84 Conjecture not found
% 38.71/20.85 Conjecture not found
% 38.74/20.87 Conjecture not found
% 39.13/20.95 Conjecture not found
% 39.22/20.98 Conjecture not found
% 39.22/21.00 Conjecture not found
% 39.29/21.03 Conjecture not found
% 39.29/21.05 Conjecture not found
% 39.29/21.06 Conjecture not found
% 39.32/21.11 Conjecture not found
% 39.32/21.12 Conjecture not found
% 39.39/21.16 Conjecture not found
% 39.42/21.23 Conjecture not found
% 39.49/21.24 Conjecture not found
% 39.70/21.32 Conjecture not found
% 39.70/21.35 Conjecture not found
% 39.98/21.37 Conjecture not found
% 39.98/21.39 Conjecture not found
% 40.10/21.44 Conjecture not found
% 40.10/21.46 Conjecture not found
% 40.14/21.49 Conjecture not found
% 40.14/21.52 Conjecture not found
% 40.14/21.53 Conjecture not found
% 40.23/21.58 Conjecture not found
% 40.29/21.63 Conjecture not found
% 40.34/21.75 Conjecture not found
% 40.70/21.78 Conjecture not found
% 40.89/21.80 Conjecture not found
% 40.89/21.81 Conjecture not found
% 40.95/21.88 Conjecture not found
% 40.95/21.89 Conjecture not found
% 41.01/21.91 Conjecture not found
% 41.01/21.94 Conjecture not found
% 41.06/22.00 Conjecture not found
% 41.06/22.03 Conjecture not found
% 41.69/22.20 Conjecture not found
% 41.69/22.21 Conjecture not found
% 41.77/22.27 Conjecture not found
% 41.82/22.28 Conjecture not found
% 41.82/22.29 Conjecture not found
% 41.82/22.30 Conjecture not found
% 41.82/22.33 Conjecture not found
% 41.92/22.37 Conjecture not found
% 41.94/22.39 Conjecture not found
% 41.94/22.41 Conjecture not found
% 42.08/22.45 Conjecture not found
% 42.52/22.56 Conjecture not found
% 42.52/22.57 Conjecture not found
% 42.58/22.59 Conjecture not found
% 42.58/22.64 Conjecture not found
% 42.66/22.66 Conjecture not found
% 42.68/22.72 Conjecture not found
% 42.72/22.76 Conjecture not found
% 42.76/22.80 Conjecture not found
% 42.76/22.82 Conjecture not found
% 43.11/22.95 Conjecture not found
% 43.25/23.04 Conjecture not found
% 43.37/23.08 Conjecture not found
% 43.37/23.13 Conjecture not found
% 43.49/23.17 Conjecture not found
% 43.49/23.19 Conjecture not found
% 43.54/23.21 Conjecture not found
% 43.54/23.23 Conjecture not found
% 43.67/23.33 Conjecture not found
% 43.71/23.37 Conjecture not found
% 43.71/23.38 Conjecture not found
% 43.71/23.42 Conjecture not found
% 43.71/23.43 Conjecture not found
% 43.80/23.45 Conjecture not found
% 43.80/23.48 Conjecture not found
% 43.94/23.51 Conjecture not found
% 44.34/23.55 Conjecture not found
% 44.34/23.60 Conjecture not found
% 44.43/23.62 Conjecture not found
% 44.49/23.66 Conjecture not found
% 44.49/23.68 Conjecture not found
% 44.49/23.69 Conjecture not found
% 44.49/23.72 Conjecture not found
% 44.49/23.73 Conjecture not found
% 44.49/23.75 Conjecture not found
% 44.62/23.80 Conjecture not found
% 44.62/23.81 Conjecture not found
% 44.62/23.81 Conjecture not found
% 44.62/23.82 Conjecture not found
% 44.67/23.84 Conjecture not found
% 44.67/23.86 Conjecture not found
% 44.69/23.87 Conjecture not found
% 44.69/23.89 Conjecture not found
% 44.69/23.91 Conjecture not found
% 44.92/23.97 Conjecture not found
% 45.25/24.02 Conjecture not found
% 45.25/24.03 Conjecture not found
% 45.25/24.04 Conjecture not found
% 45.33/24.06 Conjecture not found
% 45.35/24.11 Conjecture not found
% 45.35/24.12 Conjecture not found
% 45.42/24.21 Conjecture not found
% 45.42/24.22 Conjecture not found
% 45.50/24.23 Conjecture not found
% 46.01/24.41 Conjecture not found
% 46.01/24.43 Conjecture not found
% 46.20/24.44 Conjecture not found
% 46.20/24.46 Conjecture not found
% 46.23/24.49 Conjecture not found
% 46.23/24.52 Conjecture not found
% 46.31/24.56 Conjecture not found
% 46.34/24.59 Conjecture not found
% 46.34/24.62 Conjecture not found
% 46.43/24.72 Conjecture not found
% 46.76/24.73 Conjecture not found
% 47.01/24.79 Conjecture not found
% 47.01/24.81 Conjecture not found
% 47.01/24.83 Conjecture not found
% 47.10/24.84 Conjecture not found
% 47.10/24.85 Conjecture not found
% 47.10/24.86 Conjecture not found
% 47.14/24.88 Conjecture not found
% 47.14/24.90 Conjecture not found
% 47.14/24.91 Conjecture not found
% 47.14/24.92 Conjecture not found
% 47.20/24.95 Conjecture not found
% 47.20/24.96 Conjecture not found
% 47.24/24.98 Conjecture not found
% 47.24/25.00 Conjecture not found
% 47.30/25.07 Conjecture not found
% 47.80/25.14 Conjecture not found
% 47.89/25.20 Conjecture not found
% 47.97/25.24 Conjecture not found
% 48.01/25.28 Conjecture not found
% 48.01/25.32 Conjecture not found
% 48.09/25.34 Conjecture not found
% 48.09/25.36 Conjecture not found
% 48.13/25.40 Conjecture not found
% 48.21/25.47 Conjecture not found
% 49.06/25.82 Conjecture not found
% 49.06/25.83 Conjecture not found
% 49.06/25.86 Conjecture not found
% 49.11/25.89 Conjecture not found
% 49.11/25.90 Conjecture not found
% 49.11/25.92 Conjecture not found
% 49.11/25.95 Conjecture not found
% 49.63/25.99 Conjecture not found
% 49.63/26.01 Conjecture not found
% 49.63/26.02 Conjecture not found
% 49.75/26.03 Conjecture not found
% 49.78/26.08 Conjecture not found
% 49.86/26.15 Conjecture not found
% 49.92/26.20 Conjecture not found
% 49.92/26.23 Conjecture not found
% 49.99/26.27 Conjecture not found
% 49.99/26.28 Conjecture not found
% 49.99/26.29 Conjecture not found
% 50.42/26.38 Conjecture not found
% 50.42/26.40 Conjecture not found
% 50.42/26.42 Conjecture not found
% 50.42/26.43 Conjecture not found
% 50.69/26.44 Conjecture not found
% 50.75/26.49 Conjecture not found
% 50.75/26.52 Conjecture not found
% 50.75/26.55 Conjecture not found
% 50.82/26.58 Conjecture not found
% 50.82/26.59 Conjecture not found
% 50.88/26.64 Conjecture not found
% 50.92/26.66 Conjecture not found
% 50.92/26.68 Conjecture not found
% 50.92/26.68 Conjecture not found
% 50.92/26.75 Conjecture not found
% 51.56/26.80 Conjecture not found
% 51.56/26.81 Conjecture not found
% 51.62/26.86 Conjecture not found
% 51.62/26.87 Conjecture not found
% 51.62/26.88 Conjecture not found
% 51.62/26.89 Conjecture not found
% 51.62/26.90 Conjecture not found
% 51.68/26.92 Conjecture not found
% 51.68/26.94 Conjecture not found
% 51.68/26.95 Conjecture not found
% 51.73/27.01 Conjecture not found
% 51.73/27.04 Conjecture not found
% 51.82/27.05 Conjecture not found
% 51.82/27.06 Conjecture not found
% 51.86/27.13 Conjecture not found
% 51.94/27.15 Conjecture not found
% 52.52/27.24 Conjecture not found
% 52.52/27.27 Conjecture not found
% 52.68/27.38 Conjecture not found
% 52.68/27.40 Conjecture not found
% 52.73/27.43 Conjecture not found
% 52.75/27.46 Conjecture not found
% 52.75/27.50 Conjecture not found
% 52.75/27.51 Conjecture not found
% 52.83/27.57 Conjecture not found
% 53.14/27.67 Conjecture not found
% 53.58/27.76 Conjecture not found
% 53.58/27.78 Conjecture not found
% 53.58/27.80 Conjecture not found
% 53.70/27.88 Conjecture not found
% 53.70/27.93 Conjecture not found
% 53.80/27.99 Start search
% 125.24/46.05 nb_step : 1 - limit : 134033
% 125.81/46.63 Launch Gotab with destructive = true
%------------------------------------------------------------------------------