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