A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1## start of ocaml dump of "tak.cmo"
2 0 BRANCH 37
3 2 RESTART
4 3 GRAB 2
5 5 ACC0
6 6 PUSHACC2
7 7 LTINT
8 8 BRANCHIFNOT 34
9 10 ACC1
10 11 PUSHACC1
11 12 PUSHACC4
12 13 OFFSETINT -1
13 15 PUSHOFFSETCLOSURE0
14 16 APPLY3
15 17 PUSHACC1
16 18 PUSHACC4
17 19 PUSHACC4
18 20 OFFSETINT -1
19 22 PUSHOFFSETCLOSURE0
20 23 APPLY3
21 24 PUSHACC4
22 25 PUSHACC4
23 26 PUSHACC4
24 27 OFFSETINT -1
25 29 PUSHOFFSETCLOSURE0
26 30 APPLY3
27 31 PUSHOFFSETCLOSURE0
28 32 APPTERM3 6
29 34 ACC2
30 35 RETURN 3
31 37 CLOSUREREC 0, 3
32 41 CONST1
33 42 PUSHCONSTINT 1000
34 44 PUSH
35 45 PUSHACC2
36 46 GTINT
37 47 BRANCHIF 69
38 49 CHECK_SIGNALS
39 50 CONSTINT 6
40 52 PUSHCONSTINT 12
41 54 PUSHCONSTINT 18
42 56 PUSHACC5
43 57 APPLY3
44 58 CONST0
45 59 ACC1
46 60 PUSH
47 61 OFFSETINT 1
48 63 ASSIGN 2
49 65 ACC1
50 66 NEQ
51 67 BRANCHIF 49
52 69 CONST0
53 70 POP 2
54 72 ACC0
55 73 MAKEBLOCK1 0
56 75 POP 1
57 77 SETGLOBAL Tak
58## end of ocaml dump of "tak.cmo"