recursive/Ackermann02.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.12 |
.14 |
21 |
1.4 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
62.5 |
82.3 |
.12 |
.12 |
16 |
|
.078 |
0 |
recursive/Addition02.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.15 |
.17 |
20 |
1.1 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
50.0 |
68.4 |
.12 |
.14 |
16 |
|
.078 |
0 |
recursive/BallRajamani-SPIN2000-Fig1.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.13 |
.15 |
21 |
1.0 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.12 |
.12 |
17 |
|
.078 |
0 |
recursive/EvenOdd03.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.13 |
.14 |
21 |
1.1 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
28.6 |
47.6 |
.11 |
.12 |
17 |
|
.078 |
0 |
recursive/Fibonacci04.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.16 |
.18 |
21 |
1.0 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
91.7 |
.12 |
.16 |
16 |
|
.078 |
0 |
recursive/Fibonacci05.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.18 |
.21 |
21 |
2.1 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
91.7 |
.11 |
.11 |
16 |
|
.078 |
0 |
recursive/McCarthy91-1.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.12 |
.14 |
21 |
1.3 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
37.5 |
80.0 |
.11 |
.11 |
16 |
|
.078 |
0 |
recursive-simple/id2_b3_o2.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.13 |
.15 |
21 |
1.1 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
60.0 |
100 |
.12 |
.12 |
17 |
|
.078 |
0 |
recursive-simple/id_b3_o2-2.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.12 |
.14 |
21 |
1.3 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
66.7 |
100 |
.12 |
.14 |
17 |
|
.078 |
0 |
recursive-simple/id_o10.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.15 |
.17 |
21 |
.94 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.12 |
.12 |
16 |
|
.078 |
0 |
recursive-simple/id_o100.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.44 |
.46 |
21 |
5.5 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.12 |
.12 |
16 |
|
.078 |
0 |
recursive-simple/id_o1000.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
31 |
31 |
79 |
440 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.12 |
.12 |
16 |
|
.078 |
0 |
recursive-simple/id_o20.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.13 |
.15 |
21 |
1.4 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.11 |
.11 |
17 |
|
.078 |
0 |
recursive-simple/id_o200.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
1.1 |
1.2 |
22 |
15 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.13 |
.13 |
16 |
|
.078 |
0 |
recursive-simple/id_o3.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.12 |
.14 |
21 |
1.1 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
75.0 |
100 |
.12 |
.12 |
16 |
|
.078 |
0 |
recursive-simple/sum_non_eq-3.yml |
false(unreach-call) |
1 |
prog |
tests |
1 |
inspect |
.12 |
.14 |
21 |
1.3 |
.016 |
0 |
true |
prog |
tests |
1 |
inspect |
|
50.0 |
90.0 |
.12 |
.12 |
16 |
|
.078 |
0 |