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

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

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