Program now creates subfolder for conjecture conflicts.