evaluation.json

{"MonteCarlo": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "4679", "pointer-analysis-time": "7657", "potential-races-time": "497", "races": "3246", "app-level-synchronized": "3246", "locksets-time": "1845", "potential-races": "3246"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7683", "potential-races-time": "279", "deep-synchronized-time": "1080", "races": "186", "bubble-up-time": "74", "bubble-up": "186", "locksets-time": "1611", "deep-synchronized": "202", "potential-races": "202"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "975", "pointer-analysis-time": "7898", "potential-races-time": "260", "deep-synchronized-time": "1010", "races": "3", "app-level-synchronized": "3", "locksets-time": "1591", "deep-synchronized": "3", "potential-races": "3"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "1184", "pointer-analysis-time": "7847", "potential-races-time": "492", "deep-synchronized-time": "5718", "races": "3783", "app-level-synchronized": "3783", "locksets-time": "1855", "deep-synchronized": "3783", "potential-races": "3783"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7608", "potential-races-time": "265", "deep-synchronized-time": "1014", "races": "1", "bubble-up-time": "23", "bubble-up": "1", "locksets-time": "1624", "deep-synchronized": "3", "potential-races": "3"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7601", "potential-races-time": "265", "deep-synchronized-time": "1052", "races": "202", "locksets-time": "1593", "deep-synchronized": "202", "potential-races": "202"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1029", "pointer-analysis-time": "7598", "potential-races-time": "273", "races": "3", "app-level-synchronized": "3", "locksets-time": "1641", "potential-races": "3"}, "app-level-synchronized_bubble-up": {"app-level-synchronized-time": "10634", "pointer-analysis-time": "8001", "potential-races-time": "512", "races": "42375", "bubble-up-time": "6361", "bubble-up": "42528", "app-level-synchronized": "42375", "locksets-time": "1933", "potential-races": "3783"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "933", "pointer-analysis-time": "7736", "potential-races-time": "264", "deep-synchronized-time": "972", "races": "1", "bubble-up-time": "23", "bubble-up": "1", "app-level-synchronized": "1", "locksets-time": "1593", "deep-synchronized": "3", "potential-races": "3"}, "2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "10030", "pointer-analysis-time": "7665", "potential-races-time": "496", "races": "41955", "bubble-up-time": "6786", "bubble-up": "42081", "app-level-synchronized": "41955", "locksets-time": "1857", "potential-races": "3246"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "8068", "potential-races-time": "503", "deep-synchronized-time": "4210", "races": "42081", "bubble-up-time": "2803", "bubble-up": "42081", "locksets-time": "1903", "deep-synchronized": "3246", "potential-races": "3246"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1055", "pointer-analysis-time": "7657", "potential-races-time": "279", "races": "178", "bubble-up-time": "72", "bubble-up": "186", "app-level-synchronized": "178", "locksets-time": "1621", "potential-races": "202"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "7999", "potential-races-time": "484", "races": "42081", "bubble-up-time": "7107", "bubble-up": "42081", "locksets-time": "1841", "potential-races": "3246"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "1750", "pointer-analysis-time": "7650", "potential-races-time": "495", "deep-synchronized-time": "3950", "races": "3246", "app-level-synchronized": "3246", "locksets-time": "1801", "deep-synchronized": "3246", "potential-races": "3246"}, "bubble-up": {"pointer-analysis-time": "8046", "potential-races-time": "512", "races": "42528", "bubble-up-time": "6125", "bubble-up": "42528", "locksets-time": "1876", "potential-races": "3783"}, "app-level-synchronized": {"app-level-synchronized-time": "5335", "pointer-analysis-time": "7725", "potential-races-time": "510", "races": "3783", "app-level-synchronized": "3783", "locksets-time": "1861", "potential-races": "3783"}, "deep-synchronized": {"pointer-analysis-time": "7614", "potential-races-time": "512", "deep-synchronized-time": "4875", "races": "3783", "locksets-time": "1834", "deep-synchronized": "3783", "potential-races": "3783"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "7959", "potential-races-time": "508", "deep-synchronized-time": "5541", "races": "42528", "bubble-up-time": "2360", "bubble-up": "42528", "locksets-time": "1911", "deep-synchronized": "3783", "potential-races": "3783"}, "2-threads-model": {"pointer-analysis-time": "8014", "potential-races-time": "499", "races": "3246", "locksets-time": "1891", "potential-races": "3246"}, "deep-synchronized_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "10347", "pointer-analysis-time": "8043", "potential-races-time": "511", "deep-synchronized-time": "4956", "races": "42375", "bubble-up-time": "2392", "bubble-up": "42528", "app-level-synchronized": "42375", "locksets-time": "1906", "deep-synchronized": "3783", "potential-races": "3783"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1030", "pointer-analysis-time": "7678", "potential-races-time": "274", "races": "1", "bubble-up-time": "24", "bubble-up": "1", "app-level-synchronized": "1", "locksets-time": "1613", "potential-races": "3"}, "known-safe-filtering": {"pointer-analysis-time": "7492", "potential-races-time": "267", "races": "202", "locksets-time": "1589", "potential-races": "202"}, "NONE": {"pointer-analysis-time": "7586", "potential-races-time": "512", "races": "3783", "locksets-time": "1898", "potential-races": "3783"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "987", "pointer-analysis-time": "7826", "potential-races-time": "277", "races": "202", "app-level-synchronized": "202", "locksets-time": "1583", "potential-races": "202"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "8043", "potential-races-time": "501", "deep-synchronized-time": "5295", "races": "3246", "locksets-time": "1844", "deep-synchronized": "3246", "potential-races": "3246"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "997", "pointer-analysis-time": "7980", "potential-races-time": "267", "deep-synchronized-time": "1053", "races": "202", "app-level-synchronized": "202", "locksets-time": "1602", "deep-synchronized": "202", "potential-races": "202"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1067", "pointer-analysis-time": "7889", "potential-races-time": "271", "deep-synchronized-time": "1039", "races": "178", "bubble-up-time": "72", "bubble-up": "186", "app-level-synchronized": "178", "locksets-time": "1570", "deep-synchronized": "202", "potential-races": "202"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "7798", "potential-races-time": "277", "races": "186", "bubble-up-time": "74", "bubble-up": "186", "locksets-time": "1615", "potential-races": "202"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "7718", "potential-races-time": "260", "races": "3", "locksets-time": "1597", "potential-races": "3"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7607", "potential-races-time": "276", "deep-synchronized-time": "1013", "races": "3", "locksets-time": "1620", "deep-synchronized": "3", "potential-races": "3"}, "deep-synchronized_2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "10442", "pointer-analysis-time": "7604", "potential-races-time": "501", "deep-synchronized-time": "4408", "races": "41955", "bubble-up-time": "2894", "bubble-up": "42081", "app-level-synchronized": "41955", "locksets-time": "1837", "deep-synchronized": "3246", "potential-races": "3246"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "7679", "potential-races-time": "270", "races": "1", "bubble-up-time": "23", "bubble-up": "1", "locksets-time": "1605", "potential-races": "3"}}, "LuSearch": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "24080", "pointer-analysis-time": "14153", "potential-races-time": "1262", "races": "45136", "app-level-synchronized": "45136", "locksets-time": "19497", "potential-races": "45154"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "16105", "potential-races-time": "1221", "deep-synchronized-time": "26428", "races": "25924", "bubble-up-time": "1146", "bubble-up": "25924", "locksets-time": "19133", "deep-synchronized": "56650", "potential-races": "57090"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "14218", "pointer-analysis-time": "15062", "potential-races-time": "1087", "deep-synchronized-time": "14891", "races": "12021", "app-level-synchronized": "12021", "locksets-time": "18266", "deep-synchronized": "12021", "potential-races": "12030"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "39485", "pointer-analysis-time": "14036", "potential-races-time": "1258", "deep-synchronized-time": "40741", "races": "91151", "app-level-synchronized": "91151", "locksets-time": "19749", "deep-synchronized": "91151", "potential-races": "91182"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "15667", "potential-races-time": "1138", "deep-synchronized-time": "17043", "races": "9077", "bubble-up-time": "743", "bubble-up": "9077", "locksets-time": "20126", "deep-synchronized": "24351", "potential-races": "24645"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "14905", "potential-races-time": "1119", "deep-synchronized-time": "18654", "races": "33445", "locksets-time": "19028", "deep-synchronized": "33445", "potential-races": "33464"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "14980", "pointer-analysis-time": "15243", "potential-races-time": "999", "races": "12021", "app-level-synchronized": "12021", "locksets-time": "18308", "potential-races": "12030"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "15338", "pointer-analysis-time": "15949", "potential-races-time": "1139", "deep-synchronized-time": "16881", "races": "5049", "bubble-up-time": "718", "bubble-up": "9077", "app-level-synchronized": "5049", "locksets-time": "18757", "deep-synchronized": "24351", "potential-races": "24645"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "15088", "potential-races-time": "1197", "deep-synchronized-time": "28530", "races": "6030869", "bubble-up-time": "7154", "bubble-up": "6030869", "locksets-time": "23496", "deep-synchronized": "57619", "potential-races": "57926"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "17351", "pointer-analysis-time": "16220", "potential-races-time": "1193", "races": "18364", "bubble-up-time": "1262", "bubble-up": "25931", "app-level-synchronized": "18364", "locksets-time": "18646", "potential-races": "57090"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "15457", "potential-races-time": "1255", "races": "6030873", "bubble-up-time": "7774", "bubble-up": "6030873", "locksets-time": "22908", "potential-races": "57926"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "22609", "pointer-analysis-time": "14092", "potential-races-time": "1200", "deep-synchronized-time": "23668", "races": "45136", "app-level-synchronized": "45136", "locksets-time": "19816", "deep-synchronized": "45136", "potential-races": "45154"}, "bubble-up": {"pointer-analysis-time": "15085", "potential-races-time": "2016", "races": "6063447", "bubble-up-time": "8771", "bubble-up": "6063447", "locksets-time": "22914", "potential-races": "116056"}, "app-level-synchronized": {"app-level-synchronized-time": "40473", "pointer-analysis-time": "14052", "potential-races-time": "1260", "races": "91151", "app-level-synchronized": "91151", "locksets-time": "18872", "potential-races": "91182"}, "deep-synchronized": {"pointer-analysis-time": "14393", "potential-races-time": "1253", "deep-synchronized-time": "41333", "races": "91151", "locksets-time": "20161", "deep-synchronized": "91151", "potential-races": "91182"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "15137", "potential-races-time": "1335", "deep-synchronized-time": "53958", "races": "6063430", "bubble-up-time": "8208", "bubble-up": "6063430", "locksets-time": "23017", "deep-synchronized": "115594", "potential-races": "116056"}, "2-threads-model": {"pointer-analysis-time": "14020", "potential-races-time": "1226", "races": "45154", "locksets-time": "19728", "potential-races": "45154"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "15082", "pointer-analysis-time": "15771", "potential-races-time": "1131", "races": "5049", "bubble-up-time": "836", "bubble-up": "9081", "app-level-synchronized": "5049", "locksets-time": "20308", "potential-races": "24645"}, "known-safe-filtering": {"pointer-analysis-time": "14668", "potential-races-time": "932", "races": "33464", "locksets-time": "18939", "potential-races": "33464"}, "NONE": {"pointer-analysis-time": "14080", "potential-races-time": "1256", "races": "91182", "locksets-time": "20175", "potential-races": "91182"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "19556", "pointer-analysis-time": "15028", "potential-races-time": "1129", "races": "33445", "app-level-synchronized": "33445", "locksets-time": "17252", "potential-races": "33464"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "14068", "potential-races-time": "1173", "deep-synchronized-time": "24214", "races": "45136", "locksets-time": "20135", "deep-synchronized": "45136", "potential-races": "45154"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "17700", "pointer-analysis-time": "14827", "potential-races-time": "1137", "deep-synchronized-time": "18570", "races": "33445", "app-level-synchronized": "33445", "locksets-time": "17149", "deep-synchronized": "33445", "potential-races": "33464"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "16894", "pointer-analysis-time": "15783", "potential-races-time": "1191", "deep-synchronized-time": "24845", "races": "18364", "bubble-up-time": "1139", "bubble-up": "25924", "app-level-synchronized": "18364", "locksets-time": "19972", "deep-synchronized": "56650", "potential-races": "57090"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "15433", "potential-races-time": "1213", "races": "25931", "bubble-up-time": "1385", "bubble-up": "25931", "locksets-time": "20732", "potential-races": "57090"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "15068", "potential-races-time": "1104", "races": "12030", "locksets-time": "18891", "potential-races": "12030"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "14929", "potential-races-time": "1116", "deep-synchronized-time": "14928", "races": "12021", "locksets-time": "18457", "deep-synchronized": "12021", "potential-races": "12030"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "15553", "potential-races-time": "1136", "races": "9081", "bubble-up-time": "812", "bubble-up": "9081", "locksets-time": "21171", "potential-races": "24645"}}, "BH": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "1", "pointer-analysis-time": "15807", "potential-races-time": "73", "races": "0", "app-level-synchronized": "0", "locksets-time": "78", "potential-races": "0"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "18773", "potential-races-time": "78", "deep-synchronized-time": "44", "races": "81", "bubble-up-time": "21", "bubble-up": "81", "locksets-time": "75", "deep-synchronized": "81", "potential-races": "81"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "19242", "potential-races-time": "74", "deep-synchronized-time": "1", "races": "0", "app-level-synchronized": "0", "locksets-time": "75", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "36", "pointer-analysis-time": "14842", "potential-races-time": "81", "deep-synchronized-time": "47", "races": "81", "app-level-synchronized": "81", "locksets-time": "86", "deep-synchronized": "81", "potential-races": "81"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "18993", "potential-races-time": "70", "deep-synchronized-time": "0", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "locksets-time": "72", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "19088", "potential-races-time": "83", "deep-synchronized-time": "43", "races": "81", "locksets-time": "73", "deep-synchronized": "81", "potential-races": "81"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1", "pointer-analysis-time": "19235", "potential-races-time": "73", "races": "0", "app-level-synchronized": "0", "locksets-time": "72", "potential-races": "0"}, "app-level-synchronized_bubble-up": {"app-level-synchronized-time": "43", "pointer-analysis-time": "15975", "potential-races-time": "80", "races": "81", "bubble-up-time": "21", "bubble-up": "81", "app-level-synchronized": "81", "locksets-time": "80", "potential-races": "81"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "18712", "potential-races-time": "70", "deep-synchronized-time": "0", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "75", "deep-synchronized": "0", "potential-races": "0"}, "2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "1", "pointer-analysis-time": "15677", "potential-races-time": "74", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "75", "potential-races": "0"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "15842", "potential-races-time": "73", "deep-synchronized-time": "0", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "75", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "45", "pointer-analysis-time": "18974", "potential-races-time": "77", "races": "81", "bubble-up-time": "21", "bubble-up": "81", "app-level-synchronized": "81", "locksets-time": "81", "potential-races": "81"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "15712", "potential-races-time": "73", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "locksets-time": "79", "potential-races": "0"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "0", "pointer-analysis-time": "16834", "potential-races-time": "73", "deep-synchronized-time": "1", "races": "0", "app-level-synchronized": "0", "locksets-time": "75", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up": {"pointer-analysis-time": "15870", "potential-races-time": "82", "races": "81", "bubble-up-time": "21", "bubble-up": "81", "locksets-time": "78", "potential-races": "81"}, "app-level-synchronized": {"app-level-synchronized-time": "47", "pointer-analysis-time": "14995", "potential-races-time": "79", "races": "81", "app-level-synchronized": "81", "locksets-time": "78", "potential-races": "81"}, "deep-synchronized": {"pointer-analysis-time": "15579", "potential-races-time": "84", "deep-synchronized-time": "45", "races": "81", "locksets-time": "83", "deep-synchronized": "81", "potential-races": "81"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "15895", "potential-races-time": "81", "deep-synchronized-time": "44", "races": "81", "bubble-up-time": "20", "bubble-up": "81", "locksets-time": "84", "deep-synchronized": "81", "potential-races": "81"}, "2-threads-model": {"pointer-analysis-time": "14640", "potential-races-time": "71", "races": "0", "locksets-time": "78", "potential-races": "0"}, "deep-synchronized_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "33", "pointer-analysis-time": "17145", "potential-races-time": "81", "deep-synchronized-time": "43", "races": "81", "bubble-up-time": "20", "bubble-up": "81", "app-level-synchronized": "81", "locksets-time": "80", "deep-synchronized": "81", "potential-races": "81"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "20593", "potential-races-time": "73", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "74", "potential-races": "0"}, "known-safe-filtering": {"pointer-analysis-time": "20357", "potential-races-time": "82", "races": "81", "locksets-time": "76", "potential-races": "81"}, "NONE": {"pointer-analysis-time": "15369", "potential-races-time": "112", "races": "81", "locksets-time": "82", "potential-races": "81"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "45", "pointer-analysis-time": "19919", "potential-races-time": "80", "races": "81", "app-level-synchronized": "81", "locksets-time": "80", "potential-races": "81"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "16897", "potential-races-time": "75", "deep-synchronized-time": "1", "races": "0", "locksets-time": "78", "deep-synchronized": "0", "potential-races": "0"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "34", "pointer-analysis-time": "20393", "potential-races-time": "83", "deep-synchronized-time": "44", "races": "81", "app-level-synchronized": "81", "locksets-time": "76", "deep-synchronized": "81", "potential-races": "81"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "33", "pointer-analysis-time": "18598", "potential-races-time": "79", "deep-synchronized-time": "43", "races": "81", "bubble-up-time": "20", "bubble-up": "81", "app-level-synchronized": "81", "locksets-time": "75", "deep-synchronized": "81", "potential-races": "81"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "19302", "potential-races-time": "82", "races": "81", "bubble-up-time": "21", "bubble-up": "81", "locksets-time": "77", "potential-races": "81"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "18953", "potential-races-time": "70", "races": "0", "locksets-time": "74", "potential-races": "0"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "18709", "potential-races-time": "70", "deep-synchronized-time": "1", "races": "0", "locksets-time": "74", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "0", "pointer-analysis-time": "15697", "potential-races-time": "76", "deep-synchronized-time": "1", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "74", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "20349", "potential-races-time": "75", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "locksets-time": "77", "potential-races": "0"}}, "Coref": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "55900", "pointer-analysis-time": "19287", "potential-races-time": "1581", "races": "258673", "app-level-synchronized": "258673", "locksets-time": "8208", "potential-races": "258708"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "24520", "potential-races-time": "1522", "deep-synchronized-time": "37464", "races": "10174", "bubble-up-time": "901", "bubble-up": "10174", "locksets-time": "9164", "deep-synchronized": "272414", "potential-races": "272418"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "5477", "pointer-analysis-time": "23375", "potential-races-time": "717", "deep-synchronized-time": "5741", "races": "2370", "app-level-synchronized": "2370", "locksets-time": "9433", "deep-synchronized": "2370", "potential-races": "2372"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "117582", "pointer-analysis-time": "19992", "potential-races-time": "1127", "deep-synchronized-time": "119404", "races": "387246", "app-level-synchronized": "387246", "locksets-time": "7941", "deep-synchronized": "387246", "potential-races": "387428"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "24198", "potential-races-time": "825", "deep-synchronized-time": "14254", "races": "1092", "bubble-up-time": "384", "bubble-up": "1092", "locksets-time": "10052", "deep-synchronized": "130418", "potential-races": "130420"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "22950", "potential-races-time": "742", "deep-synchronized-time": "6898", "races": "11682", "locksets-time": "8690", "deep-synchronized": "11682", "potential-races": "11686"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "5606", "pointer-analysis-time": "23822", "potential-races-time": "647", "races": "2370", "app-level-synchronized": "2370", "locksets-time": "9017", "potential-races": "2372"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "5927", "pointer-analysis-time": "25219", "potential-races-time": "886", "deep-synchronized-time": "14121", "races": "1029", "bubble-up-time": "389", "bubble-up": "1092", "app-level-synchronized": "1029", "locksets-time": "9509", "deep-synchronized": "130418", "potential-races": "130420"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "21899", "potential-races-time": "1165", "deep-synchronized-time": "101549", "races": "13427602", "bubble-up-time": "49693", "bubble-up": "13427602", "locksets-time": "8484", "deep-synchronized": "416519", "potential-races": "416554"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "7204", "pointer-analysis-time": "24274", "potential-races-time": "871", "races": "5551", "bubble-up-time": "1003", "bubble-up": "10176", "app-level-synchronized": "5551", "locksets-time": "10003", "potential-races": "272418"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "22091", "potential-races-time": "1215", "races": "13427602", "bubble-up-time": "49877", "bubble-up": "13427602", "locksets-time": "8617", "potential-races": "416554"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "54805", "pointer-analysis-time": "19396", "potential-races-time": "1569", "deep-synchronized-time": "56453", "races": "258673", "app-level-synchronized": "258673", "locksets-time": "8044", "deep-synchronized": "258673", "potential-races": "258708"}, "bubble-up": {"pointer-analysis-time": "21995", "potential-races-time": "1272", "races": "13456697", "bubble-up-time": "55058", "bubble-up": "13456697", "locksets-time": "9166", "potential-races": "702917"}, "app-level-synchronized": {"app-level-synchronized-time": "119004", "pointer-analysis-time": "18962", "potential-races-time": "1073", "races": "387246", "app-level-synchronized": "387246", "locksets-time": "9157", "potential-races": "387428"}, "deep-synchronized": {"pointer-analysis-time": "19519", "potential-races-time": "1072", "deep-synchronized-time": "120097", "races": "387246", "locksets-time": "8369", "deep-synchronized": "387246", "potential-races": "387428"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "21811", "potential-races-time": "1341", "deep-synchronized-time": "239597", "races": "13456697", "bubble-up-time": "54645", "bubble-up": "13456697", "locksets-time": "9419", "deep-synchronized": "702735", "potential-races": "702917"}, "2-threads-model": {"pointer-analysis-time": "18974", "potential-races-time": "1044", "races": "258708", "locksets-time": "8574", "potential-races": "258708"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "6178", "pointer-analysis-time": "25248", "potential-races-time": "928", "races": "1029", "bubble-up-time": "461", "bubble-up": "1092", "app-level-synchronized": "1029", "locksets-time": "9428", "potential-races": "130420"}, "known-safe-filtering": {"pointer-analysis-time": "23285", "potential-races-time": "749", "races": "11686", "locksets-time": "9490", "potential-races": "11686"}, "NONE": {"pointer-analysis-time": "19291", "potential-races-time": "1067", "races": "387428", "locksets-time": "8131", "potential-races": "387428"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "6798", "pointer-analysis-time": "23096", "potential-races-time": "741", "races": "11682", "app-level-synchronized": "11682", "locksets-time": "8527", "potential-races": "11686"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "19354", "potential-races-time": "1020", "deep-synchronized-time": "57224", "races": "258673", "locksets-time": "8955", "deep-synchronized": "258673", "potential-races": "258708"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "6320", "pointer-analysis-time": "22810", "potential-races-time": "697", "deep-synchronized-time": "6784", "races": "11682", "app-level-synchronized": "11682", "locksets-time": "8310", "deep-synchronized": "11682", "potential-races": "11686"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "6555", "pointer-analysis-time": "24843", "potential-races-time": "960", "deep-synchronized-time": "37917", "races": "5550", "bubble-up-time": "899", "bubble-up": "10174", "app-level-synchronized": "5550", "locksets-time": "8979", "deep-synchronized": "272414", "potential-races": "272418"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "25002", "potential-races-time": "971", "races": "10176", "bubble-up-time": "987", "bubble-up": "10176", "locksets-time": "10043", "potential-races": "272418"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "23736", "potential-races-time": "707", "races": "2372", "locksets-time": "8659", "potential-races": "2372"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "23636", "potential-races-time": "707", "deep-synchronized-time": "6222", "races": "2370", "locksets-time": "8027", "deep-synchronized": "2370", "potential-races": "2372"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "25029", "potential-races-time": "927", "races": "1092", "bubble-up-time": "473", "bubble-up": "1092", "locksets-time": "9019", "potential-races": "130420"}}, "jUnit": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "3078", "pointer-analysis-time": "8488", "potential-races-time": "568", "races": "3095", "app-level-synchronized": "3095", "locksets-time": "2281", "potential-races": "3119"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7998", "potential-races-time": "243", "deep-synchronized-time": "1112", "races": "90", "bubble-up-time": "65", "bubble-up": "90", "locksets-time": "2244", "deep-synchronized": "22", "potential-races": "63"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "8086", "potential-races-time": "226", "deep-synchronized-time": "1317", "races": "0", "app-level-synchronized": "0", "locksets-time": "2296", "deep-synchronized": "0", "potential-races": "24"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "512", "pointer-analysis-time": "8466", "potential-races-time": "583", "deep-synchronized-time": "3491", "races": "3508", "app-level-synchronized": "3508", "locksets-time": "2344", "deep-synchronized": "3508", "potential-races": "3541"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7998", "potential-races-time": "237", "deep-synchronized-time": "1256", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "2376", "deep-synchronized": "0", "potential-races": "28"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "7933", "potential-races-time": "233", "deep-synchronized-time": "1286", "races": "23", "locksets-time": "2283", "deep-synchronized": "23", "potential-races": "59"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1215", "pointer-analysis-time": "8067", "potential-races-time": "235", "races": "0", "app-level-synchronized": "0", "locksets-time": "2212", "potential-races": "24"}, "app-level-synchronized_bubble-up": {"app-level-synchronized-time": "3851", "pointer-analysis-time": "8459", "potential-races-time": "603", "races": "17302", "bubble-up-time": "4254", "bubble-up": "17915", "app-level-synchronized": "17302", "locksets-time": "2451", "potential-races": "3545"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "8239", "potential-races-time": "249", "deep-synchronized-time": "1177", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "2311", "deep-synchronized": "0", "potential-races": "28"}, "2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "4019", "pointer-analysis-time": "8400", "potential-races-time": "574", "races": "17203", "bubble-up-time": "4281", "bubble-up": "17767", "app-level-synchronized": "17203", "locksets-time": "2416", "potential-races": "3123"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "8283", "potential-races-time": "569", "deep-synchronized-time": "3193", "races": "17763", "bubble-up-time": "1651", "bubble-up": "17763", "locksets-time": "2362", "deep-synchronized": "3095", "potential-races": "3123"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1040", "pointer-analysis-time": "8172", "potential-races-time": "246", "races": "63", "bubble-up-time": "78", "bubble-up": "96", "app-level-synchronized": "63", "locksets-time": "2181", "potential-races": "63"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "8535", "potential-races-time": "561", "races": "17767", "bubble-up-time": "5501", "bubble-up": "17767", "locksets-time": "2572", "potential-races": "3123"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "727", "pointer-analysis-time": "8387", "potential-races-time": "550", "deep-synchronized-time": "2962", "races": "3095", "app-level-synchronized": "3095", "locksets-time": "2431", "deep-synchronized": "3095", "potential-races": "3119"}, "bubble-up": {"pointer-analysis-time": "8508", "potential-races-time": "590", "races": "17915", "bubble-up-time": "4352", "bubble-up": "17915", "locksets-time": "2395", "potential-races": "3545"}, "app-level-synchronized": {"app-level-synchronized-time": "3354", "pointer-analysis-time": "8290", "potential-races-time": "565", "races": "3508", "app-level-synchronized": "3508", "locksets-time": "2420", "potential-races": "3541"}, "deep-synchronized": {"pointer-analysis-time": "8373", "potential-races-time": "570", "deep-synchronized-time": "3270", "races": "3508", "locksets-time": "2254", "deep-synchronized": "3508", "potential-races": "3541"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "8522", "potential-races-time": "511", "deep-synchronized-time": "3084", "races": "17906", "bubble-up-time": "1620", "bubble-up": "17906", "locksets-time": "2354", "deep-synchronized": "3507", "potential-races": "3545"}, "2-threads-model": {"pointer-analysis-time": "8327", "potential-races-time": "554", "races": "3119", "locksets-time": "2500", "potential-races": "3119"}, "deep-synchronized_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "3688", "pointer-analysis-time": "8430", "potential-races-time": "609", "deep-synchronized-time": "3224", "races": "17302", "bubble-up-time": "1527", "bubble-up": "17906", "app-level-synchronized": "17302", "locksets-time": "2164", "deep-synchronized": "3507", "potential-races": "3545"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1573", "pointer-analysis-time": "8280", "potential-races-time": "238", "races": "0", "bubble-up-time": "34", "bubble-up": "4", "app-level-synchronized": "0", "locksets-time": "2532", "potential-races": "28"}, "known-safe-filtering": {"pointer-analysis-time": "8202", "potential-races-time": "236", "races": "59", "locksets-time": "2229", "potential-races": "59"}, "NONE": {"pointer-analysis-time": "8505", "potential-races-time": "577", "races": "3541", "locksets-time": "2339", "potential-races": "3541"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1232", "pointer-analysis-time": "8104", "potential-races-time": "234", "races": "23", "app-level-synchronized": "23", "locksets-time": "2225", "potential-races": "59"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "8426", "potential-races-time": "580", "deep-synchronized-time": "2950", "races": "3095", "locksets-time": "2440", "deep-synchronized": "3095", "potential-races": "3119"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1054", "pointer-analysis-time": "8130", "potential-races-time": "240", "deep-synchronized-time": "1338", "races": "23", "app-level-synchronized": "23", "locksets-time": "2267", "deep-synchronized": "23", "potential-races": "59"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "802", "pointer-analysis-time": "8243", "potential-races-time": "246", "deep-synchronized-time": "1026", "races": "63", "bubble-up-time": "68", "bubble-up": "90", "app-level-synchronized": "63", "locksets-time": "2120", "deep-synchronized": "22", "potential-races": "63"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "8030", "potential-races-time": "247", "races": "96", "bubble-up-time": "88", "bubble-up": "96", "locksets-time": "2236", "potential-races": "63"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "8116", "potential-races-time": "235", "races": "24", "locksets-time": "2341", "potential-races": "24"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "8176", "potential-races-time": "234", "deep-synchronized-time": "1230", "races": "0", "locksets-time": "2224", "deep-synchronized": "0", "potential-races": "24"}, "deep-synchronized_2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "3865", "pointer-analysis-time": "8364", "potential-races-time": "572", "deep-synchronized-time": "2781", "races": "17203", "bubble-up-time": "2045", "bubble-up": "17763", "app-level-synchronized": "17203", "locksets-time": "2403", "deep-synchronized": "3095", "potential-races": "3123"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "8143", "potential-races-time": "243", "races": "4", "bubble-up-time": "37", "bubble-up": "4", "locksets-time": "2395", "potential-races": "28"}}, "EM3D": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "0", "pointer-analysis-time": "6585", "potential-races-time": "55", "races": "0", "app-level-synchronized": "0", "locksets-time": "46", "potential-races": "0"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "6933", "potential-races-time": "63", "deep-synchronized-time": "25", "races": "4", "bubble-up-time": "18", "bubble-up": "4", "locksets-time": "45", "deep-synchronized": "4", "potential-races": "4"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "0", "pointer-analysis-time": "6895", "potential-races-time": "57", "deep-synchronized-time": "1", "races": "0", "app-level-synchronized": "0", "locksets-time": "43", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "8", "pointer-analysis-time": "6587", "potential-races-time": "64", "deep-synchronized-time": "20", "races": "4", "app-level-synchronized": "4", "locksets-time": "46", "deep-synchronized": "4", "potential-races": "4"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "6906", "potential-races-time": "55", "deep-synchronized-time": "0", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "42", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "6889", "potential-races-time": "64", "deep-synchronized-time": "20", "races": "4", "locksets-time": "44", "deep-synchronized": "4", "potential-races": "4"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1", "pointer-analysis-time": "6910", "potential-races-time": "53", "races": "0", "app-level-synchronized": "0", "locksets-time": "40", "potential-races": "0"}, "app-level-synchronized_bubble-up": {"app-level-synchronized-time": "19", "pointer-analysis-time": "6901", "potential-races-time": "61", "races": "4", "bubble-up-time": "16", "bubble-up": "4", "app-level-synchronized": "4", "locksets-time": "45", "potential-races": "4"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "1", "pointer-analysis-time": "6822", "potential-races-time": "56", "deep-synchronized-time": "1", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "43", "deep-synchronized": "0", "potential-races": "0"}, "2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "1", "pointer-analysis-time": "6786", "potential-races-time": "53", "races": "0", "bubble-up-time": "4", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "43", "potential-races": "0"}, "deep-synchronized_2-threads-model_bubble-up": {"pointer-analysis-time": "6932", "potential-races-time": "55", "deep-synchronized-time": "1", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "47", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "19", "pointer-analysis-time": "6933", "potential-races-time": "60", "races": "4", "bubble-up-time": "15", "bubble-up": "4", "app-level-synchronized": "4", "locksets-time": "41", "potential-races": "4"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "6913", "potential-races-time": "55", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "43", "potential-races": "0"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "0", "pointer-analysis-time": "6938", "potential-races-time": "55", "deep-synchronized-time": "2", "races": "0", "app-level-synchronized": "0", "locksets-time": "45", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up": {"pointer-analysis-time": "6797", "potential-races-time": "59", "races": "4", "bubble-up-time": "15", "bubble-up": "4", "locksets-time": "42", "potential-races": "4"}, "app-level-synchronized": {"app-level-synchronized-time": "22", "pointer-analysis-time": "6984", "potential-races-time": "67", "races": "4", "app-level-synchronized": "4", "locksets-time": "47", "potential-races": "4"}, "deep-synchronized": {"pointer-analysis-time": "6910", "potential-races-time": "62", "deep-synchronized-time": "22", "races": "4", "locksets-time": "46", "deep-synchronized": "4", "potential-races": "4"}, "deep-synchronized_bubble-up": {"pointer-analysis-time": "6859", "potential-races-time": "62", "deep-synchronized-time": "21", "races": "4", "bubble-up-time": "17", "bubble-up": "4", "locksets-time": "45", "deep-synchronized": "4", "potential-races": "4"}, "2-threads-model": {"pointer-analysis-time": "6850", "potential-races-time": "55", "races": "0", "locksets-time": "48", "potential-races": "0"}, "deep-synchronized_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "9", "pointer-analysis-time": "6978", "potential-races-time": "61", "deep-synchronized-time": "22", "races": "4", "bubble-up-time": "17", "bubble-up": "4", "app-level-synchronized": "4", "locksets-time": "45", "deep-synchronized": "4", "potential-races": "4"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "1", "pointer-analysis-time": "6884", "potential-races-time": "55", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "45", "potential-races": "0"}, "known-safe-filtering": {"pointer-analysis-time": "6776", "potential-races-time": "64", "races": "4", "locksets-time": "42", "potential-races": "4"}, "NONE": {"pointer-analysis-time": "6916", "potential-races-time": "64", "races": "4", "locksets-time": "48", "potential-races": "4"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "21", "pointer-analysis-time": "6916", "potential-races-time": "65", "races": "4", "app-level-synchronized": "4", "locksets-time": "46", "potential-races": "4"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "6926", "potential-races-time": "58", "deep-synchronized-time": "1", "races": "0", "locksets-time": "47", "deep-synchronized": "0", "potential-races": "0"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "9", "pointer-analysis-time": "7099", "potential-races-time": "65", "deep-synchronized-time": "21", "races": "4", "app-level-synchronized": "4", "locksets-time": "42", "deep-synchronized": "4", "potential-races": "4"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "8", "pointer-analysis-time": "6821", "potential-races-time": "60", "deep-synchronized-time": "21", "races": "4", "bubble-up-time": "16", "bubble-up": "4", "app-level-synchronized": "4", "locksets-time": "40", "deep-synchronized": "4", "potential-races": "4"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "6700", "potential-races-time": "61", "races": "4", "bubble-up-time": "16", "bubble-up": "4", "locksets-time": "42", "potential-races": "4"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "6485", "potential-races-time": "53", "races": "0", "locksets-time": "40", "potential-races": "0"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "6898", "potential-races-time": "58", "deep-synchronized-time": "1", "races": "0", "locksets-time": "43", "deep-synchronized": "0", "potential-races": "0"}, "deep-synchronized_2-threads-model_app-level-synchronized_bubble-up": {"app-level-synchronized-time": "0", "pointer-analysis-time": "6650", "potential-races-time": "54", "deep-synchronized-time": "1", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "app-level-synchronized": "0", "locksets-time": "49", "deep-synchronized": "0", "potential-races": "0"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "6872", "potential-races-time": "55", "races": "0", "bubble-up-time": "5", "bubble-up": "0", "locksets-time": "42", "potential-races": "0"}}, "WEKA": {"2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "42627", "pointer-analysis-time": "17465", "potential-races-time": "1122", "races": "104356", "app-level-synchronized": "104356", "locksets-time": "16141", "potential-races": "104473"}, "bubble-up_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "33124", "potential-races-time": "2176", "deep-synchronized-time": "45426", "races": "16015", "bubble-up-time": "746", "bubble-up": "16015", "locksets-time": "45997", "deep-synchronized": "56248", "potential-races": "58142"}, "app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "13168", "pointer-analysis-time": "20632", "potential-races-time": "864", "deep-synchronized-time": "13309", "races": "1009", "app-level-synchronized": "1009", "locksets-time": "17412", "deep-synchronized": "1009", "potential-races": "1022"}, "deep-synchronized_app-level-synchronized": {"app-level-synchronized-time": "48464", "pointer-analysis-time": "19253", "potential-races-time": "1238", "deep-synchronized-time": "50869", "races": "118801", "app-level-synchronized": "118801", "locksets-time": "16854", "deep-synchronized": "118801", "potential-races": "118922"}, "bubble-up_2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "34713", "potential-races-time": "1135", "deep-synchronized-time": "42108", "races": "7328", "bubble-up-time": "394", "bubble-up": "7328", "locksets-time": "48467", "deep-synchronized": "28941", "potential-races": "30241"}, "deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "20306", "potential-races-time": "778", "deep-synchronized-time": "14336", "races": "8853", "locksets-time": "17624", "deep-synchronized": "8853", "potential-races": "8974"}, "app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "13236", "pointer-analysis-time": "33893", "potential-races-time": "668", "races": "1009", "app-level-synchronized": "1009", "locksets-time": "16919", "potential-races": "1022"}, "bubble-up_app-level-synchronized_2-threads-model_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "38018", "pointer-analysis-time": "33772", "potential-races-time": "1143", "deep-synchronized-time": "40595", "races": "3417", "bubble-up-time": "407", "bubble-up": "7328", "app-level-synchronized": "3417", "locksets-time": "46971", "deep-synchronized": "28941", "potential-races": "30241"}, "bubble-up_app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "40033", "pointer-analysis-time": "35248", "potential-races-time": "2177", "races": "9424", "bubble-up-time": "869", "bubble-up": "16025", "app-level-synchronized": "9424", "locksets-time": "46416", "potential-races": "58142"}, "2-threads-model_bubble-up": {"pointer-analysis-time": "27651", "potential-races-time": "1838", "races": "21562686", "bubble-up-time": "363376", "bubble-up": "21562686", "locksets-time": "70875", "potential-races": "1456608"}, "deep-synchronized_2-threads-model_app-level-synchronized": {"app-level-synchronized-time": "38891", "pointer-analysis-time": "17062", "potential-races-time": "1102", "deep-synchronized-time": "40038", "races": "104356", "app-level-synchronized": "104356", "locksets-time": "17647", "deep-synchronized": "104356", "potential-races": "104473"}, "bubble-up": {"pointer-analysis-time": "27923", "potential-races-time": "1881", "races": "21747123", "bubble-up-time": "408558", "bubble-up": "21747123", "locksets-time": "70061", "potential-races": "1607210"}, "app-level-synchronized": {"app-level-synchronized-time": "54654", "pointer-analysis-time": "17649", "potential-races-time": "1170", "races": "118801", "app-level-synchronized": "118801", "locksets-time": "16120", "potential-races": "118922"}, "deep-synchronized": {"pointer-analysis-time": "16595", "potential-races-time": "1165", "deep-synchronized-time": "52257", "races": "118801", "locksets-time": "16587", "deep-synchronized": "118801", "potential-races": "118922"}, "2-threads-model": {"pointer-analysis-time": "16980", "potential-races-time": "1873", "races": "104473", "locksets-time": "16002", "potential-races": "104473"}, "bubble-up_app-level-synchronized_2-threads-model_known-safe-filtering": {"app-level-synchronized-time": "39898", "pointer-analysis-time": "34317", "potential-races-time": "1088", "races": "3417", "bubble-up-time": "488", "bubble-up": "7328", "app-level-synchronized": "3417", "locksets-time": "48452", "potential-races": "30241"}, "known-safe-filtering": {"pointer-analysis-time": "20176", "potential-races-time": "781", "races": "8974", "locksets-time": "17107", "potential-races": "8974"}, "NONE": {"pointer-analysis-time": "17604", "potential-races-time": "1132", "races": "118922", "locksets-time": "15611", "potential-races": "118922"}, "app-level-synchronized_known-safe-filtering": {"app-level-synchronized-time": "14306", "pointer-analysis-time": "19978", "potential-races-time": "906", "races": "8853", "app-level-synchronized": "8853", "locksets-time": "17352", "potential-races": "8974"}, "deep-synchronized_2-threads-model": {"pointer-analysis-time": "19095", "potential-races-time": "1199", "deep-synchronized-time": "42739", "races": "104356", "locksets-time": "16345", "deep-synchronized": "104356", "potential-races": "104473"}, "app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "13469", "pointer-analysis-time": "20198", "potential-races-time": "791", "deep-synchronized-time": "14126", "races": "8853", "app-level-synchronized": "8853", "locksets-time": "17444", "deep-synchronized": "8853", "potential-races": "8974"}, "bubble-up_app-level-synchronized_deep-synchronized_known-safe-filtering": {"app-level-synchronized-time": "39552", "pointer-analysis-time": "34402", "potential-races-time": "1159", "deep-synchronized-time": "45649", "races": "9423", "bubble-up-time": "755", "bubble-up": "16015", "app-level-synchronized": "9423", "locksets-time": "47937", "deep-synchronized": "56248", "potential-races": "58142"}, "bubble-up_known-safe-filtering": {"pointer-analysis-time": "34230", "potential-races-time": "2040", "races": "16025", "bubble-up-time": "861", "bubble-up": "16025", "locksets-time": "47245", "potential-races": "58142"}, "2-threads-model_known-safe-filtering": {"pointer-analysis-time": "18119", "potential-races-time": "588", "races": "1022", "locksets-time": "16902", "potential-races": "1022"}, "2-threads-model_deep-synchronized_known-safe-filtering": {"pointer-analysis-time": "20222", "potential-races-time": "753", "deep-synchronized-time": "13189", "races": "1009", "locksets-time": "16935", "deep-synchronized": "1009", "potential-races": "1022"}, "bubble-up_2-threads-model_known-safe-filtering": {"pointer-analysis-time": "34318", "potential-races-time": "2055", "races": "7328", "bubble-up-time": "473", "bubble-up": "7328", "locksets-time": "48007", "potential-races": "30241"}}}