Results for instance eijk.S344.S-f3
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve20.31SAT
nenofex-qbfeval10446.7FAIL
aqme-10520.71FAIL
quantor-3.1554.91FAIL
QuBE7-c21571.5FAIL
QuBE7-m28336.3FAIL
struqs-1037934.8FAIL
depqbf-pre43200FAIL
depqbf43200FAIL
QuBE743200.1FAIL