efficient BDD test for disjoint and subset #119
Job | Run time |
---|---|
2m 44s | |
2m 51s | |
58s | |
2m 21s | |
2m 30s | |
51s | |
2m 49s | |
1m 4s | |
3m 10s | |
48s | |
1m 4s | |
43s | |
1m 35s | |
1m 23s | |
1m 0s | |
38s | |
2m 19s | |
58s | |
2m 8s | |
38s | |
1m 48s | |
1m 23s | |
1m 21s | |
42s | |
51s | |
42s | |
1m 44s | |
37s | |
41s | |
33s | |
35s | |
43m 29s |