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