TSTP Solution File: LAT355+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT355+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Sat Sep 17 18:05:15 EDT 2022
% Result : Timeout 300.18s 90.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT355+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n025.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 : Thu Sep 1 15:54:26 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000034s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.38 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.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 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.47/0.54 Conjecture not found
% 0.50/0.56 Conjecture not found
% 0.50/0.56 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.50/0.61 Conjecture not found
% 0.50/0.62 Conjecture not found
% 0.62/0.67 Conjecture not found
% 0.84/0.74 Conjecture not found
% 0.84/0.75 Conjecture not found
% 0.96/0.82 Conjecture not found
% 1.02/0.88 Conjecture not found
% 1.15/0.96 Conjecture not found
% 1.22/0.99 Conjecture not found
% 1.34/1.06 Conjecture not found
% 1.41/1.11 Conjecture not found
% 1.50/1.16 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.66/1.23 Conjecture not found
% 1.66/1.24 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.66/1.25 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.42 Conjecture not found
% 1.90/1.43 Conjecture not found
% 1.90/1.43 Conjecture not found
% 2.09/1.48 Conjecture not found
% 2.09/1.53 Conjecture not found
% 2.23/1.53 Conjecture not found
% 2.23/1.53 Conjecture not found
% 2.23/1.55 Conjecture not found
% 2.28/1.57 Conjecture not found
% 2.28/1.58 Conjecture not found
% 2.28/1.60 Conjecture not found
% 2.28/1.62 Conjecture not found
% 2.43/1.64 Conjecture not found
% 2.43/1.66 Conjecture not found
% 2.43/1.67 Conjecture not found
% 2.50/1.68 Conjecture not found
% 2.50/1.71 Conjecture not found
% 2.64/1.76 Conjecture not found
% 2.66/1.80 Conjecture not found
% 2.66/1.81 Conjecture not found
% 2.74/1.83 Conjecture not found
% 2.82/1.86 Conjecture not found
% 2.82/1.90 Conjecture not found
% 2.82/1.91 Conjecture not found
% 2.99/1.94 Conjecture not found
% 3.12/2.03 Conjecture not found
% 3.23/2.06 Conjecture not found
% 3.25/2.09 Conjecture not found
% 3.25/2.10 Conjecture not found
% 3.33/2.12 Conjecture not found
% 3.33/2.14 Conjecture not found
% 3.57/2.29 Conjecture not found
% 3.69/2.32 Conjecture not found
% 3.69/2.35 Conjecture not found
% 3.87/2.44 Conjecture not found
% 3.95/2.45 Conjecture not found
% 3.95/2.47 Conjecture not found
% 3.95/2.49 Conjecture not found
% 3.95/2.52 Conjecture not found
% 4.09/2.57 Conjecture not found
% 4.29/2.65 Conjecture not found
% 4.40/2.73 Conjecture not found
% 4.50/2.78 Conjecture not found
% 4.50/2.79 Conjecture not found
% 4.50/2.83 Conjecture not found
% 4.50/2.83 Conjecture not found
% 4.68/2.87 Conjecture not found
% 4.77/2.92 Conjecture not found
% 4.81/2.94 Conjecture not found
% 4.81/2.94 Conjecture not found
% 4.93/3.01 Conjecture not found
% 4.93/3.03 Conjecture not found
% 5.05/3.06 Conjecture not found
% 5.05/3.15 Conjecture not found
% 5.37/3.24 Conjecture not found
% 5.60/3.39 Conjecture not found
% 5.93/3.60 Conjecture not found
% 6.58/3.91 Conjecture not found
% 6.72/3.94 Conjecture not found
% 6.72/3.97 Conjecture not found
% 6.90/4.08 Conjecture not found
% 7.02/4.13 Conjecture not found
% 7.06/4.18 Conjecture not found
% 7.21/4.26 Conjecture not found
% 7.32/4.31 Conjecture not found
% 7.38/4.37 Conjecture not found
% 7.47/4.42 Conjecture not found
% 7.54/4.44 Conjecture not found
% 7.54/4.46 Conjecture not found
% 7.65/4.49 Conjecture not found
% 7.65/4.50 Conjecture not found
% 7.80/4.58 Conjecture not found
% 7.98/4.68 Conjecture not found
% 7.98/4.72 Conjecture not found
% 8.16/4.82 Conjecture not found
% 8.29/4.85 Conjecture not found
% 8.32/4.90 Conjecture not found
% 8.38/4.94 Conjecture not found
% 8.38/4.95 Conjecture not found
% 8.38/4.98 Conjecture not found
% 8.51/4.99 Conjecture not found
% 8.51/5.00 Conjecture not found
% 8.51/5.04 Conjecture not found
% 8.51/5.04 Conjecture not found
% 8.51/5.05 Conjecture not found
% 8.67/5.07 Conjecture not found
% 8.71/5.11 Conjecture not found
% 8.71/5.13 Conjecture not found
% 8.74/5.18 Conjecture not found
% 8.90/5.22 Conjecture not found
% 9.30/5.39 Conjecture not found
% 9.34/5.42 Conjecture not found
% 9.34/5.43 Conjecture not found
% 9.34/5.44 Conjecture not found
% 9.38/5.47 Conjecture not found
% 9.38/5.49 Conjecture not found
% 9.38/5.52 Conjecture not found
% 9.38/5.53 Conjecture not found
% 9.60/5.56 Conjecture not found
% 9.60/5.58 Conjecture not found
% 9.80/5.67 Conjecture not found
% 10.53/6.15 Conjecture not found
% 11.66/6.68 Conjecture not found
% 11.85/6.79 Conjecture not found
% 11.97/6.85 Conjecture not found
% 11.97/6.87 Conjecture not found
% 11.97/6.90 Conjecture not found
% 11.97/6.95 Conjecture not found
% 12.17/6.96 Conjecture not found
% 12.17/6.97 Conjecture not found
% 12.35/7.02 Conjecture not found
% 12.40/7.08 Conjecture not found
% 12.40/7.13 Conjecture not found
% 12.58/7.16 Conjecture not found
% 12.58/7.17 Conjecture not found
% 12.61/7.21 Conjecture not found
% 12.75/7.26 Conjecture not found
% 12.75/7.30 Conjecture not found
% 12.84/7.33 Conjecture not found
% 12.99/7.40 Conjecture not found
% 12.99/7.42 Conjecture not found
% 12.99/7.45 Conjecture not found
% 13.08/7.48 Conjecture not found
% 13.11/7.50 Conjecture not found
% 13.27/7.55 Conjecture not found
% 13.28/7.59 Conjecture not found
% 13.28/7.60 Conjecture not found
% 13.46/7.66 Conjecture not found
% 13.51/7.70 Conjecture not found
% 13.51/7.72 Conjecture not found
% 13.51/7.73 Conjecture not found
% 13.57/7.75 Conjecture not found
% 13.71/7.77 Conjecture not found
% 13.71/7.79 Conjecture not found
% 13.71/7.81 Conjecture not found
% 13.77/7.84 Conjecture not found
% 13.80/7.87 Conjecture not found
% 13.80/7.88 Conjecture not found
% 13.98/7.93 Conjecture not found
% 13.98/7.96 Conjecture not found
% 14.02/7.99 Conjecture not found
% 14.02/8.02 Conjecture not found
% 14.02/8.03 Conjecture not found
% 14.11/8.06 Conjecture not found
% 14.27/8.09 Conjecture not found
% 14.27/8.12 Conjecture not found
% 14.27/8.14 Conjecture not found
% 14.34/8.15 Conjecture not found
% 14.37/8.17 Conjecture not found
% 14.37/8.21 Conjecture not found
% 14.54/8.24 Conjecture not found
% 14.56/8.29 Conjecture not found
% 14.56/8.30 Conjecture not found
% 14.56/8.31 Conjecture not found
% 14.63/8.35 Conjecture not found
% 14.63/8.36 Conjecture not found
% 14.80/8.37 Conjecture not found
% 14.80/8.38 Conjecture not found
% 14.80/8.39 Conjecture not found
% 14.80/8.39 Conjecture not found
% 14.80/8.40 Conjecture not found
% 14.80/8.40 Conjecture not found
% 14.80/8.42 Conjecture not found
% 15.05/8.50 Conjecture not found
% 15.05/8.51 Conjecture not found
% 15.11/8.53 Conjecture not found
% 15.11/8.55 Conjecture not found
% 15.15/8.57 Conjecture not found
% 15.15/8.60 Conjecture not found
% 15.15/8.62 Conjecture not found
% 15.34/8.66 Conjecture not found
% 15.39/8.69 Conjecture not found
% 15.39/8.75 Conjecture not found
% 15.61/8.79 Conjecture not found
% 15.67/8.84 Conjecture not found
% 15.96/9.01 Conjecture not found
% 16.18/9.08 Conjecture not found
% 16.22/9.13 Conjecture not found
% 16.22/9.13 Conjecture not found
% 16.26/9.15 Conjecture not found
% 16.26/9.20 Conjecture not found
% 16.48/9.23 Conjecture not found
% 16.48/9.25 Conjecture not found
% 16.48/9.29 Conjecture not found
% 16.72/9.38 Conjecture not found
% 16.81/9.44 Conjecture not found
% 16.81/9.49 Conjecture not found
% 17.00/9.55 Conjecture not found
% 17.00/9.57 Conjecture not found
% 17.12/9.63 Conjecture not found
% 17.19/9.67 Conjecture not found
% 17.42/9.75 Conjecture not found
% 17.42/9.83 Conjecture not found
% 17.42/9.84 Conjecture not found
% 17.54/9.87 Conjecture not found
% 17.72/9.90 Conjecture not found
% 17.72/9.93 Conjecture not found
% 17.83/10.01 Conjecture not found
% 18.04/10.10 Conjecture not found
% 18.04/10.12 Conjecture not found
% 18.14/10.16 Conjecture not found
% 18.51/10.42 Conjecture not found
% 18.79/10.50 Conjecture not found
% 18.83/10.53 Conjecture not found
% 18.85/10.55 Conjecture not found
% 18.85/10.56 Conjecture not found
% 18.85/10.59 Conjecture not found
% 19.12/10.67 Conjecture not found
% 19.12/10.73 Conjecture not found
% 19.41/10.82 Conjecture not found
% 19.49/10.89 Conjecture not found
% 19.49/10.91 Conjecture not found
% 19.86/11.04 Conjecture not found
% 19.90/11.09 Conjecture not found
% 19.90/11.13 Conjecture not found
% 20.05/11.19 Conjecture not found
% 20.22/11.25 Conjecture not found
% 20.26/11.26 Conjecture not found
% 20.26/11.29 Conjecture not found
% 20.26/11.30 Conjecture not found
% 20.26/11.31 Conjecture not found
% 20.34/11.35 Conjecture not found
% 20.56/11.41 Conjecture not found
% 20.56/11.43 Conjecture not found
% 20.62/11.45 Conjecture not found
% 20.64/11.51 Conjecture not found
% 20.69/11.52 Conjecture not found
% 20.69/11.54 Conjecture not found
% 20.71/11.58 Conjecture not found
% 21.03/11.69 Conjecture not found
% 21.03/11.70 Conjecture not found
% 21.29/11.76 Conjecture not found
% 21.31/11.77 Conjecture not found
% 21.31/11.78 Conjecture not found
% 21.31/11.78 Conjecture not found
% 21.31/11.80 Conjecture not found
% 21.39/11.86 Conjecture not found
% 21.39/11.86 Conjecture not found
% 21.39/11.88 Conjecture not found
% 21.53/11.97 Conjecture not found
% 21.71/12.04 Conjecture not found
% 21.83/12.11 Conjecture not found
% 21.83/12.12 Conjecture not found
% 22.16/12.27 Conjecture not found
% 22.53/12.41 Conjecture not found
% 22.53/12.43 Conjecture not found
% 22.56/12.47 Conjecture not found
% 22.56/12.48 Conjecture not found
% 22.56/12.49 Conjecture not found
% 22.77/12.59 Conjecture not found
% 22.98/12.67 Conjecture not found
% 22.98/12.71 Conjecture not found
% 22.98/12.72 Conjecture not found
% 23.38/12.86 Conjecture not found
% 23.38/12.89 Conjecture not found
% 23.44/12.91 Conjecture not found
% 23.44/12.95 Conjecture not found
% 23.57/13.01 Conjecture not found
% 23.57/13.01 Conjecture not found
% 23.57/13.05 Conjecture not found
% 23.87/13.12 Conjecture not found
% 23.87/13.14 Conjecture not found
% 24.06/13.17 Conjecture not found
% 24.18/13.23 Conjecture not found
% 24.23/13.27 Conjecture not found
% 24.23/13.27 Conjecture not found
% 24.23/13.31 Conjecture not found
% 24.32/13.36 Conjecture not found
% 24.57/13.41 Conjecture not found
% 24.63/13.45 Conjecture not found
% 24.68/13.51 Conjecture not found
% 24.68/13.52 Conjecture not found
% 24.72/13.58 Conjecture not found
% 25.06/13.68 Conjecture not found
% 25.16/13.76 Conjecture not found
% 25.16/13.78 Conjecture not found
% 25.47/13.88 Conjecture not found
% 25.51/13.91 Conjecture not found
% 25.51/13.92 Conjecture not found
% 25.51/13.93 Conjecture not found
% 25.51/13.93 Conjecture not found
% 25.57/13.95 Conjecture not found
% 25.57/13.96 Conjecture not found
% 25.62/14.03 Conjecture not found
% 25.73/14.14 Conjecture not found
% 26.00/14.19 Conjecture not found
% 26.04/14.21 Conjecture not found
% 26.04/14.21 Conjecture not found
% 26.10/14.28 Conjecture not found
% 26.10/14.31 Conjecture not found
% 26.16/14.33 Conjecture not found
% 26.43/14.43 Conjecture not found
% 26.51/14.44 Conjecture not found
% 26.51/14.48 Conjecture not found
% 26.55/14.54 Conjecture not found
% 26.63/14.57 Conjecture not found
% 26.92/14.63 Conjecture not found
% 27.41/14.87 Conjecture not found
% 27.43/14.91 Conjecture not found
% 27.47/14.92 Conjecture not found
% 27.50/14.98 Conjecture not found
% 27.50/15.00 Conjecture not found
% 27.87/15.08 Conjecture not found
% 27.87/15.11 Conjecture not found
% 27.96/15.19 Conjecture not found
% 28.01/15.23 Conjecture not found
% 28.01/15.23 Conjecture not found
% 28.06/15.29 Conjecture not found
% 28.06/15.32 Conjecture not found
% 28.42/15.35 Conjecture not found
% 28.48/15.40 Conjecture not found
% 28.48/15.41 Conjecture not found
% 28.48/15.42 Conjecture not found
% 28.48/15.42 Conjecture not found
% 28.48/15.46 Conjecture not found
% 28.71/15.49 Conjecture not found
% 28.71/15.54 Conjecture not found
% 28.95/15.63 Conjecture not found
% 28.95/15.68 Conjecture not found
% 28.95/15.71 Conjecture not found
% 29.32/15.73 Conjecture not found
% 29.32/15.76 Conjecture not found
% 29.41/15.82 Conjecture not found
% 29.41/15.84 Conjecture not found
% 29.41/15.85 Conjecture not found
% 29.48/15.88 Conjecture not found
% 29.48/15.91 Conjecture not found
% 29.48/15.96 Conjecture not found
% 29.87/16.02 Conjecture not found
% 29.91/16.06 Conjecture not found
% 29.91/16.13 Conjecture not found
% 30.01/16.15 Conjecture not found
% 30.01/16.16 Conjecture not found
% 30.08/16.21 Conjecture not found
% 30.08/16.26 Conjecture not found
% 30.38/16.32 Conjecture not found
% 30.38/16.35 Conjecture not found
% 30.48/16.36 Conjecture not found
% 30.48/16.38 Conjecture not found
% 30.50/16.41 Conjecture not found
% 30.50/16.42 Conjecture not found
% 30.89/16.56 Conjecture not found
% 30.98/16.57 Conjecture not found
% 30.98/16.59 Conjecture not found
% 30.98/16.63 Conjecture not found
% 31.06/16.66 Conjecture not found
% 31.09/16.71 Conjecture not found
% 31.13/16.73 Conjecture not found
% 31.15/16.77 Conjecture not found
% 31.15/16.80 Conjecture not found
% 31.54/16.87 Conjecture not found
% 31.54/16.90 Conjecture not found
% 31.64/16.95 Conjecture not found
% 31.64/16.97 Conjecture not found
% 31.67/16.99 Conjecture not found
% 31.67/17.00 Conjecture not found
% 31.72/17.03 Conjecture not found
% 31.74/17.07 Conjecture not found
% 31.74/17.11 Conjecture not found
% 32.13/17.19 Conjecture not found
% 32.13/17.20 Conjecture not found
% 32.24/17.28 Conjecture not found
% 32.28/17.32 Conjecture not found
% 32.28/17.34 Conjecture not found
% 32.33/17.36 Conjecture not found
% 32.33/17.38 Conjecture not found
% 32.33/17.40 Conjecture not found
% 32.33/17.41 Conjecture not found
% 32.33/17.42 Conjecture not found
% 32.58/17.47 Conjecture not found
% 32.79/17.50 Conjecture not found
% 32.79/17.52 Conjecture not found
% 32.84/17.58 Conjecture not found
% 32.89/17.63 Conjecture not found
% 33.25/17.76 Conjecture not found
% 33.41/17.80 Conjecture not found
% 33.41/17.85 Conjecture not found
% 33.47/17.92 Conjecture not found
% 33.57/18.00 Conjecture not found
% 33.62/18.04 Conjecture not found
% 34.05/18.14 Conjecture not found
% 34.05/18.15 Conjecture not found
% 34.05/18.16 Conjecture not found
% 34.05/18.17 Conjecture not found
% 34.05/18.18 Conjecture not found
% 34.10/18.19 Conjecture not found
% 34.10/18.21 Conjecture not found
% 34.10/18.22 Conjecture not found
% 34.10/18.24 Conjecture not found
% 34.17/18.25 Conjecture not found
% 34.18/18.28 Conjecture not found
% 34.58/18.39 Conjecture not found
% 34.58/18.42 Conjecture not found
% 34.67/18.46 Conjecture not found
% 34.67/18.47 Conjecture not found
% 34.67/18.49 Conjecture not found
% 34.73/18.56 Conjecture not found
% 34.87/18.66 Conjecture not found
% 35.27/18.72 Conjecture not found
% 35.27/18.74 Conjecture not found
% 35.34/18.84 Conjecture not found
% 35.44/18.88 Conjecture not found
% 35.48/18.91 Conjecture not found
% 35.50/18.95 Conjecture not found
% 35.50/18.96 Conjecture not found
% 35.94/19.05 Conjecture not found
% 35.94/19.07 Conjecture not found
% 35.94/19.08 Conjecture not found
% 36.02/19.13 Conjecture not found
% 36.02/19.15 Conjecture not found
% 36.02/19.16 Conjecture not found
% 36.10/19.18 Conjecture not found
% 36.10/19.19 Conjecture not found
% 36.15/19.24 Conjecture not found
% 36.15/19.28 Conjecture not found
% 36.37/19.37 Conjecture not found
% 36.65/19.41 Conjecture not found
% 36.76/19.50 Conjecture not found
% 36.76/19.51 Conjecture not found
% 36.79/19.54 Conjecture not found
% 36.79/19.57 Conjecture not found
% 36.79/19.60 Conjecture not found
% 36.88/19.62 Conjecture not found
% 36.88/19.63 Conjecture not found
% 37.25/19.83 Conjecture not found
% 37.25/19.85 Conjecture not found
% 37.44/19.88 Conjecture not found
% 37.49/19.94 Conjecture not found
% 37.49/19.95 Conjecture not found
% 37.49/19.97 Conjecture not found
% 37.57/20.00 Conjecture not found
% 37.57/20.01 Conjecture not found
% 37.57/20.04 Conjecture not found
% 37.65/20.09 Conjecture not found
% 37.65/20.11 Conjecture not found
% 37.65/20.15 Conjecture not found
% 37.65/20.17 Conjecture not found
% 37.92/20.19 Conjecture not found
% 38.16/20.22 Conjecture not found
% 38.21/20.29 Conjecture not found
% 38.32/20.36 Conjecture not found
% 38.32/20.40 Conjecture not found
% 38.32/20.45 Conjecture not found
% 38.42/20.49 Conjecture not found
% 38.46/20.50 Conjecture not found
% 38.80/20.57 Conjecture not found
% 38.94/20.65 Conjecture not found
% 38.99/20.69 Conjecture not found
% 38.99/20.72 Conjecture not found
% 39.10/20.77 Conjecture not found
% 39.14/20.80 Conjecture not found
% 39.18/20.86 Conjecture not found
% 39.18/20.89 Conjecture not found
% 39.18/20.90 Conjecture not found
% 39.45/20.98 Conjecture not found
% 39.70/21.03 Conjecture not found
% 39.76/21.06 Conjecture not found
% 39.76/21.09 Conjecture not found
% 39.81/21.12 Conjecture not found
% 39.81/21.13 Conjecture not found
% 39.85/21.17 Conjecture not found
% 39.85/21.20 Conjecture not found
% 39.94/21.25 Conjecture not found
% 39.94/21.26 Conjecture not found
% 40.04/21.32 Conjecture not found
% 40.49/21.40 Conjecture not found
% 40.54/21.43 Conjecture not found
% 40.56/21.45 Conjecture not found
% 40.56/21.48 Conjecture not found
% 40.56/21.48 Conjecture not found
% 40.56/21.50 Conjecture not found
% 40.63/21.54 Conjecture not found
% 40.63/21.56 Conjecture not found
% 40.68/21.58 Conjecture not found
% 40.68/21.62 Conjecture not found
% 40.68/21.63 Conjecture not found
% 40.79/21.70 Conjecture not found
% 40.79/21.71 Conjecture not found
% 40.99/21.73 Conjecture not found
% 41.14/21.76 Conjecture not found
% 41.36/21.83 Conjecture not found
% 41.36/21.85 Conjecture not found
% 41.36/21.87 Conjecture not found
% 41.41/21.89 Conjecture not found
% 41.41/21.91 Conjecture not found
% 41.41/21.94 Conjecture not found
% 41.49/21.98 Conjecture not found
% 41.61/22.10 Conjecture not found
% 42.06/22.13 Conjecture not found
% 42.06/22.15 Conjecture not found
% 42.06/22.16 Conjecture not found
% 42.12/22.25 Conjecture not found
% 42.21/22.26 Conjecture not found
% 42.21/22.28 Conjecture not found
% 42.24/22.32 Conjecture not found
% 42.29/22.39 Conjecture not found
% 42.37/22.43 Conjecture not found
% 43.00/22.62 Conjecture not found
% 43.00/22.63 Conjecture not found
% 43.00/22.69 Conjecture not found
% 43.00/22.70 Conjecture not found
% 43.00/22.70 Conjecture not found
% 43.09/22.71 Conjecture not found
% 43.09/22.75 Conjecture not found
% 43.16/22.79 Conjecture not found
% 43.16/22.81 Conjecture not found
% 43.16/22.83 Conjecture not found
% 43.16/22.87 Conjecture not found
% 43.77/23.00 Conjecture not found
% 43.77/23.01 Conjecture not found
% 43.86/23.04 Conjecture not found
% 43.86/23.09 Conjecture not found
% 43.94/23.11 Conjecture not found
% 43.94/23.16 Conjecture not found
% 44.01/23.20 Conjecture not found
% 44.01/23.24 Conjecture not found
% 44.01/23.26 Conjecture not found
% 44.16/23.37 Conjecture not found
% 44.64/23.44 Conjecture not found
% 44.64/23.47 Conjecture not found
% 44.76/23.50 Conjecture not found
% 44.76/23.54 Conjecture not found
% 44.76/23.55 Conjecture not found
% 44.76/23.57 Conjecture not found
% 44.85/23.60 Conjecture not found
% 44.92/23.69 Conjecture not found
% 44.98/23.73 Conjecture not found
% 44.98/23.74 Conjecture not found
% 45.20/23.83 Conjecture not found
% 45.20/23.85 Conjecture not found
% 45.60/23.88 Conjecture not found
% 45.63/23.91 Conjecture not found
% 45.63/23.93 Conjecture not found
% 45.68/23.94 Conjecture not found
% 45.68/23.98 Conjecture not found
% 45.74/24.00 Conjecture not found
% 45.74/24.04 Conjecture not found
% 45.80/24.06 Conjecture not found
% 45.80/24.07 Conjecture not found
% 45.80/24.10 Conjecture not found
% 45.80/24.11 Conjecture not found
% 45.80/24.13 Conjecture not found
% 45.91/24.19 Conjecture not found
% 45.91/24.21 Conjecture not found
% 45.95/24.21 Conjecture not found
% 45.95/24.22 Conjecture not found
% 45.95/24.23 Conjecture not found
% 45.99/24.25 Conjecture not found
% 45.99/24.29 Conjecture not found
% 46.53/24.35 Conjecture not found
% 46.53/24.37 Conjecture not found
% 46.58/24.39 Conjecture not found
% 46.58/24.43 Conjecture not found
% 46.64/24.45 Conjecture not found
% 46.65/24.46 Conjecture not found
% 46.65/24.48 Conjecture not found
% 46.70/24.53 Conjecture not found
% 46.70/24.54 Conjecture not found
% 46.74/24.63 Conjecture not found
% 46.83/24.64 Conjecture not found
% 46.83/24.65 Conjecture not found
% 47.51/24.85 Conjecture not found
% 47.54/24.87 Conjecture not found
% 47.54/24.89 Conjecture not found
% 47.54/24.90 Conjecture not found
% 47.62/24.94 Conjecture not found
% 47.62/24.97 Conjecture not found
% 47.67/25.00 Conjecture not found
% 47.67/25.03 Conjecture not found
% 47.74/25.06 Conjecture not found
% 48.33/25.21 Conjecture not found
% 48.33/25.21 Conjecture not found
% 48.41/25.28 Conjecture not found
% 48.47/25.30 Conjecture not found
% 48.47/25.33 Conjecture not found
% 48.47/25.34 Conjecture not found
% 48.47/25.35 Conjecture not found
% 48.54/25.36 Conjecture not found
% 48.55/25.39 Conjecture not found
% 48.55/25.41 Conjecture not found
% 48.59/25.42 Conjecture not found
% 48.61/25.44 Conjecture not found
% 48.61/25.47 Conjecture not found
% 48.61/25.48 Conjecture not found
% 48.70/25.52 Conjecture not found
% 48.70/25.56 Conjecture not found
% 49.34/25.69 Conjecture not found
% 49.37/25.72 Conjecture not found
% 49.39/25.75 Conjecture not found
% 49.39/25.80 Conjecture not found
% 49.49/25.83 Conjecture not found
% 49.49/25.88 Conjecture not found
% 49.55/25.90 Conjecture not found
% 49.55/25.92 Conjecture not found
% 49.55/25.96 Conjecture not found
% 49.77/26.04 Conjecture not found
% 50.47/26.33 Conjecture not found
% 50.52/26.35 Conjecture not found
% 50.52/26.42 Conjecture not found
% 51.16/26.46 Conjecture not found
% 51.16/26.48 Conjecture not found
% 51.16/26.49 Conjecture not found
% 51.16/26.51 Conjecture not found
% 51.24/26.52 Conjecture not found
% 51.24/26.54 Conjecture not found
% 51.24/26.55 Conjecture not found
% 51.24/26.56 Conjecture not found
% 51.30/26.62 Conjecture not found
% 51.44/26.72 Conjecture not found
% 51.46/26.78 Conjecture not found
% 51.53/26.82 Conjecture not found
% 51.93/26.92 Conjecture not found
% 51.93/26.94 Conjecture not found
% 52.19/26.96 Conjecture not found
% 52.22/27.01 Conjecture not found
% 52.25/27.03 Conjecture not found
% 52.26/27.05 Conjecture not found
% 52.26/27.06 Conjecture not found
% 52.26/27.08 Conjecture not found
% 52.34/27.14 Conjecture not found
% 52.39/27.17 Conjecture not found
% 52.39/27.21 Conjecture not found
% 52.39/27.25 Conjecture not found
% 52.48/27.26 Conjecture not found
% 52.51/27.32 Conjecture not found
% 52.67/27.38 Conjecture not found
% 52.67/27.40 Conjecture not found
% 53.18/27.41 Conjecture not found
% 53.18/27.46 Conjecture not found
% 53.26/27.48 Conjecture not found
% 53.26/27.49 Conjecture not found
% 53.26/27.55 Conjecture not found
% 53.26/27.55 Conjecture not found
% 53.26/27.57 Conjecture not found
% 53.36/27.59 Conjecture not found
% 53.40/27.60 Conjecture not found
% 53.40/27.62 Conjecture not found
% 53.45/27.65 Conjecture not found
% 53.45/27.66 Conjecture not found
% 53.45/27.74 Conjecture not found
% 53.55/27.78 Conjecture not found
% 53.55/27.79 Conjecture not found
% 53.70/27.81 Conjecture not found
% 54.16/27.91 Conjecture not found
% 54.16/27.92 Conjecture not found
% 54.16/27.94 Conjecture not found
% 54.33/27.96 Conjecture not found
% 54.42/28.04 Conjecture not found
% 54.42/28.06 Conjecture not found
% 54.42/28.08 Conjecture not found
% 54.48/28.11 Conjecture not found
% 54.48/28.14 Conjecture not found
% 54.48/28.15 Conjecture not found
% 54.54/28.20 Conjecture not found
% 55.22/28.33 Conjecture not found
% 55.25/28.39 Conjecture not found
% 55.25/28.41 Conjecture not found
% 55.34/28.43 Conjecture not found
% 55.40/28.50 Conjecture not found
% 55.47/28.56 Conjecture not found
% 55.49/28.57 Start search
% 117.03/44.27 nb_step : 1 - limit : 133793
% 117.56/44.81 Launch Gotab with destructive = true
%------------------------------------------------------------------------------