19 lines
2.1 KiB
Plaintext
19 lines
2.1 KiB
Plaintext
-----------------------------------------------------------------------------------------------------------------
|
|
| data | fault coverage(atalanta) | time(atalanta) | cube(atalanta) | pattern(atalanta) |
|
|
| ---------------------- | ------------------------ | -------------------- | -------------- | ----------------- |
|
|
| ./ITC99BENCH/b01.bench | 98.561 | 0.015408039093017578 | 21 | 18 |
|
|
| ./ITC99BENCH/b02.bench | 100.000 | 0.014245271682739258 | 14 | 11 |
|
|
| ./ITC99BENCH/b06.bench | 100.000 | 0.014031171798706055 | 23 | 20 |
|
|
| ./ITC99BENCH/b09.bench | 99.543 | 0.02111530303955078 | 111 | 96 |
|
|
| ./ITC99BENCH/b03.bench | 100.000 | 0.020703554153442383 | 111 | 90 |
|
|
| ./ITC99BENCH/b08.bench | 99.552 | 0.023227214813232422 | 104 | 78 |
|
|
| ./ITC99BENCH/b10.bench | 100.000 | 0.02262282371520996 | 117 | 84 |
|
|
| ./ITC99BENCH/b13.bench | 97.467 | 0.026297807693481445 | 177 | 133 |
|
|
| ./ITC99BENCH/b07.bench | 99.270 | 0.038182973861694336 | 191 | 138 |
|
|
| ./ITC99BENCH/b11.bench | 97.610 | 0.04403829574584961 | 152 | 121 |
|
|
| ./ITC99BENCH/b04.bench | 98.817 | 0.07393932342529297 | 264 | 198 |
|
|
| ./ITC99BENCH/b12.bench | 99.753 | 0.17892765998840332 | 575 | 445 |
|
|
| ./ITC99BENCH/b20.bench | 97.264 | 13.491502046585083 | 3602 | 2504 |
|
|
| ./ITC99BENCH/b21.bench | 97.488 | 13.514089345932007 | 3575 | 2437 |
|
|
| ./ITC99BENCH/b17.bench | Runtime Error | 63.14472818374634 | -*- | -*- |
|
|
----------------------------------------------------------------------------------------------------------------- |