Results for instance z4ml.blif_0.10_0.20_0_0_inp_exact <br> QBFEVAL'04

qbflib.org

Results for instance z4ml.blif_0.10_0.20_0_0_inp_exact
QBFEVAL'04

Solver	Time	Result
GRL	0	UNSAT
yQuaffle	0	UNSAT
CSBJ	0	UNSAT
sSolve	0.01	UNSAT
CLearn	0.01	UNSAT
QBFL-JW	0.01	UNSAT
QSAT	0.01	UNSAT
QMRes	0.02	UNSAT
QUANTOR	0.02	UNSAT
semprop	0.02	UNSAT
WalkQSAT	0.02	FAIL
QBFL-BS	0.04	UNSAT
orSAT	0.06	UNSAT
openQbf	0.29	UNSAT
QUBE-LRN	0.97	UNSAT
QUBE-BJ	0.98	UNSAT