PB'10 competition: satisfaction and optimization track: search progress per solver
Quality of the solution as a function of time for solver PB-wave
alpha 2
(incomplete)