Merge pull request #106 from pysat/jklenzing-patch-1 #385
| Job | Run time |
|---|---|
| 1h 43m 8s | |
| 1h 38m 49s | |
| 1h 49m 29s | |
| 1h 47m 33s | |
| 1h 40m 25s | |
| 1h 34m 32s | |
| 1h 43m 4s | |
| 1h 10m 10s | |
| 5s | |
| 13h 7m 15s |
| Job | Run time |
|---|---|
| 1h 43m 8s | |
| 1h 38m 49s | |
| 1h 49m 29s | |
| 1h 47m 33s | |
| 1h 40m 25s | |
| 1h 34m 32s | |
| 1h 43m 4s | |
| 1h 10m 10s | |
| 5s | |
| 13h 7m 15s |