Add session_options
configuration option (Fixes #11)
#73
Job | Run time |
---|---|
49s | |
51s | |
45s | |
46s | |
55s | |
47s | |
59s | |
1m 44s | |
3m 34s | |
1m 37s | |
1m 26s | |
3m 5s | |
1m 13s | |
1m 58s | |
1m 55s | |
1m 51s | |
1m 54s | |
1m 39s | |
2m 8s | |
3m 38s | |
33m 34s |