List your company
ResearchFormerly WizWand

Program synthesis on SPoC (TestP)

0.385Success RateDrRepair w/ pseudocode
0.169720.225610.28150.33739May 20, 2020
Updated 8mo ago

Evaluation results

MethodLinks
DrRepair w/ pseudocodeSearch budget (B)=1002020.050.385
DrRepairSearch budget (B)=1002020.050.375
Prior bestSearch budget (B)=1002020.050.342
Best first searchSearch budget (B)=1002020.050.325
DrRepair w/ pseudocodeSearch budget (B)=102020.050.314
DrRepairSearch budget (B)=102020.050.302
Prior bestSearch budget (B)=102020.050.284
Best first searchSearch budget (B)=102020.050.265
Top 1 (no search)Search budget (B)=102020.050.178
Top 1 (no search)Search budget (B)=1002020.050.178