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



Solver Time Result
quantor-3.1303.94FAIL
nenofex-qbfeval10416.23FAIL
AIGSolve505.06FAIL
QuBE718506.4FAIL
struqs-1022107.8FAIL
aqme-1043200FAIL
depqbf43200FAIL
depqbf-pre43200FAIL
QuBE7-c43200.1FAIL
QuBE7-m43200.1FAIL