MaxCore Benchmarks (ICLP 2019)

• Complete set of C programs from TermComp'19
• Complete set of C programs from TermComp'19 translated to LLVM bitcode using clang 3.5.1 (needed for Loopus)
• Detailed results:
• AProVE (CSV)
• CoFloCo_C (CSV)
• Loopus (CSV)
• MaxCore(CoFloCo) (CSV)
• MaxCore(PUBS) (CSV)
• PUBS_C (CSV)