math_bench
This commit is contained in:
parent
c5cba45667
commit
6e7f7db52d
|
@ -0,0 +1,10 @@
|
|||
3 0 1 TRU 0
|
||||
5 0 0 LIE 1
|
||||
2 1 1 TRU 0
|
||||
8 1 0 LIE 1
|
||||
1 2 0 TRU 0
|
||||
11 2 0 LIE 1
|
||||
0 3 0 TRU 0
|
||||
14 3 0 TRU 1
|
||||
3 4 0 TRU 0
|
||||
15 4 0 LIE 1
|
|
@ -0,0 +1,10 @@
|
|||
0 29 0 0 1
|
||||
1 29 1 0 1
|
||||
2 2 2 0 1
|
||||
3 0 3 0 1
|
||||
4 10 4 0 1
|
||||
5 30 gVar1 4 1
|
||||
8 30 gVar2 4 1
|
||||
11 30 gVar3 4 1
|
||||
14 30 ConstInt1 0 1
|
||||
15 30 gVar4 4 1
|
|
@ -0,0 +1,38 @@
|
|||
digraph loop_21 {
|
||||
{
|
||||
0 [shape=box, color=red, label="0"];
|
||||
|
||||
1 [shape=box, color=red, label="1"];
|
||||
|
||||
2 [color=black, label="2"];
|
||||
|
||||
3 [color=black, label="3"];
|
||||
|
||||
4 [color=black, label="4"];
|
||||
|
||||
5 [color=black, label="gVar1"];
|
||||
|
||||
8 [color=black, label="gVar2"];
|
||||
|
||||
11 [color=black, label="gVar3"];
|
||||
|
||||
14 [color=black, label="ConstInt1"];
|
||||
|
||||
15 [color=black, label="gVar4"];
|
||||
|
||||
118 [color=black, label="gVar5"];
|
||||
3 -> 0 [style=bold, color=red, label=1]
|
||||
5 -> 0 [color=orange, label=4]
|
||||
2 -> 1 [style=bold, color=red, label=1]
|
||||
8 -> 1 [color=orange, label=4]
|
||||
1 -> 2
|
||||
11 -> 2 [color=orange, label=4]
|
||||
0 -> 3
|
||||
14 -> 3 [color=gray]
|
||||
3 -> 4
|
||||
15 -> 4 [color=orange, label=4]
|
||||
2 -> 118 [color=orange, label=4]
|
||||
|
||||
}
|
||||
|
||||
}
|
|
@ -0,0 +1,10 @@
|
|||
3 0 1 TRU 0
|
||||
5 0 0 TRU 1
|
||||
2 1 1 TRU 0
|
||||
6 1 0 TRU 1
|
||||
1 2 0 TRU 0
|
||||
7 2 0 TRU 1
|
||||
0 3 0 TRU 0
|
||||
7 3 0 TRU 1
|
||||
3 4 0 TRU 0
|
||||
8 4 0 LIE 1
|
|
@ -0,0 +1,9 @@
|
|||
0 29 0 0 1
|
||||
1 29 1 0 1
|
||||
2 4 2 0 1
|
||||
3 0 3 0 1
|
||||
4 10 4 0 1
|
||||
5 30 ConstInt0 0 1
|
||||
6 30 ConstInt2 0 1
|
||||
7 30 ConstInt1 0 1
|
||||
8 30 gVar6 4 1
|
|
@ -0,0 +1,36 @@
|
|||
digraph loop_14 {
|
||||
{
|
||||
0 [shape=box, color=red, label="0"];
|
||||
|
||||
1 [shape=box, color=red, label="1"];
|
||||
|
||||
2 [color=black, label="2"];
|
||||
|
||||
3 [color=black, label="3"];
|
||||
|
||||
4 [color=black, label="4"];
|
||||
|
||||
5 [color=black, label="ConstInt0"];
|
||||
|
||||
6 [color=black, label="ConstInt2"];
|
||||
|
||||
7 [color=black, label="ConstInt1"];
|
||||
|
||||
8 [color=black, label="gVar6"];
|
||||
|
||||
111 [color=black, label="gVar7"];
|
||||
3 -> 0 [style=bold, color=red, label=1]
|
||||
5 -> 0 [color=gray]
|
||||
2 -> 1 [style=bold, color=red, label=1]
|
||||
6 -> 1 [color=gray]
|
||||
1 -> 2
|
||||
7 -> 2 [color=gray]
|
||||
0 -> 3
|
||||
7 -> 3 [color=gray]
|
||||
3 -> 4
|
||||
8 -> 4 [color=orange, label=4]
|
||||
2 -> 111 [color=orange, label=4]
|
||||
|
||||
}
|
||||
|
||||
}
|
|
@ -0,0 +1,10 @@
|
|||
3 0 1 TRU 0
|
||||
5 0 0 TRU 1
|
||||
2 1 1 TRU 0
|
||||
6 1 0 TRU 1
|
||||
1 2 0 TRU 0
|
||||
7 2 0 TRU 1
|
||||
0 3 0 TRU 0
|
||||
7 3 0 TRU 1
|
||||
3 4 0 TRU 0
|
||||
8 4 0 LIE 1
|
|
@ -0,0 +1,9 @@
|
|||
0 29 0 0 1
|
||||
1 29 1 0 1
|
||||
2 4 2 0 1
|
||||
3 0 3 0 1
|
||||
4 10 4 0 1
|
||||
5 30 ConstInt0 0 1
|
||||
6 30 ConstInt2 0 1
|
||||
7 30 ConstInt1 0 1
|
||||
8 30 gVar8 4 1
|
|
@ -0,0 +1,36 @@
|
|||
digraph loop_14 {
|
||||
{
|
||||
0 [shape=box, color=red, label="0"];
|
||||
|
||||
1 [shape=box, color=red, label="1"];
|
||||
|
||||
2 [color=black, label="2"];
|
||||
|
||||
3 [color=black, label="3"];
|
||||
|
||||
4 [color=black, label="4"];
|
||||
|
||||
5 [color=black, label="ConstInt0"];
|
||||
|
||||
6 [color=black, label="ConstInt2"];
|
||||
|
||||
7 [color=black, label="ConstInt1"];
|
||||
|
||||
8 [color=black, label="gVar8"];
|
||||
|
||||
111 [color=black, label="gVar9"];
|
||||
3 -> 0 [style=bold, color=red, label=1]
|
||||
5 -> 0 [color=gray]
|
||||
2 -> 1 [style=bold, color=red, label=1]
|
||||
6 -> 1 [color=gray]
|
||||
1 -> 2
|
||||
7 -> 2 [color=gray]
|
||||
0 -> 3
|
||||
7 -> 3 [color=gray]
|
||||
3 -> 4
|
||||
8 -> 4 [color=orange, label=4]
|
||||
2 -> 111 [color=orange, label=4]
|
||||
|
||||
}
|
||||
|
||||
}
|
|
@ -0,0 +1,10 @@
|
|||
3 0 1 TRU 0
|
||||
5 0 0 TRU 1
|
||||
2 1 1 TRU 0
|
||||
6 1 0 TRU 1
|
||||
1 2 0 TRU 0
|
||||
7 2 0 TRU 1
|
||||
0 3 0 TRU 0
|
||||
7 3 0 TRU 1
|
||||
3 4 0 TRU 0
|
||||
8 4 0 LIE 1
|
|
@ -0,0 +1,9 @@
|
|||
0 29 0 0 1
|
||||
1 29 1 0 1
|
||||
2 4 2 0 1
|
||||
3 0 3 0 1
|
||||
4 10 4 0 1
|
||||
5 30 ConstInt0 0 1
|
||||
6 30 ConstInt2 0 1
|
||||
7 30 ConstInt1 0 1
|
||||
8 30 gVar10 4 1
|
|
@ -0,0 +1,36 @@
|
|||
digraph loop_14 {
|
||||
{
|
||||
0 [shape=box, color=red, label="0"];
|
||||
|
||||
1 [shape=box, color=red, label="1"];
|
||||
|
||||
2 [color=black, label="2"];
|
||||
|
||||
3 [color=black, label="3"];
|
||||
|
||||
4 [color=black, label="4"];
|
||||
|
||||
5 [color=black, label="ConstInt0"];
|
||||
|
||||
6 [color=black, label="ConstInt2"];
|
||||
|
||||
7 [color=black, label="ConstInt1"];
|
||||
|
||||
8 [color=black, label="gVar10"];
|
||||
|
||||
111 [color=black, label="gVar11"];
|
||||
3 -> 0 [style=bold, color=red, label=1]
|
||||
5 -> 0 [color=gray]
|
||||
2 -> 1 [style=bold, color=red, label=1]
|
||||
6 -> 1 [color=gray]
|
||||
1 -> 2
|
||||
7 -> 2 [color=gray]
|
||||
0 -> 3
|
||||
7 -> 3 [color=gray]
|
||||
3 -> 4
|
||||
8 -> 4 [color=orange, label=4]
|
||||
2 -> 111 [color=orange, label=4]
|
||||
|
||||
}
|
||||
|
||||
}
|
Loading…
Reference in New Issue