index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
BASE/quad/tw-Ufg0.0080861012828578541.4965579167913798185.07780999033622
DRESDEN/quad/JPe6fg0.0082900194256313331.5037593984962405181.39395353488217
DRESDEN/ggp-course2013_michal13/jWKddg0.0085811385262782993.963627885287946461.9
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0114028923368834550.441783923483024538.74314607479397
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.0127329959212285680.513953846944544440.36393713813069
BASE/quad_7x7/q-JOXg0.0127530664472582598.325349367339522652.8115729475684
DRESDEN/satlike_20v_91c/yeuENQ0.0130470792200835690.538256586914982341.254948930365636
DRESDEN/quad_7x7/q-JOXg0.0137100718535980688.971114981433407654.3448551714943
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.0160583445034158670.65904372755132341.040577215860196
BASE/queens31lg/0gID-A0.0196013117615055080.73282035908197637.386291693045884
BASE/factoringImpossibleTurtleBrain/kcBhdw0.022283253276403960.285388127853881312.807291839925485
BASE/battlebrushes/arCwyA0.066234573857848968.55608092894593129.17847025495752
BASE/sudokuGrade6H/ieE_9A0.0789874349873214714.614821226446502185.0271657611413
STANFORD/sudoku/oJ1qyQ0.0822388442971896415.29865637887455186.02713242891903
BASE/sudokuGrade6E/ihYFZA0.0826137484520507714.63089485085819177.1
BASE/sudokuGrade3/eI8dvg0.0826373022050773515.623438488956994189.06036465451152
BASE/sudokuGrade2/u80Tfw0.0830237431557227115.647889199627114188.47487001733103
BASE/sudokuGrade1/tDRNRw0.0842527317702593116.242843829050727192.78714752349845
BASE/sudokuGrade4/DTy07w0.0843066533265366115.867735604271315188.21451188214513
DRESDEN/small_dominion/yB5GJA0.084490482282945031.827079934747145121.624683459949352
BASE/sudokuGrade5/BQfUQA0.087168826668682616.16927837109492185.4938168727709
STANFORD/duidoku/3SoMaA0.0945159403045255915.296940611877625161.84508732169044
BASE/blokbox_simple/JBx4bg0.105788939242934230.75452716297786717.132382349020131
DRESDEN/grid_game2/kypTYQ0.12168717141244548203.959868004399851676.1
STANFORD/selectivesukoshi/3xmXYg0.125273964437031350.62152164494951404.08653044898506
STANFORD/multiplesukoshi/vLSQPg0.1284297180304475348.848755456332675380.3539882003933
DRESDEN/cubicup_3player/awDtsQ0.1545572256249492861.5271806152718398.0867304423186
BASE/cubicup_3player/e2yA_g0.1565718308821790763.24769235895898403.953201559948
BASE/slidingpieces/uFJWEw0.18273248281658122145.94234294284286798.6666666666666
DRESDEN/slidingpieces/s9_44g0.18612233863973535151.26162461251292812.7
DRESDEN/CephalopodMicro/H3XQfg0.2084577199285893917.49941668611046583.94707901489653
BASE/snake2p/I3wWPQ0.2130359891741676238.79204026532451120.9
BASE/othello-comp2007/86ZoMw0.214865462497386034.31120249386482720.064660200646603
BASE/conn4/va9Y7A0.22693405859488688294.9235025499151299.6
BASE/othelloSuicide/B442jg0.227239387891005124.45715806279936119.614372772986112
BASE/futoshiki6/JmvXNA0.22809886691863146125.9748050389922552.2815906136462
BASE/cephalopodMicro/9l2D3g0.2300309907027891817.69469159252224376.92307692307692
BASE/othelloHoles/c0qAzw0.23026541984448434.75169114007589520.635713097021135
BASE/blocksWorldParallel/RseaAQ0.2397321752059243421.95260157994731760.1
BASE/coins_atomic/AA3SSw0.24927971333801419343.21376.7666666666667
DRESDEN/golden_rectangle/1uloXw0.25602424805210283112.45916938870742439.25202493250225
BASE/golden_rectangle/_nYzfw0.2575019040365575112.7437.6666666666667
BASE/stateSpaceLarge/0Ge_CQ0.2590751184299572957.06666666666673694.1666666666665
DRESDEN/statespacelarge/8-y5HQ0.26183856917801873941.83333333333343597.0
BASE/coins/QnGtnQ0.27102735046063486369.175388307446161362.1333333333334
BASE/futoshiki5/TJ4BZg0.2741498709406984219.53007832027996800.7666666666667
STANFORD/triplesukoshi/Iu9mbA0.2746675214529505356.08813039565351296.4333333333334
BASE/nineBoardTicTacToePie/B8LzeQ0.276296651428353211.35772845430913764.9666666666667
DRESDEN/coins/QwFP9w0.28217401598753467366.85443818539381300.1
BASE/simultaneousWin2/PfjRjw0.28455896797852137289.71018.0666666666667
BASE/zhadu/DlA8iQ0.2883307448564199611.35644586538781739.386871042985675
BASE/withConviction/3Xm54A0.28982995774229603443.95186827105761531.7666666666667
BASE/queens16ug/gT-ylw0.3030274786254073584.13052898236725277.6333333333333
BASE/lightsOnSimul4/9FeASw0.30310488739742925321.75594146861771061.5333333333333
DRESDEN/lightsout2/LFtfyQ0.30429635976235303899.73333333333332956.766666666667
BASE/cubicup/4wNWJA0.30491670560747663139.2456.5181160627979
BASE/tictactoex9/BI26ow0.3090443207751131257.3832.5666666666667
DRESDEN/cubicup/SBn_lw0.30974253051932554140.94317613731045455.03333333333336
DRESDEN/tictactoex9/rFkD4w0.31432275332916254253.57464253574642806.7333333333333
DRESDEN/lightsout/XgLpzQ0.3178255554756597884.02781.4
BASE/futoshiki4/BaCwSw0.32340801183403717451.83333333333331397.1
BASE/lightsOnSimultaneous/_VN6lw0.32576985413290116402.01234.0
BASE/majorities/ibJzSQ0.3299183425435583133.31111481419762404.0730617958803
DRESDEN/quad_5x5/JAEP5g0.332668128444521670.19704433497537211.0122321101223
BASE/nineBoardTicTacToe/wRmqqA0.3352989430638856205.4264857838072612.6666666666666
BASE/quad_5x5/JAEP5g0.3384405514493893471.73333333333333211.95253649756683
STANFORD/nineboardtictactoe/y28P-A0.3432157185587022213.81195213811952622.9666666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw0.3518568442819689105.86666666666666300.8799413372442
STANFORD/duikoshi/tpw1sw0.35349573690621194483.71368.3333333333333
STANFORD/multipletictactoe/_bkafQ0.3554206919329535286.95710142995233807.3730875637478
BASE/factoringMediumTurtleBrain/8RBqmQ0.379139793496307521.58261391286951375.7
DRESDEN/blockerparallel/dVQgSg0.38744662404614264.8068526480685683.4666666666667
BASE/blockerParallel/7-nDJA0.3929797723710216256.26666666666665652.111596280124
BASE/lightsOut/5P1ZBw0.396596145635499897.93333333333332264.1
BASE/queens08lg/Ru7eqQ0.4108970971552177233.99220025999134569.4666666666667
BASE/ticTacHeaven/18n58A0.4149426519455462258.06666666666666621.9333333333333
BASE/reversi/d8UMeA0.4223771823981241615.52733076206942436.76176509798694
BASE/breakthroughSmallHoles/bxclRw0.43389523612595005477.617412752908251100.7666666666667
BASE/reversiSuicide/9OxJlg0.43618956840083115.96347397187229236.597560162655824
BASE/qyshinsu/R08Lzw0.4385310258340207692.27231830450864210.4122921041229
BASE/ticTacHeavenFC/mrletw0.4400516551238017251.47485251474853571.4666666666667
BASE/queens12ug/u6Bkmg0.44125461488796264217.17828217178283492.183593880204
BASE/wallmaze/uxNQ9g0.4460679385760819319.53333333333336716.3333333333334
DRESDEN/mimikry/GJEhwA0.45806496897126764372.3333333333333812.8395720142662
DRESDEN/connect4/T0-rHQ0.47203724438682304267.0565.6333333333333
BASE/connect4/50bOyw0.48844855192407866268.9397726893977550.6
DRESDEN/quad_5x5_8_2/JRTLJg0.4918026715846934110.655601106556225.0
BASE/stateSpaceMedium/3bUoIw0.494019795291832762730.2333333333335526.566666666667
BASE/3pConnectFour/PqXOFQ0.4971052631578948377.8760.0
BASE/tictactoe_3d_small_2player/oOryKA0.501759362280385400.2199926669111797.6333333333333
DRESDEN/catcha_mouse/cHv4dw0.5044554867723399605.73333333333331200.7666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.507226323967994311.6229459018033614.3666666666667
DRESDEN/statespacemedium/dVJZ_w0.51202241849525852728.53333333333335328.933333333333
BASE/tictactoe_3d_small_6player/g_9lww0.5155317951603826305.3666666666667592.3333333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg0.5230407580373874414.0390640623958791.6
STANFORD/breakthrough/d5j0cQ0.5250944551030973472.91756941435284900.6333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.527375806552653561.23333333333331064.2
STANFORD/sukoshi/4LYZZQ0.52845335860181091338.46666666666672532.8
DRESDEN/tictactoelargesuicide/6J4DeA0.53338209528993521045.23333333333331959.6333333333334
BASE/ticTacToeNoVars/XT03NA0.53579742960104591120.06666666666662090.4666666666667
BASE/hidato19/rRHSmA0.536326347137158318.15606146461784593.213559548015
BASE/catcha_mouse/cHv4dw0.5373913474461631619.37935402153271152.5666666666666
DRESDEN/pawn_whopping/4ogBkg0.5467187207748326598.14672844238521094.0666666666666
BASE/brain_teaser_extended/ZDp94A0.55008945458263051793.56666666666663260.5
DRESDEN/sum15/CsgWKg0.55186732879812642804.16666666666655081.233333333334
BASE/sum15/QZ07Kg0.5559389022226862841.3666666666675110.933333333333
DRESDEN/tictactoelarge/IwXcbg0.56245409073419851072.01905.9333333333334
DRESDEN/brain_teaser_extended/ZDp94A0.56818158262942431827.36666666666663216.1666666666665
DRESDEN/peg/Vo31eg0.5698837887557769423.3666666666667742.9
DRESDEN/peg_bugfixed/u_B7MA0.5719538204337705430.3189893670211752.3666666666667
BASE/doubletictactoe/HH1htg0.57501840326574321145.66666666666671992.4
DRESDEN/blocker/S815zQ0.5781572560096052231.16666666666653859.1
DRESDEN/bunk_t/7-tPfA0.5884772965834831158.63333333333341968.8666666666666
BASE/doubletoetictac/fu35bg0.58868049850553221122.63333333333341907.0333333333333
DRESDEN/doubletictactoe/lJzgmQ0.59058606997392591155.16666666666671955.9666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.5941023358422008457.8770.5743141895271
BASE/connectFourSimultaneous/7ITr3g0.5941229845745795283.7238758708043477.5507483083897
BASE/bunk_t/xbpfIA0.59561846281937861144.61921.7
STANFORD/dualhunter/1rPZjQ0.6088330788913497943.83333333333341550.2333333333333
DRESDEN/tictactoe_3player/ESLQQQ0.6113768718801996587.9961.6
DRESDEN/pentago_2008/hLjVpQ0.6131057899902099239.45868471050966390.56666666666666
BASE/tpeg/QNs7Lw0.6152047319913797447.23333333333335726.9666666666667
DRESDEN/doubletoetictac/V89gKQ0.61592289654917751111.96666666666671805.3666666666666
BASE/ticTacToeLarge/TZC0dg0.62622005764834511050.06666666666661676.8333333333333
DRESDEN/tpeg/h-Scbg0.6266825922722273463.3691087260849739.4
DRESDEN/blocksworldparallel/2JfVaw0.63261728995278981648.22605.366666666667
DRESDEN/tictactoe_orthogonal/y69QFQ0.64193389390361422908.66666666666654531.1
BASE/ticTacToeLargeSuicide/727_8g0.6469777714737291064.31645.0333333333333
BASE/tictactoe_orthogonal/WRzlVw0.64822756917434442922.16666666666654507.933333333333
BASE/numbertictactoe/rvJ-iQ0.64959659886951051344.62069.9
BASE/snakeAssemblit/UO4sdg0.6553551806605908337.9554014866171515.6828105729809
DRESDEN/backgammon/mqCW0Q0.6574105639777735202.9729369417411308.74608359442703
BASE/factoringGeorgeForman/HGRorQ0.66332401884037873347.06666666666665045.9
DRESDEN/battlesnakes2011/93VtTw0.6671661962817098483.05056498116727724.0333333333333
BASE/hallway/ckCJOw0.6706513265248185181.06378724255148269.98200119992
BASE/dotsAndBoxesSuicide/jzQbLw0.6714199029126213516.3666666666667769.0666666666667
DRESDEN/hallway/0H4l-Q0.671576852816021182.20903879482736271.31524565028997
BASE/dotsAndBoxes/EHwA_w0.6721660161914819530.4333333333333789.1403619879337
DRESDEN/chickentictactoe/Ipbo-g0.68152371655499842047.93333333333343004.9333333333334
DRESDEN/towerworld/HCX34w0.682306176389501822.2533146778599532.61485158410234
BASE/tictactoe_3player/GtM71g0.6833515539590816583.4853.7333333333333
BASE/lightsOnParallel/SC6enA0.68478166399721881838.43333333333342684.7
DRESDEN/stratego/Z2wovg0.6920606355654335467.4021731884541675.3774874170861
DRESDEN/eotcatcit/mQUxzA0.69833071484681852370.63394.6666666666665
DRESDEN/tictactoeparallel/yk_DSg0.7042640637040842913.91297.6666666666667
DRESDEN/javastrike/whONTQ0.7095594765774379197.9278.9054427890544
BASE/eotcitcit/V_9_bg0.70998841007270041796.93333333333342530.9333333333334
DRESDEN/battlesnakes1509/-qZrLw0.7115828334102445514.0722.3333333333334
DRESDEN/tictactoe/BTTzPw0.71879690511005472474.2666666666673442.233333333333
BASE/chomp/-LcqYQ0.71997641003645731342.91865.2
BASE/eotcatcit/AfZSzA0.72021133093525172349.2333333333333261.866666666667
DRESDEN/2player_normal_form_2010/NG_Kdg0.72344483228923464172.7333333333345767.866666666667
DRESDEN/chomp/-LcqYQ0.73022785176083691347.11844.7666666666667
BASE/blocker/dIWtxg0.73990111221471522259.6333333333333053.9666666666667
BASE/pawnWhopping/Ypc_6Q0.7437835883946269578.6140461984601777.9333333333333
BASE/mineClearingSmall/frsbvw0.7533889257904335192.22692576914102255.14965668955404
DRESDEN/tictictoe/LAUtwg0.75892682107149861806.62380.4666666666667
BASE/copolymer_4_pie/IN5_jA0.7707869765446752777.10742975234151008.2
BASE/copolymer_4/2LDVhQ0.7753765152442758844.33333333333341088.9333333333334
BASE/chickentictactoe/DSlZCA0.78660993050659682082.7333333333332647.733333333333
DRESDEN/latenttictactoe/kITHKg0.78778450957917151443.31832.1
BASE/tictactoe-init1/7M19vA0.79495954490855112338.42941.5333333333333
DRESDEN/amazons/dNB28A0.80012470573264629.69396195202646812.115563839701771
BASE/racetrackcorridor/_RkdUg0.8017198844012124758.2666666666667945.8
DRESDEN/tictactoe-init1/3ltIBQ0.80394909951244322423.93333333333343015.0333333333333
DRESDEN/racetrackcorridor/O0DoTA0.8125728027655658720.8333333333334887.1
BASE/chickentoetictac/l57rfQ0.81546158122033613178.53333333333333897.8333333333335
STANFORD/tictactoe/ss1kyQ0.81565026565026572353.96666666666672886.0
BASE/tictactoe2/bhrDoQ0.82086425731758132429.56666666666662959.766666666667
STANFORD/tictictoe/rpt_Dw0.82152639535405851829.56666666666662227.0333333333333
STANFORD/trifecta/ss1kyQ0.82303723489258732403.43333333333342920.2
BASE/factoringEasyTurtleBrain/lUj94Q0.82629003832834212234.8666666666672704.7
DRESDEN/sheep_and_wolf/enAIzQ0.8295908136764995514.6333333333333620.3459884670511
DRESDEN/chickentoetictac/cxYaRQ0.83067776864035093232.33333333333353891.2
BASE/duplicateStateLarge/dcjyuw0.8367470601396098623.3744.9085030498983
BASE/ticTicToe/c1OobQ0.83694079251208461812.22165.266666666667
BASE/tictactoe_3d_6player/d7KSwg0.8411892320615414118.77624475104979141.2003865764655
STANFORD/tictactoe7/-bE9-A0.84194219707244082400.43333333333342851.0666666666666
BASE/queens08ug/kJ_ZFQ0.8532994923857868784.4666666666667919.3333333333334
BASE/ticTacToe/JRFsaQ0.85353215498877312470.83333333333352894.8333333333335
DRESDEN/tictactoe_3d_2player/LMuX9w0.8681746224948392127.23697803845769146.55689620691953
DRESDEN/tictactoe_3d_6player/ulZPWg0.8740901133128336112.46251249583472128.66237792073596
BASE/tictactoe_3d_2player/IUC1rQ0.8775901276108127122.72515165655624139.8433594400933
BASE/toetictac/mTThmg0.88381685487091974056.8666666666674590.166666666667
BASE/ticTacToeSerial/Amrwqw0.8857868778956807987.81115.1666666666667
BASE/snake_2009_big/-oRfVw0.8882554156407347343.2218926035799386.4
BASE/ticTacToeParallel/ymRGPw0.8958239928264908932.43333333333331040.8666666666666
DRESDEN/toetictac/mJtxCA0.90015471892728224072.64524.333333333333
STANFORD/tictactoe3/X7myng0.90374213793198372188.83333333333352421.9666666666667
BASE/duplicateStateMedium/U163eQ0.90565495666608141891.42088.4333333333334
STANFORD/tictactoe5/WFRReg0.90910374029640072361.72597.8333333333335
BASE/snakeParallel/RCVNtw0.91149294792676852062.1312622912572262.366666666667
DRESDEN/snake_2009_big/DgC1NQ0.9125369500956356349.8666666666667383.4
DRESDEN/blocks/vg0DRw0.91425767872496496273.6666666666676862.033333333334
BASE/blocks/xIV5hQ0.93097333060500656369.5333333333346841.8
BASE/blocksWorld/SEdXLQ0.9341437188691896457.7666666666666913.033333333334
BASE/incredible/8Qh-6Q0.93795560651978052290.32441.8
DRESDEN/ggp-course2013_nicolai/uEin8g0.939654121396494372.0666666666666676.69488700753283
STANFORD/jointbuttonsandlights/qAKuIQ0.948720925732424085.66666666666654306.5
BASE/snake_2009/7l-qAQ0.9509527170077628449.15169494350187472.3175894136862
BASE/crisscross/ICagEg0.9524460768990309812.5853.0666666666667
BASE/blocksWorldSerial/Wyg96Q0.95697677013366662859.02987.5333333333333
DRESDEN/snake_2009/zIYLVw0.9652069260180791446.536897540164462.6333333333333
STANFORD/hunter/14dD-g0.98474480038250062196.92230.9333333333334
BASE/lightsOn/MsXu3A0.98639499030484115171.8333333333335243.166666666667
BASE/strangeSkirmish/gc1zKA0.991521153846153825.76666666666666625.987006496751626
BASE/double_tictactoe_dengji/zgaSbA1.00058561425843421309.93333333333341309.1666666666667
DRESDEN/connectfoursuicide/M9CNQg1.0024159171949736672.9218052129858671.3
DRESDEN/crisscross/GsY16g1.0120011507952817820.7666666666667811.0333333333333
BASE/ticblock/T21C1g1.0136140573056831494.03333333333331473.9666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ1.0140214415474761321.03333333333331302.7666666666667
BASE/stateSpaceSmall/Q7osKA1.0165020909007668880.4333333333328736.266666666666
DRESDEN/capture_the_king/EQ229Q1.02699218619839447.0827363300123345.845272206303726
DRESDEN/ticblock/Z2yNWQ1.02874123811900291511.66666666666671469.4333333333334
DRESDEN/3pttc/uwYBZw1.038016906723326866.5711142961901834.8333333333334
DRESDEN/statespacesmall/h-NqjA1.04284806251730428914.38548.033333333333
BASE/connectFourSuicide/c8p9Kw1.0428599096884614636.3666666666667610.2129929002367
DRESDEN/connectfour/5tc-Mg1.0432232972131568659.1780273990867631.8666666666667
BASE/duplicateStateSmall/bCPAXw1.04423999867147176288.16021.7
DRESDEN/SC_TestOnly_enabled/09o7gQ1.04439115962833842206.83333333333352113.0333333333333
BASE/blockerSerial/3eqDuw1.0452449467808481004.9333333333333961.4333333333333
DRESDEN/cube_2x2x2/fp-34Q1.04818658450894531292.83333333333331233.4
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1.0561822824262297209.77902209779023198.62009199386708
BASE/circlesolitaire/azuQFQ1.0595034455793954335.74092.2
BASE/escortLatch/mX9BjQ1.0615542636563995478.58404719842673450.8333333333333
BASE/skirmishHoles/AUCxCA1.062209079109521133.0977934804346431.159396140900455
DRESDEN/circlesolitaire/ruUilQ1.06529408409851974358.3666666666674091.233333333333
BASE/pentagoSuicide/SBgNhw1.0784142253315843246.63333333333333228.7
BASE/connectFour/WAIKTw1.0840652251841412670.1329867013299618.1666666666666
DRESDEN/troublemaker01/C-lPWw1.088068030669370212270.43333333333211277.266666666666
BASE/pentago/86NgKw1.124102529477959255.26666666666668227.08486100926604
BASE/pegEuro/5awwhg1.1243301178992497349.6550114996167310.9896336788774
BASE/troublemaker02/DI83KA1.131511608293227510509.3666666666679287.9
DRESDEN/3pffa/0YrmQw1.1425726802070888956.3333333333334837.0
BASE/blocks2player/wnTLOQ1.1460904325312435371.04686.366666666667
BASE/hodgepodge/9yjRkw1.16048529041991463692.23181.6
DRESDEN/blocks2player/3ev8nQ1.16441528367425725430.64663.8
STANFORD/connectfour/VMpZkQ1.1703119920248637665.2568.3954403039797
BASE/troublemaker01/s3tlEQ1.185814385122757813076.13333333333311027.133333333333
BASE/connectFour_9x6/B9TtMw1.1864739355091896604.6666666666666509.6333333333333
DRESDEN/lightson2x2/gBHuig1.19913096695226433265.6333333333332723.3333333333335
BASE/hidato37/pBrqxw1.212642749079511576.6590007665900163.21647560650493
BASE/skirmish/Y_psYQ1.224894294721954328.94447590180861223.63018264231436
DRESDEN/logistics/fPru1Q1.25896023541839571112.3333333333333883.5333333333333
BASE/tron_10x10/7ZTgDg1.26470588235294111603.91268.2
DRESDEN/grid_game/U7_Yeg1.2729453160061661724.8333333333334569.4143528549048
DRESDEN/troublemaker02/iZLVuA1.27975066314891311948.7333333333349336.766666666666
BASE/coloredtrails/EZvr7g1.28449511261309432001.81558.4333333333334
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.2875787323384216756.3666666666667587.4333333333333
BASE/hexPie/48CH6Q1.3027499357491648168.95540297313514129.69135390973935
BASE/god/qF06gw1.304488141651684350.3414959187073238.59099543439864
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.3074140466504225642.811906269791491.6666666666667
DRESDEN/buttons/ADUaHw1.313296633669884110640.0666666666688101.8
BASE/queens06ug/7Lq3tw1.31607497869923321544.63333333333341173.6666666666667
STANFORD/hex/MTqWcw1.320346834414682171.16096130128994129.63333333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.33124440465532672577.46666666666671936.1333333333334
BASE/peg/fJHVWw1.3327731092436974422.9192360254658317.3227559081364
DRESDEN/Zhadu/9zpQ5w1.336852549335088754.77261369315342440.971320075946835
BASE/hex/T1MK8g1.3389306249222546171.46095130162328128.05812945803612
BASE/switches/tPUoCg1.3485593815881948315.6666666666666166.333333333333
BASE/dualConnect4/WbCQkg1.3701829694921688478.9840338655378349.57669488700753
BASE/buttons/hTcUjw1.371592649310872810747.87836.0
DRESDEN/god/2EDD5w1.371730810175844850.3781694599007136.72598813570619
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.3892321216353811726.4757841405286522.9333333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g1.39081048162890645252.7666666666663776.766666666667
STANFORD/bestbuttonsandlights/nm0wEA1.39254638212647346860.3333333333334926.466666666666
BASE/pearls/6k_mEQ1.397586344088058712294.88797.166666666666
BASE/haystack/UkweGA1.40201731260870218755.53333333333313377.533333333333
DRESDEN/firefighter/WJmoPw1.40855459004736463895.7333333333332765.766666666667
DRESDEN/sat_test_20v_91c/dK7nVw1.4119129278364946672.3775874137528476.2174594180194
DRESDEN/8puzzle/8fKC2w1.41476145285135013279.72318.2
BASE/onestep/xi53wA1.417945124155816321177.76666666666614935.533333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.4214847283100256681.0333333333333479.1
BASE/skirmishFinal2/gdB62Q1.426681031997801842.31358699273672429.65875766462277
DRESDEN/Goldrush/VeWczQ1.431039783557769775.740808639712542.0819306023133
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.4335073686694815710.8763041231958495.9
DRESDEN/brawl/2kXtfQ1.443182278481012757.039.496050394960506
BASE/snake_2008_tweaked/bX0NJQ1.4675690832259487490.21699276690777334.03333333333336
BASE/brawl/6Ymo_Q1.471529591692085957.84545666588917439.309747484842426
BASE/firefighter/WJmoPw1.491170534813323940.66666666666652642.6666666666665
BASE/connectFourLarge/aU644A1.4913559675067694477.31742275257494320.0559981333956
DRESDEN/snake_2008/E56l3A1.4955562607504453493.65021165961133330.07799480034663
BASE/skirmishFinal3/-Olhfw1.498901966636721647.6238085716190131.772463864650636
DRESDEN/bidding-tictactoe/yW5vTA1.49911027505211261965.73333333333331311.2666666666667
BASE/snake_2008/i6K26g1.5124962360734717502.28325722475915332.0889303689877
BASE/2pffa_zerosum/o0_uZA1.5180818192691825846.1557.3480883970534
BASE/survival/YVIjJA1.522673659173766415620.510258.6
DRESDEN/skirmishfinal/hzq8ww1.52805212979137643.48115816479525428.45528455284553
STANFORD/pentago/ZxzLmg1.5331945241470368367.5088327444837239.70137315024664
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.5441452304394425768.3666666666667497.6
BASE/4pffa/Q3ADlg1.5505090844217904723.1092296923435466.36890873941735
BASE/breakthroughSuicideSmall/XSbJog1.5555861057648246565.7666666666667363.7
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.565926438706159649.9116696110129415.03333333333336
BASE/roshambo2/KNPokQ1.56750263087826968242.0333333333335258.066666666667
BASE/skirmishFinal1/ecWTnQ1.568720245614582641.2848622171870326.317542807648746
STANFORD/multiplebuttonsandlights_9/SqB9BA1.5766306135479758148.55168.3
DRESDEN/roshambo2/jgSlkQ1.58516928407336278418.25310.6
BASE/2pffa/6oHijA1.6025674798147933930.6333333333333580.7139762007934
BASE/breakthroughSmall/HJ0tIA1.6061702532850886562.2479250691644350.0549981667278
STANFORD/multiplebuttonsandlights/cK70Yg1.61283302211819158176.6333333333335069.733333333334
DRESDEN/chinesecheckers1/Y-ftaA1.61720781742619661003.0666666666667620.2459918002734
BASE/aipsrovers01/4C4jsw1.62224813698162571901.16666666666671171.9333333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.6225004064379778665.3333333333334410.06666666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.6381891844283953620.0378.46666666666664
STANFORD/pilgrimage/ObRZnQ1.6401823842448853397.3068462102527242.23333333333332
STANFORD/threepuzzle/41ibjA1.64764662465224575804.03522.6
BASE/3pffa/pR0dzA1.6504255753478094846.2512.7162427919069
BASE/biddingTicTacToe/8mESVw1.6514240550992181950.16666666666671180.9
DRESDEN/aipsrovers01/qS47Mw1.70756755157003771923.23333333333331126.3
STANFORD/freeforall/Lfp40Q1.741195669411406824.6333333333333473.6017598826745
BASE/gt_dollar/TGjqRw1.75482319038780894790.4333333333332729.866666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.76848870354729714466.9666666666662525.866666666667
BASE/englishDraughts/jFkQxg1.7738547355091625455.3181560614646256.6828878074795
DRESDEN/Thief_Police/CX18rA1.77692047834605774383.3666666666672466.8333333333335
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.7782662694588043676.4666666666667380.40797280181323
DRESDEN/CatchMeIfYouCanTest/CX18rA1.78207578694112124444.22493.8333333333335
STANFORD/3puzzle/41ibjA1.78625025547196616117.9666666666663425.0333333333333
BASE/cittaceot/fDxhXg1.7894969152934754517.249425019166289.04739684021064
STANFORD/alquerquezero/uVgA_A1.7919089729571436519.1160294656845289.7
DRESDEN/catch_me/ghGWrA1.79820984058047784526.9333333333332517.4666666666667
DRESDEN/crissrace/KWb9bw1.7987157142155292607.2464251191627337.6
DRESDEN/chinesecheckers4/-oVNYg1.7988039335962223410.53333333333336228.2257258091397
BASE/crissrace/ERWGDA1.8038049931577718600.4666666666667332.8889037032099
BASE/rubiksCube/9tNO9Q1.822206403310114390.6203126562448214.36666666666667
STANFORD/eightpuzzle/W_aWbA1.82846797073316443265.41785.8666666666666
STANFORD/8puzzle/jNiGtw1.85646048620920383329.51793.4666666666667
BASE/maze/cCX3qQ1.865926171529619811255.2666666666666032.0
STANFORD/untwistycomplex/HTWEwg1.87607374695891825423.6666666666672890.9666666666667
DRESDEN/chinesecheckers3/QsCb2A1.8985757386380306718.9666666666667378.68737708743043
BASE/eightPuzzle/vLrgFg1.91443517014767523379.2333333333331765.1333333333334
DRESDEN/knightwar/7hhAqg1.91658284887155861081.3564.1811939602013
STANFORD/untwistycorridor/EDPPAQ2.03642755433620413014.3333333333346390.766666666666
DRESDEN/oisters_farm/pTQMLg2.06493491345122055901.0333333333342857.733333333333
BASE/untwistycomplex2/EDPPAQ2.098206478744222713438.0333333333336404.533333333334
DRESDEN/point_grab/r5DPmQ2.10431978618946629658.2666666666664589.733333333334
DRESDEN/frogs_and_toads/GjchhQ2.1362140953280147476.684110529649223.14435223144352
DRESDEN/knightmove/97Ipcw2.202250023565453830.6333333333333377.17485500966603
BASE/knightmove/jBaJEw2.2041097409909907826.3666666666667374.9208359721343
STANFORD/buttonsandlights/eyhJpA2.218839887383495621830.59838.7
DRESDEN/smallest/9kaGFw2.24634353233830851324.4589.580347321756
BASE/beatMania/qUHwvQ2.24937941233428964258.91893.3666666666666
BASE/connectFourLarger/qKi60A2.3159185684841668274.46666666666664118.51309040037306
DRESDEN/4pttc/9pB9AQ2.3472500556668896702.7666666666667299.4
DRESDEN/chinesecheckers2/06E6-Q2.479513356188102795.5666666666667320.85597146761774
DRESDEN/breakthroughsuicide/Y9QzqQ2.780148645408775386.53333333333336139.03333333333333
DRESDEN/breakthrough/z4hK7Q2.7869416750844533372.08759708009734133.51108148641893
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2.79138852456083831733.7666666666667621.1126295790141
BASE/smallest_4player/ADDROA2.80188897634149742017.2666666666667719.9666666666667
BASE/breakthroughSuicide/wZDpIg2.8151037722895187371.8752083194454132.1
BASE/chineseCheckers4/avfBcQ2.835043557107457838.9295.9037429590374
BASE/chineseCheckers1/gqtwHw2.83705379473553082277.7802.8399053364888
BASE/point_grab/V_osUg2.8765126676602099650.73355.0
BASE/shmup/ssTNlg2.8842691367018781847.5666666666666640.5666666666667
DRESDEN/breakthroughsuicide_v2/LU1nAw2.8872987477638636376.58744708509715130.42898570047666
BASE/breakthrough/TGxk-g2.8886314915010303371.48761707943066128.6033258906255
DRESDEN/babel/WdSW4A2.890831534820825237.4666666666666782.14476139696082
DRESDEN/smallest_4player/ADDROA2.91568009904197732099.9720.2093263557881
BASE/breakthroughHoles/nZk0Sg2.9349587967730857379.96666666666664129.46235125495818
DRESDEN/hanoi/RQ0jiA2.952349556461284925.71668.4
BASE/biddingTicTacToe_10coins/a-9ccQ2.9878449219425081728.8666666666666578.6333333333333
BASE/nim3/1OwUqw3.0347832230412364295.5333333333341415.4333333333334
BASE/hanoi/iGLsJg3.04466327434539874926.3666666666671618.0333333333333
DRESDEN/nim3/sG_axA3.05828978622327834291.81403.3333333333333
BASE/nim4/twk16w3.07909658817876064271.7333333333341387.3333333333333
BASE/checkersTiny/Lr48cg3.093037875705333407.3530882303923131.7
BASE/breakthroughWalls/vOZaYA3.1025568916395634384.4205193160228123.90442230146299
DRESDEN/nim4/F5YAYg3.1264172335600914228.1666666666671352.4
DRESDEN/chinesecheckers6/yTbPDA3.129662332621774537.5171.74376749766697
BASE/checkLines/Vop7oQ3.15764042681699181045.6331.1333333333333
BASE/choicethroughalt/tt71Lg3.2406340761272707306.502683065026894.58108378324336
BASE/checkersSmall/SYmq8w3.2665058757902563292.789.60645139791396
BASE/ttcc4_2player_small/Cv72TA3.292765174739424716.0666666666667217.46666666666667
DRESDEN/skirmish3/3LU8Nw3.3113318371367835198.6534231051263459.992001066524466
DRESDEN/knightazons/02I8BQ3.3634137931034482162.548.31400773024124
BASE/knightazons/apnJBQ3.3666895133653183163.7333333333333248.63333333333333
BASE/chineseCheckers2/eCMR3Q3.4667022910961191730.0499.03333333333336
BASE/asteroidsSerial/id2QkA3.5271782931852782625.866666666667744.4666666666667
STANFORD/skirmish/w4V6Vw3.562671685806898329.087395461966488.164489469474807
BASE/kitten_escapes_from_fire/uW-YiA3.617940608701742296.8333333333335634.8455051498283
BASE/checkers/rOC3Xg3.625166859300425220.925969134362260.94228975076636
DRESDEN/kitten_escapes_from_fire/uW-YiA3.64203715299519942326.5333333333333638.8
BASE/asteroidsParallel/WauZiA3.68959876402962642706.5666666666666733.5666666666667
BASE/endgame/jYjfOA3.725875269811902268.4666666666666472.05465755707382
BASE/gt_centipede/9fRMpw3.7622877719631837452.9666666666661980.9666666666667
BASE/chineseCheckers6/rREH3A3.7666758544652703911.0029665677811241.85860471317622
STANFORD/madness/UO_B3A3.7849338797411328.840710027641797.61987156024357
BASE/kalaha5x2x3/WviNsw3.80717198540853551658.1666666666667435.5376308246117
BASE/pawnToQueen/-O1_JA3.81170802864870318.889925373134334.955763985897692
STANFORD/chinook/osFbPA3.874052717177894344.288523715876188.87037654115295
DRESDEN/knightstour/cGISAA3.903656209449668523.6333333333332183.5
BASE/chinook/XQh0IQ3.947336975179773378.0666666666666695.77765188122771
DRESDEN/nim2/z5_exA3.97547748172600775620.01413.6666666666667
BASE/sheepAndWolf/g4THrg3.9762405636638145526.6666666666666132.45342132453422
BASE/nim1/hin2Qw3.983992885726995674.6666666666671424.3666666666666
BASE/minichess/8NQEiA3.997174721189591896.0333333333333224.16666666666666
BASE/nim2/eF2Qqw4.0110342901040575743.41431.9
DRESDEN/pawntoqueen/f_x6Aw4.04886474340122119.489605543710024.813597583242041
BASE/2pttc/unkkYA4.059702153316107837.8666666666667206.38624091727218
BASE/chineseCheckers3/-1rZdQ4.09086977086592451481.8362.22125929135694
DRESDEN/minichess/c7GMFw4.156825474344168839.7333333333333202.0131320201313
BASE/chess_200/XsTpYA4.38285998324749353.76308246116925512.266666666666667
DRESDEN/nim1/M9BALA4.4019948581222626163.9666666666661400.2666666666667
DRESDEN/knightthrough/J7Fc_Q4.459280730246286555.348155061498124.53760789149199
BASE/guess/SPpk1A4.4891247047380851076.8333333333333239.8760123987601
DRESDEN/skirmish/RjGQYQ4.491453442174808196.6470019664700143.78248700519792
BASE/ttcc4/Le0qjQ4.491813196622259423.885870470984394.36854381872709
BASE/asteroids/BKCmPQ4.5824307741556855725.91249.5333333333333
BASE/ttcc4_2player/_aH_Mw4.5856795748113885428.9380707952803493.53860508514113
DRESDEN/skirmish2/iPpWhQ4.6344306315527914211.112222111122245.55300076643674
BASE/tttcc4/8Bs2lg4.642831215970961426.3524549181693791.83027232425586
STANFORD/checkersonabarrelnokings/Zrevdw4.653696791667228400.8866371120962586.14369501466275
DRESDEN/guess/PhxGhg4.6567337949575511100.659956002933236.35878804039865
DRESDEN/tttcc4/sAvtFg4.714967911176184429.2333333333333591.03632122625791
STANFORD/knightstourmedium/x1wu8Q4.8344475173537978798.5333333333331819.9666666666667
STANFORD/ttcc4/Cx9SGw5.038142248438682468.117729409019792.91475038325669
BASE/checkersBarrelNoKings/rnKNeg5.192061910126424460.866666666666788.76370787640413
BASE/checkersTorusNoKings/pwb6oQ5.223693298934217435.9897343598973483.4638845371821
BASE/knightsTour/mvtVIg5.3445287107258948221.6666666666661538.3333333333333
BASE/3pttc/0sol9g5.4281654603780005748.6750441651945137.92413839077395
BASE/checkers-newgoals/0XkFiA5.492146766463284143.1285623812539726.060585863298563
BASE/ttcc4_2player_alt/ZEJvYA5.630867155963303511.390.80306564478506
STANFORD/knightstour/cEwgNA5.7086288155750358640.21513.5333333333333
BASE/amazons_8x8/7SOsIw5.897145126915563295.437122954371250.09833005566481
BASE/checkersTorus/2vm1EQ5.8989726703695196376.2415838944070363.78086574027792
DRESDEN/endgame/IJhh3Q6.109986482531956230.6692441007865637.75282396454633
BASE/knightwar/DVGY4Q6.3747055632731361070.6666666666667167.95546963535764
BASE/skirmishNew/sibw2g6.391751614318149151.9565362309179523.77384876635701
BASE/kalaha6x2x4/XS81Mg6.44025223068552851578.1333333333334245.0421624504216
BASE/4pttc/AL1k2Q6.60882118796298626.212459584680594.75403279562725
BASE/bomberman2p/4CClwA7.121684099313259898.6666666666666126.18738126187381
DRESDEN/bomberman2p/x4h6jQ7.217139604989605925.5333333333333128.24101846297407
DRESDEN/pancakes88/aD3E7g7.2790986662248378786.61207.1
BASE/skirmishZeroSum/zh4hcw7.36999652588239152.7027927747783720.71952031978681
BASE/speedChess/bPnisA7.379700750700791171.2552496500233323.206259364075244
DRESDEN/gt_prisoner/huCp4w7.4754572807335024819.266666666666644.6785107163095
BASE/gt_coordination/IVMOzA7.6021629288183665717.333333333333752.0666666666667
BASE/knightThrough/gcwFjA8.178438405794637534.182193926869165.31591575579846
DRESDEN/pancakes/hl9aiQ8.5341259802681511245.1333333333331317.6666666666667
DRESDEN/pancakes6/SZXMyQ9.10034311718162811437.2333333333341256.791440285324
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw9.30741799443682596.5172471254790910.369927211087845
STANFORD/platformjumpers/HEQskA9.332595250297212238.85870470984325.594028060119307
DRESDEN/Runners/3bOCQw9.4034955887673611262.5666666666681197.7
DRESDEN/pacman3p/rBnk8Q9.562591169840182619.912669577680764.8268506482685
DRESDEN/gt_chicken/CeuKtw9.5781094851328034559.666666666667476.0507983067231
BASE/ruleDepthLinear/OUBJpQ9.62368953835668616003.2333333333341662.9
BASE/checkers-cylinder-mustjump/rjr6qQ9.87082832367989597.630078997366759.89076861595844
BASE/gt_prisoner/klthDw9.9484791246010565091.3511.76666666666665
BASE/amazonsTorus_10x10/Uxc08g10.04335451388889128.3666666666666712.781254160564506
BASE/amazonsSuicide_10x10/XIbQkg10.122638999489535220.2333333333333221.75651362697408
BASE/checkers-mustjump/T-8UuQ10.128765508386188118.396053464884511.689090182496336
BASE/pacman3p/wW7UVQ10.177845643738976641.033333333333362.98320447880565
BASE/gt_staghunt/xPjLRA10.1879761785825795438.5533.8155394820172
BASE/amazons/RKKZjw10.190235358511220.85385878489326760.0837918610172332
BASE/amazons_10x10/Bun8dA10.274411650992686218.2333333333333221.24047008689283
BASE/pacman2p/4LEdQg10.59609537088678633.166666666666659.75471572352196
BASE/checkers-mustjump-torus/uSApKQ10.61022204615142393.087588321557128.773387391578877
BASE/gt_chicken/gmepTQ10.8155945419103334623.666666666667427.5
BASE/blobwars/0XT15Q11.420346854203467207.545912075459118.173345759552657
DRESDEN/blobwars/ZaMluQ11.456349420267289211.2859142723818318.442691168148073
DRESDEN/mummymaze2p-comp2007/oTQRQg11.5726888961677051177.4101.73953612370035
BASE/mummyMaze2p_2007/YGA3Vw12.116180516831011187.433333333333498.00393215368723
BASE/hanoi_6_disks/MeubgQ12.1894748112250653605.0295.7469502033198
DRESDEN/connect5/1kYzSg12.218958642972536251.9666666666666720.620960756879207
BASE/mummymaze2p/vpjDdA12.224742103290735552.781573947535145.21826057980673
DRESDEN/mummymaze2p/k-8edg12.374447982391784562.145.4242484836366
DRESDEN/hanoi_6_disks/MeubgQ12.7535742429359443776.3333333333335296.1
BASE/battle/8oAvhQ13.1305646290247348.030131324578363.657887736100027
DRESDEN/battle/8oAvhQ13.3033689893032148.3854843546935953.6370850416611558
BASE/connect5/d-BVQg13.619988249845393243.9333333333333417.909951819239076
DRESDEN/gt_ultimatum/pAiiQw13.9206810699588484660.333333333333334.7776814879008
BASE/gt_ultimatum/GE-uOA14.0220278587625544328.6308.7
BASE/pancakes/yUgbXw14.09154929577464810738.7762.0666666666667
DRESDEN/fizzbuzz/t1xHzQ14.10764962346412911864.533333333333841.0
BASE/pancakes6/QZTdnw14.35742472334219911157.633333333333777.1333333333333
BASE/knightsTourLarge/M8jgLA14.4581482549754828354.4577.8333333333334
BASE/crossers3/O0rORg14.599306081871344693.166666666666647.47942558224769
DRESDEN/crossers3/xiPTxg15.148387491215741718.466666666666747.428590474285905
BASE/amazonsSuicide/dE1QEQ15.2970314557263121.36090550004978920.08896533317517274
DRESDEN/ghostmaze2p/HY0UwA15.7543177153278612111.5333333333333134.02886570447652
BASE/ghostMaze2p/W-NU-w16.1568982092606782105.0333333333333130.28697130286972
DRESDEN/twisty-passages/j7NPyg16.51176735537191065.133333333333464.50753032120485
BASE/gt_attrition/kD_SCA16.95666403958141519.998686457375541.1793998165378063
BASE/twisty-passages/DiZmmg17.4592096030945181153.433333333333466.0644645178494
STANFORD/knightstourbig/TQUI2g18.4577003170561238214.633333333333445.05183160561313
DRESDEN/four_way_battle/xSOQXA20.314244356498683132.657822811812546.530285866595588
BASE/four_way_battle/xSOQXA21.405395784821202135.977337110481596.352479462533675
BASE/hanoi7_bugfix/3gdnFw26.546660702646334524.566666666667170.43826028995167
DRESDEN/hanoi7_bugfix/3gdnFw27.966708023159644508.233333333334161.2
DRESDEN/hanoi7/51zz5Q28.1053087757313134323.533333333334153.83333333333334
BASE/ad_game_2x2/D0aWqg28.73751386376597217.9485474971747650.6245685546168765
DRESDEN/hitori/S8Gsyg34.2036482380757437.9966032834926251.1108932888976017
DRESDEN/knightfight/4_Ly4w37.457190008613271932.533333333333351.59312091721104
BASE/knightfight/SJRkAg37.593555947796321952.033333333333351.92467922012998
BASE/hitori/S8Gsyg37.8092333592869939.858193625339611.0541920606160435
DRESDEN/quartosuicide/WIU1oQ40.578183477425554937.833333333333423.111762355135205
BASE/quarto/EwBMVQ41.34805931445604924.633333333333322.362194227821103
DRESDEN/quarto/OQzRYQ41.582471874999996930.322.37240736425076
BASE/racer4/0vs7Ww41.67959630512317665.077830738975415.956916325920016
BASE/quartoSuicide/-23jUg42.644278571428565935.321.93260224659178
DRESDEN/othello-cornercontrol/r5Gdlg43.41702890135057.0677240601254270.16278691193228065
BASE/cylinder-checkers/hlldmw47.909612051726434131.98240234635382.7548209366391183
DRESDEN/cylinder-checkers/clOO3Q53.330503397634494131.128962367921082.4587985114300905
DRESDEN/battlebrushes/QHXV4A54.9510554256272120.104490443753720.36586177077097054
DRESDEN/checkers-newgoals/IJOqXQ56.29107270000455143.47608731878022.5488248924197285
BASE/gt_tinfoil/Q8DyKg56.745759117702986631.466666666666116.86277124095864
DRESDEN/checkers/jIDMIg63.33698060127234142.476253957673722.249495517549373
DRESDEN/kalaha_2009/gcC8uA66.50979663394111579.423.746877601998335
BASE/kalaha_2009/dRiN3g68.042264173591871635.533333333333324.037021007424176
BASE/wargame02/BkVqqQ68.59601206546013273.772622737726243.991086573319586
BASE/solitaireChineseCheckers/-ET6gw71.206954629629641016.133333333333314.270141710435041
BASE/max_knights/2fq3Ag72.94025603864735502.33333333333336.8869148617626506
DRESDEN/max_knights/hCipiA73.1630129449838501.466666666666646.854100815172185
BASE/racer/QQYQNw79.48112039283651527.566666666666619.21923922456865
DRESDEN/checkers-cylinder-mustjump/vW_-pA81.7902388542696597.237495418041251.188864304349262
DRESDEN/racer/vk_ZBA82.670588256880731499.418.137042830044262
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg85.2409164258819397.164373063210151.1398794984530207
DRESDEN/checkers-mustjump-torus/cVc3gA86.0132859829546792.427171521898541.0745685444480626
BASE/colonelBlottoVariant2/jruwGw102.259535128805624364.342.67866066966517
DRESDEN/checkers-mustjump/HUr33w102.71618546098615116.817757632315691.1372867587327375
BASE/colonelBlottoVariant/X-n-KQ113.093498618572514909.943.414520374504384
BASE/wargame03/klXI8w121.12020789783197394.620179327355743.258087037468001
BASE/wargame01/_GZFZg121.3126921409214495.433333333333344.083936516368949
DRESDEN/vacuumcleaner_random/_6AGDA150.219292862398822267.933333333333415.097483752707882
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA170.938485233644883043.533333333333317.804845580404685
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A178.741279567779973027.916.940127134156487
BASE/colonelBlotto/jip21A221.80423006535951130.95.098640362569982
DRESDEN/vacuum_cleaner_1/eUNjpw224.030284463894963410.015.221156408206769
DRESDEN/vacuumcleaner_random_big/DwzFaQ240.42459197049482598.64693727921092.489957172736629
BASE/pancakes88/l2Xaig336.17035514511878486.26666666666625.24394711426383
DRESDEN/Travelers-Dilemma/PvZwYw347.8166230505579010.73333333333425.90656321800806
DRESDEN/farmers/S_ASnw410.85353252032525552.56666666666671.3449237329834345
BASE/merrills/pku8TgInfinity21.1902464987858040.0
DRESDEN/merrills/aYEzwAInfinity20.8929403153902450.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error messageREKKURA_BACKWARD_PROVER_OSTD: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
BASE/ruleDepthExponential/UamhHQTest 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