TSTP Solution File: LAT349+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT349+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.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:12 EDT 2022
% Result : Timeout 300.65s 90.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LAT349+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n025.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 300
% 0.11/0.33 % DateTime : Thu Sep 1 15:39:53 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.33 [DMT] DMT loaded with preskolemization
% 0.11/0.33 [EQ] equality loaded.
% 0.11/0.33 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.36 Conjecture not found
% 0.18/0.36 Conjecture not found
% 0.18/0.37 Conjecture not found
% 0.18/0.37 Conjecture not found
% 0.18/0.38 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.53 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.54/0.58 Conjecture not found
% 0.54/0.62 Conjecture not found
% 0.68/0.69 Conjecture not found
% 0.68/0.70 Conjecture not found
% 0.89/0.77 Conjecture not found
% 0.89/0.83 Conjecture not found
% 1.10/0.91 Conjecture not found
% 1.19/0.94 Conjecture not found
% 1.22/1.01 Conjecture not found
% 1.34/1.05 Conjecture not found
% 1.43/1.10 Conjecture not found
% 1.43/1.13 Conjecture not found
% 1.43/1.16 Conjecture not found
% 1.59/1.17 Conjecture not found
% 1.59/1.18 Conjecture not found
% 1.59/1.19 Conjecture not found
% 1.64/1.19 Conjecture not found
% 1.70/1.29 Conjecture not found
% 1.82/1.32 Conjecture not found
% 1.82/1.32 Conjecture not found
% 1.82/1.34 Conjecture not found
% 1.82/1.34 Conjecture not found
% 1.82/1.35 Conjecture not found
% 1.82/1.35 Conjecture not found
% 1.82/1.36 Conjecture not found
% 1.82/1.36 Conjecture not found
% 1.93/1.41 Conjecture not found
% 1.93/1.46 Conjecture not found
% 2.10/1.46 Conjecture not found
% 2.10/1.47 Conjecture not found
% 2.10/1.48 Conjecture not found
% 2.16/1.50 Conjecture not found
% 2.16/1.51 Conjecture not found
% 2.16/1.53 Conjecture not found
% 2.22/1.55 Conjecture not found
% 2.22/1.57 Conjecture not found
% 2.22/1.59 Conjecture not found
% 2.22/1.60 Conjecture not found
% 2.22/1.61 Conjecture not found
% 2.39/1.64 Conjecture not found
% 2.48/1.70 Conjecture not found
% 2.48/1.75 Conjecture not found
% 2.48/1.75 Conjecture not found
% 2.48/1.77 Conjecture not found
% 2.70/1.80 Conjecture not found
% 2.76/1.83 Conjecture not found
% 2.76/1.84 Conjecture not found
% 2.76/1.86 Conjecture not found
% 2.88/1.95 Conjecture not found
% 3.03/1.98 Conjecture not found
% 3.03/1.99 Conjecture not found
% 3.03/2.01 Conjecture not found
% 3.03/2.03 Conjecture not found
% 3.03/2.05 Conjecture not found
% 3.45/2.23 Conjecture not found
% 3.45/2.26 Conjecture not found
% 3.45/2.28 Conjecture not found
% 3.73/2.39 Conjecture not found
% 3.80/2.41 Conjecture not found
% 3.81/2.42 Conjecture not found
% 3.81/2.44 Conjecture not found
% 3.81/2.49 Conjecture not found
% 3.96/2.55 Conjecture not found
% 4.15/2.63 Conjecture not found
% 4.34/2.71 Conjecture not found
% 4.40/2.76 Conjecture not found
% 4.40/2.77 Conjecture not found
% 4.40/2.81 Conjecture not found
% 4.40/2.81 Conjecture not found
% 4.55/2.85 Conjecture not found
% 4.55/2.88 Conjecture not found
% 4.68/2.90 Conjecture not found
% 4.68/2.91 Conjecture not found
% 4.80/2.98 Conjecture not found
% 4.80/2.99 Conjecture not found
% 4.89/3.03 Conjecture not found
% 4.93/3.09 Conjecture not found
% 5.13/3.18 Conjecture not found
% 5.43/3.34 Conjecture not found
% 5.79/3.53 Conjecture not found
% 6.34/3.84 Conjecture not found
% 6.55/3.87 Conjecture not found
% 6.57/3.90 Conjecture not found
% 6.71/4.01 Conjecture not found
% 6.78/4.06 Conjecture not found
% 6.89/4.11 Conjecture not found
% 7.07/4.17 Conjecture not found
% 7.20/4.23 Conjecture not found
% 7.22/4.27 Conjecture not found
% 7.22/4.30 Conjecture not found
% 7.36/4.33 Conjecture not found
% 7.36/4.34 Conjecture not found
% 7.36/4.37 Conjecture not found
% 7.49/4.39 Conjecture not found
% 7.56/4.48 Conjecture not found
% 7.71/4.53 Conjecture not found
% 7.78/4.60 Conjecture not found
% 8.01/4.71 Conjecture not found
% 8.01/4.74 Conjecture not found
% 8.17/4.78 Conjecture not found
% 8.21/4.81 Conjecture not found
% 8.21/4.82 Conjecture not found
% 8.26/4.85 Conjecture not found
% 8.26/4.87 Conjecture not found
% 8.26/4.89 Conjecture not found
% 8.42/4.93 Conjecture not found
% 8.42/4.93 Conjecture not found
% 8.42/4.94 Conjecture not found
% 8.42/4.96 Conjecture not found
% 8.55/5.01 Conjecture not found
% 8.55/5.03 Conjecture not found
% 8.67/5.08 Conjecture not found
% 8.81/5.13 Conjecture not found
% 9.06/5.31 Conjecture not found
% 9.06/5.35 Conjecture not found
% 9.06/5.36 Conjecture not found
% 9.23/5.38 Conjecture not found
% 9.27/5.41 Conjecture not found
% 9.29/5.45 Conjecture not found
% 9.29/5.50 Conjecture not found
% 9.29/5.51 Conjecture not found
% 9.47/5.54 Conjecture not found
% 9.47/5.56 Conjecture not found
% 9.63/5.65 Conjecture not found
% 10.56/6.18 Conjecture not found
% 11.46/6.72 Conjecture not found
% 11.68/6.84 Conjecture not found
% 11.86/6.88 Conjecture not found
% 11.86/6.89 Conjecture not found
% 12.02/6.92 Conjecture not found
% 12.02/6.95 Conjecture not found
% 12.06/6.96 Conjecture not found
% 12.06/6.97 Conjecture not found
% 12.06/7.02 Conjecture not found
% 12.27/7.08 Conjecture not found
% 12.27/7.13 Conjecture not found
% 12.45/7.16 Conjecture not found
% 12.45/7.17 Conjecture not found
% 12.47/7.19 Conjecture not found
% 12.62/7.24 Conjecture not found
% 12.65/7.28 Conjecture not found
% 12.71/7.33 Conjecture not found
% 12.86/7.39 Conjecture not found
% 12.86/7.41 Conjecture not found
% 12.86/7.43 Conjecture not found
% 12.94/7.46 Conjecture not found
% 12.99/7.48 Conjecture not found
% 12.99/7.53 Conjecture not found
% 13.16/7.57 Conjecture not found
% 13.16/7.58 Conjecture not found
% 13.29/7.63 Conjecture not found
% 13.39/7.70 Conjecture not found
% 13.39/7.72 Conjecture not found
% 13.39/7.74 Conjecture not found
% 13.47/7.77 Conjecture not found
% 13.47/7.79 Conjecture not found
% 13.63/7.81 Conjecture not found
% 13.67/7.83 Conjecture not found
% 13.67/7.86 Conjecture not found
% 13.67/7.88 Conjecture not found
% 13.67/7.88 Conjecture not found
% 13.74/7.93 Conjecture not found
% 13.74/7.95 Conjecture not found
% 13.92/7.99 Conjecture not found
% 13.92/8.02 Conjecture not found
% 13.92/8.04 Conjecture not found
% 14.10/8.06 Conjecture not found
% 14.10/8.08 Conjecture not found
% 14.16/8.11 Conjecture not found
% 14.21/8.14 Conjecture not found
% 14.21/8.15 Conjecture not found
% 14.21/8.17 Conjecture not found
% 14.21/8.19 Conjecture not found
% 14.42/8.23 Conjecture not found
% 14.42/8.28 Conjecture not found
% 14.48/8.28 Conjecture not found
% 14.48/8.31 Conjecture not found
% 14.48/8.34 Conjecture not found
% 14.70/8.37 Conjecture not found
% 14.70/8.38 Conjecture not found
% 14.73/8.39 Conjecture not found
% 14.73/8.41 Conjecture not found
% 14.73/8.41 Conjecture not found
% 14.73/8.41 Conjecture not found
% 14.75/8.42 Conjecture not found
% 14.76/8.45 Conjecture not found
% 14.96/8.55 Conjecture not found
% 14.96/8.56 Conjecture not found
% 15.04/8.59 Conjecture not found
% 15.04/8.61 Conjecture not found
% 15.04/8.62 Conjecture not found
% 15.04/8.65 Conjecture not found
% 15.04/8.67 Conjecture not found
% 15.29/8.69 Conjecture not found
% 15.31/8.73 Conjecture not found
% 15.33/8.76 Conjecture not found
% 15.33/8.81 Conjecture not found
% 15.54/8.86 Conjecture not found
% 15.87/9.01 Conjecture not found
% 15.89/9.07 Conjecture not found
% 16.14/9.13 Conjecture not found
% 16.14/9.14 Conjecture not found
% 16.14/9.17 Conjecture not found
% 16.21/9.21 Conjecture not found
% 16.21/9.25 Conjecture not found
% 16.45/9.27 Conjecture not found
% 16.51/9.36 Conjecture not found
% 16.51/9.43 Conjecture not found
% 16.75/9.49 Conjecture not found
% 16.81/9.52 Conjecture not found
% 16.94/9.58 Conjecture not found
% 17.08/9.60 Conjecture not found
% 17.11/9.66 Conjecture not found
% 17.11/9.71 Conjecture not found
% 17.43/9.80 Conjecture not found
% 17.52/9.90 Conjecture not found
% 17.52/9.91 Conjecture not found
% 17.66/9.94 Conjecture not found
% 17.66/9.96 Conjecture not found
% 17.77/9.98 Conjecture not found
% 17.84/10.04 Conjecture not found
% 18.10/10.13 Conjecture not found
% 18.10/10.15 Conjecture not found
% 18.13/10.18 Conjecture not found
% 18.46/10.40 Conjecture not found
% 18.70/10.46 Conjecture not found
% 18.74/10.52 Conjecture not found
% 18.80/10.55 Conjecture not found
% 18.80/10.56 Conjecture not found
% 18.82/10.56 Conjecture not found
% 19.01/10.64 Conjecture not found
% 19.08/10.72 Conjecture not found
% 19.21/10.79 Conjecture not found
% 19.46/10.86 Conjecture not found
% 19.46/10.90 Conjecture not found
% 19.56/11.02 Conjecture not found
% 19.83/11.07 Conjecture not found
% 19.88/11.11 Conjecture not found
% 19.88/11.14 Conjecture not found
% 19.97/11.20 Conjecture not found
% 20.18/11.21 Conjecture not found
% 20.18/11.24 Conjecture not found
% 20.18/11.25 Conjecture not found
% 20.22/11.26 Conjecture not found
% 20.22/11.30 Conjecture not found
% 20.22/11.33 Conjecture not found
% 20.31/11.35 Conjecture not found
% 20.53/11.40 Conjecture not found
% 20.60/11.48 Conjecture not found
% 20.60/11.48 Conjecture not found
% 20.60/11.50 Conjecture not found
% 20.67/11.52 Conjecture not found
% 21.00/11.67 Conjecture not found
% 21.03/11.69 Conjecture not found
% 21.03/11.72 Conjecture not found
% 21.03/11.73 Conjecture not found
% 21.07/11.73 Conjecture not found
% 21.07/11.73 Conjecture not found
% 21.08/11.74 Conjecture not found
% 21.34/11.84 Conjecture not found
% 21.34/11.85 Conjecture not found
% 21.40/11.87 Conjecture not found
% 21.40/11.93 Conjecture not found
% 21.62/12.00 Conjecture not found
% 21.78/12.09 Conjecture not found
% 21.78/12.10 Conjecture not found
% 22.07/12.24 Conjecture not found
% 22.26/12.36 Conjecture not found
% 22.26/12.39 Conjecture not found
% 22.55/12.46 Conjecture not found
% 22.61/12.48 Conjecture not found
% 22.61/12.49 Conjecture not found
% 22.83/12.59 Conjecture not found
% 23.00/12.67 Conjecture not found
% 23.00/12.71 Conjecture not found
% 23.00/12.73 Conjecture not found
% 23.39/12.84 Conjecture not found
% 23.41/12.89 Conjecture not found
% 23.41/12.91 Conjecture not found
% 23.47/12.95 Conjecture not found
% 23.50/13.01 Conjecture not found
% 23.50/13.02 Conjecture not found
% 23.80/13.06 Conjecture not found
% 23.84/13.12 Conjecture not found
% 23.90/13.14 Conjecture not found
% 23.90/13.15 Conjecture not found
% 24.03/13.25 Conjecture not found
% 24.14/13.33 Conjecture not found
% 24.29/13.33 Conjecture not found
% 24.32/13.40 Conjecture not found
% 24.38/13.44 Conjecture not found
% 24.41/13.47 Conjecture not found
% 24.64/13.53 Conjecture not found
% 24.73/13.58 Conjecture not found
% 24.73/13.60 Conjecture not found
% 24.80/13.65 Conjecture not found
% 24.84/13.71 Conjecture not found
% 25.19/13.84 Conjecture not found
% 25.19/13.86 Conjecture not found
% 25.22/13.92 Conjecture not found
% 25.28/13.94 Conjecture not found
% 25.28/13.95 Conjecture not found
% 25.28/13.95 Conjecture not found
% 25.31/13.96 Conjecture not found
% 25.31/13.98 Conjecture not found
% 25.31/13.98 Conjecture not found
% 25.67/14.09 Conjecture not found
% 25.74/14.14 Conjecture not found
% 25.77/14.19 Conjecture not found
% 25.99/14.22 Conjecture not found
% 25.99/14.24 Conjecture not found
% 26.11/14.31 Conjecture not found
% 26.11/14.33 Conjecture not found
% 26.11/14.34 Conjecture not found
% 26.22/14.41 Conjecture not found
% 26.22/14.42 Conjecture not found
% 26.29/14.46 Conjecture not found
% 26.63/14.56 Conjecture not found
% 26.63/14.59 Conjecture not found
% 26.63/14.62 Conjecture not found
% 27.14/14.86 Conjecture not found
% 27.19/14.92 Conjecture not found
% 27.19/14.93 Conjecture not found
% 27.63/15.05 Conjecture not found
% 27.63/15.08 Conjecture not found
% 27.69/15.12 Conjecture not found
% 27.69/15.15 Conjecture not found
% 27.75/15.25 Conjecture not found
% 28.10/15.28 Conjecture not found
% 28.13/15.29 Conjecture not found
% 28.13/15.31 Conjecture not found
% 28.17/15.34 Conjecture not found
% 28.20/15.38 Conjecture not found
% 28.26/15.43 Conjecture not found
% 28.26/15.44 Conjecture not found
% 28.26/15.44 Conjecture not found
% 28.26/15.45 Conjecture not found
% 28.50/15.53 Conjecture not found
% 28.50/15.55 Conjecture not found
% 28.72/15.62 Conjecture not found
% 28.74/15.70 Conjecture not found
% 28.93/15.78 Conjecture not found
% 29.16/15.80 Conjecture not found
% 29.16/15.81 Conjecture not found
% 29.16/15.83 Conjecture not found
% 29.24/15.87 Conjecture not found
% 29.25/15.89 Conjecture not found
% 29.25/15.90 Conjecture not found
% 29.25/15.92 Conjecture not found
% 29.33/15.96 Conjecture not found
% 29.68/16.05 Conjecture not found
% 29.72/16.09 Conjecture not found
% 29.72/16.11 Conjecture not found
% 29.80/16.19 Conjecture not found
% 29.86/16.21 Conjecture not found
% 29.86/16.23 Conjecture not found
% 30.25/16.36 Conjecture not found
% 30.25/16.38 Conjecture not found
% 30.29/16.42 Conjecture not found
% 30.36/16.44 Conjecture not found
% 30.36/16.46 Conjecture not found
% 30.39/16.48 Conjecture not found
% 30.39/16.50 Conjecture not found
% 30.39/16.51 Conjecture not found
% 30.87/16.66 Conjecture not found
% 30.87/16.66 Conjecture not found
% 30.87/16.67 Conjecture not found
% 30.87/16.71 Conjecture not found
% 30.94/16.74 Conjecture not found
% 30.98/16.77 Conjecture not found
% 30.98/16.79 Conjecture not found
% 30.98/16.83 Conjecture not found
% 31.40/16.88 Conjecture not found
% 31.40/16.92 Conjecture not found
% 31.46/16.95 Conjecture not found
% 31.48/16.98 Conjecture not found
% 31.48/17.00 Conjecture not found
% 31.48/17.02 Conjecture not found
% 31.48/17.03 Conjecture not found
% 31.56/17.06 Conjecture not found
% 31.60/17.13 Conjecture not found
% 31.99/17.18 Conjecture not found
% 32.04/17.22 Conjecture not found
% 32.04/17.23 Conjecture not found
% 32.06/17.28 Conjecture not found
% 32.14/17.33 Conjecture not found
% 32.14/17.35 Conjecture not found
% 32.19/17.37 Conjecture not found
% 32.19/17.41 Conjecture not found
% 32.59/17.46 Conjecture not found
% 32.61/17.48 Conjecture not found
% 32.61/17.50 Conjecture not found
% 32.66/17.54 Conjecture not found
% 32.70/17.56 Conjecture not found
% 32.70/17.58 Conjecture not found
% 32.70/17.62 Conjecture not found
% 32.77/17.68 Conjecture not found
% 33.28/17.82 Conjecture not found
% 33.31/17.85 Conjecture not found
% 33.31/17.89 Conjecture not found
% 33.40/17.96 Conjecture not found
% 33.85/18.10 Conjecture not found
% 33.91/18.14 Conjecture not found
% 33.95/18.21 Conjecture not found
% 33.95/18.22 Conjecture not found
% 33.95/18.23 Conjecture not found
% 33.95/18.25 Conjecture not found
% 34.04/18.26 Conjecture not found
% 34.04/18.28 Conjecture not found
% 34.09/18.31 Conjecture not found
% 34.09/18.32 Conjecture not found
% 34.48/18.37 Conjecture not found
% 34.48/18.39 Conjecture not found
% 34.54/18.44 Conjecture not found
% 34.59/18.51 Conjecture not found
% 34.59/18.54 Conjecture not found
% 34.69/18.57 Conjecture not found
% 34.69/18.59 Conjecture not found
% 34.73/18.60 Conjecture not found
% 35.12/18.70 Conjecture not found
% 35.25/18.78 Conjecture not found
% 35.25/18.80 Conjecture not found
% 35.25/18.81 Conjecture not found
% 35.37/18.88 Conjecture not found
% 35.58/18.97 Conjecture not found
% 35.78/19.02 Conjecture not found
% 35.83/19.07 Conjecture not found
% 35.83/19.10 Conjecture not found
% 35.91/19.16 Conjecture not found
% 35.93/19.18 Conjecture not found
% 35.93/19.19 Conjecture not found
% 35.93/19.22 Conjecture not found
% 35.99/19.24 Conjecture not found
% 35.99/19.26 Conjecture not found
% 36.02/19.27 Conjecture not found
% 36.02/19.29 Conjecture not found
% 36.02/19.34 Conjecture not found
% 36.48/19.43 Conjecture not found
% 36.55/19.49 Conjecture not found
% 36.61/19.54 Conjecture not found
% 36.66/19.65 Conjecture not found
% 36.75/19.66 Conjecture not found
% 36.75/19.68 Conjecture not found
% 36.79/19.70 Conjecture not found
% 37.07/19.75 Conjecture not found
% 37.21/19.78 Conjecture not found
% 37.21/19.78 Conjecture not found
% 37.29/19.87 Conjecture not found
% 37.34/19.88 Conjecture not found
% 37.34/19.90 Conjecture not found
% 37.34/19.93 Conjecture not found
% 37.34/19.95 Conjecture not found
% 37.41/19.97 Conjecture not found
% 37.44/20.00 Conjecture not found
% 37.58/20.03 Conjecture not found
% 37.78/20.09 Conjecture not found
% 37.95/20.14 Conjecture not found
% 37.95/20.17 Conjecture not found
% 38.00/20.21 Conjecture not found
% 38.00/20.22 Conjecture not found
% 38.00/20.23 Conjecture not found
% 38.00/20.24 Conjecture not found
% 38.10/20.30 Conjecture not found
% 38.20/20.37 Conjecture not found
% 38.20/20.41 Conjecture not found
% 38.71/20.51 Conjecture not found
% 38.77/20.54 Conjecture not found
% 38.77/20.55 Conjecture not found
% 38.79/20.58 Conjecture not found
% 38.85/20.65 Conjecture not found
% 38.89/20.69 Conjecture not found
% 38.89/20.72 Conjecture not found
% 39.36/20.81 Conjecture not found
% 39.45/20.84 Conjecture not found
% 39.48/20.88 Conjecture not found
% 39.48/20.92 Conjecture not found
% 39.54/20.94 Conjecture not found
% 39.58/20.97 Conjecture not found
% 39.58/21.01 Conjecture not found
% 39.58/21.03 Conjecture not found
% 39.65/21.05 Conjecture not found
% 39.68/21.07 Conjecture not found
% 39.68/21.08 Conjecture not found
% 39.68/21.12 Conjecture not found
% 39.96/21.19 Conjecture not found
% 40.22/21.26 Conjecture not found
% 40.26/21.27 Conjecture not found
% 40.26/21.30 Conjecture not found
% 40.33/21.34 Conjecture not found
% 40.36/21.37 Conjecture not found
% 40.36/21.39 Conjecture not found
% 40.36/21.41 Conjecture not found
% 40.36/21.42 Conjecture not found
% 40.36/21.44 Conjecture not found
% 40.47/21.48 Conjecture not found
% 40.47/21.50 Conjecture not found
% 40.95/21.55 Conjecture not found
% 40.99/21.61 Conjecture not found
% 40.99/21.62 Conjecture not found
% 41.07/21.68 Conjecture not found
% 41.07/21.69 Conjecture not found
% 41.07/21.71 Conjecture not found
% 41.07/21.72 Conjecture not found
% 41.15/21.76 Conjecture not found
% 41.20/21.78 Conjecture not found
% 41.20/21.81 Conjecture not found
% 41.20/21.84 Conjecture not found
% 41.28/21.85 Conjecture not found
% 41.30/21.90 Conjecture not found
% 41.78/22.00 Conjecture not found
% 41.94/22.12 Conjecture not found
% 41.94/22.14 Conjecture not found
% 41.99/22.15 Conjecture not found
% 42.00/22.16 Conjecture not found
% 42.05/22.25 Conjecture not found
% 42.10/22.26 Conjecture not found
% 42.10/22.28 Conjecture not found
% 42.50/22.35 Conjecture not found
% 42.72/22.46 Conjecture not found
% 42.72/22.49 Conjecture not found
% 42.83/22.62 Conjecture not found
% 42.83/22.63 Conjecture not found
% 42.96/22.69 Conjecture not found
% 42.96/22.70 Conjecture not found
% 42.96/22.71 Conjecture not found
% 42.96/22.71 Conjecture not found
% 43.51/22.81 Conjecture not found
% 43.51/22.86 Conjecture not found
% 43.57/22.88 Conjecture not found
% 43.57/22.90 Conjecture not found
% 43.57/22.93 Conjecture not found
% 43.70/23.00 Conjecture not found
% 43.70/23.01 Conjecture not found
% 43.75/23.03 Conjecture not found
% 43.77/23.08 Conjecture not found
% 43.77/23.10 Conjecture not found
% 44.11/23.25 Conjecture not found
% 44.56/23.32 Conjecture not found
% 44.58/23.41 Conjecture not found
% 44.66/23.45 Conjecture not found
% 44.89/23.65 Conjecture not found
% 44.89/23.73 Conjecture not found
% 44.97/23.77 Conjecture not found
% 45.02/23.84 Conjecture not found
% 45.10/23.91 Conjecture not found
% 45.15/23.93 Start search
% 88.91/35.22 nb_step : 1 - limit : 107767
% 90.11/35.66 Launch Gotab with destructive = true
%------------------------------------------------------------------------------