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/bsg/normalized-bsg_200_25_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb Download the above graph as a PDF file / as an EPS file
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb Download the above graph as a PDF file / as an EPS file	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_2.opb Download the above graph as a PDF file / as an EPS file