|
1 |
| -|size|percent| d_avg | b_avg | w_avg |d_passed|b_passed|w_passed| |
2 |
| -|----|-------|-------|-------|--------|--------|--------|--------| |
3 |
| -| 5 | 1 |9.347 |8.731 |278.786 | 100 | 100 | 100 | |
4 |
| -| 5 | 2 |26.298 |24.238 |980.093 | 100 | 100 | 77 | |
5 |
| -| 6 | 1 |52.31 |39.899 |1659.415| 100 | 100 | 1 | |
6 |
| -| 6 | 2 |380.279|288.813|TL | 100 | 100 | 0 | |
7 |
| -| 7 | 1 |837.995|512.56 |TL | 92 | 98 | 0 | |
8 |
| - |
9 |
| -*DFA* - Deterministic Finite Automat |
10 |
| -*SBP* - Symmetry Breaking Predicates |
11 |
| -*TL* - Time Limit |
12 |
| - |
13 |
| - |
14 |
| -**size** - size of a target DFA |
15 |
| -**percent** - maximum % of noise in an input |
16 |
| -**d_avg** - average time of unsat using DFS-based SBP |
17 |
| -**b_avg** - average time of unsat using BFS-based SBP |
18 |
| -**w_avg** - average time of unsat without using any SBP |
19 |
| -**d_passed** - percent of successfuly passed tests under TL using DFS-based SBP |
20 |
| -**b_passed** - percent of successfuly passed tests under TL using BFS-based SBP |
21 |
| -**w_passed** - percent of successfuly passed tests under TL without using any SBP |
| 1 | +|size|percent| d_avg | b_avg | w_avg |d_passed|b_passed|w_passed| |
| 2 | +|----|-------|-------|-------|--------|--------|--------|--------| |
| 3 | +| 5 | 1 |9.347 |8.731 |278.786 | 100 | 100 | 100 | |
| 4 | +| 5 | 2 |26.298 |24.238 |980.093 | 100 | 100 | 77 | |
| 5 | +| 6 | 1 |52.31 |39.899 |1659.415| 100 | 100 | 1 | |
| 6 | +| 6 | 2 |380.279|288.813|TL | 100 | 100 | 0 | |
| 7 | +| 7 | 1 |837.995|512.56 |TL | 92 | 98 | 0 | |
| 8 | + |
| 9 | +*DFA* - Deterministic Finite Automaton |
| 10 | +*SBP* - Symmetry Breaking Predicates |
| 11 | +*TL* - Time Limit |
| 12 | + |
| 13 | + |
| 14 | +**size** - size of a target DFA |
| 15 | +**percent** - maximum % of noise in an input |
| 16 | +**d_avg** - average time of unsat using DFS-based SBP |
| 17 | +**b_avg** - average time of unsat using BFS-based SBP |
| 18 | +**w_avg** - average time of unsat without using any SBP |
| 19 | +**d_passed** - percent of successfully passed tests under TL using DFS-based SBP |
| 20 | +**b_passed** - percent of successfully passed tests under TL using BFS-based SBP |
| 21 | +**w_passed** - percent of successfully passed tests under TL without using any SBP |
0 commit comments