BenchmarkTT-Open-WBOSATLike-cwSATLike-cOpen-WBO-Inc-completeLoandraOpen-WBO-Inc-satlikeOpen-WBO-Inc-satlike19sls-mcs2sls-mcsStableResolver
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_2.wcnf.gz0.9944 (277125698)0.9943 (277156432)0.9993 (275764026)0.9932 (277438886)1.0 (275563587)0.9932 (277438886)0.9932 (277438886)0.9715 (283646151)0.974 (282918143)0.9706 (283920410)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_2.wcnf.gz1.0 (330970294)0.9643 (343221108)0.9952 (332564945)0.9972 (331916064)0.9948 (332686692)0.9896 (334439348)0.9739 (339856150)0.9623 (343940492)0.9524 (347516239)0.8894 (372113881)
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3.wcnf.gz1.0 (464263033)1.0 (464263033)0.9903 (468825917)1.0 (464263033)0.9918 (468097732)1.0 (464263033)1.0 (464263033)0.9943 (466906422)0.9924 (467803212)0.9944 (466866061)
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf.gz1.0 (49975317164)0.9826 (50861185757)0.9943 (50260444174)0.9905 (50455219303)0.9793 (51032873475)0.9676 (51647815469)0.9452 (52875201949)0.9118 (54811415178)0.93 (53735448713)0.8602 (58094553019)
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_2.wcnf.gz0.9975 (5260675952)0.9964 (5266864282)0.9778 (5366810924)0.9964 (5266864282)0.9738 (5388683499)0.9964 (5266864282)0.9964 (5266864282)0.9091 (5772556400)0.9241 (5678577216)0.9305 (5639507767)
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.gz0.9837 (1411686140)0.9705 (1430907103)0.9931 (1398403565)0.9737 (1426236109)0.9899 (1402842651)0.9735 (1426584398)0.9705 (1430907103)0.9709 (1430409712)0.9731 (1427148940)0.8974 (1547552024)
MaxSATQueriesinInterpretableClassifiers-adult_train_0_CNF_5_20.wcnf.gz0.8082 (99498)1.0 (80411)0.5698 (141120)0.8524 (94331)0.6371 (126206)0.7858 (102333)0.6438 (124903)0.8549 (94060)0.8549 (94060)0.6139 (130992)
MaxSATQueriesinInterpretableClassifiers-adult_train_3_CNF_4_5.wcnf.gz1.0 (21056)0.9776 (21539)0.9594 (21947)0.683 (30829)0.6288 (33488)0.809 (26027)0.7014 (30019)0.942 (22352)0.942 (22352)0.6177 (34088)
MaxSATQueriesinInterpretableClassifiers-compas_train_0_CNF_5_5.wcnf.gz0.9978 (10400)0.9786 (10604)1.0 (10377)0.9793 (10596)0.9995 (10382)0.9746 (10648)0.9163 (11325)0.9681 (10719)0.9453 (10977)0.7096 (14625)
MaxSATQueriesinInterpretableClassifiers-credit_test_9_CNF_4_10.wcnf.gz0.9635 (5346)0.9879 (5214)0.9906 (5200)0.9944 (5180)1.0 (5151)0.9969 (5167)0.8572 (6009)0.9625 (5352)0.9534 (5403)0.9154 (5627)
MaxSATQueriesinInterpretableClassifiers-credit_train_8_CNF_5_15.wcnf.gz0.9405 (76988)0.9843 (73565)0.8404 (86167)0.8698 (83249)0.3622 (199895)0.8379 (86420)0.8165 (88685)1.0 (72411)1.0 (72411)0.8082 (89595)
MaxSATQueriesinInterpretableClassifiers-pima_train_3_CNF_5_20.wcnf.gz0.9493 (2605)0.9683 (2554)0.8867 (2789)0.9501 (2603)1.0 (2473)0.8575 (2884)0.7973 (3102)0.9845 (2512)0.9353 (2644)0.7633 (3240)
MaxSATQueriesinInterpretableClassifiers-tictactoe_train_0_DNF_3_5.wcnf.gz0.98 (949)1.0 (930)1.0 (930)1.0 (930)0.9749 (954)0.9738 (955)0.8612 (1080)0.979 (950)0.98 (949)0.6244 (1490)
MaxSATQueriesinInterpretableClassifiers-titanic_train_4_DNF_4_20.wcnf.gz0.9948 (4434)0.9957 (4430)0.948 (4653)0.9998 (4412)0.9957 (4430)0.9888 (4461)0.9623 (4584)0.9591 (4599)0.9673 (4560)0.9345 (4720)
MaxSATQueriesinInterpretableClassifiers-toms_test_1_CNF_3_10.wcnf.gz0.8994 (178)1.0 (160)0.9527 (168)0.9045 (177)0.6216 (258)0.5833 (275)0.5 (321)0.9306 (172)0.763 (210)0.4423 (363)
MaxSATQueriesinInterpretableClassifiers-toms_train_6_DNF_4_5.wcnf.gz0.848 (3216)0.9112 (2993)1.0 (2727)0.8655 (3151)0.1259 (21663)0.2244 (12156)0.2178 (12523)0.8081 (3375)0.8081 (3375)0.906 (3010)
MaxSATQueriesinInterpretableClassifiers-twitter_test_4_CNF_3_10.wcnf.gz0.7954 (874)1.0 (695)0.8832 (787)0.9004 (772)0.8386 (829)0.6837 (1017)0.4864 (1430)0.7492 (928)0.7258 (958)0.5893 (1180)
MaxSATQueriesinInterpretableClassifiers-twitter_test_5_CNF_1_20.wcnf.gz1.0 (3125)0.975 (3205)0.9323 (3352)0.9456 (3305)0.9684 (3227)0.8978 (3481)0.8268 (3780)0.8996 (3474)0.9545 (3274)0.8662 (3608)
MinimumWeightDominatingSetProblem-channel-500x100x100-b050.wcnf.gz0.7183 (43145889)0.7171 (43216137)0.593 (52262648)0.6297 (49213085)0.7067 (43851772)1.0 (30990637)1.0 (30990637)0.5656 (54794873)0.5656 (54794873)0.0 (-)
MinimumWeightDominatingSetProblem-delaunay_n24.wcnf.gz0.6787 (338841619)0.6781 (339099915)0.6495 (354066023)0.5091 (451648148)0.6573 (349843261)1.0 (229956181)1.0 (229956181)0.683 (336689979)0.683 (336689979)0.0 (-)
MinimumWeightDominatingSetProblem-hugebubbles-00020.wcnf.gz0.7422 (701973408)0.7424 (701786011)0.6898 (755304622)0.8351 (623849016)0.6963 (748252038)1.0 (521004590)1.0 (521004590)0.6956 (749013441)0.6956 (749013441)0.0 (-)
MinimumWeightDominatingSetProblem-inf-road-usa.wcnf.gz0.7379 (889776885)0.7379 (889759383)0.7269 (903206743)0.8032 (817442278)0.7269 (903206743)1.0 (656533235)1.0 (656533235)0.6851 (958358297)0.6851 (958358297)0.0 (-)
MinimumWeightDominatingSetProblem-sc-rel9.wcnf.gz0.7631 (20408486)0.7628 (20418157)0.93 (16746750)0.7776 (20030162)0.93 (16746750)0.9683 (16083871)0.9683 (16084054)0.0277 (562434824)0.0277 (562434824)1.0 (15574547)
MinimumWeightDominatingSetProblem-web-wikipedia2009.wcnf.gz0.6596 (42330649)0.6581 (42426827)0.7411 (37674803)0.684 (40816598)0.9895 (28217061)0.8491 (32880715)0.8491 (32881260)0.3269 (85398943)0.3269 (85398943)1.0 (27920133)
ParametricRBACMaintenance-role_domino_0.05_7.wcnf.gz0.6321 (37699)0.9037 (26372)0.9619 (24774)0.3294 (72347)0.8039 (29643)0.2721 (87572)0.2255 (105666)0.9116 (26142)0.9751 (24440)1.0 (23831)
ParametricRBACMaintenance-role_domino_0.15_0.wcnf.gz0.6812 (78514)0.8835 (60531)0.4786 (111734)0.5431 (98475)0.9412 (56821)0.466 (114753)0.4786 (111749)0.9211 (58062)0.9717 (55037)1.0 (53480)
ParametricRBACMaintenance-role_domino_0.15_18.wcnf.gz0.6818 (76269)0.8348 (62293)0.4855 (107113)0.4949 (105071)0.8934 (58205)0.4397 (118263)0.4037 (128822)0.9646 (53908)0.9441 (55078)1.0 (52001)
ParametricRBACMaintenance-role_domino_0.25_9.wcnf.gz0.8364 (99887)0.9241 (90411)0.6298 (132655)0.7014 (119115)0.8245 (101332)0.6476 (129005)0.5962 (140125)0.9916 (84251)0.9758 (85616)1.0 (83546)
ParametricRBACMaintenance-role_domino_0.35_10.wcnf.gz0.9028 (120956)0.8762 (124631)0.7864 (138861)0.7082 (154198)0.795 (137355)0.7174 (152225)0.7232 (150992)0.9351 (116778)0.976 (111885)1.0 (109199)
ParametricRBACMaintenance-role_domino_0.4_4.wcnf.gz0.9471 (132426)0.9269 (135311)0.8231 (152368)0.7697 (162936)0.7933 (158098)0.7369 (170197)0.7708 (162709)0.9731 (128887)1.0 (125417)0.9827 (127619)
ParametricRBACMaintenance-role_domino_0.7_16.wcnf.gz0.942 (191747)0.9289 (194461)0.8967 (201433)0.8774 (205878)0.9087 (198775)0.9063 (199314)0.9397 (192217)1.0 (180632)0.9947 (181600)0.5702 (316815)
ParametricRBACMaintenance-role_domino_0.9_16.wcnf.gz0.91 (220373)0.892 (224803)0.8605 (233033)0.812 (246976)0.8851 (226578)0.8916 (224913)0.9515 (210751)0.9986 (200818)1.0 (200533)0.548 (365907)
ParametricRBACMaintenance-role_domino_0.9_6.wcnf.gz0.8795 (217135)0.8496 (224795)0.8688 (219820)0.7117 (268345)0.8715 (219145)0.9109 (209665)0.9459 (201903)1.0 (190975)0.9636 (198183)0.4922 (388026)
ParametricRBACMaintenance-role_domino_0.9_7.wcnf.gz0.9254 (216018)0.8911 (224323)0.8943 (223523)0.851 (234888)0.8711 (229483)0.8575 (233103)0.9521 (209941)1.0 (199893)1.0 (199893)0.4886 (409087)
ParametricRBACMaintenance-role_smallcomp_0.95_2.wcnf.gz0.9962 (427494)0.966 (440838)0.9839 (432817)1.0 (425857)0.9682 (439839)1.0 (425857)0.9654 (441126)1.0 (425857)0.9966 (427319)0.9974 (426969)
ParametricRBACMaintenance-role_university_0.05_8.wcnf.gz0.279 (143850)0.9257 (43352)1.0 (40130)0.2526 (158847)0.9484 (42313)0.1908 (210337)0.1806 (222249)0.9451 (42460)0.9451 (42460)0.9873 (40647)
ParametricRBACMaintenance-role_university_0.4_8.wcnf.gz0.9284 (211813)0.9092 (216289)0.8905 (220833)0.9144 (215057)1.0 (196644)0.896 (219479)0.8401 (234062)0.9794 (200780)0.9794 (200780)0.6787 (289728)
ParametricRBACMaintenance-role_university_0.55_1.wcnf.gz0.9608 (228026)0.9671 (226538)0.937 (233799)0.8855 (247407)0.9686 (226173)1.0 (219081)0.9507 (230439)0.9771 (224205)0.9501 (230580)0.568 (385709)
ParametricRBACMaintenance-role_university_0.55_6.wcnf.gz0.9479 (227457)0.9875 (218349)0.9145 (235773)1.0 (215613)0.9222 (233805)0.9522 (226437)0.9339 (230877)0.9333 (231023)0.9333 (231023)0.5759 (374395)
ParametricRBACMaintenance-role_university_0.9_1.wcnf.gz0.9955 (218869)0.9755 (223359)0.9812 (222057)0.989 (220305)0.9868 (220796)1.0 (217876)0.9946 (219065)0.9921 (219603)0.4583 (475416)0.4678 (465700)
ParametricRBACMaintenance-role_university_1.0_0.wcnf.gz0.9987 (208139)0.9932 (209294)0.989 (210185)0.9963 (208656)0.9965 (208601)1.0 (207875)0.9925 (209448)0.9949 (208931)0.4463 (465749)0.4773 (435534)
RBAC-violations-multiple-role_domino_multiple_0.4_5.wcnf.gz0.9679 (127808)0.9662 (128028)0.9183 (134712)0.9899 (124962)0.918 (134754)0.931 (132875)0.8699 (142209)1.0 (123701)1.0 (123701)0.7224 (171238)
RBAC-violations-multiple-role_domino_multiple_0.4_9.wcnf.gz0.9635 (123304)0.9431 (125964)0.9248 (128464)0.9651 (123092)0.9453 (125680)0.9133 (130082)0.9395 (126454)0.993 (119641)1.0 (118800)0.7633 (155647)
RBAC-violations-multiple-role_university_multiple_0.1_2.wcnf.gz0.7211 (74878)0.926 (58306)0.4827 (111856)0.4782 (112914)0.6207 (86986)0.4899 (110212)0.4166 (129608)0.9676 (55802)0.9792 (55140)1.0 (53992)
RBAC-violations-multiple-role_university_multiple_0.8_6.wcnf.gz0.9895 (203396)0.9889 (203511)0.9926 (202764)0.9948 (202303)0.9994 (201386)1.0 (201257)0.997 (201855)0.9958 (202114)0.2839 (708837)0.716 (281074)
RBAC-violations-multiple-role_university_violations_0.45_2.wcnf.gz0.9321 (215924)0.9353 (215198)0.896 (224635)0.9121 (220657)1.0 (201272)0.867 (232155)0.9187 (219080)0.9678 (207978)0.9678 (207978)0.6368 (316086)
RBAC-violations-multiple-role_university_violations_0.65_5.wcnf.gz0.9861 (223714)1.0 (220608)0.9916 (222475)0.9497 (232288)0.9711 (227172)0.9812 (224830)0.9738 (226554)0.9675 (228019)0.7596 (290428)0.5087 (433629)
abstraction-refinement-downcast-antlr.wcnf.gz1.0 (76253)1.0 (76252)1.0 (76251)1.0 (76253)0.9742 (78269)1.0 (76253)0.9999 (76256)0.9998 (76262)0.9993 (76300)0.9984 (76371)
abstraction-refinement-downcast-hsqldb.wcnf.gz1.0 (30207)1.0 (30207)0.9904 (30500)1.0 (30207)0.9996 (30219)1.0 (30207)0.9989 (30240)0.9975 (30282)0.9964 (30316)0.0 (-)
abstraction-refinement-downcast-pmd.wcnf.gz1.0 (4227)0.9998 (4228)0.966 (4376)0.9998 (4228)0.9892 (4273)0.9993 (4230)0.996 (4244)0.9939 (4253)0.9888 (4275)0.0 (-)
abstraction-refinement-polysite-bloat.wcnf.gz0.7551 (48)0.7551 (48)0.3162 (116)0.881 (41)0.3058 (120)0.925 (39)0.4512 (81)0.2534 (145)0.2534 (145)0.0 (-)
abstraction-refinement-polysite-hsqldb.wcnf.gz1.0 (172383)1.0 (172383)0.849 (203043)1.0 (172382)0.9818 (175584)1.0 (172383)0.9999 (172404)0.8489 (203059)0.8489 (203059)0.0 (-)
abstraction-refinement-polysite-pmd.wcnf.gz1.0 (188401)1.0 (188400)0.7748 (243142)1.0 (188402)0.9873 (190818)1.0 (188400)1.0 (188403)0.9996 (188467)0.9992 (188541)0.0 (-)
abstraction-refinement-polysite-xalan.wcnf.gz0.9999 (114630)0.9999 (114626)0.9999 (114637)0.9997 (114651)0.9993 (114698)1.0 (114621)0.9993 (114696)0.7544 (151934)0.7544 (151934)0.998 (114845)
af-synthesis-af-synthesis_stb_50_120_3.wcnf.gz1.0 (100)1.0 (100)1.0 (100)1.0 (100)1.0 (100)0.9182 (109)0.9182 (109)0.9806 (102)0.6516 (154)0.6689 (150)
af-synthesis-af-synthesis_stb_50_120_9.wcnf.gz1.0 (114)1.0 (114)1.0 (114)1.0 (114)1.0 (114)0.8779 (130)0.8779 (130)0.9504 (120)0.6021 (190)0.6609 (173)
af-synthesis-af-synthesis_stb_50_140_0.wcnf.gz1.0 (120)1.0 (120)1.0 (120)0.9918 (121)0.9918 (121)0.9167 (131)0.9167 (131)0.9237 (130)0.6612 (182)0.602 (200)
af-synthesis-af-synthesis_stb_50_140_1.wcnf.gz1.0 (127)1.0 (127)1.0 (127)1.0 (127)1.0 (127)0.9209 (138)0.9209 (138)0.9922 (128)0.6737 (189)0.5953 (214)
af-synthesis-af-synthesis_stb_50_140_7.wcnf.gz1.0 (109)1.0 (109)1.0 (109)1.0 (109)1.0 (109)0.8943 (122)0.8943 (122)0.9649 (113)0.6395 (171)0.6044 (181)
af-synthesis-af-synthesis_stb_50_140_8.wcnf.gz1.0 (113)1.0 (113)1.0 (113)1.0 (113)1.0 (113)0.9913 (114)0.9913 (114)1.0 (113)0.6746 (168)0.6264 (181)
af-synthesis-af-synthesis_stb_50_160_4.wcnf.gz1.0 (123)1.0 (123)1.0 (123)1.0 (123)1.0 (123)0.8671 (142)0.8671 (142)0.9118 (135)0.6169 (200)0.7607 (162)
af-synthesis-af-synthesis_stb_50_160_5.wcnf.gz1.0 (113)1.0 (113)1.0 (113)1.0 (113)1.0 (113)0.9194 (123)0.9194 (123)0.9661 (117)0.5672 (200)0.8321 (136)
af-synthesis-af-synthesis_stb_50_180_1.wcnf.gz0.9924 (131)1.0 (130)1.0 (130)1.0 (130)0.9924 (131)0.8792 (148)0.8792 (148)0.9493 (137)0.6788 (192)0.7278 (179)
af-synthesis-af-synthesis_stb_50_180_2.wcnf.gz1.0 (115)1.0 (115)1.0 (115)1.0 (115)1.0 (115)0.8788 (131)0.8788 (131)0.9134 (126)0.6304 (183)0.6864 (168)
af-synthesis-af-synthesis_stb_50_200_4.wcnf.gz1.0 (105)1.0 (105)1.0 (105)1.0 (105)1.0 (105)0.8908 (118)0.8908 (118)0.9381 (112)0.555 (190)0.5638 (187)
af-synthesis-af-synthesis_stb_50_20_8.wcnf.gz1.0 (120)1.0 (120)1.0 (120)1.0 (120)1.0 (120)0.9528 (126)0.9528 (126)0.8768 (137)0.7289 (165)0.7469 (161)
af-synthesis-af-synthesis_stb_50_40_8.wcnf.gz1.0 (117)1.0 (117)1.0 (117)1.0 (117)1.0 (117)0.944 (124)0.944 (124)0.8676 (135)0.7564 (155)0.6821 (172)
af-synthesis-af-synthesis_stb_50_40_9.wcnf.gz1.0 (132)1.0 (132)1.0 (132)0.9852 (134)1.0 (132)0.9779 (135)0.9779 (135)0.95 (139)0.7964 (166)0.6751 (196)
af-synthesis-af-synthesis_stb_50_60_3.wcnf.gz1.0 (115)1.0 (115)1.0 (115)1.0 (115)1.0 (115)0.9134 (126)0.9134 (126)0.8467 (136)0.6105 (189)0.6304 (183)
af-synthesis-af-synthesis_stb_50_80_3.wcnf.gz1.0 (113)1.0 (113)1.0 (113)1.0 (113)1.0 (113)0.9828 (115)0.9828 (115)0.9828 (115)0.7215 (157)0.6032 (188)
af-synthesis-af-synthesis_stb_50_80_7.wcnf.gz1.0 (115)1.0 (115)1.0 (115)1.0 (115)1.0 (115)0.8923 (129)0.8923 (129)0.8992 (128)0.6824 (169)0.6667 (173)
binaryNN-bnn_mnist_30_label3_adversarial_norm_inf_totalizer.wcnf.gz0.0182 (109)0.0 (-)0.0 (-)0.0114 (175)0.0 (-)0.1 (19)0.0177 (112)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_35_label2_adversarial_norm_inf_totalizer.wcnf.gz0.0165 (120)0.0 (-)0.0 (-)0.0109 (183)0.0 (-)0.0165 (120)0.0351 (56)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_back_image_4_label0_adversarial_norm_inf_totalizer.wcnf.gz0.9348 (91)0.0 (-)0.0 (-)1.0 (85)0.0 (-)0.9348 (91)0.9348 (91)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_rot_7_label2_adversarial_norm_inf_totalizer.wcnf.gz1.0 (1)0.0 (-)0.0 (-)1.0 (1)0.0 (-)0.0 (-)1.0 (1)0.0 (-)0.0 (-)0.0 (-)
causal-discovery-causal_Autos_8_159.wcnf.gz1.0 (707611)0.8971 (788745)0.7946 (890524)1.0 (707611)0.541 (1307892)0.8971 (788745)0.8971 (788745)0.8188 (864241)0.8188 (864241)0.8188 (864241)
causal-discovery-causal_Heart_10_212.wcnf.gz0.8883 (1636808)1.0 (1453924)0.8883 (1636808)1.0 (1453924)1.0 (1453924)0.8883 (1636808)0.8883 (1636808)0.3179 (4573082)0.3179 (4573082)1.0 (1453924)
causal-discovery-causal_Horse_9_300.wcnf.gz1.0 (1811907)0.807 (2245274)0.6778 (2673130)1.0 (1811907)1.0 (1811907)0.6778 (2673130)0.6778 (2673130)0.6778 (2673130)0.6778 (2673130)0.6778 (2673130)
causal-discovery-causal_Link_10_1000.wcnf.gz1.0 (1917853)1.0 (1917853)0.0669 (28652900)1.0 (1917853)0.8865 (2163402)0.0652 (29432701)0.0681 (28154602)0.0669 (28652900)0.0669 (28652900)1.0 (1917853)
causal-discovery-causal_Water_10_1000.wcnf.gz1.0 (11339025)0.2791 (40629524)0.7069 (16041455)1.0 (11339025)0.031 (365975498)0.1723 (65815990)0.2045 (55445619)0.7069 (16041455)0.7069 (16041455)0.7069 (16041455)
causal-discovery-causal_alarm_9_1000.wcnf.gz1.0 (1233992)1.0 (1233992)0.1457 (8470213)1.0 (1233992)1.0 (1233992)1.0 (1233992)1.0 (1233992)0.1471 (8387094)0.1457 (8470213)0.2233 (5526919)
causal-discovery-causal_carpo_9_10000.wcnf.gz1.0 (1223386)0.8537 (1433084)0.1954 (6260342)1.0 (1223386)0.4418 (2769155)0.8537 (1433084)0.8537 (1433084)0.1954 (6260342)0.1954 (6260342)1.0 (1223386)
causal-discovery-causal_insurance_9_100.wcnf.gz0.7291 (4404542)0.7291 (4404542)0.0767 (41861472)1.0 (3211332)0.7901 (4064720)0.7291 (4404542)0.7291 (4404542)0.2177 (14750568)0.1937 (16581678)0.5485 (5854609)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N220_D0.200.wcnf.gz1.0 (12889477)0.9624 (13393653)0.9734 (13242150)0.9754 (13214621)0.9336 (13806343)0.9624 (13393653)0.9624 (13393653)0.9471 (13609861)0.9549 (13497552)0.977 (13193030)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf.gz0.9986 (17570185)0.9517 (18435419)1.0 (17545744)0.9611 (18256047)0.919 (19091968)0.9517 (18435419)0.9517 (18435419)0.9402 (18661734)0.9491 (18486786)0.94 (18666559)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf.gz1.0 (27388625)0.9496 (28841129)0.9304 (29437621)0.9572 (28612650)0.8829 (31020971)0.9496 (28841129)0.9496 (28841129)0.9456 (28964500)0.9456 (28964500)0.9281 (29510593)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf.gz1.0 (28106754)0.9406 (29882307)0.9094 (30906536)0.948 (29649792)0.8638 (32539068)0.9393 (29923320)0.9393 (29923320)0.9177 (30626470)0.9237 (30429879)0.9163 (30673073)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.gz0.9506 (7558098)0.9169 (7835515)1.0 (7184364)0.9797 (7333303)0.9972 (7204789)0.9126 (7872234)0.912 (7877717)0.9403 (7640152)0.9372 (7665721)0.9752 (7366842)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz0.9309 (8715086)0.9202 (8815837)1.0 (8112613)0.9266 (8754948)0.9885 (8207197)0.9234 (8785602)0.8305 (9768232)0.9431 (8602116)0.9389 (8640465)0.9755 (8316742)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N230.wcnf.gz0.9199 (13439164)0.9184 (13460411)0.9982 (12384826)0.9471 (13053300)0.8946 (13819067)0.8983 (13762587)0.9013 (13716842)0.9322 (13261833)0.1231 (100465499)0.9073 (13625444)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N250.wcnf.gz0.9193 (15452642)0.9118 (15579258)0.9896 (14355166)0.9012 (15763533)0.8563 (16588999)0.8936 (15896644)0.9041 (15711599)0.9377 (15149567)0.1056 (134564315)0.8906 (15950889)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N270.wcnf.gz0.9918 (16515214)0.9585 (17088947)1.0 (16380218)0.9534 (17180557)0.9148 (17905983)0.932 (17575666)0.9402 (17421679)0.165 (99263317)0.165 (99263317)0.9836 (16652697)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf.gz0.9345 (19239945)0.8768 (20507323)1.0 (17980608)0.947 (18986825)0.6815 (26383087)0.8513 (21120370)0.8487 (21185154)0.1612 (111562534)0.1612 (111562534)0.9006 (19964734)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf.gz0.9788 (40721640)0.9475 (42065431)0.9609 (41478287)0.9291 (42898944)0.9683 (41162594)0.9065 (43967505)0.9065 (43967505)0.9738 (40927071)0.9831 (40543461)0.595 (66987862)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N180.wcnf.gz0.9397 (11529929)0.9275 (11682490)0.9951 (10888179)0.9527 (11372628)0.9907 (10936538)0.9894 (10951728)0.9844 (11006465)0.9527 (11372628)0.9469 (11442235)0.9377 (11555238)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N200.wcnf.gz0.9428 (13452152)0.9215 (13763166)0.9915 (12791715)0.9298 (13641043)0.9526 (13313389)0.8625 (14705295)0.831 (15262566)0.8929 (14204453)0.1273 (99638308)0.9807 (12932462)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf.gz0.9601 (14298631)0.9668 (14199365)0.992 (13838316)0.8747 (15694123)0.9299 (14762239)0.8541 (16073295)0.849 (16168758)0.8914 (15400457)0.2069 (66339761)0.9606 (14290087)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf.gz0.8992 (18164373)0.9537 (17127416)1.0 (16334269)0.9566 (17075186)0.9195 (17763634)0.8493 (19231552)0.8505 (19204401)0.914 (17870477)0.1109 (147238139)0.926 (17638931)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf.gz0.8772 (15834242)0.9175 (15139072)0.994 (13974193)0.8736 (15900300)0.8709 (15949305)0.7616 (18238430)0.824 (16856548)0.1744 (79658345)0.1744 (79658345)0.9584 (14493313)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N240.wcnf.gz0.8863 (17118788)0.9239 (16423113)0.9505 (15962631)0.8376 (18115375)0.6635 (22868891)0.8044 (18863256)0.7827 (19385436)0.1675 (90586192)0.1675 (90586192)0.9329 (16263721)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf.gz0.9716 (18434230)0.9902 (18086566)1.0 (17910180)0.893 (20056259)0.6953 (25759501)0.6479 (27641417)0.6479 (27641417)0.7926 (22597971)0.1164 (153807127)0.9761 (18348366)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N300.wcnf.gz0.9579 (26426843)0.9258 (27342780)1.0 (25313272)0.8694 (29116159)0.6938 (36484619)0.6542 (38690603)0.6542 (38690603)0.0 (-)0.1742 (145319351)0.122 (207464056)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf.gz0.9285 (17692695)0.8577 (19154781)0.9319 (17629159)0.8018 (20489413)0.9619 (17079421)0.8374 (19617611)0.8601 (19099626)0.912 (18014222)0.9014 (18226056)0.6671 (24625422)
correlation-clustering-Rounded_CorrelationClustering_Protein4_UNARY_N210.wcnf.gz0.7989 (5220475)0.8463 (4928100)0.9143 (4561833)0.8165 (5108253)0.9925 (4202400)0.8452 (4934387)0.884 (4717976)0.9312 (4478873)0.6717 (6209140)0.8071 (5167332)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf.gz0.9505 (87466344)0.7412 (112170933)0.6992 (118899169)0.7748 (107308536)0.6843 (121502777)0.7207 (115355126)0.7082 (117388345)0.9375 (88683447)1.0 (83139392)0.7692 (108078919)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf.gz1.0 (100430662)0.8007 (125429310)0.7492 (134056053)0.9056 (110898411)0.7499 (133927486)0.778 (129080486)0.7603 (132092772)0.7363 (136390619)0.9722 (103305919)0.8643 (116192963)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf.gz1.0 (95373606)0.7094 (134440888)0.6857 (139080569)0.8367 (113986532)0.6774 (140789623)0.6957 (137085510)0.6881 (138600313)0.6905 (138118319)0.6589 (144749992)0.7636 (124904760)
hs-timetabling-BrazilInstance1.xml.wcnf.gz0.975 (39)1.0 (38)0.975 (39)0.975 (39)0.975 (39)0.8298 (46)0.6964 (55)0.9512 (40)0.4588 (84)0.3047 (127)
hs-timetabling-BrazilInstance2.xml.wcnf.gz1.0 (5)1.0 (5)0.8571 (6)1.0 (5)0.6667 (8)1.0 (5)0.1111 (53)0.0845 (70)0.0476 (125)0.0323 (185)
hs-timetabling-BrazilInstance4.xml.wcnf.gz0.7763 (75)0.4797 (122)1.0 (58)0.4538 (129)0.7662 (76)0.4069 (144)0.3224 (182)0.2611 (225)0.2351 (250)0.2138 (275)
hs-timetabling-BrazilInstance5.xml.wcnf.gz0.439 (40)0.2857 (62)1.0 (17)0.2813 (63)0.75 (23)0.25 (71)0.1765 (101)0.1429 (125)0.0632 (284)0.0428 (420)
hs-timetabling-BrazilInstance6.xml.wcnf.gz0.6875 (79)0.4955 (110)0.8088 (67)0.534 (102)1.0 (54)0.3986 (137)0.309 (177)0.3143 (174)0.1827 (300)0.1034 (531)
hs-timetabling-BrazilInstance7.xml.wcnf.gz0.7692 (142)0.6322 (173)1.0 (109)0.7143 (153)0.7534 (145)0.55 (199)0.3971 (276)0.3303 (332)0.1839 (597)0.1391 (790)
hs-timetabling-FinlandSecondarySchool.xml.wcnf.gz1.0 (115)0.2136 (542)0.4203 (275)0.232 (499)0.4296 (269)0.1886 (614)0.1793 (646)0.201 (576)0.1997 (580)0.1681 (689)
hs-timetabling-ItalyInstance4.xml.wcnf.gz0.4235 (84)0.0918 (391)0.4865 (73)0.1173 (306)1.0 (35)0.0843 (426)0.0758 (474)0.0711 (505)0.0055 (6569)0.0028 (12885)
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 (-)
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 (-)
lisbon-wedding-lisbon-wedding-10-19.wcnf.gz1.0 (380)1.0 (380)1.0 (380)1.0 (380)1.0 (380)1.0 (380)1.0 (380)1.0 (380)0.6696 (568)0.4305 (884)
lisbon-wedding-lisbon-wedding-2-17.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-2-18.wcnf.gz1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)1.0 (1137)0.9192 (1237)
lisbon-wedding-lisbon-wedding-3-19.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-4-17.wcnf.gz1.0 (803)1.0 (803)1.0 (803)1.0 (803)1.0 (803)1.0 (803)1.0 (803)0.9975 (805)0.7438 (1080)0.5128 (1567)
lisbon-wedding-lisbon-wedding-4-19.wcnf.gz1.0 (806)1.0 (806)0.9963 (809)0.97 (831)0.9975 (808)0.9818 (821)1.0 (806)1.0 (806)0.8302 (971)0.546 (1477)
lisbon-wedding-lisbon-wedding-5-19.wcnf.gz1.0 (805)1.0 (805)0.9975 (807)0.9841 (818)1.0 (805)0.9829 (819)1.0 (805)1.0 (805)0.8216 (980)0.5217 (1544)
lisbon-wedding-lisbon-wedding-6-19.wcnf.gz1.0 (805)0.9829 (819)0.9951 (809)0.9711 (829)0.9951 (809)0.7597 (1060)1.0 (805)1.0 (805)0.781 (1031)0.4764 (1691)
lisbon-wedding-lisbon-wedding-7-17.wcnf.gz1.0 (420)1.0 (420)1.0 (420)1.0 (420)1.0 (420)1.0 (420)0.9976 (421)0.9976 (421)0.8353 (503)0.697 (603)
lisbon-wedding-lisbon-wedding-7-19.wcnf.gz1.0 (424)1.0 (424)1.0 (424)1.0 (424)1.0 (424)1.0 (424)1.0 (424)0.9953 (426)0.8399 (505)0.6967 (609)
lisbon-wedding-lisbon-wedding-8-17.wcnf.gz1.0 (395)1.0 (395)1.0 (395)1.0 (395)1.0 (395)1.0 (395)1.0 (395)0.9975 (396)0.882 (448)0.5806 (681)
lisbon-wedding-lisbon-wedding-8-19.wcnf.gz1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)0.8889 (449)0.703 (568)
lisbon-wedding-lisbon-wedding-9-19.wcnf.gz1.0 (398)1.0 (398)1.0 (398)1.0 (398)1.0 (398)1.0 (398)1.0 (398)1.0 (398)0.8544 (466)0.5749 (693)
max-realizability-power-distribution_10_7.wcnf.gz1.0 (60)1.0 (60)1.0 (60)0.9531 (63)0.9531 (63)0.9683 (62)0.9683 (62)1.0 (60)1.0 (60)0.9683 (62)
max-realizability-power-distribution_10_8.wcnf.gz1.0 (60)1.0 (60)0.9839 (61)0.9839 (61)1.0 (60)0.9683 (62)0.9385 (64)1.0 (60)1.0 (60)0.9385 (64)
max-realizability-power-distribution_11_7.wcnf.gz0.9695 (130)0.9845 (128)1.0 (126)1.0 (126)0.9338 (135)0.9845 (128)0.9769 (129)0.9922 (127)1.0 (126)0.9695 (130)
max-realizability-power-distribution_11_8.wcnf.gz1.0 (126)1.0 (126)0.9922 (127)0.9769 (129)0.927 (136)0.9407 (134)0.9621 (131)1.0 (126)0.8759 (144)0.9407 (134)
max-realizability-power-distribution_12_7.wcnf.gz1.0 (216)0.9954 (217)0.8967 (241)0.9954 (217)0.9476 (228)0.9775 (221)0.9394 (230)1.0 (216)1.0 (216)0.9559 (226)
max-realizability-power-distribution_12_8.wcnf.gz1.0 (216)0.9909 (218)0.9954 (217)0.9909 (218)0.9819 (220)0.9864 (219)0.9518 (227)1.0 (216)1.0 (216)0.8577 (252)
max-realizability-power-distribution_2_8.wcnf.gz1.0 (10)1.0 (10)1.0 (10)1.0 (10)1.0 (10)0.9167 (11)0.8462 (12)1.0 (10)1.0 (10)1.0 (10)
max-realizability-power-distribution_7_8.wcnf.gz1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)0.95 (19)0.9048 (20)1.0 (18)1.0 (18)1.0 (18)
max-realizability-power-distribution_8_8.wcnf.gz1.0 (40)1.0 (40)1.0 (40)0.9762 (41)1.0 (40)0.9762 (41)0.9762 (41)1.0 (40)1.0 (40)1.0 (40)
max-realizability-power-distribution_9_8.wcnf.gz1.0 (18)0.95 (19)1.0 (18)1.0 (18)1.0 (18)0.9048 (20)1.0 (18)1.0 (18)1.0 (18)1.0 (18)
max-realizability-robot-navigation_10.wcnf.gz1.0 (14)1.0 (14)1.0 (14)1.0 (14)1.0 (14)1.0 (14)0.9375 (15)1.0 (14)1.0 (14)0.375 (39)
maxcut-brock200_4.clq.wcnf.gz0.8898 (1242)1.0 (1105)1.0 (1105)0.8764 (1261)0.9601 (1151)1.0 (1105)1.0 (1105)1.0 (1105)1.0 (1105)1.0 (1105)
maxcut-brock400_3.clq.wcnf.gz0.9292 (1355)1.0 (1259)1.0 (1259)0.9389 (1341)1.0 (1259)0.9836 (1280)0.9836 (1280)1.0 (1259)1.0 (1259)1.0 (1259)
maxcut-brock800_3.clq.wcnf.gz0.8831 (1222)1.0 (1079)1.0 (1079)0.8599 (1255)0.9712 (1111)1.0 (1079)1.0 (1079)1.0 (1079)1.0 (1079)1.0 (1079)
maxcut-hamming6-2.clq.wcnf.gz0.9638 (4556)1.0 (4391)0.9928 (4423)0.9305 (4719)0.9784 (4488)0.9562 (4592)0.9519 (4613)0.9975 (4402)0.9975 (4402)1.0 (4391)
maxcut-johnson8-4-4.clq.wcnf.gz0.9482 (4381)0.9774 (4250)1.0 (4154)0.893 (4652)0.9281 (4476)0.9203 (4514)0.8892 (4672)1.0 (4154)1.0 (4154)1.0 (4154)
maxcut-p_hat500-3.clq.wcnf.gz0.9417 (1594)1.0 (1501)1.0 (1501)0.9037 (1661)0.9791 (1533)1.0 (1501)1.0 (1501)1.0 (1501)1.0 (1501)1.0 (1501)
maxcut-p_hat700-3.clq.wcnf.gz0.9281 (1543)1.0 (1432)1.0 (1432)0.9269 (1545)1.0 (1432)1.0 (1432)0.9924 (1443)1.0 (1432)1.0 (1432)1.0 (1432)
maxcut-san200_0.7_1.clq.wcnf.gz0.9263 (1356)1.0 (1256)1.0 (1256)0.9263 (1356)0.9913 (1267)0.9945 (1263)0.9945 (1263)1.0 (1256)1.0 (1256)1.0 (1256)
maxcut-sanr200_0.7.clq.wcnf.gz0.8995 (1302)1.0 (1171)1.0 (1171)0.8675 (1350)0.9622 (1217)0.9759 (1200)0.9759 (1200)1.0 (1171)1.0 (1171)1.0 (1171)
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)1.0 (138)0.8854 (156)0.6205 (223)0.5697 (243)
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf.gz0.9563 (96663)0.9546 (96833)1.0 (92434)0.9525 (97046)1.0 (92434)0.9467 (97635)0.9467 (97635)0.8985 (102873)0.8938 (103418)0.9272 (99696)
min-width-MinWidthCB_mitdbsample_100_43_1k_5s_2t_7.wcnf.gz0.9709 (32350)0.9632 (32610)1.0 (31410)0.9632 (32610)0.9808 (32025)0.9632 (32610)0.9632 (32610)0.9681 (32445)0.9685 (32430)0.8874 (35395)
min-width-MinWidthCB_mitdbsample_200_26_1k_2s_2t_4.wcnf.gz0.9449 (31765)0.9574 (31350)0.9945 (30180)0.9449 (31765)0.9947 (30175)0.9397 (31940)0.9317 (32215)0.9732 (30840)0.9747 (30795)0.9703 (30935)
min-width-MinWidthCB_mitdbsample_200_43_1k_10s_2t_12.wcnf.gz1.0 (39945)1.0 (39945)0.9932 (40220)1.0 (39945)0.987 (40470)1.0 (39945)1.0 (39945)0.9763 (40915)0.9742 (41005)0.8898 (44890)
min-width-MinWidthCB_mitdbsample_300_26_1k_6s_1t_8.wcnf.gz0.9342 (33035)0.9342 (33035)0.9915 (31125)0.9744 (31670)0.9825 (31410)0.9472 (32580)0.9582 (32205)0.9905 (31155)1.0 (30860)0.9419 (32765)
min-width-MinWidthCB_mitdbsample_300_26_1k_6s_2t_6.wcnf.gz0.9248 (30315)0.9397 (29835)0.9996 (28045)0.9189 (30510)1.0 (28035)0.9218 (30415)0.9136 (30685)0.9554 (29345)0.9471 (29600)0.9107 (30785)
min-width-MinWidthCB_mitdbsample_300_32_1k_15s_2t_17.wcnf.gz0.9962 (26040)0.9962 (26040)1.0 (25940)0.9962 (26040)0.9935 (26110)0.9962 (26040)0.9962 (26040)0.971 (26715)0.9791 (26495)0.7843 (33075)
min-width-MinWidthCB_mitdbsample_300_32_1k_6s_1t_8.wcnf.gz0.9103 (35350)0.9394 (34255)0.9641 (33380)0.9222 (34895)0.9835 (32720)0.9103 (35350)0.9646 (33360)0.9659 (33315)0.9724 (33095)0.9204 (34965)
min-width-MinWidthCB_mitdbsample_300_32_1k_6s_2t_8.wcnf.gz0.9575 (32705)0.9718 (32225)1.0 (31315)0.9709 (32255)0.9943 (31495)0.9695 (32300)0.9575 (32705)0.9913 (31590)0.9882 (31690)0.9111 (34370)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf.gz0.9762 (48435)0.9762 (48435)0.9974 (47405)0.9762 (48435)0.9826 (48115)0.9961 (47465)0.9762 (48435)0.9963 (47455)1.0 (47280)0.9747 (48505)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_3.wcnf.gz0.9896 (46185)0.9879 (46265)1.0 (45705)0.9879 (46265)0.9997 (45720)0.9879 (46265)0.9879 (46265)0.9839 (46455)0.9844 (46430)0.974 (46925)
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf.gz1.0 (59400)1.0 (59400)0.8776 (67685)1.0 (59400)0.9815 (60520)1.0 (59400)1.0 (59400)0.9085 (65385)0.9194 (64610)0.7767 (76480)
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf.gz0.9867 (76195)0.9846 (76355)0.83 (90575)0.985 (76325)0.9156 (82110)0.9846 (76355)0.9846 (76355)0.9978 (75345)1.0 (75180)0.966 (77825)
min-width-MinWidthCB_power_600_24_1k_12s_2t_14.wcnf.gz0.966 (76277)0.966 (76277)0.9929 (74208)0.9714 (75849)1.0 (73681)0.966 (76277)0.966 (76277)0.8835 (83400)0.8926 (82547)0.8767 (84045)
mpe-random-net-30-6_network-4.net.wcnf.gz0.9178 (26544)0.9921 (24556)1.0 (24362)0.911 (26743)1.0 (24362)1.0 (24362)1.0 (24362)1.0 (24362)1.0 (24362)0.8322 (29275)
mpe-random-net-40-5_network-10.net.wcnf.gz0.8537 (38287)0.9937 (32892)1.0 (32686)0.8543 (38261)0.9965 (32800)1.0 (32686)1.0 (32686)1.0 (32686)1.0 (32686)0.8416 (38836)
mpe-random-net-40-5_network-7.net.wcnf.gz0.9648 (36871)0.9674 (36772)0.9826 (36202)0.9536 (37302)1.0 (35573)1.0 (35573)1.0 (35573)1.0 (35573)1.0 (35573)0.7897 (45044)
mpe-random-net-50-5_network-10.net.wcnf.gz0.9472 (44046)0.991 (42099)0.9978 (41815)0.9035 (46178)0.9929 (42019)1.0 (41721)1.0 (41721)1.0 (41721)1.0 (41721)0.78 (53487)
mpe-random-net-50-5_network-4.net.wcnf.gz0.9524 (45236)0.987 (43651)1.0 (43082)0.9524 (45236)0.9797 (43975)0.989 (43562)1.0 (43082)0.4884 (88206)0.4884 (88206)0.8759 (49184)
mpe-random-net-50-5_network-9.net.wcnf.gz0.9149 (48286)0.9854 (44833)0.9991 (44219)0.8946 (49381)0.9856 (44822)0.9947 (44413)0.9947 (44413)1.0 (44178)0.9966 (44328)0.8632 (51182)
pseudoBoolean-normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf.gz1.0 (22199)1.0 (22199)1.0 (22199)0.5509 (40297)0.611 (36334)1.0 (22199)0.5371 (41329)0.0822 (270000)0.0822 (270000)0.3807 (58315)
pseudoBoolean-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 (-)
pseudoBoolean-normalized-mps-v2-20-10-lp4l.opb.msat.wcnf.gz0.9514 (3313)0.7585 (4156)1.0 (3152)0.9113 (3459)0.9728 (3240)0.8005 (3938)0.7381 (4271)0.8485 (3715)0.8243 (3824)0.676 (4663)
pseudoBoolean-normalized-mps-v2-20-10-mod008.opb.msat.wcnf.gz1.0 (307)1.0 (307)0.9872 (311)1.0 (307)0.9809 (313)0.8556 (359)0.8556 (359)0.7857 (391)0.1602 (1921)0.0263 (11721)
pseudoBoolean-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 (-)
pseudoBoolean-normalized-mps-v2-20-10-p0548.opb.msat.wcnf.gz0.8542 (11871)0.6901 (14694)1.0 (10140)0.7613 (13320)0.9586 (10578)0.5933 (17091)0.4488 (22594)0.2934 (34562)0.3216 (31534)0.2878 (35237)
pseudoBoolean-normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.gz1.0 (1785)1.0 (1785)0.9967 (1791)1.0 (1785)0.9989 (1787)1.0 (1785)1.0 (1785)0.3089 (5780)0.3966 (4502)0.2934 (6087)
railroad_sc-rail2536.wcnf.gz0.615 (1121)0.7026 (981)0.8529 (808)0.4567 (1510)0.4863 (1418)0.6301 (1094)0.6301 (1094)0.0 (-)0.0 (-)0.6042 (1141)
railroad_sc-rail4284.wcnf.gz0.7395 (1730)0.8163 (1567)1.0 (1279)0.5592 (2288)0.6698 (1910)0.7975 (1604)0.7975 (1604)0.0 (-)0.0 (-)0.7187 (1780)
railroad_sc-rail4872.wcnf.gz0.9189 (2353)0.0 (-)0.0 (-)0.97 (2229)0.8377 (2581)1.0 (2162)1.0 (2162)0.0 (-)0.0 (-)0.896 (2413)
railroad_scheduling-MultiDay_2_weighted.wcnf.gz0.859 (537594)0.9931 (464975)0.7766 (594598)0.8621 (535674)0.8011 (576458)0.925 (499201)0.925 (499201)0.9958 (463739)0.9958 (463739)1.0 (461782)
railroad_scheduling-MultiDay_3_weighted.wcnf.gz0.865 (1221199)0.8644 (1222012)0.8692 (1215226)0.7938 (1330634)0.8026 (1315991)0.9298 (1135964)0.9298 (1135964)0.9998 (1056502)0.9998 (1056502)1.0 (1056276)
railroad_scheduling-MultiDay_4_weighted.wcnf.gz0.876 (2308873)0.8761 (2308763)0.8061 (2509110)0.9164 (2207195)0.8129 (2488234)0.9326 (2168802)0.9326 (2168802)1.0 (2022668)1.0 (2022668)0.9987 (2025289)
railroad_scheduling-SingleDay_37_weighted.wcnf.gz0.9859 (44885697)0.9876 (44804912)0.9941 (44515547)0.9878 (44798814)0.9824 (45042489)0.9905 (44677427)0.9905 (44677427)0.995 (44471207)0.988 (44786853)1.0 (44250946)
railway-transport-bf2030fvslack.wcnf.gz0.998 (245735)0.998 (245735)0.8481 (289187)1.0 (245250)0.874 (280619)0.998 (245735)0.998 (245735)0.9901 (247697)0.7526 (325867)0.9462 (259202)
railway-transport-r11.wcnf.gz1.0 (48825493)0.9544 (51159516)0.7377 (66182809)0.9335 (52302274)0.6637 (73560693)0.7507 (65040606)0.749 (65191887)0.7012 (69634208)0.69 (70760197)0.8631 (56572636)
railway-transport-wg2.wcnf.gz0.767 (102)0.8316 (94)0.9294 (84)0.798 (98)0.9875 (79)1.0 (78)0.5097 (154)0.6529 (120)0.4969 (158)0.4702 (167)
ramsey-ram_k3_n13.ra1.wcnf.gz0.8211 (1726)1.0 (1417)1.0 (1417)0.6894 (2056)0.6356 (2230)1.0 (1417)1.0 (1417)1.0 (1417)1.0 (1417)1.0 (1417)
ramsey-ram_k3_n14.ra1.wcnf.gz0.9027 (3351)1.0 (3025)1.0 (3025)0.9036 (3348)0.7049 (4292)0.9366 (3230)1.0 (3025)0.954 (3171)0.954 (3171)1.0 (3025)
ramsey-ram_k3_n15.ra1.wcnf.gz0.8576 (5695)1.0 (4884)1.0 (4884)0.8576 (5695)0.7491 (6520)0.9923 (4922)0.9923 (4922)0.9469 (5158)0.9407 (5192)1.0 (4884)
ramsey-ram_k3_n16.ra1.wcnf.gz0.7929 (9170)1.0 (7271)1.0 (7271)0.9234 (7874)0.6714 (10830)0.7705 (9437)0.7524 (9664)0.9736 (7468)1.0 (7271)1.0 (7271)
ramsey-ram_k3_n17.ra1.wcnf.gz0.7537 (13762)1.0 (10372)1.0 (10372)0.707 (14670)0.714 (14527)0.7352 (14108)0.7023 (14769)0.9888 (10490)0.9888 (10490)0.9993 (10379)
ramsey-ram_k3_n18.ra1.wcnf.gz0.7343 (21273)1.0 (15621)0.9895 (15786)0.7997 (19535)0.6932 (22536)0.7443 (20988)0.6914 (22595)0.9395 (16627)0.9447 (16536)0.9704 (16097)
ramsey-ram_k3_n19.ra1.wcnf.gz0.709 (29146)1.0 (20665)1.0 (20665)0.731 (28268)0.6755 (30594)0.7133 (28971)0.6973 (29635)0.9655 (21404)0.9619 (21484)0.9643 (21430)
ramsey-ram_k3_n20.ra1.wcnf.gz0.7209 (33151)1.0 (23898)1.0 (23898)0.7418 (32218)0.5827 (41015)0.7623 (31349)0.6295 (37967)0.9735 (24548)0.9465 (25249)0.9235 (25878)
ramsey-ram_k4_n18.ra1.wcnf.gz0.5528 (567)0.5891 (532)0.6856 (457)0.7025 (446)0.4473 (701)0.2946 (1065)0.2643 (1187)1.0 (313)1.0 (313)0.3516 (892)
ramsey-ram_k4_n19.ra1.wcnf.gz0.5779 (1861)0.8533 (1260)0.7825 (1374)0.5757 (1868)0.3427 (3139)0.3883 (2770)0.4598 (2339)0.8885 (1210)1.0 (1075)0.544 (1977)
ramsey-ram_k4_n20.ra1.wcnf.gz0.4883 (5397)0.8235 (3200)0.9043 (2914)0.477 (5525)0.3414 (7720)0.4318 (6104)0.3446 (7649)0.7904 (3334)1.0 (2635)0.6428 (4100)
scSequencing-simNo_1-s_15-m_300-n_300-fp_0.01-fn_0.20.wcnf.gz0.4944 (17014880174591638)0.5481 (15350764325818622)0.9534 (8824307251203022)0.6204 (13561153469522828)0.8567 (9820355748198440)0.3289 (25578919755954444)0.3289 (25578919755954444)1.0 (8412990598493466)1.0 (8412990598493466)0.9439 (8912912714968398)
scSequencing-simNo_2-s_5-m_300-n_300-fp_0.01-fn_0.20.wcnf.gz1.0 (12522730322858662)0.9422 (13291341637417974)0.9207 (13601664578341312)0.7312 (17127104659837994)0.6902 (18143703767803316)0.5662 (22116344182789252)0.5662 (22116344182789252)0.6056 (20677247350688440)0.6056 (20677247350688440)0.0 (-)
scSequencing-simNo_6-s_5-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz0.8371 (1134188467001649)0.7422 (1279338191642412)0.3043 (3120387497033553)0.7626 (1245057253403283)1.0 (949478456536992)0.7394 (1284204277433583)0.7333 (1294821191887047)0.6734 (1409992816989690)0.5875 (1616057532015876)0.192 (4945389610879674)
scSequencing-simNo_8-s_5-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz0.8618 (766233209397969)0.7869 (839178613259217)0.3133 (2107899890448165)0.8302 (795366438300846)1.0 (660351384442107)0.7616 (867048013699560)0.7734 (853776870632730)0.7803 (846256556228193)0.7314 (902880099980001)0.1237 (5338714147956891)
scSequencing-simNo_9-s_15-m_300-n_300-fp_0.0001-fn_0.20.wcnf.gz0.6493 (2977791675556797)0.7283 (2654670984801561)0.3001 (6443582330381526)1.0 (1933421698075122)0.186 (10395728735683500)0.3269 (5914506093450570)0.3269 (5914506093450570)0.3526 (5483210433178563)0.3535 (5468612175805050)0.1229 (15733874977043832)
set-covering-scpnrg1_weighted.wcnf.gz0.9519 (186)0.9468 (187)0.9944 (178)0.9468 (187)0.8945 (198)1.0 (177)1.0 (177)0.9944 (178)0.9944 (178)0.899 (197)
set-covering-scpnrg2_weighted.wcnf.gz0.9337 (165)0.9337 (165)0.9936 (155)0.9337 (165)0.9172 (168)0.9627 (160)0.9337 (165)0.9748 (158)0.9748 (158)0.9172 (168)
set-covering-scpnrg3_weighted.wcnf.gz0.9713 (173)0.9713 (173)0.9883 (170)0.9713 (173)0.9286 (181)0.9941 (169)0.9941 (169)1.0 (168)1.0 (168)0.9441 (178)
set-covering-scpnrg4_weighted.wcnf.gz0.9718 (176)0.9718 (176)0.9885 (173)0.9718 (176)0.9348 (183)0.9829 (174)0.9885 (173)1.0 (171)1.0 (171)0.9348 (183)
set-covering-scpnrg5_weighted.wcnf.gz0.9719 (177)0.9774 (176)1.0 (172)0.9774 (176)0.8964 (192)0.9943 (173)0.9886 (174)1.0 (172)0.9943 (173)0.9251 (186)
set-covering-scpnrh1_weighted.wcnf.gz0.9848 (65)0.9848 (65)0.9848 (65)0.9848 (65)0.9155 (70)1.0 (64)0.9848 (65)1.0 (64)1.0 (64)0.8784 (73)
set-covering-scpnrh2_weighted.wcnf.gz0.942 (68)0.9559 (67)1.0 (64)0.9701 (66)0.9701 (66)0.9701 (66)0.9559 (67)1.0 (64)1.0 (64)0.8904 (72)
set-covering-scpnrh3_weighted.wcnf.gz0.9524 (62)0.9677 (61)0.9677 (61)0.9375 (63)0.8571 (69)0.9677 (61)0.9375 (63)1.0 (59)1.0 (59)0.8696 (68)
set-covering-scpnrh4_weighted.wcnf.gz0.9516 (61)0.9516 (61)0.9672 (60)0.9672 (60)0.8676 (67)0.9672 (60)0.9516 (61)1.0 (58)1.0 (58)0.8676 (67)
set-covering-scpnrh5_weighted.wcnf.gz0.9655 (57)0.9655 (57)1.0 (55)0.9825 (56)0.8615 (64)0.9333 (59)0.9333 (59)1.0 (55)1.0 (55)0.918 (60)
shiftdesign-limits-10-10_data-2_inst-003_30m.sm-extracted.wcnf.gz1.0 (29513967)1.0 (29513967)0.0534 (552884483)1.0 (29514026)0.9537 (30948235)1.0 (29514026)1.0 (29514011)0.0352 (839124545)0.0352 (839124545)0.0564 (523180940)
shiftdesign-limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.gz0.9953 (42564624)0.9896 (42813347)0.9665 (43833372)0.2852 (148551699)0.9717 (43600399)0.9907 (42763271)0.985 (43011687)0.0475 (892694621)0.0475 (892694621)0.0624 (678737391)
shiftdesign-limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.gz1.0 (33007205)0.7462 (44232944)0.995 (33173547)0.068 (485511927)0.1907 (173038035)0.2517 (131139567)0.2533 (130317497)0.0315 (1046305355)0.0315 (1046305355)0.0471 (700757444)
shiftdesign-limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf.gz1.0 (9547398)1.0 (9547509)0.2117 (45093027)1.0 (9547510)1.0 (9547498)1.0 (9547536)1.0 (9547576)0.1187 (80414038)0.1187 (80414038)0.1351 (70665412)
spot5-1407.wcsp.log.wcnf.gz0.9602 (478613)0.9745 (471583)0.987 (465638)0.9542 (481624)0.9828 (467632)0.9622 (477645)0.9424 (487645)0.9745 (471578)0.9745 (471578)0.9956 (461596)
staff-scheduling-instance10.wcnf.gz1.0 (5302)0.9616 (5514)0.9022 (5877)0.9781 (5421)0.97 (5466)0.8904 (5955)0.6842 (7750)0.864 (6137)0.8034 (6600)0.3359 (15787)
staff-scheduling-instance11.wcnf.gz1.0 (3568)0.9522 (3747)0.9568 (3729)0.9427 (3785)0.9065 (3936)0.8707 (4098)0.7951 (4488)0.9201 (3878)0.9201 (3878)0.3089 (11552)
staff-scheduling-instance12.wcnf.gz0.57 (9290)1.0 (5295)0.8941 (5922)0.853 (6208)0.9459 (5598)0.9953 (5320)0.3901 (13576)0.7152 (7404)0.6507 (8138)0.2625 (20171)
staff-scheduling-instance2.wcnf.gz1.0 (828)1.0 (828)0.9811 (844)1.0 (828)1.0 (828)0.9988 (829)0.9988 (829)0.9787 (846)0.9834 (842)0.6756 (1226)
staff-scheduling-instance3.wcnf.gz1.0 (1011)0.974 (1038)0.9721 (1040)0.9922 (1019)0.9854 (1026)0.9675 (1045)0.9529 (1061)0.9797 (1032)0.9892 (1022)0.7198 (1405)
staff-scheduling-instance4.wcnf.gz0.9823 (1747)0.9745 (1761)0.9657 (1777)0.9712 (1767)0.9571 (1793)0.9539 (1799)0.956 (1795)0.9971 (1721)0.9834 (1745)0.8084 (2123)
staff-scheduling-instance5.wcnf.gz1.0 (1201)0.9796 (1226)0.9218 (1303)0.9764 (1230)0.9812 (1224)0.9749 (1232)0.8429 (1425)0.9072 (1324)0.9113 (1318)0.3797 (3165)
staff-scheduling-instance6.wcnf.gz0.9291 (2200)0.9596 (2130)0.9971 (2050)0.9203 (2221)0.9884 (2068)1.0 (2044)0.833 (2454)0.871 (2347)0.883 (2315)0.4673 (4375)
staff-scheduling-instance7.wcnf.gz1.0 (1138)0.9508 (1197)0.9794 (1162)0.9571 (1189)0.9215 (1235)0.939 (1212)0.7018 (1622)0.9579 (1188)0.9523 (1195)0.3165 (3598)
staff-scheduling-instance8.wcnf.gz0.784 (1860)0.9275 (1572)1.0 (1458)0.87 (1676)0.9299 (1568)0.8215 (1775)0.4567 (3194)0.5485 (2659)0.3419 (4266)0.1842 (7921)
staff-scheduling-instance9.wcnf.gz1.0 (704)0.9038 (779)0.8868 (794)0.993 (709)0.7194 (979)0.9132 (771)0.2358 (2989)0.2871 (2455)0.2831 (2489)0.091 (7742)
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)0.7099 (3588)
tcp-tcp_students_105_it_6.wcnf.gz1.0 (2994)1.0 (2994)1.0 (2994)1.0 (2994)0.8991 (3330)0.9871 (3033)0.9871 (3033)0.9871 (3033)0.9756 (3069)0.9098 (3291)
tcp-tcp_students_112_it_13.wcnf.gz1.0 (2958)1.0 (2958)0.9302 (3180)1.0 (2958)0.988 (2994)1.0 (2958)1.0 (2958)1.0 (2958)0.9638 (3069)0.7758 (3813)
tcp-tcp_students_112_it_5.wcnf.gz1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)0.9885 (3405)0.9885 (3405)1.0 (3366)0.9894 (3402)0.8998 (3741)
tcp-tcp_students_112_it_9.wcnf.gz1.0 (2955)1.0 (2955)1.0 (2955)1.0 (2955)1.0 (2955)0.987 (2994)0.987 (2994)0.987 (2994)0.9753 (3030)0.8313 (3555)
tcp-tcp_students_98_it_11.wcnf.gz1.0 (2694)1.0 (2694)1.0 (2694)1.0 (2694)0.9989 (2697)0.9989 (2697)0.9989 (2697)0.9989 (2697)0.9857 (2733)0.8277 (3255)
tcp-tcp_students_98_it_14.wcnf.gz1.0 (3063)1.0 (3063)1.0 (3063)1.0 (3063)1.0 (3063)0.9742 (3144)0.9742 (3144)0.9874 (3102)0.9874 (3102)0.9004 (3402)
tcp-tcp_students_98_it_15.wcnf.gz1.0 (3141)1.0 (3141)1.0 (3141)1.0 (3141)0.9332 (3366)0.9877 (3180)0.9877 (3180)0.9877 (3180)0.9877 (3180)0.9544 (3291)
tcp-tcp_students_98_it_2.wcnf.gz1.0 (2580)1.0 (2580)1.0 (2580)1.0 (2580)1.0 (2580)0.9188 (2808)0.9188 (2808)0.9862 (2616)0.9598 (2688)0.8415 (3066)
timetabling-comp01.wcnf.gz0.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)1.0 (24)0.8621 (28)1.0 (24)0.7576 (32)1.0 (24)0.7576 (32)0.5319 (46)0.102 (244)0.0391 (638)
timetabling-comp05.wcnf.gz0.63 (645)0.4468 (910)0.7949 (511)0.4253 (956)1.0 (406)0.4405 (923)0.4248 (957)0.403 (1009)0.4448 (914)0.4424 (919)
timetabling-comp06.lp.sm-extracted.wcnf.gz0.1079 (138)0.5357 (27)0.6522 (22)0.1974 (75)0.75 (19)0.5357 (27)0.0655 (228)0.1071 (139)0.0136 (1106)0.0082 (1825)
timetabling-comp07.wcnf.gz0.0959 (72)1.0 (6)1.0 (6)1.0 (6)0.2188 (31)1.0 (6)0.0293 (238)0.0395 (176)0.0105 (666)0.0075 (933)
timetabling-comp09.wcnf.gz0.9238 (104)0.9238 (104)0.9798 (98)0.9238 (104)1.0 (96)0.9238 (104)0.9065 (106)0.5026 (192)0.3606 (268)0.1898 (510)
timetabling-comp12.wcnf.gz0.5814 (644)0.4545 (824)1.0 (374)0.4826 (776)0.9566 (391)0.5708 (656)0.383 (978)0.3578 (1047)0.3637 (1030)0.3765 (995)
timetabling-comp15.wcnf.gz0.9315 (72)0.8608 (78)0.9067 (74)0.9067 (74)1.0 (67)0.9067 (74)0.8 (84)0.5271 (128)0.2918 (232)0.156 (435)
timetabling-comp18.wcnf.gz0.913 (68)0.863 (72)1.0 (62)0.863 (72)0.8514 (73)0.863 (72)0.7079 (88)0.4468 (140)0.2405 (261)0.2903 (216)
timetabling-comp21.wcnf.gz0.8421 (94)0.9195 (86)1.0 (79)0.8791 (90)0.8791 (90)0.8791 (90)0.7921 (100)0.5517 (144)0.2216 (360)0.1003 (797)
timetabling-dds4.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling-test1.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling-test3.wcnf.gz0.6667 (146)0.7538 (129)0.8448 (115)0.8305 (117)1.0 (97)0.7206 (135)0.3245 (301)0.2988 (327)0.2379 (411)0.2163 (452)
timetabling-test4.wcnf.gz0.6824 (232)0.8325 (190)0.9191 (172)1.0 (158)0.8933 (177)0.3916 (405)0.3442 (461)0.3 (529)0.3029 (524)0.2844 (558)