30 lines
3.3 KiB
Plaintext
30 lines
3.3 KiB
Plaintext
---------------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(ATPG-LS) | time(ATPG-LS) | cube(ATPG-LS) | pattern(ATPG-LS) |
|
|
| ----------------------- | ----------------------- | -------------------- | ------------- | ---------------- |
|
|
| ./benchmark/c17.bench | 100.000 | 0.035004615783691406 | 5 | 5 |
|
|
| ./benchmark/b06.bench | 100.000 | 0.07079482078552246 | 11 | 11 |
|
|
| ./benchmark/b01.bench | 100.000 | 0.09065485000610352 | 14 | 14 |
|
|
| ./benchmark/b03.bench | 100.000 | 2.3637137413024902 | 14 | 14 |
|
|
| ./benchmark/b09.bench | 100.000 | 3.8993797302246094 | 18 | 18 |
|
|
| ./benchmark/b10.bench | 100.000 | 6.369290351867676 | 29 | 29 |
|
|
| ./benchmark/b08.bench | 100.000 | 7.467808723449707 | 35 | 35 |
|
|
| ./benchmark/c880.bench | 100.000 | 50.42959809303284 | 22 | 22 |
|
|
| ./benchmark/c499.bench | 100.000 | 65.37915563583374 | 49 | 49 |
|
|
| ./benchmark/c1355.bench | 100.000 | 363.1095223426819 | 82 | 82 |
|
|
| ./benchmark/b17.bench | ERROR | 2000.0039329528809 | ERROR | ERROR |
|
|
| ./benchmark/c7552.bench | 25.531 | 2000.0044975280762 | 1 | 1 |
|
|
| ./benchmark/b20.bench | ERROR | 2000.0045347213745 | ERROR | ERROR |
|
|
| ./benchmark/b11.bench | 98.951 | 2000.0055797100067 | 47 | 47 |
|
|
| ./benchmark/c3540.bench | 93.543 | 2000.006273508072 | 63 | 63 |
|
|
| ./benchmark/c1908.bench | 95.893 | 2000.0061783790588 | 39 | 39 |
|
|
| ./benchmark/b22.bench | ERROR | 2000.0057337284088 | ERROR | ERROR |
|
|
| ./benchmark/c2670.bench | 82.328 | 2000.0055947303772 | 31 | 31 |
|
|
| ./benchmark/b21.bench | ERROR | 2000.0054640769958 | ERROR | ERROR |
|
|
| ./benchmark/c6288.bench | 92.116 | 2000.0076813697815 | 5 | 5 |
|
|
| ./benchmark/c5315.bench | 33.139 | 2000.0081040859222 | 2 | 2 |
|
|
| ./benchmark/b04.bench | 99.744 | 2000.0090584754944 | 45 | 45 |
|
|
| ./benchmark/b12.bench | 91.771 | 2000.0079457759857 | 81 | 81 |
|
|
| ./benchmark/b07.bench | 98.568 | 2000.00936460495 | 29 | 29 |
|
|
| ./benchmark/c432.bench | 99.235 | 2000.0103182792664 | 19 | 19 |
|
|
| ./benchmark/b13.bench | 98.602 | 2000.009345293045 | 32 | 32 |
|
|
--------------------------------------------------------------------------------------------------------------- |