--------------------------------------------------------------------------------------------------------
| 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               |
--------------------------------------------------------------------------------------------------------