{"push_id":662456669,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b13bd168bda1b42d1c78a074682f410c0c397b60","before":"a078dbc45052ff53b1ee37dba9df4f8ac3c65475","commits":[{"sha":"b13bd168bda1b42d1c78a074682f410c0c397b60","author":{"email":"c7bcc572bc43465c9d821815b5644c38845824af@uni-oldenburg.de","name":"Roman"},"message":"added worst case exponential old sat for comperison","distinct":true,"url":"https://api.github.com/repos/kagi3624/sat/commits/b13bd168bda1b42d1c78a074682f410c0c397b60"}]}