# Use this file to specify which indexes are listed in the report doc_re_time.pdf
# and how they look like in the report.
#
# List all the index ids which should be included in the report. Note that
# the listed index ids must also be present in the file `../index_int.config`.
# Each INDEX_ID should be listed on a separate line followed by the style:
# [pch];[lty];[col] (point type, line type, and color).
GREEDYINT;1;solid;black
QPROBINGINT;2;solid;blue
#GREEDYINTX;2;solid;blue
#GREEDYINTY;2;solid;green
SADAINT;3;solid;red
