tree schema BUGFIX correct predicate order in lysc_path #1800
Job | Run time |
---|---|
4m 22s | |
3m 32s | |
1m 5s | |
1m 49s | |
5m 7s | |
44s | |
2m 58s | |
1m 36s | |
1m 17s | |
3m 3s | |
25m 33s |
Job | Run time |
---|---|
4m 22s | |
3m 32s | |
1m 5s | |
1m 49s | |
5m 7s | |
44s | |
2m 58s | |
1m 36s | |
1m 17s | |
3m 3s | |
25m 33s |