Improved reprinting filename format
Fixed syntactic bug in MABsolver