mios v1.6.1 Release Notes

Release Date: 2018-06-18 // about 4 years ago
    • 👉 Use CPU clock time in benchmark mode correctly
    • Introduce new algorithms:
      • ACIDS (average conflict-index decision score); Armin Biere and Andreas Fröhlich, "Evaluating CDCL Variable Scoring Schemes", LCSN, vol.9340, pp.405-422, 2015.
      • An EMA-based restart heuristics (not evaluated well; might be canceled in a future release)
      • A new clause scoring scheme
    • The clause sorter doesn't allocate a temporal vector
    • 0️⃣ Set a maximum heap size as a terminating trigger (default: 7GB)