# Benchmark "example_2.bench" written by ABC on Wed Nov 14 11:42:18 2018 .model example_2.bench .inputs I0 clk .outputs Q0 .latch n7 Q0 re clk 0 .names I0 n7 0 1 .end