Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| seq_synth_conf1 | AbsSynthe | Results |
| seq_synth_conf2 | AbsSynthe | Results |
| seq_synth_conf3 | AbsSynthe | Results |
| D1Synt | Demiurge | Results |
| seq_synth_conf2_bugfixed | AbsSynthe | Results |
| seq_synth_conf3_bugfixed | AbsSynthe | Results |