diff --git a/sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt b/sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt new file mode 100644 index 0000000000000000000000000000000000000000..5830ca49e5f98912bdc21ab8d84b2ec2472e8a2d --- /dev/null +++ b/sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt @@ -0,0 +1,14 @@ +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 diff --git a/sas2011-testcases/eval-summary/SearchLinkedList-evaluation.txt b/sas2011-testcases/eval-summary/SearchLinkedList-evaluation.txt new file mode 100644 index 0000000000000000000000000000000000000000..3df0215328e39b05772e45e00bb44216f77f1afc --- /dev/null +++ b/sas2011-testcases/eval-summary/SearchLinkedList-evaluation.txt @@ -0,0 +1,5 @@ +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 diff --git a/sas2011-testcases/eval-summary/SumAndMax-evaluation-pldi-100.txt b/sas2011-testcases/eval-summary/SumAndMax-evaluation-pldi-100.txt new file mode 100644 index 0000000000000000000000000000000000000000..43ab8c385c8ac82c945949bad3ee78a1fea3a1d9 --- /dev/null +++ b/sas2011-testcases/eval-summary/SumAndMax-evaluation-pldi-100.txt @@ -0,0 +1,6 @@ +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