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