Benchmarking

Programs

From nofib

• Sorting
• exp3_8
• digits-of-e
• tak
• nfib
• queens
• x2n1
• primes
• Awards
• Boyer
• Clausify
• Knights
• Cichelli
• SCC
• GCD
• Calendar
• RSA
• lcss
• n-body
• binary-trees
• pidigits

From the Reduceron

• Adjxoxo
• MSS
• PermSort
• OrdList
• Braun
• Sudoku
• Parts
• Taut

Other

• Basic Prelude

Synthetic

• planned

Summary

Benchmark Coverage

How structured combinators are distributed over benchmark applications, so far? The following image illustrates the occurrence of each combinator type (1 - 64) over a few programs. SK-combinators are shown separately, as a way to compare with traditional abstraction algorithms.