early filter pred - Githubissues

GindaChen / cs703-sqlizer

Replicate the SQLizer work

3 stars 0 forks source link

early filter pred #32

Closed ShawnZhong closed 3 years ago

ShawnZhong commented 3 years ago

Before:
    synthesis takes 6.914683103561401
    synthesis takes 7.123151063919067
    synthesis takes 7.621623754501343

After:
    synthesis takes 3.2112069129943848
    synthesis takes 3.313068151473999
    synthesis takes 2.8401710987091064