Results for instance test3_quant4
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve0.19UNSAT
nenofex-qbfeval10168.38FAIL
QuBE71225.82UNSAT
QuBE7-c2677.97UNSAT
QuBE7-m8776.38UNSAT
struqs-1012091.4FAIL
quantor-3.118962.6FAIL
aqme-1042299.8FAIL
depqbf43200FAIL
depqbf-pre43200FAIL