index

ALLOY_COMPILED_PROVER_CACHING:2 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
BASE/quad/tw-Ufg0.1364605734282281225.255824080121926185.07780999033622
DRESDEN/quad/JPe6fg0.1832418715140298533.23896752706078181.39395353488217
BASE/quad_7x7/q-JOXg0.9594587694664285626.3457884737176652.8115729475684
DRESDEN/quad_7x7/q-JOXg0.961509666360047629.1589033803567654.3448551714943
BASE/queens31lg/0gID-A2.41783738481605790.3939737350843337.386291693045884
DRESDEN/ggp-course2013_michal13/jWKddg5.3518077505953672472.0461.9
DRESDEN/grid_game2/kypTYQ8.4810771035936614215.1333333333331676.1
BASE/futoshiki6/JmvXNA17.0629140885589559423.533333333333552.2815906136462
BASE/blokbox_simple/JBx4bg18.109735223255107129.165555851772877.132382349020131
BASE/quad_5x5/JAEP5g19.1531781042115384059.564681177294211.95253649756683
DRESDEN/quad_5x5/JAEP5g19.4770699257621234109.9211.0122321101223
DRESDEN/slidingpieces/s9_44g20.2503178704729116457.433333333334812.7
BASE/slidingpieces/uFJWEw20.3668614357262116266.333333333334798.6666666666666
BASE/futoshiki5/TJ4BZg20.9667818340756816789.5800.7666666666667
BASE/queens08lg/Ru7eqQ21.70615780847576612360.933333333332569.4666666666667
DRESDEN/quad_5x5_8_2/JRTLJg23.136888888888895205.8225.0
BASE/tictactoex9/BI26ow24.4158225567522120327.8832.5666666666667
BASE/onestep/xi53wA24.67105069342463368475.314935.533333333333
DRESDEN/tictactoex9/rFkD4w25.36881249483513720465.866666666665806.7333333333333
BASE/withConviction/3Xm54A26.45078667334015440516.4333333333341531.7666666666667
BASE/futoshiki4/BaCwSw26.47691646983036436990.91397.1
BASE/blocksWorldParallel/RseaAQ27.38264871314129748196.21760.1
DRESDEN/blockerparallel/dVQgSg27.7983320327740918999.233333333334683.4666666666667
STANFORD/selectivesukoshi/3xmXYg28.57795495889356411547.966666666667404.08653044898506
BASE/blockerParallel/7-nDJA28.87108092244258418827.166666666668652.111596280124
BASE/sudokuGrade6H/ieE_9A28.9667374587161465359.633333333333185.0271657611413
STANFORD/duidoku/3SoMaA29.1513327841845154718.0161.84508732169044
BASE/sudokuGrade6E/ihYFZA29.9904009034443855311.3177.1
BASE/numbertictactoe/rvJ-iQ30.30437863342834662727.033333333332069.9
DRESDEN/peg_bugfixed/u_B7MA30.33715830047406222824.666666666668752.3666666666667
BASE/cubicup_3player/e2yA_g30.47349697719833712309.866666666667403.953201559948
DRESDEN/peg/Vo31eg30.52698882756764222678.5742.9
BASE/sudokuGrade3/eI8dvg30.6111469130472935787.354597873546189.06036465451152
BASE/sudokuGrade4/DTy07w30.8571672215335555807.766666666666188.21451188214513
BASE/sudokuGrade2/u80Tfw31.0685097318007665855.633333333333188.47487001733103
BASE/sudokuGrade1/tDRNRw31.2057455278930366016.066666666667192.78714752349845
DRESDEN/tictactoe_orthogonal/y69QFQ31.34592041667586142031.54531.1
BASE/conn4/va9Y7A31.34990253411306340742.3333333333361299.6
BASE/tictactoe_orthogonal/WRzlVw31.817987547878555143433.366666666674507.933333333333
BASE/coins/QnGtnQ31.83374119028974343361.81362.1333333333334
STANFORD/sudoku/oJ1qyQ32.077757988413075967.333333333333186.02713242891903
DRESDEN/cubicup_3player/awDtsQ32.094011236707712776.2398.0867304423186
BASE/sudokuGrade5/BQfUQA32.4221049595687356014.1185.4938168727709
BASE/eotcitcit/V_9_bg32.5153171425561182294.12530.9333333333334
DRESDEN/pentago_2008/hLjVpQ32.6814884356063812764.3390.56666666666666
DRESDEN/2player_normal_form_2010/NG_Kdg32.84923946462008189470.033333333335767.866666666667
BASE/sum15/QZ07Kg33.05113873526035168922.166666666665110.933333333333
DRESDEN/sum15/CsgWKg33.37947479942533169608.95081.233333333334
BASE/lightsOnSimul4/9FeASw33.7154744708911735790.11061.5333333333333
BASE/lightsOnSimultaneous/_VN6lw33.8455159373311741765.366666666671234.0
DRESDEN/tpeg/h-Scbg33.9699756559372525117.4739.4
BASE/coins_atomic/AA3SSw34.4336246761736447407.0666666666661376.7666666666667
BASE/tpeg/QNs7Lw34.6367096152964425179.733333333334726.9666666666667
STANFORD/multipletictactoe/_bkafQ35.4674525417664428635.466666666667807.3730875637478
BASE/switches/tPUoCg35.678225850045955220003.833333333346166.333333333333
DRESDEN/lightsout2/LFtfyQ35.79385139172294105834.066666666672956.766666666667
STANFORD/dualrainbow/G3OnRQ35.88557930833211131159.43654.9333333333334
DRESDEN/tictictoe/LAUtwg36.0203181449015685745.166666666672380.4666666666667
DRESDEN/golden_rectangle/1uloXw36.0390674027419415830.233333333334439.25202493250225
BASE/ticTicToe/c1OobQ36.1300532651867378231.22165.266666666667
STANFORD/triplesukoshi/Iu9mbA36.19481654796492646924.1666666666641296.4333333333334
BASE/golden_rectangle/_nYzfw36.5198019801980215983.5437.6666666666667
STANFORD/tictictoe/rpt_Dw36.7765487719088281902.62227.0333333333333
DRESDEN/coins/QwFP9w36.7783760223572647815.5666666666661300.1
DRESDEN/blocker/S815zQ36.95758078308414142623.03859.1
BASE/wallmaze/uxNQ9g37.52233597021870526878.5716.3333333333334
DRESDEN/CephalopodMicro/H3XQfg37.584392894005553155.183.94707901489653
BASE/simultaneousWin2/PfjRjw38.0539912251980938741.51018.0666666666667
DRESDEN/lightsout/XgLpzQ38.147527623978334106103.533333333342781.4
DRESDEN/bunk_t/7-tPfA39.1614973080960377103.766666666661968.8666666666666
BASE/nineBoardTicTacToePie/B8LzeQ39.9117172861562630531.133333333335764.9666666666667
BASE/doubletoetictac/fu35bg40.3683906940972976983.866666666671907.0333333333333
DRESDEN/eotcatcit/mQUxzA40.3701983503535137043.366666666673394.6666666666665
DRESDEN/pawn_whopping_simultaneous/r8dLfw40.6014485004469831286.433333333334770.5743141895271
DRESDEN/chickentictactoe/Ipbo-g40.72071482451081122363.033333333343004.9333333333334
STANFORD/duikoshi/tpw1sw40.7551522533495755766.633333333331368.3333333333333
BASE/doubletictactoe/HH1htg40.872699591782181434.766666666661992.4
BASE/cephalopodMicro/9l2D3g41.30883177.676.92307692307692
DRESDEN/towerworld/HCX34w41.350282703438891348.633333333333432.61485158410234
BASE/eotcatcit/AfZSzA41.44863881621975135199.933333333323261.866666666667
STANFORD/rainbow/_4qNSQ41.48124956026174235829.25685.2
DRESDEN/doubletictactoe/lJzgmQ41.50161045689258581175.766666666661955.9666666666667
BASE/chomp/-LcqYQ41.6481521195224877682.133333333331865.2
BASE/bunk_t/xbpfIA41.83426133111307680392.91921.7
DRESDEN/chomp/-LcqYQ41.96527112733317577416.133333333331844.7666666666667
DRESDEN/sheep_and_wolf/enAIzQ42.21155154299428626185.766666666666620.3459884670511
DRESDEN/tictactoe/BTTzPw42.73882266358082147117.03442.233333333333
BASE/factoringMediumTurtleBrain/8RBqmQ43.28380703157180459545.533333333331375.7
DRESDEN/uf20-020.cnf.SAT/hDrW_A43.5327457627118621403.6491.6666666666667
BASE/othello-comp2007/86ZoMw43.72862491694352877.420.064660200646603
DRESDEN/doubletoetictac/V89gKQ43.7600302800908479002.91805.3666666666666
DRESDEN/pawn_whopping/4ogBkg43.85284260556943547977.9333333333341094.0666666666666
BASE/catcha_mouse/cHv4dw43.9594817364143850666.233333333331152.5666666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg44.36972100466151421257.533333333333479.1
DRESDEN/sat_test_20v_91c/dK7nVw44.7280254963719921300.266666666666476.2174594180194
DRESDEN/pawn_whopping_corrected/7Ov0jQ44.74870011902524447621.5666666666661064.2
BASE/chickentictactoe/DSlZCA44.7657367307886118527.733333333342647.733333333333
DRESDEN/latenttictactoe/kITHKg45.02283354256499682486.333333333331832.1
DRESDEN/connect4/T0-rHQ45.4446343331958325705.0565.6333333333333
DRESDEN/catcha_mouse/cHv4dw45.6223523859756354781.81200.7666666666667
BASE/othelloSuicide/B442jg45.80314702886248898.419.614372772986112
DRESDEN/8puzzle/8fKC2w46.10982658959538106891.82318.2
DRESDEN/stratego/Z2wovg46.1979666896982831201.066666666666675.3774874170861
BASE/blocker/dIWtxg46.2564424409784141265.633333333333053.9666666666667
BASE/lightsOut/5P1ZBw46.3237931186785104881.72264.1
DRESDEN/tictactoe_3d_small_2player/HYttcg47.0527202290719237246.933333333334791.6
DRESDEN/tictactoeparallel/yk_DSg47.2129463138967361266.6666666666641297.6666666666667
BASE/tictactoe_3d_small_2player/oOryKA47.3591458063437637775.23333333333797.6333333333333
BASE/blocksWorld/SEdXLQ47.467749323741145328146.133333333366913.033333333334
DRESDEN/tictactoe-init1/3ltIBQ47.57875534819958143451.533333333333015.0333333333333
DRESDEN/blocks/vg0DRw47.63790130233507326892.866666666646862.033333333334
BASE/breakthroughSmallHoles/bxclRw47.79153923023347552607.3333333333361100.7666666666667
BASE/ticTacToe/JRFsaQ47.791778455869654138349.233333333342894.8333333333335
STANFORD/tictactoe/ss1kyQ48.08708708708709138779.333333333342886.0
STANFORD/trifecta/ss1kyQ48.29376983311646141027.466666666672920.2
BASE/survival/YVIjJA48.46508295478915497183.910258.6
BASE/blocks/xIV5hQ48.82211308914808334031.133333333366841.8
BASE/connect4/50bOyw48.9094926746579526929.566666666666550.6
BASE/troublemaker01/s3tlEQ49.045469659687924540830.933333333311027.133333333333
BASE/snakeAssemblit/UO4sdg49.2532738069075525399.066666666666515.6828105729809
STANFORD/dualhunter/1rPZjQ49.6469563721590376964.366666666671550.2333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw49.70759802530784629199.9587.4333333333333
BASE/cubicup/4wNWJA49.73179785825545522703.466666666667456.5181160627979
DRESDEN/troublemaker01/C-lPWw49.79216003878008561519.466666666711277.266666666666
BASE/haystack/UkweGA49.79741905582992666166.633333333313377.533333333333
DRESDEN/cubicup/SBn_lw49.91509779503332622713.033333333333455.03333333333336
DRESDEN/tictactoe_3d_small_6player/llDEDQ50.0320655417503130738.033333333333614.3666666666667
STANFORD/nineboardtictactoe/y28P-A50.0958852801112931208.066666666666622.9666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA50.1727361404649720574.166666666668410.06666666666666
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA50.6003533852702521000.833333333332415.03333333333336
BASE/tictactoe_3d_small_6player/g_9lww50.6244794597636429986.566666666666592.3333333333334
BASE/tictactoe-init1/7M19vA50.657808852525896149011.633333333332941.5333333333333
BASE/hidato19/rRHSmA51.00304858684048530255.7593.213559548015
BASE/othelloHoles/c0qAzw51.3349516129032251059.333333333333320.635713097021135
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ51.4482181136120125600.633333333335497.6
BASE/roshambo2/KNPokQ51.57232062481774271170.75258.066666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ51.628953636951614109093.72113.0333333333333
DRESDEN/roshambo2/jgSlkQ52.15292685070111276963.33333333335310.6
BASE/ticTacHeaven/18n58A52.25324257691071532498.033333333333621.9333333333333
STANFORD/tictactoe7/-bE9-A52.416499088060604149442.933333333322851.0666666666666
STANFORD/sukoshi/4LYZZQ53.144359338808165134604.033333333332532.8
BASE/stateSpaceSmall/Q7osKA53.49861496901804467378.16666666678736.266666666666
STANFORD/breakthrough/d5j0cQ53.5170805729301648199.26666666667900.6333333333333
DRESDEN/tictactoe_3player/ESLQQQ53.9303937881308951859.46666666667961.6
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg54.1394696583375928311.333333333332522.9333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg54.1765140821402226866.133333333335495.9
DRESDEN/toetictac/mJtxCA54.58711412362779246970.34524.333333333333
BASE/troublemaker02/DI83KA55.714241109400405517468.39287.9
BASE/toetictac/mTThmg56.082516974692275257428.14590.166666666667
BASE/nineBoardTicTacToe/wRmqqA56.1899347116430934425.7612.6666666666666
DRESDEN/statespacesmall/h-NqjA56.226812405192625480628.66666666678548.033333333333
DRESDEN/troublemaker02/iZLVuA56.29876509712499525648.43333333339336.766666666666
STANFORD/jointbuttonsandlights/qAKuIQ56.412183134022214242939.066666666684306.5
DRESDEN/uf20-01.cnf.SAT/42Rs8A56.45035909343146621474.166666666668380.40797280181323
BASE/blocks2player/wnTLOQ56.57382762765753265125.74686.366666666667
BASE/queens16ug/gT-ylw56.5771401128586915707.7277.6333333333333
BASE/ticTacHeavenFC/mrletw56.8818245450303332506.066666666666571.4666666666667
BASE/minichess-evilconjuncts/4OpQzw57.2159690151274712018.366666666667210.05266315578962
BASE/queens12ug/u6Bkmg59.0751101042936429075.8492.183593880204
DRESDEN/tictactoelarge/IwXcbg59.13655601804889112710.333333333331905.9333333333334
DRESDEN/tictactoelargesuicide/6J4DeA59.30898637500212116223.866666666671959.6333333333334
STANFORD/tictactoe5/WFRReg59.45371142618849154450.833333333342597.8333333333335
BASE/ticTacToeParallel/ymRGPw59.54499455581887461978.41040.8666666666666
BASE/pegEuro/5awwhg59.6389653912111418547.1310.9896336788774
BASE/pentagoSuicide/SBgNhw59.7958023611718413675.3228.7
DRESDEN/blocks2player/3ev8nQ59.92730534471175279488.96666666674663.8
BASE/pentago/86NgKw60.1967326483683213669.766666666666227.08486100926604
DRESDEN/chinesecheckers6-simultaneous/gPPGUw60.28745571404597611974.3198.62009199386708
BASE/stateSpaceLarge/0Ge_CQ60.66394766523799224102.733333333343694.1666666666665
BASE/tictactoe_3player/GtM71g60.6864360456036251810.03333333333853.7333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ60.8179259524601579231.566666666671302.7666666666667
DRESDEN/minichess-evilconjuncts/th24Tw60.9605079365079312586.666666666666206.47247033728837
STANFORD/8puzzle/jNiGtw61.0064679206007109413.066666666671793.4666666666667
DRESDEN/crisscross/GsY16g61.0839258559039949541.1811.0333333333333
BASE/chickentoetictac/l57rfQ61.27242485141318238829.73897.8333333333335
BASE/hodgepodge/9yjRkw61.39311457547566195328.333333333343181.6
BASE/crisscross/ICagEg61.5357142857142852494.066666666666853.0666666666667
DRESDEN/blocksworldparallel/2JfVaw61.5706170596589160414.033333333332605.366666666667
DRESDEN/statespacelarge/8-y5HQ61.641256602724496221723.63597.0
BASE/eightPuzzle/vLrgFg61.68378215054576108880.11765.1333333333334
BASE/blocksWorldSerial/Wyg96Q61.894606475799435184912.22987.5333333333333
DRESDEN/brain_teaser_extended/ZDp94A62.013774161786806199446.633333333333216.1666666666665
DRESDEN/chickentoetictac/cxYaRQ62.3545350191886242633.966666666673891.2
BASE/pawnWhopping/Ypc_6Q62.4091610249378748550.166666666664777.9333333333333
BASE/tictactoe2/bhrDoQ62.46196209160632184872.833333333342959.766666666667
BASE/queens08ug/kJ_ZFQ62.6357868020304557583.166666666664919.3333333333334
BASE/reversiSuicide/9OxJlg63.12169417122042310.136.597560162655824
STANFORD/eightpuzzle/W_aWbA63.13125279976109112744.01785.8666666666666
BASE/double_tictactoe_dengji/zgaSbA63.1630553787396582690.966666666661309.1666666666667
STANFORD/tictactoe3/X7myng63.40447845414883153563.533333333332421.9666666666667
BASE/brain_teaser_extended/ZDp94A63.556744875530335207226.766666666663260.5
BASE/reversi/d8UMeA64.616955333937742375.433333333333436.76176509798694
STANFORD/bestbuttonsandlights/nm0wEA64.71657171468395318824.03333333334926.466666666666
BASE/coloredtrails/EZvr7g65.18394541526746101584.833333333331558.4333333333334
BASE/circlesolitaire/azuQFQ65.5438883730023268218.74092.2
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg65.6064822969878524829.866666666665378.46666666666664
BASE/incredible/8Qh-6Q65.72981680181287160499.066666666682441.8
DRESDEN/mimikry/GJEhwA65.8724490992099353543.73333333333812.8395720142662
BASE/factoringEasyTurtleBrain/lUj94Q65.8778792472363178179.92704.7
DRESDEN/circlesolitaire/ruUilQ65.93845376699772269769.64091.233333333333
DRESDEN/ticblock/Z2yNWQ66.337318240591697478.266666666661469.4333333333334
DRESDEN/ggp-course2013_jordi/9QI6Kw66.3594696429230919966.233333333334300.8799413372442
BASE/ticblock/T21C1g66.4399013998507497930.21473.9666666666667
DRESDEN/ggp-course2013_nicolai/uEin8g66.645033753440535111.33333333333376.69488700753283
BASE/ticTacToeNoVars/XT03NA66.64937653474503139328.32090.4666666666667
BASE/lightsOnParallel/SC6enA67.09984976595771180142.966666666672684.7
BASE/ticTacToeLarge/TZC0dg67.63530464168572113413.133333333331676.8333333333333
BASE/3pConnectFour/PqXOFQ67.891929824561451597.86666666667760.0
BASE/snakeParallel/RCVNtw68.31107542249268154544.72262.366666666667
DRESDEN/racetrackcorridor/O0DoTA68.3614774734152560643.46666666667887.1
BASE/ticTacToeLargeSuicide/727_8g68.42276752244129112557.733333333341645.0333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA68.4281614199382353657.266666666665168.3
STANFORD/multiplebuttonsandlights/cK70Yg69.04870736133392350058.53333333335069.733333333334
BASE/factoringGeorgeForman/HGRorQ69.22379225377699349296.33333333335045.9
BASE/racetrackcorridor/_RkdUg69.2555860999506665501.933333333334945.8
BASE/peg/fJHVWw70.3832283823529422334.2317.3227559081364
BASE/lightsOn/MsXu3A71.86048507581296376776.55243.166666666667
BASE/majorities/ibJzSQ72.5549480326651829317.5404.0730617958803
STANFORD/bestbuttonsandlightsbig/g0JC6g72.68824302975207274526.53333333333776.766666666667
STANFORD/buttonsandlights/eyhJpA72.9471102212013717704.73333333339838.7
DRESDEN/cube_2x2x2/fp-34Q73.453975460785990598.133333333331233.4
DRESDEN/lightson2x2/gBHuig75.02084455324356204306.766666666662723.3333333333335
DRESDEN/buttons/ADUaHw75.56697277148288612228.58101.8
BASE/duplicateStateSmall/bCPAXw75.99601995006947457625.233333333346021.7
STANFORD/hunter/14dD-g77.4360058570404172754.566666666682230.9333333333334
DRESDEN/catch_me/ghGWrA77.75509771728193195745.866666666672517.4666666666667
DRESDEN/Thief_Police/CX18rA77.78746030673604191888.72466.8333333333335
DRESDEN/Catch-Me-If-You-Can/ghGWrA77.99780933277027197012.066666666682525.866666666667
BASE/hallway/ckCJOw78.4794291440329321188.033333333333269.98200119992
BASE/stateSpaceMedium/3bUoIw79.13075628630193437321.45526.566666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA79.72264920136335198815.02493.8333333333335
BASE/buttons/hTcUjw80.09940020418581627658.97836.0
DRESDEN/statespacemedium/dVJZ_w80.23630745364926427573.933333333355328.933333333333
BASE/copolymer_4_pie/IN5_jA80.3328373999867780991.566666666671008.2
BASE/zhadu/DlA8iQ80.55222250423013172.739.386871042985675
DRESDEN/hallway/0H4l-Q80.78081500409521917.066666666666271.31524565028997
BASE/pearls/6k_mEQ81.80467195877462719649.33333333348797.166666666666
DRESDEN/firefighter/WJmoPw82.32848034902919227701.366666666672765.766666666667
BASE/dotsAndBoxes/EHwA_w82.9050654164026865423.73333333333789.1403619879337
DRESDEN/battlesnakes1509/-qZrLw83.6760498384863860442.0722.3333333333334
BASE/queens06ug/7Lq3tw83.8909116728202198459.966666666661173.6666666666667
BASE/snake2p/I3wWPQ84.4024444642697894606.71120.9
DRESDEN/backgammon/mqCW0Q85.1737659649501626297.066666666666308.74608359442703
BASE/dotsAndBoxesSuicide/jzQbLw85.3564060332870965644.76666666666769.0666666666667
BASE/firefighter/WJmoPw86.05761856710394227421.62642.6666666666665
BASE/tron_10x10/7ZTgDg86.17032013877937109281.21268.2
BASE/battlebrushes/arCwyA86.3201118421052611150.7129.17847025495752
BASE/ticTacToeSerial/Amrwqw87.2507846360783197299.166666666671115.1666666666667
BASE/blockerSerial/3eqDuw87.2994487397288983932.6961.4333333333333
DRESDEN/point_grab/r5DPmQ87.94542166574674403646.03333333334589.733333333334
DRESDEN/logistics/fPru1Q88.1999547272315977927.6883.5333333333333
DRESDEN/battlesnakes2011/93VtTw88.8655678836149364341.63333333333724.0333333333333
BASE/copolymer_4/2LDVhQ90.4926839720827798540.51088.9333333333334
BASE/gt_dollar/TGjqRw91.10232489987301248697.22729.866666666667
DRESDEN/3pffa/0YrmQw92.0054559936280377008.56666666667837.0
DRESDEN/3pttc/uwYBZw92.410940307446677147.73333333334834.8333333333334
BASE/connectFourSimultaneous/7ITr3g93.5021743584374644652.03333333333477.5507483083897
DRESDEN/tictactoe_3d_2player/LMuX9w94.0374263513001413781.833333333334146.55689620691953
BASE/factoringMutuallyAssuredDestruction/NH0LGg94.18206390744439182349.033333333331936.1333333333334
BASE/untwistycomplex2/EDPPAQ94.73480763625764606732.23333333336404.533333333334
BASE/tictactoe_3d_6player/d7KSwg95.3189080638816813459.066666666668141.2003865764655
STANFORD/threepuzzle/41ibjA95.55256533999508336593.46666666673522.6
BASE/tictactoe_3d_2player/IUC1rQ95.8682156021607913406.533333333333139.8433594400933
STANFORD/untwistycorridor/EDPPAQ96.88428096785468619164.83333333346390.766666666666
STANFORD/3puzzle/41ibjA98.10301602904107336006.13425.0333333333333
DRESDEN/bidding-tictactoe/yW5vTA99.74813157760943130796.41311.2666666666667
DRESDEN/chinesecheckers1/Y-ftaA99.986888245199262016.46666666667620.2459918002734
DRESDEN/tictactoe_3d_6player/ulZPWg102.6044563039723813201.333333333334128.66237792073596
BASE/biddingTicTacToe/8mESVw104.99726197532954123991.266666666661180.9
DRESDEN/connectfoursuicide/M9CNQg106.1793038383236671278.16666666667671.3
BASE/qyshinsu/R08Lzw107.0411164739426722522.766666666666210.4122921041229
BASE/maze/cCX3qQ108.86615826702032656680.66666666666032.0
BASE/escortLatch/mX9BjQ110.804879852125749954.53333333333450.8333333333333
DRESDEN/connectfour/5tc-Mg110.8719139058873170056.26666666666631.8666666666667
BASE/hidato37/pBrqxw112.935221367070827139.36666666666763.21647560650493
BASE/connectFour/WAIKTw114.0883796171474870525.63333333333618.1666666666666
BASE/connectFourSuicide/c8p9Kw116.424047821416271043.46666666666610.2129929002367
STANFORD/connectfour/VMpZkQ118.4789002365175367342.86666666667568.3954403039797
BASE/point_grab/V_osUg120.13135497180535403040.6959304073355.0
STANFORD/pentago/ZxzLmg120.7599812754912828946.333333333332239.70137315024664
BASE/2pffa/6oHijA123.7757937282363171878.33333333333580.7139762007934
DRESDEN/knightwar/7hhAqg123.9704562093820269941.8564.1811939602013
DRESDEN/chinesecheckers3/QsCb2A125.9051737259043947678.7378.68737708743043
DRESDEN/Goldrush/VeWczQ126.5877526245670268620.93333333333542.0819306023133
BASE/dualConnect4/WbCQkg129.24974879862745182.7349.57669488700753
DRESDEN/oisters_farm/pTQMLg129.57494284514536370290.633333333362857.733333333333
DRESDEN/nim3/sG_axA130.24826603325417182781.733333333341403.3333333333333
DRESDEN/small_dominion/yB5GJA130.707115562403712826.521.624683459949352
BASE/2pffa_zerosum/o0_uZA131.0222489683631373025.0557.3480883970534
BASE/nim3/1OwUqw131.1889409603655185689.21415.4333333333334
BASE/nim4/twk16w131.2750120134551182122.21387.3333333333333
DRESDEN/chinesecheckers4/-oVNYg133.446685550849530455.966666666667228.2257258091397
DRESDEN/nim4/F5YAYg133.5850833086858180660.466666666671352.4
BASE/duplicateStateLarge/dcjyuw134.0516760440904799856.23333333334744.9085030498983
BASE/connectFour_9x6/B9TtMw134.393223886454368491.26666666666509.6333333333333
BASE/3pffa/pR0dzA134.7185068499978569072.36666666667512.7162427919069
DRESDEN/crissrace/KWb9bw135.2230450236966745651.3337.6
BASE/cittaceot/fDxhXg135.9322626537515639290.86666666667289.04739684021064
BASE/4pffa/Q3ADlg135.9499575233466863402.833333333336466.36890873941735
BASE/crissrace/ERWGDA139.2605745769500346358.3332.8889037032099
DRESDEN/grid_game/U7_Yeg141.0782843762805280332.0569.4143528549048
BASE/knightmove/jBaJEw143.5675521396396453826.46666666667374.9208359721343
BASE/beatMania/qUHwvQ144.30105103783384273214.81893.3666666666666
DRESDEN/knightmove/97Ipcw147.1230100919052655491.1377.17485500966603
DRESDEN/chinesecheckers2/06E6-Q149.9743528118290848120.166666666664320.85597146761774
STANFORD/freeforall/Lfp40Q151.4190600792924571712.33333333333473.6017598826745
DRESDEN/smallest/9kaGFw155.2080228177295391507.6589.580347321756
DRESDEN/smallest_4player/ADDROA155.74689546751824112170.36666666667720.2093263557881
BASE/mineClearingSmall/frsbvw156.2710313520574639872.5255.14965668955404
STANFORD/pilgrimage/ObRZnQ157.2771432503096538097.76666666667242.23333333333332
BASE/smallest_4player/ADDROA157.47590166211398113377.4719.9666666666667
DRESDEN/knightstour/cGISAA159.79841233493624348919.83333333332183.5
BASE/shmup/ssTNlg160.67513139407814102923.13333333333640.5666666666667
BASE/god/qF06gw163.783457656879686320.56666666666738.59099543439864
DRESDEN/capture_the_king/EQ229Q165.28058333333337577.33333333333345.845272206303726
BASE/duplicateStateMedium/U163eQ167.1580610665092349098.46666666672088.4333333333334
BASE/aipsrovers01/4C4jsw168.19821946640877197117.11171.9333333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ169.09606245035954105027.7621.1126295790141
BASE/nim2/eF2Qqw169.42605396093765242601.166666666661431.9
DRESDEN/kitten_escapes_from_fire/uW-YiA171.95246295136715109843.23333333334638.8
DRESDEN/nim2/z5_exA172.4726008016977243818.766666666661413.6666666666667
BASE/kitten_escapes_from_fire/uW-YiA175.7623953568553111581.96666666666634.8455051498283
DRESDEN/god/2EDD5w178.358713611615266550.436.72598813570619
BASE/biddingTicTacToe_10coins/a-9ccQ178.6126504983006103351.23333333334578.6333333333333
BASE/snake_2009/7l-qAQ179.97085415666985003.4472.3175894136862
BASE/connectFourLarge/aU644A179.977775772408557602.96666666667320.0559981333956
DRESDEN/snake_2009_big/DgC1NQ180.690749434880969276.83333333333383.4
DRESDEN/aipsrovers01/qS47Mw180.79626505667525203630.833333333341126.3
BASE/chineseCheckers1/gqtwHw181.09488458855768145390.2802.8399053364888
BASE/breakthroughSuicideSmall/XSbJog181.2803592704610265931.66666666667363.7
BASE/hexPie/48CH6Q182.7443846654673223700.366666666665129.69135390973935
DRESDEN/snake_2009/zIYLVw183.1308451617551684722.43333333333462.6333333333333
BASE/rubiksCube/9tNO9Q185.8560099517959839841.333333333336214.36666666666667
BASE/snake_2009_big/-oRfVw187.1214630779848372303.73333333334386.4
STANFORD/knightstourmedium/x1wu8Q189.0854960713566344129.31819.9666666666667
BASE/gt_centipede/9fRMpw191.24134681721046378842.733333333341980.9666666666667
STANFORD/alquerquezero/uVgA_A192.0790472903003455645.3289.7
BASE/nim1/hin2Qw192.1329947813063273667.83333333331424.3666666666666
BASE/breakthroughSmall/HJ0tIA192.8354125880784767503.0350.0549981667278
DRESDEN/nim1/M9BALA194.1817034850505271906.16666666671400.2666666666667
BASE/hex/T1MK8g194.394530869338924893.8128.05812945803612
STANFORD/hex/MTqWcw197.2085368989457425564.8129.63333333333333
BASE/englishDraughts/jFkQxg198.959763554516751069.566666666666256.6828878074795
DRESDEN/hanoi/RQ0jiA204.17361943578678340643.266666666661668.4
BASE/sheepAndWolf/g4THrg204.623127604428827103.033333333333132.45342132453422
DRESDEN/4pttc/9pB9AQ213.4078156312625763894.3299.4
BASE/hanoi/iGLsJg214.85111555180157347636.266666666661618.0333333333333
BASE/chineseCheckers2/eCMR3Q215.03460022710573107309.43333333333499.03333333333336
STANFORD/knightstour/cEwgNA219.4051667180549332077.03333333331513.5333333333333
DRESDEN/chinesecheckers6/yTbPDA226.374638799404938878.433333333334171.74376749766697
BASE/knightsTour/mvtVIg226.74303358613219348806.366666666641538.3333333333333
BASE/chineseCheckers4/avfBcQ227.2387612525343767240.8295.9037429590374
STANFORD/untwistycomplex/HTWEwg228.19535564805312659705.16666666662890.9666666666667
BASE/kalaha5x2x3/WviNsw239.0309339506645104106.96666666666435.5376308246117
BASE/skirmishHoles/AUCxCA247.89098281639937724.13333333333331.159396140900455
BASE/chineseCheckers6/rREH3A251.358157818816660793.13333333333241.85860471317622
BASE/chineseCheckers3/-1rZdQ256.461939446642792895.96666666666362.22125929135694
BASE/snake_2008/i6K26g256.643804934925985228.56666666667332.0889303689877
DRESDEN/frogs_and_toads/GjchhQ257.1092034951456657372.46666666667223.14435223144352
BASE/strangeSkirmish/gc1zKA265.235115384615376892.66666666666725.987006496751626
BASE/snake_2008_tweaked/bX0NJQ266.589062967767789049.63333333333334.03333333333336
DRESDEN/snake_2008/E56l3A270.751362024975689369.06666666667330.07799480034663
BASE/factoringImpossibleTurtleBrain/kcBhdw274.718499740259743518.412.807291839925485
DRESDEN/Runners/3bOCQw276.91600567754864331662.31197.7
BASE/ruleDepthLinear/OUBJpQ280.91869625353297467139.71662.9
BASE/ttcc4_2player_small/Cv72TA285.2450950337216762031.3217.46666666666667
DRESDEN/minichess/c7GMFw296.8490186767860559967.4202.0131320201313
BASE/choicethroughalt/tt71Lg307.4867845665961629082.43333333333494.58108378324336
BASE/checkLines/Vop7oQ311.36752566941817103104.16666666667331.1333333333333
BASE/skirmish/Y_psYQ313.51852468265167408.523.63018264231436
DRESDEN/amazons/dNB28A315.269410256410253819.666666666666512.115563839701771
BASE/checkersTiny/Lr48cg340.72614527967644873.63333333333131.7
BASE/breakthroughHoles/nZk0Sg343.8899384140061744520.8129.46235125495818
BASE/skirmishFinal2/gdB62Q354.296701123595510508.029.65875766462277
BASE/checkersSmall/SYmq8w354.341302119747131751.26666666666689.60645139791396
BASE/skirmishFinal3/-Olhfw355.1933118798043611285.36666666666731.772463864650636
BASE/connectFourLarger/qKi60A360.289313659359242699.0118.51309040037306
BASE/2pttc/unkkYA363.312171393195574982.63333333333206.38624091727218
BASE/asteroidsSerial/id2QkA364.6614578669293271478.3744.4666666666667
BASE/minichess/8NQEiA366.883420074349582243.03333333334224.16666666666666
DRESDEN/Zhadu/9zpQ5w367.4708708130081615055.76666666666640.971320075946835
BASE/ttcc4_2player/_aH_Mw367.871639401496234410.293.53860508514113
DRESDEN/skirmishfinal/hzq8ww369.124171428571410503.53333333333328.45528455284553
BASE/breakthroughSuicide/wZDpIg371.174867524602649032.2132.1
DRESDEN/breakthroughsuicide/Y9QzqQ372.970031167585751855.26666666667139.03333333333333
DRESDEN/breakthrough/z4hK7Q379.9704571476119750730.26666666667133.51108148641893
BASE/endgame/jYjfOA381.5089951433857327489.572.05465755707382
STANFORD/ttcc4/Cx9SGw390.719448206599736303.692.91475038325669
BASE/checkers/rOC3Xg391.6929732094040423870.66666666666860.94228975076636
BASE/kalaha6x2x4/XS81Mg395.618039893906596943.1245.0421624504216
BASE/breakthrough/TGxk-g397.3886339725317551105.5128.6033258906255
DRESDEN/breakthroughsuicide_v2/LU1nAw399.2003749808331552067.3130.42898570047666
DRESDEN/knightthrough/J7Fc_Q400.4105066006649866.166666666664124.53760789149199
BASE/ttcc4/Le0qjQ403.786033545197738104.794.36854381872709
BASE/skirmishFinal1/ecWTnQ404.7730979746835410652.63333333333326.317542807648746
DRESDEN/tttcc4/sAvtFg404.9145751586139636861.93333333333491.03632122625791
STANFORD/chinook/osFbPA409.6220594925634436403.2666666666788.87037654115295
BASE/breakthroughWalls/vOZaYA409.714458857808950765.433333333334123.90442230146299
BASE/knightwar/DVGY4Q409.904483310180668845.7167.95546963535764
DRESDEN/brawl/2kXtfQ412.2656950210970316282.86666666666739.496050394960506
BASE/tttcc4/8Bs2lg412.401042068965537870.991.83027232425586
BASE/chinook/XQh0IQ416.7809422755741539918.395.77765188122771
BASE/brawl/6Ymo_Q417.117069322033916396.76666666666639.309747484842426
BASE/asteroids/BKCmPQ432.35701328495975540244.51249.5333333333333
BASE/asteroidsParallel/WauZiA434.7074112782296318886.86666666664733.5666666666667
DRESDEN/pawntoqueen/f_x6Aw467.22504206896552249.03333333333334.813597583242041
BASE/pawnToQueen/-O1_JA472.6213771812082342.24.955763985897692
BASE/3pttc/0sol9g481.52122445625966413.4137.92413839077395
BASE/ttcc4_2player_alt/ZEJvYA489.4401565749235544442.66666666666490.80306564478506
DRESDEN/skirmish3/3LU8Nw496.197261925925929767.86666666666559.992001066524466
STANFORD/checkersonabarrelnokings/Zrevdw512.160137304964644119.3666666666786.14369501466275
DRESDEN/satlike_20v_91c_version2/yd9ioQ512.194712956989321020.76666666666641.040577215860196
DRESDEN/pancakes/hl9aiQ515.3365545155579679041.81317.6666666666667
DRESDEN/pancakes88/aD3E7g530.3771849888162640218.31207.1
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA534.411943728813520704.838.74314607479397
DRESDEN/satlike_20v_91c/yeuENQ539.518302096774222257.841.254948930365636
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g543.859235655737621952.340.36393713813069
DRESDEN/pancakes6/SZXMyQ552.1884361676169693985.71256.791440285324
BASE/checkersBarrelNoKings/rnKNeg552.80776164726549069.2666666666788.76370787640413
BASE/gt_coordination/IVMOzA561.7440386490559422468.9666666667752.0666666666667
BASE/knightsTourLarge/M8jgLA563.4652437265647325589.0577.8333333333334
BASE/knightazons/apnJBQ568.983550376970527671.56666666666648.63333333333333
DRESDEN/endgame/IJhh3Q577.076477434539621786.26666666666637.75282396454633
DRESDEN/knightazons/02I8BQ587.21479228370.748.31400773024124
BASE/4pttc/AL1k2Q599.457686997303356801.0333333333394.75403279562725
BASE/checkersTorusNoKings/pwb6oQ601.962956136847750242.16666666666483.4638845371821
BASE/chess_200/XsTpYA605.66304347826087429.46666666666612.266666666666667
DRESDEN/gt_prisoner/huCp4w622.4096339083183401254.115843498644.6785107163095
BASE/nonogram_10x10_1/0Xc62g624.174072229580615693.73333333333425.143199680298387
DRESDEN/pacman3p/rBnk8Q650.81828868894642190.564.8268506482685
BASE/amazons_8x8/7SOsIw664.794614171656733305.150.09833005566481
STANFORD/knightstourbig/TQUI2g680.3426293988416302787.73333333334445.05183160561313
BASE/skirmishNew/sibw2g682.178142857142816218.023.77384876635701
BASE/pacman3p/wW7UVQ683.233999012345743032.2666666666762.98320447880565
BASE/nonogram_5x5_1/qLKEZw686.718857384956458511.83333333333685.20493168943685
BASE/bomberman2p/4CClwA688.561981907025886887.83333333333126.18738126187381
DRESDEN/bomberman2p/x4h6jQ689.371734511434588405.73333333334128.24101846297407
DRESDEN/blobwars/ZaMluQ691.863959386281612759.83333333333418.442691168148073
BASE/blobwars/0XT15Q702.881030769230712773.718.173345759552657
BASE/checkersTorus/2vm1EQ706.599063479623945067.563.78086574027792
BASE/checkers-newgoals/0XkFiA711.06357433930118530.73333333333426.060585863298563
BASE/pacman2p/4LEdQg715.356651199107742745.93333333333459.75471572352196
BASE/knightThrough/gcwFjA715.549435782312946736.7666666666765.31591575579846
DRESDEN/skirmish/RjGQYQ723.155965601217631661.56666666666643.78248700519792
DRESDEN/fizzbuzz/t1xHzQ725.8287752675386610422.0841.0
BASE/battle/8oAvhQ727.82441454545462662.33.657887736100027
DRESDEN/guess/PhxGhg736.6794698444037174120.66666666666236.35878804039865
DRESDEN/battle/8oAvhQ739.09004121212132688.1333333333333.6370850416611558
BASE/speedChess/bPnisA740.848969392635117192.33333333333223.206259364075244
BASE/guess/SPpk1A747.6190089759623179335.86666666667239.8760123987601
BASE/gt_staghunt/xPjLRA750.1372110458946400434.9533.8155394820172
BASE/skirmishZeroSum/zh4hcw765.439213290460815859.53333333333320.71952031978681
DRESDEN/skirmish2/iPpWhQ782.62462187271435650.945.55300076643674
BASE/gt_prisoner/klthDw815.9250960724289417563.26666666666511.76666666666665
DRESDEN/gt_chicken/CeuKtw852.538639665313405851.7476.0507983067231
DRESDEN/babel/WdSW4A853.063528438133770074.782.14476139696082
BASE/hanoi_6_disks/MeubgQ859.7935943499004254281.33333333334295.7469502033198
DRESDEN/hanoi_6_disks/MeubgQ859.7937633682313254584.93333333332296.1
BASE/pancakes6/QZTdnw879.0008149609678683100.8333333334777.1333333333333
BASE/pancakes/yUgbXw898.5515265506078684756.1666666666762.0666666666667
DRESDEN/connect5/1kYzSg944.91555928917619485.06666666666620.620960756879207
STANFORD/skirmish/w4V6Vw946.28901115646257725.9666666666668.164489469474807
BASE/gt_chicken/gmepTQ954.6487329434698408112.3333333333427.5
DRESDEN/ghostmaze2p/HY0UwA989.5059990964105132622.36666666667134.02886570447652
DRESDEN/gt_ultimatum/pAiiQw997.7953085623258334039.6334.7776814879008
BASE/ghostMaze2p/W-NU-w1009.0164709900231131461.7130.28697130286972
DRESDEN/mummymaze2p-comp2007/oTQRQg1068.5980181242494108718.66666666667101.73953612370035
STANFORD/madness/UO_B3A1100.72721484716168387.47.61987156024357
BASE/gt_ultimatum/GE-uOA1121.5709966526294346228.9666666667308.7
BASE/mummyMaze2p_2007/YGA3Vw1121.6709804488269109928.1666666666798.00393215368723
DRESDEN/four_way_battle/xSOQXA1126.04565102040837353.46.530285866595588
BASE/connect5/d-BVQg1147.34721459492920548.93333333333417.909951819239076
STANFORD/platformjumpers/HEQskA1184.346595572916630312.225.594028060119307
BASE/four_way_battle/xSOQXA1207.69641396160557671.8666666666676.352479462533675
BASE/amazonsSuicide_10x10/XIbQkg1254.851786830015327301.221.75651362697408
BASE/amazons_10x10/Bun8dA1286.920670219435827334.821.24047008689283
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1307.685167307692413560.610.369927211087845
BASE/checkers-mustjump/T-8UuQ1339.374273124406515656.06666666666811.689090182496336
DRESDEN/mummymaze2p/k-8edg1369.70602142333162217.8666666666745.4242484836366
BASE/checkers-cylinder-mustjump/rjr6qQ1378.598623569023413635.49.89076861595844
BASE/mummymaze2p/vpjDdA1408.150877916973763674.1333333333345.21826057980673
BASE/checkers-mustjump-torus/uSApKQ1466.700689141414212867.9333333333328.773387391578877
BASE/racer4/0vs7Ww1477.969355208333423583.83333333333215.956916325920016
BASE/twisty-passages/DiZmmg1544.2008157416751102016.866.0644645178494
DRESDEN/twisty-passages/j7NPyg1552.4301245867769100143.4333333333364.50753032120485
BASE/crossers3/O0rORg1561.540233988304274141.0333333333447.47942558224769
DRESDEN/crossers3/xiPTxg1571.027782782853174511.6333333333347.428590474285905
BASE/amazonsTorus_10x10/Uxc08g1606.308197569444520530.63333333333512.781254160564506
BASE/hanoi7_bugfix/3gdnFw1957.4059609568503333616.86666666664170.43826028995167
DRESDEN/hanoi7_bugfix/3gdnFw1966.5316999.8161.2
DRESDEN/hanoi7/51zz5Q2064.9432286023834317657.1153.83333333333334
BASE/knightfight/SJRkAg2117.332290757381109941.851.92467922012998
DRESDEN/knightfight/4_Ly4w2119.461497760551109349.6333333333351.59312091721104
DRESDEN/quartosuicide/WIU1oQ2502.85687627281557845.43333333333423.111762355135205
BASE/quarto/EwBMVQ2623.096794634873358658.222.362194227821103
DRESDEN/quarto/OQzRYQ2671.178788541666659760.722.37240736425076
BASE/quartoSuicide/-23jUg2679.507247061803458768.56666666666621.93260224659178
BASE/gt_tinfoil/Q8DyKg2777.08343915193324537.6666666667116.86277124095864
BASE/racer/QQYQNw3418.359379318312765698.2666666666619.21923922456865
DRESDEN/racer/vk_ZBA3626.44197015290565772.9333333333318.137042830044262
DRESDEN/othello-cornercontrol/r5Gdlg3738.585327644824608.59276048263450.16278691193228065
DRESDEN/kalaha_2009/gcC8uA4153.80785296867698639.9666666666623.746877601998335
BASE/kalaha_2009/dRiN3g4269.695759510619102630.7666666666624.037021007424176
DRESDEN/max_knights/hCipiA4890.70716990291333521.46.854100815172185
BASE/max_knights/2fq3Ag4927.34904009661833934.233333333336.8869148617626506
BASE/colonelBlottoVariant2/jruwGw5547.335903981264236752.8666666666742.67866066966517
BASE/colonelBlottoVariant/X-n-KQ5977.8594295471985259525.943.414520374504384
BASE/cylinder-checkers/hlldmw6003.17300000000116537.6666666666682.7548209366391183
BASE/solitaireChineseCheckers/-ET6gw6273.196287589519.414.270141710435041
DRESDEN/cylinder-checkers/clOO3Q6471.60252972972915912.3666666666672.4587985114300905
DRESDEN/checkers-newgoals/IJOqXQ7223.94336363636418412.5666666666662.5488248924197285
DRESDEN/checkers/jIDMIg8105.28398823529418232.82.249495517549373
DRESDEN/vacuumcleaner_random/_6AGDA8202.015781456954123829.815.097483752707882
DRESDEN/hitori/S8Gsyg8413.4393705882349346.4333333333321.1108932888976017
BASE/wargame02/BkVqqQ8460.9456713888933768.366666666673.991086573319586
BASE/amazonsSuicide/dE1QEQ8640.818911111111768.73333333333330.08896533317517274
BASE/hitori/S8Gsyg8700.1856770833339171.6666666666661.0541920606160435
BASE/amazons/RKKZjw9142.097144444444766.03333333333330.0837918610172332
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA10695.528499439253190432.2333333333417.804845580404685
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A10946.749800916832185439.3333333333416.940127134156487
DRESDEN/checkers-cylinder-mustjump/vW_-pA11231.61543148148113352.8666666666671.188864304349262
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg11894.56138571428513558.3666666666671.1398794984530207
DRESDEN/checkers-mustjump-torus/cVc3gA11956.61278787878812848.21.0745685444480626
BASE/wargame01/_GZFZg12143.07155230352349591.533333333334.083936516368949
BASE/wargame03/klXI8w13324.137643411.23.258087037468001
DRESDEN/checkers-mustjump/HUr33w13669.87397619047815546.5666666666681.1372867587327375
DRESDEN/vacuum_cleaner_1/eUNjpw13743.703898468271209195.0666666666815.221156408206769
DRESDEN/Travelers-Dilemma/PvZwYw14553.012306598113377018.533333333325.90656321800806
BASE/colonelBlotto/jip21A15722.64910501089380164.133333333335.098640362569982
BASE/gt_two_thirds_2p/1APDGg22959.58795560757.733333333332.6462902318811814
DRESDEN/vacuumcleaner_random_big/DwzFaQ24427.97035466666460824.62.489957172736629
BASE/pancakes88/l2Xaig25614.57592480211646613.025.24394711426383
DRESDEN/battlebrushes/QHXV4A29476.706410784.40.36586177077097054
DRESDEN/farmers/S_ASnw33580.0949593495945162.6666666666641.3449237329834345
BASE/ad_game_2x2/D0aWqg96982.2547403508760572.0666666666660.6245685546168765
BASE/gt_attrition/kD_SCA100686.89034444444118750.11.1793998165378063
DRESDEN/merrills/aYEzwAInfinity18195.90.0
BASE/merrills/pku8TgInfinity18040.6666666666680.0

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
DRESDEN/javastrike/whONTQException of type StackOverflowError
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest 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

index