If one test takes to much time (exceed your time out) you can kill the APTE process ('htop' and press 'k').
You can then manually extract results from log files or read the following section.

Extract results

Once 'launch_benchmark.py' performed enough benchmarks, you can extract results and display them in a matrix using the script 'extract_result.py'.
This script looks for log files in the foler 'log', extract results and produce a matrix. Note that if you
killed a process launched by 'launch_benchmark.py' because it took to much time, 'extract_res.py'
is not able to extract this information.
To use this script, you need the followings libraries (easy_install [lib] or pip install [lib]' to install):

Tested protocols and results

Protocols

We performed benchmarks on real world protocols. They all are defined in the folder ./bench/protocols/ (via Github: Protocols Files). We check various properties. We list here all tested protocols and what property we check using APTE:

Yahalom (folder Yahalom): we test strong secrecy of the established key received by Bob (the responder);