Results for instance k_lin_n-14
QBFEVAL'08



Solver Time Result
QuBE6.12.72SAT
AQME-1NN6.57SAT
ssolveC21.69SAT
ssolve-A24.04SAT
ssolveB25.46SAT
Nenofex238.68SAT
quantor3.0600FAIL