Mercurial > repos > icfp2012

annotate tuningresults.txt @ 61:f851895ea67a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add cullwhenover option and more tuning results
author Mike Pavone <pavone@retrodev.com>
date Mon, 16 Jul 2012 02:20:38 -0700
parents 7d4e51b4769a
children ff2b38518a58
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
57
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1 -is 2 -as 1 -cs 500
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 maps/contest1.map: 212 (0:01.22)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 maps/contest2.map: 275 (0:03.92)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5 maps/contest3.map: 275 (0:05.03)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 maps/contest4.map: 575 (0:06.50)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 maps/contest5.map: 1295 (0:23.83)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 maps/contest6.map: 702 (1:19.81)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 maps/contest7.map: 869 (0:08.49)
397089dccb32 Compile with -O2. Add tuning parameters and tuning results script
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10 maps/contest8.map: 707 (6:22.09)
58
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
11 -is 2 -as 1 -cs 750
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
12
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
13 maps/contest1.map: 212 (0:01.80)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
14 maps/contest2.map: 281 (0:04.25)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
15 maps/contest3.map: 275 (0:08.77)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
16 maps/contest4.map: 575 (0:10.54)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
17 maps/contest5.map: 1295 (0:36.98)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
18 maps/contest6.map: 702 (2:03.55)
b2ced94370a2 Added tuning results
Mike Pavone <pavone@retrodev.com>
parents: 57
diff changeset
19 maps/contest7.map: 869 (0:12.54)
59
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
20 -is 5 -as 1 -cs 500
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
21
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
22 maps/contest1.map: 212 (0:01.26)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
23 maps/contest2.map: 275 (0:03.90)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
24 maps/contest3.map: 275 (0:05.03)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
25 maps/contest4.map: 575 (0:06.49)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
26 maps/contest5.map: 1295 (0:23.74)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
27 maps/contest6.map: 702 (1:19.07)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
28 maps/contest7.map: 869 (0:08.58)
ba17edeea7c7 More tuning results
Mike Pavone <pavone@retrodev.com>
parents: 58
diff changeset
29 maps/contest8.map: 707 (6:25.68)
60
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
30
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
31 With hashset pruning
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
32
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
33
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
34 -is 2 -as 1 -cs 500
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
35
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
36 maps/contest1.map: 212 (0:00.38)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
37 maps/contest2.map: 281 (0:02.96)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
38 maps/contest3.map: 275 (0:06.45)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
39 maps/contest4.map: 575 (0:08.57)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
40 maps/contest5.map: 1303 (0:31.95)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
41 maps/contest6.map: 1133 (1:53.77)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
42 maps/contest7.map: 869 (0:08.74)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
43 maps/contest8.map: 273 (1:41.30)
61
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
44
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
45 total: 4921
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
46
60
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
47 -is 4 -as 3 -cs 250
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
48
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
49 maps/contest1.map: 212 (0:00.32)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
50 maps/contest2.map: 281 (0:03.74)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
51 maps/contest3.map: 275 (0:06.65)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
52 maps/contest4.map: 575 (0:06.63)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
53 maps/contest5.map: 1295 (1:09.76)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
54 maps/contest6.map: 1103 (1:21.92)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
55 maps/contest7.map: 869 (0:05.88)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
56 maps/contest8.map: 659 (2:13.52)
61
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
57
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
58 total: 5269
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
59
60
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
60 -is 4 -as 3 -cs 64
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
61
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
62 maps/contest1.map: 212 (0:00.18)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
63 maps/contest2.map: 275 (0:01.41)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
64 maps/contest3.map: 275 (0:01.76)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
65 maps/contest4.map: 563 (0:03.32)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
66 maps/contest5.map: 1293 (0:11.39)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
67 maps/contest6.map: 1131 (0:15.09)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
68 maps/contest7.map: 869 (0:01.51)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
69 maps/contest8.map: 237 (0:23.60)
61
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
70
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
71 total: 4580
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
72
60
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
73 -is 5 -as 4 -cs 64
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
74
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
75 maps/contest1.map: 212 (0:00.16)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
76 maps/contest2.map: 136 (0:01.10)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
77 maps/contest3.map: 275 (0:02.44)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
78 maps/contest4.map: 575 (0:02.98)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
79 maps/contest5.map: 1293 (0:30.78)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
80 maps/contest6.map: 1131 (0:16.51)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
81 maps/contest7.map: 869 (0:01.92)
7d4e51b4769a Add hashset based pruning
Mike Pavone <pavone@retrodev.com>
parents: 59
diff changeset
82 maps/contest8.map: 272 (0:55.84)
61
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
83
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
84 total: 4763
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
85
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
86 -is 1 -as 1 -cs 128 -co 3000
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
87
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
88 maps/contest1.map: 212 (0:00.32)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
89 maps/contest2.map: 281 (0:03.24)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
90 maps/contest3.map: 275 (0:08.19)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
91 maps/contest4.map: 575 (0:16.44)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
92 maps/contest5.map: 1293 (1:07.18)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
93 maps/contest6.map: 1133 (2:53.12)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
94 maps/contest7.map: 869 (0:13.08)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
95 maps/contest8.map: 268 (2:26.28)
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
96
f851895ea67a Add cullwhenover option and more tuning results
Mike Pavone <pavone@retrodev.com>
parents: 60
diff changeset
97 total: 4906