Make fwd and rev preds both optional in Attean::Algebra::NegatedPrope… #12
Job | Run time |
---|---|
5m 0s | |
21s | |
2m 22s | |
4m 33s | |
2m 9s | |
2m 26s | |
2m 22s | |
2m 48s | |
2m 56s | |
2m 29s | |
2m 35s | |
20s | |
30m 21s |
Job | Run time |
---|---|
5m 0s | |
21s | |
2m 22s | |
4m 33s | |
2m 9s | |
2m 26s | |
2m 22s | |
2m 48s | |
2m 56s | |
2m 29s | |
2m 35s | |
20s | |
30m 21s |