TSTP Solution File: LAT368+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT368+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:22 EDT 2022
% Result : Timeout 300.04s 88.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : LAT368+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n004.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Thu Sep 1 16:13:42 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.43 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.55 Conjecture not found
% 0.54/0.59 Conjecture not found
% 0.57/0.60 Conjecture not found
% 0.57/0.61 Conjecture not found
% 0.57/0.62 Conjecture not found
% 0.64/0.64 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.74/0.70 Conjecture not found
% 0.86/0.78 Conjecture not found
% 0.86/0.78 Conjecture not found
% 1.03/0.86 Conjecture not found
% 1.08/0.91 Conjecture not found
% 1.14/1.00 Conjecture not found
% 1.25/1.03 Conjecture not found
% 1.37/1.10 Conjecture not found
% 1.37/1.14 Conjecture not found
% 1.55/1.19 Conjecture not found
% 1.62/1.22 Conjecture not found
% 1.65/1.25 Conjecture not found
% 1.65/1.27 Conjecture not found
% 1.65/1.27 Conjecture not found
% 1.65/1.28 Conjecture not found
% 1.65/1.29 Conjecture not found
% 1.90/1.39 Conjecture not found
% 1.90/1.42 Conjecture not found
% 1.90/1.42 Conjecture not found
% 1.90/1.44 Conjecture not found
% 1.90/1.44 Conjecture not found
% 1.90/1.45 Conjecture not found
% 1.90/1.45 Conjecture not found
% 1.90/1.46 Conjecture not found
% 1.90/1.46 Conjecture not found
% 2.15/1.51 Conjecture not found
% 2.20/1.56 Conjecture not found
% 2.20/1.57 Conjecture not found
% 2.20/1.57 Conjecture not found
% 2.20/1.58 Conjecture not found
% 2.20/1.60 Conjecture not found
% 2.34/1.62 Conjecture not found
% 2.34/1.63 Conjecture not found
% 2.34/1.65 Conjecture not found
% 2.34/1.66 Conjecture not found
% 2.34/1.68 Conjecture not found
% 2.34/1.68 Conjecture not found
% 2.48/1.70 Conjecture not found
% 2.48/1.73 Conjecture not found
% 2.63/1.79 Conjecture not found
% 2.71/1.85 Conjecture not found
% 2.71/1.86 Conjecture not found
% 2.71/1.88 Conjecture not found
% 2.86/1.91 Conjecture not found
% 2.86/1.94 Conjecture not found
% 2.86/1.95 Conjecture not found
% 2.86/1.98 Conjecture not found
% 3.03/2.07 Conjecture not found
% 3.23/2.08 Conjecture not found
% 3.28/2.11 Conjecture not found
% 3.30/2.12 Conjecture not found
% 3.30/2.14 Conjecture not found
% 3.30/2.16 Conjecture not found
% 3.60/2.34 Conjecture not found
% 3.60/2.37 Conjecture not found
% 3.78/2.40 Conjecture not found
% 3.79/2.49 Conjecture not found
% 3.97/2.50 Conjecture not found
% 3.97/2.52 Conjecture not found
% 3.97/2.54 Conjecture not found
% 3.97/2.58 Conjecture not found
% 4.16/2.65 Conjecture not found
% 4.38/2.71 Conjecture not found
% 4.39/2.78 Conjecture not found
% 4.60/2.83 Conjecture not found
% 4.60/2.84 Conjecture not found
% 4.60/2.89 Conjecture not found
% 4.60/2.89 Conjecture not found
% 4.75/2.92 Conjecture not found
% 4.75/2.95 Conjecture not found
% 4.75/2.97 Conjecture not found
% 4.75/2.98 Conjecture not found
% 4.88/3.05 Conjecture not found
% 4.88/3.06 Conjecture not found
% 5.09/3.10 Conjecture not found
% 5.10/3.17 Conjecture not found
% 5.25/3.26 Conjecture not found
% 5.64/3.40 Conjecture not found
% 6.00/3.61 Conjecture not found
% 6.63/3.91 Conjecture not found
% 6.63/3.94 Conjecture not found
% 6.63/3.97 Conjecture not found
% 6.89/4.08 Conjecture not found
% 6.89/4.12 Conjecture not found
% 7.05/4.15 Conjecture not found
% 7.18/4.22 Conjecture not found
% 7.32/4.27 Conjecture not found
% 7.38/4.34 Conjecture not found
% 7.38/4.39 Conjecture not found
% 7.38/4.41 Conjecture not found
% 7.54/4.42 Conjecture not found
% 7.54/4.46 Conjecture not found
% 7.54/4.47 Conjecture not found
% 7.68/4.55 Conjecture not found
% 7.96/4.63 Conjecture not found
% 7.98/4.69 Conjecture not found
% 8.05/4.76 Conjecture not found
% 8.19/4.78 Conjecture not found
% 8.19/4.82 Conjecture not found
% 8.19/4.84 Conjecture not found
% 8.19/4.86 Conjecture not found
% 8.34/4.88 Conjecture not found
% 8.44/4.90 Conjecture not found
% 8.44/4.92 Conjecture not found
% 8.49/4.96 Conjecture not found
% 8.49/4.97 Conjecture not found
% 8.49/4.97 Conjecture not found
% 8.49/4.99 Conjecture not found
% 8.64/5.04 Conjecture not found
% 8.64/5.07 Conjecture not found
% 8.72/5.13 Conjecture not found
% 8.91/5.18 Conjecture not found
% 8.95/5.30 Conjecture not found
% 9.20/5.35 Conjecture not found
% 9.20/5.36 Conjecture not found
% 9.20/5.38 Conjecture not found
% 9.27/5.40 Conjecture not found
% 9.27/5.43 Conjecture not found
% 9.44/5.48 Conjecture not found
% 9.44/5.49 Conjecture not found
% 9.47/5.51 Conjecture not found
% 9.54/5.53 Conjecture not found
% 9.67/5.62 Conjecture not found
% 10.52/6.11 Conjecture not found
% 11.45/6.61 Conjecture not found
% 11.64/6.72 Conjecture not found
% 11.64/6.78 Conjecture not found
% 11.78/6.80 Conjecture not found
% 11.78/6.82 Conjecture not found
% 11.78/6.85 Conjecture not found
% 11.78/6.86 Conjecture not found
% 11.78/6.87 Conjecture not found
% 12.02/6.93 Conjecture not found
% 12.02/6.96 Conjecture not found
% 12.23/7.02 Conjecture not found
% 12.23/7.05 Conjecture not found
% 12.23/7.06 Conjecture not found
% 12.41/7.08 Conjecture not found
% 12.41/7.11 Conjecture not found
% 12.41/7.17 Conjecture not found
% 12.63/7.22 Conjecture not found
% 12.63/7.28 Conjecture not found
% 12.63/7.30 Conjecture not found
% 12.82/7.32 Conjecture not found
% 12.82/7.35 Conjecture not found
% 12.82/7.37 Conjecture not found
% 12.92/7.41 Conjecture not found
% 12.92/7.44 Conjecture not found
% 12.92/7.45 Conjecture not found
% 12.92/7.49 Conjecture not found
% 13.28/7.56 Conjecture not found
% 13.28/7.58 Conjecture not found
% 13.28/7.59 Conjecture not found
% 13.28/7.61 Conjecture not found
% 13.36/7.62 Conjecture not found
% 13.36/7.64 Conjecture not found
% 13.36/7.66 Conjecture not found
% 13.36/7.67 Conjecture not found
% 13.53/7.69 Conjecture not found
% 13.53/7.70 Conjecture not found
% 13.53/7.74 Conjecture not found
% 13.53/7.76 Conjecture not found
% 13.75/7.80 Conjecture not found
% 13.80/7.84 Conjecture not found
% 13.80/7.86 Conjecture not found
% 13.80/7.88 Conjecture not found
% 13.80/7.91 Conjecture not found
% 13.97/7.94 Conjecture not found
% 13.97/7.98 Conjecture not found
% 14.06/7.99 Conjecture not found
% 14.06/8.02 Conjecture not found
% 14.06/8.05 Conjecture not found
% 14.06/8.07 Conjecture not found
% 14.29/8.11 Conjecture not found
% 14.29/8.12 Conjecture not found
% 14.33/8.13 Conjecture not found
% 14.33/8.15 Conjecture not found
% 14.33/8.16 Conjecture not found
% 14.33/8.19 Conjecture not found
% 14.51/8.20 Conjecture not found
% 14.51/8.23 Conjecture not found
% 14.51/8.23 Conjecture not found
% 14.51/8.23 Conjecture not found
% 14.51/8.24 Conjecture not found
% 14.51/8.26 Conjecture not found
% 14.58/8.35 Conjecture not found
% 14.80/8.37 Conjecture not found
% 14.82/8.40 Conjecture not found
% 14.85/8.43 Conjecture not found
% 14.86/8.44 Conjecture not found
% 14.86/8.46 Conjecture not found
% 14.86/8.48 Conjecture not found
% 15.06/8.52 Conjecture not found
% 15.06/8.58 Conjecture not found
% 15.13/8.63 Conjecture not found
% 15.36/8.68 Conjecture not found
% 15.41/8.73 Conjecture not found
% 15.72/8.90 Conjecture not found
% 15.72/8.97 Conjecture not found
% 15.88/9.02 Conjecture not found
% 15.99/9.03 Conjecture not found
% 15.99/9.06 Conjecture not found
% 15.99/9.11 Conjecture not found
% 16.08/9.15 Conjecture not found
% 16.08/9.18 Conjecture not found
% 16.32/9.25 Conjecture not found
% 16.41/9.30 Conjecture not found
% 16.41/9.36 Conjecture not found
% 16.65/9.41 Conjecture not found
% 16.65/9.46 Conjecture not found
% 16.65/9.48 Conjecture not found
% 16.84/9.55 Conjecture not found
% 16.99/9.60 Conjecture not found
% 17.00/9.70 Conjecture not found
% 17.28/9.81 Conjecture not found
% 17.47/9.82 Conjecture not found
% 17.47/9.86 Conjecture not found
% 17.47/9.89 Conjecture not found
% 17.47/9.91 Conjecture not found
% 17.63/9.98 Conjecture not found
% 17.72/10.06 Conjecture not found
% 17.97/10.08 Conjecture not found
% 17.97/10.10 Conjecture not found
% 18.27/10.30 Conjecture not found
% 18.52/10.38 Conjecture not found
% 18.60/10.42 Conjecture not found
% 18.60/10.44 Conjecture not found
% 18.60/10.45 Conjecture not found
% 18.60/10.46 Conjecture not found
% 18.70/10.55 Conjecture not found
% 18.98/10.61 Conjecture not found
% 19.01/10.69 Conjecture not found
% 19.27/10.77 Conjecture not found
% 19.33/10.78 Conjecture not found
% 19.60/10.91 Conjecture not found
% 19.66/10.98 Conjecture not found
% 19.66/11.01 Conjecture not found
% 19.75/11.05 Conjecture not found
% 19.97/11.10 Conjecture not found
% 19.97/11.11 Conjecture not found
% 19.97/11.14 Conjecture not found
% 19.97/11.15 Conjecture not found
% 19.97/11.16 Conjecture not found
% 20.09/11.20 Conjecture not found
% 20.09/11.24 Conjecture not found
% 20.30/11.28 Conjecture not found
% 20.38/11.31 Conjecture not found
% 20.43/11.38 Conjecture not found
% 20.43/11.39 Conjecture not found
% 20.43/11.41 Conjecture not found
% 20.43/11.43 Conjecture not found
% 20.81/11.59 Conjecture not found
% 20.81/11.60 Conjecture not found
% 20.86/11.65 Conjecture not found
% 20.86/11.65 Conjecture not found
% 20.86/11.65 Conjecture not found
% 20.86/11.66 Conjecture not found
% 21.04/11.69 Conjecture not found
% 21.04/11.73 Conjecture not found
% 21.04/11.73 Conjecture not found
% 21.04/11.75 Conjecture not found
% 21.22/11.79 Conjecture not found
% 21.48/11.87 Conjecture not found
% 21.57/11.95 Conjecture not found
% 21.57/11.97 Conjecture not found
% 21.89/12.10 Conjecture not found
% 21.96/12.19 Conjecture not found
% 21.96/12.22 Conjecture not found
% 22.26/12.29 Conjecture not found
% 22.35/12.31 Conjecture not found
% 22.35/12.32 Conjecture not found
% 22.53/12.40 Conjecture not found
% 22.68/12.46 Conjecture not found
% 22.76/12.50 Conjecture not found
% 22.76/12.52 Conjecture not found
% 22.83/12.63 Conjecture not found
% 23.13/12.68 Conjecture not found
% 23.15/12.70 Conjecture not found
% 23.18/12.73 Conjecture not found
% 23.18/12.77 Conjecture not found
% 23.18/12.78 Conjecture not found
% 23.48/12.82 Conjecture not found
% 23.48/12.87 Conjecture not found
% 23.55/12.89 Conjecture not found
% 23.55/12.90 Conjecture not found
% 23.55/12.96 Conjecture not found
% 23.87/13.02 Conjecture not found
% 23.87/13.03 Conjecture not found
% 23.87/13.09 Conjecture not found
% 23.96/13.12 Conjecture not found
% 23.96/13.15 Conjecture not found
% 24.26/13.22 Conjecture not found
% 24.26/13.27 Conjecture not found
% 24.26/13.28 Conjecture not found
% 24.40/13.33 Conjecture not found
% 24.40/13.40 Conjecture not found
% 24.80/13.51 Conjecture not found
% 24.80/13.54 Conjecture not found
% 24.88/13.63 Conjecture not found
% 24.88/13.67 Conjecture not found
% 25.23/13.69 Conjecture not found
% 25.23/13.69 Conjecture not found
% 25.25/13.71 Conjecture not found
% 25.26/13.74 Conjecture not found
% 25.26/13.75 Conjecture not found
% 25.34/13.84 Conjecture not found
% 25.42/13.89 Conjecture not found
% 25.42/13.95 Conjecture not found
% 25.42/13.97 Conjecture not found
% 25.42/13.97 Conjecture not found
% 25.81/14.01 Conjecture not found
% 25.83/14.03 Conjecture not found
% 25.84/14.04 Conjecture not found
% 26.15/14.11 Conjecture not found
% 26.15/14.12 Conjecture not found
% 26.15/14.15 Conjecture not found
% 26.23/14.20 Conjecture not found
% 26.23/14.22 Conjecture not found
% 26.23/14.25 Conjecture not found
% 26.75/14.47 Conjecture not found
% 26.75/14.57 Conjecture not found
% 27.10/14.58 Conjecture not found
% 27.17/14.65 Conjecture not found
% 27.17/14.67 Conjecture not found
% 27.17/14.73 Conjecture not found
% 27.49/14.77 Conjecture not found
% 27.61/14.86 Conjecture not found
% 27.62/14.89 Conjecture not found
% 27.62/14.90 Conjecture not found
% 27.67/14.92 Conjecture not found
% 27.71/14.95 Conjecture not found
% 27.71/15.00 Conjecture not found
% 28.07/15.06 Conjecture not found
% 28.07/15.07 Conjecture not found
% 28.07/15.07 Conjecture not found
% 28.07/15.08 Conjecture not found
% 28.12/15.11 Conjecture not found
% 28.12/15.12 Conjecture not found
% 28.12/15.16 Conjecture not found
% 28.55/15.29 Conjecture not found
% 28.66/15.37 Conjecture not found
% 28.66/15.41 Conjecture not found
% 28.66/15.43 Conjecture not found
% 28.66/15.45 Conjecture not found
% 28.79/15.51 Conjecture not found
% 28.94/15.55 Conjecture not found
% 29.03/15.57 Conjecture not found
% 29.21/15.62 Conjecture not found
% 29.26/15.67 Conjecture not found
% 29.26/15.71 Conjecture not found
% 29.26/15.74 Conjecture not found
% 29.36/15.77 Conjecture not found
% 29.73/15.87 Conjecture not found
% 29.73/15.89 Conjecture not found
% 29.73/15.90 Conjecture not found
% 29.82/15.96 Conjecture not found
% 29.82/15.97 Conjecture not found
% 29.86/16.01 Conjecture not found
% 30.10/16.05 Conjecture not found
% 30.19/16.08 Conjecture not found
% 30.19/16.10 Conjecture not found
% 30.25/16.13 Conjecture not found
% 30.25/16.14 Conjecture not found
% 30.30/16.22 Conjecture not found
% 30.30/16.23 Conjecture not found
% 30.30/16.23 Conjecture not found
% 30.38/16.27 Conjecture not found
% 30.68/16.32 Conjecture not found
% 30.79/16.37 Conjecture not found
% 30.81/16.39 Conjecture not found
% 30.84/16.42 Conjecture not found
% 30.86/16.45 Conjecture not found
% 30.86/16.50 Conjecture not found
% 30.95/16.52 Conjecture not found
% 30.95/16.56 Conjecture not found
% 31.30/16.61 Conjecture not found
% 31.30/16.62 Conjecture not found
% 31.30/16.64 Conjecture not found
% 31.40/16.69 Conjecture not found
% 31.44/16.73 Conjecture not found
% 31.46/16.75 Conjecture not found
% 31.46/16.78 Conjecture not found
% 31.46/16.79 Conjecture not found
% 31.46/16.83 Conjecture not found
% 31.92/16.90 Conjecture not found
% 31.92/16.92 Conjecture not found
% 31.92/16.94 Conjecture not found
% 31.92/16.96 Conjecture not found
% 32.00/16.98 Conjecture not found
% 32.00/16.99 Conjecture not found
% 32.00/17.01 Conjecture not found
% 32.00/17.04 Conjecture not found
% 32.00/17.05 Conjecture not found
% 32.19/17.08 Conjecture not found
% 32.45/17.16 Conjecture not found
% 32.54/17.21 Conjecture not found
% 32.62/17.32 Conjecture not found
% 32.62/17.34 Conjecture not found
% 32.77/17.39 Conjecture not found
% 33.10/17.47 Conjecture not found
% 33.18/17.55 Conjecture not found
% 33.24/17.58 Conjecture not found
% 33.62/17.67 Conjecture not found
% 33.64/17.70 Conjecture not found
% 33.68/17.72 Conjecture not found
% 33.70/17.75 Conjecture not found
% 33.70/17.77 Conjecture not found
% 33.70/17.80 Conjecture not found
% 33.78/17.83 Conjecture not found
% 33.78/17.83 Conjecture not found
% 33.78/17.86 Conjecture not found
% 33.78/17.87 Conjecture not found
% 33.84/17.91 Conjecture not found
% 33.92/17.98 Conjecture not found
% 34.32/18.05 Conjecture not found
% 34.32/18.09 Conjecture not found
% 34.32/18.10 Conjecture not found
% 34.39/18.12 Conjecture not found
% 34.43/18.17 Conjecture not found
% 34.51/18.24 Conjecture not found
% 34.72/18.30 Conjecture not found
% 34.72/18.32 Conjecture not found
% 34.94/18.40 Conjecture not found
% 35.01/18.45 Conjecture not found
% 35.06/18.48 Conjecture not found
% 35.06/18.51 Conjecture not found
% 35.06/18.52 Conjecture not found
% 35.52/18.62 Conjecture not found
% 35.52/18.65 Conjecture not found
% 35.58/18.66 Conjecture not found
% 35.58/18.69 Conjecture not found
% 35.58/18.71 Conjecture not found
% 35.58/18.73 Conjecture not found
% 35.58/18.75 Conjecture not found
% 35.68/18.76 Conjecture not found
% 35.72/18.81 Conjecture not found
% 35.77/18.85 Conjecture not found
% 35.77/18.90 Conjecture not found
% 36.23/18.98 Conjecture not found
% 36.34/19.06 Conjecture not found
% 36.34/19.07 Conjecture not found
% 36.34/19.09 Conjecture not found
% 36.38/19.10 Conjecture not found
% 36.38/19.11 Conjecture not found
% 36.38/19.13 Conjecture not found
% 36.38/19.13 Conjecture not found
% 36.87/19.26 Conjecture not found
% 36.87/19.27 Conjecture not found
% 36.87/19.29 Conjecture not found
% 36.94/19.33 Conjecture not found
% 36.94/19.34 Conjecture not found
% 36.94/19.36 Conjecture not found
% 36.98/19.40 Conjecture not found
% 36.98/19.41 Conjecture not found
% 37.05/19.44 Conjecture not found
% 37.07/19.48 Conjecture not found
% 37.07/19.51 Conjecture not found
% 37.13/19.55 Conjecture not found
% 37.31/19.57 Conjecture not found
% 37.31/19.59 Conjecture not found
% 37.31/19.61 Conjecture not found
% 37.66/19.68 Conjecture not found
% 37.72/19.76 Conjecture not found
% 37.75/19.79 Conjecture not found
% 37.80/19.84 Conjecture not found
% 37.83/19.89 Conjecture not found
% 37.83/19.91 Conjecture not found
% 38.25/19.96 Conjecture not found
% 38.40/20.06 Conjecture not found
% 38.42/20.11 Conjecture not found
% 38.50/20.16 Conjecture not found
% 38.50/20.21 Conjecture not found
% 38.59/20.24 Conjecture not found
% 38.59/20.28 Conjecture not found
% 38.64/20.31 Conjecture not found
% 38.64/20.32 Conjecture not found
% 38.93/20.37 Conjecture not found
% 39.23/20.43 Conjecture not found
% 39.23/20.46 Conjecture not found
% 39.23/20.48 Conjecture not found
% 39.23/20.50 Conjecture not found
% 39.23/20.51 Conjecture not found
% 39.32/20.55 Conjecture not found
% 39.38/20.59 Conjecture not found
% 39.38/20.63 Conjecture not found
% 39.38/20.64 Conjecture not found
% 39.47/20.68 Conjecture not found
% 39.72/20.73 Conjecture not found
% 39.94/20.77 Conjecture not found
% 39.94/20.79 Conjecture not found
% 39.94/20.82 Conjecture not found
% 39.94/20.82 Conjecture not found
% 40.04/20.84 Conjecture not found
% 40.04/20.87 Conjecture not found
% 40.04/20.88 Conjecture not found
% 40.10/20.90 Conjecture not found
% 40.10/20.94 Conjecture not found
% 40.10/20.94 Conjecture not found
% 40.16/20.99 Conjecture not found
% 40.16/21.00 Conjecture not found
% 40.16/21.02 Conjecture not found
% 40.16/21.03 Conjecture not found
% 40.67/21.10 Conjecture not found
% 40.73/21.13 Conjecture not found
% 40.73/21.18 Conjecture not found
% 40.79/21.21 Conjecture not found
% 40.79/21.22 Conjecture not found
% 40.85/21.27 Conjecture not found
% 40.85/21.32 Conjecture not found
% 41.00/21.42 Conjecture not found
% 41.27/21.47 Conjecture not found
% 41.27/21.49 Conjecture not found
% 41.50/21.50 Conjecture not found
% 41.55/21.63 Conjecture not found
% 41.65/21.65 Conjecture not found
% 41.65/21.68 Conjecture not found
% 41.70/21.73 Conjecture not found
% 41.80/21.84 Conjecture not found
% 41.85/21.89 Conjecture not found
% 42.51/22.11 Conjecture not found
% 42.51/22.13 Conjecture not found
% 42.62/22.21 Conjecture not found
% 42.62/22.22 Conjecture not found
% 42.62/22.22 Conjecture not found
% 42.67/22.23 Conjecture not found
% 42.68/22.26 Conjecture not found
% 42.68/22.29 Conjecture not found
% 42.68/22.31 Conjecture not found
% 42.76/22.33 Conjecture not found
% 42.99/22.37 Conjecture not found
% 43.35/22.49 Conjecture not found
% 43.35/22.50 Conjecture not found
% 43.35/22.52 Conjecture not found
% 43.41/22.56 Conjecture not found
% 43.43/22.58 Conjecture not found
% 43.43/22.62 Conjecture not found
% 43.50/22.65 Conjecture not found
% 43.54/22.68 Conjecture not found
% 43.54/22.70 Conjecture not found
% 43.63/22.80 Conjecture not found
% 44.17/22.87 Conjecture not found
% 44.17/22.90 Conjecture not found
% 44.17/22.93 Conjecture not found
% 44.24/22.97 Conjecture not found
% 44.28/22.98 Conjecture not found
% 44.28/23.00 Conjecture not found
% 44.28/23.03 Conjecture not found
% 44.39/23.12 Conjecture not found
% 44.45/23.16 Conjecture not found
% 44.57/23.19 Conjecture not found
% 44.99/23.27 Conjecture not found
% 44.99/23.29 Conjecture not found
% 45.06/23.32 Conjecture not found
% 45.06/23.35 Conjecture not found
% 45.10/23.36 Conjecture not found
% 45.10/23.38 Conjecture not found
% 45.10/23.41 Conjecture not found
% 45.10/23.44 Conjecture not found
% 45.18/23.47 Conjecture not found
% 45.21/23.50 Conjecture not found
% 45.21/23.50 Conjecture not found
% 45.21/23.53 Conjecture not found
% 45.27/23.54 Conjecture not found
% 45.29/23.56 Conjecture not found
% 45.29/23.62 Conjecture not found
% 45.37/23.64 Conjecture not found
% 45.37/23.64 Conjecture not found
% 45.37/23.65 Conjecture not found
% 45.37/23.67 Conjecture not found
% 45.42/23.71 Conjecture not found
% 45.42/23.74 Conjecture not found
% 45.93/23.77 Conjecture not found
% 45.95/23.79 Conjecture not found
% 45.95/23.82 Conjecture not found
% 46.01/23.86 Conjecture not found
% 46.01/23.87 Conjecture not found
% 46.01/23.88 Conjecture not found
% 46.01/23.90 Conjecture not found
% 46.09/23.95 Conjecture not found
% 46.09/23.96 Conjecture not found
% 46.15/24.05 Conjecture not found
% 46.23/24.06 Conjecture not found
% 46.23/24.07 Conjecture not found
% 46.96/24.29 Conjecture not found
% 46.96/24.32 Conjecture not found
% 46.96/24.34 Conjecture not found
% 47.02/24.35 Conjecture not found
% 47.03/24.40 Conjecture not found
% 47.11/24.44 Conjecture not found
% 47.11/24.48 Conjecture not found
% 47.11/24.52 Conjecture not found
% 47.20/24.55 Conjecture not found
% 47.88/24.78 Conjecture not found
% 47.88/24.80 Conjecture not found
% 48.01/24.93 Conjecture not found
% 48.08/24.97 Conjecture not found
% 48.13/25.04 Conjecture not found
% 48.18/25.06 Conjecture not found
% 48.18/25.07 Conjecture not found
% 48.18/25.08 Conjecture not found
% 48.18/25.10 Conjecture not found
% 48.18/25.12 Conjecture not found
% 48.18/25.13 Conjecture not found
% 48.18/25.14 Conjecture not found
% 48.27/25.17 Conjecture not found
% 48.27/25.18 Conjecture not found
% 48.31/25.23 Conjecture not found
% 48.67/25.27 Conjecture not found
% 48.98/25.37 Conjecture not found
% 49.03/25.39 Conjecture not found
% 49.03/25.42 Conjecture not found
% 49.10/25.46 Conjecture not found
% 49.12/25.49 Conjecture not found
% 49.17/25.53 Conjecture not found
% 49.17/25.54 Conjecture not found
% 49.21/25.56 Conjecture not found
% 49.21/25.59 Conjecture not found
% 49.76/25.70 Conjecture not found
% 50.20/26.07 Conjecture not found
% 50.20/26.09 Conjecture not found
% 50.43/26.15 Conjecture not found
% 50.81/26.19 Conjecture not found
% 50.81/26.22 Conjecture not found
% 50.81/26.23 Conjecture not found
% 50.81/26.24 Conjecture not found
% 50.95/26.26 Conjecture not found
% 50.95/26.27 Conjecture not found
% 50.98/26.28 Conjecture not found
% 50.98/26.30 Conjecture not found
% 51.03/26.35 Conjecture not found
% 51.13/26.45 Conjecture not found
% 51.18/26.51 Conjecture not found
% 51.46/26.57 Conjecture not found
% 51.81/26.64 Conjecture not found
% 51.86/26.65 Conjecture not found
% 51.86/26.66 Conjecture not found
% 51.86/26.70 Conjecture not found
% 51.86/26.71 Conjecture not found
% 51.86/26.73 Conjecture not found
% 51.95/26.74 Conjecture not found
% 51.95/26.75 Conjecture not found
% 52.00/26.80 Conjecture not found
% 52.00/26.83 Conjecture not found
% 52.07/26.86 Conjecture not found
% 52.08/26.90 Conjecture not found
% 52.08/26.90 Conjecture not found
% 52.14/26.95 Conjecture not found
% 52.17/27.01 Conjecture not found
% 52.74/27.04 Conjecture not found
% 52.74/27.05 Conjecture not found
% 52.74/27.08 Conjecture not found
% 52.80/27.10 Conjecture not found
% 52.80/27.10 Conjecture not found
% 52.87/27.16 Conjecture not found
% 52.87/27.16 Conjecture not found
% 52.87/27.17 Conjecture not found
% 52.87/27.19 Conjecture not found
% 52.87/27.20 Conjecture not found
% 52.93/27.21 Conjecture not found
% 52.93/27.23 Conjecture not found
% 52.93/27.25 Conjecture not found
% 52.97/27.31 Conjecture not found
% 53.05/27.34 Conjecture not found
% 53.05/27.35 Conjecture not found
% 53.05/27.37 Conjecture not found
% 53.71/27.50 Conjecture not found
% 53.71/27.50 Conjecture not found
% 53.77/27.53 Conjecture not found
% 53.77/27.55 Conjecture not found
% 53.81/27.64 Conjecture not found
% 53.88/27.65 Conjecture not found
% 53.92/27.68 Conjecture not found
% 53.92/27.71 Conjecture not found
% 53.97/27.74 Conjecture not found
% 53.97/27.75 Conjecture not found
% 54.00/27.79 Conjecture not found
% 54.55/27.92 Conjecture not found
% 54.77/27.99 Conjecture not found
% 54.77/28.01 Conjecture not found
% 54.77/28.02 Conjecture not found
% 54.87/28.10 Conjecture not found
% 54.94/28.15 Conjecture not found
% 54.96/28.20 Start search
% 125.33/45.34 nb_step : 1 - limit : 133963
% 126.46/45.95 Launch Gotab with destructive = true
%------------------------------------------------------------------------------