TSTP Solution File: TOP043+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : TOP043+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n024.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 : Fri Sep 30 01:49:48 EDT 2022
% Result : Timeout 300.35s 90.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : TOP043+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Mon Aug 29 11:26:12 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000047s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.12/0.40 Conjecture not found
% 0.12/0.41 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.50 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.61/0.65 Conjecture not found
% 0.72/0.72 Conjecture not found
% 0.72/0.72 Conjecture not found
% 0.83/0.81 Conjecture not found
% 0.83/0.86 Conjecture not found
% 1.12/0.93 Conjecture not found
% 1.12/0.97 Conjecture not found
% 1.23/1.04 Conjecture not found
% 1.23/1.08 Conjecture not found
% 1.37/1.13 Conjecture not found
% 1.37/1.15 Conjecture not found
% 1.53/1.18 Conjecture not found
% 1.53/1.20 Conjecture not found
% 1.53/1.21 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.59/1.23 Conjecture not found
% 1.77/1.33 Conjecture not found
% 1.77/1.35 Conjecture not found
% 1.77/1.36 Conjecture not found
% 1.77/1.37 Conjecture not found
% 1.77/1.37 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.38 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.45 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.04/1.50 Conjecture not found
% 2.10/1.52 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.56 Conjecture not found
% 2.13/1.57 Conjecture not found
% 2.13/1.60 Conjecture not found
% 2.13/1.61 Conjecture not found
% 2.29/1.63 Conjecture not found
% 2.29/1.64 Conjecture not found
% 2.29/1.65 Conjecture not found
% 2.29/1.68 Conjecture not found
% 2.42/1.74 Conjecture not found
% 2.58/1.79 Conjecture not found
% 2.58/1.80 Conjecture not found
% 2.63/1.82 Conjecture not found
% 2.63/1.85 Conjecture not found
% 2.63/1.88 Conjecture not found
% 2.63/1.90 Conjecture not found
% 2.76/1.92 Conjecture not found
% 2.91/2.01 Conjecture not found
% 2.91/2.05 Conjecture not found
% 2.91/2.07 Conjecture not found
% 3.08/2.08 Conjecture not found
% 3.09/2.10 Conjecture not found
% 3.11/2.12 Conjecture not found
% 3.41/2.31 Conjecture not found
% 3.41/2.34 Conjecture not found
% 3.41/2.36 Conjecture not found
% 3.59/2.45 Conjecture not found
% 3.59/2.46 Conjecture not found
% 3.59/2.47 Conjecture not found
% 3.77/2.50 Conjecture not found
% 3.77/2.54 Conjecture not found
% 3.96/2.60 Conjecture not found
% 3.96/2.67 Conjecture not found
% 4.16/2.73 Conjecture not found
% 4.16/2.79 Conjecture not found
% 4.30/2.80 Conjecture not found
% 4.30/2.84 Conjecture not found
% 4.30/2.84 Conjecture not found
% 4.30/2.88 Conjecture not found
% 4.45/2.91 Conjecture not found
% 4.45/2.93 Conjecture not found
% 4.45/2.94 Conjecture not found
% 4.68/3.02 Conjecture not found
% 4.68/3.03 Conjecture not found
% 4.68/3.07 Conjecture not found
% 4.84/3.14 Conjecture not found
% 4.97/3.24 Conjecture not found
% 5.33/3.39 Conjecture not found
% 5.67/3.65 Conjecture not found
% 6.29/3.97 Conjecture not found
% 6.29/3.98 Conjecture not found
% 6.42/3.99 Conjecture not found
% 6.57/4.11 Conjecture not found
% 6.68/4.15 Conjecture not found
% 6.68/4.19 Conjecture not found
% 6.83/4.24 Conjecture not found
% 6.95/4.29 Conjecture not found
% 6.95/4.36 Conjecture not found
% 7.13/4.40 Conjecture not found
% 7.13/4.43 Conjecture not found
% 7.23/4.44 Conjecture not found
% 7.23/4.47 Conjecture not found
% 7.23/4.48 Conjecture not found
% 7.43/4.57 Conjecture not found
% 7.60/4.66 Conjecture not found
% 7.63/4.72 Conjecture not found
% 7.79/4.84 Conjecture not found
% 7.79/4.86 Conjecture not found
% 7.96/4.89 Conjecture not found
% 7.96/4.91 Conjecture not found
% 7.96/4.92 Conjecture not found
% 7.96/4.95 Conjecture not found
% 7.96/4.98 Conjecture not found
% 8.13/4.99 Conjecture not found
% 8.18/5.04 Conjecture not found
% 8.18/5.04 Conjecture not found
% 8.18/5.05 Conjecture not found
% 8.18/5.07 Conjecture not found
% 8.18/5.10 Conjecture not found
% 8.34/5.11 Conjecture not found
% 8.34/5.16 Conjecture not found
% 8.48/5.20 Conjecture not found
% 8.71/5.40 Conjecture not found
% 8.88/5.44 Conjecture not found
% 8.88/5.45 Conjecture not found
% 8.88/5.46 Conjecture not found
% 8.88/5.49 Conjecture not found
% 9.05/5.52 Conjecture not found
% 9.13/5.58 Conjecture not found
% 9.13/5.59 Conjecture not found
% 9.26/5.62 Conjecture not found
% 9.26/5.64 Conjecture not found
% 9.36/5.70 Conjecture not found
% 10.22/6.21 Conjecture not found
% 11.14/6.74 Conjecture not found
% 11.25/6.84 Conjecture not found
% 11.25/6.88 Conjecture not found
% 11.25/6.89 Conjecture not found
% 11.25/6.91 Conjecture not found
% 11.46/6.97 Conjecture not found
% 11.46/6.99 Conjecture not found
% 11.59/7.01 Conjecture not found
% 11.59/7.04 Conjecture not found
% 11.68/7.10 Conjecture not found
% 11.80/7.15 Conjecture not found
% 11.80/7.18 Conjecture not found
% 11.80/7.19 Conjecture not found
% 11.99/7.23 Conjecture not found
% 11.99/7.28 Conjecture not found
% 12.06/7.30 Conjecture not found
% 12.06/7.34 Conjecture not found
% 12.24/7.38 Conjecture not found
% 12.26/7.39 Conjecture not found
% 12.26/7.41 Conjecture not found
% 12.41/7.45 Conjecture not found
% 12.41/7.48 Conjecture not found
% 12.48/7.52 Conjecture not found
% 12.48/7.56 Conjecture not found
% 12.60/7.58 Conjecture not found
% 12.71/7.65 Conjecture not found
% 12.74/7.71 Conjecture not found
% 12.91/7.74 Conjecture not found
% 12.94/7.76 Conjecture not found
% 12.94/7.79 Conjecture not found
% 12.94/7.80 Conjecture not found
% 12.94/7.82 Conjecture not found
% 13.01/7.83 Conjecture not found
% 13.01/7.85 Conjecture not found
% 13.15/7.88 Conjecture not found
% 13.15/7.89 Conjecture not found
% 13.15/7.94 Conjecture not found
% 13.27/7.97 Conjecture not found
% 13.30/8.01 Conjecture not found
% 13.48/8.06 Conjecture not found
% 13.48/8.08 Conjecture not found
% 13.48/8.10 Conjecture not found
% 13.53/8.12 Conjecture not found
% 13.53/8.14 Conjecture not found
% 13.61/8.20 Conjecture not found
% 13.61/8.22 Conjecture not found
% 13.80/8.25 Conjecture not found
% 13.80/8.27 Conjecture not found
% 13.80/8.29 Conjecture not found
% 13.84/8.33 Conjecture not found
% 14.02/8.34 Conjecture not found
% 14.03/8.37 Conjecture not found
% 14.08/8.41 Conjecture not found
% 14.08/8.42 Conjecture not found
% 14.08/8.44 Conjecture not found
% 14.08/8.45 Conjecture not found
% 14.08/8.46 Conjecture not found
% 14.08/8.47 Conjecture not found
% 14.15/8.47 Conjecture not found
% 14.15/8.47 Conjecture not found
% 14.15/8.53 Conjecture not found
% 14.42/8.62 Conjecture not found
% 14.58/8.64 Conjecture not found
% 14.58/8.67 Conjecture not found
% 14.58/8.70 Conjecture not found
% 14.58/8.72 Conjecture not found
% 14.67/8.74 Conjecture not found
% 14.67/8.76 Conjecture not found
% 14.67/8.78 Conjecture not found
% 14.73/8.83 Conjecture not found
% 14.92/8.86 Conjecture not found
% 14.93/8.88 Conjecture not found
% 14.98/8.92 Conjecture not found
% 15.24/9.05 Conjecture not found
% 15.47/9.14 Conjecture not found
% 15.55/9.19 Conjecture not found
% 15.55/9.19 Conjecture not found
% 15.57/9.22 Conjecture not found
% 15.68/9.28 Conjecture not found
% 15.82/9.32 Conjecture not found
% 15.82/9.34 Conjecture not found
% 16.03/9.42 Conjecture not found
% 16.14/9.49 Conjecture not found
% 16.18/9.53 Conjecture not found
% 16.18/9.58 Conjecture not found
% 16.43/9.65 Conjecture not found
% 16.43/9.67 Conjecture not found
% 16.62/9.73 Conjecture not found
% 16.62/9.78 Conjecture not found
% 16.76/9.85 Conjecture not found
% 16.89/9.97 Conjecture not found
% 17.09/9.99 Conjecture not found
% 17.13/10.02 Conjecture not found
% 17.13/10.03 Conjecture not found
% 17.13/10.05 Conjecture not found
% 17.37/10.17 Conjecture not found
% 17.46/10.24 Conjecture not found
% 17.46/10.25 Conjecture not found
% 17.72/10.29 Conjecture not found
% 18.17/10.58 Conjecture not found
% 18.26/10.64 Conjecture not found
% 18.26/10.70 Conjecture not found
% 18.48/10.72 Conjecture not found
% 18.48/10.73 Conjecture not found
% 18.48/10.74 Conjecture not found
% 18.54/10.79 Conjecture not found
% 18.82/10.89 Conjecture not found
% 18.89/10.97 Conjecture not found
% 18.89/11.02 Conjecture not found
% 19.16/11.04 Conjecture not found
% 19.21/11.13 Conjecture not found
% 19.45/11.20 Conjecture not found
% 19.57/11.25 Conjecture not found
% 19.57/11.29 Conjecture not found
% 19.57/11.32 Conjecture not found
% 19.65/11.33 Conjecture not found
% 19.65/11.38 Conjecture not found
% 19.88/11.38 Conjecture not found
% 19.88/11.40 Conjecture not found
% 19.88/11.43 Conjecture not found
% 19.88/11.46 Conjecture not found
% 19.96/11.47 Conjecture not found
% 19.98/11.49 Conjecture not found
% 20.22/11.55 Conjecture not found
% 20.22/11.55 Conjecture not found
% 20.22/11.57 Conjecture not found
% 20.22/11.58 Conjecture not found
% 20.51/11.71 Conjecture not found
% 20.51/11.73 Conjecture not found
% 20.59/11.78 Conjecture not found
% 20.63/11.78 Conjecture not found
% 20.63/11.78 Conjecture not found
% 20.63/11.79 Conjecture not found
% 20.63/11.80 Conjecture not found
% 20.71/11.86 Conjecture not found
% 20.71/11.88 Conjecture not found
% 20.71/11.90 Conjecture not found
% 21.01/11.99 Conjecture not found
% 21.01/12.04 Conjecture not found
% 21.37/12.16 Conjecture not found
% 21.37/12.18 Conjecture not found
% 21.47/12.29 Conjecture not found
% 21.87/12.46 Conjecture not found
% 21.87/12.48 Conjecture not found
% 21.87/12.52 Conjecture not found
% 21.97/12.53 Conjecture not found
% 21.97/12.54 Conjecture not found
% 22.25/12.68 Conjecture not found
% 22.35/12.75 Conjecture not found
% 22.35/12.79 Conjecture not found
% 22.58/12.83 Conjecture not found
% 22.73/12.95 Conjecture not found
% 22.73/12.98 Conjecture not found
% 22.82/12.99 Conjecture not found
% 22.85/13.07 Conjecture not found
% 23.17/13.13 Conjecture not found
% 23.17/13.14 Conjecture not found
% 23.17/13.17 Conjecture not found
% 23.26/13.24 Conjecture not found
% 23.26/13.28 Conjecture not found
% 23.57/13.30 Conjecture not found
% 23.57/13.36 Conjecture not found
% 23.65/13.40 Conjecture not found
% 23.65/13.40 Conjecture not found
% 23.65/13.44 Conjecture not found
% 23.99/13.52 Conjecture not found
% 23.99/13.55 Conjecture not found
% 23.99/13.59 Conjecture not found
% 24.08/13.64 Conjecture not found
% 24.08/13.65 Conjecture not found
% 24.22/13.74 Conjecture not found
% 24.52/13.82 Conjecture not found
% 24.59/13.92 Conjecture not found
% 24.59/13.95 Conjecture not found
% 24.91/14.04 Conjecture not found
% 24.91/14.06 Conjecture not found
% 25.01/14.07 Conjecture not found
% 25.01/14.07 Conjecture not found
% 25.01/14.08 Conjecture not found
% 25.03/14.10 Conjecture not found
% 25.03/14.11 Conjecture not found
% 25.37/14.21 Conjecture not found
% 25.44/14.29 Conjecture not found
% 25.44/14.34 Conjecture not found
% 25.44/14.36 Conjecture not found
% 25.44/14.36 Conjecture not found
% 25.68/14.43 Conjecture not found
% 25.85/14.45 Conjecture not found
% 25.85/14.46 Conjecture not found
% 25.93/14.53 Conjecture not found
% 25.93/14.54 Conjecture not found
% 25.99/14.58 Conjecture not found
% 26.22/14.66 Conjecture not found
% 26.33/14.70 Conjecture not found
% 26.41/14.75 Conjecture not found
% 26.89/14.98 Conjecture not found
% 26.96/15.04 Conjecture not found
% 26.97/15.06 Conjecture not found
% 27.34/15.17 Conjecture not found
% 27.34/15.20 Conjecture not found
% 27.34/15.24 Conjecture not found
% 27.42/15.27 Conjecture not found
% 27.52/15.35 Conjecture not found
% 27.52/15.41 Conjecture not found
% 27.83/15.42 Conjecture not found
% 27.83/15.46 Conjecture not found
% 27.90/15.50 Conjecture not found
% 27.90/15.54 Conjecture not found
% 28.01/15.60 Conjecture not found
% 28.01/15.61 Conjecture not found
% 28.01/15.62 Conjecture not found
% 28.01/15.62 Conjecture not found
% 28.16/15.68 Conjecture not found
% 28.16/15.70 Conjecture not found
% 28.46/15.77 Conjecture not found
% 28.55/15.85 Conjecture not found
% 28.90/15.93 Conjecture not found
% 28.91/15.97 Conjecture not found
% 28.91/15.99 Conjecture not found
% 28.91/16.00 Conjecture not found
% 29.00/16.05 Conjecture not found
% 29.00/16.07 Conjecture not found
% 29.00/16.07 Conjecture not found
% 29.06/16.10 Conjecture not found
% 29.06/16.13 Conjecture not found
% 29.43/16.19 Conjecture not found
% 29.46/16.22 Conjecture not found
% 29.48/16.24 Conjecture not found
% 29.57/16.32 Conjecture not found
% 29.57/16.34 Conjecture not found
% 29.57/16.35 Conjecture not found
% 29.83/16.47 Conjecture not found
% 30.00/16.49 Conjecture not found
% 30.03/16.53 Conjecture not found
% 30.06/16.55 Conjecture not found
% 30.06/16.57 Conjecture not found
% 30.06/16.58 Conjecture not found
% 30.06/16.61 Conjecture not found
% 30.06/16.62 Conjecture not found
% 30.56/16.77 Conjecture not found
% 30.56/16.78 Conjecture not found
% 30.56/16.79 Conjecture not found
% 30.56/16.83 Conjecture not found
% 30.56/16.86 Conjecture not found
% 30.66/16.88 Conjecture not found
% 30.68/16.90 Conjecture not found
% 30.90/16.95 Conjecture not found
% 30.90/16.98 Conjecture not found
% 31.09/17.02 Conjecture not found
% 31.09/17.05 Conjecture not found
% 31.16/17.08 Conjecture not found
% 31.16/17.10 Conjecture not found
% 31.16/17.11 Conjecture not found
% 31.16/17.12 Conjecture not found
% 31.16/17.15 Conjecture not found
% 31.59/17.21 Conjecture not found
% 31.59/17.23 Conjecture not found
% 31.63/17.26 Conjecture not found
% 31.63/17.26 Conjecture not found
% 31.63/17.30 Conjecture not found
% 31.69/17.34 Conjecture not found
% 31.69/17.35 Conjecture not found
% 31.74/17.39 Conjecture not found
% 31.74/17.44 Conjecture not found
% 32.14/17.47 Conjecture not found
% 32.14/17.48 Conjecture not found
% 32.18/17.50 Conjecture not found
% 32.18/17.54 Conjecture not found
% 32.24/17.56 Conjecture not found
% 32.24/17.57 Conjecture not found
% 32.29/17.62 Conjecture not found
% 32.36/17.70 Conjecture not found
% 32.80/17.83 Conjecture not found
% 32.80/17.85 Conjecture not found
% 32.85/17.89 Conjecture not found
% 32.94/17.98 Conjecture not found
% 33.42/18.11 Conjecture not found
% 33.42/18.15 Conjecture not found
% 33.47/18.21 Conjecture not found
% 33.47/18.23 Conjecture not found
% 33.47/18.23 Conjecture not found
% 33.47/18.24 Conjecture not found
% 33.56/18.25 Conjecture not found
% 33.56/18.27 Conjecture not found
% 33.71/18.33 Conjecture not found
% 33.71/18.34 Conjecture not found
% 33.99/18.38 Conjecture not found
% 33.99/18.40 Conjecture not found
% 34.05/18.44 Conjecture not found
% 34.08/18.51 Conjecture not found
% 34.15/18.53 Conjecture not found
% 34.15/18.57 Conjecture not found
% 34.19/18.58 Conjecture not found
% 34.19/18.62 Conjecture not found
% 34.62/18.72 Conjecture not found
% 34.71/18.81 Conjecture not found
% 34.78/18.84 Conjecture not found
% 34.78/18.86 Conjecture not found
% 34.97/19.00 Conjecture not found
% 35.35/19.08 Conjecture not found
% 35.35/19.11 Conjecture not found
% 35.42/19.14 Conjecture not found
% 35.42/19.16 Conjecture not found
% 35.47/19.21 Conjecture not found
% 35.47/19.23 Conjecture not found
% 35.47/19.24 Conjecture not found
% 35.55/19.27 Conjecture not found
% 35.58/19.29 Conjecture not found
% 35.78/19.33 Conjecture not found
% 35.94/19.37 Conjecture not found
% 35.94/19.39 Conjecture not found
% 36.08/19.44 Conjecture not found
% 36.08/19.48 Conjecture not found
% 36.14/19.53 Conjecture not found
% 36.22/19.58 Conjecture not found
% 36.71/19.73 Conjecture not found
% 36.71/19.74 Conjecture not found
% 36.71/19.77 Conjecture not found
% 36.71/19.78 Conjecture not found
% 36.79/19.80 Conjecture not found
% 36.79/19.81 Conjecture not found
% 36.79/19.82 Conjecture not found
% 36.88/19.90 Conjecture not found
% 36.91/19.92 Conjecture not found
% 36.91/19.94 Conjecture not found
% 36.94/19.97 Conjecture not found
% 36.94/20.00 Conjecture not found
% 37.38/20.05 Conjecture not found
% 37.38/20.10 Conjecture not found
% 37.46/20.12 Conjecture not found
% 37.46/20.14 Conjecture not found
% 37.52/20.18 Conjecture not found
% 37.52/20.21 Conjecture not found
% 37.52/20.25 Conjecture not found
% 37.52/20.26 Conjecture not found
% 37.62/20.27 Conjecture not found
% 37.62/20.29 Conjecture not found
% 37.69/20.34 Conjecture not found
% 38.07/20.44 Conjecture not found
% 38.19/20.47 Conjecture not found
% 38.19/20.51 Conjecture not found
% 38.19/20.54 Conjecture not found
% 38.19/20.54 Conjecture not found
% 38.29/20.56 Conjecture not found
% 38.33/20.62 Conjecture not found
% 38.78/20.70 Conjecture not found
% 38.78/20.74 Conjecture not found
% 38.83/20.77 Conjecture not found
% 38.83/20.80 Conjecture not found
% 38.83/20.84 Conjecture not found
% 38.92/20.87 Conjecture not found
% 38.97/20.89 Conjecture not found
% 38.97/20.93 Conjecture not found
% 39.03/20.96 Conjecture not found
% 39.03/20.98 Conjecture not found
% 39.03/21.00 Conjecture not found
% 39.08/21.03 Conjecture not found
% 39.40/21.06 Conjecture not found
% 39.40/21.12 Conjecture not found
% 39.40/21.16 Conjecture not found
% 39.65/21.20 Conjecture not found
% 39.70/21.21 Conjecture not found
% 39.70/21.25 Conjecture not found
% 39.76/21.29 Conjecture not found
% 39.76/21.31 Conjecture not found
% 39.76/21.33 Conjecture not found
% 39.94/21.37 Conjecture not found
% 39.94/21.38 Conjecture not found
% 40.22/21.41 Conjecture not found
% 40.35/21.48 Conjecture not found
% 40.35/21.49 Conjecture not found
% 40.35/21.52 Conjecture not found
% 40.45/21.56 Conjecture not found
% 40.45/21.56 Conjecture not found
% 40.51/21.63 Conjecture not found
% 40.51/21.65 Conjecture not found
% 40.58/21.66 Conjecture not found
% 40.58/21.68 Conjecture not found
% 40.58/21.72 Conjecture not found
% 40.58/21.73 Conjecture not found
% 40.68/21.76 Conjecture not found
% 40.84/21.82 Conjecture not found
% 41.17/21.86 Conjecture not found
% 41.17/21.91 Conjecture not found
% 41.29/21.96 Conjecture not found
% 41.35/22.06 Conjecture not found
% 41.41/22.07 Conjecture not found
% 41.41/22.09 Conjecture not found
% 41.41/22.10 Conjecture not found
% 41.67/22.20 Conjecture not found
% 41.67/22.22 Conjecture not found
% 42.05/22.27 Conjecture not found
% 42.05/22.31 Conjecture not found
% 42.18/22.38 Conjecture not found
% 42.18/22.42 Conjecture not found
% 42.32/22.55 Conjecture not found
% 42.54/22.57 Conjecture not found
% 42.92/22.67 Conjecture not found
% 42.92/22.68 Conjecture not found
% 42.92/22.69 Conjecture not found
% 42.92/22.69 Conjecture not found
% 43.01/22.73 Conjecture not found
% 43.01/22.77 Conjecture not found
% 43.07/22.79 Conjecture not found
% 43.07/22.81 Conjecture not found
% 43.07/22.84 Conjecture not found
% 43.19/22.91 Conjecture not found
% 43.19/22.92 Conjecture not found
% 43.22/22.94 Conjecture not found
% 43.22/23.03 Conjecture not found
% 43.71/23.08 Conjecture not found
% 43.81/23.15 Conjecture not found
% 43.88/23.19 Conjecture not found
% 43.88/23.22 Conjecture not found
% 43.88/23.25 Conjecture not found
% 44.02/23.34 Conjecture not found
% 44.02/23.38 Conjecture not found
% 44.11/23.41 Conjecture not found
% 44.11/23.46 Conjecture not found
% 44.54/23.54 Conjecture not found
% 44.54/23.55 Conjecture not found
% 44.71/23.57 Conjecture not found
% 44.73/23.59 Conjecture not found
% 44.78/23.69 Conjecture not found
% 44.86/23.72 Conjecture not found
% 44.86/23.74 Conjecture not found
% 44.86/23.77 Conjecture not found
% 44.92/23.78 Conjecture not found
% 44.92/23.81 Conjecture not found
% 44.92/23.84 Conjecture not found
% 44.92/23.85 Conjecture not found
% 45.00/23.86 Conjecture not found
% 45.02/23.90 Conjecture not found
% 45.46/23.95 Conjecture not found
% 45.46/23.98 Conjecture not found
% 45.46/24.00 Conjecture not found
% 45.46/24.01 Conjecture not found
% 45.64/24.03 Conjecture not found
% 45.64/24.04 Conjecture not found
% 45.64/24.05 Conjecture not found
% 45.70/24.10 Conjecture not found
% 45.70/24.11 Conjecture not found
% 45.70/24.11 Conjecture not found
% 45.70/24.12 Conjecture not found
% 45.70/24.13 Conjecture not found
% 45.70/24.15 Conjecture not found
% 45.78/24.16 Conjecture not found
% 45.78/24.18 Conjecture not found
% 45.78/24.19 Conjecture not found
% 45.82/24.21 Conjecture not found
% 46.13/24.30 Conjecture not found
% 46.42/24.32 Conjecture not found
% 46.42/24.34 Conjecture not found
% 46.46/24.36 Conjecture not found
% 46.46/24.41 Conjecture not found
% 46.46/24.42 Conjecture not found
% 46.58/24.49 Conjecture not found
% 46.58/24.49 Conjecture not found
% 46.58/24.50 Conjecture not found
% 46.66/24.62 Conjecture not found
% 46.72/24.63 Conjecture not found
% 46.80/24.66 Conjecture not found
% 46.80/24.69 Conjecture not found
% 47.32/24.77 Conjecture not found
% 47.37/24.80 Conjecture not found
% 47.37/24.83 Conjecture not found
% 47.43/24.86 Conjecture not found
% 47.43/24.89 Conjecture not found
% 47.53/24.97 Conjecture not found
% 47.53/24.97 Conjecture not found
% 47.95/25.08 Conjecture not found
% 47.95/25.11 Conjecture not found
% 48.18/25.14 Conjecture not found
% 48.18/25.15 Conjecture not found
% 48.18/25.16 Conjecture not found
% 48.18/25.17 Conjecture not found
% 48.24/25.20 Conjecture not found
% 48.24/25.22 Conjecture not found
% 48.24/25.23 Conjecture not found
% 48.24/25.25 Conjecture not found
% 48.31/25.28 Conjecture not found
% 48.31/25.29 Conjecture not found
% 48.35/25.33 Conjecture not found
% 48.35/25.35 Conjecture not found
% 48.41/25.43 Conjecture not found
% 48.51/25.46 Conjecture not found
% 48.76/25.52 Conjecture not found
% 49.08/25.61 Conjecture not found
% 49.08/25.64 Conjecture not found
% 49.23/25.69 Conjecture not found
% 49.23/25.71 Conjecture not found
% 49.23/25.72 Conjecture not found
% 49.29/25.76 Conjecture not found
% 49.35/25.84 Conjecture not found
% 50.31/26.23 Conjecture not found
% 50.31/26.25 Conjecture not found
% 50.31/26.29 Conjecture not found
% 50.37/26.32 Conjecture not found
% 50.37/26.33 Conjecture not found
% 50.37/26.35 Conjecture not found
% 50.44/26.36 Conjecture not found
% 50.45/26.37 Conjecture not found
% 50.45/26.39 Conjecture not found
% 50.52/26.42 Conjecture not found
% 50.61/26.47 Conjecture not found
% 51.14/26.60 Conjecture not found
% 51.21/26.71 Conjecture not found
% 51.31/26.78 Conjecture not found
% 51.34/26.82 Conjecture not found
% 51.37/26.86 Conjecture not found
% 51.37/26.88 Conjecture not found
% 51.37/26.89 Conjecture not found
% 51.44/26.94 Conjecture not found
% 51.44/26.95 Start search
% 107.65/41.12 nb_step : 1 - limit : 124961
% 109.02/41.67 Launch Gotab with destructive = true
%------------------------------------------------------------------------------