TSTP Solution File: LAT359+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT359+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n027.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:17 EDT 2022
% Result : Timeout 300.08s 90.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT359+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n027.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu Sep 1 16:09:41 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.19/0.59 Conjecture not found
% 0.60/0.61 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.75/0.73 Conjecture not found
% 0.75/0.74 Conjecture not found
% 0.87/0.81 Conjecture not found
% 1.05/0.87 Conjecture not found
% 1.15/0.95 Conjecture not found
% 1.15/0.98 Conjecture not found
% 1.28/1.05 Conjecture not found
% 1.38/1.09 Conjecture not found
% 1.38/1.14 Conjecture not found
% 1.38/1.17 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.65/1.22 Conjecture not found
% 1.65/1.22 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.65/1.24 Conjecture not found
% 1.84/1.34 Conjecture not found
% 1.84/1.36 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.91/1.38 Conjecture not found
% 1.91/1.38 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.40 Conjecture not found
% 1.91/1.40 Conjecture not found
% 2.03/1.45 Conjecture not found
% 2.07/1.49 Conjecture not found
% 2.07/1.49 Conjecture not found
% 2.07/1.50 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.16/1.52 Conjecture not found
% 2.16/1.53 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.22/1.57 Conjecture not found
% 2.22/1.58 Conjecture not found
% 2.22/1.60 Conjecture not found
% 2.22/1.61 Conjecture not found
% 2.22/1.62 Conjecture not found
% 2.38/1.66 Conjecture not found
% 2.48/1.71 Conjecture not found
% 2.61/1.77 Conjecture not found
% 2.61/1.78 Conjecture not found
% 2.67/1.80 Conjecture not found
% 2.67/1.83 Conjecture not found
% 2.77/1.86 Conjecture not found
% 2.77/1.88 Conjecture not found
% 2.77/1.90 Conjecture not found
% 2.94/1.99 Conjecture not found
% 2.94/2.03 Conjecture not found
% 3.09/2.05 Conjecture not found
% 3.09/2.06 Conjecture not found
% 3.17/2.08 Conjecture not found
% 3.17/2.10 Conjecture not found
% 3.47/2.28 Conjecture not found
% 3.47/2.31 Conjecture not found
% 3.47/2.33 Conjecture not found
% 3.76/2.44 Conjecture not found
% 3.76/2.46 Conjecture not found
% 3.76/2.47 Conjecture not found
% 3.76/2.49 Conjecture not found
% 3.91/2.53 Conjecture not found
% 4.02/2.60 Conjecture not found
% 4.14/2.68 Conjecture not found
% 4.29/2.76 Conjecture not found
% 4.29/2.80 Conjecture not found
% 4.29/2.81 Conjecture not found
% 4.49/2.85 Conjecture not found
% 4.49/2.85 Conjecture not found
% 4.49/2.90 Conjecture not found
% 4.61/2.92 Conjecture not found
% 4.61/2.94 Conjecture not found
% 4.61/2.96 Conjecture not found
% 4.84/3.04 Conjecture not found
% 4.84/3.05 Conjecture not found
% 4.84/3.08 Conjecture not found
% 4.99/3.13 Conjecture not found
% 5.14/3.21 Conjecture not found
% 5.35/3.36 Conjecture not found
% 5.74/3.58 Conjecture not found
% 6.39/3.83 Conjecture not found
% 6.39/3.86 Conjecture not found
% 6.39/3.89 Conjecture not found
% 6.72/3.99 Conjecture not found
% 6.76/4.02 Conjecture not found
% 6.78/4.06 Conjecture not found
% 6.98/4.13 Conjecture not found
% 6.98/4.18 Conjecture not found
% 7.11/4.25 Conjecture not found
% 7.28/4.28 Conjecture not found
% 7.28/4.30 Conjecture not found
% 7.39/4.30 Conjecture not found
% 7.39/4.32 Conjecture not found
% 7.39/4.33 Conjecture not found
% 7.46/4.40 Conjecture not found
% 7.63/4.48 Conjecture not found
% 7.90/4.56 Conjecture not found
% 8.08/4.66 Conjecture not found
% 8.08/4.69 Conjecture not found
% 8.08/4.73 Conjecture not found
% 8.22/4.75 Conjecture not found
% 8.22/4.77 Conjecture not found
% 8.27/4.80 Conjecture not found
% 8.27/4.83 Conjecture not found
% 8.41/4.85 Conjecture not found
% 8.43/4.89 Conjecture not found
% 8.43/4.89 Conjecture not found
% 8.43/4.90 Conjecture not found
% 8.43/4.91 Conjecture not found
% 8.57/4.95 Conjecture not found
% 8.57/4.96 Conjecture not found
% 8.65/4.99 Conjecture not found
% 8.65/5.03 Conjecture not found
% 9.12/5.20 Conjecture not found
% 9.12/5.24 Conjecture not found
% 9.27/5.25 Conjecture not found
% 9.29/5.28 Conjecture not found
% 9.29/5.31 Conjecture not found
% 9.33/5.34 Conjecture not found
% 9.37/5.40 Conjecture not found
% 9.37/5.41 Conjecture not found
% 9.54/5.44 Conjecture not found
% 9.54/5.46 Conjecture not found
% 9.67/5.54 Conjecture not found
% 10.63/6.08 Conjecture not found
% 11.52/6.60 Conjecture not found
% 11.74/6.72 Conjecture not found
% 11.88/6.78 Conjecture not found
% 11.88/6.79 Conjecture not found
% 11.88/6.81 Conjecture not found
% 12.01/6.86 Conjecture not found
% 12.01/6.87 Conjecture not found
% 12.01/6.88 Conjecture not found
% 12.11/6.91 Conjecture not found
% 12.27/6.97 Conjecture not found
% 12.28/7.00 Conjecture not found
% 12.32/7.02 Conjecture not found
% 12.42/7.03 Conjecture not found
% 12.42/7.08 Conjecture not found
% 12.54/7.13 Conjecture not found
% 12.54/7.18 Conjecture not found
% 12.70/7.21 Conjecture not found
% 12.70/7.25 Conjecture not found
% 12.80/7.26 Conjecture not found
% 12.87/7.29 Conjecture not found
% 12.93/7.33 Conjecture not found
% 12.96/7.36 Conjecture not found
% 12.96/7.39 Conjecture not found
% 12.96/7.43 Conjecture not found
% 13.15/7.45 Conjecture not found
% 13.20/7.52 Conjecture not found
% 13.37/7.56 Conjecture not found
% 13.37/7.57 Conjecture not found
% 13.37/7.58 Conjecture not found
% 13.37/7.60 Conjecture not found
% 13.43/7.61 Conjecture not found
% 13.43/7.62 Conjecture not found
% 13.43/7.65 Conjecture not found
% 13.57/7.68 Conjecture not found
% 13.57/7.70 Conjecture not found
% 13.57/7.71 Conjecture not found
% 13.67/7.75 Conjecture not found
% 13.67/7.76 Conjecture not found
% 13.82/7.79 Conjecture not found
% 13.82/7.82 Conjecture not found
% 13.82/7.83 Conjecture not found
% 13.89/7.84 Conjecture not found
% 13.89/7.86 Conjecture not found
% 13.91/7.88 Conjecture not found
% 13.91/7.92 Conjecture not found
% 14.08/7.93 Conjecture not found
% 14.13/7.97 Conjecture not found
% 14.13/8.00 Conjecture not found
% 14.13/8.01 Conjecture not found
% 14.28/8.06 Conjecture not found
% 14.28/8.06 Conjecture not found
% 14.34/8.09 Conjecture not found
% 14.39/8.14 Conjecture not found
% 14.39/8.15 Conjecture not found
% 14.42/8.16 Conjecture not found
% 14.42/8.17 Conjecture not found
% 14.42/8.20 Conjecture not found
% 14.42/8.20 Conjecture not found
% 14.42/8.21 Conjecture not found
% 14.42/8.22 Conjecture not found
% 14.62/8.25 Conjecture not found
% 14.66/8.33 Conjecture not found
% 14.85/8.34 Conjecture not found
% 14.88/8.37 Conjecture not found
% 14.88/8.40 Conjecture not found
% 14.88/8.42 Conjecture not found
% 14.95/8.45 Conjecture not found
% 14.98/8.48 Conjecture not found
% 14.98/8.51 Conjecture not found
% 15.18/8.55 Conjecture not found
% 15.21/8.58 Conjecture not found
% 15.21/8.61 Conjecture not found
% 15.43/8.66 Conjecture not found
% 15.62/8.81 Conjecture not found
% 15.80/8.89 Conjecture not found
% 15.87/8.94 Conjecture not found
% 15.87/8.95 Conjecture not found
% 16.03/8.99 Conjecture not found
% 16.11/9.04 Conjecture not found
% 16.11/9.07 Conjecture not found
% 16.11/9.09 Conjecture not found
% 16.36/9.17 Conjecture not found
% 16.41/9.22 Conjecture not found
% 16.52/9.28 Conjecture not found
% 16.52/9.33 Conjecture not found
% 16.69/9.39 Conjecture not found
% 16.74/9.40 Conjecture not found
% 16.95/9.46 Conjecture not found
% 17.01/9.52 Conjecture not found
% 17.06/9.62 Conjecture not found
% 17.38/9.74 Conjecture not found
% 17.38/9.75 Conjecture not found
% 17.38/9.77 Conjecture not found
% 17.38/9.79 Conjecture not found
% 17.48/9.81 Conjecture not found
% 17.68/9.92 Conjecture not found
% 17.77/9.98 Conjecture not found
% 17.95/10.00 Conjecture not found
% 18.01/10.05 Conjecture not found
% 18.51/10.33 Conjecture not found
% 18.51/10.40 Conjecture not found
% 18.77/10.44 Conjecture not found
% 18.77/10.46 Conjecture not found
% 18.77/10.47 Conjecture not found
% 18.77/10.48 Conjecture not found
% 18.84/10.53 Conjecture not found
% 19.13/10.62 Conjecture not found
% 19.17/10.70 Conjecture not found
% 19.36/10.77 Conjecture not found
% 19.49/10.80 Conjecture not found
% 19.59/10.91 Conjecture not found
% 19.65/10.98 Conjecture not found
% 19.65/11.04 Conjecture not found
% 19.90/11.09 Conjecture not found
% 19.96/11.12 Conjecture not found
% 19.96/11.13 Conjecture not found
% 20.20/11.18 Conjecture not found
% 20.20/11.20 Conjecture not found
% 20.26/11.22 Conjecture not found
% 20.30/11.26 Conjecture not found
% 20.30/11.29 Conjecture not found
% 20.30/11.31 Conjecture not found
% 20.30/11.33 Conjecture not found
% 20.59/11.42 Conjecture not found
% 20.59/11.43 Conjecture not found
% 20.71/11.47 Conjecture not found
% 20.71/11.49 Conjecture not found
% 20.90/11.64 Conjecture not found
% 21.10/11.65 Conjecture not found
% 21.14/11.68 Conjecture not found
% 21.14/11.69 Conjecture not found
% 21.14/11.69 Conjecture not found
% 21.14/11.70 Conjecture not found
% 21.14/11.71 Conjecture not found
% 21.20/11.76 Conjecture not found
% 21.34/11.78 Conjecture not found
% 21.34/11.80 Conjecture not found
% 21.50/11.89 Conjecture not found
% 21.56/11.94 Conjecture not found
% 21.86/12.06 Conjecture not found
% 21.90/12.08 Conjecture not found
% 21.99/12.18 Conjecture not found
% 22.30/12.32 Conjecture not found
% 22.30/12.34 Conjecture not found
% 22.60/12.40 Conjecture not found
% 22.60/12.43 Conjecture not found
% 22.66/12.45 Conjecture not found
% 22.72/12.55 Conjecture not found
% 22.78/12.63 Conjecture not found
% 23.07/12.69 Conjecture not found
% 23.10/12.70 Conjecture not found
% 23.15/12.79 Conjecture not found
% 23.37/12.85 Conjecture not found
% 23.37/12.88 Conjecture not found
% 23.54/12.92 Conjecture not found
% 23.54/12.96 Conjecture not found
% 23.64/12.97 Conjecture not found
% 23.66/13.01 Conjecture not found
% 23.99/13.12 Conjecture not found
% 23.99/13.14 Conjecture not found
% 23.99/13.15 Conjecture not found
% 24.07/13.20 Conjecture not found
% 24.07/13.26 Conjecture not found
% 24.07/13.26 Conjecture not found
% 24.43/13.33 Conjecture not found
% 24.45/13.38 Conjecture not found
% 24.45/13.41 Conjecture not found
% 24.54/13.44 Conjecture not found
% 24.76/13.53 Conjecture not found
% 24.76/13.54 Conjecture not found
% 24.92/13.59 Conjecture not found
% 24.92/13.65 Conjecture not found
% 25.29/13.76 Conjecture not found
% 25.29/13.79 Conjecture not found
% 25.39/13.85 Conjecture not found
% 25.39/13.86 Conjecture not found
% 25.39/13.88 Conjecture not found
% 25.39/13.88 Conjecture not found
% 25.39/13.89 Conjecture not found
% 25.46/13.90 Conjecture not found
% 25.46/13.91 Conjecture not found
% 25.76/14.04 Conjecture not found
% 25.89/14.12 Conjecture not found
% 25.93/14.17 Conjecture not found
% 26.16/14.22 Conjecture not found
% 26.16/14.23 Conjecture not found
% 26.26/14.30 Conjecture not found
% 26.26/14.32 Conjecture not found
% 26.26/14.33 Conjecture not found
% 26.40/14.40 Conjecture not found
% 26.40/14.41 Conjecture not found
% 26.47/14.46 Conjecture not found
% 26.47/14.52 Conjecture not found
% 26.78/14.55 Conjecture not found
% 26.78/14.58 Conjecture not found
% 27.32/14.83 Conjecture not found
% 27.36/14.91 Conjecture not found
% 27.36/14.92 Conjecture not found
% 27.74/15.04 Conjecture not found
% 27.82/15.06 Conjecture not found
% 27.82/15.10 Conjecture not found
% 27.87/15.13 Conjecture not found
% 28.24/15.25 Conjecture not found
% 28.29/15.30 Conjecture not found
% 28.29/15.31 Conjecture not found
% 28.29/15.33 Conjecture not found
% 28.29/15.35 Conjecture not found
% 28.38/15.39 Conjecture not found
% 28.56/15.46 Conjecture not found
% 28.56/15.49 Conjecture not found
% 28.56/15.49 Conjecture not found
% 28.56/15.50 Conjecture not found
% 28.82/15.56 Conjecture not found
% 28.86/15.58 Conjecture not found
% 28.86/15.63 Conjecture not found
% 29.27/15.74 Conjecture not found
% 29.31/15.82 Conjecture not found
% 29.38/15.85 Conjecture not found
% 29.38/15.86 Conjecture not found
% 29.38/15.87 Conjecture not found
% 29.42/15.92 Conjecture not found
% 29.42/15.94 Conjecture not found
% 29.42/15.94 Conjecture not found
% 29.50/15.97 Conjecture not found
% 29.53/16.01 Conjecture not found
% 29.87/16.07 Conjecture not found
% 29.87/16.10 Conjecture not found
% 29.94/16.13 Conjecture not found
% 29.99/16.21 Conjecture not found
% 29.99/16.24 Conjecture not found
% 30.27/16.26 Conjecture not found
% 30.44/16.36 Conjecture not found
% 30.44/16.38 Conjecture not found
% 30.44/16.42 Conjecture not found
% 30.53/16.44 Conjecture not found
% 30.53/16.46 Conjecture not found
% 30.53/16.47 Conjecture not found
% 30.58/16.49 Conjecture not found
% 30.58/16.50 Conjecture not found
% 30.99/16.65 Conjecture not found
% 30.99/16.65 Conjecture not found
% 30.99/16.66 Conjecture not found
% 30.99/16.70 Conjecture not found
% 31.08/16.73 Conjecture not found
% 31.08/16.77 Conjecture not found
% 31.37/16.82 Conjecture not found
% 31.52/16.87 Conjecture not found
% 31.53/16.90 Conjecture not found
% 31.59/16.94 Conjecture not found
% 31.59/16.97 Conjecture not found
% 31.59/17.00 Conjecture not found
% 31.59/17.02 Conjecture not found
% 31.69/17.03 Conjecture not found
% 31.69/17.04 Conjecture not found
% 32.03/17.10 Conjecture not found
% 32.11/17.17 Conjecture not found
% 32.11/17.20 Conjecture not found
% 32.11/17.24 Conjecture not found
% 32.11/17.25 Conjecture not found
% 32.24/17.30 Conjecture not found
% 32.27/17.34 Conjecture not found
% 32.27/17.37 Conjecture not found
% 32.66/17.41 Conjecture not found
% 32.66/17.45 Conjecture not found
% 32.73/17.49 Conjecture not found
% 32.73/17.50 Conjecture not found
% 32.73/17.52 Conjecture not found
% 32.73/17.56 Conjecture not found
% 32.82/17.58 Conjecture not found
% 32.82/17.59 Conjecture not found
% 32.87/17.64 Conjecture not found
% 33.27/17.73 Conjecture not found
% 33.44/17.89 Conjecture not found
% 33.44/17.93 Conjecture not found
% 33.52/18.00 Conjecture not found
% 33.60/18.11 Conjecture not found
% 34.09/18.24 Conjecture not found
% 34.16/18.28 Conjecture not found
% 34.16/18.34 Conjecture not found
% 34.16/18.36 Conjecture not found
% 34.25/18.36 Conjecture not found
% 34.25/18.38 Conjecture not found
% 34.38/18.40 Conjecture not found
% 34.64/18.43 Conjecture not found
% 34.64/18.47 Conjecture not found
% 34.64/18.48 Conjecture not found
% 34.71/18.51 Conjecture not found
% 34.71/18.52 Conjecture not found
% 34.71/18.56 Conjecture not found
% 34.78/18.63 Conjecture not found
% 34.78/18.66 Conjecture not found
% 34.88/18.69 Conjecture not found
% 34.91/18.72 Conjecture not found
% 35.28/18.76 Conjecture not found
% 35.36/18.84 Conjecture not found
% 35.40/18.93 Conjecture not found
% 35.48/18.96 Conjecture not found
% 35.52/18.97 Conjecture not found
% 35.84/19.11 Conjecture not found
% 35.99/19.15 Conjecture not found
% 36.03/19.18 Conjecture not found
% 36.03/19.21 Conjecture not found
% 36.03/19.22 Conjecture not found
% 36.11/19.28 Conjecture not found
% 36.16/19.30 Conjecture not found
% 36.16/19.31 Conjecture not found
% 36.31/19.36 Conjecture not found
% 36.49/19.40 Conjecture not found
% 36.58/19.42 Conjecture not found
% 36.60/19.45 Conjecture not found
% 36.60/19.47 Conjecture not found
% 36.60/19.51 Conjecture not found
% 36.68/19.56 Conjecture not found
% 36.74/19.60 Conjecture not found
% 36.74/19.65 Conjecture not found
% 37.24/19.81 Conjecture not found
% 37.24/19.82 Conjecture not found
% 37.35/19.85 Conjecture not found
% 37.35/19.86 Conjecture not found
% 37.35/19.88 Conjecture not found
% 37.41/19.90 Conjecture not found
% 37.41/19.90 Conjecture not found
% 37.49/19.99 Conjecture not found
% 37.51/20.00 Conjecture not found
% 37.62/20.04 Conjecture not found
% 37.62/20.11 Conjecture not found
% 37.99/20.12 Conjecture not found
% 37.99/20.15 Conjecture not found
% 37.99/20.18 Conjecture not found
% 37.99/20.19 Conjecture not found
% 38.06/20.22 Conjecture not found
% 38.06/20.26 Conjecture not found
% 38.14/20.28 Conjecture not found
% 38.17/20.32 Conjecture not found
% 38.17/20.33 Conjecture not found
% 38.21/20.35 Conjecture not found
% 38.21/20.36 Conjecture not found
% 38.64/20.46 Conjecture not found
% 38.74/20.53 Conjecture not found
% 38.74/20.56 Conjecture not found
% 38.80/20.61 Conjecture not found
% 38.88/20.65 Conjecture not found
% 38.88/20.66 Conjecture not found
% 38.91/20.69 Conjecture not found
% 39.14/20.79 Conjecture not found
% 39.43/20.85 Conjecture not found
% 39.48/20.88 Conjecture not found
% 39.48/20.91 Conjecture not found
% 39.48/20.94 Conjecture not found
% 39.57/20.98 Conjecture not found
% 39.61/21.01 Conjecture not found
% 39.61/21.03 Conjecture not found
% 39.68/21.07 Conjecture not found
% 39.91/21.13 Conjecture not found
% 40.13/21.17 Conjecture not found
% 40.13/21.20 Conjecture not found
% 40.13/21.23 Conjecture not found
% 40.23/21.24 Conjecture not found
% 40.23/21.28 Conjecture not found
% 40.27/21.31 Conjecture not found
% 40.35/21.36 Conjecture not found
% 40.35/21.37 Conjecture not found
% 40.35/21.40 Conjecture not found
% 40.40/21.44 Conjecture not found
% 40.44/21.47 Conjecture not found
% 40.44/21.51 Conjecture not found
% 40.97/21.56 Conjecture not found
% 40.97/21.58 Conjecture not found
% 40.97/21.60 Conjecture not found
% 41.03/21.64 Conjecture not found
% 41.03/21.65 Conjecture not found
% 41.03/21.67 Conjecture not found
% 41.09/21.70 Conjecture not found
% 41.09/21.70 Conjecture not found
% 41.09/21.76 Conjecture not found
% 41.18/21.77 Conjecture not found
% 41.18/21.78 Conjecture not found
% 41.20/21.79 Conjecture not found
% 41.50/21.87 Conjecture not found
% 41.50/21.89 Conjecture not found
% 41.73/21.93 Conjecture not found
% 41.73/21.96 Conjecture not found
% 41.80/21.97 Conjecture not found
% 41.80/22.02 Conjecture not found
% 41.88/22.07 Conjecture not found
% 41.97/22.17 Conjecture not found
% 41.97/22.19 Conjecture not found
% 41.97/22.20 Conjecture not found
% 41.97/22.21 Conjecture not found
% 42.60/22.35 Conjecture not found
% 42.60/22.36 Conjecture not found
% 42.62/22.38 Conjecture not found
% 42.62/22.40 Conjecture not found
% 42.71/22.46 Conjecture not found
% 42.71/22.49 Conjecture not found
% 43.07/22.64 Conjecture not found
% 43.35/22.65 Conjecture not found
% 43.38/22.71 Conjecture not found
% 43.38/22.72 Conjecture not found
% 43.38/22.72 Conjecture not found
% 43.38/22.73 Conjecture not found
% 43.44/22.77 Conjecture not found
% 43.48/22.81 Conjecture not found
% 43.54/22.83 Conjecture not found
% 43.54/22.85 Conjecture not found
% 43.56/22.88 Conjecture not found
% 43.92/22.98 Conjecture not found
% 43.92/23.00 Conjecture not found
% 44.19/23.04 Conjecture not found
% 44.22/23.12 Conjecture not found
% 44.28/23.14 Conjecture not found
% 44.31/23.20 Conjecture not found
% 44.31/23.23 Conjecture not found
% 44.39/23.27 Conjecture not found
% 44.43/23.29 Conjecture not found
% 44.52/23.39 Conjecture not found
% 44.56/23.43 Conjecture not found
% 44.59/23.45 Conjecture not found
% 45.11/23.53 Conjecture not found
% 45.19/23.58 Conjecture not found
% 45.19/23.60 Conjecture not found
% 45.19/23.61 Conjecture not found
% 45.19/23.64 Conjecture not found
% 45.32/23.73 Conjecture not found
% 45.36/23.77 Conjecture not found
% 45.36/23.78 Conjecture not found
% 45.36/23.82 Conjecture not found
% 45.36/23.83 Conjecture not found
% 45.45/23.86 Conjecture not found
% 45.86/23.90 Conjecture not found
% 45.86/23.93 Conjecture not found
% 45.86/23.95 Conjecture not found
% 46.04/23.98 Conjecture not found
% 46.04/24.01 Conjecture not found
% 46.13/24.06 Conjecture not found
% 46.13/24.08 Conjecture not found
% 46.13/24.09 Conjecture not found
% 46.17/24.11 Conjecture not found
% 46.17/24.12 Conjecture not found
% 46.22/24.14 Conjecture not found
% 46.28/24.20 Conjecture not found
% 46.28/24.22 Conjecture not found
% 46.28/24.22 Conjecture not found
% 46.28/24.23 Conjecture not found
% 46.28/24.25 Conjecture not found
% 46.33/24.27 Conjecture not found
% 46.33/24.29 Conjecture not found
% 46.33/24.31 Conjecture not found
% 46.33/24.35 Conjecture not found
% 46.79/24.39 Conjecture not found
% 47.01/24.45 Conjecture not found
% 47.01/24.46 Conjecture not found
% 47.01/24.48 Conjecture not found
% 47.01/24.49 Conjecture not found
% 47.06/24.54 Conjecture not found
% 47.10/24.55 Conjecture not found
% 47.20/24.65 Conjecture not found
% 47.20/24.65 Conjecture not found
% 47.20/24.66 Conjecture not found
% 47.69/24.84 Conjecture not found
% 47.94/24.87 Conjecture not found
% 47.94/24.90 Conjecture not found
% 47.94/24.91 Conjecture not found
% 47.94/24.95 Conjecture not found
% 48.05/24.99 Conjecture not found
% 48.11/25.03 Conjecture not found
% 48.16/25.07 Conjecture not found
% 48.16/25.10 Conjecture not found
% 48.38/25.22 Conjecture not found
% 48.73/25.24 Conjecture not found
% 48.90/25.33 Conjecture not found
% 48.90/25.35 Conjecture not found
% 48.96/25.37 Conjecture not found
% 48.96/25.39 Conjecture not found
% 48.96/25.40 Conjecture not found
% 48.96/25.41 Conjecture not found
% 48.96/25.44 Conjecture not found
% 49.05/25.45 Conjecture not found
% 49.05/25.46 Conjecture not found
% 49.05/25.48 Conjecture not found
% 49.09/25.51 Conjecture not found
% 49.09/25.52 Conjecture not found
% 49.16/25.56 Conjecture not found
% 49.16/25.58 Conjecture not found
% 49.26/25.66 Conjecture not found
% 49.26/25.70 Conjecture not found
% 49.89/25.78 Conjecture not found
% 49.89/25.83 Conjecture not found
% 49.98/25.87 Conjecture not found
% 49.98/25.91 Conjecture not found
% 50.05/25.93 Conjecture not found
% 50.05/25.95 Conjecture not found
% 50.08/25.98 Conjecture not found
% 50.16/26.06 Conjecture not found
% 51.08/26.49 Conjecture not found
% 51.08/26.51 Conjecture not found
% 51.16/26.55 Conjecture not found
% 51.16/26.58 Conjecture not found
% 51.16/26.59 Conjecture not found
% 51.16/26.60 Conjecture not found
% 51.16/26.61 Conjecture not found
% 51.31/26.66 Conjecture not found
% 51.47/26.71 Conjecture not found
% 51.47/26.74 Conjecture not found
% 51.83/26.77 Conjecture not found
% 51.90/26.87 Conjecture not found
% 51.99/26.98 Conjecture not found
% 52.06/27.05 Conjecture not found
% 52.14/27.09 Conjecture not found
% 52.18/27.13 Conjecture not found
% 52.21/27.15 Conjecture not found
% 52.21/27.16 Conjecture not found
% 52.21/27.21 Conjecture not found
% 52.21/27.22 Conjecture not found
% 52.39/27.26 Conjecture not found
% 52.39/27.31 Conjecture not found
% 52.90/27.34 Conjecture not found
% 52.97/27.43 Conjecture not found
% 53.05/27.46 Conjecture not found
% 53.08/27.50 Conjecture not found
% 53.14/27.54 Conjecture not found
% 53.14/27.55 Conjecture not found
% 53.21/27.61 Conjecture not found
% 53.21/27.64 Conjecture not found
% 53.21/27.66 Conjecture not found
% 53.27/27.67 Conjecture not found
% 53.27/27.70 Conjecture not found
% 53.27/27.72 Conjecture not found
% 53.27/27.73 Conjecture not found
% 53.63/27.84 Conjecture not found
% 53.63/27.85 Conjecture not found
% 53.92/27.86 Conjecture not found
% 53.96/27.89 Conjecture not found
% 53.96/27.90 Conjecture not found
% 54.04/27.93 Conjecture not found
% 54.08/27.95 Conjecture not found
% 54.08/27.96 Conjecture not found
% 54.16/28.04 Conjecture not found
% 54.16/28.08 Conjecture not found
% 54.21/28.09 Conjecture not found
% 54.21/28.10 Conjecture not found
% 54.29/28.19 Conjecture not found
% 54.29/28.19 Conjecture not found
% 54.34/28.23 Conjecture not found
% 54.51/28.28 Conjecture not found
% 55.09/28.43 Conjecture not found
% 55.09/28.45 Conjecture not found
% 55.14/28.48 Conjecture not found
% 55.14/28.52 Conjecture not found
% 55.24/28.55 Conjecture not found
% 55.24/28.57 Conjecture not found
% 55.28/28.62 Conjecture not found
% 55.33/28.69 Conjecture not found
% 55.39/28.75 Conjecture not found
% 55.44/28.77 Conjecture not found
% 55.44/28.82 Conjecture not found
% 56.18/28.96 Conjecture not found
% 56.19/29.01 Conjecture not found
% 56.25/29.03 Start search
% 119.22/44.62 nb_step : 1 - limit : 133815
% 120.65/45.23 Launch Gotab with destructive = true
%------------------------------------------------------------------------------