CKY: Model 1/Intersect Right

Loading grammar from data/grammar ...
Parsing sentences ...
Received 100 sentences...
{"time": 145.8384404182434, "length": 23}
Finished 12.
{"time": 532.453607082367, "length": 34}
Finished 13.
{"time": 54.855297327041626, "length": 19}
Finished 66.
{"time": 66.19416332244873, "length": 20}
Finished 67.
{"time": 101.04023051261902, "length": 22}
Finished 82.
{"time": 88.23190498352051, "length": 19}
Finished 83.
{"time": 43.03049039840698, "length": 17}
Finished 16.
{"time": 161.4751172065735, "length": 23}
Finished 17.
{"time": 90.98449683189392, "length": 21}
Finished 44.
{"time": 9.794150829315186, "length": 12}
Finished 45.
{"time": 296.3053197860718, "length": 27}
Finished 50.
{"time": 40.38531184196472, "length": 16}
Finished 51.
{"time": 53.69103026390076, "length": 16}
Finished 62.
{"time": 221.33907175064087, "length": 28}
Finished 63.
{"time": 82.00188899040222, "length": 21}
Finished 94.
{"time": 109.84141659736633, "length": 24}
Finished 95.
{"time": 29.22307848930359, "length": 16}
Finished 8.
{"time": 2.5249178409576416, "length": 10}
Finished 9.
{"time": 4.3515753746032715, "length": 10}
Finished 32.
{"time": 90.65027475357056, "length": 21}
Finished 33.
{"time": 52.7473886013031, "length": 18}
Finished 38.
{"time": 716.5515789985657, "length": 37}
Finished 39.
{"time": 103.1282000541687, "length": 22}
Finished 86.
{"time": 134.5469982624054, "length": 21}
Finished 87.
{"time": 87.14995050430298, "length": 19}
Finished 14.
{"time": 72.09208512306213, "length": 22}
Finished 15.
{"time": 17.14611792564392, "length": 15}
Finished 42.
{"time": 51.634578227996826, "length": 21}
Finished 43.
{"time": 451.856232881546, "length": 29}
Finished 46.
{"time": 55.70862531661987, "length": 19}
Finished 47.
{"time": 37.177034854888916, "length": 18}
Finished 72.
{"time": 892.071234703064, "length": 39}
Finished 73.
{"time": 755.1376645565033, "length": 34}
Finished 28.
{"time": 190.84213852882385, "length": 24}
Finished 29.
{"time": 4.900573015213013, "length": 11}
Finished 96.
{"time": 289.8972280025482, "length": 29}
Finished 97.
{"time": 182.82054996490479, "length": 23}
Finished 20.
{"time": 1229.6331555843353, "length": 42}
Finished 21.
{"time": 254.46379280090332, "length": 26}
Finished 2.
{"time": 647.0216748714447, "length": 36}
Finished 3.
{"time": 19.0415256023407, "length": 17}
Finished 88.
{"time": 238.46086406707764, "length": 27}
Finished 89.
{"time": 48.54800891876221, "length": 18}
Finished 24.
{"time": 19.68402338027954, "length": 14}
Finished 25.
{"time": 650.3544127941132, "length": 36}
Finished 34.
{"time": 36.03990077972412, "length": 16}
Finished 35.
{"time": 1.055861234664917, "length": 5}
Finished 76.
{"time": 426.02770256996155, "length": 29}
Finished 77.
{"time": 561.5145592689514, "length": 32}
Finished 4.
{"time": 347.6426749229431, "length": 26}
Finished 5.
{"time": 543.0499951839447, "length": 32}
Finished 90.
{"time": 405.5275592803955, "length": 35}
Finished 91.
{"time": 70.11567091941833, "length": 22}
Finished 18.
{"time": 668.5775043964386, "length": 36}
Finished 19.
{"time": 533.53737449646, "length": 31}
Finished 74.
{"time": 263.75125765800476, "length": 26}
Finished 75.
{"time": 52.69487404823303, "length": 18}
Finished 0.
{"time": 21.805959701538086, "length": 13}
Finished 1.
{"time": 203.01779913902283, "length": 26}
Finished 36.
{"time": 120.29776668548584, "length": 24}
Finished 37.
{"time": 42.53038716316223, "length": 18}
Finished 54.
{"time": 290.2282340526581, "length": 27}
Finished 55.
{"time": 18.74751591682434, "length": 14}
Finished 68.
{"time": 568.7274391651154, "length": 31}
Finished 69.
{"time": 107.8236985206604, "length": 21}
Finished 26.
{"time": 20.658066987991333, "length": 13}
Finished 27.
{"time": 649.7394790649414, "length": 33}
Finished 40.
{"time": 127.5403344631195, "length": 23}
Finished 41.
{"time": 170.4204044342041, "length": 26}
Finished 92.
{"time": 67.1700849533081, "length": 21}
Finished 93.
{"time": 626.2647950649261, "length": 35}
Finished 6.
{"time": 11.34182095527649, "length": 12}
Finished 7.
{"time": 15.869754314422607, "length": 14}
Finished 58.
{"time": 78.02051281929016, "length": 20}
Finished 59.
{"time": 0.07552695274353027, "length": 4}
Finished 70.
{"time": 65.9760091304779, "length": 18}
Finished 71.
{"time": 417.4818015098572, "length": 29}
Finished 80.
{"time": 52.14788794517517, "length": 16}
Finished 81.
{"time": 376.6775302886963, "length": 31}
Finished 30.
{"time": 13.568840980529785, "length": 15}
Finished 31.
{"time": 14.771528720855713, "length": 12}
Finished 52.
{"time": 150.02525162696838, "length": 26}
Finished 53.
{"time": 40.4422402381897, "length": 15}
Finished 56.
{"time": 39.020554304122925, "length": 15}
Finished 57.
{"time": 123.31691312789917, "length": 23}
Finished 60.
{"time": 25.37082290649414, "length": 18}
Finished 61.
{"time": 35.11495566368103, "length": 16}
Finished 78.
{"time": 31.114169120788574, "length": 19}
Finished 79.
{"time": 13.013166904449463, "length": 14}
Finished 84.
{"time": 1319.1630425453186, "length": 38}
Finished 85.
{"time": 90.2872622013092, "length": 21}
Finished 10.
{"time": 152.38087129592896, "length": 25}
Finished 11.
{"time": 60.91615390777588, "length": 18}
Finished 48.
{"time": 364.88989305496216, "length": 28}
Finished 49.
{"time": 47.00330662727356, "length": 18}
Finished 64.
{"time": 236.22753429412842, "length": 26}
Finished 65.
{"time": 341.5189778804779, "length": 29}
Finished 98.
{"time": 1414.471482038498, "length": 45}
Finished 99.
{"time": 2602.5398993492126, "length": 52}
Finished 22.
{"time": 56.26885628700256, "length": 19}
Finished 23.
Pool initialized, start parsing now.
Time: (24604.90)s