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