TSTP Solution File: LAT347+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT347+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n009.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:11 EDT 2022
% Result : Timeout 300.35s 91.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : LAT347+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n009.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 15:23:28 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000040s][1][MAIN] Problem : theBenchmark.p
% 0.13/0.37 Conjecture not found
% 0.13/0.38 Conjecture not found
% 0.13/0.38 Conjecture not found
% 0.13/0.38 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.57/0.62 Conjecture not found
% 0.62/0.66 Conjecture not found
% 0.77/0.73 Conjecture not found
% 0.77/0.74 Conjecture not found
% 0.87/0.82 Conjecture not found
% 1.00/0.87 Conjecture not found
% 1.14/0.97 Conjecture not found
% 1.14/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.57/1.22 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.66/1.24 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.66/1.26 Conjecture not found
% 1.78/1.36 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.42 Conjecture not found
% 1.88/1.42 Conjecture not found
% 2.03/1.48 Conjecture not found
% 2.15/1.53 Conjecture not found
% 2.15/1.53 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.57 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.60 Conjecture not found
% 2.28/1.62 Conjecture not found
% 2.28/1.64 Conjecture not found
% 2.28/1.66 Conjecture not found
% 2.28/1.67 Conjecture not found
% 2.28/1.68 Conjecture not found
% 2.40/1.70 Conjecture not found
% 2.40/1.75 Conjecture not found
% 2.63/1.81 Conjecture not found
% 2.63/1.81 Conjecture not found
% 2.68/1.83 Conjecture not found
% 2.68/1.86 Conjecture not found
% 2.68/1.89 Conjecture not found
% 2.68/1.91 Conjecture not found
% 2.84/1.93 Conjecture not found
% 2.94/2.03 Conjecture not found
% 2.94/2.06 Conjecture not found
% 3.08/2.09 Conjecture not found
% 3.08/2.10 Conjecture not found
% 3.13/2.12 Conjecture not found
% 3.19/2.14 Conjecture not found
% 3.48/2.32 Conjecture not found
% 3.48/2.36 Conjecture not found
% 3.48/2.38 Conjecture not found
% 3.68/2.49 Conjecture not found
% 3.68/2.51 Conjecture not found
% 3.82/2.52 Conjecture not found
% 3.82/2.54 Conjecture not found
% 3.82/2.58 Conjecture not found
% 3.95/2.63 Conjecture not found
% 4.16/2.71 Conjecture not found
% 4.20/2.78 Conjecture not found
% 4.36/2.83 Conjecture not found
% 4.36/2.85 Conjecture not found
% 4.36/2.89 Conjecture not found
% 4.36/2.89 Conjecture not found
% 4.50/2.93 Conjecture not found
% 4.50/2.94 Conjecture not found
% 4.50/2.96 Conjecture not found
% 4.50/2.97 Conjecture not found
% 4.67/3.04 Conjecture not found
% 4.67/3.05 Conjecture not found
% 4.81/3.08 Conjecture not found
% 4.90/3.14 Conjecture not found
% 5.04/3.27 Conjecture not found
% 5.45/3.43 Conjecture not found
% 5.79/3.65 Conjecture not found
% 6.34/3.96 Conjecture not found
% 6.55/3.99 Conjecture not found
% 6.55/4.01 Conjecture not found
% 6.63/4.11 Conjecture not found
% 6.80/4.16 Conjecture not found
% 6.88/4.20 Conjecture not found
% 7.02/4.26 Conjecture not found
% 7.04/4.31 Conjecture not found
% 7.18/4.38 Conjecture not found
% 7.18/4.41 Conjecture not found
% 7.18/4.42 Conjecture not found
% 7.32/4.43 Conjecture not found
% 7.32/4.46 Conjecture not found
% 7.32/4.47 Conjecture not found
% 7.44/4.56 Conjecture not found
% 7.75/4.66 Conjecture not found
% 7.82/4.72 Conjecture not found
% 7.95/4.81 Conjecture not found
% 7.95/4.83 Conjecture not found
% 8.12/4.87 Conjecture not found
% 8.16/4.90 Conjecture not found
% 8.16/4.91 Conjecture not found
% 8.29/4.94 Conjecture not found
% 8.30/4.95 Conjecture not found
% 8.30/4.95 Conjecture not found
% 8.30/4.98 Conjecture not found
% 8.30/4.98 Conjecture not found
% 8.30/4.98 Conjecture not found
% 8.30/5.00 Conjecture not found
% 8.43/5.04 Conjecture not found
% 8.43/5.06 Conjecture not found
% 8.50/5.12 Conjecture not found
% 8.50/5.16 Conjecture not found
% 8.82/5.31 Conjecture not found
% 8.99/5.36 Conjecture not found
% 8.99/5.36 Conjecture not found
% 8.99/5.39 Conjecture not found
% 9.06/5.42 Conjecture not found
% 9.21/5.46 Conjecture not found
% 9.25/5.51 Conjecture not found
% 9.25/5.52 Conjecture not found
% 9.35/5.54 Conjecture not found
% 9.35/5.56 Conjecture not found
% 9.35/5.62 Conjecture not found
% 10.38/6.11 Conjecture not found
% 11.24/6.63 Conjecture not found
% 11.41/6.77 Conjecture not found
% 11.62/6.82 Conjecture not found
% 11.64/6.84 Conjecture not found
% 11.64/6.87 Conjecture not found
% 11.64/6.90 Conjecture not found
% 11.64/6.92 Conjecture not found
% 11.82/6.94 Conjecture not found
% 11.82/6.99 Conjecture not found
% 11.89/7.03 Conjecture not found
% 12.04/7.09 Conjecture not found
% 12.09/7.12 Conjecture not found
% 12.12/7.13 Conjecture not found
% 12.12/7.17 Conjecture not found
% 12.12/7.21 Conjecture not found
% 12.31/7.26 Conjecture not found
% 12.38/7.31 Conjecture not found
% 12.54/7.38 Conjecture not found
% 12.57/7.40 Conjecture not found
% 12.60/7.42 Conjecture not found
% 12.60/7.44 Conjecture not found
% 12.63/7.47 Conjecture not found
% 12.63/7.51 Conjecture not found
% 12.80/7.55 Conjecture not found
% 12.80/7.57 Conjecture not found
% 12.86/7.63 Conjecture not found
% 13.06/7.69 Conjecture not found
% 13.06/7.70 Conjecture not found
% 13.06/7.71 Conjecture not found
% 13.24/7.75 Conjecture not found
% 13.24/7.77 Conjecture not found
% 13.24/7.79 Conjecture not found
% 13.32/7.83 Conjecture not found
% 13.32/7.85 Conjecture not found
% 13.32/7.87 Conjecture not found
% 13.37/7.88 Conjecture not found
% 13.37/7.93 Conjecture not found
% 13.56/7.96 Conjecture not found
% 13.58/7.99 Conjecture not found
% 13.58/8.02 Conjecture not found
% 13.76/8.05 Conjecture not found
% 13.76/8.07 Conjecture not found
% 13.76/8.09 Conjecture not found
% 13.83/8.12 Conjecture not found
% 13.83/8.14 Conjecture not found
% 13.83/8.15 Conjecture not found
% 13.88/8.17 Conjecture not found
% 13.88/8.22 Conjecture not found
% 13.88/8.24 Conjecture not found
% 14.11/8.29 Conjecture not found
% 14.11/8.29 Conjecture not found
% 14.11/8.31 Conjecture not found
% 14.30/8.35 Conjecture not found
% 14.30/8.37 Conjecture not found
% 14.30/8.39 Conjecture not found
% 14.30/8.40 Conjecture not found
% 14.37/8.42 Conjecture not found
% 14.37/8.42 Conjecture not found
% 14.37/8.43 Conjecture not found
% 14.37/8.43 Conjecture not found
% 14.37/8.46 Conjecture not found
% 14.64/8.57 Conjecture not found
% 14.64/8.58 Conjecture not found
% 14.68/8.60 Conjecture not found
% 14.68/8.62 Conjecture not found
% 14.81/8.64 Conjecture not found
% 14.81/8.68 Conjecture not found
% 14.91/8.70 Conjecture not found
% 14.91/8.74 Conjecture not found
% 14.97/8.78 Conjecture not found
% 14.97/8.84 Conjecture not found
% 15.20/8.88 Conjecture not found
% 15.23/8.92 Conjecture not found
% 15.51/9.07 Conjecture not found
% 15.57/9.15 Conjecture not found
% 15.84/9.22 Conjecture not found
% 15.84/9.23 Conjecture not found
% 15.84/9.25 Conjecture not found
% 15.84/9.28 Conjecture not found
% 16.04/9.34 Conjecture not found
% 16.04/9.36 Conjecture not found
% 16.15/9.42 Conjecture not found
% 16.40/9.51 Conjecture not found
% 16.44/9.56 Conjecture not found
% 16.44/9.59 Conjecture not found
% 16.64/9.66 Conjecture not found
% 16.64/9.68 Conjecture not found
% 16.74/9.72 Conjecture not found
% 16.74/9.77 Conjecture not found
% 16.97/9.82 Conjecture not found
% 17.25/9.92 Conjecture not found
% 17.25/9.94 Conjecture not found
% 17.25/9.97 Conjecture not found
% 17.25/9.98 Conjecture not found
% 17.34/10.00 Conjecture not found
% 17.57/10.10 Conjecture not found
% 17.67/10.18 Conjecture not found
% 17.67/10.20 Conjecture not found
% 17.71/10.23 Conjecture not found
% 18.29/10.47 Conjecture not found
% 18.35/10.54 Conjecture not found
% 18.35/10.58 Conjecture not found
% 18.35/10.60 Conjecture not found
% 18.42/10.61 Conjecture not found
% 18.42/10.62 Conjecture not found
% 18.66/10.71 Conjecture not found
% 18.66/10.77 Conjecture not found
% 19.01/10.86 Conjecture not found
% 19.01/10.89 Conjecture not found
% 19.01/10.91 Conjecture not found
% 19.33/11.02 Conjecture not found
% 19.41/11.07 Conjecture not found
% 19.41/11.11 Conjecture not found
% 19.68/11.17 Conjecture not found
% 19.68/11.23 Conjecture not found
% 19.77/11.24 Conjecture not found
% 19.77/11.27 Conjecture not found
% 19.77/11.27 Conjecture not found
% 19.81/11.29 Conjecture not found
% 19.81/11.32 Conjecture not found
% 20.08/11.37 Conjecture not found
% 20.08/11.41 Conjecture not found
% 20.13/11.44 Conjecture not found
% 20.16/11.50 Conjecture not found
% 20.16/11.51 Conjecture not found
% 20.23/11.53 Conjecture not found
% 20.23/11.56 Conjecture not found
% 20.56/11.69 Conjecture not found
% 20.56/11.71 Conjecture not found
% 20.72/11.75 Conjecture not found
% 20.72/11.77 Conjecture not found
% 20.72/11.77 Conjecture not found
% 20.72/11.78 Conjecture not found
% 20.72/11.80 Conjecture not found
% 20.90/11.87 Conjecture not found
% 20.90/11.88 Conjecture not found
% 20.96/11.89 Conjecture not found
% 21.09/11.97 Conjecture not found
% 21.28/12.06 Conjecture not found
% 21.35/12.13 Conjecture not found
% 21.35/12.14 Conjecture not found
% 21.71/12.28 Conjecture not found
% 21.95/12.43 Conjecture not found
% 21.95/12.46 Conjecture not found
% 22.12/12.52 Conjecture not found
% 22.12/12.54 Conjecture not found
% 22.12/12.55 Conjecture not found
% 22.26/12.62 Conjecture not found
% 22.55/12.71 Conjecture not found
% 22.55/12.76 Conjecture not found
% 22.55/12.78 Conjecture not found
% 22.94/12.90 Conjecture not found
% 22.97/12.96 Conjecture not found
% 22.97/12.98 Conjecture not found
% 23.06/13.03 Conjecture not found
% 23.06/13.07 Conjecture not found
% 23.06/13.08 Conjecture not found
% 23.17/13.14 Conjecture not found
% 23.42/13.23 Conjecture not found
% 23.42/13.25 Conjecture not found
% 23.42/13.26 Conjecture not found
% 23.76/13.33 Conjecture not found
% 23.76/13.40 Conjecture not found
% 23.85/13.40 Conjecture not found
% 23.85/13.46 Conjecture not found
% 23.92/13.50 Conjecture not found
% 23.92/13.53 Conjecture not found
% 24.21/13.58 Conjecture not found
% 24.30/13.64 Conjecture not found
% 24.30/13.65 Conjecture not found
% 24.36/13.70 Conjecture not found
% 24.56/13.79 Conjecture not found
% 24.73/13.88 Conjecture not found
% 24.77/13.90 Conjecture not found
% 24.81/13.96 Conjecture not found
% 24.81/13.99 Conjecture not found
% 24.81/14.01 Conjecture not found
% 24.81/14.01 Conjecture not found
% 24.81/14.03 Conjecture not found
% 25.16/14.06 Conjecture not found
% 25.16/14.07 Conjecture not found
% 25.22/14.15 Conjecture not found
% 25.28/14.22 Conjecture not found
% 25.63/14.29 Conjecture not found
% 25.63/14.31 Conjecture not found
% 25.63/14.31 Conjecture not found
% 25.71/14.36 Conjecture not found
% 25.71/14.38 Conjecture not found
% 25.71/14.39 Conjecture not found
% 25.89/14.48 Conjecture not found
% 26.07/14.51 Conjecture not found
% 26.15/14.57 Conjecture not found
% 26.19/14.62 Conjecture not found
% 26.23/14.65 Conjecture not found
% 26.23/14.69 Conjecture not found
% 26.76/14.96 Conjecture not found
% 27.10/15.07 Conjecture not found
% 27.16/15.09 Conjecture not found
% 27.24/15.19 Conjecture not found
% 27.24/15.20 Conjecture not found
% 27.35/15.28 Conjecture not found
% 27.64/15.33 Conjecture not found
% 27.70/15.43 Conjecture not found
% 27.79/15.48 Conjecture not found
% 27.79/15.49 Conjecture not found
% 27.82/15.51 Conjecture not found
% 27.84/15.54 Conjecture not found
% 28.16/15.61 Conjecture not found
% 28.23/15.69 Conjecture not found
% 28.23/15.71 Conjecture not found
% 28.23/15.71 Conjecture not found
% 28.23/15.71 Conjecture not found
% 28.23/15.75 Conjecture not found
% 28.32/15.77 Conjecture not found
% 28.60/15.84 Conjecture not found
% 28.73/15.93 Conjecture not found
% 28.73/15.99 Conjecture not found
% 28.80/16.01 Conjecture not found
% 28.80/16.02 Conjecture not found
% 28.80/16.03 Conjecture not found
% 29.15/16.11 Conjecture not found
% 29.15/16.15 Conjecture not found
% 29.15/16.16 Conjecture not found
% 29.25/16.19 Conjecture not found
% 29.28/16.22 Conjecture not found
% 29.28/16.26 Conjecture not found
% 29.28/16.29 Conjecture not found
% 29.37/16.32 Conjecture not found
% 29.72/16.42 Conjecture not found
% 29.72/16.45 Conjecture not found
% 29.72/16.46 Conjecture not found
% 29.86/16.53 Conjecture not found
% 29.86/16.55 Conjecture not found
% 29.86/16.60 Conjecture not found
% 30.25/16.63 Conjecture not found
% 30.25/16.64 Conjecture not found
% 30.25/16.65 Conjecture not found
% 30.25/16.68 Conjecture not found
% 30.31/16.68 Conjecture not found
% 30.40/16.77 Conjecture not found
% 30.51/16.79 Conjecture not found
% 30.51/16.81 Conjecture not found
% 30.72/16.87 Conjecture not found
% 30.72/16.90 Conjecture not found
% 30.80/16.93 Conjecture not found
% 30.80/16.95 Conjecture not found
% 30.80/16.98 Conjecture not found
% 30.87/17.01 Conjecture not found
% 30.87/17.05 Conjecture not found
% 30.95/17.07 Conjecture not found
% 31.26/17.14 Conjecture not found
% 31.30/17.16 Conjecture not found
% 31.30/17.17 Conjecture not found
% 31.30/17.19 Conjecture not found
% 31.37/17.22 Conjecture not found
% 31.37/17.26 Conjecture not found
% 31.42/17.28 Conjecture not found
% 31.42/17.31 Conjecture not found
% 31.42/17.31 Conjecture not found
% 31.82/17.41 Conjecture not found
% 31.89/17.47 Conjecture not found
% 31.89/17.49 Conjecture not found
% 31.89/17.51 Conjecture not found
% 31.95/17.53 Conjecture not found
% 32.01/17.57 Conjecture not found
% 32.01/17.58 Conjecture not found
% 32.01/17.60 Conjecture not found
% 32.01/17.63 Conjecture not found
% 32.01/17.67 Conjecture not found
% 32.39/17.70 Conjecture not found
% 32.44/17.74 Conjecture not found
% 32.49/17.77 Conjecture not found
% 32.58/17.85 Conjecture not found
% 32.78/17.90 Conjecture not found
% 32.97/17.96 Conjecture not found
% 33.04/18.04 Conjecture not found
% 33.09/18.12 Conjecture not found
% 33.18/18.16 Conjecture not found
% 33.61/18.27 Conjecture not found
% 33.61/18.30 Conjecture not found
% 33.61/18.31 Conjecture not found
% 33.61/18.32 Conjecture not found
% 33.67/18.34 Conjecture not found
% 33.67/18.35 Conjecture not found
% 33.71/18.38 Conjecture not found
% 33.71/18.38 Conjecture not found
% 33.71/18.41 Conjecture not found
% 33.71/18.42 Conjecture not found
% 33.78/18.46 Conjecture not found
% 34.11/18.56 Conjecture not found
% 34.23/18.58 Conjecture not found
% 34.23/18.61 Conjecture not found
% 34.23/18.62 Conjecture not found
% 34.29/18.63 Conjecture not found
% 34.32/18.68 Conjecture not found
% 34.39/18.75 Conjecture not found
% 34.70/18.81 Conjecture not found
% 34.70/18.84 Conjecture not found
% 34.92/18.93 Conjecture not found
% 34.94/18.97 Conjecture not found
% 34.94/19.00 Conjecture not found
% 35.01/19.03 Conjecture not found
% 35.01/19.05 Conjecture not found
% 35.06/19.12 Conjecture not found
% 35.06/19.15 Conjecture not found
% 35.50/19.16 Conjecture not found
% 35.53/19.21 Conjecture not found
% 35.57/19.23 Conjecture not found
% 35.59/19.24 Conjecture not found
% 35.59/19.26 Conjecture not found
% 35.59/19.27 Conjecture not found
% 35.59/19.32 Conjecture not found
% 35.68/19.36 Conjecture not found
% 35.73/19.44 Conjecture not found
% 36.16/19.48 Conjecture not found
% 36.22/19.56 Conjecture not found
% 36.22/19.57 Conjecture not found
% 36.22/19.59 Conjecture not found
% 36.22/19.60 Conjecture not found
% 36.22/19.61 Conjecture not found
% 36.31/19.62 Conjecture not found
% 36.31/19.63 Conjecture not found
% 36.54/19.72 Conjecture not found
% 36.54/19.74 Conjecture not found
% 36.83/19.77 Conjecture not found
% 36.87/19.81 Conjecture not found
% 36.87/19.82 Conjecture not found
% 36.90/19.84 Conjecture not found
% 36.90/19.88 Conjecture not found
% 36.90/19.89 Conjecture not found
% 36.90/19.92 Conjecture not found
% 36.99/19.96 Conjecture not found
% 36.99/19.98 Conjecture not found
% 37.07/20.06 Conjecture not found
% 37.47/20.08 Conjecture not found
% 37.47/20.09 Conjecture not found
% 37.47/20.10 Conjecture not found
% 37.47/20.14 Conjecture not found
% 37.60/20.19 Conjecture not found
% 37.60/20.22 Conjecture not found
% 37.64/20.26 Conjecture not found
% 37.64/20.29 Conjecture not found
% 37.64/20.30 Conjecture not found
% 37.71/20.32 Conjecture not found
% 37.86/20.46 Conjecture not found
% 38.11/20.49 Conjecture not found
% 38.16/20.51 Conjecture not found
% 38.16/20.54 Conjecture not found
% 38.20/20.56 Conjecture not found
% 38.20/20.59 Conjecture not found
% 38.25/20.61 Conjecture not found
% 38.25/20.63 Conjecture not found
% 38.30/20.66 Conjecture not found
% 38.30/20.74 Conjecture not found
% 38.77/20.77 Conjecture not found
% 38.81/20.80 Conjecture not found
% 38.81/20.82 Conjecture not found
% 38.81/20.84 Conjecture not found
% 38.87/20.87 Conjecture not found
% 38.92/20.91 Conjecture not found
% 38.97/20.96 Conjecture not found
% 38.97/20.97 Conjecture not found
% 38.97/21.00 Conjecture not found
% 38.97/21.04 Conjecture not found
% 39.07/21.09 Conjecture not found
% 39.38/21.13 Conjecture not found
% 39.58/21.17 Conjecture not found
% 39.58/21.19 Conjecture not found
% 39.58/21.20 Conjecture not found
% 39.58/21.24 Conjecture not found
% 39.68/21.26 Conjecture not found
% 39.68/21.28 Conjecture not found
% 39.72/21.33 Conjecture not found
% 39.72/21.33 Conjecture not found
% 39.77/21.40 Conjecture not found
% 39.83/21.41 Conjecture not found
% 39.83/21.43 Conjecture not found
% 40.05/21.46 Conjecture not found
% 40.05/21.52 Conjecture not found
% 40.05/21.54 Conjecture not found
% 40.38/21.56 Conjecture not found
% 40.38/21.58 Conjecture not found
% 40.43/21.59 Conjecture not found
% 40.43/21.63 Conjecture not found
% 40.50/21.67 Conjecture not found
% 40.55/21.74 Conjecture not found
% 40.59/21.76 Conjecture not found
% 40.59/21.77 Conjecture not found
% 40.59/21.77 Conjecture not found
% 41.09/21.91 Conjecture not found
% 41.09/21.92 Conjecture not found
% 41.09/21.94 Conjecture not found
% 41.18/21.96 Conjecture not found
% 41.24/22.02 Conjecture not found
% 41.24/22.05 Conjecture not found
% 41.82/22.23 Conjecture not found
% 41.82/22.24 Conjecture not found
% 41.91/22.29 Conjecture not found
% 41.91/22.30 Conjecture not found
% 41.91/22.31 Conjecture not found
% 41.91/22.32 Conjecture not found
% 41.98/22.35 Conjecture not found
% 41.98/22.40 Conjecture not found
% 42.05/22.42 Conjecture not found
% 42.05/22.44 Conjecture not found
% 42.05/22.46 Conjecture not found
% 42.11/22.54 Conjecture not found
% 42.44/22.56 Conjecture not found
% 42.62/22.61 Conjecture not found
% 42.73/22.68 Conjecture not found
% 42.73/22.70 Conjecture not found
% 42.83/22.75 Conjecture not found
% 42.83/22.79 Conjecture not found
% 42.89/22.83 Conjecture not found
% 42.89/22.85 Conjecture not found
% 43.02/22.96 Conjecture not found
% 43.56/23.02 Conjecture not found
% 43.56/23.05 Conjecture not found
% 43.56/23.08 Conjecture not found
% 43.63/23.11 Conjecture not found
% 43.63/23.11 Start search
% 85.32/33.68 nb_step : 1 - limit : 107726
% 85.75/34.11 Launch Gotab with destructive = true
%------------------------------------------------------------------------------