sema: pass sema through if available for the array_type case in bitSi… #86
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1h 47m 28s | |
2h 12m 46s | |
1h 8m 28s | |
5h 8m 49s |
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1h 47m 28s | |
2h 12m 46s | |
1h 8m 28s | |
5h 8m 49s |