PB'12 competition: satisfaction and optimization track: search progress per solver

Quality of the solution as a function of time for solver PB12: minisatp 1.0-2-g022594c (complete)