{"id":"https://openalex.org/W6892521864","doi":"https://doi.org/10.5281/zenodo.11147333","title":"Reproduction Package for ATVA 2024 Submission `CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'","display_name":"Reproduction Package for ATVA 2024 Submission `CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'","publication_year":2024,"publication_date":"2024-05-08","ids":{"openalex":"https://openalex.org/W6892521864","doi":"https://doi.org/10.5281/zenodo.11147333"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.11147333","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11147333","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.11147333","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lemberger, Thomas","orcid":"https://orcid.org/0000-0003-0291-815X"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lemberger, Thomas","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0003-0291-815X","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Wachowitz, Henrik","orcid":"https://orcid.org/0000-0002-4768-4054"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wachowitz, Henrik","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0002-4768-4054","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/reboot","display_name":"Reboot","score":0.6514999866485596},{"id":"https://openalex.org/keywords/password","display_name":"Password","score":0.6334999799728394},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6208999752998352},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5974000096321106},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.534600019454956},{"id":"https://openalex.org/keywords/installation","display_name":"Installation","score":0.49000000953674316},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.3896999955177307}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7827000021934509},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6940000057220459},{"id":"https://openalex.org/C120524526","wikidata":"https://www.wikidata.org/wiki/Q1709148","display_name":"Reboot","level":2,"score":0.6514999866485596},{"id":"https://openalex.org/C109297577","wikidata":"https://www.wikidata.org/wiki/Q161157","display_name":"Password","level":2,"score":0.6334999799728394},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6208999752998352},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5974000096321106},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.534600019454956},{"id":"https://openalex.org/C146778888","wikidata":"https://www.wikidata.org/wiki/Q836862","display_name":"Installation","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.3896999955177307},{"id":"https://openalex.org/C196832560","wikidata":"https://www.wikidata.org/wiki/Q8815","display_name":"ASCII","level":2,"score":0.3621000051498413},{"id":"https://openalex.org/C32802771","wikidata":"https://www.wikidata.org/wiki/Q2443617","display_name":"Port (circuit theory)","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3086000084877014},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3003999888896942},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28679999709129333},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2775999903678894},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C112968700","wikidata":"https://www.wikidata.org/wiki/Q11368","display_name":"Unix","level":3,"score":0.2590999901294708}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.11147333","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11147333","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.11147333","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11147333","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,14,106,226,961],"artifact":[1,15,57,162],"is":[2,298,508],"intended":[3],"for":[4,20,82,128,165,295,505,608,619,656,693,744,752,857,917],"use":[5,83,126],"with":[6,43,65,434],"https://doi.org/10.5281/zenodo.10928976":[7],"(the":[8],"Artifact":[9,93],"Evaluation":[10],"VM)":[11],"Hardware":[12],"Requirements":[13],"has":[16],"no":[17],"special":[18],"requirements":[19],"running":[21],"examples":[22],"and":[23,50,76,79,111,118,132,366,775,811,831,845,892],"reproducing":[24,34],"the":[25,35,73,85,89,92,98,122,174,208,215,218,292,368,421,425,432,502,573,623,627,637,645,660,664,674,682,697,701,711,719,799,808,813,858,984,987],"analysis":[26,405,412,810],"results":[27,869,873,878,882,966],"from":[28,101,626,663,700,874,883,899,967],"our":[29,817,839,963],"experimental":[30,36,841],"raw":[31,37],"data.":[32,842],"For":[33,70],"data,":[38],"we":[39,802,853],"recommend":[40],"a":[41,306,363,516,641,678,715],"machine":[42],"at":[44,51,972],"least":[45,52],"32":[46],"GB":[47,61],"of":[48,62,84,847],"memory":[49],"10":[53],"(virtual)":[54],"cores.":[55],"The":[56,378,825,843],"requires":[58],"about":[59,72],"50":[60],"disk":[63],"space":[64],"experiment":[66,955,965],"reproduction.":[67],"Smoke":[68],"Test":[69],"details":[71],"below":[74],"commands":[75,211],"their":[77],"output,":[78],"detailed":[80],"instructions":[81],"artifact,":[86],"please":[87],"see":[88,204],"README.html":[90],"in":[91,121,214,333,424,543,644,681,718,816,834,870,879,890,950],"ZIP":[94],"file.":[95,630,667,704],"Setup:":[96],"Run":[97,217,958,974],"following":[99,219,369],"command":[100,220,370,826],"folder":[102,579,821,835,968,978],"experiments:":[103],"make":[104,305,515,823,959,980],"install-full":[105],"installs":[107,119],"all":[108,829],"required":[109],"Ubuntu":[110],"Python":[112],"packages,":[113],"permanently":[114],"enables":[115],"cgroups":[116],"v1,":[117],"BenchExec":[120,127],"VM.":[123],"Our":[124],"experiments":[125,976,985],"reliable":[129],"benchmark":[130],"execution":[131],"measurement.":[133],"Expected":[134,233,443,600,860,991],"output:":[135,234,380,444,601,861,992],"if":[136],"[":[137],"-z":[138],"\"make":[139],"install-full\"":[140],"];":[141],"then":[142],"\\":[143,147,150,272,482,582,585,587,589,591,594,597,995],"export":[144],"_CALLING_CMD=\"make":[145],"bootstrap\";":[146],"fi":[148],"&&":[149,153,996],"cd":[151,993],"scripts":[152],"bash":[154],"bootstrap.sh":[155],"Installing":[156],"deb":[157],"packages\u2026The":[158],"sudo":[159,191],"password":[160,164,182],"is:":[161],"[sudo]":[163],"artifact:":[166],"<1>":[167],"Please":[168],"reboot":[169],"your":[170],"system":[171],"to":[172,178,197,647,684,721],"apply":[173],"changes.":[175],"Press":[176,200],"enter":[177,198,201],"exit":[179],"<2>":[180],"Enter":[181],"'artifact'":[183],"when":[184,202],"this":[185,205,296,430,506],"prompt":[186],"appears.":[187],"If":[188],"you":[189,193,203,302,512],"used":[190],"before,":[192],"may":[194],"not":[195,304,514],"have":[196],"this.":[199],"output":[206,402,726,828],"Restart":[207],"VM":[209],"All":[210],"are":[212],"executed":[213],"terminal.":[216,427],"(from":[221,371,438,578,820,977],"cpa-daemon-artifact/experiments/cpachecker-grpc):":[222,372,439],"java":[223,440],"-jar":[224,441],"build/cpadaemon-prod/quarkus-run.jar":[225],"runs":[227],"CPA-Daemon":[228,360,422,570],"locally,":[229],"on":[230,326,536,761,838],"port":[231],"8080.":[232],"__":[235,237,240,244,264,445,447,450,454,474],"____":[236,241,446,451],"_____":[238,448],"___":[239,449],"______":[242,452],"--/":[243,453],"\\/":[245,253,455,463],"/":[246,247,248,251,255,256,257,261,263,269,456,457,458,461,465,466,467,471,473,479,921],"_":[249,252,459,462],"|":[250,460],"//_/":[254,464],"__/":[258,468],"-/":[259,469],"/_/":[260,262,270,470,472,480],"|/":[265,475],",":[266,476],"_/":[267,477],",<":[268,478],"/\\":[271,481],"--\\___\\_\\____/_/":[273,483],"|_/_/|_/_/|_|\\____/___/":[274,484],"2023-10-25":[275,308,319,338,346,485,518,529,548,556,602,613,631,650,668,687,705,729,737,746,754],"17:41:50,316":[276],"WARN":[277,487],"[io.qua.config]":[278,488],"(main)":[279,312,323,342,350,489,522,533,552,560],"Unrecognized":[280,490],"configuration":[281,297,491,507],"key":[282,492],"\"quarkus.jacoco.excludes\"":[283,493],"was":[284,494],"provided;":[285,495],"it":[286,496],"will":[287,497,827,849],"be":[288,498],"ignored;":[289,499],"verify":[290,500],"that":[291,301,501,511,954],"dependency":[293,503],"extension":[294,504],"set":[299,509],"or":[300,510],"did":[303,513],"typo":[307,517],"17:41:51,031":[309],"INFO":[310,321,340,348,520,531,550,558],"[io.qua.grp.run.GrpcServerRecorder]":[311,521],"Starting":[313,404,523],"new":[314,524],"Vert.x":[315,525],"gRPC":[316,526],"server":[317,527],"...":[318,407,413,528],"17:41:51,160":[320],"[io.quarkus]":[322,341,349,532,551,559],"cpa-daemon":[324,534],"1.0.0-SNAPSHOT":[325,535],"JVM":[327,537],"(powered":[328,538],"by":[329,539],"Quarkus":[330,540],"3.1.1.Final)":[331,541],"started":[332,542],"1.379s.":[334],"Listening":[335,545],"on:":[336,546],"http://0.0.0.0:8080":[337,547],"17:41:51,161":[339,347],"Profile":[343,553],"prod":[344],"activated.":[345,555],"Installed":[351,561],"features:":[352,562],"[cdi,":[353,563],"grpc-server,":[354,564],"resteasy-reactive,":[355,565],"smallrye-context-propagation,":[356,566],"smallrye-health,":[357,567],"vertx]":[358,568],"Keep":[359,569],"running.":[361,571],"Open":[362],"second":[364,574],"terminal":[365],"run":[367,383,392,807],"connector/bin/cpadaemon":[373],"--svcomp23":[374],"--spec":[375],"../../examples/unreach-call.prp":[376],"../../examples/bubble_sort-2.i":[377],"expected":[379],"Start":[381,428],"Run:":[382,391],"{":[384,393],"name:":[385,394],"\"Run/1\"":[386,395],"status:":[387,396],"RUNNING":[388],"}":[389],"Wait":[390],"FINISHED":[397],"resultVerdict:":[398],"FALSE":[399],"[..":[400,724,912],"snip":[401,725,913],"..]":[403],"3":[406],"(Analysis":[408],"/tmp/cpa-daemon-18063955701948562421/run-1/input/config/components/svcomp23--multipleLoopsConfig.properties:RestartAlgorithm.run,":[409],"INFO)":[410,415],"Stopping":[411],"(CPAchecker.runAlgorithm,":[414],"(3)":[416],"--------------------":[417],"{\"verdict\":":[418],"\"FALSE\"}":[419],"Terminate":[420],"service":[423],"first":[426,624,661,698,988],"CPA-Daemon,":[429],"time":[431],"version":[433,617,625,639,654,662,676,691,699,713],"backend":[435],"'Native":[436],"Execution'":[437],"build/cpadaemon-native/quarkus-run.jar":[442],"18:12:16,294":[486],"18:12:16,986":[519],"18:12:17,114":[530],"1.284s.":[544],"18:12:17,115":[549,557],"native":[554],"In":[572,798],"terminal,":[575],"start":[576],"CoVeriTeam":[577],"cpa-daemon-artifact/experiments):":[580,822,979],"coveriteam/bin/coveriteam":[581],"--cache-dir":[583],"coveriteam/used-tools/":[584],"--no-cache-update":[586],"--debug":[588],"coveriteam/examples/Daemon-based_CEGAR/cCegar-predmap_cex-cpachecker_ref-cpachecker.cvt":[590],"--input":[592,595,598],"data_model=ILP32":[593],"specification_path=../examples/unreach-call.prp":[596],"program_path=../examples/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i":[599],"21:19:09":[603,614,632,651,669,688,706],"WARNING":[604,615,633,652,670,689,707],"Data":[605],"Model":[606],"missing":[607],"program":[609],"../examples/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i.":[610],"Taking":[611,622,659,696],"ILP32":[612],"No":[616,653,690,868,877],"specified":[618,655,692],"actor":[620,628,657,665,694,702],"cpadaemon.":[621,658,695],"definition":[629,666,703,898],"You":[634,671,708],"can":[635,672,709],"specify":[636,673,710],"tool's":[638,675,712],"as":[640,677,714],"third":[642,679,716],"parameter":[643,680,717],"call":[646,683,720,819],"ActorFactory.create().":[648,685,722],"cpachecker-grpc.zip":[649,686,723],"..":[727],"]":[728],"21:19:37":[730,738,747,755],"Level":[731,739,748,756],"15":[732,740,749,757],"CYCLE":[733],"iteration":[734],"count:":[735],"2":[736],"Performing":[741],"type":[742],"check":[743,953],"Iterative":[745,753,759],"Creating":[750,886],"xml":[751],"Actor":[758],"acted":[760],"artifacts:":[762,777],"{'program':":[763],"'../examples/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i',":[764],"'spec':":[765],"'sv-benchmarks/c/properties/unreach-call.prp',":[766],"'predicates':":[767],"'',":[768],"'verdict':":[769,780,790],"'FALSE',":[770,772],"'verifier_verdict':":[771,782,792],"'validator_verdict':":[773,784,794],"'TRUE'}":[774],"produced":[776],"{'predicates':":[778,788],"'cvt-output/28f59ba3-b9ca-4662-af05-1770ffc6790b/cpadaemon/b2161226-4122-4b85-bd77-933008848bbb/output/predmap-joined.1698261572.419943.txt',":[779,789],"'true',":[781,783,785,791,793,795],"'predicates_old':":[786,796],"'cvt-output/28f59ba3-b9ca-4662-af05-1770ffc6790b/cpadaemon/b2161226-4122-4b85-bd77-933008848bbb/output/predmap-joined.1698261572.419943.txt'}":[787,797],"final":[800],"line,":[801],"expect":[803],"\"'verdict':":[804],"'true'\".":[805],"To":[806,952],"data":[809,833],"create":[812],"figures":[814,824,830],"presented":[815],"work,":[818],"additional":[832],"processed-output,":[836],"based":[837],"original":[840,964],"fonts":[844],"rendering":[846,856],"CPAchecker":[848,975],"look":[850],"different":[851],"because":[852],"disabled":[854],"LaTeX":[855],"artifact.":[859],"python3":[862],"scripts/generate-figures.py":[863],"Using":[864],"PROJECT_DIR:":[865],"/home/tacas23/cpa-daemon-artifact/experiments":[866],"WARNING:":[867,876],"`/home/tacas23/cpa-daemon-artifact/experiments/results`,":[871,880],"linking":[872,881],"`/home/tacas23/cpa-daemon-artifact/experiments/raw-data`.":[875,884],">>>":[885],"overview":[887],"result":[888],"tables":[889],"CSV":[891],"HTML":[893],"<<<":[894],"INFO:":[895,901,903,905,907,909],"Reading":[896],"table":[897],"'benchmark-definitions/response-time-data.table.xml'...":[900],"benchmark-definitions/../results/response-standalone.2023-09-01_10-00-00.results.ReachSafety-BelowOneMinute.xml.bz2":[902],"benchmark-definitions/../results/response-prod.2023-09-01_10-00-00.results.ReachSafety-BelowOneMinute.xml.bz2":[904],"benchmark-definitions/../results/response-engine.2023-09-01_10-00-00.results.ReachSafety-BelowOneMinute.xml.bz2":[906],"benchmark-definitions/../results/response-native.2023-09-01_10-00-00.results.ReachSafety-BelowOneMinute.xml.bz2":[908],"Merging":[910],"results...":[911],"output]":[914],">":[915,947],"Statistics":[916],"Response-Time":[918],"Factor":[919],"'Library":[920],"Separate":[922],"JVM'":[923],"(C-CEGAR):":[924],"count":[925],"3469.000000":[926],"mean":[927],"75.616010":[928],"std":[929],"24.538213":[930],"min":[931],"12.001743":[932],"10%":[933],"46.007837":[934],"25%":[935],"55.778796":[936],"50%":[937],"70.361197":[938],"75%":[939],"99.300449":[940],"99%":[941],"129.020641":[942],"max":[943],"233.229520":[944],"dtype:":[945],"float64":[946],"Stored":[948],"plot":[949],"/home/tacas23/cpa-daemon-artifact/experiments/processed-output/Figure11.pdf":[951],"reproduction":[956],"works:":[957],"clean.":[960],"removes":[962],"results/":[969],"(still":[970],"available":[971],"raw-data/)":[973],"response-standalone":[981],"And":[982],"cancel":[983],"after":[986],"few":[989],"results.":[990],"cpachecker-grpc/cpachecker":[994],"PYTHONPATH=../../benchex":[997]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}