Instance	Best-cost	DT-Hywalk	Exact	Loandra	noSAT-MaxSAT	NuWLS-c	Open-WBO-inc-comp	Open-WBO-inc-satlike	TT-OpenWBO-inc-g	TT-OpenWBO-inc-i	TT-OpenWBO-inc-is
BrazilInstance1.xml.wcnf	39	1 (39)	0.519 (76)	0.976 (40)	0.183 (217)	0.976 (40)	1 (39)	0.851 (46)	1 (39)	0.952 (41)	0.889 (44)
BrazilInstance2.xml.wcnf	5	0.75 (7)	0.043 (137)	0.194 (30)	0.019 (319)	1 (5)	1 (5)	0.857 (6)	0.3 (19)	0.857 (6)	0.667 (8)
BrazilInstance4.xml.wcnf	55	0.622 (89)	0.209 (267)	0.505 (110)	0 (-)	0.56 (99)	0.441 (126)	0.4 (139)	0.659 (84)	0.554 (100)	0.523 (106)
BrazilInstance5.xml.wcnf	20	0.538 (38)	0.077 (270)	0.389 (53)	0 (-)	0.553 (37)	0.328 (63)	0.276 (75)	0.538 (38)	0.512 (40)	0.396 (52)
BrazilInstance6.xml.wcnf	54	0.399 (137)	0.165 (332)	0.724 (75)	0 (-)	0.426 (128)	0.5 (109)	0.385 (142)	0.346 (158)	0.514 (106)	0.372 (147)
BrazilInstance7.xml.wcnf	96	0.554 (174)	0.217 (446)	0.66 (146)	0 (-)	0.503 (192)	0.584 (165)	0.485 (199)	0.346 (279)	0.358 (270)	0.464 (208)
FinlandSecondarySchool.xml.wcnf	108	0.768 (141)	0.167 (653)	0.445 (244)	0 (-)	0.551 (197)	0.218 (499)	0.177 (614)	0.773 (140)	0.965 (112)	0.641 (169)
ItalyInstance4.xml.wcnf	35	0.01 (3704)	0.002 (21157)	0.021 (1711)	0 (-)	0.038 (955)	0.004 (8471)	0.084 (426)	0.011 (3332)	0.008 (4494)	0.006 (5632)
MinWidthCB_mitdbsample_200_64_1k_10s_2t_12.wcnf	58625	0.996 (58840)	0.777 (75425)	0.987 (59420)	0.697 (84105)	1 (58625)	0.996 (58845)	0.996 (58845)	0.996 (58845)	0.996 (58845)	0.996 (58845)
MinWidthCB_mitdbsample_200_64_1k_10s_3t_12.wcnf	54585	0.993 (54980)	0.797 (68455)	0.934 (58420)	0.637 (85720)	0.984 (55490)	0.984 (55485)	0.984 (55490)	1 (54585)	0.999 (54660)	0.996 (54810)
MinWidthCB_mitdbsample_300_26_1k_3s_2t_5.wcnf	30100	0.98 (30720)	0.951 (31665)	1 (30105)	0.829 (36320)	0.958 (31415)	0.958 (31415)	0.958 (31415)	0.965 (31205)	0.983 (30605)	0.987 (30500)
MinWidthCB_mitdbsample_300_26_1k_6s_1t_8.wcnf	31195	1 (31195)	0.93 (33545)	0.993 (31410)	0.816 (38220)	0.985 (31665)	0.985 (31670)	0.944 (33035)	0.954 (32685)	0.975 (32005)	0.965 (32320)
MinWidthCB_mitdbsample_300_64_1k_3s_1t_5.wcnf	79270	1 (79270)	0.963 (82325)	0.941 (84235)	0.892 (88915)	0.971 (81615)	0.971 (81610)	0.971 (81615)	0.972 (81575)	0.981 (80820)	0.971 (81615)
MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf	75240	1 (75240)	0.952 (79030)	0.916 (82110)	0.867 (86745)	0.993 (75760)	0.986 (76325)	0.985 (76355)	0.992 (75875)	0.986 (76345)	0.988 (76190)
MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf	75967	0.93 (81651)	0.939 (80888)	0.997 (76174)	0.719 (105603)	0.946 (80283)	0.945 (80372)	0.943 (80571)	0.962 (78933)	0.967 (78524)	0.986 (77007)
MinWidthCB_power_600_24_1k_6s_1t_8.wcnf	82282	0.99 (83123)	0.974 (84459)	0.998 (82439)	0.87 (94602)	0.971 (84705)	0.934 (88081)	0.921 (89347)	0.96 (85687)	0.946 (87018)	0.981 (83876)
Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf	275431681	0.994 (277221178)	0.965 (285320283)	0.997 (276133851)	0.922 (298577661)	0.996 (276456867)	0.994 (277221178)	0.994 (277221178)	0.995 (276704236)	0.996 (276558825)	0.995 (276745356)
Rounded_BTWBNSL_Housing_TWBound_2.wcnf	330364683	0.979 (337431544)	0.959 (344501962)	1 (330364683)	0.802 (412072133)	0.984 (335801487)	0.977 (338256287)	0.988 (334439348)	0.978 (337638579)	0.995 (332090490)	0.981 (336813502)
Rounded_BTWBNSL_Voting_TWBound_4.wcnf	464263033	1 (464263033)	0.974 (476432568)	0.992 (467845142)	0.902 (514737586)	1 (464263033)	1 (464263033)	1 (464263033)	1 (464263033)	1 (464263033)	1 (464263033)
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf	1326306453	0.998 (1329043665)	0.998 (1329302719)	0.997 (1329714487)	0.846 (1568635809)	0.998 (1329033479)	0.998 (1329043665)	0.998 (1329043665)	0.998 (1329033479)	0.998 (1328540712)	0.998 (1329043664)
Rounded_BTWBNSL_adult15N_TWBound_2.wcnf	35193743264	0.991 (35518891162)	0.99 (35532371053)	0.997 (35289288406)	0.902 (38999305672)	0.992 (35472265427)	0.995 (35377360348)	0.995 (35377360348)	0.995 (35377360348)	0.995 (35377360348)	0.995 (35377360348)
Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf	49927755584	0.993 (50280287765)	0.803 (62151745370)	0.99 (50438439472)	0.756 (66030537620)	0.99 (50426115088)	0.925 (53974510175)	0.978 (51059409994)	0.996 (50109763843)	1 (49932025014)	0.991 (50387064239)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf	1389279780	0.986 (1409088670)	0.926 (1500320804)	0.993 (1398494987)	0.766 (1813661486)	0.978 (1419926131)	0.971 (1431134686)	0.967 (1435973365)	0.986 (1409088670)	0.981 (1416013233)	0.971 (1430265457)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf	1388734978	0.984 (1411686140)	0.941 (1476455567)	0.989 (1404776856)	0.737 (1885251668)	0.984 (1411253723)	0.974 (1426236109)	0.973 (1426584398)	0.984 (1411686140)	0.973 (1427106200)	0.986 (1408222221)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf	1388734978	0.981 (1415875106)	0.945 (1469134518)	0.991 (1401429340)	0.764 (1816698075)	0.985 (1409557580)	0.975 (1423936680)	0.976 (1423339956)	0.981 (1415875106)	0.975 (1424051703)	0.978 (1420640028)
Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_2.wcnf	170760179	0.984 (173598464)	0.977 (174762367)	0.999 (170861357)	0.878 (194509255)	0.985 (173294731)	0.983 (173671218)	0.983 (173671218)	0.988 (172856619)	0.983 (173671218)	0.983 (173671218)
Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf	17428696	0.968 (18013163)	0.073 (239894708)	0.93 (18735341)	0.533 (32689831)	0.994 (17536150)	0.955 (18256047)	0.934 (18665839)	0.994 (17526475)	0.922 (18896776)	0.933 (18685254)
Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf	4604640	0.996 (4623582)	0.049 (94558032)	0.989 (4654465)	0.949 (4850319)	0.932 (4938464)	0.971 (4740812)	0.943 (4884817)	0.996 (4621352)	0.99 (4649006)	0.993 (4637847)
Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf	7196920	0.987 (7289727)	0.037 (195596893)	0.991 (7264980)	0.9 (7998266)	0.943 (7628348)	0.971 (7414197)	0.393 (18325781)	0.919 (7828297)	0.937 (7680309)	0.91 (7904508)
Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf	36725121	0.951 (38620964)	0.575 (63863873)	0.961 (38199860)	0.334 (109993951)	0.967 (37986320)	0.93 (39482257)	0.668 (54956144)	0.961 (38216411)	0.962 (38184749)	0.97 (37843060)
Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf	39856439	0.938 (42471397)	0.573 (69548929)	0.948 (42025442)	0.341 (117014414)	0.959 (41541466)	0.906 (43983645)	0.674 (59139752)	0.923 (43162976)	0.932 (42752290)	0.961 (41470977)
Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf	5567863	0.818 (6803599)	0.408 (13650532)	0.888 (6271463)	0.159 (34920443)	0.82 (6793798)	0.773 (7200814)	0.696 (8001633)	0.763 (7302049)	0.791 (7036641)	0.801 (6954270)
Rounded_CorrelationClustering_Protein4_UNARY_N250.wcnf	7581560	0.765 (9908769)	0.459 (16522656)	0.57 (13298291)	0.404 (18750254)	0.864 (8779092)	0.715 (10601564)	0.703 (10782818)	0.747 (10151580)	0.819 (9256526)	0.834 (9092022)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf	22	0.59 (38)	0.365 (62)	0.343 (66)	0 (-)	0.59 (38)	0.697 (32)	0.535 (42)	0.511 (44)	0.561 (40)	0.535 (42)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf	74	0.824 (90)	0.63 (118)	0.568 (131)	0 (-)	0.824 (90)	0.806 (92)	0.714 (104)	0.773 (96)	0.806 (92)	0.789 (94)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf	89	0.677 (132)	0.508 (176)	0.545 (164)	0 (-)	0.783 (114)	0.709 (126)	0.783 (114)	0.677 (132)	0.698 (128)	0.744 (120)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf	2	0.231 (12)	0.068 (43)	0.064 (46)	0 (-)	0.2 (14)	0.176 (16)	0.231 (12)	0.158 (18)	0.2 (14)	0.2 (14)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf	6	0.778 (8)	0.127 (54)	0.051 (136)	0 (-)	0.636 (10)	0.467 (14)	0.538 (12)	0.368 (18)	0.368 (18)	0.333 (20)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf	10	0.333 (32)	0.208 (52)	0.063 (174)	0 (-)	0.333 (32)	0.314 (34)	0.379 (28)	0.44 (24)	0.355 (30)	0.282 (38)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf	16	0.378 (44)	0.227 (74)	0.262 (64)	0 (-)	0.515 (32)	0.68 (24)	0.63 (26)	0.515 (32)	0.459 (36)	0.415 (40)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf	16	0.395 (42)	0.239 (70)	0.2 (84)	0 (-)	0.378 (44)	0.739 (22)	0.395 (42)	0.436 (38)	0.298 (56)	0.347 (48)
af-synthesis_stb_50_100_3.wcnf	104	0.991 (105)	0.784 (133)	1 (104)	0.625 (167)	0.991 (105)	1 (104)	0.946 (110)	1 (104)	0.946 (110)	0.972 (107)
af-synthesis_stb_50_120_3.wcnf	100	0.99 (101)	0.878 (114)	1 (100)	0.594 (169)	1 (100)	1 (100)	0.918 (109)	1 (100)	0.981 (102)	0.981 (102)
af-synthesis_stb_50_140_1.wcnf	127	1 (127)	0.865 (147)	1 (127)	0.631 (202)	1 (127)	1 (127)	0.921 (138)	1 (127)	1 (127)	0.977 (130)
af-synthesis_stb_50_140_8.wcnf	113	0.991 (114)	0.814 (139)	1 (113)	0.585 (194)	0.991 (114)	1 (113)	0.991 (114)	1 (113)	1 (113)	1 (113)
af-synthesis_stb_50_160_5.wcnf	113	0.974 (116)	0.851 (133)	1 (113)	0.576 (197)	0.991 (114)	1 (113)	0.919 (123)	0.991 (114)	1 (113)	0.983 (115)
af-synthesis_stb_50_180_1.wcnf	130	1 (130)	0.845 (154)	0.978 (133)	0.59 (221)	0.978 (133)	0.992 (131)	0.879 (148)	0.978 (133)	0.985 (132)	0.992 (131)
af-synthesis_stb_50_200_4.wcnf	105	1 (105)	0.848 (124)	1 (105)	0.517 (204)	0.972 (108)	1 (105)	0.891 (118)	0.964 (109)	0.991 (106)	0.991 (106)
af-synthesis_stb_50_200_5.wcnf	102	0.981 (104)	0.912 (112)	1 (102)	0.582 (176)	0.963 (106)	1 (102)	0.92 (111)	0.99 (103)	0.981 (104)	0.945 (108)
af-synthesis_stb_50_200_6.wcnf	111	1 (111)	0.778 (143)	1 (111)	0.536 (208)	1 (111)	1 (111)	0.982 (113)	1 (111)	1 (111)	1 (111)
af-synthesis_stb_50_20_8.wcnf	120	1 (120)	0.834 (144)	1 (120)	0.688 (175)	1 (120)	1 (120)	0.953 (126)	1 (120)	1 (120)	0.976 (123)
af-synthesis_stb_50_40_8.wcnf	117	1 (117)	0.776 (151)	0.983 (119)	0.733 (160)	0.975 (120)	0.983 (119)	0.944 (124)	0.975 (120)	1 (117)	1 (117)
af-synthesis_stb_50_60_3.wcnf	115	1 (115)	0.795 (145)	1 (115)	0.674 (171)	1 (115)	1 (115)	0.913 (126)	0.943 (122)	1 (115)	1 (115)
af-synthesis_stb_50_80_7.wcnf	115	1 (115)	0.879 (131)	1 (115)	0.707 (163)	1 (115)	1 (115)	0.892 (129)	1 (115)	0.959 (120)	1 (115)
af-synthesis_stb_50_80_8.wcnf	116	1 (116)	0.818 (142)	1 (116)	0.565 (206)	0.992 (117)	1 (116)	0.921 (126)	1 (116)	1 (116)	0.992 (117)
ann.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf	161	0.75 (215)	0.827 (195)	0.853 (189)	0.753 (214)	0.753 (214)	0.656 (246)	0.591 (273)	0.775 (208)	0.779 (207)	0.757 (213)
ann.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	314	0.873 (360)	0.765 (411)	0.966 (325)	0.808 (389)	0.873 (360)	0.778 (404)	0.553 (569)	0.873 (360)	0.895 (351)	0.895 (351)
ann.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf	255	0.645 (396)	0.516 (495)	0.565 (452)	0.54 (473)	0.645 (396)	0.508 (503)	0.345 (741)	0.645 (396)	0.645 (396)	0.642 (398)
aus.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf	207	0.689 (301)	0.266 (780)	0.414 (501)	0 (-)	0.712 (291)	0.675 (307)	0.457 (454)	0.754 (275)	0.754 (275)	0.754 (275)
aus.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf	307	0.875 (351)	0.853 (360)	0.987 (311)	0.558 (551)	0.858 (358)	0.665 (462)	0.665 (462)	0.877 (350)	0.877 (350)	0.875 (351)
aus.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	319	0.767 (416)	0.762 (419)	0.976 (327)	0.62 (515)	0.76 (420)	0.597 (535)	0.742 (430)	0.767 (416)	0.816 (391)	0.767 (416)
aus.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf	283	0.743 (381)	0.571 (496)	0.768 (369)	0 (-)	0.567 (500)	0.83 (341)	0.555 (511)	0.574 (494)	0.59 (480)	0.57 (497)
aus.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf	288	0.719 (401)	0.554 (521)	0.926 (311)	0.389 (742)	0.595 (485)	0.85 (339)	0.495 (583)	0.66 (437)	0.593 (486)	0.648 (445)
bf2030fvslack.wcnf	245250	0.925 (265252)	0 (-)	0.947 (258853)	0 (-)	0.968 (253332)	0.986 (248793)	0.757 (323936)	0.892 (274876)	0.615 (398916)	0.789 (311024)
bn-human-BNU_1_0025865_session_1-bg.wcnf	119321020	0 (-)	0 (-)	0.998 (119583294)	0 (-)	0.997 (119693481)	0.998 (119583997)	0 (-)	0.997 (119691505)	0.996 (119756131)	0.996 (119756131)
bnn_mnist_0_label7_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_11_label6_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_17_label7_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_1_label2_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_12_label6_adversarial_norm_inf_totalizer.wcnf	91	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_14_label9_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_32_label3_adversarial_norm_inf_totalizer.wcnf	2	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_3_label6_adversarial_norm_inf_totalizer.wcnf	87	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_5_label2_adversarial_norm_inf_totalizer.wcnf	3	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_back_image_9_label1_adversarial_norm_inf_totalizer.wcnf	44	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_rot_15_label8_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf	1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf	232	0.975 (238)	0.584 (398)	0.975 (238)	0.574 (405)	0.671 (346)	0.803 (289)	0.696 (334)	0.975 (238)	0.7 (332)	0.975 (238)
causal_Heart_10_212.wcnf	1453924	1 (1453924)	0.045 (32186270)	1 (1453924)	0.888 (1636808)	0.653 (2228090)	0.141 (10286630)	0.888 (1636808)	1 (1453924)	1 (1453924)	1 (1453924)
causal_Statlog_7_752.wcnf	380356	0.876 (434411)	0.809 (469890)	0.89 (427222)	0.383 (992626)	0.876 (434411)	1 (380356)	1 (380356)	1 (380356)	1 (380356)	1 (380356)
causal_insurance_9_100.wcnf	3211332	0.729 (4404542)	0.702 (4572333)	0.792 (4055248)	0.682 (4707228)	0.532 (6038292)	1 (3211332)	0.424 (7579319)	0.729 (4404542)	0.535 (6001492)	0.432 (7429306)
channel-500x100x100-b050.wcnf	26535515	0.614 (43217770)	0 (-)	0.579 (45842526)	0 (-)	0.641 (41367487)	0.468 (56684807)	0.856 (30990637)	0.614 (43217770)	0.57 (46590194)	0.57 (46590194)
comp05.wcnf	406	0.647 (628)	0.341 (1191)	0.754 (539)	0.513 (793)	0.481 (845)	0.425 (956)	0.388 (1049)	0.774 (525)	0.591 (688)	0.416 (978)
comp15.wcnf	67	0.819 (82)	0.15 (452)	0.907 (74)	0.12 (567)	0.907 (74)	0.907 (74)	0.84 (80)	0.907 (74)	0.701 (96)	0.861 (78)
dds4.wcnf	-1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
delaunay_n24.wcnf	229956181	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
dim.MANN_a81.clq.wcnf	1995	1 (1995)	0.904 (2206)	0.998 (1999)	1 (1995)	1 (1995)	0.971 (2054)	0.998 (1999)	1 (1995)	1 (1995)	1 (1995)
dim.brock800_3.clq.wcnf	1079	1 (1079)	0.863 (1250)	0.964 (1119)	1 (1079)	1 (1079)	0.86 (1255)	1 (1079)	1 (1079)	1 (1079)	1 (1079)
dim.hamming10-4.clq.wcnf	1683	1 (1683)	0.929 (1811)	0.984 (1710)	1 (1683)	1 (1683)	0.939 (1792)	0.998 (1686)	1 (1683)	0.996 (1689)	1 (1683)
dim.johnson8-4-4.clq.wcnf	4154	1 (4154)	0.754 (5511)	0.887 (4683)	1 (4154)	1 (4154)	0.895 (4643)	0.91 (4564)	1 (4154)	1 (4154)	1 (4154)
dim.san400_0.7_3.clq.wcnf	1201	1 (1201)	0.867 (1385)	1 (1201)	1 (1201)	1 (1201)	0.892 (1347)	1 (1201)	1 (1201)	0.999 (1202)	0.999 (1202)
dim.san400_0.9_1.clq.wcnf	1604	1 (1604)	0.907 (1768)	0.993 (1615)	1 (1604)	1 (1604)	0.923 (1737)	0.996 (1610)	1 (1604)	1 (1604)	1 (1604)
dir.1403.wcsp.dir.wcnf	459246	0.983 (467248)	0.891 (515264)	0.991 (463258)	0.918 (500262)	1 (459247)	0.975 (471258)	0.966 (475274)	0.983 (467257)	0.985 (466256)	0.989 (464255)
downcast-hsqldb.wcnf	30207	0 (-)	0 (-)	0 (-)	0 (-)	0.5 (60369)	0.438 (69002)	0.999 (30242)	0.998 (30267)	0.998 (30255)	0.998 (30262)
downcast-pmd.wcnf	4227	0 (-)	0 (-)	0 (-)	0 (-)	0.993 (4255)	0 (-)	0.995 (4250)	0.5 (8461)	0.168 (25204)	0.168 (25207)
hea.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_4.wcnf	39	0.328 (121)	0.183 (217)	0.202 (197)	0.168 (237)	0.31 (128)	0.412 (96)	0.18 (221)	0.323 (123)	0.333 (119)	0.339 (117)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	83	0.646 (129)	0.575 (145)	0.884 (94)	0.387 (216)	0.672 (124)	0.449 (186)	0.442 (189)	0.609 (137)	0.622 (134)	0.618 (135)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf	107	0.603 (178)	0.532 (202)	0.9 (119)	0.372 (289)	0.788 (136)	0.655 (164)	0.464 (232)	0.584 (184)	0.584 (184)	0.584 (184)
hea.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf	83	0.44 (190)	0.429 (195)	0.808 (103)	0.305 (274)	0.464 (180)	0.583 (143)	0.296 (283)	0.464 (180)	0.488 (171)	0.464 (180)
hugebubbles-00020.wcnf	521004590	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
inf-road-usa.wcnf	656533235	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
instance10.wcnf	5274	0.738 (7146)	0.216 (24449)	0.702 (7515)	0.295 (17861)	0.844 (6248)	0.925 (5704)	0.83 (6357)	0.84 (6280)	0.851 (6198)	0.925 (5699)
instance11.wcnf	3457	0.82 (4216)	0.076 (45646)	0.837 (4131)	0.208 (16587)	0.962 (3593)	0.873 (3961)	0.844 (4098)	0.901 (3837)	0.802 (4309)	0.805 (4296)
instance12.wcnf	4868	0.633 (7696)	0.068 (71952)	0.187 (26061)	0.186 (26186)	0.705 (6905)	0.332 (14649)	0.77 (6324)	0.398 (12235)	0.493 (9868)	0.449 (10834)
instance2.wcnf	828	0.998 (830)	0.864 (959)	0.968 (855)	0.87 (952)	0.987 (839)	0.967 (856)	0.988 (838)	0.975 (849)	0.989 (837)	0.987 (839)
instance3.wcnf	1002	0.989 (1013)	0.726 (1380)	0.967 (1036)	0.795 (1260)	0.95 (1055)	0.983 (1019)	0.959 (1045)	0.994 (1008)	0.95 (1055)	0.991 (1011)
instance4.wcnf	1726	0.996 (1733)	0.838 (2059)	0.872 (1980)	0.875 (1973)	1 (1726)	0.977 (1767)	0.959 (1799)	0.997 (1731)	0.993 (1738)	0.977 (1766)
instance5.wcnf	1196	0.918 (1303)	0.491 (2437)	0.905 (1321)	0.543 (2205)	0.972 (1230)	0.912 (1311)	0.971 (1232)	0.987 (1212)	0.932 (1284)	0.942 (1270)
instance6.wcnf	1992	0.88 (2263)	0.457 (4361)	0.928 (2147)	0.634 (3141)	0.939 (2122)	0.897 (2221)	0.895 (2227)	0.919 (2167)	0.893 (2231)	1 (1992)
instance7.wcnf	1086	0.961 (1130)	0.273 (3975)	0.814 (1334)	0.467 (2328)	0.898 (1210)	0.913 (1189)	0.896 (1212)	0.91 (1194)	0.842 (1290)	0.96 (1131)
instance8.wcnf	1524	0.564 (2702)	0.088 (17398)	0.665 (2293)	0.22 (6918)	0.751 (2029)	0.856 (1780)	0.732 (2081)	0.843 (1809)	0.575 (2652)	0.803 (1897)
instance9.wcnf	572	0.434 (1320)	0.043 (13176)	0.417 (1374)	0.053 (10810)	0.586 (976)	0.518 (1106)	0.657 (871)	0.554 (1034)	0.38 (1505)	0.356 (1609)
limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf	30028201	0.247 (121616195)	0 (-)	0.096 (311705269)	0 (-)	0.175 (171393631)	0.097 (310885386)	0.149 (201986444)	0.061 (491504165)	0.27 (111118952)	0.744 (40380129)
limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf	33006575	0.048 (689796446)	0 (-)	0 (-)	0 (-)	0 (-)	0.041 (808828931)	0.042 (788013331)	0.048 (689796446)	0.049 (668429750)	0.044 (743419649)
lisbon-wedding-1-17.wcnf	-1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
lisbon-wedding-1-19.wcnf	-1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
lisbon-wedding-10-18.wcnf	378	1 (378)	0.879 (430)	1 (378)	0.48 (789)	1 (378)	1 (378)	1 (378)	1 (378)	1 (378)	1 (378)
lisbon-wedding-10-19.wcnf	380	1 (380)	0.77 (494)	1 (380)	0.415 (916)	1 (380)	1 (380)	1 (380)	1 (380)	1 (380)	1 (380)
lisbon-wedding-3-18.wcnf	-1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
lisbon-wedding-5-19.wcnf	805	0.942 (855)	0.832 (968)	0.999 (806)	0 (-)	0.94 (856)	0.684 (1178)	0.753 (1069)	0.887 (908)	0.939 (857)	0.939 (857)
lisbon-wedding-7-19.wcnf	424	0.993 (427)	0.867 (489)	1 (424)	0 (-)	0.993 (427)	1 (424)	0.984 (431)	0.984 (431)	0.998 (425)	0.993 (427)
lisbon-wedding-8-18.wcnf	396	1 (396)	0.928 (427)	1 (396)	0 (-)	1 (396)	1 (396)	1 (396)	1 (396)	0.997 (397)	0.995 (398)
lisbon-wedding-8-19.wcnf	399	1 (399)	0.93 (429)	1 (399)	0 (-)	1 (399)	1 (399)	1 (399)	1 (399)	0.983 (406)	0.995 (401)
log.1401.wcsp.log.wcnf	459106	1 (459109)	0.905 (507109)	0.991 (463110)	0.913 (503111)	1 (459106)	0.968 (474114)	0.968 (474112)	1 (459106)	0.996 (461107)	0.994 (462106)
log.1405.wcsp.log.wcnf	459424	0.991 (463433)	0.905 (507457)	0.983 (467456)	0.905 (507461)	1 (459424)	0.958 (479457)	0.96 (478455)	1 (459437)	0.95 (483458)	0.996 (461434)
log.28.wcsp.log.wcnf	270105	1 (270105)	0.968 (279105)	1 (270105)	0.954 (283110)	1 (270105)	0.982 (275115)	0.989 (273110)	1 (270105)	1 (270105)	1 (270105)
mul.role_domino_multiple_0.8_5.wcnf	181758	0.885 (205404)	0.273 (665846)	0.979 (185595)	0.359 (506742)	0.976 (186216)	0.829 (219153)	0.815 (222930)	0.997 (182313)	1 (181758)	1 (181758)
mul.role_domino_multiple_1.0_4.wcnf	229869	1 (229869)	0.913 (251688)	0.975 (235797)	0 (-)	0.998 (230439)	0.319 (720829)	0 (-)	0.999 (230040)	0.998 (230268)	0.999 (230154)
mul.role_smallcomp_multiple_0.9_7.wcnf	456398	0.995 (458550)	1 (456398)	0.967 (471870)	0.964 (473510)	0.995 (458910)	0.955 (478118)	0.974 (468814)	0.993 (459686)	0.994 (459118)	0.991 (460614)
mul.role_university_multiple_0.1_0.wcnf	60675	0.985 (61568)	0.31 (195503)	0.918 (66124)	0.46 (131808)	1 (60675)	0.451 (134615)	0.498 (121849)	0.702 (86388)	0.677 (89632)	0.665 (91234)
pa-2.wcnf	143	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.071 (2031)	0.064 (2237)	0 (-)	0 (-)	0 (-)
pa-3.wcnf	192	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.085 (2282)	0 (-)	0 (-)	0 (-)
polysite-hsqldb.wcnf	172382	1 (172398)	0 (-)	0 (-)	0 (-)	1 (172398)	0.816 (211178)	0.999 (172475)	1 (172398)	0.999 (172560)	0.999 (172576)
polysite-pmd.wcnf	188398	1 (188412)	0 (-)	0 (-)	0 (-)	1 (188468)	1 (188417)	0.999 (188501)	1 (188429)	0.999 (188528)	0.999 (188512)
polysite-xalan.wcnf	114620	0.999 (114678)	0 (-)	0.982 (116717)	0 (-)	0.999 (114685)	0.389 (294624)	0.995 (115191)	0.999 (114730)	0.999 (114700)	1 (114658)
power-distribution_12_8.wcnf	216	1 (216)	1 (216)	0.982 (220)	0.034 (6323)	0.991 (218)	0.991 (218)	0.986 (219)	0.991 (218)	0.995 (217)	0.995 (217)
power-distribution_2_8.wcnf	10	1 (10)	1 (10)	1 (10)	0.688 (15)	1 (10)	1 (10)	0.917 (11)	1 (10)	1 (10)	1 (10)
pri.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf	189	0.59 (321)	0.541 (350)	0.96 (197)	0.457 (415)	0.551 (344)	0.601 (315)	0.433 (438)	0.625 (303)	0.59 (321)	0.578 (328)
pri.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_3.wcnf	100	0.737 (136)	0.669 (150)	0.802 (125)	0.58 (173)	0.678 (148)	0.716 (140)	0.5 (201)	0.765 (131)	0.711 (141)	0.697 (144)
r11.wcnf	48181889	0.935 (51534746)	0 (-)	0.8 (60247161)	0 (-)	0.964 (49995194)	0.885 (54462418)	0.74 (65098338)	0.933 (51640531)	0.853 (56500477)	0.827 (58269503)
rail2536.wcnf	689	0.72 (957)	0 (-)	0.491 (1405)	0.705 (978)	0.613 (1125)	0.457 (1510)	0.63 (1094)	0.617 (1118)	0.608 (1134)	0.608 (1134)
rail4284.wcnf	1280	0.861 (1486)	0 (-)	0.558 (2295)	0.814 (1572)	0.738 (1734)	0.56 (2288)	0.798 (1604)	0.744 (1721)	0.745 (1718)	0.745 (1718)
rail4872.wcnf	1784	0.758 (2355)	0 (-)	0.611 (2920)	0.828 (2155)	0.758 (2355)	0.8 (2229)	0.825 (2162)	0.79 (2259)	0.784 (2277)	0.782 (2282)
ram_k3_n14.ra1.wcnf	3025	1 (3025)	0.352 (8596)	0.695 (4352)	1 (3025)	1 (3025)	0.904 (3348)	0.732 (4134)	1 (3025)	1 (3025)	1 (3025)
ram_k3_n16.ra1.wcnf	7271	1 (7271)	0.447 (16274)	0.743 (9790)	1 (7271)	1 (7271)	0.923 (7874)	0.771 (9437)	1 (7271)	1 (7271)	1 (7271)
ram_k3_n17.ra1.wcnf	10372	1 (10372)	0.255 (40604)	0.681 (15231)	1 (10372)	1 (10372)	0.707 (14670)	0.735 (14108)	1 (10372)	1 (10372)	1 (10372)
ram_k4_n20.ra1.wcnf	3078	0.969 (3175)	0.177 (17443)	0.399 (7720)	0.582 (5285)	0.839 (3669)	0.493 (6243)	0.504 (6104)	0.924 (3333)	0.966 (3188)	1 (3078)
ran-scp.scpnrg3_weighted.wcnf	167	0.988 (169)	0.68 (246)	0.923 (181)	0.982 (170)	1 (167)	0.966 (173)	0.966 (173)	0.966 (173)	0.966 (173)	0.966 (173)
ran-scp.scpnrg4_weighted.wcnf	168	0.983 (171)	0.612 (275)	0.909 (185)	0.966 (174)	1 (168)	0.955 (176)	0.955 (176)	0.949 (177)	0.955 (176)	0.934 (180)
ran-scp.scpnrh5_weighted.wcnf	55	0.966 (57)	0.8 (69)	0.862 (64)	0.949 (58)	1 (55)	0.982 (56)	0.918 (60)	0.966 (57)	0.903 (61)	0.918 (60)
random-net-40-4_network-2.net.wcnf	36427	0.981 (37133)	1 (36427)	0.976 (37315)	0.69 (52824)	1 (36427)	0.938 (38833)	0.994 (36648)	0.991 (36774)	0.975 (37362)	0.977 (37294)
random-net-50-4_network-8.net.wcnf	43243	0.994 (43499)	0.898 (48156)	0.898 (48142)	0.678 (63758)	1 (43243)	0.908 (47644)	0.994 (43499)	0.994 (43499)	0.978 (44194)	0.966 (44763)
random-net-50-5_network-8.net.wcnf	46708	0.993 (47060)	0.962 (48552)	0.915 (51074)	0.612 (76335)	0.99 (47184)	0.959 (48719)	1 (46708)	0.986 (47380)	0.979 (47694)	0.964 (48440)
rgg_n_2_24_s0.wcnf	34467385	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
role_domino_0.05_15.wcnf	25082	1 (25082)	0.251 (99763)	0.81 (30956)	0.325 (77191)	0.999 (25106)	0.335 (74894)	0.273 (91784)	0.488 (51383)	0.478 (52494)	0.512 (48958)
role_domino_0.1_18.wcnf	42049	0.994 (42294)	0.386 (108806)	0.903 (46560)	0.394 (106748)	1 (42049)	0.472 (89077)	0.368 (114253)	0.751 (55996)	0.701 (59942)	0.683 (61553)
role_domino_0.1_3.wcnf	42464	0.904 (46970)	0.39 (108847)	0.948 (44806)	0.4 (106100)	0.982 (43263)	0.487 (87187)	0.419 (101424)	0.699 (60776)	0.708 (59976)	0.756 (56159)
role_domino_0.3_15.wcnf	101449	0.903 (112310)	0.367 (276378)	0.727 (139485)	0.458 (221547)	0.968 (104788)	0.678 (149555)	0.752 (134893)	0.894 (113496)	0.897 (113149)	0.915 (110913)
role_domino_0.6_2.wcnf	169308	0.991 (170925)	0.88 (192335)	0.97 (174477)	0.46 (367848)	0.997 (169796)	0.768 (220504)	0.944 (179427)	1 (169308)	0.994 (170246)	0.994 (170246)
role_domino_0.9_0.wcnf	199498	0.879 (226973)	0.848 (235247)	0.959 (208093)	0.348 (573187)	1 (199498)	0.754 (264685)	0.854 (233488)	0.961 (207561)	0.982 (203123)	0.97 (205673)
role_smallcomp_0.85_4.wcnf	369639	0.981 (376943)	0.999 (369899)	0.974 (379575)	0.965 (382943)	0.998 (370419)	1 (369639)	1 (369639)	0.991 (373027)	0.995 (371463)	0.995 (371463)
role_university_0.15_8.wcnf	98246	0.972 (101117)	0.313 (313491)	0.859 (114390)	0.463 (212123)	1 (98246)	0.516 (190394)	0.441 (222886)	0.577 (170141)	0.56 (175465)	0.545 (180431)
role_university_0.25_3.wcnf	142304	0.966 (147353)	0.429 (331576)	0.877 (162209)	0.533 (267118)	0.964 (147623)	0.666 (213760)	0 (-)	0.726 (195958)	0.731 (194566)	0.716 (198837)
role_university_0.25_8.wcnf	139179	0.969 (143565)	0.403 (345007)	0.876 (158850)	0.509 (273378)	0.943 (147591)	0.622 (223862)	0.607 (229105)	0.738 (188705)	0.704 (197658)	0.726 (191683)
role_university_0.5_3.wcnf	207903	0.978 (212473)	0.472 (440113)	0.919 (226285)	0.495 (419711)	0.95 (218801)	0.867 (239718)	0 (-)	0.964 (215659)	0.995 (208993)	0.991 (209826)
role_university_0.75_7.wcnf	212493	0.953 (222989)	0.364 (583906)	0.954 (222683)	0.364 (584288)	0.903 (235203)	0.87 (244277)	0 (-)	1 (212493)	0.994 (213822)	0.987 (215382)
role_university_1.0_2.wcnf	207160	0.998 (207589)	0.388 (533926)	0.994 (208348)	0.651 (318249)	0.999 (207314)	0.997 (207743)	0 (-)	0.995 (208150)	1 (207160)	0.999 (207325)
sc-rel9.wcnf	11255538	0.551 (20420481)	0 (-)	0.672 (16746750)	0 (-)	0.551 (20420481)	0.562 (20030162)	0.7 (16084054)	0.551 (20420481)	0 (-)	0.535 (21046344)
simNo_1-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf	600282750277737	0.964 (622515444732468)	0.016 (3.73353346129386E+016)	0.965 (621786652217375)	0.052 (1.143655432043E+016)	0.988 (607693648429314)	0.986 (608517081557267)	0.99 (606046782173408)	0.974 (616022620321704)	0.945 (635292824409633)	0.939 (639599271275118)
simNo_2-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	877214109995358	0.059 (1.48347454281213E+016)	0.07 (1.25947795514869E+016)	0.761 (1152245305263187)	0.131 (6708423542671349)	1 (877214109995358)	0.077 (1.13341231397464E+016)	0.057 (1.52592379481182E+016)	0.065 (1.35268752521204E+016)	0.069 (1.27328973854689E+016)	0.087 (1.00343472779448E+016)
simNo_7-s_5-m_100-n_100-fp_0.0001-fn_0.20.wcnf	311429490634944	0.224 (1389866820478290)	0.242 (1286858506046949)	0.996 (312756604941627)	0.19 (1635318737160273)	0.996 (312756604941627)	0.999 (311871862070505)	0.997 (312314233506066)	0.987 (315410833554993)	0.981 (317622690732798)	0.974 (319834547910603)
simNo_9-s_5-m_300-n_300-fp_0.0001-fn_0.20.wcnf	1440148752519381	0.489 (2947328499716568)	0 (-)	0 (-)	0 (-)	0.759 (1898358545571417)	0.657 (2190668917167648)	0.578 (2493205410821796)	0.489 (2946886128281007)	0.33 (4366413360129708)	0.33 (4366413360129708)
soc-livejournal-user-groups.wcnf	86146884	0 (-)	0 (-)	0 (-)	0 (-)	0.644 (133794133)	0.438 (196711328)	0.565 (152355563)	0 (-)	0 (-)	0 (-)
socfb-uci-uni.wcnf	-1	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
tcp_students_112_it_5.wcnf	3366	1 (3366)	0.957 (3516)	0.978 (3441)	0.827 (4068)	1 (3366)	1 (3366)	0.989 (3405)	1 (3366)	1 (3366)	1 (3366)
test4.wcnf	176	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.448 (394)	0.395 (447)	0 (-)	0.797 (221)	0.812 (217)
tic.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf	496	0.82 (605)	0.634 (783)	0.799 (621)	0.561 (885)	0.861 (576)	0.866 (573)	0.694 (715)	0.667 (744)	0.705 (704)	0.78 (636)
vio.role_domino_violations_0.15_9.wcnf	56981	0.891 (63980)	0.485 (117560)	0.736 (77430)	0.448 (127158)	1 (56981)	0.518 (109943)	0.459 (124024)	0.813 (70061)	0.787 (72418)	0.811 (70278)
vio.role_domino_violations_0.25_14.wcnf	85414	0.95 (89882)	0.351 (243372)	0.589 (144935)	0.467 (183054)	1 (85414)	0.673 (126843)	0.644 (132619)	0.857 (99694)	0.839 (101766)	0.853 (100097)
vio.role_domino_violations_0.25_3.wcnf	86233	0.932 (92508)	0.351 (245548)	0.942 (91506)	0.461 (186937)	1 (86233)	0.71 (121529)	0.674 (127924)	0.863 (99874)	0.878 (98242)	0.876 (98391)
vio.role_domino_violations_0.75_2.wcnf	186842	0.928 (201285)	0.86 (217329)	0.95 (196719)	0.41 (455401)	0.997 (187400)	0.903 (206936)	0.911 (205157)	0.998 (187302)	1 (186842)	1 (186842)
vio.role_domino_violations_0.7_16.wcnf	183193	0.929 (197153)	0.871 (210346)	0.994 (184356)	0.448 (408809)	1 (183193)	0.827 (221477)	0.94 (194925)	0.998 (183550)	0.996 (183891)	0.996 (183891)
vio.role_domino_violations_0.7_3.wcnf	181223	0.95 (190776)	0.862 (210346)	0.978 (185281)	0.443 (409245)	0.989 (183244)	0.913 (198515)	0.937 (193441)	1 (181223)	0.991 (182955)	0.991 (182955)
vio.role_firewall_violations_1_0.95_0.wcnf	855263	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
vio.role_university_violations_0.2_7.wcnf	120955	0.984 (122884)	0.478 (252915)	0.911 (132826)	0.508 (238217)	1 (120955)	0.553 (218654)	0 (-)	0.63 (192141)	0.599 (202026)	0.685 (176457)
wcn.adult_train_3_DNF_1_5.wcnf	24254	0.995 (24364)	0.604 (40178)	0.708 (34239)	0.99 (24493)	1 (24254)	0.688 (35239)	0.688 (35232)	0.958 (25316)	0.995 (24374)	0.995 (24374)
wcn.heart_train_2_CNF_5_10.wcnf	240	0.992 (242)	0.459 (524)	0.923 (260)	0.927 (259)	0.992 (242)	0.927 (259)	0.927 (259)	0.988 (243)	0.984 (244)	0.938 (256)
wcn.heart_train_6_DNF_5_5.wcnf	121	0.91 (133)	0.589 (206)	1 (121)	0.847 (143)	0.992 (122)	0.853 (142)	0.91 (133)	0.938 (129)	0.976 (124)	0.917 (132)
wcn.titanic_train_7_CNF_5_15.wcnf	3262	0.968 (3369)	0.493 (6618)	0.998 (3268)	0.958 (3404)	0.966 (3378)	0.975 (3344)	0.989 (3298)	0.961 (3394)	0.938 (3476)	0.958 (3405)
wcn.titanic_train_8_CNF_5_10.wcnf	2201	0.99 (2223)	0.575 (3826)	0.996 (2210)	0.963 (2286)	0.982 (2241)	0.998 (2205)	0.994 (2215)	0.998 (2205)	0.948 (2323)	0.936 (2352)
web-wikipedia2009.wcnf	26809801	0.632 (42433032)	0.327 (81953704)	0.979 (27392363)	0.99 (27075405)	0.747 (35866947)	0.657 (40828692)	0.815 (32881256)	0.632 (42433383)	0.612 (43795175)	0.612 (43795045)
wei.MultiDay_2_weighted.wcnf	464813	1 (464990)	0.667 (696686)	0.912 (509465)	1 (464952)	0.875 (531365)	0.868 (535674)	0.931 (499201)	0.867 (536363)	0.852 (545361)	0.852 (545358)
wei.MultiDay_3_weighted.wcnf	1057087	0.865 (1222012)	0.688 (1537402)	0 (-)	0.999 (1057785)	0.873 (1211072)	0.794 (1330634)	0.931 (1135964)	0.865 (1221863)	0.854 (1238192)	0.854 (1238195)
wei.MultiDay_4_weighted.wcnf	2021936	0.876 (2308763)	0.714 (2830431)	0 (-)	1 (2022714)	0.886 (2281735)	0.916 (2207195)	0.932 (2168802)	0.876 (2308698)	0.867 (2330862)	0.867 (2333227)
wei.SingleDay_15_weighted.wcnf	3638476	1 (3638476)	0.806 (4514342)	0.957 (3800042)	0.954 (3812427)	0.998 (3646308)	0.953 (3816456)	0.966 (3766785)	0.996 (3654568)	0.996 (3653802)	0.996 (3653802)
wei.SingleDay_37_weighted.wcnf	44432889	0.985 (45092139)	0.911 (48797538)	0.977 (45472693)	0.972 (45691739)	0.99 (44882652)	0.989 (44915792)	0.995 (44677427)	0.986 (45053577)	0.984 (45169522)	0.983 (45204288)
wg2.wcnf	78	0.681 (115)	0.059 (1345)	0.767 (102)	0 (-)	0.76 (103)	0.782 (100)	0.632 (124)	0.454 (173)	0.31 (254)	0.387 (203)