TSTP Solution File: TOP044+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : TOP044+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n016.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.17s 91.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : TOP044+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n016.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 : Mon Aug 29 11:51: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.000043s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.36 Conjecture not found
% 0.20/0.37 Conjecture not found
% 0.20/0.37 Conjecture not found
% 0.20/0.37 Conjecture not found
% 0.20/0.38 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.46 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.20/0.52 Conjecture not found
% 0.20/0.53 Conjecture not found
% 0.20/0.54 Conjecture not found
% 0.20/0.55 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.66/0.71 Conjecture not found
% 0.77/0.72 Conjecture not found
% 0.85/0.79 Conjecture not found
% 0.99/0.85 Conjecture not found
% 1.05/0.93 Conjecture not found
% 1.18/0.96 Conjecture not found
% 1.29/1.03 Conjecture not found
% 1.29/1.07 Conjecture not found
% 1.39/1.12 Conjecture not found
% 1.39/1.15 Conjecture not found
% 1.54/1.18 Conjecture not found
% 1.60/1.20 Conjecture not found
% 1.60/1.20 Conjecture not found
% 1.60/1.21 Conjecture not found
% 1.60/1.22 Conjecture not found
% 1.78/1.32 Conjecture not found
% 1.78/1.35 Conjecture not found
% 1.78/1.35 Conjecture not found
% 1.88/1.37 Conjecture not found
% 1.88/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.43 Conjecture not found
% 2.05/1.48 Conjecture not found
% 2.05/1.49 Conjecture not found
% 2.05/1.49 Conjecture not found
% 2.13/1.50 Conjecture not found
% 2.13/1.52 Conjecture not found
% 2.19/1.54 Conjecture not found
% 2.19/1.55 Conjecture not found
% 2.19/1.58 Conjecture not found
% 2.19/1.59 Conjecture not found
% 2.34/1.62 Conjecture not found
% 2.34/1.62 Conjecture not found
% 2.34/1.63 Conjecture not found
% 2.34/1.67 Conjecture not found
% 2.43/1.73 Conjecture not found
% 2.59/1.78 Conjecture not found
% 2.59/1.79 Conjecture not found
% 2.64/1.81 Conjecture not found
% 2.66/1.84 Conjecture not found
% 2.66/1.87 Conjecture not found
% 2.66/1.89 Conjecture not found
% 2.81/1.91 Conjecture not found
% 2.97/2.00 Conjecture not found
% 2.97/2.03 Conjecture not found
% 2.97/2.06 Conjecture not found
% 2.97/2.07 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.16/2.11 Conjecture not found
% 3.47/2.31 Conjecture not found
% 3.47/2.34 Conjecture not found
% 3.47/2.36 Conjecture not found
% 3.67/2.47 Conjecture not found
% 3.67/2.48 Conjecture not found
% 3.67/2.50 Conjecture not found
% 3.81/2.52 Conjecture not found
% 3.81/2.56 Conjecture not found
% 3.97/2.61 Conjecture not found
% 4.11/2.70 Conjecture not found
% 4.22/2.77 Conjecture not found
% 4.22/2.82 Conjecture not found
% 4.22/2.84 Conjecture not found
% 4.37/2.88 Conjecture not found
% 4.37/2.88 Conjecture not found
% 4.48/2.92 Conjecture not found
% 4.48/2.94 Conjecture not found
% 4.59/2.97 Conjecture not found
% 4.59/2.98 Conjecture not found
% 4.73/3.05 Conjecture not found
% 4.73/3.06 Conjecture not found
% 4.73/3.10 Conjecture not found
% 4.88/3.17 Conjecture not found
% 5.10/3.26 Conjecture not found
% 5.29/3.40 Conjecture not found
% 5.74/3.62 Conjecture not found
% 6.29/3.92 Conjecture not found
% 6.36/3.95 Conjecture not found
% 6.44/3.98 Conjecture not found
% 6.61/4.08 Conjecture not found
% 6.61/4.13 Conjecture not found
% 6.75/4.16 Conjecture not found
% 6.81/4.22 Conjecture not found
% 6.92/4.28 Conjecture not found
% 7.05/4.34 Conjecture not found
% 7.12/4.39 Conjecture not found
% 7.12/4.42 Conjecture not found
% 7.12/4.43 Conjecture not found
% 7.26/4.46 Conjecture not found
% 7.26/4.47 Conjecture not found
% 7.41/4.54 Conjecture not found
% 7.53/4.64 Conjecture not found
% 7.59/4.71 Conjecture not found
% 7.85/4.83 Conjecture not found
% 7.93/4.86 Conjecture not found
% 7.93/4.90 Conjecture not found
% 8.04/4.92 Conjecture not found
% 8.04/4.94 Conjecture not found
% 8.04/4.97 Conjecture not found
% 8.14/4.99 Conjecture not found
% 8.14/5.00 Conjecture not found
% 8.14/5.05 Conjecture not found
% 8.14/5.05 Conjecture not found
% 8.14/5.06 Conjecture not found
% 8.31/5.08 Conjecture not found
% 8.34/5.10 Conjecture not found
% 8.34/5.11 Conjecture not found
% 8.37/5.16 Conjecture not found
% 8.52/5.21 Conjecture not found
% 8.88/5.42 Conjecture not found
% 8.92/5.46 Conjecture not found
% 8.92/5.47 Conjecture not found
% 8.92/5.50 Conjecture not found
% 9.08/5.53 Conjecture not found
% 9.08/5.56 Conjecture not found
% 9.16/5.62 Conjecture not found
% 9.16/5.63 Conjecture not found
% 9.16/5.65 Conjecture not found
% 9.16/5.67 Conjecture not found
% 9.47/5.75 Conjecture not found
% 10.27/6.23 Conjecture not found
% 11.22/6.82 Conjecture not found
% 11.47/6.95 Conjecture not found
% 11.50/7.01 Conjecture not found
% 11.66/7.03 Conjecture not found
% 11.66/7.05 Conjecture not found
% 11.70/7.10 Conjecture not found
% 11.70/7.11 Conjecture not found
% 11.70/7.14 Conjecture not found
% 11.88/7.18 Conjecture not found
% 11.91/7.21 Conjecture not found
% 12.07/7.28 Conjecture not found
% 12.12/7.31 Conjecture not found
% 12.12/7.32 Conjecture not found
% 12.16/7.36 Conjecture not found
% 12.16/7.41 Conjecture not found
% 12.16/7.43 Conjecture not found
% 12.46/7.48 Conjecture not found
% 12.54/7.55 Conjecture not found
% 12.55/7.56 Conjecture not found
% 12.55/7.57 Conjecture not found
% 12.55/7.59 Conjecture not found
% 12.61/7.61 Conjecture not found
% 12.61/7.66 Conjecture not found
% 12.77/7.70 Conjecture not found
% 12.77/7.71 Conjecture not found
% 12.97/7.77 Conjecture not found
% 13.01/7.83 Conjecture not found
% 13.05/7.84 Conjecture not found
% 13.05/7.86 Conjecture not found
% 13.05/7.87 Conjecture not found
% 13.05/7.88 Conjecture not found
% 13.05/7.91 Conjecture not found
% 13.05/7.93 Conjecture not found
% 13.26/7.96 Conjecture not found
% 13.26/7.98 Conjecture not found
% 13.31/8.00 Conjecture not found
% 13.31/8.05 Conjecture not found
% 13.48/8.07 Conjecture not found
% 13.53/8.11 Conjecture not found
% 13.53/8.14 Conjecture not found
% 13.57/8.15 Conjecture not found
% 13.57/8.16 Conjecture not found
% 13.57/8.18 Conjecture not found
% 13.57/8.21 Conjecture not found
% 13.78/8.25 Conjecture not found
% 13.78/8.26 Conjecture not found
% 13.84/8.31 Conjecture not found
% 13.84/8.34 Conjecture not found
% 14.02/8.37 Conjecture not found
% 14.05/8.42 Conjecture not found
% 14.07/8.43 Conjecture not found
% 14.07/8.45 Conjecture not found
% 14.07/8.48 Conjecture not found
% 14.07/8.49 Conjecture not found
% 14.07/8.52 Conjecture not found
% 14.30/8.53 Conjecture not found
% 14.30/8.55 Conjecture not found
% 14.30/8.56 Conjecture not found
% 14.30/8.57 Conjecture not found
% 14.30/8.57 Conjecture not found
% 14.37/8.62 Conjecture not found
% 14.60/8.70 Conjecture not found
% 14.60/8.71 Conjecture not found
% 14.62/8.73 Conjecture not found
% 14.62/8.75 Conjecture not found
% 14.62/8.76 Conjecture not found
% 14.62/8.79 Conjecture not found
% 14.62/8.82 Conjecture not found
% 14.85/8.86 Conjecture not found
% 14.92/8.92 Conjecture not found
% 14.92/8.97 Conjecture not found
% 15.13/9.02 Conjecture not found
% 15.22/9.07 Conjecture not found
% 15.49/9.22 Conjecture not found
% 15.66/9.29 Conjecture not found
% 15.66/9.36 Conjecture not found
% 15.66/9.37 Conjecture not found
% 15.80/9.39 Conjecture not found
% 15.84/9.43 Conjecture not found
% 15.94/9.48 Conjecture not found
% 15.94/9.51 Conjecture not found
% 16.08/9.58 Conjecture not found
% 16.33/9.65 Conjecture not found
% 16.34/9.68 Conjecture not found
% 16.34/9.71 Conjecture not found
% 16.58/9.78 Conjecture not found
% 16.58/9.80 Conjecture not found
% 16.67/9.84 Conjecture not found
% 16.67/9.88 Conjecture not found
% 16.93/9.95 Conjecture not found
% 16.96/10.03 Conjecture not found
% 17.11/10.06 Conjecture not found
% 17.22/10.10 Conjecture not found
% 17.22/10.14 Conjecture not found
% 17.30/10.18 Conjecture not found
% 17.40/10.30 Conjecture not found
% 17.68/10.40 Conjecture not found
% 17.68/10.42 Conjecture not found
% 17.74/10.45 Conjecture not found
% 18.22/10.72 Conjecture not found
% 18.37/10.77 Conjecture not found
% 18.37/10.80 Conjecture not found
% 18.43/10.82 Conjecture not found
% 18.43/10.83 Conjecture not found
% 18.43/10.86 Conjecture not found
% 18.63/10.93 Conjecture not found
% 18.75/10.99 Conjecture not found
% 19.00/11.09 Conjecture not found
% 19.07/11.15 Conjecture not found
% 19.07/11.17 Conjecture not found
% 19.35/11.30 Conjecture not found
% 19.40/11.35 Conjecture not found
% 19.44/11.39 Conjecture not found
% 19.70/11.45 Conjecture not found
% 19.75/11.49 Conjecture not found
% 19.75/11.50 Conjecture not found
% 19.75/11.52 Conjecture not found
% 19.75/11.53 Conjecture not found
% 19.81/11.55 Conjecture not found
% 19.83/11.59 Conjecture not found
% 20.07/11.63 Conjecture not found
% 20.07/11.65 Conjecture not found
% 20.11/11.67 Conjecture not found
% 20.11/11.73 Conjecture not found
% 20.11/11.73 Conjecture not found
% 20.19/11.76 Conjecture not found
% 20.31/11.79 Conjecture not found
% 20.53/11.93 Conjecture not found
% 20.53/11.94 Conjecture not found
% 20.66/12.00 Conjecture not found
% 20.66/12.01 Conjecture not found
% 20.66/12.01 Conjecture not found
% 20.66/12.02 Conjecture not found
% 20.66/12.03 Conjecture not found
% 20.88/12.10 Conjecture not found
% 20.88/12.11 Conjecture not found
% 20.88/12.12 Conjecture not found
% 20.94/12.22 Conjecture not found
% 21.27/12.29 Conjecture not found
% 21.27/12.34 Conjecture not found
% 21.33/12.35 Conjecture not found
% 21.61/12.51 Conjecture not found
% 22.02/12.65 Conjecture not found
% 22.03/12.68 Conjecture not found
% 22.09/12.75 Conjecture not found
% 22.13/12.76 Conjecture not found
% 22.13/12.77 Conjecture not found
% 22.41/12.88 Conjecture not found
% 22.50/12.94 Conjecture not found
% 22.51/12.97 Conjecture not found
% 22.51/12.99 Conjecture not found
% 22.82/13.07 Conjecture not found
% 22.82/13.09 Conjecture not found
% 22.82/13.11 Conjecture not found
% 22.82/13.14 Conjecture not found
% 23.14/13.22 Conjecture not found
% 23.19/13.24 Conjecture not found
% 23.21/13.30 Conjecture not found
% 23.33/13.38 Conjecture not found
% 23.33/13.40 Conjecture not found
% 23.33/13.42 Conjecture not found
% 23.63/13.50 Conjecture not found
% 23.71/13.56 Conjecture not found
% 23.71/13.56 Conjecture not found
% 23.71/13.61 Conjecture not found
% 23.78/13.65 Conjecture not found
% 23.86/13.71 Conjecture not found
% 24.07/13.76 Conjecture not found
% 24.10/13.80 Conjecture not found
% 24.10/13.81 Conjecture not found
% 24.16/13.85 Conjecture not found
% 24.20/13.90 Conjecture not found
% 24.53/14.02 Conjecture not found
% 24.59/14.03 Conjecture not found
% 24.61/14.10 Conjecture not found
% 24.70/14.12 Conjecture not found
% 24.70/14.16 Conjecture not found
% 24.70/14.16 Conjecture not found
% 24.95/14.17 Conjecture not found
% 24.95/14.20 Conjecture not found
% 24.95/14.21 Conjecture not found
% 25.06/14.28 Conjecture not found
% 25.12/14.34 Conjecture not found
% 25.21/14.42 Conjecture not found
% 25.45/14.45 Conjecture not found
% 25.45/14.46 Conjecture not found
% 25.49/14.52 Conjecture not found
% 25.55/14.54 Conjecture not found
% 25.55/14.55 Conjecture not found
% 25.72/14.63 Conjecture not found
% 25.72/14.66 Conjecture not found
% 25.91/14.72 Conjecture not found
% 25.99/14.77 Conjecture not found
% 26.03/14.80 Conjecture not found
% 26.03/14.83 Conjecture not found
% 26.56/15.07 Conjecture not found
% 26.88/15.16 Conjecture not found
% 26.88/15.18 Conjecture not found
% 27.01/15.28 Conjecture not found
% 27.01/15.30 Conjecture not found
% 27.01/15.34 Conjecture not found
% 27.21/15.38 Conjecture not found
% 27.44/15.47 Conjecture not found
% 27.44/15.51 Conjecture not found
% 27.44/15.52 Conjecture not found
% 27.52/15.54 Conjecture not found
% 27.52/15.56 Conjecture not found
% 27.69/15.62 Conjecture not found
% 27.91/15.72 Conjecture not found
% 27.91/15.73 Conjecture not found
% 27.91/15.74 Conjecture not found
% 27.91/15.74 Conjecture not found
% 28.01/15.78 Conjecture not found
% 28.04/15.79 Conjecture not found
% 28.08/15.85 Conjecture not found
% 28.48/15.98 Conjecture not found
% 28.48/16.03 Conjecture not found
% 28.48/16.06 Conjecture not found
% 28.57/16.07 Conjecture not found
% 28.57/16.09 Conjecture not found
% 28.82/16.14 Conjecture not found
% 28.86/16.19 Conjecture not found
% 28.86/16.20 Conjecture not found
% 28.98/16.23 Conjecture not found
% 29.02/16.27 Conjecture not found
% 29.02/16.31 Conjecture not found
% 29.02/16.34 Conjecture not found
% 29.12/16.36 Conjecture not found
% 29.48/16.50 Conjecture not found
% 29.54/16.52 Conjecture not found
% 29.54/16.54 Conjecture not found
% 29.59/16.61 Conjecture not found
% 29.59/16.63 Conjecture not found
% 29.70/16.68 Conjecture not found
% 29.99/16.72 Conjecture not found
% 29.99/16.75 Conjecture not found
% 30.08/16.77 Conjecture not found
% 30.08/16.81 Conjecture not found
% 30.08/16.82 Conjecture not found
% 30.20/16.92 Conjecture not found
% 30.20/16.93 Conjecture not found
% 30.26/16.94 Conjecture not found
% 30.60/17.01 Conjecture not found
% 30.66/17.06 Conjecture not found
% 30.66/17.09 Conjecture not found
% 30.66/17.11 Conjecture not found
% 30.66/17.14 Conjecture not found
% 30.74/17.17 Conjecture not found
% 30.78/17.21 Conjecture not found
% 30.78/17.24 Conjecture not found
% 30.85/17.29 Conjecture not found
% 31.21/17.35 Conjecture not found
% 31.26/17.37 Conjecture not found
% 31.26/17.38 Conjecture not found
% 31.26/17.41 Conjecture not found
% 31.34/17.45 Conjecture not found
% 31.38/17.48 Conjecture not found
% 31.38/17.52 Conjecture not found
% 31.38/17.53 Conjecture not found
% 31.54/17.60 Conjecture not found
% 31.87/17.67 Conjecture not found
% 31.87/17.69 Conjecture not found
% 31.87/17.71 Conjecture not found
% 31.94/17.74 Conjecture not found
% 31.94/17.77 Conjecture not found
% 31.94/17.78 Conjecture not found
% 32.00/17.80 Conjecture not found
% 32.00/17.84 Conjecture not found
% 32.16/17.86 Conjecture not found
% 32.33/17.89 Conjecture not found
% 32.45/17.97 Conjecture not found
% 32.53/18.02 Conjecture not found
% 32.60/18.12 Conjecture not found
% 32.82/18.16 Conjecture not found
% 33.05/18.24 Conjecture not found
% 33.05/18.32 Conjecture not found
% 33.21/18.41 Conjecture not found
% 33.21/18.45 Conjecture not found
% 33.55/18.55 Conjecture not found
% 33.55/18.58 Conjecture not found
% 33.55/18.59 Conjecture not found
% 33.55/18.60 Conjecture not found
% 33.75/18.62 Conjecture not found
% 33.75/18.63 Conjecture not found
% 33.75/18.66 Conjecture not found
% 33.75/18.66 Conjecture not found
% 33.75/18.69 Conjecture not found
% 33.83/18.70 Conjecture not found
% 33.83/18.74 Conjecture not found
% 34.18/18.83 Conjecture not found
% 34.32/18.85 Conjecture not found
% 34.32/18.88 Conjecture not found
% 34.32/18.89 Conjecture not found
% 34.32/18.90 Conjecture not found
% 34.42/18.95 Conjecture not found
% 34.60/19.07 Conjecture not found
% 34.88/19.11 Conjecture not found
% 34.88/19.13 Conjecture not found
% 35.01/19.21 Conjecture not found
% 35.03/19.26 Conjecture not found
% 35.03/19.29 Conjecture not found
% 35.11/19.32 Conjecture not found
% 35.11/19.33 Conjecture not found
% 35.36/19.43 Conjecture not found
% 35.36/19.46 Conjecture not found
% 35.59/19.47 Conjecture not found
% 35.61/19.52 Conjecture not found
% 35.66/19.54 Conjecture not found
% 35.66/19.55 Conjecture not found
% 35.66/19.57 Conjecture not found
% 35.66/19.58 Conjecture not found
% 35.74/19.63 Conjecture not found
% 35.74/19.67 Conjecture not found
% 35.80/19.74 Conjecture not found
% 36.25/19.79 Conjecture not found
% 36.30/19.88 Conjecture not found
% 36.30/19.88 Conjecture not found
% 36.30/19.90 Conjecture not found
% 36.30/19.91 Conjecture not found
% 36.38/19.93 Conjecture not found
% 36.38/19.94 Conjecture not found
% 36.38/19.94 Conjecture not found
% 36.87/20.07 Conjecture not found
% 36.87/20.09 Conjecture not found
% 36.90/20.11 Conjecture not found
% 36.94/20.14 Conjecture not found
% 36.94/20.16 Conjecture not found
% 36.94/20.18 Conjecture not found
% 37.00/20.21 Conjecture not found
% 37.00/20.22 Conjecture not found
% 37.00/20.25 Conjecture not found
% 37.06/20.29 Conjecture not found
% 37.06/20.32 Conjecture not found
% 37.51/20.39 Conjecture not found
% 37.57/20.41 Conjecture not found
% 37.57/20.43 Conjecture not found
% 37.61/20.45 Conjecture not found
% 37.67/20.50 Conjecture not found
% 37.67/20.57 Conjecture not found
% 37.74/20.60 Conjecture not found
% 37.74/20.67 Conjecture not found
% 38.29/20.74 Conjecture not found
% 38.29/20.75 Conjecture not found
% 38.29/20.78 Conjecture not found
% 38.38/20.85 Conjecture not found
% 38.44/20.89 Conjecture not found
% 38.44/20.92 Conjecture not found
% 38.44/20.95 Conjecture not found
% 38.53/20.97 Conjecture not found
% 38.57/21.03 Conjecture not found
% 38.73/21.11 Conjecture not found
% 39.04/21.14 Conjecture not found
% 39.04/21.18 Conjecture not found
% 39.11/21.22 Conjecture not found
% 39.11/21.24 Conjecture not found
% 39.11/21.26 Conjecture not found
% 39.19/21.28 Conjecture not found
% 39.21/21.29 Conjecture not found
% 39.23/21.33 Conjecture not found
% 39.23/21.37 Conjecture not found
% 39.42/21.42 Conjecture not found
% 39.42/21.44 Conjecture not found
% 39.83/21.50 Conjecture not found
% 39.83/21.55 Conjecture not found
% 39.91/21.58 Conjecture not found
% 39.92/21.60 Conjecture not found
% 39.95/21.63 Conjecture not found
% 39.95/21.63 Conjecture not found
% 39.95/21.65 Conjecture not found
% 39.95/21.69 Conjecture not found
% 39.95/21.71 Conjecture not found
% 40.05/21.75 Conjecture not found
% 40.13/21.82 Conjecture not found
% 40.13/21.84 Conjecture not found
% 40.60/21.94 Conjecture not found
% 40.60/21.95 Conjecture not found
% 40.60/21.97 Conjecture not found
% 40.60/21.98 Conjecture not found
% 40.73/22.01 Conjecture not found
% 40.73/22.02 Conjecture not found
% 40.73/22.05 Conjecture not found
% 40.73/22.07 Conjecture not found
% 40.73/22.08 Conjecture not found
% 40.82/22.12 Conjecture not found
% 40.82/22.15 Conjecture not found
% 41.39/22.29 Conjecture not found
% 41.41/22.32 Conjecture not found
% 41.44/22.33 Conjecture not found
% 41.44/22.34 Conjecture not found
% 41.53/22.43 Conjecture not found
% 41.53/22.44 Conjecture not found
% 41.53/22.47 Conjecture not found
% 41.60/22.50 Conjecture not found
% 42.05/22.61 Conjecture not found
% 42.13/22.66 Conjecture not found
% 42.24/22.76 Conjecture not found
% 42.24/22.77 Conjecture not found
% 42.32/22.81 Conjecture not found
% 42.32/22.82 Conjecture not found
% 42.32/22.82 Conjecture not found
% 42.32/22.83 Conjecture not found
% 42.32/22.86 Conjecture not found
% 42.42/22.89 Conjecture not found
% 42.45/22.90 Conjecture not found
% 42.60/22.93 Conjecture not found
% 42.68/22.99 Conjecture not found
% 43.07/23.07 Conjecture not found
% 43.07/23.08 Conjecture not found
% 43.07/23.11 Conjecture not found
% 43.07/23.15 Conjecture not found
% 43.15/23.18 Conjecture not found
% 43.22/23.23 Conjecture not found
% 43.23/23.27 Conjecture not found
% 43.30/23.31 Conjecture not found
% 43.30/23.36 Conjecture not found
% 43.89/23.47 Conjecture not found
% 43.92/23.50 Conjecture not found
% 43.92/23.52 Conjecture not found
% 43.96/23.54 Conjecture not found
% 43.96/23.57 Conjecture not found
% 43.96/23.58 Conjecture not found
% 43.96/23.59 Conjecture not found
% 44.02/23.61 Conjecture not found
% 44.08/23.68 Conjecture not found
% 44.08/23.70 Conjecture not found
% 44.08/23.72 Conjecture not found
% 44.66/23.80 Conjecture not found
% 44.66/23.82 Conjecture not found
% 44.70/23.84 Conjecture not found
% 44.70/23.87 Conjecture not found
% 44.70/23.89 Conjecture not found
% 44.76/23.90 Conjecture not found
% 44.76/23.93 Conjecture not found
% 44.76/23.96 Conjecture not found
% 44.84/24.00 Conjecture not found
% 44.84/24.02 Conjecture not found
% 44.84/24.03 Conjecture not found
% 44.84/24.06 Conjecture not found
% 44.84/24.07 Conjecture not found
% 44.94/24.09 Conjecture not found
% 45.21/24.19 Conjecture not found
% 45.54/24.22 Conjecture not found
% 45.54/24.22 Conjecture not found
% 45.54/24.24 Conjecture not found
% 45.54/24.25 Conjecture not found
% 45.59/24.27 Conjecture not found
% 45.59/24.29 Conjecture not found
% 45.59/24.31 Conjecture not found
% 45.59/24.32 Conjecture not found
% 45.59/24.35 Conjecture not found
% 45.69/24.39 Conjecture not found
% 45.69/24.40 Conjecture not found
% 45.69/24.41 Conjecture not found
% 45.74/24.43 Conjecture not found
% 45.76/24.48 Conjecture not found
% 45.76/24.49 Conjecture not found
% 45.83/24.57 Conjecture not found
% 45.90/24.58 Conjecture not found
% 45.90/24.60 Conjecture not found
% 46.52/24.75 Conjecture not found
% 46.52/24.77 Conjecture not found
% 46.52/24.79 Conjecture not found
% 46.52/24.80 Conjecture not found
% 46.60/24.83 Conjecture not found
% 46.60/24.86 Conjecture not found
% 46.66/24.89 Conjecture not found
% 47.12/24.96 Conjecture not found
% 47.23/25.02 Conjecture not found
% 47.29/25.12 Conjecture not found
% 47.37/25.12 Conjecture not found
% 47.44/25.19 Conjecture not found
% 47.44/25.21 Conjecture not found
% 47.44/25.24 Conjecture not found
% 47.44/25.26 Conjecture not found
% 47.44/25.27 Conjecture not found
% 47.53/25.28 Conjecture not found
% 47.54/25.31 Conjecture not found
% 47.57/25.32 Conjecture not found
% 47.58/25.33 Conjecture not found
% 47.58/25.35 Conjecture not found
% 47.58/25.39 Conjecture not found
% 47.93/25.41 Conjecture not found
% 47.93/25.47 Conjecture not found
% 48.27/25.50 Conjecture not found
% 48.36/25.58 Conjecture not found
% 48.37/25.61 Conjecture not found
% 48.43/25.64 Conjecture not found
% 48.43/25.69 Conjecture not found
% 48.51/25.72 Conjecture not found
% 48.51/25.77 Conjecture not found
% 48.51/25.79 Conjecture not found
% 48.58/25.81 Conjecture not found
% 49.09/25.90 Conjecture not found
% 49.26/25.98 Conjecture not found
% 49.81/26.33 Conjecture not found
% 50.03/26.35 Conjecture not found
% 50.03/26.42 Conjecture not found
% 50.27/26.45 Conjecture not found
% 50.27/26.46 Conjecture not found
% 50.27/26.47 Conjecture not found
% 50.27/26.48 Conjecture not found
% 50.33/26.50 Conjecture not found
% 50.33/26.51 Conjecture not found
% 50.33/26.52 Conjecture not found
% 50.33/26.54 Conjecture not found
% 50.40/26.60 Conjecture not found
% 50.50/26.69 Conjecture not found
% 50.59/26.77 Conjecture not found
% 51.22/26.84 Conjecture not found
% 51.22/26.89 Conjecture not found
% 51.28/26.91 Conjecture not found
% 51.28/26.92 Conjecture not found
% 51.34/26.97 Conjecture not found
% 51.34/26.98 Conjecture not found
% 51.34/27.00 Conjecture not found
% 51.34/27.01 Conjecture not found
% 51.34/27.03 Conjecture not found
% 51.46/27.09 Conjecture not found
% 51.50/27.12 Conjecture not found
% 51.53/27.16 Conjecture not found
% 51.53/27.21 Conjecture not found
% 51.53/27.21 Conjecture not found
% 51.62/27.28 Conjecture not found
% 51.97/27.33 Conjecture not found
% 52.28/27.35 Conjecture not found
% 52.30/27.36 Conjecture not found
% 52.30/27.40 Conjecture not found
% 52.35/27.42 Conjecture not found
% 52.35/27.43 Conjecture not found
% 52.38/27.49 Conjecture not found
% 52.38/27.49 Conjecture not found
% 52.38/27.51 Conjecture not found
% 52.38/27.53 Conjecture not found
% 52.47/27.54 Conjecture not found
% 52.47/27.56 Conjecture not found
% 52.52/27.59 Conjecture not found
% 52.52/27.60 Conjecture not found
% 52.59/27.67 Conjecture not found
% 52.61/27.71 Conjecture not found
% 52.89/27.73 Conjecture not found
% 53.05/27.77 Conjecture not found
% 53.35/27.87 Conjecture not found
% 53.35/27.88 Conjecture not found
% 53.35/27.92 Conjecture not found
% 53.35/27.94 Conjecture not found
% 53.52/28.04 Conjecture not found
% 53.54/28.06 Conjecture not found
% 53.54/28.10 Conjecture not found
% 53.61/28.13 Conjecture not found
% 53.61/28.16 Conjecture not found
% 53.61/28.17 Conjecture not found
% 53.67/28.21 Conjecture not found
% 54.32/28.30 Conjecture not found
% 54.41/28.35 Conjecture not found
% 54.41/28.36 Conjecture not found
% 54.41/28.37 Start search
% 110.88/42.08 nb_step : 1 - limit : 132969
% 112.28/42.66 Launch Gotab with destructive = true
%------------------------------------------------------------------------------