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


