Results for instance test1_quant2
QBFEVAL'10 - Small Hard Track.



Solver Time Result
AIGSolve1.75SAT
quantor-3.124.3FAIL
nenofex-qbfeval10189.44FAIL
aqme-104072.29FAIL
struqs-1013236FAIL
QuBE7-m20289.9FAIL
QuBE7-c25718.3FAIL
QuBE738809.6FAIL
depqbf43200FAIL
depqbf-pre43200FAIL