Select dz2 from Open preprepared compounds under File in the Composer. When the formula appears press Save start. Now select dz1. When the formula is displayed press Save searched.

Set the Computation Tool in the following way, where no indication means to leave the field empty or the box unchecked:

1. Computation

MAIN: start

GENERATION BOUND: 300

The program should have found a synthesis, but a better one is obtained by continuation (notice that the graph has been generated from graph 183):

2. Computation

MAIN: continue

GENERATION BOUND: 184

DISTINCT: checked

3. Computation

MAIN: continue

GENERATION BOUND: 300

The program should have found a synthesis, but a better one is obtained by continuation (notice that the graph has been generated from graph 184):

4. Computation

MAIN: continue

GENERATION BOUND: 185

DISTINCT: checked

5. Computation

MAIN: continue

GENERATION BOUND: 300

The program should have found a synthesis but a better one is obtained by continuation (notice that the graph has been generated from graph 186):

6. Computation

MAIN: continue

GENERATION BOUND: 187

DISTINCT: checked

7. Computation

MAIN: continue

GENERATION BOUND: 300

The program should have found a synthesis!

To view the synthesis choose Open step in derivation from File in the Graphic Composer.

<< back