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)

/OPT-BIGINT-LIN/heinz/ normalized-opm2-z11-s8.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/heinz/ normalized-opm2-z12-s7.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/ heinz/normalized-sp98ar.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/heinz/ normalized-n3div36.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/heinz/ normalized-n3seq24.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/ heinz/normalized-co-100.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z9-s14.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/ heinz/normalized-sp97ar.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/ heinz/normalized-harp2.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/heinz/ normalized-neos-941313.opb Download the above graph as a PDF file / as an EPS file