Oracle-guided Symbolic Value Analysis (OSVA) on OIS-RemedBench n=11, 15
100PrecisionSCARA
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| SCARARQ=RQ1, Stage=OSVA, n=15, Cliff's δ=+0.312026.05 | 100 | — | — | |
| static unionRQ=RQ1, Stage=OSVA, n=152026.05 | 84.6 | — | — | |
| SCARARQ=RQ1, Stage=OSVA, n=15, Cliff's δ=−0.752026.05 | — | 0 | — | |
| SCARARQ=RQ1, Stage=OSVA, n=11, Cliff's δ=−0.452026.05 | — | — | 36.4 | |
| static unionRQ=RQ1, Stage=OSVA, n=152026.05 | — | 50 | — | |
| vanilla SERQ=RQ1, Stage=OSVA, n=112026.05 | — | — | 62.5 |