TSTP Solution File: LAT366+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT366+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n011.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:21 EDT 2022
% Result : Timeout 300.08s 88.57s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT366+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n011.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:05 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.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.53/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.60 Conjecture not found
% 0.53/0.62 Conjecture not found
% 0.65/0.64 Conjecture not found
% 0.72/0.68 Conjecture not found
% 0.83/0.75 Conjecture not found
% 0.83/0.76 Conjecture not found
% 0.99/0.84 Conjecture not found
% 1.05/0.88 Conjecture not found
% 1.19/0.96 Conjecture not found
% 1.25/1.00 Conjecture not found
% 1.36/1.07 Conjecture not found
% 1.43/1.10 Conjecture not found
% 1.55/1.15 Conjecture not found
% 1.60/1.18 Conjecture not found
% 1.60/1.22 Conjecture not found
% 1.69/1.24 Conjecture not found
% 1.69/1.25 Conjecture not found
% 1.69/1.25 Conjecture not found
% 1.71/1.26 Conjecture not found
% 1.91/1.36 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.41 Conjecture not found
% 1.91/1.41 Conjecture not found
% 1.91/1.41 Conjecture not found
% 1.91/1.41 Conjecture not found
% 1.91/1.42 Conjecture not found
% 1.91/1.42 Conjecture not found
% 2.12/1.48 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.20/1.53 Conjecture not found
% 2.20/1.54 Conjecture not found
% 2.20/1.55 Conjecture not found
% 2.25/1.57 Conjecture not found
% 2.25/1.58 Conjecture not found
% 2.25/1.60 Conjecture not found
% 2.25/1.62 Conjecture not found
% 2.38/1.64 Conjecture not found
% 2.38/1.66 Conjecture not found
% 2.38/1.66 Conjecture not found
% 2.38/1.68 Conjecture not found
% 2.46/1.71 Conjecture not found
% 2.61/1.77 Conjecture not found
% 2.70/1.83 Conjecture not found
% 2.72/1.84 Conjecture not found
% 2.72/1.86 Conjecture not found
% 2.72/1.89 Conjecture not found
% 2.87/1.92 Conjecture not found
% 2.87/1.94 Conjecture not found
% 2.87/1.96 Conjecture not found
% 2.97/2.05 Conjecture not found
% 3.14/2.08 Conjecture not found
% 3.14/2.11 Conjecture not found
% 3.21/2.12 Conjecture not found
% 3.21/2.14 Conjecture not found
% 3.25/2.16 Conjecture not found
% 3.53/2.34 Conjecture not found
% 3.64/2.38 Conjecture not found
% 3.71/2.41 Conjecture not found
% 3.75/2.52 Conjecture not found
% 3.75/2.53 Conjecture not found
% 3.94/2.55 Conjecture not found
% 3.94/2.57 Conjecture not found
% 4.05/2.62 Conjecture not found
% 4.17/2.68 Conjecture not found
% 4.31/2.76 Conjecture not found
% 4.31/2.84 Conjecture not found
% 4.47/2.89 Conjecture not found
% 4.54/2.90 Conjecture not found
% 4.54/2.94 Conjecture not found
% 4.64/2.94 Conjecture not found
% 4.64/2.98 Conjecture not found
% 4.74/3.01 Conjecture not found
% 4.74/3.03 Conjecture not found
% 4.74/3.04 Conjecture not found
% 4.79/3.12 Conjecture not found
% 4.79/3.13 Conjecture not found
% 5.00/3.16 Conjecture not found
% 5.04/3.24 Conjecture not found
% 5.27/3.34 Conjecture not found
% 5.56/3.50 Conjecture not found
% 5.94/3.69 Conjecture not found
% 6.51/3.99 Conjecture not found
% 6.51/4.02 Conjecture not found
% 6.63/4.05 Conjecture not found
% 6.82/4.16 Conjecture not found
% 6.87/4.20 Conjecture not found
% 6.99/4.25 Conjecture not found
% 7.09/4.33 Conjecture not found
% 7.22/4.38 Conjecture not found
% 7.26/4.43 Conjecture not found
% 7.39/4.46 Conjecture not found
% 7.39/4.48 Conjecture not found
% 7.49/4.49 Conjecture not found
% 7.49/4.52 Conjecture not found
% 7.49/4.53 Conjecture not found
% 7.68/4.62 Conjecture not found
% 7.73/4.71 Conjecture not found
% 7.89/4.77 Conjecture not found
% 8.07/4.84 Conjecture not found
% 8.14/4.87 Conjecture not found
% 8.14/4.92 Conjecture not found
% 8.22/4.95 Conjecture not found
% 8.22/4.96 Conjecture not found
% 8.34/4.98 Conjecture not found
% 8.34/4.99 Conjecture not found
% 8.34/5.00 Conjecture not found
% 8.34/5.03 Conjecture not found
% 8.34/5.03 Conjecture not found
% 8.34/5.04 Conjecture not found
% 8.34/5.05 Conjecture not found
% 8.50/5.08 Conjecture not found
% 8.53/5.09 Conjecture not found
% 8.65/5.14 Conjecture not found
% 8.65/5.19 Conjecture not found
% 9.04/5.37 Conjecture not found
% 9.07/5.41 Conjecture not found
% 9.11/5.42 Conjecture not found
% 9.11/5.45 Conjecture not found
% 9.17/5.48 Conjecture not found
% 9.17/5.52 Conjecture not found
% 9.30/5.57 Conjecture not found
% 9.44/5.59 Conjecture not found
% 9.44/5.62 Conjecture not found
% 9.44/5.64 Conjecture not found
% 9.57/5.73 Conjecture not found
% 10.35/6.16 Conjecture not found
% 11.31/6.70 Conjecture not found
% 11.51/6.80 Conjecture not found
% 11.56/6.84 Conjecture not found
% 11.66/6.87 Conjecture not found
% 11.66/6.89 Conjecture not found
% 11.74/6.94 Conjecture not found
% 11.74/6.95 Conjecture not found
% 11.78/6.97 Conjecture not found
% 11.78/7.01 Conjecture not found
% 11.95/7.05 Conjecture not found
% 12.03/7.09 Conjecture not found
% 12.03/7.13 Conjecture not found
% 12.03/7.14 Conjecture not found
% 12.17/7.18 Conjecture not found
% 12.34/7.23 Conjecture not found
% 12.37/7.27 Conjecture not found
% 12.37/7.30 Conjecture not found
% 12.57/7.37 Conjecture not found
% 12.57/7.39 Conjecture not found
% 12.57/7.41 Conjecture not found
% 12.64/7.44 Conjecture not found
% 12.64/7.46 Conjecture not found
% 12.73/7.51 Conjecture not found
% 12.84/7.55 Conjecture not found
% 12.87/7.57 Conjecture not found
% 12.87/7.62 Conjecture not found
% 13.04/7.66 Conjecture not found
% 13.04/7.67 Conjecture not found
% 13.09/7.68 Conjecture not found
% 13.09/7.70 Conjecture not found
% 13.09/7.73 Conjecture not found
% 13.09/7.74 Conjecture not found
% 13.27/7.76 Conjecture not found
% 13.27/7.78 Conjecture not found
% 13.30/7.79 Conjecture not found
% 13.30/7.80 Conjecture not found
% 13.41/7.84 Conjecture not found
% 13.47/7.88 Conjecture not found
% 13.53/7.93 Conjecture not found
% 13.59/7.98 Conjecture not found
% 13.59/8.00 Conjecture not found
% 13.59/8.01 Conjecture not found
% 13.78/8.05 Conjecture not found
% 13.78/8.08 Conjecture not found
% 13.81/8.12 Conjecture not found
% 13.81/8.12 Conjecture not found
% 13.87/8.15 Conjecture not found
% 13.87/8.17 Conjecture not found
% 13.87/8.21 Conjecture not found
% 14.05/8.26 Conjecture not found
% 14.05/8.27 Conjecture not found
% 14.10/8.29 Conjecture not found
% 14.10/8.33 Conjecture not found
% 14.10/8.34 Conjecture not found
% 14.30/8.37 Conjecture not found
% 14.30/8.38 Conjecture not found
% 14.33/8.39 Conjecture not found
% 14.33/8.40 Conjecture not found
% 14.33/8.40 Conjecture not found
% 14.33/8.40 Conjecture not found
% 14.38/8.44 Conjecture not found
% 14.58/8.53 Conjecture not found
% 14.58/8.55 Conjecture not found
% 14.65/8.58 Conjecture not found
% 14.65/8.61 Conjecture not found
% 14.65/8.62 Conjecture not found
% 14.65/8.65 Conjecture not found
% 14.86/8.66 Conjecture not found
% 14.86/8.68 Conjecture not found
% 14.89/8.71 Conjecture not found
% 14.93/8.73 Conjecture not found
% 14.97/8.78 Conjecture not found
% 14.97/8.82 Conjecture not found
% 15.45/8.98 Conjecture not found
% 15.51/9.06 Conjecture not found
% 15.75/9.13 Conjecture not found
% 15.75/9.14 Conjecture not found
% 15.75/9.17 Conjecture not found
% 15.81/9.22 Conjecture not found
% 15.81/9.24 Conjecture not found
% 16.03/9.27 Conjecture not found
% 16.09/9.34 Conjecture not found
% 16.12/9.39 Conjecture not found
% 16.36/9.45 Conjecture not found
% 16.41/9.49 Conjecture not found
% 16.46/9.55 Conjecture not found
% 16.47/9.57 Conjecture not found
% 16.67/9.63 Conjecture not found
% 16.71/9.67 Conjecture not found
% 16.71/9.74 Conjecture not found
% 17.01/9.84 Conjecture not found
% 17.06/9.85 Conjecture not found
% 17.09/9.87 Conjecture not found
% 17.09/9.89 Conjecture not found
% 17.31/9.92 Conjecture not found
% 17.35/10.00 Conjecture not found
% 17.43/10.06 Conjecture not found
% 17.60/10.08 Conjecture not found
% 17.66/10.13 Conjecture not found
% 18.07/10.38 Conjecture not found
% 18.30/10.46 Conjecture not found
% 18.33/10.51 Conjecture not found
% 18.40/10.54 Conjecture not found
% 18.40/10.56 Conjecture not found
% 18.43/10.57 Conjecture not found
% 18.67/10.66 Conjecture not found
% 18.80/10.75 Conjecture not found
% 18.85/10.83 Conjecture not found
% 19.10/10.88 Conjecture not found
% 19.10/10.90 Conjecture not found
% 19.26/10.99 Conjecture not found
% 19.26/11.04 Conjecture not found
% 19.45/11.07 Conjecture not found
% 19.49/11.10 Conjecture not found
% 19.72/11.16 Conjecture not found
% 19.72/11.17 Conjecture not found
% 19.78/11.21 Conjecture not found
% 19.78/11.22 Conjecture not found
% 19.78/11.23 Conjecture not found
% 19.83/11.27 Conjecture not found
% 19.83/11.30 Conjecture not found
% 19.83/11.32 Conjecture not found
% 20.08/11.36 Conjecture not found
% 20.14/11.42 Conjecture not found
% 20.14/11.42 Conjecture not found
% 20.20/11.44 Conjecture not found
% 20.21/11.46 Conjecture not found
% 20.46/11.55 Conjecture not found
% 20.46/11.56 Conjecture not found
% 20.51/11.59 Conjecture not found
% 20.51/11.60 Conjecture not found
% 20.51/11.60 Conjecture not found
% 20.51/11.60 Conjecture not found
% 20.51/11.61 Conjecture not found
% 20.80/11.69 Conjecture not found
% 20.80/11.70 Conjecture not found
% 20.84/11.72 Conjecture not found
% 20.85/11.79 Conjecture not found
% 20.93/11.87 Conjecture not found
% 21.18/11.94 Conjecture not found
% 21.18/11.95 Conjecture not found
% 21.54/12.06 Conjecture not found
% 21.62/12.16 Conjecture not found
% 21.87/12.19 Conjecture not found
% 21.87/12.25 Conjecture not found
% 21.95/12.27 Conjecture not found
% 21.95/12.28 Conjecture not found
% 22.01/12.36 Conjecture not found
% 22.29/12.43 Conjecture not found
% 22.29/12.47 Conjecture not found
% 22.29/12.49 Conjecture not found
% 22.63/12.59 Conjecture not found
% 22.63/12.61 Conjecture not found
% 22.69/12.63 Conjecture not found
% 22.72/12.67 Conjecture not found
% 22.72/12.71 Conjecture not found
% 22.72/12.73 Conjecture not found
% 23.04/12.79 Conjecture not found
% 23.12/12.86 Conjecture not found
% 23.12/12.88 Conjecture not found
% 23.12/12.89 Conjecture not found
% 23.16/12.94 Conjecture not found
% 23.23/13.00 Conjecture not found
% 23.23/13.01 Conjecture not found
% 23.51/13.04 Conjecture not found
% 23.51/13.07 Conjecture not found
% 23.57/13.10 Conjecture not found
% 23.85/13.17 Conjecture not found
% 23.92/13.25 Conjecture not found
% 23.96/13.26 Conjecture not found
% 23.96/13.31 Conjecture not found
% 24.04/13.37 Conjecture not found
% 24.40/13.46 Conjecture not found
% 24.40/13.48 Conjecture not found
% 24.46/13.53 Conjecture not found
% 24.46/13.55 Conjecture not found
% 24.62/13.56 Conjecture not found
% 24.62/13.57 Conjecture not found
% 24.62/13.59 Conjecture not found
% 24.62/13.61 Conjecture not found
% 24.62/13.61 Conjecture not found
% 24.82/13.67 Conjecture not found
% 24.86/13.71 Conjecture not found
% 25.20/13.78 Conjecture not found
% 25.20/13.81 Conjecture not found
% 25.20/13.82 Conjecture not found
% 25.27/13.87 Conjecture not found
% 25.27/13.88 Conjecture not found
% 25.27/13.89 Conjecture not found
% 25.40/13.98 Conjecture not found
% 25.40/14.00 Conjecture not found
% 25.64/14.06 Conjecture not found
% 25.73/14.11 Conjecture not found
% 25.73/14.13 Conjecture not found
% 25.81/14.16 Conjecture not found
% 26.26/14.38 Conjecture not found
% 26.33/14.43 Conjecture not found
% 26.34/14.45 Conjecture not found
% 26.47/14.54 Conjecture not found
% 26.70/14.56 Conjecture not found
% 26.70/14.60 Conjecture not found
% 26.70/14.63 Conjecture not found
% 26.84/14.72 Conjecture not found
% 27.09/14.79 Conjecture not found
% 27.09/14.81 Conjecture not found
% 27.20/14.82 Conjecture not found
% 27.20/14.84 Conjecture not found
% 27.26/14.88 Conjecture not found
% 27.26/14.93 Conjecture not found
% 27.26/14.94 Conjecture not found
% 27.26/14.94 Conjecture not found
% 27.26/14.95 Conjecture not found
% 27.65/15.03 Conjecture not found
% 27.65/15.04 Conjecture not found
% 27.65/15.09 Conjecture not found
% 27.80/15.19 Conjecture not found
% 28.12/15.31 Conjecture not found
% 28.18/15.34 Conjecture not found
% 28.18/15.36 Conjecture not found
% 28.18/15.37 Conjecture not found
% 28.26/15.41 Conjecture not found
% 28.26/15.44 Conjecture not found
% 28.26/15.44 Conjecture not found
% 28.26/15.47 Conjecture not found
% 28.33/15.50 Conjecture not found
% 28.33/15.54 Conjecture not found
% 28.64/15.59 Conjecture not found
% 28.75/15.62 Conjecture not found
% 28.75/15.70 Conjecture not found
% 28.84/15.73 Conjecture not found
% 28.84/15.74 Conjecture not found
% 28.92/15.83 Conjecture not found
% 28.92/15.85 Conjecture not found
% 29.27/15.89 Conjecture not found
% 29.27/15.91 Conjecture not found
% 29.30/15.92 Conjecture not found
% 29.32/15.93 Conjecture not found
% 29.32/15.96 Conjecture not found
% 29.32/15.96 Conjecture not found
% 29.41/16.07 Conjecture not found
% 29.41/16.07 Conjecture not found
% 29.41/16.08 Conjecture not found
% 29.78/16.11 Conjecture not found
% 29.78/16.14 Conjecture not found
% 29.78/16.16 Conjecture not found
% 29.87/16.17 Conjecture not found
% 29.87/16.20 Conjecture not found
% 29.90/16.22 Conjecture not found
% 29.92/16.29 Conjecture not found
% 30.29/16.33 Conjecture not found
% 30.29/16.38 Conjecture not found
% 30.36/16.40 Conjecture not found
% 30.36/16.41 Conjecture not found
% 30.36/16.42 Conjecture not found
% 30.36/16.46 Conjecture not found
% 30.46/16.50 Conjecture not found
% 30.49/16.53 Conjecture not found
% 30.52/16.56 Conjecture not found
% 30.52/16.57 Conjecture not found
% 30.84/16.66 Conjecture not found
% 30.92/16.70 Conjecture not found
% 30.92/16.72 Conjecture not found
% 30.92/16.73 Conjecture not found
% 31.00/16.75 Conjecture not found
% 31.03/16.78 Conjecture not found
% 31.03/16.79 Conjecture not found
% 31.03/16.80 Conjecture not found
% 31.35/16.87 Conjecture not found
% 31.35/16.90 Conjecture not found
% 31.46/16.92 Conjecture not found
% 31.46/16.96 Conjecture not found
% 31.51/17.00 Conjecture not found
% 31.60/17.08 Conjecture not found
% 31.63/17.12 Conjecture not found
% 31.98/17.19 Conjecture not found
% 32.08/17.28 Conjecture not found
% 32.18/17.37 Conjecture not found
% 32.22/17.43 Conjecture not found
% 32.64/17.53 Conjecture not found
% 32.64/17.55 Conjecture not found
% 32.64/17.56 Conjecture not found
% 32.64/17.57 Conjecture not found
% 32.70/17.58 Conjecture not found
% 32.70/17.60 Conjecture not found
% 32.70/17.62 Conjecture not found
% 32.70/17.63 Conjecture not found
% 32.70/17.65 Conjecture not found
% 32.80/17.67 Conjecture not found
% 32.84/17.71 Conjecture not found
% 32.97/17.80 Conjecture not found
% 33.30/17.84 Conjecture not found
% 33.30/17.88 Conjecture not found
% 33.36/17.89 Conjecture not found
% 33.36/17.91 Conjecture not found
% 33.44/17.98 Conjecture not found
% 33.52/18.10 Conjecture not found
% 33.96/18.14 Conjecture not found
% 33.96/18.16 Conjecture not found
% 34.09/18.29 Conjecture not found
% 34.15/18.35 Conjecture not found
% 34.15/18.40 Conjecture not found
% 34.24/18.45 Conjecture not found
% 34.24/18.47 Conjecture not found
% 34.75/18.58 Conjecture not found
% 34.75/18.61 Conjecture not found
% 34.79/18.62 Conjecture not found
% 34.82/18.66 Conjecture not found
% 34.82/18.68 Conjecture not found
% 34.82/18.69 Conjecture not found
% 34.82/18.71 Conjecture not found
% 34.82/18.72 Conjecture not found
% 34.92/18.77 Conjecture not found
% 34.98/18.81 Conjecture not found
% 35.39/18.90 Conjecture not found
% 35.39/18.95 Conjecture not found
% 35.54/19.06 Conjecture not found
% 35.54/19.08 Conjecture not found
% 35.54/19.10 Conjecture not found
% 35.62/19.11 Conjecture not found
% 35.62/19.13 Conjecture not found
% 35.62/19.16 Conjecture not found
% 35.62/19.16 Conjecture not found
% 36.15/19.28 Conjecture not found
% 36.17/19.29 Conjecture not found
% 36.17/19.31 Conjecture not found
% 36.21/19.34 Conjecture not found
% 36.21/19.35 Conjecture not found
% 36.21/19.37 Conjecture not found
% 36.21/19.39 Conjecture not found
% 36.21/19.40 Conjecture not found
% 36.29/19.43 Conjecture not found
% 36.29/19.46 Conjecture not found
% 36.46/19.49 Conjecture not found
% 36.81/19.56 Conjecture not found
% 36.81/19.58 Conjecture not found
% 36.83/19.60 Conjecture not found
% 36.87/19.62 Conjecture not found
% 36.88/19.67 Conjecture not found
% 36.96/19.74 Conjecture not found
% 36.96/19.77 Conjecture not found
% 37.03/19.83 Conjecture not found
% 37.18/19.90 Conjecture not found
% 37.43/19.92 Conjecture not found
% 37.56/19.96 Conjecture not found
% 37.63/20.03 Conjecture not found
% 37.63/20.06 Conjecture not found
% 37.68/20.08 Conjecture not found
% 37.68/20.11 Conjecture not found
% 37.68/20.13 Conjecture not found
% 37.76/20.16 Conjecture not found
% 37.89/20.22 Conjecture not found
% 38.24/20.25 Conjecture not found
% 38.24/20.29 Conjecture not found
% 38.30/20.33 Conjecture not found
% 38.30/20.35 Conjecture not found
% 38.35/20.37 Conjecture not found
% 38.35/20.38 Conjecture not found
% 38.35/20.40 Conjecture not found
% 38.35/20.43 Conjecture not found
% 38.35/20.46 Conjecture not found
% 38.54/20.52 Conjecture not found
% 38.54/20.55 Conjecture not found
% 38.90/20.60 Conjecture not found
% 38.90/20.65 Conjecture not found
% 39.01/20.67 Conjecture not found
% 39.01/20.69 Conjecture not found
% 39.05/20.72 Conjecture not found
% 39.05/20.73 Conjecture not found
% 39.10/20.75 Conjecture not found
% 39.10/20.79 Conjecture not found
% 39.16/20.80 Conjecture not found
% 39.16/20.83 Conjecture not found
% 39.21/20.87 Conjecture not found
% 39.21/20.88 Conjecture not found
% 39.60/20.98 Conjecture not found
% 39.60/20.99 Conjecture not found
% 39.77/21.00 Conjecture not found
% 39.77/21.02 Conjecture not found
% 39.77/21.05 Conjecture not found
% 39.84/21.06 Conjecture not found
% 39.84/21.09 Conjecture not found
% 39.84/21.11 Conjecture not found
% 39.89/21.12 Conjecture not found
% 39.93/21.16 Conjecture not found
% 39.93/21.20 Conjecture not found
% 40.47/21.34 Conjecture not found
% 40.56/21.37 Conjecture not found
% 40.56/21.38 Conjecture not found
% 40.56/21.39 Conjecture not found
% 40.65/21.48 Conjecture not found
% 40.65/21.49 Conjecture not found
% 40.65/21.51 Conjecture not found
% 40.73/21.54 Conjecture not found
% 40.80/21.60 Conjecture not found
% 41.23/21.67 Conjecture not found
% 41.45/21.82 Conjecture not found
% 41.45/21.83 Conjecture not found
% 41.52/21.89 Conjecture not found
% 41.52/21.90 Conjecture not found
% 41.52/21.91 Conjecture not found
% 41.52/21.92 Conjecture not found
% 41.52/21.96 Conjecture not found
% 41.61/22.00 Conjecture not found
% 41.69/22.03 Conjecture not found
% 41.85/22.06 Conjecture not found
% 41.85/22.09 Conjecture not found
% 42.19/22.15 Conjecture not found
% 42.19/22.16 Conjecture not found
% 42.19/22.18 Conjecture not found
% 42.25/22.22 Conjecture not found
% 42.25/22.23 Conjecture not found
% 42.34/22.28 Conjecture not found
% 42.37/22.31 Conjecture not found
% 42.39/22.38 Conjecture not found
% 42.39/22.40 Conjecture not found
% 42.89/22.48 Conjecture not found
% 42.97/22.51 Conjecture not found
% 42.97/22.53 Conjecture not found
% 42.97/22.56 Conjecture not found
% 43.05/22.59 Conjecture not found
% 43.05/22.60 Conjecture not found
% 43.08/22.61 Conjecture not found
% 43.08/22.63 Conjecture not found
% 43.12/22.73 Conjecture not found
% 43.43/22.80 Conjecture not found
% 43.71/22.82 Conjecture not found
% 43.71/22.86 Conjecture not found
% 43.71/22.87 Conjecture not found
% 43.77/22.89 Conjecture not found
% 43.77/22.91 Conjecture not found
% 43.77/22.92 Conjecture not found
% 43.77/22.93 Conjecture not found
% 43.86/22.96 Conjecture not found
% 43.86/22.98 Conjecture not found
% 43.89/23.01 Conjecture not found
% 43.92/23.03 Conjecture not found
% 43.93/23.04 Conjecture not found
% 43.93/23.06 Conjecture not found
% 43.93/23.07 Conjecture not found
% 43.93/23.09 Conjecture not found
% 44.56/23.19 Conjecture not found
% 44.56/23.20 Conjecture not found
% 44.56/23.21 Conjecture not found
% 44.56/23.22 Conjecture not found
% 44.56/23.23 Conjecture not found
% 44.56/23.26 Conjecture not found
% 44.65/23.27 Conjecture not found
% 44.68/23.31 Conjecture not found
% 44.68/23.32 Conjecture not found
% 44.72/23.34 Conjecture not found
% 44.72/23.38 Conjecture not found
% 44.72/23.39 Conjecture not found
% 44.72/23.40 Conjecture not found
% 44.79/23.41 Conjecture not found
% 44.79/23.45 Conjecture not found
% 44.79/23.46 Conjecture not found
% 45.37/23.58 Conjecture not found
% 45.37/23.58 Conjecture not found
% 45.41/23.59 Conjecture not found
% 45.53/23.71 Conjecture not found
% 45.53/23.73 Conjecture not found
% 45.53/23.75 Conjecture not found
% 45.53/23.76 Conjecture not found
% 45.58/23.80 Conjecture not found
% 45.58/23.83 Conjecture not found
% 46.17/23.91 Conjecture not found
% 46.23/23.97 Conjecture not found
% 46.23/24.01 Conjecture not found
% 46.37/24.11 Conjecture not found
% 46.37/24.12 Conjecture not found
% 46.43/24.18 Conjecture not found
% 46.43/24.20 Conjecture not found
% 46.48/24.23 Conjecture not found
% 46.48/24.25 Conjecture not found
% 46.53/24.26 Conjecture not found
% 46.53/24.27 Conjecture not found
% 46.53/24.30 Conjecture not found
% 46.53/24.33 Conjecture not found
% 47.03/24.35 Conjecture not found
% 47.03/24.38 Conjecture not found
% 47.17/24.43 Conjecture not found
% 47.17/24.45 Conjecture not found
% 47.25/24.48 Conjecture not found
% 47.25/24.50 Conjecture not found
% 47.34/24.59 Conjecture not found
% 47.34/24.62 Conjecture not found
% 47.41/24.65 Conjecture not found
% 47.46/24.70 Conjecture not found
% 47.46/24.73 Conjecture not found
% 47.67/24.80 Conjecture not found
% 48.10/24.84 Conjecture not found
% 48.15/24.86 Conjecture not found
% 48.15/24.91 Conjecture not found
% 48.23/24.98 Conjecture not found
% 49.10/25.32 Conjecture not found
% 49.10/25.33 Conjecture not found
% 49.19/25.36 Conjecture not found
% 49.21/25.39 Conjecture not found
% 49.21/25.40 Conjecture not found
% 49.21/25.41 Conjecture not found
% 49.25/25.42 Conjecture not found
% 49.25/25.43 Conjecture not found
% 49.26/25.45 Conjecture not found
% 49.26/25.45 Conjecture not found
% 49.26/25.47 Conjecture not found
% 49.26/25.51 Conjecture not found
% 49.64/25.65 Conjecture not found
% 50.03/25.70 Conjecture not found
% 50.04/25.74 Conjecture not found
% 50.04/25.77 Conjecture not found
% 50.04/25.79 Conjecture not found
% 50.04/25.80 Conjecture not found
% 50.14/25.84 Conjecture not found
% 50.14/25.85 Conjecture not found
% 50.14/25.86 Conjecture not found
% 50.14/25.87 Conjecture not found
% 50.14/25.89 Conjecture not found
% 50.21/25.94 Conjecture not found
% 50.21/25.96 Conjecture not found
% 50.32/26.00 Conjecture not found
% 50.70/26.07 Conjecture not found
% 50.70/26.08 Conjecture not found
% 50.99/26.17 Conjecture not found
% 51.07/26.22 Conjecture not found
% 51.07/26.24 Conjecture not found
% 51.07/26.26 Conjecture not found
% 51.14/26.31 Conjecture not found
% 51.14/26.34 Conjecture not found
% 51.14/26.35 Conjecture not found
% 51.30/26.45 Conjecture not found
% 51.30/26.45 Conjecture not found
% 51.30/26.47 Conjecture not found
% 51.38/26.51 Conjecture not found
% 51.38/26.52 Conjecture not found
% 51.38/26.56 Conjecture not found
% 51.45/26.59 Conjecture not found
% 51.45/26.62 Conjecture not found
% 52.17/26.76 Conjecture not found
% 52.17/26.79 Conjecture not found
% 52.23/26.81 Conjecture not found
% 52.23/26.82 Conjecture not found
% 52.29/26.91 Conjecture not found
% 52.29/26.92 Conjecture not found
% 52.38/26.95 Conjecture not found
% 52.38/26.98 Conjecture not found
% 52.47/27.08 Conjecture not found
% 52.47/27.10 Conjecture not found
% 52.53/27.12 Conjecture not found
% 52.53/27.15 Conjecture not found
% 52.68/27.23 Conjecture not found
% 52.68/27.27 Conjecture not found
% 53.27/27.32 Conjecture not found
% 53.30/27.39 Conjecture not found
% 53.40/27.46 Conjecture not found
% 53.40/27.48 Conjecture not found
% 53.45/27.50 Conjecture not found
% 53.53/27.58 Conjecture not found
% 53.58/27.63 Conjecture not found
% 53.70/27.70 Start search
% 123.25/44.44 nb_step : 1 - limit : 133948
% 124.72/45.11 Launch Gotab with destructive = true
%------------------------------------------------------------------------------