20 lines
2.2 KiB
Plaintext
20 lines
2.2 KiB
Plaintext
-----------------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(tgpro) | time(tgpro) | cube(tgpro) | pattern(tgpro) |
|
|
| ---------------------- | ------------------------ | -------------------- | -------------- | ----------------- |
|
|
| ./ITC99BENCH/b02.bench | 100.0% | 0.026658058166503906 | -*- | -*- |
|
|
| ./ITC99BENCH/b06.bench | 100.0% | 0.04587388038635254 | -*- | -*- |
|
|
| ./ITC99BENCH/b01.bench | 100.0% | 0.05449795722961426 | -*- | -*- |
|
|
| ./ITC99BENCH/b03.bench | 100.0% | 0.19013261795043945 | -*- | -*- |
|
|
| ./ITC99BENCH/b09.bench | 100.0% | 0.2168121337890625 | -*- | -*- |
|
|
| ./ITC99BENCH/b10.bench | 100.0% | 0.24273467063903809 | -*- | -*- |
|
|
| ./ITC99BENCH/b13.bench | 100.0% | 0.2440180778503418 | -*- | -*- |
|
|
| ./ITC99BENCH/b08.bench | 100.0% | 0.26444005966186523 | -*- | -*- |
|
|
| ./ITC99BENCH/b07.bench | 100.0% | 1.0087356567382812 | -*- | -*- |
|
|
| ./ITC99BENCH/b04.bench | 100.0% | 1.4730556011199951 | -*- | -*- |
|
|
| ./ITC99BENCH/b11.bench | 100.0% | 2.0080699920654297 | -*- | -*- |
|
|
| ./ITC99BENCH/b12.bench | 100.0% | 2.3151326179504395 | -*- | -*- |
|
|
| ./ITC99BENCH/b20.bench | 100.0% | 349.1050033569336 | -*- | -*- |
|
|
| ./ITC99BENCH/b21.bench | 100.0% | 367.34935879707336 | -*- | -*- |
|
|
| ./ITC99BENCH/b22.bench | 100.0% | 553.576010465622 | -*- | -*- |
|
|
| ./ITC99BENCH/b17.bench | Time Out | 1000.0099585056305 | -*- | -*- |
|
|
----------------------------------------------------------------------------------------------------------------- |