tests/long/se/70.twolf/ref/x86/linux/o3-timing/smred.sav

   1 0.009592
   2 121
   3 0
   4 1
   5 0.000000
   6 0.500000
   7 3.906156
   8 1
   9 1 1 2 37 13
  10 2 2 0 34 65
  11 3 2 2 63 65
  12 4 1 0 59 13
  13 5 1 2 32 13
  14 6 2 0 23 65
  15 7 1 2 12 13
  16 8 2 0 6 65
  17 9 1 0 70 13
  18 10 2 0 70 65