index

REKKURA_GENERIC_FORWARD_PROVER:1.0.0 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/chinesecheckers6/yTbPDA0.00.054.85569552756115
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.00.057.1
BASE/crisscross/ICagEg2.652786383326456E-40.05563591854901524209.72634245525148
DRESDEN/crisscross/GsY16g2.669801728132642E-40.05546773164711429207.75974134195528
DRESDEN/crissrace/KWb9bw5.864304048661591E-40.02797828884785406547.70947859403631
BASE/crissrace/ERWGDA5.956142521230625E-40.0284721826775240647.80305806322662
DRESDEN/chinesecheckers3/QsCb2A0.00344078146691700370.3826530612244898111.2110911151103
DRESDEN/chinesecheckers4/-oVNYg0.0119495413471621960.745253062018015762.36666666666667
DRESDEN/chinesecheckers2/06E6-Q0.036721824877671153.663125645209630699.75336621783762
BASE/connect5/d-BVQg0.137260957826127546.36433307787144746.36666666666667
DRESDEN/quad_5x5/JAEP5g0.345943342536369272.0083626905475265.8054670912951165
BASE/quad_5x5/JAEP5g0.358983099997235431.9928920184674665.551492586929061
DRESDEN/blocker/S815zQ0.59670781893004111237.33333333333332073.6
BASE/battlebrushes/arCwyA0.63587626119676333.03020212447137954.765395894428153
DRESDEN/battlebrushes/QHXV4A0.65653076688414570.17713222920910460.2698003477426704
BASE/connectFourSuicide/c8p9Kw0.6645523387053188172.7942401919936260.01599893340443
DRESDEN/tictactoe_orthogonal/y69QFQ0.6956616524961851276.41834.8
BASE/tictactoe_orthogonal/WRzlVw0.708587116597881299.11833.3666666666666
BASE/quad_7x7/q-JOXg0.724326729303378617.0304949175137523.51217237819296
DRESDEN/god/2EDD5w0.72667714216956163.39321357285429144.669492648032852
DRESDEN/tictactoex9/rFkD4w0.7463420848160263237.95873470884302318.8333333333333
DRESDEN/quad_7x7/q-JOXg0.746412926703788917.50998668442077423.458847050983007
BASE/tictactoex9/BI26ow0.7487055555555556236.43333333333334315.7894736842105
STANFORD/multipletictactoe/_bkafQ0.7699145753165435155.56888622275545202.05993133562214
BASE/god/qF06gw0.7925913592842533.6085545918029534.552856335781463
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.82843632840473480.31593580184506510.3813640119494057
BASE/conn4/va9Y7A0.8311206590412886386.7204426519116465.3
BASE/ticblock/T21C1g0.83141138821452221004.56666666666671208.2666666666667
BASE/blokbox_simple/JBx4bg0.83144243360941074.10990686420735154.943104535049597
DRESDEN/eotcatcit/mQUxzA0.84539300837634851823.42156.866666666667
BASE/copolymer_4_pie/IN5_jA0.856230049563286948.998366721109357.225703239568055
DRESDEN/connectfoursuicide/M9CNQg0.8619293906004047255.524815839472296.45678477384087
DRESDEN/vacuumcleaner_random/_6AGDA0.87349218168279970.049640109208240260.05682948313585088
DRESDEN/tictictoe/LAUtwg0.8779317049459229963.26666666666671097.2
BASE/hanoi_6_disks/MeubgQ0.88338797317830481.88280372596947882.131344078859731
BASE/ticTacToeSerial/Amrwqw0.88380346325644481.46666666666664544.7666666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.8853630303756037739.3666666666667835.1
DRESDEN/connect5/1kYzSg0.8925656842853235.9635596850186156.681367870190567
BASE/copolymer_4/2LDVhQ0.895500290190881250.07329424307036455.91655836582358
BASE/eotcitcit/V_9_bg0.8957448786686087963.43333333333331075.5666666666666
BASE/blocksWorldSerial/Wyg96Q0.89912731006160171050.91168.8
DRESDEN/max_knights/hCipiA0.89929302620180881.043228793114691.1600543568327202
DRESDEN/pawn_whopping/4ogBkg0.90437864466133670.7776407453085741.7
BASE/ad_game_2x2/D0aWqg0.9065198848491310.026655293741337030.029403981299067895
DRESDEN/tictactoe_3d_6player/ulZPWg0.909044868856482838.19745350309979442.01932689103632
BASE/colonelBlottoVariant2/jruwGw0.90916398546423850.437322337800268630.4810159055926116
BASE/mineClearingSmall/frsbvw0.914016321889509968.4415714238112774.88003199146894
BASE/eotcatcit/AfZSzA0.9185072475374391911.56666666666662081.1666666666665
DRESDEN/kalaha_2009/gcC8uA0.92220151299199660.043854840478017760.047554509356349715
BASE/quarto/EwBMVQ0.92634296673500433.83572515045301234.140718166158739
BASE/chickentoetictac/l57rfQ0.93211277440754161423.83333333333331527.5333333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.93394126516837790.071802972643067430.07688167909587146
DRESDEN/knightazons/02I8BQ0.935877870194772512.50831669993346713.365330133653302
BASE/strangeSkirmish/gc1zKA0.937709030683538213.43019962008864514.322352862805182
DRESDEN/smallest/9kaGFw0.93801159922144132.714794949528634.87674883411059
BASE/3pConnectFour/PqXOFQ0.941772423119258186.4209052729818197.9468719794687
DRESDEN/mimikry/GJEhwA0.9445058401855366149.26666666666668158.03678528588566
DRESDEN/pacman3p/rBnk8Q0.945526209871989922.43824488980624623.730960237309603
STANFORD/tictictoe/rpt_Dw0.9455938697318007699.2666666666667739.5
STANFORD/sukoshi/4LYZZQ0.94570919145197551219.93333333333341289.9666666666667
BASE/sum15/QZ07Kg0.94737148512545832169.7333333333332290.266666666667
BASE/knightmove/jBaJEw0.94754259254598992.4850894632206762.6226678175419957
BASE/blocker/dIWtxg0.95018874873400251032.01086.1
DRESDEN/cube_2x2x2/fp-34Q0.9522210945428995406.55311489617014426.95243491883605
STANFORD/triplesukoshi/Iu9mbA0.9529865780671242310.7689231076892326.1
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.9539886039886041.22354497354497351.282557221783741
BASE/pancakes88/l2Xaig0.95523647710741691.13269147483092911.1857707509881423
DRESDEN/towerworld/HCX34w0.955377611495403517.15580132582697517.957089552238806
BASE/blockerSerial/3eqDuw0.9567987580094715354.60969268715417370.62097930068995
BASE/gt_staghunt/xPjLRA0.9570280477171942149.09503016566114155.78961402573162
BASE/firefighter/WJmoPw0.95901170185703381005.31048.2666666666667
BASE/blobwars/0XT15Q0.95956323829204960.139629702030215880.1455138092604988
DRESDEN/satlike_20v_91c/yeuENQ0.9598889527091710.35101155147105750.36567933246900036
DRESDEN/frogs_and_toads/GjchhQ0.96048911449835281.0729756747750884.40801093005432
DRESDEN/four_way_battle/xSOQXA0.96074521769149561.6499472016895461.7173618679612932
BASE/kalaha_2009/dRiN3g0.96086850667315920.044266395166109650.04606914979384055
BASE/racer4/0vs7Ww0.9611614573700760.277418161642315530.28862805464691166
DRESDEN/oisters_farm/pTQMLg0.96145117945655421073.31116.3333333333333
DRESDEN/hanoi_6_disks/MeubgQ0.96218786101484041.9994668088509732.0780420226275687
BASE/queens12ug/u6Bkmg0.962375652071466912.75476222192620113.253413253413253
BASE/knightazons/apnJBQ0.962569937667849312.65443404708781513.146508686680423
BASE/factoringEasyTurtleBrain/lUj94Q0.96351063501373751040.36666666666661079.7666666666667
BASE/brawl/6Ymo_Q0.963962538105297911.65695253955037512.092744353387967
BASE/chinook/XQh0IQ0.964603264712337422.6508110988974423.481997135529426
DRESDEN/latenttictactoe/kITHKg0.96490582888964781224.43333333333341268.9666666666667
BASE/battle/8oAvhQ0.96490610718277290.92952229193639410.9633292659430993
DRESDEN/Goldrush/VeWczQ0.965992858076705141.85690005665344443.3304446370242
DRESDEN/doubletoetictac/V89gKQ0.967276151612651232.61274.3
DRESDEN/knightfight/4_Ly4w0.967452160596577612.08469272255143412.4912561207155
BASE/duplicateStateSmall/bCPAXw0.96774371644283722337.1333333333332415.0333333333333
BASE/beatMania/qUHwvQ0.96795507102742488.3170560981301504.4831838938702
BASE/tictactoe_3player/GtM71g0.9687860664671085201.5397946940408208.03333333333333
DRESDEN/amazons/dNB28A0.96912446733816125.4983504948515455.673523556735236
BASE/knightwar/DVGY4Q0.969213515962054630.35250216565602731.316631130063964
BASE/mummyMaze2p_2007/YGA3Vw0.969306278935748329.0246259455496729.94370982246944
DRESDEN/knightmove/97Ipcw0.96946826700471262.52357550803559552.603051171373027
BASE/hanoi7_bugfix/3gdnFw0.96964329342780360.27485951624725140.28346456692913385
DRESDEN/pawntoqueen/f_x6Aw0.97000843817447091.25682156441210521.2956810631229236
BASE/othelloSuicide/B442jg0.97057867880923511.85799601857996021.9143177767509407
BASE/nonogram_5x5_1/qLKEZw0.970634321892702548.5171609463512249.985004498650405
STANFORD/checkersonabarrelnokings/Zrevdw0.970955565142364323.6842105263157924.392682195341397
BASE/cubicup_3player/e2yA_g0.9710148243181572172.14945172149453177.28818078794748
DRESDEN/racer/vk_ZBA0.9716198125836680.080321285140562250.08266740148801323
BASE/biddingTicTacToe_10coins/a-9ccQ0.97183098591549327.5806935145398228.380133906265613
DRESDEN/tpeg/h-Scbg0.9720562728849489336.26666666666665345.93333333333334
BASE/maze/cCX3qQ0.97278024020589081814.31865.0666666666666
DRESDEN/skirmish/RjGQYQ0.973012013556780416.3847076062341816.83916270092183
BASE/reversi/d8UMeA0.97330659182471661.79938493751226861.8487339473771087
DRESDEN/logistics/fPru1Q0.9733814355879099287.14752349843343295.0
BASE/toetictac/mTThmg0.97365105569554261494.11534.5333333333333
DRESDEN/ghostmaze2p/HY0UwA0.973999109471407732.27848101265822633.14015454303224
BASE/hallway/ckCJOw0.974378505128891617.16266204552271217.61395797955582
BASE/wallmaze/uxNQ9g0.974622111070505423.5748534896110824.1887119344306
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.97494935202752670.54667652828247090.5607230028365987
DRESDEN/2player_normal_form_2010/NG_Kdg0.97520820481184461686.21729.0666666666666
DRESDEN/point_grab/r5DPmQ0.97529789959635521345.03333333333331379.1
BASE/stateSpaceLarge/0Ge_CQ0.97536041939711661364.36666666666661398.8333333333333
DRESDEN/roshambo2/jgSlkQ0.9757641841700107310.84594360375974318.56666666666666
STANFORD/untwistycorridor/EDPPAQ0.97598386191914252725.52792.5666666666666
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.9760942169098260.075333350074077790.07717835918808366
BASE/majorities/ibJzSQ0.976447497546614299.47678874929183101.87622887992802
BASE/wargame03/klXI8w0.97647311461224842.0226805491080312.0714144801736043
BASE/checkersSmall/SYmq8w0.97665307171071650.770737660168920.7891621728265158
BASE/tictactoe-init1/7M19vA0.97694788007122571353.33333333333331385.2666666666667
DRESDEN/grid_game2/kypTYQ0.9770327090822106424.57169522031865434.55218159394684
STANFORD/platformjumpers/HEQskA0.97708496089331565.34191579017220255.467196819085487
BASE/2pffa/6oHijA0.977635615812267870.759590707595972.37828651404578
BASE/sudokuGrade1/tDRNRw0.9776572513319407121.42928569047699124.20435231779251
BASE/chineseCheckers4/avfBcQ0.977738891382397458.2922277029729459.619422134835204
BASE/colonelBlottoVariant/X-n-KQ0.9781775670585180.454634019614210570.46477657526060684
BASE/amazonsTorus_10x10/Uxc08g0.97856035434290531.5326691766901011.5662490002665956
BASE/hex/T1MK8g0.978682717673857124.32684617435350624.856723977075838
DRESDEN/twisty-passages/j7NPyg0.97877060386411130.0515902700750638450.052709255745308874
DRESDEN/kitten_escapes_from_fire/uW-YiA0.978902824068663275.6490152297797277.2793921620901
DRESDEN/chomp/-LcqYQ0.979112753610488219.9593346888437224.65168988734084
BASE/snakeAssemblit/UO4sdg0.9791538916514341205.4059458738835209.77902209779023
STANFORD/sudoku/oJ1qyQ0.9791948122129155120.78792120787921123.3543312335433
DRESDEN/skirmish3/3LU8Nw0.97947990237745516.7655489634024417.11678710579773
BASE/checkersTorusNoKings/pwb6oQ0.979516982116295723.05053129476033323.532548915036166
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.9797253321468236273.53931273539314279.2
DRESDEN/quartosuicide/WIU1oQ0.97989439382855644.0566602380794044.139895343445717
DRESDEN/skirmishfinal/hzq8ww0.980053334662102514.64908776135304314.947235260827592
BASE/checkersTorus/2vm1EQ0.980407300257488319.30951826081166419.695404405638683
DRESDEN/statespacemedium/dVJZ_w0.98092249452082091969.32007.6
BASE/crossers3/O0rORg0.98103899546102113.2468608156909523.3096144299189145
BASE/breakthroughSmallHoles/bxclRw0.9811824643684549314.0228659044698320.04533031131257
DRESDEN/battle/8oAvhQ0.98121558385025580.94678419849820440.9649094593290662
DRESDEN/checkers-newgoals/IJOqXQ0.9813047058464730.2744822958919150.2797115862754848
DRESDEN/sheep_and_wolf/enAIzQ0.9813402068245581334.23333333333335340.58864704509847
DRESDEN/double_tictactoe_dengji/bGaUyQ0.9813522437340538871.8333333333334888.4
DRESDEN/battlesnakes2011/93VtTw0.9813883721874246252.17478252174783256.95717380436594
DRESDEN/ggp-course2013_michal13/jWKddg0.9816460114780227107.95946936870875109.97800439912018
BASE/four_way_battle/xSOQXA0.98195380893447171.6592553262095971.6897488569345969
BASE/breakthroughHoles/nZk0Sg0.982089691854127830.88970343218927231.453037017292505
BASE/kalaha6x2x4/XS81Mg0.98241747324799184.5698390621895494.651626407947636
BASE/gt_tinfoil/Q8DyKg0.98251645221491010.49111089283960320.49985004498650404
BASE/futoshiki5/TJ4BZg0.9830547455861774194.14078122916945197.487252974306
BASE/queens06ug/7Lq3tw0.983165645124260374.5393355769551175.81564301662945
BASE/hidato37/pBrqxw0.983300304337498317.59521037751538217.894035321559482
DRESDEN/tictactoe_3d_small_2player/HYttcg0.9833230389129092265.3333333333333269.8333333333333
BASE/asteroids/BKCmPQ0.9839411761863341452.46666666666664459.8513382887237
DRESDEN/Runners/3bOCQw0.9842006077344774235.6176254916339239.4
DRESDEN/blobwars/ZaMluQ0.98431186780728410.139326218407779980.1415468236892764
STANFORD/trifecta/ss1kyQ0.98431265768829621205.86666666666661225.0849943337112
BASE/othelloHoles/c0qAzw0.98438268972079131.90294957183634631.9331400193314001
STANFORD/8puzzle/jNiGtw0.9843955754543061498.3666666666667506.26666666666665
BASE/guess/SPpk1A0.98458829621064472.52298907811306972.5624812805750605
STANFORD/multiplesukoshi/vLSQPg0.9848994336499244122.80467890825474124.68753124687531
DRESDEN/8puzzle/8fKC2w0.9849124924562462816.0828.5
DRESDEN/pancakes6/SZXMyQ0.984939143313735710.19592163134746210.35182904503545
BASE/nim2/eF2Qqw0.984945181668541729.9870056308932830.44535491822391
BASE/slidingpieces/uFJWEw0.9851035220718601254.0497300179988257.8914036198793
BASE/kitten_escapes_from_fire/uW-YiA0.985127083532108374.877536738978376.00799733422193
BASE/checkers-mustjump/T-8UuQ0.98526817795779711.24126216763572231.2598216357789345
BASE/numbertictactoe/rvJ-iQ0.9852700490998363802.6666666666666814.6666666666666
BASE/englishDraughts/jFkQxg0.985363850304368188.7067213169382690.02433090024331
BASE/snake_2009/7l-qAQ0.9854946057358444161.51179842687642163.88907406172922
BASE/chineseCheckers1/gqtwHw0.9855207819178321132.1867813218678134.1288623712543
BASE/breakthroughWalls/vOZaYA0.985574148996100431.22396614349028731.680991405156906
BASE/colonelBlotto/jip21A0.98560962846677140.35975928833071690.3650119458455004
DRESDEN/aipsrovers01/qS47Mw0.9856307435254803393.26666666666665399.0
BASE/brain_teaser_extended/ZDp94A0.98577389574730281519.83333333333331541.7666666666667
BASE/merrills/pku8Tg0.98582238999060720.0177220125117408330.0179768817300951
DRESDEN/blocks2player/3ev8nQ0.98595076076152611719.36666666666661743.8666666666666
BASE/doubletictactoe/HH1htg0.98612388837779811286.31304.4
BASE/chineseCheckers3/-1rZdQ0.986242829314318273.8802985870434674.91086007531074
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.9863444696723970.55141096334738890.5590450195665757
DRESDEN/4pttc/9pB9AQ0.986387864137130982.7112769928019183.85269121813032
BASE/lightsOnParallel/SC6enA0.98648803127643511438.26666666666671457.9666666666667
DRESDEN/nim3/sG_axA0.986549749619333130.85124104614359631.27185533020282
BASE/gt_centipede/9fRMpw0.986593707250342480.8487.3333333333333
DRESDEN/cylinder-checkers/clOO3Q0.9869745958429560.277136258660508060.28079371022089106
STANFORD/bestbuttonsandlights/nm0wEA0.98733327966078951226.36666666666661242.1
DRESDEN/babel/WdSW4A0.987457835047675887.2738178546436188.38232353529294
DRESDEN/checkers/jIDMIg0.98780940417392290.0285494047449110670.028901734104046242
DRESDEN/quarto/OQzRYQ0.98796200676272254.00542884570823254.054233683370995
BASE/chineseCheckers6/rREH3A0.988097633796426744.3896424167694244.924348463640605
DRESDEN/toetictac/mJtxCA0.98829075425790761516.43333333333341534.4
BASE/sheepAndWolf/g4THrg0.988392999075157919.67114898149380819.902153293174027
BASE/catcha_mouse/cHv4dw0.9883935637035084374.68751041631947379.0873637545415
BASE/snake2p/I3wWPQ0.9885450458411577298.3301.7566081130629
BASE/ticTicToe/c1OobQ0.988810954586696690.2698.0100663311223
STANFORD/pilgrimage/ObRZnQ0.98882538819986243.4478392696498243.938838735467534
DRESDEN/firefighter/WJmoPw0.9890861275476661002.93333333333331014.0
BASE/3pttc/0sol9g0.989280285639224221.46595113496216821.698553429771348
DRESDEN/gt_chicken/CeuKtw0.9893221958742121161.0731544742543162.8116251166511
DRESDEN/backgammon/mqCW0Q0.989417981180117949.378602605537649.906716417910445
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.98956520752145725.9644123397064186.027306027306027
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.989615403164226829.91638071759336330.230310302303103
BASE/4pffa/Q3ADlg0.989719021939752454.1765235064805354.739297018157586
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.9899911008789233146.50403252682796147.985201479852
BASE/gt_ultimatum/GE-uOA0.990026462242528220.88329336530775421.093671898430472
BASE/tictactoe_3d_small_2player/oOryKA0.9900702314039378265.20681265206815267.8666666666667
BASE/racetrackcorridor/_RkdUg0.990136372643977158.6295346280688959.213595468177274
DRESDEN/CephalopodMicro/H3XQfg0.990276488949148925.67689079828154825.92901183136144
DRESDEN/othello-cornercontrol/r5Gdlg0.99031377032520320.53988821138211380.5451688419972421
DRESDEN/mummymaze2p-comp2007/oTQRQg0.990398990519265628.5885645741703328.86570447651745
STANFORD/freeforall/Lfp40Q0.990415335463258882.6391202932355983.4388537154282
STANFORD/knightstour/cEwgNA0.9904429276431599278.2814479034731280.96666666666664
BASE/gt_dollar/TGjqRw0.9905863502078012659.4333333333333665.7
DRESDEN/stratego/Z2wovg0.9906475905715852220.86666666666667222.95180321311912
BASE/circlesolitaire/azuQFQ0.99100939108147611649.73333333333331664.7
BASE/factoringMediumTurtleBrain/8RBqmQ0.991201731722645473.15089497016766477.35075497483416
BASE/peg/fJHVWw0.991271859783372666.8488403092508667.43744377436444
STANFORD/alquerquezero/uVgA_A0.991331732327437365.831138962034666.4067706250833
BASE/asteroidsSerial/id2QkA0.9916511682604388298.1134591027265300.62331255624815
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.9922299056452903206.8208.4194387040864
STANFORD/tictactoe/ss1kyQ0.9932332474932881208.51216.7333333333333
BASE/ticTacToeParallel/ymRGPw0.9933828489725344497.9501.2166261124629
BASE/solitaireChineseCheckers/-ET6gw0.99346719185320390.064047138694078840.06446829771459885
DRESDEN/fizzbuzz/t1xHzQ0.99347809153531976.4719548622635256.514441453119288
BASE/untwistycomplex2/EDPPAQ0.99348553457632332801.02819.366666666667
DRESDEN/3pffa/0YrmQw0.9935806456619588213.36666666666667214.74519214745192
STANFORD/dualhunter/1rPZjQ0.9936071290197597341.9219359354688344.12186260457986
STANFORD/duidoku/3SoMaA0.993672492783552976.8820608524677677.37163040218587
BASE/queens16ug/gT-ylw0.99384134585041676.5629476629909726.603617056578729
DRESDEN/checkers-mustjump/HUr33w0.99419874197438320.22813936055796370.22947057859367317
BASE/sudokuGrade6H/ieE_9A0.9945543870639755124.01266455590735124.69168722085195
BASE/sudokuGrade2/u80Tfw0.994810537127754122.2959234692177122.93388429752066
DRESDEN/buttons/ADUaHw0.99494975215590423907.3666666666673927.2
DRESDEN/tictactoe_3d_2player/LMuX9w0.995039479221860445.5953372189841845.822641383677144
BASE/cephalopodMicro/9l2D3g0.99507674753229121.04421949920085321.148338106973956
BASE/twisty-passages/DiZmmg0.99565663744768220.0526468188159730440.05287648054145516
BASE/ticTacToe/JRFsaQ0.99577032593370751200.66666666666671205.7666666666667
DRESDEN/slidingpieces/s9_44g0.9957920918476629258.26666666666665259.3580213992867
BASE/nineBoardTicTacToePie/B8LzeQ0.9958365556767982228.71046228710463229.66666666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.9961990736226232204.3205.07949205079493
BASE/lightsOn/MsXu3A0.99622690795106592288.32296.9666666666667
DRESDEN/knightwar/7hhAqg0.9963651331369728152.5282490583647153.08469153084692
BASE/queens08ug/kJ_ZFQ0.996508956736480236.9926014797040637.122196674331036
BASE/sudokuGrade3/eI8dvg0.9969120036982768122.30479554770554122.68364218104253
BASE/kalaha5x2x3/WviNsw0.996955057824622916.4251207729468616.475287069395907
BASE/sudokuGrade6E/ihYFZA0.9972640218878249121.48380215971204121.81709105452606
BASE/asteroidsParallel/WauZiA0.9972880459196405266.4267.1244291856938
BASE/gt_coordination/IVMOzA0.9976503755715218203.63333333333333204.11292204112922
DRESDEN/breakthroughsuicide_v2/LU1nAw0.997850809120437635.305089261923835.381130063965884
DRESDEN/crossers3/xiPTxg0.99794402440641993.24976787372330563.256463082341995
BASE/rubiksCube/9tNO9Q0.998144205780960183.6333333333333483.78882815624583
BASE/snake_2008_tweaked/bX0NJQ0.99830957905203855.0381173351010945.0466482950961185
DRESDEN/chickentoetictac/cxYaRQ0.99840742900722271483.71486.0666666666666
DRESDEN/chickentictactoe/Ipbo-g0.99842565281120511839.13333333333341842.0333333333333
DRESDEN/battlesnakes1509/-qZrLw0.9984455587898032251.53333333333333251.92493583547216
BASE/knightThrough/gcwFjA0.998580546834798111.53294890170327711.549342652687635
BASE/checkers-mustjump-torus/uSApKQ0.99867378402572861.4588375716985511.4607748746721556
BASE/mummymaze2p/vpjDdA0.99869962149775615.12325116588940715.142942723067195
BASE/amazons_8x8/7SOsIw0.99873649210307589.443059019118879.455005493225022
BASE/breakthrough/TGxk-g0.998761564038583731.62490002665955731.664114004128653
STANFORD/tictactoe3/X7myng0.9987627020481231264.63333333333341266.2
DRESDEN/breakthrough/z4hK7Q0.998857544517338435.535.54060355739124
BASE/biddingTicTacToe/8mESVw0.9988796672424157126.39157389507366126.53333333333333
BASE/checkers-newgoals/0XkFiA0.99892710634269490.44177974124329440.4422542330048016
BASE/hidato19/rRHSmA0.9990310077519379137.46208459718008137.59541348621713
STANFORD/madness/UO_B3A0.99907727797001162.3068050749711652.3089355806972987
DRESDEN/pancakes/hl9aiQ0.99910242345666710.3387520361690110.348040194316896
BASE/othello-comp2007/86ZoMw0.99920186232125042.19487861656135672.196631831192172
DRESDEN/3pttc/uwYBZw0.9992445988820065220.45196986867543220.61862542497167
DRESDEN/grid_game/U7_Yeg0.999283517108052195.00733235568592195.14715195147153
BASE/racer/QQYQNw0.99954969273151110.079465988556897650.07950178879024777
DRESDEN/blockerparallel/dVQgSg0.9995730730883847423.2525582480584423.43333333333334
BASE/checkersBarrelNoKings/rnKNeg0.999600399600399624.0426240426240424.052235325471383
STANFORD/skirmish/w4V6Vw0.99960205604377362.38766373735698872.388614271970275
DRESDEN/snake_2008/E56l3A0.99970054899351195.0906671102977885.092191972309126
BASE/skirmishHoles/AUCxCA0.999733644081904515.48193773930414515.486062543710661
STANFORD/untwistycomplex/HTWEwg0.99990562476406192472.16666666666652472.4
BASE/withConviction/3Xm54A0.999909764194529585.713809539682585.7666666666667
BASE/sudokuGrade5/BQfUQA1.0000333311112592123.8584094393707123.85428123854281
DRESDEN/Zhadu/9zpQ5w1.000133297787256625.62649960010663725.623084099693457
BASE/breakthroughSuicide/wZDpIg1.0004835361859631.7455029980013331.730160317301603
BASE/queens31lg/0gID-A1.00118882504458081.05673337296083481.0554785935747741
DRESDEN/golden_rectangle/1uloXw1.001206870486672164.1623891740550664.0850468224081
STANFORD/breakthrough/d5j0cQ1.0012651148516447189.64770189647703189.4080789228103
BASE/troublemaker02/DI83KA1.00139686481452733656.1333333333333651.0333333333333
BASE/dotsAndBoxes/EHwA_w1.00170534011443129.3706293706293729.32062772798454
BASE/3pffa/pR0dzA1.00174523800773662.23969613167627662.13126229125696
BASE/blocks/xIV5hQ1.00174810002603552693.33333333333352688.633333333333
DRESDEN/tictactoe-init1/3ltIBQ1.00184554230550841411.41408.8
DRESDEN/pentago_2008/hLjVpQ1.0019302743909517136.06213126229125135.8
BASE/hexPie/48CH6Q1.001948532451083724.16102909321158524.11404209965361
STANFORD/knightstourbig/TQUI2g1.00221490469570876.5615625624958476.3923607639236
BASE/aipsrovers01/4C4jsw1.0023271751134177399.05336488783706398.12685398126854
BASE/futoshiki6/JmvXNA1.0024091727125635133.1489134782029132.82890570314322
BASE/quartoSuicide/-23jUg1.00255457501161183.98115586225200733.9710116152089743
DRESDEN/knightstour/cGISAA1.0026000897291432533.8333333333334532.4489183693877
STANFORD/tictactoe7/-bE9-A1.00264247335506031138.31135.3
BASE/tictactoe_3d_small_6player/g_9lww1.0027424258672608199.8533431104593199.30675909878684
BASE/pegEuro/5awwhg1.002822929918722167.1266206712662166.93766034718288
BASE/endgame/jYjfOA1.002961133289313636.74951689211701536.6410179540988
DRESDEN/javastrike/whONTQ1.0029921748901829109.06666666666666108.7412936981371
BASE/chomp/-LcqYQ1.0031988642884164224.19252691576946223.4776522347765
BASE/wargame02/BkVqqQ1.00322152108933922.1919628030554632.1849240242327936
BASE/checkers/rOC3Xg1.0032572218200960.75672830163848130.7542714721411472
BASE/troublemaker01/s3tlEQ1.00340915993439844405.14390.133333333333
BASE/roshambo2/KNPokQ1.0035173736943084313.8228725709143312.72290923635876
DRESDEN/racetrackcorridor/O0DoTA1.00371184852199158.2550156635339658.039581528619976
BASE/pancakes/yUgbXw1.00373055275117829.2734162068736299.23894981721502
DRESDEN/hanoi7_bugfix/3gdnFw1.00382313308890360.28203440819780010.2809602597321512
BASE/duplicateStateLarge/dcjyuw1.0039428940568476276.26666666666665275.1816545563629
DRESDEN/lightsout2/LFtfyQ1.0040153751115382975.1666666666666971.2666666666667
BASE/pancakes6/QZTdnw1.00438554664730849.1654446073856829.125424631985613
DRESDEN/chinesecheckers1/Y-ftaA1.0044610992148466187.62707909736343186.79377354088197
BASE/buttons/hTcUjw1.00460923896343333923.23905.2
DRESDEN/nim2/z5_exA1.004821603965329530.3070672084193730.161639726712213
BASE/4pttc/AL1k2Q1.00484006963081814.30996039801657314.241032807612964
DRESDEN/breakthroughsuicide/Y9QzqQ1.004871865634907436.3557599386850636.17949828430556
DRESDEN/pancakes88/aD3E7g1.005218424768436610.20951114067176710.156510156510157
BASE/ruleDepthLinear/OUBJpQ1.0057230994033364825.9333333333333821.2333333333333
BASE/blocksWorld/SEdXLQ1.00580737241005962724.93333333333342709.2
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.0060493061146352163.45576961535897162.47292117980336
BASE/smallest_4player/ADDROA1.00642402605171736.3557599386850636.123700346574246
BASE/breakthroughSmall/HJ0tIA1.006426908990122391.0969634345521890.51523028727588
BASE/futoshiki4/BaCwSw1.006450351837373343.25522482583915341.0552981567281
DRESDEN/CatchMeIfYouCanTest/CX18rA1.0067338880270766951.8333333333334945.4666666666667
STANFORD/threepuzzle/41ibjA1.006822779168238978.8666666666667972.2333333333333
DRESDEN/snake_2009/zIYLVw1.0069935893050612166.38890740617293165.23333333333332
BASE/blocksWorldParallel/RseaAQ1.0071270054460533577.3666666666667573.2808906369787
BASE/choicethroughalt/tt71Lg1.007917004429964124.50964068067534624.317121918720854
BASE/nim4/twk16w1.007945495691931631.30515869051187431.05838443081845
DRESDEN/troublemaker02/iZLVuA1.00803029897008513761.66666666666653731.7
DRESDEN/cubicup/SBn_lw1.0081417117117117223.8221.99260024665844
BASE/snake_2008/i6K26g1.0082207824744785.09303951266602355.051512130275839
DRESDEN/skirmish2/iPpWhQ1.008427825239211217.37336084670172617.22816488386817
DRESDEN/knightthrough/J7Fc_Q1.008484848484848533.7662337662337733.482142857142854
STANFORD/chinook/osFbPA1.00856337749118321.66461446304369421.480667399340593
DRESDEN/circlesolitaire/ruUilQ1.008758248350331681.61667.0
DRESDEN/hallway/0H4l-Q1.008872639106075617.54678031564227317.392463265918103
BASE/incredible/8Qh-6Q1.009348419194351838.5666666666667830.8
BASE/amazons_10x10/Bun8dA1.00936306546337363.74333322291052453.7086092715231787
DRESDEN/lightsout/XgLpzQ1.0093953834195142995.5666666666667986.3
BASE/dotsAndBoxesSuicide/jzQbLw1.009565243364458429.25106609808102228.97392346887801
DRESDEN/mummymaze2p/k-8edg1.009857634220843615.18835559404456615.040095830699098
BASE/ttcc4_2player/_aH_Mw1.009910498027503320.78129683285043320.577364898611528
DRESDEN/brawl/2kXtfQ1.009934094544000511.82860189257630311.712251281027484
BASE/skirmishFinal3/-Olhfw1.009991484581293816.1746596998036416.014649575495255
BASE/lightsOnSimultaneous/_VN6lw1.0106679035250465508.4163861204627503.0498983367221
BASE/escortLatch/mX9BjQ1.010858037702205884.5582108455821183.6499366793308
BASE/2pttc/unkkYA1.011189195218230131.07100039962701430.72718789575418
DRESDEN/bidding-tictactoe/yW5vTA1.0113082133369928137.51041493084486135.97280543891222
DRESDEN/hanoi7/51zz5Q1.0113696870986940.281893068562658560.2787240631774543
BASE/cubicup/4wNWJA1.0114531458435136224.35918802706576221.81866648895405
BASE/sudokuGrade4/DTy07w1.0114786804147768121.57568486302739120.19599346688443
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.0115010321439104457.3333333333333452.1333333333333
BASE/gt_chicken/gmepTQ1.011572856391373128.18290894547394126.71643780829223
BASE/pacman2p/4LEdQg1.011677549608530421.60812385550191621.358706500765187
DRESDEN/hanoi/RQ0jiA1.011890102125362621.41834049498684321.166666666666668
BASE/knightfight/SJRkAg1.011894607486797812.17321891837956512.030125299920021
STANFORD/multiplebuttonsandlights_9/SqB9BA1.0120715025341981238.03333333333331223.2666666666667
STANFORD/hunter/14dD-g1.0122027334456682457.7180760641312452.2
BASE/hodgepodge/9yjRkw1.0124673916725955996.1666666666666983.9
BASE/pawnWhopping/Ypc_6Q1.0126719673161533268.5265.14015265140154
DRESDEN/tictactoe_3player/ESLQQQ1.012700916871176257.11619225384976253.89153694876836
BASE/chineseCheckers2/eCMR3Q1.0129279388156696103.90216268452798102.5760655846969
STANFORD/selectivesukoshi/3xmXYg1.0133705758358502133.22445170321978131.46666666666667
DRESDEN/peg_bugfixed/u_B7MA1.0134552192471866348.2343.57709486034264
DRESDEN/sat_test_20v_91c/dK7nVw1.0135292835568148202.75990800306656200.0533297780148
STANFORD/knightstourmedium/x1wu8Q1.013586509062715324.95583480550647320.6
BASE/nim3/1OwUqw1.013615040376729431.2375116557879330.81792437114776
DRESDEN/statespacelarge/8-y5HQ1.01363248384343391385.46666666666671366.8333333333333
BASE/knightsTourLarge/M8jgLA1.0138104448620544106.87862427514497105.42269002731331
BASE/max_knights/2fq3Ag1.0139799349605061.10835832572695271.093077177873468
STANFORD/eightpuzzle/W_aWbA1.0141374747545093485.4478.6333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ1.0142310554919356223.8184121058596220.67793220677933
STANFORD/3puzzle/41ibjA1.0142370572207084992.6978.6666666666666
BASE/ttcc4_2player_alt/ZEJvYA1.014772967769486319.4439820209755319.160918391149323
BASE/stateSpaceMedium/3bUoIw1.01478652066887351992.53333333333331963.5
BASE/skirmishFinal1/ecWTnQ1.01525619442286114.61871461871461814.399040063995734
BASE/bomberman2p/4CClwA1.01540858807910328.4991343720868328.066666666666666
DRESDEN/statespacesmall/h-NqjA1.01567699939301353235.06666666666663185.133333333333
DRESDEN/bomberman2p/x4h6jQ1.015734078431372428.76666666666666628.32106087362143
DRESDEN/blocks/vg0DRw1.01581252129579382683.1333333333332641.366666666667
BASE/2pffa_zerosum/o0_uZA1.015839626367015363.3164489469474862.329178054796344
DRESDEN/gt_prisoner/huCp4w1.0158458239749084203.85307646156923200.67324356752434
DRESDEN/sum15/CsgWKg1.01615817535545032287.03333333333332250.6666666666665
DRESDEN/checkers-mustjump-torus/cVc3gA1.01625352996548470.219642296830875440.2161294306533284
DRESDEN/nim4/F5YAYg1.01660305199921331.48845423344773730.97418817651957
DRESDEN/catcha_mouse/cHv4dw1.016622895385699384.8378.508099460036
BASE/blockerParallel/7-nDJA1.016650201409869426.23333333333335419.2526915769474
BASE/cylinder-checkers/hlldmw1.01666930755823180.28521628901917290.2805398834200929
BASE/hanoi/iGLsJg1.01688419830510921.3502981047863320.995800839832032
BASE/factoringGeorgeForman/HGRorQ1.01700577592626143368.93333333333343312.6
BASE/qyshinsu/R08Lzw1.017270124656107860.2959802679821459.272339574865065
BASE/doubletoetictac/fu35bg1.0175457510174381258.46666666666671236.7666666666667
DRESDEN/capture_the_king/EQ229Q1.017669580884912314.50625499068405614.25438596491228
DRESDEN/small_dominion/yB5GJA1.01800875563810030.397983550013266130.3909431503502199
DRESDEN/ggp-course2013_nicolai/uEin8g1.018162000703700726.68132307384830826.205380927011188
BASE/wargame01/_GZFZg1.0181694062912272.2131201691220192.1736266631537347
BASE/skirmishZeroSum/zh4hcw1.01834046756667760.46098123147843270.4526788889966696
BASE/speedChess/bPnisA1.0186070303347495.05672178049835354.964349970013993
BASE/gt_prisoner/klthDw1.0189018822647546154.7793627516331151.9080153307782
DRESDEN/bunk_t/7-tPfA1.01897779307059121283.26666666666671259.3666666666666
DRESDEN/guess/PhxGhg1.01900982747324732.55601659751037322.508333608369913
BASE/tron_10x10/7ZTgDg1.0194042146644726247.76666666666668243.0504633024465
STANFORD/multiplebuttonsandlights/cK70Yg1.0197534940024211235.53333333333331211.6
BASE/snakeParallel/RCVNtw1.0201286424234568524.5666666666667514.2161927935736
BASE/skirmishFinal2/gdB62Q1.020297086336650514.92984970173626114.632845571814272
BASE/lightsOut/5P1ZBw1.02036568431141662.4333333333333649.2116929435686
STANFORD/hex/MTqWcw1.020606435240309324.3292784535910723.838060993474496
BASE/eightPuzzle/vLrgFg1.0209367870084554507.1164294523516496.7167761074631
DRESDEN/tictactoe/BTTzPw1.0209706205381661983.13333333333341942.4
BASE/coins_atomic/AA3SSw1.02242928214366672856.6333333333332793.9666666666667
BASE/pawnToQueen/-O1_JA1.0225034991410021.2820091384241151.2537943777220535
DRESDEN/doubletictactoe/lJzgmQ1.02262882944372981298.51269.7666666666667
DRESDEN/cubicup_3player/awDtsQ1.0229915913371994181.72727575747476177.64298093587522
BASE/breakthroughSuicideSmall/XSbJog1.02304026935894191.4786549805045489.41843026162306
BASE/ttcc4_2player_small/Cv72TA1.02349442527774766.2200893154702364.7
DRESDEN/tictactoeparallel/yk_DSg1.02375697382134741113.23333333333331087.4
BASE/ghostMaze2p/W-NU-w1.023816637630306830.63297039922751729.920367840602406
STANFORD/buttonsandlights/eyhJpA1.02394415357766143422.53333333333333342.5
STANFORD/tictactoe5/WFRReg1.02448792768051261193.73333333333331165.2
DRESDEN/Thief_Police/CX18rA1.0247249831983305965.6666666666666942.3666666666667
BASE/pacman3p/wW7UVQ1.025317419397555621.78765366292434221.24966693312017
BASE/snake_2009_big/-oRfVw1.0267351088297054138.59538015399485134.98650134986502
BASE/knightsTour/mvtVIg1.0270719206556194277.5055827750558270.19099363354553
STANFORD/rainbow/_4qNSQ1.02781985952348151492.61452.2
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.0279131345283967204.5198.94677198946772
DRESDEN/lightson2x2/gBHuig1.02815087396504131676.41630.5
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.0282728193146418205.36666666666667199.72001866542232
DRESDEN/nim1/M9BALA1.02838814223771629.47936444488857828.66560127846584
BASE/alexChess/LNo83g1.02879386912079055.3490149174391185.1993067590987865
BASE/lightsOnSimul4/9FeASw1.0288092200012717374.50836610892605364.0211992933569
BASE/skirmishNew/sibw2g1.02883269167965575.5067175319290095.352393617021277
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.0289855072463767151.4515215145152147.18528147185282
BASE/chess_200/XsTpYA1.02958026302745933.27132141558999433.177335010260144
BASE/checkersTiny/Lr48cg1.0298577056950520.78711751008494310.7642973448974845
DRESDEN/snake_2009_big/DgC1NQ1.029980675958938137.25751616558895133.26222459251358
BASE/skirmish/Y_psYQ1.03067811273041888.0521727557063967.8125
STANFORD/bestbuttonsandlightsbig/g0JC6g1.0307446444199233902.9666666666667876.0333333333333
DRESDEN/peg/Vo31eg1.030851581508516353.0431304579695342.4771681887874
BASE/blocks2player/wnTLOQ1.0315928384313881745.83333333333331692.3666666666666
BASE/amazonsSuicide_10x10/XIbQkg1.03190625654860953.98498987148407663.8617750848924697
DRESDEN/troublemaker01/C-lPWw1.03198468274673144509.5666666666674369.8
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.0321745299751686969.9939.6666666666666
DRESDEN/catch_me/ghGWrA1.0327358591821403962.2931.7
BASE/coins/QnGtnQ1.0333466768562662839.53333333333332747.9
BASE/zhadu/DlA8iQ1.033921450151057422.822.051965356429047
DRESDEN/endgame/IJhh3Q1.034635401162228525.2224036250957924.378059746228395
DRESDEN/coins/QwFP9w1.03522825046352972847.53333333333332750.633333333333
BASE/onestep/xi53wA1.0361061149010757507.8666666666677246.233333333334
BASE/simultaneousWin2/PfjRjw1.0362355621805792486.6469.58434718842705
BASE/pearls/6k_mEQ1.036428661119973314857.06666666666814334.866666666667
DRESDEN/gt_ultimatum/pAiiQw1.037723128710739623.04669286618264222.208903539439948
BASE/checkers-cylinder-mustjump/rjr6qQ1.0385110059976231.28083024073040171.2333333333333334
STANFORD/duikoshi/tpw1sw1.0388770180436846583.4333333333333561.6
BASE/coloredtrails/EZvr7g1.039310716208939514.6666666666666495.2
BASE/nim1/hin2Qw1.03976805616602230.08295299330379528.932368921035966
BASE/stateSpaceSmall/Q7osKA1.0403594513637083299.53171.5
DRESDEN/merrills/aYEzwA1.0410286611700040.019630938358853550.018857250612860643
BASE/chickentictactoe/DSlZCA1.0422714849681141144.06666666666661097.6666666666667
DRESDEN/brain_teaser_extended/ZDp94A1.04375113286206261535.56666666666661471.2
BASE/bunk_t/xbpfIA1.0441729323308271296.16666666666671241.3333333333333
STANFORD/ttcc4/Cx9SGw1.044580308293938722.31696755712477721.364530213645303
STANFORD/dualrainbow/G3OnRQ1.0453271735837624920.1666666666666880.2666666666667
BASE/haystack/UkweGA1.047190300629498214239.83333333333413598.133333333333
BASE/tpeg/QNs7Lw1.0472536819808325352.1098593427105336.2221259291357
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.0473236848150702151.9514715195147145.0854914508549
BASE/tttcc4/8Bs2lg1.04823437876687129.29023658780406727.942449876773463
BASE/golden_rectangle/_nYzfw1.0483008463558339105.3122708791575100.45996933537764
BASE/queens08lg/Ru7eqQ1.049140913081541242.07055061456980440.1
DRESDEN/Travelers-Dilemma/PvZwYw1.04997286541244580.271345875542691740.2584313218762114
BASE/duplicateStateMedium/U163eQ1.0502784786778812790.8333333333334752.9749008366388
BASE/switches/tPUoCg1.05094471425720172106.2333333333332004.1333333333334
DRESDEN/smallest_4player/ADDROA1.05137524597187238.2859618140015336.41512577044811
BASE/shmup/ssTNlg1.0515272479564033154.33333333333334146.77064587082583
BASE/double_tictactoe_dengji/zgaSbA1.0547835964166452951.0666666666667901.6699443351888
BASE/survival/YVIjJA1.05578327764395067246.3333333333336863.466666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw1.06084202999043190.7454927183657185.54100436535705
BASE/reversiSuicide/9OxJlg1.06172662044307021.92665426521392511.8146425154244614
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.06251680559290131053.7333333333333991.7333333333333
BASE/nineBoardTicTacToe/wRmqqA1.0633506973617879210.93333333333334198.36666666666667
STANFORD/jointbuttonsandlights/qAKuIQ1.0662326563442591413.96666666666671326.1333333333334
BASE/ticTacHeavenFC/mrletw1.0686885726989772320.4299.80670532560157
BASE/nonogram_10x10_1/0Xc62g1.06886565530193812.02571704587094811.250915385127488
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.06981701795379560.39191351775041640.36633696339960703
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.0718488945077618168.22211852543163156.94574056792428
BASE/point_grab/V_osUg1.0720052488687783750.2699.8100063331223
BASE/tictactoe_3d_2player/IUC1rQ1.072458325458971248.0823697977408344.83378855505962
DRESDEN/hitori/S8Gsyg1.07260682779654350.29514970649001410.27517045280826735
BASE/tictactoe_3d_6player/d7KSwg1.073833712223792442.9304713019132139.97869578243068
DRESDEN/tttcc4/sAvtFg1.076353034549385230.09799346710219227.96293827489668
BASE/gt_attrition/kD_SCA1.07745713755730450.247325789896741480.2295458271847844
BASE/ticTacToeNoVars/XT03NA1.079990998199641439.71333.0666666666666
BASE/ticTacHeaven/18n58A1.082258512536084370.73333333333335342.5552481583947
BASE/hitori/S8Gsyg1.08779915079773540.289500772002058650.2661343978709248
BASE/ttcc4/Le0qjQ1.08845238538289729.56469568695420227.162139643392766
DRESDEN/blocksworldparallel/2JfVaw1.0975272554905988926.1666666666666843.8666666666667
STANFORD/nineboardtictactoe/y28P-A1.1007683568714197215.63333333333333195.8934702176594
DRESDEN/vacuum_cleaner_1/eUNjpw1.10785907859078580.0570532021109684750.051498609537542483
BASE/minichess/8NQEiA1.1165454328070832114.77704459108179102.79657344755175
BASE/minichess-evilconjuncts/4OpQzw1.1516023031900717111.9592027198186897.22037061725104
DRESDEN/ticblock/Z2yNWQ1.15223180319553631211.53333333333331051.4666666666667
DRESDEN/minichess-evilconjuncts/th24Tw1.1552651926792024112.981169805032597.79674010866304
DRESDEN/satlike_20v_91c_version2/yd9ioQ1.17561349693251540.38343558282208590.32615786040443573
BASE/ticTacToeLarge/TZC0dg1.178786631781429694.7768407719743589.4
BASE/ticTacToeLargeSuicide/727_8g1.1833058696516847694.1666666666666586.6333333333333
BASE/connectFourSimultaneous/7ITr3g1.187281712285534229.86666666666667193.607518997467
DRESDEN/minichess/c7GMFw1.1876627335504488112.4962501249958494.72070390614584
DRESDEN/tictactoelarge/IwXcbg1.27119839619839611141.3666666666666897.8666666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw1.32768834945250763.77495943574290532.843257182530499
BASE/tictactoe2/bhrDoQ1.43293190633821422351.96666666666671641.3666666666666
BASE/connectFour/WAIKTw1.4340128755364807356.3881203959868248.52504916502784
DRESDEN/tictactoelargesuicide/6J4DeA1.43561011782153721161.6809.1333333333333
STANFORD/connectfour/VMpZkQ1.5455441029306647360.3333333333333233.14335233143353
DRESDEN/connectfour/5tc-Mg1.6249029672999562453.23333333333335278.92947606985734
BASE/pentago/86NgKw1.6270786183460226120.879853357773774.2925707429257
BASE/connect4/50bOyw1.6477593078443693174.12752908236394105.67534242010197
STANFORD/pentago/ZxzLmg1.6515221070383785127.090969676774476.95384102649558
BASE/pentagoSuicide/SBgNhw1.657822450825781122.4251716552229873.84697414022928
BASE/connectFour_9x6/B9TtMw1.6741694295674014332.0555981467284198.3404978506448
DRESDEN/connect4/T0-rHQ1.688242775508431175.24914175249143103.80565182617968
BASE/dualConnect4/WbCQkg1.691969834602018192.50766564458073113.77724455108978
BASE/connectFourLarge/aU644A1.839982183800241233.98440103993067127.16666666666667
BASE/checkLines/Vop7oQ2.003878886380737295.8666666666667147.646980402613
BASE/connectFourLarger/qKi60A2.196271828983520498.490150984901544.84424454439447
BASE/cittaceot/fDxhXg2.2732015451161134225.4032795627249899.1567509915675
BASE/quad/tw-Ufg2.5807041457495265.3525715615545732.074074074074074
DRESDEN/quad/JPe6fg2.63589115299474935.37830749311111862.0404133482524847
DRESDEN/quad_5x5_8_2/JRTLJg2.66201431026203755.9159797926083492.222369643094069
DRESDEN/farmers/S_ASnwNaN0.00.0
BASE/amazonsSuicide/dE1QEQNaN0.00.0
DRESDEN/vacuumcleaner_random_big/DwzFaQNaN0.00.0
BASE/gt_two_thirds_2p/1APDGgNaN0.00.0
BASE/amazons/RKKZjwNaN0.00.0
BASE/amazonsTorus/soxT8gNaN0.00.0

Games with errors:

GameREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765IllegalArgumentException: too many occurrences: 2147484126
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765IllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds

index