adds new option '-nostalltr' that turns off rcr traversers that only handle conflicts...
[IRC.git] / Robust / src / Benchmarks / oooJava / moldyn / runr
1 time ./JGFMolDynBenchSizeBr.bin 1 215