tests/quick/se/70.twolf/ref/x86/linux/simple-timing/smred.sv2

   1 0.001000
   2 123
   3 0
   4 2
   5 0.000000
   6 0.500000
   7 3.906156
   8 1
   9 1 1 2 16 13
  10 2 2 2 19 65
  11 3 2 2 14 65
  12 4 1 0 11 13
  13 5 1 2 6 13
  14 6 2 0 3 65
  15 7 1 0 2 13
  16 8 2 2 9 65
  17 9 1 0 50 13
  18 10 2 0 54 65
  19 11 1 0 84 13