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
/
uf50
Arthur Brandao f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
..
uf50-01.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-010.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-0100.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-011.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-012.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-013.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-014.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-015.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-016.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-017.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-018.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-019.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-02.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-020.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-021.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-022.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-023.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-024.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-025.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-026.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-027.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-028.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-029.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-03.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-030.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-031.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-032.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-033.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-034.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-035.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-036.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-037.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-038.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-039.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-04.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-040.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-041.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-042.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-043.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-044.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-045.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-046.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-047.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-048.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-049.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-05.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-050.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-051.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-052.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-053.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-054.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-055.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-056.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-057.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-058.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-059.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-06.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-060.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-061.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-062.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-063.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-064.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-065.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-066.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-067.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-068.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-069.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-07.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-070.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-071.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-072.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-073.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-074.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-075.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-076.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-077.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-078.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-079.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-08.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-080.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-081.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-082.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-083.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-084.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-085.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-086.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-087.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-088.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-089.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-09.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-090.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-091.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-092.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-093.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-094.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-095.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-096.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-097.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-098.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos
uf50-099.cnf f2d93363d9 :tada: %!s(int64=6) %!d(string=hai) anos