#ABC Metrics
abc_depth;abc0.out;.* lev\s*=\s*(\d+)

#ABC Run-time Metrics
abc_synth_time;abc0.out;elapse: .* seconds, total: (.*) seconds
abc_cec_time;abc.cec.out;elapse: .* seconds, total: (.*) seconds
abc_sec_time;abc.lec.out;elapse: .* seconds, total: (.*) seconds

#Memory usage
max_abc_mem;abc0.out;\s*Maximum resident set size \(kbytes\): (\d+)
