a synthetic benchmark program for system (integer) programming