Results for instance comp.blif_0.10_0.20_0_1_out_exact <br> QBFEVAL'04

qbflib.org

Results for instance comp.blif_0.10_0.20_0_1_out_exact
QBFEVAL'04

Solver	Time	Result
GRL	0	SAT
QBFL-JW	0.01	SAT
QBFL-BS	0.01	SAT
CLearn	0.01	SAT
yQuaffle	0.01	SAT
CSBJ	0.01	SAT
WalkQSAT	0.02	SAT
semprop	0.03	SAT
QUANTOR	0.04	SAT
QMRes	0.15	SAT
openQbf	0.2	SAT
QUBE-LRN	1.08	SAT
QUBE-BJ	4.36	SAT
sSolve	54.25	SAT
QSAT	901	FAIL
orSAT	901.01	FAIL