Syntcomp 2015

Results |Monitor

Solver configurations used in the experiment

Name	Solver
par_synth_conf1	AbsSynthe	Results
par_synth_conf2	AbsSynthe	Results
Demiurge	Demiurge	Results
par_synth_conf2_bugfixed	AbsSynthe	Results
par_synth_conf1_bugfixed	AbsSynthe	Results