![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bla.P | 2018-07-05 11:21 | 11 | |
| bla.s | 2018-07-05 11:21 | 11 | |
| pnotp.s | 2025-02-09 21:29 | 18 | |
| qnotp.s | 2025-02-09 21:29 | 18 | |
| pporq-choice.s | 2025-02-09 21:29 | 22 | |
| disj.s | 2025-02-09 21:29 | 36 | |
| porq.s | 2025-02-09 21:29 | 36 | |
| pporq.s | 2025-02-09 21:29 | 42 | |
| porq-denial.s | 2025-02-09 21:29 | 45 | |
| tweety.s | 2025-02-09 21:29 | 51 | |
| pq.P | 2025-02-09 21:29 | 67 | |
| tweety2.s | 2025-02-09 21:29 | 68 | |
| tweety-circ.s | 2025-02-09 21:29 | 79 | |
| pq.s | 2025-02-09 21:29 | 90 | |
| arithmetics.P | 2025-02-09 21:29 | 91 | |
| cwithbigcity.P | 2025-02-09 21:29 | 119 | |
| winmove-small.s | 2025-02-09 21:29 | 144 | |
| tcRivers.P | 2025-02-09 21:29 | 153 | |
| bla.s.xwam | 2014-01-24 18:16 | 155 | |
| bla.xwam | 2014-01-24 18:16 | 155 | |
| aggrsubsumpt.P | 2025-02-09 21:29 | 162 | |
| winmovesmall.P | 2025-02-09 21:29 | 173 | |
| transitiveclosure.P | 2025-02-09 21:29 | 213 | |
| winmovebug.P | 2025-02-09 21:29 | 251 | |
| prologcut.P | 2025-02-09 21:29 | 294 | |
| headquartercapsbig.P | 2025-02-09 21:29 | 298 | |
| landlocked.P | 2014-01-24 18:18 | 304 | |
| transitiveclosure2.P | 2025-02-09 21:29 | 319 | |
| orgOnContsDiv.P | 2025-02-09 21:29 | 340 | |
| prologbrussels.P | 2025-02-09 21:29 | 344 | |
| prologparis.P | 2025-02-09 21:29 | 347 | |
| winmove.s | 2025-02-09 21:29 | 352 | |
| refint2.s | 2025-02-09 21:29 | 360 | |
| lowesthighestmountain.P | 2025-02-09 21:29 | 365 | |
| landlocked2.P | 2014-01-24 18:18 | 384 | |
| winmove.P | 2025-02-09 21:29 | 387 | |
| refint-del-d.s | 2025-02-09 21:29 | 408 | |
| headquartercaps.P | 2025-02-09 21:29 | 415 | |
| refint-del-b1.s | 2025-02-09 21:29 | 424 | |
| meals-disj.s | 2025-02-09 21:29 | 446 | |
| aggregation2.P | 2025-02-09 21:29 | 454 | |
| escherstairs.s | 2025-02-09 21:29 | 501 | |
| refint-del-b2.s | 2025-02-09 21:29 | 507 | |
| schweizersprachen.P | 2014-01-24 18:18 | 513 | |
| meals.P | 2025-02-09 21:29 | 531 | |
| aggregation.P | 2025-02-09 21:29 | 547 | |
| prologask.P | 2025-02-09 21:29 | 597 | |
| italians-english.s | 2025-02-09 21:29 | 602 | |
| refint3.s | 2025-02-09 21:29 | 625 | |
| refint1.s | 2025-02-09 21:29 | 665 | |
| parricide.s | 2025-02-09 21:29 | 727 | |
| meals.s | 2025-02-09 21:29 | 741 | |
| refint4.s | 2025-02-09 21:29 | 771 | |
| refint4b.s | 2025-02-09 21:29 | 771 | |
| refint1b.s | 2025-02-09 21:29 | 850 | |
| aggs.P | 2014-01-24 18:18 | 864 | |
| winmovebug.xwam | 2014-01-24 18:16 | 873 | |
| refint.s | 2025-02-09 21:29 | 924 | |
| sudoku.s | 2025-02-09 21:29 | 957 | |
| farmer.s | 2025-02-09 21:29 | 1.1K | |
| sudoku2.s | 2025-02-09 21:29 | 1.3K | |
| winmove.xwam | 2014-01-24 18:16 | 1.3K | |
| neighbourcount.P | 2014-01-24 18:18 | 1.4K | |
| houses.s | 2025-02-09 21:29 | 2.2K | |
| bundesligatabelle.s | 2025-02-09 21:29 | 3.2K | |
| bl2.s | 2018-07-05 11:21 | 3.3K | |
| bl3.s | 2018-07-05 11:21 | 3.4K | |
| fishpuzzle.s | 2025-02-09 21:29 | 5.5K | |
| aggregation.xwam | 2014-01-24 18:16 | 1.3M | |
| mondial.xwam | 2014-01-24 18:16 | 1.3M | |
| transitiveclosure.xwam | 2014-01-24 18:16 | 1.3M | |
| prologbrussels.xwam | 2014-01-24 18:16 | 1.3M | |
| prologask.xwam | 2014-01-24 18:16 | 1.3M | |
| headquartercapsbig.xwam | 2014-01-24 18:16 | 1.3M | |
| headquartercaps.xwam | 2015-05-08 15:39 | 1.3M | |
| mondial.P | 2025-02-09 21:29 | 2.5M | |
| orgOnContsDiv.xwam | 2019-06-04 15:15 | 2.8M | |