#!/usr/bin/perl

open(Q,">times.q");
open(QF,">times.qf");

while (<>) {
/^running time/ and $back = $_;
/\s[1-9]\d*-.*QuantLoop.TrySkolemize/ and print Q $back;
/\s0\.00%.*QuantLoop.TrySkolemize/ and print QF $back;
}