Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
| BASE/quad/tw-Ufg | 0.0032089346637752775 | 0.5939025999736043 | 185.07780999033622 |
| DRESDEN/quad/JPe6fg | 0.027347358876470846 | 4.9606455453403 | 181.39395353488217 |
| DRESDEN/quad_7x7/q-JOXg | 0.05319230049351438 | 34.80610816266727 | 654.3448551714943 |
| BASE/quad_7x7/q-JOXg | 0.053942833940927554 | 35.214506274226395 | 652.8115729475684 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.06296287176817096 | 29.082550469718168 | 461.9 |
| DRESDEN/grid_game2/kypTYQ | 0.31289850547530923 | 524.4491850271658 | 1676.1 |
| BASE/sudokuGrade1/tDRNRw | 0.4891992467778726 | 94.31132735695004 | 192.78714752349845 |
| BASE/sudokuGrade3/eI8dvg | 0.49150461070489093 | 92.9240409292404 | 189.06036465451152 |
| BASE/queens31lg/0gID-A | 0.49626957505266217 | 18.553679091302755 | 37.386291693045884 |
| BASE/sudokuGrade6H/ieE_9A | 0.5024319942352728 | 92.96356788107063 | 185.0271657611413 |
| BASE/sudokuGrade2/u80Tfw | 0.5050734548731234 | 95.19365375641624 | 188.47487001733103 |
| STANFORD/sudoku/oJ1qyQ | 0.5051234486053874 | 93.96666666666667 | 186.02713242891903 |
| BASE/sudokuGrade4/DTy07w | 0.5061600495838497 | 95.26666666666667 | 188.21451188214513 |
| BASE/sudokuGrade6E/ihYFZA | 0.5180421199292158 | 91.74525943946412 | 177.1 |
| BASE/sudokuGrade5/BQfUQA | 0.5238095238095237 | 97.16342788573714 | 185.4938168727709 |
| STANFORD/duidoku/3SoMaA | 0.526135677002762 | 85.15247458756873 | 161.84508732169044 |
| STANFORD/selectivesukoshi/3xmXYg | 0.5489382315808438 | 221.81854543030465 | 404.08653044898506 |
| STANFORD/multiplesukoshi/vLSQPg | 0.6041337494802365 | 229.78468102126524 | 380.3539882003933 |
| BASE/blokbox_simple/JBx4bg | 0.6645476257593264 | 4.739807756049055 | 7.132382349020131 |
| DRESDEN/lightsout/XgLpzQ | 0.8021499964046882 | 2231.1 | 2781.4 |
| BASE/blocksWorldParallel/RseaAQ | 0.8049353256443763 | 1416.7666666666667 | 1760.1 |
| BASE/ticTacHeaven/18n58A | 0.8203178163257638 | 510.1829939002033 | 621.9333333333333 |
| BASE/conn4/va9Y7A | 0.8301528675489894 | 1078.8666666666666 | 1299.6 |
| BASE/ticTacHeavenFC/mrletw | 0.835249806496573 | 477.31742275257494 | 571.4666666666667 |
| BASE/snake2p/I3wWPQ | 0.8441728373033573 | 946.2333333333333 | 1120.9 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.8686799202064159 | 664.511182960568 | 764.9666666666667 |
| BASE/withConviction/3Xm54A | 0.8751985724544643 | 1340.6 | 1531.7666666666667 |
| BASE/futoshiki6/JmvXNA | 0.9227780574164604 | 509.6333333333333 | 552.2815906136462 |
| BASE/cubicup_3player/e2yA_g | 0.9405891575212476 | 379.9540015332822 | 403.953201559948 |
| DRESDEN/cubicup_3player/awDtsQ | 0.9424139391302434 | 375.16248375162485 | 398.0867304423186 |
| DRESDEN/slidingpieces/s9_44g | 0.9545229588282416 | 775.740808639712 | 812.7 |
| DRESDEN/lightsout2/LFtfyQ | 0.9578142791111912 | 2832.0333333333333 | 2956.766666666667 |
| BASE/lightsOut/5P1ZBw | 0.9617213609528438 | 2177.4333333333334 | 2264.1 |
| BASE/slidingpieces/uFJWEw | 0.9710767946577631 | 775.5666666666667 | 798.6666666666666 |
| BASE/futoshiki5/TJ4BZg | 1.012821046497107 | 811.0333333333333 | 800.7666666666667 |
| BASE/coins_atomic/AA3SSw | 1.0279055955702865 | 1415.186160461318 | 1376.7666666666667 |
| BASE/coins/QnGtnQ | 1.028827329678935 | 1401.4 | 1362.1333333333334 |
| DRESDEN/coins/QwFP9w | 1.086429249032126 | 1412.4666666666667 | 1300.1 |
| STANFORD/triplesukoshi/Iu9mbA | 1.0898619288818039 | 1412.9333333333334 | 1296.4333333333334 |
| BASE/futoshiki4/BaCwSw | 1.1241142366330257 | 1570.5 | 1397.1 |
| STANFORD/nineboardtictactoe/y28P-A | 1.1442024720423778 | 712.8 | 622.9666666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 1.1488574537540805 | 703.8666666666667 | 612.6666666666666 |
| BASE/othelloSuicide/B442jg | 1.159747013312336 | 22.747710241465445 | 19.614372772986112 |
| BASE/othello-comp2007/86ZoMw | 1.1705726246687163 | 23.487141954156826 | 20.064660200646603 |
| BASE/tictactoex9/BI26ow | 1.2019057266026967 | 1000.6666444451852 | 832.5666666666667 |
| STANFORD/duikoshi/tpw1sw | 1.2082095006090134 | 1653.2333333333333 | 1368.3333333333333 |
| DRESDEN/tictactoex9/rFkD4w | 1.2281216428394348 | 990.7666666666667 | 806.7333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 1.2421353672969477 | 1002.8666666666667 | 807.3730875637478 |
| BASE/othelloHoles/c0qAzw | 1.2509993004896571 | 25.815262649478697 | 20.635713097021135 |
| DRESDEN/golden_rectangle/1uloXw | 1.254481031517175 | 551.0333333333333 | 439.25202493250225 |
| BASE/queens08lg/Ru7eqQ | 1.2699601966752516 | 723.2 | 569.4666666666667 |
| BASE/majorities/ibJzSQ | 1.3008373559899915 | 525.6333333333333 | 404.0730617958803 |
| BASE/golden_rectangle/_nYzfw | 1.3182787509520182 | 576.9666666666667 | 437.6666666666667 |
| BASE/quad_5x5/JAEP5g | 1.3566146347046901 | 287.5379128753791 | 211.95253649756683 |
| BASE/lightsOnSimul4/9FeASw | 1.3886202348803618 | 1474.0666666666666 | 1061.5333333333333 |
| DRESDEN/quad_5x5/JAEP5g | 1.3886567757276518 | 293.0235658811373 | 211.0122321101223 |
| DRESDEN/CephalopodMicro/H3XQfg | 1.3925697093452065 | 116.90215942415355 | 83.94707901489653 |
| BASE/zhadu/DlA8iQ | 1.398003810462269 | 55.06299580027998 | 39.386871042985675 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.4109665382471952 | 1941.0666666666666 | 1375.7 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.4175724514363608 | 426.5191160294657 | 300.8799413372442 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.4754432124287415 | 1570.1666666666667 | 1064.2 |
| BASE/cephalopodMicro/9l2D3g | 1.5040498650045 | 115.6961434618846 | 76.92307692307692 |
| DRESDEN/pawn_whopping/4ogBkg | 1.519285844860155 | 1662.2 | 1094.0666666666666 |
| DRESDEN/sum15/CsgWKg | 1.5306913675813614 | 7777.8 | 5081.233333333334 |
| BASE/breakthroughSmallHoles/bxclRw | 1.531266087272507 | 1685.5666666666666 | 1100.7666666666667 |
| BASE/sum15/QZ07Kg | 1.5395231138474381 | 7868.4 | 5110.933333333333 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.5410862740767617 | 3256.366666666667 | 2113.0333333333333 |
| BASE/cubicup/4wNWJA | 1.6149778962227415 | 737.2666666666667 | 456.5181160627979 |
| DRESDEN/cubicup/SBn_lw | 1.6230312797597244 | 738.5333333333333 | 455.03333333333336 |
| BASE/wallmaze/uxNQ9g | 1.6427175430432759 | 1176.7333333333333 | 716.3333333333334 |
| DRESDEN/catcha_mouse/cHv4dw | 1.6522499514199263 | 1983.9666666666667 | 1200.7666666666667 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.656482982171799 | 2044.1 | 1234.0 |
| DRESDEN/blocker/S815zQ | 1.664161764832906 | 6422.166666666667 | 3859.1 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.6757593814599838 | 7593.033333333334 | 4531.1 |
| DRESDEN/tictactoelarge/IwXcbg | 1.6794746231067892 | 3200.9666666666667 | 1905.9333333333334 |
| BASE/simultaneousWin2/PfjRjw | 1.68656276602711 | 1717.0333333333333 | 1018.0666666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.68836006735954 | 3308.5666666666666 | 1959.6333333333334 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 1.7137991040023695 | 385.6047984005331 | 225.0 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.724470932726009 | 7773.8 | 4507.933333333333 |
| DRESDEN/bunk_t/7-tPfA | 1.733112111874852 | 3412.266666666667 | 1968.8666666666666 |
| BASE/doubletictactoe/HH1htg | 1.7353108478886434 | 3457.4333333333334 | 1992.4 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.7384243085260485 | 3400.3 | 1955.9666666666667 |
| BASE/catcha_mouse/cHv4dw | 1.7417647569193395 | 2007.5 | 1152.5666666666666 |
| BASE/eotcitcit/V_9_bg | 1.7462464439995784 | 4419.633333333333 | 2530.9333333333334 |
| BASE/bunk_t/xbpfIA | 1.7712962481136494 | 3403.9 | 1921.7 |
| BASE/doubletoetictac/fu35bg | 1.7912464386219433 | 3415.9666666666667 | 1907.0333333333333 |
| BASE/3pConnectFour/PqXOFQ | 1.8024122807017542 | 1369.8333333333333 | 760.0 |
| DRESDEN/connect4/T0-rHQ | 1.8030526253756851 | 1019.8666666666667 | 565.6333333333333 |
| DRESDEN/mimikry/GJEhwA | 1.8072856980781322 | 1469.0333333333333 | 812.8395720142662 |
| STANFORD/sukoshi/4LYZZQ | 1.8319909454622023 | 4640.066666666667 | 2532.8 |
| STANFORD/breakthrough/d5j0cQ | 1.832858358932603 | 1650.7333333333333 | 900.6333333333333 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.849167164017145 | 1136.0666666666666 | 614.3666666666667 |
| DRESDEN/peg/Vo31eg | 1.8585273926504242 | 1380.7 | 742.9 |
| DRESDEN/tictictoe/LAUtwg | 1.8594533284790098 | 4426.366666666667 | 2380.4666666666667 |
| BASE/connect4/50bOyw | 1.8666303426564959 | 1027.7666666666667 | 550.6 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.8672189978290725 | 1404.8333333333333 | 752.3666666666667 |
| DRESDEN/blockerparallel/dVQgSg | 1.8789016777214202 | 1284.1666666666667 | 683.4666666666667 |
| BASE/ticTacToeLarge/TZC0dg | 1.8828148295398073 | 3157.1666666666665 | 1676.8333333333333 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.8896728148340398 | 1456.1333333333334 | 770.5743141895271 |
| BASE/blocksWorldSerial/Wyg96Q | 1.919721955682503 | 5735.233333333334 | 2987.5333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 1.9285542513199578 | 1521.9 | 789.1403619879337 |
| DRESDEN/eotcatcit/mQUxzA | 1.9303613511390418 | 6552.933333333333 | 3394.6666666666665 |
| DRESDEN/doubletoetictac/V89gKQ | 1.9376673251970975 | 3498.2 | 1805.3666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.9452447945976363 | 1152.2333333333333 | 592.3333333333334 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.947802476140301 | 3204.2 | 1645.0333333333333 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.949216843413054 | 5857.266666666666 | 3004.9333333333334 |
| BASE/snakeAssemblit/UO4sdg | 1.954496018356926 | 1007.9 | 515.6828105729809 |
| BASE/toetictac/mTThmg | 1.956486692567445 | 8980.6 | 4590.166666666667 |
| BASE/ticTicToe/c1OobQ | 1.9771082853536126 | 4280.966666666666 | 2165.266666666667 |
| BASE/blockerParallel/7-nDJA | 1.9832495041913718 | 1293.3 | 652.111596280124 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 1.9859570041608874 | 1527.3333333333333 | 769.0666666666667 |
| BASE/eotcatcit/AfZSzA | 1.9970773381294962 | 6514.2 | 3261.866666666667 |
| DRESDEN/latenttictactoe/kITHKg | 2.0071502647235415 | 3677.3 | 1832.1 |
| BASE/pawnWhopping/Ypc_6Q | 2.0096409289570656 | 1563.3666666666666 | 777.9333333333333 |
| BASE/lightsOnParallel/SC6enA | 2.013595560025329 | 5405.9 | 2684.7 |
| BASE/tictactoe_3d_small_2player/oOryKA | 2.0139997492582222 | 1606.4333333333334 | 797.6333333333333 |
| STANFORD/tictictoe/rpt_Dw | 2.0175869243088713 | 4493.233333333334 | 2227.0333333333333 |
| BASE/numbertictactoe/rvJ-iQ | 2.017826948161747 | 4176.7 | 2069.9 |
| DRESDEN/tictactoe/BTTzPw | 2.021362100186894 | 6958.0 | 3442.233333333333 |
| DRESDEN/tpeg/h-Scbg | 2.0294382832927598 | 1500.5666666666666 | 739.4 |
| BASE/hidato19/rRHSmA | 2.0322079863647433 | 1205.5333333333333 | 593.213559548015 |
| STANFORD/dualrainbow/G3OnRQ | 2.038961038961039 | 7452.266666666666 | 3654.9333333333334 |
| DRESDEN/brain_teaser_extended/ZDp94A | 2.0616157952013268 | 6630.5 | 3216.1666666666665 |
| DRESDEN/toetictac/mJtxCA | 2.062432770942312 | 9331.133333333333 | 4524.333333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.0637948458817585 | 1633.7 | 791.6 |
| BASE/blocker/dIWtxg | 2.0681299730405267 | 6316.0 | 3053.9666666666667 |
| BASE/brain_teaser_extended/ZDp94A | 2.0729744926647244 | 6758.933333333333 | 3260.5 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.0779256794231835 | 1998.1333333333334 | 961.6 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.080643503289474 | 8096.2 | 3891.2 |
| BASE/tpeg/QNs7Lw | 2.0835893438488697 | 1514.7 | 726.9666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 2.0886745754032603 | 815.7666666666667 | 390.56666666666666 |
| DRESDEN/blocksworldparallel/2JfVaw | 2.092155934545361 | 5450.833333333333 | 2605.366666666667 |
| BASE/chickentoetictac/l57rfQ | 2.1120194980117155 | 8232.3 | 3897.8333333333335 |
| STANFORD/dualhunter/1rPZjQ | 2.1230997484249685 | 3291.3 | 1550.2333333333333 |
| BASE/blocks2player/wnTLOQ | 2.152207467049811 | 10086.033333333333 | 4686.366666666667 |
| BASE/queens16ug/gT-ylw | 2.1600912818654234 | 599.7133428885704 | 277.6333333333333 |
| BASE/blocksWorld/SEdXLQ | 2.164983051337811 | 14966.6 | 6913.033333333334 |
| DRESDEN/blocks/vg0DRw | 2.17983493716634 | 14958.1 | 6862.033333333334 |
| BASE/connectFourSimultaneous/7ITr3g | 2.1818274539912985 | 1041.9333333333334 | 477.5507483083897 |
| BASE/chickentictactoe/DSlZCA | 2.1896842582334575 | 5797.7 | 2647.733333333333 |
| DRESDEN/blocks2player/3ev8nQ | 2.1912817873836787 | 10219.7 | 4663.8 |
| BASE/queens12ug/u6Bkmg | 2.1924745428687524 | 1079.1 | 492.183593880204 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.195812997688158 | 2849.4333333333334 | 1297.6666666666667 |
| BASE/blocks/xIV5hQ | 2.2073138647724284 | 15102.0 | 6841.8 |
| DRESDEN/stratego/Z2wovg | 2.2100726795643735 | 1492.6333333333334 | 675.3774874170861 |
| BASE/minichess-evilconjuncts/4OpQzw | 2.26665758766467 | 476.11746275124165 | 210.05266315578962 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.2818653193441754 | 6879.9 | 3015.0333333333333 |
| BASE/hallway/ckCJOw | 2.283115160493827 | 616.4 | 269.98200119992 |
| BASE/tictactoe2/bhrDoQ | 2.288468685594585 | 6773.333333333333 | 2959.766666666667 |
| BASE/battlebrushes/arCwyA | 2.296745810227378 | 296.6901103296557 | 129.17847025495752 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 2.299019217519222 | 474.68417719409354 | 206.47247033728837 |
| DRESDEN/hallway/0H4l-Q | 2.3060505323505325 | 625.6666666666666 | 271.31524565028997 |
| BASE/tictactoe-init1/7M19vA | 2.3091924846451963 | 6792.566666666667 | 2941.5333333333333 |
| STANFORD/trifecta/ss1kyQ | 2.316074241490309 | 6763.4 | 2920.2 |
| BASE/tictactoe_3player/GtM71g | 2.328439793846634 | 1987.8666666666666 | 853.7333333333333 |
| BASE/copolymer_4_pie/IN5_jA | 2.3652714408516826 | 2384.6666666666665 | 1008.2 |
| STANFORD/tictactoe/ss1kyQ | 2.386174636174636 | 6886.5 | 2886.0 |
| BASE/incredible/8Qh-6Q | 2.392074152947279 | 5840.966666666666 | 2441.8 |
| STANFORD/tictactoe7/-bE9-A | 2.396787167375953 | 6833.4 | 2851.0666666666666 |
| BASE/ticTacToeNoVars/XT03NA | 2.425710367700992 | 5070.866666666667 | 2090.4666666666667 |
| BASE/queens08ug/kJ_ZFQ | 2.4267222625090645 | 2230.9666666666667 | 919.3333333333334 |
| BASE/ticTacToe/JRFsaQ | 2.4355230583222984 | 7050.433333333333 | 2894.8333333333335 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.4380153066883574 | 6594.1 | 2704.7 |
| BASE/copolymer_4/2LDVhQ | 2.4606036488306597 | 2679.4333333333334 | 1088.9333333333334 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.5130384302798094 | 10822.4 | 4306.5 |
| BASE/racetrackcorridor/_RkdUg | 2.526185944879115 | 2389.266666666667 | 945.8 |
| BASE/coloredtrails/EZvr7g | 2.5357517164673924 | 3951.8 | 1558.4333333333334 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.53804601937922 | 1574.4666666666667 | 620.3459884670511 |
| STANFORD/tictactoe5/WFRReg | 2.538743824982357 | 6595.233333333334 | 2597.8333333333335 |
| BASE/stateSpaceSmall/Q7osKA | 2.548746985745246 | 22266.533333333333 | 8736.266666666666 |
| STANFORD/tictactoe3/X7myng | 2.549209320249384 | 6174.1 | 2421.9666666666667 |
| DRESDEN/chomp/-LcqYQ | 2.567117792674774 | 4735.733333333334 | 1844.7666666666667 |
| BASE/chomp/-LcqYQ | 2.584280506111945 | 4820.2 | 1865.2 |
| BASE/lightsOn/MsXu3A | 2.5891604946120346 | 13575.4 | 5243.166666666667 |
| DRESDEN/javastrike/whONTQ | 2.5929934990439776 | 723.2 | 278.9054427890544 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.5952716014635517 | 3381.0333333333333 | 1302.7666666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 2.608537181076917 | 2314.0333333333333 | 887.1 |
| BASE/qyshinsu/R08Lzw | 2.6104305084745762 | 549.2666666666667 | 210.4122921041229 |
| DRESDEN/backgammon/mqCW0Q | 2.613258519558099 | 806.8333333333334 | 308.74608359442703 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.6609802673456393 | 3483.6666666666665 | 1309.1666666666667 |
| BASE/factoringGeorgeForman/HGRorQ | 2.662260449077469 | 13433.5 | 5045.9 |
| BASE/hodgepodge/9yjRkw | 2.6802761713184147 | 8527.566666666668 | 3181.6 |
| BASE/crisscross/ICagEg | 2.687206939668646 | 2292.366666666667 | 853.0666666666667 |
| BASE/switches/tPUoCg | 2.692010378939402 | 16599.833333333332 | 6166.333333333333 |
| DRESDEN/statespacesmall/h-NqjA | 2.6995722212906674 | 23076.033333333333 | 8548.033333333333 |
| BASE/onestep/xi53wA | 2.7347198850169394 | 40844.5 | 14935.533333333333 |
| BASE/circlesolitaire/azuQFQ | 2.7814052750761613 | 11382.066666666668 | 4092.2 |
| BASE/ticTacToeParallel/ymRGPw | 2.8025363479151992 | 2917.0666666666666 | 1040.8666666666666 |
| DRESDEN/ticblock/Z2yNWQ | 2.8246943266111653 | 4150.7 | 1469.4333333333334 |
| BASE/ticblock/T21C1g | 2.8321988285578596 | 4174.566666666667 | 1473.9666666666667 |
| DRESDEN/circlesolitaire/ruUilQ | 2.8442197544342784 | 11636.366666666667 | 4091.233333333333 |
| BASE/ticTacToeSerial/Amrwqw | 2.853026453444926 | 3181.6 | 1115.1666666666667 |
| BASE/mineClearingSmall/frsbvw | 2.873085059873721 | 733.0666666666667 | 255.14965668955404 |
| DRESDEN/troublemaker01/C-lPWw | 2.8764062213656976 | 32438.0 | 11277.266666666666 |
| BASE/stateSpaceMedium/3bUoIw | 2.889491365947514 | 15968.966666666667 | 5526.566666666667 |
| STANFORD/rainbow/_4qNSQ | 2.8938354558033725 | 16452.033333333333 | 5685.2 |
| BASE/troublemaker01/s3tlEQ | 2.900315585192888 | 31982.166666666668 | 11027.133333333333 |
| DRESDEN/lightson2x2/gBHuig | 2.928347613219094 | 7974.866666666667 | 2723.3333333333335 |
| BASE/duplicateStateSmall/bCPAXw | 2.931342754814532 | 17651.666666666668 | 6021.7 |
| DRESDEN/crisscross/GsY16g | 2.9545435863712957 | 2396.233333333333 | 811.0333333333333 |
| DRESDEN/statespacelarge/8-y5HQ | 2.986933555740895 | 10744.0 | 3597.0 |
| BASE/blockerSerial/3eqDuw | 2.999549284055057 | 2883.866666666667 | 961.4333333333333 |
| DRESDEN/firefighter/WJmoPw | 3.009292179383655 | 8323.0 | 2765.766666666667 |
| BASE/snakeParallel/RCVNtw | 3.0292761267699015 | 6853.333333333333 | 2262.366666666667 |
| DRESDEN/buttons/ADUaHw | 3.0355435417643815 | 24593.366666666665 | 8101.8 |
| BASE/survival/YVIjJA | 3.0505852000597873 | 31294.733333333334 | 10258.6 |
| DRESDEN/8puzzle/8fKC2w | 3.062045265004458 | 7098.433333333333 | 2318.2 |
| BASE/queens06ug/7Lq3tw | 3.0737290542459528 | 3607.5333333333333 | 1173.6666666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 3.0808792253609227 | 16417.8 | 5328.933333333333 |
| DRESDEN/battlesnakes1509/-qZrLw | 3.096446700507614 | 2236.6666666666665 | 722.3333333333334 |
| DRESDEN/troublemaker02/iZLVuA | 3.1074997411666425 | 29014.0 | 9336.766666666666 |
| BASE/firefighter/WJmoPw | 3.110481836528759 | 8219.966666666667 | 2642.6666666666665 |
| STANFORD/hunter/14dD-g | 3.1342786277791057 | 6992.366666666667 | 2230.9333333333334 |
| BASE/stateSpaceLarge/0Ge_CQ | 3.1488021655763596 | 11632.2 | 3694.1666666666665 |
| BASE/tictactoe_3d_6player/d7KSwg | 3.1780136142918143 | 448.73675088327445 | 141.2003865764655 |
| BASE/snake_2009/7l-qAQ | 3.1782287320630442 | 1501.1333333333334 | 472.3175894136862 |
| DRESDEN/Goldrush/VeWczQ | 3.18217579782328 | 1725.0 | 542.0819306023133 |
| BASE/troublemaker02/DI83KA | 3.183780330681137 | 29570.633333333335 | 9287.9 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.196931327275436 | 2146.1 | 671.3 |
| DRESDEN/battlesnakes2011/93VtTw | 3.205561438239492 | 2320.9333333333334 | 724.0333333333333 |
| DRESDEN/snake_2009/zIYLVw | 3.2069313351105992 | 1483.6333333333334 | 462.6333333333333 |
| BASE/buttons/hTcUjw | 3.2175812489365323 | 25212.966666666667 | 7836.0 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 3.227778969864246 | 41.33910726182545 | 12.807291839925485 |
| BASE/snake_2009_big/-oRfVw | 3.247757073844031 | 1254.9333333333334 | 386.4 |
| DRESDEN/snake_2009_big/DgC1NQ | 3.2621283255086073 | 1250.7 | 383.4 |
| BASE/alexChess/LNo83g | 3.316479564933477 | 46.83388294860264 | 14.121565362198169 |
| BASE/haystack/UkweGA | 3.339883286903914 | 44679.4 | 13377.533333333333 |
| DRESDEN/3pttc/uwYBZw | 3.3406667997604313 | 2788.9 | 834.8333333333334 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 3.3438468425039596 | 6474.133333333333 | 1936.1333333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 3.3678904421018445 | 16591.8 | 4926.466666666666 |
| DRESDEN/towerworld/HCX34w | 3.36940591430779 | 109.89267382174522 | 32.61485158410234 |
| DRESDEN/connectfour/5tc-Mg | 3.42609200253218 | 2164.8333333333335 | 631.8666666666667 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 3.428647079071163 | 12949.2 | 3776.766666666667 |
| BASE/pentago/86NgKw | 3.462582210479965 | 786.3 | 227.08486100926604 |
| BASE/tron_10x10/7ZTgDg | 3.4780791673237657 | 4410.9 | 1268.2 |
| BASE/reversi/d8UMeA | 3.4902478555361753 | 128.30767179897353 | 36.76176509798694 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.505351062104751 | 4323.5 | 1233.4 |
| BASE/connectFourSuicide/c8p9Kw | 3.5072453251033298 | 2140.1666666666665 | 610.2129929002367 |
| BASE/connectFour/WAIKTw | 3.5443515772445404 | 2191.0 | 618.1666666666666 |
| DRESDEN/3pffa/0YrmQw | 3.5499800876144962 | 2971.3333333333335 | 837.0 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 3.5518577997923235 | 18357.066666666666 | 5168.3 |
| BASE/pearls/6k_mEQ | 3.5538980353522915 | 31264.233333333334 | 8797.166666666666 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 3.5560770811744393 | 457.53333333333336 | 128.66237792073596 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 3.56968552313899 | 18097.353686175178 | 5069.733333333334 |
| BASE/reversiSuicide/9OxJlg | 3.576698187101533 | 130.89842708611036 | 36.597560162655824 |
| BASE/pentagoSuicide/SBgNhw | 3.578195598309285 | 818.3333333333334 | 228.7 |
| BASE/escortLatch/mX9BjQ | 3.650203327171904 | 1645.6333333333334 | 450.8333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 3.6609051626108715 | 536.5308979401374 | 146.55689620691953 |
| BASE/dualConnect4/WbCQkg | 3.6695810068649886 | 1282.8 | 349.57669488700753 |
| BASE/pegEuro/5awwhg | 3.691655741336191 | 1148.0666666666666 | 310.9896336788774 |
| BASE/biddingTicTacToe/8mESVw | 3.7769215570045445 | 4460.166666666667 | 1180.9 |
| DRESDEN/logistics/fPru1Q | 3.7797479815890744 | 3339.5333333333333 | 883.5333333333333 |
| DRESDEN/bidding-tictactoe/yW5vTA | 3.7822207534699275 | 4959.5 | 1311.2666666666667 |
| STANFORD/connectfour/VMpZkQ | 3.7995847846908655 | 2159.6666666666665 | 568.3954403039797 |
| BASE/connectFour_9x6/B9TtMw | 3.8582641114526783 | 1966.3 | 509.6333333333333 |
| STANFORD/8puzzle/jNiGtw | 3.8704743141773843 | 6941.566666666667 | 1793.4666666666667 |
| BASE/tictactoe_3d_2player/IUC1rQ | 3.8879214728312683 | 543.7 | 139.8433594400933 |
| STANFORD/eightpuzzle/W_aWbA | 3.9264409437061376 | 7012.1 | 1785.8666666666666 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.9494158192090394 | 784.4333333333333 | 198.62009199386708 |
| BASE/eightPuzzle/vLrgFg | 3.949692185670582 | 6971.733333333334 | 1765.1333333333334 |
| BASE/hexPie/48CH6Q | 4.053983945857963 | 525.7666666666667 | 129.69135390973935 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 4.056677966101694 | 1994.5333333333333 | 491.6666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 4.070703058503093 | 2391.266666666667 | 587.4333333333333 |
| DRESDEN/grid_game/U7_Yeg | 4.1297987219262815 | 2351.5666666666666 | 569.4143528549048 |
| BASE/roshambo2/KNPokQ | 4.1586007531285265 | 21866.2 | 5258.066666666667 |
| DRESDEN/roshambo2/jgSlkQ | 4.225862739928947 | 22441.866666666665 | 5310.6 |
| BASE/breakthroughSuicideSmall/XSbJog | 4.255705251580974 | 1547.8 | 363.7 |
| STANFORD/untwistycorridor/EDPPAQ | 4.2783703572341345 | 27342.066666666666 | 6390.766666666666 |
| BASE/breakthroughSmall/HJ0tIA | 4.307037488097505 | 1507.7 | 350.0549981667278 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.316802651708313 | 2257.4 | 522.9333333333333 |
| BASE/peg/fJHVWw | 4.376091242997199 | 1388.6333333333334 | 317.3227559081364 |
| BASE/maze/cCX3qQ | 4.385753757736516 | 26454.866666666665 | 6032.0 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.4089612467821615 | 2112.3333333333335 | 479.1 |
| BASE/untwistycomplex2/EDPPAQ | 4.424959403755673 | 28339.8 | 6404.533333333334 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 4.43172887706773 | 2110.4666666666667 | 476.2174594180194 |
| BASE/gt_dollar/TGjqRw | 4.44048549379701 | 12121.933333333332 | 2729.866666666667 |
| DRESDEN/snake_2008/E56l3A | 4.4454139822949275 | 1467.3333333333333 | 330.07799480034663 |
| BASE/beatMania/qUHwvQ | 4.454446224538301 | 8433.9 | 1893.3666666666666 |
| BASE/duplicateStateMedium/U163eQ | 4.460233348762229 | 9314.9 | 2088.4333333333334 |
| DRESDEN/crissrace/KWb9bw | 4.576323064770932 | 1544.9666666666667 | 337.6 |
| BASE/snake_2008_tweaked/bX0NJQ | 4.5848717692845025 | 1531.5 | 334.03333333333336 |
| BASE/4pffa/Q3ADlg | 4.58621195921479 | 2138.866666666667 | 466.36890873941735 |
| BASE/snake_2008/i6K26g | 4.589834812138245 | 1524.2333333333333 | 332.0889303689877 |
| DRESDEN/oisters_farm/pTQMLg | 4.595250314934914 | 13132.0 | 2857.733333333333 |
| BASE/crissrace/ERWGDA | 4.599632639097494 | 1531.1666666666667 | 332.8889037032099 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 4.604085180356367 | 353.10979268048794 | 76.69488700753283 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.611615245009075 | 2286.9 | 495.9 |
| BASE/hex/T1MK8g | 4.649711313551969 | 595.4333333333333 | 128.05812945803612 |
| DRESDEN/point_grab/r5DPmQ | 4.649725474246869 | 21341.0 | 4589.733333333334 |
| STANFORD/buttonsandlights/eyhJpA | 4.685364936424527 | 46097.9 | 9838.7 |
| STANFORD/threepuzzle/41ibjA | 4.685658320558678 | 16505.7 | 3522.6 |
| STANFORD/hex/MTqWcw | 4.697094368732322 | 608.9 | 129.63333333333333 |
| STANFORD/3puzzle/41ibjA | 4.787856079259569 | 16398.566666666666 | 3425.0333333333333 |
| BASE/connectFourLarge/aU644A | 4.795410831076858 | 1534.8 | 320.0559981333956 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.809171954059915 | 1995.9666666666667 | 415.03333333333336 |
| DRESDEN/knightwar/7hhAqg | 4.822918645870259 | 2721.0 | 564.1811939602013 |
| BASE/2pffa/6oHijA | 4.840133781043125 | 2810.733333333333 | 580.7139762007934 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.846864951768489 | 2411.8 | 497.6 |
| BASE/hidato37/pBrqxw | 4.88147608223286 | 308.5897136762108 | 63.21647560650493 |
| BASE/2pffa_zerosum/o0_uZA | 4.9443667085301914 | 2755.733333333333 | 557.3480883970534 |
| BASE/3pffa/pR0dzA | 4.962849079010098 | 2544.5333333333333 | 512.7162427919069 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 5.029669972362218 | 2062.5 | 410.06666666666666 |
| BASE/aipsrovers01/4C4jsw | 5.114966721656521 | 5994.4 | 1171.9333333333334 |
| DRESDEN/small_dominion/yB5GJA | 5.124803390231086 | 110.82225110822252 | 21.624683459949352 |
| DRESDEN/aipsrovers01/qS47Mw | 5.158276362129687 | 5809.766666666666 | 1126.3 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 5.15999560785039 | 29762.166666666668 | 5767.866666666667 |
| DRESDEN/Zhadu/9zpQ5w | 5.4307175303455475 | 222.50366617784294 | 40.971320075946835 |
| DRESDEN/chinesecheckers1/Y-ftaA | 5.47363472699914 | 3395.0 | 620.2459918002734 |
| BASE/nonogram_10x10_1/0Xc62g | 5.543873057469458 | 139.3907072861809 | 25.143199680298387 |
| DRESDEN/chinesecheckers3/QsCb2A | 5.612457122319045 | 2125.366666666667 | 378.68737708743043 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 5.748039358626127 | 2186.6 | 380.40797280181323 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 5.776254483056091 | 14590.04865693528 | 2525.866666666667 |
| DRESDEN/catch_me/ghGWrA | 5.78430697526614 | 14561.8 | 2517.4666666666667 |
| STANFORD/pentago/ZxzLmg | 5.878425509825732 | 1409.0666666666666 | 239.70137315024664 |
| STANFORD/alquerquezero/uVgA_A | 5.9326889886089065 | 1718.7 | 289.7 |
| BASE/point_grab/V_osUg | 5.934555389965226 | 19910.433333333334 | 3355.0 |
| STANFORD/freeforall/Lfp40Q | 6.002441096018956 | 2842.766666666667 | 473.6017598826745 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 6.011481654748379 | 14991.633333333333 | 2493.8333333333335 |
| DRESDEN/Thief_Police/CX18rA | 6.06795486791433 | 14968.633333333333 | 2466.8333333333335 |
| STANFORD/pilgrimage/ObRZnQ | 6.140910967386818 | 1487.5333333333333 | 242.23333333333332 |
| DRESDEN/chinesecheckers4/-oVNYg | 6.159107005501193 | 1405.6666666666667 | 228.2257258091397 |
| BASE/guess/SPpk1A | 6.2746304571349185 | 1505.1333333333334 | 239.8760123987601 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.316188127532148 | 2390.4666666666667 | 378.46666666666664 |
| BASE/skirmishHoles/AUCxCA | 6.328327202428929 | 197.18685420971934 | 31.159396140900455 |
| DRESDEN/capture_the_king/EQ229Q | 6.379518298170183 | 292.47075292470754 | 45.845272206303726 |
| DRESDEN/guess/PhxGhg | 6.396208122972782 | 1511.8 | 236.35878804039865 |
| BASE/strangeSkirmish/gc1zKA | 6.498318869931934 | 168.87185469088485 | 25.987006496751626 |
| BASE/cittaceot/fDxhXg | 6.5346837715252155 | 1888.8333333333333 | 289.04739684021064 |
| BASE/asteroidsSerial/id2QkA | 6.727903644667323 | 5008.7 | 744.4666666666667 |
| DRESDEN/breakthrough/z4hK7Q | 6.917028831752371 | 923.5 | 133.51108148641893 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 6.994437283102571 | 4344.333333333333 | 621.1126295790141 |
| BASE/god/qF06gw | 7.012394711970267 | 270.61529231384577 | 38.59099543439864 |
| BASE/breakthroughSuicide/wZDpIg | 7.274287156194802 | 960.9333333333333 | 132.1 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 7.306181231637768 | 4227.6 | 578.6333333333333 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 7.3255700144816425 | 955.4666666666667 | 130.42898570047666 |
| BASE/duplicateStateLarge/dcjyuw | 7.40175915667323 | 5513.633333333333 | 744.9085030498983 |
| BASE/breakthrough/TGxk-g | 7.424121110823184 | 954.7666666666667 | 128.6033258906255 |
| DRESDEN/hanoi/RQ0jiA | 7.457224486534004 | 12441.633333333333 | 1668.4 |
| BASE/rubiksCube/9tNO9Q | 7.458871093142591 | 1598.9333333333334 | 214.36666666666667 |
| DRESDEN/knightmove/97Ipcw | 7.459228249086839 | 2813.4333333333334 | 377.17485500966603 |
| BASE/englishDraughts/jFkQxg | 7.511473332467644 | 1928.0666666666666 | 256.6828878074795 |
| DRESDEN/4pttc/9pB9AQ | 7.559118236472946 | 2263.2 | 299.4 |
| DRESDEN/god/2EDD5w | 7.591354627949184 | 278.8 | 36.72598813570619 |
| BASE/breakthroughWalls/vOZaYA | 7.6435259458490235 | 947.0666666666667 | 123.90442230146299 |
| BASE/knightmove/jBaJEw | 7.673353209459459 | 2876.9 | 374.9208359721343 |
| BASE/skirmish/Y_psYQ | 7.703808180535966 | 182.04239434742036 | 23.63018264231436 |
| BASE/hanoi/iGLsJg | 7.740405018438022 | 12524.233333333334 | 1618.0333333333333 |
| DRESDEN/frogs_and_toads/GjchhQ | 7.782107483196415 | 1736.5333333333333 | 223.14435223144352 |
| DRESDEN/smallest/9kaGFw | 7.7846330657319465 | 4589.666666666667 | 589.580347321756 |
| DRESDEN/chinesecheckers2/06E6-Q | 7.865938482581897 | 2523.8333333333335 | 320.85597146761774 |
| BASE/asteroidsParallel/WauZiA | 7.930385786340708 | 5817.466666666666 | 733.5666666666667 |
| BASE/shmup/ssTNlg | 7.948379039392203 | 5091.466666666666 | 640.5666666666667 |
| BASE/nim3/1OwUqw | 8.056237194734239 | 11403.066666666668 | 1415.4333333333334 |
| BASE/nim4/twk16w | 8.171143680922635 | 11336.1 | 1387.3333333333333 |
| DRESDEN/nim3/sG_axA | 8.200356294536817 | 11507.833333333334 | 1403.3333333333333 |
| BASE/connectFourLarger/qKi60A | 8.245509054513622 | 977.2007599746676 | 118.51309040037306 |
| BASE/chineseCheckers4/avfBcQ | 8.282085165577833 | 2450.7 | 295.9037429590374 |
| BASE/checkLines/Vop7oQ | 8.349104086974029 | 2764.6666666666665 | 331.1333333333333 |
| DRESDEN/nim4/F5YAYg | 8.400645765552596 | 11361.033333333333 | 1352.4 |
| BASE/gt_centipede/9fRMpw | 8.537161991620252 | 16911.833333333332 | 1980.9666666666667 |
| BASE/smallest_4player/ADDROA | 8.683689059678688 | 6251.966666666666 | 719.9666666666667 |
| BASE/nonogram_5x5_1/qLKEZw | 8.706851257984619 | 741.8666666666667 | 85.20493168943685 |
| DRESDEN/brawl/2kXtfQ | 8.79016639397036 | 347.17685487634157 | 39.496050394960506 |
| BASE/brawl/6Ymo_Q | 8.839198644067796 | 347.46666666666664 | 39.309747484842426 |
| DRESDEN/chinesecheckers6/yTbPDA | 8.894063652241414 | 1527.5 | 171.74376749766697 |
| DRESDEN/smallest_4player/ADDROA | 8.908104581848475 | 6415.7 | 720.2093263557881 |
| BASE/skirmishFinal2/gdB62Q | 8.96358999287688 | 265.8489434037731 | 29.65875766462277 |
| BASE/skirmishFinal3/-Olhfw | 9.05470886819496 | 287.690410319656 | 31.772463864650636 |
| BASE/checkersSmall/SYmq8w | 9.115787095574564 | 816.8333333333334 | 89.60645139791396 |
| BASE/checkersTiny/Lr48cg | 9.444950645406228 | 1243.9 | 131.7 |
| DRESDEN/skirmishfinal/hzq8ww | 9.456627636221649 | 269.09103029899 | 28.45528455284553 |
| BASE/chineseCheckers1/gqtwHw | 9.52007984306236 | 7643.1 | 802.8399053364888 |
| DRESDEN/knightstour/cGISAA | 9.717853598961911 | 21218.933333333334 | 2183.5 |
| STANFORD/untwistycomplex/HTWEwg | 9.809683035662811 | 28359.466666666667 | 2890.9666666666667 |
| STANFORD/chinook/osFbPA | 9.864225623175392 | 876.6374454184861 | 88.87037654115295 |
| BASE/nim2/eF2Qqw | 9.90848988523407 | 14187.966666666667 | 1431.9 |
| BASE/kalaha5x2x3/WviNsw | 10.105517920461212 | 4401.333333333333 | 435.5376308246117 |
| BASE/chinook/XQh0IQ | 10.147113106007888 | 971.8666666666667 | 95.77765188122771 |
| BASE/skirmishFinal1/ecWTnQ | 10.191847866674486 | 268.22439252024935 | 26.317542807648746 |
| BASE/checkers/rOC3Xg | 10.19236337101138 | 621.1459618012733 | 60.94228975076636 |
| BASE/breakthroughHoles/nZk0Sg | 10.19652936834878 | 1320.0666666666666 | 129.46235125495818 |
| DRESDEN/nim2/z5_exA | 10.2502004244282 | 14490.366666666667 | 1413.6666666666667 |
| BASE/ttcc4_2player_small/Cv72TA | 10.258277130594728 | 2230.8333333333335 | 217.46666666666667 |
| DRESDEN/babel/WdSW4A | 10.289152778904665 | 845.2 | 82.14476139696082 |
| BASE/asteroids/BKCmPQ | 10.321906845222218 | 12897.566666666668 | 1249.5333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 10.410692879405419 | 1447.4333333333334 | 139.03333333333333 |
| BASE/choicethroughalt/tt71Lg | 10.72941818181818 | 1014.8 | 94.58108378324336 |
| BASE/nim1/hin2Qw | 10.743254311857903 | 15302.333333333334 | 1424.3666666666666 |
| BASE/chineseCheckers6/rREH3A | 10.94151685501654 | 2646.3 | 241.85860471317622 |
| DRESDEN/nim1/M9BALA | 11.14378213673586 | 15604.266666666666 | 1400.2666666666667 |
| BASE/chineseCheckers2/eCMR3Q | 11.174537439048827 | 5576.466666666666 | 499.03333333333336 |
| BASE/knightazons/apnJBQ | 11.471173487728613 | 557.8814039532016 | 48.63333333333333 |
| DRESDEN/knightazons/02I8BQ | 11.554964965517241 | 558.2666666666667 | 48.31400773024124 |
| BASE/sheepAndWolf/g4THrg | 11.659947961751385 | 1544.4 | 132.45342132453422 |
| STANFORD/knightstourmedium/x1wu8Q | 11.932507921390501 | 21716.766666666666 | 1819.9666666666667 |
| DRESDEN/minichess/c7GMFw | 12.468166342187757 | 2518.733333333333 | 202.0131320201313 |
| DRESDEN/amazons/dNB28A | 12.537418192165418 | 151.8978904922185 | 12.115563839701771 |
| BASE/chineseCheckers3/-1rZdQ | 12.975494616729549 | 4700.0 | 362.22125929135694 |
| DRESDEN/skirmish3/3LU8Nw | 13.23120837037037 | 793.7666666666667 | 59.992001066524466 |
| BASE/2pttc/unkkYA | 13.660794379844962 | 2819.4 | 206.38624091727218 |
| BASE/minichess/8NQEiA | 14.09278810408922 | 3159.133333333333 | 224.16666666666666 |
| BASE/knightsTour/mvtVIg | 14.11759479956663 | 21717.566666666666 | 1538.3333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 14.120695053224797 | 9020.3 | 638.8 |
| STANFORD/knightstour/cEwgNA | 14.299189534422764 | 21642.3 | 1513.5333333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 14.39625850047254 | 9139.4 | 634.8455051498283 |
| DRESDEN/tttcc4/sAvtFg | 14.429039409468032 | 1313.5666666666666 | 91.03632122625791 |
| DRESDEN/knightthrough/J7Fc_Q | 14.496022772277227 | 1805.3 | 124.53760789149199 |
| BASE/tttcc4/8Bs2lg | 14.628436781609194 | 1343.3333333333333 | 91.83027232425586 |
| BASE/ttcc4/Le0qjQ | 14.674028130885123 | 1384.7666666666667 | 94.36854381872709 |
| BASE/endgame/jYjfOA | 14.717993755781682 | 1060.5 | 72.05465755707382 |
| BASE/ttcc4_2player/_aH_Mw | 15.820562344139649 | 1479.8333333333333 | 93.53860508514113 |
| BASE/kalaha6x2x4/XS81Mg | 15.952492804679 | 3909.0333333333333 | 245.0421624504216 |
| BASE/knightwar/DVGY4Q | 16.347785552689025 | 2745.7 | 167.95546963535764 |
| STANFORD/ttcc4/Cx9SGw | 16.84052668579627 | 1564.7333333333333 | 92.91475038325669 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 17.262242269503545 | 1487.0333333333333 | 86.14369501466275 |
| BASE/3pttc/0sol9g | 17.541527017883038 | 2419.4 | 137.92413839077395 |
| BASE/checkers-newgoals/0XkFiA | 17.649897399829495 | 459.96666666666664 | 26.060585863298563 |
| DRESDEN/skirmish2/iPpWhQ | 18.183946598390637 | 828.3333333333334 | 45.55300076643674 |
| DRESDEN/skirmish/RjGQYQ | 18.287372907153728 | 800.6666666666666 | 43.78248700519792 |
| BASE/checkersBarrelNoKings/rnKNeg | 18.436213468519213 | 1636.4666666666667 | 88.76370787640413 |
| DRESDEN/pancakes88/aD3E7g | 18.45779140087814 | 22280.4 | 1207.1 |
| BASE/checkersTorusNoKings/pwb6oQ | 18.48863543663472 | 1543.1333333333334 | 83.4638845371821 |
| BASE/ttcc4_2player_alt/ZEJvYA | 18.86096379204893 | 1712.6333333333334 | 90.80306564478506 |
| BASE/pawnToQueen/-O1_JA | 19.53562978679432 | 96.8139705392255 | 4.955763985897692 |
| DRESDEN/Runners/3bOCQw | 20.170771756978652 | 24158.533333333333 | 1197.7 |
| DRESDEN/pawntoqueen/f_x6Aw | 20.184526778674524 | 97.16018932071195 | 4.813597583242041 |
| STANFORD/skirmish/w4V6Vw | 20.277523811337744 | 165.55562962469168 | 8.164489469474807 |
| BASE/checkersTorus/2vm1EQ | 20.885574137931034 | 1332.1 | 63.78086574027792 |
| BASE/4pttc/AL1k2Q | 21.101300644858718 | 1999.4333333333334 | 94.75403279562725 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 21.225217213114753 | 856.7333333333333 | 40.36393713813069 |
| DRESDEN/pancakes/hl9aiQ | 21.632380470528712 | 28504.266666666666 | 1317.6666666666667 |
| DRESDEN/satlike_20v_91c/yeuENQ | 21.82081378665506 | 900.2165583874729 | 41.254948930365636 |
| STANFORD/madness/UO_B3A | 21.947718175063983 | 167.23879353441095 | 7.61987156024357 |
| BASE/gt_coordination/IVMOzA | 22.19094051945749 | 16689.066666666666 | 752.0666666666667 |
| DRESDEN/endgame/IJhh3Q | 22.205987102577605 | 838.3387220425985 | 37.75282396454633 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 22.415939670574044 | 868.4640250608192 | 38.74314607479397 |
| BASE/ruleDepthLinear/OUBJpQ | 22.68671196905005 | 37725.73333333333 | 1662.9 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 22.690719100133 | 931.240209312402 | 41.040577215860196 |
| DRESDEN/pancakes6/SZXMyQ | 23.150672207045925 | 29095.566666666666 | 1256.791440285324 |
| DRESDEN/gt_prisoner/huCp4w | 23.157123669923994 | 14928.9 | 644.6785107163095 |
| BASE/chess_200/XsTpYA | 23.279115333836696 | 285.5571480950635 | 12.266666666666667 |
| BASE/amazons_8x8/7SOsIw | 26.228419161676648 | 1314.0 | 50.09833005566481 |
| BASE/skirmishNew/sibw2g | 26.329174041537552 | 625.9458018066065 | 23.77384876635701 |
| BASE/knightThrough/gcwFjA | 27.2557356462585 | 1780.2333333333333 | 65.31591575579846 |
| BASE/battle/8oAvhQ | 28.461518978904923 | 104.10904122371447 | 3.657887736100027 |
| BASE/gt_staghunt/xPjLRA | 28.579160536996568 | 15256.0 | 533.8155394820172 |
| BASE/skirmishZeroSum/zh4hcw | 28.739404072883172 | 595.4666666666667 | 20.71952031978681 |
| DRESDEN/battle/8oAvhQ | 28.90931510667564 | 105.14563753915884 | 3.6370850416611558 |
| BASE/speedChess/bPnisA | 29.536571257771403 | 685.4333333333333 | 23.206259364075244 |
| BASE/gt_prisoner/klthDw | 29.832215202240604 | 15267.133333333333 | 511.76666666666665 |
| DRESDEN/gt_chicken/CeuKtw | 30.223525271904027 | 14387.933333333332 | 476.0507983067231 |
| STANFORD/platformjumpers/HEQskA | 30.476145890623087 | 780.007333088897 | 25.594028060119307 |
| DRESDEN/blobwars/ZaMluQ | 30.723764023433336 | 566.6288914072395 | 18.442691168148073 |
| BASE/hanoi_6_disks/MeubgQ | 30.900065051279164 | 9138.6 | 295.7469502033198 |
| BASE/blobwars/0XT15Q | 31.853281813683136 | 578.8807039765342 | 18.173345759552657 |
| DRESDEN/hanoi_6_disks/MeubgQ | 31.889564336372846 | 9442.5 | 296.1 |
| BASE/knightsTourLarge/M8jgLA | 33.75685030285549 | 19505.833333333332 | 577.8333333333334 |
| BASE/gt_chicken/gmepTQ | 34.60600389863548 | 14794.066666666668 | 427.5 |
| BASE/pancakes6/QZTdnw | 35.81809213348203 | 27835.433333333334 | 777.1333333333333 |
| DRESDEN/fizzbuzz/t1xHzQ | 37.17705112960761 | 31265.9 | 841.0 |
| BASE/pancakes/yUgbXw | 37.72806403639226 | 28751.3 | 762.0666666666667 |
| DRESDEN/gt_ultimatum/pAiiQw | 37.90814233373158 | 12690.8 | 334.7776814879008 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 38.26449230769231 | 396.8 | 10.369927211087845 |
| BASE/gt_ultimatum/GE-uOA | 39.18399740848721 | 12096.1 | 308.7 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 39.91467759155503 | 394.78684043865206 | 9.89076861595844 |
| BASE/checkers-mustjump/T-8UuQ | 40.99549173789174 | 479.2 | 11.689090182496336 |
| DRESDEN/connect5/1kYzSg | 41.65179353796446 | 858.9 | 20.620960756879207 |
| BASE/checkers-mustjump-torus/uSApKQ | 41.73087462741141 | 366.12112929569014 | 8.773387391578877 |
| STANFORD/knightstourbig/TQUI2g | 43.049892108548036 | 19159.433333333334 | 445.05183160561313 |
| DRESDEN/crossers3/xiPTxg | 43.95731166549544 | 2084.8333333333335 | 47.428590474285905 |
| BASE/crossers3/O0rORg | 44.4585552748538 | 2110.866666666667 | 47.47942558224769 |
| DRESDEN/pacman3p/rBnk8Q | 45.72282375321337 | 2964.0666666666666 | 64.8268506482685 |
| BASE/amazonsSuicide_10x10/XIbQkg | 47.02193333333333 | 1023.0333333333333 | 21.75651362697408 |
| BASE/connect5/d-BVQg | 47.06508101422387 | 842.9333333333333 | 17.909951819239076 |
| BASE/amazons_10x10/Bun8dA | 48.18945449320795 | 1023.5666666666667 | 21.24047008689283 |
| BASE/pacman3p/wW7UVQ | 48.63465890652557 | 3063.1666666666665 | 62.98320447880565 |
| BASE/pacman2p/4LEdQg | 51.19093887339655 | 3058.9 | 59.75471572352196 |
| DRESDEN/four_way_battle/xSOQXA | 53.60153299319729 | 350.03333333333336 | 6.530285866595588 |
| BASE/four_way_battle/xSOQXA | 54.06272077853296 | 343.4323234343232 | 6.352479462533675 |
| BASE/amazonsTorus_10x10/Uxc08g | 59.36297986111111 | 758.7333333333333 | 12.781254160564506 |
| BASE/hanoi7_bugfix/3gdnFw | 66.19503536044844 | 11282.166666666666 | 170.43826028995167 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 68.70078577336643 | 11074.566666666668 | 161.2 |
| DRESDEN/hanoi7/51zz5Q | 74.05568797399783 | 11392.233333333334 | 153.83333333333334 |
| DRESDEN/ghostmaze2p/HY0UwA | 79.91761036226478 | 10711.266666666666 | 134.02886570447652 |
| DRESDEN/bomberman2p/x4h6jQ | 81.1812537941788 | 10410.766666666666 | 128.24101846297407 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 82.19291063404891 | 13.379930104842735 | 0.16278691193228065 |
| BASE/bomberman2p/4CClwA | 83.1612471473851 | 10493.9 | 126.18738126187381 |
| BASE/ghostMaze2p/W-NU-w | 87.35434724993604 | 11381.133333333333 | 130.28697130286972 |
| BASE/twisty-passages/DiZmmg | 95.64900050454088 | 6319.0 | 66.0644645178494 |
| DRESDEN/twisty-passages/j7NPyg | 97.8263049586777 | 6310.533333333334 | 64.50753032120485 |
| BASE/racer4/0vs7Ww | 98.34398041666667 | 1569.2666666666667 | 15.956916325920016 |
| DRESDEN/knightfight/4_Ly4w | 100.26078234280791 | 5172.766666666666 | 51.59312091721104 |
| BASE/knightfight/SJRkAg | 101.6087163029525 | 5276.0 | 51.92467922012998 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 111.49942718637405 | 11343.9 | 101.73953612370035 |
| DRESDEN/quarto/OQzRYQ | 112.27967673611111 | 2511.9666666666667 | 22.37240736425076 |
| DRESDEN/quartosuicide/WIU1oQ | 112.50548357348703 | 2600.2 | 23.111762355135205 |
| BASE/quartoSuicide/-23jUg | 113.59041236068896 | 2491.3333333333335 | 21.93260224659178 |
| BASE/quarto/EwBMVQ | 114.68015946348733 | 2564.5 | 22.362194227821103 |
| BASE/mummyMaze2p_2007/YGA3Vw | 115.44434750085004 | 11314.0 | 98.00393215368723 |
| BASE/cylinder-checkers/hlldmw | 145.49040000000002 | 400.8 | 2.7548209366391183 |
| BASE/gt_tinfoil/Q8DyKg | 150.78226492679215 | 17620.833333333332 | 116.86277124095864 |
| DRESDEN/cylinder-checkers/clOO3Q | 163.41314594594593 | 401.8 | 2.4587985114300905 |
| DRESDEN/kalaha_2009/gcC8uA | 165.05608578775127 | 3919.5666666666666 | 23.746877601998335 |
| BASE/kalaha_2009/dRiN3g | 165.07730577100648 | 3967.9666666666667 | 24.037021007424176 |
| BASE/amazons/RKKZjw | 172.79440154440152 | 14.478764478764479 | 0.0837918610172332 |
| BASE/racer/QQYQNw | 174.54905268630847 | 3354.7 | 19.21923922456865 |
| BASE/amazonsSuicide/dE1QEQ | 176.03229481181634 | 15.660771757523474 | 0.08896533317517274 |
| DRESDEN/racer/vk_ZBA | 179.21333871559634 | 3250.4 | 18.137042830044262 |
| DRESDEN/checkers-newgoals/IJOqXQ | 182.19553720503689 | 464.3845205159828 | 2.5488248924197285 |
| DRESDEN/checkers/jIDMIg | 204.34211274509804 | 459.6666666666667 | 2.249495517549373 |
| DRESDEN/mummymaze2p/k-8edg | 216.26701584739547 | 9823.766666666666 | 45.4242484836366 |
| BASE/mummymaze2p/vpjDdA | 231.29151510685335 | 10458.6 | 45.21826057980673 |
| BASE/solitaireChineseCheckers/-ET6gw | 247.07766782407407 | 3525.8333333333335 | 14.270141710435041 |
| BASE/colonelBlottoVariant2/jruwGw | 256.7590725995316 | 10958.133333333333 | 42.67866066966517 |
| BASE/colonelBlottoVariant/X-n-KQ | 273.83925694551033 | 11888.6 | 43.414520374504384 |
| DRESDEN/hitori/S8Gsyg | 274.4872193511453 | 304.92600986535126 | 1.1108932888976017 |
| BASE/hitori/S8Gsyg | 286.9304806762882 | 302.47983467768813 | 1.0541920606160435 |
| BASE/max_knights/2fq3Ag | 308.9385270531401 | 2127.633333333333 | 6.8869148617626506 |
| DRESDEN/max_knights/hCipiA | 311.89114239482194 | 2137.733333333333 | 6.854100815172185 |
| BASE/amazonsTorus/soxT8g | 333.94350000000003 | 5.5 | 0.016469851936031094 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 344.3622611111111 | 409.4 | 1.188864304349262 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 354.79724413226626 | 381.2539582013933 | 1.0745685444480626 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 358.94410662501724 | 409.1530282323923 | 1.1398794984530207 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 389.3761434878587 | 5878.6 | 15.097483752707882 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 442.51811289719626 | 7878.966666666666 | 17.804845580404685 |
| DRESDEN/checkers-mustjump/HUr33w | 443.4824047619048 | 504.3666666666667 | 1.1372867587327375 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 469.2448057629339 | 7949.066666666667 | 16.940127134156487 |
| BASE/wargame02/BkVqqQ | 479.5268902777778 | 1913.8333333333333 | 3.991086573319586 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 614.9795553610503 | 9360.7 | 15.221156408206769 |
| BASE/wargame01/_GZFZg | 724.9378113821138 | 2960.6 | 4.083936516368949 |
| DRESDEN/battlebrushes/QHXV4A | 761.4943179924684 | 278.60165961275703 | 0.36586177077097054 |
| BASE/wargame03/klXI8w | 801.5439642857143 | 2611.5 | 3.258087037468001 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 833.1569553127678 | 21584.233333333334 | 25.90656321800806 |
| BASE/pancakes88/l2Xaig | 877.1277552770449 | 22142.166666666668 | 25.24394711426383 |
| BASE/colonelBlotto/jip21A | 885.8701559912854 | 4516.733333333334 | 5.098640362569982 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1379.5284128888889 | 3434.9666666666667 | 2.489957172736629 |
| DRESDEN/farmers/S_ASnw | 1516.2693739837398 | 2039.2666666666667 | 1.3449237329834345 |
| BASE/gt_two_thirds_2p/1APDGg | 1594.7608275 | 4220.2 | 2.6462902318811814 |
| BASE/ad_game_2x2/D0aWqg | 2936.37368245614 | 1833.9666666666667 | 0.6245685546168765 |
| BASE/gt_attrition/kD_SCA | 5097.734103703703 | 6012.266666666666 | 1.1793998165378063 |
| BASE/merrills/pku8Tg | Infinity | 558.5480483983868 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 580.0473317556082 | 0.0 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |