TSTP Solution File: LAT378+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT378+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n010.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:27 EDT 2022
% Result : Timeout 300.13s 100.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : LAT378+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.35 % Computer : n010.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 300
% 0.13/0.35 % DateTime : Thu Sep 1 16:32:38 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000037s][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.19/0.58 Conjecture not found
% 0.19/0.61 Conjecture not found
% 0.63/0.62 Conjecture not found
% 0.63/0.63 Conjecture not found
% 0.63/0.64 Conjecture not found
% 0.67/0.66 Conjecture not found
% 0.67/0.68 Conjecture not found
% 0.76/0.72 Conjecture not found
% 0.87/0.80 Conjecture not found
% 0.87/0.80 Conjecture not found
% 1.03/0.88 Conjecture not found
% 1.11/0.93 Conjecture not found
% 1.29/1.01 Conjecture not found
% 1.29/1.04 Conjecture not found
% 1.38/1.11 Conjecture not found
% 1.38/1.16 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.71/1.27 Conjecture not found
% 1.71/1.28 Conjecture not found
% 1.71/1.29 Conjecture not found
% 1.71/1.30 Conjecture not found
% 1.71/1.30 Conjecture not found
% 1.93/1.40 Conjecture not found
% 1.93/1.43 Conjecture not found
% 1.93/1.43 Conjecture not found
% 2.09/1.45 Conjecture not found
% 2.09/1.45 Conjecture not found
% 2.09/1.46 Conjecture not found
% 2.09/1.46 Conjecture not found
% 2.09/1.47 Conjecture not found
% 2.09/1.47 Conjecture not found
% 2.24/1.52 Conjecture not found
% 2.36/1.57 Conjecture not found
% 2.36/1.57 Conjecture not found
% 2.36/1.58 Conjecture not found
% 2.36/1.59 Conjecture not found
% 2.36/1.61 Conjecture not found
% 2.36/1.63 Conjecture not found
% 2.36/1.64 Conjecture not found
% 2.57/1.66 Conjecture not found
% 2.67/1.68 Conjecture not found
% 2.67/1.70 Conjecture not found
% 2.67/1.70 Conjecture not found
% 2.67/1.72 Conjecture not found
% 2.84/1.75 Conjecture not found
% 2.88/1.81 Conjecture not found
% 3.08/1.87 Conjecture not found
% 3.08/1.87 Conjecture not found
% 3.08/1.89 Conjecture not found
% 3.08/1.92 Conjecture not found
% 3.24/1.95 Conjecture not found
% 3.24/1.96 Conjecture not found
% 3.33/1.98 Conjecture not found
% 3.53/2.06 Conjecture not found
% 3.60/2.09 Conjecture not found
% 3.60/2.11 Conjecture not found
% 3.60/2.13 Conjecture not found
% 3.74/2.15 Conjecture not found
% 3.80/2.17 Conjecture not found
% 4.23/2.36 Conjecture not found
% 4.30/2.39 Conjecture not found
% 4.30/2.41 Conjecture not found
% 4.61/2.51 Conjecture not found
% 4.61/2.53 Conjecture not found
% 4.61/2.54 Conjecture not found
% 4.74/2.56 Conjecture not found
% 4.74/2.61 Conjecture not found
% 4.74/2.65 Conjecture not found
% 5.07/2.72 Conjecture not found
% 5.18/2.78 Conjecture not found
% 5.37/2.83 Conjecture not found
% 5.37/2.84 Conjecture not found
% 5.50/2.89 Conjecture not found
% 5.50/2.89 Conjecture not found
% 5.50/2.92 Conjecture not found
% 5.50/2.94 Conjecture not found
% 5.50/2.97 Conjecture not found
% 5.70/2.98 Conjecture not found
% 5.83/3.05 Conjecture not found
% 5.83/3.06 Conjecture not found
% 5.83/3.09 Conjecture not found
% 6.01/3.15 Conjecture not found
% 6.19/3.24 Conjecture not found
% 6.59/3.40 Conjecture not found
% 7.13/3.59 Conjecture not found
% 7.73/3.85 Conjecture not found
% 7.86/3.88 Conjecture not found
% 7.86/3.91 Conjecture not found
% 8.11/4.01 Conjecture not found
% 8.25/4.04 Conjecture not found
% 8.25/4.07 Conjecture not found
% 8.36/4.13 Conjecture not found
% 8.42/4.19 Conjecture not found
% 8.42/4.25 Conjecture not found
% 8.58/4.29 Conjecture not found
% 8.69/4.31 Conjecture not found
% 8.69/4.32 Conjecture not found
% 8.74/4.35 Conjecture not found
% 8.74/4.37 Conjecture not found
% 8.86/4.45 Conjecture not found
% 8.95/4.54 Conjecture not found
% 9.13/4.59 Conjecture not found
% 9.33/4.69 Conjecture not found
% 9.33/4.71 Conjecture not found
% 9.45/4.75 Conjecture not found
% 9.45/4.77 Conjecture not found
% 9.45/4.78 Conjecture not found
% 9.54/4.80 Conjecture not found
% 9.54/4.81 Conjecture not found
% 9.54/4.84 Conjecture not found
% 9.68/4.88 Conjecture not found
% 9.68/4.88 Conjecture not found
% 9.68/4.88 Conjecture not found
% 9.68/4.89 Conjecture not found
% 9.73/4.93 Conjecture not found
% 9.73/4.95 Conjecture not found
% 9.85/5.00 Conjecture not found
% 10.01/5.05 Conjecture not found
% 10.29/5.24 Conjecture not found
% 10.32/5.28 Conjecture not found
% 10.32/5.30 Conjecture not found
% 10.32/5.32 Conjecture not found
% 10.47/5.35 Conjecture not found
% 10.52/5.38 Conjecture not found
% 10.52/5.43 Conjecture not found
% 10.68/5.44 Conjecture not found
% 10.68/5.47 Conjecture not found
% 10.71/5.51 Conjecture not found
% 11.00/5.63 Conjecture not found
% 11.94/6.34 Conjecture not found
% 12.97/7.06 Conjecture not found
% 13.34/7.23 Conjecture not found
% 13.40/7.30 Conjecture not found
% 13.40/7.33 Conjecture not found
% 13.54/7.37 Conjecture not found
% 13.63/7.44 Conjecture not found
% 13.65/7.46 Conjecture not found
% 13.65/7.48 Conjecture not found
% 13.73/7.54 Conjecture not found
% 13.86/7.62 Conjecture not found
% 13.96/7.68 Conjecture not found
% 13.96/7.71 Conjecture not found
% 13.96/7.73 Conjecture not found
% 14.14/7.79 Conjecture not found
% 14.20/7.85 Conjecture not found
% 14.23/7.90 Conjecture not found
% 14.42/7.97 Conjecture not found
% 14.47/8.04 Conjecture not found
% 14.54/8.06 Conjecture not found
% 14.54/8.10 Conjecture not found
% 14.67/8.13 Conjecture not found
% 14.71/8.16 Conjecture not found
% 14.71/8.22 Conjecture not found
% 14.80/8.26 Conjecture not found
% 14.95/8.29 Conjecture not found
% 15.03/8.37 Conjecture not found
% 15.07/8.45 Conjecture not found
% 15.20/8.48 Conjecture not found
% 15.20/8.50 Conjecture not found
% 15.20/8.53 Conjecture not found
% 15.30/8.55 Conjecture not found
% 15.30/8.57 Conjecture not found
% 15.30/8.60 Conjecture not found
% 15.36/8.63 Conjecture not found
% 15.50/8.68 Conjecture not found
% 15.50/8.69 Conjecture not found
% 15.59/8.75 Conjecture not found
% 15.59/8.78 Conjecture not found
% 15.63/8.82 Conjecture not found
% 15.69/8.89 Conjecture not found
% 15.86/8.92 Conjecture not found
% 15.86/8.94 Conjecture not found
% 15.91/8.97 Conjecture not found
% 15.91/9.00 Conjecture not found
% 15.91/9.04 Conjecture not found
% 16.01/9.05 Conjecture not found
% 16.15/9.11 Conjecture not found
% 16.20/9.15 Conjecture not found
% 16.21/9.18 Conjecture not found
% 16.26/9.24 Conjecture not found
% 16.29/9.24 Conjecture not found
% 16.29/9.27 Conjecture not found
% 16.49/9.34 Conjecture not found
% 16.49/9.36 Conjecture not found
% 16.49/9.38 Conjecture not found
% 16.56/9.40 Conjecture not found
% 16.56/9.42 Conjecture not found
% 16.56/9.43 Conjecture not found
% 16.56/9.44 Conjecture not found
% 16.56/9.44 Conjecture not found
% 16.63/9.50 Conjecture not found
% 16.92/9.66 Conjecture not found
% 16.92/9.67 Conjecture not found
% 16.98/9.71 Conjecture not found
% 16.98/9.74 Conjecture not found
% 16.98/9.76 Conjecture not found
% 17.04/9.81 Conjecture not found
% 17.04/9.83 Conjecture not found
% 17.26/9.87 Conjecture not found
% 17.33/9.94 Conjecture not found
% 17.41/10.01 Conjecture not found
% 17.60/10.09 Conjecture not found
% 17.60/10.15 Conjecture not found
% 17.97/10.37 Conjecture not found
% 18.11/10.47 Conjecture not found
% 18.34/10.57 Conjecture not found
% 18.34/10.58 Conjecture not found
% 18.34/10.62 Conjecture not found
% 18.46/10.68 Conjecture not found
% 18.46/10.74 Conjecture not found
% 18.54/10.76 Conjecture not found
% 18.77/10.91 Conjecture not found
% 18.85/11.00 Conjecture not found
% 19.12/11.10 Conjecture not found
% 19.19/11.16 Conjecture not found
% 19.24/11.24 Conjecture not found
% 19.29/11.27 Conjecture not found
% 19.52/11.38 Conjecture not found
% 19.57/11.44 Conjecture not found
% 19.72/11.55 Conjecture not found
% 20.01/11.74 Conjecture not found
% 20.01/11.76 Conjecture not found
% 20.07/11.80 Conjecture not found
% 20.07/11.83 Conjecture not found
% 20.16/11.86 Conjecture not found
% 20.40/12.00 Conjecture not found
% 20.50/12.11 Conjecture not found
% 20.50/12.13 Conjecture not found
% 20.61/12.18 Conjecture not found
% 21.29/12.55 Conjecture not found
% 21.39/12.65 Conjecture not found
% 21.39/12.71 Conjecture not found
% 21.46/12.77 Conjecture not found
% 21.66/12.79 Conjecture not found
% 21.66/12.81 Conjecture not found
% 21.75/12.90 Conjecture not found
% 21.82/13.01 Conjecture not found
% 22.12/13.16 Conjecture not found
% 22.26/13.24 Conjecture not found
% 22.26/13.28 Conjecture not found
% 22.58/13.47 Conjecture not found
% 22.72/13.56 Conjecture not found
% 22.72/13.64 Conjecture not found
% 22.99/13.73 Conjecture not found
% 23.11/13.78 Conjecture not found
% 23.11/13.80 Conjecture not found
% 23.11/13.85 Conjecture not found
% 23.19/13.86 Conjecture not found
% 23.22/13.89 Conjecture not found
% 23.28/13.96 Conjecture not found
% 23.37/14.05 Conjecture not found
% 23.55/14.09 Conjecture not found
% 23.55/14.13 Conjecture not found
% 23.68/14.23 Conjecture not found
% 23.68/14.24 Conjecture not found
% 23.74/14.28 Conjecture not found
% 23.79/14.32 Conjecture not found
% 24.15/14.53 Conjecture not found
% 24.21/14.55 Conjecture not found
% 24.27/14.61 Conjecture not found
% 24.27/14.63 Conjecture not found
% 24.27/14.63 Conjecture not found
% 24.27/14.64 Conjecture not found
% 24.31/14.66 Conjecture not found
% 24.60/14.76 Conjecture not found
% 24.60/14.77 Conjecture not found
% 24.60/14.80 Conjecture not found
% 24.71/14.91 Conjecture not found
% 25.03/15.04 Conjecture not found
% 25.17/15.17 Conjecture not found
% 25.17/15.20 Conjecture not found
% 25.37/15.42 Conjecture not found
% 25.76/15.63 Conjecture not found
% 25.84/15.66 Conjecture not found
% 26.09/15.76 Conjecture not found
% 26.14/15.79 Conjecture not found
% 26.14/15.81 Conjecture not found
% 26.27/15.94 Conjecture not found
% 26.52/16.08 Conjecture not found
% 26.68/16.15 Conjecture not found
% 26.74/16.18 Conjecture not found
% 26.88/16.34 Conjecture not found
% 26.90/16.43 Conjecture not found
% 27.19/16.46 Conjecture not found
% 27.24/16.55 Conjecture not found
% 27.37/16.63 Conjecture not found
% 27.37/16.64 Conjecture not found
% 27.37/16.71 Conjecture not found
% 27.74/16.86 Conjecture not found
% 27.82/16.90 Conjecture not found
% 27.85/16.92 Conjecture not found
% 27.89/17.00 Conjecture not found
% 27.99/17.08 Conjecture not found
% 27.99/17.08 Conjecture not found
% 28.33/17.19 Conjecture not found
% 28.41/17.26 Conjecture not found
% 28.46/17.32 Conjecture not found
% 28.49/17.39 Conjecture not found
% 28.63/17.51 Conjecture not found
% 28.63/17.54 Conjecture not found
% 28.98/17.63 Conjecture not found
% 29.08/17.74 Conjecture not found
% 29.23/17.88 Conjecture not found
% 29.23/17.92 Conjecture not found
% 29.60/18.04 Conjecture not found
% 29.64/18.07 Conjecture not found
% 29.64/18.09 Conjecture not found
% 29.64/18.10 Conjecture not found
% 29.64/18.11 Conjecture not found
% 29.71/18.17 Conjecture not found
% 29.71/18.18 Conjecture not found
% 30.03/18.33 Conjecture not found
% 30.12/18.44 Conjecture not found
% 30.27/18.52 Conjecture not found
% 30.34/18.56 Conjecture not found
% 30.34/18.57 Conjecture not found
% 30.51/18.70 Conjecture not found
% 30.51/18.72 Conjecture not found
% 30.51/18.74 Conjecture not found
% 30.85/18.87 Conjecture not found
% 30.85/18.90 Conjecture not found
% 30.92/18.97 Conjecture not found
% 31.06/19.08 Conjecture not found
% 31.36/19.16 Conjecture not found
% 31.36/19.22 Conjecture not found
% 31.99/19.60 Conjecture not found
% 32.10/19.71 Conjecture not found
% 32.16/19.74 Conjecture not found
% 32.25/19.89 Conjecture not found
% 32.31/19.95 Conjecture not found
% 32.67/20.05 Conjecture not found
% 32.67/20.10 Conjecture not found
% 32.84/20.25 Conjecture not found
% 32.95/20.32 Conjecture not found
% 32.99/20.36 Conjecture not found
% 32.99/20.41 Conjecture not found
% 33.32/20.46 Conjecture not found
% 33.40/20.53 Conjecture not found
% 33.46/20.65 Conjecture not found
% 33.55/20.67 Conjecture not found
% 33.55/20.68 Conjecture not found
% 33.57/20.69 Conjecture not found
% 33.61/20.76 Conjecture not found
% 33.61/20.78 Conjecture not found
% 34.01/20.91 Conjecture not found
% 34.21/21.07 Conjecture not found
% 34.32/21.17 Conjecture not found
% 34.32/21.22 Conjecture not found
% 34.32/21.25 Conjecture not found
% 34.55/21.30 Conjecture not found
% 34.76/21.38 Conjecture not found
% 34.76/21.42 Conjecture not found
% 34.76/21.43 Conjecture not found
% 34.85/21.48 Conjecture not found
% 34.91/21.54 Conjecture not found
% 35.00/21.61 Conjecture not found
% 35.07/21.67 Conjecture not found
% 35.07/21.72 Conjecture not found
% 35.55/21.89 Conjecture not found
% 35.61/21.93 Conjecture not found
% 35.64/21.95 Conjecture not found
% 35.76/22.10 Conjecture not found
% 35.76/22.13 Conjecture not found
% 36.06/22.24 Conjecture not found
% 36.24/22.28 Conjecture not found
% 36.28/22.31 Conjecture not found
% 36.28/22.34 Conjecture not found
% 36.32/22.39 Conjecture not found
% 36.32/22.41 Conjecture not found
% 36.58/22.60 Conjecture not found
% 36.58/22.61 Conjecture not found
% 36.58/22.64 Conjecture not found
% 36.84/22.74 Conjecture not found
% 36.99/22.79 Conjecture not found
% 37.05/22.84 Conjecture not found
% 37.08/22.88 Conjecture not found
% 37.16/22.93 Conjecture not found
% 37.21/22.99 Conjecture not found
% 37.29/23.07 Conjecture not found
% 37.29/23.11 Conjecture not found
% 37.44/23.20 Conjecture not found
% 37.74/23.24 Conjecture not found
% 37.74/23.26 Conjecture not found
% 37.74/23.28 Conjecture not found
% 37.80/23.35 Conjecture not found
% 37.93/23.42 Conjecture not found
% 37.94/23.48 Conjecture not found
% 38.02/23.54 Conjecture not found
% 38.02/23.55 Conjecture not found
% 38.46/23.69 Conjecture not found
% 38.51/23.78 Conjecture not found
% 38.51/23.82 Conjecture not found
% 38.61/23.86 Conjecture not found
% 38.67/23.90 Conjecture not found
% 38.67/23.96 Conjecture not found
% 38.76/23.98 Conjecture not found
% 38.79/24.02 Conjecture not found
% 38.79/24.08 Conjecture not found
% 38.89/24.12 Conjecture not found
% 38.89/24.15 Conjecture not found
% 39.35/24.30 Conjecture not found
% 39.40/24.39 Conjecture not found
% 39.58/24.57 Conjecture not found
% 39.64/24.62 Conjecture not found
% 39.82/24.71 Conjecture not found
% 40.19/24.86 Conjecture not found
% 40.38/25.02 Conjecture not found
% 40.43/25.09 Conjecture not found
% 40.54/25.20 Conjecture not found
% 40.79/25.28 Conjecture not found
% 40.95/25.30 Conjecture not found
% 40.95/25.33 Conjecture not found
% 41.03/25.35 Conjecture not found
% 41.03/25.38 Conjecture not found
% 41.09/25.43 Conjecture not found
% 41.09/25.44 Conjecture not found
% 41.13/25.48 Conjecture not found
% 41.13/25.51 Conjecture not found
% 41.24/25.61 Conjecture not found
% 41.33/25.73 Conjecture not found
% 41.45/25.78 Conjecture not found
% 41.67/25.90 Conjecture not found
% 41.88/25.93 Conjecture not found
% 41.88/25.95 Conjecture not found
% 42.02/26.07 Conjecture not found
% 42.20/26.25 Conjecture not found
% 42.24/26.30 Conjecture not found
% 42.24/26.32 Conjecture not found
% 42.80/26.53 Conjecture not found
% 42.83/26.61 Conjecture not found
% 42.90/26.66 Conjecture not found
% 42.95/26.72 Conjecture not found
% 42.95/26.75 Conjecture not found
% 43.11/26.85 Conjecture not found
% 43.11/26.88 Conjecture not found
% 43.11/26.90 Conjecture not found
% 43.18/26.96 Conjecture not found
% 43.24/27.01 Conjecture not found
% 43.55/27.07 Conjecture not found
% 43.66/27.10 Conjecture not found
% 43.66/27.12 Conjecture not found
% 43.73/27.21 Conjecture not found
% 43.87/27.29 Conjecture not found
% 43.95/27.38 Conjecture not found
% 44.01/27.46 Conjecture not found
% 44.61/27.71 Conjecture not found
% 44.61/27.73 Conjecture not found
% 44.64/27.77 Conjecture not found
% 44.64/27.80 Conjecture not found
% 44.73/27.83 Conjecture not found
% 44.73/27.86 Conjecture not found
% 44.73/27.87 Conjecture not found
% 44.87/28.03 Conjecture not found
% 44.87/28.06 Conjecture not found
% 44.96/28.09 Conjecture not found
% 45.03/28.16 Conjecture not found
% 45.03/28.18 Conjecture not found
% 45.46/28.27 Conjecture not found
% 45.46/28.34 Conjecture not found
% 45.61/28.36 Conjecture not found
% 45.65/28.42 Conjecture not found
% 45.69/28.49 Conjecture not found
% 45.74/28.54 Conjecture not found
% 45.79/28.61 Conjecture not found
% 45.79/28.63 Conjecture not found
% 45.89/28.65 Conjecture not found
% 45.89/28.68 Conjecture not found
% 45.99/28.77 Conjecture not found
% 46.54/28.97 Conjecture not found
% 46.58/29.03 Conjecture not found
% 46.64/29.13 Conjecture not found
% 46.74/29.20 Conjecture not found
% 46.74/29.22 Conjecture not found
% 46.81/29.27 Conjecture not found
% 46.93/29.40 Conjecture not found
% 47.01/29.47 Conjecture not found
% 47.22/29.56 Conjecture not found
% 47.45/29.65 Conjecture not found
% 47.56/29.69 Conjecture not found
% 47.63/29.77 Conjecture not found
% 47.72/29.84 Conjecture not found
% 47.72/29.88 Conjecture not found
% 47.77/29.94 Conjecture not found
% 47.86/30.00 Conjecture not found
% 47.90/30.06 Conjecture not found
% 47.94/30.10 Conjecture not found
% 47.94/30.14 Conjecture not found
% 48.02/30.17 Conjecture not found
% 48.26/30.27 Conjecture not found
% 48.56/30.35 Conjecture not found
% 48.60/30.44 Conjecture not found
% 48.66/30.46 Conjecture not found
% 48.72/30.51 Conjecture not found
% 48.76/30.59 Conjecture not found
% 48.76/30.64 Conjecture not found
% 48.86/30.67 Conjecture not found
% 48.92/30.73 Conjecture not found
% 48.92/30.74 Conjecture not found
% 48.98/30.77 Conjecture not found
% 49.05/30.85 Conjecture not found
% 49.05/30.88 Conjecture not found
% 49.47/30.96 Conjecture not found
% 49.59/31.03 Conjecture not found
% 49.59/31.04 Conjecture not found
% 49.74/31.17 Conjecture not found
% 49.74/31.19 Conjecture not found
% 49.74/31.22 Conjecture not found
% 49.85/31.25 Conjecture not found
% 49.91/31.32 Conjecture not found
% 49.91/31.35 Conjecture not found
% 49.98/31.41 Conjecture not found
% 49.98/31.46 Conjecture not found
% 50.07/31.49 Conjecture not found
% 50.44/31.62 Conjecture not found
% 50.65/31.74 Conjecture not found
% 50.82/31.92 Conjecture not found
% 50.89/31.95 Conjecture not found
% 50.89/31.97 Conjecture not found
% 50.95/31.99 Conjecture not found
% 51.12/32.16 Conjecture not found
% 51.12/32.18 Conjecture not found
% 51.12/32.22 Conjecture not found
% 51.25/32.28 Conjecture not found
% 51.82/32.47 Conjecture not found
% 51.90/32.53 Conjecture not found
% 52.14/32.77 Conjecture not found
% 52.14/32.79 Conjecture not found
% 52.25/32.90 Conjecture not found
% 52.25/32.91 Conjecture not found
% 52.25/32.92 Conjecture not found
% 52.25/32.94 Conjecture not found
% 52.68/33.04 Conjecture not found
% 52.88/33.13 Conjecture not found
% 52.97/33.17 Conjecture not found
% 53.01/33.20 Conjecture not found
% 53.08/33.25 Conjecture not found
% 53.19/33.39 Conjecture not found
% 53.19/33.41 Conjecture not found
% 53.28/33.45 Conjecture not found
% 53.32/33.55 Conjecture not found
% 53.39/33.59 Conjecture not found
% 53.49/33.68 Conjecture not found
% 53.56/33.75 Conjecture not found
% 53.60/33.83 Conjecture not found
% 54.06/33.89 Conjecture not found
% 54.30/34.06 Conjecture not found
% 54.36/34.14 Conjecture not found
% 54.45/34.18 Conjecture not found
% 54.50/34.24 Conjecture not found
% 54.51/34.31 Conjecture not found
% 54.59/34.34 Conjecture not found
% 54.59/34.37 Conjecture not found
% 54.64/34.41 Conjecture not found
% 55.09/34.62 Conjecture not found
% 55.37/34.68 Conjecture not found
% 55.43/34.70 Conjecture not found
% 55.43/34.77 Conjecture not found
% 55.52/34.79 Conjecture not found
% 55.57/34.83 Conjecture not found
% 55.57/34.89 Conjecture not found
% 55.66/34.92 Conjecture not found
% 55.66/34.94 Conjecture not found
% 55.73/35.00 Conjecture not found
% 55.73/35.06 Conjecture not found
% 55.85/35.12 Conjecture not found
% 55.88/35.16 Conjecture not found
% 55.88/35.18 Conjecture not found
% 55.88/35.22 Conjecture not found
% 55.97/35.24 Conjecture not found
% 55.97/35.28 Conjecture not found
% 56.37/35.43 Conjecture not found
% 56.64/35.46 Conjecture not found
% 56.64/35.47 Conjecture not found
% 56.64/35.49 Conjecture not found
% 56.67/35.52 Conjecture not found
% 56.71/35.56 Conjecture not found
% 56.71/35.59 Conjecture not found
% 56.78/35.63 Conjecture not found
% 56.78/35.65 Conjecture not found
% 56.85/35.69 Conjecture not found
% 56.94/35.77 Conjecture not found
% 56.94/35.79 Conjecture not found
% 56.98/35.81 Conjecture not found
% 57.02/35.84 Conjecture not found
% 57.08/35.94 Conjecture not found
% 57.13/35.96 Conjecture not found
% 57.27/36.14 Conjecture not found
% 57.62/36.16 Conjecture not found
% 57.62/36.19 Conjecture not found
% 58.12/36.47 Conjecture not found
% 58.12/36.51 Conjecture not found
% 58.21/36.56 Conjecture not found
% 58.21/36.58 Conjecture not found
% 58.31/36.67 Conjecture not found
% 58.37/36.74 Conjecture not found
% 58.42/36.81 Conjecture not found
% 58.75/36.90 Conjecture not found
% 59.06/37.00 Conjecture not found
% 59.29/37.18 Conjecture not found
% 59.29/37.20 Conjecture not found
% 59.38/37.32 Conjecture not found
% 59.44/37.36 Conjecture not found
% 59.48/37.41 Conjecture not found
% 59.55/37.44 Conjecture not found
% 59.55/37.46 Conjecture not found
% 59.55/37.48 Conjecture not found
% 59.61/37.53 Conjecture not found
% 59.67/37.57 Conjecture not found
% 59.70/37.59 Conjecture not found
% 59.70/37.62 Conjecture not found
% 59.76/37.68 Conjecture not found
% 59.76/37.70 Conjecture not found
% 60.13/37.78 Conjecture not found
% 60.13/37.84 Conjecture not found
% 60.56/37.99 Conjecture not found
% 60.65/38.05 Conjecture not found
% 60.70/38.11 Conjecture not found
% 60.80/38.18 Conjecture not found
% 60.84/38.25 Conjecture not found
% 60.93/38.33 Conjecture not found
% 60.93/38.38 Conjecture not found
% 61.00/38.41 Conjecture not found
% 61.09/38.48 Conjecture not found
% 61.75/38.65 Conjecture not found
% 62.43/39.30 Conjecture not found
% 62.43/39.34 Conjecture not found
% 63.03/39.48 Conjecture not found
% 63.13/39.54 Conjecture not found
% 63.13/39.57 Conjecture not found
% 63.13/39.59 Conjecture not found
% 63.19/39.61 Conjecture not found
% 63.19/39.64 Conjecture not found
% 63.24/39.67 Conjecture not found
% 63.24/39.68 Conjecture not found
% 63.24/39.71 Conjecture not found
% 63.40/39.82 Conjecture not found
% 63.57/40.00 Conjecture not found
% 63.70/40.12 Conjecture not found
% 63.74/40.19 Conjecture not found
% 64.19/40.29 Conjecture not found
% 64.19/40.33 Conjecture not found
% 64.46/40.36 Conjecture not found
% 64.53/40.44 Conjecture not found
% 64.56/40.47 Conjecture not found
% 64.56/40.50 Conjecture not found
% 64.63/40.53 Conjecture not found
% 64.63/40.56 Conjecture not found
% 64.77/40.67 Conjecture not found
% 64.83/40.73 Conjecture not found
% 64.86/40.80 Conjecture not found
% 64.93/40.88 Conjecture not found
% 64.99/40.89 Conjecture not found
% 65.08/41.01 Conjecture not found
% 65.33/41.10 Conjecture not found
% 65.76/41.13 Conjecture not found
% 65.76/41.14 Conjecture not found
% 65.82/41.21 Conjecture not found
% 65.82/41.24 Conjecture not found
% 65.90/41.26 Conjecture not found
% 65.99/41.38 Conjecture not found
% 65.99/41.39 Conjecture not found
% 65.99/41.41 Conjecture not found
% 66.07/41.45 Conjecture not found
% 66.07/41.47 Conjecture not found
% 66.13/41.51 Conjecture not found
% 66.13/41.55 Conjecture not found
% 66.23/41.58 Conjecture not found
% 66.36/41.72 Conjecture not found
% 66.43/41.80 Conjecture not found
% 66.43/41.82 Conjecture not found
% 66.43/41.85 Conjecture not found
% 66.85/42.03 Conjecture not found
% 66.85/42.04 Conjecture not found
% 67.31/42.11 Conjecture not found
% 67.38/42.15 Conjecture not found
% 67.58/42.35 Conjecture not found
% 67.61/42.38 Conjecture not found
% 67.68/42.44 Conjecture not found
% 67.72/42.51 Conjecture not found
% 67.79/42.58 Conjecture not found
% 67.83/42.63 Conjecture not found
% 67.92/42.72 Conjecture not found
% 68.41/42.82 Conjecture not found
% 68.49/42.87 Conjecture not found
% 68.49/42.88 Conjecture not found
% 68.49/42.89 Conjecture not found
% 68.49/42.95 Conjecture not found
% 68.61/42.99 Conjecture not found
% 68.66/43.04 Start search
% 139.77/60.16 nb_step : 1 - limit : 134063
% 140.43/60.69 Launch Gotab with destructive = true
%------------------------------------------------------------------------------