Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'

This artifact contains the the benchmark results for the UltimateEliminator integration in JavaSMT, each solver tested has a folder containing logfiles and tables with the full results. The benchmarks were following the SMT-COMP25.