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

Quality of the solution as a function of time for solver PB11: Sat4j Res//CP 2.3.0 (complete)

normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_10.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir08_area_partials.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb Download the above graph as a PDF file / as an EPS file