#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 ==
<
>