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

Instance	Solver	Result	Time
add10y.dqdimacs	hqs	SAT	0.77
add2n.dqdimacs	iprover_dqbf18	SAT	0.61
add4n.dqdimacs	hqs	SAT	0.84
add6n.dqdimacs	hqs	SAT	0.27
add6y.dqdimacs	hqs	SAT	0.7
bs16n.dqdimacs	iprover_hqspre	SAT	81.66
bs16y.dqdimacs	iprover_hqspre	SAT	80.97
bs8y.dqdimacs	hqs	SAT	1.54
cnt11y.dqdimacs	hqs	SAT	100.58
cnt2n.dqdimacs	iprover_hqspre	SAT	0.45
cnt2unrealy.dqdimacs	iprover_dqbf18	UNSAT	0.46
cnt3n.dqdimacs	hqs	SAT	0.35
cnt4n.dqdimacs	hqs	SAT	0.63
cnt6n.dqdimacs	hqs	SAT	0.56
cnt6y.dqdimacs	hqs	SAT	1.19
cnt7y.dqdimacs	iprover_hqspre	SAT	1.41
cnt9n.dqdimacs	hqs	SAT	6.72
eq1.dqdimacs	iprover_dqbf18	SAT	0.13
ex1.dqdimacs	idq	SAT	0.15
ex2.dqdimacs	iprover_hqspre	SAT	0.72
mult11.dqdimacs	iprover_hqspre	SAT	1.09
mult2.dqdimacs	iprover_dqbf18	SAT	0.17
mult4.dqdimacs	iprover_dqbf18	SAT	0.48
mult6.dqdimacs	iprover_hqspre	SAT	0.43
mult9.dqdimacs	iprover_hqspre	SAT	0.28
mv2n.dqdimacs	hqs	SAT	0.15
mv4n.dqdimacs	hqs	SAT	0.28
mv8y.dqdimacs	hqs	SAT	501.13
mvs2n.dqdimacs	hqs	SAT	0.29
mvs8n.dqdimacs	hqs	SAT	26
sh_u.dqdimacs	hqs	UNSAT	0.08
stay2n.dqdimacs	hqs	SAT	0.47
stay4y.dqdimacs	iprover_hqspre	SAT	0.56
unr.dqdimacs	idq	UNSAT	0.17
unrealizable.dqdimacs	iprover_dqbf18	UNSAT	0.15

QBF Solver Evaluation Portal