Applications of Abduction: Testing Very Long Qualitative Simulations