Instance	Best Sol	Exact	Open-WBO-inc-bmo-complete	Open-WBO-inc-bmo-satlike	Loandra	SATlike-c	Satlike-ck	StableResolve	TT-Open-WBO-Inc-21
af-synthesis_stb_50_120_2.wcnf	107	0.83 (129)	1.00 (107)	0.96 (111)	1.00 (107)	1.00 (107)	1.00 (107)	0.79 (135)	1.00 (107)
af-synthesis_stb_50_120_5.wcnf	114	0.85 (134)	1.00 (114)	0.88 (130)	1.00 (114)	1.00 (114)	1.00 (114)	0.77 (148)	1.00 (114)
af-synthesis_stb_50_140_8.wcnf	113	0.89 (127)	1.00 (113)	0.99 (114)	1.00 (113)	1.00 (113)	1.00 (113)	0.83 (136)	1.00 (113)
af-synthesis_stb_50_160_5.wcnf	113	0.82 (138)	1.00 (113)	0.92 (123)	1.00 (113)	1.00 (113)	1.00 (113)	0.83 (136)	1.00 (113)
af-synthesis_stb_50_20_4.wcnf	117	0.82 (143)	1.00 (117)	0.88 (133)	1.00 (117)	1.00 (117)	1.00 (117)	0.87 (135)	1.00 (117)
af-synthesis_stb_50_200_5.wcnf	102	0.93 (110)	1.00 (102)	0.92 (111)	1.00 (102)	1.00 (102)	1.00 (102)	0.77 (133)	1.00 (102)
af-synthesis_stb_50_40_6.wcnf	115	0.84 (137)	1.00 (115)	0.97 (118)	1.00 (115)	1.00 (115)	1.00 (115)	0.83 (139)	1.00 (115)
af-synthesis_stb_50_40_8.wcnf	117	0.91 (129)	1.00 (117)	0.94 (124)	1.00 (117)	1.00 (117)	1.00 (117)	0.82 (143)	1.00 (117)
af-synthesis_stb_50_80_8.wcnf	116	0.82 (142)	1.00 (116)	0.92 (126)	1.00 (116)	1.00 (116)	1.00 (116)	0.76 (153)	1.00 (116)
bf2030fvslack.wcnf	245250	0.67 (365190)	1.00 (245250)	1.00 (245735)	0.87 (280619)	1.00 (245735)	1.00 (245735)	0.96 (254251)	1.00 (245735)
bn-human-BNU_1_0025865_session_1-bg.wcnf	119341403	0.96 (124098165)	0.00 (-)	0.00 (-)	1.00 (119711765)	1.00 (119672526)	0.00 (-)	1.00 (119341403)	1.00 (119661231)
bnn_mnist_30_label3_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	0.01 (175)	0.10 (19)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_back_image_35_label9_adversarial_norm_inf_totalizer.wcnf	30	0.00 (-)	0.91 (33)	1.00 (30)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_back_image_40_label3_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	1.00 (1)	0.05 (39)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_back_image_5_label2_adversarial_norm_inf_totalizer.wcnf	3	0.00 (-)	0.10 (40)	0.10 (40)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	0.02 (82)	0.50 (3)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
BrazilInstance1.xml.wcnf	39	0.66 (60)	1.00 (39)	0.85 (46)	1.00 (39)	1.00 (39)	1.00 (39)	0.60 (66)	1.00 (39)
BrazilInstance2.xml.wcnf	5	0.07 (88)	1.00 (5)	1.00 (5)	0.67 (8)	1.00 (5)	1.00 (5)	0.23 (25)	1.00 (5)
BrazilInstance4.xml.wcnf	75	0.30 (251)	0.58 (129)	0.52 (144)	0.99 (76)	0.82 (92)	0.85 (88)	0.28 (274)	1.00 (75)
BrazilInstance5.xml.wcnf	23	0.05 (510)	0.38 (63)	0.33 (71)	1.00 (23)	0.63 (37)	0.63 (37)	0.08 (318)	0.69 (34)
BrazilInstance6.xml.wcnf	54	0.09 (592)	0.53 (102)	0.40 (137)	1.00 (54)	0.65 (83)	0.65 (83)	0.13 (436)	0.67 (81)
BrazilInstance7.xml.wcnf	145	0.17 (841)	0.95 (153)	0.73 (199)	1.00 (145)	0.92 (158)	0.95 (152)	0.19 (762)	0.99 (146)
brock200_3.clq.wcnf	1102	0.88 (1258)	0.86 (1281)	1.00 (1102)	1.00 (1102)	1.00 (1102)	1.00 (1102)	1.00 (1102)	1.00 (1102)
brock400_2.clq.wcnf	1355	0.92 (1468)	0.93 (1456)	1.00 (1361)	0.98 (1377)	1.00 (1355)	1.00 (1355)	1.00 (1355)	1.00 (1355)
channel-500x100x100-b050.wcnf	30990637	0.60 (51590159)	0.63 (49213085)	1.00 (30990637)	0.70 (44112695)	0.72 (43215069)	0.72 (43215069)	0.00 (-)	0.72 (43147180)
credit_train_1_DNF_2_5.wcnf	24383	0.23 (105097)	0.82 (29626)	0.84 (29103)	0.82 (29594)	0.92 (26546)	0.92 (26591)	0.23 (105077)	1.00 (24383)
delaunay_n24.wcnf	229956181	0.00 (-)	0.51 (451648148)	1.00 (229956181)	0.66 (349843261)	0.00 (-)	0.00 (-)	0.70 (330399390)	0.00 (-)
downcast-avrora.wcnf	46642	0.89 (52170)	1.00 (46644)	1.00 (46644)	1.00 (46642)	1.00 (46644)	1.00 (46644)	1.00 (46732)	1.00 (46645)
downcast-hsqldb.wcnf	30207	0.87 (34916)	1.00 (30207)	1.00 (30207)	1.00 (30225)	1.00 (30210)	1.00 (30210)	0.98 (30810)	1.00 (30208)
downcast-pmd.wcnf	4227	0.48 (8785)	1.00 (4228)	1.00 (4230)	0.98 (4292)	0.99 (4254)	0.99 (4254)	0.00 (-)	1.00 (4227)
FinlandSecondarySchool.xml.wcnf	108	0.18 (621)	0.22 (499)	0.18 (614)	0.40 (269)	0.75 (145)	0.75 (145)	0.23 (482)	1.00 (108)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf (car-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.gz)	228	0.33 (694)	0.92 (249)	0.26 (897)	1.00 (228)	0.58 (396)	0.61 (377)	0.29 (789)	0.58 (397)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.gz.1 (heart-cleveland-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.gz)	56	0.52 (108)	0.73 (77)	0.39 (145)	1.00 (56)	0.58 (98)	0.58 (98)	0.43 (132)	0.57 (99)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf (australian-credit-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz)	433	0.74 (583)	0.71 (614)	0.58 (745)	1.00 (433)	0.78 (553)	0.78 (553)	0.61 (709)	0.69 (627)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz.1 (primary-tumor-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz)	189	0.61 (308)	0.60 (315)	0.45 (424)	1.00 (189)	0.59 (322)	0.58 (329)	0.49 (389)	0.58 (324)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz.2 (anneal-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz)	637	0.74 (861)	0.84 (758)	0.61 (1042)	1.00 (637)	0.76 (844)	0.75 (852)	0.64 (991)	0.70 (908)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf (anneal-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz)	161	0.78 (206)	0.66 (246)	0.66 (246)	1.00 (161)	0.75 (214)	0.75 (214)	0.75 (214)	0.73 (222)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz.1 (primary-tumor-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz)	70	0.79 (89)	0.95 (74)	0.83 (85)	0.93 (75)	1.00 (70)	1.00 (70)	0.71 (99)	1.00 (70)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz.2 (heart-cleveland-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz)	64	0.82 (78)	0.76 (85)	0.71 (90)	1.00 (64)	0.86 (75)	0.86 (75)	0.52 (125)	0.90 (71)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf	368	0.66 (560)	0.85 (432)	0.76 (484)	0.91 (403)	0.82 (450)	1.00 (368)	0.68 (540)	0.82 (448)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_5.wcnf	187	0.78 (241)	0.94 (200)	0.79 (237)	0.92 (203)	0.96 (195)	1.00 (187)	0.64 (295)	0.96 (195)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf (car-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.gz)	905	0.72 (1264)	0.73 (1247)	0.80 (1138)	1.00 (905)	0.75 (1211)	0.75 (1211)	0.57 (1590)	0.70 (1291)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.gz.1 (tic-tac-toe-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.gz)	496	0.66 (751)	0.87 (573)	0.66 (755)	0.80 (621)	0.93 (536)	0.86 (576)	0.67 (745)	1.00 (496)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_2.wcnf	156	0.49 (318)	0.70 (222)	0.76 (206)	1.00 (156)	0.76 (205)	0.65 (242)	0.23 (693)	0.68 (231)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf	493	0.76 (647)	0.76 (646)	0.63 (786)	1.00 (493)	0.67 (732)	0.71 (690)	0.56 (882)	0.72 (685)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_6.wcnf	139	0.71 (197)	0.55 (255)	0.50 (277)	1.00 (139)	0.67 (208)	0.67 (208)	0.45 (311)	0.63 (222)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_2.wcnf	71	0.73 (97)	0.63 (114)	0.73 (98)	1.00 (71)	0.68 (105)	0.68 (105)	0.35 (206)	0.65 (110)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf (australian-credit-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz)	196	0.63 (312)	0.57 (343)	0.43 (454)	1.00 (196)	0.72 (273)	0.70 (281)	0.54 (366)	0.65 (300)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz.1 (primary-tumor-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz)	114	0.93 (123)	0.57 (201)	0.55 (209)	1.00 (114)	0.87 (131)	0.87 (131)	0.51 (226)	0.86 (132)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz.2 (anneal-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz)	241	0.56 (428)	0.66 (365)	0.49 (491)	1.00 (241)	0.76 (319)	0.76 (319)	0.65 (370)	0.76 (319)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf (car-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.gz)	364	0.56 (655)	0.70 (521)	0.30 (1208)	1.00 (364)	0.65 (562)	0.69 (530)	0.33 (1105)	0.76 (478)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.gz.1 (tic-tac-toe-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.gz)	290	0.61 (474)	1.00 (290)	0.55 (531)	0.80 (365)	0.88 (330)	0.85 (342)	0.48 (611)	0.81 (358)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf (australian-credit-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.gz)	283	0.57 (493)	0.84 (337)	0.55 (511)	1.00 (283)	0.61 (461)	0.68 (417)	0.43 (655)	0.72 (395)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.gz.1 (car-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.gz)	446	0.64 (695)	0.61 (733)	0.33 (1339)	1.00 (446)	0.65 (688)	0.58 (773)	0.29 (1536)	0.63 (710)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf	125	0.58 (218)	0.75 (168)	0.44 (286)	1.00 (125)	0.66 (191)	0.71 (177)	0.38 (335)	0.50 (250)
hugebubbles-00020.wcnf	521004590	0.00 (-)	0.00 (-)	1.00 (521004590)	0.70 (748252038)	0.74 (701786011)	0.74 (701786011)	0.70 (744927533)	0.74 (701973408)
inf-road-usa.wcnf	656533235	0.00 (-)	0.80 (817442278)	1.00 (656533235)	0.73 (903206743)	0.74 (889759383)	0.74 (889759383)	0.00 (-)	0.74 (889776885)
instance10.wcnf	5353	0.40 (13473)	0.99 (5421)	0.90 (5955)	1.00 (5366)	0.99 (5413)	0.99 (5413)	0.40 (13525)	1.00 (5353)
instance11.wcnf	3457	0.18 (19354)	0.91 (3785)	0.84 (4098)	0.86 (4017)	0.90 (3820)	0.93 (3733)	0.36 (9667)	1.00 (3457)
instance12.wcnf	4924	0.14 (34429)	0.78 (6308)	0.93 (5320)	1.00 (4924)	0.59 (8301)	0.91 (5382)	0.25 (19588)	0.86 (5725)
instance3.wcnf	1002	0.81 (1237)	0.98 (1019)	0.96 (1045)	0.98 (1026)	1.00 (1002)	1.00 (1002)	0.77 (1304)	0.99 (1017)
instance4.wcnf	1716	0.92 (1858)	0.97 (1767)	0.95 (1799)	0.96 (1793)	0.97 (1772)	0.97 (1772)	0.90 (1915)	0.99 (1733)
instance5.wcnf	1206	0.63 (1904)	0.98 (1230)	0.98 (1232)	0.99 (1224)	1.00 (1206)	1.00 (1206)	0.54 (2246)	1.00 (1206)
instance6.wcnf	2013	0.54 (3758)	0.91 (2221)	0.98 (2044)	0.97 (2068)	0.97 (2081)	1.00 (2021)	0.68 (2966)	1.00 (2013)
instance7.wcnf	1086	0.42 (2605)	0.91 (1189)	0.90 (1212)	0.88 (1235)	1.00 (1086)	1.00 (1086)	0.48 (2279)	1.00 (1091)
instance8.wcnf	1505	0.24 (6185)	0.90 (1676)	0.85 (1775)	0.96 (1568)	0.78 (1930)	0.75 (2020)	0.26 (5738)	1.00 (1505)
instance9.wcnf	672	0.08 (8153)	0.95 (709)	0.87 (771)	0.87 (771)	0.87 (775)	0.87 (775)	0.12 (5603)	1.00 (672)
ItalyInstance1.xml.wcnf	12	0.04 (349)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)
ItalyInstance4.xml.wcnf	35	0.00 (20005)	0.12 (306)	0.08 (426)	1.00 (35)	0.32 (110)	0.29 (122)	0.00 (7973)	0.20 (176)
lisbon-wedding-1-17.wcnf	22116344182789200	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
lisbon-wedding-1-19.wcnf	22116344182789200	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
lisbon-wedding-10-19.wcnf	380	0.74 (516)	1.00 (380)	1.00 (380)	1.00 (380)	1.00 (380)	1.00 (380)	0.58 (659)	1.00 (380)
lisbon-wedding-7-18.wcnf	420	0.79 (530)	1.00 (420)	1.00 (420)	1.00 (420)	1.00 (420)	1.00 (420)	0.91 (463)	1.00 (420)
lisbon-wedding-7-19.wcnf	424	0.92 (461)	1.00 (424)	1.00 (424)	1.00 (424)	1.00 (424)	1.00 (424)	0.86 (496)	1.00 (424)
lisbon-wedding-9-17.wcnf	394	0.88 (446)	1.00 (394)	1.00 (395)	1.00 (394)	1.00 (394)	1.00 (394)	0.72 (547)	1.00 (394)
MANN_a45.clq.wcnf	2057	0.93 (2206)	0.93 (2201)	1.00 (2063)	1.00 (2063)	1.00 (2057)	1.00 (2057)	1.00 (2057)	1.00 (2057)
metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf	138	0.86 (161)	1.00 (138)	1.00 (138)	1.00 (138)	1.00 (138)	1.00 (138)	0.71 (196)	1.00 (138)
MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf	59400	0.76 (78080)	1.00 (59400)	1.00 (59400)	0.98 (60520)	1.00 (59400)	1.00 (59400)	0.79 (75160)	1.00 (59400)
MultiDay_2_weighted.wcnf	461081	0.65 (707273)	0.00 (-)	0.00 (-)	0.80 (576458)	0.99 (464975)	0.99 (464975)	1.00 (461081)	0.00 (-)
MultiDay_3_weighted.wcnf	1055265	0.68 (1547305)	0.00 (-)	0.00 (-)	0.80 (1315991)	0.00 (-)	0.00 (-)	1.00 (1055265)	0.00 (-)
MultiDay_4_weighted.wcnf	2022890	0.71 (2841082)	0.00 (-)	0.00 (-)	0.81 (2488234)	0.00 (-)	0.00 (-)	1.00 (2022890)	0.88 (2308816)
p_hat300-3.clq.wcnf	1439	0.91 (1578)	0.93 (1553)	1.00 (1439)	0.99 (1450)	1.00 (1439)	1.00 (1439)	1.00 (1439)	1.00 (1439)
pa-2.wcnf	143	0.00 (-)	0.07 (2031)	0.06 (2237)	0.00 (49067)	0.02 (5883)	0.02 (7064)	0.01 (13733)	0.02 (8016)
pa-3.wcnf	192	0.00 (-)	0.06 (3224)	0.08 (2282)	0.01 (35643)	0.04 (4807)	0.09 (2246)	0.03 (5579)	0.11 (1739)
polysite-bloat.wcnf	36	0.00 (-)	0.88 (41)	0.93 (39)	0.28 (131)	0.77 (47)	0.77 (47)	0.04 (833)	0.51 (72)
polysite-hsqldb.wcnf	172382	0.97 (177776)	1.00 (172382)	1.00 (172383)	0.98 (175584)	1.00 (172383)	1.00 (172383)	0.99 (173683)	1.00 (172383)
polysite-pmd.wcnf	188398	0.98 (193148)	1.00 (188402)	1.00 (188400)	0.99 (190818)	1.00 (188398)	1.00 (188398)	0.00 (-)	1.00 (188401)
polysite-xalan.wcnf	114620	0.96 (119586)	1.00 (114651)	1.00 (114622)	1.00 (114695)	1.00 (114640)	1.00 (114640)	1.00 (114814)	1.00 (114634)
r11.wcnf	48051736	0.70 (68546663)	0.92 (52302274)	0.74 (65040606)	0.65 (73560693)	0.98 (49136274)	1.00 (48051736)	0.85 (56570932)	1.00 (48268601)
rail2536.wcnf	807	0.54 (1496)	0.00 (-)	0.74 (1094)	0.56 (1450)	0.79 (1021)	0.79 (1021)	0.70 (1146)	1.00 (807)
rail4284.wcnf	1280	0.58 (2224)	0.00 (-)	0.80 (1604)	0.67 (1899)	0.82 (1563)	0.82 (1563)	0.71 (1805)	1.00 (1280)
rail4872.wcnf	1784	0.65 (2740)	0.80 (2229)	0.83 (2162)	0.69 (2569)	0.00 (-)	0.00 (-)	0.73 (2453)	1.00 (1784)
ram_k3_n13.ra1.wcnf	1417	0.57 (2489)	0.69 (2056)	1.00 (1417)	0.64 (2230)	1.00 (1417)	1.00 (1417)	1.00 (1417)	1.00 (1417)
ram_k3_n15.ra1.wcnf	4884	0.31 (15812)	0.86 (5695)	0.99 (4922)	0.75 (6520)	1.00 (4884)	1.00 (4884)	1.00 (4884)	1.00 (4884)
ram_k3_n16.ra1.wcnf	7271	0.44 (16477)	0.92 (7874)	0.77 (9437)	0.67 (10830)	1.00 (7271)	1.00 (7271)	1.00 (7271)	1.00 (7271)
ram_k3_n18.ra1.wcnf	15621	0.27 (58594)	0.80 (19535)	0.74 (20988)	0.69 (22536)	1.00 (15621)	1.00 (15621)	1.00 (15621)	1.00 (15621)
ram_k3_n19.ra1.wcnf	20665	0.22 (95749)	0.73 (28268)	0.71 (28971)	0.68 (30594)	1.00 (20665)	1.00 (20665)	0.98 (21136)	1.00 (20665)
ram_k3_n20.ra1.wcnf	23898	0.17 (137606)	0.74 (32218)	0.76 (31349)	0.58 (41015)	1.00 (23898)	1.00 (23898)	0.96 (24815)	1.00 (23898)
ram_k4_n19.ra1.wcnf	1260	0.10 (12324)	0.67 (1868)	0.46 (2770)	0.40 (3139)	1.00 (1260)	1.00 (1260)	0.88 (1440)	0.83 (1516)
ram_k4_n20.ra1.wcnf	3115	0.15 (20264)	0.56 (5525)	0.51 (6104)	0.40 (7720)	0.97 (3200)	0.97 (3200)	0.95 (3293)	1.00 (3115)
random-net-50-5_network-4.net.wcnf	43295	0.92 (46933)	0.96 (45236)	0.99 (43562)	0.98 (43975)	0.98 (44272)	0.98 (44272)	0.93 (46428)	1.00 (43295)
role_domino_0.05_17.wcnf	24031	0.25 (97206)	0.31 (78545)	0.30 (80330)	0.86 (27841)	0.92 (26166)	0.92 (26166)	1.00 (24031)	0.99 (24194)
role_domino_0.3_1.wcnf	95861	0.67 (142746)	0.64 (149855)	0.68 (141337)	0.69 (139797)	0.88 (109289)	0.88 (109289)	1.00 (95861)	0.91 (105783)
role_domino_0.3_12.wcnf	95904	0.67 (142729)	0.65 (147989)	0.68 (140449)	0.78 (123338)	0.86 (111255)	0.86 (111255)	1.00 (95904)	0.66 (146150)
role_domino_0.5_0.wcnf	156999	0.91 (171599)	1.00 (156999)	0.92 (169751)	0.95 (165654)	0.97 (162149)	0.94 (167854)	0.76 (207569)	0.95 (164872)
role_domino_0.5_18.wcnf	159967	0.91 (176593)	0.72 (221089)	0.89 (178747)	0.92 (174477)	0.99 (162321)	0.97 (164519)	0.77 (207148)	1.00 (159967)
role_domino_0.55_9.wcnf	163036	0.89 (183621)	0.81 (200430)	0.93 (175796)	0.90 (180383)	1.00 (163036)	1.00 (163036)	0.66 (247622)	0.98 (166764)
role_domino_0.7_0.wcnf	187265	0.92 (203456)	0.95 (197321)	0.93 (201609)	0.96 (194740)	0.97 (193585)	0.97 (193279)	0.70 (267183)	1.00 (187265)
role_domino_0.8_6.wcnf	196849	0.90 (218326)	0.80 (244847)	1.00 (196849)	0.99 (198607)	0.98 (201777)	0.99 (199583)	0.57 (346434)	0.97 (202519)
role_domino_0.9_18.wcnf	223923	0.92 (243918)	0.75 (299739)	0.99 (225063)	0.99 (225313)	0.98 (227638)	0.99 (226643)	0.58 (386651)	1.00 (223923)
role_domino_0.95_12.wcnf	229840	0.95 (241018)	0.95 (241838)	1.00 (229840)	0.95 (240764)	0.99 (230999)	1.00 (230950)	0.60 (385740)	0.99 (232350)
role_domino_multiple_0.2_0.wcnf	66915	0.30 (225942)	0.75 (89087)	0.73 (91165)	0.92 (72660)	0.84 (79356)	0.83 (80595)	1.00 (66915)	0.73 (91390)
role_domino_multiple_0.5_7.wcnf	141660	0.32 (447486)	1.00 (141844)	1.00 (141660)	0.97 (145660)	0.85 (167330)	0.85 (167422)	0.77 (184986)	0.87 (162643)
role_domino_multiple_1.0_1.wcnf	209296	1.00 (209296)	0.97 (215624)	0.95 (220216)	0.99 (210920)	0.87 (239544)	0.97 (216576)	0.83 (251032)	0.99 (212040)
role_university_0.6_3.wcnf	217060	0.34 (632032)	0.95 (228479)	0.99 (218650)	0.99 (219889)	1.00 (217591)	1.00 (217060)	0.53 (411217)	0.98 (220781)
role_university_multiple_0.2_0.wcnf	108401	0.40 (269254)	0.77 (141520)	0.77 (140259)	1.00 (108401)	0.85 (126884)	0.85 (127687)	0.96 (113296)	0.92 (118356)
role_university_multiple_0.2_8.wcnf	102956	0.37 (276412)	0.70 (147675)	0.72 (143017)	0.92 (112091)	0.99 (103611)	0.99 (103611)	1.00 (102956)	0.90 (114025)
Rounded_CorrelationClustering_Protein1_UNARY_N190.wcnf	9009683	0.61 (14760005)	0.93 (9715573)	0.94 (9577789)	0.99 (9056870)	0.95 (9476001)	0.95 (9476001)	0.98 (9166090)	0.93 (9664936)
Rounded_CorrelationClustering_Protein2_UNARY_N260.wcnf	18287361	0.61 (29923254)	0.91 (19986308)	0.91 (20085037)	0.94 (19387002)	1.00 (18287361)	0.87 (20986975)	0.92 (19932853)	0.93 (19574822)
Rounded_CorrelationClustering_Protein3_BINARY_N400.wcnf	41489718	0.52 (79469776)	0.87 (47417386)	0.95 (43654739)	0.93 (44385596)	0.92 (45106027)	0.94 (44174692)	0.85 (48759168)	0.93 (44622123)
Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf	18015114	0.64 (28144040)	0.90 (20056259)	0.65 (27641417)	0.70 (25759501)	0.98 (18468850)	0.98 (18342210)	1.00 (18015114)	0.94 (19064854)
Rounded_CorrelationClustering_Protein4_UNARY_N190.wcnf	3553940	0.38 (9311025)	0.86 (4122666)	0.93 (3828206)	1.00 (3566562)	0.87 (4067270)	0.87 (4067270)	0.95 (3735968)	0.88 (4041209)
sc-rel9.wcnf	15574932	0.03 (562659401)	0.78 (20030162)	0.97 (16083871)	0.93 (16746750)	0.76 (20418061)	0.76 (20418089)	1.00 (15574932)	0.76 (20408486)
scpnrf4_weighted.wcnf	14	0.88 (16)	1.00 (14)	1.00 (14)	0.79 (18)	1.00 (14)	1.00 (14)	0.83 (17)	1.00 (14)
simNo_1-s_15-m_100-n_500-fp_0.01-fn_0.20.wcnf	985724551960378	0.16 (6036090066202260)	0.00 (-)	0.00 (-)	1.00 (985724551960378)	0.00 (-)	0.00 (-)	0.38 (2572798514714240)	0.00 (-)
simNo_10-s_5-m_100-n_100-fp_0.01-fn_0.20.wcnf	248697795441590	0.13 (1919012490714330)	0.33 (753063334518536)	0.21 (1176027127757350)	1.00 (248697795441590)	0.42 (598135828572746)	0.48 (515149160377116)	0.47 (526545558584978)	0.49 (503510619965786)
simNo_10-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	1078385915841721	0.06 (18539567861452600)	0.09 (11937873134691900)	0.09 (11478282253664300)	1.00 (1078385915841721)	0.09 (11821574571111000)	0.09 (11960371041655500)	0.08 (12910644233295700)	0.12 (9156639483196540)
simNo_2-s_5-m_300-n_300-fp_0.01-fn_0.20.wcnf	12551306682972400	0.00 (-)	0.00 (-)	0.57 (22116344182789200)	0.69 (18143703767803300)	0.00 (-)	0.00 (-)	0.00 (-)	1.00 (12551306682972400)
simNo_4-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf	384590591060481	0.71 (543465864448980)	0.73 (528644068145826)	0.73 (526997201889920)	1.00 (384590591060481)	0.93 (412634637717313)	0.96 (398588954235682)	0.59 (651221676698965)	0.98 (392872242646441)
simNo_4-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	825303004422848	0.06 (13032895603441900)	0.00 (-)	0.00 (-)	1.00 (825303004422848)	0.00 (-)	0.00 (-)	0.39 (2142890416084312)	0.00 (-)
SingleDay_15_weighted.wcnf	3649484	0.94 (3872360)	0.96 (3806884)	0.97 (3766785)	0.96 (3819612)	1.00 (3649484)	1.00 (3649484)	1.00 (3653878)	0.98 (3734809)
SingleDay_37_weighted.wcnf	44171583	0.90 (48849630)	0.99 (44798814)	0.99 (44677427)	0.98 (45042572)	0.98 (44876293)	0.98 (44850073)	1.00 (44171583)	0.98 (44886673)
Subnetwork_9_weighted.wcnf	82813	0.69 (119954)	0.92 (90374)	0.94 (88451)	0.95 (87325)	1.00 (83178)	1.00 (83178)	1.00 (82852)	1.00 (83123)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf	20	0.43 (48)	0.68 (30)	0.57 (36)	1.00 (20)	0.64 (32)	0.60 (34)	0.23 (91)	0.72 (28)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf	76	0.56 (136)	0.93 (82)	0.93 (82)	0.97 (78)	0.89 (86)	1.00 (76)	0.49 (155)	0.97 (78)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf	108	0.59 (184)	0.93 (116)	1.00 (108)	0.97 (111)	0.89 (122)	0.95 (114)	0.45 (243)	0.95 (114)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf	2	0.07 (40)	0.33 (8)	0.60 (4)	0.27 (10)	0.20 (14)	0.60 (4)	0.05 (60)	0.27 (10)
SwitchingActivityMaximization_OpenRISC1200_68.wcnf	8	0.20 (45)	0.43 (20)	0.69 (12)	1.00 (8)	0.43 (20)	0.39 (22)	0.11 (83)	0.33 (26)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf	6	0.17 (41)	0.78 (8)	1.00 (6)	1.00 (6)	1.00 (6)	0.64 (10)	0.13 (51)	0.78 (8)
SwitchingActivityMaximization_OpenRISC1200_72.wcnf	14	0.29 (50)	1.00 (14)	0.71 (20)	0.75 (19)	0.79 (18)	0.71 (20)	0.28 (52)	1.00 (14)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf	18	0.30 (62)	0.90 (20)	0.70 (26)	0.83 (22)	0.90 (20)	0.83 (22)	0.23 (83)	1.00 (18)
SwitchingActivityMaximization_OpenRISC1200_76.wcnf	18	0.39 (48)	0.61 (30)	0.70 (26)	0.70 (26)	0.83 (22)	1.00 (18)	0.18 (107)	0.54 (34)
SwitchingActivityMaximization_OpenRISC1200_78.wcnf	8	0.17 (52)	1.00 (8)	0.33 (26)	0.43 (20)	1.00 (8)	0.53 (16)	0.08 (108)	1.00 (8)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf	16	0.36 (46)	0.81 (20)	0.63 (26)	1.00 (16)	0.59 (28)	0.55 (30)	0.17 (100)	0.63 (26)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf	22	0.37 (62)	1.00 (22)	0.70 (32)	0.70 (32)	0.59 (38)	0.85 (26)	0.24 (95)	0.59 (38)
toms_test_3_DNF_4_20.wcnf	122	0.00 (37536)	0.72 (171)	0.81 (150)	0.73 (167)	0.89 (137)	0.94 (130)	0.15 (827)	1.00 (122)
toms_train_9_CNF_5_5.wcnf	2493	0.06 (40771)	0.73 (3403)	0.52 (4773)	0.07 (35125)	1.00 (2493)	0.95 (2621)	0.42 (5938)	0.71 (3506)
twitter_train_1_CNF_4_20.wcnf	33191	0.12 (276866)	0.00 (-)	0.55 (59809)	0.06 (598996)	1.00 (33191)	0.99 (33679)	0.61 (54724)	0.84 (39722)
wdbc_train_9_DNF_5_10.wcnf	22	0.01 (2738)	1.00 (22)	1.00 (22)	1.00 (22)	1.00 (22)	1.00 (22)	0.74 (30)	1.00 (22)
web-wikipedia2009.wcnf	27928652	0.33 (85383903)	0.68 (40816598)	0.85 (32880715)	0.97 (28933201)	0.66 (42427716)	0.66 (42427716)	1.00 (27928652)	0.66 (42331076)
wg2.wcnf	78	0.08 (1016)	0.80 (98)	1.00 (78)	0.99 (79)	0.92 (85)	0.95 (82)	0.44 (178)	0.96 (81)