Merge branch 'develop' of https://github.com/SModelS/smodels into dev… #721
| Job | Run time |
|---|---|
| 36m 21s | |
| 44m 53s | |
| 41m 29s | |
| 54m 40s | |
| 39m 13s | |
| 38m 7s | |
| 22m 40s | |
| 19m 45s | |
| 20m 39s | |
| 42m 37s | |
| 36m 8s | |
| 36m 30s | |
| 33m 18s | |
| 35m 12s | |
| 20m 38s | |
| 37m 13s | |
| 15m 10s | |
| 20m 22s | |
| 17m 26s | |
| 18m 55s | |
| 18m 40s | |
| 41m 39s | |
| 48m 16s | |
| 19m 6s | |
| 37m 7s | |
| 13h 16m 4s |