Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Realizability Parallel - Legacy
:: Results by Solver
Solver:
Demiurge P3Real (2015)
Realizer parallel (2015)
AbsSynthe P1 (2015)
AbsSynthe (2016)
TermiteSAT (2016)
AbsSynthe (2017)
Cost:
CPU Time
Walltime
Cost