Toggle labels:
paths
names
effects
Lab results summary
eg-clean-dirty
detailed results
eg-oopsla2015-sec2
detailed results
eg-oopsla2015-sec2-rev1
detailed results
eg-oopsla2015-sec2-rev2
detailed results
list-lazy-map
detailed results
list-lazy-filter
detailed results
list-tree
detailed results
list-tree-max
detailed results
list-tree-sum
detailed results
list-eager-mergesort3
detailed results
list-lazy-mergesort3
detailed results
list-eager-mergesort2
detailed results
list-lazy-mergesort2
detailed results
list-eager-mergesort1
detailed results
list-lazy-mergesort1
detailed results
list-eager-map
detailed results
list-eager-filter
detailed results
list-reverse
detailed results