Salvador Abreu / PaCCS

Blame view

TUNING 1.84 KB
Edit Raw Normal View History
965dadaa   Salvador Abreu   initial commit fr... 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
qap
	-DCONSTRAINT_TEMPS -DDOMAIN_BOUNDS

    A
	--label --first-fail (N > 16 ?)
	{,--label{, --first-fail, --most-constrained, --most-connected}} (otherwise)

    B
	--label --first-fail

costas
	-DCONSTRAINT_TEMPS -DDOMAIN_BOUNDS
	--label --most-constrained
eef94371   Vasco Pedro   Update to PaCCS v... 
14
15
 
	--split-even	(first solution)
965dadaa   Salvador Abreu   initial commit fr... 
16
17
 
queens
	-DDOMAIN_BOUNDS ??? [not ism]
a2ec137b   Vasco Pedro   updated to PaCCS ... 
18
19
 
	--first-fail
965dadaa   Salvador Abreu   initial commit fr... 
20
 
magic-square
eef94371   Vasco Pedro   Update to PaCCS v... 
21
 
	-DCONSTRAINT_TEMPS (-DDISABLE_ENTAILED)
965dadaa   Salvador Abreu   initial commit fr... 
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
 
	(-DDOMAIN_BOUNDS incurs a < 5% penalty)
	--first-fail (--count-solutions, --gecode, N > 5)

graphs
	-DUSE_MATCHING -DCONSTRAINT_TEMPS
	(-DDOMAIN_BOUNDS incurs a < 2% penalty)
	--most-connected
	(--first-fail the second best choice)

partition
	-DCONSTRAINT_TEMPS -DDOMAIN_BOUNDS (-DDISABLE_ENTAILED)
	--first-fail
	--first-var (--count-solutions or failure)
	(--most-constrained second best choice with --count-solutions)
	(--most-connected third best choice with --count-solutions)

golomb
	-DDOMAIN_BOUNDS (-DCONSTRAINT_TEMPS -DDISABLE_ENTAILED [cri-lima])
	--label{, --most-connected, --most-constrained}
	--split-eager
	(--split-even is generally slower, but more regular)

langford
    [bicho]
	-DDOMAIN_BOUNDS -DCONSTRAINT_TEMPS -DDISABLE_ENTAILED
eef94371   Vasco Pedro   Update to PaCCS v... 
47
 
	-DDOMAIN_BOUNDS (next best)
965dadaa   Salvador Abreu   initial commit fr... 
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
 
	-DINLINE_DOMAINS -DCONSTRAINT_TEMPS (third best)
    [ism]
	-DINLINE_DOMAINS
	-DINLINE_DOMAINS -DCONSTRAINT_TEMPS -DDISABLE_ENTAILED (next best)
	-DINLINE_DOMAINS -DCONSTRAINT_TEMPS (third best)
	-DDOMAIN_BOUNDS (fourth best)
    [cri-lima]
	-DINLINE_DOMAINS -DCONSTRAINT_TEMPS -DDISABLE_ENTAILED
	-DINLINE_DOMAINS (next best)
	-DINLINE_DOMAINS -DCONSTRAINT_TEMPS (third best)
	-DDOMAIN_BOUNDS -DCONSTRAINT_TEMPS -DDISABLE_ENTAILED (fourth best)
	-DDOMAIN_BOUNDS (fifth best)

	--first-fail --val-max (--count-solutions or failure)
	--size-degree --val-max (first solution, not always but when
				 it works, the effect is dramatic)
eef94371   Vasco Pedro   Update to PaCCS v... 
65
66
 
	--split-eager
965dadaa   Salvador Abreu   initial commit fr... 
67
68
69
 
golfers
	-D?
	--label --val-max?
eef94371   Vasco Pedro   Update to PaCCS v... 
70
71
72
73
 

bibd
	-D?
	--val-max?
965dadaa   Salvador Abreu   initial commit fr...