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