| block | numbers | instances |
| 1 | 2 | 1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf +++++++ ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf |
| 2 | 2 | b21-s_PathRelaxation_FS_10.wcnf +++++++ b21-s_PathRelaxation_FS_8.wcnf |
| 3 | 4 | b21-s_PathRelaxation_FS_11.wcnf +++++++ b21-s_PathRelaxation_FS_17.wcnf +++++++ b21-s_PathRelaxation_FS_24.wcnf +++++++ b21-s_PathRelaxation_FS_6.wcnf |
| 4 | 2 | b21-s_PathRelaxation_FS_12.wcnf +++++++ b21-s_PathRelaxation_FS_16.wcnf |
| 5 | 2 | b21-s_PathRelaxation_FS_13.wcnf +++++++ b21-s_PathRelaxation_FS_14.wcnf |
| 6 | 4 | b21-s_PathRelaxation_FS_18.wcnf +++++++ b21-s_PathRelaxation_FS_5.wcnf +++++++ b21-s_PathRelaxation_FS_7.wcnf +++++++ b21-s_PathRelaxation_FS_9.wcnf |
| 7 | 3 | b21-s_PathRelaxation_FS_19.wcnf +++++++ b21-s_PathRelaxation_FS_21.wcnf +++++++ b21-s_PathRelaxation_FS_23.wcnf |
| 8 | 3 | c1355_F106gat-409gat@1.wcnf +++++++ c1355_F120gat-414gat@1.wcnf +++++++ c1355_F127gat-418gat@1.wcnf |
| 9 | 3 | c1355_F106gat@0.wcnf +++++++ c1355_F141gat@0.wcnf +++++++ c1355_F183gat@0.wcnf |
| 10 | 2 | c1355_F113gat-1260gat@1.wcnf +++++++ c1355_F176gat-1278gat@1.wcnf |
| 11 | 5 | c1355_F155gat@1.wcnf +++++++ c1355_F43gat@1.wcnf +++++++ c1355_F50gat@1.wcnf +++++++ c1355_F57gat@1.wcnf +++++++ c1355_F71gat@1.wcnf |
| 12 | 2 | c3540_F45@0.wcnf +++++++ c3540_F45@1.wcnf |
| 13 | 2 | cnf.20.d.10.wcnf +++++++ cnf.20.d.9.wcnf |
| 14 | 3 | SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf +++++++ SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf +++++++ SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf |
| 15 | 2 | SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf +++++++ SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.8.wcnf |
| 16 | 2 | SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf +++++++ SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf |
| 17 | 2 | SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf +++++++ SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf |
| 18 | 2 | TWComp_barle_N48.wcnf +++++++ TWComp_barley2_N48.wcnf |