Results for instance texas.parsesys^4.E-f3
QBFEVAL'08



Solver Time Result
quantor3.00.02UNSAT
Nenofex0.04UNSAT
QuBE6.10.06UNSAT
ssolveC0.15UNSAT
ssolve-A0.16UNSAT
ssolveB0.18UNSAT
AQME-1NN3UNSAT