Department of Computer Science, UNC-Chapel Hill

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