Directory listing for toysolver-0.2.0 candidate source tarball
toysolver-0.2.0/benchmarks/UF250.1065.100/
- uf250-01.cnf
- uf250-010.cnf
- uf250-0100.cnf
- uf250-011.cnf
- uf250-012.cnf
- uf250-013.cnf
- uf250-014.cnf
- uf250-015.cnf
- uf250-016.cnf
- uf250-017.cnf
- uf250-018.cnf
- uf250-019.cnf
- uf250-02.cnf
- uf250-020.cnf
- uf250-021.cnf
- uf250-022.cnf
- uf250-023.cnf
- uf250-024.cnf
- uf250-025.cnf
- uf250-026.cnf
- uf250-027.cnf
- uf250-028.cnf
- uf250-029.cnf
- uf250-03.cnf
- uf250-030.cnf
- uf250-031.cnf
- uf250-032.cnf
- uf250-033.cnf
- uf250-034.cnf
- uf250-035.cnf
- uf250-036.cnf
- uf250-037.cnf
- uf250-038.cnf
- uf250-039.cnf
- uf250-04.cnf
- uf250-040.cnf
- uf250-041.cnf
- uf250-042.cnf
- uf250-043.cnf
- uf250-044.cnf
- uf250-045.cnf
- uf250-046.cnf
- uf250-047.cnf
- uf250-048.cnf
- uf250-049.cnf
- uf250-05.cnf
- uf250-050.cnf
- uf250-051.cnf
- uf250-052.cnf
- uf250-053.cnf
- uf250-054.cnf
- uf250-055.cnf
- uf250-056.cnf
- uf250-057.cnf
- uf250-058.cnf
- uf250-059.cnf
- uf250-06.cnf
- uf250-060.cnf
- uf250-061.cnf
- uf250-062.cnf
- uf250-063.cnf
- uf250-064.cnf
- uf250-065.cnf
- uf250-066.cnf
- uf250-067.cnf
- uf250-068.cnf
- uf250-069.cnf
- uf250-07.cnf
- uf250-070.cnf
- uf250-071.cnf
- uf250-072.cnf
- uf250-073.cnf
- uf250-074.cnf
- uf250-075.cnf
- uf250-076.cnf
- uf250-077.cnf
- uf250-078.cnf
- uf250-079.cnf
- uf250-08.cnf
- uf250-080.cnf
- uf250-081.cnf
- uf250-082.cnf
- uf250-083.cnf
- uf250-084.cnf
- uf250-085.cnf
- uf250-086.cnf
- uf250-087.cnf
- uf250-088.cnf
- uf250-089.cnf
- uf250-09.cnf
- uf250-090.cnf
- uf250-091.cnf
- uf250-092.cnf
- uf250-093.cnf
- uf250-094.cnf
- uf250-095.cnf
- uf250-096.cnf
- uf250-097.cnf
- uf250-098.cnf
- uf250-099.cnf