bug_1284_baseline.cir
bug_1284_first.cir
bug_1284_restarted.cir
