theory-exploration-benchmarks: a3ec484fe93c71768fe9d03248f1392d2dd734ab

     1: {
     2:     "commit_hash": "9e39e784c1d166f36f108348da8c0c1c8963aef6", 
     3:     "date": 1497945193000, 
     4:     "ended_at": {
     5:         "benchmarks.time_mk_defs": 1498057625000
     6:     }, 
     7:     "env_name": "nix-py2.7-nix+depsnull", 
     8:     "params": {
     9:         "arch": "i686", 
    10:         "cpu": "Genuine Intel(R) CPU           L2400  @ 1.66GHz", 
    11:         "machine": "nixos", 
    12:         "nix+deps": "null", 
    13:         "os": "Linux 4.4.52", 
    14:         "python": "2.7", 
    15:         "ram": "3093764"
    16:     }, 
    17:     "profiles": {}, 
    18:     "python": "2.7", 
    19:     "requirements": {
    20:         "nix+deps": "null"
    21:     }, 
    22:     "results": {
    23:         "benchmarks.time_mk_defs": 10.95182490348816
    24:     }, 
    25:     "started_at": {
    26:         "benchmarks.time_mk_defs": 1498057608000
    27:     }, 
    28:     "version": 1
    29: }