Results for instance flipflop-8-c <br> QBFEVAL'04

qbflib.org

Results for instance flipflop-8-c
QBFEVAL'04

Solver	Time	Result
QUANTOR	0.13	UNSAT
sSolve	0.16	UNSAT
yQuaffle	0.24	UNSAT
CLearn	0.25	UNSAT
CSBJ	0.26	UNSAT
GRL	0.29	UNSAT
semprop	0.32	UNSAT
WalkQSAT	0.32	UNSAT
QBFL-BS	0.45	UNSAT
QBFL-JW	0.5	UNSAT
openQbf	1.1	UNSAT
QUBE-LRN	1.1	UNSAT
QUBE-BJ	1.14	UNSAT
QSAT	3.93	UNSAT
orSAT	531.25	FAIL
QMRes	901.01	FAIL