TSTP Solution File: LAT341+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT341+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.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:07 EDT 2022
% Result : Timeout 300.14s 91.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LAT341+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n025.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 300
% 0.11/0.33 % DateTime : Thu Sep 1 15:20:54 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.33 [DMT] DMT loaded with preskolemization
% 0.11/0.33 [EQ] equality loaded.
% 0.11/0.33 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.11/0.36 Conjecture not found
% 0.11/0.36 Conjecture not found
% 0.11/0.37 Conjecture not found
% 0.11/0.37 Conjecture not found
% 0.17/0.38 Conjecture not found
% 0.17/0.40 Conjecture not found
% 0.17/0.42 Conjecture not found
% 0.17/0.44 Conjecture not found
% 0.17/0.45 Conjecture not found
% 0.17/0.45 Conjecture not found
% 0.17/0.49 Conjecture not found
% 0.17/0.52 Conjecture not found
% 0.46/0.54 Conjecture not found
% 0.46/0.54 Conjecture not found
% 0.49/0.55 Conjecture not found
% 0.49/0.57 Conjecture not found
% 0.49/0.59 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.71/0.71 Conjecture not found
% 0.71/0.72 Conjecture not found
% 0.85/0.79 Conjecture not found
% 0.94/0.85 Conjecture not found
% 1.13/0.93 Conjecture not found
% 1.13/0.96 Conjecture not found
% 1.22/1.04 Conjecture not found
% 1.33/1.08 Conjecture not found
% 1.37/1.13 Conjecture not found
% 1.48/1.15 Conjecture not found
% 1.53/1.19 Conjecture not found
% 1.53/1.20 Conjecture not found
% 1.53/1.21 Conjecture not found
% 1.53/1.22 Conjecture not found
% 1.53/1.22 Conjecture not found
% 1.70/1.33 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.88/1.37 Conjecture not found
% 1.88/1.37 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 2.01/1.45 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.06/1.51 Conjecture not found
% 2.06/1.52 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.21/1.57 Conjecture not found
% 2.21/1.59 Conjecture not found
% 2.21/1.61 Conjecture not found
% 2.21/1.63 Conjecture not found
% 2.21/1.63 Conjecture not found
% 2.35/1.65 Conjecture not found
% 2.41/1.68 Conjecture not found
% 2.41/1.75 Conjecture not found
% 2.56/1.80 Conjecture not found
% 2.56/1.81 Conjecture not found
% 2.64/1.83 Conjecture not found
% 2.71/1.86 Conjecture not found
% 2.71/1.89 Conjecture not found
% 2.71/1.91 Conjecture not found
% 2.86/1.93 Conjecture not found
% 2.95/2.02 Conjecture not found
% 3.05/2.06 Conjecture not found
% 3.07/2.08 Conjecture not found
% 3.07/2.09 Conjecture not found
% 3.07/2.11 Conjecture not found
% 3.16/2.13 Conjecture not found
% 3.44/2.33 Conjecture not found
% 3.57/2.36 Conjecture not found
% 3.57/2.38 Conjecture not found
% 3.72/2.50 Conjecture not found
% 3.72/2.51 Conjecture not found
% 3.72/2.52 Conjecture not found
% 3.72/2.53 Conjecture not found
% 3.89/2.57 Conjecture not found
% 3.95/2.63 Conjecture not found
% 4.16/2.73 Conjecture not found
% 4.26/2.81 Conjecture not found
% 4.41/2.86 Conjecture not found
% 4.41/2.88 Conjecture not found
% 4.45/2.92 Conjecture not found
% 4.45/2.92 Conjecture not found
% 4.53/2.96 Conjecture not found
% 4.53/2.99 Conjecture not found
% 4.65/3.01 Conjecture not found
% 4.65/3.02 Conjecture not found
% 4.77/3.09 Conjecture not found
% 4.77/3.11 Conjecture not found
% 4.77/3.15 Conjecture not found
% 5.00/3.22 Conjecture not found
% 5.18/3.32 Conjecture not found
% 5.31/3.46 Conjecture not found
% 5.88/3.68 Conjecture not found
% 6.43/3.99 Conjecture not found
% 6.43/4.02 Conjecture not found
% 6.56/4.05 Conjecture not found
% 6.72/4.17 Conjecture not found
% 6.72/4.20 Conjecture not found
% 6.86/4.25 Conjecture not found
% 6.91/4.32 Conjecture not found
% 7.04/4.37 Conjecture not found
% 7.18/4.44 Conjecture not found
% 7.22/4.47 Conjecture not found
% 7.22/4.49 Conjecture not found
% 7.22/4.50 Conjecture not found
% 7.22/4.51 Conjecture not found
% 7.22/4.52 Conjecture not found
% 7.45/4.61 Conjecture not found
% 7.62/4.70 Conjecture not found
% 7.79/4.77 Conjecture not found
% 7.99/4.88 Conjecture not found
% 7.99/4.91 Conjecture not found
% 8.07/4.95 Conjecture not found
% 8.18/4.98 Conjecture not found
% 8.18/4.99 Conjecture not found
% 8.18/5.02 Conjecture not found
% 8.24/5.04 Conjecture not found
% 8.24/5.06 Conjecture not found
% 8.38/5.12 Conjecture not found
% 8.38/5.12 Conjecture not found
% 8.38/5.13 Conjecture not found
% 8.38/5.14 Conjecture not found
% 8.42/5.17 Conjecture not found
% 8.42/5.18 Conjecture not found
% 8.42/5.23 Conjecture not found
% 8.57/5.26 Conjecture not found
% 8.92/5.45 Conjecture not found
% 8.97/5.50 Conjecture not found
% 8.97/5.51 Conjecture not found
% 8.97/5.52 Conjecture not found
% 9.13/5.55 Conjecture not found
% 9.13/5.58 Conjecture not found
% 9.18/5.62 Conjecture not found
% 9.18/5.64 Conjecture not found
% 9.33/5.67 Conjecture not found
% 9.33/5.69 Conjecture not found
% 9.43/5.77 Conjecture not found
% 10.27/6.30 Conjecture not found
% 11.28/6.82 Conjecture not found
% 11.47/6.96 Conjecture not found
% 11.62/7.02 Conjecture not found
% 11.62/7.04 Conjecture not found
% 11.80/7.08 Conjecture not found
% 11.80/7.12 Conjecture not found
% 11.85/7.14 Conjecture not found
% 11.85/7.15 Conjecture not found
% 11.98/7.19 Conjecture not found
% 11.98/7.22 Conjecture not found
% 12.16/7.28 Conjecture not found
% 12.20/7.31 Conjecture not found
% 12.20/7.32 Conjecture not found
% 12.27/7.36 Conjecture not found
% 12.27/7.41 Conjecture not found
% 12.43/7.46 Conjecture not found
% 12.48/7.50 Conjecture not found
% 12.66/7.56 Conjecture not found
% 12.66/7.57 Conjecture not found
% 12.69/7.59 Conjecture not found
% 12.69/7.60 Conjecture not found
% 12.81/7.64 Conjecture not found
% 12.85/7.68 Conjecture not found
% 12.92/7.72 Conjecture not found
% 12.92/7.74 Conjecture not found
% 13.03/7.81 Conjecture not found
% 13.17/7.87 Conjecture not found
% 13.17/7.89 Conjecture not found
% 13.17/7.91 Conjecture not found
% 13.22/7.94 Conjecture not found
% 13.35/7.96 Conjecture not found
% 13.35/7.98 Conjecture not found
% 13.35/8.00 Conjecture not found
% 13.35/8.02 Conjecture not found
% 13.43/8.04 Conjecture not found
% 13.43/8.05 Conjecture not found
% 13.57/8.09 Conjecture not found
% 13.57/8.11 Conjecture not found
% 13.67/8.15 Conjecture not found
% 13.69/8.19 Conjecture not found
% 13.69/8.21 Conjecture not found
% 13.69/8.23 Conjecture not found
% 13.82/8.26 Conjecture not found
% 13.90/8.29 Conjecture not found
% 13.90/8.32 Conjecture not found
% 13.90/8.34 Conjecture not found
% 13.97/8.37 Conjecture not found
% 14.02/8.39 Conjecture not found
% 14.02/8.42 Conjecture not found
% 14.21/8.48 Conjecture not found
% 14.21/8.49 Conjecture not found
% 14.21/8.51 Conjecture not found
% 14.27/8.56 Conjecture not found
% 14.32/8.57 Conjecture not found
% 14.32/8.60 Conjecture not found
% 14.32/8.61 Conjecture not found
% 14.32/8.62 Conjecture not found
% 14.32/8.63 Conjecture not found
% 14.32/8.63 Conjecture not found
% 14.32/8.63 Conjecture not found
% 14.52/8.67 Conjecture not found
% 14.76/8.77 Conjecture not found
% 14.76/8.78 Conjecture not found
% 14.76/8.81 Conjecture not found
% 14.83/8.83 Conjecture not found
% 14.83/8.84 Conjecture not found
% 14.99/8.88 Conjecture not found
% 14.99/8.90 Conjecture not found
% 14.99/8.94 Conjecture not found
% 15.09/8.99 Conjecture not found
% 15.09/9.02 Conjecture not found
% 15.30/9.06 Conjecture not found
% 15.30/9.12 Conjecture not found
% 15.42/9.23 Conjecture not found
% 15.66/9.29 Conjecture not found
% 15.86/9.36 Conjecture not found
% 15.89/9.37 Conjecture not found
% 15.89/9.40 Conjecture not found
% 15.89/9.44 Conjecture not found
% 15.97/9.47 Conjecture not found
% 16.06/9.50 Conjecture not found
% 16.23/9.59 Conjecture not found
% 16.33/9.66 Conjecture not found
% 16.48/9.72 Conjecture not found
% 16.55/9.76 Conjecture not found
% 16.59/9.81 Conjecture not found
% 16.80/9.83 Conjecture not found
% 16.84/9.90 Conjecture not found
% 16.91/9.96 Conjecture not found
% 17.19/10.07 Conjecture not found
% 17.29/10.18 Conjecture not found
% 17.29/10.19 Conjecture not found
% 17.29/10.22 Conjecture not found
% 17.51/10.25 Conjecture not found
% 17.55/10.28 Conjecture not found
% 17.61/10.36 Conjecture not found
% 17.87/10.45 Conjecture not found
% 17.91/10.47 Conjecture not found
% 17.91/10.50 Conjecture not found
% 18.31/10.76 Conjecture not found
% 18.52/10.84 Conjecture not found
% 18.62/10.90 Conjecture not found
% 18.67/10.93 Conjecture not found
% 18.67/10.94 Conjecture not found
% 18.67/10.95 Conjecture not found
% 18.92/11.05 Conjecture not found
% 18.97/11.11 Conjecture not found
% 19.05/11.17 Conjecture not found
% 19.29/11.26 Conjecture not found
% 19.29/11.30 Conjecture not found
% 19.41/11.42 Conjecture not found
% 19.67/11.51 Conjecture not found
% 19.73/11.55 Conjecture not found
% 19.77/11.59 Conjecture not found
% 19.77/11.62 Conjecture not found
% 20.02/11.65 Conjecture not found
% 20.06/11.69 Conjecture not found
% 20.06/11.70 Conjecture not found
% 20.06/11.73 Conjecture not found
% 20.13/11.77 Conjecture not found
% 20.13/11.80 Conjecture not found
% 20.19/11.82 Conjecture not found
% 20.19/11.85 Conjecture not found
% 20.42/11.94 Conjecture not found
% 20.51/11.95 Conjecture not found
% 20.51/11.97 Conjecture not found
% 20.55/11.99 Conjecture not found
% 20.88/12.15 Conjecture not found
% 20.92/12.17 Conjecture not found
% 20.92/12.21 Conjecture not found
% 20.92/12.21 Conjecture not found
% 20.92/12.21 Conjecture not found
% 20.92/12.22 Conjecture not found
% 20.92/12.23 Conjecture not found
% 21.11/12.30 Conjecture not found
% 21.11/12.31 Conjecture not found
% 21.28/12.34 Conjecture not found
% 21.38/12.43 Conjecture not found
% 21.44/12.48 Conjecture not found
% 21.73/12.60 Conjecture not found
% 21.73/12.61 Conjecture not found
% 21.89/12.76 Conjecture not found
% 22.26/12.93 Conjecture not found
% 22.26/12.95 Conjecture not found
% 22.29/13.02 Conjecture not found
% 22.51/13.05 Conjecture not found
% 22.59/13.07 Conjecture not found
% 22.59/13.13 Conjecture not found
% 22.70/13.18 Conjecture not found
% 22.70/13.20 Conjecture not found
% 22.70/13.24 Conjecture not found
% 23.07/13.35 Conjecture not found
% 23.09/13.38 Conjecture not found
% 23.09/13.40 Conjecture not found
% 23.34/13.46 Conjecture not found
% 23.34/13.53 Conjecture not found
% 23.48/13.55 Conjecture not found
% 23.52/13.59 Conjecture not found
% 23.59/13.66 Conjecture not found
% 23.59/13.69 Conjecture not found
% 23.59/13.71 Conjecture not found
% 23.90/13.76 Conjecture not found
% 23.95/13.80 Conjecture not found
% 23.95/13.80 Conjecture not found
% 23.95/13.84 Conjecture not found
% 24.18/13.90 Conjecture not found
% 24.33/13.95 Conjecture not found
% 24.33/13.99 Conjecture not found
% 24.41/14.03 Conjecture not found
% 24.41/14.04 Conjecture not found
% 24.52/14.12 Conjecture not found
% 24.79/14.20 Conjecture not found
% 24.86/14.26 Conjecture not found
% 24.86/14.27 Conjecture not found
% 25.17/14.36 Conjecture not found
% 25.17/14.38 Conjecture not found
% 25.23/14.39 Conjecture not found
% 25.23/14.39 Conjecture not found
% 25.23/14.40 Conjecture not found
% 25.23/14.42 Conjecture not found
% 25.23/14.43 Conjecture not found
% 25.39/14.51 Conjecture not found
% 25.60/14.61 Conjecture not found
% 25.70/14.66 Conjecture not found
% 25.70/14.67 Conjecture not found
% 25.70/14.68 Conjecture not found
% 25.76/14.73 Conjecture not found
% 25.76/14.75 Conjecture not found
% 25.82/14.76 Conjecture not found
% 26.13/14.89 Conjecture not found
% 26.13/14.90 Conjecture not found
% 26.13/14.94 Conjecture not found
% 26.26/14.99 Conjecture not found
% 26.26/15.03 Conjecture not found
% 26.57/15.09 Conjecture not found
% 27.05/15.31 Conjecture not found
% 27.12/15.39 Conjecture not found
% 27.12/15.40 Conjecture not found
% 27.23/15.48 Conjecture not found
% 27.23/15.50 Conjecture not found
% 27.60/15.58 Conjecture not found
% 27.60/15.62 Conjecture not found
% 27.67/15.71 Conjecture not found
% 27.74/15.74 Conjecture not found
% 27.74/15.76 Conjecture not found
% 27.98/15.79 Conjecture not found
% 27.98/15.81 Conjecture not found
% 28.13/15.85 Conjecture not found
% 28.16/15.92 Conjecture not found
% 28.16/15.93 Conjecture not found
% 28.16/15.93 Conjecture not found
% 28.16/15.94 Conjecture not found
% 28.25/15.99 Conjecture not found
% 28.25/16.02 Conjecture not found
% 28.60/16.11 Conjecture not found
% 28.68/16.22 Conjecture not found
% 28.80/16.28 Conjecture not found
% 28.80/16.32 Conjecture not found
% 28.80/16.34 Conjecture not found
% 29.15/16.35 Conjecture not found
% 29.18/16.38 Conjecture not found
% 29.18/16.40 Conjecture not found
% 29.18/16.41 Conjecture not found
% 29.23/16.43 Conjecture not found
% 29.23/16.45 Conjecture not found
% 29.27/16.52 Conjecture not found
% 29.60/16.57 Conjecture not found
% 29.64/16.60 Conjecture not found
% 29.72/16.68 Conjecture not found
% 29.72/16.71 Conjecture not found
% 29.77/16.72 Conjecture not found
% 29.81/16.82 Conjecture not found
% 30.18/16.85 Conjecture not found
% 30.22/16.89 Conjecture not found
% 30.22/16.91 Conjecture not found
% 30.22/16.92 Conjecture not found
% 30.22/16.93 Conjecture not found
% 30.28/16.95 Conjecture not found
% 30.29/16.96 Conjecture not found
% 30.67/17.11 Conjecture not found
% 30.67/17.11 Conjecture not found
% 30.67/17.12 Conjecture not found
% 30.76/17.16 Conjecture not found
% 30.79/17.19 Conjecture not found
% 30.79/17.22 Conjecture not found
% 30.83/17.24 Conjecture not found
% 30.85/17.27 Conjecture not found
% 30.85/17.30 Conjecture not found
% 31.26/17.38 Conjecture not found
% 31.26/17.40 Conjecture not found
% 31.26/17.42 Conjecture not found
% 31.26/17.44 Conjecture not found
% 31.26/17.45 Conjecture not found
% 31.35/17.46 Conjecture not found
% 31.38/17.49 Conjecture not found
% 31.54/17.53 Conjecture not found
% 31.72/17.57 Conjecture not found
% 31.72/17.60 Conjecture not found
% 31.72/17.60 Conjecture not found
% 31.80/17.64 Conjecture not found
% 31.86/17.68 Conjecture not found
% 31.86/17.70 Conjecture not found
% 31.86/17.71 Conjecture not found
% 31.86/17.73 Conjecture not found
% 32.16/17.79 Conjecture not found
% 32.16/17.80 Conjecture not found
% 32.31/17.84 Conjecture not found
% 32.31/17.89 Conjecture not found
% 32.31/17.91 Conjecture not found
% 32.39/17.92 Conjecture not found
% 32.39/17.97 Conjecture not found
% 32.45/18.02 Conjecture not found
% 32.93/18.17 Conjecture not found
% 32.93/18.19 Conjecture not found
% 32.93/18.23 Conjecture not found
% 33.06/18.31 Conjecture not found
% 33.49/18.44 Conjecture not found
% 33.54/18.49 Conjecture not found
% 33.62/18.55 Conjecture not found
% 33.62/18.56 Conjecture not found
% 33.62/18.57 Conjecture not found
% 33.62/18.58 Conjecture not found
% 33.67/18.59 Conjecture not found
% 33.67/18.60 Conjecture not found
% 33.67/18.62 Conjecture not found
% 33.67/18.62 Conjecture not found
% 33.73/18.64 Conjecture not found
% 33.91/18.69 Conjecture not found
% 33.91/18.72 Conjecture not found
% 34.16/18.77 Conjecture not found
% 34.16/18.79 Conjecture not found
% 34.16/18.82 Conjecture not found
% 34.16/18.83 Conjecture not found
% 34.24/18.84 Conjecture not found
% 34.28/18.93 Conjecture not found
% 34.70/19.00 Conjecture not found
% 34.70/19.02 Conjecture not found
% 34.77/19.04 Conjecture not found
% 34.81/19.11 Conjecture not found
% 34.88/19.15 Conjecture not found
% 35.13/19.21 Conjecture not found
% 35.31/19.26 Conjecture not found
% 35.31/19.27 Conjecture not found
% 35.34/19.33 Conjecture not found
% 35.41/19.34 Conjecture not found
% 35.41/19.35 Conjecture not found
% 35.43/19.39 Conjecture not found
% 35.43/19.41 Conjecture not found
% 35.49/19.42 Conjecture not found
% 35.49/19.44 Conjecture not found
% 35.52/19.46 Conjecture not found
% 35.87/19.54 Conjecture not found
% 35.98/19.61 Conjecture not found
% 36.05/19.66 Conjecture not found
% 36.07/19.71 Conjecture not found
% 36.17/19.82 Conjecture not found
% 36.17/19.83 Conjecture not found
% 36.63/19.89 Conjecture not found
% 36.63/19.91 Conjecture not found
% 36.63/19.94 Conjecture not found
% 36.71/19.96 Conjecture not found
% 36.71/19.96 Conjecture not found
% 36.77/20.03 Conjecture not found
% 36.77/20.04 Conjecture not found
% 36.81/20.05 Conjecture not found
% 36.81/20.08 Conjecture not found
% 36.81/20.09 Conjecture not found
% 36.81/20.11 Conjecture not found
% 36.81/20.13 Conjecture not found
% 36.93/20.17 Conjecture not found
% 37.25/20.23 Conjecture not found
% 37.35/20.27 Conjecture not found
% 37.35/20.30 Conjecture not found
% 37.42/20.34 Conjecture not found
% 37.42/20.35 Conjecture not found
% 37.42/20.37 Conjecture not found
% 37.47/20.38 Conjecture not found
% 37.47/20.43 Conjecture not found
% 37.60/20.50 Conjecture not found
% 37.86/20.56 Conjecture not found
% 38.10/20.65 Conjecture not found
% 38.16/20.71 Conjecture not found
% 38.16/20.72 Conjecture not found
% 38.16/20.75 Conjecture not found
% 38.28/20.82 Conjecture not found
% 38.34/20.86 Conjecture not found
% 38.34/20.89 Conjecture not found
% 38.68/20.96 Conjecture not found
% 38.86/21.00 Conjecture not found
% 38.86/21.05 Conjecture not found
% 38.96/21.09 Conjecture not found
% 38.96/21.11 Conjecture not found
% 39.02/21.14 Conjecture not found
% 39.02/21.18 Conjecture not found
% 39.02/21.20 Conjecture not found
% 39.02/21.22 Conjecture not found
% 39.10/21.24 Conjecture not found
% 39.10/21.26 Conjecture not found
% 39.16/21.31 Conjecture not found
% 39.64/21.38 Conjecture not found
% 39.69/21.43 Conjecture not found
% 39.69/21.44 Conjecture not found
% 39.71/21.47 Conjecture not found
% 39.71/21.51 Conjecture not found
% 39.80/21.54 Conjecture not found
% 39.80/21.56 Conjecture not found
% 39.85/21.59 Conjecture not found
% 39.85/21.60 Conjecture not found
% 39.85/21.61 Conjecture not found
% 39.91/21.66 Conjecture not found
% 40.02/21.68 Conjecture not found
% 40.37/21.73 Conjecture not found
% 40.41/21.79 Conjecture not found
% 40.41/21.79 Conjecture not found
% 40.49/21.86 Conjecture not found
% 40.49/21.87 Conjecture not found
% 40.54/21.89 Conjecture not found
% 40.54/21.90 Conjecture not found
% 40.54/21.94 Conjecture not found
% 40.61/21.96 Conjecture not found
% 40.64/21.99 Conjecture not found
% 40.64/22.02 Conjecture not found
% 40.69/22.04 Conjecture not found
% 40.94/22.12 Conjecture not found
% 41.25/22.18 Conjecture not found
% 41.35/22.28 Conjecture not found
% 41.35/22.30 Conjecture not found
% 41.35/22.31 Conjecture not found
% 41.35/22.32 Conjecture not found
% 41.45/22.41 Conjecture not found
% 41.45/22.42 Conjecture not found
% 41.51/22.45 Conjecture not found
% 41.73/22.51 Conjecture not found
% 42.09/22.59 Conjecture not found
% 42.09/22.63 Conjecture not found
% 42.24/22.74 Conjecture not found
% 42.24/22.75 Conjecture not found
% 42.70/22.83 Conjecture not found
% 42.70/22.85 Conjecture not found
% 42.70/22.86 Conjecture not found
% 42.80/22.88 Conjecture not found
% 42.80/22.91 Conjecture not found
% 42.87/22.95 Conjecture not found
% 42.89/22.98 Conjecture not found
% 42.89/22.99 Conjecture not found
% 42.95/23.02 Conjecture not found
% 42.99/23.10 Conjecture not found
% 42.99/23.11 Conjecture not found
% 42.99/23.13 Conjecture not found
% 43.07/23.18 Conjecture not found
% 43.11/23.21 Conjecture not found
% 43.66/23.32 Conjecture not found
% 43.71/23.36 Conjecture not found
% 43.71/23.40 Conjecture not found
% 43.71/23.42 Conjecture not found
% 43.84/23.52 Conjecture not found
% 43.90/23.56 Conjecture not found
% 43.90/23.58 Conjecture not found
% 43.90/23.62 Conjecture not found
% 43.97/23.67 Conjecture not found
% 44.15/23.71 Conjecture not found
% 44.15/23.74 Conjecture not found
% 44.55/23.77 Conjecture not found
% 44.62/23.84 Conjecture not found
% 44.62/23.87 Conjecture not found
% 44.62/23.88 Conjecture not found
% 44.62/23.90 Conjecture not found
% 44.69/23.91 Conjecture not found
% 44.69/23.93 Conjecture not found
% 44.69/23.96 Conjecture not found
% 44.77/23.97 Conjecture not found
% 44.77/23.98 Conjecture not found
% 44.77/24.00 Conjecture not found
% 44.77/24.06 Conjecture not found
% 45.31/24.11 Conjecture not found
% 45.37/24.13 Conjecture not found
% 45.37/24.13 Conjecture not found
% 45.39/24.15 Conjecture not found
% 45.39/24.16 Conjecture not found
% 45.39/24.18 Conjecture not found
% 45.47/24.22 Conjecture not found
% 45.47/24.23 Conjecture not found
% 45.47/24.24 Conjecture not found
% 45.47/24.24 Conjecture not found
% 45.47/24.26 Conjecture not found
% 45.47/24.27 Conjecture not found
% 45.53/24.29 Conjecture not found
% 45.53/24.30 Conjecture not found
% 45.53/24.31 Conjecture not found
% 45.53/24.33 Conjecture not found
% 45.61/24.36 Conjecture not found
% 45.61/24.37 Conjecture not found
% 45.65/24.41 Conjecture not found
% 46.03/24.46 Conjecture not found
% 46.21/24.52 Conjecture not found
% 46.21/24.53 Conjecture not found
% 46.28/24.62 Conjecture not found
% 46.28/24.63 Conjecture not found
% 46.28/24.64 Conjecture not found
% 46.45/24.79 Conjecture not found
% 46.45/24.81 Conjecture not found
% 46.61/24.84 Conjecture not found
% 46.61/24.86 Conjecture not found
% 47.00/24.94 Conjecture not found
% 47.16/24.99 Conjecture not found
% 47.21/25.03 Conjecture not found
% 47.25/25.07 Conjecture not found
% 47.25/25.10 Conjecture not found
% 47.39/25.20 Conjecture not found
% 47.39/25.21 Conjecture not found
% 47.50/25.29 Conjecture not found
% 47.50/25.32 Conjecture not found
% 47.97/25.36 Conjecture not found
% 48.07/25.37 Conjecture not found
% 48.07/25.38 Conjecture not found
% 48.07/25.38 Conjecture not found
% 48.07/25.40 Conjecture not found
% 48.07/25.42 Conjecture not found
% 48.07/25.43 Conjecture not found
% 48.07/25.43 Start search
% 98.23/38.15 nb_step : 1 - limit : 118269
% 99.70/38.87 Launch Gotab with destructive = true
%------------------------------------------------------------------------------