Syntcomp 2017
Results
|
Monitor
»
Experiments
::
AIGER: Realizability, Sequential
:: Results by Solver
Solver:
Simple BDD Solver
TermiteSAT 2016
Simple BDD Solver w/ Abs.
Simple BDD Solver w/ Abs. 2
Demiurge D1real
AbsSynthe SC1
AbsSynthe SC2
AbsSynthe SC3
SafetySynth
SafetySynth alt.
Cost:
CPU Time
Walltime
Cost