Sota solver results for family conformant_planning <br> QBFEVAL'16

Instance	Solver	Result	Time
cube_c11_par---13_	rareqs	UNSAT	3.13
cube_c3_ser--opt-6_	depqbf-v1	SAT	0.02
cube_c7_ser--opt-24_	hiqqer1ldsq	SAT	10.4
cube_c9_par--opt-11_	hiqqer3	UNSAT	7.33
emptyroom_e3_ser---19_	rareqs	UNSAT	25.35
emptyroom_e3_ser--opt-20_	rareqs	SAT	0.27
emptyroom_e4_par---21_	rareqs	UNSAT	3.65
emptyroom_e4_ser--opt-44_	qestos	SAT	161.54
ring_r3_ser--opt-8_	rareqs	SAT	0.05
ring_r4_ser--opt-11_	caqe-minisat	UNSAT	0

QBF Solver Evaluation Portal