TSTP Solution File: LAT379+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT379+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n008.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:28 EDT 2022
% Result : Timeout 300.16s 88.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT379+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n008.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Thu Sep 1 16:46:18 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.000036s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.44 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.46 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.20/0.52 Conjecture not found
% 0.20/0.53 Conjecture not found
% 0.20/0.53 Conjecture not found
% 0.55/0.56 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.55/0.61 Conjecture not found
% 0.55/0.61 Conjecture not found
% 0.55/0.62 Conjecture not found
% 0.67/0.64 Conjecture not found
% 0.67/0.66 Conjecture not found
% 0.74/0.71 Conjecture not found
% 0.90/0.78 Conjecture not found
% 0.90/0.78 Conjecture not found
% 1.07/0.86 Conjecture not found
% 1.07/0.91 Conjecture not found
% 1.27/0.99 Conjecture not found
% 1.27/1.02 Conjecture not found
% 1.45/1.09 Conjecture not found
% 1.45/1.13 Conjecture not found
% 1.61/1.18 Conjecture not found
% 1.61/1.21 Conjecture not found
% 1.72/1.24 Conjecture not found
% 1.76/1.26 Conjecture not found
% 1.76/1.26 Conjecture not found
% 1.76/1.27 Conjecture not found
% 1.76/1.28 Conjecture not found
% 1.94/1.38 Conjecture not found
% 1.94/1.41 Conjecture not found
% 1.94/1.41 Conjecture not found
% 1.94/1.43 Conjecture not found
% 1.94/1.43 Conjecture not found
% 1.94/1.43 Conjecture not found
% 1.94/1.44 Conjecture not found
% 2.10/1.45 Conjecture not found
% 2.10/1.45 Conjecture not found
% 2.18/1.50 Conjecture not found
% 2.34/1.55 Conjecture not found
% 2.34/1.56 Conjecture not found
% 2.34/1.56 Conjecture not found
% 2.34/1.57 Conjecture not found
% 2.34/1.59 Conjecture not found
% 2.34/1.61 Conjecture not found
% 2.34/1.62 Conjecture not found
% 2.51/1.65 Conjecture not found
% 2.51/1.67 Conjecture not found
% 2.58/1.69 Conjecture not found
% 2.58/1.69 Conjecture not found
% 2.58/1.70 Conjecture not found
% 2.58/1.74 Conjecture not found
% 2.74/1.80 Conjecture not found
% 2.83/1.86 Conjecture not found
% 2.83/1.87 Conjecture not found
% 2.83/1.89 Conjecture not found
% 2.83/1.92 Conjecture not found
% 2.98/1.95 Conjecture not found
% 2.98/1.96 Conjecture not found
% 3.07/1.98 Conjecture not found
% 3.24/2.08 Conjecture not found
% 3.24/2.11 Conjecture not found
% 3.28/2.13 Conjecture not found
% 3.28/2.15 Conjecture not found
% 3.35/2.17 Conjecture not found
% 3.35/2.19 Conjecture not found
% 3.71/2.38 Conjecture not found
% 3.76/2.40 Conjecture not found
% 3.76/2.42 Conjecture not found
% 3.84/2.52 Conjecture not found
% 3.84/2.53 Conjecture not found
% 4.02/2.55 Conjecture not found
% 4.02/2.57 Conjecture not found
% 4.13/2.61 Conjecture not found
% 4.21/2.68 Conjecture not found
% 4.33/2.75 Conjecture not found
% 4.38/2.83 Conjecture not found
% 4.57/2.88 Conjecture not found
% 4.62/2.90 Conjecture not found
% 4.62/2.94 Conjecture not found
% 4.71/2.94 Conjecture not found
% 4.71/2.98 Conjecture not found
% 4.82/3.00 Conjecture not found
% 4.82/3.03 Conjecture not found
% 4.82/3.04 Conjecture not found
% 4.88/3.11 Conjecture not found
% 4.88/3.12 Conjecture not found
% 5.09/3.16 Conjecture not found
% 5.13/3.23 Conjecture not found
% 5.35/3.34 Conjecture not found
% 5.61/3.46 Conjecture not found
% 5.93/3.67 Conjecture not found
% 6.48/3.96 Conjecture not found
% 6.59/3.99 Conjecture not found
% 6.59/4.01 Conjecture not found
% 6.75/4.09 Conjecture not found
% 6.87/4.14 Conjecture not found
% 6.90/4.18 Conjecture not found
% 7.03/4.26 Conjecture not found
% 7.07/4.29 Conjecture not found
% 7.07/4.33 Conjecture not found
% 7.22/4.36 Conjecture not found
% 7.31/4.39 Conjecture not found
% 7.31/4.40 Conjecture not found
% 7.31/4.43 Conjecture not found
% 7.37/4.45 Conjecture not found
% 7.46/4.53 Conjecture not found
% 7.62/4.61 Conjecture not found
% 7.80/4.68 Conjecture not found
% 7.97/4.79 Conjecture not found
% 7.97/4.81 Conjecture not found
% 8.09/4.84 Conjecture not found
% 8.14/4.86 Conjecture not found
% 8.14/4.88 Conjecture not found
% 8.14/4.91 Conjecture not found
% 8.14/4.93 Conjecture not found
% 8.27/4.96 Conjecture not found
% 8.35/5.00 Conjecture not found
% 8.35/5.00 Conjecture not found
% 8.35/5.00 Conjecture not found
% 8.35/5.02 Conjecture not found
% 8.35/5.05 Conjecture not found
% 8.51/5.07 Conjecture not found
% 8.51/5.11 Conjecture not found
% 8.66/5.15 Conjecture not found
% 8.89/5.33 Conjecture not found
% 9.06/5.38 Conjecture not found
% 9.06/5.39 Conjecture not found
% 9.10/5.41 Conjecture not found
% 9.10/5.43 Conjecture not found
% 9.10/5.45 Conjecture not found
% 9.15/5.50 Conjecture not found
% 9.15/5.51 Conjecture not found
% 9.15/5.52 Conjecture not found
% 9.15/5.54 Conjecture not found
% 9.47/5.63 Conjecture not found
% 10.34/6.10 Conjecture not found
% 11.23/6.64 Conjecture not found
% 11.45/6.77 Conjecture not found
% 11.45/6.83 Conjecture not found
% 11.45/6.85 Conjecture not found
% 11.64/6.87 Conjecture not found
% 11.67/6.90 Conjecture not found
% 11.78/6.93 Conjecture not found
% 11.78/6.95 Conjecture not found
% 11.78/7.00 Conjecture not found
% 11.88/7.04 Conjecture not found
% 11.88/7.07 Conjecture not found
% 11.88/7.09 Conjecture not found
% 12.06/7.10 Conjecture not found
% 12.06/7.13 Conjecture not found
% 12.06/7.16 Conjecture not found
% 12.23/7.19 Conjecture not found
% 12.23/7.23 Conjecture not found
% 12.23/7.27 Conjecture not found
% 12.43/7.28 Conjecture not found
% 12.43/7.30 Conjecture not found
% 12.46/7.32 Conjecture not found
% 12.60/7.35 Conjecture not found
% 12.60/7.40 Conjecture not found
% 12.60/7.44 Conjecture not found
% 12.70/7.45 Conjecture not found
% 12.70/7.51 Conjecture not found
% 12.88/7.56 Conjecture not found
% 12.93/7.58 Conjecture not found
% 12.93/7.61 Conjecture not found
% 12.93/7.64 Conjecture not found
% 13.14/7.65 Conjecture not found
% 13.14/7.67 Conjecture not found
% 13.16/7.70 Conjecture not found
% 13.16/7.72 Conjecture not found
% 13.21/7.73 Conjecture not found
% 13.22/7.74 Conjecture not found
% 13.22/7.80 Conjecture not found
% 13.41/7.83 Conjecture not found
% 13.41/7.86 Conjecture not found
% 13.46/7.88 Conjecture not found
% 13.46/7.91 Conjecture not found
% 13.46/7.93 Conjecture not found
% 13.46/7.95 Conjecture not found
% 13.65/7.98 Conjecture not found
% 13.69/8.02 Conjecture not found
% 13.69/8.03 Conjecture not found
% 13.75/8.08 Conjecture not found
% 13.93/8.12 Conjecture not found
% 13.93/8.14 Conjecture not found
% 13.98/8.19 Conjecture not found
% 13.98/8.20 Conjecture not found
% 13.98/8.21 Conjecture not found
% 14.19/8.26 Conjecture not found
% 14.19/8.27 Conjecture not found
% 14.23/8.30 Conjecture not found
% 14.23/8.31 Conjecture not found
% 14.23/8.33 Conjecture not found
% 14.23/8.33 Conjecture not found
% 14.29/8.34 Conjecture not found
% 14.29/8.34 Conjecture not found
% 14.30/8.37 Conjecture not found
% 14.52/8.48 Conjecture not found
% 14.52/8.49 Conjecture not found
% 14.52/8.51 Conjecture not found
% 14.52/8.54 Conjecture not found
% 14.76/8.56 Conjecture not found
% 14.76/8.59 Conjecture not found
% 14.80/8.61 Conjecture not found
% 14.80/8.65 Conjecture not found
% 14.85/8.68 Conjecture not found
% 14.85/8.74 Conjecture not found
% 15.07/8.79 Conjecture not found
% 15.12/8.82 Conjecture not found
% 15.35/8.95 Conjecture not found
% 15.41/9.01 Conjecture not found
% 15.63/9.07 Conjecture not found
% 15.63/9.08 Conjecture not found
% 15.68/9.10 Conjecture not found
% 15.68/9.13 Conjecture not found
% 15.74/9.16 Conjecture not found
% 15.74/9.19 Conjecture not found
% 15.74/9.25 Conjecture not found
% 15.98/9.29 Conjecture not found
% 16.23/9.37 Conjecture not found
% 16.23/9.41 Conjecture not found
% 16.32/9.45 Conjecture not found
% 16.32/9.48 Conjecture not found
% 16.58/9.54 Conjecture not found
% 16.59/9.59 Conjecture not found
% 16.84/9.67 Conjecture not found
% 16.92/9.77 Conjecture not found
% 16.92/9.78 Conjecture not found
% 16.98/9.80 Conjecture not found
% 16.98/9.84 Conjecture not found
% 17.19/9.86 Conjecture not found
% 17.25/9.92 Conjecture not found
% 17.27/10.00 Conjecture not found
% 17.50/10.02 Conjecture not found
% 17.50/10.05 Conjecture not found
% 17.85/10.23 Conjecture not found
% 17.87/10.31 Conjecture not found
% 18.12/10.35 Conjecture not found
% 18.12/10.37 Conjecture not found
% 18.12/10.38 Conjecture not found
% 18.12/10.39 Conjecture not found
% 18.18/10.47 Conjecture not found
% 18.46/10.54 Conjecture not found
% 18.46/10.61 Conjecture not found
% 18.80/10.69 Conjecture not found
% 18.80/10.72 Conjecture not found
% 18.92/10.83 Conjecture not found
% 19.03/10.90 Conjecture not found
% 19.03/10.93 Conjecture not found
% 19.18/10.97 Conjecture not found
% 19.18/10.99 Conjecture not found
% 19.18/11.00 Conjecture not found
% 19.36/11.04 Conjecture not found
% 19.36/11.06 Conjecture not found
% 19.50/11.08 Conjecture not found
% 19.50/11.13 Conjecture not found
% 19.57/11.16 Conjecture not found
% 19.59/11.18 Conjecture not found
% 19.59/11.20 Conjecture not found
% 19.81/11.29 Conjecture not found
% 19.81/11.29 Conjecture not found
% 19.81/11.31 Conjecture not found
% 19.91/11.33 Conjecture not found
% 20.00/11.43 Conjecture not found
% 20.00/11.45 Conjecture not found
% 20.26/11.49 Conjecture not found
% 20.26/11.50 Conjecture not found
% 20.26/11.50 Conjecture not found
% 20.26/11.50 Conjecture not found
% 20.26/11.51 Conjecture not found
% 20.33/11.56 Conjecture not found
% 20.33/11.58 Conjecture not found
% 20.33/11.61 Conjecture not found
% 20.55/11.66 Conjecture not found
% 20.60/11.71 Conjecture not found
% 20.95/11.83 Conjecture not found
% 20.95/11.85 Conjecture not found
% 21.30/11.98 Conjecture not found
% 21.39/12.10 Conjecture not found
% 21.42/12.14 Conjecture not found
% 21.68/12.21 Conjecture not found
% 21.68/12.23 Conjecture not found
% 21.68/12.24 Conjecture not found
% 21.78/12.29 Conjecture not found
% 22.07/12.40 Conjecture not found
% 22.18/12.46 Conjecture not found
% 22.18/12.49 Conjecture not found
% 22.29/12.60 Conjecture not found
% 22.29/12.64 Conjecture not found
% 22.61/12.66 Conjecture not found
% 22.61/12.69 Conjecture not found
% 22.66/12.72 Conjecture not found
% 22.66/12.73 Conjecture not found
% 22.90/12.80 Conjecture not found
% 23.01/12.89 Conjecture not found
% 23.07/12.92 Conjecture not found
% 23.07/12.94 Conjecture not found
% 23.11/12.98 Conjecture not found
% 23.41/13.06 Conjecture not found
% 23.41/13.06 Conjecture not found
% 23.45/13.12 Conjecture not found
% 23.53/13.17 Conjecture not found
% 23.53/13.20 Conjecture not found
% 23.82/13.26 Conjecture not found
% 23.82/13.33 Conjecture not found
% 23.92/13.34 Conjecture not found
% 23.92/13.38 Conjecture not found
% 23.97/13.42 Conjecture not found
% 24.33/13.55 Conjecture not found
% 24.33/13.57 Conjecture not found
% 24.42/13.63 Conjecture not found
% 24.42/13.64 Conjecture not found
% 24.42/13.66 Conjecture not found
% 24.42/13.67 Conjecture not found
% 24.66/13.69 Conjecture not found
% 24.66/13.72 Conjecture not found
% 24.66/13.73 Conjecture not found
% 24.78/13.81 Conjecture not found
% 24.85/13.87 Conjecture not found
% 25.14/13.94 Conjecture not found
% 25.14/13.97 Conjecture not found
% 25.14/13.98 Conjecture not found
% 25.24/14.05 Conjecture not found
% 25.24/14.06 Conjecture not found
% 25.31/14.07 Conjecture not found
% 25.37/14.15 Conjecture not found
% 25.37/14.17 Conjecture not found
% 25.37/14.21 Conjecture not found
% 25.70/14.27 Conjecture not found
% 25.77/14.29 Conjecture not found
% 25.77/14.33 Conjecture not found
% 26.26/14.57 Conjecture not found
% 26.33/14.65 Conjecture not found
% 26.33/14.66 Conjecture not found
% 26.63/14.72 Conjecture not found
% 26.63/14.74 Conjecture not found
% 26.72/14.77 Conjecture not found
% 26.75/14.79 Conjecture not found
% 27.10/14.92 Conjecture not found
% 27.10/14.95 Conjecture not found
% 27.10/14.96 Conjecture not found
% 27.16/14.98 Conjecture not found
% 27.16/15.01 Conjecture not found
% 27.16/15.05 Conjecture not found
% 27.59/15.15 Conjecture not found
% 27.59/15.17 Conjecture not found
% 27.59/15.18 Conjecture not found
% 27.59/15.18 Conjecture not found
% 27.65/15.22 Conjecture not found
% 27.65/15.24 Conjecture not found
% 27.69/15.29 Conjecture not found
% 28.10/15.45 Conjecture not found
% 28.16/15.54 Conjecture not found
% 28.21/15.57 Conjecture not found
% 28.21/15.58 Conjecture not found
% 28.21/15.59 Conjecture not found
% 28.21/15.62 Conjecture not found
% 28.21/15.64 Conjecture not found
% 28.21/15.64 Conjecture not found
% 28.31/15.67 Conjecture not found
% 28.31/15.69 Conjecture not found
% 28.67/15.78 Conjecture not found
% 28.67/15.81 Conjecture not found
% 28.67/15.84 Conjecture not found
% 28.80/15.92 Conjecture not found
% 28.85/15.94 Conjecture not found
% 28.85/15.96 Conjecture not found
% 29.23/16.09 Conjecture not found
% 29.23/16.11 Conjecture not found
% 29.33/16.17 Conjecture not found
% 29.38/16.19 Conjecture not found
% 29.38/16.21 Conjecture not found
% 29.38/16.22 Conjecture not found
% 29.44/16.27 Conjecture not found
% 29.44/16.28 Conjecture not found
% 29.90/16.46 Conjecture not found
% 29.90/16.47 Conjecture not found
% 29.90/16.47 Conjecture not found
% 29.94/16.51 Conjecture not found
% 30.00/16.54 Conjecture not found
% 30.01/16.57 Conjecture not found
% 30.01/16.59 Conjecture not found
% 30.11/16.65 Conjecture not found
% 30.39/16.68 Conjecture not found
% 30.39/16.72 Conjecture not found
% 30.39/16.74 Conjecture not found
% 30.48/16.76 Conjecture not found
% 30.48/16.78 Conjecture not found
% 30.48/16.79 Conjecture not found
% 30.54/16.80 Conjecture not found
% 30.54/16.83 Conjecture not found
% 30.82/16.88 Conjecture not found
% 30.93/16.92 Conjecture not found
% 30.95/16.97 Conjecture not found
% 30.95/16.98 Conjecture not found
% 31.03/17.04 Conjecture not found
% 31.10/17.08 Conjecture not found
% 31.10/17.10 Conjecture not found
% 31.10/17.12 Conjecture not found
% 31.10/17.16 Conjecture not found
% 31.53/17.22 Conjecture not found
% 31.55/17.23 Conjecture not found
% 31.55/17.26 Conjecture not found
% 31.55/17.30 Conjecture not found
% 31.55/17.32 Conjecture not found
% 31.65/17.33 Conjecture not found
% 31.65/17.38 Conjecture not found
% 31.72/17.43 Conjecture not found
% 32.01/17.56 Conjecture not found
% 32.21/17.58 Conjecture not found
% 32.24/17.61 Conjecture not found
% 32.24/17.67 Conjecture not found
% 32.71/17.80 Conjecture not found
% 32.71/17.85 Conjecture not found
% 32.82/17.91 Conjecture not found
% 32.85/17.93 Conjecture not found
% 32.85/17.94 Conjecture not found
% 32.85/17.95 Conjecture not found
% 32.85/17.97 Conjecture not found
% 32.85/17.98 Conjecture not found
% 32.85/18.01 Conjecture not found
% 32.94/18.01 Conjecture not found
% 32.94/18.04 Conjecture not found
% 32.94/18.07 Conjecture not found
% 33.31/18.13 Conjecture not found
% 33.45/18.19 Conjecture not found
% 33.45/18.21 Conjecture not found
% 33.50/18.24 Conjecture not found
% 33.50/18.25 Conjecture not found
% 33.50/18.26 Conjecture not found
% 33.69/18.33 Conjecture not found
% 33.96/18.46 Conjecture not found
% 34.07/18.49 Conjecture not found
% 34.07/18.52 Conjecture not found
% 34.12/18.59 Conjecture not found
% 34.19/18.63 Conjecture not found
% 34.57/18.68 Conjecture not found
% 34.57/18.73 Conjecture not found
% 34.57/18.75 Conjecture not found
% 34.70/18.81 Conjecture not found
% 34.70/18.82 Conjecture not found
% 34.75/18.83 Conjecture not found
% 34.76/18.86 Conjecture not found
% 34.76/18.89 Conjecture not found
% 34.76/18.90 Conjecture not found
% 34.84/18.92 Conjecture not found
% 34.84/18.93 Conjecture not found
% 35.02/18.99 Conjecture not found
% 35.02/19.07 Conjecture not found
% 35.38/19.12 Conjecture not found
% 35.42/19.17 Conjecture not found
% 35.52/19.27 Conjecture not found
% 35.52/19.29 Conjecture not found
% 35.67/19.32 Conjecture not found
% 35.67/19.34 Conjecture not found
% 36.01/19.37 Conjecture not found
% 36.01/19.40 Conjecture not found
% 36.01/19.40 Conjecture not found
% 36.18/19.53 Conjecture not found
% 36.19/19.55 Conjecture not found
% 36.19/19.58 Conjecture not found
% 36.26/19.62 Conjecture not found
% 36.26/19.63 Conjecture not found
% 36.26/19.65 Conjecture not found
% 36.35/19.70 Conjecture not found
% 36.35/19.73 Conjecture not found
% 36.35/19.77 Conjecture not found
% 36.78/19.80 Conjecture not found
% 36.81/19.82 Conjecture not found
% 36.83/19.85 Conjecture not found
% 36.83/19.86 Conjecture not found
% 36.83/19.87 Conjecture not found
% 36.83/19.88 Conjecture not found
% 36.93/19.92 Conjecture not found
% 36.93/19.98 Conjecture not found
% 37.03/20.02 Conjecture not found
% 37.47/20.11 Conjecture not found
% 37.51/20.14 Conjecture not found
% 37.51/20.15 Conjecture not found
% 37.51/20.18 Conjecture not found
% 37.60/20.25 Conjecture not found
% 37.60/20.29 Conjecture not found
% 37.68/20.32 Conjecture not found
% 38.15/20.38 Conjecture not found
% 38.18/20.42 Conjecture not found
% 38.18/20.47 Conjecture not found
% 38.18/20.50 Conjecture not found
% 38.28/20.51 Conjecture not found
% 38.28/20.54 Conjecture not found
% 38.28/20.57 Conjecture not found
% 38.28/20.58 Conjecture not found
% 38.36/20.60 Conjecture not found
% 38.36/20.62 Conjecture not found
% 38.36/20.63 Conjecture not found
% 38.36/20.66 Conjecture not found
% 38.83/20.72 Conjecture not found
% 38.83/20.77 Conjecture not found
% 38.83/20.78 Conjecture not found
% 38.83/20.80 Conjecture not found
% 38.99/20.83 Conjecture not found
% 38.99/20.86 Conjecture not found
% 38.99/20.87 Conjecture not found
% 38.99/20.89 Conjecture not found
% 38.99/20.90 Conjecture not found
% 39.08/20.91 Conjecture not found
% 39.08/20.95 Conjecture not found
% 39.08/20.96 Conjecture not found
% 39.08/20.99 Conjecture not found
% 39.39/21.07 Conjecture not found
% 39.39/21.08 Conjecture not found
% 39.68/21.15 Conjecture not found
% 39.68/21.17 Conjecture not found
% 39.68/21.18 Conjecture not found
% 39.78/21.19 Conjecture not found
% 39.80/21.22 Conjecture not found
% 39.80/21.24 Conjecture not found
% 39.80/21.26 Conjecture not found
% 39.80/21.29 Conjecture not found
% 39.89/21.30 Conjecture not found
% 39.89/21.34 Conjecture not found
% 40.15/21.39 Conjecture not found
% 40.48/21.50 Conjecture not found
% 40.51/21.51 Conjecture not found
% 40.51/21.52 Conjecture not found
% 40.52/21.53 Conjecture not found
% 40.60/21.60 Conjecture not found
% 40.60/21.61 Conjecture not found
% 40.60/21.63 Conjecture not found
% 40.60/21.66 Conjecture not found
% 41.23/21.79 Conjecture not found
% 41.28/21.82 Conjecture not found
% 41.35/21.95 Conjecture not found
% 41.35/21.96 Conjecture not found
% 41.43/22.02 Conjecture not found
% 41.43/22.03 Conjecture not found
% 41.43/22.04 Conjecture not found
% 41.43/22.06 Conjecture not found
% 42.00/22.13 Conjecture not found
% 42.04/22.17 Conjecture not found
% 42.04/22.18 Conjecture not found
% 42.04/22.20 Conjecture not found
% 42.12/22.22 Conjecture not found
% 42.12/22.28 Conjecture not found
% 42.18/22.29 Conjecture not found
% 42.18/22.31 Conjecture not found
% 42.18/22.35 Conjecture not found
% 42.26/22.37 Conjecture not found
% 42.40/22.41 Conjecture not found
% 42.59/22.49 Conjecture not found
% 42.88/22.55 Conjecture not found
% 42.88/22.57 Conjecture not found
% 42.94/22.66 Conjecture not found
% 43.05/22.70 Conjecture not found
% 43.05/22.71 Conjecture not found
% 43.10/22.74 Conjecture not found
% 43.10/22.77 Conjecture not found
% 43.10/22.78 Conjecture not found
% 43.10/22.81 Conjecture not found
% 43.66/22.88 Conjecture not found
% 43.79/22.99 Conjecture not found
% 43.79/23.02 Conjecture not found
% 43.83/23.04 Conjecture not found
% 43.83/23.07 Conjecture not found
% 43.83/23.08 Conjecture not found
% 43.91/23.11 Conjecture not found
% 43.91/23.14 Conjecture not found
% 43.91/23.16 Conjecture not found
% 43.97/23.18 Conjecture not found
% 43.97/23.24 Conjecture not found
% 44.06/23.28 Conjecture not found
% 44.09/23.32 Conjecture not found
% 44.21/23.39 Conjecture not found
% 44.21/23.40 Conjecture not found
% 44.65/23.44 Conjecture not found
% 44.65/23.45 Conjecture not found
% 44.65/23.47 Conjecture not found
% 44.71/23.53 Conjecture not found
% 44.71/23.55 Conjecture not found
% 44.71/23.55 Conjecture not found
% 44.77/23.56 Conjecture not found
% 44.77/23.57 Conjecture not found
% 44.81/23.60 Conjecture not found
% 44.81/23.62 Conjecture not found
% 44.85/23.64 Conjecture not found
% 44.85/23.65 Conjecture not found
% 44.85/23.67 Conjecture not found
% 44.85/23.71 Conjecture not found
% 44.85/23.73 Conjecture not found
% 44.95/23.74 Conjecture not found
% 44.95/23.77 Conjecture not found
% 45.56/23.88 Conjecture not found
% 45.56/23.89 Conjecture not found
% 45.60/23.98 Conjecture not found
% 45.60/23.99 Conjecture not found
% 45.60/24.00 Conjecture not found
% 45.78/24.15 Conjecture not found
% 45.86/24.17 Conjecture not found
% 45.88/24.20 Conjecture not found
% 45.93/24.22 Conjecture not found
% 45.93/24.32 Conjecture not found
% 46.48/24.38 Conjecture not found
% 46.56/24.42 Conjecture not found
% 46.56/24.46 Conjecture not found
% 46.64/24.50 Conjecture not found
% 46.75/24.60 Conjecture not found
% 46.75/24.61 Conjecture not found
% 46.77/24.68 Conjecture not found
% 47.02/24.72 Conjecture not found
% 47.02/24.78 Conjecture not found
% 47.44/24.80 Conjecture not found
% 47.44/24.81 Conjecture not found
% 47.44/24.83 Conjecture not found
% 47.44/24.87 Conjecture not found
% 47.53/24.89 Conjecture not found
% 47.53/24.91 Conjecture not found
% 47.58/24.94 Conjecture not found
% 47.58/24.97 Conjecture not found
% 47.58/24.98 Conjecture not found
% 47.58/25.00 Conjecture not found
% 47.58/25.02 Conjecture not found
% 47.67/25.09 Conjecture not found
% 47.74/25.12 Conjecture not found
% 47.74/25.14 Conjecture not found
% 47.93/25.19 Conjecture not found
% 48.35/25.26 Conjecture not found
% 48.35/25.31 Conjecture not found
% 48.50/25.33 Conjecture not found
% 48.50/25.35 Conjecture not found
% 48.50/25.39 Conjecture not found
% 48.57/25.46 Conjecture not found
% 49.48/25.81 Conjecture not found
% 49.52/25.82 Conjecture not found
% 49.55/25.85 Conjecture not found
% 49.55/25.88 Conjecture not found
% 49.55/25.89 Conjecture not found
% 49.55/25.90 Conjecture not found
% 49.55/25.91 Conjecture not found
% 49.62/25.93 Conjecture not found
% 49.62/25.94 Conjecture not found
% 49.62/25.95 Conjecture not found
% 49.62/25.96 Conjecture not found
% 49.68/26.03 Conjecture not found
% 50.33/26.13 Conjecture not found
% 50.39/26.18 Conjecture not found
% 50.45/26.22 Conjecture not found
% 50.45/26.25 Conjecture not found
% 50.51/26.26 Conjecture not found
% 50.51/26.28 Conjecture not found
% 50.51/26.32 Conjecture not found
% 50.51/26.33 Conjecture not found
% 50.51/26.34 Conjecture not found
% 50.60/26.36 Conjecture not found
% 50.60/26.37 Conjecture not found
% 51.13/26.46 Conjecture not found
% 51.31/26.51 Conjecture not found
% 51.31/26.54 Conjecture not found
% 51.37/26.62 Conjecture not found
% 51.37/26.62 Conjecture not found
% 51.46/26.69 Conjecture not found
% 51.51/26.73 Conjecture not found
% 51.54/26.74 Conjecture not found
% 51.54/26.75 Conjecture not found
% 51.54/26.78 Conjecture not found
% 51.54/26.81 Conjecture not found
% 51.54/26.82 Conjecture not found
% 51.64/26.88 Conjecture not found
% 51.64/26.89 Conjecture not found
% 51.76/26.93 Conjecture not found
% 52.28/26.97 Conjecture not found
% 52.28/26.99 Conjecture not found
% 52.28/27.02 Conjecture not found
% 52.28/27.04 Conjecture not found
% 52.28/27.06 Conjecture not found
% 52.47/27.13 Conjecture not found
% 52.47/27.17 Conjecture not found
% 52.47/27.18 Conjecture not found
% 52.47/27.20 Conjecture not found
% 52.57/27.28 Conjecture not found
% 52.57/27.29 Conjecture not found
% 52.65/27.33 Conjecture not found
% 52.65/27.35 Conjecture not found
% 52.85/27.50 Conjecture not found
% 53.38/27.52 Conjecture not found
% 53.38/27.54 Conjecture not found
% 53.38/27.57 Conjecture not found
% 53.38/27.59 Conjecture not found
% 53.46/27.61 Conjecture not found
% 53.46/27.65 Conjecture not found
% 53.57/27.70 Conjecture not found
% 53.59/27.75 Conjecture not found
% 53.59/27.77 Conjecture not found
% 53.59/27.78 Conjecture not found
% 54.33/27.92 Conjecture not found
% 54.33/27.96 Conjecture not found
% 54.41/28.02 Start search
% 127.35/45.88 nb_step : 1 - limit : 134090
% 128.75/46.52 Launch Gotab with destructive = true
%------------------------------------------------------------------------------