BenchmarkTT-Open-WBOSATLike-cwOpen-WBO-Inc-completeLoandraOpen-WBO-Inc-satlikeSATLike-cOpen-WBO-Inc-satlike19sls-mcs2sls-mcsStableResolver
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_2.wcnf.gz0.9944 (277125698)0.9943 (277156432)0.9932 (277438886)1.0 (275563587)0.9932 (277438886)0.9988 (275888181)0.9932 (277438886)0.9713 (283700561)0.9693 (284282290)0.9425 (292373176)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_2.wcnf.gz1.0 (330970294)0.8898 (371948108)0.9785 (338256287)0.9917 (333738883)0.9896 (334439348)0.9379 (352871770)0.9739 (339856150)0.9258 (357500001)0.9389 (352508305)0.8518 (388570297)
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3.wcnf.gz1.0 (464263033)1.0 (464263033)1.0 (464263033)0.9918 (468097732)1.0 (464263033)0.9903 (468825917)1.0 (464263033)0.9943 (466906422)0.9916 (468216954)0.9937 (467193835)
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf.gz1.0 (49975317164)0.9826 (50861185757)0.9506 (52574811648)0.9855 (50708666638)0.9676 (51647815469)0.9776 (51119518634)0.9415 (53078840899)0.905 (55222541348)0.8839 (56537577337)0.8602 (58094553019)
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_2.wcnf.gz0.9975 (5260675952)0.9964 (5266864282)0.9964 (5266864282)0.9738 (5388683499)0.9964 (5266864282)0.9778 (5366810924)0.9964 (5266864282)0.9014 (5821858367)0.9075 (5782502691)0.9146 (5737794956)
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.gz0.9837 (1411686140)0.9705 (1430907103)0.9737 (1426236109)0.9864 (1407834375)0.9735 (1426584398)0.9931 (1398403565)0.9705 (1430907103)0.9568 (1451444852)0.9489 (1463528263)0.8042 (1726807779)
MaxSATQueriesinInterpretableClassifiers-adult_train_0_CNF_5_20.wcnf.gz0.8082 (99498)1.0 (80411)0.5879 (136767)0.5992 (134195)0.7294 (110244)0.5698 (141120)0.6107 (131662)0.8549 (94060)0.8549 (94060)0.5821 (138145)
MaxSATQueriesinInterpretableClassifiers-adult_train_3_CNF_4_5.wcnf.gz0.995 (21161)0.9692 (21726)0.5885 (35782)0.6288 (33488)0.7309 (28809)0.9578 (21984)0.6732 (31276)0.942 (22352)0.942 (22352)0.6177 (34088)
MaxSATQueriesinInterpretableClassifiers-compas_train_0_CNF_5_5.wcnf.gz0.9978 (10400)0.9414 (11023)0.956 (10855)0.8882 (11683)0.8679 (11957)0.9995 (10382)0.8082 (12840)0.9195 (11285)0.9195 (11285)0.7096 (14625)
MaxSATQueriesinInterpretableClassifiers-credit_test_9_CNF_4_10.wcnf.gz0.9546 (5396)0.986 (5224)0.9889 (5209)0.9578 (5378)0.9637 (5345)0.9815 (5248)0.8345 (6173)0.9058 (5687)0.9058 (5687)0.9138 (5637)
MaxSATQueriesinInterpretableClassifiers-credit_train_8_CNF_5_15.wcnf.gz0.782 (92593)0.9843 (73565)0.8262 (87639)0.362 (200035)0.8245 (87826)0.83 (87241)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.9501 (2603)1.0 (2473)0.8575 (2884)0.8867 (2789)0.7859 (3147)0.8593 (2878)0.8519 (2903)0.7584 (3261)
MaxSATQueriesinInterpretableClassifiers-tictactoe_train_0_DNF_3_5.wcnf.gz0.8628 (1078)1.0 (930)1.0 (930)0.9749 (954)0.9738 (955)1.0 (930)0.6856 (1357)0.9738 (955)0.9738 (955)0.6244 (1490)
MaxSATQueriesinInterpretableClassifiers-titanic_train_4_DNF_4_20.wcnf.gz0.9924 (4445)0.9957 (4430)0.9932 (4441)0.9915 (4449)0.9888 (4461)0.948 (4653)0.9296 (4745)0.9591 (4599)0.9533 (4627)0.9345 (4720)
MaxSATQueriesinInterpretableClassifiers-toms_test_1_CNF_3_10.wcnf.gz0.8994 (178)1.0 (160)0.7285 (220)0.5771 (278)0.5629 (285)0.9527 (168)0.4363 (368)0.763 (210)0.763 (210)0.4139 (388)
MaxSATQueriesinInterpretableClassifiers-toms_train_6_DNF_4_5.wcnf.gz0.6374 (4279)0.9112 (2993)0.6474 (4213)0.1181 (23098)0.194 (14063)0.9124 (2989)0.1615 (16892)0.8081 (3375)0.8081 (3375)0.1079 (25279)
MaxSATQueriesinInterpretableClassifiers-twitter_test_4_CNF_3_10.wcnf.gz0.6181 (1125)0.968 (718)0.9004 (772)0.6995 (994)0.677 (1027)0.8832 (787)0.4712 (1476)0.7258 (958)0.7258 (958)0.5429 (1281)
MaxSATQueriesinInterpretableClassifiers-twitter_test_5_CNF_1_20.wcnf.gz1.0 (3125)0.9702 (3221)0.9189 (3401)0.9684 (3227)0.8926 (3501)0.9323 (3352)0.8048 (3883)0.8965 (3486)0.8965 (3486)0.8424 (3710)
MinimumWeightDominatingSetProblem-channel-500x100x100-b050.wcnf.gz0.7182 (43149145)0.7171 (43217770)0.5467 (56684807)0.6877 (45067393)1.0 (30990637)0.5951 (52073650)1.0 (30990637)0.5656 (54794873)0.5656 (54794873)0.0 (-)
MinimumWeightDominatingSetProblem-delaunay_n24.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem-hugebubbles-00020.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem-inf-road-usa.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem-sc-rel9.wcnf.gz0.7631 (20410266)0.7627 (20420481)0.7776 (20030162)0.0 (-)0.9683 (16084054)0.93 (16746750)0.9683 (16084054)0.0 (-)0.0 (-)0.0 (-)
MinimumWeightDominatingSetProblem-web-wikipedia2009.wcnf.gz0.6595 (42336702)0.658 (42433032)0.6838 (40828692)0.9801 (28487611)0.8491 (32881256)0.7411 (37674803)0.8491 (32881260)0.3269 (85398943)0.3269 (85398943)0.9906 (28186321)
ParametricRBACMaintenance-role_domino_0.05_7.wcnf.gz0.6321 (37699)0.9037 (26372)0.3294 (72347)0.8039 (29643)0.2566 (92880)0.9619 (24774)0.2255 (105666)0.8795 (27097)0.9086 (26229)0.9159 (26020)
ParametricRBACMaintenance-role_domino_0.15_0.wcnf.gz0.6812 (78514)0.8835 (60531)0.5431 (98475)0.9412 (56821)0.466 (114753)0.2745 (194859)0.4786 (111749)0.8868 (60308)0.8868 (60308)0.9395 (56925)
ParametricRBACMaintenance-role_domino_0.15_18.wcnf.gz0.6818 (76269)0.8348 (62293)0.4949 (105071)0.8934 (58205)0.4397 (118263)0.2691 (193224)0.4037 (128822)0.9257 (56176)0.9257 (56176)0.8595 (60504)
ParametricRBACMaintenance-role_domino_0.25_9.wcnf.gz0.8138 (102663)0.9241 (90411)0.7014 (119115)0.8245 (101332)0.6476 (129005)0.2969 (281387)0.5962 (140125)0.9693 (86189)0.9758 (85616)0.8982 (93020)
ParametricRBACMaintenance-role_domino_0.35_10.wcnf.gz0.8573 (127374)0.8762 (124631)0.7082 (154198)0.795 (137355)0.7174 (152225)0.2951 (370023)0.7232 (150992)0.9351 (116778)0.9351 (116778)0.8226 (132743)
ParametricRBACMaintenance-role_domino_0.4_4.wcnf.gz0.9258 (135467)0.9269 (135311)0.7697 (162936)0.7933 (158098)0.7369 (170197)0.3022 (415074)0.7708 (162709)0.966 (129838)0.966 (129838)0.8763 (143117)
ParametricRBACMaintenance-role_domino_0.7_16.wcnf.gz0.942 (191747)0.9289 (194461)0.8774 (205878)0.9087 (198775)0.9063 (199314)0.2658 (679699)0.9034 (199942)0.9861 (183182)0.9861 (183182)0.4849 (372535)
ParametricRBACMaintenance-role_domino_0.9_16.wcnf.gz0.91 (220373)0.892 (224803)0.812 (246976)0.8851 (226578)0.8916 (224913)0.2341 (856528)0.892 (224824)0.9794 (204748)0.9688 (206981)0.4317 (464480)
ParametricRBACMaintenance-role_domino_0.9_6.wcnf.gz0.8795 (217135)0.8496 (224795)0.7117 (268345)0.8715 (219145)0.9109 (209665)0.2209 (864373)0.7424 (257240)0.9627 (198373)0.9627 (198373)0.4154 (459730)
ParametricRBACMaintenance-role_domino_0.9_7.wcnf.gz0.9254 (216018)0.8911 (224323)0.851 (234888)0.8711 (229483)0.8575 (233103)0.2334 (856528)0.9093 (219834)1.0 (199893)1.0 (199893)0.4089 (488914)
ParametricRBACMaintenance-role_smallcomp_0.95_2.wcnf.gz0.9962 (427494)0.966 (440838)0.9284 (458681)0.9682 (439839)1.0 (425857)0.9839 (432817)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)0.2526 (158847)0.9484 (42313)0.1908 (210337)0.0 (-)0.1806 (222249)0.9451 (42460)0.9451 (42460)0.0 (-)
ParametricRBACMaintenance-role_university_0.4_8.wcnf.gz0.9264 (212273)0.8906 (220807)0.8938 (220010)0.9439 (208335)0.896 (219479)0.0 (-)0.8401 (234062)0.9794 (200780)0.9794 (200780)0.0 (-)
ParametricRBACMaintenance-role_university_0.55_1.wcnf.gz0.9608 (228026)0.9671 (226538)0.8855 (247407)0.9576 (228783)0.0 (-)0.0 (-)0.0 (-)0.929 (235835)0.9081 (241258)0.0 (-)
ParametricRBACMaintenance-role_university_0.55_6.wcnf.gz0.9479 (227457)0.9875 (218349)0.9604 (224515)0.9418 (228926)0.0 (-)0.0 (-)0.0 (-)0.8866 (243183)0.8866 (243183)0.0 (-)
ParametricRBACMaintenance-role_university_0.9_1.wcnf.gz0.9524 (228761)0.9755 (223359)0.7409 (294053)0.9173 (237526)0.0 (-)0.0 (-)0.0 (-)0.9473 (229988)0.4583 (475423)0.0 (-)
ParametricRBACMaintenance-role_university_1.0_0.wcnf.gz0.9127 (227769)0.6018 (345417)0.8433 (246497)0.9965 (208601)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
RBAC-violations-multiple-role_domino_multiple_0.4_5.wcnf.gz0.9406 (131516)0.9662 (128028)0.9413 (131409)0.9139 (135348)0.8769 (141060)0.3538 (349665)0.8699 (142209)1.0 (123701)1.0 (123701)0.0 (-)
RBAC-violations-multiple-role_domino_multiple_0.4_9.wcnf.gz0.9635 (123304)0.8979 (132314)0.9651 (123092)0.9453 (125680)0.9133 (130082)0.0 (-)0.9395 (126454)0.9789 (121360)0.9789 (121360)0.0 (-)
RBAC-violations-multiple-role_university_multiple_0.1_2.wcnf.gz0.6112 (88338)0.926 (58306)0.2843 (189914)0.6207 (86986)0.4899 (110212)0.0 (-)0.4166 (129608)0.9676 (55802)0.9676 (55802)0.0 (-)
RBAC-violations-multiple-role_university_multiple_0.8_6.wcnf.gz0.9895 (203396)0.9889 (203511)0.2668 (754230)0.9994 (201386)0.6476 (310781)0.0 (-)0.997 (201855)0.0 (-)0.0 (-)0.0 (-)
RBAC-violations-multiple-role_university_violations_0.45_2.wcnf.gz0.9036 (222753)0.9353 (215198)0.8731 (230532)0.9679 (207947)0.0 (-)0.0 (-)0.0 (-)0.9579 (210121)0.9678 (207978)0.0 (-)
RBAC-violations-multiple-role_university_violations_0.65_5.wcnf.gz0.9497 (232289)1.0 (220608)0.6201 (355760)0.9695 (227538)0.0 (-)0.0 (-)0.0 (-)0.9674 (228046)0.7122 (309769)0.0 (-)
abstraction-refinement-downcast-antlr.wcnf.gz0.9999 (76260)0.9998 (76267)0.6532 (116733)0.9743 (78258)0.9976 (76430)0.9976 (76437)0.9995 (76286)0.9993 (76305)0.9993 (76305)0.0 (-)
abstraction-refinement-downcast-hsqldb.wcnf.gz0.5836 (51758)0.9991 (30234)0.4378 (69002)0.0 (-)0.9988 (30242)0.0 (-)0.9975 (30284)0.9942 (30383)0.9943 (30379)0.0 (-)
abstraction-refinement-downcast-pmd.wcnf.gz0.9953 (4247)0.9955 (4246)0.0 (-)0.0 (-)0.9946 (4250)0.966 (4376)0.9805 (4311)0.9849 (4292)0.9849 (4292)0.0 (-)
abstraction-refinement-polysite-bloat.wcnf.gz0.0 (-)0.0 (-)0.0002 (156554)0.0 (-)0.3426 (107)0.1745 (211)0.4512 (81)0.0 (-)0.0 (-)0.0 (-)
abstraction-refinement-polysite-hsqldb.wcnf.gz0.9999 (172397)0.9999 (172398)0.8163 (211178)0.0 (-)0.9995 (172475)0.849 (203043)0.9961 (173055)0.0 (-)0.0 (-)0.0 (-)
abstraction-refinement-polysite-pmd.wcnf.gz0.9999 (188410)0.9999 (188411)0.9999 (188417)0.9873 (190818)0.9995 (188501)0.7748 (243142)0.9996 (188470)0.9992 (188541)0.9992 (188541)0.0 (-)
abstraction-refinement-polysite-xalan.wcnf.gz0.9995 (114677)0.9995 (114677)0.389 (294624)0.9744 (117629)0.995 (115191)0.9955 (115136)0.999 (114729)0.7544 (151934)0.7544 (151934)0.0 (-)
af-synthesis-af-synthesis_stb_50_120_3.wcnf.gz0.9902 (101)1.0 (100)1.0 (100)1.0 (100)0.9182 (109)1.0 (100)0.9182 (109)0.9712 (103)0.6516 (154)0.6645 (151)
af-synthesis-af-synthesis_stb_50_120_9.wcnf.gz1.0 (114)1.0 (114)1.0 (114)0.9914 (115)0.8779 (130)1.0 (114)0.8779 (130)0.9504 (120)0.6021 (190)0.6461 (177)
af-synthesis-af-synthesis_stb_50_140_0.wcnf.gz0.9918 (121)1.0 (120)0.9918 (121)0.9918 (121)0.9167 (131)0.9918 (121)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)0.9209 (138)1.0 (127)0.9209 (138)0.9922 (128)0.6737 (189)0.5766 (221)
af-synthesis-af-synthesis_stb_50_140_7.wcnf.gz0.9821 (111)1.0 (109)1.0 (109)0.9483 (115)0.8943 (122)1.0 (109)0.8943 (122)0.9565 (114)0.6395 (171)0.5946 (184)
af-synthesis-af-synthesis_stb_50_140_8.wcnf.gz1.0 (113)1.0 (113)1.0 (113)1.0 (113)0.9913 (114)1.0 (113)0.9913 (114)0.9913 (114)0.6514 (174)0.5787 (196)
af-synthesis-af-synthesis_stb_50_160_4.wcnf.gz1.0 (123)1.0 (123)1.0 (123)1.0 (123)0.8671 (142)1.0 (123)0.8671 (142)0.8986 (137)0.6169 (200)0.7086 (174)
af-synthesis-af-synthesis_stb_50_160_5.wcnf.gz1.0 (113)1.0 (113)0.9913 (114)1.0 (113)0.9194 (123)1.0 (113)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)0.9924 (131)0.9776 (133)0.8792 (148)0.9924 (131)0.8792 (148)0.9225 (141)0.6788 (192)0.6268 (208)
af-synthesis-af-synthesis_stb_50_180_2.wcnf.gz1.0 (115)0.9748 (118)1.0 (115)1.0 (115)0.8788 (131)1.0 (115)0.8788 (131)0.9063 (127)0.6304 (183)0.6339 (182)
af-synthesis-af-synthesis_stb_50_200_4.wcnf.gz1.0 (105)0.9907 (106)1.0 (105)1.0 (105)0.8908 (118)0.9907 (106)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)0.9528 (126)1.0 (120)0.9528 (126)0.8013 (150)0.7289 (165)0.7378 (163)
af-synthesis-af-synthesis_stb_50_40_8.wcnf.gz1.0 (117)0.9833 (119)0.9833 (119)1.0 (117)0.944 (124)0.9833 (119)0.944 (124)0.7662 (153)0.7239 (162)0.6705 (175)
af-synthesis-af-synthesis_stb_50_40_9.wcnf.gz1.0 (132)1.0 (132)0.9779 (135)1.0 (132)0.9779 (135)0.9852 (134)0.9779 (135)0.7112 (186)0.7112 (186)0.6683 (198)
af-synthesis-af-synthesis_stb_50_60_3.wcnf.gz1.0 (115)1.0 (115)1.0 (115)1.0 (115)0.9134 (126)1.0 (115)0.9134 (126)0.6409 (180)0.6105 (189)0.627 (184)
af-synthesis-af-synthesis_stb_50_80_3.wcnf.gz1.0 (113)0.9913 (114)1.0 (113)1.0 (113)0.9828 (115)1.0 (113)0.9828 (115)0.7037 (161)0.7037 (161)0.5876 (193)
af-synthesis-af-synthesis_stb_50_80_7.wcnf.gz1.0 (115)0.9748 (118)1.0 (115)1.0 (115)0.8923 (129)1.0 (115)0.8923 (129)0.8923 (129)0.6705 (172)0.6237 (185)
binaryNN-bnn_mnist_30_label3_adversarial_norm_inf_totalizer.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_35_label2_adversarial_norm_inf_totalizer.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_back_image_4_label0_adversarial_norm_inf_totalizer.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
binaryNN-bnn_mnist_rot_7_label2_adversarial_norm_inf_totalizer.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
causal-discovery-causal_Autos_8_159.wcnf.gz1.0 (707611)0.8971 (788745)1.0 (707611)0.541 (1307892)0.8971 (788745)0.7946 (890524)0.8971 (788745)0.8188 (864241)0.8188 (864241)0.8188 (864241)
causal-discovery-causal_Heart_10_212.wcnf.gz0.8883 (1636808)0.6525 (2228090)0.1413 (10286630)1.0 (1453924)0.8883 (1636808)0.3179 (4573082)0.8883 (1636808)0.3179 (4573082)0.3179 (4573082)0.4325 (3361716)
causal-discovery-causal_Horse_9_300.wcnf.gz1.0 (1811907)0.807 (2245274)1.0 (1811907)0.0355 (51067291)0.6778 (2673130)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)1.0 (1917853)0.0345 (55638500)0.0652 (29432701)0.0669 (28652900)0.0664 (28875707)0.0669 (28652900)0.0669 (28652900)0.2905 (6601831)
causal-discovery-causal_Water_10_1000.wcnf.gz1.0 (11339025)0.0699 (162123807)0.2107 (53817260)0.0195 (582284572)0.1723 (65815990)0.7069 (16041455)0.1723 (65815990)0.7069 (16041455)0.7069 (16041455)0.7069 (16041455)
causal-discovery-causal_alarm_9_1000.wcnf.gz1.0 (1233992)0.0347 (35547171)1.0 (1233992)1.0 (1233992)0.0964 (12802044)0.1457 (8470213)0.0964 (12802044)0.1471 (8387094)0.1457 (8470213)0.1715 (7196205)
causal-discovery-causal_carpo_9_10000.wcnf.gz1.0 (1223386)0.0694 (17621819)0.8537 (1433084)1.0 (1223386)0.0936 (13068774)0.1954 (6260342)0.0584 (20955526)0.1954 (6260342)0.1954 (6260342)0.0755 (16195546)
causal-discovery-causal_insurance_9_100.wcnf.gz0.6172 (5203045)0.5318 (6038292)1.0 (3211332)0.0625 (51395448)0.4237 (7579319)0.0767 (41861472)0.5454 (5888447)0.0767 (41861472)0.0767 (41861472)0.3275 (9805255)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N220_D0.200.wcnf.gz0.9925 (12986519)0.9526 (13531037)0.974 (13233092)0.927 (13903915)0.958 (13454173)0.9547 (13500897)0.9532 (13522411)0.9471 (13609861)0.9471 (13609861)0.9593 (13435856)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf.gz0.9691 (18105460)0.9485 (18498259)0.9611 (18256047)0.8881 (19756010)0.94 (18665839)0.8836 (19857347)0.9394 (18677985)0.9109 (19262280)0.9241 (18987640)0.9148 (19179848)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf.gz0.9648 (28387424)0.9152 (29926180)0.9521 (28767734)0.7798 (35120616)0.9279 (29517775)0.879 (31158519)0.9392 (29160839)0.9456 (28964500)0.9456 (28964500)0.9246 (29622496)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf.gz0.9586 (29319942)0.9009 (31199572)0.9347 (30071388)0.7407 (37944924)0.9096 (30899176)0.844 (33302492)0.9215 (30502352)0.9177 (30626470)0.9177 (30626470)0.8762 (32077959)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.gz0.9506 (7558098)0.9169 (7835515)0.969 (7414197)0.983 (7308490)0.392 (18325781)0.9877 (7273862)0.3404 (21103227)0.9168 (7836153)0.932 (7708469)0.9739 (7376584)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz0.9309 (8715086)0.9202 (8815837)0.8576 (9460119)0.9592 (8457692)0.3771 (21512300)0.9893 (8200574)0.3618 (22420472)0.9125 (8890448)0.9265 (8756387)0.9327 (8697913)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N230.wcnf.gz0.9199 (13439164)0.9184 (13460411)0.8 (15452654)0.5942 (20804460)0.7851 (15745974)0.9148 (13513638)0.7791 (15867749)0.1216 (101682650)0.1216 (101682650)0.8929 (13844779)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N250.wcnf.gz0.9193 (15452642)0.9118 (15579258)0.9012 (15763533)0.5681 (25006707)0.7454 (19057817)0.904 (15713991)0.7454 (19057817)0.1046 (135762969)0.1046 (135762969)0.8883 (15991456)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N270.wcnf.gz0.9918 (16515214)0.9585 (17088947)0.9534 (17180557)0.5888 (27820660)0.7822 (20941428)0.9888 (16565952)0.7822 (20941428)0.165 (99263317)0.165 (99263317)0.9784 (16741237)
correlation-clustering-Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf.gz0.9345 (19239945)0.8768 (20507323)0.947 (18986825)0.5797 (31018563)0.7979 (22534332)0.9358 (19213553)0.7902 (22755257)0.1612 (111562534)0.1612 (111562534)0.8762 (20520305)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf.gz0.9788 (40721640)0.9475 (42065431)0.9291 (42898944)0.8097 (49225050)0.6739 (59139752)0.9449 (42182568)0.6739 (59139752)0.9738 (40927071)0.9792 (40703055)0.2886 (138091522)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N180.wcnf.gz0.9397 (11529929)0.9275 (11682490)0.9527 (11372628)0.8011 (13526039)0.9442 (11475794)0.9725 (11141376)0.8958 (12094877)0.9446 (11470760)0.3449 (31414802)0.9377 (11555238)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N200.wcnf.gz0.9428 (13452152)0.9215 (13763166)0.9298 (13641043)0.6529 (19424827)0.8625 (14705295)0.9451 (13419622)0.831 (15262566)0.1265 (100261340)0.1265 (100261340)0.9732 (13031556)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf.gz0.9601 (14298631)0.9668 (14199365)0.8747 (15694123)0.6464 (21236806)0.8541 (16073295)0.9778 (14038798)0.849 (16168758)0.2069 (66339761)0.2069 (66339761)0.9606 (14290087)
correlation-clustering-Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf.gz0.8992 (18164373)0.9537 (17127416)0.9566 (17075186)0.7351 (22219287)0.8493 (19231552)0.9761 (16734701)0.8505 (19204401)0.1103 (148061283)0.1103 (148061283)0.9174 (17805628)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf.gz0.8772 (15834242)0.9175 (15139072)0.8736 (15900300)0.6001 (23145386)0.6312 (22004659)0.96 (14468869)0.6391 (21732778)0.1744 (79658345)0.1744 (79658345)0.948 (14651892)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N240.wcnf.gz0.8863 (17118788)0.9239 (16423113)0.8376 (18115375)0.5799 (26163359)0.6218 (24402467)0.9351 (16226439)0.6218 (24402467)0.1675 (90586192)0.1675 (90586192)0.9165 (16555248)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf.gz0.9716 (18434230)0.9902 (18086566)0.893 (20056259)0.604 (29654651)0.6479 (27641417)0.9195 (19478645)0.6479 (27641417)0.1155 (155036623)0.1155 (155036623)0.9542 (18769503)
correlation-clustering-Rounded_CorrelationClustering_Protein3_UNARY_N300.wcnf.gz0.9579 (26426843)0.2926 (86524248)0.8694 (29116159)0.6093 (41542122)0.6542 (38690603)0.9404 (26917201)0.6542 (38690603)0.1742 (145319351)0.1742 (145319351)0.1218 (207812266)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf.gz0.9285 (17692695)0.8577 (19154781)0.8018 (20489413)0.9511 (17272840)0.8374 (19617611)0.9288 (17688686)0.8601 (19099626)0.8528 (19264938)0.8523 (19275832)0.6573 (24993826)
correlation-clustering-Rounded_CorrelationClustering_Protein4_UNARY_N210.wcnf.gz0.7989 (5220475)0.8463 (4928100)0.8165 (5108253)0.8267 (5045088)0.7597 (5490347)0.8324 (5010707)0.747 (5583708)0.8587 (4857255)0.6563 (6354645)0.7838 (5320983)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf.gz0.925 (89878730)0.7031 (118241013)0.7567 (109870144)0.6843 (121502777)0.7163 (116075426)0.6838 (121586601)0.6857 (121253820)0.9375 (88683447)0.9375 (88683447)0.7461 (111427627)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf.gz0.9467 (106087570)0.7677 (130820981)0.8814 (113945231)0.7499 (133927486)0.743 (135171430)0.7492 (134056053)0.74 (135724769)0.7077 (141901657)0.7077 (141901657)0.8192 (122598822)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf.gz0.8853 (107735586)0.6841 (139418630)0.779 (122428645)0.6774 (140789623)0.676 (141089629)0.6857 (139080569)0.675 (141290882)0.0 (-)0.0 (-)0.7435 (128277170)
hs-timetabling-BrazilInstance1.xml.wcnf.gz0.9512 (40)0.907 (42)0.975 (39)0.9512 (40)0.8298 (46)0.9286 (41)0.619 (62)0.6964 (55)0.2746 (141)0.2977 (130)
hs-timetabling-BrazilInstance2.xml.wcnf.gz0.2308 (25)0.8571 (6)1.0 (5)0.6 (9)0.8571 (6)0.8571 (6)0.0968 (61)0.0769 (77)0.0244 (245)0.0248 (241)
hs-timetabling-BrazilInstance4.xml.wcnf.gz0.7468 (78)0.4797 (122)0.4538 (129)0.5413 (108)0.4069 (144)0.7662 (76)0.2379 (247)0.2458 (239)0.2169 (271)0.2115 (278)
hs-timetabling-BrazilInstance5.xml.wcnf.gz0.4286 (41)0.2857 (62)0.2813 (63)0.5 (35)0.2368 (75)0.36 (49)0.1667 (107)0.1395 (128)0.0413 (435)0.036 (499)
hs-timetabling-BrazilInstance6.xml.wcnf.gz0.5 (109)0.4661 (117)0.5 (109)0.4135 (132)0.3846 (142)0.5978 (91)0.2895 (189)0.2709 (202)0.1038 (529)0.0912 (602)
hs-timetabling-BrazilInstance7.xml.wcnf.gz0.6111 (179)0.6322 (173)0.6627 (165)0.4 (274)0.55 (199)0.347 (316)0.2407 (456)0.2709 (405)0.1185 (927)0.1244 (883)
hs-timetabling-FinlandSecondarySchool.xml.wcnf.gz0.8467 (136)0.2136 (542)0.232 (499)0.4296 (269)0.1886 (614)0.4203 (275)0.1793 (646)0.201 (576)0.194 (597)0.1561 (742)
hs-timetabling-ItalyInstance4.xml.wcnf.gz0.0159 (2263)0.0918 (391)0.0044 (8163)0.1237 (290)0.0843 (426)0.0758 (474)0.0052 (6940)0.0043 (8341)0.0016 (22265)0.0025 (14467)
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.4243 (897)
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.8505 (1337)
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)0.9963 (806)0.9975 (805)0.9975 (805)0.6837 (1175)0.4814 (1669)
lisbon-wedding-lisbon-wedding-4-19.wcnf.gz1.0 (806)0.7528 (1071)0.97 (831)0.7521 (1072)0.7521 (1072)0.7535 (1070)0.9975 (808)1.0 (806)0.6349 (1270)0.4531 (1780)
lisbon-wedding-lisbon-wedding-5-19.wcnf.gz0.9975 (807)1.0 (805)0.6836 (1178)1.0 (805)0.7533 (1069)0.8318 (968)0.7902 (1019)1.0 (805)0.7114 (1132)0.5217 (1544)
lisbon-wedding-lisbon-wedding-6-19.wcnf.gz0.9405 (856)0.719 (1120)0.784 (1027)0.9951 (809)0.7597 (1060)0.9951 (809)0.7268 (1108)1.0 (805)0.6542 (1231)0.4627 (1741)
lisbon-wedding-lisbon-wedding-7-17.wcnf.gz0.9976 (421)0.9976 (421)0.9976 (421)1.0 (420)0.9976 (421)0.9768 (430)0.9723 (432)0.9976 (421)0.6924 (607)0.5613 (749)
lisbon-wedding-lisbon-wedding-7-19.wcnf.gz0.9953 (426)0.9793 (433)1.0 (424)1.0 (424)0.9838 (431)1.0 (424)0.9725 (436)0.9953 (426)0.7228 (587)0.6844 (620)
lisbon-wedding-lisbon-wedding-8-17.wcnf.gz0.9975 (396)1.0 (395)1.0 (395)1.0 (395)1.0 (395)1.0 (395)0.9975 (396)0.9975 (396)0.7279 (543)0.5723 (691)
lisbon-wedding-lisbon-wedding-8-19.wcnf.gz1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)0.9524 (419)1.0 (399)1.0 (399)0.713 (560)0.5789 (690)
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)0.9975 (399)1.0 (398)0.7112 (560)0.5749 (693)
max-realizability-power-distribution_10_7.wcnf.gz1.0 (60)1.0 (60)0.9531 (63)0.9531 (63)0.9683 (62)1.0 (60)0.9683 (62)1.0 (60)0.8356 (72)0.9683 (62)
max-realizability-power-distribution_10_8.wcnf.gz1.0 (60)1.0 (60)0.9839 (61)1.0 (60)0.9683 (62)0.9839 (61)0.9385 (64)1.0 (60)0.9839 (61)0.9385 (64)
max-realizability-power-distribution_11_7.wcnf.gz0.9695 (130)0.9845 (128)1.0 (126)0.9338 (135)0.9845 (128)1.0 (126)0.9769 (129)0.9922 (127)0.9845 (128)0.9478 (133)
max-realizability-power-distribution_11_8.wcnf.gz1.0 (126)1.0 (126)0.9769 (129)0.927 (136)0.9407 (134)0.9922 (127)0.9621 (131)0.8759 (144)0.8759 (144)0.8301 (152)
max-realizability-power-distribution_12_7.wcnf.gz1.0 (216)0.9954 (217)0.9954 (217)0.9476 (228)0.9775 (221)0.8967 (241)0.9394 (230)0.9004 (240)0.9864 (219)0.8645 (250)
max-realizability-power-distribution_12_8.wcnf.gz1.0 (216)0.9909 (218)0.9909 (218)0.9819 (220)0.9864 (219)0.9954 (217)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)0.9167 (11)1.0 (10)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)0.95 (19)1.0 (18)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)0.9762 (41)1.0 (40)0.9762 (41)1.0 (40)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)0.9048 (20)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)
max-realizability-robot-navigation_10.wcnf.gz0.0 (-)0.0 (-)1.0 (14)1.0 (14)1.0 (14)1.0 (14)0.9375 (15)0.0 (-)0.0 (-)0.375 (39)
maxcut-brock200_4.clq.wcnf.gz0.8898 (1242)1.0 (1105)0.8764 (1261)0.9325 (1185)1.0 (1105)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)0.9389 (1341)0.9648 (1305)0.9836 (1280)1.0 (1259)0.9836 (1280)1.0 (1259)1.0 (1259)1.0 (1259)
maxcut-brock800_3.clq.wcnf.gz0.8831 (1222)1.0 (1079)0.8599 (1255)0.9643 (1119)1.0 (1079)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.9305 (4719)0.9571 (4588)0.9445 (4649)0.9928 (4423)0.9519 (4613)0.9975 (4402)0.9959 (4409)1.0 (4391)
maxcut-johnson8-4-4.clq.wcnf.gz0.9482 (4381)0.9774 (4250)0.893 (4652)0.8871 (4683)0.9203 (4514)1.0 (4154)0.8892 (4672)1.0 (4154)1.0 (4154)1.0 (4154)
maxcut-p_hat500-3.clq.wcnf.gz0.9417 (1594)1.0 (1501)0.9037 (1661)0.9791 (1533)1.0 (1501)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)0.9269 (1545)0.9748 (1469)1.0 (1432)1.0 (1432)0.9924 (1443)0.9924 (1443)0.9924 (1443)1.0 (1432)
maxcut-san200_0.7_1.clq.wcnf.gz0.9263 (1356)1.0 (1256)0.9263 (1356)0.9913 (1267)0.9945 (1263)1.0 (1256)0.9945 (1263)0.9945 (1263)1.0 (1256)1.0 (1256)
maxcut-sanr200_0.7.clq.wcnf.gz0.8995 (1302)1.0 (1171)0.8675 (1350)0.9459 (1238)0.9759 (1200)1.0 (1171)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.7898 (175)0.572 (242)0.481 (288)
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf.gz0.9563 (96663)0.9546 (96833)0.9525 (97046)1.0 (92434)0.9467 (97635)0.9991 (92513)0.9467 (97635)0.8966 (103094)0.8938 (103418)0.8864 (104286)
min-width-MinWidthCB_mitdbsample_100_43_1k_5s_2t_7.wcnf.gz0.9709 (32350)0.9632 (32610)0.9632 (32610)0.9715 (32330)0.9632 (32610)0.9907 (31705)0.9632 (32610)0.9582 (32780)0.9575 (32805)0.8464 (37110)
min-width-MinWidthCB_mitdbsample_200_26_1k_2s_2t_4.wcnf.gz0.9449 (31765)0.9574 (31350)0.9449 (31765)0.9937 (30205)0.9397 (31940)0.9945 (30180)0.9317 (32215)0.9684 (30995)0.9701 (30940)0.9646 (31115)
min-width-MinWidthCB_mitdbsample_200_43_1k_10s_2t_12.wcnf.gz1.0 (39945)1.0 (39945)1.0 (39945)0.987 (40470)1.0 (39945)0.9932 (40220)1.0 (39945)0.9609 (41570)0.9663 (41340)0.8284 (48220)
min-width-MinWidthCB_mitdbsample_300_26_1k_6s_1t_8.wcnf.gz0.9342 (33035)0.9342 (33035)0.9744 (31670)0.9825 (31410)0.9472 (32580)0.9915 (31125)0.9582 (32205)0.9837 (31370)0.9899 (31175)0.9125 (33820)
min-width-MinWidthCB_mitdbsample_300_26_1k_6s_2t_6.wcnf.gz0.9248 (30315)0.9397 (29835)0.9189 (30510)1.0 (28035)0.9218 (30415)0.9889 (28350)0.9136 (30685)0.9554 (29345)0.9354 (29970)0.8661 (32370)
min-width-MinWidthCB_mitdbsample_300_32_1k_15s_2t_17.wcnf.gz0.9962 (26040)0.9962 (26040)0.9962 (26040)0.9935 (26110)0.9962 (26040)0.9505 (27290)0.9962 (26040)0.9404 (27585)0.9791 (26495)0.7531 (34445)
min-width-MinWidthCB_mitdbsample_300_32_1k_6s_1t_8.wcnf.gz0.9103 (35350)0.9394 (34255)0.9222 (34895)0.9675 (33260)0.9103 (35350)0.9641 (33380)0.9646 (33360)0.9607 (33495)0.9612 (33480)0.9024 (35660)
min-width-MinWidthCB_mitdbsample_300_32_1k_6s_2t_8.wcnf.gz0.9575 (32705)0.9718 (32225)0.9709 (32255)0.9943 (31495)0.9695 (32300)1.0 (31315)0.9575 (32705)0.9787 (31995)0.9841 (31820)0.8719 (35915)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf.gz0.9762 (48435)0.9762 (48435)0.9762 (48435)0.9826 (48115)0.9961 (47465)0.9974 (47405)0.9762 (48435)0.9922 (47650)0.9967 (47435)0.9615 (49175)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_3.wcnf.gz0.9896 (46185)0.9879 (46265)0.9879 (46265)0.9997 (45720)0.9879 (46265)0.9999 (45710)0.9879 (46265)0.9801 (46635)0.9808 (46600)0.9683 (47200)
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf.gz1.0 (59400)1.0 (59400)1.0 (59400)0.98 (60610)1.0 (59400)0.8698 (68295)1.0 (59400)0.9085 (65385)0.8751 (67875)0.7447 (79760)
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf.gz0.9867 (76195)0.9846 (76355)0.985 (76325)0.9156 (82110)0.9846 (76355)0.83 (90575)0.9846 (76355)0.9888 (76030)0.9968 (75420)0.9105 (82570)
min-width-MinWidthCB_power_600_24_1k_12s_2t_14.wcnf.gz0.966 (76277)0.966 (76277)0.9714 (75849)0.9997 (73702)0.966 (76277)0.9929 (74208)0.966 (76277)0.8728 (84416)0.8782 (83896)0.8518 (86499)
mpe-random-net-30-6_network-4.net.wcnf.gz0.9178 (26544)0.9921 (24556)0.911 (26743)0.9436 (25818)1.0 (24362)1.0 (24362)1.0 (24362)1.0 (24362)1.0 (24362)0.8223 (29628)
mpe-random-net-40-5_network-10.net.wcnf.gz0.8537 (38287)0.9937 (32892)0.8543 (38261)0.9965 (32800)1.0 (32686)1.0 (32686)1.0 (32686)1.0 (32686)1.0 (32686)0.7371 (44347)
mpe-random-net-40-5_network-7.net.wcnf.gz0.9648 (36871)0.9674 (36772)0.9536 (37302)0.9921 (35857)1.0 (35573)0.9826 (36202)1.0 (35573)0.9936 (35801)0.9936 (35801)0.771 (46139)
mpe-random-net-50-5_network-10.net.wcnf.gz0.9472 (44046)0.991 (42099)0.9035 (46178)0.9815 (42508)1.0 (41721)0.9978 (41815)1.0 (41721)1.0 (41721)1.0 (41721)0.7574 (55085)
mpe-random-net-50-5_network-4.net.wcnf.gz0.9524 (45236)0.987 (43651)0.9524 (45236)0.9797 (43975)0.989 (43562)1.0 (43082)1.0 (43082)0.4884 (88206)0.4884 (88206)0.8643 (49846)
mpe-random-net-50-5_network-9.net.wcnf.gz0.9149 (48286)0.9854 (44833)0.8946 (49381)0.9856 (44822)0.9947 (44413)0.9991 (44219)0.9947 (44413)0.9953 (44387)0.9887 (44681)0.8516 (51876)
pseudoBoolean-normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf.gz0.5694 (38984)1.0 (22199)0.5509 (40297)0.611 (36334)1.0 (22199)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)0.8217 (3836)0.7543 (4179)0.8005 (3938)0.9401 (3353)0.7381 (4271)0.8166 (3860)0.7614 (4140)0.676 (4663)
pseudoBoolean-normalized-mps-v2-20-10-mod008.opb.msat.wcnf.gz1.0 (307)0.9686 (317)1.0 (307)0.9249 (332)0.8556 (359)0.9872 (311)0.8556 (359)0.7586 (405)0.0735 (4192)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.2241 (45248)0.7613 (13320)0.9586 (10578)0.5933 (17091)0.3978 (25494)0.4488 (22594)0.2828 (35858)0.2685 (37770)0.2667 (38024)
pseudoBoolean-normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.gz0.9244 (1931)1.0 (1785)1.0 (1785)0.9989 (1787)1.0 (1785)0.9967 (1791)1.0 (1785)0.2833 (6304)0.2802 (6374)0.2183 (8180)
railroad_sc-rail2536.wcnf.gz0.615 (1121)0.7026 (981)0.4567 (1510)0.4859 (1419)0.6301 (1094)0.0 (-)0.6301 (1094)0.0 (-)0.0 (-)0.0 (-)
railroad_sc-rail4284.wcnf.gz0.7395 (1730)0.8163 (1567)0.5592 (2288)0.5568 (2298)0.7975 (1604)1.0 (1279)0.7975 (1604)0.0 (-)0.0 (-)0.0 (-)
railroad_sc-rail4872.wcnf.gz0.9189 (2353)0.0 (-)0.97 (2229)0.7405 (2920)1.0 (2162)0.0 (-)1.0 (2162)0.0 (-)0.0 (-)0.0 (-)
railroad_scheduling-MultiDay_2_weighted.wcnf.gz0.859 (537594)0.9931 (464975)0.8621 (535674)0.8011 (576458)0.925 (499201)0.7766 (594598)0.925 (499201)0.9924 (465303)0.9924 (465303)0.9991 (462207)
railroad_scheduling-MultiDay_3_weighted.wcnf.gz0.865 (1221199)0.8644 (1222012)0.7938 (1330634)0.8026 (1315991)0.9298 (1135964)0.7863 (1343380)0.9298 (1135964)0.9992 (1057109)0.9992 (1057109)0.9996 (1056741)
railroad_scheduling-MultiDay_4_weighted.wcnf.gz0.876 (2308873)0.8761 (2308763)0.9164 (2207195)0.8129 (2488234)0.9326 (2168802)0.8061 (2509110)0.9326 (2168802)1.0 (2022668)1.0 (2022668)0.9977 (2027303)
railroad_scheduling-SingleDay_37_weighted.wcnf.gz0.9859 (44885697)0.9852 (44914006)0.9852 (44915792)0.9723 (45509466)0.9905 (44677427)0.9673 (45745230)0.9905 (44677427)0.988 (44786853)0.988 (44786853)0.0 (-)
railway-transport-bf2030fvslack.wcnf.gz0.9892 (247936)0.9372 (261684)0.9858 (248793)0.8735 (280762)0.7571 (323936)0.835 (293730)0.6983 (351230)0.0 (-)0.0 (-)0.7316 (335208)
railway-transport-r11.wcnf.gz0.9597 (50875207)0.9492 (51439689)0.8965 (54462418)0.6637 (73560693)0.75 (65098338)0.7377 (66182809)0.749 (65191887)0.0 (-)0.0 (-)0.7242 (67424105)
railway-transport-wg2.wcnf.gz0.5302 (148)0.767 (102)0.79 (99)0.6639 (118)0.693 (113)0.7117 (110)0.5097 (154)0.6529 (120)0.397 (198)0.2981 (264)
ramsey-ram_k3_n13.ra1.wcnf.gz0.8098 (1750)1.0 (1417)0.6894 (2056)0.6356 (2230)1.0 (1417)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)0.9036 (3348)0.6952 (4352)0.7318 (4134)1.0 (3025)0.6496 (4657)0.9441 (3204)0.9441 (3204)1.0 (3025)
ramsey-ram_k3_n15.ra1.wcnf.gz0.8015 (6094)1.0 (4884)0.8375 (5832)0.7491 (6520)0.8576 (5695)1.0 (4884)0.8213 (5947)0.9391 (5201)0.9191 (5314)0.9355 (5221)
ramsey-ram_k3_n16.ra1.wcnf.gz0.7929 (9170)1.0 (7271)0.9234 (7874)0.6714 (10830)0.7705 (9437)1.0 (7271)0.7524 (9664)0.9736 (7468)1.0 (7271)0.9657 (7529)
ramsey-ram_k3_n17.ra1.wcnf.gz0.7537 (13762)1.0 (10372)0.707 (14670)0.681 (15231)0.7352 (14108)1.0 (10372)0.7023 (14769)0.9604 (10800)0.9888 (10490)0.9972 (10401)
ramsey-ram_k3_n18.ra1.wcnf.gz0.7343 (21273)1.0 (15621)0.7997 (19535)0.6932 (22536)0.7443 (20988)0.9895 (15786)0.6914 (22595)0.8805 (17741)0.9339 (16727)0.9339 (16727)
ramsey-ram_k3_n19.ra1.wcnf.gz0.709 (29146)1.0 (20665)0.7297 (28321)0.648 (31892)0.7049 (29316)1.0 (20665)0.6973 (29635)0.9655 (21404)0.9093 (22727)0.956 (21617)
ramsey-ram_k3_n20.ra1.wcnf.gz0.7209 (33151)1.0 (23898)0.7418 (32218)0.5596 (42708)0.7623 (31349)1.0 (23898)0.6295 (37967)0.9735 (24548)0.9465 (25249)0.9091 (26289)
ramsey-ram_k4_n18.ra1.wcnf.gz0.5528 (567)0.5891 (532)0.3815 (822)0.221 (1420)0.2946 (1065)0.6811 (460)0.2643 (1187)1.0 (313)1.0 (313)0.2632 (1192)
ramsey-ram_k4_n19.ra1.wcnf.gz0.4555 (2361)0.8533 (1260)0.4205 (2558)0.3427 (3139)0.3517 (3058)0.7825 (1374)0.3627 (2966)0.8472 (1269)0.8684 (1238)0.3963 (2714)
ramsey-ram_k4_n20.ra1.wcnf.gz0.4883 (5397)0.8235 (3200)0.4222 (6243)0.3414 (7720)0.4318 (6104)0.9043 (2914)0.3416 (7715)0.7667 (3437)0.7667 (3437)0.5141 (5126)
scSequencing-simNo_1-s_15-m_300-n_300-fp_0.01-fn_0.20.wcnf.gz0.4944 (17014880174591638)0.5481 (15350764325818622)0.6204 (13561153469522828)0.0 (-)0.3289 (25578919755954444)0.9431 (8920465098516098)0.3289 (25578919755954444)0.0 (-)0.0 (-)0.0 (-)
scSequencing-simNo_2-s_5-m_300-n_300-fp_0.01-fn_0.20.wcnf.gz1.0 (12522730322858662)0.9422 (13291341637417974)0.616 (20329463870491526)0.0 (-)0.5662 (22116344182789252)0.9054 (13831665298912776)0.5662 (22116344182789252)0.0 (-)0.0 (-)0.0 (-)
scSequencing-simNo_6-s_5-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz0.8371 (1134188467001649)0.6135 (1547639000590266)0.7626 (1245057253403283)0.9302 (1020700257662313)0.2119 (4479895527926247)0.1704 (5573377954437759)0.2119 (4479895527926247)0.134 (7085855081531025)0.134 (7085855081531025)0.1761 (5392166728484970)
scSequencing-simNo_8-s_5-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz0.8852 (745953105240009)0.6054 (1090766769702084)0.8302 (795366438300846)0.9026 (731573185567428)0.7339 (899783499931074)0.3133 (2107899890448165)0.639 (1033379673470496)0.1722 (3835532831780844)0.1722 (3835532831780844)0.1921 (3437060270630634)
scSequencing-simNo_9-s_15-m_300-n_300-fp_0.0001-fn_0.20.wcnf.gz0.6493 (2977791675556797)0.3704 (5219959211274789)0.1563 (12373523714194686)0.0 (-)0.3269 (5914506093450570)0.3001 (6443582330381526)0.3269 (5914506093450570)0.0 (-)0.0 (-)0.0 (-)
set-covering-scpnrg1_weighted.wcnf.gz0.9519 (186)0.9468 (187)0.9468 (187)0.8945 (198)0.9128 (194)0.9944 (178)1.0 (177)0.9944 (178)0.9944 (178)0.8725 (203)
set-covering-scpnrg2_weighted.wcnf.gz0.9337 (165)0.9337 (165)0.9337 (165)0.9172 (168)0.9337 (165)0.981 (157)0.9337 (165)0.9748 (158)0.9688 (159)0.9172 (168)
set-covering-scpnrg3_weighted.wcnf.gz0.9713 (173)0.9713 (173)0.9713 (173)0.9286 (181)0.9941 (169)0.9883 (170)0.9941 (169)1.0 (168)1.0 (168)0.9389 (179)
set-covering-scpnrg4_weighted.wcnf.gz0.9718 (176)0.9718 (176)0.9718 (176)0.9247 (185)0.9718 (176)0.9885 (173)0.9718 (176)1.0 (171)1.0 (171)0.9198 (186)
set-covering-scpnrg5_weighted.wcnf.gz0.9558 (180)0.9774 (176)0.9774 (176)0.8964 (192)0.9943 (173)1.0 (172)0.9774 (176)0.9943 (173)0.9943 (173)0.9058 (190)
set-covering-scpnrh1_weighted.wcnf.gz0.9848 (65)0.9848 (65)0.9848 (65)0.8784 (73)0.9701 (66)0.9848 (65)0.9848 (65)0.9848 (65)0.9848 (65)0.8784 (73)
set-covering-scpnrh2_weighted.wcnf.gz0.942 (68)0.9559 (67)0.942 (68)0.9701 (66)0.9701 (66)1.0 (64)0.9559 (67)1.0 (64)1.0 (64)0.8904 (72)
set-covering-scpnrh3_weighted.wcnf.gz0.9375 (63)0.9677 (61)0.9231 (64)0.8571 (69)0.9524 (62)0.9375 (63)0.9375 (63)0.9677 (61)0.9677 (61)0.8451 (70)
set-covering-scpnrh4_weighted.wcnf.gz0.9365 (62)0.9516 (61)0.9672 (60)0.8676 (67)0.9672 (60)0.9672 (60)0.9365 (62)1.0 (58)1.0 (58)0.8551 (68)
set-covering-scpnrh5_weighted.wcnf.gz0.9492 (58)0.9492 (58)0.9825 (56)0.8615 (64)0.918 (60)1.0 (55)0.9333 (59)1.0 (55)1.0 (55)0.9032 (61)
shiftdesign-limits-10-10_data-2_inst-003_30m.sm-extracted.wcnf.gz0.371 (79559985)0.269 (109731089)0.2988 (98766067)0.0712 (414279814)0.2121 (139121655)0.0534 (552884483)0.2123 (139030774)0.0352 (839124545)0.0352 (839124545)0.046 (641692212)
shiftdesign-limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.gz0.0848 (499379120)0.0886 (477981194)0.0605 (699756820)0.0 (-)0.0737 (574828304)0.042 (1009036896)0.0765 (553682196)0.0 (-)0.0 (-)0.0 (-)
shiftdesign-limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.gz0.06 (550082595)0.0486 (679153122)0.0408 (808828931)0.0 (-)0.0419 (788013331)0.034 (970681715)0.0408 (809466484)0.0 (-)0.0 (-)0.0 (-)
shiftdesign-limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf.gz0.4979 (19175521)0.6572 (14527500)0.2118 (45084788)0.1348 (70819601)0.9554 (9993279)0.2117 (45093027)0.5692 (16774553)0.1187 (80414038)0.1187 (80414038)0.1228 (77728997)
spot5-1407.wcsp.log.wcnf.gz0.9602 (478613)0.9745 (471583)0.9542 (481624)0.9828 (467632)0.9581 (479645)0.987 (465638)0.9386 (489645)0.9745 (471578)0.9745 (471578)0.9956 (461597)
staff-scheduling-instance10.wcnf.gz0.6776 (7825)0.9418 (5630)0.9295 (5704)0.8949 (5925)0.8341 (6357)0.8871 (5977)0.4562 (11623)0.7669 (6914)0.7979 (6645)0.3152 (16822)
staff-scheduling-instance11.wcnf.gz0.6682 (5340)0.9024 (3954)0.9008 (3961)0.9427 (3785)0.8707 (4098)0.9568 (3729)0.717 (4977)0.9201 (3878)0.9201 (3878)0.2861 (12473)
staff-scheduling-instance12.wcnf.gz0.4878 (10856)0.6378 (8302)0.3615 (14649)0.2138 (24769)0.8373 (6324)0.5025 (10538)0.3046 (17388)0.6507 (8138)0.6507 (8138)0.2536 (20881)
staff-scheduling-instance2.wcnf.gz0.9799 (845)0.9834 (842)0.9673 (856)0.8745 (947)0.9846 (841)0.9811 (844)0.9976 (830)0.9776 (847)0.9834 (842)0.5425 (1527)
staff-scheduling-instance3.wcnf.gz1.0 (1011)0.974 (1038)0.9922 (1019)0.9854 (1026)0.9675 (1045)0.9721 (1040)0.9529 (1061)0.9797 (1032)0.9797 (1032)0.5315 (1903)
staff-scheduling-instance4.wcnf.gz0.9823 (1747)0.9745 (1761)0.9712 (1767)0.9571 (1793)0.9539 (1799)0.9646 (1779)0.9118 (1882)0.9959 (1723)0.9834 (1745)0.7328 (2342)
staff-scheduling-instance5.wcnf.gz1.0 (1201)0.9796 (1226)0.9162 (1311)0.9812 (1224)0.9749 (1232)0.9218 (1303)0.8429 (1425)0.8567 (1402)0.8441 (1423)0.3465 (3468)
staff-scheduling-instance6.wcnf.gz0.8629 (2369)0.9195 (2223)0.9203 (2221)0.8706 (2348)0.9583 (2133)0.9529 (2145)0.833 (2454)0.871 (2347)0.883 (2315)0.4101 (4986)
staff-scheduling-instance7.wcnf.gz1.0 (1138)0.7665 (1485)0.9571 (1189)0.9215 (1235)0.939 (1212)0.9794 (1162)0.7018 (1622)0.8248 (1380)0.8755 (1300)0.2645 (4306)
staff-scheduling-instance8.wcnf.gz0.4525 (3223)0.8679 (1680)0.8192 (1780)0.7402 (1970)0.7008 (2081)0.8789 (1659)0.4171 (3497)0.4717 (3092)0.3419 (4266)0.1774 (8225)
staff-scheduling-instance9.wcnf.gz0.3676 (1917)0.6528 (1079)0.6369 (1106)0.4186 (1683)0.8085 (871)0.395 (1784)0.1324 (5323)0.2373 (2970)0.2494 (2826)0.0823 (8568)
tcp-tcp_students_105_it_2.wcnf.gz1.0 (2547)1.0 (2547)1.0 (2547)0.9465 (2691)1.0 (2547)1.0 (2547)1.0 (2547)1.0 (2547)0.9861 (2583)0.6886 (3699)
tcp-tcp_students_105_it_6.wcnf.gz1.0 (2994)1.0 (2994)1.0 (2994)0.8991 (3330)0.9871 (3033)1.0 (2994)0.9871 (3033)0.9633 (3108)0.9523 (3144)0.8516 (3516)
tcp-tcp_students_112_it_13.wcnf.gz1.0 (2958)1.0 (2958)1.0 (2958)0.988 (2994)1.0 (2958)0.9302 (3180)1.0 (2958)0.9527 (3105)0.9527 (3105)0.7758 (3813)
tcp-tcp_students_112_it_5.wcnf.gz1.0 (3366)1.0 (3366)1.0 (3366)1.0 (3366)0.9885 (3405)1.0 (3366)0.9885 (3405)0.9885 (3405)0.9681 (3477)0.85 (3960)
tcp-tcp_students_112_it_9.wcnf.gz1.0 (2955)1.0 (2955)1.0 (2955)0.9753 (3030)0.987 (2994)1.0 (2955)0.987 (2994)0.987 (2994)0.9408 (3141)0.775 (3813)
tcp-tcp_students_98_it_11.wcnf.gz1.0 (2694)1.0 (2694)0.9989 (2697)0.9989 (2697)0.9989 (2697)0.9594 (2808)0.9989 (2697)0.9989 (2697)0.9857 (2733)0.7926 (3399)
tcp-tcp_students_98_it_14.wcnf.gz1.0 (3063)0.9865 (3105)1.0 (3063)1.0 (3063)0.9742 (3144)0.9524 (3216)0.9742 (3144)0.9874 (3102)0.9874 (3102)0.9004 (3402)
tcp-tcp_students_98_it_15.wcnf.gz0.9877 (3180)0.9877 (3180)0.9877 (3180)0.9332 (3366)0.9877 (3180)1.0 (3141)0.9877 (3180)0.9877 (3180)0.9877 (3180)0.9042 (3474)
tcp-tcp_students_98_it_2.wcnf.gz0.9851 (2619)1.0 (2580)1.0 (2580)0.9862 (2616)0.9188 (2808)0.9729 (2652)0.9188 (2808)0.9577 (2694)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)0.9259 (26)0.9259 (26)0.5814 (42)1.0 (24)0.7576 (32)0.6757 (36)0.3623 (68)0.102 (244)0.0346 (722)
timetabling-comp05.wcnf.gz0.63 (645)0.4468 (910)0.4253 (956)0.8028 (506)0.433 (939)0.6806 (597)0.3714 (1095)0.379 (1073)0.4448 (914)0.3488 (1166)
timetabling-comp06.lp.sm-extracted.wcnf.gz0.0092 (1625)0.0194 (774)0.0389 (385)0.0043 (3515)0.0059 (2526)0.03 (499)0.0056 (2690)0.0408 (367)0.0136 (1106)0.004 (3751)
timetabling-comp07.wcnf.gz0.0619 (112)0.0165 (424)0.0543 (128)0.0055 (1283)0.0642 (108)0.0534 (130)0.0172 (406)0.0105 (666)0.0105 (666)0.0067 (1039)
timetabling-comp09.wcnf.gz0.8435 (114)0.9238 (104)0.8899 (108)1.0 (96)0.8291 (116)0.8739 (110)0.8584 (112)0.5026 (192)0.3464 (279)0.1606 (603)
timetabling-comp12.wcnf.gz0.5814 (644)0.4545 (824)0.32 (1171)0.8621 (434)0.3375 (1110)0.8741 (428)0.3247 (1154)0.3534 (1060)0.3637 (1030)0.3551 (1055)
timetabling-comp15.wcnf.gz0.9315 (72)0.6869 (98)0.9067 (74)0.9067 (74)0.8193 (82)0.9067 (74)0.7473 (90)0.4964 (136)0.2753 (246)0.1323 (513)
timetabling-comp18.wcnf.gz0.913 (68)0.863 (72)0.863 (72)0.8514 (73)0.863 (72)0.9545 (65)0.5294 (118)0.3728 (168)0.2405 (261)0.2325 (270)
timetabling-comp21.wcnf.gz0.7619 (104)0.3493 (228)0.8081 (98)0.8602 (92)0.8791 (90)1.0 (79)0.7619 (104)0.4372 (182)0.1848 (432)0.0863 (926)
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.6533 (149)0.6901 (141)0.8305 (117)0.6622 (147)0.5326 (183)0.3082 (317)0.2784 (351)0.2322 (421)0.191 (512)
timetabling-test4.wcnf.gz0.6824 (232)0.0 (-)0.5782 (274)0.6598 (240)0.3916 (405)0.6386 (248)0.3161 (502)0.286 (555)0.1299 (1223)0.0 (-)