Results for instance mutex-4-s <br> QBFEVAL'04

qbflib.org

Results for instance mutex-4-s
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0	SAT
QBFL-BS	0	SAT
sSolve	0	SAT
QUANTOR	0.01	SAT
orSAT	0.01	SAT
GRL	0.02	SAT
CLearn	0.02	SAT
WalkQSAT	0.02	SAT
semprop	0.02	SAT
CSBJ	0.02	SAT
QMRes	0.05	SAT
openQbf	0.45	SAT
QUBE-BJ	0.99	SAT
QUBE-LRN	0.99	SAT
QSAT	2.38	SAT
yQuaffle	46.28	SAT