Results for instance k_lin_n-2 <br> QBFEVAL'04

qbflib.org

Results for instance k_lin_n-2
QBFEVAL'04

Solver	Time	Result
QUANTOR	0.02	SAT
semprop	0.02	SAT
CLearn	0.04	SAT
yQuaffle	0.04	SAT
GRL	0.05	SAT
sSolve	0.06	SAT
CSBJ	0.08	SAT
QMRes	0.1	SAT
QSAT	0.22	SAT
QUBE-BJ	0.99	SAT
QUBE-LRN	0.99	SAT
WalkQSAT	3.28	SAT
QBFL-BS	22.17	SAT
QBFL-JW	56.24	SAT
openQbf	219.82	SAT
orSAT	622.05	FAIL