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)

normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-van.opb Download the above graph as a PDF file / as an EPS file	normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb Download the above graph as a PDF file / as an EPS file
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb Download the above graph as a PDF file / as an EPS file	normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-liu.opb Download the above graph as a PDF file / as an EPS file
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb Download the above graph as a PDF file / as an EPS file	normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-msc98-ip.opb Download the above graph as a PDF file / as an EPS file
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb Download the above graph as a PDF file / as an EPS file	normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb Download the above graph as a PDF file / as an EPS file
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb Download the above graph as a PDF file / as an EPS file	normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare2.opb Download the above graph as a PDF file / as an EPS file