Syntcomp 2018

Results |Monitor

Solver configurations used in the experiment

Name	Solver
BoSy	BoSy	Results
Strix	Strix	Results
ltlsynt (ds)	ltlsynt	Results
ltlsynt (sd)	ltlsynt	Results
ltlsynt (incr)	ltlsynt	Results
Kid	Kid	Results
Bowser	Bowser	Results