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

Model Counting - Lite

By Johannes K. Fichte1, Markus Hecher2, Florim Hamiti1