Results for instance stmt17_82_94
QBFEVAL'08



Solver Time Result
quantor3.038.55FAIL
Nenofex251.3FAIL
AQME-1NN483.25FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL