Require rdfstar option to read directional language-tagged strings.
#144
| Job | Run time |
|---|---|
| 1m 54s | |
| 1m 50s | |
| 58s | |
| 56s | |
| 44s | |
| 44s | |
| 1m 47s | |
| 1m 42s | |
| 10m 35s |
rdfstar option to read directional language-tagged strings.
#144
| Job | Run time |
|---|---|
| 1m 54s | |
| 1m 50s | |
| 58s | |
| 56s | |
| 44s | |
| 44s | |
| 1m 47s | |
| 1m 42s | |
| 10m 35s |