Adding additional disputes based on (my) 'experiments' at https://gist.github.com/pbailis/9629050
Merge pull request #6 from pbailis/pdb-extra-disputes

Adding additional disputes [FengKRR12, OngaroRSOR11, PopaRZB11, FerdmanAKVAJKPAF12]