scaling.csv

engine,family,operation,slope,r_squared,minimum_size,maximum_size,points
dtmc,absorbing,absorption-time,1.9195238547964864,0.981033190272428,10,500,6
dtmc,absorbing,absorption/probabilities,1.8073290016536392,0.973549002940442,10,500,6
dtmc,absorbing,construction/public-consumed,2.1773435232191423,0.9976901847826014,10,1000,7
dtmc,absorbing,evolution/k-10,1.5947243406759717,0.9333837247848489,10,1000,7
dtmc,absorbing,evolution/k-100,1.9561072001244348,0.9796538039045845,10,1000,7
dtmc,absorbing,evolution/one-step,1.4850272928248325,0.9418409440108374,10,1000,7
dtmc,absorbing,finite-time/n-step/k-10,0.602058733802258,0.9143462004543387,10,100,4
dtmc,absorbing,finite-time/n-step/k-100,0.7417596598201364,0.9373586723869528,10,100,4
dtmc,absorbing,finite-time/observation/k-10,0.6262837832713137,0.9377817182886115,10,100,4
dtmc,absorbing,finite-time/observation/k-100,0.7428894988090347,0.9396756760354099,10,100,4
dtmc,absorbing,finite-time/step,0.060021156189919773,0.927423097233393,10,100,4
dtmc,absorbing,fundamental-matrix,1.868191090964338,0.9907598520935696,10,500,6
dtmc,absorbing,hitting-probability/cold-all-states,1.9127622159941922,0.972574609024916,10,500,6
dtmc,absorbing,hitting-probability/warm-lookup,-0.0021550060507082446,0.07140918155877374,10,500,6
dtmc,absorbing,hitting-time/cold-all-states,1.9427835864464746,0.9754301789547879,10,500,6
dtmc,absorbing,hitting-time/warm-lookup,0.0016993934293640185,0.6555028652280378,10,500,6
dtmc,absorbing,hitting/bounded/at-most/k-10,0.6133856069010029,0.9220370732021557,10,100,4
dtmc,absorbing,hitting/bounded/at-most/k-100,0.7305670597231035,0.9293185455697444,10,100,4
dtmc,absorbing,hitting/bounded/exact/k-10,0.6186216752876277,0.9218887337489746,10,100,4
dtmc,absorbing,hitting/bounded/exact/k-100,0.7346172570299482,0.9288548839635913,10,100,4
dtmc,absorbing,hitting/bounded/greater-than/k-10,0.628714987446123,0.9213328135877489,10,100,4
dtmc,absorbing,hitting/bounded/greater-than/k-100,0.7329147768272993,0.9284777820312973,10,100,4
dtmc,absorbing,occupation-matrix,2.102429186132352,0.9939243111225212,10,250,5
dtmc,absorbing,power/10,1.8624117462251326,0.9877584323646178,10,500,6
dtmc,absorbing,power/100,1.9220741846626435,0.9817367685469393,10,500,6
dtmc,absorbing,power/2,1.8126936894698291,0.9930605701562928,10,500,6
dtmc,absorbing,return/bounded/k-10,0.6072099193681824,0.9067378997578401,10,100,4
dtmc,absorbing,return/bounded/k-100,0.7350497017349136,0.9291835422448241,10,100,4
dtmc,absorbing,stationary,1.8589169260697518,0.9748172837782327,10,500,6
dtmc,absorbing,structure/classes-cold,2.08582849417691,0.9783819160191076,10,1000,7
dtmc,absorbing,structure/classes-lifecycle,2.2449554719284905,0.9972705223512971,10,1000,7
dtmc,absorbing,structure/classes-warm/access,0.0013966508951055842,0.02879862693136015,10,1000,7
dtmc,absorbing,structure/classes-warm/consumed,1.0332424263420532,0.9998459722881607,10,1000,7
dtmc,absorbing,structure/irreducible-cold,2.1693401762012328,0.9833584638498742,10,1000,7
dtmc,absorbing,structure/irreducible-warm,-0.00028885715962151956,0.03631592917276938,10,1000,7
dtmc,absorbing,visits/bounded-expectation/k-10,0.4624326614843249,0.8965693176971989,10,100,4
dtmc,absorbing,visits/bounded-expectation/k-100,0.5192422311094924,0.8907217072815625,10,100,4
dtmc,dense,construction/public-consumed,2.1606761624505824,0.9980424423644378,10,1000,7
dtmc,dense,evolution/k-10,1.5430575676138663,0.9444257686851366,10,1000,7
dtmc,dense,evolution/k-100,1.8958560815386463,0.9845320899701421,10,1000,7
dtmc,dense,evolution/one-step,1.4411795904368805,0.9484205719209869,10,1000,7
dtmc,dense,finite-time/n-step/k-10,0.6042087935755416,0.9900290036233489,10,100,4
dtmc,dense,finite-time/n-step/k-100,0.6219699457598565,0.5541671118950569,10,100,4
dtmc,dense,finite-time/observation/k-10,0.5855075969861951,0.8391527303383902,10,100,4
dtmc,dense,finite-time/observation/k-100,0.7288673435248294,0.9667939578014114,10,100,4
dtmc,dense,finite-time/step,0.2773685710272736,0.8808717747868057,10,100,4
dtmc,dense,hitting-probability/cold-all-states,1.8644071774107622,0.9774566158291859,10,500,6
dtmc,dense,hitting-probability/warm-lookup,-0.01826853252263155,0.10502518709123654,10,500,6
dtmc,dense,hitting-time/cold-all-states,1.8847250554843327,0.9794486279400662,10,500,6
dtmc,dense,hitting-time/warm-lookup,-0.03277939045196968,0.32750414344619994,10,500,6
dtmc,dense,hitting/bounded/at-most/k-10,0.658754871136132,0.9545997521225444,10,100,4
dtmc,dense,hitting/bounded/at-most/k-100,0.7194249098887219,0.9481342610838657,10,100,4
dtmc,dense,hitting/bounded/exact/k-10,0.6614727171259788,0.9757876644104683,10,100,4
dtmc,dense,hitting/bounded/exact/k-100,0.7331142895509268,0.944945454011279,10,100,4
dtmc,dense,hitting/bounded/greater-than/k-10,0.6529416778136882,0.9687538573161106,10,100,4
dtmc,dense,hitting/bounded/greater-than/k-100,0.7375740766455908,0.9535772589830013,10,100,4
dtmc,dense,power/10,1.8211164941574636,0.9911447740726665,10,500,6
dtmc,dense,power/100,1.8809802327290104,0.9872327139474103,10,500,6
dtmc,dense,power/2,1.7708297461647682,0.9943164587189565,10,500,6
dtmc,dense,race/forward-committor,1.8743910604304912,0.9738472551727327,10,500,6
dtmc,dense,return/bounded/k-10,0.6072884095520291,0.9800540954364297,10,100,4
dtmc,dense,return/bounded/k-100,0.7119606290485568,0.9697283021187532,10,100,4
dtmc,dense,return/mean-recurrence,2.303157861351915,0.9808374004506275,10,500,6
dtmc,dense,simulation/10000,0.4396833103117382,0.6827162827626048,10,1000,7
dtmc,dense,simulation/100000,0.10332782264703393,0.3961721277282604,10,1000,7
dtmc,dense,stationary,2.321012566993252,0.9857104122688811,10,500,6
dtmc,dense,structure/classes-cold,1.8920234847234747,0.9859507495982571,10,500,6
dtmc,dense,structure/classes-lifecycle,2.1816037519646567,0.9990129575763403,10,500,6
dtmc,dense,structure/classes-warm/access,-0.04985648103609124,0.2569303202980062,10,500,6
dtmc,dense,structure/classes-warm/consumed,1.0113926072269692,0.9942594599838267,10,500,6
dtmc,dense,structure/irreducible-cold,1.9760028019970102,0.987907007905674,10,500,6
dtmc,dense,structure/irreducible-warm,-0.02444439883525026,0.15903775976327073,10,500,6
dtmc,dense,visits/bounded-expectation/k-10,0.46670576696567445,0.9957982062064301,10,100,4
dtmc,dense,visits/bounded-expectation/k-100,0.49334901852483565,0.9265688874883282,10,100,4
dtmc,low-outdegree,construction/public-consumed,2.1795158533010155,0.997638161199804,10,1000,7
dtmc,low-outdegree,evolution/k-10,1.5892698671735705,0.9339773634655418,10,1000,7
dtmc,low-outdegree,evolution/k-100,1.949325148117891,0.980638498588136,10,1000,7
dtmc,low-outdegree,evolution/one-step,1.4835945659521521,0.9419904652339841,10,1000,7
dtmc,low-outdegree,finite-time/n-step/k-10,0.5999495404319366,0.919491980327024,10,100,4
dtmc,low-outdegree,finite-time/n-step/k-100,0.7402375279517935,0.9382721272842738,10,100,4
dtmc,low-outdegree,finite-time/observation/k-10,0.6255291241312794,0.9404510141416572,10,100,4
dtmc,low-outdegree,finite-time/observation/k-100,0.7415297916855479,0.9400328238021467,10,100,4
dtmc,low-outdegree,finite-time/step,0.05905982424524078,0.99620928523398,10,100,4
dtmc,low-outdegree,hitting-probability/cold-all-states,1.659316374477676,0.970335028555907,10,500,6
dtmc,low-outdegree,hitting-probability/warm-lookup,-0.0034539492514896594,0.39455748744988894,10,500,6
dtmc,low-outdegree,hitting-time/cold-all-states,1.6853022716903965,0.9718269496391623,10,500,6
dtmc,low-outdegree,hitting-time/warm-lookup,-0.0005507037395714477,0.016101918117363723,10,500,6
dtmc,low-outdegree,hitting/bounded/at-most/k-10,0.6615201042858287,0.907232737013514,10,100,4
dtmc,low-outdegree,hitting/bounded/at-most/k-100,0.7418575764427846,0.9256857622198064,10,100,4
dtmc,low-outdegree,hitting/bounded/exact/k-10,0.6630576419305351,0.9079172075111125,10,100,4
dtmc,low-outdegree,hitting/bounded/exact/k-100,0.7431745458400211,0.9285802999135863,10,100,4
dtmc,low-outdegree,hitting/bounded/greater-than/k-10,0.6716593278184159,0.9094176577609011,10,100,4
dtmc,low-outdegree,hitting/bounded/greater-than/k-100,0.7367461461779325,0.9298149811441052,10,100,4
dtmc,low-outdegree,power/10,1.8587944799582121,0.988189045431658,10,500,6
dtmc,low-outdegree,power/100,1.9195151890401596,0.9817108473780727,10,500,6
dtmc,low-outdegree,power/2,1.8077637703168055,0.9930366783746781,10,500,6
dtmc,low-outdegree,race/forward-committor,1.65299225535345,0.9695365316476539,10,500,6
dtmc,low-outdegree,return/bounded/k-10,0.6046458465790945,0.9143690012093741,10,100,4
dtmc,low-outdegree,return/bounded/k-100,0.7345356985274937,0.9333518201320619,10,100,4
dtmc,low-outdegree,return/mean-recurrence,2.3435005948643544,0.970558575790408,10,500,6
dtmc,low-outdegree,simulation/10000,0.08742995847763217,0.5806665298305935,10,1000,7
dtmc,low-outdegree,simulation/100000,0.010911676565053562,0.4341651347634059,10,1000,7
dtmc,low-outdegree,stationary,2.3633130822873287,0.9717801170005494,10,500,6
dtmc,low-outdegree,structure/classes-cold,1.033006499471462,0.9926126010281888,10,1000,7
dtmc,low-outdegree,structure/classes-lifecycle,2.124481625848366,0.9960916805828021,10,1000,7
dtmc,low-outdegree,structure/classes-warm/access,-0.00011060461612300633,0.0016300773971561489,10,1000,7
dtmc,low-outdegree,structure/classes-warm/consumed,1.0491528677424942,0.9997061233920702,10,1000,7
dtmc,low-outdegree,structure/irreducible-cold,0.9567053764210885,0.9815749666159457,10,1000,7
dtmc,low-outdegree,structure/irreducible-warm,0.0020520415849182207,0.46990858253423573,10,1000,7
dtmc,low-outdegree,visits/bounded-expectation/k-10,0.4581997206489291,0.8984615729886065,10,100,4
dtmc,low-outdegree,visits/bounded-expectation/k-100,0.5193788357721885,0.8926829484491126,10,100,4
dtmc,periodic,construction/public-consumed,2.1806548054069803,0.9975634036431378,10,1000,7
dtmc,periodic,evolution/k-10,1.5724888768484964,0.9374183361943965,10,1000,7
dtmc,periodic,evolution/k-100,1.9341172403340867,0.9818729731997282,10,1000,7
dtmc,periodic,evolution/one-step,1.4668666287187722,0.9457600488486243,10,1000,7
dtmc,periodic,finite-time/n-step/k-10,0.4410200527688925,0.9817437212759746,10,100,4
dtmc,periodic,finite-time/n-step/k-100,0.5500849218739652,0.9891832007373117,10,100,4
dtmc,periodic,finite-time/observation/k-10,1.5386479333045044,0.9986254972808293,10,100,4
dtmc,periodic,finite-time/observation/k-100,1.542125783999743,0.9997777855515952,10,100,4
dtmc,periodic,finite-time/step,0.052122967411920705,0.9575864978855594,10,100,4
dtmc,periodic,hitting-probability/cold-all-states,1.6726903311496157,0.9692354655764254,10,500,6
dtmc,periodic,hitting-probability/warm-lookup,0.0010172874979772716,0.20386627013485226,10,500,6
dtmc,periodic,hitting-time/cold-all-states,1.7012718346172864,0.9713685785019636,10,500,6
dtmc,periodic,hitting-time/warm-lookup,-0.0022858864140168343,0.4248860336861967,10,500,6
dtmc,periodic,hitting/bounded/at-most/k-10,0.562280449948348,0.9851792407628499,10,100,4
dtmc,periodic,hitting/bounded/at-most/k-100,1.1826450885173614,0.9802462876404304,10,100,4
dtmc,periodic,hitting/bounded/exact/k-10,0.5776139164932865,0.9860165065531393,10,100,4
dtmc,periodic,hitting/bounded/exact/k-100,1.2006706613374811,0.9820393035320453,10,100,4
dtmc,periodic,hitting/bounded/greater-than/k-10,0.5779039019560801,0.9846759870160031,10,100,4
dtmc,periodic,hitting/bounded/greater-than/k-100,1.199820914989098,0.9813947493009889,10,100,4
dtmc,periodic,power/10,1.8624423931322294,0.9876410703743865,10,500,6
dtmc,periodic,power/100,1.9242125076662797,0.9819922861993443,10,500,6
dtmc,periodic,power/2,1.8124011678586427,0.9930678902941427,10,500,6
dtmc,periodic,return/bounded/k-10,0.41945170720546177,0.9788762446975698,10,100,4
dtmc,periodic,return/bounded/k-100,1.322306032180547,0.9912868002092998,10,100,4
dtmc,periodic,stationary,2.395501065536769,0.9727472538084918,10,500,6
dtmc,periodic,structure/classes-cold,0.9000160673682194,0.991170433096003,10,1000,7
dtmc,periodic,structure/classes-lifecycle,2.1458513537884896,0.9964316588137293,10,1000,7
dtmc,periodic,structure/classes-warm/access,0.0024008716098923295,0.186991641894086,10,1000,7
dtmc,periodic,structure/classes-warm/consumed,1.0509340682465114,0.9996686586337206,10,1000,7
dtmc,periodic,structure/cyclic-classes-cold,1.0268296067258496,0.9923386745524607,10,1000,7
dtmc,periodic,structure/cyclic-classes-warm,0.9936901028875729,0.9999227867927126,10,1000,7
dtmc,periodic,structure/irreducible-cold,0.8551581423667257,0.9776883818650877,10,1000,7
dtmc,periodic,structure/irreducible-warm,0.0044179058433547755,0.7689345965031251,10,1000,7
dtmc,periodic,structure/period-cold,1.0223426302511918,0.9861461614620307,10,1000,7
dtmc,periodic,structure/period-warm,-8.427906597296289e-05,0.0005186700146028178,10,1000,7
dtmc,periodic,visits/bounded-expectation/k-10,0.44329650855895486,0.9815784475150583,10,100,4
dtmc,periodic,visits/bounded-expectation/k-100,0.579264400684823,0.9940426880312937,10,100,4
dtmc,reducible,construction/public-consumed,2.1794223999504787,0.9976555619633146,10,1000,7
dtmc,reducible,evolution/k-10,1.573065858600098,0.9372462261761848,10,1000,7
dtmc,reducible,evolution/k-100,1.934786500480062,0.9820648912740864,10,1000,7
dtmc,reducible,evolution/one-step,1.4673472917326333,0.9463006426604729,10,1000,7
dtmc,reducible,finite-time/n-step/k-10,0.6075584709291482,0.915092080502977,10,100,4
dtmc,reducible,finite-time/n-step/k-100,0.7418863323221971,0.9373152587464958,10,100,4
dtmc,reducible,finite-time/observation/k-10,0.6281038516682549,0.9400646760923952,10,100,4
dtmc,reducible,finite-time/observation/k-100,0.7434452027055057,0.938486198451825,10,100,4
dtmc,reducible,finite-time/step,0.1625359020479764,0.7255106935116962,10,100,4
dtmc,reducible,hitting-probability/cold-all-states,1.7523949895227457,0.9742961071543509,10,500,6
dtmc,reducible,hitting-probability/warm-lookup,-0.0030043016158035453,0.43783446688705485,10,500,6
dtmc,reducible,hitting-time/cold-all-states,1.847240397584961,0.9798143554560484,10,500,6
dtmc,reducible,hitting-time/warm-lookup,0.0007333849046841727,0.36340303779849426,10,500,6
dtmc,reducible,hitting/bounded/at-most/k-10,0.739989548491024,0.900914336847091,10,100,4
dtmc,reducible,hitting/bounded/at-most/k-100,0.7541819276014042,0.9207638277515047,10,100,4
dtmc,reducible,hitting/bounded/exact/k-10,0.7430083461868351,0.9044747355742562,10,100,4
dtmc,reducible,hitting/bounded/exact/k-100,0.7553511293916818,0.925457303616843,10,100,4
dtmc,reducible,hitting/bounded/greater-than/k-10,0.7747137560139209,0.9009723786868011,10,100,4
dtmc,reducible,hitting/bounded/greater-than/k-100,0.7512852010999017,0.9261852483493564,10,100,4
dtmc,reducible,occupation-matrix,2.0187219159422267,0.9978037458307174,10,250,5
dtmc,reducible,power/10,1.8648401012769555,0.9876720999104576,10,500,6
dtmc,reducible,power/100,1.9244820378732077,0.9817955786293057,10,500,6
dtmc,reducible,power/2,1.8133324947344938,0.9929690387833927,10,500,6
dtmc,reducible,return/bounded/k-10,0.6163263384646573,0.9026281287559427,10,100,4
dtmc,reducible,return/bounded/k-100,0.736002522932519,0.9289618315200274,10,100,4
dtmc,reducible,stationary,1.620971573581422,0.9733881341029521,10,500,6
dtmc,reducible,structure/classes-cold,1.9324362272310442,0.9737925902768828,10,1000,7
dtmc,reducible,structure/classes-lifecycle,2.203589696356461,0.997178384274759,10,1000,7
dtmc,reducible,structure/classes-warm/access,0.00036057104354168205,0.004037154342862781,10,1000,7
dtmc,reducible,structure/classes-warm/consumed,1.0335692360927002,0.9999095330621985,10,1000,7
dtmc,reducible,structure/irreducible-cold,2.012041192960249,0.9802155292130662,10,1000,7
dtmc,reducible,structure/irreducible-warm,0.002259778336229745,0.12439925455255407,10,1000,7
dtmc,reducible,visits/bounded-expectation/k-10,0.4573352776182256,0.9104964381052172,10,100,4
dtmc,reducible,visits/bounded-expectation/k-100,0.5193501239188153,0.8908897778027056,10,100,4
pydtmc,absorbing,absorption-time,1.6563133382460724,0.9906235088876675,10,500,6
pydtmc,absorbing,absorption/probabilities,1.6527782722441893,0.990682354282097,10,500,6
pydtmc,absorbing,construction/public-consumed,1.8289153921881596,0.9916739666090286,10,1000,7
pydtmc,absorbing,evolution/k-10,0.9236648501030605,0.9193629347808141,10,1000,7
pydtmc,absorbing,evolution/k-100,0.9229294510210294,0.8426269362034389,10,1000,7
pydtmc,absorbing,evolution/one-step,0.9225999735314129,0.9597468044634786,10,1000,7
pydtmc,absorbing,finite-time/n-step/k-10,0.4369009246982506,0.9525990789861781,10,100,4
pydtmc,absorbing,finite-time/n-step/k-100,0.22426221455784617,0.851757866470338,10,100,4
pydtmc,absorbing,finite-time/observation/k-10,0.43778348418972657,0.949216009439381,10,100,4
pydtmc,absorbing,finite-time/observation/k-100,0.22837946200895573,0.8678558399201526,10,100,4
pydtmc,absorbing,finite-time/step,0.5245614270276148,0.9457550606467161,10,100,4
pydtmc,absorbing,fundamental-matrix,1.6639108633986472,0.9917810238251675,10,500,6
pydtmc,absorbing,hitting-probability/cold-all-states,2.0158887659578806,0.9386371550835175,10,500,6
pydtmc,absorbing,hitting-time/cold-all-states,2.0036245184405086,0.9371017805293589,10,500,6
pydtmc,absorbing,hitting/bounded/at-most/k-10,0.586627872616529,0.9382141612215857,10,100,4
pydtmc,absorbing,hitting/bounded/at-most/k-100,0.6785635447562972,0.9438106107583565,10,100,4
pydtmc,absorbing,hitting/bounded/exact/k-10,0.5990096938137547,0.9395857165831389,10,100,4
pydtmc,absorbing,hitting/bounded/exact/k-100,0.6795648560308365,0.9463633640921499,10,100,4
pydtmc,absorbing,hitting/bounded/greater-than/k-10,0.5818156290717283,0.9418604344103609,10,100,4
pydtmc,absorbing,hitting/bounded/greater-than/k-100,0.679273722666409,0.9436702913968544,10,100,4
pydtmc,absorbing,occupation-matrix,1.9907444243760277,0.9994060555063607,10,250,5
pydtmc,absorbing,power/10,1.5795546096077657,0.9658927437215119,10,500,6
pydtmc,absorbing,power/100,1.584191144010973,0.9658905892988038,10,500,6
pydtmc,absorbing,power/2,1.5752581713718092,0.9666375328232776,10,500,6
pydtmc,absorbing,return/bounded/k-10,0.59400679309191,0.9369572057816027,10,100,4
pydtmc,absorbing,return/bounded/k-100,0.6854796599056292,0.9461140322872452,10,100,4
pydtmc,absorbing,stationary,1.7797525616083583,0.9931220290108471,10,500,6
pydtmc,absorbing,structure/classes-cold,1.899142447842065,0.9981173590230864,10,1000,7
pydtmc,absorbing,structure/classes-lifecycle,1.8246786579625842,0.9915371436901769,10,1000,7
pydtmc,absorbing,structure/classes-warm/access,-0.001900713546690201,0.6461337088173997,10,1000,7
pydtmc,absorbing,structure/classes-warm/consumed,0.9018906814963071,0.9924230628889095,10,1000,7
pydtmc,absorbing,structure/irreducible-cold,1.8977488916586591,0.9982347511045794,10,1000,7
pydtmc,absorbing,structure/irreducible-warm,-0.0028561531578189556,0.3492349125876889,10,1000,7
pydtmc,absorbing,visits/bounded-expectation/k-10,0.687905879415785,0.9833848785408758,10,100,4
pydtmc,absorbing,visits/bounded-expectation/k-100,0.45301452781255386,0.9180321652993821,10,100,4
pydtmc,dense,construction/public-consumed,1.7877214496247114,0.9928104933716604,10,1000,7
pydtmc,dense,evolution/k-10,0.8959411978878998,0.9177461650400064,10,1000,7
pydtmc,dense,evolution/k-100,0.8890153949118346,0.8323874877597557,10,1000,7
pydtmc,dense,evolution/one-step,0.8832328859042947,0.9582798897949258,10,1000,7
pydtmc,dense,finite-time/n-step/k-10,0.3928347941683356,0.9967284581214325,10,100,4
pydtmc,dense,finite-time/n-step/k-100,0.19659725908077985,0.9021382085498973,10,100,4
pydtmc,dense,finite-time/observation/k-10,0.4589156973176959,0.931009718466162,10,100,4
pydtmc,dense,finite-time/observation/k-100,0.20232516479239968,0.9431984235677932,10,100,4
pydtmc,dense,finite-time/step,0.5179823124820514,0.6446609500675884,10,100,4
pydtmc,dense,hitting-probability/cold-all-states,1.9053140504614101,0.9437022099418906,10,500,6
pydtmc,dense,hitting-time/cold-all-states,1.9122665964274044,0.9396112702375056,10,500,6
pydtmc,dense,hitting/bounded/at-most/k-10,0.5799683981437544,0.9991753225828635,10,100,4
pydtmc,dense,hitting/bounded/at-most/k-100,0.6861394078811283,0.983642185410522,10,100,4
pydtmc,dense,hitting/bounded/exact/k-10,0.5892263137840307,0.9935152825272336,10,100,4
pydtmc,dense,hitting/bounded/exact/k-100,0.6709509362260114,0.9715586960951186,10,100,4
pydtmc,dense,hitting/bounded/greater-than/k-10,0.5992319878740899,0.9977335208747117,10,100,4
pydtmc,dense,hitting/bounded/greater-than/k-100,0.6845084909891309,0.9842714403810258,10,100,4
pydtmc,dense,power/10,1.5291343415633396,0.9731430596482928,10,500,6
pydtmc,dense,power/100,1.5409975578771287,0.96957260496637,10,500,6
pydtmc,dense,power/2,1.527375076241621,0.9740562296736484,10,500,6
pydtmc,dense,race/forward-committor,1.7380311989067045,0.9940465720838502,10,500,6
pydtmc,dense,return/bounded/k-10,0.555636389094659,0.9921263431045758,10,100,4
pydtmc,dense,return/bounded/k-100,0.6899462492600192,0.9839887024851537,10,100,4
pydtmc,dense,return/mean-recurrence,1.6993318719839774,0.994104310368393,10,500,6
pydtmc,dense,simulation/10000,0.10897952907869943,0.6321954109001818,10,1000,7
pydtmc,dense,simulation/100000,0.11870515817032982,0.7253812498903008,10,1000,7
pydtmc,dense,stationary,1.7232647891978747,0.9864724976577884,10,500,6
pydtmc,dense,structure/classes-cold,1.805665668969697,0.9974030275247077,10,500,6
pydtmc,dense,structure/classes-lifecycle,1.721118006086256,0.99356834235198,10,500,6
pydtmc,dense,structure/classes-warm/access,-0.026712100503040077,0.4337389756334079,10,500,6
pydtmc,dense,structure/classes-warm/consumed,0.8340013300431085,0.9869788652815747,10,500,6
pydtmc,dense,structure/irreducible-cold,1.786547996651112,0.9974478525488361,10,500,6
pydtmc,dense,structure/irreducible-warm,-0.041418219365208536,0.31218510871222194,10,500,6
pydtmc,dense,visits/bounded-expectation/k-10,0.6375558188032469,0.9985299093912111,10,100,4
pydtmc,dense,visits/bounded-expectation/k-100,0.4705441789336271,0.9918541184071888,10,100,4
pydtmc,low-outdegree,construction/public-consumed,1.7571656452548896,0.9879336835695021,10,1000,7
pydtmc,low-outdegree,evolution/k-10,0.9303342395701916,0.896522519488752,10,1000,7
pydtmc,low-outdegree,evolution/k-100,0.9220170407384933,0.8334758501436165,10,1000,7
pydtmc,low-outdegree,evolution/one-step,0.9000181578853286,0.9450400598635339,10,1000,7
pydtmc,low-outdegree,finite-time/n-step/k-10,0.42711660722914346,0.9562389400168788,10,100,4
pydtmc,low-outdegree,finite-time/n-step/k-100,0.21443224437118644,0.8621363795738705,10,100,4
pydtmc,low-outdegree,finite-time/observation/k-10,0.4255548569351263,0.9567561745481891,10,100,4
pydtmc,low-outdegree,finite-time/observation/k-100,0.2176710998150925,0.8637561615018766,10,100,4
pydtmc,low-outdegree,finite-time/step,0.4800026815565106,0.9313127088262815,10,100,4
pydtmc,low-outdegree,hitting-probability/cold-all-states,1.9652447280437093,0.9408404975412246,10,500,6
pydtmc,low-outdegree,hitting-time/cold-all-states,1.946792917649129,0.9385216344559736,10,500,6
pydtmc,low-outdegree,hitting/bounded/at-most/k-10,0.5982876758708825,0.9365840644538641,10,100,4
pydtmc,low-outdegree,hitting/bounded/at-most/k-100,0.6921421410552896,0.9563407163180782,10,100,4
pydtmc,low-outdegree,hitting/bounded/exact/k-10,0.5975718333688115,0.9424596694519219,10,100,4
pydtmc,low-outdegree,hitting/bounded/exact/k-100,0.6952483467670335,0.9535095150005012,10,100,4
pydtmc,low-outdegree,hitting/bounded/greater-than/k-10,0.5941924427797727,0.9398870367102958,10,100,4
pydtmc,low-outdegree,hitting/bounded/greater-than/k-100,0.6856262072426459,0.9483152306624912,10,100,4
pydtmc,low-outdegree,power/10,1.5698951360115008,0.966540625423871,10,500,6
pydtmc,low-outdegree,power/100,1.5738149542734563,0.9666467513909445,10,500,6
pydtmc,low-outdegree,power/2,1.125777492879955,0.935995284606175,10,500,6
pydtmc,low-outdegree,race/forward-committor,1.598415958717786,0.980390654915706,10,500,6
pydtmc,low-outdegree,return/bounded/k-10,0.5901053961086412,0.9399163589163224,10,100,4
pydtmc,low-outdegree,return/bounded/k-100,0.6822276939530655,0.9524322240081469,10,100,4
pydtmc,low-outdegree,return/mean-recurrence,1.5715522661090133,0.9831056591613132,10,500,6
pydtmc,low-outdegree,simulation/10000,0.14442110041793907,0.8038479266375054,10,1000,7
pydtmc,low-outdegree,simulation/100000,0.1442519911675602,0.8080484449818863,10,1000,7
pydtmc,low-outdegree,stationary,1.6241741398408904,0.9639217783151773,10,500,6
pydtmc,low-outdegree,structure/classes-cold,1.2040970160381614,0.987353405218041,10,1000,7
pydtmc,low-outdegree,structure/classes-lifecycle,1.7264632098627923,0.9857854509314946,10,1000,7
pydtmc,low-outdegree,structure/classes-warm/access,0.0014478005651109072,0.27655397937915094,10,1000,7
pydtmc,low-outdegree,structure/classes-warm/consumed,0.9083293085165135,0.9937384759983767,10,1000,7
pydtmc,low-outdegree,structure/irreducible-cold,1.2060691228574836,0.9867351970085785,10,1000,7
pydtmc,low-outdegree,structure/irreducible-warm,-0.000481153946225512,0.05134687776934066,10,1000,7
pydtmc,low-outdegree,visits/bounded-expectation/k-10,0.6807906408678776,0.9857103005002874,10,100,4
pydtmc,low-outdegree,visits/bounded-expectation/k-100,0.44416955540038666,0.9182160228575306,10,100,4
pydtmc,periodic,construction/public-consumed,1.7618288240571645,0.9880848426210534,10,1000,7
pydtmc,periodic,evolution/k-10,0.930504749048623,0.8996588701819137,10,1000,7
pydtmc,periodic,evolution/k-100,0.9260415209003517,0.8318584551011015,10,1000,7
pydtmc,periodic,evolution/one-step,0.9269420598897855,0.942355101054317,10,1000,7
pydtmc,periodic,finite-time/n-step/k-10,0.42717727411461864,0.9623024287091488,10,100,4
pydtmc,periodic,finite-time/n-step/k-100,0.2172486246854124,0.873986311463337,10,100,4
pydtmc,periodic,finite-time/observation/k-10,0.4260445435696743,0.9584465951045648,10,100,4
pydtmc,periodic,finite-time/observation/k-100,0.21395493509963467,0.8613477079967133,10,100,4
pydtmc,periodic,finite-time/step,0.4425123779989751,0.9220352179872526,10,100,4
pydtmc,periodic,hitting-probability/cold-all-states,1.864231257057766,0.9360119313418244,10,500,6
pydtmc,periodic,hitting-time/cold-all-states,1.8738462059342844,0.9359771160829395,10,500,6
pydtmc,periodic,hitting/bounded/at-most/k-10,0.5939124315433606,0.9392934581676895,10,100,4
pydtmc,periodic,hitting/bounded/at-most/k-100,0.6920116826900425,0.9542108485249848,10,100,4
pydtmc,periodic,hitting/bounded/exact/k-10,0.6040935382747225,0.9440930560700309,10,100,4
pydtmc,periodic,hitting/bounded/exact/k-100,0.6876909277164276,0.9572310218673054,10,100,4
pydtmc,periodic,hitting/bounded/greater-than/k-10,0.5892451959149275,0.9399737827428081,10,100,4
pydtmc,periodic,hitting/bounded/greater-than/k-100,0.6842892674738814,0.9575943453679232,10,100,4
pydtmc,periodic,power/10,1.1482343081629525,0.8952264137641773,10,500,6
pydtmc,periodic,power/100,1.179167803860144,0.8946476673170538,10,500,6
pydtmc,periodic,power/2,1.1266488787178655,0.8968972807373006,10,500,6
pydtmc,periodic,return/bounded/k-10,0.5857144928531878,0.938729568211715,10,100,4
pydtmc,periodic,return/bounded/k-100,0.6885706161811557,0.9523052595953188,10,100,4
pydtmc,periodic,stationary,1.644438615107619,0.9642996705751069,10,500,6
pydtmc,periodic,structure/classes-cold,1.2328239712638143,0.9812155691246459,10,1000,7
pydtmc,periodic,structure/classes-lifecycle,1.7338717108155797,0.9862443685661271,10,1000,7
pydtmc,periodic,structure/classes-warm/access,-0.0022377295649723497,0.07887940811707417,10,1000,7
pydtmc,periodic,structure/classes-warm/consumed,0.9131774566133594,0.9935982007150801,10,1000,7
pydtmc,periodic,structure/cyclic-classes-cold,1.6101943162443333,0.9903298094958808,10,1000,7
pydtmc,periodic,structure/cyclic-classes-warm,0.9391580143864073,0.9968110086089731,10,1000,7
pydtmc,periodic,structure/irreducible-cold,1.2409076083962303,0.9812590346259844,10,1000,7
pydtmc,periodic,structure/irreducible-warm,0.001921252378651767,0.3260048281660608,10,1000,7
pydtmc,periodic,structure/period-cold,1.693434505080166,0.9919838089761017,10,1000,7
pydtmc,periodic,structure/period-warm,0.002563991656437354,0.3369777279161269,10,1000,7
pydtmc,periodic,visits/bounded-expectation/k-10,0.7029026244832681,0.9786237164969208,10,100,4
pydtmc,periodic,visits/bounded-expectation/k-100,0.4439232968542725,0.9097755472459956,10,100,4
pydtmc,reducible,construction/public-consumed,1.8054999326197372,0.9909224580528485,10,1000,7
pydtmc,reducible,evolution/k-10,0.9155321351501972,0.9162054806675198,10,1000,7
pydtmc,reducible,evolution/k-100,0.9219380825674939,0.839768291557486,10,1000,7
pydtmc,reducible,evolution/one-step,0.9157091997364012,0.9556306510952751,10,1000,7
pydtmc,reducible,finite-time/n-step/k-10,0.4338211102699326,0.9523432036765039,10,100,4
pydtmc,reducible,finite-time/n-step/k-100,0.22003022814693873,0.840448799920687,10,100,4
pydtmc,reducible,finite-time/observation/k-10,0.49813984862407995,0.9183558920136836,10,100,4
pydtmc,reducible,finite-time/observation/k-100,0.22520595829590256,0.8763787040671052,10,100,4
pydtmc,reducible,finite-time/step,0.524224277644407,0.9334410249341091,10,100,4
pydtmc,reducible,hitting-probability/cold-all-states,1.8778326683148185,0.9328668965274505,10,500,6
pydtmc,reducible,hitting-time/cold-all-states,1.607762477267404,0.8931275892935471,10,500,6
pydtmc,reducible,hitting/bounded/at-most/k-10,0.6000670690633979,0.9359279470896196,10,100,4
pydtmc,reducible,hitting/bounded/at-most/k-100,0.6846936941112419,0.9540885489822202,10,100,4
pydtmc,reducible,hitting/bounded/exact/k-10,0.6082496008762971,0.9384140696042766,10,100,4
pydtmc,reducible,hitting/bounded/exact/k-100,0.6865657304861482,0.952900068464848,10,100,4
pydtmc,reducible,hitting/bounded/greater-than/k-10,0.6039916697972822,0.9351262579064408,10,100,4
pydtmc,reducible,hitting/bounded/greater-than/k-100,0.6872716613819883,0.9524810147001355,10,100,4
pydtmc,reducible,occupation-matrix,2.077460201842771,0.9984543978058712,10,250,5
pydtmc,reducible,power/10,1.5022858652423439,0.96656065632515,10,500,6
pydtmc,reducible,power/100,1.5415256653516514,0.9630098520555176,10,500,6
pydtmc,reducible,power/2,1.4822154188844927,0.9608325294011668,10,500,6
pydtmc,reducible,return/bounded/k-10,0.5933016851726637,0.9345045964558951,10,100,4
pydtmc,reducible,return/bounded/k-100,0.6840595990980071,0.9541692991320121,10,100,4
pydtmc,reducible,stationary,1.670065739407094,0.9908875397949434,10,500,6
pydtmc,reducible,structure/classes-cold,1.8224800917600859,0.997409246679184,10,1000,7
pydtmc,reducible,structure/classes-lifecycle,1.7936281701230181,0.990672358977037,10,1000,7
pydtmc,reducible,structure/classes-warm/access,-0.0010496298833066941,0.32991666310601375,10,1000,7
pydtmc,reducible,structure/classes-warm/consumed,0.8989619946453712,0.9921906100437299,10,1000,7
pydtmc,reducible,structure/irreducible-cold,1.831849199966462,0.9978765173622415,10,1000,7
pydtmc,reducible,structure/irreducible-warm,-0.0036338683523741764,0.3307573232427624,10,1000,7
pydtmc,reducible,visits/bounded-expectation/k-10,0.6925437812636434,0.9829434215118902,10,100,4
pydtmc,reducible,visits/bounded-expectation/k-100,0.45509626130970454,0.9225122482832689,10,100,4