package info
(click to toggle)
Folder: examples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 4,388,531 | R_4_4_18.clrat.bz2 |
|
- | rw-r--r-- | 151,575 | R_4_4_18.cnf |
|
- | rw-r--r-- | 2,779,243 | R_4_4_18.drat.bz2 |
|
- | rw-r--r-- | 106 | example-4-vars.cnf |
|
- | rw-r--r-- | 78 | example-4-vars.drat |
|
- | rw-r--r-- | 94 | example-4-vars.lrat |
|
- | rw-r--r-- | 103 | example-5-vars.cnf |
|
- | rw-r--r-- | 117 | example-5-vars.drat |
|
- | rw-r--r-- | 176 | example-5-vars.lrat |
|
- | rw-r--r-- | 486 | example-Schur.cnf |
|
- | rw-r--r-- | 32 | example-Schur.drat |
|
- | rw-r--r-- | 72 | example-Schur.drup |
|
- | rw-r--r-- | 5,272 | uuf-100-1.cnf |
|
- | rw-r--r-- | 17,019 | uuf-100-1.drat |
|
- | rw-r--r-- | 45,346 | uuf-100-1.lrat |
|
- | rw-r--r-- | 5,304 | uuf-100-2.cnf |
|
- | rw-r--r-- | 10,959 | uuf-100-2.drat |
|
- | rw-r--r-- | 27,687 | uuf-100-2.lrat |
|
- | rw-r--r-- | 5,292 | uuf-100-3.cnf |
|
- | rw-r--r-- | 21,562 | uuf-100-3.drat |
|
- | rw-r--r-- | 55,442 | uuf-100-3.lrat |
|
- | rw-r--r-- | 5,241 | uuf-100-4.cnf |
|
- | rw-r--r-- | 17,577 | uuf-100-4.drat |
|
- | rw-r--r-- | 43,522 | uuf-100-4.lrat |
|
- | rw-r--r-- | 5,279 | uuf-100-5.cnf |
|
- | rw-r--r-- | 18,171 | uuf-100-5.drat |
|
- | rw-r--r-- | 46,733 | uuf-100-5.lrat |
|
- | rw-r--r-- | 1,480 | uuf-30-1.cnf |
|
- | rw-r--r-- | 83 | uuf-30-1.drat |
|
- | rw-r--r-- | 1,352 | uuf-30-1.lrat |
|
- | rw-r--r-- | 2,521 | uuf-50-2.cnf |
|
- | rw-r--r-- | 2,825 | uuf-50-2.drat |
|
- | rw-r--r-- | 5,014 | uuf-50-2.lrat |
|
- | rw-r--r-- | 2,509 | uuf-50-3.cnf |
|
- | rw-r--r-- | 2,384 | uuf-50-3.drat |
|
- | rw-r--r-- | 4,382 | uuf-50-3.lrat |