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.027261972427368164 | -*- | -*- |
|
|
| ./ITC99BENCH/b06.bench | 100.0% | 0.046559810638427734 | -*- | -*- |
|
|
| ./ITC99BENCH/b01.bench | 100.0% | 0.05464935302734375 | -*- | -*- |
|
|
| ./ITC99BENCH/b03.bench | 100.0% | 0.19752788543701172 | -*- | -*- |
|
|
| ./ITC99BENCH/b09.bench | 100.0% | 0.21236872673034668 | -*- | -*- |
|
|
| ./ITC99BENCH/b10.bench | 100.0% | 0.24873757362365723 | -*- | -*- |
|
|
| ./ITC99BENCH/b13.bench | 100.0% | 0.2486283779144287 | -*- | -*- |
|
|
| ./ITC99BENCH/b08.bench | 100.0% | 0.2590677738189697 | -*- | -*- |
|
|
| ./ITC99BENCH/b07.bench | 100.0% | 1.0742580890655518 | -*- | -*- |
|
|
| ./ITC99BENCH/b04.bench | 100.0% | 1.452695369720459 | -*- | -*- |
|
|
| ./ITC99BENCH/b11.bench | 100.0% | 1.9521455764770508 | -*- | -*- |
|
|
| ./ITC99BENCH/b12.bench | 100.0% | 2.7416207790374756 | -*- | -*- |
|
|
| ./ITC99BENCH/b20.bench | Runtime Error | 100.00541162490845 | -*- | -*- |
|
|
| ./ITC99BENCH/b17.bench | Runtime Error | 100.00695204734802 | -*- | -*- |
|
|
| ./ITC99BENCH/b22.bench | Runtime Error | 100.00703549385071 | -*- | -*- |
|
|
| ./ITC99BENCH/b21.bench | Runtime Error | 100.00721907615662 | -*- | -*- |
|
|
----------------------------------------------------------------------------------------------------------------- |