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

Instance	Solver	Result	Time
term1.blif_0.10_0.20_0_0_inp_exact	semprop	UNSAT	125
term1.blif_0.10_0.20_0_0_out_exact	QMRes	UNSAT	15.74
term1.blif_0.10_0.20_0_1_inp_exact	semprop	SAT	0.03
term1.blif_0.10_0.20_0_1_out_exact	semprop	SAT	0.02
term1.blif_0.10_1.00_0_0_inp_exact	QUANTOR	UNSAT	0.39
term1.blif_0.10_1.00_0_0_out_exact	QUANTOR	UNSAT	1.29
term1.blif_0.10_1.00_0_1_inp_exact	yQuaffle	SAT	0.02
term1.blif_0.10_1.00_0_1_out_exact	semprop	SAT	0.06

QBF Solver Evaluation Portal