TSTP Solution File: LAT374+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT374+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n026.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:25 EDT 2022
% Result : Timeout 300.32s 89.27s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT374+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n026.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu Sep 1 16:44:46 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000048s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.45/0.52 Conjecture not found
% 0.45/0.53 Conjecture not found
% 0.45/0.53 Conjecture not found
% 0.49/0.57 Conjecture not found
% 0.49/0.60 Conjecture not found
% 0.49/0.61 Conjecture not found
% 0.49/0.62 Conjecture not found
% 0.49/0.63 Conjecture not found
% 0.66/0.65 Conjecture not found
% 0.66/0.67 Conjecture not found
% 0.75/0.71 Conjecture not found
% 0.87/0.78 Conjecture not found
% 0.87/0.79 Conjecture not found
% 1.02/0.86 Conjecture not found
% 1.02/0.91 Conjecture not found
% 1.19/0.99 Conjecture not found
% 1.29/1.02 Conjecture not found
% 1.41/1.09 Conjecture not found
% 1.49/1.13 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.70/1.24 Conjecture not found
% 1.70/1.25 Conjecture not found
% 1.70/1.26 Conjecture not found
% 1.70/1.27 Conjecture not found
% 1.75/1.28 Conjecture not found
% 1.90/1.37 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.40 Conjecture not found
% 2.02/1.42 Conjecture not found
% 2.02/1.42 Conjecture not found
% 2.02/1.43 Conjecture not found
% 2.02/1.43 Conjecture not found
% 2.02/1.44 Conjecture not found
% 2.02/1.44 Conjecture not found
% 2.12/1.49 Conjecture not found
% 2.28/1.54 Conjecture not found
% 2.28/1.54 Conjecture not found
% 2.28/1.55 Conjecture not found
% 2.28/1.56 Conjecture not found
% 2.38/1.58 Conjecture not found
% 2.38/1.59 Conjecture not found
% 2.38/1.61 Conjecture not found
% 2.38/1.63 Conjecture not found
% 2.38/1.65 Conjecture not found
% 2.52/1.67 Conjecture not found
% 2.52/1.67 Conjecture not found
% 2.59/1.69 Conjecture not found
% 2.59/1.72 Conjecture not found
% 2.77/1.78 Conjecture not found
% 2.90/1.83 Conjecture not found
% 2.90/1.84 Conjecture not found
% 2.97/1.86 Conjecture not found
% 2.97/1.89 Conjecture not found
% 2.97/1.91 Conjecture not found
% 3.14/1.93 Conjecture not found
% 3.14/1.95 Conjecture not found
% 3.35/2.05 Conjecture not found
% 3.39/2.08 Conjecture not found
% 3.39/2.11 Conjecture not found
% 3.49/2.12 Conjecture not found
% 3.49/2.14 Conjecture not found
% 3.49/2.17 Conjecture not found
% 3.84/2.33 Conjecture not found
% 3.97/2.36 Conjecture not found
% 3.97/2.39 Conjecture not found
% 4.16/2.48 Conjecture not found
% 4.28/2.50 Conjecture not found
% 4.28/2.51 Conjecture not found
% 4.28/2.53 Conjecture not found
% 4.39/2.58 Conjecture not found
% 4.39/2.64 Conjecture not found
% 4.70/2.71 Conjecture not found
% 4.81/2.78 Conjecture not found
% 4.81/2.83 Conjecture not found
% 4.98/2.84 Conjecture not found
% 4.98/2.87 Conjecture not found
% 4.98/2.87 Conjecture not found
% 4.98/2.89 Conjecture not found
% 5.18/2.92 Conjecture not found
% 5.18/2.94 Conjecture not found
% 5.18/2.95 Conjecture not found
% 5.31/3.03 Conjecture not found
% 5.31/3.04 Conjecture not found
% 5.50/3.08 Conjecture not found
% 5.54/3.15 Conjecture not found
% 5.76/3.26 Conjecture not found
% 6.08/3.41 Conjecture not found
% 6.59/3.65 Conjecture not found
% 7.37/3.98 Conjecture not found
% 7.39/4.01 Conjecture not found
% 7.49/4.04 Conjecture not found
% 7.63/4.13 Conjecture not found
% 7.63/4.16 Conjecture not found
% 7.80/4.19 Conjecture not found
% 7.80/4.25 Conjecture not found
% 8.00/4.30 Conjecture not found
% 8.14/4.36 Conjecture not found
% 8.27/4.41 Conjecture not found
% 8.27/4.43 Conjecture not found
% 8.27/4.45 Conjecture not found
% 8.36/4.48 Conjecture not found
% 8.36/4.49 Conjecture not found
% 8.55/4.55 Conjecture not found
% 8.78/4.65 Conjecture not found
% 8.78/4.70 Conjecture not found
% 9.12/4.79 Conjecture not found
% 9.12/4.82 Conjecture not found
% 9.12/4.86 Conjecture not found
% 9.33/4.88 Conjecture not found
% 9.33/4.88 Conjecture not found
% 9.33/4.90 Conjecture not found
% 9.37/4.92 Conjecture not found
% 9.37/4.94 Conjecture not found
% 9.53/4.99 Conjecture not found
% 9.53/4.99 Conjecture not found
% 9.53/5.00 Conjecture not found
% 9.53/5.02 Conjecture not found
% 9.66/5.06 Conjecture not found
% 9.77/5.09 Conjecture not found
% 9.77/5.13 Conjecture not found
% 9.87/5.16 Conjecture not found
% 10.30/5.34 Conjecture not found
% 10.30/5.37 Conjecture not found
% 10.30/5.37 Conjecture not found
% 10.34/5.40 Conjecture not found
% 10.34/5.43 Conjecture not found
% 10.53/5.46 Conjecture not found
% 10.56/5.52 Conjecture not found
% 10.56/5.52 Conjecture not found
% 10.70/5.54 Conjecture not found
% 10.70/5.55 Conjecture not found
% 10.91/5.63 Conjecture not found
% 11.72/6.11 Conjecture not found
% 12.64/6.60 Conjecture not found
% 12.87/6.74 Conjecture not found
% 13.03/6.81 Conjecture not found
% 13.03/6.82 Conjecture not found
% 13.03/6.84 Conjecture not found
% 13.03/6.87 Conjecture not found
% 13.21/6.90 Conjecture not found
% 13.21/6.91 Conjecture not found
% 13.21/6.96 Conjecture not found
% 13.47/7.01 Conjecture not found
% 13.49/7.07 Conjecture not found
% 13.49/7.09 Conjecture not found
% 13.49/7.10 Conjecture not found
% 13.58/7.12 Conjecture not found
% 13.58/7.18 Conjecture not found
% 13.75/7.21 Conjecture not found
% 13.75/7.26 Conjecture not found
% 13.96/7.31 Conjecture not found
% 13.96/7.32 Conjecture not found
% 13.96/7.34 Conjecture not found
% 13.96/7.37 Conjecture not found
% 14.20/7.40 Conjecture not found
% 14.26/7.43 Conjecture not found
% 14.26/7.45 Conjecture not found
% 14.26/7.46 Conjecture not found
% 14.47/7.53 Conjecture not found
% 14.55/7.59 Conjecture not found
% 14.55/7.60 Conjecture not found
% 14.55/7.62 Conjecture not found
% 14.55/7.65 Conjecture not found
% 14.55/7.67 Conjecture not found
% 14.76/7.68 Conjecture not found
% 14.76/7.70 Conjecture not found
% 14.79/7.72 Conjecture not found
% 14.91/7.75 Conjecture not found
% 14.94/7.76 Conjecture not found
% 14.94/7.79 Conjecture not found
% 14.99/7.80 Conjecture not found
% 14.99/7.82 Conjecture not found
% 15.04/7.85 Conjecture not found
% 15.04/7.88 Conjecture not found
% 15.04/7.90 Conjecture not found
% 15.04/7.94 Conjecture not found
% 15.29/7.97 Conjecture not found
% 15.29/7.99 Conjecture not found
% 15.34/8.00 Conjecture not found
% 15.34/8.04 Conjecture not found
% 15.50/8.06 Conjecture not found
% 15.50/8.07 Conjecture not found
% 15.56/8.11 Conjecture not found
% 15.56/8.11 Conjecture not found
% 15.56/8.13 Conjecture not found
% 15.66/8.18 Conjecture not found
% 15.66/8.19 Conjecture not found
% 15.66/8.21 Conjecture not found
% 15.66/8.23 Conjecture not found
% 15.66/8.24 Conjecture not found
% 15.66/8.24 Conjecture not found
% 15.66/8.25 Conjecture not found
% 15.66/8.25 Conjecture not found
% 15.84/8.29 Conjecture not found
% 16.07/8.40 Conjecture not found
% 16.07/8.41 Conjecture not found
% 16.07/8.43 Conjecture not found
% 16.22/8.46 Conjecture not found
% 16.22/8.48 Conjecture not found
% 16.36/8.52 Conjecture not found
% 16.43/8.55 Conjecture not found
% 16.43/8.57 Conjecture not found
% 16.43/8.60 Conjecture not found
% 16.49/8.65 Conjecture not found
% 16.69/8.70 Conjecture not found
% 16.69/8.75 Conjecture not found
% 16.90/8.85 Conjecture not found
% 17.24/8.93 Conjecture not found
% 17.27/9.00 Conjecture not found
% 17.27/9.01 Conjecture not found
% 17.33/9.03 Conjecture not found
% 17.33/9.06 Conjecture not found
% 17.37/9.12 Conjecture not found
% 17.61/9.14 Conjecture not found
% 17.64/9.22 Conjecture not found
% 17.89/9.28 Conjecture not found
% 17.99/9.34 Conjecture not found
% 17.99/9.38 Conjecture not found
% 18.04/9.45 Conjecture not found
% 18.26/9.46 Conjecture not found
% 18.30/9.50 Conjecture not found
% 18.38/9.54 Conjecture not found
% 18.59/9.62 Conjecture not found
% 18.64/9.72 Conjecture not found
% 18.64/9.74 Conjecture not found
% 18.91/9.78 Conjecture not found
% 18.95/9.80 Conjecture not found
% 18.95/9.82 Conjecture not found
% 18.99/9.91 Conjecture not found
% 19.24/9.97 Conjecture not found
% 19.24/9.98 Conjecture not found
% 19.31/10.01 Conjecture not found
% 19.68/10.27 Conjecture not found
% 19.99/10.33 Conjecture not found
% 20.12/10.38 Conjecture not found
% 20.27/10.42 Conjecture not found
% 20.35/10.44 Conjecture not found
% 20.35/10.45 Conjecture not found
% 20.35/10.51 Conjecture not found
% 20.44/10.58 Conjecture not found
% 20.83/10.68 Conjecture not found
% 20.83/10.75 Conjecture not found
% 20.83/10.77 Conjecture not found
% 21.25/10.91 Conjecture not found
% 21.25/10.97 Conjecture not found
% 21.32/11.02 Conjecture not found
% 21.60/11.09 Conjecture not found
% 21.66/11.13 Conjecture not found
% 21.66/11.15 Conjecture not found
% 21.66/11.17 Conjecture not found
% 21.66/11.18 Conjecture not found
% 21.66/11.19 Conjecture not found
% 21.72/11.24 Conjecture not found
% 21.98/11.29 Conjecture not found
% 21.98/11.32 Conjecture not found
% 21.98/11.35 Conjecture not found
% 22.11/11.41 Conjecture not found
% 22.11/11.41 Conjecture not found
% 22.23/11.46 Conjecture not found
% 22.23/11.49 Conjecture not found
% 22.49/11.63 Conjecture not found
% 22.49/11.64 Conjecture not found
% 22.74/11.70 Conjecture not found
% 22.74/11.71 Conjecture not found
% 22.87/11.72 Conjecture not found
% 22.87/11.72 Conjecture not found
% 22.87/11.74 Conjecture not found
% 22.90/11.79 Conjecture not found
% 22.90/11.80 Conjecture not found
% 22.90/11.81 Conjecture not found
% 23.23/11.90 Conjecture not found
% 23.32/11.97 Conjecture not found
% 23.37/12.04 Conjecture not found
% 23.41/12.06 Conjecture not found
% 23.68/12.18 Conjecture not found
% 24.03/12.32 Conjecture not found
% 24.03/12.33 Conjecture not found
% 24.11/12.36 Conjecture not found
% 24.11/12.38 Conjecture not found
% 24.11/12.39 Conjecture not found
% 24.48/12.50 Conjecture not found
% 24.56/12.57 Conjecture not found
% 24.60/12.62 Conjecture not found
% 24.83/12.66 Conjecture not found
% 24.97/12.79 Conjecture not found
% 24.97/12.82 Conjecture not found
% 24.97/12.83 Conjecture not found
% 25.06/12.89 Conjecture not found
% 25.37/12.97 Conjecture not found
% 25.37/12.98 Conjecture not found
% 25.43/13.03 Conjecture not found
% 25.49/13.10 Conjecture not found
% 25.49/13.15 Conjecture not found
% 25.81/13.17 Conjecture not found
% 25.84/13.22 Conjecture not found
% 25.88/13.26 Conjecture not found
% 25.88/13.27 Conjecture not found
% 25.88/13.31 Conjecture not found
% 25.96/13.37 Conjecture not found
% 26.24/13.42 Conjecture not found
% 26.24/13.47 Conjecture not found
% 26.38/13.53 Conjecture not found
% 26.38/13.54 Conjecture not found
% 26.38/13.60 Conjecture not found
% 26.74/13.69 Conjecture not found
% 26.82/13.76 Conjecture not found
% 26.90/13.78 Conjecture not found
% 27.24/13.91 Conjecture not found
% 27.26/13.93 Conjecture not found
% 27.26/13.94 Conjecture not found
% 27.26/13.94 Conjecture not found
% 27.26/13.95 Conjecture not found
% 27.26/13.97 Conjecture not found
% 27.26/13.98 Conjecture not found
% 27.36/14.06 Conjecture not found
% 27.72/14.16 Conjecture not found
% 27.80/14.20 Conjecture not found
% 27.80/14.22 Conjecture not found
% 27.80/14.23 Conjecture not found
% 27.93/14.28 Conjecture not found
% 27.93/14.32 Conjecture not found
% 27.93/14.34 Conjecture not found
% 28.28/14.44 Conjecture not found
% 28.28/14.45 Conjecture not found
% 28.28/14.49 Conjecture not found
% 28.36/14.56 Conjecture not found
% 28.68/14.60 Conjecture not found
% 28.68/14.66 Conjecture not found
% 29.26/14.91 Conjecture not found
% 29.36/14.97 Conjecture not found
% 29.36/14.98 Conjecture not found
% 29.45/15.08 Conjecture not found
% 29.76/15.11 Conjecture not found
% 29.82/15.19 Conjecture not found
% 29.82/15.21 Conjecture not found
% 29.93/15.29 Conjecture not found
% 30.08/15.34 Conjecture not found
% 30.08/15.35 Conjecture not found
% 30.33/15.38 Conjecture not found
% 30.33/15.42 Conjecture not found
% 30.40/15.46 Conjecture not found
% 30.48/15.53 Conjecture not found
% 30.48/15.54 Conjecture not found
% 30.48/15.55 Conjecture not found
% 30.51/15.55 Conjecture not found
% 30.51/15.61 Conjecture not found
% 30.89/15.63 Conjecture not found
% 30.93/15.71 Conjecture not found
% 31.03/15.79 Conjecture not found
% 31.39/15.88 Conjecture not found
% 31.39/15.92 Conjecture not found
% 31.39/15.93 Conjecture not found
% 31.48/15.95 Conjecture not found
% 31.50/15.99 Conjecture not found
% 31.50/16.01 Conjecture not found
% 31.55/16.02 Conjecture not found
% 31.58/16.05 Conjecture not found
% 31.58/16.08 Conjecture not found
% 31.74/16.13 Conjecture not found
% 32.01/16.18 Conjecture not found
% 32.01/16.20 Conjecture not found
% 32.11/16.28 Conjecture not found
% 32.11/16.31 Conjecture not found
% 32.11/16.32 Conjecture not found
% 32.31/16.43 Conjecture not found
% 32.56/16.45 Conjecture not found
% 32.56/16.49 Conjecture not found
% 32.61/16.51 Conjecture not found
% 32.61/16.53 Conjecture not found
% 32.61/16.54 Conjecture not found
% 32.66/16.57 Conjecture not found
% 32.66/16.58 Conjecture not found
% 32.92/16.69 Conjecture not found
% 32.92/16.69 Conjecture not found
% 32.92/16.70 Conjecture not found
% 33.23/16.77 Conjecture not found
% 33.28/16.80 Conjecture not found
% 33.28/16.84 Conjecture not found
% 33.34/16.86 Conjecture not found
% 33.34/16.89 Conjecture not found
% 33.39/16.94 Conjecture not found
% 33.75/17.02 Conjecture not found
% 33.75/17.04 Conjecture not found
% 33.86/17.08 Conjecture not found
% 33.89/17.10 Conjecture not found
% 33.89/17.11 Conjecture not found
% 33.89/17.12 Conjecture not found
% 33.92/17.16 Conjecture not found
% 33.99/17.20 Conjecture not found
% 33.99/17.23 Conjecture not found
% 34.14/17.29 Conjecture not found
% 34.14/17.30 Conjecture not found
% 34.14/17.36 Conjecture not found
% 34.51/17.41 Conjecture not found
% 34.55/17.44 Conjecture not found
% 34.56/17.46 Conjecture not found
% 34.56/17.48 Conjecture not found
% 34.56/17.52 Conjecture not found
% 34.73/17.55 Conjecture not found
% 34.73/17.59 Conjecture not found
% 35.05/17.65 Conjecture not found
% 35.12/17.67 Conjecture not found
% 35.12/17.69 Conjecture not found
% 35.18/17.74 Conjecture not found
% 35.18/17.79 Conjecture not found
% 35.65/17.91 Conjecture not found
% 35.65/17.95 Conjecture not found
% 35.76/18.00 Conjecture not found
% 35.84/18.07 Conjecture not found
% 35.94/18.18 Conjecture not found
% 36.36/18.25 Conjecture not found
% 36.42/18.32 Conjecture not found
% 36.42/18.34 Conjecture not found
% 36.42/18.35 Conjecture not found
% 36.46/18.36 Conjecture not found
% 36.46/18.37 Conjecture not found
% 36.46/18.39 Conjecture not found
% 36.46/18.41 Conjecture not found
% 36.46/18.42 Conjecture not found
% 36.56/18.45 Conjecture not found
% 36.56/18.46 Conjecture not found
% 36.61/18.50 Conjecture not found
% 37.09/18.64 Conjecture not found
% 37.13/18.67 Conjecture not found
% 37.13/18.71 Conjecture not found
% 37.13/18.72 Conjecture not found
% 37.13/18.74 Conjecture not found
% 37.23/18.81 Conjecture not found
% 37.73/18.94 Conjecture not found
% 37.78/18.97 Conjecture not found
% 37.78/18.99 Conjecture not found
% 37.88/19.08 Conjecture not found
% 37.88/19.12 Conjecture not found
% 37.95/19.15 Conjecture not found
% 38.07/19.21 Conjecture not found
% 38.07/19.23 Conjecture not found
% 38.50/19.28 Conjecture not found
% 38.50/19.30 Conjecture not found
% 38.50/19.30 Conjecture not found
% 38.59/19.34 Conjecture not found
% 38.61/19.36 Conjecture not found
% 38.61/19.37 Conjecture not found
% 38.61/19.39 Conjecture not found
% 38.61/19.40 Conjecture not found
% 38.70/19.45 Conjecture not found
% 38.75/19.50 Conjecture not found
% 39.25/19.58 Conjecture not found
% 39.29/19.63 Conjecture not found
% 39.33/19.72 Conjecture not found
% 39.33/19.72 Conjecture not found
% 39.33/19.74 Conjecture not found
% 39.42/19.75 Conjecture not found
% 39.42/19.76 Conjecture not found
% 39.71/19.81 Conjecture not found
% 39.71/19.82 Conjecture not found
% 39.89/19.92 Conjecture not found
% 39.89/19.93 Conjecture not found
% 39.99/19.95 Conjecture not found
% 39.99/19.99 Conjecture not found
% 40.03/20.00 Conjecture not found
% 40.03/20.02 Conjecture not found
% 40.08/20.06 Conjecture not found
% 40.08/20.07 Conjecture not found
% 40.08/20.10 Conjecture not found
% 40.14/20.14 Conjecture not found
% 40.21/20.20 Conjecture not found
% 40.68/20.27 Conjecture not found
% 40.68/20.29 Conjecture not found
% 40.68/20.31 Conjecture not found
% 40.74/20.32 Conjecture not found
% 40.80/20.38 Conjecture not found
% 40.86/20.44 Conjecture not found
% 40.86/20.48 Conjecture not found
% 41.13/20.58 Conjecture not found
% 41.38/20.64 Conjecture not found
% 41.38/20.66 Conjecture not found
% 41.45/20.68 Conjecture not found
% 41.52/20.77 Conjecture not found
% 41.52/20.80 Conjecture not found
% 41.52/20.84 Conjecture not found
% 41.62/20.90 Conjecture not found
% 41.69/20.93 Conjecture not found
% 41.77/20.99 Conjecture not found
% 41.77/21.04 Conjecture not found
% 41.77/21.06 Conjecture not found
% 42.26/21.09 Conjecture not found
% 42.26/21.11 Conjecture not found
% 42.31/21.13 Conjecture not found
% 42.31/21.15 Conjecture not found
% 42.31/21.16 Conjecture not found
% 42.31/21.18 Conjecture not found
% 42.31/21.20 Conjecture not found
% 42.39/21.24 Conjecture not found
% 42.78/21.32 Conjecture not found
% 42.78/21.33 Conjecture not found
% 42.78/21.36 Conjecture not found
% 42.99/21.40 Conjecture not found
% 42.99/21.43 Conjecture not found
% 43.04/21.45 Conjecture not found
% 43.04/21.48 Conjecture not found
% 43.04/21.48 Conjecture not found
% 43.04/21.50 Conjecture not found
% 43.12/21.54 Conjecture not found
% 43.12/21.56 Conjecture not found
% 43.17/21.58 Conjecture not found
% 43.17/21.62 Conjecture not found
% 43.17/21.63 Conjecture not found
% 43.76/21.74 Conjecture not found
% 43.78/21.75 Conjecture not found
% 43.78/21.76 Conjecture not found
% 43.78/21.77 Conjecture not found
% 43.78/21.80 Conjecture not found
% 43.78/21.82 Conjecture not found
% 43.86/21.84 Conjecture not found
% 43.86/21.86 Conjecture not found
% 43.86/21.87 Conjecture not found
% 43.92/21.91 Conjecture not found
% 44.03/21.98 Conjecture not found
% 44.55/22.13 Conjecture not found
% 44.55/22.15 Conjecture not found
% 44.59/22.16 Conjecture not found
% 44.59/22.17 Conjecture not found
% 44.67/22.26 Conjecture not found
% 44.71/22.28 Conjecture not found
% 44.71/22.30 Conjecture not found
% 44.71/22.33 Conjecture not found
% 44.91/22.43 Conjecture not found
% 45.19/22.51 Conjecture not found
% 45.49/22.64 Conjecture not found
% 45.49/22.66 Conjecture not found
% 45.55/22.71 Conjecture not found
% 45.55/22.72 Conjecture not found
% 45.55/22.73 Conjecture not found
% 45.55/22.74 Conjecture not found
% 45.65/22.78 Conjecture not found
% 46.06/22.86 Conjecture not found
% 46.06/22.90 Conjecture not found
% 46.06/22.93 Conjecture not found
% 46.26/22.96 Conjecture not found
% 46.32/23.03 Conjecture not found
% 46.32/23.04 Conjecture not found
% 46.39/23.06 Conjecture not found
% 46.43/23.11 Conjecture not found
% 46.43/23.14 Conjecture not found
% 46.47/23.19 Conjecture not found
% 46.47/23.23 Conjecture not found
% 46.68/23.28 Conjecture not found
% 46.68/23.32 Conjecture not found
% 47.26/23.43 Conjecture not found
% 47.29/23.47 Conjecture not found
% 47.29/23.50 Conjecture not found
% 47.29/23.53 Conjecture not found
% 47.39/23.57 Conjecture not found
% 47.39/23.58 Conjecture not found
% 47.39/23.60 Conjecture not found
% 47.39/23.62 Conjecture not found
% 47.99/23.75 Conjecture not found
% 47.99/23.77 Conjecture not found
% 47.99/23.78 Conjecture not found
% 48.10/23.81 Conjecture not found
% 48.10/23.82 Conjecture not found
% 48.10/23.84 Conjecture not found
% 48.17/23.86 Conjecture not found
% 48.17/23.88 Conjecture not found
% 48.20/23.89 Conjecture not found
% 48.20/23.91 Conjecture not found
% 48.25/23.94 Conjecture not found
% 48.25/23.97 Conjecture not found
% 48.25/23.98 Conjecture not found
% 48.25/23.99 Conjecture not found
% 48.32/24.01 Conjecture not found
% 48.32/24.02 Conjecture not found
% 48.32/24.04 Conjecture not found
% 48.62/24.14 Conjecture not found
% 48.97/24.16 Conjecture not found
% 48.97/24.17 Conjecture not found
% 48.97/24.18 Conjecture not found
% 49.00/24.19 Conjecture not found
% 49.00/24.22 Conjecture not found
% 49.05/24.23 Conjecture not found
% 49.06/24.26 Conjecture not found
% 49.06/24.27 Conjecture not found
% 49.06/24.29 Conjecture not found
% 49.14/24.33 Conjecture not found
% 49.14/24.35 Conjecture not found
% 49.14/24.36 Conjecture not found
% 49.14/24.38 Conjecture not found
% 49.21/24.43 Conjecture not found
% 49.21/24.44 Conjecture not found
% 49.57/24.59 Conjecture not found
% 49.88/24.60 Conjecture not found
% 49.88/24.61 Conjecture not found
% 49.96/24.76 Conjecture not found
% 50.06/24.79 Conjecture not found
% 50.08/24.81 Conjecture not found
% 50.11/24.84 Conjecture not found
% 50.19/24.91 Conjecture not found
% 50.19/24.96 Conjecture not found
% 50.35/25.01 Conjecture not found
% 50.96/25.09 Conjecture not found
% 51.02/25.15 Conjecture not found
% 51.11/25.27 Conjecture not found
% 51.11/25.27 Conjecture not found
% 51.20/25.34 Conjecture not found
% 51.20/25.36 Conjecture not found
% 51.29/25.40 Conjecture not found
% 51.29/25.41 Conjecture not found
% 51.32/25.42 Conjecture not found
% 51.32/25.43 Conjecture not found
% 51.34/25.46 Conjecture not found
% 51.34/25.51 Conjecture not found
% 51.90/25.54 Conjecture not found
% 51.90/25.57 Conjecture not found
% 52.03/25.62 Conjecture not found
% 52.03/25.64 Conjecture not found
% 52.09/25.67 Conjecture not found
% 52.09/25.69 Conjecture not found
% 52.17/25.77 Conjecture not found
% 52.17/25.81 Conjecture not found
% 52.26/25.84 Conjecture not found
% 52.26/25.88 Conjecture not found
% 52.33/25.92 Conjecture not found
% 52.40/25.97 Conjecture not found
% 52.41/25.99 Conjecture not found
% 52.41/26.01 Conjecture not found
% 52.92/26.08 Conjecture not found
% 53.13/26.16 Conjecture not found
% 53.82/26.56 Conjecture not found
% 54.14/26.57 Conjecture not found
% 54.17/26.60 Conjecture not found
% 54.17/26.62 Conjecture not found
% 54.17/26.64 Conjecture not found
% 54.23/26.65 Conjecture not found
% 54.23/26.66 Conjecture not found
% 54.25/26.67 Conjecture not found
% 54.25/26.68 Conjecture not found
% 54.25/26.69 Conjecture not found
% 54.25/26.70 Conjecture not found
% 54.30/26.74 Conjecture not found
% 54.34/26.82 Conjecture not found
% 54.89/26.94 Conjecture not found
% 55.07/26.98 Conjecture not found
% 55.12/27.02 Conjecture not found
% 55.12/27.04 Conjecture not found
% 55.12/27.05 Conjecture not found
% 55.19/27.10 Conjecture not found
% 55.19/27.12 Conjecture not found
% 55.19/27.14 Conjecture not found
% 55.19/27.15 Conjecture not found
% 55.19/27.17 Conjecture not found
% 55.33/27.23 Conjecture not found
% 55.36/27.26 Conjecture not found
% 55.36/27.29 Conjecture not found
% 55.55/27.35 Conjecture not found
% 55.55/27.36 Conjecture not found
% 56.15/27.46 Conjecture not found
% 56.15/27.49 Conjecture not found
% 56.15/27.50 Conjecture not found
% 56.15/27.50 Conjecture not found
% 56.20/27.53 Conjecture not found
% 56.23/27.55 Conjecture not found
% 56.23/27.56 Conjecture not found
% 56.23/27.61 Conjecture not found
% 56.23/27.61 Conjecture not found
% 56.23/27.62 Conjecture not found
% 56.32/27.64 Conjecture not found
% 56.32/27.65 Conjecture not found
% 56.32/27.66 Conjecture not found
% 56.32/27.68 Conjecture not found
% 56.32/27.69 Conjecture not found
% 57.05/27.82 Conjecture not found
% 57.05/27.87 Conjecture not found
% 57.05/27.88 Conjecture not found
% 57.05/27.89 Conjecture not found
% 57.15/27.96 Conjecture not found
% 57.15/27.97 Conjecture not found
% 57.23/27.99 Conjecture not found
% 57.23/28.01 Conjecture not found
% 57.33/28.10 Conjecture not found
% 57.35/28.12 Conjecture not found
% 57.36/28.14 Conjecture not found
% 57.36/28.17 Conjecture not found
% 57.85/28.25 Conjecture not found
% 57.85/28.28 Conjecture not found
% 58.14/28.34 Conjecture not found
% 58.23/28.42 Conjecture not found
% 58.23/28.48 Conjecture not found
% 58.31/28.51 Conjecture not found
% 58.31/28.52 Conjecture not found
% 58.42/28.60 Conjecture not found
% 58.44/28.65 Conjecture not found
% 58.76/28.75 Start search
% 130.12/46.53 nb_step : 1 - limit : 134005
% 131.51/47.13 Launch Gotab with destructive = true
%------------------------------------------------------------------------------