CKY: Model 1/Intersect Both

Loading grammar from data/grammar ...
Parsing sentences ...
Received 100 sentences...
{"time": 314.7065110206604, "length": 35}
Finished 6.
{"time": 6.234439849853516, "length": 12}
Finished 7.
{"time": 9.589325189590454, "length": 14}
Finished 58.
{"time": 44.415297746658325, "length": 20}
Finished 59.
{"time": 0.06323122978210449, "length": 4}
Finished 70.
{"time": 36.02625560760498, "length": 18}
Finished 71.
{"time": 50.99626398086548, "length": 22}
Finished 82.
{"time": 41.512900590896606, "length": 19}
Finished 83.
{"time": 58.85120153427124, "length": 21}
Finished 26.
{"time": 11.989033460617065, "length": 13}
Finished 27.
{"time": 284.31615447998047, "length": 33}
Finished 40.
{"time": 68.65852665901184, "length": 23}
Finished 41.
{"time": 49.87458324432373, "length": 22}
Finished 86.
{"time": 67.12373852729797, "length": 21}
Finished 87.
{"time": 18.370553970336914, "length": 16}
Finished 8.
{"time": 1.8762550354003906, "length": 10}
Finished 9.
{"time": 2.8434951305389404, "length": 10}
Finished 32.
{"time": 49.419342279434204, "length": 21}
Finished 33.
{"time": 29.29409146308899, "length": 18}
Finished 38.
{"time": 354.7360575199127, "length": 37}
Finished 39.
{"time": 40.04596757888794, "length": 21}
Finished 94.
{"time": 58.80101823806763, "length": 24}
Finished 95.
{"time": 25.886656284332275, "length": 17}
Finished 16.
{"time": 82.32799577713013, "length": 23}
Finished 17.
{"time": 46.03049969673157, "length": 21}
Finished 44.
{"time": 5.71064305305481, "length": 12}
Finished 45.
{"time": 140.2867431640625, "length": 27}
Finished 50.
{"time": 21.76849603652954, "length": 16}
Finished 51.
{"time": 66.56528854370117, "length": 23}
Finished 60.
{"time": 14.479795694351196, "length": 18}
Finished 61.
{"time": 19.546231746673584, "length": 16}
Finished 78.
{"time": 17.753180980682373, "length": 19}
Finished 79.
{"time": 11.552784442901611, "length": 17}
Finished 88.
{"time": 121.54863238334656, "length": 27}
Finished 89.
{"time": 91.78424739837646, "length": 23}
Finished 20.
{"time": 591.6739666461945, "length": 42}
Finished 21.
{"time": 125.92171120643616, "length": 26}
Finished 2.
{"time": 327.4274334907532, "length": 36}
Finished 3.
{"time": 90.1095781326294, "length": 26}
Finished 92.
{"time": 36.25140047073364, "length": 21}
Finished 93.
{"time": 77.55204153060913, "length": 23}
Finished 12.
{"time": 266.3858530521393, "length": 34}
Finished 13.
{"time": 30.159308910369873, "length": 19}
Finished 66.
{"time": 34.764949560165405, "length": 20}
Finished 67.
{"time": 187.74171090126038, "length": 29}
Finished 80.
{"time": 25.829925298690796, "length": 16}
Finished 81.
{"time": 190.23097157478333, "length": 31}
Finished 30.
{"time": 8.243530750274658, "length": 15}
Finished 31.
{"time": 7.925872802734375, "length": 12}
Finished 52.
{"time": 80.15618467330933, "length": 26}
Finished 53.
{"time": 21.026976823806763, "length": 15}
Finished 56.
{"time": 21.04845142364502, "length": 15}
Finished 57.
{"time": 27.38992428779602, "length": 16}
Finished 62.
{"time": 119.42593836784363, "length": 28}
Finished 63.
{"time": 2.0159406661987305, "length": 11}
Finished 96.
{"time": 137.69819903373718, "length": 29}
Finished 97.
{"time": 29.575275659561157, "length": 18}
Finished 0.
{"time": 12.333205699920654, "length": 13}
Finished 1.
{"time": 336.2111828327179, "length": 36}
Finished 34.
{"time": 19.708535194396973, "length": 16}
Finished 35.
{"time": 0.6729846000671387, "length": 5}
Finished 76.
{"time": 190.2369453907013, "length": 29}
Finished 77.
{"time": 46.95024538040161, "length": 21}
Finished 10.
{"time": 80.89069151878357, "length": 25}
Finished 11.
{"time": 205.4409999847412, "length": 29}
Finished 46.
{"time": 29.56649351119995, "length": 19}
Finished 47.
{"time": 10.920237302780151, "length": 14}
Finished 68.
{"time": 252.82576608657837, "length": 31}
Finished 69.
{"time": 352.982399225235, "length": 34}
Finished 28.
{"time": 93.01662564277649, "length": 24}
Finished 29.
{"time": 242.40096020698547, "length": 32}
Finished 90.
{"time": 275.07969307899475, "length": 35}
Finished 91.
{"time": 40.46739959716797, "length": 22}
Finished 18.
{"time": 336.6694450378418, "length": 36}
Finished 19.
{"time": 248.99780893325806, "length": 31}
Finished 74.
{"time": 129.04907274246216, "length": 26}
Finished 75.
{"time": 1359.186871767044, "length": 52}
Finished 22.
{"time": 40.94442677497864, "length": 19}
Finished 23.
{"time": 257.7935936450958, "length": 32}
Finished 4.
{"time": 155.72961831092834, "length": 26}
Finished 5.
{"time": 7.757500648498535, "length": 14}
Finished 84.
{"time": 623.745786190033, "length": 38}
Finished 85.
{"time": 28.233896732330322, "length": 18}
Finished 24.
{"time": 11.409801006317139, "length": 14}
Finished 25.
{"time": 107.24259757995605, "length": 26}
Finished 36.
{"time": 64.98265862464905, "length": 24}
Finished 37.
{"time": 24.08239245414734, "length": 18}
Finished 54.
{"time": 138.56298279762268, "length": 27}
Finished 55.
{"time": 21.495935201644897, "length": 18}
Finished 72.
{"time": 443.9513988494873, "length": 39}
Finished 73.
{"time": 46.03014373779297, "length": 19}
Finished 14.
{"time": 40.922611236572266, "length": 22}
Finished 15.
{"time": 10.191261768341064, "length": 15}
Finished 42.
{"time": 31.2861328125, "length": 21}
Finished 43.
{"time": 34.0944037437439, "length": 18}
Finished 48.
{"time": 175.52665185928345, "length": 28}
Finished 49.
{"time": 26.762831449508667, "length": 18}
Finished 64.
{"time": 120.24783253669739, "length": 26}
Finished 65.
{"time": 161.55116248130798, "length": 29}
Finished 98.
{"time": 843.1226296424866, "length": 45}
Finished 99.
Pool initialized, start parsing now.
Time: (12418.23)s