Results for instance adder-10-sat
QBFEVAL'10 - Competitive Track.



Solver Time Result
AIGSolve6.39SAT
qmaiga14.45SAT
aqme-1024.67SAT
nenofex-qbfeval1046.27SAT
quantor-3.1193.6FAIL
QuBE71200.07FAIL
QuBE7-c1200.07FAIL
QuBE7-m1200.07FAIL
struqs-101200.08FAIL
depqbf1200.16FAIL
depqbf-pre1200.17FAIL