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