index

PALAMEDES_JAVA_ECLIPSE:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_ECLIPSE:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
BASE/queens08lg/Ru7eqQ6.014290917506542E-40.02411730657920123440.1
DRESDEN/golden_rectangle/1uloXw0.065788319545263964.21604753842578764.0850468224081
BASE/queens08ug/kJ_ZFQ0.231618519624195888.59818823890680237.122196674331036
BASE/queens06ug/7Lq3tw0.331964742095909325.16812038085092275.81564301662945
BASE/sudokuGrade6H/ieE_9A0.358204935893565244.665177827405756124.69168722085195
BASE/sudokuGrade6E/ihYFZA0.3626335774069112744.174967518406234121.81709105452606
STANFORD/sudoku/oJ1qyQ0.436624193600269753.85948540194641123.3543312335433
BASE/simultaneousWin2/PfjRjw0.44619196310274195209.5247617143238469.58434718842705
BASE/sudokuGrade3/eI8dvg0.4594472878746717656.36666666666667122.68364218104253
BASE/sudokuGrade5/BQfUQA0.474703982777179858.79412058794121123.85428123854281
BASE/sudokuGrade4/DTy07w0.479137448251137357.590401599733376120.19599346688443
BASE/sudokuGrade2/u80Tfw0.4904190708326498560.28912131103857122.93388429752066
BASE/sudokuGrade1/tDRNRw0.518231973884267964.36666666666666124.20435231779251
BASE/zhadu/DlA8iQ0.520662408424466511.48162939297124722.051965356429047
BASE/golden_rectangle/_nYzfw0.627590798186334963.04775234096438100.45996933537764
STANFORD/duidoku/3SoMaA0.65157174282167750.4131680661068977.37163040218587
BASE/doubletictactoe/HH1htg1.36788306245527941784.26666666666671304.4
DRESDEN/doubletictactoe/lJzgmQ1.39697582232956191773.83333333333331269.7666666666667
DRESDEN/bunk_t/7-tPfA1.40160398083692871765.13333333333341259.3666666666666
DRESDEN/doubletoetictac/V89gKQ1.40814564859138371794.41274.3
BASE/doubletoetictac/fu35bg1.42290380831738661759.81236.7666666666667
BASE/bunk_t/xbpfIA1.46549409237379181819.16666666666671241.3333333333333
BASE/blokbox_simple/JBx4bg1.47307291327295257.2815533980582534.943104535049597
DRESDEN/ggp-course2013_michal13/jWKddg1.616686909090909177.8109.97800439912018
DRESDEN/blocker/S815zQ1.88360018004115243905.83333333333352073.6
DRESDEN/cubicup_3player/awDtsQ1.90137918699187337.76666666666665177.64298093587522
BASE/cubicup_3player/e2yA_g1.9284985523594658341.9177.28818078794748
STANFORD/multiplesukoshi/vLSQPg1.9377817741848484241.61722551829877124.68753124687531
STANFORD/selectivesukoshi/3xmXYg1.9972109533468558262.56666666666666131.46666666666667
DRESDEN/latenttictactoe/kITHKg2.23215739840815352832.53333333333331268.9666666666667
BASE/cittaceot/fDxhXg2.403521563286826238.3253891536948999.1567509915675
BASE/ticblock/T21C1g2.44063120723902042948.93333333333341208.2666666666667
BASE/ticTacHeaven/18n58A2.507332772209789858.9342.5552481583947
DRESDEN/blockerparallel/dVQgSg2.5388431842216561075.03083230559423.43333333333334
BASE/lightsOnSimultaneous/_VN6lw2.54401535692198971279.7666666666667503.0498983367221
BASE/ticTacToeSerial/Amrwqw2.5482469558832531388.2544.7666666666667
BASE/blockerParallel/7-nDJA2.57600572428048971079.9973334222193419.2526915769474
BASE/factoringGeorgeForman/HGRorQ2.58757471472559348571.63312.6
DRESDEN/tictactoex9/rFkD4w2.5880815473078935825.1666666666666318.8333333333333
DRESDEN/tictactoeparallel/yk_DSg2.6089142296609652836.93333333333341087.4
BASE/tictactoex9/BI26ow2.6340333333333334831.8315.7894736842105
BASE/conn4/va9Y7A2.65276882298158871234.3333333333333465.3
DRESDEN/ticblock/Z2yNWQ2.79286076591427832936.61051.4666666666667
BASE/ticTacHeavenFC/mrletw2.809939105483204842.4385853804873299.80670532560157
BASE/factoringMediumTurtleBrain/8RBqmQ2.81777425226357541345.0666666666666477.35075497483416
DRESDEN/sheep_and_wolf/enAIzQ2.8200196189730544960.4666666666667340.58864704509847
BASE/blockerSerial/3eqDuw2.8250784273166051047.0333333333333370.62097930068995
BASE/majorities/ibJzSQ2.8357431090749343288.8948140247967101.87622887992802
BASE/double_tictactoe_dengji/zgaSbA2.8557752011632352574.9666666666667901.6699443351888
BASE/withConviction/3Xm54A2.86723951516531051679.5333333333333585.7666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ2.88589974485967332563.8333333333335888.4
DRESDEN/chickentictactoe/Ipbo-g2.94305206203289865421.21842.0333333333333
STANFORD/multipletictactoe/_bkafQ3.0408469866930603614.4333333333333202.05993133562214
DRESDEN/lightsout/XgLpzQ3.1110885802156213068.4666666666667986.3
BASE/catcha_mouse/cHv4dw3.1860729622790821207.8379.0873637545415
BASE/lightsOnSimul4/9FeASw3.2036595732991481166.2364.0211992933569
DRESDEN/slidingpieces/s9_44g3.218459675277385834.7333333333333259.3580213992867
BASE/sum15/QZ07Kg3.23093380683472067399.72290.266666666667
BASE/slidingpieces/uFJWEw3.2723075998449014843.9257.8914036198793
DRESDEN/catcha_mouse/cHv4dw3.2796303921568621241.3666666666666378.508099460036
DRESDEN/sum15/CsgWKg3.3096860189573467449.02250.6666666666665
DRESDEN/lightsout2/LFtfyQ3.3161850504495853220.9971.2666666666667
BASE/quad_7x7/q-JOXg3.32420637187340478.1593132361748823.51217237819296
BASE/lightsOnParallel/SC6enA3.3362445414847164864.1333333333331457.9666666666667
DRESDEN/towerworld/HCX34w3.348682499830182760.132591531465517.957089552238806
BASE/cubicup/4wNWJA3.372762718534789748.1417286090464221.81866648895405
DRESDEN/cubicup/SBn_lw3.4531181031031033766.5666666666667221.99260024665844
DRESDEN/eotcatcit/mQUxzA3.4952863722065967538.8666666666672156.866666666667
BASE/eotcatcit/AfZSzA3.56775846880756037425.12081.1666666666665
DRESDEN/lightson2x2/gBHuig3.6436675866298685941.01630.5
DRESDEN/tictactoe_3d_small_6player/llDEDQ3.6436881722231527724.9198.94677198946772
BASE/blocker/dIWtxg3.66519350581591663980.7666666666671086.1
DRESDEN/quad_7x7/q-JOXg3.68917979829933386.543904631880423.458847050983007
BASE/blocks2player/wnTLOQ3.72312934549250546300.91692.3666666666666
BASE/tictactoe_3d_small_6player/g_9lww3.7328147032780064743.9752008266391199.30675909878684
DRESDEN/blocks2player/3ev8nQ3.74334811529933466527.91743.8666666666666
STANFORD/triplesukoshi/Iu9mbA3.75927629561484221225.9326.1
BASE/futoshiki6/JmvXNA3.8012547051442915504.91650278324056132.82890570314322
DRESDEN/grid_game2/kypTYQ3.81220039886476951656.6434.55218159394684
BASE/firefighter/WJmoPw3.84848003052658344034.2333333333331048.2666666666667
BASE/chickentoetictac/l57rfQ3.8614105529612015898.4333333333331527.5333333333333
BASE/brain_teaser_extended/ZDp94A3.8686139277452275964.51541.7666666666667
DRESDEN/chickentoetictac/cxYaRQ3.87140549997756985753.1666666666671486.0666666666666
DRESDEN/tictactoelarge/IwXcbg3.9913498663498663583.7897.8666666666667
DRESDEN/tictactoe/BTTzPw3.99304983525535437756.11942.4
DRESDEN/firefighter/WJmoPw4.0075936883629194063.71014.0
DRESDEN/brain_teaser_extended/ZDp94A4.03833605220228355941.21471.2
STANFORD/duikoshi/tpw1sw4.0423789173789172270.2561.6
BASE/tictactoe_orthogonal/WRzlVw4.0796530972164157479.51833.3666666666666
DRESDEN/tictactoe_orthogonal/y69QFQ4.1342925659472427585.61834.8
BASE/factoringImpossibleTurtleBrain/kcBhdw4.34616531889894112.357265759424372.843257182530499
DRESDEN/tictactoelargesuicide/6J4DeA4.3660706929224683532.733333333333809.1333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ4.4670099389294693730.4835.1
BASE/factoringMutuallyAssuredDestruction/NH0LGg4.7150779779510624676.1991.7333333333333
BASE/lightsOut/5P1ZBw4.7345111516147253073.7649.2116929435686
DRESDEN/tictactoe_3d_6player/ulZPWg4.795246607564557201.4930347263880642.01932689103632
STANFORD/dualrainbow/G3OnRQ4.8520902756740384271.133333333333880.2666666666667
BASE/quad/tw-Ufg4.86364436242919510.0875586776309222.074074074074074
DRESDEN/javastrike/whONTQ4.876856234733947530.3156561447952108.7412936981371
BASE/futoshiki5/TJ4BZg4.879808623017213963.7197.487252974306
BASE/hidato37/pBrqxw4.90277388022509787.7304089863671217.894035321559482
DRESDEN/peg/Vo31eg4.9148775150040551683.2333333333333342.4771681887874
DRESDEN/peg_bugfixed/u_B7MA4.9427043461389211698.2343.57709486034264
BASE/coloredtrails/EZvr7g4.9973747980613892474.7495.2
BASE/factoringEasyTurtleBrain/lUj94Q5.0362423980489615437.9666666666661079.7666666666667
BASE/stateSpaceLarge/0Ge_CQ5.1205766710353877162.8333333333331398.8333333333333
DRESDEN/pawn_whopping/4ogBkg5.1631387353377373829.5741.7
BASE/chickentictactoe/DSlZCA5.1695414515639235674.4333333333331097.6666666666667
BASE/tictactoe_3d_6player/d7KSwg5.185404088780391207.3056925743234239.97869578243068
DRESDEN/statespacelarge/8-y5HQ5.20934032435068957120.31366.8333333333333
BASE/lightsOn/MsXu3A5.36835536722343912330.9333333333322296.9666666666667
BASE/toetictac/mTThmg5.39953514640715958285.7666666666661534.5333333333333
DRESDEN/toetictac/mJtxCA5.41405978449774058307.3333333333341534.4
DRESDEN/tictictoe/LAUtwg5.5587252400048616099.0333333333341097.2
DRESDEN/point_grab/r5DPmQ5.6132985280255247741.31379.1
BASE/ticTacToeParallel/ymRGPw5.6220534592449742817.866666666667501.2166261124629
BASE/eotcitcit/V_9_bg5.6360058263860916061.91075.5666666666666
BASE/tictactoe2/bhrDoQ5.66647712272293459300.7666666666661641.3666666666666
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.6849012090828672570.3333333333335452.1333333333333
DRESDEN/snake_2009_big/DgC1NQ5.702791387360348759.9666666666667133.26222459251358
BASE/snake_2009_big/-oRfVw5.703533259259259769.9134.98650134986502
BASE/circlesolitaire/azuQFQ5.89783945055165059818.1333333333331664.7
STANFORD/dualhunter/1rPZjQ5.9111811474880542034.1666666666667344.12186260457986
DRESDEN/circlesolitaire/ruUilQ5.9186962607478519866.4666666666671667.0
BASE/incredible/8Qh-6Q5.93415984593163254930.1830.8
DRESDEN/tpeg/h-Scbg5.9584698400462512061.233333333333345.93333333333334
BASE/tpeg/QNs7Lw6.0571068239648392036.5333333333333336.2221259291357
BASE/ticTacToeLarge/TZC0dg6.07041058703766553577.9589.4
BASE/stateSpaceMedium/3bUoIw6.072184025125201511922.7333333333341963.5
DRESDEN/statespacemedium/dVJZ_w6.09530450953045112236.9333333333322007.6
BASE/ticTacToeLargeSuicide/727_8g6.11398374907665153586.6666666666665586.6333333333333
STANFORD/tictactoe/ss1kyQ6.141334721385137472.3666666666671216.7333333333333
STANFORD/trifecta/ss1kyQ6.2145892205142157613.41225.0849943337112
BASE/numbertictactoe/rvJ-iQ6.3150163666121115144.633333333333814.6666666666666
DRESDEN/quad/JPe6fg6.40179725037890513.0623125624791732.0404133482524847
BASE/ticTacToe/JRFsaQ6.406878058220227725.21205.7666666666667
BASE/ticTacToeNoVars/XT03NA6.4804710942188448638.91333.0666666666666
DRESDEN/stratego/Z2wovg6.65465201574724751483.6666666666667222.95180321311912
STANFORD/jointbuttonsandlights/qAKuIQ6.7216720289563648913.8333333333341326.1333333333334
DRESDEN/tictactoe_3player/ESLQQQ6.8840419850334781747.8253.89153694876836
BASE/breakthroughSmallHoles/bxclRw6.9998417551898922240.266666666667320.04533031131257
BASE/hidato19/rRHSmA7.0978682170542635976.6341121962602137.59541348621713
DRESDEN/battlesnakes2011/93VtTw7.3459712062256811887.6256.95717380436594
DRESDEN/grid_game/U7_Yeg7.6296271050384291488.9195.14715195147153
DRESDEN/battlesnakes1509/-qZrLw7.6385186998324071924.3333333333333251.92493583547216
DRESDEN/cube_2x2x2/fp-34Q7.7000770994352923287.5666666666666426.95243491883605
BASE/nineBoardTicTacToePie/B8LzeQ7.9288824383164011821.0229.66666666666666
DRESDEN/tictactoe_3d_small_2player/HYttcg7.9468807906114892144.3333333333335269.8333333333333
BASE/connect4/50bOyw7.962803163577929841.4719509349688105.67534242010197
BASE/tictactoe_3d_small_2player/oOryKA7.9807117969138882137.766666666667267.8666666666667
STANFORD/rainbow/_4qNSQ8.03181379975209911663.81452.2
DRESDEN/connect4/T0-rHQ8.040451963448557834.6443570428638103.80565182617968
BASE/untwistycomplex2/EDPPAQ8.12587933460233322909.8333333333322819.366666666667
BASE/futoshiki4/BaCwSw8.1407130994266362776.4333333333334341.0552981567281
STANFORD/untwistycorridor/EDPPAQ8.18947921267173722869.6666666666682792.5666666666666
STANFORD/tictictoe/rpt_Dw8.2750957854406126119.433333333333739.5
BASE/snake_2009/7l-qAQ8.4152447291709041379.1666666666667163.88907406172922
DRESDEN/oisters_farm/pTQMLg8.4717229023589139457.2666666666661116.3333333333333
DRESDEN/CephalopodMicro/H3XQfg8.476708445622506219.7926735775474225.92901183136144
DRESDEN/snake_2009/zIYLVw8.4787169659067981400.9666666666667165.23333333333332
BASE/ticTicToe/c1OobQ8.6597604985435276044.6698.0100663311223
BASE/tictactoe_3player/GtM71g8.6758532286492541804.8666666666666208.03333333333333
BASE/connectFourSimultaneous/7ITr3g9.1728531129855981775.9333333333334193.607518997467
DRESDEN/ggp-course2013_jordi/9QI6Kw9.24126375374554790.506983100563385.54100436535705
BASE/aipsrovers01/4C4jsw9.2920969694432823699.4333333333334398.12685398126854
DRESDEN/aipsrovers01/qS47Mw9.3290726817042613722.3399.0
DRESDEN/knightwar/7hhAqg9.3778155453951651435.6153.08469153084692
STANFORD/breakthrough/d5j0cQ9.4211046512991971784.4333333333334189.4080789228103
DRESDEN/Catch-Me-If-You-Can/ghGWrA9.617488471089049037.233333333334939.6666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA9.6599915385700199133.2945.4666666666667
DRESDEN/Thief_Police/CX18rA9.6884439885394939130.066666666668942.3666666666667
DRESDEN/catch_me/ghGWrA9.8093807019426849139.4931.7
BASE/3pConnectFour/PqXOFQ9.8329414379525191946.4197.9468719794687
DRESDEN/ggp-course2013_nicolai/uEin8g9.914605438841138259.8160122658489426.205380927011188
DRESDEN/logistics/fPru1Q9.9340112994350282930.5333333333333295.0
DRESDEN/8puzzle/8fKC2w10.0503319251659638326.7828.5
BASE/nineBoardTicTacToe/wRmqqA10.0988069232061832003.2666666666667198.36666666666667
STANFORD/nineboardtictactoe/y28P-A10.1509253871022641988.5195.8934702176594
STANFORD/bestbuttonsandlights/nm0wEA10.36245068835037512871.21242.1
STANFORD/bestbuttonsandlightsbig/g0JC6g10.3758228377915629089.566666666668876.0333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA10.39127472886805812711.31223.2666666666667
BASE/cephalopodMicro/9l2D3g10.49097406824147221.8666666666666721.148338106973956
STANFORD/multiplebuttonsandlights/cK70Yg10.60396720589853612847.7666666666661211.6
BASE/crisscross/ICagEg10.8592303666030952277.4666666666667209.72634245525148
BASE/snakeAssemblit/UO4sdg10.9853691611058152304.5209.77902209779023
BASE/beatMania/qUHwvQ10.997327252505235547.966666666666504.4831838938702
DRESDEN/crisscross/GsY16g11.05186846355422296.133333333333207.75974134195528
DRESDEN/connectfoursuicide/M9CNQg11.2968685668240763349.0333333333333296.45678477384087
DRESDEN/chinesecheckers6-simultaneous/gPPGUw11.354932866316403648.366666666666757.1
BASE/point_grab/V_osUg11.4270062745098047996.733333333334699.8100063331223
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw11.5171919770773633215.6279.2
DRESDEN/chinesecheckers3/QsCb2A12.1618565178303871352.5333333333333111.2110911151103
DRESDEN/connectfour/5tc-Mg12.3852095112916723454.6278.92947606985734
DRESDEN/chinesecheckers1/Y-ftaA12.4602654354032832327.5186.79377354088197
BASE/connectFourSuicide/c8p9Kw13.18354773319663427.9333333333334260.01599893340443
BASE/duplicateStateMedium/U163eQ13.3199216275638210029.566666666668752.9749008366388
DRESDEN/mimikry/GJEhwA13.6666493780307812159.8333333333335158.03678528588566
BASE/qyshinsu/R08Lzw13.712516047104218812.772907569747659.272339574865065
BASE/connectFour/WAIKTw13.7287301412732483411.9333333333334248.52504916502784
BASE/pawnWhopping/Ypc_6Q13.7886823130106853655.9333333333334265.14015265140154
BASE/god/qF06gw13.85244276708692763.068181818181824.552856335781463
BASE/connect5/d-BVQg14.546369518332135674.466666666666746.36666666666667
DRESDEN/sat_test_20v_91c/dK7nVw14.6017731200710852921.133333333333200.0533297780148
BASE/hexPie/48CH6Q14.774638228537988356.276248250116724.11404209965361
DRESDEN/minichess-evilconjuncts/th24Tw14.7891773460577131446.333333333333397.79674010866304
DRESDEN/tictactoe_3d_2player/LMuX9w14.821872773937839679.177360754641545.822641383677144
STANFORD/connectfour/VMpZkQ14.8385101501072193459.5233.14335233143353
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg14.9054396879570953056.8205.07949205079493
DRESDEN/god/2EDD5w14.9109070180452469.62637069626374.669492648032852
DRESDEN/3pffa/0YrmQw14.9369273475089243207.633333333333214.74519214745192
BASE/minichess-evilconjuncts/4OpQzw15.0126287738544161459.533333333333397.22037061725104
DRESDEN/chinesecheckers6/yTbPDA15.031559781287973824.566666666666754.85569552756115
DRESDEN/pentago_2008/hLjVpQ15.0400098183603342042.4333333333334135.8
DRESDEN/chinesecheckers4/-oVNYg15.048102618920364938.562.36666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg15.2024486760124593036.233333333333199.72001866542232
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ15.2831233967695523185.3208.4194387040864
BASE/tictactoe_3d_2player/IUC1rQ15.358208370480439688.566666666666744.83378855505962
BASE/hex/T1MK8g15.805534501453252392.8738084127724624.856723977075838
DRESDEN/chinesecheckers2/06E6-Q16.3162413631807551627.699.75336621783762
STANFORD/8puzzle/jNiGtw16.4955886225967848351.166666666666506.26666666666665
BASE/hallway/ckCJOw16.52288109640832291.0333333333333617.61395797955582
BASE/connectFour_9x6/B9TtMw16.584779049059143289.4333333333334198.3404978506448
BASE/eightPuzzle/vLrgFg16.6952954525119678292.833333333334496.7167761074631
DRESDEN/3pttc/uwYBZw16.7114932366419923686.866666666667220.61862542497167
DRESDEN/hallway/0H4l-Q16.840066442229702292.8902369921002617.392463265918103
STANFORD/hex/MTqWcw16.842812849162012401.523.838060993474496
BASE/othello-comp2007/86ZoMw16.9664037544470537.268942547876772.196631831192172
BASE/dualConnect4/WbCQkg17.1645335676625661952.9333333333334113.77724455108978
DRESDEN/backgammon/mqCW0Q17.171369470404986856.966666666666749.906716417910445
BASE/rubiksCube/9tNO9Q17.4744855476001071464.166666666666783.78882815624583
STANFORD/hunter/14dD-g17.5159958720330247920.733333333334452.2
BASE/asteroidsSerial/id2QkA17.551865672469235276.5300.62331255624815
STANFORD/eightpuzzle/W_aWbA17.6063096315899448426.966666666667478.6333333333333
BASE/colonelBlotto/jip21A18.383156572367316.7100717512622910.3650119458455004
BASE/duplicateStateLarge/dcjyuw18.8996368297803635200.833333333333275.1816545563629
DRESDEN/chomp/-LcqYQ18.9735200098911964262.433333333333224.65168988734084
DRESDEN/sat_test_20v_91c_version2/a1mPBA19.2023704954954942841.6666666666665147.985201479852
BASE/chomp/-LcqYQ19.3531655480984354325.0223.4776522347765
BASE/othelloSuicide/B442jg19.5711591222821337.465417819406021.9143177767509407
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA19.5928178836990552883.774415038997147.18528147185282
BASE/battlebrushes/arCwyA19.68307141801277393.797627725134194.765395894428153
BASE/othelloHoles/c0qAzw19.71968982049127238.120921560793711.9331400193314001
BASE/connectFourLarge/aU644A21.0041939711664482671.0333333333333127.16666666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ21.0400134722851534643.066666666667220.67793220677933
BASE/skirmishHoles/AUCxCA21.176030537634407327.9333333333333415.486062543710661
BASE/checkLines/Vop7oQ21.53153866064713179.0666666666666147.646980402613
DRESDEN/Zhadu/9zpQ5w21.608119635890766553.666666666666625.623084099693457
DRESDEN/uf20-020.cnf.SAT/hDrW_A21.664533230769233519.9162.47292117980336
BASE/pegEuro/5awwhg21.731662850506061454.666666666666766.93766034718288
BASE/tron_10x10/7ZTgDg22.1286007588224545378.366666666667243.0504633024465
DRESDEN/racetrackcorridor/O0DoTA22.2509070417145051291.433333333333458.039581528619976
BASE/endgame/jYjfOA22.41220374472366821.2059598013436.6410179540988
DRESDEN/uf20-010.cnf.SAT/5ICbCg23.276197154385223653.1156.94574056792428
BASE/asteroids/BKCmPQ23.57522768193679510841.1459.8513382887237
BASE/copolymer_4_pie/IN5_jA24.0550415065035921376.566666666666657.225703239568055
STANFORD/alquerquezero/uVgA_A24.0613015554440541597.833333333333366.4067706250833
BASE/asteroidsParallel/WauZiA24.2630997337991846481.266666666666267.1244291856938
BASE/breakthroughSmall/HJ0tIA24.827497643593522247.26666666666790.51523028727588
BASE/peg/fJHVWw24.876882032279321677.633333333333467.43744377436444
BASE/racetrackcorridor/_RkdUg24.9081311198649441474.959.213595468177274
DRESDEN/babel/WdSW4A24.9337187782805432203.788.38232353529294
DRESDEN/uf20-01.cnf.SAT/42Rs8A25.400196554100623685.2145.0854914508549
BASE/breakthroughSuicideSmall/XSbJog25.7743285501304522304.789.41843026162306
BASE/escortLatch/mX9BjQ26.126738247011952185.583.6499366793308
BASE/copolymer_4/2LDVhQ26.433434207389751478.066666666666655.91655836582358
BASE/pentagoSuicide/SBgNhw27.1159835138387462002.433333333333473.84697414022928
BASE/pentago/86NgKw27.1579420816509652017.633333333333474.2925707429257
BASE/englishDraughts/jFkQxg27.5595864864864842481.033333333333390.02433090024331
BASE/mineClearingSmall/frsbvw27.7247922860109772076.033333333333374.88003199146894
DRESDEN/capture_the_king/EQ229Q28.606831339449165407.77281514565714.25438596491228
BASE/strangeSkirmish/gc1zKA28.88764772270996413.739084061062614.322352862805182
DRESDEN/amazons/dNB28A28.9738848326009164.384018127894965.673523556735236
BASE/chinook/XQh0IQ29.070947753278205682.643911869604423.481997135529426
STANFORD/chinook/osFbPA29.163236574284735626.445785140495321.480667399340593
DRESDEN/frogs_and_toads/GjchhQ29.419798420844852483.26666666666784.40801093005432
DRESDEN/4pttc/9pB9AQ29.7903378378378362498.083.85269121813032
DRESDEN/crissrace/KWb9bw30.4460813547486031452.566666666666647.70947859403631
STANFORD/pentago/ZxzLmg30.4472564602280932343.033333333333376.95384102649558
BASE/wallmaze/uxNQ9g30.918002938475666747.866666666666724.1887119344306
DRESDEN/bidding-tictactoe/yW5vTA30.9954135294117674214.533333333334135.97280543891222
BASE/crissrace/ERWGDA30.9987141695702671481.833333333333347.80305806322662
BASE/chineseCheckers4/avfBcQ31.1548362399850941857.433333333333459.619422134835204
BASE/shmup/ssTNlg32.7701767029972764809.7146.77064587082583
BASE/brawl/6Ymo_Q32.87427174276536397.540163989067412.092744353387967
BASE/biddingTicTacToe/8mESVw33.265806111696534209.233333333334126.53333333333333
DRESDEN/quad_5x5/JAEP5g33.61185320472576195.13250765747775.8054670912951165
BASE/quad_5x5/JAEP5g33.98995028396342188.694957031510235.551492586929061
BASE/chineseCheckers6/rREH3A34.0646750741839741530.333333333333344.924348463640605
DRESDEN/roshambo2/jgSlkQ34.25290363084650410911.833333333334318.56666666666666
DRESDEN/endgame/IJhh3Q34.339621038251366837.133333333333324.378059746228395
DRESDEN/brawl/2kXtfQ34.71800547218005406.6260040662600711.712251281027484
BASE/roshambo2/KNPokQ35.1557230867618910994.0312.72290923635876
BASE/skirmishFinal3/-Olhfw35.93256801349865575.447485083830516.014649575495255
DRESDEN/Runners/3bOCQw36.128237259816218649.1239.4
DRESDEN/pacman3p/rBnk8Q36.16794227528089858.323.730960237309603
DRESDEN/othello-cornercontrol/r5Gdlg36.58831351689611519.94680851063830.5451688419972421
BASE/skirmishFinal1/ecWTnQ36.87745833333333531.014.399040063995734
DRESDEN/skirmishfinal/hzq8ww37.428193818929124559.448018399386714.947235260827592
BASE/skirmishFinal2/gdB62Q37.651480637813215550.948301723275914.632845571814272
BASE/4pffa/Q3ADlg40.2580982958003662203.754.739297018157586
BASE/connectFourLarger/qKi60A40.8205486627043041830.566666666666644.84424454439447
BASE/chess_200/XsTpYA41.35403403219893131.395620145995143.177335010260144
BASE/pacman3p/wW7UVQ41.75281128526646887.233333333333321.24966693312017
DRESDEN/skirmish3/3LU8Nw42.700770622568086730.917.11678710579773
DRESDEN/breakthroughsuicide/Y9QzqQ43.0529279619398441557.633333333333436.17949828430556
DRESDEN/breakthroughsuicide_v2/LU1nAw43.591032768361581542.335.381130063965884
DRESDEN/skirmish2/iPpWhQ43.92079960970998756.674777507416417.22816488386817
BASE/knightwar/DVGY4Q44.086266099290791380.633333333333431.316631130063964
DRESDEN/breakthrough/z4hK7Q44.159820306154331569.466666666666735.54060355739124
DRESDEN/skirmish/RjGQYQ44.18271936758893744.016.83916270092183
BASE/breakthroughHoles/nZk0Sg45.464608050847461430.031.453037017292505
DRESDEN/Goldrush/VeWczQ45.652274051282051978.133333333333443.3304446370242
BASE/snakeParallel/RCVNtw46.0239622912210223666.266666666666514.2161927935736
DRESDEN/minichess/c7GMFw46.291885714285724384.894.72070390614584
STANFORD/freeforall/Lfp40Q46.342119542066023866.73333333333383.4388537154282
BASE/sheepAndWolf/g4THrg46.70025759453503929.435685477150719.902153293174027
BASE/pacman2p/4LEdQg46.8754978193146461001.221.358706500765187
BASE/chineseCheckers3/-1rZdQ48.0646819839857643600.566666666666674.91086007531074
DRESDEN/knightthrough/J7Fc_Q48.3053511111111151617.366666666666633.482142857142854
BASE/breakthrough/TGxk-g48.360740483701371531.331.664114004128653
BASE/breakthroughWalls/vOZaYA49.119885383806521556.166666666666731.680991405156906
BASE/3pffa/pR0dzA49.671720046494993086.166666666666562.13126229125696
DRESDEN/mummymaze2p/k-8edg49.99303252212389751.915.040095830699098
BASE/breakthroughSuicide/wZDpIg50.028111554621851587.431.730160317301603
STANFORD/pilgrimage/ObRZnQ50.5103623704826962219.36666666666743.938838735467534
BASE/mummymaze2p/vpjDdA51.21197472527472775.515.142942723067195
BASE/skirmish/Y_psYQ52.693333333333335411.66666666666677.8125
BASE/2pffa/6oHijA52.90444852670353829.13333333333372.37828651404578
BASE/dotsAndBoxes/EHwA_w53.3776657575757551565.066666666666629.32062772798454
BASE/chineseCheckers2/eCMR3Q55.122020597790775654.2102.5760655846969
BASE/dotsAndBoxesSuicide/jzQbLw55.391186551724141604.928.97392346887801
DRESDEN/knightazons/02I8BQ56.412124438902744753.966666666666713.365330133653302
BASE/knightazons/apnJBQ56.98851443037975749.213.146508686680423
DRESDEN/gt_prisoner/huCp4w57.47226924874361511533.146685331467200.67324356752434
DRESDEN/smallest/9kaGFw57.8513403374721452017.666666666666734.87674883411059
DRESDEN/bomberman2p/x4h6jQ58.939647098039221669.233333333333328.32106087362143
BASE/choicethroughalt/tt71Lg60.759657534246571477.524.317121918720854
BASE/bomberman2p/4CClwA61.3182897862232751721.028.066666666666666
BASE/2pffa_zerosum/o0_uZA63.17693878787883937.76666666666762.329178054796344
BASE/gt_coordination/IVMOzA63.48956937874345412959.041525028328204.11292204112922
BASE/ttcc4_2player_small/Cv72TA65.239567233384854221.064.7
BASE/nonogram_10x10_1/0Xc62g68.60021481802593771.815212319178711.250915385127488
DRESDEN/tttcc4/sAvtFg73.630793484306722058.933333333333427.96293827489668
BASE/mummyMaze2p_2007/YGA3Vw74.196996514645892221.73333333333329.94370982246944
BASE/tttcc4/8Bs2lg74.222792769169642073.966666666666727.942449876773463
BASE/ttcc4/Le0qjQ74.655385276073622027.827.162139643392766
DRESDEN/knightstour/cGISAA74.7622265598263939807.066666666666532.4489183693877
BASE/checkers-mustjump-torus/uSApKQ75.43941363636364110.21.4607748746721556
DRESDEN/gt_chicken/CeuKtw75.8035345807088412341.696654671465162.8116251166511
DRESDEN/pawntoqueen/f_x6Aw77.22577635612421100.059976009596161.2956810631229236
DRESDEN/ghostmaze2p/HY0UwA78.366160402010052597.066666666666633.14015454303224
DRESDEN/mummymaze2p-comp2007/oTQRQg79.300564742109322289.066666666666628.86570447651745
BASE/chineseCheckers1/gqtwHw80.025530251822410733.733333333334134.1288623712543
BASE/gt_staghunt/xPjLRA82.2532215248392812814.197633727712155.78961402573162
BASE/pawnToQueen/-O1_JA82.40550382755984103.319557392347691.2537943777220535
BASE/gt_prisoner/klthDw83.9049427746087612745.833333333334151.9080153307782
BASE/ghostMaze2p/W-NU-w85.540392204899772559.429.920367840602406
DRESDEN/quad_5x5_8_2/JRTLJg90.38354954046152200.865656733810572.222369643094069
STANFORD/checkersonabarrelnokings/Zrevdw94.041865300546452293.933333333333424.392682195341397
DRESDEN/small_dominion/yB5GJA97.7032340959294938.19641013686770.3909431503502199
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw97.88041363933418125.537231384307841.282557221783741
DRESDEN/connect5/1kYzSg99.05157339901477661.86.681367870190567
BASE/gt_chicken/gmepTQ99.365166964755412591.2126.71643780829223
BASE/checkers-cylinder-mustjump/rjr6qQ100.16216216216216123.533333333333331.2333333333333334
BASE/smallest_4player/ADDROA100.284115375153753622.63333333333336.123700346574246
DRESDEN/smallest_4player/ADDROA101.837718664226913708.433333333333436.41512577044811
DRESDEN/bidding-tictactoe_10coins/mu5VhQ103.046687320837923115.13333333333330.230310302303103
STANFORD/platformjumpers/HEQskA104.0386909090909568.85.467196819085487
BASE/nim4/twk16w104.481717024320453245.033333333333331.05838443081845
DRESDEN/nim3/sG_axA104.602044408945693271.131.27185533020282
BASE/nim3/1OwUqw106.029204324324313267.630.81792437114776
DRESDEN/nim4/F5YAYg107.638010752688163334.030.97418817651957
STANFORD/ttcc4/Cx9SGw108.850197503900152325.533333333333321.364530213645303
BASE/checkersBarrelNoKings/rnKNeg108.946214958448762620.424.052235325471383
BASE/checkersTorusNoKings/pwb6oQ112.31535845136922643.066666666666623.532548915036166
BASE/biddingTicTacToe_10coins/a-9ccQ113.80026173708923229.666666666666528.380133906265613
BASE/nonogram_5x5_1/qLKEZw116.55895725826.249.985004498650405
BASE/ttcc4_2player/_aH_Mw121.285370873786392495.73333333333320.577364898611528
BASE/checkersTorus/2vm1EQ125.042706204173742462.76666666666719.695404405638683
DRESDEN/nim2/z5_exA136.944367219152844130.46666666666630.161639726712213
BASE/nim2/eF2Qqw137.393701312910284183.030.44535491822391
BASE/knightThrough/gcwFjA137.834684438040371591.911.549342652687635
BASE/2pttc/unkkYA138.28687093275494249.16666666666730.72718789575418
BASE/ttcc4_2player_alt/ZEJvYA140.04373965217392683.36666666666719.160918391149323
BASE/checkers-mustjump/T-8UuQ142.92075791438467180.054663022465181.2598216357789345
BASE/knightsTour/mvtVIg146.487734969981139579.666666666664270.19099363354553
STANFORD/knightstour/cEwgNA147.7850278799383341522.666666666664280.96666666666664
BASE/knightsTourLarge/M8jgLA159.9020096682464216857.3105.42269002731331
BASE/3pttc/0sol9g160.491497491039443482.433333333333421.698553429771348
BASE/4pttc/AL1k2Q169.40016682242992412.433333333333414.241032807612964
BASE/skirmishNew/sibw2g191.334956521739121024.15.352393617021277
BASE/amazons_8x8/7SOsIw196.950352699530551862.16666666666679.455005493225022
BASE/nim1/hin2Qw198.6978672811065748.828.932368921035966
STANFORD/knightstourbig/TQUI2g200.873488481675415345.276.3923607639236
DRESDEN/nim1/M9BALA202.27030801393735798.228.66560127846584
BASE/kalaha5x2x3/WviNsw217.030108080808053575.63333333333316.475287069395907
BASE/speedChess/bPnisA222.895915883668921106.53333333333334.964349970013993
DRESDEN/checkers-cylinder-mustjump/vW_-pA227.62278823529414127.633333333333340.5607230028365987
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg229.02150784313724128.033333333333330.5590450195665757
STANFORD/skirmish/w4V6Vw234.1385435185185559.26666666666672.388614271970275
STANFORD/knightstourmedium/x1wu8Q249.6508629652734380038.06666666667320.6
DRESDEN/battle/8oAvhQ267.37368754374853257.99140028665710.9649094593290662
BASE/battle/8oAvhQ273.4686175826862263.440322634403230.9633292659430993
DRESDEN/gt_ultimatum/pAiiQw284.4324719640186316.93333333333322.208903539439948
BASE/gt_ultimatum/GE-uOA295.64000821484996236.13333333333321.093671898430472
DRESDEN/snake_2008/E56l3A317.348601307189541616.05.092191972309126
BASE/crossers3/O0rORg320.631508333333331061.16666666666673.3096144299189145
STANFORD/madness/UO_B3A321.23027741.72.3089355806972987
BASE/snake_2008/i6K26g323.450119645134631633.9122029265695.051512130275839
BASE/snake_2008_tweaked/bX0NJQ331.784563157894751674.45.0466482950961185
DRESDEN/crossers3/xiPTxg347.565227891156441131.83333333333333.256463082341995
BASE/haystack/UkweGA356.110149922538374842433.313598.133333333333
DRESDEN/hanoi/RQ0jiA367.196850393700747772.33333333333321.166666666666668
BASE/hanoi/iGLsJg376.98014285714297915.020.995800839832032
BASE/amazonsSuicide_10x10/XIbQkg378.19395689655171460.53.8617750848924697
BASE/onestep/xi53wA394.9747501000522862079.27246.233333333334
BASE/survival/YVIjJA399.28846938379052740503.16863.466666666666
BASE/amazons_10x10/Bun8dA399.88035714285721483.03.7086092715231787
DRESDEN/four_way_battle/xSOQXA401.16396825234034688.94370187660411.7173618679612932
BASE/four_way_battle/xSOQXA409.56776732026145692.06666666666671.6897488569345969
DRESDEN/knightfight/4_Ly4w439.18988453333335486.03333333333412.4912561207155
BASE/knightfight/SJRkAg442.50578171745155323.412.030125299920021
BASE/pearls/6k_mEQ470.879771001241756749998.73333333314334.866666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg515.53159116022113107.2666666666676.027306027306027
DRESDEN/checkers-mustjump-torus/cVc3gA516.0998086097067111.544357795107640.2161294306533284
BASE/quarto/EwBMVQ550.87867413333332281.03333333333334.140718166158739
DRESDEN/quartosuicide/WIU1oQ567.26071680000012348.44.139895343445717
DRESDEN/quarto/OQzRYQ575.76026666666682334.2666666666674.054233683370995
BASE/quartoSuicide/-23jUg581.37998333333342308.66666666666653.9710116152089743
DRESDEN/knightmove/97Ipcw581.90685991561181514.73333333333332.603051171373027
BASE/knightmove/jBaJEw588.62455105485231543.76666666666672.6226678175419957
BASE/kalaha6x2x4/XS81Mg673.06924333333343130.8666666666674.651626407947636
DRESDEN/fizzbuzz/t1xHzQ770.84122040816335021.66.514441453119288
BASE/amazonsTorus_10x10/Uxc08g792.31761134751781240.96666666666671.5662490002665956
DRESDEN/checkers-mustjump/HUr33w803.7341190476191184.433333333333340.22947057859367317
BASE/wargame01/_GZFZg1000.58581212121212174.92.1736266631537347
DRESDEN/pancakes88/aD3E7g1009.98274426229510257.910.156510156510157
BASE/troublemaker01/s3tlEQ1041.6041881795544572781.2666666674390.133333333333
DRESDEN/buttons/ADUaHw1057.33708494601754152374.23927.2
BASE/buttons/hTcUjw1066.38889173409834164461.93905.2
DRESDEN/troublemaker01/C-lPWw1073.3470715669674690312.0333333334369.8
DRESDEN/pancakes6/SZXMyQ1089.446765166130711277.76666666666610.35182904503545
BASE/switches/tPUoCg1108.81496573747592222213.0333333332004.1333333333334
DRESDEN/troublemaker02/iZLVuA1117.97590017061044171950.66666666653731.7
DRESDEN/pancakes/hl9aiQ1120.701741479099811597.06666666666810.348040194316896
BASE/troublemaker02/DI83KA1132.34151062256344134216.63651.0333333333333
DRESDEN/max_knights/hCipiA1144.14178857142861327.26666666666671.1600543568327202
DRESDEN/kitten_escapes_from_fire/uW-YiA1146.99832456518688639.3333333333377.2793921620901
BASE/coins_atomic/AA3SSw1148.7152912824063209472.23333333342793.9666666666667
BASE/kitten_escapes_from_fire/uW-YiA1170.917137512786788999.0666666666776.00799733422193
BASE/checkers-newgoals/0XkFiA1197.9534857142858529.80.4422542330048016
DRESDEN/coins/QwFP9w1203.92184830160343311547.5666666672750.633333333333
BASE/pancakes6/QZTdnw1219.98341070559611132.8666666666679.125424631985613
BASE/checkers/rOC3Xg1224.1834681159419923.36666666666670.7542714721411472
STANFORD/sukoshi/4LYZZQ1224.73505775343031579867.41289.9666666666667
BASE/pancakes/yUgbXw1227.697255395683411342.6333333333339.23894981721502
STANFORD/buttonsandlights/eyhJpA1230.18080279232124111879.33333333353342.5
DRESDEN/statespacesmall/h-NqjA1234.13449986395133930882.9333333333185.133333333333
DRESDEN/2player_normal_form_2010/NG_Kdg1236.7760448797042138468.23333333341729.0666666666666
BASE/guess/SPpk1A1238.09684935064933172.62.5624812805750605
BASE/coins/QnGtnQ1248.18688210390973429892.73333333342747.9
DRESDEN/guess/PhxGhg1252.5845802631583141.92.508333608369913
DRESDEN/battlebrushes/QHXV4A1252.9835524001053338.05539815339490.2698003477426704
BASE/max_knights/2fq3Ag1269.41326262626261387.56666666666661.093077177873468
BASE/racer4/0vs7Ww1275.763230114552368.22105929802340.28862805464691166
BASE/stateSpaceSmall/Q7osKA1301.53251353197744127810.36666666673171.5
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1359.7584927458952518.56295407585150.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1404.38469530869514.47802472426780.36633696339960703
BASE/gt_attrition/kD_SCA1608.0493983533881369.121029299023350.2295458271847844
BASE/checkersSmall/SYmq8w1629.11170555555581285.63333333333340.7891621728265158
BASE/wargame03/klXI8w1636.35366031746033389.56666666666662.0714144801736043
BASE/blocksWorld/SEdXLQ1639.39902308184454441459.8333333332709.2
DRESDEN/cylinder-checkers/clOO3Q1667.5349777777778468.233333333333350.28079371022089106
BASE/blocks/xIV5hQ1675.20535836050544504012.9666666672688.633333333333
BASE/cylinder-checkers/hlldmw1704.0383913128821478.05073164227860.2805398834200929
DRESDEN/blocks/vg0DRw1709.34119963150374514996.8666666662641.366666666667
BASE/duplicateStateSmall/bCPAXw1723.99485169286824163505.0333333332415.0333333333333
STANFORD/tictactoe7/-bE9-A1851.32555271734352101809.91135.3
DRESDEN/checkers-newgoals/IJOqXQ1928.3506549781675539.38202059931340.2797115862754848
BASE/skirmishZeroSum/zh4hcw2256.64011021.53333333333330.4526788889966696
BASE/snake2p/I3wWPQ2270.149567285246685032.6333333333301.7566081130629
BASE/wargame02/BkVqqQ2546.6179166666675564.1666666666672.1849240242327936
DRESDEN/tictactoe-init1/3ltIBQ2629.87272856331673704964.71408.8
DRESDEN/racer/vk_ZBA2638.876928716633218.149098543673150.08266740148801323
DRESDEN/hitori/S8Gsyg2697.842951851852742.36666666666670.27517045280826735
BASE/racer/QQYQNw2723.118396053465216.492783573880870.07950178879024777
BASE/tictactoe-init1/7M19vA2729.6371336445453781275.33333333351385.2666666666667
BASE/checkersTiny/Lr48cg2733.88363043478242089.50.7642973448974845
BASE/hitori/S8Gsyg2809.2638578714045747.64174527515750.2661343978709248
BASE/hodgepodge/9yjRkw2946.2834637666432898848.3983.9
BASE/maze/cCX3qQ3051.1406205318855690580.6666666671865.0666666666666
STANFORD/tictactoe3/X7myng3183.1299952614124030479.21266.2
STANFORD/tictactoe5/WFRReg3306.40920013731563852628.01165.2
DRESDEN/blocksworldparallel/2JfVaw3731.5304945489023148914.2843.8666666666667
DRESDEN/satlike_20v_91c/yeuENQ4077.7106688805131491.13451539794690.36567933246900036
BASE/blocksWorldSerial/Wyg96Q4260.8331622176594980061.81168.8
DRESDEN/satlike_20v_91c_version2/yd9ioQ4602.37261501.10.32615786040443573
BASE/blobwars/0XT15Q4734.487653333334688.93333333333330.1455138092604988
STANFORD/threepuzzle/41ibjA4931.8600473137454794918.733333333972.2333333333333
DRESDEN/blobwars/ZaMluQ4975.337302089931704.24319189360360.1415468236892764
STANFORD/3puzzle/41ibjA5414.89659400544955299378.8978.6666666666666
BASE/ruleDepthLinear/OUBJpQ5523.64849616430554536204.266666667821.2333333333333
BASE/blocksWorldParallel/RseaAQ5656.0044467275233242479.2666666666573.2808906369787
BASE/gt_dollar/TGjqRw5660.1129137249013767937.1666666665665.7
BASE/gt_centipede/9fRMpw8068.3804377564983931990.7333333334487.3333333333333
BASE/colonelBlottoVariant2/jruwGw8483.018168888894080.46666666666670.4810159055926116
BASE/pancakes88/l2Xaig8522.05210105.21.1857707509881423
DRESDEN/merrills/aYEzwA9277.554577875546174.94917174949170.018857250612860643
BASE/merrills/pku8Tg9966.171960934635179.160694643511870.0179768817300951
BASE/colonelBlottoVariant/X-n-KQ11101.9651333333355159.9333333333330.46477657526060684
BASE/hanoi_6_disks/MeubgQ15612.9804020833333276.633333333332.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ15789.17380370370332810.5666666666662.0780420226275687
DRESDEN/checkers/jIDMIg21312.889570347656615.97946735108830.028901734104046242
DRESDEN/hanoi7_bugfix/3gdnFw21968.8246037037026172.3666666666670.2809602597321512
DRESDEN/hanoi7/51zz5Q22242.308740740746199.4666666666660.2787240631774543
BASE/hanoi7_bugfix/3gdnFw22257.8083333333346309.30.28346456692913385
BASE/gt_tinfoil/Q8DyKg24089.5580333333312041.1666666666660.49985004498650404
DRESDEN/twisty-passages/j7NPyg29404.7028000000031549.90.052709255745308874
BASE/twisty-passages/DiZmmg29714.53441571.20.05287648054145516
BASE/minichess/8NQEiA29757.1144388456523058929.4102.79657344755175
DRESDEN/Travelers-Dilemma/PvZwYw36525.371359439.30.2584313218762114
BASE/solitaireChineseCheckers/-ET6gw50142.9919499999963232.6333333333330.06446829771459885
DRESDEN/kalaha_2009/gcC8uA68454.076053255.30.047554509356349715
BASE/kalaha_2009/dRiN3g70151.790253231.83333333333350.04606914979384055
DRESDEN/vacuumcleaner_random/_6AGDA127387.515557239.3666666666670.05682948313585088
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA178348.081913711.70.07688167909587146
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A181685.2134999999814022.1666666666660.07717835918808366
DRESDEN/vacuum_cleaner_1/eUNjpw358813.5712000000618478.40.051498609537542483
BASE/ad_game_2x2/D0aWqg6.004886941583333E71765675.83333333330.029403981299067895
BASE/amazons/RKKZjwInfinity13.5612421697987480.0
DRESDEN/farmers/S_ASnwInfinity2736.1333333333330.0
BASE/amazonsSuicide/dE1QEQInfinity13.5261194029850740.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity4591.00.0
BASE/gt_two_thirds_2p/1APDGgInfinity330.40.0

Games with errors:

GamePALAMEDES_JAVA_ECLIPSE:0.6.1 error messageREKKURA_GENERIC_FORWARD_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