Results for instance k_path_n-1 <br> QBFEVAL'04

qbflib.org

Results for instance k_path_n-1
QBFEVAL'04

Solver	Time	Result
semprop	0	SAT
GRL	0.01	SAT
QUANTOR	0.01	SAT
sSolve	0.01	SAT
CLearn	0.02	SAT
yQuaffle	0.02	SAT
WalkQSAT	0.02	SAT
QMRes	0.03	SAT
CSBJ	0.03	SAT
QBFL-BS	0.04	SAT
QSAT	0.04	SAT
QBFL-JW	0.05	SAT
openQbf	0.53	SAT
QUBE-BJ	0.97	SAT
QUBE-LRN	0.98	SAT
orSAT	294.63	FAIL