1. Each columns corresponds to a single run. 2. Each row of a column corresponds to a cross-validation split. 3. Each entry is of the form: "validation set accuracy:number of states of right part of positive model:number of states of negative model:ignore this (testing was done with the model which was trained on that split)" .94622550:12:11:1 .94835690:9:9:3 .95469460:12:12:8 .95534630:5:13:6 .93667460:12:13:4 .94880310:12:13:2 .94515950:10:13:0 .94951890:7:13:8 .93514370:13:12:8 .93873180:8:13:1 .94598580:5:13:8 .94817790:7:12:3 .95332140:9:12:8 .95376960:8:13:6 .93621200:12:11:4 .94810700:5:13:2 .94384580:11:13:0 .94884010:5:7:7 .93465810:12:11:8 .93719370:8:12:1 .94590860:8:11:0 .94817040:7:11:9 .95237320:13:12:8 .95261980:13:13:6 .93402670:7:11:4 .94744550:6:13:1 .93999250:10:11:0 .94869040:5:8:9 .93307470:13:11:8 .93522020:8:9:1 .94519520:12:12:8 .94591440:7:9:3 .95227770:9:9:6 .95118400:12:13:6 .93311450:13:11:4 .94739090:6:12:1 .93987980:13:13:0 .94827950:5:13:3 .93235000:12:10:2 .93473570:8:11:1 .94492580:9:9:8 .94577800:12:9:3 .95213440:7:9:6 .94978400:7:13:6 .93301390:11:11:4 .94685560:12:12:5 .93704990:13:11:0 .94795900:11:13:8 .93154850:12:9:8 .93388700:6:13:1 .94483670:10:11:8 .94556600:8:9:3 .95213090:10:12:8 .94851630:10:13:8 .93276910:10:11:4 .94585110:5:12:8 .93630670:11:11:0 .94783460:11:7:9 .93147090:13:10:8 .93373200:7:13:1 .94473460:9:11:1 .94554230:7:8:3 .95203760:11:12:8 .94811750:5:12:6 .93273110:7:13:4 .94179760:7:12:8 .93243650:8:13:0 .94640910:11:10:4 .93077280:12:12:9 .93182170:8:8:1 .94417120:12:9:1 .94473720:10:9:3 .95197000:8:12:8 .94578440:12:12:6 .93137130:12:12:4 .94065980:13:12:2 .93241490:5:13:0 .94627510:7:8:9 .92769450:12:8:8 .93121700:8:10:1 .94388770:8:12:8 .94454780:11:9:3 .95117280:12:9:6 .94558620:13:12:7 .93113800:7:9:4 .93948150:12:11:8 .93093300:11:10:2 .94621810:5:12:7 .92613480:13:9:8 .93115940:12:13:7 .94377810:11:9:8 .94448600:12:8:9 .95103340:10:9:6 .94491240:6:13:6 .93076970:10:13:4 .93937450:13:13:2 .92950860:13:10:0 .94609530:11:9:7 .92503020:13:8:8 .92971960:6:12:1 .94366080:8:9:8 .94412290:5:8:9 .95086540:7:12:8 .94482930:10:12:7 .92948780:13:12:4 .93931450:6:11:1 .92936470:13:5:0 .94605660:11:12:4 .92414330:12:13:8 .92898620:10:13:1 .94360910:5:9:8 .94398650:5:9:3 .95076920:5:9:6 .94459410:8:12:7 .92920330:7:7:4 .93838990:12:7:0 .92932890:6:13:0 .94521230:11:8:9 .92412300:5:11:8 .92803230:12:12:5 .94346950:13:11:8 .94360360:5:12:3 .95059700:6:10:9 .94440360:7:12:3 .92901340:10:12:4 .93792660:7:13:2 .92882340:7:13:0 .94489290:5:10:7 .92325520:5:10:6 .92693810:6:9:1 .94243930:10:12:8 .94328830:9:8:5 .95033670:12:10:9 .94434180:9:13:6 .92874530:12:7:5 .93753480:5:11:5 .92803690:10:10:0 .94484250:7:12:5 .92295120:7:10:8 .92537600:7:8:7 .94235920:10:9:8 .94315340:10:11:9 .94967470:6:12:9 .94372160:10:10:8 .92842190:13:7:4 .93558610:12:9:2 .92775920:9:13:0 .94386240:7:10:9 .92201960:13:13:9 .92514180:6:10:4 .94221680:5:11:0 .94305030:11:8:1 .94964620:6:9:9 .94355790:11:13:6 .92770860:12:9:4 .93553200:5:10:1 .92733290:8:11:0 .94249280:7:7:9 .92120260:7:12:9 .92513480:7:9:1 .94216770:12:10:8 .94263340:11:11:9 .94944240:5:10:9 .94332250:6:12:6 .92712820:10:9:4 .93457510:7:11:9 .92722290:10:5:4 .94136650:5:9:3 .92045940:9:11:8 .92502300:13:13:1 .94139970:13:9:8 .94253300:8:12:9 .94932090:10:10:9 .94324910:13:10:8 .92712640:11:7:4 .93453080:12:10:8 .92643520:10:8:7 .94112040:7:11:7 .92023570:12:7:8 .92479250:9:13:1 .94125830:9:10:8 .94245920:9:11:9 .94931310:9:10:9 .94308690:12:8:6 .92710520:11:12:4 .93299180:12:6:0 .92606540:5:11:0 .94015600:11:11:7 .92012010:7:11:8 .92472030:6:11:1 .94120470:13:12:8 .94185710:13:10:3 .94929250:8:10:9 .94300740:12:11:8 .92699730:7:12:4 .93278450:12:5:8 .92599980:10:9:7 .93983470:7:9:7 .92000070:9:10:2 .92469400:8:5:1 .94101400:11:10:4 .94176750:13:9:3 .94928500:7:10:9 .94288750:7:8:7 .92685400:13:13:4 .93237410:10:12:8 .92553200:6:11:0 .93771580:5:11:7 .91942980:11:12:8 .92432760:10:12:1 .94027080:9:12:0 .94159180:13:8:9 .94877750:11:9:6 .94170670:5:11:8 .92680060:10:10:4 .93105900:5:9:2 .92369230:11:8:7 .93615540:12:12:4 .91931290:9:12:8 .92416010:6:8:1 .93993560:7:9:8 .94147050:13:11:9 .94819140:11:10:9 .94170660:11:12:6 .92673370:10:7:6 .93099290:11:12:8 .92364530:11:5:4 .93500370:11:5:9 .91886560:13:7:2 .92375220:10:9:1 .93989440:7:12:8 .94143420:8:11:9 .94788720:13:10:9 .94139240:8:8:6 .92641190:11:13:4 .93055610:5:5:2 .92224740:10:12:4 .93427080:5:5:2 .91871460:11:11:8 .92357710:12:11:7 .93975000:7:11:8 .94093400:7:13:5 .94762150:7:13:9 .94136680:13:8:6 .92596330:11:10:4 .92942800:6:10:1 .92153500:8:10:0 .93381900:7:5:9 .91857950:5:12:8 .92344070:7:12:1 .93974270:13:10:4 .94091540:6:9:3 .94757150:13:13:9 .94128280:10:8:7 .92481740:12:10:4 .92934900:11:13:2 .92110300:11:12:4 .93311800:13:13:7 .91828000:13:6:8 .92340680:12:9:7 .93969730:10:10:8 .94080400:10:10:3 .94749620:11:13:9 .94127910:8:10:6 .92418210:13:10:4 .92859490:9:12:8 .92102650:13:8:0 .93266680:13:10:7 .91795700:7:8:8 .92221840:10:11:1 .93966960:10:13:8 .94053270:9:12:9 .94653460:12:13:9 .94064430:12:9:7 .92397590:13:9:4 .92840620:6:7:0 .92067840:13:9:0 .93137220:12:11:7 .91663050:9:8:8 .92165700:10:10:1 .93954430:8:7:4 .94047610:10:8:3 .94646650:9:13:9 .94042470:6:8:7 .92349560:13:5:4 .92804110:10:11:8 .92013220:9:11:0 .93002490:13:7:7 .91641950:12:5:8 .92097480:9:12:1 .93886060:12:8:1 .94037330:8:8:9 .94632370:10:13:9 .94036770:9:12:6 .92343670:13:6:4 .92786830:6:6:9 .91999610:10:7:0 .92995760:13:12:4 .91611080:12:6:8 .92009060:6:5:1 .93860260:11:11:8 .94029200:12:12:9 .94628820:8:13:9 .94020750:12:10:6 .92278700:10:8:4 .92755850:5:8:9 .91988220:7:11:0 .92964810:11:6:9 .91464220:11:10:8 .92004350:12:10:4 .93856860:7:7:1 .93966050:7:10:3 .94627120:13:9:6 .94006990:13:9:7 .92219200:11:9:4 .92739230:13:11:8 .91934830:13:12:4 .92907250:5:6:9 .91376850:5:8:8 .91954690:13:12:1 .93853330:9:7:1 .93917550:12:11:9 .94601730:8:9:9 .93959620:13:11:8 .92030330:12:6:4 .92716590:7:10:9 .91842880:11:9:7 .92876860:7:6:9 .91331450:7:13:9 .91873240:10:8:1 .93849320:8:10:4 .93912950:6:12:9 .94577410:5:12:8 .93957140:8:11:8 .92008630:13:8:4 .92705030:9:13:2 .91732990:5:8:0 .92825950:12:13:6 .91267650:7:9:8 .91855570:9:11:1 .93845010:11:13:8 .93911560:11:12:9 .94560280:6:11:1 .93949780:5:8:6 .91993920:7:10:4 .92688510:5:7:8 .91609700:13:7:0 .92665460:12:10:4 .91253750:6:10:8 .91809410:7:11:1 .93840190:5:12:8 .93884250:13:12:9 .94381740:6:13:9 .93934240:10:11:8 .91937300:11:8:4 .92662180:7:7:0 .91607800:11:7:0 .92659850:12:8:9 .91161800:9:13:8 .91802760:13:9:1 .93729740:9:13:1 .93851010:10:12:3 .94313570:6:7:9 .93915140:11:8:6 .91885390:6:11:0 .92651860:10:13:8 .91571640:5:10:0 .92624860:13:8:9 .91146780:9:7:8 .91780770:12:8:7 .93720690:5:7:8 .93794140:9:10:3 .94313490:13:7:9 .93904010:6:11:8 .91878860:12:8:4 .92598850:12:8:5 .91531220:5:12:8 .92597860:10:13:7 .91146660:13:5:8 .91739770:9:10:1 .93714850:8:13:8 .93708590:11:10:3 .94295020:7:11:9 .93886130:5:10:6 .91829420:7:6:4 .92539390:6:5:9 .91523390:8:8:5 .92514360:13:9:2 .91137990:6:12:8 .91738380:13:11:1 .93709550:7:10:8 .93705790:5:11:9 .94279550:9:7:3 .93856050:5:9:7 .91747470:10:5:4 .92494090:13:7:0 .91458630:13:6:0 .92434670:10:8:3 .91114680:5:9:8 .91674060:11:13:1 .93643690:5:8:8 .93612120:5:10:3 .94255230:5:13:9 .93767730:5:7:6 .91745530:7:8:4 .92476440:5:6:9 .91443050:6:8:8 .92411100:10:10:7 .91089240:6:11:8 .91605400:13:10:1 .93633780:11:12:8 .93586870:6:8:9 .94202030:11:11:1 .93721720:7:11:8 .91647890:7:5:4 .92373150:7:9:2 .91365750:5:5:4 .92396660:12:7:9 .91027640:6:8:8 .91557480:11:12:1 .93619250:5:10:8 .93560750:12:13:5 .94188120:9:11:1 .93688260:7:9:7 .91453450:6:13:3 .92351700:6:9:1 .91322720:7:10:0 .92312930:10:7:9 .91013810:9:9:8 .91534710:9:9:1 .93607790:12:13:1 .93550300:6:11:9 .94181320:13:11:1 .93688100:9:11:8 .91438320:12:5:4 .92285540:9:11:5 .91275980:6:10:0 .92220980:12:5:9 .90963090:5:13:1 .91531800:8:6:1 .93599610:7:13:1 .93550100:13:13:5 .94179190:5:11:1 .93685860:11:11:8 .91363340:10:6:4 .92274790:11:11:5 .91174500:10:6:0 .92167200:10:12:5 .90926450:10:12:9 .91484190:7:10:1 .93589980:10:7:1 .93544230:12:10:3 .94066940:8:11:1 .93684610:7:7:8 .91332050:11:6:4 .92202690:6:8:9 .91162600:8:5:4 .92158250:13:11:7 .90872760:11:9:8 .91474930:8:7:1 .93549000:5:6:6 .93520250:9:13:5 .94058350:10:11:1 .93679570:7:10:8 .91177150:5:11:4 .92167760:13:5:4 .91058950:7:5:4 .92142140:10:9:7 .90748280:7:7:2 .91321120:9:8:1 .93492680:8:8:8 .93518730:8:10:3 .94026040:5:7:3 .93661530:9:9:3 .90987220:11:5:4 .91995080:11:10:8 .91053650:8:7:0 .91871530:12:9:7 .90719560:7:6:8 .91317810:13:8:1 .93472530:12:7:1 .93374110:5:13:5 .93955960:6:6:9 .93637800:9:8:6 .90896070:6:9:0 .91986350:10:7:0 .91030920:8:9:0 .91805720:12:6:9 .90717380:9:6:8 .91230680:6:6:7 .93466580:13:7:1 .93355290:8:5:3 .93885530:10:7:3 .93634370:6:10:6 .90805340:9:11:3 .91971000:13:9:2 .90942250:9:8:8 .91671050:10:11:7 .90714870:10:10:8 .91222990:6:7:1 .93394200:9:8:1 .93354730:13:7:9 .93805560:12:11:9 .93612800:11:10:6 .90799440:6:12:3 .91851270:9:7:0 .90930410:12:13:0 .91359650:13:5:9 .90681430:7:5:8 .91219870:5:13:1 .93383980:10:8:8 .93349640:10:13:5 .93803660:7:7:3 .93601700:5:5:0 .90728210:8:13:3 .91798160:11:6:9 .90889110:8:12:4 .91122600:10:5:2 .90644610:5:6:8 .91096300:10:5:1 .93347430:11:7:0 .93222410:11:13:2 .93781370:9:5:3 .93552270:8:9:7 .90714080:6:10:0 .91764930:9:6:9 .90888090:9:12:7 .91101340:13:6:9 .90596590:10:11:9 .91047420:7:5:1 .93250280:11:8:8 .93171780:6:10:3 .93746180:10:8:9 .93546900:10:9:7 .90672840:8:11:0 .91760400:7:5:9 .90832690:9:10:0 .90823380:10:6:9 .90590140:10:8:8 .91035460:11:9:1 .93184060:9:5:6 .93086440:9:7:9 .93695300:8:7:3 .93541890:5:6:8 .90612830:8:7:2 .91756380:13:10:8 .90819810:5:7:0 .90816370:9:12:5 .90502840:11:7:8 .90920470:11:8:1 .93171760:7:8:8 .93068710:8:13:5 .93672840:12:7:8 .93512310:6:9:7 .90510750:8:9:0 .91728180:7:6:9 .90803900:11:6:9 .90757010:9:10:2 .90462550:5:7:8 .90799270:10:7:1 .93146290:11:5:4 .93063650:12:5:9 .93668860:11:7:3 .93504610:11:9:7 .90498230:6:7:2 .91667120:7:8:9 .90748650:6:5:4 .90664400:6:13:3 .90455820:11:8:8 .90798870:11:11:1 .93121670:8:6:0 .92944270:7:6:1 .93661300:6:5:3 .93437250:10:7:6 .90492240:5:12:4 .91566910:10:10:1 .90716810:9:5:5 .90662670:9:13:3 .90393220:11:13:6 .90758140:5:9:1 .93092460:13:13:8 .92846840:12:7:9 .93659210:9:8:9 .93422910:8:7:6 .90280450:8:12:3 .91544620:11:9:2 .90641290:6:9:0 .90576340:8:8:9 .90321720:5:5:8 .90742360:5:8:1 .93015580:13:8:8 .92818160:9:6:9 .93621790:13:8:9 .93387890:10:5:4 .90225850:6:5:3 .91510290:8:12:8 .90513610:9:7:0 .90485540:9:8:9 .90292850:6:9:8 .90681320:5:12:1 .92933440:7:5:4 .92769590:7:5:2 .93619980:6:8:9 .93357260:10:6:7 .90181980:6:8:3 .91496670:10:5:8 .90505870:6:12:8 .90465020:8:13:7 .90289490:8:8:8 .90623490:7:7:1 .92902880:10:6:0 .92742180:11:7:9 .93498980:8:6:9 .93350650:7:5:2 .90148650:9:13:3 .91483640:13:8:0 .90453050:7:12:4 .90338250:8:7:9 .90252960:10:13:8 .90623030:12:5:4 .92891620:6:11:6 .92729840:11:6:9 .93473620:7:6:8 .93313190:12:7:6 .90140710:5:13:4 .91481830:13:6:2 .90387610:5:9:0 .90304660:6:7:9 .90242260:10:7:8 .90604270:9:7:1 .92883680:6:13:1 .92702630:13:5:3 .93461450:12:6:8 .93247260:9:5:0 .90068800:6:6:0 .91478310:11:7:0 .90340590:9:9:0 .90225830:8:10:7 .90175070:6:13:8 .90596480:11:10:1 .92815610:8:5:4 .92681980:6:13:5 .93401720:5:6:8 .93230090:6:5:5 .90014420:5:9:4 .91351090:9:5:8 .90273790:6:7:0 .90224940:9:7:9 .90065820:6:7:8 .90482880:9:5:1 .92809940:12:5:4 .92652500:10:5:3 .93371290:10:5:2 .93219820:11:7:6 .90010230:9:9:3 .91312890:10:8:0 .90257650:5:6:6 .90203460:8:12:4 .90056810:8:11:8 .90482100:13:5:1 .92709930:13:5:4 .92624450:11:5:3 .93303700:7:5:8 .93217330:9:10:6 .89964990:8:10:6 .91170530:9:9:2 .90185220:12:11:0 .90202950:6:8:9 .90041770:8:12:8 .90292250:5:11:1 .92677450:10:5:4 .92623730:7:7:9 .93296900:11:5:5 .93197140:7:6:8 .89936240:9:12:3 .91154620:11:5:8 .90014230:8:6:0 .90190400:6:12:5 .90021780:8:10:6 .90269310:10:6:1 .92675370:9:6:6 .92590730:8:7:5 .93293050:5:5:0 .93195280:13:5:8 .89840480:9:10:6 .91049290:10:6:9 .89985910:6:6:0 .90106630:6:10:7 .89912470:9:5:2 .90090070:12:7:8 .92649110:6:10:4 .92574190:9:5:5 .93279460:12:5:9 .93163270:6:7:2 .89817360:8:8:0 .91036530:9:10:8 .89972740:7:8:8 .90084570:8:9:3 .89703250:11:5:8 .89866520:7:6:1 .92644800:6:7:1 .92560810:12:6:9 .93273170:12:8:9 .93139430:9:7:6 .89782700:9:7:5 .90845780:10:9:0 .89937050:7:9:0 .90072120:9:9:3 .89690830:10:9:8 .89854450:13:7:1 .92567610:5:5:6 .92546630:8:6:9 .93262130:8:8:9 .93054060:13:7:8 .89497810:8:5:3 .90791740:8:13:8 .89785880:7:7:0 .89937600:9:11:5 .89593770:8:13:8 .89847770:9:6:1 .92566190:6:9:6 .92476750:10:7:3 .93237250:13:6:9 .92987490:8:5:2 .89466790:5:10:4 .90778900:11:8:0 .89765860:9:6:5 .89930870:6:11:5 .89239980:8:9:8 .89847030:11:5:1 .92549690:12:6:1 .92320250:13:6:9 .93225430:10:6:3 .92975310:12:5:2 .89465340:5:7:4 .90649250:9:8:9 .89722900:12:10:0 .89709950:6:9:3 .89218450:11:6:8 .89793950:12:6:7 .92546640:7:6:6 .92253010:10:6:9 .93216870:9:6:3 .92959050:12:6:8 .89464980:8:6:6 .89954240:8:11:8 .89150920:12:5:4 .89693060:8:11:7 .89200600:10:5:8 .89637770:5:10:1 .92520710:11:6:8 .92180890:5:5:2 .93152140:8:5:2 .92939160:8:6:7 .89362790:5:5:4 .89806610:8:9:0 .89021290:7:6:0 .89575630:8:5:9 .89028150:6:6:8 .89475700:11:6:1 .92508500:6:12:1 .92115920:5:7:5 .93124790:11:8:9 .92887950:11:5:3 .89244040:5:8:4 .89498030:8:7:0 .88903910:12:8:4 .89142500:9:5:9 .88925780:10:6:8 .89366490:5:5:1 .92398670:13:6:8 .92086800:5:6:1 .93117650:5:8:9 .92868480:11:6:8 .89184650:9:8:3 .89452200:8:10:8 .88843910:12:12:4 .88982360:8:6:9 .88901830:6:5:8 .89321370:11:7:1 .91711890:6:8:4 .92082240:6:5:1 .93112310:7:8:9 .92751410:13:6:7 .89074250:9:6:6 .89358560:8:5:8 .88752140:12:7:0 .88859600:9:6:9 .88876060:8:7:8 .88998960:13:6:1 .91589340:6:5:6 .91718560:6:7:9 .93110680:11:6:9 .92642060:9:6:8 .88928590:5:6:4 .89306760:8:6:9 .88380670:12:9:0 .88517540:6:5:9 .87895540:8:6:8 .88436670:5:6:1 .91335310:6:6:6 .91702800:6:6:9 .93037730:13:5:5 .92631480:6:6:7 .88901650:9:5:3 .89287200:8:8:0 .88053570:12:6:0 .88294320:6:6:9 .87859730:8:5:8 .88096190:5:7:1