| Graph |
Nodes |
Edges |
In-Deg. |
Out-Deg. |
Cyc. |
TC Size. |
Iter. |
Rule Inst. |
|---|
| k500 |
500 |
250000 |
500 |
500 |
yes |
250000 |
1 |
125250000 |
| k1k |
1000 |
1000000 |
1000 |
1000 |
yes |
1000000 |
1 |
1001000000 |
| k2k |
2000 |
4000000 |
2000 |
2000 |
yes |
4000000 |
1 |
8004000000 |
| t500 |
500 |
124750 |
0-499 |
0-499 |
no |
124750 |
1 |
62126000 |
| t1k |
1000 |
499500 |
0-999 |
0-999 |
no |
499500 |
1 |
166666500 |
| t2k |
2000 |
1999000 |
0-1999 |
0-1999 |
no |
1999000 |
1 |
1333333000 |
| c1k |
1000 |
1000 |
1 |
1 |
yes |
1000000 |
1000 |
1001000 |
| c2k |
2000 |
2000 |
1 |
1 |
yes |
4000000 |
2000 |
4002000 |
| c3k |
3000 |
3000 |
1 |
1 |
yes |
9000000 |
3000 |
9003000 |
| c4k |
4000 |
4000 |
1 |
1 |
yes |
16000000 |
4000 |
16004000 |
| s1k_1 |
1000 |
2000 |
2 |
2 |
yes |
1000000 |
500 |
2002000 |
| s1k_2 |
1000 |
3000 |
3 |
3 |
yes |
1000000 |
201 |
3003000 |
| s1k_3 |
1000 |
4000 |
4 |
4 |
yes |
1000000 |
250 |
4004000 |
| s1k_4 |
1000 |
5000 |
5 |
5 |
yes |
1000000 |
200 |
5005000 |
| s1k_5 |
1000 |
6000 |
6 |
6 |
yes |
1000000 |
42 |
6006000 |
| s2k_1 |
2000 |
4000 |
2 |
2 |
yes |
4000000 |
1000 |
8004000 |
| s2k_2 |
2000 |
6000 |
3 |
3 |
yes |
4000000 |
288 |
12006000 |
| s2k_3 |
2000 |
8000 |
4 |
4 |
yes |
4000000 |
500 |
16008000 |
| s2k_4 |
2000 |
10000 |
5 |
5 |
yes |
4000000 |
400 |
20010000 |
| s2k_5 |
2000 |
12000 |
6 |
6 |
yes |
4000000 |
127 |
24012000 |
| p1k |
1000 |
999 |
0-1 |
0-1 |
no |
499500 |
999 |
499500 |
| p2k |
2000 |
1999 |
0-1 |
0-1 |
no |
1999000 |
1999 |
1999000 |
| p3k |
3000 |
2999 |
0-1 |
0-1 |
no |
4498500 |
2999 |
4498500 |
| p4k |
4000 |
3999 |
0-1 |
0-1 |
no |
7998000 |
3999 |
7998000 |
| m4_2ki |
8192 |
6144 |
0-1 |
0-1 |
no |
12288 |
3 |
12288 |
| m16_512 |
8192 |
7680 |
0-1 |
0-1 |
no |
61440 |
15 |
61440 |
| m64_128 |
8192 |
8064 |
0-1 |
0-1 |
no |
258048 |
63 |
258048 |
| m256_32 |
8192 |
8160 |
0-1 |
0-1 |
no |
1044480 |
255 |
1044480 |
| m1ki_8 |
8192 |
8184 |
0-1 |
0-1 |
no |
4190208 |
1023 |
4190208 |
| m4ki_2 |
8192 |
8190 |
0-1 |
0-1 |
no |
16773120 |
4095 |
16773120 |
| b17 |
131071 |
131070 |
0-1 |
0-2 |
no |
1966082 |
16 |
1966082 |
| b18 |
262143 |
262142 |
0-1 |
0-2 |
no |
4194306 |
17 |
4194306 |
| b19 |
524287 |
524286 |
0-1 |
0-2 |
no |
8912898 |
18 |
8912898 |
| y500_4k |
4500 |
4499 |
0-500 |
0-1 |
no |
9998000 |
4000 |
9998000 |
| y500_8k |
8500 |
8499 |
0-500 |
0-1 |
no |
35996000 |
8000 |
35996000 |
| y1k_4k |
5000 |
4999 |
0-1000 |
0-1 |
no |
11998000 |
4000 |
11998000 |
| y1k_8k |
9000 |
8999 |
0-1000 |
0-1 |
no |
39996000 |
8000 |
39996000 |
| u1k_50k |
1000 |
50000 |
46-51 |
46-51 |
yes |
1000000 |
3 |
50050000 |
| u1k_125k |
1000 |
125000 |
122-127 |
122-127 |
yes |
1000000 |
2 |
125125000 |
| u1k_250k |
1000 |
250000 |
248-251 |
248-251 |
yes |
1000000 |
2 |
250250000 |
| u2k_200k |
2000 |
200000 |
98-101 |
98-101 |
yes |
4000000 |
3 |
400200000 |
| u2k_500k |
2000 |
500000 |
248-251 |
248-251 |
yes |
4000000 |
2 |
1000500000 |
| u2k_1m |
2000 |
1000000 |
499-502 |
499-502 |
yes |
4000000 |
2 |
2001000000 |
| a1k_50k |
1000 |
50000 |
0-102 |
0-102 |
no |
471621 |
8 |
15269270 |
| a1k_125k |
1000 |
125000 |
0-250 |
0-250 |
no |
492680 |
5 |
40853746 |
| a1k_250k |
1000 |
250000 |
0-500 |
0-501 |
no |
497763 |
4 |
82941061 |
| a2k_200k |
2000 |
200000 |
0-201 |
0-201 |
no |
1944729 |
8 |
128420988 |
| a2k_500k |
2000 |
500000 |
0-500 |
0-500 |
no |
1985321 |
6 |
330666855 |
| a2k_1m |
2000 |
1000000 |
0-1000 |
0-1000 |
no |
1995698 |
4 |
666033613 |