![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | alldiff_32_34_7-adv.cnf | 2012-02-28 15:16 | 62 | |
![]() | alldiff_32_34_7-bij.cnf | 2012-02-28 15:17 | 511K | |
![]() | alldiff_32_34_10-bij.cnf | 2012-03-02 17:44 | 419K | |
![]() | alldiff_32_34_10-bijA.cnf | 2012-03-02 17:46 | 511K | |
![]() | alldiff_32_34_10-bijB.cnf | 2012-03-02 17:45 | 419K | |
![]() | alldiff_32_34_11-bij.cnf | 2012-02-28 15:21 | 419K | |
![]() | alldiff_32_34_12-bij.cnf | 2012-02-28 15:21 | 419K | |
![]() | alldiff_32_64-std.cnf | 2012-02-28 15:15 | 2.6M | |
![]() | alldiff_64_65536_0-bij.cnf | 2012-02-28 15:30 | 3.0M | |
![]() | alldiff_64_65536_0-std.cnf | 2012-02-28 15:28 | 2.6M | |
![]() | alldiff_128_65536_0-bij.cnf | 2012-02-28 15:30 | 13M | |
![]() | alldiff_128_65536_0-std.cnf | 2012-02-28 15:30 | 11M | |
![]() | alldiff_256_65536_0-bij.cnf | 2012-02-28 15:31 | 54M | |
![]() | alldiff_256_65536_0-std.cnf | 2012-02-28 15:28 | 48M | |