Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
| DRESDEN/quad_7x7/q-JOXg | 0.1868857657609372 | 1.6765736930345985 | 8.971114981433407 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 0.49608877575233534 | 3.506218576342948 | 7.067724060125427 |
| BASE/quad_7x7/q-JOXg | 0.5193449646091763 | 4.323728272539973 | 8.325349367339522 |
| DRESDEN/guess/PhxGhg | 0.7283206125209457 | 801.6333333333333 | 1100.659956002933 |
| BASE/guess/SPpk1A | 0.7585203528865501 | 816.8 | 1076.8333333333333 |
| BASE/coins/QnGtnQ | 0.8137053810039725 | 300.4 | 369.17538830744616 |
| DRESDEN/snake_2008/E56l3A | 0.8173128606797209 | 403.46666666666664 | 493.65021165961133 |
| BASE/snake_2008/i6K26g | 0.8352909947574491 | 419.55268157728074 | 502.28325722475915 |
| BASE/snake_2009_big/-oRfVw | 0.8373033523510462 | 287.3808412772482 | 343.2218926035799 |
| BASE/chess_200/XsTpYA | 0.8374580921798694 | 45.024328467639805 | 53.763082461169255 |
| DRESDEN/coins/QwFP9w | 0.8388431522200013 | 307.73333333333335 | 366.8544381853938 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.8683307926829268 | 303.8 | 349.8666666666667 |
| BASE/snake_2008_tweaked/bX0NJQ | 0.8737627206998935 | 428.3333333333333 | 490.21699276690777 |
| DRESDEN/quad/JPe6fg | 0.8863958234983755 | 1.332926050373497 | 1.5037593984962405 |
| BASE/ticTacHeavenFC/mrletw | 0.9164704480754454 | 230.46927076389815 | 251.47485251474853 |
| BASE/snake_2009/7l-qAQ | 0.9207856346991833 | 413.5724285047663 | 449.15169494350187 |
| DRESDEN/snake_2009/zIYLVw | 0.9230424721952676 | 412.1725218318779 | 446.536897540164 |
| BASE/speedChess/bPnisA | 0.9236441498989961 | 158.17890947873616 | 171.25524965002333 |
| BASE/coins_atomic/AA3SSw | 0.9351204351204352 | 320.93333333333334 | 343.2 |
| STANFORD/platformjumpers/HEQskA | 0.9896074863627229 | 236.37636236376363 | 238.858704709843 |
| BASE/ticTacHeaven/18n58A | 0.991279820129446 | 255.81627891473903 | 258.06666666666666 |
| BASE/eightPuzzle/vLrgFg | 0.9999013582962606 | 3378.9 | 3379.233333333333 |
| DRESDEN/8puzzle/8fKC2w | 1.0158652722301837 | 3331.733333333333 | 3279.7 |
| BASE/qyshinsu/R08Lzw | 1.0504436576745373 | 96.92687154189721 | 92.27231830450864 |
| DRESDEN/Zhadu/9zpQ5w | 1.0540309026263073 | 57.73202745019655 | 54.772613693153424 |
| STANFORD/eightpuzzle/W_aWbA | 1.0596864090157407 | 3460.3 | 3265.4 |
| STANFORD/8puzzle/jNiGtw | 1.0688691995795165 | 3558.8 | 3329.5 |
| DRESDEN/bunk_t/7-tPfA | 1.0700825685433986 | 1239.8333333333333 | 1158.6333333333334 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.0761525068759306 | 1421.6333333333334 | 1321.0333333333333 |
| BASE/skirmishZeroSum/zh4hcw | 1.078239622567643 | 164.650201646502 | 152.70279277477837 |
| BASE/blokbox_simple/JBx4bg | 1.088672648384515 | 0.8214330847971693 | 0.7545271629778671 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.1019644765636927 | 1443.5 | 1309.9333333333334 |
| STANFORD/tictictoe/rpt_Dw | 1.1133966148632646 | 2037.0333333333333 | 1829.5666666666666 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.117674217284663 | 1291.1 | 1155.1666666666667 |
| BASE/skirmishNew/sibw2g | 1.1189230155002727 | 170.02766574447517 | 151.95653623091795 |
| BASE/bunk_t/xbpfIA | 1.1221387384239037 | 1284.4 | 1144.6 |
| BASE/othelloSuicide/B442jg | 1.1222369667496623 | 5.001987544719756 | 4.457158062799361 |
| STANFORD/hex/MTqWcw | 1.124911855309912 | 192.54099453406212 | 171.16096130128994 |
| DRESDEN/pawn_whopping/4ogBkg | 1.129451100585121 | 675.5774807506416 | 598.1467284423852 |
| BASE/pawnWhopping/Ypc_6Q | 1.1360480058375098 | 657.3333333333334 | 578.6140461984601 |
| BASE/hexPie/48CH6Q | 1.1535638779740431 | 194.90084985835693 | 168.95540297313514 |
| DRESDEN/tictictoe/LAUtwg | 1.1541200782316692 | 2085.0333333333333 | 1806.6 |
| BASE/checkLines/Vop7oQ | 1.1559551134914565 | 1208.6666666666667 | 1045.6 |
| BASE/dotsAndBoxes/EHwA_w | 1.1560987871551562 | 613.2333333333333 | 530.4333333333333 |
| BASE/doubletictactoe/HH1htg | 1.1574629036950828 | 1326.0666666666666 | 1145.6666666666667 |
| BASE/doubletoetictac/fu35bg | 1.1580510110157662 | 1300.0666666666666 | 1122.6333333333334 |
| BASE/quad_5x5/JAEP5g | 1.1644981412639406 | 83.53333333333333 | 71.73333333333333 |
| BASE/ticblock/T21C1g | 1.1652350460721537 | 1740.9 | 1494.0333333333333 |
| BASE/ticTacToeSerial/Amrwqw | 1.1716609300128231 | 1157.3666666666666 | 987.8 |
| DRESDEN/doubletoetictac/V89gKQ | 1.1716778080877723 | 1302.8666666666666 | 1111.9666666666667 |
| DRESDEN/pawntoqueen/f_x6Aw | 1.1722590279307792 | 22.846866049423834 | 19.48960554371002 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.1734869632357308 | 658.6 | 561.2333333333333 |
| BASE/ticTicToe/c1OobQ | 1.1785123054850457 | 2135.7 | 1812.2 |
| BASE/othello-comp2007/86ZoMw | 1.1813501035763945 | 5.0930395126660235 | 4.311202493864827 |
| BASE/toetictac/mTThmg | 1.182751877475227 | 4798.266666666666 | 4056.866666666667 |
| DRESDEN/ticblock/Z2yNWQ | 1.187188533627343 | 1794.6333333333334 | 1511.6666666666667 |
| DRESDEN/ghostmaze2p/HY0UwA | 1.187320430650712 | 2507.0666666666666 | 2111.5333333333333 |
| DRESDEN/toetictac/mJtxCA | 1.1876524415197498 | 4836.833333333333 | 4072.6 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 1.192523673134464 | 615.7794740175327 | 516.3666666666667 |
| BASE/eotcitcit/V_9_bg | 1.1969837500927507 | 2150.9 | 1796.9333333333334 |
| BASE/asteroidsParallel/WauZiA | 1.1994778132197004 | 3246.4666666666667 | 2706.5666666666666 |
| BASE/snakeAssemblit/UO4sdg | 1.2003556235000166 | 405.6666666666667 | 337.9554014866171 |
| BASE/hex/T1MK8g | 1.202760497667185 | 206.2264591180294 | 171.46095130162328 |
| BASE/asteroidsSerial/id2QkA | 1.2049355133543211 | 3164.0 | 2625.866666666667 |
| BASE/slaughter/cOch8A | 1.210681604347993 | 26.195634060989835 | 21.637095968842583 |
| BASE/majorities/ibJzSQ | 1.2157094831033795 | 162.06758648270346 | 133.31111481419762 |
| DRESDEN/latenttictactoe/kITHKg | 1.217741749232084 | 1757.5666666666666 | 1443.3 |
| BASE/ghostMaze2p/W-NU-w | 1.2215483523617996 | 2571.4 | 2105.0333333333333 |
| BASE/pawnToQueen/-O1_JA | 1.2415398497527 | 23.452595109600907 | 18.88992537313433 |
| BASE/dualConnect4/WbCQkg | 1.2416576940261754 | 594.7342109648392 | 478.9840338655378 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.244054862328555 | 4021.2 | 3232.3333333333335 |
| BASE/lightsOut/5P1ZBw | 1.255215680451407 | 1127.1 | 897.9333333333333 |
| STANFORD/duikoshi/tpw1sw | 1.2558059403211357 | 607.4333333333333 | 483.7 |
| BASE/tictactoe2/bhrDoQ | 1.2699383977938454 | 3085.4 | 2429.5666666666666 |
| DRESDEN/blocks2player/3ev8nQ | 1.272603395573233 | 6911.0 | 5430.6 |
| BASE/blocks2player/wnTLOQ | 1.2810525662508534 | 6880.533333333334 | 5371.0 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 1.2833644753977689 | 1511.0333333333333 | 1177.4 |
| STANFORD/tictactoe3/X7myng | 1.283651869336785 | 2809.7 | 2188.8333333333335 |
| DRESDEN/quad_5x5/JAEP5g | 1.2874256742315144 | 90.37347713201518 | 70.19704433497537 |
| DRESDEN/babel/WdSW4A | 1.2965165975646542 | 307.87947470168655 | 237.46666666666667 |
| BASE/racer4/0vs7Ww | 1.2985447618570305 | 863.6333333333333 | 665.0778307389754 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.3014187729023772 | 1385.1 | 1064.3 |
| BASE/blocksWorldSerial/Wyg96Q | 1.3030197038591582 | 3725.3333333333335 | 2859.0 |
| STANFORD/sukoshi/4LYZZQ | 1.3063455695572048 | 1748.5 | 1338.4666666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.3125091014999273 | 600.8666666666667 | 457.8 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.3202464101340505 | 1014.4333333333333 | 768.3666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 1.3203669154228856 | 1415.4333333333334 | 1072.0 |
| BASE/colonelBlottoVariant/X-n-KQ | 1.3227764312918797 | 6494.7 | 4909.9 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.3229461756373937 | 3206.733333333333 | 2423.9333333333334 |
| BASE/blocks/xIV5hQ | 1.32325759082298 | 8428.533333333333 | 6369.533333333334 |
| BASE/amazons_8x8/7SOsIw | 1.323531367396057 | 391.0202993233559 | 295.4371229543712 |
| BASE/othelloHoles/c0qAzw | 1.3321473877436794 | 6.329952939616889 | 4.751691140075895 |
| BASE/ticTacToeLarge/TZC0dg | 1.3332486826233256 | 1400.0 | 1050.0666666666666 |
| STANFORD/tictactoe5/WFRReg | 1.3342084091967652 | 3151.0 | 2361.7 |
| BASE/chickentoetictac/l57rfQ | 1.3377973069340159 | 4252.233333333334 | 3178.5333333333333 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.338310795324318 | 3892.7 | 2908.6666666666665 |
| BASE/coloredtrails/EZvr7g | 1.343923801911613 | 2690.266666666667 | 2001.8 |
| DRESDEN/crossers3/xiPTxg | 1.3487519717917786 | 969.0333333333333 | 718.4666666666667 |
| BASE/breakthroughWalls/vOZaYA | 1.3504725570103182 | 519.1493616879437 | 384.4205193160228 |
| DRESDEN/bomberman2p/x4h6jQ | 1.3506446733414967 | 1250.0666666666666 | 925.5333333333333 |
| DRESDEN/skirmish/RjGQYQ | 1.3526325393673317 | 265.991133628879 | 196.64700196647001 |
| BASE/amazonsSuicide_10x10/XIbQkg | 1.3535963913619578 | 298.10704525761514 | 220.23333333333332 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.3570574717494257 | 964.7 | 710.8763041231958 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.3574207907012312 | 986.1333333333333 | 726.4757841405286 |
| BASE/withConviction/3Xm54A | 1.3589155872727838 | 603.2931137924138 | 443.9518682710576 |
| DRESDEN/javastrike/whONTQ | 1.3595185956779232 | 269.04873008466103 | 197.9 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 1.3606782228915664 | 150.56666666666666 | 110.655601106556 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.36073689613871 | 3976.3 | 2922.1666666666665 |
| BASE/switches/tPUoCg | 1.3610133482983928 | 11317.733333333334 | 8315.666666666666 |
| BASE/tictactoe-init1/7M19vA | 1.3624843197628007 | 3186.0333333333333 | 2338.4 |
| DRESDEN/Runners/3bOCQw | 1.363386676216493 | 15355.233333333334 | 11262.566666666668 |
| DRESDEN/bidding-tictactoe/yW5vTA | 1.3659533337855252 | 2685.1 | 1965.7333333333333 |
| BASE/crossers3/O0rORg | 1.3681173358980525 | 948.3333333333334 | 693.1666666666666 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.3694030536378121 | 515.7 | 376.58744708509715 |
| BASE/breakthrough/TGxk-g | 1.3746532675340213 | 510.6666666666667 | 371.48761707943066 |
| DRESDEN/breakthrough/z4hK7Q | 1.3764679894890859 | 512.1666666666666 | 372.08759708009734 |
| BASE/mummyMaze2p_2007/YGA3Vw | 1.376947477753137 | 1635.0333333333333 | 1187.4333333333334 |
| DRESDEN/stratego/Z2wovg | 1.377425929677882 | 643.8118729375688 | 467.4021731884541 |
| DRESDEN/lightsout/XgLpzQ | 1.377790346907994 | 1217.9666666666667 | 884.0 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.380899916266361 | 1044.4666666666667 | 756.3666666666667 |
| BASE/biddingTicTacToe/8mESVw | 1.3834544056063585 | 2697.9666666666667 | 1950.1666666666667 |
| DRESDEN/tictactoe/BTTzPw | 1.3840195074634907 | 3424.4333333333334 | 2474.266666666667 |
| STANFORD/tictactoe7/-bE9-A | 1.3841389749073083 | 3322.5333333333333 | 2400.4333333333334 |
| DRESDEN/blobwars/ZaMluQ | 1.3844454961350372 | 292.5138324111726 | 211.28591427238183 |
| DRESDEN/eotcatcit/mQUxzA | 1.3850080148485617 | 3283.3 | 2370.6 |
| BASE/blocksWorld/SEdXLQ | 1.387254623631493 | 8958.566666666668 | 6457.766666666666 |
| BASE/amazons_10x10/Bun8dA | 1.3873067425424195 | 302.75657478084065 | 218.23333333333332 |
| DRESDEN/blocks/vg0DRw | 1.39777376334945 | 8769.166666666666 | 6273.666666666667 |
| DRESDEN/skirmish2/iPpWhQ | 1.402682703966704 | 296.1234625512483 | 211.1122221111222 |
| BASE/ticTacToe/JRFsaQ | 1.4029409780775717 | 3466.4333333333334 | 2470.8333333333335 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.4045704612780363 | 2876.4666666666667 | 2047.9333333333334 |
| BASE/asteroids/BKCmPQ | 1.404658365206052 | 8042.933333333333 | 5725.9 |
| BASE/chickentictactoe/DSlZCA | 1.4088217406613106 | 2934.2 | 2082.733333333333 |
| STANFORD/skirmish/w4V6Vw | 1.409610516626066 | 41.001898544449254 | 29.08739546196648 |
| STANFORD/trifecta/ss1kyQ | 1.4138524055864525 | 3398.1 | 2403.4333333333334 |
| DRESDEN/minichess/c7GMFw | 1.4160050809780882 | 1189.0666666666666 | 839.7333333333333 |
| BASE/hodgepodge/9yjRkw | 1.417546900673492 | 5233.866666666667 | 3692.2 |
| BASE/skirmishHoles/AUCxCA | 1.4255067358756395 | 47.181127548980406 | 33.09779348043464 |
| BASE/checkersTiny/Lr48cg | 1.4276245806398822 | 581.5472817572747 | 407.3530882303923 |
| BASE/racer/QQYQNw | 1.4286337748488884 | 2182.3333333333335 | 1527.5666666666666 |
| BASE/eotcatcit/AfZSzA | 1.430395731940917 | 3360.3333333333335 | 2349.233333333333 |
| BASE/blobwars/0XT15Q | 1.431620824305488 | 297.1270497267031 | 207.5459120754591 |
| BASE/pacman3p/wW7UVQ | 1.440334704250607 | 923.3025565814473 | 641.0333333333333 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.4409380324500818 | 1506.1164627845737 | 1045.2333333333333 |
| BASE/hidato37/pBrqxw | 1.443864919460014 | 110.68524196773764 | 76.65900076659001 |
| DRESDEN/point_grab/r5DPmQ | 1.4445690738158676 | 13952.033333333333 | 9658.266666666666 |
| BASE/sum15/QZ07Kg | 1.4457244753111764 | 4107.833333333333 | 2841.366666666667 |
| BASE/incredible/8Qh-6Q | 1.4485438588831157 | 3317.6 | 2290.3 |
| BASE/blockerSerial/3eqDuw | 1.4497479103091417 | 1456.9 | 1004.9333333333333 |
| BASE/checkers/rOC3Xg | 1.4507122057936028 | 320.5 | 220.9259691343622 |
| BASE/checkersSmall/SYmq8w | 1.452015714611168 | 425.0049996666889 | 292.7 |
| BASE/snake2p/I3wWPQ | 1.4526316475607377 | 346.87687487500835 | 238.7920402653245 |
| BASE/kalaha6x2x4/XS81Mg | 1.453299256505576 | 2293.5 | 1578.1333333333334 |
| BASE/pacman2p/4LEdQg | 1.4552777046591208 | 921.4333333333333 | 633.1666666666666 |
| BASE/hanoi7_bugfix/3gdnFw | 1.4553069538887702 | 6584.633333333333 | 4524.566666666667 |
| BASE/englishDraughts/jFkQxg | 1.4587601903367498 | 664.2 | 455.3181560614646 |
| BASE/gt_centipede/9fRMpw | 1.460183640518988 | 10882.7 | 7452.966666666666 |
| BASE/breakthroughSmallHoles/bxclRw | 1.4607228464419475 | 697.6666666666666 | 477.61741275290825 |
| DRESDEN/crissrace/KWb9bw | 1.4617898598455739 | 887.6666666666666 | 607.2464251191627 |
| BASE/skirmishFinal3/-Olhfw | 1.4620563434329479 | 69.62869142057197 | 47.62380857161901 |
| BASE/breakthroughSuicide/wZDpIg | 1.4627666875802934 | 543.9666666666667 | 371.8752083194454 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1.4651227812305283 | 6113.566666666667 | 4172.733333333334 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.466192569155803 | 6549.433333333333 | 4466.966666666666 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.4672344689378758 | 976.2 | 665.3333333333334 |
| DRESDEN/hanoi7/51zz5Q | 1.467966015450326 | 6346.8 | 4323.533333333334 |
| BASE/checkersTorus/2vm1EQ | 1.4680284077486419 | 552.3333333333334 | 376.24158389440703 |
| DRESDEN/racer/vk_ZBA | 1.4692988306433683 | 2203.0666666666666 | 1499.4 |
| DRESDEN/gt_prisoner/huCp4w | 1.4704104358892778 | 7086.3 | 4819.266666666666 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 1.4711898228984785 | 589.7803406553115 | 400.88663711209625 |
| DRESDEN/grid_game/U7_Yeg | 1.472292481030122 | 1067.1666666666667 | 724.8333333333334 |
| BASE/checkersBarrelNoKings/rnKNeg | 1.4728048604079271 | 678.7666666666667 | 460.8666666666667 |
| BASE/kalaha5x2x3/WviNsw | 1.4733139008945622 | 2443.0 | 1658.1666666666667 |
| BASE/kalaha_2009/dRiN3g | 1.4760526637590183 | 2414.133333333333 | 1635.5333333333333 |
| BASE/futoshiki5/TJ4BZg | 1.4801312686604928 | 324.93333333333334 | 219.53007832027996 |
| BASE/chineseCheckers4/avfBcQ | 1.480629395637144 | 1242.1 | 838.9 |
| DRESDEN/connectfoursuicide/M9CNQg | 1.4851155943005268 | 999.3666666666667 | 672.9218052129858 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 1.4856167817067059 | 2568.4333333333334 | 1728.8666666666666 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.4863015015476901 | 2576.9 | 1733.7666666666667 |
| BASE/queens08lg/Ru7eqQ | 1.4883190883190884 | 348.25505816472787 | 233.99220025999134 |
| BASE/connectFour/WAIKTw | 1.4884110365065155 | 997.4333333333333 | 670.1329867013299 |
| DRESDEN/Thief_Police/CX18rA | 1.4887035079581143 | 6525.533333333334 | 4383.366666666667 |
| STANFORD/selectivesukoshi/3xmXYg | 1.4889887263824064 | 75.37487504165279 | 50.62152164494951 |
| BASE/bomberman2p/4CClwA | 1.4907640949554897 | 1339.7 | 898.6666666666666 |
| BASE/knightfight/SJRkAg | 1.4914362801181675 | 2911.3333333333335 | 1952.0333333333333 |
| DRESDEN/hanoi/RQ0jiA | 1.4917202969459502 | 7347.766666666666 | 4925.7 |
| DRESDEN/skirmishfinal/hzq8ww | 1.4935363530194565 | 64.94069039051047 | 43.481158164795254 |
| BASE/point_grab/V_osUg | 1.4943855540703437 | 14421.866666666667 | 9650.7 |
| DRESDEN/kalaha_2009/gcC8uA | 1.4947870499345743 | 2360.866666666667 | 1579.4 |
| DRESDEN/troublemaker02/iZLVuA | 1.4958824087350961 | 17873.9 | 11948.733333333334 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1.4960405776098544 | 6744.5 | 4508.233333333334 |
| DRESDEN/backgammon/mqCW0Q | 1.497308345836605 | 303.9130724618359 | 202.9729369417411 |
| BASE/sudokuGrade1/tDRNRw | 1.5014993003265142 | 24.388618644632505 | 16.242843829050727 |
| STANFORD/madness/UO_B3A | 1.5031604938461622 | 43.352215928023995 | 28.84071002764179 |
| BASE/skirmishFinal2/gdB62Q | 1.5038869016935101 | 63.63484924204565 | 42.313586992736724 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 1.5058503123140987 | 1012.5 | 672.3775874137528 |
| DRESDEN/quarto/OQzRYQ | 1.508760614855423 | 1403.6 | 930.3 |
| DRESDEN/quartosuicide/WIU1oQ | 1.5092233872400924 | 1415.4 | 937.8333333333334 |
| BASE/nim2/eF2Qqw | 1.510916878504022 | 8677.8 | 5743.4 |
| BASE/ticTacToeParallel/ymRGPw | 1.5111714867908341 | 1409.0666666666666 | 932.4333333333333 |
| DRESDEN/logistics/fPru1Q | 1.5116571771051843 | 1681.4666666666667 | 1112.3333333333333 |
| DRESDEN/sum15/CsgWKg | 1.5121783060921248 | 4240.4 | 2804.1666666666665 |
| BASE/breakthroughSmall/HJ0tIA | 1.5227564718204094 | 856.1666666666666 | 562.2479250691644 |
| BASE/quarto/EwBMVQ | 1.5231983849453838 | 1408.4 | 924.6333333333333 |
| STANFORD/connectfour/VMpZkQ | 1.5236019242333132 | 1013.5 | 665.2 |
| BASE/maze/cCX3qQ | 1.5240391165024967 | 17153.466666666667 | 11255.266666666666 |
| BASE/sudokuGrade4/DTy07w | 1.5251073375262054 | 24.2 | 15.867735604271315 |
| BASE/connectFourLarge/aU644A | 1.5272855446927374 | 729.0 | 477.31742275257494 |
| BASE/breakthroughSuicideSmall/XSbJog | 1.52777941436399 | 864.3666666666667 | 565.7666666666667 |
| BASE/futoshiki4/BaCwSw | 1.5284396901512358 | 690.6 | 451.8333333333333 |
| BASE/sudokuGrade5/BQfUQA | 1.5300282857580942 | 24.739453268071788 | 16.16927837109492 |
| BASE/troublemaker01/s3tlEQ | 1.533501238898349 | 20052.266666666666 | 13076.133333333333 |
| BASE/quartoSuicide/-23jUg | 1.5356570084464878 | 1436.3 | 935.3 |
| DRESDEN/pacman3p/rBnk8Q | 1.5362916639782056 | 952.3666666666667 | 619.9126695776807 |
| BASE/sheepAndWolf/g4THrg | 1.5382911392405063 | 810.1666666666666 | 526.6666666666666 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.5383857297723464 | 1040.6666666666667 | 676.4666666666667 |
| BASE/skirmish/Y_psYQ | 1.5413135933572388 | 44.61251416005864 | 28.944475901808612 |
| BASE/gt_dollar/TGjqRw | 1.54272056111834 | 7390.3 | 4790.433333333333 |
| DRESDEN/oisters_farm/pTQMLg | 1.5434020030390156 | 9107.666666666666 | 5901.033333333334 |
| BASE/hanoi/iGLsJg | 1.545073786631121 | 7611.6 | 4926.366666666667 |
| DRESDEN/nim1/M9BALA | 1.5453631049270224 | 9525.566666666668 | 6163.966666666666 |
| DRESDEN/connectfour/5tc-Mg | 1.547937923071737 | 1020.3666666666667 | 659.1780273990867 |
| BASE/skirmishFinal1/ecWTnQ | 1.5496884412217717 | 63.9786737754082 | 41.28486221718703 |
| DRESDEN/crisscross/GsY16g | 1.5505015635787678 | 1272.6 | 820.7666666666667 |
| DRESDEN/nim2/z5_exA | 1.5522064056939502 | 8723.4 | 5620.0 |
| DRESDEN/knightwar/7hhAqg | 1.5557507937975894 | 1682.2333333333333 | 1081.3 |
| BASE/knightazons/apnJBQ | 1.5564923250502085 | 254.8496766882208 | 163.73333333333332 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.5573118279569893 | 965.5333333333333 | 620.0 |
| BASE/hanoi_6_disks/MeubgQ | 1.558973647711512 | 5620.1 | 3605.0 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.5634945190959757 | 1016.1333333333333 | 649.9116696110129 |
| BASE/checkersTorusNoKings/pwb6oQ | 1.5635689243941595 | 681.7 | 435.98973435989734 |
| DRESDEN/hanoi_6_disks/MeubgQ | 1.5658045723364815 | 5913.0 | 3776.3333333333335 |
| STANFORD/duidoku/3SoMaA | 1.5664348806615296 | 23.961661341853034 | 15.296940611877625 |
| BASE/crissrace/ERWGDA | 1.5692794493171975 | 942.3 | 600.4666666666667 |
| BASE/lightsOn/MsXu3A | 1.5705391382810738 | 8122.566666666667 | 5171.833333333333 |
| DRESDEN/catch_me/ghGWrA | 1.5734051013195098 | 7122.7 | 4526.933333333333 |
| BASE/gt_staghunt/xPjLRA | 1.573840826208207 | 8559.333333333334 | 5438.5 |
| STANFORD/3puzzle/41ibjA | 1.5745808792681666 | 9633.233333333334 | 6117.966666666666 |
| STANFORD/tictactoe/ss1kyQ | 1.5755250003540122 | 3708.733333333333 | 2353.9666666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.576076684217632 | 7004.4 | 4444.2 |
| BASE/gt_coordination/IVMOzA | 1.58076026119403 | 9037.733333333334 | 5717.333333333333 |
| BASE/crisscross/ICagEg | 1.5811282051282052 | 1284.6666666666667 | 812.5 |
| BASE/gt_tinfoil/Q8DyKg | 1.5817265160045038 | 10489.166666666666 | 6631.466666666666 |
| DRESDEN/knightfight/4_Ly4w | 1.5825341520629228 | 3058.3 | 1932.5333333333333 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.5831334736429936 | 1078.1666666666667 | 681.0333333333333 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.5849341773815522 | 4823.8 | 3043.5333333333333 |
| BASE/connectFour_9x6/B9TtMw | 1.5851157662624036 | 958.4666666666667 | 604.6666666666666 |
| DRESDEN/blocker/S815zQ | 1.5852095316351686 | 3536.866666666667 | 2231.1666666666665 |
| BASE/chineseCheckers3/-1rZdQ | 1.58521167948891 | 2348.9666666666667 | 1481.8 |
| BASE/blocker/dIWtxg | 1.5878092315862458 | 3587.866666666667 | 2259.633333333333 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.5879914502234602 | 817.2333333333333 | 514.6333333333333 |
| BASE/chineseCheckers6/rREH3A | 1.5880665447050357 | 1446.7333333333333 | 911.0029665677811 |
| BASE/colonelBlottoVariant2/jruwGw | 1.5883417730220195 | 6932.0 | 4364.3 |
| BASE/numbertictactoe/rvJ-iQ | 1.590435817343448 | 2138.5 | 1344.6 |
| DRESDEN/lightsout2/LFtfyQ | 1.5915085951393007 | 1431.9333333333334 | 899.7333333333333 |
| DRESDEN/troublemaker01/C-lPWw | 1.5924566641221585 | 19540.133333333335 | 12270.433333333332 |
| DRESDEN/firefighter/WJmoPw | 1.593546786227668 | 6208.033333333334 | 3895.733333333333 |
| BASE/amazonsTorus_10x10/Uxc08g | 1.5945444371050412 | 204.68635424305046 | 128.36666666666667 |
| BASE/shmup/ssTNlg | 1.5961715409457484 | 2949.0333333333333 | 1847.5666666666666 |
| BASE/firefighter/WJmoPw | 1.5978176281509051 | 6296.466666666666 | 3940.6666666666665 |
| DRESDEN/gt_chicken/CeuKtw | 1.5997441333430806 | 7294.3 | 4559.666666666667 |
| BASE/gt_prisoner/klthDw | 1.6030025075455516 | 8161.366666666667 | 5091.3 |
| STANFORD/pilgrimage/ObRZnQ | 1.6043319976582435 | 637.4120862637913 | 397.3068462102527 |
| BASE/wargame02/BkVqqQ | 1.6051715247183505 | 439.4520182660578 | 273.77262273772624 |
| BASE/connectFourSuicide/c8p9Kw | 1.6060447331203185 | 1022.0333333333333 | 636.3666666666667 |
| BASE/sudokuGrade3/eI8dvg | 1.6073011066315377 | 25.111569972690337 | 15.623438488956994 |
| BASE/choicethroughalt/tt71Lg | 1.6085775445846022 | 493.03333333333336 | 306.5026830650268 |
| BASE/chinook/XQh0IQ | 1.6100335037912186 | 608.7 | 378.06666666666666 |
| STANFORD/knightstourbig/TQUI2g | 1.6108976257816334 | 13232.933333333332 | 8214.633333333333 |
| BASE/tictactoe_3player/GtM71g | 1.6174183749354396 | 943.6018799373354 | 583.4 |
| DRESDEN/roshambo2/jgSlkQ | 1.6184774258946883 | 13624.666666666666 | 8418.2 |
| BASE/roshambo2/KNPokQ | 1.619123112824101 | 13344.866666666667 | 8242.033333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.6213298318561478 | 1481.7333333333333 | 913.9 |
| DRESDEN/tttcc4/sAvtFg | 1.6220392948668167 | 696.2333333333333 | 429.23333333333335 |
| BASE/sudokuGrade2/u80Tfw | 1.6244318290557338 | 25.418929273411734 | 15.647889199627114 |
| BASE/checkers-newgoals/0XkFiA | 1.6264555193292964 | 232.79224025865804 | 143.12856238125397 |
| BASE/amazonsSuicide/dE1QEQ | 1.6272865349794505 | 2.2145831956104978 | 1.3609055000497892 |
| BASE/knightwar/DVGY4Q | 1.628953922789539 | 1744.0666666666666 | 1070.6666666666667 |
| STANFORD/pentago/ZxzLmg | 1.6296570754008302 | 598.9133695543482 | 367.5088327444837 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1.6299117348939414 | 14686.7 | 9010.733333333334 |
| STANFORD/sudoku/oJ1qyQ | 1.6310273453738533 | 24.952526901422527 | 15.29865637887455 |
| DRESDEN/fizzbuzz/t1xHzQ | 1.6329171536455993 | 19373.8 | 11864.533333333333 |
| BASE/strangeSkirmish/gc1zKA | 1.6329685709361503 | 42.07615684445481 | 25.766666666666666 |
| STANFORD/chinook/osFbPA | 1.634330525704328 | 562.6812439585348 | 344.2885237158761 |
| DRESDEN/knightazons/02I8BQ | 1.637894121478002 | 266.15779474017535 | 162.5 |
| BASE/wargame03/klXI8w | 1.6385375960807502 | 646.6 | 394.62017932735574 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 1.638867397521449 | 343.8 | 209.77902209779023 |
| BASE/chineseCheckers1/gqtwHw | 1.6391974360100101 | 3733.6 | 2277.7 |
| BASE/knightsTourLarge/M8jgLA | 1.6397906093395898 | 13699.466666666667 | 8354.4 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.6412128061451798 | 964.8690087327511 | 587.9 |
| BASE/3pConnectFour/PqXOFQ | 1.6416093170989943 | 620.2 | 377.8 |
| BASE/gt_chicken/gmepTQ | 1.6420157162425202 | 7592.133333333333 | 4623.666666666667 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.6433171505003468 | 4975.8 | 3027.9 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.6437675205254516 | 1056.6333333333334 | 642.811906269791 |
| BASE/4pttc/AL1k2Q | 1.6440639555721155 | 1029.5333333333333 | 626.2124595846805 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.6441298849636943 | 6717.366666666667 | 4085.6666666666665 |
| BASE/onestep/xi53wA | 1.6447201703673506 | 34831.5 | 21177.766666666666 |
| BASE/sudokuGrade6H/ieE_9A | 1.645085059208066 | 24.04262404262404 | 14.614821226446502 |
| BASE/futoshiki6/JmvXNA | 1.6465157878363665 | 207.41950536630893 | 125.9748050389922 |
| DRESDEN/circlesolitaire/ruUilQ | 1.6485763015196826 | 7185.1 | 4358.366666666667 |
| BASE/circlesolitaire/azuQFQ | 1.6512366323008203 | 7159.266666666666 | 4335.7 |
| BASE/knightsTour/mvtVIg | 1.6532090006081492 | 13592.133333333333 | 8221.666666666666 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.6540291518767463 | 3650.1666666666665 | 2206.8333333333335 |
| BASE/sudokuGrade6E/ihYFZA | 1.657540960580698 | 24.251307505246675 | 14.63089485085819 |
| BASE/ttcc4_2player_small/Cv72TA | 1.6585047947118516 | 1187.6 | 716.0666666666667 |
| DRESDEN/gt_ultimatum/pAiiQw | 1.6602460482082828 | 7737.3 | 4660.333333333333 |
| DRESDEN/peg/Vo31eg | 1.660971577041178 | 703.2 | 423.3666666666667 |
| BASE/cylinder-checkers/hlldmw | 1.6615851515151518 | 219.3 | 131.9824023463538 |
| BASE/tttcc4/8Bs2lg | 1.665836153024262 | 710.2333333333333 | 426.35245491816937 |
| BASE/hidato19/rRHSmA | 1.6672111506897154 | 530.4333333333333 | 318.15606146461784 |
| STANFORD/knightstourmedium/x1wu8Q | 1.6709034839139858 | 14701.5 | 8798.533333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.6719968910433414 | 13624.266666666666 | 8148.5 |
| BASE/chineseCheckers2/eCMR3Q | 1.6720231213872832 | 2892.6 | 1730.0 |
| BASE/ttcc4/Le0qjQ | 1.6720695735367357 | 708.7666666666667 | 423.8858704709843 |
| DRESDEN/cylinder-checkers/clOO3Q | 1.6757348215289647 | 219.73736835088656 | 131.12896236792108 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.6762930138320986 | 13706.433333333332 | 8176.633333333333 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.676400563626646 | 11500.666666666666 | 6860.333333333333 |
| DRESDEN/4pttc/9pB9AQ | 1.6778921405872032 | 1179.1666666666667 | 702.7666666666667 |
| DRESDEN/tpeg/h-Scbg | 1.677999932863377 | 777.5333333333333 | 463.3691087260849 |
| STANFORD/knightstour/cEwgNA | 1.6826385191700808 | 14538.333333333334 | 8640.2 |
| BASE/connect4/50bOyw | 1.6862511463626224 | 453.5 | 268.9397726893977 |
| BASE/solitaireChineseCheckers/-ET6gw | 1.6863928618291562 | 1713.6 | 1016.1333333333333 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 1.6868230694037145 | 5752.066666666667 | 3410.0 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1.6870444022276176 | 242.050529964669 | 143.4760873187802 |
| BASE/untwistycomplex2/EDPPAQ | 1.6879106813745068 | 22682.2 | 13438.033333333333 |
| STANFORD/threepuzzle/41ibjA | 1.6929359062715368 | 9825.8 | 5804.0 |
| BASE/nim1/hin2Qw | 1.6951245300751878 | 9619.266666666666 | 5674.666666666667 |
| STANFORD/buttonsandlights/eyhJpA | 1.698061580510448 | 37069.53333333333 | 21830.5 |
| BASE/connectFourSimultaneous/7ITr3g | 1.6998921875 | 482.3 | 283.7238758708043 |
| DRESDEN/connect4/T0-rHQ | 1.7060604846255436 | 455.51814939502015 | 267.0 |
| BASE/connectFourLarger/qKi60A | 1.706525578772506 | 468.38438718709375 | 274.46666666666664 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.709894329976762 | 735.8 | 430.3189893670211 |
| DRESDEN/chinesecheckers4/-oVNYg | 1.716222799610263 | 704.5666666666667 | 410.53333333333336 |
| BASE/queens06ug/7Lq3tw | 1.71766762338419 | 2653.1666666666665 | 1544.6333333333334 |
| DRESDEN/knightstour/cGISAA | 1.7202014790249855 | 14662.366666666667 | 8523.633333333333 |
| DRESDEN/checkers/jIDMIg | 1.7223348695394365 | 245.39182027265758 | 142.47625395767372 |
| BASE/wargame01/_GZFZg | 1.7230034313395681 | 853.6333333333333 | 495.43333333333334 |
| BASE/pegEuro/5awwhg | 1.7259294566253573 | 603.4798840038666 | 349.6550114996167 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.7260835844047369 | 3857.5666666666666 | 2234.866666666667 |
| DRESDEN/3pffa/0YrmQw | 1.7295921924015336 | 1654.0666666666666 | 956.3333333333334 |
| BASE/pentago/86NgKw | 1.730159094810011 | 441.65194493516884 | 255.26666666666668 |
| BASE/quad/tw-Ufg | 1.7364753440918863 | 2.5987359235137477 | 1.4965579167913798 |
| BASE/beatMania/qUHwvQ | 1.737420460682336 | 7399.5 | 4258.9 |
| DRESDEN/nim4/F5YAYg | 1.737435452717884 | 7346.166666666667 | 4228.166666666667 |
| BASE/3pffa/pR0dzA | 1.7395020877649097 | 1471.9666666666667 | 846.2 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.7448458935651143 | 184.72101859876008 | 105.86666666666666 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.7456619342312825 | 2877.2 | 1648.2 |
| BASE/4pffa/Q3ADlg | 1.7479609093144035 | 1263.9666666666667 | 723.1092296923435 |
| BASE/tron_10x10/7ZTgDg | 1.7485504083795746 | 2804.5 | 1603.9 |
| BASE/escortLatch/mX9BjQ | 1.7525309049542648 | 838.7333333333333 | 478.58404719842673 |
| DRESDEN/3pttc/uwYBZw | 1.7554243095622741 | 1521.2 | 866.5711142961901 |
| BASE/nim4/twk16w | 1.7593326674573941 | 7515.4 | 4271.733333333334 |
| BASE/peg/fJHVWw | 1.7595952212063892 | 744.1666666666666 | 422.9192360254658 |
| BASE/troublemaker02/DI83KA | 1.7617141534060092 | 18514.5 | 10509.366666666667 |
| BASE/factoringGeorgeForman/HGRorQ | 1.7625682189379757 | 5899.433333333333 | 3347.0666666666666 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.7639021975720732 | 9265.366666666667 | 5252.766666666666 |
| BASE/tpeg/QNs7Lw | 1.764403368860401 | 789.1 | 447.23333333333335 |
| DRESDEN/grid_game2/kypTYQ | 1.767445661055728 | 360.4879837338755 | 203.95986800439985 |
| BASE/nim3/1OwUqw | 1.7712585165986372 | 7608.5 | 4295.533333333334 |
| DRESDEN/lightson2x2/gBHuig | 1.7789811062683094 | 5809.5 | 3265.633333333333 |
| BASE/mineClearingSmall/frsbvw | 1.7850974260810797 | 343.1437904139724 | 192.22692576914102 |
| BASE/2pffa/6oHijA | 1.7874207528922956 | 1663.4333333333334 | 930.6333333333333 |
| DRESDEN/nim3/sG_axA | 1.8033614489646923 | 7739.666666666667 | 4291.8 |
| DRESDEN/pentago_2008/hLjVpQ | 1.8042082451744619 | 432.03333333333336 | 239.45868471050966 |
| STANFORD/untwistycorridor/EDPPAQ | 1.8073047665394564 | 23520.866666666665 | 13014.333333333334 |
| BASE/3pttc/0sol9g | 1.807771400798421 | 1353.4333333333334 | 748.6750441651945 |
| DRESDEN/towerworld/HCX34w | 1.8149758866697423 | 40.38922953878966 | 22.25331467785995 |
| DRESDEN/chinesecheckers3/QsCb2A | 1.8174695164356252 | 1306.7 | 718.9666666666667 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 1.8230118622807676 | 385.3076461569229 | 211.35772845430913 |
| DRESDEN/endgame/IJhh3Q | 1.826280171458845 | 421.26666666666665 | 230.66924410078656 |
| BASE/survival/YVIjJA | 1.834098353659187 | 28649.533333333333 | 15620.5 |
| BASE/ttcc4_2player/_aH_Mw | 1.8346248302459645 | 786.9404353188227 | 428.93807079528034 |
| BASE/blocksWorldParallel/RseaAQ | 1.8433350027648312 | 777.8 | 421.9526015799473 |
| DRESDEN/connect5/1kYzSg | 1.8454392187005741 | 464.98916847192135 | 251.96666666666667 |
| BASE/racetrackcorridor/_RkdUg | 1.8457446808510638 | 1399.5666666666666 | 758.2666666666667 |
| DRESDEN/Goldrush/VeWczQ | 1.846106307738581 | 1432.1 | 775.740808639712 |
| DRESDEN/chinesecheckers6/yTbPDA | 1.8468217054263565 | 992.6666666666666 | 537.5 |
| DRESDEN/chinesecheckers2/06E6-Q | 1.847069175011522 | 1469.4666666666667 | 795.5666666666667 |
| DRESDEN/smallest_4player/ADDROA | 1.8479610140165403 | 3880.5333333333333 | 2099.9 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.8509777042056799 | 4770.833333333333 | 2577.4666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.8598330908831604 | 579.5666666666667 | 311.6229459018033 |
| BASE/stateSpaceSmall/Q7osKA | 1.8610765991149083 | 16527.166666666668 | 8880.433333333332 |
| BASE/connect5/d-BVQg | 1.8658847838897308 | 455.15149495016834 | 243.93333333333334 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 1.8665745612745817 | 4233.266666666666 | 2267.9333333333334 |
| BASE/ttcc4_2player_alt/ZEJvYA | 1.8677879913944846 | 955.0 | 511.3 |
| BASE/reversiSuicide/9OxJlg | 1.868819791292902 | 29.832856096424052 | 15.963473971872292 |
| BASE/copolymer_4_pie/IN5_jA | 1.8693254124846304 | 1452.6666666666667 | 777.1074297523415 |
| BASE/minichess/8NQEiA | 1.875711469067371 | 1680.7 | 896.0333333333333 |
| BASE/pentagoSuicide/SBgNhw | 1.8792024808986034 | 463.4739718722922 | 246.63333333333333 |
| BASE/checkers-mustjump-torus/uSApKQ | 1.8855535421639036 | 175.52163189120725 | 93.08758832155712 |
| BASE/gt_ultimatum/GE-uOA | 1.8859138443530625 | 8163.366666666667 | 4328.6 |
| BASE/smallest_4player/ADDROA | 1.8896030932945571 | 3811.8333333333335 | 2017.2666666666667 |
| BASE/four_way_battle/xSOQXA | 1.893753680187537 | 257.50758257507584 | 135.97733711048159 |
| DRESDEN/statespacesmall/h-NqjA | 1.89851885921123 | 16923.966666666667 | 8914.3 |
| BASE/battle/8oAvhQ | 1.8989956599128504 | 91.20901093041856 | 48.03013132457836 |
| BASE/cittaceot/fDxhXg | 1.904625929028655 | 985.1666666666666 | 517.249425019166 |
| BASE/2pttc/unkkYA | 1.9050763844684915 | 1596.2 | 837.8666666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.9066358381502888 | 1374.3666666666666 | 720.8333333333334 |
| BASE/checkers-mustjump/T-8UuQ | 1.9068766234984986 | 225.76666666666668 | 118.3960534648845 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.9082946915473757 | 995.3333333333334 | 521.5826139128695 |
| DRESDEN/battle/8oAvhQ | 1.9096636363636363 | 92.4 | 48.385484354693595 |
| DRESDEN/pancakes6/SZXMyQ | 1.9139622927456232 | 21890.433333333334 | 11437.233333333334 |
| DRESDEN/smallest/9kaGFw | 1.9154837410651364 | 2536.866666666667 | 1324.4 |
| STANFORD/hunter/14dD-g | 1.9206761042074438 | 4219.533333333334 | 2196.9 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.9269730378779606 | 588.4333333333333 | 305.3666666666667 |
| BASE/zhadu/DlA8iQ | 1.9343887030205162 | 21.967780588470244 | 11.356445865387817 |
| BASE/copolymer_4/2LDVhQ | 1.9354125542834584 | 1634.1333333333334 | 844.3333333333334 |
| DRESDEN/pancakes88/aD3E7g | 1.9432355328947868 | 17074.433333333334 | 8786.6 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 1.9442199970284069 | 189.8143518981435 | 97.63007899736675 |
| BASE/breakthroughHoles/nZk0Sg | 1.9456092639705238 | 739.2666666666667 | 379.96666666666664 |
| BASE/rubiksCube/9tNO9Q | 1.9481833774212818 | 761.0 | 390.6203126562448 |
| BASE/conn4/va9Y7A | 1.9486889692585896 | 574.7141761941268 | 294.923502549915 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.950522109062782 | 2521.7 | 1292.8333333333333 |
| DRESDEN/four_way_battle/xSOQXA | 1.962311557788945 | 260.3159789347377 | 132.65782281181254 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 1.9653325113214106 | 190.96030132328923 | 97.16437306321015 |
| DRESDEN/frogs_and_toads/GjchhQ | 1.9654525487728132 | 936.9 | 476.684110529649 |
| BASE/reversi/d8UMeA | 1.968112650945329 | 30.55953610824141 | 15.527330762069424 |
| BASE/lightsOnParallel/SC6enA | 1.9689953402353453 | 3619.866666666667 | 1838.4333333333334 |
| DRESDEN/chomp/-LcqYQ | 1.9719644668794696 | 2656.4333333333334 | 1347.1 |
| BASE/pancakes6/QZTdnw | 1.9723418048630386 | 22006.666666666668 | 11157.633333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1.975299325157826 | 4536.933333333333 | 2296.8333333333335 |
| BASE/haystack/UkweGA | 1.975754710609847 | 37056.333333333336 | 18755.533333333333 |
| STANFORD/nineboardtictactoe/y28P-A | 1.9776185250939102 | 422.83847743483767 | 213.81195213811952 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 1.979495127472098 | 191.05542040190622 | 96.51724712547909 |
| DRESDEN/chinesecheckers1/Y-ftaA | 1.9881031503389606 | 1994.2 | 1003.0666666666667 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 1.9921071067609082 | 193.7075056659112 | 97.23749541804125 |
| DRESDEN/pancakes/hl9aiQ | 2.0032725267819558 | 22527.066666666666 | 11245.133333333333 |
| STANFORD/ttcc4/Cx9SGw | 2.0155186200512674 | 943.5 | 468.1177294090197 |
| BASE/chomp/-LcqYQ | 2.0166554968103854 | 2708.1666666666665 | 1342.9 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 2.0171753034202964 | 186.44180775896547 | 92.42717152189854 |
| STANFORD/freeforall/Lfp40Q | 2.0179877925542664 | 1664.1 | 824.6333333333333 |
| BASE/ruleDepthLinear/OUBJpQ | 2.0227933105184994 | 32371.233333333334 | 16003.233333333334 |
| BASE/snakeParallel/RCVNtw | 2.02428109677906 | 4174.333333333333 | 2062.131262291257 |
| DRESDEN/farmers/S_ASnw | 2.024491765699463 | 1118.6666666666667 | 552.5666666666667 |
| BASE/pancakes/yUgbXw | 2.036907012332343 | 21873.733333333334 | 10738.7 |
| DRESDEN/mummymaze2p/k-8edg | 2.0377157089485856 | 1145.4 | 562.1 |
| BASE/tictactoe_3d_6player/d7KSwg | 2.039970202020202 | 242.3 | 118.77624475104979 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.043768507486717 | 846.2 | 414.0390640623958 |
| BASE/tictactoe_3d_small_2player/oOryKA | 2.0447087809888678 | 818.3333333333334 | 400.2199926669111 |
| BASE/pearls/6k_mEQ | 2.0463393738274176 | 25159.333333333332 | 12294.8 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 2.0481814534595926 | 230.34363230343632 | 112.46251249583472 |
| DRESDEN/checkers-mustjump/HUr33w | 2.0500653261251913 | 239.4840343977068 | 116.81775763231569 |
| BASE/buttons/hTcUjw | 2.0560455783199045 | 22097.966666666667 | 10747.8 |
| BASE/2pffa_zerosum/o0_uZA | 2.0657920655556867 | 1747.8666666666666 | 846.1 |
| BASE/mummymaze2p/vpjDdA | 2.0686290098890496 | 1143.5 | 552.7815739475351 |
| BASE/knightThrough/gcwFjA | 2.069768228711677 | 1105.6333333333334 | 534.1821939268691 |
| BASE/pancakes88/l2Xaig | 2.0802669410969883 | 17653.7 | 8486.266666666666 |
| DRESDEN/brain_teaser_extended/ZDp94A | 2.087119899308659 | 3813.9333333333334 | 1827.3666666666666 |
| DRESDEN/hallway/0H4l-Q | 2.087642429478922 | 380.3873204226526 | 182.20903879482736 |
| BASE/queens08ug/kJ_ZFQ | 2.1005353955978583 | 1647.8 | 784.4666666666667 |
| DRESDEN/knightmove/97Ipcw | 2.100846743448774 | 1745.0333333333333 | 830.6333333333333 |
| BASE/hallway/ckCJOw | 2.1058876863611267 | 381.3 | 181.06378724255148 |
| BASE/duplicateStateSmall/bCPAXw | 2.1071971925806947 | 13250.266666666666 | 6288.1 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 2.1076300741221012 | 151.88987400839943 | 72.06666666666666 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 2.1076852541692936 | 4903.6 | 2326.5333333333333 |
| BASE/knightmove/jBaJEw | 2.1194385059094025 | 1751.4333333333334 | 826.3666666666667 |
| DRESDEN/buttons/ADUaHw | 2.1274396776962545 | 22636.1 | 10640.066666666668 |
| BASE/nineBoardTicTacToe/wRmqqA | 2.1291781958155527 | 437.38959437389593 | 205.4264857838072 |
| DRESDEN/god/2EDD5w | 2.1573929692972156 | 108.68550859885349 | 50.37816945990071 |
| STANFORD/triplesukoshi/Iu9mbA | 2.1679090112015977 | 771.9666666666667 | 356.0881303956535 |
| BASE/god/qF06gw | 2.176250607897516 | 109.55571109555711 | 50.34149591870732 |
| BASE/tictactoe_3d_2player/IUC1rQ | 2.220384303639109 | 272.49700039994667 | 122.72515165655624 |
| STANFORD/dualhunter/1rPZjQ | 2.226628995232209 | 2101.5666666666666 | 943.8333333333334 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 2.228051582844916 | 283.4905503149895 | 127.23697803845769 |
| BASE/brain_teaser_extended/ZDp94A | 2.241492742579962 | 4020.266666666667 | 1793.5666666666666 |
| STANFORD/alquerquezero/uVgA_A | 2.2457407088737638 | 1165.8 | 519.1160294656845 |
| STANFORD/untwistycomplex/HTWEwg | 2.2536783233974558 | 12223.2 | 5423.666666666667 |
| DRESDEN/knightthrough/J7Fc_Q | 2.271307926695076 | 1261.3666666666666 | 555.348155061498 |
| DRESDEN/mimikry/GJEhwA | 2.2726947179946286 | 846.2 | 372.3333333333333 |
| DRESDEN/slidingpieces/s9_44g | 2.273613065137511 | 343.9104059729351 | 151.26162461251292 |
| STANFORD/multipletictactoe/_bkafQ | 2.2850505285166687 | 655.7114762841238 | 286.95710142995233 |
| BASE/catcha_mouse/cHv4dw | 2.290680163599182 | 1418.8 | 619.3793540215327 |
| DRESDEN/aipsrovers01/qS47Mw | 2.291089658041146 | 4406.3 | 1923.2333333333333 |
| BASE/endgame/jYjfOA | 2.29538117705488 | 616.2333333333333 | 268.46666666666664 |
| BASE/tictactoex9/BI26ow | 2.3053504339940405 | 593.1666666666666 | 257.3 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 2.312607795791652 | 893.9 | 386.53333333333336 |
| DRESDEN/skirmish3/3LU8Nw | 2.313409250559284 | 459.56666666666666 | 198.65342310512634 |
| BASE/aipsrovers01/4C4jsw | 2.31449110195494 | 4400.233333333334 | 1901.1666666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 2.340413823464671 | 1417.6666666666667 | 605.7333333333333 |
| DRESDEN/tictactoex9/rFkD4w | 2.35012983701367 | 595.9333333333333 | 253.57464253574642 |
| STANFORD/breakthrough/d5j0cQ | 2.3706034042853115 | 1121.1 | 472.91756941435284 |
| BASE/max_knights/2fq3Ag | 2.3838752488387525 | 1197.5 | 502.3333333333333 |
| DRESDEN/battlesnakes1509/-qZrLw | 2.3896238651102464 | 1228.2666666666667 | 514.0 |
| DRESDEN/cubicup/SBn_lw | 2.4529980294789944 | 345.73333333333335 | 140.94317613731045 |
| BASE/cubicup/4wNWJA | 2.5001561250640307 | 348.02173260891306 | 139.2 |
| DRESDEN/golden_rectangle/1uloXw | 2.5140138482244225 | 282.72390920302655 | 112.45916938870742 |
| STANFORD/multiplesukoshi/vLSQPg | 2.5251456013231888 | 123.35021997067058 | 48.848755456332675 |
| BASE/cubicup_3player/e2yA_g | 2.528071210411708 | 159.89467017766074 | 63.24769235895898 |
| BASE/slidingpieces/uFJWEw | 2.5403316341291644 | 370.7419505366309 | 145.94234294284286 |
| DRESDEN/capture_the_king/EQ229Q | 2.5671356003579513 | 120.86776859504133 | 47.08273633001233 |
| DRESDEN/battlesnakes2011/93VtTw | 2.5810272403164967 | 1246.7666666666667 | 483.05056498116727 |
| BASE/mummymaze1p/PT_EXA | 2.6001948518100706 | 1690.3 | 650.0666666666667 |
| BASE/wallmaze/uxNQ9g | 2.6246609639056953 | 838.6666666666666 | 319.53333333333336 |
| DRESDEN/max_knights/hCipiA | 2.6258308960382877 | 1316.7666666666667 | 501.46666666666664 |
| BASE/golden_rectangle/_nYzfw | 2.66282165039929 | 300.1 | 112.7 |
| BASE/amazons/RKKZjw | 2.7220762104714695 | 2.3242686854600394 | 0.8538587848932676 |
| DRESDEN/cubicup_3player/awDtsQ | 2.7244471775653936 | 167.62755357083347 | 61.5271806152718 |
| BASE/colonelBlotto/jip21A | 2.762490052170837 | 3124.1 | 1130.9 |
| BASE/brawl/6Ymo_Q | 2.7737808784405735 | 160.4506216045062 | 57.845456665889174 |
| DRESDEN/mummymaze1p/AekgaQ | 2.8038107955420886 | 1819.7666666666667 | 649.0333333333333 |
| DRESDEN/brawl/2kXtfQ | 2.8359737125702633 | 161.650501616505 | 57.0 |
| BASE/hitori/S8Gsyg | 2.8869011914657796 | 115.06666666666666 | 39.85819362533961 |
| BASE/cephalopodMicro/9l2D3g | 2.9107118019186493 | 51.50414764966519 | 17.694691592522243 |
| DRESDEN/CephalopodMicro/H3XQfg | 2.9398744629132474 | 51.44608823137412 | 17.499416686110465 |
| BASE/ticTacToeNoVars/XT03NA | 3.0719897625141366 | 3440.8333333333335 | 1120.0666666666666 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 3.1007370574128936 | 12.290167865707435 | 3.963627885287946 |
| DRESDEN/hitori/S8Gsyg | 3.163790639041901 | 120.21329778370271 | 37.996603283492625 |
| DRESDEN/blockerparallel/dVQgSg | 3.4107878665827567 | 903.2 | 264.8068526480685 |
| BASE/blockerParallel/7-nDJA | 3.5678980228928205 | 914.3333333333334 | 256.26666666666665 |
| BASE/queens12ug/u6Bkmg | 3.6476943830570905 | 792.2 | 217.17828217178283 |
| BASE/simultaneousWin2/PfjRjw | 3.7528477735588543 | 1087.2 | 289.7 |
| DRESDEN/amazons/dNB28A | 3.854987682209181 | 37.370103916866505 | 9.693961952026468 |
| BASE/duplicateStateMedium/U163eQ | 4.1867576045962425 | 7918.833333333333 | 1891.4 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 4.3688522184490335 | 2615.4 | 598.6469372792109 |
| BASE/lightsOnSimul4/9FeASw | 4.393702859214752 | 1413.7 | 321.7559414686177 |
| DRESDEN/statespacemedium/dVJZ_w | 4.424990226739641 | 12073.733333333334 | 2728.5333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 4.4467872098843815 | 12140.766666666666 | 2730.233333333333 |
| BASE/queens31lg/0gID-A | 4.58586816457649 | 3.3606175550675452 | 0.732820359081976 |
| DRESDEN/battlebrushes/QHXV4A | 4.585887268669992 | 92.19692676910769 | 20.10449044375372 |
| BASE/lightsOnSimultaneous/_VN6lw | 4.588142620232173 | 1844.4333333333334 | 402.0 |
| DRESDEN/laikLee_hex/ZeP3QQ | 4.892981695121721 | 120.17324670997834 | 24.56033032573788 |
| BASE/queens16ug/gT-ylw | 5.192551505546751 | 436.85210492983566 | 84.13052898236725 |
| BASE/twisty-passages/DiZmmg | 5.850215299251509 | 6747.833333333333 | 1153.4333333333334 |
| DRESDEN/twisty-passages/j7NPyg | 6.3574513362959255 | 6771.533333333334 | 1065.1333333333334 |
| BASE/duplicateStateLarge/dcjyuw | 7.64393817851222 | 4764.466666666666 | 623.3 |
| BASE/battlebrushes/arCwyA | 7.821853326824594 | 66.92441007865618 | 8.55608092894593 |
| BASE/stateSpaceLarge/0Ge_CQ | 8.835922262468655 | 8456.566666666668 | 957.0666666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 9.209555830826401 | 8673.866666666667 | 941.8333333333334 |
| BASE/merrills/pku8Tg | 9.484863751103145 | 200.9866008932738 | 21.190246498785804 |
| DRESDEN/merrills/aYEzwA | 9.82628566878981 | 205.3 | 20.892940315390245 |
| BASE/laikLee_hex/zbyscQ | 10.820118624969277 | 140.82956438943108 | 13.015528689717204 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 11.495160287680747 | 717.609413019566 | 62.4270906242709 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 12.192941111743501 | 713.9333333333333 | 58.5530042989969 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 13.545261018399657 | 703.3333333333334 | 51.92467922012998 |
| BASE/ad_game_2x2/D0aWqg | 45.299858765432106 | 813.0666666666667 | 17.948547497174765 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 50.72008518567816 | 14.474910155730068 | 0.2853881278538813 |
| BASE/ruleDepthExponential/UamhHQ | 66.06727838912275 | 611.3769047568867 | 9.253853339560953 |
| DRESDEN/small_dominion/yB5GJA | 72.5592045140839 | 132.57146664889717 | 1.8270799347471451 |
| BASE/gt_attrition/kD_SCA | 107.92542156540779 | 2158.366666666667 | 19.99868645737554 |
| BASE/queens/HyJJnQ | 110.25639157882709 | 493.9012197560488 | 4.479569961283717 |
| DRESDEN/queens/mW2wHQ | 124.44057062862477 | 507.2995133657756 | 4.076640847941296 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 722.8364647877941 | 476.38083816376843 | 0.659043727551323 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 923.4973668422106 | 474.63502433171124 | 0.5139538469445444 |
| DRESDEN/satlike_20v_91c/yeuENQ | 924.5005162708591 | 497.6184924890917 | 0.5382565869149823 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1040.4030316666665 | 459.6333333333333 | 0.4417839234830245 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException |