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

qbflib.org

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

Solver	Time	Result
GRL	0.01	SAT
CLearn	0.01	SAT
WalkQSAT	0.01	FAIL
CSBJ	0.01	SAT
semprop	0.02	SAT
QSAT	0.02	SAT
yQuaffle	0.02	SAT
QUANTOR	0.03	SAT
QMRes	0.09	SAT
openQbf	0.3	SAT
QUBE-LRN	0.98	SAT
QUBE-BJ	1.05	SAT
QBFL-JW	3	SAT
QBFL-BS	12.71	SAT
orSAT	22.07	SAT
sSolve	95.81	SAT