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

Quality of the solution as a function of time for solver MinisatID 2.4.8-gmp [DEPRECATED] (complete)

/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12017_7.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12040_1.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_6.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1201_2.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9013_9.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/ j90opt/normalized-j901_1.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9038_2.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9025_10.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9045_2.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9024_9.std.opb Download the above graph as a PDF file / as an EPS file