cn_default: real 1.50  exit 0
cn_extra: real 410.15  exit 0
cn_full: real 109.45  exit 0
or_binary_family: real 0.30  exit 0
or_fc_s2: real 0.02  exit 0
or_fc_s3a: real 0.02  exit 0
or_fc_s3b: real 0.76  exit 0
or_ternary_chain: real 0.87  exit 0
or_ternary_chain_65536: real 124.43  exit 0
or_verify_constructions: real 117.93  exit 0
vA_check1: real 33.77  exit 0
vA_check2: real 0.54  exit 0
vA_check3: real 86.09  exit 0
vB_t0: real 0.99  exit 0
vB_t1_5: real 0.53  exit 0
vB_t6_2048: real 5.13  exit 0
vB_t6_256: real 0.85  exit 0
vB_t6_eq: real 0.76  exit 0
vB_t8_chain: real 231.06  exit 0
vB_t8_theta: real 0.11  exit 0
