» ASP Competition


 
» Home
» NEWS !!
» Format of the Competition
» Who can Participate?
Support for participants
» Timetable
» Registration
» Login
» Submitting solutions
» Benchmarks
» Participating teams
» Problem encodings and competition instances
» Results
» Report of the competition
» Talk at LPNMR'09
» Errata
» Organizers & Contact

Checker Scripts

The checker scripts are available to all participants in the competition. Participants are encouraged to test their solutions with the scripts to ensure that their solutions and the checker scripts both work as expected. These are the same scripts that will ultimately be used to run the competition. Note that the checker scripts only verify the correctness of a given witness; they will not check whether the output UNSATISFIABLE is correct.

Each benchmark has a checker script, which reads from standard input a concatenation of a (satisfiable) benchmark instance and a witness for it. To test your solution, call the script as follows:

$ cat [instance] [solution witness] | [checker script]

Note that for optimization problems, only the witness should be send to the checker script, and not the line OPTIMUM FOUND (should your solver produce it).

If you notice a problem with a script, please contact the competition organizers.

The full path of the checker for each benchmark is listed below.

BenchmarkPath of Script
15Puzzle/home/ASP-competition/verifiers/15Puzzle/checker-15Puzzle
15PuzzleOpt/home/ASP-competition/verifiers/15PuzzleOpt/checker-15PuzzleOpt
BlockedNQueens/home/ASP-competition/verifiers/BlockedNQueens/checker-BlockedNQueens
ChannelRouting/home/ASP-competition/verifiers/ChannelRouting/checker-ChannelRouting
CompanyControls/home/ASP-competition/verifiers/CompanyControls/checker-CompanyControls
CompanyControlsOptimize/home/ASP-competition/verifiers/CompanyControlsOptimize/checker-CompanyControlsOptimize
ConnectedDominatingSet/home/ASP-competition/verifiers/ConnectedDominatingSet/checker-ConnectedDominatingSet
DisjunctiveScheduling/home/ASP-competition/verifiers/DisjunctiveScheduling/checker-DisjunctiveScheduling
EdgeMatching/home/ASP-competition/verifiers/EdgeMatching/checker-EdgeMatching
Fastfood/home/ASP-competition/verifiers/Fastfood/checker-Fastfood
FastfoodOptimize/home/ASP-competition/verifiers/FastfoodOptimize/checker-FastfoodOptimize
GeneralizedSlitherlink/home/ASP-competition/verifiers/GeneralizedSlitherlink/checker-GeneralizedSlitherlink
GolombRuler/home/ASP-competition/verifiers/GolombRuler/checker-GolombRuler
GrammarBasedInformationExtraction/home/ASP-competition/verifiers/GrammarBasedInformationExtraction/checker-GrammarBasedInformationExtraction
GraphColouring/home/ASP-competition/verifiers/GraphColouring/checker-GraphColouring
GraphPartitioning/home/ASP-competition/verifiers/GraphPartitioning/checker-GraphPartitioning
HamiltonianPath/home/ASP-competition/verifiers/HamiltonianPath/checker-HamiltonianPath
Hanoi/home/ASP-competition/verifiers/Hanoi/checker-Hanoi
HierarchicalClustering/home/ASP-competition/verifiers/HierarchicalClustering/checker-HierarchicalClustering
HydraulicLeaking/home/ASP-competition/verifiers/HydraulicLeaking/checker-HydraulicLeaking
HydraulicPlanning/home/ASP-competition/verifiers/HydraulicPlanning/checker-HydraulicPlanning
KnightTour/home/ASP-competition/verifiers/KnightTour/checker-KnightTour
Labyrinth/home/ASP-competition/verifiers/Labyrinth/checker-Labyrinth
LabyrinthOptimize/home/ASP-competition/verifiers/LabyrinthOptimize/checker-LabyrinthOptimize
MaximalClique/home/ASP-competition/verifiers/MaximalClique/checker-MaximalClique
MazeGeneration/home/ASP-competition/verifiers/MazeGeneration/checker-MazeGeneration
Reachability/home/ASP-competition/verifiers/Reachability/checker-Reachability
SchurNumbers/home/ASP-competition/verifiers/SchurNumbers/checker-SchurNumbers
Sokoban/home/ASP-competition/verifiers/Sokoban/checker-Sokoban
SokobanOptimize/home/ASP-competition/verifiers/SokobanOptimize/checker-SokobanOptimize
Solitaire/home/ASP-competition/verifiers/Solitaire/checker-Solitaire
StrategicCompanies/home/ASP-competition/verifiers/StrategicCompanies/checker-StrategicCompanies
Sudoku/home/ASP-competition/verifiers/Sudoku/checker-Sudoku
TravellingSalesperson/home/ASP-competition/verifiers/TravellingSalesperson/checker-TravellingSalesperson
TravellingSalespersonOptimize/home/ASP-competition/verifiers/TravellingSalespersonOptimize/checker-TravellingSalespersonOptimize
WeightBoundedDominatingSet/home/ASP-competition/verifiers/WeightBoundedDominatingSet/checker-WeightBoundedDominatingSet
WeightBoundedDominatingSetOptimize/home/ASP-competition/verifiers/WeightBoundedDominatingSetOptimize/checker-WeiightBoundedDominatingSetOptimize
WireRouting/home/ASP-competition/verifiers/WireRouting/checker-WireRouting