Sota solver results for family term1 <br> QBFEVAL'08

Instance	Solver	Result	Time
term1.blif_0.10_0.20_0_0_inp_exact	ssolveC	UNSAT	53.6
term1.blif_0.10_0.20_0_0_out_exact	QuBE6.1	UNSAT	86.94
term1.blif_0.10_0.20_0_1_inp_exact	ssolveC	SAT	0.06
term1.blif_0.10_0.20_0_1_out_exact	ssolveC	SAT	0.06
term1.blif_0.10_1.00_0_0_inp_exact	quantor3.0	UNSAT	0.1
term1.blif_0.10_1.00_0_0_out_exact	quantor3.0	UNSAT	0.21
term1.blif_0.10_1.00_0_1_inp_exact	quantor3.0	SAT	0.04
term1.blif_0.10_1.00_0_1_out_exact	quantor3.0	SAT	0.04

QBF Solver Evaluation Portal