stage_atlas_maxsat: instances={'unit': 2476, 'weighted': 2476, 'prime': 222} failures=0 time=18.5s
