Results for instance cnt02 <br> QBFEVAL'04

qbflib.org

Results for instance cnt02
QBFEVAL'04

Solver	Time	Result
CLearn	0	SAT
semprop	0	SAT
QSAT	0.01	SAT
GRL	0.01	SAT
yQuaffle	0.01	SAT
CSBJ	0.01	SAT
QUANTOR	0.01	SAT
sSolve	0.02	SAT
QMRes	0.02	SAT
orSAT	0.09	SAT
WalkQSAT	0.1	SAT
QBFL-BS	0.56	SAT
QUBE-BJ	0.97	SAT
QUBE-LRN	0.97	SAT
openQbf	1	SAT
QBFL-JW	1.07	SAT