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

Quality of the solution as a function of time for solver PB07: minisat+ 1.14 (complete)

/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_K67_cod2.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_0_ic.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_5_ic.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb Download the above graph as a PDF file / as an EPS file