TSTP Solution File: LAT350+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT350+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n012.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:12 EDT 2022
% Result : Timeout 300.41s 91.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : LAT350+4 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.32 % Computer : n012.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 300
% 0.12/0.32 % DateTime : Thu Sep 1 15:32:25 EDT 2022
% 0.18/0.33 % CPUTime :
% 0.18/0.33 [DMT] DMT loaded with preskolemization
% 0.18/0.33 [EQ] equality loaded.
% 0.18/0.33 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.36 Conjecture not found
% 0.18/0.36 Conjecture not found
% 0.18/0.36 Conjecture not found
% 0.18/0.36 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.58 Conjecture not found
% 0.56/0.63 Conjecture not found
% 0.62/0.70 Conjecture not found
% 0.62/0.70 Conjecture not found
% 0.78/0.78 Conjecture not found
% 0.89/0.83 Conjecture not found
% 1.07/0.92 Conjecture not found
% 1.12/0.95 Conjecture not found
% 1.12/1.02 Conjecture not found
% 1.27/1.06 Conjecture not found
% 1.39/1.11 Conjecture not found
% 1.39/1.14 Conjecture not found
% 1.39/1.18 Conjecture not found
% 1.52/1.19 Conjecture not found
% 1.52/1.20 Conjecture not found
% 1.52/1.21 Conjecture not found
% 1.52/1.21 Conjecture not found
% 1.74/1.32 Conjecture not found
% 1.74/1.34 Conjecture not found
% 1.74/1.35 Conjecture not found
% 1.74/1.36 Conjecture not found
% 1.74/1.36 Conjecture not found
% 1.74/1.37 Conjecture not found
% 1.74/1.37 Conjecture not found
% 1.85/1.38 Conjecture not found
% 1.85/1.38 Conjecture not found
% 1.85/1.43 Conjecture not found
% 2.01/1.48 Conjecture not found
% 2.04/1.49 Conjecture not found
% 2.04/1.49 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.08/1.52 Conjecture not found
% 2.12/1.54 Conjecture not found
% 2.12/1.55 Conjecture not found
% 2.12/1.58 Conjecture not found
% 2.12/1.59 Conjecture not found
% 2.25/1.62 Conjecture not found
% 2.25/1.62 Conjecture not found
% 2.25/1.63 Conjecture not found
% 2.25/1.66 Conjecture not found
% 2.38/1.72 Conjecture not found
% 2.53/1.78 Conjecture not found
% 2.53/1.78 Conjecture not found
% 2.55/1.81 Conjecture not found
% 2.61/1.83 Conjecture not found
% 2.61/1.86 Conjecture not found
% 2.61/1.88 Conjecture not found
% 2.74/1.90 Conjecture not found
% 2.87/2.00 Conjecture not found
% 2.87/2.04 Conjecture not found
% 2.87/2.06 Conjecture not found
% 2.87/2.07 Conjecture not found
% 3.03/2.09 Conjecture not found
% 3.05/2.11 Conjecture not found
% 3.40/2.29 Conjecture not found
% 3.40/2.32 Conjecture not found
% 3.40/2.35 Conjecture not found
% 3.56/2.46 Conjecture not found
% 3.56/2.47 Conjecture not found
% 3.56/2.49 Conjecture not found
% 3.74/2.51 Conjecture not found
% 3.74/2.54 Conjecture not found
% 3.87/2.62 Conjecture not found
% 4.05/2.70 Conjecture not found
% 4.05/2.78 Conjecture not found
% 4.22/2.83 Conjecture not found
% 4.22/2.84 Conjecture not found
% 4.22/2.88 Conjecture not found
% 4.22/2.89 Conjecture not found
% 4.43/2.93 Conjecture not found
% 4.43/2.95 Conjecture not found
% 4.43/2.97 Conjecture not found
% 4.43/2.99 Conjecture not found
% 4.57/3.05 Conjecture not found
% 4.57/3.06 Conjecture not found
% 4.57/3.10 Conjecture not found
% 4.78/3.17 Conjecture not found
% 4.91/3.27 Conjecture not found
% 5.30/3.42 Conjecture not found
% 5.70/3.64 Conjecture not found
% 6.28/3.94 Conjecture not found
% 6.28/3.96 Conjecture not found
% 6.28/3.99 Conjecture not found
% 6.54/4.10 Conjecture not found
% 6.54/4.15 Conjecture not found
% 6.71/4.18 Conjecture not found
% 6.84/4.25 Conjecture not found
% 6.84/4.30 Conjecture not found
% 7.00/4.36 Conjecture not found
% 7.10/4.41 Conjecture not found
% 7.10/4.44 Conjecture not found
% 7.10/4.45 Conjecture not found
% 7.20/4.48 Conjecture not found
% 7.20/4.49 Conjecture not found
% 7.34/4.58 Conjecture not found
% 7.50/4.67 Conjecture not found
% 7.62/4.73 Conjecture not found
% 7.79/4.82 Conjecture not found
% 7.83/4.83 Conjecture not found
% 7.85/4.88 Conjecture not found
% 7.85/4.91 Conjecture not found
% 7.99/4.92 Conjecture not found
% 7.99/4.95 Conjecture not found
% 8.06/4.98 Conjecture not found
% 8.06/5.00 Conjecture not found
% 8.06/5.04 Conjecture not found
% 8.06/5.04 Conjecture not found
% 8.18/5.06 Conjecture not found
% 8.18/5.07 Conjecture not found
% 8.34/5.12 Conjecture not found
% 8.36/5.15 Conjecture not found
% 8.36/5.19 Conjecture not found
% 8.45/5.23 Conjecture not found
% 8.80/5.45 Conjecture not found
% 8.80/5.48 Conjecture not found
% 8.80/5.49 Conjecture not found
% 8.80/5.52 Conjecture not found
% 8.98/5.55 Conjecture not found
% 8.98/5.57 Conjecture not found
% 9.14/5.62 Conjecture not found
% 9.14/5.63 Conjecture not found
% 9.14/5.66 Conjecture not found
% 9.21/5.69 Conjecture not found
% 9.35/5.77 Conjecture not found
% 10.29/6.30 Conjecture not found
% 11.14/6.82 Conjecture not found
% 11.31/6.96 Conjecture not found
% 11.52/7.02 Conjecture not found
% 11.52/7.04 Conjecture not found
% 11.52/7.06 Conjecture not found
% 11.52/7.09 Conjecture not found
% 11.66/7.11 Conjecture not found
% 11.66/7.13 Conjecture not found
% 11.66/7.17 Conjecture not found
% 11.79/7.22 Conjecture not found
% 11.79/7.27 Conjecture not found
% 11.97/7.29 Conjecture not found
% 11.97/7.30 Conjecture not found
% 12.00/7.32 Conjecture not found
% 12.14/7.37 Conjecture not found
% 12.14/7.40 Conjecture not found
% 12.21/7.44 Conjecture not found
% 12.37/7.52 Conjecture not found
% 12.37/7.54 Conjecture not found
% 12.45/7.56 Conjecture not found
% 12.45/7.57 Conjecture not found
% 12.47/7.60 Conjecture not found
% 12.63/7.65 Conjecture not found
% 12.63/7.67 Conjecture not found
% 12.63/7.68 Conjecture not found
% 12.78/7.74 Conjecture not found
% 12.87/7.80 Conjecture not found
% 12.87/7.82 Conjecture not found
% 12.87/7.83 Conjecture not found
% 12.87/7.86 Conjecture not found
% 13.07/7.88 Conjecture not found
% 13.07/7.89 Conjecture not found
% 13.10/7.90 Conjecture not found
% 13.10/7.92 Conjecture not found
% 13.10/7.94 Conjecture not found
% 13.15/7.94 Conjecture not found
% 13.31/8.00 Conjecture not found
% 13.31/8.02 Conjecture not found
% 13.36/8.06 Conjecture not found
% 13.36/8.08 Conjecture not found
% 13.36/8.11 Conjecture not found
% 13.36/8.12 Conjecture not found
% 13.36/8.14 Conjecture not found
% 13.57/8.15 Conjecture not found
% 13.57/8.17 Conjecture not found
% 13.57/8.18 Conjecture not found
% 13.62/8.21 Conjecture not found
% 13.78/8.25 Conjecture not found
% 13.78/8.27 Conjecture not found
% 13.84/8.31 Conjecture not found
% 13.84/8.32 Conjecture not found
% 13.84/8.33 Conjecture not found
% 14.02/8.38 Conjecture not found
% 14.02/8.40 Conjecture not found
% 14.02/8.42 Conjecture not found
% 14.02/8.44 Conjecture not found
% 14.02/8.46 Conjecture not found
% 14.02/8.46 Conjecture not found
% 14.12/8.47 Conjecture not found
% 14.12/8.47 Conjecture not found
% 14.12/8.51 Conjecture not found
% 14.40/8.62 Conjecture not found
% 14.40/8.64 Conjecture not found
% 14.40/8.67 Conjecture not found
% 14.44/8.70 Conjecture not found
% 14.44/8.71 Conjecture not found
% 14.64/8.74 Conjecture not found
% 14.64/8.77 Conjecture not found
% 14.67/8.79 Conjecture not found
% 14.67/8.82 Conjecture not found
% 14.88/8.86 Conjecture not found
% 14.88/8.89 Conjecture not found
% 14.95/8.92 Conjecture not found
% 15.15/9.04 Conjecture not found
% 15.31/9.11 Conjecture not found
% 15.44/9.15 Conjecture not found
% 15.44/9.16 Conjecture not found
% 15.44/9.17 Conjecture not found
% 15.44/9.21 Conjecture not found
% 15.57/9.26 Conjecture not found
% 15.72/9.29 Conjecture not found
% 15.80/9.36 Conjecture not found
% 16.00/9.43 Conjecture not found
% 16.01/9.49 Conjecture not found
% 16.01/9.52 Conjecture not found
% 16.31/9.60 Conjecture not found
% 16.31/9.62 Conjecture not found
% 16.40/9.68 Conjecture not found
% 16.43/9.72 Conjecture not found
% 16.44/9.78 Conjecture not found
% 16.68/9.86 Conjecture not found
% 16.68/9.87 Conjecture not found
% 16.91/9.91 Conjecture not found
% 16.91/9.93 Conjecture not found
% 16.91/9.95 Conjecture not found
% 17.03/10.01 Conjecture not found
% 17.16/10.10 Conjecture not found
% 17.16/10.11 Conjecture not found
% 17.30/10.13 Conjecture not found
% 17.85/10.39 Conjecture not found
% 17.91/10.43 Conjecture not found
% 17.91/10.46 Conjecture not found
% 17.91/10.48 Conjecture not found
% 17.91/10.50 Conjecture not found
% 18.15/10.52 Conjecture not found
% 18.22/10.60 Conjecture not found
% 18.22/10.66 Conjecture not found
% 18.55/10.75 Conjecture not found
% 18.55/10.79 Conjecture not found
% 18.61/10.81 Conjecture not found
% 18.83/10.94 Conjecture not found
% 18.92/10.99 Conjecture not found
% 19.05/11.04 Conjecture not found
% 19.24/11.12 Conjecture not found
% 19.29/11.16 Conjecture not found
% 19.29/11.17 Conjecture not found
% 19.29/11.20 Conjecture not found
% 19.29/11.20 Conjecture not found
% 19.29/11.22 Conjecture not found
% 19.48/11.27 Conjecture not found
% 19.62/11.31 Conjecture not found
% 19.62/11.34 Conjecture not found
% 19.66/11.37 Conjecture not found
% 19.76/11.46 Conjecture not found
% 19.76/11.47 Conjecture not found
% 19.81/11.50 Conjecture not found
% 19.81/11.53 Conjecture not found
% 20.11/11.64 Conjecture not found
% 20.15/11.66 Conjecture not found
% 20.15/11.72 Conjecture not found
% 20.15/11.73 Conjecture not found
% 20.15/11.74 Conjecture not found
% 20.15/11.74 Conjecture not found
% 20.42/11.76 Conjecture not found
% 20.48/11.83 Conjecture not found
% 20.48/11.84 Conjecture not found
% 20.55/11.87 Conjecture not found
% 20.73/11.96 Conjecture not found
% 20.90/12.04 Conjecture not found
% 20.94/12.11 Conjecture not found
% 20.94/12.12 Conjecture not found
% 21.31/12.28 Conjecture not found
% 21.64/12.42 Conjecture not found
% 21.64/12.45 Conjecture not found
% 21.72/12.50 Conjecture not found
% 21.72/12.51 Conjecture not found
% 21.76/12.52 Conjecture not found
% 22.01/12.63 Conjecture not found
% 22.12/12.75 Conjecture not found
% 22.22/12.79 Conjecture not found
% 22.22/12.80 Conjecture not found
% 22.28/12.89 Conjecture not found
% 22.56/12.94 Conjecture not found
% 22.56/12.97 Conjecture not found
% 22.64/13.04 Conjecture not found
% 22.73/13.08 Conjecture not found
% 22.73/13.08 Conjecture not found
% 22.77/13.12 Conjecture not found
% 22.90/13.22 Conjecture not found
% 23.08/13.24 Conjecture not found
% 23.08/13.25 Conjecture not found
% 23.14/13.29 Conjecture not found
% 23.14/13.34 Conjecture not found
% 23.14/13.34 Conjecture not found
% 23.48/13.42 Conjecture not found
% 23.52/13.45 Conjecture not found
% 23.52/13.48 Conjecture not found
% 23.52/13.51 Conjecture not found
% 23.76/13.60 Conjecture not found
% 23.90/13.61 Conjecture not found
% 23.90/13.66 Conjecture not found
% 23.97/13.72 Conjecture not found
% 24.35/13.82 Conjecture not found
% 24.39/13.84 Conjecture not found
% 24.39/13.88 Conjecture not found
% 24.39/13.90 Conjecture not found
% 24.47/13.91 Conjecture not found
% 24.47/13.91 Conjecture not found
% 24.47/13.92 Conjecture not found
% 24.47/13.96 Conjecture not found
% 24.74/13.97 Conjecture not found
% 24.83/14.07 Conjecture not found
% 24.88/14.13 Conjecture not found
% 24.92/14.18 Conjecture not found
% 24.92/14.20 Conjecture not found
% 25.03/14.22 Conjecture not found
% 25.24/14.31 Conjecture not found
% 25.24/14.34 Conjecture not found
% 25.32/14.35 Conjecture not found
% 25.41/14.44 Conjecture not found
% 25.43/14.47 Conjecture not found
% 25.72/14.53 Conjecture not found
% 25.77/14.62 Conjecture not found
% 25.77/14.64 Conjecture not found
% 25.88/14.68 Conjecture not found
% 26.34/14.91 Conjecture not found
% 26.39/14.98 Conjecture not found
% 26.39/15.00 Conjecture not found
% 26.75/15.08 Conjecture not found
% 26.75/15.10 Conjecture not found
% 26.75/15.14 Conjecture not found
% 26.84/15.18 Conjecture not found
% 27.20/15.30 Conjecture not found
% 27.26/15.34 Conjecture not found
% 27.26/15.35 Conjecture not found
% 27.30/15.37 Conjecture not found
% 27.30/15.39 Conjecture not found
% 27.39/15.44 Conjecture not found
% 27.67/15.54 Conjecture not found
% 27.73/15.55 Conjecture not found
% 27.73/15.55 Conjecture not found
% 27.75/15.56 Conjecture not found
% 27.75/15.60 Conjecture not found
% 27.75/15.61 Conjecture not found
% 27.85/15.66 Conjecture not found
% 28.24/15.82 Conjecture not found
% 28.32/15.91 Conjecture not found
% 28.36/15.94 Conjecture not found
% 28.36/15.96 Conjecture not found
% 28.36/15.97 Conjecture not found
% 28.45/16.01 Conjecture not found
% 28.45/16.04 Conjecture not found
% 28.45/16.04 Conjecture not found
% 28.45/16.07 Conjecture not found
% 28.52/16.12 Conjecture not found
% 28.83/16.20 Conjecture not found
% 28.91/16.25 Conjecture not found
% 28.91/16.29 Conjecture not found
% 29.01/16.39 Conjecture not found
% 29.08/16.41 Conjecture not found
% 29.08/16.42 Conjecture not found
% 29.16/16.50 Conjecture not found
% 29.16/16.56 Conjecture not found
% 29.51/16.64 Conjecture not found
% 29.51/16.68 Conjecture not found
% 29.51/16.71 Conjecture not found
% 29.62/16.73 Conjecture not found
% 29.62/16.76 Conjecture not found
% 29.62/16.77 Conjecture not found
% 29.70/16.88 Conjecture not found
% 29.70/16.88 Conjecture not found
% 29.79/16.89 Conjecture not found
% 30.07/16.99 Conjecture not found
% 30.16/17.03 Conjecture not found
% 30.16/17.05 Conjecture not found
% 30.16/17.06 Conjecture not found
% 30.16/17.09 Conjecture not found
% 30.16/17.11 Conjecture not found
% 30.26/17.15 Conjecture not found
% 30.26/17.16 Conjecture not found
% 30.26/17.19 Conjecture not found
% 30.45/17.25 Conjecture not found
% 30.45/17.27 Conjecture not found
% 30.68/17.29 Conjecture not found
% 30.68/17.35 Conjecture not found
% 30.76/17.38 Conjecture not found
% 30.78/17.40 Conjecture not found
% 30.83/17.43 Conjecture not found
% 30.83/17.43 Conjecture not found
% 30.83/17.48 Conjecture not found
% 31.10/17.54 Conjecture not found
% 31.10/17.58 Conjecture not found
% 31.28/17.60 Conjecture not found
% 31.28/17.62 Conjecture not found
% 31.28/17.65 Conjecture not found
% 31.28/17.66 Conjecture not found
% 31.37/17.68 Conjecture not found
% 31.40/17.72 Conjecture not found
% 31.43/17.74 Conjecture not found
% 31.44/17.76 Conjecture not found
% 31.83/17.83 Conjecture not found
% 31.89/17.90 Conjecture not found
% 32.00/17.99 Conjecture not found
% 32.00/18.02 Conjecture not found
% 32.07/18.06 Conjecture not found
% 32.50/18.18 Conjecture not found
% 32.60/18.28 Conjecture not found
% 32.63/18.32 Conjecture not found
% 32.68/18.38 Conjecture not found
% 32.68/18.40 Conjecture not found
% 32.68/18.42 Conjecture not found
% 32.68/18.44 Conjecture not found
% 33.10/18.47 Conjecture not found
% 33.10/18.49 Conjecture not found
% 33.16/18.52 Conjecture not found
% 33.16/18.53 Conjecture not found
% 33.21/18.55 Conjecture not found
% 33.21/18.57 Conjecture not found
% 33.26/18.61 Conjecture not found
% 33.31/18.67 Conjecture not found
% 33.31/18.70 Conjecture not found
% 33.66/18.76 Conjecture not found
% 33.66/18.79 Conjecture not found
% 33.78/18.81 Conjecture not found
% 33.90/18.92 Conjecture not found
% 33.93/19.02 Conjecture not found
% 34.02/19.04 Conjecture not found
% 34.02/19.06 Conjecture not found
% 34.50/19.18 Conjecture not found
% 34.55/19.23 Conjecture not found
% 34.58/19.26 Conjecture not found
% 34.58/19.29 Conjecture not found
% 34.58/19.31 Conjecture not found
% 34.66/19.36 Conjecture not found
% 34.66/19.38 Conjecture not found
% 34.66/19.39 Conjecture not found
% 34.77/19.44 Conjecture not found
% 35.16/19.48 Conjecture not found
% 35.18/19.50 Conjecture not found
% 35.21/19.52 Conjecture not found
% 35.22/19.53 Conjecture not found
% 35.22/19.58 Conjecture not found
% 35.30/19.62 Conjecture not found
% 35.30/19.67 Conjecture not found
% 35.37/19.71 Conjecture not found
% 35.89/19.85 Conjecture not found
% 35.89/19.86 Conjecture not found
% 35.89/19.88 Conjecture not found
% 35.89/19.89 Conjecture not found
% 35.89/19.91 Conjecture not found
% 35.89/19.92 Conjecture not found
% 35.89/19.92 Conjecture not found
% 35.99/19.99 Conjecture not found
% 36.06/20.00 Conjecture not found
% 36.06/20.04 Conjecture not found
% 36.49/20.09 Conjecture not found
% 36.51/20.10 Conjecture not found
% 36.52/20.12 Conjecture not found
% 36.52/20.15 Conjecture not found
% 36.52/20.16 Conjecture not found
% 36.52/20.18 Conjecture not found
% 36.62/20.21 Conjecture not found
% 36.62/20.23 Conjecture not found
% 36.62/20.26 Conjecture not found
% 36.62/20.27 Conjecture not found
% 36.62/20.28 Conjecture not found
% 36.62/20.29 Conjecture not found
% 36.70/20.35 Conjecture not found
% 37.22/20.45 Conjecture not found
% 37.22/20.47 Conjecture not found
% 37.22/20.52 Conjecture not found
% 37.31/20.55 Conjecture not found
% 37.31/20.56 Conjecture not found
% 37.31/20.58 Conjecture not found
% 37.49/20.68 Conjecture not found
% 37.84/20.74 Conjecture not found
% 37.93/20.78 Conjecture not found
% 37.98/20.83 Conjecture not found
% 37.98/20.87 Conjecture not found
% 38.06/20.93 Conjecture not found
% 38.14/20.99 Conjecture not found
% 38.14/21.02 Conjecture not found
% 38.23/21.08 Conjecture not found
% 38.26/21.11 Conjecture not found
% 38.29/21.13 Conjecture not found
% 38.30/21.16 Conjecture not found
% 38.30/21.21 Conjecture not found
% 38.74/21.24 Conjecture not found
% 38.80/21.29 Conjecture not found
% 38.80/21.32 Conjecture not found
% 38.88/21.37 Conjecture not found
% 38.91/21.38 Conjecture not found
% 38.91/21.41 Conjecture not found
% 38.98/21.45 Conjecture not found
% 38.98/21.47 Conjecture not found
% 38.98/21.51 Conjecture not found
% 39.52/21.57 Conjecture not found
% 39.52/21.58 Conjecture not found
% 39.52/21.60 Conjecture not found
% 39.52/21.67 Conjecture not found
% 39.62/21.69 Conjecture not found
% 39.65/21.74 Conjecture not found
% 39.70/21.79 Conjecture not found
% 39.70/21.80 Conjecture not found
% 39.80/21.86 Conjecture not found
% 39.80/21.88 Conjecture not found
% 39.85/21.89 Conjecture not found
% 39.85/21.90 Conjecture not found
% 39.90/21.94 Conjecture not found
% 39.90/21.96 Conjecture not found
% 40.18/22.02 Conjecture not found
% 40.41/22.06 Conjecture not found
% 40.41/22.07 Conjecture not found
% 40.41/22.12 Conjecture not found
% 40.50/22.17 Conjecture not found
% 40.55/22.25 Conjecture not found
% 40.61/22.26 Conjecture not found
% 40.62/22.27 Conjecture not found
% 40.62/22.28 Conjecture not found
% 41.10/22.40 Conjecture not found
% 41.10/22.41 Conjecture not found
% 41.10/22.42 Conjecture not found
% 41.19/22.45 Conjecture not found
% 41.23/22.52 Conjecture not found
% 41.30/22.55 Conjecture not found
% 41.61/22.67 Conjecture not found
% 41.61/22.69 Conjecture not found
% 41.93/22.77 Conjecture not found
% 41.93/22.78 Conjecture not found
% 41.93/22.79 Conjecture not found
% 41.99/22.80 Conjecture not found
% 41.99/22.83 Conjecture not found
% 42.07/22.87 Conjecture not found
% 42.09/22.90 Conjecture not found
% 42.09/22.92 Conjecture not found
% 42.14/22.94 Conjecture not found
% 42.21/23.02 Conjecture not found
% 42.21/23.04 Conjecture not found
% 42.71/23.08 Conjecture not found
% 42.71/23.14 Conjecture not found
% 42.71/23.16 Conjecture not found
% 42.85/23.21 Conjecture not found
% 42.89/23.24 Conjecture not found
% 42.89/23.27 Conjecture not found
% 42.89/23.29 Conjecture not found
% 42.99/23.36 Conjecture not found
% 42.99/23.40 Conjecture not found
% 43.05/23.42 Conjecture not found
% 43.05/23.46 Conjecture not found
% 43.60/23.53 Conjecture not found
% 43.60/23.54 Start search
% 87.34/35.01 nb_step : 1 - limit : 107769
% 88.36/35.48 Launch Gotab with destructive = true
%------------------------------------------------------------------------------