evaluation summary files

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

+size                      0   1  ok          0.12
+content                   0   1  ok        < 0.01
+asList                    0   1  ok        < 0.01
+concat                    0   1  ok          0.05
+isAmortized               0   1  ok        < 0.01
+isEmpty                   0   1  ok        < 0.01
+reverse                   0   1  ok          0.34
+amortizedQueue            0   0  ok        < 0.01
+enqueue                   0   1  ok          0.01
+front                     0   1  ok          0.02
+tail                      0   1  ok          0.04
+propFront                 1   1  ok          0.13
+enqueueAndFront           1   0  ok          0.13
+enqueueDequeueThrice      5   0  ok          2.27

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

+size                      0   1   ok          0.07
+contains                  0   1   ok        < 0.01
+firstZero                 0   1   ok          0.03
+firstZeroAtPos            0   1   ok        < 0.01
+goal                      0   0   ok        < 0.01

sas2011-testcases/eval-summary/SumAndMax-evaluation-pldi-100.txt

+max                       2   1   ok          0.08
+sum                       0   1   ok        < 0.01
+allPos                    0   1   ok        < 0.01
+size                      0   1   ok          0.01
+prop0                     1   0   ok        < 0.01
+property                  1   0   ok          0.22