Benchmarks¶
The following benchmarks are currently included in the collection:
| Name | Type | Description |
|---|---|---|
| asprilo (Robotic Intra-Logistics Benchmark Suite) | Optimization, Multi-shot, Planning | A benchmarking framework to study typical scenarios in intra-logistics and warehouse automation. |
| Bio-ASP | Decision, Optimization | A collection of ASP benchmarks from systems biology and bioinformatics, covering reasoning on biological networks, optimization of metabolic models, and experiment design. |
| Boolean Constraint Solvers | Decision | A set of ASP and SAT benchmarks selected from various competitions. |
| Curriculum-Based Course Timetabling | Optimization, Multi-shot | A Collection of CB-CTT instances from different competitions, research projects and real-world examples. |
| COOM Configuration | Configuration, Multi-shot | Scalable product configuration problems specified in the COOM language. |
| Conflict-free Routing for Multi-Agent Path Finding | Optimization, Multi-shot | A benchmark suite for multi-agent path finding (MAPF) focusing on alternative approaches to routing and scheduling in ASP. |
| Collection of Optimization Problems | Optimization, Multi-shot | Social Golfer (SG), Shift Design (SD), Sudoku Puzzle Generation (SPG), Traveling Salesman Problem (TSP) and Weighted Strategic Companies (WSC). |
| N-Queens | Decision | Five encodings of the n-queens problem, reflecting encoding improvements |