The results below are organized as follows:
- each table below displays various solvers’ performance for individual problem instances for the given task and time limit
- table values are normalized scores for each evaluated problem as outlined in Evaluation Criteria
overall
20sec
| Problem |
AbstractionSampling |
baseline |
ibia-pr |
lbp-pr |
uai14-pr |
wmbsearch-aobfs-pr |
| 1a7w |
100.0 (-1.0) |
0.0 (0.9) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
74.3 (-1.5) |
| 1aie |
99.4 (2.8) |
0.0 (2.9) |
100.0 (2.8) |
0.0 (nan) |
100.0 (2.8) |
0.0 (-inf) |
| 1b2v |
100.0 (-53.4) |
0.0 (-46.7) |
100.0 (-53.4) |
0.0 (nan) |
100.0 (-53.4) |
100.0 (-53.4) |
| 1bxv |
100.0 (-9.7) |
0.0 (-6.4) |
100.0 (-9.7) |
0.0 (nan) |
100.0 (-9.7) |
0.0 (-inf) |
| 1cpq |
99.9 (-21.7) |
0.0 (-15.9) |
100.0 (-21.7) |
0.0 (nan) |
100.0 (-21.7) |
0.0 (nan) |
| 1ctj |
99.8 (-13.3) |
0.0 (-9.8) |
100.0 (-13.3) |
0.0 (nan) |
100.0 (-13.3) |
0.0 (nan) |
| 1cxy |
100.0 (-38.0) |
0.0 (-30.7) |
100.0 (-38.0) |
100.0 (-38.0) |
100.0 (-38.0) |
100.0 (-38.0) |
| 1f94 |
99.9 (-61.4) |
0.0 (-59.5) |
100.0 (-61.4) |
99.7 (-61.4) |
100.0 (-61.4) |
0.0 (-inf) |
| 1fas |
0.0 (nan) |
0.0 (-32.2) |
100.0 (-33.3) |
0.0 (nan) |
100.0 (-33.3) |
0.0 (nan) |
| 1g6x |
0.0 (nan) |
0.0 (-24.3) |
100.0 (-27.2) |
0.0 (nan) |
100.0 (-27.2) |
99.8 (-27.2) |
| 1jer |
100.0 (-31.5) |
0.0 (-21.1) |
100.0 (-31.5) |
0.0 (nan) |
100.0 (-31.5) |
0.0 (-inf) |
| 1kp6 |
99.9 (-45.1) |
0.0 (-39.2) |
100.0 (-45.1) |
0.0 (nan) |
100.0 (-45.1) |
0.0 (-inf) |
| 1nkd |
100.0 (-8.8) |
0.0 (-4.9) |
100.0 (-8.8) |
0.0 (nan) |
100.0 (-8.8) |
0.0 (nan) |
| 1npl |
100.0 (-42.9) |
0.0 (-30.8) |
100.0 (-42.9) |
0.0 (nan) |
100.0 (-42.9) |
0.0 (-inf) |
| 1qt9 |
0.0 (nan) |
0.0 (-39.2) |
100.0 (-59.7) |
100.0 (-59.7) |
100.0 (-59.7) |
0.0 (-inf) |
| 1rfs |
100.0 (-50.6) |
0.0 (-23.7) |
100.0 (-50.6) |
100.0 (-50.6) |
100.0 (-50.6) |
0.0 (-inf) |
| 1svy |
100.0 (-38.6) |
0.0 (-29.3) |
100.0 (-38.6) |
100.0 (-38.6) |
100.0 (-38.6) |
0.0 (nan) |
| 1vfy |
0.0 (nan) |
0.0 (-18.1) |
100.0 (-20.1) |
100.0 (-20.1) |
100.0 (-20.1) |
0.0 (-inf) |
| 2rta |
100.0 (-55.2) |
0.0 (-38.3) |
100.0 (-55.2) |
0.0 (nan) |
100.0 (-55.2) |
100.0 (-55.2) |
| BN_12 |
100.0 (-3.6) |
0.0 (-0.3) |
100.0 (-3.6) |
99.9 (-3.6) |
100.0 (-3.6) |
99.5 (-3.6) |
| BN_13 |
100.0 (-2.3) |
0.0 (2.5) |
100.0 (-2.3) |
100.0 (-2.3) |
100.0 (-2.3) |
98.3 (-2.4) |
| BN_15 |
100.0 (-5.7) |
0.0 (-1.0) |
100.0 (-5.7) |
100.0 (-5.7) |
100.0 (-5.7) |
94.1 (-6.0) |
| BN_31 |
99.7 (-11.4) |
0.0 (116.3) |
100.0 (-11.0) |
0.0 (nan) |
100.0 (-11.0) |
0.0 (nan) |
| BN_74 |
99.7 (-0.5) |
0.0 (153.5) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| blockmap_10_01-0006 |
0.0 (-inf) |
0.0 (94.8) |
0.0 (nan) |
0.0 (nan) |
74.3 (23.5) |
0.0 (nan) |
| blockmap_10_01-0009 |
100.0 (-1.0) |
0.0 (3.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (5.6) |
0.0 (nan) |
| blockmap_10_02-0009 |
99.8 (-2.2) |
0.0 (11.9) |
0.0 (nan) |
0.0 (nan) |
40.1 (6.2) |
0.0 (nan) |
| blockmap_10_03-0009 |
100.0 (-3.2) |
0.0 (-1.1) |
0.0 (nan) |
0.0 (nan) |
0.0 (0.5) |
0.0 (nan) |
| blockmap_10_03-0010 |
100.0 (-2.9) |
0.0 (8.6) |
0.0 (nan) |
0.0 (nan) |
11.2 (7.3) |
0.0 (nan) |
| blockmap_15_01-0008 |
100.0 (-1.2) |
0.0 (-1.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (124.3) |
0.0 (nan) |
| blockmap_15_02-0008 |
100.0 (-2.4) |
0.0 (-1.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (66.8) |
0.0 (nan) |
| blockmap_15_03-0008 |
0.0 (-inf) |
0.0 (30.0) |
0.0 (nan) |
0.0 (nan) |
0.0 (314.1) |
0.0 (nan) |
| blockmap_15_03-0010 |
100.0 (-3.1) |
0.0 (-2.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (177.2) |
0.0 (nan) |
| blockmap_20_01-0009 |
100.0 (-1.3) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (45.6) |
0.0 (nan) |
| blockmap_20_02-0009 |
0.0 (nan) |
0.0 (-2.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (691.0) |
0.0 (nan) |
| blockmap_20_03-0010 |
0.0 (nan) |
0.0 (-3.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (616.9) |
0.0 (nan) |
| blockmap_22_01-0006 |
0.0 (nan) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (809.8) |
0.0 (nan) |
| blockmap_22_03-0009 |
0.0 (nan) |
0.0 (-3.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (-76.9) |
0.0 (nan) |
| bwt3ac.wcsp |
98.7 (-0.1) |
0.0 (11.7) |
100.0 (0.0) |
0.0 (nan) |
99.6 (-0.0) |
100.0 (0.0) |
| fs-07 |
100.0 (-14.8) |
0.0 (-6.4) |
92.8 (-14.1) |
0.0 (nan) |
100.0 (-14.8) |
0.0 (nan) |
| mastermind_03_08_04-0000 |
0.0 (-inf) |
0.0 (249.0) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_03_08_04-0001 |
99.7 (-13.0) |
0.0 (86.6) |
100.0 (-12.7) |
0.0 (nan) |
100.0 (-12.7) |
0.0 (nan) |
| mastermind_03_08_04-0002 |
99.9 (-14.4) |
0.0 (63.9) |
100.0 (-14.5) |
0.0 (nan) |
100.0 (-14.5) |
0.0 (nan) |
| mastermind_03_08_04-0003 |
99.5 (-12.2) |
0.0 (119.0) |
100.0 (-11.5) |
0.0 (nan) |
100.0 (-11.5) |
0.0 (nan) |
| mastermind_03_08_04-0007 |
100.0 (-16.6) |
0.0 (86.6) |
100.0 (-16.6) |
0.0 (nan) |
100.0 (-16.6) |
0.0 (nan) |
| mastermind_03_08_04-0008 |
100.0 (-16.3) |
0.0 (33.9) |
100.0 (-16.3) |
0.0 (nan) |
100.0 (-16.3) |
0.0 (nan) |
| mastermind_03_08_04-0010 |
0.0 (-inf) |
0.0 (149.5) |
100.0 (-14.5) |
0.0 (nan) |
99.6 (-15.2) |
0.0 (nan) |
| mastermind_03_08_04-0011 |
0.0 (-inf) |
0.0 (233.0) |
99.9 (-10.1) |
0.0 (nan) |
99.4 (-11.3) |
0.0 (nan) |
| mastermind_03_08_04-0012 |
0.0 (-inf) |
0.0 (234.5) |
99.9 (-8.3) |
0.0 (nan) |
99.7 (-8.9) |
0.0 (nan) |
| mastermind_03_08_04-0013 |
0.0 (-inf) |
0.0 (233.5) |
99.9 (-8.8) |
0.0 (nan) |
99.4 (-10.1) |
0.0 (nan) |
| mastermind_03_08_04-0014 |
0.0 (-inf) |
0.0 (233.3) |
99.9 (-9.2) |
0.0 (nan) |
99.7 (-9.6) |
0.0 (nan) |
| mastermind_03_08_04-0015 |
0.0 (-inf) |
0.0 (234.0) |
100.0 (-8.0) |
0.0 (nan) |
99.7 (-8.8) |
0.0 (nan) |
| mastermind_03_08_05-0000 |
0.0 (-inf) |
0.0 (409.8) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_03_08_05-0001 |
0.0 (-inf) |
0.0 (203.4) |
0.0 (nan) |
0.0 (nan) |
100.0 (-15.4) |
0.0 (nan) |
| mastermind_03_08_05-0003 |
0.0 (-inf) |
0.0 (171.6) |
0.0 (nan) |
0.0 (nan) |
100.0 (-15.1) |
0.0 (nan) |
| mastermind_03_08_05-0004 |
0.0 (-inf) |
0.0 (227.8) |
0.0 (nan) |
0.0 (nan) |
100.0 (-14.2) |
0.0 (nan) |
| mastermind_03_08_05-0008 |
0.0 (-inf) |
0.0 (310.5) |
0.0 (nan) |
0.0 (nan) |
99.9 (-14.3) |
0.0 (nan) |
| mastermind_03_08_05-0009 |
100.0 (-21.5) |
0.0 (27.9) |
0.0 (nan) |
0.0 (nan) |
86.4 (-14.8) |
0.0 (nan) |
| mastermind_03_08_05-0011 |
0.0 (-inf) |
0.0 (390.4) |
0.0 (nan) |
0.0 (nan) |
98.6 (-15.8) |
0.0 (nan) |
| mastermind_03_08_05-0012 |
0.0 (-inf) |
0.0 (392.2) |
0.0 (nan) |
0.0 (nan) |
98.7 (-14.5) |
0.0 (nan) |
| mastermind_03_08_05-0013 |
0.0 (-inf) |
0.0 (390.4) |
0.0 (nan) |
0.0 (nan) |
98.9 (-13.4) |
0.0 (nan) |
| mastermind_03_08_05-0014 |
0.0 (-inf) |
0.0 (392.9) |
0.0 (nan) |
0.0 (nan) |
99.2 (-12.4) |
0.0 (nan) |
| mastermind_03_08_05-0015 |
0.0 (-inf) |
0.0 (390.2) |
0.0 (nan) |
0.0 (nan) |
99.0 (-14.2) |
0.0 (nan) |
| mastermind_04_08_03-0000 |
100.0 (-0.0) |
0.0 (139.3) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_04_08_03-0011 |
100.0 (-4.7) |
0.0 (128.2) |
100.0 (-4.7) |
0.0 (nan) |
99.8 (-5.0) |
0.0 (nan) |
| mastermind_04_08_03-0012 |
99.9 (-6.2) |
0.0 (128.5) |
100.0 (-6.0) |
0.0 (nan) |
99.9 (-6.1) |
0.0 (nan) |
| mastermind_04_08_03-0013 |
99.9 (-7.4) |
0.0 (127.0) |
100.0 (-7.2) |
0.0 (nan) |
99.9 (-7.3) |
0.0 (nan) |
| mastermind_04_08_03-0014 |
99.5 (-7.1) |
0.0 (127.4) |
100.0 (-6.5) |
0.0 (nan) |
99.6 (-7.0) |
0.0 (nan) |
| mastermind_04_08_03-0015 |
99.7 (-6.7) |
0.0 (128.4) |
100.0 (-7.1) |
0.0 (nan) |
99.9 (-7.2) |
0.0 (nan) |
| mastermind_04_08_04-0000 |
0.0 (-inf) |
0.0 (274.2) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.1) |
0.0 (nan) |
| mastermind_04_08_04-0001 |
0.0 (-inf) |
0.0 (97.0) |
100.0 (-11.7) |
0.0 (nan) |
100.0 (-11.7) |
0.0 (nan) |
| mastermind_04_08_04-0002 |
0.0 (-inf) |
0.0 (127.4) |
100.0 (-12.1) |
0.0 (nan) |
100.0 (-12.1) |
0.0 (nan) |
| mastermind_04_08_04-0003 |
0.0 (-inf) |
0.0 (107.7) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_04_08_04-0004 |
98.2 (-14.0) |
0.0 (143.1) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_04_08_04-0005 |
0.0 (-inf) |
0.0 (79.4) |
100.0 (-15.9) |
0.0 (nan) |
100.0 (-15.9) |
0.0 (nan) |
| mastermind_04_08_04-0011 |
0.0 (-inf) |
0.0 (258.0) |
0.0 (nan) |
0.0 (nan) |
99.2 (-10.4) |
0.0 (nan) |
| mastermind_04_08_04-0012 |
0.0 (-inf) |
0.0 (259.5) |
0.0 (nan) |
0.0 (nan) |
99.5 (-9.4) |
0.0 (nan) |
| mastermind_04_08_04-0013 |
0.0 (-inf) |
0.0 (259.1) |
0.0 (nan) |
0.0 (nan) |
98.8 (-10.3) |
0.0 (nan) |
| mastermind_04_08_04-0014 |
0.0 (-inf) |
0.0 (259.1) |
0.0 (nan) |
0.0 (nan) |
99.3 (-10.6) |
0.0 (nan) |
| mastermind_04_08_04-0015 |
0.0 (-inf) |
0.0 (260.0) |
0.0 (nan) |
0.0 (nan) |
99.1 (-10.1) |
0.0 (nan) |
| mastermind_05_08_03-0000 |
99.8 (-0.3) |
0.0 (150.1) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_05_08_03-0001 |
100.0 (-9.8) |
0.0 (58.1) |
100.0 (-9.8) |
0.0 (nan) |
100.0 (-9.8) |
0.0 (nan) |
| mastermind_05_08_03-0002 |
100.0 (-12.3) |
0.0 (43.8) |
100.0 (-12.2) |
0.0 (nan) |
100.0 (-12.2) |
0.0 (nan) |
| mastermind_05_08_03-0003 |
100.0 (-8.6) |
0.0 (70.9) |
100.0 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| mastermind_05_08_03-0004 |
100.0 (-11.7) |
0.0 (43.9) |
100.0 (-11.6) |
0.0 (nan) |
100.0 (-11.6) |
0.0 (nan) |
| mastermind_05_08_03-0009 |
100.0 (-8.0) |
0.0 (98.9) |
100.0 (-8.0) |
0.0 (nan) |
99.7 (-8.3) |
0.0 (nan) |
| mastermind_05_08_03-0011 |
99.1 (-7.5) |
0.0 (139.6) |
99.9 (-6.3) |
0.0 (nan) |
99.9 (-6.3) |
0.0 (nan) |
| mastermind_05_08_03-0012 |
99.7 (-8.0) |
0.0 (138.7) |
99.6 (-8.2) |
0.0 (nan) |
99.9 (-7.8) |
0.0 (nan) |
| mastermind_05_08_03-0013 |
99.8 (-7.0) |
0.0 (138.8) |
100.0 (-6.6) |
0.0 (nan) |
99.8 (-6.4) |
0.0 (nan) |
| mastermind_05_08_03-0014 |
99.9 (-5.1) |
0.0 (139.5) |
100.0 (-4.9) |
0.0 (nan) |
99.9 (-4.8) |
0.0 (nan) |
| mastermind_05_08_03-0015 |
98.5 (-8.5) |
0.0 (140.2) |
99.9 (-6.1) |
0.0 (nan) |
99.9 (-6.1) |
0.0 (nan) |
| mastermind_06_08_03-0000 |
0.0 (-inf) |
0.0 (160.4) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_06_08_03-0001 |
100.0 (-12.6) |
0.0 (18.6) |
100.0 (-12.6) |
0.0 (nan) |
100.0 (-12.6) |
0.0 (nan) |
| mastermind_06_08_03-0002 |
100.0 (-10.5) |
0.0 (51.4) |
100.0 (-10.5) |
0.0 (nan) |
100.0 (-10.5) |
0.0 (nan) |
| mastermind_06_08_03-0003 |
100.0 (-11.2) |
0.0 (33.5) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_06_08_03-0005 |
100.0 (-11.9) |
0.0 (10.4) |
100.0 (-11.9) |
0.0 (nan) |
100.0 (-11.9) |
0.0 (nan) |
| mastermind_06_08_03-0009 |
99.9 (-8.2) |
0.0 (98.2) |
100.0 (-8.4) |
0.0 (nan) |
99.9 (-8.5) |
0.0 (nan) |
| mastermind_06_08_03-0011 |
0.0 (-inf) |
0.0 (148.5) |
99.9 (-4.9) |
0.0 (nan) |
99.1 (-6.1) |
0.0 (nan) |
| mastermind_06_08_03-0012 |
0.0 (-inf) |
0.0 (149.4) |
100.0 (-5.9) |
0.0 (nan) |
100.0 (-5.8) |
0.0 (nan) |
| mastermind_06_08_03-0014 |
0.0 (-inf) |
0.0 (149.4) |
100.0 (-6.3) |
0.0 (nan) |
99.9 (-6.1) |
0.0 (nan) |
| mastermind_06_08_03-0015 |
0.0 (-inf) |
0.0 (148.8) |
99.8 (-7.4) |
0.0 (nan) |
99.9 (-7.6) |
0.0 (nan) |
| mastermind_10_08_03-0001 |
0.0 (-inf) |
0.0 (52.8) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_10_08_03-0003 |
0.0 (-inf) |
0.0 (52.3) |
100.0 (-15.5) |
0.0 (nan) |
100.0 (-15.5) |
0.0 (nan) |
| mastermind_10_08_03-0004 |
0.0 (-inf) |
0.0 (26.0) |
100.0 (-16.5) |
0.0 (nan) |
100.0 (-16.5) |
0.0 (nan) |
| mastermind_10_08_03-0008 |
100.0 (-23.2) |
0.0 (-13.4) |
100.0 (-23.2) |
0.0 (nan) |
79.0 (-25.3) |
0.0 (nan) |
| mastermind_10_08_03-0009 |
100.0 (-17.8) |
0.0 (17.5) |
100.0 (-17.8) |
0.0 (nan) |
89.7 (-21.5) |
0.0 (nan) |
| mastermind_10_08_03-0010 |
0.0 (-inf) |
0.0 (112.8) |
100.0 (-10.1) |
0.0 (nan) |
99.9 (-10.1) |
0.0 (nan) |
| myciel5g_3.wcsp |
90.9 (-68.1) |
0.0 (14.3) |
92.3 (-55.4) |
44.3 (-19.1) |
75.7 (-42.9) |
94.5 (-57.1) |
| myciel5g_4.wcsp |
96.4 (-7.0) |
0.0 (22.5) |
64.8 (2.7) |
73.3 (0.1) |
59.4 (4.4) |
63.6 (-19.2) |
| or_chain_1.fg |
87.0 (-11.6) |
0.0 (-4.5) |
97.4 (-10.6) |
0.0 (nan) |
92.2 (-11.2) |
0.0 (nan) |
| or_chain_102.fg |
89.7 (-10.6) |
0.0 (-4.9) |
92.6 (-10.4) |
0.0 (nan) |
90.6 (-10.5) |
0.0 (nan) |
| or_chain_106.fg |
85.0 (-11.1) |
0.0 (-3.4) |
94.9 (-9.7) |
0.0 (nan) |
93.0 (-10.5) |
0.0 (nan) |
| or_chain_107.fg |
92.4 (-12.1) |
0.0 (-4.2) |
99.5 (-11.6) |
0.0 (nan) |
97.0 (-11.8) |
0.0 (nan) |
| or_chain_12.fg |
76.5 (-13.9) |
0.0 (-5.1) |
96.3 (-12.5) |
0.0 (nan) |
93.8 (-12.7) |
0.0 (nan) |
| or_chain_128.fg |
84.1 (-12.2) |
0.0 (-2.9) |
97.3 (-11.1) |
0.0 (nan) |
93.8 (-11.4) |
0.0 (nan) |
| or_chain_132.fg |
98.1 (-8.5) |
0.0 (-2.2) |
93.7 (-8.0) |
0.0 (nan) |
100.0 (-8.4) |
0.0 (nan) |
| or_chain_138.fg |
94.9 (-10.5) |
0.0 (-1.8) |
98.1 (-10.2) |
0.0 (nan) |
100.0 (-10.1) |
0.0 (nan) |
| or_chain_140.fg |
35.1 (-9.4) |
0.0 (0.4) |
98.6 (-5.5) |
0.0 (nan) |
88.9 (-6.2) |
0.0 (nan) |
| or_chain_149.fg |
98.0 (-8.7) |
0.0 (-1.4) |
99.8 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| or_chain_15.fg |
97.6 (-12.0) |
0.0 (-4.7) |
92.6 (-12.4) |
0.0 (nan) |
99.7 (-11.9) |
0.0 (nan) |
| or_chain_150.fg |
75.9 (-8.1) |
0.0 (-3.5) |
80.9 (-8.0) |
0.0 (nan) |
97.2 (-7.4) |
0.0 (nan) |
| or_chain_153.fg |
91.7 (-9.3) |
0.0 (-1.8) |
92.4 (-9.2) |
0.0 (nan) |
95.9 (-9.0) |
0.0 (nan) |
| or_chain_155.fg |
95.0 (-9.6) |
0.0 (-3.4) |
99.8 (-9.9) |
99.0 (-10.0) |
100.0 (-10.0) |
0.0 (nan) |
| or_chain_161.fg |
91.2 (-8.7) |
0.0 (-3.2) |
73.0 (-7.6) |
0.0 (nan) |
97.3 (-9.4) |
0.0 (nan) |
| or_chain_186.fg |
91.6 (-9.1) |
0.0 (-5.6) |
87.2 (-10.0) |
0.0 (nan) |
97.3 (-9.6) |
0.0 (nan) |
| or_chain_188.fg |
95.6 (-12.6) |
0.0 (-5.4) |
99.0 (-12.4) |
0.0 (nan) |
99.2 (-12.4) |
0.0 (nan) |
| or_chain_198.fg |
88.7 (-4.9) |
0.0 (1.3) |
81.3 (-3.3) |
0.0 (nan) |
99.9 (-4.3) |
0.0 (nan) |
| or_chain_209.fg |
82.4 (-12.7) |
0.0 (-4.6) |
91.9 (-12.0) |
0.0 (nan) |
98.9 (-11.5) |
0.0 (nan) |
| or_chain_242.fg |
95.5 (-5.7) |
0.0 (2.4) |
93.9 (-5.8) |
0.0 (nan) |
98.9 (-5.4) |
0.0 (nan) |
| or_chain_4.fg |
85.7 (-12.7) |
0.0 (-4.9) |
93.4 (-12.2) |
0.0 (nan) |
97.1 (-11.9) |
0.0 (nan) |
| or_chain_53.fg |
97.7 (-9.4) |
0.0 (-1.0) |
99.6 (-9.2) |
0.0 (nan) |
100.0 (-9.2) |
0.0 (nan) |
| or_chain_61.fg |
94.0 (-8.3) |
0.0 (-2.3) |
90.0 (-7.4) |
0.0 (nan) |
97.1 (-8.2) |
0.0 (nan) |
| or_chain_64.fg |
94.8 (-9.2) |
0.0 (-1.7) |
99.5 (-8.9) |
0.0 (nan) |
93.5 (-9.3) |
0.0 (nan) |
| or_chain_90.fg |
91.0 (-9.1) |
0.0 (-2.1) |
91.3 (-9.1) |
0.0 (nan) |
88.8 (-9.3) |
0.0 (nan) |
| pedigree51 |
95.3 (-74.0) |
0.0 (-9.0) |
95.4 (-74.1) |
0.0 (nan) |
96.0 (-74.5) |
0.0 (nan) |
| queen5_5_3.wcsp |
99.0 (-114.3) |
0.0 (7.7) |
96.3 (-108.6) |
0.0 (nan) |
79.8 (-88.7) |
99.1 (-112.0) |
| queen5_5_4.wcsp |
94.6 (-48.9) |
0.0 (12.1) |
83.6 (-36.2) |
29.4 (-4.9) |
64.7 (-25.3) |
91.4 (-50.7) |
| rus2_20_40_0_1 |
99.9 (106.9) |
0.0 (161.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (263.0) |
97.8 (108.1) |
| rus2_20_40_0_2 |
100.0 (120.6) |
0.0 (171.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (318.0) |
100.0 (120.6) |
| rus2_20_40_0_3 |
100.0 (88.2) |
0.0 (143.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (278.3) |
100.0 (88.2) |
| rus2_20_40_1_1 |
100.0 (107.4) |
0.0 (171.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (289.6) |
99.5 (107.7) |
| rus2_20_40_1_2 |
100.0 (104.5) |
0.0 (166.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (254.1) |
99.7 (104.7) |
| rus2_20_40_1_3 |
99.9 (101.6) |
0.0 (175.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (272.4) |
96.2 (104.4) |
| rus2_20_40_2_1 |
99.7 (119.1) |
0.0 (175.7) |
0.0 (nan) |
0.0 (nan) |
0.0 (288.6) |
100.0 (119.3) |
| rus2_20_40_2_2 |
97.0 (116.9) |
0.0 (174.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (317.9) |
100.0 (118.6) |
| rus2_20_40_2_3 |
100.0 (112.4) |
0.0 (176.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (323.9) |
97.4 (114.1) |
| rus2_20_40_3_1 |
97.5 (108.6) |
0.0 (172.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (286.7) |
94.2 (113.8) |
| rus2_20_40_3_2 |
99.8 (141.1) |
0.0 (206.1) |
0.0 (nan) |
0.0 (nan) |
0.0 (320.2) |
96.3 (143.6) |
| rus2_20_40_3_3 |
99.8 (123.4) |
0.0 (191.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (313.3) |
95.1 (126.9) |
| rus2_20_40_4_1 |
100.0 (99.2) |
0.0 (162.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (241.2) |
97.6 (100.7) |
| rus2_20_40_4_2 |
99.9 (107.1) |
0.0 (163.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (347.3) |
99.7 (107.2) |
| rus2_20_40_4_3 |
99.9 (95.1) |
0.0 (162.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (287.4) |
94.9 (98.7) |
| rus2_20_40_5_1 |
99.9 (95.5) |
0.0 (154.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (254.8) |
98.0 (96.6) |
| rus2_20_40_5_2 |
99.8 (88.2) |
0.0 (160.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (258.1) |
92.5 (93.8) |
| rus2_20_40_5_3 |
99.9 (169.9) |
0.0 (227.4) |
0.0 (nan) |
0.0 (nan) |
0.0 (329.9) |
100.0 (169.9) |
| rus2_20_40_6_1 |
100.0 (119.1) |
0.0 (182.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (328.8) |
97.4 (120.8) |
| rus2_20_40_6_2 |
99.8 (68.5) |
0.0 (132.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (154.3) |
95.0 (71.6) |
| rus2_20_40_6_3 |
99.9 (134.1) |
0.0 (199.1) |
0.0 (nan) |
0.0 (nan) |
0.0 (345.9) |
99.7 (134.3) |
| rus2_20_40_7_1 |
99.9 (88.5) |
0.0 (151.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (285.3) |
95.4 (91.4) |
| rus2_20_40_7_2 |
100.0 (111.6) |
0.0 (168.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (252.5) |
99.7 (111.7) |
| rus2_20_40_7_3 |
99.9 (81.4) |
0.0 (141.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (261.2) |
98.3 (82.4) |
| rus2_20_40_8_1 |
100.0 (106.9) |
0.0 (178.4) |
0.0 (nan) |
0.0 (nan) |
0.0 (330.7) |
94.6 (110.8) |
| rus2_20_40_8_2 |
99.9 (99.8) |
0.0 (164.7) |
0.0 (nan) |
0.0 (nan) |
0.0 (326.2) |
94.5 (103.4) |
| rus2_20_40_8_3 |
99.9 (100.5) |
0.0 (168.4) |
0.0 (nan) |
0.0 (nan) |
0.0 (404.0) |
94.5 (104.4) |
| rus2_20_40_9_1 |
100.0 (94.6) |
0.0 (167.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (274.4) |
95.6 (97.7) |
| rus2_20_40_9_2 |
99.1 (95.3) |
0.0 (171.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (311.1) |
93.9 (99.3) |
| rus2_20_40_9_3 |
100.0 (63.6) |
0.0 (139.1) |
0.0 (nan) |
0.0 (nan) |
0.0 (302.9) |
92.7 (69.1) |
| rus_20_40_0_1 |
100.0 (617.3) |
0.0 (828.0) |
0.0 (nan) |
0.0 (nan) |
0.0 (2469.6) |
100.0 (617.3) |
| rus_20_40_0_2 |
100.0 (791.6) |
0.0 (988.1) |
0.0 (nan) |
0.0 (nan) |
0.0 (2444.7) |
100.0 (791.6) |
| rus_20_40_0_3 |
100.0 (903.0) |
0.0 (1097.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2455.5) |
100.0 (903.0) |
| rus_20_40_1_1 |
100.0 (1004.6) |
0.0 (1185.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (2438.8) |
100.0 (1004.7) |
| rus_20_40_1_2 |
100.0 (910.1) |
0.0 (1097.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (2426.4) |
100.0 (910.2) |
| rus_20_40_1_3 |
95.3 (891.4) |
0.0 (1097.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (2453.8) |
100.0 (900.6) |
| rus_20_40_2_1 |
100.0 (797.8) |
0.0 (992.4) |
0.0 (nan) |
0.0 (nan) |
0.0 (2459.6) |
100.0 (797.8) |
| rus_20_40_2_2 |
97.2 (683.7) |
0.0 (886.0) |
0.0 (nan) |
0.0 (nan) |
0.0 (2468.2) |
100.0 (689.3) |
| rus_20_40_2_3 |
95.4 (739.8) |
0.0 (958.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2505.0) |
100.0 (749.3) |
| rus_20_40_3_1 |
99.8 (825.5) |
0.0 (1017.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (2476.5) |
100.0 (825.9) |
| rus_20_40_3_2 |
100.0 (839.0) |
0.0 (1027.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2481.0) |
100.0 (839.0) |
| rus_20_40_3_3 |
100.0 (841.9) |
0.0 (1028.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (2480.4) |
100.0 (841.9) |
| rus_20_40_4_1 |
95.2 (922.7) |
0.0 (1113.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2486.8) |
100.0 (931.5) |
| rus_20_40_4_2 |
99.3 (934.4) |
0.0 (1119.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (2442.0) |
100.0 (935.7) |
| rus_20_40_4_3 |
100.0 (853.3) |
0.0 (1054.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (2438.9) |
100.0 (853.3) |
| rus_20_40_5_1 |
100.0 (875.9) |
0.0 (1059.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (2492.8) |
100.0 (875.9) |
| rus_20_40_5_2 |
98.7 (837.1) |
0.0 (1031.4) |
0.0 (nan) |
0.0 (nan) |
0.0 (2442.6) |
100.0 (839.7) |
| rus_20_40_5_3 |
98.4 (878.7) |
0.0 (1088.9) |
0.0 (nan) |
0.0 (nan) |
0.0 (2430.4) |
100.0 (882.0) |
| rus_20_40_6_1 |
95.1 (713.5) |
0.0 (935.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (2472.8) |
100.0 (723.9) |
| rus_20_40_6_2 |
100.0 (982.4) |
0.0 (1166.7) |
0.0 (nan) |
0.0 (nan) |
0.0 (2432.4) |
100.0 (982.4) |
| rus_20_40_6_3 |
96.3 (959.9) |
0.0 (1152.7) |
0.0 (nan) |
0.0 (nan) |
0.0 (2444.8) |
100.0 (966.7) |
| rus_20_40_7_1 |
100.0 (752.1) |
0.0 (943.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2423.4) |
100.0 (752.1) |
| rus_20_40_7_2 |
100.0 (756.2) |
0.0 (951.7) |
0.0 (nan) |
0.0 (nan) |
0.0 (2454.0) |
100.0 (756.2) |
| rus_20_40_7_3 |
100.0 (869.7) |
0.0 (1064.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (2486.2) |
100.0 (869.7) |
| rus_20_40_8_1 |
99.5 (725.8) |
0.0 (931.5) |
0.0 (nan) |
0.0 (nan) |
0.0 (2477.4) |
100.0 (726.9) |
| rus_20_40_8_2 |
100.0 (898.6) |
0.0 (1083.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (2441.4) |
100.0 (898.7) |
| rus_20_40_8_3 |
98.9 (701.8) |
0.0 (895.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2476.0) |
100.0 (703.8) |
| rus_20_40_9_1 |
90.5 (849.4) |
0.0 (1047.2) |
0.0 (nan) |
0.0 (nan) |
0.0 (2475.0) |
100.0 (866.6) |
| rus_20_40_9_2 |
93.9 (821.6) |
0.0 (1045.8) |
0.0 (nan) |
0.0 (nan) |
0.0 (2488.4) |
100.0 (834.5) |
| rus_20_40_9_3 |
100.0 (864.0) |
0.0 (1052.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (2418.5) |
100.0 (864.0) |
1200sec
| Problem |
AbstractionSampling |
baseline |
ibia-pr |
lbp-pr |
uai14-pr |
wmbsearch-aobfs-pr |
| 1a7w |
0.0 (nan) |
0.0 (0.9) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
99.8 (-1.0) |
| 1aie |
0.0 (nan) |
0.0 (2.9) |
100.0 (2.8) |
0.0 (nan) |
100.0 (2.8) |
100.0 (2.8) |
| 1b2v |
100.0 (-53.4) |
0.0 (-46.7) |
100.0 (-53.4) |
0.0 (nan) |
100.0 (-53.4) |
100.0 (-53.4) |
| 1bxv |
0.0 (nan) |
0.0 (-6.4) |
100.0 (-9.7) |
0.0 (nan) |
100.0 (-9.7) |
0.0 (-inf) |
| 1cpq |
0.0 (nan) |
0.0 (-15.9) |
100.0 (-21.7) |
0.0 (nan) |
100.0 (-21.7) |
0.0 (nan) |
| 1ctj |
100.0 (-13.3) |
0.0 (-9.8) |
100.0 (-13.3) |
0.0 (nan) |
100.0 (-13.3) |
100.0 (-13.3) |
| 1cxy |
0.0 (nan) |
0.0 (-30.7) |
100.0 (-38.0) |
0.0 (nan) |
100.0 (-38.0) |
100.0 (-38.0) |
| 1f94 |
0.0 (nan) |
0.0 (-59.5) |
100.0 (-61.4) |
0.0 (nan) |
100.0 (-61.4) |
100.0 (-61.4) |
| 1fas |
0.0 (nan) |
0.0 (-32.2) |
100.0 (-33.3) |
0.0 (nan) |
100.0 (-33.3) |
0.0 (-inf) |
| 1g6x |
0.0 (nan) |
0.0 (-24.3) |
100.0 (-27.2) |
0.0 (nan) |
100.0 (-27.2) |
100.0 (-27.2) |
| 1jer |
0.0 (nan) |
0.0 (-21.1) |
100.0 (-31.5) |
0.0 (nan) |
100.0 (-31.5) |
100.0 (-31.5) |
| 1kp6 |
0.0 (nan) |
0.0 (-39.2) |
100.0 (-45.1) |
0.0 (nan) |
100.0 (-45.1) |
0.0 (-inf) |
| 1nkd |
0.0 (nan) |
0.0 (-4.9) |
100.0 (-8.8) |
100.0 (-8.8) |
100.0 (-8.8) |
0.0 (nan) |
| 1npl |
0.0 (nan) |
0.0 (-30.8) |
100.0 (-42.9) |
0.0 (nan) |
100.0 (-42.9) |
0.0 (-inf) |
| 1qt9 |
0.0 (nan) |
0.0 (-39.2) |
100.0 (-59.7) |
0.0 (nan) |
100.0 (-59.7) |
0.0 (nan) |
| 1rfs |
0.0 (nan) |
0.0 (-23.7) |
100.0 (-50.6) |
0.0 (nan) |
100.0 (-50.6) |
0.0 (-inf) |
| 1svy |
0.0 (nan) |
0.0 (-29.3) |
100.0 (-38.6) |
0.0 (nan) |
100.0 (-38.6) |
0.0 (nan) |
| 1vfy |
0.0 (nan) |
0.0 (-18.1) |
100.0 (-20.1) |
0.0 (nan) |
100.0 (-20.1) |
0.0 (-inf) |
| 2rta |
0.0 (nan) |
0.0 (-38.3) |
100.0 (-55.2) |
0.0 (nan) |
100.0 (-55.2) |
0.0 (-227.6) |
| BN_12 |
100.0 (-3.6) |
0.0 (-0.3) |
100.0 (-3.6) |
0.0 (nan) |
100.0 (-3.6) |
99.9 (-3.6) |
| BN_13 |
0.0 (nan) |
0.0 (2.5) |
100.0 (-2.3) |
0.0 (nan) |
100.0 (-2.3) |
98.2 (-2.4) |
| BN_15 |
0.0 (nan) |
0.0 (-1.0) |
100.0 (-5.7) |
0.0 (nan) |
100.0 (-5.7) |
97.4 (-5.8) |
| BN_31 |
0.0 (nan) |
0.0 (116.3) |
100.0 (-11.0) |
0.0 (nan) |
100.0 (-11.0) |
0.0 (nan) |
| BN_74 |
100.0 (0.0) |
0.0 (153.5) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| blockmap_10_01-0006 |
100.0 (-1.0) |
0.0 (94.8) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
0.0 (nan) |
| blockmap_10_01-0009 |
0.0 (nan) |
0.0 (3.6) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
0.0 (nan) |
| blockmap_10_02-0009 |
0.0 (nan) |
0.0 (11.9) |
100.0 (-2.2) |
0.0 (nan) |
100.0 (-2.2) |
0.0 (nan) |
| blockmap_10_03-0009 |
100.0 (-3.2) |
0.0 (-1.1) |
100.0 (-3.2) |
0.0 (nan) |
100.0 (-3.2) |
0.0 (nan) |
| blockmap_10_03-0010 |
0.0 (nan) |
0.0 (8.6) |
100.0 (-2.9) |
0.0 (nan) |
100.0 (-2.9) |
0.0 (nan) |
| blockmap_15_01-0008 |
100.0 (-1.2) |
0.0 (-1.2) |
100.0 (-1.2) |
0.0 (nan) |
100.0 (-1.2) |
0.0 (-inf) |
| blockmap_15_02-0008 |
100.0 (-2.4) |
0.0 (-1.9) |
100.0 (-2.4) |
0.0 (nan) |
100.0 (-2.4) |
100.0 (-2.4) |
| blockmap_15_03-0008 |
0.0 (nan) |
0.0 (30.0) |
100.0 (-3.2) |
0.0 (nan) |
91.7 (-0.5) |
0.0 (-inf) |
| blockmap_15_03-0010 |
100.0 (-3.1) |
0.0 (-2.9) |
100.0 (-3.1) |
0.0 (nan) |
100.0 (-3.1) |
100.0 (-3.1) |
| blockmap_20_01-0009 |
100.0 (-1.3) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
100.0 (-1.3) |
100.0 (-1.3) |
| blockmap_20_02-0009 |
100.0 (-2.6) |
0.0 (-2.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (471.0) |
0.0 (-inf) |
| blockmap_20_03-0010 |
100.0 (-4.0) |
0.0 (-3.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (324.6) |
0.0 (-inf) |
| blockmap_22_01-0006 |
100.0 (-1.3) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (545.8) |
0.0 (-inf) |
| blockmap_22_03-0009 |
0.0 (nan) |
0.0 (-3.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (-206.0) |
0.0 (-inf) |
| bwt3ac.wcsp |
100.0 (0.0) |
0.0 (11.7) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
100.0 (0.0) |
| fs-07 |
100.0 (-14.8) |
0.0 (-6.4) |
92.8 (-14.1) |
0.0 (nan) |
100.0 (-14.8) |
0.0 (nan) |
| mastermind_03_08_04-0000 |
0.0 (nan) |
0.0 (249.0) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_03_08_04-0001 |
100.0 (-12.7) |
0.0 (86.6) |
100.0 (-12.7) |
0.0 (nan) |
100.0 (-12.7) |
100.0 (-12.7) |
| mastermind_03_08_04-0002 |
100.0 (-14.5) |
0.0 (63.9) |
100.0 (-14.5) |
0.0 (nan) |
100.0 (-14.5) |
100.0 (-14.5) |
| mastermind_03_08_04-0003 |
100.0 (-11.5) |
0.0 (119.0) |
100.0 (-11.5) |
0.0 (nan) |
100.0 (-11.5) |
100.0 (-11.5) |
| mastermind_03_08_04-0007 |
100.0 (-16.6) |
0.0 (86.6) |
100.0 (-16.6) |
0.0 (nan) |
100.0 (-16.6) |
0.0 (nan) |
| mastermind_03_08_04-0008 |
100.0 (-16.3) |
0.0 (33.9) |
100.0 (-16.3) |
0.0 (nan) |
100.0 (-16.3) |
100.0 (-16.3) |
| mastermind_03_08_04-0010 |
100.0 (-14.5) |
0.0 (149.5) |
100.0 (-14.5) |
0.0 (nan) |
100.0 (-14.5) |
0.0 (nan) |
| mastermind_03_08_04-0011 |
0.0 (nan) |
0.0 (233.0) |
99.7 (-10.5) |
0.0 (nan) |
96.6 (-1.6) |
0.0 (nan) |
| mastermind_03_08_04-0012 |
100.0 (-8.1) |
0.0 (234.5) |
99.9 (-7.8) |
0.0 (nan) |
93.8 (6.9) |
0.0 (nan) |
| mastermind_03_08_04-0013 |
0.0 (nan) |
0.0 (233.5) |
100.0 (-8.7) |
0.0 (nan) |
99.0 (-6.2) |
0.0 (nan) |
| mastermind_03_08_04-0014 |
100.0 (-8.8) |
0.0 (233.3) |
99.9 (-9.1) |
0.0 (nan) |
93.7 (6.4) |
0.0 (nan) |
| mastermind_03_08_04-0015 |
0.0 (nan) |
0.0 (234.0) |
100.0 (-8.1) |
0.0 (nan) |
99.7 (-7.2) |
0.0 (nan) |
| mastermind_03_08_05-0000 |
99.5 (-2.1) |
0.0 (409.8) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_03_08_05-0001 |
100.0 (-15.5) |
0.0 (203.4) |
100.0 (-15.4) |
0.0 (nan) |
100.0 (-15.4) |
0.0 (nan) |
| mastermind_03_08_05-0003 |
100.0 (-15.2) |
0.0 (171.6) |
100.0 (-15.1) |
0.0 (nan) |
100.0 (-15.1) |
0.0 (nan) |
| mastermind_03_08_05-0004 |
100.0 (-14.2) |
0.0 (227.8) |
100.0 (-14.2) |
0.0 (nan) |
100.0 (-14.2) |
0.0 (nan) |
| mastermind_03_08_05-0008 |
0.0 (nan) |
0.0 (310.5) |
100.0 (-14.6) |
98.3 (-20.3) |
100.0 (-14.6) |
0.0 (nan) |
| mastermind_03_08_05-0009 |
100.0 (-21.5) |
0.0 (27.9) |
100.0 (-21.5) |
0.0 (nan) |
100.0 (-21.5) |
0.0 (nan) |
| mastermind_03_08_05-0011 |
0.0 (-inf) |
0.0 (390.4) |
99.4 (-12.6) |
0.0 (nan) |
98.7 (-5.1) |
0.0 (nan) |
| mastermind_03_08_05-0012 |
0.0 (-inf) |
0.0 (392.2) |
99.9 (-9.5) |
0.0 (nan) |
99.8 (-10.2) |
0.0 (nan) |
| mastermind_03_08_05-0013 |
0.0 (-inf) |
0.0 (390.4) |
99.9 (-9.4) |
0.0 (nan) |
99.8 (-7.9) |
0.0 (nan) |
| mastermind_03_08_05-0014 |
0.0 (-inf) |
0.0 (392.9) |
100.0 (-9.2) |
0.0 (nan) |
99.9 (-9.6) |
0.0 (nan) |
| mastermind_03_08_05-0015 |
0.0 (-inf) |
0.0 (390.2) |
99.9 (-9.5) |
0.0 (nan) |
100.0 (-10.2) |
0.0 (nan) |
| mastermind_04_08_03-0000 |
100.0 (0.0) |
0.0 (139.3) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_04_08_03-0011 |
100.0 (-4.7) |
0.0 (128.2) |
100.0 (-4.7) |
0.0 (nan) |
100.0 (-4.7) |
0.0 (nan) |
| mastermind_04_08_03-0012 |
100.0 (-6.0) |
0.0 (128.5) |
100.0 (-6.0) |
0.0 (nan) |
100.0 (-6.0) |
0.0 (nan) |
| mastermind_04_08_03-0013 |
100.0 (-7.2) |
0.0 (127.0) |
100.0 (-7.2) |
0.0 (nan) |
100.0 (-7.2) |
0.0 (nan) |
| mastermind_04_08_03-0014 |
100.0 (-6.5) |
0.0 (127.4) |
100.0 (-6.5) |
0.0 (nan) |
100.0 (-6.5) |
0.0 (nan) |
| mastermind_04_08_03-0015 |
100.0 (-7.1) |
0.0 (128.4) |
100.0 (-7.1) |
0.0 (nan) |
100.0 (-7.1) |
0.0 (nan) |
| mastermind_04_08_04-0000 |
0.0 (nan) |
0.0 (274.2) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_04_08_04-0001 |
0.0 (nan) |
0.0 (97.0) |
100.0 (-11.7) |
0.0 (nan) |
100.0 (-11.7) |
0.0 (nan) |
| mastermind_04_08_04-0002 |
100.0 (-12.1) |
0.0 (127.4) |
100.0 (-12.1) |
0.0 (nan) |
100.0 (-12.1) |
0.0 (nan) |
| mastermind_04_08_04-0003 |
0.0 (nan) |
0.0 (107.7) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_04_08_04-0004 |
100.0 (-11.2) |
0.0 (143.1) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_04_08_04-0005 |
100.0 (-15.9) |
0.0 (79.4) |
100.0 (-15.9) |
0.0 (nan) |
100.0 (-15.9) |
0.0 (nan) |
| mastermind_04_08_04-0011 |
0.0 (nan) |
0.0 (258.0) |
100.0 (-8.3) |
0.0 (nan) |
99.7 (-7.4) |
0.0 (nan) |
| mastermind_04_08_04-0012 |
0.0 (nan) |
0.0 (259.5) |
100.0 (-8.0) |
0.0 (nan) |
94.3 (7.3) |
0.0 (nan) |
| mastermind_04_08_04-0013 |
0.0 (nan) |
0.0 (259.1) |
99.7 (-7.9) |
0.0 (nan) |
99.5 (-5.9) |
0.0 (nan) |
| mastermind_04_08_04-0014 |
0.0 (nan) |
0.0 (259.1) |
99.9 (-9.0) |
0.0 (nan) |
99.9 (-8.5) |
0.0 (nan) |
| mastermind_04_08_04-0015 |
0.0 (nan) |
0.0 (260.0) |
100.0 (-7.7) |
0.0 (nan) |
100.0 (-7.8) |
0.0 (nan) |
| mastermind_05_08_03-0000 |
0.0 (nan) |
0.0 (150.1) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_05_08_03-0001 |
100.0 (-9.8) |
0.0 (58.1) |
100.0 (-9.8) |
0.0 (nan) |
100.0 (-9.8) |
0.0 (nan) |
| mastermind_05_08_03-0002 |
100.0 (-12.2) |
0.0 (43.8) |
100.0 (-12.2) |
0.0 (nan) |
100.0 (-12.2) |
0.0 (nan) |
| mastermind_05_08_03-0003 |
100.0 (-8.6) |
0.0 (70.9) |
100.0 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| mastermind_05_08_03-0004 |
100.0 (-11.6) |
0.0 (43.9) |
100.0 (-11.6) |
0.0 (nan) |
100.0 (-11.6) |
0.0 (nan) |
| mastermind_05_08_03-0009 |
100.0 (-8.0) |
0.0 (98.9) |
100.0 (-8.0) |
0.0 (nan) |
100.0 (-8.0) |
0.0 (nan) |
| mastermind_05_08_03-0011 |
0.0 (nan) |
0.0 (139.6) |
100.0 (-6.2) |
0.0 (nan) |
99.9 (-6.2) |
0.0 (nan) |
| mastermind_05_08_03-0012 |
0.0 (nan) |
0.0 (138.7) |
100.0 (-7.6) |
0.0 (nan) |
100.0 (-7.6) |
0.0 (nan) |
| mastermind_05_08_03-0013 |
0.0 (nan) |
0.0 (138.8) |
100.0 (-6.6) |
0.0 (nan) |
99.8 (-6.3) |
0.0 (nan) |
| mastermind_05_08_03-0014 |
0.0 (nan) |
0.0 (139.5) |
100.0 (-4.9) |
0.0 (nan) |
100.0 (-4.9) |
0.0 (nan) |
| mastermind_05_08_03-0015 |
0.0 (nan) |
0.0 (140.2) |
100.0 (-6.3) |
0.0 (nan) |
100.0 (-6.2) |
0.0 (nan) |
| mastermind_06_08_03-0000 |
0.0 (nan) |
0.0 (160.4) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_06_08_03-0001 |
0.0 (nan) |
0.0 (18.6) |
100.0 (-12.6) |
0.0 (nan) |
100.0 (-12.6) |
0.0 (nan) |
| mastermind_06_08_03-0002 |
0.0 (nan) |
0.0 (51.4) |
100.0 (-10.5) |
0.0 (nan) |
100.0 (-10.5) |
0.0 (nan) |
| mastermind_06_08_03-0003 |
0.0 (nan) |
0.0 (33.5) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_06_08_03-0005 |
0.0 (nan) |
0.0 (10.4) |
100.0 (-11.9) |
0.0 (nan) |
100.0 (-11.9) |
0.0 (nan) |
| mastermind_06_08_03-0009 |
0.0 (nan) |
0.0 (98.2) |
100.0 (-8.4) |
0.0 (nan) |
100.0 (-8.3) |
0.0 (nan) |
| mastermind_06_08_03-0011 |
0.0 (nan) |
0.0 (148.5) |
99.8 (-5.0) |
0.0 (nan) |
99.4 (-5.6) |
0.0 (nan) |
| mastermind_06_08_03-0012 |
0.0 (nan) |
0.0 (149.4) |
100.0 (-5.9) |
0.0 (nan) |
99.9 (-5.8) |
0.0 (nan) |
| mastermind_06_08_03-0014 |
0.0 (nan) |
0.0 (149.4) |
100.0 (-6.3) |
0.0 (nan) |
99.9 (-6.2) |
0.0 (nan) |
| mastermind_06_08_03-0015 |
0.0 (nan) |
0.0 (148.8) |
99.8 (-7.4) |
0.0 (nan) |
99.9 (-7.7) |
0.0 (nan) |
| mastermind_10_08_03-0001 |
100.0 (-13.6) |
0.0 (52.8) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_10_08_03-0003 |
100.0 (-15.6) |
0.0 (52.3) |
100.0 (-15.5) |
0.0 (nan) |
100.0 (-15.6) |
0.0 (nan) |
| mastermind_10_08_03-0004 |
0.0 (nan) |
0.0 (26.0) |
100.0 (-16.5) |
0.0 (nan) |
100.0 (-16.5) |
0.0 (nan) |
| mastermind_10_08_03-0008 |
100.0 (-23.2) |
0.0 (-13.4) |
100.0 (-23.2) |
0.0 (nan) |
100.0 (-23.2) |
0.0 (nan) |
| mastermind_10_08_03-0009 |
100.0 (-17.8) |
0.0 (17.5) |
100.0 (-17.8) |
0.0 (nan) |
89.0 (-21.7) |
0.0 (nan) |
| mastermind_10_08_03-0010 |
100.0 (-10.2) |
0.0 (112.8) |
100.0 (-10.1) |
0.0 (nan) |
99.8 (-9.9) |
0.0 (nan) |
| myciel5g_3.wcsp |
98.3 (-62.5) |
0.0 (14.3) |
96.3 (-58.4) |
0.0 (nan) |
94.6 (-57.2) |
100.0 (-61.2) |
| myciel5g_4.wcsp |
98.7 (-8.5) |
0.0 (22.5) |
79.5 (-1.8) |
0.0 (nan) |
50.8 (7.0) |
92.5 (-5.7) |
| or_chain_1.fg |
0.0 (nan) |
0.0 (-4.5) |
91.4 (-11.3) |
0.0 (nan) |
93.1 (-11.2) |
0.0 (nan) |
| or_chain_102.fg |
0.0 (nan) |
0.0 (-4.9) |
94.0 (-10.4) |
0.0 (nan) |
92.6 (-10.4) |
0.0 (nan) |
| or_chain_106.fg |
0.0 (nan) |
0.0 (-3.4) |
95.5 (-10.4) |
0.0 (nan) |
93.7 (-10.5) |
0.0 (nan) |
| or_chain_107.fg |
0.0 (nan) |
0.0 (-4.2) |
99.2 (-11.6) |
0.0 (nan) |
97.7 (-11.7) |
0.0 (nan) |
| or_chain_12.fg |
95.8 (-12.5) |
0.0 (-5.1) |
97.1 (-12.4) |
0.0 (nan) |
95.5 (-12.6) |
0.0 (nan) |
| or_chain_128.fg |
96.3 (-11.2) |
0.0 (-2.9) |
92.0 (-11.6) |
0.0 (nan) |
96.4 (-11.2) |
0.0 (nan) |
| or_chain_132.fg |
100.0 (-8.4) |
0.0 (-2.2) |
97.5 (-8.6) |
0.0 (nan) |
100.0 (-8.4) |
0.0 (nan) |
| or_chain_138.fg |
0.0 (nan) |
0.0 (-1.8) |
99.7 (-10.1) |
0.0 (nan) |
100.0 (-10.1) |
0.0 (nan) |
| or_chain_140.fg |
84.8 (-4.6) |
0.0 (0.4) |
97.3 (-5.4) |
0.0 (nan) |
93.9 (-5.9) |
0.0 (nan) |
| or_chain_149.fg |
100.0 (-8.6) |
0.0 (-1.4) |
99.9 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| or_chain_15.fg |
0.0 (nan) |
0.0 (-4.7) |
99.6 (-11.8) |
0.0 (nan) |
99.8 (-11.9) |
0.0 (nan) |
| or_chain_150.fg |
99.8 (-7.3) |
0.0 (-3.5) |
93.1 (-7.5) |
0.0 (nan) |
99.5 (-7.3) |
0.0 (nan) |
| or_chain_153.fg |
100.0 (-8.7) |
0.0 (-1.8) |
95.6 (-9.0) |
0.0 (nan) |
99.4 (-8.7) |
0.0 (nan) |
| or_chain_155.fg |
0.0 (nan) |
0.0 (-3.4) |
100.0 (-9.9) |
0.0 (nan) |
99.9 (-9.9) |
0.0 (nan) |
| or_chain_161.fg |
0.0 (nan) |
0.0 (-3.2) |
97.2 (-9.4) |
0.0 (nan) |
99.7 (-9.3) |
0.0 (nan) |
| or_chain_186.fg |
100.0 (-9.5) |
0.0 (-5.6) |
99.4 (-9.5) |
0.0 (nan) |
99.1 (-9.5) |
0.0 (nan) |
| or_chain_188.fg |
100.0 (-12.3) |
0.0 (-5.4) |
99.2 (-12.3) |
0.0 (nan) |
100.0 (-12.3) |
0.0 (nan) |
| or_chain_198.fg |
0.0 (nan) |
0.0 (1.3) |
81.3 (-3.3) |
0.0 (nan) |
100.0 (-4.3) |
0.0 (nan) |
| or_chain_209.fg |
100.0 (-11.5) |
0.0 (-4.6) |
98.9 (-11.5) |
0.0 (nan) |
100.0 (-11.5) |
0.0 (nan) |
| or_chain_242.fg |
0.0 (nan) |
0.0 (2.4) |
99.9 (-5.4) |
0.0 (nan) |
98.9 (-5.4) |
0.0 (nan) |
| or_chain_4.fg |
0.0 (nan) |
0.0 (-4.9) |
97.7 (-11.9) |
0.0 (nan) |
99.5 (-11.8) |
0.0 (nan) |
| or_chain_53.fg |
99.9 (-9.2) |
0.0 (-1.0) |
86.8 (-8.1) |
0.0 (nan) |
100.0 (-9.2) |
0.0 (nan) |
| or_chain_61.fg |
99.7 (-8.0) |
0.0 (-2.3) |
88.0 (-7.3) |
0.0 (nan) |
97.2 (-8.2) |
0.0 (nan) |
| or_chain_64.fg |
100.0 (-8.8) |
0.0 (-1.7) |
90.3 (-8.2) |
0.0 (nan) |
100.0 (-8.8) |
0.0 (nan) |
| or_chain_90.fg |
95.3 (-8.8) |
0.0 (-2.1) |
94.2 (-8.9) |
0.0 (nan) |
95.3 (-8.8) |
0.0 (nan) |
| pedigree51 |
95.0 (-73.9) |
0.0 (-9.0) |
95.1 (-73.9) |
99.2 (-76.7) |
94.6 (-73.6) |
0.0 (nan) |
| queen5_5_3.wcsp |
100.0 (-113.0) |
0.0 (7.7) |
96.3 (-108.6) |
0.0 (nan) |
99.9 (-113.1) |
100.0 (-113.0) |
| queen5_5_4.wcsp |
98.6 (-46.5) |
0.0 (12.1) |
97.8 (-44.4) |
0.0 (nan) |
83.4 (-36.1) |
97.7 (-44.4) |
| rus2_20_40_0_1 |
0.0 (nan) |
0.0 (161.5) |
99.9 (107.0) |
0.0 (nan) |
100.0 (106.9) |
0.0 (nan) |
| rus2_20_40_0_2 |
0.0 (nan) |
0.0 (171.9) |
99.7 (120.8) |
0.0 (nan) |
100.0 (120.6) |
0.0 (nan) |
| rus2_20_40_0_3 |
0.0 (nan) |
0.0 (143.3) |
99.9 (88.2) |
0.0 (nan) |
100.0 (88.2) |
0.0 (nan) |
| rus2_20_40_1_1 |
0.0 (nan) |
0.0 (171.6) |
100.0 (107.4) |
0.0 (nan) |
100.0 (107.4) |
0.0 (nan) |
| rus2_20_40_1_2 |
0.0 (nan) |
0.0 (166.3) |
99.9 (104.5) |
0.0 (nan) |
100.0 (104.5) |
0.0 (nan) |
| rus2_20_40_1_3 |
0.0 (nan) |
0.0 (175.5) |
98.4 (102.8) |
0.0 (nan) |
99.9 (101.7) |
0.0 (nan) |
| rus2_20_40_2_1 |
0.0 (nan) |
0.0 (175.7) |
99.7 (119.4) |
0.0 (nan) |
99.3 (119.7) |
0.0 (nan) |
| rus2_20_40_2_2 |
0.0 (nan) |
0.0 (174.5) |
98.5 (119.4) |
0.0 (nan) |
98.8 (119.2) |
0.0 (nan) |
| rus2_20_40_2_3 |
0.0 (nan) |
0.0 (176.5) |
100.0 (112.4) |
0.0 (nan) |
99.8 (112.6) |
0.0 (nan) |
| rus2_20_40_3_1 |
0.0 (nan) |
0.0 (172.9) |
99.4 (110.6) |
0.0 (nan) |
100.0 (110.2) |
0.0 (nan) |
| rus2_20_40_3_2 |
0.0 (nan) |
0.0 (206.1) |
99.8 (141.1) |
0.0 (nan) |
97.6 (139.7) |
0.0 (nan) |
| rus2_20_40_3_3 |
0.0 (nan) |
0.0 (191.3) |
99.9 (123.5) |
0.0 (nan) |
99.1 (124.1) |
0.0 (nan) |
| rus2_20_40_4_1 |
0.0 (nan) |
0.0 (162.8) |
99.9 (99.1) |
0.0 (nan) |
100.0 (99.2) |
0.0 (nan) |
| rus2_20_40_4_2 |
0.0 (nan) |
0.0 (163.6) |
99.9 (107.1) |
0.0 (nan) |
100.0 (107.1) |
0.0 (nan) |
| rus2_20_40_4_3 |
0.0 (nan) |
0.0 (162.9) |
100.0 (95.2) |
0.0 (nan) |
100.0 (95.2) |
0.0 (nan) |
| rus2_20_40_5_1 |
0.0 (nan) |
0.0 (154.3) |
99.8 (95.6) |
0.0 (nan) |
94.7 (92.3) |
0.0 (nan) |
| rus2_20_40_5_2 |
0.0 (nan) |
0.0 (160.9) |
100.0 (88.4) |
0.0 (nan) |
98.6 (89.4) |
0.0 (nan) |
| rus2_20_40_5_3 |
0.0 (nan) |
0.0 (227.4) |
99.3 (170.3) |
0.0 (nan) |
100.0 (169.9) |
0.0 (nan) |
| rus2_20_40_6_1 |
0.0 (nan) |
0.0 (182.2) |
99.6 (119.4) |
0.0 (nan) |
95.3 (116.1) |
0.0 (nan) |
| rus2_20_40_6_2 |
0.0 (nan) |
0.0 (132.5) |
99.8 (68.2) |
0.0 (nan) |
100.0 (68.4) |
0.0 (nan) |
| rus2_20_40_6_3 |
0.0 (nan) |
0.0 (199.1) |
99.9 (134.2) |
0.0 (nan) |
100.0 (134.1) |
0.0 (nan) |
| rus2_20_40_7_1 |
0.0 (nan) |
0.0 (151.9) |
99.0 (89.1) |
0.0 (nan) |
100.0 (88.5) |
0.0 (nan) |
| rus2_20_40_7_2 |
0.0 (nan) |
0.0 (168.5) |
99.7 (111.4) |
0.0 (nan) |
100.0 (111.5) |
0.0 (nan) |
| rus2_20_40_7_3 |
0.0 (nan) |
0.0 (141.3) |
100.0 (81.5) |
0.0 (nan) |
100.0 (81.4) |
0.0 (nan) |
| rus2_20_40_8_1 |
0.0 (nan) |
0.0 (178.4) |
99.9 (107.0) |
0.0 (nan) |
100.0 (106.9) |
0.0 (nan) |
| rus2_20_40_8_2 |
0.0 (nan) |
0.0 (164.7) |
99.8 (99.7) |
0.0 (nan) |
99.9 (99.9) |
0.0 (nan) |
| rus2_20_40_8_3 |
0.0 (nan) |
0.0 (168.4) |
100.0 (100.6) |
0.0 (nan) |
99.5 (100.9) |
0.0 (nan) |
| rus2_20_40_9_1 |
0.0 (nan) |
0.0 (167.2) |
100.0 (94.6) |
0.0 (nan) |
100.0 (94.5) |
0.0 (nan) |
| rus2_20_40_9_2 |
0.0 (nan) |
0.0 (171.3) |
99.8 (94.5) |
0.0 (nan) |
99.9 (94.7) |
0.0 (nan) |
| rus2_20_40_9_3 |
0.0 (nan) |
0.0 (139.1) |
99.9 (63.6) |
0.0 (nan) |
99.9 (63.5) |
0.0 (nan) |
| rus_20_40_0_1 |
0.0 (nan) |
0.0 (828.0) |
100.0 (617.3) |
0.0 (nan) |
100.0 (617.3) |
0.0 (nan) |
| rus_20_40_0_2 |
0.0 (nan) |
0.0 (988.1) |
97.9 (795.7) |
0.0 (nan) |
100.0 (791.6) |
0.0 (nan) |
| rus_20_40_0_3 |
0.0 (nan) |
0.0 (1097.8) |
99.5 (904.0) |
0.0 (nan) |
100.0 (903.0) |
0.0 (nan) |
| rus_20_40_1_1 |
0.0 (nan) |
0.0 (1185.5) |
100.0 (1004.7) |
0.0 (nan) |
100.0 (1004.6) |
0.0 (nan) |
| rus_20_40_1_2 |
0.0 (nan) |
0.0 (1097.2) |
100.0 (910.2) |
0.0 (nan) |
100.0 (910.1) |
0.0 (nan) |
| rus_20_40_1_3 |
0.0 (nan) |
0.0 (1097.9) |
99.5 (901.6) |
0.0 (nan) |
95.9 (892.7) |
0.0 (nan) |
| rus_20_40_2_1 |
0.0 (nan) |
0.0 (992.4) |
100.0 (797.8) |
0.0 (nan) |
100.0 (797.8) |
0.0 (nan) |
| rus_20_40_2_2 |
0.0 (nan) |
0.0 (886.0) |
97.6 (684.5) |
0.0 (nan) |
99.5 (688.3) |
0.0 (nan) |
| rus_20_40_2_3 |
0.0 (nan) |
0.0 (958.8) |
100.0 (749.3) |
0.0 (nan) |
100.0 (749.3) |
0.0 (nan) |
| rus_20_40_3_1 |
0.0 (nan) |
0.0 (1017.6) |
99.1 (827.6) |
0.0 (nan) |
99.6 (825.1) |
0.0 (nan) |
| rus_20_40_3_2 |
0.0 (nan) |
0.0 (1027.8) |
99.7 (839.6) |
0.0 (nan) |
99.8 (838.6) |
0.0 (nan) |
| rus_20_40_3_3 |
0.0 (nan) |
0.0 (1028.2) |
99.7 (842.6) |
0.0 (nan) |
99.8 (841.5) |
0.0 (nan) |
| rus_20_40_4_1 |
0.0 (nan) |
0.0 (1113.8) |
100.0 (931.5) |
0.0 (nan) |
100.0 (931.5) |
0.0 (nan) |
| rus_20_40_4_2 |
0.0 (nan) |
0.0 (1119.3) |
99.8 (936.2) |
0.0 (nan) |
99.3 (934.4) |
0.0 (nan) |
| rus_20_40_4_3 |
0.0 (nan) |
0.0 (1054.6) |
100.0 (853.3) |
0.0 (nan) |
100.0 (853.3) |
0.0 (nan) |
| rus_20_40_5_1 |
0.0 (nan) |
0.0 (1059.6) |
99.6 (876.6) |
0.0 (nan) |
99.8 (875.5) |
0.0 (nan) |
| rus_20_40_5_2 |
0.0 (nan) |
0.0 (1031.4) |
99.8 (840.0) |
0.0 (nan) |
100.0 (839.7) |
0.0 (nan) |
| rus_20_40_5_3 |
0.0 (nan) |
0.0 (1088.9) |
98.7 (884.7) |
0.0 (nan) |
98.5 (878.8) |
0.0 (nan) |
| rus_20_40_6_1 |
0.0 (nan) |
0.0 (935.5) |
100.0 (723.9) |
0.0 (nan) |
99.2 (725.6) |
0.0 (nan) |
| rus_20_40_6_2 |
0.0 (nan) |
0.0 (1166.7) |
100.0 (982.4) |
99.5 (981.6) |
100.0 (982.4) |
0.0 (nan) |
| rus_20_40_6_3 |
0.0 (nan) |
0.0 (1152.7) |
100.0 (966.7) |
0.0 (nan) |
96.3 (959.9) |
0.0 (nan) |
| rus_20_40_7_1 |
0.0 (nan) |
0.0 (943.8) |
99.9 (752.3) |
0.0 (nan) |
98.6 (754.8) |
0.0 (nan) |
| rus_20_40_7_2 |
0.0 (nan) |
0.0 (951.7) |
99.5 (757.2) |
0.0 (nan) |
99.4 (755.0) |
0.0 (nan) |
| rus_20_40_7_3 |
0.0 (nan) |
0.0 (1064.6) |
100.0 (869.7) |
0.0 (nan) |
100.0 (869.7) |
0.0 (nan) |
| rus_20_40_8_1 |
0.0 (nan) |
0.0 (931.5) |
99.6 (727.6) |
0.0 (nan) |
99.4 (725.6) |
0.0 (nan) |
| rus_20_40_8_2 |
0.0 (nan) |
0.0 (1083.3) |
100.0 (898.7) |
0.0 (nan) |
100.0 (898.6) |
0.0 (nan) |
| rus_20_40_8_3 |
0.0 (nan) |
0.0 (895.8) |
100.0 (703.8) |
0.0 (nan) |
98.9 (701.8) |
0.0 (nan) |
| rus_20_40_9_1 |
0.0 (nan) |
0.0 (1047.2) |
100.0 (866.6) |
0.0 (nan) |
99.2 (868.1) |
0.0 (nan) |
| rus_20_40_9_2 |
0.0 (nan) |
0.0 (1045.8) |
100.0 (834.5) |
0.0 (nan) |
94.9 (823.8) |
0.0 (nan) |
| rus_20_40_9_3 |
0.0 (nan) |
0.0 (1052.3) |
100.0 (864.0) |
0.0 (nan) |
94.7 (874.0) |
0.0 (nan) |
3600sec
| Problem |
AbstractionSampling |
baseline |
ibia-pr |
lbp-pr |
uai14-pr |
wmbsearch-aobfs-pr |
| 1a7w |
0.0 (nan) |
0.0 (0.9) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
99.8 (-1.0) |
| 1aie |
0.0 (nan) |
0.0 (2.9) |
100.0 (2.8) |
0.0 (nan) |
100.0 (2.8) |
100.0 (2.8) |
| 1b2v |
100.0 (-53.4) |
0.0 (-46.7) |
100.0 (-53.4) |
0.0 (nan) |
100.0 (-53.4) |
100.0 (-53.4) |
| 1bxv |
0.0 (nan) |
0.0 (-6.4) |
100.0 (-9.7) |
0.0 (nan) |
100.0 (-9.7) |
0.0 (-inf) |
| 1cpq |
0.0 (nan) |
0.0 (-15.9) |
100.0 (-21.7) |
0.0 (nan) |
100.0 (-21.7) |
0.0 (nan) |
| 1ctj |
100.0 (-13.3) |
0.0 (-9.8) |
100.0 (-13.3) |
100.0 (-13.3) |
100.0 (-13.3) |
100.0 (-13.3) |
| 1cxy |
100.0 (-38.0) |
0.0 (-30.7) |
100.0 (-38.0) |
0.0 (nan) |
100.0 (-38.0) |
100.0 (-38.0) |
| 1f94 |
0.0 (nan) |
0.0 (-59.5) |
100.0 (-61.4) |
0.0 (nan) |
100.0 (-61.4) |
100.0 (-61.4) |
| 1fas |
0.0 (nan) |
0.0 (-32.2) |
100.0 (-33.3) |
0.0 (nan) |
100.0 (-33.3) |
0.0 (-inf) |
| 1g6x |
100.0 (-27.2) |
0.0 (-24.3) |
100.0 (-27.2) |
0.0 (nan) |
100.0 (-27.2) |
100.0 (-27.2) |
| 1jer |
100.0 (-31.5) |
0.0 (-21.1) |
100.0 (-31.5) |
0.0 (nan) |
100.0 (-31.5) |
100.0 (-31.5) |
| 1kp6 |
100.0 (-45.1) |
0.0 (-39.2) |
100.0 (-45.1) |
0.0 (nan) |
100.0 (-45.1) |
0.0 (-inf) |
| 1nkd |
0.0 (nan) |
0.0 (-4.9) |
100.0 (-8.8) |
100.0 (-8.8) |
100.0 (-8.8) |
0.0 (nan) |
| 1npl |
100.0 (-42.9) |
0.0 (-30.8) |
100.0 (-42.9) |
0.0 (nan) |
100.0 (-42.9) |
0.0 (-inf) |
| 1qt9 |
0.0 (nan) |
0.0 (-39.2) |
100.0 (-59.7) |
0.0 (nan) |
100.0 (-59.7) |
0.0 (nan) |
| 1rfs |
0.0 (nan) |
0.0 (-23.7) |
100.0 (-50.6) |
100.0 (-50.6) |
100.0 (-50.6) |
0.0 (-inf) |
| 1svy |
0.0 (nan) |
0.0 (-29.3) |
100.0 (-38.6) |
0.0 (nan) |
100.0 (-38.6) |
0.0 (nan) |
| 1vfy |
0.0 (nan) |
0.0 (-18.1) |
100.0 (-20.1) |
0.0 (nan) |
100.0 (-20.1) |
0.0 (-inf) |
| 2rta |
100.0 (-55.2) |
0.0 (-38.3) |
100.0 (-55.2) |
0.0 (nan) |
100.0 (-55.2) |
0.0 (-227.6) |
| BN_12 |
100.0 (-3.6) |
0.0 (-0.3) |
100.0 (-3.6) |
0.0 (nan) |
100.0 (-3.6) |
99.9 (-3.6) |
| BN_13 |
100.0 (-2.3) |
0.0 (2.5) |
100.0 (-2.3) |
0.0 (nan) |
100.0 (-2.3) |
98.2 (-2.4) |
| BN_15 |
0.0 (nan) |
0.0 (-1.0) |
100.0 (-5.7) |
0.0 (nan) |
100.0 (-5.7) |
97.4 (-5.8) |
| BN_31 |
0.0 (nan) |
0.0 (116.3) |
100.0 (-11.0) |
0.0 (nan) |
100.0 (-11.0) |
0.0 (nan) |
| BN_74 |
0.0 (nan) |
0.0 (153.5) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| blockmap_10_01-0006 |
0.0 (nan) |
0.0 (94.8) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
0.0 (nan) |
| blockmap_10_01-0009 |
0.0 (nan) |
0.0 (3.6) |
100.0 (-1.0) |
0.0 (nan) |
100.0 (-1.0) |
0.0 (nan) |
| blockmap_10_02-0009 |
0.0 (nan) |
0.0 (11.9) |
100.0 (-2.2) |
0.0 (nan) |
100.0 (-2.2) |
0.0 (nan) |
| blockmap_10_03-0009 |
100.0 (-3.2) |
0.0 (-1.1) |
100.0 (-3.2) |
0.0 (nan) |
100.0 (-3.2) |
0.0 (nan) |
| blockmap_10_03-0010 |
0.0 (nan) |
0.0 (8.6) |
100.0 (-2.9) |
0.0 (nan) |
100.0 (-2.9) |
0.0 (nan) |
| blockmap_15_01-0008 |
100.0 (-1.2) |
0.0 (-1.2) |
100.0 (-1.2) |
0.0 (nan) |
100.0 (-1.2) |
0.0 (-inf) |
| blockmap_15_02-0008 |
100.0 (-2.4) |
0.0 (-1.9) |
100.0 (-2.4) |
0.0 (nan) |
100.0 (-2.4) |
100.0 (-2.4) |
| blockmap_15_03-0008 |
0.0 (nan) |
0.0 (30.0) |
100.0 (-3.2) |
0.0 (nan) |
91.7 (-0.5) |
0.0 (-inf) |
| blockmap_15_03-0010 |
100.0 (-3.1) |
0.0 (-2.9) |
100.0 (-3.1) |
0.0 (nan) |
100.0 (-3.1) |
100.0 (-3.1) |
| blockmap_20_01-0009 |
100.0 (-1.3) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
100.0 (-1.3) |
100.0 (-1.3) |
| blockmap_20_02-0009 |
0.0 (nan) |
0.0 (-2.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (221.0) |
0.0 (-inf) |
| blockmap_20_03-0010 |
100.0 (-4.0) |
0.0 (-3.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (143.9) |
0.0 (-inf) |
| blockmap_22_01-0006 |
100.0 (-1.3) |
0.0 (-1.3) |
0.0 (nan) |
0.0 (nan) |
0.0 (463.5) |
0.0 (-inf) |
| blockmap_22_03-0009 |
100.0 (-4.1) |
0.0 (-3.6) |
0.0 (nan) |
0.0 (nan) |
0.0 (-242.2) |
0.0 (-inf) |
| bwt3ac.wcsp |
100.0 (0.0) |
0.0 (11.7) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
100.0 (0.0) |
| fs-07 |
100.0 (-14.8) |
0.0 (-6.4) |
92.8 (-14.1) |
0.0 (nan) |
100.0 (-14.8) |
0.0 (nan) |
| mastermind_03_08_04-0000 |
100.0 (-0.0) |
0.0 (249.0) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_03_08_04-0001 |
100.0 (-12.7) |
0.0 (86.6) |
100.0 (-12.7) |
0.0 (nan) |
100.0 (-12.7) |
100.0 (-12.7) |
| mastermind_03_08_04-0002 |
100.0 (-14.5) |
0.0 (63.9) |
100.0 (-14.5) |
0.0 (nan) |
100.0 (-14.5) |
100.0 (-14.5) |
| mastermind_03_08_04-0003 |
100.0 (-11.5) |
0.0 (119.0) |
100.0 (-11.5) |
0.0 (nan) |
100.0 (-11.5) |
100.0 (-11.5) |
| mastermind_03_08_04-0007 |
100.0 (-16.6) |
0.0 (86.6) |
100.0 (-16.6) |
98.4 (-14.9) |
100.0 (-16.6) |
0.0 (nan) |
| mastermind_03_08_04-0008 |
100.0 (-16.3) |
0.0 (33.9) |
100.0 (-16.3) |
0.0 (nan) |
100.0 (-16.3) |
100.0 (-16.3) |
| mastermind_03_08_04-0010 |
100.0 (-14.5) |
0.0 (149.5) |
100.0 (-14.5) |
0.0 (nan) |
100.0 (-14.5) |
0.0 (nan) |
| mastermind_03_08_04-0011 |
100.0 (-9.8) |
0.0 (233.0) |
99.7 (-10.5) |
0.0 (nan) |
94.0 (4.8) |
0.0 (nan) |
| mastermind_03_08_04-0012 |
0.0 (nan) |
0.0 (234.5) |
99.9 (-7.8) |
0.0 (nan) |
99.9 (-8.0) |
0.0 (nan) |
| mastermind_03_08_04-0013 |
100.0 (-8.6) |
0.0 (233.5) |
100.0 (-8.7) |
0.0 (nan) |
89.3 (17.4) |
0.0 (nan) |
| mastermind_03_08_04-0014 |
100.0 (-8.9) |
0.0 (233.3) |
99.9 (-9.1) |
0.0 (nan) |
82.0 (34.6) |
0.0 (nan) |
| mastermind_03_08_04-0015 |
100.0 (-8.1) |
0.0 (234.0) |
100.0 (-8.1) |
0.0 (nan) |
99.5 (-6.9) |
0.0 (nan) |
| mastermind_03_08_05-0000 |
98.6 (-5.8) |
0.0 (409.8) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_03_08_05-0001 |
100.0 (-15.4) |
0.0 (203.4) |
100.0 (-15.4) |
0.0 (nan) |
100.0 (-15.4) |
0.0 (nan) |
| mastermind_03_08_05-0003 |
100.0 (-15.2) |
0.0 (171.6) |
100.0 (-15.1) |
0.0 (nan) |
100.0 (-15.1) |
0.0 (nan) |
| mastermind_03_08_05-0004 |
100.0 (-14.2) |
0.0 (227.8) |
100.0 (-14.2) |
0.0 (nan) |
100.0 (-14.3) |
0.0 (nan) |
| mastermind_03_08_05-0008 |
0.0 (nan) |
0.0 (310.5) |
100.0 (-14.6) |
0.0 (nan) |
100.0 (-14.6) |
0.0 (nan) |
| mastermind_03_08_05-0009 |
100.0 (-21.5) |
0.0 (27.9) |
100.0 (-21.5) |
0.0 (nan) |
100.0 (-21.5) |
0.0 (nan) |
| mastermind_03_08_05-0011 |
0.0 (-inf) |
0.0 (390.4) |
99.4 (-12.6) |
0.0 (nan) |
80.0 (70.0) |
0.0 (nan) |
| mastermind_03_08_05-0012 |
0.0 (-inf) |
0.0 (392.2) |
99.9 (-9.5) |
0.0 (nan) |
99.9 (-8.7) |
0.0 (nan) |
| mastermind_03_08_05-0013 |
0.0 (-inf) |
0.0 (390.4) |
99.9 (-9.4) |
0.0 (nan) |
99.6 (-10.3) |
0.0 (nan) |
| mastermind_03_08_05-0014 |
0.0 (-inf) |
0.0 (392.9) |
100.0 (-9.2) |
0.0 (nan) |
98.3 (-2.2) |
0.0 (nan) |
| mastermind_03_08_05-0015 |
0.0 (-inf) |
0.0 (390.2) |
99.9 (-9.5) |
0.0 (nan) |
97.9 (-1.4) |
0.0 (nan) |
| mastermind_04_08_03-0000 |
100.0 (0.0) |
0.0 (139.3) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_04_08_03-0011 |
100.0 (-4.7) |
0.0 (128.2) |
100.0 (-4.7) |
0.0 (nan) |
100.0 (-4.7) |
0.0 (nan) |
| mastermind_04_08_03-0012 |
100.0 (-6.0) |
0.0 (128.5) |
100.0 (-6.0) |
0.0 (nan) |
100.0 (-6.0) |
0.0 (nan) |
| mastermind_04_08_03-0013 |
100.0 (-7.2) |
0.0 (127.0) |
100.0 (-7.2) |
0.0 (nan) |
100.0 (-7.2) |
0.0 (nan) |
| mastermind_04_08_03-0014 |
100.0 (-6.5) |
0.0 (127.4) |
100.0 (-6.5) |
0.0 (nan) |
100.0 (-6.5) |
0.0 (nan) |
| mastermind_04_08_03-0015 |
100.0 (-7.1) |
0.0 (128.4) |
100.0 (-7.1) |
0.0 (nan) |
100.0 (-7.1) |
0.0 (nan) |
| mastermind_04_08_04-0000 |
0.0 (nan) |
0.0 (274.2) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_04_08_04-0001 |
100.0 (-11.7) |
0.0 (97.0) |
100.0 (-11.7) |
0.0 (nan) |
100.0 (-11.7) |
0.0 (nan) |
| mastermind_04_08_04-0002 |
0.0 (nan) |
0.0 (127.4) |
100.0 (-12.1) |
0.0 (nan) |
100.0 (-12.1) |
0.0 (nan) |
| mastermind_04_08_04-0003 |
100.0 (-13.6) |
0.0 (107.7) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_04_08_04-0004 |
100.0 (-11.2) |
0.0 (143.1) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_04_08_04-0005 |
100.0 (-15.9) |
0.0 (79.4) |
100.0 (-15.9) |
0.0 (nan) |
100.0 (-15.9) |
0.0 (nan) |
| mastermind_04_08_04-0011 |
0.0 (nan) |
0.0 (258.0) |
100.0 (-8.3) |
0.0 (nan) |
98.8 (-5.0) |
0.0 (nan) |
| mastermind_04_08_04-0012 |
0.0 (nan) |
0.0 (259.5) |
100.0 (-8.0) |
0.0 (nan) |
93.0 (10.7) |
0.0 (nan) |
| mastermind_04_08_04-0013 |
0.0 (nan) |
0.0 (259.1) |
99.7 (-7.9) |
0.0 (nan) |
99.4 (-5.4) |
0.0 (nan) |
| mastermind_04_08_04-0014 |
0.0 (nan) |
0.0 (259.1) |
99.9 (-9.0) |
0.0 (nan) |
99.2 (-6.7) |
0.0 (nan) |
| mastermind_04_08_04-0015 |
0.0 (nan) |
0.0 (260.0) |
100.0 (-7.7) |
0.0 (nan) |
99.7 (-6.7) |
0.0 (nan) |
| mastermind_05_08_03-0000 |
0.0 (nan) |
0.0 (150.1) |
100.0 (0.0) |
0.0 (nan) |
100.0 (0.0) |
0.0 (nan) |
| mastermind_05_08_03-0001 |
100.0 (-9.8) |
0.0 (58.1) |
100.0 (-9.8) |
0.0 (nan) |
100.0 (-9.8) |
0.0 (nan) |
| mastermind_05_08_03-0002 |
100.0 (-12.2) |
0.0 (43.8) |
100.0 (-12.2) |
0.0 (nan) |
100.0 (-12.2) |
0.0 (nan) |
| mastermind_05_08_03-0003 |
100.0 (-8.6) |
0.0 (70.9) |
100.0 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| mastermind_05_08_03-0004 |
100.0 (-11.6) |
0.0 (43.9) |
100.0 (-11.6) |
0.0 (nan) |
100.0 (-11.6) |
0.0 (nan) |
| mastermind_05_08_03-0009 |
100.0 (-8.0) |
0.0 (98.9) |
100.0 (-8.0) |
0.0 (nan) |
100.0 (-8.0) |
0.0 (nan) |
| mastermind_05_08_03-0011 |
0.0 (nan) |
0.0 (139.6) |
100.0 (-6.2) |
0.0 (nan) |
100.0 (-6.2) |
0.0 (nan) |
| mastermind_05_08_03-0012 |
0.0 (nan) |
0.0 (138.7) |
100.0 (-7.6) |
0.0 (nan) |
100.0 (-7.6) |
0.0 (nan) |
| mastermind_05_08_03-0013 |
0.0 (nan) |
0.0 (138.8) |
100.0 (-6.6) |
0.0 (nan) |
100.0 (-6.6) |
0.0 (nan) |
| mastermind_05_08_03-0014 |
0.0 (nan) |
0.0 (139.5) |
100.0 (-4.9) |
0.0 (nan) |
100.0 (-4.9) |
0.0 (nan) |
| mastermind_05_08_03-0015 |
0.0 (nan) |
0.0 (140.2) |
100.0 (-6.3) |
0.0 (nan) |
100.0 (-6.3) |
0.0 (nan) |
| mastermind_06_08_03-0000 |
0.0 (nan) |
0.0 (160.4) |
100.0 (0.0) |
0.0 (nan) |
100.0 (-0.0) |
0.0 (nan) |
| mastermind_06_08_03-0001 |
0.0 (nan) |
0.0 (18.6) |
100.0 (-12.6) |
0.0 (nan) |
100.0 (-12.6) |
0.0 (nan) |
| mastermind_06_08_03-0002 |
0.0 (nan) |
0.0 (51.4) |
100.0 (-10.5) |
0.0 (nan) |
100.0 (-10.5) |
0.0 (nan) |
| mastermind_06_08_03-0003 |
0.0 (nan) |
0.0 (33.5) |
100.0 (-11.2) |
0.0 (nan) |
100.0 (-11.2) |
0.0 (nan) |
| mastermind_06_08_03-0005 |
0.0 (nan) |
0.0 (10.4) |
100.0 (-11.9) |
0.0 (nan) |
100.0 (-11.9) |
0.0 (nan) |
| mastermind_06_08_03-0009 |
0.0 (nan) |
0.0 (98.2) |
100.0 (-8.4) |
0.0 (nan) |
100.0 (-8.4) |
0.0 (nan) |
| mastermind_06_08_03-0011 |
0.0 (nan) |
0.0 (148.5) |
99.8 (-5.0) |
0.0 (nan) |
99.7 (-5.1) |
0.0 (nan) |
| mastermind_06_08_03-0012 |
0.0 (nan) |
0.0 (149.4) |
100.0 (-5.9) |
0.0 (nan) |
99.9 (-5.8) |
0.0 (nan) |
| mastermind_06_08_03-0014 |
0.0 (nan) |
0.0 (149.4) |
100.0 (-6.3) |
0.0 (nan) |
99.9 (-6.2) |
0.0 (nan) |
| mastermind_06_08_03-0015 |
0.0 (nan) |
0.0 (148.8) |
99.8 (-7.4) |
0.0 (nan) |
99.8 (-7.5) |
0.0 (nan) |
| mastermind_10_08_03-0001 |
0.0 (nan) |
0.0 (52.8) |
100.0 (-13.6) |
0.0 (nan) |
100.0 (-13.6) |
0.0 (nan) |
| mastermind_10_08_03-0003 |
100.0 (-15.5) |
0.0 (52.3) |
100.0 (-15.5) |
0.0 (nan) |
100.0 (-15.5) |
0.0 (nan) |
| mastermind_10_08_03-0004 |
100.0 (-16.5) |
0.0 (26.0) |
100.0 (-16.5) |
0.0 (nan) |
100.0 (-16.5) |
0.0 (nan) |
| mastermind_10_08_03-0008 |
100.0 (-23.2) |
0.0 (-13.4) |
100.0 (-23.2) |
0.0 (nan) |
100.0 (-23.2) |
0.0 (nan) |
| mastermind_10_08_03-0009 |
100.0 (-17.8) |
0.0 (17.5) |
100.0 (-17.8) |
0.0 (nan) |
89.0 (-21.7) |
0.0 (nan) |
| mastermind_10_08_03-0010 |
100.0 (-10.1) |
0.0 (112.8) |
100.0 (-10.1) |
0.0 (nan) |
99.8 (-9.9) |
0.0 (nan) |
| myciel5g_3.wcsp |
99.8 (-61.4) |
0.0 (14.3) |
96.3 (-58.4) |
0.0 (nan) |
94.6 (-57.2) |
100.0 (-61.2) |
| myciel5g_4.wcsp |
99.1 (-8.3) |
0.0 (22.5) |
79.5 (-1.8) |
0.0 (nan) |
50.8 (7.0) |
95.7 (-6.7) |
| or_chain_1.fg |
0.0 (nan) |
0.0 (-4.5) |
91.4 (-11.3) |
0.0 (nan) |
93.0 (-11.2) |
0.0 (nan) |
| or_chain_102.fg |
0.0 (nan) |
0.0 (-4.9) |
94.0 (-10.4) |
0.0 (nan) |
91.6 (-10.5) |
0.0 (nan) |
| or_chain_106.fg |
0.0 (nan) |
0.0 (-3.4) |
95.5 (-10.4) |
0.0 (nan) |
94.8 (-10.4) |
0.0 (nan) |
| or_chain_107.fg |
0.0 (nan) |
0.0 (-4.2) |
99.2 (-11.6) |
0.0 (nan) |
99.4 (-11.6) |
0.0 (nan) |
| or_chain_12.fg |
95.8 (-12.5) |
0.0 (-5.1) |
97.1 (-12.4) |
0.0 (nan) |
95.8 (-12.5) |
0.0 (nan) |
| or_chain_128.fg |
0.0 (nan) |
0.0 (-2.9) |
92.0 (-11.6) |
0.0 (nan) |
96.2 (-11.2) |
0.0 (nan) |
| or_chain_132.fg |
100.0 (-8.4) |
0.0 (-2.2) |
97.5 (-8.6) |
0.0 (nan) |
100.0 (-8.4) |
0.0 (nan) |
| or_chain_138.fg |
0.0 (nan) |
0.0 (-1.8) |
99.7 (-10.1) |
0.0 (nan) |
100.0 (-10.1) |
0.0 (nan) |
| or_chain_140.fg |
89.4 (-6.2) |
0.0 (0.4) |
97.3 (-5.4) |
0.0 (nan) |
91.7 (-6.0) |
0.0 (nan) |
| or_chain_149.fg |
100.0 (-8.6) |
0.0 (-1.4) |
99.9 (-8.6) |
0.0 (nan) |
100.0 (-8.6) |
0.0 (nan) |
| or_chain_15.fg |
99.9 (-11.9) |
0.0 (-4.7) |
99.6 (-11.8) |
0.0 (nan) |
99.9 (-11.9) |
0.0 (nan) |
| or_chain_150.fg |
0.0 (nan) |
0.0 (-3.5) |
93.1 (-7.5) |
0.0 (nan) |
99.6 (-7.3) |
0.0 (nan) |
| or_chain_153.fg |
100.0 (-8.7) |
0.0 (-1.8) |
95.6 (-9.0) |
0.0 (nan) |
100.0 (-8.7) |
0.0 (nan) |
| or_chain_155.fg |
0.0 (nan) |
0.0 (-3.4) |
100.0 (-9.9) |
0.0 (nan) |
100.0 (-10.0) |
0.0 (nan) |
| or_chain_161.fg |
0.0 (nan) |
0.0 (-3.2) |
97.2 (-9.4) |
0.0 (nan) |
100.0 (-9.2) |
0.0 (nan) |
| or_chain_186.fg |
100.0 (-9.5) |
0.0 (-5.6) |
99.4 (-9.5) |
0.0 (nan) |
100.0 (-9.5) |
0.0 (nan) |
| or_chain_188.fg |
100.0 (-12.3) |
0.0 (-5.4) |
99.2 (-12.3) |
0.0 (nan) |
100.0 (-12.3) |
0.0 (nan) |
| or_chain_198.fg |
0.0 (nan) |
0.0 (1.3) |
81.3 (-3.3) |
0.0 (nan) |
100.0 (-4.3) |
0.0 (nan) |
| or_chain_209.fg |
0.0 (nan) |
0.0 (-4.6) |
98.9 (-11.5) |
0.0 (nan) |
100.0 (-11.5) |
0.0 (nan) |
| or_chain_242.fg |
0.0 (nan) |
0.0 (2.4) |
99.9 (-5.4) |
0.0 (nan) |
100.0 (-5.4) |
0.0 (nan) |
| or_chain_4.fg |
0.0 (nan) |
0.0 (-4.9) |
97.7 (-11.9) |
0.0 (nan) |
98.6 (-11.6) |
0.0 (nan) |
| or_chain_53.fg |
100.0 (-9.2) |
0.0 (-1.0) |
86.8 (-8.1) |
0.0 (nan) |
100.0 (-9.2) |
0.0 (nan) |
| or_chain_61.fg |
99.8 (-8.0) |
0.0 (-2.3) |
88.0 (-7.3) |
0.0 (nan) |
97.1 (-8.2) |
0.0 (nan) |
| or_chain_64.fg |
100.0 (-8.8) |
0.0 (-1.7) |
90.3 (-8.2) |
0.0 (nan) |
100.0 (-8.8) |
0.0 (nan) |
| or_chain_90.fg |
95.3 (-8.8) |
0.0 (-2.1) |
94.2 (-8.9) |
0.0 (nan) |
95.3 (-8.8) |
0.0 (nan) |
| pedigree51 |
95.0 (-73.9) |
0.0 (-9.0) |
95.1 (-73.9) |
0.0 (nan) |
95.1 (-73.9) |
0.0 (nan) |
| queen5_5_3.wcsp |
100.0 (-113.0) |
0.0 (7.7) |
96.3 (-108.6) |
0.0 (nan) |
100.0 (-113.0) |
100.0 (-113.0) |
| queen5_5_4.wcsp |
99.6 (-45.9) |
0.0 (12.1) |
97.8 (-44.4) |
0.0 (nan) |
83.4 (-36.1) |
97.8 (-44.4) |
| rus2_20_40_0_1 |
0.0 (nan) |
0.0 (161.5) |
99.9 (107.0) |
0.0 (nan) |
99.9 (106.9) |
0.0 (nan) |
| rus2_20_40_0_2 |
0.0 (nan) |
0.0 (171.9) |
99.7 (120.8) |
0.0 (nan) |
99.9 (120.7) |
0.0 (nan) |
| rus2_20_40_0_3 |
0.0 (nan) |
0.0 (143.3) |
99.9 (88.2) |
0.0 (nan) |
100.0 (88.2) |
0.0 (nan) |
| rus2_20_40_1_1 |
0.0 (nan) |
0.0 (171.6) |
100.0 (107.4) |
0.0 (nan) |
100.0 (107.4) |
0.0 (nan) |
| rus2_20_40_1_2 |
0.0 (nan) |
0.0 (166.3) |
99.9 (104.5) |
0.0 (nan) |
100.0 (104.5) |
0.0 (nan) |
| rus2_20_40_1_3 |
0.0 (nan) |
0.0 (175.5) |
98.4 (102.8) |
0.0 (nan) |
99.9 (101.7) |
0.0 (nan) |
| rus2_20_40_2_1 |
0.0 (nan) |
0.0 (175.7) |
99.7 (119.4) |
0.0 (nan) |
99.7 (119.4) |
0.0 (nan) |
| rus2_20_40_2_2 |
0.0 (nan) |
0.0 (174.5) |
98.5 (119.4) |
0.0 (nan) |
100.0 (118.6) |
0.0 (nan) |
| rus2_20_40_2_3 |
0.0 (nan) |
0.0 (176.5) |
100.0 (112.4) |
0.0 (nan) |
97.6 (110.9) |
0.0 (nan) |
| rus2_20_40_3_1 |
0.0 (nan) |
0.0 (172.9) |
99.4 (110.6) |
0.0 (nan) |
99.3 (109.7) |
0.0 (nan) |
| rus2_20_40_3_2 |
0.0 (nan) |
0.0 (206.1) |
99.8 (141.1) |
0.0 (nan) |
97.6 (139.6) |
0.0 (nan) |
| rus2_20_40_3_3 |
0.0 (nan) |
0.0 (191.3) |
99.9 (123.5) |
0.0 (nan) |
99.3 (123.1) |
0.0 (nan) |
| rus2_20_40_4_1 |
0.0 (nan) |
0.0 (162.8) |
99.9 (99.1) |
0.0 (nan) |
100.0 (99.2) |
0.0 (nan) |
| rus2_20_40_4_2 |
0.0 (nan) |
0.0 (163.6) |
99.9 (107.1) |
0.0 (nan) |
100.0 (107.1) |
0.0 (nan) |
| rus2_20_40_4_3 |
0.0 (nan) |
0.0 (162.9) |
100.0 (95.2) |
0.0 (nan) |
100.0 (95.2) |
0.0 (nan) |
| rus2_20_40_5_1 |
0.0 (nan) |
0.0 (154.3) |
99.8 (95.6) |
0.0 (nan) |
91.2 (90.3) |
0.0 (nan) |
| rus2_20_40_5_2 |
0.0 (nan) |
0.0 (160.9) |
100.0 (88.4) |
0.0 (nan) |
99.8 (88.5) |
0.0 (nan) |
| rus2_20_40_5_3 |
0.0 (nan) |
0.0 (227.4) |
99.3 (170.3) |
0.0 (nan) |
100.0 (169.9) |
0.0 (nan) |
| rus2_20_40_6_1 |
0.0 (nan) |
0.0 (182.2) |
99.6 (119.4) |
0.0 (nan) |
95.2 (116.1) |
0.0 (nan) |
| rus2_20_40_6_2 |
0.0 (nan) |
0.0 (132.5) |
99.8 (68.2) |
0.0 (nan) |
100.0 (68.4) |
0.0 (nan) |
| rus2_20_40_6_3 |
0.0 (nan) |
0.0 (199.1) |
99.9 (134.2) |
0.0 (nan) |
100.0 (134.1) |
0.0 (nan) |
| rus2_20_40_7_1 |
0.0 (nan) |
0.0 (151.9) |
99.0 (89.1) |
0.0 (nan) |
99.9 (88.5) |
0.0 (nan) |
| rus2_20_40_7_2 |
0.0 (nan) |
0.0 (168.5) |
99.7 (111.4) |
0.0 (nan) |
100.0 (111.5) |
0.0 (nan) |
| rus2_20_40_7_3 |
0.0 (nan) |
0.0 (141.3) |
100.0 (81.5) |
0.0 (nan) |
100.0 (81.4) |
0.0 (nan) |
| rus2_20_40_8_1 |
0.0 (nan) |
0.0 (178.4) |
99.9 (107.0) |
0.0 (nan) |
95.1 (103.4) |
0.0 (nan) |
| rus2_20_40_8_2 |
0.0 (nan) |
0.0 (164.7) |
99.8 (99.7) |
0.0 (nan) |
99.9 (99.8) |
0.0 (nan) |
| rus2_20_40_8_3 |
0.0 (nan) |
0.0 (168.4) |
100.0 (100.6) |
0.0 (nan) |
100.0 (100.6) |
0.0 (nan) |
| rus2_20_40_9_1 |
0.0 (nan) |
0.0 (167.2) |
100.0 (94.6) |
0.0 (nan) |
100.0 (94.5) |
0.0 (nan) |
| rus2_20_40_9_2 |
0.0 (nan) |
0.0 (171.3) |
99.8 (94.5) |
0.0 (nan) |
100.0 (94.6) |
0.0 (nan) |
| rus2_20_40_9_3 |
0.0 (nan) |
0.0 (139.1) |
99.9 (63.6) |
0.0 (nan) |
99.9 (63.6) |
0.0 (nan) |
| rus_20_40_0_1 |
0.0 (nan) |
0.0 (828.0) |
100.0 (617.3) |
0.0 (nan) |
100.0 (617.3) |
0.0 (nan) |
| rus_20_40_0_2 |
0.0 (nan) |
0.0 (988.1) |
97.9 (795.7) |
0.0 (nan) |
100.0 (791.6) |
0.0 (nan) |
| rus_20_40_0_3 |
0.0 (nan) |
0.0 (1097.8) |
99.5 (904.0) |
0.0 (nan) |
100.0 (903.1) |
0.0 (nan) |
| rus_20_40_1_1 |
0.0 (nan) |
0.0 (1185.5) |
100.0 (1004.7) |
0.0 (nan) |
99.5 (1003.8) |
0.0 (nan) |
| rus_20_40_1_2 |
0.0 (nan) |
0.0 (1097.2) |
100.0 (910.2) |
0.0 (nan) |
100.0 (910.1) |
0.0 (nan) |
| rus_20_40_1_3 |
0.0 (nan) |
0.0 (1097.9) |
99.5 (901.6) |
0.0 (nan) |
95.1 (891.1) |
0.0 (nan) |
| rus_20_40_2_1 |
0.0 (nan) |
0.0 (992.4) |
100.0 (797.8) |
0.0 (nan) |
99.6 (797.0) |
0.0 (nan) |
| rus_20_40_2_2 |
0.0 (nan) |
0.0 (886.0) |
97.6 (684.5) |
0.0 (nan) |
100.0 (689.3) |
0.0 (nan) |
| rus_20_40_2_3 |
0.0 (nan) |
0.0 (958.8) |
100.0 (749.3) |
0.0 (nan) |
100.0 (749.3) |
0.0 (nan) |
| rus_20_40_3_1 |
0.0 (nan) |
0.0 (1017.6) |
99.1 (827.6) |
0.0 (nan) |
100.0 (825.8) |
0.0 (nan) |
| rus_20_40_3_2 |
0.0 (nan) |
0.0 (1027.8) |
99.7 (839.6) |
0.0 (nan) |
99.9 (838.8) |
0.0 (nan) |
| rus_20_40_3_3 |
0.0 (nan) |
0.0 (1028.2) |
99.7 (842.6) |
0.0 (nan) |
99.9 (841.7) |
0.0 (nan) |
| rus_20_40_4_1 |
0.0 (nan) |
0.0 (1113.8) |
100.0 (931.5) |
0.0 (nan) |
95.2 (922.7) |
0.0 (nan) |
| rus_20_40_4_2 |
0.0 (nan) |
0.0 (1119.3) |
99.8 (936.2) |
0.0 (nan) |
99.3 (934.4) |
0.0 (nan) |
| rus_20_40_4_3 |
0.0 (nan) |
0.0 (1054.6) |
100.0 (853.3) |
0.0 (nan) |
97.7 (848.6) |
0.0 (nan) |
| rus_20_40_5_1 |
0.0 (nan) |
0.0 (1059.6) |
99.6 (876.6) |
0.0 (nan) |
99.9 (875.7) |
0.0 (nan) |
| rus_20_40_5_2 |
0.0 (nan) |
0.0 (1031.4) |
99.8 (840.0) |
0.0 (nan) |
100.0 (839.7) |
0.0 (nan) |
| rus_20_40_5_3 |
0.0 (nan) |
0.0 (1088.9) |
98.7 (884.7) |
0.0 (nan) |
98.5 (878.8) |
0.0 (nan) |
| rus_20_40_6_1 |
0.0 (nan) |
0.0 (935.5) |
100.0 (723.9) |
0.0 (nan) |
97.8 (728.4) |
0.0 (nan) |
| rus_20_40_6_2 |
0.0 (nan) |
0.0 (1166.7) |
100.0 (982.4) |
0.0 (nan) |
99.5 (981.6) |
0.0 (nan) |
| rus_20_40_6_3 |
0.0 (nan) |
0.0 (1152.7) |
100.0 (966.7) |
0.0 (nan) |
100.0 (966.7) |
0.0 (nan) |
| rus_20_40_7_1 |
0.0 (nan) |
0.0 (943.8) |
99.9 (752.3) |
0.0 (nan) |
100.0 (752.1) |
0.0 (nan) |
| rus_20_40_7_2 |
0.0 (nan) |
0.0 (951.7) |
99.5 (757.2) |
0.0 (nan) |
99.4 (755.0) |
0.0 (nan) |
| rus_20_40_7_3 |
0.0 (nan) |
0.0 (1064.6) |
100.0 (869.7) |
0.0 (nan) |
100.0 (869.7) |
0.0 (nan) |
| rus_20_40_8_1 |
0.0 (nan) |
0.0 (931.5) |
99.6 (727.6) |
0.0 (nan) |
99.6 (727.7) |
0.0 (nan) |
| rus_20_40_8_2 |
0.0 (nan) |
0.0 (1083.3) |
100.0 (898.7) |
0.0 (nan) |
99.6 (897.8) |
0.0 (nan) |
| rus_20_40_8_3 |
0.0 (nan) |
0.0 (895.8) |
100.0 (703.8) |
0.0 (nan) |
100.0 (703.8) |
0.0 (nan) |
| rus_20_40_9_1 |
0.0 (nan) |
0.0 (1047.2) |
100.0 (866.6) |
0.0 (nan) |
98.0 (870.3) |
0.0 (nan) |
| rus_20_40_9_2 |
0.0 (nan) |
0.0 (1045.8) |
100.0 (834.5) |
0.0 (nan) |
100.0 (834.5) |
0.0 (nan) |
| rus_20_40_9_3 |
0.0 (nan) |
0.0 (1052.3) |
100.0 (864.0) |
0.0 (nan) |
99.6 (863.2) |
0.0 (nan) |