Merge pull request #7 from DAI-Lab/user_query_functions #47
| Job | Run time |
|---|---|
| 50s | |
| 37s | |
| 20s | |
| 45s | |
| 39s | |
| 28s | |
| 49s | |
| 40s | |
| 1m 12s | |
| 28s | |
| 20s | |
| 38s | |
| 21s | |
| 30s | |
| 2m 26s | |
| 26s | |
| 16s | |
| 1m 0s | |
| 12m 45s |
| Job | Run time |
|---|---|
| 50s | |
| 37s | |
| 20s | |
| 45s | |
| 39s | |
| 28s | |
| 49s | |
| 40s | |
| 1m 12s | |
| 28s | |
| 20s | |
| 38s | |
| 21s | |
| 30s | |
| 2m 26s | |
| 26s | |
| 16s | |
| 1m 0s | |
| 12m 45s |