
== proposed (projection)
   group            states  B bisects    ours       B   (bracket halvings per eval, all states with a decision)
   APS                1258      65.6%     inf     inf
   CHA fun1             46      60.9%    5.44    2.17
   CHA flat fun3-6    1623      83.6%    0.32    0.98
   CHA other           165      73.3%    4.88    2.03

== reading (3), as for m>=2
   group            states  B bisects    ours       B   (bracket halvings per eval, all states with a decision)
   APS                 958      52.6%    7.46    2.69
   CHA fun1             32      43.8%    5.01    1.52
   CHA flat fun3-6     603      48.3%    0.59    0.83
   CHA other           120      46.7%    6.59    2.72
