Showcase "Solving"
Showcase "Applications"
- conf_planning_bomb
- conf_planning_dungeon
- planning_CTE
- qbf_hardness
- red_finding
- sauer_reimer
Showcase "Preprocessing"
Preprocessing and Solving
Preprocessing Only
- Incremental preprocessing in multiple
rounds, results as text
file.
- Unsatisfiable instances from conformant planning solved by
hiqqer3e, results as text
file.
- Instances from conformant planning solved by the configuration
"num-rounds-6-120sec-ABCD" (first column: 10 is SAT, 20 is UNSAT), results as text
file.
- Incremental preprocessing in multiple
rounds with fixpoint detection, each preprocessor is called twice in a row, results as text
file and further results and description of fixpoint detection.
- Incremental preprocessing for set "conformant planning", results as text
file.
- Incremental preprocessing for set "planning-CTE", results as text
file.
- Incremental preprocessing for set "reduction-finding-full-set-params-k1c3n4", results as text
file.
- Incremental preprocessing for set "sauer-reimer", results as text
file.
- Incremental preprocessing for set "qbf-hardness", results as text
file.
- Individual preprocessing on all benchmark sets, results as text
file.
Showcase "Certificates"