TSTP Solution File: LAT343+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT343+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n012.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:08 EDT 2022
% Result : Timeout 300.40s 90.19s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : LAT343+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.15 % Command : goeland -dmt -presko -proof %s
% 0.15/0.37 % Computer : n012.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 300
% 0.15/0.37 % DateTime : Thu Sep 1 15:16:27 EDT 2022
% 0.15/0.37 % CPUTime :
% 0.15/0.38 [DMT] DMT loaded with preskolemization
% 0.15/0.38 [EQ] equality loaded.
% 0.15/0.38 [0.000049s][1][MAIN] Problem : theBenchmark.p
% 0.15/0.40 Conjecture not found
% 0.15/0.41 Conjecture not found
% 0.23/0.41 Conjecture not found
% 0.23/0.41 Conjecture not found
% 0.23/0.42 Conjecture not found
% 0.23/0.44 Conjecture not found
% 0.23/0.47 Conjecture not found
% 0.23/0.49 Conjecture not found
% 0.23/0.50 Conjecture not found
% 0.23/0.50 Conjecture not found
% 0.23/0.53 Conjecture not found
% 0.23/0.57 Conjecture not found
% 0.52/0.58 Conjecture not found
% 0.52/0.59 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.56/0.62 Conjecture not found
% 0.61/0.64 Conjecture not found
% 0.61/0.69 Conjecture not found
% 0.77/0.77 Conjecture not found
% 0.77/0.77 Conjecture not found
% 0.99/0.86 Conjecture not found
% 1.07/0.91 Conjecture not found
% 1.13/1.00 Conjecture not found
% 1.13/1.03 Conjecture not found
% 1.40/1.10 Conjecture not found
% 1.40/1.14 Conjecture not found
% 1.56/1.19 Conjecture not found
% 1.62/1.23 Conjecture not found
% 1.65/1.26 Conjecture not found
% 1.65/1.28 Conjecture not found
% 1.65/1.28 Conjecture not found
% 1.65/1.29 Conjecture not found
% 1.65/1.30 Conjecture not found
% 1.87/1.41 Conjecture not found
% 1.87/1.43 Conjecture not found
% 1.87/1.44 Conjecture not found
% 1.87/1.45 Conjecture not found
% 1.87/1.45 Conjecture not found
% 2.02/1.46 Conjecture not found
% 2.02/1.46 Conjecture not found
% 2.02/1.48 Conjecture not found
% 2.02/1.48 Conjecture not found
% 2.13/1.53 Conjecture not found
% 2.16/1.58 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.59 Conjecture not found
% 2.16/1.60 Conjecture not found
% 2.29/1.62 Conjecture not found
% 2.29/1.64 Conjecture not found
% 2.29/1.65 Conjecture not found
% 2.29/1.68 Conjecture not found
% 2.42/1.70 Conjecture not found
% 2.42/1.72 Conjecture not found
% 2.42/1.72 Conjecture not found
% 2.42/1.74 Conjecture not found
% 2.42/1.77 Conjecture not found
% 2.65/1.83 Conjecture not found
% 2.65/1.88 Conjecture not found
% 2.65/1.89 Conjecture not found
% 2.65/1.91 Conjecture not found
% 2.80/1.94 Conjecture not found
% 2.80/1.95 Conjecture not found
% 2.80/1.97 Conjecture not found
% 2.80/1.98 Conjecture not found
% 2.94/2.06 Conjecture not found
% 3.10/2.10 Conjecture not found
% 3.16/2.12 Conjecture not found
% 3.18/2.13 Conjecture not found
% 3.18/2.16 Conjecture not found
% 3.18/2.18 Conjecture not found
% 3.49/2.36 Conjecture not found
% 3.49/2.39 Conjecture not found
% 3.67/2.41 Conjecture not found
% 3.86/2.52 Conjecture not found
% 3.86/2.54 Conjecture not found
% 3.86/2.55 Conjecture not found
% 3.86/2.58 Conjecture not found
% 3.99/2.62 Conjecture not found
% 3.99/2.67 Conjecture not found
% 4.20/2.75 Conjecture not found
% 4.20/2.81 Conjecture not found
% 4.40/2.85 Conjecture not found
% 4.40/2.87 Conjecture not found
% 4.57/2.91 Conjecture not found
% 4.57/2.91 Conjecture not found
% 4.57/2.95 Conjecture not found
% 4.57/2.97 Conjecture not found
% 4.57/3.00 Conjecture not found
% 4.74/3.02 Conjecture not found
% 4.74/3.08 Conjecture not found
% 4.87/3.10 Conjecture not found
% 4.87/3.14 Conjecture not found
% 5.11/3.21 Conjecture not found
% 5.26/3.31 Conjecture not found
% 5.40/3.45 Conjecture not found
% 5.84/3.66 Conjecture not found
% 6.36/3.96 Conjecture not found
% 6.51/3.99 Conjecture not found
% 6.51/4.01 Conjecture not found
% 6.76/4.14 Conjecture not found
% 6.76/4.18 Conjecture not found
% 6.94/4.23 Conjecture not found
% 7.01/4.30 Conjecture not found
% 7.01/4.36 Conjecture not found
% 7.25/4.41 Conjecture not found
% 7.28/4.46 Conjecture not found
% 7.28/4.49 Conjecture not found
% 7.28/4.50 Conjecture not found
% 7.43/4.53 Conjecture not found
% 7.43/4.54 Conjecture not found
% 7.52/4.64 Conjecture not found
% 7.75/4.70 Conjecture not found
% 7.79/4.75 Conjecture not found
% 7.93/4.86 Conjecture not found
% 8.07/4.88 Conjecture not found
% 8.07/4.91 Conjecture not found
% 8.07/4.93 Conjecture not found
% 8.07/4.95 Conjecture not found
% 8.24/4.98 Conjecture not found
% 8.26/5.00 Conjecture not found
% 8.26/5.02 Conjecture not found
% 8.30/5.06 Conjecture not found
% 8.30/5.07 Conjecture not found
% 8.30/5.08 Conjecture not found
% 8.30/5.10 Conjecture not found
% 8.45/5.14 Conjecture not found
% 8.45/5.16 Conjecture not found
% 8.56/5.21 Conjecture not found
% 8.56/5.26 Conjecture not found
% 8.93/5.43 Conjecture not found
% 8.93/5.48 Conjecture not found
% 9.09/5.49 Conjecture not found
% 9.09/5.52 Conjecture not found
% 9.09/5.55 Conjecture not found
% 9.25/5.58 Conjecture not found
% 9.31/5.63 Conjecture not found
% 9.31/5.64 Conjecture not found
% 9.31/5.66 Conjecture not found
% 9.31/5.67 Conjecture not found
% 9.49/5.77 Conjecture not found
% 10.31/6.23 Conjecture not found
% 11.20/6.78 Conjecture not found
% 11.53/6.90 Conjecture not found
% 11.53/6.95 Conjecture not found
% 11.53/6.97 Conjecture not found
% 11.63/6.98 Conjecture not found
% 11.76/7.04 Conjecture not found
% 11.76/7.06 Conjecture not found
% 11.76/7.08 Conjecture not found
% 11.85/7.11 Conjecture not found
% 11.85/7.18 Conjecture not found
% 12.02/7.24 Conjecture not found
% 12.02/7.26 Conjecture not found
% 12.02/7.27 Conjecture not found
% 12.23/7.32 Conjecture not found
% 12.25/7.36 Conjecture not found
% 12.25/7.40 Conjecture not found
% 12.44/7.44 Conjecture not found
% 12.51/7.51 Conjecture not found
% 12.51/7.53 Conjecture not found
% 12.51/7.56 Conjecture not found
% 12.71/7.58 Conjecture not found
% 12.71/7.60 Conjecture not found
% 12.75/7.63 Conjecture not found
% 12.75/7.66 Conjecture not found
% 12.75/7.67 Conjecture not found
% 12.75/7.72 Conjecture not found
% 12.95/7.77 Conjecture not found
% 13.13/7.79 Conjecture not found
% 13.13/7.81 Conjecture not found
% 13.13/7.84 Conjecture not found
% 13.13/7.85 Conjecture not found
% 13.13/7.86 Conjecture not found
% 13.22/7.89 Conjecture not found
% 13.35/7.93 Conjecture not found
% 13.38/7.94 Conjecture not found
% 13.38/7.95 Conjecture not found
% 13.38/7.99 Conjecture not found
% 13.45/8.01 Conjecture not found
% 13.45/8.04 Conjecture not found
% 13.63/8.08 Conjecture not found
% 13.63/8.10 Conjecture not found
% 13.63/8.12 Conjecture not found
% 13.63/8.15 Conjecture not found
% 13.73/8.17 Conjecture not found
% 13.79/8.19 Conjecture not found
% 13.79/8.21 Conjecture not found
% 13.91/8.25 Conjecture not found
% 13.91/8.29 Conjecture not found
% 13.99/8.31 Conjecture not found
% 13.99/8.35 Conjecture not found
% 13.99/8.36 Conjecture not found
% 13.99/8.39 Conjecture not found
% 14.18/8.43 Conjecture not found
% 14.18/8.45 Conjecture not found
% 14.18/8.47 Conjecture not found
% 14.18/8.48 Conjecture not found
% 14.27/8.49 Conjecture not found
% 14.27/8.50 Conjecture not found
% 14.37/8.51 Conjecture not found
% 14.37/8.51 Conjecture not found
% 14.45/8.57 Conjecture not found
% 14.54/8.66 Conjecture not found
% 14.54/8.67 Conjecture not found
% 14.74/8.70 Conjecture not found
% 14.74/8.73 Conjecture not found
% 14.74/8.74 Conjecture not found
% 14.74/8.76 Conjecture not found
% 14.83/8.77 Conjecture not found
% 14.84/8.81 Conjecture not found
% 15.01/8.87 Conjecture not found
% 15.01/8.91 Conjecture not found
% 15.10/8.94 Conjecture not found
% 15.10/8.98 Conjecture not found
% 15.43/9.13 Conjecture not found
% 15.67/9.21 Conjecture not found
% 15.67/9.26 Conjecture not found
% 15.67/9.26 Conjecture not found
% 15.67/9.29 Conjecture not found
% 15.90/9.34 Conjecture not found
% 15.90/9.37 Conjecture not found
% 15.90/9.38 Conjecture not found
% 15.99/9.48 Conjecture not found
% 16.25/9.55 Conjecture not found
% 16.25/9.60 Conjecture not found
% 16.37/9.65 Conjecture not found
% 16.61/9.72 Conjecture not found
% 16.61/9.73 Conjecture not found
% 16.61/9.78 Conjecture not found
% 16.85/9.84 Conjecture not found
% 16.95/9.94 Conjecture not found
% 17.12/10.07 Conjecture not found
% 17.12/10.08 Conjecture not found
% 17.29/10.12 Conjecture not found
% 17.29/10.13 Conjecture not found
% 17.29/10.15 Conjecture not found
% 17.56/10.24 Conjecture not found
% 17.56/10.30 Conjecture not found
% 17.66/10.31 Conjecture not found
% 17.66/10.36 Conjecture not found
% 18.06/10.58 Conjecture not found
% 18.29/10.64 Conjecture not found
% 18.29/10.68 Conjecture not found
% 18.29/10.70 Conjecture not found
% 18.53/10.71 Conjecture not found
% 18.53/10.72 Conjecture not found
% 18.53/10.77 Conjecture not found
% 18.86/10.87 Conjecture not found
% 18.91/10.94 Conjecture not found
% 19.15/11.01 Conjecture not found
% 19.15/11.05 Conjecture not found
% 19.23/11.15 Conjecture not found
% 19.56/11.25 Conjecture not found
% 19.56/11.30 Conjecture not found
% 19.65/11.33 Conjecture not found
% 19.65/11.37 Conjecture not found
% 19.65/11.38 Conjecture not found
% 19.70/11.41 Conjecture not found
% 19.70/11.42 Conjecture not found
% 19.70/11.43 Conjecture not found
% 19.98/11.47 Conjecture not found
% 19.98/11.50 Conjecture not found
% 20.02/11.52 Conjecture not found
% 20.05/11.54 Conjecture not found
% 20.32/11.63 Conjecture not found
% 20.32/11.64 Conjecture not found
% 20.32/11.67 Conjecture not found
% 20.37/11.69 Conjecture not found
% 20.66/11.80 Conjecture not found
% 20.66/11.81 Conjecture not found
% 20.72/11.85 Conjecture not found
% 20.72/11.86 Conjecture not found
% 20.72/11.86 Conjecture not found
% 20.72/11.86 Conjecture not found
% 20.72/11.87 Conjecture not found
% 20.82/11.94 Conjecture not found
% 20.82/11.95 Conjecture not found
% 21.05/11.97 Conjecture not found
% 21.05/12.05 Conjecture not found
% 21.16/12.09 Conjecture not found
% 21.40/12.21 Conjecture not found
% 21.47/12.22 Conjecture not found
% 21.54/12.34 Conjecture not found
% 21.89/12.46 Conjecture not found
% 21.89/12.48 Conjecture not found
% 22.18/12.56 Conjecture not found
% 22.18/12.58 Conjecture not found
% 22.25/12.60 Conjecture not found
% 22.33/12.67 Conjecture not found
% 22.56/12.75 Conjecture not found
% 22.56/12.79 Conjecture not found
% 22.56/12.81 Conjecture not found
% 22.67/12.90 Conjecture not found
% 22.93/12.96 Conjecture not found
% 22.93/12.98 Conjecture not found
% 23.06/13.02 Conjecture not found
% 23.06/13.06 Conjecture not found
% 23.06/13.07 Conjecture not found
% 23.31/13.12 Conjecture not found
% 23.46/13.22 Conjecture not found
% 23.46/13.24 Conjecture not found
% 23.46/13.25 Conjecture not found
% 23.55/13.30 Conjecture not found
% 23.67/13.36 Conjecture not found
% 23.67/13.36 Conjecture not found
% 23.67/13.39 Conjecture not found
% 23.67/13.42 Conjecture not found
% 23.91/13.44 Conjecture not found
% 23.91/13.48 Conjecture not found
% 24.21/13.59 Conjecture not found
% 24.30/13.61 Conjecture not found
% 24.30/13.66 Conjecture not found
% 24.38/13.72 Conjecture not found
% 24.73/13.84 Conjecture not found
% 24.73/13.86 Conjecture not found
% 24.82/13.92 Conjecture not found
% 24.82/13.94 Conjecture not found
% 24.82/13.95 Conjecture not found
% 24.82/13.96 Conjecture not found
% 24.82/13.98 Conjecture not found
% 25.08/14.02 Conjecture not found
% 25.08/14.03 Conjecture not found
% 25.21/14.10 Conjecture not found
% 25.26/14.16 Conjecture not found
% 25.56/14.22 Conjecture not found
% 25.56/14.23 Conjecture not found
% 25.56/14.23 Conjecture not found
% 25.64/14.27 Conjecture not found
% 25.64/14.29 Conjecture not found
% 25.64/14.29 Conjecture not found
% 25.64/14.36 Conjecture not found
% 25.93/14.39 Conjecture not found
% 26.05/14.45 Conjecture not found
% 26.12/14.51 Conjecture not found
% 26.12/14.53 Conjecture not found
% 26.12/14.57 Conjecture not found
% 26.62/14.82 Conjecture not found
% 26.98/14.92 Conjecture not found
% 26.98/14.94 Conjecture not found
% 27.13/15.03 Conjecture not found
% 27.16/15.05 Conjecture not found
% 27.16/15.09 Conjecture not found
% 27.46/15.15 Conjecture not found
% 27.63/15.27 Conjecture not found
% 27.65/15.30 Conjecture not found
% 27.65/15.31 Conjecture not found
% 27.69/15.33 Conjecture not found
% 27.71/15.36 Conjecture not found
% 27.98/15.43 Conjecture not found
% 28.09/15.52 Conjecture not found
% 28.09/15.53 Conjecture not found
% 28.09/15.53 Conjecture not found
% 28.09/15.54 Conjecture not found
% 28.17/15.58 Conjecture not found
% 28.20/15.59 Conjecture not found
% 28.32/15.66 Conjecture not found
% 28.59/15.78 Conjecture not found
% 28.66/15.84 Conjecture not found
% 28.66/15.86 Conjecture not found
% 28.66/15.87 Conjecture not found
% 28.75/15.89 Conjecture not found
% 28.92/15.96 Conjecture not found
% 28.92/15.99 Conjecture not found
% 28.92/15.99 Conjecture not found
% 29.16/16.02 Conjecture not found
% 29.16/16.06 Conjecture not found
% 29.23/16.10 Conjecture not found
% 29.23/16.13 Conjecture not found
% 29.23/16.15 Conjecture not found
% 29.64/16.27 Conjecture not found
% 29.64/16.29 Conjecture not found
% 29.64/16.30 Conjecture not found
% 29.73/16.36 Conjecture not found
% 29.73/16.37 Conjecture not found
% 29.81/16.44 Conjecture not found
% 29.81/16.48 Conjecture not found
% 30.16/16.50 Conjecture not found
% 30.17/16.51 Conjecture not found
% 30.17/16.54 Conjecture not found
% 30.17/16.55 Conjecture not found
% 30.26/16.66 Conjecture not found
% 30.26/16.67 Conjecture not found
% 30.26/16.68 Conjecture not found
% 30.44/16.74 Conjecture not found
% 30.44/16.77 Conjecture not found
% 30.74/16.80 Conjecture not found
% 30.76/16.82 Conjecture not found
% 30.76/16.84 Conjecture not found
% 30.76/16.87 Conjecture not found
% 30.85/16.92 Conjecture not found
% 30.85/16.96 Conjecture not found
% 31.22/17.01 Conjecture not found
% 31.22/17.03 Conjecture not found
% 31.22/17.04 Conjecture not found
% 31.22/17.05 Conjecture not found
% 31.22/17.08 Conjecture not found
% 31.33/17.11 Conjecture not found
% 31.33/17.13 Conjecture not found
% 31.33/17.15 Conjecture not found
% 31.33/17.16 Conjecture not found
% 31.66/17.22 Conjecture not found
% 31.66/17.26 Conjecture not found
% 31.66/17.28 Conjecture not found
% 31.66/17.29 Conjecture not found
% 31.85/17.31 Conjecture not found
% 31.85/17.34 Conjecture not found
% 31.85/17.34 Conjecture not found
% 31.85/17.36 Conjecture not found
% 32.07/17.40 Conjecture not found
% 32.07/17.43 Conjecture not found
% 32.07/17.46 Conjecture not found
% 32.36/17.51 Conjecture not found
% 32.36/17.56 Conjecture not found
% 32.47/17.66 Conjecture not found
% 32.47/17.69 Conjecture not found
% 32.75/17.75 Conjecture not found
% 32.75/17.80 Conjecture not found
% 33.00/17.87 Conjecture not found
% 33.09/17.90 Conjecture not found
% 33.09/17.98 Conjecture not found
% 33.47/17.99 Conjecture not found
% 33.47/18.00 Conjecture not found
% 33.48/18.01 Conjecture not found
% 33.49/18.02 Conjecture not found
% 33.49/18.03 Conjecture not found
% 33.49/18.05 Conjecture not found
% 33.49/18.05 Conjecture not found
% 33.49/18.07 Conjecture not found
% 33.49/18.09 Conjecture not found
% 33.59/18.12 Conjecture not found
% 33.59/18.18 Conjecture not found
% 33.95/18.23 Conjecture not found
% 33.95/18.28 Conjecture not found
% 34.11/18.29 Conjecture not found
% 34.13/18.31 Conjecture not found
% 34.16/18.37 Conjecture not found
% 34.43/18.48 Conjecture not found
% 34.43/18.53 Conjecture not found
% 34.43/18.54 Conjecture not found
% 34.77/18.61 Conjecture not found
% 34.81/18.64 Conjecture not found
% 34.81/18.67 Conjecture not found
% 34.81/18.69 Conjecture not found
% 34.81/18.70 Conjecture not found
% 34.88/18.75 Conjecture not found
% 35.22/18.78 Conjecture not found
% 35.22/18.79 Conjecture not found
% 35.22/18.85 Conjecture not found
% 35.22/18.88 Conjecture not found
% 35.43/18.89 Conjecture not found
% 35.45/18.91 Conjecture not found
% 35.45/18.92 Conjecture not found
% 35.48/18.97 Conjecture not found
% 35.48/19.02 Conjecture not found
% 35.58/19.07 Conjecture not found
% 36.05/19.16 Conjecture not found
% 36.13/19.29 Conjecture not found
% 36.13/19.30 Conjecture not found
% 36.13/19.33 Conjecture not found
% 36.22/19.34 Conjecture not found
% 36.22/19.36 Conjecture not found
% 36.22/19.38 Conjecture not found
% 36.22/19.38 Conjecture not found
% 36.52/19.48 Conjecture not found
% 36.52/19.51 Conjecture not found
% 36.78/19.54 Conjecture not found
% 36.78/19.59 Conjecture not found
% 36.78/19.60 Conjecture not found
% 36.86/19.63 Conjecture not found
% 36.86/19.66 Conjecture not found
% 36.92/19.67 Conjecture not found
% 36.92/19.70 Conjecture not found
% 36.92/19.74 Conjecture not found
% 37.01/19.77 Conjecture not found
% 37.03/19.82 Conjecture not found
% 37.31/19.83 Conjecture not found
% 37.42/19.87 Conjecture not found
% 37.42/19.89 Conjecture not found
% 37.54/19.94 Conjecture not found
% 37.60/20.03 Conjecture not found
% 37.60/20.06 Conjecture not found
% 37.72/20.12 Conjecture not found
% 37.74/20.16 Conjecture not found
% 37.74/20.18 Conjecture not found
% 37.82/20.22 Conjecture not found
% 38.25/20.35 Conjecture not found
% 38.35/20.38 Conjecture not found
% 38.38/20.41 Conjecture not found
% 38.41/20.45 Conjecture not found
% 38.41/20.47 Conjecture not found
% 38.41/20.51 Conjecture not found
% 38.50/20.55 Conjecture not found
% 38.50/20.57 Conjecture not found
% 38.67/20.66 Conjecture not found
% 39.07/20.71 Conjecture not found
% 39.07/20.73 Conjecture not found
% 39.07/20.75 Conjecture not found
% 39.07/20.77 Conjecture not found
% 39.07/20.79 Conjecture not found
% 39.17/20.83 Conjecture not found
% 39.17/20.86 Conjecture not found
% 39.26/20.91 Conjecture not found
% 39.26/20.92 Conjecture not found
% 39.26/20.97 Conjecture not found
% 39.58/21.05 Conjecture not found
% 39.85/21.09 Conjecture not found
% 39.86/21.11 Conjecture not found
% 39.86/21.14 Conjecture not found
% 39.86/21.15 Conjecture not found
% 39.86/21.16 Conjecture not found
% 39.86/21.21 Conjecture not found
% 39.86/21.22 Conjecture not found
% 39.98/21.25 Conjecture not found
% 39.98/21.29 Conjecture not found
% 39.98/21.30 Conjecture not found
% 40.08/21.37 Conjecture not found
% 40.08/21.40 Conjecture not found
% 40.55/21.43 Conjecture not found
% 40.55/21.45 Conjecture not found
% 40.68/21.49 Conjecture not found
% 40.68/21.51 Conjecture not found
% 40.68/21.54 Conjecture not found
% 40.68/21.56 Conjecture not found
% 40.77/21.58 Conjecture not found
% 40.81/21.63 Conjecture not found
% 40.81/21.67 Conjecture not found
% 41.39/21.80 Conjecture not found
% 41.39/21.83 Conjecture not found
% 41.39/21.85 Conjecture not found
% 41.39/21.86 Conjecture not found
% 41.53/21.95 Conjecture not found
% 41.53/21.96 Conjecture not found
% 41.53/21.98 Conjecture not found
% 41.60/22.02 Conjecture not found
% 41.67/22.10 Conjecture not found
% 41.67/22.13 Conjecture not found
% 42.36/22.32 Conjecture not found
% 42.36/22.33 Conjecture not found
% 42.42/22.39 Conjecture not found
% 42.42/22.39 Conjecture not found
% 42.42/22.40 Conjecture not found
% 42.42/22.41 Conjecture not found
% 42.42/22.45 Conjecture not found
% 42.55/22.51 Conjecture not found
% 42.59/22.55 Conjecture not found
% 42.59/22.58 Conjecture not found
% 42.59/22.63 Conjecture not found
% 43.17/22.74 Conjecture not found
% 43.17/22.75 Conjecture not found
% 43.23/22.78 Conjecture not found
% 43.27/22.82 Conjecture not found
% 43.31/22.85 Conjecture not found
% 43.31/22.90 Conjecture not found
% 43.41/22.94 Conjecture not found
% 43.41/22.98 Conjecture not found
% 43.47/23.00 Conjecture not found
% 43.55/23.10 Conjecture not found
% 44.02/23.18 Conjecture not found
% 44.02/23.20 Conjecture not found
% 44.14/23.23 Conjecture not found
% 44.14/23.27 Conjecture not found
% 44.20/23.29 Conjecture not found
% 44.20/23.30 Conjecture not found
% 44.20/23.33 Conjecture not found
% 44.36/23.44 Conjecture not found
% 44.36/23.48 Conjecture not found
% 44.36/23.49 Conjecture not found
% 44.61/23.57 Conjecture not found
% 44.96/23.59 Conjecture not found
% 44.96/23.62 Conjecture not found
% 44.96/23.65 Conjecture not found
% 45.04/23.67 Conjecture not found
% 45.04/23.68 Conjecture not found
% 45.06/23.72 Conjecture not found
% 45.10/23.75 Conjecture not found
% 45.10/23.78 Conjecture not found
% 45.10/23.80 Conjecture not found
% 45.18/23.81 Conjecture not found
% 45.18/23.84 Conjecture not found
% 45.18/23.85 Conjecture not found
% 45.18/23.87 Conjecture not found
% 45.25/23.93 Conjecture not found
% 45.25/23.95 Conjecture not found
% 45.25/23.95 Conjecture not found
% 45.25/23.96 Conjecture not found
% 45.34/23.97 Conjecture not found
% 45.34/23.99 Conjecture not found
% 45.47/24.02 Conjecture not found
% 45.71/24.06 Conjecture not found
% 45.71/24.08 Conjecture not found
% 45.71/24.12 Conjecture not found
% 45.99/24.16 Conjecture not found
% 45.99/24.17 Conjecture not found
% 45.99/24.18 Conjecture not found
% 45.99/24.21 Conjecture not found
% 46.14/24.29 Conjecture not found
% 46.15/24.30 Conjecture not found
% 46.17/24.40 Conjecture not found
% 46.17/24.40 Conjecture not found
% 46.27/24.41 Conjecture not found
% 46.95/24.64 Conjecture not found
% 46.95/24.66 Conjecture not found
% 46.95/24.68 Conjecture not found
% 46.95/24.70 Conjecture not found
% 47.06/24.74 Conjecture not found
% 47.06/24.78 Conjecture not found
% 47.15/24.83 Conjecture not found
% 47.15/24.87 Conjecture not found
% 47.23/24.90 Conjecture not found
% 47.61/25.01 Conjecture not found
% 47.73/25.02 Conjecture not found
% 47.97/25.12 Conjecture not found
% 47.97/25.14 Conjecture not found
% 47.97/25.17 Conjecture not found
% 47.97/25.19 Conjecture not found
% 48.05/25.20 Conjecture not found
% 48.05/25.21 Conjecture not found
% 48.05/25.24 Conjecture not found
% 48.05/25.26 Conjecture not found
% 48.05/25.27 Conjecture not found
% 48.05/25.28 Start search
% 98.40/37.92 nb_step : 1 - limit : 118280
% 99.22/38.38 Launch Gotab with destructive = true
%------------------------------------------------------------------------------