{"id":"https://openalex.org/W7103140940","doi":"https://doi.org/10.5281/zenodo.17376254","title":"Artifact for Tool Demonstration \"HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects\" (TACAS 2026)","display_name":"Artifact for Tool Demonstration \"HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects\" (TACAS 2026)","publication_year":2025,"publication_date":"2025-10-31","ids":{"openalex":"https://openalex.org/W7103140940","doi":"https://doi.org/10.5281/zenodo.17376254"},"language":null,"primary_location":{"id":"doi:10.5281/zenodo.17376254","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17376254","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17376254","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":"Chien, Po-Chun","orcid":"https://orcid.org/0000-0001-5139-5178"},"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":"Chien, Po-Chun","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0001-5139-5178","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Huang, Bo-Yuan","orcid":"https://orcid.org/0000-0001-7069-4069"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huang, Bo-Yuan","raw_affiliation_strings":["Intel (United States)"],"raw_orcid":"https://orcid.org/0000-0001-7069-4069","affiliations":[{"raw_affiliation_string":"Intel (United States)","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lee, Nian-Ze","orcid":"https://orcid.org/0000-0002-8096-5595"},"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":"Lee, Nian-Ze","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0002-8096-5595","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lemberger, Thomas","orcid":"https://orcid.org/0000-0003-0291-815X"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"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":["LMU Munich"],"raw_orcid":"https://orcid.org/0000-0003-0291-815X","affiliations":[{"raw_affiliation_string":"LMU Munich","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/container","display_name":"Container (type theory)","score":0.8652999997138977},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.8090000152587891},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6449000239372253},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5656999945640564},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5425999760627747},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4959000051021576}],"concepts":[{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.8652999997138977},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8190000057220459},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.8090000152587891},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6449000239372253},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5656999945640564},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5425999760627747},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4959000051021576},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36090001463890076},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.28940001130104065},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2851000130176544},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.2662000060081482},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17376254","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17376254","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17376254","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17376254","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6890845894813538,"display_name":"Industry, innovation and infrastructure"}],"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,330,336,444,471],"artifact":[1,156,198,243,265,348,358,804],"contains":[2,306,332,338,848],"the":[3,7,33,88,115,242,246,275,281,343,351,357,369,382,388,403,413,419,424,429,433,441,446,461,473,492,511,531,545,549,758,767,803,809,813,854,858,876],"tool":[4,48],"HarnessForge":[5,73,113,366,386,401],"and":[6,17,67,80,100,122,152,206,214,222,231,237,244,261,297,326,367,475,497,643,789,851,861,873,982],"infrastructureto":[8],"create":[9],"verification":[10,53,82,131,622,626,664,668,745,957,961,1003,1007],"tasks":[11,54,136,143,320,640,872,897,979,1018],"from":[12,87,321,421,460,513,641,980],"AWS":[13,118,322,821],"C":[14,119,323,822],"common,":[15],"coreutils,":[16],"Intel":[18,133,327,831,1020],"TDX":[19,124,134,328,832,1021],"Module.We":[20],"also":[21,331],"include":[22],"our":[23,249,285,333,372,817],"generated":[24,334,765],"task":[25,611,623,653,665,782,946,958,969,992,1004],"files.":[26],"All":[27],"of":[28,37,52,64,117,129,209,225,248,259,271,284,300,314,346,371,385,784,837],"this":[29,38,347],"is":[30,157,192,505,517],"shipped":[31],"in":[32,59,139,387,592,681,686,691,816,927,1030],"container":[34,160,169,190,305,345,404,434,459,474,512,805],"image":[35,191,435,447],"'HarnessForge-TACAS-2026-Tool-Demo-container-image.tar'":[36],"artifact.":[39],"##":[40,411,522,798],"Paper":[41],"Abstract":[42],"We":[43],"present":[44],"HarnessForge,":[45],"a":[46,127,158,252,291,393,458,477,514,842,844,886],"command-line":[47],"that":[49,516,530,792,847],"automatesthe":[50],"creation":[51,364],"for":[55,77,318,392,534,562,590,613,638,655,811,898,925,948,971,977,994,1019],"industry-scale":[56],"software":[57,78],"projectswritten":[58],"C.":[60],"Industry-scale":[61],"code":[62,89,116],"consists":[63,783],"multiple":[65],"source":[66,98],"headerfiles":[68],"with":[69,163,178,186,254,294,365,440,448,857,889],"various":[70],"build":[71,94,167],"processes.":[72],"handles":[74],"these":[75,838],"buildprocesses":[76],"verifiers":[79],"enables":[81],"engineers":[83],"to":[84,104,114,146,409,427,631,650,673,966,989,1012],"structureharnesses":[85],"independently":[86],"under":[90],"verification.":[91],"It":[92],"automaticallyderives":[93],"commands,":[95],"assembles":[96],"relevant":[97,308,617,659,952,998],"files,":[99],"performsstatic":[101],"program":[102],"slicing":[103,877],"remove":[105],"irrelevant":[106],"components.":[107],"To":[108,240,547,868],"demonstrateits":[109],"applicability,":[110],"we":[111,528],"apply":[112],"Common,GNU":[120],"Coreutils,":[121,325],"Intel\u2019s":[123],"Module,":[125],"creating":[126,319,812],"total":[128],"512":[130],"tasks.The":[132],"Module":[135],"were":[137],"used":[138],"SV-COMP":[140,147],"2025and":[141],"additional":[142],"are":[144,509],"submitted":[145],"2026.":[148],"###":[149,234,302,866],"Container":[150],"Image":[151,415],"Test":[153],"Environment":[154],"The":[155,189,197,304,484,503],"linux/amd64":[159],"image,":[161,806],"built":[162],"Docker":[164,344],"version":[165],"28.2.2,":[166],"e6534b4.The":[168],"can":[170],"be":[171],"run":[172,241,428,466,548,879],"on":[173,182,194,399,885],"arm64":[174],"architecture":[175],"through":[176],"emulation(tested":[177],"Rancher":[179,215],"Desktop":[180,216],"1.19.3":[181],"an":[183,203,218,519],"M4":[184,204,295,890],"Macbook":[185,292,887],"macOS":[187,212],"26.0).":[188],"based":[193],"Ubuntu":[195,228],"22.04.":[196],"was":[199,501],"tested":[200],"on:":[201,340],"-":[202,310,771,819,841],"Pro":[205,293,296,888],"24":[207,298],"GB":[208,258,270,299],"RAM,":[210,226],"running":[211,227,510,757],"26.0":[213],"1.19.3-":[217],"AMD":[219],"EPYC":[220],"7713":[221],"2":[223,289,883],"TB":[224],"24.0.4.3":[229],"LTS":[230],"podman":[232],"4.9.3":[233],"Hardware":[235],"Requirements":[236],"Time":[238],"Estimates":[239],"reproduce":[245,869],"results":[247,283,370],"paper,we":[250],"recommend":[251],"machine":[253],"at":[255],"least":[256],"16":[257],"RAM":[260],"4":[262],"CPU":[263],"cores.The":[264],"requires":[266],"less":[267],"than":[268],"10":[269,688],"disk":[272],"space.":[273],"Running":[274,342,412,559],"smoke":[276,526,550,560,759],"tests":[277,752],"takes":[278,287,540,881],"10-20":[279,541],"minutes.Reproducing":[280],"full":[282],"paper":[286,373],"about":[288,381,882],"hourson":[290],"RAM.":[301],"Overview":[303],"two":[307],"directories:":[309,770],"`/data/harnessforge`:":[311],"A":[312],"distribution":[313],"[HarnessForge](https://gitlab.com/sosy-lab/software/harnessforge)-":[315],"`/data/task-creation`:":[316],"Data":[317],"Common,":[324],"Module.":[329],"data.":[335],"README":[337],"information":[339,398],"1.":[341,431],"(Section":[349,359,374],"'Running":[350],"Artifact":[352,414],"Image'":[353],"below)2.":[354],"Smoke":[355,523,751],"testing":[356],"'Smoke":[360],"Test'":[361],"below)3.":[362],"Task":[363,376,628,647,670,800,963,986,1009],"reproducing":[368],"'Full":[375],"Creation'":[377],"below)4.":[378],"For":[379,396,525,820,826,830],"details":[380],"direct":[383],"use":[384],"container,":[389],"see":[390],"`data/harnessforge/doc/tutorial/README.md`":[391],"short":[394],"tutorial.5.":[395],"further":[397],"using":[400],"outside":[402],"(reusable":[405],"badge),":[406],"please":[407],"refer":[408],"`data/harnessforge/README.md`.":[410],"**After":[416],"you":[417,508,761],"downloaded":[418],"image**":[420],"[this":[422],"link](https://doi.org/10.5281/zenodo.17376254),follow":[423],"below":[425,442],"steps":[426],"container.":[430,546],"Load":[432],"into":[436,864],"your":[437],"local":[438],"registry":[439],"command.":[443],"loads":[445],"name":[449],"`registry.gitlab.com/sosy-lab/research/data/harnessforge-automatic-extraction-of-verification-tasks/harnessforge:tacas26-demo`.":[450],"```shell$":[451,464],"docker":[452,465],"load":[453],"-i":[454],"HarnessForge-TACAS-2026-Tool-Demo-container-image.tar```":[455],"2.":[456],"Run":[457],"loaded":[462],"image:":[463],"-it":[467],"--rm":[468],"registry.gitlab.com/sosy-lab/research/data/harnessforge-automatic-extraction-of-verification-tasks/harnessforge:tacas26-demo":[469],"/bin/bash```":[470],"creates":[472],"opens":[476],"bash":[478],"shell":[479],"inside.":[480],"_Expected":[481,555],"output_:":[482,557],"```WARNING:":[483],"requested":[485],"image's":[486],"platform":[487,495,500],"(linux/amd64)":[488],"does":[489],"not":[490,518],"match":[491],"detected":[493],"host":[494,515],"(linux/arm64/v8)":[496],"no":[498],"specific":[499],"requestedroot@27dd4f748b1b:/data#```":[502],"warning":[504],"expected":[506],"if":[507],"amd64":[520],"architecture.":[521],"Tests":[524],"tests,":[527,760],"check":[529,791],"task-creation":[532],"pipeline":[533],"all":[535,870],"three":[536,769,785],"original":[537,855],"projects":[538],"works.This":[539],"minutes":[542],"after":[543],"starting":[544],"tests:":[551],"```shellcd":[552,892],"/data/task-creationmake":[553],"smoke-test```":[554],"terminal":[556],"```##":[558],"test":[561],"AWS-C-Common":[563],"##/usr/bin/make":[564],"-C":[565,900],"aws-c-common":[566,901],"smoke-testmake[1]:":[567],"Entering":[568,903],"directory":[569,676,807,846,860,904,1015],"'/data/task-creation/aws-c-common'cd":[570],"aws-c-common-project":[571,906],"\\&&":[572,580,585,589,601,605,907,915,920,924,936,940],"rm":[573,908],"-rf":[574,909],"formal":[575,579,859,910,914],"&&":[576,911],"mkdir":[577,602,912,937],"-p":[578,603,913,938],"cp":[581,586,606,916,921,941],"-r":[582,607,917,942],"../formal/*":[583,918],"formal/":[584,919],"formal/project-config.yaml":[587,922],"./":[588,923],"taskconfig":[591,926],"formal/configs/aws_add_size_checked.yml;":[593],"do":[594,929],"harnessforge":[595,849,930],"create-task":[596,931],"\"$taskconfig\"":[597,932],"2>/tmp/hf-$(basename":[598,933],"$taskconfig).log;":[599,934],"done":[600,935],"../output_tasks":[604,939],"output_tasks/*":[608,943],"../output_tasks/\ud83d\udd27":[609,944],"Creating":[610,652,945,968,991],"file":[612,629,648,654,671,947,964,970,987,993,1010],"aws_add_size_checked_harness":[614,949],"*":[615,619,624,657,661,666,950,954,959,996,1000,1005],"Computing":[616,658,951,997],"sources":[618,660,953,999],"Assembling":[620,662,955,1001],"single-file":[621,663,956,1002],"Slicing":[625,667,960,1006],"task\ud83e\uddf0":[627,669,962,1008],"written":[630,649,672,965,988,1011],"output_tasks/aws_add_size_checked_harness.i":[632],"#":[633],"..":[634,645,973,984],"snip":[635,974],"similar":[636,975],"output":[637,976],"more":[639,978],"coreutils":[642,981],"tdx-module":[644,983],"\ud83e\uddf0":[646,985],"output_tasks/tdg_mr_report__unconstrained__cover_exit_success.i\ud83d\udd27":[651],"tdg_mr_report__unconstrained__cover_exit_unsuccess":[656],"output_tasks/tdg_mr_report__unconstrained__cover_exit_unsuccess.imake[1]:":[674],"Leaving":[675,1014],"'/data/task-creation/tdx-module'Found":[677],"1":[678,705],"statistics":[679,684,689,695,1028,1034],"files":[680,685,690,696,1029,1035],"/data/task-creation/aws-c-common/output_tasks/statisticsFound":[682],"9":[683],"/data/task-creation/coreutils/output_tasks/statisticsFound":[687],"/data/task-creation/tdx-module/output_tasks/statistics":[692],"Total:":[693,1032],"20":[694,707,744,1027,1033],"============================================================SLICING":[697],"STATISTICS":[698],"REPORT============================================================":[699],"NUMBER":[700],"OF":[701],"AGGREGATED":[702],"FILES:":[703],"Minimum:":[704,713,725,737],"Maximum:":[706,716,728,739],"Average:":[708,719,731,741],"11.2":[709],"LOC":[710,715,718,721,722,727,730,733],"BEFORE":[711],"SLICING:":[712,724],"3,117":[714],"18,002":[717],"11,116.6":[720],"AFTER":[723],"292":[726],"8,130":[729],"4,349.4":[732],"SLICING":[734],"REDUCTION":[735],"(%):":[736],"54.8%":[738],"90.6%":[740],"60.9%":[742],"============================================================Analyzed":[743],"tasks============================================================":[746],"============================================================LATEX":[747],"COMMANDS============================================================":[748],"\\newcommand{\\numSmokeTestTaskCount}{20}\\newcommand{\\numSmokeTestMinimumRelevantFiles}{1}\\newcommand{\\numSmokeTestMaximumRelevantFiles}{20}\\newcommand{\\numSmokeTestAverageRelevantFiles}{11}\\newcommand{\\numSmokeTestMinimumLocBeforeSlicing}{3117}\\newcommand{\\numSmokeTestMaximumLocBeforeSlicing}{18002}\\newcommand{\\numSmokeTestAverageLocBeforeSlicing}{11117}\\newcommand{\\numSmokeTestMinimumLocAfterSlicing}{292}\\newcommand{\\numSmokeTestMaximumLocAfterSlicing}{8130}\\newcommand{\\numSmokeTestAverageLocAfterSlicing}{4349}\\newcommand{\\numSmokeTestMinimumReductionInPercent}{54.8}\\newcommand{\\numSmokeTestMaximumReductionInPercent}{90.6}\\newcommand{\\numSmokeTestAverageReductionInPercent}{60.9}":[749],"============================================================##":[750],"completed":[753],"successfully":[754],"##```":[755],"After":[756],"will":[762],"find":[763],"some":[764],"tasksin":[766],"following":[768],"`/data/task-creation/aws-c-common/output_tasks/`":[772],"(1":[773],"task)-":[774],"`/data/task-creation/coreutils/output_tasks/`":[775],"(9":[776],"tasks)-":[777],"`/data/task-creation/tdx-module/output_tasks/`":[778],"(10":[779],"tasks)":[780],"Each":[781,836],"files:":[786],"`.i`,":[787],"`.c`,":[788],"`.yml`.Please":[790],"they":[793],"have":[794],"been":[795],"created":[796],"successfully.":[797],"Full":[799],"Creation":[801],"In":[802],"`/data/task-creation`contains":[808],"data":[810],"benchmark":[814,871],"tasksmentioned":[815],"paper:":[818],"Common:":[823],"Directory":[824,828,834],"`/data/task-creation/aws-c-common`-":[825],"Coreutils:":[827],"`/data/task-creation/coreutils`-":[829],"Module:":[833],"`/data/task-creation/tdx-module`":[835],"directories":[839],"contain:":[840],"`Makefile`-":[843],"`formal`":[845],"configuration":[850],"overrides,":[852],"and-":[853],"project,":[856],"`project-configuration.yaml`":[862],"copied":[863],"it.":[865],"Commands":[867],"afterwards":[874],"print":[875],"statistics,":[878],"(this":[880],"hours":[884],"Pro):":[891],"/data/task-creationmake```":[893],"Expected":[894],"output:":[895],"```Generating":[896],"AWS-C-Common/usr/bin/make":[899],"generatemake[1]:":[902],"'/d/data/task-creation/aws-c-common'cd":[905],"formal/configs/*.yml;":[928],"output_tasks/aws_add_size_checked_harness.i\ud83d\udd27":[967],"aws_add_size_saturating_harness#":[972],"output_tasks/tdh_vp_enter__invalid_state_pamt_metadata__cover_proof.i\ud83d\udd27":[990],"tdh_vp_enter__unconstrained__cover_exit_unsuccess":[995],"output_tasks/tdh_vp_enter__unconstrained__cover_exit_unsuccess.imake[1]:":[1013],"'/data/task-creation/tdx-module'Finished":[1016],"generating":[1017],"Modulepython3":[1022],"scripts/slicing_stats.py":[1023],"--name":[1024],"AwsCCommon":[1025],"aws-c-common/output_tasks/statisticsFound":[1026],"/data/task-creation/aws-c-common/output_tasks/statistics":[1031],"======================================":[1036]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-11-01T00:00:00"}