index

PALAMEDES_JAVA_ECLIPSE:0.6.1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_ECLIPSE:0.6.1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
BASE/queens08lg/Ru7eqQ4.235069055116114E-50.024117306579201234569.4666666666667
BASE/queens08ug/kJ_ZFQ0.0093526340524729538.598188238906802919.3333333333334
DRESDEN/golden_rectangle/1uloXw0.0095982426923897444.216047538425787439.25202493250225
BASE/queens06ug/7Lq3tw0.02144401054886474525.1681203808509221173.6666666666667
BASE/quad/tw-Ufg0.0545044199418484610.087558677630922185.07780999033622
DRESDEN/quad/JPe6fg0.0720107385496026613.062312562479173181.39395353488217
BASE/quad_7x7/q-JOXg0.1197272175848089278.15931323617488652.8115729475684
DRESDEN/quad_7x7/q-JOXg0.1322603883073222986.5439046318804654.3448551714943
BASE/golden_rectangle/_nYzfw0.144054270390626963.04775234096438437.6666666666667
BASE/simultaneousWin2/PfjRjw0.20580652385009868209.52476171432381018.0666666666667
BASE/sudokuGrade6H/ieE_9A0.241397946315979144.665177827405756185.0271657611413
BASE/sudokuGrade6E/ihYFZA0.249435163853225544.174967518406234177.1
STANFORD/sudoku/oJ1qyQ0.2895248918731041553.85948540194641186.02713242891903
BASE/zhadu/DlA8iQ0.2915090508316980411.48162939297124739.386871042985675
BASE/sudokuGrade3/eI8dvg0.2981411083685942556.36666666666667189.06036465451152
BASE/sudokuGrade4/DTy07w0.3059827907201700457.590401599733376188.21451188214513
STANFORD/duidoku/3SoMaA0.31149025837221450.41316806610689161.84508732169044
BASE/sudokuGrade5/BQfUQA0.3169600021129962458.79412058794121185.4938168727709
BASE/sudokuGrade2/u80Tfw0.319878832151441460.28912131103857188.47487001733103
BASE/sudokuGrade1/tDRNRw0.333874262332872264.36666666666666192.78714752349845
DRESDEN/ggp-course2013_michal13/jWKddg0.38493180342065386177.8461.9
STANFORD/multiplesukoshi/vLSQPg0.6352430446739533241.61722551829877380.3539882003933
STANFORD/selectivesukoshi/3xmXYg0.6497783194478813262.56666666666666404.08653044898506
BASE/majorities/ibJzSQ0.714956876216444288.8948140247967404.0730617958803
BASE/battlebrushes/arCwyA0.726108828661674793.79762772513419129.17847025495752
STANFORD/multipletictactoe/_bkafQ0.7610277612638647614.4333333333333807.3730875637478
BASE/cittaceot/fDxhXg0.8245201020974579238.32538915369489289.04739684021064
BASE/cubicup_3player/e2yA_g0.846385172043898341.9403.953201559948
DRESDEN/cubicup_3player/awDtsQ0.8484750704736387337.76666666666665398.0867304423186
BASE/quad_5x5/JAEP5g0.890269869611475188.69495703151023211.95253649756683
DRESDEN/quad_5x5_8_2/JRTLJg0.8927362521502692200.86565673381057225.0
BASE/doubletictactoe/HH1htg0.8955363715452051784.26666666666671992.4
DRESDEN/bunk_t/7-tPfA0.89652253411438071765.13333333333341968.8666666666666
DRESDEN/doubletictactoe/lJzgmQ0.90688321205201171773.83333333333331955.9666666666667
BASE/futoshiki6/JmvXNA0.9142374313476974504.91650278324056552.2815906136462
BASE/doubletoetictac/fu35bg0.92279456747828211759.81907.0333333333333
DRESDEN/quad_5x5/JAEP5g0.9247450050935561195.1325076574777211.0122321101223
STANFORD/triplesukoshi/Iu9mbA0.94559432288586641225.91296.4333333333334
BASE/bunk_t/xbpfIA0.94664446410296441819.16666666666671921.7
BASE/conn4/va9Y7A0.94977941930850521234.33333333333331299.6
BASE/factoringImpossibleTurtleBrain/kcBhdw0.964861729854690912.3572657594243712.807291839925485
BASE/factoringMediumTurtleBrain/8RBqmQ0.97773254827845211345.06666666666661375.7
DRESDEN/grid_game2/kypTYQ0.98836584929300161656.61676.1
DRESDEN/doubletoetictac/V89gKQ0.9939255183619211794.41805.3666666666666
BASE/tictactoex9/BI26ow0.9990791528205948831.8832.5666666666667
DRESDEN/blocker/S815zQ1.01210990472735453905.83333333333353859.1
BASE/blokbox_simple/JBx4bg1.02091461754831687.2815533980582537.132382349020131
DRESDEN/tictactoex9/rFkD4w1.0228493512932815825.1666666666666806.7333333333333
DRESDEN/slidingpieces/s9_44g1.0271112751732907834.7333333333333812.7
DRESDEN/catcha_mouse/cHv4dw1.03381173139383151241.36666666666661200.7666666666667
BASE/lightsOnSimultaneous/_VN6lw1.03708806050783361279.76666666666671234.0
BASE/wallmaze/uxNQ9g1.044020474639367747.8666666666667716.3333333333334
BASE/catcha_mouse/cHv4dw1.04792202909448481207.81152.5666666666666
BASE/slidingpieces/uFJWEw1.056636060100167843.9798.6666666666666
BASE/hallway/ckCJOw1.077973094650206291.03333333333336269.98200119992
DRESDEN/hallway/0H4l-Q1.0795200110856256292.89023699210026271.31524565028997
BASE/blockerSerial/3eqDuw1.0890337343549561047.0333333333333961.4333333333333
DRESDEN/lightsout2/LFtfyQ1.08933181515845013220.92956.766666666667
BASE/withConviction/3Xm54A1.09646813048114371679.53333333333331531.7666666666667
BASE/lightsOnSimul4/9FeASw1.09859951014256121166.21061.5333333333333
DRESDEN/lightsout/XgLpzQ1.10320941492294063068.46666666666672781.4
STANFORD/dualrainbow/G3OnRQ1.1685940464030354271.1333333333333654.9333333333334
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.1799142748630025724.9614.3666666666667
BASE/futoshiki5/TJ4BZg1.2034716729800607963.7800.7666666666667
BASE/ticTacToeSerial/Amrwqw1.24483634733223721388.21115.1666666666667
BASE/tictactoe_3d_small_6player/g_9lww1.2560076547439039743.9752008266391592.3333333333334
BASE/blocker/dIWtxg1.30347417020487023980.7666666666673053.9666666666667
STANFORD/dualhunter/1rPZjQ1.31216806072204182034.16666666666671550.2333333333333
BASE/colonelBlotto/jip21A1.31605119680966536.7100717512622915.098640362569982
BASE/blocks2player/wnTLOQ1.34451707435042076300.94686.366666666667
BASE/copolymer_4/2LDVhQ1.35735276111179131478.06666666666661088.9333333333334
BASE/lightsOut/5P1ZBw1.3575813789143593073.72264.1
BASE/copolymer_4_pie/IN5_jA1.36537062752099451376.56666666666661008.2
BASE/ticTacHeaven/18n58A1.3810161860863974858.9621.9333333333333
BASE/hidato37/pBrqxw1.387777602985189687.7304089863671263.21647560650493
DRESDEN/blocks2player/3ev8nQ1.3996955272524556527.94663.8
BASE/sum15/QZ07Kg1.4478177501826157399.75110.933333333333
DRESDEN/racetrackcorridor/O0DoTA1.45579228196745961291.4333333333334887.1
DRESDEN/sum15/CsgWKg1.46598266824983437449.05081.233333333334
BASE/tictactoe_3d_6player/d7KSwg1.4681666077596702207.30569257432342141.2003865764655
DRESDEN/firefighter/WJmoPw1.46928518915791864063.72765.766666666667
BASE/ticTacHeavenFC/mrletw1.4741692464660883842.4385853804873571.4666666666667
DRESDEN/connect4/T0-rHQ1.4755925930394198834.6443570428638565.6333333333333
DRESDEN/chickentoetictac/cxYaRQ1.47850705866228085753.1666666666673891.2
BASE/chickentoetictac/l57rfQ1.51325950314277165898.4333333333333897.8333333333335
BASE/firefighter/WJmoPw1.52657669021190714034.2333333333332642.6666666666665
BASE/connect4/50bOyw1.5282817852069903841.4719509349688550.6
DRESDEN/latenttictactoe/kITHKg1.5460582573731422832.53333333333331832.1
DRESDEN/sheep_and_wolf/enAIzQ1.5482757759747818960.4666666666667620.3459884670511
BASE/racetrackcorridor/_RkdUg1.55942059632057541474.9945.8
DRESDEN/tictactoe_3d_6player/ulZPWg1.566060242182997201.49303472638806128.66237792073596
DRESDEN/blockerparallel/dVQgSg1.5729089430924551075.03083230559683.4666666666667
BASE/coloredtrails/EZvr7g1.5879408807990932474.71558.4333333333334
BASE/god/qF06gw1.634271961846443663.0681818181818238.59099543439864
BASE/cubicup/4wNWJA1.6387996495327104748.1417286090464456.5181160627979
BASE/hidato19/rRHSmA1.646344889588133976.6341121962602593.213559548015
BASE/blockerParallel/7-nDJA1.65615416070333281079.9973334222193652.111596280124
STANFORD/duikoshi/tpw1sw1.65909866017052382270.21368.3333333333333
BASE/tictactoe_orthogonal/WRzlVw1.65918602759579417479.54507.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ1.67411886738319627585.64531.1
DRESDEN/cubicup/SBn_lw1.6846384880228555766.5666666666667455.03333333333336
DRESDEN/point_grab/r5DPmQ1.68665572437033377741.34589.733333333334
BASE/factoringGeorgeForman/HGRorQ1.698725698091528571.65045.9
DRESDEN/small_dominion/yB5GJA1.76633383825527538.196410136867721.624683459949352
DRESDEN/tictactoelargesuicide/6J4DeA1.8027522155505283532.7333333333331959.6333333333334
DRESDEN/chickentictactoe/Ipbo-g1.80409992456848725421.23004.9333333333334
BASE/toetictac/mTThmg1.80511237790929888285.7666666666664590.166666666667
BASE/lightsOnParallel/SC6enA1.81179771793248164864.1333333333332684.7
DRESDEN/tictactoe_3player/ESLQQQ1.81759567387687171747.8961.6
BASE/brain_teaser_extended/ZDp94A1.8293206563410525964.53260.5
DRESDEN/toetictac/mJtxCA1.8361452884402868307.3333333333344524.333333333333
DRESDEN/towerworld/HCX34w1.843718079673135860.132591531465532.61485158410234
DRESDEN/brain_teaser_extended/ZDp94A1.84729232523190135941.23216.1666666666665
BASE/othelloHoles/c0qAzw1.84732756176459238.1209215607937120.635713097021135
BASE/othello-comp2007/86ZoMw1.8574419987773237.2689425478767720.064660200646603
DRESDEN/tictactoelarge/IwXcbg1.88028612403371923583.71905.9333333333334
DRESDEN/god/2EDD5w1.89583382859536269.626370696263736.72598813570619
DRESDEN/javastrike/whONTQ1.9014173794589257530.3156561447952278.9054427890544
BASE/othelloSuicide/B442jg1.91010022359752737.4654178194060219.614372772986112
BASE/stateSpaceLarge/0Ge_CQ1.93895781637717127162.8333333333333694.1666666666665
BASE/double_tictactoe_dengji/zgaSbA1.96687460216422652574.96666666666671309.1666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ1.96799119821917472563.83333333333351302.7666666666667
DRESDEN/statespacelarge/8-y5HQ1.97951070336391437120.33597.0
STANFORD/breakthrough/d5j0cQ1.98130944890632521784.4333333333334900.6333333333333
DRESDEN/snake_2009_big/DgC1NQ1.9821770126934448759.9666666666667383.4
BASE/dotsAndBoxes/EHwA_w1.9832551242520241565.0666666666666789.1403619879337
BASE/futoshiki4/BaCwSw1.98728318182902692776.43333333333341397.1
BASE/snake_2009_big/-oRfVw1.9924948240165632769.9386.4
DRESDEN/ticblock/Z2yNWQ1.998457455254862936.61469.4333333333334
BASE/ticblock/T21C1g2.0006784413939712948.93333333333341473.9666666666667
BASE/factoringEasyTurtleBrain/lUj94Q2.01056186145105455437.9666666666662704.7
BASE/incredible/8Qh-6Q2.01904332869194874930.12441.8
BASE/breakthroughSmallHoles/bxclRw2.03518759652363552240.2666666666671100.7666666666667
STANFORD/rainbow/_4qNSQ2.051607683107014711663.85685.2
DRESDEN/roshambo2/jgSlkQ2.05472702393954210911.8333333333345310.6
STANFORD/jointbuttonsandlights/qAKuIQ2.06985564456828858913.8333333333344306.5
BASE/dotsAndBoxesSuicide/jzQbLw2.08681518723994451604.9769.0666666666667
BASE/roshambo2/KNPokQ2.090882580416122410994.05258.066666666667
BASE/tictactoe_3player/GtM71g2.11408714665000771804.8666666666666853.7333333333333
BASE/ticTacToeLarge/TZC0dg2.1337242818805293577.91676.8333333333333
BASE/chickentictactoe/DSlZCA2.14312871386846655674.4333333333332647.733333333333
BASE/stateSpaceMedium/3bUoIw2.157349047328962511922.7333333333345526.566666666667
BASE/ticTacToeLargeSuicide/727_8g2.18030029786630443586.66666666666651645.0333333333333
DRESDEN/lightson2x2/gBHuig2.1815177478580175941.02723.3333333333335
DRESDEN/tictactoeparallel/yk_DSg2.18618032365784742836.93333333333341297.6666666666667
DRESDEN/stratego/Z2wovg2.1967961537196071483.6666666666667675.3774874170861
DRESDEN/SC_TestOnly_enabled/09o7gQ2.197346626492724643.0666666666672113.0333333333333
DRESDEN/eotcatcit/mQUxzA2.2207973291437557538.8666666666673394.6666666666665
DRESDEN/tictactoe/BTTzPw2.2532173879361277756.13442.233333333333
DRESDEN/peg_bugfixed/u_B7MA2.2571441229896771698.2752.3666666666667
DRESDEN/peg/Vo31eg2.2657603087001391683.2333333333333742.9
BASE/eotcatcit/AfZSzA2.27633461412688037425.13261.866666666667
DRESDEN/statespacemedium/dVJZ_w2.296319463557434712236.9333333333325328.933333333333
BASE/nim3/1OwUqw2.30855097378894543267.61415.4333333333334
DRESDEN/chomp/-LcqYQ2.3105541802938044262.4333333333331844.7666666666667
BASE/chomp/-LcqYQ2.31878618914861664325.01865.2
DRESDEN/nim3/sG_axA2.33095011876484563271.11403.3333333333333
BASE/nim4/twk16w2.33904372897645363245.03333333333331387.3333333333333
BASE/lightsOn/MsXu3A2.351810292762007512330.9333333333325243.166666666667
BASE/nineBoardTicTacToePie/B8LzeQ2.3804958821735151821.0764.9666666666667
BASE/point_grab/V_osUg2.3835270740188777996.7333333333343355.0
BASE/eotcitcit/V_9_bg2.39512432831103136061.92530.9333333333334
BASE/circlesolitaire/azuQFQ2.39923105745890559818.1333333333334092.2
STANFORD/bestbuttonsandlightsbig/g0JC6g2.4067059124648079089.5666666666683776.766666666667
DRESDEN/circlesolitaire/ruUilQ2.41161182039645769866.4666666666674091.233333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg2.4151745747538054676.11936.1333333333334
STANFORD/multiplebuttonsandlights_9/SqB9BA2.4594741017355812711.35168.3
DRESDEN/nim4/F5YAYg2.4652469683525583334.01352.4
BASE/numbertictactoe/rvJ-iQ2.4854501827785565144.6333333333332069.9
STANFORD/multiplebuttonsandlights/cK70Yg2.534209557373168712847.7666666666665069.733333333334
DRESDEN/knightwar/7hhAqg2.5445725865532321435.6564.1811939602013
BASE/3pConnectFour/PqXOFQ2.56105263157894751946.4760.0
DRESDEN/tictictoe/LAUtwg2.56211667180104776099.0333333333342380.4666666666667
STANFORD/tictactoe/ss1kyQ2.5891776391776397472.3666666666672886.0
DRESDEN/battlesnakes2011/93VtTw2.6070622899498181887.6724.0333333333333
STANFORD/trifecta/ss1kyQ2.60715019519211037613.42920.2
STANFORD/bestbuttonsandlights/nm0wEA2.61266357226951112871.24926.466666666666
DRESDEN/grid_game/U7_Yeg2.6147918339870051488.9569.4143528549048
DRESDEN/CephalopodMicro/H3XQfg2.6182289623030823219.7926735775474283.94707901489653
DRESDEN/ggp-course2013_jordi/9QI6Kw2.6273169942376313790.5069831005633300.8799413372442
DRESDEN/mimikry/GJEhwA2.6571458965526672159.8333333333335812.8395720142662
DRESDEN/battlesnakes1509/-qZrLw2.66405168435625271924.3333333333333722.3333333333334
DRESDEN/cube_2x2x2/fp-34Q2.66545051618831373287.56666666666661233.4
BASE/ticTacToe/JRFsaQ2.6686165006620997725.22894.8333333333335
BASE/crisscross/ICagEg2.6697405439199752277.4666666666667853.0666666666667
BASE/tictactoe_3d_small_2player/oOryKA2.6801370721718422137.766666666667797.6333333333333
BASE/ticTacToeParallel/ymRGPw2.7072311535259082817.8666666666671040.8666666666666
DRESDEN/tictactoe_3d_small_2player/HYttcg2.70885969344786932144.3333333333335791.6
BASE/hexPie/48CH6Q2.7471087124132616356.2762482501167129.69135390973935
STANFORD/tictictoe/rpt_Dw2.74779602161320746119.4333333333332227.0333333333333
DRESDEN/backgammon/mqCW0Q2.7756357479578253856.9666666666667308.74608359442703
DRESDEN/tpeg/h-Scbg2.7877107564692092061.233333333333739.4
BASE/ticTicToe/c1OobQ2.7916192000985256044.62165.266666666667
BASE/tpeg/QNs7Lw2.8014122609931682036.5333333333333726.9666666666667
DRESDEN/crisscross/GsY16g2.8311207924047512296.133333333333811.0333333333333
BASE/cephalopodMicro/9l2D3g2.884266666666667221.8666666666666776.92307692307692
BASE/snake_2009/7l-qAQ2.9199985297577041379.1666666666667472.3175894136862
BASE/nim2/eF2Qqw2.92129338640966554183.01431.9
DRESDEN/nim2/z5_exA2.9218108936571564130.4666666666661413.6666666666667
BASE/beatMania/qUHwvQ2.93021249625886875547.9666666666661893.3666666666666
DRESDEN/snake_2009/zIYLVw3.02824410980618231400.9666666666667462.6333333333333
BASE/hex/T1MK8g3.0679333680374805392.87380841277246128.05812945803612
STANFORD/hex/MTqWcw3.097197222936488401.5129.63333333333333
BASE/tictactoe2/bhrDoQ3.14239861250323759300.7666666666662959.766666666667
BASE/aipsrovers01/4C4jsw3.15669264463280053699.43333333333341171.9333333333334
STANFORD/nineboardtictactoe/y28P-A3.19198458986569641988.5622.9666666666667
DRESDEN/bidding-tictactoe/yW5vTA3.2140932431745394214.5333333333341311.2666666666667
DRESDEN/chinesecheckers6-simultaneous/gPPGUw3.264355887453152648.3666666666667198.62009199386708
BASE/nineBoardTicTacToe/wRmqqA3.26974972796517972003.2666666666667612.6666666666666
DRESDEN/aipsrovers01/qS47Mw3.30489212465595333722.31126.3
DRESDEN/oisters_farm/pTQMLg3.3093593990575289457.2666666666662857.733333333333
DRESDEN/logistics/fPru1Q3.3168339243944772930.5333333333333883.5333333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw3.33560733339100862570.3333333333335770.5743141895271
DRESDEN/ggp-course2013_nicolai/uEin8g3.387657540199913259.8160122658489476.69488700753283
DRESDEN/smallest/9kaGFw3.42220814488165242017.6666666666667589.580347321756
DRESDEN/pawn_whopping/4ogBkg3.50024373895557873829.51094.0666666666666
DRESDEN/pawn_whopping_corrected/7Ov0jQ3.50535613606464923730.41064.2
STANFORD/hunter/14dD-g3.5504123834568497920.7333333333342230.9333333333334
BASE/biddingTicTacToe/8mESVw3.56442826093092834209.2333333333341180.9
DRESDEN/chinesecheckers3/QsCb2A3.57163564240237051352.5333333333333378.68737708743043
BASE/untwistycomplex2/EDPPAQ3.57712765957446822909.8333333333326404.533333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA3.577874260979739037.2333333333342525.866666666667
STANFORD/untwistycorridor/EDPPAQ3.57854821800201422869.6666666666686390.766666666666
DRESDEN/8puzzle/8fKC2w3.5918816323009248326.72318.2
DRESDEN/catch_me/ghGWrA3.63039563582437369139.42517.4666666666667
DRESDEN/Goldrush/VeWczQ3.649140880116421978.1333333333334542.0819306023133
DRESDEN/CatchMeIfYouCanTest/CX18rA3.66231370714428959133.22493.8333333333335
DRESDEN/Thief_Police/CX18rA3.70112830214174749130.0666666666682466.8333333333335
BASE/connectFourSimultaneous/7ITr3g3.7188368767594991775.9333333333334477.5507483083897
DRESDEN/chinesecheckers1/Y-ftaA3.7525433953138432327.5620.2459918002734
DRESDEN/3pffa/0YrmQw3.83229788928713643207.633333333333837.0
BASE/qyshinsu/R08Lzw3.8627634319365023812.7729075697476210.4122921041229
DRESDEN/knightmove/97Ipcw4.0159976552374221514.7333333333333377.17485500966603
BASE/nim1/hin2Qw4.0360394093281235748.81424.3666666666666
DRESDEN/chinesecheckers4/-oVNYg4.112156930042354938.5228.2257258091397
BASE/knightmove/jBaJEw4.1175803490990991543.7666666666667374.9208359721343
BASE/ticTacToeNoVars/XT03NA4.1325222438371018638.92090.4666666666667
DRESDEN/nim1/M9BALA4.14078270805560865798.21400.2666666666667
BASE/tron_10x10/7ZTgDg4.2409451716343375378.3666666666671268.2
DRESDEN/crissrace/KWb9bw4.3026263823064761452.5666666666666337.6
DRESDEN/3pttc/uwYBZw4.4162906767817923686.866666666667834.8333333333334
BASE/crissrace/ERWGDA4.4514350488968991481.8333333333333332.8889037032099
BASE/snakeAssemblit/UO4sdg4.46883229914032752304.5515.6828105729809
DRESDEN/tictactoe_3d_2player/LMuX9w4.6342231470004679.1773607546415146.55689620691953
STANFORD/8puzzle/jNiGtw4.6564381830347198351.1666666666661793.4666666666667
DRESDEN/hanoi/RQ0jiA4.6585551026931997772.3333333333331668.4
BASE/pegEuro/5awwhg4.677540693104681454.6666666666667310.9896336788774
BASE/eightPuzzle/vLrgFg4.6981342297088048292.8333333333341765.1333333333334
BASE/pawnWhopping/Ypc_6Q4.699545805124693655.9333333333334777.9333333333333
STANFORD/eightpuzzle/W_aWbA4.7186986710467388426.9666666666671785.8666666666666
BASE/4pffa/Q3ADlg4.7252292309891372203.7466.36890873941735
DRESDEN/chinesecheckers6/yTbPDA4.80114462772495824.5666666666667171.74376749766697
BASE/duplicateStateMedium/U163eQ4.80243563755925510029.5666666666682088.4333333333334
BASE/escortLatch/mX9BjQ4.8476894639556382185.5450.8333333333333
BASE/hanoi/iGLsJg4.89174100245153557915.01618.0333333333333
DRESDEN/snake_2008/E56l3A4.8958125820458451616.0330.07799480034663
BASE/snake_2008/i6K26g4.9201043862290471633.912202926569332.0889303689877
BASE/tictactoe_3d_2player/IUC1rQ4.9238424292977445688.5666666666667139.8433594400933
DRESDEN/connectfoursuicide/M9CNQg4.9888773027459163349.0333333333333671.3
BASE/snake_2008_tweaked/bX0NJQ5.0126733858896321674.4334.03333333333336
DRESDEN/bidding-tictactoe_10coins/mu5VhQ5.0154081320882973115.133333333333621.1126295790141
BASE/smallest_4player/ADDROA5.0316681327839253622.633333333333719.9666666666667
DRESDEN/chinesecheckers2/06E6-Q5.0726810305422811627.6320.85597146761774
DRESDEN/smallest_4player/ADDROA5.1491048471945823708.4333333333334720.2093263557881
DRESDEN/pentago_2008/hLjVpQ5.2294102585986182042.4333333333334390.56666666666666
BASE/peg/fJHVWw5.2868358858543421677.6333333333334317.3227559081364
DRESDEN/connectfour/5tc-Mg5.4672926777801223454.6631.8666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw5.4739828633036383215.6587.4333333333333
STANFORD/alquerquezero/uVgA_A5.5154757795420551597.8333333333333289.7
BASE/connectFour/WAIKTw5.5194392019412253411.9333333333334618.1666666666666
BASE/biddingTicTacToe_10coins/a-9ccQ5.5815427155942163229.6666666666665578.6333333333333
BASE/dualConnect4/WbCQkg5.5865661581489961952.9333333333334349.57669488700753
BASE/connectFourSuicide/c8p9Kw5.6176013510314813427.9333333333334610.2129929002367
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5.84548699643039353056.8522.9333333333333
DRESDEN/fizzbuzz/t1xHzQ5.9709869203329385021.6841.0
BASE/3pffa/pR0dzA6.0192488731417683086.1666666666665512.7162427919069
STANFORD/connectfour/VMpZkQ6.0864316542543833459.5568.3954403039797
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg6.1226725818377363036.233333333333495.9
DRESDEN/sat_test_20v_91c/dK7nVw6.1340324164158552921.133333333333476.2174594180194
BASE/chineseCheckers4/avfBcQ6.2771538972741621857.4333333333334295.9037429590374
BASE/chineseCheckers6/rREH3A6.3273884141859611530.3333333333333241.85860471317622
BASE/breakthroughSuicideSmall/XSbJog6.3368160571899912304.7363.7
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ6.4013263665594863185.3497.6
BASE/breakthroughSmall/HJ0tIA6.4197531200406272247.266666666667350.0549981667278
BASE/connectFour_9x6/B9TtMw6.45450977827196053289.4333333333334509.6333333333333
BASE/2pffa/6oHijA6.593837052768533829.133333333333580.7139762007934
BASE/rubiksCube/9tNO9Q6.830197480951641464.1666666666667214.36666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA6.9297675174768332841.6666666666665410.06666666666666
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA6.94829591608464452883.774415038997415.03333333333336
BASE/minichess-evilconjuncts/4OpQzw6.9484162276525971459.5333333333333210.05266315578962
BASE/duplicateStateLarge/dcjyuw6.9818418128393295200.833333333333744.9085030498983
DRESDEN/minichess-evilconjuncts/th24Tw7.0049693839117561446.3333333333333206.47247033728837
BASE/sheepAndWolf/g4THrg7.017075709957462929.4356854771507132.45342132453422
STANFORD/chinook/osFbPA7.048983131633395626.445785140495388.87037654115295
BASE/2pffa_zerosum/o0_uZA7.06518376691984253937.766666666667557.3480883970534
BASE/asteroidsSerial/id2QkA7.0876242500223875276.5744.4666666666667
BASE/chinook/XQh0IQ7.127381998424224682.643911869604495.77765188122771
DRESDEN/uf20-020.cnf.SAT/hDrW_A7.1591186440677973519.9491.6666666666667
DRESDEN/Runners/3bOCQw7.2214243967604578649.11197.7
BASE/shmup/ssTNlg7.5085080917937244809.7640.5666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg7.6249217282404513653.1479.1
BASE/mineClearingSmall/frsbvw8.1365319486174622076.0333333333333255.14965668955404
STANFORD/freeforall/Lfp40Q8.1645248410631753866.733333333333473.6017598826745
BASE/kalaha5x2x3/WviNsw8.2097001045891673575.633333333333435.5376308246117
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg8.2101462039809783107.266666666667378.46666666666664
BASE/knightwar/DVGY4Q8.220234424819741380.6333333333334167.95546963535764
DRESDEN/4pttc/9pB9AQ8.3433533734134942498.0299.4
BASE/connectFourLarge/aU644A8.3455187495660632671.0333333333333320.0559981333956
DRESDEN/pancakes88/aD3E7g8.49797034214232610257.91207.1
BASE/asteroids/BKCmPQ8.67611908445819910841.11249.5333333333333
BASE/pentagoSuicide/SBgNhw8.755720740416852002.4333333333334228.7
DRESDEN/pancakes/hl9aiQ8.80121426764482711597.0666666666681317.6666666666667
BASE/asteroidsParallel/WauZiA8.8352796837369926481.266666666666733.5666666666667
BASE/pentago/86NgKw8.8849310533783472017.6333333333334227.08486100926604
DRESDEN/capture_the_king/EQ229Q8.894544530364643407.77281514565745.845272206303726
DRESDEN/pancakes6/SZXMyQ8.97345916368297711277.7666666666661256.791440285324
STANFORD/pilgrimage/ObRZnQ9.1621026558414762219.366666666667242.23333333333332
BASE/checkLines/Vop7oQ9.6005637205556683179.0666666666666331.1333333333333
BASE/englishDraughts/jFkQxg9.6657527680387822481.0333333333333256.6828878074795
DRESDEN/uf20-01.cnf.SAT/42Rs8A9.6874941207395063685.2380.40797280181323
STANFORD/pentago/ZxzLmg9.7748014645902852343.0333333333333239.70137315024664
BASE/chineseCheckers3/-1rZdQ9.9402411490445093600.5666666666666362.22125929135694
BASE/brawl/6Ymo_Q10.113017493749005397.540163989067439.309747484842426
DRESDEN/brawl/2kXtfQ10.29535864978903406.6260040662600739.496050394960506
BASE/snakeParallel/RCVNtw10.46084483800150323666.2666666666662262.366666666667
BASE/skirmishHoles/AUCxCA10.524380249554367327.9333333333333431.159396140900455
BASE/chess_200/XsTpYA10.711599468423517131.3956201459951412.266666666666667
BASE/breakthroughHoles/nZk0Sg11.045682286302781430.0129.46235125495818
DRESDEN/frogs_and_toads/GjchhQ11.1285212546676642483.266666666667223.14435223144352
DRESDEN/breakthroughsuicide/Y9QzqQ11.2033085590985381557.6333333333334139.03333333333333
BASE/racer/QQYQNw11.264378420199396216.4927835738808719.21923922456865
BASE/chineseCheckers2/eCMR3Q11.330305256829875654.2499.03333333333336
BASE/endgame/jYjfOA11.396986505013508821.2059598013472.05465755707382
DRESDEN/breakthrough/z4hK7Q11.7553288400732241569.4666666666667133.51108148641893
DRESDEN/breakthroughsuicide_v2/LU1nAw11.8248255302836681542.3130.42898570047666
BASE/breakthrough/TGxk-g11.9071570614148751531.3128.6033258906255
BASE/breakthroughSuicide/wZDpIg12.016654049962151587.4132.1
DRESDEN/racer/vk_ZBA12.027820664474925218.1490985436731518.137042830044262
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw12.105893207242532125.5372313843078410.369927211087845
DRESDEN/skirmish3/3LU8Nw12.183290888888887730.959.992001066524466
BASE/checkers-cylinder-mustjump/rjr6qQ12.48976071829405123.533333333333339.89076861595844
BASE/breakthroughWalls/vOZaYA12.5594118253541341556.1666666666667123.90442230146299
BASE/checkers-mustjump-torus/uSApKQ12.560712878787879110.28.773387391578877
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g12.745982210894258514.478024724267840.36393713813069
BASE/kalaha6x2x4/XS81Mg12.7768488302502733130.866666666667245.0421624504216
DRESDEN/knightthrough/J7Fc_Q12.9869739273927381617.3666666666666124.53760789149199
DRESDEN/bomberman2p/x4h6jQ13.0163761434511441669.2333333333333128.24101846297407
BASE/guess/SPpk1A13.225999416423513172.6239.8760123987601
DRESDEN/pacman3p/rBnk8Q13.239884267352185858.364.8268506482685
DRESDEN/guess/PhxGhg13.292926512480613141.9236.35878804039865
BASE/chineseCheckers1/gqtwHw13.36970579313017310733.733333333334802.8399053364888
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA13.384637196854415518.562954075851538.74314607479397
DRESDEN/Zhadu/9zpQ5w13.513517886178862553.666666666666640.971320075946835
DRESDEN/amazons/dNB28A13.568003957787022164.3840181278949612.115563839701771
BASE/bomberman2p/4CClwA13.6384477020602231721.0126.18738126187381
BASE/pacman3p/wW7UVQ14.086824268077601887.233333333333362.98320447880565
BASE/pancakes6/QZTdnw14.32555546023848311132.866666666667777.1333333333333
BASE/checkersSmall/SYmq8w14.347553253997771285.633333333333489.60645139791396
BASE/pancakes/yUgbXw14.88404339077945911342.633333333333762.0666666666667
BASE/checkers/rOC3Xg15.151492837616184923.366666666666760.94228975076636
BASE/checkers-mustjump/T-8UuQ15.4036507727595180.0546630224651811.689090182496336
BASE/knightazons/apnJBQ15.405071967100755749.248.63333333333333
BASE/connectFourLarger/qKi60A15.4461136780963081830.5666666666666118.51309040037306
DRESDEN/knightazons/02I8BQ15.605550068965519753.966666666666748.31400773024124
BASE/choicethroughalt/tt71Lg15.6215169133192391477.594.58108378324336
BASE/checkersTiny/Lr48cg15.8656036446469262089.5131.7
BASE/strangeSkirmish/gc1zKA15.920998215503582413.739084061062625.987006496751626
DRESDEN/mummymaze2p/k-8edg16.55283301540719751.945.4242484836366
DRESDEN/skirmish2/iPpWhQ16.610865689992725756.674777507416445.55300076643674
BASE/pacman2p/4LEdQg16.7551629670942571001.259.75471572352196
DRESDEN/skirmish/RjGQYQ16.99309589041096744.043.78248700519792
BASE/mummymaze2p/vpjDdA17.15015106853353775.545.21826057980673
BASE/gt_coordination/IVMOzA17.2312403931765712959.041525028328752.0666666666667
BASE/skirmish/Y_psYQ17.421222378937472411.666666666666723.63018264231436
DRESDEN/gt_prisoner/huCp4w17.8897644230716811533.146685331467644.6785107163095
BASE/skirmishFinal3/-Olhfw18.111515919420437575.447485083830531.772463864650636
DRESDEN/knightstour/cGISAA18.23085260667124539807.0666666666662183.5
BASE/skirmishFinal2/gdB62Q18.57624341360906550.948301723275929.65875766462277
DRESDEN/gt_ultimatum/pAiiQw18.869039612372236316.933333333333334.7776814879008
DRESDEN/ghostmaze2p/HY0UwA19.376920434386142597.0666666666666134.02886570447652
BASE/ttcc4_2player_small/Cv72TA19.4098712446351954221.0217.46666666666667
BASE/ghostMaze2p/W-NU-w19.6443280122793562559.4130.28697130286972
DRESDEN/skirmishfinal/hzq8ww19.66060178946416559.448018399386728.45528455284553
BASE/skirmishFinal1/ecWTnQ20.17665569620253531.026.317542807648746
BASE/gt_ultimatum/GE-uOA20.2012741604578356236.133333333333308.7
BASE/checkers-newgoals/0XkFiA20.329550639386188529.826.060585863298563
BASE/2pttc/unkkYA20.5884202734711474249.166666666667206.38624091727218
DRESDEN/pawntoqueen/f_x6Aw20.78694246439355100.059976009596164.813597583242041
BASE/pawnToQueen/-O1_JA20.84836115810957103.319557392347694.955763985897692
BASE/ttcc4/Le0qjQ21.4880925141242932027.894.36854381872709
DRESDEN/minichess/c7GMFw21.7055196172248834384.8202.0131320201313
DRESDEN/endgame/IJhh3Q22.174058664313034837.133333333333337.75282396454633
STANFORD/platformjumpers/HEQskA22.223934375568.825.594028060119307
BASE/crossers3/O0rORg22.3500316959064341061.166666666666747.47942558224769
DRESDEN/mummymaze2p-comp2007/oTQRQg22.499283502565782289.0666666666666101.73953612370035
BASE/tttcc4/8Bs2lg22.584781839080462073.966666666666791.83027232425586
DRESDEN/tttcc4/sAvtFg22.6166139580283072058.933333333333491.03632122625791
BASE/mummyMaze2p_2007/YGA3Vw22.6698386943216552221.73333333333398.00393215368723
BASE/racer4/0vs7Ww23.075953509883004368.221059298023415.956916325920016
BASE/twisty-passages/DiZmmg23.7828310797174571571.266.0644645178494
DRESDEN/crossers3/xiPTxg23.8639462403373131131.833333333333347.428590474285905
BASE/gt_staghunt/xPjLRA24.0049168410530812814.197633727712533.8155394820172
DRESDEN/twisty-passages/j7NPyg24.0266522727272721549.964.50753032120485
BASE/knightThrough/gcwFjA24.3723138775510221591.965.31591575579846
BASE/gt_prisoner/klthDw24.9055559174102812745.833333333334511.76666666666665
STANFORD/ttcc4/Cx9SGw25.0286776183644162325.533333333333392.91475038325669
BASE/3pttc/0sol9g25.248904027710653482.4333333333334137.92413839077395
BASE/4pttc/AL1k2Q25.4599541798569582412.433333333333494.75403279562725
BASE/knightsTour/mvtVIg25.7289274106175539579.6666666666641538.3333333333333
DRESDEN/gt_chicken/CeuKtw25.92516743710955412341.696654671465476.0507983067231
STANFORD/checkersonabarrelnokings/Zrevdw26.6291495035461032293.933333333333486.14369501466275
BASE/ttcc4_2player/_aH_Mw26.6813187032418922495.73333333333393.53860508514113
DRESDEN/babel/WdSW4A26.827030263691682203.782.14476139696082
STANFORD/knightstour/cEwgNA27.43425978945513741522.6666666666641513.5333333333333
BASE/knightsTourLarge/M8jgLA29.1732910297086816857.3577.8333333333334
BASE/gt_chicken/gmepTQ29.4530994152046812591.2427.5
BASE/checkersBarrelNoKings/rnKNeg29.521074126924522620.488.76370787640413
BASE/ttcc4_2player_alt/ZEJvYA29.5514985932721752683.36666666666790.80306564478506
BASE/nonogram_10x10_1/0Xc62g30.696777742410994771.815212319178725.143199680298387
BASE/checkersTorusNoKings/pwb6oQ31.667189723109692643.066666666666683.4638845371821
DRESDEN/connect5/1kYzSg32.09355799676898661.820.620960756879207
STANFORD/knightstourbig/TQUI2g34.4795794787297815345.2445.05183160561313
DRESDEN/satlike_20v_91c/yeuENQ36.144379136545231491.134515397946941.254948930365636
DRESDEN/satlike_20v_91c_version2/yd9ioQ36.575996290322581501.141.040577215860196
BASE/hanoi7_bugfix/3gdnFw37.018096695346116309.3170.43826028995167
BASE/amazons_8x8/7SOsIw37.170234309159461862.166666666666750.09833005566481
BASE/connect5/d-BVQg37.658764996907856674.466666666666717.909951819239076
BASE/blobwars/0XT15Q37.908998290598284688.933333333333318.173345759552657
DRESDEN/blobwars/ZaMluQ38.18548960522014704.243191893603618.442691168148073
DRESDEN/hanoi7_bugfix/3gdnFw38.290115798180326172.366666666667161.2
BASE/checkersTorus/2vm1EQ38.6129388192267562462.76666666666763.78086574027792
DRESDEN/hanoi7/51zz5Q40.2998916576381356199.466666666666153.83333333333334
BASE/skirmishNew/sibw2g43.076744117647051024.123.77384876635701
STANFORD/knightstourmedium/x1wu8Q43.9777651605340880038.066666666671819.9666666666667
BASE/speedChess/bPnisA47.682537541846011106.533333333333323.206259364075244
BASE/skirmishZeroSum/zh4hcw49.3029431939978551021.533333333333320.71952031978681
BASE/amazonsSuicide_10x10/XIbQkg67.12932159264931460.521.75651362697408
BASE/nonogram_5x5_1/qLKEZw68.378671098944085826.285.20493168943685
STANFORD/skirmish/w4V6Vw68.4998944217687559.26666666666678.164489469474807
BASE/amazons_10x10/Bun8dA69.819547021943581483.021.24047008689283
DRESDEN/battle/8oAvhQ70.93356282063326257.99140028665713.6370850416611558
BASE/battle/8oAvhQ72.01979438419794263.440322634403233.657887736100027
BASE/colonelBlottoVariant2/jruwGw95.609060889929744080.466666666666742.67866066966517
BASE/amazonsTorus_10x10/Uxc08g97.092714930555541240.966666666666712.781254160564506
STANFORD/madness/UO_B3A97.33759868995634741.77.61987156024357
DRESDEN/quartosuicide/WIU1oQ101.610598270893382348.423.111762355135205
BASE/quarto/EwBMVQ102.004003278688512281.033333333333322.362194227821103
BASE/knightfight/SJRkAg102.521577021822845323.451.92467922012998
BASE/gt_tinfoil/Q8DyKg103.0368058090891712041.166666666666116.86277124095864
DRESDEN/checkers-mustjump-torus/cVc3gA103.80385539053805111.544357795107641.0745685444480626
DRESDEN/quarto/OQzRYQ104.336856944444452334.26666666666722.37240736425076
BASE/quartoSuicide/-23jUg105.26186727456942308.666666666666521.93260224659178
DRESDEN/four_way_battle/xSOQXA105.4997768781857688.94370187660416.530285866595588
DRESDEN/knightfight/4_Ly4w106.332651248923365486.03333333333451.59312091721104
DRESDEN/checkers-cylinder-mustjump/vW_-pA107.35736018518519127.633333333333341.188864304349262
BASE/four_way_battle/xSOQXA108.94433752181502692.06666666666676.352479462533675
DRESDEN/hanoi_6_disks/MeubgQ110.8090735112011632810.566666666666296.1
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg112.32181428571428128.033333333333331.1398794984530207
BASE/hanoi_6_disks/MeubgQ112.5172493256696233276.63333333333295.7469502033198
BASE/colonelBlottoVariant/X-n-KQ118.852708467638785159.93333333333343.414520374504384
DRESDEN/othello-cornercontrol/r5Gdlg122.5332446808510719.94680851063830.16278691193228065
BASE/gt_two_thirds_2p/1APDGg124.85403330.42.6462902318811814
BASE/kalaha_2009/dRiN3g134.452323868882763231.833333333333524.037021007424176
DRESDEN/kalaha_2009/gcC8uA137.083285413744733255.323.746877601998335
DRESDEN/kitten_escapes_from_fire/uW-YiA138.7591317052807488639.33333333333638.8
BASE/kitten_escapes_from_fire/uW-YiA140.1901186110819488999.06666666667634.8455051498283
BASE/amazonsSuicide/dE1QEQ152.038090796019913.5261194029850740.08896533317517274
BASE/amazons/RKKZjw161.8443844684348413.5612421697987480.0837918610172332
DRESDEN/checkers-mustjump/HUr33w162.16959523809524184.433333333333341.1372867587327375
BASE/cylinder-checkers/hlldmw173.53241558614715478.05073164227862.7548209366391183
DRESDEN/cylinder-checkers/clOO3Q190.43176216216216468.233333333333352.4587985114300905
BASE/onestep/xi53wA191.62885824856162862079.214935.533333333333
DRESDEN/max_knights/hCipiA193.645629449838171327.26666666666676.854100815172185
BASE/max_knights/2fq3Ag201.478701932367161387.56666666666666.8869148617626506
DRESDEN/checkers-newgoals/IJOqXQ211.61988106889945539.38202059931342.5488248924197285
BASE/solitaireChineseCheckers/-ET6gw226.531270601851843232.63333333333314.270141710435041
BASE/survival/YVIjJA267.142017429278842740503.110258.6
DRESDEN/checkers/jIDMIg273.8300488022948615.97946735108832.249495517549373
BASE/gt_attrition/kD_SCA312.9736193978719369.121029299023351.1793998165378063
BASE/switches/tPUoCg360.378350181090872222213.0333333336166.333333333333
BASE/haystack/UkweGA361.98252542820554842433.313377.533333333333
DRESDEN/Travelers-Dilemma/PvZwYw364.359406555269869439.325.90656321800806
DRESDEN/2player_normal_form_2010/NG_Kdg370.75549018701312138468.23333333345767.866666666667
BASE/pancakes88/l2Xaig400.301900263852310105.225.24394711426383
BASE/troublemaker01/s3tlEQ414.68449944681914572781.26666666711027.133333333333
DRESDEN/troublemaker01/C-lPWw415.9085860048834690312.03333333311277.266666666666
STANFORD/buttonsandlights/eyhJpA417.9291302035164111879.33333333359838.7
BASE/troublemaker02/DI83KA445.11855209466084134216.69287.9
DRESDEN/troublemaker02/iZLVuA446.83034455182564171950.66666666659336.766666666666
DRESDEN/statespacesmall/h-NqjA459.85816620587193930882.9333333338548.033333333333
BASE/stateSpaceSmall/Q7osKA472.49134260248474127810.36666666678736.266666666666
DRESDEN/vacuumcleaner_random/_6AGDA479.50816077998537239.36666666666715.097483752707882
DRESDEN/buttons/ADUaHw512.52489570218964152374.28101.8
BASE/buttons/hTcUjw531.45251403777434164461.97836.0
BASE/wargame01/_GZFZg532.54990406504072174.94.083936516368949
BASE/snake2p/I3wWPQ611.1451809557796685032.63333333331120.9
STANFORD/sukoshi/4LYZZQ623.7631869867341579867.42532.8
BASE/blocksWorld/SEdXLQ642.47626464022054441459.8333333336913.033333333334
DRESDEN/blocks/vg0DRw657.9677840873214514996.8666666666862.033333333334
BASE/blocks/xIV5hQ658.30818887817044504012.9666666676841.8
DRESDEN/hitori/S8Gsyg668.261005882353742.36666666666671.1108932888976017
BASE/duplicateStateSmall/bCPAXw691.41688116866234163505.0333333336021.7
BASE/hitori/S8Gsyg709.2082868071064747.64174527515751.0541920606160435
STANFORD/tictactoe7/-bE9-A737.20124631716782101809.92851.0666666666666
BASE/pearls/6k_mEQ767.2923554932466749998.7333333338797.166666666666
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA770.110582429906713711.717.804845580404685
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A827.748608709888714022.16666666666616.940127134156487
BASE/hodgepodge/9yjRkw911.12908599446812898848.33181.6
DRESDEN/battlebrushes/QHXV4A923.9976000799974338.05539815339490.36586177077097054
BASE/maze/cCX3qQ943.39865163572065690580.6666666676032.0
BASE/wargame03/klXI8w1040.35485476190483389.56666666666663.258087037468001
DRESDEN/blocksworldparallel/2JfVaw1208.62611788487863148914.22605.366666666667
DRESDEN/vacuum_cleaner_1/eUNjpw1213.994489277899418478.415.221156408206769
DRESDEN/tictactoe-init1/3ltIBQ1228.8304275242953704964.73015.0333333333333
BASE/tictactoe-init1/7M19vA1285.47764204609853781275.33333333352941.5333333333333
STANFORD/threepuzzle/41ibjA1361.18739945873314794918.7333333333522.6
BASE/gt_dollar/TGjqRw1380.26417651655743767937.16666666652729.866666666667
BASE/wargame02/BkVqqQ1394.1483263888895564.1666666666673.991086573319586
STANFORD/tictactoe5/WFRReg1483.01584653878223852628.02597.8333333333335
STANFORD/3puzzle/41ibjA1547.24882482895535299378.83425.0333333333333
STANFORD/tictactoe3/X7myng1664.13487661542294030479.22421.9666666666667
BASE/blocksWorldSerial/Wyg96Q1666.94769374958154980061.82987.5333333333333
BASE/blocksWorldParallel/RseaAQ1842.21309395299523242479.26666666661760.1
DRESDEN/vacuumcleaner_random_big/DwzFaQ1843.80681333333344591.02.489957172736629
BASE/gt_centipede/9fRMpw1984.8848541957633931990.73333333341980.9666666666667
DRESDEN/farmers/S_ASnw2034.41523577235762736.1333333333331.3449237329834345
BASE/coins_atomic/AA3SSw2331.16642858872233209472.23333333341376.7666666666667
BASE/coins/QnGtnQ2518.03009984338273429892.73333333341362.1333333333334
DRESDEN/coins/QwFP9w2547.14834756300843311547.5666666671300.1
BASE/ruleDepthLinear/OUBJpQ2727.88758594423374536204.2666666671662.9
BASE/minichess/8NQEiA13645.7817100371743058929.4224.16666666666666
BASE/ad_game_2x2/D0aWqg2827032.86978070161765675.83333333330.6245685546168765
BASE/merrills/pku8TgInfinity179.160694643511870.0
DRESDEN/merrills/aYEzwAInfinity174.94917174949170.0

Games with errors:

GamePALAMEDES_JAVA_ECLIPSE:0.6.1 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type NullPointerException
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type NullPointerException
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
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
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQException of type NullPointerExceptionTest process timed out after 240 seconds

index