Benchmark of Novacore

The below results can be browsed:

Core:
Core predicates benchmark.
More...
Crypt:
Crypt example benchmark.
More...