Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second |
| BASE/coins/QnGtnQ | 8.758291391464506E-5 | 300.4 | 3429892.7333333334 |
| DRESDEN/coins/QwFP9w | 9.292734805651339E-5 | 307.73333333333335 | 3311547.566666667 |
| BASE/coins_atomic/AA3SSw | 9.999567218564606E-5 | 320.93333333333334 | 3209472.2333333334 |
| BASE/blocksWorldParallel/RseaAQ | 2.3987817223565283E-4 | 777.8 | 3242479.2666666666 |
| BASE/ad_game_2x2/D0aWqg | 4.6048467749129114E-4 | 813.0666666666667 | 1765675.8333333333 |
| BASE/snake2p/I3wWPQ | 5.063654751557213E-4 | 346.87687487500835 | 685032.6333333333 |
| BASE/minichess/8NQEiA | 5.494405984002115E-4 | 1680.7 | 3058929.4 |
| STANFORD/tictactoe3/X7myng | 6.971131373162773E-4 | 2809.7 | 4030479.2 |
| BASE/blocksWorldSerial/Wyg96Q | 7.480496192503743E-4 | 3725.3333333333335 | 4980061.8 |
| STANFORD/tictactoe5/WFRReg | 8.178832734434781E-4 | 3151.0 | 3852628.0 |
| BASE/tictactoe-init1/7M19vA | 8.425816827585331E-4 | 3186.0333333333333 | 3781275.3333333335 |
| DRESDEN/tictactoe-init1/3ltIBQ | 8.655233161420764E-4 | 3206.733333333333 | 3704964.7 |
| DRESDEN/blocksworldparallel/2JfVaw | 9.137117803971921E-4 | 2877.2 | 3148914.2 |
| STANFORD/sukoshi/4LYZZQ | 0.0011067384515941023 | 1748.5 | 1579867.4 |
| STANFORD/tictactoe7/-bE9-A | 0.0015807963095679268 | 3322.5333333333333 | 2101809.9 |
| BASE/hodgepodge/9yjRkw | 0.0018054986411902504 | 5233.866666666667 | 2898848.3 |
| STANFORD/3puzzle/41ibjA | 0.0018178042553465576 | 9633.233333333334 | 5299378.8 |
| BASE/blocks/xIV5hQ | 0.001871338603088243 | 8428.533333333333 | 4504012.966666667 |
| DRESDEN/blocks/vg0DRw | 0.001942230952895604 | 8769.166666666666 | 4514996.866666666 |
| BASE/gt_dollar/TGjqRw | 0.0019613649785295874 | 7390.3 | 3767937.1666666665 |
| BASE/blocksWorld/SEdXLQ | 0.002017032012635185 | 8958.566666666668 | 4441459.833333333 |
| STANFORD/threepuzzle/41ibjA | 0.0020492109556921093 | 9825.8 | 4794918.733333333 |
| BASE/gt_centipede/9fRMpw | 0.0027677328707166673 | 10882.7 | 3931990.7333333334 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.002858853160113188 | 6113.566666666667 | 2138468.2333333334 |
| BASE/maze/cCX3qQ | 0.0030143613932309896 | 17153.466666666667 | 5690580.666666667 |
| BASE/duplicateStateSmall/bCPAXw | 0.0031824788394835693 | 13250.266666666666 | 4163505.033333333 |
| BASE/pearls/6k_mEQ | 0.003727309341421012 | 25159.333333333332 | 6749998.733333333 |
| BASE/stateSpaceSmall/Q7osKA | 0.004003858026068397 | 16527.166666666668 | 4127810.3666666667 |
| DRESDEN/troublemaker01/C-lPWw | 0.004166062554999451 | 19540.133333333335 | 4690312.033333333 |
| DRESDEN/troublemaker02/iZLVuA | 0.004284302818537644 | 17873.9 | 4171950.6666666665 |
| DRESDEN/statespacesmall/h-NqjA | 0.004305385572069271 | 16923.966666666667 | 3930882.933333333 |
| BASE/troublemaker01/s3tlEQ | 0.004385135762525503 | 20052.266666666666 | 4572781.266666667 |
| BASE/troublemaker02/DI83KA | 0.004478357520019633 | 18514.5 | 4134216.6 |
| BASE/switches/tPUoCg | 0.0050930010595593815 | 11317.733333333334 | 2222213.033333333 |
| BASE/buttons/hTcUjw | 0.005306319807288108 | 22097.966666666667 | 4164461.9 |
| DRESDEN/buttons/ADUaHw | 0.005451363222514965 | 22636.1 | 4152374.2 |
| BASE/ruleDepthLinear/OUBJpQ | 0.0071361939256586095 | 32371.233333333334 | 4536204.266666667 |
| BASE/haystack/UkweGA | 0.0076524199792970485 | 37056.333333333336 | 4842433.3 |
| STANFORD/buttonsandlights/eyhJpA | 0.00901522888398638 | 37069.53333333333 | 4111879.3333333335 |
| BASE/survival/YVIjJA | 0.010454114550475542 | 28649.533333333333 | 2740503.1 |
| BASE/onestep/xi53wA | 0.012169998649932538 | 34831.5 | 2862079.2 |
| DRESDEN/quad_7x7/q-JOXg | 0.019372521960570228 | 1.6765736930345985 | 86.5439046318804 |
| BASE/nonogram_5x5_1/qLKEZw | 0.04612343823661018 | 268.7243758541382 | 5826.2 |
| BASE/nonogram_10x10_1/0Xc62g | 0.04875788703052906 | 37.63207893070231 | 771.8152123191787 |
| BASE/kitten_escapes_from_fire/uW-YiA | 0.050977313619768296 | 4536.933333333333 | 88999.06666666667 |
| BASE/quad_7x7/q-JOXg | 0.055319425075741314 | 4.323728272539973 | 78.15931323617488 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.05532081318301131 | 4903.6 | 88639.33333333333 |
| STANFORD/madness/UO_B3A | 0.05844979901311041 | 43.352215928023995 | 741.7 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.06912355380037927 | 12.290167865707435 | 177.8 |
| DRESDEN/laikLee_hex/ZeP3QQ | 0.07327785933249355 | 120.17324670997834 | 1639.9666666666667 |
| STANFORD/skirmish/w4V6Vw | 0.07331368198435317 | 41.001898544449254 | 559.2666666666667 |
| BASE/wargame02/BkVqqQ | 0.07897894592171174 | 439.4520182660578 | 5564.166666666667 |
| BASE/laikLee_hex/zbyscQ | 0.08568219581098183 | 140.82956438943108 | 1643.626929217669 |
| BASE/strangeSkirmish/gc1zKA | 0.10169732197271676 | 42.07615684445481 | 413.7390840610626 |
| DRESDEN/quad/JPe6fg | 0.10204364992782818 | 1.332926050373497 | 13.062312562479173 |
| DRESDEN/Zhadu/9zpQ5w | 0.10427217480468974 | 57.73202745019655 | 553.6666666666666 |
| BASE/skirmish/Y_psYQ | 0.10837047974103312 | 44.61251416005864 | 411.6666666666667 |
| BASE/blokbox_simple/JBx4bg | 0.11281014364547791 | 0.8214330847971693 | 7.281553398058253 |
| BASE/skirmishFinal2/gdB62Q | 0.1155005815300751 | 63.63484924204565 | 550.9483017232759 |
| DRESDEN/skirmishfinal/hzq8ww | 0.11607993639214159 | 64.94069039051047 | 559.4480183993867 |
| BASE/qyshinsu/R08Lzw | 0.11925455516438888 | 96.92687154189721 | 812.7729075697476 |
| BASE/skirmishFinal1/ecWTnQ | 0.12048714458645611 | 63.9786737754082 | 531.0 |
| BASE/skirmishFinal3/-Olhfw | 0.12099921057162764 | 69.62869142057197 | 575.4474850838305 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 0.12144846024630855 | 175.65495633624425 | 1446.3333333333333 |
| BASE/minichess-evilconjuncts/4OpQzw | 0.12403094534099736 | 181.02729909003034 | 1459.5333333333333 |
| BASE/othelloSuicide/B442jg | 0.1335094558088411 | 5.001987544719756 | 37.46541781940602 |
| BASE/othello-comp2007/86ZoMw | 0.13665639979249095 | 5.0930395126660235 | 37.26894254787677 |
| DRESDEN/babel/WdSW4A | 0.1397102485373175 | 307.87947470168655 | 2203.7 |
| BASE/speedChess/bPnisA | 0.1429499724172215 | 158.17890947873616 | 1106.5333333333333 |
| BASE/skirmishHoles/AUCxCA | 0.14387414377611427 | 47.181127548980406 | 327.93333333333334 |
| BASE/hitori/S8Gsyg | 0.15390615544657452 | 115.06666666666666 | 747.6417452751575 |
| BASE/skirmishZeroSum/zh4hcw | 0.1611794703842283 | 164.650201646502 | 1021.5333333333333 |
| DRESDEN/hitori/S8Gsyg | 0.16193251014822332 | 120.21329778370271 | 742.3666666666667 |
| BASE/amazonsSuicide/dE1QEQ | 0.1637264265996175 | 2.2145831956104978 | 13.526119402985074 |
| BASE/amazonsTorus_10x10/Uxc08g | 0.16494105743617915 | 204.68635424305046 | 1240.9666666666667 |
| BASE/mineClearingSmall/frsbvw | 0.1652881892137116 | 343.1437904139724 | 2076.0333333333333 |
| BASE/skirmishNew/sibw2g | 0.16602642881015056 | 170.02766574447517 | 1024.1 |
| BASE/othelloHoles/c0qAzw | 0.16604931571557457 | 6.329952939616889 | 38.12092156079371 |
| BASE/hanoi_6_disks/MeubgQ | 0.16889028237031192 | 5620.1 | 33276.63333333333 |
| BASE/amazons/RKKZjw | 0.17139054493372655 | 2.3242686854600394 | 13.561242169798748 |
| BASE/slaughter/cOch8A | 0.17223213181322725 | 26.195634060989835 | 152.09493016899438 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 0.17577842462732646 | 3.506218576342948 | 19.9468085106383 |
| BASE/snakeAssemblit/UO4sdg | 0.17603240037607581 | 405.6666666666667 | 2304.5 |
| BASE/snakeParallel/RCVNtw | 0.17638326281570954 | 4174.333333333333 | 23666.266666666666 |
| DRESDEN/pawn_whopping/4ogBkg | 0.1764140176917722 | 675.5774807506416 | 3829.5 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.17654943169633283 | 658.6 | 3730.4 |
| BASE/pawnWhopping/Ypc_6Q | 0.1797990481226864 | 657.3333333333334 | 3655.9333333333334 |
| DRESDEN/hanoi_6_disks/MeubgQ | 0.1802163327464628 | 5913.0 | 32810.566666666666 |
| STANFORD/knightstourmedium/x1wu8Q | 0.18368134829177116 | 14701.5 | 80038.06666666667 |
| BASE/wargame03/klXI8w | 0.1907618476304739 | 646.6 | 3389.5666666666666 |
| BASE/amazonsSuicide_10x10/XIbQkg | 0.204113005996313 | 298.10704525761514 | 1460.5 |
| BASE/amazons_10x10/Bun8dA | 0.20415143275849 | 302.75657478084065 | 1483.0 |
| BASE/amazons_8x8/7SOsIw | 0.2099813654291717 | 391.0202993233559 | 1862.1666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 0.21152873206795816 | 432.03333333333336 | 2042.4333333333334 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.21159123896591042 | 385.3076461569229 | 1821.0 |
| STANFORD/nineboardtictactoe/y28P-A | 0.21264192981384847 | 422.83847743483767 | 1988.5 |
| DRESDEN/grid_game2/kypTYQ | 0.21760713734991882 | 360.4879837338755 | 1656.6 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.2183381781626157 | 437.38959437389593 | 2003.2666666666667 |
| BASE/pentago/86NgKw | 0.218896039056569 | 441.65194493516884 | 2017.6333333333334 |
| BASE/checkersTorus/2vm1EQ | 0.22427351352814584 | 552.3333333333334 | 2462.766666666667 |
| BASE/pawnToQueen/-O1_JA | 0.2269908592478921 | 23.452595109600907 | 103.31955739234769 |
| DRESDEN/amazons/dNB28A | 0.2273341675331942 | 37.370103916866505 | 164.38401812789496 |
| DRESDEN/pawntoqueen/f_x6Aw | 0.22833171624219387 | 22.846866049423834 | 100.05997600959616 |
| BASE/pentagoSuicide/SBgNhw | 0.23145538188818215 | 463.4739718722922 | 2002.4333333333334 |
| BASE/cephalopodMicro/9l2D3g | 0.23214008856519766 | 51.50414764966519 | 221.86666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.2336741136355794 | 184.72101859876008 | 790.5069831005633 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.23376993904811308 | 600.8666666666667 | 2570.3333333333335 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.23406643813003564 | 51.44608823137412 | 219.79267357754742 |
| BASE/futoshiki4/BaCwSw | 0.24873638841199142 | 690.6 | 2776.4333333333334 |
| DRESDEN/snake_2008/E56l3A | 0.24966996699669966 | 403.46666666666664 | 1616.0 |
| DRESDEN/guess/PhxGhg | 0.25514285411163096 | 801.6333333333333 | 3141.9 |
| STANFORD/pentago/ZxzLmg | 0.2556145322534954 | 598.9133695543482 | 2343.0333333333333 |
| BASE/snake_2008_tweaked/bX0NJQ | 0.25581302755215796 | 428.3333333333333 | 1674.4 |
| BASE/connectFourLarger/qKi60A | 0.25586852187142073 | 468.38438718709375 | 1830.5666666666666 |
| BASE/snake_2008/i6K26g | 0.2567779840470022 | 419.55268157728074 | 1633.912202926569 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 0.2571043944848636 | 589.7803406553115 | 2293.9333333333334 |
| BASE/guess/SPpk1A | 0.2574544537603228 | 816.8 | 3172.6 |
| BASE/quad/tw-Ufg | 0.2576179238765097 | 2.5987359235137477 | 10.087558677630922 |
| BASE/checkersTorusNoKings/pwb6oQ | 0.25792009282147005 | 681.7 | 2643.0666666666666 |
| BASE/checkersBarrelNoKings/rnKNeg | 0.2590316999949117 | 678.7666666666667 | 2620.4 |
| STANFORD/duikoshi/tpw1sw | 0.2675682025078554 | 607.4333333333333 | 2270.2 |
| BASE/englishDraughts/jFkQxg | 0.267711034380836 | 664.2 | 2481.0333333333333 |
| DRESDEN/minichess/c7GMFw | 0.27117922520221366 | 1189.0666666666666 | 4384.8 |
| BASE/connectFourSimultaneous/7ITr3g | 0.27157550959120086 | 482.3 | 1775.9333333333334 |
| DRESDEN/battlebrushes/QHXV4A | 0.2727272727272727 | 92.19692676910769 | 338.0553981533949 |
| BASE/connectFourLarge/aU644A | 0.27292808026856025 | 729.0 | 2671.0333333333333 |
| BASE/ticTacHeavenFC/mrletw | 0.2735739729440416 | 230.46927076389815 | 842.4385853804873 |
| BASE/checkersTiny/Lr48cg | 0.27831887138419464 | 581.5472817572747 | 2089.5 |
| BASE/ttcc4_2player_small/Cv72TA | 0.2813551291163231 | 1187.6 | 4221.0 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.2823908245594993 | 1040.6666666666667 | 3685.2 |
| STANFORD/selectivesukoshi/3xmXYg | 0.2870694745778321 | 75.37487504165279 | 262.56666666666666 |
| STANFORD/pilgrimage/ObRZnQ | 0.287204496596833 | 637.4120862637913 | 2219.366666666667 |
| BASE/connectFour_9x6/B9TtMw | 0.29137744089660833 | 958.4666666666667 | 3289.4333333333334 |
| BASE/connectFour/WAIKTw | 0.2923367005998554 | 997.4333333333333 | 3411.9333333333334 |
| STANFORD/connectfour/VMpZkQ | 0.2929614106084694 | 1013.5 | 3459.5 |
| DRESDEN/snake_2009/zIYLVw | 0.29420580206420177 | 412.1725218318779 | 1400.9666666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.2951374631591434 | 1078.1666666666667 | 3653.1 |
| DRESDEN/connectfour/5tc-Mg | 0.2953646345934889 | 1020.3666666666667 | 3454.6 |
| DRESDEN/capture_the_king/EQ229Q | 0.2964095793189823 | 120.86776859504133 | 407.772815145657 |
| BASE/ticTacHeaven/18n58A | 0.2978417498134114 | 255.81627891473903 | 858.9 |
| BASE/connectFourSuicide/c8p9Kw | 0.29814854431241367 | 1022.0333333333333 | 3427.9333333333334 |
| DRESDEN/connectfoursuicide/M9CNQg | 0.29840451473559537 | 999.3666666666667 | 3349.0333333333333 |
| BASE/snake_2009/7l-qAQ | 0.2998712472542112 | 413.5724285047663 | 1379.1666666666667 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.3001884523234562 | 1056.6333333333334 | 3519.9 |
| BASE/dualConnect4/WbCQkg | 0.3045338009309957 | 594.7342109648392 | 1952.9333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.31073397841618566 | 965.5333333333333 | 3107.266666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 0.31128596992524604 | 5752.066666666667 | 18478.4 |
| BASE/breakthroughSmallHoles/bxclRw | 0.31142125937388404 | 697.6666666666666 | 2240.266666666667 |
| BASE/ttcc4_2player/_aH_Mw | 0.3153143105508692 | 786.9404353188227 | 2495.733333333333 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.3173544988100516 | 476.38083816376843 | 1501.1 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.3177292039478741 | 964.7 | 3036.233333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.3184734038656746 | 1014.4333333333333 | 3185.3 |
| BASE/3pConnectFour/PqXOFQ | 0.31863953966296754 | 620.2 | 1946.4 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.32260315798656547 | 986.1333333333333 | 3056.8 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.3248123730148858 | 1044.4666666666667 | 3215.6 |
| DRESDEN/breakthrough/z4hK7Q | 0.3263316625605301 | 512.1666666666666 | 1569.4666666666667 |
| BASE/checkersSmall/SYmq8w | 0.3305802584977745 | 425.0049996666889 | 1285.6333333333334 |
| BASE/tictactoe2/bhrDoQ | 0.33173609344032573 | 3085.4 | 9300.766666666666 |
| STANFORD/tictictoe/rpt_Dw | 0.33287940604522204 | 2037.0333333333333 | 6119.433333333333 |
| BASE/breakthrough/TGxk-g | 0.3334857093101722 | 510.6666666666667 | 1531.3 |
| BASE/breakthroughWalls/vOZaYA | 0.33360781515772325 | 519.1493616879437 | 1556.1666666666667 |
| BASE/choicethroughalt/tt71Lg | 0.33369430344049633 | 493.03333333333336 | 1477.5 |
| DRESDEN/satlike_20v_91c/yeuENQ | 0.33371804310779407 | 497.6184924890917 | 1491.1345153979469 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.33437074499124686 | 515.7 | 1542.3 |
| BASE/futoshiki5/TJ4BZg | 0.3371727024316004 | 324.93333333333334 | 963.7 |
| DRESDEN/tttcc4/sAvtFg | 0.33815244139360184 | 696.2333333333333 | 2058.9333333333334 |
| BASE/knightazons/apnJBQ | 0.3401624088203694 | 254.8496766882208 | 749.2 |
| DRESDEN/tictictoe/LAUtwg | 0.3418629181673598 | 2085.0333333333333 | 6099.033333333334 |
| BASE/tttcc4/8Bs2lg | 0.34245166267538857 | 710.2333333333333 | 2073.9666666666667 |
| BASE/chess_200/XsTpYA | 0.3426623232769309 | 45.024328467639805 | 131.39562014599514 |
| BASE/breakthroughSuicide/wZDpIg | 0.34267775397925326 | 543.9666666666667 | 1587.4 |
| BASE/knightsTour/mvtVIg | 0.34341202132408055 | 13592.133333333333 | 39579.666666666664 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.3435307917888563 | 976.2 | 2841.6666666666665 |
| BASE/battle/8oAvhQ | 0.346222666364543 | 91.20901093041856 | 263.44032263440323 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 0.3466120455530958 | 1012.5 | 2921.133333333333 |
| BASE/checkers/rOC3Xg | 0.34709938269376556 | 320.5 | 923.3666666666667 |
| BASE/chineseCheckers1/gqtwHw | 0.3478379687713501 | 3733.6 | 10733.733333333334 |
| BASE/ttcc4/Le0qjQ | 0.3495249367130223 | 708.7666666666667 | 2027.8 |
| STANFORD/knightstour/cEwgNA | 0.35013004945090237 | 14538.333333333334 | 41522.666666666664 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.3518017459541851 | 4823.8 | 13711.7 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.3523622818879861 | 1016.1333333333333 | 2883.774415038997 |
| DRESDEN/knightazons/02I8BQ | 0.3530100288343985 | 266.15779474017535 | 753.9666666666667 |
| BASE/ticTicToe/c1OobQ | 0.35332362770075765 | 2135.7 | 6044.6 |
| DRESDEN/backgammon/mqCW0Q | 0.3546381490472238 | 303.9130724618359 | 856.9666666666667 |
| BASE/eotcitcit/V_9_bg | 0.3548227453438691 | 2150.9 | 6061.9 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.35485243602391453 | 4975.8 | 14022.166666666666 |
| BASE/ttcc4_2player_alt/ZEJvYA | 0.35589620004720435 | 955.0 | 2683.366666666667 |
| DRESDEN/skirmish/RjGQYQ | 0.3575149645549449 | 265.991133628879 | 744.0 |
| DRESDEN/battle/8oAvhQ | 0.3581514728682171 | 92.4 | 257.9914002866571 |
| BASE/withConviction/3Xm54A | 0.35920282248585744 | 603.2931137924138 | 1679.5333333333333 |
| BASE/lightsOut/5P1ZBw | 0.3666916094609103 | 1127.1 | 3073.7 |
| DRESDEN/knightstour/cGISAA | 0.3683357728778475 | 14662.366666666667 | 39807.066666666666 |
| BASE/four_way_battle/xSOQXA | 0.3720849377349135 | 257.50758257507584 | 692.0666666666667 |
| BASE/snake_2009_big/-oRfVw | 0.3732703484572648 | 287.3808412772482 | 769.9 |
| BASE/breakthroughSuicideSmall/XSbJog | 0.37504519749497406 | 864.3666666666667 | 2304.7 |
| BASE/2pttc/unkkYA | 0.37565012747597565 | 1596.2 | 4249.166666666667 |
| DRESDEN/tpeg/h-Scbg | 0.37721752348917315 | 777.5333333333333 | 2061.233333333333 |
| DRESDEN/frogs_and_toads/GjchhQ | 0.3772852962495637 | 936.9 | 2483.266666666667 |
| DRESDEN/four_way_battle/xSOQXA | 0.37784796961735284 | 260.3159789347377 | 688.9437018766041 |
| BASE/sudokuGrade1/tDRNRw | 0.3789013771822761 | 24.388618644632505 | 64.36666666666666 |
| BASE/checkLines/Vop7oQ | 0.38019544520404314 | 1208.6666666666667 | 3179.0666666666666 |
| BASE/breakthroughSmall/HJ0tIA | 0.3809813402948767 | 856.1666666666666 | 2247.266666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 0.3827982473921382 | 818.3333333333334 | 2137.766666666667 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.3836871294270875 | 615.7794740175327 | 1604.9 |
| BASE/escortLatch/mX9BjQ | 0.38377182948219324 | 838.7333333333333 | 2185.5 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.3861802973977695 | 1385.1 | 3586.6666666666665 |
| BASE/tpeg/QNs7Lw | 0.38747217493780284 | 789.1 | 2036.5333333333333 |
| BASE/3pttc/0sol9g | 0.3886458702248428 | 1353.4333333333334 | 3482.4333333333334 |
| BASE/ticTacToeLarge/TZC0dg | 0.39129098074289387 | 1400.0 | 3577.9 |
| DRESDEN/skirmish2/iPpWhQ | 0.39134839874895383 | 296.1234625512483 | 756.6747775074164 |
| DRESDEN/mimikry/GJEhwA | 0.3917894899297785 | 846.2 | 2159.8333333333335 |
| BASE/dotsAndBoxes/EHwA_w | 0.3918256943261203 | 613.2333333333333 | 1565.0666666666666 |
| BASE/wargame01/_GZFZg | 0.39249314144711633 | 853.6333333333333 | 2174.9 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.39462148297839267 | 846.2 | 2144.3333333333335 |
| DRESDEN/tictactoelarge/IwXcbg | 0.3949642362176894 | 1415.4333333333334 | 3583.7 |
| BASE/tictactoe_3d_2player/IUC1rQ | 0.3957452685287505 | 272.49700039994667 | 688.5666666666667 |
| DRESDEN/lightsout/XgLpzQ | 0.39693006278923243 | 1217.9666666666667 | 3068.4666666666667 |
| DRESDEN/brawl/2kXtfQ | 0.3975409836065573 | 161.650501616505 | 406.62600406626007 |
| BASE/ticTacToeNoVars/XT03NA | 0.3982953076587683 | 3440.8333333333335 | 8638.9 |
| DRESDEN/checkers/jIDMIg | 0.3983766233766234 | 245.39182027265758 | 615.9794673510883 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.3997543751918944 | 303.8 | 759.9666666666667 |
| DRESDEN/8puzzle/8fKC2w | 0.4001265006945528 | 3331.733333333333 | 8326.7 |
| BASE/brawl/6Ymo_Q | 0.40360858131788335 | 160.4506216045062 | 397.5401639890674 |
| STANFORD/ttcc4/Cx9SGw | 0.4057133847432847 | 943.5 | 2325.5333333333333 |
| BASE/eightPuzzle/vLrgFg | 0.40744819824346323 | 3378.9 | 8292.833333333334 |
| DRESDEN/farmers/S_ASnw | 0.4088494712733298 | 1118.6666666666667 | 2736.133333333333 |
| STANFORD/eightpuzzle/W_aWbA | 0.41062224841678896 | 3460.3 | 8426.966666666667 |
| BASE/futoshiki6/JmvXNA | 0.41079961582351693 | 207.41950536630893 | 504.91650278324056 |
| DRESDEN/slidingpieces/s9_44g | 0.41200032661880254 | 343.9104059729351 | 834.7333333333333 |
| DRESDEN/3pttc/uwYBZw | 0.4125996781368099 | 1521.2 | 3686.866666666667 |
| BASE/pegEuro/5awwhg | 0.41485784876526116 | 603.4798840038666 | 1454.6666666666667 |
| DRESDEN/blobwars/ZaMluQ | 0.4153591199435625 | 292.5138324111726 | 704.2431918936036 |
| STANFORD/platformjumpers/HEQskA | 0.4155702573202596 | 236.37636236376363 | 568.8 |
| BASE/numbertictactoe/rvJ-iQ | 0.41567588231101665 | 2138.5 | 5144.633333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 0.41740282685512364 | 283.4905503149895 | 679.1773607546415 |
| DRESDEN/peg/Vo31eg | 0.4177673921223043 | 703.2 | 1683.2333333333333 |
| BASE/sudokuGrade4/DTy07w | 0.42020891203703703 | 24.2 | 57.590401599733376 |
| BASE/sudokuGrade5/BQfUQA | 0.4207810750577992 | 24.739453268071788 | 58.79412058794121 |
| BASE/sudokuGrade2/u80Tfw | 0.42161717936263376 | 25.418929273411734 | 60.28912131103857 |
| STANFORD/8puzzle/jNiGtw | 0.42614405172929937 | 3558.8 | 8351.166666666666 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.42633177222110563 | 1506.1164627845737 | 3532.733333333333 |
| BASE/4pttc/AL1k2Q | 0.4267613612811407 | 1029.5333333333333 | 2412.4333333333334 |
| STANFORD/freeforall/Lfp40Q | 0.4303632695988 | 1664.1 | 3866.733333333333 |
| BASE/blobwars/0XT15Q | 0.43128563440105927 | 297.1270497267031 | 688.9333333333333 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.4332822989047226 | 735.8 | 1698.2 |
| DRESDEN/stratego/Z2wovg | 0.4339329631122683 | 643.8118729375688 | 1483.6666666666667 |
| BASE/2pffa/6oHijA | 0.4344150982815955 | 1663.4333333333334 | 3829.133333333333 |
| DRESDEN/eotcatcit/mQUxzA | 0.43551639061574243 | 3283.3 | 7538.866666666667 |
| BASE/slidingpieces/uFJWEw | 0.43931976601093836 | 370.7419505366309 | 843.9 |
| BASE/checkers-newgoals/0XkFiA | 0.439396451979347 | 232.79224025865804 | 529.8 |
| DRESDEN/tictactoe/BTTzPw | 0.4415148506766717 | 3424.4333333333334 | 7756.1 |
| BASE/quad_5x5/JAEP5g | 0.4426898028832009 | 83.53333333333333 | 188.69495703151023 |
| BASE/peg/fJHVWw | 0.44358123547060335 | 744.1666666666666 | 1677.6333333333334 |
| BASE/2pffa_zerosum/o0_uZA | 0.4438725842905877 | 1747.8666666666666 | 3937.766666666667 |
| DRESDEN/lightsout2/LFtfyQ | 0.44457553271859834 | 1431.9333333333334 | 3220.9 |
| BASE/sudokuGrade3/eI8dvg | 0.44550390253146666 | 25.111569972690337 | 56.36666666666667 |
| STANFORD/trifecta/ss1kyQ | 0.4463314682008039 | 3398.1 | 7613.4 |
| BASE/ticTacToe/JRFsaQ | 0.44871761680387995 | 3466.4333333333334 | 7725.2 |
| DRESDEN/checkers-newgoals/IJOqXQ | 0.44875528052589514 | 242.050529964669 | 539.3820205993134 |
| DRESDEN/cubicup/SBn_lw | 0.45101534982823843 | 345.73333333333335 | 766.5666666666667 |
| BASE/eotcatcit/AfZSzA | 0.45256405076474837 | 3360.3333333333335 | 7425.1 |
| BASE/cylinder-checkers/hlldmw | 0.4587379235810905 | 219.3 | 478.0507316422786 |
| DRESDEN/quad_5x5/JAEP5g | 0.4631390136729582 | 90.37347713201518 | 195.1325076574777 |
| STANFORD/sudoku/oJ1qyQ | 0.4632893670484415 | 24.952526901422527 | 53.85948540194641 |
| BASE/cubicup/4wNWJA | 0.46518155491200713 | 348.02173260891306 | 748.1417286090464 |
| BASE/conn4/va9Y7A | 0.46560694803736985 | 574.7141761941268 | 1234.3333333333333 |
| BASE/cubicup_3player/e2yA_g | 0.4676650195310347 | 159.89467017766074 | 341.9 |
| DRESDEN/cylinder-checkers/clOO3Q | 0.46929031469542226 | 219.73736835088656 | 468.23333333333335 |
| DRESDEN/4pttc/9pB9AQ | 0.47204430210835335 | 1179.1666666666667 | 2498.0 |
| STANFORD/duidoku/3SoMaA | 0.47530560488545487 | 23.961661341853034 | 50.41316806610689 |
| BASE/3pffa/pR0dzA | 0.4769563104174543 | 1471.9666666666667 | 3086.1666666666665 |
| STANFORD/hex/MTqWcw | 0.47955415824174874 | 192.54099453406212 | 401.5 |
| DRESDEN/cubicup_3player/awDtsQ | 0.49628210866722633 | 167.62755357083347 | 337.76666666666665 |
| STANFORD/tictactoe/ss1kyQ | 0.4963264650646158 | 3708.733333333333 | 7472.366666666667 |
| BASE/ticTacToeParallel/ymRGPw | 0.5000473171193337 | 1409.0666666666666 | 2817.866666666667 |
| BASE/asteroidsParallel/WauZiA | 0.5009000298295601 | 3246.4666666666667 | 6481.266666666666 |
| DRESDEN/endgame/IJhh3Q | 0.5032252926654456 | 421.26666666666665 | 837.1333333333333 |
| DRESDEN/javastrike/whONTQ | 0.5073369548252619 | 269.04873008466103 | 530.3156561447952 |
| STANFORD/multiplesukoshi/vLSQPg | 0.5105191474079265 | 123.35021997067058 | 241.61722551829877 |
| BASE/chineseCheckers2/eCMR3Q | 0.5115843090092321 | 2892.6 | 5654.2 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.5131696899388314 | 3892.7 | 7585.6 |
| DRESDEN/3pffa/0YrmQw | 0.5156657556453875 | 1654.0666666666666 | 3207.633333333333 |
| BASE/breakthroughHoles/nZk0Sg | 0.516969696969697 | 739.2666666666667 | 1430.0 |
| BASE/chickentictactoe/DSlZCA | 0.5170912807739979 | 2934.2 | 5674.433333333333 |
| BASE/rubiksCube/9tNO9Q | 0.5197495731360273 | 761.0 | 1464.1666666666667 |
| BASE/tron_10x10/7ZTgDg | 0.5214408339582649 | 2804.5 | 5378.366666666667 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.5223010762795507 | 1481.7333333333333 | 2836.9333333333334 |
| BASE/tictactoe_3player/GtM71g | 0.522809743990693 | 943.6018799373354 | 1804.8666666666666 |
| BASE/hex/T1MK8g | 0.5249178099990768 | 206.2264591180294 | 392.87380841277246 |
| BASE/solitaireChineseCheckers/-ET6gw | 0.5300941440930511 | 1713.6 | 3232.633333333333 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 0.5302555138553288 | 343.8 | 648.3666666666667 |
| DRESDEN/chickentictactoe/Ipbo-g | 0.530595932019971 | 2876.4666666666667 | 5421.2 |
| BASE/tictactoe_orthogonal/WRzlVw | 0.5316264456180226 | 3976.3 | 7479.5 |
| STANFORD/hunter/14dD-g | 0.5327200343402547 | 4219.533333333334 | 7920.733333333334 |
| BASE/sudokuGrade6H/ieE_9A | 0.5382856447035551 | 24.04262404262404 | 44.665177827405756 |
| BASE/connect4/50bOyw | 0.5389365616953852 | 453.5 | 841.4719509349688 |
| BASE/hidato19/rRHSmA | 0.5431239055745164 | 530.4333333333333 | 976.6341121962602 |
| DRESDEN/connect4/T0-rHQ | 0.5457631691286049 | 455.51814939502015 | 834.6443570428638 |
| BASE/knightfight/SJRkAg | 0.5468935893100901 | 2911.3333333333335 | 5323.4 |
| BASE/hexPie/48CH6Q | 0.5470497986201164 | 194.90084985835693 | 356.2762482501167 |
| BASE/sudokuGrade6E/ihYFZA | 0.5489830297021037 | 24.251307505246675 | 44.174967518406234 |
| DRESDEN/tictactoe_3player/ESLQQQ | 0.5520477221265312 | 964.8690087327511 | 1747.8 |
| DRESDEN/crisscross/GsY16g | 0.5542361070785669 | 1272.6 | 2296.133333333333 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.5544952219983098 | 1421.6333333333334 | 2563.8333333333335 |
| BASE/sum15/QZ07Kg | 0.555135118090373 | 4107.833333333333 | 7399.7 |
| DRESDEN/knightfight/4_Ly4w | 0.5574701818557427 | 3058.3 | 5486.033333333334 |
| BASE/double_tictactoe_dengji/zgaSbA | 0.5605897810974899 | 1443.5 | 2574.9666666666667 |
| BASE/majorities/ibJzSQ | 0.5609916779911207 | 162.06758648270346 | 288.8948140247967 |
| BASE/crisscross/ICagEg | 0.5640770446695159 | 1284.6666666666667 | 2277.4666666666667 |
| DRESDEN/sum15/CsgWKg | 0.5692576184722781 | 4240.4 | 7449.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.5696798083206274 | 2615.4 | 4591.0 |
| BASE/4pffa/Q3ADlg | 0.5735656698582687 | 1263.9666666666667 | 2203.7 |
| DRESDEN/logistics/fPru1Q | 0.5737749670139679 | 1681.4666666666667 | 2930.5333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 0.5738834556699265 | 893.9 | 1557.6333333333334 |
| BASE/toetictac/mTThmg | 0.5790974884641533 | 4798.266666666666 | 8285.766666666666 |
| DRESDEN/toetictac/mJtxCA | 0.582236578123746 | 4836.833333333333 | 8307.333333333334 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 0.5846055163566388 | 151.88987400839943 | 259.81601226584894 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 0.5847564934317458 | 4233.266666666666 | 7239.366666666667 |
| BASE/ticblock/T21C1g | 0.5903490527648415 | 1740.9 | 2948.9333333333334 |
| DRESDEN/gt_chicken/CeuKtw | 0.5910289487822591 | 7294.3 | 12341.696654671465 |
| BASE/asteroidsSerial/id2QkA | 0.5996399128209988 | 3164.0 | 5276.5 |
| DRESDEN/quarto/OQzRYQ | 0.6013023362083737 | 1403.6 | 2334.266666666667 |
| DRESDEN/quartosuicide/WIU1oQ | 0.6027082268778743 | 1415.4 | 2348.4 |
| BASE/gt_chicken/gmepTQ | 0.602971387424021 | 7592.133333333333 | 12591.2 |
| DRESDEN/crissrace/KWb9bw | 0.6111021869334741 | 887.6666666666666 | 1452.5666666666666 |
| DRESDEN/ticblock/Z2yNWQ | 0.6111262457717542 | 1794.6333333333334 | 2936.6 |
| BASE/shmup/ssTNlg | 0.6131428848646139 | 2949.0333333333333 | 4809.7 |
| DRESDEN/gt_prisoner/huCp4w | 0.6144290186660656 | 7086.3 | 11533.146685331467 |
| BASE/quarto/EwBMVQ | 0.617439464570151 | 1408.4 | 2281.0333333333333 |
| BASE/mummymaze1p/PT_EXA | 0.6199068471045587 | 1690.3 | 2726.7 |
| DRESDEN/latenttictactoe/kITHKg | 0.6204928450385991 | 1757.5666666666666 | 2832.5333333333333 |
| BASE/quartoSuicide/-23jUg | 0.6221339878717875 | 1436.3 | 2308.6666666666665 |
| DRESDEN/chomp/-LcqYQ | 0.6232199135079337 | 2656.4333333333334 | 4262.433333333333 |
| BASE/chomp/-LcqYQ | 0.6261657032755298 | 2708.1666666666665 | 4325.0 |
| STANFORD/breakthrough/d5j0cQ | 0.6282666766293687 | 1121.1 | 1784.4333333333334 |
| DRESDEN/skirmish3/3LU8Nw | 0.6287681853422721 | 459.56666666666666 | 730.9 |
| STANFORD/triplesukoshi/Iu9mbA | 0.6297142235636403 | 771.9666666666667 | 1225.9 |
| BASE/crissrace/ERWGDA | 0.6359014734000675 | 942.3 | 1481.8333333333333 |
| DRESDEN/bidding-tictactoe/yW5vTA | 0.6371049384668922 | 2685.1 | 4214.533333333334 |
| DRESDEN/battlesnakes1509/-qZrLw | 0.6382816559847566 | 1228.2666666666667 | 1924.3333333333333 |
| BASE/gt_prisoner/klthDw | 0.6403164432821183 | 8161.366666666667 | 12745.833333333334 |
| BASE/biddingTicTacToe/8mESVw | 0.6409639126681819 | 2697.9666666666667 | 4209.233333333334 |
| DRESDEN/brain_teaser_extended/ZDp94A | 0.6419466325545906 | 3813.9333333333334 | 5941.2 |
| BASE/chineseCheckers3/-1rZdQ | 0.6523880500291621 | 2348.9666666666667 | 3600.5666666666666 |
| BASE/lightsOn/MsXu3A | 0.6587146688004153 | 8122.566666666667 | 12330.933333333332 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.6601089235787512 | 1511.0333333333333 | 2289.0666666666666 |
| DRESDEN/battlesnakes2011/93VtTw | 0.6605036377763651 | 1246.7666666666667 | 1887.6 |
| BASE/gt_staghunt/xPjLRA | 0.6679570253235889 | 8559.333333333334 | 12814.197633727712 |
| BASE/chineseCheckers4/avfBcQ | 0.6687184824937638 | 1242.1 | 1857.4333333333334 |
| DRESDEN/mummymaze1p/AekgaQ | 0.6695241599215109 | 1819.7666666666667 | 2718.0 |
| DRESDEN/towerworld/HCX34w | 0.671669530784404 | 40.38922953878966 | 60.1325915314655 |
| BASE/incredible/8Qh-6Q | 0.6729275268250137 | 3317.6 | 4930.1 |
| BASE/brain_teaser_extended/ZDp94A | 0.6740324698913014 | 4020.266666666667 | 5964.5 |
| BASE/connect5/d-BVQg | 0.6748317114018508 | 455.15149495016834 | 674.4666666666667 |
| BASE/kalaha5x2x3/WviNsw | 0.6832356039489508 | 2443.0 | 3575.633333333333 |
| BASE/factoringGeorgeForman/HGRorQ | 0.6882534571530792 | 5899.433333333333 | 8571.6 |
| BASE/knightThrough/gcwFjA | 0.6945369265238605 | 1105.6333333333334 | 1591.9 |
| BASE/gt_coordination/IVMOzA | 0.697407544831027 | 9037.733333333334 | 12959.041525028328 |
| DRESDEN/chickentoetictac/cxYaRQ | 0.6989541991367072 | 4021.2 | 5753.166666666667 |
| DRESDEN/bunk_t/7-tPfA | 0.7024020848283415 | 1239.8333333333333 | 1765.1333333333334 |
| DRESDEN/connect5/1kYzSg | 0.7026128263401653 | 464.98916847192135 | 661.8 |
| BASE/bunk_t/xbpfIA | 0.7060375629867155 | 1284.4 | 1819.1666666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 0.7093766665236394 | 3857.5666666666666 | 5437.966666666666 |
| BASE/tictactoex9/BI26ow | 0.7131121263124148 | 593.1666666666666 | 831.8 |
| BASE/battlebrushes/arCwyA | 0.7134978965008834 | 66.92441007865618 | 93.79762772513419 |
| DRESDEN/Thief_Police/CX18rA | 0.7147300859431476 | 6525.533333333334 | 9130.066666666668 |
| DRESDEN/grid_game/U7_Yeg | 0.7167483824747577 | 1067.1666666666667 | 1488.9 |
| BASE/queens/HyJJnQ | 0.7177753520651777 | 493.9012197560488 | 688.1 |
| BASE/chickentoetictac/l57rfQ | 0.7209089419224314 | 4252.233333333334 | 5898.433333333333 |
| DRESDEN/tictactoex9/rFkD4w | 0.7221975358513432 | 595.9333333333333 | 825.1666666666666 |
| DRESDEN/Goldrush/VeWczQ | 0.7239653545430034 | 1432.1 | 1978.1333333333334 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.7247166352534146 | 6549.433333333333 | 9037.233333333334 |
| DRESDEN/kalaha_2009/gcC8uA | 0.7252378173030647 | 2360.866666666667 | 3255.3 |
| DRESDEN/doubletoetictac/V89gKQ | 0.7260737108039826 | 1302.8666666666666 | 1794.4 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.7278586864605844 | 1291.1 | 1773.8333333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 0.7282343561018129 | 7185.1 | 9866.466666666667 |
| BASE/circlesolitaire/azuQFQ | 0.7291881688304633 | 7159.266666666666 | 9818.133333333333 |
| STANFORD/alquerquezero/uVgA_A | 0.729613017628038 | 1165.8 | 1597.8333333333333 |
| BASE/kalaha6x2x4/XS81Mg | 0.7325447692864595 | 2293.5 | 3130.866666666667 |
| DRESDEN/queens/mW2wHQ | 0.7328799673010338 | 507.2995133657756 | 692.2 |
| BASE/mummyMaze2p_2007/YGA3Vw | 0.7359269039188622 | 1635.0333333333333 | 2221.733333333333 |
| BASE/doubletoetictac/fu35bg | 0.7387581922188128 | 1300.0666666666666 | 1759.8 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.7399881046788264 | 995.3333333333334 | 1345.0666666666666 |
| BASE/asteroids/BKCmPQ | 0.7418927353620327 | 8042.933333333333 | 10841.1 |
| BASE/doubletictactoe/HH1htg | 0.7431998206546107 | 1326.0666666666666 | 1784.2666666666667 |
| BASE/lightsOnParallel/SC6enA | 0.7441956086730079 | 3619.866666666667 | 4864.133333333333 |
| BASE/kalaha_2009/dRiN3g | 0.746985715022433 | 2414.133333333333 | 3231.8333333333335 |
| DRESDEN/bomberman2p/x4h6jQ | 0.748886714459732 | 1250.0666666666666 | 1669.2333333333333 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.7495888999392231 | 150.56666666666666 | 200.86565673381057 |
| BASE/endgame/jYjfOA | 0.7504004640716537 | 616.2333333333333 | 821.20595980134 |
| DRESDEN/chinesecheckers4/-oVNYg | 0.7507369916533476 | 704.5666666666667 | 938.5 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 0.7512104813443464 | 703.3333333333334 | 936.2666666666667 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 0.7535889908943029 | 6717.366666666667 | 8913.833333333334 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.7669163053475232 | 7004.4 | 9133.2 |
| DRESDEN/cube_2x2x2/fp-34Q | 0.7670414795137234 | 2521.7 | 3287.5666666666666 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 0.7749431210805595 | 713.9333333333333 | 921.2719152056529 |
| BASE/bomberman2p/4CClwA | 0.7784427658338176 | 1339.7 | 1721.0 |
| DRESDEN/catch_me/ghGWrA | 0.7793400004376655 | 7122.7 | 9139.4 |
| STANFORD/rainbow/_4qNSQ | 0.7793857919374476 | 9090.6 | 11663.8 |
| DRESDEN/knightthrough/J7Fc_Q | 0.7798891201747696 | 1261.3666666666666 | 1617.3666666666666 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.7861542658587715 | 3650.1666666666665 | 4643.066666666667 |
| BASE/duplicateStateMedium/U163eQ | 0.7895489004177647 | 7918.833333333333 | 10029.566666666668 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.7909313814217442 | 588.4333333333333 | 743.9752008266391 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 0.7952626690060894 | 2568.4333333333334 | 3229.6666666666665 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 0.7960465312301057 | 717.609413019566 | 901.4666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.7995125764473262 | 579.5666666666667 | 724.9 |
| BASE/knightsTourLarge/M8jgLA | 0.812672650226707 | 13699.466666666667 | 16857.3 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.8272198086759261 | 2576.9 | 3115.133333333333 |
| BASE/ticTacToeSerial/Amrwqw | 0.8337175238918503 | 1157.3666666666666 | 1388.2 |
| DRESDEN/blockerparallel/dVQgSg | 0.8401619496465336 | 903.2 | 1075.03083230559 |
| BASE/blockerParallel/7-nDJA | 0.8466070285896525 | 914.3333333333334 | 1079.9973334222193 |
| DRESDEN/sheep_and_wolf/enAIzQ | 0.8508711043242868 | 817.2333333333333 | 960.4666666666667 |
| DRESDEN/crossers3/xiPTxg | 0.8561625681048447 | 969.0333333333333 | 1131.8333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 0.8567991407089152 | 1994.2 | 2327.5 |
| STANFORD/knightstourbig/TQUI2g | 0.8623500073855884 | 13232.933333333332 | 15345.2 |
| BASE/max_knights/2fq3Ag | 0.863021596559925 | 1197.5 | 1387.5666666666666 |
| BASE/gt_tinfoil/Q8DyKg | 0.871108834968926 | 10489.166666666666 | 12041.166666666666 |
| BASE/sheepAndWolf/g4THrg | 0.8716758774446516 | 810.1666666666666 | 929.4356854771507 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.8863597557840617 | 459.6333333333333 | 518.5629540758515 |
| BASE/chinook/XQh0IQ | 0.8916801123046875 | 608.7 | 682.6439118696044 |
| STANFORD/bestbuttonsandlights/nm0wEA | 0.8935193817722252 | 11500.666666666666 | 12871.2 |
| BASE/crossers3/O0rORg | 0.8936704884561018 | 948.3333333333334 | 1061.1666666666667 |
| STANFORD/chinook/osFbPA | 0.8982121953815048 | 562.6812439585348 | 626.4457851404953 |
| BASE/blocker/dIWtxg | 0.9013004195171784 | 3587.866666666667 | 3980.766666666667 |
| DRESDEN/chinesecheckers2/06E6-Q | 0.9028426312771362 | 1469.4666666666667 | 1627.6 |
| DRESDEN/blocker/S815zQ | 0.9055344570087476 | 3536.866666666667 | 3905.8333333333335 |
| BASE/duplicateStateLarge/dcjyuw | 0.9160967793622816 | 4764.466666666666 | 5200.833333333333 |
| BASE/pacman2p/4LEdQg | 0.9203289386070048 | 921.4333333333333 | 1001.2 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.9225564582395716 | 474.63502433171124 | 514.4780247242678 |
| BASE/chineseCheckers6/rREH3A | 0.9453713787845786 | 1446.7333333333333 | 1530.3333333333333 |
| DRESDEN/hanoi/RQ0jiA | 0.9453746193764206 | 7347.766666666666 | 7772.333333333333 |
| BASE/racetrackcorridor/_RkdUg | 0.9489230908310167 | 1399.5666666666666 | 1474.9 |
| BASE/hanoi/iGLsJg | 0.9616677195198989 | 7611.6 | 7915.0 |
| DRESDEN/oisters_farm/pTQMLg | 0.9630337165777285 | 9107.666666666666 | 9457.266666666666 |
| DRESDEN/ghostmaze2p/HY0UwA | 0.9653455180203306 | 2507.0666666666666 | 2597.0666666666666 |
| DRESDEN/chinesecheckers3/QsCb2A | 0.9661129731861199 | 1306.7 | 1352.5333333333333 |
| DRESDEN/lightson2x2/gBHuig | 0.9778656791785895 | 5809.5 | 5941.0 |
| DRESDEN/statespacemedium/dVJZ_w | 0.9866633252339911 | 12073.733333333334 | 12236.933333333332 |
| BASE/untwistycomplex2/EDPPAQ | 0.9900639463403634 | 22682.2 | 22909.833333333332 |
| DRESDEN/max_knights/hCipiA | 0.9920890049726254 | 1316.7666666666667 | 1327.2666666666667 |
| BASE/ghostMaze2p/W-NU-w | 1.0046885988903649 | 2571.4 | 2559.4 |
| BASE/sudoku/NTaNkw | 1.0098360917415723 | 101.6130107311871 | 100.62327100623271 |
| BASE/stateSpaceMedium/3bUoIw | 1.0182871936524622 | 12140.766666666666 | 11922.733333333334 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.019340855999736 | 9265.366666666667 | 9089.566666666668 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.0202590477819835 | 4770.833333333333 | 4676.1 |
| DRESDEN/hanoi7/51zz5Q | 1.0237654852030282 | 6346.8 | 6199.466666666666 |
| STANFORD/untwistycorridor/EDPPAQ | 1.0284743984025417 | 23520.866666666665 | 22869.666666666668 |
| STANFORD/dualhunter/1rPZjQ | 1.033133961491192 | 2101.5666666666666 | 2034.1666666666667 |
| BASE/pacman3p/wW7UVQ | 1.0406535934719698 | 923.3025565814473 | 887.2333333333333 |
| BASE/hanoi7_bugfix/3gdnFw | 1.0436392838085577 | 6584.633333333333 | 6309.3 |
| DRESDEN/smallest_4player/ADDROA | 1.0464077373194431 | 3880.5333333333333 | 3708.4333333333334 |
| BASE/smallest_4player/ADDROA | 1.0522272012072251 | 3811.8333333333335 | 3622.633333333333 |
| BASE/copolymer_4_pie/IN5_jA | 1.0552824660386955 | 1452.6666666666667 | 1376.5666666666666 |
| DRESDEN/blocks2player/3ev8nQ | 1.0586865607622666 | 6911.0 | 6527.9 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.0642180522933173 | 1374.3666666666666 | 1291.4333333333334 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.0668339244434182 | 13706.433333333332 | 12847.766666666666 |
| STANFORD/multipletictactoe/_bkafQ | 1.06718083266553 | 655.7114762841238 | 614.4333333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.0718232333960074 | 13624.266666666666 | 12711.3 |
| BASE/coloredtrails/EZvr7g | 1.0871082016675424 | 2690.266666666667 | 2474.7 |
| STANFORD/dualrainbow/G3OnRQ | 1.090413161221846 | 4657.3 | 4271.133333333333 |
| BASE/blocks2player/wnTLOQ | 1.0919921492696811 | 6880.533333333334 | 6300.9 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1.09269270026084 | 6744.5 | 6172.366666666667 |
| BASE/copolymer_4/2LDVhQ | 1.1055883812187093 | 1634.1333333333334 | 1478.0666666666666 |
| DRESDEN/pacman3p/rBnk8Q | 1.109596489184046 | 952.3666666666667 | 858.3 |
| BASE/wallmaze/uxNQ9g | 1.1214120164022108 | 838.6666666666666 | 747.8666666666667 |
| BASE/merrills/pku8Tg | 1.121823072260299 | 200.9866008932738 | 179.16069464351187 |
| BASE/knightmove/jBaJEw | 1.134519465376892 | 1751.4333333333334 | 1543.7666666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 1.1420208909535192 | 1417.6666666666667 | 1241.3666666666666 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.1431840937639612 | 230.34363230343632 | 201.49303472638806 |
| DRESDEN/knightmove/97Ipcw | 1.1520399630297962 | 1745.0333333333333 | 1514.7333333333333 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.168805337620579 | 242.3 | 207.30569257432342 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 1.1713683623491433 | 14.474910155730068 | 12.35726575942437 |
| DRESDEN/knightwar/7hhAqg | 1.1717980867465405 | 1682.2333333333333 | 1435.6 |
| DRESDEN/merrills/aYEzwA | 1.1734836921318348 | 205.3 | 174.9491717494917 |
| BASE/catcha_mouse/cHv4dw | 1.1746977976486173 | 1418.8 | 1207.8 |
| BASE/stateSpaceLarge/0Ge_CQ | 1.1806175396142125 | 8456.566666666668 | 7162.833333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 1.1837573543239395 | 4406.3 | 3722.3 |
| BASE/aipsrovers01/4C4jsw | 1.18943441788382 | 4400.233333333334 | 3699.4333333333334 |
| DRESDEN/chinesecheckers6/yTbPDA | 1.2038646561830455 | 992.6666666666666 | 824.5666666666667 |
| BASE/lightsOnSimul4/9FeASw | 1.212227748242154 | 1413.7 | 1166.2 |
| BASE/roshambo2/KNPokQ | 1.2138317870353525 | 13344.866666666667 | 10994.0 |
| DRESDEN/statespacelarge/8-y5HQ | 1.2181883722127813 | 8673.866666666667 | 7120.3 |
| DRESDEN/gt_ultimatum/pAiiQw | 1.2248506659349474 | 7737.3 | 6316.933333333333 |
| DRESDEN/roshambo2/jgSlkQ | 1.2486138901192894 | 13624.666666666666 | 10911.833333333334 |
| BASE/checkers-mustjump/T-8UuQ | 1.2538784771072442 | 225.76666666666668 | 180.05466302246518 |
| DRESDEN/smallest/9kaGFw | 1.257326945316372 | 2536.866666666667 | 2017.6666666666667 |
| BASE/colonelBlottoVariant/X-n-KQ | 1.2586790527009393 | 6494.7 | 5159.933333333333 |
| BASE/hidato37/pBrqxw | 1.2616519545114349 | 110.68524196773764 | 87.73040898636712 |
| BASE/knightwar/DVGY4Q | 1.2632366788188993 | 1744.0666666666666 | 1380.6333333333334 |
| DRESDEN/checkers-mustjump/HUr33w | 1.2984856374356053 | 239.4840343977068 | 184.43333333333334 |
| DRESDEN/hallway/0H4l-Q | 1.2987367702287471 | 380.3873204226526 | 292.89023699210026 |
| BASE/gt_ultimatum/GE-uOA | 1.3090429967287422 | 8163.366666666667 | 6236.133333333333 |
| BASE/hallway/ckCJOw | 1.3101592028404534 | 381.3 | 291.03333333333336 |
| BASE/beatMania/qUHwvQ | 1.3337318777449998 | 7399.5 | 5547.966666666666 |
| BASE/blockerSerial/3eqDuw | 1.3914552226926875 | 1456.9 | 1047.0333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.4412262652045946 | 1844.4333333333334 | 1279.7666666666667 |
| BASE/mummymaze2p/vpjDdA | 1.4745325596389427 | 1143.5 | 775.5 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 1.4914889455086375 | 190.96030132328923 | 128.03333333333333 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 1.5176874301324983 | 193.7075056659112 | 127.63333333333334 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 1.5219024531218723 | 191.05542040190622 | 125.53723138430784 |
| DRESDEN/mummymaze2p/k-8edg | 1.5233408697965156 | 1145.4 | 751.9 |
| DRESDEN/firefighter/WJmoPw | 1.5276800288735226 | 6208.033333333334 | 4063.7 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 1.5365435933470872 | 189.8143518981435 | 123.53333333333333 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1.5559098661977055 | 14686.7 | 9439.3 |
| BASE/firefighter/WJmoPw | 1.5607591694415295 | 6296.466666666666 | 4034.233333333333 |
| DRESDEN/god/2EDD5w | 1.5609819600246058 | 108.68550859885349 | 69.6263706962637 |
| BASE/checkers-mustjump-torus/uSApKQ | 1.5927552803194849 | 175.52163189120725 | 110.2 |
| DRESDEN/nim1/M9BALA | 1.642848930127741 | 9525.566666666668 | 5798.2 |
| DRESDEN/pancakes88/aD3E7g | 1.664515479126657 | 17074.433333333334 | 10257.9 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 1.6714588836616426 | 186.44180775896547 | 111.54435779510764 |
| BASE/nim1/hin2Qw | 1.6732651451897207 | 9619.266666666666 | 5748.8 |
| BASE/colonelBlottoVariant2/jruwGw | 1.6988252977600602 | 6932.0 | 4080.4666666666667 |
| BASE/god/qF06gw | 1.7370995633169415 | 109.55571109555711 | 63.06818181818182 |
| BASE/pancakes88/l2Xaig | 1.7469916478644658 | 17653.7 | 10105.2 |
| DRESDEN/Runners/3bOCQw | 1.7753562027648349 | 15355.233333333334 | 8649.1 |
| DRESDEN/point_grab/r5DPmQ | 1.8022855764966261 | 13952.033333333333 | 7741.3 |
| BASE/point_grab/V_osUg | 1.803469750147977 | 14421.866666666667 | 7996.733333333334 |
| BASE/zhadu/DlA8iQ | 1.9132981771662432 | 21.967780588470244 | 11.481629392971247 |
| BASE/pancakes/yUgbXw | 1.9284528284143307 | 21873.733333333334 | 11342.633333333333 |
| DRESDEN/pancakes6/SZXMyQ | 1.941025557660648 | 21890.433333333334 | 11277.766666666666 |
| DRESDEN/pancakes/hl9aiQ | 1.9424797075122442 | 22527.066666666666 | 11597.066666666668 |
| BASE/pancakes6/QZTdnw | 1.9767295635146385 | 22006.666666666668 | 11132.866666666667 |
| BASE/nim2/eF2Qqw | 2.0745398039684435 | 8677.8 | 4183.0 |
| DRESDEN/nim2/z5_exA | 2.1119647497457916 | 8723.4 | 4130.466666666666 |
| DRESDEN/nim4/F5YAYg | 2.203409318136373 | 7346.166666666667 | 3334.0 |
| BASE/nim4/twk16w | 2.31597004653265 | 7515.4 | 3245.0333333333333 |
| BASE/nim3/1OwUqw | 2.328467376667891 | 7608.5 | 3267.6 |
| BASE/racer4/0vs7Ww | 2.34542080504511 | 863.6333333333333 | 368.2210592980234 |
| DRESDEN/nim3/sG_axA | 2.36607461302518 | 7739.666666666667 | 3271.1 |
| DRESDEN/small_dominion/yB5GJA | 3.47078341063621 | 132.57146664889717 | 38.1964101368677 |
| DRESDEN/fizzbuzz/t1xHzQ | 3.858093038075513 | 19373.8 | 5021.6 |
| BASE/cittaceot/fDxhXg | 4.133704219114219 | 985.1666666666666 | 238.32538915369489 |
| BASE/twisty-passages/DiZmmg | 4.294700441276307 | 6747.833333333333 | 1571.2 |
| DRESDEN/twisty-passages/j7NPyg | 4.369013054605674 | 6771.533333333334 | 1549.9 |
| BASE/golden_rectangle/_nYzfw | 4.759884196617336 | 300.1 | 63.04775234096438 |
| BASE/simultaneousWin2/PfjRjw | 5.18888550978209 | 1087.2 | 209.5247617143238 |
| BASE/gt_attrition/kD_SCA | 5.847314282704232 | 2158.366666666667 | 369.12102929902335 |
| BASE/gt_two_thirds_2p/1APDGg | 7.599374495560937 | 2510.8333333333335 | 330.4 |
| BASE/gt_two_thirds_4p/DStnxQ | 9.553913149054612 | 1105.7666666666667 | 115.73966074582597 |
| BASE/racer/QQYQNw | 10.08039758788812 | 2182.3333333333335 | 216.49278357388087 |
| DRESDEN/racer/vk_ZBA | 10.098903371015378 | 2203.0666666666666 | 218.14909854367315 |
| BASE/gt_two_thirds_6p/867v3Q | 13.292249713288458 | 592.2333333333333 | 44.554785390562515 |
| DRESDEN/golden_rectangle/1uloXw | 67.05899462143913 | 282.72390920302655 | 4.216047538425787 |
| BASE/queens06ug/7Lq3tw | 105.41775176366842 | 2653.1666666666665 | 25.168120380850922 |
| BASE/queens08ug/kJ_ZFQ | 191.64502499999998 | 1647.8 | 8.598188238906802 |
| BASE/colonelBlotto/jip21A | 465.5836950495049 | 3124.1 | 6.710071751262291 |
| BASE/queens08lg/Ru7eqQ | 14440.047731742277 | 348.25505816472787 | 0.024117306579201234 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/alexChess/LNo83g | Exception of type NullPointerException |