A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1#!/usr/bin/env dtrace -s
2
3#pragma D option quiet
4
5minizinc$target:::cse-insert-start
6{
7 @count["CSE Insertions"] = count();
8 @lquant["Number of Arguments (insert)"] = lquantize(arg1, 1, 6, 1);
9 self->start_cse_insert = timestamp;
10}
11
12minizinc$target:::cse-insert-end
13{
14 @quant["Time Inserting (ns)"] = quantize(timestamp - self->start_cse_insert);
15 @times["Total Insertion time (ns)"] = sum(timestamp - self->start_cse_insert);
16}
17
18minizinc$target:::cse-find-start
19{
20 @count["CSE Lookups"] = count();
21 @lquant["Number of Arguments (lookup)"] = lquantize(arg1, 1, 6, 1);
22 self->start_cse_lookup = timestamp;
23}
24
25minizinc$target:::cse-find-end
26{
27 @quant["Time in Lookup (ns)"] = quantize(timestamp - self->start_cse_lookup);
28 @times["Total Lookup time (ns)"] = sum(timestamp - self->start_cse_lookup);
29 @success["CSE Hits"] = sum(arg1);
30}