index

REKKURA_BACKWARD_PROVER:1.0.0 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER:1.0.0 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/chinesecheckers6/yTbPDA0.00.0171.74376749766697
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.00.0198.62009199386708
BASE/crisscross/ICagEg6.943529248714301E-50.059232933511032135853.0666666666667
DRESDEN/crisscross/GsY16g7.35304257817173E-50.05963562632316546811.0333333333333
BASE/crissrace/ERWGDA9.685340491258704E-50.03224142378127418332.8889037032099
DRESDEN/crissrace/KWb9bw9.688882991158157E-50.03270966897814994337.6
DRESDEN/chinesecheckers3/QsCb2A0.00198991267867861370.7535548129218269378.68737708743043
DRESDEN/chinesecheckers4/-oVNYg0.0040223453564746280.9180026884364447228.2257258091397
DRESDEN/chinesecheckers2/06E6-Q0.03402334856067154610.916594555015642320.85597146761774
BASE/god/qF06gw0.538303985935604120.7736866635594938.59099543439864
DRESDEN/god/2EDD5w0.569284814910974720.9075473582581536.72598813570619
BASE/copolymer_4/2LDVhQ0.6917166646259336753.23333333333331088.9333333333334
BASE/copolymer_4_pie/IN5_jA0.6979435297229385703.66666666666661008.2
BASE/ad_game_2x2/D0aWqg0.72024528257215240.4498425551057130.6245685546168765
STANFORD/multipletictactoe/_bkafQ0.7662711034046183618.6666666666666807.3730875637478
BASE/tictactoex9/BI26ow0.7699883893181727641.0666666666667832.5666666666667
BASE/battlebrushes/arCwyA0.773349972268441599.90016638935109129.17847025495752
DRESDEN/tictactoex9/rFkD4w0.7934881414759111640.1333333333333806.7333333333333
BASE/amazons/RKKZjw0.87241404517653940.07310119642291480.0837918610172332
BASE/tictactoe_3d_6player/d7KSwg0.8867119111359276125.20406463434949141.2003865764655
BASE/conn4/va9Y7A0.88965835641735921156.21299.6
DRESDEN/tictactoe_orthogonal/y69QFQ0.90262114424017714089.8666666666674531.1
BASE/cylinder-checkers/hlldmw0.90707669754114762.49883387752382242.7548209366391183
BASE/tictactoe_orthogonal/WRzlVw0.91481684142031084123.9333333333334507.933333333333
DRESDEN/tictactoe_3d_2player/LMuX9w0.9170499886286105134.4146.55689620691953
BASE/asteroidsSerial/id2QkA0.9173009760902658682.9744.4666666666667
BASE/kalaha_2009/dRiN3g0.918251977781052622.0720420800319624.037021007424176
BASE/hanoi7_bugfix/3gdnFw0.9250661582583757157.66666666666666170.43826028995167
DRESDEN/othello-cornercontrol/r5Gdlg0.92612694105231420.150761344791195550.16278691193228065
DRESDEN/kalaha_2009/gcC8uA0.926914366605811222.0113220113220123.746877601998335
DRESDEN/small_dominion/yB5GJA0.927302814070212520.05262982578861421.624683459949352
BASE/skirmishFinal2/gdB62Q0.933272454132886727.67970155219505629.65875766462277
DRESDEN/grid_game2/kypTYQ0.93550504146530641568.01676.1
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.936537762671284238.4360503644797941.040577215860196
DRESDEN/point_grab/r5DPmQ0.93792667693112154304.8333333333334589.733333333334
BASE/racer4/0vs7Ww0.941116350892381515.01731486414491315.956916325920016
BASE/racer/QQYQNw0.94255646144727618.11521811521811619.21923922456865
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.9428717795224839.77751172303701610.369927211087845
DRESDEN/checkers-mustjump-torus/cVc3gA0.94589291054748931.0164267680907571.0745685444480626
DRESDEN/quad_5x5_8_2/JRTLJg0.9461276094612762212.87871212878713225.0
BASE/pancakes88/l2Xaig0.946288465266047823.88805597201399425.24394711426383
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.9464243423740373494.9168361054632522.9333333333333
DRESDEN/Goldrush/VeWczQ0.9470577384246448513.3828872370921542.0819306023133
DRESDEN/amazons/dNB28A0.94906576559022911.49846687108385612.115563839701771
DRESDEN/satlike_20v_91c/yeuENQ0.950348175308438239.2065654384157941.254948930365636
BASE/twisty-passages/DiZmmg0.952604910864446762.9333333333333366.0644645178494
BASE/tictactoe_3d_2player/IUC1rQ0.9551317593737184133.56883393874762139.8433594400933
DRESDEN/endgame/IJhh3Q0.955964934799381636.0903758997600637.75282396454633
DRESDEN/pancakes/hl9aiQ0.95598279787503161259.66666666666671317.6666666666667
DRESDEN/vacuumcleaner_random/_6AGDA0.956527206644273514.44115396133497415.097483752707882
BASE/zhadu/DlA8iQ0.956789027197919437.6849260295881639.386871042985675
BASE/nim3/1OwUqw0.95730400584037871355.01415.4333333333334
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.957965781278896317.05643280698247817.804845580404685
STANFORD/threepuzzle/41ibjA0.95917787997501863378.83522.6
BASE/majorities/ibJzSQ0.9600758888064009387.94080394640355404.0730617958803
BASE/queens08lg/Ru7eqQ0.9600796066494965546.7333333333333569.4666666666667
BASE/blocksWorldParallel/RseaAQ0.96022953241293111690.11760.1
DRESDEN/ggp-course2013_jordi/9QI6Kw0.9608163388017784289.09036365454483300.8799413372442
BASE/quad_5x5/JAEP5g0.9612826314999156203.74629203746292211.95253649756683
STANFORD/multiplebuttonsandlights_9/SqB9BA0.96213455101290574972.65168.3
BASE/breakthroughSuicide/wZDpIg0.9625262178012904127.14971337155046132.1
BASE/blobwars/0XT15Q0.963081462066588417.50241240475160618.173345759552657
BASE/four_way_battle/xSOQXA0.96315858287590956.1184451168822546.352479462533675
BASE/amazonsSuicide/dE1QEQ0.96353973197702660.085721633282852820.08896533317517274
BASE/snake2p/I3wWPQ0.96401701014066071080.56666666666661120.9
BASE/hidato37/pBrqxw0.964250326579729260.95650724879186663.21647560650493
DRESDEN/connect5/1kYzSg0.964266066952576819.88409272581934320.620960756879207
BASE/4pffa/Q3ADlg0.964551172098342449.8366775548297466.36890873941735
DRESDEN/peg_bugfixed/u_B7MA0.9645562890434629725.7752.3666666666667
BASE/4pttc/AL1k2Q0.965016814571058391.439234896197894.75403279562725
BASE/aipsrovers01/4C4jsw0.96535639114852931131.33333333333331171.9333333333334
STANFORD/hunter/14dD-g0.96536576619650962153.66666666666652230.9333333333334
DRESDEN/max_knights/hCipiA0.96640527218430286.6238391638651276.854100815172185
DRESDEN/blobwars/ZaMluQ0.966572757178716917.82620285219245618.442691168148073
BASE/biddingTicTacToe/8mESVw0.96703079572077791141.96666666666671180.9
BASE/guess/SPpk1A0.9672730375431837232.0255991466951239.8760123987601
DRESDEN/skirmish/RjGQYQ0.967746321866930542.3703407614669743.78248700519792
BASE/checkersSmall/SYmq8w0.967807217869897186.7217704306092589.60645139791396
DRESDEN/knightwar/7hhAqg0.9681877722635788546.2333333333333564.1811939602013
BASE/tpeg/QNs7Lw0.9682241276537209703.8666666666667726.9666666666667
BASE/incredible/8Qh-6Q0.96888907090397792365.83333333333352441.8
BASE/solitaireChineseCheckers/-ET6gw0.969015076341986613.82798245894817814.270141710435041
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.9713755398579852403.1532282257258415.03333333333336
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.97148432916813321.15496304118268211.188864304349262
BASE/hanoi_6_disks/MeubgQ0.9717767158796348287.4295.7469502033198
BASE/escortLatch/mX9BjQ0.9719869568769353438.20411972535163450.8333333333333
DRESDEN/buttons/ADUaHw0.97205559258436397875.48101.8
BASE/sheepAndWolf/g4THrg0.9721656517362859128.76666666666668132.45342132453422
STANFORD/checkersonabarrelnokings/Zrevdw0.972244200434679483.7527078820196686.14369501466275
DRESDEN/8puzzle/8fKC2w0.97229172058781242253.96666666666672318.2
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.972348354817314749.2666666666667770.5743141895271
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.9730847457627119478.43333333333334491.6666666666667
DRESDEN/gt_prisoner/huCp4w0.9731658135566931627.3790873637546644.6785107163095
BASE/checkers-mustjump-torus/uSApKQ0.9733878040724928.5399082873662528.773387391578877
BASE/hexPie/48CH6Q0.9735286558725263126.25824945003666129.69135390973935
BASE/chickentoetictac/l57rfQ0.9735836148287513794.8666666666673897.8333333333335
BASE/futoshiki6/JmvXNA0.9738065061258978537.8154061531283552.2815906136462
STANFORD/bestbuttonsandlightsbig/g0JC6g0.97385770897504923678.03333333333333776.766666666667
BASE/checkersBarrelNoKings/rnKNeg0.974172647169931986.4711762745751488.76370787640413
BASE/reversi/d8UMeA0.974222515348597735.81413926241512536.76176509798694
BASE/reversiSuicide/9OxJlg0.974305696552115535.6572113463843436.597560162655824
DRESDEN/SC_TestOnly_enabled/09o7gQ0.97537505324099642061.02113.0333333333333
BASE/queens16ug/gT-ylw0.9754747479522323270.8243058564714277.6333333333333
BASE/sudokuGrade3/eI8dvg0.9757024800188059184.46666666666667189.06036465451152
BASE/stateSpaceMedium/3bUoIw0.97596458319511215393.7333333333345526.566666666667
BASE/colonelBlottoVariant/X-n-KQ0.976241276321397742.3830467812874843.414520374504384
BASE/queens12ug/u6Bkmg0.9768035193462459480.76666666666665492.183593880204
BASE/numbertictactoe/rvJ-iQ0.9773419005749072023.02069.9
DRESDEN/tpeg/h-Scbg0.9773690379587052722.6666666666666739.4
DRESDEN/roshambo2/jgSlkQ0.97742251346363865190.75310.6
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.977783528916997539.4671928959052840.36393713813069
DRESDEN/blocksworldparallel/2JfVaw0.9778661992553832547.72605.366666666667
DRESDEN/capture_the_king/EQ229Q0.977969587955098144.8352819692881745.845272206303726
STANFORD/duikoshi/tpw1sw0.97800243605359331338.23333333333331368.3333333333333
BASE/gt_ultimatum/GE-uOA0.9782308649459004301.97986800879943308.7
DRESDEN/nim3/sG_axA0.97824228028503571372.81403.3333333333333
DRESDEN/skirmishfinal/hzq8ww0.978466281603562527.8425364683940628.45528455284553
BASE/futoshiki5/TJ4BZg0.9788535986346418783.8333333333334800.7666666666667
STANFORD/multiplesukoshi/vLSQPg0.9788800280431164372.32092263591215380.3539882003933
DRESDEN/quad_7x7/q-JOXg0.9788925950452515640.5333333333333654.3448551714943
DRESDEN/hanoi_6_disks/MeubgQ0.9789159228858756289.85700476650777296.1
DRESDEN/farmers/S_ASnw0.97936852656197781.31717597471022121.3449237329834345
DRESDEN/guess/PhxGhg0.9795188946694674231.51789880674622236.35878804039865
DRESDEN/racetrackcorridor/O0DoTA0.9800097696614436869.3666666666667887.1
BASE/strangeSkirmish/gc1zKA0.980246693801020925.47367720022643325.987006496751626
DRESDEN/javastrike/whONTQ0.9804342075091743273.4484367708819278.9054427890544
BASE/doubletictactoe/HH1htg0.98057618952017671953.71992.4
BASE/colonelBlottoVariant2/jruwGw0.980712715485082241.85550519861370642.67866066966517
DRESDEN/Runners/3bOCQw0.98085218891764771174.76666666666671197.7
STANFORD/knightstourmedium/x1wu8Q0.98162970017765891786.53333333333331819.9666666666667
BASE/chomp/-LcqYQ0.98198584602187421831.61865.2
BASE/cubicup_3player/e2yA_g0.9820614979052555396.70688620758614403.953201559948
DRESDEN/sheep_and_wolf/enAIzQ0.9823760141851592609.4130195660144620.3459884670511
DRESDEN/Travelers-Dilemma/PvZwYw0.982463150915423825.4522437285538225.90656321800806
BASE/nineBoardTicTacToePie/B8LzeQ0.9825372953819459751.6082797240092764.9666666666667
BASE/quartoSuicide/-23jUg0.982725815371972321.5537344260110621.93260224659178
BASE/sudokuGrade1/tDRNRw0.9829165791292434189.49368354388187192.78714752349845
BASE/snake_2008_tweaked/bX0NJQ0.983035625187107328.3666666666667334.03333333333336
BASE/breakthroughHoles/nZk0Sg0.9840042761309904127.39150723285114129.46235125495818
DRESDEN/battlesnakes2011/93VtTw0.984024676580268712.4666666666667724.0333333333333
BASE/checkersTorus/2vm1EQ0.984162040995288962.77070700339841463.78086574027792
BASE/max_knights/2fq3Ag0.98465549660432236.781238573280596.8869148617626506
BASE/sum15/QZ07Kg0.98521470312010855035.3666666666675110.933333333333
BASE/gt_attrition/kD_SCA0.98522994293387051.16198001394376021.1793998165378063
BASE/chess_200/XsTpYA0.985329181378744112.08670462491259612.266666666666667
BASE/quad_7x7/q-JOXg0.9854298340566761643.3652.8115729475684
DRESDEN/lightsout2/LFtfyQ0.98552666826596982913.97240183987742956.766666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.98644689611486482491.6333333333332525.866666666667
STANFORD/alquerquezero/uVgA_A0.9865049142246404285.7904736508783289.7
BASE/snake_2009_big/-oRfVw0.9865424430641823381.2386.4
DRESDEN/kitten_escapes_from_fire/uW-YiA0.9865894385305782630.2333333333333638.8
DRESDEN/mummymaze2p-comp2007/oTQRQg0.9866363445293254100.37992401519696101.73953612370035
BASE/nim2/eF2Qqw0.98673091696347511412.91431.9
STANFORD/pilgrimage/ObRZnQ0.9868285223218424239.0427623904276242.23333333333332
BASE/chinook/XQh0IQ0.987008257944792494.5333333333333395.77765188122771
DRESDEN/toetictac/mJtxCA0.98709938849185894465.9666666666664524.333333333333
BASE/coins_atomic/AA3SSw0.9871437910079171359.06666666666661376.7666666666667
BASE/blocksWorldSerial/Wyg96Q0.98719121683440082949.2666666666672987.5333333333333
BASE/snakeAssemblit/UO4sdg0.9872994074935901509.1333333333333515.6828105729809
DRESDEN/blockerparallel/dVQgSg0.9873841765425351674.844171860938683.4666666666667
DRESDEN/smallest/9kaGFw0.987990869516056582.5589.580347321756
DRESDEN/slidingpieces/s9_44g0.9884416838293569803.3065564481184812.7
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.988458188153311.12672322375397661.1398794984530207
DRESDEN/nim2/z5_exA0.9885875972647961397.53333333333331413.6666666666667
BASE/chineseCheckers6/rREH3A0.989283250643146239.26666666666668241.85860471317622
DRESDEN/quad/JPe6fg0.9901619205887089179.60938541527796181.39395353488217
BASE/pacman3p/wW7UVQ0.990311182614517862.3729717122580262.98320447880565
DRESDEN/skirmish2/iPpWhQ0.990325119674705345.11228093556340545.55300076643674
BASE/nim4/twk16w0.99050937049495451374.16666666666671387.3333333333333
BASE/checkers-cylinder-mustjump/rjr6qQ0.9905587466237969.7973873633697699.89076861595844
DRESDEN/cube_2x2x2/fp-34Q0.99078428193070631222.03333333333331233.4
BASE/bunk_t/xbpfIA0.99082409671991811904.06666666666661921.7
DRESDEN/oisters_farm/pTQMLg0.99091354453412972831.7666666666672857.733333333333
DRESDEN/chickentoetictac/cxYaRQ0.99100534539473683856.23891.2
BASE/wargame03/klXI8w0.99144398510011743.23021079623031063.258087037468001
BASE/sudokuGrade6H/ieE_9A0.9917462619347864183.5185.0271657611413
BASE/biddingTicTacToe_10coins/a-9ccQ0.9917621982833112573.8666666666667578.6333333333333
BASE/checkers-mustjump/T-8UuQ0.991849361252346411.59381663113006411.689090182496336
BASE/lightsOut/5P1ZBw0.99216760154881272246.3666666666672264.1
DRESDEN/knightstour/cGISAA0.99224486680406082166.56666666666662183.5
BASE/duplicateStateMedium/U163eQ0.99233875472842482072.43333333333342088.4333333333334
BASE/brawl/6Ymo_Q0.992405941717772439.0112269713828839.309747484842426
BASE/blocks2player/wnTLOQ0.99254575328434964651.4333333333334686.366666666667
BASE/toetictac/mTThmg0.9926582186558224556.4666666666664590.166666666667
BASE/asteroidsParallel/WauZiA0.9928659063025401728.3333333333334733.5666666666667
DRESDEN/sum15/CsgWKg0.99298726687090415045.65081.233333333334
BASE/queens06ug/7Lq3tw0.99304174950298211165.51173.6666666666667
BASE/wallmaze/uxNQ9g0.9931730366239225711.4429519016032716.3333333333334
DRESDEN/3pffa/0YrmQw0.9933492632417363831.4333333333333837.0
STANFORD/duidoku/3SoMaA0.9933771060122598160.77320446592233161.84508732169044
BASE/ttcc4_2player/_aH_Mw0.99368679879984192.9480770512564293.53860508514113
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.9937156158113947492.7835738808706495.9
BASE/smallest_4player/ADDROA0.9938554774380647715.542815239492719.9666666666667
BASE/breakthroughSuicideSmall/XSbJog0.9942513776508017361.6092260515966363.7
BASE/ruleDepthLinear/OUBJpQ0.99426704351835141653.36666666666661662.9
DRESDEN/stratego/Z2wovg0.9943081400322443671.5333333333333675.3774874170861
BASE/breakthroughSmallHoles/bxclRw0.99448868970111751094.71100.7666666666667
BASE/chineseCheckers2/eCMR3Q0.9945227439716785496.3499.03333333333336
BASE/othello-comp2007/86ZoMw0.994622393452060819.95676035256943220.064660200646603
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.9946823626811524376.4541181960601378.46666666666664
DRESDEN/ggp-course2013_nicolai/uEin8g0.994685414230179476.287285452424676.69488700753283
DRESDEN/quad_5x5/JAEP5g0.9948870320644448209.93333333333334211.0122321101223
BASE/circlesolitaire/azuQFQ0.99530000162911564072.96666666666674092.2
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.9955252942649636618.3333333333334621.1126295790141
STANFORD/platformjumpers/HEQskA0.995662396943704225.4830113257828125.594028060119307
DRESDEN/snake_2009/zIYLVw0.9957157827428761460.6513116229459462.6333333333333
BASE/2pffa_zerosum/o0_uZA0.9957538424735364554.9815006166461557.3480883970534
BASE/sudokuGrade6E/ihYFZA0.9962024416615061176.42745241825273177.1
BASE/ghostMaze2p/W-NU-w0.9963521045290097129.81169805032494130.28697130286972
DRESDEN/lightsout/XgLpzQ0.99642865703123132771.46666666666672781.4
DRESDEN/battlesnakes1509/-qZrLw0.9966312874942316719.9722.3333333333334
DRESDEN/catch_me/ghGWrA0.99665007150045022509.03333333333332517.4666666666667
DRESDEN/bidding-tictactoe/yW5vTA0.99687325232599531307.16666666666671311.2666666666667
DRESDEN/snake_2008/E56l3A0.9969706149651621329.07806146256917330.07799480034663
STANFORD/skirmish/w4V6Vw0.9975732189754338.1446760413550098.164489469474807
BASE/skirmishNew/sibw2g0.997597480083269423.71673162119849523.77384876635701
BASE/bomberman2p/4CClwA0.9977225832012679125.9126.18738126187381
DRESDEN/peg/Vo31eg0.9983398393682416741.6666666666666742.9
BASE/withConviction/3Xm54A0.9984331817291581529.36666666666661531.7666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.998505643633628478.3840538648712479.1
BASE/nim1/hin2Qw0.99852566052748591422.26666666666671424.3666666666666
BASE/snake_2008/i6K26g0.9985948007628226331.6222792573581332.0889303689877
BASE/amazons_8x8/7SOsIw0.998901820977666650.0433131205437450.09833005566481
STANFORD/madness/UO_B3A0.9989031443196177.6115136608389287.61987156024357
STANFORD/dualhunter/1rPZjQ0.9989678973057821548.63333333333341550.2333333333333
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.9990381426202322.4875621890547262.489957172736629
DRESDEN/brawl/2kXtfQ0.999056222510772139.4587749116843339.496050394960506
BASE/gt_centipede/9fRMpw0.99922596712042941979.43333333333341980.9666666666667
DRESDEN/mimikry/GJEhwA0.9992541717925586812.2333333333333812.8395720142662
BASE/2pffa/6oHijA0.9995741284965369580.4666666666667580.7139762007934
BASE/gt_dollar/TGjqRw0.99978020904561882729.2666666666672729.866666666667
BASE/troublemaker02/DI83KA1.00005742238109079288.4333333333329287.9
DRESDEN/smallest_4player/ADDROA1.0003110303759584720.4333333333333720.2093263557881
DRESDEN/babel/WdSW4A1.000372342658257182.1753473957812682.14476139696082
STANFORD/sudoku/oJ1qyQ1.000750074658066186.16666666666666186.02713242891903
DRESDEN/3pttc/uwYBZw1.0009582751048114835.6333333333333834.8333333333334
BASE/queens31lg/0gID-A1.001024686634318937.42460092645049537.386291693045884
BASE/futoshiki4/BaCwSw1.0010497936201181398.56666666666661397.1
STANFORD/buttonsandlights/eyhJpA1.0010739901274229849.2666666666669838.7
DRESDEN/mummymaze2p/k-8edg1.001267138045735645.4818072770891745.4242484836366
BASE/ticTacToeParallel/ymRGPw1.00137705758022171042.31040.8666666666666
DRESDEN/4pttc/9pB9AQ1.0015252887250676299.8566714442852299.4
DRESDEN/2player_normal_form_2010/NG_Kdg1.00156036894056725776.8666666666675767.866666666667
BASE/racetrackcorridor/_RkdUg1.0016212025093396947.3333333333334945.8
DRESDEN/logistics/fPru1Q1.001697728816117885.0333333333333883.5333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.00172273382196321066.03333333333331064.2
BASE/skirmishFinal1/ecWTnQ1.002231156516097526.37626136477170426.317542807648746
BASE/blockerSerial/3eqDuw1.00249627292584963.8333333333334961.4333333333333
BASE/maze/cCX3qQ1.00266909814323626048.16032.0
BASE/mummymaze2p/vpjDdA1.002680386364103845.3394629888733445.21826057980673
DRESDEN/troublemaker01/C-lPWw1.002938064188130711310.411277.266666666666
BASE/kalaha5x2x3/WviNsw1.0029846177393433436.83754416372244435.5376308246117
BASE/tron_10x10/7ZTgDg1.00299637281185941272.01268.2
BASE/speedChess/bPnisA1.00303641838792523.27672327672327823.206259364075244
DRESDEN/circlesolitaire/ruUilQ1.00306346089606224103.7666666666664091.233333333333
BASE/gt_staghunt/xPjLRA1.0030930669164326535.4666666666667533.8155394820172
BASE/gt_coordination/IVMOzA1.003102561829625754.4752.0666666666667
DRESDEN/latenttictactoe/kITHKg1.0033840947546531838.31832.1
DRESDEN/grid_game/U7_Yeg1.0036042537415366571.4666666666667569.4143528549048
DRESDEN/racer/vk_ZBA1.003769938082707418.2054183585169418.137042830044262
BASE/hanoi/iGLsJg1.00407902597803921624.63333333333341618.0333333333333
DRESDEN/Zhadu/9zpQ5w1.004265753302210641.14609361985673540.971320075946835
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.0044851396727457411.90587294180386410.06666666666666
DRESDEN/blocks2player/3ev8nQ1.0045670912131744685.14663.8
BASE/breakthrough/TGxk-g1.0046061607050691129.19569347688412128.6033258906255
BASE/chineseCheckers1/gqtwHw1.0047250117634035806.6333333333333802.8399053364888
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.0048525588298316382.25392486917104380.40797280181323
BASE/endgame/jYjfOA1.004953910065031872.4116098503782372.05465755707382
BASE/qyshinsu/R08Lzw1.0053857120228102211.54551211545513210.4122921041229
STANFORD/selectivesukoshi/3xmXYg1.0053952212048722406.26666666666665404.08653044898506
BASE/snake_2009/7l-qAQ1.0055381039755351474.93333333333334472.3175894136862
BASE/point_grab/V_osUg1.0056929955290613374.13355.0
BASE/untwistycomplex2/EDPPAQ1.00569908814589676441.0333333333346404.533333333334
BASE/duplicateStateSmall/bCPAXw1.00585106088535356056.9333333333336021.7
STANFORD/breakthrough/d5j0cQ1.0058847477700876905.9333333333333900.6333333333333
DRESDEN/aipsrovers01/qS47Mw1.00603746781496931133.11126.3
DRESDEN/breakthrough/z4hK7Q1.0060580728414095134.319901343199133.51108148641893
DRESDEN/hanoi/RQ0jiA1.0061935586989531678.73333333333331668.4
DRESDEN/tictactoe_3d_6player/ulZPWg1.0064338312099768129.4901699433522128.66237792073596
BASE/stateSpaceLarge/0Ge_CQ1.00653282201669313718.33694.1666666666665
DRESDEN/double_tictactoe_dengji/bGaUyQ1.0066013356190671311.36666666666661302.7666666666667
BASE/quarto/EwBMVQ1.007015278798340922.51907125487191422.362194227821103
DRESDEN/brain_teaser_extended/ZDp94A1.00709954915271823239.03216.1666666666665
BASE/pawnToQueen/-O1_JA1.0072809489466984.9918466504708974.955763985897692
BASE/snakeParallel/RCVNtw1.00730798131749942278.92262.366666666667
BASE/brain_teaser_extended/ZDp94A1.0075346317027043285.06666666666663260.5
BASE/englishDraughts/jFkQxg1.008277002018882258.8074525880745256.6828878074795
DRESDEN/statespacesmall/h-NqjA1.0082904059803238618.98548.033333333333
DRESDEN/sat_test_20v_91c/dK7nVw1.0082928653087888480.1666666666667476.2174594180194
DRESDEN/ghostmaze2p/HY0UwA1.0083883844061916135.1531513515315134.02886570447652
BASE/hallway/ckCJOw1.0087654320987653272.3485100993267269.98200119992
BASE/slidingpieces/uFJWEw1.0090567612687813805.9798.6666666666666
BASE/kalaha6x2x4/XS81Mg1.0091804384540102247.2917569414353245.0421624504216
BASE/coins/QnGtnQ1.0092501957713391374.73333333333331362.1333333333334
DRESDEN/firefighter/WJmoPw1.0093283357236692791.56666666666662765.766666666667
DRESDEN/hitori/S8Gsyg1.00933284965207951.1212610889423871.1108932888976017
BASE/quad/tw-Ufg1.0094753937720136186.83149511845656185.07780999033622
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.0097802786709538502.46666666666664497.6
BASE/troublemaker01/s3tlEQ1.010180947601975611139.411027.133333333333
BASE/checkersTiny/Lr48cg1.0103434416018076133.06223125895804131.7
BASE/kitten_escapes_from_fire/uW-YiA1.0105345759389548641.5333333333333634.8455051498283
DRESDEN/blocker/S815zQ1.0109438297357763901.33333333333353859.1
DRESDEN/four_way_battle/xSOQXA1.0111958441459946.603397929386786.530285866595588
BASE/dotsAndBoxes/EHwA_w1.0113114283702922798.0666666666667789.1403619879337
DRESDEN/backgammon/mqCW0Q1.011477090531183312.28959034698846308.74608359442703
DRESDEN/catcha_mouse/cHv4dw1.01163145767981581214.73333333333331200.7666666666667
DRESDEN/tictactoe_3player/ESLQQQ1.0116472545757071972.8961.6
BASE/chineseCheckers3/-1rZdQ1.0118708015091562366.5211159628012362.22125929135694
BASE/cubicup/4wNWJA1.0120865920075734462.03586427571497456.5181160627979
BASE/colonelBlotto/jip21A1.01209379891162545.16030229383765.098640362569982
DRESDEN/bunk_t/7-tPfA1.01225747468933071993.01968.8666666666666
DRESDEN/blocks/vg0DRw1.0123481378211516946.7666666666666862.033333333334
DRESDEN/troublemaker02/iZLVuA1.01237044944181249452.2666666666669336.766666666666
BASE/peg/fJHVWw1.0123949579831932321.2559581347288317.3227559081364
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0128010779855146801.7333333333333791.6
STANFORD/triplesukoshi/Iu9mbA1.01280436068187061313.03333333333331296.4333333333334
STANFORD/8puzzle/jNiGtw1.0128057393502341816.43333333333341793.4666666666667
BASE/knightsTour/mvtVIg1.01328277356446381558.76666666666671538.3333333333333
STANFORD/tictictoe/rpt_Dw1.01394979868584522258.12227.0333333333333
STANFORD/chinook/osFbPA1.014076013461922290.1213171577123188.87037654115295
DRESDEN/towerworld/HCX34w1.014300306435138133.0812539560915532.61485158410234
BASE/pegEuro/5awwhg1.0145428175456397315.51229918005464310.9896336788774
BASE/gt_chicken/gmepTQ1.0146588693957115433.76666666666665427.5
DRESDEN/statespacemedium/dVJZ_w1.01512497810693825409.5333333333345328.933333333333
BASE/mummyMaze2p_2007/YGA3Vw1.015130035251788599.486735101986498.00393215368723
STANFORD/hex/MTqWcw1.015137157209185131.59561347955068129.63333333333333
BASE/cephalopodMicro/9l2D3g1.01523231784547778.094793680421376.92307692307692
DRESDEN/snake_2009_big/DgC1NQ1.015267844401709389.2536915436152383.4
BASE/connect5/d-BVQg1.015856186465983218.19393535488170617.909951819239076
BASE/checkers/rOC3Xg1.016126517557819461.9250766564458160.94228975076636
DRESDEN/breakthroughsuicide/Y9QzqQ1.0163030448333734141.3139.03333333333333
BASE/blokbox_simple/JBx4bg1.0167261802244217.251679861619327.132382349020131
BASE/gt_tinfoil/Q8DyKg1.016760512577759118.82145118821451116.86277124095864
DRESDEN/fizzbuzz/t1xHzQ1.0167657550535079855.1841.0
STANFORD/knightstour/cEwgNA1.017002158305071539.26666666666671513.5333333333333
BASE/gt_two_thirds_2p/1APDGg1.01737976135079442.69228212457621472.6462902318811814
BASE/skirmishHoles/AUCxCA1.01787652645861631.7164179104477631.159396140900455
DRESDEN/cubicup/SBn_lw1.0179474031206504463.2455.03333333333336
DRESDEN/knightazons/02I8BQ1.018202446570342349.1934408745500648.31400773024124
BASE/beatMania/qUHwvQ1.018203904860831927.83333333333331893.3666666666666
BASE/queens08ug/kJ_ZFQ1.0182378535170413936.1919.3333333333334
BASE/asteroids/BKCmPQ1.01856693165448431272.73333333333331249.5333333333333
DRESDEN/cylinder-checkers/clOO3Q1.01859961790757622.50453122425440762.4587985114300905
BASE/battle/8oAvhQ1.01865605284329093.72612948299953443.657887736100027
STANFORD/3puzzle/41ibjA1.0186664849977133488.96666666666673425.0333333333333
STANFORD/untwistycomplex/HTWEwg1.01961281693551162947.66666666666652890.9666666666667
STANFORD/untwistycorridor/EDPPAQ1.01968464920745036516.5666666666676390.766666666666
BASE/eotcitcit/V_9_bg1.01980823938468012581.06666666666662530.9333333333334
BASE/chineseCheckers4/avfBcQ1.0200495607118722301.83648301836485295.9037429590374
DRESDEN/hallway/0H4l-Q1.0203382882882883276.8333333333333271.31524565028997
DRESDEN/eotcatcit/mQUxzA1.02048311076197963464.23394.6666666666665
BASE/ticTicToe/c1OobQ1.02055174112503472209.7666666666672165.266666666667
BASE/sudokuGrade5/BQfUQA1.0207765147414578189.34773189347732185.4938168727709
DRESDEN/nim1/M9BALA1.02080556084555331429.41400.2666666666667
DRESDEN/nim4/F5YAYg1.02097505668934231380.76666666666671352.4
STANFORD/freeforall/Lfp40Q1.0212518356909939483.6666666666667473.6017598826745
DRESDEN/CatchMeIfYouCanTest/CX18rA1.02143955089220072547.32493.8333333333335
DRESDEN/pawn_whopping/4ogBkg1.02157089756870411117.66666666666671094.0666666666666
BASE/skirmishFinal3/-Olhfw1.021849196366177532.4666666666666731.772463864650636
BASE/tictactoe_3d_small_2player/oOryKA1.0220312087358523815.2061597946736797.6333333333333
DRESDEN/tictactoeparallel/yk_DSg1.0220395581813511326.26666666666671297.6666666666667
DRESDEN/twisty-passages/j7NPyg1.022142628206010765.9358965815952664.50753032120485
BASE/doubletoetictac/fu35bg1.02233836150390661949.63333333333341907.0333333333333
STANFORD/bestbuttonsandlights/nm0wEA1.02234867450640775036.5666666666674926.466666666666
DRESDEN/ggp-course2013_michal13/jWKddg1.0224094500306726472.25092496916767461.9
BASE/pancakes6/QZTdnw1.0228189070944498794.8666666666667777.1333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.0228678431595075600.8666666666667587.4333333333333
BASE/blocksWorld/SEdXLQ1.02295663746257077071.7333333333346913.033333333334
BASE/blocks/xIV5hQ1.02299589776569526999.1333333333336841.8
DRESDEN/knightfight/4_Ly4w1.023392248062015552.851.59312091721104
BASE/hex/T1MK8g1.0236514609861243131.0868913108689128.05812945803612
STANFORD/multiplebuttonsandlights/cK70Yg1.02398548247113595191.3333333333335069.733333333334
BASE/othelloSuicide/B442jg1.024041914293271520.08593984211052319.614372772986112
BASE/buttons/hTcUjw1.02422154160285868025.87836.0
BASE/factoringMediumTurtleBrain/8RBqmQ1.02459354025829261409.53333333333331375.7
BASE/tictactoe_3player/GtM71g1.0246368889583009874.7666666666667853.7333333333333
DRESDEN/pentago_2008/hLjVpQ1.0249722352147022400.31998933368885390.56666666666666
BASE/switches/tPUoCg1.02562841234661356324.3666666666676166.333333333333
BASE/blockerParallel/7-nDJA1.026460302937368669.3666666666667652.111596280124
BASE/breakthroughSmall/HJ0tIA1.026661588268901359.38802039932350.0549981667278
BASE/roshambo2/KNPokQ1.02686031621254965399.35258.066666666667
BASE/hidato19/rRHSmA1.0271174523796145609.3593.213559548015
BASE/coloredtrails/EZvr7g1.02718542125638981600.81558.4333333333334
BASE/haystack/UkweGA1.027516283520130813745.63333333333313377.533333333333
BASE/knightazons/apnJBQ1.02751917847421349.97168271312922648.63333333333333
BASE/sudokuGrade4/DTy07w1.027550947405702193.4188.21451188214513
BASE/knightmove/jBaJEw1.0278271692745375385.353821539282374.9208359721343
DRESDEN/bomberman2p/x4h6jQ1.028100791240268131.84469255124145128.24101846297407
BASE/3pConnectFour/PqXOFQ1.0287719298245614781.8666666666667760.0
STANFORD/sukoshi/4LYZZQ1.02930880185302162607.03333333333332532.8
DRESDEN/Thief_Police/CX18rA1.02948449429092632539.56666666666662466.8333333333335
BASE/eightPuzzle/vLrgFg1.0295350681723761817.26666666666671765.1333333333334
BASE/choicethroughalt/tt71Lg1.029666939404555797.3870150646580494.58108378324336
BASE/pacman2p/4LEdQg1.029979818959770461.546151282905759.75471572352196
BASE/onestep/xi53wA1.029986653751902715383.414935.533333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.0300580543649287632.8333333333334614.3666666666667
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1.03055133385403639.92680086508068638.74314607479397
BASE/survival/YVIjJA1.031128354096400210577.93333333333210258.6
BASE/checkersTorusNoKings/pwb6oQ1.03163940028510286.1046317894035383.4638845371821
BASE/knightThrough/gcwFjA1.032349271953298367.428838077461565.31591575579846
DRESDEN/gt_chicken/CeuKtw1.0334331302805395491.96666666666664476.0507983067231
STANFORD/eightpuzzle/W_aWbA1.03384264773176131846.30512316256141785.8666666666666
STANFORD/dualrainbow/G3OnRQ1.03427331095870413780.23654.9333333333334
DRESDEN/crossers3/xiPTxg1.03479213821117949.0787325492286747.428590474285905
BASE/stateSpaceSmall/Q7osKA1.03483562772809159040.68736.266666666666
DRESDEN/pancakes88/aD3E7g1.03529119377019321249.71207.1
BASE/dotsAndBoxesSuicide/jzQbLw1.0355063985153337796.3734542181927769.0666666666667
STANFORD/trifecta/ss1kyQ1.03645869004406093026.66666666666652920.2
BASE/ticTacToeSerial/Amrwqw1.03658645942310561155.96666666666671115.1666666666667
DRESDEN/skirmish3/3LU8Nw1.036701218767012262.19378062193780559.992001066524466
BASE/crossers3/O0rORg1.03687124951903849.2300513299113447.47942558224769
DRESDEN/doubletictactoe/lJzgmQ1.03737282503110142029.06666666666661955.9666666666667
DRESDEN/chickentictactoe/Ipbo-g1.0374938989217733117.63004.9333333333334
BASE/knightsTourLarge/M8jgLA1.0379232912215106599.7466751108296577.8333333333334
DRESDEN/quartosuicide/WIU1oQ1.03805165771589823.9912032254839923.111762355135205
DRESDEN/chinesecheckers1/Y-ftaA1.0381018916595013643.8785373820873620.2459918002734
STANFORD/rainbow/_4qNSQ1.03833931377377535903.1666666666675685.2
BASE/pawnWhopping/Ypc_6Q1.0383494729625504807.7666666666667777.9333333333333
BASE/chickentictactoe/DSlZCA1.03853610635512152749.7666666666672647.733333333333
STANFORD/ttcc4/Cx9SGw1.039061497797811796.544139700736592.91475038325669
BASE/blocker/dIWtxg1.03965334701317413175.06666666666663053.9666666666667
BASE/hodgepodge/9yjRkw1.0397074847037133307.93333333333343181.6
BASE/2pttc/unkkYA1.0400516795865633214.65235650956603206.38624091727218
BASE/pancakes/yUgbXw1.0407663371533549793.1333333333333762.0666666666667
DRESDEN/cubicup_3player/awDtsQ1.040875096949821414.3585641435856398.0867304423186
DRESDEN/pancakes6/SZXMyQ1.04164723865093061309.13333333333341256.791440285324
DRESDEN/coins/QwFP9w1.04227879906673861355.06666666666661300.1
BASE/breakthroughWalls/vOZaYA1.0424701900663438129.16666666666666123.90442230146299
BASE/3pffa/pR0dzA1.0426169917219263534.5666666666667512.7162427919069
BASE/skirmishZeroSum/zh4hcw1.042713680794310721.60452729693741620.71952031978681
BASE/double_tictactoe_dengji/zgaSbA1.0430044557606621365.46666666666671309.1666666666667
DRESDEN/gt_ultimatum/pAiiQw1.0430455185543994349.1883603879871334.7776814879008
BASE/firefighter/WJmoPw1.04465186680121082760.66666666666652642.6666666666665
DRESDEN/breakthroughsuicide_v2/LU1nAw1.0451641606433104136.31970136319703130.42898570047666
BASE/ttcc4_2player_alt/ZEJvYA1.04527693849609394.9143504632406890.80306564478506
DRESDEN/chomp/-LcqYQ1.04540772997488381928.53333333333331844.7666666666667
BASE/golden_rectangle/_nYzfw1.0458143398266515457.7180760641312437.6666666666667
DRESDEN/battle/8oAvhQ1.04666580398978033.80681253930947743.6370850416611558
BASE/amazonsTorus_10x10/Uxc08g1.04687513.38037544934096712.781254160564506
BASE/othelloHoles/c0qAzw1.047192443151243421.60956281423767320.635713097021135
BASE/sudokuGrade2/u80Tfw1.047214854111406197.3736835088655188.47487001733103
BASE/alexChess/LNo83g1.04751869348344714.79260369815092514.121565362198169
DRESDEN/pawntoqueen/f_x6Aw1.04886779356618125.0488274762505814.813597583242041
BASE/nonogram_5x5_1/qLKEZw1.04899027666585889.3791448661978985.20493168943685
BASE/knightfight/SJRkAg1.050425966462885254.5430313530803351.92467922012998
DRESDEN/ticblock/Z2yNWQ1.05108545244198441544.51469.4333333333334
DRESDEN/checkers/jIDMIg1.05208774509803932.36666666666666672.249495517549373
BASE/mineClearingSmall/frsbvw1.0522885030764595268.4910502983234255.14965668955404
BASE/knightwar/DVGY4Q1.0524615069127472176.76666666666668167.95546963535764
STANFORD/knightstourbig/TQUI2g1.0530608647892952468.6666666666667445.05183160561313
DRESDEN/vacuum_cleaner_1/eUNjpw1.054283218999345216.04740977493674215.221156408206769
BASE/duplicateStateLarge/dcjyuw1.0543576785394666785.4744.9085030498983
BASE/3pttc/0sol9g1.054374093765104145.42363842410506137.92413839077395
DRESDEN/hanoi7_bugfix/3gdnFw1.05462158292063170.00499916680553161.2
BASE/shmup/ssTNlg1.0552115314565227675.9333333333333640.5666666666667
DRESDEN/pacman3p/rBnk8Q1.05531595020208668.4128094904861864.8268506482685
DRESDEN/statespacelarge/8-y5HQ1.05549995366509133796.6333333333333597.0
STANFORD/jointbuttonsandlights/qAKuIQ1.05710747319942724552.4333333333334306.5
BASE/skirmish/Y_psYQ1.05818032464006725.00499433974828623.63018264231436
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1.058277627169463417.9273575474841716.940127134156487
BASE/catcha_mouse/cHv4dw1.05833357434132511219.81152.5666666666666
DRESDEN/tictictoe/LAUtwg1.06099644327442792525.66666666666652380.4666666666667
BASE/ticblock/T21C1g1.06200954340894181565.36666666666661473.9666666666667
BASE/amazonsSuicide_10x10/XIbQkg1.062220882741556523.1102231102231121.75651362697408
DRESDEN/checkers-newgoals/IJOqXQ1.06662980941874922.7186526092434192.5488248924197285
BASE/hitori/S8Gsyg1.0667875334898951.12459894816921911.0541920606160435
STANFORD/tictactoe/ss1kyQ1.06689766689766693079.06666666666662886.0
DRESDEN/checkers-mustjump/HUr33w1.06814536176280231.21478757633462481.1372867587327375
BASE/gt_prisoner/klthDw1.0687162118152804546.9333333333333511.76666666666665
DRESDEN/tictactoe/BTTzPw1.07116503820194263687.23442.233333333333
DRESDEN/CephalopodMicro/H3XQfg1.071274149271112689.9303356554781583.94707901489653
BASE/pearls/6k_mEQ1.07541822177595079460.6333333333338797.166666666666
BASE/ticTacToeNoVars/XT03NA1.07808463819880722253.72090.4666666666667
BASE/eotcatcit/AfZSzA1.07811478090255063516.66666666666653261.866666666667
DRESDEN/golden_rectangle/1uloXw1.0783123387463955473.6508783040565439.25202493250225
DRESDEN/frogs_and_toads/GjchhQ1.0785660941000748240.67593240675933223.14435223144352
DRESDEN/knightthrough/J7Fc_Q1.0788884594935944134.3621879270691124.53760789149199
DRESDEN/doubletoetictac/V89gKQ1.08144236627831841952.41805.3666666666666
BASE/checkers-newgoals/0XkFiA1.081769331093255228.19154253723882826.060585863298563
BASE/ticTacToe/JRFsaQ1.0837238758708043137.22894.8333333333335
BASE/factoringEasyTurtleBrain/lUj94Q1.08535758740957112935.56666666666662704.7
BASE/amazons_10x10/Bun8dA1.085448018887621923.0554261760596221.24047008689283
DRESDEN/knightmove/97Ipcw1.0862857652594564409.7196760107996377.17485500966603
DRESDEN/minichess/c7GMFw1.0873518097161157219.65934468851037202.0131320201313
BASE/minichess-evilconjuncts/4OpQzw1.0941700518353963229.83333333333334210.05266315578962
BASE/ttcc4/Le0qjQ1.0962643775556857103.452872950273394.36854381872709
STANFORD/tictactoe7/-bE9-A1.10047701445073193137.53333333333332851.0666666666666
BASE/amazonsTorus/soxT8g1.10501028263599490.0181993557428067050.016469851936031094
BASE/wargame01/_GZFZg1.10503063618371774.5128749668170964.083936516368949
BASE/tictactoe_3d_small_6player/g_9lww1.1050647158131683654.5666666666667592.3333333333334
BASE/ticTacHeavenFC/mrletw1.1169716336878053638.3120562647912571.4666666666667
BASE/wargame02/BkVqqQ1.1238412851352254.4853478636454253.991086573319586
BASE/tictactoe-init1/7M19vA1.1241982639439753306.8666666666672941.5333333333333
BASE/lightsOn/MsXu3A1.12505165453447335898.8333333333335243.166666666667
BASE/nonogram_10x10_1/0Xc62g1.125565427531015228.3003162976527425.143199680298387
BASE/tttcc4/8Bs2lg1.12674128795844103.4689593122063491.83027232425586
BASE/ticTacHeaven/18n58A1.130024654303784702.8621.9333333333333
DRESDEN/minichess-evilconjuncts/th24Tw1.1311488461974475233.55109659356043206.47247033728837
BASE/ttcc4_2player_small/Cv72TA1.1318987890077714246.1502566495567217.46666666666667
DRESDEN/tictactoe-init1/3ltIBQ1.13518454611617313422.61924602513233015.0333333333333
STANFORD/tictactoe5/WFRReg1.13610059665105532951.42597.8333333333335
DRESDEN/hanoi7/51zz5Q1.1365765171361044174.8433542194374153.83333333333334
BASE/connectFourSimultaneous/7ITr3g1.1438923896605477546.2666666666667477.5507483083897
STANFORD/nineboardtictactoe/y28P-A1.1534057466959173718.5333333333333622.9666666666667
BASE/nineBoardTicTacToe/wRmqqA1.1577257889009793709.3612.6666666666666
STANFORD/tictactoe3/X7myng1.15900301407946722807.06666666666662421.9666666666667
DRESDEN/quarto/OQzRYQ1.159650872022025325.94418170918537222.37240736425076
BASE/minichess/8NQEiA1.1633812949729432260.79130695643477224.16666666666666
DRESDEN/connect4/T0-rHQ1.1861630031233426670.9333333333333565.6333333333333
DRESDEN/tttcc4/sAvtFg1.1916333856509518108.4819196800533291.03632122625791
BASE/connect4/50bOyw1.1943334544133672657.6550.6
DRESDEN/battlebrushes/QHXV4A1.19794064996456750.438280687474564060.36586177077097054
BASE/lightsOnSimultaneous/_VN6lw1.19943273905996751480.11234.0
BASE/lightsOnSimul4/9FeASw1.20134396784525531275.26666666666671061.5333333333333
BASE/ticTacToeLargeSuicide/727_8g1.20183988166399881977.06666666666661645.0333333333333
BASE/ticTacToeLarge/TZC0dg1.21069476195209222030.13333333333341676.8333333333333
DRESDEN/tictactoelargesuicide/6J4DeA1.2449437820000342439.6333333333331959.6333333333334
BASE/factoringGeorgeForman/HGRorQ1.26899066568897536403.25045.9
BASE/simultaneousWin2/PfjRjw1.28429703359308481307.51018.0666666666667
DRESDEN/tictactoelarge/IwXcbg1.29778935954388052473.51905.9333333333334
BASE/tictactoe2/bhrDoQ1.31535143536089553893.1333333333332959.766666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw1.338018418542825417.1363923734735312.807291839925485
BASE/dualConnect4/WbCQkg1.3527338753086569472.8842371920936349.57669488700753
BASE/rubiksCube/9tNO9Q1.363396050380967292.26666666666665214.36666666666667
BASE/connectFour/WAIKTw1.3932596387166352861.2666666666667618.1666666666666
DRESDEN/connectfoursuicide/M9CNQg1.4173494215204332951.4666666666667671.3
BASE/lightsOnParallel/SC6enA1.43889447610533773863.02684.7
BASE/connectFourSuicide/c8p9Kw1.4404260100872162878.9666666666667610.2129929002367
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.46298464293092742832.53333333333331936.1333333333334
DRESDEN/connectfour/5tc-Mg1.5029542097488922949.6666666666666631.8666666666667
STANFORD/connectfour/VMpZkQ1.565635360347153889.9568.3954403039797
BASE/connectFour_9x6/B9TtMw1.5775394074170974803.9666666666667509.6333333333333
DRESDEN/lightson2x2/gBHuig1.61193390452876354389.8333333333332723.3333333333335
BASE/pentagoSuicide/SBgNhw1.6271138141773356372.1209293023566228.7
BASE/pentago/86NgKw1.6596766310637143376.88743708543046227.08486100926604
STANFORD/pentago/ZxzLmg1.6949692518591983406.28645711809605239.70137315024664
BASE/connectFourLarge/aU644A1.7383416336874262556.3666666666667320.0559981333956
BASE/connectFourLarger/qKi60A1.779772190093195210.92630245658478118.51309040037306
BASE/checkLines/Vop7oQ2.109855179849149698.6433785540482331.1333333333333
BASE/cittaceot/fDxhXg2.332258794587946674.1333333333333289.04739684021064
BASE/merrills/pku8TgNaN0.00.0
DRESDEN/merrills/aYEzwANaN0.00.0

Games with errors:

GameREKKURA_BACKWARD_PROVER:1.0.0 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
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
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
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/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