TSTP Solution File: TOP045+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : TOP045+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n010.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri Sep 30 01:49:49 EDT 2022
% Result : Timeout 300.04s 90.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : TOP045+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n010.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 : Mon Aug 29 11:29:23 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.000041s][1][MAIN] Problem : theBenchmark.p
% 0.11/0.37 Conjecture not found
% 0.11/0.37 Conjecture not found
% 0.11/0.38 Conjecture not found
% 0.11/0.38 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.46/0.53 Conjecture not found
% 0.48/0.54 Conjecture not found
% 0.48/0.55 Conjecture not found
% 0.48/0.55 Conjecture not found
% 0.48/0.58 Conjecture not found
% 0.48/0.59 Conjecture not found
% 0.63/0.64 Conjecture not found
% 0.75/0.71 Conjecture not found
% 0.75/0.71 Conjecture not found
% 0.90/0.79 Conjecture not found
% 1.04/0.84 Conjecture not found
% 1.04/0.92 Conjecture not found
% 1.20/0.95 Conjecture not found
% 1.30/1.02 Conjecture not found
% 1.43/1.06 Conjecture not found
% 1.46/1.11 Conjecture not found
% 1.54/1.13 Conjecture not found
% 1.61/1.16 Conjecture not found
% 1.61/1.17 Conjecture not found
% 1.61/1.18 Conjecture not found
% 1.61/1.18 Conjecture not found
% 1.61/1.19 Conjecture not found
% 1.85/1.27 Conjecture not found
% 1.85/1.29 Conjecture not found
% 1.85/1.29 Conjecture not found
% 1.85/1.31 Conjecture not found
% 1.85/1.31 Conjecture not found
% 1.85/1.32 Conjecture not found
% 1.85/1.32 Conjecture not found
% 1.85/1.32 Conjecture not found
% 1.85/1.32 Conjecture not found
% 2.01/1.37 Conjecture not found
% 2.11/1.42 Conjecture not found
% 2.11/1.42 Conjecture not found
% 2.11/1.43 Conjecture not found
% 2.11/1.44 Conjecture not found
% 2.17/1.46 Conjecture not found
% 2.17/1.47 Conjecture not found
% 2.17/1.49 Conjecture not found
% 2.17/1.51 Conjecture not found
% 2.30/1.53 Conjecture not found
% 2.30/1.55 Conjecture not found
% 2.30/1.55 Conjecture not found
% 2.30/1.56 Conjecture not found
% 2.40/1.59 Conjecture not found
% 2.40/1.66 Conjecture not found
% 2.57/1.70 Conjecture not found
% 2.57/1.71 Conjecture not found
% 2.57/1.72 Conjecture not found
% 2.70/1.75 Conjecture not found
% 2.70/1.78 Conjecture not found
% 2.70/1.80 Conjecture not found
% 2.80/1.82 Conjecture not found
% 2.88/1.91 Conjecture not found
% 3.04/1.94 Conjecture not found
% 3.04/1.96 Conjecture not found
% 3.04/1.97 Conjecture not found
% 3.12/1.99 Conjecture not found
% 3.12/2.01 Conjecture not found
% 3.44/2.19 Conjecture not found
% 3.44/2.22 Conjecture not found
% 3.44/2.24 Conjecture not found
% 3.70/2.33 Conjecture not found
% 3.74/2.35 Conjecture not found
% 3.74/2.37 Conjecture not found
% 3.74/2.38 Conjecture not found
% 3.84/2.41 Conjecture not found
% 3.97/2.48 Conjecture not found
% 3.97/2.55 Conjecture not found
% 4.24/2.63 Conjecture not found
% 4.28/2.68 Conjecture not found
% 4.28/2.70 Conjecture not found
% 4.49/2.74 Conjecture not found
% 4.49/2.74 Conjecture not found
% 4.49/2.78 Conjecture not found
% 4.49/2.80 Conjecture not found
% 4.62/2.83 Conjecture not found
% 4.62/2.84 Conjecture not found
% 4.75/2.92 Conjecture not found
% 4.75/2.93 Conjecture not found
% 4.75/2.97 Conjecture not found
% 4.96/3.04 Conjecture not found
% 5.17/3.13 Conjecture not found
% 5.45/3.29 Conjecture not found
% 5.71/3.50 Conjecture not found
% 6.46/3.80 Conjecture not found
% 6.48/3.82 Conjecture not found
% 6.48/3.83 Conjecture not found
% 6.64/3.94 Conjecture not found
% 6.64/3.96 Conjecture not found
% 6.79/4.00 Conjecture not found
% 6.79/4.07 Conjecture not found
% 7.02/4.12 Conjecture not found
% 7.03/4.19 Conjecture not found
% 7.21/4.23 Conjecture not found
% 7.21/4.26 Conjecture not found
% 7.21/4.27 Conjecture not found
% 7.35/4.31 Conjecture not found
% 7.35/4.32 Conjecture not found
% 7.47/4.39 Conjecture not found
% 7.56/4.48 Conjecture not found
% 7.56/4.52 Conjecture not found
% 7.88/4.63 Conjecture not found
% 7.88/4.65 Conjecture not found
% 8.02/4.68 Conjecture not found
% 8.04/4.69 Conjecture not found
% 8.04/4.71 Conjecture not found
% 8.15/4.74 Conjecture not found
% 8.19/4.76 Conjecture not found
% 8.19/4.78 Conjecture not found
% 8.19/4.81 Conjecture not found
% 8.19/4.81 Conjecture not found
% 8.19/4.82 Conjecture not found
% 8.35/4.84 Conjecture not found
% 8.35/4.86 Conjecture not found
% 8.35/4.88 Conjecture not found
% 8.40/4.92 Conjecture not found
% 8.56/4.97 Conjecture not found
% 8.81/5.16 Conjecture not found
% 8.95/5.18 Conjecture not found
% 8.95/5.19 Conjecture not found
% 8.95/5.20 Conjecture not found
% 8.95/5.23 Conjecture not found
% 9.12/5.26 Conjecture not found
% 9.14/5.31 Conjecture not found
% 9.14/5.32 Conjecture not found
% 9.30/5.35 Conjecture not found
% 9.30/5.37 Conjecture not found
% 9.37/5.44 Conjecture not found
% 10.27/5.99 Conjecture not found
% 11.24/6.49 Conjecture not found
% 11.48/6.64 Conjecture not found
% 11.64/6.70 Conjecture not found
% 11.70/6.72 Conjecture not found
% 11.70/6.73 Conjecture not found
% 11.70/6.76 Conjecture not found
% 11.70/6.77 Conjecture not found
% 11.70/6.78 Conjecture not found
% 11.89/6.84 Conjecture not found
% 11.89/6.89 Conjecture not found
% 11.98/6.94 Conjecture not found
% 11.98/6.97 Conjecture not found
% 11.98/6.98 Conjecture not found
% 12.16/7.02 Conjecture not found
% 12.16/7.07 Conjecture not found
% 12.38/7.12 Conjecture not found
% 12.38/7.17 Conjecture not found
% 12.59/7.24 Conjecture not found
% 12.59/7.26 Conjecture not found
% 12.59/7.28 Conjecture not found
% 12.59/7.30 Conjecture not found
% 12.68/7.33 Conjecture not found
% 12.68/7.39 Conjecture not found
% 12.86/7.43 Conjecture not found
% 12.86/7.45 Conjecture not found
% 12.94/7.51 Conjecture not found
% 12.94/7.56 Conjecture not found
% 13.14/7.59 Conjecture not found
% 13.15/7.60 Conjecture not found
% 13.17/7.62 Conjecture not found
% 13.17/7.63 Conjecture not found
% 13.17/7.66 Conjecture not found
% 13.17/7.68 Conjecture not found
% 13.17/7.70 Conjecture not found
% 13.38/7.71 Conjecture not found
% 13.38/7.72 Conjecture not found
% 13.38/7.77 Conjecture not found
% 13.57/7.79 Conjecture not found
% 13.57/7.83 Conjecture not found
% 13.57/7.86 Conjecture not found
% 13.57/7.88 Conjecture not found
% 13.66/7.89 Conjecture not found
% 13.69/7.92 Conjecture not found
% 13.75/7.96 Conjecture not found
% 13.75/7.99 Conjecture not found
% 13.87/8.01 Conjecture not found
% 13.87/8.05 Conjecture not found
% 13.94/8.08 Conjecture not found
% 13.94/8.10 Conjecture not found
% 13.94/8.15 Conjecture not found
% 13.94/8.16 Conjecture not found
% 14.16/8.19 Conjecture not found
% 14.22/8.23 Conjecture not found
% 14.22/8.24 Conjecture not found
% 14.22/8.26 Conjecture not found
% 14.22/8.27 Conjecture not found
% 14.22/8.29 Conjecture not found
% 14.37/8.30 Conjecture not found
% 14.37/8.31 Conjecture not found
% 14.37/8.31 Conjecture not found
% 14.37/8.34 Conjecture not found
% 14.47/8.39 Conjecture not found
% 14.47/8.40 Conjecture not found
% 14.47/8.43 Conjecture not found
% 14.47/8.46 Conjecture not found
% 14.47/8.48 Conjecture not found
% 14.71/8.51 Conjecture not found
% 14.74/8.53 Conjecture not found
% 14.77/8.55 Conjecture not found
% 14.77/8.61 Conjecture not found
% 14.99/8.66 Conjecture not found
% 15.04/8.70 Conjecture not found
% 15.04/8.73 Conjecture not found
% 15.35/8.84 Conjecture not found
% 15.57/8.94 Conjecture not found
% 15.57/8.97 Conjecture not found
% 15.57/8.98 Conjecture not found
% 15.63/9.01 Conjecture not found
% 15.63/9.03 Conjecture not found
% 15.63/9.06 Conjecture not found
% 15.63/9.07 Conjecture not found
% 16.05/9.13 Conjecture not found
% 16.06/9.21 Conjecture not found
% 16.14/9.25 Conjecture not found
% 16.33/9.30 Conjecture not found
% 16.33/9.34 Conjecture not found
% 16.33/9.35 Conjecture not found
% 16.42/9.38 Conjecture not found
% 16.63/9.44 Conjecture not found
% 16.63/9.50 Conjecture not found
% 16.94/9.62 Conjecture not found
% 16.94/9.64 Conjecture not found
% 16.94/9.67 Conjecture not found
% 17.03/9.68 Conjecture not found
% 17.05/9.70 Conjecture not found
% 17.30/9.83 Conjecture not found
% 17.37/9.91 Conjecture not found
% 17.37/9.92 Conjecture not found
% 17.37/9.95 Conjecture not found
% 18.00/10.23 Conjecture not found
% 18.07/10.29 Conjecture not found
% 18.11/10.32 Conjecture not found
% 18.11/10.35 Conjecture not found
% 18.11/10.37 Conjecture not found
% 18.11/10.38 Conjecture not found
% 18.37/10.46 Conjecture not found
% 18.46/10.54 Conjecture not found
% 18.73/10.63 Conjecture not found
% 18.73/10.68 Conjecture not found
% 18.73/10.70 Conjecture not found
% 19.11/10.83 Conjecture not found
% 19.11/10.88 Conjecture not found
% 19.19/10.94 Conjecture not found
% 19.47/11.00 Conjecture not found
% 19.48/11.05 Conjecture not found
% 19.48/11.06 Conjecture not found
% 19.48/11.09 Conjecture not found
% 19.48/11.10 Conjecture not found
% 19.58/11.11 Conjecture not found
% 19.58/11.15 Conjecture not found
% 19.85/11.20 Conjecture not found
% 19.85/11.23 Conjecture not found
% 19.85/11.26 Conjecture not found
% 19.96/11.32 Conjecture not found
% 19.96/11.32 Conjecture not found
% 19.98/11.36 Conjecture not found
% 19.98/11.39 Conjecture not found
% 20.32/11.53 Conjecture not found
% 20.32/11.54 Conjecture not found
% 20.40/11.58 Conjecture not found
% 20.40/11.59 Conjecture not found
% 20.60/11.60 Conjecture not found
% 20.60/11.60 Conjecture not found
% 20.60/11.61 Conjecture not found
% 20.64/11.66 Conjecture not found
% 20.64/11.67 Conjecture not found
% 20.64/11.68 Conjecture not found
% 20.74/11.76 Conjecture not found
% 21.01/11.85 Conjecture not found
% 21.12/11.91 Conjecture not found
% 21.12/11.93 Conjecture not found
% 21.44/12.08 Conjecture not found
% 21.83/12.23 Conjecture not found
% 21.83/12.26 Conjecture not found
% 21.83/12.30 Conjecture not found
% 21.83/12.32 Conjecture not found
% 21.92/12.33 Conjecture not found
% 22.04/12.46 Conjecture not found
% 22.25/12.51 Conjecture not found
% 22.30/12.55 Conjecture not found
% 22.30/12.57 Conjecture not found
% 22.48/12.68 Conjecture not found
% 22.66/12.72 Conjecture not found
% 22.66/12.74 Conjecture not found
% 22.75/12.78 Conjecture not found
% 23.00/12.85 Conjecture not found
% 23.00/12.86 Conjecture not found
% 23.00/12.88 Conjecture not found
% 23.09/12.93 Conjecture not found
% 23.09/12.95 Conjecture not found
% 23.09/12.95 Conjecture not found
% 23.32/13.01 Conjecture not found
% 23.32/13.07 Conjecture not found
% 23.47/13.08 Conjecture not found
% 23.52/13.12 Conjecture not found
% 23.52/13.16 Conjecture not found
% 23.52/13.19 Conjecture not found
% 23.73/13.25 Conjecture not found
% 23.91/13.29 Conjecture not found
% 23.91/13.30 Conjecture not found
% 23.91/13.34 Conjecture not found
% 24.00/13.38 Conjecture not found
% 24.30/13.53 Conjecture not found
% 24.30/13.55 Conjecture not found
% 24.30/13.59 Conjecture not found
% 24.38/13.61 Conjecture not found
% 24.38/13.62 Conjecture not found
% 24.38/13.62 Conjecture not found
% 24.38/13.65 Conjecture not found
% 24.38/13.68 Conjecture not found
% 24.68/13.69 Conjecture not found
% 24.68/13.79 Conjecture not found
% 24.80/13.84 Conjecture not found
% 25.06/13.90 Conjecture not found
% 25.06/13.93 Conjecture not found
% 25.06/13.94 Conjecture not found
% 25.22/14.01 Conjecture not found
% 25.22/14.02 Conjecture not found
% 25.22/14.03 Conjecture not found
% 25.32/14.12 Conjecture not found
% 25.49/14.15 Conjecture not found
% 25.49/14.21 Conjecture not found
% 25.65/14.27 Conjecture not found
% 25.73/14.30 Conjecture not found
% 25.73/14.33 Conjecture not found
% 26.20/14.55 Conjecture not found
% 26.29/14.63 Conjecture not found
% 26.29/14.64 Conjecture not found
% 26.62/14.71 Conjecture not found
% 26.62/14.72 Conjecture not found
% 26.64/14.76 Conjecture not found
% 26.64/14.78 Conjecture not found
% 27.04/14.90 Conjecture not found
% 27.04/14.94 Conjecture not found
% 27.04/14.95 Conjecture not found
% 27.12/14.97 Conjecture not found
% 27.14/15.00 Conjecture not found
% 27.18/15.04 Conjecture not found
% 27.42/15.15 Conjecture not found
% 27.42/15.17 Conjecture not found
% 27.42/15.18 Conjecture not found
% 27.60/15.19 Conjecture not found
% 27.60/15.25 Conjecture not found
% 27.60/15.26 Conjecture not found
% 27.70/15.31 Conjecture not found
% 27.74/15.37 Conjecture not found
% 27.86/15.44 Conjecture not found
% 27.86/15.47 Conjecture not found
% 28.14/15.48 Conjecture not found
% 28.14/15.49 Conjecture not found
% 28.14/15.54 Conjecture not found
% 28.14/15.56 Conjecture not found
% 28.24/15.57 Conjecture not found
% 28.26/15.59 Conjecture not found
% 28.29/15.62 Conjecture not found
% 28.30/15.68 Conjecture not found
% 28.64/15.73 Conjecture not found
% 28.64/15.76 Conjecture not found
% 28.72/15.84 Conjecture not found
% 28.72/15.87 Conjecture not found
% 28.81/15.88 Conjecture not found
% 28.95/15.98 Conjecture not found
% 28.95/16.01 Conjecture not found
% 29.24/16.07 Conjecture not found
% 29.24/16.09 Conjecture not found
% 29.30/16.11 Conjecture not found
% 29.30/16.12 Conjecture not found
% 29.30/16.15 Conjecture not found
% 29.30/16.16 Conjecture not found
% 29.63/16.30 Conjecture not found
% 29.63/16.31 Conjecture not found
% 29.63/16.32 Conjecture not found
% 29.80/16.36 Conjecture not found
% 29.80/16.39 Conjecture not found
% 29.88/16.42 Conjecture not found
% 29.88/16.43 Conjecture not found
% 29.88/16.46 Conjecture not found
% 29.96/16.49 Conjecture not found
% 30.15/16.56 Conjecture not found
% 30.15/16.60 Conjecture not found
% 30.38/16.63 Conjecture not found
% 30.38/16.66 Conjecture not found
% 30.38/16.67 Conjecture not found
% 30.38/16.68 Conjecture not found
% 30.46/16.71 Conjecture not found
% 30.46/16.75 Conjecture not found
% 30.85/16.81 Conjecture not found
% 30.88/16.86 Conjecture not found
% 30.88/16.87 Conjecture not found
% 30.88/16.92 Conjecture not found
% 30.98/16.97 Conjecture not found
% 30.98/16.99 Conjecture not found
% 31.07/17.01 Conjecture not found
% 31.07/17.04 Conjecture not found
% 31.07/17.07 Conjecture not found
% 31.07/17.08 Conjecture not found
% 31.27/17.13 Conjecture not found
% 31.54/17.19 Conjecture not found
% 31.56/17.21 Conjecture not found
% 31.56/17.23 Conjecture not found
% 31.56/17.27 Conjecture not found
% 31.66/17.32 Conjecture not found
% 31.80/17.47 Conjecture not found
% 32.13/17.54 Conjecture not found
% 32.13/17.60 Conjecture not found
% 32.23/17.68 Conjecture not found
% 32.30/17.77 Conjecture not found
% 32.42/17.80 Conjecture not found
% 32.44/17.88 Conjecture not found
% 32.44/17.91 Conjecture not found
% 32.88/17.93 Conjecture not found
% 32.88/17.95 Conjecture not found
% 32.88/17.97 Conjecture not found
% 32.88/17.99 Conjecture not found
% 32.95/18.01 Conjecture not found
% 32.95/18.02 Conjecture not found
% 32.95/18.04 Conjecture not found
% 32.95/18.06 Conjecture not found
% 33.04/18.09 Conjecture not found
% 33.09/18.17 Conjecture not found
% 33.52/18.22 Conjecture not found
% 33.52/18.28 Conjecture not found
% 33.57/18.29 Conjecture not found
% 33.57/18.31 Conjecture not found
% 33.67/18.37 Conjecture not found
% 33.73/18.46 Conjecture not found
% 33.73/18.50 Conjecture not found
% 34.12/18.53 Conjecture not found
% 34.23/18.64 Conjecture not found
% 34.33/18.71 Conjecture not found
% 34.38/18.76 Conjecture not found
% 34.38/18.81 Conjecture not found
% 34.46/18.82 Conjecture not found
% 34.63/18.89 Conjecture not found
% 34.63/18.92 Conjecture not found
% 34.63/18.93 Conjecture not found
% 34.95/18.97 Conjecture not found
% 34.98/18.99 Conjecture not found
% 34.98/19.01 Conjecture not found
% 35.02/19.03 Conjecture not found
% 35.04/19.04 Conjecture not found
% 35.04/19.08 Conjecture not found
% 35.11/19.13 Conjecture not found
% 35.17/19.18 Conjecture not found
% 35.59/19.29 Conjecture not found
% 35.72/19.40 Conjecture not found
% 35.72/19.41 Conjecture not found
% 35.72/19.43 Conjecture not found
% 35.72/19.45 Conjecture not found
% 35.72/19.47 Conjecture not found
% 35.79/19.48 Conjecture not found
% 35.79/19.49 Conjecture not found
% 36.28/19.59 Conjecture not found
% 36.28/19.62 Conjecture not found
% 36.32/19.65 Conjecture not found
% 36.32/19.70 Conjecture not found
% 36.32/19.71 Conjecture not found
% 36.41/19.73 Conjecture not found
% 36.41/19.76 Conjecture not found
% 36.41/19.78 Conjecture not found
% 36.48/19.80 Conjecture not found
% 36.48/19.84 Conjecture not found
% 36.48/19.87 Conjecture not found
% 36.75/19.95 Conjecture not found
% 36.75/19.97 Conjecture not found
% 36.75/19.99 Conjecture not found
% 37.05/20.01 Conjecture not found
% 37.05/20.07 Conjecture not found
% 37.14/20.14 Conjecture not found
% 37.14/20.17 Conjecture not found
% 37.26/20.22 Conjecture not found
% 37.28/20.26 Conjecture not found
% 37.28/20.27 Conjecture not found
% 37.28/20.30 Conjecture not found
% 37.87/20.42 Conjecture not found
% 37.87/20.47 Conjecture not found
% 37.95/20.49 Conjecture not found
% 37.95/20.53 Conjecture not found
% 37.95/20.55 Conjecture not found
% 38.06/20.60 Conjecture not found
% 38.08/20.63 Conjecture not found
% 38.08/20.65 Conjecture not found
% 38.45/20.71 Conjecture not found
% 38.45/20.76 Conjecture not found
% 38.65/20.78 Conjecture not found
% 38.65/20.81 Conjecture not found
% 38.65/20.83 Conjecture not found
% 38.65/20.84 Conjecture not found
% 38.74/20.88 Conjecture not found
% 38.77/20.92 Conjecture not found
% 38.80/20.96 Conjecture not found
% 38.80/20.97 Conjecture not found
% 38.87/21.00 Conjecture not found
% 38.87/21.05 Conjecture not found
% 39.12/21.12 Conjecture not found
% 39.12/21.15 Conjecture not found
% 39.42/21.18 Conjecture not found
% 39.42/21.19 Conjecture not found
% 39.45/21.21 Conjecture not found
% 39.49/21.25 Conjecture not found
% 39.49/21.26 Conjecture not found
% 39.49/21.29 Conjecture not found
% 39.56/21.33 Conjecture not found
% 39.56/21.34 Conjecture not found
% 39.62/21.41 Conjecture not found
% 39.62/21.42 Conjecture not found
% 39.62/21.44 Conjecture not found
% 40.04/21.48 Conjecture not found
% 40.22/21.54 Conjecture not found
% 40.22/21.56 Conjecture not found
% 40.22/21.59 Conjecture not found
% 40.22/21.62 Conjecture not found
% 40.31/21.63 Conjecture not found
% 40.31/21.68 Conjecture not found
% 40.37/21.73 Conjecture not found
% 40.54/21.84 Conjecture not found
% 40.80/21.87 Conjecture not found
% 40.80/21.89 Conjecture not found
% 40.80/21.90 Conjecture not found
% 41.09/22.00 Conjecture not found
% 41.09/22.01 Conjecture not found
% 41.09/22.03 Conjecture not found
% 41.09/22.07 Conjecture not found
% 41.23/22.14 Conjecture not found
% 41.23/22.18 Conjecture not found
% 41.82/22.32 Conjecture not found
% 41.82/22.33 Conjecture not found
% 41.91/22.37 Conjecture not found
% 41.91/22.37 Conjecture not found
% 41.93/22.38 Conjecture not found
% 41.93/22.39 Conjecture not found
% 41.93/22.41 Conjecture not found
% 41.99/22.44 Conjecture not found
% 41.99/22.46 Conjecture not found
% 41.99/22.47 Conjecture not found
% 42.24/22.52 Conjecture not found
% 42.56/22.64 Conjecture not found
% 42.56/22.65 Conjecture not found
% 42.65/22.67 Conjecture not found
% 42.70/22.72 Conjecture not found
% 42.70/22.74 Conjecture not found
% 42.70/22.80 Conjecture not found
% 42.78/22.83 Conjecture not found
% 42.78/22.87 Conjecture not found
% 42.85/22.89 Conjecture not found
% 43.09/23.00 Conjecture not found
% 43.31/23.08 Conjecture not found
% 43.31/23.11 Conjecture not found
% 43.53/23.14 Conjecture not found
% 43.53/23.18 Conjecture not found
% 43.61/23.19 Conjecture not found
% 43.61/23.21 Conjecture not found
% 43.61/23.23 Conjecture not found
% 43.73/23.33 Conjecture not found
% 43.73/23.36 Conjecture not found
% 43.73/23.38 Conjecture not found
% 43.96/23.47 Conjecture not found
% 43.96/23.49 Conjecture not found
% 44.38/23.52 Conjecture not found
% 44.38/23.55 Conjecture not found
% 44.38/23.56 Conjecture not found
% 44.38/23.57 Conjecture not found
% 44.50/23.61 Conjecture not found
% 44.51/23.64 Conjecture not found
% 44.51/23.67 Conjecture not found
% 44.51/23.70 Conjecture not found
% 44.51/23.70 Conjecture not found
% 44.61/23.73 Conjecture not found
% 44.61/23.74 Conjecture not found
% 44.61/23.76 Conjecture not found
% 44.70/23.81 Conjecture not found
% 44.70/23.83 Conjecture not found
% 44.70/23.83 Conjecture not found
% 44.70/23.85 Conjecture not found
% 44.70/23.86 Conjecture not found
% 44.87/23.89 Conjecture not found
% 44.87/23.94 Conjecture not found
% 44.87/23.98 Conjecture not found
% 45.34/24.00 Conjecture not found
% 45.36/24.02 Conjecture not found
% 45.36/24.06 Conjecture not found
% 45.36/24.07 Conjecture not found
% 45.36/24.09 Conjecture not found
% 45.36/24.10 Conjecture not found
% 45.46/24.15 Conjecture not found
% 45.46/24.16 Conjecture not found
% 45.54/24.25 Conjecture not found
% 45.54/24.26 Conjecture not found
% 45.54/24.27 Conjecture not found
% 46.31/24.48 Conjecture not found
% 46.31/24.51 Conjecture not found
% 46.31/24.53 Conjecture not found
% 46.31/24.54 Conjecture not found
% 46.40/24.59 Conjecture not found
% 46.46/24.63 Conjecture not found
% 46.46/24.67 Conjecture not found
% 46.54/24.71 Conjecture not found
% 46.54/24.74 Conjecture not found
% 47.20/24.90 Conjecture not found
% 47.22/24.91 Conjecture not found
% 47.25/24.97 Conjecture not found
% 47.25/24.99 Conjecture not found
% 47.25/25.02 Conjecture not found
% 47.34/25.03 Conjecture not found
% 47.34/25.05 Conjecture not found
% 47.34/25.06 Conjecture not found
% 47.34/25.09 Conjecture not found
% 47.42/25.10 Conjecture not found
% 47.42/25.11 Conjecture not found
% 47.42/25.13 Conjecture not found
% 47.49/25.16 Conjecture not found
% 47.50/25.18 Conjecture not found
% 47.87/25.25 Conjecture not found
% 47.87/25.29 Conjecture not found
% 48.14/25.37 Conjecture not found
% 48.21/25.41 Conjecture not found
% 48.21/25.44 Conjecture not found
% 48.30/25.48 Conjecture not found
% 48.34/25.52 Conjecture not found
% 48.35/25.56 Conjecture not found
% 48.35/25.59 Conjecture not found
% 48.35/25.60 Conjecture not found
% 48.43/25.64 Conjecture not found
% 49.08/25.76 Conjecture not found
% 49.76/26.10 Conjecture not found
% 49.92/26.13 Conjecture not found
% 49.92/26.17 Conjecture not found
% 49.92/26.20 Conjecture not found
% 49.92/26.21 Conjecture not found
% 50.05/26.22 Conjecture not found
% 50.05/26.23 Conjecture not found
% 50.05/26.24 Conjecture not found
% 50.05/26.25 Conjecture not found
% 50.05/26.26 Conjecture not found
% 50.05/26.27 Conjecture not found
% 50.12/26.31 Conjecture not found
% 50.20/26.38 Conjecture not found
% 50.25/26.43 Conjecture not found
% 50.25/26.47 Conjecture not found
% 50.87/26.55 Conjecture not found
% 50.87/26.56 Conjecture not found
% 50.87/26.57 Conjecture not found
% 50.87/26.61 Conjecture not found
% 50.98/26.62 Conjecture not found
% 50.98/26.63 Conjecture not found
% 50.98/26.64 Conjecture not found
% 50.98/26.65 Conjecture not found
% 51.07/26.70 Conjecture not found
% 51.08/26.72 Conjecture not found
% 51.08/26.75 Conjecture not found
% 51.08/26.78 Conjecture not found
% 51.08/26.79 Conjecture not found
% 51.78/26.90 Conjecture not found
% 51.78/26.95 Conjecture not found
% 51.78/26.96 Conjecture not found
% 51.78/26.97 Conjecture not found
% 51.89/27.00 Conjecture not found
% 51.89/27.02 Conjecture not found
% 51.89/27.03 Conjecture not found
% 52.00/27.10 Conjecture not found
% 52.00/27.10 Conjecture not found
% 52.00/27.11 Conjecture not found
% 52.00/27.14 Conjecture not found
% 52.00/27.15 Conjecture not found
% 52.00/27.17 Conjecture not found
% 52.00/27.19 Conjecture not found
% 52.00/27.21 Conjecture not found
% 52.11/27.29 Conjecture not found
% 52.21/27.31 Conjecture not found
% 52.21/27.32 Conjecture not found
% 52.21/27.33 Conjecture not found
% 52.65/27.45 Conjecture not found
% 52.65/27.46 Conjecture not found
% 52.96/27.50 Conjecture not found
% 52.96/27.53 Conjecture not found
% 53.08/27.63 Conjecture not found
% 53.08/27.65 Conjecture not found
% 53.08/27.68 Conjecture not found
% 53.17/27.72 Conjecture not found
% 53.17/27.75 Conjecture not found
% 53.17/27.77 Conjecture not found
% 53.26/27.82 Conjecture not found
% 53.94/27.95 Conjecture not found
% 54.03/28.02 Conjecture not found
% 54.03/28.03 Conjecture not found
% 54.03/28.04 Start search
% 113.12/42.48 nb_step : 1 - limit : 133002
% 113.77/43.06 Launch Gotab with destructive = true
%------------------------------------------------------------------------------