30 lines
3.3 KiB
Plaintext
Executable File
30 lines
3.3 KiB
Plaintext
Executable File
--------------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(ATPG-LS) | time(ATPG-LS) | cube(ATPG-LS) | pattern(ATPG-LS) |
|
|
| ----------------------- | ----------------------- | ------------------- | ------------- | ---------------- |
|
|
| ./benchmark/c17.bench | 100.000 | 0.11560654640197754 | 4 | 4 |
|
|
| ./benchmark/b06.bench | 100.000 | 0.11869049072265625 | 10 | 10 |
|
|
| ./benchmark/b01.bench | 100.000 | 0.3559579849243164 | 13 | 13 |
|
|
| ./benchmark/b03.bench | 100.000 | 0.8975160121917725 | 13 | 13 |
|
|
| ./benchmark/b09.bench | 100.000 | 6.73541784286499 | 20 | 20 |
|
|
| ./benchmark/c880.bench | 100.000 | 13.738963603973389 | 38 | 38 |
|
|
| ./benchmark/b10.bench | 100.000 | 13.915901899337769 | 31 | 31 |
|
|
| ./benchmark/b08.bench | 100.000 | 44.885215282440186 | 36 | 36 |
|
|
| ./benchmark/c499.bench | 100.000 | 72.9014344215393 | 59 | 59 |
|
|
| ./benchmark/c1355.bench | 100.000 | 354.89149928092957 | 93 | 93 |
|
|
| ./benchmark/c3540.bench | 92.932 | 2000.0045857429504 | 126 | 126 |
|
|
| ./benchmark/c1908.bench | 99.452 | 2000.0044167041779 | 85 | 85 |
|
|
| ./benchmark/b11.bench | 98.485 | 2000.0039746761322 | 59 | 59 |
|
|
| ./benchmark/c6288.bench | 99.653 | 2000.005141735077 | 37 | 37 |
|
|
| ./benchmark/c2670.bench | 94.881 | 2000.0041010379791 | 75 | 75 |
|
|
| ./benchmark/b21.bench | 45.309 | 2000.031025648117 | 21 | 21 |
|
|
| ./benchmark/b13.bench | 98.602 | 2000.030693769455 | 30 | 30 |
|
|
| ./benchmark/b22.bench | 30.701 | 2000.1147837638855 | 4 | 4 |
|
|
| ./benchmark/b17.bench | ERROR | 2000.1162934303284 | ERROR | ERROR |
|
|
| ./benchmark/b20.bench | 48.958 | 2000.1155791282654 | 19 | 19 |
|
|
| ./benchmark/c7552.bench | 95.832 | 2000.1170272827148 | 134 | 134 |
|
|
| ./benchmark/b12.bench | 94.418 | 2000.1147434711456 | 123 | 123 |
|
|
| ./benchmark/c5315.bench | 99.175 | 2000.1144452095032 | 139 | 139 |
|
|
| ./benchmark/b04.bench | 99.659 | 2000.1151909828186 | 50 | 50 |
|
|
| ./benchmark/b07.bench | 98.687 | 2000.1153008937836 | 34 | 34 |
|
|
| ./benchmark/c432.bench | 99.235 | 2000.1161303520203 | 28 | 28 |
|
|
-------------------------------------------------------------------------------------------------------------- |