BPSolver's Solutions for ASP Competition 2011


This is a collection of programs written in B-Prolog for solving the benchmark problems submitted to the ASP Solver Competition 2011 by the BPSolver International team (members are Agostino Dovier, Yuanlin Zhang, and Neng-Fa Zhou). It is hoped that a direct comparison of B-Prolog and the cutting-edge ASP solvers will reveal both the strengths and weaknesses of CLP(FD) and ASP solvers.

Each program starts with a comment that indicates the file name and authors followed by an include directive for the common base library base.pl. The first predicate is named solve(L), where L is a list of atoms read from the input file, and the last predicate is named test,  which calls solve with a sample input list. 

For each benchmark, the column, Program, links to the submitted program. The column, Score and Ranking, gives the score on the scale from 100 (best) to 0 (worst) and ranking the solution earned in the competition. You should pay more attention to those programs that have poor performances if you are interested in submitting better programs.

Comments and suggestions can be sent to Neng-Fa Zhou (nzhou at acm [.] org) or posted  to comp.lang.prolog under the subject "asp-competition".



# Benchmark Program Score Ranking
1 Crossing minimization in layered graphs crossing.pl 13 3
2 Reachability reach.pl 90 1
3 Strategic Companies strategicCompanies.pl 0 6
4 Company Controls company.pl 68 3
5 Company Controls Optimize opt_company.pl 0 6
6 Grammar-Based Information Extraction grammar.pl 96 1
7 Generalized Slitherlink slitherlink.pl 0 6
8 Fastfood Optimality Check fastfood.pl 92 4
9 Fastfood Optimization opt_fastfood.pl 48 4
10 Sokoban Decision sokoban.pl 60 5
11 Sokoban Optimization opt_sokoban.pl 70 4
12 Knight Tour knightTour.pl 97 1
13 Disjunctive Scheduling disjunctiveScheduling.pl 92 1
14 Packing Problem packing.pl 82 3
15 Tomography Problem tomography.pl 39 1
16 Maximal Clique maxClique.pl 37 1
17 Labyrinth labyrinth.pl 72 1
18 Minimal Diagnosis diagnosis.pl 86 2
20 Numberlink numberlink.pl 73 2
21 Reverse Folding folding.pl 0 6
22 Hanoi Tower hanoi.pl 94 1
23 Magic Square Sets magicSquare.pl 100 1
24 Airport Pickup airport.pl 93 1
25 Graph Colouring graphColouring.pl 15 6
26 Solitaire solitaire.pl 28 6
27 Partner Units partnerUnits.pl 0 6
28 Weight-Assignment Tree weightAssign.pl 97 1
30 Hydraulic Leaking hydraulic2.pl 100 1
31 Hydraulic Planning hydraulic1.pl 100 1
32 Stable Marriage problem marriage.pl 5 5
33 Maze Generation maze.pl 49 5
34 Partner Units - Polynomial partnerUnits.pl 0 6
35 Incremental Scheduling incSchedule.pl 77 3
36 Tangram tangram.pl 100 1