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 |