Sota solver results for family conformant

Instance	Solver	Result	Time
blocks_enc_2_b3_ser--opt-9_	sKizzo-0.10-qck	SAT	0.16
cube_c11_par---13_	AQME-RIPPER	UNSAT	428.02
cube_c3_ser--opt-6_	yQuaffle	SAT	0.04
cube_c5_ser---14_	aigqbf_s	UNSAT	119.12
cube_c5_ser--opt-15_	QUANTOR_2.15	SAT	4.54
cube_c7_ser--opt-24_	qZilla	SAT	271.76
cube_c9_par---10_	sKizzo-0.10-qck	UNSAT	6.87
cube_c9_par--opt-11_	QUANTOR_2.15	SAT	35.25
emptyroom_e3_par--opt-10_	Adaptive2clsQ	SAT	0.62
emptyroom_e3_ser---19_	QUANTOR_2.15	UNSAT	143
emptyroom_e3_ser--opt-20_	sKizzo-0.10-std	SAT	9.95
emptyroom_e4_par---21_	sKizzo-0.10-qck	UNSAT	75.75
emptyroom_e4_par--opt-22_	preQuel_sKizzo-0.10	SAT	240.19
ring_r3_ser--opt-8_	preQuel_sKizzo-0.10	SAT	0.14
ring_r4_ser--opt-11_	yQuaffle	UNSAT	0.08

QBF Solver Evaluation Portal