Results for instance cnt02e <br> QBFEVAL'04

qbflib.org

Results for instance cnt02e
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	SAT
QSAT	0.01	SAT
QUANTOR	0.01	SAT
semprop	0.01	SAT
yQuaffle	0.01	SAT
CLearn	0.02	SAT
GRL	0.02	SAT
sSolve	0.02	SAT
QMRes	0.03	SAT
WalkQSAT	0.04	SAT
QUBE-BJ	0.97	SAT
QUBE-LRN	0.97	SAT
orSAT	1.4	SAT
openQbf	2.09	SAT
QBFL-JW	9.58	SAT
QBFL-BS	10.1	SAT