index

REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/gt_two_thirds_2p/1APDGg0.00.0151604.66666666666
BASE/twisty-passages/DiZmmg1.917382991866589E-80.052876480541455162757742.2333333334
DRESDEN/twisty-passages/j7NPyg1.9840094489508355E-80.0527092557453088742656703.8666666667
DRESDEN/hanoi7/51zz5Q2.261941693828578E-70.27872406317745431232233.6333333333
BASE/hanoi7_bugfix/3gdnFw2.3283398619074002E-70.283464566929133851217453.5666666667
DRESDEN/hanoi7_bugfix/3gdnFw2.337565653692314E-70.28096025973215121201935.2666666666
BASE/solitaireChineseCheckers/-ET6gw2.7683985869757806E-70.06446829771459885232872.16666666666
DRESDEN/vacuum_cleaner_1/eUNjpw3.553315864790667E-70.051498609537542483144931.13333333333
DRESDEN/vacuumcleaner_random/_6AGDA4.2393779455739545E-70.05682948313585088134051.46666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4.5620223354539046E-70.07688167909587146168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A4.5918981749474437E-70.07717835918808366168075.06666666668
BASE/hitori/S8Gsyg7.663508748140276E-70.2661343978709248347274.86666666664
DRESDEN/hitori/S8Gsyg8.006423657107508E-70.27517045280826735343687.1
BASE/ad_game_2x2/D0aWqg8.243267171587537E-70.02940398129906789535670.3
BASE/gt_tinfoil/Q8DyKg1.0083318136304098E-60.49985004498650404495719.8
BASE/colonelBlottoVariant/X-n-KQ1.2676574110300122E-60.46477657526060684366642.1
BASE/max_knights/2fq3Ag1.3439105024622089E-61.093077177873468813355.6333333333
DRESDEN/max_knights/hCipiA1.5175047837306694E-61.1600543568327202764448.5666666667
DRESDEN/hanoi_6_disks/MeubgQ1.5555856655062656E-62.07804202262756871335858.3
BASE/hanoi_6_disks/MeubgQ1.647029167848039E-62.1313440788597311294053.6333333333
BASE/checkers-newgoals/0XkFiA1.7903642808430289E-60.4422542330048016247019.13333333333
BASE/kalaha_2009/dRiN3g1.7953775985004036E-60.0460691497938405525659.866666666665
BASE/gt_attrition/kD_SCA1.826399347439515E-60.2295458271847844125682.16666666667
DRESDEN/kalaha_2009/gcC8uA1.8583287708063477E-60.04755450935634971525589.933333333334
BASE/checkersTiny/Lr48cg1.8661890321945817E-60.7642973448974845409549.8
BASE/colonelBlottoVariant2/jruwGw1.957271738565204E-60.4810159055926116245758.36666666667
BASE/pawnToQueen/-O1_JA2.2162941262852345E-61.2537943777220535565716.6
BASE/skirmishZeroSum/zh4hcw2.3090548501169862E-60.4526788889966696196045.1
BASE/checkersSmall/SYmq8w2.5835255776267343E-60.7891621728265158305459.4
BASE/knightmove/jBaJEw2.73727191821377E-62.6226678175419957958132.0
DRESDEN/pawntoqueen/f_x6Aw2.79050723303267E-61.2956810631229236464317.4
DRESDEN/knightmove/97Ipcw2.8595928736490826E-62.603051171373027910287.3333333334
BASE/racer/QQYQNw2.9030331616392374E-60.0795017887902477727385.766666666666
DRESDEN/racer/vk_ZBA2.9488685537359895E-60.0826674014880132328033.6
BASE/checkers/rOC3Xg3.144997551653409E-60.7542714721411472239832.13333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3.5993391617435294E-66.0273060273060271674559.0666666667
BASE/battle/8oAvhQ3.641882477883407E-60.9633292659430993264514.1
DRESDEN/battle/8oAvhQ3.661383675004568E-60.9649094593290662263536.8333333333
DRESDEN/quad_5x5_8_2/JRTLJg3.6822094360789807E-62.222369643094069603542.4333333333
DRESDEN/fizzbuzz/t1xHzQ3.988347671158889E-66.5144414531192881633368.5
DRESDEN/quad/JPe6fg6.252265649848505E-62.0404133482524847326347.8333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ6.25926653113602E-60.3261578604044357352108.0
BASE/quad/tw-Ufg6.430162754423598E-62.074074074074074322553.9
DRESDEN/satlike_20v_91c/yeuENQ6.792636698824804E-60.3656793324690003653834.666666666664
BASE/queens31lg/0gID-A6.94618496273317E-61.0554785935747741151950.83333333334
DRESDEN/blobwars/ZaMluQ7.173611044683473E-60.141546823689276419731.6
BASE/checkers-mustjump/T-8UuQ7.413457030064066E-61.2598216357789345169937.13333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g7.452234903771655E-60.3663369633996070349158.0
BASE/blobwars/0XT15Q7.530848149752126E-60.145513809260498819322.366666666665
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA7.672177823611891E-60.381364011949405749707.4
DRESDEN/quad_5x5/JAEP5g8.626245695773128E-65.8054670912951165673000.4333333333
DRESDEN/connect5/1kYzSg8.629959880870531E-66.681367870190567774206.1333333333
BASE/checkers-cylinder-mustjump/rjr6qQ8.884455732238832E-61.2333333333333334138819.23333333334
BASE/wargame01/_GZFZg9.086557693960615E-62.1736266631537347239213.43333333332
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw9.22955134592212E-61.282557221783741138962.03333333333
BASE/quad_5x5/JAEP5g9.345587872063942E-65.551492586929061594022.8333333334
BASE/colonelBlotto/jip21A1.0629733717251553E-50.365011945845500434338.76666666667
DRESDEN/othello-cornercontrol/r5Gdlg1.1377492105990961E-50.545168841997242147916.433333333334
BASE/queens16ug/gT-ylw1.2293397829055755E-56.603617056578729537167.7666666667
BASE/wargame03/klXI8w1.2314559961018261E-52.0714144801736043168208.56666666668
BASE/snake_2008/i6K26g1.3357147822650004E-55.051512130275839378187.93333333335
BASE/snake_2008_tweaked/bX0NJQ1.3504718003057354E-55.0466482950961185373695.2
DRESDEN/snake_2008/E56l3A1.3768419087925634E-55.092191972309126369845.8
BASE/mummymaze2p/vpjDdA1.3865765661417465E-515.1429427230671951092110.1
BASE/checkers-mustjump-torus/uSApKQ1.4133189229825552E-51.4607748746721556103357.76666666666
DRESDEN/mummymaze2p/k-8edg1.4360253659310275E-515.0400958306990981047341.9333333333
STANFORD/platformjumpers/HEQskA1.448631812248713E-55.467196819085487377404.1666666667
BASE/knightThrough/gcwFjA1.4827391828903002E-511.549342652687635778919.3666666667
STANFORD/skirmish/w4V6Vw1.794654740752561E-52.388614271970275133096.03333333333
BASE/hanoi/iGLsJg1.8235747511045285E-520.9958008398320321151354.0
STANFORD/madness/UO_B3A1.8250618098762907E-52.3089355806972987126512.73333333334
BASE/wargame02/BkVqqQ1.8541892053577833E-52.1849240242327936117837.16666666667
DRESDEN/hanoi/RQ0jiA1.854701027451795E-521.1666666666666681141244.1333333333
BASE/queens12ug/u6Bkmg2.2484723238386708E-513.253413253413253589440.8
BASE/reversi/d8UMeA2.407734442603856E-51.848733947377108776783.13333333333
BASE/speedChess/bPnisA2.4306627593686175E-54.964349970013993204238.53333333333
BASE/reversiSuicide/9OxJlg2.4478091485042196E-51.814642515424461474133.33333333333
BASE/skirmishNew/sibw2g2.678418556703424E-55.352393617021277199834.1
BASE/gt_ultimatum/GE-uOA3.241713321229599E-521.093671898430472650695.1666666666
BASE/ghostMaze2p/W-NU-w3.436213807575817E-529.920367840602406870736.5
DRESDEN/ghostmaze2p/HY0UwA3.446394691020361E-533.14015454303224961589.0666666667
BASE/dotsAndBoxesSuicide/jzQbLw3.4750849006332276E-528.97392346887801833761.6
BASE/breakthroughHoles/nZk0Sg3.4887980852351244E-531.453037017292505901543.6333333333
BASE/dotsAndBoxes/EHwA_w3.523969760049223E-529.32062772798454832034.0333333333
BASE/pancakes/yUgbXw3.5805395772939385E-59.23894981721502258032.33333333334
DRESDEN/gt_ultimatum/pAiiQw3.5971214383106053E-522.208903539439948617407.6666666666
BASE/quartoSuicide/-23jUg3.602474836917479E-53.9710116152089743110230.1
DRESDEN/mummymaze2p-comp2007/oTQRQg3.644755376974225E-528.86570447651745791979.2
BASE/quarto/EwBMVQ3.6811270054443425E-54.140718166158739112485.06666666667
BASE/pancakes6/QZTdnw3.699602960998315E-59.125424631985613246659.56666666668
BASE/mummyMaze2p_2007/YGA3Vw3.732846469593924E-529.94370982246944802168.2666666667
BASE/breakthrough/TGxk-g3.767608126869716E-531.664114004128653840430.1333333333
BASE/breakthroughSuicide/wZDpIg3.8114650062675166E-531.730160317301603832492.5
BASE/breakthroughWalls/vOZaYA3.906588845972088E-531.680991405156906810963.0333333333
DRESDEN/quarto/OQzRYQ3.921964135577273E-54.054233683370995103372.53333333334
DRESDEN/nim1/M9BALA3.9547413540000555E-528.66560127846584724841.3666666667
DRESDEN/quartosuicide/WIU1oQ3.9632809744738956E-54.139895343445717104456.26666666666
DRESDEN/pancakes/hl9aiQ3.966856176842933E-510.348040194316896260862.5
DRESDEN/pancakes6/SZXMyQ4.032565835763766E-510.35182904503545256705.76666666666
BASE/nim1/hin2Qw4.033088353604904E-528.932368921035966717375.0333333333
DRESDEN/breakthroughsuicide/Y9QzqQ4.123031963890213E-536.17949828430556877497.4
DRESDEN/knightthrough/J7Fc_Q4.353877948700026E-533.482142857142854769018.8666666667
DRESDEN/breakthrough/z4hK7Q4.3879325209900165E-535.54060355739124809962.4
BASE/othelloHoles/c0qAzw4.427578985215141E-51.933140019331400143661.333333333336
BASE/2pttc/unkkYA4.437521388714721E-530.72718789575418692440.3333333334
BASE/wallmaze/uxNQ9g4.45559191231649E-524.1887119344306542884.3666666667
DRESDEN/nim2/z5_exA4.482534407458389E-530.161639726712213672870.2333333333
BASE/pacman3p/wW7UVQ4.5345411405883793E-521.24966693312017468617.8
DRESDEN/breakthroughsuicide_v2/LU1nAw4.5456034293627115E-535.381130063965884778359.3666666667
DRESDEN/guess/PhxGhg4.57780523622369E-52.50833360836991354793.36666666667
BASE/nim2/eF2Qqw4.651294229985994E-530.44535491822391654556.6333333333
BASE/guess/SPpk1A4.703923753795402E-52.562481280575060554475.4
DRESDEN/quad_7x7/q-JOXg4.902401755265135E-523.458847050983007478517.43333333335
DRESDEN/kitten_escapes_from_fire/uW-YiA4.9029493571568335E-577.27939216209011576181.7333333334
BASE/ttcc4_2player_alt/ZEJvYA4.9055069675638445E-519.160918391149323390600.1666666667
BASE/choicethroughalt/tt71Lg4.9433407369907066E-524.317121918720854491916.76666666666
BASE/quad_7x7/q-JOXg4.992142835173151E-523.51217237819296470983.56666666665
BASE/knightfight/SJRkAg5.07574452264239E-512.030125299920021237012.03333333333
BASE/queens08ug/kJ_ZFQ5.160853536080397E-537.122196674331036719303.4333333333
BASE/kitten_escapes_from_fire/uW-YiA5.2073139443261463E-576.007997334221931459639.2333333334
DRESDEN/knightfight/4_Ly4w5.334412592068297E-512.4912561207155234163.66666666666
DRESDEN/nim4/F5YAYg5.3398871683764835E-530.97418817651957580053.2333333333
BASE/tictactoe_3d_2player/IUC1rQ5.34045239506252E-544.83378855505962839512.9333333333
DRESDEN/tictactoe_3d_2player/LMuX9w5.3477447830703974E-545.822641383677144856859.1666666666
BASE/nim3/1OwUqw5.3571725477721096E-530.81792437114776575264.7333333333
BASE/pacman2p/4LEdQg5.381561768902143E-521.358706500765187396886.76666666666
DRESDEN/nim3/sG_axA5.4166531556070064E-531.27185533020282577328.0
BASE/nim4/twk16w5.535991747298441E-531.05838443081845561026.5666666667
BASE/ttcc4_2player/_aH_Mw5.659614715143882E-520.577364898611528363582.43333333335
BASE/connectFourLarger/qKi60A5.7369035070212805E-544.84424454439447781680.3
BASE/othelloSuicide/B442jg5.759835407833181E-51.914317776750940733235.63333333333
DRESDEN/pacman3p/rBnk8Q5.8227850132967275E-523.730960237309603407553.43333333335
BASE/connect5/d-BVQg5.946602502070409E-546.36666666666667779716.9333333333
DRESDEN/Travelers-Dilemma/PvZwYw5.973587228525462E-50.25843132187621144326.233333333334
BASE/bomberman2p/4CClwA5.998206664435029E-528.066666666666666467917.63333333336
BASE/nonogram_10x10_1/0Xc62g6.042641673717178E-511.250915385127488186192.0
DRESDEN/bomberman2p/x4h6jQ6.0868645726848925E-528.32106087362143465281.6
STANFORD/ttcc4/Cx9SGw6.26106144111771E-521.364530213645303341228.56666666665
BASE/amazonsSuicide_10x10/XIbQkg6.555269957889816E-53.861775084892469758911.0
DRESDEN/skirmish2/iPpWhQ6.693355913450897E-517.22816488386817257392.03333333333
BASE/othello-comp2007/86ZoMw6.738120672121852E-52.19663183119217232600.066666666666
BASE/amazons_10x10/Bun8dA6.76344994451012E-53.708609271523178754833.1
BASE/4pttc/AL1k2Q6.961294202167408E-514.241032807612964204574.5
BASE/skirmish/Y_psYQ6.987456118775575E-57.8125111807.5
BASE/kalaha6x2x4/XS81Mg7.132904839347451E-54.65162640794763665213.63333333333
BASE/cephalopodMicro/9l2D3g7.265926234565494E-521.148338106973956291061.8333333333
BASE/checkersBarrelNoKings/rnKNeg7.511494274349256E-524.052235325471383320205.73333333334
DRESDEN/skirmish/RjGQYQ7.579751230572807E-516.83916270092183222159.83333333334
BASE/copolymer_4/2LDVhQ7.60006152086024E-555.91655836582358735738.2333333333
DRESDEN/brawl/2kXtfQ7.641710684090344E-511.712251281027484153267.4
DRESDEN/skirmish3/3LU8Nw7.782410680967993E-517.11678710579773219941.96666666667
BASE/amazons_8x8/7SOsIw7.823901897367531E-59.455005493225022120847.7
STANFORD/knightstourbig/TQUI2g7.909103656813653E-576.3923607639236965878.8666666667
BASE/amazonsTorus_10x10/Uxc08g7.937756463478757E-51.566249000266595619731.633333333335
BASE/chineseCheckers1/gqtwHw8.104267762528074E-5134.12886237125431655039.8666666667
BASE/brawl/6Ymo_Q8.16337469378291E-512.092744353387967148134.13333333333
BASE/checkersTorusNoKings/pwb6oQ8.213878700133462E-523.532548915036166286497.4
STANFORD/chinook/osFbPA8.235613294251822E-521.480667399340593260826.56666666668
STANFORD/checkersonabarrelnokings/Zrevdw8.342665205656996E-524.392682195341397292384.76666666666
BASE/queens08lg/Ru7eqQ8.346088348652534E-540.1480464.6
BASE/queens06ug/7Lq3tw8.371530370639775E-575.81564301662945905636.6
BASE/3pttc/0sol9g8.42250901783686E-521.698553429771348257625.76666666666
BASE/hidato37/pBrqxw8.45181324503337E-517.894035321559482211718.3
DRESDEN/capture_the_king/EQ229Q8.672497637798435E-514.25438596491228164363.1
BASE/checkersTorus/2vm1EQ8.732717557761865E-519.695404405638683225535.8
BASE/racetrackcorridor/_RkdUg8.736258252394706E-559.213595468177274677791.2666666667
DRESDEN/golden_rectangle/1uloXw8.847038335445797E-564.0850468224081724367.2333333333
BASE/chinook/XQh0IQ9.189425833211794E-523.481997135529426255532.8
DRESDEN/CephalopodMicro/H3XQfg9.293436043404989E-525.92901183136144279003.5
DRESDEN/racetrackcorridor/O0DoTA9.552940586385357E-558.039581528619976607557.2333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg9.66370930237846E-5199.720018665422322066701.4333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg9.954517498086314E-5205.079492050794932060165.0666666667
BASE/copolymer_4_pie/IN5_jA1.0080679661029335E-457.225703239568055567677.0333333333
BASE/biddingTicTacToe_10coins/a-9ccQ1.0363882262129614E-428.380133906265613273836.9
BASE/skirmishFinal2/gdB62Q1.0643855094101319E-414.632845571814272137476.93333333332
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1.0675478200001402E-430.230310302303103283175.23333333334
BASE/skirmishFinal3/-Olhfw1.0758296514608666E-416.014649575495255148858.6
BASE/breakthroughSuicideSmall/XSbJog1.0803731020992622E-489.41843026162306827662.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.0825274841238643E-4208.41943870408641925303.9
STANFORD/multiplesukoshi/vLSQPg1.0834133387300667E-4124.687531246875311150876.8333333333
BASE/breakthroughSmall/HJ0tIA1.1065304870055386E-490.51523028727588818009.3666666667
BASE/skirmishFinal1/ecWTnQ1.1257438077223148E-414.399040063995734127906.9
DRESDEN/skirmishfinal/hzq8ww1.1260323755261195E-414.947235260827592132742.5
BASE/knightsTourLarge/M8jgLA1.1477419701281152E-4105.42269002731331918522.5666666667
DRESDEN/smallest_4player/ADDROA1.152865663161606E-436.41512577044811315866.1666666667
BASE/chineseCheckers6/rREH3A1.169873731584773E-444.924348463640605384010.23333333334
BASE/ttcc4_2player_small/Cv72TA1.1714604708136449E-464.7552302.0333333333
BASE/smallest_4player/ADDROA1.1792269807669755E-436.123700346574246306333.73333333334
BASE/chineseCheckers2/eCMR3Q1.204695575461471E-4102.5760655846969851468.7666666667
BASE/skirmishHoles/AUCxCA1.2148726407940122E-415.486062543710661127470.66666666667
BASE/golden_rectangle/_nYzfw1.2327904862403715E-4100.45996933537764814898.9666666667
BASE/2pffa_zerosum/o0_uZA1.2555867037019315E-462.329178054796344496414.76666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.257533478190484E-4156.945740567924281248044.2333333334
DRESDEN/Goldrush/VeWczQ1.2603563004086213E-443.3304446370242343795.2
BASE/dualConnect4/WbCQkg1.2829670688997865E-4113.77724455108978886829.0333333333
BASE/sheepAndWolf/g4THrg1.2918331201322868E-419.902153293174027154061.33333333334
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.3381610063621427E-4162.472921179803361214150.7666666666
BASE/strangeSkirmish/gc1zKA1.3507677799369603E-414.322352862805182106031.2
DRESDEN/chinesecheckers1/Y-ftaA1.352735027676703E-4186.793773540881971380860.0333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.354642416263303E-4147.9852014798521092430.0
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.3666927757571704E-4147.185281471852821076944.9
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3781645296779898E-4279.22025882.9333333333
BASE/nonogram_5x5_1/qLKEZw1.4102565010082243E-449.985004498650405354439.1
DRESDEN/endgame/IJhh3Q1.422057119342628E-424.378059746228395171428.13333333333
BASE/pegEuro/5awwhg1.4495239945428996E-466.93766034718288461790.63333333336
BASE/connectFourLarge/aU644A1.4511403148080595E-4127.16666666666667876322.3333333334
BASE/2pffa/6oHijA1.4614823549937946E-472.37828651404578495238.86666666664
BASE/peg/fJHVWw1.483517760746953E-467.43744377436444454577.93333333335
BASE/chineseCheckers3/-1rZdQ1.4874197242439828E-474.91086007531074503629.6
STANFORD/pilgrimage/ObRZnQ1.49709138650434E-443.938838735467534293494.7
DRESDEN/chinesecheckers2/06E6-Q1.518055211179656E-499.75336621783762657112.9
BASE/kalaha5x2x3/WviNsw1.6031601801796651E-416.475287069395907102767.56666666667
STANFORD/freeforall/Lfp40Q1.6059302776374448E-483.4388537154282519567.1
BASE/tictactoe_3d_6player/d7KSwg1.632698034358729E-439.97869578243068244862.76666666666
STANFORD/multipletictactoe/_bkafQ1.632892634287784E-4202.059931335622141237435.5
BASE/chineseCheckers4/avfBcQ1.6355282910411357E-459.619422134835204364527.0
BASE/escortLatch/mX9BjQ1.6972838097939092E-483.6499366793308492845.9
DRESDEN/chinesecheckers6/yTbPDA1.7342970891039326E-454.85569552756115316299.3
DRESDEN/connect4/T0-rHQ1.7390564243860684E-4103.80565182617968596907.9
DRESDEN/ggp-course2013_jordi/9QI6Kw1.748490499149075E-485.54100436535705489227.73333333334
DRESDEN/tictactoe_3d_6player/ulZPWg1.7521347193448164E-442.01932689103632239817.9
DRESDEN/sat_test_20v_91c/dK7nVw1.7732333334841493E-4200.05332977801481128183.9
DRESDEN/mimikry/GJEhwA1.8216048678307072E-4158.03678528588566867568.9666666667
BASE/connect4/50bOyw1.8464467598673317E-4105.67534242010197572317.3
BASE/gt_coordination/IVMOzA1.8903889735321787E-4204.112922041129221079740.3333333333
STANFORD/selectivesukoshi/3xmXYg1.9326471488578835E-4131.46666666666667680241.4333333333
DRESDEN/ggp-course2013_michal13/jWKddg1.940445538928391E-4109.97800439912018566766.7666666667
STANFORD/alquerquezero/uVgA_A1.9792575865817028E-466.4067706250833335513.5333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ1.9802830607916104E-4220.677932206779331114375.7
BASE/sudokuGrade4/DTy07w2.0396584844032103E-4120.19599346688443589294.7
BASE/pentago/86NgKw2.0450582884185467E-474.2925707429257363278.5
BASE/ttcc4/Le0qjQ2.0487157422195113E-427.162139643392766132581.3
BASE/knightsTour/mvtVIg2.054339941335657E-4270.190993633545531315220.4666666666
BASE/sudokuGrade1/tDRNRw2.061228722284208E-4124.20435231779251602574.3333333334
BASE/sudokuGrade2/u80Tfw2.065573908807572E-4122.93388429752066595156.0666666667
BASE/connectFour_9x6/B9TtMw2.0667519882024138E-4198.3404978506448959672.4666666667
BASE/tttcc4/8Bs2lg2.0737784193147876E-427.942449876773463134741.73333333334
BASE/pentagoSuicide/SBgNhw2.0925466057766651E-473.84697414022928352904.8
STANFORD/pentago/ZxzLmg2.097234922914332E-476.95384102649558366930.0
BASE/sudokuGrade3/eI8dvg2.1027995675866967E-4122.68364218104253583430.0333333333
BASE/zhadu/DlA8iQ2.1155385994395885E-422.051965356429047104238.06666666667
BASE/majorities/ibJzSQ2.1471882071964665E-4101.87622887992802474463.43333333335
BASE/duplicateStateLarge/dcjyuw2.149133022836552E-4275.18165455636291280431.0
DRESDEN/tttcc4/sAvtFg2.154283572455341E-427.96293827489668129801.56666666667
BASE/sudokuGrade5/BQfUQA2.1615585937272955E-4123.85428123854281572986.0
STANFORD/knightstour/cEwgNA2.1891383313628747E-4280.966666666666641283457.8
STANFORD/sudoku/oJ1qyQ2.189232452654252E-4123.3543312335433563459.2666666667
BASE/qyshinsu/R08Lzw2.2981028601740212E-459.272339574865065257918.56666666668
STANFORD/breakthrough/d5j0cQ2.35879942134431E-4189.4080789228103802985.1
BASE/sudokuGrade6E/ihYFZA2.3761048697241614E-4121.81709105452606512675.56666666665
STANFORD/connectfour/VMpZkQ2.3844091332319154E-4233.14335233143353977782.5
BASE/futoshiki6/JmvXNA2.390467309101503E-4132.82890570314322555660.8333333334
BASE/sudokuGrade6H/ieE_9A2.419601499557967E-4124.69168722085195515339.76666666666
DRESDEN/aipsrovers01/qS47Mw2.471455259546884E-4399.01614433.4333333333
STANFORD/duidoku/3SoMaA2.4814798036598424E-477.37163040218587311796.3333333333
STANFORD/knightstourmedium/x1wu8Q2.511595565114486E-4320.61276479.4
DRESDEN/Zhadu/9zpQ5w2.532964856429232E-425.623084099693457101158.46666666666
BASE/connectFour/WAIKTw2.546932963128991E-4248.52504916502784975781.6666666666
BASE/firefighter/WJmoPw2.554729751745956E-41048.26666666666674103238.966666667
BASE/aipsrovers01/4C4jsw2.5780568563253756E-4398.126853981268541544290.4333333333
BASE/connectFourSuicide/c8p9Kw2.596174515296462E-4260.015998933404431001535.1333333333
BASE/mineClearingSmall/frsbvw2.621611503510673E-474.88003199146894285625.9666666667
DRESDEN/firefighter/WJmoPw2.6318432791832874E-41014.03852813.0
DRESDEN/chinesecheckers3/QsCb2A2.640854048595662E-4111.2110911151103421117.9
DRESDEN/Runners/3bOCQw2.808604073719483E-4239.4852380.7333333333
STANFORD/hex/MTqWcw2.832625171475437E-423.83806099347449684155.36666666667
BASE/blokbox_simple/JBx4bg2.837076471674563E-44.94310453504959717423.233333333334
DRESDEN/connectfour/5tc-Mg2.867052964258107E-4278.92947606985734972878.7
BASE/3pConnectFour/PqXOFQ2.894560469941554E-4197.9468719794687683858.1333333333
BASE/hex/T1MK8g2.96731393771749E-424.85672397707583883768.43333333333
BASE/englishDraughts/jFkQxg2.9782915060880223E-490.02433090024331302268.36666666664
DRESDEN/oisters_farm/pTQMLg2.9811445588686275E-41116.33333333333333744646.7666666666
BASE/gt_chicken/gmepTQ2.987140409406556E-4126.71643780829223424206.5
DRESDEN/connectfoursuicide/M9CNQg2.9891848812701246E-4296.45678477384087991764.6333333333
BASE/hidato19/rRHSmA3.0224966805513675E-4137.59541348621713455237.6
BASE/3pffa/pR0dzA3.0589354889991316E-462.13126229125696203114.0
DRESDEN/grid_game2/kypTYQ3.067146646568678E-4434.552181593946841416796.2333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg3.1018451284554725E-4269.8333333333333869912.3333333334
BASE/factoringMediumTurtleBrain/8RBqmQ3.125492942688261E-4477.350754974834161527281.5
BASE/4pffa/Q3ADlg3.1270110051268777E-454.739297018157586175053.1
BASE/tictactoe_3d_small_2player/oOryKA3.1305237518945397E-4267.8666666666667855660.8666666667
DRESDEN/grid_game/U7_Yeg3.2134559943556884E-4195.14715195147153607281.2333333333
BASE/futoshiki5/TJ4BZg3.217199290546389E-4197.487252974306613848.3666666667
BASE/biddingTicTacToe/8mESVw3.2640945727548706E-4126.53333333333333387652.1666666667
DRESDEN/backgammon/mqCW0Q3.327609871997194E-449.906716417910445149977.66666666666
STANFORD/multiplebuttonsandlights/cK70Yg3.363659572776367E-41211.63602029.2
DRESDEN/4pttc/9pB9AQ3.3956426974480374E-483.85269121813032246942.03333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA3.397846460875513E-41223.26666666666673600123.433333333
DRESDEN/minichess/c7GMFw3.443805247067043E-494.72070390614584275046.63333333336
BASE/minichess-evilconjuncts/4OpQzw3.472603397863309E-497.22037061725104279963.93333333335
DRESDEN/minichess-evilconjuncts/th24Tw3.5134091842187003E-497.79674010866304278352.8333333333
DRESDEN/bidding-tictactoe/yW5vTA3.519793881035964E-4135.97280543891222386309.0
BASE/checkLines/Vop7oQ3.532726430564846E-4147.646980402613417940.6
BASE/pawnWhopping/Ypc_6Q3.6274998182840107E-4265.14015265140154730917.0666666667
STANFORD/nineboardtictactoe/y28P-A3.6325902273388585E-4195.8934702176594539266.6333333333
BASE/hexPie/48CH6Q3.6868636180330353E-424.1140420996536165405.3
BASE/asteroidsSerial/id2QkA3.706679082415898E-4300.62331255624815811031.4
BASE/connectFourSimultaneous/7ITr3g3.7162911127044425E-4193.607518997467520969.73333333334
BASE/nineBoardTicTacToe/wRmqqA3.718477684853674E-4198.36666666666667533462.0333333333
DRESDEN/babel/WdSW4A3.7566236925996686E-488.38232353529294235270.63333333333
BASE/gt_staghunt/xPjLRA3.7637778195240415E-4155.78961402573162413918.2
BASE/gt_prisoner/klthDw3.763897136742466E-4151.9080153307782403592.36666666664
BASE/point_grab/V_osUg3.7919519670543924E-4699.81000633312231845513.9
DRESDEN/pentago_2008/hLjVpQ3.813718302328072E-4135.8356082.93333333335
BASE/snake_2009_big/-oRfVw3.863824668718754E-4134.98650134986502349359.8
DRESDEN/gt_chicken/CeuKtw3.8686035603656546E-4162.8116251166511420853.73333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g3.890958238296815E-4876.03333333333332251459.1
BASE/breakthroughSmallHoles/bxclRw4.092424158445843E-4320.04533031131257782043.4
DRESDEN/knightstour/cGISAA4.1828855909875715E-4532.44891836938771272922.5
DRESDEN/roshambo2/jgSlkQ4.205405246041729E-4318.56666666666666757517.1666666666
BASE/roshambo2/KNPokQ4.219276799896472E-4312.72290923635876741176.5666666667
BASE/tictactoe_3player/GtM71g4.25412468095769E-4208.03333333333333489015.6
BASE/minichess/8NQEiA4.3306210862870646E-4102.79657344755175237371.43333333332
DRESDEN/snake_2009_big/DgC1NQ4.3310590049817584E-4133.26222459251358307689.7
BASE/incredible/8Qh-6Q4.395351304060912E-4830.81890178.8333333333
BASE/ticTacToeLarge/TZC0dg4.4540101910735605E-4589.41323301.8666666667
BASE/ticTacToeLargeSuicide/727_8g4.4712794040482467E-4586.63333333333331312003.3
BASE/duplicateStateMedium/U163eQ4.5227798682654236E-4752.97490083663881664849.7666666666
BASE/gt_centipede/9fRMpw4.5322107504039E-4487.33333333333331075266.2666666666
BASE/futoshiki4/BaCwSw4.608210853708003E-4341.0552981567281740103.5
DRESDEN/towerworld/HCX34w4.840111935102197E-417.95708955223880637100.566666666666
DRESDEN/gt_prisoner/huCp4w4.8502555300170464E-4200.67324356752434413737.4666666667
BASE/ruleDepthLinear/OUBJpQ4.872498730751361E-4821.23333333333331685445.9666666666
BASE/asteroids/BKCmPQ4.917803934374899E-4459.8513382887237935074.5666666667
DRESDEN/snake_2009/zIYLVw4.955883934937851E-4165.23333333333332333408.4
BASE/cittaceot/fDxhXg4.99981264332329E-499.1567509915675198320.93333333332
BASE/snake_2009/7l-qAQ5.039039243021564E-4163.88907406172922325238.73333333334
BASE/simultaneousWin2/PfjRjw5.114037588359329E-4469.58434718842705918226.2333333333
BASE/nineBoardTicTacToePie/B8LzeQ5.124556472984216E-4229.66666666666666448168.86666666664
BASE/beatMania/qUHwvQ5.148103831417707E-4504.4831838938702979939.8
STANFORD/hunter/14dD-g5.24322074283985E-4452.2862447.0
BASE/snake2p/I3wWPQ5.262985215763649E-4301.7566081130629573356.3666666667
BASE/asteroidsParallel/WauZiA5.407817178355279E-4267.1244291856938493959.8
DRESDEN/crissrace/KWb9bw5.452266746946572E-447.7094785940363187503.93333333333
DRESDEN/catcha_mouse/cHv4dw5.478655885437065E-4378.508099460036690877.6666666666
DRESDEN/tictactoe_3player/ESLQQQ5.484194961070819E-4253.89153694876836462951.3333333333
BASE/crissrace/ERWGDA5.571917397516881E-447.8030580632266285792.83333333333
BASE/chomp/-LcqYQ5.72448200385555E-4223.4776522347765390389.3
STANFORD/bestbuttonsandlights/nm0wEA5.83261480239781E-41242.12129576.6
BASE/factoringMutuallyAssuredDestruction/NH0LGg5.8387599896185E-4991.73333333333331698534.1666666667
BASE/cubicup/4wNWJA5.897311573903447E-4221.81866648895405376135.23333333334
DRESDEN/frogs_and_toads/GjchhQ5.911130727706518E-484.40801093005432142795.03333333333
DRESDEN/logistics/fPru1Q5.938705313926673E-4295.0496741.26666666666
DRESDEN/slidingpieces/s9_44g5.966840288241966E-4259.3580213992867434665.6
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.969467515742088E-4198.94677198946772333273.9
BASE/slidingpieces/uFJWEw5.993611643314827E-4257.8914036198793430277.13333333336
BASE/tictactoe_3d_small_6player/g_9lww6.032274117421265E-4199.30675909878684330400.7
BASE/tictactoex9/BI26ow6.084316128410654E-4315.7894736842105519022.13333333336
DRESDEN/chomp/-LcqYQ6.09797759542363E-4224.65168988734084368403.6
DRESDEN/tictactoelargesuicide/6J4DeA6.189198184199299E-4809.13333333333331307331.4333333333
DRESDEN/tictactoex9/rFkD4w6.192758260356117E-4318.8333333333333514848.6666666667
DRESDEN/cubicup/SBn_lw6.199304228149962E-4221.99260024665844358092.76666666666
BASE/catcha_mouse/cHv4dw6.199312559630781E-4379.0873637545415611499.0333333333
BASE/lightsOnSimultaneous/_VN6lw6.199421884270394E-4503.0498983367221811446.4666666667
BASE/blockerSerial/3eqDuw6.410059002308539E-4370.62097930068995578186.5333333333
BASE/tron_10x10/7ZTgDg6.440524783252349E-4243.0504633024465377376.8
BASE/factoringEasyTurtleBrain/lUj94Q6.559554479223153E-41079.76666666666671646097.5666666667
BASE/snakeParallel/RCVNtw6.631626585325061E-4514.2161927935736775399.8
BASE/rubiksCube/9tNO9Q6.651909608467773E-483.78882815624583125962.06666666667
BASE/lightsOnSimul4/9FeASw6.670463465641911E-4364.0211992933569545721.0
BASE/gt_dollar/TGjqRw6.776463402737425E-4665.7982370.8333333334
STANFORD/untwistycomplex/HTWEwg7.00115767538345E-42472.43531415.966666667
DRESDEN/tictactoelarge/IwXcbg7.081072204091769E-4897.86666666666671267981.2333333334
BASE/conn4/va9Y7A7.100877066924203E-4465.3655271.1666666666
BASE/shmup/ssTNlg7.327650732203969E-4146.77064587082583200297.0
BASE/hodgepodge/9yjRkw7.34679900512439E-4983.91339222.7
DRESDEN/peg_bugfixed/u_B7MA7.519518892197927E-4343.57709486034264456913.6666666667
DRESDEN/peg/Vo31eg7.530489923212923E-4342.4771681887874454787.36666666664
DRESDEN/point_grab/r5DPmQ7.608982494595337E-41379.11812463.1
STANFORD/untwistycorridor/EDPPAQ7.629449311891099E-42792.56666666666663660246.7
STANFORD/dualhunter/1rPZjQ7.740648643693575E-4344.12186260457986444564.63333333336
DRESDEN/3pttc/uwYBZw8.13906863706477E-4220.61862542497167271061.26666666666
BASE/maze/cCX3qQ8.204109902462705E-41865.06666666666662273332.1333333333
BASE/ticTacHeavenFC/mrletw8.308011731241414E-4299.80670532560157360864.56666666665
DRESDEN/3pffa/0YrmQw8.615078583075098E-4214.74519214745192249266.66666666666
BASE/lightsOnParallel/SC6enA8.645451172116941E-41457.96666666666671686397.4333333333
STANFORD/3puzzle/41ibjA8.90546199950492E-4978.66666666666661098951.0333333334
BASE/untwistycomplex2/EDPPAQ8.934675785069102E-42819.3666666666673155533.2666666666
STANFORD/threepuzzle/41ibjA8.948762894201796E-4972.23333333333331086444.4
DRESDEN/pawn_whopping/4ogBkg9.017951888612672E-4741.7822470.5666666667
BASE/withConviction/3Xm54A9.181906403701772E-4585.7666666666667637957.5666666667
STANFORD/jointbuttonsandlights/qAKuIQ9.278824236949415E-41326.13333333333341429204.0666666667
BASE/tpeg/QNs7Lw9.292589686912177E-4336.2221259291357361817.4666666667
STANFORD/rainbow/_4qNSQ9.306023872174885E-41452.21560494.6
DRESDEN/tpeg/h-Scbg9.519025944436332E-4345.93333333333334363412.5333333333
BASE/ticTacHeaven/18n58A9.575338581311693E-4342.5552481583947357747.4
STANFORD/dualrainbow/G3OnRQ9.912035563819088E-4880.2666666666667888078.6
BASE/lightsOut/5P1ZBw0.001018907134968396649.2116929435686637164.7333333333
BASE/ticTacToeSerial/Amrwqw0.0010427940525453861544.7666666666667522410.6
DRESDEN/Thief_Police/CX18rA0.0010618698539914867942.3666666666667887459.6666666666
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.0010736524832086719835.1777812.2
BASE/ticTacToeNoVars/XT03NA0.00107422828253536141333.06666666666661240952.8666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0010810428442693067945.4666666666667874587.6
BASE/blocker/dIWtxg0.00109444385756274871086.1992376.1666666666
BASE/lightsOn/MsXu3A0.00110899851329921122296.96666666666672071208.0666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.001117032957583893939.6666666666666841216.6
DRESDEN/lightson2x2/gBHuig0.0011189402744611921630.51457182.3333333333
STANFORD/tictactoe3/X7myng0.00112835630751057091266.21122163.2666666666
STANFORD/buttonsandlights/eyhJpA0.00113122360816683983342.52954765.066666667
DRESDEN/double_tictactoe_dengji/bGaUyQ0.001155516115357031888.4768833.9333333333
STANFORD/duikoshi/tpw1sw0.001161511688711007561.6483507.8333333333
BASE/duplicateStateSmall/bCPAXw0.00117175753651672522415.03333333333332061035.0333333334
DRESDEN/catch_me/ghGWrA0.0011726364522417153931.7794534.4
DRESDEN/2player_normal_form_2010/NG_Kdg0.00117561373872546711729.06666666666661470777.8666666667
DRESDEN/chinesecheckers4/-oVNYg0.001177365633383066662.3666666666666752971.36666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.001243857513572481452.1333333333333363492.86666666664
BASE/double_tictactoe_dengji/zgaSbA0.0013068859075384075901.6699443351888689937.7666666667
BASE/tictactoe2/bhrDoQ0.0013089770716746621641.36666666666661253930.8
STANFORD/sukoshi/4LYZZQ0.00130965652304146381289.9666666666667984965.6333333333
BASE/coloredtrails/EZvr7g0.0013121975546276426495.2377382.2
BASE/blocksWorldParallel/RseaAQ0.0013177884474939586573.2808906369787435032.56666666665
STANFORD/tictactoe5/WFRReg0.00132419473799650211165.2879931.0
BASE/stateSpaceMedium/3bUoIw0.0013517018845760181963.51452613.2
DRESDEN/stratego/Z2wovg0.001354730295987202222.95180321311912164572.83333333334
BASE/stateSpaceLarge/0Ge_CQ0.0013651586020541691398.83333333333331024667.2666666667
DRESDEN/statespacelarge/8-y5HQ0.00136884238329930151366.8333333333333998532.3
BASE/toetictac/mTThmg0.00137759116771229851534.53333333333331113925.0666666667
DRESDEN/statespacemedium/dVJZ_w0.00137889710485181392007.61455946.2
BASE/blocksWorldSerial/Wyg96Q0.0014425023120188781168.8810258.6666666666
DRESDEN/toetictac/mJtxCA0.0014631129896571021534.41048722.8333333333
DRESDEN/ticblock/Z2yNWQ0.00147252242989541721051.4666666666667714058.1666666666
STANFORD/tictactoe7/-bE9-A0.00151796190294011021135.3747910.7333333333
DRESDEN/cube_2x2x2/fp-34Q0.0015262031624838062426.95243491883605279748.1
BASE/ticTacToe/JRFsaQ0.0015583983423497821205.7666666666667773721.7333333333
DRESDEN/buttons/ADUaHw0.00158020211795851493927.22485251.7
DRESDEN/lightsout/XgLpzQ0.0015877295853277882986.3621201.5
BASE/switches/tPUoCg0.00158835050418319722004.13333333333341261770.2
DRESDEN/tictactoe-init1/3ltIBQ0.00159442677973022711408.8883577.7333333333
DRESDEN/lightsout2/LFtfyQ0.001603961362905864971.2666666666667605542.4333333333
STANFORD/tictactoe/ss1kyQ0.00160846714165403761216.7333333333333756455.2
BASE/factoringGeorgeForman/HGRorQ0.00160884820210104443312.62058988.5333333334
BASE/buttons/hTcUjw0.00161496255167391483905.22418136.566666667
BASE/ticTacToeParallel/ymRGPw0.0016272094222834032501.2166261124629308022.2
BASE/tictactoe-init1/7M19vA0.00163582081515268071385.2666666666667846832.7666666667
DRESDEN/javastrike/whONTQ0.001649643249520927108.741293698137165918.06666666667
BASE/ticblock/T21C1g0.0016853980909081821208.2666666666667716902.8333333334
BASE/stateSpaceSmall/Q7osKA0.00169471247037459343171.51871408.9
STANFORD/trifecta/ss1kyQ0.0017365049066685731225.0849943337112705488.9333333333
BASE/troublemaker02/DI83KA0.00173946307983220933651.03333333333332098942.7
BASE/chickentictactoe/DSlZCA0.00174983911098183181097.6666666666667627295.7666666667
BASE/blocksWorld/SEdXLQ0.00175071514568280252709.21547481.9
DRESDEN/statespacesmall/h-NqjA0.00176016740103069453185.1333333333331809562.7333333334
DRESDEN/crisscross/GsY16g0.001807220377548158207.75974134195528114960.93333333333
DRESDEN/blocks/vg0DRw0.0018176187980333082641.3666666666671453201.6666666667
DRESDEN/brain_teaser_extended/ZDp94A0.00183729453135127331471.2800742.6
BASE/numbertictactoe/rvJ-iQ0.0018541986826995675814.6666666666666439363.2
DRESDEN/troublemaker02/iZLVuA0.00188976873994924623731.71974686.0666666667
BASE/chickentoetictac/l57rfQ0.00189450305964352541527.5333333333333806297.6333333333
BASE/circlesolitaire/azuQFQ0.00189592419765460581664.7878041.4333333333
BASE/blocks/xIV5hQ0.0019021521375516892688.6333333333331413469.1333333333
DRESDEN/circlesolitaire/ruUilQ0.00192328474421005141667.0866746.3333333334
BASE/brain_teaser_extended/ZDp94A0.00195689673992417971541.7666666666667787863.0666666667
DRESDEN/blocksworldparallel/2JfVaw0.0019621268289144143843.8666666666667430077.5333333333
DRESDEN/chickentoetictac/cxYaRQ0.00197868872969843461486.0666666666666751036.1
BASE/troublemaker01/s3tlEQ0.0019988903687614584390.1333333333332196285.2
DRESDEN/latenttictactoe/kITHKg0.00199991037728588451268.9666666666667634511.7666666667
DRESDEN/troublemaker01/C-lPWw0.00200485450865006644369.82179609.533333333
DRESDEN/blocker/S815zQ0.00207771283255203662073.6998020.5
BASE/ticTicToe/c1OobQ0.0020843548322973257698.0100663311223334880.63333333336
BASE/crisscross/ICagEg0.002087765483446489209.72634245525148100454.93333333333
DRESDEN/blockerparallel/dVQgSg0.0021467289127357994423.43333333333334197245.83333333334
BASE/blockerParallel/7-nDJA0.0021786471856715867419.2526915769474192437.16666666666
DRESDEN/sheep_and_wolf/enAIzQ0.0022294555437796606340.58864704509847152767.63333333333
STANFORD/tictictoe/rpt_Dw0.00223059495502463739.5331525.9
BASE/cubicup_3player/e2yA_g0.002239429652058284177.2881807879474879166.66666666667
DRESDEN/cubicup_3player/awDtsQ0.0023095301962912825177.6429809358752276917.36666666667
BASE/tictactoe_orthogonal/WRzlVw0.0024050649572183891833.3666666666666762294.0333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.0024055815575576821834.8762726.1666666666
STANFORD/8puzzle/jNiGtw0.002406636282117732506.26666666666665210362.76666666666
BASE/eightPuzzle/vLrgFg0.0024071329372610806496.7167761074631206352.03333333333
STANFORD/eightpuzzle/W_aWbA0.00240770600063584478.6333333333333198792.26666666666
DRESDEN/tictactoe/BTTzPw0.002417058078788081942.4803621.5666666667
BASE/doubletoetictac/fu35bg0.00250890521716774651236.7666666666667492950.73333333334
DRESDEN/eotcatcit/mQUxzA0.00266068787001257252156.866666666667810642.5
BASE/blocks2player/wnTLOQ0.00292407310234589841692.3666666666666578770.3
BASE/bunk_t/xbpfIA0.0029254816046596541241.3333333333333424317.6
DRESDEN/doubletictactoe/lJzgmQ0.0029569265848060721269.7666666666667429421.1
DRESDEN/bunk_t/7-tPfA0.0029697589386749221259.3666666666666424063.6
BASE/survival/YVIjJA0.00297507047738579266863.4666666666662306992.966666667
DRESDEN/blocks2player/3ev8nQ0.0029876374763817541743.8666666666666583694.2
DRESDEN/smallest/9kaGFw0.00299947958599458134.8767488341105911627.6
BASE/eotcatcit/AfZSzA0.00300834501947004142081.1666666666665691797.8666666667
BASE/doubletictactoe/HH1htg0.00305509690673391304.4426958.63333333336
DRESDEN/chickentictactoe/Ipbo-g0.0030699325877002371842.0333333333333600024.0333333333
DRESDEN/doubletoetictac/V89gKQ0.00307928177961528171274.3413830.26666666666
DRESDEN/tictictoe/LAUtwg0.00322161524130551097.2340574.5
BASE/eotcitcit/V_9_bg0.00323316374095090851075.5666666666666332666.93333333335
BASE/onestep/xi53wA0.00328067742464218957246.2333333333342208761.3
DRESDEN/sum15/CsgWKg0.0033568216387722842250.6666666666665670475.5
BASE/sum15/QZ07Kg0.00337137737507839332290.266666666667679326.7
DRESDEN/tictactoeparallel/yk_DSg0.0034886981451573061087.4311692.2
DRESDEN/8puzzle/8fKC2w0.004116254077956603828.5201275.23333333334
BASE/pearls/6k_mEQ0.004648219719071762514334.8666666666673083947.7333333334
BASE/haystack/UkweGA0.00471170762742148613598.1333333333332886030.8
BASE/snakeAssemblit/UO4sdg0.005145792123986996209.7790220977902340767.1
BASE/coins_atomic/AA3SSw0.0061095419982814072793.9666666666667457311.9666666667
BASE/coins/QnGtnQ0.0064414373585707682747.9426597.3333333333
DRESDEN/coins/QwFP9w0.00653522200264532342750.633333333333420893.63333333336

Games with errors:

GameREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
BASE/alexChess/LNo83gTest process timed out after 240 seconds
BASE/endgame/jYjfOAException of type NullPointerException
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
BASE/amazonsTorus/soxT8gOutOfMemoryError: GC overhead limit exceeded
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/knightazons/apnJBQTest process timed out after 240 seconds
BASE/cylinder-checkers/hlldmwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump/HUr33wTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
BASE/mummymaze1p/PT_EXATest process timed out after 240 secondsException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsException of type StackOverflowError
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsOutOfMemoryError: Java heap space
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsException of type StackOverflowError
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds

index