MaxSAT Evaluation 2018: Detailed Results of Weighted Complete Track

BenchmarkRC2-BRC2-AMaxHSPacoseQMaxSATmaxinoOpen-WBO-GlucOpen-WBO-RissLMHS
css-refactoring-amazon.wcnf47.7597 (113575)19.4466 (113575)3600.0 (-)283.803 (113575)686.817 (113575)22.6544 (113575)102.37 (113575)70.1173 (113575)3600.0 (-)
css-refactoring-archlinux.wcnf0.904345 (11744)0.824893 (11744)3.82789 (11744)0.192985 (11744)3.65933 (11744)0.114276 (11744)0.0822499 (11744)0.135602 (11744)20.1483 (11744)
css-refactoring-dblp.wcnf7.11285 (25014)4.24375 (25014)448.13 (25014)5.4351 (25014)23.0207 (25014)1.39715 (25014)1.76459 (25014)1.36492 (25014)3600.0 (-)
css-refactoring-ebay.wcnf19.5822 (123941)14.5659 (123941)3600.0 (-)60.8801 (123941)777.699 (123941)12.7378 (123941)20.8773 (123941)12.4515 (123941)3600.0 (-)
css-refactoring-facebook1.wcnf4.96231 (45581)4.18003 (45581)3600.0 (-)9.59311 (45581)27.7331 (45581)3.32849 (45581)3.07451 (45581)3.52925 (45581)3600.0 (-)
css-refactoring-github.wcnf48.0173 (187405)37.0614 (187405)3600.0 (-)195.907 (187405)1663.98 (187405)37.8855 (187405)41.1294 (187405)46.3362 (187405)3600.0 (-)
css-refactoring-guardian.wcnf30.2761 (160777)25.5771 (160777)3600.0 (-)173.32 (160777)3600.0 (-)21.1964 (160777)30.1402 (160777)29.0005 (160777)3600.0 (-)
css-refactoring-londonist.wcnf32.5764 (70703)30.6195 (70703)66.2357 (70703)14.3127 (70703)118.062 (70703)2.36264 (70703)1.35331 (70703)2.40862 (70703)3600.0 (-)
css-refactoring-openstreetmap.wcnf4.57912 (65915)3.9376 (65915)122.788 (65915)12.2054 (65915)46.5045 (65915)2.01191 (65915)1.75027 (65915)2.26153 (65915)3600.0 (-)
css-refactoring-wikipedia.wcnf1.57791 (42676)1.48411 (42676)5.00381 (42676)0.919039 (42676)8.53023 (42676)0.29745 (42676)0.235106 (42676)0.432916 (42676)19.141 (42676)
css-refactoring-youtube.wcnf53.641 (227167)41.1968 (227167)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution-full-power-distribution_1_2.wcnf0.0770199 (3)0.0776969 (3)0.0152391 (3)0.00826391 (3)0.011183 (3)0.00843889 (3)0.00907498 (3)0.00728404 (3)0.0228789 (3)
power-distribution-full-power-distribution_1_3.wcnf0.13627 (3)0.137299 (3)0.0546299 (3)0.0103181 (3)0.00840093 (3)0.0143701 (3)0.007996 (3)0.01372 (3)0.0827691 (3)
power-distribution-full-power-distribution_1_4.wcnf0.206042 (3)0.20506 (3)0.0886431 (3)0.01839 (3)0.0154811 (3)0.0289491 (3)0.017393 (3)0.0283021 (3)0.16437 (3)
power-distribution-full-power-distribution_1_5.wcnf0.428989 (3)0.425826 (3)0.239499 (3)0.157702 (3)0.107343 (3)0.137848 (3)0.105614 (3)0.124391 (3)0.459393 (3)
power-distribution-full-power-distribution_1_6.wcnf1.45047 (3)1.40523 (3)0.733685 (3)1.81137 (3)0.540131 (3)0.656392 (3)0.698319 (3)0.892397 (3)1.46707 (3)
power-distribution-full-power-distribution_1_8.wcnf101.669 (3)93.3183 (3)388.516 (3)388.448 (3)88.004 (3)52.3788 (3)77.5495 (3)152.7 (3)2100.07 (3)
power-distribution-full-power-distribution_2_2.wcnf0.174366 (10)0.171897 (10)2.2073 (10)0.0076069 (10)0.00871698 (10)0.049412 (10)0.00979188 (10)0.0131021 (10)0.984756 (10)
power-distribution-full-power-distribution_2_3.wcnf0.467493 (10)0.458887 (10)0.383309 (10)0.031087 (10)0.0339691 (10)0.137763 (10)0.0336219 (10)0.0538489 (10)1.6475 (10)
power-distribution-full-power-distribution_2_6.wcnf5.67442 (10)5.54804 (10)11.8398 (10)4.41569 (10)3.31101 (10)4.57787 (10)2.73958 (10)3.45725 (10)30.9179 (10)
power-distribution-full-power-distribution_3_2.wcnf0.108997 (3)0.106928 (3)0.0378751 (3)0.00860907 (3)0.0110359 (3)0.0124409 (3)0.0105171 (3)0.0087521 (3)0.0636591 (3)
power-distribution-full-power-distribution_3_3.wcnf0.236203 (1)0.236288 (1)0.127927 (1)0.00979391 (1)0.010343 (1)0.0417169 (1)0.0145621 (1)0.0186759 (1)0.181508 (1)
power-distribution-full-power-distribution_3_5.wcnf0.763918 (1)0.768812 (1)0.529476 (1)0.0466991 (1)0.0524759 (1)0.218204 (1)0.0601109 (1)0.0773689 (1)0.898436 (1)
power-distribution-full-power-distribution_3_6.wcnf1.13839 (1)1.13321 (1)0.807051 (1)0.091383 (1)0.096336 (1)0.354138 (1)0.11336 (1)0.163046 (1)1.43934 (1)
power-distribution-full-power-distribution_3_7.wcnf1.84613 (1)1.83851 (1)1.53742 (1)0.367482 (1)0.362827 (1)0.74357 (1)0.368153 (1)0.718065 (1)2.38176 (1)
power-distribution-full-power-distribution_4_2.wcnf0.4024 (10)0.395552 (10)25.2433 (10)0.0151601 (10)0.0161969 (10)0.255864 (10)0.0238651 (10)0.0274799 (10)2.00506 (10)
power-distribution-full-power-distribution_4_3.wcnf1.23658 (6)1.23291 (6)2.19566 (6)0.0768799 (6)0.0667049 (6)0.906313 (6)0.086853 (6)0.120498 (6)18.5365 (6)
power-distribution-full-power-distribution_4_5.wcnf4.73051 (6)4.73552 (6)9.82441 (6)0.456009 (6)0.547664 (6)4.6572 (6)0.518105 (6)0.716749 (6)168.476 (6)
power-distribution-full-power-distribution_4_6.wcnf7.47928 (6)7.35056 (6)21.4906 (6)1.37434 (6)1.1986 (6)6.5662 (6)1.2958 (6)1.76067 (6)313.64 (6)
power-distribution-full-power-distribution_4_7.wcnf16.2208 (6)15.6219 (6)125.106 (6)10.548 (6)7.5461 (6)14.7429 (6)6.75307 (6)9.7894 (6)931.827 (6)
power-distribution-full-power-distribution_4_8.wcnf231.172 (6)225.31 (6)815.075 (6)437.18 (6)95.036 (6)232.073 (6)173.195 (6)279.694 (6)3600.0 (-)
power-distribution-sparse-power-distribution_10_2.wcnf0.154633 (60)0.153181 (60)0.0552991 (60)0.0133559 (60)0.017187 (60)0.0176139 (60)0.00983198 (60)0.015955 (60)0.079882 (60)
power-distribution-sparse-power-distribution_10_4.wcnf0.897629 (60)0.94071 (60)0.562425 (60)1.158 (60)1.13261 (60)0.545718 (60)0.55034 (60)0.901633 (60)1.00862 (60)
power-distribution-sparse-power-distribution_10_6.wcnf959.322 (60)657.713 (60)53.5739 (60)1727.33 (60)383.703 (60)449.239 (60)1756.46 (60)693.564 (60)109.358 (60)
power-distribution-sparse-power-distribution_10_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution-sparse-power-distribution_11_3.wcnf0.706502 (126)0.691497 (126)0.416461 (126)0.211023 (126)0.234725 (126)0.138089 (126)0.123701 (126)0.175686 (126)0.773251 (126)
power-distribution-sparse-power-distribution_11_5.wcnf29.9944 (126)50.9396 (126)8.68197 (126)41.54 (126)39.6518 (126)41.7646 (126)34.4249 (126)96.0397 (126)14.5603 (126)
power-distribution-sparse-power-distribution_11_6.wcnf1551.65 (126)686.788 (126)125.145 (126)1776.41 (126)806.577 (126)3600.0 (-)2492.23 (126)3600.0 (-)179.518 (126)
power-distribution-sparse-power-distribution_12_2.wcnf0.353229 (216)0.352786 (216)0.213277 (216)0.053084 (216)0.0709621 (216)0.111599 (216)0.0308551 (216)0.040102 (216)0.324386 (216)
power-distribution-sparse-power-distribution_12_4.wcnf3.19898 (216)3.11392 (216)1.93323 (216)4.97923 (216)5.21585 (216)2.70756 (216)2.81389 (216)3.38379 (216)4.78531 (216)
power-distribution-sparse-power-distribution_12_5.wcnf105.457 (216)81.1571 (216)13.0188 (216)346.94 (216)120.074 (216)77.1209 (216)129.592 (216)593.97 (216)21.1333 (216)
power-distribution-sparse-power-distribution_12_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution-sparse-power-distribution_6_2.wcnf0.091854 (4)0.0934571 (4)0.0228871 (4)0.00916292 (4)0.011039 (4)0.0120111 (4)0.00886207 (4)0.00842993 (4)0.0302579 (4)
power-distribution-sparse-power-distribution_6_6.wcnf1.49455 (4)1.49289 (4)2.83176 (4)0.847299 (4)0.739978 (4)0.969677 (4)0.849237 (4)1.0119 (4)1.72967 (4)
power-distribution-sparse-power-distribution_6_7.wcnf5.16651 (4)5.02883 (4)9.56044 (4)4.99139 (4)4.19847 (4)7.72295 (4)4.32997 (4)9.52196 (4)14.3522 (4)
power-distribution-sparse-power-distribution_7_2.wcnf0.133044 (18)0.131434 (18)0.194787 (18)0.00839811 (18)0.00774597 (18)0.015379 (18)0.0070019 (18)0.0107821 (18)0.180865 (18)
power-distribution-sparse-power-distribution_8_7.wcnf100.757 (40)93.5805 (40)568.04 (40)156.307 (40)92.5933 (40)104.772 (40)160.11 (40)481.905 (40)611.098 (40)
power-distribution-sparse-power-distribution_9_2.wcnf0.0975389 (18)0.0957019 (18)0.054588 (18)0.00825189 (18)0.0089139 (18)0.0079729 (18)0.00954895 (18)0.00894802 (18)0.144179 (18)
power-distribution-sparse-power-distribution_9_4.wcnf0.361335 (18)0.358803 (18)0.210439 (18)0.119937 (18)0.145164 (18)0.09193 (18)0.0722181 (18)0.0978289 (18)0.310248 (18)
power-distribution-sparse-power-distribution_9_5.wcnf1.45518 (18)1.31564 (18)1.40546 (18)2.24476 (18)2.24952 (18)0.938546 (18)1.31721 (18)1.89221 (18)1.30368 (18)
power-distribution-sparse-power-distribution_9_6.wcnf7.11038 (18)6.26193 (18)9.15115 (18)11.7975 (18)13.1865 (18)5.96116 (18)5.37268 (18)11.6133 (18)15.1511 (18)
robot-nagivation-robot-navigation_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
robot-nagivation-robot-navigation_8.wcnf3600.0 (-)3600.0 (-)2556.05 (26)3418.1 (26)1521.67 (26)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
robot-nagivation-robot-navigation_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp-tcp_students_105_it_10.wcnf1.62398 (3510)1.59242 (3510)0.708934 (3510)0.13234 (3510)0.163458 (3510)0.189783 (3510)0.563711 (3510)0.140285 (3510)1.40943 (3510)
tcp-tcp_students_105_it_11.wcnf2.28118 (3399)1.82579 (3399)13.6482 (3399)0.862278 (3399)1.8942 (3399)0.695287 (3399)0.366076 (3399)0.335779 (3399)313.38 (3399)
tcp-tcp_students_105_it_12.wcnf2.43903 (3327)1.79248 (3327)6.60145 (3327)0.889671 (3327)2.18477 (3327)0.506901 (3327)0.264267 (3327)0.206651 (3327)26.3909 (3327)
tcp-tcp_students_105_it_13.wcnf2.80058 (3360)2.63717 (3360)108.228 (3360)1.22163 (3360)11.9644 (3360)1.07186 (3360)0.623605 (3360)0.541291 (3360)928.115 (3360)
tcp-tcp_students_105_it_15.wcnf47.4642 (3258)30.5766 (3258)848.093 (3258)209.474 (3258)105.341 (3258)95.3171 (3258)43.9769 (3258)37.7642 (3258)3600.0 (-)
tcp-tcp_students_105_it_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)843.44 (2547)422.872 (2547)479.515 (2547)1051.19 (2547)162.244 (2547)3600.0 (-)
tcp-tcp_students_105_it_3.wcnf3600.0 (-)1631.49 (2922)3600.0 (-)309.288 (2922)686.972 (2922)3600.0 (-)1414.31 (2922)1326.43 (2922)3600.0 (-)
tcp-tcp_students_105_it_5.wcnf3.53249 (3624)2.94063 (3624)52.2738 (3624)4.67612 (3624)5.48498 (3624)1.34418 (3624)1.06642 (3624)1.26341 (3624)244.487 (3624)
tcp-tcp_students_105_it_6.wcnf3600.0 (-)3290.51 (2994)3600.0 (-)996.745 (2994)1138.66 (2994)3600.0 (-)1856.5 (2994)3413.47 (2994)3600.0 (-)
tcp-tcp_students_105_it_7.wcnf1481.87 (3024)68.6977 (3024)3600.0 (-)87.6816 (3024)90.9906 (3024)64.6893 (3024)39.2094 (3024)54.2856 (3024)3600.0 (-)
tcp-tcp_students_105_it_9.wcnf52.8448 (3216)24.6672 (3216)1944.71 (3216)170.764 (3216)320.361 (3216)40.7841 (3216)20.4981 (3216)24.6453 (3216)3600.0 (-)
tcp-tcp_students_112_it_1.wcnf13.1454 (3513)7.1894 (3513)1375.99 (3513)16.2263 (3513)24.4207 (3513)15.2651 (3513)5.5078 (3513)5.10958 (3513)3600.0 (-)
tcp-tcp_students_112_it_10.wcnf10.0307 (3624)6.44515 (3624)1381.4 (3624)21.971 (3624)109.452 (3624)7.63375 (3624)4.16436 (3624)4.26971 (3624)3600.0 (-)
tcp-tcp_students_112_it_11.wcnf3.32923 (3138)2.30627 (3138)77.451 (3138)1.10579 (3138)3.48935 (3138)1.41984 (3138)0.390059 (3138)0.836897 (3138)586.781 (3138)
tcp-tcp_students_112_it_12.wcnf191.107 (3696)215.687 (3696)262.825 (3696)3.70971 (3696)3.82919 (3696)210.889 (3696)79.7182 (3696)40.5078 (3696)1186.57 (3696)
tcp-tcp_students_112_it_14.wcnf2.55133 (3663)2.26207 (3663)25.6331 (3663)1.2569 (3663)2.25209 (3663)0.662294 (3663)0.478244 (3663)0.570994 (3663)339.94 (3663)
tcp-tcp_students_112_it_2.wcnf315.648 (3585)98.408 (3585)3600.0 (-)525.82 (3585)493.761 (3585)343.838 (3585)93.1922 (3585)115.818 (3585)3600.0 (-)
tcp-tcp_students_112_it_5.wcnf1563.99 (3366)799.659 (3366)3600.0 (-)569.383 (3366)642.611 (3366)3600.0 (-)631.333 (3366)855.485 (3366)3600.0 (-)
tcp-tcp_students_112_it_6.wcnf146.265 (2919)52.007 (2919)3600.0 (-)202.472 (2919)224.206 (2919)225.09 (2919)47.6601 (2919)47.9252 (2919)3600.0 (-)
tcp-tcp_students_112_it_8.wcnf2.70628 (3552)2.11466 (3552)4.3235 (3552)2.53626 (3552)3.41565 (3552)0.548337 (3552)0.430108 (3552)0.341245 (3552)103.636 (3552)
tcp-tcp_students_91_it_1.wcnf5.50874 (2580)2.62641 (2580)364.952 (2580)5.20009 (2580)7.26447 (2580)2.00881 (2580)1.16019 (2580)2.14061 (2580)3600.0 (-)
tcp-tcp_students_91_it_11.wcnf5.09639 (2766)2.83773 (2766)101.508 (2766)3.63259 (2766)6.30173 (2766)1.98811 (2766)1.4595 (2766)1.76867 (2766)1179.54 (2766)
tcp-tcp_students_91_it_12.wcnf5.38493 (2166)2.53187 (2166)1487.93 (2166)2.80164 (2166)8.60259 (2166)1.29185 (2166)1.03669 (2166)0.911221 (2166)3600.0 (-)
tcp-tcp_students_91_it_13.wcnf631.453 (2730)597.889 (2730)3600.0 (-)1155.82 (2730)905.122 (2730)1341.66 (2730)636.098 (2730)815.997 (2730)3600.0 (-)
tcp-tcp_students_91_it_14.wcnf15.0504 (2208)4.95549 (2208)3600.0 (-)18.7193 (2208)27.5866 (2208)6.92573 (2208)6.9562 (2208)5.42351 (2208)3600.0 (-)
tcp-tcp_students_91_it_2.wcnf1.96041 (3024)1.41283 (3024)36.382 (3024)1.61359 (3024)2.13382 (3024)0.756776 (3024)0.498233 (3024)0.425116 (3024)332.915 (3024)
tcp-tcp_students_91_it_3.wcnf10.4355 (2430)5.61673 (2430)278.839 (2430)1.54553 (2430)6.93855 (2430)6.35842 (2430)3.80682 (2430)5.29051 (2430)2081.09 (2430)
tcp-tcp_students_91_it_5.wcnf7.95545 (2616)3.46902 (2616)2749.27 (2616)30.453 (2616)16.4529 (2616)5.24391 (2616)2.67576 (2616)2.77967 (2616)3600.0 (-)
tcp-tcp_students_91_it_7.wcnf13.9224 (2505)6.98625 (2505)2867.75 (2505)9.78803 (2505)39.325 (2505)13.3592 (2505)7.4081 (2505)5.53696 (2505)3600.0 (-)
tcp-tcp_students_98_it_1.wcnf3.89998 (2616)2.57137 (2616)678.267 (2616)5.77345 (2616)5.49549 (2616)1.91393 (2616)0.98051 (2616)0.78626 (2616)2417.06 (2616)
tcp-tcp_students_98_it_11.wcnf3600.0 (-)1459.63 (2694)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1602.68 (2694)2851.9 (2694)3600.0 (-)
tcp-tcp_students_98_it_12.wcnf13.2981 (2994)6.87082 (2994)311.924 (2994)48.2181 (2994)27.9728 (2994)9.34904 (2994)5.83545 (2994)6.28723 (2994)3600.0 (-)
tcp-tcp_students_98_it_13.wcnf130.228 (2319)31.1888 (2319)3600.0 (-)270.423 (2319)336.968 (2319)60.9093 (2319)35.0927 (2319)82.2741 (2319)3600.0 (-)
tcp-tcp_students_98_it_14.wcnf3600.0 (-)3423.99 (3063)3600.0 (-)3531.34 (3063)3600.0 (-)3600.0 (-)757.622 (3063)3384.13 (3063)3600.0 (-)
tcp-tcp_students_98_it_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp-tcp_students_98_it_4.wcnf13.3124 (2691)5.6082 (2691)1302.87 (2691)7.36747 (2691)11.3911 (2691)6.455 (2691)3.23109 (2691)6.22769 (2691)3600.0 (-)
tcp-tcp_students_98_it_5.wcnf1.51834 (3213)1.3196 (3213)3.00378 (3213)0.157329 (3213)0.413943 (3213)0.220804 (3213)0.139714 (3213)0.148875 (3213)36.9964 (3213)
tcp-tcp_students_98_it_6.wcnf410.398 (2880)224.505 (2880)3600.0 (-)181.141 (2880)344.326 (2880)823.511 (2880)134.064 (2880)767.794 (2880)3600.0 (-)
tcp-tcp_students_98_it_7.wcnf3.72058 (3363)2.80249 (3363)314.786 (3363)14.1498 (3363)23.7494 (3363)2.79615 (3363)1.40968 (3363)1.86064 (3363)3600.0 (-)
tcp-tcp_students_98_it_8.wcnf10.2789 (2727)2.65129 (2727)401.504 (2727)2.26146 (2727)3.95332 (2727)1.23088 (2727)1.10945 (2727)1.63015 (2727)1135.33 (2727)
drmx-atmostk-drmx-am12-outof-40-emtot-w.wcnf0.827385 (28)1.31923 (28)19.3781 (28)0.01 (28)0.018011 (28)1.95294 (28)8.17385 (28)25.984 (28)25.2507 (28)
drmx-atmostk-drmx-am12-outof-40-eseqc-w.wcnf0.243073 (28)0.384899 (28)980.167 (28)0.03 (28)0.0390091 (28)0.821976 (28)8.19077 (28)9.29027 (28)602.752 (28)
drmx-atmostk-drmx-am12-outof-40-esortn-w.wcnf4.54918 (28)5.03022 (28)3600.0 (-)0.34 (28)0.526198 (28)6.96651 (28)93.4543 (28)1067.26 (28)875.914 (28)
drmx-atmostk-drmx-am12-outof-40-etot-w.wcnf0.803161 (28)1.46244 (28)13.7152 (28)0.01 (28)0.016068 (28)1.04871 (28)57.8122 (28)73.3254 (28)21.3901 (28)
drmx-atmostk-drmx-am16-outof-45-ecardn-w.wcnf2.92189 (29)1.12535 (29)3600.0 (-)0.56 (29)0.40633 (29)44.4944 (29)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am16-outof-45-emtot-w.wcnf2.44314 (29)1.42352 (29)62.9285 (29)0.11 (29)0.101442 (29)6.80025 (29)33.3274 (29)237.44 (29)390.652 (29)
drmx-atmostk-drmx-am16-outof-45-eseqc-w.wcnf0.992805 (29)0.983436 (29)3600.0 (-)0.07 (29)0.0708339 (29)5.85888 (29)21.6323 (29)75.9687 (29)3600.0 (-)
drmx-atmostk-drmx-am16-outof-45-esortn-w.wcnf2.56796 (29)1.12108 (29)3600.0 (-)0.55 (29)0.448542 (29)56.1027 (29)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am20-outof-50-ekmtot-w.wcnf9.71925 (30)10.4598 (30)1811.88 (30)0.09 (30)0.090944 (30)155.189 (30)91.0946 (30)155.844 (30)891.804 (30)
drmx-atmostk-drmx-am20-outof-50-eseqc-w.wcnf1.84016 (30)3.47791 (30)3600.0 (-)0.09 (30)0.100575 (30)9.0713 (30)56.2946 (30)281.251 (30)3600.0 (-)
drmx-atmostk-drmx-am20-outof-50-esortn-w.wcnf103.039 (30)60.9906 (30)3600.0 (-)4.25 (30)2.71566 (30)562.941 (30)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am20-outof-50-etot-w.wcnf9.12195 (30)18.1341 (30)1470.01 (30)0.07 (30)0.0863859 (30)732.556 (30)1285.99 (30)2124.87 (30)3600.0 (-)
drmx-atmostk-drmx-am24-outof-55-emtot-w.wcnf10.2004 (31)14.2783 (31)3600.0 (-)0.21 (31)0.187467 (31)403.602 (31)2913.79 (31)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am24-outof-55-eseqc-w.wcnf1.40076 (31)2.50202 (31)3600.0 (-)0.17 (31)0.160442 (31)111.078 (31)218.205 (31)581.348 (31)3600.0 (-)
drmx-atmostk-drmx-am24-outof-55-esortn-w.wcnf22.6344 (31)27.4686 (31)3600.0 (-)8.39 (31)3.52149 (31)562.464 (31)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am28-outof-60-etot-w.wcnf23.4996 (32)14.3321 (32)3600.0 (-)0.08 (32)0.082594 (32)298.633 (32)881.605 (32)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am32-outof-70-ekmtot-w.wcnf117.376 (38)168.64 (38)3600.0 (-)0.24 (38)0.274562 (38)630.981 (38)864.529 (38)1057.54 (38)3600.0 (-)
drmx-atmostk-drmx-am32-outof-70-eseqc-w.wcnf4.81692 (38)7.0495 (38)3600.0 (-)0.41 (38)0.543671 (38)579.031 (38)1413.85 (38)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am32-outof-70-esortn-w.wcnf5.64414 (38)18.1302 (38)3600.0 (-)11.75 (38)8.51591 (38)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-atmostk-drmx-am32-outof-70-etot-w.wcnf95.4919 (38)149.147 (38)3600.0 (-)0.21 (38)0.246714 (38)2131.9 (38)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_2.wcnf56.038 (800)57.7958 (800)2.90662 (800)3600.0 (-)3600.0 (-)3600.0 (-)26.7494 (800)75.1025 (800)3600.0 (-)
drmx-cryptogen-geffe128_3.wcnf68.2228 (800)62.6771 (800)59.409 (800)3600.0 (-)3600.0 (-)3600.0 (-)71.4249 (800)48.2368 (800)3600.0 (-)
drmx-cryptogen-geffe128_4.wcnf592.246 (800)682.172 (800)7.46906 (800)3600.0 (-)3600.0 (-)3600.0 (-)371.895 (800)493.075 (800)3600.0 (-)
drmx-cryptogen-geffe128_5.wcnf43.7435 (800)45.6159 (800)22.5715 (800)3600.0 (-)3600.0 (-)3600.0 (-)33.181 (800)63.256 (800)3600.0 (-)
drmx-cryptogen-geffe128_7.wcnf352.05 (800)352.938 (800)292.431 (800)3600.0 (-)3600.0 (-)3600.0 (-)123.248 (800)199.504 (800)3600.0 (-)
drmx-cryptogen-geffe128_8.wcnf145.374 (800)141.909 (800)29.2014 (800)3600.0 (-)3600.0 (-)3600.0 (-)46.5053 (800)138.811 (800)3600.0 (-)
drmx-cryptogen-threshold128_1.wcnf257.752 (800)262.099 (800)21.5947 (800)3600.0 (-)3600.0 (-)3600.0 (-)76.0573 (800)378.873 (800)3600.0 (-)
drmx-cryptogen-threshold128_3.wcnf281.942 (800)282.923 (800)1.26848 (800)3600.0 (-)3600.0 (-)3600.0 (-)482.539 (800)918.636 (800)3600.0 (-)
drmx-cryptogen-threshold128_7.wcnf159.041 (800)159.08 (800)130.753 (800)3600.0 (-)3600.0 (-)3600.0 (-)96.7852 (800)333.463 (800)3600.0 (-)
drmx-cryptogen-threshold128_8.wcnf2493.74 (800)2508.91 (800)66.6869 (800)3600.0 (-)3600.0 (-)3600.0 (-)1061.14 (800)3358.06 (800)3600.0 (-)
drmx-cryptogen-threshold128_9.wcnf56.2537 (800)56.4505 (800)46.1228 (800)3600.0 (-)3600.0 (-)3600.0 (-)55.2259 (800)33.0973 (800)3600.0 (-)
drmx-cryptogen-wolfram72_5.wcnf212.469 (9288)212.703 (9288)15.7984 (9288)3600.0 (-)3600.0 (-)3600.0 (-)106.26 (9288)357.418 (9288)3600.0 (-)
drmx-cryptogen-wolfram72_6.wcnf212.652 (9288)214.088 (9288)1.6445 (9288)3600.0 (-)3600.0 (-)3600.0 (-)78.7426 (9288)228.301 (9288)3600.0 (-)
drmx-cryptogen-wolfram72_8.wcnf233.533 (9288)232.741 (9288)8.5025 (9288)3600.0 (-)3600.0 (-)3600.0 (-)83.1266 (9288)238.312 (9288)3600.0 (-)
drmx-cryptogen-wolfram80_0.wcnf440.399 (11440)444.36 (11440)118.769 (11440)3600.0 (-)3600.0 (-)3600.0 (-)194.993 (11440)1600.05 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_1.wcnf371.473 (11440)374.487 (11440)44.8299 (11440)3600.0 (-)3600.0 (-)3600.0 (-)522.841 (11440)1271.7 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_3.wcnf340.829 (11440)343.239 (11440)11.9452 (11440)3600.0 (-)3600.0 (-)3600.0 (-)139.019 (11440)731.189 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_5.wcnf333.98 (11440)331.865 (11440)4.5765 (11440)3600.0 (-)3600.0 (-)3600.0 (-)565.496 (11440)2287.79 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_7.wcnf337.099 (11440)337.407 (11440)12.1735 (11440)3600.0 (-)3600.0 (-)3600.0 (-)75.4526 (11440)479.317 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_9.wcnf346.636 (11440)345.296 (11440)8.28288 (11440)3600.0 (-)3600.0 (-)3600.0 (-)109.91 (11440)356.229 (11440)3600.0 (-)
cluster-expansion-IS10_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS11_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS12_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS13_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS14_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS15_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS16_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS17_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS19_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS1_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS20_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS23_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS2_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS3_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS4_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS5_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS6_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS7_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS8_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cluster-expansion-IS9_5.0.5.0.0.5_softer_periodic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
auc-paths-cat_paths_60_130_0000.txt.wcnf2.38488 (78708)123.404 (78708)0.0408369 (78708)0.431003 (78708)31.4871 (78708)0.23321 (78708)0.355214 (78708)0.681135 (78708)0.057915 (78708)
auc-paths-cat_paths_60_130_0001.txt.wcnf749.479 (80743)843.217 (80743)0.0696971 (80743)1.66575 (80743)66.6247 (80743)0.265836 (80743)0.679073 (80743)0.901621 (80743)0.0637369 (80743)
auc-paths-cat_paths_60_130_0003.txt.wcnf1.24925 (86981)29.7706 (86981)0.036227 (86981)1.01392 (86981)53.8509 (86981)0.575606 (86981)0.492177 (86981)0.859891 (86981)0.0593691 (86981)
auc-paths-cat_paths_60_140_0000.txt.wcnf7.52877 (98394)211.099 (98394)0.0418441 (98394)1.1716 (98394)22.1649 (98394)0.0751969 (98394)0.565227 (98394)0.377972 (98394)0.066604 (98394)
auc-paths-cat_paths_60_140_0001.txt.wcnf1.88086 (97718)143.35 (97718)0.057345 (97718)6.13308 (97718)642.336 (97718)6.01916 (97718)14.5876 (97718)20.4701 (97718)0.0673341 (97718)
auc-paths-cat_paths_60_140_0002.txt.wcnf69.8583 (92818)1205.95 (92818)0.057785 (92818)15.9125 (92818)636.569 (92818)4.05867 (92818)43.5633 (92818)17.815 (92818)0.0666751 (92818)
auc-paths-cat_paths_60_140_0003.txt.wcnf10.5343 (92696)533.423 (92696)0.075988 (92696)10.8093 (92696)2094.23 (92696)1.57355 (92696)2.19329 (92696)15.5361 (92696)0.0695381 (92696)
auc-paths-cat_paths_60_150_0000.txt.wcnf50.8671 (82179)276.274 (82179)0.098613 (82179)12.0544 (82179)327.575 (82179)3.29588 (82179)1.31332 (82179)3.48729 (82179)0.075146 (82179)
auc-paths-cat_paths_60_150_0002.txt.wcnf41.3207 (101547)383.726 (101547)0.066846 (101547)3.46831 (101547)347.725 (101547)0.565434 (101547)0.322373 (101547)0.517841 (101547)0.0697169 (101547)
auc-paths-cat_paths_60_150_0003.txt.wcnf150.723 (106294)791.535 (106294)0.067306 (106294)18.5859 (106294)1507.03 (106294)3.00188 (106294)5.62508 (106294)4.06306 (106294)0.081042 (106294)
auc-paths-cat_paths_60_160_0000.txt.wcnf1.58321 (104199)142.964 (104199)0.0811261 (104199)27.2294 (104199)1884.74 (104199)8.82468 (104199)7.72096 (104199)10.6598 (104199)0.082596 (104199)
auc-paths-cat_paths_60_160_0002.txt.wcnf400.875 (102352)1083.82 (102352)0.134339 (102352)684.347 (102352)3600.0 (-)526.559 (102352)608.466 (102352)3600.0 (-)0.0761829 (102352)
auc-paths-cat_paths_60_160_0003.txt.wcnf9.22671 (107262)943.618 (107262)0.0588349 (107262)18.7105 (107262)3600.0 (-)4.27938 (107262)3.94882 (107262)2.26983 (107262)0.0837909 (107262)
auc-paths-cat_paths_60_170_0003.txt.wcnf24.3382 (122748)1444.25 (122748)0.12905 (122748)7.26226 (122748)1015.71 (122748)8.85438 (122748)11.4702 (122748)10.7955 (122748)0.0918371 (122748)
auc-paths-cat_paths_60_170_0005.txt.wcnf3223.67 (114493)3600.0 (-)0.244052 (114493)452.75 (114493)3600.0 (-)461.039 (114493)1234.17 (114493)3600.0 (-)0.0743549 (114493)
af-synthesis-af-synthesis_stb_50_100_9.wcnf2017.64 (108)1740.95 (108)3600.0 (-)750.967 (108)1627.44 (108)3031.24 (108)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_120_2.wcnf2114.25 (107)1943.0 (107)2713.2 (107)308.999 (107)1051.72 (107)3600.0 (-)3206.11 (107)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_120_3.wcnf1378.37 (100)1145.52 (100)2101.11 (100)294.15 (100)1037.94 (100)2748.2 (100)2010.83 (100)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_120_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)335.243 (114)1846.94 (114)2543.92 (114)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_120_7.wcnf1423.63 (120)1196.56 (120)3600.0 (-)412.856 (120)3600.0 (-)3418.84 (120)2886.96 (120)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_120_9.wcnf2472.51 (114)1701.49 (114)3600.0 (-)675.437 (114)2753.48 (114)3600.0 (-)3018.58 (114)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_0.wcnf3590.65 (120)3600.0 (-)3600.0 (-)329.792 (120)1965.27 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)923.979 (127)2845.51 (127)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_3.wcnf3600.0 (-)1233.96 (96)2073.03 (96)196.48 (96)456.973 (96)2633.54 (96)1646.25 (96)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_5.wcnf939.414 (117)1096.61 (117)3600.0 (-)748.335 (117)3018.06 (117)2647.12 (117)1562.38 (117)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_7.wcnf3600.0 (-)3530.3 (109)3600.0 (-)377.103 (109)2192.13 (109)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_140_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1108.81 (113)3119.28 (113)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_160_1.wcnf3600.0 (-)1568.94 (108)3600.0 (-)266.516 (108)1256.11 (108)3535.82 (108)3308.13 (108)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_160_4.wcnf1944.6 (123)2679.26 (123)3600.0 (-)500.396 (123)1901.91 (123)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_160_9.wcnf876.448 (113)911.453 (113)3031.85 (113)275.376 (113)622.992 (113)1525.11 (113)943.598 (113)3076.03 (113)3600.0 (-)
af-synthesis-af-synthesis_stb_50_180_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1554.94 (130)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_180_2.wcnf2183.76 (115)1823.46 (115)3600.0 (-)313.759 (115)1935.32 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_200_5.wcnf1149.52 (102)1898.87 (102)3600.0 (-)672.764 (102)1517.01 (102)2804.67 (102)1556.03 (102)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_200_6.wcnf2848.18 (111)2174.14 (111)3600.0 (-)923.575 (111)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_20_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)384.135 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_40_2.wcnf927.143 (97)3106.59 (97)3600.0 (-)263.243 (97)1027.55 (97)2862.01 (97)2086.96 (97)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_60_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)371.714 (117)1262.12 (117)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_80_2.wcnf1090.06 (105)662.626 (105)602.758 (105)84.7297 (105)402.459 (105)1075.85 (105)565.693 (105)3169.61 (105)3386.1 (105)
af-synthesis-af-synthesis_stb_50_80_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)531.909 (113)1673.3 (113)2734.35 (113)2863.06 (113)3600.0 (-)3600.0 (-)
af-synthesis-af-synthesis_stb_50_80_7.wcnf3430.68 (115)2015.24 (115)3600.0 (-)595.046 (115)1250.52 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees-ped2.G.recomb10-0.10-10.wcnf69.3512 (57616)30.1998 (57616)437.337 (57616)3563.72 (57616)130.73 (57616)17.0563 (57616)13.1155 (57616)31.1189 (57616)3600.0 (-)
haplotyping-pedigrees-ped2.G.recomb10-0.10-9.wcnf62.649 (47741)25.9439 (47741)240.635 (47741)1609.6 (47741)107.559 (47741)12.691 (47741)6.15326 (47741)16.2211 (47741)196.965 (47741)
haplotyping-pedigrees-ped2.G.recomb10-0.20-13.wcnf96.8409 (40755)122.509 (40755)3600.0 (-)3600.0 (-)1102.52 (40755)34.5478 (40755)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees-ped2.G.recomb10-0.20-15.wcnf106.273 (47725)44.2234 (47725)965.322 (47725)3600.0 (-)540.166 (47725)28.9116 (47725)148.365 (47725)310.95 (47725)3600.0 (-)
haplotyping-pedigrees-ped3.D.recomb10-0.20-12.wcnf2.69965 (349)2.59496 (349)1.30592 (349)0.243179 (349)0.348108 (349)0.311404 (349)0.198545 (349)0.390044 (349)3.30626 (349)
haplotyping-pedigrees-ped3.D.recomb10-0.20-13.wcnf3.4988 (350)3.0713 (350)12.5416 (350)0.835413 (350)0.889418 (350)0.886478 (350)0.451268 (350)1.26015 (350)47.4833 (350)
haplotyping-pedigrees-ped3.D.recomb10-0.20-15.wcnf8.23405 (689)4.43729 (689)79.3665 (689)2.48014 (689)16.8037 (689)2.78496 (689)1.98131 (689)5.6813 (689)137.994 (689)
haplotyping-pedigrees-ped3.E.recomb10-0.20-11.wcnf11.4222 (9588)8.26215 (9588)72.11 (9588)64.9737 (9588)10.8699 (9588)2.23702 (9588)1.39627 (9588)3.1626 (9588)77.4972 (9588)
haplotyping-pedigrees-ped3.E.recomb10-0.20-13.wcnf10.2334 (8559)8.16148 (8559)49.6388 (8559)50.9991 (8559)8.58695 (8559)1.97683 (8559)2.0724 (8559)4.62766 (8559)3600.0 (-)
haplotyping-pedigrees-ped3.E.recomb10-0.20-14.wcnf17.1754 (8555)12.0076 (8555)3600.0 (-)104.758 (8555)14.9007 (8555)5.3925 (8555)14.0755 (8555)34.2206 (8555)3600.0 (-)
haplotyping-pedigrees-ped3.F.recomb10-0.01-1.wcnf5.52636 (6853)4.63299 (6853)6.82539 (6853)16.5325 (6853)3.67685 (6853)0.713494 (6853)0.534623 (6853)1.35692 (6853)13.9848 (6853)
haplotyping-pedigrees-ped3.F.recomb10-0.01-2.wcnf5.49589 (8900)4.37112 (8900)10.9936 (8900)17.5525 (8900)2.53704 (8900)0.913246 (8900)0.428255 (8900)1.19749 (8900)13.7033 (8900)
haplotyping-pedigrees-ped3.F.recomb10-0.01-3.wcnf6.01515 (7193)5.16023 (7193)9.5528 (7193)18.3267 (7193)3.13342 (7193)0.740863 (7193)0.440284 (7193)1.18944 (7193)16.5924 (7193)
haplotyping-pedigrees-ped3.F.recomb10-0.01-4.wcnf6.30153 (5483)5.2906 (5483)17.0926 (5483)10.7761 (5483)2.70958 (5483)0.843277 (5483)0.498099 (5483)1.54822 (5483)46.0453 (5483)
haplotyping-pedigrees-ped3.F.recomb10-0.10-8.wcnf9.35485 (9245)7.19373 (9245)87.303 (9245)96.2461 (9245)11.658 (9245)2.18333 (9245)2.6187 (9245)5.75438 (9245)3600.0 (-)
haplotyping-pedigrees-ped3.F.recomb10-0.10-9.wcnf7.15502 (5488)5.91838 (5488)34.2108 (5488)13.8223 (5488)6.25159 (5488)1.08408 (5488)1.21734 (5488)2.65072 (5488)3600.0 (-)
haplotyping-pedigrees-ped3.F.recomb10-0.20-12.wcnf10.7074 (5840)10.3213 (5840)290.614 (5840)161.693 (5840)36.3092 (5840)4.17402 (5840)27.7614 (5840)58.4966 (5840)3600.0 (-)
haplotyping-pedigrees-ped3.F.recomb10-0.20-14.wcnf9.69495 (5482)8.2285 (5482)64.2455 (5482)48.3922 (5482)11.6658 (5482)2.13767 (5482)3.16822 (5482)7.34168 (5482)283.953 (5482)
haplotyping-pedigrees-ped3.F.recomb10-0.20-15.wcnf8.90876 (4123)8.00164 (4123)57.7574 (4123)20.7665 (4123)5.58896 (4123)1.23365 (4123)1.01041 (4123)2.33851 (4123)63.1228 (4123)
haplotyping-pedigrees-ped3.G.recomb10-0.01-5.wcnf10.1114 (14043)6.57126 (14043)48.798 (14043)181.587 (14043)15.7824 (14043)1.61731 (14043)1.49044 (14043)4.78316 (14043)39.9676 (14043)
haplotyping-pedigrees-ped3.G.recomb10-0.10-6.wcnf15.5326 (17460)9.44441 (17460)100.531 (17460)546.77 (17460)14.7649 (17460)2.56995 (17460)4.10061 (17460)6.0391 (17460)165.675 (17460)
haplotyping-pedigrees-ped3.G.recomb10-0.10-7.wcnf15.8537 (16092)9.33052 (16092)119.555 (16092)481.734 (16092)12.9749 (16092)2.39698 (16092)1.85622 (16092)5.70595 (16092)51.7595 (16092)
haplotyping-pedigrees-ped3.G.recomb10-0.10-9.wcnf17.253 (15407)9.88577 (15407)120.179 (15407)938.602 (15407)28.3118 (15407)3.34894 (15407)1.86609 (15407)7.77096 (15407)3600.0 (-)
haplotyping-pedigrees-ped3.G.recomb10-0.20-11.wcnf31.5928 (15072)42.7456 (15072)3600.0 (-)3600.0 (-)212.478 (15072)31.8948 (15072)3600.0 (-)2953.05 (15072)3600.0 (-)
haplotyping-pedigrees-ped3.G.recomb10-0.20-14.wcnf20.6879 (11990)13.8248 (11990)916.163 (11990)1164.81 (11990)25.1008 (11990)4.22708 (11990)111.319 (11990)59.4463 (11990)1127.33 (11990)
rna-alignment-k100-13-99.rna.pre.wcnf16.0973 (1766)16.2293 (1766)3600.0 (-)155.364 (1766)134.226 (1766)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-18-95.rna.pre.wcnf17.7422 (1930)17.2772 (1930)3600.0 (-)159.661 (1930)222.11 (1930)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-2-14.rna.pre.wcnf17.2103 (1859)17.0991 (1859)3600.0 (-)156.776 (1859)207.22 (1859)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-32-47.rna.pre.wcnf17.6647 (1952)17.0883 (1952)3600.0 (-)63.5353 (1952)142.831 (1952)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-33-71.rna.pre.wcnf16.6732 (1813)15.6738 (1813)3600.0 (-)74.4887 (1813)153.339 (1813)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-42-56.rna.pre.wcnf19.4903 (1838)20.6271 (1838)3600.0 (-)114.051 (1838)149.386 (1838)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k100-71-84.rna.pre.wcnf16.5741 (1935)17.0397 (1935)3600.0 (-)82.3727 (1935)135.138 (1935)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment-k50-13-59.rna.pre.wcnf1.05977 (482)1.03464 (482)318.77 (482)1.25088 (482)1.78638 (482)9.88923 (482)8.44931 (482)61.9176 (482)686.44 (482)
rna-alignment-k50-17-24.rna.pre.wcnf0.915082 (456)0.911035 (456)69.3053 (456)1.25437 (456)1.09775 (456)7.35988 (456)16.284 (456)52.0929 (456)799.75 (456)
rna-alignment-k50-28-88.rna.pre.wcnf1.19567 (522)1.18772 (522)82.1903 (522)1.83321 (522)1.86314 (522)20.5666 (522)22.2538 (522)126.191 (522)848.661 (522)
rna-alignment-k50-6-31.rna.pre.wcnf1.27898 (523)1.21108 (523)553.975 (523)1.69042 (523)1.78674 (523)47.0705 (523)25.9852 (523)88.0776 (523)1331.98 (523)
rna-alignment-k50-77-83.rna.pre.wcnf0.770066 (424)0.772048 (424)485.031 (424)1.35663 (424)2.04905 (424)15.0772 (424)17.8493 (424)50.1541 (424)293.236 (424)
rna-alignment-random-dif-10.rna.pre.wcnf0.320286 (576)0.318435 (576)18.1442 (576)1.13334 (576)0.746355 (576)7.49207 (576)13.8141 (576)44.4973 (576)3600.0 (-)
rna-alignment-random-dif-14.rna.pre.wcnf0.292786 (346)0.286258 (346)5.12885 (346)0.86454 (346)0.457552 (346)1.48837 (346)6.2333 (346)11.7548 (346)3600.0 (-)
rna-alignment-random-dif-20.rna.pre.wcnf0.681803 (683)0.700121 (683)222.134 (683)3.51532 (683)1.62847 (683)77.0814 (683)198.264 (683)344.099 (683)3600.0 (-)
rna-alignment-random-dif-22.rna.pre.wcnf0.377634 (455)0.374171 (455)19.6422 (455)0.472474 (455)0.640872 (455)1.50425 (455)6.28407 (455)16.4422 (455)3600.0 (-)
rna-alignment-random-same-12.rna.pre.wcnf0.357438 (597)0.356941 (597)4.99458 (597)0.937939 (597)0.798556 (597)4.86582 (597)8.76132 (597)12.1681 (597)3600.0 (-)
rna-alignment-random-same-14.rna.pre.wcnf0.143109 (255)0.144956 (255)0.624681 (255)0.0757439 (255)0.100146 (255)0.0379409 (255)0.043401 (255)0.294204 (255)4.72771 (255)
rna-alignment-random-same-20.rna.pre.wcnf0.519751 (463)0.516937 (463)1.88907 (463)0.54671 (463)0.709279 (463)2.36746 (463)4.51807 (463)14.3393 (463)2419.71 (463)
rna-alignment-random-same-21.rna.pre.wcnf0.240849 (530)0.244232 (530)0.284444 (530)0.556866 (530)0.414326 (530)1.22188 (530)1.88479 (530)7.77039 (530)3600.0 (-)
rna-alignment-random-same-23.rna.pre.wcnf0.411986 (702)0.415123 (702)1.07436 (702)0.783435 (702)0.844259 (702)2.2507 (702)8.87404 (702)48.5544 (702)3600.0 (-)
rna-alignment-random-same-3.rna.pre.wcnf0.877702 (874)0.891185 (874)20.5328 (874)2.89 (874)2.42432 (874)24.4971 (874)153.99 (874)118.738 (874)3600.0 (-)
rna-alignment-random-same-5.rna.pre.wcnf0.324664 (456)0.328638 (456)0.797161 (456)0.431409 (456)0.459614 (456)1.34236 (456)1.38686 (456)11.0245 (456)3600.0 (-)
rna-alignment-random-same-6.rna.pre.wcnf0.150268 (385)0.150575 (385)0.191998 (385)0.153235 (385)0.131301 (385)0.143316 (385)0.365455 (385)0.578206 (385)281.071 (385)
rna-alignment-tmosaic-tob-chim.pre.wcnf0.173942 (683)0.17284 (683)1.12501 (683)0.407172 (683)0.205841 (683)0.219518 (683)0.567565 (683)1.23538 (683)3600.0 (-)
maxcut-MANN_a81.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-hamming10-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-hamming6-2.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-johnson8-2-4.clq.wcnf2147.76 (392)2069.65 (392)5.61021 (392)361.142 (392)587.934 (392)3600.0 (-)3384.11 (392)3600.0 (-)4.05619 (392)
maxcut-p_hat300-1.clq.wcnf155.913 (243)189.019 (243)3.92189 (243)709.271 (243)172.596 (243)412.391 (243)381.373 (243)1854.52 (243)2.55042 (243)
maxcut-p_hat300-2.clq.wcnf3600.0 (-)3600.0 (-)31.2459 (711)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)21.1073 (711)
maxcut-p_hat300-3.clq.wcnf3600.0 (-)3600.0 (-)2466.67 (1439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-p_hat500-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-p_hat700-1.clq.wcnf3600.0 (-)3600.0 (-)4.5244 (329)3600.0 (-)708.226 (329)3600.0 (-)3600.0 (-)3600.0 (-)3.67485 (329)
maxcut-p_hat700-2.clq.wcnf3600.0 (-)3600.0 (-)228.387 (834)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)111.198 (834)
maxcut-p_hat700-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-san1000.clq.wcnf3600.0 (-)3600.0 (-)34.6043 (744)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)26.7194 (744)
maxcut-san200_0.9_3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-san400_0.5_1.clq.wcnf3600.0 (-)3600.0 (-)16.0931 (718)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)15.8709 (718)
maxcut-sanr200_0.7.clq.wcnf3600.0 (-)3600.0 (-)533.487 (1171)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-sanr200_0.9.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-t3g3-5555.spn.wcnf1.77123 (1100610)173.23 (1100610)0.628051 (1100610)1.72127 (1100610)1.56583 (1100610)2.70258 (1100610)3.35371 (1100610)7.26504 (1100610)0.440317 (1100610)
maxcut-t5g3-7777.spn.wcnf3600.0 (-)3600.0 (-)14.2523 (4241951)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)11.1345 (4241951)
maxcut-t7g3-9999.spn.wcnf3600.0 (-)3600.0 (-)633.191 (11954769)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
csg-CSG140-140-46.wcnf13.3762 (16960)12.4182 (16960)10.8379 (16960)1.62305 (16960)2.74909 (16960)4.69382 (16960)0.639223 (16960)0.691619 (16960)8.2578 (16960)
csg-CSG140-140-6.wcnf121.326 (52385)220.514 (52385)28.0775 (52385)66.6549 (52385)108.991 (52385)168.291 (52385)2155.34 (52385)3600.0 (-)31.0438 (52385)
csg-CSG150-150-55.wcnf69.0847 (27533)235.585 (27533)18.97 (27533)75.1897 (27533)89.6437 (27533)50.7414 (27533)146.294 (27533)91.811 (27533)18.8542 (27533)
csg-CSG40-40-95.wcnf0.308991 (8847)0.299784 (8847)0.148549 (8847)0.0159691 (8847)0.0192921 (8847)0.0406231 (8847)0.015914 (8847)0.0179069 (8847)0.151809 (8847)
csg-CSG60-60-88.wcnf0.923599 (7714)0.920095 (7714)0.527241 (7714)0.033958 (7714)0.056216 (7714)0.155173 (7714)0.0479029 (7714)0.050752 (7714)0.478641 (7714)
csg-CSGNaive140-140-0.wcnf13.5283 (18185)12.7606 (18185)10.9398 (18185)0.653348 (18185)1.21819 (18185)4.80621 (18185)7.16588 (18185)1.20853 (18185)7.68492 (18185)
csg-CSGNaive140-140-6.wcnf237.457 (56309)1237.52 (56309)26.7027 (56309)112.796 (56309)111.666 (56309)192.378 (56309)3600.0 (-)3600.0 (-)24.7656 (56309)
csg-CSGNaive150-150-55.wcnf76.436 (30495)1302.86 (30495)20.195 (30495)69.8036 (30495)99.2091 (30495)48.4176 (30495)708.603 (30495)187.293 (30495)20.0839 (30495)
csg-CSGNaive60-60-53.wcnf0.959044 (9829)0.928619 (9829)0.570659 (9829)0.039628 (9829)0.0682671 (9829)0.175462 (9829)0.0496799 (9829)0.0539851 (9829)0.521806 (9829)
csg-CSGNaive70-70-91.wcnf1.32777 (11177)1.30806 (11177)0.792347 (11177)0.0439809 (11177)0.0765219 (11177)0.257767 (11177)0.066908 (11177)0.073013 (11177)0.674698 (11177)
hs-timetabling-BrazilInstance1.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-BrazilInstance4.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-BrazilInstance6.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-FinlandArtificialSchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling-FinlandCollege.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 (-)
hs-timetabling-FinlandSecondarySchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling-ItalyInstance1.xml.wcnf986.526 (12)1272.28 (12)3600.0 (-)1452.2 (12)874.699 (12)805.984 (12)762.647 (12)1007.51 (12)380.218 (12)
hs-timetabling-ItalyInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling-SouthAfricaLewitt2009.xml.wcnf3335.48 (0)3387.22 (0)476.014 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2218.92 (0)3421.05 (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-1-18.wcnf175.285 (961)48.3197 (961)3600.0 (-)3600.0 (-)3600.0 (-)145.496 (961)3600.0 (-)97.964 (961)3600.0 (-)
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-10-17.wcnf296.808 (377)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2093.36 (377)1736.33 (377)3600.0 (-)
lisbon-wedding-lisbon-wedding-10-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-lisbon-wedding-10-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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-2-18.wcnf179.597 (1137)49.5687 (1137)3600.0 (-)3600.0 (-)3600.0 (-)144.384 (1137)3600.0 (-)90.7649 (1137)3600.0 (-)
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-3-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-lisbon-wedding-4-18.wcnf17.9919 (803)11.5622 (803)3600.0 (-)3600.0 (-)3600.0 (-)34.402 (803)85.3189 (803)126.73 (803)3600.0 (-)
lisbon-wedding-lisbon-wedding-5-17.wcnf82.8957 (802)37.098 (802)3600.0 (-)2939.54 (802)3600.0 (-)206.106 (802)364.07 (802)1067.45 (802)3600.0 (-)
lisbon-wedding-lisbon-wedding-5-18.wcnf19.2253 (803)290.059 (803)3600.0 (-)3600.0 (-)3600.0 (-)523.65 (803)117.528 (803)2466.88 (803)3600.0 (-)
lisbon-wedding-lisbon-wedding-6-17.wcnf13.9074 (802)11.0819 (802)3600.0 (-)3600.0 (-)3600.0 (-)867.48 (802)75.1529 (802)76.8079 (802)3600.0 (-)
lisbon-wedding-lisbon-wedding-6-18.wcnf3600.0 (-)35.5939 (803)3600.0 (-)3600.0 (-)3600.0 (-)962.418 (803)3107.53 (803)598.514 (803)3600.0 (-)
lisbon-wedding-lisbon-wedding-7-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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-8-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-lisbon-wedding-9-17.wcnf2289.42 (394)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-lisbon-wedding-9-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
metro-inst22.lp.sm-extracted.wcnf35.0705 (180)25.7441 (180)26.04 (180)6.68668 (180)10.7701 (180)5.70485 (180)28.8732 (180)35.7284 (180)62.9816 (180)
metro-metro_8_8_5_20_10_6_500_1_1.lp.sm-extracted.wcnf510.202 (89)462.243 (89)538.591 (89)67.012 (89)105.637 (89)79.7372 (89)196.942 (89)240.606 (89)3600.0 (-)
metro-metro_8_8_5_20_10_6_500_1_2.lp.sm-extracted.wcnf344.513 (91)224.325 (91)332.762 (91)37.8963 (91)40.7021 (91)86.2019 (91)148.49 (91)305.147 (91)2892.88 (91)
metro-metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.wcnf542.793 (110)388.07 (110)646.286 (110)168.068 (110)242.635 (110)121.799 (110)643.517 (110)790.549 (110)1418.8 (110)
metro-metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf76.0926 (89)29.0876 (89)94.2745 (89)16.6168 (89)86.7379 (89)9.88247 (89)33.9141 (89)52.8772 (89)1110.93 (89)
metro-metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.wcnf30.1603 (60)18.1429 (60)21.0151 (60)16.1875 (60)14.6755 (60)5.00609 (60)32.5707 (60)36.1744 (60)160.546 (60)
metro-metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.wcnf13.6826 (44)6.85498 (44)21.3674 (44)5.0429 (44)6.95009 (44)1.73597 (44)5.62596 (44)7.91093 (44)66.2408 (44)
metro-metro_9_8_7_30_10_6_500_1_3.lp.sm-extracted.wcnf72.2861 (44)77.6096 (44)48.4472 (44)50.2468 (44)33.3214 (44)14.2835 (44)58.5007 (44)126.091 (44)118.356 (44)
metro-metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.wcnf179.691 (47)94.4637 (47)354.232 (47)83.4008 (47)71.8764 (47)25.051 (47)84.0096 (47)154.101 (47)3600.0 (-)
metro-metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.wcnf153.747 (47)104.832 (47)135.077 (47)98.8959 (47)61.2662 (47)19.7135 (47)140.599 (47)208.256 (47)1141.22 (47)
metro-metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.wcnf409.694 (55)303.583 (55)432.431 (55)173.468 (55)178.821 (55)50.1643 (55)406.101 (55)810.476 (55)3600.0 (-)
metro-metro_9_8_7_30_10_6_500_1_9.lp.sm-extracted.wcnf127.331 (52)97.9869 (52)99.382 (52)73.2947 (52)66.8544 (52)15.6209 (52)113.393 (52)174.862 (52)259.298 (52)
metro-metro_9_9_10_35_13_7_500_2_1.lp.sm-extracted.wcnf41.5677 (22)39.1075 (22)28.9484 (22)22.381 (22)17.6573 (22)3.6446 (22)35.4623 (22)25.575 (22)55.6675 (22)
metro-metro_9_9_10_35_13_7_500_2_7.lp.sm-extracted.wcnf229.552 (37)162.981 (37)451.476 (37)148.373 (37)134.537 (37)37.5211 (37)198.642 (37)255.69 (37)801.12 (37)
metro-metro_9_9_10_35_13_7_500_2_9.lp.sm-extracted.wcnf43.6982 (26)22.4556 (26)30.27 (26)19.6667 (26)18.0264 (26)2.68141 (26)15.1549 (26)14.9875 (26)133.345 (26)
miplib-normalized-mps-v2-20-10-bm23.opb.msat.wcnf7.35046 (34)5.51968 (34)10.4384 (34)1.8758 (34)3.71389 (34)3.09908 (34)2.07826 (34)2.23271 (34)15.4143 (34)
miplib-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 (-)
miplib-normalized-mps-v2-20-10-lseu.opb.msat.wcnf81.9877 (1120)66.071 (1120)378.411 (1120)32.5337 (1120)91.8834 (1120)144.735 (1120)74.2883 (1120)62.3498 (1120)3600.0 (-)
miplib-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 (-)
miplib-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 (-)
miplib-normalized-mps-v2-20-10-p0033.opb.msat.wcnf0.091263 (3089)0.110161 (3089)0.320339 (3089)0.018512 (3089)0.06412 (3089)0.0173949 (3089)0.023484 (3089)0.0286519 (3089)0.166837 (3089)
miplib-normalized-mps-v2-20-10-p0040.opb.msat.wcnf0.061866 (62027)0.0612781 (62027)0.0151671 (62027)0.175071 (62027)0.067553 (62027)0.0112349 (62027)0.0108039 (62027)0.00905408 (62027)0.030776 (62027)
miplib-normalized-mps-v2-20-10-p0201.opb.msat.wcnf14.1152 (1523)17.1604 (1523)353.706 (1523)557.29 (1523)4.47398 (1523)255.885 (1523)234.961 (1523)173.234 (1523)3600.0 (-)
miplib-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 (-)
miplib-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 (-)
railway-transport-bf2030fvcons.wcnf276.634 (3271)621.31 (3271)213.403 (3271)472.101 (3271)229.662 (3271)212.958 (3271)1408.01 (3271)961.524 (3271)297.509 (3271)
railway-transport-bf2030fvslack.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport-f2030.wcnf947.615 (4195)3600.0 (-)3600.0 (-)499.569 (4195)734.626 (4195)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 (-)
railway-transport-wg2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-010_30m.sm-extracted.wcnf202.272 (19021817)130.907 (19021817)3600.0 (-)1079.21 (19021817)364.065 (19021817)89.0708 (19021817)699.536 (19021817)1119.86 (19021817)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-031_60m.sm-extracted.wcnf6.43385 (326)6.35922 (326)2.08199 (326)8.2449 (326)2.51761 (326)1.71002 (326)10.0987 (326)12.0563 (326)159.302 (326)
shiftdesign-limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf651.334 (30028201)296.787 (30028201)3600.0 (-)3069.76 (30028201)564.812 (30028201)771.397 (30028201)765.241 (30028201)948.984 (30028201)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf24.6798 (1592498)21.6662 (1592498)232.024 (1592498)23.2183 (1592498)14.2238 (1592498)6.2866 (1592498)41.0616 (1592498)56.5723 (1592498)884.413 (1592498)
shiftdesign-limits-10-10_data-1_inst-056_60m.sm-extracted.wcnf39.8084 (2072640)33.6834 (2072640)726.184 (2072640)112.255 (2072640)31.9814 (2072640)10.5894 (2072640)87.7146 (2072640)119.558 (2072640)2754.36 (2072640)
shiftdesign-limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf600.709 (16994335)248.876 (16994335)3600.0 (-)860.325 (16994335)143.165 (16994335)672.224 (16994335)727.788 (16994335)759.469 (16994335)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-068_30m.sm-extracted.wcnf246.996 (5536663)117.915 (5536663)3307.95 (5536663)209.837 (5536663)50.4102 (5536663)24.8472 (5536663)257.391 (5536663)340.748 (5536663)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-071_30m.sm-extracted.wcnf396.627 (15474704)172.374 (15474704)3600.0 (-)798.804 (15474704)107.281 (15474704)430.571 (15474704)252.35 (15474704)322.48 (15474704)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-078_60m.sm-extracted.wcnf121.782 (4065188)61.873 (4065188)449.872 (4065188)82.0533 (4065188)21.5529 (4065188)9.17014 (4065188)45.7687 (4065188)72.3926 (4065188)1609.95 (4065188)
shiftdesign-limits-10-10_data-1_inst-081_60m.sm-extracted.wcnf6.44227 (501)6.37877 (501)2.11164 (501)9.85863 (501)3.26137 (501)1.75118 (501)16.333 (501)17.5538 (501)136.328 (501)
shiftdesign-limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf654.343 (28414665)276.158 (28414665)3600.0 (-)3600.0 (-)817.973 (28414665)307.221 (28414665)477.184 (28414665)778.182 (28414665)3600.0 (-)
shiftdesign-limits-10-10_data-1_inst-112_60m.sm-extracted.wcnf101.405 (1595893)50.0825 (1595893)375.54 (1595893)54.6076 (1595893)9.70629 (1595893)10.4974 (1595893)61.2375 (1595893)105.228 (1595893)1303.78 (1595893)
shiftdesign-limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf325.91 (14625180)199.439 (14625180)3600.0 (-)3600.0 (-)601.936 (14625180)180.019 (14625180)580.014 (14625180)875.481 (14625180)3600.0 (-)
shiftdesign-limits-10-10_data-3_inst-002_30m.sm-extracted.wcnf267.631 (24222877)141.683 (24222877)3600.0 (-)2457.66 (24222877)345.773 (24222877)117.61 (24222877)568.847 (24222877)724.877 (24222877)3600.0 (-)
shiftdesign-limits-10-10_data-3_inst-028_60m.sm-extracted.wcnf193.437 (7231899)138.975 (7231899)1460.86 (7231899)619.356 (7231899)245.448 (7231899)197.529 (7231899)238.834 (7231899)487.35 (7231899)3600.0 (-)
spot5-1401.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1278.41 (459106)87.1337 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1401.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)860.649 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1403.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2381.11 (459246)110.263 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1403.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1081.49 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1405.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2131.32 (459415)241.465 (459415)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1405.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1578.68 (459415)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1407.wcsp.dir.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2142.16 (459570)205.595 (459570)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1504.wcsp.dir.wcnf0.732295 (161287)1.11582 (161287)3600.0 (-)2.6047 (161287)4.20787 (161287)0.804367 (161287)1.89732 (161287)7.69882 (161287)3600.0 (-)
spot5-1504.wcsp.log.wcnf6.1437 (161287)3.37261 (161287)3600.0 (-)5.3474 (161287)7.87205 (161287)16.4162 (161287)48.8615 (161287)3600.0 (-)3600.0 (-)
spot5-1506.wcsp.dir.wcnf241.813 (354517)3600.0 (-)3600.0 (-)247.751 (354517)59.8099 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-1506.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)992.257 (354517)116.883 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-28.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)505.586 (270105)114.676 (270105)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5-29.wcsp.log.wcnf0.0668989 (8059)0.0671961 (8059)0.252794 (8059)0.0108361 (8059)0.021823 (8059)0.00966499 (8059)0.00957789 (8059)0.010816 (8059)0.329789 (8059)
spot5-404.wcsp.dir.wcnf0.075772 (114)0.0723531 (114)0.058455 (114)0.046089 (114)0.0283359 (114)0.01643 (114)0.011101 (114)0.0153029 (114)0.11049 (114)
spot5-412.wcsp.dir.wcnf0.221637 (32381)0.191518 (32381)4.32521 (32381)0.480728 (32381)0.33888 (32381)0.140466 (32381)0.260137 (32381)1.18404 (32381)3600.0 (-)
spot5-414.wcsp.dir.wcnf0.324298 (38478)0.299054 (38478)42.1271 (38478)0.900162 (38478)0.588022 (38478)0.13786 (38478)0.364062 (38478)0.422229 (38478)3600.0 (-)
spot5-414.wcsp.log.wcnf1.91647 (38478)1.70212 (38478)1701.03 (38478)1.49415 (38478)1.26788 (38478)0.243577 (38478)130.495 (38478)3600.0 (-)3600.0 (-)
spot5-42.wcsp.dir.wcnf0.726079 (155050)0.643863 (155050)3.60063 (155050)1.29688 (155050)0.860569 (155050)0.773109 (155050)1.53934 (155050)4.61839 (155050)3600.0 (-)
spot5-503.wcsp.log.wcnf0.081854 (11113)0.0765269 (11113)0.170533 (11113)0.0402111 (11113)0.0937761 (11113)0.00920608 (11113)0.010897 (11113)0.019357 (11113)0.125962 (11113)
spot5-505.wcsp.dir.wcnf0.155786 (21253)0.151012 (21253)0.866988 (21253)0.385843 (21253)0.204929 (21253)0.0665771 (21253)0.0589219 (21253)0.088281 (21253)546.812 (21253)
spot5-505.wcsp.log.wcnf0.384379 (21253)0.274746 (21253)3600.0 (-)0.369457 (21253)0.305522 (21253)0.0550029 (21253)1.64826 (21253)15.6166 (21253)1444.76 (21253)
spot5-509.wcsp.dir.wcnf0.290065 (36446)0.267273 (36446)101.617 (36446)1.28393 (36446)0.739694 (36446)0.702411 (36446)0.435908 (36446)0.888854 (36446)3600.0 (-)
spot5-509.wcsp.log.wcnf1.07338 (36446)1.70953 (36446)3600.0 (-)1.64828 (36446)1.53208 (36446)0.233631 (36446)12.2137 (36446)2179.0 (36446)3600.0 (-)
spot5-54.wcsp.dir.wcnf0.066434 (37)0.0625349 (37)0.042718 (37)0.013025 (37)0.00892203 (37)0.0101459 (37)0.0089559 (37)0.0088579 (37)0.0543539 (37)
spot5-54.wcsp.log.wcnf0.0655681 (37)0.06537 (37)0.196412 (37)0.013707 (37)0.0134489 (37)0.00965205 (37)0.0126161 (37)0.0340011 (37)0.426491 (37)
staff-scheduling-instance11.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-instance2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1562.06 (828)1801.83 (828)2043.09 (828)3587.35 (828)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-instance4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2570.8 (1716)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-instance6.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-instance8.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 (-)
timetabling-DDS5.lp.sm-extracted.wcnf498.13 (0)484.23 (0)118.097 (0)195.155 (0)189.22 (0)350.429 (0)214.066 (0)2146.06 (0)130.945 (0)
timetabling-DDS6.lp.sm-extracted.wcnf431.038 (0)430.736 (0)54.0076 (0)1844.02 (0)872.106 (0)1009.28 (0)643.866 (0)3600.0 (-)45.3882 (0)
timetabling-EA01.lp.sm-extracted.wcnf557.899 (55)428.856 (55)218.499 (55)186.925 (55)197.849 (55)289.746 (55)180.538 (55)3600.0 (-)471.039 (55)
timetabling-EA04.lp.sm-extracted.wcnf1386.63 (0)1395.51 (0)242.638 (0)521.477 (0)446.136 (0)1036.2 (0)981.883 (0)3600.0 (-)287.549 (0)
timetabling-EA05.lp.sm-extracted.wcnf521.188 (0)525.165 (0)134.756 (0)117.54 (0)112.385 (0)319.898 (0)243.25 (0)3600.0 (-)122.965 (0)
timetabling-EA08.lp.sm-extracted.wcnf328.262 (0)333.157 (0)95.6775 (0)153.798 (0)95.4939 (0)259.955 (0)173.827 (0)3600.0 (-)89.5076 (0)
timetabling-EA10.lp.sm-extracted.wcnf84.5478 (0)83.4009 (0)21.0496 (0)140.282 (0)204.548 (0)21.6391 (0)70.4823 (0)699.295 (0)22.495 (0)
timetabling-EA11.lp.sm-extracted.wcnf79.6601 (0)79.7612 (0)25.6135 (0)67.5827 (0)52.685 (0)13.0591 (0)35.3958 (0)426.69 (0)21.0837 (0)
timetabling-EA12.lp.sm-extracted.wcnf154.16 (2)139.11 (2)65.2956 (2)54.9941 (2)47.3495 (2)77.4861 (2)55.9703 (2)3600.0 (-)101.098 (2)
timetabling-Udine2.lp.sm-extracted.wcnf609.64 (4)416.053 (4)170.871 (4)1421.46 (4)992.072 (4)1490.3 (4)1141.92 (4)3600.0 (-)254.244 (4)
timetabling-Udine3.lp.sm-extracted.wcnf450.565 (0)448.092 (0)45.7508 (0)1487.73 (0)803.423 (0)1447.64 (0)1178.12 (0)3600.0 (-)43.075 (0)
timetabling-Udine5.lp.sm-extracted.wcnf568.13 (0)569.897 (0)86.8628 (0)1638.65 (0)832.235 (0)2534.13 (0)1418.95 (0)3600.0 (-)81.0627 (0)
timetabling-Udine6.lp.sm-extracted.wcnf226.22 (0)228.462 (0)64.1005 (0)77.6874 (0)60.4832 (0)196.426 (0)170.609 (0)3600.0 (-)61.5907 (0)
timetabling-Udine7.lp.sm-extracted.wcnf238.31 (0)231.362 (0)73.8241 (0)119.953 (0)90.473 (0)183.852 (0)401.688 (0)3600.0 (-)67.4505 (0)
timetabling-Udine9.lp.sm-extracted.wcnf306.788 (18)247.489 (18)102.48 (18)395.535 (18)331.268 (18)390.583 (18)265.423 (18)3600.0 (-)262.729 (18)
timetabling-comp04.lp.sm-extracted.wcnf169.048 (18)133.457 (18)344.792 (18)124.026 (18)121.33 (18)152.132 (18)85.4274 (18)3600.0 (-)1016.1 (18)
timetabling-comp08.lp.sm-extracted.wcnf194.675 (19)163.16 (19)254.203 (19)169.952 (19)174.764 (19)233.419 (19)85.7074 (19)3600.0 (-)493.443 (19)
timetabling-comp13.lp.sm-extracted.wcnf302.981 (31)181.62 (31)3600.0 (-)1002.64 (31)603.484 (31)309.619 (31)471.735 (31)1394.43 (31)3600.0 (-)
timetabling-comp16.lp.sm-extracted.wcnf371.962 (11)395.981 (11)1484.38 (11)2073.83 (11)1901.72 (11)562.476 (11)323.442 (11)3600.0 (-)3600.0 (-)
timetabling-test2.lp.sm-extracted.wcnf121.663 (8)196.004 (8)158.011 (8)526.751 (8)765.715 (8)58.2634 (8)614.936 (8)3600.0 (-)94.8699 (8)
warehouses-cap101.wcsp.wcnf2.91134 (7966472)0.747783 (7966472)0.148394 (7966472)1889.01 (7966472)2906.71 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)0.632063 (7966472)
warehouses-cap111.wcsp.wcnf56.0593 (7934385)1731.09 (7934385)1.47449 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.35854 (7934385)
warehouses-cap121.wcsp.wcnf54.9883 (7934385)1759.63 (7934385)1.47472 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.37101 (7934385)
warehouses-cap131.wcsp.wcnf54.4067 (7934385)1851.53 (7934385)1.48108 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.36388 (7934385)
warehouses-cap61.wcsp.wcnf1.0086 (9326144)0.392216 (9326144)0.0634521 (9326144)46.233 (9326144)54.441 (9326144)3600.0 (-)3517.66 (9326144)3600.0 (-)0.375182 (9326144)
warehouses-cap81.wcsp.wcnf2.91116 (7966472)0.750205 (7966472)0.147615 (7966472)1907.62 (7966472)2914.16 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)0.647779 (7966472)
warehouses-cap82.wcsp.wcnf4.90754 (8547029)7.50905 (8547029)0.150692 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.624822 (8547029)
warehouses-cap91.wcsp.wcnf2.92099 (7966472)0.751652 (7966472)0.147634 (7966472)1918.5 (7966472)2947.49 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)0.63509 (7966472)
warehouses-cap92.wcsp.wcnf4.89789 (8547029)7.3379 (8547029)0.150223 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.626235 (8547029)
warehouses-warehouse1.wcsp.wcnf0.58314 (730567)0.810978 (730567)0.038957 (730567)4.46139 (730567)5.10726 (730567)14.7153 (730567)48.6328 (730567)73.1407 (730567)0.0916801 (730567)
BTBNSL-Rounded_BTWBNSL_AbaloneTWBound_4.wcnf3600.0 (-)3600.0 (-)1012.48 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Abalone_TWBound_3.wcnf3600.0 (-)3600.0 (-)700.82 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf3600.0 (-)3600.0 (-)2538.82 (274810512)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf3600.0 (-)3600.0 (-)2725.17 (274810512)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Heart.BIC_TWBound_3.wcnf3600.0 (-)3600.0 (-)84.7542 (239742296)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3030.63 (239742296)
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf3600.0 (-)3600.0 (-)590.698 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_4.wcnf3600.0 (-)3600.0 (-)446.368 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3.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_4.wcnf3600.0 (-)3600.0 (-)312.023 (1326306453)350.598 (1326306453)439.073 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_Wine_TWBound_4.wcnf3600.0 (-)3600.0 (-)137.538 (127107900)502.33 (127107900)516.035 (127107900)3600.0 (-)3600.0 (-)3600.0 (-)692.699 (127107900)
BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_3.wcnf3600.0 (-)3600.0 (-)948.802 (35134915996)3600.0 (-)3600.0 (-)3600.0 (-)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_asia_10000_1_3.scores_TWBound_4.wcnf3600.0 (-)3600.0 (-)2.32221 (2247205740)13.9931 (2247205740)7.46085 (2247205740)102.902 (2247205740)3600.0 (-)3600.0 (-)4.09725 (2247205740)
BTBNSL-Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_3.wcnf5.01845 (231945792)3600.0 (-)0.773687 (231945792)2.64742 (231945792)1.86519 (231945792)3.03517 (231945792)60.3361 (231945792)116.394 (231945792)0.93708 (231945792)
BTBNSL-Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_4.wcnf29.7928 (231945792)3600.0 (-)0.869862 (231945792)1.89848 (231945792)1.72399 (231945792)2.72964 (231945792)76.7265 (231945792)68.0714 (231945792)1.06886 (231945792)
BTBNSL-Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_3.wcnf0.101366 (24564427)0.112961 (24564427)9.86524 (24564427)0.203299 (24564427)0.275882 (24564427)0.017181 (24564427)0.03371 (24564427)0.069426 (24564427)0.0654351 (24564427)
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_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_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_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_hailfinder_100_1_3.scores_TWBound_4.wcnf11.4713 (601946991)3600.0 (-)24.1128 (601946991)18.8477 (601946991)22.1323 (601946991)15.0886 (601946991)121.812 (601946991)138.091 (601946991)22.1095 (601946991)
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)415.159 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)1034.36 (170450495)284.65 (170450495)337.087 (170450495)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL-Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_4.wcnf71.5185 (168622588)3600.0 (-)81.5931 (168622588)34.299 (168622588)41.3056 (168622588)1035.52 (168622588)186.157 (168622588)344.083 (168622588)1786.47 (168622588)
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_Diabetes_8_1000.wcnf182.352 (54543894)27.9308 (54543894)3600.0 (-)186.439 (54543894)84.5907 (54543894)3600.0 (-)37.7143 (54543894)51.9886 (54543894)150.23 (54543894)
causal-discovery-causal_Horse.23_7_300.wcnf55.072 (98964)21.3325 (98964)84.5976 (98964)59.8176 (98964)44.5853 (98964)9.34018 (98964)3600.0 (-)183.255 (98964)53.465 (98964)
causal-discovery-causal_Image_7_2310.wcnf3600.0 (-)3600.0 (-)868.683 (431410)552.499 (431410)301.381 (431410)597.633 (431410)3600.0 (-)3600.0 (-)3554.42 (431410)
causal-discovery-causal_Imports_6_205.wcnf2896.87 (123542)3600.0 (-)100.292 (123542)161.533 (123542)94.2099 (123542)121.428 (123542)3600.0 (-)3600.0 (-)203.634 (123542)
causal-discovery-causal_Letter_7_20000.wcnf3600.0 (-)3600.0 (-)472.475 (494950)785.756 (494950)881.238 (494950)1074.8 (494950)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery-causal_Link_10_1000.wcnf2062.8 (1917853)327.317 (1917853)3600.0 (-)3236.27 (1917853)3600.0 (-)3600.0 (-)614.485 (1917853)773.362 (1917853)3600.0 (-)
causal-discovery-causal_LungCancer_8_27.wcnf464.372 (141532)913.39 (141532)717.898 (141532)1618.99 (141532)2227.3 (141532)605.834 (141532)3600.0 (-)3600.0 (-)767.399 (141532)
causal-discovery-causal_Meta_7_528.wcnf3600.0 (-)3600.0 (-)384.578 (55120)213.634 (55120)112.396 (55120)204.409 (55120)3600.0 (-)3600.0 (-)926.36 (55120)
causal-discovery-causal_Pigs_6_1000.wcnf1318.83 (18211446)3217.58 (18211446)1160.11 (18211446)892.684 (18211446)727.823 (18211446)1186.75 (18211446)3600.0 (-)3600.0 (-)3467.61 (18211446)
causal-discovery-causal_Pigs_6_10000.wcnf627.54 (25539892)187.126 (25539892)3600.0 (-)166.325 (25539892)641.935 (25539892)127.263 (25539892)3600.0 (-)3600.0 (-)2362.71 (25539892)
causal-discovery-causal_Sensors_7_5456.wcnf2715.74 (236855)2272.11 (236855)56.83 (236855)83.0355 (236855)74.7446 (236855)25.7378 (236855)3600.0 (-)3600.0 (-)220.694 (236855)
causal-discovery-causal_Statlog_7_752.wcnf3600.0 (-)3600.0 (-)366.543 (380356)774.502 (380356)3600.0 (-)1053.4 (380356)3600.0 (-)3600.0 (-)852.098 (380356)
causal-discovery-causal_SteelPlates_6_1941.wcnf998.054 (93959)3600.0 (-)15.1248 (93959)27.8313 (93959)20.8789 (93959)16.2509 (93959)54.3156 (93959)128.99 (93959)29.6117 (93959)
causal-discovery-causal_Voting_7_435.wcnf92.032 (930263)2530.48 (930263)104.302 (930263)63.391 (930263)56.4371 (930263)106.772 (930263)3600.0 (-)3600.0 (-)166.967 (930263)
causal-discovery-causal_Water_10_100.wcnf3600.0 (-)1120.6 (1885872)3600.0 (-)3600.0 (-)3600.0 (-)3195.33 (1885872)729.932 (1885872)877.0 (1885872)3600.0 (-)
causal-discovery-causal_Water_7_380.wcnf147.038 (414473)3600.0 (-)112.696 (414473)312.194 (414473)177.434 (414473)402.039 (414473)3600.0 (-)3600.0 (-)147.481 (414473)
causal-discovery-causal_alarm_7_100.wcnf253.905 (120008)1831.08 (120008)165.063 (120008)142.445 (120008)182.468 (120008)334.45 (120008)3600.0 (-)3600.0 (-)296.574 (120008)
causal-discovery-causal_alarm_9_1000.wcnf3600.0 (-)670.069 (1233992)3600.0 (-)3600.0 (-)3600.0 (-)844.683 (1233992)277.483 (1233992)3600.0 (-)3600.0 (-)
causal-discovery-causal_asia_7_1000.wcnf2640.42 (170353)3600.0 (-)346.409 (170353)960.409 (170353)667.39 (170353)922.431 (170353)3600.0 (-)3600.0 (-)724.816 (170353)
causal-discovery-causal_asia_8_10000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery-causal_carpo_8_100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1515.5 (169596)1389.53 (169596)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery-causal_carpo_8_1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery-causal_hailfinder_8_10000.wcnf702.301 (115149390)1147.54 (115149390)2035.3 (115149390)552.467 (115149390)433.234 (115149390)1123.96 (115149390)3306.86 (115149390)1229.24 (115149390)3600.0 (-)
causal-discovery-causal_insurance_9_100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf3600.0 (-)3600.0 (-)2022.83 (4604640)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)287.241 (4604640)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)678.753 (6299281)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2200.8 (8061560)
correlation-clustering-Rounded_CorrelationClustering_Orl_BINARY_N200_D0.200.wcnf9.74772 (2299099)17.2607 (2299099)76.8108 (2299099)1035.09 (2299099)1237.24 (2299099)14.623 (2299099)2602.29 (2299099)1635.83 (2299099)8.50478 (2299099)
correlation-clustering-Rounded_CorrelationClustering_Orl_BINARY_N220_D0.200.wcnf16.4025 (2815388)47.8617 (2815388)98.5519 (2815388)3600.0 (-)1664.61 (2815388)26.0815 (2815388)3441.57 (2815388)2576.08 (2815388)14.3613 (2815388)
correlation-clustering-Rounded_CorrelationClustering_Orl_BINARY_N240_D0.200.wcnf20.3061 (3163500)59.351 (3163500)116.977 (3163500)3143.08 (3163500)2582.89 (3163500)36.0228 (3163500)3600.0 (-)3600.0 (-)18.6574 (3163500)
correlation-clustering-Rounded_CorrelationClustering_Orl_BINARY_N300_D0.200.wcnf46.2306 (4355327)3600.0 (-)234.522 (4355327)3600.0 (-)3600.0 (-)101.437 (4355327)3600.0 (-)3600.0 (-)54.0758 (4355327)
correlation-clustering-Rounded_CorrelationClustering_Orl_BINARY_N340_D0.200.wcnf77.6042 (4742918)129.11 (4742918)357.191 (4742918)3600.0 (-)3600.0 (-)205.33 (4742918)1540.8 (4742918)1900.52 (4742918)86.1008 (4742918)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N300.wcnf3600.0 (-)3600.0 (-)486.843 (22503509)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)254.944 (22503509)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf3600.0 (-)3600.0 (-)591.888 (27518389)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)404.556 (27518389)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf3600.0 (-)3600.0 (-)621.753 (31230336)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)375.406 (31230336)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf3600.0 (-)3600.0 (-)929.608 (34138349)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)654.856 (34138349)
correlation-clustering-Rounded_CorrelationClustering_Protein3_BINARY_N320.wcnf3600.0 (-)3600.0 (-)418.106 (29903295)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)241.411 (29903295)
correlation-clustering-Rounded_CorrelationClustering_Protein3_BINARY_N340.wcnf3600.0 (-)3600.0 (-)417.729 (32232975)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)284.888 (32232975)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N200.wcnf3600.0 (-)3600.0 (-)24.6827 (4083641)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)18.3797 (4083641)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N220.wcnf3600.0 (-)3600.0 (-)51.7006 (4980706)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)24.9408 (4980706)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N260.wcnf3600.0 (-)3600.0 (-)184.22 (8424459)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)97.9248 (8424459)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N280.wcnf3600.0 (-)3600.0 (-)394.908 (10669742)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)283.137 (10669742)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf3600.0 (-)3600.0 (-)337.043 (11800559)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)418.333 (11800559)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf3600.0 (-)3600.0 (-)715.459 (15545978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)616.572 (15545978)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf3600.0 (-)3600.0 (-)1654.94 (16428528)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1014.74 (16428528)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_milan_200_12_1k_10s_1t_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)28.9893 (93277)26.51 (93277)14.936 (93277)47.6533 (93277)118.409 (93277)3600.0 (-)
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)549.766 (92434)368.719 (92434)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_milan_200_12_1k_10s_2t_10.wcnf1.11783 (90750)0.414586 (90750)0.503198 (90750)2.54348 (90750)2.0946 (90750)0.733373 (90750)0.998049 (90750)4.71708 (90750)0.963828 (90750)
min-width-MinWidthCB_milan_200_12_1k_4s_1t_4.wcnf0.390618 (108863)0.133049 (108863)0.186875 (108863)0.600811 (108863)0.601664 (108863)0.0772571 (108863)0.088298 (108863)0.260278 (108863)0.287609 (108863)
min-width-MinWidthCB_milan_200_12_1k_4s_2t_4.wcnf0.182237 (108418)0.123821 (108418)0.0794309 (108418)0.390021 (108418)0.497768 (108418)0.066889 (108418)0.072134 (108418)0.220302 (108418)0.129368 (108418)
min-width-MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_mitdbsample_300_43_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_64_1k_15s_1t_15.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_15s_2t_15.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_15s_2t_17.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_3t_3.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_3t_5.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_6s_1t_8.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_6s_2t_6.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_6s_3t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_power_1000_24_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_power_1000_24_1k_20s_2t_22.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width-MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference-ar-1.wcnf108.44 (25062)106.567 (25062)2.78478 (25062)3600.0 (-)3600.0 (-)50.7278 (25062)3600.0 (-)3600.0 (-)91.2231 (25062)
relational-inference-ar-2.wcnf3600.0 (-)3600.0 (-)105.413 (394748)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)583.564 (394748)
relational-inference-ar-3.wcnf349.839 (43814)346.649 (43814)0.879031 (43814)3600.0 (-)3600.0 (-)75.8919 (43814)39.9293 (43814)190.765 (43814)1.77408 (43814)
relational-inference-pa-1.wcnf3133.69 (820)321.739 (820)237.105 (820)3600.0 (-)3600.0 (-)160.401 (820)27.3309 (820)149.45 (820)778.699 (820)
relational-inference-pa-2.wcnf3600.0 (-)3600.0 (-)712.863 (143)3600.0 (-)3600.0 (-)1815.0 (143)365.741 (143)1650.98 (143)3600.0 (-)
relational-inference-pa-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2387.39 (192)578.496 (192)1553.05 (192)3600.0 (-)
relational-inference-rc-1.wcnf1738.91 (5722)1697.4 (5722)1.4883 (5722)3600.0 (-)3600.0 (-)454.203 (5722)130.149 (5722)2452.13 (5722)10.6067 (5722)
relational-inference-rc-2.wcnf1697.92 (5722)1639.55 (5722)1.5623 (5722)3600.0 (-)3600.0 (-)490.374 (5722)128.958 (5722)2400.93 (5722)10.6475 (5722)
abstraction-refinement-downcast-antlr.wcnf1020.48 (76250)478.128 (76250)899.782 (76250)3600.0 (-)3600.0 (-)824.381 (76250)307.381 (76250)459.412 (76250)2342.63 (76250)
abstraction-refinement-downcast-avrora.wcnf410.17 (46642)156.705 (46642)547.459 (46642)3600.0 (-)3600.0 (-)326.809 (46642)86.8305 (46642)77.0008 (46642)3529.16 (46642)
abstraction-refinement-downcast-hsqldb.wcnf952.372 (30207)408.785 (30207)1907.89 (30207)2459.35 (30207)1356.28 (30207)669.742 (30207)236.581 (30207)182.199 (30207)3600.0 (-)
abstraction-refinement-downcast-pmd.wcnf990.082 (4227)395.415 (4227)1292.38 (4227)3600.0 (-)2800.53 (4227)881.89 (4227)122.028 (4227)162.166 (4227)3600.0 (-)
abstraction-refinement-downcast-xalan.wcnf572.308 (65491)223.43 (65491)686.372 (65491)3600.0 (-)3600.0 (-)596.405 (65491)173.761 (65491)201.095 (65491)2046.97 (65491)
abstraction-refinement-polysite-avrora.wcnf336.307 (51801)141.042 (51801)700.335 (51801)2430.2 (51801)1697.2 (51801)267.051 (51801)100.191 (51801)45.7391 (51801)968.333 (51801)
abstraction-refinement-polysite-hsqldb.wcnf1162.82 (172382)475.776 (172382)1142.81 (172382)1213.97 (172382)783.545 (172382)1239.64 (172382)151.027 (172382)234.363 (172382)3600.0 (-)
abstraction-refinement-polysite-lusearch.wcnf270.327 (421456)102.293 (421456)428.889 (421456)3600.0 (-)3600.0 (-)303.644 (421456)19.3804 (421456)21.8581 (421456)551.743 (421456)
abstraction-refinement-polysite-pmd.wcnf1004.49 (188398)368.471 (188398)1086.0 (188398)3600.0 (-)3600.0 (-)1081.76 (188398)189.852 (188398)132.034 (188398)3269.61 (188398)
abstraction-refinement-polysite-xalan.wcnf1750.37 (114620)532.403 (114620)1528.47 (114620)3600.0 (-)3600.0 (-)2382.98 (114620)3600.0 (-)3296.73 (114620)3600.0 (-)
frb-frb10-6-1.wcnf0.069435 (50)0.0689499 (50)0.0113721 (50)0.010286 (50)0.009149 (50)0.0119 (50)0.090258 (50)0.103988 (50)0.0440669 (50)
frb-frb10-6-3.wcnf0.0716861 (50)0.0707819 (50)0.0167281 (50)0.00984703 (50)0.0100441 (50)0.00928888 (50)0.055715 (50)0.345386 (50)0.0650941 (50)
frb-frb10-6-4.wcnf0.0707141 (50)0.0691001 (50)0.018478 (50)0.00912996 (50)0.0102291 (50)0.010935 (50)0.047874 (50)0.11407 (50)0.050945 (50)
frb-frb15-9-1.wcnf0.121065 (120)0.12102 (120)0.181357 (120)0.05218 (120)0.0551949 (120)0.306645 (120)136.791 (120)783.165 (120)0.427815 (120)
frb-frb15-9-3.wcnf0.127506 (120)0.124346 (120)0.185145 (120)0.056685 (120)0.0478739 (120)1.21806 (120)53.8457 (120)3373.99 (120)1.19134 (120)
frb-frb15-9-4.wcnf0.155904 (120)0.145841 (120)0.173838 (120)0.065573 (120)0.054035 (120)0.770229 (120)118.755 (120)2396.81 (120)1.14952 (120)
frb-frb20-11-3.wcnf0.212679 (200)0.219647 (200)0.419059 (200)0.264415 (200)0.165524 (200)15.5182 (200)3600.0 (-)3600.0 (-)11.4693 (200)
frb-frb20-11-4.wcnf0.249371 (200)0.223086 (200)1.03991 (200)0.176751 (200)0.131863 (200)13.7857 (200)3600.0 (-)3600.0 (-)19.1624 (200)
frb-frb20-11-5.wcnf0.208437 (200)0.203271 (200)0.235612 (200)0.155296 (200)0.199255 (200)19.4511 (200)3600.0 (-)3600.0 (-)15.8818 (200)
frb-frb25-13-3.wcnf0.371848 (300)0.4116 (300)0.193839 (300)1.06872 (300)1.05058 (300)341.094 (300)3600.0 (-)3600.0 (-)204.47 (300)
frb-frb25-13-4.wcnf0.589045 (300)1.90463 (300)0.353194 (300)1.44273 (300)1.03816 (300)3600.0 (-)3600.0 (-)3600.0 (-)99.5649 (300)
frb-frb30-15-2.wcnf1.24297 (420)4.36731 (420)0.851232 (420)11.4543 (420)16.2918 (420)3600.0 (-)3600.0 (-)3600.0 (-)1826.49 (420)
frb-frb30-15-3.wcnf0.562471 (420)0.94039 (420)0.539731 (420)6.25855 (420)9.8792 (420)3600.0 (-)3600.0 (-)3600.0 (-)3052.61 (420)
frb-frb30-15-5.wcnf0.73724 (420)0.555405 (420)0.269216 (420)4.37744 (420)6.76282 (420)3600.0 (-)3600.0 (-)3600.0 (-)838.605 (420)
frb-frb35-17-2.wcnf152.343 (560)3.68059 (560)3154.93 (560)106.563 (560)51.672 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb-frb35-17-3.wcnf9.25694 (560)4.91332 (560)27.7548 (560)13.3674 (560)14.5245 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb-frb35-17-4.wcnf7.3608 (560)13.0262 (560)4.45756 (560)86.2836 (560)40.9942 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb-frb35-17-5.wcnf18.1954 (560)13.8776 (560)6.39676 (560)156.244 (560)75.6308 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb-frb40-19-2.wcnf15.3894 (720)21.0568 (720)42.0875 (720)117.253 (720)181.509 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb-frb40-19-5.wcnf112.828 (720)166.999 (720)92.8006 (720)759.558 (720)320.168 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dalculus-f1-DataDisplay_0_order4.seq-A-2-1-irabcde.wcnf0.0778411 (2235526)0.0745819 (2235526)0.04567 (2235526)0.268071 (2235526)0.113309 (2235526)0.0090081 (2235526)0.00882399 (2235526)0.00989 (2235526)0.048008 (2235526)
dalculus-f1-DataDisplay_0_order4.seq-A-2-2-irEDCBA.wcnf0.078188 (2274838)0.075535 (2274838)0.108779 (2274838)0.243134 (2274838)0.225313 (2274838)0.00896888 (2274838)0.00855909 (2274838)0.0110359 (2274838)0.0736971 (2274838)
dalculus-f1-DataDisplay_0_order4.seq-A-2-combined-EDCBAir.wcnf0.079307 (6223203)0.0757579 (6223203)0.178087 (6223203)0.0603541 (6223203)0.0565881 (6223203)0.0111259 (6223203)0.0103031 (6223203)0.00980788 (6223203)0.0722479 (6223203)
dalculus-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.wcnf0.0735621 (5955300)0.0731931 (5955300)0.0135881 (5955300)0.0199301 (5955300)0.019506 (5955300)0.0101339 (5955300)0.00847406 (5955300)0.0103959 (5955300)0.0276519 (5955300)
dalculus-f1-DataDisplay_0_order4.seq-A-3-combined-EDCBAir.wcnf0.0749789 (6240245)0.0751839 (6240245)0.0234701 (6240245)0.0121921 (6240245)0.0244521 (6240245)0.00908989 (6240245)0.010053 (6240245)0.0112749 (6240245)0.03894 (6240245)
dalculus-f1-DataDisplay_0_order4.seq-A-3-combined-irEDCBA.wcnf0.076057 (5986663)0.076306 (5986663)0.0227861 (5986663)0.017179 (5986663)0.0283609 (5986663)0.010314 (5986663)0.0106969 (5986663)0.0102071 (5986663)0.0417671 (5986663)
dalculus-f1-DataDisplay_0_order4.seq-B-2-1-EDCBAir.wcnf0.0785569 (5876811)0.0751339 (5876811)0.470273 (5876811)0.091285 (5876811)0.073844 (5876811)0.011178 (5876811)0.011168 (5876811)0.010173 (5876811)0.0670459 (5876811)
dalculus-f1-DataDisplay_0_order4.seq-B-2-1-abcdeir.wcnf0.078029 (236907)0.0745721 (236907)0.0631889 (236907)0.055384 (236907)0.0444739 (236907)0.012163 (236907)0.00891292 (236907)0.00968188 (236907)0.050429 (236907)
dalculus-f1-DataDisplay_0_order4.seq-B-2-2-abcdeir.wcnf0.075206 (53533)0.074249 (53533)0.019863 (53533)0.0111149 (53533)0.0149911 (53533)0.00977692 (53533)0.00887807 (53533)0.0118431 (53533)0.0392869 (53533)
dalculus-f1-DataDisplay_0_order4.seq-B-2-combined-abcdeir.wcnf0.077028 (53533)0.075407 (53533)0.020464 (53533)0.017888 (53533)0.021714 (53533)0.00980388 (53533)0.01027 (53533)0.0086189 (53533)0.0729839 (53533)
dalculus-f1-DataDisplay_0_order4.seq-B-2-combined-irEDCBA.wcnf0.0788401 (2271302)0.07594 (2271302)0.136214 (2271302)0.312161 (2271302)0.347383 (2271302)0.0116721 (2271302)0.00982599 (2271302)0.00827702 (2271302)0.138747 (2271302)
dalculus-f1-DataDisplay_0_order4.seq-B-2-combined-irabcde.wcnf0.0788011 (2215743)0.0757549 (2215743)0.115412 (2215743)0.158841 (2215743)0.156876 (2215743)0.00893311 (2215743)0.0755699 (2215743)0.0082101 (2215743)0.052568 (2215743)
dalculus-f1-DataDisplay_0_order4.seq-B-3-1-abcdeir.wcnf0.0737541 (389789)0.0729269 (389789)0.0127379 (389789)0.0176651 (389789)0.0188881 (389789)0.010513 (389789)0.00932589 (389789)0.00929809 (389789)0.0261589 (389789)
dalculus-f49-DC_TotalLoss.seq-A-2-1-abcdeir.wcnf0.862652 (27698412327)0.480208 (27698412327)7.89976 (27698412327)3011.22 (27698412327)3600.0 (-)0.126289 (27698412327)0.140538 (27698412327)0.125222 (27698412327)3.21455 (27698412327)
dalculus-f49-DC_TotalLoss.seq-A-2-1-irEDCBA.wcnf0.631932 (14779649425)0.405704 (14779649425)2.13445 (14779649425)3600.0 (-)3600.0 (-)0.0798021 (14779649425)0.192661 (14779649425)0.279682 (14779649425)2.90867 (14779649425)
dalculus-f49-DC_TotalLoss.seq-A-2-1-irabcde.wcnf0.623937 (14750272441)0.393122 (14750272441)0.896123 (14750272441)3600.0 (-)3600.0 (-)0.080279 (14750272441)0.0837499 (14750272441)0.114955 (14750272441)1.47898 (14750272441)
dalculus-f49-DC_TotalLoss.seq-A-2-2-abcdeir.wcnf0.341984 (1506908822)0.309737 (1506908822)1.98014 (1506908822)0.267875 (1506908822)1.69308 (1506908822)0.0562801 (1506908822)0.0850851 (1506908822)0.101743 (1506908822)11.2546 (1506908822)
dalculus-f49-DC_TotalLoss.seq-A-3-1-abcdeir.wcnf0.988151 (38771710156)0.795759 (38771710156)0.926134 (38771710156)1.11046 (38771710156)11.056 (38771710156)0.183291 (38771710156)0.183739 (38771710156)0.179229 (38771710156)1.84351 (38771710156)
dalculus-f49-DC_TotalLoss.seq-A-3-1-irabcde.wcnf1.04169 (87192075247)0.763423 (87192075247)0.757431 (87192075247)1.5313 (87192075247)9.90039 (87192075247)0.152823 (87192075247)0.187393 (87192075247)0.223898 (87192075247)1.37999 (87192075247)
dalculus-f49-DC_TotalLoss.seq-A-3-2-EDCBAir.wcnf0.878304 (119591487863)0.700536 (119591487863)0.968864 (119591487863)0.989425 (119591487863)10.0358 (119591487863)0.177437 (119591487863)0.168555 (119591487863)0.272203 (119591487863)1.75799 (119591487870)
dalculus-f49-DC_TotalLoss.seq-A-3-combined-abcdeir.wcnf0.995343 (2109343556)0.829774 (2109343556)1.1745 (2109343556)1.0601 (2109343556)9.63122 (2109343556)0.214643 (2109343556)0.17986 (2109343556)0.269004 (2109343556)2.99282 (2109343556)
dalculus-f49-DC_TotalLoss.seq-B-2-1-abcdeir.wcnf0.840674 (814659519)0.489638 (814659519)10.6989 (814659519)3245.62 (814659519)3600.0 (-)0.121344 (814659519)0.131704 (814659519)0.176028 (814659519)7.30145 (814659519)
dalculus-f49-DC_TotalLoss.seq-B-2-2-irEDCBA.wcnf0.576488 (14779157155)0.380432 (14779157155)3.67048 (14779157155)3600.0 (-)3600.0 (-)0.0821149 (14779157155)0.428747 (14779157155)0.360775 (14779157155)5.53285 (14779157155)
dalculus-f49-DC_TotalLoss.seq-B-3-combined-abcdeir.wcnf0.922615 (62041376)0.850441 (62041376)1.17485 (62041376)1.13604 (62041376)2.62687 (62041376)0.213989 (62041376)0.229362 (62041376)0.269802 (62041376)3.20747 (62041376)
dalculus-f49-DC_TotalLoss.seq-B-3-combined-irabcde.wcnf1.11918 (87177360578)0.870703 (87177360578)1.51068 (87177360578)1.18955 (87177360578)8.41654 (87177360578)0.202936 (87177360578)0.210636 (87177360578)0.291526 (87177360578)2.89702 (87177360578)
mancoosi-mancoosi-test-i3000d0u98-53.wcnf5.57195 (573137017)5.52103 (573137017)2.13742 (573137017)2246.01 (573137017)3600.0 (-)0.545304 (573137017)1.12359 (573137017)8.95489 (573137017)1.13283 (573137017)
mancoosi-mancoosi-test-i3000d0u98-54.wcnf5.79894 (573137062)5.79432 (573137062)2.25215 (573137062)115.049 (573137062)552.731 (573137062)0.599859 (573137062)1.16709 (573137062)10.1018 (573137062)1.22225 (573137062)
mancoosi-mancoosi-test-i3000d0u98-55.wcnf5.33528 (528002690)5.24895 (528002690)2.06973 (528002690)286.321 (528002690)785.916 (528002690)0.551154 (528002690)1.00782 (528002690)8.99257 (528002690)1.15024 (528002690)
mancoosi-mancoosi-test-i3000d0u98-56.wcnf5.33739 (482868432)5.32493 (482868432)1.99794 (482868432)102.428 (482868432)219.654 (482868432)0.515866 (482868432)1.00689 (482868432)8.50582 (482868432)1.13521 (482868432)
mancoosi-mancoosi-test-i3000d0u98-58.wcnf5.73551 (527911930)5.72315 (527911930)2.62487 (527911930)149.804 (527911930)342.437 (527911930)0.526597 (527911930)1.10113 (527911930)9.42552 (527911930)1.14169 (527911930)
mancoosi-mancoosi-test-i3000d0u98-60.wcnf5.62109 (648142779)5.5908 (648142779)2.18516 (648142779)1349.37 (648142779)3600.0 (-)0.555906 (648142779)1.06003 (648142779)9.39409 (648142779)1.07611 (648142779)
mancoosi-mancoosi-test-i3000d0u98-62.wcnf5.81305 (527930109)5.75783 (527930109)2.18105 (527930109)103.206 (527930109)729.456 (527930109)0.579662 (527930109)1.13581 (527930109)10.0449 (527930109)1.19701 (527930109)
mancoosi-mancoosi-test-i3000d0u98-64.wcnf5.6961 (572991690)5.76108 (572991690)2.2757 (572991690)228.437 (572991690)977.812 (572991690)0.567042 (572991690)1.11599 (572991690)9.66211 (572991690)1.19184 (572991690)
mancoosi-mancoosi-test-i3000d0u98-66.wcnf5.49211 (512939800)5.46735 (512939800)2.07424 (512939800)60.3411 (512939800)144.814 (512939800)0.561052 (512939800)1.05048 (512939800)9.13229 (512939800)1.27164 (512939800)
mancoosi-mancoosi-test-i3000d0u98-70.wcnf5.65594 (512958012)5.64807 (512958012)2.24257 (512958012)350.349 (512958012)704.116 (512958012)0.565585 (512958012)1.1676 (512958012)9.50478 (512958012)1.19775 (512958012)
mancoosi-mancoosi-test-i3000d0u98-71.wcnf6.02585 (467969155)6.10688 (467969155)2.33259 (467969155)105.28 (467969155)265.252 (467969155)0.597784 (467969155)1.23882 (467969155)10.7989 (467969155)1.21203 (467969155)
mancoosi-mancoosi-test-i3000d0u98-73.wcnf5.70536 (527875592)5.69694 (527875592)2.18655 (527875592)60.9808 (527875592)153.571 (527875592)0.556176 (527875592)1.13221 (527875592)9.98517 (527875592)1.19335 (527875592)
mancoosi-mancoosi-test-i3000d0u98-74.wcnf5.93021 (588109173)5.8984 (588109173)2.3915 (588109173)100.41 (588109173)240.785 (588109173)0.587235 (588109173)1.19935 (588109173)10.8402 (588109173)1.3024 (588109173)
mancoosi-mancoosi-test-i4000d0u98-75.wcnf5.79481 (828534617)5.78176 (828534617)2.34273 (828534617)2365.17 (828534617)3600.0 (-)0.623982 (828534617)1.31728 (828534617)12.0871 (828534617)1.29179 (828534617)
mancoosi-mancoosi-test-i4000d0u98-79.wcnf5.31152 (753510586)5.28238 (753510586)2.30985 (753510586)1368.28 (753510586)3600.0 (-)0.547333 (753510586)1.13131 (753510586)9.69247 (753510586)1.0989 (753510586)
mancoosi-mancoosi-test-i4000d0u98-80.wcnf5.76017 (828516449)5.80739 (828516449)2.42575 (828516449)3600.0 (-)3600.0 (-)0.593458 (828516449)1.28871 (828516449)11.3094 (828516449)1.27816 (828516449)
mancoosi-mancoosi-test-i4000d0u98-83.wcnf5.91992 (843633917)5.87641 (843633917)2.32976 (843633917)3600.0 (-)3600.0 (-)0.630228 (843633917)1.33363 (843633917)11.8079 (843633917)1.23465 (843633917)
mancoosi-mancoosi-test-i4000d0u98-84.wcnf5.66476 (858696784)5.69805 (858696784)2.3012 (858696784)3600.0 (-)3600.0 (-)0.571613 (858696784)1.23648 (858696784)10.6909 (858696784)1.17369 (858696784)
mancoosi-mancoosi-test-i4000d0u98-85.wcnf5.88899 (723330351)5.9241 (723330351)2.42979 (723330351)3600.0 (-)3600.0 (-)0.592703 (723330351)1.34029 (723330351)11.7873 (723330351)1.14541 (723330351)
mancoosi-mancoosi-test-i4000d0u98-86.wcnf5.49247 (918694091)5.43652 (918694091)2.21308 (918694091)1317.61 (918694091)3600.0 (-)0.572182 (918694091)1.17361 (918694091)10.2075 (918694091)1.13278 (918694091)
mancoosi-mancoosi-test-i4000d0u98-87.wcnf5.50881 (873596159)5.46574 (873596159)2.14376 (873596159)3600.0 (-)3600.0 (-)0.565623 (873596159)1.18982 (873596159)10.5428 (873596159)1.23728 (873596159)
mancoosi-mancoosi-test-i4000d0u98-88.wcnf5.58354 (738338700)5.56448 (738338700)2.22858 (738338700)3600.0 (-)3600.0 (-)0.554631 (738338700)1.20108 (738338700)10.3286 (738338700)1.15339 (738338700)
mancoosi-mancoosi-test-i4000d0u98-94.wcnf5.39217 (843524790)5.34352 (843524790)2.09827 (843524790)763.276 (843524790)3600.0 (-)0.574857 (843524790)1.16154 (843524790)10.1397 (843524790)1.14315 (843524790)
mancoosi-mancoosi-test-i4000d0u98-98.wcnf5.51377 (828443727)5.49674 (828443727)2.11221 (828443727)3266.14 (828443727)3600.0 (-)0.555833 (828443727)1.21297 (828443727)10.3765 (828443727)1.23299 (828443727)
mancoosi-mancoosi-test-i4000d0u98-99.wcnf5.49444 (768391869)5.47615 (768391869)2.20119 (768391869)3600.0 (-)3600.0 (-)0.568345 (768391869)1.23155 (768391869)10.864 (768391869)1.17481 (768391869)