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