Results for instance 3qbf-5cnf-50var-300cl.2 <br> QBFEVAL'04

qbflib.org

Results for instance 3qbf-5cnf-50var-300cl.2
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0	SAT
semprop	0	SAT
CLearn	0.01	SAT
QBFL-BS	0.01	SAT
sSolve	0.01	SAT
GRL	0.03	SAT
WalkQSAT	0.03	SAT
QSAT	0.04	SAT
CSBJ	0.04	SAT
QUBE-BJ	0.98	SAT
QUBE-LRN	0.99	SAT
openQbf	3.12	SAT
yQuaffle	3.63	SAT
QUANTOR	98.23	FAIL
orSAT	901	FAIL
QMRes	901.02	FAIL