Results for instance test5_quant5
QBFEVAL'10 - Competitive Track.



Solver Time Result
qmaiga1.09SAT
AIGSolve1.18SAT
QuBE7-m3.34SAT
QuBE7-c3.55SAT
QuBE73.75SAT
struqs-1052.54SAT
nenofex-qbfeval10136.42FAIL
aqme-101200FAIL
depqbf1200.14FAIL
depqbf-pre1200.15FAIL
quantor-3.11200.16FAIL