Merge pull request #251 from pysat/controlled_information #1660
| Job | Run time |
|---|---|
| 1h 14m 56s | |
| 1h 16m 7s | |
| 39m 13s | |
| 45m 5s | |
| 1h 21m 28s | |
| 1h 13m 30s | |
| 1h 4m 17s | |
| 59m 30s | |
| 3s | |
| 8h 34m 9s |
| Job | Run time |
|---|---|
| 1h 14m 56s | |
| 1h 16m 7s | |
| 39m 13s | |
| 45m 5s | |
| 1h 21m 28s | |
| 1h 13m 30s | |
| 1h 4m 17s | |
| 59m 30s | |
| 3s | |
| 8h 34m 9s |