LARA Benchmarks for Set-Driven Combination of Logics and Verifiers SizeList.java SortedList.java SizeDataTree.java ThreadedTree.java For the description of the underlying technique, see the recent paper. For more information, see also the Jahob system
