{"push_id":692598515,"size":1,"distinct_size":1,"ref":"refs/heads/experimental","head":"1f2c5be9f233798e2b402c13044e84fa30244f8e","before":"411b4fd7718f12dac8d7423387f2506529bdf268","commits":[{"sha":"1f2c5be9f233798e2b402c13044e84fa30244f8e","author":{"email":"584ea73fef92153b8040a1e09162219e490f6284@gmail.com","name":"lianah"},"message":"updated QF_BV strategy for experimental smtcomp2015 script","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/1f2c5be9f233798e2b402c13044e84fa30244f8e"}]}