Results for instance W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
QBFEVAL'10 - Competitive Track.



Solver Time Result
quantor-3.147.14FAIL
depqbf-pre204.85SAT
depqbf229.57SAT
nenofex-qbfeval10522.53FAIL
qmaiga809.46FAIL
aqme-101200FAIL
AIGSolve1200FAIL
QuBE71200.02FAIL
QuBE7-c1200.02FAIL
QuBE7-m1200.02FAIL
struqs-101200.08FAIL