{"size": 1545, "ext": "rktd", "max_stars_repo_path": "data/transient/sieve-2020-08-25.rktd", "max_stars_repo_name": "bennn/g-pldi-2022", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "data/transient/sieve-2020-08-25.rktd", "max_issues_repo_name": "bennn/g-pldi-2022", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "data/transient/sieve-2020-08-25.rktd", "max_forks_repo_name": "bennn/g-pldi-2022", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 257.5, "max_line_length": 387, "alphanum_fraction": 0.6873786408}
#lang gtp-measure/output/typed-untyped
("00" ("cpu time: 2720 real time: 2719 gc time: 68" "cpu time: 2700 real time: 2700 gc time: 122" "cpu time: 2703 real time: 2703 gc time: 84" "cpu time: 2720 real time: 2717 gc time: 69" "cpu time: 2716 real time: 2714 gc time: 67" "cpu time: 2713 real time: 2715 gc time: 60" "cpu time: 2736 real time: 2732 gc time: 114" "cpu time: 2704 real time: 2701 gc time: 185"))
("01" ("cpu time: 8026 real time: 8023 gc time: 108" "cpu time: 8010 real time: 8009 gc time: 117" "cpu time: 8200 real time: 8199 gc time: 93" "cpu time: 8020 real time: 8017 gc time: 98" "cpu time: 8000 real time: 7997 gc time: 103" "cpu time: 8047 real time: 8045 gc time: 98" "cpu time: 8030 real time: 8028 gc time: 117" "cpu time: 8047 real time: 8045 gc time: 107"))
("10" ("cpu time: 7507 real time: 7501 gc time: 78" "cpu time: 7520 real time: 7516 gc time: 82" "cpu time: 7547 real time: 7540 gc time: 66" "cpu time: 7530 real time: 7527 gc time: 67" "cpu time: 7517 real time: 7514 gc time: 115" "cpu time: 7514 real time: 7511 gc time: 68" "cpu time: 7520 real time: 7515 gc time: 100" "cpu time: 7514 real time: 7512 gc time: 142"))
("11" ("cpu time: 11850 real time: 11845 gc time: 143" "cpu time: 11857 real time: 11853 gc time: 103" "cpu time: 11866 real time: 11862 gc time: 83" "cpu time: 11810 real time: 11805 gc time: 65" "cpu time: 11830 real time: 11828 gc time: 82" "cpu time: 11830 real time: 11829 gc time: 67" "cpu time: 11830 real time: 11826 gc time: 75" "cpu time: 11844 real time: 11840 gc time: 146"))
