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

Instance	Solver	Result	Time
cube_c11_par---13_	QELL_default	UNSAT	0.6
cube_c11_ser--opt-42_	QELL_unit	SAT	127.8
cube_c7_ser---23_	heretiq	UNSAT	88.15
emptyroom_e3_ser---19_	QELL_unit	UNSAT	6.82
emptyroom_e4_par---21_	QELL_unit	UNSAT	0.92
emptyroom_e4_ser--opt-44_	QELL_default	SAT	66.16
ring_r6_ser--opt-17_	QELL_default	SAT	584.39
ring_r7_ser---19_	QELL_default	UNSAT	6.71

QBF Solver Evaluation Portal