Program synthesis on SPoC (TestW)
57Success RateDrRepair w/ pseudocode
Evaluation results
| Method | Links | |
|---|---|---|
| DrRepair w/ pseudocodeSearch budget (B)=1002020.05 | 57 | |
| DrRepairSearch budget (B)=1002020.05 | 55.9 | |
| Prior bestSearch budget (B)=1002020.05 | 53.7 | |
| Best first searchSearch budget (B)=1002020.05 | 51 | |
| DrRepair w/ pseudocodeSearch budget (B)=102020.05 | 48 | |
| DrRepairSearch budget (B)=102020.05 | 46.6 | |
| Prior bestSearch budget (B)=102020.05 | 44.4 | |
| Best first searchSearch budget (B)=102020.05 | 42.5 | |
| Top 1 (no search)Search budget (B)=102020.05 | 30.7 | |
| Top 1 (no search)Search budget (B)=1002020.05 | 30.7 |