Instance	BestSol	Exact	Open-WBO-inc-bmo-complete-2020	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)	0.98 (109)	0.98 (109)	0.67 (160)	1.00 (107)
af-synthesis_stb_50_120_5.wcnf	114	0.78 (146)	1.00 (114)	0.88 (130)	1.00 (114)	0.99 (115)	0.99 (115)	0.61 (189)	0.99 (115)
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.58 (197)	1.00 (113)
af-synthesis_stb_50_160_5.wcnf	113	0.80 (142)	0.99 (114)	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.81 (144)	1.00 (117)	0.88 (133)	1.00 (117)	0.98 (120)	1.00 (117)	0.72 (162)	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)	0.98 (104)	0.64 (160)	1.00 (102)
af-synthesis_stb_50_40_6.wcnf	115	0.81 (143)	0.97 (118)	0.97 (118)	1.00 (115)	1.00 (115)	0.97 (118)	0.66 (176)	1.00 (115)
af-synthesis_stb_50_40_8.wcnf	117	0.91 (129)	0.98 (119)	0.94 (124)	1.00 (117)	1.00 (117)	0.98 (119)	0.69 (171)	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.62 (188)	1.00 (116)
bf2030fvslack.wcnf	248793	0.00 (-)	1.00 (248793)	0.77 (323936)	0.89 (280762)	0.91 (274199)	0.94 (265197)	0.74 (336894)	0.97 (255538)
bn-human-BNU_1_0025865_session_1-bg.wcnf	119583997	0.00 (-)	1.00 (119583997)	0.00 (-)	1.00 (119725486)	1.00 (119688177)	1.00 (119688177)	0.00 (-)	1.00 (119680252)
bnn_mnist_30_label3_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_back_image_35_label9_adversarial_norm_inf_totalizer.wcnf	25279040747740400	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_back_image_40_label3_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	0.00 (-)	0.00 (-)	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.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf	1	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
BrazilInstance1.xml.wcnf	39	0.58 (68)	1.00 (39)	0.85 (46)	0.98 (40)	0.98 (40)	0.98 (40)	0.32 (123)	1.00 (39)
BrazilInstance2.xml.wcnf	5	0.07 (88)	1.00 (5)	0.86 (6)	0.60 (9)	0.86 (6)	0.86 (6)	0.03 (211)	0.55 (10)
BrazilInstance4.xml.wcnf	86	0.00 (-)	0.67 (129)	0.60 (144)	0.80 (108)	0.98 (88)	1.00 (86)	0.31 (277)	1.00 (86)
BrazilInstance5.xml.wcnf	35	0.07 (516)	0.56 (63)	0.47 (75)	1.00 (35)	0.88 (40)	0.88 (40)	0.08 (441)	0.90 (39)
BrazilInstance6.xml.wcnf	93	0.16 (599)	0.85 (109)	0.66 (142)	0.71 (132)	0.64 (147)	0.64 (147)	0.16 (603)	1.00 (93)
BrazilInstance7.xml.wcnf	173	0.21 (841)	1.00 (173)	0.87 (199)	0.63 (274)	0.74 (235)	0.65 (265)	0.21 (817)	0.99 (174)
brock200_3.clq.wcnf	1102	0.87 (1264)	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 (1474)	0.93 (1456)	1.00 (1361)	0.96 (1417)	1.00 (1355)	1.00 (1355)	1.00 (1355)	1.00 (1355)
channel-500x100x100-b050.wcnf	30990637	0.00 (-)	0.55 (56684807)	1.00 (30990637)	0.68 (45427753)	0.72 (43217770)	0.72 (43217770)	0.00 (-)	0.72 (43149679)
credit_train_1_DNF_2_5.wcnf	26413	0.25 (105097)	0.89 (29800)	0.88 (29942)	0.89 (29832)	0.99 (26666)	0.99 (26605)	0.25 (105135)	1.00 (26413)
delaunay_n24.wcnf	25279040747740400	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
downcast-avrora.wcnf	46642	0.00 (-)	1.00 (46649)	1.00 (46665)	1.00 (46697)	1.00 (46653)	1.00 (46653)	0.00 (-)	1.00 (46656)
downcast-hsqldb.wcnf	30207	0.00 (-)	0.44 (69002)	1.00 (30242)	0.00 (-)	1.00 (30235)	1.00 (30236)	0.00 (-)	0.00 (-)
downcast-pmd.wcnf	4227	0.00 (-)	0.00 (-)	0.99 (4250)	0.00 (-)	0.99 (4259)	0.99 (4259)	0.00 (-)	0.99 (4273)
FinlandSecondarySchool.xml.wcnf	139	0.23 (621)	0.28 (499)	0.23 (614)	0.52 (269)	0.93 (150)	0.93 (150)	0.23 (599)	1.00 (139)
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)	249	0.29 (853)	1.00 (249)	0.28 (901)	0.90 (278)	0.58 (428)	0.60 (419)	0.32 (789)	0.53 (469)
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)	77	0.63 (122)	1.00 (77)	0.53 (145)	0.51 (151)	0.79 (98)	0.79 (98)	0.59 (132)	0.77 (100)
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)	553	0.00 (-)	0.90 (614)	0.74 (745)	0.74 (751)	1.00 (553)	1.00 (553)	0.78 (709)	0.95 (582)
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)	197	0.55 (356)	0.63 (315)	0.45 (438)	1.00 (197)	0.60 (327)	0.63 (311)	0.51 (389)	0.61 (323)
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)	758	0.66 (1148)	1.00 (758)	0.73 (1042)	0.68 (1113)	0.89 (851)	0.89 (850)	0.77 (991)	0.83 (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:p)	193	0.81 (239)	0.79 (246)	0.63 (309)	1.00 (193)	0.90 (214)	0.90 (214)	0.79 (244)	0.97 (198)
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)	74	0.82 (90)	1.00 (74)	0.87 (85)	0.99 (75)	1.00 (74)	0.96 (77)	0.75 (99)	0.97 (76)
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.70 (92)	0.68 (95)	0.66 (98)	1.00 (64)	0.86 (75)	0.86 (75)	0.44 (148)	0.88 (73)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf	403	0.72 (562)	0.72 (561)	0.70 (577)	1.00 (403)	0.77 (523)	0.83 (483)	0.61 (664)	0.78 (514)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_5.wcnf	203	0.81 (252)	0.69 (295)	0.63 (322)	1.00 (203)	0.94 (216)	0.94 (216)	0.66 (307)	0.90 (226)
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:p)	918	0.45 (2019)	0.74 (1247)	0.81 (1138)	1.00 (918)	0.76 (1211)	0.76 (1211)	0.48 (1932)	0.71 (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 (753)	0.85 (587)	0.66 (755)	0.80 (621)	0.74 (674)	0.86 (576)	0.54 (917)	1.00 (496)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_2.wcnf	156	0.35 (443)	0.65 (241)	0.64 (245)	1.00 (156)	0.53 (296)	0.81 (193)	0.16 (963)	0.53 (296)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf	589	0.68 (870)	0.91 (646)	0.75 (786)	1.00 (589)	0.84 (702)	0.84 (702)	0.65 (911)	0.82 (716)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_6.wcnf	153	0.61 (251)	0.60 (255)	0.55 (277)	1.00 (153)	0.79 (194)	0.85 (180)	0.46 (335)	0.69 (223)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_2.wcnf	77	0.80 (97)	0.68 (114)	0.66 (118)	1.00 (77)	0.74 (105)	0.90 (86)	0.38 (206)	0.77 (100)
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)	248	0.65 (385)	0.72 (343)	0.55 (454)	1.00 (248)	0.89 (280)	0.83 (300)	0.68 (366)	0.83 (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)	121	0.98 (123)	0.60 (201)	0.58 (209)	1.00 (121)	0.93 (130)	0.94 (129)	0.50 (245)	0.92 (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)	319	0.75 (428)	0.87 (365)	0.65 (491)	0.98 (325)	1.00 (319)	1.00 (319)	0.86 (370)	1.00 (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)	410	0.50 (816)	0.75 (548)	0.34 (1220)	1.00 (410)	0.92 (447)	0.70 (582)	0.37 (1105)	0.95 (431)
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.56 (516)	1.00 (290)	0.55 (531)	0.75 (385)	0.69 (418)	0.73 (395)	0.43 (672)	0.80 (365)
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)	341	0.66 (514)	1.00 (341)	0.67 (511)	0.92 (369)	0.74 (462)	0.76 (449)	0.52 (655)	0.81 (423)
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)	448	0.65 (695)	0.61 (733)	0.34 (1339)	1.00 (448)	0.52 (861)	0.54 (833)	0.29 (1536)	0.60 (746)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf	168	0.66 (255)	1.00 (168)	0.59 (286)	0.98 (171)	0.80 (210)	0.82 (206)	0.50 (335)	0.67 (250)
hugebubbles-00020.wcnf	25279040747740400	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
inf-road-usa.wcnf	25279040747740400	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
instance10.wcnf	5903	0.31 (18982)	1.00 (5903)	0.93 (6357)	0.50 (11907)	0.83 (7134)	0.83 (7134)	0.35 (16728)	0.68 (8620)
instance11.wcnf	3485	0.12 (29753)	0.88 (3961)	0.85 (4098)	0.81 (4308)	0.91 (3841)	0.86 (4042)	0.31 (11418)	1.00 (3485)
instance12.wcnf	6324	0.15 (42623)	0.43 (14753)	1.00 (6324)	0.29 (22109)	0.76 (8297)	0.76 (8297)	0.31 (20710)	0.48 (13090)
instance3.wcnf	1002	0.70 (1437)	0.98 (1019)	0.96 (1045)	0.98 (1026)	1.00 (1002)	1.00 (1002)	0.59 (1704)	0.99 (1017)
instance4.wcnf	1716	0.62 (2773)	0.97 (1767)	0.95 (1799)	0.96 (1793)	0.97 (1772)	0.97 (1772)	0.65 (2639)	0.99 (1733)
instance5.wcnf	1206	0.46 (2601)	0.92 (1311)	0.98 (1232)	0.99 (1224)	0.93 (1294)	0.93 (1294)	0.36 (3361)	1.00 (1206)
instance6.wcnf	2013	0.44 (4575)	0.91 (2221)	0.90 (2238)	0.86 (2348)	0.97 (2081)	0.97 (2081)	0.47 (4295)	1.00 (2013)
instance7.wcnf	1086	0.31 (3490)	0.91 (1189)	0.90 (1212)	0.88 (1235)	1.00 (1086)	1.00 (1086)	0.28 (3922)	1.00 (1091)
instance8.wcnf	1780	0.19 (9445)	1.00 (1780)	0.86 (2081)	0.90 (1970)	0.61 (2937)	0.61 (2938)	0.22 (8228)	0.97 (1833)
instance9.wcnf	871	0.08 (10865)	0.79 (1106)	1.00 (871)	0.68 (1273)	0.89 (974)	0.89 (974)	0.10 (9080)	0.44 (1981)
ItalyInstance1.xml.wcnf	12	0.04 (349)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)	1.00 (12)	0.04 (329)	1.00 (12)
ItalyInstance4.xml.wcnf	296	0.01 (21018)	0.04 (8471)	0.70 (426)	1.00 (296)	0.19 (1535)	0.19 (1535)	0.02 (14262)	0.14 (2049)
lisbon-wedding-1-17.wcnf	25279040747740400	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
lisbon-wedding-1-19.wcnf	25279040747740400	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.42 (897)	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.77 (547)	0.99 (425)
lisbon-wedding-7-19.wcnf	424	0.85 (499)	1.00 (424)	0.98 (431)	1.00 (424)	0.98 (433)	0.98 (433)	0.68 (620)	0.99 (430)
lisbon-wedding-9-17.wcnf	394	0.82 (480)	1.00 (395)	1.00 (395)	1.00 (395)	1.00 (394)	1.00 (394)	0.58 (676)	1.00 (394)
MANN_a45.clq.wcnf	2057	0.93 (2212)	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.58 (237)	1.00 (138)	1.00 (138)	1.00 (138)	1.00 (138)	1.00 (138)	0.48 (288)	1.00 (138)
MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf	59400	0.76 (78080)	1.00 (59400)	1.00 (59400)	0.98 (60610)	1.00 (59400)	1.00 (59400)	0.73 (81190)	1.00 (59400)
MultiDay_2_weighted.wcnf	461916	0.65 (707323)	0.86 (535674)	0.93 (499201)	0.80 (576458)	0.99 (464975)	0.99 (464975)	1.00 (461916)	0.86 (537536)
MultiDay_3_weighted.wcnf	1057290	0.68 (1547391)	0.79 (1330634)	0.93 (1135964)	0.80 (1315991)	0.87 (1221906)	0.87 (1221909)	1.00 (1057290)	0.87 (1221236)
MultiDay_4_weighted.wcnf	2025934	0.71 (2841305)	0.92 (2207195)	0.93 (2168802)	0.81 (2488234)	0.88 (2308754)	0.88 (2308681)	1.00 (2025934)	0.88 (2308813)
p_hat300-3.clq.wcnf	1439	0.91 (1583)	0.93 (1553)	1.00 (1439)	0.97 (1482)	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 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
pa-3.wcnf	192	0.00 (-)	0.00 (-)	0.08 (2282)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
polysite-bloat.wcnf	36	0.00 (-)	0.00 (156554)	0.34 (107)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
polysite-hsqldb.wcnf	172382	0.00 (-)	0.82 (211178)	1.00 (172475)	0.00 (-)	1.00 (172398)	1.00 (172398)	0.00 (-)	1.00 (172398)
polysite-pmd.wcnf	188398	0.00 (-)	1.00 (188417)	1.00 (188501)	0.00 (-)	1.00 (188432)	0.00 (-)	0.00 (-)	1.00 (188413)
polysite-xalan.wcnf	114620	0.00 (-)	0.39 (294624)	1.00 (115191)	0.97 (117629)	1.00 (114677)	1.00 (114677)	0.00 (-)	1.00 (114677)
r11.wcnf	51047697	0.00 (-)	0.94 (54462418)	0.78 (65098338)	0.69 (73560693)	1.00 (51259798)	0.99 (51454633)	0.75 (67760025)	1.00 (51047697)
rail2536.wcnf	807	0.00 (-)	0.53 (1510)	0.74 (1094)	0.53 (1537)	0.79 (1021)	0.79 (1021)	0.00 (-)	1.00 (807)
rail4284.wcnf	1280	0.00 (-)	0.00 (-)	0.80 (1604)	0.56 (2301)	0.82 (1563)	0.82 (1563)	0.00 (-)	1.00 (1280)
rail4872.wcnf	1784	0.00 (-)	0.80 (2229)	0.00 (-)	0.61 (2919)	0.76 (2355)	0.76 (2355)	0.00 (-)	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.84 (5832)	0.86 (5695)	0.75 (6520)	1.00 (4884)	1.00 (4884)	0.97 (5044)	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.19 (81241)	0.80 (19535)	0.74 (20988)	0.69 (22536)	1.00 (15621)	1.00 (15621)	0.95 (16404)	1.00 (15621)
ram_k3_n19.ra1.wcnf	20665	0.19 (109022)	0.73 (28321)	0.70 (29316)	0.65 (31892)	1.00 (20665)	1.00 (20665)	0.98 (21136)	1.00 (20665)
ram_k3_n20.ra1.wcnf	23898	0.15 (154731)	0.74 (32218)	0.76 (31349)	0.56 (42708)	1.00 (23898)	1.00 (23898)	0.96 (25015)	1.00 (23898)
ram_k4_n19.ra1.wcnf	1260	0.10 (12334)	0.49 (2558)	0.41 (3058)	0.40 (3139)	1.00 (1260)	1.00 (1260)	0.73 (1721)	0.83 (1516)
ram_k4_n20.ra1.wcnf	3115	0.15 (20264)	0.50 (6243)	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.86 (50113)	1.00 (43295)
role_domino_0.05_17.wcnf	24194	0.24 (99105)	0.31 (78545)	0.30 (80330)	0.87 (27841)	0.92 (26166)	0.92 (26166)	0.95 (25529)	1.00 (24194)
role_domino_0.3_1.wcnf	109289	0.32 (338949)	0.73 (149855)	0.77 (141337)	0.78 (139797)	1.00 (109289)	1.00 (109289)	0.99 (110402)	0.93 (117002)
role_domino_0.3_12.wcnf	98682	0.29 (338900)	0.67 (147989)	0.69 (142995)	0.80 (123338)	0.89 (111255)	0.89 (111255)	1.00 (98682)	0.77 (128123)
role_domino_0.5_0.wcnf	156999	0.31 (504016)	1.00 (156999)	0.92 (169751)	0.95 (165654)	0.97 (161918)	0.84 (187817)	0.54 (289015)	0.79 (199128)
role_domino_0.5_18.wcnf	156852	0.31 (500239)	0.71 (221089)	0.88 (178747)	0.90 (174477)	0.89 (175600)	1.00 (156852)	0.63 (247606)	0.80 (194996)
role_domino_0.55_9.wcnf	163036	0.30 (543711)	0.81 (200430)	0.90 (181336)	0.90 (180383)	1.00 (163036)	1.00 (163036)	0.51 (319511)	0.99 (165509)
role_domino_0.7_0.wcnf	186703	0.28 (667389)	0.95 (197321)	0.93 (201609)	0.96 (194740)	1.00 (186703)	0.98 (191317)	0.51 (364779)	0.96 (194162)
role_domino_0.8_6.wcnf	196849	0.26 (746785)	0.80 (244847)	1.00 (196849)	0.99 (198607)	0.91 (217282)	0.94 (208581)	0.47 (419007)	0.91 (216257)
role_domino_0.9_18.wcnf	221453	0.27 (828543)	0.74 (299739)	0.98 (225063)	0.98 (225313)	0.90 (245999)	0.91 (242686)	0.46 (478676)	1.00 (221453)
role_domino_0.95_12.wcnf	224332	0.26 (872397)	0.93 (241838)	0.98 (229840)	0.93 (240764)	1.00 (224332)	0.92 (244950)	0.44 (510112)	0.86 (262276)
role_domino_multiple_0.2_0.wcnf	72660	0.32 (225942)	0.82 (89087)	0.75 (96701)	1.00 (72660)	0.78 (93498)	0.86 (84398)	0.00 (-)	0.85 (85435)
role_domino_multiple_0.5_7.wcnf	141660	0.32 (447486)	1.00 (141844)	1.00 (141660)	0.81 (174021)	0.98 (143837)	0.84 (168021)	0.00 (-)	0.93 (151522)
role_domino_multiple_1.0_1.wcnf	210920	0.92 (229856)	0.33 (637608)	0.00 (-)	1.00 (210920)	0.95 (223104)	0.95 (221392)	0.00 (-)	0.67 (314784)
role_university_0.6_3.wcnf	213100	0.34 (632032)	0.93 (228479)	0.00 (-)	0.95 (224133)	0.94 (227638)	1.00 (213100)	0.34 (627707)	0.95 (224063)
role_university_multiple_0.2_0.wcnf	108347	0.40 (271112)	0.69 (157460)	0.77 (140259)	1.00 (108347)	0.90 (121007)	0.93 (116921)	0.00 (-)	0.96 (113228)
role_university_multiple_0.2_8.wcnf	103611	0.37 (277492)	0.67 (154091)	0.00 (-)	0.95 (109035)	1.00 (103611)	1.00 (103611)	0.00 (-)	0.86 (120745)
Rounded_CorrelationClustering_Protein1_UNARY_N190.wcnf	9009683	0.58 (15415557)	0.93 (9715573)	0.86 (10416202)	0.77 (11682582)	0.95 (9476001)	0.95 (9476001)	0.98 (9169732)	0.93 (9664936)
Rounded_CorrelationClustering_Protein2_UNARY_N260.wcnf	18847470	0.63 (29925146)	0.91 (20630225)	0.31 (60610699)	0.64 (29563051)	1.00 (18847470)	0.97 (19467444)	0.92 (20583754)	0.99 (19108247)
Rounded_CorrelationClustering_Protein3_BINARY_N400.wcnf	41489718	0.52 (79469776)	0.87 (47417386)	0.95 (43654739)	0.87 (47652459)	0.92 (45223819)	0.92 (45138098)	0.45 (92464785)	0.95 (43509251)
Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf	18384093	0.56 (32682776)	0.92 (20056259)	0.67 (27641417)	0.62 (29654651)	0.98 (18692518)	1.00 (18438653)	1.00 (18384093)	0.95 (19302331)
Rounded_CorrelationClustering_Protein4_UNARY_N190.wcnf	3553940	0.38 (9311025)	0.86 (4122666)	0.93 (3828206)	0.98 (3625478)	0.87 (4067270)	0.87 (4067270)	0.93 (3835177)	0.88 (4041209)
sc-rel9.wcnf	16084054	0.00 (-)	0.80 (20030162)	1.00 (16084054)	0.00 (-)	0.79 (20420481)	0.79 (20420481)	0.00 (-)	0.79 (20410266)
scpnrf4_weighted.wcnf	14	0.83 (17)	0.94 (15)	1.00 (14)	0.94 (15)	0.94 (15)	0.94 (15)	0.79 (18)	1.00 (14)
simNo_1-s_15-m_100-n_500-fp_0.01-fn_0.20.wcnf	1234703658925060	0.20 (6091172842749184)	0.32 (3912449170505282)	0.00 (-)	1.00 (1234703658925060)	0.15 (8147523984071340)	0.15 (8147523984071340)	0.34 (3589502028065462)	0.14 (8562579347222192)
simNo_10-s_5-m_100-n_100-fp_0.01-fn_0.20.wcnf	251889636226498	0.13 (1919012490714330)	0.33 (753063334518536)	0.21 (1177785672995118)	1.00 (251889636226498)	0.48 (522497606476932)	0.42 (593375528750094)	0.38 (662066736299950)	0.53 (474509667002452)
simNo_10-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	1152538720046538	0.05 (23200122591242600)	0.09 (12250689859266900)	0.06 (20689796626260300)	1.00 (1152538720046538)	0.10 (11821574571111000)	0.11 (10714520163566800)	0.09 (12814026943350100)	0.10 (11929839510422100)
simNo_2-s_5-m_300-n_300-fp_0.01-fn_0.20.wcnf	12551306682972400	0.00 (-)	0.62 (20329463870491500)	0.57 (22116344182789200)	0.00 (-)	1.00 (12552657353314400)	0.97 (12878223921163000)	0.00 (-)	1.00 (12551306682972400)
simNo_4-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf	396118654851823	0.02 (25279040747740400)	0.74 (536878399425356)	0.74 (531937800657638)	1.00 (396118654851823)	0.00 (-)	0.96 (412634637717313)	0.32 (1241925242257424)	0.98 (405365700485026)
simNo_4-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	885835352927518	0.07 (13149284670188500)	0.09 (9452289181274210)	0.04 (22661933924669800)	1.00 (885835352927518)	0.07 (11821051684974600)	0.07 (11896439450095100)	0.31 (2844965584938995)	0.07 (12292147993679500)
SingleDay_15_weighted.wcnf	3649484	0.81 (4533365)	0.96 (3816456)	0.97 (3766785)	0.93 (3910140)	1.00 (3649484)	1.00 (3649484)	1.00 (3666096)	0.97 (3773942)
SingleDay_37_weighted.wcnf	44677427	0.00 (-)	0.99 (44915792)	1.00 (44677427)	0.98 (45509466)	1.00 (44847028)	1.00 (44847028)	0.00 (-)	0.99 (45146204)
Subnetwork_9_weighted.wcnf	82813	0.69 (120009)	0.92 (90374)	0.94 (88451)	0.95 (87325)	1.00 (83178)	1.00 (83178)	1.00 (83052)	1.00 (83123)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf	32	0.60 (54)	1.00 (32)	0.77 (42)	0.73 (44)	0.89 (36)	0.94 (34)	0.17 (198)	0.70 (46)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf	80	0.59 (136)	0.85 (94)	0.77 (104)	0.70 (114)	0.74 (109)	1.00 (80)	0.32 (252)	0.91 (88)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf	108	0.59 (184)	0.86 (126)	1.00 (108)	0.77 (140)	0.84 (128)	0.81 (134)	0.38 (284)	0.87 (124)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf	2	0.06 (53)	0.18 (16)	0.18 (16)	0.09 (33)	0.14 (20)	0.27 (10)	0.03 (86)	0.16 (18)
SwitchingActivityMaximization_OpenRISC1200_68.wcnf	20	0.37 (56)	1.00 (20)	0.64 (32)	0.78 (26)	0.84 (24)	0.64 (32)	0.18 (118)	0.91 (22)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf	6	0.12 (56)	0.47 (14)	0.54 (12)	0.64 (10)	0.33 (20)	0.24 (28)	0.05 (135)	0.37 (18)
SwitchingActivityMaximization_OpenRISC1200_72.wcnf	20	0.34 (60)	0.72 (28)	0.72 (28)	0.70 (29)	0.84 (24)	1.00 (20)	0.25 (83)	0.84 (24)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf	28	0.43 (66)	0.83 (34)	1.00 (28)	0.94 (30)	1.00 (28)	0.88 (32)	0.17 (174)	0.94 (30)
SwitchingActivityMaximization_OpenRISC1200_76.wcnf	28	0.46 (62)	0.94 (30)	1.00 (28)	0.41 (70)	0.78 (36)	0.67 (42)	0.19 (151)	0.83 (34)
SwitchingActivityMaximization_OpenRISC1200_78.wcnf	16	0.32 (52)	0.81 (20)	0.46 (36)	0.46 (36)	0.55 (30)	1.00 (16)	0.11 (153)	1.00 (16)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf	24	0.45 (54)	1.00 (24)	0.93 (26)	0.51 (48)	0.61 (40)	0.86 (28)	0.18 (135)	0.81 (30)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf	22	0.32 (70)	1.00 (22)	0.53 (42)	0.56 (40)	0.74 (30)	0.53 (42)	0.17 (132)	0.51 (44)
toms_test_3_DNF_4_20.wcnf	136	0.00 (37649)	0.80 (171)	0.91 (150)	0.02 (5900)	0.59 (231)	1.00 (136)	0.12 (1123)	0.87 (157)
toms_train_9_CNF_5_5.wcnf	2594	0.06 (40832)	0.55 (4752)	0.41 (6284)	0.07 (35000)	1.00 (2594)	0.99 (2621)	0.13 (19444)	0.74 (3506)
twitter_train_1_CNF_4_20.wcnf	33191	0.00 (-)	0.12 (276960)	0.16 (210819)	0.06 (599336)	1.00 (33191)	1.00 (33191)	0.12 (276960)	0.67 (49780)
wdbc_train_9_DNF_5_10.wcnf	22	0.01 (2863)	0.96 (23)	0.96 (23)	1.00 (22)	1.00 (22)	1.00 (22)	0.38 (60)	0.96 (23)
web-wikipedia2009.wcnf	28187859	0.33 (85384777)	0.69 (40828692)	0.86 (32881256)	0.97 (29086312)	0.66 (42433061)	0.66 (42433293)	1.00 (28187859)	0.67 (42337074)
wg2.wcnf	99	0.10 (1016)	1.00 (99)	0.88 (113)	0.83 (119)	0.64 (156)	0.91 (109)	0.46 (215)	0.72 (138)