The results are given for each domain and each parameter using:
log:
is a directory in sample/log containing a log file and the files storing the shapes generated
constraint:
is the most interesting constraint synthesized by the analysis; this constraint is given in the specification language (see Specification logic).