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



Solver Time Result
quantor-3.121.67FAIL
nenofex-qbfeval1034.21FAIL
AIGSolve116.17SAT
QuBE7633.16FAIL
QuBE7-c721.01FAIL
QuBE7-m810.32FAIL
struqs-1026195.1FAIL
depqbf43200FAIL
depqbf-pre43200FAIL
aqme-1043200FAIL