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

Quality of the solution as a function of time for solver cdcl-cuttingplanes OPT binary search 2016-05-01 (complete)