Evaluation output files for the corresponding snapshot of testcases

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

+with postcondition:
+update                    0   0   ok          0.06
+updateElem                0   1   ok          0.03
+readOverWrite             0   0   ok          0.13
+without postcondition:
+domain                    0   1   ok          0.12
+find                      0   1   ok        < 0.01
+noDuplicates              0   1   ok        < 0.01

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

+with postcondition:
+size                      0   0   ok          0.08
+sortedIns                 1   0   ok          0.12
+buggySortedIns            1   0   ok          0.08
+sort                      1   0   ok          0.08
+without postcondition:
+isSorted                  0   1   ok        < 0.01

sas2011-testcases/eval-summary/ListOperations-evaluation.txt

+with postcondition:
+size                      0   0   ok          0.13
+iplSize                   0   0   ok        < 0.01
+zip                       1   1   ok          0.10
+sizeTailRecAcc            1   0   ok          0.02
+sizesAreEquiv             0   0   ok        < 0.01
+sizeAndContent            0   0   ok        < 0.01
+drunk                     0   0   ok          0.04
+reverse                   0   0   ok        < 0.01
+reverse0                  0   0   ok          0.05
+append                    0   0   ok          0.04
+nilAppend                 0   0   ok          0.05
+appendAssoc               0   0   ok          0.12
+revAuxBroken              0   0   err         0.06
+sizeAppend                0   0   ok          0.07
+concat                    0   0   ok          0.05
+concat0                   0   0   ok          0.15
+without postcondition:
+sizeTailRec               1   0   ok        < 0.01

sas2011-testcases/eval-summary/PropositionalLogic-evaluation-PLDI-100.txt

+with postcondition:
+wrongCommutative          0   0   err         0.44

sas2011-testcases/eval-summary/PropositionalLogic-evaluation.txt

+with postcondition:
+simplify                  0   0   ok          0.26
+nnf                       0   1   ok          0.41
+simplifyBreaksNNF         0   0   err         0.53
+nnfIsStable               0   0   ok          0.25
+simplifyIsStable          0   0   ok          0.11
+without postcondition:
+isNNF                     0   1   ok        < 0.01
+vars                      6   1   ok          0.20
+fv                        1   0   ok          0.04

sas2011-testcases/eval-summary/RedBlackTree-evaluation.txt

+with postcondition:
+ins                       2   0   ok          1.64
+makeBlack                 0   0   ok          0.02
+add                       2   0   ok          0.08
+buggyAdd                  1   0   err         0.24
+balance                   0   1   ok          0.11
+buggyBalance              0   1   err         0.03
+without postcondition:
+redNodesHaveBlackChildren 0   1   ok          0.04
+blackHeight               0   1   ok        < 0.01