index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
BASE/quad/tw-Ufg0.0080102014697389161.4965579167913798186.83149511845656
DRESDEN/quad/JPe6fg0.0083723876400967151.5037593984962405179.60938541527796
DRESDEN/ggp-course2013_michal13/jWKddg0.0083930547844807783.963627885287946472.25092496916767
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0110648465169019170.441783923483024539.926800865080686
BASE/quad_7x7/q-JOXg0.012941628116492348.325349367339522643.3
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.0130223055969573930.513953846944544439.46719289590528
DRESDEN/satlike_20v_91c/yeuENQ0.0137287360138815470.538256586914982339.20656543841579
DRESDEN/quad_7x7/q-JOXg0.0140056957453685598.971114981433407640.5333333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw0.0166539211774615440.285388127853881317.13639237347353
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.0171464997392232130.65904372755132338.43605036447979
BASE/queens31lg/0gID-A0.0195812471192990670.73282035908197637.424600926450495
BASE/sudokuGrade2/u80Tfw0.0792805247459662115.647889199627114197.3736835088655
BASE/sudokuGrade6H/ieE_9A0.0796448023239591414.614821226446502183.5
BASE/sudokuGrade4/DTy07w0.0820462027108134215.867735604271315193.4
STANFORD/sudoku/oJ1qyQ0.0821772052580548915.29865637887455186.16666666666666
BASE/sudokuGrade6E/ihYFZA0.08292867493304314.63089485085819176.42745241825273
BASE/sudokuGrade3/eI8dvg0.0846951851587838515.623438488956994184.46666666666667
BASE/sudokuGrade5/BQfUQA0.0853946240042177116.16927837109492189.34773189347732
BASE/battlebrushes/arCwyA0.085646313096210928.5560809289459399.90016638935109
BASE/sudokuGrade1/tDRNRw0.085717072597247316.242843829050727189.49368354388187
DRESDEN/small_dominion/yB5GJA0.091114230433627991.827079934747145120.052629825788614
STANFORD/duidoku/3SoMaA0.0951460827237537715.296940611877625160.77320446592233
BASE/blokbox_simple/JBx4bg0.104048603547892860.75452716297786717.25167986161932
STANFORD/selectivesukoshi/3xmXYg0.1246017106455928250.62152164494951406.26666666666665
DRESDEN/grid_game2/kypTYQ0.13007644643137745203.959868004399851568.0
STANFORD/multiplesukoshi/vLSQPg0.131200672555544948.848755456332675372.32092263591215
DRESDEN/cubicup_3player/awDtsQ0.1484877734877734861.5271806152718414.3585641435856
BASE/cubicup_3player/e2yA_g0.1594317985341528763.24769235895898396.70688620758614
BASE/slidingpieces/uFJWEw0.18109237243186854145.94234294284286805.9
DRESDEN/slidingpieces/s9_44g0.18829875518672198151.26162461251292803.3065564481184
DRESDEN/CephalopodMicro/H3XQfg0.1945885841363973517.49941668611046589.93033565547815
BASE/othello-comp2007/86ZoMw0.21602717163007674.31120249386482719.956760352569432
BASE/othelloHoles/c0qAzw0.219888351324960464.75169114007589521.609562814237673
BASE/snake2p/I3wWPQ0.2209877906024535238.79204026532451080.5666666666666
BASE/simultaneousWin2/PfjRjw0.22156787762906308289.71307.5
BASE/othelloSuicide/B442jg0.221904381763349284.45715806279936120.085939842110523
BASE/cephalopodMicro/9l2D3g0.2265796573447940217.69469159252224378.0947936804213
BASE/futoshiki6/JmvXNA0.2342342811264211125.9748050389922537.8154061531283
DRESDEN/golden_rectangle/1uloXw0.2374305095588045112.45916938870742473.6508783040565
BASE/golden_rectangle/_nYzfw0.24622143169239732112.7457.7180760641312
DRESDEN/statespacelarge/8-y5HQ0.24807065909270495941.83333333333343796.633333333333
BASE/blocksWorldParallel/RseaAQ0.24966132275010197421.95260157994731690.1
BASE/lightsOnSimul4/9FeASw0.2523048315138933321.75594146861771275.2666666666667
BASE/coins_atomic/AA3SSw0.2525262435004415343.21359.0666666666666
BASE/conn4/va9Y7A0.2550800056650363294.9235025499151156.2
BASE/stateSpaceLarge/0Ge_CQ0.25739361177599085957.06666666666673718.3
BASE/coins/QnGtnQ0.2685432726158621369.175388307446161374.7333333333333
DRESDEN/coins/QwFP9w0.27072796284467715366.85443818539381355.0666666666666
STANFORD/triplesukoshi/Iu9mbA0.2711950423160012356.08813039565351313.0333333333333
BASE/lightsOnSimultaneous/_VN6lw0.271603270049321402.01480.1
BASE/futoshiki5/TJ4BZg0.2800723941998043219.53007832027996783.8333333333334
BASE/nineBoardTicTacToePie/B8LzeQ0.2812072912926395211.35772845430913751.6082797240092
BASE/nineBoardTicTacToe/wRmqqA0.2896186180513284205.4264857838072709.3
BASE/withConviction/3Xm54A0.29028478124129226443.95186827105761529.3666666666666
STANFORD/nineboardtictactoe/y28P-A0.2975672000437737213.81195213811952718.5333333333333
BASE/cubicup/4wNWJA0.30127531380753136139.2462.03586427571497
BASE/zhadu/DlA8iQ0.3013524786136332311.35644586538781737.68492602958816
DRESDEN/cubicup/SBn_lw0.304281468344798140.94317613731045463.2
DRESDEN/lightsout2/LFtfyQ0.308765221237251899.73333333333332913.9724018398774
BASE/queens16ug/gT-ylw0.3106461538461538584.13052898236725270.8243058564714
DRESDEN/lightsout/XgLpzQ0.3189646877706148884.02771.4666666666667
BASE/futoshiki4/BaCwSw0.3230688562099292451.83333333333331398.5666666666666
DRESDEN/quad_5x5/JAEP5g0.33437779137015970.19704433497537209.93333333333334
BASE/majorities/ibJzSQ0.34363777529474676133.31111481419762387.94080394640355
BASE/quad_5x5/JAEP5g0.352071846883690571.73333333333333203.74629203746292
STANFORD/duikoshi/tpw1sw0.361446683438364483.71338.2333333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw0.3662061416657058105.86666666666666289.09036365454483
BASE/ticTacHeaven/18n58A0.36719787516600266258.06666666666666702.8
BASE/factoringMediumTurtleBrain/8RBqmQ0.3700392190650827521.58261391286951409.5333333333333
BASE/blockerParallel/7-nDJA0.3828494596882625256.26666666666665669.3666666666667
DRESDEN/blockerparallel/dVQgSg0.39239703577470625264.8068526480685674.844171860938
BASE/ticTacHeavenFC/mrletw0.3939685143757165251.47485251474853638.3120562647912
DRESDEN/tictactoex9/rFkD4w0.3961278523262025253.57464253574642640.1333333333333
DRESDEN/connect4/T0-rHQ0.39795310015898255267.0670.9333333333333
BASE/lightsOut/5P1ZBw0.39972696650888095897.93333333333332246.366666666667
BASE/tictactoex9/BI26ow0.40136231281198004257.3641.0666666666667
BASE/connect4/50bOyw0.4089716737977459268.9397726893977657.6
BASE/queens08lg/Ru7eqQ0.4279823197048982233.99220025999134546.7333333333333
DRESDEN/tictactoelargesuicide/6J4DeA0.428438699804615461045.23333333333332439.633333333333
DRESDEN/tictactoelarge/IwXcbg0.43339397614715991072.02473.5
BASE/reversi/d8UMeA0.43355309053495715.52733076206942435.814139262415125
BASE/qyshinsu/R08Lzw0.4361818758610639492.27231830450864211.54551211545513
BASE/breakthroughSmallHoles/bxclRw0.4362998198163042477.617412752908251094.7
BASE/reversiSuicide/9OxJlg0.447692721026289615.96347397187229235.65721134638434
BASE/wallmaze/uxNQ9g0.44913416104447784319.53333333333336711.4429519016032
BASE/queens12ug/u6Bkmg0.4517332361612345217.17828217178283480.76666666666665
DRESDEN/mimikry/GJEhwA0.45840686173923745372.3333333333333812.2333333333333
STANFORD/multipletictactoe/_bkafQ0.4638315217078971286.95710142995233618.6666666666666
BASE/tictactoe_3d_small_6player/g_9lww0.4665172887915669305.3666666666667654.5666666666667
BASE/lightsOnParallel/SC6enA0.47590818879972391838.43333333333343863.0
BASE/3pConnectFour/PqXOFQ0.4832025920873124377.8781.8666666666667
BASE/tictactoe_3d_small_2player/oOryKA0.49094328822014144400.2199926669111815.2061597946736
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.4924249869399051311.6229459018033632.8333333333334
BASE/ticTacToeNoVars/XT03NA0.496990134741388261120.06666666666662253.7
DRESDEN/catcha_mouse/cHv4dw0.49865539761813293605.73333333333331214.7333333333333
DRESDEN/statespacemedium/dVJZ_w0.50439347818049612728.53333333333335409.533333333334
BASE/stateSpaceMedium/3bUoIw0.50618619138259212730.2333333333335393.733333333334
BASE/catcha_mouse/cHv4dw0.5077712362858934619.37935402153271219.8
STANFORD/sukoshi/4LYZZQ0.51340604262827481338.46666666666672607.0333333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg0.516429898630961414.0390640623958801.7333333333333
BASE/ticTacToeLarge/TZC0dg0.51724024694601331050.06666666666662030.1333333333334
BASE/connectFourSimultaneous/7ITr3g0.5193871293705229283.7238758708043546.2666666666667
DRESDEN/quad_5x5_8_2/JRTLJg0.5198058556442774110.655601106556212.87871212878713
STANFORD/breakthrough/d5j0cQ0.522022484451784472.91756941435284905.9333333333333
BASE/hidato19/rRHSmA0.5221665213599506318.15606146461784609.3
BASE/factoringGeorgeForman/HGRorQ0.52271780776278533347.06666666666666403.2
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.5264688408742692561.23333333333331066.0333333333333
DRESDEN/pawn_whopping/4ogBkg0.535174525895364598.14672844238521117.6666666666667
BASE/ticTacToeLargeSuicide/727_8g0.53832276773671431064.31977.0666666666666
BASE/brain_teaser_extended/ZDp94A0.54597572854939521793.56666666666663285.0666666666666
DRESDEN/sum15/CsgWKg0.5557647587336822804.16666666666655045.6
DRESDEN/brain_teaser_extended/ZDp94A0.56417618606565811827.36666666666663239.0
BASE/sum15/QZ07Kg0.56428197880326492841.3666666666675035.366666666667
DRESDEN/doubletictactoe/lJzgmQ0.56930937048232371155.16666666666672029.0666666666666
DRESDEN/doubletoetictac/V89gKQ0.56953834596735641111.96666666666671952.4
DRESDEN/peg/Vo31eg0.5708314606741574423.3666666666667741.6666666666666
DRESDEN/blocker/S815zQ0.57189849624060142231.16666666666653901.3333333333335
BASE/doubletoetictac/fu35bg0.57581767511839831122.63333333333341949.6333333333334
DRESDEN/bunk_t/7-tPfA0.58135139655460791158.63333333333341993.0
BASE/doubletictactoe/HH1htg0.58640869461363911145.66666666666671953.7
DRESDEN/peg_bugfixed/u_B7MA0.5929709099724695430.3189893670211725.7
DRESDEN/pentago_2008/hLjVpQ0.5981681931723565239.45868471050966400.31998933368885
BASE/bunk_t/xbpfIA0.60113441406113231144.61904.0666666666666
DRESDEN/tictactoe_3player/ESLQQQ0.6043379934210527587.9972.8
STANFORD/dualhunter/1rPZjQ0.6094621063733614943.83333333333341548.6333333333334
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.6109974196992616457.8749.2666666666667
BASE/tictactoe2/bhrDoQ0.62406459235919652429.56666666666663893.133333333333
BASE/tpeg/QNs7Lw0.6353949611668877447.23333333333335703.8666666666667
DRESDEN/tpeg/h-Scbg0.6411934161338814463.3691087260849722.6666666666666
DRESDEN/blocksworldparallel/2JfVaw0.64693645248655651648.22547.7
BASE/dotsAndBoxesSuicide/jzQbLw0.6483976379820303516.3666666666667796.3734542181927
DRESDEN/backgammon/mqCW0Q0.6499510173112578202.9729369417411312.28959034698846
DRESDEN/chickentictactoe/Ipbo-g0.65689419211359172047.93333333333343117.6
DRESDEN/hallway/0H4l-Q0.6581903869771007182.20903879482736276.8333333333333
BASE/pentagoSuicide/SBgNhw0.66277737668697246.63333333333333372.1209293023566
BASE/snakeAssemblit/UO4sdg0.6637856517348771337.9554014866171509.1333333333333
BASE/dotsAndBoxes/EHwA_w0.6646478990894661530.4333333333333798.0666666666667
BASE/numbertictactoe/rvJ-iQ0.66465645081562031344.62023.0
BASE/hallway/ckCJOw0.6648238581386648181.06378724255148272.3485100993267
BASE/tictactoe_3player/GtM71g0.6669207026635674583.4874.7666666666667
BASE/eotcatcit/AfZSzA0.66802843601895732349.2333333333333516.6666666666665
DRESDEN/tictactoe/BTTzPw0.67104216388225952474.2666666666673687.2
DRESDEN/towerworld/HCX34w0.672686552553194422.2533146778599533.08125395609155
BASE/pentago/86NgKw0.677302137319065255.26666666666668376.88743708543046
DRESDEN/battlesnakes2011/93VtTw0.6779974244144763483.05056498116727712.4666666666667
DRESDEN/eotcatcit/mQUxzA0.68431383869291622370.63464.2
DRESDEN/tictactoeparallel/yk_DSg0.6890771086759827913.91326.2666666666667
DRESDEN/connectfour/5tc-Mg0.6941151569663953659.1780273990867949.6666666666666
DRESDEN/stratego/Z2wovg0.6960222970144756467.4021731884541671.5333333333333
BASE/eotcitcit/V_9_bg0.69619795433412551796.93333333333342581.0666666666666
DRESDEN/chomp/-LcqYQ0.69851009402654861347.11928.5333333333333
BASE/tictactoe-init1/7M19vA0.70713464911396482338.43306.866666666667
DRESDEN/connectfoursuicide/M9CNQg0.7072468524519889672.9218052129858951.4666666666667
DRESDEN/tictactoe-init1/3ltIBQ0.70821004590223552423.93333333333343422.6192460251323
BASE/tictactoe_orthogonal/WRzlVw0.70858727105190832922.16666666666654123.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.7111886288061552908.66666666666654089.866666666667
BASE/blocker/dIWtxg0.71168059463318362259.6333333333333175.0666666666666
DRESDEN/battlesnakes1509/-qZrLw0.7139880538963745514.0719.9
DRESDEN/tictictoe/LAUtwg0.7152962914082091806.62525.6666666666665
BASE/mineClearingSmall/frsbvw0.7159528243327126192.22692576914102268.4910502983234
BASE/pawnWhopping/Ypc_6Q0.7163133489850123578.6140461984601807.7666666666667
DRESDEN/2player_normal_form_2010/NG_Kdg0.72231775010674764172.7333333333345776.866666666667
DRESDEN/javastrike/whONTQ0.7237196245733789197.9273.4484367708819
BASE/connectFourSuicide/c8p9Kw0.7239940839622283636.3666666666667878.9666666666667
BASE/chomp/-LcqYQ0.73318410133216871342.91831.6
DRESDEN/lightson2x2/gBHuig0.74390827290329933265.6333333333334389.833333333333
STANFORD/connectfour/VMpZkQ0.7474997190695585665.2889.9
BASE/connectFour_9x6/B9TtMw0.7521041502549857604.6666666666666803.9666666666667
BASE/chickentictactoe/DSlZCA0.7574218418532482082.7333333333332749.766666666667
BASE/factoringEasyTurtleBrain/lUj94Q0.76130673237421512234.8666666666672935.5666666666666
STANFORD/tictactoe/ss1kyQ0.76450656042956742353.96666666666673079.0666666666666
STANFORD/tictactoe7/-bE9-A0.76507022501752972400.43333333333343137.5333333333333
BASE/cittaceot/fDxhXg0.767280594866247517.249425019166674.1333333333333
BASE/connectFour/WAIKTw0.7780783962009403670.1329867013299861.2666666666667
STANFORD/tictactoe3/X7myng0.77975822923098852188.83333333333352807.0666666666666
DRESDEN/latenttictactoe/kITHKg0.78512756350976441443.31838.3
BASE/ticTacToe/JRFsaQ0.78759190785838762470.83333333333353137.2
BASE/duplicateStateLarge/dcjyuw0.7936083524318818623.3785.4
STANFORD/trifecta/ss1kyQ0.79408590308370052403.43333333333343026.6666666666665
STANFORD/tictactoe5/WFRReg0.80019651690723042361.72951.4
BASE/racetrackcorridor/_RkdUg0.8004222378606615758.2666666666667947.3333333333334
STANFORD/tictictoe/rpt_Dw0.81022393457626621829.56666666666662258.1
BASE/ticTicToe/c1OobQ0.82008658531066621812.22209.766666666667
DRESDEN/racetrackcorridor/O0DoTA0.8291476553813121720.8333333333334869.3666666666667
BASE/chickentoetictac/l57rfQ0.83758761836164643178.53333333333333794.866666666667
BASE/queens08ug/kJ_ZFQ0.8380158814941424784.4666666666667936.1
DRESDEN/chickentoetictac/cxYaRQ0.83821724322735693232.33333333333353856.2
DRESDEN/amazons/dNB28A0.84306560698145559.69396195202646811.498466871083856
DRESDEN/sheep_and_wolf/enAIzQ0.8444738080913052514.6333333333333609.4130195660144
BASE/ticTacToeSerial/Amrwqw0.8545229101185154987.81155.9666666666667
BASE/connectFourLarge/aU644A0.8579187995073542477.31742275257494556.3666666666667
DRESDEN/tictactoe_3d_6player/ulZPWg0.868502316006176112.46251249583472129.4901699433522
BASE/lightsOn/MsXu3A0.87675529059418535171.8333333333335898.833333333333
BASE/toetictac/mTThmg0.89035363658975534056.8666666666674556.466666666666
BASE/ticTacToeParallel/ymRGPw0.8945920880104896932.43333333333331042.3
STANFORD/jointbuttonsandlights/qAKuIQ0.89746875297459964085.66666666666654552.433333333333
DRESDEN/snake_2009_big/DgC1NQ0.8988139978306787349.8666666666667389.2536915436152
BASE/snake_2009_big/-oRfVw0.9003722261374079343.2218926035799381.2
DRESDEN/blocks/vg0DRw0.90310600135314766273.6666666666676946.766666666666
STANFORD/pentago/ZxzLmg0.9045559513632994367.5088327444837406.28645711809605
BASE/snakeParallel/RCVNtw0.90488010105369122062.1312622912572278.9
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.90995104500094152577.46666666666672832.5333333333333
BASE/blocks/xIV5hQ0.91004600569594346369.5333333333346999.133333333333
DRESDEN/toetictac/mJtxCA0.91191903208711824072.64465.966666666666
BASE/duplicateStateMedium/U163eQ0.9126469689415021891.42072.4333333333334
BASE/blocksWorld/SEdXLQ0.91318017270636146457.7666666666667071.733333333334
BASE/tictactoe_3d_2player/IUC1rQ0.9188157748897913122.72515165655624133.56883393874762
DRESDEN/ggp-course2013_nicolai/uEin8g0.944674675986602572.0666666666666676.2872854524246
BASE/snake_2009/7l-qAQ0.9457152476351106449.15169494350187474.93333333333334
DRESDEN/tictactoe_3d_2player/LMuX9w0.9467037056432863127.23697803845769134.4
BASE/tictactoe_3d_6player/d7KSwg0.9486612523157955118.77624475104979125.20406463434949
BASE/ticblock/T21C1g0.95443027192776991494.03333333333331565.3666666666666
BASE/double_tictactoe_dengji/zgaSbA0.95933014354066991309.93333333333341365.4666666666667
BASE/incredible/8Qh-6Q0.96807326523423742290.32365.8333333333335
DRESDEN/snake_2009/zIYLVw0.9693598743200043446.536897540164460.6513116229459
BASE/blocksWorldSerial/Wyg96Q0.96939352155338042859.02949.266666666667
DRESDEN/ticblock/Z2yNWQ0.97874177187870951511.66666666666671544.5
BASE/stateSpaceSmall/Q7osKA0.98228362424322868880.4333333333329040.6
DRESDEN/double_tictactoe_dengji/bGaUyQ1.0073714445489441321.03333333333331311.3666666666666
BASE/strangeSkirmish/gc1zKA1.011501655773420425.76666666666666625.473677200226433
BASE/dualConnect4/WbCQkg1.0128991330090928478.9840338655378472.8842371920936
STANFORD/hunter/14dD-g1.02007429190527792196.92153.6666666666665
DRESDEN/statespacesmall/h-NqjA1.03427351518175178914.38618.9
DRESDEN/3pttc/uwYBZw1.0370231532524514866.5711142961901835.6333333333333
BASE/duplicateStateSmall/bCPAXw1.03816562837079276288.16056.933333333333
BASE/blockerSerial/3eqDuw1.0426422272177071004.9333333333333963.8333333333334
BASE/skirmishHoles/AUCxCA1.043553959147821633.0977934804346431.71641791044776
DRESDEN/capture_the_king/EQ229Q1.05012691483157547.0827363300123344.83528196928817
DRESDEN/cube_2x2x2/fp-34Q1.0579362265077331292.83333333333331222.0333333333333
DRESDEN/circlesolitaire/ruUilQ1.06204056435957234358.3666666666674103.766666666666
BASE/circlesolitaire/azuQFQ1.0645066249826094335.74072.9666666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ1.07075853145722142206.83333333333352061.0
DRESDEN/troublemaker01/C-lPWw1.084880581883340512270.43333333333211310.4
BASE/escortLatch/mX9BjQ1.0921486714875788478.58404719842673438.20411972535163
BASE/copolymer_4_pie/IN5_jA1.1043686827366295777.1074297523415703.6666666666666
BASE/pegEuro/5awwhg1.108213570147349.6550114996167315.51229918005464
BASE/hodgepodge/9yjRkw1.11616517866139973692.23307.9333333333334
BASE/copolymer_4/2LDVhQ1.1209452582201178844.3333333333334753.2333333333333
BASE/troublemaker02/DI83KA1.131446637933200210509.3666666666679288.433333333332
DRESDEN/3pffa/0YrmQw1.150222507316682956.3333333333334831.4333333333333
BASE/blocks2player/wnTLOQ1.15469783507592655371.04651.433333333333
BASE/skirmish/Y_psYQ1.157547788595099528.94447590180861225.004994339748286
DRESDEN/blocks2player/3ev8nQ1.15912147019273865430.64685.1
BASE/troublemaker01/s3tlEQ1.173863343926363513076.13333333333311139.4
BASE/coloredtrails/EZvr7g1.25049975012493752001.81600.8
DRESDEN/logistics/fPru1Q1.2568264848781591112.3333333333333885.0333333333333
BASE/hidato37/pBrqxw1.257601595408164776.6590007665900160.956507248791866
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.2587928547653389756.3666666666667600.8666666666667
BASE/tron_10x10/7ZTgDg1.26092767295597491603.91272.0
DRESDEN/troublemaker02/iZLVuA1.264113016983580811948.7333333333349452.266666666666
DRESDEN/grid_game/U7_Yeg1.2683737750816613724.8333333333334571.4666666666667
BASE/pearls/6k_mEQ1.299574728964586512294.89460.633333333333
STANFORD/hex/MTqWcw1.300658561296859171.16096130128994131.59561347955068
BASE/connectFourLarger/qKi60A1.3012443847450483274.46666666666664210.92630245658478
BASE/hex/T1MK8g1.3079946407075016171.46095130162328131.0868913108689
BASE/switches/tPUoCg1.31486156716614578315.6666666666666324.366666666667
BASE/peg/fJHVWw1.3164556962025318422.9192360254658321.2559581347288
BASE/queens06ug/7Lq3tw1.32529672529672541544.63333333333341165.5
DRESDEN/Zhadu/9zpQ5w1.33117408906882654.77261369315342441.146093619856735
BASE/rubiksCube/9tNO9Q1.336520230347553390.6203126562448292.26666666666665
BASE/hexPie/48CH6Q1.3381731784582895168.95540297313514126.25824945003666
BASE/buttons/hTcUjw1.339156221186672810747.88025.8
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.3435767566427737642.811906269791478.43333333333334
DRESDEN/buttons/ADUaHw1.351050951909321210640.0666666666687875.4
STANFORD/bestbuttonsandlights/nm0wEA1.36210513775918776860.3333333333335036.566666666667
BASE/haystack/UkweGA1.364472111143175218755.53333333333313745.633333333333
BASE/onestep/xi53wA1.376663589756924221177.76666666666615383.4
DRESDEN/firefighter/WJmoPw1.39553655653336843895.7333333333332791.5666666666666
DRESDEN/sat_test_20v_91c/dK7nVw1.4003004250199642672.3775874137528480.1666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.4236121121330358681.0333333333333478.3840538648712
BASE/firefighter/WJmoPw1.4274329872011593940.66666666666652760.6666666666665
STANFORD/bestbuttonsandlightsbig/g0JC6g1.4281454762962095252.7666666666663678.0333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.442573051948052710.8763041231958492.7835738808706
DRESDEN/brawl/2kXtfQ1.44454560810810857.039.45877491168433
DRESDEN/8puzzle/8fKC2w1.45507919371774193279.72253.9666666666667
BASE/skirmishFinal3/-Olhfw1.466852420070400547.6238085716190132.46666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.4678744612068964726.4757841405286494.9168361054632
BASE/survival/YVIjJA1.476706224908457315620.510577.933333333332
BASE/brawl/6Ymo_Q1.482789985260457157.84545666588917439.01122697138288
BASE/snake_2008_tweaked/bX0NJQ1.4928951155220012490.21699276690777328.3666666666667
BASE/checkLines/Vop7oQ1.49661477099236631045.6698.6433785540482
DRESDEN/snake_2008/E56l3A1.5001006431896748493.65021165961133329.07806146256917
DRESDEN/bidding-tictactoe/yW5vTA1.50381231671554241965.73333333333331307.1666666666667
DRESDEN/Goldrush/VeWczQ1.511037527593819775.740808639712513.3828872370921
BASE/snake_2008/i6K26g1.5146245853854656502.28325722475915331.6222792573581
BASE/2pffa_zerosum/o0_uZA1.5245553213213212846.1554.9815006166461
BASE/roshambo2/KNPokQ1.52650034881064818242.0333333333335399.3
BASE/skirmishFinal2/gdB62Q1.528686532726765442.31358699273672427.679701552195056
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.5291893326257133768.3666666666667502.46666666666664
DRESDEN/chinesecheckers1/Y-ftaA1.55785075667374161003.0666666666667643.8785373820873
DRESDEN/skirmishfinal/hzq8ww1.561680927100648743.48115816479525427.84253646839406
BASE/breakthroughSmall/HJ0tIA1.5644592839918383562.2479250691644359.38802039932
BASE/breakthroughSuicideSmall/XSbJog1.564580286969613565.7666666666667361.6092260515966
BASE/skirmishFinal1/ecWTnQ1.565227977014488841.2848622171870326.376261364771704
STANFORD/multiplebuttonsandlights/cK70Yg1.5750545781430598176.6333333333335191.333333333333
BASE/3pffa/pR0dzA1.5829643948369394846.2534.5666666666667
BASE/2pffa/6oHijA1.6032502584127712930.6333333333333580.4666666666667
BASE/4pffa/Q3ADlg1.6074928207787262723.1092296923435449.8366775548297
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.6120711037618851649.9116696110129403.1532282257258
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.615255758752765665.3333333333334411.90587294180386
DRESDEN/roshambo2/jgSlkQ1.62178511568767248418.25190.7
STANFORD/multiplebuttonsandlights_9/SqB9BA1.63867996621485728148.54972.6
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.646947051531787620.0376.4541181960601
STANFORD/pilgrimage/ObRZnQ1.6620743595714182397.3068462102527239.0427623904276
BASE/aipsrovers01/4C4jsw1.68046552740129651901.16666666666671131.3333333333333
DRESDEN/aipsrovers01/qS47Mw1.69732003647809851923.23333333333331133.1
STANFORD/freeforall/Lfp40Q1.7049620951068227824.6333333333333483.6666666666667
BASE/biddingTicTacToe/8mESVw1.70772643684871131950.16666666666671141.9666666666667
STANFORD/threepuzzle/41ibjA1.71776962235113055804.03378.8
DRESDEN/Thief_Police/CX18rA1.72602937509023874383.3666666666672539.5666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA1.74467082793546084444.22547.3
STANFORD/3puzzle/41ibjA1.753518233669956117.9666666666663488.9666666666667
BASE/gt_dollar/TGjqRw1.7552089694423414790.4333333333332729.266666666667
BASE/englishDraughts/jFkQxg1.7592930632726496455.3181560614646258.8074525880745
STANFORD/eightpuzzle/W_aWbA1.76861341012077783265.41846.3051231625614
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.7696787989768632676.4666666666667382.25392486917104
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.79278652557224844466.9666666666662491.633333333333
DRESDEN/catch_me/ghGWrA1.80425396234937764526.9333333333332509.0333333333333
STANFORD/alquerquezero/uVgA_A1.8164217401446234519.1160294656845285.7904736508783
STANFORD/8puzzle/jNiGtw1.83298772319380453329.51816.4333333333334
STANFORD/untwistycomplex/HTWEwg1.83998642994458925423.6666666666672947.6666666666665
BASE/eightPuzzle/vLrgFg1.85951428885872553379.2333333333331817.2666666666667
BASE/maze/cCX3qQ1.860959089080317211255.2666666666666048.1
DRESDEN/knightwar/7hhAqg1.97955696588759381081.3546.2333333333333
DRESDEN/frogs_and_toads/GjchhQ1.9806056457860488476.684110529649240.67593240675933
STANFORD/untwistycorridor/EDPPAQ1.997115045243661213014.3333333333346516.566666666667
DRESDEN/knightmove/97Ipcw2.027321073326825830.6333333333333409.7196760107996
DRESDEN/oisters_farm/pTQMLg2.0838699045354495901.0333333333342831.766666666667
BASE/untwistycomplex2/EDPPAQ2.086316377806873413438.0333333333336441.033333333334
BASE/knightmove/jBaJEw2.144436153158608826.3666666666667385.353821539282
BASE/beatMania/qUHwvQ2.2091640010374344258.91927.8333333333333
STANFORD/buttonsandlights/eyhJpA2.21645943183587321830.59849.266666666666
DRESDEN/point_grab/r5DPmQ2.24358666615045139658.2666666666664304.833333333333
DRESDEN/smallest/9kaGFw2.2736480686695281324.4582.5
DRESDEN/4pttc/9pB9AQ2.3436752741959386702.7666666666667299.8566714442852
DRESDEN/god/2EDD5w2.40956859246343650.3781694599007120.90754735825815
BASE/god/qF06gw2.423329894881619350.3414959187073220.77368666355949
BASE/shmup/ssTNlg2.73335634677976151847.5666666666666675.9333333333333
DRESDEN/breakthroughsuicide/Y9QzqQ2.7355508374616653386.53333333333336141.3
DRESDEN/breakthroughsuicide_v2/LU1nAw2.7625313386049313376.58744708509715136.31970136319703
DRESDEN/breakthrough/z4hK7Q2.7701598449613303372.08759708009734134.319901343199
BASE/chineseCheckers4/avfBcQ2.779319423586572838.9301.83648301836485
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2.80393530997304551733.7666666666667618.3333333333334
BASE/smallest_4player/ADDROA2.8192116861539422017.2666666666667715.542815239492
BASE/chineseCheckers1/gqtwHw2.8237117236249432277.7806.6333333333333
BASE/point_grab/V_osUg2.86022939450520179650.73374.1
BASE/breakthrough/TGxk-g2.8753869969040244371.48761707943066129.19569347688412
DRESDEN/babel/WdSW4A2.889755555555556237.4666666666666782.17534739578126
BASE/ttcc4_2player_small/Cv72TA2.909063254344392716.0666666666667246.1502566495567
DRESDEN/smallest_4player/ADDROA2.9147735159394812099.9720.4333333333333
BASE/breakthroughSuicide/wZDpIg2.924703473241583371.8752083194454127.14971337155046
DRESDEN/hanoi/RQ0jiA2.934176561693344925.71678.7333333333333
BASE/breakthroughWalls/vOZaYA2.976158859220822384.4205193160228129.16666666666666
BASE/breakthroughHoles/nZk0Sg2.9826687423687424379.96666666666664127.39150723285114
BASE/biddingTicTacToe_10coins/a-9ccQ3.0126626394052041728.8666666666666573.8666666666667
BASE/hanoi/iGLsJg3.032294466443714926.3666666666671624.6333333333334
BASE/checkersTiny/Lr48cg3.061372745490982407.3530882303923133.06223125895804
DRESDEN/nim4/F5YAYg3.06218767351471444228.1666666666671380.7666666666667
BASE/nim4/twk16w3.10859915100060664271.7333333333341374.1666666666667
DRESDEN/nim3/sG_axA3.1263111888111894291.81372.8
BASE/choicethroughalt/tt71Lg3.147264374634861306.502683065026897.38701506465804
BASE/nim3/1OwUqw3.1701353013530144295.5333333333341355.0
DRESDEN/skirmish3/3LU8Nw3.1941043158751907198.6534231051263462.193780621937805
BASE/knightazons/apnJBQ3.276522311111111163.7333333333333249.971682713129226
DRESDEN/knightazons/02I8BQ3.3032859078590784162.549.19344087455006
BASE/checkersSmall/SYmq8w3.375161721752498292.786.72177043060925
BASE/minichess/8NQEiA3.435825157634629896.0333333333333260.79130695643477
BASE/chineseCheckers2/eCMR3Q3.48579488212774541730.0496.3
BASE/checkers/rOC3Xg3.567633357323683220.925969134362261.92507665644581
STANFORD/skirmish/w4V6Vw3.571338542413933229.087395461966488.144676041355009
BASE/kitten_escapes_from_fire/uW-YiA3.58022446222591742296.8333333333335641.5333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA3.6915428148304862326.5333333333333630.2333333333333
BASE/endgame/jYjfOA3.707508605614357268.4666666666666472.41160985037823
BASE/asteroidsParallel/WauZiA3.7161098398169332706.5666666666666728.3333333333334
BASE/gt_centipede/9fRMpw3.76520216223498277452.9666666666661979.4333333333334
BASE/pawnToQueen/-O1_JA3.784155783582089618.889925373134334.991846650470897
STANFORD/madness/UO_B3A3.78908996459227528.840710027641797.611513660838928
BASE/kalaha5x2x3/WviNsw3.79584284551604871658.1666666666667436.83754416372244
BASE/chineseCheckers6/rREH3A3.8074796596591574911.0029665677811239.26666666666668
STANFORD/chinook/osFbPA3.8202784266165484344.288523715876190.12131715771231
DRESDEN/minichess/c7GMFw3.8228891856348004839.7333333333333219.65934468851037
BASE/asteroidsSerial/id2QkA3.8451701078732862625.866666666667682.9
DRESDEN/pawntoqueen/f_x6Aw3.860224108545617519.489605543710025.048827476250581
BASE/2pttc/unkkYA3.9033657971014493837.8666666666667214.65235650956603
DRESDEN/knightstour/cGISAA3.9341661922857988523.6333333333332166.5666666666666
DRESDEN/tttcc4/sAvtFg3.9567269329237074429.23333333333335108.48191968005332
BASE/nim1/hin2Qw3.9898753163963635674.6666666666671422.2666666666667
BASE/chinook/XQh0IQ3.9992947813822286378.0666666666666694.53333333333333
DRESDEN/nim2/z5_exA4.0213709869770555620.01397.5333333333333
BASE/chineseCheckers3/-1rZdQ4.0428775736631511481.8366.5211159628012
BASE/nim2/eF2Qqw4.064972751079345743.41412.9
BASE/sheepAndWolf/g4THrg4.090085425834842526.6666666666666128.76666666666668
BASE/ttcc4/Le0qjQ4.0973813329933675423.8858704709843103.4528729502733
BASE/tttcc4/8Bs2lg4.120583194730868426.35245491816937103.46895931220634
DRESDEN/knightthrough/J7Fc_Q4.1332175638799304555.348155061498134.3621879270691
DRESDEN/nim1/M9BALA4.3122755468494936163.9666666666661429.4
BASE/chess_200/XsTpYA4.44811750841954953.76308246116925512.086704624912596
BASE/asteroids/BKCmPQ4.498900005238075725.91272.7333333333333
BASE/ttcc4_2player/_aH_Mw4.614813822977117428.9380707952803492.94807705125642
BASE/guess/SPpk1A4.6410108940286361076.8333333333333232.0255991466951
DRESDEN/skirmish/RjGQYQ4.641147520468079196.6470019664700142.37034076146697
DRESDEN/skirmish2/iPpWhQ4.679706229278598211.112222111122245.112280935563405
DRESDEN/guess/PhxGhg4.7541030809098761100.659956002933231.51789880674622
STANFORD/checkersonabarrelnokings/Zrevdw4.786551351591106400.8866371120962583.75270788201966
STANFORD/ttcc4/Cx9SGw4.848743081248345468.117729409019796.5441397007365
STANFORD/knightstourmedium/x1wu8Q4.92491977013209958798.5333333333331786.5333333333333
BASE/checkersTorusNoKings/pwb6oQ5.063487588289675435.9897343598973486.10463178940353
BASE/checkers-newgoals/0XkFiA5.077003579786112143.1285623812539728.191542537238828
BASE/3pttc/0sol9g5.148234855614065748.6750441651945145.42363842410506
BASE/knightsTour/mvtVIg5.27446913157838458221.6666666666661558.7666666666667
BASE/checkersBarrelNoKings/rnKNeg5.3297143224149460.866666666666786.47117627457514
BASE/ttcc4_2player_alt/ZEJvYA5.386962008426966511.394.91435046324068
STANFORD/knightstour/cEwgNA5.6131924292953368640.21539.2666666666667
BASE/amazons_8x8/7SOsIw5.903628367744672295.437122954371250.04331312054374
BASE/checkersTorus/2vm1EQ5.993903874207395376.2415838944070362.770707003398414
BASE/knightwar/DVGY4Q6.0569488968508391070.6666666666667176.76666666666668
BASE/kalaha6x2x4/XS81Mg6.3816657411151551578.1333333333334247.2917569414353
DRESDEN/endgame/IJhh3Q6.391433681418655230.6692441007865636.09037589976006
BASE/skirmishNew/sibw2g6.40714490756796151.9565362309179523.716731621198495
BASE/4pttc/AL1k2Q6.8484000363253195626.212459584680591.4392348961978
DRESDEN/bomberman2p/x4h6jQ7.019875547691271925.5333333333333131.84469255124145
DRESDEN/pancakes88/aD3E7g7.0309674321837248786.61249.7
BASE/skirmishZeroSum/zh4hcw7.068092288065243152.7027927747783721.604527296937416
BASE/bomberman2p/4CClwA7.137940164151442898.6666666666666125.9
BASE/speedChess/bPnisA7.357360725307869171.2552496500233323.276723276723278
BASE/gt_coordination/IVMOzA7.5786496995404735717.333333333333754.4
DRESDEN/gt_prisoner/huCp4w7.6815864024368644819.266666666666627.3790873637546
BASE/knightThrough/gcwFjA7.922162225503671534.182193926869167.4288380774615
DRESDEN/pancakes6/SZXMyQ8.73649233589652111437.2333333333341309.1333333333334
DRESDEN/pancakes/hl9aiQ8.92707065361206611245.1333333333331259.6666666666667
DRESDEN/pacman3p/rBnk8Q9.061353775624267619.912669577680768.41280949048618
DRESDEN/gt_chicken/CeuKtw9.2682431059014854559.666666666667491.96666666666664
BASE/gt_prisoner/klthDw9.3088127742564615091.3546.9333333333333
STANFORD/platformjumpers/HEQskA9.373252699855538238.85870470984325.48301132578281
BASE/amazons_10x10/Bun8dA9.465595286195285218.2333333333333223.05542617605962
BASE/amazonsSuicide_10x10/XIbQkg9.529693083573486220.2333333333333223.11022311022311
DRESDEN/Runners/3bOCQw9.58706693527792811262.5666666666681174.7666666666667
BASE/amazonsTorus_10x10/Uxc08g9.59365207296849128.3666666666666713.380375449340967
BASE/ruleDepthLinear/OUBJpQ9.67917985524485416003.2333333333341653.3666666666666
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw9.87135069325180496.517247125479099.777511723037016
BASE/checkers-cylinder-mustjump/rjr6qQ9.96490955970401997.630078997366759.797387363369769
BASE/gt_staghunt/xPjLRA10.156561254980085438.5535.4666666666667
BASE/checkers-mustjump/T-8UuQ10.211999829890727118.396053464884511.593816631130064
BASE/pacman3p/wW7UVQ10.277421705840455641.033333333333362.37297171225802
BASE/pacman2p/4LEdQg10.287672802743186633.166666666666661.5461512829057
BASE/gt_chicken/gmepTQ10.659340659340664623.666666666667433.76666666666665
BASE/checkers-mustjump-torus/uSApKQ10.9003030464939393.087588321557128.539908287366252
BASE/amazons/RKKZjw11.6805035577449360.85385878489326760.0731011964229148
DRESDEN/mummymaze2p-comp2007/oTQRQg11.7294370517928291177.4100.37992401519696
DRESDEN/blobwars/ZaMluQ11.852547400266774211.2859142723818317.826202852192456
BASE/blobwars/0XT15Q11.858131740691583207.545912075459117.502412404751606
BASE/mummyMaze2p_2007/YGA3Vw11.9355945505304321187.433333333333499.4867351019864
BASE/mummymaze2p/vpjDdA12.192062664773776552.781573947535145.33946298887334
DRESDEN/mummymaze2p/k-8edg12.358787692307692562.145.48180727708917
BASE/hanoi_6_disks/MeubgQ12.5434933890048733605.0287.4
DRESDEN/connect5/1kYzSg12.671770854271358251.9666666666666719.884092725819343
DRESDEN/battle/8oAvhQ12.71023562496468548.3854843546935953.8068125393094774
BASE/battle/8oAvhQ12.89008649423371748.030131324578363.7261294829995344
DRESDEN/hanoi_6_disks/MeubgQ13.0282631478074223776.3333333333335289.85700476650777
DRESDEN/gt_ultimatum/pAiiQw13.3461875079546894660.333333333333349.1883603879871
BASE/connect5/d-BVQg13.407398046398047243.9333333333333418.193935354881706
BASE/pancakes/yUgbXw13.5395898125577910738.7793.1333333333333
DRESDEN/fizzbuzz/t1xHzQ13.87502436362218811864.533333333333855.1
BASE/knightsTourLarge/M8jgLA13.9298813093980988354.4599.7466751108296
BASE/pancakes6/QZTdnw14.03711314266543711157.633333333333794.8666666666667
BASE/crossers3/O0rORg14.080153238546602693.166666666666649.23005132991134
BASE/gt_ultimatum/GE-uOA14.3340681236203094328.6301.97986800879943
DRESDEN/crossers3/xiPTxg14.63906318171532718.466666666666749.07873254922867
DRESDEN/ghostmaze2p/HY0UwA15.6232637731196052111.5333333333333135.1531513515315
BASE/amazonsSuicide/dE1QEQ15.8758699284141581.36090550004978920.08572163328285282
DRESDEN/twisty-passages/j7NPyg16.154073707259561065.133333333333465.93589658159526
BASE/ghostMaze2p/W-NU-w16.216052674368852105.0333333333333129.81169805032494
BASE/gt_attrition/kD_SCA17.2108695652173919.998686457375541.1619800139437602
STANFORD/knightstourbig/TQUI2g17.5276671408250348214.633333333333468.6666666666667
BASE/twisty-passages/DiZmmg18.3278601694915261153.433333333333462.93333333333333
DRESDEN/four_way_battle/xSOQXA20.089327378174787132.657822811812546.60339792938678
BASE/ruleDepthExponential/UamhHQ21.081599886568369.2538533395609530.43895403524173826
BASE/four_way_battle/xSOQXA22.224165537627783135.977337110481596.118445116882254
DRESDEN/hanoi7/51zz5Q24.728039293429924323.533333333334174.8433542194374
DRESDEN/hanoi7_bugfix/3gdnFw26.5182397895837424508.233333333334170.00499916680553
BASE/hanoi7_bugfix/3gdnFw28.6970401691331924524.566666666667157.66666666666666
DRESDEN/hitori/S8Gsyg33.88738239309843437.9966032834926251.121261088942387
BASE/hitori/S8Gsyg35.4421402316144839.858193625339611.1245989481692191
BASE/knightfight/SJRkAg35.78886770515171952.033333333333354.54303135308033
DRESDEN/quarto/OQzRYQ35.85775070603337930.325.944181709185372
DRESDEN/knightfight/4_Ly4w36.6010101010101041932.533333333333352.8
DRESDEN/quartosuicide/WIU1oQ39.09071689814815937.833333333333423.99120322548399
BASE/ad_game_2x2/D0aWqg39.899621086219517.9485474971747650.449842555105713
BASE/quarto/EwBMVQ41.060011883629194924.633333333333322.519071254871914
BASE/quartoSuicide/-23jUg43.39387233384853935.321.55373442601106
BASE/racer4/0vs7Ww44.28740002827696665.077830738975415.017314864144913
DRESDEN/battlebrushes/QHXV4A45.87126701748750420.104490443753720.43828068747456406
DRESDEN/othello-cornercontrol/r5Gdlg46.8802136908119567.0677240601254270.15076134479119555
DRESDEN/cylinder-checkers/clOO3Q52.35668898756007131.128962367921082.5045312242544076
DRESDEN/checkers-newgoals/IJOqXQ52.77470421596401143.47608731878022.718652609243419
BASE/cylinder-checkers/hlldmw52.817597653646175131.98240234635382.4988338775238224
BASE/gt_tinfoil/Q8DyKg55.810349060308556631.466666666666118.82145118821451
DRESDEN/checkers/jIDMIg60.201234066622696142.476253957673722.3666666666666667
BASE/wargame02/BkVqqQ61.03709925303765273.772622737726244.485347863645425
DRESDEN/kalaha_2009/gcC8uA71.753981845688361579.422.01132201132201
DRESDEN/chinesecheckers2/06E6-Q72.87681727642277795.566666666666710.916594555015642
BASE/solitaireChineseCheckers/-ET6gw73.483845987654321016.133333333333313.827982458948178
BASE/max_knights/2fq3Ag74.07692973856209502.33333333333336.78123857328059
BASE/kalaha_2009/dRiN3g74.099774157868271635.533333333333322.07204208003196
DRESDEN/max_knights/hCipiA75.7063470686767501.466666666666646.623839163865127
DRESDEN/racer/vk_ZBA82.36009579524681499.418.20541835851694
DRESDEN/checkers-cylinder-mustjump/vW_-pA84.1910017470949297.237495418041251.1549630411826821
BASE/racer/QQYQNw84.325049632352931527.566666666666618.115218115218116
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg86.2362388692773497.164373063210151.1267232237539766
DRESDEN/checkers-mustjump-torus/cVc3gA90.9334291692381892.427171521898541.016426768090757
DRESDEN/checkers-mustjump/HUr33w96.16311518824517116.817757632315691.2147875763346248
BASE/colonelBlottoVariant2/jruwGw104.270632484076434364.341.855505198613706
BASE/wargame01/_GZFZg109.78219803921569495.433333333333344.512874966817096
BASE/colonelBlottoVariant/X-n-KQ115.845848113207544909.942.38304678128748
BASE/wargame03/klXI8w122.16545737135223394.620179327355743.2302107962303106
DRESDEN/vacuumcleaner_random/_6AGDA157.046544854070672267.933333333333414.441153961334974
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A168.898288104089233027.917.92735754748417
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA178.439030468753043.533333333333317.056432806982478
DRESDEN/vacuum_cleaner_1/eUNjpw212.495352697095433410.016.047409774936742
BASE/colonelBlotto/jip21A219.153827741935521130.95.1603022938376
DRESDEN/vacuumcleaner_random_big/DwzFaQ240.6560687862428598.64693727921092.487562189054726
DRESDEN/Travelers-Dilemma/PvZwYw354.02510794066329010.73333333333425.45224372855382
BASE/pancakes88/l2Xaig355.25145606694568486.26666666666623.888055972013994
DRESDEN/farmers/S_ASnw419.5086133333334552.56666666666671.3171759747102212
DRESDEN/chinesecheckers4/-oVNYg447.20275714285714410.533333333333360.9180026884364447
DRESDEN/chinesecheckers3/QsCb2A954.1000260869565718.96666666666670.7535548129218269
BASE/crisscross/ICagEg13717.03125812.50.059232933511032135
DRESDEN/crisscross/GsY16g13763.02585820.76666666666670.05963562632316546
DRESDEN/crissrace/KWb9bw18564.737708743043607.24642511916270.03270966897814994
BASE/crissrace/ERWGDA18624.07413333333600.46666666666670.03224142378127418
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity209.779022097790230.0
BASE/merrills/pku8TgInfinity21.1902464987858040.0
DRESDEN/chinesecheckers6/yTbPDAInfinity537.50.0
DRESDEN/merrills/aYEzwAInfinity20.8929403153902450.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error messageREKKURA_BACKWARD_PROVER:1.0.0 error message
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest 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
BASE/sudoku/NTaNkwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionTest process timed out after 240 seconds

index