index

ALLOY_TUPLE_PROVER:2 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/ggp-course2013_michal13/jWKddg0.2644396998164737529.082550469718168109.97800439912018
BASE/quad/tw-Ufg0.286345896415844960.59390259997360432.074074074074074
BASE/coins_atomic/AA3SSw0.50651504806594621415.1861604613182793.9666666666667
BASE/coins/QnGtnQ0.50998944648640791401.42747.9
DRESDEN/coins/QwFP9w0.51350598044086811412.46666666666672750.633333333333
BASE/sudokuGrade6H/ieE_9A0.745547437468024992.96356788107063124.69168722085195
BASE/sudokuGrade6E/ihYFZA0.75313947037528991.74525943946412121.81709105452606
BASE/sudokuGrade3/eI8dvg0.757428123890499692.9240409292404122.68364218104253
BASE/sudokuGrade1/tDRNRw0.75932385296485194.31132735695004124.20435231779251
STANFORD/sudoku/oJ1qyQ0.761762199405566193.96666666666667123.3543312335433
BASE/sudokuGrade2/u80Tfw0.774348376774881795.19365375641624122.93388429752066
BASE/sudokuGrade5/BQfUQA0.784497935106504797.16342788573714123.85428123854281
BASE/sudokuGrade4/DTy07w0.792594361249768995.26666666666667120.19599346688443
BASE/blokbox_simple/JBx4bg0.95887265228581664.7398077560490554.943104535049597
STANFORD/duidoku/3SoMaA1.100564562811164985.1524745875687377.37163040218587
DRESDEN/grid_game2/kypTYQ1.2068727467975762524.4491850271658434.55218159394684
DRESDEN/quad_7x7/q-JOXg1.483709241422790834.8061081626672723.458847050983007
BASE/ticTacHeaven/18n58A1.4893451396321884510.1829939002033342.5552481583947
BASE/quad_7x7/q-JOXg1.497713852544186935.21450627422639523.51217237819296
BASE/ticTacHeavenFC/mrletw1.5920838802927704477.31742275257494299.80670532560157
STANFORD/selectivesukoshi/3xmXYg1.687260741102723221.81854543030465131.46666666666667
STANFORD/multiplesukoshi/vLSQPg1.8428841979901154229.78468102126524124.68753124687531
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.8802139464335611570.1666666666667835.1
DRESDEN/cubicup_3player/awDtsQ2.1118902743871955375.16248375162485177.64298093587522
BASE/cubicup_3player/e2yA_g2.1431434393685906379.9540015332822177.28818078794748
BASE/pearls/6k_mEQ2.180992265943643431264.23333333333414334.866666666667
DRESDEN/pawn_whopping/4ogBkg2.2410678171767561662.2741.7
DRESDEN/lightsout/XgLpzQ2.2620906417925582231.1986.3
BASE/withConviction/3Xm54A2.2886245945484551340.6585.7666666666667
BASE/conn4/va9Y7A2.31864746758363751078.8666666666666465.3
DRESDEN/quad/JPe6fg2.4311963796888774.96064554534032.0404133482524847
BASE/blocksWorldParallel/RseaAQ2.47133070333546551416.7666666666667573.2808906369787
BASE/zhadu/DlA8iQ2.496965459100309655.0629958002799822.051965356429047
DRESDEN/tictactoeparallel/yk_DSg2.620409539574522849.43333333333341087.4
BASE/doubletictactoe/HH1htg2.65059286517428163457.43333333333341304.4
DRESDEN/doubletictactoe/lJzgmQ2.6778935762476053400.31269.7666666666667
DRESDEN/bunk_t/7-tPfA2.709510071199813412.2666666666671259.3666666666666
BASE/bunk_t/xbpfIA2.74213211600429663403.91241.3333333333333
DRESDEN/doubletoetictac/V89gKQ2.7451934395354313498.21274.3
BASE/doubletoetictac/fu35bg2.76201385332722453415.96666666666671236.7666666666667
BASE/nineBoardTicTacToePie/B8LzeQ2.893372349610601664.511182960568229.66666666666666
DRESDEN/latenttictactoe/kITHKg2.89786965772675933677.31268.9666666666667
DRESDEN/lightsout2/LFtfyQ2.9158144004392892832.0333333333333971.2666666666667
STANFORD/duikoshi/tpw1sw2.94379154795821441653.2333333333333561.6
DRESDEN/slidingpieces/s9_44g2.991003727027374775.740808639712259.3580213992867
BASE/slidingpieces/uFJWEw3.0073381887897983775.5666666666667257.8914036198793
DRESDEN/blockerparallel/dVQgSg3.03274816972368731284.1666666666667423.43333333333334
DRESDEN/eotcatcit/mQUxzA3.03817265786789476552.9333333333332156.866666666667
BASE/blockerParallel/7-nDJA3.08477447129909341293.3419.2526915769474
DRESDEN/blocker/S815zQ3.0971096965020586422.1666666666672073.6
DRESDEN/tictactoex9/rFkD4w3.107475169890225990.7666666666667318.8333333333333
BASE/eotcatcit/AfZSzA3.13007127412509026514.22081.1666666666665
BASE/snake2p/I3wWPQ3.135750163849921946.2333333333333301.7566081130629
BASE/tictactoex9/BI26ow3.1687777074097531000.6666444451852315.7894736842105
DRESDEN/chickentictactoe/Ipbo-g3.17978321058250835857.2666666666661842.0333333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw3.2205838985549991456.1333333333334452.1333333333333
BASE/haystack/UkweGA3.285700978565685744679.413598.133333333333
BASE/cubicup/4wNWJA3.3237359070652444737.2666666666667221.81866648895405
DRESDEN/cubicup/SBn_lw3.3268376176176178738.5333333333333221.99260024665844
BASE/lightsOut/5P1ZBw3.35396505793157742177.4333333333334649.2116929435686
BASE/sum15/QZ07Kg3.43558246492402567868.42290.266666666667
BASE/ticblock/T21C1g3.45500441403663674174.5666666666671208.2666666666667
DRESDEN/sum15/CsgWKg3.45577606635071137777.82250.6666666666665
BASE/nineBoardTicTacToe/wRmqqA3.5483112082003023703.8666666666667198.36666666666667
DRESDEN/tictactoelarge/IwXcbg3.56508019008019033200.9666666666667897.8666666666667
DRESDEN/tictactoe/BTTzPw3.5821663920922576958.01942.4
STANFORD/sukoshi/4LYZZQ3.5970438512623064640.0666666666671289.9666666666667
STANFORD/nineboardtictactoe/y28P-A3.638712404287902712.8195.8934702176594
BASE/simultaneousWin2/PfjRjw3.65649609833427961717.0333333333333469.58434718842705
BASE/lightsOnParallel/SC6enA3.70783511282836785405.91457.9666666666667
BASE/ticTacToeNoVars/XT03NA3.80391078215643175070.8666666666671333.0666666666666
DRESDEN/double_tictactoe_dengji/bGaUyQ3.8057556656160893381.0333333333333888.4
BASE/futoshiki6/JmvXNA3.836765278126307509.6333333333333132.82890570314322
BASE/double_tictactoe_dengji/zgaSbA3.86357190738481653483.6666666666665901.6699443351888
DRESDEN/ticblock/Z2yNWQ3.94753360385493274150.71051.4666666666667
DRESDEN/peg/Vo31eg4.0315096253041361380.7342.4771681887874
DRESDEN/tictictoe/LAUtwg4.0342386681249244426.3666666666671097.2
BASE/lightsOnSimul4/9FeASw4.0493978634435181474.0666666666666364.0211992933569
BASE/factoringGeorgeForman/HGRorQ4.05527380305500313433.53312.6
BASE/lightsOnSimultaneous/_VN6lw4.0634140007951232044.1503.0498983367221
BASE/factoringMediumTurtleBrain/8RBqmQ4.0663320345413491941.0666666666666477.35075497483416
DRESDEN/peg_bugfixed/u_B7MA4.0888445543914111404.8333333333333343.57709486034264
DRESDEN/tictactoelargesuicide/6J4DeA4.0890252945538443308.5666666666666809.1333333333333
BASE/futoshiki5/TJ4BZg4.106762948588143811.0333333333333197.487252974306
BASE/eotcitcit/V_9_bg4.1091207735457284419.6333333333331075.5666666666666
BASE/tictactoe2/bhrDoQ4.1266424321195756773.3333333333331641.3666666666666
DRESDEN/tictactoe_orthogonal/y69QFQ4.1383438703582597593.0333333333341834.8
BASE/tictactoe_orthogonal/WRzlVw4.24017745131906757773.81833.3666666666666
STANFORD/triplesukoshi/Iu9mbA4.33282224266584851412.9333333333334326.1
DRESDEN/tpeg/h-Scbg4.3377336673732891500.5666666666666345.93333333333334
BASE/brain_teaser_extended/ZDp94A4.3838886126305326758.9333333333331541.7666666666667
BASE/tpeg/QNs7Lw4.5050574700109061514.7336.2221259291357
DRESDEN/brain_teaser_extended/ZDp94A4.5068651441000546630.51471.2
DRESDEN/CephalopodMicro/H3XQfg4.5085466497708575116.9021594241535525.92901183136144
BASE/survival/YVIjJA4.55961030383091231294.7333333333346863.466666666666
BASE/futoshiki4/BaCwSw4.6048251075058641570.5341.0552981567281
DRESDEN/sheep_and_wolf/enAIzQ4.62278082468845851574.4666666666667340.58864704509847
BASE/snakeAssemblit/UO4sdg4.8045795519542421007.9209.77902209779023
DRESDEN/minichess-evilconjuncts/th24Tw4.8537832310838445474.6841771940935497.79674010866304
STANFORD/tictactoe3/X7myng4.8760859263939356174.11266.2
DRESDEN/tictactoe-init1/3ltIBQ4.8835178875638846879.91408.8
DRESDEN/lightson2x2/gBHuig4.8910559133190237974.8666666666671630.5
BASE/minichess-evilconjuncts/4OpQzw4.8973014577950815476.1174627512416597.22037061725104
BASE/tictactoe-init1/7M19vA4.9034361615092166792.5666666666671385.2666666666667
BASE/blocksWorldSerial/Wyg96Q4.9069415925165415735.2333333333341168.8
STANFORD/multipletictactoe/_bkafQ4.96321393379522751002.8666666666667202.05993133562214
DRESDEN/ggp-course2013_jordi/9QI6Kw4.986136405503793426.519116029465785.54100436535705
BASE/numbertictactoe/rvJ-iQ5.1268821603927994176.7814.6666666666666
BASE/majorities/ibJzSQ5.159528764584015525.6333333333333101.87622887992802
DRESDEN/catcha_mouse/cHv4dw5.2415434953622161983.9666666666667378.508099460036
BASE/breakthroughSmallHoles/bxclRw5.2666497743525651685.5666666666666320.04533031131257
BASE/chickentictactoe/DSlZCA5.2818402672335255797.71097.6666666666667
BASE/catcha_mouse/cHv4dw5.2956130748263432007.5379.0873637545415
BASE/ticTacToeLarge/TZC0dg5.3565773102590213157.1666666666665589.4
BASE/connectFourSimultaneous/7ITr3g5.3816780398232631041.9333333333334193.607518997467
BASE/chickentoetictac/l57rfQ5.3892768297473048232.31527.5333333333333
DRESDEN/chickentoetictac/cxYaRQ5.4480732134045148096.21486.0666666666666
BASE/ticTacToeLargeSuicide/727_8g5.46201488720950053204.2586.6333333333333
BASE/cephalopodMicro/9l2D3g5.4706966985614915115.696143461884621.148338106973956
STANFORD/trifecta/ss1kyQ5.5207598095497216763.41225.0849943337112
BASE/blocksWorld/SEdXLQ5.52436143510999614966.62709.2
BASE/blocks/xIV5hQ5.616980126210342515102.02688.633333333333
BASE/onestep/xi53wA5.63665260572159340844.57246.233333333334
STANFORD/tictactoe/ss1kyQ5.65982685880225766886.51216.7333333333333
STANFORD/tictactoe5/WFRReg5.6601727886485876595.2333333333341165.2
DRESDEN/blocks/vg0DRw5.66301535821102714958.12641.366666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.7104051264868481136.0666666666666198.94677198946772
BASE/golden_rectangle/_nYzfw5.743249480203495576.9666666666667100.45996933537764
BASE/tictactoe_3d_small_6player/g_9lww5.7812055072463761152.2333333333333199.30675909878684
BASE/blocker/dIWtxg5.815302458337176316.01086.1
BASE/ticTacToeParallel/ymRGPw5.8199718738223492917.0666666666666501.2166261124629
BASE/ticTacToeSerial/Amrwqw5.8402985987884723181.6544.7666666666667
BASE/ticTacToe/JRFsaQ5.8472617698283257050.4333333333331205.7666666666667
BASE/toetictac/mTThmg5.8523329568164058980.61534.5333333333333
DRESDEN/blocks2player/3ev8nQ5.86036776511965810219.71743.8666666666666
BASE/pawnWhopping/Ypc_6Q5.8963783909490881563.3666666666666265.14015265140154
BASE/lightsOn/MsXu3A5.91014236166538413575.42296.9666666666667
BASE/blocks2player/wnTLOQ5.95972110062831210086.0333333333331692.3666666666666
BASE/tictactoe_3d_small_2player/oOryKA5.9971378795420611606.4333333333334267.8666666666667
DRESDEN/pentago_2008/hLjVpQ6.007118311242022815.7666666666667135.8
STANFORD/tictactoe7/-bE9-A6.0190258081564346833.41135.3
DRESDEN/tictactoe_3d_small_2player/HYttcg6.0544780728844971633.7269.8333333333333
STANFORD/tictictoe/rpt_Dw6.0760423709713774493.233333333334739.5
DRESDEN/toetictac/mJtxCA6.08129127563434059331.1333333333331534.4
BASE/factoringEasyTurtleBrain/lUj94Q6.1069675547186126594.11079.7666666666667
DRESDEN/towerworld/HCX34w6.119737472047318109.8926738217452217.957089552238806
BASE/ticTicToe/c1OobQ6.1331016172420924280.966666666666698.0100663311223
DRESDEN/buttons/ADUaHw6.26231581449039224593.3666666666653927.2
BASE/buttons/hTcUjw6.45625490798593425212.9666666666673905.2
DRESDEN/blocksworldparallel/2JfVaw6.459353768367835450.833333333333843.8666666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg6.5280989513310026474.133333333333991.7333333333333
DRESDEN/javastrike/whONTQ6.6506473797119225723.2108.7412936981371
DRESDEN/stratego/Z2wovg6.6948699755818021492.6333333333334222.95180321311912
BASE/circlesolitaire/azuQFQ6.83730802346769211382.0666666666681664.7
BASE/3pConnectFour/PqXOFQ6.9202070213840711369.8333333333333197.9468719794687
DRESDEN/circlesolitaire/ruUilQ6.980423915216956511636.3666666666671667.0
BASE/stateSpaceSmall/Q7osKA7.020820852383204522266.5333333333333171.5
BASE/incredible/8Qh-6Q7.0305328197721075840.966666666666830.8
DRESDEN/connectfoursuicide/M9CNQg7.2391664155610522146.1296.45678477384087
DRESDEN/statespacesmall/h-NqjA7.2449191033342423076.0333333333333185.133333333333
BASE/troublemaker01/s3tlEQ7.285010326185993531982.1666666666684390.133333333333
BASE/duplicateStateSmall/bCPAXw7.309077859518847517651.6666666666682415.0333333333333
DRESDEN/troublemaker01/C-lPWw7.42322303080232432438.04369.8
DRESDEN/connectfour/5tc-Mg7.7612210937188842164.8333333333335278.92947606985734
DRESDEN/troublemaker02/iZLVuA7.77500870916740429014.03731.7
BASE/blockerSerial/3eqDuw7.7811749138111952883.866666666667370.62097930068995
BASE/firefighter/WJmoPw7.8414843551259238219.9666666666671048.2666666666667
DRESDEN/statespacelarge/8-y5HQ7.86050481648579510744.01366.8333333333333
DRESDEN/tictactoe_3player/ESLQQQ7.8700273248435521998.1333333333334253.89153694876836
BASE/coloredtrails/EZvr7g7.9802100161550893951.8495.2
BASE/troublemaker02/DI83KA8.09925044051455829570.6333333333353651.0333333333333
BASE/stateSpaceMedium/3bUoIw8.13290892114421615968.9666666666671963.5
STANFORD/jointbuttonsandlights/qAKuIQ8.16086869093102710822.41326.1333333333334
DRESDEN/statespacemedium/dVJZ_w8.17782426778242716417.82007.6
DRESDEN/firefighter/WJmoPw8.2080867850098618323.01014.0
BASE/connectFourSuicide/c8p9Kw8.2309037730205522140.1666666666665260.01599893340443
BASE/switches/tPUoCg8.28279888230989216599.8333333333322004.1333333333334
BASE/stateSpaceLarge/0Ge_CQ8.31564398903848511632.21398.8333333333333
STANFORD/dualrainbow/G3OnRQ8.4659194183580737452.266666666666880.2666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw8.5647086914995242391.266666666667279.2
DRESDEN/8puzzle/8fKC2w8.5678133172399927098.433333333333828.5
DRESDEN/golden_rectangle/1uloXw8.598469700121338551.033333333333364.0850468224081
BASE/hodgepodge/9yjRkw8.6671070908290158527.566666666668983.9
DRESDEN/Zhadu/9zpQ5w8.683719153874412222.5036661778429425.623084099693457
STANFORD/breakthrough/d5j0cQ8.715221350225821650.7333333333333189.4080789228103
BASE/hidato19/rRHSmA8.7614354489664081205.5333333333333137.59541348621713
BASE/connectFour/WAIKTw8.8160127414163092191.0248.52504916502784
DRESDEN/battlesnakes1509/-qZrLw8.8783059892387752236.6666666666665251.92493583547216
DRESDEN/snake_2009/zIYLVw8.9790195682872721483.6333333333334165.23333333333332
BASE/alexChess/LNo83g9.00771682044790946.833882948602645.1993067590987865
DRESDEN/battlesnakes2011/93VtTw9.0323741461305662320.9333333333334256.95717380436594
BASE/snake_2009/7l-qAQ9.1594472781506351501.1333333333334163.88907406172922
STANFORD/connectfour/VMpZkQ9.2632564689063612159.6666666666665233.14335233143353
BASE/qyshinsu/R08Lzw9.266829529698333549.266666666666759.272339574865065
DRESDEN/mimikry/GJEhwA9.2955151591819511469.0333333333333158.03678528588566
BASE/snake_2009_big/-oRfVw9.2967320493827151254.9333333333334134.98650134986502
DRESDEN/snake_2009_big/DgC1NQ9.3852553026513271250.7133.26222459251358
BASE/tictactoe_3player/GtM71g9.5555199487261651987.8666666666666208.03333333333333
DRESDEN/babel/WdSW4A9.56299819004525845.288.38232353529294
STANFORD/dualhunter/1rPZjQ9.5643443723363043291.3344.12186260457986
BASE/connect4/50bOyw9.725699894880691027.7666666666667105.67534242010197
BASE/mineClearingSmall/frsbvw9.789881857291205733.066666666666774.88003199146894
STANFORD/untwistycorridor/EDPPAQ9.7910166274753227342.0666666666662792.5666666666666
DRESDEN/connect4/T0-rHQ9.824770123060461019.8666666666667103.80565182617968
BASE/connectFour_9x6/B9TtMw9.9137595262096771966.3198.3404978506448
BASE/untwistycomplex2/EDPPAQ10.05183197171941628339.82819.366666666667
DRESDEN/cube_2x2x2/fp-34Q10.1264207588414394323.5426.95243491883605
DRESDEN/sat_test_20v_91c/dK7nVw10.5495203154504052110.4666666666667200.0533297780148
BASE/pentago/86NgKw10.583830820995962786.374.2925707429257
BASE/othello-comp2007/86ZoMw10.69234344173630423.4871419541568262.196631831192172
DRESDEN/tictactoe_3d_6player/ulZPWg10.888640232619615457.5333333333333642.01932689103632
BASE/crisscross/ICagEg10.930275328459422292.366666666667209.72634245525148
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg11.0074390053632382257.4205.07949205079493
BASE/pentagoSuicide/SBgNhw11.08147412755716818.333333333333473.84697414022928
BASE/tictactoe_3d_6player/d7KSwg11.224396946947916448.7367508832744539.97869578243068
BASE/dualConnect4/WbCQkg11.2746622144112471282.8113.77724455108978
DRESDEN/logistics/fPru1Q11.320451977401133339.5333333333333295.0
STANFORD/rainbow/_4qNSQ11.3290409952715416452.0333333333331452.2
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg11.4505296728971952286.9199.72001866542232
STANFORD/untwistycomplex/HTWEwg11.4704201046216928359.4666666666672472.4
DRESDEN/crisscross/GsY16g11.5336749933151492396.233333333333207.75974134195528
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ11.5718572845034392411.8208.4194387040864
DRESDEN/tictactoe_3d_2player/LMuX9w11.708860112356147536.530897940137445.822641383677144
DRESDEN/oisters_farm/pTQMLg11.76351149596894713132.01116.3333333333333
BASE/strangeSkirmish/gc1zKA11.790789984614968168.8718546908848514.322352862805182
BASE/othelloSuicide/B442jg11.8829331878606922.7477102414654451.9143177767509407
DRESDEN/grid_game/U7_Yeg12.0502228351836022351.5666666666666195.14715195147153
BASE/connectFourLarge/aU644A12.0692005242463941534.8127.16666666666667
BASE/tictactoe_3d_2player/IUC1rQ12.127014413075782543.744.83378855505962
DRESDEN/uf20-020.cnf.SAT/hDrW_A12.2760969572649581994.5333333333333162.47292117980336
BASE/duplicateStateMedium/U163eQ12.370797472332899314.9752.9749008366388
BASE/nonogram_10x10_1/0Xc62g12.389277006779428139.390707286180911.250915385127488
DRESDEN/3pttc/uwYBZw12.6412717631062092788.9220.61862542497167
BASE/skirmishHoles/AUCxCA12.733182088936005197.1868542097193415.486062543710661
BASE/snakeParallel/RCVNtw13.3277275771915036853.333333333333514.2161927935736
BASE/othelloHoles/c0qAzw13.35405733228119625.8152626494786971.9331400193314001
STANFORD/bestbuttonsandlights/nm0wEA13.35786168585460116591.81242.1
DRESDEN/uf20-010.cnf.SAT/5ICbCg13.4590038932540532112.3333333333335156.94574056792428
DRESDEN/ggp-course2013_nicolai/uEin8g13.47470558294843353.1097926804879426.205380927011188
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA13.5609121150362311995.9666666666667147.18528147185282
STANFORD/8puzzle/jNiGtw13.7112852251777726941.566666666667506.26666666666665
DRESDEN/chinesecheckers6-simultaneous/gPPGUw13.737886748394628784.433333333333357.1
STANFORD/buttonsandlights/eyhJpA13.79144353029169846097.93342.5
DRESDEN/3pffa/0YrmQw13.8365534688809572971.3333333333335214.74519214745192
DRESDEN/sat_test_20v_91c_version2/a1mPBA13.9372043918918932062.5147.985201479852
BASE/eightPuzzle/vLrgFg14.03563090412926971.733333333334496.7167761074631
BASE/maze/cCX3qQ14.18440806405490326454.8666666666651865.0666666666666
BASE/factoringImpossibleTurtleBrain/kcBhdw14.53934857381900241.339107261825452.843257182530499
DRESDEN/aipsrovers01/qS47Mw14.5608187134502925809.766666666666399.0
STANFORD/eightpuzzle/W_aWbA14.650254195974657012.1478.6333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ14.7561953028243473256.366666666667220.67793220677933
STANFORD/bestbuttonsandlightsbig/g0JC6g14.78162931395304712949.2876.0333333333333
BASE/nonogram_5x5_1/qLKEZw14.841784533333334741.866666666666749.985004498650405
STANFORD/multiplebuttonsandlights/cK70Yg14.93673958911784418097.3536861751781211.6
STANFORD/multiplebuttonsandlights_9/SqB9BA15.00659436481552218357.0666666666661223.2666666666667
BASE/aipsrovers01/4C4jsw15.0565075931352015994.4398.12685398126854
DRESDEN/uf20-01.cnf.SAT/42Rs8A15.0711141281874572186.6145.0854914508549
STANFORD/hunter/14dD-g15.4629957246056326992.366666666667452.2
DRESDEN/point_grab/r5DPmQ15.47458487419331521341.01379.1
DRESDEN/Catch-Me-If-You-Can/ghGWrA15.52683432806166814590.04865693528939.6666666666666
DRESDEN/catch_me/ghGWrA15.62927981109799114561.8931.7
DRESDEN/CatchMeIfYouCanTest/CX18rA15.85633197010294614991.633333333333945.4666666666667
DRESDEN/Thief_Police/CX18rA15.88408616603586814968.633333333333942.3666666666667
DRESDEN/backgammon/mqCW0Q16.16682866043614806.833333333333449.906716417910445
BASE/breakthroughSmall/HJ0tIA16.656865316642121507.790.51523028727588
BASE/asteroidsSerial/id2QkA16.66104986140375008.7300.62331255624815
BASE/beatMania/qUHwvQ16.717901149653128433.9504.4831838938702
STANFORD/3puzzle/41ibjA16.75602861035422516398.566666666666978.6666666666666
STANFORD/threepuzzle/41ibjA16.9770974046010916505.7972.2333333333333
BASE/pegEuro/5awwhg17.1512816658370681148.066666666666666.93766034718288
DRESDEN/2player_normal_form_2010/NG_Kdg17.21285086366440729762.1666666666681729.0666666666666
BASE/hidato37/pBrqxw17.24539535832977308.589713676210817.894035321559482
BASE/breakthroughSuicideSmall/XSbJog17.3096306373462561547.889.41843026162306
BASE/queens31lg/0gID-A17.57845133406615218.5536790913027551.0554785935747741
DRESDEN/knightwar/7hhAqg17.774474853037232721.0153.08469153084692
BASE/skirmishFinal3/-Olhfw17.964202648546504287.69041031965616.014649575495255
DRESDEN/skirmishfinal/hzq8ww18.00272930768677269.0910302989914.947235260827592
BASE/queens08lg/Ru7eqQ18.034912718204488723.240.1
BASE/tron_10x10/7ZTgDg18.1480830773450354410.9243.0504633024465
BASE/skirmishFinal2/gdB62Q18.167959341814573265.848943403773114.632845571814272
DRESDEN/chinesecheckers1/Y-ftaA18.1751240185581723395.0186.79377354088197
BASE/connect5/d-BVQg18.179726815240834842.933333333333346.36666666666667
BASE/gt_dollar/TGjqRw18.20930349006058412121.933333333332665.7
STANFORD/pentago/ZxzLmg18.3105436696982841409.066666666666676.95384102649558
BASE/skirmishFinal1/ecWTnQ18.627935704612316268.2243925202493514.399040063995734
BASE/checkLines/Vop7oQ18.7248439428141432764.6666666666665147.646980402613
BASE/cittaceot/fDxhXg19.0489635294117651888.833333333333399.1567509915675
BASE/rubiksCube/9tNO9Q19.082894086449221598.933333333333483.78882815624583
DRESDEN/chinesecheckers3/QsCb2A19.111103446209172125.366666666667111.2110911151103
BASE/escortLatch/mX9BjQ19.6728580876494021645.633333333333483.6499366793308
BASE/duplicateStateLarge/dcjyuw20.0363405119509045513.633333333333275.1816545563629
DRESDEN/capture_the_king/EQ229Q20.517948205179483292.4707529247075414.25438596491228
DRESDEN/frogs_and_toads/GjchhQ20.57308677457561736.533333333333384.40801093005432
BASE/peg/fJHVWw20.5914289690382121388.633333333333467.43744377436444
DRESDEN/chomp/-LcqYQ21.0803370128585574735.733333333334224.65168988734084
BASE/englishDraughts/jFkQxg21.417172972972971928.066666666666690.02433090024331
BASE/chomp/-LcqYQ21.569047069351234820.2223.4776522347765
BASE/asteroidsParallel/WauZiA21.778115481241165817.466666666666267.1244291856938
BASE/connectFourLarger/qKi60A21.790996144605977977.200759974667644.84424454439447
BASE/hexPie/48CH6Q21.803340331491714525.766666666666724.11404209965361
DRESDEN/chinesecheckers4/-oVNYg22.5387493319080721405.666666666666762.36666666666667
BASE/skirmish/Y_psYQ23.301426476469807182.042394347420367.8125
BASE/hex/T1MK8g23.954618230563595.433333333333324.856723977075838
DRESDEN/othello-cornercontrol/r5Gdlg24.54272708584182213.3799301048427350.5451688419972421
DRESDEN/chinesecheckers2/06E6-Q25.3007334892527032523.833333333333599.75336621783762
STANFORD/hex/MTqWcw25.543184916201117608.923.838060993474496
STANFORD/alquerquezero/uVgA_A25.8813970898143531718.766.4067706250833
DRESDEN/breakthrough/z4hK7Q25.984364573570762923.535.54060355739124
DRESDEN/minichess/c7GMFw26.591159371334742518.73333333333394.72070390614584
DRESDEN/amazons/dNB28A26.773113563950087151.89789049221855.673523556735236
DRESDEN/4pttc/9pB9AQ26.9901891891891842263.283.85269121813032
DRESDEN/breakthroughsuicide_v2/LU1nAw27.004978782172003955.466666666666735.381130063965884
DRESDEN/chinesecheckers6/yTbPDA27.8457867557715671527.554.85569552756115
BASE/asteroids/BKCmPQ28.04725265052672612897.566666666668459.8513382887237
BASE/point_grab/V_osUg28.45119840120663619910.433333333334699.8100063331223
BASE/brawl/6Ymo_Q28.733483195592285347.4666666666666412.092744353387967
BASE/endgame/jYjfOA28.942973181818181060.536.6410179540988
DRESDEN/brawl/2kXtfQ29.642196580834003347.1768548763415711.712251281027484
BASE/breakthroughWalls/vOZaYA29.89384563617245947.066666666666731.680991405156906
BASE/breakthrough/TGxk-g30.152956957588504954.766666666666731.664114004128653
BASE/breakthroughSuicide/wZDpIg30.28454075630252960.933333333333331.730160317301603
BASE/minichess/8NQEiA30.731893363597063159.133333333333102.79657344755175
BASE/crissrace/ERWGDA32.03072624854821531.166666666666747.80305806322662
DRESDEN/crissrace/KWb9bw32.382803421787711544.966666666666747.70947859403631
STANFORD/pilgrimage/ObRZnQ33.854634672731871487.533333333333343.938838735467534
STANFORD/freeforall/Lfp40Q34.070058972310972842.76666666666783.4388537154282
DRESDEN/endgame/IJhh3Q34.389066675919544838.338722042598524.378059746228395
BASE/ttcc4_2player_small/Cv72TA34.479649665121072230.833333333333564.7
BASE/shmup/ssTNlg34.6899520435967265091.466666666666146.77064587082583
BASE/gt_centipede/9fRMpw34.7028043775649816911.833333333332487.3333333333333
BASE/hallway/ckCJOw34.99497391304348616.417.61395797955582
BASE/biddingTicTacToe/8mESVw35.248946259220234460.166666666667126.53333333333333
DRESDEN/hallway/0H4l-Q35.973436143039585625.666666666666617.392463265918103
DRESDEN/bidding-tictactoe/yW5vTA36.4742051470588254959.5135.97280543891222
BASE/2pffa/6oHijA38.83393029465932810.73333333333372.37828651404578
BASE/4pffa/Q3ADlg39.073696287279372138.86666666666754.739297018157586
DRESDEN/Goldrush/VeWczQ39.8103461538461541725.043.3304446370242
DRESDEN/knightstour/cGISAA39.8515850089729221218.933333333334532.4489183693877
DRESDEN/racetrackcorridor/O0DoTA39.8699176042862652314.033333333333358.039581528619976
DRESDEN/breakthroughsuicide/Y9QzqQ40.0070040208717051447.433333333333436.17949828430556
BASE/racetrackcorridor/_RkdUg40.3499677358844552389.26666666666759.213595468177274
STANFORD/chinook/osFbPA40.81053112183083876.637445418486121.480667399340593
BASE/3pffa/pR0dzA40.95415479256082544.533333333333362.13126229125696
BASE/chineseCheckers4/avfBcQ41.105732196757962450.759.619422134835204
BASE/chinook/XQh0IQ41.38773465721041971.866666666666723.481997135529426
BASE/copolymer_4_pie/IN5_jA41.671251407493692384.666666666666557.225703239568055
BASE/choicethroughalt/tt71Lg41.7319123287671161014.824.317121918720854
DRESDEN/knightazons/02I8BQ41.769762593516205558.266666666666713.365330133653302
BASE/breakthroughHoles/nZk0Sg41.969450070621471320.066666666666631.453037017292505
BASE/knightazons/apnJBQ42.4357080080453557.881403953201613.146508686680423
BASE/2pffa_zerosum/o0_uZA44.212572976827092755.73333333333362.329178054796344
BASE/ruleDepthLinear/OUBJpQ45.93789828307017637725.73333333333821.2333333333333
DRESDEN/skirmish3/3LU8Nw46.37357827496757793.766666666666717.11678710579773
DRESDEN/tttcc4/sAvtFg46.975273261819621313.566666666666627.96293827489668
DRESDEN/skirmish/RjGQYQ47.54789064558629800.666666666666616.83916270092183
BASE/queens06ug/7Lq3tw47.5829682344322363607.533333333333375.81564301662945
BASE/copolymer_4/2LDVhQ47.9184236591182679.433333333333455.91655836582358
BASE/tttcc4/8Bs2lg48.0750019864918561343.333333333333327.942449876773463
DRESDEN/skirmish2/iPpWhQ48.0801837524178828.333333333333417.22816488386817
BASE/wallmaze/uxNQ9g48.648036179981631176.733333333333324.1887119344306
DRESDEN/quad_5x5/JAEP5g50.47372782812002293.02356588113735.8054670912951165
BASE/ttcc4/Le0qjQ50.981501635991821384.766666666666727.162139643392766
BASE/quad_5x5/JAEP5g51.79470356357577287.53791287537915.551492586929061
BASE/dotsAndBoxes/EHwA_w51.905437159090911521.929.32062772798454
BASE/dotsAndBoxesSuicide/jzQbLw52.714066666666671527.333333333333328.97392346887801
DRESDEN/knightthrough/J7Fc_Q53.918293333333341805.333.482142857142854
BASE/chineseCheckers2/eCMR3Q54.364208988520685576.466666666666102.5760655846969
BASE/chineseCheckers1/gqtwHw56.9832612077534867643.1134.1288623712543
BASE/chineseCheckers6/rREH3A58.905695697329382646.344.924348463640605
BASE/god/qF06gw59.438574897926514270.615292313845774.552856335781463
DRESDEN/god/2EDD5w59.70670070921986278.84.669492648032852
BASE/queens08ug/kJ_ZFQ60.097916247755832230.966666666666737.122196674331036
STANFORD/checkersonabarrelnokings/Zrevdw60.9622722677595661487.033333333333324.392682195341397
BASE/battlebrushes/arCwyA62.25927853686928296.69011032965574.765395894428153
BASE/chineseCheckers3/-1rZdQ62.7412366548042754700.074.91086007531074
BASE/checkersTorusNoKings/pwb6oQ65.574423701605281543.133333333333423.532548915036166
BASE/checkersTorus/2vm1EQ67.635067174280881332.119.695404405638683
STANFORD/knightstourmedium/x1wu8Q67.7378872946558521716.766666666666320.6
BASE/checkersBarrelNoKings/rnKNeg68.038028254847651636.466666666666724.052235325471383
STANFORD/skirmish/w4V6Vw69.31032421912612165.555629624691682.388614271970275
BASE/reversi/d8UMeA69.40299440111977128.307671798973531.8487339473771087
BASE/roshambo2/KNPokQ69.9219639948838221866.2312.72290923635876
DRESDEN/roshambo2/jgSlkQ70.4463743852673322441.866666666665318.56666666666666
BASE/ttcc4_2player/_aH_Mw71.915589805825231479.833333333333320.577364898611528
BASE/reversiSuicide/9OxJlg72.13455321005307130.898427086110361.8146425154244614
STANFORD/madness/UO_B3A72.43112147975337167.238793534410952.3089355806972987
STANFORD/ttcc4/Cx9SGw73.239772542901721564.733333333333321.364530213645303
DRESDEN/gt_prisoner/huCp4w74.3940733432984414928.9200.67324356752434
DRESDEN/pawntoqueen/f_x6Aw74.9877358603443497.160189320711951.2956810631229236
STANFORD/knightstour/cEwgNA77.0279985763435821642.3280.96666666666664
BASE/pawnToQueen/-O1_JA77.216784713232896.81397053922551.2537943777220535
BASE/sheepAndWolf/g4THrg77.599643478260871544.419.902153293174027
BASE/knightsTour/mvtVIg80.3785735956904421717.566666666666270.19099363354553
BASE/queens12ug/u6Bkmg81.42053517587941079.113.253413253413253
BASE/gt_coordination/IVMOzA81.7638907903331116689.066666666666204.11292204112922
BASE/knightwar/DVGY4Q87.675458723404252745.731.316631130063964
DRESDEN/gt_chicken/CeuKtw88.3716584919822614387.933333333332162.8116251166511
BASE/ttcc4_2player_alt/ZEJvYA89.381589043478261712.633333333333419.160918391149323
BASE/chess_200/XsTpYA89.87316325566925285.55714809506353.177335010260144
BASE/queens16ug/gT-ylw90.81588737661843599.71334288857046.603617056578729
BASE/2pttc/unkkYA91.755874620390462819.430.72718789575418
BASE/gt_staghunt/xPjLRA97.9269388104407315256.0155.78961402573162
BASE/gt_prisoner/klthDw100.502486982594715267.133333333333151.9080153307782
DRESDEN/Runners/3bOCQw100.9128376496797424158.533333333333239.4
BASE/battle/8oAvhQ108.07212539296387104.109041223714470.9633292659430993
DRESDEN/battle/8oAvhQ108.9694338909996105.145637539158840.9649094593290662
BASE/3pttc/0sol9g111.500520430107532419.421.698553429771348
DRESDEN/kitten_escapes_from_fire/uW-YiA116.723226563173789020.377.2793921620901
BASE/gt_chicken/gmepTQ116.749388812905514794.066666666668126.71643780829223
BASE/skirmishNew/sibw2g116.9468926605138625.94580180660655.352393617021277
BASE/kitten_escapes_from_fire/uW-YiA120.242610258658479139.476.00799733422193
DRESDEN/pacman3p/rBnk8Q124.902938483146062964.066666666666623.730960237309603
DRESDEN/connect5/1kYzSg128.55152068965515858.96.681367870190567
DRESDEN/smallest/9kaGFw131.596746259153154589.66666666666734.87674883411059
BASE/speedChess/bPnisA138.07111454138703685.43333333333334.964349970013993
BASE/amazons_8x8/7SOsIw138.974007042253531314.09.455005493225022
BASE/4pttc/AL1k2Q140.399461214953281999.433333333333414.241032807612964
STANFORD/platformjumpers/HEQskA142.6704321977146780.0073330888975.467196819085487
BASE/pacman2p/4LEdQg143.21560155763243058.921.358706500765187
DRESDEN/bidding-tictactoe_10coins/mu5VhQ143.707864388092624344.33333333333330.230310302303103
BASE/pacman3p/wW7UVQ144.15127899686523063.166666666666521.24966693312017
BASE/biddingTicTacToe_10coins/a-9ccQ148.963356338028184227.628.380133906265613
BASE/knightThrough/gcwFjA154.141528818443821780.233333333333311.549342652687635
BASE/smallest_4player/ADDROA173.071047724477246251.96666666666636.123700346574246
DRESDEN/quad_5x5_8_2/JRTLJg173.51064868924288385.60479840053312.222369643094069
DRESDEN/smallest_4player/ADDROA176.182283165599276415.736.41512577044811
BASE/knightsTourLarge/M8jgLA185.0250010531858619505.833333333332105.42269002731331
BASE/four_way_battle/xSOQXA203.2445958018577343.43232343432321.6897488569345969
DRESDEN/four_way_battle/xSOQXA203.8203711538462350.033333333333361.7173618679612932
BASE/checkers-mustjump-torus/uSApKQ250.63487580717006366.121129295690141.4607748746721556
STANFORD/knightstourbig/TQUI2g250.803001003490419159.43333333333476.3923607639236
BASE/amazonsSuicide_10x10/XIbQkg264.91271781609191023.03333333333333.8617750848924697
BASE/kalaha5x2x3/WviNsw267.147595959595954401.33333333333316.475287069395907
BASE/amazons_10x10/Bun8dA275.99744047619051023.56666666666673.7086092715231787
DRESDEN/small_dominion/yB5GJA283.47408314724083110.822251108222520.3909431503502199
DRESDEN/snake_2008/E56l3A288.15357734204791467.33333333333335.092191972309126
BASE/snake_2008/i6K26g301.73803289473691524.23333333333335.051512130275839
BASE/snake_2008_tweaked/bX0NJQ303.468740131578951531.55.0466482950961185
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw309.3819076923077396.81.282557221783741
BASE/checkers-cylinder-mustjump/rjr6qQ320.09743819350166394.786840438652061.2333333333333334
DRESDEN/ghostmaze2p/HY0UwA323.2111260301507510711.26666666666633.14015454303224
BASE/nim4/twk16w364.9932283261802611336.131.05838443081845
DRESDEN/nim4/F5YAYg366.790350358422911361.03333333333330.97418817651957
DRESDEN/bomberman2p/x4h6jQ367.5980470196078610410.76666666666628.32106087362143
DRESDEN/nim3/sG_axA367.993302981895611507.83333333333431.27185533020282
BASE/nim3/1OwUqw370.014103783783811403.06666666666830.81792437114776
BASE/bomberman2p/4CClwA373.891923990498810493.928.066666666666666
BASE/mummyMaze2p_2007/YGA3Vw377.842293659621811314.029.94370982246944
BASE/checkers-mustjump/T-8UuQ380.37130526315786479.21.2598216357789345
BASE/ghostMaze2p/W-NU-w380.3807959168522611381.13333333333329.920367840602406
DRESDEN/mummymaze2p-comp2007/oTQRQg392.988849769053111343.928.86570447651745
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg396.60615469613262390.46666666666676.027306027306027
DRESDEN/knightfight/4_Ly4w414.11100826666665172.76666666666612.4912561207155
BASE/knightfight/SJRkAg438.56567313019395276.012.030125299920021
BASE/nim2/eF2Qqw466.0141655361050514187.96666666666730.44535491822391
DRESDEN/nim2/z5_exA480.423703683241314490.36666666666730.161639726712213
BASE/amazonsTorus_10x10/Uxc08g484.4270184397163758.73333333333331.5662490002665956
BASE/nim1/hin2Qw528.900117895545315302.33333333333428.932368921035966
DRESDEN/nim1/M9BALA544.355114518002315604.26666666666628.66560127846584
DRESDEN/gt_ultimatum/pAiiQw571.428480359820112690.822.208903539439948
BASE/gt_ultimatum/GE-uOA573.446863981042612096.121.093671898430472
BASE/guess/SPpk1A587.37339653679661505.13333333333342.5624812805750605
DRESDEN/hanoi/RQ0jiA587.793700787401612441.63333333333321.166666666666668
BASE/hanoi/iGLsJg596.511341904761912524.23333333333420.995800839832032
DRESDEN/guess/PhxGhg602.71089736842111511.82.508333608369913
BASE/quarto/EwBMVQ619.3370082564.54.140718166158739
DRESDEN/quarto/OQzRYQ619.59099125683062511.96666666666674.054233683370995
BASE/quartoSuicide/-23jUg627.38001666666672491.33333333333353.9710116152089743
DRESDEN/quartosuicide/WIU1oQ628.08351042600.24.139895343445717
BASE/crossers3/O0rORg637.79836333333332110.8666666666673.3096144299189145
DRESDEN/crossers3/xiPTxg640.21402380952382084.83333333333353.256463082341995
DRESDEN/mummymaze2p/k-8edg653.17181334808259823.76666666666615.040095830699098
BASE/mummymaze2p/vpjDdA690.658360879120910458.615.142942723067195
DRESDEN/checkers-cylinder-mustjump/vW_-pA730.1287764705883409.40.5607230028365987
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg731.8784962069892409.15302823239230.5590450195665757
BASE/checkers/rOC3Xg823.5045136176619621.14596180127330.7542714721411472
BASE/kalaha6x2x4/XS81Mg840.35840166666663909.03333333333334.651626407947636
BASE/wargame02/BkVqqQ875.92671969696971913.83333333333332.1849240242327936
DRESDEN/battlebrushes/QHXV4A1032.6215734847056278.601659612757030.2698003477426704
BASE/checkersSmall/SYmq8w1035.0639722222224816.83333333333340.7891621728265158
BASE/checkers-newgoals/0XkFiA1040.0503428571428459.966666666666640.4422542330048016
DRESDEN/knightmove/97Ipcw1080.8213700421942813.43333333333342.603051171373027
BASE/knightmove/jBaJEw1096.93647848101272876.92.6226678175419957
DRESDEN/hitori/S8Gsyg1108.1350005184493304.926009865351260.27517045280826735
BASE/hitori/S8Gsyg1136.5679788014131302.479834677688130.2661343978709248
BASE/wargame03/klXI8w1260.73271428571432611.52.0714144801736043
BASE/skirmishZeroSum/zh4hcw1315.4284595.46666666666670.4526788889966696
BASE/wargame01/_GZFZg1362.05543030303032960.62.1736266631537347
BASE/cylinder-checkers/hlldmw1428.6738666666668400.80.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q1430.9437333333333401.80.28079371022089106
BASE/checkersTiny/Lr48cg1627.5079434782611243.90.7642973448974845
DRESDEN/checkers-newgoals/IJOqXQ1660.2262591246958464.38452051598280.2797115862754848
DRESDEN/checkers-mustjump-torus/cVc3gA1764.007599746675381.25395820139330.2161294306533284
DRESDEN/max_knights/hCipiA1842.78721142857132137.7333333333331.1600543568327202
BASE/max_knights/2fq3Ag1946.46213131313132127.6333333333331.093077177873468
DRESDEN/pancakes88/aD3E7g2193.706268852459322280.410.156510156510157
DRESDEN/checkers-mustjump/HUr33w2197.957880952381504.36666666666670.22947057859367317
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2277.2574177136444868.46402506081920.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2338.6483454545455856.73333333333330.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ2461.764935713961900.21655838747290.36567933246900036
DRESDEN/pancakes/hl9aiQ2754.55701093247628504.26666666666610.348040194316896
DRESDEN/pancakes6/SZXMyQ2810.669161950696429095.56666666666610.35182904503545
DRESDEN/satlike_20v_91c_version2/yd9ioQ2855.182481751825931.2402093124020.32615786040443573
BASE/pancakes6/QZTdnw3050.31650097323627835.4333333333349.125424631985613
BASE/pancakes/yUgbXw3111.96624820143928751.39.23894981721502
BASE/blobwars/0XT15Q3978.1839738675385578.88070397653420.1455138092604988
DRESDEN/blobwars/ZaMluQ4003.119792013866566.62889140723950.1415468236892764
BASE/hanoi_6_disks/MeubgQ4287.71688759138.62.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ4543.9408333333339442.52.0780420226275687
DRESDEN/fizzbuzz/t1xHzQ4799.47516989795931265.96.514441453119288
BASE/racer4/0vs7Ww5436.9859111111121569.26666666666670.28862805464691166
BASE/colonelBlotto/jip21A12374.2068848484854516.7333333333340.3650119458455004
DRESDEN/checkers/jIDMIg15904.466666666667459.66666666666670.028901734104046242
BASE/pancakes88/l2Xaig18673.22722222222422142.1666666666681.1857707509881423
BASE/colonelBlottoVariant2/jruwGw22781.22865777777810958.1333333333330.4810159055926116
BASE/colonelBlottoVariant/X-n-KQ25579.17208571428611888.60.46477657526060684
BASE/gt_attrition/kD_SCA26192.0102857142856012.2666666666660.2295458271847844
DRESDEN/merrills/aYEzwA30759.910002999906580.04733175560820.018857250612860643
BASE/merrills/pku8Tg31070.352288257058558.54804839838680.0179768817300951
BASE/gt_tinfoil/Q8DyKg35252.23916666666617620.8333333333320.49985004498650404
DRESDEN/racer/vk_ZBA39319.0053333333343250.40.08266740148801323
DRESDEN/hanoi7_bugfix/3gdnFw39416.8437814814811074.5666666666680.2809602597321512
BASE/hanoi7_bugfix/3gdnFw39800.9768518518511282.1666666666660.28346456692913385
DRESDEN/hanoi7/51zz5Q40872.80159259259411392.2333333333340.2787240631774543
BASE/racer/QQYQNw42196.534833333333354.70.07950178879024777
BASE/solitaireChineseCheckers/-ET6gw54690.963753525.83333333333350.06446829771459885
BASE/ad_game_2x2/D0aWqg62371.372366666661833.96666666666670.029403981299067895
DRESDEN/kalaha_2009/gcC8uA82422.607653919.56666666666660.047554509356349715
DRESDEN/Travelers-Dilemma/PvZwYw83520.1908833333421584.2333333333340.2584313218762114
BASE/kalaha_2009/dRiN3g86130.668453967.96666666666670.04606914979384055
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA102481.719433333327878.9666666666660.07688167909587146
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A102996.05687949.0666666666670.07717835918808366
DRESDEN/vacuumcleaner_random/_6AGDA103442.784900000015878.60.05682948313585088
BASE/twisty-passages/DiZmmg119504.9286319.00.05287648054145516
DRESDEN/twisty-passages/j7NPyg119723.438400000016310.5333333333340.052709255745308874
DRESDEN/vacuum_cleaner_1/eUNjpw181766.07269360.70.051498609537542483
BASE/gt_two_thirds_2p/1APDGgInfinity4220.20.0
BASE/amazonsSuicide/dE1QEQInfinity15.6607717575234740.0
DRESDEN/farmers/S_ASnwInfinity2039.26666666666670.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity3434.96666666666670.0
BASE/amazonsTorus/soxT8gInfinity5.50.0
BASE/amazons/RKKZjwInfinity14.4787644787644790.0

Games with errors:

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

index