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.0153656005859375 | 21 | 18 |
|
|
| ./ITC99BENCH/b02.bench | 100.000 | 0.012772798538208008 | 14 | 12 |
|
|
| ./ITC99BENCH/b06.bench | 100.000 | 0.01336359977722168 | 23 | 20 |
|
|
| ./ITC99BENCH/b10.bench | 100.000 | 0.018052339553833008 | 117 | 85 |
|
|
| ./ITC99BENCH/b09.bench | 99.543 | 0.02073192596435547 | 111 | 96 |
|
|
| ./ITC99BENCH/b08.bench | 99.552 | 0.021052122116088867 | 104 | 78 |
|
|
| ./ITC99BENCH/b03.bench | 100.000 | 0.020677804946899414 | 111 | 91 |
|
|
| ./ITC99BENCH/b13.bench | 97.467 | 0.02591991424560547 | 177 | 133 |
|
|
| ./ITC99BENCH/b07.bench | 99.270 | 0.036518096923828125 | 191 | 138 |
|
|
| ./ITC99BENCH/b11.bench | 97.610 | 0.03897380828857422 | 151 | 121 |
|
|
| ./ITC99BENCH/b04.bench | 98.887 | 0.07049202919006348 | 265 | 200 |
|
|
| ./ITC99BENCH/b12.bench | 99.753 | 0.14285016059875488 | 576 | 444 |
|
|
| ./ITC99BENCH/b20.bench | 97.345 | 15.317137479782104 | 3620 | 2522 |
|
|
| ./ITC99BENCH/b21.bench | 97.536 | 15.674558162689209 | 3572 | 2432 |
|
|
| ./ITC99BENCH/b22.bench | 96.868 | 39.12464189529419 | 5260 | 3493 |
|
|
| ./ITC99BENCH/b17.bench | Runtime Error | 79.67364525794983 | -*- | -*- |
|
|
----------------------------------------------------------------------------------------------------------------- |