Improvement of auto-escaping #501
Job | Run time |
---|---|
1m 38s | |
1m 25s | |
1m 27s | |
1m 20s | |
1m 20s | |
1m 26s | |
1m 20s | |
1m 24s | |
1m 18s | |
1m 39s | |
1m 18s | |
15m 35s |
Job | Run time |
---|---|
1m 38s | |
1m 25s | |
1m 27s | |
1m 20s | |
1m 20s | |
1m 26s | |
1m 20s | |
1m 24s | |
1m 18s | |
1m 39s | |
1m 18s | |
15m 35s |