Results for instance 5qbf-5cnf-100var-400cl.1 <br> QBFEVAL'04

qbflib.org

Results for instance 5qbf-5cnf-100var-400cl.1
QBFEVAL'04

Solver	Time	Result
CSBJ	0	SAT
QBFL-JW	0	SAT
CLearn	0	SAT
QUANTOR	0.01	SAT
semprop	0.01	SAT
sSolve	0.01	SAT
QSAT	0.01	SAT
QBFL-BS	0.01	SAT
GRL	0.02	SAT
WalkQSAT	0.02	SAT
openQbf	0.21	SAT
QUBE-LRN	0.97	SAT
QUBE-BJ	0.98	SAT
QMRes	34.05	SAT
yQuaffle	901	FAIL
orSAT	901.01	FAIL