Results for instance test3_quant2
QBFEVAL'10 - Competitive Track.



Solver Time Result
AIGSolve0.06UNSAT
qmaiga0.06UNSAT
QuBE7-m5.05SAT
QuBE7-c6.28SAT
QuBE712.37SAT
struqs-1031.79UNSAT
nenofex-qbfeval10235.66UNSAT
aqme-101200FAIL
quantor-3.11200.05FAIL
depqbf1200.16FAIL
depqbf-pre1200.16FAIL