Results for instance Adder2-10-s
QBFEVAL'10 - Competitive Track.



Solver Time Result
qmaiga71.61SAT
AIGSolve88.71SAT
aqme-1093.25SAT
QuBE71200.04FAIL
QuBE7-c1200.07FAIL
QuBE7-m1200.07FAIL
struqs-101200.09FAIL
depqbf-pre1200.16FAIL
nenofex-qbfeval101200.16FAIL
depqbf1200.18FAIL
quantor-3.11200.56FAIL