main.tex 767 Bytes
 Stefan Jaax committed May 15, 2017 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. \\  Philipp Meyer committed May 16, 2017 17  $|\mathcal{P}|$ & Number of layers in the partition for layered termination. \\  Stefan Jaax committed May 15, 2017 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}