BenchmarkRC2-2018UWrMaxSATMaxHSQMaxSAT2018maxino2018PacoseOpen-WBO-gOpen-WBO-ms-preOpen-WBO-ms
ParametricRBACMaintenance/role_smallcomp_0.55_3.cnf.gz3600.0 (-)118.704 (276954)116.093 (276954)2916.85 (276954)182.766 (276954)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.7_8.cnf.gz63.2321 (333862)116.637 (333862)2397.75 (333862)3600.0 (-)154.93 (333862)3600.0 (-)21.9669 (333862)56.9554 (333862)44.2368 (333862)
ParametricRBACMaintenance/role_smallcomp_0.35_3.cnf.gz173.072 (200395)120.795 (200395)10.0822 (200395)234.303 (200395)189.676 (200395)2699.23 (200395)625.097 (200395)484.12 (200395)150.073 (200395)
ParametricRBACMaintenance/role_smallcomp_0.85_5.cnf.gz3600.0 (-)3600.0 (-)1235.99 (369639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.25_11.cnf.gz156.551 (159950)137.139 (159950)3.43543 (159950)204.75 (159950)122.04 (159950)731.784 (159950)184.673 (159950)209.934 (159950)144.223 (159950)
ParametricRBACMaintenance/role_smallcomp_1.0_10.cnf.gz41.6157 (376922)123.089 (376922)3310.12 (376922)146.789 (376922)121.688 (376922)183.65 (376922)26.4067 (376922)68.3534 (376922)76.5335 (376922)
ParametricRBACMaintenance/role_domino_0.4_3.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.95_13.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.2_4.cnf.gz96.7799 (136348)122.115 (136348)3.1814 (136348)24.7753 (136348)93.9055 (136348)296.275 (136348)129.938 (136348)127.094 (136348)92.8588 (136348)
ParametricRBACMaintenance/role_smallcomp_0.95_10.cnf.gz575.5 (374528)163.894 (374528)3218.31 (374528)3600.0 (-)375.063 (374528)3600.0 (-)466.94 (374528)301.813 (374528)232.11 (374528)
ParametricRBACMaintenance/role_domino_1.0_7.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.5_8.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.2_14.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.45_15.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.05_13.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.1_2.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.4_5.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.75_13.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.45_5.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.35_15.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.5_4.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.55_14.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.9_6.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.15_11.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.85_5.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.3_0.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.55_7.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.3_2.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.75_8.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_university_0.95_2.cnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ilpd_train_1_DNF_2_20.wcnf0.779129 (2851)0.238166 (2851)22.417 (2851)17.5564 (2851)13.5775 (2851)10.3125 (2851)17.273 (2851)6.09708 (2851)5.13493 (2851)
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_0_CNF_1_20.wcnf1.78466 (4263)2.8478 (4263)8.84142 (4263)23.5505 (4263)47.403 (4263)8.99954 (4263)50.104 (4263)37.0876 (4263)29.5162 (4263)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_1_15.wcnf0.151236 (130)0.023961 (130)0.414947 (130)0.0665189 (130)0.0132849 (130)0.153105 (130)0.010317 (130)0.053523 (130)0.014664 (130)
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_2_10.wcnf1.67503 (2396)0.990197 (2396)12.4486 (2396)38.3491 (2396)15.4934 (2396)43.2293 (2396)72.1629 (2396)78.2505 (2396)63.6255 (2396)
MaxSATQueriesinInterpretableClassifiers/pima_train_0_CNF_5_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_4_20.wcnf748.99 (4560)1602.14 (4560)3600.0 (-)3600.0 (-)2549.43 (4560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_0_CNF_4_20.wcnf3600.0 (-)2879.34 (61)3600.0 (-)366.24 (61)3600.0 (-)236.198 (61)2288.4 (61)652.474 (61)628.059 (61)
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_test_1_CNF_5_20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_test_0_CNF_3_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_train_0_DNF_2_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_train_1_CNF_5_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_train_0_CNF_5_20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_6_CNF_3_20.wcnf2.1197 (70)0.237507 (70)40.3044 (70)0.165648 (70)0.349282 (70)0.257508 (70)0.161599 (70)4.95702 (70)5.69102 (70)
MaxSATQueriesinInterpretableClassifiers/transfusion_train_6_DNF_5_5.wcnf0.414801 (810)0.176411 (810)3.37208 (810)1.92079 (810)0.13465 (810)2.84781 (810)0.0736651 (810)4.34103 (810)0.330531 (810)
MaxSATQueriesinInterpretableClassifiers/ilpd_train_9_DNF_2_20.wcnf0.498824 (2890)0.288028 (2890)15.7546 (2890)16.3042 (2890)15.2191 (2890)6.56591 (2890)4.69137 (2890)6.25678 (2890)7.05091 (2890)
MaxSATQueriesinInterpretableClassifiers/ilpd_train_0_CNF_3_15.wcnf1.1008 (2223)0.702208 (2223)3.75698 (2223)189.382 (2223)76.8635 (2223)91.7263 (2223)610.793 (2223)33.8235 (2223)61.4376 (2223)
MaxSATQueriesinInterpretableClassifiers/wdbc_train_3_DNF_1_15.wcnf0.194832 (424)0.0458161 (424)7.67774 (424)0.54919 (424)0.0332231 (424)0.593969 (424)0.0442439 (424)6.58009 (424)1.07207 (424)
MaxSATQueriesinInterpretableClassifiers/titanic_train_6_CNF_3_20.wcnf29.6266 (4553)133.963 (4553)3600.0 (-)3600.0 (-)1153.81 (4553)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/transfusion_train_7_CNF_5_20.wcnf0.485189 (3200)0.244451 (3200)0.475569 (3200)24.9343 (3200)0.246615 (3200)86.7956 (3200)0.0886499 (3200)4.61681 (3200)0.178402 (3200)
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_2_CNF_5_20.wcnf2.09013 (37)3.05391 (37)501.488 (37)2.02032 (37)3.50767 (37)1.65076 (37)0.514614 (37)10.4262 (37)10.172 (37)
MaxSATQueriesinInterpretableClassifiers/wdbc_train_0_DNF_3_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2816.02 (84)3600.0 (-)2983.5 (84)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_7_DNF_5_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_5_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_test_5_CNF_2_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_train_6_DNF_2_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_test_0_CNF_4_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_train_7_CNF_2_20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_train_7_DNF_3_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/twitter_test_6_CNF_5_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/web-wikipedia2009.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/sc-rel9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/bn-human-BNU_1_0025865_session_1-bg.wcnf3600.0 (-)3600.0 (-)702.965 (119321020)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/delaunay_n24.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/channel-500x100x100-b050.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/hugebubbles-00020.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/inf-road-usa.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Security-CriticalCyber-PhysicalComponents/test8--n-5000.wcnf0.308816 (5)0.175302 (5)0.182296 (5)0.361637 (5)0.112326 (5)0.118903 (5)0.127083 (5)0.205982 (5)0.138168 (5)
Security-CriticalCyber-PhysicalComponents/test11--n-5000.wcnf0.344213 (8)0.203046 (8)1.15117 (8)0.290201 (8)0.107982 (8)0.145862 (8)0.114958 (8)0.20651 (8)0.12701 (8)
Security-CriticalCyber-PhysicalComponents/test3--n-5000.wcnf0.545967 (1)0.397637 (1)0.62915 (1)0.359082 (1)0.108692 (1)0.080598 (1)0.135143 (1)0.220176 (1)0.15329 (1)
Security-CriticalCyber-PhysicalComponents/test9--n-5000.wcnf0.461595 (2)0.924811 (2)1.46411 (2)0.367564 (2)0.11652 (2)0.110504 (2)0.132367 (2)0.213963 (2)0.145679 (2)
Security-CriticalCyber-PhysicalComponents/test4--n-5000.wcnf0.504704 (3)0.313473 (3)0.563979 (3)0.354175 (3)0.113096 (3)0.100469 (3)0.131832 (3)0.200912 (3)0.14664 (3)
Security-CriticalCyber-PhysicalComponents/test1--n-5000.wcnf0.922969 (20)0.558954 (20)0.322038 (20)0.367729 (20)0.150838 (20)0.08969 (20)0.134326 (20)0.209086 (20)0.149442 (20)
Security-CriticalCyber-PhysicalComponents/test37--n-10000.wcnf4.0184 (4)0.438127 (4)1.25897 (4)0.700956 (4)0.225144 (4)0.195426 (4)0.230172 (4)0.418063 (4)0.253741 (4)
Security-CriticalCyber-PhysicalComponents/test31--n-10000.wcnf4.97278 (289)1.2605 (289)7.28654 (289)2.79953 (289)0.37854 (289)28.0136 (289)0.254634 (289)0.398222 (289)0.306316 (289)
Security-CriticalCyber-PhysicalComponents/test21--n-10000.wcnf5.20018 (1)0.921028 (1)2.40335 (1)0.84974 (1)0.225043 (1)0.361674 (1)0.262138 (1)0.429992 (1)0.291694 (1)
Security-CriticalCyber-PhysicalComponents/test32--n-10000.wcnf3.88529 (22)0.48376 (22)0.282506 (22)0.533774 (22)0.234016 (22)0.185591 (22)0.238998 (22)0.422634 (22)0.261977 (22)
Security-CriticalCyber-PhysicalComponents/test29--n-10000.wcnf5.25667 (5)1.00727 (5)0.664643 (5)0.835219 (5)0.249948 (5)0.323189 (5)0.262024 (5)0.428465 (5)0.293057 (5)
Security-CriticalCyber-PhysicalComponents/test22--n-10000.wcnf4.74765 (17)0.293967 (17)0.259593 (17)0.968239 (17)0.219678 (17)0.590607 (17)0.220925 (17)0.420915 (17)0.242713 (17)
Security-CriticalCyber-PhysicalComponents/test52--n-15000.wcnf6.24758 (49)0.931101 (49)9.84848 (49)1.13035 (49)0.392512 (49)0.490677 (49)0.358761 (49)0.60857 (49)0.418894 (49)
Security-CriticalCyber-PhysicalComponents/test53--n-15000.wcnf6.36073 (10)1.09735 (10)42.1892 (10)1.21097 (10)0.363343 (10)0.391553 (10)0.364094 (10)0.653219 (10)0.413696 (10)
Security-CriticalCyber-PhysicalComponents/test58--n-15000.wcnf5.7966 (66)0.614441 (66)0.644736 (66)1.61385 (66)0.387237 (66)0.837084 (66)0.353253 (66)0.62549 (66)0.388809 (66)
Security-CriticalCyber-PhysicalComponents/test60--n-15000.wcnf6.94265 (116)1.27882 (116)2.56786 (116)1.83695 (116)0.486813 (116)2.02137 (116)0.367205 (116)0.599786 (116)0.4147 (116)
Security-CriticalCyber-PhysicalComponents/test51--n-15000.wcnf8.25235 (214)2.89575 (214)17.3177 (214)4.69583 (214)0.663911 (214)1.9296 (214)0.391246 (214)0.62206 (214)0.475382 (214)
Security-CriticalCyber-PhysicalComponents/test49--n-15000.wcnf8.54954 (4)8.13698 (4)9.3636 (4)1.37366 (4)0.398431 (4)0.534652 (4)0.424157 (4)0.659883 (4)0.46909 (4)
Security-CriticalCyber-PhysicalComponents/test43--n-15000.wcnf10.1072 (6)2.35681 (6)22.9491 (6)1.61289 (6)0.464503 (6)1.00631 (6)0.421255 (6)0.632761 (6)0.477346 (6)
Security-CriticalCyber-PhysicalComponents/test47--n-15000.wcnf7.31955 (2)1.71935 (2)0.390156 (2)0.906652 (2)0.35538 (2)0.449724 (2)0.418596 (2)0.6006 (2)0.457229 (2)
Security-CriticalCyber-PhysicalComponents/test76--n-20000.wcnf10.8099 (9)4.19926 (9)65.2331 (9)1.43907 (9)0.581839 (9)0.558028 (9)0.530298 (9)0.836744 (9)0.596018 (9)
Security-CriticalCyber-PhysicalComponents/test80--n-20000.wcnf10.9221 (50)7.17515 (50)24.2671 (50)1.76469 (50)0.694908 (50)1.35727 (50)0.519982 (50)0.903088 (50)0.604472 (50)
Security-CriticalCyber-PhysicalComponents/test45--n-15000.wcnf8.95982 (1)2.17133 (1)3.90234 (1)1.23848 (1)0.361438 (1)0.547716 (1)0.432822 (1)0.661209 (1)0.483658 (1)
Security-CriticalCyber-PhysicalComponents/test50--n-15000.wcnf10.2333 (10)3.62631 (10)23.8029 (10)1.40668 (10)0.494986 (10)0.81947 (10)0.431934 (10)0.660716 (10)0.491368 (10)
Security-CriticalCyber-PhysicalComponents/test75--n-20000.wcnf8.80245 (5)1.62464 (5)3.97763 (5)0.985434 (5)0.547442 (5)0.50542 (5)0.522779 (5)0.848365 (5)0.575418 (5)
Security-CriticalCyber-PhysicalComponents/test63--n-20000.wcnf12.1702 (14)6.54391 (14)4.70968 (14)2.30126 (14)0.71229 (14)1.07324 (14)0.63479 (14)0.859915 (14)0.729657 (14)
Security-CriticalCyber-PhysicalComponents/test66--n-20000.wcnf12.8749 (1)2.58374 (1)3.49163 (1)1.35049 (1)0.496058 (1)0.636536 (1)0.626194 (1)0.934159 (1)0.723148 (1)
Security-CriticalCyber-PhysicalComponents/test70--n-20000.wcnf10.4899 (5)0.973968 (5)5.52991 (5)1.35189 (5)0.503797 (5)0.58041 (5)0.650548 (5)0.876591 (5)0.735219 (5)
Security-CriticalCyber-PhysicalComponents/test79--n-20000.wcnf9.99268 (49)2.01481 (49)67.9201 (49)2.0463 (49)0.670803 (49)1.49477 (49)0.54151 (49)0.847386 (49)0.623261 (49)
Security-CriticalCyber-PhysicalComponents/test71--n-20000.wcnf8.38667 (25)1.14642 (25)0.692833 (25)1.25945 (25)0.523557 (25)0.889142 (25)0.483557 (25)0.821866 (25)0.555465 (25)
tcp/tcp_students_91_it_2.wcnf2.00656 (3024)0.885174 (3024)15.1225 (3024)2.18035 (3024)0.759459 (3024)1.09362 (3024)0.518726 (3024)8.61974 (3024)6.71958 (3024)
tcp/tcp_students_91_it_11.wcnf5.12771 (2766)2.01867 (2766)71.5288 (2766)6.44064 (2766)1.99185 (2766)3.68483 (2766)1.4562 (2766)10.8281 (2766)14.8992 (2766)
tcp/tcp_students_91_it_13.wcnf623.206 (2730)3600.0 (-)3600.0 (-)889.377 (2730)1362.46 (2730)1083.81 (2730)524.853 (2730)262.362 (2730)277.531 (2730)
tcp/tcp_students_98_it_9.wcnf9.72907 (2469)6.05121 (2469)2220.29 (2469)18.1714 (2469)13.8073 (2469)13.1945 (2469)7.88665 (2469)19.2062 (2469)18.7452 (2469)
tcp/tcp_students_98_it_4.wcnf13.3526 (2691)4.0909 (2691)655.372 (2691)11.8083 (2691)7.04451 (2691)6.71659 (2691)3.33309 (2691)16.7223 (2691)12.8415 (2691)
tcp/tcp_students_98_it_3.wcnf264.335 (3024)194.244 (3024)3600.0 (-)246.322 (3024)286.877 (3024)120.353 (3024)165.054 (3024)137.549 (3024)155.044 (3024)
tcp/tcp_students_98_it_13.wcnf131.241 (2319)31.4947 (2319)3600.0 (-)284.909 (2319)62.4884 (2319)244.038 (2319)32.8702 (2319)45.4101 (2319)80.7964 (2319)
tcp/tcp_students_98_it_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1561.53 (2694)3600.0 (-)509.771 (2694)
tcp/tcp_students_105_it_7.wcnf1480.82 (3024)130.767 (3024)3600.0 (-)91.537 (3024)65.8029 (3024)94.3375 (3024)40.1228 (3024)57.4765 (3024)68.5607 (3024)
tcp/tcp_students_105_it_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1123.02 (2994)3600.0 (-)662.668 (2994)1862.0 (2994)1417.6 (2994)1521.46 (2994)
tcp/tcp_students_112_it_5.wcnf1519.0 (3366)1516.52 (3366)3600.0 (-)537.222 (3366)3600.0 (-)473.569 (3366)637.86 (3366)353.924 (3366)457.276 (3366)
tcp/tcp_students_112_it_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2583.09 (2955)3600.0 (-)3600.0 (-)3600.0 (-)
tcp/tcp_students_112_it_13.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp/tcp_students_112_it_3.wcnf205.427 (2916)87.8566 (2916)3600.0 (-)3600.0 (-)291.741 (2916)885.116 (2916)97.5805 (2916)100.481 (2916)126.256 (2916)
css-refactoring/facebook1.dimacs.wcnf5.01763 (45581)3600.0 (-)66.6916 (45581)27.4901 (45581)3.40598 (45581)11.8919 (45581)3.08575 (45581)18.3699 (45581)24.0237 (45581)
css-refactoring/amazon.dimacs.wcnf48.5154 (113575)27.3577 (113575)3600.0 (-)667.841 (113575)22.0206 (113575)175.37 (113575)105.005 (113575)133.91 (113575)135.897 (113575)
css-refactoring/ebay.dimacs.wcnf19.6325 (123941)12.3064 (123941)3600.0 (-)775.416 (123941)13.1204 (123941)81.5185 (123941)21.1139 (123941)38.6406 (123941)56.7731 (123941)
css-refactoring/dblp.dimacs.wcnf7.19981 (25014)1.75822 (25014)163.203 (25014)22.8691 (25014)1.3931 (25014)5.68273 (25014)1.79124 (25014)13.4167 (25014)18.7662 (25014)
css-refactoring/openstreetmap.dimacs.wcnf4.7589 (65915)1.58302 (65915)103.817 (65915)45.6363 (65915)1.99896 (65915)14.8524 (65915)1.8137 (65915)16.8017 (65915)21.4624 (65915)
css-refactoring/londonist.dimacs.wcnf32.7089 (70703)2.34024 (70703)63.2642 (70703)121.05 (70703)2.35096 (70703)16.3415 (70703)1.41569 (70703)20.5673 (70703)27.8351 (70703)
css-refactoring/github.dimacs.wcnf48.2428 (187405)27.575 (187405)3600.0 (-)1667.55 (187405)39.242 (187405)207.073 (187405)43.222 (187405)73.6095 (187405)169.887 (187405)
css-refactoring/wikipedia.dimacs.wcnf1.60517 (42676)0.220679 (42676)1.62431 (42676)8.5515 (42676)0.298438 (42676)1.08608 (42676)0.243567 (42676)0.470743 (42676)0.619896 (42676)
css-refactoring/youtube.dimacs.wcnf53.4863 (227167)42.226 (227167)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
css-refactoring/guardian.dimacs.wcnf30.9528 (160777)14.5344 (160777)3600.0 (-)3600.0 (-)21.2492 (160777)142.003 (160777)30.7164 (160777)73.0519 (160777)98.2862 (160777)
haplotyping-pedigrees/ped3.F.recomb10-0.01-4.wcnf3600.0 (-)2.4239 (5483)13.3154 (5483)2.74841 (5483)0.842034 (5483)10.978 (5483)0.510134 (5483)6.78619 (5483)6.52666 (5483)
haplotyping-pedigrees/ped3.G.recomb10-0.01-3.wcnf10.5218 (15414)4.37492 (15414)40.3738 (15414)20.7314 (15414)1.66474 (15414)307.006 (15414)1.52267 (15414)27.0204 (15414)74.7185 (15414)
haplotyping-pedigrees/ped3.D.recomb10-0.20-15.wcnf8.13278 (689)9.32162 (689)87.6491 (689)16.6551 (689)2.8034 (689)2.64129 (689)2.00679 (689)4.81938 (689)20.0598 (689)
haplotyping-pedigrees/ped3.G.recomb10-0.01-1.wcnf11.7554 (15748)5.35173 (15748)58.6148 (15748)15.0282 (15748)1.96993 (15748)540.562 (15748)2.42501 (15748)29.154 (15748)106.636 (15748)
haplotyping-pedigrees/ped3.F.recomb10-0.20-15.wcnf9.11583 (4123)3.51766 (4123)50.8907 (4123)5.63271 (4123)1.24561 (4123)21.2839 (4123)1.04799 (4123)36.2773 (4123)23.0115 (4123)
haplotyping-pedigrees/ped3.E.recomb10-0.20-13.wcnf10.5532 (8559)4.7304 (8559)61.4662 (8559)8.57071 (8559)1.96245 (8559)52.5664 (8559)2.13869 (8559)53.6291 (8559)43.0297 (8559)
haplotyping-pedigrees/ped3.G.recomb10-0.20-12.wcnf22.0667 (13027)201.079 (13027)3600.0 (-)75.4965 (13027)6.25698 (13027)1827.92 (13027)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees/ped3.G.recomb10-0.10-9.wcnf17.8953 (15407)9.11453 (15407)159.991 (15407)28.4394 (15407)3.36255 (15407)946.026 (15407)1.94479 (15407)37.8804 (15407)164.964 (15407)
haplotyping-pedigrees/ped2.G.recomb1-0.01-2.wcnf19.5712 (4686)6.42902 (4686)38.3494 (4686)15.8144 (4686)1.90912 (4686)35.9638 (4686)1.60144 (4686)33.2055 (4686)79.0538 (4686)
haplotyping-pedigrees/ped3.G.recomb10-0.20-11.wcnf31.6173 (15072)32.9863 (15072)3600.0 (-)210.477 (15072)32.9595 (15072)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees/ped2.G.recomb5-0.01-3.wcnf38.0544 (31442)17.6607 (31442)63.1226 (31442)37.4718 (31442)6.8016 (31442)272.449 (31442)2.75423 (31442)40.283 (31442)44.235 (31442)
haplotyping-pedigrees/ped3.G.recomb10-0.20-14.wcnf21.3091 (11990)11.3813 (11990)345.881 (11990)24.81 (11990)4.22612 (11990)1188.31 (11990)115.029 (11990)3600.0 (-)121.762 (11990)
haplotyping-pedigrees/ped2.G.recomb10-0.01-4.wcnf53.7331 (58784)27.9786 (58784)397.723 (58784)46.4944 (58784)11.5753 (58784)1747.88 (58784)6.65604 (58784)31.3594 (58784)191.661 (58784)
haplotyping-pedigrees/ped2.G.recomb1-0.01-5.wcnf20.2763 (3521)6.60306 (3521)23.1842 (3521)13.1106 (3521)1.6808 (3521)23.0796 (3521)1.42638 (3521)16.7774 (3521)49.1347 (3521)
haplotyping-pedigrees/ped2.G.recomb5-0.10-10.wcnf51.111 (25042)25.4641 (25042)126.585 (25042)60.8282 (25042)9.7462 (25042)317.342 (25042)3.59239 (25042)76.6229 (25042)88.4034 (25042)
haplotyping-pedigrees/ped2.G.recomb1-0.10-6.wcnf28.663 (5845)11.0868 (5845)58.331 (5845)11.2692 (5845)3.10338 (5845)41.756 (5845)1.99368 (5845)29.9036 (5845)27.0068 (5845)
haplotyping-pedigrees/ped2.G.recomb10-0.10-10.wcnf70.2236 (57616)39.753 (57616)345.942 (57616)131.451 (57616)16.9428 (57616)3600.0 (-)14.0288 (57616)74.0557 (57616)308.954 (57616)
haplotyping-pedigrees/ped2.G.recomb5-0.20-12.wcnf64.772 (20972)33.9508 (20972)425.174 (20972)113.833 (20972)14.4116 (20972)817.615 (20972)13.7829 (20972)132.63 (20972)414.16 (20972)
haplotyping-pedigrees/ped2.G.recomb10-0.20-15.wcnf103.768 (47725)65.0574 (47725)930.786 (47725)523.122 (47725)29.0724 (47725)3600.0 (-)147.15 (47725)223.159 (47725)1009.43 (47725)
haplotyping-pedigrees/ped2.G.recomb1-0.20-12.wcnf45.7389 (8175)19.5887 (8175)126.756 (8175)44.0908 (8175)6.86425 (8175)169.445 (8175)4.75261 (8175)103.466 (8175)296.339 (8175)
haplotyping-pedigrees/ped2.G.recomb1-0.20-13.wcnf44.625 (6430)18.5428 (6430)165.244 (6430)43.6067 (6430)6.82653 (6430)145.31 (6430)4.68234 (6430)68.3186 (6430)125.488 (6430)
dalculus/f49-DC_TotalLoss.seq-B-2-2-irEDCBA.wcnf0.580383 (14779157155)0.248844 (14779157155)4.27832 (14779157155)3600.0 (-)0.083949 (14779157155)3600.0 (-)0.436422 (14779157155)0.685449 (14779157155)1.63955 (14779157155)
dalculus/f49-DC_TotalLoss.seq-A-2-1-irEDCBA.wcnf0.63539 (14779649425)0.270918 (14779649425)0.530268 (14779649425)3600.0 (-)0.079882 (14779649425)3600.0 (-)0.189445 (14779649425)1.17725 (14779649425)0.624052 (14779649425)
dalculus/f49-DC_TotalLoss.seq-B-2-1-irEDCBA.wcnf0.663645 (14778847207)0.332855 (14778847207)1.09407 (14778847207)3600.0 (-)0.0821531 (14778847207)3600.0 (-)0.324227 (14778847207)0.528604 (14778847207)0.897796 (14778847207)
dalculus/f49-DC_TotalLoss.seq-A-2-2-irEDCBA.wcnf0.569705 (14779658541)0.22956 (14779658541)3.87918 (14779658541)3600.0 (-)0.085467 (14779658541)3600.0 (-)0.167898 (14779658541)0.30706 (14779658541)0.303897 (14779658541)
dalculus/f49-DC_TotalLoss.seq-B-2-combined-irEDCBA.wcnf0.671418 (14778847207)0.365667 (14778847207)3.20815 (14778847207)3600.0 (-)0.090582 (14778847207)3600.0 (-)0.438901 (14778847207)1.99388 (14778847207)0.896032 (14778847207)
dalculus/f49-DC_TotalLoss.seq-B-2-1-irabcde.wcnf0.65156 (14734670602)0.24445 (14734670602)0.476037 (14734670602)3600.0 (-)0.08113 (14734670602)3600.0 (-)0.0774811 (14734670602)0.640492 (14734670602)0.27643 (14734670602)
dalculus/f49-DC_TotalLoss.seq-A-2-1-irabcde.wcnf0.638529 (14750272441)0.25043 (14750272441)0.550543 (14750272441)3600.0 (-)0.0783519 (14750272441)3600.0 (-)0.083613 (14750272441)0.892496 (14750272441)0.315527 (14750272441)
dalculus/f49-DC_TotalLoss.seq-A-2-combined-irabcde.wcnf0.638692 (14735114187)0.221992 (14735114187)1.51363 (14735114187)3600.0 (-)0.083465 (14735114187)3600.0 (-)0.0458359 (14735114187)0.274903 (14735114187)0.157302 (14735114187)
dalculus/f49-DC_TotalLoss.seq-A-3-2-irEDCBA.wcnf0.979346 (87222797189)0.372267 (87222797189)1.17135 (87222797189)12.2221 (87222797189)0.165134 (87222797189)1.18397 (87222797189)0.216381 (87222797189)4.07932 (87222797189)5.77004 (87222797189)
dalculus/f49-DC_TotalLoss.seq-B-2-combined-EDCBAir.wcnf0.929469 (83838199998)0.505457 (83838199998)65.7142 (83838199998)3600.0 (-)0.134254 (83838199998)3600.0 (-)0.192086 (83838199998)0.369289 (83838199998)1.14779 (83838199998)
dalculus/f49-DC_TotalLoss.seq-B-3-1-irEDCBA.wcnf1.0699 (87221947078)0.455198 (87221947078)3.93816 (87221947078)9.90703 (87221947078)0.126928 (87221947078)0.801165 (87221947078)0.347945 (87221947078)4.1498 (87221947078)7.25895 (87221947078)
dalculus/f49-DC_TotalLoss.seq-A-3-1-irEDCBA.wcnf1.15254 (87222787445)0.476542 (87222787445)2.1932 (87222787445)13.2609 (87222787445)0.16046 (87222787445)1.0157 (87222787445)0.294666 (87222787445)4.40103 (87222787445)6.40078 (87222787445)
dalculus/f49-DC_TotalLoss.seq-B-3-1-EDCBAir.wcnf1.05963 (117355113043)0.517528 (117355113043)4.85749 (117355113043)19.6207 (117355113043)0.180943 (117355113043)1.663 (117355113043)0.319008 (117355113043)3.97392 (117355113043)12.0089 (117355113043)
dalculus/f49-DC_TotalLoss.seq-A-3-2-abcdeir.wcnf0.787489 (2109343556)0.388456 (2109343556)0.651586 (2109343556)11.4216 (2109343556)0.178786 (2109343556)1.36104 (2109343556)0.205272 (2109343556)3.58461 (2109343556)6.842 (2109343556)
dalculus/f49-DC_TotalLoss.seq-B-3-2-EDCBAir.wcnf0.839171 (118226619743)0.39314 (118226619743)0.992532 (118226619743)9.26271 (118226619743)0.173088 (118226619743)1.37545 (118226619743)0.225102 (118226619743)4.17378 (118226619743)6.78155 (118226619743)
dalculus/f49-DC_TotalLoss.seq-A-3-combined-EDCBAir.wcnf1.24914 (119565855313)0.565335 (119565855313)4.0541 (119565855313)16.8013 (119565855313)0.219285 (119565855313)1.74005 (119565855313)0.260683 (119565855313)4.26374 (119565855313)10.1952 (119565855313)
dalculus/f49-DC_TotalLoss.seq-B-3-combined-irEDCBA.wcnf1.26637 (87221947078)0.683516 (87221947078)2.97992 (87221947078)14.9595 (87221947078)0.220308 (87221947078)1.67101 (87221947078)0.539178 (87221947078)4.60568 (87221947078)7.33436 (87221947078)
dalculus/f49-DC_TotalLoss.seq-A-3-combined-abcdeir.wcnf1.01358 (2109343556)0.465749 (2109343556)0.801991 (2109343556)9.73752 (2109343556)0.211009 (2109343556)0.917235 (2109343556)0.188631 (2109343556)3.86925 (2109343556)7.35146 (2109343556)
hs-timetabling/ItalyInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/FinlandArtificialSchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance1.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance7.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance5.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/FinlandSecondarySchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance6.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/ItalyInstance1.xml.wcnf1052.7 (12)7.32708 (12)3600.0 (-)866.053 (12)974.505 (12)1982.62 (12)762.674 (12)30.9716 (12)79.2226 (12)
hs-timetabling/BrazilInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance2.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/FinlandHighSchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap91.wcsp.wcnf2.93671 (7966472)3600.0 (-)0.141515 (7966472)2914.83 (7966472)3600.0 (-)1956.08 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap92.wcsp.wcnf4.97104 (8547029)3600.0 (-)0.142319 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap131.wcsp.wcnf52.9906 (7934385)3600.0 (-)0.832974 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap132.wcsp.wcnf302.306 (8514942)3600.0 (-)0.823511 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap71.wcsp.wcnf1.00775 (9326144)3600.0 (-)0.0573029 (9326144)54.7777 (9326144)3600.0 (-)47.064 (9326144)3041.74 (9326144)3600.0 (-)3600.0 (-)
warehouses/cap72.wcsp.wcnf1.15643 (9777981)3600.0 (-)0.0593161 (9777981)94.3313 (9777981)3600.0 (-)98.8215 (9777981)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen/geffe128_7.wcnf343.627 (800)201.815 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)112.359 (800)3600.0 (-)129.295 (800)
drmx-cryptogen/threshold128_7.wcnf159.945 (800)81.0554 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)97.2219 (800)1118.2 (800)103.358 (800)
drmx-cryptogen/wolfram72_2.wcnf227.986 (9288)17.2482 (9288)11.0454 (9288)3600.0 (-)3600.0 (-)3600.0 (-)213.356 (9288)3600.0 (-)186.133 (9288)
drmx-cryptogen/wolfram72_8.wcnf230.965 (9288)8.87933 (9288)24.2167 (9288)3600.0 (-)3600.0 (-)3600.0 (-)88.274 (9288)3600.0 (-)106.761 (9288)
drmx-cryptogen/wolfram72_0.wcnf216.245 (9288)7.3115 (9288)4.84146 (9288)3600.0 (-)3600.0 (-)3600.0 (-)49.34 (9288)3600.0 (-)159.337 (9288)
drmx-cryptogen/wolfram72_9.wcnf233.036 (9288)6.76745 (9288)1.35215 (9288)3600.0 (-)3600.0 (-)3600.0 (-)103.592 (9288)3600.0 (-)96.1588 (9288)
drmx-cryptogen/wolfram72_4.wcnf212.753 (9288)8.83854 (9288)2.967 (9288)3600.0 (-)3600.0 (-)3600.0 (-)62.0592 (9288)3600.0 (-)126.466 (9288)
drmx-cryptogen/wolfram72_1.wcnf217.685 (9288)10.9562 (9288)6.0689 (9288)3600.0 (-)3600.0 (-)3600.0 (-)52.0824 (9288)3600.0 (-)138.162 (9288)
drmx-cryptogen/wolfram80_2.wcnf344.588 (11440)20.515 (11440)9.63571 (11440)3600.0 (-)3600.0 (-)3600.0 (-)1132.66 (11440)3600.0 (-)536.807 (11440)
lisbon-wedding/lisbon-wedding-8-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-9-17.wcnf1873.66 (394)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)130.214 (394)3600.0 (-)
lisbon-wedding/lisbon-wedding-10-17.wcnf298.912 (377)925.331 (377)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2096.5 (377)58.6031 (377)2674.78 (377)
lisbon-wedding/lisbon-wedding-2-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-1-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-8-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-6-18.wcnf3600.0 (-)278.898 (803)3600.0 (-)3600.0 (-)964.269 (803)3600.0 (-)2508.99 (803)27.562 (803)215.329 (803)
lisbon-wedding/lisbon-wedding-3-17.wcnf68.5502 (1035)17.2423 (1035)3600.0 (-)3600.0 (-)66.5302 (1035)3600.0 (-)318.331 (1035)50.6532 (1035)177.702 (1035)
lisbon-wedding/lisbon-wedding-7-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-5-18.wcnf19.2143 (803)326.376 (803)3600.0 (-)3600.0 (-)547.243 (803)3600.0 (-)107.103 (803)22.8057 (803)130.588 (803)
lisbon-wedding/lisbon-wedding-6-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)948.492 (805)
lisbon-wedding/lisbon-wedding-3-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-2-18.wcnf182.024 (1137)94.827 (1137)3600.0 (-)3600.0 (-)145.109 (1137)3600.0 (-)3600.0 (-)187.456 (1137)1874.94 (1137)
lisbon-wedding/lisbon-wedding-9-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-5-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3278.43 (805)3600.0 (-)998.724 (805)
lisbon-wedding/lisbon-wedding-1-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-7-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-4-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb40-19-5.wcnf110.932 (720)257.497 (720)90.9863 (720)310.705 (720)3600.0 (-)765.576 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb40-19-1.wcnf4.68371 (720)41.765 (720)15.418 (720)63.7351 (720)3600.0 (-)38.5862 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-5.wcnf18.1979 (560)2.44306 (560)6.40144 (560)74.7275 (560)3600.0 (-)163.459 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-1.wcnf3.10665 (560)7.26819 (560)4.85188 (560)14.1469 (560)3600.0 (-)35.0572 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-4.wcnf7.72472 (560)0.747856 (560)4.34153 (560)40.2156 (560)3600.0 (-)85.4831 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb40-19-4.wcnf620.51 (720)496.015 (720)287.348 (720)148.003 (720)3600.0 (-)283.77 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-2.wcnf151.664 (560)29.4869 (560)78.8596 (560)52.0806 (560)3600.0 (-)104.458 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb40-19-2.wcnf15.7334 (720)25.7708 (720)41.273 (720)167.306 (720)3600.0 (-)120.399 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb30-15-2.wcnf1.30669 (420)0.936411 (420)0.855605 (420)16.3129 (420)3600.0 (-)11.4573 (420)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb40-19-3.wcnf179.153 (720)153.369 (720)3600.0 (-)263.6 (720)3600.0 (-)1213.42 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-3.wcnf9.34454 (560)9.56464 (560)113.536 (560)14.7542 (560)3600.0 (-)13.8166 (560)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/bf2030fvcons.wcnf257.361 (3271)300.226 (3271)332.118 (3271)223.186 (3271)207.359 (3271)419.042 (3271)1373.99 (3271)2859.67 (3271)1577.42 (3271)
railway-transport/f2030.wcnf943.33 (4195)3393.88 (4195)3600.0 (-)677.926 (4195)3600.0 (-)241.847 (4195)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/bf2030fvslack.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/wg2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/r11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-mod008.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-mod010.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-p0201.opb.msat.wcnf13.7944 (1523)46.4066 (1523)253.186 (1523)4.18082 (1523)272.022 (1523)497.526 (1523)219.472 (1523)193.983 (1523)115.058 (1523)
pseudoBoolean/normalized-mps-v2-20-10-p0548.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-lseu.opb.msat.wcnf89.7892 (1120)33.129 (1120)758.916 (1120)88.0512 (1120)159.696 (1120)31.9108 (1120)76.2609 (1120)100.281 (1120)108.48 (1120)
pseudoBoolean/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-factor-size=9-P=7-Q=31.opb.wcnf0.067418 (1)0.011255 (1)0.0113841 (1)3600.0 (-)0.0107679 (1)0.011774 (1)0.012069 (1)0.0198721 (1)0.011092 (1)
spot5/507.wcsp.dir.wcnf0.247787 (27390)0.127987 (27390)20.0626 (27390)0.491119 (27390)0.0988531 (27390)0.617758 (27390)0.20473 (27390)5.66045 (27390)4.69721 (27390)
spot5/28.wcsp.dir.wcnf882.873 (270105)2077.23 (270105)272.894 (270105)32.7488 (270105)3600.0 (-)4.56414 (270105)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/5.wcsp.dir.wcnf3600.0 (-)2510.14 (261)3600.0 (-)5.62723 (261)3600.0 (-)6.38872 (261)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1401.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)85.2304 (459106)3600.0 (-)1278.47 (459106)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1403.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)113.228 (459246)3600.0 (-)2426.64 (459246)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1407.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)209.714 (459570)3600.0 (-)2175.58 (459570)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/505.wcsp.log.wcnf0.390636 (21253)0.054253 (21253)3600.0 (-)0.306997 (21253)0.054601 (21253)0.394382 (21253)1.61962 (21253)3.05417 (21253)4.40511 (21253)
spot5/28.wcsp.log.wcnf3600.0 (-)2285.48 (270105)3600.0 (-)105.513 (270105)3600.0 (-)40.487 (270105)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1504.wcsp.log.wcnf5.99371 (161287)1.13707 (161287)3600.0 (-)7.80316 (161287)17.2074 (161287)3.09472 (161287)47.7195 (161287)22.2517 (161287)212.221 (161287)
spot5/507.wcsp.log.wcnf0.406663 (27390)0.131646 (27390)3600.0 (-)0.877749 (27390)0.14564 (27390)0.850332 (27390)655.862 (27390)5.29914 (27390)5.75967 (27390)
spot5/1401.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)871.062 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/509.wcsp.log.wcnf1.08747 (36446)0.180619 (36446)2914.9 (36446)1.49675 (36446)0.224579 (36446)1.25927 (36446)12.1264 (36446)10.5703 (36446)15.4827 (36446)
spot5/5.wcsp.log.wcnf3600.0 (-)2369.77 (261)3600.0 (-)112.294 (261)3600.0 (-)90.9072 (261)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1506.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)116.429 (354517)3600.0 (-)1195.93 (354517)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1403.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1064.15 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1407.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1191.36 (459570)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1405.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1599.89 (459415)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSG/CSGNaive150-150-55.wcnf77.6545 (30495)18.5893 (30495)16.9229 (30495)98.4163 (30495)50.4476 (30495)33.7899 (30495)704.314 (30495)175.206 (30495)1404.32 (30495)
CSG/CSG150-150-55.wcnf70.1294 (27533)16.8797 (27533)17.8927 (27533)82.3059 (27533)52.6169 (27533)28.1851 (27533)146.604 (27533)180.172 (27533)295.041 (27533)
CSG/CSG140-140-46.wcnf13.6615 (16960)6.33795 (16960)9.95715 (16960)2.74704 (16960)4.60867 (16960)1.95644 (16960)0.626547 (16960)3.96572 (16960)0.667228 (16960)
CSG/CSGNaive140-140-6.wcnf238.386 (56309)44.1129 (56309)21.5995 (56309)126.063 (56309)205.686 (56309)76.3509 (56309)3600.0 (-)3600.0 (-)3600.0 (-)
CSG/CSG140-140-6.wcnf123.406 (52385)46.7539 (52385)21.4599 (52385)108.565 (52385)174.617 (52385)58.5363 (52385)2164.03 (52385)3600.0 (-)3600.0 (-)
CSG/CSGNaive140-140-0.wcnf13.7589 (18185)6.41121 (18185)9.91431 (18185)1.2435 (18185)4.66126 (18185)0.989043 (18185)7.08459 (18185)3.82886 (18185)62.1834 (18185)
maxcut/p_hat300-1.clq.wcnf144.446 (243)469.306 (243)3.30472 (243)168.185 (243)438.312 (243)861.988 (243)357.695 (243)395.389 (243)601.564 (243)
maxcut/san1000.clq.wcnf3600.0 (-)3600.0 (-)39.2388 (744)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock800_3.clq.wcnf3600.0 (-)3600.0 (-)523.286 (1079)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock800_1.clq.wcnf3600.0 (-)3600.0 (-)3527.22 (1071)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san200_0.7_1.clq.wcnf3600.0 (-)3600.0 (-)1603.68 (1256)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/sanr200_0.7.clq.wcnf3600.0 (-)3600.0 (-)634.342 (1171)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock400_3.clq.wcnf3600.0 (-)3600.0 (-)1188.86 (1259)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san200_0.9_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat300-3.clq.wcnf3600.0 (-)3600.0 (-)2131.19 (1439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/johnson32-2-4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/johnson8-4-4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/MANN_a27.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/hamming8-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/MANN_a81.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
metro/metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.wcnf31.9988 (52)4.10283 (52)84.841 (52)18.3738 (52)5.51668 (52)19.3646 (52)24.1296 (52)12.997 (52)61.1893 (52)
metro/metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.wcnf536.147 (110)118.043 (110)647.815 (110)242.92 (110)125.742 (110)261.921 (110)633.281 (110)111.259 (110)687.871 (110)
metro/metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf1885.1 (138)443.082 (138)3600.0 (-)725.994 (138)919.009 (138)801.243 (138)2508.19 (138)448.642 (138)3175.07 (138)
metro/inst13.lp.sm-extracted.wcnf8.23149 (85)2.00179 (85)3.8548 (85)4.06015 (85)1.37479 (85)5.20545 (85)6.43318 (85)10.2003 (85)28.4373 (85)
metro/metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf75.6563 (89)7.06068 (89)81.5016 (89)83.0025 (89)9.91807 (89)25.7948 (89)33.7625 (89)13.6675 (89)75.8225 (89)
metro/metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.wcnf13.6786 (44)1.75068 (44)18.3084 (44)6.88874 (44)1.79551 (44)5.0478 (44)5.66223 (44)8.9242 (44)34.3066 (44)
metro/metro_8_8_5_20_10_6_500_1_2.lp.sm-extracted.wcnf332.256 (91)14.4807 (91)355.401 (91)39.8521 (91)86.8785 (91)23.7738 (91)146.947 (91)32.3654 (91)340.862 (91)
metro/metro_9_8_7_22_10_6_500_1_7.lp.sm-extracted.wcnf30.5235 (42)4.77372 (42)40.5452 (42)23.8776 (42)4.96144 (42)20.8541 (42)17.0885 (42)11.7332 (42)46.1175 (42)
metro/metro_9_8_7_30_10_6_500_1_9.lp.sm-extracted.wcnf124.783 (52)18.7028 (52)73.286 (52)65.3011 (52)15.6877 (52)85.4117 (52)107.162 (52)27.5305 (52)191.486 (52)
metro/metro_9_8_7_22_10_6_500_1_4.lp.sm-extracted.wcnf13.3249 (64)2.25485 (64)14.0588 (64)11.2058 (64)1.39704 (64)9.96898 (64)10.281 (64)11.5134 (64)51.3981 (64)
metro/metro_9_8_7_30_10_6_500_1_0.lp.sm-extracted.wcnf47.4512 (41)4.65419 (41)44.7152 (41)28.4727 (41)5.84217 (41)26.8537 (41)28.7711 (41)13.6677 (41)70.4289 (41)
metro/metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.wcnf147.786 (47)26.1525 (47)134.769 (47)62.4079 (47)20.9126 (47)79.3027 (47)147.068 (47)37.6281 (47)313.929 (47)
metro/metro_9_9_10_35_13_7_500_2_7.lp.sm-extracted.wcnf227.53 (37)30.5628 (37)400.508 (37)124.862 (37)37.4029 (37)120.519 (37)214.405 (37)60.0109 (37)243.309 (37)
metro/metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.wcnf176.77 (47)17.6317 (47)353.72 (47)71.2451 (47)25.9081 (47)111.457 (47)84.8466 (47)26.0016 (47)136.246 (47)
metro/metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.wcnf63.993 (35)7.38304 (35)40.5552 (35)49.4369 (35)8.13136 (35)44.7972 (35)70.7022 (35)23.0896 (35)138.148 (35)
metro/metro_9_8_7_30_10_6_500_1_6.lp.sm-extracted.wcnf70.7763 (31)4.97804 (31)38.7731 (31)29.2119 (31)6.00177 (31)34.0811 (31)35.6678 (31)17.6001 (31)90.5418 (31)
metro/metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf26.1051 (15)2.74974 (15)11.9218 (15)14.9472 (15)1.83466 (15)18.3577 (15)16.4534 (15)18.8048 (15)91.3114 (15)
metro/metro_9_9_10_35_13_7_500_2_2.lp.sm-extracted.wcnf65.185 (32)4.9171 (32)65.0584 (32)37.4599 (32)7.27155 (32)29.7768 (32)59.794 (32)26.0816 (32)149.092 (32)
metro/metro_9_9_10_35_13_7_500_2_9.lp.sm-extracted.wcnf43.3354 (26)4.27375 (26)23.1225 (26)18.215 (26)2.54929 (26)13.5733 (26)15.1877 (26)15.181 (26)115.932 (26)
metro/inst22.lp.sm-extracted.wcnf33.7676 (180)7.38888 (180)21.9095 (180)11.0198 (180)5.78692 (180)8.40041 (180)29.7121 (180)19.7579 (180)95.9624 (180)
set-covering/scp410_weighted.wcnf1.71245 (514)1.55164 (514)0.256174 (514)3600.0 (-)0.203176 (514)3600.0 (-)3600.0 (-)5.60015 (514)3600.0 (-)
set-covering/scp45_weighted.wcnf1.34165 (512)0.288348 (512)0.29002 (512)3600.0 (-)0.465666 (512)3600.0 (-)0.934884 (512)6.63314 (512)28.8963 (512)
set-covering/scp42_weighted.wcnf3.06994 (512)6.96668 (512)0.287097 (512)3600.0 (-)343.795 (512)3600.0 (-)898.21 (512)31.3976 (512)3600.0 (-)
set-covering/scp43_weighted.wcnf1.90899 (516)0.814519 (516)0.277399 (516)3600.0 (-)3385.58 (516)3600.0 (-)3011.61 (516)9.98598 (516)3600.0 (-)
set-covering/scp41_weighted.wcnf1.14325 (429)0.444267 (429)0.286998 (429)3600.0 (-)0.357366 (429)3600.0 (-)18.0788 (429)5.601 (429)51.9321 (429)
set-covering/scp44_weighted.wcnf2.56433 (494)2.99676 (494)0.275888 (494)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)13.5396 (494)3600.0 (-)
set-covering/scp55_weighted.wcnf2.98058 (211)4.18062 (211)1.00029 (211)3600.0 (-)0.434342 (211)3600.0 (-)3.41635 (211)3.05418 (211)76.5354 (211)
set-covering/scp58_weighted.wcnf235.346 (288)3600.0 (-)1.12138 (288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)796.059 (288)3600.0 (-)
set-covering/scp54_weighted.wcnf19.4607 (242)3600.0 (-)1.04564 (242)3600.0 (-)3.39072 (242)3600.0 (-)4.46743 (242)6.70587 (242)86.6658 (242)
set-covering/scp510_weighted.wcnf5.0134 (265)1.76153 (265)1.07061 (265)3600.0 (-)11.3917 (265)3600.0 (-)63.1564 (265)7.1261 (265)253.178 (265)
set-covering/scp57_weighted.wcnf39.8803 (293)48.0694 (293)1.06901 (293)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)31.2238 (293)3600.0 (-)
set-covering/scp52_weighted.wcnf148.993 (302)3600.0 (-)1.23306 (302)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1119.38 (302)3600.0 (-)
set-covering/scp63_weighted.wcnf751.238 (145)3600.0 (-)0.912944 (145)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1284.72 (145)3600.0 (-)
set-covering/scp62_weighted.wcnf359.117 (146)3600.0 (-)1.18135 (146)3600.0 (-)2034.84 (146)3600.0 (-)3600.0 (-)321.281 (146)3600.0 (-)
set-covering/scp61_weighted.wcnf252.152 (138)100.477 (138)1.3008 (138)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1592.52 (138)3600.0 (-)
set-covering/scpnre5_weighted.wcnf3600.0 (-)3600.0 (-)94.9524 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpnrh5_weighted.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_2.wcnf22.1982 (2247208255)14.7954 (2247208255)1.10947 (2247208255)2.90976 (2247208255)17.6994 (2247208255)4.97484 (2247208255)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_4.wcnf30.0006 (231945792)0.96352 (231945792)0.599632 (231945792)1.74011 (231945792)2.84 (231945792)1.94647 (231945792)86.5497 (231945792)62.9841 (231945792)168.184 (231945792)
BTBNSL/Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_4.wcnf3600.0 (-)34.5441 (2247205740)1.72695 (2247205740)7.45876 (2247205740)107.082 (2247205740)11.355 (2247205740)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Hepatitis.BIC_TWBound2.wcnf1771.84 (132258419)3600.0 (-)402.316 (132258419)123.448 (132258419)3600.0 (-)151.674 (132258419)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf3600.0 (-)3600.0 (-)555.658 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Heart.BIC_TWBound_3.wcnf3600.0 (-)3600.0 (-)106.413 (239742296)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_4.wcnf3600.0 (-)3600.0 (-)665.536 (35115129348)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_4.wcnf71.6437 (168622588)43.3689 (168622588)55.8141 (168622588)40.7404 (168622588)901.739 (168622588)34.8971 (168622588)189.283 (168622588)3600.0 (-)174.223 (168622588)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf3600.0 (-)3600.0 (-)687.901 (1389279780)2195.6 (1389279780)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_3.wcnf3600.0 (-)1315.14 (1326306453)221.05 (1326306453)400.409 (1326306453)3600.0 (-)488.149 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)873.744 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_2.wcnf3600.0 (-)477.961 (1326306453)240.576 (1326306453)420.895 (1326306453)3600.0 (-)362.176 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_4.wcnf11.9347 (601946991)12.701 (601946991)20.4848 (601946991)22.8505 (601946991)15.27 (601946991)18.1959 (601946991)124.266 (601946991)239.282 (601946991)93.9183 (601946991)
drmx-atmostk/drmx-am20-outof-50-ekmtot-w.wcnf9.73727 (30)8.23625 (30)699.234 (30)0.0910279 (30)177.388 (30)0.0966269 (30)95.0483 (30)77.1728 (30)104.861 (30)
drmx-atmostk/drmx-am12-outof-40-ecardn-w.wcnf3.57675 (28)2.06652 (28)153.085 (28)0.418029 (28)5.61201 (28)0.396007 (28)3129.09 (28)62.9404 (28)3600.0 (-)
drmx-atmostk/drmx-am12-outof-40-etot-w.wcnf0.813528 (28)1.25172 (28)18.5485 (28)0.0162771 (28)1.0814 (28)0.0206789 (28)56.1425 (28)19.3361 (28)70.5864 (28)
drmx-atmostk/drmx-am32-outof-70-emtot-w.wcnf35.2216 (38)4.89116 (38)3600.0 (-)0.303721 (38)776.141 (38)0.254404 (38)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am28-outof-60-emtot-w.wcnf17.9758 (32)3.63394 (32)3600.0 (-)0.0839869 (32)149.627 (32)0.0951809 (32)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am16-outof-45-eseqc-w.wcnf0.998143 (29)0.836561 (29)3600.0 (-)0.0696159 (29)6.02667 (29)0.074679 (29)22.6237 (29)39.7556 (29)88.3388 (29)
drmx-atmostk/drmx-am12-outof-40-esortn-w.wcnf4.47495 (28)1.77002 (28)3600.0 (-)0.540985 (28)7.07369 (28)0.358884 (28)94.0378 (28)185.157 (28)199.983 (28)
drmx-atmostk/drmx-am16-outof-45-esortn-w.wcnf2.47485 (29)1.58166 (29)3600.0 (-)0.452523 (29)62.1653 (29)0.564955 (29)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am24-outof-55-etot-w.wcnf19.6835 (31)5.79857 (31)3600.0 (-)0.156666 (31)397.705 (31)0.193527 (31)3600.0 (-)2184.48 (31)1218.69 (31)
drmx-atmostk/drmx-am32-outof-70-ecardn-w.wcnf7.9765 (38)38.2915 (38)3600.0 (-)8.61847 (38)3600.0 (-)12.9693 (38)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am28-outof-60-eseqc-w.wcnf1.70032 (32)1.31983 (32)3600.0 (-)0.284958 (32)63.194 (32)0.221461 (32)195.861 (32)3600.0 (-)381.16 (32)
ramsey/ram_k4_n20.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n11.ra1.wcnf3600.0 (-)33.5341 (318)532.487 (318)34.5219 (318)184.446 (318)48.0447 (318)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n13.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n15.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n19.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n18.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n17.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n14.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n16.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n19.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n18.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n20.ra1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n10.ra1.wcnf603.273 (232)9.41394 (232)142.967 (232)4.50357 (232)15.7395 (232)6.38348 (232)2281.02 (232)137.432 (232)140.731 (232)
ramsey/ram_k3_n12.ra1.wcnf3600.0 (-)188.671 (524)2929.1 (524)1546.61 (524)1821.97 (524)210.367 (524)1879.76 (524)3600.0 (-)3600.0 (-)
staff-scheduling/instance4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2552.2 (1716)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance2.wcnf3600.0 (-)1333.9 (828)3600.0 (-)1780.48 (828)2212.42 (828)1185.65 (828)3410.02 (828)994.378 (828)1483.4 (828)
staff-scheduling/instance6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
upgradeability/mancoosi-test-i20d0u98-6.wcnf2.45884 (1780796)0.375272 (1780796)0.268448 (1780796)23.107 (1780796)0.166304 (1780796)4.69716 (1780796)0.20385 (1780796)0.546818 (1780796)0.280016 (1780796)
upgradeability/mancoosi-test-i40d0u98-11.wcnf2.59158 (1780818)0.350478 (1780818)0.241472 (1780818)24.5088 (1780818)0.158416 (1780818)4.75137 (1780818)0.213752 (1780818)0.540847 (1780818)0.293694 (1780818)
upgradeability/mancoosi-test-i20d0u98-19.wcnf2.41709 (1780793)0.349029 (1780793)0.245696 (1780793)22.4416 (1780793)0.150358 (1780793)5.66545 (1780793)0.195173 (1780793)0.561989 (1780793)0.266968 (1780793)
upgradeability/mancoosi-test-i30d0u98-15.wcnf2.62101 (1780815)0.418494 (1780815)0.277213 (1780815)23.081 (1780815)0.17901 (1780815)5.23055 (1780815)0.217317 (1780815)0.465937 (1780815)0.305309 (1780815)
upgradeability/mancoosi-test-i10d0u98-9.wcnf2.25104 (1780767)0.351359 (1780767)0.249477 (1780767)22.724 (1780767)0.13121 (1780767)4.85182 (1780767)0.166868 (1780767)0.467611 (1780767)0.225973 (1780767)
upgradeability/mancoosi-test-i30d0u98-16.wcnf2.41555 (1780789)0.350648 (1780789)0.246487 (1780789)22.2025 (1780789)0.145096 (1780789)4.33211 (1780789)0.191499 (1780789)0.460618 (1780789)0.257824 (1780789)
upgradeability/mancoosi-test-i1000d0u98-19.wcnf6.00484 (92049939)0.418619 (92049939)2.25496 (92049939)34.3222 (92049939)0.575756 (92049939)20.7381 (92049939)1.02852 (92049939)0.643723 (92049939)1.49698 (92049939)
upgradeability/mancoosi-test-i2000d0u98-38.wcnf6.07994 (332620777)0.429644 (332620777)2.26765 (332620777)86.376 (332620777)0.562055 (332620777)68.8093 (332620777)1.13155 (332620777)0.665644 (332620777)1.65762 (332620777)
upgradeability/mancoosi-test-i4000d0u98-96.wcnf5.80411 (828461902)0.443266 (828461902)2.21191 (828461902)3600.0 (-)0.599661 (828461902)3600.0 (-)1.33095 (828461902)0.707777 (828461902)1.99221 (828461902)
upgradeability/rand752_l1.wcnf2.35229 (322481)1.10342 (322481)1.64878 (322481)287.372 (322481)0.761612 (322481)441.652 (322481)153.782 (322481)17.4357 (322481)26.5528 (322481)
upgradeability/eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf2.86065 (3795246)0.438072 (3795246)0.15643 (3795246)140.254 (3795246)0.384565 (3795246)39.0881 (3795246)0.5363 (3795246)0.227773 (3795246)0.651977 (3795246)
upgradeability/deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf6.16914 (4569599)1.16851 (4569599)0.177299 (4569599)672.457 (4569599)0.978763 (4569599)155.718 (4569599)1.1977 (4569599)0.379338 (4569599)1.50745 (4569599)
upgradeability/rand507_l2.wcnf8.56749 (2005769)2.90897 (2005769)0.859485 (2005769)3600.0 (-)1.98019 (2005769)3600.0 (-)2.05295 (2005769)0.905344 (2005769)2.56094 (2005769)
upgradeability/rand196_l2.wcnf18.7141 (2285302)7.37447 (2285302)4.08633 (2285302)3600.0 (-)4.98179 (2285302)3600.0 (-)4.13557 (2285302)2.14625 (2285302)23.1302 (2285302)
auctions/cat_paths_60_120_0007.txt.wcnf1.14483 (73799)0.714739 (73799)0.033364 (73799)42.9984 (73799)3.50702 (73799)13.7971 (73799)6.04871 (73799)13.6627 (73799)14.8679 (73799)
auctions/cat_paths_60_130_0007.txt.wcnf0.402822 (73518)0.272202 (73518)0.0524541 (73518)65.5595 (73518)0.70413 (73518)1.36903 (73518)1.54711 (73518)6.15558 (73518)7.84688 (73518)
auctions/cat_paths_60_140_0000.txt.wcnf7.50282 (98394)0.0319079 (98394)0.0430319 (98394)21.7491 (98394)0.077994 (98394)9.75309 (98394)0.563795 (98394)4.50617 (98394)4.18373 (98394)
auctions/cat_paths_60_140_0005.txt.wcnf233.634 (102646)1.10833 (102646)0.0633971 (102646)323.223 (102646)2.67021 (102646)5.17342 (102646)3.36671 (102646)11.1266 (102646)11.5726 (102646)
auctions/cat_paths_60_160_0000.txt.wcnf1.565 (104199)16.2984 (104199)0.0856511 (104199)1913.13 (104199)9.17373 (104199)26.8641 (104199)7.63286 (104199)14.6502 (104199)17.7856 (104199)
auctions/cat_paths_60_160_0006.txt.wcnf9.76022 (95039)375.743 (95039)0.237857 (95039)3600.0 (-)39.4834 (95039)42.708 (95039)92.9403 (95039)106.935 (95039)210.648 (95039)
auctions/cat_paths_60_160_0003.txt.wcnf9.15766 (107262)0.358776 (107262)0.0602089 (107262)3600.0 (-)4.41644 (107262)24.8203 (107262)3.9062 (107262)6.51913 (107262)6.52015 (107262)
auctions/cat_paths_60_170_0000.txt.wcnf3600.0 (-)2.76014 (122170)0.163347 (122170)3600.0 (-)18.0598 (122170)13.0859 (122170)19.1724 (122170)20.8783 (122170)26.0906 (122170)
auctions/cat_paths_60_170_0004.txt.wcnf3600.0 (-)3.38235 (99105)0.101204 (99105)3600.0 (-)37.7324 (99105)528.36 (99105)386.576 (99105)269.501 (99105)408.852 (99105)
auctions/cat_reg_60_110_0003.txt.wcnf18.3761 (108219)0.652666 (108219)0.175913 (108219)0.815871 (108219)0.772647 (108219)0.596879 (108219)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_160_0001.txt.wcnf334.532 (97991)21.678 (97991)0.257138 (97991)14.7269 (97991)60.0777 (97991)6.56096 (97991)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_150_0003.txt.wcnf89.3333 (120461)1.72007 (120461)0.194672 (120461)2.04438 (120461)2.91964 (120461)1.95576 (120461)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_170_0005.txt.wcnf266.022 (116188)3.82674 (116188)0.31106 (116188)3.4694 (116188)4.05329 (116188)3.35693 (116188)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_180_0001.txt.wcnf627.685 (149079)48.0797 (149079)0.442196 (149079)4.02012 (149079)18.6408 (149079)5.34628 (149079)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_190_0003.txt.wcnf3140.0 (161097)78.5733 (161097)0.391544 (161097)8.68044 (161097)49.2866 (161097)5.89217 (161097)3600.0 (-)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_220_0004.txt.wcnf3600.0 (-)2127.75 (141447)0.722053 (141447)15.028 (141447)789.99 (141447)16.3284 (141447)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_40_2.wcnf918.763 (97)973.094 (97)3063.05 (97)1006.41 (97)2970.09 (97)207.464 (97)2076.23 (97)1229.0 (97)1194.62 (97)
af-synthesis/af-synthesis_stb_50_40_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1102.82 (132)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_100_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1308.05 (123)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_60_3.wcnf1588.37 (115)3160.11 (115)3600.0 (-)1062.71 (115)2325.47 (115)295.772 (115)1678.63 (115)1069.51 (115)929.042 (115)
af-synthesis/af-synthesis_stb_50_80_2.wcnf905.369 (105)1330.36 (105)323.72 (105)396.193 (105)1139.9 (105)166.689 (105)589.246 (105)791.194 (105)958.462 (105)
af-synthesis/af-synthesis_stb_50_120_9.wcnf2484.27 (114)3600.0 (-)3600.0 (-)2781.32 (114)3600.0 (-)750.81 (114)2914.34 (114)1934.57 (114)1683.37 (114)
af-synthesis/af-synthesis_stb_50_120_3.wcnf1621.57 (100)1608.36 (100)1463.83 (100)1016.69 (100)3500.61 (100)520.642 (100)2004.37 (100)1307.38 (100)1080.44 (100)
af-synthesis/af-synthesis_stb_50_140_7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2168.87 (109)3600.0 (-)611.663 (109)3600.0 (-)3231.05 (109)2372.31 (109)
af-synthesis/af-synthesis_stb_50_140_5.wcnf970.743 (117)2887.0 (117)3600.0 (-)2455.34 (117)2732.89 (117)571.21 (117)1566.14 (117)1475.93 (117)1350.9 (117)
af-synthesis/af-synthesis_stb_50_200_0.wcnf2026.49 (124)3537.28 (124)3600.0 (-)2001.4 (124)3600.0 (-)309.223 (124)3600.0 (-)3600.0 (-)2968.27 (124)
af-synthesis/af-synthesis_stb_50_180_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2104.21 (130)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_180_2.wcnf2148.98 (115)3600.0 (-)3600.0 (-)1907.63 (115)3600.0 (-)483.539 (115)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_160_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2386.46 (123)3600.0 (-)2490.88 (123)3600.0 (-)3600.0 (-)3600.0 (-)
planning/bwt3c.wcsp.dir.wcnf0.0673919 (400)0.0108759 (400)0.011095 (400)3600.0 (-)0.011153 (400)3600.0 (-)0.0163471 (400)0.023659 (400)0.0224149 (400)
planning/driverlog01bc.wcsp.dir.wcnf0.0660399 (2245)0.011128 (2245)0.0186331 (2245)3600.0 (-)0.010851 (2245)3600.0 (-)0.0128711 (2245)0.0206809 (2245)0.0111349 (2245)
planning/driverlog01c.wcsp.dir.wcnf0.0670711 (1025)0.011138 (1025)0.0173951 (1025)3600.0 (-)0.012225 (1025)3600.0 (-)0.011746 (1025)0.020064 (1025)0.0110151 (1025)
planning/logistics01bc.wcsp.dir.wcnf0.098374 (8035)0.0130281 (8035)0.0288129 (8035)3600.0 (-)0.0109789 (8035)3600.0 (-)0.010652 (8035)0.0360539 (8035)0.013399 (8035)
planning/rovers02cc.wcsp.dir.wcnf0.126613 (1668)0.0270351 (1668)0.0575969 (1668)3600.0 (-)0.0152661 (1668)3600.0 (-)0.0118611 (1668)0.107613 (1668)0.0321259 (1668)
planning/zenotravel02c.wcsp.dir.wcnf0.136692 (2485)0.040026 (2485)0.0736659 (2485)3600.0 (-)0.0149271 (2485)3600.0 (-)0.010982 (2485)0.051328 (2485)0.00993807 (2485)
planning/logistics01cc.wcsp.dir.wcnf0.094733 (4282)0.0127041 (4282)0.0313751 (4282)3600.0 (-)0.010942 (4282)3600.0 (-)0.012057 (4282)0.039735 (4282)0.010731 (4282)
planning/rovers02c.wcsp.dir.wcnf0.12898 (1660)0.025371 (1660)0.040675 (1660)3600.0 (-)0.014116 (1660)3600.0 (-)0.011356 (1660)0.089786 (1660)0.0118289 (1660)
planning/rovers02bc.wcsp.dir.wcnf0.126133 (1660)0.0257939 (1660)0.041296 (1660)3600.0 (-)0.0148751 (1660)3600.0 (-)0.010878 (1660)0.0956221 (1660)0.0128499 (1660)
planning/driverlog02cc.wcsp.dir.wcnf0.399722 (2428)0.121719 (2428)0.217358 (2428)3600.0 (-)0.08142 (2428)3600.0 (-)0.106665 (2428)1.21432 (2428)0.841548 (2428)
planning/bwt4cc.wcsp.dir.wcnf0.144126 (555)0.034679 (555)0.0611719 (555)3600.0 (-)0.0153319 (555)3600.0 (-)0.0228219 (555)0.0977321 (555)0.0230181 (555)
planning/driverlog04bc.wcsp.dir.wcnf0.260446 (1921)0.0788361 (1921)0.141521 (1921)3600.0 (-)0.0528851 (1921)3600.0 (-)0.029494 (1921)0.205169 (1921)0.0782931 (1921)
planning/mprime01c.wcsp.dir.wcnf0.21378 (250)0.0865269 (250)0.149478 (250)3600.0 (-)0.0370319 (250)3600.0 (-)0.010494 (250)0.18705 (250)0.0123239 (250)
planning/zenotravel04c.wcsp.dir.wcnf0.331912 (4270)0.099963 (4270)0.646726 (4270)3600.0 (-)0.0539559 (4270)3600.0 (-)0.0171589 (4270)0.406277 (4270)0.0239239 (4270)
planning/zenotravel04cc.wcsp.dir.wcnf0.310624 (1599)0.104612 (1599)0.404964 (1599)3600.0 (-)0.0608911 (1599)3600.0 (-)0.0479461 (1599)0.41287 (1599)0.0837531 (1599)
planning/zenotravel04bc.wcsp.dir.wcnf0.345757 (4110)0.0997629 (4110)0.611972 (4110)3600.0 (-)0.0532561 (4110)3600.0 (-)0.017456 (4110)0.386189 (4110)0.0224899 (4110)
planning/driverlog05cc.wcsp.dir.wcnf0.8542 (2659)0.243341 (2659)0.996341 (2659)3600.0 (-)0.207018 (2659)3600.0 (-)0.338827 (2659)1.44967 (2659)2.0101 (2659)
planning/bwt5c.wcsp.dir.wcnf0.39287 (800)0.12921 (800)0.201562 (800)3600.0 (-)0.0577061 (800)3600.0 (-)0.017451 (800)0.395038 (800)0.0206441 (800)
planning/driverlog08bc.wcsp.dir.wcnf0.736758 (2282)0.240258 (2282)0.548739 (2282)3600.0 (-)0.154447 (2282)3600.0 (-)0.0849509 (2282)0.750258 (2282)0.401693 (2282)
planning/driverlog08c.wcsp.dir.wcnf0.658854 (2220)0.245234 (2220)0.593039 (2220)3600.0 (-)0.162212 (2220)3600.0 (-)0.057526 (2220)0.817441 (2220)0.384727 (2220)
planning/mprime04cc.wcsp.dir.wcnf0.347024 (931)0.119818 (931)0.185182 (931)3600.0 (-)0.0722921 (931)3600.0 (-)0.0298101 (931)0.233022 (931)0.0359599 (931)
preference_planning/WCNF_pathways_p10.wcnf6.6246 (129)3.54494 (129)14.3322 (129)4.2724 (129)9.70117 (129)3.51583 (129)3.84547 (129)25.0775 (129)24.3593 (129)
preference_planning/WCNF_pathways_p16.wcnf145.028 (257)110.848 (257)437.419 (257)145.765 (257)244.622 (257)122.427 (257)153.834 (257)112.003 (257)149.817 (257)
preference_planning/WCNF_pathways_p06.wcnf8.56335 (64)7.71425 (64)43.0297 (64)3.382 (64)13.3466 (64)3.88218 (64)6.98944 (64)33.6264 (64)20.7459 (64)
preference_planning/WCNF_storage_p07.wcnf3600.0 (-)5.33253 (277)292.792 (277)22.5925 (277)9.14801 (277)6.45349 (277)6.02219 (277)20.5614 (277)22.97 (277)
preference_planning/WCNF_storage_p03.wcnf18.071 (18)6.80621 (18)56.7749 (18)5.87093 (18)9.60815 (18)7.1884 (18)9.27959 (18)22.0663 (18)30.2136 (18)
preference_planning/WCNF_pathways_p17.wcnf185.5 (223)113.121 (223)212.158 (223)50.7977 (223)121.79 (223)31.6907 (223)77.1281 (223)98.1307 (223)74.1935 (223)
shiftdesign/limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf25.3181 (1592498)35.8686 (1592498)206.584 (1592498)14.5006 (1592498)6.25252 (1592498)23.7989 (1592498)42.9617 (1592498)39.2757 (1592498)75.6938 (1592498)
shiftdesign/limits-10-10_data-1_inst-060_60m.sm-extracted.wcnf112.994 (3688454)42.9963 (3688454)419.175 (3688454)29.1339 (3688454)10.1461 (3688454)82.3331 (3688454)84.6942 (3688454)377.048 (3688454)1308.97 (3688454)
shiftdesign/limits-10-10_data-1_inst-112_60m.sm-extracted.wcnf103.309 (1595893)40.5543 (1595893)373.94 (1595893)10.1067 (1595893)10.4145 (1595893)56.5276 (1595893)62.8243 (1595893)350.707 (1595893)910.374 (1595893)
shiftdesign/limits-10-10_data-1_inst-056_60m.sm-extracted.wcnf40.6101 (2072640)47.7916 (2072640)558.051 (2072640)32.3632 (2072640)9.77917 (2072640)117.162 (2072640)91.7292 (2072640)64.0769 (2072640)163.857 (2072640)
shiftdesign/limits-10-10_data-1_inst-182_60m.sm-extracted.wcnf72.9782 (3648536)50.2162 (3648536)2918.17 (3648536)89.6798 (3648536)14.5239 (3648536)179.012 (3648536)87.9229 (3648536)84.8785 (3648536)194.872 (3648536)
shiftdesign/limits-10-10_data-1_inst-102_30m.sm-extracted.wcnf382.231 (16836508)419.126 (16836508)3600.0 (-)328.496 (16836508)444.099 (16836508)2693.4 (16836508)669.11 (16836508)443.535 (16836508)1305.94 (16836508)
shiftdesign/limits-10-10_data-1_inst-071_30m.sm-extracted.wcnf401.999 (15474704)192.564 (15474704)3600.0 (-)108.387 (15474704)412.198 (15474704)719.924 (15474704)259.085 (15474704)329.538 (15474704)2380.85 (15474704)
shiftdesign/limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf1642.1 (9547398)652.428 (9547398)3600.0 (-)486.433 (9547398)3305.14 (9547398)1844.79 (9547398)3600.0 (-)3600.0 (-)3600.0 (-)
shiftdesign/limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf655.641 (30028201)626.689 (30028201)3600.0 (-)525.132 (30028201)774.693 (30028201)3187.66 (30028201)760.468 (30028201)2256.33 (30028201)3600.0 (-)
shiftdesign/limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf3600.0 (-)2033.79 (33006575)3600.0 (-)1141.8 (33006575)2682.57 (33006575)3600.0 (-)1432.06 (33006575)1357.23 (33006575)3600.0 (-)
shiftdesign/limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf670.663 (28414665)707.47 (28414665)3600.0 (-)814.03 (28414665)309.063 (28414665)3600.0 (-)501.701 (28414665)374.908 (28414665)1822.31 (28414665)
causal-discovery/causal_n6_i9_N10000_uai14_log_int.wcnf51.8727 (1913093684)2.29815 (1913093684)4.40837 (1913093684)9.36011 (1913093684)7.24203 (1913093684)16.3426 (1913093684)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n6_i10_N500_uai14_log_int.wcnf10.6255 (183312821)1.45724 (183312821)4.34816 (183312821)3.21215 (183312821)0.816277 (183312821)2.48888 (183312821)48.3666 (183312821)123.484 (183312821)102.81 (183312821)
causal-discovery/causal_SteelPlates_6_1941.wcnf995.939 (93959)7.34616 (93959)19.3232 (93959)21.1935 (93959)16.6059 (93959)28.774 (93959)53.387 (93959)53.0892 (93959)105.387 (93959)
causal-discovery/causal_Bands_6_277.wcnf2463.83 (91349)43.8666 (91349)77.3137 (91349)189.341 (91349)286.316 (91349)248.377 (91349)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n7_i4_N1000_uai14_log_int.wcnf2608.36 (37532020924)30.814 (37532020924)395.462 (37532020924)558.985 (37532020924)102.838 (37532020924)371.968 (37532020924)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Statlog_7_752.wcnf3600.0 (-)1469.8 (380356)492.115 (380356)3573.71 (380356)1092.94 (380356)752.012 (380356)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Alarm_7_1000.wcnf2022.94 (526796)115.01 (526796)379.611 (526796)575.345 (526796)1575.4 (526796)1068.45 (526796)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n5_i5_N500_uai13_log_int.wcnf23.3614 (46030289)5.56862 (46030289)5.73634 (46030289)6.212 (46030289)3.58974 (46030289)5.51556 (46030289)12.1966 (46030289)46.1431 (46030289)137.191 (46030289)
causal-discovery/causal_hailfinder_7_100.wcnf968.963 (2036684)1035.47 (2036684)89.2717 (2036684)1623.26 (2036684)3600.0 (-)1763.93 (2036684)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n5_i10_N500_uai13_log_int.wcnf13.7117 (75755143)6.45914 (75755143)12.5145 (75755143)4.34587 (75755143)2.53162 (75755143)8.33658 (75755143)14.2429 (75755143)49.7598 (75755143)141.011 (75755143)
causal-discovery/causal_Sensors_7_5456.wcnf2220.24 (236855)25.5377 (236855)61.3312 (236855)74.0078 (236855)27.9109 (236855)81.7171 (236855)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n7_i10_N10000_uai14_log_int.wcnf205.142 (3246397504)13.5081 (3246397504)77.7632 (3246397504)92.2076 (3246397504)15.3291 (3246397504)35.5043 (3246397504)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Wdbc_8_569.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Pigs_6_100.wcnf668.97 (2210416)119.964 (2210416)272.82 (2210416)2562.88 (2210416)838.441 (2210416)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_hailfinder_9_1000.wcnf1752.16 (54962937)528.327 (54962937)469.189 (54962937)2056.03 (54962937)491.823 (54962937)1318.8 (54962937)367.434 (54962937)274.552 (54962937)648.509 (54962937)
causal-discovery/causal_Autos_8_159.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n6_i5_N10000_uai13_log_int.wcnf146.36 (355929820)52.357 (355929820)30.6234 (355929820)101.295 (355929820)32.4821 (355929820)8.4256 (355929820)35.9566 (355929820)212.26 (355929820)471.629 (355929820)
causal-discovery/causal_n6_i5_N500_uai13_log_int.wcnf105.689 (355929820)51.084 (355929820)36.517 (355929820)59.4917 (355929820)35.2658 (355929820)45.1872 (355929820)22.3337 (355929820)259.692 (355929820)375.905 (355929820)
causal-discovery/causal_Link_10_1000.wcnf2034.42 (1917853)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3288.2 (1917853)639.785 (1917853)399.779 (1917853)1080.12 (1917853)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N340.wcnf3600.0 (-)3600.0 (-)703.981 (14523227)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N220_D0.200.wcnf16.7122 (2815388)30.4964 (2815388)7.04971 (2815388)1636.86 (2815388)27.1279 (2815388)3600.0 (-)3600.0 (-)1022.03 (2815388)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N200.wcnf3600.0 (-)3600.0 (-)27.2142 (12826525)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N260_D0.200.wcnf28.8972 (3573067)55.5443 (3573067)17.3534 (3573067)3600.0 (-)52.175 (3573067)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein1_BINARY_N400.wcnf3600.0 (-)3600.0 (-)177.834 (32719676)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N280.wcnf3600.0 (-)3600.0 (-)247.359 (19986692)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_TRANSITIVE_N100.wcnf9.6591 (3913145)3.19703 (3913145)3.85419 (3913145)3600.0 (-)3.34955 (3913145)3600.0 (-)2.09209 (3913145)9.08532 (3913145)8.47546 (3913145)
correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N340_D0.200.wcnf77.5394 (4742918)200.777 (4742918)43.2205 (4742918)3600.0 (-)212.364 (4742918)3600.0 (-)1739.48 (4742918)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein1_UNARY_N230.wcnf3600.0 (-)3600.0 (-)2440.88 (12362340)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein1_TRANSITIVE_N170.wcnf220.87 (7795428)40.5588 (7795428)33.262 (7795428)3600.0 (-)44.7262 (7795428)3600.0 (-)45.2145 (7795428)130.199 (7795428)91.765 (7795428)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N300.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_TRANSITIVE_N220.wcnf833.235 (13727551)3600.0 (-)48.2023 (13727551)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_TRANSITIVE_N180.wcnf347.622 (10835167)425.99 (10835167)25.7093 (10835167)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/random-dif-4.rna.pre.wcnf0.607866 (450)0.280429 (450)27.2441 (450)1.12076 (450)18.8158 (450)1.70554 (450)19.6479 (450)116.878 (450)94.0756 (450)
rna-alignment/random-dif-7.rna.pre.wcnf0.495027 (614)0.22956 (614)50.6912 (614)0.943824 (614)29.6945 (614)2.39911 (614)77.6267 (614)104.974 (614)84.7208 (614)
rna-alignment/random-dif-10.rna.pre.wcnf0.334691 (576)0.279069 (576)19.9196 (576)0.751051 (576)7.60874 (576)0.890933 (576)14.1216 (576)78.5235 (576)26.6944 (576)
rna-alignment/k50-10-36.rna.pre.wcnf0.901441 (453)0.443662 (453)682.585 (453)2.48869 (453)20.933 (453)2.91074 (453)29.4854 (453)115.733 (453)83.8099 (453)
rna-alignment/random-dif-5.rna.pre.wcnf1.02799 (730)0.730264 (730)79.5424 (730)2.98069 (730)546.813 (730)5.67431 (730)700.65 (730)987.811 (730)589.204 (730)
rna-alignment/k50-31-81.rna.pre.wcnf0.924171 (454)0.463359 (454)39.2232 (454)1.31725 (454)36.4085 (454)1.52148 (454)19.5197 (454)120.011 (454)71.784 (454)
rna-alignment/k50-21-88.rna.pre.wcnf1.0785 (479)0.551696 (479)78.6519 (479)1.63298 (479)13.3477 (479)1.66082 (479)22.2545 (479)92.7833 (479)40.8876 (479)
rna-alignment/k50-37-46.rna.pre.wcnf1.21581 (519)0.655937 (519)210.778 (519)2.19414 (519)32.22 (519)2.13939 (519)19.4268 (519)165.493 (519)76.8546 (519)
rna-alignment/k50-22-58.rna.pre.wcnf1.06163 (484)0.557214 (484)188.19 (484)1.40698 (484)19.9172 (484)1.61766 (484)11.9012 (484)163.876 (484)66.3691 (484)
rna-alignment/k50-32-66.rna.pre.wcnf1.04613 (474)0.537995 (474)1684.85 (474)2.69438 (474)28.2273 (474)1.61545 (474)25.0017 (474)141.783 (474)67.2959 (474)
rna-alignment/k100-18-95.rna.pre.wcnf17.8958 (1930)36.0477 (1930)3600.0 (-)222.873 (1930)3600.0 (-)142.601 (1930)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k100-13-99.rna.pre.wcnf16.1875 (1766)28.3345 (1766)3600.0 (-)123.38 (1766)3600.0 (-)152.545 (1766)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k100-2-14.rna.pre.wcnf17.6437 (1859)31.677 (1859)3600.0 (-)208.14 (1859)3600.0 (-)160.943 (1859)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k100-3-96.rna.pre.wcnf18.839 (1977)37.0767 (1977)3600.0 (-)181.22 (1977)3600.0 (-)101.738 (1977)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k100-21-72.rna.pre.wcnf19.15 (1958)36.3536 (1958)3600.0 (-)156.367 (1958)3600.0 (-)85.6321 (1958)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k100-32-47.rna.pre.wcnf17.5842 (1952)35.2844 (1952)3600.0 (-)129.05 (1952)3600.0 (-)64.7431 (1952)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-120-1_network-9.net.wcnf12.0251 (109910)2.58931 (109910)2.09506 (109910)124.137 (109910)3600.0 (-)90.9217 (109910)0.21076 (109910)1.47209 (109910)0.276419 (109910)
mpe/random-net-140-1_network-6.net.wcnf9.31386 (125377)1.34805 (125377)1.83069 (125377)72.7127 (125377)2.94773 (125377)59.3315 (125377)0.213731 (125377)0.856785 (125377)0.268608 (125377)
mpe/random-net-80-1_network-9.net.wcnf2.87548 (73635)1.07558 (73635)0.612837 (73635)13.5654 (73635)3600.0 (-)9.46501 (73635)0.098285 (73635)0.371133 (73635)0.13301 (73635)
mpe/random-net-80-2_network-6.net.wcnf40.282 (68489)3600.0 (-)107.065 (68489)356.375 (68489)3600.0 (-)185.937 (68489)3.27312 (68489)3600.0 (-)3600.0 (-)
mpe/random-net-60-2_network-4.net.wcnf9.90087 (54951)3600.0 (-)8.56736 (54951)36.1637 (54951)3600.0 (-)33.9558 (54951)0.38311 (54951)283.744 (54951)201.674 (54951)
mpe/random-net-160-1_network-8.net.wcnf16.5495 (135465)3600.0 (-)3.23467 (135465)85.0043 (135465)3600.0 (-)58.708 (135465)0.845407 (135465)2.18503 (135465)3.6482 (135465)
mpe/random-net-300-1_network-8.net.wcnf65.1651 (275919)3600.0 (-)9.8652 (275919)861.928 (275919)3600.0 (-)844.964 (275919)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-40-3_network-3.net.wcnf244.611 (30129)3600.0 (-)17.8165 (30129)20.0901 (30129)3600.0 (-)15.1 (30129)23.8409 (30129)3600.0 (-)337.159 (30129)
mpe/random-net-300-1_network-10.net.wcnf75.7057 (267579)3600.0 (-)9.21616 (267579)1721.94 (267579)3600.0 (-)832.622 (267579)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-50-3_network-4.net.wcnf610.145 (42070)3600.0 (-)3600.0 (-)36.5767 (42070)3600.0 (-)29.9687 (42070)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-20-5_network-2.net.wcnf469.548 (14461)47.1782 (14461)51.3807 (14461)3.99792 (14461)79.9916 (14461)3.85436 (14461)80.3181 (14461)340.539 (14461)169.261 (14461)
mpe/random-net-60-3_network-5.net.wcnf141.367 (52512)3600.0 (-)1576.01 (52512)134.528 (52512)3600.0 (-)133.691 (52512)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-20-4_network-6.net.wcnf3600.0 (-)1425.05 (18103)372.701 (18103)14.1887 (18103)3600.0 (-)12.8333 (18103)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-50-5_network-7.net.wcnf3600.0 (-)3600.0 (-)3600.0 (-)119.72 (41777)3600.0 (-)79.0459 (41777)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-40-4_network-5.net.wcnf2564.99 (31903)3600.0 (-)686.839 (31903)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-30-5_network-2.net.wcnf1133.5 (25755)3600.0 (-)2897.11 (25755)72.6599 (25755)3600.0 (-)57.9902 (25755)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_1_8.wcnf94.3604 (3)395.794 (3)242.338 (3)87.7067 (3)56.2043 (3)385.728 (3)77.918 (3)53.4421 (3)38.1596 (3)
max-realizability/power-distribution_9_8.wcnf3600.0 (-)1515.25 (18)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)232.434 (18)129.003 (18)
max-realizability/power-distribution_10_5.wcnf25.1241 (60)22.7201 (60)6.74798 (60)23.7076 (60)22.0003 (60)47.9354 (60)20.982 (60)36.0628 (60)8.72012 (60)
max-realizability/power-distribution_9_7.wcnf79.1403 (18)234.534 (18)318.017 (18)129.268 (18)109.683 (18)141.514 (18)77.6987 (18)27.6101 (18)26.0143 (18)
max-realizability/power-distribution_9_6.wcnf7.39823 (18)6.6219 (18)8.84067 (18)13.168 (18)5.94679 (18)15.6855 (18)5.26637 (18)9.24459 (18)10.4501 (18)
max-realizability/power-distribution_7_7.wcnf17.421 (18)20.2507 (18)97.0495 (18)29.2145 (18)25.3881 (18)28.6567 (18)18.3182 (18)47.1882 (18)31.2306 (18)
max-realizability/power-distribution_7_8.wcnf496.365 (18)432.325 (18)1635.87 (18)579.905 (18)724.536 (18)1048.42 (18)387.163 (18)369.773 (18)259.452 (18)
max-realizability/power-distribution_11_6.wcnf1522.05 (126)318.155 (126)92.8867 (126)785.313 (126)3600.0 (-)2414.14 (126)2444.3 (126)3600.0 (-)515.16 (126)
max-realizability/power-distribution_11_5.wcnf30.4694 (126)26.9523 (126)8.88221 (126)38.4342 (126)42.543 (126)47.8697 (126)33.3712 (126)84.8674 (126)17.7311 (126)
max-realizability/power-distribution_12_5.wcnf106.953 (216)71.9069 (216)15.2357 (216)120.526 (216)82.1412 (216)277.461 (216)126.71 (216)149.988 (216)95.768 (216)
max-realizability/power-distribution_8_6.wcnf9.79687 (40)7.3405 (40)19.1661 (40)8.33584 (40)6.97698 (40)7.32567 (40)5.98799 (40)33.3045 (40)24.6819 (40)
max-realizability/power-distribution_11_7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_10_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_8_8.wcnf3001.19 (40)3600.0 (-)3600.0 (-)2965.68 (40)3600.0 (-)3600.0 (-)3242.73 (40)3600.0 (-)1034.2 (40)
max-realizability/power-distribution_12_6.wcnf3347.49 (216)3600.0 (-)335.461 (216)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/robot-navigation_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_8_7.wcnf89.4264 (40)94.5457 (40)677.219 (40)92.7642 (40)110.248 (40)137.287 (40)158.166 (40)146.787 (40)124.101 (40)
max-realizability/robot-navigation_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_4_6.wcnf7.50396 (6)6.17565 (6)22.0867 (6)1.16739 (6)6.22182 (6)1.50405 (6)1.27604 (6)91.9427 (6)6.89202 (6)
max-realizability/power-distribution_4_8.wcnf218.816 (6)227.175 (6)288.08 (6)93.747 (6)278.968 (6)440.247 (6)169.613 (6)263.474 (6)61.3884 (6)
max-realizability/power-distribution_4_7.wcnf16.1447 (6)19.9807 (6)123.159 (6)7.55781 (6)14.5827 (6)10.6448 (6)6.53642 (6)80.6382 (6)14.6542 (6)
timetabling/test3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/comp05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/comp15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/comp12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/comp08.wcnf13.2976 (37)12.7678 (37)68.5257 (37)8.5303 (37)11.9284 (37)12.7926 (37)1.85399 (37)28.1401 (37)29.7842 (37)
timetabling/comp04.wcnf9.95769 (35)8.31366 (35)45.0279 (35)6.46083 (35)3600.0 (-)4.8855 (35)1.4206 (35)26.5244 (35)15.7125 (35)
timetabling/comp17.wcnf101.098 (56)109.0 (56)3600.0 (-)1712.97 (56)231.307 (56)488.918 (56)131.528 (56)91.0974 (56)92.2365 (56)
timetabling/comp07.wcnf2160.69 (6)96.0995 (6)1124.74 (6)3600.0 (-)3600.0 (-)3600.0 (-)2735.15 (6)161.236 (6)124.393 (6)
timetabling/test3.lp.sm-extracted.wcnf420.387 (35)29.413 (35)3600.0 (-)3600.0 (-)213.113 (35)3600.0 (-)428.93 (35)60.8642 (35)813.971 (35)
timetabling/comp16.wcnf21.8498 (18)31.1594 (18)464.55 (18)26.9047 (18)29.5298 (18)19.7596 (18)2.78461 (18)42.3715 (18)3600.0 (-)
timetabling/test2.lp.sm-extracted.wcnf122.398 (8)10.0082 (8)88.4092 (8)713.002 (8)60.4481 (8)290.645 (8)592.352 (8)67.0771 (8)275.101 (8)
timetabling/comp04.lp.sm-extracted.wcnf172.864 (18)29.5396 (18)449.434 (18)121.789 (18)148.427 (18)128.437 (18)89.8554 (18)72.2149 (18)346.4 (18)
timetabling/comp14.lp.sm-extracted.wcnf250.282 (27)35.9213 (27)1295.93 (27)572.313 (27)377.456 (27)530.184 (27)153.238 (27)94.5487 (27)429.603 (27)
timetabling/EA06.lp.sm-extracted.wcnf102.182 (5)21.71 (5)24.0057 (5)47.379 (5)13.8872 (5)47.1358 (5)66.2874 (5)74.5407 (5)167.328 (5)
timetabling/EA09.lp.sm-extracted.wcnf625.26 (2)142.306 (2)155.15 (2)169.286 (2)345.564 (2)150.948 (2)326.347 (2)384.386 (2)754.562 (2)
timetabling/comp07.lp.sm-extracted.wcnf3600.0 (-)811.388 (3)913.895 (3)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)223.764 (3)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_1s_1t_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)16.5762 (69150)3600.0 (-)13.0218 (69150)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_200_24_1k_2s_2t_4.wcnf3.3282 (74530)0.645112 (74530)16.7291 (74530)2.9094 (74530)0.429486 (74530)2.88787 (74530)0.993711 (74530)3600.0 (-)37.5983 (74530)
min-width/MinWidthCB_mitdbsample_100_32_1k_2s_1t_2.wcnf1.54308 (31325)132.618 (31325)19.2068 (31325)1.60193 (31325)185.563 (31325)385.128 (31325)518.141 (31325)552.746 (31325)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_1s_2t_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)53.8095 (66135)3600.0 (-)44.4626 (66135)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_2s_1t_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)10.8785 (66045)3600.0 (-)8.43806 (66045)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_26_1k_3s_1t_3.wcnf898.219 (33570)119.975 (33570)3600.0 (-)43.1231 (33570)188.151 (33570)3600.0 (-)3083.31 (33570)2564.7 (33570)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_26_1k_4s_2t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)831.831 (26205)3600.0 (-)1021.33 (26205)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_43_1k_2s_2t_2.wcnf210.031 (50615)18.5526 (50615)3600.0 (-)35.1417 (50615)313.995 (50615)3600.0 (-)742.17 (50615)507.892 (50615)428.404 (50615)
min-width/MinWidthCB_mitdbsample_100_64_1k_1s_3t_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)182.866 (63580)3600.0 (-)216.511 (63580)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_43_1k_2s_2t_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_26_1k_4s_1t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)355.971 (29445)3600.0 (-)477.766 (29445)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_5s_2t_7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)582.313 (51275)3600.0 (-)691.809 (51275)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_26_1k_3s_2t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1187.69 (30095)3600.0 (-)1296.22 (30095)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_32_1k_6s_2t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)248.681 (30470)3600.0 (-)174.737 (30470)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_26_1k_6s_2t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_32_1k_3s_2t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)70.3244 (32510)3600.0 (-)43.0645 (32510)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_32_1k_6s_2t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_26_1k_10s_1t_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_1t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3368.04 (78770)3600.0 (-)2376.08 (78770)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_600_24_1k_12s_1t_14.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_64_1k_4s_1t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2747.52 (72030)3600.0 (-)1941.74 (72030)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_1000_24_1k_10s_2t_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)180.588 (81360)3600.0 (-)339.118 (81360)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_600_24_1k_30s_2t_30.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_3t_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_64_1k_10s_2t_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference/rc-3.wcnf1708.43 (5722)60.9671 (5722)1.32697 (5722)3600.0 (-)440.393 (5722)3600.0 (-)139.924 (5722)9.54474 (5722)327.424 (5722)
relational-inference/ar-1.wcnf108.638 (25062)3.30855 (25062)2.54064 (25062)3600.0 (-)50.2235 (25062)3600.0 (-)3600.0 (-)6.76687 (25062)3600.0 (-)
relational-inference/pa-2.wcnf3600.0 (-)3600.0 (-)560.08 (143)3600.0 (-)1814.22 (143)3600.0 (-)376.655 (143)1103.37 (143)653.805 (143)
relational-inference/pa-3.wcnf3600.0 (-)3600.0 (-)788.756 (192)3600.0 (-)2380.82 (192)3600.0 (-)586.353 (192)2878.39 (192)3600.0 (-)
relational-inference/rc-2.wcnf1760.54 (5722)66.4882 (5722)1.35781 (5722)3600.0 (-)480.622 (5722)3600.0 (-)138.366 (5722)9.52134 (5722)217.315 (5722)
relational-inference/pa-1.wcnf3157.8 (820)2169.93 (820)203.54 (820)3600.0 (-)156.178 (820)3600.0 (-)27.8763 (820)116.515 (820)35.9442 (820)
relational-inference/ar-2.wcnf3600.0 (-)3600.0 (-)101.583 (394748)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference/ar-3.wcnf348.157 (43814)7.2076 (43814)0.813409 (43814)3600.0 (-)75.7101 (43814)3600.0 (-)44.4204 (43814)1.78341 (43814)73.8521 (43814)
abstraction-refinement/polysite-avrora.wcnf336.336 (51801)194.045 (51801)614.818 (51801)1299.49 (51801)256.735 (51801)2428.91 (51801)100.694 (51801)309.852 (51801)674.396 (51801)
abstraction-refinement/polysite-bloat.wcnf1714.5 (36)1387.26 (36)3163.61 (36)3600.0 (-)1202.15 (36)3600.0 (-)158.528 (36)1397.78 (36)2307.45 (36)
abstraction-refinement/downcast-avrora.wcnf415.6 (46642)324.213 (46642)485.898 (46642)3600.0 (-)334.869 (46642)3600.0 (-)85.8027 (46642)273.734 (46642)1831.23 (46642)
abstraction-refinement/polysite-pmd.wcnf1008.05 (188398)452.097 (188398)1005.62 (188398)3600.0 (-)1013.63 (188398)3600.0 (-)187.667 (188398)482.998 (188398)2846.05 (188398)
abstraction-refinement/downcast-antlr.wcnf1025.36 (76250)233.803 (76250)782.571 (76250)3600.0 (-)780.474 (76250)3600.0 (-)314.061 (76250)288.185 (76250)3600.0 (-)
abstraction-refinement/polysite-xalan.wcnf1720.27 (114620)345.282 (114620)1273.0 (114620)3600.0 (-)2056.17 (114620)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
abstraction-refinement/downcast-xalan.wcnf562.916 (65491)161.534 (65491)548.185 (65491)3600.0 (-)577.842 (65491)3600.0 (-)176.214 (65491)311.028 (65491)3158.27 (65491)
abstraction-refinement/polysite-lusearch.wcnf270.095 (421456)76.4463 (421456)234.349 (421456)3600.0 (-)292.803 (421456)3600.0 (-)17.9402 (421456)241.688 (421456)667.324 (421456)
abstraction-refinement/downcast-pmd.wcnf1006.48 (4227)532.596 (4227)1239.37 (4227)2705.38 (4227)847.819 (4227)3600.0 (-)115.399 (4227)447.041 (4227)3600.0 (-)
abstraction-refinement/polysite-hsqldb.wcnf1118.29 (172382)512.32 (172382)1081.99 (172382)891.823 (172382)1372.79 (172382)1170.84 (172382)153.071 (172382)315.579 (172382)3600.0 (-)
abstraction-refinement/downcast-hsqldb.wcnf964.897 (30207)999.626 (30207)1785.11 (30207)1234.9 (30207)683.218 (30207)2846.22 (30207)239.208 (30207)346.407 (30207)2811.34 (30207)