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.000 (39)	0.635 (62)	1.000 (39)	0.211 (189)	0.952 (40)	1.000 (39)	0.851 (46)	1.000 (39)	0.952 (41)	0.952 (41)
BrazilInstance2.xml.wcnf	5	0.857 (6)	0.045 (133)	1.000 (5)	0.019 (315)	0.857 (5)	1.000 (5)	1.000 (5)	0.857 (6)	0.857 (6)	0.857 (6)
BrazilInstance4.xml.wcnf	55	0.615 (90)	0.209 (267)	1.000 (55)	0.000 (-)	0.667 (89)	0.441 (126)	0.400 (139)	0.659 (84)	0.667 (83)	0.589 (94)
BrazilInstance5.xml.wcnf	20	0.538 (38)	0.078 (267)	1.000 (20)	0.000 (-)	0.538 (30)	0.328 (63)	0.292 (71)	0.538 (38)	0.538 (38)	0.525 (39)
BrazilInstance6.xml.wcnf	54	0.632 (86)	0.165 (332)	1.000 (54)	0.000 (-)	0.598 (86)	0.534 (102)	0.399 (137)	0.671 (81)	0.598 (91)	0.696 (78)
BrazilInstance7.xml.wcnf	96	0.602 (160)	0.256 (378)	1.000 (96)	0.000 (-)	0.683 (159)	0.630 (153)	0.485 (199)	0.630 (153)	0.683 (141)	0.642 (150)
FinlandSecondarySchool.xml.wcnf	108	0.852 (127)	0.177 (616)	0.411 (264)	0.000 (-)	0.965 (196)	0.218 (499)	0.177 (614)	0.956 (113)	0.965 (112)	0.641 (169)
ItalyInstance4.xml.wcnf	35	0.480 (74)	0.002 (21157)	0.643 (55)	0.000 (-)	0.563 (69)	0.117 (306)	0.084 (426)	0.600 (59)	0.563 (63)	0.581 (61)
MinWidthCB_mitdbsample_200_64_1k_10s_2t_12.wcnf	58625	0.996 (58840)	0.800 (73260)	0.987 (59420)	0.746 (78615)	0.996 (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.938 (58215)	0.674 (81010)	0.999 (55490)	0.984 (55485)	0.984 (55490)	1.000 (54585)	0.999 (54660)	0.996 (54810)
MinWidthCB_mitdbsample_300_26_1k_3s_2t_5.wcnf	30100	0.982 (30660)	0.951 (31665)	1.000 (30105)	0.881 (34150)	0.983 (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.000 (31195)	0.968 (32210)	0.993 (31410)	0.868 (35930)	0.975 (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.000 (79270)	0.976 (81215)	0.941 (84235)	0.928 (85435)	0.981 (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.000 (75240)	0.952 (79030)	0.916 (82110)	0.870 (86445)	0.986 (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.943 (80571)	0.939 (80888)	1.000 (75967)	0.736 (103203)	0.967 (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.990 (83123)	0.974 (84459)	0.998 (82439)	0.881 (93358)	0.946 (84705)	0.934 (88081)	0.921 (89347)	0.960 (85687)	0.946 (87018)	0.981 (83876)
Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf	275431681	0.994 (277221178)	0.975 (282584680)	0.998 (275928907)	0.927 (297129404)	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.996 (331640504)	0.959 (344501962)	1.000 (330364683)	0.850 (388679857)	0.995 (333617364)	0.995 (331916064)	0.988 (334439348)	0.987 (334744766)	0.995 (332090490)	0.981 (336813502)
Rounded_BTWBNSL_Voting_TWBound_4.wcnf	464263033	1.000 (464263033)	0.990 (468898814)	0.992 (467845142)	0.939 (494549362)	1.000 (464263033)	1.000 (464263033)	1.000 (464263033)	1.000 (464263033)	1.000 (464263033)	1.000 (464263033)
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf	1326306453	0.998 (1329043665)	0.999 (1327972688)	0.997 (1329714487)	0.867 (1529295259)	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.992 (35481836267)	0.997 (35289288406)	0.943 (37337544543)	0.995 (35433559410)	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.994 (50238452262)	0.876 (57025869311)	0.991 (50395135412)	0.769 (64891245320)	1.000 (50180781368)	1.000 (49933914284)	1.000 (49934455465)	1.000 (49933914284)	1.000 (49932025014)	1.000 (49927755584)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf	1389279780	0.986 (1409088670)	0.944 (1472108565)	0.993 (1398494987)	0.767 (1811592704)	0.981 (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.944 (1471366927)	0.995 (1395948133)	0.788 (1762273584)	0.973 (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.953 (1457362416)	0.997 (1393377671)	0.778 (1786053623)	0.975 (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.981 (174046128)	0.999 (170861357)	0.895 (190700459)	0.983 (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.988 (17631609)	0.074 (235478277)	1.000 (17428696)	0.563 (30981952)	0.945 (17536150)	0.955 (18256047)	0.945 (18435419)	0.997 (17488525)	0.945 (18435419)	0.945 (18435419)
Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf	4604640	0.996 (4623582)	0.053 (86221158)	1.000 (4606406)	0.968 (4758814)	0.990 (4938464)	0.971 (4740812)	0.943 (4884817)	0.996 (4621352)	0.990 (4649006)	0.993 (4637847)
Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf	7196920	0.987 (7289727)	0.037 (194984996)	0.993 (7249986)	0.918 (7841767)	0.937 (7628348)	0.981 (7333303)	0.914 (7872234)	0.919 (7828297)	0.937 (7680309)	0.910 (7904508)
Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf	36725121	0.981 (37419817)	0.575 (63863873)	0.957 (38364380)	0.409 (89688061)	0.962 (38505739)	0.930 (39482257)	0.932 (39387164)	0.979 (37525191)	0.962 (38184749)	0.985 (37268128)
Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf	39856439	0.957 (41635082)	0.573 (69548929)	0.955 (41749750)	0.372 (107166088)	0.953 (42212748)	0.927 (42973077)	0.906 (43967505)	0.977 (40790951)	0.953 (41813362)	0.965 (41315358)
Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf	5567863	0.818 (6803599)	0.408 (13650532)	0.962 (5789708)	0.180 (31006245)	0.808 (6636354)	0.773 (7200814)	0.881 (6321203)	0.763 (7302049)	0.808 (6892610)	0.801 (6954270)
Rounded_CorrelationClustering_Protein4_UNARY_N250.wcnf	7581560	0.811 (9351133)	0.459 (16522656)	0.901 (8411919)	0.192 (39567507)	0.819 (8550253)	0.844 (8983192)	0.731 (10369208)	0.747 (10151580)	0.819 (9256526)	0.849 (8929802)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf	22	0.852 (26)	0.418 (54)	0.793 (28)	0.000 (-)	0.697 (28)	0.742 (30)	0.590 (38)	0.657 (34)	0.697 (32)	0.697 (32)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf	74	0.882 (84)	0.630 (118)	0.862 (86)	0.000 (-)	0.904 (86)	0.904 (82)	0.904 (82)	0.824 (90)	0.904 (82)	0.904 (82)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf	89	0.826 (108)	0.520 (172)	1.000 (89)	0.000 (-)	0.796 (108)	0.769 (116)	0.826 (108)	0.769 (116)	0.796 (112)	0.783 (114)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf	2	0.200 (14)	0.086 (34)	0.231 (12)	0.000 (-)	0.158 (4)	0.333 (8)	0.600 (4)	0.231 (12)	0.158 (18)	0.600 (4)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf	6	0.636 (10)	0.152 (45)	1.000 (6)	0.000 (-)	1.000 (12)	0.778 (8)	1.000 (6)	0.538 (12)	1.000 (6)	1.000 (6)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf	10	0.379 (28)	0.244 (44)	1.000 (10)	0.000 (-)	0.733 (24)	0.524 (20)	0.407 (26)	0.440 (24)	0.733 (14)	0.379 (28)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf	16	0.630 (26)	0.250 (67)	1.000 (16)	0.000 (-)	0.810 (24)	0.810 (20)	0.630 (26)	0.739 (22)	0.810 (20)	0.586 (28)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf	16	0.486 (34)	0.321 (52)	0.586 (28)	0.000 (-)	1.000 (28)	0.739 (22)	0.515 (32)	0.586 (28)	1.000 (16)	0.548 (30)
af-synthesis_stb_50_100_3.wcnf	104	1.000 (104)	0.784 (133)	1.000 (104)	0.677 (154)	1.000 (105)	1.000 (104)	0.946 (110)	1.000 (104)	1.000 (104)	0.991 (105)
af-synthesis_stb_50_120_3.wcnf	100	1.000 (100)	0.910 (110)	1.000 (100)	0.647 (155)	1.000 (100)	1.000 (100)	0.918 (109)	1.000 (100)	1.000 (100)	0.990 (101)
af-synthesis_stb_50_140_1.wcnf	127	1.000 (127)	0.871 (146)	1.000 (127)	0.800 (159)	1.000 (127)	1.000 (127)	0.921 (138)	1.000 (127)	1.000 (127)	1.000 (127)
af-synthesis_stb_50_140_8.wcnf	113	1.000 (113)	0.844 (134)	1.000 (113)	0.671 (169)	1.000 (113)	1.000 (113)	0.991 (114)	1.000 (113)	1.000 (113)	1.000 (113)
af-synthesis_stb_50_160_5.wcnf	113	1.000 (113)	0.870 (130)	1.000 (113)	0.663 (171)	1.000 (113)	1.000 (113)	0.919 (123)	1.000 (113)	1.000 (113)	1.000 (113)
af-synthesis_stb_50_180_1.wcnf	130	1.000 (130)	0.879 (148)	0.992 (131)	0.682 (191)	0.992 (130)	0.992 (131)	0.879 (148)	1.000 (130)	0.992 (131)	0.992 (131)
af-synthesis_stb_50_200_4.wcnf	105	1.000 (105)	0.848 (124)	1.000 (105)	0.675 (156)	1.000 (105)	1.000 (105)	0.891 (118)	1.000 (105)	1.000 (105)	0.991 (106)
af-synthesis_stb_50_200_5.wcnf	102	1.000 (102)	0.912 (112)	1.000 (102)	0.648 (158)	1.000 (102)	1.000 (102)	0.920 (111)	1.000 (102)	1.000 (102)	1.000 (102)
af-synthesis_stb_50_200_6.wcnf	111	1.000 (111)	0.830 (134)	1.000 (111)	0.602 (185)	1.000 (111)	1.000 (111)	0.982 (113)	1.000 (111)	1.000 (111)	1.000 (111)
af-synthesis_stb_50_20_8.wcnf	120	1.000 (120)	0.931 (129)	1.000 (120)	0.812 (148)	1.000 (120)	1.000 (120)	0.953 (126)	1.000 (120)	1.000 (120)	1.000 (120)
af-synthesis_stb_50_40_8.wcnf	117	1.000 (117)	0.887 (132)	1.000 (117)	0.756 (155)	0.983 (117)	1.000 (117)	0.944 (124)	1.000 (117)	0.983 (119)	0.983 (119)
af-synthesis_stb_50_60_3.wcnf	115	1.000 (115)	0.795 (145)	1.000 (115)	0.690 (167)	1.000 (115)	1.000 (115)	0.913 (126)	1.000 (115)	1.000 (115)	1.000 (115)
af-synthesis_stb_50_80_7.wcnf	115	1.000 (115)	0.885 (130)	1.000 (115)	0.866 (133)	1.000 (115)	1.000 (115)	0.892 (129)	1.000 (115)	1.000 (115)	1.000 (115)
af-synthesis_stb_50_80_8.wcnf	116	1.000 (116)	0.860 (135)	1.000 (116)	0.654 (178)	1.000 (116)	1.000 (116)	0.921 (126)	1.000 (116)	1.000 (116)	1.000 (116)
ann.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf	161	0.750 (215)	0.835 (193)	1.000 (161)	0.753 (214)	0.839 (214)	0.656 (246)	0.651 (248)	0.775 (208)	0.839 (192)	0.757 (213)
ann.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	314	0.873 (360)	0.847 (371)	1.000 (314)	0.873 (360)	0.895 (360)	0.778 (404)	0.553 (569)	0.905 (347)	0.895 (351)	0.897 (350)
ann.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf	255	0.645 (396)	0.663 (385)	1.000 (255)	0.574 (445)	0.645 (396)	0.508 (503)	0.345 (741)	0.645 (396)	0.645 (396)	0.645 (396)
aus.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf	207	0.682 (304)	0.698 (297)	1.000 (207)	0.630 (329)	0.756 (291)	0.675 (307)	0.457 (454)	0.762 (272)	0.756 (274)	0.754 (275)
aus.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf	307	0.875 (351)	0.880 (349)	1.000 (307)	0.723 (425)	0.870 (358)	0.665 (462)	0.665 (462)	0.877 (350)	0.870 (353)	0.875 (351)
aus.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	319	0.767 (416)	0.764 (418)	1.000 (319)	0.495 (646)	0.816 (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.823 (344)	0.578 (490)	1.000 (283)	0.384 (739)	0.599 (500)	0.840 (337)	0.555 (511)	0.574 (494)	0.599 (473)	0.689 (411)
aus.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf	288	0.660 (437)	0.606 (476)	1.000 (288)	0.447 (645)	0.607 (456)	0.850 (339)	0.495 (583)	0.660 (437)	0.607 (475)	0.743 (388)
bf2030fvslack.wcnf	245250	0.998 (245735)	0.627 (390991)	0.948 (258837)	0.000 (-)	0.991 (245735)	1.000 (245250)	0.998 (245735)	0.998 (245735)	0.991 (247442)	0.993 (247103)
bn-human-BNU_1_0025865_session_1-bg.wcnf	119321020	0.997 (119674475)	0.000 (-)	0.999 (119477048)	1.000 (119327020)	0.997 (119693481)	0.998 (119577387)	0.000 (-)	0.997 (119658764)	0.997 (119705799)	0.997 (119711022)
bnn_mnist_0_label7_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (13)	0.020 (99)	0.154 (12)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_11_label6_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (18)	1.000 (1)	0.111 (17)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_17_label7_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (22)	0.095 (20)	0.250 (7)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_1_label2_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (1)	0.013 (157)	0.013 (157)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_12_label6_adversarial_norm_inf_totalizer.wcnf	91	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (91)	0.929 (98)	0.639 (143)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_14_label9_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (1)	1.000 (1)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_32_label3_adversarial_norm_inf_totalizer.wcnf	2	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (53)	0.061 (48)	0.041 (73)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_3_label6_adversarial_norm_inf_totalizer.wcnf	87	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (87)	0.652 (134)	0.880 (99)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_5_label2_adversarial_norm_inf_totalizer.wcnf	3	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (45)	0.066 (60)	0.098 (40)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_back_image_9_label1_adversarial_norm_inf_totalizer.wcnf	44	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (129)	1.000 (44)	0.789 (56)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_rot_15_label8_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (1)	1.000 (1)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf	1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (51)	0.024 (82)	0.500 (3)	0.000 (-)	0.000 (-)	0.000 (-)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf	232	1.000 (232)	0.584 (398)	1.000 (232)	0.546 (426)	0.975 (232)	1.000 (232)	0.696 (334)	0.996 (233)	0.975 (238)	0.975 (238)
causal_Heart_10_212.wcnf	1453924	1.000 (1453924)	1.000 (1453924)	1.000 (1453924)	0.085 (17093515)	1.000 (1453924)	1.000 (1453924)	0.888 (1636808)	1.000 (1453924)	1.000 (1453924)	1.000 (1453924)
causal_Statlog_7_752.wcnf	380356	0.876 (434411)	0.809 (469890)	1.000 (380356)	0.396 (960847)	1.000 (434411)	1.000 (380356)	1.000 (380356)	1.000 (380356)	1.000 (380356)	1.000 (380356)
causal_insurance_9_100.wcnf	3211332	0.729 (4404542)	0.760 (4228190)	0.913 (3515574)	0.511 (6283421)	0.729 (4404542)	1.000 (3211332)	0.729 (4404542)	0.729 (4404542)	0.729 (4404542)	0.729 (4404542)
channel-500x100x100-b050.wcnf	26535515	0.614 (43215484)	0.484 (54794526)	0.600 (44202891)	1.000 (26535515)	0.579 (41367487)	0.539 (49213085)	0.856 (30990637)	0.614 (43216094)	0.579 (45834495)	0.579 (45834732)
comp05.wcnf	406	0.764 (532)	0.341 (1191)	0.900 (451)	0.554 (734)	0.591 (845)	0.425 (956)	0.388 (1047)	0.774 (525)	0.591 (688)	0.416 (978)
comp15.wcnf	67	0.932 (72)	0.158 (429)	1.000 (67)	0.219 (309)	0.840 (72)	0.932 (72)	0.907 (74)	0.907 (74)	0.840 (80)	0.861 (78)
dds4.wcnf	-1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
delaunay_n24.wcnf	229956181	0.678 (339099915)	0.000 (-)	0.657 (349843261)	0.638 (360621916)	0.657 (339099915)	0.000 (-)	1.000 (229956181)	0.678 (339096699)	0.657 (349782393)	0.657 (349782393)
dim.MANN_a81.clq.wcnf	1995	1.000 (1995)	0.909 (2194)	0.998 (1999)	1.000 (1995)	1.000 (1995)	0.971 (2054)	0.998 (1999)	1.000 (1995)	1.000 (1995)	1.000 (1995)
dim.brock800_3.clq.wcnf	1079	1.000 (1079)	0.887 (1216)	0.971 (1111)	1.000 (1079)	1.000 (1079)	0.860 (1255)	1.000 (1079)	1.000 (1079)	1.000 (1079)	1.000 (1079)
dim.hamming10-4.clq.wcnf	1683	1.000 (1683)	0.929 (1811)	0.984 (1710)	1.000 (1683)	0.996 (1683)	0.939 (1792)	0.998 (1686)	1.000 (1683)	0.996 (1689)	1.000 (1683)
dim.johnson8-4-4.clq.wcnf	4154	1.000 (4154)	0.878 (4731)	0.928 (4476)	1.000 (4154)	1.000 (4154)	0.895 (4643)	0.927 (4482)	1.000 (4154)	1.000 (4154)	1.000 (4154)
dim.san400_0.7_3.clq.wcnf	1201	1.000 (1201)	0.904 (1329)	1.000 (1201)	1.000 (1201)	0.999 (1201)	0.892 (1347)	1.000 (1201)	1.000 (1201)	0.999 (1202)	0.999 (1202)
dim.san400_0.9_1.clq.wcnf	1604	1.000 (1604)	0.948 (1692)	0.993 (1615)	1.000 (1604)	1.000 (1604)	0.923 (1737)	0.996 (1611)	1.000 (1604)	1.000 (1604)	1.000 (1604)
dir.1403.wcsp.dir.wcnf	459246	0.989 (464273)	0.893 (514272)	0.991 (463258)	0.924 (497259)	0.985 (459247)	0.975 (471258)	0.966 (475274)	0.983 (467257)	0.985 (466256)	0.989 (464255)
downcast-hsqldb.wcnf	30207	1.000 (30210)	0.425 (71048)	0.959 (31500)	0.053 (573516)	0.998 (30209)	1.000 (30207)	1.000 (30207)	1.000 (30214)	0.998 (30255)	1.000 (30210)
downcast-pmd.wcnf	4227	0.997 (4240)	0.096 (43925)	0.676 (6254)	0.037 (113218)	0.999 (4231)	1.000 (4228)	0.999 (4230)	0.500 (8461)	0.999 (4232)	0.990 (4269)
hea.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_4.wcnf	39	0.328 (121)	0.308 (129)	0.667 (59)	0.255 (156)	0.333 (128)	1.000 (39)	0.180 (221)	0.325 (122)	0.333 (119)	0.339 (117)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf	83	0.613 (136)	0.604 (138)	1.000 (83)	0.457 (183)	0.622 (141)	0.651 (128)	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.587 (183)	1.000 (107)	0.527 (204)	0.584 (159)	0.655 (164)	0.464 (232)	0.794 (135)	0.584 (184)	0.584 (184)
hea.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf	83	0.440 (190)	0.442 (189)	1.000 (83)	0.313 (267)	0.730 (180)	0.583 (143)	0.339 (247)	0.464 (180)	0.730 (114)	0.464 (180)
hugebubbles-00020.wcnf	521004590	0.742 (701786011)	0.000 (-)	0.696 (748252038)	0.707 (737099631)	0.724 (701786011)	0.835 (623849016)	1.000 (521004590)	0.742 (701786011)	0.724 (719768956)	0.724 (719768956)
inf-road-usa.wcnf	656533235	0.738 (889759383)	0.000 (-)	0.731 (897856327)	0.701 (936723803)	0.719 (889759383)	0.000 (-)	1.000 (656533235)	0.738 (889759383)	0.719 (913076373)	0.719 (913076373)
instance10.wcnf	5274	0.973 (5420)	0.235 (22485)	0.921 (5727)	0.654 (8063)	0.957 (5561)	0.973 (5421)	0.886 (5955)	0.882 (5980)	0.957 (5512)	0.975 (5412)
instance11.wcnf	3457	0.909 (3802)	0.088 (39478)	0.879 (3935)	0.733 (4718)	0.956 (3593)	0.913 (3785)	0.844 (4098)	0.921 (3752)	0.956 (3617)	0.920 (3757)
instance12.wcnf	4868	0.958 (5079)	0.080 (61145)	0.737 (6607)	0.190 (25667)	1.000 (6905)	0.784 (6208)	0.898 (5419)	0.990 (4916)	1.000 (4868)	0.847 (5745)
instance2.wcnf	828	1.000 (828)	0.866 (956)	0.996 (831)	0.874 (948)	0.993 (828)	1.000 (828)	0.999 (829)	1.000 (828)	0.993 (834)	0.987 (839)
instance3.wcnf	1002	0.989 (1013)	0.812 (1234)	0.967 (1036)	0.805 (1245)	0.950 (1055)	0.983 (1019)	0.959 (1045)	0.994 (1008)	0.950 (1055)	0.991 (1011)
instance4.wcnf	1726	0.996 (1733)	0.918 (1881)	0.872 (1980)	0.919 (1879)	0.993 (1726)	0.977 (1767)	0.959 (1799)	0.997 (1731)	0.993 (1738)	0.977 (1766)
instance5.wcnf	1196	0.918 (1303)	0.618 (1936)	0.986 (1213)	0.588 (2034)	1.000 (1230)	0.972 (1230)	0.971 (1232)	0.987 (1212)	1.000 (1196)	0.942 (1270)
instance6.wcnf	1992	0.970 (2054)	0.616 (3233)	0.928 (2147)	0.731 (2726)	0.984 (2122)	0.897 (2221)	0.895 (2227)	0.918 (2169)	0.984 (2024)	1.000 (1992)
instance7.wcnf	1086	0.961 (1130)	0.396 (2743)	0.814 (1334)	0.493 (2203)	0.980 (1126)	0.913 (1189)	0.896 (1212)	0.949 (1145)	0.980 (1108)	0.974 (1115)
instance8.wcnf	1524	0.905 (1685)	0.166 (9180)	0.855 (1782)	0.238 (6395)	0.763 (1579)	0.909 (1676)	0.859 (1775)	0.935 (1630)	0.763 (1999)	0.888 (1717)
instance9.wcnf	572	0.983 (582)	0.048 (11836)	0.739 (774)	0.160 (3580)	1.000 (688)	0.807 (709)	0.742 (771)	0.768 (745)	1.000 (572)	0.822 (696)
limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf	30028201	1.000 (30028201)	0.998 (30094517)	1.000 (30029155)	0.000 (-)	1.000 (30028201)	1.000 (30028201)	1.000 (30028221)	1.000 (30028201)	1.000 (30028201)	1.000 (30028201)
limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf	33006575	0.752 (43909669)	0.054 (614033853)	0.595 (55445932)	0.000 (-)	0.509 (33006773)	0.068 (485511927)	0.216 (152845508)	0.605 (54601317)	0.509 (64825323)	0.741 (44552818)
lisbon-wedding-1-17.wcnf	-1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
lisbon-wedding-1-19.wcnf	-1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
lisbon-wedding-10-18.wcnf	378	1.000 (378)	0.927 (408)	1.000 (378)	0.000 (-)	1.000 (378)	1.000 (378)	1.000 (378)	1.000 (378)	1.000 (378)	1.000 (378)
lisbon-wedding-10-19.wcnf	380	1.000 (380)	0.834 (456)	1.000 (380)	0.000 (-)	1.000 (380)	1.000 (380)	1.000 (380)	1.000 (380)	1.000 (380)	1.000 (380)
lisbon-wedding-3-18.wcnf	-1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
lisbon-wedding-5-19.wcnf	805	1.000 (805)	0.985 (817)	0.999 (806)	0.000 (-)	0.995 (805)	0.984 (818)	0.983 (819)	1.000 (805)	0.995 (809)	1.000 (805)
lisbon-wedding-7-19.wcnf	424	1.000 (424)	0.908 (467)	1.000 (424)	0.000 (-)	0.998 (424)	1.000 (424)	1.000 (424)	1.000 (424)	0.998 (425)	0.993 (427)
lisbon-wedding-8-18.wcnf	396	1.000 (396)	0.934 (424)	1.000 (396)	0.000 (-)	1.000 (396)	1.000 (396)	1.000 (396)	1.000 (396)	1.000 (396)	1.000 (396)
lisbon-wedding-8-19.wcnf	399	1.000 (399)	0.939 (425)	1.000 (399)	0.000 (-)	1.000 (399)	1.000 (399)	1.000 (399)	1.000 (399)	1.000 (399)	1.000 (399)
log.1401.wcsp.log.wcnf	459106	1.000 (459109)	0.905 (507109)	0.991 (463110)	0.916 (501108)	0.996 (459106)	0.968 (474114)	0.968 (474112)	1.000 (459106)	0.996 (461107)	0.994 (462106)
log.1405.wcsp.log.wcnf	459424	0.991 (463433)	0.905 (507457)	0.983 (467456)	0.913 (503454)	0.950 (459424)	0.958 (479457)	0.960 (478455)	1.000 (459437)	0.950 (483458)	0.996 (461434)
log.28.wcsp.log.wcnf	270105	1.000 (270105)	0.971 (278110)	1.000 (270105)	0.961 (281110)	1.000 (270105)	0.996 (271115)	0.996 (271110)	1.000 (270105)	1.000 (270105)	1.000 (270105)
mul.role_domino_multiple_0.8_5.wcnf	181758	0.930 (195351)	0.282 (644947)	0.979 (185595)	0.391 (464964)	1.000 (186216)	0.899 (202122)	0.880 (206589)	0.997 (182313)	1.000 (181758)	1.000 (181758)
mul.role_domino_multiple_1.0_4.wcnf	229869	0.978 (234942)	0.998 (230382)	0.975 (235797)	0.932 (246621)	0.998 (230439)	0.967 (237792)	0.921 (249477)	1.000 (229983)	0.998 (230268)	0.999 (230154)
mul.role_smallcomp_multiple_0.9_7.wcnf	456398	0.995 (458550)	1.000 (456398)	0.967 (471870)	0.970 (470670)	0.994 (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.310 (195503)	0.918 (66124)	0.481 (126082)	0.677 (60675)	0.489 (123976)	0.498 (121849)	0.702 (86388)	0.677 (89632)	0.665 (91234)
pa-2.wcnf	143	0.021 (6889)	0.000 (-)	0.013 (11073)	0.120 (1203)	0.031 (1017)	0.071 (2031)	0.064 (2237)	0.020 (7103)	0.031 (4651)	0.032 (4462)
pa-3.wcnf	192	0.075 (2575)	0.000 (-)	0.001 (216395)	0.053 (3638)	0.048 (1895)	0.060 (3224)	0.085 (2282)	0.073 (2638)	0.048 (4059)	0.150 (1289)
polysite-hsqldb.wcnf	172382	1.000 (172385)	0.958 (180008)	0.982 (175571)	0.241 (715763)	1.000 (172382)	1.000 (172382)	1.000 (172383)	1.000 (172383)	1.000 (172389)	1.000 (172394)
polysite-pmd.wcnf	188398	1.000 (188400)	0.636 (296107)	0.991 (190089)	0.616 (305916)	1.000 (188401)	1.000 (188402)	1.000 (188400)	1.000 (188402)	1.000 (188413)	1.000 (188447)
polysite-xalan.wcnf	114620	1.000 (114635)	0.612 (187183)	1.000 (114624)	0.000 (-)	0.999 (114651)	1.000 (114641)	1.000 (114621)	1.000 (114634)	0.999 (114700)	1.000 (114658)
power-distribution_12_8.wcnf	216	1.000 (216)	1.000 (216)	0.982 (220)	0.678 (319)	0.995 (218)	0.991 (218)	0.986 (219)	0.991 (218)	0.995 (217)	0.995 (217)
power-distribution_2_8.wcnf	10	1.000 (10)	1.000 (10)	1.000 (10)	1.000 (10)	1.000 (10)	1.000 (10)	0.917 (11)	1.000 (10)	1.000 (10)	1.000 (10)
pri.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf	189	0.594 (319)	0.615 (308)	1.000 (189)	0.434 (437)	0.597 (344)	0.601 (315)	0.447 (424)	0.627 (302)	0.597 (317)	0.578 (328)
pri.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_3.wcnf	100	0.711 (141)	0.727 (138)	1.000 (100)	0.580 (173)	0.711 (148)	0.716 (140)	0.500 (201)	0.765 (131)	0.711 (141)	0.697 (144)
r11.wcnf	48181889	0.984 (48963955)	0.701 (68733556)	0.800 (60247161)	0.502 (96037714)	0.966 (48717578)	0.921 (52302274)	0.741 (65040606)	0.995 (48431000)	0.966 (49856808)	0.952 (50602435)
rail2536.wcnf	689	0.720 (957)	0.000 (-)	0.479 (1439)	0.667 (1034)	0.608 (1125)	0.000 (-)	0.630 (1094)	0.616 (1120)	0.608 (1134)	0.608 (1134)
rail4284.wcnf	1280	0.861 (1486)	0.000 (-)	0.664 (1928)	0.800 (1600)	0.745 (1734)	0.000 (-)	0.798 (1604)	0.744 (1720)	0.745 (1718)	0.745 (1718)
rail4872.wcnf	1784	0.758 (2355)	0.000 (-)	0.688 (2594)	0.848 (2103)	0.784 (2355)	0.800 (2229)	0.825 (2162)	0.790 (2259)	0.784 (2277)	0.782 (2282)
ram_k3_n14.ra1.wcnf	3025	1.000 (3025)	0.352 (8596)	0.705 (4292)	1.000 (3025)	1.000 (3025)	0.904 (3348)	0.795 (3804)	1.000 (3025)	1.000 (3025)	1.000 (3025)
ram_k3_n16.ra1.wcnf	7271	1.000 (7271)	0.447 (16274)	0.769 (9459)	1.000 (7271)	1.000 (7271)	0.923 (7874)	0.771 (9437)	1.000 (7271)	1.000 (7271)	1.000 (7271)
ram_k3_n17.ra1.wcnf	10372	1.000 (10372)	0.308 (33707)	0.714 (14527)	1.000 (10372)	1.000 (10372)	0.707 (14670)	0.735 (14108)	1.000 (10372)	1.000 (10372)	1.000 (10372)
ram_k4_n20.ra1.wcnf	3078	0.969 (3175)	0.177 (17443)	0.399 (7720)	0.672 (4582)	0.966 (3669)	0.557 (5525)	0.504 (6104)	0.924 (3333)	0.966 (3188)	1.000 (3078)
ran-scp.scpnrg3_weighted.wcnf	167	0.988 (169)	0.712 (235)	0.923 (181)	0.988 (169)	0.966 (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.681 (247)	0.918 (183)	1.000 (168)	0.955 (168)	0.955 (176)	0.955 (176)	0.955 (176)	0.955 (176)	0.955 (176)
ran-scp.scpnrh5_weighted.wcnf	55	0.966 (57)	0.812 (68)	0.862 (64)	0.982 (56)	0.933 (55)	0.982 (56)	0.933 (59)	0.966 (57)	0.933 (59)	0.933 (59)
random-net-40-4_network-2.net.wcnf	36427	0.981 (37133)	1.000 (36427)	0.976 (37315)	0.690 (52823)	0.975 (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.911 (47489)	0.678 (63788)	0.978 (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.917 (50961)	0.676 (69053)	0.979 (47184)	0.959 (48719)	1.000 (46708)	0.986 (47380)	0.979 (47694)	0.964 (48440)
rgg_n_2_24_s0.wcnf	34467385	0.000 (-)	0.000 (-)	0.253 (136449042)	0.000 (-)	0.236 (128780500)	0.000 (-)	1.000 (34467385)	0.268 (128780500)	0.236 (146168358)	0.236 (146168358)
role_domino_0.05_15.wcnf	25082	1.000 (25082)	0.251 (99763)	0.810 (30956)	0.946 (26510)	0.478 (25106)	0.335 (74894)	0.273 (91784)	0.504 (49781)	0.478 (52494)	0.512 (48958)
role_domino_0.1_18.wcnf	42049	0.994 (42294)	0.386 (108806)	0.903 (46560)	0.397 (105983)	0.716 (42049)	0.472 (89077)	0.368 (114253)	0.751 (55996)	0.716 (58723)	0.683 (61553)
role_domino_0.1_3.wcnf	42464	0.904 (46970)	0.390 (108847)	0.948 (44806)	0.409 (103850)	0.708 (43263)	0.487 (87187)	0.419 (101424)	0.707 (60061)	0.708 (59976)	0.756 (56159)
role_domino_0.3_15.wcnf	101449	0.903 (112310)	0.367 (276378)	0.727 (139485)	0.467 (217081)	0.897 (101449)	0.678 (149555)	0.752 (134893)	0.899 (112812)	0.897 (113149)	0.915 (110913)
role_domino_0.6_2.wcnf	169308	0.968 (174951)	0.880 (192335)	0.970 (174477)	0.439 (385977)	0.996 (169796)	0.768 (220504)	0.944 (179427)	1.000 (169308)	0.996 (169982)	0.996 (169982)
role_domino_0.9_0.wcnf	199498	0.876 (227768)	0.884 (225552)	0.959 (208093)	0.364 (547668)	0.982 (199498)	0.754 (264685)	0.854 (233488)	0.961 (207561)	0.982 (203123)	0.982 (203123)
role_smallcomp_0.85_4.wcnf	369639	1.000 (369639)	1.000 (369639)	1.000 (369639)	0.977 (378247)	1.000 (369639)	1.000 (369639)	1.000 (369639)	1.000 (369639)	1.000 (369639)	1.000 (369639)
role_university_0.15_8.wcnf	98246	0.972 (101117)	0.398 (246951)	0.859 (114390)	0.473 (207779)	0.560 (98246)	0.516 (190394)	0.441 (222886)	0.577 (170141)	0.560 (175465)	0.545 (180431)
role_university_0.25_3.wcnf	142304	0.966 (147353)	0.580 (245338)	0.877 (162209)	0.549 (259050)	0.731 (142304)	0.724 (196616)	0.645 (220658)	0.726 (195958)	0.731 (194566)	0.716 (198837)
role_university_0.25_8.wcnf	139179	0.969 (143565)	0.567 (245440)	0.876 (158850)	0.516 (269468)	0.729 (139179)	0.655 (212331)	0.607 (229105)	0.738 (188705)	0.729 (190871)	0.726 (191683)
role_university_0.5_3.wcnf	207903	0.919 (226284)	0.497 (417960)	0.919 (226285)	0.496 (419117)	0.995 (215431)	0.965 (215499)	0.945 (219889)	1.000 (207903)	0.995 (208993)	0.991 (209826)
role_university_0.75_7.wcnf	212493	0.990 (214539)	0.412 (515728)	0.982 (216342)	0.383 (554355)	0.994 (216723)	0.870 (244277)	0.977 (217599)	1.000 (212493)	0.994 (213735)	0.994 (213678)
role_university_1.0_2.wcnf	207160	0.990 (209228)	0.836 (247740)	0.994 (208348)	0.562 (368886)	1.000 (207314)	0.997 (207743)	0.994 (208337)	0.997 (207875)	1.000 (207160)	1.000 (207248)
sc-rel9.wcnf	11255538	0.551 (20418157)	0.020 (562448588)	0.672 (16746750)	1.000 (11255538)	0.544 (13796412)	0.562 (20030162)	0.700 (16083871)	0.551 (20418133)	0.544 (20686436)	0.544 (20686436)
simNo_1-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf	600282750277737	0.996 (602753049661596)	0.959 (625809177244280)	0.989 (606870215301361)	0.099 (6043662834363975)	0.999 (602753049661596)	0.990 (606046782173408)	0.996 (602753049661596)	0.997 (601929616533643)	0.999 (601106183405690)	0.985 (609340514685220)
simNo_2-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf	877214109995358	0.000 (-)	0.070 (1.25596474147477E+016)	0.989 (886531772055210)	0.271 (3237315168177848)	0.079 (877214109995358)	0.000 (-)	0.058 (1.50532427496576E+016)	0.000 (-)	0.079 (1.10992013085753E+016)	0.098 (8972076366693086)
simNo_7-s_5-m_100-n_100-fp_0.0001-fn_0.20.wcnf	311429490634944	0.383 (813963441432240)	0.242 (1286858506046949)	1.000 (311429490634944)	0.160 (1950958985746851)	0.997 (311429490634944)	0.999 (311871862070505)	0.997 (312314233506066)	1.000 (311429490634944)	0.997 (312314233506066)	0.996 (312756604941627)
simNo_9-s_5-m_300-n_300-fp_0.0001-fn_0.20.wcnf	1440148752519381	0.489 (2947328499716568)	0.045 (3.18662655656135E+016)	0.206 (7002297453495069)	0.133 (1.08337863475299E+016)	1.000 (1751118154144191)	0.657 (2190668917167648)	0.776 (1856190543613956)	0.814 (1768255775246907)	1.000 (1440148752519381)	0.000 (-)
soc-livejournal-user-groups.wcnf	86146884	0.644 (133793759)	0.000 (-)	0.000 (-)	1.000 (86146884)	0.624 (133794133)	0.658 (130931531)	0.565 (152355563)	0.644 (133794001)	0.624 (138017107)	0.624 (138017294)
socfb-uci-uni.wcnf	-1	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
tcp_students_112_it_5.wcnf	3366	1.000 (3366)	0.978 (3441)	1.000 (3366)	0.850 (3960)	1.000 (3366)	1.000 (3366)	0.989 (3405)	1.000 (3366)	1.000 (3366)	1.000 (3366)
test4.wcnf	176	0.932 (189)	0.000 (-)	0.872 (202)	0.000 (-)	0.835 (201)	1.000 (176)	0.978 (180)	0.876 (201)	0.835 (211)	0.812 (217)
tic.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf	496	1.000 (496)	0.640 (776)	0.799 (621)	0.626 (793)	0.813 (578)	0.866 (573)	0.694 (715)	0.900 (551)	0.813 (610)	0.837 (593)
vio.role_domino_violations_0.15_9.wcnf	56981	0.891 (63980)	0.485 (117560)	0.736 (77430)	0.430 (132482)	0.787 (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.950 (89882)	0.351 (243291)	0.589 (144935)	0.459 (185968)	0.839 (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.357 (241633)	0.942 (91506)	0.456 (189036)	0.878 (86233)	0.710 (121529)	0.674 (127924)	0.863 (99874)	0.878 (98242)	0.876 (98391)
vio.role_domino_violations_0.75_2.wcnf	186842	0.916 (203988)	0.860 (217329)	0.950 (196719)	0.391 (477332)	1.000 (187400)	0.903 (206936)	0.911 (205157)	0.998 (187302)	1.000 (186842)	1.000 (186842)
vio.role_domino_violations_0.7_16.wcnf	183193	0.940 (194945)	0.871 (210346)	0.994 (184356)	0.408 (449527)	0.996 (183193)	0.827 (221477)	0.940 (194925)	0.998 (183550)	0.996 (183891)	0.996 (183891)
vio.role_domino_violations_0.7_3.wcnf	181223	0.944 (191938)	0.862 (210346)	0.978 (185281)	0.421 (430060)	0.991 (183244)	0.913 (198515)	0.937 (193441)	1.000 (181223)	0.991 (182955)	0.991 (182955)
vio.role_firewall_violations_1_0.95_0.wcnf	855263	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (855301)	1.000 (855263)	0.000 (-)	0.000 (-)	0.000 (-)	0.000 (-)
vio.role_university_violations_0.2_7.wcnf	120955	0.984 (122884)	0.478 (252839)	0.911 (132826)	0.519 (233220)	0.632 (120955)	0.553 (218654)	0.529 (228759)	0.630 (192141)	0.632 (191526)	0.685 (176457)
wcn.adult_train_3_DNF_1_5.wcnf	24254	0.995 (24364)	0.688 (35243)	0.802 (30246)	0.989 (24524)	0.995 (24254)	0.882 (27508)	0.701 (34581)	0.958 (25316)	0.995 (24374)	0.995 (24374)
wcn.heart_train_2_CNF_5_10.wcnf	240	0.992 (242)	0.675 (356)	0.923 (260)	1.000 (240)	0.988 (242)	0.927 (259)	0.968 (248)	0.988 (243)	0.988 (243)	0.938 (256)
wcn.heart_train_6_DNF_5_5.wcnf	121	0.976 (124)	0.897 (135)	1.000 (121)	0.878 (138)	0.946 (122)	0.884 (137)	0.910 (133)	0.938 (129)	0.946 (128)	0.917 (132)
wcn.titanic_train_7_CNF_5_15.wcnf	3262	0.991 (3290)	0.509 (6409)	0.998 (3268)	0.965 (3379)	0.938 (3278)	0.975 (3344)	0.997 (3271)	0.991 (3290)	0.938 (3476)	0.958 (3405)
wcn.titanic_train_8_CNF_5_10.wcnf	2201	1.000 (2202)	0.601 (3660)	0.996 (2210)	0.971 (2266)	0.948 (2221)	0.998 (2205)	0.994 (2215)	0.998 (2205)	0.948 (2323)	0.962 (2289)
web-wikipedia2009.wcnf	26809801	0.632 (42427252)	0.327 (81953595)	0.981 (27333705)	0.994 (26966966)	0.618 (35866947)	0.657 (40816598)	0.815 (32880715)	0.632 (42428055)	0.618 (43392559)	0.618 (43402373)
wei.MultiDay_2_weighted.wcnf	464813	1.000 (464990)	0.667 (696647)	0.912 (509465)	1.000 (464813)	0.852 (531365)	0.868 (535674)	0.931 (499201)	0.867 (536382)	0.852 (545781)	0.000 (-)
wei.MultiDay_3_weighted.wcnf	1057087	1.000 (1057087)	0.688 (1537329)	0.903 (1170308)	0.999 (1057942)	0.854 (1211072)	0.794 (1330634)	0.931 (1135964)	0.000 (-)	0.854 (1238192)	0.854 (1238195)
wei.MultiDay_4_weighted.wcnf	2021936	1.000 (2021936)	0.714 (2830348)	0.909 (2225239)	1.000 (2022434)	0.867 (2281735)	0.916 (2207195)	0.932 (2168802)	0.000 (-)	0.867 (2333211)	0.867 (2333227)
wei.SingleDay_15_weighted.wcnf	3638476	1.000 (3638476)	0.812 (4479760)	0.957 (3800042)	0.955 (3811231)	0.996 (3646308)	0.956 (3806005)	0.966 (3766785)	0.996 (3654568)	0.996 (3653802)	0.996 (3653802)
wei.SingleDay_37_weighted.wcnf	44432889	0.992 (44791711)	0.911 (48797020)	1.000 (44432889)	0.977 (45456581)	0.992 (44868821)	0.992 (44798814)	0.995 (44677427)	0.995 (44672697)	0.992 (44784673)	0.993 (44740989)
wg2.wcnf	78	0.988 (79)	0.063 (1256)	0.919 (85)	0.190 (415)	0.840 (84)	0.790 (99)	0.929 (84)	0.929 (84)	0.840 (93)	0.705 (111)