After selecting "Load..." under "File", navigate to "Figure7_right.mat".
If the "Over last figure" under "Figure" is still selected, deselect it.
Make sure "Color scheme:" is set to "Default".
Highlight "Linear Orders" under Theories.
Change the "Supermajority" level under "Probabilistic specifications" to "0.90".
Then select "Visualize".
This should give a version of the right-panel of Figure 7 of the paper.

