TSTP Solution File: LAT377+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT377+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n010.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:27 EDT 2022
% Result : Timeout 300.20s 94.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : LAT377+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n010.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Thu Sep 1 16:30:21 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000042s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.44 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.20/0.53 Conjecture not found
% 0.20/0.54 Conjecture not found
% 0.20/0.54 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.54/0.61 Conjecture not found
% 0.54/0.62 Conjecture not found
% 0.54/0.63 Conjecture not found
% 0.66/0.64 Conjecture not found
% 0.69/0.66 Conjecture not found
% 0.69/0.68 Conjecture not found
% 0.81/0.72 Conjecture not found
% 0.88/0.79 Conjecture not found
% 0.88/0.80 Conjecture not found
% 1.10/0.88 Conjecture not found
% 1.10/0.93 Conjecture not found
% 1.24/1.01 Conjecture not found
% 1.36/1.04 Conjecture not found
% 1.47/1.11 Conjecture not found
% 1.47/1.15 Conjecture not found
% 1.67/1.20 Conjecture not found
% 1.67/1.22 Conjecture not found
% 1.76/1.26 Conjecture not found
% 1.76/1.27 Conjecture not found
% 1.76/1.28 Conjecture not found
% 1.76/1.28 Conjecture not found
% 1.76/1.29 Conjecture not found
% 2.00/1.39 Conjecture not found
% 2.00/1.42 Conjecture not found
% 2.00/1.42 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.00/1.44 Conjecture not found
% 2.17/1.46 Conjecture not found
% 2.17/1.46 Conjecture not found
% 2.23/1.49 Conjecture not found
% 2.34/1.54 Conjecture not found
% 2.34/1.54 Conjecture not found
% 2.34/1.55 Conjecture not found
% 2.34/1.56 Conjecture not found
% 2.34/1.58 Conjecture not found
% 2.34/1.59 Conjecture not found
% 2.34/1.61 Conjecture not found
% 2.50/1.63 Conjecture not found
% 2.50/1.65 Conjecture not found
% 2.50/1.67 Conjecture not found
% 2.50/1.67 Conjecture not found
% 2.63/1.68 Conjecture not found
% 2.63/1.72 Conjecture not found
% 2.80/1.78 Conjecture not found
% 2.90/1.83 Conjecture not found
% 2.90/1.84 Conjecture not found
% 2.90/1.86 Conjecture not found
% 2.90/1.89 Conjecture not found
% 3.05/1.92 Conjecture not found
% 3.05/1.94 Conjecture not found
% 3.05/1.95 Conjecture not found
% 3.20/2.03 Conjecture not found
% 3.20/2.06 Conjecture not found
% 3.35/2.09 Conjecture not found
% 3.41/2.10 Conjecture not found
% 3.44/2.12 Conjecture not found
% 3.46/2.14 Conjecture not found
% 3.76/2.31 Conjecture not found
% 3.76/2.34 Conjecture not found
% 3.76/2.36 Conjecture not found
% 4.00/2.45 Conjecture not found
% 4.00/2.47 Conjecture not found
% 4.00/2.48 Conjecture not found
% 4.00/2.50 Conjecture not found
% 4.21/2.55 Conjecture not found
% 4.36/2.62 Conjecture not found
% 4.54/2.68 Conjecture not found
% 4.65/2.75 Conjecture not found
% 4.65/2.80 Conjecture not found
% 4.65/2.81 Conjecture not found
% 4.80/2.85 Conjecture not found
% 4.80/2.86 Conjecture not found
% 4.80/2.89 Conjecture not found
% 4.92/2.92 Conjecture not found
% 4.92/2.94 Conjecture not found
% 5.04/2.96 Conjecture not found
% 5.14/3.03 Conjecture not found
% 5.18/3.04 Conjecture not found
% 5.18/3.08 Conjecture not found
% 5.36/3.15 Conjecture not found
% 5.59/3.25 Conjecture not found
% 5.85/3.41 Conjecture not found
% 6.32/3.64 Conjecture not found
% 7.00/3.96 Conjecture not found
% 7.00/3.99 Conjecture not found
% 7.00/4.01 Conjecture not found
% 7.24/4.11 Conjecture not found
% 7.35/4.15 Conjecture not found
% 7.44/4.20 Conjecture not found
% 7.59/4.26 Conjecture not found
% 7.59/4.30 Conjecture not found
% 7.75/4.36 Conjecture not found
% 7.89/4.40 Conjecture not found
% 7.89/4.43 Conjecture not found
% 7.89/4.43 Conjecture not found
% 7.89/4.46 Conjecture not found
% 8.05/4.47 Conjecture not found
% 8.09/4.52 Conjecture not found
% 8.19/4.61 Conjecture not found
% 8.38/4.67 Conjecture not found
% 8.60/4.78 Conjecture not found
% 8.64/4.80 Conjecture not found
% 8.75/4.85 Conjecture not found
% 8.75/4.87 Conjecture not found
% 8.75/4.89 Conjecture not found
% 8.75/4.92 Conjecture not found
% 8.85/4.94 Conjecture not found
% 8.85/4.96 Conjecture not found
% 8.85/5.01 Conjecture not found
% 8.85/5.01 Conjecture not found
% 9.02/5.02 Conjecture not found
% 9.02/5.04 Conjecture not found
% 9.19/5.08 Conjecture not found
% 9.21/5.10 Conjecture not found
% 9.22/5.15 Conjecture not found
% 9.22/5.20 Conjecture not found
% 9.67/5.39 Conjecture not found
% 9.72/5.44 Conjecture not found
% 9.72/5.45 Conjecture not found
% 9.72/5.47 Conjecture not found
% 9.72/5.49 Conjecture not found
% 9.72/5.51 Conjecture not found
% 9.99/5.55 Conjecture not found
% 9.99/5.56 Conjecture not found
% 9.99/5.59 Conjecture not found
% 10.08/5.61 Conjecture not found
% 10.26/5.70 Conjecture not found
% 11.10/6.18 Conjecture not found
% 11.96/6.70 Conjecture not found
% 11.96/6.79 Conjecture not found
% 12.31/6.86 Conjecture not found
% 12.31/6.88 Conjecture not found
% 12.31/6.91 Conjecture not found
% 12.39/6.95 Conjecture not found
% 12.39/6.97 Conjecture not found
% 12.56/6.99 Conjecture not found
% 12.56/7.04 Conjecture not found
% 12.75/7.09 Conjecture not found
% 12.81/7.15 Conjecture not found
% 12.81/7.18 Conjecture not found
% 12.81/7.19 Conjecture not found
% 13.00/7.23 Conjecture not found
% 13.00/7.27 Conjecture not found
% 13.07/7.30 Conjecture not found
% 13.07/7.36 Conjecture not found
% 13.31/7.41 Conjecture not found
% 13.31/7.42 Conjecture not found
% 13.35/7.43 Conjecture not found
% 13.35/7.46 Conjecture not found
% 13.35/7.48 Conjecture not found
% 13.52/7.51 Conjecture not found
% 13.52/7.54 Conjecture not found
% 13.52/7.56 Conjecture not found
% 13.71/7.62 Conjecture not found
% 13.84/7.66 Conjecture not found
% 13.84/7.68 Conjecture not found
% 13.84/7.69 Conjecture not found
% 13.99/7.71 Conjecture not found
% 13.99/7.72 Conjecture not found
% 14.05/7.75 Conjecture not found
% 14.05/7.78 Conjecture not found
% 14.11/7.80 Conjecture not found
% 14.11/7.85 Conjecture not found
% 14.11/7.87 Conjecture not found
% 14.32/7.93 Conjecture not found
% 14.32/7.95 Conjecture not found
% 14.32/7.98 Conjecture not found
% 14.57/8.02 Conjecture not found
% 14.58/8.05 Conjecture not found
% 14.58/8.07 Conjecture not found
% 14.58/8.10 Conjecture not found
% 14.66/8.13 Conjecture not found
% 14.66/8.16 Conjecture not found
% 14.66/8.17 Conjecture not found
% 14.75/8.24 Conjecture not found
% 14.94/8.29 Conjecture not found
% 14.98/8.32 Conjecture not found
% 14.99/8.37 Conjecture not found
% 14.99/8.37 Conjecture not found
% 15.17/8.41 Conjecture not found
% 15.17/8.46 Conjecture not found
% 15.17/8.48 Conjecture not found
% 15.25/8.50 Conjecture not found
% 15.25/8.52 Conjecture not found
% 15.25/8.53 Conjecture not found
% 15.25/8.53 Conjecture not found
% 15.25/8.54 Conjecture not found
% 15.25/8.54 Conjecture not found
% 15.47/8.60 Conjecture not found
% 15.63/8.71 Conjecture not found
% 15.63/8.72 Conjecture not found
% 15.63/8.75 Conjecture not found
% 15.63/8.78 Conjecture not found
% 15.83/8.80 Conjecture not found
% 15.83/8.83 Conjecture not found
% 15.83/8.85 Conjecture not found
% 15.92/8.89 Conjecture not found
% 16.00/8.96 Conjecture not found
% 16.18/9.02 Conjecture not found
% 16.18/9.05 Conjecture not found
% 16.18/9.09 Conjecture not found
% 16.58/9.24 Conjecture not found
% 16.83/9.31 Conjecture not found
% 16.83/9.37 Conjecture not found
% 16.83/9.38 Conjecture not found
% 16.93/9.42 Conjecture not found
% 17.17/9.51 Conjecture not found
% 17.17/9.56 Conjecture not found
% 17.17/9.59 Conjecture not found
% 17.28/9.70 Conjecture not found
% 17.61/9.81 Conjecture not found
% 17.61/9.88 Conjecture not found
% 17.71/9.95 Conjecture not found
% 18.00/10.03 Conjecture not found
% 18.00/10.06 Conjecture not found
% 18.09/10.13 Conjecture not found
% 18.33/10.21 Conjecture not found
% 18.45/10.31 Conjecture not found
% 18.55/10.47 Conjecture not found
% 18.77/10.49 Conjecture not found
% 18.77/10.53 Conjecture not found
% 18.77/10.56 Conjecture not found
% 18.88/10.60 Conjecture not found
% 19.10/10.74 Conjecture not found
% 19.22/10.85 Conjecture not found
% 19.22/10.87 Conjecture not found
% 19.35/10.93 Conjecture not found
% 19.91/11.29 Conjecture not found
% 20.13/11.39 Conjecture not found
% 20.13/11.46 Conjecture not found
% 20.23/11.50 Conjecture not found
% 20.42/11.53 Conjecture not found
% 20.44/11.55 Conjecture not found
% 20.51/11.65 Conjecture not found
% 20.67/11.76 Conjecture not found
% 20.87/11.90 Conjecture not found
% 21.03/11.99 Conjecture not found
% 21.03/12.03 Conjecture not found
% 21.43/12.21 Conjecture not found
% 21.50/12.31 Conjecture not found
% 21.59/12.38 Conjecture not found
% 21.79/12.45 Conjecture not found
% 21.79/12.51 Conjecture not found
% 21.89/12.53 Conjecture not found
% 21.89/12.58 Conjecture not found
% 21.89/12.59 Conjecture not found
% 21.98/12.62 Conjecture not found
% 22.06/12.69 Conjecture not found
% 22.13/12.76 Conjecture not found
% 22.34/12.80 Conjecture not found
% 22.34/12.84 Conjecture not found
% 22.43/12.93 Conjecture not found
% 22.43/12.95 Conjecture not found
% 22.52/12.99 Conjecture not found
% 22.55/13.03 Conjecture not found
% 22.91/13.21 Conjecture not found
% 22.91/13.22 Conjecture not found
% 22.91/13.26 Conjecture not found
% 22.91/13.27 Conjecture not found
% 22.91/13.27 Conjecture not found
% 22.91/13.29 Conjecture not found
% 23.18/13.30 Conjecture not found
% 23.18/13.36 Conjecture not found
% 23.18/13.37 Conjecture not found
% 23.18/13.38 Conjecture not found
% 23.27/13.46 Conjecture not found
% 23.48/13.56 Conjecture not found
% 23.64/13.65 Conjecture not found
% 23.64/13.67 Conjecture not found
% 24.00/13.80 Conjecture not found
% 24.12/13.98 Conjecture not found
% 24.39/14.01 Conjecture not found
% 24.39/14.05 Conjecture not found
% 24.39/14.06 Conjecture not found
% 24.39/14.07 Conjecture not found
% 24.47/14.14 Conjecture not found
% 24.80/14.23 Conjecture not found
% 24.80/14.26 Conjecture not found
% 24.80/14.28 Conjecture not found
% 25.05/14.41 Conjecture not found
% 25.05/14.44 Conjecture not found
% 25.05/14.46 Conjecture not found
% 25.26/14.50 Conjecture not found
% 25.30/14.54 Conjecture not found
% 25.30/14.55 Conjecture not found
% 25.59/14.63 Conjecture not found
% 25.65/14.68 Conjecture not found
% 25.65/14.70 Conjecture not found
% 25.65/14.71 Conjecture not found
% 25.65/14.75 Conjecture not found
% 25.98/14.84 Conjecture not found
% 25.98/14.84 Conjecture not found
% 25.98/14.88 Conjecture not found
% 26.07/14.93 Conjecture not found
% 26.14/14.99 Conjecture not found
% 26.14/15.05 Conjecture not found
% 26.44/15.11 Conjecture not found
% 26.44/15.12 Conjecture not found
% 26.47/15.17 Conjecture not found
% 26.54/15.22 Conjecture not found
% 26.93/15.36 Conjecture not found
% 26.93/15.38 Conjecture not found
% 26.99/15.45 Conjecture not found
% 26.99/15.46 Conjecture not found
% 26.99/15.47 Conjecture not found
% 26.99/15.47 Conjecture not found
% 26.99/15.48 Conjecture not found
% 27.12/15.51 Conjecture not found
% 27.12/15.53 Conjecture not found
% 27.37/15.62 Conjecture not found
% 27.37/15.68 Conjecture not found
% 27.52/15.77 Conjecture not found
% 27.52/15.80 Conjecture not found
% 27.52/15.81 Conjecture not found
% 27.84/15.86 Conjecture not found
% 27.84/15.88 Conjecture not found
% 27.91/15.89 Conjecture not found
% 27.91/15.95 Conjecture not found
% 27.99/15.97 Conjecture not found
% 28.25/16.02 Conjecture not found
% 28.28/16.09 Conjecture not found
% 28.37/16.11 Conjecture not found
% 28.37/16.14 Conjecture not found
% 28.76/16.37 Conjecture not found
% 28.85/16.45 Conjecture not found
% 28.85/16.48 Conjecture not found
% 29.24/16.60 Conjecture not found
% 29.27/16.62 Conjecture not found
% 29.27/16.66 Conjecture not found
% 29.27/16.68 Conjecture not found
% 29.65/16.79 Conjecture not found
% 29.65/16.82 Conjecture not found
% 29.65/16.83 Conjecture not found
% 29.65/16.85 Conjecture not found
% 29.65/16.87 Conjecture not found
% 29.76/16.91 Conjecture not found
% 30.10/17.02 Conjecture not found
% 30.10/17.03 Conjecture not found
% 30.10/17.03 Conjecture not found
% 30.10/17.04 Conjecture not found
% 30.10/17.07 Conjecture not found
% 30.10/17.08 Conjecture not found
% 30.19/17.14 Conjecture not found
% 30.48/17.25 Conjecture not found
% 30.48/17.30 Conjecture not found
% 30.48/17.32 Conjecture not found
% 30.48/17.33 Conjecture not found
% 30.67/17.34 Conjecture not found
% 30.67/17.40 Conjecture not found
% 30.76/17.42 Conjecture not found
% 30.76/17.43 Conjecture not found
% 30.76/17.46 Conjecture not found
% 31.09/17.53 Conjecture not found
% 31.20/17.61 Conjecture not found
% 31.22/17.66 Conjecture not found
% 31.22/17.68 Conjecture not found
% 31.32/17.76 Conjecture not found
% 31.47/17.79 Conjecture not found
% 31.47/17.82 Conjecture not found
% 31.71/17.91 Conjecture not found
% 31.76/17.94 Conjecture not found
% 31.76/17.99 Conjecture not found
% 31.76/18.01 Conjecture not found
% 31.84/18.02 Conjecture not found
% 31.84/18.04 Conjecture not found
% 32.01/18.09 Conjecture not found
% 32.01/18.11 Conjecture not found
% 32.30/18.22 Conjecture not found
% 32.30/18.23 Conjecture not found
% 32.30/18.23 Conjecture not found
% 32.32/18.27 Conjecture not found
% 32.32/18.30 Conjecture not found
% 32.32/18.32 Conjecture not found
% 32.40/18.35 Conjecture not found
% 32.67/18.41 Conjecture not found
% 32.67/18.44 Conjecture not found
% 32.86/18.49 Conjecture not found
% 32.86/18.51 Conjecture not found
% 32.90/18.54 Conjecture not found
% 32.91/18.56 Conjecture not found
% 32.91/18.57 Conjecture not found
% 32.91/18.58 Conjecture not found
% 32.91/18.61 Conjecture not found
% 33.31/18.68 Conjecture not found
% 33.31/18.72 Conjecture not found
% 33.31/18.75 Conjecture not found
% 33.39/18.76 Conjecture not found
% 33.46/18.83 Conjecture not found
% 33.48/18.90 Conjecture not found
% 33.55/18.93 Conjecture not found
% 33.55/18.97 Conjecture not found
% 33.89/19.03 Conjecture not found
% 34.04/19.08 Conjecture not found
% 34.04/19.09 Conjecture not found
% 34.07/19.11 Conjecture not found
% 34.10/19.15 Conjecture not found
% 34.10/19.16 Conjecture not found
% 34.10/19.18 Conjecture not found
% 34.10/19.22 Conjecture not found
% 34.20/19.26 Conjecture not found
% 34.59/19.39 Conjecture not found
% 34.59/19.42 Conjecture not found
% 34.59/19.45 Conjecture not found
% 34.72/19.51 Conjecture not found
% 35.15/19.63 Conjecture not found
% 35.15/19.66 Conjecture not found
% 35.23/19.72 Conjecture not found
% 35.23/19.74 Conjecture not found
% 35.23/19.75 Conjecture not found
% 35.23/19.76 Conjecture not found
% 35.23/19.77 Conjecture not found
% 35.31/19.79 Conjecture not found
% 35.31/19.81 Conjecture not found
% 35.31/19.81 Conjecture not found
% 35.31/19.87 Conjecture not found
% 35.71/19.90 Conjecture not found
% 35.72/19.95 Conjecture not found
% 35.82/20.01 Conjecture not found
% 35.82/20.03 Conjecture not found
% 35.82/20.06 Conjecture not found
% 35.82/20.08 Conjecture not found
% 35.82/20.09 Conjecture not found
% 36.27/20.19 Conjecture not found
% 36.27/20.27 Conjecture not found
% 36.39/20.30 Conjecture not found
% 36.40/20.31 Conjecture not found
% 36.40/20.39 Conjecture not found
% 36.52/20.43 Conjecture not found
% 36.52/20.50 Conjecture not found
% 36.92/20.56 Conjecture not found
% 36.92/20.58 Conjecture not found
% 37.01/20.66 Conjecture not found
% 37.01/20.67 Conjecture not found
% 37.01/20.68 Conjecture not found
% 37.09/20.71 Conjecture not found
% 37.09/20.73 Conjecture not found
% 37.09/20.74 Conjecture not found
% 37.09/20.76 Conjecture not found
% 37.09/20.77 Conjecture not found
% 37.35/20.85 Conjecture not found
% 37.35/20.89 Conjecture not found
% 37.64/20.93 Conjecture not found
% 37.64/20.97 Conjecture not found
% 37.72/21.07 Conjecture not found
% 37.81/21.08 Conjecture not found
% 37.91/21.11 Conjecture not found
% 38.08/21.15 Conjecture not found
% 38.08/21.18 Conjecture not found
% 38.27/21.21 Conjecture not found
% 38.27/21.22 Conjecture not found
% 38.33/21.33 Conjecture not found
% 38.33/21.34 Conjecture not found
% 38.43/21.36 Conjecture not found
% 38.46/21.41 Conjecture not found
% 38.46/21.43 Conjecture not found
% 38.50/21.45 Conjecture not found
% 38.50/21.48 Conjecture not found
% 38.67/21.52 Conjecture not found
% 38.95/21.58 Conjecture not found
% 38.95/21.62 Conjecture not found
% 38.95/21.64 Conjecture not found
% 38.95/21.68 Conjecture not found
% 39.06/21.69 Conjecture not found
% 39.06/21.70 Conjecture not found
% 39.10/21.71 Conjecture not found
% 39.13/21.76 Conjecture not found
% 39.13/21.82 Conjecture not found
% 39.22/21.87 Conjecture not found
% 39.48/21.95 Conjecture not found
% 39.66/21.98 Conjecture not found
% 39.66/21.99 Conjecture not found
% 39.71/22.01 Conjecture not found
% 39.75/22.08 Conjecture not found
% 39.75/22.11 Conjecture not found
% 39.84/22.14 Conjecture not found
% 40.00/22.21 Conjecture not found
% 40.30/22.28 Conjecture not found
% 40.35/22.34 Conjecture not found
% 40.37/22.37 Conjecture not found
% 40.37/22.39 Conjecture not found
% 40.44/22.42 Conjecture not found
% 40.44/22.45 Conjecture not found
% 40.50/22.47 Conjecture not found
% 40.50/22.49 Conjecture not found
% 40.50/22.51 Conjecture not found
% 40.50/22.52 Conjecture not found
% 40.58/22.56 Conjecture not found
% 40.62/22.62 Conjecture not found
% 41.01/22.71 Conjecture not found
% 41.14/22.72 Conjecture not found
% 41.14/22.76 Conjecture not found
% 41.20/22.80 Conjecture not found
% 41.20/22.83 Conjecture not found
% 41.20/22.85 Conjecture not found
% 41.29/22.88 Conjecture not found
% 41.29/22.89 Conjecture not found
% 41.32/22.90 Conjecture not found
% 41.35/22.95 Conjecture not found
% 41.35/22.96 Conjecture not found
% 41.56/23.03 Conjecture not found
% 41.87/23.12 Conjecture not found
% 41.87/23.12 Conjecture not found
% 41.97/23.18 Conjecture not found
% 42.00/23.19 Conjecture not found
% 42.00/23.21 Conjecture not found
% 42.03/23.22 Conjecture not found
% 42.04/23.26 Conjecture not found
% 42.04/23.27 Conjecture not found
% 42.04/23.30 Conjecture not found
% 42.13/23.32 Conjecture not found
% 42.13/23.34 Conjecture not found
% 42.13/23.38 Conjecture not found
% 42.20/23.47 Conjecture not found
% 42.77/23.67 Conjecture not found
% 42.85/23.70 Conjecture not found
% 42.85/23.71 Conjecture not found
% 42.85/23.72 Conjecture not found
% 42.96/23.82 Conjecture not found
% 42.98/23.84 Conjecture not found
% 42.98/23.86 Conjecture not found
% 42.98/23.90 Conjecture not found
% 43.43/24.03 Conjecture not found
% 43.63/24.09 Conjecture not found
% 43.77/24.22 Conjecture not found
% 43.77/24.24 Conjecture not found
% 43.77/24.29 Conjecture not found
% 43.77/24.29 Conjecture not found
% 43.85/24.30 Conjecture not found
% 43.85/24.31 Conjecture not found
% 43.85/24.34 Conjecture not found
% 43.85/24.38 Conjecture not found
% 44.04/24.42 Conjecture not found
% 44.04/24.44 Conjecture not found
% 44.04/24.46 Conjecture not found
% 44.48/24.52 Conjecture not found
% 44.48/24.53 Conjecture not found
% 44.48/24.55 Conjecture not found
% 44.48/24.60 Conjecture not found
% 44.56/24.62 Conjecture not found
% 44.56/24.66 Conjecture not found
% 44.63/24.70 Conjecture not found
% 44.63/24.74 Conjecture not found
% 45.17/24.80 Conjecture not found
% 45.23/24.90 Conjecture not found
% 45.30/24.93 Conjecture not found
% 45.30/24.95 Conjecture not found
% 45.37/24.98 Conjecture not found
% 45.37/25.01 Conjecture not found
% 45.37/25.03 Conjecture not found
% 45.37/25.04 Conjecture not found
% 45.37/25.06 Conjecture not found
% 45.53/25.15 Conjecture not found
% 46.04/25.24 Conjecture not found
% 46.04/25.27 Conjecture not found
% 46.10/25.33 Conjecture not found
% 46.10/25.35 Conjecture not found
% 46.18/25.37 Conjecture not found
% 46.18/25.40 Conjecture not found
% 46.22/25.42 Conjecture not found
% 46.22/25.43 Conjecture not found
% 46.26/25.46 Conjecture not found
% 46.26/25.49 Conjecture not found
% 46.35/25.53 Conjecture not found
% 46.35/25.56 Conjecture not found
% 46.35/25.56 Conjecture not found
% 46.40/25.59 Conjecture not found
% 46.40/25.60 Conjecture not found
% 46.40/25.62 Conjecture not found
% 46.59/25.70 Conjecture not found
% 46.89/25.73 Conjecture not found
% 46.89/25.74 Conjecture not found
% 47.00/25.76 Conjecture not found
% 47.00/25.77 Conjecture not found
% 47.00/25.80 Conjecture not found
% 47.00/25.81 Conjecture not found
% 47.12/25.83 Conjecture not found
% 47.12/25.84 Conjecture not found
% 47.12/25.86 Conjecture not found
% 47.18/25.90 Conjecture not found
% 47.18/25.91 Conjecture not found
% 47.18/25.92 Conjecture not found
% 47.18/25.93 Conjecture not found
% 47.28/25.98 Conjecture not found
% 47.28/25.99 Conjecture not found
% 47.34/26.10 Conjecture not found
% 47.64/26.12 Conjecture not found
% 47.64/26.14 Conjecture not found
% 48.01/26.30 Conjecture not found
% 48.05/26.34 Conjecture not found
% 48.05/26.37 Conjecture not found
% 48.05/26.38 Conjecture not found
% 48.13/26.43 Conjecture not found
% 48.13/26.46 Conjecture not found
% 48.20/26.50 Conjecture not found
% 48.20/26.56 Conjecture not found
% 48.75/26.65 Conjecture not found
% 48.85/26.74 Conjecture not found
% 48.85/26.75 Conjecture not found
% 48.92/26.81 Conjecture not found
% 48.92/26.82 Conjecture not found
% 48.92/26.85 Conjecture not found
% 48.92/26.86 Conjecture not found
% 48.92/26.87 Conjecture not found
% 48.92/26.88 Conjecture not found
% 49.03/26.91 Conjecture not found
% 49.04/26.92 Conjecture not found
% 49.04/26.93 Conjecture not found
% 49.04/26.95 Conjecture not found
% 49.04/26.98 Conjecture not found
% 49.04/26.99 Conjecture not found
% 49.19/27.06 Conjecture not found
% 49.71/27.11 Conjecture not found
% 49.82/27.19 Conjecture not found
% 49.83/27.22 Conjecture not found
% 49.86/27.25 Conjecture not found
% 49.86/27.28 Conjecture not found
% 49.86/27.32 Conjecture not found
% 49.96/27.36 Conjecture not found
% 49.96/27.38 Conjecture not found
% 49.96/27.39 Conjecture not found
% 50.04/27.44 Conjecture not found
% 50.48/27.54 Conjecture not found
% 51.41/27.91 Conjecture not found
% 51.54/27.94 Conjecture not found
% 51.56/27.98 Conjecture not found
% 51.63/28.01 Conjecture not found
% 51.63/28.02 Conjecture not found
% 51.63/28.03 Conjecture not found
% 51.63/28.04 Conjecture not found
% 51.63/28.06 Conjecture not found
% 51.68/28.07 Conjecture not found
% 51.68/28.08 Conjecture not found
% 51.68/28.09 Conjecture not found
% 51.68/28.14 Conjecture not found
% 51.81/28.23 Conjecture not found
% 51.87/28.29 Conjecture not found
% 51.93/28.33 Conjecture not found
% 52.23/28.40 Conjecture not found
% 52.23/28.43 Conjecture not found
% 52.23/28.44 Conjecture not found
% 52.63/28.48 Conjecture not found
% 52.63/28.49 Conjecture not found
% 52.67/28.51 Conjecture not found
% 52.67/28.53 Conjecture not found
% 52.67/28.54 Conjecture not found
% 52.72/28.59 Conjecture not found
% 52.72/28.62 Conjecture not found
% 52.81/28.65 Conjecture not found
% 52.86/28.70 Conjecture not found
% 52.86/28.70 Conjecture not found
% 53.03/28.79 Conjecture not found
% 53.51/28.86 Conjecture not found
% 53.51/28.87 Conjecture not found
% 53.51/28.88 Conjecture not found
% 53.51/28.91 Conjecture not found
% 53.51/28.93 Conjecture not found
% 53.59/28.94 Conjecture not found
% 53.63/28.99 Conjecture not found
% 53.63/29.00 Conjecture not found
% 53.63/29.01 Conjecture not found
% 53.63/29.03 Conjecture not found
% 53.63/29.04 Conjecture not found
% 53.71/29.06 Conjecture not found
% 53.71/29.08 Conjecture not found
% 53.74/29.09 Conjecture not found
% 53.81/29.16 Conjecture not found
% 53.81/29.20 Conjecture not found
% 53.81/29.21 Conjecture not found
% 53.87/29.22 Conjecture not found
% 54.41/29.45 Conjecture not found
% 54.45/29.46 Conjecture not found
% 54.45/29.49 Conjecture not found
% 54.51/29.51 Conjecture not found
% 54.57/29.60 Conjecture not found
% 54.57/29.62 Conjecture not found
% 54.57/29.65 Conjecture not found
% 54.66/29.68 Conjecture not found
% 54.71/29.71 Conjecture not found
% 54.71/29.73 Conjecture not found
% 54.74/29.78 Conjecture not found
% 55.39/29.91 Conjecture not found
% 55.47/29.98 Conjecture not found
% 55.47/30.00 Conjecture not found
% 55.52/30.01 Conjecture not found
% 55.56/30.08 Conjecture not found
% 55.56/30.13 Conjecture not found
% 55.65/30.18 Start search
% 132.60/49.87 nb_step : 1 - limit : 134035
% 133.92/50.56 Launch Gotab with destructive = true
%------------------------------------------------------------------------------