g3: verdict NO-MATCH start 72 best 72 compiles 513 path 
g4s: verdict NO-MATCH start 72 best 72 compiles 513 path 
g5: verdict NO-MATCH start 72 best 72 compiles 615 path 
s1: verdict NO-MATCH start 72 best 72 compiles 122 path 
s2: verdict NO-MATCH start 72 best 72 compiles 122 path 
s4: verdict NO-MATCH start 72 best 72 compiles 198 path 
s7: verdict NO-MATCH start 72 best 72 compiles 250 path 
s9: verdict NO-MATCH start 72 best 72 compiles 122 path 
s10: verdict NO-MATCH start 72 best 72 compiles 122 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @1161 -> 72 [REG] (from 72)
  R4 decl-move p 9->0 -> 72 [REG] (from 72)
  R4 decl-move p 9->1 -> 72 [REG] (from 72)
  R7 block @1163 -> 72 [REG] (from 72)
  R4 decl-move p 9->2 -> 72 [REG] (from 72)
  R4 decl-move p 9->3 -> 72 [REG] (from 72)
  R7 block @1165 -> 72 [REG] (from 72)
  R4 decl-move p 9->4 -> 72 [REG] (from 72)
  R4 decl-move p 9->5 -> 72 [REG] (from 72)
  R7 block @1167 -> 72 [REG] (from 72)
  R4 decl-move p 9->6 -> 72 [REG] (from 72)
  R4 decl-move p 9->7 -> 72 [REG] (from 72)
