main.tex 767 Bytes
Newer Older
Stefan Jaax's avatar
Stefan Jaax committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
\documentclass{scrartcl}

\usepackage[a4paper, top=1cm, bottom=1cm, left=1cm, right=1cm]{geometry}
\usepackage[table]{xcolor}
\usepackage{booktabs}
\usepackage{longtable}
\usepackage{multirow}

\begin{document}

\input{table.tex}

\begin{tabular}{ll}
    $|Q|$ & Number of states. \\
    $|T|$ & Number of non-silent transitions. \\
    termination & Time in seconds to prove layered termination. \\
17
    $|\mathcal{P}|$ & Number of layers in the partition for layered termination. \\
Stefan Jaax's avatar
Stefan Jaax committed
18
19
20
21
22
23
    consensus & Time in seconds to prove strong consensus. \\
    $|\mathcal{R}|$ & Number of refinement steps (i.e.\ number of traps or siphons) for strong consensus. \\
    total & Time in seconds to prove layered termination and strong consensus. \\
\end{tabular}

\end{document}