dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / data / prize /
at develop 152 files
12-3-4-0.dzn
12-3-4-1.dzn
12-3-4-2.dzn
12-3-4-3.dzn
12-3-4-4.dzn
12-3-4-5.dzn
12-3-4-6.dzn
12-3-4-7.dzn
12-3-4-8.dzn
12-3-4-9.dzn
15-3-5-0.dzn
15-3-5-1.dzn
15-3-5-2.dzn
15-3-5-3.dzn
15-3-5-4.dzn
15-3-5-5.dzn
15-3-5-6.dzn
15-3-5-7.dzn
15-3-5-8.dzn
15-3-5-9.dzn
16-4-4-0.dzn
16-4-4-1.dzn
16-4-4-2.dzn
16-4-4-3.dzn
16-4-4-4.dzn
16-4-4-5.dzn
16-4-4-6.dzn
16-4-4-7.dzn
16-4-4-8.dzn
16-4-4-9.dzn
18-3-6-0.dzn
18-3-6-1.dzn
18-3-6-2.dzn
18-3-6-3.dzn
18-3-6-4.dzn
18-3-6-5.dzn
18-3-6-6.dzn
18-3-6-7.dzn
18-3-6-8.dzn
18-3-6-9.dzn
20-4-5-0.dzn
20-4-5-1.dzn
20-4-5-2.dzn
20-4-5-3.dzn
20-4-5-4.dzn
20-4-5-5.dzn
20-4-5-6.dzn
20-4-5-7.dzn
20-4-5-8.dzn
20-4-5-9.dzn
21-3-7-0.dzn
21-3-7-1.dzn
21-3-7-2.dzn
21-3-7-3.dzn
21-3-7-4.dzn
21-3-7-5.dzn
21-3-7-6.dzn
21-3-7-7.dzn
21-3-7-8.dzn
21-3-7-9.dzn
24-4-6-0.dzn
24-4-6-1.dzn
24-4-6-2.dzn
24-4-6-3.dzn
24-4-6-4.dzn
24-4-6-5.dzn
24-4-6-6.dzn
24-4-6-7.dzn
24-4-6-8.dzn
24-4-6-9.dzn
25-5-5-0.dzn
25-5-5-1.dzn
25-5-5-2.dzn
25-5-5-3.dzn
25-5-5-4.dzn
25-5-5-5.dzn
25-5-5-6.dzn
25-5-5-7.dzn
25-5-5-8.dzn
25-5-5-9.dzn
28-4-7-0.dzn
28-4-7-1.dzn
28-4-7-2.dzn
28-4-7-3.dzn
28-4-7-4.dzn
28-4-7-5.dzn
28-4-7-6.dzn
28-4-7-7.dzn
28-4-7-8.dzn
28-4-7-9.dzn
30-5-6-0.dzn
30-5-6-1.dzn
30-5-6-2.dzn
30-5-6-3.dzn
30-5-6-4.dzn
30-5-6-5.dzn
30-5-6-6.dzn
30-5-6-7.dzn
30-5-6-8.dzn
30-5-6-9.dzn
32-4-8-0.dzn
32-4-8-1.dzn
32-4-8-2.dzn
32-4-8-3.dzn
32-4-8-4.dzn
32-4-8-5.dzn
32-4-8-6.dzn
32-4-8-7.dzn
32-4-8-8.dzn
32-4-8-9.dzn
35-5-7-0.dzn
35-5-7-1.dzn
35-5-7-2.dzn
35-5-7-3.dzn
35-5-7-4.dzn
35-5-7-5.dzn
35-5-7-6.dzn
35-5-7-7.dzn
35-5-7-8.dzn
35-5-7-9.dzn
40-5-8-0.dzn
40-5-8-1.dzn
40-5-8-2.dzn
40-5-8-3.dzn
40-5-8-4.dzn
40-5-8-5.dzn
40-5-8-6.dzn
40-5-8-7.dzn
40-5-8-8.dzn
40-5-8-9.dzn
45-5-9-0.dzn
45-5-9-1.dzn
45-5-9-2.dzn
45-5-9-3.dzn
45-5-9-4.dzn
45-5-9-5.dzn
45-5-9-6.dzn
45-5-9-7.dzn
45-5-9-8.dzn
45-5-9-9.dzn
9-3-3-0.dzn
9-3-3-1.dzn
9-3-3-2.dzn
9-3-3-3.dzn
9-3-3-4.dzn
9-3-3-5.dzn
9-3-3-6.dzn
9-3-3-7.dzn
9-3-3-8.dzn
9-3-3-9.dzn
prize_imp.mzn
prize_orig.mzn