This is a reproducibility package of 2LS with recursion support. You have the binary file 2ls which you can run. There are some benchmark results of 2ls, CPAchecker,Ultimate Automizer and Ultimate taipan on SV-COMP 19 benchmark. You can compare them in the table "results.2019-04-11_1013.table.html". To compare Performance see the quantile plot "quantile.png"
You can run the binary 2ls with individual examples with recursive functions like 2ls example.c --has-recursion --context-sensitive. You can see more options using 2ls --help.