Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
winmovesmall.P | 2014-11-18 11:20 | 173 | ||
winmovebug.xwam | 2014-01-24 18:16 | 873 | ||
winmovebug.P | 2014-11-18 11:20 | 251 | ||
winmove.xwam | 2014-01-24 18:16 | 1.3K | ||
winmove.s | 2014-11-18 11:20 | 352 | ||
winmove.P | 2014-11-18 11:20 | 387 | ||
winmove-small.s | 2014-11-18 11:20 | 144 | ||
tweety2.s | 2014-11-18 11:20 | 68 | ||
tweety.s | 2014-11-18 11:20 | 51 | ||
tweety-circ.s | 2014-11-18 11:20 | 79 | ||
transitiveclosure2.P | 2014-11-18 11:20 | 319 | ||
transitiveclosure.xwam | 2014-01-24 18:16 | 1.3M | ||
transitiveclosure.P | 2014-11-18 11:20 | 213 | ||
tcRivers.P | 2014-11-18 11:20 | 145 | ||
schweizersprachen.P | 2014-01-24 18:18 | 513 | ||
refint4b.s | 2014-11-18 11:20 | 771 | ||
refint4.s | 2014-11-18 11:20 | 771 | ||
refint3.s | 2014-11-18 11:20 | 625 | ||
refint2.s | 2014-11-18 11:20 | 360 | ||
refint1b.s | 2014-11-18 11:20 | 850 | ||
refint1.s | 2014-11-18 11:20 | 665 | ||
refint.s | 2014-11-18 11:20 | 917 | ||
refint-del-d.s | 2014-11-18 11:20 | 408 | ||
refint-del-b2.s | 2014-11-18 11:20 | 507 | ||
refint-del-b1.s | 2014-11-18 11:20 | 424 | ||
qnotp.s | 2014-11-18 11:20 | 18 | ||
prologcut.P | 2014-11-18 11:20 | 343 | ||
prologbrussels.xwam | 2014-01-24 18:16 | 1.3M | ||
prologbrussels.P | 2014-11-18 11:20 | 342 | ||
prologask.xwam | 2014-01-24 18:16 | 1.3M | ||
prologask.P | 2014-11-18 11:20 | 597 | ||
pq.s | 2014-11-18 11:20 | 90 | ||
pq.P | 2014-11-18 11:20 | 67 | ||
pporq.s | 2014-11-18 11:20 | 42 | ||
porq.s | 2014-11-18 11:20 | 36 | ||
porq-denial.s | 2014-11-18 11:20 | 45 | ||
pnotp.s | 2014-11-18 11:20 | 18 | ||
parricide.s | 2014-11-18 11:20 | 641 | ||
orgOnContsDiv.P | 2014-11-18 11:20 | 340 | ||
neighbourcount.P | 2014-01-24 18:18 | 1.4K | ||
mondial.xwam | 2014-01-24 18:16 | 1.3M | ||
mondial.P | 2014-11-18 11:20 | 1.0M | ||
meals.s | 2014-11-18 11:20 | 659 | ||
meals.P | 2014-11-18 11:20 | 531 | ||
meals-disj.s | 2014-11-18 11:20 | 440 | ||
lowesthighestmountain.P | 2014-11-18 11:20 | 365 | ||
landlocked2.P | 2014-01-24 18:18 | 384 | ||
landlocked.P | 2014-01-24 18:18 | 304 | ||
italians-english.s | 2014-11-18 11:20 | 602 | ||
headquartercapsbig.xwam | 2014-01-24 18:16 | 1.3M | ||
headquartercapsbig.P | 2014-11-18 11:20 | 298 | ||
headquartercaps.xwam | 2014-01-24 18:16 | 1.3M | ||
headquartercaps.P | 2014-11-18 11:20 | 415 | ||
fishpuzzle.s | 2014-11-18 11:20 | 5.5K | ||
farmer.s | 2014-11-18 11:20 | 1.1K | ||
disj.s | 2014-11-18 11:20 | 36 | ||
bundesligatabelle.s | 2014-11-18 11:20 | 3.2K | ||
bla.xwam | 2014-01-24 18:16 | 155 | ||
bla.s.xwam | 2014-01-24 18:16 | 155 | ||
bla.s | 2014-11-18 11:20 | 11 | ||
bla.P | 2014-11-18 11:20 | 11 | ||
bl3.s | 2014-11-18 11:20 | 3.4K | ||
bl2.s | 2014-11-18 11:20 | 3.3K | ||
arithmetics.P | 2014-11-18 11:20 | 91 | ||
aggs.P | 2014-01-24 18:18 | 864 | ||
aggrsubsumpt.P | 2014-11-18 11:20 | 162 | ||
aggregation2.P | 2014-11-18 11:20 | 454 | ||
aggregation.xwam | 2014-01-24 18:16 | 1.3M | ||
aggregation.P | 2014-11-18 11:20 | 547 | ||