We used following benchmarks for testing. Most of them are available at: UNC dynamic model benchmark repository