Results for instance stmt17_63_70
QBFEVAL'10 - 2QBF Track.



Solver Time Result
quantor-3.1100.37FAIL
nenofex-qbfeval10424.79FAIL
aqme-101200FAIL
QuBE71200.02FAIL
QuBE7-c1200.03FAIL
QuBE7-m1200.03FAIL
struqs-101200.09FAIL
depqbf-pre1200.16FAIL
depqbf1200.16FAIL