sat_stats.txt

{"none": [0.040457963943481445, 0.23599576950073242, 0.07421326637268066, 0.0760030746459961, 0.010378122329711914, 0.019387245178222656, 0.01100301742553711, 0.018098831176757812, 0.005442142486572266, 0.010210037231445312, 0.010241985321044922, 0.010660171508789062, 0.005568027496337891, 0.0052449703216552734, 0.00574803352355957, 0.01025700569152832, 60.54985809326172, 9.341830015182495, 13.80285120010376, 88.05178713798523, 0.13265275955200195, 0.04102182388305664, 0.143294095993042, 0.08262896537780762, 0.006165981292724609, 0.010441064834594727, 0.010505914688110352, 0.0058290958404541016, 5.659300088882446, 0.5830929279327393, 0.8834760189056396, 0.3163340091705322, 0.6589128971099854, 0.0057299137115478516, 0.006186962127685547, 0.006142139434814453, 108.78762865066528, 0.01140904426574707, 0.01063990592956543, 0.023267269134521484, 0.012157917022705078, 0.023411035537719727, 0.012474298477172852, 0.02419900894165039, 0.010203838348388672, 0.023636817932128906, 3.410092830657959, 33.768330097198486, 128.07827997207642, 0.36037302017211914, 1.4831621646881104, 0.01063084602355957, 0.04593491554260254, 0.13624000549316406, 0.706693172454834, 0.012510061264038086, 0.010767221450805664, 0.07645320892333984, 0.08122992515563965, 2.9483048915863037, 0.010328054428100586, 0.019800662994384766, 0.23097586631774902, 0.16946816444396973, 0.2290942668914795, 0.010493040084838867, 0.017456769943237305, 0.005450010299682617, 0.011003255844116211, 0.009972810745239258, 0.009643077850341797, 0.010763883590698242, 0.010145187377929688, 0.005118846893310547, 0.010601997375488281, 0.011026859283447266, 0.010471820831298828, 0.006029844284057617, 0.0061798095703125, 0.006128072738647461, 0.005656003952026367, 0.006086111068725586, 0.010290861129760742, 0.0063478946685791016, 0.0062541961669921875, 0.005780220031738281, 0.00574493408203125, 0.00627589225769043, 0.004996776580810547, 0.006154060363769531, 0.011907100677490234, 0.005594968795776367, 0.005812883377075195, 0.0050811767578125, 0.007603168487548828, 0.006475925445556641], "purelit": [0.018539905548095703, 0.02212691307067871, 0.04678201675415039, 0.01917290687561035, 0.011266946792602539, 0.010704755783081055, 0.005305767059326172, 0.018913984298706055, 0.006077766418457031, 0.0062792301177978516, 0.0062808990478515625, 0.005690097808837891, 0.011337995529174805, 0.006152153015136719, 0.005810976028442383, 0.005518198013305664, 162.5705590248108, 45.57996082305908, 5.394812107086182, 12.54975700378418, 92.44625997543335, 0.23192501068115234, 0.12152385711669922, 0.17798399925231934, 0.12784099578857422, 0.009860038757324219, 0.020867109298706055, 0.009922027587890625, 0.010251998901367188, 23.527601957321167, 0.18829917907714844, 1.7921278476715088, 1.6021130084991455, 0.5271120071411133, 0.006529092788696289, 0.01205301284790039, 0.010573863983154297, 0.012262105941772461, 0.01240396499633789, 0.01216268539428711, 0.039479970932006836, 0.012539148330688477, 0.02077198028564453, 0.012648820877075195, 0.023714065551757812, 0.012597084045410156, 0.022131919860839844, 0.04484391212463379, 59.50612497329712, 0.25443291664123535, 0.04003190994262695, 0.07554292678833008, 0.0832221508026123, 0.3166050910949707, 163.7939851284027, 28.874778032302856, 17.35328197479248, 0.01262521743774414, 1.7110052108764648, 0.9711802005767822, 2.7653141021728516, 0.01179814338684082, 0.010947227478027344, 0.02008509635925293, 44.42202877998352, 19.525665998458862, 0.012520074844360352, 0.01218104362487793, 0.4845740795135498, 7.892346143722534, 0.1975078582763672, 0.00757288932800293, 0.012499094009399414, 0.007521867752075195, 0.012434959411621094, 0.006552934646606445, 0.012421846389770508, 0.006674051284790039, 0.01155710220336914, 0.005208015441894531, 0.011302947998046875, 123.328684091568, 53.98937201499939, 13.603178024291992, 189.13393902778625, 122.02494692802429, 46.80180788040161, 0.012605905532836914, 0.006560087203979492, 0.0064699649810791016, 0.006564140319824219, 0.012543916702270508, 0.006684303283691406, 0.006659984588623047, 0.006502866744995117, 0.006992816925048828, 0.0066568851470947266, 0.0061931610107421875, 0.006871938705444336, 0.006529092788696289, 0.0066111087799072266, 0.006635189056396484, 0.006450176239013672, 0.006482839584350586, 0.0065898895263671875, 0.012560129165649414, 0.006720066070556641], "SLIS": [0.023318052291870117, 0.04446291923522949, 0.012441873550415039, 0.013014078140258789, 0.07301187515258789, 0.012739896774291992, 0.038331031799316406, 0.006020784378051758, 0.00670623779296875, 0.006479024887084961, 0.006487846374511719, 0.006470918655395508, 0.006394147872924805, 0.006428956985473633, 0.006788730621337891, 0.0066797733306884766, 10.263633012771606, 14.3688063621521, 16.45346212387085, 13.77743411064148, 18.0796799659729, 0.04298686981201172, 0.011298179626464844, 0.07868719100952148, 0.04118609428405762, 0.006585121154785156, 0.006660938262939453, 0.012151002883911133, 0.013041973114013672, 140.89792919158936, 79.68239688873291, 0.3663327693939209, 0.19988107681274414, 0.04661870002746582, 0.6967120170593262, 0.006440162658691406, 0.012358903884887695, 0.012761116027832031, 11.504294157028198, 0.012187957763671875, 0.012741804122924805, 0.020702838897705078, 0.01219487190246582, 0.011823177337646484, 0.012542009353637695, 0.011558294296264648, 0.04491710662841797, 0.012226104736328125, 0.01235198974609375, 0.021169185638427734, 0.02434396743774414, 0.0063059329986572266, 0.011632919311523438, 0.005409955978393555, 0.005778074264526367, 0.00605010986328125, 0.005818843841552734, 0.010744094848632812, 0.0060422420501708984, 0.0060689449310302734, 0.011281013488769531, 0.14387106895446777, 0.25672221183776855, 0.3182358741760254, 0.530684232711792, 0.48336195945739746, 1.0838263034820557, 0.08500814437866211, 0.30596303939819336, 0.1419830322265625, 0.2999851703643799, 0.010477781295776367, 0.012169122695922852, 0.010397195816040039, 0.01176905632019043, 0.006166934967041016, 0.006052970886230469, 0.006042003631591797, 0.005816221237182617, 0.0062007904052734375, 0.006288051605224609, 0.0061969757080078125, 0.005605220794677734, 0.0055959224700927734, 0.006157875061035156, 0.006195068359375, 0.005543947219848633, 0.006224155426025391, 0.0059430599212646484, 0.005861997604370117, 0.006038665771484375, 0.006006956100463867, 0.0062749385833740234, 0.005796194076538086], "SLIS + purelit": [0.019166946411132812, 0.0393979549407959, 0.010610342025756836, 0.010383844375610352, 0.04066896438598633, 0.018998146057128906, 0.04003405570983887, 0.010560035705566406, 0.010351181030273438, 0.005378007888793945, 0.00545811653137207, 0.005406856536865234, 0.00532984733581543, 0.0053899288177490234, 0.005199909210205078, 0.0047991275787353516, 4.776382923126221, 20.90767216682434, 52.141749143600464, 151.3286898136139, 6.150570869445801, 20.745135068893433, 24.04682421684265, 10.800790786743164, 0.12288093566894531, 0.01985001564025879, 0.12809395790100098, 0.17692208290100098, 0.005486011505126953, 0.01036214828491211, 0.01016998291015625, 0.009941816329956055, 199.43905186653137, 0.9135730266571045, 0.4057908058166504, 0.18668222427368164, 1.988077163696289, 0.005599021911621094, 135.713858127594, 185.50469708442688, 0.012536048889160156, 0.010488033294677734, 23.35560917854309, 0.009846687316894531, 0.012401103973388672, 0.07929205894470215, 0.0745549201965332, 0.03920412063598633, 0.02099013328552246, 0.01224207878112793, 0.017961978912353516, 0.010719060897827148, 0.010627985000610352, 0.06979775428771973, 0.02053093910217285, 0.010564088821411133, 0.009634017944335938, 0.02000880241394043, 0.03796505928039551, 0.00634002685546875, 0.005897998809814453, 0.005778312683105469, 0.005537986755371094, 0.0061359405517578125, 0.01128697395324707, 0.006540060043334961, 0.011530876159667969, 0.006231784820556641, 0.005629062652587891, 0.24354815483093262, 0.43438291549682617, 0.5287890434265137, 0.9209568500518799, 0.9705541133880615, 1.800044059753418, 0.19291210174560547, 0.5131499767303467, 0.3062119483947754, 0.5274412631988525, 0.011597871780395508, 0.010681867599487305, 0.011864662170410156, 0.011948108673095703, 0.006277799606323242, 0.005998134613037109, 0.006124019622802734, 0.005650997161865234, 0.005629777908325195, 0.0053369998931884766, 0.0055811405181884766, 0.005291938781738281, 0.006655216217041016, 0.006074190139770508, 0.005265951156616211, 0.006620883941650391, 0.0065462589263916016, 0.005743980407714844, 0.006353855133056641, 0.006135702133178711, 0.005569934844970703, 0.006168842315673828, 0.01104593276977539], "SLCS": [0.021879196166992188, 0.02103590965270996, 0.01211690902709961, 0.006331920623779297, 0.04346585273742676, 0.012178897857666016, 0.03967905044555664, 0.011723995208740234, 0.006217002868652344, 0.0051691532135009766, 0.00616002082824707, 0.005218029022216797, 0.006315946578979492, 0.006205320358276367, 0.005469083786010742, 0.006135225296020508, 1.9499361515045166, 51.90958213806152, 13.890493154525757, 18.351401805877686, 15.614310026168823, 21.11403203010559, 0.038604736328125, 0.018832921981811523, 0.07312393188476562, 0.07627701759338379, 0.005558013916015625, 0.010446786880493164, 0.010454177856445312, 0.009881258010864258, 80.07776689529419, 87.56800699234009, 0.012333869934082031, 0.36085033416748047, 0.07661914825439453, 0.7437660694122314, 0.006424903869628906, 82.77046704292297, 0.01097869873046875, 45.84165811538696, 0.5902493000030518, 0.13281607627868652, 0.012704133987426758, 0.012695074081420898, 0.012545108795166016, 0.02382493019104004, 0.012558937072753906, 0.012783050537109375, 0.021737098693847656, 0.006406068801879883, 0.010540008544921875, 0.006639957427978516, 0.006579160690307617, 0.006659984588623047, 0.01156306266784668, 0.006534099578857422, 0.0062100887298583984, 0.005239009857177734, 0.012237071990966797, 0.13747215270996094, 0.3158230781555176, 0.29989027976989746, 0.5998709201812744, 0.5319061279296875, 1.1606168746948242, 0.1410691738128662, 0.3566467761993408, 0.1430678367614746, 0.3158888816833496, 0.012374162673950195, 0.01251077651977539, 0.012462854385375977, 0.01216888427734375, 0.006420135498046875, 0.006606101989746094, 0.006235837936401367, 0.006617069244384766, 0.006639957427978516, 0.00646209716796875, 0.0065898895263671875, 0.006525993347167969, 0.006311178207397461, 0.006507158279418945, 0.006263017654418945, 0.006294727325439453, 0.006268739700317383, 0.005560874938964844, 0.006282806396484375, 0.005845069885253906, 0.006262063980102539, 0.0057599544525146484, 0.006640911102294922], "SLCS + purelit": [0.011095046997070312, 0.010300874710083008, 0.0060672760009765625, 0.00631403923034668, 0.04349017143249512, 0.012355804443359375, 0.04490804672241211, 0.01248621940612793, 0.005735158920288086, 0.005870819091796875, 0.006646633148193359, 0.006602048873901367, 0.006688117980957031, 0.006669044494628906, 0.006243228912353516, 0.006368160247802734, 0.4281589984893799, 3.3997738361358643, 23.831199884414673, 7.051717281341553, 8.99964427947998, 26.076254844665527, 17.399088859558105, 9.204300165176392, 0.0753788948059082, 0.024291038513183594, 0.14208579063415527, 0.14304590225219727, 0.006864786148071289, 0.023617029190063477, 0.012526988983154297, 0.012392759323120117, 154.6837341785431, 0.04780912399291992, 0.4262690544128418, 0.31632304191589355, 2.3146491050720215, 0.0066530704498291016, 17.801358938217163, 0.012948989868164062, 5.281041145324707, 0.18995094299316406, 0.2997419834136963, 0.012928009033203125, 0.011924266815185547, 0.012964963912963867, 0.012002706527709961, 0.024728059768676758, 0.006305217742919922, 0.012306928634643555, 0.024932146072387695, 0.006725788116455078, 0.005713939666748047, 0.0063059329986572266, 0.005852937698364258, 0.0063059329986572266, 0.0064198970794677734, 0.006682157516479492, 0.006623029708862305, 0.006372213363647461, 0.006247997283935547, 0.23839378356933594, 0.42449307441711426, 0.479417085647583, 0.8281970024108887, 0.847646951675415, 1.5682318210601807, 0.18302702903747559, 0.466217041015625, 0.24733901023864746, 0.48505210876464844, 0.0475461483001709, 0.02734684944152832, 0.02362799644470215, 0.02539801597595215, 0.007050991058349609, 0.007214069366455078, 0.0072498321533203125, 0.0063321590423583984, 0.006595134735107422, 0.005920886993408203, 0.0064508914947509766, 0.006967782974243164, 0.007142782211303711, 0.0062427520751953125, 0.006726980209350586, 0.006140947341918945, 0.005455732345581055, 0.0069539546966552734, 0.005979061126708984, 0.006606101989746094, 0.006830930709838867, 0.007085084915161133, 0.006614208221435547], "DLIS": [0.010632991790771484, 0.024467945098876953, 0.012688159942626953, 0.0063550472259521484, 0.024052858352661133, 0.02489018440246582, 0.05022788047790527, 0.023914098739624023, 0.011877059936523438, 0.006248950958251953, 0.006080150604248047, 0.005577802658081055, 0.0054967403411865234, 0.006089925765991211, 0.0065729618072509766, 0.006594181060791016, 0.47722601890563965, 14.816143989562988, 11.36600399017334, 20.56528902053833, 5.067324876785278, 6.784418106079102, 6.773900032043457, 0.9238138198852539, 0.0887598991394043, 0.024953126907348633, 0.08272886276245117, 0.07828021049499512, 0.014796018600463867, 0.023118019104003906, 0.023378849029541016, 0.02385997772216797, 199.60875010490417, 3.2154810428619385, 1.057168960571289, 1.7494940757751465, 4.382842063903809, 0.014800786972045898, 0.08423495292663574, 0.012835264205932617, 0.0067441463470458984, 5.862979173660278, 2.428039312362671, 0.010725975036621094, 5.299605131149292, 0.0248110294342041, 65.03074884414673, 9.76919174194336, 0.08417701721191406, 0.02239513397216797, 0.08577704429626465, 0.05042695999145508, 0.02808690071105957, 0.02227306365966797, 0.024387121200561523, 0.023802995681762695, 0.00669097900390625, 0.01182699203491211, 0.011670112609863281, 0.08603215217590332, 0.028138160705566406, 0.023148775100708008, 0.04792284965515137, 0.027806758880615234, 0.024231910705566406, 0.025211811065673828, 0.038693904876708984, 0.04968690872192383, 0.007011890411376953, 0.013129949569702148, 0.00698089599609375, 0.01333308219909668, 0.007601022720336914, 0.013365030288696289, 0.014159917831420898, 0.012781143188476562, 0.0062427520751953125, 0.0125579833984375, 0.18998384475708008, 0.3758089542388916, 0.5245819091796875, 1.8645648956298828, 1.2994818687438965, 2.4103879928588867, 0.2554590702056885, 0.9745888710021973, 0.3581681251525879, 0.5932040214538574, 40.169596910476685, 149.5836980342865, 0.0065495967864990234, 0.006798982620239258, 0.006764888763427734, 0.00648188591003418, 0.006650686264038086, 0.006808042526245117, 0.007096052169799805, 0.007302045822143555, 0.007469892501831055, 0.006244182586669922, 0.005625009536743164, 0.006639003753662109, 0.007072925567626953, 0.007221221923828125, 0.00699305534362793, 0.006554126739501953, 0.0065572261810302734, 0.007025957107543945, 0.006651878356933594], "DLIS + purelit": [0.010011911392211914, 0.02007913589477539, 0.0050067901611328125, 0.005548954010009766, 0.02073383331298828, 0.01079702377319336, 0.019067049026489258, 0.010422945022583008, 0.010394096374511719, 0.00543522834777832, 0.005303144454956055, 0.0053441524505615234, 0.005440950393676758, 0.0051157474517822266, 0.004987955093383789, 0.00531315803527832, 0.22602605819702148, 3.09787917137146, 3.0455808639526367, 4.769869804382324, 3.723630666732788, 11.127947092056274, 7.382715225219727, 0.9791131019592285, 0.12822389602661133, 0.03416085243225098, 0.07481598854064941, 0.12671804428100586, 0.005469083786010742, 0.020856142044067383, 0.021142005920410156, 0.019622087478637695, 3.5403571128845215, 1.315565824508667, 2.062980890274048, 5.770244121551514, 0.005316972732543945, 0.1945018768310547, 95.04896903038025, 0.0113677978515625, 0.012248039245605469, 4.332820892333984, 2.144620895385742, 0.010473966598510742, 8.201289892196655, 0.020222902297973633, 81.57372093200684, 0.03919792175292969, 11.540902137756348, 0.07697725296020508, 0.08020687103271484, 0.03649187088012695, 0.12948203086853027, 0.024250030517578125, 0.011966943740844727, 0.02122807502746582, 0.024426937103271484, 0.04196023941040039, 0.011077880859375, 0.010699033737182617, 0.019962072372436523, 0.08373403549194336, 0.012487173080444336, 0.021255970001220703, 0.08216404914855957, 0.009629964828491211, 0.011195182800292969, 0.021170854568481445, 0.020806074142456055, 0.03647208213806152, 0.006587028503417969, 0.005982160568237305, 0.005928993225097656, 0.011620759963989258, 0.0053670406341552734, 0.013016939163208008, 0.006654977798461914, 0.006192922592163086, 0.006103992462158203, 0.011768817901611328, 0.19399118423461914, 0.4333231449127197, 0.649791955947876, 2.1997733116149902, 1.4665160179138184, 2.876495838165283, 0.3086378574371338, 1.1067070960998535, 0.36637020111083984, 0.6997730731964111, 25.698180198669434, 0.006554841995239258, 0.006364107131958008, 0.006257295608520508, 0.006330251693725586, 0.006077289581298828, 0.0054912567138671875, 0.006146907806396484, 0.006009101867675781, 0.007452726364135742, 0.005449771881103516, 0.005838155746459961, 0.006047964096069336, 0.012002229690551758, 0.010942220687866211, 0.00515294075012207, 0.005567789077758789, 0.011400938034057617, 0.005454301834106445, 0.006467103958129883], "DLCS": [0.013025999069213867, 0.012166261672973633, 0.012147903442382812, 0.0068950653076171875, 0.02032470703125, 0.012274980545043945, 0.01805424690246582, 0.005826234817504883, 0.005477190017700195, 0.0063018798828125, 0.006348133087158203, 0.006412029266357422, 0.006190776824951172, 0.0066339969635009766, 0.006324052810668945, 0.006391763687133789, 0.6874029636383057, 1.2998220920562744, 2.586350917816162, 1.1935093402862549, 1.7608089447021484, 3.7011802196502686, 4.857064962387085, 0.5795822143554688, 0.13683509826660156, 0.041047096252441406, 0.1330699920654297, 0.07880711555480957, 0.011904001235961914, 0.020705699920654297, 0.021372079849243164, 0.017635107040405273, 0.8123118877410889, 0.17557811737060547, 0.5624840259552002, 3.635098934173584, 0.005878925323486328, 3.7082958221435547, 108.04160809516907, 0.011597156524658203, 0.13800597190856934, 6.01972508430481, 6.737224817276001, 9.06449580192566, 0.020282983779907227, 6.03853178024292, 0.07692790031433105, 1.821286916732788, 0.07255673408508301, 0.17957496643066406, 0.446958065032959, 1.7180609703063965, 0.03808999061584473, 0.009231805801391602, 0.07386589050292969, 0.03933596611022949, 0.1252892017364502, 0.010171890258789062, 0.010223150253295898, 0.019038915634155273, 1.296821117401123, 0.010432004928588867, 0.28696227073669434, 19.32445216178894, 0.010550975799560547, 0.02058100700378418, 0.018812894821166992, 0.173414945602417, 0.04041004180908203, 0.005422830581665039, 0.010978221893310547, 0.005368947982788086, 0.010512113571166992, 0.00541996955871582, 0.010294914245605469, 0.005554914474487305, 0.010720014572143555, 0.005582094192504883, 0.010242938995361328, 0.22859883308410645, 0.44410109519958496, 0.6591758728027344, 2.2479419708251953, 1.5681288242340088, 2.9427201747894287, 0.28830790519714355, 1.13214111328125, 0.39476895332336426, 0.7060980796813965, 0.006273031234741211, 0.0063419342041015625, 0.006215095520019531, 0.006260871887207031, 0.006211042404174805, 0.0063800811767578125, 0.005886077880859375, 0.005287885665893555, 0.005784034729003906, 0.006300926208496094, 0.006298065185546875, 0.006290912628173828, 0.006011962890625, 0.006085872650146484, 0.006081104278564453, 0.006412982940673828, 0.008903741836547852, 0.006173849105834961, 0.006261110305786133], "DLCS + purelit": [0.006190061569213867, 0.011028289794921875, 0.011341094970703125, 0.006190776824951172, 0.020914793014526367, 0.011545181274414062, 0.022722959518432617, 0.010681867599487305, 0.006596088409423828, 0.005362749099731445, 0.005721092224121094, 0.00598597526550293, 0.00652313232421875, 0.006887912750244141, 0.006281852722167969, 0.006078004837036133, 0.23949599266052246, 0.47100281715393066, 0.8619198799133301, 0.47446298599243164, 1.2997710704803467, 3.425292730331421, 5.490896224975586, 0.46649909019470215, 0.13335871696472168, 0.04200601577758789, 0.14298295974731445, 0.08113408088684082, 0.006227016448974609, 0.022134065628051758, 0.023138046264648438, 0.01127314567565918, 0.809424877166748, 0.19251680374145508, 0.5474441051483154, 4.533042907714844, 0.006616115570068359, 2.469627857208252, 66.43794584274292, 0.012608051300048828, 0.08057188987731934, 0.8665049076080322, 1.0897789001464844, 0.012302875518798828, 5.927534103393555, 0.08392667770385742, 1.745445966720581, 0.04210090637207031, 0.13533425331115723, 0.4244530200958252, 1.6898653507232666, 0.024574995040893555, 0.011691093444824219, 0.0799858570098877, 0.04878807067871094, 0.144456148147583, 0.01242518424987793, 0.012251853942871094, 0.0248260498046875, 1.5350279808044434, 0.01262807846069336, 0.2971060276031494, 19.19480872154236, 0.012506723403930664, 0.011993885040283203, 0.024183034896850586, 0.19227814674377441, 0.046144962310791016, 0.006705284118652344, 0.01267099380493164, 0.006710052490234375, 0.006536006927490234, 0.0064051151275634766, 0.012579917907714844, 0.006206989288330078, 0.012553930282592773, 0.006621837615966797, 0.0063288211822509766, 0.19442105293273926, 0.4333817958831787, 0.6498470306396484, 2.172619104385376, 1.567697286605835, 2.8691611289978027, 0.3245389461517334, 1.1408462524414062, 0.4243288040161133, 0.699882984161377, 0.006627082824707031, 0.006424903869628906, 0.006237030029296875, 0.0066869258880615234, 0.006718158721923828, 0.006731986999511719, 0.00596308708190918, 0.006731986999511719, 0.006362199783325195, 0.0064351558685302734, 0.0063779354095458984, 0.006400108337402344, 0.006342887878417969, 0.006827116012573242, 0.00672602653503418, 0.006644010543823242, 0.00625920295715332, 0.00646519660949707, 0.006371974945068359], "backtrack count": [0.005627870559692383, 0.006181955337524414, 0.006669044494628906, 0.005858182907104492, 0.0062711238861083984, 0.006486177444458008, 0.006562948226928711, 0.006757020950317383, 0.006708860397338867, 0.006751060485839844, 0.00576472282409668, 0.006443023681640625, 0.006444215774536133, 0.006490230560302734, 0.006413936614990234, 0.0064182281494140625, 0.006502866744995117, 0.006587028503417969, 0.01093292236328125, 0.006610870361328125, 0.012630224227905273, 0.01254725456237793, 0.0068132877349853516, 0.006463050842285156, 0.00643610954284668, 0.011172056198120117, 0.012185811996459961, 0.0061798095703125, 0.006161212921142578, 0.006479978561401367, 0.006443977355957031, 0.00561213493347168, 0.005822896957397461, 0.02454209327697754, 0.01235508918762207, 0.024151086807250977, 0.19221282005310059, 0.07626509666442871, 0.040221214294433594, 0.3096442222595215, 0.3733859062194824, 0.1923832893371582, 0.2507147789001465, 0.07327795028686523, 0.024391889572143555, 0.011219978332519531, 0.012445211410522461, 0.04481387138366699, 0.006577014923095703, 0.006784677505493164, 0.006052732467651367, 0.01239466667175293, 0.01244211196899414, 0.010798931121826172, 0.022789716720581055, 0.021394014358520508, 0.012147903442382812, 0.019335031509399414, 0.011802911758422852, 0.022790193557739258, 0.012585878372192383, 0.020797014236450195, 0.04252791404724121, 0.2570762634277344, 0.07333779335021973, 0.04308485984802246, 0.047377824783325195, 0.07587409019470215, 0.1926100254058838, 0.040538787841796875, 0.04302620887756348, 0.0833578109741211, 0.022429943084716797, 0.01286768913269043, 0.01273202896118164, 0.024834871292114258, 0.020714998245239258, 0.011893033981323242, 0.010322809219360352, 0.012524843215942383, 0.07750082015991211, 0.012646913528442383, 0.13038206100463867, 10.006402730941772, 0.012669801712036133, 0.01099705696105957, 0.04271221160888672, 0.04309725761413574, 0.03996610641479492, 0.0068471431732177734, 0.009423017501831055, 0.006201267242431641, 0.006710052490234375, 0.006588935852050781, 0.011816978454589844, 0.0065250396728515625, 0.006384849548339844, 0.0057637691497802734, 0.0062978267669677734, 0.07632207870483398, 0.08321213722229004, 0.3495490550994873, 0.29691004753112793, 0.8198981285095215, 0.4332308769226074, 0.02340078353881836, 0.20300793647766113, 0.8498570919036865, 2.2133378982543945, 0.012707948684692383, 0.011578083038330078, 0.011873006820678711, 0.012471199035644531, 0.006472110748291016, 0.006391048431396484, 0.006372928619384766, 0.006602048873901367, 0.006494760513305664, 0.006476879119873047, 0.0064089298248291016, 0.00541377067565918, 0.00648188591003418, 0.006616115570068359, 0.006063938140869141, 0.006593942642211914, 0.006337165832519531, 0.006046295166015625, 0.006373882293701172, 0.005948066711425781, 0.005688905715942383, 0.006663322448730469, 0.006733894348144531], "backtrack count + purelit": [0.00670313835144043, 0.006463050842285156, 0.006294727325439453, 0.006583213806152344, 0.00644230842590332, 0.006667137145996094, 0.006670236587524414, 0.00633692741394043, 0.006151914596557617, 0.0058290958404541016, 0.006489753723144531, 0.006311893463134766, 0.006683826446533203, 0.006211757659912109, 0.00643610954284668, 0.006762981414794922, 0.0063898563385009766, 0.006494760513305664, 0.01082611083984375, 0.0065631866455078125, 0.011192083358764648, 0.011903047561645508, 0.00628209114074707, 0.0063669681549072266, 0.006391048431396484, 0.02072310447692871, 0.010406017303466797, 0.0057909488677978516, 0.006449222564697266, 0.006441831588745117, 0.012427091598510742, 0.006018877029418945, 0.006045818328857422, 0.024040937423706055, 0.006353855133056641, 0.02138996124267578, 0.0812680721282959, 0.14200997352600098, 0.01264190673828125, 0.3635551929473877, 0.5813040733337402, 0.4185678958892822, 0.8665440082550049, 0.18378019332885742, 0.04289507865905762, 0.03959512710571289, 0.023386240005493164, 0.08491897583007812, 0.006000995635986328, 0.006591081619262695, 0.00677180290222168, 0.009759902954101562, 0.009952068328857422, 0.02112722396850586, 0.02062702178955078, 0.019980192184448242, 0.012539148330688477, 0.024459123611450195, 0.01256108283996582, 0.020905017852783203, 0.012808799743652344, 0.0245969295501709, 0.04112982749938965, 0.13965916633605957, 0.13328909873962402, 0.04330301284790039, 0.03828096389770508, 0.19275283813476562, 0.18244099617004395, 0.04647421836853027, 0.044046878814697266, 0.19524192810058594, 0.04265308380126953, 0.01068115234375, 0.019784212112426758, 0.040303945541381836, 0.023894786834716797, 0.011871337890625, 0.011328935623168945, 0.021950960159301758, 0.13024091720581055, 0.012598991394042969, 0.23845195770263672, 52.37100529670715, 0.012686014175415039, 0.01174020767211914, 0.08150506019592285, 0.08755874633789062, 0.12613487243652344, 0.006514787673950195, 0.012449026107788086, 0.006067037582397461, 0.012326955795288086, 0.006579875946044922, 0.0064508914947509766, 0.006421089172363281, 0.005822896957397461, 0.006320953369140625, 0.0061397552490234375, 0.14017176628112793, 0.13184404373168945, 1.1172370910644531, 0.8633053302764893, 1.4276628494262695, 1.1026692390441895, 0.024589061737060547, 0.3473219871520996, 1.6077911853790283, 3.995788812637329, 0.02469778060913086, 0.011538267135620117, 0.022100210189819336, 0.012717962265014648, 0.0066680908203125, 0.005941867828369141, 0.006448984146118164, 0.0065097808837890625, 0.006484031677246094, 0.006482839584350586, 0.006430864334106445, 0.0064239501953125, 0.0063321590423583984, 0.0063250064849853516, 0.006565093994140625, 0.006513118743896484, 0.005098819732666016, 0.0063397884368896484, 0.006580829620361328, 0.006622314453125, 0.006356000900268555, 0.0054531097412109375, 0.006329059600830078], "MOM": [0.006500959396362305, 0.00649714469909668, 0.006409168243408203, 0.0064089298248291016, 0.0224149227142334, 0.006418943405151367, 0.024528980255126953, 0.006442070007324219, 0.00551915168762207, 0.0065882205963134766, 0.006551980972290039, 0.006281137466430664, 0.006148815155029297, 0.005644083023071289, 0.006412029266357422, 0.006421089172363281, 41.82465720176697, 0.006558895111083984, 0.48073697090148926, 2.16876482963562, 0.3072938919067383, 0.8718948364257812, 0.006630897521972656, 0.0064890384674072266, 0.012122154235839844, 0.02370905876159668, 0.02114081382751465, 0.006741046905517578, 0.006418943405151367, 0.005658864974975586, 0.011909961700439453, 0.0066912174224853516, 0.006621837615966797, 0.0061800479888916016, 0.024498939514160156, 0.041648149490356445, 0.14325284957885742, 0.4165971279144287, 0.03992486000061035, 0.011622905731201172, 0.0880739688873291, 0.08316683769226074, 0.006378173828125, 0.04341697692871094, 0.012314081192016602, 0.010660886764526367, 31.332375049591064, 14.578530073165894, 0.012460947036743164, 40.18172788619995, 0.14298200607299805, 165.1405098438263, 118.36119484901428, 0.042172908782958984, 27.989614009857178, 13.548803091049194, 2.212965965270996, 108.10716891288757, 44.503395080566406, 0.08810186386108398, 0.18988800048828125, 50.55966281890869, 21.96578884124756, 0.011029958724975586, 0.02199411392211914, 0.13323712348937988, 0.023504972457885742, 7.818356990814209, 0.012521982192993164, 0.0251619815826416, 1.0515339374542236, 3.3981120586395264, 5.469767093658447, 0.006676912307739258, 0.01265406608581543, 0.006928920745849609, 0.012784004211425781, 0.006753206253051758, 0.012613773345947266, 0.006009101867675781, 0.012527227401733398, 0.006808042526245117, 0.012800931930541992, 1.202221155166626, 8.01494812965393, 12.057666778564453, 10.358263731002808, 13.049531936645508, 5.683265209197998, 13.53364086151123, 1.2250769138336182, 22.006767988204956, 1.7533822059631348, 23.048514127731323, 1.2477750778198242, 51.33028984069824, 0.006608009338378906, 0.006845951080322266, 0.006204843521118164, 0.0067899227142333984, 0.006652116775512695, 0.010605812072753906, 0.006485939025878906, 0.005800962448120117, 0.006411075592041016, 0.006615161895751953, 0.006561994552612305, 0.006539821624755859, 0.006337881088256836, 0.006186962127685547, 0.006752967834472656, 0.006150960922241211, 0.0065190792083740234, 0.006514072418212891, 0.00603485107421875], "MOM + purelit": [0.005586862564086914, 0.0057070255279541016, 0.005554914474487305, 0.005670785903930664, 0.005281925201416016, 0.004992008209228516, 0.03475499153137207, 0.005511045455932617, 0.00970005989074707, 0.005789995193481445, 0.010124921798706055, 0.010739803314208984, 0.005507946014404297, 0.0048329830169677734, 0.00529026985168457, 0.00498509407043457, 0.005361080169677734, 0.0054819583892822266, 0.0062580108642578125, 0.0048542022705078125, 0.0055408477783203125, 0.23404502868652344, 0.4365711212158203, 0.005480051040649414, 0.010226964950561523, 0.009563207626342773, 0.03773307800292969, 0.020154953002929688, 0.005448102951049805, 0.010484933853149414, 0.005529642105102539, 0.009817123413085938, 0.005361795425415039, 0.00981903076171875, 0.0053310394287109375, 0.00543212890625, 0.00994110107421875, 0.005140066146850586, 0.01737499237060547, 0.07470512390136719, 0.1214139461517334, 0.39238405227661133, 0.03584694862365723, 0.019208908081054688, 0.11865711212158203, 0.07619500160217285, 0.004995107650756836, 0.06866097450256348, 0.010435819625854492, 0.01917409896850586, 0.00988316535949707, 5.007852077484131, 3.8516879081726074, 0.009817838668823242, 106.54376125335693, 47.68956208229065, 0.17740702629089355, 162.54830718040466, 121.83004474639893, 0.04001307487487793, 31.263428211212158, 11.127321004867554, 2.173408031463623, 107.62266707420349, 45.46583867073059, 0.06937909126281738, 0.23186397552490234, 49.14789295196533, 20.72789192199707, 0.019968032836914062, 0.020006895065307617, 0.12520098686218262, 82.04092693328857, 0.01784205436706543, 11.216681241989136, 0.01055288314819336, 0.02114415168762207, 0.9225080013275146, 5.376949071884155, 5.373978137969971, 0.005679130554199219, 0.011694192886352539, 0.006249189376831055, 0.01079106330871582, 0.005630970001220703, 0.012028217315673828, 0.011078834533691406, 0.011666059494018555, 0.0055730342864990234, 0.009944915771484375, 1.2006499767303467, 7.88316798210144, 12.049499988555908, 10.049743175506592, 13.042563915252686, 5.673140048980713, 13.592234134674072, 1.4154419898986816, 22.775429725646973, 1.7873191833496094, 2.9736521244049072, 0.006386995315551758, 0.006249427795410156, 0.005830049514770508, 0.00627899169921875, 0.00639796257019043, 0.012211084365844727, 0.0056209564208984375, 0.006774187088012695, 0.005744218826293945, 0.00563502311706543, 0.006410121917724609, 0.009660005569458008, 0.009858131408691406, 0.005984067916870117, 0.010526895523071289, 0.0062868595123291016, 0.010503053665161133, 0.010000944137573242, 0.010934114456176758], "Boehm": [0.008661031723022461, 0.008036136627197266, 0.012282133102416992, 0.006819963455200195, 0.03481292724609375, 0.006185054779052734, 0.02239680290222168, 0.010296821594238281, 0.010526895523071289, 0.007197856903076172, 0.0059778690338134766, 0.006247997283935547, 0.006402015686035156, 0.006490945816040039, 0.006330013275146484, 0.005984067916870117, 0.006237030029296875, 36.26339292526245, 0.006472110748291016, 0.3017110824584961, 0.13320612907409668, 0.3166518211364746, 0.1845228672027588, 0.006494998931884766, 0.012595891952514648, 0.011783123016357422, 0.02373504638671875, 0.020679950714111328, 0.005774974822998047, 0.005377054214477539, 0.01113438606262207, 0.005566120147705078, 0.006150960922241211, 0.0064089298248291016, 0.01170206069946289, 3.847491979598999, 0.3456301689147949, 0.12802386283874512, 0.19009685516357422, 0.4330737590789795, 0.08042597770690918, 0.012550115585327148, 0.14065098762512207, 0.08573508262634277, 0.006657123565673828, 0.1397249698638916, 0.011744022369384766, 0.012542963027954102, 23.141072988510132, 82.49203205108643, 0.012356042861938477, 52.481743812561035, 0.012595176696777344, 173.84330701828003, 135.54921078681946, 30.215158939361572, 8.453529834747314, 2.403963804244995, 110.43196272850037, 48.166237115859985, 0.1238710880279541, 0.7672369480133057, 61.15487504005432, 28.171405792236328, 0.012220382690429688, 0.02331709861755371, 0.13750886917114258, 0.18228387832641602, 16.394936084747314, 0.00967097282409668, 0.02020096778869629, 1.2406470775604248, 2.235485792160034, 5.979488134384155, 0.005831241607666016, 0.00997614860534668, 0.0054590702056884766, 0.010109901428222656, 0.004916191101074219, 0.010070085525512695, 0.010409832000732422, 0.010487079620361328, 0.00999903678894043, 0.010571002960205078, 1.8263287544250488, 10.692330121994019, 15.191509008407593, 13.675353765487671, 15.44967007637024, 7.705318212509155, 15.430824995040894, 1.7728731632232666, 26.354074716567993, 2.5608150959014893, 0.019594907760620117, 0.019572973251342773, 0.01988673210144043, 0.0058290958404541016, 0.005416154861450195, 0.005383014678955078, 0.0055086612701416016, 0.005362749099731445, 0.010606765747070312, 0.010354042053222656, 0.009053230285644531, 0.0054531097412109375, 0.005354881286621094, 0.005352020263671875, 0.009953975677490234, 0.010048627853393555, 0.005513906478881836, 0.004908084869384766, 0.005494117736816406, 0.005311012268066406, 0.004990816116333008, 0.01026606559753418], "Boehm + purelit": [0.0057370662689208984, 0.005792140960693359, 0.005383968353271484, 0.005555868148803711, 0.005136728286743164, 0.005399942398071289, 0.005831718444824219, 0.009374380111694336, 0.005416154861450195, 0.005050182342529297, 0.0053081512451171875, 0.010514974594116211, 0.0054590702056884766, 0.009637832641601562, 0.010483980178833008, 0.005410909652709961, 0.005824089050292969, 0.004737138748168945, 0.009393930435180664, 0.005856037139892578, 0.12423491477966309, 0.010171890258789062, 0.12746906280517578, 0.005422115325927734, 0.009541988372802734, 0.01031804084777832, 0.01945805549621582, 0.010461807250976562, 0.005545854568481445, 0.0051021575927734375, 0.010271072387695312, 0.010399103164672852, 0.010512351989746094, 0.005469083786010742, 0.0055620670318603516, 0.009185075759887695, 1.3005199432373047, 0.006399393081665039, 0.005986213684082031, 0.3599069118499756, 0.08343386650085449, 0.13979387283325195, 0.359954833984375, 0.13037395477294922, 0.010211944580078125, 0.13953304290771484, 0.08082032203674316, 0.0059719085693359375, 0.009913206100463867, 0.010574102401733398, 0.010447978973388672, 2.8749423027038574, 12.732209920883179, 0.009734153747558594, 54.61239409446716, 0.0191190242767334, 173.7579219341278, 0.0830836296081543, 136.05515694618225, 29.75873899459839, 8.09447717666626, 2.3243331909179688, 110.23138523101807, 47.51298689842224, 0.08588004112243652, 0.6596710681915283, 58.41273283958435, 27.209250926971436, 0.012274980545043945, 0.023239850997924805, 0.13926410675048828, 94.64988493919373, 0.1231389045715332, 15.051709175109863, 0.012365102767944336, 0.03521895408630371, 1.26920485496521, 2.19519305229187, 5.866323232650757, 0.006412029266357422, 0.012302160263061523, 0.0067670345306396484, 0.012376785278320312, 0.0064067840576171875, 0.011455059051513672, 0.0064508914947509766, 0.011782169342041016, 0.006362199783325195, 0.012369155883789062, 1.9482498168945312, 10.640735387802124, 15.03957200050354, 13.642652988433838, 15.494680881500244, 7.6523659229278564, 14.966116905212402, 1.6517219543457031, 24.780752897262573, 2.3662970066070557, 0.012656927108764648, 15.936259984970093, 0.012490034103393555, 0.005698204040527344, 0.005995988845825195, 0.005625009536743164, 0.0055119991302490234, 0.005418300628662109, 0.00560307502746582, 0.01059103012084961, 0.012398004531860352, 0.006024837493896484, 0.005887031555175781, 0.011398077011108398, 0.005825042724609375, 0.006140947341918945, 0.006407976150512695, 0.0058498382568359375, 0.005766153335571289, 0.00542902946472168, 0.00623774528503418, 0.005460023880004883], "Jeroslow-Wang": [0.00580906867980957, 0.009825944900512695, 0.00545191764831543, 0.0062808990478515625, 0.012425899505615234, 0.006195068359375, 0.011161088943481445, 0.006544828414916992, 0.0062448978424072266, 0.006630897521972656, 0.006595134735107422, 0.006672859191894531, 0.006443023681640625, 0.0064389705657958984, 0.005459308624267578, 0.005956172943115234, 0.5754492282867432, 0.9263589382171631, 0.4177839756011963, 1.9798178672790527, 0.8014931678771973, 0.31613802909851074, 0.006783962249755859, 0.006587028503417969, 0.00617218017578125, 0.012227058410644531, 0.011140108108520508, 0.01151585578918457, 0.006672859191894531, 0.00601506233215332, 0.006654977798461914, 0.006438732147216797, 33.07581686973572, 0.5811920166015625, 0.35196900367736816, 0.7566590309143066, 0.4805328845977783, 0.012346982955932617, 0.006485939025878906, 0.02428913116455078, 0.04238700866699219, 0.006451845169067383, 0.024176836013793945, 21.280452966690063, 0.011049985885620117, 13.588299989700317, 6.808491945266724, 0.012302160263061523, 14.73112177848816, 0.024543046951293945, 144.13776469230652, 60.02487897872925, 4.765650987625122, 29.428924798965454, 0.30222010612487793, 0.599830150604248, 0.012286901473999023, 1.0974619388580322, 0.07598495483398438, 0.14350318908691406, 0.012173652648925781, 0.02440500259399414, 0.04328513145446777, 0.9359900951385498, 0.012532949447631836, 122.20947360992432, 165.8911590576172, 0.012470006942749023, 0.020042896270751953, 0.07409095764160156, 0.07626104354858398, 0.3599119186401367, 0.006231784820556641, 0.012693166732788086, 0.006562232971191406, 0.006223917007446289, 0.006392002105712891, 0.006378889083862305, 0.006387948989868164, 0.011601924896240234, 0.006386756896972656, 0.0064849853515625, 0.5301461219787598, 0.8233442306518555, 1.0430688858032227, 1.7166879177093506, 2.1898818016052246, 3.3997812271118164, 0.35962581634521484, 0.5236539840698242, 0.586122989654541, 0.7636268138885498, 0.012449026107788086, 0.0065517425537109375, 0.00609898567199707, 0.00651097297668457, 0.006485939025878906, 0.005485057830810547, 0.006360054016113281, 0.006278276443481445, 0.006299018859863281, 0.0061109066009521484, 0.006343841552734375, 0.006262063980102539, 0.006497859954833984, 0.006438016891479492, 0.006409168243408203, 0.006409883499145508, 0.006318807601928711, 0.006372213363647461, 0.006087064743041992, 0.006461381912231445], "Jeroslow-Wang + purelit": [0.006432056427001953, 0.01221609115600586, 0.006363868713378906, 0.006478786468505859, 0.011413097381591797, 0.006758213043212891, 0.012098073959350586, 0.006443023681640625, 0.0066759586334228516, 0.006300926208496094, 0.006208181381225586, 0.0054149627685546875, 0.006412029266357422, 0.006757974624633789, 0.006711006164550781, 0.006406068801879883, 0.23722076416015625, 0.36523890495300293, 0.14289593696594238, 0.8769099712371826, 0.6445000171661377, 0.13965702056884766, 0.00678706169128418, 0.006395101547241211, 0.0058629512786865234, 0.005918025970458984, 0.012564897537231445, 0.011208057403564453, 0.006273984909057617, 0.0062410831451416016, 0.0062711238861083984, 0.00635528564453125, 10.144274950027466, 0.7145781517028809, 0.3552258014678955, 0.9849441051483154, 0.47260093688964844, 0.010631084442138672, 0.006777763366699219, 0.02446722984313965, 0.0446019172668457, 0.006065845489501953, 0.02472209930419922, 0.006106138229370117, 20.44199776649475, 0.012312889099121094, 7.720499038696289, 3.9518630504608154, 0.022734880447387695, 19.473090887069702, 0.04257798194885254, 170.1529610157013, 0.04370999336242676, 68.59890604019165, 5.6986167430877686, 34.48801517486572, 0.36103081703186035, 0.7497649192810059, 0.01114797592163086, 1.14536714553833, 0.0764009952545166, 0.1899881362915039, 0.012709856033325195, 0.020951032638549805, 0.03745293617248535, 0.6369180679321289, 0.012434959411621094, 190.26140904426575, 0.012881994247436523, 0.020072221755981445, 0.08515405654907227, 0.08130002021789551, 0.4102199077606201, 0.006745100021362305, 0.006406307220458984, 0.0060389041900634766, 0.01230311393737793, 0.006516933441162109, 0.011395931243896484, 0.0060880184173583984, 0.00623631477355957, 0.006459951400756836, 0.01152801513671875, 0.6332378387451172, 0.9186351299285889, 1.1979739665985107, 1.9354801177978516, 2.566227912902832, 3.9399421215057373, 0.40971994400024414, 0.5934257507324219, 0.6400341987609863, 0.9350161552429199, 0.02097630500793457, 0.006196022033691406, 0.006106138229370117, 0.00639796257019043, 0.006005048751831055, 0.006136178970336914, 0.006065845489501953, 0.006028890609741211, 0.006178140640258789, 0.006192684173583984, 0.007009029388427734, 0.00642704963684082, 0.00654292106628418, 0.006284952163696289, 0.006041765213012695, 0.005960941314697266, 0.0064640045166015625, 0.006045818328857422, 0.006172895431518555, 0.0055539608001708984]}