01.NLIN

01.01_ackermann.enc.pl

10

6

23

9140

20

1

01.NLIN

01.02_ackermann-faulty.enc.pl

10

8

35

14130

40

1

01.NLIN

01.03_mccarthy91.enc.pl

6

6

13

1080

20

1

01.NLIN

01.04_ack_drec_iterec.enc.pl

8

5

15

90

0

1

01.NLIN

01.05_ack_drec_mirror.enc.pl

8

5

15

80

10

1

01.NLIN

01.06_ack-eh.enc.pl

10

5

23

150

0

1

01.NLIN

01.07_ack-p.enc.pl

8

5

15

90

0

1

01.NLIN

01.08_B.enc.pl

6

3

5

50

0

1

01.NLIN

01.09_fusc.enc.pl

7

6

22

80

0

1

01.NLIN

01.10_G.enc.pl

8

5

15

90

0

1

01.NLIN

01.11_hanoi.enc.pl

6

3

7

40

0

1

01.NLIN

01.12_mc91itrec.enc.pl

9

6

15

160

0

1

01.NLIN

01.13_sudan.enc.pl

8

5

15

530

0

1

02.MON

02.01_add-horn.enc.pl

6

5

13

140

0

1

02.MON

02.02_barthe.enc.pl

8

6

14

290

0

1

02.MON

02.03_barthe2.enc.pl

8

6

14

90

0

1

02.MON

02.04_bug15.enc.pl

8

3

4

30

0

1

02.MON

02.05_cube.enc.pl

12

16

50

390

0

1

02.MON

02.06_digits10.enc.pl

8

5

10

40

10

1

02.MON

02.07_fib.enc.pl

8

6

14

140

0

1

02.MON

02.08_loop.enc.pl

8

5

10

40

10

1

02.MON

02.09_loop2.enc.pl

8

5

10

50

0

1

02.MON

02.10_loop3.enc.pl

10

13

32

220

10

1

02.MON

02.11_loop4.enc.pl

8

5

10

60

0

1

02.MON

02.12_nested-while.enc.pl

14

9

14

180

0

1

02.MON

02.13_product.enc.pl

8

6

14

140

0

1

02.MON

02.14_simple-loop.enc.pl

8

3

4

20

10

1

02.MON

02.15_square.enc.pl

8

6

14

90

0

1

02.MON

02.16_sum.enc.pl

8

6

14

80

0

1

02.MON

02.17_upcount.enc.pl

8

6

14

70

0

1

02.MON

02.18_while-if.enc.pl

10

8

21

160

0

1

03.INJ

03.01_add-horn.enc.pl

6

3

5

90

0

1

03.INJ

03.02_fib.enc.pl

8

8

18

180

0

1

03.INJ

03.03_loop.enc.pl

8

5

10

60

0

1

03.INJ

03.04_loop2.enc.pl

8

5

10

60

0

1

03.INJ

03.05_loop3.enc.pl

10

13

32

310

10

1

03.INJ

03.06_loop4.enc.pl

8

5

10

60

0

1

03.INJ

03.07_product.enc.pl

8

4

6

120

0

1

03.INJ

03.08_square.enc.pl

8

6

14

120

0

1

03.INJ

03.09_sum.enc.pl

8

6

14

80

20

1

03.INJ

03.10_upcount.enc.pl

8

6

14

80

10

1

03.INJ

03.11_while-if.enc.pl

10

6

15

160

0

1

04.FUN

04.01_add-horn.enc.pl

6

5

13

120

10

1

04.FUN

04.02_bug15.enc.pl

8

3

4

40

0

1

04.FUN

04.03_fib.enc.pl

6

4

7

130

10

1

04.FUN

04.04_nested-while.enc.pl

14

38

90

680

10

1

04.FUN

04.05_simple-loop.enc.pl

8

3

4

30

0

1

04.FUN

04.06_upcount.enc.pl

8

6

14

70

0

1

04.FUN

04.07_while-if.enc.pl

10

8

17

130

10

1

05.NINT

05.01_limit2.enc.pl

14

9

22

720

0

05.NINT

05.01_limit2.enc.1.pl

21

8

21

140

0

05.NINT

05.01_limit2.enc.1.2.pl

