arbiter: play with test driver for synthesize results