Results for instance aim-100-2_0-yes1-3-00
QBFEVAL'08



Solver Time Result
QuBE6.10.07UNSAT
AQME-1NN1.65UNSAT
Nenofex2.22UNSAT
quantor3.091.82FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL