# M6 (no ridge propagation, no quick test), node cap 300000: the leaf test full_check must reject the complete pairings that violate (R2)/freeness
m6 [3,5,3] root 0: SLICE m6 STOPPED nodes=300001 solutions=0 attempts=184248 tries=464346 leaves=232034 maxdepth=10 cpu=0.14
production [3,5,3] root 0: SLICE prod DONE nodes=38 solutions=9 attempts=720 tries=613 leaves=9 maxdepth=3 cpu=0.00
m6 [3,5,3] root 3: SLICE m6 STOPPED nodes=300001 solutions=0 attempts=264456 tries=472893 leaves=169039 maxdepth=10 cpu=0.10
production [3,5,3] root 3: SLICE prod DONE nodes=17 solutions=0 attempts=816 tries=547 leaves=0 maxdepth=2 cpu=0.00
m6 [3,5,3] root 5: SLICE m6 STOPPED nodes=300001 solutions=0 attempts=281502 tries=522278 leaves=245877 maxdepth=10 cpu=0.14
production [3,5,3] root 5: SLICE prod DONE nodes=22 solutions=0 attempts=816 tries=539 leaves=0 maxdepth=3 cpu=0.00
