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

Quality of the solution as a function of time for solver minisatp 2012-10-02 git-d91742b (complete)