Syntcomp 2016
Results
|
Monitor
»
Experiments
::
AIGER: Realizability, Sequential - Reference Track
:: Results by Solver
Solver:
Abssynthe (S1 Ref 2015)
Simple BDD Solver (Ref 2015)
Simple BDD Solver (Ref 2014)
Cost:
CPU Time
Walltime
Cost