SVCOMP: Investigate / Come up with autotuners for new features #1681
Description
Goblint has acquired many new features since the last principled overhaul of the SV-COMP config. We should investigate them and potentially write autotuners (or include them in appropriate multi-shot configs):
- Context Gas (SOAP '24, plus (potentially) an extended version in STTT)
- C2PO (JavierFest & NSAD '24)
- Bitdomain (Practical)
- Optimized Affine Equalities (Practical)
- 2Var-Eq (TOPLAS '12)
- ... ?