Skip to content

Compute the index type with a metafunction. Refs #50. #222

Compute the index type with a metafunction. Refs #50.

Compute the index type with a metafunction. Refs #50. #222

Job Run time
14s
13s
1m 9s
12s
20s
1m 14s
2m 24s
11s
10s
1m 10s
33s
2m 26s
35s
1m 35s
22s
4m 26s
21s
47s
23s
4m 43s
53s
22s
4m 24s
5m 50s
1m 19s
6m 27s
41s
5m 51s
1m 9s
6m 11s
38s
14m 51s
5m 55s
16m 30s
8m 12s
2m 39s
10m 18s
6m 24s
3m 17s
7m 59s
6m 51s
3m 24s
3m 49s
4m 35s
5m 4s
4m 20s
4m 25s
5m 47s
5m 59s
6m 7s
5m 45s
7m 44s
7m 45s
7m 33s
8m 8s
7m 58s
8m 8s
8m 36s
7m 29s
3m 28s
4m 11s
4h 20m 24s