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 (-)	0.776 (66497)	1 (51608)	0.807 (63979)	0.942 (54795)	0.942 (54795)
DBLP.wcnf	57081	0.861 (66289)	0.639 (89329)	0.842 (67753)	0.854 (66864)	1 (57081)	0.861 (66289)	0.971 (58794)	0.971 (58794)
GenHyperTW_aim-50-1_6-no-3.wcnf	10	0.917 (11)	0.688 (15)	0.688 (15)	0.44 (24)	0.846 (12)	0.786 (13)	1 (10)	1 (10)
GenHyperTW_aim-50-1_6-yes1-3.wcnf	10	0.917 (11)	0.688 (15)	0.846 (12)	0.458 (23)	0.786 (13)	0.846 (12)	0.786 (13)	0.786 (13)
GenHyperTW_aim-50-3_4-yes1-3.wcnf	15	1 (15)	0.762 (20)	0.8 (19)	0.615 (25)	1 (15)	1 (15)	0.941 (16)	0.941 (16)
GenHyperTW_b01.wcnf	5	1 (5)	0.75 (7)	1 (5)	0.353 (16)	1 (5)	1 (5)	1 (5)	1 (5)
GenHyperTW_flat30-50.wcnf	26	0.422 (63)	0.75 (35)	0 (-)	0 (-)	0.931 (28)	0.422 (63)	0.54 (49)	0.54 (49)
GenHyperTW_flat30-99.wcnf	26	0.409 (65)	0.73 (36)	0 (-)	0 (-)	0.964 (27)	0.409 (65)	0.45 (59)	0.45 (59)
GenHyperTW_hole6.wcnf	7	1 (7)	0.471 (16)	0.471 (16)	1 (7)	1 (7)	1 (7)	1 (7)	1 (7)
GenHyperTW_hole8.wcnf	9	1 (9)	0.323 (30)	0.185 (53)	0.2 (49)	0.909 (10)	1 (9)	0.909 (10)	0.909 (10)
GenHyperTW_hole9.wcnf	10	0.183 (59)	0.183 (59)	0 (-)	0 (-)	1 (10)	0.183 (59)	0.029 (378)	0.029 (376)
GenHyperTW_par8-4-c.wcnf	8	0.9 (9)	0.529 (16)	0.474 (18)	0 (-)	1 (8)	0.9 (9)	0.692 (12)	0.692 (12)
GenHyperTW_par8-5-c.wcnf	9	0.667 (14)	0.37 (26)	0.238 (41)	0.323 (30)	0.833 (11)	0.714 (13)	0.667 (14)	0.667 (14)
GenHyperTW_s208.wcnf	7	0.182 (43)	0.348 (22)	0.2 (39)	0 (-)	0.471 (16)	0.2 (39)	0.571 (13)	0.571 (13)
GenHyperTW_uf20-050.wcnf	6	1 (6)	0.875 (7)	0.875 (7)	0.7 (9)	1 (6)	1 (6)	1 (6)	1 (6)
GreeceWesternGreeceUniversityInstance4.xml.wcnf	14	0.106 (140)	0.061 (245)	0.203 (73)	0.077 (195)	0.107 (139)	0.167 (89)	0.123 (121)	0.121 (123)
MLI.ionosphere_train_1_DNF_4_1.wcnf	23	1 (23)	0.585 (40)	0.889 (26)	0.774 (30)	0.96 (24)	0.96 (24)	0.96 (24)	0.96 (24)
MLI.twitter_train_1_CNF_4_1.wcnf	1805	0.135 (13402)	0.13 (13848)	0.065 (27914)	0.41 (4408)	1 (1805)	0.382 (4729)	0.147 (12289)	0.147 (12303)
MinFill_R0_mulsol.i.5.wcnf	240	0.162 (1484)	0.021 (11280)	0.913 (263)	0 (-)	0.466 (516)	0.248 (970)	0.061 (3980)	0.061 (3980)
MinFill_R0_myciel5.wcnf	196	0.985 (199)	0.398 (494)	1 (196)	0.494 (398)	0.956 (205)	1 (196)	0.975 (201)	0.975 (201)
MinFill_R0_myciel7.wcnf	3322	0.398 (8340)	0.211 (15716)	0.636 (5223)	0 (-)	1 (3322)	0.359 (9263)	0.313 (10607)	0.3 (11090)
MinFill_R0_queen11_11.wcnf	4250	0.962 (4417)	0.848 (5014)	0.897 (4740)	0 (-)	0.997 (4263)	0.978 (4345)	0.959 (4430)	0.952 (4463)
MinFill_R0_queen6_6.wcnf	231	1 (231)	0.841 (275)	1 (231)	0.875 (264)	0.996 (232)	0.983 (235)	0.975 (237)	0.975 (237)
MinFill_R0_queen7_7.wcnf	495	0.982 (504)	0.801 (618)	0.986 (502)	0.867 (571)	1 (495)	0.976 (507)	0.984 (503)	0.984 (503)
MinFill_R3_miles750.wcnf	484	0.422 (1147)	0.186 (2602)	0.913 (530)	0 (-)	0.561 (864)	0.451 (1075)	0.381 (1273)	0.822 (589)
MinFill_R4_miles500.wcnf	381	0.36 (1061)	0.126 (3028)	0.962 (396)	0 (-)	0.849 (449)	0.567 (673)	0.437 (874)	0.383 (996)
Q12_OPTIONS_1.wcnf	11	0 (-)	0 (-)	0.48 (24)	0 (-)	0 (-)	0 (-)	0.571 (20)	0.571 (20)
Q6_YESNO_1.wcnf	2	1 (2)	0 (-)	0.333 (8)	0 (-)	1 (2)	1 (2)	0.6 (4)	0.6 (4)
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 (120653)	0.741 (116561)	0.825 (104673)	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.875 (95)	0.712 (117)	0.923 (90)	0.56 (149)	0.875 (95)	0.875 (95)	0.884 (94)	0.884 (94)
aus.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	59	0.741 (80)	0.347 (172)	0.968 (61)	0.458 (130)	0.87 (68)	0.909 (65)	0.833 (71)	0.833 (71)
australian.wcnf	452	0.85 (532)	0.35 (1295)	0.97 (466)	0 (-)	0.855 (529)	0.866 (522)	0.911 (496)	0.913 (495)
bip.maxcut-140-630-0.7-13.wcnf	169	1 (169)	0.55 (308)	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.555 (307)	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.602 (268)	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.541 (302)	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.567 (292)	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.182 (32)	0.013 (459)	0.038 (155)	0 (-)	0.3 (19)	0.231 (25)	0.261 (22)	0.261 (22)
bupa.wcnf	294	0.919 (320)	0.568 (518)	0.993 (296)	0.551 (534)	0.925 (318)	0.908 (324)	0.833 (353)	0.808 (364)
car.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf	42	0.352 (121)	0.055 (780)	0.128 (336)	0 (-)	0.352 (121)	0.331 (129)	0.256 (167)	0.222 (193)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	143	1 (143)	0.379 (379)	1 (143)	0.366 (392)	0.947 (151)	1 (143)	0.396 (363)	1 (143)
cellda_x_10.wcnf	9	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	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 (-)	0 (-)
cleveland.wcnf	412	0.769 (536)	0.307 (1343)	0.918 (449)	0.376 (1098)	0.769 (536)	0.691 (597)	0.75 (550)	0.716 (576)
cnf_10.wcnf	50	0.879 (57)	0.159 (319)	0.81 (62)	0 (-)	0.927 (54)	0.879 (57)	0.879 (57)	0.879 (57)
cnf_12.wcnf	61	0.984 (62)	0.219 (282)	0.169 (365)	0.249 (248)	0.912 (67)	0.984 (62)	0.984 (62)	0.984 (62)
cnf_small.wcnf	28	0.906 (31)	0.707 (40)	1 (28)	0.46 (62)	0.879 (32)	0.906 (31)	1 (28)	1 (28)
colic.wcnf	163	0.756 (216)	0.26 (629)	0.854 (191)	0 (-)	0.759 (215)	0.877 (186)	0.832 (196)	0.965 (169)
cra-scp.scpclr13_maxsat.wcnf	23	0.96 (24)	0.429 (55)	0.889 (26)	0.828 (28)	1 (23)	0.75 (31)	0.774 (30)	0.774 (30)
cra-scp.scpcyc10_maxsat.wcnf	1838	0.961 (1913)	0.241 (7635)	0.846 (2172)	0.863 (2130)	1 (1838)	0.944 (1948)	0.948 (1939)	0.948 (1939)
d4.wcnf	2401	0.328 (7319)	0.091 (26409)	0.198 (12130)	0 (-)	0.731 (3284)	0.336 (7152)	0.319 (7522)	0.449 (5350)
data.135.wcnf	103	1 (103)	0.963 (107)	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.966 (348)	1 (336)	0.985 (341)	0.983 (342)	0.983 (342)
data.729.wcnf	617	1 (617)	0.939 (657)	0.951 (649)	0.945 (653)	0.975 (633)	0.944 (654)	0.945 (653)	0.945 (653)
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.885 (269)	0.984 (242)	1 (238)	1 (238)	1 (238)	1 (238)	1 (238)
dim.brock400_4.clq.wcnf	249	1 (249)	0.916 (272)	0.992 (251)	1 (249)	1 (249)	1 (249)	1 (249)	1 (249)
dim.hamming10-4.clq.wcnf	319	1 (319)	0.882 (362)	0.976 (327)	1 (319)	1 (319)	1 (319)	1 (319)	1 (319)
dim.hamming8-2.clq.wcnf	441	1 (441)	0.957 (461)	1 (441)	1 (441)	1 (441)	1 (441)	1 (441)	1 (441)
ecoli.wcnf	511	0.786 (650)	0.561 (911)	0.996 (513)	0.582 (878)	0.793 (645)	0.791 (646)	0.784 (652)	0.786 (650)
extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf	8	1 (8)	0.029 (313)	1 (8)	0.6 (14)	0.9 (9)	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.333 (23)	0.5 (15)	0.727 (10)	0.615 (12)	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.462 (25)	0.706 (16)	0.8 (14)	1 (11)	1 (11)
extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf	9	0.833 (11)	0.041 (244)	0.909 (10)	0.625 (15)	0.909 (10)	0.833 (11)	0.833 (11)	0.833 (11)
extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf	7	0.8 (9)	0.03 (269)	0.889 (8)	0.615 (12)	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.027 (328)	1 (8)	0.9 (9)	1 (8)	1 (8)	0.9 (9)	0.9 (9)
gen_add_4_carry_33.wcnf	188	0.995 (189)	0.867 (217)	1 (188)	0.917 (205)	0.995 (189)	1 (188)	1 (188)	1 (188)
gen_mult_4_5_9999.wcnf	197	1 (197)	0.49 (403)	0.789 (250)	0.786 (251)	0.917 (215)	0.93 (212)	0.925 (213)	0.925 (213)
gen_mult_4_6_991.wcnf	139	1 (139)	0.308 (454)	0.809 (172)	0.791 (176)	0.933 (149)	0.843 (165)	0.843 (165)	0.843 (165)
gen_mult_4_7_991.wcnf	148	1 (148)	0.245 (607)	0.793 (187)	0.776 (191)	0.943 (157)	0.851 (174)	0.856 (173)	0.856 (173)
gen_mult_5_5_399.wcnf	2296	1 (2296)	0.612 (3752)	0.927 (2477)	0.758 (3028)	0.966 (2377)	0.974 (2357)	0.976 (2352)	0.976 (2352)
gen_mult_5_5_991.wcnf	232	1 (232)	0.309 (754)	0.832 (279)	0.85 (273)	0.936 (248)	0.879 (264)	0.889 (261)	0.889 (261)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	28	0.63 (45)	0.518 (55)	0.879 (32)	0.207 (139)	0.763 (37)	0.63 (45)	0.763 (37)	0.763 (37)
hyp.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	46	1 (46)	0.158 (296)	0.028 (1656)	0 (-)	0.979 (47)	0.303 (154)	0.797 (58)	0.94 (49)
indo.wcnf	13	0.194 (71)	0 (-)	0 (-)	0 (-)	0.875 (15)	0.875 (15)	0.56 (24)	0.56 (24)
lam.20-100-frag12-0.wcnf	41	0.913 (45)	0.894 (46)	0.977 (42)	0.677 (61)	0.955 (43)	0.894 (46)	0.875 (47)	0.875 (47)
lam.20-100-frag12-45.wcnf	43	0.936 (46)	0.863 (50)	0.978 (44)	0.603 (72)	0.978 (44)	0.898 (48)	0.846 (51)	0.846 (51)
lam.20-100-frag12-56.wcnf	42	0.956 (44)	0.878 (48)	0.977 (43)	0.642 (66)	0.977 (43)	0.956 (44)	0.935 (45)	0.935 (45)
lam.20-100-frag12-79.wcnf	43	0.936 (46)	0.846 (51)	0.936 (46)	0.611 (71)	0.957 (45)	0.917 (47)	0.88 (49)	0.863 (50)
lam.20-100-lambda100-53.wcnf	72	0.973 (74)	0.913 (79)	1 (72)	0.89 (81)	0.986 (73)	0.973 (74)	0.936 (77)	0.936 (77)
lam.20-100-lambda100-59.wcnf	73	0.974 (75)	0.914 (80)	0.974 (75)	0.871 (84)	0.949 (77)	0.987 (74)	0.937 (78)	0.937 (78)
lam.20-100-lambda100-89.wcnf	74	0.974 (76)	0.938 (79)	0.987 (75)	0.915 (81)	0.974 (76)	0.987 (75)	0.962 (77)	0.962 (77)
lam.20-100-lambda100-95.wcnf	75	0.987 (76)	0.962 (78)	0.987 (76)	0.894 (84)	0.974 (77)	0.974 (77)	0.962 (78)	0.962 (78)
lam.20-100-p100-55.wcnf	75	0.974 (77)	0.938 (80)	0.987 (76)	0.864 (87)	0.987 (76)	0.974 (77)	0.95 (79)	0.95 (79)
lam.20-100-p100-72.wcnf	71	0.986 (72)	0.935 (76)	1 (71)	0.837 (85)	0.986 (72)	0.986 (72)	0.947 (75)	0.947 (75)
lam.20-100-p100-86.wcnf	76	0.963 (79)	0.951 (80)	0.987 (77)	0.906 (84)	0.963 (79)	1 (76)	0.963 (79)	0.963 (79)
lam.20-100-p100-97.wcnf	75	0.974 (77)	0.95 (79)	1 (75)	0.854 (88)	0.987 (76)	0.987 (76)	0.927 (81)	0.927 (81)
liver-disorder.wcnf	293	0.872 (336)	0.624 (470)	0.958 (306)	0.391 (751)	0.872 (336)	0.925 (317)	0.875 (335)	0.883 (332)
lym.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf	3	0.308 (12)	0.182 (21)	0.333 (11)	0.075 (52)	0.444 (8)	0.308 (12)	0.286 (13)	0.286 (13)
max.uaq-max-np-nr200-np700-rpp5-nc50-n8-t3-plb10-n5.wcnf	6	0.875 (7)	0.143 (48)	0.583 (11)	0.259 (26)	0.875 (7)	0.636 (10)	1 (6)	1 (6)
max.uaq-max-nr-nr160-np400-rpp5-nc50-n8-t3-plb10-n7.wcnf	4	1 (4)	0.192 (25)	0.833 (5)	0.294 (16)	0.714 (6)	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.66 (93)	0.984 (62)	0.984 (62)	0.925 (66)	0.925 (66)
meltdown_min.wcnf	69	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
mes.atcoss_mesat_04.wcnf	30	0 (-)	0 (-)	0.307 (100)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
mes.atcoss_mesat_05.wcnf	10	0.155 (70)	0 (-)	0.109 (100)	0 (-)	0.155 (70)	0.155 (70)	0.196 (55)	0.18 (60)
mes.atcoss_mesat_10.wcnf	13	0.737 (18)	0 (-)	0.341 (40)	0 (-)	0.667 (20)	0.667 (20)	0.737 (18)	0.737 (18)
ms_100_20_20-0.wcnf	49	0.549 (90)	0 (-)	0 (-)	0 (-)	0 (-)	0.549 (90)	0 (-)	0 (-)
ms_100_40_10-0.wcnf	16	0.531 (31)	0 (-)	0 (-)	0 (-)	0.944 (17)	0.944 (17)	1 (16)	1 (16)
ms_150_10_40-0.wcnf	98	0.908 (108)	0 (-)	0 (-)	0 (-)	0.908 (108)	0.908 (108)	0.739 (133)	0.739 (133)
ms_200_10_40-0.wcnf	88	1 (88)	0 (-)	0 (-)	0 (-)	1 (88)	1 (88)	0.484 (183)	0.484 (183)
ms_200_20_12-1.wcnf	46	0.887 (52)	0 (-)	0 (-)	0 (-)	0.922 (50)	0.922 (50)	0.662 (70)	0.662 (70)
ms_200_20_20-8.wcnf	69	0.435 (160)	0 (-)	0 (-)	0 (-)	0.631 (110)	0.435 (160)	0.424 (164)	0.424 (164)
ms_200_22_20-0.wcnf	76	0.975 (78)	0 (-)	0 (-)	0 (-)	0.975 (78)	0.975 (78)	0.963 (79)	0.963 (79)
ms_200_22_20-3.wcnf	80	0.563 (143)	0 (-)	0 (-)	0 (-)	0.675 (119)	0.609 (132)	0.648 (124)	0 (-)
ms_200_6_20-0.wcnf	133	0.944 (141)	0 (-)	0 (-)	0 (-)	0.944 (141)	0.944 (141)	0.931 (143)	0.931 (143)
ms_250_20_20-0.wcnf	74	0.652 (114)	0 (-)	0 (-)	0 (-)	0.652 (114)	0.311 (240)	0 (-)	0 (-)
mul_8_11.wcnf	64	0.97 (66)	0.067 (968)	0.406 (159)	0.765 (84)	0.915 (70)	1 (64)	1 (64)	1 (64)
mul_8_13.wcnf	60	1 (60)	0.066 (928)	0.389 (156)	0.836 (72)	0.938 (64)	1 (60)	0.968 (62)	0.968 (62)
mul_8_14.wcnf	56	1 (56)	0.061 (940)	0.514 (110)	0.77 (73)	0.934 (60)	0.966 (58)	0.966 (58)	0.966 (58)
mul_8_9.wcnf	42	1 (42)	0.066 (650)	0.524 (81)	0.796 (53)	0.935 (45)	1 (42)	1 (42)	1 (42)
mus.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	7	0.048 (164)	0.004 (2143)	0.003 (2441)	0 (-)	0.138 (57)	1 (7)	0.005 (1478)	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.441 (219)	0.669 (144)	0.815 (118)	0.874 (110)	0.822 (117)	0.815 (118)	0.815 (118)
pesp_18Min.wcnf	311	0.224 (1393)	0.064 (4911)	0.28 (1112)	0.13 (2397)	0.707 (440)	0.331 (943)	0.511 (609)	0.337 (925)
pesp_5min.wcnf	68	0.863 (79)	0.042 (1625)	0.69 (99)	0.13 (528)	0.885 (77)	0.873 (78)	0.92 (74)	0.92 (74)
pri.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf	29	0.882 (33)	0.508 (58)	0.769 (38)	0.455 (65)	0.769 (38)	0.882 (33)	0.698 (42)	0.698 (42)
ram_k3_n19.ra0.wcnf	75	1 (75)	0.422 (179)	0.905 (83)	1 (75)	1 (75)	1 (75)	1 (75)	1 (75)
ram_k4_n18.ra0.wcnf	9	1 (9)	0.185 (53)	0.833 (11)	1 (9)	1 (9)	1 (9)	1 (9)	1 (9)
ran-scp.scp43_maxsat.wcnf	38	1 (38)	0.582 (66)	0.78 (49)	0.907 (42)	0.975 (39)	0.929 (41)	0.907 (42)	0.907 (42)
ran-scp.scp47_maxsat.wcnf	38	1 (38)	0.582 (66)	0.736 (52)	0.886 (43)	0.975 (39)	0.867 (44)	0.886 (43)	0.886 (43)
ran-scp.scp48_maxsat.wcnf	38	1 (38)	0.574 (67)	0.619 (62)	0.907 (42)	1 (38)	0.886 (43)	0.907 (42)	0.907 (42)
ran-scp.scp510_maxsat.wcnf	36	1 (36)	0.587 (62)	0.569 (64)	0.902 (40)	0.974 (37)	0.949 (38)	0.949 (38)	0.949 (38)
ran-scp.scp58_maxsat.wcnf	34	1 (34)	0.486 (71)	0.547 (63)	0.814 (42)	0.897 (38)	0.897 (38)	0.897 (38)	0.897 (38)
ran-scp.scp59_maxsat.wcnf	36	1 (36)	0.44 (83)	0.712 (51)	0.902 (40)	0.949 (38)	0.925 (39)	0.925 (39)	0.925 (39)
ran-scp.scp61_maxsat.wcnf	22	1 (22)	0.561 (40)	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.535 (42)	0.719 (31)	0.92 (24)	0.958 (23)	0.885 (25)	0.852 (26)	0.852 (26)
ran-scp.scpnre1_maxsat.wcnf	20	1 (20)	0.389 (53)	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.722 (17)	0.813 (15)	1 (12)	0.929 (13)	0.929 (13)	0.929 (13)	0.929 (13)
ran-scp.scpnrf5_maxsat.wcnf	12	1 (12)	0.684 (18)	0.867 (14)	1 (12)	0.929 (13)	0.929 (13)	1 (12)	1 (12)
ran-scp.scpnrg1_maxsat.wcnf	73	0.987 (74)	0.387 (190)	0.617 (119)	0.86 (85)	1 (73)	0.987 (74)	0.961 (76)	0.961 (76)
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.956 (44)	1 (42)	1 (42)	1 (42)	1 (42)
ran.max_cut_60_600_4.asc.wcnf	213	1 (213)	0.805 (265)	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.799 (273)	1 (218)	1 (218)	1 (218)	1 (218)	1 (218)	1 (218)
rev66-14.wcnf	19	1 (19)	0.741 (26)	1 (19)	0 (-)	1 (19)	1 (19)	1 (19)	1 (19)
rev66-16.wcnf	17	1 (17)	0.667 (26)	1 (17)	0 (-)	1 (17)	1 (17)	1 (17)	1 (17)
rev66-20.wcnf	13	0.737 (18)	0.667 (20)	1 (13)	0 (-)	0.737 (18)	0.737 (18)	1 (13)	1 (13)
rsdecoder-problem.dimacs_41.filtered.wcnf	2	0.004 (692)	0 (-)	0.004 (845)	0.75 (3)	0.006 (498)	0.01 (289)	0.053 (56)	0.158 (18)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf	2	0.75 (3)	0 (29551)	0.009 (325)	0.079 (37)	1 (2)	0.75 (3)	0.273 (10)	0.273 (10)
sbox_8.wcnf	338	0.743 (455)	0 (-)	0.465 (728)	0.737 (459)	1 (338)	0.434 (781)	0.498 (680)	0.507 (668)
soy.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf	5	0.214 (27)	0.024 (254)	0.4 (14)	0.015 (400)	0.25 (23)	0.214 (27)	0.4 (14)	0.375 (15)
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 (-)	0.737 (1158)	0 (-)	0.588 (1451)	0.658 (1297)	0.76 (1122)	0.695 (1227)
str.p_hat1000-1.clq.wcnf	990	1 (990)	0.997 (993)	1 (990)	0.999 (991)	1 (990)	0.998 (992)	1 (990)	1 (990)
str.p_hat700-3.clq.wcnf	638	1 (638)	0.938 (680)	1 (638)	0.998 (639)	1 (638)	1 (638)	1 (638)	1 (638)
sug.atcoss_sugar_04.wcnf	30	0.939 (32)	0 (-)	0.221 (139)	0 (-)	0.939 (32)	0.939 (32)	0.939 (32)	0.939 (32)
sug.atcoss_sugar_05.wcnf	10	0.786 (13)	0 (-)	0.091 (120)	0 (-)	0.786 (13)	0.786 (13)	0.524 (20)	0.524 (20)
sug.atcoss_sugar_10.wcnf	13	0.824 (16)	0.219 (63)	0.099 (140)	0 (-)	0.824 (16)	0.824 (16)	0.667 (20)	0.667 (20)
sug.atcoss_sugar_15.wcnf	28	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)
sug.atcoss_sugar_18.wcnf	12	1 (12)	0 (-)	0.099 (130)	0 (-)	1 (12)	1 (12)	0.684 (18)	0.684 (18)
sysadmin_4_4.wcnf	3	0.5 (7)	0 (-)	0 (-)	0 (-)	0.5 (7)	0.5 (7)	0 (-)	0 (-)
sysadmin_5_3.wcnf	5	0 (-)	0.857 (6)	0.75 (7)	0 (-)	0 (-)	0 (-)	0.857 (6)	0.857 (6)
sysadmin_5_4.wcnf	7	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.727 (10)	0.727 (10)
tic.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf	165	0.897 (184)	0.601 (275)	0.902 (183)	0.719 (230)	0.902 (183)	0.912 (181)	0.86 (192)	0.86 (192)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf	68	1 (68)	0.58 (118)	1 (68)	0.885 (77)	1 (68)	1 (68)	1 (68)	1 (68)
uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf	67	1 (67)	0.562 (120)	0.944 (71)	0.861 (78)	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.581 (116)	0.907 (74)	0.883 (76)	0.986 (68)	0.986 (68)	0.958 (70)	0.958 (70)
unw.MultiDay_2.wcnf	117839	0.944 (124881)	0.756 (155823)	0.99 (119037)	0.979 (120428)	0.944 (124882)	0.944 (124882)	0.931 (126526)	0.931 (126526)
unw.MultiDay_3.wcnf	155217	0.956 (162437)	0.795 (195182)	0.993 (156254)	0.977 (158884)	0.956 (162438)	0.956 (162438)	0.944 (164444)	0.944 (164444)
unw.MultiDay_4.wcnf	188900	0.965 (195677)	0.824 (229120)	0.983 (192131)	0.976 (193457)	0.965 (195678)	0.965 (195678)	0.955 (197783)	0.955 (197805)
unw.SingleDay_15.wcnf	25541	0.977 (26131)	0.863 (29610)	0.997 (25625)	0.992 (25737)	0.998 (25605)	0.977 (26131)	0.976 (26170)	0.976 (26170)
unw.SingleDay_3.wcnf	9448	1 (9448)	0.784 (12048)	0.997 (9478)	0.991 (9536)	1 (9451)	0.999 (9456)	0.999 (9456)	0.999 (9456)
unw.SingleDay_37.wcnf	82088	0.993 (82631)	0.953 (86131)	0.989 (83015)	0.994 (82599)	0.993 (82631)	0.993 (82631)	0.994 (82624)	0.993 (82643)
unw.Subnetwork_7.wcnf	6393	1 (6393)	0.803 (7961)	1 (6394)	0.993 (6436)	1 (6393)	1 (6393)	1 (6394)	1 (6394)
unw.Subnetwork_9.wcnf	7903	1 (7903)	0.806 (9804)	0.999 (7911)	0.992 (7968)	1 (7905)	0.999 (7907)	1 (7904)	1 (7904)
wb_4m8s-problem.dimacs_47.filtered.wcnf	41	0.011 (3863)	0 (-)	0 (-)	0.857 (48)	0.011 (3838)	0.015 (2825)	0.11 (382)	0.111 (379)
wcn.heart_train_6_DNF_3_1.wcnf	42	1 (42)	0.915 (46)	1 (42)	0.811 (52)	1 (42)	1 (42)	1 (42)	1 (42)
wcn.ionosphere_train_8_CNF_4_1.wcnf	20	0.955 (21)	0.382 (54)	0.84 (24)	0.553 (37)	0.913 (22)	1 (20)	1 (20)	1 (20)
wcn.ionosphere_train_8_DNF_5_1.wcnf	23	1 (23)	0.522 (45)	0.49 (48)	0.706 (33)	0.96 (24)	0.96 (24)	0.923 (25)	0.923 (25)
wcn.tictactoe_train_7_DNF_4_1.wcnf	146	1 (146)	0.542 (270)	0.615 (238)	0.593 (247)	1 (146)	0.865 (169)	0.913 (160)	0.913 (160)
wcn.toms_test_4_CNF_3_1.wcnf	58	0.738 (79)	0.101 (583)	0.855 (68)	0.465 (126)	0.894 (65)	0.983 (59)	0.881 (66)	0.881 (66)
we.wcnf	209	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0 (-)	0.061 (3436)	0.06 (3520)
wei.MultiDay_1_weighted.wcnf	74270	0.921 (80622)	0.7 (106143)	0.979 (75871)	0.976 (76107)	1 (74270)	0.921 (80623)	0.911 (81562)	0.911 (81562)