Published June 8, 2025
| Version v1
Dataset
Open
Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'
Authors/Creators
Description
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.
Files
BenchmarkResults.zip
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:99e0c44b8128e8e9a64fedf097347294
|
1.1 GB | Preview Download |
Additional details
Dates
- Submitted
-
2025-06-08
Software
- Repository URL
- https://github.com/sosy-lab/java-smt/tree/add_solver_independent_quantifier_elimination_with_ultimate_eliminator
- Programming language
- Java