Skip to content

Commit d6fe954

Browse files
UdopiaUdopia
committed
benchmarks
1 parent f4b836a commit d6fe954

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

83 files changed

+667939
-0
lines changed

‎exercises/coloring/anna.col

+990
Large diffs are not rendered by default.

‎exercises/coloring/david.col

+816
Large diffs are not rendered by default.

‎exercises/coloring/fpsol2.i.1.col

+11,663
Large diffs are not rendered by default.

‎exercises/coloring/fpsol2.i.2.col

+8,700
Large diffs are not rendered by default.

‎exercises/coloring/fpsol2.i.3.col

+8,697
Large diffs are not rendered by default.

‎exercises/coloring/games120.col

+1,280
Large diffs are not rendered by default.

‎exercises/coloring/homer.col

+3,262
Large diffs are not rendered by default.

‎exercises/coloring/huck.col

+606
Large diffs are not rendered by default.

‎exercises/coloring/inithx.i.1.col

+18,716
Large diffs are not rendered by default.

‎exercises/coloring/inithx.i.2.col

+13,988
Large diffs are not rendered by default.

‎exercises/coloring/inithx.i.3.col

+13,978
Large diffs are not rendered by default.

‎exercises/coloring/jean.col

+512
Large diffs are not rendered by default.

‎exercises/coloring/latin_square_10.col

+307,356
Large diffs are not rendered by default.

‎exercises/coloring/le450_15b.col

+8,203
Large diffs are not rendered by default.

‎exercises/coloring/le450_15c.col

+16,714
Large diffs are not rendered by default.

‎exercises/coloring/le450_15d.col

+16,784
Large diffs are not rendered by default.

‎exercises/coloring/le450_25a.col

+8,294
Large diffs are not rendered by default.

‎exercises/coloring/le450_25b.col

+8,297
Large diffs are not rendered by default.

‎exercises/coloring/le450_25c.col

+17,377
Large diffs are not rendered by default.

‎exercises/coloring/le450_25d.col

+17,459
Large diffs are not rendered by default.

‎exercises/coloring/le450_5a.col

+5,748
Large diffs are not rendered by default.

‎exercises/coloring/le450_5b.col

+5,768
Large diffs are not rendered by default.

‎exercises/coloring/le450_5c.col

+9,837
Large diffs are not rendered by default.

‎exercises/coloring/le450_5d.col

+9,791
Large diffs are not rendered by default.

‎exercises/coloring/miles1000.col

+6,436
Large diffs are not rendered by default.

‎exercises/coloring/miles1500.col

+10,400
Large diffs are not rendered by default.

‎exercises/coloring/miles250.col

+778
Large diffs are not rendered by default.

‎exercises/coloring/miles500.col

+2,344
Large diffs are not rendered by default.

‎exercises/coloring/miles750.col

+4,230
Large diffs are not rendered by default.

‎exercises/coloring/mulsol.i.1.col

+3,934
Large diffs are not rendered by default.

‎exercises/coloring/mulsol.i.2.col

+3,894
Large diffs are not rendered by default.

‎exercises/coloring/mulsol.i.3.col

+3,925
Large diffs are not rendered by default.

‎exercises/coloring/mulsol.i.4.col

+3,955
Large diffs are not rendered by default.

‎exercises/coloring/mulsol.i.5.col

+3,982
Large diffs are not rendered by default.

‎exercises/coloring/myciel3.col

+26
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
c FILE: myciel3.col
2+
c SOURCE: Michael Trick ([email protected])
3+
c DESCRIPTION: Graph based on Mycielski transformation.
4+
c Triangle free (clique number 2) but increasing
5+
c coloring number
6+
p edge 11 20
7+
e 1 2
8+
e 1 4
9+
e 1 7
10+
e 1 9
11+
e 2 3
12+
e 2 6
13+
e 2 8
14+
e 3 5
15+
e 3 7
16+
e 3 10
17+
e 4 5
18+
e 4 6
19+
e 4 10
20+
e 5 8
21+
e 5 9
22+
e 6 11
23+
e 7 11
24+
e 8 11
25+
e 9 11
26+
e 10 11

