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

Quality of the solution as a function of time for solver SAT 4j PB RES // CP 2.3.2 Snapshot (complete)

OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-12.opb Download the above graph as a PDF file / as an EPS file
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-13.opb Download the above graph as a PDF file / as an EPS file
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-15.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-11.opb Download the above graph as a PDF file / as an EPS file
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-7.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-6.opb Download the above graph as a PDF file / as an EPS file
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-14.opb Download the above graph as a PDF file / as an EPS file	OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-2.opb Download the above graph as a PDF file / as an EPS file