normalized-minisat15_5_3_8_ic.opb Download the above graph as a PDF file / as an EPS file | normalized-minisat15_5_3_1_ic.opb Download the above graph as a PDF file / as an EPS file |
normalized-minisat15_5_3_4_ic.opb Download the above graph as a PDF file / as an EPS file |