From 3e7955c3500f86d88a9f51ad5b57c6a092d595b0 Mon Sep 17 00:00:00 2001 From: Hans-Peter Deifel <hpd@hpdeifel.de> Date: Wed, 10 Apr 2019 16:55:07 +0200 Subject: [PATCH] wta: Preliminary results for Z,max --- wta/benchmarks.org | 90 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 90 insertions(+) diff --git a/wta/benchmarks.org b/wta/benchmarks.org index c3639bd..0f42def 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -986,3 +986,93 @@ ls -sh bench/wta_powerset_0,4_*__14281* : Trying 114887... : Trying 114888... : First bad state count: 114889 + +**** 4xX^2 mit out-degree 50 und different-values 50 + +#+BEGIN_SRC shell +./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50 +#+END_SRC + +: Trying 75000... +: Trying 87500... +: Trying 93750... +: Trying 96875... +: Trying 95312... +: Trying 94531... +: Trying 94921... +: Trying 95116... +: Trying 95214... +: Trying 95263... +: Trying 95287... +: Trying 95299... +: Trying 95293... +: Trying 95290... +: Trying 95288... +: First bad state count: 95288 + +**** 4xX^3 mit out-degree und different-values 50 + +#+BEGIN_SRC shell +./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50 +#+END_SRC + +: Trying 65735... +: Trying 69367... +: Trying 71183... +: Trying 70275... +: Trying 70729... +: Trying 70502... +: Trying 70615... +: Trying 70672... +: Trying 70643... +: Trying 70657... +: Trying 70664... +: Trying 70660... +: Trying 70662... +: Trying 70661... +: First bad state count: 70661 + +**** 4xX^4 mit out-degree und different-values 50 + +#+BEGIN_SRC shell +./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50 +#+END_SRC + +: Trying 64090... +: Trying 59635... +: Trying 61862... +: Trying 62976... +: Trying 62419... +: Trying 62697... +: Trying 62558... +: Trying 62627... +: Trying 62662... +: Trying 62679... +: Trying 62670... +: Trying 62666... +: Trying 62664... +: Trying 62665... +: First bad state count: 62666 + +**** 4xX^5 mit out-degree und different-values 50 + +#+BEGIN_SRC shell +./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50 +#+END_SRC + +: Trying 43000... +: Trying 49000... +: Trying 52000... +: Trying 50500... +: Trying 49750... +: Trying 50125... +: Trying 49937... +: Trying 49843... +: Trying 49890... +: Trying 49913... +: Trying 49925... +: Trying 49931... +: Trying 49928... +: Trying 49926... +: Trying 49927... +: First bad state count: 49927 -- GitLab