Skip to main content

Table 1 Datasets used in different experiments

From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce

Parameter

Dataset

Size (MB)

|E| (\(\times 10^6\))

|S|

|I|

|O|

D (%)

R (%)

Number of transitions

\(S_1\)

14.24

1

143

143

143

70

50

\(S_2\)

29.86

2

180

180

180

70

50

\(S_3\)

44.74

3

205

205

205

70

50

\(S_4\)

59.94

4

225

225

225

70

50

\(S_5\)

76.22

5

243

243

243

70

50

Degree of nondeterminism

\(S_6\)

13.26

0.896

200

200

200

20

50

\(S_7\)

26.88

1.816

200

200

200

40

50

\(S_8\)

38.61

2.608

200

200

200

60

50

\(S_9\)

51.28

3.464

200

200

200

80

50

Input alphabet size

\(S_{10}\)

17.41

1.203

250

50

250

70

50

\(S_{11}\)

35.82

2.458

250

100

250

70

50

\(S_{12}\)

49.99

3.345

250

150

250

70

50

\(S_{13}\)

78.06

5.160

250

200

250

70

50

\(S_{14}\)

93.64

6.144

250

250

250

70

50

Range

\(S_{15}\)

14.51

0.980

200

200

200

50

20

\(S_{16}\)

27.51

1.860

200

200

200

50

40

\(S_{17}\)

38.19

2.580

200

200

200

50

60

\(S_{18}\)

50.01

3.380

200

200

200

50

80

Number of states

\(S_{19}\)

4.62

0.367

100

100

100

70

50

\(S_{20}\)

10.82

0.790

200

100

100

70

50

\(S_{21}\)

17.53

1.248

300

100

100

70

50

\(S_{22}\)

21.68

1.524

400

100

100

70

50

\(S_{23}\)

29.83

2.080

500

100

100

70

50

\(S_{24}\)

31.73

2.202

600

100

100

70

50

\(S_{25}\)

40.69

2.813

700

100

100

70

50

\(S_{26}\)

44.19

3.048

800

100

100

70

50

\(S_{27}\)

49.82

3.429

900

100

100

70

50

\(S_{28}\)

58.51

4.020

1000

100

100

70

50