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

BenchmarkOpen-WBO-LSUMaxHS-incmaxrosterWPM3-in✝SAT4J✝LMHS-incDist✝CCEHC✝
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf0.3889 (18)0.5 (14)0.2333 (30)0.3684 (19)0.3684 (19)1.0 (7)0.3684 (19)0.5833 (12)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf0.5385 (13)0.5833 (12)0.6364 (11)0.3889 (18)0.5833 (12)1.0 (7)0.4667 (15)0.5 (14)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf0.4 (10)1.0 (4)0.3077 (13)0.1538 (26)0.5 (8)1.0 (4)0.1379 (29)0.4444 (9)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf0.4706 (17)1.0 (8)0.5714 (14)0.4 (20)0.4444 (18)0.8 (10)0.4211 (19)0.5333 (15)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf0.6111 (18)0.55 (20)0.6471 (17)0.4583 (24)0.5 (22)1.0 (11)0.6111 (18)0.5238 (21)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf0.5 (18)0.5294 (17)0.4737 (19)0.5 (18)0.375 (24)1.0 (9)0.3462 (26)0.3913 (23)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf0.3714 (35)0.7222 (18)0.5417 (24)0.1831 (71)0.619 (21)1.0 (13)0.4333 (30)0.4815 (27)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf0.5833 (24)0.9333 (15)0.5385 (26)0.2857 (49)0.5833 (24)1.0 (14)0.5385 (26)0.6364 (22)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf0.5625 (16)0.8182 (11)0.375 (24)0.1837 (49)0.6 (15)1.0 (9)0.5625 (16)0.45 (20)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf0.5217 (23)0.9231 (13)0.3429 (35)0.3333 (36)0.6 (20)1.0 (12)0.4286 (28)0.5455 (22)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf0.5882 (17)0.9091 (11)0.625 (16)0.2041 (49)0.5556 (18)1.0 (10)0.5263 (19)0.5882 (17)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf0.4167 (24)0.7143 (14)0.625 (16)0.4167 (24)0.4348 (23)1.0 (10)0.5556 (18)0.5556 (18)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf0.4706 (17)1.0 (8)0.1667 (48)0.2051 (39)0.5714 (14)0.8 (10)0.381 (21)0.4211 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf0.5556 (18)0.8333 (12)0.2174 (46)0.5263 (19)0.5263 (19)1.0 (10)0.5263 (19)0.5263 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf0.6875 (16)0.8462 (13)0.6471 (17)0.6875 (16)0.6111 (18)1.0 (11)0.9167 (12)0.55 (20)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf0.4 (20)1.0 (8)0.2581 (31)0.3636 (22)0.8 (10)1.0 (8)0.4 (20)0.4706 (17)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf0.8182 (11)0.6923 (13)1.0 (9)0.9 (10)0.3 (30)0.8182 (11)0.5625 (16)0.5 (18)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf0.5263 (19)0.8333 (12)0.9091 (11)0.25 (40)0.3448 (29)1.0 (10)0.3846 (26)0.5556 (18)
haplotype-assembly/splitedReads_0.matrix.wcnf0.5628 (3479)1.0 (1958)0.9547 (2051)0.6735 (2907)0.6357 (3080)0.95 (2061)0.6339 (3089)0.7271 (2693)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf0.0 (-)1.0 (58)0.0 (-)0.9206 (63)0.0 (-)0.8788 (66)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-1_6-no-3.wcnf0.8235 (17)0.6087 (23)1.0 (14)0.6087 (23)0.9333 (15)0.5185 (27)0.359 (39)0.9333 (15)
gen-hyper-tw/GenHyperTW_aim-50-2_0-no-3.wcnf0.8421 (19)0.5714 (28)1.0 (16)0.64 (25)0.8421 (19)0.64 (25)0.2963 (54)0.8421 (19)
gen-hyper-tw/GenHyperTW_aim-50-2_0-yes1-3.wcnf0.8947 (19)0.6538 (26)1.0 (17)0.7083 (24)0.9444 (18)0.68 (25)0.3778 (45)0.9444 (18)
gen-hyper-tw/GenHyperTW_aim-50-3_4-yes1-3.wcnf1.0 (22)0.7586 (29)0.0 (-)0.8148 (27)0.8462 (26)0.8148 (27)0.25 (88)0.9565 (23)
gen-hyper-tw/GenHyperTW_atv_partial_system.wcnf1.0 (18)0.5625 (32)0.0 (-)0.5806 (31)0.72 (25)0.6429 (28)0.439 (41)0.0 (-)
gen-hyper-tw/GenHyperTW_clique_15.wcnf0.9167 (12)0.7857 (14)1.0 (11)0.7333 (15)0.9167 (12)0.7857 (14)0.0 (-)0.9167 (12)
gen-hyper-tw/GenHyperTW_dubois20.wcnf0.8889 (9)0.3636 (22)0.0 (-)0.381 (21)1.0 (8)0.3478 (23)0.25 (32)1.0 (8)
gen-hyper-tw/GenHyperTW_dubois21.wcnf0.9 (10)0.3462 (26)0.0 (-)0.6429 (14)0.75 (12)0.3103 (29)0.1667 (54)1.0 (9)
gen-hyper-tw/GenHyperTW_dubois23.wcnf0.5 (12)0.3333 (18)0.0 (-)0.2609 (23)0.4615 (13)0.2143 (28)0.15 (40)1.0 (6)
gen-hyper-tw/GenHyperTW_dubois25.wcnf0.7 (20)0.4375 (32)0.0 (-)0.7368 (19)1.0 (14)0.4118 (34)0.3111 (45)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois27.wcnf0.5263 (19)0.3226 (31)0.0 (-)1.0 (10)0.5 (20)0.4 (25)0.1961 (51)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois28.wcnf0.8462 (26)0.6667 (33)0.0 (-)0.6875 (32)0.6875 (32)1.0 (22)0.449 (49)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois29.wcnf1.0 (14)0.4516 (31)0.0 (-)0.359 (39)0.0 (-)0.5385 (26)0.2692 (52)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois30.wcnf1.0 (20)0.6061 (33)0.0 (-)0.5882 (34)0.0 (-)0.5 (40)0.3922 (51)0.0 (-)
gen-hyper-tw/GenHyperTW_flat30-1.wcnf1.0 (54)0.931 (58)0.0 (-)1.0 (54)0.0 (-)0.931 (58)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_flat30-99.wcnf0.9167 (60)1.0 (55)0.0 (-)0.1833 (300)0.0 (-)0.873 (63)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_grid3d_5.wcnf0.875 (16)0.6087 (23)1.0 (14)0.56 (25)0.9333 (15)0.6087 (23)0.4 (35)0.875 (16)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf0.8889 (9)0.5714 (14)1.0 (8)0.5333 (15)1.0 (8)0.6154 (13)0.3636 (22)0.8889 (9)
gen-hyper-tw/GenHyperTW_hole9.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (69)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf1.0 (20)0.625 (32)0.0 (-)0.5714 (35)0.7143 (28)0.6452 (31)0.2247 (89)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-2-c.wcnf0.9259 (27)0.7813 (32)0.0 (-)1.0 (25)0.8621 (29)0.7143 (35)0.2809 (89)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-3-c.wcnf1.0 (32)0.8 (40)0.0 (-)0.8421 (38)0.8421 (38)0.7805 (41)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf1.0 (26)0.7429 (35)0.0 (-)0.65 (40)0.7222 (36)0.6842 (38)0.5 (52)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf1.0 (33)0.9706 (34)0.0 (-)0.8462 (39)1.0 (33)0.8684 (38)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_pret60_25.wcnf1.0 (10)0.4167 (24)0.0 (-)0.3571 (28)0.6667 (15)0.4167 (24)0.303 (33)1.0 (10)
gen-hyper-tw/GenHyperTW_pret60_60.wcnf1.0 (10)0.4167 (24)0.0 (-)0.3571 (28)0.6667 (15)0.4167 (24)0.303 (33)1.0 (10)
gen-hyper-tw/GenHyperTW_s208.wcnf1.0 (23)0.7931 (29)0.0 (-)0.5111 (45)0.5349 (43)0.5349 (43)0.5349 (43)0.0 (-)
gen-hyper-tw/GenHyperTW_uf20-01.wcnf0.8571 (7)0.5 (12)1.0 (6)0.8571 (7)0.8571 (7)0.5 (12)0.1667 (36)0.75 (8)
gen-hyper-tw/GenHyperTW_uf20-099.wcnf0.8571 (7)0.5455 (11)1.0 (6)0.8571 (7)1.0 (6)0.5 (12)0.1622 (37)0.75 (8)
maxclique/brock200_1.clq.wcnf0.9944 (180)0.989 (181)1.0 (179)1.0 (179)0.9835 (182)0.9944 (180)1.0 (179)1.0 (179)
maxclique/brock400_1.clq.wcnf0.9921 (378)0.9894 (379)1.0 (375)0.9894 (379)0.9894 (379)0.9921 (378)1.0 (375)1.0 (375)
maxclique/brock400_4.clq.wcnf0.9709 (378)0.9683 (379)0.9787 (375)0.9761 (376)0.9658 (380)0.9709 (378)1.0 (367)1.0 (367)
maxclique/brock800_2.clq.wcnf0.9962 (782)0.9936 (784)0.9987 (780)0.9924 (785)0.9936 (784)0.9974 (781)1.0 (779)1.0 (779)
maxclique/brock800_3.clq.wcnf0.9962 (781)0.9949 (782)0.9974 (780)0.9911 (785)0.9936 (783)0.9962 (781)1.0 (778)1.0 (778)
maxclique/brock800_4.clq.wcnf0.9974 (781)0.9936 (784)0.9987 (780)0.9924 (785)0.9924 (785)0.9974 (781)1.0 (779)1.0 (779)
maxclique/p_hat1000-1.clq.wcnf1.0 (990)0.999 (991)1.0 (990)1.0 (990)1.0 (990)0.0 (-)1.0 (990)1.0 (990)
maxclique/p_hat1000-2.clq.wcnf0.9948 (959)0.9876 (966)1.0 (954)0.9855 (968)0.9815 (972)0.0 (-)1.0 (954)1.0 (954)
maxclique/p_hat500-3.clq.wcnf0.9825 (458)0.9783 (460)1.0 (450)0.9698 (464)0.9698 (464)0.989 (455)1.0 (450)1.0 (450)
maxclique/p_hat700-1.clq.wcnf1.0 (689)0.9957 (692)0.9986 (690)1.0 (689)0.9986 (690)0.0 (-)1.0 (689)1.0 (689)
maxclique/sanr200_0.9.clq.wcnf0.9753 (162)0.9693 (163)1.0 (158)0.9875 (160)0.9518 (166)0.9461 (167)1.0 (158)1.0 (158)
maxclique/sanr400_0.7.clq.wcnf0.9974 (380)0.9921 (382)1.0 (379)0.987 (384)0.9948 (381)0.9948 (381)1.0 (379)1.0 (379)
maxcut/MANN_a9.clq.wcnf0.9953 (424)0.9526 (443)1.0 (422)0.556 (759)0.8023 (526)0.9791 (431)1.0 (422)1.0 (422)
maxcut/brock200_1.clq.wcnf0.9407 (253)0.8981 (265)1.0 (238)0.6819 (349)0.8848 (269)0.9597 (248)1.0 (238)1.0 (238)
maxcut/brock400_2.clq.wcnf0.9545 (264)0.9197 (274)1.0 (252)0.6961 (362)0.84 (300)0.9582 (263)1.0 (252)1.0 (252)
maxcut/brock400_4.clq.wcnf0.9614 (259)0.8893 (280)1.0 (249)0.501 (497)0.8412 (296)0.9504 (262)1.0 (249)1.0 (249)
maxcut/brock800_2.clq.wcnf0.9283 (223)0.8697 (238)1.0 (207)0.6273 (330)0.7753 (267)0.9539 (217)1.0 (207)1.0 (207)
maxcut/brock800_3.clq.wcnf0.9269 (219)0.8565 (237)1.0 (203)0.6042 (336)0.7546 (269)0.9398 (216)1.0 (203)1.0 (203)
maxcut/hamming10-2.clq.wcnf1.0 (400)1.0 (400)1.0 (400)0.5128 (780)0.7519 (532)1.0 (400)1.0 (400)1.0 (400)
maxcut/hamming6-4.clq.wcnf1.0 (192)0.6275 (306)1.0 (192)0.6621 (290)0.6134 (313)1.0 (192)1.0 (192)1.0 (192)
maxcut/hamming8-4.clq.wcnf1.0 (176)0.8 (220)1.0 (176)0.6642 (265)0.6984 (252)0.9362 (188)1.0 (176)1.0 (176)
maxcut/p_hat1000-2.clq.wcnf0.9726 (146)0.8931 (159)1.0 (142)0.5917 (240)0.7676 (185)0.9467 (150)1.0 (142)1.0 (142)
maxcut/p_hat1000-3.clq.wcnf0.9482 (251)0.8981 (265)1.0 (238)0.623 (382)0.7829 (304)0.9636 (247)1.0 (238)1.0 (238)
maxcut/p_hat500-3.clq.wcnf0.953 (298)0.9161 (310)1.0 (284)0.719 (395)0.8738 (325)0.9693 (293)1.0 (284)1.0 (284)
maxcut/p_hat700-2.clq.wcnf0.9565 (161)0.9059 (170)1.0 (154)0.7064 (218)0.7549 (204)0.9747 (158)1.0 (154)1.0 (154)
maxcut/p_hat700-3.clq.wcnf0.957 (279)0.9051 (295)1.0 (267)0.546 (489)0.8669 (308)0.9639 (277)1.0 (267)1.0 (267)
maxcut/san400_0.5_1.clq.wcnf0.9359 (156)0.9068 (161)1.0 (146)0.7122 (205)0.7766 (188)0.9481 (154)1.0 (146)1.0 (146)
maxcut/san400_0.7_1.clq.wcnf0.9516 (248)0.9147 (258)1.0 (236)0.5799 (407)0.8708 (271)0.9516 (248)1.0 (236)1.0 (236)
maxcut/san400_0.7_2.clq.wcnf0.9365 (252)0.8872 (266)1.0 (236)0.6067 (389)0.7893 (299)0.9593 (246)1.0 (236)1.0 (236)
maxcut/san400_0.7_3.clq.wcnf0.9623 (239)0.8915 (258)1.0 (230)0.5736 (401)0.8273 (278)0.9664 (238)1.0 (230)1.0 (230)
maxcut/san400_0.9_1.clq.wcnf0.9744 (312)0.9383 (324)1.0 (304)0.6387 (476)0.9325 (326)0.9744 (312)1.0 (304)1.0 (304)
maxcut/sanr200_0.7.clq.wcnf0.966 (235)0.8937 (254)1.0 (227)0.7116 (319)0.8255 (275)0.9619 (236)1.0 (227)1.0 (227)
maxcut/t5pm3-7777.spn.wcnf0.8041 (97)0.8864 (88)1.0 (78)0.5735 (136)0.6724 (116)0.9512 (82)1.0 (78)1.0 (78)
maxcut/t6pm3-8888.spn.wcnf0.6869 (198)0.7556 (180)1.0 (136)0.6239 (218)0.6355 (214)0.8947 (152)1.0 (136)1.0 (136)
maxcut/t7pm3-9999.spn.wcnf0.6471 (323)0.6093 (343)0.9905 (211)0.5989 (349)0.6093 (343)0.7333 (285)0.9631 (217)1.0 (209)
min-fill/MinFill_R0_miles1500.wcnf0.5108 (2126)0.4046 (2684)1.0 (1086)0.5801 (1872)0.3906 (2780)0.648 (1676)0.5964 (1821)0.0 (-)
min-fill/MinFill_R0_mulsol.i.1.wcnf0.107 (1374)1.0 (147)0.735 (200)0.0415 (3542)0.0323 (4552)0.0574 (2562)0.1237 (1188)0.0831 (1769)
min-fill/MinFill_R0_mulsol.i.2.wcnf0.0403 (7908)0.0538 (5932)1.0 (319)0.1077 (2961)0.0368 (8676)0.0457 (6977)0.0536 (5946)0.0 (-)
min-fill/MinFill_R0_mulsol.i.3.wcnf0.0448 (8052)0.0561 (6439)1.0 (361)0.1559 (2315)0.0364 (9924)0.0595 (6063)0.0741 (4870)0.0 (-)
min-fill/MinFill_R0_mulsol.i.4.wcnf0.0388 (8675)0.047 (7175)1.0 (337)0.0999 (3372)0.0426 (7910)0.0518 (6511)0.0869 (3877)0.0 (-)
min-fill/MinFill_R0_mulsol.i.5.wcnf0.0463 (7431)0.0322 (10679)1.0 (344)0.0673 (5112)0.0344 (9989)0.0725 (4747)0.0892 (3857)0.0 (-)
min-fill/MinFill_R0_myciel6.wcnf0.7928 (1414)0.4084 (2745)0.9639 (1163)0.6709 (1671)0.3614 (3102)0.4053 (2766)0.7086 (1582)1.0 (1121)
min-fill/MinFill_R0_myciel7.wcnf0.4852 (13843)0.0 (-)0.4742 (14166)0.488 (13763)0.4763 (14103)0.5068 (13253)1.0 (6717)0.0 (-)
min-fill/MinFill_R0_queen11_11.wcnf0.9472 (4777)0.9528 (4749)0.8985 (5036)0.8982 (5038)0.8707 (5197)0.8973 (5043)1.0 (4525)0.0 (-)
min-fill/MinFill_R0_queen6_6.wcnf1.0 (236)0.9874 (239)0.9916 (238)0.8839 (267)0.7973 (296)0.8708 (271)0.9916 (238)1.0 (236)
min-fill/MinFill_R0_queen7_7.wcnf0.9849 (529)0.9577 (544)0.9738 (535)0.8967 (581)0.8115 (642)0.8349 (624)0.9812 (531)1.0 (521)
min-fill/MinFill_R0_queen8_12.wcnf0.9533 (2764)0.9485 (2778)0.8642 (3049)0.8745 (3013)0.881 (2991)0.8685 (3034)0.9902 (2661)1.0 (2635)
min-fill/MinFill_R0_queen8_8.wcnf0.9735 (1058)0.9415 (1094)0.9828 (1048)0.8773 (1174)0.8142 (1265)0.8463 (1217)1.0 (1030)0.0 (-)
min-fill/MinFill_R0_queen9_9.wcnf0.9574 (1829)0.9349 (1873)0.9669 (1811)0.9196 (1904)0.8492 (2062)0.8562 (2045)0.9568 (1830)1.0 (1751)
min-fill/MinFill_R1_games120.wcnf0.793 (3014)0.8502 (2811)0.6482 (3687)0.6477 (3690)0.6408 (3730)0.6708 (3563)1.0 (2390)0.9325 (2563)
min-fill/MinFill_R3_miles1000.wcnf0.3254 (2864)0.2562 (3638)1.0 (932)0.2702 (3449)0.3098 (3008)0.3133 (2975)0.3973 (2346)0.0 (-)
min-fill/MinFill_R3_miles750.wcnf0.3446 (2835)0.281 (3477)1.0 (977)0.3248 (3008)0.269 (3632)0.2989 (3269)0.4259 (2294)0.0 (-)
min-fill/MinFill_R4_miles500.wcnf0.568 (1375)0.3812 (2049)1.0 (781)0.3474 (2248)0.3482 (2243)0.3377 (2313)0.536 (1457)0.4275 (1827)
set-covering/scpclr11_maxsat.wcnf0.6571 (35)0.8214 (28)1.0 (23)0.0225 (1023)0.2584 (89)0.6765 (34)1.0 (23)1.0 (23)
set-covering/scpclr12_maxsat.wcnf0.6571 (35)0.8519 (27)0.8846 (26)0.0112 (2047)0.3026 (76)0.697 (33)1.0 (23)1.0 (23)
set-covering/scpclr13_maxsat.wcnf0.7667 (30)0.697 (33)0.8214 (28)0.0056 (4095)0.3026 (76)0.5897 (39)1.0 (23)1.0 (23)
set-covering/scpcyc06_maxsat.wcnf0.8219 (73)0.9091 (66)1.0 (60)0.25 (240)0.5217 (115)0.8108 (74)0.9836 (61)1.0 (60)
set-covering/scpcyc07_maxsat.wcnf0.7094 (203)0.8834 (163)1.0 (144)0.2143 (672)0.4586 (314)0.7784 (185)0.9172 (157)1.0 (144)
set-covering/scpcyc08_maxsat.wcnf0.6369 (537)0.886 (386)0.9884 (346)0.1908 (1792)0.4135 (827)0.7808 (438)0.8769 (390)1.0 (342)
set-covering/scpcyc09_maxsat.wcnf0.5545 (1432)0.7854 (1011)0.9863 (805)0.1723 (4608)0.3724 (2132)0.7709 (1030)0.8612 (922)1.0 (794)
set-covering/scpcyc10_maxsat.wcnf0.2063 (8808)0.768 (2366)0.9614 (1890)0.1577 (11520)0.3123 (5819)0.7742 (2347)0.8551 (2125)1.0 (1817)
set-covering/scpcyc11_maxsat.wcnf0.1515 (28160)0.7874 (5419)0.9965 (4282)0.1515 (28160)0.2877 (14831)0.7698 (5543)0.8904 (4792)1.0 (4267)
treewidth-computation/TWComp_1c75_N69.wcnf1.0 (31)0.6889 (45)0.0 (-)0.7381 (42)1.0 (31)0.4559 (68)0.5536 (56)0.9688 (32)
treewidth-computation/TWComp_1dj7_N73.wcnf1.0 (26)0.6047 (43)0.8387 (31)0.6047 (43)0.963 (27)0.3611 (72)0.4643 (56)0.9286 (28)
treewidth-computation/TWComp_1dp_N76.wcnf0.9643 (28)0.6585 (41)0.0 (-)0.5625 (48)0.871 (31)0.36 (75)0.4219 (64)1.0 (27)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf0.9 (10)0.4737 (19)1.0 (9)0.4286 (21)0.9 (10)0.18 (50)0.3214 (28)1.0 (9)
treewidth-computation/TWComp_myciel5_N47.wcnf1.0 (19)0.7308 (26)1.0 (19)0.8636 (22)1.0 (19)0.413 (46)0.5938 (32)1.0 (19)
treewidth-computation/TWComp_queen5_5_N25.wcnf1.0 (18)0.9 (20)0.9474 (19)0.9474 (19)1.0 (18)0.75 (24)0.8182 (22)1.0 (18)
treewidth-computation/TWComp_queen6_6_N36.wcnf1.0 (25)0.8929 (28)0.0 (-)0.8929 (28)1.0 (25)0.7143 (35)0.7353 (34)0.9259 (27)
treewidth-computation/TWComp_queen7_7_N49.wcnf1.0 (35)0.8974 (39)0.0 (-)0.875 (40)1.0 (35)0.7292 (48)0.8333 (42)1.0 (35)
reversi/rev66-12.wcnf1.0 (21)0.8077 (26)1.0 (21)1.0 (21)0.75 (28)1.0 (21)0.8077 (26)0.0 (-)
reversi/rev66-14.wcnf1.0 (19)0.6786 (28)1.0 (19)1.0 (19)0.7308 (26)1.0 (19)0.7308 (26)0.0 (-)
reversi/rev66-16.wcnf1.0 (17)1.0 (17)1.0 (17)1.0 (17)0.7727 (22)0.6538 (26)0.0 (-)0.0 (-)
reversi/rev66-18.wcnf1.0 (15)0.4167 (36)1.0 (15)0.4167 (36)0.7143 (21)0.5 (30)0.0 (-)0.0 (-)
reversi/rev66-20.wcnf1.0 (13)0.3824 (34)0.7222 (18)0.3421 (38)0.65 (20)0.3095 (42)0.0 (-)0.0 (-)
reversi/rev66-22.wcnf1.0 (11)0.2895 (38)0.7333 (15)0.3235 (34)0.8462 (13)0.2895 (38)0.0 (-)0.0 (-)
reversi/rev66-26.wcnf1.0 (11)0.3056 (36)0.7333 (15)0.2895 (38)0.6875 (16)0.25 (44)0.0 (-)0.0 (-)
reversi/rev66-32.wcnf0.4 (5)0.0465 (43)0.2857 (7)0.0488 (41)1.0 (2)0.0417 (48)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_02.wcnf0.6933 (75)0.52 (100)1.0 (52)0.4727 (110)0.0 (-)0.1733 (300)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_03.wcnf1.0 (84)0.9231 (91)0.0 (-)0.6462 (130)0.0 (-)0.28 (300)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_04.wcnf0.0 (-)1.0 (100)0.0 (-)0.05 (2000)0.0 (-)0.3333 (300)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_05.wcnf0.0 (-)0.9437 (71)1.0 (67)0.0335 (2000)0.0 (-)0.2233 (300)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_10.wcnf0.6222 (90)0.6222 (90)1.0 (56)0.4308 (130)0.0 (-)0.1867 (300)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_15.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (2000)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-mesat/atcoss_mesat_18.wcnf0.0 (-)1.0 (110)0.0 (-)0.055 (2000)0.0 (-)0.3667 (300)0.0 (-)0.0 (-)
atcoss-sugar/atcoss_sugar_02.wcnf0.8621 (58)0.6329 (79)1.0 (50)0.3205 (156)0.7463 (67)0.1786 (280)0.0 (-)0.5495 (91)
atcoss-sugar/atcoss_sugar_03.wcnf1.0 (59)0.4683 (126)0.0 (-)0.4436 (133)0.8082 (73)0.2027 (291)0.0 (-)0.602 (98)
atcoss-sugar/atcoss_sugar_04.wcnf1.0 (52)0.4483 (116)0.0 (-)0.3714 (140)0.0 (-)0.1825 (285)0.0 (-)0.0 (-)
atcoss-sugar/atcoss_sugar_05.wcnf1.0 (23)0.2091 (110)0.3966 (58)0.1811 (127)0.0 (-)0.0819 (281)0.0 (-)0.0 (-)
atcoss-sugar/atcoss_sugar_10.wcnf1.0 (24)0.2182 (110)0.0 (-)0.1805 (133)0.5581 (43)0.0816 (294)0.0 (-)0.2667 (90)
atcoss-sugar/atcoss_sugar_15.wcnf0.0 (-)1.0 (164)0.0 (-)0.082 (2000)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-sugar/atcoss_sugar_18.wcnf1.0 (24)0.2 (120)0.0 (-)0.1579 (152)0.0 (-)0.0851 (282)0.0 (-)0.0 (-)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf0.8786 (173)0.6387 (238)1.0 (152)0.3848 (395)0.7037 (216)0.7204 (211)0.8261 (184)0.0 (-)
scheduling/cnf_10.wcnf1.0 (119)0.2711 (439)0.85 (140)0.7346 (162)0.5174 (230)0.4798 (248)0.7126 (167)0.0 (-)
scheduling/cnf_12.wcnf0.7742 (93)0.1967 (366)1.0 (72)0.4645 (155)0.3158 (228)0.1667 (432)0.4706 (153)0.0 (-)
scheduling/cnf_small.wcnf1.0 (29)0.9063 (32)1.0 (29)0.5577 (52)0.5918 (49)0.9063 (32)0.617 (47)0.5918 (49)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf0.6208 (1656)0.4109 (2502)0.0 (-)0.9942 (1034)1.0 (1028)0.0 (-)0.0 (-)0.0 (-)
aes-key-recovery/AES1-76-36.wcnf1.0 (42)0.5316 (79)0.75 (56)0.5915 (71)0.7778 (54)0.4719 (89)0.5676 (74)0.0 (-)
aes-key-recovery/AES2-72-67.wcnf0.9138 (58)1.0 (53)0.8154 (65)0.6092 (87)0.7571 (70)0.5464 (97)0.0 (-)0.0 (-)
aes/mul_8_11.wcnf0.3299 (194)0.4961 (129)1.0 (64)0.3299 (194)0.3404 (188)0.0 (-)0.3975 (161)0.9697 (66)
aes/mul_8_13.wcnf0.3704 (162)0.5217 (115)0.9677 (62)0.3704 (162)0.3846 (156)0.0 (-)0.4054 (148)1.0 (60)
aes/mul_8_14.wcnf0.5091 (110)0.6087 (92)0.9655 (58)0.5091 (110)0.5385 (104)0.0 (-)0.4088 (137)1.0 (56)
aes/mul_8_9.wcnf0.506 (83)1.0 (42)1.0 (42)0.506 (83)0.5122 (82)0.0 (-)0.5833 (72)1.0 (42)
aes/sbox_8.wcnf0.7953 (845)1.0 (672)0.0 (-)0.9518 (706)0.7972 (843)0.0 (-)0.0 (-)0.0 (-)
bcp-hipp/SU3__simp-genos.haps.21.wcnf1.0 (112)0.9912 (113)1.0 (112)0.9739 (115)0.9655 (116)0.9655 (116)0.9739 (115)0.9655 (116)
bcp-hipp/SU3__simp-genos.haps.63.wcnf0.9891 (92)0.9785 (93)1.0 (91)0.8426 (108)0.9192 (99)0.9479 (96)0.9579 (95)0.9579 (95)
bcp-hipp/SU3__simp-genos.haps.80.wcnf1.0 (102)0.9903 (103)1.0 (102)0.9107 (112)0.9358 (109)0.9189 (111)0.9623 (106)0.9623 (106)
bcp-hipp/SU3__simp-genos.haps.9.wcnf1.0 (106)1.0 (106)1.0 (106)0.9725 (109)0.955 (111)0.9464 (112)0.9815 (108)0.9725 (109)
bcp-msp/normalized-f1000.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (2001)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-f2000.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (4001)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-f600.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (1201)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-g125.17.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (4251)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-g125.18.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (4501)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-g250.15.wcnf0.0 (-)0.0 (-)0.0 (-)0.4999 (7501)0.0 (-)0.0 (-)1.0 (3750)1.0 (3750)
bcp-msp/normalized-g250.29.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (14501)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-ii16a1.wcnf0.9762 (1177)0.8505 (1351)0.7748 (1483)0.8184 (1404)0.752 (1528)0.7413 (1550)1.0 (1149)0.9026 (1273)
bcp-msp/normalized-ii16a2.wcnf0.9932 (1172)0.9949 (1170)0.8255 (1410)0.9533 (1221)0.8022 (1451)0.7335 (1587)1.0 (1164)1.0 (1164)
bcp-msp/normalized-ii16c1.wcnf0.9646 (1356)0.9363 (1397)0.916 (1428)0.9147 (1430)0.9179 (1425)0.8588 (1523)1.0 (1308)0.9872 (1325)
bcp-msp/normalized-ii16d1.wcnf0.9385 (975)0.9006 (1016)0.7888 (1160)0.9462 (967)0.8781 (1042)0.7612 (1202)1.0 (915)0.8858 (1033)
bcp-msp/normalized-ii32d2.wcnf1.0 (372)0.9973 (373)1.0 (372)0.9688 (384)1.0 (372)0.9841 (378)1.0 (372)0.0 (-)
bcp-msp/normalized-par32-1-c.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (2631)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-par32-1.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (6353)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-par32-2-c.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (2607)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp/normalized-par32-2.wcnf0.0 (-)0.0 (-)0.0 (-)1.0 (6353)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-syn/normalized-ex1010.pi.wcnf0.6336 (423)0.971 (276)1.0 (268)0.6381 (420)0.6336 (423)0.6105 (439)0.7166 (374)0.8963 (299)
bcp-syn/normalized-m200_500_10_10.r.wcnf0.7091 (55)0.8864 (44)1.0 (39)0.65 (60)0.6964 (56)0.65 (60)0.8478 (46)0.9512 (41)
bcp-syn/normalized-test4.pi.wcnf0.6221 (172)0.9386 (114)1.0 (107)0.6221 (172)0.5978 (179)0.608 (176)0.7698 (139)0.9554 (112)
des/cnf.17.p.10.wcnf1.0 (24)0.8571 (28)1.0 (24)0.96 (25)0.8 (30)0.96 (25)0.0 (-)0.0 (-)
des/cnf.18.p.10.wcnf0.963 (27)0.8667 (30)0.8387 (31)1.0 (26)0.0 (-)1.0 (26)0.0 (-)0.0 (-)
des/cnf.20.p.9.wcnf1.0 (26)0.8667 (30)0.9286 (28)0.8966 (29)0.8387 (31)0.9286 (28)0.0 (-)0.0 (-)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf1.0 (203)0.7519 (270)0.7302 (278)0.8565 (237)0.8638 (235)0.0 (-)0.7575 (268)0.0 (-)
fault-diagnosis/s38584_nan_explicit_15_0.wcnf1.0 (210)0.917 (229)0.814 (258)0.9633 (218)0.8787 (239)0.0 (-)0.8607 (244)0.8787 (239)
fault-diagnosis/s38584_nan_explicit_1_0.wcnf1.0 (132)0.7719 (171)0.7135 (185)0.8462 (156)0.6439 (205)0.0 (-)0.6226 (212)0.5641 (234)
fault-diagnosis/s38584_nan_explicit_3_0.wcnf1.0 (156)0.9286 (168)0.9176 (170)0.9017 (173)0.7222 (216)0.0 (-)0.6341 (246)0.0 (-)
fault-diagnosis/s38584_nan_explicit_4_0.wcnf1.0 (190)0.0 (-)0.9005 (211)0.9744 (195)0.8837 (215)0.0 (-)0.8482 (224)0.8261 (230)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf1.0 (192)0.932 (206)0.9366 (205)0.9412 (204)0.8101 (237)0.0 (-)0.6761 (284)0.0 (-)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf1.0 (197)0.7756 (254)0.8312 (237)0.8914 (221)0.7944 (248)0.0 (-)0.8914 (221)0.0 (-)
mbd/b21_C-mbd14-0218.wcnf0.9355 (31)0.6905 (42)1.0 (29)0.8286 (35)0.2164 (134)0.3625 (80)0.2397 (121)0.2788 (104)
sean-safarpour/SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf0.7626 (577)0.0013 (344111)0.0 (-)0.7626 (577)1.0 (440)0.0 (-)0.3819 (1152)0.0008 (569123)
sean-safarpour/rsdecoder-problem.dimacs_38.filtered.wcnf0.0741 (850)0.0005 (138695)1.0 (63)0.1406 (448)0.0 (-)0.0 (-)0.0 (-)0.0001 (671527)
sean-safarpour/rsdecoder-problem.dimacs_41.filtered.wcnf1.0 (2589)0.0188 (137593)0.0 (-)0.9829 (2634)0.0 (-)0.0 (-)0.0 (-)0.0039 (664892)
sean-safarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf0.9389 (3632)0.0 (-)0.0 (-)1.0 (3410)0.0 (-)0.0 (-)0.0 (-)0.0022 (1536316)
sean-safarpour/wb_4m8s-problem.dimacs_49.filtered.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (1589817)
sean-safarpour/wb_4m8s4.dimacs.filtered.wcnf1.0 (230)0.4064 (566)0.0 (-)1.0 (230)0.6133 (375)0.0 (-)0.92 (250)0.0009 (264986)
sean-safarpour/wb_conmax1.dimacs.filtered.wcnf1.0 (54)0.4252 (127)0.5684 (95)1.0 (54)0.7826 (69)0.0 (-)1.0 (54)0.0003 (158039)
✝ Hors concours solver