Disjunctive logic programming under the stable model semantics [GL91] is a new
runningtimesofsystemsobtainedfromAsparagus,machineAMDAthlon1.4GHzPCwith512MBRAMandcutofftime15minutes.Allgiveninstancesaresatis able.Incaseofstrategiccompanybenchmarkthereisnoclearwinnerintheperformance,butGNTandDLVareingeneralfaster.
inst-
ance
0.64
0.87
0.51
6.66
2.24gnt20.330.341.201.525.99cmod-smchaff0.340.341.495.0414.27125.45105.38155.0135.11155.3dlv.45.2341.0279.9916.568.00188.14cmodelszchaff-404.72-62.25755.12cmod-ssimo
，请把【付款记录详情】截图给客服，同时把您购买的文章【网址】发给客服。客服会在24小时内把文档发送给您。
