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-j12016_10.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_2.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_3.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12030_10.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12060_5.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12057_1.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_7.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12019_5.std.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1202_7.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12037_10.std.opb Download the above graph as a PDF file / as an EPS file