TSTP Solution File: LAT362+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT362+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n015.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:18 EDT 2022
% Result : Timeout 300.14s 92.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : LAT362+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n015.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 16:13:01 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.34 [DMT] DMT loaded with preskolemization
% 0.11/0.34 [EQ] equality loaded.
% 0.11/0.34 [0.000049s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.43 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.55/0.59 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.58/0.61 Conjecture not found
% 0.58/0.62 Conjecture not found
% 0.63/0.64 Conjecture not found
% 0.63/0.66 Conjecture not found
% 0.63/0.70 Conjecture not found
% 0.79/0.77 Conjecture not found
% 0.79/0.78 Conjecture not found
% 1.03/0.90 Conjecture not found
% 1.14/0.95 Conjecture not found
% 1.31/1.03 Conjecture not found
% 1.31/1.07 Conjecture not found
% 1.42/1.14 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.78/1.32 Conjecture not found
% 1.78/1.34 Conjecture not found
% 1.78/1.35 Conjecture not found
% 1.78/1.36 Conjecture not found
% 1.78/1.36 Conjecture not found
% 2.02/1.47 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.06/1.50 Conjecture not found
% 2.12/1.52 Conjecture not found
% 2.12/1.52 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.59 Conjecture not found
% 2.29/1.65 Conjecture not found
% 2.29/1.65 Conjecture not found
% 2.29/1.66 Conjecture not found
% 2.29/1.67 Conjecture not found
% 2.29/1.69 Conjecture not found
% 2.41/1.70 Conjecture not found
% 2.41/1.71 Conjecture not found
% 2.41/1.74 Conjecture not found
% 2.41/1.76 Conjecture not found
% 2.57/1.78 Conjecture not found
% 2.57/1.78 Conjecture not found
% 2.57/1.80 Conjecture not found
% 2.64/1.86 Conjecture not found
% 2.79/1.93 Conjecture not found
% 2.79/1.97 Conjecture not found
% 2.79/1.97 Conjecture not found
% 2.93/1.99 Conjecture not found
% 2.93/2.02 Conjecture not found
% 2.93/2.06 Conjecture not found
% 2.93/2.07 Conjecture not found
% 3.07/2.09 Conjecture not found
% 3.15/2.20 Conjecture not found
% 3.31/2.23 Conjecture not found
% 3.31/2.25 Conjecture not found
% 3.31/2.27 Conjecture not found
% 3.31/2.29 Conjecture not found
% 3.44/2.33 Conjecture not found
% 3.73/2.57 Conjecture not found
% 3.90/2.61 Conjecture not found
% 3.90/2.63 Conjecture not found
% 4.05/2.73 Conjecture not found
% 4.05/2.75 Conjecture not found
% 4.05/2.76 Conjecture not found
% 4.05/2.78 Conjecture not found
% 4.25/2.82 Conjecture not found
% 4.25/2.89 Conjecture not found
% 4.63/3.02 Conjecture not found
% 4.63/3.09 Conjecture not found
% 4.76/3.15 Conjecture not found
% 4.76/3.16 Conjecture not found
% 4.89/3.20 Conjecture not found
% 4.89/3.21 Conjecture not found
% 4.89/3.24 Conjecture not found
% 4.89/3.27 Conjecture not found
% 5.11/3.30 Conjecture not found
% 5.11/3.31 Conjecture not found
% 5.14/3.38 Conjecture not found
% 5.14/3.39 Conjecture not found
% 5.27/3.46 Conjecture not found
% 5.43/3.52 Conjecture not found
% 5.65/3.60 Conjecture not found
% 5.90/3.74 Conjecture not found
% 6.29/3.99 Conjecture not found
% 6.98/4.33 Conjecture not found
% 6.98/4.36 Conjecture not found
% 7.08/4.42 Conjecture not found
% 7.31/4.57 Conjecture not found
% 7.39/4.62 Conjecture not found
% 7.39/4.66 Conjecture not found
% 7.54/4.72 Conjecture not found
% 7.54/4.77 Conjecture not found
% 7.81/4.84 Conjecture not found
% 7.81/4.88 Conjecture not found
% 7.81/4.90 Conjecture not found
% 7.81/4.91 Conjecture not found
% 7.97/4.95 Conjecture not found
% 7.97/4.96 Conjecture not found
% 8.12/5.05 Conjecture not found
% 8.36/5.15 Conjecture not found
% 8.53/5.22 Conjecture not found
% 8.68/5.31 Conjecture not found
% 8.68/5.33 Conjecture not found
% 8.68/5.38 Conjecture not found
% 8.84/5.40 Conjecture not found
% 8.86/5.40 Conjecture not found
% 8.86/5.42 Conjecture not found
% 8.86/5.44 Conjecture not found
% 8.86/5.45 Conjecture not found
% 8.86/5.50 Conjecture not found
% 8.86/5.50 Conjecture not found
% 9.04/5.51 Conjecture not found
% 9.04/5.52 Conjecture not found
% 9.04/5.55 Conjecture not found
% 9.04/5.58 Conjecture not found
% 9.20/5.64 Conjecture not found
% 9.30/5.69 Conjecture not found
% 9.58/5.87 Conjecture not found
% 9.67/5.91 Conjecture not found
% 9.67/5.92 Conjecture not found
% 9.67/5.94 Conjecture not found
% 9.67/5.98 Conjecture not found
% 9.85/6.01 Conjecture not found
% 10.08/6.10 Conjecture not found
% 10.08/6.11 Conjecture not found
% 10.08/6.14 Conjecture not found
% 10.08/6.15 Conjecture not found
% 10.27/6.24 Conjecture not found
% 11.06/6.76 Conjecture not found
% 12.04/7.27 Conjecture not found
% 12.20/7.40 Conjecture not found
% 12.30/7.46 Conjecture not found
% 12.30/7.48 Conjecture not found
% 12.44/7.50 Conjecture not found
% 12.44/7.54 Conjecture not found
% 12.44/7.57 Conjecture not found
% 12.62/7.58 Conjecture not found
% 12.68/7.63 Conjecture not found
% 12.68/7.68 Conjecture not found
% 12.91/7.77 Conjecture not found
% 12.91/7.80 Conjecture not found
% 12.91/7.80 Conjecture not found
% 12.91/7.84 Conjecture not found
% 13.09/7.89 Conjecture not found
% 13.16/7.94 Conjecture not found
% 13.16/7.99 Conjecture not found
% 13.33/8.06 Conjecture not found
% 13.33/8.07 Conjecture not found
% 13.40/8.10 Conjecture not found
% 13.40/8.13 Conjecture not found
% 13.40/8.16 Conjecture not found
% 13.60/8.20 Conjecture not found
% 13.66/8.23 Conjecture not found
% 13.66/8.24 Conjecture not found
% 13.88/8.36 Conjecture not found
% 13.95/8.41 Conjecture not found
% 13.95/8.42 Conjecture not found
% 13.95/8.45 Conjecture not found
% 14.14/8.48 Conjecture not found
% 14.14/8.49 Conjecture not found
% 14.14/8.50 Conjecture not found
% 14.17/8.52 Conjecture not found
% 14.19/8.53 Conjecture not found
% 14.19/8.56 Conjecture not found
% 14.19/8.57 Conjecture not found
% 14.19/8.61 Conjecture not found
% 14.38/8.63 Conjecture not found
% 14.38/8.65 Conjecture not found
% 14.38/8.69 Conjecture not found
% 14.56/8.71 Conjecture not found
% 14.56/8.73 Conjecture not found
% 14.56/8.76 Conjecture not found
% 14.64/8.78 Conjecture not found
% 14.68/8.81 Conjecture not found
% 14.68/8.82 Conjecture not found
% 14.69/8.86 Conjecture not found
% 14.69/8.89 Conjecture not found
% 14.90/8.92 Conjecture not found
% 14.90/8.97 Conjecture not found
% 14.90/8.98 Conjecture not found
% 14.98/9.01 Conjecture not found
% 15.25/9.09 Conjecture not found
% 15.25/9.10 Conjecture not found
% 15.28/9.12 Conjecture not found
% 15.29/9.13 Conjecture not found
% 15.29/9.14 Conjecture not found
% 15.29/9.15 Conjecture not found
% 15.29/9.15 Conjecture not found
% 15.29/9.16 Conjecture not found
% 15.29/9.19 Conjecture not found
% 15.52/9.29 Conjecture not found
% 15.52/9.30 Conjecture not found
% 15.60/9.32 Conjecture not found
% 15.60/9.36 Conjecture not found
% 15.60/9.38 Conjecture not found
% 15.81/9.40 Conjecture not found
% 15.81/9.42 Conjecture not found
% 15.81/9.44 Conjecture not found
% 15.81/9.46 Conjecture not found
% 16.06/9.52 Conjecture not found
% 16.06/9.56 Conjecture not found
% 16.15/9.62 Conjecture not found
% 16.39/9.78 Conjecture not found
% 16.63/9.86 Conjecture not found
% 16.63/9.90 Conjecture not found
% 16.63/9.91 Conjecture not found
% 16.75/9.93 Conjecture not found
% 16.75/9.98 Conjecture not found
% 16.95/10.02 Conjecture not found
% 16.95/10.03 Conjecture not found
% 17.04/10.09 Conjecture not found
% 17.28/10.18 Conjecture not found
% 17.28/10.21 Conjecture not found
% 17.39/10.24 Conjecture not found
% 17.61/10.30 Conjecture not found
% 17.61/10.32 Conjecture not found
% 17.61/10.36 Conjecture not found
% 17.69/10.41 Conjecture not found
% 17.89/10.46 Conjecture not found
% 18.00/10.52 Conjecture not found
% 18.00/10.55 Conjecture not found
% 18.19/10.59 Conjecture not found
% 18.19/10.60 Conjecture not found
% 18.19/10.62 Conjecture not found
% 18.28/10.71 Conjecture not found
% 18.50/10.81 Conjecture not found
% 18.58/10.83 Conjecture not found
% 18.58/10.86 Conjecture not found
% 19.19/11.12 Conjecture not found
% 19.25/11.23 Conjecture not found
% 19.37/11.30 Conjecture not found
% 19.37/11.32 Conjecture not found
% 19.49/11.34 Conjecture not found
% 19.49/11.36 Conjecture not found
% 19.65/11.41 Conjecture not found
% 19.65/11.45 Conjecture not found
% 19.74/11.53 Conjecture not found
% 19.99/11.60 Conjecture not found
% 20.02/11.62 Conjecture not found
% 20.31/11.74 Conjecture not found
% 20.31/11.78 Conjecture not found
% 20.38/11.81 Conjecture not found
% 20.38/11.85 Conjecture not found
% 20.78/11.96 Conjecture not found
% 20.78/11.98 Conjecture not found
% 20.78/12.01 Conjecture not found
% 20.78/12.02 Conjecture not found
% 20.87/12.03 Conjecture not found
% 20.87/12.07 Conjecture not found
% 21.02/12.12 Conjecture not found
% 21.02/12.15 Conjecture not found
% 21.02/12.18 Conjecture not found
% 21.24/12.24 Conjecture not found
% 21.24/12.24 Conjecture not found
% 21.24/12.26 Conjecture not found
% 21.24/12.28 Conjecture not found
% 21.59/12.47 Conjecture not found
% 21.69/12.49 Conjecture not found
% 21.72/12.55 Conjecture not found
% 21.72/12.55 Conjecture not found
% 21.72/12.56 Conjecture not found
% 21.72/12.57 Conjecture not found
% 21.72/12.59 Conjecture not found
% 22.00/12.66 Conjecture not found
% 22.00/12.67 Conjecture not found
% 22.00/12.69 Conjecture not found
% 22.09/12.75 Conjecture not found
% 22.35/12.84 Conjecture not found
% 22.47/12.96 Conjecture not found
% 22.47/12.97 Conjecture not found
% 22.86/13.13 Conjecture not found
% 22.95/13.26 Conjecture not found
% 23.25/13.29 Conjecture not found
% 23.25/13.36 Conjecture not found
% 23.25/13.38 Conjecture not found
% 23.25/13.39 Conjecture not found
% 23.38/13.48 Conjecture not found
% 23.68/13.59 Conjecture not found
% 23.76/13.63 Conjecture not found
% 23.76/13.65 Conjecture not found
% 23.84/13.75 Conjecture not found
% 24.17/13.80 Conjecture not found
% 24.18/13.83 Conjecture not found
% 24.18/13.87 Conjecture not found
% 24.30/13.92 Conjecture not found
% 24.30/13.94 Conjecture not found
% 24.57/14.00 Conjecture not found
% 24.67/14.11 Conjecture not found
% 24.69/14.13 Conjecture not found
% 24.71/14.14 Conjecture not found
% 24.71/14.18 Conjecture not found
% 24.92/14.24 Conjecture not found
% 24.92/14.24 Conjecture not found
% 25.06/14.29 Conjecture not found
% 25.06/14.33 Conjecture not found
% 25.06/14.36 Conjecture not found
% 25.40/14.42 Conjecture not found
% 25.41/14.50 Conjecture not found
% 25.50/14.52 Conjecture not found
% 25.50/14.57 Conjecture not found
% 25.57/14.66 Conjecture not found
% 25.98/14.80 Conjecture not found
% 25.98/14.82 Conjecture not found
% 26.05/14.88 Conjecture not found
% 26.05/14.90 Conjecture not found
% 26.05/14.91 Conjecture not found
% 26.05/14.92 Conjecture not found
% 26.05/14.94 Conjecture not found
% 26.05/14.96 Conjecture not found
% 26.37/14.97 Conjecture not found
% 26.43/15.04 Conjecture not found
% 26.50/15.15 Conjecture not found
% 26.61/15.26 Conjecture not found
% 26.93/15.29 Conjecture not found
% 26.93/15.30 Conjecture not found
% 26.98/15.35 Conjecture not found
% 26.98/15.37 Conjecture not found
% 26.98/15.38 Conjecture not found
% 27.06/15.45 Conjecture not found
% 27.06/15.48 Conjecture not found
% 27.39/15.53 Conjecture not found
% 27.50/15.59 Conjecture not found
% 27.53/15.62 Conjecture not found
% 27.54/15.65 Conjecture not found
% 28.07/15.91 Conjecture not found
% 28.39/16.03 Conjecture not found
% 28.39/16.05 Conjecture not found
% 28.49/16.11 Conjecture not found
% 28.49/16.12 Conjecture not found
% 28.49/16.16 Conjecture not found
% 28.59/16.18 Conjecture not found
% 28.87/16.30 Conjecture not found
% 28.96/16.35 Conjecture not found
% 28.96/16.37 Conjecture not found
% 29.04/16.41 Conjecture not found
% 29.04/16.48 Conjecture not found
% 29.16/16.56 Conjecture not found
% 29.50/16.66 Conjecture not found
% 29.50/16.67 Conjecture not found
% 29.50/16.67 Conjecture not found
% 29.50/16.67 Conjecture not found
% 29.59/16.70 Conjecture not found
% 29.59/16.71 Conjecture not found
% 29.59/16.75 Conjecture not found
% 29.99/16.88 Conjecture not found
% 30.08/16.94 Conjecture not found
% 30.08/16.96 Conjecture not found
% 30.08/16.98 Conjecture not found
% 30.08/16.99 Conjecture not found
% 30.55/17.11 Conjecture not found
% 30.55/17.14 Conjecture not found
% 30.55/17.15 Conjecture not found
% 30.72/17.18 Conjecture not found
% 30.75/17.22 Conjecture not found
% 30.76/17.26 Conjecture not found
% 30.76/17.29 Conjecture not found
% 30.84/17.31 Conjecture not found
% 31.06/17.42 Conjecture not found
% 31.06/17.46 Conjecture not found
% 31.06/17.47 Conjecture not found
% 31.34/17.55 Conjecture not found
% 31.34/17.58 Conjecture not found
% 31.41/17.67 Conjecture not found
% 31.64/17.71 Conjecture not found
% 31.64/17.74 Conjecture not found
% 31.83/17.76 Conjecture not found
% 31.86/17.79 Conjecture not found
% 31.86/17.80 Conjecture not found
% 31.97/17.91 Conjecture not found
% 31.97/17.91 Conjecture not found
% 31.97/17.92 Conjecture not found
% 31.97/17.96 Conjecture not found
% 32.05/18.03 Conjecture not found
% 32.05/18.06 Conjecture not found
% 32.40/18.08 Conjecture not found
% 32.43/18.12 Conjecture not found
% 32.47/18.17 Conjecture not found
% 32.47/18.22 Conjecture not found
% 32.56/18.24 Conjecture not found
% 32.56/18.28 Conjecture not found
% 32.91/18.32 Conjecture not found
% 32.91/18.34 Conjecture not found
% 32.98/18.36 Conjecture not found
% 33.03/18.40 Conjecture not found
% 33.06/18.44 Conjecture not found
% 33.06/18.47 Conjecture not found
% 33.06/18.51 Conjecture not found
% 33.06/18.52 Conjecture not found
% 33.50/18.59 Conjecture not found
% 33.50/18.67 Conjecture not found
% 33.60/18.69 Conjecture not found
% 33.64/18.73 Conjecture not found
% 33.66/18.78 Conjecture not found
% 33.66/18.80 Conjecture not found
% 33.66/18.81 Conjecture not found
% 33.74/18.83 Conjecture not found
% 33.74/18.85 Conjecture not found
% 33.74/18.87 Conjecture not found
% 33.80/18.88 Conjecture not found
% 34.19/18.99 Conjecture not found
% 34.25/19.04 Conjecture not found
% 34.33/19.14 Conjecture not found
% 34.33/19.17 Conjecture not found
% 34.40/19.21 Conjecture not found
% 34.85/19.37 Conjecture not found
% 34.93/19.46 Conjecture not found
% 35.00/19.50 Conjecture not found
% 35.00/19.57 Conjecture not found
% 35.42/19.60 Conjecture not found
% 35.48/19.62 Conjecture not found
% 35.49/19.64 Conjecture not found
% 35.49/19.66 Conjecture not found
% 35.49/19.67 Conjecture not found
% 35.49/19.69 Conjecture not found
% 35.49/19.69 Conjecture not found
% 35.49/19.71 Conjecture not found
% 35.58/19.73 Conjecture not found
% 35.58/19.76 Conjecture not found
% 35.66/19.82 Conjecture not found
% 36.18/19.90 Conjecture not found
% 36.22/19.95 Conjecture not found
% 36.22/19.97 Conjecture not found
% 36.22/19.98 Conjecture not found
% 36.33/20.05 Conjecture not found
% 36.42/20.14 Conjecture not found
% 36.42/20.17 Conjecture not found
% 36.42/20.18 Conjecture not found
% 36.82/20.30 Conjecture not found
% 36.96/20.33 Conjecture not found
% 36.96/20.36 Conjecture not found
% 36.96/20.38 Conjecture not found
% 36.96/20.39 Conjecture not found
% 37.14/20.49 Conjecture not found
% 37.14/20.50 Conjecture not found
% 37.14/20.51 Conjecture not found
% 37.56/20.58 Conjecture not found
% 37.59/20.62 Conjecture not found
% 37.59/20.63 Conjecture not found
% 37.59/20.65 Conjecture not found
% 37.59/20.66 Conjecture not found
% 37.68/20.71 Conjecture not found
% 37.68/20.76 Conjecture not found
% 37.77/20.80 Conjecture not found
% 38.18/20.88 Conjecture not found
% 38.34/21.02 Conjecture not found
% 38.34/21.03 Conjecture not found
% 38.34/21.06 Conjecture not found
% 38.40/21.09 Conjecture not found
% 38.40/21.13 Conjecture not found
% 38.49/21.16 Conjecture not found
% 38.49/21.17 Conjecture not found
% 38.56/21.26 Conjecture not found
% 38.56/21.29 Conjecture not found
% 38.92/21.33 Conjecture not found
% 38.92/21.36 Conjecture not found
% 38.92/21.37 Conjecture not found
% 39.03/21.38 Conjecture not found
% 39.03/21.41 Conjecture not found
% 39.03/21.42 Conjecture not found
% 39.03/21.44 Conjecture not found
% 39.03/21.48 Conjecture not found
% 39.13/21.49 Conjecture not found
% 39.15/21.52 Conjecture not found
% 39.15/21.53 Conjecture not found
% 39.19/21.55 Conjecture not found
% 39.19/21.57 Conjecture not found
% 39.72/21.69 Conjecture not found
% 39.79/21.77 Conjecture not found
% 39.79/21.80 Conjecture not found
% 39.86/21.86 Conjecture not found
% 39.86/21.89 Conjecture not found
% 39.86/21.90 Conjecture not found
% 40.00/21.93 Conjecture not found
% 40.41/22.06 Conjecture not found
% 40.50/22.11 Conjecture not found
% 40.56/22.14 Conjecture not found
% 40.56/22.17 Conjecture not found
% 40.56/22.20 Conjecture not found
% 40.64/22.24 Conjecture not found
% 40.70/22.31 Conjecture not found
% 40.70/22.34 Conjecture not found
% 40.90/22.39 Conjecture not found
% 41.23/22.47 Conjecture not found
% 41.23/22.50 Conjecture not found
% 41.31/22.54 Conjecture not found
% 41.31/22.56 Conjecture not found
% 41.31/22.58 Conjecture not found
% 41.38/22.64 Conjecture not found
% 41.49/22.69 Conjecture not found
% 41.53/22.74 Conjecture not found
% 41.53/22.75 Conjecture not found
% 41.53/22.77 Conjecture not found
% 41.70/22.82 Conjecture not found
% 42.07/22.88 Conjecture not found
% 42.07/22.91 Conjecture not found
% 42.07/22.94 Conjecture not found
% 42.07/22.95 Conjecture not found
% 42.15/22.98 Conjecture not found
% 42.22/23.04 Conjecture not found
% 42.22/23.06 Conjecture not found
% 42.22/23.08 Conjecture not found
% 42.31/23.13 Conjecture not found
% 42.31/23.13 Conjecture not found
% 42.38/23.20 Conjecture not found
% 42.38/23.21 Conjecture not found
% 42.38/23.23 Conjecture not found
% 42.38/23.26 Conjecture not found
% 42.92/23.35 Conjecture not found
% 42.92/23.37 Conjecture not found
% 42.92/23.40 Conjecture not found
% 43.01/23.43 Conjecture not found
% 43.01/23.44 Conjecture not found
% 43.01/23.49 Conjecture not found
% 43.09/23.57 Conjecture not found
% 43.23/23.71 Conjecture not found
% 43.42/23.73 Conjecture not found
% 43.42/23.77 Conjecture not found
% 43.42/23.79 Conjecture not found
% 43.90/23.90 Conjecture not found
% 43.90/23.91 Conjecture not found
% 43.90/23.93 Conjecture not found
% 43.90/23.96 Conjecture not found
% 44.05/24.04 Conjecture not found
% 44.05/24.08 Conjecture not found
% 44.57/24.25 Conjecture not found
% 44.73/24.27 Conjecture not found
% 44.81/24.34 Conjecture not found
% 44.82/24.35 Conjecture not found
% 44.82/24.37 Conjecture not found
% 44.82/24.39 Conjecture not found
% 44.89/24.45 Conjecture not found
% 44.93/24.50 Conjecture not found
% 44.93/24.52 Conjecture not found
% 45.02/24.54 Conjecture not found
% 45.02/24.57 Conjecture not found
% 45.52/24.67 Conjecture not found
% 45.52/24.69 Conjecture not found
% 45.64/24.73 Conjecture not found
% 45.69/24.78 Conjecture not found
% 45.69/24.80 Conjecture not found
% 45.78/24.87 Conjecture not found
% 45.82/24.91 Conjecture not found
% 45.88/24.95 Conjecture not found
% 45.89/24.97 Conjecture not found
% 45.98/25.12 Conjecture not found
% 46.28/25.18 Conjecture not found
% 46.56/25.22 Conjecture not found
% 46.62/25.26 Conjecture not found
% 46.62/25.30 Conjecture not found
% 46.67/25.31 Conjecture not found
% 46.67/25.33 Conjecture not found
% 46.67/25.35 Conjecture not found
% 46.73/25.45 Conjecture not found
% 46.83/25.48 Conjecture not found
% 46.83/25.50 Conjecture not found
% 46.88/25.53 Conjecture not found
% 46.88/25.55 Conjecture not found
% 47.02/25.62 Conjecture not found
% 47.46/25.67 Conjecture not found
% 47.50/25.70 Conjecture not found
% 47.50/25.73 Conjecture not found
% 47.56/25.76 Conjecture not found
% 47.56/25.79 Conjecture not found
% 47.62/25.83 Conjecture not found
% 47.62/25.85 Conjecture not found
% 47.67/25.86 Conjecture not found
% 47.67/25.88 Conjecture not found
% 47.67/25.89 Conjecture not found
% 47.67/25.92 Conjecture not found
% 47.76/25.97 Conjecture not found
% 47.80/26.00 Conjecture not found
% 47.80/26.00 Conjecture not found
% 47.80/26.02 Conjecture not found
% 47.86/26.05 Conjecture not found
% 47.87/26.09 Conjecture not found
% 47.92/26.13 Conjecture not found
% 48.16/26.21 Conjecture not found
% 48.16/26.23 Conjecture not found
% 48.69/26.25 Conjecture not found
% 48.69/26.28 Conjecture not found
% 48.74/26.29 Conjecture not found
% 48.74/26.30 Conjecture not found
% 48.74/26.31 Conjecture not found
% 48.80/26.35 Conjecture not found
% 48.80/26.36 Conjecture not found
% 48.86/26.43 Conjecture not found
% 48.86/26.43 Conjecture not found
% 48.86/26.44 Conjecture not found
% 49.51/26.61 Conjecture not found
% 49.51/26.63 Conjecture not found
% 49.51/26.64 Conjecture not found
% 49.51/26.65 Conjecture not found
% 49.57/26.69 Conjecture not found
% 49.61/26.72 Conjecture not found
% 49.65/26.75 Conjecture not found
% 49.65/26.78 Conjecture not found
% 49.65/26.81 Conjecture not found
% 50.35/26.97 Conjecture not found
% 50.35/26.98 Conjecture not found
% 50.35/27.04 Conjecture not found
% 50.44/27.06 Conjecture not found
% 50.44/27.08 Conjecture not found
% 50.44/27.09 Conjecture not found
% 50.48/27.10 Conjecture not found
% 50.48/27.10 Conjecture not found
% 50.48/27.13 Conjecture not found
% 50.48/27.14 Conjecture not found
% 50.48/27.15 Conjecture not found
% 50.56/27.16 Conjecture not found
% 50.56/27.19 Conjecture not found
% 50.56/27.20 Conjecture not found
% 50.62/27.23 Conjecture not found
% 50.77/27.28 Conjecture not found
% 51.24/27.39 Conjecture not found
% 51.24/27.42 Conjecture not found
% 51.31/27.45 Conjecture not found
% 51.33/27.48 Conjecture not found
% 51.33/27.51 Conjecture not found
% 51.39/27.54 Conjecture not found
% 51.43/27.56 Conjecture not found
% 51.43/27.57 Conjecture not found
% 51.43/27.60 Conjecture not found
% 51.63/27.71 Conjecture not found
% 52.53/28.02 Conjecture not found
% 52.53/28.04 Conjecture not found
% 52.95/28.11 Conjecture not found
% 53.19/28.14 Conjecture not found
% 53.21/28.15 Conjecture not found
% 53.21/28.16 Conjecture not found
% 53.21/28.17 Conjecture not found
% 53.21/28.18 Conjecture not found
% 53.21/28.19 Conjecture not found
% 53.21/28.20 Conjecture not found
% 53.21/28.21 Conjecture not found
% 53.35/28.30 Conjecture not found
% 53.50/28.47 Conjecture not found
% 53.59/28.55 Conjecture not found
% 53.65/28.59 Conjecture not found
% 53.65/28.65 Conjecture not found
% 54.25/28.67 Conjecture not found
% 54.25/28.70 Conjecture not found
% 54.33/28.74 Conjecture not found
% 54.33/28.75 Conjecture not found
% 54.36/28.76 Conjecture not found
% 54.36/28.77 Conjecture not found
% 54.36/28.79 Conjecture not found
% 54.45/28.83 Conjecture not found
% 54.45/28.86 Conjecture not found
% 54.45/28.89 Conjecture not found
% 54.51/28.92 Conjecture not found
% 54.51/28.93 Conjecture not found
% 54.57/28.98 Conjecture not found
% 55.07/29.04 Conjecture not found
% 55.07/29.05 Conjecture not found
% 55.07/29.06 Conjecture not found
% 55.07/29.09 Conjecture not found
% 55.07/29.11 Conjecture not found
% 55.07/29.13 Conjecture not found
% 55.37/29.21 Conjecture not found
% 55.37/29.22 Conjecture not found
% 55.37/29.23 Conjecture not found
% 55.37/29.24 Conjecture not found
% 55.37/29.25 Conjecture not found
% 55.43/29.27 Conjecture not found
% 55.43/29.29 Conjecture not found
% 55.43/29.30 Conjecture not found
% 55.43/29.36 Conjecture not found
% 55.53/29.39 Conjecture not found
% 55.53/29.40 Conjecture not found
% 55.53/29.41 Conjecture not found
% 55.74/29.51 Conjecture not found
% 55.74/29.52 Conjecture not found
% 56.30/29.57 Conjecture not found
% 56.34/29.60 Conjecture not found
% 56.38/29.70 Conjecture not found
% 56.38/29.72 Conjecture not found
% 56.48/29.77 Conjecture not found
% 56.54/29.84 Conjecture not found
% 56.60/29.88 Conjecture not found
% 56.60/29.89 Conjecture not found
% 56.60/29.95 Conjecture not found
% 57.26/30.07 Conjecture not found
% 57.26/30.14 Conjecture not found
% 57.44/30.16 Conjecture not found
% 57.44/30.18 Conjecture not found
% 57.50/30.26 Conjecture not found
% 57.56/30.31 Conjecture not found
% 57.56/30.35 Start search
% 126.78/47.98 nb_step : 1 - limit : 133869
% 127.41/48.62 Launch Gotab with destructive = true
%------------------------------------------------------------------------------