Collection of benchmarks suffering from OpenSMT's design

[blishko]

Here we collect benchmarks and document any progress on dealing with the problem that too many terms (PTRef) created cause bottleneck in OpenSMT's initialization (related to how OpenSMT maintains mapping in LASolver and TermMapper.

chc24/LIA-Lin/chc-comp24-LIA-Lin-(226-262).smt2