20

11

47

1170

20

05.NINT

05.02_limit3.enc.pl

16

9

29

740

0

05.NINT

05.02_limit3.enc.1.pl

28

8

28

150

10

05.NINT

05.02_limit3.enc.1.2.pl

27

4

23

720

0

05.NINT

05.03_loop1.enc.pl

18

11

24

970

0

05.NINT

05.03_loop1.enc.1.pl

23

10

23

150

0

05.NINT

05.03_loop1.enc.1.2.pl

22

17

93

1800

20

05.NINT

05.04_loop2.enc.pl

18

12

28

1020

10

05.NINT

05.04_loop2.enc.1.pl

27

11

27

190

20

05.NINT

05.04_loop2.enc.1.2.pl

26

17

95

1860

0

05.NINT

05.05_loop3.enc.pl

18

11

24

1000

0

05.NINT

05.05_loop3.enc.1.pl

23

10

23

180

0

05.NINT

05.05_loop3.enc.1.2.pl

22

17

95

1780

20

05.NINT

05.06_loopunswitch.enc.pl

26

19

67

1230

10

05.NINT

05.06_loopunswitch.enc.1.pl

66

18

66

420

0

05.NINT

05.06_loopunswitch.enc.1.2.pl

65

25

172

7010

30

05.NINT

05.07_nonint1.enc.pl

8

2

5

40

0

1

05.NINT

05.08_nonint1-hard.enc.pl

10

2

6

40

10

1

05.NINT

05.09_nonint2.enc.pl

8

5

13

40

10

1

05.NINT

05.10_nonint2-hard.enc.pl

14

15

60

220

0

1

05.NINT

05.11_nonint3.enc.pl

10

2

6

40

0

1

05.NINT

05.12_nonint3-hard.enc.pl

14

3

8

60

0

1

05.NINT

05.13_strengthred.enc.pl

18

12

28

1350

10

05.NINT

05.13_strengthred.enc.1.pl

27

11

27

270

0

05.NINT

05.13_strengthred.enc.1.2.pl

26

5

13

800

0

05.NINT

05.14_sum01.enc.pl

20

11

27

710

0

05.NINT

05.14_sum01.enc.1.pl

26

10

26

130

0

05.NINT

05.14_sum01.enc.1.2.pl

25

24

130

1760

20

05.NINT

05.15_sumupto1.enc.pl

24

22

63

1520

0

05.NINT

05.15_sumupto1.enc.1.pl

62

21

62

480

10

05.NINT

05.15_sumupto1.enc.1.2.pl

61

53

274

8240

50

05.NINT

05.16_sumupto2.enc.pl

24

22

63

1630

0

05.NINT

05.16_sumupto2.enc.1.pl

62

21

62

600

0

05.NINT

05.16_sumupto2.enc.1.2.pl

61

53

274

9420

40

05.NINT

05.17_upcount.enc.pl

20

15

31

870

10

05.NINT

05.17_upcount.enc.1.pl

30

14

29

170

10

05.NINT

05.17_upcount.enc.1.2.pl

26

16

57

860

10

05.NINT

05.18_whileif.enc.pl

22

12

29

1190

0

05.NINT

05.18_whileif.enc.1.pl

28

11

28

260

0

05.NINT

05.18_whileif.enc.1.2.pl

27

22

109

3500

30

06.LOPT

06.01_code-sinking.enc.pl

11

4

22

180

0

1

06.LOPT

06.02_condrem.enc.pl

11

4

6

40

0

1

06.LOPT

06.03_countingloop.enc.pl

9

6

11

90

10

1

06.LOPT

06.04_ex1.enc.pl

12

4

8

230

0

1

06.LOPT

06.05_lf.enc.pl

12

7

11

130

0

1

06.LOPT

06.06_licm.enc.pl

9

6

11

100

0

1

06.LOPT

06.07_loop-peeling.enc.pl

9

5

11

40

0

1

06.LOPT

06.08_loop-reversal.enc.pl

11

7

17

60

10

1

06.LOPT

06.09_loop-tiling09.enc.pl

10

8

18

80

0

1

06.LOPT

06.10_loop-unswitching.enc.pl

13

7

24

110

0

1

06.LOPT

