Skip to content
Snippets Groups Projects
Commit 3bdf1745 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

dfa: Update benchmarks 

This actually seems to have gotten a bit slower.
parent 40621839
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 10 additions and 10 deletions
dfa/benchmark.org
+ 10
− 10
View file @ 3bdf1745
...@@ -10,12 +10,12 @@ done ...@@ -10,12 +10,12 @@ done
#+RESULTS: #+RESULTS:
| N | M | States | Edges | I | Q | Q_s1 | t (s) | t_p (s) | t_r (s) | t_v (s) | Q_v | | N | M | States | Edges | I | Q | Q_s1 | t (s) | t_p (s) | t_r (s) | t_v (s) | Q_v |
|-------+------+--------+----------+---+-------+-------+--------------+--------------+-------------+--------------+-------| |-------+------+--------+----------+---+-------+-------+--------------+--------------+--------------+--------------+-------|
| 10 | 10 | 20 | 110 | 3 | 20 | 10 | 0.001366702 | 0.001186823 | 0.000142705 | 0.001348562 | 10 | | 10 | 10 | 10 | 100 | 2 | 10 | 10 | 0.00108511 | 0.000785577 | 0.000264779 | 0.001291088 | 10 |
| 10 | 1000 | 20 | 10010 | 3 | 20 | 10 | 0.032743416 | 0.028229273 | 0.004473398 | 0.005346065 | 10 | | 10 | 1000 | 10 | 10000 | 2 | 10 | 10 | 0.061538309 | 0.053232321 | 0.008259335 | 0.005276936 | 10 |
| 100 | 10 | 200 | 1100 | 3 | 200 | 100 | 0.006599184 | 0.005505797 | 0.000984788 | 0.001659396 | 100 | | 100 | 10 | 100 | 1000 | 2 | 100 | 100 | 0.004297939 | 0.002835735 | 0.001089702 | 0.001627114 | 100 |
| 100 | 1000 | 200 | 100100 | 3 | 200 | 100 | 0.34814413 | 0.27882225 | 0.068818432 | 0.056232639 | 100 | | 100 | 1000 | 100 | 100000 | 2 | 100 | 100 | 0.320491073 | 0.223947905 | 0.096222104 | 0.055752642 | 100 |
| 1000 | 10 | 2000 | 11000 | 3 | 2000 | 1000 | 0.067951677 | 0.049381295 | 0.017162538 | 0.007402803 | 1000 | | 1000 | 10 | 1000 | 10000 | 2 | 1000 | 1000 | 0.048094508 | 0.023178512 | 0.023920656 | 0.007265129 | 1000 |
| 1000 | 1000 | 2000 | 1001000 | 3 | 2000 | 1000 | 3.701357825 | 2.846105985 | 0.84808671 | 1.048837235 | 1000 | | 1000 | 1000 | 1000 | 1000000 | 2 | 1000 | 1000 | 3.712884752 | 2.270199055 | 1.435761549 | 1.056063913 | 1000 |
| 10000 | 10 | 20000 | 110000 | 3 | 20000 | 10000 | 0.842888525 | 0.503544948 | 0.310848974 | 0.081738974 | 10000 | | 10000 | 10 | 10000 | 100000 | 2 | 10000 | 10000 | 0.63191654 | 0.244462371 | 0.372625894 | 0.074967957 | 10000 |
| 10000 | 1000 | 20000 | 10010000 | 3 | 20000 | 10000 | 40.105915601 | 30.007747894 | 10.0226591 | 17.448896307 | 10000 | | 10000 | 1000 | 10000 | 10000000 | 2 | 10000 | 10000 | 41.889350355 | 24.850617868 | 16.965343373 | 17.213633862 | 10000 |
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment