BenchmarkTT-Open-WBO-IncLoandraOpen-WBO-Inc
(inc-bmo-satlike)		LinSBPS2018SATLikeOpen-WBO-Inc
(inc-bmo-complete)		Open-WBO-gsls-mcs2uwrmaxsat-incOpen-WBO-mssls-mcs
spot5/log/1401.wcsp.log.wcnf.gz0.9543 (481113)0.9787 (469110)0.9582 (479115)1.0 (459111)0.9808 (468101)0.9582 (479115)0.9725 (472109)0.9746 (471099)1.0 (459114)0.9745 (471115)0.9746 (471099)
spot5/log/1403.wcsp.log.wcnf.gz0.9685 (476268)1.0 (461280)0.9705 (475282)1.0 (461265)0.9809 (470244)0.9705 (475282)0.9809 (470269)0.9768 (472243)0.9644 (478275)0.9808 (470271)0.9768 (472243)
spot5/dir/1405.wcsp.dir.wcnf.gz0.9582 (479460)0.9999 (459462)0.9622 (477458)1.0 (459439)0.9956 (461453)0.9622 (477458)0.9787 (469453)1.0 (459441)0.9126 (503428)0.9663 (475465)1.0 (459433)
spot5/log/1405.wcsp.log.wcnf.gz0.9663 (475472)0.9956 (461458)0.9603 (478455)1.0 (459446)0.9808 (468428)0.9603 (478455)0.9808 (468455)0.9725 (472418)0.9956 (461458)0.9786 (469470)0.9725 (472418)
spot5/log/1407.wcsp.log.wcnf.gz0.9525 (484642)0.9914 (465638)0.9466 (487645)1.0 (461619)0.9872 (467591)0.9466 (487645)0.9829 (469632)0.983 (469601)0.9871 (467653)0.9808 (470646)0.9789 (471578)
hs-timetabling/BrazilInstance1.xml.wcnf.gz1.0 (39)1.0 (39)0.7143 (55)1.0 (39)0.3008 (132)0.7143 (55)0.4878 (81)0.8163 (48)0.9756 (40)0.5063 (78)0.315 (126)
hs-timetabling/BrazilInstance2.xml.wcnf.gz1.0 (5)1.0 (5)0.1111 (53)1.0 (5)0.0233 (256)0.1111 (53)0.1333 (44)0.1034 (57)0.1538 (38)0.125 (47)0.0429 (139)
hs-timetabling/BrazilInstance4.xml.wcnf.gz0.4646 (126)1.0 (58)0.3224 (182)0.831 (70)0.831 (70)0.3224 (182)0.3172 (185)0.2153 (273)0.2719 (216)0.2864 (205)0.2122 (277)
hs-timetabling/BrazilInstance5.xml.wcnf.gz0.2857 (69)0.8333 (23)0.1961 (101)1.0 (19)1.0 (19)0.1961 (101)0.2326 (85)0.1786 (111)0.1389 (143)0.2381 (83)0.0692 (288)
hs-timetabling/BrazilInstance6.xml.wcnf.gz0.4722 (107)1.0 (50)0.2865 (177)1.0 (50)1.0 (50)0.2865 (177)0.2982 (170)0.2656 (191)0.2372 (214)0.2965 (171)0.1353 (376)
hs-timetabling/BrazilInstance7.xml.wcnf.gz0.7143 (174)1.0 (124)0.498 (250)0.8446 (147)0.8224 (151)0.4513 (276)0.4921 (253)0.3799 (328)0.4682 (266)0.5081 (245)0.2432 (513)
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.gz1.0 (12)0.5652 (22)0.02 (649)0.4333 (29)0.325 (39)0.02 (649)0.0183 (710)0.018 (721)0.0267 (486)0.0313 (414)0.018 (721)
hs-timetabling/FinlandSecondarySchool.xml.wcnf.gz0.1673 (531)0.3296 (269)0.1376 (646)1.0 (88)0.8812 (100)0.1376 (646)0.1516 (586)0.1621 (548)0.1216 (731)0.1532 (580)0.1651 (538)
hs-timetabling/ItalyInstance1.xml.wcnf.gz1.0 (12)1.0 (12)0.7647 (16)1.0 (12)0.071 (182)0.7647 (16)0.2653 (48)0.7222 (17)1.0 (12)0.6842 (18)0.0707 (183)
hs-timetabling/ItalyInstance4.xml.wcnf.gz0.1591 (439)1.0 (69)0.1474 (474)0.2096 (333)0.0078 (8968)0.1474 (474)0.1545 (452)0.1489 (469)0.0598 (1170)0.172 (406)0.0106 (6604)
maxcut/dimacs_mod/MANN_a27.clq.wcnf.gz0.9314 (2200)0.9757 (2100)1.0 (2049)0.9884 (2073)1.0 (2049)0.931 (2201)0.9544 (2147)1.0 (2049)0.9771 (2097)0.9456 (2167)1.0 (2049)
maxcut/dimacs_mod/MANN_a81.clq.wcnf.gz0.9713 (2054)0.9955 (2004)0.9995 (1996)0.998 (1999)1.0 (1995)0.9713 (2054)0.9657 (2066)1.0 (1995)0.8963 (2226)0.9541 (2091)1.0 (1995)
min-width/MinWidthCB_mitdbsample_100_43_1k_5s_1t_5.wcnf.gz0.994 (33570)1.0 (33370)0.994 (33570)0.9085 (36730)0.9754 (34210)0.994 (33570)0.9056 (36850)0.9932 (33600)0.8754 (38120)0.9541 (34975)0.9924 (33625)
min-width/MinWidthCB_mitdbsample_100_43_1k_5s_2t_5.wcnf.gz1.0 (32625)0.9805 (33275)1.0 (32625)0.8897 (36670)0.9825 (33205)1.0 (32625)0.9315 (35025)0.9998 (32630)0.8919 (36580)0.9302 (35075)0.9886 (33000)
min-width/MinWidthCB_mitdbsample_200_26_1k_10s_1t_10.wcnf.gz0.9398 (25490)0.9832 (24365)0.9525 (25150)0.954 (25110)0.9806 (24430)0.9398 (25490)0.8622 (27785)1.0 (23955)0.7985 (30000)0.8588 (27895)0.995 (24075)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_1t_10.wcnf.gz0.9428 (28685)0.9876 (27385)0.9428 (28685)1.0 (27045)0.9788 (27630)0.9428 (28685)0.7478 (36165)0.9856 (27440)0.8205 (32960)0.8347 (32400)0.9905 (27305)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_1t_12.wcnf.gz1.0 (26785)0.9826 (27260)1.0 (26785)0.9922 (26995)0.9705 (27600)1.0 (26785)0.9086 (29480)0.9808 (27310)0.8818 (30375)0.8405 (31870)0.9906 (27040)
min-width/MinWidthCB_mitdbsample_200_43_1k_4s_2t_6.wcnf.gz0.9505 (48555)0.9856 (46825)0.9505 (48555)1.0 (46150)0.9709 (47535)0.9505 (48555)0.8922 (51725)0.9723 (47465)0.8617 (53555)0.8844 (52185)0.9721 (47475)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_1t_12.wcnf.gz0.947 (64600)0.9907 (61750)0.947 (64600)0.8859 (69055)0.9729 (62880)0.947 (64600)0.7997 (76500)0.9849 (62115)0.8688 (70410)0.8668 (70575)1.0 (61175)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_3t_10.wcnf.gz1.0 (55925)0.9883 (56585)1.0 (55925)0.9987 (56000)0.9548 (58570)1.0 (55925)0.8352 (66960)0.989 (56545)0.8757 (63860)0.8298 (67400)0.9933 (56300)
min-width/MinWidthCB_mitdbsample_200_64_1k_2s_1t_4.wcnf.gz0.9057 (85425)0.9919 (78005)0.9788 (79045)0.9919 (78000)0.9866 (78420)0.9057 (85425)0.885 (87425)1.0 (77370)0.9618 (80440)0.9052 (85475)0.9969 (77610)
min-width/MinWidthCB_mitdbsample_300_32_1k_15s_1t_17.wcnf.gz1.0 (26920)0.9307 (28925)1.0 (26920)0.9675 (27825)0.9268 (29045)1.0 (26920)0.8025 (33545)0.9704 (27740)0.7449 (36140)0.6213 (43330)0.936 (28760)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_1t_8.wcnf.gz0.984 (46250)0.9932 (45820)0.9837 (46265)0.981 (46390)0.9952 (45730)0.9837 (46265)0.9283 (49025)1.0 (45510)0.9234 (49285)0.8682 (52420)0.9928 (45840)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf.gz0.9714 (77955)1.0 (75725)0.9714 (77955)0.9674 (78275)0.9735 (77785)0.9714 (77955)0.9494 (79765)0.9778 (77445)0.9787 (77370)0.9337 (81100)0.9808 (77210)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_10.wcnf.gz0.9645 (90834)1.0 (87605)0.9645 (90834)0.9484 (92376)0.9626 (91010)0.9645 (90834)0.9644 (90840)0.9141 (95839)0.8891 (98527)0.9644 (90840)0.9144 (95811)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf.gz0.9626 (91239)1.0 (87827)0.9626 (91239)0.9497 (92477)0.9628 (91224)0.9626 (91239)0.9626 (91239)0.9208 (95381)0.9126 (96238)0.9626 (91239)0.9251 (94940)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf.gz1.0 (80571)0.9812 (82114)1.0 (80571)0.9928 (81154)0.9789 (82305)1.0 (80571)0.0 (-)0.9341 (86255)0.9627 (83689)0.0 (-)0.933 (86357)
min-width/MinWidthCB_power_200_24_1k_10s_2t_10.wcnf.gz0.9218 (69997)1.0 (64526)0.9218 (69997)0.9354 (68985)0.9504 (67892)0.9218 (69997)0.9512 (67840)0.9316 (69264)0.993 (64982)0.9512 (67840)0.9316 (69264)
min-width/MinWidthCB_power_600_24_1k_12s_2t_12.wcnf.gz0.9757 (76559)1.0 (74695)0.9757 (76559)0.9574 (78015)0.948 (78791)0.9757 (76559)0.9681 (77158)0.914 (81719)0.9909 (75381)0.9681 (77158)0.8895 (83972)
BTBNSL/Rounded_BTWBNSL_Flag.BIC_TWBound_2.wcnf.gz0.9929 (277184337)1.0 (275222309)0.992 (277438886)0.9814 (280426129)0.9843 (279600086)0.992 (277438886)0.992 (277438886)0.9729 (282899059)0.9752 (282207234)0.992 (277438886)0.9687 (284117230)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_2.wcnf.gz0.9965 (454710948)1.0 (453099421)0.9965 (454710948)0.9921 (456726611)0.9915 (456995265)0.9965 (454710948)0.9965 (454710948)0.984 (460469288)0.9933 (456142025)0.9965 (454710948)0.9858 (459644104)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf.gz0.9966 (454646129)1.0 (453084111)0.9964 (454710948)0.9949 (455408219)0.9905 (457418835)0.9964 (454710948)0.9964 (454710948)0.9847 (460101811)0.9943 (455689977)0.9964 (454710948)0.9875 (458815651)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_4.wcnf.gz0.9985 (315227544)1.0 (314757425)0.9985 (315227544)0.9607 (327622069)0.8078 (389649439)0.9985 (315227544)0.9985 (315227544)0.951 (330980425)0.954 (329917194)0.9985 (315227544)0.9498 (331407598)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf.gz1.0 (464263033)0.9913 (468342686)1.0 (464263033)0.9939 (467124903)0.9891 (469365244)1.0 (464263033)1.0 (464263033)0.9922 (467908055)0.9467 (490390269)1.0 (464263033)0.9936 (467256682)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_3.wcnf.gz0.9944 (35399331044)1.0 (35200646167)0.9944 (35399331044)0.9966 (35320722522)0.887 (39683011752)0.9944 (35399331044)0.9945 (35395993961)0.9126 (38571584264)0.9926 (35462284619)0.9945 (35395993961)0.9361 (37604936436)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf.gz0.9835 (138121254)1.0 (135838272)0.9829 (138202406)0.9651 (140746108)0.6904 (196765921)0.9829 (138202406)0.9836 (138107705)0.9555 (142158612)0.9045 (150177302)0.9836 (138107705)0.9558 (142115475)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_2.wcnf.gz0.9623 (52217428109)0.9924 (50634873372)0.9463 (53100475403)0.9161 (54846974287)0.7646 (65720192730)0.9463 (53100475403)0.9969 (50404661441)0.8796 (57127193237)0.8865 (56683617712)1.0 (50247945691)0.8744 (57463406447)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf.gz1.0 (49934443353)0.9959 (50140863986)1.0 (49933914284)0.9885 (50515860038)0.8096 (61679114572)1.0 (49933914284)0.9383 (53216258372)0.8939 (55862173116)0.8159 (61202442614)0.9162 (54503570835)0.8939 (55862173116)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf.gz1.0 (5276763036)0.9667 (5458796488)1.0 (5276763036)0.9958 (5299239096)0.7793 (6771514821)1.0 (5276763036)0.9839 (5363298099)0.9299 (5674380098)0.8969 (5883058061)0.9947 (5304952384)0.914 (5773052513)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf.gz0.9663 (1440073647)1.0 (1391561065)0.9662 (1440305080)0.9811 (1418414928)0.6918 (2011645068)0.9662 (1440305080)0.9656 (1441078246)0.966 (1440567387)0.9709 (1433311248)0.9656 (1441078246)0.9597 (1450022219)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.gz0.9767 (1430907103)1.0 (1397580023)0.9767 (1430907103)0.9892 (1412902605)0.8384 (1667017930)0.9767 (1430907103)0.9767 (1430907103)0.9671 (1445193602)0.9671 (1445163962)0.9767 (1430907103)0.9691 (1442142054)
BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_2.wcnf.gz0.9833 (173671218)1.0 (170770082)0.9833 (173671218)0.9864 (173121547)0.9912 (172285889)0.9833 (173671218)0.9833 (173671218)0.9564 (178552525)0.9992 (170914545)0.9833 (173671218)0.9635 (177236825)
BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf.gz0.9826 (173671218)1.0 (170656748)0.9826 (173671218)0.9888 (172595079)0.9886 (172620886)0.9826 (173671218)0.9826 (173671218)0.9672 (176447247)0.9983 (170949852)0.9826 (173671218)0.9649 (176864373)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf.gz0.9983 (28841129)0.9213 (31253837)0.9983 (28841129)0.9215 (31246077)0.9817 (29329132)0.9983 (28841129)1.0 (28792727)0.9941 (28964500)0.9155 (31448976)0.9992 (28815747)0.9941 (28964500)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf.gz0.8145 (7736133)0.9947 (6334373)0.9437 (6677044)1.0 (6301047)0.9517 (6620490)0.8145 (7736133)0.8124 (7756159)0.9474 (6650596)0.7223 (8723015)0.8145 (7736133)0.9489 (6640368)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf.gz0.8242 (8034286)0.9976 (6637810)0.9006 (7352238)1.0 (6621731)0.9504 (6967190)0.8242 (8034286)0.8242 (8034286)0.945 (7006784)0.7022 (9430195)0.8242 (8034286)0.9459 (7000770)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.gz0.8459 (8496167)0.8154 (8814576)0.9124 (7877717)1.0 (7187326)0.9561 (7517034)0.8459 (8496167)0.8459 (8496167)0.9428 (7623070)0.7147 (10056271)0.7403 (9709094)0.9376 (7665721)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz0.8355 (9707861)1.0 (8111098)0.8269 (9809068)0.9911 (8184321)0.952 (8520351)0.8355 (9707861)0.8321 (9747926)0.9425 (8606247)0.7373 (11000798)0.7049 (11507036)0.9387 (8640465)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N150.wcnf.gz0.8633 (5906665)1.0 (5099274)0.9269 (5501521)1.0 (5099274)0.9744 (5233013)0.8633 (5906665)0.8633 (5906665)0.9711 (5250899)0.6712 (7597780)0.0 (-)0.9227 (5526332)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N170.wcnf.gz0.8869 (8802599)1.0 (7807284)0.9606 (8127377)0.9923 (7868092)0.9605 (8128487)0.8729 (8943641)0.8729 (8943641)0.9477 (8238122)0.8064 (9681502)0.0 (-)0.9842 (7932650)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf.gz0.98 (18686546)1.0 (18313394)0.8644 (21185154)0.5502 (33284125)0.2379 (76972215)0.8644 (21185154)0.8257 (22180085)0.0 (-)0.7488 (24455506)0.7981 (22946747)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf.gz0.918 (34789278)0.9835 (32472116)0.9745 (32773880)0.1714 (186341995)0.9942 (32124601)0.7417 (43058597)0.9602 (33260144)1.0 (31937816)0.9657 (33072595)0.9651 (33093682)0.9966 (32047354)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf.gz0.9529 (39645040)0.9702 (38941021)0.9508 (39733693)0.8679 (43527008)0.9855 (38334366)0.6874 (54956144)0.9493 (39797352)1.0 (37779135)0.9563 (39506188)0.9368 (40326223)0.9953 (37956083)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf.gz0.9417 (43053301)0.9618 (42153986)0.9221 (43967505)0.1537 (263825352)0.9856 (41133986)0.6856 (59139752)0.9546 (42471455)0.9923 (40857039)0.9449 (42907186)0.953 (42542010)1.0 (40543461)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N160.wcnf.gz0.923 (8273378)1.0 (7636723)0.994 (7682785)0.7489 (10197523)0.9885 (7725460)0.9021 (8465514)0.8799 (8679287)0.9932 (7688824)0.6684 (11425648)0.8749 (8729134)0.9246 (8259921)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N180.wcnf.gz0.8922 (12203376)1.0 (10888179)0.9893 (11006465)0.9085 (11985040)0.2407 (45239576)0.9002 (12094877)0.8961 (12150303)0.9492 (11470760)0.8682 (12540420)0.8345 (13046787)0.994 (10954325)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf.gz0.8823 (15635670)1.0 (13796078)0.8533 (16168758)0.5506 (25055125)0.2147 (64271390)0.8533 (16168758)0.9127 (15115178)0.8866 (15560879)0.7511 (18367996)0.831 (16601685)0.208 (66339761)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf.gz0.9242 (17733016)1.0 (16388864)0.8534 (19204401)0.6495 (25232804)0.2001 (81883542)0.8534 (19204401)0.8282 (19789483)0.0 (-)0.8026 (20420548)0.495 (33107523)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf.gz0.8985 (15619864)1.0 (14034372)0.8326 (16856548)0.9144 (15348942)0.9359 (14995178)0.6458 (21732778)0.6755 (20774785)0.1762 (79658345)0.7252 (19351102)0.7541 (18610317)0.1762 (79658345)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N240.wcnf.gz0.9135 (16762558)1.0 (15312422)0.7899 (19385436)0.3234 (47343625)0.2719 (56317904)0.6275 (24402467)0.6124 (25002837)0.169 (90586192)0.6766 (22630881)0.7165 (21370017)0.169 (90586192)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N280.wcnf.gz0.8668 (23581643)1.0 (20440211)0.6408 (31896569)0.2906 (70346462)0.2285 (89447494)0.6408 (31896569)0.8245 (24791426)0.1613 (126746160)0.7872 (25965406)0.0 (-)0.1613 (126746160)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N400.wcnf.gz0.8765 (21315130)1.0 (18683055)0.9254 (20189884)0.8343 (22392846)0.9612 (19437681)0.7482 (24970727)0.8492 (22001020)0.9725 (19211478)0.9045 (20656149)0.8525 (21915896)0.9725 (19211478)
correlation-clustering/Rounded_CorrelationClustering_Protein4_UNARY_N210.wcnf.gz0.8342 (5324046)0.9816 (4524611)0.9413 (4717976)0.8563 (5186593)0.9216 (4818951)0.8309 (5345026)0.8012 (5542967)1.0 (4441258)0.5748 (7726547)0.6653 (6675661)0.7153 (6209140)
correlation-clustering/Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf.gz0.8801 (7415436)1.0 (6526510)0.9758 (6688331)0.9121 (7155737)0.5118 (12751595)0.8156 (8001633)0.8054 (8103201)0.9851 (6624903)0.6521 (10007738)0.8106 (8051655)0.7039 (9271320)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N740_D0.200.wcnf.gz0.7342 (124635794)0.6944 (131765785)0.7221 (126710505)0.6599 (138650732)0.99 (92428377)0.7221 (126710505)0.7146 (128049308)0.8876 (103087579)0.6968 (131316300)0.6979 (131110658)1.0 (91501762)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf.gz0.7207 (125749817)0.6743 (134409863)0.688 (131729585)0.6387 (141901657)1.0 (90631116)0.688 (131729585)0.6841 (132474364)0.9565 (94757557)0.6753 (134203716)0.6763 (134019590)0.9875 (91774355)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/adult_test_0_CNF_5_5.wcnf.gz0.9738 (2021)0.9975 (1973)0.7841 (2510)1.0 (1968)0.8979 (2192)0.7841 (2510)0.7952 (2475)0.9099 (2163)0.6552 (3004)0.817 (2409)0.9086 (2166)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_test_8_CNF_5_15.wcnf.gz1.0 (5908)0.9565 (6177)0.8096 (7298)0.9848 (5999)0.9123 (6476)0.8096 (7298)0.7657 (7716)0.9357 (6314)0.6097 (9690)0.7855 (7522)0.96 (6154)
af-synthesis/af-synthesis_stb_50_120_5.wcnf.gz1.0 (114)1.0 (114)0.8779 (130)1.0 (114)0.7566 (151)1.0 (114)1.0 (114)0.9055 (126)0.9914 (115)1.0 (114)0.6534 (175)
af-synthesis/af-synthesis_stb_50_120_7.wcnf.gz1.0 (120)1.0 (120)0.9098 (132)1.0 (120)0.7658 (157)1.0 (120)1.0 (120)0.9758 (123)1.0 (120)1.0 (120)0.6875 (175)
af-synthesis/af-synthesis_stb_50_140_0.wcnf.gz1.0 (120)1.0 (120)0.9167 (131)1.0 (120)0.7423 (162)0.9918 (121)0.9918 (121)0.9167 (131)0.9453 (127)1.0 (120)0.6612 (182)
af-synthesis/af-synthesis_stb_50_140_1.wcnf.gz1.0 (127)1.0 (127)0.9209 (138)1.0 (127)0.7805 (163)1.0 (127)1.0 (127)0.9922 (128)0.9697 (131)1.0 (127)0.6737 (189)
af-synthesis/af-synthesis_stb_50_140_7.wcnf.gz1.0 (109)1.0 (109)0.8943 (122)1.0 (109)0.8088 (135)1.0 (109)1.0 (109)0.9565 (114)0.8462 (129)0.991 (110)0.6395 (171)
af-synthesis/af-synthesis_stb_50_160_4.wcnf.gz1.0 (123)1.0 (123)0.8671 (142)1.0 (123)0.7337 (168)1.0 (123)1.0 (123)0.8986 (137)0.9841 (125)1.0 (123)0.6169 (200)
af-synthesis/af-synthesis_stb_50_160_6.wcnf.gz1.0 (123)1.0 (123)0.9538 (129)1.0 (123)0.7561 (163)0.9841 (125)0.992 (124)0.9466 (130)0.9118 (135)0.9612 (128)0.6458 (191)
af-synthesis/af-synthesis_stb_50_180_2.wcnf.gz1.0 (115)0.9748 (118)0.8788 (131)1.0 (115)0.7073 (163)1.0 (115)0.9748 (118)0.9063 (127)0.9508 (121)1.0 (115)0.6304 (183)
af-synthesis/af-synthesis_stb_50_200_1.wcnf.gz1.0 (132)1.0 (132)0.95 (139)1.0 (132)0.7824 (169)0.9779 (135)0.9779 (135)0.95 (139)0.9708 (136)1.0 (132)0.6303 (210)
af-synthesis/af-synthesis_stb_50_200_6.wcnf.gz1.0 (111)1.0 (111)0.9825 (113)1.0 (111)0.6914 (161)1.0 (111)0.9825 (113)1.0 (111)0.8819 (126)0.9739 (114)0.64 (174)
af-synthesis/af-synthesis_stb_50_40_0.wcnf.gz1.0 (111)1.0 (111)0.9256 (120)1.0 (111)0.8421 (132)1.0 (111)1.0 (111)0.655 (170)0.9912 (112)1.0 (111)0.655 (170)
af-synthesis/af-synthesis_stb_50_40_9.wcnf.gz1.0 (132)1.0 (132)0.9779 (135)1.0 (132)0.8693 (152)1.0 (132)0.9708 (136)0.911 (145)0.9852 (134)0.9779 (135)0.7964 (166)
af-synthesis/af-synthesis_stb_50_60_2.wcnf.gz1.0 (117)1.0 (117)0.9365 (125)1.0 (117)0.7815 (150)1.0 (117)1.0 (117)0.9672 (121)0.9672 (121)1.0 (117)0.7564 (155)
af-synthesis/af-synthesis_stb_50_80_2.wcnf.gz1.0 (105)1.0 (105)0.8833 (119)1.0 (105)0.8217 (128)1.0 (105)1.0 (105)0.8689 (121)1.0 (105)1.0 (105)0.7162 (147)
af-synthesis/af-synthesis_stb_50_80_3.wcnf.gz1.0 (113)1.0 (113)0.9828 (115)1.0 (113)0.8143 (139)0.9913 (114)1.0 (113)0.9828 (115)0.9744 (116)1.0 (113)0.7215 (157)
af-synthesis/af-synthesis_stb_50_80_7.wcnf.gz1.0 (115)1.0 (115)0.8923 (129)1.0 (115)0.7838 (147)0.9667 (119)0.9831 (117)0.8923 (129)0.9748 (118)1.0 (115)0.6824 (169)
railway-transport/bf2030fvslack.wcnf.gz1.0 (245735)0.8609 (285440)1.0 (245735)0.7307 (336300)0.7307 (336300)1.0 (245735)0.7629 (322090)0.7246 (339128)0.654 (375715)0.0 (-)0.5581 (440272)
MinimumWeightDominatingSetProblem/bn-human-BNU_1_0025865_session_1-bg.wcnf.gz0.9975 (119648753)0.9957 (119864215)1.0 (119344428)0.0 (-)0.0 (-)1.0 (119344428)0.9978 (119605461)0.0 (-)0.9992 (119443231)0.9976 (119626432)0.0 (-)
maxcut/dimacs_mod/brock400_1.clq.wcnf.gz0.9221 (1476)0.9722 (1400)1.0 (1361)0.987 (1379)1.0 (1361)0.908 (1499)0.9322 (1460)1.0 (1361)0.9722 (1400)0.9265 (1469)0.9985 (1363)
maxcut/dimacs_mod/brock400_4.clq.wcnf.gz0.8729 (1478)0.9825 (1313)1.0 (1290)0.99 (1303)1.0 (1290)0.8788 (1468)0.8953 (1441)1.0 (1290)0.9315 (1385)0.9375 (1376)1.0 (1290)
maxcut/dimacs_mod/brock800_2.clq.wcnf.gz0.8938 (1204)0.9818 (1096)1.0 (1076)0.9773 (1101)1.0 (1076)0.9197 (1170)0.9035 (1191)1.0 (1076)0.8923 (1206)0.8813 (1221)1.0 (1076)
causal-discovery/causal_Alarm_7_1000.wcnf.gz0.9092 (579415)1.0 (526796)0.9092 (579415)1.0 (526796)1.0 (526796)0.9092 (579415)0.9092 (579415)0.2516 (2093449)1.0 (526796)1.0 (526796)0.1891 (2786455)
causal-discovery/causal_Autos_8_159.wcnf.gz0.8971 (788745)0.7946 (890524)0.8971 (788745)1.0 (707611)0.4126 (1715170)0.8971 (788745)0.8971 (788745)0.1564 (4525083)1.0 (707611)0.8971 (788745)0.159 (4449524)
causal-discovery/causal_Heart_10_212.wcnf.gz0.8883 (1636808)1.0 (1453924)0.8883 (1636808)1.0 (1453924)0.2814 (5166113)0.8883 (1636808)0.3815 (3811201)0.0 (-)1.0 (1453924)0.3179 (4573082)0.0 (-)
causal-discovery/causal_Letter_7_20000.wcnf.gz0.8912 (555377)1.0 (494950)0.9008 (549431)0.9787 (505738)0.9713 (509580)0.9008 (549431)0.8912 (555377)0.886 (558622)0.9682 (511200)0.8714 (568022)0.7753 (638403)
causal-discovery/causal_Link_10_1000.wcnf.gz1.0 (1917853)0.0669 (28652900)0.0681 (28154602)0.0672 (28547924)0.0672 (28547924)0.0681 (28154602)0.0676 (28377225)0.0 (-)0.0679 (28242124)0.0669 (28652900)0.0 (-)
causal-discovery/causal_LungCancer_8_27.wcnf.gz0.9008 (157117)1.0 (141532)0.9008 (157117)1.0 (141532)0.6298 (224732)0.9008 (157117)0.9008 (157117)0.5321 (266003)1.0 (141532)0.9008 (157117)0.3758 (376611)
causal-discovery/causal_Pigs_6_10000.wcnf.gz0.5989 (42644739)1.0 (25539892)0.6095 (41899788)1.0 (25539892)1.0 (25539892)0.6095 (41899788)0.5683 (44937282)1.0 (25539892)1.0 (25539892)0.5989 (42644739)0.0576 (443424487)
causal-discovery/causal_Water_10_1000.wcnf.gz0.2015 (56272427)0.7069 (16041455)0.2045 (55445619)1.0 (11339025)1.0 (11339025)0.2506 (45248337)0.7069 (16041455)0.0 (-)0.209 (54263331)0.7069 (16041455)0.0 (-)
causal-discovery/causal_Wdbc_8_569.wcnf.gz0.7025 (1325683)0.3219 (2892802)0.7025 (1325683)1.0 (931263)1.0 (931263)0.7025 (1325683)0.7025 (1325683)0.2526 (3686648)0.5551 (1677729)0.7025 (1325683)0.2172 (4288406)
causal-discovery/causal_alarm_9_1000.wcnf.gz1.0 (1233992)0.1457 (8470213)1.0 (1233992)1.0 (1233992)1.0 (1233992)1.0 (1233992)1.0 (1233992)0.0 (-)0.1437 (8589584)0.121 (10195432)0.0 (-)
causal-discovery/causal_alarm_9_10000.wcnf.gz1.0 (3146775)0.0608 (51780250)1.0 (3146775)1.0 (3146775)1.0 (3146775)1.0 (3146775)1.0 (3146775)0.05 (62998220)1.0 (3146775)0.0414 (76028067)0.0451 (69829756)
causal-discovery/causal_asia_7_1000.wcnf.gz0.9872 (172567)1.0 (170353)1.0 (170353)0.9846 (173012)0.9846 (173012)1.0 (170353)1.0 (170353)0.2475 (688239)1.0 (170353)1.0 (170353)0.2414 (705793)
causal-discovery/causal_carpo_9_10000.wcnf.gz0.8537 (1433084)0.1954 (6260342)0.8537 (1433084)0.2174 (5627564)0.2174 (5627564)0.8537 (1433084)1.0 (1223386)0.0 (-)1.0 (1223386)0.0478 (25601639)0.0 (-)
causal-discovery/causal_hailfinder_8_10000.wcnf.gz1.0 (115149390)1.0 (115149390)1.0 (115149390)1.0 (115149390)0.7572 (152065307)1.0 (115149390)1.0 (115149390)0.4842 (237833768)1.0 (115149390)1.0 (115149390)0.5725 (201118041)
causal-discovery/causal_insurance_8_10000.wcnf.gz1.0 (38605539)1.0 (38605539)0.4239 (91067310)1.0 (38605539)1.0 (38605539)0.4239 (91067310)0.4239 (91067310)0.1104 (349717618)1.0 (38605539)0.4239 (91067310)0.1414 (273082714)
causal-discovery/causal_insurance_9_100.wcnf.gz0.9207 (4404542)0.0969 (41861472)0.9207 (4404542)0.1006 (40316123)0.8615 (4707228)0.9207 (4404542)0.9207 (4404542)0.0 (-)1.0 (4055248)0.9207 (4404542)0.0 (-)
MinimumWeightDominatingSetProblem/channel-500x100x100-b050.wcnf.gz0.7183 (43147186)0.615 (50394226)1.0 (30990637)0.7567 (40952447)0.9293 (33348213)1.0 (30990637)0.6002 (51635417)0.5656 (54794873)0.7315 (42368726)0.6002 (51635417)0.5656 (54794873)
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.gz1.0 (24)0.9259 (26)0.7576 (32)0.9615 (25)0.0996 (250)0.7576 (32)0.9259 (26)0.5319 (46)0.4098 (60)0.5814 (42)0.102 (244)
timetabling/comp05.wcnf.gz0.5115 (865)1.0 (442)0.4624 (957)0.9059 (488)0.4558 (971)0.4624 (957)0.6544 (676)0.4581 (966)0.8173 (541)0.7134 (620)0.4688 (944)
timetabling/comp06.lp.sm-extracted.wcnf.gz0.1923 (77)0.2459 (60)0.0655 (228)0.0195 (768)0.0116 (1290)0.0655 (228)0.0773 (193)0.0512 (292)1.0 (14)0.0109 (1378)0.0139 (1078)
timetabling/comp07.lp.sm-extracted.wcnf.gz1.0 (252)0.9101 (277)0.7107 (355)0.3244 (779)0.1439 (1757)0.7229 (349)0.8724 (289)0.7312 (345)0.8241 (306)0.1326 (1907)0.1576 (1604)
timetabling/comp07.wcnf.gz1.0 (6)0.4667 (14)0.0293 (238)0.1842 (37)0.011 (635)0.0293 (238)0.0314 (222)0.0113 (616)1.0 (6)0.0693 (100)0.0105 (666)
timetabling/comp09.wcnf.gz0.9238 (104)0.9898 (97)0.9065 (106)1.0 (96)0.3311 (292)0.9065 (106)0.9065 (106)0.5026 (192)0.7638 (126)0.8899 (108)0.3464 (279)
timetabling/comp12.wcnf.gz0.3608 (1008)0.7896 (460)0.3718 (978)1.0 (363)0.3424 (1062)0.3718 (978)0.3658 (994)0.3593 (1012)0.7615 (477)0.368 (988)0.3745 (971)
timetabling/comp13.lp.sm-extracted.wcnf.gz1.0 (31)1.0 (31)0.2388 (133)0.1345 (237)0.0428 (747)0.2388 (133)0.2991 (106)0.4384 (72)1.0 (31)0.0545 (586)0.0699 (457)
timetabling/comp18.wcnf.gz0.8732 (70)1.0 (61)0.6966 (88)0.9254 (66)0.2451 (252)0.6966 (88)0.6813 (90)0.3949 (156)0.5741 (107)0.6392 (96)0.2562 (241)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/compas_train_0_CNF_3_5.wcnf.gz0.9877 (10599)1.0 (10469)0.8928 (11726)0.8073 (12968)0.9578 (10930)0.8928 (11726)0.8941 (11709)0.9569 (10941)0.8865 (11810)0.9326 (11226)0.9542 (10971)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_test_1_CNF_5_20.wcnf.gz1.0 (9656)0.3512 (27500)0.8315 (11613)0.957 (10090)0.9504 (10160)0.8315 (11613)0.814 (11863)0.9621 (10036)0.647 (14925)0.92 (10496)0.9416 (10255)
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.6786 (338844119)0.6495 (354066023)1.0 (229956181)0.7027 (327257020)0.7027 (327257020)1.0 (229956181)0.6495 (354066023)0.683 (336689979)0.6575 (349737670)0.0 (-)0.683 (336689979)
abstraction-refinement/downcast-antlr.wcnf.gz1.0 (76254)1.0 (76251)0.9999 (76256)0.9989 (76333)0.9993 (76301)0.9999 (76256)0.9973 (76458)0.0 (-)1.0 (76253)0.9958 (76571)0.0 (-)
abstraction-refinement/downcast-avrora.wcnf.gz1.0 (46644)1.0 (46644)0.9999 (46649)1.0 (46644)0.9978 (46749)0.9999 (46649)0.9986 (46711)0.9996 (46661)0.0 (-)0.9964 (46811)0.9976 (46754)
abstraction-refinement/downcast-hsqldb.wcnf.gz1.0 (30207)0.2057 (146821)0.9989 (30240)0.0 (-)0.869 (34759)0.9989 (30240)0.9902 (30507)0.9973 (30290)0.0 (-)0.9981 (30264)0.9964 (30316)
abstraction-refinement/downcast-pmd.wcnf.gz0.0 (-)1.0 (4243)0.9998 (4244)0.9692 (4378)0.9643 (4400)0.9998 (4244)0.9272 (4576)0.9976 (4253)0.0 (-)0.9822 (4320)0.9925 (4275)
abstraction-refinement/downcast-xalan.wcnf.gz1.0 (65494)0.9999 (65496)0.9999 (65496)1.0 (65492)0.9993 (65540)0.9999 (65496)0.9952 (65807)0.9998 (65506)1.0 (65491)0.9972 (65678)0.9994 (65532)
railway-transport/f2030.wcnf.gz0.9368 (4494)1.0 (4210)0.9368 (4494)0.9793 (4299)0.9793 (4299)0.9368 (4494)0.5062 (8318)0.9599 (4386)0.8975 (4691)0.5886 (7153)0.9033 (4661)
drmx-cryptogen/geffe128_7.wcnf.gz0.8841 (905)0.9558 (837)0.887 (902)0.9412 (850)0.9282 (862)0.887 (902)0.896 (893)0.9804 (816)1.0 (800)0.898 (891)0.978 (818)
maxcut/dimacs_mod/hamming10-2.clq.wcnf.gz0.9074 (2126)0.954 (2022)1.0 (1929)1.0 (1929)1.0 (1929)0.9138 (2111)0.9204 (2096)1.0 (1929)0.947 (2037)0.9279 (2079)1.0 (1929)
maxcut/dimacs_mod/hamming8-2.clq.wcnf.gz0.9551 (2317)0.9893 (2237)0.9982 (2217)0.9928 (2229)1.0 (2213)0.963 (2298)0.9584 (2309)1.0 (2213)0.9672 (2288)0.9622 (2300)1.0 (2213)
MinimumWeightDominatingSetProblem/hugebubbles-00020.wcnf.gz0.7422 (701973408)0.6898 (755304622)1.0 (521004590)0.7146 (729116154)0.7146 (729116154)1.0 (521004590)0.6898 (755304622)0.6956 (749013441)0.0 (-)0.6898 (755304622)0.6956 (749013441)
MinimumWeightDominatingSetProblem/inf-road-usa.wcnf.gz0.7379 (889776885)0.7269 (903206743)1.0 (656533235)0.7575 (866767050)0.7575 (866767050)1.0 (656533235)0.7269 (903206743)0.0 (-)0.0 (-)0.7269 (903206743)0.0 (-)
staff-scheduling/instance10.wcnf.gz0.8532 (5927)0.8917 (5671)0.6526 (7750)1.0 (5057)0.7892 (6408)0.6526 (7750)0.676 (7481)0.7638 (6621)0.0 (-)0.7712 (6558)0.7517 (6728)
staff-scheduling/instance11.wcnf.gz0.9816 (3859)0.921 (4113)0.8441 (4488)0.9768 (3878)1.0 (3788)0.8441 (4488)0.7889 (4802)0.9768 (3878)0.0 (-)0.8403 (4508)0.9768 (3878)
staff-scheduling/instance12.wcnf.gz1.0 (4817)0.8862 (5436)0.3549 (13576)0.237 (20331)0.6083 (7919)0.3549 (13576)0.3153 (15279)0.5952 (8094)0.0 (-)0.4851 (9930)0.592 (8138)
staff-scheduling/instance2.wcnf.gz1.0 (828)1.0 (828)0.9988 (829)1.0 (828)0.9893 (837)0.9988 (829)0.994 (833)0.9881 (838)0.0 (-)0.9685 (855)0.9834 (842)
staff-scheduling/instance3.wcnf.gz0.9453 (1060)0.9616 (1042)0.9444 (1061)1.0 (1002)0.9489 (1056)0.9444 (1061)0.958 (1046)0.9728 (1030)0.8632 (1161)0.9552 (1049)0.9804 (1022)
staff-scheduling/instance4.wcnf.gz0.9636 (1783)0.9679 (1775)0.9571 (1795)1.0 (1718)0.9745 (1763)0.9571 (1795)0.9641 (1782)0.9994 (1719)0.9368 (1834)0.9609 (1788)0.9845 (1745)
staff-scheduling/instance5.wcnf.gz0.9975 (1220)1.0 (1217)0.8541 (1425)0.9838 (1237)0.8663 (1405)0.8541 (1425)0.8602 (1415)0.9348 (1302)0.0 (-)0.8523 (1428)0.9234 (1318)
staff-scheduling/instance6.wcnf.gz0.9464 (2145)1.0 (2030)0.8273 (2454)0.9447 (2149)0.8785 (2311)0.8273 (2454)0.7965 (2549)0.8494 (2390)0.5027 (4039)0.794 (2557)0.8769 (2315)
staff-scheduling/instance7.wcnf.gz0.9104 (1283)0.975 (1198)0.7203 (1622)0.9932 (1176)0.9693 (1205)0.7203 (1622)0.7176 (1628)1.0 (1168)0.6195 (1886)0.7767 (1504)0.9613 (1215)
staff-scheduling/instance8.wcnf.gz1.0 (1764)0.7741 (2279)0.5524 (3194)0.8738 (2019)0.4357 (4050)0.5524 (3194)0.5913 (2984)0.6628 (2662)0.0 (-)0.5578 (3163)0.4136 (4266)
staff-scheduling/instance9.wcnf.gz0.6536 (842)0.6984 (788)0.1843 (2989)1.0 (550)0.2704 (2037)0.1843 (2989)0.1788 (3081)0.2135 (2580)0.0 (-)0.3054 (1803)0.2244 (2454)
maxcut/dimacs_mod/johnson8-4-4.clq.wcnf.gz0.9013 (4609)0.9703 (4281)0.8892 (4672)0.9405 (4417)1.0 (4154)0.8892 (4672)0.9104 (4563)1.0 (4154)0.8562 (4852)0.9076 (4577)1.0 (4154)
shiftdesign/limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf.gz1.0 (30028201)0.9985 (30073709)1.0 (30028201)1.0 (30029203)1.0 (30029203)1.0 (30028201)0.987 (30425078)0.0 (-)1.0 (30028201)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf.gz1.0 (28414665)0.0728 (390417566)1.0 (28414665)0.0 (-)1.0 (28415831)1.0 (28414665)0.9813 (28956476)0.0 (-)1.0 (28414665)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-102_30m.sm-extracted.wcnf.gz1.0 (16836508)0.0464 (362982453)1.0 (16836508)1.0 (16836746)1.0 (16836746)1.0 (16836508)0.9704 (17350769)0.0 (-)1.0 (16836508)0.9422 (17869706)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-122_30m.sm-extracted.wcnf.gz1.0 (15804703)0.0433 (365265961)1.0 (15804703)1.0 (15805126)1.0 (15805126)1.0 (15804703)0.9975 (15845067)0.0 (-)1.0 (15804703)0.9928 (15919995)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf.gz1.0 (14625180)0.0487 (300350110)1.0 (14625180)1.0 (14625234)1.0 (14625234)1.0 (14625180)0.9706 (15067980)0.0 (-)1.0 (14625180)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-003_30m.sm-extracted.wcnf.gz1.0 (29513967)0.0534 (552884483)1.0 (29514011)1.0 (29515116)1.0 (29515116)1.0 (29514011)0.9868 (29909758)0.0 (-)1.0 (29513967)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.gz1.0 (42378941)0.9786 (43307361)0.9853 (43011687)0.9982 (42454434)0.9939 (42636994)0.9853 (43011687)0.9803 (43231919)0.0 (-)0.9999 (42381591)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.gz0.7547 (44226510)0.9996 (33391121)0.2561 (130317497)0.0 (-)1.0 (33378169)0.307 (108739386)0.205 (162839515)0.0 (-)0.6083 (54873018)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-3_inst-002_30m.sm-extracted.wcnf.gz1.0 (24222877)0.0663 (365187275)1.0 (24222877)1.0 (24223578)1.0 (24223578)1.0 (24222877)0.981 (24693052)0.0 (-)1.0 (24222877)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-3_inst-003_30m.sm-extracted.wcnf.gz1.0 (24657583)0.0506 (487602632)1.0 (24657583)1.0 (24658530)1.0 (24658530)1.0 (24657583)0.962 (25630757)0.0 (-)1.0 (24657583)0.9669 (25502514)0.0 (-)
shiftdesign/limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf.gz1.0 (9547538)0.2117 (45093027)1.0 (9547576)1.0 (9547398)1.0 (9547398)1.0 (9547576)0.9743 (9799241)0.0 (-)1.0 (9547398)0.6653 (14350932)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)0.6696 (565)1.0 (378)0.7657 (494)1.0 (378)0.9819 (385)0.7863 (481)0.6591 (574)
lisbon-wedding/lisbon-wedding-10-19.wcnf.gz1.0 (380)1.0 (380)1.0 (380)1.0 (380)0.5755 (661)1.0 (380)0.7744 (491)1.0 (380)0.9896 (384)0.8124 (468)0.8158 (466)
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.9951 (810)1.0 (806)1.0 (806)0.5111 (1578)1.0 (806)0.7205 (1119)1.0 (806)0.0 (-)0.7465 (1080)0.8294 (972)
lisbon-wedding/lisbon-wedding-5-19.wcnf.gz1.0 (805)0.9951 (809)1.0 (805)1.0 (805)1.0 (805)1.0 (805)0.7177 (1122)1.0 (805)0.0 (-)0.754 (1068)0.8547 (942)
lisbon-wedding/lisbon-wedding-6-19.wcnf.gz1.0 (805)0.9951 (809)1.0 (805)1.0 (805)0.7216 (1116)1.0 (805)0.7261 (1109)1.0 (805)0.0 (-)0.8224 (979)0.6883 (1170)
lisbon-wedding/lisbon-wedding-7-17.wcnf.gz1.0 (420)1.0 (420)1.0 (420)1.0 (420)0.7739 (543)1.0 (420)0.805 (522)1.0 (420)0.9906 (424)0.7811 (538)0.8957 (469)
lisbon-wedding/lisbon-wedding-8-18.wcnf.gz1.0 (396)1.0 (396)1.0 (396)1.0 (396)0.7407 (535)1.0 (396)0.8483 (467)1.0 (396)0.9498 (417)0.8465 (468)0.8901 (445)
lisbon-wedding/lisbon-wedding-8-19.wcnf.gz1.0 (399)1.0 (399)1.0 (399)1.0 (399)0.7326 (545)1.0 (399)0.8163 (489)1.0 (399)0.9852 (405)0.8299 (481)0.8511 (469)
lisbon-wedding/lisbon-wedding-9-17.wcnf.gz1.0 (394)1.0 (394)0.9975 (395)1.0 (394)0.7079 (557)0.9975 (395)0.8298 (475)0.995 (396)0.995 (396)0.844 (467)0.8681 (454)
lisbon-wedding/lisbon-wedding-9-19.wcnf.gz1.0 (398)1.0 (398)1.0 (398)1.0 (398)0.8544 (466)1.0 (398)0.821 (485)1.0 (398)0.9901 (402)0.8453 (471)0.8636 (461)
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)0.7943 (174)1.0 (138)1.0 (138)0.8528 (162)1.0 (138)0.5226 (265)0.6017 (230)
metro/metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.wcnf.gz1.0 (110)1.0 (110)0.9652 (114)1.0 (110)0.7986 (138)1.0 (110)1.0 (110)0.9823 (112)1.0 (110)1.0 (110)0.9024 (122)
pseudoBoolean/miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf.gz1.0 (22199)1.0 (22199)0.5371 (41329)0.5741 (38670)0.5741 (38670)0.5371 (41329)1.0 (22199)0.3519 (63093)1.0 (22199)0.5448 (40748)0.4928 (45050)
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)1.0 (3272)1.0 (3272)0.7662 (4271)0.7862 (4162)0.9012 (3631)0.7466 (4383)0.8721 (3752)0.865 (3783)
pseudoBoolean/miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf.gz1.0 (307)0.9904 (310)0.8556 (359)1.0 (307)1.0 (307)0.9625 (319)0.9968 (308)0.8556 (359)0.5683 (541)0.9655 (318)0.0502 (6132)
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)1.0 (10415)0.461 (22594)0.2267 (45940)0.2267 (45940)0.461 (22594)0.4924 (21152)0.2704 (38526)0.5682 (18330)0.4639 (22452)0.2704 (38526)
pseudoBoolean/miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.gz0.9642 (1785)0.9609 (1791)0.9642 (1785)1.0 (1721)0.9885 (1741)0.9642 (1785)0.9642 (1785)0.2763 (6232)0.9685 (1777)0.9642 (1785)0.2593 (6640)
maxcut/dimacs_mod/p_hat1000-3.clq.wcnf.gz0.9435 (1326)0.9992 (1252)0.9766 (1281)1.0 (1251)1.0 (1251)0.9435 (1326)0.8886 (1408)1.0 (1251)0.947 (1321)0.8768 (1427)1.0 (1251)
maxcut/dimacs_mod/p_hat500-3.clq.wcnf.gz0.9226 (1627)0.9947 (1509)1.0 (1501)0.9791 (1533)1.0 (1501)0.9187 (1634)0.917 (1637)1.0 (1501)0.9277 (1618)0.9054 (1658)1.0 (1501)
relational-inference/pa-2.wcnf.gz0.3078 (7035)0.4609 (4699)1.0 (2165)0.0703 (30829)0.1236 (17527)1.0 (2165)0.4609 (4699)0.0729 (29731)0.0861 (25164)0.4609 (4699)0.0729 (29731)
relational-inference/pa-3.wcnf.gz0.9464 (1679)0.0865 (18371)0.6965 (2282)0.0367 (43288)1.0 (1589)0.6965 (2282)0.0886 (17937)0.1109 (14334)0.0367 (43288)0.0979 (16237)0.1109 (14334)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/pima_train_1_DNF_5_15.wcnf.gz0.9549 (1817)1.0 (1735)0.7834 (2215)0.9293 (1867)0.9259 (1874)0.7834 (2215)0.7571 (2292)0.899 (1930)0.7008 (2476)0.7949 (2183)0.9166 (1893)
abstraction-refinement/polysite-avrora.wcnf.gz0.9998 (51809)0.9998 (51813)0.9999 (51807)0.9998 (51809)0.9987 (51870)0.9999 (51807)0.0 (-)0.9992 (51841)1.0 (51801)0.9944 (52091)0.9986 (51874)
abstraction-refinement/polysite-bloat.wcnf.gz1.0 (43)0.9778 (44)0.5366 (81)0.0 (-)0.1257 (349)0.5366 (81)0.7458 (58)0.3014 (145)0.0 (-)0.8462 (51)0.3014 (145)
abstraction-refinement/polysite-hsqldb.wcnf.gz1.0 (172383)1.0 (172386)0.9999 (172406)0.9989 (172570)0.9697 (177778)0.9999 (172404)0.997 (172896)0.0 (-)0.0 (-)0.9996 (172457)0.0 (-)
abstraction-refinement/polysite-pmd.wcnf.gz1.0 (188400)1.0 (188408)1.0 (188403)0.9989 (188601)0.9983 (188721)1.0 (188403)0.998 (188785)0.9998 (188445)0.0 (-)0.9992 (188557)0.9993 (188541)
abstraction-refinement/polysite-xalan.wcnf.gz1.0 (114638)1.0 (114637)0.9995 (114696)0.9993 (114721)0.9989 (114764)0.9995 (114696)0.9958 (115120)0.0 (-)0.9908 (115705)0.999 (114747)0.0 (-)
max-realizability/power-distribution_10_7.wcnf.gz0.9683 (62)0.9242 (65)0.9531 (63)1.0 (60)1.0 (60)0.9531 (63)0.9531 (63)1.0 (60)0.9531 (63)0.9385 (64)1.0 (60)
max-realizability/power-distribution_10_8.wcnf.gz0.9839 (61)0.9242 (65)0.9104 (66)1.0 (60)1.0 (60)0.9104 (66)0.9839 (61)1.0 (60)0.7011 (86)0.9104 (66)1.0 (60)
max-realizability/power-distribution_11_7.wcnf.gz0.9478 (133)0.9769 (129)0.9549 (132)1.0 (126)1.0 (126)0.9549 (132)0.9769 (129)1.0 (126)0.8639 (146)0.9338 (135)1.0 (126)
max-realizability/power-distribution_11_8.wcnf.gz0.9407 (134)0.9549 (132)0.9695 (130)1.0 (126)1.0 (126)0.9695 (130)0.9621 (131)1.0 (126)0.4686 (270)0.9478 (133)1.0 (126)
max-realizability/power-distribution_12_7.wcnf.gz0.9602 (225)0.5012 (432)0.9688 (223)1.0 (216)1.0 (216)0.9688 (223)0.9731 (222)1.0 (216)0.9909 (218)0.9775 (221)1.0 (216)
max-realizability/power-distribution_12_8.wcnf.gz0.9688 (223)0.5012 (432)0.9864 (219)1.0 (216)1.0 (216)0.9864 (219)0.9644 (224)0.9954 (217)0.7457 (290)0.9644 (224)1.0 (216)
max-realizability/power-distribution_2_8.wcnf.gz1.0 (10)1.0 (10)0.8462 (12)1.0 (10)1.0 (10)0.8462 (12)0.9167 (11)1.0 (10)1.0 (10)1.0 (10)1.0 (10)
max-realizability/power-distribution_7_8.wcnf.gz0.9048 (20)1.0 (18)0.9048 (20)1.0 (18)1.0 (18)0.9048 (20)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)
max-realizability/power-distribution_8_8.wcnf.gz0.9535 (42)1.0 (40)0.9762 (41)1.0 (40)1.0 (40)0.9762 (41)0.9535 (42)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)1.0 (18)1.0 (18)0.95 (19)0.95 (19)1.0 (18)0.9048 (20)0.9048 (20)1.0 (18)
railway-transport/r11.wcnf.gz1.0 (52557618)0.7895 (66571750)0.8199 (64100022)0.7604 (69118682)0.7604 (69118682)0.8199 (64100022)0.7467 (70386861)0.0 (-)0.7957 (66051181)0.4952 (106140689)0.0 (-)
ramsey/ram_k3_n12.ra1.wcnf.gz1.0 (524)0.5866 (894)1.0 (524)0.6062 (865)1.0 (524)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.7636 (1856)1.0 (1417)0.9752 (1453)1.0 (1417)0.6877 (2061)0.6877 (2061)1.0 (1417)0.7527 (1883)0.6877 (2061)1.0 (1417)
ramsey/ram_k3_n14.ra1.wcnf.gz0.882 (3430)0.7189 (4208)1.0 (3025)0.8134 (3719)1.0 (3025)0.6496 (4657)0.9027 (3351)0.954 (3171)0.882 (3430)0.7393 (4092)0.954 (3171)
ramsey/ram_k3_n15.ra1.wcnf.gz0.8576 (5695)0.7716 (6330)0.9923 (4922)0.7687 (6354)1.0 (4884)0.8576 (5695)0.8576 (5695)0.9469 (5158)0.796 (6136)0.8576 (5695)0.9407 (5192)
ramsey/ram_k3_n16.ra1.wcnf.gz0.7524 (9664)0.6859 (10601)0.7524 (9664)0.7449 (9762)1.0 (7271)0.7524 (9664)0.7952 (9144)0.9736 (7468)0.7861 (9250)0.7679 (9469)1.0 (7271)
ramsey/ram_k3_n17.ra1.wcnf.gz0.7052 (14708)0.6687 (15511)0.7023 (14769)0.7321 (14168)1.0 (10372)0.7023 (14769)0.7204 (14397)0.9888 (10490)0.6908 (15016)0.7212 (14381)0.9888 (10490)
ramsey/ram_k3_n18.ra1.wcnf.gz0.8003 (19520)0.6863 (22760)0.6914 (22595)0.6395 (24426)1.0 (15621)0.6914 (22595)0.718 (21756)0.9395 (16627)0.7839 (19928)0.6892 (22665)0.9447 (16536)
ramsey/ram_k3_n19.ra1.wcnf.gz0.7341 (28152)0.6529 (31651)0.6973 (29635)0.7136 (28958)1.0 (20665)0.6973 (29635)0.689 (29994)0.9655 (21404)0.6935 (29800)0.6944 (29758)0.9619 (21484)
ramsey/ram_k3_n20.ra1.wcnf.gz0.7238 (33017)0.6647 (35954)0.6295 (37967)0.6346 (37658)1.0 (23898)0.6295 (37967)0.6306 (37899)0.9735 (24548)0.6535 (36572)0.6673 (35813)0.9465 (25249)
ramsey/ram_k4_n18.ra1.wcnf.gz0.4454 (704)0.2973 (1055)0.2643 (1187)0.5081 (617)0.8533 (367)0.2643 (1187)0.3326 (943)1.0 (313)0.4373 (717)0.5597 (560)1.0 (313)
ramsey/ram_k4_n19.ra1.wcnf.gz0.4773 (2178)0.3892 (2671)0.4444 (2339)0.3096 (3358)1.0 (1039)0.4444 (2339)0.3512 (2960)0.8588 (1210)0.3258 (3191)0.3875 (2683)0.9665 (1075)
ramsey/ram_k4_n20.ra1.wcnf.gz0.4864 (5418)0.4509 (5845)0.3446 (7649)0.354 (7445)0.9351 (2818)0.3446 (7649)0.3693 (7137)0.7904 (3334)0.4023 (6551)0.4192 (6287)1.0 (2635)
mpe/random-net-100-2_network-9.net.wcnf.gz0.9209 (97110)0.9989 (89528)0.9995 (89471)0.9495 (94182)0.9951 (89869)0.9209 (97110)0.9264 (96533)1.0 (89430)0.9478 (94357)0.9253 (96652)0.9973 (89673)
mpe/random-net-30-5_network-7.net.wcnf.gz0.9547 (28108)0.9881 (27160)0.9833 (27293)0.949 (28278)0.9923 (27045)0.9671 (27749)0.9547 (28108)1.0 (26836)0.9489 (28280)0.9547 (28108)1.0 (26836)
mpe/random-net-30-6_network-4.net.wcnf.gz0.8889 (27407)0.996 (24460)1.0 (24362)0.996 (24460)1.0 (24362)0.8687 (28045)0.8563 (28450)1.0 (24362)0.9449 (25783)0.8825 (27607)1.0 (24362)
mpe/random-net-30-6_network-6.net.wcnf.gz0.0 (-)0.9571 (28516)0.8948 (30503)0.9438 (28918)0.9842 (27731)0.8948 (30503)0.9444 (28901)1.0 (27294)0.9306 (29330)0.8286 (32941)1.0 (27294)
mpe/random-net-40-4_network-10.net.wcnf.gz0.0 (-)0.968 (38127)0.9508 (38814)0.9857 (37442)1.0 (36905)0.9508 (38814)0.9401 (39257)1.0 (36905)0.968 (38126)0.9698 (38053)1.0 (36905)
mpe/random-net-40-4_network-3.net.wcnf.gz0.0 (-)0.9905 (34710)0.8541 (40252)0.9979 (34452)0.9979 (34452)0.8541 (40252)0.8563 (40152)1.0 (34381)0.9707 (35418)0.8541 (40252)1.0 (34381)
mpe/random-net-40-4_network-7.net.wcnf.gz0.9751 (36595)0.9913 (35995)1.0 (35682)0.9991 (35714)0.9979 (35756)0.9615 (37110)0.9609 (37135)1.0 (35682)0.9664 (36923)0.9765 (36539)1.0 (35682)
mpe/random-net-40-5_network-10.net.wcnf.gz0.8537 (38287)1.0 (32686)1.0 (32686)0.9915 (32965)1.0 (32686)0.864 (37831)0.8537 (38287)1.0 (32686)1.0 (32686)0.8543 (38261)1.0 (32686)
mpe/random-net-40-5_network-9.net.wcnf.gz0.9537 (37698)0.9923 (36230)0.9904 (36301)0.955 (37647)1.0 (35952)0.9537 (37698)0.9537 (37698)1.0 (35952)0.9526 (37741)0.9537 (37698)1.0 (35952)
mpe/random-net-50-4_network-10.net.wcnf.gz0.0 (-)0.974 (43974)0.9465 (45251)0.9756 (43902)0.9963 (42987)0.9465 (45251)0.9416 (45486)1.0 (42830)0.9678 (44254)0.9465 (45251)1.0 (42830)
mpe/random-net-50-5_network-1.net.wcnf.gz0.0 (-)0.9104 (48748)0.9275 (47848)0.9973 (44501)0.9906 (44802)0.9275 (47848)0.9275 (47848)0.9906 (44802)0.9637 (46050)0.9275 (47848)1.0 (44380)
mpe/random-net-50-5_network-2.net.wcnf.gz0.8527 (48648)0.9648 (42992)1.0 (41480)0.9926 (41790)0.9991 (41518)0.8569 (48405)0.8517 (48704)1.0 (41480)0.9429 (43990)0.9314 (44533)1.0 (41480)
mpe/random-net-50-5_network-5.net.wcnf.gz0.9114 (48649)0.9112 (48660)1.0 (44339)0.9887 (44845)0.9942 (44598)0.8964 (49462)0.9137 (48527)1.0 (44339)0.9239 (47991)0.9465 (46846)0.9957 (44530)
mpe/random-net-60-3_network-7.net.wcnf.gz0.9201 (56334)0.6148 (84308)0.9964 (52019)0.971 (53380)0.9922 (52242)0.9016 (57492)0.8905 (58206)0.9973 (51971)0.9901 (52350)0.8899 (58249)1.0 (51833)
mpe/random-net-60-3_network-9.net.wcnf.gz0.921 (59591)1.0 (54883)0.9906 (55402)0.9656 (56836)1.0 (54883)0.921 (59591)0.921 (59591)1.0 (54883)0.978 (56117)0.921 (59591)1.0 (54883)
max-realizability/robot-navigation_10.wcnf.gz1.0 (14)1.0 (14)0.9375 (15)1.0 (14)1.0 (14)0.9375 (15)1.0 (14)0.5556 (26)0.0 (-)0.0 (-)0.375 (39)
max-realizability/robot-navigation_8.wcnf.gz1.0 (26)1.0 (26)0.9643 (27)1.0 (26)1.0 (26)0.9643 (27)0.9643 (27)0.0 (-)0.0 (-)1.0 (26)0.675 (39)
max-realizability/robot-navigation_9.wcnf.gz1.0 (14)1.0 (14)0.9375 (15)1.0 (14)1.0 (14)0.9375 (15)0.9375 (15)0.5556 (26)0.0 (-)0.0 (-)0.375 (39)
ParametricRBACMaintenance/role_domino_0.05_1.cnf.gz0.3696 (64125)0.309 (76686)0.2482 (95488)1.0 (23698)0.9023 (26265)0.2482 (95488)0.2598 (91236)0.9133 (25949)0.5566 (42578)0.2671 (88714)0.928 (25538)
ParametricRBACMaintenance/role_domino_0.05_8.cnf.gz0.3485 (72371)0.2962 (85146)0.2445 (103164)0.5 (50444)0.977 (25813)0.2445 (103164)0.2778 (90788)0.9805 (25720)0.697 (36182)0.3139 (80332)1.0 (25219)
ParametricRBACMaintenance/role_domino_0.35_4.cnf.gz0.8063 (138010)0.7671 (145057)0.6955 (159996)0.2984 (372957)1.0 (111278)0.6955 (159996)0.7264 (153195)0.9734 (114316)0.7966 (139685)0.7148 (155676)0.9703 (114688)
ParametricRBACMaintenance/role_domino_0.45_5.cnf.gz0.934 (158502)0.8883 (166652)0.9493 (155939)0.3227 (458752)1.0 (148039)0.9493 (155939)0.9084 (162964)0.9933 (149039)0.8893 (166463)0.9487 (156052)0.9933 (149039)
ParametricRBACMaintenance/role_domino_0.65_4.cnf.gz0.9195 (190436)0.9302 (188236)0.9442 (185448)0.2767 (632784)0.9998 (175136)0.9442 (185448)0.9502 (184268)1.0 (175100)0.8957 (195500)0.968 (180884)1.0 (175100)
ParametricRBACMaintenance/role_domino_0.6_13.cnf.gz0.9224 (183051)0.9103 (185484)0.9592 (176022)0.2877 (586933)0.9955 (169611)0.9592 (176022)0.9443 (178790)1.0 (168840)0.877 (192512)0.9729 (173541)0.9999 (168852)
ParametricRBACMaintenance/role_domino_0.7_2.cnf.gz0.9103 (198256)0.9107 (198164)0.965 (187011)0.2662 (677916)0.9992 (180602)0.965 (187011)0.9695 (186150)0.9995 (180547)0.874 (206490)0.9668 (186664)1.0 (180464)
ParametricRBACMaintenance/role_domino_0.95_4.cnf.gz0.8476 (239194)0.8726 (232349)0.9516 (213066)1.0 (202744)0.9991 (202926)0.9516 (213066)0.9757 (207797)0.9998 (202793)0.8403 (241280)0.9837 (206113)0.9955 (203657)
ParametricRBACMaintenance/role_domino_1.0_15.cnf.gz0.9913 (208854)0.9656 (214409)0.9205 (224928)1.0 (207039)0.9963 (207809)0.9205 (224928)0.9587 (215949)0.996 (207864)0.9067 (228352)0.9587 (215949)0.9526 (217338)
ParametricRBACMaintenance/role_smallcomp_0.9_4.cnf.gz1.0 (372134)1.0 (372134)1.0 (372134)1.0 (372134)0.9854 (377629)1.0 (372134)1.0 (372134)1.0 (372134)0.9891 (376244)1.0 (372134)0.9945 (374189)
ParametricRBACMaintenance/role_smallcomp_1.0_0.cnf.gz1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)1.0 (376922)
ParametricRBACMaintenance/role_university_0.55_2.cnf.gz1.0 (216711)0.944 (229557)0.9431 (229785)0.3604 (601227)0.9768 (221857)0.9431 (229785)0.9227 (234878)0.9515 (227769)0.9086 (238518)0.9058 (239258)0.9507 (227947)
ParametricRBACMaintenance/role_university_0.6_8.cnf.gz1.0 (214202)0.9617 (222736)0.9275 (230956)0.3407 (628652)0.9658 (221795)0.9275 (230956)0.9535 (224638)0.9744 (219838)0.8908 (240467)0.9093 (235558)0.8366 (256052)
ParametricRBACMaintenance/role_university_0.85_2.cnf.gz0.9833 (220984)0.9899 (219524)0.9963 (218102)0.2687 (808642)1.0 (217304)0.9963 (218102)0.9972 (217924)0.9963 (218116)0.8192 (265254)0.9913 (219212)0.4825 (450392)
ParametricRBACMaintenance/role_university_0.85_9.cnf.gz0.9936 (212168)0.9997 (210862)0.9966 (211528)0.2607 (808772)0.9774 (215686)0.9966 (211528)0.9605 (219464)1.0 (210806)0.8716 (241872)0.934 (225698)0.5052 (417264)
maxcut/dimacs_mod/san200_0.7_2.clq.wcnf.gz0.9431 (1318)0.9765 (1273)1.0 (1243)0.9726 (1278)1.0 (1243)0.9325 (1333)0.9001 (1381)1.0 (1243)0.9584 (1297)0.9008 (1380)1.0 (1243)
maxcut/dimacs_mod/san200_0.9_3.clq.wcnf.gz0.9356 (1785)0.9946 (1679)0.9905 (1686)0.9946 (1679)1.0 (1670)0.9361 (1784)0.9489 (1760)1.0 (1670)0.9559 (1747)0.9451 (1767)1.0 (1670)
maxcut/dimacs_mod/san400_0.7_3.clq.wcnf.gz0.8937 (1344)1.0 (1201)1.0 (1201)0.9885 (1215)1.0 (1201)0.8672 (1385)0.8877 (1353)0.9942 (1208)0.9413 (1276)0.9058 (1326)1.0 (1201)
maxcut/dimacs_mod/san400_0.9_1.clq.wcnf.gz0.9304 (1724)0.9853 (1628)0.995 (1612)0.9981 (1607)1.0 (1604)0.9135 (1756)0.9469 (1694)1.0 (1604)0.9599 (1671)0.9565 (1677)1.0 (1604)
maxcut/dimacs_mod/sanr200_0.7.clq.wcnf.gz0.8649 (1354)0.9759 (1200)0.9759 (1200)0.9614 (1218)1.0 (1171)0.8567 (1367)0.8733 (1341)1.0 (1171)0.8967 (1306)0.8649 (1354)1.0 (1171)
maxcut/dimacs_mod/sanr200_0.9.clq.wcnf.gz0.9476 (1699)0.9944 (1619)0.9988 (1612)0.9859 (1633)1.0 (1610)0.9488 (1697)0.9618 (1674)1.0 (1610)0.9482 (1698)0.9334 (1725)1.0 (1610)
MinimumWeightDominatingSetProblem/sc-rel9.wcnf.gz0.5518 (20408076)0.6724 (16746750)0.7002 (16084054)0.6953 (16197027)1.0 (11261298)0.7002 (16084054)0.6724 (16746750)0.02 (562434824)0.6783 (16601245)0.6724 (16746750)0.02 (562434824)
set-covering/random/scpnr/scpnre2_weighted.wcnf.gz0.9118 (33)0.9688 (31)0.9688 (31)0.9394 (32)0.9394 (32)0.9118 (33)0.8378 (36)1.0 (30)0.8378 (36)0.8378 (36)1.0 (30)
set-covering/random/scpnr/scpnrf5_weighted.wcnf.gz0.9333 (14)0.9333 (14)0.9333 (14)0.9333 (14)0.9333 (14)0.9333 (14)0.875 (15)1.0 (13)0.875 (15)0.9333 (14)1.0 (13)
set-covering/random/scpnr/scpnrg1_weighted.wcnf.gz0.9468 (187)0.9519 (186)1.0 (177)0.8945 (198)0.9674 (183)0.9468 (187)0.8945 (198)0.9944 (178)0.8945 (198)0.8945 (198)0.9944 (178)
set-covering/random/scpnr/scpnrg2_weighted.wcnf.gz0.9578 (165)0.9815 (161)0.9578 (165)0.9353 (169)1.0 (158)0.9578 (165)0.9353 (169)1.0 (158)0.9353 (169)0.9353 (169)1.0 (158)
set-covering/random/scpnr/scpnrg3_weighted.wcnf.gz0.9713 (173)0.9883 (170)0.9941 (169)0.9286 (181)0.9826 (171)0.9713 (173)0.9286 (181)1.0 (168)0.9286 (181)0.9286 (181)1.0 (168)
set-covering/random/scpnr/scpnrg4_weighted.wcnf.gz0.9605 (176)0.9714 (174)0.977 (173)0.914 (185)0.9714 (174)0.9605 (176)0.914 (185)1.0 (169)0.914 (185)0.914 (185)0.9884 (171)
set-covering/random/scpnr/scpnrg5_weighted.wcnf.gz0.9774 (176)0.9886 (174)0.9886 (174)0.8964 (192)0.9886 (174)0.9774 (176)0.8964 (192)1.0 (172)0.8964 (192)0.8964 (192)0.9943 (173)
set-covering/random/scpnr/scpnrh1_weighted.wcnf.gz0.9848 (65)0.9701 (66)0.9848 (65)0.8784 (73)0.9155 (70)0.9848 (65)0.8784 (73)1.0 (64)0.8784 (73)0.8784 (73)1.0 (64)
set-covering/random/scpnr/scpnrh2_weighted.wcnf.gz0.9848 (65)1.0 (64)0.9559 (67)0.9559 (67)0.8904 (72)0.9559 (67)0.9559 (67)1.0 (64)0.9559 (67)0.9559 (67)1.0 (64)
set-covering/random/scpnr/scpnrh3_weighted.wcnf.gz0.9677 (61)0.9231 (64)0.9375 (63)0.8571 (69)0.8824 (67)0.9375 (63)0.8571 (69)1.0 (59)0.8571 (69)0.8571 (69)1.0 (59)
set-covering/random/scpnr/scpnrh4_weighted.wcnf.gz0.9833 (59)0.9516 (61)0.9516 (61)0.8551 (68)0.9219 (63)0.9516 (61)0.8551 (68)1.0 (58)0.8551 (68)0.8551 (68)1.0 (58)
set-covering/random/scpnr/scpnrh5_weighted.wcnf.gz0.9655 (57)0.9655 (57)0.9333 (59)0.8615 (64)0.8889 (62)0.9333 (59)0.8615 (64)1.0 (55)0.8615 (64)0.8615 (64)1.0 (55)
tcp/tcp_students_105_it_2.wcnf.gz1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)
tcp/tcp_students_105_it_3.wcnf.gz1.0 (2922)1.0 (2922)1.0 (2922)1.0 (2922)0.9644 (3030)1.0 (2922)0.9878 (2958)1.0 (2922)1.0 (2922)1.0 (2922)0.976 (2994)
tcp/tcp_students_105_it_6.wcnf.gz1.0 (2994)1.0 (2994)0.9871 (3033)1.0 (2994)0.9633 (3108)0.9871 (3033)0.919 (3258)0.9871 (3033)1.0 (2994)0.919 (3258)0.9756 (3069)
tcp/tcp_students_112_it_13.wcnf.gz1.0 (2958)0.8695 (3402)1.0 (2958)1.0 (2958)0.9648 (3066)1.0 (2958)0.9753 (3033)1.0 (2958)0.9638 (3069)0.9638 (3069)0.9527 (3105)
tcp/tcp_students_112_it_2.wcnf.gz1.0 (3585)1.0 (3585)0.9684 (3702)1.0 (3585)0.9684 (3702)1.0 (3585)0.9892 (3624)0.9684 (3702)1.0 (3585)1.0 (3585)0.9795 (3660)
tcp/tcp_students_112_it_5.wcnf.gz1.0 (3366)1.0 (3366)0.9885 (3405)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)
tcp/tcp_students_112_it_9.wcnf.gz1.0 (2955)1.0 (2955)0.987 (2994)1.0 (2955)0.9753 (3030)0.987 (2994)0.988 (2991)0.987 (2994)0.988 (2991)1.0 (2955)0.9753 (3030)
tcp/tcp_students_91_it_13.wcnf.gz1.0 (2730)1.0 (2730)0.9599 (2844)1.0 (2730)0.9859 (2769)1.0 (2730)1.0 (2730)0.9859 (2769)1.0 (2730)1.0 (2730)0.987 (2766)
tcp/tcp_students_98_it_11.wcnf.gz1.0 (2694)1.0 (2694)0.9989 (2697)1.0 (2694)0.9594 (2808)1.0 (2694)1.0 (2694)0.9989 (2697)0.9729 (2769)0.9857 (2733)0.9857 (2733)
tcp/tcp_students_98_it_14.wcnf.gz1.0 (3063)1.0 (3063)0.9742 (3144)1.0 (3063)0.9874 (3102)1.0 (3063)1.0 (3063)0.9874 (3102)0.9428 (3249)0.9874 (3102)0.9874 (3102)
tcp/tcp_students_98_it_15.wcnf.gz1.0 (3141)1.0 (3141)0.9877 (3180)1.0 (3141)0.9877 (3180)1.0 (3141)1.0 (3141)0.9877 (3180)0.9433 (3330)0.9877 (3180)0.9877 (3180)
tcp/tcp_students_98_it_2.wcnf.gz1.0 (2580)1.0 (2580)0.9188 (2808)1.0 (2580)0.9729 (2652)1.0 (2580)1.0 (2580)1.0 (2580)1.0 (2580)0.9718 (2655)0.9598 (2688)
tcp/tcp_students_98_it_6.wcnf.gz1.0 (2880)1.0 (2880)0.9746 (2955)1.0 (2880)0.9877 (2916)1.0 (2880)1.0 (2880)1.0 (2880)1.0 (2880)1.0 (2880)0.9877 (2916)
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.gz1.0 (35)1.0 (35)0.1698 (211)1.0 (35)0.0639 (562)0.2 (179)0.1989 (180)0.1748 (205)0.5373 (66)0.0225 (1600)0.1748 (205)
timetabling/test3.wcnf.gz1.0 (111)0.8358 (133)0.3709 (301)0.9655 (115)0.3155 (354)0.3709 (301)0.3094 (361)0.2995 (373)0.3237 (345)0.2924 (382)0.2872 (389)
timetabling/test4.wcnf.gz1.0 (170)0.8814 (193)0.3701 (461)0.9553 (178)0.9048 (188)0.3701 (461)0.3434 (497)0.3161 (540)0.354 (482)0.3577 (477)0.3161 (540)
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)1.0 (4305)1.0 (4305)0.9954 (4325)0.9228 (4665)0.9954 (4325)1.0 (4305)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/titanic_train_5_DNF_5_20.wcnf.gz1.0 (4312)0.4533 (9514)0.8906 (4842)0.9904 (4354)0.9536 (4522)0.8906 (4842)0.9088 (4745)0.9293 (4640)0.9228 (4673)0.958 (4501)0.9376 (4599)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/toms_test_4_CNF_3_10.wcnf.gz0.625 (239)0.7979 (187)0.5747 (260)0.6696 (223)0.655 (228)0.5747 (260)0.5226 (286)1.0 (149)0.2134 (702)0.6818 (219)0.7614 (196)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_train_0_CNF_5_15.wcnf.gz0.681 (12542)0.4957 (17230)0.4282 (19946)0.0697 (122505)1.0 (8541)0.4282 (19946)0.2678 (31897)0.9891 (8635)0.0 (-)0.6426 (13291)0.9891 (8635)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/toms_train_9_CNF_3_15.wcnf.gz0.7757 (12774)1.0 (9909)0.3218 (30793)0.0809 (122520)0.9249 (10714)0.3228 (30702)0.2173 (45613)0.9726 (10188)0.0 (-)0.3792 (26132)0.9726 (10188)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/twitter_test_0_CNF_2_5.wcnf.gz0.9087 (678)0.8641 (713)0.6529 (944)1.0 (616)0.9074 (679)0.6529 (944)0.6474 (952)0.9141 (674)0.5624 (1096)0.6468 (953)0.9334 (660)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/twitter_test_2_CNF_4_20.wcnf.gz1.0 (926)0.0418 (22174)0.4098 (2261)0.6831 (1356)0.5561 (1666)0.4098 (2261)0.4025 (2302)0.646 (1434)0.0 (-)0.3987 (2324)0.646 (1434)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/twitter_test_7_CNF_4_5.wcnf.gz0.9154 (460)0.8595 (490)0.5657 (745)0.9134 (461)0.8903 (473)0.5657 (745)0.5165 (816)1.0 (421)0.0 (-)0.5262 (801)0.9483 (444)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/twitter_train_0_CNF_2_5.wcnf.gz0.7645 (10840)0.1197 (69240)0.1541 (53774)0.1197 (69240)0.9171 (9036)0.154 (53829)0.2818 (29407)1.0 (8287)0.4534 (18279)0.1197 (69240)1.0 (8287)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/wdbc_train_1_CNF_3_5.wcnf.gz0.9388 (48)1.0 (45)1.0 (45)1.0 (45)0.9388 (48)1.0 (45)0.8679 (52)1.0 (45)0.9787 (46)0.902 (50)0.9388 (48)
MinimumWeightDominatingSetProblem/web-wikipedia2009.wcnf.gz0.7768 (42330415)0.8728 (37674803)1.0 (32881260)0.9066 (36267730)0.9001 (36530121)1.0 (32881260)0.8728 (37674803)0.385 (85398943)0.8712 (37740515)0.8728 (37674803)0.385 (85398943)
railway-transport/wg2.wcnf.gz0.8495 (92)1.0 (78)0.4938 (159)0.8229 (95)0.4907 (160)0.4566 (172)0.5809 (135)0.6695 (117)0.7054 (111)0.5267 (149)0.5302 (148)