plotDiffs for diff plotting SAT techniques