Upload two automaton files for inclusion checking. Supported formats are .dot and .vtf, .dot files can be generated randomly. The server needs some time to process the request, refresh the page for results.
More benchmarks can be found here.
There are currently no parameters supported.
To generate bigger automatons, use the application for generation.