Results for instance CHAIN12v.13
QBFEVAL'08



Solver Time Result
quantor3.00.01SAT
Nenofex0.03SAT
QuBE6.10.03SAT
ssolveC0.07SAT
ssolve-A0.07SAT
ssolveB0.07SAT
AQME-1NN1.24SAT