{"size": 12140, "ext": "rktd", "max_stars_repo_path": "code/benchmarks/lnm/base/data/kcfa.rktd", "max_stars_repo_name": "bennn/g-pldi-2022", "max_stars_repo_stars_event_min_datetime": "2020-10-05T19:10:58.000Z", "max_stars_repo_stars_event_max_datetime": "2021-11-12T00:29:24.000Z", "max_issues_repo_path": "code/benchmarks/lnm/base/data/kcfa.rktd", "max_issues_repo_name": "bennn/g-pldi-2022", "max_issues_repo_issues_event_min_datetime": "2019-04-08T23:30:37.000Z", "max_issues_repo_issues_event_max_datetime": "2020-10-21T16:10:47.000Z", "max_forks_repo_path": "code/benchmarks/lnm/base/data/kcfa.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": 17, "max_issues_count": 18, "max_forks_count": null, "avg_line_length": 80.3973509934, "max_line_length": 105, "alphanum_fraction": 0.7717462932}
;; data1
;; #(-v 6.2 -i 4 benchmarks/kcfa)
;; 6.2
;; binaries in /home/ben/code/racket/6.2/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2017-04-03T11:16:53
;; data0
;; #(-j 2 -i 3 -v 6.2 benchmarks/kcfa benchmarks/fsm benchmarks/fsmoo)
;; 6.2
;; binaries in /home/ben/code/racket/6.2/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2016-12-03T05:10:22
;; #(-j 2 -i 3 -v 6.2 benchmarks/forth benchmarks/fsm benchmarks/fsmoo benchmarks/gregor benchmarks/kcfa)
;; 6.2
;; binaries in /home/ben/code/racket/6.2/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2016-09-14T03:16:53
#(
( 110665 113480 111106 109380 108929 112204 #| data1 |# 116793 111272 106422 113700)
( 1038589 1066576 1034965 1022480 1053609 1077821 #| data1 |# 1093338 1104519 1069652 1051082)
( 110613 105131 108277 107638 108700 108570 #| data1 |# 107804 104894 110638 103153)
( 1027235 1050994 1051756 1031299 1053678 1047962 #| data1 |# 1020564 1054089 1030676 1008716)
( 110764 109670 110952 112925 107499 110484 #| data1 |# 108433 113418 112612 107295)
( 1002922 1004810 1052826 1043068 1065585 1037524 #| data1 |# 1040918 1055396 1013514 1063078)
( 106674 108327 116287 106744 107275 114180 #| data1 |# 109461 108913 108757 107241)
( 1054122 1067913 1015659 1004902 1059083 1043691 #| data1 |# 1052668 1013718 1042914 1000145)
( 110652 112723 108037 112818 106588 114044 #| data1 |# 109449 112720 113529 108650)
( 1030795 1081451 1022165 1096398 1073500 1037430 #| data1 |# 1064907 1021934 1048311 1092908)
( 106135 111342 112562 111441 109406 109798 #| data1 |# 111922 112786 110060 109596)
( 1071727 1100954 1033062 1033599 1059348 1071129 #| data1 |# 1038576 1078134 1076921 1064166)
( 110675 110011 109227 112297 106261 111786 #| data1 |# 106943 107363 106985 109620)
( 1068730 1083552 1061651 1059943 1057627 1051240 #| data1 |# 1069118 1069346 1050470 1036561)
( 111037 110968 110824 113133 106261 108180 #| data1 |# 115517 111993 109887 109312)
( 1046421 1063301 1066477 1040836 1053494 1055509 #| data1 |# 1004474 1058182 1057069 1046964)
( 2393221 2401153 2478282 2477232 2434085 2412617 #| data1 |# 2485042 2465434 2470356 2458257)
( 1390668 1374590 1374374 1432387 1366497 1417067 #| data1 |# 1419973 1426310 1407229 1375958)
( 2419453 2539788 2545626 2509994 2508965 2543739 #| data1 |# 2477684 2321070 2517265 2453554)
( 1434268 1418652 1381152 1429776 1417098 1435509 #| data1 |# 1447900 1382774 1464188 1443364)
( 2481354 2405167 2279633 2476672 2434917 2446440 #| data1 |# 2404685 2407418 2479748 2391306)
( 1342340 1385285 1434541 1400448 1442871 1464174 #| data1 |# 1403399 1436098 1341048 1387489)
( 2374911 2511929 2506623 2369578 2440823 2489292 #| data1 |# 2496408 2331188 2459455 2370513)
( 1390056 1327748 1439957 1407166 1370473 1421489 #| data1 |# 1451900 1406047 1340313 1405436)
( 2355889 2518479 2481259 2502666 2432107 2455147 #| data1 |# 2484940 2438118 2356028 2440237)
( 1385430 1377916 1458282 1447096 1437621 1357128 #| data1 |# 1396654 1429997 1420208 1410318)
( 2462796 2478519 2468030 2480103 2510880 2508840 #| data1 |# 2369851 2330897 2463657 2339533)
( 1436119 1424984 1414509 1423798 1472478 1418249 #| data1 |# 1419457 1415022 1456934 1466391)
( 2469130 2461585 2495589 2394479 2406006 2483425 #| data1 |# 2481314 2394872 2397508 2389528)
( 1396143 1336473 1385522 1360618 1456297 1369197 #| data1 |# 1429899 1428864 1436777 1400747)
( 2445911 2534786 2380801 2435078 2383754 2501425 #| data1 |# 2490263 2278283 2470140 2389985)
( 1448897 1423931 1419742 1370022 1448558 1378702 #| data1 |# 1406245 1367783 1442073 1454827)
( 111057 111349 109323 110769 111908 110443 #| data1 |# 113002 109508 104553 103320)
( 709024 718653 748781 723210 722278 711681 #| data1 |# 711299 705125 682005 683731)
( 112727 114252 114092 111675 108066 107619 #| data1 |# 109749 107799 107592 112501)
( 704266 722121 718493 704050 704781 697675 #| data1 |# 697404 710858 703445 724997)
( 111598 111558 112547 108622 109528 110018 #| data1 |# 108222 109805 111312 110293)
( 708526 716996 708728 700434 690512 702681 #| data1 |# 706634 713343 707368 663817)
( 114826 110605 107850 112973 109347 114741 #| data1 |# 114006 108785 109100 111730)
( 697692 698983 695738 680437 699806 686351 #| data1 |# 703176 680539 715374 664778)
( 107525 115012 112669 109546 110740 104238 #| data1 |# 110107 115652 104271 107785)
( 704217 711768 696785 731375 694772 732366 #| data1 |# 700886 694995 727992 692175)
( 109131 111060 113001 106960 106356 110670 #| data1 |# 109493 111115 112726 106820)
( 702671 698300 718208 699374 689339 708247 #| data1 |# 698537 693188 666519 688029)
( 110406 114598 112279 112400 113918 107376 #| data1 |# 113343 113934 106245 104962)
( 699471 673089 727976 685836 690421 698169 #| data1 |# 711416 708518 698596 718234)
( 114078 115520 108458 108912 109739 115034 #| data1 |# 111194 107036 107165 114601)
( 704734 696317 727663 697737 697386 716031 #| data1 |# 707026 721389 708703 700702)
( 1594879 1600803 1636603 1534880 1596226 1566462 #| data1 |# 1635064 1570628 1547166 1648813)
( 919840 977847 980009 978011 935443 906357 #| data1 |# 941653 921734 926359 947862)
( 1619300 1583460 1595264 1605531 1537582 1619306 #| data1 |# 1587532 1594789 1516433 1585540)
( 908223 960397 937921 941718 939729 962193 #| data1 |# 962191 940441 937588 943565)
( 1592246 1608901 1566794 1583742 1627631 1586319 #| data1 |# 1598161 1575713 1612156 1587322)
( 931525 968367 925012 931243 933610 942503 #| data1 |# 944913 976991 935459 952789)
( 1603373 1549750 1614965 1612194 1576909 1572198 #| data1 |# 1538417 1574168 1586287 1624938)
( 971555 953251 933369 966819 928446 942061 #| data1 |# 984293 945488 938800 970957)
( 1566002 1554045 1605294 1598574 1619466 1573034 #| data1 |# 1579371 1582300 1606545 1556385)
( 923206 931675 932806 930311 956009 931417 #| data1 |# 955010 953789 959813 929335)
( 1609432 1580692 1565308 1637946 1581548 1622518 #| data1 |# 1614313 1564931 1508544 1564779)
( 912255 955498 949656 957072 947950 965729 #| data1 |# 942587 926916 948406 946415)
( 1557313 1531231 1612347 1624965 1592588 1503059 #| data1 |# 1620165 1591498 1639538 1580768)
( 951316 954197 899387 904445 983229 940757 #| data1 |# 940077 936406 974733 970338)
( 1635519 1567395 1569746 1619290 1557991 1584604 #| data1 |# 1624794 1596330 1596832 1628469)
( 937090 938178 939241 940647 932431 934164 #| data1 |# 962802 966364 940223 976107)
( 1396611 1407557 1381172 1393170 1436893 1398120 #| data1 |# 1429390 1407429 1419466 1384126)
( 2441028 2444345 2289316 2448560 2455620 2460620 #| data1 |# 2323656 2466963 2486370 2485359)
( 1421881 1397606 1407487 1431841 1351662 1333636 #| data1 |# 1389838 1368476 1374926 1406006)
( 2388476 2301466 2456512 2543304 2323323 2384348 #| data1 |# 2323416 2483710 2360240 2390812)
( 1395953 1458069 1447136 1400885 1369471 1370212 #| data1 |# 1397592 1372497 1422018 1390176)
( 2407010 2427378 2358931 2425333 2452390 2485955 #| data1 |# 2284081 2430628 2441570 2401439)
( 1413716 1429123 1461985 1425436 1386729 1409474 #| data1 |# 1398347 1413576 1370633 1389836)
( 2335719 2418817 2456388 2452738 2460672 2445811 #| data1 |# 2441010 2484456 2401465 2403516)
( 1384968 1404567 1431360 1393996 1338441 1378307 #| data1 |# 1365821 1391587 1383726 1400483)
( 2461938 2380997 2391114 2450000 2458767 2448234 #| data1 |# 2357120 2492447 2535735 2489507)
( 1355290 1407354 1361558 1419866 1401088 1379218 #| data1 |# 1436792 1409923 1417758 1412280)
( 2467238 2479985 2383773 2469991 2493688 2477213 #| data1 |# 2491871 2478430 2524761 2462607)
( 1440553 1397416 1391982 1414188 1355500 1403649 #| data1 |# 1448854 1427244 1379402 1382399)
( 2524679 2482572 2457077 2365237 2424625 2486158 #| data1 |# 2476528 2479518 2490850 2459445)
( 1377863 1367095 1430171 1399534 1418549 1383723 #| data1 |# 1442081 1435497 1331404 1367079)
( 2440468 2402182 2404647 2457727 2447788 2455998 #| data1 |# 2473465 2456934 2466311 2362499)
( 1081683 1060901 1060340 1037210 1075949 1060048 #| data1 |# 1070064 996267 1066599 1087033)
( 119291 110636 115674 114863 113730 113357 #| data1 |# 111946 108887 112322 113930)
( 1050414 1047120 1093282 1062587 1062327 1067667 #| data1 |# 1068905 1080730 1066834 1061829)
( 116982 114853 118526 115897 114782 108979 #| data1 |# 113307 116168 115936 116620)
( 1047375 1048544 1038152 1040535 1053709 1049686 #| data1 |# 1061375 1095478 1073189 1066107)
( 109296 111857 115205 111810 113982 111192 #| data1 |# 108930 111300 111361 113195)
( 1047913 999671 1055124 1022876 1049676 1091641 #| data1 |# 1041122 1089425 1056165 1040516)
( 116355 111793 112150 111884 115559 115234 #| data1 |# 111913 109653 115436 113936)
( 1064274 1079234 1080042 1012162 1077009 1074637 #| data1 |# 1070417 1085025 1038864 1010923)
( 112981 109815 117902 110873 112523 112676 #| data1 |# 110506 112064 109357 113119)
( 996903 1055772 1002800 1020582 1060671 1053738 #| data1 |# 1043072 1043582 1037511 1019015)
( 112883 112739 115481 112863 116113 116856 #| data1 |# 104269 114700 110768 116999)
( 1059116 1068078 1023211 1061775 1027464 1074593 #| data1 |# 1048750 1051824 1069889 1033473)
( 118819 108606 108815 113766 109132 116280 #| data1 |# 111592 111460 113063 113044)
( 1063840 972137 1064036 1047993 1059105 1031000 #| data1 |# 1058984 1035529 1060776 1039704)
( 111031 116466 117078 116051 113971 112860 #| data1 |# 110226 110806 111728 119243)
( 942997 960551 951123 936927 946855 969295 #| data1 |# 925968 914803 929107 968704)
( 1637324 1544200 1627864 1537345 1598035 1595784 #| data1 |# 1589920 1620469 1661453 1544543)
( 938966 951043 947077 966238 959035 955957 #| data1 |# 934627 937794 928912 933693)
( 1528910 1587166 1585513 1543437 1639935 1545306 #| data1 |# 1585918 1624801 1593806 1571569)
( 937842 919674 942586 933925 925359 920843 #| data1 |# 899379 933993 957121 918136)
( 1564398 1462175 1573106 1566343 1572584 1556269 #| data1 |# 1584277 1572165 1617146 1576782)
( 918725 918510 944433 914293 933635 941257 #| data1 |# 904164 938264 916394 922178)
( 1536602 1582576 1601896 1575868 1579573 1588405 #| data1 |# 1562938 1533983 1550105 1587811)
( 970248 946064 946677 947127 968150 940372 #| data1 |# 970226 946301 964670 944008)
( 1583366 1564524 1562242 1568551 1586086 1636656 #| data1 |# 1629988 1590679 1589961 1590122)
( 959661 960501 929234 939337 946701 944005 #| data1 |# 916969 932769 930268 943156)
( 1575984 1566617 1559885 1599255 1587672 1614340 #| data1 |# 1560603 1583928 1578243 1570127)
( 928744 921639 900150 916992 963254 941692 #| data1 |# 950855 935347 936421 922855)
( 1639529 1592042 1593965 1563743 1586363 1622488 #| data1 |# 1594261 1624624 1579571 1599462)
( 924873 922598 951894 934685 930027 948126 #| data1 |# 923502 945901 927465 973057)
( 1578445 1584429 1525567 1617404 1577778 1597178 #| data1 |# 1626829 1573729 1521183 1597197)
( 704803 698573 702043 705183 707855 721548 #| data1 |# 727231 722023 710992 695505)
( 109691 112286 111816 112191 111528 111232 #| data1 |# 106782 110587 107844 111632)
( 709274 699702 737277 713276 715626 704988 #| data1 |# 703232 715657 708692 731346)
( 115968 112077 111708 106000 109385 111454 #| data1 |# 112420 116215 113509 115917)
( 701545 688357 698019 687816 693623 707204 #| data1 |# 702160 721320 704681 720337)
( 108187 107163 111295 109754 108229 107615 #| data1 |# 107802 107970 108897 107311)
( 736863 711382 702406 735239 695623 699352 #| data1 |# 683162 706255 695978 697710)
( 112599 108969 112977 113540 108133 111143 #| data1 |# 115693 111275 112132 113020)
( 717643 710509 707570 706399 700909 719333 #| data1 |# 716120 686021 677320 701487)
( 109204 107704 111183 106106 112000 111018 #| data1 |# 109848 107001 111137 112601)
( 720640 718590 709849 692117 706278 728074 #| data1 |# 703092 681352 690145 702366)
( 106818 111666 112126 107145 107770 106908 #| data1 |# 110618 111559 113255 113467)
( 711926 723351 698590 705710 706624 701071 #| data1 |# 699983 732707 697931 693622)
( 109810 110337 110822 115272 110769 115189 #| data1 |# 108423 113829 112845 111395)
( 717123 698278 713007 718781 715513 717302 #| data1 |# 713018 722021 698170 708248)
( 110586 110692 110257 106535 111054 110888 #| data1 |# 106769 110876 106528 103970)
)
