diff --git a/dfa/benchmark.org b/dfa/benchmark.org index 2d60506352d144f7e097a387de7240f9fe50fce1..6eec2e837db40d01c4c465860a978ac248f97260 100644 --- a/dfa/benchmark.org +++ b/dfa/benchmark.org @@ -9,13 +9,13 @@ done #+END_SRC #+RESULTS: -| 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 | 1000 | 20 | 10010 | 3 | 20 | 10 | 0.032743416 | 0.028229273 | 0.004473398 | 0.005346065 | 10 | -| 100 | 10 | 200 | 1100 | 3 | 200 | 100 | 0.006599184 | 0.005505797 | 0.000984788 | 0.001659396 | 100 | -| 100 | 1000 | 200 | 100100 | 3 | 200 | 100 | 0.34814413 | 0.27882225 | 0.068818432 | 0.056232639 | 100 | -| 1000 | 10 | 2000 | 11000 | 3 | 2000 | 1000 | 0.067951677 | 0.049381295 | 0.017162538 | 0.007402803 | 1000 | -| 1000 | 1000 | 2000 | 1001000 | 3 | 2000 | 1000 | 3.701357825 | 2.846105985 | 0.84808671 | 1.048837235 | 1000 | -| 10000 | 10 | 20000 | 110000 | 3 | 20000 | 10000 | 0.842888525 | 0.503544948 | 0.310848974 | 0.081738974 | 10000 | -| 10000 | 1000 | 20000 | 10010000 | 3 | 20000 | 10000 | 40.105915601 | 30.007747894 | 10.0226591 | 17.448896307 | 10000 | +| N | M | States | Edges | I | Q | Q_s1 | t (s) | t_p (s) | t_r (s) | t_v (s) | Q_v | +|-------+------+--------+----------+---+-------+-------+--------------+--------------+--------------+--------------+-------| +| 10 | 10 | 10 | 100 | 2 | 10 | 10 | 0.00108511 | 0.000785577 | 0.000264779 | 0.001291088 | 10 | +| 10 | 1000 | 10 | 10000 | 2 | 10 | 10 | 0.061538309 | 0.053232321 | 0.008259335 | 0.005276936 | 10 | +| 100 | 10 | 100 | 1000 | 2 | 100 | 100 | 0.004297939 | 0.002835735 | 0.001089702 | 0.001627114 | 100 | +| 100 | 1000 | 100 | 100000 | 2 | 100 | 100 | 0.320491073 | 0.223947905 | 0.096222104 | 0.055752642 | 100 | +| 1000 | 10 | 1000 | 10000 | 2 | 1000 | 1000 | 0.048094508 | 0.023178512 | 0.023920656 | 0.007265129 | 1000 | +| 1000 | 1000 | 1000 | 1000000 | 2 | 1000 | 1000 | 3.712884752 | 2.270199055 | 1.435761549 | 1.056063913 | 1000 | +| 10000 | 10 | 10000 | 100000 | 2 | 10000 | 10000 | 0.63191654 | 0.244462371 | 0.372625894 | 0.074967957 | 10000 | +| 10000 | 1000 | 10000 | 10000000 | 2 | 10000 | 10000 | 41.889350355 | 24.850617868 | 16.965343373 | 17.213633862 | 10000 |