Instance	Best Sol	Exact	Loandra	SATlike-c	Satlike-ck	StableResolve	TT-Open-WBO-Inc-21
20-100-frag12-85.wcnf	42	0.84 (50)	0.96 (44)	0.96 (44)	0.96 (44)	0.75 (56)	0.93 (45)
20-100-frag12-91.wcnf	43	0.85 (51)	0.96 (45)	0.96 (45)	0.94 (46)	0.75 (58)	0.96 (45)
20-100-frag12-97.wcnf	42	0.88 (48)	0.93 (45)	0.96 (44)	0.96 (44)	0.72 (59)	0.96 (44)
20-100-lambda100-48.wcnf	74	0.97 (76)	1.00 (74)	1.00 (74)	0.99 (75)	0.94 (79)	1.00 (74)
20-100-lambda100-96.wcnf	74	0.94 (79)	1.00 (74)	0.97 (76)	0.99 (75)	0.94 (79)	0.97 (76)
20-100-p100-49.wcnf	78	0.94 (83)	1.00 (78)	0.99 (79)	0.96 (81)	0.93 (84)	0.99 (79)
20-100-p100-54.wcnf	74	0.94 (79)	0.99 (75)	0.99 (75)	0.97 (76)	0.90 (82)	0.96 (77)
AMAZON.wcnf	53033	0.00 (-)	0.78 (68382)	0.83 (63979)	0.61 (87464)	1.00 (53033)	0.83 (63979)
atcoss_mesat_02.wcnf	50	0.00 (-)	1.00 (50)	0.84 (60)	0.84 (60)	0.81 (62)	0.84 (60)
atcoss_mesat_03.wcnf	50	0.00 (-)	0.84 (60)	0.84 (60)	0.84 (60)	0.72 (70)	1.00 (50)
atcoss_mesat_04.wcnf	40	0.00 (-)	0.40 (102)	0.00 (-)	1.00 (40)	0.45 (90)	0.00 (-)
atcoss_mesat_15.wcnf	100	0.00 (-)	0.00 (-)	0.00 (-)	1.00 (100)	0.00 (-)	0.00 (-)
atcoss_mesat_18.wcnf	18	0.00 (-)	0.16 (121)	0.90 (20)	1.00 (18)	0.22 (85)	0.90 (20)
atcoss_sugar_05.wcnf	12	0.00 (-)	0.62 (20)	0.93 (13)	1.00 (12)	0.26 (49)	0.93 (13)
atcoss_sugar_10.wcnf	13	0.19 (72)	0.61 (22)	0.82 (16)	0.82 (16)	0.22 (62)	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.00 (-)	0.00 (-)
cellda_y_10.wcnf	6	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
cnf_10.wcnf	54	0.20 (272)	0.48 (114)	0.95 (57)	1.00 (54)	0.29 (188)	0.95 (57)
cnf_12.wcnf	62	0.28 (222)	0.85 (73)	1.00 (62)	1.00 (62)	0.51 (122)	1.00 (62)
cnf_small.wcnf	28	0.52 (55)	1.00 (28)	0.91 (31)	1.00 (28)	0.97 (29)	0.91 (31)
credit_train_1_DNF_3_1.wcnf	5991	0.28 (21025)	1.00 (5992)	0.30 (19837)	0.29 (21018)	0.28 (21027)	1.00 (5991)
d4.wcnf	4691	0.00 (-)	0.48 (9822)	0.89 (5278)	0.50 (9296)	0.52 (9074)	1.00 (4691)
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.95 (208)	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.98 (649)	1.00 (639)	0.99 (647)	0.99 (646)	0.98 (654)
DBLP.wcnf	58804	0.72 (82216)	0.86 (68614)	0.89 (66289)	0.87 (67492)	1.00 (58804)	0.89 (66289)
extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf	6	0.00 (1785)	0.41 (16)	0.64 (10)	0.70 (9)	1.00 (6)	0.64 (10)
extension-enforcement_non-strict_stb_200_0.1_4_10_2.wcnf	8	0.00 (3650)	0.75 (11)	0.82 (10)	0.90 (9)	0.90 (9)	0.82 (10)
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)	109	0.00 (-)	0.35 (316)	0.88 (124)	1.00 (109)	0.53 (205)	0.86 (127)
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)	7	0.03 (237)	0.53 (14)	0.29 (27)	1.00 (7)	0.11 (74)	0.29 (27)
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)	164	0.49 (338)	0.57 (287)	0.72 (227)	1.00 (164)	0.46 (360)	0.72 (227)
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.02 (40)	0.08 (12)	0.13 (7)	0.08 (11)	0.01 (74)	0.13 (7)
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)	27	0.37 (75)	0.23 (121)	1.00 (27)	0.64 (43)	0.35 (78)	1.00 (27)
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)	94	0.23 (411)	0.19 (500)	1.00 (94)	1.00 (94)	0.56 (170)	1.00 (94)
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)	121	0.24 (504)	0.39 (313)	1.00 (121)	0.49 (246)	0.31 (395)	0.91 (133)
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)	67	0.38 (179)	0.99 (68)	1.00 (67)	0.99 (68)	0.92 (73)	1.00 (67)
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.47 (48)	1.00 (22)	0.85 (26)	1.00 (22)	0.31 (73)	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)	1176	0.96 (1225)	0.93 (1265)	1.00 (1176)	0.92 (1282)	0.85 (1389)	0.85 (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.66 (61)	0.98 (41)	1.00 (40)	0.85 (47)	0.67 (60)	0.89 (45)
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)	0.88 (7)
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.18 (16)	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)	12	0.18 (73)	1.00 (12)	1.00 (12)	0.54 (23)	0.18 (73)	1.00 (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)	161	0.55 (296)	0.98 (165)	0.79 (204)	1.00 (161)	0.70 (230)	0.79 (204)
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.10 (475)	0.03 (1612)	1.00 (46)	0.22 (211)	0.46 (102)	0.30 (157)
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)	36	0.64 (57)	1.00 (36)	0.95 (38)	0.90 (40)	0.31 (118)	0.95 (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)	90	0.59 (153)	1.00 (90)	0.95 (95)	0.95 (95)	0.75 (120)	0.95 (95)
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)	12	0.15 (87)	0.43 (29)	1.00 (12)	0.65 (19)	0.07 (179)	0.81 (15)
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)	134	0.52 (261)	1.00 (134)	0.81 (165)	0.77 (175)	0.58 (230)	0.82 (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)	1122	0.00 (-)	1.00 (1122)	0.90 (1250)	0.88 (1280)	0.49 (2300)	0.87 (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)	32	0.25 (132)	0.89 (36)	1.00 (32)	0.83 (39)	0.41 (79)	1.00 (32)
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.10 (9)	0.25 (3)	0.33 (2)	0.33 (2)	0.01 (95)	0.25 (3)
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.07 (1381)	0.91 (112)	0.97 (105)	0.97 (105)	0.95 (107)	0.97 (105)
GenHyperTW_aim-50-3_4-yes1-3.wcnf	15	0.73 (21)	0.84 (18)	1.00 (15)	1.00 (15)	0.64 (24)	1.00 (15)
GenHyperTW_atv_partial_system.wcnf	3	0.20 (19)	0.33 (11)	0.50 (7)	0.67 (5)	0.13 (31)	0.44 (8)
GenHyperTW_clique_15.wcnf	8	0.69 (12)	0.69 (12)	0.75 (11)	1.00 (8)	0.64 (13)	0.90 (9)
GenHyperTW_flat30-50.wcnf	43	0.00 (-)	0.00 (-)	0.69 (63)	1.00 (43)	0.71 (61)	0.69 (63)
GenHyperTW_hole6.wcnf	7	0.42 (18)	0.53 (14)	0.89 (8)	1.00 (7)	0.62 (12)	1.00 (7)
GenHyperTW_par8-3-c.wcnf	8	0.35 (25)	0.22 (40)	1.00 (8)	0.53 (16)	0.24 (36)	0.47 (18)
GenHyperTW_pret60_25.wcnf	7	0.57 (13)	1.00 (7)	1.00 (7)	1.00 (7)	0.62 (12)	1.00 (7)
GenHyperTW_uf20-099.wcnf	6	0.88 (7)	0.88 (7)	1.00 (6)	1.00 (6)	0.88 (7)	1.00 (6)
GreeceWesternGreeceUniversityInstance4.xml.wcnf	54	0.28 (193)	1.00 (54)	0.39 (140)	0.54 (100)	0.40 (136)	0.58 (94)
haberman.wcnf	386	0.67 (580)	0.99 (389)	0.96 (404)	1.00 (386)	0.91 (424)	0.94 (411)
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.84 (242)	0.83 (245)	0.85 (240)	0.75 (272)	0.83 (245)
maxcut-140-630-0.7-12.wcnf	167	0.59 (282)	0.88 (191)	1.00 (167)	1.00 (167)	1.00 (167)	1.00 (167)
maxcut-140-630-0.7-20.wcnf	168	0.68 (246)	0.94 (178)	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.61 (273)	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.67 (242)	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.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)
MinFill_R0_miles1500.wcnf	218	0.08 (2724)	0.08 (2884)	0.64 (343)	0.31 (713)	0.08 (2587)	0.31 (699)
MinFill_R0_myciel6.wcnf	753	0.23 (3284)	1.00 (753)	0.87 (865)	0.94 (801)	0.30 (2535)	0.97 (777)
MinFill_R0_queen5_5.wcnf	93	0.99 (94)	1.00 (93)	1.00 (93)	1.00 (93)	0.98 (95)	1.00 (93)
MinFill_R0_queen8_8.wcnf	959	0.83 (1150)	1.00 (959)	0.93 (1030)	0.93 (1030)	0.88 (1089)	0.99 (971)
MinFill_R0_queen9_9.wcnf	1696	0.81 (2097)	0.98 (1729)	0.99 (1712)	1.00 (1696)	0.92 (1844)	0.98 (1737)
MinFill_R1_games120.wcnf	1925	0.50 (3869)	0.43 (4514)	1.00 (1925)	0.95 (2037)	0.57 (3352)	0.94 (2049)
MinFill_R3_miles750.wcnf	957	0.27 (3597)	1.00 (957)	0.83 (1147)	0.86 (1116)	0.21 (4467)	0.89 (1075)
ms_160_20_20-0.wcnf	79	0.00 (-)	0.00 (-)	0.99 (80)	0.50 (159)	0.00 (-)	0.99 (80)
ms_200_10_40-0.wcnf	88	0.00 (-)	0.00 (-)	1.00 (88)	0.44 (200)	0.00 (-)	1.00 (88)
ms_200_12_20-3.wcnf	125	0.00 (-)	0.00 (-)	1.00 (125)	0.63 (199)	0.00 (-)	1.00 (125)
ms_200_16_20-0.wcnf	84	0.00 (-)	0.00 (-)	0.98 (86)	0.42 (200)	0.00 (-)	0.98 (86)
ms_200_20_20-6.wcnf	67	0.00 (-)	0.00 (-)	0.74 (91)	0.34 (200)	0.50 (135)	0.69 (97)
ms_200_22_20-2.wcnf	103	0.00 (-)	0.00 (-)	0.81 (127)	0.52 (200)	0.58 (179)	0.72 (144)
ms_260_20_20-0.wcnf	76	0.00 (-)	0.00 (-)	0.40 (190)	0.30 (260)	0.39 (195)	0.40 (190)
ms_260_20_20-1.wcnf	66	0.00 (-)	0.00 (-)	0.63 (105)	0.26 (260)	0.27 (244)	0.44 (152)
mul_8_11.wcnf	64	0.05 (1388)	0.41 (159)	1.00 (64)	0.96 (67)	0.71 (91)	1.00 (64)
mul_8_13.wcnf	60	0.05 (1179)	0.39 (156)	0.94 (64)	0.94 (64)	0.97 (62)	1.00 (60)
mul_8_14.wcnf	58	0.05 (1210)	0.53 (110)	0.91 (64)	0.92 (63)	0.86 (68)	1.00 (58)
mul_8_3.wcnf	36	0.04 (980)	0.82 (44)	0.97 (37)	0.95 (38)	0.95 (38)	1.00 (36)
mul_8_9.wcnf	42	0.04 (1132)	0.52 (81)	0.91 (46)	0.93 (45)	0.91 (46)	1.00 (42)
MultiDay_1_weighted.wcnf	73971	0.65 (112964)	0.94 (78877)	0.92 (80622)	0.92 (80622)	1.00 (73971)	0.92 (80623)
MultiDay_1.wcnf	73971	0.65 (112964)	0.94 (78862)	0.92 (80622)	0.92 (80622)	1.00 (73971)	0.92 (80623)
MultiDay_3.wcnf	153133	0.78 (197359)	0.94 (162181)	0.94 (162437)	0.94 (162436)	1.00 (153133)	0.94 (162438)
MultiDay_4.wcnf	185818	0.80 (230833)	0.95 (195470)	0.95 (195677)	0.95 (195677)	1.00 (185818)	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	116	0.61 (190)	0.81 (144)	0.98 (118)	0.98 (119)	1.00 (116)	0.99 (117)
p_hat1000-2.clq.wcnf	954	0.99 (966)	1.00 (954)	1.00 (954)	1.00 (954)	1.00 (954)	0.98 (971)
p_hat700-2.clq.wcnf	656	0.98 (669)	1.00 (658)	1.00 (656)	1.00 (656)	1.00 (656)	0.99 (662)
pesp_18Min.wcnf	795	0.13 (6133)	1.00 (795)	0.57 (1394)	0.25 (3231)	0.29 (2745)	0.81 (979)
pesp_5min.wcnf	68	0.07 (998)	0.88 (77)	0.86 (79)	0.84 (81)	0.15 (446)	0.87 (78)
Q34_OPTIONS_1.wcnf	3	0.44 (8)	0.44 (8)	0.33 (11)	0.33 (11)	1.00 (3)	0.33 (11)
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.81 (20)	1.00 (16)	1.00 (16)	1.00 (16)	1.00 (16)	1.00 (16)
ram_k3_n14.ra0.wcnf	21	0.61 (35)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)	1.00 (21)
ram_k3_n15.ra0.wcnf	30	0.51 (60)	1.00 (30)	1.00 (30)	1.00 (30)	1.00 (30)	1.00 (30)
ram_k3_n18.ra0.wcnf	60	0.30 (201)	0.95 (63)	1.00 (60)	1.00 (60)	1.00 (60)	1.00 (60)
ram_k3_n19.ra0.wcnf	75	0.22 (349)	0.90 (83)	1.00 (75)	1.00 (75)	1.00 (75)	1.00 (75)
ram_k4_n18.ra0.wcnf	9	0.26 (38)	0.83 (11)	1.00 (9)	1.00 (9)	1.00 (9)	1.00 (9)
ram_k4_n19.ra0.wcnf	15	0.16 (98)	1.00 (15)	1.00 (15)	1.00 (15)	1.00 (15)	1.00 (15)
ram_k4_n20.ra0.wcnf	24	0.15 (164)	0.71 (34)	1.00 (24)	1.00 (24)	1.00 (24)	1.00 (24)
rev66-16.wcnf	17	0.72 (24)	1.00 (17)	1.00 (17)	1.00 (17)	0.67 (26)	1.00 (17)
rev66-18.wcnf	15	0.70 (22)	1.00 (15)	1.00 (15)	0.76 (20)	0.70 (22)	1.00 (15)
rev66-20.wcnf	13	0.61 (22)	0.74 (18)	0.74 (18)	1.00 (13)	0.52 (26)	0.74 (18)
rev66-22.wcnf	11	0.57 (20)	1.00 (11)	1.00 (11)	0.71 (16)	0.63 (18)	1.00 (11)
rev66-24.wcnf	9	0.53 (18)	1.00 (9)	1.00 (9)	0.83 (11)	0.59 (16)	1.00 (9)
rev66-28.wcnf	5	0.35 (16)	0.46 (12)	1.00 (5)	1.00 (5)	0.33 (17)	1.00 (5)
rev66-32.wcnf	1	0.25 (7)	0.22 (8)	0.67 (2)	1.00 (1)	0.50 (3)	0.67 (2)
sbox_8.wcnf	464	0.00 (-)	0.64 (728)	1.00 (464)	0.99 (471)	0.93 (501)	0.59 (782)
scpclr11_maxsat.wcnf	23	0.15 (160)	0.75 (31)	0.92 (25)	0.92 (25)	1.00 (23)	0.92 (25)
scpclr12_maxsat.wcnf	23	0.06 (374)	0.80 (29)	0.80 (29)	0.80 (29)	1.00 (23)	0.80 (29)
scpclr13_maxsat.wcnf	26	0.04 (623)	0.79 (33)	0.84 (31)	0.84 (31)	1.00 (26)	0.84 (31)
scpcyc06_maxsat.wcnf	60	0.50 (121)	0.97 (62)	0.95 (63)	0.95 (63)	1.00 (60)	0.95 (63)
scpcyc07_maxsat.wcnf	144	0.29 (504)	0.94 (154)	0.90 (161)	0.90 (161)	1.00 (144)	0.90 (161)
scpcyc08_maxsat.wcnf	355	0.39 (919)	0.95 (374)	0.90 (395)	0.90 (395)	1.00 (355)	0.90 (395)
scpcyc09_maxsat.wcnf	841	0.19 (4331)	0.93 (905)	0.99 (850)	0.99 (850)	0.99 (847)	1.00 (841)
scpcyc10_maxsat.wcnf	1933	0.17 (11322)	0.82 (2357)	1.00 (1933)	1.00 (1933)	0.93 (2078)	0.99 (1948)
scpcyc11_maxsat.wcnf	4357	0.16 (27740)	0.81 (5381)	1.00 (4357)	1.00 (4357)	0.90 (4864)	1.00 (4357)
SingleDay_15.wcnf	25572	0.84 (30584)	0.96 (26524)	0.98 (26131)	0.98 (26131)	1.00 (25572)	0.98 (26131)
SingleDay_3.wcnf	9448	0.67 (14084)	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.76 (8404)	0.99 (6471)	1.00 (6393)	1.00 (6398)	1.00 (6393)	1.00 (6393)
Subnetwork_9.wcnf	7903	0.79 (10001)	0.97 (8171)	1.00 (7907)	1.00 (7908)	1.00 (7903)	1.00 (7907)
sysadmin_4_4.wcnf	3	0.00 (-)	0.44 (8)	0.50 (7)	0.44 (8)	0.50 (7)	0.50 (7)
sysadmin_5_3.wcnf	7	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	1.00 (7)	0.00 (-)
sysadmin_5_4.wcnf	9	0.00 (-)	0.00 (-)	0.00 (-)	0.00 (-)	1.00 (9)	0.00 (-)
TWComp_1c75_N69.wcnf	29	0.70 (42)	1.00 (29)	0.94 (31)	0.97 (30)	0.70 (42)	1.00 (29)
TWComp_myciel5_N47.wcnf	19	0.95 (20)	1.00 (19)	1.00 (19)	1.00 (19)	0.91 (21)	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.92 (83)	0.96 (79)	1.00 (76)	1 (76)	0.9625 (79)
we.wcnf	2678	0.00 (-)	0.00 (-)	0.00 (-)	1.00 (2678)	0.813543880959611 (3292)	0 (-)
YOUTUBE.wcnf	113038	0.93 (121037)	1.00 (113038)	0.99 (113618)	0.96 (118156)	0.962804285981977 (117405)	0.994895219989614 (113618)