Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Realizability Sequential - Legacy
:: Results by Solver
Solver:
AbsSynthe (2014)
Demiurge (2014)
Simple BDD Solver (2014)
Demiurge D1Real (2015)
Realizer (2015)
AbsSynthe S2 (2015)
Simple BDD Solver (2015)
AbsSynthe (2016)
SafetySynth (2016)
Simple BDD Solver (2016)
AbsSynthe S3 (2017)
SafetySynth (2017)
Cost:
CPU Time
Walltime
Cost