index

ALLOY_COMPILED_PROVER_CACHING:2 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
BASE/quad/tw-Ufg0.135179692610761425.255824080121926186.83149511845656
DRESDEN/quad/JPe6fg0.1850625313939379733.23896752706078179.60938541527796
BASE/quad_7x7/q-JOXg0.9736449377797569626.3457884737176643.3
DRESDEN/quad_7x7/q-JOXg0.9822422513223721629.1589033803567640.5333333333333
BASE/queens31lg/0gID-A2.41536239525260590.3939737350843337.424600926450495
DRESDEN/ggp-course2013_michal13/jWKddg5.2345053642010162472.0472.25092496916767
DRESDEN/grid_game2/kypTYQ9.0657738095238114215.1333333333331568.0
BASE/futoshiki6/JmvXNA17.5218731659952459423.533333333333537.8154061531283
BASE/blokbox_simple/JBx4bg17.81181165144952129.165555851772877.25167986161932
DRESDEN/quad_5x5/JAEP5g19.577167354715784109.9209.93333333333334
BASE/quad_5x5/JAEP5g19.9246064337252344059.564681177294203.74629203746292
BASE/slidingpieces/uFJWEw20.1840592298465516266.333333333334805.9
DRESDEN/slidingpieces/s9_44g20.48711441632088516457.433333333334803.3065564481184
BASE/futoshiki5/TJ4BZg21.41973208590261316789.5783.8333333333334
BASE/queens08lg/Ru7eqQ22.60870625533471312360.933333333332546.7333333333333
BASE/onestep/xi53wA23.95278677015484368475.315383.4
DRESDEN/quad_5x5_8_2/JRTLJg24.4543005166744935205.8212.87871212878713
BASE/futoshiki4/BaCwSw26.44915032056629736990.91398.5666666666666
BASE/withConviction/3Xm54A26.4922952856302240516.4333333333341529.3666666666666
BASE/lightsOnSimul4/9FeASw28.06479690522243735790.11275.2666666666667
BASE/blockerParallel/7-nDJA28.12683631293262518827.166666666668669.3666666666667
DRESDEN/blockerparallel/dVQgSg28.15351176693338418999.233333333334674.844171860938
BASE/lightsOnSimultaneous/_VN6lw28.21793572506362641765.366666666671480.1
STANFORD/selectivesukoshi/3xmXYg28.42459796521168511547.966666666667406.26666666666665
BASE/blocksWorldParallel/RseaAQ28.51677415537542348196.21690.1
BASE/sudokuGrade6H/ieE_9A29.2078110808356045359.633333333333183.5
STANFORD/duidoku/3SoMaA29.3456861525704834718.0160.77320446592233
BASE/simultaneousWin2/PfjRjw29.63021032504780238741.51307.5
BASE/sudokuGrade2/u80Tfw29.6677511876618255855.633333333333197.3736835088655
BASE/sudokuGrade4/DTy07w30.0298173043777975807.766666666666193.4
BASE/sudokuGrade6E/ihYFZA30.1047253542414525311.3176.42745241825273
DRESDEN/peg/Vo31eg30.57775280898876622678.5741.6666666666666
DRESDEN/cubicup_3player/awDtsQ30.83368151544401712776.2414.3585641435856
BASE/numbertictactoe/rvJ-iQ31.0069368924040262727.033333333332023.0
BASE/cubicup_3player/e2yA_g31.0301310480031412309.866666666667396.70688620758614
BASE/sudokuGrade3/eI8dvg31.373443790423995787.354597873546184.46666666666667
DRESDEN/peg_bugfixed/u_B7MA31.45193146846722622824.666666666668725.7
BASE/coins/QnGtnQ31.54197177634450443361.81374.7333333333333
BASE/tictactoex9/BI26ow31.70933860232944620327.8641.0666666666667
BASE/sudokuGrade1/tDRNRw31.748111885077696016.066666666667189.49368354388187
BASE/sudokuGrade5/BQfUQA31.7621972011969766014.1189.34773189347732
BASE/eotcitcit/V_9_bg31.8837560698419382294.12581.0666666666666
DRESDEN/pentago_2008/hLjVpQ31.885242656119912764.3400.31998933368885
DRESDEN/tictactoex9/rFkD4w31.97125598833576320465.866666666665640.1333333333333
STANFORD/sudoku/oJ1qyQ32.0537153088630265967.333333333333186.16666666666666
DRESDEN/2player_normal_form_2010/NG_Kdg32.79806238676099189470.033333333335776.866666666667
DRESDEN/golden_rectangle/1uloXw33.42173330283837615830.233333333334473.6508783040565
BASE/sum15/QZ07Kg33.547143207048805168922.166666666665035.366666666667
DRESDEN/sum15/CsgWKg33.615209291263675169608.95045.6
DRESDEN/tictictoe/LAUtwg33.9495182790022585745.166666666672525.6666666666665
STANFORD/dualrainbow/G3OnRQ34.69641817893233131159.43780.2
DRESDEN/tictactoe_orthogonal/y69QFQ34.72766023342244142031.54089.866666666667
DRESDEN/tpeg/h-Scbg34.7565498154981625117.4722.6666666666666
BASE/tictactoe_orthogonal/WRzlVw34.78071905462423143433.366666666674123.933333333333
BASE/switches/tPUoCg34.78669800928683220003.833333333346324.366666666667
BASE/coins_atomic/AA3SSw34.8820759344648347407.0666666666661359.0666666666666
BASE/golden_rectangle/_nYzfw34.9199667564812115983.5457.7180760641312
DRESDEN/CephalopodMicro/H3XQfg35.083823239436623155.189.93033565547815
BASE/conn4/va9Y7A35.2381364239174340742.3333333333361156.2
DRESDEN/coins/QwFP9w35.28650496900521547815.5666666666661355.0666666666666
BASE/ticTicToe/c1OobQ35.4024708491092578231.22209.766666666667
STANFORD/triplesukoshi/Iu9mbA35.7372242390393746924.1666666666641313.0333333333333
BASE/tpeg/QNs7Lw35.7734419397613225179.733333333334703.8666666666667
BASE/pentago/86NgKw36.2701574039680413669.766666666666376.88743708543046
STANFORD/tictictoe/rpt_Dw36.2705814622913181902.62258.1
DRESDEN/lightsout2/LFtfyQ36.319515792202836105834.066666666672913.9724018398774
DRESDEN/blocker/S815zQ36.5575017088175142623.03901.3333333333335
BASE/pentagoSuicide/SBgNhw36.74961262092439513675.3372.1209293023566
BASE/wallmaze/uxNQ9g37.78026042447526626878.5711.4429519016032
DRESDEN/lightsout/XgLpzQ38.2842538246897106103.533333333342771.4666666666667
DRESDEN/connect4/T0-rHQ38.312301271860125705.0670.9333333333333
BASE/eotcatcit/AfZSzA38.44547867298578135199.933333333323516.6666666666665
DRESDEN/bunk_t/7-tPfA38.6872888442883477103.766666666661993.0
DRESDEN/chickentictactoe/Ipbo-g39.24911256522111122363.033333333343117.6
BASE/doubletoetictac/fu35bg39.4863307630494676983.866666666671949.6333333333334
DRESDEN/eotcatcit/mQUxzA39.559888767007294137043.366666666673464.2
DRESDEN/tictactoe/BTTzPw39.899381644608376147117.03687.2
STANFORD/rainbow/_4qNSQ39.94960896693865235829.25903.166666666667
DRESDEN/doubletictactoe/lJzgmQ40.0064561703246181175.766666666662029.0666666666666
DRESDEN/chomp/-LcqYQ40.14249170353982577416.133333333331928.5333333333333
DRESDEN/doubletoetictac/V89gKQ40.4645052243392779002.91952.4
BASE/nineBoardTicTacToePie/B8LzeQ40.6210710511922230531.133333333335751.6082797240092
BASE/cephalopodMicro/9l2D3g40.689012035851473177.678.0947936804213
DRESDEN/towerworld/HCX34w40.7672978516280651348.633333333333433.08125395609155
BASE/connect4/50bOyw40.95128751013787426929.566666666666657.6
BASE/catcha_mouse/cHv4dw41.5365087172760650666.233333333331219.8
STANFORD/duikoshi/tpw1sw41.6718310209978355766.633333333331338.2333333333333
BASE/doubletictactoe/HH1htg41.6823292556004881434.766666666661953.7
DRESDEN/pawn_whopping_simultaneous/r8dLfw41.7560726043242331286.433333333334749.2666666666667
DRESDEN/tictactoe-init1/3ltIBQ41.91279339644079143451.533333333333422.6192460251323
BASE/bunk_t/xbpfIA42.2216834144462780392.91904.0666666666666
BASE/factoringMediumTurtleBrain/8RBqmQ42.2448564536726159545.533333333331409.5333333333333
BASE/chomp/-LcqYQ42.4121715076071977682.133333333331831.6
DRESDEN/pawn_whopping/4ogBkg42.9268714583954747977.9333333333341117.6666666666667
DRESDEN/sheep_and_wolf/enAIzQ42.9688336578606726185.766666666666609.4130195660144
BASE/chickentictactoe/DSlZCA43.104651303746984118527.733333333342749.766666666667
STANFORD/nineboardtictactoe/y28P-A43.4330116904806131208.066666666666718.5333333333333
BASE/othello-comp2007/86ZoMw43.96505166666667877.419.956760352569432
BASE/ticTacToe/JRFsaQ44.099589867822694138349.233333333343137.2
DRESDEN/sat_test_20v_91c/dK7nVw44.36015272474834621300.266666666666480.1666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg44.43612441007060521257.533333333333478.3840538648712
BASE/blocker/dIWtxg44.49217864191828141265.633333333333175.0666666666666
DRESDEN/pawn_whopping_corrected/7Ov0jQ44.6717425971670747621.5666666666661066.0333333333333
BASE/othelloSuicide/B442jg44.72780497512438898.420.085939842110523
DRESDEN/uf20-020.cnf.SAT/hDrW_A44.73684943914163621403.6478.43333333333334
DRESDEN/latenttictactoe/kITHKg44.8709858746305482486.333333333331838.3
BASE/tictactoe-init1/7M19vA45.0612765356934149011.633333333333306.866666666667
STANFORD/tictactoe/ss1kyQ45.07188325466592138779.333333333343079.0666666666666
DRESDEN/catcha_mouse/cHv4dw45.0977992426321354781.81214.7333333333333
DRESDEN/tictactoelarge/IwXcbg45.567145071086856112710.333333333332473.5
BASE/tictactoe_3d_small_6player/g_9lww45.8113255588939229986.566666666666654.5666666666667
DRESDEN/tictactoeparallel/yk_DSg46.19483261284809661266.6666666666641326.2666666666667
BASE/ticTacHeaven/18n58A46.2407987099222232498.033333333333702.8
STANFORD/multipletictactoe/_bkafQ46.2857758620689728635.466666666667618.6666666666666
BASE/tictactoe_3d_small_2player/oOryKA46.3382579724959437775.23333333333815.2061597946736
BASE/blocksWorld/SEdXLQ46.402503865153285328146.133333333367071.733333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg46.4580076500914737246.933333333334801.7333333333333
DRESDEN/stratego/Z2wovg46.4624243025910931201.066666666666671.5333333333333
DRESDEN/lightson2x2/gBHuig46.540893731728616204306.766666666664389.833333333333
STANFORD/trifecta/ss1kyQ46.594977973568284141027.466666666673026.6666666666665
BASE/lightsOnParallel/SC6enA46.632919147467426180142.966666666673863.0
BASE/lightsOut/5P1ZBw46.68948375895891104881.72246.366666666667
BASE/survival/YVIjJA47.00198841613674497183.910577.933333333332
DRESDEN/blocks/vg0DRw47.056836993709304326892.866666666646946.766666666666
DRESDEN/8puzzle/8fKC2w47.423860157648106891.82253.9666666666667
BASE/tictactoe2/bhrDoQ47.48690001198692184872.833333333343893.133333333333
STANFORD/tictactoe7/-bE9-A47.63070777468499149442.933333333323137.5333333333333
DRESDEN/tictactoelargesuicide/6J4DeA47.63989124048696116223.866666666672439.633333333333
BASE/blocks/xIV5hQ47.72464209854554334031.133333333366999.133333333333
BASE/breakthroughSmallHoles/bxclRw48.056392923479852607.3333333333361094.7
BASE/haystack/UkweGA48.463873375544715666166.633333333313745.633333333333
BASE/nineBoardTicTacToe/wRmqqA48.53475257295925634425.7709.3
BASE/troublemaker01/s3tlEQ48.55117271426947540830.933333333311139.4
DRESDEN/tictactoe_3d_small_6player/llDEDQ48.5720832235975730738.033333333333632.8333333333334
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw48.5963053367358329199.9600.8666666666667
BASE/othelloHoles/c0qAzw49.021506933744211059.333333333333321.609562814237673
DRESDEN/cubicup/SBn_lw49.0350460564191122713.033333333333463.2
BASE/cubicup/4wNWJA49.1378882508536522703.466666666667462.03586427571497
DRESDEN/troublemaker01/C-lPWw49.64629603432829561519.466666666711310.4
BASE/hidato19/rRHSmA49.65649105530937430255.7609.3
STANFORD/dualhunter/1rPZjQ49.6982500699541576964.366666666671548.6333333333334
BASE/snakeAssemblit/UO4sdg49.8868665706429225399.066666666666509.1333333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA49.94870920321519520574.166666666668411.90587294180386
BASE/roshambo2/KNPokQ50.22330672494583271170.75399.3
BASE/ticTacHeavenFC/mrletw50.92503948128807432506.066666666666638.3120562647912
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ50.94991375878997525600.633333333335502.46666666666664
STANFORD/sukoshi/4LYZZQ51.63111327051182134604.033333333332607.0333333333333
BASE/stateSpaceSmall/Q7osKA51.69769336843425467378.16666666679040.6
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA52.0914428138349221000.833333333332403.1532282257258
BASE/minichess-evilconjuncts/4OpQzw52.2916606236403212018.366666666667229.83333333333334
STANFORD/tictactoe5/WFRReg52.33137945833616154450.833333333342951.4
DRESDEN/SC_TestOnly_enabled/09o7gQ52.93241145075206109093.72061.0
STANFORD/breakthrough/d5j0cQ53.2039885201265848199.26666666667905.9333333333333
DRESDEN/tictactoe_3player/ESLQQQ53.3094846491228151859.46666666667972.8
DRESDEN/roshambo2/jgSlkQ53.35760751600619276963.33333333335190.7
STANFORD/jointbuttonsandlights/qAKuIQ53.36466212208855242939.066666666684552.433333333333
DRESDEN/minichess-evilconjuncts/th24Tw53.8925607725607712586.666666666666233.55109659356043
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg54.5191332611832626866.133333333335492.7835738808706
BASE/factoringGeorgeForman/HGRorQ54.550276944860904349296.33333333336403.2
STANFORD/tictactoe3/X7myng54.706051394100605153563.533333333332807.0666666666666
DRESDEN/toetictac/mJtxCA55.3005247090962246970.34465.966666666666
DRESDEN/troublemaker02/iZLVuA55.61083408565142525648.43333333339452.266666666666
BASE/troublemaker02/DI83KA55.71104204871292517468.39288.433333333332
DRESDEN/statespacesmall/h-NqjA55.76450204395766480628.66666666678618.9
BASE/ticTacToeLarge/TZC0dg55.864869302508865113413.133333333332030.1333333333334
DRESDEN/uf20-01.cnf.SAT/42Rs8A56.1777532409022221474.166666666668382.25392486917104
BASE/toetictac/mTThmg56.49730785550208257428.14556.466666666666
BASE/ticTacToeLargeSuicide/727_8g56.93168330186135112557.733333333341977.0666666666666
BASE/blocks2player/wnTLOQ56.99871007503064265125.74651.433333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg57.204223554238528311.333333333332494.9168361054632
BASE/queens16ug/gT-ylw57.99959479384616415707.7270.8243058564714
BASE/cittaceot/fDxhXg58.2835245253164639290.86666666667674.1333333333333
DRESDEN/statespacelarge/8-y5HQ58.40005619013337221723.63796.633333333333
BASE/pegEuro/5awwhg58.7840792520618547.1315.51229918005464
BASE/hodgepodge/9yjRkw59.04844918277273195328.333333333343307.9333333333334
BASE/tictactoe_3player/GtM71g59.2272606028274251810.03333333333874.7666666666667
BASE/ticTacToeParallel/ymRGPw59.4631104288592661978.41042.3
DRESDEN/blocks2player/3ev8nQ59.654856175250615279488.96666666674685.1
BASE/eightPuzzle/vLrgFg59.91421181994938108880.11817.2666666666667
BASE/pawnWhopping/Ypc_6Q60.1041967564890848550.166666666664807.7666666666667
STANFORD/8puzzle/jNiGtw60.235112766777384109413.066666666671816.4333333333334
BASE/stateSpaceLarge/0Ge_CQ60.27021309021148224102.733333333343718.3
DRESDEN/double_tictactoe_dengji/bGaUyQ60.4190793319946279231.566666666671311.3666666666666
BASE/queens12ug/u6Bkmg60.47798654926159429075.8480.76666666666665
BASE/double_tictactoe_dengji/zgaSbA60.5587589102626682690.966666666661365.4666666666667
BASE/factoringEasyTurtleBrain/lUj94Q60.696935287905795178179.92935.5666666666666
STANFORD/eightpuzzle/W_aWbA61.06466292357964112744.01846.3051231625614
BASE/queens08ug/kJ_ZFQ61.5139052095573857583.166666666664936.1
DRESDEN/brain_teaser_extended/ZDp94A61.5766080065864199446.633333333333239.0
BASE/ticTacToeNoVars/XT03NA61.82202600168612139328.32253.7
BASE/ticblock/T21C1g62.5605502438193497930.21565.3666666666666
BASE/blocksWorldSerial/Wyg96Q62.697687560749564184912.22949.266666666667
DRESDEN/chickentoetictac/cxYaRQ62.920483031654655242633.966666666673856.2
BASE/chickentoetictac/l57rfQ62.93493842559247238829.73794.866666666667
DRESDEN/blocksworldparallel/2JfVaw62.96425534141906160414.033333333332547.7
BASE/brain_teaser_extended/ZDp94A63.08144938712558207226.766666666663285.0666666666666
DRESDEN/ticblock/Z2yNWQ63.1131542030862297478.266666666661544.5
STANFORD/bestbuttonsandlights/nm0wEA63.30185907066321318824.03333333335036.566666666667
BASE/coloredtrails/EZvr7g63.45879143761452101584.833333333331600.8
BASE/lightsOn/MsXu3A63.873053993727574376776.55898.833333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg64.3766592920354182349.033333333332832.5333333333333
BASE/reversiSuicide/9OxJlg64.786333893557432310.135.65721134638434
DRESDEN/circlesolitaire/ruUilQ65.73707082111555269769.64103.766666666666
BASE/circlesolitaire/azuQFQ65.85339924215765268218.74072.9666666666667
DRESDEN/mimikry/GJEhwA65.921615299380353543.73333333333812.2333333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg65.9572188654742924829.866666666665376.4541181960601
BASE/3pConnectFour/PqXOFQ65.9931787175989151597.86666666667781.8666666666667
BASE/reversi/d8UMeA66.326690582403972375.433333333333435.814139262415125
DRESDEN/ggp-course2013_nicolai/uEin8g67.001116936071065111.33333333333376.2872854524246
STANFORD/multiplebuttonsandlights/cK70Yg67.43133427507384350058.53333333335191.333333333333
BASE/snakeParallel/RCVNtw67.81548115318795154544.72278.9
BASE/incredible/8Qh-6Q67.84039450510744160499.066666666682365.8333333333335
DRESDEN/ggp-course2013_jordi/9QI6Kw69.06571731042719966.233333333334289.09036365454483
BASE/racetrackcorridor/_RkdUg69.1434904996481465501.933333333334947.3333333333334
BASE/peg/fJHVWw69.5215121601992222334.2321.2559581347288
DRESDEN/racetrackcorridor/O0DoTA69.7559142670909960643.46666666667869.3666666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA71.12119749560927353657.266666666664972.6
STANFORD/pentago/ZxzLmg71.2461191511472128946.333333333332406.28645711809605
STANFORD/buttonsandlights/eyhJpA72.8688497959239717704.73333333339849.266666666666
DRESDEN/connectfour/5tc-Mg73.7693225693225770056.26666666666949.6666666666666
DRESDEN/cube_2x2x2/fp-34Q74.1372030222852690598.133333333331222.0333333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g74.63949030732003274526.53333333333678.0333333333333
DRESDEN/connectfoursuicide/M9CNQg74.9139924327354371278.16666666667951.4666666666667
BASE/duplicateStateSmall/bCPAXw75.55394919321108457625.233333333346056.933333333333
DRESDEN/Thief_Police/CX18rA75.55962303280087191888.72539.5666666666666
BASE/majorities/ibJzSQ75.5720968296245429317.5387.94080394640355
STANFORD/connectfour/VMpZkQ75.6746450912087667342.86666666667889.9
BASE/pearls/6k_mEQ76.0677755893721719649.33333333349460.633333333333
DRESDEN/buttons/ADUaHw77.73935292175636612228.57875.4
BASE/hallway/ckCJOw77.7975004365030921188.033333333333272.3485100993267
DRESDEN/catch_me/ghGWrA78.01644723731583195745.866666666672509.0333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA78.04930710948847198815.02547.3
BASE/buttons/hTcUjw78.20515088838496627658.98025.8
DRESDEN/statespacemedium/dVJZ_w79.04081682954784427573.933333333355409.533333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA79.06944574509359197012.066666666682491.633333333333
DRESDEN/hallway/0H4l-Q79.1706201083684521917.066666666666276.8333333333333
STANFORD/hunter/14dD-g80.21416189444359172754.566666666682153.6666666666665
BASE/connectFourSuicide/c8p9Kw80.8261215821608771043.46666666666878.9666666666667
BASE/stateSpaceMedium/3bUoIw81.07953674634761437321.45393.733333333334
DRESDEN/firefighter/WJmoPw81.56759048085304227701.366666666672791.5666666666666
BASE/connectFourSimultaneous/7ITr3g81.7403587991213144652.03333333333546.2666666666667
BASE/connectFour/WAIKTw81.88594318445770525.63333333333861.2666666666667
BASE/dotsAndBoxes/EHwA_w81.9777796341157865423.73333333333798.0666666666667
BASE/firefighter/WJmoPw82.37923206954842227421.62760.6666666666665
BASE/dotsAndBoxesSuicide/jzQbLw82.4296268527819665644.76666666666796.3734542181927
DRESDEN/battlesnakes1509/-qZrLw83.958883178219260442.0719.9
BASE/ticTacToeSerial/Amrwqw84.1712563799417597299.166666666671155.9666666666667
BASE/zhadu/DlA8iQ84.190161273209553172.737.68492602958816
DRESDEN/backgammon/mqCW0Q84.2073110328387926297.066666666666312.28959034698846
BASE/queens06ug/7Lq3tw84.4787358787358898459.966666666661165.5
BASE/connectFour_9x6/B9TtMw85.1916746133753468491.26666666666803.9666666666667
BASE/tron_10x10/7ZTgDg85.912893081761109281.21272.0
BASE/blockerSerial/3eqDuw87.08206813072883932.6963.8333333333334
BASE/snake2p/I3wWPQ87.552858068297594606.71080.5666666666666
DRESDEN/logistics/fPru1Q88.0504689088923377927.6885.0333333333333
DRESDEN/battlesnakes2011/93VtTw90.3082717320108564341.63333333333712.4666666666667
BASE/gt_dollar/TGjqRw91.12235276875352248697.22729.266666666667
DRESDEN/3pttc/uwYBZw92.3224699828473577147.73333333334835.6333333333333
DRESDEN/3pffa/0YrmQw92.6214569217816777008.56666666667831.4333333333333
DRESDEN/point_grab/r5DPmQ93.76577490417748403646.03333333334304.833333333333
BASE/untwistycomplex2/EDPPAQ94.1979651298187606732.23333333336441.033333333334
STANFORD/untwistycorridor/EDPPAQ95.01396440866101619164.83333333346516.566666666667
BASE/dualConnect4/WbCQkg95.5470629942905445182.7472.8842371920936
STANFORD/3puzzle/41ibjA96.30533395752323336006.13488.9666666666667
DRESDEN/chinesecheckers1/Y-ftaA96.3170273058273462016.46666666667643.8785373820873
STANFORD/threepuzzle/41ibjA99.61923365297343336593.46666666673378.8
DRESDEN/bidding-tictactoe/yW5vTA100.06099706744867130796.41307.1666666666667
BASE/tictactoe_3d_2player/IUC1rQ100.3717179973386613406.533333333333133.56883393874762
DRESDEN/tictactoe_3d_6player/ulZPWg101.948536627208813201.333333333334129.4901699433522
DRESDEN/tictactoe_3d_2player/LMuX9w102.5434027777777713781.833333333334134.4
BASE/connectFourLarge/aU644A103.534180097058357602.96666666667556.3666666666667
BASE/qyshinsu/R08Lzw106.4677120371829222522.766666666666211.54551211545513
BASE/tictactoe_3d_6player/d7KSwg107.4970425758382213459.066666666668125.20406463434949
BASE/maze/cCX3qQ108.57635731331601656680.66666666666048.1
BASE/biddingTicTacToe/8mESVw108.57695787968125123991.266666666661141.9666666666667
BASE/battlebrushes/arCwyA111.6184327115256611150.799.90016638935109
BASE/escortLatch/mX9BjQ113.9983196977764249954.53333333333438.20411972535163
BASE/copolymer_4_pie/IN5_jA115.0993368072003980991.56666666667703.6666666666666
BASE/hidato37/pBrqxw117.122305540368157139.36666666666760.956507248791866
BASE/point_grab/V_osUg119.45131914596692403040.6959304073374.1
BASE/2pffa/6oHijA123.828528769955271878.33333333333580.4666666666667
BASE/duplicateStateLarge/dcjyuw127.1406077582548399856.23333333334785.4
DRESDEN/knightwar/7hhAqg128.0438152193812369941.8546.2333333333333
BASE/3pffa/pR0dzA129.2118850159007269072.36666666667534.5666666666667
DRESDEN/oisters_farm/pTQMLg130.76311607594786370290.633333333362831.766666666667
BASE/copolymer_4/2LDVhQ130.823339381333898540.5753.2333333333333
DRESDEN/nim4/F5YAYg130.84069236897378180660.466666666671380.7666666666667
BASE/2pffa_zerosum/o0_uZA131.5809624624624573025.0554.9815006166461
BASE/nim4/twk16w132.5328320194057182122.21374.1666666666667
DRESDEN/nim3/sG_axA133.14520202020202182781.733333333341372.8
DRESDEN/Goldrush/VeWczQ133.664239769726968620.93333333333513.3828872370921
DRESDEN/knightmove/97Ipcw135.4367467539863455491.1409.7196760107996
BASE/rubiksCube/9tNO9Q136.318430656934339841.333333333336292.26666666666665
BASE/nim3/1OwUqw137.04000000000002185689.21355.0
BASE/knightmove/jBaJEw139.6806354525271853826.46666666667385.353821539282
DRESDEN/grid_game/U7_Yeg140.571628558096180332.0571.4666666666667
BASE/4pffa/Q3ADlg140.9463400760719263402.833333333336449.8366775548297
DRESDEN/small_dominion/yB5GJA140.954080564784052826.520.052629825788614
BASE/beatMania/qUHwvQ141.72117230051006273214.81927.8333333333333
BASE/checkLines/Vop7oQ147.5776767255089103104.16666666667698.6433785540482
STANFORD/freeforall/Lfp40Q148.2680909717436271712.33333333333483.6666666666667
BASE/mineClearingSmall/frsbvw148.505881129733139872.5268.4910502983234
BASE/shmup/ssTNlg152.2681724035901102923.13333333333675.9333333333333
DRESDEN/smallest_4player/ADDROA155.6984685143201112170.36666666667720.4333333333333
DRESDEN/smallest/9kaGFw157.0945922746781291507.6582.5
BASE/smallest_4player/ADDROA158.4494981785997113377.4715.542815239492
STANFORD/pilgrimage/ObRZnQ159.3763654907975838097.76666666667239.0427623904276
DRESDEN/knightstour/cGISAA161.04735603181686348919.83333333332166.5666666666666
BASE/duplicateStateMedium/U163eQ168.4485870072218349098.46666666672072.4333333333334
DRESDEN/capture_the_king/EQ229Q169.003806835066857577.33333333333344.83528196928817
DRESDEN/bidding-tictactoe_10coins/mu5VhQ169.85611859838272105027.7618.3333333333334
BASE/nim2/eF2Qqw171.70441408922545242601.166666666661412.9
BASE/kitten_escapes_from_fire/uW-YiA173.93011534864388111581.96666666666641.5333333333333
BASE/aipsrovers01/4C4jsw174.23432527990573197117.11131.3333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA174.28978685143068109843.23333333334630.2333333333333
DRESDEN/nim2/z5_exA174.46365024090065243818.766666666661397.5333333333333
DRESDEN/snake_2009_big/DgC1NQ177.9734780641662269276.83333333333389.2536915436152
BASE/snake_2009/7l-qAQ178.979646266142685003.4474.93333333333334
DRESDEN/aipsrovers01/qS47Mw179.71126408378197203630.833333333341133.1
BASE/biddingTicTacToe_10coins/a-9ccQ180.09624767657994103351.23333333334573.8666666666667
BASE/chineseCheckers1/gqtwHw180.2432331914542145390.2806.6333333333333
BASE/breakthroughSuicideSmall/XSbJog182.328496942882665931.66666666667361.6092260515966
DRESDEN/snake_2009/zIYLVw183.918793229618984722.43333333333460.6513116229459
BASE/hexPie/48CH6Q187.7134109644491423700.366666666665126.25824945003666
BASE/breakthroughSmall/HJ0tIA187.8276296605453767503.0359.38802039932
BASE/snake_2009_big/-oRfVw189.6740118922700472303.73333333334381.2
BASE/hex/T1MK8g189.903046376811624893.8131.0868913108689
DRESDEN/nim1/M9BALA190.22398675434914271906.16666666671429.4
BASE/gt_centipede/9fRMpw191.38948857417105378842.733333333341979.4333333333334
BASE/nim1/hin2Qw192.41668229117838273667.83333333331422.2666666666667
STANFORD/knightstourmedium/x1wu8Q192.6240577655049344129.31786.5333333333333
STANFORD/hex/MTqWcw194.26787355623125564.8131.59561347955068
STANFORD/alquerquezero/uVgA_A194.7066299626778855645.3285.7904736508783
BASE/englishDraughts/jFkQxg197.3264917836445751069.566666666666258.8074525880745
BASE/connectFourLarger/qKi60A202.4356351137800242699.0210.92630245658478
DRESDEN/hanoi/RQ0jiA202.91684206346054340643.266666666661678.7333333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw205.317427572815553518.417.13639237347353
BASE/sheepAndWolf/g4THrg210.4817499352834327103.033333333333128.76666666666668
DRESDEN/4pttc/9pB9AQ213.0828028345931463894.3299.8566714442852
BASE/hanoi/iGLsJg213.97829253780338347636.266666666661624.6333333333334
STANFORD/knightstour/cEwgNA215.7371692147776332077.03333333331539.2666666666667
BASE/chineseCheckers2/eCMR3Q216.2188864262207107309.43333333333496.3
BASE/chineseCheckers4/avfBcQ222.77227567240.8301.83648301836485
BASE/knightsTour/mvtVIg223.77073754891686348806.366666666641558.7666666666667
STANFORD/untwistycomplex/HTWEwg223.8058916657243659705.16666666662947.6666666666665
BASE/kalaha5x2x3/WviNsw238.31964092273256104106.96666666666436.83754416372244
DRESDEN/frogs_and_toads/GjchhQ238.38057296773357372.46666666667240.67593240675933
BASE/skirmishHoles/AUCxCA243.537380392156887724.13333333333331.71641791044776
BASE/ttcc4_2player_small/Cv72TA252.005831090047462031.3246.1502566495567
BASE/chineseCheckers3/-1rZdQ253.4532462683492895.96666666666366.5211159628012
BASE/chineseCheckers6/rREH3A254.0810810810810760793.13333333333239.26666666666668
BASE/snake_2008/i6K26g257.004948091935585228.56666666667331.6222792573581
BASE/strangeSkirmish/gc1zKA270.57996427015256892.66666666666725.473677200226433
BASE/snake_2008_tweaked/bX0NJQ271.189625418739289049.63333333333328.3666666666667
DRESDEN/snake_2008/E56l3A271.5740644316148389369.06666666667329.07806146256917
DRESDEN/minichess/c7GMFw273.001815993930259967.4219.65934468851037
DRESDEN/Runners/3bOCQw282.32185114774563331662.31174.7666666666667
BASE/ruleDepthLinear/OUBJpQ282.53847704683375467139.71653.3666666666666
BASE/skirmish/Y_psYQ296.280810918774937408.525.004994339748286
BASE/choicethroughalt/tt71Lg298.6274229066849629082.43333333333497.38701506465804
BASE/god/qF06gw304.258303739316266320.56666666666720.77368666355949
DRESDEN/god/2EDD5w313.303128662420366550.420.90754735825815
BASE/minichess/8NQEiA315.3595658273688482243.03333333334260.79130695643477
DRESDEN/amazons/dNB28A332.189213526570033819.666666666666511.498466871083856
BASE/checkersTiny/Lr48cg337.237944296927244873.63333333333133.06223125895804
DRESDEN/tttcc4/sAvtFg339.797944598054336861.933333333334108.48191968005332
BASE/skirmishFinal3/-Olhfw347.5985626283367711285.36666666666732.46666666666667
BASE/2pttc/unkkYA349.3212678985507374982.63333333333214.65235650956603
BASE/breakthroughHoles/nZk0Sg349.48012600732644520.8127.39150723285114
DRESDEN/Zhadu/9zpQ5w365.9099890688259515055.76666666666641.146093619856735
BASE/tttcc4/8Bs2lg366.012186183574937870.9103.46895931220634
BASE/checkersSmall/SYmq8w366.1279804253138631751.26666666666686.72177043060925
DRESDEN/breakthroughsuicide/Y9QzqQ366.987025241802351855.26666666667141.3
BASE/ttcc4/Le0qjQ368.329065335051538104.7103.4528729502733
BASE/ttcc4_2player/_aH_Mw370.208842309071334410.292.94807705125642
DRESDEN/knightthrough/J7Fc_Q371.1324401306540649866.166666666664134.3621879270691
STANFORD/ttcc4/Cx9SGw376.031109837763236303.696.5441397007365
DRESDEN/skirmishfinal/hzq8ww377.247717543859610503.53333333333327.84253646839406
DRESDEN/breakthrough/z4hK7Q377.682429478908250730.26666666667134.319901343199
BASE/endgame/jYjfOA379.628350437183627489.572.41160985037823
BASE/skirmishFinal2/gdB62Q379.628370637785810508.027.679701552195056
DRESDEN/breakthroughsuicide_v2/LU1nAw381.9499271149144352067.3136.31970136319703
BASE/checkers/rOC3Xg385.4765783997129323870.66666666666861.92507665644581
BASE/breakthroughSuicide/wZDpIg385.6257218348623649032.2127.14971337155046
BASE/knightwar/DVGY4Q389.4721855553459668845.7176.76666666666668
BASE/kalaha6x2x4/XS81Mg392.019132376331196943.1247.2917569414353
BASE/breakthroughWalls/vOZaYA393.022709677419450765.433333333334129.16666666666666
BASE/breakthrough/TGxk-g395.566590686274551105.5129.19569347688412
BASE/asteroidsSerial/id2QkA397.5374139698345271478.3682.9
BASE/skirmishFinal1/ecWTnQ403.8719963383838410652.63333333333326.376261364771704
STANFORD/chinook/osFbPA403.936247435897436403.2666666666790.12131715771231
DRESDEN/brawl/2kXtfQ412.6551496621621616282.86666666666739.45877491168433
BASE/brawl/6Ymo_Q420.30891975519516396.76666666666639.01122697138288
BASE/chinook/XQh0IQ422.2669252468265339918.394.53333333333333
BASE/asteroids/BKCmPQ424.4758001152375540244.51272.7333333333333
BASE/asteroidsParallel/WauZiA437.8309382151029318886.86666666664728.3333333333334
DRESDEN/pawntoqueen/f_x6Aw445.456562719298232249.03333333333335.048827476250581
BASE/3pttc/0sol9g456.6891649782259666413.4145.42363842410506
BASE/ttcc4_2player_alt/ZEJvYA468.239696629213544442.66666666666494.91435046324068
BASE/pawnToQueen/-O1_JA469.205118666666642342.24.991846650470897
DRESDEN/skirmish3/3LU8Nw478.6309236870310429767.86666666666562.193780621937805
DRESDEN/pancakes88/aD3E7g512.2975914219413640218.31249.7
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA518.568969999999920704.839.926800865080686
STANFORD/checkersonabarrelnokings/Zrevdw526.781375580315744119.3666666666783.75270788201966
DRESDEN/pancakes6/SZXMyQ530.1107857615725693985.71309.1333333333334
DRESDEN/pancakes/hl9aiQ539.0646731939667679041.81259.6666666666667
BASE/knightsTourLarge/M8jgLA542.877540654699325589.0599.7466751108296
DRESDEN/satlike_20v_91c_version2/yd9ioQ546.902360344827621020.76666666666638.43605036447979
BASE/knightazons/apnJBQ553.744944422222327671.56666666666649.971682713129226
BASE/nonogram_10x10_1/0Xc62g554.542683137254915693.73333333333428.30031629765274
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g556.2164012521952.339.46719289590528
BASE/gt_coordination/IVMOzA560.0065835984448422468.9666666667754.4
BASE/checkersBarrelNoKings/rnKNeg567.463850738649069.2666666666786.47117627457514
DRESDEN/satlike_20v_91c/yeuENQ567.705937796610222257.839.20656543841579
DRESDEN/knightazons/02I8BQ576.717129268292628370.749.19344087455006
BASE/checkersTorusNoKings/pwb6oQ583.501324174406650242.16666666666486.10463178940353
DRESDEN/endgame/IJhh3Q603.658624315173921786.26666666666636.09037589976006
BASE/chess_200/XsTpYA614.68091570247937429.46666666666612.086704624912596
DRESDEN/pacman3p/rBnk8Q616.704683146614842190.568.41280949048618
BASE/4pttc/AL1k2Q621.188851785714356801.0333333333391.4392348961978
DRESDEN/gt_prisoner/huCp4w639.5720289778335401254.115843498627.3790873637546
STANFORD/knightstourbig/TQUI2g646.0620199146515302787.73333333334468.6666666666667
BASE/nonogram_5x5_1/qLKEZw654.647495463584458511.83333333333689.37914486619789
BASE/checkers-newgoals/0XkFiA657.315338770685618530.73333333333428.191542537238828
BASE/amazons_8x8/7SOsIw665.525480292942833305.150.04331312054374
DRESDEN/bomberman2p/x4h6jQ670.529329794405288405.73333333334131.84469255124145
BASE/skirmishNew/sibw2g683.82103651685416218.023.716731621198495
BASE/pacman3p/wW7UVQ689.918493304843343032.2666666666762.37297171225802
BASE/bomberman2p/4CClwA690.133703997881986887.83333333333125.9
BASE/knightThrough/gcwFjA693.127273125720946736.7666666666767.4288380774615
BASE/pacman2p/4LEdQg694.534628767370642745.93333333333461.5461512829057
DRESDEN/battle/8oAvhQ706.1375640579712688.1333333333333.8068125393094774
DRESDEN/fizzbuzz/t1xHzQ713.8603672085136610422.0855.1
BASE/battle/8oAvhQ714.49476252662.33.7261294829995344
DRESDEN/blobwars/ZaMluQ715.790874766355212759.83333333333417.826202852192456
BASE/checkersTorus/2vm1EQ717.970246815286645067.562.770707003398414
BASE/blobwars/0XT15Q729.825106653992412773.717.502412404751606
BASE/skirmishZeroSum/zh4hcw734.08379250128415859.53333333333321.604527296937416
BASE/speedChess/bPnisA738.606251788268917192.33333333333223.276723276723278
DRESDEN/skirmish/RjGQYQ747.257777437106931661.56666666666642.37034076146697
BASE/gt_staghunt/xPjLRA747.8241409362549400434.9535.4666666666667
DRESDEN/guess/PhxGhg752.0829601689221174120.66666666666231.51789880674622
BASE/gt_prisoner/klthDw763.4628230131643417563.26666666666546.9333333333333
BASE/guess/SPpk1A772.9141410525308179335.86666666667232.0255991466951
DRESDEN/skirmish2/iPpWhQ790.270393353028135650.945.112280935563405
DRESDEN/gt_chicken/CeuKtw824.9577207127854405851.7491.96666666666664
DRESDEN/babel/WdSW4A852.746014720194770074.782.17534739578126
BASE/pancakes6/QZTdnw859.390463809444683100.8333333334794.8666666666667
BASE/pancakes/yUgbXw863.3556779019921684756.1666666666793.1333333333333
DRESDEN/hanoi_6_disks/MeubgQ878.3121647807421254584.93333333332289.85700476650777
BASE/hanoi_6_disks/MeubgQ884.7645557875204254281.33333333334287.4
BASE/gt_chicken/gmepTQ940.85683547222408112.3333333333433.76666666666665
STANFORD/skirmish/w4V6Vw948.59103387755097725.9666666666668.144676041355009
DRESDEN/gt_ultimatum/pAiiQw956.6172240931652334039.6349.1883603879871
DRESDEN/connect5/1kYzSg979.932397989949819485.06666666666619.884092725819343
DRESDEN/ghostmaze2p/HY0UwA981.2746897903824132622.36666666667135.1531513515315
BASE/ghostMaze2p/W-NU-w1012.7107338896022131461.7129.81169805032494
DRESDEN/mummymaze2p-comp2007/oTQRQg1083.0718167330679108718.66666666667100.37992401519696
STANFORD/madness/UO_B3A1101.93587947598268387.47.611513660838928
BASE/mummyMaze2p_2007/YGA3Vw1104.9530025683976109928.1666666666799.4867351019864
DRESDEN/four_way_battle/xSOQXA1113.57820301507547353.46.60339792938678
BASE/connect5/d-BVQg1129.438625152625320548.93333333333418.193935354881706
BASE/gt_ultimatum/GE-uOA1146.5299622442972346228.9666666667301.97986800879943
BASE/amazonsSuicide_10x10/XIbQkg1181.347314121037527301.223.11022311022311
BASE/amazons_10x10/Bun8dA1185.612436363636327334.823.05542617605962
STANFORD/platformjumpers/HEQskA1189.506201307189530312.225.48301132578281
BASE/four_way_battle/xSOQXA1253.89155579710137671.8666666666676.118445116882254
BASE/checkers-mustjump/T-8UuQ1350.38073869731815656.06666666666811.593816631130064
DRESDEN/mummymaze2p/k-8edg1367.972611282051362217.8666666666745.48180727708917
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1386.917283673469213560.69.777511723037016
BASE/checkers-cylinder-mustjump/rjr6qQ1391.738378231292513635.49.797387363369769
BASE/mummymaze2p/vpjDdA1404.38657927994163674.1333333333345.33946298887334
BASE/crossers3/O0rORg1506.011700789889674141.0333333333449.23005132991134
BASE/checkers-mustjump-torus/uSApKQ1506.799944487678212867.9333333333328.539908287366252
DRESDEN/crossers3/xiPTxg1518.206144761258274511.6333333333349.07873254922867
DRESDEN/twisty-passages/j7NPyg1518.7999030149906100143.4333333333365.93589658159526
BASE/amazonsTorus_10x10/Uxc08g1534.383949917081320530.63333333333513.380375449340967
BASE/racer4/0vs7Ww1570.442755358462623583.83333333333215.017314864144913
BASE/twisty-passages/DiZmmg1621.0296610169494102016.862.93333333333333
DRESDEN/hanoi7/51zz5Q1816.8096889820815317657.1174.8433542194374
DRESDEN/hanoi7_bugfix/3gdnFw1864.649872377965316999.8170.00499916680553
BASE/knightfight/SJRkAg2015.6892140500918109941.854.54303135308033
DRESDEN/knightfight/4_Ly4w2071.0157828282827109349.6333333333352.8
BASE/hanoi7_bugfix/3gdnFw2115.963213530655333616.86666666664157.66666666666666
DRESDEN/quarto/OQzRYQ2303.433604878048859760.725.944181709185372
DRESDEN/quartosuicide/WIU1oQ2411.11013856481557845.43333333333423.99120322548399
BASE/quarto/EwBMVQ2604.823233431952858658.222.519071254871914
BASE/quartoSuicide/-23jUg2726.607162596599758768.56666666666621.55373442601106
BASE/gt_tinfoil/Q8DyKg2731.3053612903227324537.6666666667118.82145118821451
DRESDEN/racer/vk_ZBA3612.821855453991765772.9333333333318.20541835851694
BASE/racer/QQYQNw3626.689242647058665698.2666666666618.115218115218116
DRESDEN/othello-cornercontrol/r5Gdlg4036.7957802813144608.59276048263450.15076134479119555
DRESDEN/chinesecheckers2/06E6-Q4407.98331605691148120.16666666666410.916594555015642
DRESDEN/kalaha_2009/gcC8uA4481.32859152798898639.9666666666622.01132201132201
BASE/kalaha_2009/dRiN3g4649.808399899447102630.7666666666622.07204208003196
BASE/max_knights/2fq3Ag5004.13500669934633934.233333333336.78123857328059
DRESDEN/max_knights/hCipiA5060.72070452261333521.46.623839163865127
BASE/colonelBlottoVariant2/jruwGw5656.433139278131236752.8666666666741.855505198613706
BASE/colonelBlottoVariant/X-n-KQ6123.342225471698259525.942.38304678128748
DRESDEN/cylinder-checkers/clOO3Q6353.431138157895515912.3666666666672.5045312242544076
BASE/solitaireChineseCheckers/-ET6gw6473.78605416666689519.413.827982458948178
BASE/cylinder-checkers/hlldmw6618.15369777777816537.6666666666682.4988338775238224
DRESDEN/checkers-newgoals/IJOqXQ6772.680924390243518412.5666666666662.718652609243419
BASE/wargame02/BkVqqQ7528.59481432098733768.366666666674.485347863645425
DRESDEN/checkers/jIDMIg7704.018232.82.3666666666666667
BASE/hitori/S8Gsyg8155.4999509803919171.6666666666661.1245989481692191
DRESDEN/hitori/S8Gsyg8335.6440578431369346.4333333333321.121261088942387
DRESDEN/vacuumcleaner_random/_6AGDA8574.785666820277123829.814.441153961334974
BASE/amazonsSuicide/dE1QEQ8967.786822222222768.73333333333330.08572163328285282
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A10343.93009913259185439.3333333333417.92735754748417
BASE/amazons/RKKZjw10479.080655555554766.03333333333330.0731011964229148
BASE/wargame01/_GZFZg10988.90035686274549591.533333333334.512874966817096
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA11164.833555078125190432.2333333333417.056432806982478
DRESDEN/checkers-cylinder-mustjump/vW_-pA11561.2934704761913352.8666666666671.1549630411826821
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg12033.44919215686413558.3666666666671.1267232237539766
DRESDEN/checkers-mustjump-torus/cVc3gA12640.5565096774212848.21.016426768090757
DRESDEN/checkers-mustjump/HUr33w12797.7656090090115546.5666666666681.2147875763346248
DRESDEN/vacuum_cleaner_1/eUNjpw13036.064361825727209195.0666666666816.047409774936742
BASE/wargame03/klXI8w13439.12293608247543411.23.2302107962303106
DRESDEN/Travelers-Dilemma/PvZwYw14812.78182600349377018.533333333325.45224372855382
BASE/colonelBlotto/jip21A15534.77466408602280164.133333333335.1603022938376
BASE/gt_two_thirds_2p/1APDGg22567.3724082304560757.733333333332.6922821245762147
DRESDEN/vacuumcleaner_random_big/DwzFaQ24451.489260824.62.487562189054726
DRESDEN/battlebrushes/QHXV4A24606.14922857142710784.40.43828068747456406
BASE/pancakes88/l2Xaig27068.46470711297646613.023.888055972013994
DRESDEN/chinesecheckers4/-oVNYg33176.3371178571430455.9666666666670.9180026884364447
DRESDEN/farmers/S_ASnw34287.4965333333345162.6666666666641.3171759747102212
DRESDEN/chinesecheckers3/QsCb2A63271.70788695651647678.70.7535548129218269
BASE/gt_attrition/kD_SCA102196.33606118750.11.1619800139437602
BASE/ad_game_2x2/D0aWqg134651.7041999999860572.0666666666660.449842555105713
BASE/ruleDepthExponential/UamhHQ604359.1781857143265285.90.43895403524173826
DRESDEN/crisscross/GsY16g830729.9353549541.10.05963562632316546
BASE/crisscross/ICagEg886231.080499999952494.0666666666660.059232933511032135
DRESDEN/crissrace/KWb9bw1395651.543600000245651.30.03270966897814994
BASE/crissrace/ERWGDA1437849.032846358.30.03224142378127418
DRESDEN/merrills/aYEzwAInfinity18195.90.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity11974.30.0
BASE/merrills/pku8TgInfinity18040.6666666666680.0
DRESDEN/chinesecheckers6/yTbPDAInfinity38878.4333333333340.0

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageREKKURA_BACKWARD_PROVER: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/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