Sota solver results for family conformant

Instance	Solver	Result	Time
blocks_enc_2_b3_ser--opt-9_	quantor3.0	SAT	0.13
cube_c11_par---13_	quantor3.0	UNSAT	77.56
cube_c11_par--opt-14_	quantor3.0	SAT	182.14
cube_c3_ser--opt-6_	quantor3.0	SAT	0.04
cube_c5_ser---14_	Nenofex	UNSAT	71.74
cube_c5_ser--opt-15_	quantor3.0	SAT	1.27
cube_c9_par---10_	quantor3.0	UNSAT	18.45
cube_c9_par--opt-11_	quantor3.0	SAT	13.5
emptyroom_e3_par--opt-10_	quantor3.0	SAT	0.54
emptyroom_e3_ser---19_	Nenofex	UNSAT	37.45
emptyroom_e3_ser--opt-20_	quantor3.0	SAT	0.89
emptyroom_e4_par---21_	quantor3.0	UNSAT	65.34
emptyroom_e4_par--opt-22_	Nenofex	SAT	188.83
ring_r3_ser--opt-8_	quantor3.0	SAT	0.22
ring_r4_ser--opt-11_	ssolveC	UNSAT	0.14
ring_r6_ser--opt-17_	quantor3.0	SAT	520.74

QBF Solver Evaluation Portal