index

REKKURA_GENERIC_FORWARD_PROVER:1.0.0 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/gt_two_thirds_2p/1APDGg0.00.0151604.66666666666
DRESDEN/chinesecheckers6/yTbPDA0.00.0316299.3
BASE/twisty-passages/DiZmmg1.9090551023812648E-80.0526468188159730442757742.2333333334
DRESDEN/twisty-passages/j7NPyg1.941890126421712E-80.0515902700750638452656703.8666666667
BASE/ruleDepthExponential/UamhHQ5.061931254420535E-80.11205423424937672213665.6666666665
BASE/hanoi7_bugfix/3gdnFw2.257659131919129E-70.27485951624725141217453.5666666667
DRESDEN/hanoi7/51zz5Q2.2876592631228987E-70.281893068562658561232233.6333333333
DRESDEN/hanoi7_bugfix/3gdnFw2.3465024782904294E-70.28203440819780011201935.2666666666
BASE/solitaireChineseCheckers/-ET6gw2.7503131701332066E-70.06404713869407884232872.16666666666
DRESDEN/crissrace/KWb9bw3.197374995850175E-70.02797828884785406587503.93333333333
BASE/crissrace/ERWGDA3.318713413613499E-70.0284721826775240685792.83333333333
DRESDEN/vacuumcleaner_random/_6AGDA3.7030634906573386E-70.04964010920824026134051.46666666667
DRESDEN/vacuum_cleaner_1/eUNjpw3.9365732399090104E-70.057053202110968475144931.13333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4.260660911700218E-70.07180297264306743168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A4.482125253204984E-70.07533335007407779168075.06666666668
DRESDEN/crisscross/GsY16g4.824920087094598E-70.05546773164711429114960.93333333333
BASE/crisscross/ICagEg5.538395846065822E-70.05563591854901524100454.93333333333
BASE/ad_game_2x2/D0aWqg7.472685607168156E-70.0266552937413370335670.3
BASE/hitori/S8Gsyg8.33635830835801E-70.28950077200205865347274.86666666664
DRESDEN/hitori/S8Gsyg8.587744680845283E-70.2951497064900141343687.1
DRESDEN/chinesecheckers3/QsCb2A9.086601667240689E-70.3826530612244898421117.9
BASE/gt_tinfoil/Q8DyKg9.907025961835764E-70.4911108928396032495719.8
BASE/colonelBlottoVariant/X-n-KQ1.239994042185037E-60.45463401961421057366642.1
BASE/max_knights/2fq3Ag1.3626982838793715E-61.1083583257269527813355.6333333333
DRESDEN/max_knights/hCipiA1.3646814692368751E-61.04322879311469764448.5666666667
BASE/hanoi_6_disks/MeubgQ1.454965758350829E-61.88280372596947881294053.6333333333
DRESDEN/hanoi_6_disks/MeubgQ1.4967656441188208E-61.9994668088509731335858.3
DRESDEN/kalaha_2009/gcC8uA1.713753604074171E-60.0438548404780177625589.933333333334
BASE/kalaha_2009/dRiN3g1.7251217919855253E-60.0442663951661096525659.866666666665
BASE/colonelBlottoVariant2/jruwGw1.77948097447046E-60.43732233780026863245758.36666666667
BASE/checkers-newgoals/0XkFiA1.7884434103618468E-60.4417797412432944247019.13333333333
BASE/checkersTiny/Lr48cg1.921909155089181E-60.7871175100849431409549.8
BASE/gt_attrition/kD_SCA1.967867012928709E-60.24732578989674148125682.16666666667
BASE/pawnToQueen/-O1_JA2.2661684992523025E-61.282009138424115565716.6
BASE/skirmishZeroSum/zh4hcw2.3514039957052365E-60.4609812314784327196045.1
BASE/checkersSmall/SYmq8w2.5232081912323534E-60.77073766016892305459.4
BASE/knightmove/jBaJEw2.5936817298876104E-62.485089463220676958132.0
DRESDEN/pawntoqueen/f_x6Aw2.706815562828585E-61.2568215644121052464317.4
DRESDEN/knightmove/97Ipcw2.772284547555602E-62.5235755080355955910287.3333333334
DRESDEN/racer/vk_ZBA2.865179111514834E-60.0803212851405622528033.6
BASE/racer/QQYQNw2.901725904705887E-60.0794659885568976527385.766666666666
DRESDEN/quad_5x5/JAEP5g2.984192269535724E-62.008362690547526673000.4333333333
BASE/checkers/rOC3Xg3.1552415063028027E-60.7567283016384813239832.13333333333
BASE/quad_5x5/JAEP5g3.3549081056100805E-61.992892018467466594022.8333333334
BASE/battle/8oAvhQ3.5140746445516297E-60.9295222919363941264514.1
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3.5617808045308433E-65.9644123397064181674559.0666666667
DRESDEN/battle/8oAvhQ3.5926067203694024E-60.9467841984982044263536.8333333333
DRESDEN/fizzbuzz/t1xHzQ3.96233603272227E-66.4719548622635251633368.5
DRESDEN/chinesecheckers2/06E6-Q5.574575761957542E-63.6631256452096306657112.9
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA6.355910827061264E-60.315935801845065149707.4
DRESDEN/satlike_20v_91c/yeuENQ6.520176926968821E-60.351011551471057553834.666666666664
BASE/queens31lg/0gID-A6.9544427613811575E-61.0567333729608348151950.83333333334
DRESDEN/blobwars/ZaMluQ7.061070486315351E-60.1393262184077799819731.6
BASE/blobwars/0XT15Q7.226325037661841E-60.1396297020302158819322.366666666665
BASE/checkers-mustjump/T-8UuQ7.304243300379644E-61.2412621676357223169937.13333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ7.358478214901472E-60.383435582822085952108.0
DRESDEN/connect5/1kYzSg7.70280604642409E-65.963559685018615774206.1333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g7.972527721844184E-60.391913517750416449158.0
BASE/connect5/d-BVQg8.16236355245431E-66.364333077871447779716.9333333333
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw8.804886803937384E-61.2235449735449735138962.03333333333
BASE/checkers-cylinder-mustjump/rjr6qQ9.226605060228699E-61.2808302407304017138819.23333333334
BASE/wargame01/_GZFZg9.25165505249086E-62.213120169122019239213.43333333332
DRESDEN/quad_5x5_8_2/JRTLJg9.802094212224153E-65.915979792608349603542.4333333333
BASE/colonelBlotto/jip21A1.0476767899761015E-50.359759288330716934338.76666666667
DRESDEN/othello-cornercontrol/r5Gdlg1.1267287104329144E-50.539888211382113847916.433333333334
BASE/wargame03/klXI8w1.2024836720214789E-52.022680549108031168208.56666666668
BASE/queens16ug/gT-ylw1.2217687043503363E-56.562947662990972537167.7666666667
BASE/snake_2008/i6K26g1.3466954029379459E-55.0930395126660235378187.93333333335
BASE/snake_2008_tweaked/bX0NJQ1.3481889344848674E-55.038117335101094373695.2
DRESDEN/snake_2008/E56l3A1.3764296120972004E-55.090667110297788369845.8
BASE/mummymaze2p/vpjDdA1.3847734917834205E-515.1232511658894071092110.1
DRESDEN/chinesecheckers4/-oVNYg1.4068979316838764E-50.745253062018015752971.36666666667
BASE/checkers-mustjump-torus/uSApKQ1.4114445568501556E-51.458837571698551103357.76666666666
STANFORD/platformjumpers/HEQskA1.4154363576198467E-55.3419157901722025377404.1666666667
DRESDEN/mummymaze2p/k-8edg1.4501811787202288E-515.1883555940445661047341.9333333333
BASE/knightThrough/gcwFjA1.4806345040639777E-511.532948901703277778919.3666666667
DRESDEN/quad/JPe6fg1.648029171260864E-55.3783074931111186326347.8333333333
BASE/quad/tw-Ufg1.6594347678185172E-55.352571561554573322553.9
STANFORD/skirmish/w4V6Vw1.7939405687449653E-52.3876637373569887133096.03333333333
STANFORD/madness/UO_B3A1.823377785138227E-52.306805074971165126512.73333333334
BASE/hanoi/iGLsJg1.854364348826367E-521.350298104786331151354.0
BASE/wargame02/BkVqqQ1.8601625149864686E-52.191962803055463117837.16666666667
DRESDEN/hanoi/RQ0jiA1.876753612080212E-521.4183404949868431141244.1333333333
BASE/queens12ug/u6Bkmg2.1638750188188874E-512.754762221926201589440.8
BASE/reversi/d8UMeA2.3434638043497427E-51.799384937512268676783.13333333333
BASE/speedChess/bPnisA2.475890175065734E-55.0567217804983535204238.53333333333
BASE/reversiSuicide/9OxJlg2.5989041347310143E-51.926654265213925174133.33333333333
BASE/skirmishNew/sibw2g2.7556445731379224E-55.506717531929009199834.1
BASE/gt_ultimatum/GE-uOA3.209381971021416E-520.883293365307754650695.1666666666
DRESDEN/ghostmaze2p/HY0UwA3.356785359940819E-532.278481012658226961589.0666666667
BASE/quarto/EwBMVQ3.4099861111516545E-53.8357251504530123112485.06666666667
BASE/breakthroughHoles/nZk0Sg3.426312636469835E-530.889703432189272901543.6333333333
BASE/dotsAndBoxesSuicide/jzQbLw3.5083249334199394E-529.251066098081022833761.6
BASE/ghostMaze2p/W-NU-w3.518052866651107E-530.632970399227517870736.5
BASE/dotsAndBoxes/EHwA_w3.529979327043077E-529.37062937062937832034.0333333333
BASE/pancakes/yUgbXw3.593896969064715E-59.273416206873629258032.33333333334
DRESDEN/mummymaze2p-comp2007/oTQRQg3.609762046044938E-528.58856457417033791979.2
BASE/quartoSuicide/-23jUg3.6116776291158286E-53.9811558622520073110230.1
BASE/quad_7x7/q-JOXg3.6159424920162645E-517.03049491751375470983.56666666665
BASE/mummyMaze2p_2007/YGA3Vw3.618271521280531E-529.02462594554967802168.2666666667
DRESDEN/quad_7x7/q-JOXg3.659216042025242E-517.509986684420774478517.43333333335
BASE/pancakes6/QZTdnw3.715827742360293E-59.165444607385682246659.56666666668
DRESDEN/gt_ultimatum/pAiiQw3.7328161133161575E-523.046692866182642617407.6666666666
BASE/breakthrough/TGxk-g3.7629421854768764E-531.624900026659557840430.1333333333
BASE/breakthroughSuicide/wZDpIg3.813307987519567E-531.74550299800133832492.5
BASE/breakthroughWalls/vOZaYA3.8502329773465986E-531.223966143490287810963.0333333333
DRESDEN/quarto/OQzRYQ3.874751557836349E-54.0054288457082325103372.53333333334
DRESDEN/quartosuicide/WIU1oQ3.883596808054348E-54.056660238079404104456.26666666666
DRESDEN/pancakes/hl9aiQ3.963295619787823E-510.33875203616901260862.5
DRESDEN/pancakes6/SZXMyQ3.971831939633402E-510.195921631347462256705.76666666666
DRESDEN/nim1/M9BALA4.067009114070786E-529.479364444888578724841.3666666667
DRESDEN/breakthroughsuicide/Y9QzqQ4.143118821626715E-536.35575993868506877497.4
BASE/nim1/hin2Qw4.1934764377735934E-530.082952993303795717375.0333333333
BASE/wallmaze/uxNQ9g4.342518395650567E-523.57485348961108542884.3666666667
BASE/othelloHoles/c0qAzw4.358432110417332E-51.902949571836346343661.333333333336
DRESDEN/breakthrough/z4hK7Q4.382919503423863E-535.5809962.4
DRESDEN/knightthrough/J7Fc_Q4.3908199434162687E-533.76623376623377769018.8666666667
BASE/2pttc/unkkYA4.487173681818122E-531.071000399627014692440.3333333334
DRESDEN/nim2/z5_exA4.504147413132117E-530.30706720841937672870.2333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw4.5358340599302175E-535.3050892619238778359.3666666667
BASE/nim2/eF2Qqw4.581269840347394E-529.98700563089328654556.6333333333
BASE/guess/SPpk1A4.631428274254195E-52.522989078113069754475.4
BASE/pacman3p/wW7UVQ4.649344020420125E-521.787653662924342468617.8
DRESDEN/guess/PhxGhg4.664828523970432E-52.556016597510373254793.36666666667
DRESDEN/kitten_escapes_from_fire/uW-YiA4.799510971986461E-575.649015229779721576181.7333333334
BASE/ttcc4_2player_alt/ZEJvYA4.977975863888655E-519.44398202097553390600.1666666667
BASE/choicethroughalt/tt71Lg4.982477187504284E-524.509640680675346491916.76666666666
BASE/kitten_escapes_from_fire/uW-YiA5.129865999010096E-574.87753673897831459639.2333333334
BASE/knightfight/SJRkAg5.1361185114424845E-512.173218918379565237012.03333333333
BASE/queens08ug/kJ_ZFQ5.1428367731092514E-536.99260147970406719303.4333333333
DRESDEN/knightfight/4_Ly4w5.160788987710064E-512.084692722551434234163.66666666666
DRESDEN/tictactoe_3d_2player/LMuX9w5.321217183957789E-545.59533721898418856859.1666666666
DRESDEN/nim3/sG_axA5.343797814438862E-530.851241046143596577328.0
DRESDEN/nim4/F5YAYg5.42854559270297E-531.488454233447737580053.2333333333
BASE/nim3/1OwUqw5.430110668315133E-531.23751165578793575264.7333333333
BASE/pacman2p/4LEdQg5.444405223429869E-521.608123855501916396886.76666666666
DRESDEN/pacman3p/rBnk8Q5.505595844521879E-522.438244889806246407553.43333333335
BASE/nim4/twk16w5.5799779458771696E-531.305158690511874561026.5666666667
BASE/othelloSuicide/B442jg5.590373440293381E-51.857996018579960233235.63333333333
BASE/ttcc4_2player/_aH_Mw5.715704315614744E-520.781296832850433363582.43333333335
BASE/tictactoe_3d_2player/IUC1rQ5.727412632802103E-548.08236979774083839512.9333333333
BASE/bomberman2p/4CClwA6.09063056014064E-528.49913437208683467917.63333333336
DRESDEN/bomberman2p/x4h6jQ6.182635777272659E-528.766666666666666465281.6
DRESDEN/Travelers-Dilemma/PvZwYw6.272104499126069E-50.271345875542691744326.233333333334
BASE/nonogram_10x10_1/0Xc62g6.45877215233251E-512.025717045870948186192.0
STANFORD/ttcc4/Cx9SGw6.540181490410029E-522.316967557124777341228.56666666665
BASE/othello-comp2007/86ZoMw6.732742724129471E-52.194878616561356732600.066666666666
DRESDEN/skirmish2/iPpWhQ6.749766347353301E-517.373360846701726257392.03333333333
BASE/amazonsSuicide_10x10/XIbQkg6.76442408291164E-53.984989871484076658911.0
BASE/copolymer_4/2LDVhQ6.805857297398894E-550.073294243070364735738.2333333333
BASE/amazons_10x10/Bun8dA6.82677656909882E-53.743333222910524554833.1
BASE/4pttc/AL1k2Q6.994987350826507E-514.309960398016573204574.5
BASE/kalaha6x2x4/XS81Mg7.007490349190096E-54.56983906218954965213.63333333333
BASE/skirmish/Y_psYQ7.201818085286224E-58.052172755706396111807.5
BASE/cephalopodMicro/9l2D3g7.230154245300977E-521.044219499200853291061.8333333333
DRESDEN/skirmish/RjGQYQ7.375189007119129E-516.38470760623418222159.83333333334
BASE/checkersBarrelNoKings/rnKNeg7.50849267823563E-524.04262404262404320205.73333333334
DRESDEN/skirmish3/3LU8Nw7.622714854055793E-516.76554896340244219941.96666666667
DRESDEN/brawl/2kXtfQ7.717624160503998E-511.828601892576303153267.4
BASE/amazonsTorus_10x10/Uxc08g7.76757377758946E-51.53266917669010119731.633333333335
BASE/amazons_8x8/7SOsIw7.814016335535447E-59.44305901911887120847.7
BASE/brawl/6Ymo_Q7.869187389323533E-511.656952539550375148134.13333333333
STANFORD/knightstourbig/TQUI2g7.926621567641971E-576.56156256249584965878.8666666667
BASE/chineseCheckers1/gqtwHw7.986924302198148E-5132.18678132186781655039.8666666667
BASE/checkersTorusNoKings/pwb6oQ8.045633675824049E-523.050531294760333286497.4
STANFORD/checkersonabarrelnokings/Zrevdw8.100357209552228E-523.68421052631579292384.76666666666
BASE/queens06ug/7Lq3tw8.230601057527391E-574.53933557695511905636.6
STANFORD/chinook/osFbPA8.306137959761905E-521.664614463043694260826.56666666668
BASE/hidato37/pBrqxw8.31067053604501E-517.595210377515382211718.3
BASE/3pttc/0sol9g8.332222126964592E-521.465951134962168257625.76666666666
BASE/checkersTorus/2vm1EQ8.561620044716478E-519.309518260811664225535.8
BASE/copolymer_4_pie/IN5_jA8.631380845794765E-548.9983667211093567677.0333333333
BASE/racetrackcorridor/_RkdUg8.650087056507104E-558.62953462806889677791.2666666667
BASE/queens08lg/Ru7eqQ8.756222750764532E-542.070550614569804480464.6
DRESDEN/capture_the_king/EQ229Q8.825737036283725E-514.506254990684056164363.1
DRESDEN/golden_rectangle/1uloXw8.857715564907303E-564.16238917405506724367.2333333333
BASE/chinook/XQh0IQ8.864150159547988E-522.65081109889744255532.8
DRESDEN/CephalopodMicro/H3XQfg9.203071215336563E-525.676890798281548279003.5
DRESDEN/racetrackcorridor/O0DoTA9.588399654781599E-558.25501566353396607557.2333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg9.916681109953779E-5204.32060165.0666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg9.93692960939383E-5205.366666666666672066701.4333333333
BASE/biddingTicTacToe_10coins/a-9ccQ1.0071941916717513E-427.58069351453982273836.9
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1.0564617662865301E-429.916380717593363283175.23333333334
STANFORD/multiplesukoshi/vLSQPg1.0670531837240163E-4122.804678908254741150876.8333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.0741161434306553E-4206.81925303.9
BASE/skirmishFinal2/gdB62Q1.0859894339901091E-414.929849701736261137476.93333333332
BASE/skirmishFinal3/-Olhfw1.0865787868355365E-416.17465969980364148858.6
DRESDEN/skirmishfinal/hzq8ww1.1035717845718623E-414.649087761353043132742.5
BASE/breakthroughSuicideSmall/XSbJog1.105265189379784E-491.47865498050454827662.5
BASE/breakthroughSmall/HJ0tIA1.113642057740319E-491.09696343455218818009.3666666667
BASE/skirmishFinal1/ecWTnQ1.1429183741232582E-414.618714618714618127906.9
BASE/chineseCheckers6/rREH3A1.1559494660195102E-444.38964241676942384010.23333333334
BASE/knightsTourLarge/M8jgLA1.1635927973224353E-4106.87862427514497918522.5666666667
BASE/smallest_4player/ADDROA1.1868023656123102E-436.35575993868506306333.73333333334
BASE/ttcc4_2player_small/Cv72TA1.1989832613110103E-466.22008931547023552302.0333333333
DRESDEN/smallest_4player/ADDROA1.2120944201790588E-438.28596181400153315866.1666666667
BASE/skirmishHoles/AUCxCA1.2145490522764044E-415.481937739304145127470.66666666667
DRESDEN/Goldrush/VeWczQ1.2174951848267062E-441.856900056653444343795.2
BASE/chineseCheckers2/eCMR3Q1.2202698061525448E-4103.90216268452798851468.7666666667
STANFORD/multipletictactoe/_bkafQ1.2571878390651913E-4155.568886222755451237435.5
BASE/connectFourLarger/qKi60A1.25997995580676E-498.4901509849015781680.3
BASE/strangeSkirmish/gc1zKA1.2666271456032417E-413.430199620088645106031.2
BASE/2pffa_zerosum/o0_uZA1.2754747279599622E-463.31644894694748496414.76666666666
BASE/sheepAndWolf/g4THrg1.2768388119121696E-419.671148981493808154061.33333333334
BASE/golden_rectangle/_nYzfw1.2923353101052014E-4105.3122708791575814898.9666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.341083936973792E-4146.504032526827961092430.0
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.3462559519202954E-4163.455769615358971214150.7666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.347885868404971E-4168.222118525431631248044.2333333334
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3502227015917394E-4273.539312735393142025882.9333333333
DRESDEN/chinesecheckers1/Y-ftaA1.358769712846567E-4187.627079097363431380860.0333333334
BASE/nonogram_5x5_1/qLKEZw1.368843362550893E-448.51716094635122354439.1
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.4063070591124505E-4151.45152151451521076944.9
BASE/2pffa/6oHijA1.4287972021231218E-470.7595907075959495238.86666666664
BASE/pegEuro/5awwhg1.4536158991950004E-467.12662067126621461790.63333333336
BASE/chineseCheckers3/-1rZdQ1.4669570372163084E-473.88029858704346503629.6
BASE/peg/fJHVWw1.4705694097172966E-466.84884030925086454577.93333333335
DRESDEN/endgame/IJhh3Q1.471310638146663E-425.22240362509579171428.13333333333
STANFORD/pilgrimage/ObRZnQ1.4803619714308237E-443.44783926964982293494.7
STANFORD/freeforall/Lfp40Q1.5905379746568941E-482.63912029323559519567.1
DRESDEN/tictactoe_3d_6player/ulZPWg1.592769076165699E-438.197453503099794239817.9
BASE/kalaha5x2x3/WviNsw1.5982786501331507E-416.42512077294686102767.56666666667
BASE/chineseCheckers4/avfBcQ1.599119618107107E-458.29222770297294364527.0
BASE/escortLatch/mX9BjQ1.715712981391995E-484.55821084558211492845.9
DRESDEN/mimikry/GJEhwA1.7205164361765055E-4149.26666666666668867568.9666666667
BASE/connectFourSuicide/c8p9Kw1.7252938458274116E-4172.79424019199361001535.1333333333
BASE/tictactoe_3d_6player/d7KSwg1.753246191175923E-442.93047130191321244862.76666666666
DRESDEN/sat_test_20v_91c/dK7nVw1.7972239100652525E-4202.759908003066561128183.9
DRESDEN/ggp-course2013_jordi/9QI6Kw1.8548722105362868E-490.74549271836571489227.73333333334
BASE/gt_coordination/IVMOzA1.8859472694206415E-4203.633333333333331079740.3333333333
DRESDEN/ggp-course2013_michal13/jWKddg1.9048306237793772E-4107.95946936870875566766.7666666667
STANFORD/selectivesukoshi/3xmXYg1.9584877541256276E-4133.22445170321978680241.4333333333
STANFORD/alquerquezero/uVgA_A1.962100852028262E-465.8311389620346335513.5333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ2.0084645789194758E-4223.81841210585961114375.7
BASE/sudokuGrade1/tDRNRw2.0151752069948268E-4121.42928569047699602574.3333333334
BASE/sudokuGrade2/u80Tfw2.0548546896979352E-4122.2959234692177595156.0666666667
BASE/sudokuGrade4/DTy07w2.0630710723009625E-4121.57568486302739589294.7
BASE/sudokuGrade3/eI8dvg2.0963061302987237E-4122.30479554770554583430.0333333333
BASE/majorities/ibJzSQ2.0966165516785908E-499.47678874929183474463.43333333335
BASE/knightsTour/mvtVIg2.1099548692271657E-4277.50558277505581315220.4666666666
STANFORD/sudoku/oJ1qyQ2.1436850603672006E-4120.78792120787921563459.2666666667
BASE/duplicateStateLarge/dcjyuw2.157606826659669E-4276.266666666666651280431.0
BASE/sudokuGrade5/BQfUQA2.1616306408772762E-4123.8584094393707572986.0
STANFORD/knightstour/cEwgNA2.1682165779309077E-4278.28144790347311283457.8
BASE/dualConnect4/WbCQkg2.1707415793662077E-4192.50766564458073886829.0333333333
BASE/tttcc4/8Bs2lg2.1738058330705805E-429.290236587804067134741.73333333334
BASE/zhadu/DlA8iQ2.1873007365831164E-422.8104238.06666666667
BASE/ttcc4/Le0qjQ2.2299295365903188E-429.564695686954202132581.3
DRESDEN/tttcc4/sAvtFg2.3187696604921968E-430.097993467102192129801.56666666667
BASE/qyshinsu/R08Lzw2.3377913830417845E-460.29598026798214257918.56666666668
BASE/blokbox_simple/JBx4bg2.3588657659450991E-44.109906864207351517423.233333333334
STANFORD/breakthrough/d5j0cQ2.3617835735243036E-4189.64770189647703802985.1
BASE/sudokuGrade6E/ihYFZA2.3696038988083636E-4121.48380215971204512675.56666666665
BASE/mineClearingSmall/frsbvw2.396195703862053E-468.44157142381127285625.9666666667
BASE/futoshiki6/JmvXNA2.3962263577128655E-4133.1489134782029555660.8333333334
BASE/sudokuGrade6H/ieE_9A2.4064252863319498E-4124.01266455590735515339.76666666666
DRESDEN/aipsrovers01/qS47Mw2.435942285057154E-4393.266666666666651614433.4333333333
BASE/firefighter/WJmoPw2.450015727006687E-41005.34103238.966666667
STANFORD/duidoku/3SoMaA2.465778222294717E-476.88206085246776311796.3333333333
DRESDEN/Zhadu/9zpQ5w2.533302495039793E-425.626499600106637101158.46666666666
STANFORD/knightstourmedium/x1wu8Q2.5457193810217893E-4324.955834805506471276479.4
DRESDEN/connectfoursuicide/M9CNQg2.5764663031051016E-4255.524815839472991764.6333333333
BASE/aipsrovers01/4C4jsw2.584056446082392E-4399.053364887837061544290.4333333333
DRESDEN/firefighter/WJmoPw2.6031196773197484E-41002.93333333333333852813.0
BASE/connectFourLarge/aU644A2.670072325441103E-4233.98440103993067876322.3333333334
BASE/3pConnectFour/PqXOFQ2.7260172276420756E-4186.4209052729818683858.1333333333
DRESDEN/Runners/3bOCQw2.764229836240244E-4235.6176254916339852380.7333333333
DRESDEN/oisters_farm/pTQMLg2.866224952254731E-41073.33744646.7666666666
STANFORD/hex/MTqWcw2.8909954786315157E-424.3292784535910784155.36666666667
BASE/hex/T1MK8g2.9040588687568675E-424.32684617435350683768.43333333333
BASE/englishDraughts/jFkQxg2.934700785767689E-488.70672131693826302268.36666666664
DRESDEN/connect4/T0-rHQ2.9359494446713037E-4175.24914175249143596907.9
DRESDEN/grid_game2/kypTYQ2.9967025972494135E-4424.571695220318651416796.2333333334
BASE/hidato19/rRHSmA3.01956790469812E-4137.46208459718008455237.6
BASE/gt_chicken/gmepTQ3.021710156385485E-4128.18290894547394424206.5
BASE/connect4/50bOyw3.042499835010473E-4174.12752908236394572317.3
DRESDEN/tictactoe_3d_small_2player/HYttcg3.0501157779500384E-4265.3333333333333869912.3333333334
BASE/3pffa/pR0dzA3.0642740594777454E-462.239696131676276203114.0
BASE/4pffa/Q3ADlg3.0948622735890155E-454.17652350648053175053.1
BASE/factoringMediumTurtleBrain/8RBqmQ3.09799401727951E-4473.150894970167661527281.5
BASE/tictactoe_3d_small_2player/oOryKA3.0994383754537504E-4265.20681265206815855660.8666666667
BASE/futoshiki5/TJ4BZg3.1626830300681113E-4194.14078122916945613848.3666666667
DRESDEN/grid_game/U7_Yeg3.2111536081117046E-4195.00733235568592607281.2333333333
BASE/biddingTicTacToe/8mESVw3.26043770068116E-4126.39157389507366387652.1666666667
DRESDEN/backgammon/mqCW0Q3.292397041706494E-449.3786026055376149977.66666666666
BASE/pentago/86NgKw3.327470614357131E-4120.8798533577737363278.5
DRESDEN/4pttc/9pB9AQ3.3494207477086156E-482.71127699280191246942.03333333333
STANFORD/multiplebuttonsandlights/cK70Yg3.430103601973391E-41235.53333333333333602029.2
STANFORD/multiplebuttonsandlights_9/SqB9BA3.4388635730387877E-41238.03333333333333600123.433333333
BASE/connectFour_9x6/B9TtMw3.4600929971461276E-4332.0555981467284959672.4666666667
STANFORD/pentago/ZxzLmg3.463629838845949E-4127.0909696767744366930.0
BASE/pentagoSuicide/SBgNhw3.4690707424558405E-4122.42517165522298352904.8
DRESDEN/bidding-tictactoe/yW5vTA3.5595964611449604E-4137.51041493084486386309.0
BASE/gt_staghunt/xPjLRA3.6020409386603716E-4149.09503016566114413918.2
BASE/connectFour/WAIKTw3.652334662255253E-4356.3881203959868975781.6666666666
BASE/pawnWhopping/Ypc_6Q3.673467377420658E-4268.5730917.0666666667
BASE/asteroidsSerial/id2QkA3.6757326424442566E-4298.1134591027265811031.4
STANFORD/connectfour/VMpZkQ3.6852094748406045E-4360.3333333333333977782.5
BASE/hexPie/48CH6Q3.694047591435493E-424.16102909321158565405.3
DRESDEN/babel/WdSW4A3.7095074985832744E-487.27381785464361235270.63333333333
DRESDEN/pentago_2008/hLjVpQ3.8210798251013593E-4136.06213126229125356082.93333333335
DRESDEN/gt_chicken/CeuKtw3.827295369307744E-4161.0731544742543420853.73333333334
BASE/gt_prisoner/klthDw3.835041877277819E-4154.7793627516331403592.36666666664
BASE/nineBoardTicTacToe/wRmqqA3.954045839313401E-4210.93333333333334533462.0333333333
BASE/snake_2009_big/-oRfVw3.967124441735851E-4138.59538015399485349359.8
STANFORD/nineboardtictactoe/y28P-A3.998640375734972E-4215.63333333333333539266.6333333333
BASE/minichess-evilconjuncts/4OpQzw3.999058071045056E-4111.95920271981868279963.93333333335
STANFORD/bestbuttonsandlightsbig/g0JC6g4.0105843657860214E-4902.96666666666672251459.1
BASE/breakthroughSmallHoles/bxclRw4.015414821024892E-4314.0228659044698782043.4
DRESDEN/minichess-evilconjuncts/th24Tw4.0589193381672964E-4112.9811698050325278352.8333333333
BASE/point_grab/V_osUg4.0649924121405974E-4750.21845513.9
DRESDEN/minichess/c7GMFw4.0900791535470227E-4112.49625012499584275046.63333333336
DRESDEN/roshambo2/jgSlkQ4.1034838190081907E-4310.84594360375974757517.1666666666
BASE/tictactoe_3player/GtM71g4.1213367159256435E-4201.5397946940408489015.6
DRESDEN/knightstour/cGISAA4.19376146885088E-4533.83333333333341272922.5
BASE/roshambo2/KNPokQ4.2341175731214334E-4313.8228725709143741176.5666666667
BASE/connectFourSimultaneous/7ITr3g4.412284475643243E-4229.86666666666667520969.73333333334
BASE/incredible/8Qh-6Q4.4364408905577104E-4838.56666666666671890178.8333333333
DRESDEN/snake_2009_big/DgC1NQ4.460907081569157E-4137.25751616558895307689.7
BASE/gt_centipede/9fRMpw4.4714506062808385E-4480.81075266.2666666666
BASE/tictactoex9/BI26ow4.555361287097326E-4236.43333333333334519022.13333333336
DRESDEN/tictactoex9/rFkD4w4.6219161107958524E-4237.95873470884302514848.6666666667
DRESDEN/towerworld/HCX34w4.624134579928332E-417.15580132582697537100.566666666666
BASE/futoshiki4/BaCwSw4.6379354350552205E-4343.25522482583915740103.5
DRESDEN/connectfour/5tc-Mg4.6586828690291335E-4453.23333333333335972878.7
BASE/duplicateStateMedium/U163eQ4.7501783594367566E-4790.83333333333341664849.7666666666
BASE/minichess/8NQEiA4.835335195111872E-4114.77704459108179237371.43333333332
BASE/asteroids/BKCmPQ4.83882978744262E-4452.46666666666664935074.5666666667
BASE/ruleDepthLinear/OUBJpQ4.900384525330082E-4825.93333333333331685445.9666666666
DRESDEN/gt_prisoner/huCp4w4.927111825379022E-4203.85307646156923413737.4666666667
BASE/snake_2009/7l-qAQ4.965945992088983E-4161.51179842687642325238.73333333334
BASE/beatMania/qUHwvQ4.98313320979646E-4488.3170560981301979939.8
DRESDEN/snake_2009/zIYLVw4.990543351822358E-4166.38890740617293333408.4
BASE/nineBoardTicTacToePie/B8LzeQ5.103220667427843E-4228.71046228710463448168.86666666664
BASE/snake2p/I3wWPQ5.202697961378412E-4298.3573356.3666666667
BASE/ticTacToeLarge/TZC0dg5.250327671055763E-4694.77684077197431323301.8666666667
BASE/ticTacToeLargeSuicide/727_8g5.290891163662977E-4694.16666666666661312003.3
BASE/simultaneousWin2/PfjRjw5.299347615386143E-4486.6918226.2333333333
STANFORD/hunter/14dD-g5.307202367961524E-4457.7180760641312862447.0
BASE/asteroidsParallel/WauZiA5.393151426492601E-4266.4493959.8
DRESDEN/tictactoe_3player/ESLQQQ5.553849265376702E-4257.11619225384976462951.3333333333
DRESDEN/catcha_mouse/cHv4dw5.56972700907493E-4384.8690877.6666666666
DRESDEN/frogs_and_toads/GjchhQ5.677576718338832E-481.07297567477508142795.03333333333
BASE/chomp/-LcqYQ5.742793844907365E-4224.19252691576946390389.3
STANFORD/bestbuttonsandlights/nm0wEA5.758734701849496E-41226.36666666666662129576.6
DRESDEN/logistics/fPru1Q5.780625504003495E-4287.14752349843343496741.26666666666
BASE/conn4/va9Y7A5.901685627633216E-4386.7204426519116655271.1666666666
BASE/slidingpieces/uFJWEw5.904327939760347E-4254.0497300179988430277.13333333336
DRESDEN/slidingpieces/s9_44g5.94173237234938E-4258.26666666666665434665.6
BASE/cubicup/4wNWJA5.964854343444005E-4224.35918802706576376135.23333333334
DRESDEN/chomp/-LcqYQ5.970607634910292E-4219.9593346888437368403.6
BASE/tictactoe_3d_small_6player/g_9lww6.04881718199929E-4199.8533431104593330400.7
BASE/catcha_mouse/cHv4dw6.127360633325387E-4374.68751041631947611499.0333333333
BASE/blockerSerial/3eqDuw6.133136492176242E-4354.60969268715417578186.5333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ6.13609406557189E-4204.5333273.9
BASE/factoringMutuallyAssuredDestruction/NH0LGg6.20378061279309E-41053.73333333333331698534.1666666667
DRESDEN/cubicup/SBn_lw6.249777175988755E-4223.8358092.76666666666
BASE/lightsOnSimultaneous/_VN6lw6.265556718842853E-4508.4163861204627811446.4666666667
BASE/factoringEasyTurtleBrain/lUj94Q6.320200501683507E-41040.36666666666661646097.5666666667
BASE/tron_10x10/7ZTgDg6.565498108698434E-4247.76666666666668377376.8
BASE/rubiksCube/9tNO9Q6.639565033070803E-483.63333333333334125962.06666666667
BASE/gt_dollar/TGjqRw6.712672149434403E-4659.4333333333333982370.8333333334
BASE/snakeParallel/RCVNtw6.765112225546959E-4524.5666666666667775399.8
BASE/lightsOnSimul4/9FeASw6.862634315134035E-4374.50836610892605545721.0
STANFORD/untwistycomplex/HTWEwg7.000496939475996E-42472.16666666666653531415.966666667
BASE/checkLines/Vop7oQ7.07915590556808E-4295.8666666666667417940.6
DRESDEN/point_grab/r5DPmQ7.421024645044267E-41345.03333333333331812463.1
BASE/hodgepodge/9yjRkw7.43839442586111E-4996.16666666666661339222.7
STANFORD/untwistycorridor/EDPPAQ7.446219403735818E-42725.53660246.7
DRESDEN/peg_bugfixed/u_B7MA7.620695667525813E-4348.2456913.6666666667
STANFORD/dualhunter/1rPZjQ7.69116367561107E-4341.9219359354688444564.63333333336
BASE/shmup/ssTNlg7.705224408420164E-4154.33333333333334200297.0
DRESDEN/peg/Vo31eg7.762817446877984E-4353.0431304579695454787.36666666664
BASE/maze/cCX3qQ7.980796001593197E-41814.32273332.1333333333
DRESDEN/3pttc/uwYBZw8.132920375516905E-4220.45196986867543271061.26666666666
DRESDEN/pawn_whopping/4ogBkg8.155643106644609E-4670.7776407453085822470.5666666667
BASE/lightsOnParallel/SC6enA8.52863410627819E-41438.26666666666671686397.4333333333
DRESDEN/3pffa/0YrmQw8.559775341000269E-4213.36666666666667249266.66666666666
BASE/untwistycomplex2/EDPPAQ8.876471148595508E-42801.03155533.2666666666
BASE/ticTacHeavenFC/mrletw8.878677199026744E-4320.4360864.56666666665
DRESDEN/tictactoelargesuicide/6J4DeA8.8852755344392E-41161.61307331.4333333333
DRESDEN/tictactoelarge/IwXcbg9.001447629206498E-41141.36666666666661267981.2333333334
STANFORD/threepuzzle/41ibjA9.009818327257858E-4978.86666666666671086444.4
STANFORD/3puzzle/41ibjA9.032249571568718E-4992.61098951.0333333334
BASE/withConviction/3Xm54A9.181077866981675E-4585.713809539682637957.5666666667
BASE/ticTacToeSerial/Amrwqw9.216249951028303E-4481.46666666666664522410.6
DRESDEN/tpeg/h-Scbg9.253028881043912E-4336.26666666666665363412.5333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ9.505722161039217E-4739.3666666666667777812.2
STANFORD/rainbow/_4qNSQ9.564916149020957E-41492.61560494.6
BASE/tpeg/QNs7Lw9.731698764755888E-4352.1098593427105361817.4666666667
STANFORD/jointbuttonsandlights/qAKuIQ9.893385413914067E-41413.96666666666671429204.0666666667
STANFORD/dualrainbow/G3OnRQ0.0010361320120388744920.1666666666666888078.6
BASE/ticTacHeaven/18n58A0.001036299169003977370.73333333333335357747.4
BASE/lightsOut/5P1ZBw0.0010396578760218053662.4333333333333637164.7333333333
BASE/blocker/dIWtxg0.0010399282395771631032.0992376.1666666666
DRESDEN/Thief_Police/CX18rA0.0010881245682902397965.6666666666666887459.6666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0010883224657350886951.8333333333334874587.6
BASE/lightsOn/MsXu3A0.00110481415982640232288.32071208.0666666667
STANFORD/tictactoe3/X7myng0.00112696019456230071264.63333333333341122163.2666666666
BASE/duplicateStateSmall/bCPAXw0.0011339609931585992337.1333333333332061035.0333333334
DRESDEN/double_tictactoe_dengji/bGaUyQ0.0011339683324764801871.8333333333334768833.9333333333
BASE/cittaceot/fDxhXg0.0011365581826093582225.40327956272498198320.93333333332
DRESDEN/2player_normal_form_2010/NG_Kdg0.00114646816369460381686.21470777.8666666667
DRESDEN/lightson2x2/gBHuig0.00115043942110195781676.41457182.3333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.001152972967960927969.9841216.6
STANFORD/buttonsandlights/eyhJpA0.0011583097999714633422.53333333333332954765.066666667
BASE/ticTacToeNoVars/XT03NA0.00116015687514964991439.71240952.8666666667
STANFORD/duikoshi/tpw1sw0.0012066677995909753583.4333333333333483507.8333333333
DRESDEN/catch_me/ghGWrA0.0012110237140141446962.2794534.4
STANFORD/sukoshi/4LYZZQ0.00123855421148534831219.9333333333334984965.6333333333
DRESDEN/blocker/S815zQ0.00123978749267508371237.3333333333333998020.5
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0012581631588185224457.3333333333333363492.86666666664
BASE/blocksWorldSerial/Wyg96Q0.0012969932235631751050.9810258.6666666666
BASE/blocksWorldParallel/RseaAQ0.001327180332935994577.3666666666667435032.56666666665
BASE/stateSpaceLarge/0Ge_CQ0.00133152166664313591364.36666666666661024667.2666666667
BASE/toetictac/mTThmg0.00134129309475993461494.11113925.0666666667
DRESDEN/stratego/Z2wovg0.001342060303594052220.86666666666667164572.83333333334
DRESDEN/statespacemedium/dVJZ_w0.00135259118777877931969.31455946.2
STANFORD/tictactoe5/WFRReg0.00135662152297547581193.7333333333333879931.0
BASE/coloredtrails/EZvr7g0.0013637809803076738514.6666666666666377382.2
BASE/stateSpaceMedium/3bUoIw0.00137168885243045651992.53333333333331452613.2
BASE/double_tictactoe_dengji/zgaSbA0.0013784818176595928951.0666666666667689937.7666666667
DRESDEN/statespacelarge/8-y5HQ0.00138750310497383671385.4666666666667998532.3
BASE/ticblock/T21C1g0.00140125916645607721004.5666666666667716902.8333333334
DRESDEN/toetictac/mJtxCA0.00144598104011275951516.43333333333341048722.8333333333
DRESDEN/cube_2x2x2/fp-34Q0.0014532828458751648406.55311489617014279748.1
STANFORD/tictactoe7/-bE9-A0.00152197307682262621138.3747910.7333333333
BASE/ticTacToe/JRFsaQ0.0015518068252961921200.6666666666667773721.7333333333
DRESDEN/buttons/ADUaHw0.00157222170561905923907.3666666666672485251.7
DRESDEN/tictactoe-init1/3ltIBQ0.00159736936180525481411.4883577.7333333333
STANFORD/tictactoe/ss1kyQ0.00159758304259128651208.5756455.2
BASE/tictactoe-init1/7M19vA0.0015981116775397961353.3333333333333846832.7666666667
DRESDEN/lightsout/XgLpzQ0.0016026469135484488995.5666666666667621201.5
DRESDEN/lightsout2/LFtfyQ0.001610401869442345975.1666666666666605542.4333333333
BASE/ticTacToeParallel/ymRGPw0.001616441931782839497.9308022.2
BASE/buttons/hTcUjw0.0016224062999915763923.22418136.566666667
BASE/factoringGeorgeForman/HGRorQ0.00163620791412534333368.93333333333342058988.5333333334
DRESDEN/javastrike/whONTQ0.0016545792706299032109.0666666666666665918.06666666667
BASE/switches/tPUoCg0.00166926856675909242106.2333333333331261770.2
DRESDEN/tictactoe_orthogonal/y69QFQ0.00167347084154492341276.4762726.1666666666
DRESDEN/ticblock/Z2yNWQ0.00169668717464426921211.5333333333333714058.1666666666
BASE/tictactoe_orthogonal/WRzlVw0.0017041980432659821299.1762294.0333333333
STANFORD/trifecta/ss1kyQ0.00170926375977170991205.8666666666666705488.9333333333
BASE/troublemaker02/DI83KA0.00174189287460459633656.1333333333332098942.7
BASE/blocksWorld/SEdXLQ0.00176088220051771432724.93333333333341547481.9
BASE/stateSpaceSmall/Q7osKA0.0017631101358981463299.51871408.9
BASE/chickentoetictac/l57rfQ0.00176589050304790261423.8333333333333806297.6333333333
DRESDEN/statespacesmall/h-NqjA0.00178776154430825463235.06666666666661809562.7333333334
BASE/chickentictactoe/DSlZCA0.00182380740865831851144.0666666666666627295.7666666667
BASE/numbertictactoe/rvJ-iQ0.0018268864271442547802.6666666666666439363.2
DRESDEN/blocks/vg0DRw0.00184635993398484492683.1333333333331453201.6666666667
BASE/tictactoe2/bhrDoQ0.0018756750106677872351.96666666666671253930.8
BASE/circlesolitaire/azuQFQ0.0018788786846543271649.7333333333333878041.4333333333
DRESDEN/troublemaker02/iZLVuA0.00190494414791535963761.66666666666651974686.0666666667
BASE/blocks/xIV5hQ0.0019054772897528672693.33333333333351413469.1333333333
DRESDEN/brain_teaser_extended/ZDp94A0.00191767824849916391535.5666666666666800742.6
BASE/brain_teaser_extended/ZDp94A0.00192905772289025511519.8333333333333787863.0666666667
DRESDEN/latenttictactoe/kITHKg0.00192972518030004481224.4333333333334634511.7666666667
DRESDEN/circlesolitaire/ruUilQ0.00194012934964824361681.6866746.3333333334
DRESDEN/chickentoetictac/cxYaRQ0.00197553752742378161483.7751036.1
BASE/troublemaker01/s3tlEQ0.00200570490571989464405.12196285.2
BASE/ticTicToe/c1OobQ0.0020610328914213113690.2334880.63333333336
DRESDEN/troublemaker01/C-lPWw0.00206897914406259254509.5666666666672179609.533333333
STANFORD/tictictoe/rpt_Dw0.0021092369153259717699.2666666666667331525.9
DRESDEN/blockerparallel/dVQgSg0.0021458124163910098423.2525582480584197245.83333333334
DRESDEN/blocksworldparallel/2JfVaw0.002153487673462909926.1666666666666430077.5333333333
BASE/cubicup_3player/e2yA_g0.0021745193901662467172.1494517214945379166.66666666667
DRESDEN/sheep_and_wolf/enAIzQ0.0021878543644388896334.23333333333335152767.63333333333
BASE/blockerParallel/7-nDJA0.0022149221001140636426.23333333333335192437.16666666666
DRESDEN/eotcatcit/mQUxzA0.0022493269227803871823.4810642.5
DRESDEN/cubicup_3player/awDtsQ0.0023626299707453333181.7272757574747676917.36666666667
STANFORD/8puzzle/jNiGtw0.0023690821078444966498.3666666666667210362.76666666666
STANFORD/eightpuzzle/W_aWbA0.0024417448834361095485.4198792.26666666666
BASE/eightPuzzle/vLrgFg0.0024575305668695533507.1164294523516206352.03333333333
DRESDEN/tictactoe/BTTzPw0.0024677452865770531983.1333333333334803621.5666666667
BASE/doubletoetictac/fu35bg0.0025529258434345231258.4666666666667492950.73333333334
BASE/eotcatcit/AfZSzA0.0027631867034763911911.5666666666666691797.8666666667
DRESDEN/smallest/9kaGFw0.002813546643290842632.714794949528611627.6
DRESDEN/tictictoe/LAUtwg0.0028283581614791087963.2666666666667340574.5
BASE/eotcitcit/V_9_bg0.002896089862853817963.4333333333333332666.93333333335
DRESDEN/blocks2player/3ev8nQ0.0029456634427182361719.3666666666666583694.2
DRESDEN/doubletoetictac/V89gKQ0.0029785158295172221232.6413830.26666666666
BASE/doubletictactoe/HH1htg0.00301270404103941641286.3426958.63333333336
BASE/blocks2player/wnTLOQ0.00301645287142988031745.8333333333333578770.3
DRESDEN/doubletictactoe/lJzgmQ0.0030238383721712791298.5429421.1
DRESDEN/bunk_t/7-tPfA0.0030261184092826331283.2666666666667424063.6
BASE/bunk_t/xbpfIA0.0030547087056173651296.1666666666667424317.6
DRESDEN/chickentictactoe/Ipbo-g0.0030650994479610011839.1333333333334600024.0333333333
BASE/survival/YVIjJA0.0031410296598361257246.3333333333332306992.966666667
BASE/sum15/QZ07Kg0.00319394679074638642169.733333333333679326.7
BASE/onestep/xi53wA0.0033991299406896837507.8666666666672208761.3
DRESDEN/sum15/CsgWKg0.00341106175144853662287.0333333333333670475.5
DRESDEN/tictactoeparallel/yk_DSg0.00357157905566239141113.2333333333333311692.2
DRESDEN/8puzzle/8fKC2w0.004054150063503425816.0201275.23333333334
BASE/pearls/6k_mEQ0.00481754814002900514857.0666666666683083947.7333333334
BASE/haystack/UkweGA0.00493405452683780614239.8333333333342886030.8
BASE/snakeAssemblit/UO4sdg0.005038522383831166205.405945873883540767.1
BASE/coins_atomic/AA3SSw0.0062465746395294412856.633333333333457311.9666666667
BASE/coins/QnGtnQ0.0066562378886569072839.5333333333333426597.3333333333
DRESDEN/coins/QwFP9w0.0067654464401892822847.5333333333333420893.63333333336

Games with errors:

GameREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
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