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

Quality of the solution as a function of time for solver Sat4j Resolution 2.3.0 (complete)

normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.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_1.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_3.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_5.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_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_1000_60_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_3.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_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_1.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_1.opb Download the above graph as a PDF file / as an EPS file