Results for instance s27_d2_s <br> QBFEVAL'04

qbflib.org

Results for instance s27_d2_s
QBFEVAL'04

Solver	Time	Result
sSolve	0	SAT
QUANTOR	0.01	SAT
semprop	0.01	SAT
QBFL-JW	0.01	SAT
QSAT	0.02	SAT
QMRes	0.03	SAT
CLearn	0.04	UNSAT
CSBJ	0.08	SAT
WalkQSAT	0.09	SAT
yQuaffle	0.12	SAT
QBFL-BS	0.12	SAT
GRL	0.28	UNSAT
openQbf	0.3	SAT
QUBE-BJ	1.01	SAT
QUBE-LRN	1.06	SAT
orSAT	15.49	SAT