文件名

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