BenchmarkTT-Open-WBO-IncLoandraOpen-WBO-Inc
(inc-bmo-satlike)		Open-WBO-Inc
(inc-bmo-complete)		LinSBPS2018Open-WBO-gSATLikesls-mcs2Open-WBO-mssls-mcsuwrmaxsat-inc
spot5/log/1401.wcsp.log.wcnf.gz0.9348 (491113)0.9787 (469110)0.9503 (483115)0.9503 (483115)0.9914 (463111)0.9684 (474109)0.9746 (471100)0.9746 (471099)0.9745 (471115)0.9746 (471099)0.8777 (523104)
spot5/log/1403.wcsp.log.wcnf.gz0.9685 (476268)0.9957 (463280)0.9705 (475282)0.9705 (475282)1.0 (461265)0.9726 (474269)0.9788 (471240)0.9768 (472243)0.9808 (470271)0.9768 (472243)0.9644 (478275)
spot5/dir/1405.wcsp.dir.wcnf.gz0.9582 (479460)0.9999 (459462)0.9582 (479458)0.9582 (479458)0.9914 (463439)0.9787 (469453)0.9913 (463452)1.0 (459444)0.9663 (475465)1.0 (459445)0.9126 (503428)
spot5/log/1405.wcsp.log.wcnf.gz0.9663 (475472)0.9956 (461458)0.9484 (484455)0.9484 (484455)1.0 (459446)0.9787 (469455)0.9725 (472423)0.9725 (472418)0.9786 (469470)0.9725 (472418)0.9406 (488471)
spot5/log/1407.wcsp.log.wcnf.gz0.9486 (486637)0.9914 (465638)0.9428 (489645)0.9428 (489645)1.0 (461619)0.9746 (473632)0.9789 (471584)0.983 (469601)0.9808 (470646)0.9789 (471578)0.8765 (526649)
hs-timetabling/BrazilInstance1.xml.wcnf.gz0.9756 (40)1.0 (39)0.6349 (62)0.6349 (62)0.9302 (42)0.4878 (81)0.2703 (147)0.6667 (59)0.5063 (78)0.2899 (137)0.4494 (88)
hs-timetabling/BrazilInstance2.xml.wcnf.gz0.8571 (6)1.0 (5)0.0968 (61)0.0968 (61)1.0 (5)0.0984 (60)0.0209 (286)0.0741 (80)0.0896 (66)0.0231 (259)0.1538 (38)
hs-timetabling/BrazilInstance4.xml.wcnf.gz0.4646 (126)0.7867 (74)0.2379 (247)0.2379 (247)0.5673 (103)0.2921 (201)0.4069 (144)0.2122 (277)0.2077 (283)0.2122 (277)0.181 (325)
hs-timetabling/BrazilInstance5.xml.wcnf.gz0.2857 (69)0.274 (72)0.1852 (107)0.1852 (107)0.7407 (26)0.1818 (109)0.3125 (63)0.1527 (130)0.202 (98)0.0411 (486)0.1389 (143)
hs-timetabling/BrazilInstance6.xml.wcnf.gz0.4359 (116)0.3312 (153)0.2684 (189)0.2684 (189)0.4513 (112)0.2865 (177)0.311 (163)0.2073 (245)0.2563 (198)0.086 (592)0.2372 (214)
hs-timetabling/BrazilInstance7.xml.wcnf.gz0.6649 (187)0.387 (322)0.2735 (456)0.2735 (456)0.4223 (295)0.2998 (416)0.2682 (465)0.2593 (481)0.3492 (357)0.1437 (869)0.4682 (266)
timetabling/EA07.lp.sm-extracted.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
hs-timetabling/FinlandHighSchool.xml.wcnf.gz0.5 (25)0.0929 (139)0.02 (649)0.02 (649)0.0897 (144)0.0166 (784)0.0422 (307)0.018 (722)0.0211 (614)0.018 (722)0.0256 (506)
hs-timetabling/FinlandSecondarySchool.xml.wcnf.gz0.1673 (531)0.3296 (269)0.1376 (646)0.1376 (646)0.6593 (134)0.1516 (586)0.2928 (303)0.1621 (548)0.1532 (580)0.1651 (538)0.1216 (731)
hs-timetabling/ItalyInstance1.xml.wcnf.gz1.0 (12)0.9286 (13)0.4063 (31)0.4063 (31)1.0 (12)0.2131 (60)0.0438 (296)0.25 (51)0.3023 (42)0.0444 (292)1.0 (12)
hs-timetabling/ItalyInstance4.xml.wcnf.gz0.1591 (439)0.1095 (638)0.0101 (6940)0.0101 (6940)0.0031 (22445)0.0142 (4934)0.0077 (9130)0.0 (-)0.0102 (6895)0.0 (-)0.0598 (1170)
maxcut/dimacs_mod/MANN_a27.clq.wcnf.gz0.9314 (2200)0.9725 (2107)1.0 (2049)0.931 (2201)0.9884 (2073)0.9544 (2147)1.0 (2049)1.0 (2049)0.9456 (2167)1.0 (2049)0.9688 (2115)
maxcut/dimacs_mod/MANN_a81.clq.wcnf.gz0.9713 (2054)0.9955 (2004)0.9995 (1996)0.9713 (2054)0.9828 (2030)0.9657 (2066)1.0 (1995)1.0 (1995)0.9541 (2091)1.0 (1995)0.8963 (2226)
min-width/MinWidthCB_mitdbsample_100_43_1k_5s_1t_5.wcnf.gz0.994 (33570)1.0 (33370)0.994 (33570)0.994 (33570)0.9065 (36810)0.9056 (36850)0.965 (34580)0.9932 (33600)0.9541 (34975)0.9852 (33870)0.8754 (38120)
min-width/MinWidthCB_mitdbsample_100_43_1k_5s_2t_5.wcnf.gz1.0 (32625)0.9162 (35610)1.0 (32625)1.0 (32625)0.8893 (36685)0.9315 (35025)0.9615 (33930)0.988 (33020)0.9302 (35075)0.9767 (33405)0.8376 (38950)
min-width/MinWidthCB_mitdbsample_200_26_1k_10s_1t_10.wcnf.gz0.9398 (25490)0.9832 (24365)0.9525 (25150)0.9398 (25490)0.954 (25110)0.8622 (27785)0.9538 (25115)0.9836 (24355)0.8588 (27895)0.9891 (24220)0.7985 (30000)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_1t_10.wcnf.gz0.9428 (28685)0.9876 (27385)0.9428 (28685)0.9428 (28685)0.9959 (27155)0.7478 (36165)0.953 (28380)0.9801 (27595)0.8347 (32400)0.9905 (27305)0.8205 (32960)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_1t_12.wcnf.gz1.0 (26785)0.9826 (27260)1.0 (26785)1.0 (26785)0.9922 (26995)0.9086 (29480)0.9705 (27600)0.9765 (27430)0.8405 (31870)0.9777 (27395)0.8818 (30375)
min-width/MinWidthCB_mitdbsample_200_43_1k_4s_2t_6.wcnf.gz0.9505 (48555)0.9856 (46825)0.9505 (48555)0.9505 (48555)0.9492 (48620)0.8922 (51725)0.9688 (47635)0.9703 (47565)0.8844 (52185)0.967 (47725)0.8617 (53555)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_1t_12.wcnf.gz0.947 (64600)0.7734 (79100)0.947 (64600)0.947 (64600)0.8859 (69055)0.7997 (76500)0.9429 (64880)0.9773 (62595)0.8668 (70575)0.979 (62490)0.8688 (70410)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_3t_10.wcnf.gz1.0 (55925)0.9413 (59410)1.0 (55925)1.0 (55925)0.9488 (58945)0.8352 (66960)0.9296 (60160)0.9805 (57040)0.8298 (67400)0.9579 (58380)0.8757 (63860)
min-width/MinWidthCB_mitdbsample_200_64_1k_2s_1t_4.wcnf.gz0.9057 (85425)0.9504 (81405)0.9788 (79045)0.9057 (85425)0.9919 (78000)0.885 (87425)0.9847 (78575)0.9992 (77435)0.9052 (85475)0.9954 (77725)0.9596 (80625)
min-width/MinWidthCB_mitdbsample_300_32_1k_15s_1t_17.wcnf.gz1.0 (26920)0.9307 (28925)1.0 (26920)1.0 (26920)0.9675 (27825)0.8025 (33545)0.9035 (29795)0.9245 (29120)0.6213 (43330)0.9213 (29220)0.7449 (36140)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_1t_8.wcnf.gz0.984 (46250)0.9866 (46130)0.9837 (46265)0.9837 (46265)0.9743 (46710)0.9283 (49025)0.9786 (46505)0.9899 (45975)0.8682 (52420)0.9928 (45840)0.9234 (49285)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf.gz0.9714 (77955)1.0 (75725)0.9714 (77955)0.9714 (77955)0.9559 (79220)0.9494 (79765)0.9717 (77930)0.9731 (77815)0.9337 (81100)0.9722 (77890)0.9787 (77370)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_10.wcnf.gz0.9645 (90834)0.9082 (96462)0.9645 (90834)0.9645 (90834)0.9484 (92376)0.9644 (90840)0.956 (91639)0.9132 (95930)0.9644 (90840)0.9144 (95811)0.8891 (98527)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf.gz0.9626 (91239)0.9892 (88787)0.9626 (91239)0.9626 (91239)0.9497 (92477)0.9626 (91239)0.9577 (91706)0.9119 (96311)0.9626 (91239)0.9081 (96711)0.9126 (96238)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf.gz1.0 (80571)0.9889 (81472)1.0 (80571)1.0 (80571)0.9928 (81154)0.8585 (93849)0.9616 (83787)0.934 (86260)0.4083 (197321)0.9258 (87024)0.9627 (83689)
min-width/MinWidthCB_power_200_24_1k_10s_2t_10.wcnf.gz0.9218 (69997)0.9903 (65155)0.9218 (69997)0.9218 (69997)0.9354 (68985)0.9512 (67840)0.9504 (67892)0.9316 (69264)0.9512 (67840)0.9316 (69264)0.993 (64982)
min-width/MinWidthCB_power_600_24_1k_12s_2t_12.wcnf.gz0.9757 (76559)1.0 (74695)0.9757 (76559)0.9757 (76559)0.9418 (79313)0.9681 (77158)0.948 (78791)0.8858 (84326)0.9681 (77158)0.8739 (85476)0.9909 (75381)
BTBNSL/Rounded_BTWBNSL_Flag.BIC_TWBound_2.wcnf.gz0.9929 (277184337)0.9979 (275792604)0.992 (277438886)0.992 (277438886)0.9795 (280991084)0.992 (277438886)0.9183 (299713985)0.9708 (283514464)0.992 (277438886)0.9685 (284169962)0.9752 (282207234)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_2.wcnf.gz0.9965 (454710948)0.9994 (453358872)0.9965 (454710948)0.9965 (454710948)0.9921 (456726611)0.9965 (454710948)0.9915 (456995265)0.984 (460469288)0.9965 (454710948)0.9819 (461440615)0.9933 (456142025)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf.gz0.9966 (454646129)1.0 (453084111)0.9964 (454710948)0.9964 (454710948)0.9949 (455408219)0.9964 (454710948)0.9889 (458189476)0.9831 (460883888)0.9964 (454710948)0.9842 (460373491)0.9943 (455689977)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_4.wcnf.gz0.9304 (338295204)1.0 (314757425)0.889 (354042004)0.889 (354042004)0.9607 (327622069)0.8892 (353992168)0.8078 (389649439)0.9238 (340703070)0.8562 (367612381)0.9419 (334157824)0.9129 (344801417)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf.gz1.0 (464263033)0.9913 (468342686)1.0 (464263033)1.0 (464263033)0.9939 (467124903)1.0 (464263033)0.981 (473258822)0.9907 (468627128)1.0 (464263033)0.9907 (468627128)0.9467 (490390269)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_3.wcnf.gz0.9944 (35399331044)1.0 (35200646167)0.9944 (35399331044)0.9944 (35399331044)0.9966 (35320722522)0.9945 (35395993961)0.887 (39683011752)0.905 (38894660264)0.9945 (35395993961)0.9361 (37604936436)0.9922 (35475929091)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf.gz0.9835 (138121254)0.9986 (136035383)0.9829 (138202406)0.9829 (138202406)0.9651 (140746108)0.9836 (138107705)0.6904 (196765921)0.9555 (142158612)0.9836 (138107705)0.9558 (142115475)0.9045 (150177302)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_2.wcnf.gz0.9615 (52262431420)0.9911 (50701071832)0.9463 (53100475403)0.9463 (53100475403)0.9161 (54846974287)0.929 (54088615991)0.7646 (65720192730)0.8796 (57127193237)0.9408 (53409184242)0.8744 (57463406447)0.8865 (56683617712)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf.gz0.9912 (50377604606)0.9959 (50140863986)0.9348 (53414452459)0.9348 (53414452459)0.9885 (50515860038)0.9383 (53216258372)0.8096 (61679114572)0.8939 (55862173116)0.8843 (56468480594)0.8939 (55862173116)0.8137 (61369319473)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf.gz1.0 (5276763036)0.9667 (5458796488)1.0 (5276763036)1.0 (5276763036)0.9958 (5299239096)0.9839 (5363298099)0.7793 (6771514821)0.9037 (5839063003)0.9947 (5304952384)0.906 (5824506301)0.8969 (5883058061)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf.gz0.9663 (1440073647)1.0 (1391561065)0.9662 (1440305080)0.9662 (1440305080)0.9764 (1425154590)0.9656 (1441078246)0.6918 (2011645068)0.966 (1440567387)0.9656 (1441078246)0.9523 (1461259554)0.9709 (1433311248)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.gz0.9767 (1430907103)0.9994 (1398403565)0.9767 (1430907103)0.9767 (1430907103)0.9892 (1412902605)0.9767 (1430907103)0.8384 (1667017930)0.9614 (1453691508)0.9767 (1430907103)0.9579 (1458952070)0.9671 (1445163962)
BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_2.wcnf.gz0.9833 (173671218)1.0 (170770082)0.9833 (173671218)0.9833 (173671218)0.9864 (173121547)0.9833 (173671218)0.9574 (178377355)0.9518 (179413175)0.9833 (173671218)0.9617 (177575078)0.9992 (170914545)
BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf.gz0.9826 (173671218)1.0 (170656748)0.9826 (173671218)0.9826 (173671218)0.9888 (172595079)0.9826 (173671218)0.7703 (221553680)0.9631 (177198832)0.9826 (173671218)0.9649 (176864373)0.9983 (170949852)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf.gz0.9896 (29095743)0.8608 (33450121)0.9874 (29160839)0.9765 (29485341)0.7914 (36381183)0.9789 (29412606)0.9619 (29932805)0.9941 (28964500)0.9486 (30352250)0.9941 (28964500)0.9155 (31448976)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf.gz0.7836 (8041064)0.9551 (6596933)0.7255 (8685514)0.7307 (8623083)0.2589 (24333774)0.7071 (8910758)0.9264 (6801937)0.9355 (6735146)0.4929 (12784263)0.9438 (6676580)0.7223 (8723015)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf.gz0.6503 (10182385)0.7916 (8365492)0.505 (13113446)0.4837 (13691099)0.2892 (22898020)0.5003 (13236344)0.9438 (7015956)0.9374 (7063909)0.3016 (21958005)0.9419 (7030105)0.7022 (9430195)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.gz0.5 (14375557)0.7023 (10233619)0.3404 (21113918)0.3324 (21622838)0.2521 (28510545)0.3259 (22050416)0.9474 (7586743)0.9172 (7836153)0.2601 (27635444)0.9324 (7708469)0.6788 (10588317)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz0.3722 (21792271)0.8067 (10055220)0.3618 (22420472)0.3618 (22420472)0.4275 (18974949)0.349 (23242365)0.9354 (8670945)0.9123 (8890448)0.2483 (32671072)0.9263 (8756387)0.4481 (18101364)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N150.wcnf.gz0.8633 (5906665)0.9865 (5168896)0.858 (5942943)0.858 (5942943)0.5315 (9594135)0.8317 (6131320)0.9148 (5574070)0.9215 (5533951)0.7186 (7096380)0.922 (5530449)0.6712 (7597780)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N170.wcnf.gz0.8869 (8802599)0.9959 (7839062)0.9606 (8127377)0.8729 (8943641)0.2144 (36422756)0.8506 (9179086)0.8389 (9306127)0.1779 (43883326)0.8688 (8986590)0.1779 (43883326)0.8064 (9681502)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf.gz0.98 (18686546)0.8582 (21338304)0.8048 (22755257)0.8048 (22755257)0.1504 (121787295)0.7714 (23739151)0.2379 (76972215)0.0 (-)0.0 (-)0.0 (-)0.7488 (24455506)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf.gz0.918 (34789278)0.9766 (32704359)0.9745 (32773880)0.7417 (43058597)0.1714 (186341995)0.9602 (33260144)0.958 (33337331)0.9944 (32117511)0.6043 (52850957)0.9624 (33184821)0.9657 (33072595)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf.gz0.9529 (39645040)0.9699 (38952578)0.6874 (54956144)0.6874 (54956144)0.1794 (210644655)0.9493 (39797352)0.9718 (38873442)0.9831 (38429961)0.757 (49905570)0.9879 (38240331)0.9563 (39506188)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf.gz0.9417 (43053301)0.9618 (42153986)0.6856 (59139752)0.6856 (59139752)0.1537 (263825352)0.9546 (42471455)0.9856 (41133986)0.982 (41284733)0.1451 (279503837)0.9961 (40703055)0.9449 (42907186)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N160.wcnf.gz0.923 (8273378)0.9232 (8271793)0.9021 (8465514)0.9021 (8465514)0.3354 (22770075)0.8737 (8740732)0.8949 (8533712)0.9294 (8217156)0.1739 (43918500)0.8919 (8562054)0.6684 (11425648)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N180.wcnf.gz0.8922 (12203376)0.9767 (11147515)0.9002 (12094877)0.9002 (12094877)0.7335 (14843404)0.8961 (12150303)0.2261 (48165281)0.9478 (11487869)0.158 (68923842)0.3466 (31414802)0.8682 (12540420)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf.gz0.8823 (15635670)0.9193 (15007178)0.8533 (16168758)0.8533 (16168758)0.2702 (51062820)0.5156 (26755788)0.183 (75385817)0.208 (66339761)0.0 (-)0.208 (66339761)0.7511 (18367996)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf.gz0.9242 (17733016)0.9836 (16662166)0.8534 (19204401)0.8534 (19204401)0.1863 (87993525)0.8282 (19789483)0.1967 (83320528)0.0 (-)0.1643 (99730345)0.0 (-)0.8026 (20420548)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf.gz0.8985 (15619864)0.9932 (14129760)0.6458 (21732778)0.6458 (21732778)0.1679 (83595639)0.1925 (72912536)0.9359 (14995178)0.1762 (79658345)0.0 (-)0.1762 (79658345)0.7252 (19351102)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N240.wcnf.gz0.9135 (16762558)0.9408 (16275599)0.6275 (24402467)0.6275 (24402467)0.1905 (80372166)0.184 (83207986)0.1994 (76776354)0.169 (90586192)0.0 (-)0.169 (90586192)0.6766 (22630881)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N280.wcnf.gz0.8668 (23581643)0.9104 (22451215)0.635 (32188756)0.635 (32188756)0.1761 (116065161)0.8245 (24791426)0.181 (112941602)0.1613 (126746160)0.0 (-)0.1613 (126746160)0.7872 (25965406)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N400.wcnf.gz0.8765 (21315130)0.9983 (18714840)0.9254 (20189884)0.7482 (24970727)0.5726 (32629611)0.8492 (22001020)0.9098 (20534362)0.9725 (19211478)0.8525 (21915896)0.9725 (19211478)0.9045 (20656149)
correlation-clustering/Rounded_CorrelationClustering_Protein4_UNARY_N210.wcnf.gz0.8342 (5324046)0.9259 (4796494)0.7997 (5553962)0.7954 (5583708)0.468 (9489954)0.7621 (5827390)0.8859 (5013051)0.8979 (4946289)0.6653 (6675661)0.6989 (6354645)0.4811 (9230995)
correlation-clustering/Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf.gz0.8801 (7415436)0.9919 (6580077)0.8107 (8050722)0.8107 (8050722)0.1652 (39497335)0.7244 (9009708)0.2682 (24330938)0.899 (7259519)0.4705 (13872172)0.5011 (13024286)0.564 (11570942)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N740_D0.200.wcnf.gz0.694 (131848100)0.6944 (131765785)0.7221 (126710505)0.7221 (126710505)0.6599 (138650732)0.6879 (133008597)0.7134 (128254956)0.0 (-)0.0 (-)0.0 (-)0.6968 (131316300)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf.gz0.7044 (128657280)0.6743 (134409863)0.6678 (135724769)0.6678 (135724769)0.6387 (141901657)0.666 (136081569)0.6864 (132040203)0.0 (-)0.6665 (135972350)0.0 (-)0.6753 (134203716)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/adult_test_0_CNF_5_5.wcnf.gz0.8991 (2189)0.7892 (2494)0.7576 (2598)0.7576 (2598)0.9909 (1986)0.7427 (2650)0.8979 (2192)0.7716 (2551)0.7755 (2538)0.8865 (2220)0.6552 (3004)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_test_8_CNF_5_15.wcnf.gz0.9505 (6216)0.9477 (6234)0.8096 (7298)0.8096 (7298)0.8958 (6595)0.7595 (7779)0.9123 (6476)0.9133 (6469)0.7855 (7522)0.9032 (6541)0.6097 (9690)
af-synthesis/af-synthesis_stb_50_120_5.wcnf.gz1.0 (114)1.0 (114)0.8779 (130)0.9829 (116)1.0 (114)0.9746 (117)0.7468 (153)0.9055 (126)1.0 (114)0.6534 (175)0.9583 (119)
af-synthesis/af-synthesis_stb_50_120_7.wcnf.gz1.0 (120)1.0 (120)0.9098 (132)1.0 (120)1.0 (120)1.0 (120)0.761 (158)0.9758 (123)1.0 (120)0.6875 (175)1.0 (120)
af-synthesis/af-synthesis_stb_50_140_0.wcnf.gz0.9837 (122)0.9918 (121)0.9167 (131)0.9837 (122)1.0 (120)0.9758 (123)0.7378 (163)0.9167 (131)0.9758 (123)0.6612 (182)0.9453 (127)
af-synthesis/af-synthesis_stb_50_140_1.wcnf.gz1.0 (127)1.0 (127)0.9209 (138)0.9771 (130)1.0 (127)1.0 (127)0.7711 (165)0.9922 (128)1.0 (127)0.6737 (189)0.9697 (131)
af-synthesis/af-synthesis_stb_50_140_7.wcnf.gz0.9821 (111)1.0 (109)0.8943 (122)1.0 (109)1.0 (109)0.991 (110)0.8088 (135)0.9565 (114)0.991 (110)0.6395 (171)0.8462 (129)
af-synthesis/af-synthesis_stb_50_160_4.wcnf.gz1.0 (123)1.0 (123)0.8671 (142)1.0 (123)1.0 (123)0.9841 (125)0.7337 (168)0.8986 (137)0.9841 (125)0.6169 (200)0.9841 (125)
af-synthesis/af-synthesis_stb_50_160_6.wcnf.gz1.0 (123)1.0 (123)0.9538 (129)0.9764 (126)1.0 (123)0.9612 (128)0.7045 (175)0.9466 (130)0.9538 (129)0.6458 (191)0.9118 (135)
af-synthesis/af-synthesis_stb_50_180_2.wcnf.gz0.9748 (118)0.9667 (119)0.8788 (131)0.9587 (120)1.0 (115)0.9748 (118)0.7073 (163)0.9063 (127)0.9748 (118)0.6304 (183)0.9431 (122)
af-synthesis/af-synthesis_stb_50_200_1.wcnf.gz1.0 (132)0.9925 (133)0.95 (139)0.95 (139)1.0 (132)0.9708 (136)0.6963 (190)0.6303 (210)1.0 (132)0.6303 (210)0.95 (139)
af-synthesis/af-synthesis_stb_50_200_6.wcnf.gz0.9912 (112)0.9655 (115)0.9825 (113)1.0 (111)1.0 (111)0.9739 (114)0.6788 (164)1.0 (111)0.9573 (116)0.64 (174)0.8819 (126)
af-synthesis/af-synthesis_stb_50_40_0.wcnf.gz1.0 (111)1.0 (111)0.9256 (120)1.0 (111)1.0 (111)1.0 (111)0.6957 (160)0.655 (170)0.9655 (115)0.655 (170)0.9333 (119)
af-synthesis/af-synthesis_stb_50_40_9.wcnf.gz0.9779 (135)0.9925 (133)0.9779 (135)0.9779 (135)1.0 (132)0.9638 (137)0.8581 (154)0.7112 (186)0.9779 (135)0.7112 (186)0.9852 (134)
af-synthesis/af-synthesis_stb_50_60_2.wcnf.gz1.0 (117)1.0 (117)0.9365 (125)1.0 (117)1.0 (117)1.0 (117)0.7815 (150)0.9672 (121)1.0 (117)0.7152 (164)0.9593 (122)
af-synthesis/af-synthesis_stb_50_80_2.wcnf.gz1.0 (105)0.9907 (106)0.8833 (119)0.9464 (111)1.0 (105)0.9217 (114)0.7413 (142)0.7162 (147)0.8548 (123)0.7162 (147)1.0 (105)
af-synthesis/af-synthesis_stb_50_80_3.wcnf.gz1.0 (113)1.0 (113)0.9828 (115)0.9828 (115)1.0 (113)0.9661 (117)0.75 (151)0.7037 (161)1.0 (113)0.7037 (161)0.9661 (117)
af-synthesis/af-synthesis_stb_50_80_7.wcnf.gz1.0 (115)0.9748 (118)0.8923 (129)0.9587 (120)1.0 (115)0.9587 (120)0.7205 (160)0.8923 (129)0.9587 (120)0.6705 (172)0.8923 (129)
railway-transport/bf2030fvslack.wcnf.gz0.9748 (252080)0.8455 (290633)0.6725 (365387)0.6725 (365387)0.7307 (336300)0.7629 (322090)0.7307 (336300)0.0 (-)0.0 (-)0.0 (-)0.654 (375715)
MinimumWeightDominatingSetProblem/bn-human-BNU_1_0025865_session_1-bg.wcnf.gz0.9972 (119677349)0.9957 (119864215)1.0 (119345587)1.0 (119345587)0.9975 (119644915)0.0 (-)0.0 (-)0.0 (-)0.996 (119821719)0.0 (-)0.9975 (119647279)
maxcut/dimacs_mod/brock400_1.clq.wcnf.gz0.9221 (1476)0.9722 (1400)1.0 (1361)0.908 (1499)0.9763 (1394)0.9322 (1460)1.0 (1361)1.0 (1361)0.9265 (1469)0.9985 (1363)0.9632 (1413)
maxcut/dimacs_mod/brock400_4.clq.wcnf.gz0.8729 (1478)0.9817 (1314)1.0 (1290)0.8788 (1468)0.9241 (1396)0.8953 (1441)1.0 (1290)1.0 (1290)0.9375 (1376)1.0 (1290)0.9195 (1403)
maxcut/dimacs_mod/brock800_2.clq.wcnf.gz0.8938 (1204)0.9782 (1100)1.0 (1076)0.9197 (1170)0.939 (1146)0.9035 (1191)1.0 (1076)1.0 (1076)0.8813 (1221)1.0 (1076)0.8923 (1206)
causal-discovery/causal_Alarm_7_1000.wcnf.gz0.9092 (579415)1.0 (526796)0.9092 (579415)0.9092 (579415)1.0 (526796)0.9092 (579415)1.0 (526796)0.2516 (2093449)1.0 (526796)0.1874 (2810384)1.0 (526796)
causal-discovery/causal_Autos_8_159.wcnf.gz0.8971 (788745)0.7946 (890524)0.8971 (788745)0.8971 (788745)0.9371 (755140)0.8971 (788745)0.4126 (1715170)0.0 (-)0.8971 (788745)0.0 (-)1.0 (707611)
causal-discovery/causal_Heart_10_212.wcnf.gz0.6525 (2228090)1.0 (1453924)0.8883 (1636808)0.8883 (1636808)1.0 (1453924)0.3179 (4573082)0.2814 (5166113)0.0 (-)0.3179 (4573082)0.0 (-)0.0411 (35370662)
causal-discovery/causal_Letter_7_20000.wcnf.gz0.8912 (555377)1.0 (494950)0.9008 (549431)0.9008 (549431)0.9713 (509580)0.8912 (555377)0.9713 (509580)0.886 (558622)0.8714 (568022)0.7753 (638403)0.9682 (511200)
causal-discovery/causal_Link_10_1000.wcnf.gz1.0 (1917853)0.0669 (28652900)0.0664 (28875707)0.0664 (28875707)0.0672 (28547924)0.0669 (28652900)0.0672 (28547924)0.0 (-)0.0669 (28652900)0.0 (-)0.0625 (30669280)
causal-discovery/causal_LungCancer_8_27.wcnf.gz0.9008 (157117)1.0 (141532)0.9008 (157117)0.9008 (157117)0.8859 (159764)0.9008 (157117)0.6298 (224732)0.0 (-)0.9008 (157117)0.0 (-)1.0 (141532)
causal-discovery/causal_Pigs_6_10000.wcnf.gz0.5989 (42644739)0.8895 (28712010)0.6095 (41899788)0.6095 (41899788)1.0 (25539892)0.5683 (44937282)1.0 (25539892)0.0 (-)0.5989 (42644739)0.0 (-)1.0 (25539892)
causal-discovery/causal_Water_10_1000.wcnf.gz0.0413 (274860662)0.7069 (16041455)0.1723 (65815990)0.1723 (65815990)0.7069 (16041455)0.7069 (16041455)0.7069 (16041455)0.0 (-)0.7069 (16041455)0.0 (-)0.1154 (98257645)
causal-discovery/causal_Wdbc_8_569.wcnf.gz0.7025 (1325683)0.3219 (2892802)0.7025 (1325683)0.7025 (1325683)0.1103 (8445490)0.7025 (1325683)0.1103 (8445490)0.2526 (3686648)0.3428 (2716622)0.2172 (4288406)0.514 (1811923)
causal-discovery/causal_alarm_9_1000.wcnf.gz0.0762 (16191253)0.1457 (8470213)0.0964 (12802044)0.0964 (12802044)1.0 (1233992)0.1457 (8470213)1.0 (1233992)0.0 (-)0.1109 (11124229)0.0 (-)0.1437 (8589584)
causal-discovery/causal_alarm_9_10000.wcnf.gz0.0239 (131757689)0.0608 (51780250)0.0451 (69818136)0.0451 (69818136)0.0599 (52507999)0.0605 (52022355)0.0599 (52507999)0.0 (-)0.0414 (76028067)0.0 (-)1.0 (3146775)
causal-discovery/causal_asia_7_1000.wcnf.gz0.9872 (172567)1.0 (170353)1.0 (170353)1.0 (170353)0.9846 (173012)1.0 (170353)0.3725 (457289)0.2475 (688239)1.0 (170353)0.2414 (705793)1.0 (170353)
causal-discovery/causal_carpo_9_10000.wcnf.gz0.0684 (17886591)0.1954 (6260342)0.0998 (12264262)0.0998 (12264262)0.1954 (6260342)0.6591 (1856164)0.1954 (6260342)0.0 (-)0.0394 (31059265)0.0 (-)1.0 (1223386)
causal-discovery/causal_hailfinder_8_10000.wcnf.gz1.0 (115149390)1.0 (115149390)1.0 (115149390)1.0 (115149390)1.0 (115149390)1.0 (115149390)0.7572 (152065307)0.0 (-)1.0 (115149390)0.0 (-)1.0 (115149390)
causal-discovery/causal_insurance_8_10000.wcnf.gz1.0 (38605539)1.0 (38605539)0.4239 (91067310)0.4239 (91067310)1.0 (38605539)0.4239 (91067310)0.904 (42703598)0.0 (-)0.4239 (91067310)0.0 (-)0.904 (42703598)
causal-discovery/causal_insurance_9_100.wcnf.gz0.7794 (5203045)0.0969 (41861472)0.6887 (5888447)0.6887 (5888447)0.1006 (40316123)0.8768 (4624815)0.8615 (4707228)0.0 (-)0.3144 (12897641)0.0 (-)1.0 (4055248)
MinimumWeightDominatingSetProblem/channel-500x100x100-b050.wcnf.gz0.7182 (43149145)0.615 (50394226)1.0 (30990637)1.0 (30990637)0.7567 (40952447)0.0 (-)0.9293 (33348213)0.5656 (54794873)0.5951 (52073650)0.5656 (54794873)0.6947 (44613309)
timetabling/comp01.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/comp02.wcnf.gz0.7576 (32)0.9259 (26)0.6757 (36)0.6757 (36)0.8065 (30)0.8065 (30)0.0871 (286)0.4386 (56)0.4237 (58)0.102 (244)0.4098 (60)
timetabling/comp05.wcnf.gz0.4683 (945)0.7227 (612)0.4042 (1095)0.4042 (1095)0.8158 (542)0.6119 (723)0.4276 (1035)0.4125 (1073)0.6976 (634)0.4507 (982)0.3178 (1393)
timetabling/comp06.lp.sm-extracted.wcnf.gz0.0101 (1487)0.0107 (1403)0.0056 (2690)0.0056 (2690)0.0195 (768)0.0048 (3118)0.01 (1494)0.0333 (449)0.0 (-)0.0133 (1124)0.6818 (21)
timetabling/comp07.lp.sm-extracted.wcnf.gz0.0845 (2993)0.0635 (3981)0.0534 (4737)0.0534 (4737)0.1855 (1363)0.0623 (4061)0.1369 (1847)0.1506 (1679)0.0 (-)0.1506 (1679)0.8241 (306)
timetabling/comp07.wcnf.gz0.0338 (206)0.0569 (122)0.0172 (406)0.0172 (406)0.1167 (59)0.0169 (412)0.0102 (688)0.0105 (666)0.0 (-)0.0105 (666)0.0113 (616)
timetabling/comp09.wcnf.gz0.8584 (112)0.8981 (107)0.8584 (112)0.8584 (112)0.9151 (105)0.8151 (118)0.3022 (320)0.5026 (192)0.8584 (112)0.3464 (279)0.7638 (126)
timetabling/comp12.wcnf.gz0.2718 (1338)0.7309 (497)0.3152 (1154)0.3152 (1154)0.4567 (796)0.3364 (1081)0.3279 (1109)0.3431 (1060)0.3288 (1106)0.3457 (1052)0.7615 (477)
timetabling/comp13.lp.sm-extracted.wcnf.gz0.0344 (928)0.0724 (441)0.0201 (1593)0.0203 (1576)0.0532 (600)0.0281 (1138)0.0372 (859)0.3077 (103)0.0 (-)0.0699 (457)0.8889 (35)
timetabling/comp18.wcnf.gz0.8267 (74)0.8493 (72)0.521 (118)0.521 (118)0.9254 (66)0.6813 (90)0.2403 (257)0.3851 (160)0.5586 (110)0.2357 (262)0.5741 (107)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/compas_train_0_CNF_3_5.wcnf.gz0.9431 (11101)0.8832 (11853)0.7551 (13865)0.7581 (13810)0.7276 (14388)0.8042 (13018)0.9578 (10930)0.9502 (11018)0.7361 (14223)0.9502 (11018)0.7644 (13696)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_test_1_CNF_5_20.wcnf.gz0.9434 (10235)0.3512 (27500)0.79 (12223)0.79 (12223)0.6714 (14383)0.7865 (12278)0.9018 (10708)0.8882 (10871)0.736 (13120)0.9416 (10255)0.647 (14925)
timetabling/dds4.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem/delaunay_n24.wcnf.gz0.0 (-)0.6495 (354066023)0.0 (-)0.0 (-)0.0 (-)0.6495 (354066023)0.0 (-)0.0 (-)0.6495 (354066023)0.0 (-)0.0 (-)
abstraction-refinement/downcast-antlr.wcnf.gz0.9997 (76271)0.9978 (76419)0.9995 (76286)0.9995 (76286)0.3369 (226338)0.9973 (76458)0.9991 (76321)0.9993 (76305)0.9958 (76571)0.9993 (76305)0.0 (-)
abstraction-refinement/downcast-avrora.wcnf.gz0.9999 (46648)0.999 (46689)0.9993 (46679)0.9993 (46679)0.8934 (52209)0.9947 (46891)0.9976 (46754)0.9976 (46755)0.9964 (46811)0.9976 (46755)0.0 (-)
abstraction-refinement/downcast-hsqldb.wcnf.gz0.5835 (51771)0.2057 (146821)0.9975 (30284)0.9975 (30284)0.865 (34922)0.9902 (30507)0.0 (-)0.0 (-)0.9981 (30264)0.0 (-)0.0 (-)
abstraction-refinement/downcast-pmd.wcnf.gz1.0 (4243)0.8974 (4728)0.9842 (4311)0.9842 (4311)0.9448 (4491)0.9272 (4576)0.0 (-)0.0 (-)0.9822 (4320)0.0 (-)0.0 (-)
abstraction-refinement/downcast-xalan.wcnf.gz0.9998 (65503)0.9978 (65633)0.9994 (65533)0.9994 (65533)0.9349 (70055)0.9952 (65807)0.9993 (65540)0.9994 (65532)0.9972 (65678)0.9994 (65532)0.0 (-)
railway-transport/f2030.wcnf.gz0.9368 (4494)0.6819 (6174)0.9368 (4494)0.9368 (4494)0.832 (5060)0.5062 (8318)0.2762 (15247)0.2614 (16107)0.3165 (13305)0.2622 (16059)0.6694 (6290)
drmx-cryptogen/geffe128_7.wcnf.gz0.8512 (940)0.9239 (866)0.887 (902)0.887 (902)0.9186 (871)0.8841 (905)0.9239 (866)0.9756 (820)0.887 (902)0.978 (818)0.8822 (907)
maxcut/dimacs_mod/hamming10-2.clq.wcnf.gz0.9074 (2126)0.9512 (2028)1.0 (1929)0.9138 (2111)0.9526 (2025)0.9204 (2096)1.0 (1929)1.0 (1929)0.9279 (2079)1.0 (1929)0.947 (2037)
maxcut/dimacs_mod/hamming8-2.clq.wcnf.gz0.9551 (2317)0.9858 (2245)0.9982 (2217)0.963 (2298)0.9809 (2256)0.9584 (2309)1.0 (2213)1.0 (2213)0.9622 (2300)1.0 (2213)0.9672 (2288)
MinimumWeightDominatingSetProblem/hugebubbles-00020.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.6898 (755304622)0.0 (-)0.0 (-)0.6898 (755304622)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem/inf-road-usa.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.7575 (866767050)0.7269 (903206743)0.0 (-)0.0 (-)0.7269 (903206743)0.0 (-)0.0 (-)
staff-scheduling/instance10.wcnf.gz0.8532 (5927)0.8472 (5969)0.4351 (11623)0.4351 (11623)0.4167 (12136)0.4302 (11755)0.7527 (6719)0.7456 (6783)0.0 (-)0.7396 (6838)0.0 (-)
staff-scheduling/instance11.wcnf.gz0.9816 (3859)0.8787 (4311)0.7611 (4977)0.7611 (4977)0.2543 (14897)0.7282 (5202)1.0 (3788)0.9768 (3878)0.6168 (6142)0.9768 (3878)0.0 (-)
staff-scheduling/instance12.wcnf.gz0.294 (16387)0.5212 (9243)0.2771 (17388)0.2771 (17388)0.237 (20331)0.2689 (17918)0.601 (8015)0.592 (8138)0.0 (-)0.592 (8138)0.0 (-)
staff-scheduling/instance2.wcnf.gz0.9834 (842)0.9595 (863)0.9976 (830)0.9976 (830)0.8982 (922)0.954 (868)0.9811 (844)0.9881 (838)0.9584 (864)0.9834 (842)0.0 (-)
staff-scheduling/instance3.wcnf.gz0.9453 (1060)0.9616 (1042)0.9444 (1061)0.9444 (1061)1.0 (1002)0.958 (1046)0.8806 (1138)0.9672 (1036)0.8791 (1140)0.971 (1032)0.8632 (1161)
staff-scheduling/instance4.wcnf.gz0.9636 (1783)0.9679 (1775)0.9129 (1882)0.9129 (1882)1.0 (1718)0.9641 (1782)0.9706 (1770)0.9994 (1719)0.9609 (1788)0.9845 (1745)0.752 (2285)
staff-scheduling/instance5.wcnf.gz0.9975 (1220)1.0 (1217)0.8541 (1425)0.8541 (1425)0.8494 (1433)0.7427 (1639)0.8663 (1405)0.9348 (1302)0.8024 (1517)0.8553 (1423)0.0 (-)
staff-scheduling/instance6.wcnf.gz0.8628 (2353)0.9491 (2139)0.8273 (2454)0.8273 (2454)0.9011 (2253)0.7965 (2549)0.8758 (2318)0.8438 (2406)0.7399 (2744)0.8769 (2315)0.3281 (6190)
staff-scheduling/instance7.wcnf.gz0.9104 (1283)0.8362 (1397)0.7203 (1622)0.7203 (1622)0.8502 (1374)0.6765 (1727)0.844 (1384)0.8465 (1380)0.5842 (2000)0.9126 (1280)0.0 (-)
staff-scheduling/instance8.wcnf.gz1.0 (1764)0.6552 (2693)0.5046 (3497)0.5046 (3497)0.7245 (2435)0.574 (3074)0.3944 (4474)0.5536 (3187)0.4651 (3794)0.4136 (4266)0.0 (-)
staff-scheduling/instance9.wcnf.gz0.5831 (944)0.3973 (1386)0.1035 (5323)0.1035 (5323)0.439 (1254)0.1016 (5420)0.2704 (2037)0.1812 (3039)0.1231 (4476)0.2007 (2745)0.0 (-)
maxcut/dimacs_mod/johnson8-4-4.clq.wcnf.gz0.9013 (4609)0.835 (4975)0.8892 (4672)0.8892 (4672)0.8588 (4837)0.8951 (4641)1.0 (4154)1.0 (4154)0.879 (4726)1.0 (4154)0.8562 (4852)
shiftdesign/limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf.gz0.9892 (30356505)0.3686 (81470333)0.3313 (90630949)0.3724 (80627852)0.9958 (30154067)0.0727 (413069951)0.597 (50300262)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf.gz0.1652 (171954966)0.0728 (390417566)0.2282 (124528444)0.2282 (124528444)0.4983 (57018496)0.0622 (456491486)0.1362 (208686071)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-102_30m.sm-extracted.wcnf.gz0.9748 (17270923)0.057 (295518408)0.9987 (16859191)0.9997 (16841737)0.9652 (17443047)0.4957 (33965806)0.0767 (219610013)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-122_30m.sm-extracted.wcnf.gz1.0 (15805126)0.0433 (365265961)1.0 (15804715)1.0 (15804715)1.0 (15805126)0.0662 (238913737)0.9963 (15863689)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf.gz0.3933 (37185898)0.0487 (300350110)0.0766 (191013904)0.0796 (183628127)0.3959 (36945009)0.0991 (147513619)0.0644 (227250528)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-003_30m.sm-extracted.wcnf.gz0.5947 (49631736)0.0534 (552884483)0.2284 (129204839)0.2473 (119352590)0.2983 (98945923)0.0533 (553888381)0.0809 (364966531)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.gz0.209 (202810514)0.0665 (637321335)0.0765 (553682196)0.0765 (553682196)0.1209 (350637188)0.0829 (510974702)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.gz0.0773 (431735234)0.0344 (970681715)0.0412 (809466484)0.0424 (787882148)0.0 (-)0.0356 (938626968)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-3_inst-002_30m.sm-extracted.wcnf.gz0.7348 (32963315)0.0663 (365187275)0.2283 (106097177)0.2475 (97876579)0.497 (48741376)0.2283 (106117801)0.1146 (211312783)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-3_inst-003_30m.sm-extracted.wcnf.gz0.9985 (24694717)0.0439 (562213542)0.2941 (83850912)0.4191 (58837724)1.0 (24658530)0.2272 (108512816)0.9983 (24700398)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf.gz0.9862 (9680518)0.2117 (45093027)0.5692 (16774553)0.5692 (16774553)0.9854 (9688498)0.6568 (14535630)0.2123 (44964702)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-1-17.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-1-19.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-10-18.wcnf.gz1.0 (378)1.0 (378)1.0 (378)1.0 (378)1.0 (378)0.7657 (494)0.5682 (666)1.0 (378)0.7863 (481)0.576 (657)0.9819 (385)
lisbon-wedding/lisbon-wedding-10-19.wcnf.gz1.0 (380)1.0 (380)1.0 (380)1.0 (380)1.0 (380)0.7744 (491)0.5628 (676)1.0 (380)0.8124 (468)0.8158 (466)0.9896 (384)
lisbon-wedding/lisbon-wedding-2-19.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-3-18.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-4-19.wcnf.gz1.0 (806)0.6822 (1182)0.6957 (1159)0.6957 (1159)1.0 (806)0.7205 (1119)0.5111 (1578)1.0 (806)0.7123 (1132)0.63 (1280)0.0 (-)
lisbon-wedding/lisbon-wedding-5-19.wcnf.gz0.7512 (1072)0.712 (1131)0.7184 (1121)0.7184 (1121)1.0 (805)0.7177 (1122)1.0 (805)1.0 (805)0.754 (1068)0.6883 (1170)0.0 (-)
lisbon-wedding/lisbon-wedding-6-19.wcnf.gz1.0 (805)0.7902 (1019)0.712 (1131)0.712 (1131)1.0 (805)0.7261 (1109)0.6612 (1218)1.0 (805)0.8224 (979)0.6612 (1218)0.0 (-)
lisbon-wedding/lisbon-wedding-7-17.wcnf.gz0.9953 (422)1.0 (420)0.97 (433)0.97 (433)1.0 (420)0.805 (522)0.5913 (711)1.0 (420)0.7811 (538)0.8957 (469)0.9906 (424)
lisbon-wedding/lisbon-wedding-8-18.wcnf.gz1.0 (396)1.0 (396)1.0 (396)1.0 (396)1.0 (396)0.8483 (467)0.7325 (541)1.0 (396)0.8465 (468)0.7205 (550)0.8447 (469)
lisbon-wedding/lisbon-wedding-8-19.wcnf.gz1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)0.8163 (489)0.7326 (545)1.0 (399)0.8299 (481)0.8511 (469)0.8529 (468)
lisbon-wedding/lisbon-wedding-9-17.wcnf.gz0.9975 (395)0.9975 (395)0.995 (396)0.995 (396)1.0 (394)0.8298 (475)0.7079 (557)0.9925 (397)0.844 (467)0.7182 (549)0.7964 (495)
lisbon-wedding/lisbon-wedding-9-19.wcnf.gz1.0 (398)1.0 (398)0.9975 (399)0.9975 (399)1.0 (398)0.821 (485)0.8544 (466)1.0 (398)0.8453 (471)0.7189 (554)0.8143 (489)
metro/metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf.gz1.0 (138)1.0 (138)1.0 (138)1.0 (138)1.0 (138)1.0 (138)0.6406 (216)0.7514 (184)0.5226 (265)0.4633 (299)0.9456 (146)
metro/metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.wcnf.gz1.0 (110)1.0 (110)0.9652 (114)0.9652 (114)1.0 (110)1.0 (110)0.7986 (138)0.9737 (113)0.9652 (114)0.7255 (152)1.0 (110)
pseudoBoolean/miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf.gz1.0 (22199)1.0 (22199)0.5371 (41329)0.5371 (41329)0.5741 (38670)0.6009 (36942)0.3692 (60124)0.0822 (270000)0.3986 (55691)0.0822 (270000)0.0 (-)
pseudoBoolean/miplib/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/miplib/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf.gz0.8414 (3889)0.9587 (3413)0.7662 (4271)0.7662 (4271)0.9796 (3340)0.7583 (4315)0.745 (4392)0.9012 (3631)0.8721 (3752)0.7879 (4153)0.7466 (4383)
pseudoBoolean/miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf.gz1.0 (307)0.9904 (310)0.8556 (359)0.8851 (347)0.0324 (9514)0.8676 (354)0.0268 (11496)0.7586 (405)0.8508 (361)0.0453 (6804)0.5683 (541)
pseudoBoolean/miplib/normalized-mps-v2-20-10-mod010.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf.gz0.6926 (15039)0.4004 (26015)0.461 (22594)0.461 (22594)0.2267 (45940)0.2267 (45940)0.2267 (45940)0.1899 (54861)0.4639 (22452)0.1899 (54861)0.0 (-)
pseudoBoolean/miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.gz0.9253 (1860)0.9609 (1791)0.9642 (1785)0.9642 (1785)0.9545 (1803)0.9642 (1785)0.7419 (2320)0.0 (-)0.9642 (1785)0.0 (-)0.9685 (1777)
maxcut/dimacs_mod/p_hat1000-3.clq.wcnf.gz0.9435 (1326)0.9992 (1252)0.9766 (1281)0.9435 (1326)0.9601 (1303)0.8886 (1408)1.0 (1251)1.0 (1251)0.8768 (1427)1.0 (1251)0.947 (1321)
maxcut/dimacs_mod/p_hat500-3.clq.wcnf.gz0.9226 (1627)0.9895 (1517)1.0 (1501)0.9187 (1634)0.9482 (1583)0.917 (1637)1.0 (1501)1.0 (1501)0.9054 (1658)1.0 (1501)0.9277 (1618)
relational-inference/pa-2.wcnf.gz0.0 (-)0.4609 (4699)0.9678 (2237)0.9678 (2237)0.0703 (30829)0.4609 (4699)0.0 (-)0.0 (-)0.4609 (4699)0.0 (-)0.0 (-)
relational-inference/pa-3.wcnf.gz0.0 (-)0.0865 (18371)0.6965 (2282)0.6965 (2282)0.0 (-)0.0886 (17937)0.1052 (15120)0.0823 (19316)0.0979 (16237)0.0807 (19698)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/pima_train_1_DNF_5_15.wcnf.gz0.9549 (1817)1.0 (1735)0.7834 (2215)0.7834 (2215)0.9293 (1867)0.7571 (2292)0.9259 (1874)0.8407 (2064)0.7949 (2183)0.9166 (1893)0.7008 (2476)
abstraction-refinement/polysite-avrora.wcnf.gz0.9998 (51810)0.9991 (51847)0.9991 (51847)0.9991 (51846)0.9032 (57355)0.9934 (52144)0.9986 (51872)0.9986 (51874)0.9944 (52091)0.9986 (51874)0.0 (-)
abstraction-refinement/polysite-bloat.wcnf.gz0.0 (-)0.1033 (425)0.5366 (81)0.5366 (81)0.0089 (4948)0.419 (104)0.0 (-)0.0 (-)0.1964 (223)0.0 (-)0.0 (-)
abstraction-refinement/polysite-hsqldb.wcnf.gz1.0 (172389)0.9971 (172879)0.9961 (173055)0.9961 (173055)0.9697 (177778)0.997 (172896)0.0 (-)0.0 (-)0.9996 (172457)0.0 (-)0.0 (-)
abstraction-refinement/polysite-pmd.wcnf.gz1.0 (188409)0.9981 (188759)0.9996 (188470)0.9996 (188470)0.9754 (193158)0.998 (188785)0.9754 (193158)0.9569 (196881)0.9992 (188557)0.9569 (196884)0.0 (-)
abstraction-refinement/polysite-xalan.wcnf.gz0.9997 (114672)0.9969 (114989)0.9992 (114730)0.9992 (114729)0.9585 (119606)0.9958 (115120)0.9585 (119606)0.0 (-)0.999 (114747)0.0 (-)0.0 (-)
max-realizability/power-distribution_10_7.wcnf.gz0.9683 (62)0.9242 (65)0.9531 (63)0.9531 (63)1.0 (60)0.9531 (63)1.0 (60)1.0 (60)0.9385 (64)1.0 (60)0.9531 (63)
max-realizability/power-distribution_10_8.wcnf.gz0.9839 (61)0.9242 (65)0.9104 (66)0.9104 (66)1.0 (60)0.9839 (61)1.0 (60)0.8356 (72)0.9104 (66)1.0 (60)0.6224 (97)
max-realizability/power-distribution_11_7.wcnf.gz0.9478 (133)0.9769 (129)0.9549 (132)0.9549 (132)1.0 (126)0.9769 (129)1.0 (126)0.9922 (127)0.9338 (135)1.0 (126)0.8639 (146)
max-realizability/power-distribution_11_8.wcnf.gz0.9407 (134)0.9549 (132)0.9695 (130)0.9695 (130)1.0 (126)0.9621 (131)1.0 (126)1.0 (126)0.9478 (133)1.0 (126)0.4686 (270)
max-realizability/power-distribution_12_7.wcnf.gz0.9602 (225)0.5012 (432)0.9688 (223)0.9688 (223)1.0 (216)0.9731 (222)1.0 (216)0.9909 (218)0.9775 (221)0.9909 (218)0.9909 (218)
max-realizability/power-distribution_12_8.wcnf.gz0.9688 (223)0.5012 (432)0.9864 (219)0.9864 (219)1.0 (216)0.9644 (224)1.0 (216)0.9775 (221)0.9644 (224)0.9775 (221)0.4748 (456)
max-realizability/power-distribution_2_8.wcnf.gz1.0 (10)1.0 (10)0.8462 (12)0.8462 (12)1.0 (10)0.9167 (11)1.0 (10)1.0 (10)1.0 (10)1.0 (10)0.5238 (20)
max-realizability/power-distribution_7_8.wcnf.gz0.9048 (20)1.0 (18)0.9048 (20)0.9048 (20)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)0.6129 (30)
max-realizability/power-distribution_8_8.wcnf.gz0.9535 (42)1.0 (40)0.9762 (41)0.9762 (41)1.0 (40)0.9535 (42)1.0 (40)1.0 (40)1.0 (40)1.0 (40)1.0 (40)
max-realizability/power-distribution_9_8.wcnf.gz0.95 (19)1.0 (18)0.95 (19)0.95 (19)1.0 (18)0.95 (19)1.0 (18)1.0 (18)0.9048 (20)1.0 (18)0.9048 (20)
railway-transport/r11.wcnf.gz1.0 (52557618)0.7895 (66571750)0.8199 (64100022)0.8199 (64100022)0.7604 (69118682)0.7467 (70386861)0.7604 (69118682)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
ramsey/ram_k3_n12.ra1.wcnf.gz1.0 (524)0.5401 (971)1.0 (524)1.0 (524)0.0704 (7455)1.0 (524)1.0 (524)1.0 (524)1.0 (524)1.0 (524)1.0 (524)
ramsey/ram_k3_n13.ra1.wcnf.gz0.6877 (2061)0.6887 (2058)1.0 (1417)0.6877 (2061)0.7202 (1968)0.6877 (2061)1.0 (1417)1.0 (1417)0.6877 (2061)1.0 (1417)0.7527 (1883)
ramsey/ram_k3_n14.ra1.wcnf.gz0.882 (3430)0.7189 (4208)0.6496 (4657)0.6496 (4657)0.7542 (4011)0.9027 (3351)1.0 (3025)0.9441 (3204)0.7393 (4092)0.9441 (3204)0.882 (3430)
ramsey/ram_k3_n15.ra1.wcnf.gz0.7604 (6423)0.5488 (8900)0.8213 (5947)0.8213 (5947)0.7101 (6878)0.8346 (5852)1.0 (4884)0.9391 (5201)0.8576 (5695)0.9191 (5314)0.796 (6136)
ramsey/ram_k3_n16.ra1.wcnf.gz0.6828 (10650)0.6859 (10601)0.7524 (9664)0.7524 (9664)0.7449 (9762)0.7952 (9144)1.0 (7271)0.9736 (7468)0.7679 (9469)1.0 (7271)0.7861 (9250)
ramsey/ram_k3_n17.ra1.wcnf.gz0.7052 (14708)0.5892 (17605)0.7023 (14769)0.7023 (14769)0.7321 (14168)0.7204 (14397)1.0 (10372)0.9604 (10800)0.7204 (14397)0.9888 (10490)0.6908 (15016)
ramsey/ram_k3_n18.ra1.wcnf.gz0.8003 (19520)0.6518 (23967)0.6914 (22595)0.6914 (22595)0.6395 (24426)0.718 (21756)1.0 (15621)0.8805 (17741)0.6892 (22665)0.9339 (16727)0.7839 (19928)
ramsey/ram_k3_n19.ra1.wcnf.gz0.7341 (28152)0.6198 (33343)0.6973 (29635)0.6973 (29635)0.7136 (28958)0.67 (30845)1.0 (20665)0.9655 (21404)0.6811 (30343)0.9093 (22727)0.6935 (29800)
ramsey/ram_k3_n20.ra1.wcnf.gz0.7238 (33017)0.6219 (38425)0.6295 (37967)0.6295 (37967)0.6346 (37658)0.6306 (37899)1.0 (23898)0.9735 (24548)0.6114 (39087)0.9465 (25249)0.6535 (36572)
ramsey/ram_k4_n18.ra1.wcnf.gz0.3413 (919)0.2438 (1287)0.2643 (1187)0.2643 (1187)0.3801 (825)0.2309 (1359)0.8533 (367)1.0 (313)0.4404 (712)1.0 (313)0.4373 (717)
ramsey/ram_k4_n19.ra1.wcnf.gz0.4773 (2178)0.3186 (3263)0.3505 (2966)0.3505 (2966)0.3096 (3358)0.3512 (2960)0.7536 (1379)0.8189 (1269)0.2543 (4089)0.8394 (1238)0.2862 (3633)
ramsey/ram_k4_n20.ra1.wcnf.gz0.4864 (5418)0.4014 (6566)0.3416 (7715)0.3416 (7715)0.354 (7445)0.3693 (7137)0.7985 (3300)0.7667 (3437)0.4192 (6287)0.7667 (3437)0.4023 (6551)
mpe/random-net-100-2_network-9.net.wcnf.gz0.9209 (97110)0.9989 (89528)0.9995 (89471)0.9209 (97110)0.9495 (94182)0.9264 (96533)0.9907 (90265)1.0 (89430)0.9253 (96652)0.9973 (89673)0.9478 (94357)
mpe/random-net-30-5_network-7.net.wcnf.gz0.9547 (28108)0.9268 (28955)0.9833 (27293)0.9671 (27749)0.9284 (28905)0.9547 (28108)0.9779 (27442)1.0 (26836)0.9547 (28108)1.0 (26836)0.9489 (28280)
mpe/random-net-30-6_network-4.net.wcnf.gz0.8889 (27407)0.9328 (26116)1.0 (24362)0.8687 (28045)0.996 (24460)0.8563 (28450)1.0 (24362)1.0 (24362)0.8825 (27607)1.0 (24362)0.9449 (25783)
mpe/random-net-30-6_network-6.net.wcnf.gz0.0 (-)0.9571 (28516)0.8948 (30503)0.8948 (30503)0.9438 (28918)0.9444 (28901)0.9697 (28147)0.9842 (27731)0.8286 (32941)0.9842 (27731)0.9306 (29330)
mpe/random-net-40-4_network-10.net.wcnf.gz0.0 (-)0.9422 (39169)0.9508 (38814)0.9508 (38814)0.9593 (38470)0.9401 (39257)0.9806 (37634)1.0 (36905)0.9698 (38053)1.0 (36905)0.968 (38126)
mpe/random-net-40-4_network-3.net.wcnf.gz0.0 (-)0.9606 (35790)0.8541 (40252)0.8541 (40252)0.9905 (34710)0.8563 (40152)0.9913 (34684)0.9924 (34646)0.8541 (40252)1.0 (34381)0.9707 (35418)
mpe/random-net-40-4_network-7.net.wcnf.gz0.9751 (36595)0.9913 (35995)1.0 (35682)0.9615 (37110)0.9991 (35714)0.9609 (37135)0.9979 (35756)0.9979 (35756)0.9765 (36539)0.9991 (35714)0.9664 (36923)
mpe/random-net-40-5_network-10.net.wcnf.gz0.8537 (38287)1.0 (32686)1.0 (32686)0.864 (37831)0.9915 (32965)0.8537 (38287)1.0 (32686)1.0 (32686)0.8543 (38261)1.0 (32686)1.0 (32686)
mpe/random-net-40-5_network-9.net.wcnf.gz0.9537 (37698)0.988 (36388)0.9904 (36301)0.9537 (37698)0.955 (37647)0.9537 (37698)0.9894 (36338)1.0 (35952)0.9537 (37698)1.0 (35952)0.9526 (37741)
mpe/random-net-50-4_network-10.net.wcnf.gz0.0 (-)0.974 (43974)0.9465 (45251)0.9465 (45251)0.9568 (44765)0.9416 (45486)0.9962 (42995)1.0 (42830)0.9465 (45251)1.0 (42830)0.9678 (44254)
mpe/random-net-50-5_network-1.net.wcnf.gz0.0 (-)0.9019 (49206)0.9275 (47848)0.9275 (47848)0.9484 (46797)0.9275 (47848)0.9896 (44845)0.9896 (44845)0.9275 (47848)0.9923 (44723)0.9637 (46050)
mpe/random-net-50-5_network-2.net.wcnf.gz0.8527 (48648)0.9648 (42992)1.0 (41480)0.8569 (48405)0.957 (43342)0.8517 (48704)0.9991 (41518)1.0 (41480)0.9314 (44533)1.0 (41480)0.9429 (43990)
mpe/random-net-50-5_network-5.net.wcnf.gz0.9114 (48649)0.9112 (48660)1.0 (44339)0.8964 (49462)0.9887 (44845)0.9137 (48527)0.9721 (45613)0.9868 (44934)0.9465 (46846)0.9949 (44568)0.9239 (47991)
mpe/random-net-60-3_network-7.net.wcnf.gz0.9201 (56334)0.9866 (52539)0.9964 (52019)0.9016 (57492)0.971 (53380)0.8905 (58206)0.9878 (52474)0.9935 (52173)0.8899 (58249)0.9942 (52133)0.9901 (52350)
mpe/random-net-60-3_network-9.net.wcnf.gz0.921 (59591)1.0 (54883)0.9906 (55402)0.921 (59591)0.9524 (57625)0.921 (59591)1.0 (54883)1.0 (54883)0.921 (59591)0.9978 (55006)0.978 (56117)
max-realizability/robot-navigation_10.wcnf.gz0.0 (-)1.0 (14)0.9375 (15)0.9375 (15)1.0 (14)1.0 (14)0.5556 (26)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
max-realizability/robot-navigation_8.wcnf.gz1.0 (26)1.0 (26)0.9643 (27)0.9643 (27)1.0 (26)0.9643 (27)0.0 (-)0.0 (-)1.0 (26)0.0 (-)0.0 (-)
max-realizability/robot-navigation_9.wcnf.gz1.0 (14)1.0 (14)0.5556 (26)0.5556 (26)1.0 (14)0.9375 (15)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
ParametricRBACMaintenance/role_domino_0.05_1.cnf.gz0.3696 (64125)0.309 (76686)0.2482 (95488)0.2482 (95488)0.2186 (108417)0.2598 (91236)0.8866 (26729)0.9133 (25949)0.2663 (88997)0.9279 (25539)0.3548 (66791)
ParametricRBACMaintenance/role_domino_0.05_8.cnf.gz0.3485 (72371)0.2962 (85146)0.2445 (103164)0.2445 (103164)0.23 (109657)0.2778 (90788)0.977 (25813)0.9235 (27309)0.3139 (80332)0.9305 (27104)0.3772 (66860)
ParametricRBACMaintenance/role_domino_0.35_4.cnf.gz0.8063 (138010)0.7671 (145057)0.6955 (159996)0.6955 (159996)0.2984 (372957)0.7264 (153195)0.9524 (116839)0.9432 (117982)0.5538 (200949)0.9432 (117982)0.7714 (144256)
ParametricRBACMaintenance/role_domino_0.45_5.cnf.gz0.934 (158502)0.8883 (166652)0.9493 (155939)0.9493 (155939)0.3227 (458752)0.9084 (162964)0.9993 (148139)0.9743 (151939)0.5941 (249191)0.9743 (151939)0.8702 (170125)
ParametricRBACMaintenance/role_domino_0.65_4.cnf.gz0.9195 (190436)0.9302 (188236)0.9442 (185448)0.9442 (185448)0.2767 (632784)0.9349 (187284)0.9998 (175136)0.9997 (175144)0.5501 (318288)0.9997 (175144)0.8722 (200764)
ParametricRBACMaintenance/role_domino_0.6_13.cnf.gz0.9224 (183051)0.8983 (187952)0.9592 (176022)0.9592 (176022)0.2877 (586933)0.8222 (205343)0.9908 (170414)0.9982 (169149)0.5349 (315640)0.9982 (169149)0.877 (192512)
ParametricRBACMaintenance/role_domino_0.7_2.cnf.gz0.9103 (198256)0.9107 (198164)0.965 (187011)0.965 (187011)0.2662 (677916)0.8858 (203732)0.9838 (183437)0.9995 (180547)0.4931 (365990)0.9995 (180547)0.8634 (209016)
ParametricRBACMaintenance/role_domino_0.95_4.cnf.gz0.8476 (239194)0.8726 (232349)0.9516 (213066)0.9516 (213066)0.2352 (862078)0.9158 (221395)0.9991 (202926)0.9721 (208553)0.4654 (435668)0.9721 (208553)0.8253 (245671)
ParametricRBACMaintenance/role_domino_1.0_15.cnf.gz0.9913 (208854)0.9656 (214409)0.9205 (224928)0.9205 (224928)0.2292 (903344)0.8873 (233343)0.9514 (217613)0.996 (207864)0.6165 (335811)0.9526 (217338)0.8158 (253790)
ParametricRBACMaintenance/role_smallcomp_0.9_4.cnf.gz0.9508 (391389)0.9954 (373854)0.9695 (383839)0.9695 (383839)1.0 (372134)1.0 (372134)0.9793 (380019)1.0 (372134)1.0 (372134)0.9908 (375589)0.9651 (385589)
ParametricRBACMaintenance/role_smallcomp_1.0_0.cnf.gz0.9533 (395378)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)0.957 (393840)0.9959 (378460)1.0 (376922)0.98 (384612)0.9959 (378460)0.9646 (390764)
ParametricRBACMaintenance/role_university_0.55_2.cnf.gz1.0 (216711)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.9116 (237718)0.3772 (574485)0.5758 (376397)0.9507 (227947)0.8883 (243958)
ParametricRBACMaintenance/role_university_0.6_8.cnf.gz1.0 (214202)0.0 (-)0.9151 (234072)0.9151 (234072)0.0 (-)0.0 (-)0.9348 (229142)0.9744 (219838)0.5582 (383730)0.6577 (325665)0.8874 (241390)
ParametricRBACMaintenance/role_university_0.85_2.cnf.gz0.9833 (220984)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.3686 (589462)0.9902 (219460)0.481 (451790)0.27 (804718)0.8192 (265254)
ParametricRBACMaintenance/role_university_0.85_9.cnf.gz0.9597 (219664)0.9997 (210862)0.0 (-)0.0 (-)0.2607 (808772)0.928 (227166)0.3574 (589844)1.0 (210810)0.4584 (459858)0.4769 (442052)0.7947 (265264)
maxcut/dimacs_mod/san200_0.7_2.clq.wcnf.gz0.9431 (1318)0.9765 (1273)1.0 (1243)0.9325 (1333)0.9651 (1288)0.9001 (1381)1.0 (1243)1.0 (1243)0.9008 (1380)1.0 (1243)0.9533 (1304)
maxcut/dimacs_mod/san200_0.9_3.clq.wcnf.gz0.9356 (1785)0.9789 (1706)0.9905 (1686)0.9361 (1784)0.9783 (1707)0.9489 (1760)1.0 (1670)1.0 (1670)0.9451 (1767)1.0 (1670)0.9559 (1747)
maxcut/dimacs_mod/san400_0.7_3.clq.wcnf.gz0.8937 (1344)0.967 (1242)1.0 (1201)0.8672 (1385)0.9655 (1244)0.8877 (1353)1.0 (1201)0.9942 (1208)0.9058 (1326)1.0 (1201)0.9413 (1276)
maxcut/dimacs_mod/san400_0.9_1.clq.wcnf.gz0.9304 (1724)0.9853 (1628)0.995 (1612)0.9135 (1756)0.9981 (1607)0.9469 (1694)1.0 (1604)1.0 (1604)0.9565 (1677)1.0 (1604)0.9599 (1671)
maxcut/dimacs_mod/sanr200_0.7.clq.wcnf.gz0.8649 (1354)0.9759 (1200)0.9759 (1200)0.8567 (1367)0.9614 (1218)0.8733 (1341)1.0 (1171)1.0 (1171)0.8649 (1354)1.0 (1171)0.8967 (1306)
maxcut/dimacs_mod/sanr200_0.9.clq.wcnf.gz0.9476 (1699)0.9829 (1638)0.9988 (1612)0.9488 (1697)0.9859 (1633)0.9618 (1674)1.0 (1610)1.0 (1610)0.9334 (1725)1.0 (1610)0.9482 (1698)
MinimumWeightDominatingSetProblem/sc-rel9.wcnf.gz0.5517 (20410266)0.6724 (16746750)0.7002 (16084054)0.7002 (16084054)0.6953 (16197027)0.6724 (16746750)0.0 (-)0.0 (-)0.6724 (16746750)0.0 (-)0.0 (-)
set-covering/random/scpnr/scpnre2_weighted.wcnf.gz0.9118 (33)0.9688 (31)0.9688 (31)0.9118 (33)0.9118 (33)0.8378 (36)0.9394 (32)1.0 (30)0.8378 (36)1.0 (30)0.8378 (36)
set-covering/random/scpnr/scpnrf5_weighted.wcnf.gz0.875 (15)0.9333 (14)0.9333 (14)0.9333 (14)0.9333 (14)0.875 (15)0.9333 (14)1.0 (13)0.8235 (16)1.0 (13)0.8235 (16)
set-covering/random/scpnr/scpnrg1_weighted.wcnf.gz0.9468 (187)0.9468 (187)1.0 (177)0.9468 (187)0.8945 (198)0.8945 (198)0.9674 (183)0.9944 (178)0.8945 (198)0.9944 (178)0.8945 (198)
set-covering/random/scpnr/scpnrg2_weighted.wcnf.gz0.9578 (165)0.9636 (164)0.9578 (165)0.9578 (165)0.9353 (169)0.9353 (169)1.0 (158)1.0 (158)0.9353 (169)0.9938 (159)0.9353 (169)
set-covering/random/scpnr/scpnrg3_weighted.wcnf.gz0.9713 (173)0.9826 (171)0.9941 (169)0.9713 (173)0.9286 (181)0.9286 (181)0.9826 (171)1.0 (168)0.9286 (181)1.0 (168)0.9286 (181)
set-covering/random/scpnr/scpnrg4_weighted.wcnf.gz0.9605 (176)0.9714 (174)0.9605 (176)0.9605 (176)0.914 (185)0.914 (185)0.9714 (174)0.9884 (171)0.914 (185)0.9884 (171)0.914 (185)
set-covering/random/scpnr/scpnrg5_weighted.wcnf.gz0.9774 (176)0.9886 (174)0.9774 (176)0.9774 (176)0.8964 (192)0.8964 (192)0.983 (175)0.9943 (173)0.8964 (192)0.9943 (173)0.8964 (192)
set-covering/random/scpnr/scpnrh1_weighted.wcnf.gz0.9701 (66)0.9701 (66)0.9848 (65)0.9848 (65)0.8784 (73)0.8784 (73)0.8784 (73)0.9848 (65)0.8784 (73)0.9848 (65)0.8784 (73)
set-covering/random/scpnr/scpnrh2_weighted.wcnf.gz0.9701 (66)0.9848 (65)0.9559 (67)0.9559 (67)0.9559 (67)0.9559 (67)0.8784 (73)1.0 (64)0.9559 (67)1.0 (64)0.9559 (67)
set-covering/random/scpnr/scpnrh3_weighted.wcnf.gz0.9524 (62)0.9231 (64)0.9375 (63)0.9375 (63)0.8571 (69)0.8571 (69)0.8696 (68)0.9677 (61)0.8571 (69)0.9677 (61)0.8571 (69)
set-covering/random/scpnr/scpnrh4_weighted.wcnf.gz0.9672 (60)0.9516 (61)0.9365 (62)0.9365 (62)0.8551 (68)0.8551 (68)0.9219 (63)1.0 (58)0.8551 (68)1.0 (58)0.8551 (68)
set-covering/random/scpnr/scpnrh5_weighted.wcnf.gz0.9492 (58)0.918 (60)0.9333 (59)0.9333 (59)0.8615 (64)0.8615 (64)0.8889 (62)1.0 (55)0.8615 (64)1.0 (55)0.8615 (64)
tcp/tcp_students_105_it_2.wcnf.gz1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)0.9861 (2583)0.9861 (2583)1.0 (2547)1.0 (2547)0.9861 (2583)0.9725 (2619)
tcp/tcp_students_105_it_3.wcnf.gz1.0 (2922)1.0 (2922)1.0 (2922)1.0 (2922)1.0 (2922)0.976 (2994)0.9521 (3069)0.976 (2994)0.9878 (2958)0.9402 (3108)0.9878 (2958)
tcp/tcp_students_105_it_6.wcnf.gz1.0 (2994)1.0 (2994)0.9871 (3033)0.9871 (3033)1.0 (2994)0.919 (3258)0.931 (3216)0.9633 (3108)0.919 (3258)0.9523 (3144)0.9881 (3030)
tcp/tcp_students_112_it_13.wcnf.gz1.0 (2958)0.8695 (3402)1.0 (2958)1.0 (2958)1.0 (2958)0.8997 (3288)0.9527 (3105)0.9753 (3033)0.9527 (3105)0.9527 (3105)0.9638 (3069)
tcp/tcp_students_112_it_2.wcnf.gz1.0 (3585)1.0 (3585)0.9684 (3702)0.9892 (3624)1.0 (3585)0.9892 (3624)0.9599 (3735)0.9684 (3702)0.97 (3696)0.9591 (3738)0.9492 (3777)
tcp/tcp_students_112_it_5.wcnf.gz1.0 (3366)1.0 (3366)0.9885 (3405)0.9894 (3402)1.0 (3366)1.0 (3366)0.9885 (3405)0.9782 (3441)0.9791 (3438)0.9681 (3477)0.9681 (3477)
tcp/tcp_students_112_it_9.wcnf.gz1.0 (2955)1.0 (2955)0.987 (2994)0.987 (2994)1.0 (2955)0.988 (2991)0.9753 (3030)0.987 (2994)0.987 (2994)0.9408 (3141)0.988 (2991)
tcp/tcp_students_91_it_13.wcnf.gz1.0 (2730)0.987 (2766)0.9599 (2844)1.0 (2730)1.0 (2730)0.987 (2766)0.9733 (2805)0.9859 (2769)1.0 (2730)0.9609 (2841)1.0 (2730)
tcp/tcp_students_98_it_11.wcnf.gz0.9989 (2697)0.8909 (3024)0.9989 (2697)0.9989 (2697)1.0 (2694)0.9989 (2697)0.9473 (2844)0.9989 (2697)0.9857 (2733)0.9857 (2733)0.9729 (2769)
tcp/tcp_students_98_it_14.wcnf.gz0.999 (3066)0.9884 (3099)0.9742 (3144)1.0 (3063)0.999 (3066)0.999 (3066)0.9874 (3102)0.9874 (3102)0.9874 (3102)0.9874 (3102)0.9428 (3249)
tcp/tcp_students_98_it_15.wcnf.gz0.9877 (3180)0.9553 (3288)0.9877 (3180)0.9877 (3180)1.0 (3141)0.9767 (3216)0.9767 (3216)0.9877 (3180)0.9877 (3180)0.9877 (3180)0.9433 (3330)
tcp/tcp_students_98_it_2.wcnf.gz1.0 (2580)0.9729 (2652)0.9188 (2808)0.9461 (2727)1.0 (2580)0.9451 (2730)0.9451 (2730)0.9461 (2727)0.9598 (2688)0.9598 (2688)0.9588 (2691)
tcp/tcp_students_98_it_6.wcnf.gz1.0 (2880)0.9629 (2991)0.9746 (2955)1.0 (2880)1.0 (2880)1.0 (2880)0.9505 (3030)1.0 (2880)1.0 (2880)0.9756 (2952)0.9515 (3027)
timetabling/test1.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/test3.lp.sm-extracted.wcnf.gz0.2517 (142)0.2813 (127)0.049 (734)0.049 (734)0.6429 (55)0.0721 (498)0.0547 (657)0.1748 (205)0.0 (-)0.1748 (205)0.5373 (66)
timetabling/test3.wcnf.gz0.8116 (137)0.7724 (144)0.3522 (317)0.3522 (317)0.8682 (128)0.3094 (361)0.2667 (419)0.2872 (389)0.2924 (382)0.2872 (389)0.3237 (345)
timetabling/test4.wcnf.gz0.8341 (204)0.7371 (231)0.34 (502)0.34 (502)0.8906 (191)0.2964 (576)0.7703 (221)0.0 (-)0.2893 (590)0.0 (-)0.354 (482)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/tictactoe_train_1_DNF_2_20.wcnf.gz1.0 (4305)0.7224 (5960)1.0 (4305)1.0 (4305)1.0 (4305)0.9727 (4426)0.9554 (4506)0.9863 (4365)0.9514 (4525)0.9685 (4445)0.9228 (4665)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/titanic_train_5_DNF_5_20.wcnf.gz1.0 (4312)0.4533 (9514)0.8874 (4859)0.8874 (4859)0.9831 (4386)0.8764 (4920)0.9362 (4606)0.9271 (4651)0.938 (4597)0.9271 (4651)0.8668 (4975)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/toms_test_4_CNF_3_10.wcnf.gz0.625 (239)0.7979 (187)0.5208 (287)0.5208 (287)0.5747 (260)0.5017 (298)0.6329 (236)0.9317 (160)0.5474 (273)0.7614 (196)0.2134 (702)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_train_0_CNF_5_15.wcnf.gz0.556 (15362)0.3229 (26449)0.3449 (24766)0.3457 (24705)0.0697 (122505)0.2171 (39342)1.0 (8541)0.9891 (8635)0.0697 (122505)0.9891 (8635)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/toms_train_9_CNF_3_15.wcnf.gz0.546 (18150)0.912 (10865)0.2567 (38597)0.2571 (38551)0.0809 (122520)0.1906 (51989)0.9249 (10714)0.9726 (10188)0.0809 (122520)0.9726 (10188)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/twitter_test_0_CNF_2_5.wcnf.gz0.9087 (678)0.8216 (750)0.6348 (971)0.6348 (971)0.9292 (663)0.6461 (954)0.8034 (767)0.8227 (749)0.6468 (953)0.8227 (749)0.355 (1737)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/twitter_test_2_CNF_4_20.wcnf.gz0.9053 (1023)0.0418 (22174)0.3882 (2387)0.3882 (2387)0.0426 (21780)0.4025 (2302)0.5202 (1781)0.646 (1434)0.3511 (2639)0.646 (1434)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/twitter_test_7_CNF_4_5.wcnf.gz0.9154 (460)0.0604 (6985)0.5066 (832)0.5066 (832)0.6011 (701)0.4971 (848)0.839 (502)0.9483 (444)0.4953 (851)0.9483 (444)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/twitter_train_0_CNF_2_5.wcnf.gz0.1983 (41796)0.1197 (69240)0.1402 (59109)0.1402 (59109)0.1197 (69240)0.1197 (69240)0.9171 (9036)1.0 (8287)0.1197 (69240)1.0 (8287)0.0 (-)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/wdbc_train_1_CNF_3_5.wcnf.gz0.8846 (51)1.0 (45)0.8364 (54)0.8364 (54)1.0 (45)0.807 (56)0.9388 (48)1.0 (45)0.807 (56)0.8679 (52)0.9787 (46)
MinimumWeightDominatingSetProblem/web-wikipedia2009.wcnf.gz0.7767 (42336255)0.8728 (37674803)1.0 (32881260)1.0 (32881260)0.9066 (36267730)0.8728 (37674803)0.9001 (36530121)0.385 (85398943)0.8728 (37674803)0.385 (85398943)0.8712 (37740515)
railway-transport/wg2.wcnf.gz0.8061 (97)0.681 (115)0.395 (199)0.395 (199)0.7745 (101)0.4702 (167)0.316 (249)0.3911 (201)0.126 (626)0.3911 (201)0.4938 (159)