theory-exploration-benchmarks: 70ab9adaf5451dce3e815fef44a4ffc752b2b727

     1: {
     2:     "commit_hash": "2671e41273c63040fb849ecdfc2974dbc31f79f5", 
     3:     "date": 1499560986000, 
     4:     "ended_at": {
     5:         "benchmarks.time_mk_defs": 1499564170000, 
     6:         "benchmarks.time_mk_fin_defs": 1499564177000, 
     7:         "benchmarks.time_mk_sdata": 1499564186000, 
     8:         "benchmarks.time_mk_thms": 1499564193000, 
     9:         "benchmarks.time_run_tests": 1499564309000
    10:     }, 
    11:     "env_name": "nix-py-dirnull", 
    12:     "params": {
    13:         "arch": "i686", 
    14:         "cpu": "Genuine Intel(R) CPU           L2400  @ 1.66GHz", 
    15:         "dir": "null", 
    16:         "machine": "nixos", 
    17:         "os": "Linux 4.4.52", 
    18:         "python": "", 
    19:         "ram": "3093764"
    20:     }, 
    21:     "profiles": {}, 
    22:     "python": "", 
    23:     "requirements": {
    24:         "dir": "null"
    25:     }, 
    26:     "results": {
    27:         "benchmarks.time_mk_defs": 10.076847076416016, 
    28:         "benchmarks.time_mk_fin_defs": 6.56638503074646, 
    29:         "benchmarks.time_mk_sdata": 8.173253059387207, 
    30:         "benchmarks.time_mk_thms": 7.006740093231201, 
    31:         "benchmarks.time_run_tests": 115.37626600265503
    32:     }, 
    33:     "started_at": {
    34:         "benchmarks.time_mk_defs": 1499564160000, 
    35:         "benchmarks.time_mk_fin_defs": 1499564170000, 
    36:         "benchmarks.time_mk_sdata": 1499564177000, 
    37:         "benchmarks.time_mk_thms": 1499564186000, 
    38:         "benchmarks.time_run_tests": 1499564193000
    39:     }, 
    40:     "version": 1
    41: }