Results for instance eijk.S420.S-f2
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve2.61SAT
quantor-3.174.27FAIL
nenofex-qbfeval10530.61FAIL
aqme-106439.75SAT
struqs-1022727.7FAIL
QuBE730777.7SAT
depqbf43200FAIL
depqbf-pre43200FAIL
QuBE7-m43200FAIL
QuBE7-c43200.1FAIL