Results for instance s27_d5_u
QBFEVAL'10 - Competitive Track.



Solver Time Result
AIGSolve0.02UNSAT
qmaiga0.02UNSAT
QuBE7-m0.04UNSAT
QuBE7-c0.04UNSAT
QuBE70.04UNSAT
struqs-100.17UNSAT
nenofex-qbfeval100.38UNSAT
aqme-101.44UNSAT
quantor-3.12.34UNSAT
depqbf1200.16FAIL
depqbf-pre1200.17FAIL