Syntcomp 2016
Results
|
Monitor
»
Experiments
::
AIGER: Realizability, Sequential
:: Results by Solver
Solver:
TermiteSAT
SafetySynth
SafetySynth Alt
Simple BDD Solver
Simple BDD Solver with Abstraction
SDF
Demiurge D1real
Simple BDD Solver w/ Abstraction 2
AbsSynthe S2
AbsSynthe S3
AbsSynthe S1
Cost:
CPU Time
Walltime
Cost