{"push_id":756891017,"size":1,"distinct_size":1,"ref":"refs/heads/measuring","head":"57b76964ed0397cb48458c1a55acaeb19c287d45","before":"84b4681184165888f26e8988a705764baad18e64","commits":[{"sha":"57b76964ed0397cb48458c1a55acaeb19c287d45","author":{"email":"014c703a5ae64bbc7c02a6dcd64e97f87ddaf2d7@email.cz","name":"Karel Kočí"},"message":"Implement random generation of configurations\n\nConfiguration are generated with random assumptions. This should\ngenerate different configuration for every SAT solver execution.","distinct":true,"url":"https://api.github.com/repos/Cynerd/linux-conf-perf/commits/57b76964ed0397cb48458c1a55acaeb19c287d45"}]}