Sota solver results for family Bloem_dqbf <br> QBFEVAL'19

Instance	Solver	Result	Time
add10n.dqdimacs	hqs	SAT	0
add10y.dqdimacs	hqs	SAT	0
add16n.dqdimacs	hqs	SAT	1.08
add20n.dqdimacs	hqs+ql+fs	SAT	1.85
add2y.dqdimacs	dCaqe	SAT	0
add4n.dqdimacs	hqs	SAT	0
add4y.dqdimacs	hqs+ql	SAT	0
add6n.dqdimacs	hqs	SAT	0
add6y.dqdimacs	hqs	SAT	0
add8y.dqdimacs	hqs	SAT	0
amba3c5n.dqdimacs	dCaqe	SAT	1.43
amba6c5n.dqdimacs	dCaqe	SAT	81.5
bs16n.dqdimacs	iprover_hqspre	SAT	90.67
bs16y.dqdimacs	iprover_hqspre	SAT	90.51
bs8y.dqdimacs	dCaqe	SAT	0.05
cnt11n.dqdimacs	dCaqe	SAT	0
cnt11y.dqdimacs	dCaqe	SAT	0.05
cnt2n.dqdimacs	dCaqe	SAT	0
cnt2unrealy.dqdimacs	dCaqe	UNSAT	0
cnt3n.dqdimacs	dCaqe	SAT	0
cnt3y.dqdimacs	dCaqe	SAT	0
cnt4n.dqdimacs	dCaqe	SAT	0
cnt6n.dqdimacs	dCaqe	SAT	0
cnt6y.dqdimacs	dCaqe	SAT	0
cnt7y.dqdimacs	dCaqe	SAT	0.02
cnt9n.dqdimacs	dCaqe	SAT	0
ex2.dqdimacs	dCaqe	SAT	0
mult11.dqdimacs	dCaqe	SAT	0
mult2.dqdimacs	dCaqe	SAT	0
mult4.dqdimacs	dCaqe	SAT	0
mult6.dqdimacs	dCaqe	SAT	0
mult9.dqdimacs	dCaqe	SAT	0
mv4n.dqdimacs	hqs	SAT	0
mvs24n.dqdimacs	dCaqe	SAT	0.35
mvs2y.dqdimacs	dCaqe	SAT	0
mvs4n.dqdimacs	dCaqe	SAT	0
stay2n.dqdimacs	dCaqe	SAT	0
stay4n.dqdimacs	dCaqe	SAT	0
stay4y.dqdimacs	dCaqe	SAT	0
stay6n.dqdimacs	dCaqe	SAT	0.06
unrealizable.dqdimacs	dCaqe	UNSAT	0

QBF Solver Evaluation Portal