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



Solver Time Result
AIGSolve0.64SAT
qmaiga1.12SAT
nenofex-qbfeval102.14SAT
aqme-105.74SAT
quantor-3.113.67SAT
QuBE71200.02FAIL
QuBE7-c1200.03FAIL
QuBE7-m1200.03FAIL
struqs-101200.08FAIL
depqbf1200.14FAIL
depqbf-pre1200.16FAIL