Limit number of nonminimal_bool
ops
#584
Job | Run time |
---|---|
9m 21s | |
9m 55s | |
37s | |
19m 53s |
nonminimal_bool
ops
#584
Job | Run time |
---|---|
9m 21s | |
9m 55s | |
37s | |
19m 53s |