| name | number of instances |
| industrial/goldberg/hard_eq_check | 16 |
| industrial/kukula/addm_bench | 6 |
| industrial/li/li-exam | 4 |
| industrial/li/li-test4 | 8 |
| industrial/maris/CNF/ferry | 10 |
| industrial/maris/CNF/gripper | 10 |
| industrial/maris/CNF/hanoi | 4 |
| industrial/schuppan/l2s | 11 |
| industrial/simon/sat02/[67]pipe | 3 |
| industrial/simon/sat02/cnf-r4 | 2 |
| industrial/simon/sat02/cnt10.cnf | 1 |
| industrial/simon/sat02/comb | 3 |
| industrial/simon/sat02/dp | 2 |
| industrial/simon/sat02/f2 | 2 |
| industrial/simon/sat02/fifo | 2 |
| industrial/simon/sat02/homer | 4 |
| industrial/simon/sat02/ip | 3 |
| industrial/simon/sat02/k2fix | 5 |
| industrial/simon/sat02/sha | 2 |
| industrial/simon/sat02/w08 | 2 |
| industrial/zarpas/01_rule | 2 |
| industrial/zarpas/02_1_rule | 5 |
| industrial/zarpas/02_2_rule | 1 |
| industrial/zarpas/02_3_rule | 14 |
| industrial/zarpas/03_rule | 3 |
| industrial/zarpas/04_rule | 3 |
| industrial/zarpas/05_rule | 2 |
| industrial/zarpas/06_rule | 2 |
| industrial/zarpas/07_rule | 6 |
| industrial/zarpas/09_rule | 2 |
| industrial/zarpas/11_rule_ | 6 |
| industrial/zarpas/12_rule | 2 |
| industrial/zarpas/13_rule_ | 134 |
| industrial/zarpas/14_rule_ | 4 |
| industrial/zarpas/15_rule | 2 |
| industrial/zarpas/16_2_rule_ | 15 |
| industrial/zarpas/17_1_rule_ | 6 |
| industrial/zarpas/17_2_rule_ | 4 |
| industrial/zarpas/18_rule | 1 |
| industrial/zarpas/19_rule | 2 |
| industrial/zarpas/20_rule | 1 |
| industrial/zarpas/21_rule | 1 |
| industrial/zarpas/22_rule | 1 |
| industrial/zarpas/23_rule | 1 |
| industrial/zarpas/24_1_rule | 3 |
| Total 45 series | 324 |