index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.00.0473.6508783040565
BASE/queens06ug/7Lq3tw2.508468825925276E-40.29236204166159091165.5
BASE/queens08ug/kJ_ZFQ4.523310166521819E-40.4234270646881075936.1
DRESDEN/quad_7x7/q-JOXg7.178703041344532E-40.4598198588082551640.5333333333333
BASE/colonelBlotto/jip21A8.930280957336108E-40.0046082949308755765.1603022938376
BASE/quad_7x7/q-JOXg0.00112357345963852610.7227948065854638643.3
BASE/golden_rectangle/_nYzfw0.0020836576266689170.9537277600552504457.7180760641312
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.00249028907404829630.0994292759560124939.926800865080686
DRESDEN/satlike_20v_91c/yeuENQ0.0039621788784810260.1553434254778752239.20656543841579
DRESDEN/ggp-course2013_michal13/jWKddg0.00474873846984210252.242596134819603472.25092496916767
BASE/quad/tw-Ufg0.0047934950941067020.8955758552749418186.83149511845656
BASE/racer/QQYQNw0.0058885493500829840.1066723558589791518.115218115218116
DRESDEN/quad_5x5_8_2/JRTLJg0.0060347490666491811.2846696093286778212.87871212878713
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.0060397410155850530.2321437898634414238.43605036447979
DRESDEN/racer/vk_ZBA0.0062458015817805360.1137074307806015118.20541835851694
DRESDEN/quad/JPe6fg0.0066529711240337071.194936054773285179.60938541527796
DRESDEN/grid_game2/kypTYQ0.00696605526222610710.9227746511705351568.0
BASE/blokbox_simple/JBx4bg0.0072139929674247250.052313567523737287.25167986161932
DRESDEN/quad_5x5/JAEP5g0.0080473580832926321.6894087069525665209.93333333333334
BASE/sudokuGrade6H/ieE_9A0.0090628087296883141.6630254018978055183.5
BASE/battlebrushes/arCwyA0.0091054397806210190.909634949132256299.90016638935109
BASE/sudokuGrade6E/ihYFZA0.009529834179570691.6813243662700466176.42745241825273
STANFORD/sudoku/oJ1qyQ0.0103604400055053241.9287685810249078186.16666666666666
BASE/sudokuGrade4/DTy07w0.0106657055145722942.062747446518282193.4
BASE/sudokuGrade5/BQfUQA0.0109675042307849252.076672050631242189.34773189347732
BASE/sudokuGrade3/eI8dvg0.0111814792190465352.0626101999401176184.46666666666667
STANFORD/duidoku/3SoMaA0.0113097331271001091.818302036498281160.77320446592233
BASE/quad_5x5/JAEP5g0.0115079519335443262.344702535405008203.74629203746292
BASE/copolymer_4/2LDVhQ0.0117230189445102628.830168636303279753.2333333333333
BASE/sudokuGrade2/u80Tfw0.011928761837745762.354423663615864197.3736835088655
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.0126880993515110540.500763664588497439.46719289590528
DRESDEN/fizzbuzz/t1xHzQ0.01271779619773596810.874987528684027855.1
BASE/copolymer_4_pie/IN5_jA0.0129507072606533249.112981009079721703.6666666666666
BASE/simultaneousWin2/PfjRjw0.01317817329998856117.2304615897350431307.5
BASE/sudokuGrade1/tDRNRw0.0135228890238628582.562502053286902189.49368354388187
STANFORD/selectivesukoshi/3xmXYg0.0151430259620659076.152106680855309406.26666666666665
BASE/zhadu/DlA8iQ0.016274382548508240.613298902517753437.68492602958816
BASE/nim1/hin2Qw0.01760684239356780825.0416250416250431422.2666666666667
DRESDEN/nim2/z5_exA0.01763956175738815724.6518755413418621397.5333333333333
BASE/nim3/1OwUqw0.0181356368704869824.5737879595098581355.0
DRESDEN/nim1/M9BALA0.01819396949163444626.006459991342281429.4
BASE/nim2/eF2Qqw0.01848083635684962726.1115736885928381412.9
DRESDEN/nim4/F5YAYg0.0186412462938887325.7392115077250951380.7666666666667
DRESDEN/nim3/sG_axA0.0189185834975466425.9714314254320261372.8
BASE/nim4/twk16w0.018957697546420626.051036045039641374.1666666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw0.0239191391561271350.409887753815109117.13639237347353
BASE/guess/SPpk1A0.0254802853527922355.912078475410378232.0255991466951
DRESDEN/small_dominion/yB5GJA0.026099954398211510.523372724017298820.052629825788614
DRESDEN/guess/PhxGhg0.027926640984143696.4655172413793105231.51789880674622
BASE/cittaceot/fDxhXg0.03098934027322337520.890947256188984674.1333333333333
BASE/hidato19/rRHSmA0.03885306155731530623.673170406872213609.3
STANFORD/triplesukoshi/Iu9mbA0.0390939216668203651.331622279257361313.0333333333333
BASE/othello-comp2007/86ZoMw0.041562983853129840.829462508294625119.956760352569432
BASE/othelloHoles/c0qAzw0.042812430905632320.925157914885471821.609562814237673
BASE/othelloSuicide/B442jg0.043728818496975110.87833441769681220.085939842110523
DRESDEN/gt_ultimatum/pAiiQw0.0446452651267997715.58960692871419349.1883603879871
BASE/hidato37/pBrqxw0.0485876009457537962.96173044925124860.956507248791866
BASE/racer4/0vs7Ww0.050010299108556950.751020408163265315.017314864144913
BASE/gt_ultimatum/GE-uOA0.0507716892197351115.332028009159393301.97986800879943
DRESDEN/CephalopodMicro/H3XQfg0.0512633360442579864.61012901727969289.93033565547815
BASE/cephalopodMicro/9l2D3g0.052507073868576224.100529100529100578.0947936804213
STANFORD/multiplesukoshi/vLSQPg0.0589737255306347321.95715190084297372.32092263591215
BASE/coins/QnGtnQ0.06032081918620610482.92504082925041374.7333333333333
DRESDEN/coins/QwFP9w0.0626041032961999884.832733573237381355.0666666666666
BASE/coins_atomic/AA3SSw0.0626102404966017785.091490850914911359.0666666666666
DRESDEN/Goldrush/VeWczQ0.0699003543628646535.88564574170332513.3828872370921
BASE/futoshiki6/JmvXNA0.0700960644561512337.69874337522083537.8154061531283
BASE/slidingpieces/uFJWEw0.0728062716852146858.674574351114515805.9
DRESDEN/slidingpieces/s9_44g0.0730291576091689358.6648011193284803.3065564481184
BASE/chess_200/XsTpYA0.075471413628353620.912200684150513112.086704624912596
BASE/gt_attrition/kD_SCA0.085238865594770380.099045858232361591.1619800139437602
BASE/colonelBlottoVariant2/jruwGw0.094858601423595533.970354685018528541.855505198613706
BASE/futoshiki5/TJ4BZg0.0958610873794499875.13911565759221783.8333333333334
DRESDEN/cubicup_3player/awDtsQ0.0965830003255028440.019993335554815414.3585641435856
BASE/cubicup_3player/e2yA_g0.1039814735619223541.25016660002665396.70688620758614
DRESDEN/smallest/9kaGFw0.105178826895565161.266666666666666582.5
DRESDEN/god/2EDD5w0.117791257978741452.4627263045793420.90754735825815
STANFORD/duikoshi/tpw1sw0.12350047669133547165.27245459090151338.2333333333333
DRESDEN/Zhadu/9zpQ5w0.125808614980509445.176533050172551541.146093619856735
DRESDEN/statespacelarge/8-y5HQ0.12758672156910947484.43796.633333333333
DRESDEN/peg/Vo31eg0.1288539325842696695.56666666666666741.6666666666666
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.1317311896819662683.36388787040433632.8333333333334
BASE/tictactoe_3d_small_6player/g_9lww0.1323345476837068486.62178376216505654.5666666666667
BASE/stateSpaceLarge/0Ge_CQ0.1323948015348363492.283590546981773718.3
DRESDEN/peg_bugfixed/u_B7MA0.1332743748073589396.71721379770038725.7
BASE/futoshiki4/BaCwSw0.14454793812884614202.15992800239991398.5666666666666
BASE/ticTacHeaven/18n58A0.14546090732661407102.22992566914436702.8
BASE/snake2p/I3wWPQ0.14546467739628233157.18428157184281080.5666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw0.145988230622207242.203790679857434289.09036365454483
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.14649879882551828109.76666666666667749.2666666666667
BASE/conn4/va9Y7A0.1511748377819614174.788347443503771156.2
BASE/god/qF06gw0.153228912405277673.18312941410524220.77368666355949
DRESDEN/tpeg/h-Scbg0.15413074074748215111.38514864684709722.6666666666666
BASE/tpeg/QNs7Lw0.1566901464807109110.2889711028897703.8666666666667
BASE/blocksWorldParallel/RseaAQ0.15776186813403548266.63333333333331690.1
DRESDEN/backgammon/mqCW0Q0.1642541797693429251.294870512948705312.28959034698846
BASE/ticTacToeSerial/Amrwqw0.16488500222520752190.601566405599071155.9666666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.16625740040790998102.80249258555767618.3333333333334
BASE/biddingTicTacToe_10coins/a-9ccQ0.1686933979934966496.80751799520128573.8666666666667
BASE/connect4/50bOyw0.16927994353388728111.31849086788428657.6
DRESDEN/connect4/T0-rHQ0.16991255961844198114.0670.9333333333333
DRESDEN/chomp/-LcqYQ0.17564826953619825338.74354274287621928.5333333333333
BASE/blockerSerial/3eqDuw0.17964656932197148173.1493517314935963.8333333333334
BASE/chomp/-LcqYQ0.1812804833660916332.033333333333361831.6
DRESDEN/tictactoe_3d_6player/ulZPWg0.1824802231022913423.62939510081653129.4901699433522
DRESDEN/pentago_2008/hLjVpQ0.1937100065017355677.54598773660358400.31998933368885
DRESDEN/amazons/dNB28A0.19693079866992912.264402264402264611.498466871083856
BASE/tictactoe_3d_6player/d7KSwg0.2015309353090749325.232492250258325125.20406463434949
BASE/pentagoSuicide/SBgNhw0.2047175512542170676.17968541722207372.1209293023566
BASE/pentago/86NgKw0.2171526720693146381.84211403245693376.88743708543046
DRESDEN/cubicup/SBn_lw0.2185949184898548101.25316624450073463.2
BASE/ticTacHeavenFC/mrletw0.22182167040082149141.59144655763913638.3120562647912
BASE/cubicup/4wNWJA0.22538385889609927104.13542603885502462.03586427571497
BASE/nineBoardTicTacToePie/B8LzeQ0.22644019690451903170.19432685577146751.6082797240092
DRESDEN/battlesnakes1509/-qZrLw0.228349827379661164.38904073061795719.9
BASE/lightsOnSimul4/9FeASw0.2290239949814418292.066666666666661275.2666666666667
DRESDEN/battlesnakes2011/93VtTw0.2293526232574662163.40609898350274712.4666666666667
DRESDEN/towerworld/HCX34w0.234812523142009987.767892710131456533.08125395609155
BASE/skirmish/Y_psYQ0.237455465113973035.93757256111719225.004994339748286
BASE/colonelBlottoVariant/X-n-KQ0.2404618792515671210.19150707743547142.38304678128748
BASE/nineBoardTicTacToe/wRmqqA0.24145066680962604171.26095796806774709.3
STANFORD/nineboardtictactoe/y28P-A0.24504173532777632176.07065489085153718.5333333333333
BASE/brain_teaser_extended/ZDp94A0.24628622453121196809.06666666666673285.0666666666666
BASE/skirmishHoles/AUCxCA0.24708421638620587.83662626598040831.71641791044776
BASE/pegEuro/5awwhg0.2492551762607002378.6430737445433315.51229918005464
BASE/lightsOnSimultaneous/_VN6lw0.25065038426156466370.98763374554181480.1
DRESDEN/brain_teaser_extended/ZDp94A0.25642862434584485830.57231425619153239.0
BASE/checkers-mustjump-torus/uSApKQ0.25712546939025972.19582792693881638.539908287366252
DRESDEN/javastrike/whONTQ0.25731350560702170.36197586827545273.4484367708819
DRESDEN/lightsout2/LFtfyQ0.2598629049661615757.23333333333332913.9724018398774
DRESDEN/lightsout/XgLpzQ0.2741869527566631759.92771.4666666666667
DRESDEN/smallest_4player/ADDROA0.2793502749965499201.25324978334777720.4333333333333
BASE/smallest_4player/ADDROA0.2811757581404015201.19329355688143715.542815239492
BASE/strangeSkirmish/gc1zKA0.285090732053142847.26230928109800825.473677200226433
DRESDEN/blockerparallel/dVQgSg0.28842319855064136194.64071457139048674.844171860938
BASE/blockerParallel/7-nDJA0.2920476582871833195.48696753549763669.3666666666667
DRESDEN/mimikry/GJEhwA0.29542086012476254239.9506699553363812.2333333333333
DRESDEN/tictactoelarge/IwXcbg0.2969745973990971734.56666666666672473.5
BASE/stateSpaceMedium/3bUoIw0.298550169332311541610.35393.733333333334
BASE/ticblock/T21C1g0.30111217071708507471.350954968167741565.3666666666666
DRESDEN/statespacemedium/dVJZ_w0.301911440296760041633.25409.533333333334
DRESDEN/tictactoelargesuicide/6J4DeA0.3028567601915293738.85944738859452439.633333333333
BASE/checkers-cylinder-mustjump/rjr6qQ0.30611224795826562.99910026991902439.797387363369769
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.30990514879366773.03010122535961659.777511723037016
BASE/peg/fJHVWw0.3104588198832596399.73674564297377321.2559581347288
DRESDEN/ticblock/Z2yNWQ0.31172979389230604481.466666666666641544.5
BASE/majorities/ibJzSQ0.31538589994022154122.35105957616953387.94080394640355
DRESDEN/minichess-evilconjuncts/th24Tw0.3153883745824551773.65930073659301233.55109659356043
DRESDEN/doubletictactoe/lJzgmQ0.32231567880141937654.02029.0666666666666
BASE/withConviction/3Xm54A0.3241428913929514495.733333333333351529.3666666666666
BASE/minichess-evilconjuncts/4OpQzw0.329839292147964275.80806397867377229.83333333333334
BASE/doubletoetictac/fu35bg0.33050659098291985644.36666666666671949.6333333333334
BASE/tictactoe_3d_small_2player/oOryKA0.3308145037403934269.68202119858677815.2061597946736
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.3311966480097558353.066666666666661066.0333333333333
DRESDEN/pawn_whopping/4ogBkg0.3326760566376587371.820939302023251117.6666666666667
BASE/doubletictactoe/HH1htg0.33493712784289636654.36666666666671953.7
DRESDEN/tictactoe_3d_small_2player/HYttcg0.3357693002760117269.1974403412878801.7333333333333
STANFORD/alquerquezero/uVgA_A0.340225942772723797.23333333333333285.7904736508783
BASE/lightsOut/5P1ZBw0.34086153937469393765.72246.366666666667
BASE/breakthroughSmallHoles/bxclRw0.3411475456222955373.45421819272691094.7
DRESDEN/bunk_t/7-tPfA0.3411607292189329679.93333333333331993.0
STANFORD/sukoshi/4LYZZQ0.3412449701830676889.63701209959662607.0333333333333
DRESDEN/doubletoetictac/V89gKQ0.3434234787953288670.51952.4
BASE/bunk_t/xbpfIA0.34426315605195895655.51904.0666666666666
DRESDEN/bidding-tictactoe/yW5vTA0.35150021831601636459.469368708752771307.1666666666667
BASE/qyshinsu/R08Lzw0.353505730234291374.78255073816109211.54551211545513
DRESDEN/knightmove/97Ipcw0.3535397246694682144.8521814485218409.7196760107996
DRESDEN/ggp-course2013_nicolai/uEin8g0.3542206241528235727.02252986788245876.2872854524246
BASE/knightmove/jBaJEw0.3560245653490182137.19542681910602385.353821539282
BASE/wallmaze/uxNQ9g0.35672788605697153253.7915402819906711.4429519016032
BASE/ticTacToeLarge/TZC0dg0.36163470379613816734.16666666666662030.1333333333334
BASE/ticTacToeLargeSuicide/727_8g0.3783719989209604748.06666666666671977.0666666666666
BASE/biddingTicTacToe/8mESVw0.3923409276089438448.040261298493531141.9666666666667
BASE/checkers-mustjump/T-8UuQ0.39320656456012644.55876480766671111.593816631130064
BASE/skirmishFinal1/ecWTnQ0.3964514432993852510.45690688690555526.376261364771704
BASE/connectFourSimultaneous/7ITr3g0.3989926935286606217.95640871825634546.2666666666667
DRESDEN/skirmishfinal/hzq8ww0.404413970437514211.25991072023452627.84253646839406
STANFORD/pentago/ZxzLmg0.40799125704043415165.76132235811644406.28645711809605
DRESDEN/capture_the_king/EQ229Q0.4103821794763092318.3996007319913544.83528196928817
DRESDEN/double_tictactoe_dengji/bGaUyQ0.4162832668208739545.91311.3666666666666
BASE/3pConnectFour/PqXOFQ0.41810197817189626326.9781.8666666666667
DRESDEN/catcha_mouse/cHv4dw0.4219856209867735512.61214.7333333333333
BASE/duplicateStateLarge/dcjyuw0.42257313093383264331.88893703543215785.4
BASE/catcha_mouse/cHv4dw0.42530144879741916518.78270724309191219.8
BASE/double_tictactoe_dengji/zgaSbA0.4253734986817694580.83333333333341365.4666666666667
BASE/dotsAndBoxesSuicide/jzQbLw0.42655786879596547339.69936339699365796.3734542181927
BASE/dotsAndBoxes/EHwA_w0.428869768607468342.26666666666665798.0666666666667
BASE/skirmishFinal2/gdB62Q0.435881072254946812.06505799226769727.679701552195056
BASE/skirmishFinal3/-Olhfw0.438577135539326214.23913766717679232.46666666666667
BASE/pawnWhopping/Ypc_6Q0.4401436058267652355.53333333333336807.7666666666667
BASE/snakeAssemblit/UO4sdg0.4750736134976263241.87581241875813509.1333333333333
BASE/numbertictactoe/rvJ-iQ0.4860273521173175983.23333333333332023.0
BASE/checkers/rOC3Xg0.4934427670145114530.5564811729423561.92507665644581
BASE/factoringGeorgeForman/HGRorQ0.495252373813093453171.26403.2
BASE/ticTacToeNoVars/XT03NA0.49533359956220141116.33333333333332253.7
BASE/2pffa/6oHijA0.4986459805478149289.4473701753216580.4666666666667
BASE/factoringMediumTurtleBrain/8RBqmQ0.5000306292900801704.8098396720111409.5333333333333
BASE/2pffa_zerosum/o0_uZA0.5206433064622519288.9474035064329554.9815006166461
DRESDEN/tictactoe_3player/ESLQQQ0.528731005019131514.3495216826105972.8
BASE/ad_game_2x2/D0aWqg0.52903379343169910.237981913374583520.449842555105713
DRESDEN/stratego/Z2wovg0.5292189323858966355.38815372820903671.5333333333333
BASE/checkLines/Vop7oQ0.5298664122137404370.1876604113196698.6433785540482
BASE/duplicateStateMedium/U163eQ0.53582744921428921110.46666666666672072.4333333333334
BASE/tictactoex9/BI26ow0.5367420783163465344.0874550059992641.0666666666667
DRESDEN/tictactoex9/rFkD4w0.5415878625055344346.6884437185427640.1333333333333
DRESDEN/tictactoe_3d_2player/LMuX9w0.54445530876885873.17479349853451134.4
BASE/tictactoe2/bhrDoQ0.54650067640460992127.63893.133333333333
BASE/tictactoe_3d_2player/IUC1rQ0.550197509571436273.48923978945966133.56883393874762
BASE/mineClearingSmall/frsbvw0.5508563500931098147.9268.4910502983234
BASE/checkersSmall/SYmq8w0.555397576934471148.1650611646278486.72177043060925
BASE/lightsOnParallel/SC6enA0.56368970575545772177.53333333333333863.0
DRESDEN/tictactoeparallel/yk_DSg0.563750493440848747.68348776748211326.2666666666667
STANFORD/freeforall/Lfp40Q0.568053101536856274.74835010999266483.6666666666667
BASE/escortLatch/mX9BjQ0.5819578611089983255.01633224451703438.20411972535163
DRESDEN/connectfour/5tc-Mg0.5865566865566866557.0333333333333949.6666666666666
BASE/connectFour_9x6/B9TtMw0.5960031510427464479.1666666666667803.9666666666667
STANFORD/connectfour/VMpZkQ0.5994681050305278533.4666666666667889.9
DRESDEN/connectfoursuicide/M9CNQg0.6030689461883407573.8951.4666666666667
BASE/tictactoe_3player/GtM71g0.6131633340730448536.3748458692971874.7666666666667
BASE/3pffa/pR0dzA0.6144131140774024328.44477034864343534.5666666666667
STANFORD/tictactoe3/X7myng0.61873604711917541736.83333333333332807.0666666666666
BASE/connectFourLarge/aU644A0.62191048945348346.01026598226787556.3666666666667
BASE/chinook/XQh0IQ0.63208100526426359.7527243643149994.53333333333333
STANFORD/chinook/osFbPA0.643014147037939857.94928188210203590.12131715771231
STANFORD/breakthrough/d5j0cQ0.6436609348040252583.1138962034598905.9333333333333
BASE/englishDraughts/jFkQxg0.6444729970819645166.7944146365848258.8074525880745
BASE/connectFourSuicide/c8p9Kw0.6468364918004066568.5477150761641878.9666666666667
BASE/sum15/QZ07Kg0.64822157936197953264.03333333333335035.366666666667
DRESDEN/sum15/CsgWKg0.64982691189683423278.7666666666675045.6
BASE/connectFour/WAIKTw0.6585608495793239567.1965077143524861.2666666666667
BASE/racetrackcorridor/_RkdUg0.6649320931619896629.9123362554582947.3333333333334
BASE/rubiksCube/9tNO9Q0.6689096715328468195.5292.26666666666665
DRESDEN/babel/WdSW4A0.699583319345863357.48850229954009482.17534739578126
DRESDEN/pawntoqueen/f_x6Aw0.70240751271656543.5463343497282255.048827476250581
BASE/4pffa/Q3ADlg0.707394783639597318.2121191920539449.8366775548297
STANFORD/multipletictactoe/_bkafQ0.7081424456760355438.1041263915739618.6666666666666
BASE/pawnToQueen/-O1_JA0.70899194037420493.53917904276783674.991846650470897
DRESDEN/3pttc/uwYBZw0.7093621604371934592.7666666666667835.6333333333333
DRESDEN/blocker/S815zQ0.71505468215994532789.66666666666653901.3333333333335
STANFORD/tictactoe5/WFRReg0.72946172437939062152.93333333333342951.4
BASE/ticTacToeParallel/ymRGPw0.7494003645783365781.11042.3
STANFORD/skirmish/w4V6Vw0.75149507344684936.1206839198988768.144676041355009
BASE/breakthroughSmall/HJ0tIA0.7516230754961974270.12432918902704359.38802039932
BASE/breakthroughSuicideSmall/XSbJog0.7568187231419727273.6726327367263361.6092260515966
BASE/aipsrovers01/4C4jsw0.7570166046517759856.43811872937571131.3333333333333
DRESDEN/3pffa/0YrmQw0.7664274545964801637.2333333333333831.4333333333333
BASE/checkersTiny/Lr48cg0.7666813463621127102.01633061156474133.06223125895804
DRESDEN/aipsrovers01/qS47Mw0.7743358926837879877.41133.1
BASE/tictactoe-init1/7M19vA0.79867145132350862641.13306.866666666667
DRESDEN/tictactoe-init1/3ltIBQ0.81090917038364412775.43333333333343422.6192460251323
BASE/dualConnect4/WbCQkg0.8142665820821879385.0538315389487472.8842371920936
BASE/connectFourLarger/qKi60A0.8245891276864727173.92753574880837210.92630245658478
DRESDEN/hanoi/RQ0jiA0.82508637464755161385.11678.7333333333333
STANFORD/tictactoe7/-bE9-A0.82827274079425452598.7333333333333137.5333333333333
DRESDEN/tictictoe/LAUtwg0.82890325986538222093.53333333333332525.6666666666665
BASE/hanoi/iGLsJg0.83362399720962671354.33333333333331624.6333333333334
BASE/eotcitcit/V_9_bg0.83483572683128442154.7666666666672581.0666666666666
BASE/brawl/6Ymo_Q0.839173892372469832.7372031838012539.01122697138288
BASE/eotcatcit/AfZSzA0.84424644549763042968.93333333333343516.6666666666665
DRESDEN/brawl/2kXtfQ0.851322979593049933.5921618289065939.45877491168433
DRESDEN/chickentictactoe/Ipbo-g0.85672739714310152670.93333333333343117.6
STANFORD/dualhunter/1rPZjQ0.86009169375147981331.96666666666671548.6333333333334
DRESDEN/eotcatcit/mQUxzA0.86831014375613423008.03464.2
DRESDEN/tictactoe/BTTzPw0.87793809213856943237.1333333333333687.2
DRESDEN/sat_test_20v_91c/dK7nVw0.8845244901648021424.7191760274658480.1666666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.9000209015536822430.6478.43333333333334
BASE/hallway/ckCJOw0.9076316758776243247.19213464422597272.3485100993267
DRESDEN/hallway/0H4l-Q0.9141176329643117253.05823139228693276.8333333333333
STANFORD/tictictoe/rpt_Dw0.92416928686358752086.8666666666672258.1
BASE/blocker/dIWtxg0.93047915004409372954.33333333333353175.0666666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.9361376695466369447.8333333333333478.3840538648712
STANFORD/madness/UO_B3A0.94756675800295597.21241732309635357.611513660838928
BASE/ticTicToe/c1OobQ0.9516992744331982103.03333333333332209.766666666667
BASE/tictactoe_orthogonal/WRzlVw0.95180976090787113925.24123.933333333333
BASE/stateSpaceSmall/Q7osKA0.95206439100649668607.2333333333349040.6
DRESDEN/lightson2x2/gBHuig0.9522760924864274180.3333333333334389.833333333333
DRESDEN/knightwar/7hhAqg0.9525843656557027520.3333333333334546.2333333333333
BASE/checkers-newgoals/0XkFiA0.952623442348828826.85592429694788728.191542537238828
STANFORD/tictactoe/ss1kyQ0.95983631403455592955.43079.0666666666666
BASE/chickentictactoe/DSlZCA0.96659110469979272657.92749.766666666667
DRESDEN/tictactoe_orthogonal/y69QFQ0.96733389841559623956.2666666666674089.866666666667
STANFORD/hex/MTqWcw0.9688449848024316127.49575014166194131.59561347955068
BASE/hex/T1MK8g0.9794703258175147128.3957201426619131.0868913108689
STANFORD/trifecta/ss1kyQ0.98541850220264332982.53333333333333026.6666666666665
BASE/duplicateStateSmall/bCPAXw1.00468884143791146085.3333333333336056.933333333333
BASE/hexPie/48CH6Q1.0052087753423797126.91590030654405126.25824945003666
BASE/factoringEasyTurtleBrain/lUj94Q1.00918618778884262962.53333333333332935.5666666666666
DRESDEN/statespacesmall/h-NqjA1.01439085420800028742.9333333333328618.9
BASE/ticTacToe/JRFsaQ1.01664966636916153189.43333333333343137.2
DRESDEN/skirmish3/3LU8Nw1.016911726102017563.2455848050649862.193780621937805
BASE/lightsOn/MsXu3A1.03162772299607266085.45898.833333333333
STANFORD/pilgrimage/ObRZnQ1.038657038963716248.28344777014865239.0427623904276
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.044413367858877430.2411.90587294180386
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.0713048284415048431.9403.1532282257258
DRESDEN/blocksworldparallel/2JfVaw1.0728761889809112733.3666666666672547.7
BASE/snakeParallel/RCVNtw1.07518247107522622450.2333333333332278.9
DRESDEN/sheep_and_wolf/enAIzQ1.0923809002898868665.7111429619013609.4130195660144
DRESDEN/grid_game/U7_Yeg1.0999766682221186628.6571.4666666666667
DRESDEN/battle/8oAvhQ1.1034346589356644.2005688959449623.8068125393094774
DRESDEN/latenttictactoe/kITHKg1.11666576003191362052.7666666666671838.3
BASE/battle/8oAvhQ1.13028104791908484.2115735367269113.7261294829995344
DRESDEN/snake_2009_big/DgC1NQ1.1303682137352287440.0389.2536915436152
BASE/chineseCheckers4/avfBcQ1.140904715106007344.3666666666667301.83648301836485
BASE/choicethroughalt/tt71Lg1.1434330443296077111.3555311135553297.38701506465804
BASE/ttcc4_2player/_aH_Mw1.1483113660810327106.7333333333333392.94807705125642
BASE/snake_2009_big/-oRfVw1.149402050361875438.1520615979467381.2
STANFORD/jointbuttonsandlights/qAKuIQ1.16345104815739595296.5333333333344552.433333333333
DRESDEN/cube_2x2x2/fp-34Q1.1751998036060121436.13333333333341222.0333333333333
BASE/snake_2009/7l-qAQ1.1837450870297586562.2474.93333333333334
DRESDEN/racetrackcorridor/O0DoTA1.18526896974809251030.4333333333334869.3666666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.18639380530973453360.52832.5333333333333
BASE/ttcc4_2player_small/Cv72TA1.1968855788761001294.6136924205053246.1502566495567
DRESDEN/chickentoetictac/cxYaRQ1.20425980671818564643.8666666666673856.2
DRESDEN/snake_2009/zIYLVw1.2069143246502654555.9666666666667460.6513116229459
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.2081846732938029461.8333333333333382.25392486917104
BASE/chickentoetictac/l57rfQ1.22633206261089534653.7666666666663794.866666666667
STANFORD/ttcc4/Cx9SGw1.2318819944857642118.9309873704555396.5441397007365
DRESDEN/circlesolitaire/ruUilQ1.236473808614855074.24103.766666666666
BASE/circlesolitaire/azuQFQ1.24087274631922685054.0333333333344072.9666666666667
BASE/blocksWorldSerial/Wyg96Q1.2413142250050863660.96666666666672949.266666666667
DRESDEN/Thief_Police/CX18rA1.26154068279365263203.7666666666672539.5666666666666
DRESDEN/tttcc4/sAvtFg1.2695585783272412137.72415172321845108.48191968005332
DRESDEN/knightazons/02I8BQ1.272188121108083962.5833111170354649.19344087455006
DRESDEN/breakthrough/z4hK7Q1.2737397242168969171.0885940937271134.319901343199
DRESDEN/breakthroughsuicide/Y9QzqQ1.2765460005191096180.3759498733502141.3
BASE/knightazons/apnJBQ1.278057155555555563.8666666666666749.971682713129226
BASE/toetictac/mTThmg1.2796684565525925830.7666666666664556.466666666666
DRESDEN/catch_me/ghGWrA1.27980231430431383211.06666666666662509.0333333333333
DRESDEN/knightthrough/J7Fc_Q1.2801567802868876172.0046658890185134.3621879270691
BASE/breakthroughWalls/vOZaYA1.2989668775057979167.78322167783222129.16666666666666
DRESDEN/knightstour/cGISAA1.29941381909934322815.2666666666672166.5666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA1.3030529056909933319.2666666666672547.3
DRESDEN/chinesecheckers1/Y-ftaA1.306198738589498841.0333333333333643.8785373820873
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.30928841857416183262.2666666666672491.633333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw1.3101117819300072178.5940468651045136.31970136319703
BASE/breakthrough/TGxk-g1.3124355005159958169.56101463284557129.19569347688412
DRESDEN/toetictac/mJtxCA1.33192515244926465948.3333333333334465.966666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3326861200488183800.7666666666667600.8666666666667
BASE/2pttc/unkkYA1.3330081159420288286.1333333333333214.65235650956603
BASE/shmup/ssTNlg1.3475194792385838910.8333333333334675.9333333333333
BASE/breakthroughSuicide/wZDpIg1.3512901221891789171.8161517181615127.14971337155046
BASE/ttcc4/Le0qjQ1.3801086416868664142.77620396600565103.4528729502733
DRESDEN/2player_normal_form_2010/NG_Kdg1.38224873922426227985.0666666666675776.866666666667
BASE/tttcc4/8Bs2lg1.3849102614453914143.29522349255024103.46895931220634
DRESDEN/logistics/fPru1Q1.39313020225226941232.9666666666667885.0333333333333
BASE/breakthroughHoles/nZk0Sg1.4079016221873364179.35470968602093127.39150723285114
BASE/coloredtrails/EZvr7g1.48486173579876722376.96666666666671600.8
DRESDEN/SC_TestOnly_enabled/09o7gQ1.4887918486171763068.42061.0
BASE/incredible/8Qh-6Q1.49066572736879183526.66666666666652365.8333333333335
BASE/roshambo2/KNPokQ1.51249853376054928166.4333333333335399.3
DRESDEN/skirmish2/iPpWhQ1.527147580662908568.893110688931145.112280935563405
BASE/kitten_escapes_from_fire/uW-YiA1.530603761820638981.9333333333333641.5333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.5415827696608946759.6666666666666492.7835738808706
DRESDEN/roshambo2/jgSlkQ1.54588655351558248024.2333333333345190.7
BASE/snake_2008/i6K26g1.559553723992361517.1827605746475331.6222792573581
DRESDEN/snake_2008/E56l3A1.5629002649842458514.3161894603513329.07806146256917
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.5655155441810342774.8494.9168361054632
DRESDEN/kitten_escapes_from_fire/uW-YiA1.5748664515787802992.5333333333333630.2333333333333
DRESDEN/skirmish/RjGQYQ1.584911398223567.1532360194627742.37034076146697
STANFORD/hunter/14dD-g1.60795542485683353463.02153.6666666666665
BASE/blocks/xIV5hQ1.60892300951546411261.0666666666686999.133333333333
BASE/blocksWorld/SEdXLQ1.609534673253139311382.27071.733333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.609725354915749808.8333333333334502.46666666666664
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.6125028363142673607.0333333333333376.4541181960601
BASE/snake_2008_tweaked/bX0NJQ1.6166886610496396530.8666666666667328.3666666666667
STANFORD/knightstourmedium/x1wu8Q1.6328270766475112917.11786.5333333333333
BASE/ttcc4_2player_alt/ZEJvYA1.6481525983146068156.4333333333333494.91435046324068
BASE/blocks2player/wnTLOQ1.66345857549285887737.4666666666664651.433333333333
DRESDEN/blocks/vg0DRw1.668061400267750511587.6333333333336946.766666666666
DRESDEN/point_grab/r5DPmQ1.72441828951953247423.3333333333334304.833333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g1.73832029798533656393.63678.0333333333333
BASE/hodgepodge/9yjRkw1.74097623894072845759.0333333333343307.9333333333334
STANFORD/knightstour/cEwgNA1.75518645242323172701.71539.2666666666667
BASE/knightsTour/mvtVIg1.7814297628466952776.83333333333351558.7666666666667
BASE/amazons_8x8/7SOsIw1.818242942683095590.9909009099090250.04331312054374
BASE/tron_10x10/7ZTgDg1.82494758909853272321.33333333333351272.0
DRESDEN/blocks2player/3ev8nQ1.83027043179441188575.04685.1
STANFORD/bestbuttonsandlights/nm0wEA1.86034798837832659369.7666666666665036.566666666667
DRESDEN/8puzzle/8fKC2w1.88869992161966324257.0666666666672253.9666666666667
BASE/beatMania/qUHwvQ1.89521915794933873653.66666666666651927.8333333333333
BASE/chineseCheckers1/gqtwHw1.91950080581842221548.3333333333333806.6333333333333
BASE/buttons/hTcUjw1.926790268052198215464.0333333333338025.8
DRESDEN/buttons/ADUaHw1.980729021171411515599.0333333333337875.4
BASE/switches/tPUoCg1.984694119569284712551.9333333333326324.366666666667
STANFORD/checkersonabarrelnokings/Zrevdw1.9879958217137577166.50003332666883.75270788201966
BASE/firefighter/WJmoPw1.99597923206954865510.2333333333342760.6666666666665
BASE/checkersTorusNoKings/pwb6oQ2.027427575280281174.570904849191886.10463178940353
BASE/endgame/jYjfOA2.046564915085742148.195060164661272.41160985037823
DRESDEN/firefighter/WJmoPw2.05234814381410675729.2666666666662791.5666666666666
BASE/amazonsSuicide/dE1QEQ2.05526192154099130.176180408738548260.08572163328285282
BASE/troublemaker01/s3tlEQ2.06070943378159222955.06666666666611139.4
STANFORD/multiplebuttonsandlights/cK70Yg2.073808912289713610765.8333333333345191.333333333333
STANFORD/untwistycomplex/HTWEwg2.0870745222209666152.02947.6666666666665
DRESDEN/troublemaker01/C-lPWw2.09561701325034223702.26666666666611310.4
DRESDEN/frogs_and_toads/GjchhQ2.1616175735563004520.2493250224993240.67593240675933
BASE/chineseCheckers2/eCMR3Q2.1617973000201491072.9496.3
DRESDEN/troublemaker02/iZLVuA2.170992495627151420520.89452.266666666666
BASE/gt_dollar/TGjqRw2.17604240455311535939.02729.266666666667
BASE/3pttc/0sol9g2.1893922506044055318.38938702043265145.42363842410506
STANFORD/eightpuzzle/W_aWbA2.2033375103055254068.03333333333331846.3051231625614
BASE/pearls/6k_mEQ2.21575370218343420962.4333333333349460.633333333333
BASE/chineseCheckers6/rREH3A2.2421287266648093536.4666666666667239.26666666666668
BASE/knightsTourLarge/M8jgLA2.24355835973248841345.5666666666666599.7466751108296
DRESDEN/4pttc/9pB9AQ2.2464428634948863673.6108796373454299.8566714442852
STANFORD/multiplebuttonsandlights_9/SqB9BA2.24685945648822211172.7333333333344972.6
BASE/point_grab/V_osUg2.2721021902136877666.33374.1
BASE/skirmishNew/sibw2g2.275013115354457553.9558754915683623.716731621198495
BASE/troublemaker02/DI83KA2.276189382493639421142.2333333333349288.433333333332
BASE/checkersBarrelNoKings/rnKNeg2.3189998997464376200.526649111696386.47117627457514
STANFORD/8puzzle/jNiGtw2.3326298790670364237.0666666666671816.4333333333334
BASE/eightPuzzle/vLrgFg2.33814519975054144249.0333333333341817.2666666666667
DRESDEN/checkers-mustjump-torus/cVc3gA2.3900241532928992.42928452579034951.016426768090757
BASE/chineseCheckers3/-1rZdQ2.394950691160422877.8366.5211159628012
DRESDEN/Travelers-Dilemma/PvZwYw2.41048890511934661.3523511180724525.45224372855382
STANFORD/knightstourbig/TQUI2g2.47325746799431021159.1333333333334468.6666666666667
BASE/skirmishZeroSum/zh4hcw2.485807261294233253.70469083155650521.604527296937416
BASE/speedChess/bPnisA2.505078083215926758.3100093296014923.276723276723278
BASE/amazons/RKKZjw2.53202122408687020.185093780848963470.0731011964229148
BASE/minichess/8NQEiA2.5383435582822087661.9779340688643260.79130695643477
BASE/haystack/UkweGA2.557949312387691535160.6333333333313745.633333333333
BASE/knightThrough/gcwFjA2.5713428657134285173.382661733826667.4288380774615
BASE/checkersTorus/2vm1EQ2.5748944603474295161.6279457351421662.770707003398414
BASE/onestep/xi53wA2.604640933300397340068.2333333333315383.4
DRESDEN/gt_prisoner/huCp4w2.60778004817058041636.0666666666666627.3790873637546
BASE/asteroidsSerial/id2QkA2.64250500317274371804.5666666666666682.9
DRESDEN/minichess/c7GMFw2.7099537582195246595.2666666666667219.65934468851037
STANFORD/untwistycorridor/EDPPAQ2.710179695852110317661.0666666666666516.566666666667
DRESDEN/gt_chicken/CeuKtw2.72789484382410751342.0333333333333491.96666666666664
BASE/maze/cCX3qQ2.7286640983669816503.2333333333346048.1
STANFORD/3puzzle/41ibjA2.73226074577955259532.7666666666663488.9666666666667
DRESDEN/oisters_farm/pTQMLg2.7386437206455337755.22831.766666666667
BASE/untwistycomplex2/EDPPAQ2.763811189715935417801.86441.033333333334
BASE/survival/YVIjJA2.76502656473539329248.26666666666610577.933333333332
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.81813411272377053.25484074529210551.1549630411826821
STANFORD/threepuzzle/41ibjA2.83724991121108079586.53378.8
BASE/knightwar/DVGY4Q2.9559301170614307522.5099136925589176.76666666666668
DRESDEN/four_way_battle/xSOQXA2.9870360316751419.7245875465673246.60339792938678
BASE/gt_chicken/gmepTQ3.02666564205025731312.8666666666666433.76666666666665
DRESDEN/pacman3p/rBnk8Q3.0414224847955005208.0722570323956768.41280949048618
BASE/asteroidsParallel/WauZiA3.0596338672768882228.4333333333334728.3333333333334
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg3.0850659858739413.47601549309762661.1267232237539766
BASE/amazonsSuicide_10x10/XIbQkg3.09170511510810871.449995001166423.11022311022311
BASE/gt_prisoner/klthDw3.09452705997074641692.5546.9333333333333
BASE/gt_staghunt/xPjLRA3.152265936254981687.9333333333334535.4666666666667
BASE/amazons_10x10/Bun8dA3.16152391802305172.8902812958272223.05542617605962
STANFORD/platformjumpers/HEQskA3.182512418300653281.125.48301132578281
BASE/pacman2p/4LEdQg3.2701746977079953201.2666666666666861.5461512829057
STANFORD/buttonsandlights/eyhJpA3.2875307129464832379.7666666666669849.266666666666
BASE/pacman3p/wW7UVQ3.3736779464901026210.426319122695962.37297171225802
BASE/gt_coordination/IVMOzA3.3973577235772362562.9666666666667754.4
BASE/asteroids/BKCmPQ3.40508616625635074333.7666666666661272.7333333333333
BASE/kalaha5x2x3/WviNsw3.4072162978788341488.4436.83754416372244
DRESDEN/endgame/IJhh3Q3.412615085806774123.1625612479584136.09037589976006
BASE/amazonsTorus_10x10/Uxc08g3.4388410867255246.0129848510071613.380375449340967
BASE/four_way_battle/xSOQXA3.497387493007712721.3985734284381056.118445116882254
BASE/hitori/S8Gsyg3.6875700117483134.1470373565125081.1245989481692191
DRESDEN/checkers-mustjump/HUr33w3.97173102294055274.8248095032109941.2147875763346248
DRESDEN/hitori/S8Gsyg4.1100576494771374.60844771566872251.121261088942387
DRESDEN/hanoi_6_disks/MeubgQ4.306606290248391248.3289.85700476650777
BASE/hanoi_6_disks/MeubgQ4.371839480398981256.4666666666667287.4
BASE/4pttc/AL1k2Q4.594672448979592420.133333333333391.4392348961978
DRESDEN/Runners/3bOCQw4.7194336463978665544.2333333333341174.7666666666667
BASE/gt_centipede/9fRMpw5.11760941683646810129.9666666666671979.4333333333334
BASE/kalaha6x2x4/XS81Mg5.1334774857348251269.4666666666667247.2917569414353
BASE/sheepAndWolf/g4THrg5.291742169298472681.4128.76666666666668
DRESDEN/hanoi7/51zz5Q5.360798551277163937.3174.8433542194374
DRESDEN/hanoi7_bugfix/3gdnFw5.424350290792654922.1666666666666170.00499916680553
BASE/gt_tinfoil/Q8DyKg5.597568084803905665.1111629612346118.82145118821451
BASE/hanoi7_bugfix/3gdnFw5.805708245243129915.3666666666667157.66666666666666
BASE/wargame02/BkVqqQ6.36337051098924128.541930327049894.485347863645425
BASE/crossers3/O0rORg6.384311848341232314.349.23005132991134
DRESDEN/crossers3/xiPTxg6.559090991580421321.911872541830549.07873254922867
DRESDEN/mummymaze2p-comp2007/oTQRQg6.704527888446215673.0100.37992401519696
DRESDEN/blobwars/ZaMluQ6.7482677680214405120.2959901336622217.826202852192456
DRESDEN/farmers/S_ASnw6.7642555438225988.9097148891235471.3171759747102212
BASE/mummyMaze2p_2007/YGA3Vw6.7733158157965345673.855076328244899.4867351019864
DRESDEN/othello-cornercontrol/r5Gdlg6.9791207707230451.05218163285437140.15076134479119555
BASE/blobwars/0XT15Q7.110224035997582124.4460733682071117.502412404751606
BASE/wargame01/_GZFZg7.14919757608044332.263434773922894.512874966817096
DRESDEN/bomberman2p/x4h6jQ8.0438075497135151060.5333333333333131.84469255124145
BASE/cylinder-checkers/hlldmw8.44798543824015621.110112209902442.4988338775238224
BASE/bomberman2p/4CClwA8.4635954461212591065.5666666666666125.9
DRESDEN/cylinder-checkers/clOO3Q8.89881917790445222.2873704900556362.5045312242544076
DRESDEN/pancakes88/aD3E7g8.93870528926942511170.71249.7
DRESDEN/quarto/OQzRYQ9.901697414536331256.8914369521015725.944181709185372
DRESDEN/connect5/1kYzSg10.16119386589037202.0461210343908419.884092725819343
DRESDEN/quartosuicide/WIU1oQ10.309020349450721247.3258022593222223.99120322548399
DRESDEN/pancakes6/SZXMyQ10.58463614605082313856.71309.1333333333334
BASE/wargame03/klXI8w10.614963740608834.288570476507833.2302107962303106
DRESDEN/pancakes/hl9aiQ10.84276263561788813658.2666666666661259.6666666666667
BASE/quarto/EwBMVQ10.892626113646312245.291823605879822.519071254871914
DRESDEN/checkers-newgoals/IJOqXQ10.95400952210721429.780146568954032.718652609243419
BASE/connect5/d-BVQg11.147660363545972202.819812012532518.193935354881706
BASE/quartoSuicide/-23jUg11.843268624420402255.2666666666666821.55373442601106
BASE/ruleDepthLinear/OUBJpQ12.03913227555896119905.11653.3666666666666
DRESDEN/checkers/jIDMIg13.29444520336698731.4635203146352042.3666666666666667
DRESDEN/ghostmaze2p/HY0UwA15.683689050554872119.7135.1531513515315
BASE/ghostMaze2p/W-NU-w16.0730249893025252086.4666666666667129.81169805032494
DRESDEN/twisty-passages/j7NPyg16.8572819605861531111.565.93589658159526
BASE/pancakes6/QZTdnw17.18397312327812513658.967436589674794.8666666666667
BASE/twisty-passages/DiZmmg17.2844279661016961087.766666666666762.93333333333333
BASE/pancakes/yUgbXw17.69101454148104614031.333333333334793.1333333333333
BASE/mummymaze2p/vpjDdA20.350189566495224922.666666666666645.33946298887334
DRESDEN/mummymaze2p/k-8edg20.450667838827837930.133333333333345.48180727708917
BASE/knightfight/SJRkAg23.1896413154143741264.833333333333354.54303135308033
DRESDEN/knightfight/4_Ly4w23.3350807498335941232.092263591213652.8
BASE/solitaireChineseCheckers/-ET6gw27.996371450617282387.133333333333313.827982458948178
DRESDEN/kalaha_2009/gcC8uA52.259468986384261150.322.01132201132201
BASE/kalaha_2009/dRiN3g53.5549299145299141182.066666666666622.07204208003196
BASE/max_knights/2fq3Ag54.132849003072444367.08776374120866.78123857328059
DRESDEN/max_knights/hCipiA54.369275041876044360.13333333333336.623839163865127
DRESDEN/chinesecheckers2/06E6-Q59.274751613970594647.07843071897610.916594555015642
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA65.781632812499991122.017.056432806982478
DRESDEN/vacuumcleaner_random/_6AGDA68.47795838188361988.9007399506714.441153961334974
DRESDEN/vacuum_cleaner_1/eUNjpw69.815293989273271120.354631203546216.047409774936742
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A78.613556381660471409.333333333333317.92735754748417
DRESDEN/battlebrushes/QHXV4A99.7805216016609143.731875604146530.43828068747456406
DRESDEN/vacuumcleaner_random_big/DwzFaQ131.4282287085166326.935892309742772.487562189054726
DRESDEN/chinesecheckers4/-oVNYg233.11478571428572214.00.9180026884364447
BASE/pancakes88/l2Xaig438.2455125523012510468.83333333333423.888055972013994
BASE/ruleDepthExponential/UamhHQ695.0627093265264305.100581004934160.43895403524173826
DRESDEN/chinesecheckers3/QsCb2A712.4216613069419536.84877170760980.7535548129218269
DRESDEN/crisscross/GsY16g5360.532081194588319.678688087460840.05963562632316546
BASE/crisscross/ICagEg5720.353749999999338.83333333333330.059232933511032135
DRESDEN/crissrace/KWb9bw7309.521549281691239.09203026565780.03270966897814994
BASE/crissrace/ERWGDA7867.065184100139253.645382515480380.03224142378127418
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity98.726751549896680.0
DRESDEN/merrills/aYEzwAInfinity3.5199574948528920.0
DRESDEN/chinesecheckers6/yTbPDAInfinity372.766666666666650.0
BASE/merrills/pku8TgInfinity3.53181938209664640.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error messageREKKURA_BACKWARD_PROVER:1.0.0 error message
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147484126
BASE/sudoku/NTaNkwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionTest process timed out after 240 seconds

index