'testsfull' runs the test cases from prism-tests against all the different engines (explicit, hybrid, sparse, mtbdd, exact), with and without interval iteration and topological ordering, where appropriate.
Joachim Klein