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



Solver Time Result
quantor-3.1163.26FAIL
nenofex-qbfeval10512.2FAIL
depqbf1199.94FAIL
aqme-101200FAIL
QuBE71200.02FAIL
QuBE7-c1200.03FAIL
QuBE7-m1200.04FAIL
struqs-101200.08FAIL
depqbf-pre1200.15FAIL