./ipasir-check-satunsat 100000 5 5000 # should be around 6 minutes
./ipasir-check-satunsat 200000 5 5000 # should be around 12 minutes
./ipasir-check-satunsat 300 3 300000 # should be around 1 minutes
./ipasir-check-satunsat 2000 5 30000 # should be around 1 minutes
./ipasir-check-satunsat 200000 2 30 # pretty short, but more SAT calls