index

REKKURA_BACKWARD_PROVER_OSTD:1.0.0 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/merrills/aYEzwA0.00.00.018857250612860643
BASE/merrills/pku8Tg0.00.00.0179768817300951
DRESDEN/othello-cornercontrol/r5Gdlg0.29859907498731220.162786911932280650.5451688419972421
BASE/connect5/d-BVQg0.3862678321906342617.90995181923907646.36666666666667
DRESDEN/coins/QwFP9w0.47265478253493131300.12750.633333333333
BASE/coins_atomic/AA3SSw0.49276417041482241376.76666666666672793.9666666666667
BASE/coins/QnGtnQ0.49569974647306431362.13333333333342747.9
BASE/pearls/6k_mEQ0.61369016337787128797.16666666666614334.866666666667
DRESDEN/babel/WdSW4A0.92942523019502582.1447613969608288.38232353529294
BASE/haystack/UkweGA0.983777185103837713377.53333333333313598.133333333333
STANFORD/untwistycomplex/HTWEwg1.16929569109637052890.96666666666672472.4
DRESDEN/tictactoeparallel/yk_DSg1.19336643982588431297.66666666666671087.4
BASE/ticblock/T21C1g1.2199017876848381473.96666666666671208.2666666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.27433840258651651064.2835.1
DRESDEN/battlebrushes/QHXV4A1.35604632770867050.365861770770970540.2698003477426704
DRESDEN/ticblock/Z2yNWQ1.39750824245498361469.43333333333341051.4666666666667
DRESDEN/doubletoetictac/V89gKQ1.4167516806612781805.36666666666661274.3
BASE/blokbox_simple/JBx4bg1.44289530970814657.1323823490201314.943104535049597
DRESDEN/latenttictactoe/kITHKg1.44377314875620581832.11268.9666666666667
BASE/double_tictactoe_dengji/zgaSbA1.45193557231402411309.1666666666667901.6699443351888
BASE/sudokuGrade6E/ihYFZA1.4538189876880985177.1121.81709105452606
DRESDEN/double_tictactoe_dengji/bGaUyQ1.46641903046675681302.7666666666667888.4
DRESDEN/pawn_whopping/4ogBkg1.47507977169565391094.0666666666666741.7
BASE/sudokuGrade6H/ieE_9A1.4838773127949108185.0271657611413124.69168722085195
BASE/survival/YVIjJA1.49466741782578310258.66863.466666666666
BASE/sudokuGrade5/BQfUQA1.497677876112418185.4938168727709123.85428123854281
STANFORD/sudoku/oJ1qyQ1.5080713467346278186.02713242891903123.3543312335433
BASE/factoringGeorgeForman/HGRorQ1.5232445812956595045.93312.6
BASE/doubletictactoe/HH1htg1.52744556884391281992.41304.4
BASE/sudokuGrade2/u80Tfw1.533140119132575188.47487001733103122.93388429752066
DRESDEN/doubletictactoe/lJzgmQ1.54041424933714871955.96666666666671269.7666666666667
BASE/sudokuGrade3/eI8dvg1.541039712331965189.06036465451152122.68364218104253
BASE/doubletoetictac/fu35bg1.5419507856507561907.03333333333331236.7666666666667
BASE/bunk_t/xbpfIA1.54809344790547821921.71241.3333333333333
DRESDEN/endgame/IJhh3Q1.54863940598829637.7528239645463324.378059746228395
BASE/sudokuGrade1/tDRNRw1.5521770688858647192.78714752349845124.20435231779251
BASE/blockerParallel/7-nDJA1.5554142152965496652.111596280124419.2526915769474
DRESDEN/bunk_t/7-tPfA1.56337841772319421968.86666666666661259.3666666666666
BASE/sudokuGrade4/DTy07w1.5658967196273534188.21451188214513120.19599346688443
BASE/eotcatcit/AfZSzA1.56732601905982243261.8666666666672081.1666666666665
BASE/ticTacToeNoVars/XT03NA1.56816363272654542090.46666666666671333.0666666666666
BASE/wargame03/klXI8w1.57288030408812343.2580870374680012.0714144801736043
DRESDEN/eotcatcit/mQUxzA1.5738880474762773394.66666666666652156.866666666667
DRESDEN/Zhadu/9zpQ5w1.59900033565580840.97132007594683525.623084099693457
DRESDEN/blockerparallel/dVQgSg1.614106903880973683.4666666666667423.43333333333334
DRESDEN/chickentictactoe/Ipbo-g1.63131322270679153004.93333333333341842.0333333333333
DRESDEN/lightson2x2/gBHuig1.67024430133905752723.33333333333351630.5
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.7043076839933509770.5743141895271452.1333333333333
BASE/nonogram_5x5_1/qLKEZw1.704609863378873585.2049316894368549.985004498650405
DRESDEN/tictactoe/BTTzPw1.7721547226798463442.2333333333331942.4
BASE/zhadu/DlA8iQ1.786093457266510639.38687104298567522.051965356429047
BASE/tictactoe2/bhrDoQ1.80323307812595222959.7666666666671641.3666666666666
BASE/strangeSkirmish/gc1zKA1.814436967562730325.98700649675162614.322352862805182
BASE/ticTacHeaven/18n58A1.8155708799584833621.9333333333333342.5552481583947
DRESDEN/towerworld/HCX34w1.816266020683517332.6148515841023417.957089552238806
DRESDEN/sheep_and_wolf/enAIzQ1.8213936191035431620.3459884670511340.58864704509847
BASE/wargame02/BkVqqQ1.82664775939795073.9910865733195862.1849240242327936
BASE/skirmishFinal1/ecWTnQ1.82772897989601326.31754280764874614.399040063995734
BASE/lightsOnParallel/SC6enA1.84140012345961252684.71457.9666666666667
DRESDEN/blocker/S815zQ1.86106288580246913859.12073.6
BASE/wargame01/_GZFZg1.8788583088337394.0839365163689492.1736266631537347
DRESDEN/skirmishfinal/hzq8ww1.903715573904068828.4552845528455314.947235260827592
BASE/ticTacHeavenFC/mrletw1.9061170297910182571.4666666666667299.80670532560157
STANFORD/tictactoe3/X7myng1.912783657136842421.96666666666671266.2
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.95227211616025831936.1333333333334991.7333333333333
STANFORD/sukoshi/4LYZZQ1.96346158815473282532.81289.9666666666667
BASE/endgame/jYjfOA1.9665026132008372.0546575570738236.6410179540988
BASE/skirmishFinal3/-Olhfw1.9839624785338531.77246386465063616.014649575495255
BASE/buttons/hTcUjw2.00655536208132777836.03905.2
BASE/skirmishHoles/AUCxCA2.012092877253371731.15939614090045515.486062543710661
BASE/ruleDepthLinear/OUBJpQ2.0248812761293991662.9821.2333333333333
BASE/skirmishFinal2/gdB62Q2.026861933249083629.6587576646227714.632845571814272
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2.03897621579164131.13987949845302070.5590450195665757
BASE/ticTacToeSerial/Amrwqw2.0470537844948911115.1666666666667544.7666666666667
DRESDEN/cubicup/SBn_lw2.0497680230230233455.03333333333336221.99260024665844
BASE/cubicup/4wNWJA2.058068977191021456.5181160627979221.81866648895405
BASE/onestep/xi53wA2.06114441065933114935.5333333333337246.233333333334
DRESDEN/buttons/ADUaHw2.0629965369729078101.83927.2
BASE/ticTacToeParallel/ymRGPw2.076680246503071040.8666666666666501.2166261124629
STANFORD/duidoku/3SoMaA2.0917885080151817161.8450873216904477.37163040218587
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.1039875835721107587.4333333333333279.2
DRESDEN/minichess-evilconjuncts/th24Tw2.1112408256949515206.4724703372883797.79674010866304
BASE/brain_teaser_extended/ZDp94A2.1147817438868833260.51541.7666666666667
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.12023458701534831.1888643043492620.5607230028365987
DRESDEN/tictactoelarge/IwXcbg2.1227353727353731905.9333333333334897.8666666666667
BASE/tictactoe-init1/7M19vA2.1234419365705762941.53333333333331385.2666666666667
DRESDEN/minichess/c7GMFw2.1327241425517314202.013132020131394.72070390614584
DRESDEN/amazons/dNB28A2.135456690810592812.1155638397017715.673523556735236
DRESDEN/tpeg/h-Scbg2.1374060512622854739.4345.93333333333334
DRESDEN/tictactoe-init1/3ltIBQ2.1401429112246833015.03333333333331408.8
BASE/minichess-evilconjuncts/4OpQzw2.160582826645976210.0526631557896297.22037061725104
BASE/tpeg/QNs7Lw2.1621618882389875726.9666666666667336.2221259291357
BASE/simultaneousWin2/PfjRjw2.16801661461290961018.0666666666667469.58434718842705
DRESDEN/peg/Vo31eg2.169195698296837742.9342.4771681887874
DRESDEN/tictictoe/LAUtwg2.16958318143152252380.46666666666671097.2
BASE/minichess/8NQEiA2.1806822849113705224.16666666666666102.79657344755175
DRESDEN/brain_teaser_extended/ZDp94A2.18608392242160583216.16666666666651471.2
DRESDEN/peg_bugfixed/u_B7MA2.1898044948906996752.3666666666667343.57709486034264
STANFORD/tictactoe5/WFRReg2.2295171072205062597.83333333333351165.2
BASE/sum15/QZ07Kg2.2315887524014675110.9333333333332290.266666666667
BASE/nonogram_10x10_1/0Xc62g2.23476924495717225.14319968029838711.250915385127488
DRESDEN/cubicup_3player/awDtsQ2.240937009416759398.0867304423186177.64298093587522
BASE/checkLines/Vop7oQ2.2427369149736642331.1333333333333147.646980402613
DRESDEN/sum15/CsgWKg2.2576569905213275081.2333333333342250.6666666666665
DRESDEN/connectfoursuicide/M9CNQg2.264410984933663671.3296.45678477384087
DRESDEN/connectfour/5tc-Mg2.2653276934719404631.8666666666667278.92947606985734
BASE/untwistycomplex2/EDPPAQ2.27162128610444426404.5333333333342819.366666666667
BASE/cubicup_3player/e2yA_g2.278511741530656403.953201559948177.28818078794748
BASE/lightsOn/MsXu3A2.2826481301426525243.1666666666672296.9666666666667
STANFORD/untwistycorridor/EDPPAQ2.288492068228756390.7666666666662792.5666666666666
BASE/connectFourSuicide/c8p9Kw2.3468286390197286610.2129929002367260.01599893340443
BASE/eotcitcit/V_9_bg2.35311618681625222530.93333333333341075.5666666666666
STANFORD/tictactoe/ss1kyQ2.37192482603692942886.01216.7333333333333
DRESDEN/sat_test_20v_91c/dK7nVw2.3804525520592166476.2174594180194200.0533297780148
STANFORD/trifecta/ss1kyQ2.38367134811590242920.21225.0849943337112
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.3874932352470815497.6208.4194387040864
BASE/ticTacToe/JRFsaQ2.40082381887042832894.83333333333351205.7666666666667
BASE/chickentictactoe/DSlZCA2.41214697843911272647.7333333333331097.6666666666667
DRESDEN/tictactoelargesuicide/6J4DeA2.42189173601384231959.6333333333334809.1333333333333
STANFORD/duikoshi/tpw1sw2.43649097815764471368.3333333333333561.6
STANFORD/connectfour/VMpZkQ2.4379654603917515568.3954403039797233.14335233143353
BASE/lightsOnSimultaneous/_VN6lw2.4530369732308511234.0503.0498983367221
DRESDEN/circlesolitaire/ruUilQ2.45424915016996574091.2333333333331667.0
BASE/snakeAssemblit/UO4sdg2.458219155643652515.6828105729809209.77902209779023
BASE/circlesolitaire/azuQFQ2.45822070042650334092.21664.7
BASE/tictactoe_orthogonal/WRzlVw2.45882802130870374507.9333333333331833.3666666666666
BASE/connectFourSimultaneous/7ITr3g2.4665919525296824477.5507483083897193.607518997467
DRESDEN/tictactoe_orthogonal/y69QFQ2.4695334641377814531.11834.8
BASE/asteroidsSerial/id2QkA2.47641029678087744.4666666666667300.62331255624815
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.482975934579439495.9199.72001866542232
BASE/connectFour/WAIKTw2.4873414923104433618.1666666666666248.52504916502784
BASE/duplicateStateSmall/bCPAXw2.4934231411574726021.72415.0333333333333
DRESDEN/troublemaker02/iZLVuA2.5020142741020639336.7666666666663731.7
BASE/factoringEasyTurtleBrain/lUj94Q2.5048930324452812704.71079.7666666666667
STANFORD/tictactoe7/-bE9-A2.5112892333891192851.06666666666661135.3
BASE/troublemaker01/s3tlEQ2.511799186053574711027.1333333333334390.133333333333
BASE/connectFourLarge/aU644A2.516823052163006320.0559981333956127.16666666666667
BASE/firefighter/WJmoPw2.5209870262019842642.66666666666651048.2666666666667
DRESDEN/tictactoex9/rFkD4w2.5302665969681133806.7333333333333318.8333333333333
BASE/numbertictactoe/rvJ-iQ2.5407937806873982069.9814.6666666666666
BASE/troublemaker02/DI83KA2.5439099433037229287.93651.0333333333333
BASE/blocks/xIV5hQ2.5447129272616826841.82688.633333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.5499055420120262522.9333333333333205.07949205079493
BASE/blocksWorld/SEdXLQ2.55168807520055156913.0333333333342709.2
BASE/chickentoetictac/l57rfQ2.5517173656876013897.83333333333351527.5333333333333
BASE/blocksWorldSerial/Wyg96Q2.55606890257814272987.53333333333331168.8
BASE/rubiksCube/9tNO9Q2.558415857862636214.3666666666666783.78882815624583
DRESDEN/oisters_farm/pTQMLg2.55992833681696032857.7333333333331116.3333333333333
DRESDEN/javastrike/whONTQ2.5648530866598698278.9054427890544108.7412936981371
BASE/connectFour_9x6/B9TtMw2.569487012768817509.6333333333333198.3404978506448
DRESDEN/troublemaker01/C-lPWw2.580728332341678311277.2666666666664369.8
BASE/blockerSerial/3eqDuw2.594114707557634961.4333333333333370.62097930068995
DRESDEN/blocks/vg0DRw2.59791017276409966862.0333333333342641.366666666667
DRESDEN/skirmish/RjGQYQ2.60003943086796943.7824870051979216.83916270092183
BASE/withConviction/3Xm54A2.6149775223354011531.7666666666667585.7666666666667
DRESDEN/Thief_Police/CX18rA2.6177001167273892466.8333333333335942.3666666666667
DRESDEN/chickentoetictac/cxYaRQ2.61845587905432663891.21486.0666666666666
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.6219573645699064380.40797280181323145.0854914508549
DRESDEN/statespacelarge/8-y5HQ2.63163028898914763597.01366.8333333333333
BASE/tictactoex9/BI26ow2.636461111111111832.5666666666667315.7894736842105
DRESDEN/CatchMeIfYouCanTest/CX18rA2.63767451699337172493.8333333333335945.4666666666667
BASE/stateSpaceLarge/0Ge_CQ2.64089121887287043694.16666666666651398.8333333333333
BASE/connectFourLarger/qKi60A2.642771477241603118.5130904003730644.84424454439447
DRESDEN/frogs_and_toads/GjchhQ2.643639504979624223.1443522314435284.40801093005432
DRESDEN/skirmish2/iPpWhQ2.644100580270793545.5530007664367417.22816488386817
DRESDEN/statespacemedium/dVJZ_w2.65438002258085965328.9333333333332007.6
DRESDEN/blocks2player/3ev8nQ2.67440171266916464663.81743.8666666666666
DRESDEN/statespacesmall/h-NqjA2.6837285723255968548.0333333333333185.133333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.68804540617240172525.866666666667939.6666666666666
DRESDEN/catch_me/ghGWrA2.7020142392043222517.4666666666667931.7
BASE/duplicateStateLarge/dcjyuw2.7069700712818614744.9085030498983275.1816545563629
BASE/alexChess/LNo83g2.716047737996114514.1215653621981695.1993067590987865
BASE/asteroids/BKCmPQ2.7172549676234661249.5333333333333459.8513382887237
DRESDEN/firefighter/WJmoPw2.72758053911900072765.7666666666671014.0
DRESDEN/pacman3p/rBnk8Q2.731741573033707664.826850648268523.730960237309603
BASE/asteroidsParallel/WauZiA2.7461609142334247733.5666666666667267.1244291856938
BASE/stateSpaceSmall/Q7osKA2.75461663776341368736.2666666666663171.5
BASE/blocks2player/wnTLOQ2.76912016702448274686.3666666666671692.3666666666666
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.7709977927927927410.06666666666666147.985201479852
BASE/duplicateStateMedium/U163eQ2.7735762918695592088.4333333333334752.9749008366388
BASE/conn4/va9Y7A2.79303675048355871299.6465.3
BASE/pacman2p/4LEdQg2.79767483678757559.7547157235219621.358706500765187
DRESDEN/8puzzle/8fKC2w2.79806879903439932318.2828.5
DRESDEN/snake_2009/zIYLVw2.7998789590478115462.6333333333333165.23333333333332
BASE/ticTacToeLargeSuicide/727_8g2.80419342008068641645.0333333333333586.6333333333333
BASE/blocker/dIWtxg2.81186508301875243053.96666666666671086.1
BASE/stateSpaceMedium/3bUoIw2.8146507087683565526.5666666666671963.5
DRESDEN/battlesnakes2011/93VtTw2.817719865974924724.0333333333333256.95717380436594
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.8198018795289856415.03333333333336147.18528147185282
DRESDEN/lightsout/XgLpzQ2.82003447227010052781.4986.3
DRESDEN/aipsrovers01/qS47Mw2.82280701754385931126.3399.0
BASE/ticTacToeLarge/TZC0dg2.8449835991403691676.8333333333333589.4
BASE/englishDraughts/jFkQxg2.851261267266867256.682887807479590.02433090024331
BASE/snake_2009_big/-oRfVw2.862508444444444386.4134.98650134986502
DRESDEN/battlesnakes1509/-qZrLw2.8672561965246537722.3333333333334251.92493583547216
DRESDEN/pentago_2008/hLjVpQ2.8760432007854684390.56666666666666135.8
DRESDEN/snake_2009_big/DgC1NQ2.8770343671835916383.4133.26222459251358
BASE/snake_2009/7l-qAQ2.881934577504457472.3175894136862163.88907406172922
BASE/factoringMediumTurtleBrain/8RBqmQ2.88194788771733861375.7477.35075497483416
DRESDEN/cube_2x2x2/fp-34Q2.88884638925755331233.4426.95243491883605
BASE/cittaceot/fDxhXg2.915055141982131289.0473968402106499.1567509915675
BASE/lightsOnSimul4/9FeASw2.91613053139211861061.5333333333333364.0211992933569
DRESDEN/grid_game/U7_Yeg2.9178717043049884569.4143528549048195.14715195147153
DRESDEN/gt_chicken/CeuKtw2.92393616220981476.0507983067231162.8116251166511
DRESDEN/ggp-course2013_nicolai/uEin8g2.926684684384022676.6948870075328326.205380927011188
DRESDEN/tictactoe_3d_small_2player/HYttcg2.933662754786906791.6269.8333333333333
BASE/pawnWhopping/Ypc_6Q2.9340457322438716777.9333333333333265.14015265140154
BASE/incredible/8Qh-6Q2.9390948483389512441.8830.8
STANFORD/buttonsandlights/eyhJpA2.9435153328347059838.73342.5
BASE/aipsrovers01/4C4jsw2.9436178987023861171.9333333333334398.12685398126854
DRESDEN/toetictac/mJtxCA2.94860097323600944524.3333333333331534.4
BASE/pacman3p/wW7UVQ2.963961961240847762.9832044788056521.24966693312017
BASE/tictactoe_3d_small_6player/g_9lww2.971968115942029592.3333333333334199.30675909878684
BASE/tictactoe_3d_small_2player/oOryKA2.977725236436038797.6333333333333267.8666666666667
BASE/mummymaze2p/vpjDdA2.98609467173945745.2182605798067315.142942723067195
BASE/toetictac/mTThmg2.99124598140585674590.1666666666671534.5333333333333
DRESDEN/logistics/fPru1Q2.9950282485875706883.5333333333333295.0
STANFORD/tictictoe/rpt_Dw3.0115393283750282227.0333333333333739.5
DRESDEN/mummymaze2p/k-8edg3.020210043537015445.424248483636615.040095830699098
BASE/skirmish/Y_psYQ3.02466337821623823.630182642314367.8125
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.0261452991452993491.6666666666667162.47292117980336
DRESDEN/stratego/Z2wovg3.0292533080411745675.3774874170861222.95180321311912
BASE/catcha_mouse/cHv4dw3.04037215920747971152.5666666666666379.0873637545415
DRESDEN/lightsout2/LFtfyQ3.0442377651177162956.766666666667971.2666666666667
STANFORD/multiplesukoshi/vLSQPg3.0504572862807806380.3539882003933124.68753124687531
DRESDEN/uf20-010.cnf.SAT/5ICbCg3.0526473561265663479.1156.94574056792428
BASE/pentago/86NgKw3.0566294683091115227.0848610092660474.2925707429257
DRESDEN/tictactoe_3d_6player/ulZPWg3.0619809368765156128.6623779207359642.01932689103632
BASE/blocksWorldParallel/RseaAQ3.0702226931798361760.1573.2808906369787
BASE/dualConnect4/WbCQkg3.0724658192090066349.57669488700753113.77724455108978
STANFORD/selectivesukoshi/3xmXYg3.073680505443598404.08653044898506131.46666666666667
BASE/switches/tPUoCg3.07680793027742636166.3333333333332004.1333333333334
DRESDEN/connect5/1kYzSg3.086338180671235820.6209607568792076.681367870190567
DRESDEN/blocksworldparallel/2JfVaw3.08741507347132242605.366666666667843.8666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ3.088095677667951614.3666666666667198.94677198946772
BASE/nineBoardTicTacToe/wRmqqA3.0885565451184673612.6666666666666198.36666666666667
BASE/slidingpieces/uFJWEw3.0969107750635474798.6666666666666257.8914036198793
BASE/pentagoSuicide/SBgNhw3.09694476534296228.773.84697414022928
BASE/ticTicToe/c1OobQ3.102056504783282165.266666666667698.0100663311223
STANFORD/pentago/ZxzLmg3.11487210973285239.7013731502466476.95384102649558
BASE/tictactoe_3d_2player/IUC1rQ3.119151067689808139.843359440093344.83378855505962
DRESDEN/chinesecheckers6/yTbPDA3.1308283642375425171.7437674976669754.85569552756115
DRESDEN/slidingpieces/s9_44g3.1335063230947178812.7259.3580213992867
BASE/coloredtrails/EZvr7g3.1470786214324181558.4333333333334495.2
DRESDEN/catcha_mouse/cHv4dw3.17236716566866231200.7666666666667378.508099460036
STANFORD/nineboardtictactoe/y28P-A3.180129822471783622.9666666666667195.8934702176594
DRESDEN/tictactoe_3d_2player/LMuX9w3.1983511159862066146.5568962069195345.822641383677144
DRESDEN/gt_prisoner/huCp4w3.212578315152325644.6785107163095200.67324356752434
DRESDEN/capture_the_king/EQ229Q3.216222173242230545.84527220630372614.25438596491228
DRESDEN/chinesecheckers2/06E6-Q3.2164926722066163320.8559714676177499.75336621783762
BASE/hodgepodge/9yjRkw3.23366195751600753181.6983.9
BASE/maze/cCX3qQ3.23420074349442386032.01865.0666666666666
DRESDEN/CephalopodMicro/H3XQfg3.237573400825154783.9470790148965325.92901183136144
BASE/checkersTorus/2vm1EQ3.23836283970984763.7808657402779219.695404405638683
STANFORD/jointbuttonsandlights/qAKuIQ3.24741101950532854306.51326.1333333333334
BASE/brawl/6Ymo_Q3.250688705234159339.30974748484242612.092744353387967
DRESDEN/tttcc4/sAvtFg3.255606414866081791.0363212262579127.96293827489668
BASE/mummyMaze2p_2007/YGA3Vw3.272938882146998598.0039321536872329.94370982246944
BASE/tttcc4/8Bs2lg3.28640733826949591.8302723242558627.942449876773463
STANFORD/madness/UO_B3A3.300166372741497.619871560243572.3089355806972987
DRESDEN/chinesecheckers1/Y-ftaA3.3204853675945754620.2459918002734186.79377354088197
DRESDEN/point_grab/r5DPmQ3.3280641964566274589.7333333333341379.1
BASE/nineBoardTicTacToePie/B8LzeQ3.330769230769231764.9666666666667229.66666666666666
DRESDEN/2player_normal_form_2010/NG_Kdg3.3358266502159165767.8666666666671729.0666666666666
BASE/ttcc4_2player_small/Cv72TA3.361154044307058217.4666666666666764.7
BASE/gt_prisoner/klthDw3.368924711130613511.76666666666665151.9080153307782
DRESDEN/brawl/2kXtfQ3.37219971184699739.49605039496050611.712251281027484
BASE/gt_chicken/gmepTQ3.373674381904261427.5126.71643780829223
DRESDEN/chinesecheckers3/QsCb2A3.405122396429559378.68737708743043111.2110911151103
BASE/mineClearingSmall/frsbvw3.407445882483372255.1496566895540474.88003199146894
STANFORD/skirmish/w4V6Vw3.4180861955330438.1644894694748072.388614271970275
BASE/gt_staghunt/xPjLRA3.4265155788488406533.8155394820172155.78961402573162
BASE/breakthroughSmallHoles/bxclRw3.43940861626050151100.7666666666667320.04533031131257
BASE/ttcc4/Le0qjQ3.47426767764528494.3685438187270927.162139643392766
DRESDEN/chinesecheckers6-simultaneous/gPPGUw3.4784604552340994198.6200919938670857.1
BASE/lightsOut/5P1ZBw3.48746029162602022264.1649.2116929435686
STANFORD/3puzzle/41ibjA3.49969346049046333425.0333333333333978.6666666666666
DRESDEN/skirmish3/3LU8Nw3.50486342417638759.99200106652446617.11678710579773
DRESDEN/ggp-course2013_jordi/9QI6Kw3.517376766493713300.879941337244285.54100436535705
DRESDEN/mummymaze2p-comp2007/oTQRQg3.5245817820405705101.7395361237003528.86570447651745
STANFORD/checkersonabarrelnokings/Zrevdw3.53153844767078586.1436950146627524.392682195341397
BASE/tictactoe_3d_6player/d7KSwg3.531890768645795141.200386576465539.97869578243068
BASE/hidato37/pBrqxw3.532823897488291763.2164756065049317.894035321559482
STANFORD/8puzzle/jNiGtw3.54253357914142741793.4666666666667506.26666666666665
BASE/checkersTorusNoKings/pwb6oQ3.54674220963172883.463884537182123.532548915036166
BASE/qyshinsu/R08Lzw3.549923853408176210.412292104122959.272339574865065
BASE/eightPuzzle/vLrgFg3.5536012034178861765.1333333333334496.7167761074631
DRESDEN/4pttc/9pB9AQ3.570547297297297299.483.85269121813032
DRESDEN/knightazons/02I8BQ3.61487574546241348.3140077302412413.365330133653302
STANFORD/threepuzzle/41ibjA3.62320430623653522.6972.2333333333333
BASE/cephalopodMicro/9l2D3g3.637310720775287776.9230769230769221.148338106973956
DRESDEN/chinesecheckers4/-oVNYg3.6594183721401343228.225725809139762.36666666666667
BASE/gt_coordination/IVMOzA3.6845617570215548752.0666666666667204.11292204112922
DRESDEN/knightwar/7hhAqg3.685418759500962564.1811939602013153.08469153084692
DRESDEN/breakthroughsuicide_v2/LU1nAw3.686399656106881130.4289857004766635.381130063965884
BASE/checkersBarrelNoKings/rnKNeg3.690455655171605588.7637078764041324.052235325471383
BASE/knightazons/apnJBQ3.699334514767932648.6333333333333313.146508686680423
BASE/snake2p/I3wWPQ3.7145831105710821120.9301.7566081130629
DRESDEN/pawntoqueen/f_x6Aw3.71510992963039584.8135975832420411.2956810631229236
DRESDEN/knightthrough/J7Fc_Q3.7195232223592276124.5376078914919933.482142857142854
STANFORD/eightpuzzle/W_aWbA3.73117905146597951785.8666666666666478.6333333333333
BASE/beatMania/qUHwvQ3.753081821385311893.3666666666666504.4831838938702
DRESDEN/breakthrough/z4hK7Q3.756578901954329133.5110814864189335.54060355739124
BASE/four_way_battle/xSOQXA3.75942225761159546.3524794625336751.6897488569345969
DRESDEN/battle/8oAvhQ3.76935370100956663.63708504166115580.9649094593290662
DRESDEN/3pttc/uwYBZw3.7840564536435517834.8333333333334220.61862542497167
DRESDEN/tictactoe_3player/ESLQQQ3.787444085598005961.6253.89153694876836
BASE/battle/8oAvhQ3.7971313292542353.6578877361000270.9633292659430993
DRESDEN/four_way_battle/xSOQXA3.80251011066630446.5302858665955881.7173618679612932
BASE/3pConnectFour/PqXOFQ3.839414042768143760.0197.9468719794687
DRESDEN/breakthroughsuicide/Y9QzqQ3.842876212400246139.0333333333333336.17949828430556
DRESDEN/grid_game2/kypTYQ3.8570741811766511676.1434.55218159394684
BASE/chess_200/XsTpYA3.86067777777777812.2666666666666673.177335010260144
BASE/breakthroughSmall/HJ0tIA3.867360189613709350.054998166727890.51523028727588
BASE/choicethroughalt/tt71Lg3.889485116675295394.5810837832433624.317121918720854
DRESDEN/3pffa/0YrmQw3.8976425578146827837.0214.74519214745192
DRESDEN/crisscross/GsY16g3.9037078506872023811.0333333333333207.75974134195528
BASE/breakthroughWalls/vOZaYA3.9110020490487023123.9044223014629931.680991405156906
STANFORD/rainbow/_4qNSQ3.9148877565073685685.21452.2
BASE/pawnToQueen/-O1_JA3.9526130232786124.9557639858976921.2537943777220535
BASE/hitori/S8Gsyg3.9611266677647841.05419206061604350.2661343978709248
STANFORD/bestbuttonsandlights/nm0wEA3.96623996994337524926.4666666666661242.1
BASE/majorities/ibJzSQ3.966313498629041404.0730617958803101.87622887992802
STANFORD/triplesukoshi/Iu9mbA3.9755698660942451296.4333333333334326.1
STANFORD/multipletictactoe/_bkafQ3.995710986473111807.3730875637478202.05993133562214
DRESDEN/hitori/S8Gsyg4.037109644441541.11089328889760170.27517045280826735
DRESDEN/ghostmaze2p/HY0UwA4.04430418483538134.0288657044765233.14015454303224
BASE/futoshiki5/TJ4BZg4.054776470919114800.7666666666667197.487252974306
BASE/breakthrough/TGxk-g4.061485057622552128.603325890625531.664114004128653
BASE/gt_centipede/9fRMpw4.0649110807113541980.9666666666667487.3333333333333
BASE/breakthroughSuicideSmall/XSbJog4.067394148341409363.789.41843026162306
BASE/crisscross/ICagEg4.067522737868193853.0666666666667209.72634245525148
BASE/chinook/XQh0IQ4.07876942188666695.7776518812277123.481997135529426
BASE/futoshiki4/BaCwSw4.0964031567630961397.1341.0552981567281
BASE/gt_dollar/TGjqRw4.1007460818186372729.866666666667665.7
DRESDEN/knightstour/cGISAA4.1008628709152372183.5532.4489183693877
BASE/tictactoe_3player/GtM71g4.103829514500881853.7333333333333208.03333333333333
BASE/breakthroughHoles/nZk0Sg4.116052487515954129.4623512549581831.453037017292505
DRESDEN/knightfight/4_Ly4w4.13033888814824751.5931209172110412.4912561207155
STANFORD/chinook/osFbPA4.137226040932092588.8703765411529521.480667399340593
STANFORD/dualrainbow/G3OnRQ4.1520751287488643654.9333333333334880.2666666666667
BASE/futoshiki6/JmvXNA4.15784190715182552.2815906136462132.82890570314322
BASE/breakthroughSuicide/wZDpIg4.163231407563025132.131.730160317301603
STANFORD/multiplebuttonsandlights/cK70Yg4.1843292615824815069.7333333333341211.6
DRESDEN/ggp-course2013_michal13/jWKddg4.199930727272727461.9109.97800439912018
STANFORD/multiplebuttonsandlights_9/SqB9BA4.2249986375279315168.31223.2666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g4.3112134241467233776.766666666667876.0333333333333
BASE/hidato19/rRHSmA4.311288759689922593.213559548015137.59541348621713
BASE/knightfight/SJRkAg4.31622098071374151.9246792201299812.030125299920021
STANFORD/ttcc4/Cx9SGw4.34901911973299692.9147503832566921.364530213645303
BASE/ghostMaze2p/W-NU-w4.354457538655934130.2869713028697229.920367840602406
BASE/golden_rectangle/_nYzfw4.3566275160362755437.6666666666667100.45996933537764
STANFORD/alquerquezero/uVgA_A4.3625069744104366289.766.4067706250833
BASE/shmup/ssTNlg4.3644058583106276640.5666666666667146.77064587082583
BASE/snakeParallel/RCVNtw4.3996410427605282262.366666666667514.2161927935736
BASE/skirmishNew/sibw2g4.441722800571545423.773848766357015.352393617021277
BASE/bomberman2p/4CClwA4.49598745588624126.1873812618738128.066666666666666
BASE/factoringImpossibleTurtleBrain/kcBhdw4.50444367770030412.8072918399254852.843257182530499
STANFORD/dualhunter/1rPZjQ4.5048963806018341550.2333333333333344.12186260457986
DRESDEN/bomberman2p/x4h6jQ4.528114926034401128.2410184629740728.32106087362143
BASE/ttcc4_2player/_aH_Mw4.54570376459877693.5386050851411320.577364898611528
BASE/pegEuro/5awwhg4.6459591217541805310.989633678877466.93766034718288
BASE/speedChess/bPnisA4.67458166814331823.2062593640752444.964349970013993
STANFORD/platformjumpers/HEQskA4.68138040517818625.5940280601193075.467196819085487
BASE/peg/fJHVWw4.705438672465859317.322755908136467.43744377436444
BASE/ttcc4_2player_alt/ZEJvYA4.73897251640757490.8030656447850619.160918391149323
STANFORD/breakthrough/d5j0cQ4.754989008152971900.6333333333333189.4080789228103
BASE/point_grab/V_osUg4.7941583710407243355.0699.8100063331223
BASE/chineseCheckers3/-1rZdQ4.835363776723457362.2212592913569474.91086007531074
BASE/chineseCheckers2/eCMR3Q4.865007548191467499.03333333333336102.5760655846969
STANFORD/hunter/14dD-g4.9335102462037452230.9333333333334452.2
DRESDEN/checkers-mustjump/HUr33w4.95613322502030851.13728675873273750.22947057859367317
BASE/chineseCheckers4/avfBcQ4.963210517032888295.903742959037459.619422134835204
DRESDEN/checkers-mustjump-torus/cVc3gA4.9718751453691211.07456854444806260.2161294306533284
DRESDEN/Runners/3bOCQw5.0029239766081871197.7239.4
BASE/gt_attrition/kD_SCA5.1379710579029151.17939981653780630.2295458271847844
DRESDEN/mimikry/GJEhwA5.143356785851182812.8395720142662158.03678528588566
BASE/hex/T1MK8g5.151850645166997128.0581294580361224.856723977075838
BASE/connect4/50bOyw5.210297760958689550.6105.67534242010197
BASE/tron_10x10/7ZTgDg5.2178464618760291268.2243.0504633024465
BASE/amazons_8x8/7SOsIw5.29860401366902950.098330055664819.455005493225022
BASE/knightwar/DVGY4Q5.363139762313718167.9554696353576431.316631130063964
BASE/hexPie/48CH6Q5.378250289759689129.6913539097393524.11404209965361
BASE/chineseCheckers6/rREH3A5.383686419156948241.8586047131762244.924348463640605
STANFORD/knightstour/cEwgNA5.3868786332898331513.5333333333333280.96666666666664
BASE/escortLatch/mX9BjQ5.38952390438247450.833333333333383.6499366793308
BASE/quarto/EwBMVQ5.40055935479570722.3621942278211034.140718166158739
STANFORD/hex/MTqWcw5.438082122905028129.6333333333333323.838060993474496
DRESDEN/connect4/T0-rHQ5.448964708400214565.6333333333333103.80565182617968
BASE/knightsTourLarge/M8jgLA5.481109741969457577.8333333333334105.42269002731331
STANFORD/pilgrimage/ObRZnQ5.5129662117765985242.2333333333333243.938838735467534
DRESDEN/quarto/OQzRYQ5.51828264266421222.372407364250764.054233683370995
BASE/quartoSuicide/-23jUg5.52317756074797621.932602246591783.9710116152089743
DRESDEN/quartosuicide/WIU1oQ5.5826924204076223.1117623551352054.139895343445717
BASE/amazonsSuicide_10x10/XIbQkg5.63381169247454721.756513626974083.8617750848924697
BASE/knightThrough/gcwFjA5.65537950686733465.3159157557984611.549342652687635
STANFORD/freeforall/Lfp40Q5.676033871437325473.601759882674583.4388537154282
STANFORD/knightstourmedium/x1wu8Q5.6767519234768141819.9666666666667320.6
BASE/knightsTour/mvtVIg5.6935033719878281538.3333333333333270.19099363354553
BASE/amazons_10x10/Bun8dA5.72734104128717521.240470086892833.7086092715231787
STANFORD/knightstourbig/TQUI2g5.825868282575572445.0518316056131376.3923607639236
DRESDEN/max_knights/hCipiA5.90843073413028556.8541008151721851.1600543568327202
BASE/chineseCheckers1/gqtwHw5.98558648111332802.8399053364888134.1288623712543
BASE/checkers-mustjump-torus/uSApKQ6.0059818550397138.7733873915788771.4607748746721556
DRESDEN/backgammon/mqCW0Q6.186463581555622308.7460835944270349.906716417910445
BASE/max_knights/2fq3Ag6.3004836265640736.88691486176265061.093077177873468
BASE/3pttc/0sol9g6.356374807987711137.9241383907739521.698553429771348
BASE/4pttc/AL1k2Q6.65359276084061194.7540327956272514.241032807612964
BASE/sheepAndWolf/g4THrg6.655230686518863132.4534213245342219.902153293174027
BASE/2pttc/unkkYA6.716730525990965206.3862409172721830.72718789575418
DRESDEN/golden_rectangle/1uloXw6.85420463450317439.2520249325022564.0850468224081
BASE/crissrace/ERWGDA6.9637574914750235332.888903703209947.80305806322662
DRESDEN/crissrace/KWb9bw7.076162011173185337.647.70947859403631
DRESDEN/god/2EDD5w7.86509175706229836.725988135706194.669492648032852
BASE/checkers-cylinder-mustjump/rjr6qQ8.0195421210473839.890768615958441.2333333333333334
BASE/2pffa/6oHijA8.023317546873669580.713976200793472.37828651404578
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw8.08535247781433810.3699272110878451.282557221783741
BASE/amazonsTorus_10x10/Uxc08g8.1604228691536112.7812541605645061.5662490002665956
DRESDEN/chomp/-LcqYQ8.2116750049455991844.7666666666667224.65168988734084
BASE/3pffa/pR0dzA8.25214592274678512.716242791906962.13126229125696
DRESDEN/kitten_escapes_from_fire/uW-YiA8.266110564898662638.877.2793921620901
BASE/chomp/-LcqYQ8.346248411633111865.2223.4776522347765
BASE/kitten_escapes_from_fire/uW-YiA8.352351428998837634.845505149828376.00799733422193
BASE/god/qF06gw8.47621637676269738.590995434398644.552856335781463
BASE/4pffa/Q3ADlg8.519819108833605466.3689087394173554.739297018157586
DRESDEN/cylinder-checkers/clOO3Q8.7566010987063622.45879851143009050.28079371022089106
BASE/2pffa_zerosum/o0_uZA8.942009277052618557.348088397053462.329178054796344
DRESDEN/checkers-newgoals/IJOqXQ9.1123321931663542.54882489241972850.2797115862754848
BASE/othello-comp2007/86ZoMw9.13428455134284620.0646602006466032.196631831192172
BASE/checkers-mustjump/T-8UuQ9.27836913617465711.6890901824963361.2598216357789345
BASE/biddingTicTacToe/8mESVw9.3327186512118031180.9126.53333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ9.5751909228213262113.0333333333333220.67793220677933
DRESDEN/bidding-tictactoe/yW5vTA9.6435951311.2666666666667135.97280543891222
BASE/cylinder-checkers/hlldmw9.8197122742577292.75482093663911830.2805398834200929
BASE/othelloSuicide/B442jg10.24614252199884819.6143727729861121.9143177767509407
BASE/othelloHoles/c0qAzw10.67471206982629520.6357130970211351.9331400193314001
DRESDEN/Goldrush/VeWczQ12.510416986100463542.081930602313343.3304446370242
BASE/colonelBlotto/jip21A13.9684205424008165.0986403625699820.3650119458455004
BASE/queens08lg/Ru7eqQ14.201163757273482569.466666666666740.1
BASE/crossers3/O0rORg14.3459084396761447.479425582247693.3096144299189145
DRESDEN/crossers3/xiPTxg14.56444899727714347.4285904742859053.256463082341995
BASE/gt_ultimatum/GE-uOA14.634720853080568308.721.093671898430472
DRESDEN/gt_ultimatum/pAiiQw15.07403014711563334.777681487900822.208903539439948
DRESDEN/racetrackcorridor/O0DoTA15.28439690011481887.158.039581528619976
BASE/hallway/ckCJOw15.32773051424801269.9820011999217.61395797955582
BASE/queens06ug/7Lq3tw15.480534358974361173.666666666666775.81564301662945
DRESDEN/hallway/0H4l-Q15.599587102877686271.3152456502899717.392463265918103
BASE/racetrackcorridor/_RkdUg15.972683173888575945.859.213595468177274
DRESDEN/roshambo2/jgSlkQ16.6702940253217565310.6318.56666666666666
BASE/roshambo2/KNPokQ16.8138198749378245258.066666666667312.72290923635876
DRESDEN/smallest/9kaGFw16.904681973829145589.58034732175634.87674883411059
BASE/copolymer_4_pie/IN5_jA17.6179573675014571008.257.225703239568055
BASE/copolymer_4/2LDVhQ19.4742553039332551088.933333333333455.91655836582358
DRESDEN/smallest_4player/ADDROA19.77775199503109720.209326355788136.41512577044811
BASE/reversi/d8UMeA19.88483261755575536.761765097986941.8487339473771087
BASE/smallest_4player/ADDROA19.9305901599016719.966666666666736.123700346574246
BASE/reversiSuicide/9OxJlg20.1679172903624636.5975601626558241.8146425154244614
BASE/biddingTicTacToe_10coins/a-9ccQ20.388675234741786578.633333333333328.380133906265613
DRESDEN/bidding-tictactoe_10coins/mu5VhQ20.546022299072945621.112629579014130.230310302303103
BASE/ad_game_2x2/D0aWqg21.2409519739653550.62456855461687650.029403981299067895
BASE/pancakes88/l2Xaig21.28906206636249425.243947114263831.1857707509881423
BASE/queens08ug/kJ_ZFQ24.765057450628365919.333333333333437.122196674331036
BASE/kalaha5x2x3/WviNsw26.43581438005143435.537630824611716.475287069395907
BASE/dotsAndBoxesSuicide/jzQbLw26.543407816091957769.066666666666728.97392346887801
BASE/dotsAndBoxes/EHwA_w26.91417009584529789.140361987933729.32062772798454
BASE/battlebrushes/arCwyA27.107605142732623129.178470254957524.765395894428153
BASE/quad_7x7/q-JOXg27.764834420533475652.811572947568423.51217237819296
DRESDEN/quad_7x7/q-JOXg27.89330838593259654.344855171494323.458847050983007
BASE/wallmaze/uxNQ9g29.614364554637284716.333333333333424.1887119344306
BASE/queens31lg/0gID-A35.4211747359301637.3862916930458841.0554785935747741
DRESDEN/quad_5x5/JAEP5g36.34715842701444211.01223211012235.8054670912951165
BASE/queens12ug/u6Bkmg37.1363651362375492.18359388020413.253413253413253
BASE/quad_5x5/JAEP5g38.17937846059763211.952536497566835.551492586929061
BASE/queens16ug/gT-ylw42.04261557788944277.63333333333336.603617056578729
DRESDEN/nim4/F5YAYg43.662161290322581352.430.97418817651957
BASE/nim4/twk16w44.668560801144491387.333333333333331.05838443081845
DRESDEN/nim3/sG_axA44.875282215122471403.333333333333331.27185533020282
BASE/skirmishZeroSum/zh4hcw45.7709003521461920.719520319786810.4526788889966696
BASE/nim3/1OwUqw45.928898918918921415.433333333333430.81792437114776
DRESDEN/nim2/z5_exA46.869688766114191413.666666666666730.161639726712213
BASE/nim2/eF2Qqw47.031805142231951431.930.44535491822391
DRESDEN/nim1/M9BALA48.848327061556331400.266666666666728.66560127846584
BASE/nim1/hin2Qw49.230903648233481424.366666666666628.932368921035966
BASE/kalaha6x2x4/XS81Mg52.678814023359564245.04216245042164.651626407947636
BASE/racer4/0vs7Ww55.2853960972042215.9569163259200160.28862805464691166
DRESDEN/small_dominion/yB5GJA55.3141382335954421.6246834599493520.3909431503502199
BASE/checkers-newgoals/0XkFiA58.92670757775566426.0605858632985630.4422542330048016
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg62.792011049723754378.466666666666646.027306027306027
DRESDEN/snake_2008/E56l3A64.82041458673996330.077994800346635.092191972309126
BASE/snake_2008/i6K26g65.74049943949237332.08893036898775.051512130275839
BASE/snake_2008_tweaked/bX0NJQ66.18914451754387334.033333333333365.0466482950961185
BASE/hanoi/iGLsJg77.064616190476191618.033333333333320.995800839832032
DRESDEN/checkers/jIDMIg77.832544907208322.2494955175493730.028901734104046242
DRESDEN/hanoi/RQ0jiA78.822047244094491668.421.166666666666668
BASE/checkers/rOC3Xg80.7962278856573360.942289750766360.7542714721411472
BASE/pancakes/yUgbXw82.48412230215828762.06666666666679.23894981721502
BASE/pancakes6/QZTdnw85.16133381995134777.13333333333339.125424631985613
BASE/colonelBlottoVariant2/jruwGw88.7260902881892442.678660669665170.4810159055926116
DRESDEN/quad/JPe6fg88.90059148566016181.393953534882172.0404133482524847
BASE/quad/tw-Ufg89.23394410248353185.077809990336222.074074074074074
BASE/colonelBlottoVariant/X-n-KQ93.4094416229157943.4145203745043840.46477657526060684
BASE/guess/SPpk1A93.61083502039406239.87601239876012.5624812805750605
DRESDEN/guess/PhxGhg94.22940682678998236.358788040398652.508333608369913
DRESDEN/Travelers-Dilemma/PvZwYw100.245446372082225.906563218008060.2584313218762114
DRESDEN/quad_5x5_8_2/JRTLJg101.24328358208956225.02.222369643094069
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA101.5909861991222638.743146074793970.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g110.1825400406045540.363937138130690.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ112.8172835249389741.2549489303656360.36567933246900036
BASE/checkersSmall/SYmq8w113.5463083297233289.606451397913960.7891621728265158
DRESDEN/pancakes88/aD3E7g118.849878688524581207.110.156510156510157
DRESDEN/pancakes6/SZXMyQ121.407669583575511256.79144028532410.35182904503545
BASE/blobwars/0XT15Q124.8908667287977718.1733457595526570.1455138092604988
DRESDEN/satlike_20v_91c_version2/yd9ioQ125.8304097438273741.0405772158601960.32615786040443573
DRESDEN/pancakes/hl9aiQ127.334900321543421317.666666666666710.348040194316896
DRESDEN/fizzbuzz/t1xHzQ129.09779081632652841.06.514441453119288
DRESDEN/blobwars/ZaMluQ130.2939245647325218.4426911681480730.1415468236892764
BASE/hanoi_6_disks/MeubgQ138.7607721985201295.74695020331982.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ142.4899296.12.0780420226275687
BASE/knightmove/jBaJEw142.9539926728181374.92083597213432.6226678175419957
DRESDEN/knightmove/97Ipcw144.8972110720045377.174855009666032.603051171373027
BASE/checkersTiny/Lr48cg172.31513478260868131.70.7642973448974845
DRESDEN/racer/vk_ZBA219.3977614341020818.1370428300442620.08266740148801323
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A219.4932272772656216.9401271341564870.07717835918808366
BASE/solitaireChineseCheckers/-ET6gw221.3513031414131514.2701417104350410.06446829771459885
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA231.5876264643237317.8048455804046850.07688167909587146
BASE/gt_tinfoil/Q8DyKg233.79566014466187116.862771240958640.49985004498650404
BASE/racer/QQYQNw241.7459973796993619.219239224568650.07950178879024777
DRESDEN/vacuumcleaner_random/_6AGDA265.6628728545242715.0974837527078820.05682948313585088
DRESDEN/vacuum_cleaner_1/eUNjpw295.5644151345590615.2211564082067690.051498609537542483
DRESDEN/kalaha_2009/gcC8uA499.3612156536219723.7468776019983350.047554509356349715
BASE/kalaha_2009/dRiN3g521.759596497652924.0370210074241760.04606914979384055
DRESDEN/hanoi7/51zz5Q551.9198148148149153.833333333333340.2787240631774543
DRESDEN/hanoi7_bugfix/3gdnFw573.7466222222222161.20.2809602597321512
BASE/hanoi7_bugfix/3gdnFw601.2683071339961170.438260289951670.28346456692913385
DRESDEN/twisty-passages/j7NPyg1223.836865253898664.507530321204850.052709255745308874
BASE/twisty-passages/DiZmmg1249.41115296156866.06446451784940.05287648054145516
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity2.4899571727366290.0
BASE/amazonsTorus/soxT8gInfinity0.0164698519360310940.0
BASE/gt_two_thirds_2p/1APDGgInfinity2.64629023188118140.0
BASE/amazons/RKKZjwInfinity0.08379186101723320.0
DRESDEN/farmers/S_ASnwInfinity1.34492373298343450.0
BASE/amazonsSuicide/dE1QEQInfinity0.088965333175172740.0

Games with errors:

GameREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds

index