nitcc: add LRAutomaton::to_dot_lr0 #20
Job | Run time |
---|---|
7s | |
14m 33s | |
2s | |
9m 44s | |
15s | |
2m 17s | |
5m 43s | |
16m 14s | |
2m 9s | |
6m 21s | |
2m 37s | |
2m 59s | |
2m 3s | |
1m 58s | |
18m 8s | |
44m 0s | |
31m 27s | |
48m 1s | |
33m 38s | |
40m 27s | |
4h 42m 43s |
Job | Run time |
---|---|
7s | |
14m 33s | |
2s | |
9m 44s | |
15s | |
2m 17s | |
5m 43s | |
16m 14s | |
2m 9s | |
6m 21s | |
2m 37s | |
2m 59s | |
2m 3s | |
1m 58s | |
18m 8s | |
44m 0s | |
31m 27s | |
48m 1s | |
33m 38s | |
40m 27s | |
4h 42m 43s |