Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Synthesis Sequential - Legacy
:: Results by Solver
Solver:
AbsSynthe (2014)
Demiurge D1Synt (2014)
Demiurge D1Synt (2015)
AbsSynthe S2 (2015)
AbsSynthe (2016)
SafetySynth (2016)
SDF (2016)
AbsSynthe (2017)
SafetySynth (2017)
Cost:
CPU Time
Walltime
Cost