| Example | Source | DLV Code | Smodels Code |
| Folklore | penguin.lp | penguin.dlv | penguin.sm |
| Folklore | penguin1.lp | penguin1.dlv | penguin1.sm |
| Brewka and Eiter [2, 1st Example Chapter 8] | beQDM1.lp | beQDM1.dlv | beQDM1.sm |
| Brewka and Eiter [2, 2nd Example Chapter 8] | beQDM2.lp | beQDM2.dlv | beQDM2.sm |
| Gordon [8, chapter 2] | legal.lp | legal.dlv | legal.sm |