Results for instance CHAIN20v.21
QBFEVAL'08



Solver Time Result
quantor3.00.03SAT
Nenofex0.07SAT
QuBE6.10.08SAT
ssolveC0.2SAT
ssolve-A0.22SAT
ssolveB0.24SAT
AQME-1NN2.78SAT