TSTP Solution File: LAT373+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT373+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n029.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.15s 89.14s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT373+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n029.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Thu Sep 1 16:37:52 EDT 2022
% 0.13/0.33 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.42 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.50 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.49/0.54 Conjecture not found
% 0.53/0.58 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.60 Conjecture not found
% 0.53/0.61 Conjecture not found
% 0.53/0.63 Conjecture not found
% 0.64/0.65 Conjecture not found
% 0.71/0.69 Conjecture not found
% 0.87/0.77 Conjecture not found
% 0.87/0.77 Conjecture not found
% 1.04/0.86 Conjecture not found
% 1.04/0.91 Conjecture not found
% 1.22/0.99 Conjecture not found
% 1.22/1.03 Conjecture not found
% 1.41/1.10 Conjecture not found
% 1.41/1.14 Conjecture not found
% 1.57/1.19 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.67/1.25 Conjecture not found
% 1.71/1.26 Conjecture not found
% 1.71/1.27 Conjecture not found
% 1.71/1.28 Conjecture not found
% 1.71/1.28 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.43 Conjecture not found
% 1.90/1.43 Conjecture not found
% 2.04/1.44 Conjecture not found
% 2.04/1.44 Conjecture not found
% 2.04/1.45 Conjecture not found
% 2.04/1.45 Conjecture not found
% 2.11/1.51 Conjecture not found
% 2.33/1.56 Conjecture not found
% 2.33/1.56 Conjecture not found
% 2.33/1.57 Conjecture not found
% 2.33/1.58 Conjecture not found
% 2.33/1.60 Conjecture not found
% 2.33/1.61 Conjecture not found
% 2.33/1.63 Conjecture not found
% 2.51/1.66 Conjecture not found
% 2.51/1.67 Conjecture not found
% 2.62/1.69 Conjecture not found
% 2.62/1.70 Conjecture not found
% 2.62/1.71 Conjecture not found
% 2.62/1.75 Conjecture not found
% 2.79/1.81 Conjecture not found
% 2.95/1.86 Conjecture not found
% 2.95/1.87 Conjecture not found
% 2.95/1.89 Conjecture not found
% 3.10/1.92 Conjecture not found
% 3.10/1.95 Conjecture not found
% 3.10/1.97 Conjecture not found
% 3.23/1.99 Conjecture not found
% 3.45/2.08 Conjecture not found
% 3.45/2.10 Conjecture not found
% 3.54/2.12 Conjecture not found
% 3.54/2.14 Conjecture not found
% 3.63/2.16 Conjecture not found
% 3.63/2.18 Conjecture not found
% 4.04/2.36 Conjecture not found
% 4.04/2.39 Conjecture not found
% 4.11/2.42 Conjecture not found
% 4.20/2.53 Conjecture not found
% 4.40/2.55 Conjecture not found
% 4.40/2.56 Conjecture not found
% 4.40/2.58 Conjecture not found
% 4.52/2.62 Conjecture not found
% 4.63/2.69 Conjecture not found
% 4.87/2.76 Conjecture not found
% 4.87/2.83 Conjecture not found
% 5.07/2.88 Conjecture not found
% 5.07/2.89 Conjecture not found
% 5.17/2.93 Conjecture not found
% 5.17/2.93 Conjecture not found
% 5.29/2.95 Conjecture not found
% 5.29/2.97 Conjecture not found
% 5.29/2.99 Conjecture not found
% 5.43/3.00 Conjecture not found
% 5.57/3.07 Conjecture not found
% 5.57/3.08 Conjecture not found
% 5.57/3.12 Conjecture not found
% 5.75/3.18 Conjecture not found
% 5.99/3.28 Conjecture not found
% 6.17/3.43 Conjecture not found
% 6.58/3.61 Conjecture not found
% 7.37/3.88 Conjecture not found
% 7.37/3.90 Conjecture not found
% 7.47/3.93 Conjecture not found
% 7.69/4.06 Conjecture not found
% 7.71/4.10 Conjecture not found
% 7.84/4.15 Conjecture not found
% 7.87/4.23 Conjecture not found
% 8.04/4.27 Conjecture not found
% 8.18/4.34 Conjecture not found
% 8.27/4.38 Conjecture not found
% 8.27/4.41 Conjecture not found
% 8.27/4.42 Conjecture not found
% 8.33/4.46 Conjecture not found
% 8.43/4.47 Conjecture not found
% 8.52/4.56 Conjecture not found
% 8.66/4.66 Conjecture not found
% 8.72/4.72 Conjecture not found
% 8.93/4.82 Conjecture not found
% 9.00/4.84 Conjecture not found
% 9.03/4.89 Conjecture not found
% 9.03/4.91 Conjecture not found
% 9.03/4.92 Conjecture not found
% 9.03/4.94 Conjecture not found
% 9.18/4.95 Conjecture not found
% 9.18/4.97 Conjecture not found
% 9.30/5.02 Conjecture not found
% 9.30/5.02 Conjecture not found
% 9.30/5.03 Conjecture not found
% 9.30/5.04 Conjecture not found
% 9.42/5.08 Conjecture not found
% 9.42/5.10 Conjecture not found
% 9.55/5.15 Conjecture not found
% 9.55/5.19 Conjecture not found
% 9.94/5.39 Conjecture not found
% 9.98/5.42 Conjecture not found
% 9.98/5.43 Conjecture not found
% 9.98/5.46 Conjecture not found
% 10.11/5.48 Conjecture not found
% 10.11/5.50 Conjecture not found
% 10.28/5.55 Conjecture not found
% 10.28/5.56 Conjecture not found
% 10.28/5.57 Conjecture not found
% 10.28/5.59 Conjecture not found
% 10.47/5.67 Conjecture not found
% 11.37/6.22 Conjecture not found
% 12.23/6.76 Conjecture not found
% 12.46/6.87 Conjecture not found
% 12.47/6.91 Conjecture not found
% 12.51/6.92 Conjecture not found
% 12.59/6.95 Conjecture not found
% 12.59/6.99 Conjecture not found
% 12.59/7.00 Conjecture not found
% 12.59/7.00 Conjecture not found
% 12.72/7.04 Conjecture not found
% 12.85/7.10 Conjecture not found
% 12.85/7.15 Conjecture not found
% 13.00/7.17 Conjecture not found
% 13.05/7.18 Conjecture not found
% 13.05/7.20 Conjecture not found
% 13.10/7.24 Conjecture not found
% 13.21/7.29 Conjecture not found
% 13.31/7.34 Conjecture not found
% 13.41/7.39 Conjecture not found
% 13.41/7.42 Conjecture not found
% 13.41/7.44 Conjecture not found
% 13.54/7.46 Conjecture not found
% 13.54/7.48 Conjecture not found
% 13.70/7.52 Conjecture not found
% 13.74/7.56 Conjecture not found
% 13.74/7.58 Conjecture not found
% 13.82/7.64 Conjecture not found
% 13.94/7.72 Conjecture not found
% 13.94/7.74 Conjecture not found
% 14.03/7.75 Conjecture not found
% 14.03/7.77 Conjecture not found
% 14.06/7.78 Conjecture not found
% 14.06/7.79 Conjecture not found
% 14.06/7.81 Conjecture not found
% 14.20/7.84 Conjecture not found
% 14.20/7.86 Conjecture not found
% 14.26/7.88 Conjecture not found
% 14.26/7.92 Conjecture not found
% 14.33/7.94 Conjecture not found
% 14.43/7.97 Conjecture not found
% 14.43/8.01 Conjecture not found
% 14.53/8.04 Conjecture not found
% 14.53/8.05 Conjecture not found
% 14.56/8.07 Conjecture not found
% 14.56/8.08 Conjecture not found
% 14.56/8.10 Conjecture not found
% 14.56/8.12 Conjecture not found
% 14.75/8.13 Conjecture not found
% 14.75/8.15 Conjecture not found
% 14.75/8.16 Conjecture not found
% 14.79/8.20 Conjecture not found
% 14.79/8.21 Conjecture not found
% 14.97/8.24 Conjecture not found
% 15.00/8.27 Conjecture not found
% 15.00/8.28 Conjecture not found
% 15.00/8.30 Conjecture not found
% 15.00/8.31 Conjecture not found
% 15.00/8.32 Conjecture not found
% 15.00/8.32 Conjecture not found
% 15.00/8.33 Conjecture not found
% 15.00/8.33 Conjecture not found
% 15.24/8.39 Conjecture not found
% 15.33/8.50 Conjecture not found
% 15.33/8.51 Conjecture not found
% 15.44/8.54 Conjecture not found
% 15.53/8.58 Conjecture not found
% 15.53/8.59 Conjecture not found
% 15.53/8.61 Conjecture not found
% 15.53/8.62 Conjecture not found
% 15.61/8.65 Conjecture not found
% 15.66/8.68 Conjecture not found
% 15.66/8.73 Conjecture not found
% 15.86/8.76 Conjecture not found
% 15.88/8.80 Conjecture not found
% 16.18/8.95 Conjecture not found
% 16.23/9.02 Conjecture not found
% 16.44/9.09 Conjecture not found
% 16.44/9.10 Conjecture not found
% 16.49/9.12 Conjecture not found
% 16.53/9.16 Conjecture not found
% 16.53/9.21 Conjecture not found
% 16.53/9.22 Conjecture not found
% 16.76/9.26 Conjecture not found
% 16.90/9.34 Conjecture not found
% 17.04/9.40 Conjecture not found
% 17.10/9.44 Conjecture not found
% 17.29/9.51 Conjecture not found
% 17.29/9.53 Conjecture not found
% 17.39/9.58 Conjecture not found
% 17.42/9.62 Conjecture not found
% 17.70/9.72 Conjecture not found
% 17.76/9.82 Conjecture not found
% 17.76/9.83 Conjecture not found
% 18.01/9.87 Conjecture not found
% 18.04/9.89 Conjecture not found
% 18.04/9.91 Conjecture not found
% 18.10/9.98 Conjecture not found
% 18.33/10.08 Conjecture not found
% 18.39/10.09 Conjecture not found
% 18.39/10.12 Conjecture not found
% 18.79/10.38 Conjecture not found
% 19.01/10.43 Conjecture not found
% 19.08/10.47 Conjecture not found
% 19.09/10.49 Conjecture not found
% 19.09/10.51 Conjecture not found
% 19.09/10.53 Conjecture not found
% 19.34/10.61 Conjecture not found
% 19.42/10.67 Conjecture not found
% 19.70/10.75 Conjecture not found
% 19.71/10.78 Conjecture not found
% 19.71/10.80 Conjecture not found
% 19.98/10.94 Conjecture not found
% 20.11/10.99 Conjecture not found
% 20.11/11.03 Conjecture not found
% 20.26/11.09 Conjecture not found
% 20.42/11.13 Conjecture not found
% 20.42/11.14 Conjecture not found
% 20.42/11.16 Conjecture not found
% 20.42/11.17 Conjecture not found
% 20.47/11.18 Conjecture not found
% 20.47/11.20 Conjecture not found
% 20.74/11.27 Conjecture not found
% 20.74/11.30 Conjecture not found
% 20.80/11.34 Conjecture not found
% 20.83/11.39 Conjecture not found
% 20.83/11.41 Conjecture not found
% 21.09/11.45 Conjecture not found
% 21.09/11.47 Conjecture not found
% 21.35/11.59 Conjecture not found
% 21.35/11.61 Conjecture not found
% 21.50/11.66 Conjecture not found
% 21.50/11.67 Conjecture not found
% 21.53/11.67 Conjecture not found
% 21.53/11.67 Conjecture not found
% 21.53/11.68 Conjecture not found
% 21.53/11.73 Conjecture not found
% 21.53/11.74 Conjecture not found
% 21.60/11.75 Conjecture not found
% 21.88/11.84 Conjecture not found
% 21.90/11.89 Conjecture not found
% 21.98/11.97 Conjecture not found
% 22.21/11.99 Conjecture not found
% 22.36/12.13 Conjecture not found
% 22.73/12.30 Conjecture not found
% 22.73/12.32 Conjecture not found
% 22.80/12.36 Conjecture not found
% 22.80/12.37 Conjecture not found
% 22.80/12.40 Conjecture not found
% 23.09/12.51 Conjecture not found
% 23.18/12.57 Conjecture not found
% 23.23/12.62 Conjecture not found
% 23.23/12.64 Conjecture not found
% 23.56/12.73 Conjecture not found
% 23.56/12.76 Conjecture not found
% 23.61/12.77 Conjecture not found
% 23.61/12.86 Conjecture not found
% 23.93/12.91 Conjecture not found
% 23.93/12.91 Conjecture not found
% 23.98/12.95 Conjecture not found
% 24.07/13.04 Conjecture not found
% 24.31/13.07 Conjecture not found
% 24.31/13.08 Conjecture not found
% 24.31/13.13 Conjecture not found
% 24.40/13.16 Conjecture not found
% 24.40/13.16 Conjecture not found
% 24.43/13.20 Conjecture not found
% 24.70/13.28 Conjecture not found
% 24.77/13.32 Conjecture not found
% 24.77/13.36 Conjecture not found
% 24.84/13.42 Conjecture not found
% 24.84/13.43 Conjecture not found
% 25.19/13.52 Conjecture not found
% 25.21/13.59 Conjecture not found
% 25.30/13.67 Conjecture not found
% 25.42/13.71 Conjecture not found
% 25.66/13.80 Conjecture not found
% 25.66/13.82 Conjecture not found
% 25.71/13.83 Conjecture not found
% 25.71/13.83 Conjecture not found
% 25.71/13.84 Conjecture not found
% 25.74/13.86 Conjecture not found
% 25.74/13.87 Conjecture not found
% 25.95/13.96 Conjecture not found
% 26.16/14.05 Conjecture not found
% 26.18/14.09 Conjecture not found
% 26.23/14.11 Conjecture not found
% 26.23/14.12 Conjecture not found
% 26.27/14.18 Conjecture not found
% 26.27/14.21 Conjecture not found
% 26.27/14.22 Conjecture not found
% 26.65/14.31 Conjecture not found
% 26.65/14.33 Conjecture not found
% 26.71/14.37 Conjecture not found
% 26.90/14.45 Conjecture not found
% 27.07/14.49 Conjecture not found
% 27.07/14.53 Conjecture not found
% 27.58/14.76 Conjecture not found
% 27.62/14.82 Conjecture not found
% 27.62/14.84 Conjecture not found
% 27.97/14.95 Conjecture not found
% 28.09/14.98 Conjecture not found
% 28.09/15.02 Conjecture not found
% 28.16/15.05 Conjecture not found
% 28.24/15.14 Conjecture not found
% 28.26/15.17 Conjecture not found
% 28.26/15.18 Conjecture not found
% 28.26/15.22 Conjecture not found
% 28.59/15.27 Conjecture not found
% 28.64/15.32 Conjecture not found
% 28.74/15.37 Conjecture not found
% 28.74/15.38 Conjecture not found
% 28.74/15.38 Conjecture not found
% 28.74/15.38 Conjecture not found
% 28.91/15.44 Conjecture not found
% 28.91/15.45 Conjecture not found
% 29.09/15.49 Conjecture not found
% 29.16/15.55 Conjecture not found
% 29.21/15.60 Conjecture not found
% 29.53/15.66 Conjecture not found
% 29.53/15.68 Conjecture not found
% 29.53/15.70 Conjecture not found
% 29.59/15.75 Conjecture not found
% 29.63/15.77 Conjecture not found
% 29.63/15.78 Conjecture not found
% 29.63/15.81 Conjecture not found
% 29.63/15.84 Conjecture not found
% 29.72/15.88 Conjecture not found
% 29.81/15.94 Conjecture not found
% 30.11/15.98 Conjecture not found
% 30.22/16.06 Conjecture not found
% 30.22/16.08 Conjecture not found
% 30.22/16.09 Conjecture not found
% 30.36/16.18 Conjecture not found
% 30.60/16.21 Conjecture not found
% 30.66/16.27 Conjecture not found
% 30.66/16.29 Conjecture not found
% 30.73/16.31 Conjecture not found
% 30.73/16.33 Conjecture not found
% 30.73/16.36 Conjecture not found
% 30.78/16.37 Conjecture not found
% 31.20/16.50 Conjecture not found
% 31.20/16.51 Conjecture not found
% 31.20/16.52 Conjecture not found
% 31.25/16.55 Conjecture not found
% 31.28/16.58 Conjecture not found
% 31.28/16.60 Conjecture not found
% 31.28/16.61 Conjecture not found
% 31.34/16.64 Conjecture not found
% 31.34/16.66 Conjecture not found
% 31.49/16.72 Conjecture not found
% 31.49/16.74 Conjecture not found
% 31.77/16.76 Conjecture not found
% 31.79/16.78 Conjecture not found
% 31.79/16.79 Conjecture not found
% 31.79/16.80 Conjecture not found
% 31.83/16.82 Conjecture not found
% 31.86/16.85 Conjecture not found
% 31.86/16.88 Conjecture not found
% 32.15/16.94 Conjecture not found
% 32.15/16.95 Conjecture not found
% 32.29/16.99 Conjecture not found
% 32.29/17.03 Conjecture not found
% 32.29/17.04 Conjecture not found
% 32.36/17.06 Conjecture not found
% 32.38/17.08 Conjecture not found
% 32.38/17.10 Conjecture not found
% 32.38/17.11 Conjecture not found
% 32.38/17.13 Conjecture not found
% 32.63/17.19 Conjecture not found
% 32.63/17.20 Conjecture not found
% 32.63/17.21 Conjecture not found
% 32.85/17.25 Conjecture not found
% 32.89/17.29 Conjecture not found
% 33.32/17.42 Conjecture not found
% 33.36/17.46 Conjecture not found
% 33.36/17.51 Conjecture not found
% 33.49/17.58 Conjecture not found
% 33.57/17.67 Conjecture not found
% 33.93/17.73 Conjecture not found
% 34.01/17.79 Conjecture not found
% 34.01/17.81 Conjecture not found
% 34.01/17.82 Conjecture not found
% 34.01/17.83 Conjecture not found
% 34.07/17.84 Conjecture not found
% 34.07/17.86 Conjecture not found
% 34.10/17.87 Conjecture not found
% 34.10/17.88 Conjecture not found
% 34.10/17.90 Conjecture not found
% 34.10/17.91 Conjecture not found
% 34.34/17.97 Conjecture not found
% 34.58/18.07 Conjecture not found
% 34.62/18.10 Conjecture not found
% 34.62/18.13 Conjecture not found
% 34.69/18.15 Conjecture not found
% 34.69/18.16 Conjecture not found
% 34.71/18.23 Conjecture not found
% 35.22/18.35 Conjecture not found
% 35.26/18.39 Conjecture not found
% 35.26/18.41 Conjecture not found
% 35.34/18.50 Conjecture not found
% 35.41/18.54 Conjecture not found
% 35.46/18.57 Conjecture not found
% 35.46/18.61 Conjecture not found
% 35.73/18.65 Conjecture not found
% 35.94/18.73 Conjecture not found
% 35.94/18.75 Conjecture not found
% 35.94/18.76 Conjecture not found
% 35.98/18.79 Conjecture not found
% 35.98/18.81 Conjecture not found
% 35.98/18.83 Conjecture not found
% 36.06/18.85 Conjecture not found
% 36.06/18.86 Conjecture not found
% 36.11/18.90 Conjecture not found
% 36.17/18.95 Conjecture not found
% 36.18/18.99 Conjecture not found
% 36.60/19.10 Conjecture not found
% 36.73/19.21 Conjecture not found
% 36.73/19.23 Conjecture not found
% 36.78/19.25 Conjecture not found
% 36.80/19.26 Conjecture not found
% 36.80/19.28 Conjecture not found
% 36.80/19.30 Conjecture not found
% 36.80/19.31 Conjecture not found
% 37.36/19.47 Conjecture not found
% 37.39/19.48 Conjecture not found
% 37.39/19.50 Conjecture not found
% 37.44/19.54 Conjecture not found
% 37.46/19.55 Conjecture not found
% 37.46/19.57 Conjecture not found
% 37.46/19.61 Conjecture not found
% 37.53/19.62 Conjecture not found
% 37.53/19.65 Conjecture not found
% 37.58/19.69 Conjecture not found
% 37.58/19.71 Conjecture not found
% 37.98/19.77 Conjecture not found
% 38.06/19.78 Conjecture not found
% 38.06/19.79 Conjecture not found
% 38.06/19.80 Conjecture not found
% 38.11/19.84 Conjecture not found
% 38.14/19.90 Conjecture not found
% 38.14/19.92 Conjecture not found
% 38.21/19.98 Conjecture not found
% 38.52/20.02 Conjecture not found
% 38.52/20.03 Conjecture not found
% 38.73/20.05 Conjecture not found
% 38.74/20.11 Conjecture not found
% 38.79/20.14 Conjecture not found
% 38.82/20.16 Conjecture not found
% 38.82/20.19 Conjecture not found
% 38.82/20.21 Conjecture not found
% 38.91/20.24 Conjecture not found
% 39.30/20.30 Conjecture not found
% 39.30/20.33 Conjecture not found
% 39.43/20.36 Conjecture not found
% 39.45/20.38 Conjecture not found
% 39.45/20.40 Conjecture not found
% 39.45/20.41 Conjecture not found
% 39.51/20.43 Conjecture not found
% 39.51/20.44 Conjecture not found
% 39.54/20.47 Conjecture not found
% 39.54/20.50 Conjecture not found
% 39.79/20.58 Conjecture not found
% 40.04/20.59 Conjecture not found
% 40.04/20.61 Conjecture not found
% 40.10/20.64 Conjecture not found
% 40.11/20.66 Conjecture not found
% 40.11/20.68 Conjecture not found
% 40.11/20.70 Conjecture not found
% 40.11/20.71 Conjecture not found
% 40.18/20.72 Conjecture not found
% 40.18/20.75 Conjecture not found
% 40.23/20.76 Conjecture not found
% 40.23/20.78 Conjecture not found
% 40.23/20.82 Conjecture not found
% 40.23/20.82 Conjecture not found
% 40.65/20.90 Conjecture not found
% 40.65/20.92 Conjecture not found
% 40.82/20.94 Conjecture not found
% 40.82/20.96 Conjecture not found
% 40.85/21.00 Conjecture not found
% 40.85/21.02 Conjecture not found
% 40.91/21.05 Conjecture not found
% 40.91/21.07 Conjecture not found
% 40.96/21.09 Conjecture not found
% 40.96/21.14 Conjecture not found
% 41.05/21.19 Conjecture not found
% 41.63/21.35 Conjecture not found
% 41.63/21.37 Conjecture not found
% 41.67/21.38 Conjecture not found
% 41.67/21.39 Conjecture not found
% 41.76/21.48 Conjecture not found
% 41.76/21.49 Conjecture not found
% 41.76/21.51 Conjecture not found
% 41.83/21.55 Conjecture not found
% 41.86/21.62 Conjecture not found
% 41.94/21.66 Conjecture not found
% 42.54/21.86 Conjecture not found
% 42.59/21.87 Conjecture not found
% 42.59/21.93 Conjecture not found
% 42.59/21.93 Conjecture not found
% 42.59/21.94 Conjecture not found
% 42.67/21.95 Conjecture not found
% 42.70/21.99 Conjecture not found
% 42.70/22.03 Conjecture not found
% 42.76/22.05 Conjecture not found
% 42.80/22.08 Conjecture not found
% 42.80/22.13 Conjecture not found
% 43.36/22.22 Conjecture not found
% 43.36/22.23 Conjecture not found
% 43.43/22.26 Conjecture not found
% 43.43/22.30 Conjecture not found
% 43.48/22.33 Conjecture not found
% 43.52/22.38 Conjecture not found
% 43.52/22.42 Conjecture not found
% 43.61/22.46 Conjecture not found
% 43.61/22.48 Conjecture not found
% 43.94/22.59 Conjecture not found
% 44.26/22.63 Conjecture not found
% 44.26/22.64 Conjecture not found
% 44.31/22.67 Conjecture not found
% 44.31/22.70 Conjecture not found
% 44.31/22.71 Conjecture not found
% 44.31/22.72 Conjecture not found
% 44.31/22.74 Conjecture not found
% 44.43/22.82 Conjecture not found
% 44.48/22.85 Conjecture not found
% 44.48/22.87 Conjecture not found
% 44.98/22.93 Conjecture not found
% 44.98/22.95 Conjecture not found
% 45.08/22.97 Conjecture not found
% 45.08/23.00 Conjecture not found
% 45.08/23.02 Conjecture not found
% 45.08/23.03 Conjecture not found
% 45.17/23.06 Conjecture not found
% 45.20/23.09 Conjecture not found
% 45.24/23.13 Conjecture not found
% 45.26/23.15 Conjecture not found
% 45.26/23.16 Conjecture not found
% 45.26/23.19 Conjecture not found
% 45.26/23.20 Conjecture not found
% 45.26/23.22 Conjecture not found
% 45.33/23.28 Conjecture not found
% 45.39/23.30 Conjecture not found
% 45.39/23.30 Conjecture not found
% 45.39/23.31 Conjecture not found
% 45.39/23.34 Conjecture not found
% 45.86/23.39 Conjecture not found
% 45.86/23.40 Conjecture not found
% 46.00/23.42 Conjecture not found
% 46.00/23.43 Conjecture not found
% 46.02/23.45 Conjecture not found
% 46.02/23.48 Conjecture not found
% 46.02/23.49 Conjecture not found
% 46.02/23.50 Conjecture not found
% 46.02/23.51 Conjecture not found
% 46.11/23.55 Conjecture not found
% 46.11/23.56 Conjecture not found
% 46.17/23.63 Conjecture not found
% 46.17/23.63 Conjecture not found
% 46.17/23.64 Conjecture not found
% 46.82/23.83 Conjecture not found
% 46.91/23.85 Conjecture not found
% 46.91/23.87 Conjecture not found
% 46.95/23.89 Conjecture not found
% 46.95/23.93 Conjecture not found
% 47.02/23.97 Conjecture not found
% 47.08/24.02 Conjecture not found
% 47.12/24.05 Conjecture not found
% 47.12/24.12 Conjecture not found
% 47.74/24.29 Conjecture not found
% 47.74/24.30 Conjecture not found
% 47.88/24.41 Conjecture not found
% 47.88/24.43 Conjecture not found
% 47.97/24.47 Conjecture not found
% 47.97/24.48 Conjecture not found
% 47.97/24.49 Conjecture not found
% 47.97/24.50 Conjecture not found
% 48.03/24.53 Conjecture not found
% 48.03/24.55 Conjecture not found
% 48.06/24.56 Conjecture not found
% 48.06/24.58 Conjecture not found
% 48.06/24.61 Conjecture not found
% 48.06/24.63 Conjecture not found
% 48.13/24.66 Conjecture not found
% 48.18/24.68 Conjecture not found
% 48.24/24.76 Conjecture not found
% 48.27/24.78 Conjecture not found
% 48.27/24.81 Conjecture not found
% 48.75/24.91 Conjecture not found
% 48.95/24.96 Conjecture not found
% 48.99/25.00 Conjecture not found
% 48.99/25.02 Conjecture not found
% 49.05/25.04 Conjecture not found
% 49.08/25.08 Conjecture not found
% 49.14/25.15 Conjecture not found
% 50.08/25.58 Conjecture not found
% 50.08/25.60 Conjecture not found
% 50.14/25.64 Conjecture not found
% 50.18/25.67 Conjecture not found
% 50.18/25.69 Conjecture not found
% 50.18/25.70 Conjecture not found
% 50.18/25.71 Conjecture not found
% 50.18/25.73 Conjecture not found
% 50.27/25.74 Conjecture not found
% 50.27/25.76 Conjecture not found
% 50.51/25.79 Conjecture not found
% 50.92/25.86 Conjecture not found
% 50.99/25.93 Conjecture not found
% 51.04/25.98 Conjecture not found
% 51.04/26.01 Conjecture not found
% 51.04/26.04 Conjecture not found
% 51.04/26.05 Conjecture not found
% 51.12/26.07 Conjecture not found
% 51.15/26.11 Conjecture not found
% 51.33/26.13 Conjecture not found
% 51.46/26.17 Conjecture not found
% 51.46/26.20 Conjecture not found
% 51.82/26.22 Conjecture not found
% 51.88/26.28 Conjecture not found
% 51.88/26.31 Conjecture not found
% 51.88/26.35 Conjecture not found
% 51.98/26.40 Conjecture not found
% 51.98/26.40 Conjecture not found
% 52.05/26.46 Conjecture not found
% 52.05/26.50 Conjecture not found
% 52.05/26.51 Conjecture not found
% 52.05/26.52 Conjecture not found
% 52.13/26.56 Conjecture not found
% 52.13/26.58 Conjecture not found
% 52.19/26.59 Conjecture not found
% 52.65/26.70 Conjecture not found
% 52.86/26.71 Conjecture not found
% 52.86/26.73 Conjecture not found
% 52.90/26.75 Conjecture not found
% 52.90/26.76 Conjecture not found
% 52.90/26.78 Conjecture not found
% 52.90/26.81 Conjecture not found
% 52.90/26.82 Conjecture not found
% 53.05/26.90 Conjecture not found
% 53.05/26.94 Conjecture not found
% 53.05/26.95 Conjecture not found
% 53.12/26.96 Conjecture not found
% 53.18/27.05 Conjecture not found
% 53.21/27.06 Conjecture not found
% 53.21/27.11 Conjecture not found
% 53.79/27.16 Conjecture not found
% 53.95/27.27 Conjecture not found
% 53.95/27.30 Conjecture not found
% 54.01/27.32 Conjecture not found
% 54.01/27.35 Conjecture not found
% 54.06/27.38 Conjecture not found
% 54.06/27.39 Conjecture not found
% 54.06/27.43 Conjecture not found
% 54.15/27.49 Conjecture not found
% 54.31/27.55 Conjecture not found
% 54.45/27.58 Conjecture not found
% 54.45/27.61 Conjecture not found
% 54.95/27.70 Conjecture not found
% 55.03/27.75 Conjecture not found
% 55.05/27.80 Start search
% 122.54/44.91 nb_step : 1 - limit : 133991
% 123.57/45.47 Launch Gotab with destructive = true
%------------------------------------------------------------------------------