‎exercises/coloring/myciel4.col

+77
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
c FILE: myciel4.col
2+
c SOURCE: Michael Trick ([email protected])
3+
c DESCRIPTION: Graph based on Mycielski transformation.
4+
c Triangle free (clique number 2) but increasing
5+
c coloring number
6+
p edge 23 71
7+
e 1 2
8+
e 1 4
9+
e 1 7
10+
e 1 9
11+
e 1 13
12+
e 1 15
13+
e 1 18
14+
e 1 20
15+
e 2 3
16+
e 2 6
17+
e 2 8
18+
e 2 12
19+
e 2 14
20+
e 2 17
21+
e 2 19
22+
e 3 5
23+
e 3 7
24+
e 3 10
25+
e 3 13
26+
e 3 16
27+
e 3 18
28+
e 3 21
29+
e 4 5
30+
e 4 6
31+
e 4 10
32+
e 4 12
33+
e 4 16
34+
e 4 17
35+
e 4 21
36+
e 5 8
37+
e 5 9
38+
e 5 14
39+
e 5 15
40+
e 5 19
41+
e 5 20
42+
e 6 11
43+
e 6 13
44+
e 6 15
45+
e 6 22
46+
e 7 11
47+
e 7 12
48+
e 7 14
49+
e 7 22
50+
e 8 11
51+
e 8 13
52+
e 8 16
53+
e 8 22
54+
e 9 11
55+
e 9 12
56+
e 9 16
57+
e 9 22
58+
e 10 11
59+
e 10 14
60+
e 10 15
61+
e 10 22
62+
e 11 17
63+
e 11 18
64+
e 11 19
65+
e 11 20
66+
e 11 21
67+
e 12 23
68+
e 13 23
69+
e 14 23
70+
e 15 23
71+
e 16 23
72+
e 17 23
73+
e 18 23
74+
e 19 23
75+
e 20 23
76+
e 21 23
77+
e 22 23

‎exercises/coloring/myciel5.col

