Results for instance ken.flash^13.C-d3
QBFEVAL'08



Solver Time Result
QuBE6.11.08UNSAT
AQME-1NN3.86UNSAT
quantor3.0103.81FAIL
Nenofex597.27FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL