Update result table with published results - #18

Open

mberr wants to merge 7 commits into

published_results_table

Commits on Jun 21, 2020

Update configs
mberr
committed
10e68ea
revert un-related changes
mberr
committed
80245ae

Commits on Jun 22, 2020

Some progress
mberr
committed
d3a143f
Optionally leave out std
mberr
committed
24dd89b
Add midrules
mberr
committed
441ccc8
Rename index levels
mberr
committed
c184d5e
Fix index renaming
mberr
committed
ef1512d