From 77262aebcb6722cbd292c2ebde990fee750c23fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com> Date: Fri, 25 Mar 2011 17:36:39 +0000 Subject: [PATCH] evaluation summary files --- .../eval-summary/AmortizedQueue-evaluation.txt | 14 ++++++++++++++ .../eval-summary/SearchLinkedList-evaluation.txt | 5 +++++ .../eval-summary/SumAndMax-evaluation-pldi-100.txt | 6 ++++++ 3 files changed, 25 insertions(+) create mode 100644 sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt create mode 100644 sas2011-testcases/eval-summary/SearchLinkedList-evaluation.txt create mode 100644 sas2011-testcases/eval-summary/SumAndMax-evaluation-pldi-100.txt diff --git a/sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt b/sas2011-testcases/eval-summary/AmortizedQueue-evaluation.txt new file mode 100644 index 000000000..5830ca49e --- /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 000000000..3df021532 --- /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 000000000..43ab8c385 --- /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 -- GitLab