TSTP Solution File: LAT356+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT356+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n028.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:15 EDT 2022
% Result : Timeout 300.52s 88.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : LAT356+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.32 % Computer : n028.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 300
% 0.11/0.32 % DateTime : Thu Sep 1 15:56:44 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.19/0.33 [DMT] DMT loaded with preskolemization
% 0.19/0.33 [EQ] equality loaded.
% 0.19/0.33 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.37 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.38 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 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.55 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.55/0.58 Conjecture not found
% 0.59/0.60 Conjecture not found
% 0.65/0.65 Conjecture not found
% 0.77/0.72 Conjecture not found
% 0.77/0.72 Conjecture not found
% 0.90/0.80 Conjecture not found
% 0.90/0.85 Conjecture not found
% 1.17/0.93 Conjecture not found
% 1.17/0.97 Conjecture not found
% 1.28/1.04 Conjecture not found
% 1.28/1.08 Conjecture not found
% 1.43/1.13 Conjecture not found
% 1.43/1.15 Conjecture not found
% 1.59/1.18 Conjecture not found
% 1.59/1.19 Conjecture not found
% 1.59/1.20 Conjecture not found
% 1.59/1.20 Conjecture not found
% 1.64/1.21 Conjecture not found
% 1.67/1.31 Conjecture not found
% 1.84/1.34 Conjecture not found
% 1.84/1.34 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.84/1.38 Conjecture not found
% 1.84/1.38 Conjecture not found
% 1.96/1.43 Conjecture not found
% 2.12/1.48 Conjecture not found
% 2.12/1.48 Conjecture not found
% 2.12/1.48 Conjecture not found
% 2.12/1.50 Conjecture not found
% 2.17/1.52 Conjecture not found
% 2.19/1.53 Conjecture not found
% 2.19/1.55 Conjecture not found
% 2.19/1.57 Conjecture not found
% 2.19/1.59 Conjecture not found
% 2.19/1.60 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.36/1.62 Conjecture not found
% 2.36/1.66 Conjecture not found
% 2.51/1.71 Conjecture not found
% 2.51/1.76 Conjecture not found
% 2.51/1.77 Conjecture not found
% 2.66/1.80 Conjecture not found
% 2.68/1.83 Conjecture not found
% 2.68/1.86 Conjecture not found
% 2.68/1.87 Conjecture not found
% 2.68/1.90 Conjecture not found
% 2.99/1.99 Conjecture not found
% 2.99/2.02 Conjecture not found
% 2.99/2.04 Conjecture not found
% 2.99/2.05 Conjecture not found
% 2.99/2.07 Conjecture not found
% 3.15/2.09 Conjecture not found
% 3.36/2.27 Conjecture not found
% 3.53/2.30 Conjecture not found
% 3.53/2.32 Conjecture not found
% 3.67/2.44 Conjecture not found
% 3.67/2.46 Conjecture not found
% 3.67/2.47 Conjecture not found
% 3.83/2.50 Conjecture not found
% 3.83/2.54 Conjecture not found
% 4.01/2.60 Conjecture not found
% 4.01/2.68 Conjecture not found
% 4.20/2.76 Conjecture not found
% 4.34/2.81 Conjecture not found
% 4.34/2.82 Conjecture not found
% 4.34/2.86 Conjecture not found
% 4.34/2.87 Conjecture not found
% 4.54/2.90 Conjecture not found
% 4.57/2.93 Conjecture not found
% 4.57/2.95 Conjecture not found
% 4.57/2.96 Conjecture not found
% 4.70/3.03 Conjecture not found
% 4.70/3.04 Conjecture not found
% 4.84/3.08 Conjecture not found
% 4.84/3.15 Conjecture not found
% 5.08/3.24 Conjecture not found
% 5.39/3.38 Conjecture not found
% 5.67/3.59 Conjecture not found
% 6.25/3.87 Conjecture not found
% 6.25/3.89 Conjecture not found
% 6.25/3.91 Conjecture not found
% 6.52/4.02 Conjecture not found
% 6.52/4.08 Conjecture not found
% 6.79/4.13 Conjecture not found
% 6.79/4.20 Conjecture not found
% 6.92/4.25 Conjecture not found
% 6.99/4.31 Conjecture not found
% 6.99/4.34 Conjecture not found
% 7.24/4.37 Conjecture not found
% 7.24/4.38 Conjecture not found
% 7.28/4.40 Conjecture not found
% 7.28/4.40 Conjecture not found
% 7.39/4.49 Conjecture not found
% 7.56/4.56 Conjecture not found
% 7.70/4.63 Conjecture not found
% 7.79/4.73 Conjecture not found
% 7.79/4.75 Conjecture not found
% 7.96/4.80 Conjecture not found
% 8.07/4.82 Conjecture not found
% 8.08/4.84 Conjecture not found
% 8.08/4.87 Conjecture not found
% 8.08/4.89 Conjecture not found
% 8.08/4.90 Conjecture not found
% 8.25/4.93 Conjecture not found
% 8.25/4.93 Conjecture not found
% 8.25/4.94 Conjecture not found
% 8.25/4.95 Conjecture not found
% 8.25/4.98 Conjecture not found
% 8.37/5.00 Conjecture not found
% 8.37/5.05 Conjecture not found
% 8.50/5.10 Conjecture not found
% 8.87/5.30 Conjecture not found
% 8.87/5.34 Conjecture not found
% 8.87/5.36 Conjecture not found
% 8.87/5.38 Conjecture not found
% 9.06/5.41 Conjecture not found
% 9.07/5.44 Conjecture not found
% 9.07/5.49 Conjecture not found
% 9.25/5.50 Conjecture not found
% 9.25/5.52 Conjecture not found
% 9.25/5.53 Conjecture not found
% 9.41/5.61 Conjecture not found
% 10.19/6.04 Conjecture not found
% 11.07/6.56 Conjecture not found
% 11.26/6.70 Conjecture not found
% 11.42/6.76 Conjecture not found
% 11.42/6.78 Conjecture not found
% 11.53/6.80 Conjecture not found
% 11.53/6.86 Conjecture not found
% 11.53/6.88 Conjecture not found
% 11.71/6.89 Conjecture not found
% 11.74/6.92 Conjecture not found
% 11.74/6.96 Conjecture not found
% 11.94/7.02 Conjecture not found
% 11.94/7.04 Conjecture not found
% 11.94/7.05 Conjecture not found
% 11.94/7.09 Conjecture not found
% 12.11/7.15 Conjecture not found
% 12.11/7.18 Conjecture not found
% 12.19/7.23 Conjecture not found
% 12.19/7.28 Conjecture not found
% 12.19/7.29 Conjecture not found
% 12.42/7.30 Conjecture not found
% 12.59/7.34 Conjecture not found
% 12.59/7.37 Conjecture not found
% 12.59/7.41 Conjecture not found
% 12.70/7.44 Conjecture not found
% 12.70/7.46 Conjecture not found
% 12.89/7.52 Conjecture not found
% 12.98/7.56 Conjecture not found
% 13.11/7.58 Conjecture not found
% 13.11/7.60 Conjecture not found
% 13.15/7.63 Conjecture not found
% 13.17/7.64 Conjecture not found
% 13.17/7.65 Conjecture not found
% 13.17/7.66 Conjecture not found
% 13.17/7.68 Conjecture not found
% 13.17/7.71 Conjecture not found
% 13.35/7.73 Conjecture not found
% 13.35/7.77 Conjecture not found
% 13.41/7.79 Conjecture not found
% 13.41/7.81 Conjecture not found
% 13.41/7.84 Conjecture not found
% 13.41/7.87 Conjecture not found
% 13.64/7.88 Conjecture not found
% 13.66/7.91 Conjecture not found
% 13.66/7.93 Conjecture not found
% 13.70/7.95 Conjecture not found
% 13.70/7.97 Conjecture not found
% 13.70/8.00 Conjecture not found
% 13.70/8.02 Conjecture not found
% 13.91/8.04 Conjecture not found
% 13.91/8.07 Conjecture not found
% 13.91/8.07 Conjecture not found
% 13.91/8.09 Conjecture not found
% 14.06/8.14 Conjecture not found
% 14.15/8.16 Conjecture not found
% 14.15/8.17 Conjecture not found
% 14.15/8.18 Conjecture not found
% 14.15/8.19 Conjecture not found
% 14.15/8.20 Conjecture not found
% 14.15/8.20 Conjecture not found
% 14.15/8.20 Conjecture not found
% 14.37/8.26 Conjecture not found
% 14.45/8.35 Conjecture not found
% 14.45/8.36 Conjecture not found
% 14.45/8.39 Conjecture not found
% 14.45/8.41 Conjecture not found
% 14.45/8.42 Conjecture not found
% 14.68/8.44 Conjecture not found
% 14.68/8.46 Conjecture not found
% 14.68/8.48 Conjecture not found
% 14.80/8.52 Conjecture not found
% 14.80/8.55 Conjecture not found
% 14.95/8.58 Conjecture not found
% 14.95/8.62 Conjecture not found
% 15.26/8.76 Conjecture not found
% 15.47/8.85 Conjecture not found
% 15.53/8.90 Conjecture not found
% 15.53/8.91 Conjecture not found
% 15.53/8.94 Conjecture not found
% 15.76/8.98 Conjecture not found
% 15.76/9.01 Conjecture not found
% 15.80/9.02 Conjecture not found
% 15.82/9.09 Conjecture not found
% 16.05/9.17 Conjecture not found
% 16.12/9.21 Conjecture not found
% 16.12/9.27 Conjecture not found
% 16.39/9.33 Conjecture not found
% 16.39/9.34 Conjecture not found
% 16.39/9.38 Conjecture not found
% 16.60/9.45 Conjecture not found
% 16.68/9.52 Conjecture not found
% 16.98/9.63 Conjecture not found
% 16.98/9.65 Conjecture not found
% 16.98/9.67 Conjecture not found
% 16.98/9.68 Conjecture not found
% 16.98/9.70 Conjecture not found
% 17.30/9.82 Conjecture not found
% 17.30/9.88 Conjecture not found
% 17.39/9.89 Conjecture not found
% 17.48/9.93 Conjecture not found
% 18.01/10.19 Conjecture not found
% 18.05/10.24 Conjecture not found
% 18.05/10.30 Conjecture not found
% 18.31/10.33 Conjecture not found
% 18.31/10.35 Conjecture not found
% 18.31/10.36 Conjecture not found
% 18.31/10.41 Conjecture not found
% 18.64/10.50 Conjecture not found
% 18.73/10.59 Conjecture not found
% 18.77/10.63 Conjecture not found
% 18.77/10.68 Conjecture not found
% 19.11/10.79 Conjecture not found
% 19.11/10.85 Conjecture not found
% 19.41/10.92 Conjecture not found
% 19.45/10.96 Conjecture not found
% 19.45/10.99 Conjecture not found
% 19.45/11.00 Conjecture not found
% 19.63/11.04 Conjecture not found
% 19.63/11.06 Conjecture not found
% 19.63/11.08 Conjecture not found
% 19.77/11.13 Conjecture not found
% 19.85/11.16 Conjecture not found
% 19.86/11.18 Conjecture not found
% 19.86/11.20 Conjecture not found
% 19.98/11.28 Conjecture not found
% 19.98/11.30 Conjecture not found
% 20.19/11.33 Conjecture not found
% 20.19/11.35 Conjecture not found
% 20.53/11.50 Conjecture not found
% 20.53/11.51 Conjecture not found
% 20.58/11.55 Conjecture not found
% 20.58/11.56 Conjecture not found
% 20.58/11.56 Conjecture not found
% 20.58/11.56 Conjecture not found
% 20.58/11.57 Conjecture not found
% 20.65/11.62 Conjecture not found
% 20.65/11.64 Conjecture not found
% 20.89/11.67 Conjecture not found
% 20.89/11.75 Conjecture not found
% 21.01/11.81 Conjecture not found
% 21.33/11.92 Conjecture not found
% 21.33/11.94 Conjecture not found
% 21.40/12.05 Conjecture not found
% 21.74/12.19 Conjecture not found
% 21.74/12.21 Conjecture not found
% 21.84/12.27 Conjecture not found
% 22.10/12.30 Conjecture not found
% 22.10/12.32 Conjecture not found
% 22.20/12.40 Conjecture not found
% 22.23/12.48 Conjecture not found
% 22.23/12.51 Conjecture not found
% 22.52/12.53 Conjecture not found
% 22.61/12.61 Conjecture not found
% 22.61/12.67 Conjecture not found
% 22.90/12.71 Conjecture not found
% 22.90/12.75 Conjecture not found
% 23.00/12.80 Conjecture not found
% 23.01/12.80 Conjecture not found
% 23.02/12.84 Conjecture not found
% 23.31/12.91 Conjecture not found
% 23.31/12.93 Conjecture not found
% 23.31/12.94 Conjecture not found
% 23.31/12.97 Conjecture not found
% 23.40/13.00 Conjecture not found
% 23.40/13.01 Conjecture not found
% 23.40/13.06 Conjecture not found
% 23.68/13.09 Conjecture not found
% 23.71/13.11 Conjecture not found
% 23.71/13.14 Conjecture not found
% 23.71/13.21 Conjecture not found
% 24.06/13.24 Conjecture not found
% 24.06/13.30 Conjecture not found
% 24.15/13.36 Conjecture not found
% 24.32/13.47 Conjecture not found
% 24.54/13.49 Conjecture not found
% 24.54/13.55 Conjecture not found
% 24.54/13.57 Conjecture not found
% 24.54/13.58 Conjecture not found
% 24.64/13.58 Conjecture not found
% 24.64/13.59 Conjecture not found
% 24.67/13.61 Conjecture not found
% 24.67/13.62 Conjecture not found
% 24.97/13.73 Conjecture not found
% 25.06/13.81 Conjecture not found
% 25.06/13.86 Conjecture not found
% 25.22/13.89 Conjecture not found
% 25.39/13.91 Conjecture not found
% 25.42/13.99 Conjecture not found
% 25.50/14.01 Conjecture not found
% 25.50/14.02 Conjecture not found
% 25.57/14.09 Conjecture not found
% 25.57/14.11 Conjecture not found
% 25.57/14.14 Conjecture not found
% 25.93/14.22 Conjecture not found
% 25.96/14.24 Conjecture not found
% 25.96/14.27 Conjecture not found
% 26.47/14.51 Conjecture not found
% 26.53/14.56 Conjecture not found
% 26.53/14.58 Conjecture not found
% 26.92/14.70 Conjecture not found
% 26.92/14.73 Conjecture not found
% 27.00/14.79 Conjecture not found
% 27.05/14.82 Conjecture not found
% 27.08/14.92 Conjecture not found
% 27.41/14.98 Conjecture not found
% 27.47/14.99 Conjecture not found
% 27.47/15.02 Conjecture not found
% 27.47/15.04 Conjecture not found
% 27.55/15.08 Conjecture not found
% 27.62/15.16 Conjecture not found
% 27.62/15.19 Conjecture not found
% 27.62/15.19 Conjecture not found
% 27.62/15.20 Conjecture not found
% 27.95/15.26 Conjecture not found
% 28.00/15.27 Conjecture not found
% 28.00/15.32 Conjecture not found
% 28.12/15.41 Conjecture not found
% 28.50/15.52 Conjecture not found
% 28.50/15.54 Conjecture not found
% 28.50/15.55 Conjecture not found
% 28.50/15.57 Conjecture not found
% 28.57/15.61 Conjecture not found
% 28.57/15.63 Conjecture not found
% 28.57/15.64 Conjecture not found
% 28.57/15.66 Conjecture not found
% 28.84/15.71 Conjecture not found
% 28.98/15.77 Conjecture not found
% 28.98/15.80 Conjecture not found
% 29.09/15.83 Conjecture not found
% 29.17/15.91 Conjecture not found
% 29.17/15.94 Conjecture not found
% 29.52/15.98 Conjecture not found
% 29.58/16.06 Conjecture not found
% 29.58/16.08 Conjecture not found
% 29.68/16.12 Conjecture not found
% 29.68/16.14 Conjecture not found
% 29.68/16.16 Conjecture not found
% 29.68/16.18 Conjecture not found
% 29.68/16.20 Conjecture not found
% 29.77/16.21 Conjecture not found
% 30.15/16.37 Conjecture not found
% 30.15/16.38 Conjecture not found
% 30.15/16.38 Conjecture not found
% 30.25/16.42 Conjecture not found
% 30.25/16.45 Conjecture not found
% 30.25/16.48 Conjecture not found
% 30.37/16.54 Conjecture not found
% 30.66/16.60 Conjecture not found
% 30.67/16.63 Conjecture not found
% 30.67/16.67 Conjecture not found
% 30.67/16.68 Conjecture not found
% 30.67/16.71 Conjecture not found
% 30.79/16.73 Conjecture not found
% 30.79/16.74 Conjecture not found
% 30.79/16.74 Conjecture not found
% 30.79/16.77 Conjecture not found
% 30.79/16.80 Conjecture not found
% 30.88/16.86 Conjecture not found
% 31.24/16.92 Conjecture not found
% 31.24/16.93 Conjecture not found
% 31.32/16.99 Conjecture not found
% 31.32/17.04 Conjecture not found
% 31.32/17.06 Conjecture not found
% 31.32/17.08 Conjecture not found
% 31.43/17.11 Conjecture not found
% 31.51/17.18 Conjecture not found
% 31.51/17.19 Conjecture not found
% 31.83/17.21 Conjecture not found
% 31.83/17.25 Conjecture not found
% 31.83/17.26 Conjecture not found
% 31.83/17.28 Conjecture not found
% 31.92/17.33 Conjecture not found
% 31.92/17.38 Conjecture not found
% 32.44/17.51 Conjecture not found
% 32.44/17.56 Conjecture not found
% 32.51/17.61 Conjecture not found
% 32.61/17.68 Conjecture not found
% 33.05/17.81 Conjecture not found
% 33.05/17.85 Conjecture not found
% 33.12/17.91 Conjecture not found
% 33.12/17.93 Conjecture not found
% 33.12/17.94 Conjecture not found
% 33.12/17.95 Conjecture not found
% 33.12/17.96 Conjecture not found
% 33.12/17.97 Conjecture not found
% 33.23/17.99 Conjecture not found
% 33.23/17.99 Conjecture not found
% 33.26/18.01 Conjecture not found
% 33.26/18.02 Conjecture not found
% 33.29/18.07 Conjecture not found
% 33.76/18.19 Conjecture not found
% 33.76/18.21 Conjecture not found
% 33.76/18.25 Conjecture not found
% 33.83/18.26 Conjecture not found
% 33.84/18.28 Conjecture not found
% 33.91/18.35 Conjecture not found
% 34.39/18.49 Conjecture not found
% 34.39/18.52 Conjecture not found
% 34.39/18.54 Conjecture not found
% 34.49/18.62 Conjecture not found
% 34.54/18.66 Conjecture not found
% 34.54/18.69 Conjecture not found
% 34.71/18.75 Conjecture not found
% 34.71/18.77 Conjecture not found
% 35.09/18.86 Conjecture not found
% 35.09/18.87 Conjecture not found
% 35.11/18.88 Conjecture not found
% 35.15/18.92 Conjecture not found
% 35.17/18.94 Conjecture not found
% 35.17/18.95 Conjecture not found
% 35.17/18.97 Conjecture not found
% 35.17/18.98 Conjecture not found
% 35.25/19.04 Conjecture not found
% 35.66/19.12 Conjecture not found
% 35.75/19.17 Conjecture not found
% 35.79/19.22 Conjecture not found
% 35.88/19.32 Conjecture not found
% 35.88/19.34 Conjecture not found
% 35.88/19.36 Conjecture not found
% 35.88/19.37 Conjecture not found
% 35.95/19.39 Conjecture not found
% 35.95/19.42 Conjecture not found
% 35.95/19.43 Conjecture not found
% 36.43/19.51 Conjecture not found
% 36.46/19.53 Conjecture not found
% 36.46/19.54 Conjecture not found
% 36.46/19.57 Conjecture not found
% 36.46/19.58 Conjecture not found
% 36.46/19.60 Conjecture not found
% 36.55/19.62 Conjecture not found
% 36.55/19.63 Conjecture not found
% 36.95/19.69 Conjecture not found
% 36.95/19.72 Conjecture not found
% 36.95/19.74 Conjecture not found
% 36.95/19.77 Conjecture not found
% 36.95/19.78 Conjecture not found
% 37.07/19.79 Conjecture not found
% 37.09/19.80 Conjecture not found
% 37.09/19.84 Conjecture not found
% 37.09/19.89 Conjecture not found
% 37.18/19.92 Conjecture not found
% 37.59/20.00 Conjecture not found
% 37.59/20.03 Conjecture not found
% 37.59/20.04 Conjecture not found
% 37.59/20.06 Conjecture not found
% 37.73/20.11 Conjecture not found
% 37.75/20.15 Conjecture not found
% 37.75/20.17 Conjecture not found
% 37.75/20.20 Conjecture not found
% 37.93/20.24 Conjecture not found
% 38.28/20.32 Conjecture not found
% 38.28/20.36 Conjecture not found
% 38.28/20.38 Conjecture not found
% 38.36/20.42 Conjecture not found
% 38.36/20.45 Conjecture not found
% 38.36/20.47 Conjecture not found
% 38.45/20.49 Conjecture not found
% 38.48/20.52 Conjecture not found
% 38.49/20.53 Conjecture not found
% 38.49/20.57 Conjecture not found
% 38.49/20.60 Conjecture not found
% 38.59/20.68 Conjecture not found
% 39.07/20.69 Conjecture not found
% 39.07/20.74 Conjecture not found
% 39.15/20.78 Conjecture not found
% 39.18/20.81 Conjecture not found
% 39.20/20.83 Conjecture not found
% 39.21/20.86 Conjecture not found
% 39.21/20.86 Conjecture not found
% 39.21/20.88 Conjecture not found
% 39.29/20.92 Conjecture not found
% 39.29/20.94 Conjecture not found
% 39.29/20.96 Conjecture not found
% 39.35/21.04 Conjecture not found
% 39.35/21.05 Conjecture not found
% 39.90/21.13 Conjecture not found
% 39.91/21.14 Conjecture not found
% 39.91/21.16 Conjecture not found
% 39.91/21.17 Conjecture not found
% 39.98/21.21 Conjecture not found
% 39.98/21.23 Conjecture not found
% 39.98/21.26 Conjecture not found
% 40.05/21.29 Conjecture not found
% 40.05/21.30 Conjecture not found
% 40.05/21.35 Conjecture not found
% 40.15/21.40 Conjecture not found
% 40.73/21.55 Conjecture not found
% 40.73/21.57 Conjecture not found
% 40.73/21.58 Conjecture not found
% 40.73/21.59 Conjecture not found
% 40.83/21.68 Conjecture not found
% 40.83/21.69 Conjecture not found
% 40.88/21.71 Conjecture not found
% 40.88/21.75 Conjecture not found
% 40.93/21.84 Conjecture not found
% 41.37/21.89 Conjecture not found
% 41.59/22.00 Conjecture not found
% 41.59/22.01 Conjecture not found
% 41.68/22.05 Conjecture not found
% 41.68/22.06 Conjecture not found
% 41.68/22.06 Conjecture not found
% 41.68/22.07 Conjecture not found
% 41.68/22.10 Conjecture not found
% 41.68/22.13 Conjecture not found
% 41.86/22.16 Conjecture not found
% 41.86/22.19 Conjecture not found
% 42.23/22.21 Conjecture not found
% 42.33/22.27 Conjecture not found
% 42.33/22.28 Conjecture not found
% 42.33/22.29 Conjecture not found
% 42.38/22.33 Conjecture not found
% 42.38/22.35 Conjecture not found
% 42.43/22.39 Conjecture not found
% 42.43/22.42 Conjecture not found
% 42.52/22.46 Conjecture not found
% 42.52/22.49 Conjecture not found
% 43.15/22.61 Conjecture not found
% 43.18/22.65 Conjecture not found
% 43.18/22.67 Conjecture not found
% 43.18/22.71 Conjecture not found
% 43.27/22.74 Conjecture not found
% 43.27/22.76 Conjecture not found
% 43.27/22.77 Conjecture not found
% 43.34/22.80 Conjecture not found
% 43.59/22.91 Conjecture not found
% 43.80/22.97 Conjecture not found
% 43.80/22.99 Conjecture not found
% 43.80/23.03 Conjecture not found
% 44.03/23.04 Conjecture not found
% 44.03/23.07 Conjecture not found
% 44.03/23.09 Conjecture not found
% 44.10/23.11 Conjecture not found
% 44.10/23.12 Conjecture not found
% 44.10/23.15 Conjecture not found
% 44.17/23.18 Conjecture not found
% 44.17/23.22 Conjecture not found
% 44.17/23.24 Conjecture not found
% 44.17/23.25 Conjecture not found
% 44.27/23.28 Conjecture not found
% 44.27/23.29 Conjecture not found
% 44.29/23.31 Conjecture not found
% 44.32/23.38 Conjecture not found
% 44.87/23.41 Conjecture not found
% 44.87/23.41 Conjecture not found
% 44.87/23.43 Conjecture not found
% 44.87/23.45 Conjecture not found
% 44.87/23.47 Conjecture not found
% 44.96/23.49 Conjecture not found
% 44.96/23.51 Conjecture not found
% 44.96/23.52 Conjecture not found
% 44.96/23.53 Conjecture not found
% 44.96/23.56 Conjecture not found
% 45.05/23.57 Conjecture not found
% 45.05/23.58 Conjecture not found
% 45.07/23.59 Conjecture not found
% 45.11/23.64 Conjecture not found
% 45.12/23.64 Conjecture not found
% 45.39/23.77 Conjecture not found
% 45.72/23.78 Conjecture not found
% 45.72/23.79 Conjecture not found
% 45.86/23.92 Conjecture not found
% 45.88/23.94 Conjecture not found
% 45.88/23.96 Conjecture not found
% 45.88/23.97 Conjecture not found
% 45.88/24.00 Conjecture not found
% 45.96/24.03 Conjecture not found
% 45.96/24.07 Conjecture not found
% 46.02/24.10 Conjecture not found
% 46.51/24.16 Conjecture not found
% 46.68/24.24 Conjecture not found
% 46.68/24.25 Conjecture not found
% 46.70/24.30 Conjecture not found
% 46.70/24.31 Conjecture not found
% 46.76/24.34 Conjecture not found
% 46.76/24.35 Conjecture not found
% 46.76/24.35 Conjecture not found
% 46.81/24.36 Conjecture not found
% 46.81/24.39 Conjecture not found
% 46.81/24.40 Conjecture not found
% 46.81/24.41 Conjecture not found
% 46.81/24.42 Conjecture not found
% 47.19/24.50 Conjecture not found
% 47.19/24.52 Conjecture not found
% 47.49/24.57 Conjecture not found
% 47.49/24.59 Conjecture not found
% 47.60/24.68 Conjecture not found
% 47.60/24.71 Conjecture not found
% 47.60/24.74 Conjecture not found
% 47.69/24.78 Conjecture not found
% 47.72/24.82 Conjecture not found
% 47.79/24.86 Conjecture not found
% 47.79/24.88 Conjecture not found
% 47.79/24.90 Conjecture not found
% 47.84/24.93 Conjecture not found
% 47.98/25.04 Conjecture not found
% 49.38/25.44 Conjecture not found
% 49.38/25.46 Conjecture not found
% 49.38/25.52 Conjecture not found
% 49.50/25.55 Conjecture not found
% 49.50/25.57 Conjecture not found
% 49.50/25.58 Conjecture not found
% 49.50/25.59 Conjecture not found
% 49.56/25.60 Conjecture not found
% 49.56/25.62 Conjecture not found
% 49.56/25.63 Conjecture not found
% 49.56/25.64 Conjecture not found
% 49.63/25.70 Conjecture not found
% 49.71/25.79 Conjecture not found
% 49.80/25.85 Conjecture not found
% 49.80/25.88 Conjecture not found
% 49.87/25.95 Conjecture not found
% 50.42/25.99 Conjecture not found
% 50.47/26.01 Conjecture not found
% 50.49/26.07 Conjecture not found
% 50.49/26.08 Conjecture not found
% 50.49/26.10 Conjecture not found
% 50.59/26.12 Conjecture not found
% 50.59/26.13 Conjecture not found
% 50.66/26.19 Conjecture not found
% 50.66/26.22 Conjecture not found
% 50.66/26.26 Conjecture not found
% 50.78/26.31 Conjecture not found
% 50.78/26.31 Conjecture not found
% 50.80/26.42 Conjecture not found
% 51.42/26.47 Conjecture not found
% 51.42/26.48 Conjecture not found
% 51.42/26.49 Conjecture not found
% 51.51/26.52 Conjecture not found
% 51.51/26.54 Conjecture not found
% 51.51/26.55 Conjecture not found
% 51.59/26.62 Conjecture not found
% 51.59/26.62 Conjecture not found
% 51.59/26.63 Conjecture not found
% 51.59/26.66 Conjecture not found
% 51.59/26.67 Conjecture not found
% 51.69/26.69 Conjecture not found
% 51.71/26.71 Conjecture not found
% 51.72/26.73 Conjecture not found
% 51.72/26.80 Conjecture not found
% 51.80/26.83 Conjecture not found
% 51.80/26.84 Conjecture not found
% 51.80/26.85 Conjecture not found
% 52.54/26.98 Conjecture not found
% 52.55/26.99 Conjecture not found
% 52.60/27.03 Conjecture not found
% 52.60/27.05 Conjecture not found
% 52.68/27.16 Conjecture not found
% 52.68/27.18 Conjecture not found
% 52.75/27.21 Conjecture not found
% 52.75/27.25 Conjecture not found
% 52.84/27.28 Conjecture not found
% 52.84/27.30 Conjecture not found
% 52.90/27.37 Conjecture not found
% 53.60/27.50 Conjecture not found
% 53.68/27.56 Conjecture not found
% 53.69/27.60 Conjecture not found
% 53.73/27.63 Conjecture not found
% 53.83/27.73 Conjecture not found
% 53.89/27.78 Conjecture not found
% 53.89/27.79 Start search
% 116.08/43.23 nb_step : 1 - limit : 133795
% 117.30/43.83 Launch Gotab with destructive = true
%------------------------------------------------------------------------------