Results for instance ncf_16_32_8_edau.1
QBFEVAL'10 - Random QBFs Track.



Solver Time Result
depqbf-pre3.54SAT
quantor-3.132.55FAIL
depqbf120.12SAT
nenofex-qbfeval10189.52FAIL
aqme-101200FAIL
QuBE7-m1200.02FAIL
QuBE71200.06FAIL
QuBE7-c1200.06FAIL
struqs-101200.09FAIL