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