This is a problem with limited submission frequency. After each submission you will have to wait 24 hours before you can submit it again.

MC2020 - Track 1: Model Counting

By Johannes Fichte1 Florim Hamiti1 Markus Hecher2