Inicio Explorar Axuda
Iniciar sesión
Artois
/
gsat-solver
2
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: be02a2d462
Ramas Etiquetas
gsat-solver
/
benchmarks
/
uf100
Arthur Brandao f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
..
uf100-01.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-010.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-0100.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-011.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-012.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-013.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-014.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-015.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-016.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-017.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-018.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-019.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-02.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-020.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-021.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-022.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-023.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-024.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-025.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-026.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-027.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-028.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-029.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-03.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-030.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-031.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-032.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-033.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-034.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-035.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-036.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-037.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-038.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-039.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-04.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-040.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-041.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-042.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-043.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-044.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-045.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-046.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-047.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-048.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-049.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-05.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-050.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-051.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-052.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-053.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-054.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-055.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-056.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-057.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-058.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-059.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-06.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-060.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-061.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-062.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-063.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-064.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-065.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-066.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-067.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-068.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-069.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-07.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-070.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-071.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-072.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-073.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-074.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-075.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-076.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-077.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-078.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-079.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-08.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-080.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-081.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-082.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-083.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-084.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-085.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-086.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-087.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-088.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-089.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-09.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-090.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-091.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-092.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-093.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-094.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-095.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-096.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-097.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-098.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf100-099.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos