updated old scripts
Merge branch 'master' of https://github.com/neuromancer/ocean-results
Merge branch 'master' of https://github.com/neuromancer/ocean-results
Merge branch 'master' of https://github.com/neuromancer/ocean-results
first version of an experiment with 100 programs
Merge branch 'master' of https://github.com/neuromancer/ocean-results
Merge branch 'master' of https://github.com/neuromancer/ocean-results
first version of experiment with (almost) 100 cases