| 文件名 | k | 规模 | 时间 |
| c.periodic | 96 | 1560 | 208.92 |
| n.guidance1 | 10 | 1910 | 6.64 |
| n.guidance7 | 27 | 2000 | 56.57 |
| n.tcasp2 | 6 | 3020 | 4.18 |
| n.tcasp3 | 5 | 2980 | 3.96 |
| v.prodcell12 | 29 | 2910 | 135.04 |
| v.prodcell13 | 8 | 2910 | 5.92 |
| v.prodcell14 | 16 | 2910 | 33.95 |
| v.prodcell15 | 23 | 2910 | 64.72 |
| v.prodcell16 | 5 | 2910 | 2.64 |
| v.prodcell17 | 27 | 2910 | 113.16 |
| v.prodcell18 | 13 | 2910 | 18.88 |
| v.prodcell19 | 22 | 2910 | 59.52 |
| v.prodcell24 | 37 | 2910 | 270.47 |