#acl EditorsGroup:read,write,delete,revert,admin All:
= Model & Solve Track Final Results =
<
>
<>
<
>
== Overall ==
<
>
== Final results by categories ==
<
>
== P Problems ==
<
>
||||System ||Total ||Reachability ||Company Controls ||Grammar-Based IE ||Hydraulic Leaking ||Hydraulic Planning ||Stable Marriage ||Partner Units Polynomial ||
||clasp ||'''Total''' ||497 ||87 ||89 ||80 ||78 ||100 ||25 ||38 ||
||Instance ||290 ||50 ||50 ||50 ||50 ||50 ||17 ||23 ||
||Time ||207 ||37 ||39 ||30 ||28 ||50 ||8 ||15 ||
||bpsolver ||'''Total''' ||459 ||90 ||68 ||96 ||100 ||100 ||5 ||- ||
||Instance ||253 ||50 ||50 ||50 ||50 ||50 ||3 ||- ||
||Time ||206 ||40 ||18 ||46 ||50 ||50 ||2 ||- ||
||schroeder ||'''Total''' ||404 ||- ||84 ||80 ||76 ||100 ||25 ||39 ||
||Instance ||240 ||- ||50 ||50 ||50 ||50 ||17 ||23 ||
||Time ||164 ||- ||34 ||30 ||26 ||50 ||8 ||16 ||
||ezcsp ||'''Total''' ||320 ||- ||- ||- ||99 ||99 ||87 ||35 ||
||Instance ||173 ||- ||- ||- ||50 ||50 ||50 ||23 ||
||Time ||147 ||- ||- ||- ||49 ||49 ||37 ||12 ||
||fastdownward ||'''Total''' ||181 ||- ||- ||- ||87 ||94 ||- ||- ||
||Instance ||100 ||- ||- ||- ||50 ||50 ||- ||- ||
||Time ||81 ||- ||- ||- ||37 ||44 ||- ||- ||
||idp ||'''Total''' ||175 ||76 ||- ||- ||- ||- ||72 ||27 ||
||Instance ||117 ||50 ||- ||- ||- ||- ||50 ||17 ||
||Time ||58 ||26 ||- ||- ||- ||- ||22 ||10 ||
== NP Problems ==
<
>
== Beyond NP Problems ==
<
>