Add function get_solution_count. #271
Job | Run time |
---|---|
1m 6s | |
2m 12s | |
2m 3s | |
38s | |
1m 4s | |
1m 59s | |
44s | |
1m 3s | |
2m 9s | |
40s | |
1m 24s | |
1m 30s | |
37s | |
59s | |
1m 23s | |
19m 31s |
Job | Run time |
---|---|
1m 6s | |
2m 12s | |
2m 3s | |
38s | |
1m 4s | |
1m 59s | |
44s | |
1m 3s | |
2m 9s | |
40s | |
1m 24s | |
1m 30s | |
37s | |
59s | |
1m 23s | |
19m 31s |