TSTP Solution File: LAT380+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT380+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n004.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:28 EDT 2022
% Result : Timeout 300.38s 88.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : LAT380+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n004.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu Sep 1 16:41:12 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.45 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.53 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.19/0.54 Conjecture not found
% 0.57/0.58 Conjecture not found
% 0.59/0.61 Conjecture not found
% 0.59/0.63 Conjecture not found
% 0.66/0.63 Conjecture not found
% 0.66/0.65 Conjecture not found
% 0.66/0.67 Conjecture not found
% 0.66/0.69 Conjecture not found
% 0.78/0.73 Conjecture not found
% 0.90/0.80 Conjecture not found
% 0.90/0.81 Conjecture not found
% 1.07/0.88 Conjecture not found
% 1.17/0.96 Conjecture not found
% 1.29/1.04 Conjecture not found
% 1.29/1.07 Conjecture not found
% 1.42/1.14 Conjecture not found
% 1.60/1.18 Conjecture not found
% 1.69/1.24 Conjecture not found
% 1.69/1.26 Conjecture not found
% 1.69/1.30 Conjecture not found
% 1.69/1.31 Conjecture not found
% 1.83/1.32 Conjecture not found
% 1.83/1.33 Conjecture not found
% 1.83/1.34 Conjecture not found
% 1.96/1.45 Conjecture not found
% 2.10/1.48 Conjecture not found
% 2.11/1.48 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.18/1.51 Conjecture not found
% 2.18/1.52 Conjecture not found
% 2.22/1.57 Conjecture not found
% 2.35/1.62 Conjecture not found
% 2.35/1.63 Conjecture not found
% 2.35/1.63 Conjecture not found
% 2.35/1.64 Conjecture not found
% 2.35/1.66 Conjecture not found
% 2.35/1.68 Conjecture not found
% 2.35/1.69 Conjecture not found
% 2.51/1.72 Conjecture not found
% 2.51/1.73 Conjecture not found
% 2.51/1.76 Conjecture not found
% 2.51/1.76 Conjecture not found
% 2.51/1.77 Conjecture not found
% 2.68/1.81 Conjecture not found
% 2.72/1.87 Conjecture not found
% 2.87/1.92 Conjecture not found
% 2.87/1.93 Conjecture not found
% 2.87/1.95 Conjecture not found
% 2.87/1.97 Conjecture not found
% 3.02/2.00 Conjecture not found
% 3.02/2.02 Conjecture not found
% 3.02/2.04 Conjecture not found
% 3.26/2.11 Conjecture not found
% 3.26/2.14 Conjecture not found
% 3.26/2.17 Conjecture not found
% 3.26/2.18 Conjecture not found
% 3.26/2.20 Conjecture not found
% 3.44/2.22 Conjecture not found
% 3.74/2.40 Conjecture not found
% 3.74/2.43 Conjecture not found
% 3.74/2.45 Conjecture not found
% 3.89/2.56 Conjecture not found
% 3.89/2.58 Conjecture not found
% 3.89/2.59 Conjecture not found
% 4.08/2.62 Conjecture not found
% 4.08/2.66 Conjecture not found
% 4.22/2.73 Conjecture not found
% 4.42/2.81 Conjecture not found
% 4.44/2.89 Conjecture not found
% 4.66/2.94 Conjecture not found
% 4.66/2.95 Conjecture not found
% 4.66/3.00 Conjecture not found
% 4.66/3.00 Conjecture not found
% 4.82/3.04 Conjecture not found
% 4.82/3.06 Conjecture not found
% 5.00/3.09 Conjecture not found
% 5.00/3.10 Conjecture not found
% 5.00/3.16 Conjecture not found
% 5.00/3.17 Conjecture not found
% 5.22/3.20 Conjecture not found
% 5.26/3.24 Conjecture not found
% 5.40/3.34 Conjecture not found
% 5.75/3.50 Conjecture not found
% 6.08/3.73 Conjecture not found
% 6.69/4.02 Conjecture not found
% 6.69/4.04 Conjecture not found
% 6.69/4.07 Conjecture not found
% 7.02/4.16 Conjecture not found
% 7.02/4.19 Conjecture not found
% 7.09/4.24 Conjecture not found
% 7.21/4.31 Conjecture not found
% 7.37/4.36 Conjecture not found
% 7.51/4.43 Conjecture not found
% 7.52/4.47 Conjecture not found
% 7.52/4.50 Conjecture not found
% 7.52/4.51 Conjecture not found
% 7.60/4.53 Conjecture not found
% 7.60/4.54 Conjecture not found
% 7.74/4.62 Conjecture not found
% 7.90/4.70 Conjecture not found
% 8.02/4.76 Conjecture not found
% 8.18/4.88 Conjecture not found
% 8.27/4.90 Conjecture not found
% 8.27/4.94 Conjecture not found
% 8.42/4.97 Conjecture not found
% 8.43/4.98 Conjecture not found
% 8.46/5.01 Conjecture not found
% 8.48/5.04 Conjecture not found
% 8.48/5.06 Conjecture not found
% 8.48/5.10 Conjecture not found
% 8.48/5.10 Conjecture not found
% 8.48/5.11 Conjecture not found
% 8.66/5.13 Conjecture not found
% 8.66/5.16 Conjecture not found
% 8.66/5.19 Conjecture not found
% 8.81/5.25 Conjecture not found
% 9.00/5.30 Conjecture not found
% 9.09/5.49 Conjecture not found
% 9.30/5.54 Conjecture not found
% 9.30/5.55 Conjecture not found
% 9.30/5.57 Conjecture not found
% 9.48/5.60 Conjecture not found
% 9.48/5.63 Conjecture not found
% 9.48/5.68 Conjecture not found
% 9.48/5.69 Conjecture not found
% 9.66/5.72 Conjecture not found
% 9.66/5.74 Conjecture not found
% 9.84/5.82 Conjecture not found
% 10.56/6.28 Conjecture not found
% 11.57/6.77 Conjecture not found
% 11.71/6.90 Conjecture not found
% 11.80/6.96 Conjecture not found
% 11.80/6.98 Conjecture not found
% 11.97/7.01 Conjecture not found
% 11.97/7.06 Conjecture not found
% 12.15/7.08 Conjecture not found
% 12.16/7.10 Conjecture not found
% 12.20/7.15 Conjecture not found
% 12.20/7.19 Conjecture not found
% 12.33/7.24 Conjecture not found
% 12.33/7.27 Conjecture not found
% 12.45/7.28 Conjecture not found
% 12.45/7.31 Conjecture not found
% 12.65/7.37 Conjecture not found
% 12.67/7.39 Conjecture not found
% 12.81/7.45 Conjecture not found
% 12.90/7.51 Conjecture not found
% 12.90/7.52 Conjecture not found
% 12.90/7.55 Conjecture not found
% 12.90/7.58 Conjecture not found
% 13.09/7.61 Conjecture not found
% 13.09/7.64 Conjecture not found
% 13.09/7.66 Conjecture not found
% 13.27/7.68 Conjecture not found
% 13.32/7.75 Conjecture not found
% 13.32/7.79 Conjecture not found
% 13.53/7.82 Conjecture not found
% 13.53/7.84 Conjecture not found
% 13.53/7.86 Conjecture not found
% 13.53/7.88 Conjecture not found
% 13.61/7.90 Conjecture not found
% 13.61/7.91 Conjecture not found
% 13.61/7.92 Conjecture not found
% 13.61/7.95 Conjecture not found
% 13.61/7.96 Conjecture not found
% 13.83/8.01 Conjecture not found
% 13.85/8.04 Conjecture not found
% 13.85/8.07 Conjecture not found
% 13.85/8.11 Conjecture not found
% 14.06/8.14 Conjecture not found
% 14.06/8.16 Conjecture not found
% 14.06/8.18 Conjecture not found
% 14.06/8.21 Conjecture not found
% 14.15/8.23 Conjecture not found
% 14.15/8.24 Conjecture not found
% 14.35/8.29 Conjecture not found
% 14.36/8.33 Conjecture not found
% 14.36/8.35 Conjecture not found
% 14.36/8.38 Conjecture not found
% 14.36/8.38 Conjecture not found
% 14.52/8.41 Conjecture not found
% 14.52/8.46 Conjecture not found
% 14.52/8.47 Conjecture not found
% 14.67/8.50 Conjecture not found
% 14.67/8.51 Conjecture not found
% 14.67/8.52 Conjecture not found
% 14.67/8.53 Conjecture not found
% 14.67/8.53 Conjecture not found
% 14.67/8.53 Conjecture not found
% 14.67/8.58 Conjecture not found
% 14.91/8.64 Conjecture not found
% 14.91/8.65 Conjecture not found
% 14.91/8.69 Conjecture not found
% 15.15/8.72 Conjecture not found
% 15.15/8.73 Conjecture not found
% 15.15/8.74 Conjecture not found
% 15.15/8.75 Conjecture not found
% 15.15/8.77 Conjecture not found
% 15.32/8.82 Conjecture not found
% 15.32/8.85 Conjecture not found
% 15.32/8.87 Conjecture not found
% 15.32/8.90 Conjecture not found
% 15.69/9.04 Conjecture not found
% 15.92/9.13 Conjecture not found
% 15.92/9.18 Conjecture not found
% 15.92/9.18 Conjecture not found
% 16.06/9.21 Conjecture not found
% 16.06/9.27 Conjecture not found
% 16.25/9.32 Conjecture not found
% 16.25/9.33 Conjecture not found
% 16.52/9.41 Conjecture not found
% 16.56/9.49 Conjecture not found
% 16.65/9.53 Conjecture not found
% 16.88/9.58 Conjecture not found
% 16.88/9.66 Conjecture not found
% 16.88/9.67 Conjecture not found
% 17.01/9.70 Conjecture not found
% 17.18/9.76 Conjecture not found
% 17.26/9.83 Conjecture not found
% 17.40/9.93 Conjecture not found
% 17.40/9.95 Conjecture not found
% 17.40/9.97 Conjecture not found
% 17.67/9.99 Conjecture not found
% 17.69/10.01 Conjecture not found
% 17.80/10.11 Conjecture not found
% 18.03/10.19 Conjecture not found
% 18.03/10.21 Conjecture not found
% 18.03/10.25 Conjecture not found
% 18.66/10.55 Conjecture not found
% 18.74/10.60 Conjecture not found
% 18.78/10.64 Conjecture not found
% 18.90/10.68 Conjecture not found
% 18.90/10.70 Conjecture not found
% 18.90/10.72 Conjecture not found
% 19.05/10.77 Conjecture not found
% 19.33/10.86 Conjecture not found
% 19.41/10.92 Conjecture not found
% 19.43/10.96 Conjecture not found
% 19.43/10.98 Conjecture not found
% 19.75/11.10 Conjecture not found
% 19.75/11.15 Conjecture not found
% 20.05/11.20 Conjecture not found
% 20.08/11.26 Conjecture not found
% 20.08/11.30 Conjecture not found
% 20.15/11.31 Conjecture not found
% 20.15/11.33 Conjecture not found
% 20.15/11.34 Conjecture not found
% 20.15/11.36 Conjecture not found
% 20.38/11.43 Conjecture not found
% 20.54/11.47 Conjecture not found
% 20.54/11.49 Conjecture not found
% 20.56/11.50 Conjecture not found
% 20.59/11.55 Conjecture not found
% 20.59/11.56 Conjecture not found
% 20.59/11.60 Conjecture not found
% 20.86/11.63 Conjecture not found
% 20.93/11.75 Conjecture not found
% 20.93/11.77 Conjecture not found
% 21.24/11.83 Conjecture not found
% 21.24/11.84 Conjecture not found
% 21.24/11.84 Conjecture not found
% 21.24/11.84 Conjecture not found
% 21.24/11.86 Conjecture not found
% 21.33/11.90 Conjecture not found
% 21.33/11.91 Conjecture not found
% 21.33/11.93 Conjecture not found
% 21.63/12.01 Conjecture not found
% 21.63/12.07 Conjecture not found
% 21.76/12.15 Conjecture not found
% 21.76/12.17 Conjecture not found
% 22.11/12.31 Conjecture not found
% 22.53/12.44 Conjecture not found
% 22.53/12.46 Conjecture not found
% 22.64/12.49 Conjecture not found
% 22.64/12.50 Conjecture not found
% 22.67/12.52 Conjecture not found
% 22.93/12.65 Conjecture not found
% 23.01/12.71 Conjecture not found
% 23.01/12.75 Conjecture not found
% 23.01/12.77 Conjecture not found
% 23.38/12.89 Conjecture not found
% 23.46/12.91 Conjecture not found
% 23.46/12.92 Conjecture not found
% 23.46/12.97 Conjecture not found
% 23.70/13.04 Conjecture not found
% 23.70/13.05 Conjecture not found
% 23.82/13.10 Conjecture not found
% 23.87/13.17 Conjecture not found
% 23.87/13.21 Conjecture not found
% 24.15/13.23 Conjecture not found
% 24.22/13.28 Conjecture not found
% 24.22/13.31 Conjecture not found
% 24.22/13.31 Conjecture not found
% 24.22/13.34 Conjecture not found
% 24.54/13.40 Conjecture not found
% 24.58/13.45 Conjecture not found
% 24.58/13.50 Conjecture not found
% 24.67/13.58 Conjecture not found
% 24.74/13.60 Conjecture not found
% 24.98/13.69 Conjecture not found
% 25.10/13.75 Conjecture not found
% 25.10/13.81 Conjecture not found
% 25.10/13.83 Conjecture not found
% 25.49/13.91 Conjecture not found
% 25.49/13.94 Conjecture not found
% 25.49/13.96 Conjecture not found
% 25.49/13.96 Conjecture not found
% 25.57/13.98 Conjecture not found
% 25.60/14.01 Conjecture not found
% 25.60/14.03 Conjecture not found
% 25.71/14.15 Conjecture not found
% 26.11/14.28 Conjecture not found
% 26.14/14.33 Conjecture not found
% 26.17/14.34 Conjecture not found
% 26.17/14.35 Conjecture not found
% 26.17/14.39 Conjecture not found
% 26.17/14.40 Conjecture not found
% 26.17/14.41 Conjecture not found
% 26.25/14.50 Conjecture not found
% 26.55/14.51 Conjecture not found
% 26.55/14.54 Conjecture not found
% 26.63/14.58 Conjecture not found
% 26.87/14.63 Conjecture not found
% 26.87/14.69 Conjecture not found
% 27.33/14.98 Conjecture not found
% 27.55/15.06 Conjecture not found
% 27.55/15.07 Conjecture not found
% 27.64/15.19 Conjecture not found
% 27.82/15.22 Conjecture not found
% 27.82/15.30 Conjecture not found
% 28.11/15.34 Conjecture not found
% 28.21/15.42 Conjecture not found
% 28.21/15.45 Conjecture not found
% 28.21/15.46 Conjecture not found
% 28.56/15.51 Conjecture not found
% 28.56/15.55 Conjecture not found
% 28.70/15.62 Conjecture not found
% 28.79/15.73 Conjecture not found
% 28.79/15.74 Conjecture not found
% 28.79/15.75 Conjecture not found
% 28.79/15.75 Conjecture not found
% 28.79/15.80 Conjecture not found
% 28.99/15.82 Conjecture not found
% 28.99/15.89 Conjecture not found
% 29.28/15.98 Conjecture not found
% 29.37/16.04 Conjecture not found
% 29.72/16.08 Conjecture not found
% 29.74/16.10 Conjecture not found
% 29.76/16.11 Conjecture not found
% 29.76/16.16 Conjecture not found
% 29.76/16.19 Conjecture not found
% 29.76/16.19 Conjecture not found
% 29.85/16.22 Conjecture not found
% 29.85/16.26 Conjecture not found
% 29.93/16.29 Conjecture not found
% 29.93/16.35 Conjecture not found
% 29.93/16.39 Conjecture not found
% 30.31/16.47 Conjecture not found
% 30.31/16.50 Conjecture not found
% 30.40/16.51 Conjecture not found
% 30.40/16.59 Conjecture not found
% 30.64/16.62 Conjecture not found
% 30.64/16.66 Conjecture not found
% 30.64/16.67 Conjecture not found
% 30.86/16.69 Conjecture not found
% 30.86/16.70 Conjecture not found
% 30.89/16.72 Conjecture not found
% 30.89/16.73 Conjecture not found
% 31.09/16.86 Conjecture not found
% 31.09/16.87 Conjecture not found
% 31.09/16.88 Conjecture not found
% 31.35/16.93 Conjecture not found
% 31.35/16.97 Conjecture not found
% 31.35/16.99 Conjecture not found
% 31.47/17.01 Conjecture not found
% 31.49/17.04 Conjecture not found
% 31.49/17.07 Conjecture not found
% 31.76/17.15 Conjecture not found
% 31.76/17.18 Conjecture not found
% 31.95/17.22 Conjecture not found
% 31.95/17.25 Conjecture not found
% 31.95/17.26 Conjecture not found
% 31.95/17.27 Conjecture not found
% 32.05/17.31 Conjecture not found
% 32.07/17.35 Conjecture not found
% 32.07/17.38 Conjecture not found
% 32.37/17.44 Conjecture not found
% 32.37/17.45 Conjecture not found
% 32.55/17.52 Conjecture not found
% 32.55/17.57 Conjecture not found
% 32.55/17.59 Conjecture not found
% 32.67/17.62 Conjecture not found
% 32.67/17.64 Conjecture not found
% 32.67/17.67 Conjecture not found
% 32.67/17.68 Conjecture not found
% 32.84/17.71 Conjecture not found
% 32.84/17.77 Conjecture not found
% 33.16/17.79 Conjecture not found
% 33.16/17.81 Conjecture not found
% 33.16/17.87 Conjecture not found
% 33.30/17.92 Conjecture not found
% 33.52/18.05 Conjecture not found
% 33.81/18.09 Conjecture not found
% 33.81/18.14 Conjecture not found
% 33.90/18.20 Conjecture not found
% 33.93/18.27 Conjecture not found
% 34.24/18.35 Conjecture not found
% 34.45/18.43 Conjecture not found
% 34.45/18.45 Conjecture not found
% 34.45/18.46 Conjecture not found
% 34.45/18.47 Conjecture not found
% 34.54/18.49 Conjecture not found
% 34.57/18.51 Conjecture not found
% 34.57/18.53 Conjecture not found
% 34.57/18.54 Conjecture not found
% 34.57/18.56 Conjecture not found
% 34.57/18.58 Conjecture not found
% 34.68/18.63 Conjecture not found
% 35.12/18.71 Conjecture not found
% 35.12/18.73 Conjecture not found
% 35.12/18.76 Conjecture not found
% 35.12/18.77 Conjecture not found
% 35.12/18.78 Conjecture not found
% 35.23/18.84 Conjecture not found
% 35.58/18.98 Conjecture not found
% 35.74/19.01 Conjecture not found
% 35.74/19.03 Conjecture not found
% 35.86/19.11 Conjecture not found
% 35.86/19.17 Conjecture not found
% 35.86/19.20 Conjecture not found
% 35.95/19.26 Conjecture not found
% 35.95/19.28 Conjecture not found
% 36.39/19.33 Conjecture not found
% 36.39/19.34 Conjecture not found
% 36.39/19.35 Conjecture not found
% 36.39/19.38 Conjecture not found
% 36.39/19.39 Conjecture not found
% 36.49/19.40 Conjecture not found
% 36.50/19.42 Conjecture not found
% 36.50/19.43 Conjecture not found
% 36.50/19.47 Conjecture not found
% 36.83/19.53 Conjecture not found
% 36.83/19.56 Conjecture not found
% 37.05/19.60 Conjecture not found
% 37.05/19.68 Conjecture not found
% 37.14/19.69 Conjecture not found
% 37.16/19.71 Conjecture not found
% 37.16/19.73 Conjecture not found
% 37.16/19.75 Conjecture not found
% 37.16/19.79 Conjecture not found
% 37.16/19.79 Conjecture not found
% 37.72/19.90 Conjecture not found
% 37.72/19.91 Conjecture not found
% 37.72/19.93 Conjecture not found
% 37.72/19.97 Conjecture not found
% 37.72/19.98 Conjecture not found
% 37.82/20.00 Conjecture not found
% 37.83/20.03 Conjecture not found
% 37.83/20.05 Conjecture not found
% 37.83/20.08 Conjecture not found
% 38.24/20.16 Conjecture not found
% 38.24/20.19 Conjecture not found
% 38.39/20.23 Conjecture not found
% 38.39/20.24 Conjecture not found
% 38.39/20.26 Conjecture not found
% 38.39/20.27 Conjecture not found
% 38.51/20.32 Conjecture not found
% 38.51/20.39 Conjecture not found
% 38.64/20.43 Conjecture not found
% 39.09/20.53 Conjecture not found
% 39.09/20.57 Conjecture not found
% 39.09/20.57 Conjecture not found
% 39.20/20.60 Conjecture not found
% 39.22/20.67 Conjecture not found
% 39.22/20.71 Conjecture not found
% 39.31/20.73 Conjecture not found
% 39.64/20.80 Conjecture not found
% 39.64/20.84 Conjecture not found
% 39.86/20.90 Conjecture not found
% 39.90/20.93 Conjecture not found
% 39.90/20.95 Conjecture not found
% 39.90/20.98 Conjecture not found
% 39.90/21.01 Conjecture not found
% 39.99/21.02 Conjecture not found
% 39.99/21.03 Conjecture not found
% 39.99/21.05 Conjecture not found
% 39.99/21.06 Conjecture not found
% 40.12/21.11 Conjecture not found
% 40.12/21.18 Conjecture not found
% 40.57/21.24 Conjecture not found
% 40.57/21.25 Conjecture not found
% 40.57/21.28 Conjecture not found
% 40.66/21.32 Conjecture not found
% 40.66/21.35 Conjecture not found
% 40.66/21.37 Conjecture not found
% 40.74/21.40 Conjecture not found
% 40.74/21.40 Conjecture not found
% 40.74/21.42 Conjecture not found
% 40.74/21.47 Conjecture not found
% 41.11/21.51 Conjecture not found
% 41.27/21.55 Conjecture not found
% 41.44/21.61 Conjecture not found
% 41.44/21.62 Conjecture not found
% 41.44/21.69 Conjecture not found
% 41.53/21.70 Conjecture not found
% 41.53/21.71 Conjecture not found
% 41.53/21.72 Conjecture not found
% 41.53/21.75 Conjecture not found
% 41.53/21.77 Conjecture not found
% 41.62/21.79 Conjecture not found
% 41.64/21.81 Conjecture not found
% 41.65/21.84 Conjecture not found
% 41.65/21.90 Conjecture not found
% 42.15/21.93 Conjecture not found
% 42.23/22.00 Conjecture not found
% 42.23/22.02 Conjecture not found
% 42.23/22.03 Conjecture not found
% 42.23/22.03 Conjecture not found
% 42.33/22.10 Conjecture not found
% 42.37/22.12 Conjecture not found
% 42.37/22.18 Conjecture not found
% 42.64/22.26 Conjecture not found
% 43.03/22.40 Conjecture not found
% 43.03/22.43 Conjecture not found
% 43.13/22.56 Conjecture not found
% 43.13/22.57 Conjecture not found
% 43.23/22.63 Conjecture not found
% 43.23/22.64 Conjecture not found
% 43.23/22.65 Conjecture not found
% 43.23/22.66 Conjecture not found
% 43.42/22.71 Conjecture not found
% 43.94/22.79 Conjecture not found
% 43.96/22.83 Conjecture not found
% 43.96/22.85 Conjecture not found
% 43.96/22.87 Conjecture not found
% 44.05/22.95 Conjecture not found
% 44.05/22.96 Conjecture not found
% 44.05/22.99 Conjecture not found
% 44.14/23.03 Conjecture not found
% 44.14/23.06 Conjecture not found
% 44.25/23.11 Conjecture not found
% 44.25/23.15 Conjecture not found
% 44.83/23.22 Conjecture not found
% 44.83/23.25 Conjecture not found
% 44.94/23.35 Conjecture not found
% 45.02/23.39 Conjecture not found
% 45.02/23.41 Conjecture not found
% 45.02/23.44 Conjecture not found
% 45.02/23.47 Conjecture not found
% 45.11/23.48 Conjecture not found
% 45.12/23.49 Conjecture not found
% 45.14/23.51 Conjecture not found
% 45.68/23.66 Conjecture not found
% 45.77/23.69 Conjecture not found
% 45.77/23.70 Conjecture not found
% 45.77/23.74 Conjecture not found
% 45.77/23.75 Conjecture not found
% 45.77/23.78 Conjecture not found
% 45.87/23.80 Conjecture not found
% 45.90/23.82 Conjecture not found
% 45.90/23.83 Conjecture not found
% 45.90/23.87 Conjecture not found
% 45.90/23.90 Conjecture not found
% 45.99/23.93 Conjecture not found
% 45.99/23.95 Conjecture not found
% 45.99/23.96 Conjecture not found
% 45.99/23.99 Conjecture not found
% 46.06/24.00 Conjecture not found
% 46.06/24.04 Conjecture not found
% 46.67/24.14 Conjecture not found
% 46.67/24.16 Conjecture not found
% 46.67/24.16 Conjecture not found
% 46.67/24.17 Conjecture not found
% 46.67/24.19 Conjecture not found
% 46.67/24.21 Conjecture not found
% 46.76/24.23 Conjecture not found
% 46.76/24.25 Conjecture not found
% 46.76/24.26 Conjecture not found
% 46.76/24.28 Conjecture not found
% 46.84/24.33 Conjecture not found
% 46.84/24.34 Conjecture not found
% 46.84/24.35 Conjecture not found
% 46.84/24.37 Conjecture not found
% 46.94/24.42 Conjecture not found
% 46.97/24.43 Conjecture not found
% 47.55/24.57 Conjecture not found
% 47.55/24.58 Conjecture not found
% 47.55/24.59 Conjecture not found
% 47.71/24.74 Conjecture not found
% 47.71/24.76 Conjecture not found
% 47.81/24.79 Conjecture not found
% 47.83/24.80 Conjecture not found
% 47.85/24.84 Conjecture not found
% 47.85/24.89 Conjecture not found
% 48.36/24.97 Conjecture not found
% 48.55/25.01 Conjecture not found
% 48.55/25.04 Conjecture not found
% 48.64/25.14 Conjecture not found
% 48.64/25.14 Conjecture not found
% 48.74/25.21 Conjecture not found
% 48.77/25.23 Conjecture not found
% 48.77/25.26 Conjecture not found
% 48.77/25.27 Conjecture not found
% 48.77/25.28 Conjecture not found
% 48.77/25.29 Conjecture not found
% 48.96/25.33 Conjecture not found
% 48.96/25.37 Conjecture not found
% 48.96/25.39 Conjecture not found
% 49.46/25.42 Conjecture not found
% 49.46/25.46 Conjecture not found
% 49.46/25.47 Conjecture not found
% 49.59/25.50 Conjecture not found
% 49.60/25.53 Conjecture not found
% 49.60/25.61 Conjecture not found
% 49.70/25.64 Conjecture not found
% 49.70/25.67 Conjecture not found
% 49.79/25.72 Conjecture not found
% 49.79/25.75 Conjecture not found
% 50.21/25.82 Conjecture not found
% 50.21/25.86 Conjecture not found
% 50.21/25.88 Conjecture not found
% 50.53/25.91 Conjecture not found
% 50.53/25.99 Conjecture not found
% 51.44/26.36 Conjecture not found
% 51.44/26.37 Conjecture not found
% 51.44/26.40 Conjecture not found
% 51.54/26.43 Conjecture not found
% 51.54/26.44 Conjecture not found
% 51.54/26.45 Conjecture not found
% 51.54/26.45 Conjecture not found
% 51.54/26.47 Conjecture not found
% 51.54/26.48 Conjecture not found
% 51.54/26.48 Conjecture not found
% 51.64/26.50 Conjecture not found
% 51.64/26.54 Conjecture not found
% 51.96/26.66 Conjecture not found
% 52.37/26.73 Conjecture not found
% 52.37/26.77 Conjecture not found
% 52.46/26.82 Conjecture not found
% 52.46/26.83 Conjecture not found
% 52.46/26.85 Conjecture not found
% 52.55/26.89 Conjecture not found
% 52.57/26.91 Conjecture not found
% 52.58/26.93 Conjecture not found
% 52.58/26.94 Conjecture not found
% 52.58/26.96 Conjecture not found
% 52.66/27.02 Conjecture not found
% 52.66/27.05 Conjecture not found
% 53.13/27.12 Conjecture not found
% 53.43/27.18 Conjecture not found
% 53.43/27.18 Conjecture not found
% 53.48/27.24 Conjecture not found
% 53.48/27.28 Conjecture not found
% 53.48/27.29 Conjecture not found
% 53.48/27.30 Conjecture not found
% 53.56/27.33 Conjecture not found
% 53.56/27.35 Conjecture not found
% 53.56/27.36 Conjecture not found
% 53.63/27.43 Conjecture not found
% 53.63/27.43 Conjecture not found
% 53.63/27.44 Conjecture not found
% 53.63/27.46 Conjecture not found
% 53.63/27.48 Conjecture not found
% 53.84/27.51 Conjecture not found
% 54.04/27.57 Conjecture not found
% 54.04/27.60 Conjecture not found
% 54.42/27.68 Conjecture not found
% 54.49/27.71 Conjecture not found
% 54.49/27.73 Conjecture not found
% 54.49/27.74 Conjecture not found
% 54.61/27.83 Conjecture not found
% 54.63/27.83 Conjecture not found
% 54.63/27.87 Conjecture not found
% 54.63/27.89 Conjecture not found
% 54.79/28.00 Conjecture not found
% 54.79/28.01 Conjecture not found
% 55.35/28.10 Conjecture not found
% 55.48/28.15 Conjecture not found
% 55.48/28.19 Conjecture not found
% 55.48/28.21 Conjecture not found
% 55.58/28.26 Conjecture not found
% 55.64/28.33 Conjecture not found
% 55.71/28.39 Conjecture not found
% 55.75/28.41 Conjecture not found
% 55.75/28.43 Conjecture not found
% 55.78/28.52 Conjecture not found
% 56.54/28.61 Conjecture not found
% 56.63/28.69 Start search
% 126.30/45.28 nb_step : 1 - limit : 134124
% 127.15/45.82 Launch Gotab with destructive = true
%------------------------------------------------------------------------------