tiny-autocomplete / docs /sweep.json
tmickleydoyle's picture
Confidence-gated ghost text for coding prompts: Kneser-Ney compile, 4.5 MB browser export + zero-dep runtime, held-out precision/keystrokes-saved benchmarks
4113449 verified
Raw History Blame Contribute Delete
46.7 kB
{
"target_precision": 0.9,
"max_export_mb": 50,
"heldout_prompts": 711,
"best": {
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 509522,
"contexts_kept": 105467,
"export_mb": 4.2,
"best": {
"tau": 0.72,
"min_support": 0,
"precision": 0.9029,
"coverage": 0.3866,
"keystrokes_saved": 0.2296,
"shown": 16034
},
"seconds": 14.7
},
"runs": [
{
"settings": {
"n_prev": 3,
"smoothing": "wb",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 509522,
"contexts_kept": 105467,
"export_mb": 4.2,
"best": {
"tau": 0.81,
"min_support": 0,
"precision": 0.9023,
"coverage": 0.3647,
"keystrokes_saved": 0.2173,
"shown": 15125
},
"seconds": 13.3
},
{
"settings": {
"n_prev": 4,
"smoothing": "wb",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 754606,
"contexts_kept": 125943,
"export_mb": 4.9,
"best": {
"tau": 0.83,
"min_support": 0,
"precision": 0.9021,
"coverage": 0.3555,
"keystrokes_saved": 0.2116,
"shown": 14744
},
"seconds": 15.0
},
{
"settings": {
"n_prev": 5,
"smoothing": "wb",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1005811,
"contexts_kept": 143202,
"export_mb": 5.4,
"best": {
"tau": 0.84,
"min_support": 0,
"precision": 0.9019,
"coverage": 0.3499,
"keystrokes_saved": 0.2084,
"shown": 14512
},
"seconds": 16.2
},
{
"settings": {
"n_prev": 7,
"smoothing": "wb",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1514926,
"contexts_kept": 173445,
"export_mb": 6.6,
"best": {
"tau": 0.84,
"min_support": 0,
"precision": 0.9012,
"coverage": 0.3502,
"keystrokes_saved": 0.2079,
"shown": 14524
},
"seconds": 18.4
},
{
"settings": {
"n_prev": 9,
"smoothing": "wb",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 2027338,
"contexts_kept": 201278,
"export_mb": 7.7,
"best": {
"tau": 0.84,
"min_support": 0,
"precision": 0.9012,
"coverage": 0.3502,
"keystrokes_saved": 0.2079,
"shown": 14524
},
"seconds": 20.2
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 509522,
"contexts_kept": 105467,
"export_mb": 4.2,
"best": {
"tau": 0.73,
"min_support": 0,
"precision": 0.9033,
"coverage": 0.3819,
"keystrokes_saved": 0.2251,
"shown": 15837
},
"seconds": 14.1
},
{
"settings": {
"n_prev": 4,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 754606,
"contexts_kept": 125943,
"export_mb": 4.9,
"best": {
"tau": 0.74,
"min_support": 0,
"precision": 0.9023,
"coverage": 0.3779,
"keystrokes_saved": 0.2224,
"shown": 15673
},
"seconds": 15.7
},
{
"settings": {
"n_prev": 5,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1005811,
"contexts_kept": 143202,
"export_mb": 5.4,
"best": {
"tau": 0.75,
"min_support": 0,
"precision": 0.9029,
"coverage": 0.3739,
"keystrokes_saved": 0.2196,
"shown": 15506
},
"seconds": 17.7
},
{
"settings": {
"n_prev": 7,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1514926,
"contexts_kept": 173445,
"export_mb": 6.6,
"best": {
"tau": 0.76,
"min_support": 0,
"precision": 0.9026,
"coverage": 0.3693,
"keystrokes_saved": 0.2162,
"shown": 15315
},
"seconds": 21.5
},
{
"settings": {
"n_prev": 9,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5,
"prompt_weight": 1,
"reply_weight": 1,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 2027338,
"contexts_kept": 201278,
"export_mb": 7.7,
"best": {
"tau": 0.76,
"min_support": 0,
"precision": 0.9017,
"coverage": 0.3693,
"keystrokes_saved": 0.216,
"shown": 15316
},
"seconds": 24.4
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 0.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 2830,
"min_context_count": 2,
"contexts_seen": 133364,
"contexts_kept": 33000,
"export_mb": 1.3,
"best": {
"tau": 0.7,
"min_support": 0,
"precision": 0.901,
"coverage": 0.3569,
"keystrokes_saved": 0.2089,
"shown": 14803
},
"seconds": 8.8
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 0.3,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 3841,
"min_context_count": 2,
"contexts_seen": 454608,
"contexts_kept": 40744,
"export_mb": 2.6,
"best": {
"tau": 0.69,
"min_support": 0,
"precision": 0.9026,
"coverage": 0.3784,
"keystrokes_saved": 0.2238,
"shown": 15694
},
"seconds": 12.2
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 509522,
"contexts_kept": 105467,
"export_mb": 4.2,
"best": {
"tau": 0.72,
"min_support": 0,
"precision": 0.9029,
"coverage": 0.3866,
"keystrokes_saved": 0.2296,
"shown": 16034
},
"seconds": 14.7
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5.0,
"prompt_weight": 1,
"reply_weight": 0.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 2830,
"min_context_count": 2,
"contexts_seen": 133364,
"contexts_kept": 33000,
"export_mb": 1.3,
"best": {
"tau": 0.72,
"min_support": 0,
"precision": 0.9034,
"coverage": 0.3489,
"keystrokes_saved": 0.2007,
"shown": 14472
},
"seconds": 8.4
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 5.0,
"prompt_weight": 1,
"reply_weight": 0.3,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 3841,
"min_context_count": 2,
"contexts_seen": 454608,
"contexts_kept": 40744,
"export_mb": 2.6,
"best": {
"tau": 0.7,
"min_support": 0,
"precision": 0.9006,
"coverage": 0.3758,
"keystrokes_saved": 0.2178,
"shown": 15588
},
"seconds": 11.9
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 3000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 3000,
"min_context_count": 2,
"contexts_seen": 425514,
"contexts_kept": 96265,
"export_mb": 4.0,
"best": {
"tau": 0.7,
"min_support": 2,
"precision": 0.9,
"coverage": 0.3601,
"keystrokes_saved": 0.2123,
"shown": 14933
},
"seconds": 11.2
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 3000,
"min_word_count": 3,
"min_count": 3,
"param_target": 400000000
},
"vocab": 3000,
"min_context_count": 3,
"contexts_seen": 425514,
"contexts_kept": 54867,
"export_mb": 3.0,
"best": {
"tau": 0.69,
"min_support": 0,
"precision": 0.9016,
"coverage": 0.358,
"keystrokes_saved": 0.2091,
"shown": 14849
},
"seconds": 11.1
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 3,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 3,
"contexts_seen": 509522,
"contexts_kept": 58669,
"export_mb": 3.1,
"best": {
"tau": 0.7,
"min_support": 0,
"precision": 0.9007,
"coverage": 0.3888,
"keystrokes_saved": 0.2294,
"shown": 16126
},
"seconds": 13.5
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 16000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 509522,
"contexts_kept": 105467,
"export_mb": 4.2,
"best": {
"tau": 0.72,
"min_support": 0,
"precision": 0.9029,
"coverage": 0.3866,
"keystrokes_saved": 0.2296,
"shown": 16034
},
"seconds": 13.2
},
{
"settings": {
"n_prev": 3,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 16000,
"min_word_count": 3,
"min_count": 3,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 3,
"contexts_seen": 509522,
"contexts_kept": 58669,
"export_mb": 3.1,
"best": {
"tau": 0.7,
"min_support": 0,
"precision": 0.9007,
"coverage": 0.3888,
"keystrokes_saved": 0.2294,
"shown": 16126
},
"seconds": 12.9
},
{
"settings": {
"n_prev": 4,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 754606,
"contexts_kept": 125943,
"export_mb": 4.9,
"best": {
"tau": 0.73,
"min_support": 0,
"precision": 0.9025,
"coverage": 0.382,
"keystrokes_saved": 0.2279,
"shown": 15841
},
"seconds": 14.6
},
{
"settings": {
"n_prev": 5,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1005811,
"contexts_kept": 143202,
"export_mb": 5.4,
"best": {
"tau": 0.73,
"min_support": 2,
"precision": 0.9003,
"coverage": 0.3816,
"keystrokes_saved": 0.2273,
"shown": 15826
},
"seconds": 16.2
},
{
"settings": {
"n_prev": 7,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 1514926,
"contexts_kept": 173445,
"export_mb": 6.6,
"best": {
"tau": 0.74,
"min_support": 0,
"precision": 0.9001,
"coverage": 0.3788,
"keystrokes_saved": 0.2244,
"shown": 15710
},
"seconds": 19.1
},
{
"settings": {
"n_prev": 9,
"smoothing": "kn",
"discount": 0.75,
"phrase_weight": 1.0,
"prompt_weight": 1,
"reply_weight": 1.0,
"max_vocab": 8000,
"min_word_count": 3,
"min_count": 2,
"param_target": 400000000
},
"vocab": 6550,
"min_context_count": 2,
"contexts_seen": 2027338,
"contexts_kept": 201278,
"export_mb": 7.7,
"best": {
"tau": 0.74,
"min_support": 2,
"precision": 0.9008,
"coverage": 0.378,
"keystrokes_saved": 0.2244,
"shown": 15678
},
"seconds": 22.9
}
],
"best_grid": [
{
"tau": 0.5,
"min_support": 0,
"precision": 0.7865,
"coverage": 0.5115,
"keystrokes_saved": 0.2789,
"shown": 21215
},
{
"tau": 0.5,
"min_support": 2,
"precision": 0.7871,
"coverage": 0.5107,
"keystrokes_saved": 0.2786,
"shown": 21180
},
{
"tau": 0.5,
"min_support": 5,
"precision": 0.8083,
"coverage": 0.3863,
"keystrokes_saved": 0.2119,
"shown": 16021
},
{
"tau": 0.5,
"min_support": 10,
"precision": 0.8177,
"coverage": 0.3212,
"keystrokes_saved": 0.1777,
"shown": 13322
},
{
"tau": 0.51,
"min_support": 0,
"precision": 0.7919,
"coverage": 0.5048,
"keystrokes_saved": 0.2761,
"shown": 20937
},
{
"tau": 0.51,
"min_support": 2,
"precision": 0.7925,
"coverage": 0.504,
"keystrokes_saved": 0.2759,
"shown": 20902
},
{
"tau": 0.51,
"min_support": 5,
"precision": 0.8132,
"coverage": 0.3811,
"keystrokes_saved": 0.2099,
"shown": 15805
},
{
"tau": 0.51,
"min_support": 10,
"precision": 0.8217,
"coverage": 0.3173,
"keystrokes_saved": 0.1761,
"shown": 13161
},
{
"tau": 0.52,
"min_support": 0,
"precision": 0.797,
"coverage": 0.4991,
"keystrokes_saved": 0.2743,
"shown": 20699
},
{
"tau": 0.52,
"min_support": 2,
"precision": 0.7976,
"coverage": 0.4983,
"keystrokes_saved": 0.2741,
"shown": 20666
},
{
"tau": 0.52,
"min_support": 5,
"precision": 0.818,
"coverage": 0.3768,
"keystrokes_saved": 0.2085,
"shown": 15628
},
{
"tau": 0.52,
"min_support": 10,
"precision": 0.8261,
"coverage": 0.3142,
"keystrokes_saved": 0.1752,
"shown": 13030
},
{
"tau": 0.53,
"min_support": 0,
"precision": 0.803,
"coverage": 0.4929,
"keystrokes_saved": 0.2724,
"shown": 20441
},
{
"tau": 0.53,
"min_support": 2,
"precision": 0.8037,
"coverage": 0.4921,
"keystrokes_saved": 0.2722,
"shown": 20408
},
{
"tau": 0.53,
"min_support": 5,
"precision": 0.8236,
"coverage": 0.372,
"keystrokes_saved": 0.2073,
"shown": 15430
},
{
"tau": 0.53,
"min_support": 10,
"precision": 0.8309,
"coverage": 0.3104,
"keystrokes_saved": 0.1742,
"shown": 12873
},
{
"tau": 0.54,
"min_support": 0,
"precision": 0.8066,
"coverage": 0.4881,
"keystrokes_saved": 0.2709,
"shown": 20242
},
{
"tau": 0.54,
"min_support": 2,
"precision": 0.8072,
"coverage": 0.4873,
"keystrokes_saved": 0.2707,
"shown": 20209
},
{
"tau": 0.54,
"min_support": 5,
"precision": 0.8263,
"coverage": 0.3687,
"keystrokes_saved": 0.2062,
"shown": 15290
},
{
"tau": 0.54,
"min_support": 10,
"precision": 0.8336,
"coverage": 0.3077,
"keystrokes_saved": 0.1733,
"shown": 12763
},
{
"tau": 0.55,
"min_support": 0,
"precision": 0.813,
"coverage": 0.4822,
"keystrokes_saved": 0.2698,
"shown": 20000
},
{
"tau": 0.55,
"min_support": 2,
"precision": 0.8137,
"coverage": 0.4815,
"keystrokes_saved": 0.2696,
"shown": 19968
},
{
"tau": 0.55,
"min_support": 5,
"precision": 0.8324,
"coverage": 0.3641,
"keystrokes_saved": 0.2051,
"shown": 15101
},
{
"tau": 0.55,
"min_support": 10,
"precision": 0.8393,
"coverage": 0.3039,
"keystrokes_saved": 0.1725,
"shown": 12605
},
{
"tau": 0.56,
"min_support": 0,
"precision": 0.8183,
"coverage": 0.4766,
"keystrokes_saved": 0.2652,
"shown": 19765
},
{
"tau": 0.56,
"min_support": 2,
"precision": 0.8189,
"coverage": 0.4758,
"keystrokes_saved": 0.265,
"shown": 19734
},
{
"tau": 0.56,
"min_support": 5,
"precision": 0.8372,
"coverage": 0.3597,
"keystrokes_saved": 0.2007,
"shown": 14918
},
{
"tau": 0.56,
"min_support": 10,
"precision": 0.8438,
"coverage": 0.3003,
"keystrokes_saved": 0.1683,
"shown": 12455
},
{
"tau": 0.57,
"min_support": 0,
"precision": 0.8259,
"coverage": 0.4716,
"keystrokes_saved": 0.2665,
"shown": 19559
},
{
"tau": 0.57,
"min_support": 2,
"precision": 0.8265,
"coverage": 0.4709,
"keystrokes_saved": 0.2663,
"shown": 19530
},
{
"tau": 0.57,
"min_support": 5,
"precision": 0.8444,
"coverage": 0.356,
"keystrokes_saved": 0.2018,
"shown": 14766
},
{
"tau": 0.57,
"min_support": 10,
"precision": 0.8518,
"coverage": 0.2973,
"keystrokes_saved": 0.1697,
"shown": 12331
},
{
"tau": 0.58,
"min_support": 0,
"precision": 0.8361,
"coverage": 0.4668,
"keystrokes_saved": 0.265,
"shown": 19359
},
{
"tau": 0.58,
"min_support": 2,
"precision": 0.8366,
"coverage": 0.4661,
"keystrokes_saved": 0.2648,
"shown": 19332
},
{
"tau": 0.58,
"min_support": 5,
"precision": 0.8549,
"coverage": 0.3527,
"keystrokes_saved": 0.2004,
"shown": 14629
},
{
"tau": 0.58,
"min_support": 10,
"precision": 0.863,
"coverage": 0.2947,
"keystrokes_saved": 0.1685,
"shown": 12222
},
{
"tau": 0.59,
"min_support": 0,
"precision": 0.8403,
"coverage": 0.4613,
"keystrokes_saved": 0.2622,
"shown": 19132
},
{
"tau": 0.59,
"min_support": 2,
"precision": 0.8407,
"coverage": 0.4607,
"keystrokes_saved": 0.262,
"shown": 19106
},
{
"tau": 0.59,
"min_support": 5,
"precision": 0.8582,
"coverage": 0.3483,
"keystrokes_saved": 0.198,
"shown": 14445
},
{
"tau": 0.59,
"min_support": 10,
"precision": 0.8661,
"coverage": 0.2909,
"keystrokes_saved": 0.1663,
"shown": 12065
},
{
"tau": 0.6,
"min_support": 0,
"precision": 0.844,
"coverage": 0.4557,
"keystrokes_saved": 0.2575,
"shown": 18899
},
{
"tau": 0.6,
"min_support": 2,
"precision": 0.8444,
"coverage": 0.4551,
"keystrokes_saved": 0.2572,
"shown": 18873
},
{
"tau": 0.6,
"min_support": 5,
"precision": 0.862,
"coverage": 0.3438,
"keystrokes_saved": 0.1937,
"shown": 14259
},
{
"tau": 0.6,
"min_support": 10,
"precision": 0.8701,
"coverage": 0.2872,
"keystrokes_saved": 0.1626,
"shown": 11910
},
{
"tau": 0.61,
"min_support": 0,
"precision": 0.8482,
"coverage": 0.4501,
"keystrokes_saved": 0.2555,
"shown": 18667
},
{
"tau": 0.61,
"min_support": 2,
"precision": 0.8485,
"coverage": 0.4495,
"keystrokes_saved": 0.2553,
"shown": 18643
},
{
"tau": 0.61,
"min_support": 5,
"precision": 0.8655,
"coverage": 0.3396,
"keystrokes_saved": 0.1921,
"shown": 14085
},
{
"tau": 0.61,
"min_support": 10,
"precision": 0.8729,
"coverage": 0.2842,
"keystrokes_saved": 0.1613,
"shown": 11787
},
{
"tau": 0.62,
"min_support": 0,
"precision": 0.8551,
"coverage": 0.4405,
"keystrokes_saved": 0.2542,
"shown": 18271
},
{
"tau": 0.62,
"min_support": 2,
"precision": 0.8554,
"coverage": 0.44,
"keystrokes_saved": 0.254,
"shown": 18247
},
{
"tau": 0.62,
"min_support": 5,
"precision": 0.8729,
"coverage": 0.3316,
"keystrokes_saved": 0.1915,
"shown": 13753
},
{
"tau": 0.62,
"min_support": 10,
"precision": 0.8805,
"coverage": 0.2772,
"keystrokes_saved": 0.1614,
"shown": 11497
},
{
"tau": 0.63,
"min_support": 0,
"precision": 0.8595,
"coverage": 0.4349,
"keystrokes_saved": 0.2518,
"shown": 18035
},
{
"tau": 0.63,
"min_support": 2,
"precision": 0.8598,
"coverage": 0.4343,
"keystrokes_saved": 0.2516,
"shown": 18012
},
{
"tau": 0.63,
"min_support": 5,
"precision": 0.8767,
"coverage": 0.3276,
"keystrokes_saved": 0.1898,
"shown": 13587
},
{
"tau": 0.63,
"min_support": 10,
"precision": 0.884,
"coverage": 0.274,
"keystrokes_saved": 0.1601,
"shown": 11364
},
{
"tau": 0.64,
"min_support": 0,
"precision": 0.8637,
"coverage": 0.4308,
"keystrokes_saved": 0.2502,
"shown": 17865
},
{
"tau": 0.64,
"min_support": 2,
"precision": 0.864,
"coverage": 0.4302,
"keystrokes_saved": 0.2501,
"shown": 17843
},
{
"tau": 0.64,
"min_support": 5,
"precision": 0.8798,
"coverage": 0.3249,
"keystrokes_saved": 0.1886,
"shown": 13474
},
{
"tau": 0.64,
"min_support": 10,
"precision": 0.8871,
"coverage": 0.2715,
"keystrokes_saved": 0.1592,
"shown": 11260
},
{
"tau": 0.65,
"min_support": 0,
"precision": 0.8697,
"coverage": 0.4247,
"keystrokes_saved": 0.2479,
"shown": 17616
},
{
"tau": 0.65,
"min_support": 2,
"precision": 0.87,
"coverage": 0.4242,
"keystrokes_saved": 0.2477,
"shown": 17594
},
{
"tau": 0.65,
"min_support": 5,
"precision": 0.8849,
"coverage": 0.3206,
"keystrokes_saved": 0.1867,
"shown": 13296
},
{
"tau": 0.65,
"min_support": 10,
"precision": 0.8917,
"coverage": 0.268,
"keystrokes_saved": 0.1576,
"shown": 11113
},
{
"tau": 0.66,
"min_support": 0,
"precision": 0.8748,
"coverage": 0.4193,
"keystrokes_saved": 0.2456,
"shown": 17391
},
{
"tau": 0.66,
"min_support": 2,
"precision": 0.875,
"coverage": 0.4188,
"keystrokes_saved": 0.2454,
"shown": 17369
},
{
"tau": 0.66,
"min_support": 5,
"precision": 0.8883,
"coverage": 0.317,
"keystrokes_saved": 0.1852,
"shown": 13149
},
{
"tau": 0.66,
"min_support": 10,
"precision": 0.8943,
"coverage": 0.2651,
"keystrokes_saved": 0.1563,
"shown": 10994
},
{
"tau": 0.67,
"min_support": 0,
"precision": 0.8797,
"coverage": 0.4133,
"keystrokes_saved": 0.2425,
"shown": 17141
},
{
"tau": 0.67,
"min_support": 2,
"precision": 0.8799,
"coverage": 0.4128,
"keystrokes_saved": 0.2424,
"shown": 17122
},
{
"tau": 0.67,
"min_support": 5,
"precision": 0.8929,
"coverage": 0.3124,
"keystrokes_saved": 0.183,
"shown": 12958
},
{
"tau": 0.67,
"min_support": 10,
"precision": 0.8989,
"coverage": 0.2614,
"keystrokes_saved": 0.1542,
"shown": 10840
},
{
"tau": 0.68,
"min_support": 0,
"precision": 0.8852,
"coverage": 0.4085,
"keystrokes_saved": 0.2409,
"shown": 16943
},
{
"tau": 0.68,
"min_support": 2,
"precision": 0.8854,
"coverage": 0.4081,
"keystrokes_saved": 0.2407,
"shown": 16925
},
{
"tau": 0.68,
"min_support": 5,
"precision": 0.8966,
"coverage": 0.3091,
"keystrokes_saved": 0.1819,
"shown": 12820
},
{
"tau": 0.68,
"min_support": 10,
"precision": 0.9024,
"coverage": 0.2587,
"keystrokes_saved": 0.1531,
"shown": 10728
},
{
"tau": 0.69,
"min_support": 0,
"precision": 0.8894,
"coverage": 0.4034,
"keystrokes_saved": 0.2382,
"shown": 16731
},
{
"tau": 0.69,
"min_support": 2,
"precision": 0.8895,
"coverage": 0.403,
"keystrokes_saved": 0.2381,
"shown": 16713
},
{
"tau": 0.69,
"min_support": 5,
"precision": 0.899,
"coverage": 0.3057,
"keystrokes_saved": 0.1798,
"shown": 12680
},
{
"tau": 0.69,
"min_support": 10,
"precision": 0.9044,
"coverage": 0.2561,
"keystrokes_saved": 0.1512,
"shown": 10620
},
{
"tau": 0.7,
"min_support": 0,
"precision": 0.8942,
"coverage": 0.3982,
"keystrokes_saved": 0.2359,
"shown": 16516
},
{
"tau": 0.7,
"min_support": 2,
"precision": 0.8944,
"coverage": 0.3978,
"keystrokes_saved": 0.2358,
"shown": 16498
},
{
"tau": 0.7,
"min_support": 5,
"precision": 0.904,
"coverage": 0.3017,
"keystrokes_saved": 0.1779,
"shown": 12512
},
{
"tau": 0.7,
"min_support": 10,
"precision": 0.9094,
"coverage": 0.2529,
"keystrokes_saved": 0.1496,
"shown": 10490
},
{
"tau": 0.71,
"min_support": 0,
"precision": 0.8976,
"coverage": 0.3929,
"keystrokes_saved": 0.233,
"shown": 16295
},
{
"tau": 0.71,
"min_support": 2,
"precision": 0.8978,
"coverage": 0.3925,
"keystrokes_saved": 0.2329,
"shown": 16277
},
{
"tau": 0.71,
"min_support": 5,
"precision": 0.9062,
"coverage": 0.2981,
"keystrokes_saved": 0.1758,
"shown": 12365
},
{
"tau": 0.71,
"min_support": 10,
"precision": 0.9116,
"coverage": 0.2499,
"keystrokes_saved": 0.1477,
"shown": 10363
},
{
"tau": 0.72,
"min_support": 0,
"precision": 0.9029,
"coverage": 0.3866,
"keystrokes_saved": 0.2296,
"shown": 16034
},
{
"tau": 0.72,
"min_support": 2,
"precision": 0.9031,
"coverage": 0.3862,
"keystrokes_saved": 0.2295,
"shown": 16016
},
{
"tau": 0.72,
"min_support": 5,
"precision": 0.9113,
"coverage": 0.2934,
"keystrokes_saved": 0.173,
"shown": 12167
},
{
"tau": 0.72,
"min_support": 10,
"precision": 0.9172,
"coverage": 0.2457,
"keystrokes_saved": 0.1451,
"shown": 10191
},
{
"tau": 0.73,
"min_support": 0,
"precision": 0.9074,
"coverage": 0.381,
"keystrokes_saved": 0.2279,
"shown": 15800
},
{
"tau": 0.73,
"min_support": 2,
"precision": 0.9076,
"coverage": 0.3805,
"keystrokes_saved": 0.2278,
"shown": 15782
},
{
"tau": 0.73,
"min_support": 5,
"precision": 0.9149,
"coverage": 0.2894,
"keystrokes_saved": 0.1718,
"shown": 12004
},
{
"tau": 0.73,
"min_support": 10,
"precision": 0.9209,
"coverage": 0.2427,
"keystrokes_saved": 0.1443,
"shown": 10065
},
{
"tau": 0.74,
"min_support": 0,
"precision": 0.9114,
"coverage": 0.3765,
"keystrokes_saved": 0.2254,
"shown": 15615
},
{
"tau": 0.74,
"min_support": 2,
"precision": 0.9116,
"coverage": 0.3761,
"keystrokes_saved": 0.2252,
"shown": 15597
},
{
"tau": 0.74,
"min_support": 5,
"precision": 0.9183,
"coverage": 0.2863,
"keystrokes_saved": 0.17,
"shown": 11876
},
{
"tau": 0.74,
"min_support": 10,
"precision": 0.9242,
"coverage": 0.2402,
"keystrokes_saved": 0.1428,
"shown": 9964
},
{
"tau": 0.75,
"min_support": 0,
"precision": 0.9141,
"coverage": 0.3718,
"keystrokes_saved": 0.2234,
"shown": 15420
},
{
"tau": 0.75,
"min_support": 2,
"precision": 0.9143,
"coverage": 0.3714,
"keystrokes_saved": 0.2233,
"shown": 15403
},
{
"tau": 0.75,
"min_support": 5,
"precision": 0.9204,
"coverage": 0.2826,
"keystrokes_saved": 0.1686,
"shown": 11720
},
{
"tau": 0.75,
"min_support": 10,
"precision": 0.9261,
"coverage": 0.2373,
"keystrokes_saved": 0.1418,
"shown": 9843
},
{
"tau": 0.76,
"min_support": 0,
"precision": 0.918,
"coverage": 0.3657,
"keystrokes_saved": 0.2199,
"shown": 15166
},
{
"tau": 0.76,
"min_support": 2,
"precision": 0.9182,
"coverage": 0.3653,
"keystrokes_saved": 0.2197,
"shown": 15150
},
{
"tau": 0.76,
"min_support": 5,
"precision": 0.9246,
"coverage": 0.2782,
"keystrokes_saved": 0.1665,
"shown": 11538
},
{
"tau": 0.76,
"min_support": 10,
"precision": 0.9299,
"coverage": 0.2337,
"keystrokes_saved": 0.1403,
"shown": 9694
},
{
"tau": 0.77,
"min_support": 0,
"precision": 0.9224,
"coverage": 0.3601,
"keystrokes_saved": 0.2169,
"shown": 14934
},
{
"tau": 0.77,
"min_support": 2,
"precision": 0.9226,
"coverage": 0.3597,
"keystrokes_saved": 0.2168,
"shown": 14918
},
{
"tau": 0.77,
"min_support": 5,
"precision": 0.928,
"coverage": 0.2741,
"keystrokes_saved": 0.1643,
"shown": 11369
},
{
"tau": 0.77,
"min_support": 10,
"precision": 0.9325,
"coverage": 0.2304,
"keystrokes_saved": 0.1385,
"shown": 9557
},
{
"tau": 0.78,
"min_support": 0,
"precision": 0.9258,
"coverage": 0.3547,
"keystrokes_saved": 0.2143,
"shown": 14710
},
{
"tau": 0.78,
"min_support": 2,
"precision": 0.926,
"coverage": 0.3543,
"keystrokes_saved": 0.2142,
"shown": 14694
},
{
"tau": 0.78,
"min_support": 5,
"precision": 0.9311,
"coverage": 0.2708,
"keystrokes_saved": 0.1626,
"shown": 11230
},
{
"tau": 0.78,
"min_support": 10,
"precision": 0.9351,
"coverage": 0.2281,
"keystrokes_saved": 0.1373,
"shown": 9461
},
{
"tau": 0.79,
"min_support": 0,
"precision": 0.9307,
"coverage": 0.3489,
"keystrokes_saved": 0.2115,
"shown": 14469
},
{
"tau": 0.79,
"min_support": 2,
"precision": 0.931,
"coverage": 0.3485,
"keystrokes_saved": 0.2114,
"shown": 14454
},
{
"tau": 0.79,
"min_support": 5,
"precision": 0.9356,
"coverage": 0.2667,
"keystrokes_saved": 0.1606,
"shown": 11062
},
{
"tau": 0.79,
"min_support": 10,
"precision": 0.9391,
"coverage": 0.2247,
"keystrokes_saved": 0.1355,
"shown": 9320
},
{
"tau": 0.8,
"min_support": 0,
"precision": 0.9351,
"coverage": 0.3412,
"keystrokes_saved": 0.2066,
"shown": 14153
},
{
"tau": 0.8,
"min_support": 2,
"precision": 0.9352,
"coverage": 0.3409,
"keystrokes_saved": 0.2065,
"shown": 14139
},
{
"tau": 0.8,
"min_support": 5,
"precision": 0.9396,
"coverage": 0.2606,
"keystrokes_saved": 0.1567,
"shown": 10810
},
{
"tau": 0.8,
"min_support": 10,
"precision": 0.9424,
"coverage": 0.2192,
"keystrokes_saved": 0.1318,
"shown": 9093
},
{
"tau": 0.81,
"min_support": 0,
"precision": 0.9379,
"coverage": 0.335,
"keystrokes_saved": 0.2032,
"shown": 13894
},
{
"tau": 0.81,
"min_support": 2,
"precision": 0.938,
"coverage": 0.3347,
"keystrokes_saved": 0.2031,
"shown": 13881
},
{
"tau": 0.81,
"min_support": 5,
"precision": 0.9423,
"coverage": 0.2559,
"keystrokes_saved": 0.154,
"shown": 10615
},
{
"tau": 0.81,
"min_support": 10,
"precision": 0.945,
"coverage": 0.2153,
"keystrokes_saved": 0.1299,
"shown": 8931
},
{
"tau": 0.82,
"min_support": 0,
"precision": 0.9402,
"coverage": 0.3296,
"keystrokes_saved": 0.1999,
"shown": 13671
},
{
"tau": 0.82,
"min_support": 2,
"precision": 0.9403,
"coverage": 0.3293,
"keystrokes_saved": 0.1998,
"shown": 13658
},
{
"tau": 0.82,
"min_support": 5,
"precision": 0.9439,
"coverage": 0.2523,
"keystrokes_saved": 0.1517,
"shown": 10465
},
{
"tau": 0.82,
"min_support": 10,
"precision": 0.9465,
"coverage": 0.2124,
"keystrokes_saved": 0.1281,
"shown": 8808
},
{
"tau": 0.83,
"min_support": 0,
"precision": 0.9433,
"coverage": 0.323,
"keystrokes_saved": 0.1966,
"shown": 13396
},
{
"tau": 0.83,
"min_support": 2,
"precision": 0.9434,
"coverage": 0.3227,
"keystrokes_saved": 0.1965,
"shown": 13384
},
{
"tau": 0.83,
"min_support": 5,
"precision": 0.9473,
"coverage": 0.2474,
"keystrokes_saved": 0.1494,
"shown": 10260
},
{
"tau": 0.83,
"min_support": 10,
"precision": 0.9495,
"coverage": 0.2085,
"keystrokes_saved": 0.1263,
"shown": 8646
},
{
"tau": 0.84,
"min_support": 0,
"precision": 0.9472,
"coverage": 0.3166,
"keystrokes_saved": 0.1932,
"shown": 13130
},
{
"tau": 0.84,
"min_support": 2,
"precision": 0.9472,
"coverage": 0.3163,
"keystrokes_saved": 0.1931,
"shown": 13120
},
{
"tau": 0.84,
"min_support": 5,
"precision": 0.951,
"coverage": 0.2423,
"keystrokes_saved": 0.1469,
"shown": 10051
},
{
"tau": 0.84,
"min_support": 10,
"precision": 0.9519,
"coverage": 0.2047,
"keystrokes_saved": 0.1247,
"shown": 8490
},
{
"tau": 0.85,
"min_support": 0,
"precision": 0.9507,
"coverage": 0.3089,
"keystrokes_saved": 0.1886,
"shown": 12810
},
{
"tau": 0.85,
"min_support": 2,
"precision": 0.9507,
"coverage": 0.3086,
"keystrokes_saved": 0.1886,
"shown": 12800
},
{
"tau": 0.85,
"min_support": 5,
"precision": 0.9542,
"coverage": 0.2364,
"keystrokes_saved": 0.1436,
"shown": 9806
},
{
"tau": 0.85,
"min_support": 10,
"precision": 0.9551,
"coverage": 0.1999,
"keystrokes_saved": 0.1218,
"shown": 8292
},
{
"tau": 0.86,
"min_support": 0,
"precision": 0.9535,
"coverage": 0.3026,
"keystrokes_saved": 0.183,
"shown": 12550
},
{
"tau": 0.86,
"min_support": 2,
"precision": 0.9534,
"coverage": 0.3024,
"keystrokes_saved": 0.1829,
"shown": 12540
},
{
"tau": 0.86,
"min_support": 5,
"precision": 0.9569,
"coverage": 0.232,
"keystrokes_saved": 0.1391,
"shown": 9623
},
{
"tau": 0.86,
"min_support": 10,
"precision": 0.9574,
"coverage": 0.1965,
"keystrokes_saved": 0.1179,
"shown": 8149
},
{
"tau": 0.87,
"min_support": 0,
"precision": 0.9565,
"coverage": 0.2951,
"keystrokes_saved": 0.1793,
"shown": 12241
},
{
"tau": 0.87,
"min_support": 2,
"precision": 0.9565,
"coverage": 0.2949,
"keystrokes_saved": 0.1792,
"shown": 12232
},
{
"tau": 0.87,
"min_support": 5,
"precision": 0.9593,
"coverage": 0.2264,
"keystrokes_saved": 0.1366,
"shown": 9390
},
{
"tau": 0.87,
"min_support": 10,
"precision": 0.9594,
"coverage": 0.1919,
"keystrokes_saved": 0.1159,
"shown": 7958
},
{
"tau": 0.88,
"min_support": 0,
"precision": 0.9588,
"coverage": 0.2883,
"keystrokes_saved": 0.1753,
"shown": 11958
},
{
"tau": 0.88,
"min_support": 2,
"precision": 0.9587,
"coverage": 0.2881,
"keystrokes_saved": 0.1752,
"shown": 11949
},
{
"tau": 0.88,
"min_support": 5,
"precision": 0.9607,
"coverage": 0.2215,
"keystrokes_saved": 0.1336,
"shown": 9187
},
{
"tau": 0.88,
"min_support": 10,
"precision": 0.9609,
"coverage": 0.188,
"keystrokes_saved": 0.1135,
"shown": 7797
},
{
"tau": 0.89,
"min_support": 0,
"precision": 0.9614,
"coverage": 0.2802,
"keystrokes_saved": 0.1691,
"shown": 11621
},
{
"tau": 0.89,
"min_support": 2,
"precision": 0.9613,
"coverage": 0.28,
"keystrokes_saved": 0.1691,
"shown": 11612
},
{
"tau": 0.89,
"min_support": 5,
"precision": 0.9631,
"coverage": 0.2154,
"keystrokes_saved": 0.1285,
"shown": 8932
},
{
"tau": 0.89,
"min_support": 10,
"precision": 0.9631,
"coverage": 0.1829,
"keystrokes_saved": 0.1092,
"shown": 7587
},
{
"tau": 0.9,
"min_support": 0,
"precision": 0.9644,
"coverage": 0.2692,
"keystrokes_saved": 0.1642,
"shown": 11165
},
{
"tau": 0.9,
"min_support": 2,
"precision": 0.9643,
"coverage": 0.269,
"keystrokes_saved": 0.1642,
"shown": 11156
},
{
"tau": 0.9,
"min_support": 5,
"precision": 0.9666,
"coverage": 0.2069,
"keystrokes_saved": 0.1256,
"shown": 8580
},
{
"tau": 0.9,
"min_support": 10,
"precision": 0.9666,
"coverage": 0.1757,
"keystrokes_saved": 0.1072,
"shown": 7286
},
{
"tau": 0.91,
"min_support": 0,
"precision": 0.9673,
"coverage": 0.2609,
"keystrokes_saved": 0.1552,
"shown": 10820
},
{
"tau": 0.91,
"min_support": 2,
"precision": 0.9673,
"coverage": 0.2607,
"keystrokes_saved": 0.1551,
"shown": 10811
},
{
"tau": 0.91,
"min_support": 5,
"precision": 0.9696,
"coverage": 0.2008,
"keystrokes_saved": 0.1177,
"shown": 8328
},
{
"tau": 0.91,
"min_support": 10,
"precision": 0.9698,
"coverage": 0.171,
"keystrokes_saved": 0.1002,
"shown": 7093
},
{
"tau": 0.92,
"min_support": 0,
"precision": 0.9693,
"coverage": 0.2474,
"keystrokes_saved": 0.1485,
"shown": 10260
},
{
"tau": 0.92,
"min_support": 2,
"precision": 0.9693,
"coverage": 0.2472,
"keystrokes_saved": 0.1484,
"shown": 10253
},
{
"tau": 0.92,
"min_support": 5,
"precision": 0.9717,
"coverage": 0.19,
"keystrokes_saved": 0.1126,
"shown": 7878
},
{
"tau": 0.92,
"min_support": 10,
"precision": 0.9714,
"coverage": 0.1611,
"keystrokes_saved": 0.0954,
"shown": 6680
},
{
"tau": 0.93,
"min_support": 0,
"precision": 0.9722,
"coverage": 0.2361,
"keystrokes_saved": 0.1417,
"shown": 9791
},
{
"tau": 0.93,
"min_support": 2,
"precision": 0.9722,
"coverage": 0.2359,
"keystrokes_saved": 0.1417,
"shown": 9784
},
{
"tau": 0.93,
"min_support": 5,
"precision": 0.9746,
"coverage": 0.1815,
"keystrokes_saved": 0.1077,
"shown": 7526
},
{
"tau": 0.93,
"min_support": 10,
"precision": 0.9746,
"coverage": 0.154,
"keystrokes_saved": 0.0913,
"shown": 6388
},
{
"tau": 0.94,
"min_support": 0,
"precision": 0.9748,
"coverage": 0.2226,
"keystrokes_saved": 0.1317,
"shown": 9234
},
{
"tau": 0.94,
"min_support": 2,
"precision": 0.9748,
"coverage": 0.2225,
"keystrokes_saved": 0.1316,
"shown": 9228
},
{
"tau": 0.94,
"min_support": 5,
"precision": 0.9774,
"coverage": 0.1719,
"keystrokes_saved": 0.1007,
"shown": 7130
},
{
"tau": 0.94,
"min_support": 10,
"precision": 0.9775,
"coverage": 0.1459,
"keystrokes_saved": 0.0852,
"shown": 6052
},
{
"tau": 0.95,
"min_support": 0,
"precision": 0.9773,
"coverage": 0.2049,
"keystrokes_saved": 0.1176,
"shown": 8497
},
{
"tau": 0.95,
"min_support": 2,
"precision": 0.9773,
"coverage": 0.2047,
"keystrokes_saved": 0.1176,
"shown": 8491
},
{
"tau": 0.95,
"min_support": 5,
"precision": 0.9806,
"coverage": 0.1582,
"keystrokes_saved": 0.0897,
"shown": 6560
},
{
"tau": 0.95,
"min_support": 10,
"precision": 0.9806,
"coverage": 0.134,
"keystrokes_saved": 0.0756,
"shown": 5559
}
]
}