TiPoK 2013-09-18 12:24:19 - 435.99 5 - 3 3 1 1.00 7m 0.43 0.43 0.14 0.0000 0 0 0 2