stage_atlas weighted=True: instances=2476 by_n={3: 2, 4: 24, 5: 210, 6: 2240} failures=0 maxsat_checked=0 bb_checked=48 pathform_checked=236 time=16.6s
