Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second |
| BASE/coins/QnGtnQ | 0.012642319562530148 | 43361.8 | 3429892.7333333334 |
| DRESDEN/coins/QwFP9w | 0.014439039664707819 | 47815.566666666666 | 3311547.566666667 |
| BASE/coins_atomic/AA3SSw | 0.014770985140267142 | 47407.066666666666 | 3209472.2333333334 |
| BASE/blocksWorldParallel/RseaAQ | 0.014863996354723543 | 48196.2 | 3242479.2666666666 |
| BASE/minichess/8NQEiA | 0.02688621493955805 | 82243.03333333334 | 3058929.4 |
| BASE/ad_game_2x2/D0aWqg | 0.03430531557557517 | 60572.066666666666 | 1765675.8333333333 |
| BASE/blocksWorldSerial/Wyg96Q | 0.03713050307929914 | 184912.2 | 4980061.8 |
| STANFORD/tictactoe3/X7myng | 0.03810056465080711 | 153563.53333333333 | 4030479.2 |
| DRESDEN/tictactoe-init1/3ltIBQ | 0.038718731472214385 | 143451.53333333333 | 3704964.7 |
| BASE/tictactoe-init1/7M19vA | 0.03940777124049681 | 149011.63333333333 | 3781275.3333333335 |
| STANFORD/tictactoe5/WFRReg | 0.04008973441851467 | 154450.83333333334 | 3852628.0 |
| DRESDEN/blocksworldparallel/2JfVaw | 0.05094264979761383 | 160414.03333333333 | 3148914.2 |
| STANFORD/3puzzle/41ibjA | 0.06340480888061824 | 336006.1 | 5299378.8 |
| BASE/gt_dollar/TGjqRw | 0.06600354225652118 | 248697.2 | 3767937.1666666665 |
| BASE/hodgepodge/9yjRkw | 0.06738135739401518 | 195328.33333333334 | 2898848.3 |
| STANFORD/threepuzzle/41ibjA | 0.07019795024402291 | 336593.4666666667 | 4794918.733333333 |
| STANFORD/tictactoe7/-bE9-A | 0.07110202180194 | 149442.93333333332 | 2101809.9 |
| DRESDEN/blocks/vg0DRw | 0.07240157110186551 | 326892.86666666664 | 4514996.866666666 |
| BASE/blocksWorld/SEdXLQ | 0.07388249486589601 | 328146.13333333336 | 4441459.833333333 |
| BASE/blocks/xIV5hQ | 0.07416300437086516 | 334031.13333333336 | 4504012.966666667 |
| STANFORD/sukoshi/4LYZZQ | 0.08519957645390577 | 134604.03333333333 | 1579867.4 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.08860081734204546 | 189470.03333333333 | 2138468.2333333334 |
| BASE/gt_centipede/9fRMpw | 0.09634883676650238 | 378842.73333333334 | 3931990.7333333334 |
| BASE/switches/tPUoCg | 0.09900213437382564 | 220003.83333333334 | 2222213.033333333 |
| BASE/ruleDepthLinear/OUBJpQ | 0.10298030523728326 | 467139.7 | 4536204.266666667 |
| BASE/pearls/6k_mEQ | 0.10661473605609863 | 719649.3333333334 | 6749998.733333333 |
| BASE/duplicateStateSmall/bCPAXw | 0.10991345745220708 | 457625.23333333334 | 4163505.033333333 |
| BASE/stateSpaceSmall/Q7osKA | 0.11322665654432397 | 467378.1666666667 | 4127810.3666666667 |
| BASE/maze/cCX3qQ | 0.1153978311059293 | 656680.6666666666 | 5690580.666666667 |
| BASE/troublemaker01/s3tlEQ | 0.11827176980358227 | 540830.9333333333 | 4572781.266666667 |
| DRESDEN/troublemaker01/C-lPWw | 0.11971900007420261 | 561519.4666666667 | 4690312.033333333 |
| DRESDEN/statespacesmall/h-NqjA | 0.12226990088944226 | 480628.6666666667 | 3930882.933333333 |
| BASE/troublemaker02/DI83KA | 0.12516719612610525 | 517468.3 | 4134216.6 |
| DRESDEN/troublemaker02/iZLVuA | 0.1259958411141327 | 525648.4333333333 | 4171950.6666666665 |
| BASE/onestep/xi53wA | 0.1287439215518564 | 368475.3 | 2862079.2 |
| BASE/haystack/UkweGA | 0.13756857184451737 | 666166.6333333333 | 4842433.3 |
| BASE/snake2p/I3wWPQ | 0.13810539147551074 | 94606.7 | 685032.6333333333 |
| DRESDEN/buttons/ADUaHw | 0.14744058953068342 | 612228.5 | 4152374.2 |
| BASE/buttons/hTcUjw | 0.15071788746584525 | 627658.9 | 4164461.9 |
| STANFORD/buttonsandlights/eyhJpA | 0.1745442108466542 | 717704.7333333333 | 4111879.3333333335 |
| BASE/survival/YVIjJA | 0.18142066688412065 | 497183.9 | 2740503.1 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1.2392154724388722 | 109843.23333333334 | 88639.33333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1.253743110414641 | 111581.96666666666 | 88999.06666666667 |
| BASE/quad/tw-Ufg | 2.5036606861208655 | 25.255824080121926 | 10.087558677630922 |
| DRESDEN/quad/JPe6fg | 2.5446464680793217 | 33.23896752706078 | 13.062312562479173 |
| STANFORD/knightstourmedium/x1wu8Q | 4.299570371098419 | 344129.3 | 80038.06666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 5.819039537196719 | 21257.533333333333 | 3653.1 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 5.827137378342198 | 21474.166666666668 | 3685.2 |
| BASE/wargame02/BkVqqQ | 6.068899206230343 | 33768.36666666667 | 5564.166666666667 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 6.080740930140061 | 21403.6 | 3519.9 |
| DRESDEN/pentago_2008/hLjVpQ | 6.249555269041829 | 12764.3 | 2042.4333333333334 |
| BASE/snakeParallel/RCVNtw | 6.530168115517446 | 154544.7 | 23666.266666666666 |
| BASE/pentago/86NgKw | 6.775149102083298 | 13669.766666666666 | 2017.6333333333334 |
| BASE/pentagoSuicide/SBgNhw | 6.829340968488339 | 13675.3 | 2002.4333333333334 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 7.24017595307918 | 20574.166666666668 | 2841.6666666666665 |
| DRESDEN/quad_7x7/q-JOXg | 7.269823404161405 | 629.1589033803567 | 86.5439046318804 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 7.282411975018975 | 21000.833333333332 | 2883.774415038997 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 7.291781728552845 | 21300.266666666666 | 2921.133333333333 |
| BASE/hanoi_6_disks/MeubgQ | 7.641438086184601 | 254281.33333333334 | 33276.63333333333 |
| DRESDEN/hanoi_6_disks/MeubgQ | 7.759236099752417 | 254584.93333333332 | 32810.566666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 7.990903044476387 | 24829.866666666665 | 3107.266666666667 |
| STANFORD/knightstour/cEwgNA | 7.997488118939054 | 332077.0333333333 | 41522.666666666664 |
| BASE/quad_7x7/q-JOXg | 8.013706397100515 | 626.3457884737176 | 78.15931323617488 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 8.037118429451962 | 25600.633333333335 | 3185.3 |
| BASE/minichess-evilconjuncts/4OpQzw | 8.23438998766729 | 12018.366666666667 | 1459.5333333333333 |
| DRESDEN/grid_game2/kypTYQ | 8.58090868847841 | 14215.133333333333 | 1656.6 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 8.702466005992164 | 12586.666666666666 | 1446.3333333333333 |
| DRESDEN/knightstour/cGISAA | 8.76527367000164 | 348919.8333333333 | 39807.066666666666 |
| BASE/knightsTour/mvtVIg | 8.81276665627974 | 348806.36666666664 | 39579.666666666664 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 8.84850747087949 | 26866.133333333335 | 3036.233333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 9.08070033586267 | 29199.9 | 3215.6 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 9.261755212422576 | 28311.333333333332 | 3056.8 |
| BASE/nonogram_5x5_1/qLKEZw | 10.042881008776448 | 58511.833333333336 | 5826.2 |
| BASE/battle/8oAvhQ | 10.105894091599191 | 2662.3 | 263.44032263440323 |
| DRESDEN/battle/8oAvhQ | 10.419468751076659 | 2688.133333333333 | 257.9914002866571 |
| DRESDEN/four_way_battle/xSOQXA | 10.67344106633122 | 7353.4 | 688.9437018766041 |
| BASE/snakeAssemblit/UO4sdg | 11.021508642511028 | 25399.066666666666 | 2304.5 |
| BASE/four_way_battle/xSOQXA | 11.085444562180907 | 7671.866666666667 | 692.0666666666667 |
| STANFORD/madness/UO_B3A | 11.308345692328434 | 8387.4 | 741.7 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 11.32105954339481 | 209195.06666666668 | 18478.4 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 12.172130722344702 | 31286.433333333334 | 2570.3333333333335 |
| DRESDEN/tpeg/h-Scbg | 12.185617025405504 | 25117.4 | 2061.233333333333 |
| BASE/numbertictactoe/rvJ-iQ | 12.192712146638245 | 62727.03333333333 | 5144.633333333333 |
| BASE/hitori/S8Gsyg | 12.267461955714072 | 9171.666666666666 | 747.6417452751575 |
| STANFORD/pentago/ZxzLmg | 12.354213199413865 | 28946.333333333332 | 2343.0333333333333 |
| BASE/tpeg/QNs7Lw | 12.36401728427393 | 25179.733333333334 | 2036.5333333333333 |
| DRESDEN/pawn_whopping/4ogBkg | 12.528511119815468 | 47977.933333333334 | 3829.5 |
| DRESDEN/hitori/S8Gsyg | 12.590049840599882 | 9346.433333333332 | 742.3666666666667 |
| BASE/pegEuro/5awwhg | 12.750068744271308 | 18547.1 | 1454.6666666666667 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 12.765807062692115 | 47621.566666666666 | 3730.4 |
| BASE/wargame03/klXI8w | 12.807300834914983 | 43411.2 | 3389.5666666666666 |
| DRESDEN/8puzzle/8fKC2w | 12.837234438613136 | 106891.8 | 8326.7 |
| BASE/ticTicToe/c1OobQ | 12.942328690070475 | 78231.2 | 6044.6 |
| STANFORD/8puzzle/jNiGtw | 13.101530724250106 | 109413.06666666667 | 8351.166666666666 |
| BASE/eightPuzzle/vLrgFg | 13.12942098599192 | 108880.1 | 8292.833333333334 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 13.224727514768285 | 185439.33333333334 | 14022.166666666666 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 13.248660422565889 | 60824.6 | 4591.0 |
| BASE/pawnWhopping/Ypc_6Q | 13.27982822443881 | 48550.166666666664 | 3655.9333333333334 |
| BASE/peg/fJHVWw | 13.312920979951915 | 22334.2 | 1677.6333333333334 |
| BASE/futoshiki4/BaCwSw | 13.323172415449077 | 36990.9 | 2776.4333333333334 |
| STANFORD/eightpuzzle/W_aWbA | 13.378954072046485 | 112744.0 | 8426.966666666667 |
| STANFORD/tictictoe/rpt_Dw | 13.384017038614687 | 81902.6 | 6119.433333333333 |
| DRESDEN/peg_bugfixed/u_B7MA | 13.440505633415773 | 22824.666666666668 | 1698.2 |
| DRESDEN/peg/Vo31eg | 13.473176624353922 | 22678.5 | 1683.2333333333333 |
| BASE/chineseCheckers1/gqtwHw | 13.54516601865769 | 145390.2 | 10733.733333333334 |
| BASE/eotcitcit/V_9_bg | 13.575628103399925 | 82294.1 | 6061.9 |
| DRESDEN/minichess/c7GMFw | 13.676199598613392 | 59967.4 | 4384.8 |
| BASE/ttcc4_2player/_aH_Mw | 13.787610855860668 | 34410.2 | 2495.733333333333 |
| STANFORD/skirmish/w4V6Vw | 13.814459411133628 | 7725.966666666666 | 559.2666666666667 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 13.888302204200306 | 190432.23333333334 | 13711.7 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 13.903262092238469 | 2472.0 | 177.8 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 14.003575155996714 | 21020.766666666666 | 1501.1 |
| DRESDEN/tictictoe/LAUtwg | 14.058812598717829 | 85745.16666666667 | 6099.033333333334 |
| BASE/cephalopodMicro/9l2D3g | 14.322115384615383 | 3177.6 | 221.86666666666667 |
| DRESDEN/CephalopodMicro/H3XQfg | 14.354891583257507 | 3155.1 | 219.79267357754742 |
| BASE/ttcc4_2player_small/Cv72TA | 14.69587775408671 | 62031.3 | 4221.0 |
| DRESDEN/satlike_20v_91c/yeuENQ | 14.926755279392044 | 22257.8 | 1491.1345153979469 |
| BASE/skirmishZeroSum/zh4hcw | 15.525223520198395 | 15859.533333333333 | 1021.5333333333333 |
| BASE/speedChess/bPnisA | 15.537112905169296 | 17192.333333333332 | 1106.5333333333333 |
| STANFORD/ttcc4/Cx9SGw | 15.610870624659576 | 36303.6 | 2325.5333333333333 |
| STANFORD/nineboardtictactoe/y28P-A | 15.694275416980974 | 31208.066666666666 | 1988.5 |
| BASE/skirmishNew/sibw2g | 15.8363441070208 | 16218.0 | 1024.1 |
| BASE/ticTacToeNoVars/XT03NA | 16.128013983261756 | 139328.3 | 8638.9 |
| DRESDEN/farmers/S_ASnw | 16.506018225232687 | 45162.666666666664 | 2736.133333333333 |
| BASE/amazonsTorus_10x10/Uxc08g | 16.544065110532113 | 20530.633333333335 | 1240.9666666666667 |
| BASE/ttcc4_2player_alt/ZEJvYA | 16.562278729456775 | 44442.666666666664 | 2683.366666666667 |
| BASE/strangeSkirmish/gc1zKA | 16.659452616880152 | 6892.666666666667 | 413.7390840610626 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 16.766135822807982 | 30531.133333333335 | 1821.0 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 16.805208550410033 | 15482.166666666666 | 921.2719152056529 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 17.105059834884266 | 123829.8 | 7239.366666666667 |
| STANFORD/pilgrimage/ObRZnQ | 17.166053378591492 | 38097.76666666667 | 2219.366666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 17.184781523511596 | 34425.7 | 2003.2666666666667 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 17.293043292509257 | 16190.9 | 936.2666666666667 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 17.369936266127777 | 37246.933333333334 | 2144.3333333333335 |
| BASE/futoshiki5/TJ4BZg | 17.421915533879837 | 16789.5 | 963.7 |
| BASE/blockerParallel/7-nDJA | 17.432604770428895 | 18827.166666666668 | 1079.9973334222193 |
| BASE/2pttc/unkkYA | 17.646432633849773 | 74982.63333333333 | 4249.166666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 17.670419284923515 | 37775.23333333333 | 2137.766666666667 |
| DRESDEN/blockerparallel/dVQgSg | 17.67319853755839 | 18999.233333333334 | 1075.03083230559 |
| BASE/blokbox_simple/JBx4bg | 17.738736336976807 | 129.16555585177287 | 7.281553398058253 |
| BASE/amazons_8x8/7SOsIw | 17.885133804707777 | 33305.1 | 1862.1666666666667 |
| DRESDEN/tttcc4/sAvtFg | 17.903412770366533 | 36861.933333333334 | 2058.9333333333334 |
| BASE/ticTacToe/JRFsaQ | 17.908822209565233 | 138349.23333333334 | 7725.2 |
| BASE/chomp/-LcqYQ | 17.961186897880538 | 77682.13333333333 | 4325.0 |
| BASE/skirmish/Y_psYQ | 17.996356275303643 | 7408.5 | 411.6666666666667 |
| DRESDEN/blobwars/ZaMluQ | 18.118504346522784 | 12759.833333333334 | 704.2431918936036 |
| DRESDEN/chomp/-LcqYQ | 18.162426782823584 | 77416.13333333333 | 4262.433333333333 |
| DRESDEN/eotcatcit/mQUxzA | 18.17824518274188 | 137043.36666666667 | 7538.866666666667 |
| BASE/eotcatcit/AfZSzA | 18.208499997755357 | 135199.93333333332 | 7425.1 |
| BASE/tttcc4/8Bs2lg | 18.26012954242273 | 37870.9 | 2073.9666666666667 |
| BASE/checkersTorus/2vm1EQ | 18.29954116643883 | 45067.5 | 2462.766666666667 |
| BASE/amazons_10x10/Bun8dA | 18.432097100472017 | 27334.8 | 1483.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 18.468407793943754 | 11974.3 | 648.3666666666667 |
| STANFORD/trifecta/ss1kyQ | 18.52358560783181 | 141027.46666666667 | 7613.4 |
| BASE/blobwars/0XT15Q | 18.54127153086898 | 12773.7 | 688.9333333333333 |
| BASE/2pffa_zerosum/o0_uZA | 18.544775803543462 | 73025.0 | 3937.766666666667 |
| STANFORD/freeforall/Lfp40Q | 18.54597334528715 | 71712.33333333333 | 3866.733333333333 |
| STANFORD/tictactoe/ss1kyQ | 18.57233986554907 | 138779.33333333334 | 7472.366666666667 |
| DRESDEN/capture_the_king/EQ229Q | 18.58224249359708 | 7577.333333333333 | 407.772815145657 |
| BASE/futoshiki6/JmvXNA | 18.663547896311943 | 9423.533333333333 | 504.91650278324056 |
| BASE/amazonsSuicide_10x10/XIbQkg | 18.693050325231084 | 27301.2 | 1460.5 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 18.72383199746889 | 142031.5 | 7585.6 |
| BASE/checkersBarrelNoKings/rnKNeg | 18.725868824098104 | 49069.26666666667 | 2620.4 |
| BASE/2pffa/6oHijA | 18.77143653045946 | 71878.33333333333 | 3829.133333333333 |
| DRESDEN/skirmishfinal/hzq8ww | 18.77481551080394 | 10503.533333333333 | 559.4480183993867 |
| BASE/ttcc4/Le0qjQ | 18.79115297366604 | 38104.7 | 2027.8 |
| DRESDEN/tictactoe/BTTzPw | 18.967909129588325 | 147117.0 | 7756.1 |
| BASE/chineseCheckers2/eCMR3Q | 18.978711989907207 | 107309.43333333333 | 5654.2 |
| BASE/checkersTorusNoKings/pwb6oQ | 19.00904252635827 | 50242.166666666664 | 2643.0666666666666 |
| BASE/3pttc/0sol9g | 19.070975275908605 | 66413.4 | 3482.4333333333334 |
| BASE/skirmishFinal2/gdB62Q | 19.072569907435415 | 10508.0 | 550.9483017232759 |
| BASE/tictactoe_orthogonal/WRzlVw | 19.17686565501259 | 143433.36666666667 | 7479.5 |
| BASE/duplicateStateLarge/dcjyuw | 19.200044864605033 | 99856.23333333334 | 5200.833333333333 |
| BASE/mineClearingSmall/frsbvw | 19.206098167980603 | 39872.5 | 2076.0333333333333 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 19.23306402394722 | 44119.36666666667 | 2293.9333333333334 |
| BASE/slidingpieces/uFJWEw | 19.27519058340246 | 16266.333333333334 | 843.9 |
| BASE/knightsTourLarge/M8jgLA | 19.31442164522195 | 325589.0 | 16857.3 |
| STANFORD/connectfour/VMpZkQ | 19.466069277833984 | 67342.86666666667 | 3459.5 |
| BASE/tictactoe_3d_2player/IUC1rQ | 19.470203805005564 | 13406.533333333333 | 688.5666666666667 |
| BASE/skirmishFinal3/-Olhfw | 19.611462312712387 | 11285.366666666667 | 575.4474850838305 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 19.672895787898224 | 5111.333333333333 | 259.81601226584894 |
| BASE/choicethroughalt/tt71Lg | 19.68354201917654 | 29082.433333333334 | 1477.5 |
| DRESDEN/slidingpieces/s9_44g | 19.715797460266753 | 16457.433333333334 | 834.7333333333333 |
| STANFORD/knightstourbig/TQUI2g | 19.731755424063117 | 302787.73333333334 | 15345.2 |
| BASE/tictactoe2/bhrDoQ | 19.87716066417464 | 184872.83333333334 | 9300.766666666666 |
| DRESDEN/knightfight/4_Ly4w | 19.932367648756536 | 109349.63333333333 | 5486.033333333334 |
| BASE/skirmishFinal1/ecWTnQ | 20.061456371625862 | 10652.633333333333 | 531.0 |
| STANFORD/rainbow/_4qNSQ | 20.218899501020253 | 235829.2 | 11663.8 |
| DRESDEN/connectfour/5tc-Mg | 20.27912541731797 | 70056.26666666666 | 3454.6 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 20.291950423701085 | 13781.833333333334 | 679.1773607546415 |
| BASE/tron_10x10/7ZTgDg | 20.31865932036368 | 109281.2 | 5378.366666666667 |
| BASE/nonogram_10x10_1/0Xc62g | 20.333537202740832 | 15693.733333333334 | 771.8152123191787 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 20.429965981363704 | 18416.933333333334 | 901.4666666666667 |
| BASE/englishDraughts/jFkQxg | 20.583990541575417 | 51069.566666666666 | 2481.0333333333333 |
| BASE/knightfight/SJRkAg | 20.652552879738515 | 109941.8 | 5323.4 |
| BASE/connectFour/WAIKTw | 20.670284687078684 | 70525.63333333333 | 3411.9333333333334 |
| BASE/connectFourSuicide/c8p9Kw | 20.724868239366767 | 71043.46666666666 | 3427.9333333333334 |
| BASE/connectFour_9x6/B9TtMw | 20.8216004782992 | 68491.26666666666 | 3289.4333333333334 |
| BASE/chickentictactoe/DSlZCA | 20.888029935441423 | 118527.73333333334 | 5674.433333333333 |
| DRESDEN/3pttc/uwYBZw | 20.925013109596225 | 77147.73333333334 | 3686.866666666667 |
| DRESDEN/Thief_Police/CX18rA | 21.017228789859146 | 191888.7 | 9130.066666666668 |
| DRESDEN/stratego/Z2wovg | 21.02970119074365 | 31201.066666666666 | 1483.6666666666667 |
| DRESDEN/quad_5x5/JAEP5g | 21.062098003753622 | 4109.9 | 195.1325076574777 |
| DRESDEN/connectfoursuicide/M9CNQg | 21.28320609927243 | 71278.16666666667 | 3349.0333333333333 |
| BASE/shmup/ssTNlg | 21.39907547941313 | 102923.13333333333 | 4809.7 |
| DRESDEN/catch_me/ghGWrA | 21.417802773340338 | 195745.86666666667 | 9139.4 |
| BASE/checkersTiny/Lr48cg | 21.475775703916405 | 44873.63333333333 | 2089.5 |
| BASE/quad_5x5/JAEP5g | 21.513901298906394 | 4059.564681177294 | 188.69495703151023 |
| BASE/connectFourLarge/aU644A | 21.565798504948148 | 57602.96666666667 | 2671.0333333333333 |
| DRESDEN/crisscross/GsY16g | 21.575881191568435 | 49541.1 | 2296.133333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 21.596089674296188 | 61266.666666666664 | 2836.9333333333334 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 21.7683834800508 | 198815.0 | 9133.2 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 21.800042048266985 | 197012.06666666668 | 9037.233333333334 |
| STANFORD/hunter/14dD-g | 21.8104258023247 | 172754.56666666668 | 7920.733333333334 |
| BASE/ticTacToeParallel/ymRGPw | 21.994795116873284 | 61978.4 | 2817.866666666667 |
| BASE/3pffa/pR0dzA | 22.38128206512934 | 69072.36666666667 | 3086.1666666666665 |
| DRESDEN/towerworld/HCX34w | 22.427660258541092 | 1348.6333333333334 | 60.1325915314655 |
| DRESDEN/pawntoqueen/f_x6Aw | 22.476852614052614 | 2249.0333333333333 | 100.05997600959616 |
| DRESDEN/chickentictactoe/Ipbo-g | 22.57120809660838 | 122363.03333333334 | 5421.2 |
| BASE/pawnToQueen/-O1_JA | 22.66947380645161 | 2342.2 | 103.31955739234769 |
| DRESDEN/sum15/CsgWKg | 22.769351590817557 | 169608.9 | 7449.0 |
| BASE/wargame01/_GZFZg | 22.80175333731819 | 49591.53333333333 | 2174.9 |
| BASE/sum15/QZ07Kg | 22.828245289223435 | 168922.16666666666 | 7399.7 |
| BASE/escortLatch/mX9BjQ | 22.857256158011133 | 49954.53333333333 | 2185.5 |
| BASE/crisscross/ICagEg | 23.049323810081376 | 52494.066666666666 | 2277.4666666666667 |
| DRESDEN/frogs_and_toads/GjchhQ | 23.103626943005178 | 57372.46666666667 | 2483.266666666667 |
| BASE/dualConnect4/WbCQkg | 23.13581279442889 | 45182.7 | 1952.9333333333334 |
| DRESDEN/amazons/dNB28A | 23.23624102979931 | 3819.6666666666665 | 164.38401812789496 |
| BASE/connectFourLarger/qKi60A | 23.32556403299525 | 42699.0 | 1830.5666666666666 |
| BASE/breakthroughSmallHoles/bxclRw | 23.482621116533746 | 52607.333333333336 | 2240.266666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 23.496044281078596 | 109093.7 | 4643.066666666667 |
| BASE/othello-comp2007/86ZoMw | 23.54239052725648 | 877.4 | 37.26894254787677 |
| BASE/4pttc/AL1k2Q | 23.54512041783538 | 56801.03333333333 | 2412.4333333333334 |
| BASE/skirmishHoles/AUCxCA | 23.55397438503761 | 7724.133333333333 | 327.93333333333334 |
| BASE/othelloSuicide/B442jg | 23.979446975088965 | 898.4 | 37.46541781940602 |
| DRESDEN/3pffa/0YrmQw | 24.00790821893608 | 77008.56666666667 | 3207.633333333333 |
| BASE/withConviction/3Xm54A | 24.123625610288574 | 40516.433333333334 | 1679.5333333333333 |
| BASE/tictactoex9/BI26ow | 24.43832652079827 | 20327.8 | 831.8 |
| BASE/max_knights/2fq3Ag | 24.45593004540322 | 33934.23333333333 | 1387.5666666666666 |
| STANFORD/duikoshi/tpw1sw | 24.564634540275453 | 55766.63333333333 | 2270.2 |
| DRESDEN/quartosuicide/WIU1oQ | 24.631848634531313 | 57845.433333333334 | 2348.4 |
| BASE/roshambo2/KNPokQ | 24.665335637620522 | 271170.7 | 10994.0 |
| BASE/checkersSmall/SYmq8w | 24.696984624957864 | 31751.266666666666 | 1285.6333333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 24.77034257360101 | 318824.0333333333 | 12871.2 |
| DRESDEN/mimikry/GJEhwA | 24.790678293078166 | 53543.73333333333 | 2159.8333333333335 |
| DRESDEN/tictactoex9/rFkD4w | 24.802100585740252 | 20465.866666666665 | 825.1666666666666 |
| BASE/connectFourSimultaneous/7ITr3g | 25.14285446150381 | 44652.03333333333 | 1775.9333333333334 |
| DRESDEN/max_knights/hCipiA | 25.255964639107944 | 33521.4 | 1327.2666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 25.2575040577388 | 19966.233333333334 | 790.5069831005633 |
| DRESDEN/roshambo2/jgSlkQ | 25.38192482167677 | 276963.3333333333 | 10911.833333333334 |
| BASE/quartoSuicide/-23jUg | 25.455630955818656 | 58768.566666666666 | 2308.6666666666665 |
| DRESDEN/4pttc/9pB9AQ | 25.57818254603683 | 63894.3 | 2498.0 |
| DRESDEN/quarto/OQzRYQ | 25.601487976238072 | 59760.7 | 2334.266666666667 |
| BASE/quarto/EwBMVQ | 25.71562595899519 | 58658.2 | 2281.0333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 25.80037401520131 | 92895.96666666666 | 3600.5666666666666 |
| BASE/checkers/rOC3Xg | 25.851774304176747 | 23870.666666666668 | 923.3666666666667 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 25.916824631195094 | 5205.8 | 200.86565673381057 |
| DRESDEN/endgame/IJhh3Q | 26.024846699052322 | 21786.266666666666 | 837.1333333333333 |
| BASE/untwistycomplex2/EDPPAQ | 26.483485257422213 | 606732.2333333333 | 22909.833333333332 |
| BASE/3pConnectFour/PqXOFQ | 26.509384847239346 | 51597.86666666667 | 1946.4 |
| DRESDEN/logistics/fPru1Q | 26.591610173347288 | 77927.6 | 2930.5333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 26.645098460436806 | 62016.46666666667 | 2327.5 |
| BASE/gt_tinfoil/Q8DyKg | 26.952344041967145 | 324537.6666666667 | 12041.166666666666 |
| STANFORD/breakthrough/d5j0cQ | 27.01096519903611 | 48199.26666666667 | 1784.4333333333334 |
| STANFORD/untwistycorridor/EDPPAQ | 27.07362736667201 | 619164.8333333334 | 22869.666666666668 |
| DRESDEN/Zhadu/9zpQ5w | 27.192835641180015 | 15055.766666666666 | 553.6666666666666 |
| BASE/rubiksCube/9tNO9Q | 27.210927717700628 | 39841.333333333336 | 1464.1666666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 27.246644682733447 | 350058.5333333333 | 12847.766666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 27.25416300506703 | 242939.06666666668 | 8913.833333333334 |
| DRESDEN/sheep_and_wolf/enAIzQ | 27.26358714513778 | 26185.766666666666 | 960.4666666666667 |
| BASE/circlesolitaire/azuQFQ | 27.318706203487427 | 268218.7 | 9818.133333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 27.34206774461644 | 269769.6 | 9866.466666666667 |
| DRESDEN/cube_2x2x2/fp-34Q | 27.557808713638252 | 90598.13333333333 | 3287.5666666666666 |
| BASE/solitaireChineseCheckers/-ET6gw | 27.69240763464255 | 89519.4 | 3232.633333333333 |
| BASE/qyshinsu/R08Lzw | 27.71102045466973 | 22522.766666666666 | 812.7729075697476 |
| BASE/othelloHoles/c0qAzw | 27.788765065502183 | 1059.3333333333333 | 38.12092156079371 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 27.822273620059843 | 353657.26666666666 | 12711.3 |
| BASE/breakthroughSuicideSmall/XSbJog | 28.607483258847864 | 65931.66666666667 | 2304.7 |
| BASE/tictactoe_3player/GtM71g | 28.705740036198428 | 51810.03333333333 | 1804.8666666666666 |
| BASE/4pffa/Q3ADlg | 28.771081968204992 | 63402.833333333336 | 2203.7 |
| BASE/kalaha5x2x3/WviNsw | 29.11567181571563 | 104106.96666666666 | 3575.633333333333 |
| DRESDEN/latenttictactoe/kITHKg | 29.12104594238373 | 82486.33333333333 | 2832.5333333333333 |
| BASE/sheepAndWolf/g4THrg | 29.160741035480324 | 27103.033333333333 | 929.4356854771507 |
| BASE/knightThrough/gcwFjA | 29.35910965931696 | 46736.76666666667 | 1591.9 |
| DRESDEN/connect5/1kYzSg | 29.442530472448876 | 19485.066666666666 | 661.8 |
| BASE/biddingTicTacToe/8mESVw | 29.456971578355517 | 123991.26666666666 | 4209.233333333334 |
| DRESDEN/chinesecheckers2/06E6-Q | 29.565106086671584 | 48120.166666666664 | 1627.6 |
| DRESDEN/checkers/jIDMIg | 29.599687922077923 | 18232.8 | 615.9794673510883 |
| DRESDEN/cubicup/SBn_lw | 29.629560377440534 | 22713.033333333333 | 766.5666666666667 |
| DRESDEN/tictactoe_3player/ESLQQQ | 29.67128199260022 | 51859.46666666667 | 1747.8 |
| DRESDEN/toetictac/mJtxCA | 29.72919107615761 | 246970.3 | 8307.333333333334 |
| BASE/breakthroughSmall/HJ0tIA | 30.0378237266012 | 67503.0 | 2247.266666666667 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 30.20237855123273 | 274526.5333333333 | 9089.566666666668 |
| DRESDEN/smallest_4player/ADDROA | 30.247373104545495 | 112170.36666666667 | 3708.4333333333334 |
| DRESDEN/kalaha_2009/gcC8uA | 30.301344474139604 | 98639.96666666666 | 3255.3 |
| BASE/cubicup/4wNWJA | 30.346478211925447 | 22703.466666666667 | 748.1417286090464 |
| BASE/connect5/d-BVQg | 30.466936838983887 | 20548.933333333334 | 674.4666666666667 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 30.510783725529407 | 608.5927604826345 | 19.9468085106383 |
| BASE/lightsOn/MsXu3A | 30.55539186003763 | 376776.5 | 12330.933333333332 |
| DRESDEN/backgammon/mqCW0Q | 30.686218833871404 | 26297.066666666666 | 856.9666666666667 |
| BASE/lightsOnSimul4/9FeASw | 30.68950437317784 | 35790.1 | 1166.2 |
| STANFORD/dualrainbow/G3OnRQ | 30.708336585137435 | 131159.4 | 4271.133333333333 |
| DRESDEN/connect4/T0-rHQ | 30.797548420590232 | 25705.0 | 834.6443570428638 |
| DRESDEN/knightthrough/J7Fc_Q | 30.83170173739206 | 49866.166666666664 | 1617.3666666666666 |
| BASE/breakthroughSuicide/wZDpIg | 30.888370921002895 | 49032.2 | 1587.4 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 30.903555873366702 | 79231.56666666667 | 2563.8333333333335 |
| BASE/kalaha6x2x4/XS81Mg | 30.963662883546622 | 96943.1 | 3130.866666666667 |
| BASE/hidato19/rRHSmA | 30.97956504095563 | 30255.7 | 976.6341121962602 |
| DRESDEN/bidding-tictactoe/yW5vTA | 31.034610395773353 | 130796.4 | 4214.533333333334 |
| BASE/toetictac/mTThmg | 31.068712209290634 | 257428.1 | 8285.766666666666 |
| BASE/breakthroughHoles/nZk0Sg | 31.133426573426576 | 44520.8 | 1430.0 |
| DRESDEN/statespacelarge/8-y5HQ | 31.139642992570536 | 221723.6 | 7120.3 |
| BASE/gt_staghunt/xPjLRA | 31.249315130432525 | 400434.9 | 12814.197633727712 |
| BASE/crissrace/ERWGDA | 31.284422449668206 | 46358.3 | 1481.8333333333333 |
| BASE/stateSpaceLarge/0Ge_CQ | 31.286883681969428 | 224102.73333333334 | 7162.833333333333 |
| BASE/smallest_4player/ADDROA | 31.296957093826773 | 113377.4 | 3622.633333333333 |
| BASE/ticTacToeLargeSuicide/727_8g | 31.382267657992568 | 112557.73333333334 | 3586.6666666666665 |
| DRESDEN/battlesnakes1509/-qZrLw | 31.40931924476009 | 60442.0 | 1924.3333333333333 |
| DRESDEN/crissrace/KWb9bw | 31.428023957592313 | 45651.3 | 1452.5666666666666 |
| DRESDEN/tictactoelarge/IwXcbg | 31.45082828733804 | 112710.33333333333 | 3583.7 |
| BASE/ticTacToeLarge/TZC0dg | 31.698240122231848 | 113413.13333333333 | 3577.9 |
| BASE/kalaha_2009/dRiN3g | 31.756206487545764 | 102630.76666666666 | 3231.8333333333335 |
| DRESDEN/babel/WdSW4A | 31.798656804465217 | 70074.7 | 2203.7 |
| DRESDEN/battlebrushes/QHXV4A | 31.901280260303686 | 10784.4 | 338.0553981533949 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 32.00058829600578 | 103351.23333333334 | 3229.6666666666665 |
| BASE/connect4/50bOyw | 32.00292848352809 | 26929.566666666666 | 841.4719509349688 |
| BASE/double_tictactoe_dengji/zgaSbA | 32.11341247135885 | 82690.96666666666 | 2574.9666666666667 |
| DRESDEN/breakthrough/z4hK7Q | 32.32325206014782 | 50730.26666666667 | 1569.4666666666667 |
| BASE/gt_chicken/gmepTQ | 32.41250502996802 | 408112.3333333333 | 12591.2 |
| BASE/checkLines/Vop7oQ | 32.432212808790844 | 103104.16666666667 | 3179.0666666666666 |
| DRESDEN/chinesecheckers4/-oVNYg | 32.45174924524951 | 30455.966666666667 | 938.5 |
| BASE/incredible/8Qh-6Q | 32.554931272523206 | 160499.06666666668 | 4930.1 |
| BASE/gt_coordination/IVMOzA | 32.60032509740285 | 422468.9666666667 | 12959.041525028328 |
| BASE/breakthroughWalls/vOZaYA | 32.62210560137089 | 50765.433333333334 | 1556.1666666666667 |
| BASE/lightsOnSimultaneous/_VN6lw | 32.6351418227281 | 41765.36666666667 | 1279.7666666666667 |
| BASE/gt_prisoner/klthDw | 32.7607662634848 | 417563.26666666666 | 12745.833333333334 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 32.76590514837041 | 178179.9 | 5437.966666666666 |
| BASE/slaughter/cOch8A | 32.827085871867915 | 4992.833333333333 | 152.09493016899438 |
| DRESDEN/lightsout2/LFtfyQ | 32.85853850373084 | 105834.06666666667 | 3220.9 |
| DRESDEN/gt_chicken/CeuKtw | 32.884595315862086 | 405851.7 | 12341.696654671465 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 32.899133815176164 | 116223.86666666667 | 3532.733333333333 |
| BASE/mummymaze1p/PT_EXA | 32.988094310906774 | 89948.6367575495 | 2726.7 |
| BASE/conn4/va9Y7A | 33.00756143667297 | 40742.333333333336 | 1234.3333333333333 |
| DRESDEN/ticblock/Z2yNWQ | 33.194260936684145 | 97478.26666666666 | 2936.6 |
| BASE/ticblock/T21C1g | 33.208685626441195 | 97930.2 | 2948.9333333333334 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 33.291061225363265 | 51855.26666666667 | 1557.6333333333334 |
| BASE/breakthrough/TGxk-g | 33.373930647162545 | 51105.5 | 1531.3 |
| BASE/endgame/jYjfOA | 33.47455004667776 | 27489.5 | 821.20595980134 |
| DRESDEN/brain_teaser_extended/ZDp94A | 33.57009246168002 | 199446.63333333333 | 5941.2 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 33.71531448627132 | 105027.7 | 3115.133333333333 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 33.75951501004993 | 52067.3 | 1542.3 |
| DRESDEN/mummymaze1p/AekgaQ | 33.77371842040716 | 91796.96666666666 | 2718.0 |
| DRESDEN/cylinder-checkers/clOO3Q | 33.983839965829 | 15912.366666666667 | 468.23333333333335 |
| DRESDEN/battlesnakes2011/93VtTw | 34.086476654658476 | 64341.63333333333 | 1887.6 |
| BASE/lightsOut/5P1ZBw | 34.12229560464587 | 104881.7 | 3073.7 |
| DRESDEN/checkers-newgoals/IJOqXQ | 34.136411603427675 | 18412.566666666666 | 539.3820205993134 |
| DRESDEN/lightson2x2/gBHuig | 34.38928912079896 | 204306.76666666666 | 5941.0 |
| DRESDEN/lightsout/XgLpzQ | 34.57868207791079 | 106103.53333333334 | 3068.4666666666667 |
| BASE/cylinder-checkers/hlldmw | 34.593957444335985 | 16537.666666666668 | 478.0507316422786 |
| DRESDEN/Goldrush/VeWczQ | 34.689741170126716 | 68620.93333333333 | 1978.1333333333334 |
| BASE/brain_teaser_extended/ZDp94A | 34.743359320423615 | 207226.76666666666 | 5964.5 |
| DRESDEN/gt_prisoner/huCp4w | 34.791382334002265 | 401254.115843498 | 11533.146685331467 |
| BASE/duplicateStateMedium/U163eQ | 34.80693416465317 | 349098.4666666667 | 10029.566666666668 |
| STANFORD/alquerquezero/uVgA_A | 34.8254719933243 | 55645.3 | 1597.8333333333333 |
| BASE/knightmove/jBaJEw | 34.866970397080735 | 53826.46666666667 | 1543.7666666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 34.941265240746596 | 427573.93333333335 | 12236.933333333332 |
| BASE/checkers-newgoals/0XkFiA | 34.97684660878319 | 18530.733333333334 | 529.8 |
| DRESDEN/chinesecheckers3/QsCb2A | 35.25140477129337 | 47678.7 | 1352.5333333333333 |
| BASE/blocker/dIWtxg | 35.48704185960828 | 141265.63333333333 | 3980.766666666667 |
| BASE/wallmaze/uxNQ9g | 35.940229987520055 | 26878.5 | 747.8666666666667 |
| BASE/cubicup_3player/e2yA_g | 36.00428975333919 | 12309.866666666667 | 341.9 |
| BASE/chineseCheckers4/avfBcQ | 36.20092241982664 | 67240.8 | 1857.4333333333334 |
| DRESDEN/blocker/S815zQ | 36.515382974183915 | 142623.0 | 3905.8333333333335 |
| DRESDEN/knightmove/97Ipcw | 36.63423704942564 | 55491.1 | 1514.7333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 36.67962603653525 | 437321.4 | 11922.733333333334 |
| BASE/knightazons/apnJBQ | 36.934819362875956 | 27671.566666666666 | 749.2 |
| BASE/lightsOnParallel/SC6enA | 37.03495655272608 | 180142.96666666667 | 4864.133333333333 |
| DRESDEN/knightazons/02I8BQ | 37.62858658649807 | 28370.7 | 753.9666666666667 |
| DRESDEN/cubicup_3player/awDtsQ | 37.82552057633475 | 12776.2 | 337.76666666666665 |
| STANFORD/dualhunter/1rPZjQ | 37.83582138467841 | 76964.36666666667 | 2034.1666666666667 |
| BASE/ticTacHeaven/18n58A | 37.83680676834711 | 32498.033333333333 | 858.9 |
| STANFORD/triplesukoshi/Iu9mbA | 38.27732006417054 | 46924.166666666664 | 1225.9 |
| DRESDEN/Runners/3bOCQw | 38.34645223202414 | 331662.3 | 8649.1 |
| BASE/ticTacHeavenFC/mrletw | 38.58568117696711 | 32506.066666666666 | 842.4385853804873 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 38.995965298717586 | 182349.03333333333 | 4676.1 |
| DRESDEN/oisters_farm/pTQMLg | 39.15408609957775 | 370290.63333333336 | 9457.266666666666 |
| BASE/chineseCheckers6/rREH3A | 39.72541929862775 | 60793.13333333333 | 1530.3333333333333 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 39.927264061696654 | 20704.8 | 518.5629540758515 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 39.9413657086154 | 377018.5333333333 | 9439.3 |
| DRESDEN/brawl/2kXtfQ | 40.043840049180325 | 16282.866666666667 | 406.62600406626007 |
| BASE/tictactoe_3d_small_6player/g_9lww | 40.305868573775385 | 29986.566666666666 | 743.9752008266391 |
| BASE/chickentoetictac/l57rfQ | 40.49036184749623 | 238829.7 | 5898.433333333333 |
| DRESDEN/skirmish3/3LU8Nw | 40.7276873261276 | 29767.866666666665 | 730.9 |
| BASE/factoringGeorgeForman/HGRorQ | 40.750423880411276 | 349296.3333333333 | 8571.6 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 40.902714603194376 | 65644.76666666666 | 1604.9 |
| BASE/coloredtrails/EZvr7g | 41.04935278350238 | 101584.83333333333 | 2474.7 |
| BASE/brawl/6Ymo_Q | 41.24555995081188 | 16396.766666666666 | 397.5401639890674 |
| BASE/dotsAndBoxes/EHwA_w | 41.80252172431419 | 65423.73333333333 | 1565.0666666666666 |
| BASE/catcha_mouse/cHv4dw | 41.94919136722415 | 50666.23333333333 | 1207.8 |
| BASE/blocks2player/wnTLOQ | 42.07743338253266 | 265125.7 | 6300.9 |
| DRESDEN/chickentoetictac/cxYaRQ | 42.17398534140618 | 242633.96666666667 | 5753.166666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 42.403136064744565 | 30738.033333333333 | 724.9 |
| DRESDEN/skirmish/RjGQYQ | 42.55586917562724 | 31661.566666666666 | 744.0 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 42.66907223445595 | 21952.3 | 514.4780247242678 |
| BASE/pacman2p/4LEdQg | 42.69469969370089 | 42745.933333333334 | 1001.2 |
| DRESDEN/blocks2player/3ev8nQ | 42.81452943008727 | 279488.9666666667 | 6527.9 |
| DRESDEN/bunk_t/7-tPfA | 43.68155380141254 | 77103.76666666666 | 1765.1333333333334 |
| BASE/doubletoetictac/fu35bg | 43.745804447475095 | 76983.86666666667 | 1759.8 |
| DRESDEN/hanoi/RQ0jiA | 43.82767079813012 | 340643.26666666666 | 7772.333333333333 |
| BASE/hanoi/iGLsJg | 43.92119604127185 | 347636.26666666666 | 7915.0 |
| STANFORD/selectivesukoshi/3xmXYg | 43.981084169099915 | 11547.966666666667 | 262.56666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 44.02747436469014 | 79002.9 | 1794.4 |
| DRESDEN/catcha_mouse/cHv4dw | 44.13023280792675 | 54781.8 | 1241.3666666666666 |
| BASE/bunk_t/xbpfIA | 44.19215758131012 | 80392.9 | 1819.1666666666667 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 44.26957771609834 | 59545.53333333333 | 1345.0666666666666 |
| BASE/racetrackcorridor/_RkdUg | 44.41110131760345 | 65501.933333333334 | 1474.9 |
| DRESDEN/smallest/9kaGFw | 45.35318024120271 | 91507.6 | 2017.6666666666667 |
| BASE/doubletictactoe/HH1htg | 45.64046853982962 | 81434.76666666666 | 1784.2666666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 45.76290519590341 | 81175.76666666666 | 1773.8333333333333 |
| BASE/queens/HyJJnQ | 45.937073099840134 | 31609.3 | 688.1 |
| STANFORD/multipletictactoe/_bkafQ | 46.604676395594865 | 28635.466666666667 | 614.4333333333333 |
| DRESDEN/nim1/M9BALA | 46.89492716130294 | 271906.1666666667 | 5798.2 |
| DRESDEN/racetrackcorridor/O0DoTA | 46.95826342823219 | 60643.46666666667 | 1291.4333333333334 |
| DRESDEN/skirmish2/iPpWhQ | 47.11522183604247 | 35650.9 | 756.6747775074164 |
| DRESDEN/chinesecheckers6/yTbPDA | 47.15013946719489 | 38878.433333333334 | 824.5666666666667 |
| DRESDEN/queens/mW2wHQ | 47.441009342193965 | 32838.666666666664 | 692.2 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 47.49475768872321 | 108718.66666666667 | 2289.0666666666666 |
| BASE/nim1/hin2Qw | 47.604340616012614 | 273667.8333333333 | 5748.8 |
| BASE/pacman3p/wW7UVQ | 48.50163429387234 | 43032.26666666667 | 887.2333333333333 |
| DRESDEN/knightwar/7hhAqg | 48.71955976595152 | 69941.8 | 1435.6 |
| DRESDEN/pacman3p/rBnk8Q | 49.15588954910871 | 42190.5 | 858.3 |
| BASE/asteroidsParallel/WauZiA | 49.201318672275995 | 318886.86666666664 | 6481.266666666666 |
| BASE/beatMania/qUHwvQ | 49.24593394576992 | 273214.8 | 5547.966666666666 |
| BASE/mummyMaze2p_2007/YGA3Vw | 49.478560283262325 | 109928.16666666667 | 2221.733333333333 |
| BASE/asteroids/BKCmPQ | 49.83299665163129 | 540244.5 | 10841.1 |
| BASE/knightwar/DVGY4Q | 49.8653033631908 | 68845.7 | 1380.6333333333334 |
| BASE/colonelBlottoVariant/X-n-KQ | 50.29636687812504 | 259525.9 | 5159.933333333333 |
| BASE/point_grab/V_osUg | 50.400667263766906 | 403040.695930407 | 7996.733333333334 |
| BASE/bomberman2p/4CClwA | 50.48682936277358 | 86887.83333333333 | 1721.0 |
| DRESDEN/ghostmaze2p/HY0UwA | 51.06621573056782 | 132622.36666666667 | 2597.0666666666666 |
| DRESDEN/hanoi7/51zz5Q | 51.23942382140399 | 317657.1 | 6199.466666666666 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 51.35790161526373 | 316999.8 | 6172.366666666667 |
| BASE/ghostMaze2p/W-NU-w | 51.36426506212394 | 131461.7 | 2559.4 |
| BASE/asteroidsSerial/id2QkA | 51.45045010897375 | 271478.3 | 5276.5 |
| DRESDEN/point_grab/r5DPmQ | 52.14189261924138 | 403646.0333333333 | 7741.3 |
| BASE/snake_2008/i6K26g | 52.16226827488661 | 85228.56666666667 | 1633.912202926569 |
| BASE/hanoi7_bugfix/3gdnFw | 52.87700167477638 | 333616.86666666664 | 6309.3 |
| DRESDEN/gt_ultimatum/pAiiQw | 52.88002617303754 | 334039.6 | 6316.933333333333 |
| DRESDEN/bomberman2p/x4h6jQ | 52.961878706791545 | 88405.73333333334 | 1669.2333333333333 |
| BASE/snake_2008_tweaked/bX0NJQ | 53.18301082974995 | 89049.63333333333 | 1674.4 |
| BASE/aipsrovers01/4C4jsw | 53.28305235937035 | 197117.1 | 3699.4333333333334 |
| STANFORD/platformjumpers/HEQskA | 53.29149085794656 | 30312.2 | 568.8 |
| DRESDEN/grid_game/U7_Yeg | 53.95392571697226 | 80332.0 | 1488.9 |
| DRESDEN/nim4/F5YAYg | 54.1873025394921 | 180660.46666666667 | 3334.0 |
| DRESDEN/aipsrovers01/qS47Mw | 54.7056479416848 | 203630.83333333334 | 3722.3 |
| DRESDEN/snake_2008/E56l3A | 55.3026402640264 | 89369.06666666667 | 1616.0 |
| DRESDEN/guess/PhxGhg | 55.41890787952088 | 174120.66666666666 | 3141.9 |
| BASE/gt_ultimatum/GE-uOA | 55.519814628722926 | 346228.9666666667 | 6236.133333333333 |
| DRESDEN/nim3/sG_axA | 55.87775773694884 | 182781.73333333334 | 3271.1 |
| DRESDEN/firefighter/WJmoPw | 56.03301588864008 | 227701.36666666667 | 4063.7 |
| BASE/nim4/twk16w | 56.1233680188185 | 182122.2 | 3245.0333333333333 |
| BASE/firefighter/WJmoPw | 56.372941575020455 | 227421.6 | 4034.233333333333 |
| BASE/amazons/RKKZjw | 56.486959213759214 | 766.0333333333333 | 13.561242169798748 |
| BASE/guess/SPpk1A | 56.52646620017231 | 179335.86666666667 | 3172.6 |
| BASE/chess_200/XsTpYA | 56.54272690681549 | 7429.466666666666 | 131.39562014599514 |
| BASE/nim3/1OwUqw | 56.82739625413148 | 185689.2 | 3267.6 |
| BASE/amazonsSuicide/dE1QEQ | 56.83325057471264 | 768.7333333333333 | 13.526119402985074 |
| BASE/nim2/eF2Qqw | 57.99693202645629 | 242601.16666666666 | 4183.0 |
| BASE/colonelBlottoVariant2/jruwGw | 58.02102700671492 | 236752.86666666667 | 4080.4666666666667 |
| STANFORD/chinook/osFbPA | 58.110801493384415 | 36403.26666666667 | 626.4457851404953 |
| BASE/chinook/XQh0IQ | 58.47602140136719 | 39918.3 | 682.6439118696044 |
| DRESDEN/pancakes/hl9aiQ | 58.55289268550668 | 679041.8 | 11597.066666666668 |
| BASE/copolymer_4_pie/IN5_jA | 58.83592028476645 | 80991.56666666667 | 1376.5666666666666 |
| DRESDEN/nim2/z5_exA | 59.02935100150105 | 243818.76666666666 | 4130.466666666666 |
| BASE/pancakes/yUgbXw | 60.370122752212154 | 684756.1666666666 | 11342.633333333333 |
| DRESDEN/snake_2009/zIYLVw | 60.47426776749387 | 84722.43333333333 | 1400.9666666666667 |
| BASE/pancakes6/QZTdnw | 61.358934206823044 | 683100.8333333334 | 11132.866666666667 |
| DRESDEN/pancakes6/SZXMyQ | 61.53573845885562 | 693985.7 | 11277.766666666666 |
| BASE/snake_2009/7l-qAQ | 61.633885196374614 | 85003.4 | 1379.1666666666667 |
| DRESDEN/pancakes88/aD3E7g | 62.41221887520838 | 640218.3 | 10257.9 |
| BASE/hex/T1MK8g | 63.363348400780524 | 24893.8 | 392.87380841277246 |
| STANFORD/hex/MTqWcw | 63.67322540473225 | 25564.8 | 401.5 |
| BASE/pancakes88/l2Xaig | 63.988144717571146 | 646613.0 | 10105.2 |
| BASE/racer4/0vs7Ww | 64.04802967623185 | 23583.833333333332 | 368.2210592980234 |
| DRESDEN/twisty-passages/j7NPyg | 64.61283523668193 | 100143.43333333333 | 1549.9 |
| BASE/tictactoe_3d_6player/d7KSwg | 64.92376788853163 | 13459.066666666668 | 207.30569257432342 |
| BASE/twisty-passages/DiZmmg | 64.92922606924644 | 102016.8 | 1571.2 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 65.5175666556401 | 13201.333333333334 | 201.49303472638806 |
| DRESDEN/crossers3/xiPTxg | 65.83269032543072 | 74511.63333333333 | 1131.8333333333333 |
| BASE/hexPie/48CH6Q | 66.52244370224841 | 23700.366666666665 | 356.2762482501167 |
| BASE/copolymer_4/2LDVhQ | 66.6685084118894 | 98540.5 | 1478.0666666666666 |
| BASE/crossers3/O0rORg | 69.86747290717764 | 74141.03333333334 | 1061.1666666666667 |
| BASE/ticTacToeSerial/Amrwqw | 70.09016472170197 | 97299.16666666667 | 1388.2 |
| BASE/hallway/ckCJOw | 72.80277173290573 | 21188.033333333333 | 291.03333333333336 |
| DRESDEN/small_dominion/yB5GJA | 73.99910069747166 | 2826.5 | 38.1964101368677 |
| DRESDEN/hallway/0H4l-Q | 74.83030807632487 | 21917.066666666666 | 292.89023699210026 |
| BASE/blockerSerial/3eqDuw | 80.16229983126931 | 83932.6 | 1047.0333333333333 |
| BASE/hidato37/pBrqxw | 81.37847240374873 | 7139.366666666667 | 87.73040898636712 |
| BASE/mummymaze2p/vpjDdA | 82.10719965613582 | 63674.13333333333 | 775.5 |
| DRESDEN/mummymaze2p/k-8edg | 82.74752848339762 | 62217.86666666667 | 751.9 |
| DRESDEN/checkers-mustjump/HUr33w | 84.2936923911079 | 15546.566666666668 | 184.43333333333334 |
| BASE/checkers-mustjump/T-8UuQ | 86.95174234234234 | 15656.066666666668 | 180.05466302246518 |
| DRESDEN/snake_2009_big/DgC1NQ | 91.1577262160621 | 69276.83333333333 | 759.9666666666667 |
| BASE/sudokuGrade1/tDRNRw | 93.46556188503367 | 6016.066666666667 | 64.36666666666666 |
| STANFORD/duidoku/3SoMaA | 93.58665961665565 | 4718.0 | 50.41316806610689 |
| BASE/snake_2009_big/-oRfVw | 93.91314889379574 | 72303.73333333334 | 769.9 |
| DRESDEN/god/2EDD5w | 94.07929688846338 | 6550.4 | 69.6263706962637 |
| BASE/sudokuGrade2/u80Tfw | 97.12586957642725 | 5855.633333333333 | 60.28912131103857 |
| BASE/god/qF06gw | 100.21799399399399 | 6320.566666666667 | 63.06818181818182 |
| BASE/merrills/pku8Tg | 100.6954494263566 | 18040.666666666668 | 179.16069464351187 |
| BASE/sudokuGrade4/DTy07w | 100.84608728780864 | 5807.766666666666 | 57.590401599733376 |
| BASE/majorities/ibJzSQ | 101.48157245039225 | 29317.5 | 288.8948140247967 |
| BASE/sudokuGrade5/BQfUQA | 102.29084030612245 | 6014.1 | 58.79412058794121 |
| BASE/sudokuGrade3/eI8dvg | 102.67335182507769 | 5787.354597873546 | 56.36666666666667 |
| DRESDEN/merrills/aYEzwA | 104.00677990093352 | 18195.9 | 174.9491717494917 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 104.61896056411595 | 13352.866666666667 | 127.63333333333334 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 105.89716219734444 | 13558.366666666667 | 128.03333333333333 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 108.02054378980893 | 13560.6 | 125.53723138430784 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 110.37830545062062 | 13635.4 | 123.53333333333333 |
| STANFORD/sudoku/oJ1qyQ | 110.79447359735973 | 5967.333333333333 | 53.85948540194641 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 115.18466961458023 | 12848.2 | 111.54435779510764 |
| BASE/checkers-mustjump-torus/uSApKQ | 116.76890502117361 | 12867.933333333332 | 110.2 |
| BASE/battlebrushes/arCwyA | 118.88040529848111 | 11150.7 | 93.79762772513419 |
| BASE/sudokuGrade6H/ieE_9A | 119.99579077114427 | 5359.633333333333 | 44.665177827405756 |
| BASE/sudokuGrade6E/ihYFZA | 120.23325196078433 | 5311.3 | 44.174967518406234 |
| DRESDEN/fizzbuzz/t1xHzQ | 121.55926397960809 | 610422.0 | 5021.6 |
| BASE/sudoku/NTaNkw | 130.5357419012918 | 13134.933333333332 | 100.62327100623271 |
| BASE/cittaceot/fDxhXg | 164.86227844289044 | 39290.86666666667 | 238.32538915369489 |
| BASE/gt_two_thirds_2p/1APDGg | 183.89144471347862 | 60757.73333333333 | 330.4 |
| BASE/simultaneousWin2/PfjRjw | 184.90177334181644 | 38741.5 | 209.5247617143238 |
| BASE/golden_rectangle/_nYzfw | 253.51419212473573 | 15983.5 | 63.04775234096438 |
| BASE/gt_two_thirds_4p/DStnxQ | 275.3824096362415 | 31872.666666666668 | 115.73966074582597 |
| BASE/zhadu/DlA8iQ | 276.32837565217386 | 3172.7 | 11.481629392971247 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 284.72317974683546 | 3518.4 | 12.35726575942437 |
| DRESDEN/racer/vk_ZBA | 301.50449290151744 | 65772.93333333333 | 218.14909854367315 |
| BASE/racer/QQYQNw | 303.466312281242 | 65698.26666666666 | 216.49278357388087 |
| BASE/gt_attrition/kD_SCA | 321.7104704804046 | 118750.1 | 369.12102929902335 |
| BASE/gt_two_thirds_6p/867v3Q | 477.32695407629024 | 21267.2 | 44.554785390562515 |
| DRESDEN/golden_rectangle/1uloXw | 3754.756840157481 | 15830.233333333334 | 4.216047538425787 |
| BASE/queens06ug/7Lq3tw | 3912.0905803350965 | 98459.96666666666 | 25.168120380850922 |
| BASE/queens08ug/kJ_ZFQ | 6697.1279374999995 | 57583.166666666664 | 8.598188238906802 |
| BASE/colonelBlotto/jip21A | 11946.836979537953 | 80164.13333333333 | 6.710071751262291 |
| BASE/queens08lg/Ru7eqQ | 512533.73973333335 | 12360.933333333332 | 0.024117306579201234 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message |
| STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| 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 | |
| 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 StackOverflowError | Exception of type NullPointerException |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Exception of type NullPointerException |