![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | dbr-PicoSAT-patterns-100-10000-4.yml.bz2 | 2021-05-12 02:03 | 641 | |
![]() | dbr-PicoSAT-propertypatterns-100-10000-4-10-4-5-50.yml.bz2 | 2021-05-12 02:03 | 260 | |
![]() | dbr-PicoSAT-sub-10.ttl.bz2 | 2021-05-12 02:03 | 848 | |
![]() | 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-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-sub-10.ttl.bz2 | 2021-05-12 02:03 | 1.2K | |