TSTP Solution File: LAT354+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT354+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n005.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:14 EDT 2022
% Result : Timeout 300.39s 94.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : LAT354+4 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.09 % Command : goeland -dmt -presko -proof %s
% 0.09/0.29 % Computer : n005.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 300
% 0.09/0.29 % DateTime : Thu Sep 1 15:42:41 EDT 2022
% 0.09/0.30 % CPUTime :
% 0.09/0.30 [DMT] DMT loaded with preskolemization
% 0.09/0.30 [EQ] equality loaded.
% 0.09/0.30 [0.000034s][1][MAIN] Problem : theBenchmark.p
% 0.15/0.34 Conjecture not found
% 0.15/0.34 Conjecture not found
% 0.15/0.34 Conjecture not found
% 0.15/0.35 Conjecture not found
% 0.15/0.36 Conjecture not found
% 0.15/0.38 Conjecture not found
% 0.15/0.40 Conjecture not found
% 0.15/0.43 Conjecture not found
% 0.15/0.44 Conjecture not found
% 0.15/0.44 Conjecture not found
% 0.15/0.48 Conjecture not found
% 0.15/0.52 Conjecture not found
% 0.15/0.53 Conjecture not found
% 0.15/0.54 Conjecture not found
% 0.15/0.55 Conjecture not found
% 0.15/0.57 Conjecture not found
% 0.54/0.60 Conjecture not found
% 0.59/0.64 Conjecture not found
% 0.71/0.72 Conjecture not found
% 0.71/0.73 Conjecture not found
% 0.82/0.82 Conjecture not found
% 0.96/0.88 Conjecture not found
% 1.05/0.97 Conjecture not found
% 1.17/1.01 Conjecture not found
% 1.30/1.09 Conjecture not found
% 1.30/1.13 Conjecture not found
% 1.46/1.19 Conjecture not found
% 1.50/1.22 Conjecture not found
% 1.51/1.25 Conjecture not found
% 1.51/1.27 Conjecture not found
% 1.51/1.28 Conjecture not found
% 1.51/1.29 Conjecture not found
% 1.51/1.30 Conjecture not found
% 1.74/1.42 Conjecture not found
% 1.74/1.45 Conjecture not found
% 1.74/1.45 Conjecture not found
% 1.88/1.47 Conjecture not found
% 1.88/1.47 Conjecture not found
% 1.88/1.48 Conjecture not found
% 1.88/1.48 Conjecture not found
% 1.90/1.49 Conjecture not found
% 1.90/1.49 Conjecture not found
% 1.96/1.56 Conjecture not found
% 2.08/1.61 Conjecture not found
% 2.08/1.61 Conjecture not found
% 2.08/1.62 Conjecture not found
% 2.08/1.63 Conjecture not found
% 2.08/1.66 Conjecture not found
% 2.08/1.67 Conjecture not found
% 2.08/1.69 Conjecture not found
% 2.22/1.72 Conjecture not found
% 2.22/1.74 Conjecture not found
% 2.22/1.76 Conjecture not found
% 2.22/1.77 Conjecture not found
% 2.22/1.78 Conjecture not found
% 2.40/1.83 Conjecture not found
% 2.40/1.90 Conjecture not found
% 2.55/1.96 Conjecture not found
% 2.55/1.97 Conjecture not found
% 2.55/1.99 Conjecture not found
% 2.66/2.02 Conjecture not found
% 2.66/2.06 Conjecture not found
% 2.66/2.08 Conjecture not found
% 2.82/2.10 Conjecture not found
% 2.99/2.21 Conjecture not found
% 2.99/2.24 Conjecture not found
% 2.99/2.27 Conjecture not found
% 2.99/2.28 Conjecture not found
% 3.14/2.31 Conjecture not found
% 3.14/2.34 Conjecture not found
% 3.46/2.54 Conjecture not found
% 3.46/2.58 Conjecture not found
% 3.59/2.60 Conjecture not found
% 3.75/2.73 Conjecture not found
% 3.75/2.74 Conjecture not found
% 3.75/2.76 Conjecture not found
% 3.75/2.79 Conjecture not found
% 3.91/2.83 Conjecture not found
% 4.04/2.91 Conjecture not found
% 4.04/2.99 Conjecture not found
% 4.24/3.08 Conjecture not found
% 4.38/3.14 Conjecture not found
% 4.38/3.16 Conjecture not found
% 4.49/3.21 Conjecture not found
% 4.49/3.21 Conjecture not found
% 4.49/3.25 Conjecture not found
% 4.63/3.28 Conjecture not found
% 4.66/3.31 Conjecture not found
% 4.67/3.32 Conjecture not found
% 4.81/3.40 Conjecture not found
% 4.81/3.42 Conjecture not found
% 4.81/3.47 Conjecture not found
% 4.93/3.55 Conjecture not found
% 5.11/3.67 Conjecture not found
% 5.38/3.85 Conjecture not found
% 5.89/4.10 Conjecture not found
% 6.52/4.48 Conjecture not found
% 6.55/4.51 Conjecture not found
% 6.58/4.54 Conjecture not found
% 6.72/4.68 Conjecture not found
% 6.86/4.72 Conjecture not found
% 6.86/4.77 Conjecture not found
% 7.04/4.86 Conjecture not found
% 7.20/4.92 Conjecture not found
% 7.28/4.99 Conjecture not found
% 7.28/5.04 Conjecture not found
% 7.28/5.08 Conjecture not found
% 7.44/5.09 Conjecture not found
% 7.51/5.12 Conjecture not found
% 7.51/5.14 Conjecture not found
% 7.61/5.24 Conjecture not found
% 7.77/5.35 Conjecture not found
% 7.93/5.43 Conjecture not found
% 8.09/5.55 Conjecture not found
% 8.09/5.58 Conjecture not found
% 8.19/5.64 Conjecture not found
% 8.19/5.67 Conjecture not found
% 8.19/5.68 Conjecture not found
% 8.36/5.71 Conjecture not found
% 8.36/5.74 Conjecture not found
% 8.36/5.76 Conjecture not found
% 8.52/5.81 Conjecture not found
% 8.52/5.81 Conjecture not found
% 8.52/5.83 Conjecture not found
% 8.52/5.85 Conjecture not found
% 8.52/5.90 Conjecture not found
% 8.70/5.92 Conjecture not found
% 8.70/5.98 Conjecture not found
% 8.87/6.04 Conjecture not found
% 9.13/6.27 Conjecture not found
% 9.32/6.32 Conjecture not found
% 9.32/6.33 Conjecture not found
% 9.32/6.36 Conjecture not found
% 9.32/6.40 Conjecture not found
% 9.42/6.44 Conjecture not found
% 9.57/6.51 Conjecture not found
% 9.57/6.52 Conjecture not found
% 9.57/6.55 Conjecture not found
% 9.57/6.58 Conjecture not found
% 9.73/6.70 Conjecture not found
% 10.83/7.38 Conjecture not found
% 11.86/8.11 Conjecture not found
% 12.03/8.27 Conjecture not found
% 12.12/8.35 Conjecture not found
% 12.12/8.37 Conjecture not found
% 12.31/8.40 Conjecture not found
% 12.33/8.45 Conjecture not found
% 12.33/8.48 Conjecture not found
% 12.33/8.50 Conjecture not found
% 12.50/8.55 Conjecture not found
% 12.58/8.62 Conjecture not found
% 12.77/8.70 Conjecture not found
% 12.79/8.73 Conjecture not found
% 12.79/8.74 Conjecture not found
% 12.79/8.80 Conjecture not found
% 12.96/8.86 Conjecture not found
% 13.05/8.91 Conjecture not found
% 13.05/8.98 Conjecture not found
% 13.26/9.06 Conjecture not found
% 13.26/9.08 Conjecture not found
% 13.35/9.11 Conjecture not found
% 13.35/9.15 Conjecture not found
% 13.53/9.18 Conjecture not found
% 13.53/9.24 Conjecture not found
% 13.63/9.28 Conjecture not found
% 13.75/9.31 Conjecture not found
% 13.75/9.39 Conjecture not found
% 13.84/9.46 Conjecture not found
% 13.84/9.49 Conjecture not found
% 13.97/9.51 Conjecture not found
% 13.97/9.54 Conjecture not found
% 13.97/9.57 Conjecture not found
% 13.97/9.59 Conjecture not found
% 14.15/9.61 Conjecture not found
% 14.15/9.65 Conjecture not found
% 14.15/9.69 Conjecture not found
% 14.33/9.71 Conjecture not found
% 14.33/9.77 Conjecture not found
% 14.42/9.79 Conjecture not found
% 14.42/9.83 Conjecture not found
% 14.42/9.87 Conjecture not found
% 14.64/9.91 Conjecture not found
% 14.64/9.93 Conjecture not found
% 14.64/9.96 Conjecture not found
% 14.64/9.99 Conjecture not found
% 14.73/10.03 Conjecture not found
% 14.73/10.05 Conjecture not found
% 14.93/10.11 Conjecture not found
% 14.93/10.15 Conjecture not found
% 14.93/10.18 Conjecture not found
% 15.04/10.24 Conjecture not found
% 15.04/10.25 Conjecture not found
% 15.04/10.28 Conjecture not found
% 15.20/10.35 Conjecture not found
% 15.20/10.36 Conjecture not found
% 15.20/10.39 Conjecture not found
% 15.33/10.41 Conjecture not found
% 15.33/10.43 Conjecture not found
% 15.33/10.44 Conjecture not found
% 15.33/10.45 Conjecture not found
% 15.33/10.45 Conjecture not found
% 15.41/10.52 Conjecture not found
% 15.66/10.66 Conjecture not found
% 15.66/10.67 Conjecture not found
% 15.76/10.71 Conjecture not found
% 15.76/10.74 Conjecture not found
% 15.76/10.77 Conjecture not found
% 15.97/10.81 Conjecture not found
% 15.97/10.84 Conjecture not found
% 15.97/10.88 Conjecture not found
% 16.08/10.95 Conjecture not found
% 16.22/11.02 Conjecture not found
% 16.22/11.07 Conjecture not found
% 16.37/11.14 Conjecture not found
% 16.71/11.34 Conjecture not found
% 16.81/11.44 Conjecture not found
% 17.05/11.53 Conjecture not found
% 17.05/11.54 Conjecture not found
% 17.05/11.58 Conjecture not found
% 17.14/11.65 Conjecture not found
% 17.23/11.72 Conjecture not found
% 17.23/11.75 Conjecture not found
% 17.49/11.85 Conjecture not found
% 17.58/11.96 Conjecture not found
% 17.80/12.04 Conjecture not found
% 17.80/12.09 Conjecture not found
% 17.91/12.19 Conjecture not found
% 18.14/12.21 Conjecture not found
% 18.14/12.29 Conjecture not found
% 18.23/12.38 Conjecture not found
% 18.47/12.49 Conjecture not found
% 18.80/12.65 Conjecture not found
% 18.80/12.66 Conjecture not found
% 18.80/12.69 Conjecture not found
% 18.92/12.73 Conjecture not found
% 18.92/12.76 Conjecture not found
% 19.25/12.90 Conjecture not found
% 19.35/13.01 Conjecture not found
% 19.37/13.03 Conjecture not found
% 19.37/13.08 Conjecture not found
% 20.08/13.46 Conjecture not found
% 20.16/13.56 Conjecture not found
% 20.39/13.63 Conjecture not found
% 20.39/13.66 Conjecture not found
% 20.39/13.69 Conjecture not found
% 20.39/13.70 Conjecture not found
% 20.62/13.80 Conjecture not found
% 20.85/13.93 Conjecture not found
% 20.98/14.05 Conjecture not found
% 21.04/14.14 Conjecture not found
% 21.12/14.17 Conjecture not found
% 21.44/14.34 Conjecture not found
% 21.51/14.43 Conjecture not found
% 21.65/14.52 Conjecture not found
% 21.82/14.59 Conjecture not found
% 21.92/14.65 Conjecture not found
% 21.92/14.67 Conjecture not found
% 21.99/14.72 Conjecture not found
% 21.99/14.73 Conjecture not found
% 21.99/14.76 Conjecture not found
% 22.19/14.85 Conjecture not found
% 22.19/14.90 Conjecture not found
% 22.38/14.94 Conjecture not found
% 22.38/14.98 Conjecture not found
% 22.47/15.08 Conjecture not found
% 22.54/15.09 Conjecture not found
% 22.57/15.13 Conjecture not found
% 22.57/15.19 Conjecture not found
% 23.02/15.38 Conjecture not found
% 23.03/15.41 Conjecture not found
% 23.05/15.50 Conjecture not found
% 23.05/15.51 Conjecture not found
% 23.05/15.52 Conjecture not found
% 23.05/15.52 Conjecture not found
% 23.32/15.54 Conjecture not found
% 23.41/15.64 Conjecture not found
% 23.41/15.65 Conjecture not found
% 23.41/15.68 Conjecture not found
% 23.58/15.79 Conjecture not found
% 23.64/15.90 Conjecture not found
% 23.98/16.03 Conjecture not found
% 23.98/16.06 Conjecture not found
% 24.40/16.26 Conjecture not found
% 24.60/16.50 Conjecture not found
% 24.88/16.54 Conjecture not found
% 24.96/16.61 Conjecture not found
% 24.96/16.65 Conjecture not found
% 24.96/16.67 Conjecture not found
% 25.10/16.82 Conjecture not found
% 25.45/16.93 Conjecture not found
% 25.54/17.00 Conjecture not found
% 25.57/17.03 Conjecture not found
% 25.95/17.20 Conjecture not found
% 25.95/17.26 Conjecture not found
% 26.05/17.29 Conjecture not found
% 26.10/17.37 Conjecture not found
% 26.17/17.45 Conjecture not found
% 26.29/17.47 Conjecture not found
% 26.29/17.55 Conjecture not found
% 26.60/17.67 Conjecture not found
% 26.67/17.71 Conjecture not found
% 26.67/17.73 Conjecture not found
% 26.75/17.83 Conjecture not found
% 27.07/17.91 Conjecture not found
% 27.07/17.91 Conjecture not found
% 27.09/17.99 Conjecture not found
% 27.19/18.07 Conjecture not found
% 27.26/18.13 Conjecture not found
% 27.57/18.22 Conjecture not found
% 27.67/18.33 Conjecture not found
% 27.67/18.36 Conjecture not found
% 27.76/18.45 Conjecture not found
% 27.86/18.56 Conjecture not found
% 28.27/18.72 Conjecture not found
% 28.27/18.74 Conjecture not found
% 28.27/18.79 Conjecture not found
% 28.37/18.80 Conjecture not found
% 28.37/18.81 Conjecture not found
% 28.37/18.81 Conjecture not found
% 28.37/18.82 Conjecture not found
% 28.37/18.85 Conjecture not found
% 28.37/18.85 Conjecture not found
% 28.63/18.90 Conjecture not found
% 28.63/18.95 Conjecture not found
% 28.63/19.00 Conjecture not found
% 28.92/19.03 Conjecture not found
% 28.92/19.03 Conjecture not found
% 28.92/19.08 Conjecture not found
% 28.92/19.09 Conjecture not found
% 28.92/19.09 Conjecture not found
% 29.07/19.15 Conjecture not found
% 29.07/19.19 Conjecture not found
% 29.38/19.24 Conjecture not found
% 29.38/19.29 Conjecture not found
% 29.38/19.31 Conjecture not found
% 29.48/19.33 Conjecture not found
% 29.89/19.52 Conjecture not found
% 30.16/19.59 Conjecture not found
% 30.26/19.61 Conjecture not found
% 30.26/19.70 Conjecture not found
% 30.36/19.71 Conjecture not found
% 30.36/19.74 Conjecture not found
% 30.36/19.76 Conjecture not found
% 30.49/19.87 Conjecture not found
% 30.77/19.91 Conjecture not found
% 30.77/19.92 Conjecture not found
% 30.77/19.93 Conjecture not found
% 30.77/19.95 Conjecture not found
% 30.77/19.98 Conjecture not found
% 31.12/20.07 Conjecture not found
% 31.12/20.09 Conjecture not found
% 31.12/20.09 Conjecture not found
% 31.12/20.10 Conjecture not found
% 31.27/20.14 Conjecture not found
% 31.27/20.15 Conjecture not found
% 31.34/20.19 Conjecture not found
% 31.70/20.30 Conjecture not found
% 31.74/20.36 Conjecture not found
% 31.74/20.38 Conjecture not found
% 31.74/20.39 Conjecture not found
% 31.74/20.40 Conjecture not found
% 31.83/20.43 Conjecture not found
% 31.83/20.45 Conjecture not found
% 31.83/20.45 Conjecture not found
% 31.92/20.50 Conjecture not found
% 31.92/20.56 Conjecture not found
% 32.26/20.61 Conjecture not found
% 32.28/20.63 Conjecture not found
% 32.28/20.65 Conjecture not found
% 32.28/20.72 Conjecture not found
% 32.53/20.75 Conjecture not found
% 32.53/20.76 Conjecture not found
% 32.72/20.81 Conjecture not found
% 32.72/20.83 Conjecture not found
% 32.72/20.86 Conjecture not found
% 32.79/20.87 Conjecture not found
% 32.79/20.89 Conjecture not found
% 32.79/20.90 Conjecture not found
% 33.01/20.93 Conjecture not found
% 33.01/20.95 Conjecture not found
% 33.24/21.08 Conjecture not found
% 33.24/21.09 Conjecture not found
% 33.31/21.10 Conjecture not found
% 33.31/21.13 Conjecture not found
% 33.31/21.16 Conjecture not found
% 33.72/21.23 Conjecture not found
% 33.72/21.26 Conjecture not found
% 33.72/21.29 Conjecture not found
% 33.81/21.32 Conjecture not found
% 33.81/21.37 Conjecture not found
% 33.88/21.39 Conjecture not found
% 33.88/21.42 Conjecture not found
% 33.88/21.44 Conjecture not found
% 33.88/21.45 Conjecture not found
% 33.88/21.46 Conjecture not found
% 33.98/21.51 Conjecture not found
% 34.25/21.57 Conjecture not found
% 34.25/21.60 Conjecture not found
% 34.41/21.63 Conjecture not found
% 34.41/21.64 Conjecture not found
% 34.41/21.68 Conjecture not found
% 34.49/21.72 Conjecture not found
% 34.49/21.78 Conjecture not found
% 34.89/21.81 Conjecture not found
% 34.91/21.83 Conjecture not found
% 34.91/21.86 Conjecture not found
% 34.91/21.87 Conjecture not found
% 34.91/21.89 Conjecture not found
% 35.01/21.93 Conjecture not found
% 35.01/21.95 Conjecture not found
% 35.01/21.97 Conjecture not found
% 35.09/22.01 Conjecture not found
% 35.36/22.14 Conjecture not found
% 35.53/22.22 Conjecture not found
% 35.53/22.24 Conjecture not found
% 35.53/22.27 Conjecture not found
% 35.63/22.33 Conjecture not found
% 36.05/22.46 Conjecture not found
% 36.15/22.51 Conjecture not found
% 36.15/22.57 Conjecture not found
% 36.15/22.58 Conjecture not found
% 36.15/22.59 Conjecture not found
% 36.25/22.61 Conjecture not found
% 36.25/22.62 Conjecture not found
% 36.25/22.64 Conjecture not found
% 36.25/22.67 Conjecture not found
% 36.25/22.68 Conjecture not found
% 36.71/22.73 Conjecture not found
% 36.71/22.75 Conjecture not found
% 36.81/22.82 Conjecture not found
% 36.91/22.96 Conjecture not found
% 37.03/23.02 Conjecture not found
% 37.03/23.10 Conjecture not found
% 37.11/23.13 Conjecture not found
% 37.11/23.16 Conjecture not found
% 37.20/23.25 Conjecture not found
% 37.56/23.32 Conjecture not found
% 37.56/23.34 Conjecture not found
% 37.56/23.35 Conjecture not found
% 37.64/23.42 Conjecture not found
% 37.64/23.48 Conjecture not found
% 37.97/23.50 Conjecture not found
% 37.97/23.53 Conjecture not found
% 37.97/23.54 Conjecture not found
% 37.97/23.58 Conjecture not found
% 38.07/23.59 Conjecture not found
% 38.07/23.60 Conjecture not found
% 38.11/23.63 Conjecture not found
% 38.11/23.64 Conjecture not found
% 38.11/23.65 Conjecture not found
% 38.11/23.67 Conjecture not found
% 38.11/23.67 Conjecture not found
% 38.47/23.77 Conjecture not found
% 38.60/23.81 Conjecture not found
% 38.60/23.86 Conjecture not found
% 38.71/23.91 Conjecture not found
% 38.73/24.01 Conjecture not found
% 39.09/24.04 Conjecture not found
% 39.09/24.07 Conjecture not found
% 39.24/24.09 Conjecture not found
% 39.24/24.11 Conjecture not found
% 39.24/24.13 Conjecture not found
% 39.24/24.14 Conjecture not found
% 39.37/24.22 Conjecture not found
% 39.37/24.23 Conjecture not found
% 39.37/24.25 Conjecture not found
% 39.37/24.29 Conjecture not found
% 39.45/24.30 Conjecture not found
% 39.45/24.34 Conjecture not found
% 39.89/24.40 Conjecture not found
% 39.89/24.42 Conjecture not found
% 39.89/24.44 Conjecture not found
% 39.98/24.49 Conjecture not found
% 40.00/24.51 Conjecture not found
% 40.03/24.55 Conjecture not found
% 40.03/24.56 Conjecture not found
% 40.03/24.57 Conjecture not found
% 40.03/24.59 Conjecture not found
% 40.11/24.64 Conjecture not found
% 40.29/24.75 Conjecture not found
% 40.67/24.79 Conjecture not found
% 40.71/24.84 Conjecture not found
% 40.71/24.88 Conjecture not found
% 40.71/24.89 Conjecture not found
% 40.71/24.91 Conjecture not found
% 40.80/24.96 Conjecture not found
% 41.04/25.03 Conjecture not found
% 41.04/25.07 Conjecture not found
% 41.37/25.11 Conjecture not found
% 41.38/25.13 Conjecture not found
% 41.38/25.17 Conjecture not found
% 41.38/25.20 Conjecture not found
% 41.47/25.22 Conjecture not found
% 41.47/25.26 Conjecture not found
% 41.47/25.29 Conjecture not found
% 41.56/25.31 Conjecture not found
% 41.56/25.33 Conjecture not found
% 41.56/25.35 Conjecture not found
% 41.56/25.38 Conjecture not found
% 41.99/25.44 Conjecture not found
% 41.99/25.50 Conjecture not found
% 42.16/25.55 Conjecture not found
% 42.16/25.55 Conjecture not found
% 42.16/25.59 Conjecture not found
% 42.25/25.62 Conjecture not found
% 42.25/25.65 Conjecture not found
% 42.25/25.67 Conjecture not found
% 42.36/25.70 Conjecture not found
% 42.37/25.71 Conjecture not found
% 42.37/25.76 Conjecture not found
% 42.87/25.83 Conjecture not found
% 42.87/25.84 Conjecture not found
% 42.87/25.87 Conjecture not found
% 42.98/25.91 Conjecture not found
% 42.98/25.92 Conjecture not found
% 42.98/25.99 Conjecture not found
% 42.98/26.00 Conjecture not found
% 43.08/26.01 Conjecture not found
% 43.08/26.03 Conjecture not found
% 43.08/26.07 Conjecture not found
% 43.08/26.08 Conjecture not found
% 43.17/26.11 Conjecture not found
% 43.17/26.14 Conjecture not found
% 43.17/26.15 Conjecture not found
% 43.49/26.25 Conjecture not found
% 43.78/26.31 Conjecture not found
% 43.88/26.41 Conjecture not found
% 43.88/26.42 Conjecture not found
% 43.88/26.43 Conjecture not found
% 43.88/26.44 Conjecture not found
% 43.97/26.57 Conjecture not found
% 43.97/26.60 Conjecture not found
% 44.52/26.63 Conjecture not found
% 44.52/26.67 Conjecture not found
% 44.60/26.75 Conjecture not found
% 44.60/26.78 Conjecture not found
% 44.78/26.91 Conjecture not found
% 44.81/26.92 Conjecture not found
% 45.22/27.01 Conjecture not found
% 45.22/27.03 Conjecture not found
% 45.22/27.04 Conjecture not found
% 45.22/27.06 Conjecture not found
% 45.41/27.10 Conjecture not found
% 45.41/27.14 Conjecture not found
% 45.41/27.16 Conjecture not found
% 45.41/27.18 Conjecture not found
% 45.53/27.21 Conjecture not found
% 45.55/27.28 Conjecture not found
% 45.55/27.29 Conjecture not found
% 45.55/27.32 Conjecture not found
% 45.64/27.38 Conjecture not found
% 45.98/27.44 Conjecture not found
% 46.28/27.51 Conjecture not found
% 46.30/27.55 Conjecture not found
% 46.30/27.59 Conjecture not found
% 46.30/27.61 Conjecture not found
% 46.47/27.70 Conjecture not found
% 46.47/27.74 Conjecture not found
% 46.47/27.76 Conjecture not found
% 46.57/27.80 Conjecture not found
% 46.60/27.84 Conjecture not found
% 46.60/27.88 Conjecture not found
% 47.13/27.92 Conjecture not found
% 47.13/27.95 Conjecture not found
% 47.21/28.05 Conjecture not found
% 47.31/28.08 Conjecture not found
% 47.33/28.09 Conjecture not found
% 47.36/28.13 Conjecture not found
% 47.36/28.14 Conjecture not found
% 47.36/28.17 Conjecture not found
% 47.36/28.20 Conjecture not found
% 47.44/28.21 Conjecture not found
% 47.44/28.22 Conjecture not found
% 47.44/28.26 Conjecture not found
% 47.81/28.30 Conjecture not found
% 47.81/28.36 Conjecture not found
% 47.81/28.39 Conjecture not found
% 48.11/28.40 Conjecture not found
% 48.14/28.42 Conjecture not found
% 48.14/28.43 Conjecture not found
% 48.14/28.45 Conjecture not found
% 48.22/28.51 Conjecture not found
% 48.22/28.53 Conjecture not found
% 48.22/28.53 Conjecture not found
% 48.22/28.54 Conjecture not found
% 48.22/28.56 Conjecture not found
% 48.30/28.58 Conjecture not found
% 48.30/28.60 Conjecture not found
% 48.30/28.62 Conjecture not found
% 48.30/28.63 Conjecture not found
% 48.30/28.66 Conjecture not found
% 48.44/28.70 Conjecture not found
% 48.63/28.74 Conjecture not found
% 48.63/28.77 Conjecture not found
% 48.63/28.80 Conjecture not found
% 49.00/28.85 Conjecture not found
% 49.00/28.86 Conjecture not found
% 49.18/28.99 Conjecture not found
% 49.18/29.00 Conjecture not found
% 49.20/29.01 Conjecture not found
% 49.30/29.16 Conjecture not found
% 49.30/29.18 Conjecture not found
% 49.39/29.21 Conjecture not found
% 49.39/29.24 Conjecture not found
% 49.99/29.29 Conjecture not found
% 50.02/29.33 Conjecture not found
% 50.02/29.36 Conjecture not found
% 50.02/29.38 Conjecture not found
% 50.11/29.41 Conjecture not found
% 50.11/29.48 Conjecture not found
% 50.11/29.49 Conjecture not found
% 50.21/29.59 Conjecture not found
% 50.78/29.62 Conjecture not found
% 50.78/29.65 Conjecture not found
% 50.78/29.66 Conjecture not found
% 50.78/29.67 Conjecture not found
% 50.78/29.68 Conjecture not found
% 50.88/29.71 Conjecture not found
% 50.88/29.73 Conjecture not found
% 50.88/29.74 Conjecture not found
% 50.88/29.76 Conjecture not found
% 50.88/29.79 Conjecture not found
% 50.97/29.80 Conjecture not found
% 50.97/29.84 Conjecture not found
% 50.97/29.86 Conjecture not found
% 51.08/29.94 Conjecture not found
% 51.08/29.97 Conjecture not found
% 51.08/30.00 Conjecture not found
% 51.17/30.07 Conjecture not found
% 51.76/30.14 Conjecture not found
% 51.76/30.18 Conjecture not found
% 51.76/30.20 Conjecture not found
% 51.86/30.21 Conjecture not found
% 51.86/30.24 Conjecture not found
% 51.86/30.30 Conjecture not found
% 52.76/30.66 Conjecture not found
% 52.76/30.67 Conjecture not found
% 52.85/30.72 Conjecture not found
% 52.85/30.75 Conjecture not found
% 52.85/30.77 Conjecture not found
% 52.85/30.78 Conjecture not found
% 52.85/30.79 Conjecture not found
% 52.95/30.80 Conjecture not found
% 52.96/30.82 Conjecture not found
% 52.97/30.82 Conjecture not found
% 52.97/30.84 Conjecture not found
% 53.43/30.94 Conjecture not found
% 53.65/31.03 Conjecture not found
% 53.74/31.08 Conjecture not found
% 53.77/31.11 Conjecture not found
% 53.78/31.14 Conjecture not found
% 53.78/31.15 Conjecture not found
% 53.78/31.16 Conjecture not found
% 53.78/31.20 Conjecture not found
% 53.78/31.21 Conjecture not found
% 53.87/31.22 Conjecture not found
% 53.87/31.23 Conjecture not found
% 53.87/31.25 Conjecture not found
% 54.28/31.35 Conjecture not found
% 54.28/31.38 Conjecture not found
% 54.61/31.42 Conjecture not found
% 54.64/31.46 Conjecture not found
% 54.64/31.47 Conjecture not found
% 54.73/31.53 Conjecture not found
% 54.73/31.56 Conjecture not found
% 54.73/31.57 Conjecture not found
% 54.73/31.58 Conjecture not found
% 54.81/31.62 Conjecture not found
% 54.81/31.64 Conjecture not found
% 54.81/31.65 Conjecture not found
% 55.20/31.74 Conjecture not found
% 55.20/31.75 Conjecture not found
% 55.20/31.78 Conjecture not found
% 55.20/31.81 Conjecture not found
% 55.56/31.83 Conjecture not found
% 55.56/31.85 Conjecture not found
% 55.56/31.87 Conjecture not found
% 55.62/31.88 Conjecture not found
% 55.62/31.96 Conjecture not found
% 55.73/32.00 Conjecture not found
% 55.73/32.01 Conjecture not found
% 55.73/32.02 Conjecture not found
% 55.84/32.11 Conjecture not found
% 55.84/32.12 Conjecture not found
% 55.84/32.15 Conjecture not found
% 55.91/32.18 Conjecture not found
% 56.62/32.33 Conjecture not found
% 56.62/32.36 Conjecture not found
% 56.62/32.39 Conjecture not found
% 56.69/32.43 Conjecture not found
% 56.69/32.46 Conjecture not found
% 56.69/32.48 Conjecture not found
% 56.77/32.53 Conjecture not found
% 56.87/32.60 Conjecture not found
% 56.92/32.66 Conjecture not found
% 56.92/32.68 Conjecture not found
% 56.92/32.70 Conjecture not found
% 57.62/32.85 Conjecture not found
% 57.72/32.90 Conjecture not found
% 57.75/32.91 Start search
% 119.22/49.00 nb_step : 1 - limit : 133790
% 120.15/49.53 Launch Gotab with destructive = true
%------------------------------------------------------------------------------