Merge pull request #5 from bgraedel/new_parameters #27
Job | Run time |
---|---|
1m 31s | |
1m 37s | |
1m 54s | |
2m 27s | |
2m 40s | |
2m 29s | |
2m 13s | |
2m 21s | |
1m 52s | |
0s | |
19m 4s |
Job | Run time |
---|---|
1m 31s | |
1m 37s | |
1m 54s | |
2m 27s | |
2m 40s | |
2m 29s | |
2m 13s | |
2m 21s | |
1m 52s | |
0s | |
19m 4s |