MaxSAT Evaluation 2017: Detailed Results of Unweighted Incomplete Track under 300 s Timeout

BenchmarkmaxrosterOpen-WBO-LSUMaxHS-incSAT4J✝CCEHC✝LMHS-incWPM3-in✝Dist✝
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf0.75 (8)0.375 (16)1.0 (6)0.3158 (19)0.375 (16)0.8571 (7)0.3158 (19)0.3158 (19)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf0.7 (10)0.5385 (13)1.0 (7)0.5833 (12)0.4667 (15)1.0 (7)0.3889 (18)0.4667 (15)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf1.0 (4)1.0 (4)1.0 (4)0.5 (8)0.5 (8)1.0 (4)0.1818 (22)0.2105 (19)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf0.8889 (9)0.6154 (13)1.0 (8)0.4444 (18)0.5714 (14)0.8889 (9)0.4 (20)0.4211 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf0.5625 (16)0.5 (18)0.75 (12)0.4286 (21)0.45 (20)1.0 (9)0.375 (24)0.5 (18)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf0.6154 (13)0.4444 (18)1.0 (8)0.3333 (24)0.4 (20)0.8889 (9)0.4444 (18)0.3077 (26)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf0.7857 (14)0.3143 (35)1.0 (11)0.5238 (21)0.4074 (27)0.9167 (12)0.1549 (71)0.3793 (29)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf0.75 (16)0.5 (24)0.9231 (13)0.5 (24)0.5714 (21)1.0 (12)0.2449 (49)0.4615 (26)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf0.6923 (13)0.5625 (16)1.0 (9)0.6 (15)0.4091 (22)1.0 (9)0.1837 (49)0.5625 (16)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf0.5789 (19)0.4783 (23)0.6875 (16)0.55 (20)0.5 (22)1.0 (11)0.3056 (36)0.3929 (28)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf0.8 (10)0.7273 (11)1.0 (8)0.4444 (18)0.4706 (17)1.0 (8)0.1633 (49)0.4211 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf0.4286 (14)0.25 (24)0.6 (10)0.2609 (23)0.4 (15)1.0 (6)0.25 (24)0.375 (16)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf0.4444 (18)0.5 (16)1.0 (8)0.5714 (14)0.4706 (17)0.8889 (9)0.2051 (39)0.381 (21)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf0.6364 (11)0.3889 (18)0.7778 (9)0.3684 (19)0.4667 (15)1.0 (7)0.3684 (19)0.3684 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf0.7143 (14)0.625 (16)0.9091 (11)0.5556 (18)0.5 (20)1.0 (10)0.625 (16)0.8333 (12)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf0.2258 (31)0.35 (20)1.0 (7)0.7 (10)0.5 (14)0.875 (8)0.3182 (22)0.35 (20)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf1.0 (9)0.9 (10)1.0 (9)0.3 (30)0.6 (15)0.8182 (11)0.9 (10)0.5625 (16)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf0.7273 (11)0.4211 (19)1.0 (8)0.2759 (29)0.5333 (15)0.8 (10)0.2 (40)0.3077 (26)
haplotype-assembly/splitedReads_0.matrix.wcnf0.8216 (2051)0.4843 (3479)0.8704 (1936)0.5471 (3080)0.665 (2534)1.0 (1685)0.6136 (2746)0.5673 (2970)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf1.0 (39)0.7647 (51)0.6724 (58)0.6094 (64)0.0 (-)0.629 (62)0.619 (63)0.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-1_6-no-3.wcnf1.0 (12)0.8 (15)0.5217 (23)0.8571 (14)0.8571 (14)0.4444 (27)0.5217 (23)0.3077 (39)
gen-hyper-tw/GenHyperTW_aim-50-2_0-no-3.wcnf1.0 (15)0.7895 (19)0.5357 (28)0.8824 (17)0.8333 (18)0.6 (25)0.6 (25)0.2941 (51)
gen-hyper-tw/GenHyperTW_aim-50-2_0-yes1-3.wcnf1.0 (14)0.7778 (18)0.5385 (26)0.875 (16)0.8235 (17)0.56 (25)0.5833 (24)0.3111 (45)
gen-hyper-tw/GenHyperTW_aim-50-3_4-yes1-3.wcnf1.0 (17)0.85 (20)0.5862 (29)0.85 (20)0.7727 (22)0.6538 (26)0.6296 (27)0.1954 (87)
gen-hyper-tw/GenHyperTW_atv_partial_system.wcnf1.0 (6)0.4286 (14)0.1875 (32)0.4286 (14)0.375 (16)0.2143 (28)0.1935 (31)0.1463 (41)
gen-hyper-tw/GenHyperTW_clique_15.wcnf1.0 (8)0.8889 (9)0.5714 (14)0.8 (10)0.7273 (11)0.5714 (14)0.5333 (15)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois20.wcnf1.0 (3)0.375 (8)0.1364 (22)0.4286 (7)0.5 (6)0.1304 (23)0.1429 (21)0.0938 (32)
gen-hyper-tw/GenHyperTW_dubois21.wcnf1.0 (5)0.5556 (9)0.1923 (26)0.7143 (7)0.625 (8)0.1724 (29)0.3571 (14)0.0926 (54)
gen-hyper-tw/GenHyperTW_dubois23.wcnf1.0 (2)0.2 (10)0.1111 (18)0.25 (8)0.3333 (6)0.0714 (28)0.087 (23)0.0541 (37)
gen-hyper-tw/GenHyperTW_dubois25.wcnf1.0 (3)0.2308 (13)0.0938 (32)0.375 (8)0.5 (6)0.0882 (34)0.1579 (19)0.075 (40)
gen-hyper-tw/GenHyperTW_dubois27.wcnf1.0 (4)0.2667 (15)0.129 (31)0.4 (10)0.6667 (6)0.16 (25)0.4 (10)0.0889 (45)
gen-hyper-tw/GenHyperTW_dubois28.wcnf1.0 (3)0.2308 (13)0.0909 (33)0.375 (8)0.5 (6)0.1364 (22)0.0938 (32)0.0667 (45)
gen-hyper-tw/GenHyperTW_dubois29.wcnf1.0 (6)0.5 (12)0.1935 (31)0.6 (10)0.75 (8)0.2308 (26)0.1538 (39)0.125 (48)
gen-hyper-tw/GenHyperTW_dubois30.wcnf1.0 (5)0.4545 (11)0.1515 (33)0.4545 (11)0.5556 (9)0.125 (40)0.1471 (34)0.098 (51)
gen-hyper-tw/GenHyperTW_flat30-1.wcnf1.0 (39)0.8298 (47)0.6724 (58)0.7091 (55)0.0 (-)0.6724 (58)0.7222 (54)0.0 (-)
gen-hyper-tw/GenHyperTW_flat30-99.wcnf1.0 (37)0.7708 (48)0.6727 (55)0.6607 (56)0.0 (-)0.6066 (61)0.6167 (60)0.0 (-)
gen-hyper-tw/GenHyperTW_grid3d_5.wcnf1.0 (11)0.7857 (14)0.4783 (23)0.7857 (14)0.6875 (16)0.4783 (23)0.44 (25)0.3333 (33)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf1.0 (7)0.875 (8)0.5 (14)0.875 (8)0.875 (8)0.5385 (13)0.4667 (15)0.3182 (22)
gen-hyper-tw/GenHyperTW_hole9.wcnf1.0 (44)0.8 (55)0.8 (55)0.0 (-)0.0 (-)0.6984 (63)0.6377 (69)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf1.0 (10)0.5 (20)0.3125 (32)0.4545 (22)0.5882 (17)0.3226 (31)0.2857 (35)0.1176 (85)
gen-hyper-tw/GenHyperTW_par8-2-c.wcnf1.0 (9)0.45 (20)0.2813 (32)0.5 (18)1.0 (9)0.2571 (35)0.36 (25)0.1071 (84)
gen-hyper-tw/GenHyperTW_par8-3-c.wcnf1.0 (11)0.4583 (24)0.275 (40)0.3548 (31)0.9167 (12)0.2683 (41)0.2895 (38)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf1.0 (9)0.45 (20)0.2571 (35)0.4286 (21)1.0 (9)0.2368 (38)0.225 (40)0.1837 (49)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf0.9091 (11)0.3846 (26)0.2941 (34)0.3571 (28)1.0 (10)0.2632 (38)0.2564 (39)0.0 (-)
gen-hyper-tw/GenHyperTW_pret60_25.wcnf1.0 (7)0.7778 (9)0.2917 (24)0.7 (10)0.875 (8)0.2917 (24)0.25 (28)0.2121 (33)
gen-hyper-tw/GenHyperTW_pret60_60.wcnf1.0 (7)0.7778 (9)0.2917 (24)0.7 (10)0.875 (8)0.2917 (24)0.25 (28)0.2121 (33)
gen-hyper-tw/GenHyperTW_s208.wcnf1.0 (13)0.5909 (22)0.4483 (29)0.4333 (30)0.8125 (16)0.3023 (43)0.2889 (45)0.3023 (43)
gen-hyper-tw/GenHyperTW_uf20-01.wcnf1.0 (6)1.0 (6)1.0 (6)1.0 (6)0.75 (8)0.5 (12)0.8571 (7)0.1667 (36)
gen-hyper-tw/GenHyperTW_uf20-099.wcnf1.0 (6)0.8571 (7)0.5455 (11)1.0 (6)0.75 (8)0.5 (12)0.8571 (7)0.1765 (34)
maxclique/brock200_1.clq.wcnf1.0 (179)0.9944 (180)0.989 (181)0.989 (181)1.0 (179)0.9944 (180)1.0 (179)1.0 (179)
maxclique/brock400_1.clq.wcnf1.0 (375)0.9947 (377)0.9894 (379)0.9894 (379)1.0 (375)0.9921 (378)0.9894 (379)1.0 (375)
maxclique/brock400_4.clq.wcnf0.9787 (375)0.9709 (378)0.9683 (379)0.9658 (380)1.0 (367)0.9709 (378)0.9761 (376)1.0 (367)
maxclique/brock800_2.clq.wcnf0.9987 (780)0.9974 (781)0.9936 (784)0.9962 (782)1.0 (779)0.9974 (781)0.9924 (785)1.0 (779)
maxclique/brock800_3.clq.wcnf0.9974 (780)0.9962 (781)0.9949 (782)0.9936 (783)1.0 (778)0.9962 (781)0.9923 (784)1.0 (778)
maxclique/brock800_4.clq.wcnf0.9987 (780)0.9974 (781)0.9936 (784)0.9949 (783)1.0 (779)0.9974 (781)0.9962 (782)1.0 (779)
maxclique/p_hat1000-1.clq.wcnf1.0 (990)1.0 (990)0.999 (991)1.0 (990)1.0 (990)0.0 (-)1.0 (990)1.0 (990)
maxclique/p_hat1000-2.clq.wcnf1.0 (954)0.9958 (958)0.9876 (966)0.9815 (972)1.0 (954)0.9969 (957)0.9855 (968)1.0 (954)
maxclique/p_hat500-3.clq.wcnf1.0 (450)0.989 (455)0.9783 (460)0.9698 (464)1.0 (450)0.989 (455)0.9868 (456)1.0 (450)
maxclique/p_hat700-1.clq.wcnf1.0 (689)1.0 (689)0.9957 (692)0.9986 (690)1.0 (689)0.9971 (691)1.0 (689)1.0 (689)
maxclique/sanr200_0.9.clq.wcnf1.0 (158)0.9814 (161)0.9693 (163)0.9518 (166)1.0 (158)0.9461 (167)0.9937 (159)1.0 (158)
maxclique/sanr400_0.7.clq.wcnf1.0 (379)0.9974 (380)0.9921 (382)0.9948 (381)1.0 (379)0.9948 (381)0.9921 (382)1.0 (379)
maxcut/MANN_a9.clq.wcnf1.0 (422)0.9953 (424)0.9526 (443)0.8023 (526)1.0 (422)0.9814 (430)0.556 (759)1.0 (422)
maxcut/brock200_1.clq.wcnf1.0 (238)0.9407 (253)0.8981 (265)0.8848 (269)1.0 (238)0.9597 (248)0.6819 (349)1.0 (238)
maxcut/brock400_2.clq.wcnf1.0 (252)0.9655 (261)0.9197 (274)0.84 (300)1.0 (252)0.9582 (263)0.6961 (362)1.0 (252)
maxcut/brock400_4.clq.wcnf1.0 (249)0.9614 (259)0.8893 (280)0.8412 (296)1.0 (249)0.9504 (262)0.501 (497)1.0 (249)
maxcut/brock800_2.clq.wcnf1.0 (207)0.9718 (213)0.8697 (238)0.7753 (267)1.0 (207)0.9539 (217)0.6273 (330)1.0 (207)
maxcut/brock800_3.clq.wcnf1.0 (203)0.9269 (219)0.8565 (237)0.7546 (269)1.0 (203)0.9398 (216)0.6042 (336)1.0 (203)
maxcut/hamming10-2.clq.wcnf1.0 (400)1.0 (400)1.0 (400)0.7519 (532)1.0 (400)1.0 (400)0.5128 (780)1.0 (400)
maxcut/hamming6-4.clq.wcnf1.0 (192)1.0 (192)0.6275 (306)0.6134 (313)1.0 (192)1.0 (192)0.6621 (290)1.0 (192)
maxcut/hamming8-4.clq.wcnf1.0 (176)1.0 (176)0.8 (220)0.6984 (252)1.0 (176)0.9362 (188)0.6642 (265)1.0 (176)
maxcut/p_hat1000-2.clq.wcnf1.0 (142)0.9726 (146)0.8931 (159)0.7676 (185)1.0 (142)0.9467 (150)0.5917 (240)1.0 (142)
maxcut/p_hat1000-3.clq.wcnf1.0 (238)0.9558 (249)0.8981 (265)0.9558 (249)1.0 (238)0.9636 (247)0.623 (382)1.0 (238)
maxcut/p_hat500-3.clq.wcnf1.0 (284)0.9793 (290)0.9161 (310)0.8738 (325)1.0 (284)0.9693 (293)0.719 (395)1.0 (284)
maxcut/p_hat700-2.clq.wcnf1.0 (154)0.9565 (161)0.9059 (170)0.7549 (204)1.0 (154)0.9747 (158)0.7064 (218)1.0 (154)
maxcut/p_hat700-3.clq.wcnf1.0 (267)0.9604 (278)0.9051 (295)0.8669 (308)1.0 (267)0.9639 (277)0.546 (489)1.0 (267)
maxcut/san400_0.5_1.clq.wcnf1.0 (146)0.9669 (151)0.9068 (161)0.7766 (188)1.0 (146)0.9481 (154)0.7122 (205)1.0 (146)
maxcut/san400_0.7_1.clq.wcnf1.0 (236)0.9516 (248)0.9147 (258)0.9291 (254)1.0 (236)0.9516 (248)0.5799 (407)1.0 (236)
maxcut/san400_0.7_2.clq.wcnf1.0 (236)0.9593 (246)0.8872 (266)0.7893 (299)1.0 (236)0.9593 (246)0.6067 (389)1.0 (236)
maxcut/san400_0.7_3.clq.wcnf1.0 (230)0.9623 (239)0.8915 (258)0.8273 (278)1.0 (230)0.9664 (238)0.5736 (401)1.0 (230)
maxcut/san400_0.9_1.clq.wcnf1.0 (304)0.9744 (312)0.9383 (324)0.9325 (326)1.0 (304)0.9775 (311)0.6387 (476)1.0 (304)
maxcut/sanr200_0.7.clq.wcnf1.0 (227)0.966 (235)0.8937 (254)0.8255 (275)1.0 (227)0.9619 (236)0.7116 (319)1.0 (227)
maxcut/t5pm3-7777.spn.wcnf1.0 (78)0.8041 (97)0.8864 (88)0.6724 (116)1.0 (78)0.9512 (82)0.5735 (136)1.0 (78)
maxcut/t6pm3-8888.spn.wcnf1.0 (136)0.7234 (188)0.7556 (180)0.6355 (214)1.0 (136)0.9189 (148)0.6239 (218)1.0 (136)
maxcut/t7pm3-9999.spn.wcnf0.9905 (211)0.6944 (301)0.6093 (343)0.6093 (343)1.0 (209)0.8601 (243)0.5989 (349)0.9631 (217)
min-fill/MinFill_R0_miles1500.wcnf0.1915 (1420)0.1279 (2126)0.1013 (2684)0.0978 (2780)0.0 (-)1.0 (272)0.1758 (1547)0.1494 (1821)
min-fill/MinFill_R0_mulsol.i.1.wcnf0.8402 (169)0.1177 (1206)1.0 (142)0.0312 (4552)0.0713 (1991)0.953 (149)0.0711 (1996)0.1215 (1169)
min-fill/MinFill_R0_mulsol.i.2.wcnf0.7649 (319)0.1254 (1946)1.0 (244)0.0281 (8676)0.0558 (4376)0.0385 (6342)0.1222 (1997)0.1071 (2279)
min-fill/MinFill_R0_mulsol.i.3.wcnf0.7313 (361)0.113 (2337)1.0 (264)0.0266 (9924)0.0523 (5048)0.0494 (5341)0.1267 (2084)0.0614 (4303)
min-fill/MinFill_R0_mulsol.i.4.wcnf0.7715 (337)0.1077 (2413)1.0 (260)0.0329 (7910)0.0832 (3125)0.0416 (6245)0.1132 (2297)0.0725 (3586)
min-fill/MinFill_R0_mulsol.i.5.wcnf0.7413 (344)0.1059 (2409)1.0 (255)0.029 (8789)0.0482 (5291)0.0537 (4747)0.102 (2500)0.1792 (1423)
min-fill/MinFill_R0_myciel6.wcnf0.6905 (1163)0.5679 (1414)1.0 (803)0.2589 (3102)0.5375 (1494)0.3619 (2219)0.4806 (1671)0.6922 (1160)
min-fill/MinFill_R0_myciel7.wcnf0.3681 (14166)0.6319 (8253)0.3849 (13550)0.3698 (14103)0.6017 (8667)0.3935 (13253)0.5561 (9377)1.0 (5215)
min-fill/MinFill_R0_queen11_11.wcnf0.9437 (4708)0.9441 (4706)0.9356 (4749)0.8549 (5197)0.9724 (4569)0.881 (5043)0.8907 (4988)1.0 (4443)
min-fill/MinFill_R0_queen6_6.wcnf0.9872 (234)0.9872 (234)1.0 (231)0.7804 (296)0.9957 (232)0.9429 (245)0.8652 (267)0.9706 (238)
min-fill/MinFill_R0_queen7_7.wcnf0.9904 (519)1.0 (514)0.968 (531)0.8006 (642)0.9923 (518)0.8399 (612)0.8847 (581)0.9885 (520)
min-fill/MinFill_R0_queen8_12.wcnf0.9757 (2673)0.989 (2637)0.9388 (2778)0.8719 (2991)0.9973 (2615)0.8627 (3023)0.8656 (3013)1.0 (2608)
min-fill/MinFill_R0_queen8_8.wcnf0.9655 (1043)0.9518 (1058)1.0 (1007)0.8288 (1215)0.0 (-)0.8498 (1185)0.9007 (1118)0.9902 (1017)
min-fill/MinFill_R0_queen9_9.wcnf0.9481 (1811)0.9388 (1829)0.9332 (1840)0.8327 (2062)0.9783 (1755)0.8425 (2038)0.9018 (1904)1.0 (1717)
min-fill/MinFill_R1_games120.wcnf0.6763 (3268)0.7394 (2989)0.7862 (2811)0.5925 (3730)1.0 (2210)0.6203 (3563)0.6581 (3358)0.9761 (2264)
min-fill/MinFill_R3_miles1000.wcnf1.0 (932)0.4921 (1894)0.2562 (3638)0.3098 (3008)0.0 (-)0.3502 (2661)0.3006 (3100)0.4129 (2257)
min-fill/MinFill_R3_miles750.wcnf1.0 (977)0.4585 (2131)0.281 (3477)0.269 (3632)0.3378 (2892)0.3344 (2922)0.3248 (3008)0.4278 (2284)
min-fill/MinFill_R4_miles500.wcnf1.0 (781)0.7431 (1051)0.3812 (2049)0.3482 (2243)0.4458 (1752)0.3693 (2115)0.3474 (2248)0.6355 (1229)
set-covering/scpclr11_maxsat.wcnf1.0 (23)0.6765 (34)0.8214 (28)0.2584 (89)1.0 (23)0.6765 (34)0.0225 (1023)1.0 (23)
set-covering/scpclr12_maxsat.wcnf0.8846 (26)0.6571 (35)0.8519 (27)0.3067 (75)1.0 (23)0.697 (33)0.0112 (2047)1.0 (23)
set-covering/scpclr13_maxsat.wcnf0.8214 (28)0.7667 (30)0.697 (33)0.3067 (75)1.0 (23)0.6571 (35)0.0056 (4095)1.0 (23)
set-covering/scpcyc06_maxsat.wcnf1.0 (60)0.8219 (73)0.9091 (66)0.5357 (112)1.0 (60)0.8108 (74)0.25 (240)1.0 (60)
set-covering/scpcyc07_maxsat.wcnf1.0 (144)0.7094 (203)0.8834 (163)0.4586 (314)1.0 (144)0.7784 (185)0.2143 (672)0.9172 (157)
set-covering/scpcyc08_maxsat.wcnf0.9884 (346)0.6564 (521)0.886 (386)0.4156 (823)1.0 (342)0.7808 (438)0.1908 (1792)0.8792 (389)
set-covering/scpcyc09_maxsat.wcnf0.9801 (805)0.5897 (1338)0.7804 (1011)0.3709 (2127)1.0 (789)0.766 (1030)0.1712 (4608)0.8567 (921)
set-covering/scpcyc10_maxsat.wcnf0.9608 (1890)0.3632 (5000)0.7675 (2366)0.3123 (5814)1.0 (1816)0.7738 (2347)0.1576 (11520)0.8546 (2125)
set-covering/scpcyc11_maxsat.wcnf0.9661 (4282)0.0 (-)0.7634 (5419)0.279 (14827)1.0 (4137)0.7843 (5275)0.1469 (28160)0.8633 (4792)
treewidth-computation/TWComp_1c75_N69.wcnf0.9667 (30)1.0 (29)0.6444 (45)0.9667 (30)0.9355 (31)0.4265 (68)0.6905 (42)0.5179 (56)
treewidth-computation/TWComp_1dj7_N73.wcnf1.0 (26)1.0 (26)0.6047 (43)1.0 (26)0.963 (27)0.3611 (72)0.6047 (43)0.4643 (56)
treewidth-computation/TWComp_1dp_N76.wcnf0.963 (27)1.0 (26)0.6341 (41)0.963 (27)0.963 (27)0.3467 (75)0.5417 (48)0.4333 (60)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf1.0 (9)1.0 (9)0.4737 (19)1.0 (9)1.0 (9)0.18 (50)0.4286 (21)0.3214 (28)
treewidth-computation/TWComp_myciel5_N47.wcnf1.0 (19)1.0 (19)0.7308 (26)1.0 (19)1.0 (19)0.413 (46)0.8636 (22)0.5938 (32)
treewidth-computation/TWComp_queen5_5_N25.wcnf0.0 (-)1.0 (18)0.9 (20)1.0 (18)1.0 (18)0.75 (24)0.9474 (19)0.9 (20)
treewidth-computation/TWComp_queen6_6_N36.wcnf1.0 (25)1.0 (25)0.8929 (28)1.0 (25)0.9615 (26)0.7143 (35)0.8929 (28)0.7353 (34)
treewidth-computation/TWComp_queen7_7_N49.wcnf1.0 (35)1.0 (35)0.8974 (39)1.0 (35)0.9722 (36)0.7292 (48)0.875 (40)0.875 (40)
reversi/rev66-12.wcnf1.0 (21)1.0 (21)1.0 (21)0.75 (28)0.7 (30)1.0 (21)1.0 (21)1.0 (21)
reversi/rev66-14.wcnf1.0 (19)1.0 (19)1.0 (19)0.7917 (24)0.0 (-)1.0 (19)1.0 (19)0.7308 (26)
reversi/rev66-16.wcnf1.0 (17)1.0 (17)1.0 (17)0.7727 (22)0.0 (-)0.7727 (22)1.0 (17)0.7083 (24)
reversi/rev66-18.wcnf1.0 (15)1.0 (15)1.0 (15)0.75 (20)0.0 (-)0.5 (30)0.4167 (36)0.0 (-)
reversi/rev66-20.wcnf1.0 (13)1.0 (13)0.3824 (34)0.7222 (18)0.0 (-)0.3095 (42)0.3421 (38)0.0 (-)
reversi/rev66-22.wcnf1.0 (11)1.0 (11)0.2895 (38)1.0 (11)0.0 (-)0.2895 (38)0.3235 (34)0.0 (-)
reversi/rev66-26.wcnf1.0 (7)1.0 (7)0.1944 (36)1.0 (7)0.0 (-)0.1591 (44)0.1842 (38)0.0 (-)
reversi/rev66-32.wcnf1.0 (1)1.0 (1)0.0233 (43)1.0 (1)0.0 (-)0.0208 (48)0.0244 (41)0.0 (-)
atcoss-mesat/atcoss_mesat_02.wcnf1.0 (50)1.0 (50)0.5 (100)0.6173 (81)0.0 (-)0.1667 (300)0.4545 (110)0.0 (-)
atcoss-mesat/atcoss_mesat_03.wcnf1.0 (50)0.8929 (56)0.5495 (91)0.5556 (90)0.0 (-)0.1667 (300)0.3846 (130)0.0 (-)
atcoss-mesat/atcoss_mesat_04.wcnf1.0 (33)0.4853 (68)0.33 (100)0.0 (-)0.0 (-)0.11 (300)0.2357 (140)0.0 (-)
atcoss-mesat/atcoss_mesat_05.wcnf1.0 (12)0.5 (24)0.169 (71)0.0 (-)0.0 (-)0.04 (300)0.1 (120)0.0 (-)
atcoss-mesat/atcoss_mesat_10.wcnf1.0 (13)0.65 (20)0.1444 (90)0.2364 (55)0.0 (-)0.0433 (300)0.1 (130)0.0 (-)
atcoss-mesat/atcoss_mesat_15.wcnf1.0 (70)0.0 (-)0.6542 (107)0.0 (-)0.0 (-)0.2333 (300)0.035 (2000)0.0 (-)
atcoss-mesat/atcoss_mesat_18.wcnf1.0 (12)0.4286 (28)0.1091 (110)0.0 (-)0.0 (-)0.04 (300)0.0923 (130)0.0 (-)
atcoss-sugar/atcoss_sugar_02.wcnf1.0 (50)1.0 (50)0.6329 (79)0.8621 (58)0.5556 (90)0.1786 (280)0.3205 (156)0.0 (-)
atcoss-sugar/atcoss_sugar_03.wcnf1.0 (50)0.9615 (52)0.3968 (126)0.8065 (62)0.5814 (86)0.1718 (291)0.3759 (133)0.0 (-)
atcoss-sugar/atcoss_sugar_04.wcnf1.0 (34)0.8947 (38)0.2931 (116)0.3617 (94)0.0 (-)0.1193 (285)0.2429 (140)0.0 (-)
atcoss-sugar/atcoss_sugar_05.wcnf1.0 (12)0.8571 (14)0.1091 (110)0.2143 (56)0.0 (-)0.0427 (281)0.0945 (127)0.0 (-)
atcoss-sugar/atcoss_sugar_10.wcnf1.0 (16)0.8 (20)0.1455 (110)0.5517 (29)0.2 (80)0.0544 (294)0.1203 (133)0.0 (-)
atcoss-sugar/atcoss_sugar_15.wcnf1.0 (76)0.8837 (86)0.4634 (164)0.0 (-)0.0 (-)0.2695 (282)0.038 (2000)0.0 (-)
atcoss-sugar/atcoss_sugar_18.wcnf1.0 (16)0.8889 (18)0.1333 (120)0.2759 (58)0.0 (-)0.0567 (282)0.1053 (152)0.0 (-)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf1.0 (142)0.8931 (159)0.5966 (238)0.6574 (216)0.0 (-)0.673 (211)0.3595 (395)0.7933 (179)
scheduling/cnf_10.wcnf1.0 (55)0.7333 (75)0.1253 (439)0.3819 (144)0.3819 (144)0.2218 (248)0.3395 (162)0.4231 (130)
scheduling/cnf_12.wcnf1.0 (64)0.9275 (69)0.1749 (366)0.2807 (228)0.4571 (140)0.1481 (432)0.5203 (123)0.4923 (130)
scheduling/cnf_small.wcnf1.0 (28)1.0 (28)0.875 (32)0.6087 (46)0.5957 (47)1.0 (28)0.7368 (38)0.6364 (44)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf0.9894 (1039)1.0 (1028)0.4109 (2502)1.0 (1028)0.0 (-)0.1146 (8971)0.9942 (1034)0.0 (-)
aes-key-recovery/AES1-76-36.wcnf0.9762 (42)1.0 (41)0.519 (79)0.8367 (49)0.0 (-)0.4607 (89)0.5775 (71)0.6721 (61)
aes-key-recovery/AES2-72-67.wcnf0.48 (50)0.6 (40)0.48 (50)0.3429 (70)0.0 (-)1.0 (24)0.2759 (87)0.3582 (67)
aes/mul_8_11.wcnf1.0 (64)0.3299 (194)0.6095 (105)0.3404 (188)1.0 (64)0.075 (853)0.3299 (194)0.4211 (152)
aes/mul_8_13.wcnf0.9677 (62)0.3704 (162)0.8696 (69)0.3846 (156)1.0 (60)0.0357 (1682)0.3704 (162)0.4138 (145)
aes/mul_8_14.wcnf0.9655 (58)0.5091 (110)1.0 (56)0.5385 (104)1.0 (56)0.0658 (851)0.5091 (110)0.4088 (137)
aes/mul_8_9.wcnf1.0 (42)0.506 (83)1.0 (42)0.5122 (82)1.0 (42)0.0317 (1324)0.506 (83)0.7119 (59)
aes/sbox_8.wcnf0.0 (-)0.0 (-)0.0 (-)0.6619 (843)0.0 (-)0.0 (-)0.8194 (681)1.0 (558)
bcp-hipp/SU3__simp-genos.haps.21.wcnf1.0 (112)1.0 (112)1.0 (112)0.9825 (114)0.9739 (115)1.0 (112)0.9739 (115)0.9825 (114)
bcp-hipp/SU3__simp-genos.haps.63.wcnf1.0 (89)1.0 (89)0.9889 (90)0.899 (99)0.957 (93)0.957 (93)0.8476 (105)0.9368 (95)
bcp-hipp/SU3__simp-genos.haps.80.wcnf1.0 (102)1.0 (102)0.9903 (103)0.9533 (107)0.9808 (104)0.9533 (107)0.9107 (112)0.9623 (106)
bcp-hipp/SU3__simp-genos.haps.9.wcnf1.0 (106)1.0 (106)1.0 (106)0.9815 (108)0.9815 (108)1.0 (106)0.9907 (107)0.9907 (107)
bcp-msp/normalized-f1000.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (2001)0.0 (-)
bcp-msp/normalized-f2000.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (4001)0.0 (-)
bcp-msp/normalized-f600.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (1201)0.0 (-)
bcp-msp/normalized-g125.17.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (4251)0.0 (-)
bcp-msp/normalized-g125.18.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.4977 (4501)1.0 (2240)
bcp-msp/normalized-g250.15.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (3750)0.0 (-)0.4999 (7501)1.0 (3750)
bcp-msp/normalized-g250.29.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (14501)0.0 (-)
bcp-msp/normalized-ii16a1.wcnf0.9425 (1218)1.0 (1148)0.8497 (1351)0.7513 (1528)0.899 (1277)0.7406 (1550)0.8177 (1404)0.9991 (1149)
bcp-msp/normalized-ii16a2.wcnf1.0 (1164)1.0 (1164)0.9949 (1170)0.8022 (1451)1.0 (1164)0.7335 (1587)0.9533 (1221)1.0 (1164)
bcp-msp/normalized-ii16c1.wcnf0.9006 (1378)1.0 (1241)0.8883 (1397)0.8709 (1425)0.9331 (1330)0.8148 (1523)0.8678 (1430)0.9488 (1308)
bcp-msp/normalized-ii16d1.wcnf0.9281 (959)1.0 (890)0.9063 (982)0.8541 (1042)0.8777 (1014)0.7404 (1202)0.9204 (967)0.9727 (915)
bcp-msp/normalized-ii32d2.wcnf1.0 (372)1.0 (372)0.9973 (373)1.0 (372)0.9947 (374)0.9841 (378)0.9894 (376)1.0 (372)
bcp-msp/normalized-par32-1-c.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (2631)0.0 (-)
bcp-msp/normalized-par32-1.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (6353)0.0 (-)
bcp-msp/normalized-par32-2-c.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (2607)0.0 (-)
bcp-msp/normalized-par32-2.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (6353)0.0 (-)
bcp-syn/normalized-ex1010.pi.wcnf1.0 (268)0.6336 (423)0.971 (276)0.6336 (423)0.9024 (297)0.6105 (439)0.6381 (420)0.7263 (369)
bcp-syn/normalized-m200_500_10_10.r.wcnf1.0 (39)0.7222 (54)0.8864 (44)0.6964 (56)0.975 (40)0.65 (60)0.65 (60)0.8478 (46)
bcp-syn/normalized-test4.pi.wcnf1.0 (107)0.6646 (161)0.9386 (114)0.5978 (179)0.964 (111)0.608 (176)0.6221 (172)0.7754 (138)
des/cnf.17.p.10.wcnf0.8095 (21)0.8095 (21)0.9444 (18)0.68 (25)0.0 (-)0.7083 (24)1.0 (17)0.0 (-)
des/cnf.18.p.10.wcnf0.8571 (21)0.8571 (21)0.8571 (21)0.6667 (27)0.0 (-)0.6923 (26)1.0 (18)0.0 (-)
des/cnf.20.p.9.wcnf0.9583 (24)1.0 (23)0.8519 (27)0.7931 (29)0.0 (-)0.8846 (26)0.9583 (24)0.0 (-)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf0.9144 (222)1.0 (203)0.8602 (236)0.8638 (235)0.9269 (219)0.8458 (240)0.8638 (235)0.9103 (223)
fault-diagnosis/s38584_nan_explicit_15_0.wcnf1.0 (208)0.9905 (210)0.9083 (229)0.9083 (229)0.8889 (234)0.8221 (253)1.0 (208)0.9286 (224)
fault-diagnosis/s38584_nan_explicit_1_0.wcnf1.0 (127)1.0 (127)0.8411 (151)0.6195 (205)0.7791 (163)0.8247 (154)0.8355 (152)0.8038 (158)
fault-diagnosis/s38584_nan_explicit_3_0.wcnf1.0 (151)0.9934 (152)0.9497 (159)0.6991 (216)0.6453 (234)0.8483 (178)0.9869 (153)0.7475 (202)
fault-diagnosis/s38584_nan_explicit_4_0.wcnf1.0 (149)0.9933 (150)0.8098 (184)0.693 (215)0.0 (-)0.8142 (183)0.8466 (176)0.6835 (218)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf1.0 (177)0.9833 (180)0.9465 (187)0.962 (184)0.0 (-)0.8271 (214)0.8719 (203)0.7629 (232)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf1.0 (197)1.0 (197)0.8347 (236)0.8565 (230)0.8756 (225)0.8312 (237)0.9899 (199)0.9336 (211)
mbd/b21_C-mbd14-0218.wcnf1.0 (26)0.8387 (31)0.8125 (32)0.194 (134)0.2826 (92)0.4407 (59)0.7429 (35)0.2653 (98)
sean-safarpour/SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf0.0 (-)0.0 (-)1.0 (400)0.9091 (440)0.0007 (542927)0.0 (-)0.6932 (577)0.3617 (1106)
sean-safarpour/rsdecoder-problem.dimacs_38.filtered.wcnf0.2063 (63)0.0 (-)0.0068 (1900)1.0 (13)0.0 (649192)0.0 (-)0.029 (448)0.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_41.filtered.wcnf0.0174 (8497)0.0 (-)0.0011 (137593)1.0 (148)0.0002 (643031)0.0 (-)0.0562 (2634)0.0 (-)
sean-safarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf0.119 (3127)0.0 (-)1.0 (372)0.0 (-)0.0002 (1518069)0.0 (-)0.1091 (3410)0.0 (-)
sean-safarpour/wb_4m8s-problem.dimacs_49.filtered.wcnf0.0 (-)0.0 (-)1.0 (693)0.0 (-)0.0004 (1573308)0.0 (-)0.0 (-)0.0 (-)
sean-safarpour/wb_4m8s4.dimacs.filtered.wcnf0.6199 (371)1.0 (230)0.6647 (346)0.6133 (375)0.001 (231939)0.0312 (7369)1.0 (230)0.935 (246)
sean-safarpour/wb_conmax1.dimacs.filtered.wcnf0.4211 (95)0.7407 (54)0.7547 (53)0.5797 (69)0.0004 (113513)0.3419 (117)1.0 (40)0.7407 (54)
✝ Hors concours solver.