Program synthesis on SPoC (TestP)
0.385Success RateDrRepair w/ pseudocode
Evaluation Results
| Method | Links | |
|---|---|---|
| DrRepair w/ pseudocodeSearch budget (B)=1002020.05 | 0.385 | |
| DrRepairSearch budget (B)=1002020.05 | 0.375 | |
| Prior bestSearch budget (B)=1002020.05 | 0.342 | |
| Best first searchSearch budget (B)=1002020.05 | 0.325 | |
| DrRepair w/ pseudocodeSearch budget (B)=102020.05 | 0.314 | |
| DrRepairSearch budget (B)=102020.05 | 0.302 | |
| Prior bestSearch budget (B)=102020.05 | 0.284 | |
| Best first searchSearch budget (B)=102020.05 | 0.265 | |
| Top 1 (no search)Search budget (B)=102020.05 | 0.178 | |
| Top 1 (no search)Search budget (B)=1002020.05 | 0.178 |