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

Instance	Solver	Result	Time
cube_c11_par---13_	aqme-10	UNSAT	50.05
cube_c3_ser--opt-6_	caqe-portfolio	SAT	0.33
cube_c7_ser--opt-24_	aqme-10	SAT	494.66
cube_c9_par--opt-11_	aqme-10	SAT	10.92
emptyroom_e3_ser---19_	aqme-10	UNSAT	59.38
emptyroom_e3_ser--opt-20_	aqme-10	SAT	1.27
emptyroom_e4_par---21_	aqme-10	UNSAT	45.15
ring_r3_ser--opt-8_	caqe-portfolio	SAT	0.72
ring_r4_ser--opt-11_	caqe-portfolio	UNSAT	0.12

QBF Solver Evaluation Portal