Results for instance tree-exa2-50
QBFEVAL'08



Solver Time Result
Nenofex0UNSAT
QuBE6.10UNSAT
ssolveB0UNSAT
ssolve-A0.01UNSAT
quantor3.00.01UNSAT
ssolveC0.01UNSAT
AQME-1NN0.74UNSAT