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

Quality of the solution as a function of time for solver MinisatID 2.5.2-gmp (fixed) (complete)

/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j304_5.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3027_1.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3045_1.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j309_3.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3034_9.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_10.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/heinz/ normalized-neos-506428.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/heinz/ normalized-222__neos-1330346.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/heinz/ normalized-wnq-n100-mw99-14.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/heinz/ normalized-pb-simp-nonunif.opb Download the above graph as a PDF file / as an EPS file