From bebbb8413ebe38e4c7cf0f94e8cf783851cbe327 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 28 May 2019 19:12:26 +0200 Subject: [PATCH] chore(tests/playground/Makefile): benchmark scaling --- tests/playground/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/playground/Makefile b/tests/playground/Makefile index a0e3a67900..ca13477e58 100644 --- a/tests/playground/Makefile +++ b/tests/playground/Makefile @@ -96,15 +96,15 @@ bench/frontend.%.bench: BENCH_PARAMS = --new-frontend frontend_test.lean bench/binarytrees.%.bench: BENCH_PARAMS = 21 -bench/qsort.%.bench: BENCH_PARAMS = 250 +bench/qsort.%.bench: BENCH_PARAMS = 400 -bench/rbmap.%.bench: BENCH_PARAMS = 7000000 +bench/rbmap.%.bench: BENCH_PARAMS = 5000000 rbmap_shared.%.out: rbmap_checkpoint.%.out; ln -f $< $@ bench/rbmap_shared.%.bench: BENCH_PARAMS = 500000 1 rbmap_checkpoint_10.%.out: rbmap_checkpoint.%.out; ln -f $< $@ -bench/rbmap_checkpoint_10.%.bench: BENCH_PARAMS = 2000000 10 +bench/rbmap_checkpoint_10.%.bench: BENCH_PARAMS = 5000000 10 bench/unionfind1.%.bench: BENCH_PARAMS = 3000000 bench/unionfind2.%.bench: BENCH_PARAMS = 3000000