Merge pull request #247 from pysat/rc_0_0_6 #1631
| Job | Run time |
|---|---|
| 58m 10s | |
| 1h 32m 51s | |
| 54m 46s | |
| 59m 6s | |
| 1h 5m 20s | |
| 1h 10m 10s | |
| 59m 42s | |
| 1h 14m 22s | |
| 3s | |
| 8h 54m 30s |
| Job | Run time |
|---|---|
| 58m 10s | |
| 1h 32m 51s | |
| 54m 46s | |
| 59m 6s | |
| 1h 5m 20s | |
| 1h 10m 10s | |
| 59m 42s | |
| 1h 14m 22s | |
| 3s | |
| 8h 54m 30s |