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

Quality of the solution as a function of time for solver pb2sat 2012-05-19 (complete)

/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-rand56b853.cudf.paranoid.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-rand88811a.cudf.paranoid.opb Download the above graph as a PDF file / as an EPS file	/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-902.cudf.trendy.opb Download the above graph as a PDF file / as an EPS file
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1098.cudf.trendy.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb Download the above graph as a PDF file / as an EPS file
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6027_6.std.opb Download the above graph as a PDF file / as an EPS file	/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6044_1.std.opb Download the above graph as a PDF file / as an EPS file