06.11_pre01.enc.pl

8

2

3

30

0

1

06.LOPT

06.12_spin13-ex.enc.pl

9

6

17

70

0

1

06.LOPT

06.13_strength-reduction.enc.pl

10

4

6

40

0

1

06.LOPT

06.14_sw-pipelining.enc.pl

11

5

11

80

0

1

06.LOPT

06.15_lf2.enc.pl

12

6

9

80

0

1

06.LOPT

06.16_loop-flattening.enc.pl

10

8

19

80

0

1

06.LOPT

06.17_loop-interchange.enc.pl

16

15

45

230

0

1

06.LOPT

06.18_loop-skewing.enc.pl

15

22

83

890

0

1

06.LOPT

06.19_loop-tiling01.enc.pl

12

13

50

310

0

1

06.LOPT

06.20_loop-unroll01.enc.pl

11

8

23

90

0

1

07.ITE

07.01_barthe.enc.pl

8

4

6

150

0

1

07.ITE

07.02_barthe2.enc.pl

8

6

14

70

10

1

07.ITE

07.03_barthe2-big.enc.pl

12

8

18

120

0

1

07.ITE

07.04_barthe2-big2.enc.pl

16

14

36

210

10

1

07.ITE

07.05_barthe-faulty.enc.pl

9

4

8

200

10

1

07.ITE

07.06_bug15.enc.pl

8

3

4

30

0

1

07.ITE

07.07_digits10.enc.pl

12

11

82

480

0

1

07.ITE

07.08_digits10_inl.enc.pl

15

11

175

1730

10

1

07.ITE

07.09_fib.enc.pl

8

7

18

200

0

1

07.ITE

07.10_invarianthoisting.enc.pl

6

5

11

100

0

1

07.ITE

07.11_loop.enc.pl

8

6

14

70

20

1

07.ITE

07.12_loop2.enc.pl

8

6

14

80

0

1

07.ITE

07.13_loop3.enc.pl

10

6

11

80

0

1

07.ITE

07.14_loop4.enc.pl

8

6

14

80

0

1

07.ITE

07.15_loop5.enc.pl

8

6

14

80

10

1

07.ITE

07.16_loop5-faulty.enc.pl

8

6

14

80

10

1

07.ITE

07.17_nested-while.enc.pl

14

9

14

210

0

1

07.ITE

07.18_nested-while-faulty.enc.pl

14

9

14

180

10

1

07.ITE

07.19_simple-loop.enc.pl

8

5

10

40

0

1

07.ITE

07.20_upcount.enc.pl

8

5

10

60

0

1

07.ITE

07.21_while-if.enc.pl

10

7

18

150

10

1

07.ITE

07.22_su_sq.hm.enc.pl

4

3

5

20

10

1

08.ARR

08.01_fib.enc.pl

8

5

8

610

10

1

08.ARR

08.02_findmax.enc.pl

9

2

8

100

0

1

08.ARR

08.03_loopalign.enc.pl

6

4

9

480

20

1

08.ARR

08.04_looppipe.enc.pl

6

4

9

550

0

1

08.ARR

08.05_propagate.enc.pl

6

3

5

60

0

1

08.ARR

08.06_gtemaxarray.enc.pl

7

7

18

90

0

08.ARR

08.06_gtemaxarray.enc.1.pl

17

5

20

120

0

09.REC

09.01_add-horn.enc.pl

7

4

9

110

0

1

09.REC

09.02_add-horn-faulty.enc.pl

8

4

11

120

0

1

09.REC

09.03_cocome1.enc.pl

8

4

6

60

0

1

09.REC

09.04_inlining.enc.pl

10

5

33

140

0

1

09.REC

09.05_inlining-faulty.enc.pl

9

5

28

130

10

1

09.REC

09.06_limit1.enc.pl

6

5

11

60

10

1

09.REC

09.07_limit1-faulty.enc.pl

7

5

15

90

0

1

09.REC

09.08_limit1unrolled.enc.pl

7

4

9

80

10

1

09.REC

09.09_limit2.enc.pl

6

4

9

60

0

1

09.REC

09.10_limit2-faulty.enc.pl

7

4

11

60

10

1

09.REC

09.11_limit3.enc.pl

