{"id":"https://openalex.org/W7083193836","doi":"https://doi.org/10.5281/zenodo.17122244","title":"Reproduction Package for STTT 2025 Article `TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'","display_name":"Reproduction Package for STTT 2025 Article `TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'","publication_year":2025,"publication_date":"2025-09-15","ids":{"openalex":"https://openalex.org/W7083193836","doi":"https://doi.org/10.5281/zenodo.17122244"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.17122244","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17122244","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":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17122244","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":"Jankola, Marek","orcid":"https://orcid.org/0009-0008-7961-190X"},"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":"Jankola, Marek","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0009-0008-7961-190X","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lingsch-Rosenfeld, Marian","orcid":"https://orcid.org/0000-0002-8172-3184"},"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":"Lingsch-Rosenfeld, Marian","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0002-8172-3184","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":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":{"id":"https://openalex.org/T12728","display_name":"Demographic Trends and Gender Preferences","score":0.1988999992609024,"subfield":{"id":"https://openalex.org/subfields/3318","display_name":"Gender Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12728","display_name":"Demographic Trends and Gender Preferences","score":0.1988999992609024,"subfield":{"id":"https://openalex.org/subfields/3318","display_name":"Gender Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10628","display_name":"China's Socioeconomic Reforms and Governance","score":0.09070000052452087,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12088","display_name":"Intergenerational and Educational Inequality Studies","score":0.049400001764297485,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.8125},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7631000280380249},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7131999731063843},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5867999792098999},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5428000092506409},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.5236999988555908},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.501800000667572}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.8125},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7631000280380249},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7366999983787537},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7131999731063843},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5867999792098999},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5428000092506409},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.5236999988555908},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.501800000667572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4553000032901764},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4104999899864197},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3393000066280365},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17122244","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17122244","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":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17122244","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17122244","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":"article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.525040864944458,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"TransVer:":[0,583],"A":[1,18,250,606],"Modular":[2,19,607],"Program-Transformation":[3,20,608],"Framework":[4,21,609],"for":[5,14,22,80,122,182,191,272,354,366,370,376,394,400,488,528,610,632,977,1187,1242,1315,1327,1338,1346,1367,1384,1419],"Reduction":[6,23],"to":[7,24,30,95,125,140,158,175,204,217,246,283,311,409,415,453,467,511,613,638,657,684,727,754,782,810,858,886,949,951,980,1002,1019,1072,1089,1113,1123,1134,1153,1183,1193,1214,1218,1223,1232,1235,1250,1264,1299,1321,1353,1374,1380],"Reachability":[8,614],"Abstract":[9,615],"This":[10,90,278,597,1201,1294],"is":[11,155,276,281,384,842,1060,1309,1332],"the":[12,15,44,66,97,101,105,117,126,153,163,178,183,194,206,212,219,226,253,274,287,297,300,305,320,351,367,396,411,417,420,426,430,434,455,469,472,477,481,489,493,503,509,513,529,532,539,589,603,623,630,640,659,662,671,676,686,689,698,703,720,729,732,740,746,756,759,767,774,784,787,795,802,812,815,823,830,836,848,860,863,873,878,888,891,901,906,932,975,978,989,1011,1021,1025,1032,1035,1040,1049,1066,1078,1128,1157,1196,1208,1225,1228,1243,1246,1256,1259,1262,1278,1284,1288,1301,1305,1316,1339,1361,1365,1369,1382,1395,1399,1413,1417,1421],"Artifact":[13],"paper":[16,421,431,473,482,1247,1260],"\u201cTransVer:":[17],"Reachability\u201d":[25],"which":[26,273,380,1139,1210],"has":[27,1402],"been":[28,1403],"submitted":[29],"journal":[31],"STTT":[32,36],"in":[33,57,100,328,419,429,471,480,544,548,552,556,560,564,568,572,576,580,588,1083,1245,1255,1258,1275,1281,1325],"2025.":[34],"The":[35,54,129,166,221,911,1058,1269],"article":[37],"presents":[38],"a":[39,58,188,268,315,521,1029,1095,1114,1163,1172,1220,1237,1323,1351,1389,1406],"program":[40],"transformation":[41,664,691,734,761,789,817,865,893],"framework":[42,59],"with":[43,50,120,350,362,374,390,405,441,450,459,507,661,688,731,758,786,814,862,869,890,897,983,1142,1165,1174],"goal":[45],"of":[46,109,169,211,238,242,252,262,270,299,425,461,476,492,497,523,920,969,1031,1227,1240,1357,1363,1415],"verifying":[47],"different":[48,316,1175,1385],"properties":[49,399,647,1263,1290,1370,1422],"of-the-shelf":[51],"reachability":[52,123,711,1265,1407],"analyzers.":[53],"transformations":[55,111,135],"are":[56,131,1140,1151],"based":[60],"on":[61,143,286,291,314,670,675,697,702,739,745,766,773,794,801,822,829,839,850,872,877,900,905,934,1034,1099,1156,1162,1171,1287],"instrumentation":[62],"automata,":[63],"inspired":[64],"by":[65,112,202,358],"BLAST":[67],"query":[68],"language.":[69],"In":[70],"our":[71,110,498,633,991],"initial":[72],"study,":[73],"we":[74,229,266,1349],"support":[75,116,149,162],"four":[76],"important":[77],"concrete":[78],"specifications":[79,118,144],"C":[81,840],"programs:":[82],"termination,":[83],"no-overflow,":[84],"memory":[85,88,444,922,942,970],"cleanup,":[86],"and":[87,107,151,180,208,240,345,398,407,446,516,665,692,717,735,762,790,818,866,894,923,943,1037,1199,1277],"safety.":[89],"artifact":[91,167,494,530,933,1022,1033,1229],"can":[92,136,172,303,644,713,938,973,1005,1272],"be":[93,141,173,284,714,996,1053,1090,1154,1273],"used":[94,174,201,216,414,452,466,479,486,1254],"reproduce":[96,629],"experiments":[98,207,255,427,1244,1257],"presented":[99,428],"paper.":[102],"We":[103,231,323],"demonstrate":[104],"effectiveness":[106],"efficiency":[108,154],"comparing":[113],"verifiers":[114,121,139,159,712],"that":[115,145,152,160,171,214,228,364,382,501,1061,1065,1311],"natively":[119,161,651],"applied":[124],"transformed":[127,672,699,741,768,796,824,874,902,1270],"programs.":[128],"results":[130,213,424,435,470,992],"very":[132],"promising:":[133],"Our":[134],"extend":[137],"existing":[138],"effective":[142,716],"they":[146,648],"do":[147,649,964],"not":[148,336,650,843,965,995,1069],"natively,":[150],"often":[156],"similar":[157],"considered":[164],"specifications.":[165],"consists":[168],"Makefile":[170],"setup":[176,1219,1233,1251],"all":[177,193,225,395,433,464,508,518,538,1039,1136,1195,1252,1364,1368,1416,1420],"tools":[179,397,1198,1366,1383,1418],"environment":[181,368],"experiments.":[184],"Moreover,":[185],"it":[186,197,313,1062,1121,1314,1337],"provides":[187],"simple":[189],"interface":[190],"running":[192,1313,1336],"scripts.":[195],"Furthermore,":[196],"contains":[198,224],"benchmarking":[199],"definitions":[200,353,408],"BenchExec":[203,359,371,377,383,1298,1328],"execute":[205,1098],"processing":[209],"scripts":[210,363,406,451],"were":[215],"generate":[218,416],"tables.":[220],"folder":[222,590,1018],"figures-generation/results-STTT2025-submission/":[223],"data":[227],"computed.":[230],"assign":[232],"4":[233,926,961],"CPU":[234,243,263,442],"cores,":[235],"15":[236,918],"GB":[237,919,968,982],"memory,":[239,990],"900s":[241],"time":[244,1206],"limit":[245],"each":[247,355],"verification":[248,837,1285,1306,1362,1396,1414],"task.":[249],"reproduction":[251,275,279],"full":[254,912],"would":[256,1212],"require":[257,915],"more":[258,1347],"than":[259,846],"2":[260],"months":[261],"time.":[264],"Therefore,":[265],"prepared":[267],"subset":[269,475,522,1239],"benchmarks":[271,456,534],"faster.":[277],"package":[280],"intended":[282],"run":[285,312,639,931,1006,1038,1055,1236,1297,1343,1381],"TACAS":[288,935,1158],"VM":[289,1036,1067],"or":[290,519,1074,1103,1161],"an":[292,438,600,851,1333],"Ubuntu":[293,1166],"24.04":[294],"machine.":[295],"Otherwise,":[296],"installation":[298],"provided":[301],"packages":[302,541,1150],"break":[304],"operation":[306],"system.":[307],"If":[308,929,962,1009,1014,1109,1126,1330,1377],"you":[309,930,937,947,963,972,1015,1110,1211,1378],"wish":[310,948,1379],"OS,":[317],"please":[318,1027,1342,1387],"install":[319,1135],"requirements":[321,369],"separately.":[322],"recommend":[324],"viewing":[325],"this":[326,341,1087,1358],"README":[327,598],"its":[329],".html":[330],"form":[331],"as":[332,715,719,1405],"some":[333,1205],"links":[334],"might":[335,1063,1178],"work":[337],"otherwise.":[338],"Contents":[339,616],"README.md:":[340],"file":[342,373,379],"containing":[343,537],"documentation":[344],"useful":[346],"tips":[347],"benchmark-defs/:":[348],"directory":[349,361,389,404,449,458,496,1023],"requirement":[352],"tool":[356,499],"required":[357,540],"benchmark-utils/:":[360],"check":[365],"benchmark-utils/config.sh:":[372],"parameters":[375],"benchmark-utils/check_configured.sh:":[378],"checks":[381],"set":[385],"up":[386,622,1373,1425],"correctly":[387],"complete_logs/*:":[388],"logs":[391],"from":[392,1042,1056],"benchexec":[393],"smoke":[401,490],"tests":[402],"figures-generation/:":[403],"produce":[410,468],"CSV":[412],"files":[413,1076],"plots":[418],"figures-generation/results-STTT2025-submission:":[422],"raw":[423],"figures-generation/results-STTT2025-submission/final-table.html:":[432],"merged":[436],"into":[437,1024],"interactive":[439],"table":[440],"time,":[443,1318,1341],"consumption":[445],"verdicts":[447],"scripts/":[448],"process":[454],"tasks/:":[457],"sets":[460],"tasks":[462,465,478,660,673,679,687,700,706,730,742,749,757,769,777,785,797,805,813,825,833,861,875,881,889,903,909,1209,1222,1234,1241,1253,1286,1397],"tasks/{property}/all.xml:":[463],"tasks/{property}/subset.xml:":[474],"test/{property}/test.xml:":[483],"one":[484,636,1004,1319],"task":[485,838],"only":[487],"test":[491,1224],"transver/:":[495],"TransVer":[500,584],"transforms":[502],"programs":[504,524,841,1271,1280],"Makefile:":[505],"makefile":[506],"commands":[510,1041],"set-up":[512],"environments,":[514],"transform":[515,658,685,728,755,783,811,859,887],"verify":[517,646],"just":[520],"License.txt:":[525],"license":[526,1145],"information":[527],"sv-benchmarks.zip:":[531],"SV-COMP25":[533],"packages:":[535],"archive":[536,545,549,553,557,561,565,569,573,577,581],"Tools:":[542],"Aprove:":[543],"aprove.zip":[546],"Bubaak:":[547],"bubaak.zip":[550],"CPAchecker:":[551],"cpachecker.zip":[554],"UAutomizer:":[555],"uautomizer.zip":[558],"UTaipan:":[559],"utaipan.zip":[562],"UKojak:":[563],"ukojak.zip":[566],"Symbiotic:":[567],"symbiotic.zip":[570],"CPV:":[571],"cpv.zip":[574],"Theta:":[575],"Theta.zip":[578],"EmergenTheta:":[579],"EmergenTheta.zip":[582],"at":[585,594,916,924,1391],"commit":[586,595],"1a9ea890":[587],"transver":[591],"using":[592,1266,1291,1409],"CPAchecker":[593,800,828,868,876,896,904],"6143fde0":[596],"guides":[599],"user":[601],"through":[602],"following":[604],"steps:":[605],"Reducing":[611,835],"Specifications":[612],"TL;DR":[617,910],"Smoke":[618,1392],"Tests":[619],"Reusability":[620],"Set":[621],"Environment":[624],"Experiments":[625],"Trouble":[626,1184,1354],"Shooting":[627,1185,1355],"To":[628,1097],"claims":[631],"research":[634],"questions,":[635],"needs":[637,656,683,726,753,781,809,857,885,1088,1320],"following:":[641],"RQ1:":[642],"Verifiers":[643],"succesfully":[645],"support.":[652],"(a)":[653,723,854],"Termination:":[654,724,883],"One":[655,682,725,752,780,808,856,884],"termination":[663,733,892],"run:":[666,693,736,763,791,819,867,895],"CPV,":[667,694],"Theta,":[668,695],"EmergenTheta":[669,696],"Aprove":[674],"respective":[677,704,747,775,803,831,879,907],"original":[678,705,748,776,804,832,880,908,1279,1289,1400],"(b)":[680,750,882],"No-overflow:":[681,751,855],"no-overflow":[690,760,864],"UKojak":[701],"RQ2":[707],"&":[708],"RQ3:":[709],"State-of-the-art":[710],"efficient":[718,845],"native":[721],"verifiers.":[722],"CPAchecker,":[737,764,792,820],"UAutomizer":[738,744,765,793,821],"Aprove,":[743],"UKojak,":[770],"UAutomizer,":[771,827],"UTaipan":[772],"(c)":[778],"Memory-cleanup:":[779],"memory-cleanup":[788],"Symbiotic,":[798,826],"Bubaak,":[799],"(d)":[806],"Memory-safety:":[807],"memory-safety":[816],"RQ4:":[834],"less":[844],"doing":[847],"reduction":[849],"intermediate":[852],"abstraction.":[853],"predicate":[870],"abstraction":[871],"termination-to-safety":[898],"analysis":[899],"experiment":[913],"runs":[914,979],"least":[917,925],"available":[921,927,1141],"CPUs.":[928],"VM,":[936,1026],"specify":[939],"how":[940,944],"much":[941],"many":[945],"CPUs":[946],"allow":[950],"use:":[952,1215],"vboxmanage":[953],"import":[954],"TACAS23-AEC.ova":[955],"--vsys":[956],"0":[957],"--memory":[958],"16384":[959],"--cpus":[960],"have":[966,1070,1111,1388],"16":[967],"available,":[971],"lower":[974],"limits":[976],"7":[981],"make":[984,1007,1132,1191,1216,1230,1248,1267,1292,1344,1410],"set-lower-memory-limits.":[985],"WARNING:":[986,1148],"After":[987],"lowering":[988],"will":[993,1296],"probably":[994],"fully":[997],"reproduced.":[998],"(to":[999],"switch":[1000],"back":[1001],"15GB,":[1003],"set-bigger-memory-limits)":[1008],"inside":[1010,1077,1127],"TACAS23":[1012,1129],"VM:":[1013,1130],"use":[1016,1106,1117],"shared":[1017,1079],"load":[1020],"create":[1028,1322],"copy":[1030],"there":[1043,1331],"cp":[1044],"-r":[1045],"<path_to_shared_folder>/<artifact_directory>":[1046],"/home/tacas23/.":[1047],"All":[1048],"remaining":[1050],"steps":[1051],"should":[1052],"then":[1054],"/home/tacas23/<artifact_directory>.":[1057],"reason":[1059],"happen":[1064],"does":[1068],"permission":[1071],"write":[1073],"move":[1075],"folder.":[1080],"Setup":[1081],"variables":[1082],"your":[1084,1100,1124],"shell":[1085],"environment(WARNING:":[1086],"executed":[1091],"again":[1092],"after":[1093,1312],"closing":[1094],"terminal):":[1096],"local":[1101],"system":[1102,1177],"virtual":[1104,1159],"machine":[1105,1160,1164,1173],"source":[1107,1118],"benchmark-utils/config.sh.":[1108],"access":[1112],"BenchCloud":[1115],"instance":[1116],"benchmark-utils/config_vcloud.sh,":[1119],"adapting":[1120],"correspondingly":[1122],"server.":[1125],"Run":[1131,1190],"install-packages":[1133],"needed":[1137,1197],"packages,":[1138],"their":[1143],"corresponding":[1144],"under":[1146],"packages.":[1147],"these":[1149],"meant":[1152],"installed":[1155],"22.04":[1167],"!":[1168],"Installing":[1169],"them":[1170],"operating":[1176],"cause":[1179],"problems.":[1180],"Please":[1181],"refer":[1182,1350],"section":[1186,1356],"encountered":[1188],"errors.":[1189],"setup-all":[1192],"unzip":[1194],"benchmarks.":[1200],"step":[1202],"may":[1203,1371,1423],"take":[1204,1372,1424],"Select":[1207],"like":[1213],"setup-test:":[1217],"few":[1221],"functionality":[1226],"setup-subset:":[1231],"representative":[1238],"setup-benchmark:":[1249],"Transform":[1261],"transform-programs.":[1268],"found":[1274],"transformed_tasks_*/":[1276],"original_tasks_*/.":[1282],"Execute":[1283,1394],"experiments-original-property":[1293],"command":[1295],"measure":[1300],"resources":[1302],"consumed":[1303],"during":[1304],"process.":[1307],"It":[1308],"possible":[1310],"first":[1317,1340],"partition":[1324],"cgroups":[1326],"manually.":[1329],"error":[1334],"when":[1335],"add-cgroup-partition,":[1345],"details,":[1348],"reader":[1352],"file.":[1359],"Executing":[1360,1412],"1":[1375],"hour.":[1376],"properties,":[1386],"look":[1390],"Test.":[1393],"where":[1398],"property":[1401,1408],"encoded":[1404],"experiments-transformed":[1411],"t":[1426]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}