20 lines
2.2 KiB
Plaintext
20 lines
2.2 KiB
Plaintext
-----------------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(atalanta) | time(atalanta) | cube(atalanta) | pattern(atalanta) |
|
|
| ---------------------- | ------------------------ | -------------------- | -------------- | ----------------- |
|
|
| ./ITC99BENCH/b01.bench | 98.561 | 0.015755891799926758 | 21 | 18 |
|
|
| ./ITC99BENCH/b02.bench | 100.000 | 0.014572620391845703 | 14 | 12 |
|
|
| ./ITC99BENCH/b06.bench | 100.000 | 0.015142202377319336 | 23 | 20 |
|
|
| ./ITC99BENCH/b09.bench | 99.543 | 0.021707773208618164 | 111 | 96 |
|
|
| ./ITC99BENCH/b08.bench | 99.552 | 0.022001981735229492 | 104 | 78 |
|
|
| ./ITC99BENCH/b10.bench | 100.000 | 0.02209782600402832 | 117 | 85 |
|
|
| ./ITC99BENCH/b03.bench | 100.000 | 0.02145862579345703 | 111 | 90 |
|
|
| ./ITC99BENCH/b13.bench | 97.467 | 0.027521848678588867 | 177 | 133 |
|
|
| ./ITC99BENCH/b11.bench | 97.689 | 0.038506269454956055 | 152 | 123 |
|
|
| ./ITC99BENCH/b07.bench | 99.270 | 0.03971529006958008 | 191 | 137 |
|
|
| ./ITC99BENCH/b12.bench | 99.788 | 0.16275811195373535 | 577 | 445 |
|
|
| ./ITC99BENCH/b04.bench | 99.095 | 0.20319676399230957 | 266 | 199 |
|
|
| ./ITC99BENCH/b21.bench | 97.715 | 142.42899465560913 | 3602 | 2451 |
|
|
| ./ITC99BENCH/b20.bench | 97.614 | 190.66407656669617 | 3647 | 2535 |
|
|
| ./ITC99BENCH/b22.bench | 97.132 | 461.6779782772064 | 5325 | 3533 |
|
|
| ./ITC99BENCH/b17.bench | Time Out | 1000.0061409473419 | -*- | -*- |
|
|
----------------------------------------------------------------------------------------------------------------- |