Instance	Best-sol	DT-Hywalk	Exact	Loandra	noSAT-MaxSAT	NuWLS-c	TT-OpenWBO-inc-g	TT-OpenWBO-inc-i	TT-OpenWBO-inc-is
AMAZON.wcnf	51608	0.807 (63979)	0 (-)	0.659 (78336)	0.777 (66417)	1 (51608)	0.807 (63979)	0.942 (54795)	0.942 (54795)
DBLP.wcnf	57081	0.861 (66289)	0.639 (89322)	0.842 (67753)	0.852 (66980)	1 (57081)	0.861 (66289)	0.971 (58794)	0.971 (58794)
GenHyperTW_aim-50-1_6-no-3.wcnf	10	1 (10)	0.688 (15)	0.786 (13)	0.5 (21)	0.917 (11)	0.786 (13)	1 (10)	1 (10)
GenHyperTW_aim-50-1_6-yes1-3.wcnf	10	0.917 (11)	0.733 (14)	0.917 (11)	0.5 (21)	0.786 (13)	0.846 (12)	1 (10)	1 (10)
GenHyperTW_aim-50-3_4-yes1-3.wcnf	15	1 (15)	0.8 (19)	0.889 (17)	0.593 (26)	1 (15)	1 (15)	0.941 (16)	0.941 (16)
GenHyperTW_b01.wcnf	5	1 (5)	0.857 (6)	1 (5)	0.462 (12)	1 (5)	1 (5)	1 (5)	1 (5)
GenHyperTW_flat30-50.wcnf	26	0.794 (33)	0.794 (33)	0.794 (33)	0.5 (53)	1 (26)	0.844 (31)	0.818 (32)	0.794 (33)
GenHyperTW_flat30-99.wcnf	26	0.871 (30)	0.73 (36)	0.75 (35)	0.443 (60)	1 (26)	0.818 (32)	0.818 (32)	0.818 (32)
GenHyperTW_hole6.wcnf	7	1 (7)	0.471 (16)	0.533 (14)	1 (7)	1 (7)	1 (7)	1 (7)	1 (7)
GenHyperTW_hole8.wcnf	9	1 (9)	0.323 (30)	0.313 (31)	0.833 (11)	0.909 (10)	1 (9)	0.909 (10)	0.909 (10)
GenHyperTW_hole9.wcnf	10	0.256 (42)	0.234 (46)	0.262 (41)	0.204 (53)	1 (10)	0.786 (13)	0.846 (12)	0.846 (12)
GenHyperTW_par8-4-c.wcnf	8	0.9 (9)	0.529 (16)	0.5 (17)	0.3 (29)	1 (8)	0.9 (9)	0.818 (10)	0.818 (10)
GenHyperTW_par8-5-c.wcnf	9	1 (9)	0.37 (26)	1 (9)	0.286 (34)	0.833 (11)	0.909 (10)	0.769 (12)	0.769 (12)
GenHyperTW_s208.wcnf	7	0.889 (8)	0.364 (21)	0.8 (9)	0.16 (49)	1 (7)	0.727 (10)	0.8 (9)	0.8 (9)
GenHyperTW_uf20-050.wcnf	6	1 (6)	0.875 (7)	0.875 (7)	0.778 (8)	1 (6)	1 (6)	1 (6)	1 (6)
GreeceWesternGreeceUniversityInstance4.xml.wcnf	14	0.106 (140)	0.061 (245)	0.405 (36)	0.079 (188)	0.107 (139)	0.469 (31)	0.205 (72)	0.176 (84)
MLI.ionosphere_train_1_DNF_4_1.wcnf	23	1 (23)	0.75 (31)	0.923 (25)	0.857 (27)	0.96 (24)	0.96 (24)	0.96 (24)	0.96 (24)
MLI.twitter_train_1_CNF_4_1.wcnf	1805	0.136 (13242)	0.13 (13848)	0.065 (27914)	0.633 (2852)	1 (1805)	0 (-)	0.535 (3377)	0.517 (3493)
MinFill_R0_mulsol.i.5.wcnf	240	0.996 (241)	0.062 (3859)	0.027 (8822)	0 (-)	0.992 (242)	0.992 (242)	0.061 (3980)	0.256 (939)
MinFill_R0_myciel5.wcnf	196	0.985 (199)	0.398 (494)	1 (196)	0.516 (381)	0.956 (205)	1 (196)	1 (196)	1 (196)
MinFill_R0_myciel7.wcnf	3322	0.442 (7523)	0.215 (15435)	0.636 (5221)	0 (-)	1 (3322)	0.637 (5214)	0.34 (9767)	0.338 (9832)
MinFill_R0_queen11_11.wcnf	4250	0.963 (4412)	0.848 (5014)	0.939 (4525)	0.9 (4721)	1 (4250)	0.981 (4333)	0.99 (4291)	0.97 (4380)
MinFill_R0_queen6_6.wcnf	231	1 (231)	0.889 (260)	1 (231)	0.928 (249)	0.996 (232)	0.991 (233)	0.979 (236)	0.979 (236)
MinFill_R0_queen7_7.wcnf	495	0.992 (499)	0.805 (615)	0.992 (499)	0.902 (549)	1 (495)	0.982 (504)	0.984 (503)	0.984 (503)
MinFill_R3_miles750.wcnf	484	0.522 (929)	0.186 (2602)	0.984 (492)	0.146 (3316)	0.699 (693)	0.6 (808)	0.747 (648)	0.861 (562)
MinFill_R4_miles500.wcnf	381	0.729 (523)	0.164 (2334)	1 (381)	0.185 (2062)	0.849 (449)	0.732 (521)	0.566 (674)	0.524 (728)
Q12_OPTIONS_1.wcnf	11	1 (11)	0 (-)	1 (11)	0 (-)	1 (11)	1 (11)	1 (11)	1 (11)
Q6_YESNO_1.wcnf	2	1 (2)	1 (2)	1 (2)	0 (-)	1 (2)	1 (2)	1 (2)	1 (2)
TWComp_myciel5_N47.wcnf	19	1 (19)	1 (19)	1 (19)	0.87 (22)	1 (19)	1 (19)	1 (19)	1 (19)
TWComp_queen5_5_N25.wcnf	18	1 (18)	1 (18)	1 (18)	1 (18)	1 (18)	1 (18)	1 (18)	1 (18)
YOUTUBE.wcnf	86376	0.76 (113618)	0.716 (120645)	0.741 (116561)	0.82 (105280)	0.76 (113618)	0.76 (113618)	1 (86376)	1 (86376)
ann.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	83	0.884 (94)	0.764 (109)	1 (83)	0.56 (149)	0.884 (94)	0.884 (94)	0.894 (93)	0.894 (93)
aus.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	59	0.968 (61)	0.385 (155)	1 (59)	0.458 (130)	0.938 (63)	0.923 (64)	0.87 (68)	0.87 (68)
australian.wcnf	452	0.895 (505)	0.621 (729)	1 (452)	0.454 (996)	0.892 (507)	0.942 (480)	0.921 (491)	0.942 (480)
bip.maxcut-140-630-0.7-13.wcnf	169	1 (169)	0.609 (278)	0.977 (173)	1 (169)	1 (169)	1 (169)	1 (169)	1 (169)
bip.maxcut-140-630-0.7-37.wcnf	170	1 (170)	0.648 (263)	0.945 (180)	1 (170)	1 (170)	1 (170)	1 (170)	1 (170)
bip.maxcut-140-630-0.7-42.wcnf	161	1 (161)	0.648 (249)	0.931 (173)	1 (161)	1 (161)	1 (161)	1 (161)	1 (161)
bip.maxcut-140-630-0.7-44.wcnf	163	1 (163)	0.584 (280)	0.948 (172)	1 (163)	1 (163)	1 (163)	1 (163)	1 (163)
bip.maxcut-140-630-0.8-24.wcnf	165	1 (165)	0.595 (278)	0.927 (178)	1 (165)	1 (165)	1 (165)	1 (165)	1 (165)
bre-res-str.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf	5	0.25 (23)	0.1 (59)	0.429 (13)	0.033 (181)	0.545 (10)	0.24 (24)	0.667 (8)	0.667 (8)
bupa.wcnf	294	0.922 (319)	0.77 (382)	1 (294)	0.544 (541)	0.967 (304)	0.925 (318)	0.875 (336)	0.925 (318)
car.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf	42	1 (42)	0.11 (389)	0.768 (55)	0.086 (501)	0.827 (51)	0.672 (63)	0.782 (54)	0.589 (72)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	143	1 (143)	0.583 (246)	1 (143)	0.778 (184)	1 (143)	1 (143)	1 (143)	1 (143)
cellda_x_10.wcnf	9	0.909 (10)	0 (-)	0 (-)	0 (-)	0.909 (10)	0.909 (10)	0 (-)	0 (-)
cellda_x_12.wcnf	9	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
cellda_y_10.wcnf	6	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.636 (10)	0.636 (10)
cleveland.wcnf	412	0.79 (522)	0.431 (958)	1 (412)	0.471 (876)	0.794 (519)	0.776 (531)	0.766 (538)	0.831 (496)
cnf_10.wcnf	50	1 (50)	0.169 (301)	0.927 (54)	0.204 (249)	1 (50)	1 (50)	0.981 (51)	0.981 (51)
cnf_12.wcnf	61	0.984 (62)	0.243 (254)	0.969 (63)	0.267 (231)	1 (61)	0.984 (62)	0.984 (62)	0.984 (62)
cnf_small.wcnf	28	1 (28)	0.784 (36)	1 (28)	0.518 (55)	1 (28)	0.906 (31)	1 (28)	1 (28)
colic.wcnf	163	0.959 (170)	0.413 (396)	0.854 (191)	0 (-)	1 (163)	0.927 (176)	0.937 (174)	0.994 (164)
cra-scp.scpclr13_maxsat.wcnf	23	0.96 (24)	0.545 (43)	0.889 (26)	0.96 (24)	0.96 (24)	0.75 (31)	0.774 (30)	0.774 (30)
cra-scp.scpcyc10_maxsat.wcnf	1838	0.961 (1913)	0.472 (3895)	0.846 (2172)	0.863 (2131)	1 (1838)	0.955 (1924)	0.958 (1918)	0.96 (1915)
d4.wcnf	2401	0.794 (3026)	0.094 (25475)	0.217 (11044)	0.257 (9355)	1 (2401)	0.982 (2445)	0.716 (3355)	0.722 (3326)
data.135.wcnf	103	1 (103)	0.972 (106)	0.99 (104)	1 (103)	0.99 (104)	1 (103)	1 (103)	1 (103)
data.243.wcnf	198	1 (198)	0.966 (205)	0.975 (203)	1 (198)	1 (198)	1 (198)	1 (198)	1 (198)
data.405.wcnf	336	0.994 (338)	0.963 (349)	0.971 (346)	0.977 (344)	1 (336)	0.985 (341)	0.983 (342)	0.983 (342)
data.729.wcnf	617	1 (617)	0.944 (654)	0.952 (648)	0.946 (652)	0.975 (633)	0.944 (654)	0.946 (652)	0.946 (652)
dim.MANN_a9.clq.wcnf	422	1 (422)	0.968 (436)	0.995 (424)	1 (422)	1 (422)	1 (422)	1 (422)	1 (422)
dim.brock400_3.clq.wcnf	238	1 (238)	0.934 (255)	0.984 (242)	1 (238)	1 (238)	1 (238)	1 (238)	1 (238)
dim.brock400_4.clq.wcnf	249	1 (249)	0.947 (263)	1 (249)	1 (249)	1 (249)	1 (249)	1 (249)	1 (249)
dim.hamming10-4.clq.wcnf	319	1 (319)	0.944 (338)	0.997 (320)	1 (319)	1 (319)	1 (319)	1 (319)	1 (319)
dim.hamming8-2.clq.wcnf	441	1 (441)	0.974 (453)	1 (441)	1 (441)	1 (441)	1 (441)	1 (441)	1 (441)
ecoli.wcnf	511	0.806 (634)	0.566 (903)	1 (511)	0.628 (814)	0.808 (633)	0.827 (618)	0.793 (645)	0.817 (626)
extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf	8	1 (8)	0.035 (253)	1 (8)	0.818 (10)	1 (8)	0.9 (9)	0.9 (9)	0.9 (9)
extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf	7	0.889 (8)	0.033 (243)	0.727 (10)	0.533 (14)	0.727 (10)	0.889 (8)	0.889 (8)	0.889 (8)
extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf	11	0.857 (13)	0.049 (245)	1 (11)	0.6 (19)	0.706 (16)	0.857 (13)	1 (11)	1 (11)
extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf	9	0.909 (10)	0.041 (244)	0.909 (10)	0.769 (12)	1 (9)	0.909 (10)	0.909 (10)	0.909 (10)
extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf	7	0.889 (8)	0.03 (269)	1 (7)	0.8 (9)	0.8 (9)	0.889 (8)	0.889 (8)	0.889 (8)
extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf	8	1 (8)	0.029 (310)	0.9 (9)	0.9 (9)	1 (8)	1 (8)	0.9 (9)	0.9 (9)
gen_add_4_carry_33.wcnf	188	0.995 (189)	0.871 (216)	1 (188)	0.931 (202)	0.995 (189)	1 (188)	1 (188)	1 (188)
gen_mult_4_5_9999.wcnf	197	1 (197)	0.493 (401)	0.789 (250)	0.773 (255)	0.917 (215)	0.938 (210)	0.938 (210)	0.934 (211)
gen_mult_4_6_991.wcnf	139	1 (139)	0.308 (454)	0.828 (168)	0.809 (172)	0.933 (149)	0.859 (162)	0.848 (164)	0.864 (161)
gen_mult_4_7_991.wcnf	148	1 (148)	0.245 (607)	0.797 (186)	0.784 (189)	0.943 (157)	0.851 (174)	0.861 (172)	0.856 (173)
gen_mult_5_5_399.wcnf	2296	1 (2296)	0.622 (3692)	0.972 (2363)	0.76 (3021)	0.966 (2377)	0.976 (2352)	0.978 (2347)	0.977 (2349)
gen_mult_5_5_991.wcnf	232	1 (232)	0.343 (679)	0.832 (279)	0.857 (271)	0.936 (248)	0.889 (261)	0.889 (261)	0.893 (260)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	28	0.879 (32)	0.592 (48)	0.906 (31)	0.302 (95)	0.906 (31)	0.763 (37)	0.784 (36)	0.784 (36)
hyp.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	46	1 (46)	0.228 (205)	1 (46)	0.212 (221)	0.979 (47)	1 (46)	0.959 (48)	1 (46)
indo.wcnf	13	1 (13)	0 (-)	0 (-)	0 (-)	1 (13)	1 (13)	0.778 (17)	0.778 (17)
lam.20-100-frag12-0.wcnf	41	1 (41)	0.894 (46)	1 (41)	0.677 (61)	1 (41)	1 (41)	0.977 (42)	0.977 (42)
lam.20-100-frag12-45.wcnf	43	0.936 (46)	0.898 (48)	1 (43)	0.638 (68)	0.978 (44)	0.978 (44)	0.936 (46)	0.936 (46)
lam.20-100-frag12-56.wcnf	42	0.977 (43)	0.915 (46)	0.977 (43)	0.672 (63)	0.977 (43)	0.977 (43)	0.977 (43)	0.977 (43)
lam.20-100-frag12-79.wcnf	43	0.978 (44)	0.863 (50)	0.957 (45)	0.62 (70)	0.978 (44)	0.978 (44)	0.957 (45)	0.957 (45)
lam.20-100-lambda100-53.wcnf	72	1 (72)	0.948 (76)	1 (72)	0.913 (79)	1 (72)	0.986 (73)	0.973 (74)	0.973 (74)
lam.20-100-lambda100-59.wcnf	73	0.987 (74)	0.925 (79)	0.974 (75)	0.902 (81)	0.987 (74)	0.987 (74)	0.974 (75)	0.974 (75)
lam.20-100-lambda100-89.wcnf	74	0.987 (75)	0.949 (78)	0.987 (75)	0.926 (80)	0.987 (75)	1 (74)	0.987 (75)	0.987 (75)
lam.20-100-lambda100-95.wcnf	75	0.987 (76)	0.962 (78)	0.987 (76)	0.916 (82)	0.987 (76)	0.987 (76)	0.987 (76)	0.987 (76)
lam.20-100-p100-55.wcnf	75	0.987 (76)	0.938 (80)	0.987 (76)	0.884 (85)	0.987 (76)	0.987 (76)	0.987 (76)	0.987 (76)
lam.20-100-p100-72.wcnf	71	1 (71)	0.935 (76)	1 (71)	0.857 (83)	1 (71)	1 (71)	0.973 (73)	0.973 (73)
lam.20-100-p100-86.wcnf	76	1 (76)	0.951 (80)	1 (76)	0.885 (86)	1 (76)	1 (76)	0.975 (78)	0.975 (78)
lam.20-100-p100-97.wcnf	75	1 (75)	0.95 (79)	1 (75)	0.874 (86)	1 (75)	1 (75)	0.987 (76)	0.987 (76)
liver-disorder.wcnf	293	0.919 (319)	0.717 (409)	0.98 (299)	0.598 (491)	0.913 (321)	0.916 (320)	0.899 (326)	0.922 (318)
lym.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	3	0.4 (9)	0.182 (21)	0.444 (8)	0.08 (49)	0.667 (5)	0.308 (12)	0.4 (9)	0.4 (9)
max.uaq-max-np-nr200-np700-rpp5-nc50-n8-t3-plb10-n5.wcnf	6	0.875 (7)	0.2 (34)	0.875 (7)	0.333 (20)	0.875 (7)	0.778 (8)	1 (6)	1 (6)
max.uaq-max-nr-nr160-np400-rpp5-nc50-n8-t3-plb10-n7.wcnf	4	1 (4)	0.238 (20)	0.833 (5)	0.556 (8)	1 (4)	1 (4)	1 (4)	1 (4)
max.uaq-max-nr-nr70-np400-rpp5-nc50-n8-t3-plb10-n7.wcnf	61	0.984 (62)	0.861 (71)	1 (61)	0.756 (81)	0.984 (62)	0.984 (62)	0.984 (62)	0.984 (62)
meltdown_min.wcnf	69	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.946 (73)	0.946 (73)
mes.atcoss_mesat_04.wcnf	30	0.939 (32)	0 (-)	1 (30)	0 (-)	0.939 (32)	0.939 (32)	0.886 (34)	0.886 (34)
mes.atcoss_mesat_05.wcnf	10	0.846 (12)	0 (-)	0.846 (12)	0 (-)	0.846 (12)	0.846 (12)	0.524 (20)	0.524 (20)
mes.atcoss_mesat_10.wcnf	13	0.824 (16)	0.127 (109)	1 (13)	0 (-)	1 (13)	0.824 (16)	0.824 (16)	0.824 (16)
ms_100_20_20-0.wcnf	49	0.758 (65)	0 (-)	0 (-)	0 (-)	0.758 (65)	0.758 (65)	1 (49)	1 (49)
ms_100_40_10-0.wcnf	16	1 (16)	0 (-)	0 (-)	0 (-)	1 (16)	1 (16)	1 (16)	1 (16)
ms_150_10_40-0.wcnf	98	1 (98)	0 (-)	0.99 (99)	0 (-)	1 (98)	0.961 (102)	0.943 (104)	0.943 (104)
ms_200_10_40-0.wcnf	88	1 (88)	0 (-)	1 (88)	0 (-)	1 (88)	1 (88)	0.685 (129)	0.685 (129)
ms_200_20_12-1.wcnf	46	1 (46)	0 (-)	0.359 (130)	0 (-)	1 (46)	0.979 (47)	0.979 (47)	0.979 (47)
ms_200_20_20-8.wcnf	69	0.959 (72)	0 (-)	0.357 (195)	0 (-)	0.959 (72)	1 (69)	0.496 (140)	0.496 (140)
ms_200_22_20-0.wcnf	76	0.987 (77)	0 (-)	0.939 (81)	0 (-)	0.987 (77)	0.987 (77)	1 (76)	1 (76)
ms_200_22_20-3.wcnf	80	0.976 (82)	0 (-)	0.409 (197)	0 (-)	0.976 (82)	0.976 (82)	0.853 (94)	0.853 (94)
ms_200_6_20-0.wcnf	133	0.944 (141)	0 (-)	0.944 (141)	0 (-)	0.944 (141)	0.944 (141)	1 (133)	1 (133)
ms_250_20_20-0.wcnf	74	0.987 (75)	0 (-)	0.3 (249)	0 (-)	0.987 (75)	0.987 (75)	0.904 (82)	0.904 (82)
mul_8_11.wcnf	64	0.97 (66)	0.069 (947)	0.406 (159)	0.756 (85)	0.915 (70)	1 (64)	1 (64)	1 (64)
mul_8_13.wcnf	60	1 (60)	0.066 (928)	0.389 (156)	0.824 (73)	0.938 (64)	1 (60)	1 (60)	1 (60)
mul_8_14.wcnf	56	1 (56)	0.061 (940)	0.514 (110)	0.814 (69)	0.934 (60)	0.983 (57)	0.966 (58)	0.983 (57)
mul_8_9.wcnf	42	1 (42)	0.066 (648)	0.524 (81)	0.896 (47)	0.935 (45)	1 (42)	1 (42)	1 (42)
mus.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	7	0.138 (57)	0.006 (1247)	1 (7)	0 (-)	0.138 (57)	1 (7)	1 (7)	1 (7)
navigation_5x5_10.wcnf	8	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
navigation_5x5_8.wcnf	8	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
navigation_5x5_9.wcnf	8	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
normalized-test4.pi.opb.msat.wcnf	96	1 (96)	0.445 (217)	0.669 (144)	0.802 (120)	0.874 (110)	0.829 (116)	0.822 (117)	0.822 (117)
pesp_18Min.wcnf	311	0.606 (514)	0.064 (4849)	0.972 (320)	0.257 (1211)	0.825 (377)	0.521 (598)	0.537 (580)	0.611 (510)
pesp_5min.wcnf	68	0.986 (69)	0.051 (1358)	0.945 (72)	0.216 (319)	0.986 (69)	0.932 (73)	0.986 (69)	0.986 (69)
pri.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf	29	0.938 (31)	0.536 (55)	0.769 (38)	0.469 (63)	1 (29)	0.938 (31)	0.811 (36)	0.811 (36)
ram_k3_n19.ra0.wcnf	75	1 (75)	0.576 (131)	0.938 (80)	1 (75)	1 (75)	1 (75)	1 (75)	1 (75)
ram_k4_n18.ra0.wcnf	9	1 (9)	0.357 (27)	0.909 (10)	1 (9)	1 (9)	1 (9)	1 (9)	1 (9)
ran-scp.scp43_maxsat.wcnf	38	1 (38)	0.639 (60)	0.78 (49)	0.929 (41)	0.975 (39)	0.929 (41)	0.907 (42)	0.907 (42)
ran-scp.scp47_maxsat.wcnf	38	1 (38)	0.65 (59)	0.765 (50)	0.886 (43)	0.975 (39)	0.867 (44)	0.886 (43)	0.886 (43)
ran-scp.scp48_maxsat.wcnf	38	1 (38)	0.661 (58)	0.736 (52)	0.929 (41)	1 (38)	0.886 (43)	0.907 (42)	0.907 (42)
ran-scp.scp510_maxsat.wcnf	36	1 (36)	0.685 (53)	0.698 (52)	0.902 (40)	0.974 (37)	0.949 (38)	0.949 (38)	0.949 (38)
ran-scp.scp58_maxsat.wcnf	34	1 (34)	0.593 (58)	0.636 (54)	0.854 (40)	0.897 (38)	0.897 (38)	0.897 (38)	0.897 (38)
ran-scp.scp59_maxsat.wcnf	36	1 (36)	0.607 (60)	0.712 (51)	0.881 (41)	0.949 (38)	0.925 (39)	0.925 (39)	0.925 (39)
ran-scp.scp61_maxsat.wcnf	22	1 (22)	0.719 (31)	0.719 (31)	0.958 (23)	0.958 (23)	0.92 (24)	0.92 (24)	0.92 (24)
ran-scp.scp65_maxsat.wcnf	22	1 (22)	0.742 (30)	0.719 (31)	0.958 (23)	0.958 (23)	0.885 (25)	0.852 (26)	0.852 (26)
ran-scp.scpnre1_maxsat.wcnf	20	1 (20)	0.583 (35)	0.778 (26)	0.955 (21)	1 (20)	1 (20)	0.955 (21)	0.955 (21)
ran-scp.scpnrf4_maxsat.wcnf	12	1 (12)	0.813 (15)	0.867 (14)	1 (12)	0.929 (13)	0.929 (13)	0.929 (13)	0.929 (13)
ran-scp.scpnrf5_maxsat.wcnf	12	1 (12)	0.867 (14)	0.867 (14)	1 (12)	1 (12)	0.929 (13)	1 (12)	1 (12)
ran-scp.scpnrg1_maxsat.wcnf	73	0.987 (74)	0.387 (190)	0.617 (119)	0.961 (76)	1 (73)	0.987 (74)	0.987 (74)	0.974 (75)
ran-scp.scpnrh1_maxsat.wcnf	42	0.977 (43)	0.316 (135)	0.683 (62)	0.956 (44)	0.977 (43)	1 (42)	1 (42)	1 (42)
ran-scp.scpnrh5_maxsat.wcnf	42	0.956 (44)	0.344 (124)	0.694 (61)	0.977 (43)	1 (42)	1 (42)	1 (42)	1 (42)
ran.max_cut_60_600_4.asc.wcnf	213	1 (213)	0.826 (258)	0.951 (224)	1 (213)	1 (213)	1 (213)	1 (213)	1 (213)
ran.max_cut_60_600_9.asc.wcnf	218	1 (218)	0.833 (262)	1 (218)	1 (218)	1 (218)	1 (218)	1 (218)	1 (218)
rev66-14.wcnf	19	1 (19)	1 (19)	1 (19)	0 (-)	1 (19)	1 (19)	1 (19)	1 (19)
rev66-16.wcnf	17	1 (17)	0.783 (22)	1 (17)	0 (-)	1 (17)	1 (17)	1 (17)	1 (17)
rev66-20.wcnf	13	1 (13)	0.667 (20)	1 (13)	0 (-)	1 (13)	1 (13)	1 (13)	1 (13)
rsdecoder-problem.dimacs_41.filtered.wcnf	2	0.136 (21)	0 (70044)	0.004 (845)	0.75 (3)	0.6 (4)	0.333 (8)	0.5 (5)	0.158 (18)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf	2	0.75 (3)	0 (29411)	0.009 (325)	0.2 (14)	1 (2)	0.75 (3)	0.75 (3)	0.5 (5)
sbox_8.wcnf	338	0.743 (455)	0.42 (807)	0.555 (610)	0.75 (451)	1 (338)	0.441 (768)	0.504 (671)	0.507 (668)
soy.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf	5	0.857 (6)	0.087 (68)	0.667 (8)	0.07 (85)	0.857 (6)	1 (5)	0.857 (6)	0.857 (6)
spectre_min.wcnf	89	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
spl.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf	853	0.683 (1250)	0.502 (1700)	0.891 (958)	0 (-)	0.687 (1242)	0.658 (1297)	0.779 (1095)	0.727 (1173)
str.p_hat1000-1.clq.wcnf	990	1 (990)	0.998 (992)	1 (990)	1 (990)	1 (990)	0.999 (991)	1 (990)	1 (990)
str.p_hat700-3.clq.wcnf	638	1 (638)	0.947 (674)	1 (638)	1 (638)	1 (638)	1 (638)	1 (638)	1 (638)
sug.atcoss_sugar_04.wcnf	30	1 (30)	0 (-)	1 (30)	0 (-)	1 (30)	1 (30)	1 (30)	1 (30)
sug.atcoss_sugar_05.wcnf	10	0.846 (12)	0.22 (49)	0.524 (20)	0 (-)	0.846 (12)	0.786 (13)	1 (10)	1 (10)
sug.atcoss_sugar_10.wcnf	13	0.824 (16)	0.4 (34)	0.824 (16)	0.152 (91)	0.824 (16)	0.824 (16)	0.824 (16)	0.824 (16)
sug.atcoss_sugar_15.wcnf	28	0.707 (40)	0 (-)	1 (28)	0 (-)	0.725 (39)	0.725 (39)	0.569 (50)	0.58 (49)
sug.atcoss_sugar_18.wcnf	12	1 (12)	0.351 (36)	1 (12)	0 (-)	1 (12)	1 (12)	1 (12)	1 (12)
sysadmin_4_4.wcnf	3	0.8 (4)	0.571 (6)	0.667 (5)	0 (-)	0.8 (4)	0.8 (4)	0.667 (5)	0.667 (5)
sysadmin_5_3.wcnf	5	0.857 (6)	1 (5)	1 (5)	0 (-)	0.857 (6)	0.857 (6)	0.857 (6)	0.857 (6)
sysadmin_5_4.wcnf	7	1 (7)	0 (-)	1 (7)	0 (-)	1 (7)	0.8 (9)	0.889 (8)	0.889 (8)
tic.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	165	1 (165)	0.722 (229)	0.912 (181)	0.725 (228)	0.912 (181)	0.912 (181)	0.878 (188)	0.878 (188)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf	68	1 (68)	0.58 (118)	1 (68)	0.986 (69)	1 (68)	1 (68)	1 (68)	1 (68)
uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf	67	1 (67)	0.596 (113)	0.944 (71)	0.883 (76)	0.986 (68)	0.971 (69)	0.971 (69)	0.971 (69)
uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf	67	1 (67)	0.607 (111)	1 (67)	0.919 (73)	0.986 (68)	0.986 (68)	0.958 (70)	0.958 (70)
unw.MultiDay_2.wcnf	117839	0.944 (124881)	0.756 (155816)	0.993 (118721)	1 (117839)	0.944 (124882)	0.944 (124882)	0.931 (126526)	0.931 (126526)
unw.MultiDay_3.wcnf	155217	0.956 (162437)	0.795 (195176)	0.993 (156388)	1 (155217)	0.956 (162438)	0.956 (162438)	0.944 (164444)	0.944 (164444)
unw.MultiDay_4.wcnf	188900	0.965 (195677)	0.824 (229114)	0.983 (192128)	1 (188900)	0.965 (195678)	0.965 (195678)	0.955 (197781)	0.955 (197805)
unw.SingleDay_15.wcnf	25541	0.977 (26131)	0.87 (29370)	1 (25541)	0.996 (25637)	0.998 (25605)	0.978 (26125)	0.977 (26129)	0.978 (26111)
unw.SingleDay_3.wcnf	9448	1 (9448)	0.826 (11443)	0.997 (9475)	0.991 (9536)	1 (9451)	0.999 (9453)	0.999 (9455)	1 (9452)
unw.SingleDay_37.wcnf	82088	0.993 (82631)	0.953 (86130)	1 (82088)	0.996 (82422)	0.993 (82631)	0.993 (82631)	0.994 (82624)	0.993 (82643)
unw.Subnetwork_7.wcnf	6393	1 (6393)	0.813 (7859)	1 (6393)	0.993 (6436)	1 (6393)	1 (6393)	1 (6394)	1 (6393)
unw.Subnetwork_9.wcnf	7903	1 (7903)	0.83 (9520)	0.999 (7910)	0.993 (7957)	1 (7905)	0.999 (7907)	1 (7904)	1 (7904)
wb_4m8s-problem.dimacs_47.filtered.wcnf	41	0.015 (2829)	0 (258875)	0.14 (299)	1 (41)	0.016 (2694)	0.05 (843)	0.7 (59)	0.7 (59)
wcn.heart_train_6_DNF_3_1.wcnf	42	1 (42)	0.956 (44)	1 (42)	0.843 (50)	1 (42)	1 (42)	1 (42)	1 (42)
wcn.ionosphere_train_8_CNF_4_1.wcnf	20	1 (20)	0.525 (39)	0.84 (24)	0.568 (36)	0.955 (21)	1 (20)	1 (20)	1 (20)
wcn.ionosphere_train_8_DNF_5_1.wcnf	23	1 (23)	0.522 (45)	0.923 (25)	0.8 (29)	0.96 (24)	0.96 (24)	0.923 (25)	0.923 (25)
wcn.tictactoe_train_7_DNF_4_1.wcnf	146	1 (146)	0.546 (268)	0.821 (178)	0.653 (224)	1 (146)	0.961 (152)	0.913 (160)	0.913 (160)
wcn.toms_test_4_CNF_3_1.wcnf	58	0.843 (69)	0.381 (154)	0.855 (68)	0.488 (120)	0.894 (65)	1 (58)	0.881 (66)	0.881 (66)
we.wcnf	209	0.458 (458)	0.023 (9087)	0.043 (4855)	0 (-)	0.556 (377)	0 (-)	1 (209)	0.879 (238)
wei.MultiDay_1_weighted.wcnf	74270	0.921 (80622)	0.7 (106141)	0.983 (75545)	0.995 (74651)	1 (74270)	0.921 (80623)	0.911 (81562)	0.911 (81562)