7

3

7

60

0

1

09.REC

09.12_loop_rec.enc.pl

13

5

9

80

0

1

09.REC

09.13_triangular.enc.pl

8

4

6

60

0

1

09.REC

09.14_triangular-mod.enc.pl

12

4

22

220

0

1

09.REC

09.15_triangular-mod-faulty.enc.pl

10

4

12

130

0

1

10.I-R

10.01_gcd.enc.pl

14

10

24

330

20

1

10.I-R

10.02_sumprod.enc.pl

7

7

17

100

10

1

10.I-R

10.03_triangular_nontail.enc.pl

7

7

17

80

10

1

10.I-R

10.04_triangular_tail.enc.pl

7

7

17

80

20

1

11.COMP

11.01_array_copy.enc.pl

8

8

21

600

0

1

11.COMP

11.02_array_copy_max.enc.pl

13

6

12

320

10

11.COMP

11.02_array_copy_max.enc.1.pl

11

4

18

1540

0

11.COMP

11.03_array_sum.enc.pl

11

6

9

200

0

11.COMP

11.03_array_sum.enc.1.pl

8

4

9

840

10

11.COMP

11.04_array_sum_k.enc.pl

11

6

9

320

10

11.COMP

11.04_array_sum_k.enc.1.pl

8

4

9

1180

20

11.COMP

11.05_sum_upto.enc.pl

8

9

25

130

0

1

11.COMP

11.06_sum_upto_mult.enc.pl

8

9

25

160

0

1

11.COMP

11.07_sum_upto_mult_MON.enc.pl

8

9

25

160

0

1

11.COMP

11.08_twice_array_sum.enc.pl

11

6

9

180

10

11.COMP

11.08_twice_array_sum.enc.1.pl

8

4

9

790

10

11.COMP

11.09_two_arrays_sum.enc.pl

11

6

9

280

0

11.COMP

11.09_two_arrays_sum.enc.1.pl

8

4

9

1240

10

11.COMP

11.10_two_array_sum_diffsize.enc.pl

15

12

39

1720

10

11.COMP

11.10_two_array_sum_diffsize.enc.1.pl

37

13

47

6580

20

12.PCOR

12.01_bdiv.enc.pl

8

57

153

4070

40

1

12.PCOR

12.02_fast_mult2.enc.pl

4

9

19

280

10

1

12.PCOR

12.03_fast_mult3.enc.pl

5

9

27

250

20

1

12.PCOR

12.04_fibonacci.enc.pl

3

8

15

120

10

12.PCOR

12.04_fibonacci.enc.1.pl

12

14

45

620

0

12.PCOR

12.05_fusc.enc.pl

4

15

29

760

0

12.PCOR

12.05_fusc.enc.1.pl

25

16

26

3270

20

12.PCOR

12.06_gcd.enc.pl

4

7

27

80

0

1

12.PCOR

12.07_idiv.enc.pl

3

5

10

40

0

1

12.PCOR

12.08_imc91rec.enc.pl

4

8

30

150

0

1

12.PCOR

12.09_imult.enc.pl

4

11

30

510

0

1

12.PCOR

12.10_remainder.enc.pl

3

6

11

30

0

1

12.PCOR

12.11_sumfirst.enc.pl

3

7

15

80

10

1

12.PCOR

12.12_lucas.enc.pl

3

11

23

240

10

12.PCOR

12.12_lucas.enc.1.pl

20

12

35

580

10

12.PCOR

12.13_padovan.enc.pl

4

20

51

1480

0

12.PCOR

12.13_padovan.enc.1.pl

46

25

76

1280

20

12.PCOR

12.14_perrin.enc.pl

4

20

51

1500

0

12.PCOR

12.14_perrin.enc.1.pl

46

13

34

720

10

12.PCOR

12.15_hanoi.enc.pl

3

7

15

70

10

1

12.PCOR

12.16_digits10.enc.pl

3

5

10

60

0

1

12.PCOR

12.17_digits10-itmd.enc.pl

6

6

62

510

10

1

12.PCOR

12.18_digits10-opt.enc.pl

14

37

124

730

20

1

12.PCOR

12.19_digits10-opt100.enc.pl

8

17

47

200

10

1