$ perl demo.pl haukex 50
duration (haukex): 17.388 seconds
found match: yes

$ perl demo.pl karlary 50
duration (karlary): 7.633 seconds
found match: yes

$ perl demo.pl karlseq 50
duration (karlseq): 2.858 seconds
found match: yes