Results for instance C432.blif_0.10_1.00_0_1_out_exact <br> QBFEVAL'04

qbflib.org

Results for instance C432.blif_0.10_1.00_0_1_out_exact
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	SAT
QBFL-JW	0.01	SAT
QBFL-BS	0.01	SAT
CLearn	0.01	SAT
semprop	0.02	SAT
GRL	0.02	SAT
yQuaffle	0.02	SAT
WalkQSAT	0.02	SAT
QUANTOR	0.03	SAT
orSAT	0.22	SAT
openQbf	0.27	SAT
QSAT	0.91	SAT
QUBE-LRN	33	SAT
sSolve	901.01	FAIL
QMRes	901.01	FAIL
QUBE-BJ	901.03	FAIL