Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Realizability Sequential
:: Results by Solver
Solver:
Simple BDD Solver (2016)
Simple BDD Solver w/ Abs.
Simple BDD Solver w/ Abs. 2
LazySynt
LazySynt (genDel)
Cost:
CPU Time
Walltime
Cost