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