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

Instance	Solver	Result	Time
blocks_enc_2_b3_ser--opt-9_	quantor-3.1	SAT	0.2
cube_c11_par---13_	aqme-10	UNSAT	100.36
cube_c3_ser--opt-6_	depqbf	SAT	0.01
cube_c5_ser---14_	nenofex-qbfeval10	UNSAT	109.39
cube_c9_par--opt-11_	depqbf-pre	SAT	11.02
emptyroom_e3_ser---19_	nenofex-qbfeval10	UNSAT	59.59
emptyroom_e3_ser--opt-20_	quantor-3.1	SAT	1.72
emptyroom_e4_par---21_	aqme-10	UNSAT	174.04
ring_r4_ser--opt-11_	QuBE7	UNSAT	0.02
ring_r6_ser---16_	quantor-3.1	UNSAT	585.96

QBF Solver Evaluation Portal