TSTP Solution File: LAT360+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT360+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:17 EDT 2022
% Result : Timeout 300.54s 96.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : LAT360+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n008.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Thu Sep 1 16:01:18 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.19/0.34 [DMT] DMT loaded with preskolemization
% 0.19/0.34 [EQ] equality loaded.
% 0.19/0.34 [0.000047s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.53/0.57 Conjecture not found
% 0.53/0.58 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.56/0.62 Conjecture not found
% 0.65/0.67 Conjecture not found
% 0.76/0.74 Conjecture not found
% 0.76/0.75 Conjecture not found
% 0.86/0.83 Conjecture not found
% 1.00/0.88 Conjecture not found
% 1.16/0.96 Conjecture not found
% 1.16/1.00 Conjecture not found
% 1.27/1.07 Conjecture not found
% 1.38/1.11 Conjecture not found
% 1.38/1.16 Conjecture not found
% 1.54/1.19 Conjecture not found
% 1.59/1.22 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.79/1.36 Conjecture not found
% 1.79/1.39 Conjecture not found
% 1.79/1.39 Conjecture not found
% 1.89/1.41 Conjecture not found
% 1.89/1.41 Conjecture not found
% 1.89/1.41 Conjecture not found
% 1.89/1.41 Conjecture not found
% 1.89/1.43 Conjecture not found
% 1.89/1.43 Conjecture not found
% 2.05/1.48 Conjecture not found
% 2.17/1.53 Conjecture not found
% 2.17/1.53 Conjecture not found
% 2.17/1.54 Conjecture not found
% 2.17/1.55 Conjecture not found
% 2.17/1.57 Conjecture not found
% 2.17/1.59 Conjecture not found
% 2.17/1.60 Conjecture not found
% 2.32/1.62 Conjecture not found
% 2.32/1.64 Conjecture not found
% 2.32/1.66 Conjecture not found
% 2.32/1.67 Conjecture not found
% 2.32/1.68 Conjecture not found
% 2.45/1.72 Conjecture not found
% 2.59/1.78 Conjecture not found
% 2.65/1.83 Conjecture not found
% 2.65/1.84 Conjecture not found
% 2.65/1.87 Conjecture not found
% 2.65/1.90 Conjecture not found
% 2.78/1.93 Conjecture not found
% 2.78/1.94 Conjecture not found
% 2.78/1.97 Conjecture not found
% 2.93/2.06 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.13/2.11 Conjecture not found
% 3.14/2.13 Conjecture not found
% 3.14/2.15 Conjecture not found
% 3.14/2.17 Conjecture not found
% 3.48/2.34 Conjecture not found
% 3.48/2.37 Conjecture not found
% 3.48/2.39 Conjecture not found
% 3.80/2.50 Conjecture not found
% 3.81/2.51 Conjecture not found
% 3.81/2.52 Conjecture not found
% 3.81/2.55 Conjecture not found
% 3.81/2.59 Conjecture not found
% 3.99/2.65 Conjecture not found
% 4.12/2.73 Conjecture not found
% 4.32/2.81 Conjecture not found
% 4.35/2.86 Conjecture not found
% 4.35/2.88 Conjecture not found
% 4.35/2.92 Conjecture not found
% 4.35/2.92 Conjecture not found
% 4.55/2.96 Conjecture not found
% 4.55/2.98 Conjecture not found
% 4.67/3.00 Conjecture not found
% 4.67/3.00 Conjecture not found
% 4.67/3.06 Conjecture not found
% 4.80/3.08 Conjecture not found
% 4.83/3.11 Conjecture not found
% 4.90/3.19 Conjecture not found
% 5.05/3.29 Conjecture not found
% 5.39/3.40 Conjecture not found
% 5.75/3.61 Conjecture not found
% 6.29/3.94 Conjecture not found
% 6.29/3.96 Conjecture not found
% 6.53/3.99 Conjecture not found
% 6.70/4.11 Conjecture not found
% 6.70/4.15 Conjecture not found
% 6.82/4.21 Conjecture not found
% 6.94/4.28 Conjecture not found
% 7.01/4.31 Conjecture not found
% 7.08/4.37 Conjecture not found
% 7.18/4.41 Conjecture not found
% 7.18/4.44 Conjecture not found
% 7.18/4.45 Conjecture not found
% 7.31/4.48 Conjecture not found
% 7.31/4.50 Conjecture not found
% 7.48/4.58 Conjecture not found
% 7.56/4.66 Conjecture not found
% 7.56/4.72 Conjecture not found
% 7.84/4.82 Conjecture not found
% 7.84/4.85 Conjecture not found
% 7.99/4.89 Conjecture not found
% 8.02/4.92 Conjecture not found
% 8.02/4.93 Conjecture not found
% 8.05/4.97 Conjecture not found
% 8.05/5.00 Conjecture not found
% 8.05/5.01 Conjecture not found
% 8.23/5.07 Conjecture not found
% 8.23/5.07 Conjecture not found
% 8.23/5.08 Conjecture not found
% 8.23/5.10 Conjecture not found
% 8.37/5.15 Conjecture not found
% 8.37/5.18 Conjecture not found
% 8.49/5.22 Conjecture not found
% 8.59/5.27 Conjecture not found
% 8.93/5.50 Conjecture not found
% 9.07/5.54 Conjecture not found
% 9.07/5.55 Conjecture not found
% 9.07/5.57 Conjecture not found
% 9.07/5.60 Conjecture not found
% 9.07/5.62 Conjecture not found
% 9.26/5.68 Conjecture not found
% 9.26/5.69 Conjecture not found
% 9.34/5.72 Conjecture not found
% 9.34/5.74 Conjecture not found
% 9.51/5.83 Conjecture not found
% 10.40/6.34 Conjecture not found
% 11.39/6.87 Conjecture not found
% 11.59/7.02 Conjecture not found
% 11.68/7.08 Conjecture not found
% 11.68/7.09 Conjecture not found
% 11.68/7.12 Conjecture not found
% 11.86/7.17 Conjecture not found
% 11.86/7.18 Conjecture not found
% 11.86/7.19 Conjecture not found
% 12.02/7.24 Conjecture not found
% 12.06/7.29 Conjecture not found
% 12.06/7.33 Conjecture not found
% 12.26/7.39 Conjecture not found
% 12.26/7.40 Conjecture not found
% 12.32/7.44 Conjecture not found
% 12.34/7.48 Conjecture not found
% 12.50/7.51 Conjecture not found
% 12.54/7.57 Conjecture not found
% 12.54/7.63 Conjecture not found
% 12.72/7.65 Conjecture not found
% 12.72/7.68 Conjecture not found
% 12.76/7.71 Conjecture not found
% 12.76/7.73 Conjecture not found
% 12.82/7.75 Conjecture not found
% 12.84/7.80 Conjecture not found
% 12.99/7.81 Conjecture not found
% 12.99/7.87 Conjecture not found
% 13.05/7.91 Conjecture not found
% 13.05/7.92 Conjecture not found
% 13.05/7.93 Conjecture not found
% 13.05/7.95 Conjecture not found
% 13.24/7.96 Conjecture not found
% 13.24/7.97 Conjecture not found
% 13.39/8.00 Conjecture not found
% 13.39/8.03 Conjecture not found
% 13.43/8.05 Conjecture not found
% 13.43/8.07 Conjecture not found
% 13.43/8.11 Conjecture not found
% 13.43/8.12 Conjecture not found
% 13.57/8.17 Conjecture not found
% 13.57/8.19 Conjecture not found
% 13.70/8.21 Conjecture not found
% 13.70/8.21 Conjecture not found
% 13.70/8.23 Conjecture not found
% 13.70/8.24 Conjecture not found
% 13.79/8.28 Conjecture not found
% 13.79/8.30 Conjecture not found
% 13.79/8.34 Conjecture not found
% 13.97/8.37 Conjecture not found
% 14.01/8.40 Conjecture not found
% 14.01/8.43 Conjecture not found
% 14.05/8.44 Conjecture not found
% 14.05/8.46 Conjecture not found
% 14.05/8.51 Conjecture not found
% 14.05/8.52 Conjecture not found
% 14.27/8.55 Conjecture not found
% 14.27/8.56 Conjecture not found
% 14.27/8.58 Conjecture not found
% 14.27/8.58 Conjecture not found
% 14.27/8.59 Conjecture not found
% 14.27/8.59 Conjecture not found
% 14.39/8.65 Conjecture not found
% 14.53/8.72 Conjecture not found
% 14.53/8.73 Conjecture not found
% 14.53/8.75 Conjecture not found
% 14.76/8.78 Conjecture not found
% 14.76/8.80 Conjecture not found
% 14.78/8.81 Conjecture not found
% 14.81/8.83 Conjecture not found
% 14.81/8.85 Conjecture not found
% 14.81/8.91 Conjecture not found
% 15.04/8.96 Conjecture not found
% 15.04/8.99 Conjecture not found
% 15.11/9.02 Conjecture not found
% 15.38/9.18 Conjecture not found
% 15.61/9.27 Conjecture not found
% 15.69/9.32 Conjecture not found
% 15.69/9.33 Conjecture not found
% 15.69/9.35 Conjecture not found
% 15.91/9.40 Conjecture not found
% 15.91/9.45 Conjecture not found
% 16.00/9.47 Conjecture not found
% 16.15/9.55 Conjecture not found
% 16.29/9.65 Conjecture not found
% 16.35/9.69 Conjecture not found
% 16.35/9.74 Conjecture not found
% 16.58/9.81 Conjecture not found
% 16.63/9.83 Conjecture not found
% 16.65/9.87 Conjecture not found
% 16.65/9.92 Conjecture not found
% 16.88/9.98 Conjecture not found
% 17.16/10.08 Conjecture not found
% 17.16/10.10 Conjecture not found
% 17.22/10.13 Conjecture not found
% 17.22/10.14 Conjecture not found
% 17.25/10.16 Conjecture not found
% 17.49/10.24 Conjecture not found
% 17.53/10.30 Conjecture not found
% 17.53/10.31 Conjecture not found
% 17.53/10.34 Conjecture not found
% 18.19/10.63 Conjecture not found
% 18.22/10.68 Conjecture not found
% 18.45/10.74 Conjecture not found
% 18.49/10.77 Conjecture not found
% 18.49/10.79 Conjecture not found
% 18.49/10.80 Conjecture not found
% 18.59/10.86 Conjecture not found
% 18.59/10.94 Conjecture not found
% 18.86/11.01 Conjecture not found
% 18.93/11.05 Conjecture not found
% 19.04/11.08 Conjecture not found
% 19.20/11.20 Conjecture not found
% 19.28/11.27 Conjecture not found
% 19.49/11.33 Conjecture not found
% 19.60/11.37 Conjecture not found
% 19.60/11.40 Conjecture not found
% 19.60/11.41 Conjecture not found
% 19.65/11.44 Conjecture not found
% 19.65/11.45 Conjecture not found
% 19.74/11.48 Conjecture not found
% 19.94/11.54 Conjecture not found
% 19.94/11.57 Conjecture not found
% 19.99/11.59 Conjecture not found
% 19.99/11.61 Conjecture not found
% 20.22/11.70 Conjecture not found
% 20.28/11.71 Conjecture not found
% 20.31/11.74 Conjecture not found
% 20.31/11.76 Conjecture not found
% 20.64/11.90 Conjecture not found
% 20.64/11.91 Conjecture not found
% 20.72/11.97 Conjecture not found
% 20.72/11.97 Conjecture not found
% 20.72/11.98 Conjecture not found
% 20.72/11.98 Conjecture not found
% 20.72/11.99 Conjecture not found
% 20.77/12.04 Conjecture not found
% 20.77/12.05 Conjecture not found
% 20.80/12.07 Conjecture not found
% 21.09/12.17 Conjecture not found
% 21.14/12.22 Conjecture not found
% 21.44/12.32 Conjecture not found
% 21.44/12.34 Conjecture not found
% 21.58/12.46 Conjecture not found
% 21.95/12.63 Conjecture not found
% 21.95/12.65 Conjecture not found
% 22.00/12.69 Conjecture not found
% 22.00/12.74 Conjecture not found
% 22.18/12.77 Conjecture not found
% 22.35/12.89 Conjecture not found
% 22.42/12.95 Conjecture not found
% 22.47/12.98 Conjecture not found
% 22.47/13.01 Conjecture not found
% 22.85/13.14 Conjecture not found
% 22.88/13.17 Conjecture not found
% 22.88/13.19 Conjecture not found
% 23.14/13.26 Conjecture not found
% 23.24/13.33 Conjecture not found
% 23.24/13.34 Conjecture not found
% 23.27/13.38 Conjecture not found
% 23.34/13.45 Conjecture not found
% 23.50/13.50 Conjecture not found
% 23.50/13.51 Conjecture not found
% 23.65/13.56 Conjecture not found
% 23.68/13.60 Conjecture not found
% 23.68/13.60 Conjecture not found
% 23.74/13.64 Conjecture not found
% 23.82/13.73 Conjecture not found
% 24.04/13.77 Conjecture not found
% 24.08/13.80 Conjecture not found
% 24.13/13.84 Conjecture not found
% 24.13/13.85 Conjecture not found
% 24.13/13.89 Conjecture not found
% 24.49/13.97 Conjecture not found
% 24.57/14.06 Conjecture not found
% 24.57/14.08 Conjecture not found
% 24.79/14.15 Conjecture not found
% 24.79/14.18 Conjecture not found
% 24.79/14.20 Conjecture not found
% 24.79/14.20 Conjecture not found
% 24.79/14.22 Conjecture not found
% 24.98/14.25 Conjecture not found
% 24.98/14.26 Conjecture not found
% 25.03/14.33 Conjecture not found
% 25.14/14.39 Conjecture not found
% 25.42/14.48 Conjecture not found
% 25.42/14.50 Conjecture not found
% 25.42/14.51 Conjecture not found
% 25.50/14.56 Conjecture not found
% 25.50/14.57 Conjecture not found
% 25.50/14.57 Conjecture not found
% 25.88/14.67 Conjecture not found
% 25.90/14.69 Conjecture not found
% 25.93/14.74 Conjecture not found
% 26.04/14.83 Conjecture not found
% 26.04/14.86 Conjecture not found
% 26.04/14.89 Conjecture not found
% 26.55/15.10 Conjecture not found
% 26.89/15.20 Conjecture not found
% 26.89/15.22 Conjecture not found
% 26.96/15.30 Conjecture not found
% 26.96/15.32 Conjecture not found
% 27.22/15.37 Conjecture not found
% 27.35/15.43 Conjecture not found
% 27.39/15.53 Conjecture not found
% 27.49/15.56 Conjecture not found
% 27.49/15.57 Conjecture not found
% 27.49/15.59 Conjecture not found
% 27.55/15.62 Conjecture not found
% 27.86/15.69 Conjecture not found
% 27.86/15.75 Conjecture not found
% 27.97/15.76 Conjecture not found
% 27.97/15.76 Conjecture not found
% 27.97/15.77 Conjecture not found
% 28.01/15.81 Conjecture not found
% 28.01/15.82 Conjecture not found
% 28.37/15.90 Conjecture not found
% 28.43/16.02 Conjecture not found
% 28.55/16.08 Conjecture not found
% 28.55/16.10 Conjecture not found
% 28.59/16.11 Conjecture not found
% 28.59/16.13 Conjecture not found
% 28.80/16.21 Conjecture not found
% 28.99/16.24 Conjecture not found
% 28.99/16.25 Conjecture not found
% 28.99/16.28 Conjecture not found
% 29.03/16.31 Conjecture not found
% 29.08/16.35 Conjecture not found
% 29.10/16.38 Conjecture not found
% 29.10/16.41 Conjecture not found
% 29.56/16.54 Conjecture not found
% 29.56/16.57 Conjecture not found
% 29.60/16.58 Conjecture not found
% 29.67/16.65 Conjecture not found
% 29.69/16.67 Conjecture not found
% 29.99/16.74 Conjecture not found
% 30.02/16.78 Conjecture not found
% 30.02/16.81 Conjecture not found
% 30.09/16.82 Conjecture not found
% 30.09/16.85 Conjecture not found
% 30.09/16.86 Conjecture not found
% 30.31/16.97 Conjecture not found
% 30.31/16.98 Conjecture not found
% 30.31/16.99 Conjecture not found
% 30.59/17.03 Conjecture not found
% 30.62/17.06 Conjecture not found
% 30.62/17.08 Conjecture not found
% 30.62/17.09 Conjecture not found
% 30.62/17.11 Conjecture not found
% 30.69/17.13 Conjecture not found
% 30.69/17.16 Conjecture not found
% 30.80/17.21 Conjecture not found
% 31.08/17.26 Conjecture not found
% 31.11/17.29 Conjecture not found
% 31.11/17.30 Conjecture not found
% 31.11/17.31 Conjecture not found
% 31.17/17.35 Conjecture not found
% 31.17/17.39 Conjecture not found
% 31.23/17.42 Conjecture not found
% 31.23/17.45 Conjecture not found
% 31.23/17.45 Conjecture not found
% 31.35/17.54 Conjecture not found
% 31.72/17.60 Conjecture not found
% 31.72/17.62 Conjecture not found
% 31.78/17.64 Conjecture not found
% 31.78/17.67 Conjecture not found
% 31.78/17.70 Conjecture not found
% 31.84/17.72 Conjecture not found
% 31.84/17.76 Conjecture not found
% 31.90/17.83 Conjecture not found
% 31.90/17.86 Conjecture not found
% 32.30/17.88 Conjecture not found
% 32.36/17.92 Conjecture not found
% 32.37/17.97 Conjecture not found
% 32.44/18.07 Conjecture not found
% 32.51/18.13 Conjecture not found
% 32.94/18.19 Conjecture not found
% 32.98/18.28 Conjecture not found
% 33.06/18.39 Conjecture not found
% 33.13/18.44 Conjecture not found
% 33.59/18.55 Conjecture not found
% 33.59/18.56 Conjecture not found
% 33.59/18.57 Conjecture not found
% 33.59/18.59 Conjecture not found
% 33.59/18.60 Conjecture not found
% 33.68/18.62 Conjecture not found
% 33.68/18.64 Conjecture not found
% 33.68/18.65 Conjecture not found
% 33.68/18.67 Conjecture not found
% 33.75/18.69 Conjecture not found
% 33.75/18.73 Conjecture not found
% 34.22/18.84 Conjecture not found
% 34.24/18.88 Conjecture not found
% 34.24/18.91 Conjecture not found
% 34.24/18.93 Conjecture not found
% 34.33/18.94 Conjecture not found
% 34.38/19.01 Conjecture not found
% 34.80/19.14 Conjecture not found
% 34.87/19.18 Conjecture not found
% 34.87/19.19 Conjecture not found
% 34.96/19.28 Conjecture not found
% 35.02/19.32 Conjecture not found
% 35.08/19.35 Conjecture not found
% 35.10/19.38 Conjecture not found
% 35.10/19.40 Conjecture not found
% 35.52/19.50 Conjecture not found
% 35.52/19.52 Conjecture not found
% 35.52/19.52 Conjecture not found
% 35.60/19.56 Conjecture not found
% 35.64/19.58 Conjecture not found
% 35.64/19.59 Conjecture not found
% 35.64/19.61 Conjecture not found
% 35.64/19.62 Conjecture not found
% 35.72/19.67 Conjecture not found
% 35.72/19.71 Conjecture not found
% 36.05/19.80 Conjecture not found
% 36.25/19.86 Conjecture not found
% 36.39/19.97 Conjecture not found
% 36.39/19.98 Conjecture not found
% 36.39/20.00 Conjecture not found
% 36.39/20.02 Conjecture not found
% 36.45/20.03 Conjecture not found
% 36.45/20.05 Conjecture not found
% 36.45/20.06 Conjecture not found
% 36.95/20.18 Conjecture not found
% 36.95/20.19 Conjecture not found
% 36.95/20.21 Conjecture not found
% 37.03/20.25 Conjecture not found
% 37.03/20.26 Conjecture not found
% 37.06/20.28 Conjecture not found
% 37.06/20.31 Conjecture not found
% 37.06/20.33 Conjecture not found
% 37.13/20.36 Conjecture not found
% 37.15/20.40 Conjecture not found
% 37.41/20.44 Conjecture not found
% 37.64/20.50 Conjecture not found
% 37.64/20.51 Conjecture not found
% 37.64/20.53 Conjecture not found
% 37.64/20.54 Conjecture not found
% 37.75/20.59 Conjecture not found
% 37.81/20.66 Conjecture not found
% 37.81/20.69 Conjecture not found
% 37.87/20.75 Conjecture not found
% 37.93/20.83 Conjecture not found
% 38.17/20.86 Conjecture not found
% 38.28/20.92 Conjecture not found
% 38.53/21.04 Conjecture not found
% 38.53/21.08 Conjecture not found
% 38.59/21.11 Conjecture not found
% 38.59/21.14 Conjecture not found
% 38.59/21.16 Conjecture not found
% 38.70/21.21 Conjecture not found
% 38.74/21.24 Conjecture not found
% 38.74/21.26 Conjecture not found
% 39.02/21.31 Conjecture not found
% 39.02/21.37 Conjecture not found
% 39.30/21.40 Conjecture not found
% 39.30/21.42 Conjecture not found
% 39.30/21.44 Conjecture not found
% 39.30/21.46 Conjecture not found
% 39.40/21.49 Conjecture not found
% 39.43/21.53 Conjecture not found
% 39.46/21.58 Conjecture not found
% 39.46/21.59 Conjecture not found
% 39.46/21.62 Conjecture not found
% 40.00/21.70 Conjecture not found
% 40.00/21.74 Conjecture not found
% 40.00/21.76 Conjecture not found
% 40.09/21.79 Conjecture not found
% 40.09/21.80 Conjecture not found
% 40.12/21.81 Conjecture not found
% 40.14/21.85 Conjecture not found
% 40.14/21.87 Conjecture not found
% 40.14/21.89 Conjecture not found
% 40.24/21.93 Conjecture not found
% 40.24/21.94 Conjecture not found
% 40.31/22.01 Conjecture not found
% 40.31/22.02 Conjecture not found
% 40.31/22.03 Conjecture not found
% 40.31/22.06 Conjecture not found
% 40.84/22.13 Conjecture not found
% 40.89/22.16 Conjecture not found
% 40.89/22.19 Conjecture not found
% 40.89/22.22 Conjecture not found
% 40.89/22.23 Conjecture not found
% 40.99/22.28 Conjecture not found
% 41.05/22.33 Conjecture not found
% 41.33/22.45 Conjecture not found
% 41.33/22.49 Conjecture not found
% 41.33/22.51 Conjecture not found
% 41.33/22.52 Conjecture not found
% 41.78/22.61 Conjecture not found
% 41.78/22.63 Conjecture not found
% 41.78/22.65 Conjecture not found
% 41.85/22.68 Conjecture not found
% 41.93/22.76 Conjecture not found
% 41.93/22.79 Conjecture not found
% 42.58/22.98 Conjecture not found
% 42.58/22.99 Conjecture not found
% 42.63/23.05 Conjecture not found
% 42.67/23.06 Conjecture not found
% 42.67/23.06 Conjecture not found
% 42.67/23.07 Conjecture not found
% 42.67/23.11 Conjecture not found
% 42.75/23.15 Conjecture not found
% 42.75/23.17 Conjecture not found
% 42.79/23.19 Conjecture not found
% 42.79/23.23 Conjecture not found
% 43.42/23.36 Conjecture not found
% 43.42/23.37 Conjecture not found
% 43.42/23.40 Conjecture not found
% 43.49/23.44 Conjecture not found
% 43.53/23.47 Conjecture not found
% 43.53/23.52 Conjecture not found
% 43.61/23.55 Conjecture not found
% 43.64/23.59 Conjecture not found
% 43.64/23.62 Conjecture not found
% 43.94/23.74 Conjecture not found
% 44.36/23.82 Conjecture not found
% 44.36/23.85 Conjecture not found
% 44.46/23.88 Conjecture not found
% 44.49/23.92 Conjecture not found
% 44.52/23.93 Conjecture not found
% 44.52/23.95 Conjecture not found
% 44.52/23.99 Conjecture not found
% 44.80/24.20 Conjecture not found
% 44.83/24.27 Conjecture not found
% 44.83/24.31 Conjecture not found
% 45.30/24.38 Conjecture not found
% 45.30/24.40 Conjecture not found
% 45.46/24.44 Conjecture not found
% 45.53/24.49 Conjecture not found
% 45.57/24.53 Conjecture not found
% 45.57/24.55 Conjecture not found
% 45.66/24.61 Conjecture not found
% 45.66/24.67 Conjecture not found
% 45.75/24.74 Conjecture not found
% 45.84/24.78 Conjecture not found
% 45.84/24.80 Conjecture not found
% 45.87/24.85 Conjecture not found
% 45.87/24.87 Conjecture not found
% 45.87/24.91 Conjecture not found
% 46.06/25.02 Conjecture not found
% 46.06/25.05 Conjecture not found
% 46.06/25.06 Conjecture not found
% 46.06/25.08 Conjecture not found
% 46.15/25.11 Conjecture not found
% 46.15/25.17 Conjecture not found
% 46.72/25.21 Conjecture not found
% 46.72/25.25 Conjecture not found
% 46.72/25.28 Conjecture not found
% 46.82/25.32 Conjecture not found
% 46.91/25.40 Conjecture not found
% 46.91/25.42 Conjecture not found
% 46.91/25.45 Conjecture not found
% 46.91/25.48 Conjecture not found
% 47.05/25.58 Conjecture not found
% 47.05/25.60 Conjecture not found
% 47.29/25.78 Conjecture not found
% 47.29/25.80 Conjecture not found
% 47.32/25.82 Conjecture not found
% 47.77/25.97 Conjecture not found
% 47.77/25.99 Conjecture not found
% 47.84/26.01 Conjecture not found
% 47.84/26.02 Conjecture not found
% 47.84/26.05 Conjecture not found
% 47.92/26.08 Conjecture not found
% 47.95/26.11 Conjecture not found
% 47.98/26.14 Conjecture not found
% 47.98/26.17 Conjecture not found
% 48.60/26.30 Conjecture not found
% 48.60/26.30 Conjecture not found
% 48.60/26.35 Conjecture not found
% 48.67/26.36 Conjecture not found
% 48.68/26.39 Conjecture not found
% 48.68/26.40 Conjecture not found
% 48.68/26.41 Conjecture not found
% 48.72/26.41 Conjecture not found
% 48.72/26.43 Conjecture not found
% 48.75/26.45 Conjecture not found
% 48.75/26.45 Conjecture not found
% 48.75/26.47 Conjecture not found
% 48.75/26.49 Conjecture not found
% 48.75/26.50 Conjecture not found
% 48.91/26.54 Conjecture not found
% 48.91/26.57 Conjecture not found
% 49.39/26.66 Conjecture not found
% 49.51/26.69 Conjecture not found
% 49.51/26.71 Conjecture not found
% 49.57/26.75 Conjecture not found
% 49.57/26.77 Conjecture not found
% 49.57/26.80 Conjecture not found
% 49.64/26.82 Conjecture not found
% 49.64/26.83 Conjecture not found
% 49.64/26.86 Conjecture not found
% 49.95/26.97 Conjecture not found
% 50.45/27.28 Conjecture not found
% 50.45/27.29 Conjecture not found
% 50.47/27.32 Conjecture not found
% 50.52/27.34 Conjecture not found
% 50.52/27.35 Conjecture not found
% 50.52/27.36 Conjecture not found
% 50.52/27.37 Conjecture not found
% 50.52/27.38 Conjecture not found
% 50.52/27.39 Conjecture not found
% 50.59/27.40 Conjecture not found
% 50.59/27.45 Conjecture not found
% 51.14/27.55 Conjecture not found
% 51.34/27.64 Conjecture not found
% 51.34/27.70 Conjecture not found
% 51.42/27.75 Conjecture not found
% 51.49/27.79 Conjecture not found
% 51.49/27.80 Conjecture not found
% 51.49/27.82 Conjecture not found
% 51.49/27.87 Conjecture not found
% 51.49/27.88 Conjecture not found
% 51.60/27.90 Conjecture not found
% 51.72/27.93 Conjecture not found
% 51.72/27.95 Conjecture not found
% 52.25/28.04 Conjecture not found
% 52.25/28.07 Conjecture not found
% 52.34/28.11 Conjecture not found
% 52.34/28.15 Conjecture not found
% 52.34/28.16 Conjecture not found
% 52.46/28.22 Conjecture not found
% 52.47/28.25 Conjecture not found
% 52.47/28.27 Conjecture not found
% 52.47/28.28 Conjecture not found
% 52.47/28.31 Conjecture not found
% 52.57/28.33 Conjecture not found
% 52.57/28.34 Conjecture not found
% 52.91/28.47 Conjecture not found
% 52.91/28.48 Conjecture not found
% 53.27/28.49 Conjecture not found
% 53.27/28.51 Conjecture not found
% 53.27/28.52 Conjecture not found
% 53.27/28.55 Conjecture not found
% 53.27/28.57 Conjecture not found
% 53.37/28.58 Conjecture not found
% 53.40/28.66 Conjecture not found
% 53.40/28.70 Conjecture not found
% 53.49/28.71 Conjecture not found
% 53.49/28.72 Conjecture not found
% 53.57/28.81 Conjecture not found
% 53.57/28.82 Conjecture not found
% 53.57/28.85 Conjecture not found
% 53.57/28.87 Conjecture not found
% 54.33/29.04 Conjecture not found
% 54.33/29.07 Conjecture not found
% 54.39/29.09 Conjecture not found
% 54.39/29.13 Conjecture not found
% 54.49/29.16 Conjecture not found
% 54.49/29.18 Conjecture not found
% 54.55/29.23 Conjecture not found
% 54.62/29.30 Conjecture not found
% 54.69/29.37 Conjecture not found
% 54.69/29.39 Conjecture not found
% 54.69/29.42 Conjecture not found
% 55.46/29.54 Conjecture not found
% 55.46/29.59 Conjecture not found
% 55.46/29.62 Start search
% 116.21/44.43 nb_step : 1 - limit : 133852
% 117.91/45.03 Launch Gotab with destructive = true
%------------------------------------------------------------------------------