Results for instance ev-pr-4x4-5-3-0-0-1-lg
QBFEVAL'10 - Competitive Track.



Solver Time Result
depqbf0.31SAT
depqbf-pre0.37SAT
QuBE7-m1.54SAT
QuBE7-c1.54SAT
QuBE71.67SAT
aqme-103.44SAT
struqs-103.99SAT
quantor-3.1250.37SAT
AIGSolve569.84SAT
qmaiga721.38SAT
nenofex-qbfeval101200.17FAIL