+242
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,242 @@
1+
c FILE: myciel5.col
2+
c SOURCE: Michael Trick ([email protected])
3+
c DESCRIPTION: Graph based on Mycielski transformation.
4+
c Triangle free (clique number 2) but increasing
5+
c coloring number
6+
p edge 47 236
7+
e 1 2
8+
e 1 4
9+
e 1 7
10+
e 1 9
11+
e 1 13
12+
e 1 15
13+
e 1 18
14+
e 1 20
15+
e 1 25
16+
e 1 27
17+
e 1 30
18+
e 1 32
19+
e 1 36
20+
e 1 38
21+
e 1 41
22+
e 1 43
23+
e 2 3
24+
e 2 6
25+
e 2 8
26+
e 2 12
27+
e 2 14
28+
e 2 17
29+
e 2 19
30+
e 2 24
31+
e 2 26
32+
e 2 29
33+
e 2 31
34+
e 2 35
35+
e 2 37
36+
e 2 40
37+
e 2 42
38+
e 3 5
39+
e 3 7
40+
e 3 10
41+
e 3 13
42+
e 3 16
43+
e 3 18
44+
e 3 21
45+
e 3 25
46+
e 3 28
47+
e 3 30
48+
e 3 33
49+
e 3 36
50+
e 3 39
51+
e 3 41
52+
e 3 44
53+
e 4 5
54+
e 4 6
55+
e 4 10
56+
e 4 12
57+
e 4 16
58+
e 4 17
59+
e 4 21
60+
e 4 24
61+
e 4 28
62+
e 4 29
63+
e 4 33
64+
e 4 35
65+
e 4 39
66+
e 4 40
67+
e 4 44
68+
e 5 8
69+
e 5 9
70+
e 5 14
71+
e 5 15
72+
e 5 19
73+
e 5 20
74+
e 5 26
75+
e 5 27
76+
e 5 31
77+
e 5 32
78+
e 5 37
79+
e 5 38
80+
e 5 42
81+
e 5 43
82+
e 6 11
83+
e 6 13
84+
e 6 15
85+
e 6 22
86+
e 6 25
87+
e 6 27
88+
e 6 34
89+
e 6 36
90+
e 6 38
91+
e 6 45
92+
e 7 11
93+
e 7 12
94+
e 7 14
95+
e 7 22
96+
e 7 24
97+
e 7 26
98+
e 7 34
99+
e 7 35
100+
e 7 37
101+
e 7 45
102+
e 8 11
103+
e 8 13
104+
e 8 16
105+
e 8 22
106+
e 8 25
107+
e 8 28
108+
e 8 34
109+
e 8 36
110+
e 8 39
111+
e 8 45
112+
e 9 11
113+
e 9 12
114+
e 9 16
115+
e 9 22
116+
e 9 24
117+
e 9 28
118+
e 9 34
119+
e 9 35
120+
e 9 39
121+
e 9 45
122+
e 10 11
123+
e 10 14
124+
e 10 15
125+
e 10 22
126+
e 10 26
127+
e 10 27
128+
e 10 34
129+
e 10 37
130+
e 10 38
131+
e 10 45
132+
e 11 17
133+
e 11 18
134+
e 11 19
135+
e 11 20
136+
e 11 21
137+
e 11 29
138+
e 11 30
139+
e 11 31
140+
e 11 32
141+
e 11 33
142+
e 11 40
143+
e 11 41
144+
e 11 42
145+
e 11 43
146+
e 11 44
147+
e 12 23
148+
e 12 25
149+
e 12 27
150+
e 12 30
151+
e 12 32
152+
e 12 46
153+
e 13 23
154+
e 13 24
155+
e 13 26
156+
e 13 29
157+
e 13 31
158+
e 13 46
159+
e 14 23
160+
e 14 25
161+
e 14 28
162+
e 14 30
163+
e 14 33
164+
e 14 46
165+
e 15 23
166+
e 15 24
167+
e 15 28
168+
e 15 29
169+
e 15 33
170+
e 15 46
171+
e 16 23
172+
e 16 26
173+
e 16 27
174+
e 16 31
175+
e 16 32
176+
e 16 46
177+
e 17 23
178+
e 17 25
179+
e 17 27
180+
e 17 34
181+
e 17 46
182+
e 18 23
183+
e 18 24
184+
e 18 26
185+
e 18 34
186+
e 18 46
187+
e 19 23
188+
e 19 25
189+
e 19 28
190+
e 19 34
191+
e 19 46
192+
e 20 23
193+
e 20 24
194+
e 20 28
195+
e 20 34
196+
e 20 46
197+
e 21 23
198+
e 21 26
199+
e 21 27
200+
e 21 34
201+
e 21 46
202+
e 22 23
203+
e 22 29
204+
e 22 30
205+
e 22 31
206+
e 22 32
207+
e 22 33
208+
e 22 46
209+
e 23 35
210+
e 23 36
211+
e 23 37
212+
e 23 38
213+
e 23 39
214+
e 23 40
215+
e 23 41
216+
e 23 42
217+
e 23 43
218+
e 23 44
219+
e 23 45
220+
e 24 47
221+
e 25 47
222+
e 26 47
223+
e 27 47
224+
e 28 47
225+
e 29 47
226+
e 30 47
227+
e 31 47
228+
e 32 47
229+
e 33 47
230+
e 34 47
231+
e 35 47
232+
e 36 47
233+
e 37 47
234+
e 38 47
235+
e 39 47
236+
e 40 47
237+
e 41 47
238+
e 42 47
239+
e 43 47
240+
e 44 47
241+
e 45 47
242+
e 46 47

0 commit comments

Comments
 (0)