milestone 2: pass all benchmarks except javasrcp