g3: verdict NO-MATCH start 18 best 18 compiles 815 path 
g5: verdict NO-MATCH start 18 best 18 compiles 2342 path 
s1: verdict NO-MATCH start 18 best 18 compiles 190 path 
s2: verdict NO-MATCH start 18 best 18 compiles 190 path 
s4: verdict NO-MATCH start 18 best 18 compiles 443 path 
s7: verdict NO-MATCH start 18 best 18 compiles 566 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R8 temp tmp0 @1162 -> 18 [COUNT] (from 18)
  R7 block @1164 -> 18 [COUNT] (from 18)
  R8 base tmp0 @1162 -> 18 [COUNT] (from 18)
  R7 do-while @1164 -> 18 [COUNT] (from 18)
  R9 swap-stmts @1161 -> 18 [COUNT] (from 18)
  R8 hoist tmp0 @1221 -> 18 [COUNT] (from 18)
  R7 block @1262 -> 18 [COUNT] (from 18)
  R8 temp tmp0 @1161 -> 18 [COUNT] (from 18)
  R7 do-while @1262 -> 18 [COUNT] (from 18)
  R9 swap-stmts @1225 -> 18 [COUNT] (from 18)
  R8 base tmp0 @1161 -> 18 [COUNT] (from 18)
  R7 block @1200 -> 18 [COUNT] (from 18)
