TSTP Solution File: LAT348+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT348+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n003.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.23s 91.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.09 % Problem : LAT348+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.10 % Command : goeland -dmt -presko -proof %s
% 0.09/0.30 % Computer : n003.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 300
% 0.09/0.30 % DateTime : Thu Sep 1 15:29:30 EDT 2022
% 0.09/0.30 % CPUTime :
% 0.09/0.30 [DMT] DMT loaded with preskolemization
% 0.09/0.30 [EQ] equality loaded.
% 0.09/0.30 [0.000033s][1][MAIN] Problem : theBenchmark.p
% 0.14/0.32 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.33 Conjecture not found
% 0.14/0.35 Conjecture not found
% 0.14/0.36 Conjecture not found
% 0.14/0.39 Conjecture not found
% 0.14/0.41 Conjecture not found
% 0.14/0.44 Conjecture not found
% 0.14/0.44 Conjecture not found
% 0.14/0.48 Conjecture not found
% 0.14/0.52 Conjecture not found
% 0.14/0.54 Conjecture not found
% 0.45/0.55 Conjecture not found
% 0.45/0.56 Conjecture not found
% 0.48/0.58 Conjecture not found
% 0.48/0.61 Conjecture not found
% 0.60/0.67 Conjecture not found
% 0.72/0.81 Conjecture not found
% 0.72/0.81 Conjecture not found
% 0.93/0.95 Conjecture not found
% 0.96/1.02 Conjecture not found
% 1.10/1.14 Conjecture not found
% 1.23/1.19 Conjecture not found
% 1.33/1.29 Conjecture not found
% 1.40/1.33 Conjecture not found
% 1.47/1.41 Conjecture not found
% 1.47/1.44 Conjecture not found
% 1.58/1.48 Conjecture not found
% 1.62/1.49 Conjecture not found
% 1.62/1.50 Conjecture not found
% 1.62/1.51 Conjecture not found
% 1.62/1.52 Conjecture not found
% 1.84/1.65 Conjecture not found
% 1.84/1.68 Conjecture not found
% 1.84/1.68 Conjecture not found
% 1.92/1.70 Conjecture not found
% 1.92/1.70 Conjecture not found
% 1.92/1.71 Conjecture not found
% 1.92/1.71 Conjecture not found
% 1.92/1.72 Conjecture not found
% 1.92/1.72 Conjecture not found
% 2.05/1.79 Conjecture not found
% 2.13/1.84 Conjecture not found
% 2.13/1.84 Conjecture not found
% 2.13/1.85 Conjecture not found
% 2.13/1.87 Conjecture not found
% 2.13/1.89 Conjecture not found
% 2.25/1.94 Conjecture not found
% 2.25/1.95 Conjecture not found
% 2.31/2.00 Conjecture not found
% 2.31/2.02 Conjecture not found
% 2.31/2.05 Conjecture not found
% 2.31/2.05 Conjecture not found
% 2.41/2.07 Conjecture not found
% 2.43/2.11 Conjecture not found
% 2.53/2.18 Conjecture not found
% 2.53/2.23 Conjecture not found
% 2.53/2.23 Conjecture not found
% 2.67/2.24 Conjecture not found
% 2.67/2.25 Conjecture not found
% 2.67/2.27 Conjecture not found
% 2.67/2.28 Conjecture not found
% 2.67/2.29 Conjecture not found
% 2.80/2.33 Conjecture not found
% 2.80/2.34 Conjecture not found
% 2.80/2.36 Conjecture not found
% 2.91/2.36 Conjecture not found
% 2.91/2.37 Conjecture not found
% 2.91/2.38 Conjecture not found
% 3.10/2.47 Conjecture not found
% 3.10/2.48 Conjecture not found
% 3.10/2.49 Conjecture not found
% 3.24/2.57 Conjecture not found
% 3.24/2.58 Conjecture not found
% 3.24/2.59 Conjecture not found
% 3.37/2.60 Conjecture not found
% 3.37/2.62 Conjecture not found
% 3.49/2.68 Conjecture not found
% 3.49/2.73 Conjecture not found
% 3.72/2.77 Conjecture not found
% 3.77/2.82 Conjecture not found
% 3.77/2.84 Conjecture not found
% 3.86/2.88 Conjecture not found
% 3.86/2.88 Conjecture not found
% 3.91/2.92 Conjecture not found
% 3.91/2.94 Conjecture not found
% 4.01/2.97 Conjecture not found
% 4.01/2.98 Conjecture not found
% 4.19/3.05 Conjecture not found
% 4.19/3.06 Conjecture not found
% 4.28/3.10 Conjecture not found
% 4.38/3.17 Conjecture not found
% 4.54/3.27 Conjecture not found
% 4.82/3.44 Conjecture not found
% 5.32/3.66 Conjecture not found
% 5.89/3.99 Conjecture not found
% 5.89/4.02 Conjecture not found
% 6.03/4.05 Conjecture not found
% 6.21/4.16 Conjecture not found
% 6.31/4.20 Conjecture not found
% 6.37/4.25 Conjecture not found
% 6.47/4.32 Conjecture not found
% 6.65/4.38 Conjecture not found
% 6.74/4.45 Conjecture not found
% 6.85/4.50 Conjecture not found
% 6.85/4.52 Conjecture not found
% 6.85/4.53 Conjecture not found
% 7.00/4.56 Conjecture not found
% 7.00/4.57 Conjecture not found
% 7.17/4.67 Conjecture not found
% 7.24/4.76 Conjecture not found
% 7.37/4.81 Conjecture not found
% 7.56/4.90 Conjecture not found
% 7.56/4.92 Conjecture not found
% 7.70/4.95 Conjecture not found
% 7.70/4.96 Conjecture not found
% 7.70/4.97 Conjecture not found
% 7.70/5.01 Conjecture not found
% 7.85/5.03 Conjecture not found
% 7.85/5.04 Conjecture not found
% 7.85/5.07 Conjecture not found
% 7.85/5.07 Conjecture not found
% 7.85/5.07 Conjecture not found
% 7.98/5.10 Conjecture not found
% 7.98/5.14 Conjecture not found
% 7.98/5.15 Conjecture not found
% 8.16/5.19 Conjecture not found
% 8.19/5.22 Conjecture not found
% 8.53/5.41 Conjecture not found
% 8.53/5.45 Conjecture not found
% 8.53/5.46 Conjecture not found
% 8.64/5.49 Conjecture not found
% 8.69/5.51 Conjecture not found
% 8.77/5.55 Conjecture not found
% 8.77/5.60 Conjecture not found
% 8.77/5.61 Conjecture not found
% 8.91/5.64 Conjecture not found
% 8.91/5.66 Conjecture not found
% 9.03/5.72 Conjecture not found
% 9.94/6.24 Conjecture not found
% 10.94/6.79 Conjecture not found
% 11.13/6.91 Conjecture not found
% 11.23/6.96 Conjecture not found
% 11.23/6.98 Conjecture not found
% 11.36/7.01 Conjecture not found
% 11.42/7.06 Conjecture not found
% 11.42/7.07 Conjecture not found
% 11.42/7.09 Conjecture not found
% 11.57/7.14 Conjecture not found
% 11.61/7.19 Conjecture not found
% 11.61/7.24 Conjecture not found
% 11.81/7.27 Conjecture not found
% 11.81/7.28 Conjecture not found
% 11.86/7.31 Conjecture not found
% 12.02/7.36 Conjecture not found
% 12.03/7.41 Conjecture not found
% 12.12/7.45 Conjecture not found
% 12.12/7.53 Conjecture not found
% 12.30/7.54 Conjecture not found
% 12.30/7.56 Conjecture not found
% 12.35/7.58 Conjecture not found
% 12.35/7.61 Conjecture not found
% 12.52/7.66 Conjecture not found
% 12.54/7.70 Conjecture not found
% 12.54/7.71 Conjecture not found
% 12.73/7.78 Conjecture not found
% 12.81/7.83 Conjecture not found
% 12.81/7.84 Conjecture not found
% 12.81/7.85 Conjecture not found
% 12.81/7.88 Conjecture not found
% 12.98/7.90 Conjecture not found
% 12.98/7.92 Conjecture not found
% 12.98/7.95 Conjecture not found
% 13.05/7.97 Conjecture not found
% 13.07/7.99 Conjecture not found
% 13.07/8.00 Conjecture not found
% 13.24/8.06 Conjecture not found
% 13.24/8.08 Conjecture not found
% 13.24/8.10 Conjecture not found
% 13.33/8.12 Conjecture not found
% 13.33/8.15 Conjecture not found
% 13.33/8.17 Conjecture not found
% 13.51/8.19 Conjecture not found
% 13.51/8.22 Conjecture not found
% 13.51/8.25 Conjecture not found
% 13.59/8.26 Conjecture not found
% 13.61/8.30 Conjecture not found
% 13.78/8.34 Conjecture not found
% 13.78/8.36 Conjecture not found
% 13.78/8.39 Conjecture not found
% 13.78/8.39 Conjecture not found
% 13.78/8.41 Conjecture not found
% 13.88/8.45 Conjecture not found
% 13.88/8.47 Conjecture not found
% 13.88/8.49 Conjecture not found
% 14.07/8.50 Conjecture not found
% 14.07/8.52 Conjecture not found
% 14.07/8.52 Conjecture not found
% 14.07/8.53 Conjecture not found
% 14.07/8.53 Conjecture not found
% 14.07/8.56 Conjecture not found
% 14.32/8.68 Conjecture not found
% 14.32/8.69 Conjecture not found
% 14.32/8.71 Conjecture not found
% 14.42/8.72 Conjecture not found
% 14.42/8.75 Conjecture not found
% 14.42/8.78 Conjecture not found
% 14.62/8.81 Conjecture not found
% 14.62/8.84 Conjecture not found
% 14.70/8.89 Conjecture not found
% 14.89/8.95 Conjecture not found
% 14.89/8.99 Conjecture not found
% 14.89/9.03 Conjecture not found
% 15.27/9.18 Conjecture not found
% 15.50/9.27 Conjecture not found
% 15.53/9.31 Conjecture not found
% 15.53/9.32 Conjecture not found
% 15.57/9.34 Conjecture not found
% 15.57/9.38 Conjecture not found
% 15.80/9.43 Conjecture not found
% 15.80/9.46 Conjecture not found
% 15.87/9.53 Conjecture not found
% 16.13/9.62 Conjecture not found
% 16.18/9.68 Conjecture not found
% 16.24/9.72 Conjecture not found
% 16.45/9.79 Conjecture not found
% 16.45/9.81 Conjecture not found
% 16.54/9.87 Conjecture not found
% 16.57/9.91 Conjecture not found
% 16.79/10.00 Conjecture not found
% 16.90/10.09 Conjecture not found
% 16.90/10.11 Conjecture not found
% 16.90/10.14 Conjecture not found
% 17.17/10.17 Conjecture not found
% 17.17/10.19 Conjecture not found
% 17.37/10.28 Conjecture not found
% 17.52/10.38 Conjecture not found
% 17.52/10.39 Conjecture not found
% 17.55/10.42 Conjecture not found
% 18.16/10.67 Conjecture not found
% 18.19/10.73 Conjecture not found
% 18.25/10.77 Conjecture not found
% 18.25/10.79 Conjecture not found
% 18.25/10.80 Conjecture not found
% 18.25/10.81 Conjecture not found
% 18.53/10.90 Conjecture not found
% 18.61/10.97 Conjecture not found
% 18.90/11.08 Conjecture not found
% 18.96/11.13 Conjecture not found
% 18.96/11.15 Conjecture not found
% 19.32/11.30 Conjecture not found
% 19.32/11.35 Conjecture not found
% 19.40/11.39 Conjecture not found
% 19.65/11.46 Conjecture not found
% 19.65/11.51 Conjecture not found
% 19.65/11.52 Conjecture not found
% 19.74/11.55 Conjecture not found
% 19.74/11.56 Conjecture not found
% 19.74/11.57 Conjecture not found
% 19.79/11.63 Conjecture not found
% 20.05/11.67 Conjecture not found
% 20.05/11.70 Conjecture not found
% 20.10/11.73 Conjecture not found
% 20.13/11.78 Conjecture not found
% 20.13/11.79 Conjecture not found
% 20.13/11.81 Conjecture not found
% 20.42/11.85 Conjecture not found
% 20.55/11.97 Conjecture not found
% 20.55/11.98 Conjecture not found
% 20.79/12.05 Conjecture not found
% 20.79/12.06 Conjecture not found
% 20.79/12.06 Conjecture not found
% 20.79/12.07 Conjecture not found
% 20.79/12.08 Conjecture not found
% 20.89/12.13 Conjecture not found
% 20.89/12.14 Conjecture not found
% 20.89/12.15 Conjecture not found
% 20.95/12.24 Conjecture not found
% 21.25/12.31 Conjecture not found
% 21.30/12.38 Conjecture not found
% 21.30/12.41 Conjecture not found
% 21.67/12.51 Conjecture not found
% 22.01/12.68 Conjecture not found
% 22.04/12.70 Conjecture not found
% 22.08/12.74 Conjecture not found
% 22.10/12.76 Conjecture not found
% 22.10/12.77 Conjecture not found
% 22.40/12.89 Conjecture not found
% 22.40/12.95 Conjecture not found
% 22.49/12.99 Conjecture not found
% 22.53/13.02 Conjecture not found
% 22.83/13.14 Conjecture not found
% 22.88/13.17 Conjecture not found
% 22.88/13.18 Conjecture not found
% 23.17/13.26 Conjecture not found
% 23.22/13.31 Conjecture not found
% 23.22/13.32 Conjecture not found
% 23.28/13.36 Conjecture not found
% 23.34/13.43 Conjecture not found
% 23.60/13.47 Conjecture not found
% 23.60/13.48 Conjecture not found
% 23.70/13.55 Conjecture not found
% 23.70/13.59 Conjecture not found
% 23.70/13.59 Conjecture not found
% 23.75/13.65 Conjecture not found
% 24.07/13.72 Conjecture not found
% 24.11/13.76 Conjecture not found
% 24.11/13.80 Conjecture not found
% 24.21/13.86 Conjecture not found
% 24.21/13.87 Conjecture not found
% 24.32/13.94 Conjecture not found
% 24.59/14.02 Conjecture not found
% 24.64/14.14 Conjecture not found
% 24.74/14.17 Conjecture not found
% 25.09/14.26 Conjecture not found
% 25.09/14.28 Conjecture not found
% 25.09/14.29 Conjecture not found
% 25.09/14.29 Conjecture not found
% 25.09/14.30 Conjecture not found
% 25.09/14.32 Conjecture not found
% 25.09/14.33 Conjecture not found
% 25.23/14.40 Conjecture not found
% 25.52/14.48 Conjecture not found
% 25.58/14.52 Conjecture not found
% 25.58/14.53 Conjecture not found
% 25.58/14.54 Conjecture not found
% 25.62/14.58 Conjecture not found
% 25.62/14.61 Conjecture not found
% 25.62/14.62 Conjecture not found
% 25.94/14.67 Conjecture not found
% 25.94/14.68 Conjecture not found
% 26.00/14.71 Conjecture not found
% 26.18/14.76 Conjecture not found
% 26.33/14.81 Conjecture not found
% 26.37/14.85 Conjecture not found
% 26.82/15.09 Conjecture not found
% 26.90/15.15 Conjecture not found
% 26.90/15.17 Conjecture not found
% 27.08/15.27 Conjecture not found
% 27.08/15.29 Conjecture not found
% 27.32/15.36 Conjecture not found
% 27.38/15.38 Conjecture not found
% 27.48/15.46 Conjecture not found
% 27.54/15.52 Conjecture not found
% 27.79/15.53 Conjecture not found
% 27.79/15.57 Conjecture not found
% 27.86/15.60 Conjecture not found
% 27.86/15.64 Conjecture not found
% 27.93/15.71 Conjecture not found
% 27.93/15.72 Conjecture not found
% 27.93/15.72 Conjecture not found
% 27.93/15.73 Conjecture not found
% 28.14/15.80 Conjecture not found
% 28.14/15.84 Conjecture not found
% 28.40/15.93 Conjecture not found
% 28.45/16.04 Conjecture not found
% 28.56/16.09 Conjecture not found
% 28.56/16.11 Conjecture not found
% 28.60/16.13 Conjecture not found
% 28.73/16.16 Conjecture not found
% 28.73/16.21 Conjecture not found
% 28.96/16.23 Conjecture not found
% 28.96/16.23 Conjecture not found
% 28.96/16.26 Conjecture not found
% 29.01/16.29 Conjecture not found
% 29.01/16.32 Conjecture not found
% 29.01/16.34 Conjecture not found
% 29.39/16.39 Conjecture not found
% 29.47/16.50 Conjecture not found
% 29.53/16.52 Conjecture not found
% 29.53/16.53 Conjecture not found
% 29.57/16.60 Conjecture not found
% 29.57/16.62 Conjecture not found
% 29.98/16.69 Conjecture not found
% 29.98/16.71 Conjecture not found
% 29.98/16.73 Conjecture not found
% 29.98/16.74 Conjecture not found
% 30.07/16.77 Conjecture not found
% 30.07/16.78 Conjecture not found
% 30.21/16.89 Conjecture not found
% 30.21/16.90 Conjecture not found
% 30.21/16.91 Conjecture not found
% 30.52/16.97 Conjecture not found
% 30.56/17.00 Conjecture not found
% 30.56/17.03 Conjecture not found
% 30.56/17.05 Conjecture not found
% 30.63/17.08 Conjecture not found
% 30.68/17.11 Conjecture not found
% 30.71/17.15 Conjecture not found
% 30.71/17.19 Conjecture not found
% 31.09/17.25 Conjecture not found
% 31.09/17.28 Conjecture not found
% 31.15/17.30 Conjecture not found
% 31.15/17.31 Conjecture not found
% 31.15/17.34 Conjecture not found
% 31.22/17.38 Conjecture not found
% 31.26/17.41 Conjecture not found
% 31.32/17.45 Conjecture not found
% 31.32/17.47 Conjecture not found
% 31.70/17.56 Conjecture not found
% 31.75/17.61 Conjecture not found
% 31.75/17.63 Conjecture not found
% 31.81/17.65 Conjecture not found
% 31.81/17.68 Conjecture not found
% 31.81/17.71 Conjecture not found
% 31.81/17.72 Conjecture not found
% 31.81/17.74 Conjecture not found
% 31.90/17.78 Conjecture not found
% 32.16/17.81 Conjecture not found
% 32.16/17.84 Conjecture not found
% 32.38/17.90 Conjecture not found
% 32.38/17.95 Conjecture not found
% 32.55/18.05 Conjecture not found
% 32.55/18.10 Conjecture not found
% 32.96/18.16 Conjecture not found
% 33.05/18.24 Conjecture not found
% 33.05/18.33 Conjecture not found
% 33.14/18.37 Conjecture not found
% 33.60/18.47 Conjecture not found
% 33.60/18.50 Conjecture not found
% 33.60/18.51 Conjecture not found
% 33.60/18.52 Conjecture not found
% 33.60/18.54 Conjecture not found
% 33.60/18.55 Conjecture not found
% 33.69/18.58 Conjecture not found
% 33.69/18.58 Conjecture not found
% 33.73/18.61 Conjecture not found
% 33.73/18.62 Conjecture not found
% 33.78/18.68 Conjecture not found
% 34.16/18.79 Conjecture not found
% 34.16/18.84 Conjecture not found
% 34.36/18.88 Conjecture not found
% 34.36/18.90 Conjecture not found
% 34.36/18.91 Conjecture not found
% 34.41/18.98 Conjecture not found
% 34.75/19.09 Conjecture not found
% 34.75/19.14 Conjecture not found
% 34.98/19.16 Conjecture not found
% 35.07/19.25 Conjecture not found
% 35.07/19.29 Conjecture not found
% 35.07/19.32 Conjecture not found
% 35.15/19.35 Conjecture not found
% 35.15/19.36 Conjecture not found
% 35.63/19.47 Conjecture not found
% 35.63/19.49 Conjecture not found
% 35.63/19.50 Conjecture not found
% 35.68/19.54 Conjecture not found
% 35.71/19.56 Conjecture not found
% 35.71/19.57 Conjecture not found
% 35.71/19.59 Conjecture not found
% 35.71/19.60 Conjecture not found
% 35.79/19.65 Conjecture not found
% 35.84/19.69 Conjecture not found
% 36.05/19.77 Conjecture not found
% 36.34/19.85 Conjecture not found
% 36.44/19.95 Conjecture not found
% 36.48/19.97 Conjecture not found
% 36.48/19.99 Conjecture not found
% 36.48/20.00 Conjecture not found
% 36.48/20.02 Conjecture not found
% 36.55/20.04 Conjecture not found
% 36.55/20.04 Conjecture not found
% 37.03/20.18 Conjecture not found
% 37.03/20.19 Conjecture not found
% 37.03/20.21 Conjecture not found
% 37.10/20.24 Conjecture not found
% 37.10/20.26 Conjecture not found
% 37.14/20.28 Conjecture not found
% 37.14/20.31 Conjecture not found
% 37.14/20.32 Conjecture not found
% 37.22/20.35 Conjecture not found
% 37.25/20.39 Conjecture not found
% 37.25/20.42 Conjecture not found
% 37.70/20.49 Conjecture not found
% 37.70/20.51 Conjecture not found
% 37.76/20.53 Conjecture not found
% 37.76/20.54 Conjecture not found
% 37.80/20.59 Conjecture not found
% 37.88/20.66 Conjecture not found
% 37.93/20.69 Conjecture not found
% 37.99/20.75 Conjecture not found
% 38.45/20.82 Conjecture not found
% 38.45/20.84 Conjecture not found
% 38.49/20.88 Conjecture not found
% 38.58/20.95 Conjecture not found
% 38.58/20.99 Conjecture not found
% 38.62/21.02 Conjecture not found
% 38.67/21.05 Conjecture not found
% 38.67/21.08 Conjecture not found
% 38.73/21.12 Conjecture not found
% 39.01/21.20 Conjecture not found
% 39.01/21.23 Conjecture not found
% 39.28/21.27 Conjecture not found
% 39.33/21.30 Conjecture not found
% 39.33/21.32 Conjecture not found
% 39.38/21.35 Conjecture not found
% 39.38/21.37 Conjecture not found
% 39.38/21.38 Conjecture not found
% 39.44/21.42 Conjecture not found
% 39.44/21.45 Conjecture not found
% 39.50/21.51 Conjecture not found
% 39.50/21.53 Conjecture not found
% 40.01/21.58 Conjecture not found
% 40.08/21.63 Conjecture not found
% 40.08/21.66 Conjecture not found
% 40.08/21.68 Conjecture not found
% 40.15/21.70 Conjecture not found
% 40.15/21.71 Conjecture not found
% 40.15/21.73 Conjecture not found
% 40.21/21.77 Conjecture not found
% 40.21/21.78 Conjecture not found
% 40.21/21.81 Conjecture not found
% 40.43/21.86 Conjecture not found
% 40.43/21.88 Conjecture not found
% 40.79/21.98 Conjecture not found
% 40.79/21.99 Conjecture not found
% 40.79/22.01 Conjecture not found
% 40.86/22.02 Conjecture not found
% 40.86/22.06 Conjecture not found
% 40.93/22.08 Conjecture not found
% 40.93/22.11 Conjecture not found
% 40.93/22.14 Conjecture not found
% 40.93/22.15 Conjecture not found
% 41.03/22.20 Conjecture not found
% 41.08/22.25 Conjecture not found
% 41.64/22.40 Conjecture not found
% 41.64/22.42 Conjecture not found
% 41.64/22.43 Conjecture not found
% 41.64/22.44 Conjecture not found
% 41.79/22.53 Conjecture not found
% 41.79/22.54 Conjecture not found
% 41.81/22.56 Conjecture not found
% 41.81/22.60 Conjecture not found
% 42.25/22.70 Conjecture not found
% 42.46/22.75 Conjecture not found
% 42.56/22.88 Conjecture not found
% 42.56/22.89 Conjecture not found
% 42.64/22.95 Conjecture not found
% 42.64/22.96 Conjecture not found
% 42.64/22.97 Conjecture not found
% 42.64/22.97 Conjecture not found
% 42.70/23.01 Conjecture not found
% 43.24/23.08 Conjecture not found
% 43.24/23.11 Conjecture not found
% 43.31/23.13 Conjecture not found
% 43.31/23.16 Conjecture not found
% 43.41/23.23 Conjecture not found
% 43.41/23.24 Conjecture not found
% 43.45/23.27 Conjecture not found
% 43.45/23.31 Conjecture not found
% 43.52/23.34 Conjecture not found
% 43.55/23.39 Conjecture not found
% 43.55/23.42 Conjecture not found
% 43.79/23.48 Conjecture not found
% 43.79/23.52 Conjecture not found
% 44.22/23.63 Conjecture not found
% 44.30/23.68 Conjecture not found
% 44.33/23.70 Conjecture not found
% 44.33/23.73 Conjecture not found
% 44.42/23.77 Conjecture not found
% 44.42/23.77 Start search
% 85.96/34.69 nb_step : 1 - limit : 107735
% 86.54/35.12 Launch Gotab with destructive = true
%------------------------------------------------------------------------------