Provisional: extensible random generators and splitting for Gecode 7 (breaking changes) #245
| Job | Run time |
|---|---|
| 6m 34s | |
| 15m 34s | |
| 44s | |
| 6m 8s | |
| 9s | |
| 9m 19s | |
| 11m 50s | |
| 25m 48s | |
| 13m 27s | |
| 28m 16s | |
| 16m 50s | |
| 14m 19s | |
| 23m 54s | |
| 6m 6s | |
| 2h 58m 58s |
| Job | Run time |
|---|---|
| 6m 34s | |
| 15m 34s | |
| 44s | |
| 6m 8s | |
| 9s | |
| 9m 19s | |
| 11m 50s | |
| 25m 48s | |
| 13m 27s | |
| 28m 16s | |
| 16m 50s | |
| 14m 19s | |
| 23m 54s | |
| 6m 6s | |
| 2h 58m 58s |