TSTP Solution File: TOP047+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : TOP047+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n011.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:50 EDT 2022
% Result : Timeout 300.11s 88.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : TOP047+4 : TPTP v8.1.0. Released v3.4.0.
% 0.13/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n011.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Mon Aug 29 11:46:33 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.19/0.35 [DMT] DMT loaded with preskolemization
% 0.19/0.35 [EQ] equality loaded.
% 0.19/0.35 [0.000041s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.52/0.57 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.55/0.62 Conjecture not found
% 0.66/0.66 Conjecture not found
% 0.78/0.73 Conjecture not found
% 0.78/0.74 Conjecture not found
% 0.88/0.82 Conjecture not found
% 1.03/0.87 Conjecture not found
% 1.20/0.95 Conjecture not found
% 1.20/0.98 Conjecture not found
% 1.33/1.05 Conjecture not found
% 1.45/1.09 Conjecture not found
% 1.45/1.14 Conjecture not found
% 1.62/1.17 Conjecture not found
% 1.62/1.20 Conjecture not found
% 1.68/1.21 Conjecture not found
% 1.68/1.22 Conjecture not found
% 1.68/1.23 Conjecture not found
% 1.73/1.23 Conjecture not found
% 1.91/1.34 Conjecture not found
% 1.91/1.36 Conjecture not found
% 1.91/1.36 Conjecture not found
% 1.91/1.38 Conjecture not found
% 1.91/1.38 Conjecture not found
% 1.91/1.39 Conjecture not found
% 1.91/1.39 Conjecture not found
% 2.02/1.40 Conjecture not found
% 2.02/1.40 Conjecture not found
% 2.02/1.45 Conjecture not found
% 2.23/1.50 Conjecture not found
% 2.23/1.51 Conjecture not found
% 2.23/1.51 Conjecture not found
% 2.23/1.52 Conjecture not found
% 2.29/1.54 Conjecture not found
% 2.29/1.55 Conjecture not found
% 2.29/1.57 Conjecture not found
% 2.29/1.59 Conjecture not found
% 2.29/1.61 Conjecture not found
% 2.47/1.63 Conjecture not found
% 2.47/1.64 Conjecture not found
% 2.47/1.65 Conjecture not found
% 2.47/1.68 Conjecture not found
% 2.58/1.74 Conjecture not found
% 2.73/1.80 Conjecture not found
% 2.75/1.80 Conjecture not found
% 2.80/1.83 Conjecture not found
% 2.80/1.86 Conjecture not found
% 2.80/1.88 Conjecture not found
% 2.80/1.90 Conjecture not found
% 2.97/1.92 Conjecture not found
% 3.12/2.00 Conjecture not found
% 3.12/2.03 Conjecture not found
% 3.12/2.05 Conjecture not found
% 3.12/2.06 Conjecture not found
% 3.24/2.08 Conjecture not found
% 3.30/2.10 Conjecture not found
% 3.50/2.30 Conjecture not found
% 3.63/2.33 Conjecture not found
% 3.63/2.35 Conjecture not found
% 3.80/2.46 Conjecture not found
% 3.80/2.47 Conjecture not found
% 3.93/2.48 Conjecture not found
% 3.93/2.50 Conjecture not found
% 3.93/2.54 Conjecture not found
% 4.14/2.61 Conjecture not found
% 4.15/2.69 Conjecture not found
% 4.36/2.77 Conjecture not found
% 4.49/2.82 Conjecture not found
% 4.49/2.83 Conjecture not found
% 4.49/2.87 Conjecture not found
% 4.49/2.87 Conjecture not found
% 4.64/2.91 Conjecture not found
% 4.64/2.94 Conjecture not found
% 4.64/2.96 Conjecture not found
% 4.64/2.98 Conjecture not found
% 4.90/3.05 Conjecture not found
% 4.90/3.07 Conjecture not found
% 4.90/3.09 Conjecture not found
% 5.11/3.16 Conjecture not found
% 5.36/3.27 Conjecture not found
% 5.58/3.39 Conjecture not found
% 5.86/3.59 Conjecture not found
% 6.55/3.90 Conjecture not found
% 6.69/3.93 Conjecture not found
% 6.69/3.96 Conjecture not found
% 6.96/4.07 Conjecture not found
% 6.96/4.11 Conjecture not found
% 7.11/4.16 Conjecture not found
% 7.24/4.23 Conjecture not found
% 7.30/4.28 Conjecture not found
% 7.30/4.36 Conjecture not found
% 7.49/4.39 Conjecture not found
% 7.49/4.42 Conjecture not found
% 7.49/4.43 Conjecture not found
% 7.63/4.46 Conjecture not found
% 7.63/4.47 Conjecture not found
% 7.81/4.56 Conjecture not found
% 7.98/4.65 Conjecture not found
% 8.02/4.72 Conjecture not found
% 8.23/4.84 Conjecture not found
% 8.23/4.86 Conjecture not found
% 8.36/4.90 Conjecture not found
% 8.36/4.93 Conjecture not found
% 8.36/4.94 Conjecture not found
% 8.52/4.97 Conjecture not found
% 8.52/4.99 Conjecture not found
% 8.56/5.01 Conjecture not found
% 8.69/5.06 Conjecture not found
% 8.69/5.06 Conjecture not found
% 8.69/5.07 Conjecture not found
% 8.69/5.09 Conjecture not found
% 8.75/5.13 Conjecture not found
% 8.90/5.16 Conjecture not found
% 8.90/5.21 Conjecture not found
% 8.90/5.25 Conjecture not found
% 9.34/5.46 Conjecture not found
% 9.40/5.50 Conjecture not found
% 9.40/5.50 Conjecture not found
% 9.40/5.53 Conjecture not found
% 9.40/5.56 Conjecture not found
% 9.62/5.60 Conjecture not found
% 9.65/5.66 Conjecture not found
% 9.65/5.67 Conjecture not found
% 9.65/5.70 Conjecture not found
% 9.81/5.72 Conjecture not found
% 9.98/5.81 Conjecture not found
% 10.89/6.32 Conjecture not found
% 11.79/6.84 Conjecture not found
% 11.98/6.96 Conjecture not found
% 12.13/7.03 Conjecture not found
% 12.13/7.05 Conjecture not found
% 12.20/7.08 Conjecture not found
% 12.34/7.13 Conjecture not found
% 12.34/7.15 Conjecture not found
% 12.37/7.16 Conjecture not found
% 12.37/7.21 Conjecture not found
% 12.45/7.26 Conjecture not found
% 12.60/7.32 Conjecture not found
% 12.60/7.34 Conjecture not found
% 12.66/7.35 Conjecture not found
% 12.77/7.39 Conjecture not found
% 12.83/7.43 Conjecture not found
% 12.86/7.46 Conjecture not found
% 12.86/7.51 Conjecture not found
% 13.04/7.57 Conjecture not found
% 13.09/7.59 Conjecture not found
% 13.09/7.61 Conjecture not found
% 13.09/7.64 Conjecture not found
% 13.27/7.66 Conjecture not found
% 13.30/7.69 Conjecture not found
% 13.30/7.72 Conjecture not found
% 13.43/7.74 Conjecture not found
% 13.47/7.81 Conjecture not found
% 13.53/7.86 Conjecture not found
% 13.64/7.88 Conjecture not found
% 13.64/7.90 Conjecture not found
% 13.64/7.93 Conjecture not found
% 13.77/7.95 Conjecture not found
% 13.77/7.96 Conjecture not found
% 13.81/7.98 Conjecture not found
% 13.81/8.00 Conjecture not found
% 13.81/8.02 Conjecture not found
% 13.97/8.03 Conjecture not found
% 13.99/8.06 Conjecture not found
% 13.99/8.08 Conjecture not found
% 13.99/8.10 Conjecture not found
% 14.13/8.14 Conjecture not found
% 14.13/8.18 Conjecture not found
% 14.22/8.20 Conjecture not found
% 14.22/8.21 Conjecture not found
% 14.22/8.23 Conjecture not found
% 14.22/8.25 Conjecture not found
% 14.39/8.27 Conjecture not found
% 14.44/8.31 Conjecture not found
% 14.47/8.35 Conjecture not found
% 14.47/8.37 Conjecture not found
% 14.47/8.40 Conjecture not found
% 14.47/8.41 Conjecture not found
% 14.70/8.44 Conjecture not found
% 14.70/8.48 Conjecture not found
% 14.70/8.49 Conjecture not found
% 14.77/8.50 Conjecture not found
% 14.77/8.51 Conjecture not found
% 14.77/8.52 Conjecture not found
% 14.77/8.53 Conjecture not found
% 14.77/8.53 Conjecture not found
% 14.77/8.54 Conjecture not found
% 14.97/8.59 Conjecture not found
% 15.03/8.69 Conjecture not found
% 15.03/8.71 Conjecture not found
% 15.25/8.74 Conjecture not found
% 15.25/8.77 Conjecture not found
% 15.25/8.78 Conjecture not found
% 15.25/8.80 Conjecture not found
% 15.33/8.81 Conjecture not found
% 15.33/8.83 Conjecture not found
% 15.54/8.88 Conjecture not found
% 15.57/8.93 Conjecture not found
% 15.57/8.98 Conjecture not found
% 15.66/9.01 Conjecture not found
% 15.89/9.16 Conjecture not found
% 16.15/9.23 Conjecture not found
% 16.15/9.27 Conjecture not found
% 16.15/9.28 Conjecture not found
% 16.15/9.31 Conjecture not found
% 16.36/9.37 Conjecture not found
% 16.48/9.41 Conjecture not found
% 16.48/9.43 Conjecture not found
% 16.57/9.53 Conjecture not found
% 16.83/9.61 Conjecture not found
% 16.83/9.66 Conjecture not found
% 17.07/9.70 Conjecture not found
% 17.07/9.77 Conjecture not found
% 17.07/9.79 Conjecture not found
% 17.16/9.85 Conjecture not found
% 17.44/9.92 Conjecture not found
% 17.45/9.99 Conjecture not found
% 17.54/10.09 Conjecture not found
% 17.78/10.10 Conjecture not found
% 17.78/10.14 Conjecture not found
% 17.78/10.16 Conjecture not found
% 17.86/10.18 Conjecture not found
% 18.06/10.26 Conjecture not found
% 18.06/10.31 Conjecture not found
% 18.16/10.32 Conjecture not found
% 18.16/10.35 Conjecture not found
% 18.76/10.65 Conjecture not found
% 18.81/10.70 Conjecture not found
% 18.81/10.75 Conjecture not found
% 19.06/10.78 Conjecture not found
% 19.06/10.80 Conjecture not found
% 19.06/10.81 Conjecture not found
% 19.13/10.87 Conjecture not found
% 19.29/10.96 Conjecture not found
% 19.43/11.05 Conjecture not found
% 19.54/11.09 Conjecture not found
% 19.54/11.12 Conjecture not found
% 19.83/11.26 Conjecture not found
% 19.88/11.32 Conjecture not found
% 20.15/11.36 Conjecture not found
% 20.19/11.39 Conjecture not found
% 20.19/11.42 Conjecture not found
% 20.23/11.43 Conjecture not found
% 20.24/11.46 Conjecture not found
% 20.24/11.47 Conjecture not found
% 20.24/11.50 Conjecture not found
% 20.49/11.56 Conjecture not found
% 20.56/11.60 Conjecture not found
% 20.56/11.64 Conjecture not found
% 20.56/11.66 Conjecture not found
% 20.77/11.73 Conjecture not found
% 20.77/11.74 Conjecture not found
% 20.92/11.78 Conjecture not found
% 20.92/11.81 Conjecture not found
% 21.05/11.93 Conjecture not found
% 21.05/11.95 Conjecture not found
% 21.33/11.98 Conjecture not found
% 21.33/11.99 Conjecture not found
% 21.33/11.99 Conjecture not found
% 21.33/11.99 Conjecture not found
% 21.33/12.00 Conjecture not found
% 21.41/12.05 Conjecture not found
% 21.41/12.06 Conjecture not found
% 21.41/12.08 Conjecture not found
% 21.68/12.19 Conjecture not found
% 21.75/12.24 Conjecture not found
% 22.07/12.33 Conjecture not found
% 22.07/12.34 Conjecture not found
% 22.15/12.44 Conjecture not found
% 22.52/12.60 Conjecture not found
% 22.55/12.62 Conjecture not found
% 22.56/12.66 Conjecture not found
% 22.56/12.68 Conjecture not found
% 22.56/12.70 Conjecture not found
% 22.94/12.80 Conjecture not found
% 22.94/12.87 Conjecture not found
% 23.21/12.94 Conjecture not found
% 23.21/12.97 Conjecture not found
% 23.35/13.06 Conjecture not found
% 23.35/13.09 Conjecture not found
% 23.35/13.11 Conjecture not found
% 23.44/13.19 Conjecture not found
% 23.72/13.25 Conjecture not found
% 23.72/13.26 Conjecture not found
% 23.81/13.30 Conjecture not found
% 23.81/13.37 Conjecture not found
% 24.12/13.39 Conjecture not found
% 24.14/13.40 Conjecture not found
% 24.16/13.45 Conjecture not found
% 24.16/13.49 Conjecture not found
% 24.16/13.49 Conjecture not found
% 24.46/13.56 Conjecture not found
% 24.46/13.61 Conjecture not found
% 24.57/13.64 Conjecture not found
% 24.57/13.68 Conjecture not found
% 24.64/13.76 Conjecture not found
% 24.93/13.78 Conjecture not found
% 24.99/13.84 Conjecture not found
% 24.99/13.90 Conjecture not found
% 25.32/14.00 Conjecture not found
% 25.32/14.03 Conjecture not found
% 25.48/14.12 Conjecture not found
% 25.52/14.13 Conjecture not found
% 25.53/14.15 Conjecture not found
% 25.53/14.15 Conjecture not found
% 25.53/14.16 Conjecture not found
% 25.53/14.18 Conjecture not found
% 25.53/14.18 Conjecture not found
% 25.73/14.26 Conjecture not found
% 25.90/14.32 Conjecture not found
% 25.98/14.37 Conjecture not found
% 26.01/14.39 Conjecture not found
% 26.01/14.40 Conjecture not found
% 26.30/14.49 Conjecture not found
% 26.30/14.50 Conjecture not found
% 26.37/14.51 Conjecture not found
% 26.42/14.58 Conjecture not found
% 26.42/14.60 Conjecture not found
% 26.42/14.64 Conjecture not found
% 26.84/14.74 Conjecture not found
% 26.93/14.76 Conjecture not found
% 26.93/14.80 Conjecture not found
% 27.45/15.03 Conjecture not found
% 27.50/15.09 Conjecture not found
% 27.50/15.10 Conjecture not found
% 27.89/15.23 Conjecture not found
% 27.89/15.24 Conjecture not found
% 27.97/15.29 Conjecture not found
% 28.02/15.32 Conjecture not found
% 28.15/15.42 Conjecture not found
% 28.38/15.46 Conjecture not found
% 28.38/15.47 Conjecture not found
% 28.43/15.49 Conjecture not found
% 28.43/15.51 Conjecture not found
% 28.49/15.55 Conjecture not found
% 28.85/15.68 Conjecture not found
% 28.85/15.70 Conjecture not found
% 28.85/15.70 Conjecture not found
% 28.85/15.71 Conjecture not found
% 28.93/15.75 Conjecture not found
% 28.93/15.76 Conjecture not found
% 28.98/15.84 Conjecture not found
% 29.30/15.98 Conjecture not found
% 29.47/16.06 Conjecture not found
% 29.52/16.08 Conjecture not found
% 29.52/16.10 Conjecture not found
% 29.52/16.11 Conjecture not found
% 29.60/16.15 Conjecture not found
% 29.65/16.18 Conjecture not found
% 29.65/16.19 Conjecture not found
% 29.92/16.24 Conjecture not found
% 29.94/16.27 Conjecture not found
% 29.94/16.31 Conjecture not found
% 30.03/16.34 Conjecture not found
% 30.03/16.37 Conjecture not found
% 30.09/16.45 Conjecture not found
% 30.45/16.49 Conjecture not found
% 30.45/16.49 Conjecture not found
% 30.50/16.55 Conjecture not found
% 30.50/16.56 Conjecture not found
% 30.50/16.60 Conjecture not found
% 30.50/16.62 Conjecture not found
% 30.60/16.65 Conjecture not found
% 30.60/16.68 Conjecture not found
% 30.93/16.72 Conjecture not found
% 30.93/16.73 Conjecture not found
% 31.04/16.83 Conjecture not found
% 31.04/16.84 Conjecture not found
% 31.08/16.84 Conjecture not found
% 31.08/16.88 Conjecture not found
% 31.08/16.92 Conjecture not found
% 31.44/16.97 Conjecture not found
% 31.44/17.00 Conjecture not found
% 31.54/17.04 Conjecture not found
% 31.54/17.07 Conjecture not found
% 31.60/17.11 Conjecture not found
% 31.60/17.13 Conjecture not found
% 31.69/17.16 Conjecture not found
% 31.82/17.20 Conjecture not found
% 32.05/17.23 Conjecture not found
% 32.06/17.24 Conjecture not found
% 32.06/17.29 Conjecture not found
% 32.13/17.33 Conjecture not found
% 32.13/17.36 Conjecture not found
% 32.19/17.39 Conjecture not found
% 32.19/17.40 Conjecture not found
% 32.19/17.45 Conjecture not found
% 32.47/17.53 Conjecture not found
% 32.66/17.56 Conjecture not found
% 32.66/17.59 Conjecture not found
% 32.73/17.61 Conjecture not found
% 32.73/17.65 Conjecture not found
% 32.73/17.66 Conjecture not found
% 32.77/17.68 Conjecture not found
% 32.77/17.71 Conjecture not found
% 32.77/17.73 Conjecture not found
% 32.86/17.75 Conjecture not found
% 33.24/17.84 Conjecture not found
% 33.26/17.90 Conjecture not found
% 33.36/18.00 Conjecture not found
% 33.36/18.03 Conjecture not found
% 33.47/18.07 Conjecture not found
% 33.88/18.17 Conjecture not found
% 33.98/18.26 Conjecture not found
% 34.03/18.30 Conjecture not found
% 34.07/18.36 Conjecture not found
% 34.07/18.40 Conjecture not found
% 34.45/18.41 Conjecture not found
% 34.45/18.44 Conjecture not found
% 34.51/18.46 Conjecture not found
% 34.51/18.48 Conjecture not found
% 34.51/18.50 Conjecture not found
% 34.51/18.51 Conjecture not found
% 34.51/18.53 Conjecture not found
% 34.60/18.55 Conjecture not found
% 34.60/18.59 Conjecture not found
% 34.65/18.65 Conjecture not found
% 34.76/18.70 Conjecture not found
% 35.14/18.76 Conjecture not found
% 35.14/18.78 Conjecture not found
% 35.14/18.80 Conjecture not found
% 35.22/18.87 Conjecture not found
% 35.33/18.96 Conjecture not found
% 35.35/19.01 Conjecture not found
% 35.72/19.04 Conjecture not found
% 35.77/19.12 Conjecture not found
% 35.85/19.16 Conjecture not found
% 35.85/19.19 Conjecture not found
% 35.91/19.21 Conjecture not found
% 35.91/19.22 Conjecture not found
% 35.97/19.27 Conjecture not found
% 36.07/19.30 Conjecture not found
% 36.07/19.31 Conjecture not found
% 36.39/19.34 Conjecture not found
% 36.39/19.36 Conjecture not found
% 36.39/19.37 Conjecture not found
% 36.39/19.38 Conjecture not found
% 36.39/19.39 Conjecture not found
% 36.47/19.43 Conjecture not found
% 36.47/19.46 Conjecture not found
% 36.53/19.50 Conjecture not found
% 36.99/19.58 Conjecture not found
% 37.04/19.70 Conjecture not found
% 37.04/19.71 Conjecture not found
% 37.04/19.73 Conjecture not found
% 37.13/19.74 Conjecture not found
% 37.13/19.76 Conjecture not found
% 37.13/19.78 Conjecture not found
% 37.13/19.78 Conjecture not found
% 37.64/19.91 Conjecture not found
% 37.66/19.93 Conjecture not found
% 37.66/19.96 Conjecture not found
% 37.66/20.00 Conjecture not found
% 37.66/20.01 Conjecture not found
% 37.76/20.03 Conjecture not found
% 37.76/20.06 Conjecture not found
% 37.76/20.07 Conjecture not found
% 37.84/20.10 Conjecture not found
% 37.84/20.14 Conjecture not found
% 37.84/20.17 Conjecture not found
% 38.32/20.24 Conjecture not found
% 38.32/20.25 Conjecture not found
% 38.32/20.26 Conjecture not found
% 38.32/20.27 Conjecture not found
% 38.32/20.33 Conjecture not found
% 38.43/20.38 Conjecture not found
% 38.43/20.40 Conjecture not found
% 38.51/20.45 Conjecture not found
% 38.67/20.50 Conjecture not found
% 38.67/20.53 Conjecture not found
% 39.02/20.58 Conjecture not found
% 39.08/20.65 Conjecture not found
% 39.08/20.69 Conjecture not found
% 39.16/20.72 Conjecture not found
% 39.16/20.75 Conjecture not found
% 39.16/20.78 Conjecture not found
% 39.23/20.82 Conjecture not found
% 39.23/20.86 Conjecture not found
% 39.72/20.90 Conjecture not found
% 39.79/20.96 Conjecture not found
% 39.79/20.98 Conjecture not found
% 39.79/21.00 Conjecture not found
% 39.86/21.02 Conjecture not found
% 39.86/21.03 Conjecture not found
% 39.86/21.04 Conjecture not found
% 39.92/21.07 Conjecture not found
% 39.92/21.10 Conjecture not found
% 40.17/21.17 Conjecture not found
% 40.40/21.19 Conjecture not found
% 40.47/21.24 Conjecture not found
% 40.47/21.31 Conjecture not found
% 40.54/21.34 Conjecture not found
% 40.54/21.36 Conjecture not found
% 40.60/21.39 Conjecture not found
% 40.60/21.39 Conjecture not found
% 40.60/21.41 Conjecture not found
% 40.60/21.45 Conjecture not found
% 40.60/21.47 Conjecture not found
% 40.70/21.49 Conjecture not found
% 40.73/21.54 Conjecture not found
% 40.77/21.54 Conjecture not found
% 41.26/21.66 Conjecture not found
% 41.26/21.68 Conjecture not found
% 41.32/21.70 Conjecture not found
% 41.32/21.72 Conjecture not found
% 41.39/21.76 Conjecture not found
% 41.39/21.77 Conjecture not found
% 41.43/21.80 Conjecture not found
% 41.43/21.83 Conjecture not found
% 41.47/21.85 Conjecture not found
% 41.47/21.89 Conjecture not found
% 41.57/21.95 Conjecture not found
% 42.11/22.11 Conjecture not found
% 42.15/22.13 Conjecture not found
% 42.18/22.14 Conjecture not found
% 42.18/22.15 Conjecture not found
% 42.26/22.24 Conjecture not found
% 42.26/22.26 Conjecture not found
% 42.31/22.28 Conjecture not found
% 42.31/22.31 Conjecture not found
% 42.40/22.39 Conjecture not found
% 42.87/22.44 Conjecture not found
% 42.99/22.59 Conjecture not found
% 43.06/22.60 Conjecture not found
% 43.06/22.65 Conjecture not found
% 43.06/22.66 Conjecture not found
% 43.06/22.67 Conjecture not found
% 43.14/22.67 Conjecture not found
% 43.16/22.70 Conjecture not found
% 43.26/22.74 Conjecture not found
% 43.26/22.77 Conjecture not found
% 43.26/22.80 Conjecture not found
% 43.73/22.84 Conjecture not found
% 43.80/22.91 Conjecture not found
% 43.80/22.92 Conjecture not found
% 43.80/22.95 Conjecture not found
% 43.91/23.00 Conjecture not found
% 43.94/23.02 Conjecture not found
% 43.95/23.07 Conjecture not found
% 43.95/23.11 Conjecture not found
% 44.05/23.15 Conjecture not found
% 44.05/23.18 Conjecture not found
% 44.70/23.32 Conjecture not found
% 44.70/23.36 Conjecture not found
% 44.70/23.38 Conjecture not found
% 44.79/23.41 Conjecture not found
% 44.79/23.45 Conjecture not found
% 44.79/23.46 Conjecture not found
% 44.79/23.48 Conjecture not found
% 44.88/23.51 Conjecture not found
% 45.02/23.62 Conjecture not found
% 45.19/23.70 Conjecture not found
% 45.19/23.72 Conjecture not found
% 45.56/23.76 Conjecture not found
% 45.56/23.77 Conjecture not found
% 45.56/23.79 Conjecture not found
% 45.65/23.82 Conjecture not found
% 45.65/23.84 Conjecture not found
% 45.65/23.85 Conjecture not found
% 45.65/23.88 Conjecture not found
% 45.72/23.91 Conjecture not found
% 45.72/23.94 Conjecture not found
% 45.72/23.97 Conjecture not found
% 45.81/23.98 Conjecture not found
% 45.82/24.00 Conjecture not found
% 45.85/24.01 Conjecture not found
% 45.86/24.03 Conjecture not found
% 46.37/24.14 Conjecture not found
% 46.37/24.17 Conjecture not found
% 46.37/24.17 Conjecture not found
% 46.37/24.18 Conjecture not found
% 46.48/24.20 Conjecture not found
% 46.48/24.22 Conjecture not found
% 46.48/24.23 Conjecture not found
% 46.48/24.26 Conjecture not found
% 46.48/24.27 Conjecture not found
% 46.57/24.29 Conjecture not found
% 46.63/24.33 Conjecture not found
% 46.63/24.34 Conjecture not found
% 46.63/24.36 Conjecture not found
% 46.63/24.37 Conjecture not found
% 46.71/24.42 Conjecture not found
% 46.71/24.43 Conjecture not found
% 47.33/24.57 Conjecture not found
% 47.37/24.59 Conjecture not found
% 47.37/24.60 Conjecture not found
% 47.49/24.75 Conjecture not found
% 47.49/24.77 Conjecture not found
% 47.56/24.80 Conjecture not found
% 47.56/24.81 Conjecture not found
% 47.56/24.85 Conjecture not found
% 47.66/24.89 Conjecture not found
% 47.84/24.95 Conjecture not found
% 47.84/25.01 Conjecture not found
% 48.32/25.06 Conjecture not found
% 48.45/25.16 Conjecture not found
% 48.45/25.17 Conjecture not found
% 48.49/25.23 Conjecture not found
% 48.52/25.25 Conjecture not found
% 48.52/25.28 Conjecture not found
% 48.52/25.30 Conjecture not found
% 48.52/25.31 Conjecture not found
% 48.52/25.32 Conjecture not found
% 48.62/25.34 Conjecture not found
% 48.62/25.37 Conjecture not found
% 48.62/25.39 Conjecture not found
% 48.97/25.42 Conjecture not found
% 48.97/25.46 Conjecture not found
% 49.28/25.48 Conjecture not found
% 49.29/25.51 Conjecture not found
% 49.33/25.53 Conjecture not found
% 49.34/25.61 Conjecture not found
% 49.42/25.64 Conjecture not found
% 49.48/25.68 Conjecture not found
% 49.48/25.72 Conjecture not found
% 49.48/25.76 Conjecture not found
% 49.58/25.80 Conjecture not found
% 49.89/25.86 Conjecture not found
% 49.89/25.89 Conjecture not found
% 50.23/25.93 Conjecture not found
% 50.30/26.00 Conjecture not found
% 51.12/26.34 Conjecture not found
% 51.12/26.35 Conjecture not found
% 51.23/26.39 Conjecture not found
% 51.26/26.42 Conjecture not found
% 51.26/26.44 Conjecture not found
% 51.26/26.45 Conjecture not found
% 51.26/26.46 Conjecture not found
% 51.26/26.48 Conjecture not found
% 51.26/26.49 Conjecture not found
% 51.26/26.50 Conjecture not found
% 51.26/26.52 Conjecture not found
% 51.36/26.57 Conjecture not found
% 51.79/26.69 Conjecture not found
% 52.17/26.80 Conjecture not found
% 52.17/26.84 Conjecture not found
% 52.17/26.89 Conjecture not found
% 52.26/26.90 Conjecture not found
% 52.26/26.91 Conjecture not found
% 52.26/26.96 Conjecture not found
% 52.26/26.98 Conjecture not found
% 52.36/27.00 Conjecture not found
% 52.36/27.01 Conjecture not found
% 52.36/27.03 Conjecture not found
% 52.45/27.09 Conjecture not found
% 52.46/27.11 Conjecture not found
% 52.49/27.14 Conjecture not found
% 52.49/27.17 Conjecture not found
% 52.49/27.18 Conjecture not found
% 53.13/27.32 Conjecture not found
% 53.13/27.35 Conjecture not found
% 53.13/27.37 Conjecture not found
% 53.21/27.37 Conjecture not found
% 53.24/27.41 Conjecture not found
% 53.26/27.43 Conjecture not found
% 53.26/27.44 Conjecture not found
% 53.26/27.50 Conjecture not found
% 53.26/27.51 Conjecture not found
% 53.35/27.52 Conjecture not found
% 53.35/27.54 Conjecture not found
% 53.35/27.55 Conjecture not found
% 53.35/27.58 Conjecture not found
% 53.43/27.60 Conjecture not found
% 53.43/27.61 Conjecture not found
% 54.11/27.74 Conjecture not found
% 54.11/27.78 Conjecture not found
% 54.11/27.79 Conjecture not found
% 54.11/27.81 Conjecture not found
% 54.24/27.87 Conjecture not found
% 54.24/27.88 Conjecture not found
% 54.24/27.91 Conjecture not found
% 54.24/27.92 Conjecture not found
% 54.35/28.00 Conjecture not found
% 54.35/28.01 Conjecture not found
% 54.39/28.03 Conjecture not found
% 54.41/28.06 Conjecture not found
% 54.86/28.15 Conjecture not found
% 55.08/28.18 Conjecture not found
% 55.08/28.24 Conjecture not found
% 55.20/28.31 Conjecture not found
% 55.25/28.37 Conjecture not found
% 55.25/28.39 Conjecture not found
% 55.30/28.40 Start search
% 114.41/42.71 nb_step : 1 - limit : 133011
% 114.94/43.21 Launch Gotab with destructive = true
%------------------------------------------------------------------------------