In this paper we describe a backtrack search over parallel classes with a partial isomorph rejection to classify resolvable 2-(12, 6, 5c) designs. We use the intersection pattern between the parallel classes and the fact that any resolvable 2-(12, 6, 5c) design is also a resolvable 3-(12, 6, 2c) design to effectively guide the search. The method was able to enumerate all nonsimple resolutions a...