EDACC Web Frontend - Syntcomp 2016 - Solver Configurations

Syntcomp 2016

Results |Monitor

» Experiments :: AIGER: Realizability, Parallel - Reference Track :: Solver Configurations

Solver configurations used in the experiment

Name	Solver
Abssynthe 2015	Abssynthe 2015	Results

Legal notice / Impressum — Support and discussion at Google groups — E-mail the developer — Bug Tracker — Source code on Github — EDACC on Github