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

qbflib.org

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

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