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

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

normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_5.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_3.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb Download the above graph as a PDF file / as an EPS file