next up previous contents
Next: sv: Saving Default Flag Up: Flag Settings Previous: sass: Choosing a Selection   Contents


satp: Timing


\begin{displaymath} \mbox{{\tt satp}} \end{displaymath}

Show/Set the Active Timing Points $T$ for profiling.

Profiling can measure times for

$T=1$:
inference computation
$T=2$:
forward simplification and redundancy tests
$T=3$:
backward simplification and redundancy tests
$T=4$:
constraint solving
$T=5$:
clause preprocessing
$T=6$:
rewriting.
Can be quite expensive.


Harald Ganzinger 2002-12-04

Imprint | Data Protection