Results for instance C499.blif_0.10_0.20_0_0_out_exact
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve2.05UNSAT
nenofex-qbfeval1076.64FAIL
struqs-109782.09FAIL
depqbf-pre43200FAIL
depqbf43200FAIL
quantor-3.143200FAIL
aqme-1043200FAIL
QuBE7-m43200.1FAIL
QuBE743200.1FAIL
QuBE7-c43200.1FAIL