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/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	/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