Closed jinnaiyuu closed 9 years ago
heuristic: goal count threads: 1,2,4,8,12,16 abstraction: 1,2,4,8? (instance dependent?)