Results for instance ken.flash^09.C-f4
QBFEVAL'08



Solver Time Result
QuBE6.12.84UNSAT
quantor3.031.79FAIL
AQME-1NN92.85UNSAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL