| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| dbr-T%C3%83%C2%BCrkmen%C3%83%C2%84lem_52%C3%82%C2%B0E_%2F_MonacoSAT-sub-10.ttl.bz2 | 2021-05-12 02:03 | 1.2K | ||
| dbr-T%C3%83%C2%BCrkmen%C3%83%C2%84lem_52%C3%82%C2%B0E_%2F_MonacoSAT-propertypatterns-100-10000-4-10-4-5-50.yml.bz2 | 2021-05-12 02:03 | 45 | ||
| dbr-T%C3%83%C2%BCrkmen%C3%83%C2%84lem_52%C3%82%C2%B0E_%2F_MonacoSAT-patterns-100-10000-4.yml.bz2 | 2021-05-12 02:03 | 884 | ||
| dbr-PicoSAT-sub-10.ttl.bz2 | 2021-05-12 02:03 | 848 | ||
| dbr-PicoSAT-propertypatterns-100-10000-4-10-4-5-50.yml.bz2 | 2021-05-12 02:03 | 260 | ||
| dbr-PicoSAT-patterns-100-10000-4.yml.bz2 | 2021-05-12 02:03 | 641 | ||