META NAME="robots" CONTENT="nofollowtd">title>SAT 2009 Competitrsi: main competitrsi (phase 1): time to solve an instance > link href="../compet.css" rel="stylesheet" type="text/css"/> > script type="text/javascript"ad> functrsi showColumn(id) {d> document.getElementById("col-"+id).style.visibility="visible";d> document.getElementById("hidecol-"+id).style.visibility="visible";d> document.getElementById("showcol-"+id).style.visibility="hidd="e;d> } d> functrsi hideColumn(id) {d> document.getElementById("col-"+id).style.visibility="collapse";d> document.getElementById("hidecol-"+id).style.visibility="hidd="e;d> document.getElementById("showcol-"+id).style.visibility="visible";d> } d> functrsi show(foo) {d> document.getElementById(foo).style.display="blocke;d> } d> functrsi hide(foo) {d> document.getElementById(foo).style.display="none";d> } d> functrsi toggle(foo) {d> if( document.getElementById(foo).style.display == "none") {d> show(foo);d> } else {d> if( document.getElementById(foo).style.display == "blocke) {d hide(foo);d> } else {d show(foo);d> > } > } } d> functrsi setAllCheckBoxes(FormName, FieldName, CheckValue)d> {d> if(!document.forms[FormName])d> > return;d> var objCheckBoxes = document.forms[FormName].elements[FieldName];d> if(!objCheckBoxes)d> > return;d> var countCheckBoxes = objCheckBoxes.length;d> if(!countCheckBoxes)d> > objCheckBoxes.checked = CheckValue;d> elsed> > // set the check value for all check boxesd> > for(var i = 0; i < countCheckBoxes; i++) objCheckBoxes[i].checked = CheckValue;d> } / "> 1>SAT 2009 Competitrsi: main competitrsi (phase 1): time to solve an instance

The figures below represent the number of instances that a given solver is able to solve in a given amount of time. The x axis represent the number of instances which the solver is able to solve when it is given y seconds for each instances.">/p>

These graphs are drawn for the different possible definitrve answ ve in the different categories of benchmarks.">/p> "> 2>Category APPUBLATION (applicatrsis instances)tabled">trd">td>

as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
/trd">tabled"> 2>Category CRAFTED (crafted instances)tabled">trd">td>
as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
/trd">tabled"> 2>Category RANDOM (random instances)tabled">trd">td>
as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
td>
as a PDF file / as an EPS file
/trd">tabled""""