Semantic Alignment Classification on APB (test)
442Count #SVAAssertionForge
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| AssertionForgeAlignment Iterations=32026.05 | 442 | 2 | 8 | 148 | 286 | |
| SpecAlignAlignment Iterations=32026.05 | 442 | 15 | 66 | 0 | 376 |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| AssertionForgeAlignment Iterations=32026.05 | 442 | 2 | 8 | 148 | 286 | |
| SpecAlignAlignment Iterations=32026.05 | 442 | 15 | 66 | 0 | 376 |