TSTP Solution File: LAT346+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT346+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n005.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:10 EDT 2022
% Result : Timeout 300.55s 90.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT346+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n005.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:23:40 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 [DMT] DMT loaded with preskolemization
% 0.12/0.33 [EQ] equality loaded.
% 0.12/0.33 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.37 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.37 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.53 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.58 Conjecture not found
% 0.19/0.59 Conjecture not found
% 0.64/0.64 Conjecture not found
% 0.76/0.72 Conjecture not found
% 0.76/0.72 Conjecture not found
% 0.87/0.80 Conjecture not found
% 0.87/0.85 Conjecture not found
% 1.15/0.93 Conjecture not found
% 1.15/0.97 Conjecture not found
% 1.27/1.04 Conjecture not found
% 1.38/1.08 Conjecture not found
% 1.38/1.12 Conjecture not found
% 1.38/1.14 Conjecture not found
% 1.38/1.17 Conjecture not found
% 1.59/1.19 Conjecture not found
% 1.59/1.19 Conjecture not found
% 1.59/1.20 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.69/1.31 Conjecture not found
% 1.84/1.33 Conjecture not found
% 1.84/1.33 Conjecture not found
% 1.84/1.35 Conjecture not found
% 1.84/1.35 Conjecture not found
% 1.84/1.36 Conjecture not found
% 1.84/1.36 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.93/1.42 Conjecture not found
% 2.06/1.47 Conjecture not found
% 2.06/1.48 Conjecture not found
% 2.06/1.48 Conjecture not found
% 2.06/1.49 Conjecture not found
% 2.14/1.51 Conjecture not found
% 2.14/1.53 Conjecture not found
% 2.14/1.54 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.58 Conjecture not found
% 2.19/1.60 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.19/1.62 Conjecture not found
% 2.36/1.65 Conjecture not found
% 2.44/1.71 Conjecture not found
% 2.44/1.76 Conjecture not found
% 2.44/1.77 Conjecture not found
% 2.61/1.79 Conjecture not found
% 2.61/1.82 Conjecture not found
% 2.73/1.85 Conjecture not found
% 2.73/1.86 Conjecture not found
% 2.73/1.88 Conjecture not found
% 2.92/1.97 Conjecture not found
% 2.92/2.01 Conjecture not found
% 2.92/2.03 Conjecture not found
% 2.92/2.04 Conjecture not found
% 3.07/2.07 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.33/2.26 Conjecture not found
% 3.42/2.30 Conjecture not found
% 3.42/2.32 Conjecture not found
% 3.69/2.43 Conjecture not found
% 3.69/2.45 Conjecture not found
% 3.69/2.46 Conjecture not found
% 3.69/2.48 Conjecture not found
% 3.69/2.51 Conjecture not found
% 3.87/2.57 Conjecture not found
% 3.99/2.64 Conjecture not found
% 4.09/2.71 Conjecture not found
% 4.09/2.74 Conjecture not found
% 4.09/2.76 Conjecture not found
% 4.28/2.79 Conjecture not found
% 4.31/2.80 Conjecture not found
% 4.37/2.84 Conjecture not found
% 4.37/2.86 Conjecture not found
% 4.37/2.88 Conjecture not found
% 4.37/2.89 Conjecture not found
% 4.54/2.94 Conjecture not found
% 4.54/2.96 Conjecture not found
% 4.54/3.00 Conjecture not found
% 4.67/3.07 Conjecture not found
% 4.80/3.16 Conjecture not found
% 5.03/3.31 Conjecture not found
% 5.59/3.49 Conjecture not found
% 6.07/3.78 Conjecture not found
% 6.07/3.80 Conjecture not found
% 6.23/3.81 Conjecture not found
% 6.37/3.91 Conjecture not found
% 6.37/3.95 Conjecture not found
% 6.52/4.01 Conjecture not found
% 6.52/4.07 Conjecture not found
% 6.78/4.12 Conjecture not found
% 6.78/4.17 Conjecture not found
% 6.93/4.21 Conjecture not found
% 6.93/4.23 Conjecture not found
% 6.93/4.23 Conjecture not found
% 6.93/4.27 Conjecture not found
% 6.93/4.28 Conjecture not found
% 7.07/4.36 Conjecture not found
% 7.35/4.44 Conjecture not found
% 7.35/4.49 Conjecture not found
% 7.57/4.60 Conjecture not found
% 7.57/4.63 Conjecture not found
% 7.72/4.68 Conjecture not found
% 7.75/4.70 Conjecture not found
% 7.75/4.72 Conjecture not found
% 7.80/4.74 Conjecture not found
% 7.80/4.77 Conjecture not found
% 7.80/4.79 Conjecture not found
% 7.95/4.83 Conjecture not found
% 7.95/4.83 Conjecture not found
% 7.95/4.83 Conjecture not found
% 7.95/4.85 Conjecture not found
% 8.08/4.89 Conjecture not found
% 8.08/4.92 Conjecture not found
% 8.08/4.94 Conjecture not found
% 8.26/5.00 Conjecture not found
% 8.56/5.20 Conjecture not found
% 8.56/5.23 Conjecture not found
% 8.56/5.24 Conjecture not found
% 8.70/5.25 Conjecture not found
% 8.71/5.27 Conjecture not found
% 8.71/5.30 Conjecture not found
% 8.88/5.35 Conjecture not found
% 8.88/5.36 Conjecture not found
% 8.88/5.38 Conjecture not found
% 8.88/5.40 Conjecture not found
% 9.05/5.49 Conjecture not found
% 9.90/5.96 Conjecture not found
% 10.78/6.47 Conjecture not found
% 10.93/6.61 Conjecture not found
% 11.04/6.68 Conjecture not found
% 11.17/6.70 Conjecture not found
% 11.17/6.71 Conjecture not found
% 11.17/6.76 Conjecture not found
% 11.17/6.78 Conjecture not found
% 11.37/6.79 Conjecture not found
% 11.39/6.82 Conjecture not found
% 11.39/6.87 Conjecture not found
% 11.57/6.91 Conjecture not found
% 11.57/6.93 Conjecture not found
% 11.57/6.93 Conjecture not found
% 11.57/6.97 Conjecture not found
% 11.75/7.02 Conjecture not found
% 11.75/7.07 Conjecture not found
% 11.97/7.12 Conjecture not found
% 11.98/7.18 Conjecture not found
% 11.98/7.20 Conjecture not found
% 12.07/7.22 Conjecture not found
% 12.07/7.25 Conjecture not found
% 12.07/7.28 Conjecture not found
% 12.25/7.32 Conjecture not found
% 12.25/7.35 Conjecture not found
% 12.25/7.37 Conjecture not found
% 12.47/7.44 Conjecture not found
% 12.47/7.49 Conjecture not found
% 12.63/7.52 Conjecture not found
% 12.63/7.54 Conjecture not found
% 12.63/7.56 Conjecture not found
% 12.63/7.58 Conjecture not found
% 12.75/7.60 Conjecture not found
% 12.75/7.62 Conjecture not found
% 12.75/7.64 Conjecture not found
% 12.75/7.68 Conjecture not found
% 12.94/7.69 Conjecture not found
% 12.98/7.75 Conjecture not found
% 12.98/7.78 Conjecture not found
% 12.98/7.81 Conjecture not found
% 13.10/7.86 Conjecture not found
% 13.10/7.87 Conjecture not found
% 13.10/7.88 Conjecture not found
% 13.23/7.90 Conjecture not found
% 13.23/7.91 Conjecture not found
% 13.23/7.94 Conjecture not found
% 13.23/7.94 Conjecture not found
% 13.42/7.99 Conjecture not found
% 13.47/8.03 Conjecture not found
% 13.47/8.04 Conjecture not found
% 13.47/8.07 Conjecture not found
% 13.47/8.08 Conjecture not found
% 13.47/8.09 Conjecture not found
% 13.69/8.15 Conjecture not found
% 13.69/8.17 Conjecture not found
% 13.69/8.19 Conjecture not found
% 13.77/8.20 Conjecture not found
% 13.77/8.23 Conjecture not found
% 13.77/8.23 Conjecture not found
% 13.77/8.24 Conjecture not found
% 13.77/8.24 Conjecture not found
% 13.85/8.28 Conjecture not found
% 14.03/8.37 Conjecture not found
% 14.03/8.38 Conjecture not found
% 14.03/8.41 Conjecture not found
% 14.22/8.44 Conjecture not found
% 14.22/8.46 Conjecture not found
% 14.29/8.49 Conjecture not found
% 14.29/8.51 Conjecture not found
% 14.29/8.53 Conjecture not found
% 14.37/8.57 Conjecture not found
% 14.55/8.63 Conjecture not found
% 14.58/8.67 Conjecture not found
% 14.66/8.72 Conjecture not found
% 14.94/8.88 Conjecture not found
% 15.15/8.96 Conjecture not found
% 15.22/9.03 Conjecture not found
% 15.22/9.03 Conjecture not found
% 15.22/9.06 Conjecture not found
% 15.28/9.10 Conjecture not found
% 15.28/9.13 Conjecture not found
% 15.28/9.15 Conjecture not found
% 15.54/9.20 Conjecture not found
% 15.73/9.28 Conjecture not found
% 15.80/9.33 Conjecture not found
% 15.80/9.37 Conjecture not found
% 15.89/9.45 Conjecture not found
% 15.89/9.47 Conjecture not found
% 16.12/9.51 Conjecture not found
% 16.15/9.55 Conjecture not found
% 16.38/9.64 Conjecture not found
% 16.45/9.73 Conjecture not found
% 16.45/9.75 Conjecture not found
% 16.68/9.79 Conjecture not found
% 16.72/9.81 Conjecture not found
% 16.74/9.83 Conjecture not found
% 16.74/9.90 Conjecture not found
% 17.05/10.01 Conjecture not found
% 17.05/10.02 Conjecture not found
% 17.05/10.05 Conjecture not found
% 17.42/10.28 Conjecture not found
% 17.65/10.36 Conjecture not found
% 17.75/10.40 Conjecture not found
% 17.78/10.42 Conjecture not found
% 17.78/10.43 Conjecture not found
% 17.78/10.44 Conjecture not found
% 17.78/10.50 Conjecture not found
% 18.06/10.57 Conjecture not found
% 18.23/10.66 Conjecture not found
% 18.40/10.73 Conjecture not found
% 18.40/10.75 Conjecture not found
% 18.48/10.85 Conjecture not found
% 18.75/10.89 Conjecture not found
% 18.78/10.92 Conjecture not found
% 18.78/10.97 Conjecture not found
% 19.05/11.02 Conjecture not found
% 19.05/11.04 Conjecture not found
% 19.05/11.07 Conjecture not found
% 19.05/11.08 Conjecture not found
% 19.13/11.09 Conjecture not found
% 19.13/11.13 Conjecture not found
% 19.41/11.18 Conjecture not found
% 19.43/11.21 Conjecture not found
% 19.46/11.25 Conjecture not found
% 19.53/11.31 Conjecture not found
% 19.53/11.31 Conjecture not found
% 19.53/11.34 Conjecture not found
% 19.53/11.36 Conjecture not found
% 19.91/11.50 Conjecture not found
% 19.91/11.51 Conjecture not found
% 19.94/11.54 Conjecture not found
% 19.94/11.55 Conjecture not found
% 19.94/11.55 Conjecture not found
% 19.94/11.56 Conjecture not found
% 19.94/11.58 Conjecture not found
% 20.12/11.66 Conjecture not found
% 20.12/11.67 Conjecture not found
% 20.26/11.68 Conjecture not found
% 20.26/11.74 Conjecture not found
% 20.37/11.80 Conjecture not found
% 20.60/11.92 Conjecture not found
% 20.70/11.93 Conjecture not found
% 20.76/12.04 Conjecture not found
% 21.13/12.19 Conjecture not found
% 21.13/12.21 Conjecture not found
% 21.47/12.28 Conjecture not found
% 21.47/12.31 Conjecture not found
% 21.47/12.33 Conjecture not found
% 21.57/12.40 Conjecture not found
% 21.63/12.47 Conjecture not found
% 21.91/12.53 Conjecture not found
% 21.91/12.56 Conjecture not found
% 21.96/12.64 Conjecture not found
% 22.27/12.70 Conjecture not found
% 22.32/12.73 Conjecture not found
% 22.34/12.80 Conjecture not found
% 22.41/12.84 Conjecture not found
% 22.41/12.84 Conjecture not found
% 22.41/12.88 Conjecture not found
% 22.78/12.99 Conjecture not found
% 22.80/13.02 Conjecture not found
% 22.83/13.03 Conjecture not found
% 22.83/13.08 Conjecture not found
% 23.07/13.13 Conjecture not found
% 23.07/13.14 Conjecture not found
% 23.07/13.18 Conjecture not found
% 23.22/13.22 Conjecture not found
% 23.22/13.25 Conjecture not found
% 23.29/13.28 Conjecture not found
% 23.29/13.35 Conjecture not found
% 23.62/13.38 Conjecture not found
% 23.67/13.44 Conjecture not found
% 23.67/13.50 Conjecture not found
% 23.77/13.58 Conjecture not found
% 23.77/13.60 Conjecture not found
% 24.09/13.66 Conjecture not found
% 24.09/13.68 Conjecture not found
% 24.17/13.69 Conjecture not found
% 24.17/13.69 Conjecture not found
% 24.17/13.70 Conjecture not found
% 24.17/13.72 Conjecture not found
% 24.17/13.73 Conjecture not found
% 24.40/13.85 Conjecture not found
% 24.57/13.91 Conjecture not found
% 24.57/13.95 Conjecture not found
% 24.57/13.97 Conjecture not found
% 24.57/13.97 Conjecture not found
% 24.66/14.03 Conjecture not found
% 24.66/14.05 Conjecture not found
% 24.66/14.07 Conjecture not found
% 24.88/14.17 Conjecture not found
% 24.88/14.18 Conjecture not found
% 25.09/14.22 Conjecture not found
% 25.09/14.28 Conjecture not found
% 25.09/14.31 Conjecture not found
% 25.22/14.34 Conjecture not found
% 25.67/14.61 Conjecture not found
% 25.67/14.67 Conjecture not found
% 25.75/14.68 Conjecture not found
% 26.15/14.81 Conjecture not found
% 26.15/14.84 Conjecture not found
% 26.22/14.88 Conjecture not found
% 26.22/14.92 Conjecture not found
% 26.63/15.04 Conjecture not found
% 26.63/15.09 Conjecture not found
% 26.63/15.10 Conjecture not found
% 26.70/15.12 Conjecture not found
% 26.70/15.15 Conjecture not found
% 26.76/15.19 Conjecture not found
% 27.04/15.27 Conjecture not found
% 27.10/15.29 Conjecture not found
% 27.10/15.29 Conjecture not found
% 27.10/15.29 Conjecture not found
% 27.14/15.33 Conjecture not found
% 27.16/15.34 Conjecture not found
% 27.16/15.39 Conjecture not found
% 27.35/15.50 Conjecture not found
% 27.35/15.56 Conjecture not found
% 27.66/15.58 Conjecture not found
% 27.66/15.59 Conjecture not found
% 27.68/15.60 Conjecture not found
% 27.68/15.63 Conjecture not found
% 27.73/15.65 Conjecture not found
% 27.73/15.65 Conjecture not found
% 27.73/15.71 Conjecture not found
% 27.99/15.79 Conjecture not found
% 28.14/15.86 Conjecture not found
% 28.14/15.89 Conjecture not found
% 28.14/15.91 Conjecture not found
% 28.29/16.00 Conjecture not found
% 28.29/16.02 Conjecture not found
% 28.29/16.04 Conjecture not found
% 28.70/16.16 Conjecture not found
% 28.70/16.18 Conjecture not found
% 28.76/16.22 Conjecture not found
% 28.76/16.25 Conjecture not found
% 28.82/16.27 Conjecture not found
% 28.82/16.28 Conjecture not found
% 28.82/16.31 Conjecture not found
% 28.82/16.32 Conjecture not found
% 29.27/16.49 Conjecture not found
% 29.27/16.49 Conjecture not found
% 29.27/16.50 Conjecture not found
% 29.36/16.54 Conjecture not found
% 29.36/16.57 Conjecture not found
% 29.42/16.60 Conjecture not found
% 29.42/16.62 Conjecture not found
% 29.69/16.67 Conjecture not found
% 29.82/16.71 Conjecture not found
% 29.85/16.74 Conjecture not found
% 29.85/16.76 Conjecture not found
% 29.85/16.79 Conjecture not found
% 29.85/16.81 Conjecture not found
% 29.85/16.81 Conjecture not found
% 29.85/16.82 Conjecture not found
% 29.94/16.86 Conjecture not found
% 30.33/16.92 Conjecture not found
% 30.33/16.96 Conjecture not found
% 30.41/16.99 Conjecture not found
% 30.41/17.00 Conjecture not found
% 30.45/17.05 Conjecture not found
% 30.45/17.10 Conjecture not found
% 30.54/17.12 Conjecture not found
% 30.54/17.16 Conjecture not found
% 30.91/17.21 Conjecture not found
% 30.91/17.25 Conjecture not found
% 30.91/17.26 Conjecture not found
% 30.99/17.27 Conjecture not found
% 31.00/17.30 Conjecture not found
% 31.03/17.31 Conjecture not found
% 31.04/17.33 Conjecture not found
% 31.04/17.36 Conjecture not found
% 31.04/17.41 Conjecture not found
% 31.52/17.52 Conjecture not found
% 31.52/17.54 Conjecture not found
% 31.52/17.57 Conjecture not found
% 31.61/17.62 Conjecture not found
% 32.04/17.76 Conjecture not found
% 32.04/17.80 Conjecture not found
% 32.13/17.86 Conjecture not found
% 32.13/17.88 Conjecture not found
% 32.21/17.89 Conjecture not found
% 32.21/17.91 Conjecture not found
% 32.21/17.92 Conjecture not found
% 32.21/17.94 Conjecture not found
% 32.21/17.97 Conjecture not found
% 32.21/17.98 Conjecture not found
% 32.68/18.02 Conjecture not found
% 32.68/18.05 Conjecture not found
% 32.68/18.10 Conjecture not found
% 32.78/18.17 Conjecture not found
% 32.85/18.20 Conjecture not found
% 32.85/18.23 Conjecture not found
% 32.85/18.25 Conjecture not found
% 32.85/18.26 Conjecture not found
% 33.31/18.39 Conjecture not found
% 33.48/18.48 Conjecture not found
% 33.48/18.51 Conjecture not found
% 33.48/18.52 Conjecture not found
% 33.61/18.61 Conjecture not found
% 33.82/18.68 Conjecture not found
% 34.06/18.73 Conjecture not found
% 34.11/18.77 Conjecture not found
% 34.11/18.78 Conjecture not found
% 34.11/18.84 Conjecture not found
% 34.11/18.85 Conjecture not found
% 34.21/18.86 Conjecture not found
% 34.24/18.90 Conjecture not found
% 34.24/18.92 Conjecture not found
% 34.24/18.93 Conjecture not found
% 34.34/18.96 Conjecture not found
% 34.34/18.98 Conjecture not found
% 34.72/19.05 Conjecture not found
% 34.77/19.10 Conjecture not found
% 34.77/19.14 Conjecture not found
% 34.88/19.19 Conjecture not found
% 34.96/19.31 Conjecture not found
% 34.96/19.34 Conjecture not found
% 35.42/19.37 Conjecture not found
% 35.47/19.39 Conjecture not found
% 35.47/19.41 Conjecture not found
% 35.47/19.42 Conjecture not found
% 35.47/19.43 Conjecture not found
% 35.59/19.51 Conjecture not found
% 35.59/19.53 Conjecture not found
% 35.59/19.55 Conjecture not found
% 35.63/19.58 Conjecture not found
% 35.63/19.59 Conjecture not found
% 36.02/19.65 Conjecture not found
% 36.13/19.70 Conjecture not found
% 36.13/19.72 Conjecture not found
% 36.13/19.75 Conjecture not found
% 36.20/19.78 Conjecture not found
% 36.20/19.80 Conjecture not found
% 36.25/19.83 Conjecture not found
% 36.25/19.83 Conjecture not found
% 36.25/19.84 Conjecture not found
% 36.29/19.85 Conjecture not found
% 36.29/19.89 Conjecture not found
% 36.43/19.97 Conjecture not found
% 36.79/20.00 Conjecture not found
% 36.79/20.04 Conjecture not found
% 36.89/20.07 Conjecture not found
% 36.89/20.08 Conjecture not found
% 36.89/20.10 Conjecture not found
% 36.98/20.15 Conjecture not found
% 36.98/20.19 Conjecture not found
% 37.38/20.26 Conjecture not found
% 37.48/20.29 Conjecture not found
% 37.48/20.32 Conjecture not found
% 37.48/20.36 Conjecture not found
% 37.57/20.39 Conjecture not found
% 37.57/20.41 Conjecture not found
% 37.62/20.44 Conjecture not found
% 37.62/20.47 Conjecture not found
% 37.62/20.49 Conjecture not found
% 37.62/20.50 Conjecture not found
% 37.70/20.52 Conjecture not found
% 37.70/20.53 Conjecture not found
% 37.70/20.56 Conjecture not found
% 37.86/20.65 Conjecture not found
% 38.25/20.72 Conjecture not found
% 38.25/20.73 Conjecture not found
% 38.27/20.76 Conjecture not found
% 38.27/20.80 Conjecture not found
% 38.35/20.83 Conjecture not found
% 38.35/20.87 Conjecture not found
% 38.42/20.92 Conjecture not found
% 38.42/20.92 Conjecture not found
% 38.42/20.94 Conjecture not found
% 38.93/21.03 Conjecture not found
% 38.93/21.05 Conjecture not found
% 38.93/21.08 Conjecture not found
% 39.04/21.13 Conjecture not found
% 39.04/21.13 Conjecture not found
% 39.11/21.20 Conjecture not found
% 39.11/21.21 Conjecture not found
% 39.11/21.23 Conjecture not found
% 39.11/21.25 Conjecture not found
% 39.20/21.29 Conjecture not found
% 39.20/21.30 Conjecture not found
% 39.23/21.33 Conjecture not found
% 39.26/21.36 Conjecture not found
% 39.26/21.38 Conjecture not found
% 39.75/21.48 Conjecture not found
% 39.83/21.55 Conjecture not found
% 39.90/21.64 Conjecture not found
% 39.90/21.66 Conjecture not found
% 39.99/21.67 Conjecture not found
% 39.99/21.68 Conjecture not found
% 40.05/21.77 Conjecture not found
% 40.05/21.79 Conjecture not found
% 40.29/21.85 Conjecture not found
% 40.62/21.90 Conjecture not found
% 40.72/21.98 Conjecture not found
% 40.76/22.02 Conjecture not found
% 40.86/22.14 Conjecture not found
% 40.91/22.16 Conjecture not found
% 41.43/22.25 Conjecture not found
% 41.43/22.26 Conjecture not found
% 41.43/22.27 Conjecture not found
% 41.43/22.28 Conjecture not found
% 41.49/22.31 Conjecture not found
% 41.54/22.35 Conjecture not found
% 41.54/22.38 Conjecture not found
% 41.54/22.39 Conjecture not found
% 41.60/22.42 Conjecture not found
% 41.65/22.49 Conjecture not found
% 41.65/22.50 Conjecture not found
% 41.65/22.52 Conjecture not found
% 41.82/22.57 Conjecture not found
% 42.12/22.63 Conjecture not found
% 42.27/22.70 Conjecture not found
% 42.27/22.73 Conjecture not found
% 42.36/22.78 Conjecture not found
% 42.40/22.80 Conjecture not found
% 42.46/22.89 Conjecture not found
% 42.52/22.93 Conjecture not found
% 42.56/22.96 Conjecture not found
% 42.56/22.99 Conjecture not found
% 42.86/23.05 Conjecture not found
% 42.86/23.08 Conjecture not found
% 43.14/23.10 Conjecture not found
% 43.14/23.14 Conjecture not found
% 43.28/23.24 Conjecture not found
% 43.31/23.27 Conjecture not found
% 43.31/23.28 Conjecture not found
% 43.31/23.32 Conjecture not found
% 43.39/23.33 Conjecture not found
% 43.39/23.36 Conjecture not found
% 43.43/23.39 Conjecture not found
% 43.43/23.40 Conjecture not found
% 43.43/23.42 Conjecture not found
% 43.50/23.45 Conjecture not found
% 43.62/23.52 Conjecture not found
% 44.06/23.57 Conjecture not found
% 44.06/23.59 Conjecture not found
% 44.06/23.60 Conjecture not found
% 44.06/23.62 Conjecture not found
% 44.14/23.63 Conjecture not found
% 44.14/23.66 Conjecture not found
% 44.19/23.71 Conjecture not found
% 44.19/23.73 Conjecture not found
% 44.19/23.73 Conjecture not found
% 44.19/23.75 Conjecture not found
% 44.26/23.76 Conjecture not found
% 44.29/23.78 Conjecture not found
% 44.29/23.80 Conjecture not found
% 44.29/23.82 Conjecture not found
% 44.33/23.83 Conjecture not found
% 44.35/23.85 Conjecture not found
% 44.35/23.88 Conjecture not found
% 44.35/23.90 Conjecture not found
% 44.60/23.95 Conjecture not found
% 44.94/23.97 Conjecture not found
% 44.94/24.04 Conjecture not found
% 44.94/24.05 Conjecture not found
% 45.11/24.14 Conjecture not found
% 45.11/24.15 Conjecture not found
% 45.11/24.16 Conjecture not found
% 45.26/24.31 Conjecture not found
% 45.26/24.34 Conjecture not found
% 45.86/24.41 Conjecture not found
% 45.87/24.43 Conjecture not found
% 45.87/24.47 Conjecture not found
% 45.96/24.51 Conjecture not found
% 45.96/24.55 Conjecture not found
% 45.96/24.58 Conjecture not found
% 46.04/24.61 Conjecture not found
% 46.13/24.68 Conjecture not found
% 46.13/24.69 Conjecture not found
% 46.19/24.76 Conjecture not found
% 46.19/24.82 Conjecture not found
% 46.74/24.86 Conjecture not found
% 46.74/24.87 Conjecture not found
% 46.74/24.88 Conjecture not found
% 46.74/24.89 Conjecture not found
% 46.82/24.92 Conjecture not found
% 46.82/24.93 Conjecture not found
% 46.82/24.95 Conjecture not found
% 46.82/24.96 Start search
% 100.46/38.59 nb_step : 1 - limit : 118326
% 101.05/39.08 Launch Gotab with destructive = true
%------------------------------------------------------------------------------