Syntcomp 2015
Results
|
Monitor
»
Experiments
::
Synthesis Parallel
:: Results by Solver
Solver:
par_synth_conf1
par_synth_conf2
Demiurge
par_synth_conf2_bugfixed
par_synth_conf1_bugfixed
Cost:
CPU Time
Walltime
Cost