DdminResult
data class DdminResult<T>(val minimal: List<T>, val sequence: List<List<Int>>, val unresolved: Int)(source)
DdminResult.minimal keeps the input order. DdminResult.sequence lists the index subsets passed to the test, in call order, memoized repeats excluded; calls is its size. DdminResult.unresolved counts tested subsets that came back UNRESOLVED, so a nonzero value means those subsets were not proven PASS.