30 lines
3.1 KiB
Plaintext
Executable File
30 lines
3.1 KiB
Plaintext
Executable File
--------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(ATPG-LS) | time(ATPG-LS) | cube(ATPG-LS) | pattern(ATPG-LS) |
|
|
| ----------------------- | ----------------------- | ------------- | ------------- | ---------------- |
|
|
| ./benchmark/c6288.bench | 99.653 | -*- | 27 | 27 |
|
|
| ./benchmark/c17.bench | 100.000 | -*- | 4 | 4 |
|
|
| ./benchmark/b17.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/b22.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/b13.bench | 95.652 | -*- | 35 | 35 |
|
|
| ./benchmark/c880.bench | 100.000 | -*- | 45 | 45 |
|
|
| ./benchmark/b07.bench | 90.453 | -*- | 26 | 26 |
|
|
| ./benchmark/c432.bench | 99.235 | -*- | 29 | 29 |
|
|
| ./benchmark/c5315.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/b20.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/c1355.bench | 99.744 | -*- | 103 | 103 |
|
|
| ./benchmark/b01.bench | 100.000 | -*- | 15 | 15 |
|
|
| ./benchmark/b10.bench | 100.000 | -*- | 33 | 33 |
|
|
| ./benchmark/b03.bench | 100.000 | -*- | 18 | 18 |
|
|
| ./benchmark/b11.bench | 95.688 | -*- | 44 | 44 |
|
|
| ./benchmark/b08.bench | 100.000 | -*- | 34 | 34 |
|
|
| ./benchmark/c3540.bench | 90.169 | -*- | 96 | 96 |
|
|
| ./benchmark/c2670.bench | 82.609 | -*- | 53 | 53 |
|
|
| ./benchmark/b09.bench | 100.000 | -*- | 20 | 20 |
|
|
| ./benchmark/c7552.bench | 95.133 | -*- | 103 | 103 |
|
|
| ./benchmark/b04.bench | 73.424 | -*- | 15 | 15 |
|
|
| ./benchmark/b12.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/b21.bench | ERROR | -*- | ERROR | ERROR |
|
|
| ./benchmark/b06.bench | 100.000 | -*- | 13 | 13 |
|
|
| ./benchmark/c499.bench | 100.000 | -*- | 55 | 55 |
|
|
| ./benchmark/c1908.bench | 99.179 | -*- | 91 | 91 |
|
|
-------------------------------------------------------------------------------------------------------- |