TSTP Solution File: LAT358+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT358+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n006.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:16 EDT 2022
% Result : Timeout 300.29s 90.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT358+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n006.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 15:51:17 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.000037s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.38 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.50/0.56 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.61 Conjecture not found
% 0.66/0.65 Conjecture not found
% 0.78/0.72 Conjecture not found
% 0.78/0.73 Conjecture not found
% 0.86/0.81 Conjecture not found
% 1.00/0.86 Conjecture not found
% 1.14/0.94 Conjecture not found
% 1.18/0.98 Conjecture not found
% 1.29/1.05 Conjecture not found
% 1.39/1.09 Conjecture not found
% 1.39/1.15 Conjecture not found
% 1.52/1.17 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.65/1.24 Conjecture not found
% 1.77/1.34 Conjecture not found
% 1.77/1.37 Conjecture not found
% 1.88/1.37 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.40 Conjecture not found
% 1.88/1.40 Conjecture not found
% 2.01/1.46 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.52 Conjecture not found
% 2.13/1.53 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.56 Conjecture not found
% 2.16/1.58 Conjecture not found
% 2.16/1.60 Conjecture not found
% 2.16/1.62 Conjecture not found
% 2.30/1.64 Conjecture not found
% 2.30/1.64 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.41/1.69 Conjecture not found
% 2.41/1.75 Conjecture not found
% 2.58/1.80 Conjecture not found
% 2.58/1.81 Conjecture not found
% 2.64/1.83 Conjecture not found
% 2.64/1.85 Conjecture not found
% 2.64/1.89 Conjecture not found
% 2.76/1.91 Conjecture not found
% 2.76/1.94 Conjecture not found
% 2.91/2.03 Conjecture not found
% 2.91/2.06 Conjecture not found
% 3.08/2.08 Conjecture not found
% 3.09/2.10 Conjecture not found
% 3.11/2.12 Conjecture not found
% 3.14/2.14 Conjecture not found
% 3.45/2.32 Conjecture not found
% 3.45/2.35 Conjecture not found
% 3.45/2.37 Conjecture not found
% 3.75/2.48 Conjecture not found
% 3.75/2.49 Conjecture not found
% 3.77/2.51 Conjecture not found
% 3.79/2.53 Conjecture not found
% 3.79/2.56 Conjecture not found
% 3.79/2.61 Conjecture not found
% 3.98/2.68 Conjecture not found
% 4.14/2.76 Conjecture not found
% 4.27/2.80 Conjecture not found
% 4.27/2.81 Conjecture not found
% 4.27/2.85 Conjecture not found
% 4.27/2.86 Conjecture not found
% 4.40/2.88 Conjecture not found
% 4.40/2.91 Conjecture not found
% 4.50/2.93 Conjecture not found
% 4.50/2.94 Conjecture not found
% 4.50/3.01 Conjecture not found
% 4.68/3.03 Conjecture not found
% 4.68/3.07 Conjecture not found
% 4.78/3.13 Conjecture not found
% 4.90/3.23 Conjecture not found
% 5.23/3.38 Conjecture not found
% 5.69/3.57 Conjecture not found
% 6.18/3.87 Conjecture not found
% 6.24/3.90 Conjecture not found
% 6.24/3.93 Conjecture not found
% 6.50/4.04 Conjecture not found
% 6.53/4.07 Conjecture not found
% 6.53/4.12 Conjecture not found
% 6.80/4.19 Conjecture not found
% 6.80/4.25 Conjecture not found
% 6.96/4.32 Conjecture not found
% 7.09/4.36 Conjecture not found
% 7.09/4.39 Conjecture not found
% 7.09/4.40 Conjecture not found
% 7.16/4.43 Conjecture not found
% 7.16/4.44 Conjecture not found
% 7.27/4.51 Conjecture not found
% 7.46/4.60 Conjecture not found
% 7.58/4.68 Conjecture not found
% 7.78/4.78 Conjecture not found
% 7.78/4.80 Conjecture not found
% 7.78/4.85 Conjecture not found
% 7.94/4.87 Conjecture not found
% 7.94/4.88 Conjecture not found
% 7.94/4.89 Conjecture not found
% 7.98/4.91 Conjecture not found
% 7.98/4.93 Conjecture not found
% 8.09/4.97 Conjecture not found
% 8.09/4.98 Conjecture not found
% 8.09/4.99 Conjecture not found
% 8.09/5.01 Conjecture not found
% 8.22/5.05 Conjecture not found
% 8.22/5.07 Conjecture not found
% 8.32/5.12 Conjecture not found
% 8.32/5.16 Conjecture not found
% 8.63/5.31 Conjecture not found
% 8.78/5.35 Conjecture not found
% 8.78/5.36 Conjecture not found
% 8.78/5.38 Conjecture not found
% 8.88/5.41 Conjecture not found
% 8.88/5.44 Conjecture not found
% 9.03/5.48 Conjecture not found
% 9.03/5.49 Conjecture not found
% 9.05/5.50 Conjecture not found
% 9.07/5.52 Conjecture not found
% 9.07/5.61 Conjecture not found
% 10.09/6.12 Conjecture not found
% 10.88/6.60 Conjecture not found
% 11.12/6.71 Conjecture not found
% 11.27/6.76 Conjecture not found
% 11.27/6.78 Conjecture not found
% 11.32/6.81 Conjecture not found
% 11.36/6.85 Conjecture not found
% 11.36/6.88 Conjecture not found
% 11.36/6.90 Conjecture not found
% 11.54/6.94 Conjecture not found
% 11.60/6.99 Conjecture not found
% 11.75/7.06 Conjecture not found
% 11.77/7.09 Conjecture not found
% 11.77/7.10 Conjecture not found
% 11.81/7.13 Conjecture not found
% 11.95/7.19 Conjecture not found
% 11.95/7.23 Conjecture not found
% 12.16/7.27 Conjecture not found
% 12.16/7.31 Conjecture not found
% 12.16/7.32 Conjecture not found
% 12.22/7.34 Conjecture not found
% 12.32/7.37 Conjecture not found
% 12.32/7.40 Conjecture not found
% 12.41/7.44 Conjecture not found
% 12.45/7.47 Conjecture not found
% 12.45/7.48 Conjecture not found
% 12.64/7.55 Conjecture not found
% 12.67/7.61 Conjecture not found
% 12.67/7.62 Conjecture not found
% 12.67/7.64 Conjecture not found
% 12.80/7.67 Conjecture not found
% 12.88/7.69 Conjecture not found
% 12.88/7.71 Conjecture not found
% 12.88/7.73 Conjecture not found
% 12.96/7.76 Conjecture not found
% 12.96/7.79 Conjecture not found
% 12.96/7.80 Conjecture not found
% 13.01/7.83 Conjecture not found
% 13.15/7.86 Conjecture not found
% 13.15/7.90 Conjecture not found
% 13.15/7.93 Conjecture not found
% 13.26/7.96 Conjecture not found
% 13.26/7.97 Conjecture not found
% 13.30/7.99 Conjecture not found
% 13.30/8.03 Conjecture not found
% 13.47/8.06 Conjecture not found
% 13.47/8.08 Conjecture not found
% 13.53/8.11 Conjecture not found
% 13.53/8.14 Conjecture not found
% 13.53/8.15 Conjecture not found
% 13.72/8.21 Conjecture not found
% 13.72/8.22 Conjecture not found
% 13.72/8.24 Conjecture not found
% 13.81/8.28 Conjecture not found
% 13.81/8.29 Conjecture not found
% 13.92/8.32 Conjecture not found
% 13.92/8.33 Conjecture not found
% 14.01/8.35 Conjecture not found
% 14.01/8.36 Conjecture not found
% 14.01/8.37 Conjecture not found
% 14.01/8.37 Conjecture not found
% 14.01/8.42 Conjecture not found
% 14.28/8.52 Conjecture not found
% 14.28/8.53 Conjecture not found
% 14.35/8.56 Conjecture not found
% 14.35/8.59 Conjecture not found
% 14.35/8.60 Conjecture not found
% 14.39/8.62 Conjecture not found
% 14.55/8.65 Conjecture not found
% 14.55/8.68 Conjecture not found
% 14.55/8.72 Conjecture not found
% 14.65/8.75 Conjecture not found
% 14.65/8.79 Conjecture not found
% 14.85/8.85 Conjecture not found
% 15.07/8.97 Conjecture not found
% 15.07/9.03 Conjecture not found
% 15.21/9.08 Conjecture not found
% 15.21/9.09 Conjecture not found
% 15.42/9.11 Conjecture not found
% 15.42/9.14 Conjecture not found
% 15.49/9.17 Conjecture not found
% 15.49/9.20 Conjecture not found
% 15.70/9.29 Conjecture not found
% 15.70/9.33 Conjecture not found
% 15.83/9.40 Conjecture not found
% 16.03/9.45 Conjecture not found
% 16.10/9.50 Conjecture not found
% 16.10/9.52 Conjecture not found
% 16.36/9.59 Conjecture not found
% 16.40/9.65 Conjecture not found
% 16.47/9.71 Conjecture not found
% 16.62/9.83 Conjecture not found
% 16.62/9.85 Conjecture not found
% 16.77/9.88 Conjecture not found
% 16.79/9.91 Conjecture not found
% 16.79/9.93 Conjecture not found
% 17.08/10.03 Conjecture not found
% 17.13/10.10 Conjecture not found
% 17.13/10.11 Conjecture not found
% 17.29/10.16 Conjecture not found
% 17.74/10.42 Conjecture not found
% 17.85/10.50 Conjecture not found
% 18.02/10.55 Conjecture not found
% 18.09/10.57 Conjecture not found
% 18.09/10.58 Conjecture not found
% 18.09/10.59 Conjecture not found
% 18.15/10.64 Conjecture not found
% 18.18/10.72 Conjecture not found
% 18.46/10.82 Conjecture not found
% 18.53/10.86 Conjecture not found
% 18.55/10.89 Conjecture not found
% 18.81/10.98 Conjecture not found
% 18.81/11.04 Conjecture not found
% 19.11/11.11 Conjecture not found
% 19.18/11.17 Conjecture not found
% 19.23/11.21 Conjecture not found
% 19.23/11.22 Conjecture not found
% 19.26/11.24 Conjecture not found
% 19.26/11.25 Conjecture not found
% 19.26/11.29 Conjecture not found
% 19.53/11.35 Conjecture not found
% 19.53/11.38 Conjecture not found
% 19.59/11.40 Conjecture not found
% 19.59/11.42 Conjecture not found
% 19.71/11.50 Conjecture not found
% 19.89/11.51 Conjecture not found
% 19.89/11.55 Conjecture not found
% 19.93/11.58 Conjecture not found
% 20.17/11.74 Conjecture not found
% 20.17/11.76 Conjecture not found
% 20.32/11.81 Conjecture not found
% 20.32/11.82 Conjecture not found
% 20.32/11.83 Conjecture not found
% 20.32/11.83 Conjecture not found
% 20.40/11.85 Conjecture not found
% 20.44/11.91 Conjecture not found
% 20.44/11.92 Conjecture not found
% 20.49/11.94 Conjecture not found
% 20.76/12.05 Conjecture not found
% 20.81/12.10 Conjecture not found
% 20.89/12.19 Conjecture not found
% 21.13/12.21 Conjecture not found
% 21.25/12.34 Conjecture not found
% 21.61/12.51 Conjecture not found
% 21.61/12.53 Conjecture not found
% 21.69/12.57 Conjecture not found
% 21.69/12.59 Conjecture not found
% 21.91/12.62 Conjecture not found
% 22.00/12.69 Conjecture not found
% 22.10/12.75 Conjecture not found
% 22.35/12.82 Conjecture not found
% 22.35/12.85 Conjecture not found
% 22.42/12.95 Conjecture not found
% 22.52/12.98 Conjecture not found
% 22.55/13.00 Conjecture not found
% 22.76/13.07 Conjecture not found
% 22.85/13.11 Conjecture not found
% 22.85/13.12 Conjecture not found
% 22.85/13.16 Conjecture not found
% 22.92/13.25 Conjecture not found
% 23.22/13.28 Conjecture not found
% 23.25/13.30 Conjecture not found
% 23.31/13.38 Conjecture not found
% 23.37/13.45 Conjecture not found
% 23.37/13.45 Conjecture not found
% 23.42/13.52 Conjecture not found
% 23.72/13.61 Conjecture not found
% 23.78/13.66 Conjecture not found
% 23.78/13.70 Conjecture not found
% 23.85/13.76 Conjecture not found
% 23.90/13.77 Conjecture not found
% 24.20/13.85 Conjecture not found
% 24.24/13.93 Conjecture not found
% 24.31/14.00 Conjecture not found
% 24.36/14.02 Conjecture not found
% 24.48/14.11 Conjecture not found
% 24.71/14.14 Conjecture not found
% 24.71/14.15 Conjecture not found
% 24.71/14.15 Conjecture not found
% 24.71/14.16 Conjecture not found
% 24.76/14.18 Conjecture not found
% 24.76/14.19 Conjecture not found
% 24.90/14.29 Conjecture not found
% 25.14/14.35 Conjecture not found
% 25.14/14.40 Conjecture not found
% 25.14/14.42 Conjecture not found
% 25.14/14.42 Conjecture not found
% 25.51/14.51 Conjecture not found
% 25.51/14.53 Conjecture not found
% 25.51/14.54 Conjecture not found
% 25.62/14.61 Conjecture not found
% 25.62/14.63 Conjecture not found
% 25.65/14.66 Conjecture not found
% 26.00/14.76 Conjecture not found
% 26.07/14.80 Conjecture not found
% 26.07/14.83 Conjecture not found
% 26.55/15.07 Conjecture not found
% 26.61/15.13 Conjecture not found
% 26.61/15.14 Conjecture not found
% 26.66/15.24 Conjecture not found
% 27.00/15.26 Conjecture not found
% 27.04/15.32 Conjecture not found
% 27.10/15.35 Conjecture not found
% 27.17/15.43 Conjecture not found
% 27.45/15.51 Conjecture not found
% 27.45/15.52 Conjecture not found
% 27.55/15.55 Conjecture not found
% 27.55/15.58 Conjecture not found
% 27.60/15.62 Conjecture not found
% 27.77/15.71 Conjecture not found
% 27.98/15.74 Conjecture not found
% 27.98/15.74 Conjecture not found
% 28.00/15.75 Conjecture not found
% 28.00/15.80 Conjecture not found
% 28.00/15.81 Conjecture not found
% 28.07/15.86 Conjecture not found
% 28.47/15.96 Conjecture not found
% 28.50/16.01 Conjecture not found
% 28.55/16.03 Conjecture not found
% 28.57/16.05 Conjecture not found
% 28.57/16.06 Conjecture not found
% 28.57/16.10 Conjecture not found
% 28.57/16.13 Conjecture not found
% 28.57/16.13 Conjecture not found
% 28.66/16.18 Conjecture not found
% 28.92/16.24 Conjecture not found
% 29.07/16.30 Conjecture not found
% 29.12/16.35 Conjecture not found
% 29.12/16.39 Conjecture not found
% 29.28/16.52 Conjecture not found
% 29.65/16.58 Conjecture not found
% 29.65/16.60 Conjecture not found
% 29.72/16.69 Conjecture not found
% 29.72/16.71 Conjecture not found
% 29.81/16.75 Conjecture not found
% 29.81/16.77 Conjecture not found
% 29.81/16.78 Conjecture not found
% 29.81/16.79 Conjecture not found
% 29.97/16.84 Conjecture not found
% 29.97/16.86 Conjecture not found
% 30.33/16.99 Conjecture not found
% 30.33/17.00 Conjecture not found
% 30.33/17.00 Conjecture not found
% 30.38/17.04 Conjecture not found
% 30.38/17.07 Conjecture not found
% 30.68/17.14 Conjecture not found
% 30.68/17.16 Conjecture not found
% 30.80/17.21 Conjecture not found
% 30.80/17.25 Conjecture not found
% 30.89/17.30 Conjecture not found
% 30.93/17.32 Conjecture not found
% 30.98/17.35 Conjecture not found
% 30.98/17.38 Conjecture not found
% 30.98/17.39 Conjecture not found
% 30.98/17.40 Conjecture not found
% 31.39/17.46 Conjecture not found
% 31.39/17.52 Conjecture not found
% 31.48/17.55 Conjecture not found
% 31.52/17.59 Conjecture not found
% 31.52/17.59 Conjecture not found
% 31.58/17.65 Conjecture not found
% 31.59/17.70 Conjecture not found
% 31.89/17.73 Conjecture not found
% 31.89/17.75 Conjecture not found
% 32.01/17.78 Conjecture not found
% 32.01/17.81 Conjecture not found
% 32.01/17.82 Conjecture not found
% 32.01/17.84 Conjecture not found
% 32.11/17.87 Conjecture not found
% 32.11/17.88 Conjecture not found
% 32.11/17.90 Conjecture not found
% 32.15/17.93 Conjecture not found
% 32.31/18.02 Conjecture not found
% 32.69/18.16 Conjecture not found
% 32.69/18.19 Conjecture not found
% 32.74/18.23 Conjecture not found
% 32.80/18.34 Conjecture not found
% 33.24/18.44 Conjecture not found
% 33.31/18.48 Conjecture not found
% 33.36/18.54 Conjecture not found
% 33.40/18.56 Conjecture not found
% 33.40/18.57 Conjecture not found
% 33.40/18.58 Conjecture not found
% 33.40/18.61 Conjecture not found
% 33.79/18.65 Conjecture not found
% 33.85/18.69 Conjecture not found
% 33.85/18.70 Conjecture not found
% 33.85/18.72 Conjecture not found
% 33.85/18.74 Conjecture not found
% 33.93/18.78 Conjecture not found
% 33.99/18.84 Conjecture not found
% 34.02/18.87 Conjecture not found
% 34.02/18.91 Conjecture not found
% 34.35/18.95 Conjecture not found
% 34.35/18.98 Conjecture not found
% 34.56/19.08 Conjecture not found
% 34.62/19.17 Conjecture not found
% 34.62/19.20 Conjecture not found
% 34.70/19.22 Conjecture not found
% 34.93/19.33 Conjecture not found
% 35.21/19.39 Conjecture not found
% 35.25/19.42 Conjecture not found
% 35.27/19.45 Conjecture not found
% 35.27/19.46 Conjecture not found
% 35.27/19.52 Conjecture not found
% 35.37/19.54 Conjecture not found
% 35.37/19.55 Conjecture not found
% 35.37/19.59 Conjecture not found
% 35.57/19.63 Conjecture not found
% 35.57/19.65 Conjecture not found
% 35.57/19.67 Conjecture not found
% 35.89/19.68 Conjecture not found
% 35.93/19.72 Conjecture not found
% 35.93/19.77 Conjecture not found
% 35.93/19.81 Conjecture not found
% 36.04/19.85 Conjecture not found
% 36.56/20.00 Conjecture not found
% 36.56/20.02 Conjecture not found
% 36.58/20.06 Conjecture not found
% 36.58/20.08 Conjecture not found
% 36.58/20.11 Conjecture not found
% 36.68/20.14 Conjecture not found
% 36.68/20.14 Conjecture not found
% 36.76/20.22 Conjecture not found
% 36.76/20.24 Conjecture not found
% 36.76/20.26 Conjecture not found
% 36.98/20.30 Conjecture not found
% 36.98/20.32 Conjecture not found
% 36.98/20.36 Conjecture not found
% 37.31/20.39 Conjecture not found
% 37.32/20.41 Conjecture not found
% 37.33/20.43 Conjecture not found
% 37.33/20.48 Conjecture not found
% 37.33/20.50 Conjecture not found
% 37.43/20.54 Conjecture not found
% 37.43/20.55 Conjecture not found
% 37.43/20.57 Conjecture not found
% 37.43/20.58 Conjecture not found
% 37.51/20.66 Conjecture not found
% 38.01/20.76 Conjecture not found
% 38.01/20.80 Conjecture not found
% 38.10/20.85 Conjecture not found
% 38.17/20.89 Conjecture not found
% 38.17/20.90 Conjecture not found
% 38.17/20.93 Conjecture not found
% 38.63/21.03 Conjecture not found
% 38.63/21.09 Conjecture not found
% 38.77/21.12 Conjecture not found
% 38.77/21.15 Conjecture not found
% 38.77/21.17 Conjecture not found
% 38.85/21.22 Conjecture not found
% 38.85/21.25 Conjecture not found
% 38.85/21.27 Conjecture not found
% 38.97/21.31 Conjecture not found
% 39.00/21.34 Conjecture not found
% 39.00/21.37 Conjecture not found
% 39.00/21.40 Conjecture not found
% 39.50/21.44 Conjecture not found
% 39.50/21.47 Conjecture not found
% 39.56/21.51 Conjecture not found
% 39.56/21.54 Conjecture not found
% 39.65/21.59 Conjecture not found
% 39.65/21.60 Conjecture not found
% 39.68/21.63 Conjecture not found
% 39.70/21.67 Conjecture not found
% 39.70/21.70 Conjecture not found
% 39.93/21.76 Conjecture not found
% 39.93/21.79 Conjecture not found
% 40.25/21.79 Conjecture not found
% 40.25/21.80 Conjecture not found
% 40.25/21.83 Conjecture not found
% 40.25/21.85 Conjecture not found
% 40.25/21.87 Conjecture not found
% 40.35/21.90 Conjecture not found
% 40.35/21.91 Conjecture not found
% 40.39/21.96 Conjecture not found
% 40.39/21.97 Conjecture not found
% 40.39/21.98 Conjecture not found
% 40.39/21.99 Conjecture not found
% 40.47/22.02 Conjecture not found
% 40.47/22.03 Conjecture not found
% 40.80/22.07 Conjecture not found
% 40.80/22.12 Conjecture not found
% 40.80/22.15 Conjecture not found
% 41.08/22.20 Conjecture not found
% 41.12/22.25 Conjecture not found
% 41.20/22.34 Conjecture not found
% 41.20/22.36 Conjecture not found
% 41.20/22.37 Conjecture not found
% 41.20/22.38 Conjecture not found
% 41.83/22.51 Conjecture not found
% 41.84/22.53 Conjecture not found
% 41.84/22.55 Conjecture not found
% 41.84/22.58 Conjecture not found
% 41.94/22.66 Conjecture not found
% 42.01/22.69 Conjecture not found
% 42.13/22.82 Conjecture not found
% 42.16/22.84 Conjecture not found
% 42.68/22.94 Conjecture not found
% 42.68/22.95 Conjecture not found
% 42.68/22.95 Conjecture not found
% 42.68/22.96 Conjecture not found
% 42.68/23.00 Conjecture not found
% 42.77/23.04 Conjecture not found
% 42.77/23.06 Conjecture not found
% 42.77/23.08 Conjecture not found
% 42.88/23.11 Conjecture not found
% 42.88/23.18 Conjecture not found
% 42.88/23.19 Conjecture not found
% 42.97/23.23 Conjecture not found
% 43.49/23.33 Conjecture not found
% 43.49/23.35 Conjecture not found
% 43.60/23.40 Conjecture not found
% 43.61/23.44 Conjecture not found
% 43.61/23.48 Conjecture not found
% 43.61/23.50 Conjecture not found
% 43.72/23.59 Conjecture not found
% 43.81/23.63 Conjecture not found
% 43.81/23.66 Conjecture not found
% 44.08/23.72 Conjecture not found
% 44.08/23.79 Conjecture not found
% 44.43/23.81 Conjecture not found
% 44.43/23.82 Conjecture not found
% 44.43/23.85 Conjecture not found
% 44.54/23.94 Conjecture not found
% 44.54/23.98 Conjecture not found
% 44.54/23.99 Conjecture not found
% 44.64/24.03 Conjecture not found
% 44.64/24.04 Conjecture not found
% 44.64/24.06 Conjecture not found
% 44.85/24.12 Conjecture not found
% 44.85/24.16 Conjecture not found
% 44.85/24.18 Conjecture not found
% 45.29/24.21 Conjecture not found
% 45.31/24.24 Conjecture not found
% 45.31/24.28 Conjecture not found
% 45.31/24.30 Conjecture not found
% 45.39/24.31 Conjecture not found
% 45.39/24.33 Conjecture not found
% 45.39/24.34 Conjecture not found
% 45.39/24.35 Conjecture not found
% 45.47/24.39 Conjecture not found
% 45.47/24.41 Conjecture not found
% 45.47/24.41 Conjecture not found
% 45.47/24.42 Conjecture not found
% 45.47/24.43 Conjecture not found
% 45.47/24.45 Conjecture not found
% 45.47/24.46 Conjecture not found
% 45.56/24.48 Conjecture not found
% 45.56/24.49 Conjecture not found
% 45.77/24.52 Conjecture not found
% 45.81/24.59 Conjecture not found
% 45.81/24.60 Conjecture not found
% 46.18/24.61 Conjecture not found
% 46.18/24.62 Conjecture not found
% 46.18/24.66 Conjecture not found
% 46.18/24.67 Conjecture not found
% 46.25/24.74 Conjecture not found
% 46.25/24.74 Conjecture not found
% 46.25/24.75 Conjecture not found
% 46.56/24.91 Conjecture not found
% 47.00/24.93 Conjecture not found
% 47.00/24.95 Conjecture not found
% 47.00/24.97 Conjecture not found
% 47.05/25.01 Conjecture not found
% 47.13/25.05 Conjecture not found
% 47.15/25.09 Conjecture not found
% 47.19/25.13 Conjecture not found
% 47.22/25.16 Conjecture not found
% 47.30/25.27 Conjecture not found
% 47.51/25.28 Conjecture not found
% 47.51/25.36 Conjecture not found
% 47.94/25.37 Conjecture not found
% 47.96/25.39 Conjecture not found
% 47.96/25.40 Conjecture not found
% 47.96/25.41 Conjecture not found
% 47.96/25.42 Conjecture not found
% 48.01/25.44 Conjecture not found
% 48.02/25.45 Conjecture not found
% 48.02/25.46 Conjecture not found
% 48.02/25.48 Conjecture not found
% 48.02/25.50 Conjecture not found
% 48.08/25.51 Conjecture not found
% 48.08/25.54 Conjecture not found
% 48.08/25.55 Conjecture not found
% 48.13/25.64 Conjecture not found
% 48.74/25.71 Conjecture not found
% 48.81/25.75 Conjecture not found
% 48.81/25.79 Conjecture not found
% 48.87/25.83 Conjecture not found
% 48.87/25.87 Conjecture not found
% 48.95/25.90 Conjecture not found
% 48.95/25.91 Conjecture not found
% 48.95/25.95 Conjecture not found
% 49.08/26.03 Conjecture not found
% 49.76/26.40 Conjecture not found
% 49.76/26.42 Conjecture not found
% 49.86/26.45 Conjecture not found
% 49.86/26.47 Conjecture not found
% 49.86/26.48 Conjecture not found
% 49.86/26.49 Conjecture not found
% 49.86/26.50 Conjecture not found
% 49.94/26.52 Conjecture not found
% 49.94/26.53 Conjecture not found
% 49.94/26.53 Conjecture not found
% 49.94/26.55 Conjecture not found
% 50.27/26.61 Conjecture not found
% 50.70/26.73 Conjecture not found
% 50.78/26.79 Conjecture not found
% 50.78/26.83 Conjecture not found
% 50.87/26.88 Conjecture not found
% 50.87/26.89 Conjecture not found
% 50.89/26.91 Conjecture not found
% 50.91/26.96 Conjecture not found
% 50.91/26.97 Conjecture not found
% 50.91/26.99 Conjecture not found
% 50.91/27.00 Conjecture not found
% 50.91/27.02 Conjecture not found
% 51.63/27.14 Conjecture not found
% 51.63/27.18 Conjecture not found
% 51.71/27.21 Conjecture not found
% 51.71/27.26 Conjecture not found
% 51.71/27.26 Conjecture not found
% 51.78/27.33 Conjecture not found
% 51.78/27.36 Conjecture not found
% 51.87/27.38 Conjecture not found
% 51.88/27.38 Conjecture not found
% 51.91/27.42 Conjecture not found
% 51.92/27.44 Conjecture not found
% 51.92/27.45 Conjecture not found
% 51.92/27.51 Conjecture not found
% 52.02/27.51 Conjecture not found
% 52.02/27.53 Conjecture not found
% 52.02/27.56 Conjecture not found
% 52.50/27.58 Conjecture not found
% 52.50/27.62 Conjecture not found
% 52.50/27.63 Conjecture not found
% 52.50/27.65 Conjecture not found
% 52.80/27.75 Conjecture not found
% 52.80/27.80 Conjecture not found
% 52.80/27.81 Conjecture not found
% 52.87/27.82 Conjecture not found
% 52.94/27.91 Conjecture not found
% 52.94/27.91 Conjecture not found
% 52.94/27.95 Conjecture not found
% 53.02/27.98 Conjecture not found
% 53.74/28.14 Conjecture not found
% 53.74/28.17 Conjecture not found
% 53.80/28.21 Conjecture not found
% 53.80/28.24 Conjecture not found
% 53.90/28.28 Conjecture not found
% 53.90/28.29 Conjecture not found
% 53.96/28.35 Conjecture not found
% 53.96/28.42 Conjecture not found
% 54.06/28.48 Conjecture not found
% 54.12/28.50 Conjecture not found
% 54.12/28.51 Conjecture not found
% 54.81/28.66 Conjecture not found
% 54.81/28.71 Conjecture not found
% 54.81/28.73 Start search
% 116.35/43.94 nb_step : 1 - limit : 133805
% 117.06/44.48 Launch Gotab with destructive = true
%------------------------------------------------------------------------------