#acl EditorsGroup:read,write,delete,revert,admin All:
= System Track Final Results =
<
>
== P Problems ==
||System||P-total||P-inst||P-time||02-Reachability-Total||02-Reachability-Solved||02-Reachability-Time||06-Grammar-BasedInformationExtraction-Total||06-Grammar-BasedInformationExtraction-Solved||06-Grammar-BasedInformationExtraction-Time||30-HydraulicLeaking-Total||30-HydraulicLeaking-Solved||30-HydraulicLeaking-Time||31-HydraulicPlanning-Total||31-HydraulicPlanning-Solved||31-HydraulicPlanning-Time||32-StableMarriage-Total||32-StableMarriage-Solved||32-StableMarriage-Time||34-PartnerUnitsPolynomial-Total||34-PartnerUnitsPolynomial-Solved||34-PartnerUnitsPolynomial-Time||
||clasp||213||150||63||36||25||11||72||50||22||10||10||0||75||50||25||6||5||1||14||10||4||
||claspfolio||209||150||59||35||25||10||72||50||22||10||10||0||74||50||24||5||5||0||13||10||3||
||claspd||206||145||61||36||25||11||72||50||22||10||10||0||75||50||25||0||0||0||13||10||3||
||sup||195||140||55||29||20||9||71||50||21||10||10||0||74||50||24||0||0||0||11||10||1||
||lp2sat2gminisat||185||140||45||30||20||10||66||50||16||10||10||0||68||50||18||0||0||0||11||10||1||
||cmodels||184||130||54||29||20||9||71||50||21||10||10||0||74||50||24||0||0||0||0||0||0||
||idp||184||130||54||29||20||9||71||50||21||10||10||0||74||50||24||0||0||0||0||0||0||
||smodels||180||130||50||28||20||8||70||50||20||10||10||0||72||50||22||0||0||0||0||0||0||
||lp2sat2minisat||179||135||44||30||20||10||66||50||16||10||10||0||68||50||18||0||0||0||5||5||0||
||lp2diffz3||178||135||43||35||25||10||66||50||16||10||10||0||67||50||17||0||0||0||0||0||0||
||lp2sat2lminisat||171||130||41||28||20||8||66||50||16||10||10||0||67||50||17||0||0||0||0||0||0||
<
>
||||