TSTP Solution File: LAT363+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT363+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n022.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:19 EDT 2022
% Result : Timeout 300.54s 95.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : LAT363+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.11 % Command : goeland -dmt -presko -proof %s
% 0.10/0.32 % Computer : n022.cluster.edu
% 0.10/0.32 % Model : x86_64 x86_64
% 0.10/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.32 % Memory : 8042.1875MB
% 0.10/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.32 % CPULimit : 300
% 0.10/0.32 % WCLimit : 300
% 0.10/0.32 % DateTime : Thu Sep 1 16:05:03 EDT 2022
% 0.10/0.32 % CPUTime :
% 0.10/0.33 [DMT] DMT loaded with preskolemization
% 0.10/0.33 [EQ] equality loaded.
% 0.10/0.33 [0.000025s][1][MAIN] Problem : theBenchmark.p
% 0.17/0.40 Conjecture not found
% 0.17/0.40 Conjecture not found
% 0.17/0.41 Conjecture not found
% 0.17/0.41 Conjecture not found
% 0.17/0.42 Conjecture not found
% 0.17/0.43 Conjecture not found
% 0.17/0.45 Conjecture not found
% 0.17/0.47 Conjecture not found
% 0.17/0.49 Conjecture not found
% 0.17/0.49 Conjecture not found
% 0.17/0.53 Conjecture not found
% 0.54/0.58 Conjecture not found
% 0.54/0.60 Conjecture not found
% 0.54/0.61 Conjecture not found
% 0.54/0.62 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.75/0.72 Conjecture not found
% 0.85/0.80 Conjecture not found
% 0.85/0.80 Conjecture not found
% 1.04/0.91 Conjecture not found
% 1.15/0.96 Conjecture not found
% 1.27/1.05 Conjecture not found
% 1.37/1.11 Conjecture not found
% 1.51/1.18 Conjecture not found
% 1.58/1.23 Conjecture not found
% 1.63/1.30 Conjecture not found
% 1.79/1.33 Conjecture not found
% 1.79/1.36 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.79/1.39 Conjecture not found
% 1.79/1.39 Conjecture not found
% 1.90/1.40 Conjecture not found
% 2.14/1.53 Conjecture not found
% 2.23/1.55 Conjecture not found
% 2.23/1.55 Conjecture not found
% 2.23/1.57 Conjecture not found
% 2.23/1.57 Conjecture not found
% 2.23/1.58 Conjecture not found
% 2.23/1.58 Conjecture not found
% 2.23/1.59 Conjecture not found
% 2.23/1.59 Conjecture not found
% 2.43/1.67 Conjecture not found
% 2.53/1.73 Conjecture not found
% 2.53/1.73 Conjecture not found
% 2.53/1.74 Conjecture not found
% 2.53/1.75 Conjecture not found
% 2.53/1.77 Conjecture not found
% 2.70/1.79 Conjecture not found
% 2.76/1.80 Conjecture not found
% 2.82/1.82 Conjecture not found
% 2.82/1.84 Conjecture not found
% 2.82/1.86 Conjecture not found
% 2.82/1.87 Conjecture not found
% 2.82/1.88 Conjecture not found
% 3.04/1.93 Conjecture not found
% 3.04/1.99 Conjecture not found
% 3.23/2.03 Conjecture not found
% 3.23/2.03 Conjecture not found
% 3.23/2.05 Conjecture not found
% 3.41/2.08 Conjecture not found
% 3.41/2.09 Conjecture not found
% 3.47/2.11 Conjecture not found
% 3.53/2.15 Conjecture not found
% 3.72/2.24 Conjecture not found
% 3.72/2.26 Conjecture not found
% 3.72/2.28 Conjecture not found
% 3.72/2.29 Conjecture not found
% 3.92/2.33 Conjecture not found
% 3.92/2.34 Conjecture not found
% 4.35/2.54 Conjecture not found
% 4.35/2.57 Conjecture not found
% 4.35/2.59 Conjecture not found
% 4.72/2.71 Conjecture not found
% 4.72/2.72 Conjecture not found
% 4.72/2.73 Conjecture not found
% 4.72/2.75 Conjecture not found
% 4.91/2.82 Conjecture not found
% 4.98/2.88 Conjecture not found
% 5.18/2.98 Conjecture not found
% 5.45/3.07 Conjecture not found
% 5.54/3.14 Conjecture not found
% 5.54/3.14 Conjecture not found
% 5.54/3.17 Conjecture not found
% 5.54/3.17 Conjecture not found
% 5.54/3.20 Conjecture not found
% 5.73/3.23 Conjecture not found
% 5.73/3.29 Conjecture not found
% 5.88/3.31 Conjecture not found
% 6.02/3.38 Conjecture not found
% 6.06/3.39 Conjecture not found
% 6.19/3.43 Conjecture not found
% 6.23/3.50 Conjecture not found
% 6.49/3.61 Conjecture not found
% 6.92/3.77 Conjecture not found
% 7.43/3.99 Conjecture not found
% 8.29/4.35 Conjecture not found
% 8.31/4.37 Conjecture not found
% 8.31/4.40 Conjecture not found
% 8.67/4.50 Conjecture not found
% 8.67/4.53 Conjecture not found
% 8.67/4.56 Conjecture not found
% 8.99/4.64 Conjecture not found
% 8.99/4.69 Conjecture not found
% 9.15/4.76 Conjecture not found
% 9.30/4.81 Conjecture not found
% 9.30/4.84 Conjecture not found
% 9.30/4.85 Conjecture not found
% 9.39/4.87 Conjecture not found
% 9.39/4.88 Conjecture not found
% 9.52/4.98 Conjecture not found
% 9.71/5.05 Conjecture not found
% 9.84/5.14 Conjecture not found
% 10.10/5.26 Conjecture not found
% 10.10/5.29 Conjecture not found
% 10.26/5.34 Conjecture not found
% 10.26/5.36 Conjecture not found
% 10.26/5.38 Conjecture not found
% 10.35/5.41 Conjecture not found
% 10.35/5.43 Conjecture not found
% 10.35/5.46 Conjecture not found
% 10.54/5.51 Conjecture not found
% 10.54/5.51 Conjecture not found
% 10.56/5.52 Conjecture not found
% 10.56/5.54 Conjecture not found
% 10.56/5.58 Conjecture not found
% 10.56/5.60 Conjecture not found
% 10.56/5.63 Conjecture not found
% 10.74/5.66 Conjecture not found
% 11.10/5.85 Conjecture not found
% 11.29/5.89 Conjecture not found
% 11.29/5.90 Conjecture not found
% 11.33/5.91 Conjecture not found
% 11.34/5.93 Conjecture not found
% 11.34/5.96 Conjecture not found
% 11.57/6.04 Conjecture not found
% 11.57/6.05 Conjecture not found
% 11.57/6.08 Conjecture not found
% 11.69/6.10 Conjecture not found
% 11.91/6.20 Conjecture not found
% 12.88/6.76 Conjecture not found
% 14.09/7.28 Conjecture not found
% 14.25/7.38 Conjecture not found
% 14.45/7.46 Conjecture not found
% 14.45/7.48 Conjecture not found
% 14.45/7.50 Conjecture not found
% 14.51/7.54 Conjecture not found
% 14.51/7.56 Conjecture not found
% 14.70/7.58 Conjecture not found
% 14.70/7.63 Conjecture not found
% 14.96/7.68 Conjecture not found
% 15.03/7.73 Conjecture not found
% 15.04/7.76 Conjecture not found
% 15.04/7.76 Conjecture not found
% 15.23/7.81 Conjecture not found
% 15.23/7.87 Conjecture not found
% 15.33/7.91 Conjecture not found
% 15.33/7.97 Conjecture not found
% 15.56/8.03 Conjecture not found
% 15.57/8.04 Conjecture not found
% 15.57/8.06 Conjecture not found
% 15.57/8.08 Conjecture not found
% 15.57/8.09 Conjecture not found
% 15.81/8.12 Conjecture not found
% 15.81/8.18 Conjecture not found
% 16.04/8.19 Conjecture not found
% 16.04/8.23 Conjecture not found
% 16.16/8.27 Conjecture not found
% 16.26/8.30 Conjecture not found
% 16.30/8.32 Conjecture not found
% 16.32/8.34 Conjecture not found
% 16.32/8.38 Conjecture not found
% 16.32/8.40 Conjecture not found
% 16.40/8.42 Conjecture not found
% 16.40/8.44 Conjecture not found
% 16.40/8.46 Conjecture not found
% 16.40/8.47 Conjecture not found
% 16.65/8.51 Conjecture not found
% 16.65/8.53 Conjecture not found
% 16.65/8.56 Conjecture not found
% 16.86/8.59 Conjecture not found
% 16.89/8.60 Conjecture not found
% 16.93/8.62 Conjecture not found
% 16.93/8.65 Conjecture not found
% 16.93/8.67 Conjecture not found
% 16.93/8.69 Conjecture not found
% 16.93/8.71 Conjecture not found
% 17.17/8.75 Conjecture not found
% 17.27/8.80 Conjecture not found
% 17.27/8.82 Conjecture not found
% 17.27/8.86 Conjecture not found
% 17.27/8.86 Conjecture not found
% 17.47/8.89 Conjecture not found
% 17.47/8.97 Conjecture not found
% 17.57/8.98 Conjecture not found
% 17.57/9.00 Conjecture not found
% 17.59/9.01 Conjecture not found
% 17.61/9.02 Conjecture not found
% 17.61/9.02 Conjecture not found
% 17.61/9.03 Conjecture not found
% 17.61/9.04 Conjecture not found
% 17.61/9.09 Conjecture not found
% 17.97/9.22 Conjecture not found
% 17.97/9.24 Conjecture not found
% 17.97/9.29 Conjecture not found
% 18.16/9.32 Conjecture not found
% 18.16/9.33 Conjecture not found
% 18.16/9.34 Conjecture not found
% 18.16/9.36 Conjecture not found
% 18.28/9.40 Conjecture not found
% 18.37/9.48 Conjecture not found
% 18.54/9.53 Conjecture not found
% 18.54/9.58 Conjecture not found
% 18.63/9.63 Conjecture not found
% 18.87/9.78 Conjecture not found
% 19.16/9.88 Conjecture not found
% 19.31/9.93 Conjecture not found
% 19.31/9.94 Conjecture not found
% 19.31/9.98 Conjecture not found
% 19.60/10.02 Conjecture not found
% 19.60/10.06 Conjecture not found
% 19.60/10.08 Conjecture not found
% 19.71/10.18 Conjecture not found
% 20.04/10.25 Conjecture not found
% 20.30/10.31 Conjecture not found
% 20.30/10.37 Conjecture not found
% 20.39/10.43 Conjecture not found
% 20.39/10.44 Conjecture not found
% 20.64/10.49 Conjecture not found
% 20.67/10.55 Conjecture not found
% 20.75/10.61 Conjecture not found
% 21.01/10.72 Conjecture not found
% 21.01/10.73 Conjecture not found
% 21.01/10.75 Conjecture not found
% 21.01/10.77 Conjecture not found
% 21.10/10.78 Conjecture not found
% 21.30/10.87 Conjecture not found
% 21.42/10.92 Conjecture not found
% 21.42/10.93 Conjecture not found
% 21.66/11.00 Conjecture not found
% 22.22/11.34 Conjecture not found
% 22.57/11.44 Conjecture not found
% 22.57/11.49 Conjecture not found
% 22.57/11.50 Conjecture not found
% 22.57/11.51 Conjecture not found
% 22.66/11.52 Conjecture not found
% 22.89/11.59 Conjecture not found
% 22.89/11.67 Conjecture not found
% 23.17/11.74 Conjecture not found
% 23.40/11.83 Conjecture not found
% 23.40/11.86 Conjecture not found
% 23.78/11.99 Conjecture not found
% 23.86/12.04 Conjecture not found
% 23.86/12.08 Conjecture not found
% 23.98/12.12 Conjecture not found
% 23.98/12.18 Conjecture not found
% 24.24/12.19 Conjecture not found
% 24.24/12.22 Conjecture not found
% 24.24/12.23 Conjecture not found
% 24.24/12.24 Conjecture not found
% 24.34/12.30 Conjecture not found
% 24.37/12.32 Conjecture not found
% 24.39/12.37 Conjecture not found
% 24.39/12.39 Conjecture not found
% 24.67/12.45 Conjecture not found
% 24.67/12.46 Conjecture not found
% 24.74/12.49 Conjecture not found
% 24.74/12.52 Conjecture not found
% 25.08/12.67 Conjecture not found
% 25.08/12.69 Conjecture not found
% 25.17/12.76 Conjecture not found
% 25.17/12.76 Conjecture not found
% 25.17/12.77 Conjecture not found
% 25.17/12.77 Conjecture not found
% 25.17/12.78 Conjecture not found
% 25.34/12.85 Conjecture not found
% 25.34/12.86 Conjecture not found
% 25.34/12.88 Conjecture not found
% 25.57/12.95 Conjecture not found
% 25.65/13.04 Conjecture not found
% 25.99/13.14 Conjecture not found
% 25.99/13.15 Conjecture not found
% 26.11/13.32 Conjecture not found
% 26.53/13.44 Conjecture not found
% 26.53/13.48 Conjecture not found
% 26.83/13.53 Conjecture not found
% 26.83/13.55 Conjecture not found
% 26.83/13.56 Conjecture not found
% 26.92/13.65 Conjecture not found
% 27.26/13.74 Conjecture not found
% 27.26/13.78 Conjecture not found
% 27.43/13.81 Conjecture not found
% 27.62/13.95 Conjecture not found
% 27.84/14.02 Conjecture not found
% 27.84/14.04 Conjecture not found
% 27.84/14.08 Conjecture not found
% 27.93/14.16 Conjecture not found
% 27.93/14.17 Conjecture not found
% 28.29/14.23 Conjecture not found
% 28.37/14.32 Conjecture not found
% 28.37/14.34 Conjecture not found
% 28.37/14.35 Conjecture not found
% 28.59/14.43 Conjecture not found
% 28.79/14.50 Conjecture not found
% 28.79/14.51 Conjecture not found
% 28.83/14.55 Conjecture not found
% 28.83/14.59 Conjecture not found
% 28.91/14.62 Conjecture not found
% 29.23/14.71 Conjecture not found
% 29.23/14.77 Conjecture not found
% 29.34/14.79 Conjecture not found
% 29.39/14.84 Conjecture not found
% 29.39/14.92 Conjecture not found
% 29.81/15.00 Conjecture not found
% 29.81/15.01 Conjecture not found
% 30.01/15.07 Conjecture not found
% 30.07/15.10 Conjecture not found
% 30.22/15.14 Conjecture not found
% 30.22/15.14 Conjecture not found
% 30.22/15.17 Conjecture not found
% 30.22/15.21 Conjecture not found
% 30.22/15.21 Conjecture not found
% 30.31/15.28 Conjecture not found
% 30.38/15.37 Conjecture not found
% 30.80/15.48 Conjecture not found
% 30.80/15.49 Conjecture not found
% 30.80/15.49 Conjecture not found
% 30.87/15.53 Conjecture not found
% 30.87/15.55 Conjecture not found
% 30.87/15.55 Conjecture not found
% 31.04/15.66 Conjecture not found
% 31.27/15.68 Conjecture not found
% 31.32/15.74 Conjecture not found
% 31.32/15.80 Conjecture not found
% 31.41/15.83 Conjecture not found
% 31.41/15.89 Conjecture not found
% 32.12/16.16 Conjecture not found
% 32.45/16.25 Conjecture not found
% 32.45/16.26 Conjecture not found
% 32.56/16.34 Conjecture not found
% 32.56/16.37 Conjecture not found
% 32.93/16.46 Conjecture not found
% 33.06/16.50 Conjecture not found
% 33.16/16.60 Conjecture not found
% 33.18/16.64 Conjecture not found
% 33.18/16.65 Conjecture not found
% 33.55/16.72 Conjecture not found
% 33.55/16.77 Conjecture not found
% 33.65/16.84 Conjecture not found
% 33.76/16.91 Conjecture not found
% 33.77/16.92 Conjecture not found
% 33.77/16.92 Conjecture not found
% 33.77/16.93 Conjecture not found
% 33.77/16.97 Conjecture not found
% 33.77/16.99 Conjecture not found
% 34.11/17.06 Conjecture not found
% 34.30/17.14 Conjecture not found
% 34.51/17.21 Conjecture not found
% 34.54/17.26 Conjecture not found
% 34.54/17.28 Conjecture not found
% 34.54/17.30 Conjecture not found
% 34.87/17.36 Conjecture not found
% 34.87/17.38 Conjecture not found
% 34.87/17.39 Conjecture not found
% 34.95/17.42 Conjecture not found
% 34.95/17.45 Conjecture not found
% 35.06/17.51 Conjecture not found
% 35.07/17.56 Conjecture not found
% 35.07/17.60 Conjecture not found
% 35.48/17.67 Conjecture not found
% 35.48/17.69 Conjecture not found
% 35.56/17.70 Conjecture not found
% 35.56/17.78 Conjecture not found
% 35.56/17.79 Conjecture not found
% 35.95/17.85 Conjecture not found
% 35.95/17.86 Conjecture not found
% 35.95/17.88 Conjecture not found
% 35.95/17.89 Conjecture not found
% 35.95/17.91 Conjecture not found
% 36.05/17.92 Conjecture not found
% 36.36/18.06 Conjecture not found
% 36.36/18.06 Conjecture not found
% 36.36/18.07 Conjecture not found
% 36.70/18.11 Conjecture not found
% 36.70/18.14 Conjecture not found
% 36.89/18.19 Conjecture not found
% 36.94/18.24 Conjecture not found
% 36.94/18.30 Conjecture not found
% 37.04/18.37 Conjecture not found
% 37.42/18.43 Conjecture not found
% 37.42/18.48 Conjecture not found
% 37.52/18.52 Conjecture not found
% 37.52/18.54 Conjecture not found
% 37.52/18.55 Conjecture not found
% 37.52/18.56 Conjecture not found
% 37.62/18.60 Conjecture not found
% 37.64/18.68 Conjecture not found
% 37.73/18.72 Conjecture not found
% 38.13/18.79 Conjecture not found
% 38.13/18.81 Conjecture not found
% 38.26/18.92 Conjecture not found
% 38.26/18.97 Conjecture not found
% 38.26/18.99 Conjecture not found
% 38.35/19.02 Conjecture not found
% 38.35/19.05 Conjecture not found
% 38.69/19.12 Conjecture not found
% 38.69/19.14 Conjecture not found
% 38.69/19.18 Conjecture not found
% 38.85/19.25 Conjecture not found
% 38.85/19.29 Conjecture not found
% 38.94/19.32 Conjecture not found
% 38.94/19.37 Conjecture not found
% 39.03/19.42 Conjecture not found
% 39.46/19.56 Conjecture not found
% 39.56/19.60 Conjecture not found
% 39.56/19.65 Conjecture not found
% 39.66/19.72 Conjecture not found
% 39.94/19.86 Conjecture not found
% 40.30/19.91 Conjecture not found
% 40.30/19.97 Conjecture not found
% 40.30/19.99 Conjecture not found
% 40.38/20.00 Conjecture not found
% 40.38/20.01 Conjecture not found
% 40.38/20.02 Conjecture not found
% 40.38/20.04 Conjecture not found
% 40.38/20.06 Conjecture not found
% 40.38/20.07 Conjecture not found
% 40.49/20.11 Conjecture not found
% 40.50/20.12 Conjecture not found
% 40.50/20.16 Conjecture not found
% 40.93/20.28 Conjecture not found
% 41.11/20.31 Conjecture not found
% 41.11/20.36 Conjecture not found
% 41.11/20.38 Conjecture not found
% 41.11/20.39 Conjecture not found
% 41.25/20.47 Conjecture not found
% 41.75/20.64 Conjecture not found
% 41.75/20.67 Conjecture not found
% 41.84/20.68 Conjecture not found
% 41.88/20.81 Conjecture not found
% 41.97/20.86 Conjecture not found
% 42.05/20.90 Conjecture not found
% 42.05/20.97 Conjecture not found
% 42.46/20.99 Conjecture not found
% 42.50/21.08 Conjecture not found
% 42.50/21.10 Conjecture not found
% 42.58/21.11 Conjecture not found
% 42.58/21.16 Conjecture not found
% 42.66/21.19 Conjecture not found
% 42.66/21.20 Conjecture not found
% 42.66/21.22 Conjecture not found
% 42.66/21.23 Conjecture not found
% 42.75/21.28 Conjecture not found
% 42.92/21.39 Conjecture not found
% 43.37/21.46 Conjecture not found
% 43.49/21.53 Conjecture not found
% 43.61/21.63 Conjecture not found
% 43.61/21.64 Conjecture not found
% 43.61/21.67 Conjecture not found
% 43.61/21.68 Conjecture not found
% 43.93/21.72 Conjecture not found
% 43.93/21.76 Conjecture not found
% 43.93/21.76 Conjecture not found
% 44.16/21.87 Conjecture not found
% 44.24/21.88 Conjecture not found
% 44.26/21.90 Conjecture not found
% 44.28/21.94 Conjecture not found
% 44.28/21.95 Conjecture not found
% 44.28/21.97 Conjecture not found
% 44.28/22.00 Conjecture not found
% 44.38/22.02 Conjecture not found
% 44.38/22.07 Conjecture not found
% 44.82/22.13 Conjecture not found
% 44.82/22.17 Conjecture not found
% 44.94/22.21 Conjecture not found
% 44.95/22.22 Conjecture not found
% 44.95/22.24 Conjecture not found
% 44.95/22.25 Conjecture not found
% 44.95/22.29 Conjecture not found
% 45.12/22.39 Conjecture not found
% 45.12/22.42 Conjecture not found
% 45.66/22.54 Conjecture not found
% 45.75/22.61 Conjecture not found
% 45.75/22.62 Conjecture not found
% 45.75/22.66 Conjecture not found
% 45.84/22.76 Conjecture not found
% 45.93/22.80 Conjecture not found
% 45.95/22.83 Conjecture not found
% 46.43/22.92 Conjecture not found
% 46.43/22.95 Conjecture not found
% 46.63/22.99 Conjecture not found
% 46.63/23.03 Conjecture not found
% 46.63/23.05 Conjecture not found
% 46.63/23.08 Conjecture not found
% 46.74/23.12 Conjecture not found
% 46.74/23.14 Conjecture not found
% 46.74/23.16 Conjecture not found
% 46.74/23.18 Conjecture not found
% 46.85/23.21 Conjecture not found
% 46.85/23.27 Conjecture not found
% 47.07/23.34 Conjecture not found
% 47.48/23.44 Conjecture not found
% 47.48/23.45 Conjecture not found
% 47.48/23.48 Conjecture not found
% 47.57/23.52 Conjecture not found
% 47.57/23.54 Conjecture not found
% 47.57/23.56 Conjecture not found
% 47.66/23.61 Conjecture not found
% 47.66/23.62 Conjecture not found
% 47.66/23.64 Conjecture not found
% 47.66/23.68 Conjecture not found
% 47.80/23.70 Conjecture not found
% 47.93/23.77 Conjecture not found
% 48.33/23.81 Conjecture not found
% 48.33/23.81 Conjecture not found
% 48.33/23.87 Conjecture not found
% 48.46/23.89 Conjecture not found
% 48.46/23.91 Conjecture not found
% 48.46/23.93 Conjecture not found
% 48.46/23.97 Conjecture not found
% 48.46/23.99 Conjecture not found
% 48.59/24.02 Conjecture not found
% 48.60/24.05 Conjecture not found
% 48.60/24.06 Conjecture not found
% 48.60/24.11 Conjecture not found
% 49.11/24.22 Conjecture not found
% 49.36/24.32 Conjecture not found
% 49.36/24.34 Conjecture not found
% 49.36/24.35 Conjecture not found
% 49.36/24.36 Conjecture not found
% 49.45/24.47 Conjecture not found
% 49.45/24.48 Conjecture not found
% 49.52/24.50 Conjecture not found
% 49.52/24.55 Conjecture not found
% 50.10/24.73 Conjecture not found
% 50.19/24.76 Conjecture not found
% 50.37/24.91 Conjecture not found
% 50.37/24.92 Conjecture not found
% 50.40/24.98 Conjecture not found
% 50.40/24.99 Conjecture not found
% 50.40/25.00 Conjecture not found
% 50.40/25.02 Conjecture not found
% 50.49/25.06 Conjecture not found
% 50.93/25.15 Conjecture not found
% 50.93/25.18 Conjecture not found
% 51.06/25.20 Conjecture not found
% 51.10/25.25 Conjecture not found
% 51.18/25.32 Conjecture not found
% 51.18/25.33 Conjecture not found
% 51.18/25.36 Conjecture not found
% 51.25/25.44 Conjecture not found
% 51.25/25.46 Conjecture not found
% 51.60/25.54 Conjecture not found
% 51.96/25.64 Conjecture not found
% 51.96/25.68 Conjecture not found
% 52.05/25.70 Conjecture not found
% 52.17/25.82 Conjecture not found
% 52.17/25.86 Conjecture not found
% 52.17/25.88 Conjecture not found
% 52.27/25.92 Conjecture not found
% 52.27/25.95 Conjecture not found
% 52.27/25.97 Conjecture not found
% 52.35/26.00 Conjecture not found
% 52.35/26.02 Conjecture not found
% 52.96/26.13 Conjecture not found
% 52.96/26.16 Conjecture not found
% 52.96/26.17 Conjecture not found
% 52.96/26.20 Conjecture not found
% 52.96/26.21 Conjecture not found
% 53.09/26.23 Conjecture not found
% 53.09/26.25 Conjecture not found
% 53.09/26.26 Conjecture not found
% 53.09/26.27 Conjecture not found
% 53.19/26.32 Conjecture not found
% 53.19/26.35 Conjecture not found
% 53.19/26.38 Conjecture not found
% 53.19/26.40 Conjecture not found
% 53.28/26.41 Conjecture not found
% 53.38/26.48 Conjecture not found
% 53.38/26.49 Conjecture not found
% 53.86/26.53 Conjecture not found
% 53.86/26.59 Conjecture not found
% 53.94/26.61 Conjecture not found
% 53.94/26.61 Conjecture not found
% 53.94/26.62 Conjecture not found
% 53.94/26.64 Conjecture not found
% 53.94/26.66 Conjecture not found
% 54.03/26.70 Conjecture not found
% 54.06/26.72 Conjecture not found
% 54.06/26.74 Conjecture not found
% 54.06/26.76 Conjecture not found
% 54.06/26.80 Conjecture not found
% 54.06/26.81 Conjecture not found
% 54.16/26.82 Conjecture not found
% 54.16/26.84 Conjecture not found
% 54.16/26.89 Conjecture not found
% 54.23/26.90 Conjecture not found
% 54.81/27.04 Conjecture not found
% 54.81/27.05 Conjecture not found
% 54.81/27.07 Conjecture not found
% 54.99/27.23 Conjecture not found
% 54.99/27.25 Conjecture not found
% 55.07/27.27 Conjecture not found
% 55.07/27.29 Conjecture not found
% 55.12/27.33 Conjecture not found
% 55.12/27.39 Conjecture not found
% 55.63/27.49 Conjecture not found
% 55.76/27.55 Conjecture not found
% 55.76/27.59 Conjecture not found
% 55.89/27.69 Conjecture not found
% 55.89/27.70 Conjecture not found
% 55.99/27.78 Conjecture not found
% 56.07/27.82 Conjecture not found
% 56.07/27.86 Conjecture not found
% 56.14/27.87 Conjecture not found
% 56.14/27.88 Conjecture not found
% 56.14/27.89 Conjecture not found
% 56.17/27.91 Conjecture not found
% 56.31/27.94 Conjecture not found
% 56.31/27.96 Conjecture not found
% 56.31/27.99 Conjecture not found
% 56.31/28.02 Conjecture not found
% 56.79/28.03 Conjecture not found
% 56.79/28.07 Conjecture not found
% 56.79/28.09 Conjecture not found
% 56.87/28.17 Conjecture not found
% 57.00/28.22 Conjecture not found
% 57.00/28.26 Conjecture not found
% 57.00/28.29 Conjecture not found
% 57.07/28.32 Conjecture not found
% 57.44/28.37 Conjecture not found
% 57.44/28.42 Conjecture not found
% 57.44/28.43 Conjecture not found
% 57.44/28.46 Conjecture not found
% 57.80/28.52 Conjecture not found
% 58.73/28.91 Conjecture not found
% 58.73/28.93 Conjecture not found
% 58.73/28.97 Conjecture not found
% 58.81/29.00 Conjecture not found
% 58.81/29.02 Conjecture not found
% 58.81/29.03 Conjecture not found
% 58.81/29.04 Conjecture not found
% 58.81/29.06 Conjecture not found
% 58.81/29.07 Conjecture not found
% 58.90/29.08 Conjecture not found
% 58.93/29.12 Conjecture not found
% 58.94/29.20 Conjecture not found
% 59.41/29.34 Conjecture not found
% 59.75/29.44 Conjecture not found
% 59.75/29.47 Conjecture not found
% 59.85/29.51 Conjecture not found
% 59.85/29.52 Conjecture not found
% 59.85/29.53 Conjecture not found
% 59.85/29.57 Conjecture not found
% 59.85/29.58 Conjecture not found
% 59.93/29.59 Conjecture not found
% 59.93/29.62 Conjecture not found
% 59.93/29.65 Conjecture not found
% 60.03/29.69 Conjecture not found
% 60.05/29.72 Conjecture not found
% 60.05/29.76 Conjecture not found
% 60.59/29.85 Conjecture not found
% 60.59/29.86 Conjecture not found
% 60.59/29.91 Conjecture not found
% 60.79/29.93 Conjecture not found
% 60.79/29.96 Conjecture not found
% 60.79/29.97 Conjecture not found
% 60.79/30.00 Conjecture not found
% 60.89/30.02 Conjecture not found
% 60.89/30.02 Conjecture not found
% 60.89/30.07 Conjecture not found
% 60.89/30.08 Conjecture not found
% 60.98/30.11 Conjecture not found
% 60.98/30.13 Conjecture not found
% 60.98/30.14 Conjecture not found
% 60.98/30.16 Conjecture not found
% 60.98/30.18 Conjecture not found
% 61.16/30.20 Conjecture not found
% 61.75/30.32 Conjecture not found
% 61.75/30.35 Conjecture not found
% 61.75/30.36 Conjecture not found
% 61.75/30.37 Conjecture not found
% 61.85/30.47 Conjecture not found
% 61.85/30.47 Conjecture not found
% 61.94/30.50 Conjecture not found
% 61.94/30.52 Conjecture not found
% 62.07/30.63 Conjecture not found
% 62.07/30.65 Conjecture not found
% 62.07/30.68 Conjecture not found
% 62.44/30.74 Conjecture not found
% 62.84/30.81 Conjecture not found
% 62.84/30.84 Conjecture not found
% 62.94/30.89 Conjecture not found
% 62.98/30.98 Conjecture not found
% 63.06/31.06 Conjecture not found
% 63.06/31.07 Conjecture not found
% 63.13/31.09 Conjecture not found
% 63.22/31.18 Conjecture not found
% 63.27/31.31 Conjecture not found
% 63.78/31.36 Start search
% 132.72/48.25 nb_step : 1 - limit : 133893
% 133.69/48.78 Launch Gotab with destructive = true
%------------------------------------------------------------------------------