name | number of instances |
random/hirsch/hgen6-4.20/hgen6 | 15 |
random/hirsch/hgen6-4.24/hgen6 | 15 |
random/hirsch/hgen7/hgen7 | 15 |
random/hirsch/hgen8/hgen8 | 12 |
random/moore/balancedhidden/balancedhidden-k3 | 12 |
random/moore/hardnm/hardnm | 18 |
random/moore/hidden/hidden-k3-s0-r4- | 9 |
random/moore/hidden/hidden-k3-s0-r5- | 9 |
random/moore/hidden/hidden-k3-s0-r6- | 9 |
random/moore/hidden/hidden-k3-s[12]-r4- | 18 |
random/moore/hidden/hidden-k3-s[12]-r5- | 18 |
random/moore/hidden/hidden-k3-s[12]-r6- | 18 |
random/simon/sat02-random/glassybp | 2 |
random/simon/sat02-random/glassyb[^p] | 2 |
random/simon/sat02-random/hgen2 | 3 |
random/simon/sat02-random/hgen3 | 14 |
random/simon/sat02-random/okgen | 10 |
random/simon/sat02-random/unif | 10 |
random/simon/unif/unif-r3- | 9 |
random/simon/unif/unif-r4- | 9 |
random/simon/unif/unif-r4.25- | 9 |
random/simon/unif/unif-r4.5- | 9 |
random/simon/unif/unif-r5.5- | 9 |
random/dequen/treshold/gencnf-k4- | 9 |
random/dequen/treshold/gencnf-k5- | 9 |
random/dequen/treshold/gencnf-k6- | 9 |
random/dequen/treshold/gencnf-k7- | 9 |
random/dequen/treshold/gencnf-k8- | 9 |
random/dequen/treshold/gencnf-k9- | 9 |
random/dequen/treshold/gencnf-k10- | 9 |
Total 30 series | 318 |