g3: verdict NO-MATCH start 11 best 11 compiles 400 path 
g5: verdict NO-MATCH start 11 best 11 compiles 725 path 
s1: verdict NO-MATCH start 11 best 11 compiles 143 path 
s2: verdict NO-MATCH start 11 best 11 compiles 143 path 
s4: verdict NO-MATCH start 11 best 11 compiles 238 path 
s7: verdict NO-MATCH start 11 best 11 compiles 301 path 
s9: verdict NO-MATCH start 11 best 11 compiles 143 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @32 -> 11 [COUNT] (from 11)
  R7 do-while @32 -> 11 [COUNT] (from 11)
  R7 block @34 -> 11 [COUNT] (from 11)
  R7 do-while @34 -> 11 [COUNT] (from 11)
  R7 block @48 -> 11 [COUNT] (from 11)
  R7 do-while @48 -> 11 [COUNT] (from 11)
  R7 block @40 -> 11 [COUNT] (from 11)
  R7 do-while @40 -> 11 [COUNT] (from 11)
  R7 block @42 -> 11 [COUNT] (from 11)
  R7 do-while @42 -> 11 [COUNT] (from 11)
  R7 block @46 -> 11 [COUNT] (from 11)
  R7 do-while @46 -> 11 [COUNT] (from 11)
