Instance	Best Sol	Exact	Loandra	SATlike-c	Satlike-ck	StableResolve	TT-Open-WBO-Inc-21
20-100-frag12-85.wcnf	42	0.88 (48)	0.96 (44)	0.98 (43)	0.98 (43)	0.80 (53)	1.00 (42)
20-100-frag12-91.wcnf	43	0.86 (50)	0.96 (45)	0.98 (44)	0.98 (44)	0.83 (52)	0.98 (44)
20-100-frag12-97.wcnf	42	0.90 (47)	1.00 (42)	1.00 (42)	0.98 (43)	0.81 (52)	0.98 (43)
20-100-lambda100-48.wcnf	74	0.97 (76)	1.00 (74)	1.00 (74)	1.00 (74)	0.96 (77)	1.00 (74)
20-100-lambda100-96.wcnf	74	0.94 (79)	1.00 (74)	1.00 (74)	1.00 (74)	0.97 (76)	1.00 (74)
20-100-p100-49.wcnf	77	0.94 (82)	1.00 (77)	0.98 (79)	0.99 (78)	0.92 (84)	1.00 (77)
20-100-p100-54.wcnf	74	0.95 (78)	1.00 (74)	1.00 (74)	1.00 (74)	0.91 (81)	1.00 (74)
AMAZON.wcnf	52408	0.00 (-)	0.77 (68181)	0.82 (63979)	0.60 (87464)	1.00 (52408)	0.82 (63979)
atcoss_mesat_02.wcnf	50	0.52 (98)	1.00 (50)	1.00 (50)	1.00 (50)	0.84 (60)	0.84 (60)
atcoss_mesat_03.wcnf	50	0.56 (90)	0.93 (54)	1.00 (50)	1.00 (50)	0.74 (68)	1.00 (50)
atcoss_mesat_04.wcnf	30	0.00 (-)	1.00 (30)	0.94 (32)	0.94 (32)	0.62 (49)	0.94 (32)
atcoss_mesat_15.wcnf	40	0.00 (-)	1.00 (40)	0.00 (-)	1.00 (40)	0.00 (-)	0.00 (-)
atcoss_mesat_18.wcnf	12	0.00 (-)	1.00 (12)	1.00 (12)	1.00 (12)	0.62 (20)	1.00 (12)
atcoss_sugar_05.wcnf	10	0.19 (58)	1.00 (10)	0.85 (12)	0.85 (12)	0.22 (48)	0.79 (13)
atcoss_sugar_10.wcnf	13	0.48 (28)	0.82 (16)	0.82 (16)	1.00 (13)	0.42 (32)	0.82 (16)
brock200_3.clq.wcnf	214	0.94 (227)	0.99 (216)	1.00 (214)	1.00 (214)	1.00 (214)	1.00 (214)
cellda_x_12.wcnf	9	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.77 (12)	0.00 (-)
cellda_y_10.wcnf	6	0.00 (-)	1.00 (6)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
cnf_10.wcnf	50	0.21 (241)	0.96 (52)	1.00 (50)	0.93 (54)	0.43 (119)	1.00 (50)
cnf_12.wcnf	61	0.35 (175)	1.00 (61)	0.98 (62)	0.98 (62)	0.60 (103)	0.98 (62)
cnf_small.wcnf	28	0.78 (36)	1.00 (28)	0.91 (31)	1.00 (28)	1.00 (28)	0.91 (31)
credit_train_1_DNF_3_1.wcnf	5675	0.27 (21025)	1.00 (5675)	0.95 (6003)	0.95 (5997)	0.27 (21027)	0.95 (5980)
d4.wcnf	2567	0.10 (26879)	0.26 (9823)	0.85 (3036)	1.00 (2567)	0.35 (7272)	0.79 (3247)
data.135.wcnf	103	0.97 (106)	0.99 (104)	0.99 (104)	0.99 (104)	1.00 (103)	1.00 (103)
data.243.wcnf	198	0.96 (207)	0.98 (203)	1.00 (198)	1.00 (198)	1.00 (198)	1.00 (198)
data.405.wcnf	340	0.96 (356)	0.98 (346)	0.99 (342)	1.00 (341)	1.00 (340)	1.00 (341)
data.729.wcnf	639	0.97 (657)	0.99 (648)	1.00 (639)	0.99 (647)	1.00 (640)	0.98 (654)
DBLP.wcnf	58599	0.71 (82210)	0.85 (68614)	0.88 (66289)	0.87 (67492)	1.00 (58599)	0.88 (66289)
extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf	6	0.00 (1776)	0.41 (16)	0.64 (10)	0.70 (9)	1.00 (6)	0.78 (8)
extension-enforcement_non-strict_stb_200_0.1_4_10_2.wcnf	8	0.00 (2510)	0.75 (11)	0.82 (10)	0.90 (9)	1.00 (8)	0.90 (9)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf (australian-credit-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	59	0.29 (207)	1.00 (59)	0.88 (67)	0.91 (65)	0.29 (205)	0.91 (65)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.1 (soybean-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	3	0.10 (41)	0.44 (8)	1.00 (3)	0.67 (5)	0.05 (74)	0.67 (5)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.2 (tic-tac-toe-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	106	0.45 (239)	0.67 (159)	0.81 (131)	0.65 (163)	0.41 (259)	1.00 (106)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.3 (lymph-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	0	0.04 (25)	0.17 (5)	0.50 (1)	0.33 (2)	0.02 (43)	0.20 (4)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.4 (heart-cleveland-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	23	0.33 (72)	0.89 (26)	1.00 (23)	0.89 (26)	0.30 (78)	0.96 (24)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.5 (anneal-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	77	0.29 (264)	0.89 (87)	0.90 (86)	1.00 (77)	0.73 (106)	0.84 (92)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.6 (car-un/formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz)	42	0.20 (212)	0.77 (55)	1.00 (42)	0.48 (88)	0.11 (382)	0.57 (75)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf (australian-credit-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz)	66	0.50 (134)	0.99 (67)	0.99 (67)	0.97 (68)	0.91 (73)	1.00 (66)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.1 (soybean-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz)	22	0.50 (45)	1.00 (22)	1.00 (22)	1.00 (22)	0.29 (78)	1.00 (22)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.2 (splice-1-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz)	321	0.45 (712)	1.00 (321)	0.27 (1176)	0.25 (1282)	0.69 (469)	0.23 (1387)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.3 (primary-tumor-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz)	40	0.72 (56)	1.00 (40)	1.00 (40)	1.00 (40)	0.66 (61)	1.00 (40)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.4 (vote-un/formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz)	6	0.64 (10)	1.00 (6)	0.88 (7)	0.88 (7)	0.58 (11)	1.00 (6)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf (vote-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	2	0.20 (14)	0.60 (4)	1.00 (2)	1.00 (2)	0.25 (11)	0.75 (3)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.1 (soybean-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	9	0.34 (28)	1.00 (9)	0.77 (12)	0.83 (11)	0.13 (74)	0.77 (12)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.2 (tic-tac-toe-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	142	0.51 (279)	0.86 (165)	0.83 (171)	1.00 (142)	0.81 (175)	0.89 (160)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.3 (hypothyroid-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	46	0.15 (313)	1.00 (46)	1.00 (46)	0.23 (207)	0.21 (221)	0.34 (136)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.4 (primary-tumor-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	35	0.62 (57)	0.97 (36)	0.92 (38)	1.00 (35)	0.63 (56)	0.92 (38)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.5 (anneal-un/formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz)	83	0.55 (153)	1.00 (83)	0.88 (94)	0.94 (88)	0.69 (120)	0.88 (94)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf (breast-cancer-un/rest/stratified/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf)	10	0.24 (44)	0.69 (15)	0.85 (12)	0.58 (18)	0.18 (59)	1.00 (10)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.1 (tic-tac-toe-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz)	105	0.40 (261)	0.90 (117)	0.66 (159)	1.00 (105)	0.46 (228)	0.65 (163)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.2 (splice-1-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz)	905	0.46 (1980)	1.00 (905)	0.72 (1250)	0.71 (1280)	0.74 (1222)	0.70 (1297)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.3 (heart-cleveland-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz)	30	0.46 (67)	0.91 (33)	1.00 (30)	0.78 (39)	0.36 (84)	1.00 (30)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.4 (vote-un/formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz)	0	0.13 (7)	0.50 (1)	1.00 (0)	0.50 (1)	0.08 (11)	0.33 (2)
g2_n35e34_n58e61.wcnf	21	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)
gen_add_6_991.wcnf	102	0.08 (1359)	0.91 (112)	0.97 (105)	0.97 (105)	0.98 (104)	0.97 (105)
GenHyperTW_aim-50-3_4-yes1-3.wcnf	15	0.80 (19)	0.89 (17)	1.00 (15)	1.00 (15)	0.80 (19)	1.00 (15)
GenHyperTW_atv_partial_system.wcnf	3	0.29 (13)	0.67 (5)	0.57 (6)	0.80 (4)	0.13 (31)	0.50 (7)
GenHyperTW_clique_15.wcnf	8	0.69 (12)	0.90 (9)	1.00 (8)	1.00 (8)	0.60 (14)	0.90 (9)
GenHyperTW_flat30-50.wcnf	28	0.66 (43)	1.00 (28)	0.85 (33)	0.85 (33)	0.64 (44)	0.91 (31)
GenHyperTW_hole6.wcnf	7	0.47 (16)	0.53 (14)	1.00 (7)	1.00 (7)	0.73 (10)	1.00 (7)
GenHyperTW_par8-3-c.wcnf	8	0.36 (24)	0.82 (10)	1.00 (8)	0.82 (10)	0.41 (21)	0.64 (13)
GenHyperTW_pret60_25.wcnf	6	0.58 (11)	1.00 (6)	0.88 (7)	0.88 (7)	0.70 (9)	0.88 (7)
GenHyperTW_uf20-099.wcnf	6	1.00 (6)	0.88 (7)	1.00 (6)	1.00 (6)	0.88 (7)	1.00 (6)
GreeceWesternGreeceUniversityInstance4.xml.wcnf	14	0.08 (192)	1.00 (14)	0.11 (140)	0.21 (71)	0.18 (83)	0.54 (27)
haberman.wcnf	371	0.74 (500)	1.00 (371)	0.93 (398)	0.96 (385)	0.93 (397)	0.94 (396)
hamming10-4.clq.wcnf	984	0.99 (992)	1.00 (984)	1.00 (984)	1.00 (984)	1.00 (986)	0.99 (992)
heart-c.wcnf	203	0.72 (284)	0.85 (240)	0.93 (219)	0.94 (217)	0.76 (267)	0.87 (233)
maxcut-140-630-0.7-12.wcnf	167	0.61 (274)	0.91 (184)	1.00 (167)	1.00 (167)	1.00 (167)	1.00 (167)
maxcut-140-630-0.7-20.wcnf	168	0.68 (246)	0.95 (177)	1.00 (168)	1.00 (168)	1.00 (168)	1.00 (168)
maxcut-140-630-0.7-28.wcnf	167	0.59 (284)	0.97 (173)	1.00 (167)	1.00 (167)	1.00 (167)	1.00 (167)
maxcut-140-630-0.7-4.wcnf	167	0.62 (271)	0.94 (177)	1.00 (167)	1.00 (167)	1.00 (167)	1.00 (167)
maxcut-140-630-0.7-45.wcnf	168	0.73 (230)	0.97 (173)	1.00 (168)	1.00 (168)	1.00 (168)	1.00 (168)
maxcut-140-630-0.7-6.wcnf	162	0.70 (232)	0.96 (169)	1.00 (162)	1.00 (162)	1.00 (162)	1.00 (162)
maxcut-140-630-0.8-1.wcnf	165	0.64 (257)	0.93 (178)	1.00 (165)	1.00 (165)	1.00 (165)	1.00 (165)
maxcut-140-630-0.8-18.wcnf	163	0.71 (229)	0.91 (179)	1.00 (163)	1.00 (163)	1.00 (163)	1.00 (163)
maxcut-140-630-0.8-26.wcnf	167	0.67 (251)	0.94 (178)	1.00 (167)	1.00 (167)	1.00 (167)	1.00 (167)
maxcut-140-630-0.8-39.wcnf	169	0.65 (261)	0.92 (184)	1.00 (169)	1.00 (169)	1.00 (169)	1.00 (169)
meltdown_min.wcnf	69	0.00 (-)	0.97 (71)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
MinFill_R0_miles1500.wcnf	218	0.09 (2454)	0.09 (2412)	0.93 (235)	0.50 (434)	0.10 (2221)	0.94 (232)
MinFill_R0_myciel6.wcnf	753	0.23 (3274)	1.00 (753)	0.92 (821)	0.94 (801)	0.42 (1803)	0.97 (777)
MinFill_R0_queen5_5.wcnf	93	0.99 (94)	1.00 (93)	1.00 (93)	1.00 (93)	1.00 (93)	1.00 (93)
MinFill_R0_queen8_8.wcnf	959	0.83 (1150)	1.00 (959)	0.98 (980)	0.98 (978)	0.94 (1019)	0.99 (971)
MinFill_R0_queen9_9.wcnf	1640	0.78 (2097)	1.00 (1640)	0.96 (1712)	0.97 (1696)	0.92 (1790)	0.96 (1701)
MinFill_R1_games120.wcnf	1902	0.49 (3869)	0.75 (2524)	1.00 (1902)	0.94 (2016)	0.60 (3166)	0.97 (1965)
MinFill_R3_miles750.wcnf	484	0.13 (3597)	1.00 (484)	0.52 (929)	0.63 (773)	0.15 (3162)	0.58 (838)
ms_160_20_20-0.wcnf	79	0.00 (-)	0.62 (129)	1.00 (79)	0.81 (98)	0.50 (158)	1.00 (79)
ms_200_10_40-0.wcnf	88	0.00 (-)	1.00 (88)	1.00 (88)	0.55 (162)	0.00 (-)	1.00 (88)
ms_200_12_20-3.wcnf	100	0.00 (-)	0.77 (130)	0.96 (104)	1.00 (100)	0.00 (-)	0.95 (105)
ms_200_16_20-0.wcnf	84	0.00 (-)	0.63 (133)	1.00 (84)	1.00 (84)	0.55 (154)	1.00 (84)
ms_200_20_20-6.wcnf	67	0.00 (-)	0.56 (121)	1.00 (67)	0.91 (74)	0.50 (135)	1.00 (67)
ms_200_22_20-2.wcnf	103	0.00 (-)	0.59 (174)	0.91 (113)	0.88 (117)	0.58 (179)	0.91 (113)
ms_260_20_20-0.wcnf	76	0.00 (-)	0.41 (185)	0.69 (110)	1.00 (76)	0.39 (195)	0.44 (176)
ms_260_20_20-1.wcnf	66	0.00 (-)	0.47 (141)	0.89 (74)	0.70 (95)	0.39 (169)	0.89 (74)
mul_8_11.wcnf	64	0.05 (1382)	0.41 (159)	1.00 (64)	0.96 (67)	0.83 (77)	1.00 (64)
mul_8_13.wcnf	60	0.05 (1179)	0.39 (156)	0.94 (64)	0.94 (64)	0.88 (68)	1.00 (60)
mul_8_14.wcnf	56	0.05 (1205)	0.51 (110)	0.88 (64)	0.89 (63)	0.93 (60)	1.00 (56)
mul_8_3.wcnf	36	0.04 (974)	0.82 (44)	0.97 (37)	0.95 (38)	1.00 (36)	1.00 (36)
mul_8_9.wcnf	42	0.04 (1115)	0.52 (81)	0.91 (46)	0.93 (45)	1.00 (42)	1.00 (42)
MultiDay_1_weighted.wcnf	73916	0.65 (112964)	0.94 (78867)	0.92 (80622)	0.92 (80622)	1.00 (73916)	0.92 (80623)
MultiDay_1.wcnf	73915	0.65 (112964)	0.94 (78917)	0.92 (80622)	0.92 (80622)	1.00 (73915)	0.92 (80623)
MultiDay_3.wcnf	152940	0.77 (197348)	0.94 (162181)	0.94 (162437)	0.94 (162436)	1.00 (152940)	0.94 (162438)
MultiDay_4.wcnf	185492	0.80 (230831)	0.95 (195470)	0.95 (195677)	0.95 (195677)	1.00 (185492)	0.95 (195678)
navigation_5x5_10.wcnf	8	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
navigation_5x5_8.wcnf	8	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
navigation_5x5_9.wcnf	8	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
normalized-test4.pi.opb.msat.wcnf	110	0.58 (190)	0.77 (144)	0.93 (118)	0.93 (119)	1.00 (110)	0.94 (117)
p_hat1000-2.clq.wcnf	954	0.99 (966)	1.00 (954)	1.00 (954)	1.00 (954)	1.00 (954)	0.99 (966)
p_hat700-2.clq.wcnf	656	0.98 (669)	1.00 (658)	1.00 (656)	1.00 (656)	1.00 (656)	0.99 (660)
pesp_18Min.wcnf	311	0.06 (5467)	1.00 (311)	0.68 (460)	0.59 (532)	0.17 (1805)	0.52 (598)
pesp_5min.wcnf	68	0.08 (882)	0.90 (76)	1.00 (68)	1.00 (68)	0.30 (227)	0.93 (73)
Q34_OPTIONS_1.wcnf	3	1.00 (3)	0.50 (7)	1.00 (3)	1.00 (3)	0.80 (4)	1.00 (3)
ram_k3_n10.ra0.wcnf	4	1.00 (4)	1.00 (4)	1.00 (4)	1.00 (4)	1.00 (4)	1.00 (4)
ram_k3_n11.ra0.wcnf	7	1.00 (7)	1.00 (7)	1.00 (7)	1.00 (7)	1.00 (7)	1.00 (7)
ram_k3_n12.ra0.wcnf	10	0.92 (11)	1.00 (10)	1.00 (10)	1.00 (10)	1.00 (10)	1.00 (10)
ram_k3_n13.ra0.wcnf	16	0.85 (19)	1.00 (16)	1.00 (16)	1.00 (16)	1.00 (16)	1.00 (16)
ram_k3_n14.ra0.wcnf	21	0.63 (34)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)
ram_k3_n15.ra0.wcnf	30	0.60 (51)	1.00 (30)	1.00 (30)	1.00 (30)	1.00 (30)	1.00 (30)
ram_k3_n18.ra0.wcnf	60	0.42 (144)	0.95 (63)	1.00 (60)	1.00 (60)	1.00 (60)	1.00 (60)
ram_k3_n19.ra0.wcnf	75	0.26 (293)	0.94 (80)	1.00 (75)	1.00 (75)	1.00 (75)	1.00 (75)
ram_k4_n18.ra0.wcnf	9	0.31 (31)	0.91 (10)	1.00 (9)	1.00 (9)	1.00 (9)	1.00 (9)
ram_k4_n19.ra0.wcnf	15	0.18 (89)	1.00 (15)	1.00 (15)	1.00 (15)	1.00 (15)	1.00 (15)
ram_k4_n20.ra0.wcnf	24	0.16 (154)	0.71 (34)	1.00 (24)	1.00 (24)	1.00 (24)	1.00 (24)
rev66-16.wcnf	17	0.78 (22)	1.00 (17)	1.00 (17)	1.00 (17)	0.72 (24)	1.00 (17)
rev66-18.wcnf	15	0.89 (17)	1.00 (15)	1.00 (15)	0.76 (20)	0.76 (20)	1.00 (15)
rev66-20.wcnf	13	0.67 (20)	1.00 (13)	1.00 (13)	1.00 (13)	0.74 (18)	1.00 (13)
rev66-22.wcnf	11	0.57 (20)	1.00 (11)	1.00 (11)	1.00 (11)	0.63 (18)	1.00 (11)
rev66-24.wcnf	9	0.53 (18)	1.00 (9)	1.00 (9)	1.00 (9)	0.59 (16)	1.00 (9)
rev66-28.wcnf	5	0.46 (12)	0.75 (7)	1.00 (5)	1.00 (5)	0.46 (12)	1.00 (5)
rev66-32.wcnf	1	0.67 (2)	1.00 (1)	1.00 (1)	1.00 (1)	0.33 (5)	1.00 (1)
sbox_8.wcnf	464	0.58 (807)	0.76 (610)	1.00 (464)	0.99 (471)	0.97 (476)	0.60 (771)
scpclr11_maxsat.wcnf	23	0.17 (144)	0.80 (29)	0.92 (25)	0.92 (25)	1.00 (23)	0.92 (25)
scpclr12_maxsat.wcnf	23	0.09 (281)	0.80 (29)	0.80 (29)	0.80 (29)	1.00 (23)	0.80 (29)
scpclr13_maxsat.wcnf	23	0.05 (488)	0.71 (33)	0.75 (31)	0.75 (31)	1.00 (23)	0.75 (31)
scpcyc06_maxsat.wcnf	60	0.58 (104)	0.97 (62)	0.95 (63)	0.95 (63)	1.00 (60)	0.95 (63)
scpcyc07_maxsat.wcnf	144	0.40 (363)	0.94 (153)	0.90 (161)	0.90 (161)	1.00 (144)	0.90 (161)
scpcyc08_maxsat.wcnf	344	0.44 (787)	0.92 (373)	0.87 (395)	0.87 (395)	1.00 (344)	0.88 (393)
scpcyc09_maxsat.wcnf	823	0.19 (4294)	0.92 (896)	0.97 (850)	0.97 (850)	1.00 (823)	0.99 (835)
scpcyc10_maxsat.wcnf	1918	0.17 (11299)	0.89 (2161)	0.99 (1933)	0.99 (1933)	0.95 (2028)	1.00 (1918)
scpcyc11_maxsat.wcnf	4309	0.16 (27564)	0.80 (5381)	0.99 (4357)	0.99 (4357)	0.91 (4742)	1.00 (4309)
SingleDay_15.wcnf	25525	0.84 (30562)	0.98 (26016)	0.98 (26131)	0.98 (26131)	1.00 (25525)	0.98 (26125)
SingleDay_3.wcnf	9448	0.68 (13989)	0.97 (9738)	1.00 (9457)	1.00 (9457)	1.00 (9448)	1.00 (9456)
spectre_min.wcnf	89	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
Subnetwork_7.wcnf	6393	0.77 (8316)	0.99 (6430)	1.00 (6393)	1.00 (6398)	1.00 (6393)	1.00 (6393)
Subnetwork_9.wcnf	7902	0.80 (9899)	0.97 (8171)	1.00 (7907)	1.00 (7908)	1.00 (7902)	1.00 (7906)
sysadmin_4_4.wcnf	3	0.67 (5)	0.80 (4)	0.80 (4)	0.67 (5)	0.50 (7)	0.80 (4)
sysadmin_5_3.wcnf	5	0.00 (-)	0.86 (6)	0.86 (6)	1.00 (5)	0.75 (7)	0.86 (6)
sysadmin_5_4.wcnf	7	0.00 (-)	0.00 (-)	1.00 (7)	0.62 (12)	0.73 (10)	0.80 (9)
TWComp_1c75_N69.wcnf	29	1.00 (29)	1.00 (29)	1.00 (29)	1.00 (29)	0.91 (32)	1.00 (29)
TWComp_myciel5_N47.wcnf	19	1.00 (19)	1.00 (19)	1.00 (19)	1.00 (19)	0.87 (22)	1.00 (19)
TWComp_queen5_5_N25.wcnf	18	1.00 (18)	1.00 (18)	1.00 (18)	1.00 (18)	1.00 (18)	1.00 (18)
uaq-min-nr-nr50-np400-rpp5-nc0-rs0-t0-plb100-n9.wcnf	234	0.87 (268)	0.99 (237)	1.00 (234)	0.99 (237)	1.00 (234)	0.99 (236)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr13-plb100.wcnf	76	0.70 (109)	0.93 (82)	0.96 (79)	1.00 (76)	1 (76)	0.9625 (79)
we.wcnf	288	0.03 (11120)	0.06 (4598)	0.63 (458)	1.00 (288)	0.094351942539994 (3062)	0.770666666666667 (374)
YOUTUBE.wcnf	112502	0.93 (121036)	1.00 (112502)	0.99 (113618)	0.95 (118156)	0.960136207691126 (117173)	0.99017769915243 (113618)