{ "version": 1, "seeds": "1–32, all retained; no selection", "modelSha256": "b687e43d52ed57165684662bef48c982b3cedcdac69fec333d6268ac6200a5ad", "batches": { "default": { "settings": {}, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.505723568576897, "before": 0.5610994486789447, "after": 0.4503476884748501, "coverage": 0.9713541666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8142495409278592, "before": 0.8376947112349292, "after": 0.7908043706207887, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.1404599700470338, "before": 0.1389493432124817, "after": 0.14197059688158595, "coverage": 1 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5151582987745288, "before": 0.48251475981894965, "after": 0.5478018377301078, "coverage": 0.9895833333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8227232509542708, "before": 0.7787308804346582, "after": 0.8667156214738829, "coverage": 0.8489583333333334 }, { "name": "random", "queries": 5120, "mean": 0.19779388546604237, "before": 0.19904552641473655, "after": 0.19654224451734797, "coverage": 1 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5159022920056338, "before": 0.5480462462787467, "after": 0.48375833773252114, "coverage": 0.984375 }, { "name": "solo", "queries": 5120, "mean": 0.8356463984907506, "before": 0.8246846350459004, "after": 0.8466081619356018, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.18326485412589322, "before": 0.1789401649374212, "after": 0.18758954331436534, "coverage": 1 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5234095863558158, "before": 0.5127862650826358, "after": 0.5340329076289961, "coverage": 0.9505208333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8240248953232392, "before": 0.7849040117777932, "after": 0.8631457788686854, "coverage": 0.8958333333333334 }, { "name": "random", "queries": 5120, "mean": 0.18561259772158786, "before": 0.1837612396043255, "after": 0.1874639558388502, "coverage": 1 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5215104332469271, "before": 0.5300780398527094, "after": 0.512942826641145, "coverage": 0.9635416666666666 }, { "name": "solo", "queries": 5120, "mean": 0.830170557610994, "before": 0.8449433780703725, "after": 0.8153977371516155, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.18826806582838065, "before": 0.1926928194636619, "after": 0.18384331219309955, "coverage": 1 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5180399548643261, "before": 0.56156906504983, "after": 0.4745108446788218, "coverage": 0.9635416666666666 }, { "name": "solo", "queries": 5120, "mean": 0.7862076999093517, "before": 0.7976105473377986, "after": 0.7748048524809052, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15859446018958243, "before": 0.16140991839734778, "after": 0.1557790019818172, "coverage": 1 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4745571726330434, "before": 0.5295775644761328, "after": 0.4195367807899542, "coverage": 0.9869791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.7716309223009469, "before": 0.787824340751595, "after": 0.7554375038502988, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.16715149467600382, "before": 0.16905186528352584, "after": 0.1652511240684818, "coverage": 1 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4978324918632073, "before": 0.5425152409213685, "after": 0.45314974280504583, "coverage": 0.9661458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8300859125462055, "before": 0.8077295077915053, "after": 0.8524423173009048, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.15753890949721988, "before": 0.1561787736191741, "after": 0.15889904537526556, "coverage": 1 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49123197691385495, "before": 0.5555012930113776, "after": 0.42696266081633294, "coverage": 0.9791666666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8185127931232874, "before": 0.8416879121899556, "after": 0.7953376740566186, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.11494823121825759, "before": 0.1110572830870749, "after": 0.11883917934944026, "coverage": 1 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49603032000536845, "before": 0.5097397425646529, "after": 0.4823208974460839, "coverage": 0.9791666666666666 }, { "name": "solo", "queries": 5120, "mean": 0.844368984143717, "before": 0.8341526851790935, "after": 0.8545852831083396, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.16472994350622266, "before": 0.16716005844975895, "after": 0.16229982856268618, "coverage": 1 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49601238551007143, "before": 0.5831443024950806, "after": 0.4088804685250623, "coverage": 0.9895833333333334 }, { "name": "solo", "queries": 5120, "mean": 0.7917919510555586, "before": 0.7644490480226886, "after": 0.819134854088429, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.13261783573884106, "before": 0.13232407420805303, "after": 0.13291159726962892, "coverage": 1 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.516618091925743, "before": 0.5309724141056946, "after": 0.5022637697457911, "coverage": 0.9765625 }, { "name": "solo", "queries": 5120, "mean": 0.8372807197530119, "before": 0.8442668330970555, "after": 0.830294606408968, "coverage": 0.8880208333333334 }, { "name": "random", "queries": 5120, "mean": 0.1773957772387298, "before": 0.17943798112005965, "after": 0.17535357335739993, "coverage": 1 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5303525067865767, "before": 0.5154800116523245, "after": 0.5452250019208291, "coverage": 0.9609375 }, { "name": "solo", "queries": 5120, "mean": 0.8461889424072307, "before": 0.8647937506082999, "after": 0.8275841342061607, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19804696511884992, "before": 0.20208512028536413, "after": 0.19400880995233577, "coverage": 1 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.47398466325785016, "before": 0.5059445278170254, "after": 0.4420247986986746, "coverage": 0.984375 }, { "name": "solo", "queries": 5120, "mean": 0.7911036930695293, "before": 0.8251654821594974, "after": 0.7570419039795618, "coverage": 0.8541666666666666 }, { "name": "random", "queries": 5120, "mean": 0.12933932205198467, "before": 0.1321843480671679, "after": 0.1264942960368013, "coverage": 1 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4952324194745293, "before": 0.5309584309672843, "after": 0.4595064079817742, "coverage": 0.96875 }, { "name": "solo", "queries": 5120, "mean": 0.8121939299282473, "before": 0.7983157150150608, "after": 0.8260721448414342, "coverage": 0.8932291666666666 }, { "name": "random", "queries": 5120, "mean": 0.15472712567570934, "before": 0.1578572779746862, "after": 0.1515969733767323, "coverage": 1 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4909306762334172, "before": 0.5580233436800074, "after": 0.42383800878682754, "coverage": 0.9791666666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8303158195392649, "before": 0.8033424348336782, "after": 0.857289204244851, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.16291198499519166, "before": 0.1626216769863869, "after": 0.16320229300399638, "coverage": 1 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.46770491217629806, "before": 0.5198396288813083, "after": 0.41557019547128815, "coverage": 0.9921875 }, { "name": "solo", "queries": 5120, "mean": 0.7960124429178903, "before": 0.7984324376075889, "after": 0.7935924482281914, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.15298743562099354, "before": 0.15548920845243133, "after": 0.1504856627895558, "coverage": 1 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4888796453092411, "before": 0.49721411085923445, "after": 0.4805451797592478, "coverage": 0.9869791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.7579847578478389, "before": 0.7401809164368244, "after": 0.7757885992588539, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.17697462734243966, "before": 0.1790369089238019, "after": 0.17491234576107756, "coverage": 1 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5744941967742775, "before": 0.5773472844475478, "after": 0.5716411091010067, "coverage": 0.9010416666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8224867008316339, "before": 0.8508215145682909, "after": 0.7941518870949771, "coverage": 0.8828125 }, { "name": "random", "queries": 5120, "mean": 0.19363671004611954, "before": 0.1935550537833701, "after": 0.19371836630886896, "coverage": 1 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4791445952222716, "before": 0.5358502624757977, "after": 0.42243892796874566, "coverage": 0.9739583333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8000404793935323, "before": 0.7868443540702148, "after": 0.8132366047168501, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15822661486043937, "before": 0.15567687039495567, "after": 0.16077635932592302, "coverage": 1 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.521395974728337, "before": 0.5767868559665209, "after": 0.4660050934901526, "coverage": 0.9765625 }, { "name": "solo", "queries": 5120, "mean": 0.8341379849349012, "before": 0.8115539473931355, "after": 0.8567220224766672, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.15701188712635655, "before": 0.15721054246462526, "after": 0.15681323178808793, "coverage": 1 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5324058922814808, "before": 0.5516382459500802, "after": 0.5131735386128818, "coverage": 0.953125 }, { "name": "solo", "queries": 5120, "mean": 0.8027493050697834, "before": 0.8064769309151953, "after": 0.7990216792243716, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.18828990921894137, "before": 0.17912691071222875, "after": 0.1974529077256542, "coverage": 1 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5300102440315133, "before": 0.5223082375443758, "after": 0.5377122505186507, "coverage": 0.9661458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8472620592026769, "before": 0.842677029221105, "after": 0.8518470891842485, "coverage": 0.8984375 }, { "name": "random", "queries": 5120, "mean": 0.193831139174664, "before": 0.19709442902504054, "after": 0.19056784932428739, "coverage": 1 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.489005984001848, "before": 0.5211299038232388, "after": 0.4568820641804575, "coverage": 0.9609375 }, { "name": "solo", "queries": 5120, "mean": 0.8231104939568205, "before": 0.778245720307416, "after": 0.8679752676062245, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.126833309108595, "before": 0.13179329016979316, "after": 0.12187332804739667, "coverage": 1 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49160696334872667, "before": 0.5328955430756064, "after": 0.45031838362184634, "coverage": 0.9765625 }, { "name": "solo", "queries": 5120, "mean": 0.8254704449805988, "before": 0.8184293629625394, "after": 0.832511526998658, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.12905763056417813, "before": 0.13099381607638166, "after": 0.12712144505197454, "coverage": 1 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49300790599130123, "before": 0.5216133345190987, "after": 0.46440247746350344, "coverage": 0.9895833333333334 }, { "name": "solo", "queries": 5120, "mean": 0.838570801987663, "before": 0.8027871055527595, "after": 0.8743544984225666, "coverage": 0.875 }, { "name": "random", "queries": 5120, "mean": 0.16205137907041797, "before": 0.16153418158209515, "after": 0.16256857655874085, "coverage": 1 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5025358652628676, "before": 0.5215732839300807, "after": 0.48349844659565344, "coverage": 0.96875 }, { "name": "solo", "queries": 5120, "mean": 0.787271274426891, "before": 0.771872845535129, "after": 0.802669703318653, "coverage": 0.8385416666666666 }, { "name": "random", "queries": 5120, "mean": 0.19048995359087656, "before": 0.18944290411553805, "after": 0.19153700306621516, "coverage": 1 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5030234133191389, "before": 0.5214657831823488, "after": 0.484581043455929, "coverage": 0.96875 }, { "name": "solo", "queries": 5120, "mean": 0.8272641751716134, "before": 0.8511170374320797, "after": 0.8034113129111473, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.1830708739575701, "before": 0.17924953391653142, "after": 0.18689221399860875, "coverage": 1 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.48438402115347606, "before": 0.5279316638278728, "after": 0.44083637847907864, "coverage": 0.9869791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.7758744181883717, "before": 0.7747254938692137, "after": 0.7770233425075304, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.1362671582101864, "before": 0.14321251229716228, "after": 0.12932180412321037, "coverage": 1 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5576046789612685, "before": 0.5418182447877998, "after": 0.5733911131347375, "coverage": 0.9348958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8011900197964975, "before": 0.7967435178424691, "after": 0.8056365217505267, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.19098816877375835, "before": 0.1909688676997639, "after": 0.1910074698477528, "coverage": 1 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5151195895293014, "before": 0.5582106626091762, "after": 0.4720285164494265, "coverage": 0.9817708333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8329424615882248, "before": 0.8210832261533676, "after": 0.8448016970230812, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.14356221142800943, "before": 0.1448657825254534, "after": 0.1422586403305653, "coverage": 1 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.49481860649920845, "before": 0.5548839550373525, "after": 0.43475325796106423, "coverage": 0.9817708333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8163841221760835, "before": 0.8641538215556132, "after": 0.7686144227965535, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.1428841681842697, "before": 0.1431071728790329, "after": 0.14266116348950647, "coverage": 1 } ] } ], "means": [ { "name": "swarm", "mean": 0.5058646664693234, "before": 0.5356393030428188, "after": 0.47609002989582777, "coverage": 0.9716796874999999 }, { "name": "solo", "mean": 0.8148514985485779, "before": 0.8111387854679006, "after": 0.8185642116292543, "coverage": 0.8680013020833333 }, { "name": "random", "mean": 0.16373639373041707, "before": 0.16428485800404477, "after": 0.1631879294567894, "coverage": 1 } ] }, "noSharing": { "settings": { "share": 0 }, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22478632770428802, "before": 0.2118660338602058, "after": 0.23770662154837016, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8142495409278592, "before": 0.8376947112349292, "after": 0.7908043706207887, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.1404599700470338, "before": 0.1389493432124817, "after": 0.14197059688158595, "coverage": 1 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2686998251800382, "before": 0.23808329687926205, "after": 0.29931635348081437, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8227232509542708, "before": 0.7787308804346582, "after": 0.8667156214738829, "coverage": 0.8489583333333334 }, { "name": "random", "queries": 5120, "mean": 0.19779388546604237, "before": 0.19904552641473655, "after": 0.19654224451734797, "coverage": 1 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.23030216963537636, "before": 0.22740691914380298, "after": 0.23319742012695, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8356463984907506, "before": 0.8246846350459004, "after": 0.8466081619356018, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.18326485412589322, "before": 0.1789401649374212, "after": 0.18758954331436534, "coverage": 1 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.24453306379154185, "before": 0.2426469486838089, "after": 0.24641917889927495, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8240248953232392, "before": 0.7849040117777932, "after": 0.8631457788686854, "coverage": 0.8958333333333334 }, { "name": "random", "queries": 5120, "mean": 0.18561259772158786, "before": 0.1837612396043255, "after": 0.1874639558388502, "coverage": 1 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.24139548458027416, "before": 0.25275502543697415, "after": 0.23003594372357425, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.830170557610994, "before": 0.8449433780703725, "after": 0.8153977371516155, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.18826806582838065, "before": 0.1926928194636619, "after": 0.18384331219309955, "coverage": 1 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22097819740018293, "before": 0.23458821092179463, "after": 0.20736818387857156, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7862076999093517, "before": 0.7976105473377986, "after": 0.7748048524809052, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15859446018958243, "before": 0.16140991839734778, "after": 0.1557790019818172, "coverage": 1 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.20607438615206058, "before": 0.2246901191582082, "after": 0.18745865314591306, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7716309223009469, "before": 0.787824340751595, "after": 0.7554375038502988, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.16715149467600382, "before": 0.16905186528352584, "after": 0.1652511240684818, "coverage": 1 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2260961039160742, "before": 0.2334689942479181, "after": 0.21872321358423066, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8300859125462055, "before": 0.8077295077915053, "after": 0.8524423173009048, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.15753890949721988, "before": 0.1561787736191741, "after": 0.15889904537526556, "coverage": 1 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.18085462126103977, "before": 0.20142121715999567, "after": 0.16028802536208378, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8185127931232874, "before": 0.8416879121899556, "after": 0.7953376740566186, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.11494823121825759, "before": 0.1110572830870749, "after": 0.11883917934944026, "coverage": 1 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2256063230777255, "before": 0.22301707250263147, "after": 0.22819557365281953, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.844368984143717, "before": 0.8341526851790935, "after": 0.8545852831083396, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.16472994350622266, "before": 0.16716005844975895, "after": 0.16229982856268618, "coverage": 1 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.20658502051109157, "before": 0.2272902694112132, "after": 0.18587977161097013, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7917919510555586, "before": 0.7644490480226886, "after": 0.819134854088429, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.13261783573884106, "before": 0.13232407420805303, "after": 0.13291159726962892, "coverage": 1 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22658325252245795, "before": 0.24604362783596137, "after": 0.2071228772089547, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8372807197530119, "before": 0.8442668330970555, "after": 0.830294606408968, "coverage": 0.8880208333333334 }, { "name": "random", "queries": 5120, "mean": 0.1773957772387298, "before": 0.17943798112005965, "after": 0.17535357335739993, "coverage": 1 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.24582025454165396, "before": 0.2288242169420315, "after": 0.2628162921412763, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8461889424072307, "before": 0.8647937506082999, "after": 0.8275841342061607, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19804696511884992, "before": 0.20208512028536413, "after": 0.19400880995233577, "coverage": 1 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.19239891626340128, "before": 0.21170671954793704, "after": 0.17309111297886554, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7911036930695293, "before": 0.8251654821594974, "after": 0.7570419039795618, "coverage": 0.8541666666666666 }, { "name": "random", "queries": 5120, "mean": 0.12933932205198467, "before": 0.1321843480671679, "after": 0.1264942960368013, "coverage": 1 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22812246052158955, "before": 0.20884758854698254, "after": 0.24739733249619653, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8121939299282473, "before": 0.7983157150150608, "after": 0.8260721448414342, "coverage": 0.8932291666666666 }, { "name": "random", "queries": 5120, "mean": 0.15472712567570934, "before": 0.1578572779746862, "after": 0.1515969733767323, "coverage": 1 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.26682913103744815, "before": 0.28367137144993093, "after": 0.2499868906249653, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8303158195392649, "before": 0.8033424348336782, "after": 0.857289204244851, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.16291198499519166, "before": 0.1626216769863869, "after": 0.16320229300399638, "coverage": 1 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22223756532030575, "before": 0.2373456405015922, "after": 0.20712949013901905, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7960124429178903, "before": 0.7984324376075889, "after": 0.7935924482281914, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.15298743562099354, "before": 0.15548920845243133, "after": 0.1504856627895558, "coverage": 1 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.23328371342942003, "before": 0.2240638523539115, "after": 0.2425035745049286, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.7579847578478389, "before": 0.7401809164368244, "after": 0.7757885992588539, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.17697462734243966, "before": 0.1790369089238019, "after": 0.17491234576107756, "coverage": 1 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2391847119040161, "before": 0.2346001108075965, "after": 0.24376931300043583, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8224867008316339, "before": 0.8508215145682909, "after": 0.7941518870949771, "coverage": 0.8828125 }, { "name": "random", "queries": 5120, "mean": 0.19363671004611954, "before": 0.1935550537833701, "after": 0.19371836630886896, "coverage": 1 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2367828677847152, "before": 0.2444162099811929, "after": 0.2291495255882376, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8000404793935323, "before": 0.7868443540702148, "after": 0.8132366047168501, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15822661486043937, "before": 0.15567687039495567, "after": 0.16077635932592302, "coverage": 1 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22888023429990212, "before": 0.21341569537797506, "after": 0.2443447732218293, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8341379849349012, "before": 0.8115539473931355, "after": 0.8567220224766672, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.15701188712635655, "before": 0.15721054246462526, "after": 0.15681323178808793, "coverage": 1 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.23407214382459313, "before": 0.24758253058375743, "after": 0.22056175706542885, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8027493050697834, "before": 0.8064769309151953, "after": 0.7990216792243716, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.18828990921894137, "before": 0.17912691071222875, "after": 0.1974529077256542, "coverage": 1 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.25001495447701816, "before": 0.2613243288873816, "after": 0.23870558006665452, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8472620592026769, "before": 0.842677029221105, "after": 0.8518470891842485, "coverage": 0.8984375 }, { "name": "random", "queries": 5120, "mean": 0.193831139174664, "before": 0.19709442902504054, "after": 0.19056784932428739, "coverage": 1 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.19337881233341747, "before": 0.19350436951742955, "after": 0.19325325514940533, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8231104939568205, "before": 0.778245720307416, "after": 0.8679752676062245, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.126833309108595, "before": 0.13179329016979316, "after": 0.12187332804739667, "coverage": 1 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.19694556260741378, "before": 0.19284745407684, "after": 0.20104367113798785, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8254704449805988, "before": 0.8184293629625394, "after": 0.832511526998658, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.12905763056417813, "before": 0.13099381607638166, "after": 0.12712144505197454, "coverage": 1 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.23676735436885257, "before": 0.25380735605890303, "after": 0.21972735267880208, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.838570801987663, "before": 0.8027871055527595, "after": 0.8743544984225666, "coverage": 0.875 }, { "name": "random", "queries": 5120, "mean": 0.16205137907041797, "before": 0.16153418158209515, "after": 0.16256857655874085, "coverage": 1 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.21230280020539527, "before": 0.22798924382085622, "after": 0.1966163565899342, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.787271274426891, "before": 0.771872845535129, "after": 0.802669703318653, "coverage": 0.8385416666666666 }, { "name": "random", "queries": 5120, "mean": 0.19048995359087656, "before": 0.18944290411553805, "after": 0.19153700306621516, "coverage": 1 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22337475477252147, "before": 0.21541444908820137, "after": 0.2313350604568416, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8272641751716134, "before": 0.8511170374320797, "after": 0.8034113129111473, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.1830708739575701, "before": 0.17924953391653142, "after": 0.18689221399860875, "coverage": 1 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.19872833799288786, "before": 0.23115983764701148, "after": 0.16629683833876405, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.7758744181883717, "before": 0.7747254938692137, "after": 0.7770233425075304, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.1362671582101864, "before": 0.14321251229716228, "after": 0.12932180412321037, "coverage": 1 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2444300084470902, "before": 0.23956334715631766, "after": 0.24929666973786246, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8011900197964975, "before": 0.7967435178424691, "after": 0.8056365217505267, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.19098816877375835, "before": 0.1909688676997639, "after": 0.1910074698477528, "coverage": 1 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2183463096694062, "before": 0.20922358795156693, "after": 0.22746903138724556, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8329424615882248, "before": 0.8210832261533676, "after": 0.8448016970230812, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.14356221142800943, "before": 0.1448657825254534, "after": 0.1422586403305653, "coverage": 1 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.22058458230187408, "before": 0.23928632706421568, "after": 0.20188283753953246, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.8163841221760835, "before": 0.8641538215556132, "after": 0.7686144227965535, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.1428841681842697, "before": 0.1431071728790329, "after": 0.14266116348950647, "coverage": 1 } ] } ], "means": [ { "name": "swarm", "mean": 0.2257806328698461, "before": 0.23005849914385648, "after": 0.22150276659583565, "coverage": 0.999755859375 }, { "name": "solo", "mean": 0.8148514985485779, "before": 0.8111387854679006, "after": 0.8185642116292543, "coverage": 0.8680013020833333 }, { "name": "random", "mean": 0.16373639373041707, "before": 0.16428485800404477, "after": 0.1631879294567894, "coverage": 1 } ] }, "noRelocation": { "settings": { "shift": false }, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.618691966302781, "before": 0.5610994486789447, "after": 0.6762844839266176, "coverage": 0.7916666666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8513355197306218, "before": 0.8376947112349292, "after": 0.864976328226315, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.1382536280055171, "before": 0.1389493432124817, "after": 0.13755791279855267, "coverage": 1 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5462925386194379, "before": 0.48251475981894965, "after": 0.6100703174199261, "coverage": 0.9401041666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8055709243442066, "before": 0.7787308804346582, "after": 0.8324109682537543, "coverage": 0.8489583333333334 }, { "name": "random", "queries": 5120, "mean": 0.19618718861771922, "before": 0.19904552641473655, "after": 0.193328850820702, "coverage": 1 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5815525449312742, "before": 0.5480462462787467, "after": 0.6150588435838016, "coverage": 0.8411458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8493330601897991, "before": 0.8246846350459004, "after": 0.8739814853336979, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.1765336330240074, "before": 0.1789401649374212, "after": 0.17412710111059354, "coverage": 1 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5748025843931416, "before": 0.5127862650826358, "after": 0.6368189037036471, "coverage": 0.8541666666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8281516489052654, "before": 0.7849040117777932, "after": 0.8713992860327375, "coverage": 0.8958333333333334 }, { "name": "random", "queries": 5120, "mean": 0.1859317403765334, "before": 0.1837612396043255, "after": 0.18810224114874127, "coverage": 1 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5649704096424017, "before": 0.5300780398527094, "after": 0.5998627794320939, "coverage": 0.9348958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8601015449854257, "before": 0.8449433780703725, "after": 0.8752597119004795, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.19467326102857702, "before": 0.1926928194636619, "after": 0.19665370259349207, "coverage": 1 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.60816989391496, "before": 0.56156906504983, "after": 0.6547707227800903, "coverage": 0.8359375 }, { "name": "solo", "queries": 5120, "mean": 0.8291559951471899, "before": 0.7976105473377986, "after": 0.8607014429565811, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.16048670672675644, "before": 0.16140991839734778, "after": 0.1595634950561649, "coverage": 1 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5886101284820897, "before": 0.5295775644761328, "after": 0.6476426924880461, "coverage": 0.8177083333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8282653991152429, "before": 0.787824340751595, "after": 0.8687064574788899, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.16693335079051422, "before": 0.16905186528352584, "after": 0.16481483629750263, "coverage": 1 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5974397058162249, "before": 0.5425152409213685, "after": 0.6523641707110812, "coverage": 0.8619791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8371523557249262, "before": 0.8077295077915053, "after": 0.8665752036583475, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.1562941049834004, "before": 0.1561787736191741, "after": 0.15640943634762686, "coverage": 1 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.6032743881583629, "before": 0.5555012930113776, "after": 0.6510474833053486, "coverage": 0.8203125 }, { "name": "solo", "queries": 5120, "mean": 0.85091988983389, "before": 0.8416879121899556, "after": 0.860151867477825, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.10986294622524448, "before": 0.1110572830870749, "after": 0.10866860936341408, "coverage": 1 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5748330594758339, "before": 0.5097397425646529, "after": 0.6399263763870144, "coverage": 0.8854166666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8536757960503433, "before": 0.8341526851790935, "after": 0.8731989069215935, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.16182417844110764, "before": 0.16716005844975895, "after": 0.1564882984324562, "coverage": 1 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.6012868023621047, "before": 0.5831443024950806, "after": 0.6194293022291285, "coverage": 0.8098958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8135837272478099, "before": 0.7644490480226886, "after": 0.862718406472931, "coverage": 0.8645833333333334 }, { "name": "random", "queries": 5120, "mean": 0.13829216510489578, "before": 0.13232407420805303, "after": 0.14426025600173825, "coverage": 1 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5769951950811973, "before": 0.5309724141056946, "after": 0.6230179760567003, "coverage": 0.9036458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8607329752198346, "before": 0.8442668330970555, "after": 0.8771991173426128, "coverage": 0.8880208333333334 }, { "name": "random", "queries": 5120, "mean": 0.18368996970610474, "before": 0.17943798112005965, "after": 0.18794195829214982, "coverage": 1 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5440243980067345, "before": 0.5154800116523245, "after": 0.5725687843611443, "coverage": 0.953125 }, { "name": "solo", "queries": 5120, "mean": 0.8757695061814619, "before": 0.8647937506082999, "after": 0.886745261754623, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19816679141327467, "before": 0.20208512028536413, "after": 0.19424846254118508, "coverage": 1 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5579442233841545, "before": 0.5059445278170254, "after": 0.6099439189512831, "coverage": 0.8177083333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8434879528729171, "before": 0.8251654821594974, "after": 0.8618104235863365, "coverage": 0.8541666666666666 }, { "name": "random", "queries": 5120, "mean": 0.13707655584471562, "before": 0.1321843480671679, "after": 0.14196876362226332, "coverage": 1 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5874517601412136, "before": 0.5309584309672843, "after": 0.6439450893151424, "coverage": 0.8411458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.837372935985176, "before": 0.7983157150150608, "after": 0.8764301569552908, "coverage": 0.8932291666666666 }, { "name": "random", "queries": 5120, "mean": 0.16014230606274857, "before": 0.1578572779746862, "after": 0.16242733415081115, "coverage": 1 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5792782336955715, "before": 0.5580233436800074, "after": 0.6005331237111362, "coverage": 0.8411458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8404923634358109, "before": 0.8033424348336782, "after": 0.8776422920379441, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.1674157844630731, "before": 0.1626216769863869, "after": 0.17220989193975922, "coverage": 1 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5685373273892942, "before": 0.5198396288813083, "after": 0.6172350258972805, "coverage": 0.875 }, { "name": "solo", "queries": 5120, "mean": 0.8025814670356362, "before": 0.7984324376075889, "after": 0.8067304964636831, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.16136293183165124, "before": 0.15548920845243133, "after": 0.1672366552108714, "coverage": 1 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5776335625063587, "before": 0.49721411085923445, "after": 0.6580530141534827, "coverage": 0.8619791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8094088912550313, "before": 0.7401809164368244, "after": 0.8786368660732397, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.17743608921302795, "before": 0.1790369089238019, "after": 0.17583526950225403, "coverage": 1 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5778241505278916, "before": 0.5773472844475478, "after": 0.5783010166082364, "coverage": 0.8880208333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8599301741950123, "before": 0.8508215145682909, "after": 0.8690388338217335, "coverage": 0.8828125 }, { "name": "random", "queries": 5120, "mean": 0.1930583052976267, "before": 0.1935550537833701, "after": 0.19256155681188356, "coverage": 1 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5896879085395371, "before": 0.5358502624757977, "after": 0.643525554603276, "coverage": 0.8203125 }, { "name": "solo", "queries": 5120, "mean": 0.794576775606634, "before": 0.7868443540702148, "after": 0.8023091971430537, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15621049009928634, "before": 0.15567687039495567, "after": 0.15674410980361703, "coverage": 1 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.6190925338673785, "before": 0.5767868559665209, "after": 0.6613982117682355, "coverage": 0.8046875 }, { "name": "solo", "queries": 5120, "mean": 0.8406556100788324, "before": 0.8115539473931355, "after": 0.8697572727645291, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.15688089203361208, "before": 0.15721054246462526, "after": 0.1565512416025988, "coverage": 1 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5880736123485957, "before": 0.5516382459500802, "after": 0.6245089787471112, "coverage": 0.8385416666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8459340271673638, "before": 0.8064769309151953, "after": 0.8853911234195324, "coverage": 0.8515625 }, { "name": "random", "queries": 5120, "mean": 0.18415673480449601, "before": 0.17912691071222875, "after": 0.1891865588967633, "coverage": 1 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5669804783650401, "before": 0.5223082375443758, "after": 0.6116527191857049, "coverage": 0.8984375 }, { "name": "solo", "queries": 5120, "mean": 0.856712674408656, "before": 0.842677029221105, "after": 0.8707483195962077, "coverage": 0.8984375 }, { "name": "random", "queries": 5120, "mean": 0.19436121099495268, "before": 0.19709442902504054, "after": 0.1916279929648645, "coverage": 1 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5825386673750778, "before": 0.5211299038232388, "after": 0.6439474309269175, "coverage": 0.8072916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.7903839082024307, "before": 0.778245720307416, "after": 0.8025220960974455, "coverage": 0.8463541666666666 }, { "name": "random", "queries": 5120, "mean": 0.13175476778319445, "before": 0.13179329016979316, "after": 0.13171624539659582, "coverage": 1 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5873995218414276, "before": 0.5328955430756064, "after": 0.6419035006072482, "coverage": 0.765625 }, { "name": "solo", "queries": 5120, "mean": 0.8439130999646471, "before": 0.8184293629625394, "after": 0.8693968369667541, "coverage": 0.8723958333333334 }, { "name": "random", "queries": 5120, "mean": 0.13160883393877498, "before": 0.13099381607638166, "after": 0.1322238518011682, "coverage": 1 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5750363563766319, "before": 0.5216133345190987, "after": 0.6284593782341646, "coverage": 0.8802083333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8411928812732443, "before": 0.8027871055527595, "after": 0.879598656993729, "coverage": 0.875 }, { "name": "random", "queries": 5120, "mean": 0.16272903240467346, "before": 0.16153418158209515, "after": 0.16392388322725177, "coverage": 1 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5561908360115378, "before": 0.5215732839300807, "after": 0.5908083880929949, "coverage": 0.9036458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8263301064564483, "before": 0.771872845535129, "after": 0.8807873673777685, "coverage": 0.8385416666666666 }, { "name": "random", "queries": 5120, "mean": 0.188423392073718, "before": 0.18944290411553805, "after": 0.18740388003189795, "coverage": 1 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5762856616809087, "before": 0.5214657831823488, "after": 0.6311055401794688, "coverage": 0.8411458333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8616737784912093, "before": 0.8511170374320797, "after": 0.8722305195503385, "coverage": 0.8567708333333334 }, { "name": "random", "queries": 5120, "mean": 0.1801105122681192, "before": 0.17924953391653142, "after": 0.18097149061970688, "coverage": 1 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5886518404929233, "before": 0.5279316638278728, "after": 0.6493720171579739, "coverage": 0.8046875 }, { "name": "solo", "queries": 5120, "mean": 0.8174472798550398, "before": 0.7747254938692137, "after": 0.8601690658408657, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.14440268007602508, "before": 0.14321251229716228, "after": 0.14559284785488805, "coverage": 1 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5747133935334484, "before": 0.5418182447877998, "after": 0.6076085422790968, "coverage": 0.8802083333333334 }, { "name": "solo", "queries": 5120, "mean": 0.8338211198421952, "before": 0.7967435178424691, "after": 0.8708987218419209, "coverage": 0.8671875 }, { "name": "random", "queries": 5120, "mean": 0.19435784394769956, "before": 0.1909688676997639, "after": 0.19774682019563522, "coverage": 1 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.6115379784200957, "before": 0.5582106626091762, "after": 0.6648652942310149, "coverage": 0.7369791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.8445228164251178, "before": 0.8210832261533676, "after": 0.8679624066968685, "coverage": 0.8802083333333334 }, { "name": "random", "queries": 5120, "mean": 0.1485689352150555, "before": 0.1448657825254534, "after": 0.1522720879046576, "coverage": 1 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.5943933162707921, "before": 0.5548839550373525, "after": 0.6339026775042316, "coverage": 0.8333333333333334 }, { "name": "solo", "queries": 5120, "mean": 0.867556578606108, "before": 0.8641538215556132, "after": 0.8709593356566042, "coverage": 0.8697916666666666 }, { "name": "random", "queries": 5120, "mean": 0.14314996266803554, "before": 0.1431071728790329, "after": 0.1431927524570381, "coverage": 1 } ] } ], "means": [ { "name": "swarm", "mean": 0.5825060930610757, "before": 0.5356393030428188, "after": 0.6293728830793323, "coverage": 0.8496907552083333 }, { "name": "solo", "mean": 0.8375544619947978, "before": 0.8111387854679006, "after": 0.8639701385216946, "coverage": 0.8680013020833333 }, { "name": "random", "mean": 0.16501052892075432, "before": 0.16428485800404477, "after": 0.16573619983746393, "coverage": 1 } ] }, "highExploration": { "settings": { "explore": 0.5 }, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.35757292035096844, "before": 0.4126829264504881, "after": 0.3024629142514485, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5662174153251079, "before": 0.5581652388713543, "after": 0.5742695917788617, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.1404599700470338, "before": 0.1389493432124817, "after": 0.14197059688158595, "coverage": 1 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4132405009631853, "before": 0.3925117255611211, "after": 0.43396927636524907, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5873429486895161, "before": 0.585193089738571, "after": 0.5894928076404617, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19779388546604237, "before": 0.19904552641473655, "after": 0.19654224451734797, "coverage": 1 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3467508048496458, "before": 0.3699950062439109, "after": 0.3235066034553807, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5843019252965426, "before": 0.5774311970237168, "after": 0.5911726535693677, "coverage": 0.9947916666666666 }, { "name": "random", "queries": 5120, "mean": 0.18326485412589322, "before": 0.1789401649374212, "after": 0.18758954331436534, "coverage": 1 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.36942345934479304, "before": 0.38536339780855516, "after": 0.3534835208810315, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5656135416559339, "before": 0.5595148889124129, "after": 0.5717121943994552, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.18561259772158786, "before": 0.1837612396043255, "after": 0.1874639558388502, "coverage": 1 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.37144830335535073, "before": 0.34990902704367555, "after": 0.39298757966702613, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5870025615719078, "before": 0.5901797172718033, "after": 0.5838254058720116, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.18826806582838065, "before": 0.1926928194636619, "after": 0.18384331219309955, "coverage": 1 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.32466281507643646, "before": 0.3808869000993397, "after": 0.26843873005353314, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5709934433678296, "before": 0.5657962962945878, "after": 0.5761905904410712, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.15859446018958243, "before": 0.16140991839734778, "after": 0.1557790019818172, "coverage": 1 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3127616908165811, "before": 0.3858535917361977, "after": 0.23966978989696486, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5520646432546702, "before": 0.5475593510116193, "after": 0.5565699354977214, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.16715149467600382, "before": 0.16905186528352584, "after": 0.1652511240684818, "coverage": 1 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.32156760783201044, "before": 0.3880976844024069, "after": 0.2550375312616139, "coverage": 0.9921875 }, { "name": "solo", "queries": 5120, "mean": 0.5651518352147913, "before": 0.5540553406398421, "after": 0.5762483297897406, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.15753890949721988, "before": 0.1561787736191741, "after": 0.15889904537526556, "coverage": 1 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.2843591757406308, "before": 0.33308189387554915, "after": 0.23563645760571253, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5409780402110007, "before": 0.5397653092019439, "after": 0.542190771220058, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.11494823121825759, "before": 0.1110572830870749, "after": 0.11883917934944026, "coverage": 1 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3538091479088139, "before": 0.401989574704566, "after": 0.3056287211130619, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5751245557425034, "before": 0.5857096866357422, "after": 0.5645394248492649, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.16472994350622266, "before": 0.16716005844975895, "after": 0.16229982856268618, "coverage": 1 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3549513000296229, "before": 0.3559078616018963, "after": 0.3539947384573495, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5556538010593554, "before": 0.5543469021323612, "after": 0.5569606999863493, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.13261783573884106, "before": 0.13232407420805303, "after": 0.13291159726962892, "coverage": 1 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.36513407260434355, "before": 0.40501068384521677, "after": 0.3252574613634706, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.576319078735752, "before": 0.5809297858193805, "after": 0.5717083716521236, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.1773957772387298, "before": 0.17943798112005965, "after": 0.17535357335739993, "coverage": 1 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.4522260208600956, "before": 0.4422609225819586, "after": 0.4621911191382327, "coverage": 0.9765625 }, { "name": "solo", "queries": 5120, "mean": 0.5874814979216005, "before": 0.5936796712724052, "after": 0.5812833245707953, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19804696511884992, "before": 0.20208512028536413, "after": 0.19400880995233577, "coverage": 1 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.29994065790543634, "before": 0.3512151024073438, "after": 0.2486662134035285, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5470547211016387, "before": 0.5497362055968912, "after": 0.544373236606386, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.12933932205198467, "before": 0.1321843480671679, "after": 0.1264942960368013, "coverage": 1 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.34195849563120817, "before": 0.4412086086922032, "after": 0.24270838257021338, "coverage": 0.9921875 }, { "name": "solo", "queries": 5120, "mean": 0.5644232723345981, "before": 0.5594374806042464, "after": 0.5694090640649495, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.15472712567570934, "before": 0.1578572779746862, "after": 0.1515969733767323, "coverage": 1 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3757261535935171, "before": 0.42510052810372534, "after": 0.32635177908330937, "coverage": 0.9739583333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5785199778224054, "before": 0.5833701332941559, "after": 0.573669822350655, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.16291198499519166, "before": 0.1626216769863869, "after": 0.16320229300399638, "coverage": 1 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3302205560132622, "before": 0.3737690100081898, "after": 0.2866721020183346, "coverage": 0.9869791666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5699975772391863, "before": 0.5704114743593657, "after": 0.5695836801190066, "coverage": 0.9921875 }, { "name": "random", "queries": 5120, "mean": 0.15298743562099354, "before": 0.15548920845243133, "after": 0.1504856627895558, "coverage": 1 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.34411522947646883, "before": 0.34413884898201036, "after": 0.34409160997092775, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5720766968080768, "before": 0.5601896898122737, "after": 0.5839637038038795, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.17697462734243966, "before": 0.1790369089238019, "after": 0.17491234576107756, "coverage": 1 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.44496779679133025, "before": 0.4465474947004184, "after": 0.4433880988822422, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5852939117617924, "before": 0.5920248407349415, "after": 0.5785629827886434, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.19363671004611954, "before": 0.1935550537833701, "after": 0.19371836630886896, "coverage": 1 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3523149397037234, "before": 0.34843688225814845, "after": 0.3561929971492982, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5630538035960344, "before": 0.5690097535702627, "after": 0.5570978536218061, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.15822661486043937, "before": 0.15567687039495567, "after": 0.16077635932592302, "coverage": 1 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.31526374510985455, "before": 0.34480651402723245, "after": 0.2857209761924763, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5723992418512381, "before": 0.5772029319039859, "after": 0.5675955517984905, "coverage": 0.9947916666666666 }, { "name": "random", "queries": 5120, "mean": 0.15701188712635655, "before": 0.15721054246462526, "after": 0.15681323178808793, "coverage": 1 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3723148810225768, "before": 0.43629256438859915, "after": 0.3083371976565551, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5777905496786488, "before": 0.5845931644860964, "after": 0.5709879348712013, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.18828990921894137, "before": 0.17912691071222875, "after": 0.1974529077256542, "coverage": 1 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.38955417459514924, "before": 0.37678602164050984, "after": 0.40232232754978836, "coverage": 0.9921875 }, { "name": "solo", "queries": 5120, "mean": 0.5791355082156634, "before": 0.5733047560935749, "after": 0.5849662603377518, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.193831139174664, "before": 0.19709442902504054, "after": 0.19056784932428739, "coverage": 1 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.30976227307618276, "before": 0.3763313681208964, "after": 0.24319317803146906, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5407698517353692, "before": 0.5507387915004827, "after": 0.5308009119702555, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.126833309108595, "before": 0.13179329016979316, "after": 0.12187332804739667, "coverage": 1 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.34036079622252496, "before": 0.391458318421515, "after": 0.2892632740235349, "coverage": 0.9921875 }, { "name": "solo", "queries": 5120, "mean": 0.5537247479230409, "before": 0.5596231772134247, "after": 0.5478263186326571, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.12905763056417813, "before": 0.13099381607638166, "after": 0.12712144505197454, "coverage": 1 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3123932240839797, "before": 0.38230249652607, "after": 0.24248395164188943, "coverage": 1 }, { "name": "solo", "queries": 5120, "mean": 0.5787285257729502, "before": 0.5669502815085254, "after": 0.590506770037375, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.16205137907041797, "before": 0.16153418158209515, "after": 0.16256857655874085, "coverage": 1 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3893174173365375, "before": 0.40469291203601976, "after": 0.373941922637055, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5847567123255828, "before": 0.5908697667389061, "after": 0.5786436579122592, "coverage": 0.9947916666666666 }, { "name": "random", "queries": 5120, "mean": 0.19048995359087656, "before": 0.18944290411553805, "after": 0.19153700306621516, "coverage": 1 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.37929328291285713, "before": 0.43101821912250904, "after": 0.3275683467032056, "coverage": 0.9713541666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5923918203854488, "before": 0.5864648271526393, "after": 0.5983188136182579, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.1830708739575701, "before": 0.17924953391653142, "after": 0.18689221399860875, "coverage": 1 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.34193253279713026, "before": 0.38771104216651786, "after": 0.2961540234277428, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5535275959362685, "before": 0.5555612129791005, "after": 0.551493978893436, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.1362671582101864, "before": 0.14321251229716228, "after": 0.12932180412321037, "coverage": 1 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.43150578358305064, "before": 0.4300756970677636, "after": 0.4329358700983378, "coverage": 0.9817708333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5786216606792564, "before": 0.5901855977661602, "after": 0.5670577235923521, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 5120, "mean": 0.19098816877375835, "before": 0.1909688676997639, "after": 0.1910074698477528, "coverage": 1 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3058498185322819, "before": 0.32369506788715346, "after": 0.2880045691774101, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 5120, "mean": 0.5653045253764695, "before": 0.5731058580286417, "after": 0.5575031927242973, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.14356221142800943, "before": 0.1448657825254534, "after": 0.1422586403305653, "coverage": 1 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 5120, "mean": 0.3685578177359215, "before": 0.4157060573200194, "after": 0.3214095781518239, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 5120, "mean": 0.5785271576213037, "before": 0.5761820359176376, "after": 0.5808722793249691, "coverage": 1 }, { "name": "random", "queries": 5120, "mean": 0.1428841681842697, "before": 0.1431071728790329, "after": 0.14266116348950647, "coverage": 1 } ] } ], "means": [ { "name": "swarm", "mean": 0.3554142936204834, "before": 0.3885888734322414, "after": 0.3222397138087255, "coverage": 0.9938964843750002 }, { "name": "solo", "mean": 0.5703232233191089, "before": 0.5706652641902205, "after": 0.5699811824479972, "coverage": 0.9983723958333333 }, { "name": "random", "mean": 0.16373639373041707, "before": 0.16428485800404477, "after": 0.1631879294567894, "coverage": 1 } ] }, "eightWalkers": { "settings": { "agents": 8 }, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3711200598720738, "before": 0.36134276612268007, "after": 0.3808973536214677, "coverage": 0.7630208333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7810831802417921, "before": 0.755538863899213, "after": 0.8066274965843737, "coverage": 0.3671875 }, { "name": "random", "queries": 1280, "mean": 0.1426617447944766, "before": 0.13270633729477896, "after": 0.15261715229417427, "coverage": 0.953125 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3904315410935715, "before": 0.39001704280511695, "after": 0.3908460393820261, "coverage": 0.6796875 }, { "name": "solo", "queries": 1280, "mean": 0.6860700627521128, "before": 0.667575753731732, "after": 0.7045643717724946, "coverage": 0.3671875 }, { "name": "random", "queries": 1280, "mean": 0.20044213591022747, "before": 0.20425628850559777, "after": 0.19662798331485712, "coverage": 0.9765625 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3991833843683894, "before": 0.3589748934171336, "after": 0.43939187531964513, "coverage": 0.5625 }, { "name": "solo", "queries": 1280, "mean": 0.7204698862422243, "before": 0.720384827512893, "after": 0.7205549449715561, "coverage": 0.375 }, { "name": "random", "queries": 1280, "mean": 0.17922925217632782, "before": 0.17203759694232001, "after": 0.18642090741033573, "coverage": 0.953125 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3790357765972424, "before": 0.37158465049642514, "after": 0.38648690269805935, "coverage": 0.7161458333333334 }, { "name": "solo", "queries": 1280, "mean": 0.6245029901491844, "before": 0.647417748790635, "after": 0.6015882315077349, "coverage": 0.4375 }, { "name": "random", "queries": 1280, "mean": 0.17412084596173782, "before": 0.18520675546351523, "after": 0.16303493645996067, "coverage": 0.9765625 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.44789022664765854, "before": 0.4510022388591962, "after": 0.4447782144361209, "coverage": 0.7395833333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7356365088252341, "before": 0.7719315789674508, "after": 0.6993414386830192, "coverage": 0.4140625 }, { "name": "random", "queries": 1280, "mean": 0.2006841512714014, "before": 0.21481061613173164, "after": 0.186557686411071, "coverage": 0.9635416666666666 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.30515974029988746, "before": 0.32694919689742036, "after": 0.28337028370235456, "coverage": 0.8020833333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7884691432514928, "before": 0.7725310171823125, "after": 0.8044072693206751, "coverage": 0.4036458333333333 }, { "name": "random", "queries": 1280, "mean": 0.15905774193501934, "before": 0.16148288004844724, "after": 0.15663260382159155, "coverage": 0.9635416666666666 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3031124858563334, "before": 0.36306556595863065, "after": 0.24315940575403575, "coverage": 0.8072916666666666 }, { "name": "solo", "queries": 1280, "mean": 0.7278145688023995, "before": 0.7036289290618611, "after": 0.7520002085429395, "coverage": 0.390625 }, { "name": "random", "queries": 1280, "mean": 0.16342895608984184, "before": 0.17063058357843117, "after": 0.15622732860125238, "coverage": 0.9609375 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3523093253801432, "before": 0.5479299246280428, "after": 0.15668872613224333, "coverage": 0.5989583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7834881314660103, "before": 0.7084518989811645, "after": 0.8585243639508565, "coverage": 0.4244791666666667 }, { "name": "random", "queries": 1280, "mean": 0.15905693248921432, "before": 0.16030694597162876, "after": 0.1578069190067999, "coverage": 0.9713541666666666 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3608470336631968, "before": 0.4276420979159881, "after": 0.29405196941040596, "coverage": 0.7291666666666666 }, { "name": "solo", "queries": 1280, "mean": 0.746590083158239, "before": 0.799949423876968, "after": 0.6932307424395112, "coverage": 0.3619791666666667 }, { "name": "random", "queries": 1280, "mean": 0.10944672221050507, "before": 0.10265445194986975, "after": 0.11623899247114029, "coverage": 0.9739583333333334 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3536453340266433, "before": 0.4212360123013779, "after": 0.2860546557519085, "coverage": 0.734375 }, { "name": "solo", "queries": 1280, "mean": 0.7339240428200144, "before": 0.7314760340790538, "after": 0.7363720515609762, "coverage": 0.4192708333333333 }, { "name": "random", "queries": 1280, "mean": 0.15111865807578836, "before": 0.16159719332812456, "after": 0.14064012282345223, "coverage": 0.9557291666666666 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.39664110209417486, "before": 0.3966031990133553, "after": 0.3966790051749942, "coverage": 0.7239583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.6555603121549602, "before": 0.6427438877570812, "after": 0.6683767365528401, "coverage": 0.4114583333333333 }, { "name": "random", "queries": 1280, "mean": 0.12590018781342935, "before": 0.12470572165175135, "after": 0.1270946539751071, "coverage": 0.9609375 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3844514763971097, "before": 0.46845494245939223, "after": 0.3004480103348267, "coverage": 0.6614583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.6891109487425346, "before": 0.7841294600695659, "after": 0.5940924374155032, "coverage": 0.3932291666666667 }, { "name": "random", "queries": 1280, "mean": 0.18659747284321726, "before": 0.18042767174370195, "after": 0.19276727394273263, "coverage": 0.9765625 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.45421009887957886, "before": 0.34350898245723593, "after": 0.5649112153019218, "coverage": 0.7135416666666666 }, { "name": "solo", "queries": 1280, "mean": 0.8116920150721614, "before": 0.8148984461682229, "after": 0.8084855839760994, "coverage": 0.4088541666666667 }, { "name": "random", "queries": 1280, "mean": 0.19201617964480377, "before": 0.1972647324469571, "after": 0.1867676268426501, "coverage": 0.984375 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.2926756835535281, "before": 0.37019538491168397, "after": 0.2151559821953723, "coverage": 0.7864583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.79959560602374, "before": 0.7749696198800937, "after": 0.8242215921673879, "coverage": 0.3567708333333333 }, { "name": "random", "queries": 1280, "mean": 0.12954368644924708, "before": 0.131114414309752, "after": 0.12797295858874225, "coverage": 0.9713541666666666 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.39693014848314084, "before": 0.438484562340241, "after": 0.35537573462604094, "coverage": 0.7421875 }, { "name": "solo", "queries": 1280, "mean": 0.7326621036245681, "before": 0.7242148572028863, "after": 0.7411093500462507, "coverage": 0.4479166666666667 }, { "name": "random", "queries": 1280, "mean": 0.16589705955142509, "before": 0.16707927559484784, "after": 0.16471484350800233, "coverage": 0.9661458333333334 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.4313900419033536, "before": 0.45429240092608036, "after": 0.40848768288062703, "coverage": 0.7526041666666666 }, { "name": "solo", "queries": 1280, "mean": 0.7172400188826995, "before": 0.663327283958467, "after": 0.7711527538069326, "coverage": 0.3828125 }, { "name": "random", "queries": 1280, "mean": 0.1554923108690626, "before": 0.15180051511914316, "after": 0.1591841066189819, "coverage": 0.9765625 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.36700474593084376, "before": 0.4611894827135804, "after": 0.2728200091481076, "coverage": 0.7734375 }, { "name": "solo", "queries": 1280, "mean": 0.8170087373865981, "before": 0.7767063014961806, "after": 0.8573111732770158, "coverage": 0.359375 }, { "name": "random", "queries": 1280, "mean": 0.15085120822786374, "before": 0.150242355202339, "after": 0.1514600612533884, "coverage": 0.9661458333333334 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3461566456331055, "before": 0.3596367333547931, "after": 0.33267655791141776, "coverage": 0.75 }, { "name": "solo", "queries": 1280, "mean": 0.5731919995525556, "before": 0.504399366785014, "after": 0.6419846323200982, "coverage": 0.3880208333333333 }, { "name": "random", "queries": 1280, "mean": 0.17827591174642568, "before": 0.1838839292518339, "after": 0.17266789424101758, "coverage": 0.9791666666666666 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.45950973123469324, "before": 0.4401167046871228, "after": 0.47890275778226393, "coverage": 0.6458333333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7779456331707016, "before": 0.741181823423429, "after": 0.8147094429179761, "coverage": 0.375 }, { "name": "random", "queries": 1280, "mean": 0.17808117952855404, "before": 0.16899443777377804, "after": 0.18716792128332999, "coverage": 0.9739583333333334 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3677761205236463, "before": 0.4922927255269979, "after": 0.24325951552029484, "coverage": 0.7682291666666666 }, { "name": "solo", "queries": 1280, "mean": 0.7321886420255526, "before": 0.7516171394233065, "after": 0.712760144627799, "coverage": 0.3984375 }, { "name": "random", "queries": 1280, "mean": 0.16282760665162396, "before": 0.16025460814562273, "after": 0.1654006051576253, "coverage": 0.953125 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3495389943189896, "before": 0.3758809771305146, "after": 0.3231970115074647, "coverage": 0.734375 }, { "name": "solo", "queries": 1280, "mean": 0.7718426745064695, "before": 0.748673398782242, "after": 0.7950119502306985, "coverage": 0.3880208333333333 }, { "name": "random", "queries": 1280, "mean": 0.14788807238899987, "before": 0.14565513906727862, "after": 0.15012100571072096, "coverage": 0.96875 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.38313403642570804, "before": 0.4559329940713058, "after": 0.3103350787801103, "coverage": 0.7109375 }, { "name": "solo", "queries": 1280, "mean": 0.7425682847006145, "before": 0.6415114372912074, "after": 0.8436251321100217, "coverage": 0.4166666666666667 }, { "name": "random", "queries": 1280, "mean": 0.18547514587657468, "before": 0.17428580571800414, "after": 0.19666448603514516, "coverage": 0.96875 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3713418735926791, "before": 0.36090140204350524, "after": 0.3817823451418537, "coverage": 0.7526041666666666 }, { "name": "solo", "queries": 1280, "mean": 0.7830249626256083, "before": 0.7660564455181196, "after": 0.7999934797330985, "coverage": 0.3984375 }, { "name": "random", "queries": 1280, "mean": 0.1970903199999702, "before": 0.20108521953236233, "after": 0.19309542046757824, "coverage": 0.9583333333333334 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.29975166387580243, "before": 0.27555869274966477, "after": 0.3239446350019402, "coverage": 0.7916666666666666 }, { "name": "solo", "queries": 1280, "mean": 0.7269690825019636, "before": 0.7009407025492433, "after": 0.7529974624546852, "coverage": 0.4322916666666667 }, { "name": "random", "queries": 1280, "mean": 0.1351389587444827, "before": 0.13242090171157314, "after": 0.13785701577739223, "coverage": 0.9661458333333334 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.2870511535627363, "before": 0.4317804757637246, "after": 0.1423218313617481, "coverage": 0.7604166666666666 }, { "name": "solo", "queries": 1280, "mean": 0.8077274332409988, "before": 0.7870103912803159, "after": 0.8284444752016814, "coverage": 0.4036458333333333 }, { "name": "random", "queries": 1280, "mean": 0.13548945059264525, "before": 0.13320880592595902, "after": 0.13777009525933145, "coverage": 0.9661458333333334 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.30052802835219516, "before": 0.3707617603790614, "after": 0.23029429632532858, "coverage": 0.7890625 }, { "name": "solo", "queries": 1280, "mean": 0.7820588518794266, "before": 0.769378671656847, "after": 0.7947390321020087, "coverage": 0.390625 }, { "name": "random", "queries": 1280, "mean": 0.18038762709983333, "before": 0.17602939101063483, "after": 0.1847458631890317, "coverage": 0.9661458333333334 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.44692805907397803, "before": 0.44755274176325094, "after": 0.44630337638470524, "coverage": 0.6588541666666666 }, { "name": "solo", "queries": 1280, "mean": 0.6757824089811697, "before": 0.7042325334769353, "after": 0.6473322844854056, "coverage": 0.3385416666666667 }, { "name": "random", "queries": 1280, "mean": 0.18381935515098433, "before": 0.187551236876746, "after": 0.18008747342522255, "coverage": 0.9609375 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.441349626823509, "before": 0.4391621059706412, "after": 0.44353714767637625, "coverage": 0.7317708333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7363901272319971, "before": 0.7552259152470752, "after": 0.7175543392169214, "coverage": 0.4010416666666667 }, { "name": "random", "queries": 1280, "mean": 0.17499112924532406, "before": 0.17749442905311152, "after": 0.17248782943753652, "coverage": 0.9713541666666666 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.28214674387720345, "before": 0.26540366679147687, "after": 0.29888982096292993, "coverage": 0.7864583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7386827549553766, "before": 0.668883032657088, "after": 0.8084824772536653, "coverage": 0.3958333333333333 }, { "name": "random", "queries": 1280, "mean": 0.13672280053967387, "before": 0.14526210914104948, "after": 0.12818349193829828, "coverage": 0.9427083333333334 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.4691769641647796, "before": 0.46074180361971784, "after": 0.4776121247098417, "coverage": 0.6510416666666666 }, { "name": "solo", "queries": 1280, "mean": 0.6299630816854221, "before": 0.5838560082357602, "after": 0.6760701551350853, "coverage": 0.390625 }, { "name": "random", "queries": 1280, "mean": 0.18143701489876218, "before": 0.1786278142858711, "after": 0.18424621551165338, "coverage": 0.9609375 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.366690656043605, "before": 0.5084415682224231, "after": 0.22493974386478702, "coverage": 0.7734375 }, { "name": "solo", "queries": 1280, "mean": 0.7233855566143212, "before": 0.7021797608536184, "after": 0.7445913523750253, "coverage": 0.4114583333333333 }, { "name": "random", "queries": 1280, "mean": 0.14656964420093804, "before": 0.16064393962566142, "after": 0.13249534877621472, "coverage": 0.9635416666666666 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 1280, "mean": 0.3262613158607207, "before": 0.47560755864215426, "after": 0.17691507307928767, "coverage": 0.7239583333333334 }, { "name": "solo", "queries": 1280, "mean": 0.7812689865939351, "before": 0.8262406524375623, "after": 0.7362973207503101, "coverage": 0.3854166666666667 }, { "name": "random", "queries": 1280, "mean": 0.1453259245688281, "before": 0.1418519611911075, "after": 0.1487998879465487, "coverage": 0.9791666666666666 } ] } ], "means": [ { "name": "swarm", "mean": 0.3713556193253194, "before": 0.40975766421687293, "after": 0.33295357443376594, "coverage": 0.7285970052083334 }, { "name": "solo", "mean": 0.7354346506206898, "before": 0.7222269753822982, "after": 0.7486423258590827, "coverage": 0.3948567708333333 }, { "name": "random", "mean": 0.16297079336085027, "before": 0.16361168948729785, "after": 0.16232989723440272, "coverage": 0.9665527343749999 } ] }, "sixtyFourWalkers": { "settings": { "agents": 64 }, "runs": [ { "seed": 1, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5223125577543711, "before": 0.5695229791126386, "after": 0.47510213639610377, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8249982139825457, "before": 0.8513355197306222, "after": 0.7986609082344697, "coverage": 0.984375 }, { "name": "random", "queries": 10240, "mean": 0.14203334349999136, "before": 0.1382536280055172, "after": 0.1458130589944653, "coverage": 1 } ] }, { "seed": 2, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5617752612866462, "before": 0.562116244458608, "after": 0.5614342781146843, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8317477312317261, "before": 0.8055709243442071, "after": 0.8579245381192451, "coverage": 0.9869791666666666 }, { "name": "random", "queries": 10240, "mean": 0.19237252101808555, "before": 0.1961871886177194, "after": 0.18855785341845163, "coverage": 1 } ] }, { "seed": 3, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.55286464119186, "before": 0.5682771520278311, "after": 0.5374521303558888, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8488896519117699, "before": 0.8493330601897991, "after": 0.8484462436337411, "coverage": 0.9739583333333334 }, { "name": "random", "queries": 10240, "mean": 0.17931168328133598, "before": 0.17653363302400743, "after": 0.18208973353866434, "coverage": 1 } ] }, { "seed": 4, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5498745661717697, "before": 0.538562644828613, "after": 0.5611864875149265, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8526388218436851, "before": 0.828151648905265, "after": 0.8771259947821054, "coverage": 1 }, { "name": "random", "queries": 10240, "mean": 0.19045909852675807, "before": 0.18593174037653326, "after": 0.19498645667698283, "coverage": 1 } ] }, { "seed": 5, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5569327748997304, "before": 0.5394604638749352, "after": 0.5744050859245263, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8718753385110143, "before": 0.8601015449854261, "after": 0.8836491320366029, "coverage": 0.9635416666666666 }, { "name": "random", "queries": 10240, "mean": 0.1946612360455167, "before": 0.19467326102857696, "after": 0.19464921106245642, "coverage": 1 } ] }, { "seed": 6, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5334609843289108, "before": 0.5584639035578116, "after": 0.5084580651000098, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8380246172232118, "before": 0.8291559951471896, "after": 0.8468932392992341, "coverage": 0.984375 }, { "name": "random", "queries": 10240, "mean": 0.15874070714615077, "before": 0.1604867067267564, "after": 0.15699470756554496, "coverage": 1 } ] }, { "seed": 7, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5200671743332476, "before": 0.5385609234585501, "after": 0.501573425207945, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8353487243440947, "before": 0.8282653991152426, "after": 0.8424320495729474, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.16280027876070408, "before": 0.1669333507905142, "after": 0.1586672067308939, "coverage": 1 } ] }, { "seed": 8, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5393147340174488, "before": 0.562556521059396, "after": 0.5160729469755017, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8500480183527334, "before": 0.837152355724926, "after": 0.8629436809805412, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.15572656399861112, "before": 0.1562941049834004, "after": 0.15515902301382162, "coverage": 1 } ] }, { "seed": 9, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5198058806363499, "before": 0.5719337453757211, "after": 0.46767801589697894, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8532818185421236, "before": 0.8509198898338901, "after": 0.8556437472503567, "coverage": 0.9791666666666666 }, { "name": "random", "queries": 10240, "mean": 0.11140813173152994, "before": 0.10986294622524446, "after": 0.1129533172378154, "coverage": 1 } ] }, { "seed": 10, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5290354729727726, "before": 0.5576785989911293, "after": 0.5003923469544158, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8531021725250127, "before": 0.8536757960503433, "after": 0.8525285489996828, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.16378689589972625, "before": 0.16182417844110758, "after": 0.16574961335834498, "coverage": 1 } ] }, { "seed": 11, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5495201646287187, "before": 0.5971335075049514, "after": 0.5019068217524859, "coverage": 0.9921875 }, { "name": "solo", "queries": 10240, "mean": 0.8356924174957203, "before": 0.8135837272478096, "after": 0.8578011077436312, "coverage": 0.9765625 }, { "name": "random", "queries": 10240, "mean": 0.13741787877668052, "before": 0.13829216510489561, "after": 0.13654359244846553, "coverage": 1 } ] }, { "seed": 12, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5521256116558765, "before": 0.5821154413849318, "after": 0.5221357819268209, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.859853027325788, "before": 0.860732975219834, "after": 0.8589730794317427, "coverage": 0.9869791666666666 }, { "name": "random", "queries": 10240, "mean": 0.18361111076299388, "before": 0.18368996970610474, "after": 0.18353225181988322, "coverage": 1 } ] }, { "seed": 13, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5742373978533977, "before": 0.5502873621864314, "after": 0.5981874335203644, "coverage": 0.9895833333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8569980433389743, "before": 0.8757695061814618, "after": 0.8382265804964882, "coverage": 0.9973958333333334 }, { "name": "random", "queries": 10240, "mean": 0.1968462689524027, "before": 0.19816679141327462, "after": 0.19552574649153062, "coverage": 1 } ] }, { "seed": 14, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5260859419755691, "before": 0.5665990959618774, "after": 0.4855727879892604, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8556023057838587, "before": 0.8434879528729171, "after": 0.8677166586948003, "coverage": 0.9817708333333334 }, { "name": "random", "queries": 10240, "mean": 0.1359244647433188, "before": 0.13707655584471562, "after": 0.13477237364192185, "coverage": 1 } ] }, { "seed": 15, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5504767719766781, "before": 0.5762248848876803, "after": 0.5247286590656759, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8434013404602296, "before": 0.8373729359851761, "after": 0.849429744935283, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.1578569751392495, "before": 0.16014230606274868, "after": 0.15557164421575043, "coverage": 1 } ] }, { "seed": 16, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5322833939879105, "before": 0.5561480684924496, "after": 0.5084187194833714, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8313916329907457, "before": 0.8404923634358111, "after": 0.8222909025456804, "coverage": 0.9791666666666666 }, { "name": "random", "queries": 10240, "mean": 0.16711142329571949, "before": 0.1674157844630731, "after": 0.16680706212836588, "coverage": 1 } ] }, { "seed": 17, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5445131310312014, "before": 0.5648280842699248, "after": 0.5241981777924785, "coverage": 0.9921875 }, { "name": "solo", "queries": 10240, "mean": 0.823232838413914, "before": 0.8025814670356357, "after": 0.8438842097921919, "coverage": 0.9791666666666666 }, { "name": "random", "queries": 10240, "mean": 0.15431158642541248, "before": 0.16136293183165146, "after": 0.14726024101917354, "coverage": 1 } ] }, { "seed": 18, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5431276285763482, "before": 0.5642159109529422, "after": 0.5220393461997548, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8315272548117589, "before": 0.8094088912550317, "after": 0.8536456183684855, "coverage": 0.9817708333333334 }, { "name": "random", "queries": 10240, "mean": 0.1767417225497643, "before": 0.1774360892130281, "after": 0.17604735588650072, "coverage": 1 } ] }, { "seed": 19, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5796083070101219, "before": 0.5848238856386504, "after": 0.5743927283815932, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8551921742036008, "before": 0.8599301741950125, "after": 0.850454174212189, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.1916389005919133, "before": 0.19305830529762685, "after": 0.1902194958861996, "coverage": 1 } ] }, { "seed": 20, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5282352591651384, "before": 0.5628378882211066, "after": 0.4936326301091703, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8273875380865308, "before": 0.7945767756066342, "after": 0.8601983005664271, "coverage": 0.9765625 }, { "name": "random", "queries": 10240, "mean": 0.1632196985470127, "before": 0.15621049009928642, "after": 0.17022890699473897, "coverage": 1 } ] }, { "seed": 21, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.536660848052275, "before": 0.5695564709282146, "after": 0.503765225176336, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.835907761472152, "before": 0.8406556100788324, "after": 0.831159912865471, "coverage": 0.9791666666666666 }, { "name": "random", "queries": 10240, "mean": 0.15588251073093057, "before": 0.15688089203361202, "after": 0.1548841294282492, "coverage": 1 } ] }, { "seed": 22, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5436017133779019, "before": 0.5658393415365787, "after": 0.5213640852192252, "coverage": 0.9921875 }, { "name": "solo", "queries": 10240, "mean": 0.8507333061341826, "before": 0.8459340271673634, "after": 0.8555325851010013, "coverage": 0.9791666666666666 }, { "name": "random", "queries": 10240, "mean": 0.18574267739418032, "before": 0.18415673480449607, "after": 0.18732861998386457, "coverage": 1 } ] }, { "seed": 23, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5406810322355539, "before": 0.5589854040646071, "after": 0.5223766604064997, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8486171148607268, "before": 0.8567126744086565, "after": 0.8405215553127962, "coverage": 0.984375 }, { "name": "random", "queries": 10240, "mean": 0.1938294340723669, "before": 0.19436121099495252, "after": 0.19329765714978148, "coverage": 1 } ] }, { "seed": 24, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5137258073662859, "before": 0.5425690089907655, "after": 0.48488260574180597, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8213674439891487, "before": 0.7903839082024308, "after": 0.8523509797758664, "coverage": 0.9739583333333334 }, { "name": "random", "queries": 10240, "mean": 0.12875090857399846, "before": 0.1317547677831945, "after": 0.12574704936480238, "coverage": 1 } ] }, { "seed": 25, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5348456473507851, "before": 0.5793279892012902, "after": 0.4903633055002798, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8401629650185928, "before": 0.8439130999646469, "after": 0.8364128300725386, "coverage": 0.984375 }, { "name": "random", "queries": 10240, "mean": 0.13354204021542213, "before": 0.13160883393877498, "after": 0.13547524649206932, "coverage": 1 } ] }, { "seed": 26, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5364544405998339, "before": 0.5837170530493988, "after": 0.489191828150269, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.8406663847774366, "before": 0.8411928812732443, "after": 0.8401398882816293, "coverage": 0.9869791666666666 }, { "name": "random", "queries": 10240, "mean": 0.1637745071521996, "before": 0.16272903240467346, "after": 0.16481998189972574, "coverage": 1 } ] }, { "seed": 27, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5409416119559968, "before": 0.5548424106606171, "after": 0.5270408132513762, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8359461320463859, "before": 0.8263301064564488, "after": 0.8455621576363226, "coverage": 0.9869791666666666 }, { "name": "random", "queries": 10240, "mean": 0.18785354520340686, "before": 0.18842339207371797, "after": 0.1872836983330957, "coverage": 1 } ] }, { "seed": 28, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5545838222700414, "before": 0.5668035085822202, "after": 0.5423641359578625, "coverage": 0.9895833333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8607982899563247, "before": 0.861673778491209, "after": 0.859922801421439, "coverage": 0.9765625 }, { "name": "random", "queries": 10240, "mean": 0.179245517122955, "before": 0.1801105122681192, "after": 0.17838052197779078, "coverage": 1 } ] }, { "seed": 29, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5051489503657133, "before": 0.5375826452779437, "after": 0.47271525545348314, "coverage": 0.9947916666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8375151346947826, "before": 0.8174472798550397, "after": 0.8575829895345249, "coverage": 0.9895833333333334 }, { "name": "random", "queries": 10240, "mean": 0.1378168298648921, "before": 0.14440268007602516, "after": 0.1312309796537589, "coverage": 1 } ] }, { "seed": 30, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5718833676883353, "before": 0.5727474044543034, "after": 0.5710193309223669, "coverage": 0.9869791666666666 }, { "name": "solo", "queries": 10240, "mean": 0.8459811593358731, "before": 0.8338211198421949, "after": 0.8581411988295505, "coverage": 0.9713541666666666 }, { "name": "random", "queries": 10240, "mean": 0.19080833327910085, "before": 0.1943578439476996, "after": 0.18725882261050206, "coverage": 1 } ] }, { "seed": 31, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.5267151042779583, "before": 0.5604073556271432, "after": 0.4930228529287731, "coverage": 0.9973958333333334 }, { "name": "solo", "queries": 10240, "mean": 0.8501866473236553, "before": 0.8445228164251176, "after": 0.855850478222193, "coverage": 0.9869791666666666 }, { "name": "random", "queries": 10240, "mean": 0.14862351587811157, "before": 0.1485689352150555, "after": 0.14867809654116768, "coverage": 1 } ] }, { "seed": 32, "summary": [ { "name": "swarm", "queries": 10240, "mean": 0.530861849563769, "before": 0.5673446572717499, "after": 0.49437904185578807, "coverage": 1 }, { "name": "solo", "queries": 10240, "mean": 0.857796564687732, "before": 0.8675565786061086, "after": 0.8480365507693552, "coverage": 0.9739583333333334 }, { "name": "random", "queries": 10240, "mean": 0.14736593702246306, "before": 0.14314996266803554, "after": 0.1515819113768906, "coverage": 1 } ] } ], "means": [ { "name": "swarm", "mean": 0.5406800578299538, "before": 0.5635022048715942, "after": 0.5178579107883131, "coverage": 0.9966634114583334 }, { "name": "solo", "mean": 0.8439347683023759, "before": 0.8375544619947978, "after": 0.8503150746099543, "coverage": 0.9829101562500001 }, { "name": "random", "mean": 0.16466300769384076, "before": 0.16501052892075432, "after": 0.16431548646692717, "coverage": 1 } ] } } }