Closed 5nizza closed 3 years ago
Issue #9 changed the benchmark mux, hence its status and solution sizes should be updated (or reset). Issue #4 might also affect sizes. (maybe do this after SYNTCOMP'21 is finished)
mux
I just reseted them now.
Issue #9 changed the benchmark
mux
, hence its status and solution sizes should be updated (or reset). Issue #4 might also affect sizes. (maybe do this after SYNTCOMP'21 is finished)