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