Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
| BASE/quad/tw-Ufg | 0.11095649878637294 | 0.5939025999736043 | 5.352571561554573 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.26938397011191245 | 29.082550469718168 | 107.95946936870875 |
| BASE/coins/QnGtnQ | 0.49353180100016436 | 1401.4 | 2839.5333333333333 |
| BASE/coins_atomic/AA3SSw | 0.49540350311951764 | 1415.186160461318 | 2856.633333333333 |
| DRESDEN/coins/QwFP9w | 0.49603165312668274 | 1412.4666666666667 | 2847.5333333333333 |
| BASE/sudokuGrade6H/ieE_9A | 0.7496296302799044 | 92.96356788107063 | 124.01266455590735 |
| BASE/sudokuGrade6E/ihYFZA | 0.7552056966314626 | 91.74525943946412 | 121.48380215971204 |
| BASE/sudokuGrade3/eI8dvg | 0.7597743041318029 | 92.9240409292404 | 122.30479554770554 |
| BASE/sudokuGrade1/tDRNRw | 0.776676950874515 | 94.31132735695004 | 121.42928569047699 |
| STANFORD/sudoku/oJ1qyQ | 0.7779475441501105 | 93.96666666666667 | 120.78792120787921 |
| BASE/sudokuGrade2/u80Tfw | 0.7783877913181367 | 95.19365375641624 | 122.2959234692177 |
| BASE/sudokuGrade4/DTy07w | 0.7835996710526316 | 95.26666666666667 | 121.57568486302739 |
| BASE/sudokuGrade5/BQfUQA | 0.7844717877900661 | 97.16342788573714 | 123.8584094393707 |
| DRESDEN/quad/JPe6fg | 0.9223432374765135 | 4.9606455453403 | 5.3783074931111186 |
| STANFORD/duidoku/3SoMaA | 1.1075727372991655 | 85.15247458756873 | 76.88206085246776 |
| BASE/blokbox_simple/JBx4bg | 1.15326403070771 | 4.739807756049055 | 4.1099068642073515 |
| DRESDEN/grid_game2/kypTYQ | 1.2352429305373707 | 524.4491850271658 | 424.57169522031865 |
| BASE/ticTacHeaven/18n58A | 1.3761454609787898 | 510.1829939002033 | 370.73333333333335 |
| BASE/ticTacHeavenFC/mrletw | 1.4897547526609707 | 477.31742275257494 | 320.4 |
| STANFORD/selectivesukoshi/3xmXYg | 1.6649987490617963 | 221.81854543030465 | 133.22445170321978 |
| STANFORD/multiplesukoshi/vLSQPg | 1.8711394636106122 | 229.78468102126524 | 122.80467890825474 |
| DRESDEN/quad_7x7/q-JOXg | 1.9877861011530888 | 34.80610816266727 | 17.509986684420774 |
| DRESDEN/cubicup_3player/awDtsQ | 2.06442583914756 | 375.16248375162485 | 181.72727575747476 |
| BASE/quad_7x7/q-JOXg | 2.0677324085286943 | 35.214506274226395 | 17.03049491751375 |
| BASE/pearls/6k_mEQ | 2.1043341888932763 | 31264.233333333334 | 14857.066666666668 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 2.1236643974572833 | 1570.1666666666667 | 739.3666666666667 |
| BASE/cubicup_3player/e2yA_g | 2.2071171167479315 | 379.9540015332822 | 172.14945172149453 |
| DRESDEN/lightsout/XgLpzQ | 2.241035256302943 | 2231.1 | 995.5666666666667 |
| BASE/withConviction/3Xm54A | 2.2888311290689733 | 1340.6 | 585.713809539682 |
| BASE/zhadu/DlA8iQ | 2.415043675450876 | 55.06299580027998 | 22.8 |
| BASE/blocksWorldParallel/RseaAQ | 2.4538421569193463 | 1416.7666666666667 | 577.3666666666667 |
| DRESDEN/pawn_whopping/4ogBkg | 2.478019389783343 | 1662.2 | 670.7776407453085 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.559601161780998 | 2849.4333333333334 | 1113.2333333333333 |
| DRESDEN/doubletictactoe/lJzgmQ | 2.6186368887177514 | 3400.3 | 1298.5 |
| BASE/bunk_t/xbpfIA | 2.626128327118426 | 3403.9 | 1296.1666666666667 |
| DRESDEN/bunk_t/7-tPfA | 2.659047223232376 | 3412.266666666667 | 1283.2666666666667 |
| BASE/doubletictactoe/HH1htg | 2.6878903314416025 | 3457.4333333333334 | 1286.3 |
| BASE/doubletoetictac/fu35bg | 2.714387879429994 | 3415.9666666666667 | 1258.4666666666667 |
| BASE/conn4/va9Y7A | 2.789784422226053 | 1078.8666666666666 | 386.7204426519116 |
| DRESDEN/tictactoelarge/IwXcbg | 2.804503373149149 | 3200.9666666666667 | 1141.3666666666666 |
| STANFORD/duikoshi/tpw1sw | 2.833628520825002 | 1653.2333333333333 | 583.4333333333333 |
| DRESDEN/doubletoetictac/V89gKQ | 2.8380658770079505 | 3498.2 | 1232.6 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 2.8482839761248853 | 3308.5666666666666 | 1161.6 |
| BASE/tictactoe2/bhrDoQ | 2.879859408438328 | 6773.333333333333 | 2351.9666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 2.9041531362160313 | 2832.0333333333333 | 975.1666666666666 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 2.905469108476526 | 664.511182960568 | 228.71046228710463 |
| DRESDEN/latenttictactoe/kITHKg | 3.0032668173032424 | 3677.3 | 1224.4333333333334 |
| DRESDEN/slidingpieces/s9_44g | 3.003642779967909 | 775.740808639712 | 258.26666666666665 |
| DRESDEN/blockerparallel/dVQgSg | 3.034043484538248 | 1284.1666666666667 | 423.2525582480584 |
| BASE/blockerParallel/7-nDJA | 3.034253538750293 | 1293.3 | 426.23333333333335 |
| BASE/slidingpieces/uFJWEw | 3.0528143706813613 | 775.5666666666667 | 254.0497300179988 |
| BASE/haystack/UkweGA | 3.1376350378632707 | 44679.4 | 14239.833333333334 |
| BASE/snake2p/I3wWPQ | 3.1720862666219687 | 946.2333333333333 | 298.3 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.18396501457726 | 1456.1333333333334 | 457.3333333333333 |
| DRESDEN/chickentictactoe/Ipbo-g | 3.184797187080871 | 5857.266666666666 | 1839.1333333333334 |
| BASE/cubicup/4wNWJA | 3.286099727628386 | 737.2666666666667 | 224.35918802706576 |
| BASE/lightsOut/5P1ZBw | 3.2870225934685253 | 2177.4333333333334 | 662.4333333333333 |
| DRESDEN/cubicup/SBn_lw | 3.299970211498361 | 738.5333333333333 | 223.8 |
| STANFORD/nineboardtictactoe/y28P-A | 3.305611377338074 | 712.8 | 215.63333333333333 |
| BASE/nineBoardTicTacToe/wRmqqA | 3.3369152970922884 | 703.8666666666667 | 210.93333333333334 |
| DRESDEN/sum15/CsgWKg | 3.4008249406071913 | 7777.8 | 2287.0333333333333 |
| BASE/eotcatcit/AfZSzA | 3.4077807034369716 | 6514.2 | 1911.5666666666666 |
| DRESDEN/ticblock/Z2yNWQ | 3.425989104715787 | 4150.7 | 1211.5333333333333 |
| DRESDEN/tictactoe/BTTzPw | 3.508589101421992 | 6958.0 | 1983.1333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 3.5221689703873493 | 5070.866666666667 | 1439.7 |
| BASE/simultaneousWin2/PfjRjw | 3.5286340594601997 | 1717.0333333333333 | 486.6 |
| DRESDEN/eotcatcit/mQUxzA | 3.593799129830719 | 6552.933333333333 | 1823.4 |
| BASE/sum15/QZ07Kg | 3.6264364284397472 | 7868.4 | 2169.733333333333 |
| BASE/double_tictactoe_dengji/zgaSbA | 3.662904808635917 | 3483.6666666666665 | 951.0666666666667 |
| BASE/lightsOnParallel/SC6enA | 3.758621488829146 | 5405.9 | 1438.2666666666667 |
| STANFORD/sukoshi/4LYZZQ | 3.803541177113503 | 4640.066666666667 | 1219.9333333333334 |
| BASE/futoshiki6/JmvXNA | 3.8275440634125992 | 509.6333333333333 | 133.1489134782029 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 3.878073026190021 | 3381.0333333333333 | 871.8333333333334 |
| DRESDEN/peg/Vo31eg | 3.9108536064954684 | 1380.7 | 353.0431304579695 |
| BASE/lightsOnSimul4/9FeASw | 3.9360046398481074 | 1474.0666666666666 | 374.50836610892605 |
| BASE/factoringGeorgeForman/HGRorQ | 3.9874638857007163 | 13433.5 | 3368.9333333333334 |
| BASE/lightsOnSimultaneous/_VN6lw | 4.020523444568282 | 2044.1 | 508.4163861204627 |
| DRESDEN/peg_bugfixed/u_B7MA | 4.034558682749378 | 1404.8333333333333 | 348.2 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 4.102426281554538 | 1941.0666666666666 | 473.15089497016766 |
| BASE/ticblock/T21C1g | 4.155589474732056 | 4174.566666666667 | 1004.5666666666667 |
| DRESDEN/tictactoex9/rFkD4w | 4.16360705514311 | 990.7666666666667 | 237.95873470884302 |
| BASE/futoshiki5/TJ4BZg | 4.177552640915594 | 811.0333333333333 | 194.14078122916945 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 4.201445055076335 | 474.68417719409354 | 112.9811698050325 |
| BASE/tictactoex9/BI26ow | 4.232341651396525 | 1000.6666444451852 | 236.43333333333334 |
| BASE/minichess-evilconjuncts/4OpQzw | 4.252597831932942 | 476.11746275124165 | 111.95920271981868 |
| BASE/tpeg/QNs7Lw | 4.301782411965165 | 1514.7 | 352.1098593427105 |
| DRESDEN/brain_teaser_extended/ZDp94A | 4.3179499424750905 | 6630.5 | 1535.5666666666666 |
| BASE/survival/YVIjJA | 4.318699112194674 | 31294.733333333334 | 7246.333333333333 |
| BASE/brain_teaser_extended/ZDp94A | 4.447154293233908 | 6758.933333333333 | 1519.8333333333333 |
| DRESDEN/tpeg/h-Scbg | 4.462430610626487 | 1500.5666666666666 | 336.26666666666665 |
| BASE/connectFourSimultaneous/7ITr3g | 4.532772621809745 | 1041.9333333333334 | 229.86666666666667 |
| BASE/ticTacToeLarge/TZC0dg | 4.544144941789803 | 3157.1666666666665 | 694.7768407719743 |
| STANFORD/triplesukoshi/Iu9mbA | 4.546572157872158 | 1412.9333333333334 | 310.7689231076892 |
| DRESDEN/CephalopodMicro/H3XQfg | 4.552816006522773 | 116.90215942415355 | 25.676890798281548 |
| BASE/futoshiki4/BaCwSw | 4.5753127306273065 | 1570.5 | 343.25522482583915 |
| BASE/eotcitcit/V_9_bg | 4.58737847282289 | 4419.633333333333 | 963.4333333333333 |
| DRESDEN/tictictoe/LAUtwg | 4.59516229496851 | 4426.366666666667 | 963.2666666666667 |
| BASE/ticTacToeLargeSuicide/727_8g | 4.615894357743097 | 3204.2 | 694.1666666666666 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 4.700168606204986 | 426.5191160294657 | 90.74549271836571 |
| DRESDEN/sheep_and_wolf/enAIzQ | 4.710681160865662 | 1574.4666666666667 | 334.23333333333335 |
| DRESDEN/lightson2x2/gBHuig | 4.757138312256422 | 7974.866666666667 | 1676.4 |
| DRESDEN/connectfour/5tc-Mg | 4.7764212693976615 | 2164.8333333333335 | 453.23333333333335 |
| DRESDEN/tictactoe-init1/3ltIBQ | 4.874521751452458 | 6879.9 | 1411.4 |
| STANFORD/tictactoe3/X7myng | 4.882126571601781 | 6174.1 | 1264.6333333333334 |
| BASE/snakeAssemblit/UO4sdg | 4.906868667856563 | 1007.9 | 205.4059458738835 |
| BASE/tictactoe-init1/7M19vA | 5.019137931034483 | 6792.566666666667 | 1353.3333333333333 |
| BASE/chickentictactoe/DSlZCA | 5.067624264320261 | 5797.7 | 1144.0666666666666 |
| DRESDEN/catcha_mouse/cHv4dw | 5.155838530838531 | 1983.9666666666667 | 384.8 |
| DRESDEN/blocker/S815zQ | 5.190328663793104 | 6422.166666666667 | 1237.3333333333333 |
| BASE/numbertictactoe/rvJ-iQ | 5.203529900332226 | 4176.7 | 802.6666666666666 |
| BASE/majorities/ibJzSQ | 5.283979709659408 | 525.6333333333333 | 99.47678874929183 |
| BASE/catcha_mouse/cHv4dw | 5.35779801619073 | 2007.5 | 374.68751041631947 |
| BASE/breakthroughSmallHoles/bxclRw | 5.367655829175955 | 1685.5666666666666 | 314.0228659044698 |
| BASE/onestep/xi53wA | 5.440227139533644 | 40844.5 | 7507.866666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 5.456763496663746 | 8096.2 | 1483.7 |
| BASE/blocksWorldSerial/Wyg96Q | 5.457449170552225 | 5735.233333333334 | 1050.9 |
| BASE/golden_rectangle/_nYzfw | 5.478627151898735 | 576.9666666666667 | 105.3122708791575 |
| BASE/blocksWorld/SEdXLQ | 5.492464647453149 | 14966.6 | 2724.9333333333334 |
| BASE/cephalopodMicro/9l2D3g | 5.4977635766571495 | 115.6961434618846 | 21.044219499200853 |
| STANFORD/tictactoe5/WFRReg | 5.524879928515581 | 6595.233333333334 | 1193.7333333333333 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 5.555338223308883 | 1136.0666666666666 | 204.5 |
| DRESDEN/blocks/vg0DRw | 5.5748627226874055 | 14958.1 | 2683.133333333333 |
| BASE/blocks/xIV5hQ | 5.607178217821782 | 15102.0 | 2693.3333333333335 |
| STANFORD/trifecta/ss1kyQ | 5.60874613003096 | 6763.4 | 1205.8666666666666 |
| STANFORD/tictactoe/ss1kyQ | 5.698386429458006 | 6886.5 | 1208.5 |
| BASE/tictactoe_3d_small_6player/g_9lww | 5.765394340671559 | 1152.2333333333333 | 199.8533431104593 |
| BASE/blocks2player/wnTLOQ | 5.777202863961814 | 10086.033333333333 | 1745.8333333333333 |
| BASE/chickentoetictac/l57rfQ | 5.781786257754887 | 8232.3 | 1423.8333333333333 |
| DRESDEN/connect4/T0-rHQ | 5.819524457968809 | 1019.8666666666667 | 175.24914175249143 |
| BASE/pawnWhopping/Ypc_6Q | 5.822594661700807 | 1563.3666666666666 | 268.5 |
| BASE/ticTacToeParallel/ymRGPw | 5.858740041507666 | 2917.0666666666666 | 497.9 |
| BASE/ticTacToe/JRFsaQ | 5.872098833981121 | 7050.433333333333 | 1200.6666666666667 |
| DRESDEN/blocksworldparallel/2JfVaw | 5.885369803850999 | 5450.833333333333 | 926.1666666666666 |
| BASE/connect4/50bOyw | 5.9023789752424705 | 1027.7666666666667 | 174.12752908236394 |
| BASE/connectFour_9x6/B9TtMw | 5.921598705079302 | 1966.3 | 332.0555981467284 |
| BASE/lightsOn/MsXu3A | 5.932526329589651 | 13575.4 | 2288.3 |
| DRESDEN/blocks2player/3ev8nQ | 5.943874682538144 | 10219.7 | 1719.3666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 5.948788258644103 | 7593.033333333334 | 1276.4 |
| BASE/tictactoe_orthogonal/WRzlVw | 5.983988915402972 | 7773.8 | 1299.1 |
| STANFORD/connectfour/VMpZkQ | 5.993524514338575 | 2159.6666666666665 | 360.3333333333333 |
| DRESDEN/pentago_2008/hLjVpQ | 5.995545263759595 | 815.7666666666667 | 136.06213126229125 |
| STANFORD/tictactoe7/-bE9-A | 6.003162610911008 | 6833.4 | 1138.3 |
| BASE/toetictac/mTThmg | 6.010708787899071 | 8980.6 | 1494.1 |
| BASE/tictactoe_3d_small_2player/oOryKA | 6.057285321100917 | 1606.4333333333334 | 265.20681265206815 |
| BASE/blocker/dIWtxg | 6.12015503875969 | 6316.0 | 1032.0 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 6.14399595090472 | 6474.133333333333 | 1053.7333333333333 |
| BASE/connectFour/WAIKTw | 6.147791900486345 | 2191.0 | 356.3881203959868 |
| DRESDEN/toetictac/mJtxCA | 6.153342272437517 | 9331.133333333333 | 1516.4333333333334 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 6.157160804020101 | 1633.7 | 265.3333333333333 |
| BASE/ticTicToe/c1OobQ | 6.202501690331304 | 4280.966666666666 | 690.2 |
| DRESDEN/buttons/ADUaHw | 6.294102592538879 | 24593.366666666665 | 3907.366666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 6.3382461311717035 | 6594.1 | 1040.3666666666666 |
| DRESDEN/towerworld/HCX34w | 6.405569272728097 | 109.89267382174522 | 17.155801325826975 |
| STANFORD/tictictoe/rpt_Dw | 6.425636380970541 | 4493.233333333334 | 699.2666666666667 |
| BASE/buttons/hTcUjw | 6.426633020663404 | 25212.966666666667 | 3923.2 |
| STANFORD/multipletictactoe/_bkafQ | 6.446447557840617 | 1002.8666666666667 | 155.56888622275545 |
| BASE/pentago/86NgKw | 6.504806038047973 | 786.3 | 120.8798533577737 |
| BASE/connectFourLarge/aU644A | 6.559411623931624 | 1534.8 | 233.98440103993067 |
| BASE/ticTacToeSerial/Amrwqw | 6.608141788978123 | 3181.6 | 481.46666666666664 |
| DRESDEN/javastrike/whONTQ | 6.630806845965771 | 723.2 | 109.06666666666666 |
| BASE/dualConnect4/WbCQkg | 6.663630747922437 | 1282.8 | 192.50766564458073 |
| BASE/pentagoSuicide/SBgNhw | 6.68435520464652 | 818.3333333333334 | 122.42517165522298 |
| BASE/stateSpaceSmall/Q7osKA | 6.748456836894479 | 22266.533333333333 | 3299.5 |
| DRESDEN/stratego/Z2wovg | 6.7580742529429525 | 1492.6333333333334 | 220.86666666666667 |
| BASE/circlesolitaire/azuQFQ | 6.899337266628951 | 11382.066666666668 | 1649.7333333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 6.919818426895021 | 11636.366666666667 | 1681.6 |
| BASE/incredible/8Qh-6Q | 6.965417180108915 | 5840.966666666666 | 838.5666666666667 |
| DRESDEN/statespacesmall/h-NqjA | 7.133093599307587 | 23076.033333333333 | 3235.0666666666666 |
| DRESDEN/troublemaker01/C-lPWw | 7.193152335405472 | 32438.0 | 4509.566666666667 |
| BASE/troublemaker01/s3tlEQ | 7.260258942286591 | 31982.166666666668 | 4405.1 |
| BASE/3pConnectFour/PqXOFQ | 7.348067167292449 | 1369.8333333333333 | 186.4209052729818 |
| BASE/duplicateStateSmall/bCPAXw | 7.552699888752604 | 17651.666666666668 | 2337.133333333333 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 7.6539286640420565 | 10822.4 | 1413.9666666666667 |
| BASE/coloredtrails/EZvr7g | 7.67836787564767 | 3951.8 | 514.6666666666666 |
| DRESDEN/troublemaker02/iZLVuA | 7.713070447496677 | 29014.0 | 3761.6666666666665 |
| DRESDEN/statespacelarge/8-y5HQ | 7.754787797132133 | 10744.0 | 1385.4666666666667 |
| DRESDEN/tictactoe_3player/ESLQQQ | 7.771324379915305 | 1998.1333333333334 | 257.11619225384976 |
| BASE/switches/tPUoCg | 7.881288872711159 | 16599.833333333332 | 2106.233333333333 |
| BASE/stateSpaceMedium/3bUoIw | 8.014403774089937 | 15968.966666666667 | 1992.5333333333333 |
| BASE/troublemaker02/DI83KA | 8.08795266401663 | 29570.633333333335 | 3656.133333333333 |
| STANFORD/dualrainbow/G3OnRQ | 8.09882267705126 | 7452.266666666666 | 920.1666666666666 |
| BASE/blockerSerial/3eqDuw | 8.132509421311529 | 2883.866666666667 | 354.60969268715417 |
| BASE/firefighter/WJmoPw | 8.176630524884779 | 8219.966666666667 | 1005.3 |
| DRESDEN/firefighter/WJmoPw | 8.298657272002128 | 8323.0 | 1002.9333333333333 |
| DRESDEN/statespacemedium/dVJZ_w | 8.336870969379982 | 16417.8 | 1969.3 |
| BASE/cittaceot/fDxhXg | 8.379795258514465 | 1888.8333333333333 | 225.40327956272498 |
| DRESDEN/connectfoursuicide/M9CNQg | 8.39879286459692 | 2146.1 | 255.524815839472 |
| BASE/stateSpaceLarge/0Ge_CQ | 8.525714006498744 | 11632.2 | 1364.3666666666666 |
| BASE/hodgepodge/9yjRkw | 8.560381462272044 | 8527.566666666668 | 996.1666666666666 |
| DRESDEN/golden_rectangle/1uloXw | 8.58810496969697 | 551.0333333333333 | 64.16238917405506 |
| DRESDEN/Zhadu/9zpQ5w | 8.682561787600404 | 222.50366617784294 | 25.626499600106637 |
| DRESDEN/8puzzle/8fKC2w | 8.69906045751634 | 7098.433333333333 | 816.0 |
| STANFORD/breakthrough/d5j0cQ | 8.704209525483304 | 1650.7333333333333 | 189.64770189647703 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 8.741948799805044 | 2391.266666666667 | 273.53931273539314 |
| BASE/alexChess/LNo83g | 8.75560896192541 | 46.83388294860264 | 5.349014917439118 |
| BASE/hidato19/rRHSmA | 8.769933446492079 | 1205.5333333333333 | 137.46208459718008 |
| DRESDEN/battlesnakes1509/-qZrLw | 8.892128279883382 | 2236.6666666666665 | 251.53333333333333 |
| DRESDEN/snake_2009/zIYLVw | 8.916660109508546 | 1483.6333333333334 | 166.38890740617293 |
| BASE/snake_2009_big/-oRfVw | 9.054654866121535 | 1254.9333333333334 | 138.59538015399485 |
| BASE/qyshinsu/R08Lzw | 9.109507204717154 | 549.2666666666667 | 60.29598026798214 |
| DRESDEN/snake_2009_big/DgC1NQ | 9.112069305488102 | 1250.7 | 137.25751616558895 |
| DRESDEN/battlesnakes2011/93VtTw | 9.20366941580756 | 2320.9333333333334 | 252.17478252174783 |
| BASE/snake_2009/7l-qAQ | 9.294264245425781 | 1501.1333333333334 | 161.51179842687642 |
| BASE/checkLines/Vop7oQ | 9.344299233889139 | 2764.6666666666665 | 295.8666666666667 |
| STANFORD/dualhunter/1rPZjQ | 9.62588139013453 | 3291.3 | 341.9219359354688 |
| DRESDEN/babel/WdSW4A | 9.684462313860251 | 845.2 | 87.27381785464361 |
| DRESDEN/mimikry/GJEhwA | 9.841670388566323 | 1469.0333333333333 | 149.26666666666668 |
| BASE/tictactoe_3player/GtM71g | 9.863395314481009 | 1987.8666666666666 | 201.5397946940408 |
| BASE/connectFourLarger/qKi60A | 9.921811980209798 | 977.2007599746676 | 98.4901509849015 |
| STANFORD/untwistycorridor/EDPPAQ | 10.031945208830184 | 27342.066666666666 | 2725.5 |
| BASE/untwistycomplex2/EDPPAQ | 10.117743662977508 | 28339.8 | 2801.0 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 10.408698087566442 | 2110.4666666666667 | 202.75990800306656 |
| BASE/tictactoe_3d_6player/d7KSwg | 10.452639751552795 | 448.73675088327445 | 42.93047130191321 |
| DRESDEN/cube_2x2x2/fp-34Q | 10.634526809871279 | 4323.5 | 406.55311489617014 |
| BASE/othello-comp2007/86ZoMw | 10.700884220628724 | 23.487141954156826 | 2.1948786165613567 |
| BASE/mineClearingSmall/frsbvw | 10.710839208049336 | 733.0666666666667 | 68.44157142381127 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 10.950874563156725 | 41.33910726182545 | 3.7749594357429053 |
| STANFORD/rainbow/_4qNSQ | 11.022399392558846 | 16452.033333333333 | 1492.6 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 11.049437102300539 | 2257.4 | 204.3 |
| STANFORD/pentago/ZxzLmg | 11.087071490998078 | 1409.0666666666666 | 127.0909696767744 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 11.135692257750366 | 2286.9 | 205.36666666666667 |
| BASE/tictactoe_3d_2player/IUC1rQ | 11.307678932778932 | 543.7 | 48.08236979774083 |
| STANFORD/untwistycomplex/HTWEwg | 11.471502730398436 | 28359.466666666667 | 2472.1666666666665 |
| BASE/nonogram_10x10_1/0Xc62g | 11.591051639955305 | 139.3907072861809 | 12.025717045870948 |
| DRESDEN/logistics/fPru1Q | 11.63002658928226 | 3339.5333333333333 | 287.14752349843343 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 11.66247582205029 | 2411.8 | 206.8 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 11.767231709753561 | 536.5308979401374 | 45.59533721898418 |
| BASE/duplicateStateMedium/U163eQ | 11.77858798735511 | 9314.9 | 790.8333333333334 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 11.978110878417684 | 457.53333333333336 | 38.197453503099794 |
| DRESDEN/grid_game/U7_Yeg | 12.058862804079073 | 2351.5666666666666 | 195.00733235568592 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 12.202281620445895 | 1994.5333333333333 | 163.45576961535897 |
| DRESDEN/oisters_farm/pTQMLg | 12.235162582688904 | 13132.0 | 1073.3 |
| BASE/othelloSuicide/B442jg | 12.243142619245866 | 22.747710241465445 | 1.8579960185799602 |
| BASE/connectFourSuicide/c8p9Kw | 12.38563660622428 | 2140.1666666666665 | 172.7942401919936 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 12.556810910772077 | 2112.3333333333335 | 168.22211852543163 |
| BASE/strangeSkirmish/gc1zKA | 12.57403906627638 | 168.87185469088485 | 13.430199620088645 |
| DRESDEN/3pttc/uwYBZw | 12.650828212881766 | 2788.9 | 220.45196986867543 |
| BASE/skirmishHoles/AUCxCA | 12.736574550943915 | 197.18685420971934 | 15.481937739304145 |
| BASE/snakeParallel/RCVNtw | 13.064751858677 | 6853.333333333333 | 524.5666666666667 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 13.178914590669015 | 1995.9666666666667 | 151.4515215145152 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 13.234343428290796 | 353.10979268048794 | 26.681323073848308 |
| STANFORD/buttonsandlights/eyhJpA | 13.468941135221474 | 46097.9 | 3422.5333333333333 |
| STANFORD/bestbuttonsandlights/nm0wEA | 13.529232692778125 | 16591.8 | 1226.3666666666666 |
| BASE/othelloHoles/c0qAzw | 13.565920522301056 | 25.815262649478697 | 1.9029495718363463 |
| BASE/eightPuzzle/vLrgFg | 13.747796222777266 | 6971.733333333334 | 507.1164294523516 |
| DRESDEN/3pffa/0YrmQw | 13.925949070457742 | 2971.3333333333335 | 213.36666666666667 |
| STANFORD/8puzzle/jNiGtw | 13.928633536218312 | 6941.566666666667 | 498.3666666666667 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 14.078110782529574 | 2062.5 | 146.50403252682796 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 14.340728709070103 | 12949.2 | 902.9666666666667 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 14.390120596622065 | 2186.6 | 151.9514715195147 |
| STANFORD/eightpuzzle/W_aWbA | 14.446023897816236 | 7012.1 | 485.4 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 14.54914560436833 | 3256.366666666667 | 223.8184121058596 |
| BASE/maze/cCX3qQ | 14.581307758731558 | 26454.866666666665 | 1814.3 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 14.647402217267992 | 18097.353686175178 | 1235.5333333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 14.773097135107646 | 5809.766666666666 | 393.26666666666665 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 14.827602918607468 | 18357.066666666666 | 1238.0333333333333 |
| BASE/aipsrovers01/4C4jsw | 15.021549816237888 | 5994.4 | 399.05336488783706 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 15.042838083240829 | 14590.04865693528 | 969.9 |
| DRESDEN/catch_me/ghGWrA | 15.133859904385782 | 14561.8 | 962.2 |
| STANFORD/hunter/14dD-g | 15.276579694630547 | 6992.366666666667 | 457.7180760641312 |
| BASE/nonogram_5x5_1/qLKEZw | 15.290809523809523 | 741.8666666666667 | 48.51716094635122 |
| DRESDEN/Thief_Police/CX18rA | 15.500828443217122 | 14968.633333333333 | 965.6666666666666 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 15.750271406058483 | 14991.633333333333 | 951.8333333333334 |
| DRESDEN/point_grab/r5DPmQ | 15.866521275804812 | 21341.0 | 1345.0333333333333 |
| DRESDEN/backgammon/mqCW0Q | 16.33973605488079 | 806.8333333333334 | 49.3786026055376 |
| STANFORD/3puzzle/41ibjA | 16.52082074014373 | 16398.566666666666 | 992.6 |
| BASE/breakthroughSmall/HJ0tIA | 16.550496780095134 | 1507.7 | 91.09696343455218 |
| BASE/asteroidsSerial/id2QkA | 16.801321265652952 | 5008.7 | 298.1134591027265 |
| STANFORD/threepuzzle/41ibjA | 16.862051351903563 | 16505.7 | 978.8666666666667 |
| BASE/breakthroughSuicideSmall/XSbJog | 16.919794025500913 | 1547.8 | 91.47865498050454 |
| BASE/pegEuro/5awwhg | 17.103001092353523 | 1148.0666666666666 | 67.12662067126621 |
| BASE/queens08lg/Ru7eqQ | 17.190171971496436 | 723.2 | 42.070550614569804 |
| BASE/beatMania/qUHwvQ | 17.271360675767916 | 8433.9 | 488.3170560981301 |
| BASE/hidato37/pBrqxw | 17.538279284830395 | 308.5897136762108 | 17.595210377515382 |
| BASE/queens31lg/0gID-A | 17.55757844508844 | 18.553679091302755 | 1.0567333729608348 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 17.650436879769106 | 29762.166666666668 | 1686.2 |
| BASE/skirmishFinal3/-Olhfw | 17.786489215791573 | 287.690410319656 | 16.17465969980364 |
| BASE/tron_10x10/7ZTgDg | 17.802636889546616 | 4410.9 | 247.76666666666668 |
| BASE/skirmishFinal2/gdB62Q | 17.80653849267192 | 265.8489434037731 | 14.929849701736261 |
| DRESDEN/knightwar/7hhAqg | 17.83931840034965 | 2721.0 | 152.5282490583647 |
| DRESDEN/chinesecheckers1/Y-ftaA | 18.09440309113519 | 3395.0 | 187.62707909736343 |
| BASE/skirmishFinal1/ecWTnQ | 18.348014823196102 | 268.22439252024935 | 14.618714618714618 |
| DRESDEN/skirmishfinal/hzq8ww | 18.369132241046508 | 269.09103029899 | 14.649087761353043 |
| BASE/gt_dollar/TGjqRw | 18.382348481019058 | 12121.933333333332 | 659.4333333333333 |
| BASE/rubiksCube/9tNO9Q | 19.11837385412515 | 1598.9333333333334 | 83.63333333333334 |
| BASE/escortLatch/mX9BjQ | 19.461543910130075 | 1645.6333333333334 | 84.55821084558211 |
| BASE/duplicateStateLarge/dcjyuw | 19.957649613899616 | 5513.633333333333 | 276.26666666666665 |
| DRESDEN/capture_the_king/EQ229Q | 20.16169942638764 | 292.47075292470754 | 14.506254990684056 |
| BASE/peg/fJHVWw | 20.772736324360256 | 1388.6333333333334 | 66.84884030925086 |
| DRESDEN/frogs_and_toads/GjchhQ | 21.41938566926976 | 1736.5333333333333 | 81.07297567477508 |
| BASE/chomp/-LcqYQ | 21.50027062146893 | 4820.2 | 224.19252691576946 |
| DRESDEN/chomp/-LcqYQ | 21.530040268727586 | 4735.733333333334 | 219.9593346888437 |
| BASE/englishDraughts/jFkQxg | 21.73529398948159 | 1928.0666666666666 | 88.70672131693826 |
| BASE/hexPie/48CH6Q | 21.760938436781608 | 525.7666666666667 | 24.161029093211585 |
| BASE/asteroidsParallel/WauZiA | 21.83733733733734 | 5817.466666666666 | 266.4 |
| DRESDEN/minichess/c7GMFw | 22.389487032098764 | 2518.733333333333 | 112.49625012499584 |
| BASE/skirmish/Y_psYQ | 22.60785999883211 | 182.04239434742036 | 8.052172755706396 |
| BASE/hex/T1MK8g | 24.47638831050228 | 595.4333333333333 | 24.326846174353506 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 24.782778773016943 | 13.379930104842735 | 0.5398882113821138 |
| STANFORD/hex/MTqWcw | 25.02745821917808 | 608.9 | 24.32927845359107 |
| DRESDEN/breakthrough/z4hK7Q | 26.014084507042252 | 923.5 | 35.5 |
| STANFORD/alquerquezero/uVgA_A | 26.107705670886077 | 1718.7 | 65.8311389620346 |
| BASE/point_grab/V_osUg | 26.540167066560027 | 19910.433333333334 | 750.2 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 27.063142641509433 | 955.4666666666667 | 35.3050892619238 |
| DRESDEN/4pttc/9pB9AQ | 27.36265334407736 | 2263.2 | 82.71127699280191 |
| BASE/minichess/8NQEiA | 27.52408675958188 | 3159.133333333333 | 114.77704459108179 |
| DRESDEN/amazons/dNB28A | 27.626083610793845 | 151.8978904922185 | 5.498350494851545 |
| BASE/asteroids/BKCmPQ | 28.505009577132757 | 12897.566666666668 | 452.46666666666664 |
| BASE/endgame/jYjfOA | 28.857522212148684 | 1060.5 | 36.749516892117015 |
| DRESDEN/brawl/2kXtfQ | 29.35062470013736 | 347.17685487634157 | 11.828601892576303 |
| BASE/brawl/6Ymo_Q | 29.80767619047619 | 347.46666666666664 | 11.656952539550375 |
| BASE/breakthrough/TGxk-g | 30.190345767474536 | 954.7666666666667 | 31.624900026659557 |
| BASE/breakthroughSuicide/wZDpIg | 30.26990416229451 | 960.9333333333333 | 31.74550299800133 |
| BASE/breakthroughWalls/vOZaYA | 30.331401921024547 | 947.0666666666667 | 31.223966143490287 |
| BASE/shmup/ssTNlg | 32.99006479481641 | 5091.466666666666 | 154.33333333333334 |
| DRESDEN/endgame/IJhh3Q | 33.237860059001996 | 838.3387220425985 | 25.22240362509579 |
| BASE/ttcc4_2player_small/Cv72TA | 33.6881655762456 | 2230.8333333333335 | 66.22008931547023 |
| STANFORD/pilgrimage/ObRZnQ | 34.23722234151329 | 1487.5333333333333 | 43.44783926964982 |
| STANFORD/freeforall/Lfp40Q | 34.39976922043011 | 2842.766666666667 | 82.63912029323559 |
| BASE/gt_centipede/9fRMpw | 35.17436217415418 | 16911.833333333332 | 480.8 |
| BASE/biddingTicTacToe/8mESVw | 35.28848110056259 | 4460.166666666667 | 126.39157389507366 |
| DRESDEN/hallway/0H4l-Q | 35.65706388361796 | 625.6666666666666 | 17.546780315642273 |
| BASE/hallway/ckCJOw | 35.915174368932036 | 616.4 | 17.162662045522712 |
| DRESDEN/bidding-tictactoe/yW5vTA | 36.06635906446922 | 4959.5 | 137.51041493084486 |
| BASE/4pffa/Q3ADlg | 39.479585034850345 | 2138.866666666667 | 54.17652350648053 |
| BASE/2pffa/6oHijA | 39.72229495996232 | 2810.733333333333 | 70.7595907075959 |
| DRESDEN/racetrackcorridor/O0DoTA | 39.722473798627 | 2314.0333333333333 | 58.25501566353396 |
| DRESDEN/knightstour/cGISAA | 39.74823602872307 | 21218.933333333334 | 533.8333333333334 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 39.81304023831348 | 1447.4333333333334 | 36.35575993868506 |
| STANFORD/chinook/osFbPA | 40.46402242301089 | 876.6374454184861 | 21.664614463043694 |
| BASE/racetrackcorridor/_RkdUg | 40.751929583333336 | 2389.266666666667 | 58.62953462806889 |
| BASE/3pffa/pR0dzA | 40.8828045681656 | 2544.5333333333333 | 62.239696131676276 |
| DRESDEN/Goldrush/VeWczQ | 41.211843152866244 | 1725.0 | 41.856900056653444 |
| BASE/choicethroughalt/tt71Lg | 41.404115760869566 | 1014.8 | 24.509640680675346 |
| BASE/chineseCheckers4/avfBcQ | 42.041625385934815 | 2450.7 | 58.29222770297294 |
| BASE/breakthroughHoles/nZk0Sg | 42.734844300611286 | 1320.0666666666666 | 30.889703432189272 |
| BASE/chinook/XQh0IQ | 42.90648411764706 | 971.8666666666667 | 22.65081109889744 |
| BASE/2pffa_zerosum/o0_uZA | 43.523182035087714 | 2755.733333333333 | 63.31644894694748 |
| DRESDEN/tttcc4/sAvtFg | 43.642997932816535 | 1313.5666666666666 | 30.097993467102192 |
| BASE/knightazons/apnJBQ | 44.085843892922874 | 557.8814039532016 | 12.654434047087815 |
| DRESDEN/knightazons/02I8BQ | 44.631638297872335 | 558.2666666666667 | 12.508316699933467 |
| BASE/ruleDepthLinear/OUBJpQ | 45.676487206392764 | 37725.73333333333 | 825.9333333333333 |
| BASE/tttcc4/8Bs2lg | 45.86283655669321 | 1343.3333333333333 | 29.290236587804067 |
| BASE/ttcc4/Le0qjQ | 46.838522585494175 | 1384.7666666666667 | 29.564695686954202 |
| DRESDEN/skirmish3/3LU8Nw | 47.3451044400265 | 793.7666666666667 | 16.76554896340244 |
| DRESDEN/skirmish2/iPpWhQ | 47.67835887611749 | 828.3333333333334 | 17.373360846701726 |
| BASE/queens06ug/7Lq3tw | 48.397712501862614 | 3607.5333333333333 | 74.53933557695511 |
| BASE/copolymer_4_pie/IN5_jA | 48.66828888888888 | 2384.6666666666665 | 48.9983667211093 |
| DRESDEN/skirmish/RjGQYQ | 48.866704607046074 | 800.6666666666666 | 16.38470760623418 |
| BASE/wallmaze/uxNQ9g | 49.914767608286255 | 1176.7333333333333 | 23.57485348961108 |
| BASE/dotsAndBoxes/EHwA_w | 51.81707142857143 | 1521.9 | 29.37062937062937 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 52.214621108580104 | 1527.3333333333333 | 29.251066098081022 |
| DRESDEN/knightthrough/J7Fc_Q | 53.464653846153844 | 1805.3 | 33.76623376623377 |
| BASE/copolymer_4/2LDVhQ | 53.510226835218454 | 2679.4333333333334 | 50.073294243070364 |
| BASE/chineseCheckers2/eCMR3Q | 53.67036183450929 | 5576.466666666666 | 103.90216268452798 |
| BASE/chineseCheckers1/gqtwHw | 57.82045620272315 | 7643.1 | 132.1867813218678 |
| BASE/chineseCheckers6/rREH3A | 59.61525833333334 | 2646.3 | 44.38964241676942 |
| BASE/queens08ug/kJ_ZFQ | 60.30845567567568 | 2230.9666666666667 | 36.99260147970406 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 62.785851851851845 | 1487.0333333333333 | 23.68421052631579 |
| BASE/chineseCheckers3/-1rZdQ | 63.61641858367163 | 4700.0 | 73.88029858704346 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 65.18020884424293 | 385.6047984005331 | 5.915979792608349 |
| STANFORD/knightstourmedium/x1wu8Q | 66.82990222245017 | 21716.766666666666 | 324.95583480550647 |
| BASE/checkersTorusNoKings/pwb6oQ | 66.94567312138729 | 1543.1333333333334 | 23.050531294760333 |
| BASE/reversiSuicide/9OxJlg | 67.9407973965563 | 130.89842708611036 | 1.9266542652139251 |
| BASE/checkersBarrelNoKings/rnKNeg | 68.06522714681441 | 1636.4666666666667 | 24.04262404262404 |
| BASE/checkersTorus/2vm1EQ | 68.98670293103449 | 1332.1 | 19.309518260811664 |
| STANFORD/skirmish/w4V6Vw | 69.33791682406358 | 165.55562962469168 | 2.3876637373569887 |
| BASE/roshambo2/KNPokQ | 69.67688435475306 | 21866.2 | 313.8228725709143 |
| STANFORD/ttcc4/Cx9SGw | 70.11406587064677 | 1564.7333333333333 | 22.316967557124777 |
| BASE/ttcc4_2player/_aH_Mw | 71.20986458333333 | 1479.8333333333333 | 20.781296832850433 |
| BASE/reversi/d8UMeA | 71.30640538558954 | 128.30767179897353 | 1.7993849375122686 |
| DRESDEN/roshambo2/jgSlkQ | 72.19610591178782 | 22441.866666666665 | 310.84594360375974 |
| STANFORD/madness/UO_B3A | 72.49801699716714 | 167.23879353441095 | 2.306805074971165 |
| DRESDEN/gt_prisoner/huCp4w | 73.23362619359058 | 14928.9 | 203.85307646156923 |
| BASE/god/qF06gw | 74.99271118928463 | 270.61529231384577 | 3.608554591802953 |
| BASE/pawnToQueen/-O1_JA | 75.51737943009688 | 96.8139705392255 | 1.282009138424115 |
| DRESDEN/pawntoqueen/f_x6Aw | 77.30627168715067 | 97.16018932071195 | 1.2568215644121052 |
| STANFORD/knightstour/cEwgNA | 77.77126417535034 | 21642.3 | 278.2814479034731 |
| BASE/knightsTour/mvtVIg | 78.25992705981264 | 21717.566666666666 | 277.5055827750558 |
| BASE/sheepAndWolf/g4THrg | 78.51091979695433 | 1544.4 | 19.671148981493808 |
| BASE/gt_coordination/IVMOzA | 81.95645768538222 | 16689.066666666666 | 203.63333333333333 |
| DRESDEN/god/2EDD5w | 82.164 | 278.8 | 3.3932135728542914 |
| BASE/queens12ug/u6Bkmg | 84.60369399477807 | 1079.1 | 12.754762221926201 |
| BASE/chess_200/XsTpYA | 87.29107043233239 | 285.5571480950635 | 3.2713214155899943 |
| BASE/ttcc4_2player_alt/ZEJvYA | 88.08038042237443 | 1712.6333333333334 | 19.44398202097553 |
| DRESDEN/gt_chicken/CeuKtw | 89.3254582384992 | 14387.933333333332 | 161.0731544742543 |
| BASE/knightwar/DVGY4Q | 90.46041690450055 | 2745.7 | 30.352502165656027 |
| BASE/2pttc/unkkYA | 90.74056077170418 | 2819.4 | 31.071000399627014 |
| BASE/queens16ug/gT-ylw | 91.37865692124984 | 599.7133428885704 | 6.562947662990972 |
| BASE/battlebrushes/arCwyA | 97.91099673966912 | 296.6901103296557 | 3.0302021244713795 |
| BASE/gt_prisoner/klthDw | 98.63804231983923 | 15267.133333333333 | 154.7793627516331 |
| BASE/gt_staghunt/xPjLRA | 102.32400089425441 | 15256.0 | 149.09503016566114 |
| DRESDEN/Runners/3bOCQw | 102.53279347385296 | 24158.533333333333 | 235.6176254916339 |
| DRESDEN/battle/8oAvhQ | 111.05554751118743 | 105.14563753915884 | 0.9467841984982044 |
| BASE/battle/8oAvhQ | 112.00273745649825 | 104.10904122371447 | 0.9295222919363941 |
| BASE/3pttc/0sol9g | 112.70872577639751 | 2419.4 | 21.465951134962168 |
| BASE/skirmishNew/sibw2g | 113.66949515337443 | 625.9458018066065 | 5.506717531929009 |
| BASE/gt_chicken/gmepTQ | 115.41372237822847 | 14794.066666666668 | 128.18290894547394 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 119.23882911894272 | 9020.3 | 75.64901522977972 |
| BASE/kitten_escapes_from_fire/uW-YiA | 122.05796822429906 | 9139.4 | 74.8775367389783 |
| DRESDEN/pacman3p/rBnk8Q | 132.0988642927794 | 2964.0666666666666 | 22.438244889806246 |
| BASE/connect5/d-BVQg | 132.44645165794066 | 842.9333333333333 | 6.364333077871447 |
| BASE/speedChess/bPnisA | 135.5489510964912 | 685.4333333333333 | 5.0567217804983535 |
| BASE/amazons_8x8/7SOsIw | 139.14982394366197 | 1314.0 | 9.44305901911887 |
| BASE/4pttc/AL1k2Q | 139.7231912403101 | 1999.4333333333334 | 14.309960398016573 |
| DRESDEN/smallest/9kaGFw | 140.2933038017651 | 4589.666666666667 | 32.7147949495286 |
| BASE/pacman3p/wW7UVQ | 140.59185601427114 | 3063.1666666666665 | 21.787653662924342 |
| BASE/pacman2p/4LEdQg | 141.56249845916795 | 3058.9 | 21.608123855501916 |
| DRESDEN/connect5/1kYzSg | 144.02471767955802 | 858.9 | 5.963559685018615 |
| BASE/quad_5x5/JAEP5g | 144.2817323823173 | 287.5379128753791 | 1.992892018467466 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 145.2158726800297 | 4344.333333333333 | 29.916380717593363 |
| DRESDEN/quad_5x5/JAEP5g | 145.90171748373416 | 293.0235658811373 | 2.008362690547526 |
| STANFORD/platformjumpers/HEQskA | 146.0164038010327 | 780.007333088897 | 5.3419157901722025 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 153.28113478260872 | 4227.6 | 27.58069351453982 |
| BASE/knightThrough/gcwFjA | 154.36063651252408 | 1780.2333333333333 | 11.532948901703277 |
| DRESDEN/smallest_4player/ADDROA | 167.57317032201914 | 6415.7 | 38.28596181400153 |
| BASE/smallest_4player/ADDROA | 171.96633153070576 | 6251.966666666666 | 36.35575993868506 |
| BASE/knightsTourLarge/M8jgLA | 182.50453227315248 | 19505.833333333332 | 106.87862427514497 |
| BASE/four_way_battle/xSOQXA | 206.97979268739792 | 343.4323234343232 | 1.659255326209597 |
| DRESDEN/four_way_battle/xSOQXA | 212.14820266666666 | 350.03333333333336 | 1.649947201689546 |
| STANFORD/knightstourbig/TQUI2g | 250.24872392976346 | 19159.433333333334 | 76.56156256249584 |
| BASE/checkers-mustjump-torus/uSApKQ | 250.96771319743888 | 366.12112929569014 | 1.458837571698551 |
| BASE/amazonsSuicide_10x10/XIbQkg | 256.7216897222222 | 1023.0333333333333 | 3.9849898714840766 |
| BASE/kalaha5x2x3/WviNsw | 267.96352941176474 | 4401.333333333333 | 16.42512077294686 |
| BASE/amazons_10x10/Bun8dA | 273.4372297935103 | 1023.5666666666667 | 3.7433332229105245 |
| DRESDEN/small_dominion/yB5GJA | 278.45937628459376 | 110.82225110822252 | 0.39798355001326613 |
| DRESDEN/snake_2008/E56l3A | 288.2398910675381 | 1467.3333333333333 | 5.090667110297788 |
| BASE/snake_2008/i6K26g | 299.27773572984745 | 1524.2333333333333 | 5.0930395126660235 |
| BASE/snake_2008_tweaked/bX0NJQ | 303.98259868421053 | 1531.5 | 5.038117335101094 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 308.227294987603 | 394.78684043865206 | 1.2808302407304017 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 324.3035675675676 | 396.8 | 1.2235449735449735 |
| DRESDEN/ghostmaze2p/HY0UwA | 331.83924183006536 | 10711.266666666666 | 32.278481012658226 |
| DRESDEN/nim4/F5YAYg | 360.79996970017635 | 11361.033333333333 | 31.488454233447737 |
| DRESDEN/bomberman2p/x4h6jQ | 361.90382387022015 | 10410.766666666666 | 28.766666666666666 |
| BASE/nim4/twk16w | 362.11603691489364 | 11336.1 | 31.305158690511874 |
| BASE/nim3/1OwUqw | 365.04401478322677 | 11403.066666666668 | 31.23751165578793 |
| BASE/bomberman2p/4CClwA | 368.2182014018692 | 10493.9 | 28.49913437208683 |
| BASE/ghostMaze2p/W-NU-w | 371.5321493478261 | 11381.133333333333 | 30.632970399227517 |
| DRESDEN/nim3/sG_axA | 373.0103860691145 | 11507.833333333334 | 30.851241046143596 |
| BASE/checkers-mustjump/T-8UuQ | 386.0586526315789 | 479.2 | 1.2412621676357223 |
| BASE/mummyMaze2p_2007/YGA3Vw | 389.80691848450056 | 11314.0 | 29.02462594554967 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 396.79851608391607 | 11343.9 | 28.58856457417033 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 400.78829740740747 | 2390.4666666666667 | 5.964412339706418 |
| DRESDEN/knightfight/4_Ly4w | 428.04287915518825 | 5172.766666666666 | 12.084692722551434 |
| BASE/knightfight/SJRkAg | 433.41042622950823 | 5276.0 | 12.173218918379565 |
| BASE/nim2/eF2Qqw | 473.13715951851856 | 14187.966666666667 | 29.98700563089328 |
| DRESDEN/nim2/z5_exA | 478.1184060805861 | 14490.366666666667 | 30.30706720841937 |
| BASE/amazonsTorus_10x10/Uxc08g | 495.0405115942029 | 758.7333333333333 | 1.532669176690101 |
| BASE/nim1/hin2Qw | 508.6712510151347 | 15302.333333333334 | 30.082952993303795 |
| DRESDEN/nim1/M9BALA | 529.3284628248588 | 15604.266666666666 | 29.479364444888578 |
| DRESDEN/gt_ultimatum/pAiiQw | 550.6560127167629 | 12690.8 | 23.046692866182642 |
| BASE/gt_ultimatum/GE-uOA | 579.2237741626794 | 12096.1 | 20.883293365307754 |
| DRESDEN/hanoi/RQ0jiA | 580.8868962674961 | 12441.633333333333 | 21.418340494986843 |
| BASE/hanoi/iGLsJg | 586.6069537701509 | 12524.233333333334 | 21.35029810478633 |
| DRESDEN/guess/PhxGhg | 591.4672077922078 | 1511.8 | 2.5560165975103732 |
| BASE/guess/SPpk1A | 596.5675184210527 | 1505.1333333333334 | 2.5229890781130697 |
| BASE/quartoSuicide/-23jUg | 625.7814111111111 | 2491.3333333333335 | 3.9811558622520073 |
| DRESDEN/quarto/OQzRYQ | 627.1405044077135 | 2511.9666666666667 | 4.0054288457082325 |
| DRESDEN/quartosuicide/WIU1oQ | 640.9706131147541 | 2600.2 | 4.056660238079404 |
| DRESDEN/crossers3/xiPTxg | 641.533 | 2084.8333333333335 | 3.2497678737233056 |
| DRESDEN/mummymaze2p/k-8edg | 646.7959355994152 | 9823.766666666666 | 15.188355594044566 |
| BASE/crossers3/O0rORg | 650.125393877551 | 2110.866666666667 | 3.246860815690952 |
| BASE/quarto/EwBMVQ | 668.5828362068966 | 2564.5 | 3.8357251504530123 |
| DRESDEN/chinesecheckers2/06E6-Q | 688.9835560606061 | 2523.8333333333335 | 3.6631256452096306 |
| BASE/mummymaze2p/vpjDdA | 691.5576475770926 | 10458.6 | 15.123251165889407 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 742.0110506120384 | 409.1530282323923 | 0.5514109633473889 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 748.8889294117647 | 409.4 | 0.5466765282824709 |
| BASE/checkers/rOC3Xg | 820.8308853473001 | 621.1459618012733 | 0.7567283016384813 |
| BASE/kalaha6x2x4/XS81Mg | 855.3984681159421 | 3909.0333333333333 | 4.569839062189549 |
| BASE/wargame02/BkVqqQ | 873.1139646464646 | 1913.8333333333333 | 2.191962803055463 |
| DRESDEN/hitori/S8Gsyg | 1033.123202091573 | 304.92600986535126 | 0.2951497064900141 |
| BASE/checkers-newgoals/0XkFiA | 1041.1674047619047 | 459.96666666666664 | 0.4417797412432944 |
| BASE/hitori/S8Gsyg | 1044.8325667177744 | 302.47983467768813 | 0.28950077200205865 |
| BASE/checkersSmall/SYmq8w | 1059.807215277778 | 816.8333333333334 | 0.77073766016892 |
| DRESDEN/knightmove/97Ipcw | 1114.8599771929826 | 2813.4333333333334 | 2.5235755080355955 |
| BASE/knightmove/jBaJEw | 1157.66456 | 2876.9 | 2.485089463220676 |
| BASE/wargame03/klXI8w | 1291.1084754098363 | 2611.5 | 2.022680549108031 |
| BASE/skirmishZeroSum/zh4hcw | 1291.7373333333335 | 595.4666666666667 | 0.4609812314784327 |
| BASE/wargame01/_GZFZg | 1337.7493194029848 | 2960.6 | 2.213120169122019 |
| BASE/cylinder-checkers/hlldmw | 1405.2493333333332 | 400.8 | 0.2852162890191729 |
| DRESDEN/cylinder-checkers/clOO3Q | 1449.8283333333334 | 401.8 | 0.27713625866050806 |
| DRESDEN/battlebrushes/QHXV4A | 1572.8456693438197 | 278.60165961275703 | 0.1771322292091046 |
| BASE/checkersTiny/Lr48cg | 1580.3231208333334 | 1243.9 | 0.7871175100849431 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1691.8560047998399 | 464.3845205159828 | 0.274482295891915 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 1735.794806839772 | 381.2539582013933 | 0.21964229683087544 |
| DRESDEN/chinesecheckers4/-oVNYg | 1886.1602028985508 | 1405.6666666666667 | 0.7452530620180157 |
| BASE/max_knights/2fq3Ag | 1919.6258862745096 | 2127.633333333333 | 1.1083583257269527 |
| DRESDEN/max_knights/hCipiA | 2049.1510083333333 | 2137.733333333333 | 1.04322879311469 |
| DRESDEN/pancakes88/aD3E7g | 2182.318006514658 | 22280.4 | 10.209511140671767 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 2186.026494444445 | 856.7333333333333 | 0.3919135177504164 |
| DRESDEN/checkers-mustjump/HUr33w | 2210.783204761905 | 504.3666666666667 | 0.2281393605579637 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2428.6744658867447 | 931.240209312402 | 0.3834355828220859 |
| DRESDEN/satlike_20v_91c/yeuENQ | 2564.635136976966 | 900.2165583874729 | 0.3510115514710575 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2748.8623321225045 | 868.4640250608192 | 0.3159358018450651 |
| DRESDEN/pancakes/hl9aiQ | 2757.0316578778134 | 28504.266666666666 | 10.33875203616901 |
| DRESDEN/pancakes6/SZXMyQ | 2853.647538562091 | 29095.566666666666 | 10.195921631347462 |
| BASE/pancakes6/QZTdnw | 3036.9976063030304 | 27835.433333333334 | 9.165444607385682 |
| BASE/pancakes/yUgbXw | 3100.400042293907 | 28751.3 | 9.273416206873629 |
| DRESDEN/blobwars/ZaMluQ | 4066.9222051863208 | 566.6288914072395 | 0.13932621840777998 |
| BASE/blobwars/0XT15Q | 4145.827825739142 | 578.8807039765342 | 0.13962970203021588 |
| DRESDEN/hanoi_6_disks/MeubgQ | 4722.509 | 9442.5 | 1.999466808850973 |
| DRESDEN/fizzbuzz/t1xHzQ | 4830.982394871795 | 31265.9 | 6.471954862263525 |
| BASE/hanoi_6_disks/MeubgQ | 4853.718884210526 | 9138.6 | 1.8828037259694788 |
| DRESDEN/chinesecheckers3/QsCb2A | 5554.291555555556 | 2125.366666666667 | 0.3826530612244898 |
| BASE/racer4/0vs7Ww | 5656.683244444444 | 1569.2666666666667 | 0.27741816164231553 |
| BASE/colonelBlotto/jip21A | 12554.876218181818 | 4516.733333333334 | 0.3597592883307169 |
| DRESDEN/checkers/jIDMIg | 16100.744333333334 | 459.6666666666667 | 0.028549404744911067 |
| BASE/ruleDepthExponential/UamhHQ | 19165.442288001486 | 2147.568959632629 | 0.1120542342493767 |
| BASE/pancakes88/l2Xaig | 19548.276965686277 | 22142.166666666668 | 1.1326914748309291 |
| BASE/gt_attrition/kD_SCA | 24309.0972 | 6012.266666666666 | 0.24732578989674148 |
| BASE/colonelBlottoVariant2/jruwGw | 25057.337314285713 | 10958.133333333333 | 0.43732233780026863 |
| BASE/colonelBlottoVariant/X-n-KQ | 26149.824885714286 | 11888.6 | 0.45463401961421057 |
| DRESDEN/merrills/aYEzwA | 29547.611079630682 | 580.0473317556082 | 0.01963093835885355 |
| BASE/merrills/pku8Tg | 31517.190726975772 | 558.5480483983868 | 0.017722012511740833 |
| BASE/gt_tinfoil/Q8DyKg | 35879.54083333333 | 17620.833333333332 | 0.4911108928396032 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 39266.72187777778 | 11074.566666666668 | 0.2820344081978001 |
| DRESDEN/hanoi7/51zz5Q | 40413.31484814815 | 11392.233333333334 | 0.28189306856265856 |
| DRESDEN/racer/vk_ZBA | 40467.48 | 3250.4 | 0.08032128514056225 |
| BASE/hanoi7_bugfix/3gdnFw | 41047.02948148148 | 11282.166666666666 | 0.2748595162472514 |
| BASE/crisscross/ICagEg | 41202.99846666667 | 2292.366666666667 | 0.05563591854901524 |
| BASE/racer/QQYQNw | 42215.544799999996 | 3354.7 | 0.07946598855689765 |
| DRESDEN/crisscross/GsY16g | 43200.49264999999 | 2396.233333333333 | 0.05546773164711429 |
| BASE/crissrace/ERWGDA | 53777.63566666667 | 1531.1666666666667 | 0.02847218267752406 |
| BASE/solitaireChineseCheckers/-ET6gw | 55050.598750000005 | 3525.8333333333335 | 0.06404713869407884 |
| DRESDEN/crissrace/KWb9bw | 55220.1986 | 1544.9666666666667 | 0.027978288847854065 |
| BASE/ad_game_2x2/D0aWqg | 68803.09346666667 | 1833.9666666666667 | 0.02665529374133703 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 79545.09457777778 | 21584.233333333334 | 0.27134587554269174 |
| DRESDEN/kalaha_2009/gcC8uA | 89375.91891666666 | 3919.5666666666666 | 0.04385484047801776 |
| BASE/kalaha_2009/dRiN3g | 89638.35098333334 | 3967.9666666666667 | 0.04426639516610965 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 105518.56062222223 | 7949.066666666667 | 0.07533335007407779 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 109730.36876666665 | 7878.966666666666 | 0.07180297264306743 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 118424.397 | 5878.6 | 0.04964010920824026 |
| BASE/twisty-passages/DiZmmg | 120026.2455 | 6319.0 | 0.052646818815973044 |
| DRESDEN/twisty-passages/j7NPyg | 122320.22286666668 | 6310.533333333334 | 0.051590270075063845 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 164069.66925000004 | 9360.7 | 0.057053202110968475 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 3434.9666666666667 | 0.0 |
| BASE/amazonsTorus/soxT8g | Infinity | 5.5 | 0.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 784.4333333333333 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 14.478764478764479 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 1527.5 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 4220.2 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 15.660771757523474 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 2039.2666666666667 | 0.0 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 |