{"id":"https://openalex.org/W6892612167","doi":"https://doi.org/10.5281/zenodo.10826204","title":"Reproduction Package for SPIN 2024 Article `Verification Witnesses Version 2'","display_name":"Reproduction Package for SPIN 2024 Article `Verification Witnesses Version 2'","publication_year":2024,"publication_date":"2024-03-16","ids":{"openalex":"https://openalex.org/W6892612167","doi":"https://doi.org/10.5281/zenodo.10826204"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10826204","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10826204","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.10826204","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ayaziov\u00e1, Paul\u00edna","orcid":"https://orcid.org/0000-0003-1072-8137"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ayaziov\u00e1, Paul\u00edna","raw_affiliation_strings":["Masaryk University"],"raw_orcid":"https://orcid.org/0000-0003-1072-8137","affiliations":[{"raw_affiliation_string":"Masaryk University","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","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":false,"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":"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"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Spiessl, Martin","orcid":"https://orcid.org/0000-0002-9169-9130"},"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":"Spiessl, Martin","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0002-9169-9130","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Strej\u010dek, Jan","orcid":"https://orcid.org/0000-0001-5873-403X"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Strej\u010dek, Jan","raw_affiliation_strings":["Masaryk University"],"raw_orcid":"https://orcid.org/0000-0001-5873-403X","affiliations":[{"raw_affiliation_string":"Masaryk University","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.821399986743927},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6503999829292297},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5770000219345093},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.47769999504089355},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.391400009393692},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.3804999887943268}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.821399986743927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6653000116348267},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6503999829292297},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5770000219345093},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.391400009393692},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.3817000091075897},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.3804999887943268},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3734000027179718},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35019999742507935},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C42704618","wikidata":"https://www.wikidata.org/wiki/Q910917","display_name":"Spin (aerodynamics)","level":2,"score":0.3425999879837036},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C59659247","wikidata":"https://www.wikidata.org/wiki/Q11990","display_name":"Reproduction","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30329999327659607},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.2921999990940094},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2872999906539917},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25870001316070557},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2581999897956848}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10826204","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10826204","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.10826204","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10826204","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1,183,190,411,1132,1195,1222],"artifact":[2,69,93,184,311,444,506,747,788,852,1282],"is":[3,70,89,160,314,579,801,813,869,875,1209,1252,1268,1273,1320],"a":[4,135,281,295,321,561,568,575,1119,1125,1149,1203,1218,1234,1241,1248,1313],"reproduction":[5,121],"package":[6],"for":[7,114,169,197,207,254,289,309,320,584,588,823,970,979,1088,1108,1257,1261,1325],"the":[8,33,37,42,46,53,60,73,92,123,176,186,199,213,219,223,233,237,243,247,270,273,277,290,300,310,328,332,342,414,419,423,431,435,439,443,456,460,465,482,489,493,502,505,514,522,543,592,602,632,642,662,669,675,686,695,704,708,711,719,723,732,735,746,756,787,793,805,818,821,825,835,839,848,851,860,872,878,882,924,1006,1056,1059,1065,1086,1089,1095,1099,1102,1110,1123,1138,1143,1158,1179,1213,1228,1281,1285,1326,1340,1345],"paper":[9,47,248,736],"Software":[10],"Verification":[11,985,1009],"Witnesses":[12],"2.0":[13,893,982],"which":[14,41,142,172,442,578,1141,1251],"has":[15,81,139,620,789,1049],"been":[16,82,140,252,621,790,1050,1295],"accepted":[17],"at":[18,115,145,1081,1355],"SPIN":[19],"2024.":[20],"It":[21,334,800,1208],"consists":[22],"of":[23,112,122,129,137,222,242,302,492,504,521,564,668,692,767,838,850,1047,1101,1122,1127,1151,1157,1220,1227,1237,1265,1310,1315,1328],"all":[24,164,175,551,557,601,1062,1109,1187,1193,1198,1292],"executables,":[25],"input":[26,61],"data":[27,39,62],"and":[28,35,59,80,91,109,151,230,304,392,433,447,458,470,541,574,586,649,713,749,892,906,910,914,944,958,978,1045,1177,1200,1230,1247,1259,1307,1312,1352],"results":[29,43,466,720,733,1087,1229],"required":[30,227,234,497,843,1066,1210],"to":[31,149,211,217,231,236,268,280,283,298,326,339,417,421,429,454,472,487,512,525,530,599,625,628,646,655,666,679,690,702,717,730,785,803,833,858,922,935,951,961,1002,1084,1097,1106,1112,1146,1161,1166,1206,1211,1269,1322],"reproduce":[32,422,430,923,1212],"experiments":[34,103,124,165,177,200,432,457,608,650,696,806,896,900,926,959,969,986,1010,1015,1032,1063,1111,1301],"see":[36,760],"raw":[38],"from":[40,276,331],"presented":[44,245,721],"in":[45,66,178,246,262,272,354,362,376,382,389,394,401,408,441,546,641,661,674,685,722,734,740,792,1055,1064,1182,1233,1277,1284,1339,1344],"were":[48,1302],"extracted.":[49],"Specifically,":[50],"it":[51,97,868],"contains":[52,185,294,413],"tools":[54,303],"Symbiotic,":[55],"CPAchecker,":[56],"UAutomizer,":[57],"witness-lint":[58],"sv-benchmarks":[63],"as":[64,162,226,244,496,842,1053,1275],"used":[65],"SV-COMP24.":[67],"The":[68,346,616,899,917,968,998,1041,1263,1300,1318],"based":[71],"on":[72,728,820,867],"SoSy-Lab":[74,794],"Virtual":[75,795],"Machine":[76,796],"(Ubuntu":[77,797],"22.04":[78,798],"LTS)":[79],"configured":[83],"such":[84],"that":[85,158,534,808,871,1170,1271,1291,1350],"no":[86,811],"extra":[87,993],"configuration":[88],"necessary":[90],"can":[94,166,448,467,609,1068,1076,1129,1133,1336],"run":[95,105,168,212,600,611,630,699,745,786,804,1197,1303],"inside":[96,807,877,1058],"without":[98,1104],"any":[99,1082],"problems.":[100],"By":[101],"default,":[102,550],"are":[104,258,553,644,653,664,677,688,697,753,897,901,937,954,964,974,995,1189],"with":[106,205,519,571,707,930,939,942,947,956,966,976,983,1005,1155,1244,1304],"2":[107,1305,1357],"cores":[108,1306],"15":[110,1308],"GB":[111,261,1309],"memory":[113,1311],"most":[116,146],"900":[117,1316],"seconds.":[118,1317],"A":[119,426,725,764],"full":[120,278,726,1214],"requires":[125],"roughly":[126],"8":[127],"months":[128],"CPU":[130],"time.":[131,1238],"For":[132,755],"demonstration":[133],"purposes,":[134],"subset":[136,282,563,1126,1150,1219,1223],"tasks":[138,271,552,909,1048,1128,1188,1199],"selected":[141],"should":[143,173,1231],"take":[144,1202],"1":[147],"day":[148],"complete":[150],"will":[152,536,737,1172,1196,1201,1289],"likely":[153],"finish":[154,174,1232],"sooner.":[155],"To":[156,744,815,884,1117],"test":[157,1270,1290],"everything":[159,313,1272],"working":[161,873,1274],"intended,":[163,1276],"be":[167,318,449,468,610,629,738,1003,1069,1077,1113,1130,1134,1337],"two":[170,284],"files":[171,196,275,330,540,1145,1176,1342],"around":[179,259],"30":[180],"minutes.":[181],"Contents":[182],"following":[187,415,523,617,999,1007,1159],"items:":[188],"README.md:":[189],"file.":[191,1347],"*.xml:":[192],"Mostly":[193],"benchmark":[194],"definition":[195],"running":[198,613],"using":[201,379,1280],"BenchExec.":[202,208,499,845],"config.sh:":[203],"Config":[204],"parameters":[206,1335],"Makefile:":[209],"Makefile":[210,919],"experiments.":[214,249,603,637],"setup.sh:":[215],"Script":[216,267],"update":[218,488,834],"modified":[220,490,836],"time":[221,491,837,1205],"CPAchecker":[224,351,494,840,1351],"binary":[225,495,841],"by":[228,498,612,844,1071,1136],"BenchExec":[229,336,405,748],"add":[232],"dependencies":[235],"witness":[238,635,680,907,945,971,980,990],"linter.":[239],"results.zip:":[240],"Results":[241],"They":[250],"have":[251,1294],"zipped":[253],"convenience,":[255],"since":[256,312,810],"they":[257],"10":[260],"size":[263],"when":[264,480,1279],"uncompressed.":[265],"change_tasks.py:":[266],"change":[269],"xml":[274,539,594,1144,1175],"set":[279,513,529,816,859,1165],"files.":[285,344,548,595,1184],"License.txt:":[286],"License":[287],"information":[288,338],"artifact.":[291,483,879],"cache:":[292],"Which":[293],"helper":[296],"script":[297,1139],"cache":[299],"downloading":[301],"sv-benchmarks.":[305],"Is":[306],"not":[307,996,1283],"relevant":[308,319],"self-contained":[315],"but":[316],"may":[317],"reproduction.":[322],"csv-generation.xml:":[323],"XML":[324],"file":[325],"generate":[327,459,703],"csv":[329,343],"results.":[333,461,709,1215],"tells":[335],"what":[337,527,1163],"put":[340],"into":[341,501,847,903,912],"sv-benchmarks:":[345],"SV-COMP24":[347],"benchmarks.":[348],"Tools":[349],"CPAchecker:":[350,770],"version":[352,360,370,374,383,387,399,406,890,972,981],"0af0e41240":[353],"folder":[355,363,377,390,395,402,409],"cpachecker":[356],".":[357,365],"Symbiotic:":[358,773],"Symbiotic":[359,366,368],"9c278f9":[361],"val-symbiotic-witch":[364],"Witch:":[367,372],"Witch":[369,373,380],"svcomp24.":[371],"b011ec9":[375],"symbiotic-witch":[378],"Klee":[381],"6dabb94.":[384],"UAutomizer:":[385,780],"UAutomizer":[386,1353],"0.2.4-?-8430d5a-m":[388],"uautomizer-graphml":[391],"0.2.4-dev-0e0057c":[393],"uautomizer-yaml.":[396],"witness-lint:":[397],"Witness-lint":[398],"2.0.2":[400],"witness_linter.":[403],"BenchExec:":[404],"19a85ac":[407],"benchexec.":[410],"readme":[412],"sections":[416],"help":[418],"user":[420,1096],"experiments:":[424],"TL;DR:":[425],"quick":[427],"guide":[428],"analyze":[434,473],"data.":[436],"Environment:":[437],"Describes":[438,452,463,477],"environment":[440,515,819,861],"was":[445],"tested":[446],"run.":[450,531,1167],"Experiments:":[451],"how":[453,471,729,886,921],"execute":[455],"Results:":[462],"where":[464],"found":[469],"them.":[474],"Known":[475],"Issues:":[476],"known":[478],"issues":[479],"executing":[481,824,1137],"TL;DR":[484],"Run":[485,509,517,556,560,567,596,855,1153,1192,1217,1240],"setup.sh":[486,832],"Change":[500,846],"directory":[503,849,874],"i.e.":[507,581,853,1254],"software-verification-witnesses-2.0-artifact-SPIN24-final.":[508,854],"source":[510,856],"config.sh":[511,857,1346],"variables.":[516,862],"change_tasks.py":[518,1154],"one":[520,582,587,1156,1255,1260],"options":[524,1160],"select":[526,1162],"task":[528,570,577,583,1164,1243,1250,1256],"Be":[532,1168,1348],"aware":[533,1169,1349],"this":[535,865,1093,1171,1266,1288],"create":[537,1173],"new":[538,1174],"save":[542,1178],"original":[544,593,1180],"ones":[545,1181],".xml.bkp":[547,1183],"Per":[549,1185],"selected.":[554,1131,1190],"--all:":[555,1191],"tasks.":[558,565,916,1152,1194,1221],"--subset:":[559,1216],"representative":[562],"--single:":[566,1239],"single":[569,576,1242,1249],"an":[572,1225,1245],"error":[573,1246],"correct":[580,1253],"violation":[585,652,656,913,962,1258,1329],"correctness.":[589,1262],"--clean:":[590],"Restore":[591],"make":[597,614,700,1073],"all-experiments":[598,1074],"If":[604,1331],"desired":[605],"only":[606,1147],"particular":[607,757,1278],"experiment-*.":[615],"naming":[618],"convention":[619],"used:":[622],"Experiments":[623,638,658,671,682,880,883,949,1075],"related":[624,645,654,665,678,689,934,950,960],"verification":[626,673,936,1044],"need":[627,1001],"before":[631],"validation":[633,667,905,941,1046,1327],"or":[634,1343],"analysis":[636,691,908,946,1031],"containing":[639,651,659,672,683],"correctness":[640,647,915,952,957],"name":[643,663,676,687],"witnesses":[648,887,953,963],"witnesses.":[657,670,693,1330],"validate":[660,718,731,943],"analysis.":[681],"lint":[684],"After":[694],"finished,":[698],"generate-experiments-table-all":[701],"HTML":[705],"table":[706,712],"Open":[710],"use":[714],"different":[715,895,925],"filters":[716],"paper.":[724],"explanation":[727],"explained":[739],"section":[741],"Results.":[742],"Environment":[743],"Python":[750,774],">=":[751],"3.8":[752],"required.":[754],"tools,":[758],"please":[759,827],"their":[761],"respective":[762],"documentation.":[763],"non-exhaustive":[765],"list":[766],"rquired":[768],"packages:":[769],"Java":[771,781],"17":[772],"3.8,":[775],"Clang":[776],"14,":[777],"LLVM":[778],"14":[779],"11":[782],"Everything":[783],"needed":[784],"installed":[791,1296],"LTS).":[799],"recommended":[802,1286],"VM,":[809],"installation":[812],"necessary.":[814,997],"up":[817],"VM":[822,1287],"experiments,":[826],"follow":[828],"these":[829,1334],"steps:":[830],"Execute":[831],"Note:":[863],"From":[864],"point":[866],"assumed":[870],"software-verification-witnesses-2.0-artifact-SPIN24-final":[876],"Running":[881],"evaluate":[885],"perform":[888],"between":[889,1043],"1.0":[891,973],"21":[894],"provided.":[898],"divided":[902],"verification,":[904,940],"subdivided":[911],"provided":[918],"documents":[920],"(Makefile":[927],"targets":[928,933,1000],"starting":[929],"experiment-).":[931],"Experiment":[932,1298],"marked":[938,955,965,975],"lint.":[948],"violation.":[967],"graphml":[977],"yaml.":[984],"already":[987],"export":[988],"both":[989],"versions,":[991],"so":[992,1332],"runs":[994],"run,":[1004],"order:":[1008],"experiment-cpachecker-violation-verification":[1011],"experiment-symbiotic-verification":[1012],"experiment-cpachecker-correctness-verification":[1013],"Validation":[1014],"Correctness":[1016,1033],"experiment-cpachecker-validate-cpachecker-correctness-graphml":[1017],"experiment-cpachecker-validate-cpachecker-correctness-yaml":[1018],"experiment-uautomizer-validate-correctness-graphml":[1019],"experiment-uautomizer-validate-correctness-yaml":[1020],"Violation":[1021,1036],"experiment-cpachecker-validate-cpachecker-violation-graphml":[1022],"experiment-cpachecker-validate-cpachecker-violation-yaml":[1023],"experiment-symbiotic-validate-cpachecker-graphml":[1024],"experiment-symbiotic-validate-cpachecker-yaml":[1025],"experiment-symbiotic-validate-symbiotic-graphml":[1026],"experiment-symbiotic-validate-symbiotic-yaml":[1027],"experiment-cpachecker-validate-symbiotic-graphml":[1028],"experiment-cpachecker-validate-symbiotic-yaml":[1029],"Witness":[1030],"experiment-lint-cpachecker-correctness-graphml":[1034],"experiment-lint-cpachecker-correctness-yaml":[1035],"experiment-lint-cpachecker-violation-graphml":[1037],"experiment-lint-cpachecker-violation-yaml":[1038],"experiment-lint-symbiotic-violation-graphml":[1039],"experiment-lint-symbiotic-violation-yaml":[1040],"dependency":[1042],"made":[1051],"explicit":[1052],"comments":[1054],"commands":[1057],"Makefile.":[1060],"Executing":[1061],"order":[1067],"done":[1070,1135],"using:":[1072],"interrupted":[1078],"(with":[1079],"CTRL-c)":[1080],"moment":[1083],"get":[1085],"currently":[1090],"completed":[1091],"tasks,":[1092],"allows":[1094],"continue":[1098],"evaluation":[1100,1121],"pipeline":[1103],"having":[1105],"wait":[1107],"finished.":[1114],"Light":[1115],"Evaluation":[1116],"do":[1118],"light":[1120],"artifact,":[1124],"change_tasks.py,":[1140],"modifies":[1142],"contain":[1148],"default":[1186],"long":[1204],"finish.":[1207],"provides":[1224],"overview":[1226],"reasonable":[1235],"amount":[1236],"purpose":[1264],"option":[1267],"requirements":[1293],"correctly.":[1297],"Requirements":[1299],"Timeout":[1314],"timeout":[1319],"decreased":[1321],"90":[1323],"secodns":[1324],"desired,":[1333],"adjusted":[1338],"*.xml":[1341],"require":[1354],"least":[1356],"Cores.":[1358],"Reasonable":[1359],"red":[1360]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}