reorgainze sas2011 benchmarks

testcases/verification/datastructures/RedBlackTree.scala

testcases/verification/list-algorithms/InsertionSort.scala

...cases/verification/list-algorithms/SearchLinkedList.scala

...cases/verification/sas2011-testcases/AmortizedQueue.scala

...ases/verification/sas2011-testcases/AssociativeList.scala

...cases/verification/sas2011-testcases/ListOperations.scala

...s/verification/sas2011-testcases/PropositionalLogic.scala

testcases/verification/sas2011-testcases/RedBlackTree.scala

testcases/verification/sas2011-testcases/SumAndMax.scala

...camera-ready-eval-summaries/AmortizedQueue-evaluation.txt

...amera-ready-eval-summaries/AssociativeList-evaluation.txt

.../camera-ready-eval-summaries/InsertionSort-evaluation.txt

...camera-ready-eval-summaries/ListOperations-evaluation.txt

...ra-ready-eval-summaries/PropositionalLogic-evaluation.txt

...s/camera-ready-eval-summaries/RedBlackTree-evaluation.txt

...mera-ready-eval-summaries/SearchLinkedList-evaluation.txt

...ases/camera-ready-eval-summaries/SumAndMax-evaluation.txt

...2011-testcases/eval-summary/AmortizedQueue-evaluation.txt

...011-testcases/eval-summary/AssociativeList-evaluation.txt

...s2011-testcases/eval-summary/InsertionSort-evaluation.txt