index

REKKURA_BACKWARD_PROVER_OSTD:1.0.0 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/hitori/S8Gsyg3.0356128870907164E-61.0541920606160435347274.86666666664
DRESDEN/hitori/S8Gsyg3.2322810163593623E-61.1108932888976017343687.1
DRESDEN/othello-cornercontrol/r5Gdlg3.397308618524347E-60.1627869119322806547916.433333333334
BASE/max_knights/2fq3Ag8.467286116330644E-66.8869148617626506813355.6333333333
BASE/pawnToQueen/-O1_JA8.76015302697091E-64.955763985897692565716.6
DRESDEN/max_knights/hCipiA8.96607190338402E-66.854100815172185764448.5666666667
BASE/gt_attrition/kD_SCA9.383986987317E-61.1793998165378063125682.16666666667
DRESDEN/pawntoqueen/f_x6Aw1.0367041130145113E-54.813597583242041464317.4
DRESDEN/battle/8oAvhQ1.3801050106194476E-53.6370850416611558263536.8333333333
BASE/battle/8oAvhQ1.3828706054233128E-53.657887736100027264514.1
BASE/wargame01/_GZFZg1.707235442199504E-54.083936516368949239213.43333333332
BASE/gt_two_thirds_2p/1APDGg1.7455202996485474E-52.6462902318811814151604.66666666666
BASE/ad_game_2x2/D0aWqg1.750948421002561E-50.624568554616876535670.3
BASE/wargame03/klXI8w1.9369328816197832E-53.258087037468001168208.56666666668
BASE/connect5/d-BVQg2.296981257374139E-517.909951819239076779716.9333333333
BASE/twisty-passages/DiZmmg2.3955996945369357E-566.06446451784942757742.2333333334
DRESDEN/twisty-passages/j7NPyg2.428103904638105E-564.507530321204852656703.8666666667
DRESDEN/connect5/1kYzSg2.663497467799171E-520.620960756879207774206.1333333333
BASE/wargame02/BkVqqQ3.3869505574666615E-53.991086573319586117837.16666666667
BASE/mummymaze2p/vpjDdA4.1404488961146615E-545.218260579806731092110.1
DRESDEN/mummymaze2p/k-8edg4.337098232958807E-545.42424848363661047341.9333333333
STANFORD/madness/UO_B3A6.023007613128457E-57.61987156024357126512.73333333334
BASE/solitaireChineseCheckers/-ET6gw6.127886348419358E-514.270141710435041232872.16666666666
STANFORD/skirmish/w4V6Vw6.13428459511426E-58.164489469474807133096.03333333333
STANFORD/platformjumpers/HEQskA6.78159658017889E-525.594028060119307377404.1666666667
BASE/checkers-mustjump/T-8UuQ6.878479090010346E-511.689090182496336169937.13333333333
BASE/checkers-cylinder-mustjump/rjr6qQ7.124926696727018E-59.89076861595844138819.23333333334
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.462417584386608E-510.369927211087845138962.03333333333
BASE/knightThrough/gcwFjA8.385452788947019E-565.31591575579846778919.3666666667
BASE/checkers-mustjump-torus/uSApKQ8.488367806817495E-58.773387391578877103357.76666666666
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1.0078905497478003E-416.940127134156487168075.06666666668
DRESDEN/vacuum_cleaner_1/eUNjpw1.0502337253652035E-415.221156408206769144931.13333333333
BASE/checkers-newgoals/0XkFiA1.0550027243489599E-426.060585863298563247019.13333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1.0565079245450006E-417.804845580404685168525.43333333332
BASE/skirmishZeroSum/zh4hcw1.0568751945234443E-420.71952031978681196045.1
DRESDEN/vacuumcleaner_random/_6AGDA1.1262453241372877E-415.097483752707882134051.46666666667
BASE/speedChess/bPnisA1.1362331576383192E-423.206259364075244204238.53333333333
BASE/colonelBlottoVariant/X-n-KQ1.184111709334645E-443.414520374504384366642.1
BASE/skirmishNew/sibw2g1.1896792772783528E-423.77384876635701199834.1
BASE/mummyMaze2p_2007/YGA3Vw1.2217378351419108E-498.00393215368723802168.2666666667
DRESDEN/hanoi7/51zz5Q1.2484104407797775E-4153.833333333333341232233.6333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg1.2846238401677766E-4101.73953612370035791979.2
DRESDEN/hanoi7_bugfix/3gdnFw1.341170398028646E-4161.21201935.2666666666
BASE/pacman3p/wW7UVQ1.3440207452385645E-462.98320447880565468617.8
BASE/nonogram_10x10_1/0Xc62g1.3503909770719682E-425.143199680298387186192.0
DRESDEN/ghostmaze2p/HY0UwA1.3938268471488084E-4134.02886570447652961589.0666666667
BASE/hanoi7_bugfix/3gdnFw1.399956967201665E-4170.438260289951671217453.5666666667
BASE/breakthroughHoles/nZk0Sg1.436007603717293E-4129.46235125495818901543.6333333333
BASE/colonelBlotto/jip21A1.4848059081630716E-45.09864036256998234338.76666666667
BASE/ghostMaze2p/W-NU-w1.4962847118832128E-4130.28697130286972870736.5
BASE/pacman2p/4LEdQg1.5055859943475557E-459.75471572352196396886.76666666666
BASE/connectFourLarger/qKi60A1.516132495604316E-4118.51309040037306781680.3
BASE/breakthroughWalls/vOZaYA1.527867698138764E-4123.90442230146299810963.0333333333
BASE/breakthrough/TGxk-g1.5302084110258642E-4128.6033258906255840430.1333333333
DRESDEN/breakthroughsuicide/Y9QzqQ1.5844301456999568E-4139.03333333333333877497.4
BASE/breakthroughSuicide/wZDpIg1.5868010822920326E-4132.1832492.5
DRESDEN/pacman3p/rBnk8Q1.59063438916603E-464.8268506482685407553.43333333335
DRESDEN/knightthrough/J7Fc_Q1.6194350137507503E-4124.53760789149199769018.8666666667
DRESDEN/breakthrough/z4hK7Q1.648361473155037E-4133.51108148641893809962.4
BASE/tictactoe_3d_2player/IUC1rQ1.6657677790005854E-4139.8433594400933839512.9333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw1.6756910918800958E-4130.42898570047666778359.3666666667
DRESDEN/tictactoe_3d_2player/LMuX9w1.710396549494262E-4146.55689620691953856859.1666666666
BASE/colonelBlottoVariant2/jruwGw1.7366106899445745E-442.67866066966517245758.36666666667
DRESDEN/skirmish2/iPpWhQ1.7697906254714464E-445.55300076643674257392.03333333333
BASE/choicethroughalt/tt71Lg1.9227050223180036E-494.58108378324336491916.76666666666
DRESDEN/skirmish/RjGQYQ1.9707652075659306E-443.78248700519792222159.83333333334
BASE/quarto/EwBMVQ1.9880144885443552E-422.362194227821103112485.06666666667
BASE/quartoSuicide/-23jUg1.9897108182421842E-421.93260224659178110230.1
BASE/skirmishFinal1/ecWTnQ2.0575545813125598E-426.317542807648746127906.9
BASE/skirmish/Y_psYQ2.113470262935345E-423.63018264231436111807.5
BASE/skirmishFinal3/-Olhfw2.1344056617925088E-431.772463864650636148858.6
DRESDEN/skirmishfinal/hzq8ww2.1436453700092684E-428.45528455284553132742.5
BASE/skirmishFinal2/gdB62Q2.1573624713253306E-429.65875766462277137476.93333333332
DRESDEN/quarto/OQzRYQ2.1642506614507617E-422.37240736425076103372.53333333334
BASE/knightfight/SJRkAg2.1908035001371934E-451.92467922012998237012.03333333333
DRESDEN/endgame/IJhh3Q2.2022536925801948E-437.75282396454633171428.13333333333
DRESDEN/knightfight/4_Ly4w2.2032931774447376E-451.59312091721104234163.66666666666
DRESDEN/quartosuicide/WIU1oQ2.212577865614114E-423.111762355135205104456.26666666666
DRESDEN/hanoi_6_disks/MeubgQ2.2165524591942127E-4296.11335858.3
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg2.2600974441590313E-4378.466666666666641674559.0666666667
BASE/hanoi_6_disks/MeubgQ2.2854303916407983E-4295.74695020331981294053.6333333333
BASE/ttcc4_2player_alt/ZEJvYA2.3247062698330919E-490.80306564478506390600.1666666667
BASE/gt_tinfoil/Q8DyKg2.3574360201258581E-4116.86277124095864495719.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.3994757636577177E-4495.92066701.4333333333
BASE/nonogram_5x5_1/qLKEZw2.4039371415127974E-485.20493168943685354439.1
BASE/skirmishHoles/AUCxCA2.444436587311626E-431.159396140900455127470.66666666667
BASE/strangeSkirmish/gc1zKA2.45088299451026E-425.987006496751626106031.2
BASE/queens31lg/0gID-A2.460420313130621E-437.386291693045884151950.83333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.5383079336425984E-4522.93333333333332060165.0666666667
BASE/checkers/rOC3Xg2.5410393888322316E-460.94228975076636239832.13333333333
BASE/ttcc4_2player/_aH_Mw2.572693191680817E-493.53860508514113363582.43333333335
DRESDEN/brawl/2kXtfQ2.576937456690758E-439.496050394960506153267.4
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.5845270453147683E-4497.61925303.9
BASE/cephalopodMicro/9l2D3g2.6428431389347484E-476.92307692307692291061.8333333333
BASE/brawl/6Ymo_Q2.653658991367447E-439.309747484842426148134.13333333333
BASE/bomberman2p/4CClwA2.696786192111314E-4126.18738126187381467917.63333333336
STANFORD/ttcc4/Cx9SGw2.7229475917243945E-492.91475038325669341228.56666666665
DRESDEN/skirmish3/3LU8Nw2.727628654764437E-459.992001066524466219941.96666666667
DRESDEN/bomberman2p/x4h6jQ2.7562022324324466E-4128.24101846297407465281.6
BASE/checkersBarrelNoKings/rnKNeg2.772083652356135E-488.76370787640413320205.73333333334
DRESDEN/capture_the_king/EQ229Q2.7892679200078194E-445.845272206303726164363.1
BASE/checkersTorus/2vm1EQ2.8279708028737755E-463.78086574027792225535.8
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.8996410585619884E-4587.43333333333332025882.9333333333
BASE/checkersTorusNoKings/pwb6oQ2.913251029055834E-483.4638845371821286497.4
BASE/checkersSmall/SYmq8w2.933497918149317E-489.60645139791396305459.4
STANFORD/checkersonabarrelnokings/Zrevdw2.9462442929822984E-486.14369501466275292384.76666666666
BASE/2pttc/unkkYA2.9805635371317983E-4206.38624091727218692440.3333333334
BASE/hidato37/pBrqxw2.9858767809161954E-463.21647560650493211718.3
DRESDEN/CephalopodMicro/H3XQfg3.0088181336397765E-483.94707901489653279003.5
DRESDEN/quad_5x5/JAEP5g3.135395189346173E-4211.0122321101223673000.4333333333
BASE/sudokuGrade2/u80Tfw3.16681422862638E-4188.47487001733103595156.0666666667
BASE/sudokuGrade4/DTy07w3.193894529887086E-4188.21451188214513589294.7
BASE/sudokuGrade1/tDRNRw3.199391956458458E-4192.78714752349845602574.3333333334
BASE/checkersTiny/Lr48cg3.215726146124354E-4131.7409549.8
BASE/sudokuGrade5/BQfUQA3.237318483746041E-4185.4938168727709572986.0
BASE/sudokuGrade3/eI8dvg3.2404976407255834E-4189.06036465451152583430.0333333333
STANFORD/sudoku/oJ1qyQ3.3015187331894504E-4186.02713242891903563459.2666666667
STANFORD/multiplesukoshi/vLSQPg3.3049061131829196E-4380.35398820039331150876.8333333333
STANFORD/chinook/osFbPA3.4072593784025175E-488.87037654115295260826.56666666668
BASE/sudokuGrade6E/ihYFZA3.4544263763431417E-4177.1512675.56666666665
DRESDEN/babel/WdSW4A3.491500840250532E-482.14476139696082235270.63333333333
BASE/quad_5x5/JAEP5g3.5680873630430053E-4211.95253649756683594022.8333333334
BASE/sudokuGrade6H/ieE_9A3.590391771198613E-4185.0271657611413515339.76666666666
BASE/connectFourLarge/aU644A3.6522633962320056E-4320.0559981333956876322.3333333334
BASE/amazonsSuicide_10x10/XIbQkg3.6931156536086776E-421.7565136269740858911.0
DRESDEN/quad_5x5_8_2/JRTLJg3.727989741455903E-4225.0603542.4333333333
BASE/chinook/XQh0IQ3.748154909319967E-495.77765188122771255532.8
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.753711145489108E-4410.066666666666661092430.0
BASE/zhadu/DlA8iQ3.7785496510538065E-439.386871042985675104238.06666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg3.838806247438826E-4479.11248044.2333333334
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3.8538028578187554E-4415.033333333333361076944.9
BASE/amazons_10x10/Bun8dA3.8736584447884273E-421.2404700868928354833.1
BASE/knightmove/jBaJEw3.9130394973984196E-4374.9208359721343958132.0
BASE/ttcc4_2player_small/Cv72TA3.937459099221133E-4217.46666666666667552302.0333333333
BASE/dualConnect4/WbCQkg3.9418724663653606E-4349.57669488700753886829.0333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A4.049469638902341E-4491.66666666666671214150.7666666666
DRESDEN/Zhadu/9zpQ5w4.0502116556347074E-440.971320075946835101158.46666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA4.052832148035721E-4638.81576181.7333333334
BASE/blokbox_simple/JBx4bg4.0936043342625636E-47.13238234902013117423.233333333334
DRESDEN/knightmove/97Ipcw4.14347032193131E-4377.17485500966603910287.3333333334
BASE/amazons_8x8/7SOsIw4.145575799594433E-450.09833005566481120847.7
DRESDEN/sat_test_20v_91c/dK7nVw4.2210978140888155E-4476.21745941801941128183.9
BASE/breakthroughSmall/HJ0tIA4.2793519540390893E-4350.0549981667278818009.3666666667
BASE/kitten_escapes_from_fire/uW-YiA4.349331606413806E-4634.84550514982831459639.2333333334
BASE/breakthroughSuicideSmall/XSbJog4.3943032335039945E-4363.7827662.5
DRESDEN/chinesecheckers1/Y-ftaA4.491736865633135E-4620.24599180027341380860.0333333334
STANFORD/knightstourbig/TQUI2g4.6077396137833137E-4445.05183160561313965878.8666666667
BASE/4pttc/AL1k2Q4.631761670962278E-494.75403279562725204574.5
BASE/othelloHoles/c0qAzw4.7263130833585326E-420.63571309702113543661.333333333336
BASE/gt_ultimatum/GE-uOA4.744156954190787E-4308.7650695.1666666666
BASE/reversi/d8UMeA4.787739637870158E-436.7617650979869476783.13333333333
BASE/chineseCheckers1/gqtwHw4.8508795558710536E-4802.83990533648881655039.8666666667
DRESDEN/chinesecheckers2/06E6-Q4.882813462764431E-4320.85597146761774657112.9
BASE/reversiSuicide/9OxJlg4.936721244962566E-436.59756016265582474133.33333333333
DRESDEN/fizzbuzz/t1xHzQ5.148868733540533E-4841.01633368.5
BASE/queens16ug/gT-ylw5.168465990730517E-4277.6333333333333537167.7666666667
STANFORD/duidoku/3SoMaA5.190730936167427E-4161.84508732169044311796.3333333333
BASE/connectFour_9x6/B9TtMw5.310492392300234E-4509.6333333333333959672.4666666667
BASE/3pttc/0sol9g5.353662414102755E-4137.92413839077395257625.76666666666
DRESDEN/tictactoe_3d_6player/ulZPWg5.365003109473311E-4128.66237792073596239817.9
BASE/golden_rectangle/_nYzfw5.370808953862543E-4437.6666666666667814898.9666666667
DRESDEN/gt_ultimatum/pAiiQw5.422311700393E-4334.7776814879008617407.6666666666
DRESDEN/chinesecheckers6/yTbPDA5.429786518581197E-4171.74376749766697316299.3
DRESDEN/quad/JPe6fg5.558301143970075E-4181.39395353488217326347.8333333333
BASE/quad/tw-Ufg5.737887837981069E-4185.07780999033622322553.9
BASE/tictactoe_3d_6player/d7KSwg5.76651111553773E-4141.2003865764655244862.76666666666
STANFORD/connectfour/VMpZkQ5.813107110262044E-4568.3954403039797977782.5
BASE/duplicateStateLarge/dcjyuw5.817638772022064E-4744.90850304989831280431.0
BASE/chineseCheckers2/eCMR3Q5.860853067892919E-4499.03333333333336851468.7666666667
BASE/othelloSuicide/B442jg5.901609449191414E-419.61437277298611233235.63333333333
STANFORD/selectivesukoshi/3xmXYg5.940339865345628E-4404.08653044898506680241.4333333333
DRESDEN/golden_rectangle/1uloXw6.063941116043979E-4439.25202493250225724367.2333333333
BASE/connectFourSuicide/c8p9Kw6.0927767043909E-4610.21299290023671001535.1333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw6.150099858141952E-4300.8799413372442489227.73333333334
BASE/othello-comp2007/86ZoMw6.154791156044652E-420.06466020064660332600.066666666666
BASE/pentago/86NgKw6.250985428789923E-4227.08486100926604363278.5
BASE/knightsTourLarge/M8jgLA6.290899693736431E-4577.8333333333334918522.5666666667
BASE/chineseCheckers6/rREH3A6.298233320861403E-4241.85860471317622384010.23333333334
BASE/connectFour/WAIKTw6.335092037323923E-4618.1666666666666975781.6666666666
BASE/firefighter/WJmoPw6.44044055960377E-42642.66666666666654103238.966666667
DRESDEN/racer/vk_ZBA6.469751594530942E-418.13704283004426228033.6
BASE/amazonsTorus_10x10/Uxc08g6.477544937434393E-412.78125416056450619731.633333333335
BASE/pentagoSuicide/SBgNhw6.480501256996221E-4228.7352904.8
DRESDEN/connectfour/5tc-Mg6.494814478584706E-4631.8666666666667972878.7
STANFORD/multipletictactoe/_bkafQ6.524567038554719E-4807.37308756374781237435.5
STANFORD/pentago/ZxzLmg6.532618568943576E-4239.70137315024664366930.0
BASE/pegEuro/5awwhg6.734429224648141E-4310.9896336788774461790.63333333336
DRESDEN/connectfoursuicide/M9CNQg6.768743081145697E-4671.3991764.6333333333
BASE/tttcc4/8Bs2lg6.815280615181031E-491.83027232425586134741.73333333334
BASE/gt_coordination/IVMOzA6.965254917771897E-4752.06666666666671079740.3333333333
DRESDEN/aipsrovers01/qS47Mw6.976441250194624E-41126.31614433.4333333333
BASE/peg/fJHVWw6.980601842708666E-4317.3227559081364454577.93333333335
DRESDEN/tttcc4/sAvtFg7.013499417926228E-491.03632122625791129801.56666666667
BASE/racer/QQYQNw7.017966470868194E-419.2192392245686527385.766666666666
BASE/ttcc4/Le0qjQ7.117786883876316E-494.36854381872709132581.3
DRESDEN/firefighter/WJmoPw7.178564510311471E-42765.7666666666673852813.0
BASE/chineseCheckers3/-1rZdQ7.192215455393348E-4362.22125929135694503629.6
DRESDEN/minichess/c7GMFw7.344686592666212E-4202.0131320201313275046.63333333336
DRESDEN/minichess-evilconjuncts/th24Tw7.417652907094115E-4206.47247033728837278352.8333333333
BASE/minichess-evilconjuncts/4OpQzw7.502847265175929E-4210.05266315578962279963.93333333335
BASE/aipsrovers01/4C4jsw7.588814306151782E-41171.93333333333341544290.4333333333
DRESDEN/oisters_farm/pTQMLg7.631516432395496E-42857.7333333333333744646.7666666666
DRESDEN/satlike_20v_91c/yeuENQ7.663268203332235E-441.25494893036563653834.666666666664
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA7.794241113957674E-438.7431460747939749707.4
DRESDEN/satlike_20v_91c_version2/yd9ioQ7.876060723086704E-441.04057721586019652108.0
BASE/checkLines/Vop7oQ7.922975976330927E-4331.1333333333333417940.6
BASE/chineseCheckers4/avfBcQ8.11747121500019E-4295.9037429590374364527.0
DRESDEN/ggp-course2013_michal13/jWKddg8.149736843544636E-4461.9566766.7666666667
BASE/qyshinsu/R08Lzw8.158090160917312E-4210.4122921041229257918.56666666668
STANFORD/untwistycomplex/HTWEwg8.18642350251215E-42890.96666666666673531415.966666667
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g8.211061706768113E-440.3639371381306949158.0
STANFORD/pilgrimage/ObRZnQ8.253414229740207E-4242.23333333333332293494.7
BASE/queens12ug/u6Bkmg8.350008921679734E-4492.183593880204589440.8
BASE/englishDraughts/jFkQxg8.49188721393868E-4256.6828878074795302268.36666666664
BASE/majorities/ibJzSQ8.516421570300436E-4404.0730617958803474463.43333333335
BASE/sheepAndWolf/g4THrg8.597447422965802E-4132.45342132453422154061.33333333334
STANFORD/alquerquezero/uVgA_A8.634525025617446E-4289.7335513.5333333333
BASE/snake_2008/i6K26g8.781055689481394E-4332.0889303689877378187.93333333335
DRESDEN/towerworld/HCX34w8.790930844030866E-432.6148515841023437100.566666666666
DRESDEN/snake_2008/E56l3A8.924746334833237E-4330.07799480034663369845.8
BASE/mineClearingSmall/frsbvw8.932999323108486E-4255.14965668955404285625.9666666667
BASE/snake_2008_tweaked/bX0NJQ8.938657315730396E-4334.03333333333336373695.2
DRESDEN/chinesecheckers3/QsCb2A8.992431266574763E-4378.68737708743043421117.9
BASE/factoringMediumTurtleBrain/8RBqmQ9.007507784255883E-41375.71527281.5
DRESDEN/tictactoe_3d_small_2player/HYttcg9.099767524467024E-4791.6869912.3333333334
STANFORD/freeforall/Lfp40Q9.115314651036883E-4473.6017598826745519567.1
BASE/escortLatch/mX9BjQ9.147551665405622E-4450.8333333333333492845.9
BASE/connectFourSimultaneous/7ITr3g9.166573751854356E-4477.5507483083897520969.73333333334
BASE/asteroidsSerial/id2QkA9.179258246556997E-4744.4666666666667811031.4
BASE/dotsAndBoxesSuicide/jzQbLw9.224059571305116E-4769.0666666666667833761.6
DRESDEN/kalaha_2009/gcC8uA9.279773140739588E-423.74687760199833525589.933333333334
BASE/tictactoe_3d_small_2player/oOryKA9.3218395792788E-4797.6333333333333855660.8666666667
DRESDEN/blobwars/ZaMluQ9.346779363127205E-418.44269116814807319731.6
BASE/kalaha_2009/dRiN3g9.367554913544957E-424.03702100742417625659.866666666665
DRESDEN/mimikry/GJEhwA9.369163758096613E-4812.8395720142662867568.9666666667
DRESDEN/grid_game/U7_Yeg9.376452318959714E-4569.4143528549048607281.2333333333
BASE/blobwars/0XT15Q9.405341526255061E-418.17334575955265719322.366666666665
BASE/minichess/8NQEiA9.443708685529837E-4224.16666666666666237371.43333333332
DRESDEN/connect4/T0-rHQ9.476057082396351E-4565.6333333333333596907.9
BASE/dotsAndBoxes/EHwA_w9.484472153457991E-4789.1403619879337832034.0333333333
BASE/connect4/50bOyw9.620537418666183E-4550.6572317.3
BASE/ruleDepthLinear/OUBJpQ9.866231447862692E-41662.91685445.9666666666
BASE/futoshiki6/JmvXNA9.939185155458672E-4552.2815906136462555660.8333333334
BASE/gt_chicken/gmepTQ0.0010077639074365903427.5424206.5
BASE/pawnWhopping/Ypc_6Q0.001064325036055162777.9333333333333730917.0666666667
DRESDEN/pentago_2008/hLjVpQ0.0010968418593121751390.56666666666666356082.93333333335
BASE/snake_2009_big/-oRfVw0.0011060230742060192386.4349359.8
BASE/simultaneousWin2/PfjRjw0.00110873184593179611018.0666666666667918226.2333333333
BASE/3pConnectFour/PqXOFQ0.0011113416115935157760.0683858.1333333333
STANFORD/breakthrough/d5j0cQ0.0011216065320929782900.6333333333333802985.1
BASE/2pffa_zerosum/o0_uZA0.0011227467952646588557.3480883970534496414.76666666666
DRESDEN/gt_chicken/CeuKtw0.0011311549847406758476.0507983067231420853.73333333334
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.00113988483206843551936.13333333333341698534.1666666667
BASE/nineBoardTicTacToe/wRmqqA0.001148472859143178612.6666666666666533462.0333333333
STANFORD/nineboardtictactoe/y28P-A0.0011552108514779858622.9666666666667539266.6333333333
BASE/knightsTour/mvtVIg0.0011696391383203841538.33333333333331315220.4666666666
BASE/2pffa/6oHijA0.0011725937023267965580.7139762007934495238.86666666664
STANFORD/knightstour/cEwgNA0.0011792622502534431513.53333333333331283457.8
DRESDEN/grid_game2/kypTYQ0.00118302121403625971676.11416796.2333333334
BASE/queens08lg/Ru7eqQ0.0011852416737188685569.4666666666667480464.6
DRESDEN/4pttc/9pB9AQ0.0012124302855960392299.4246942.03333333333
BASE/cubicup/4wNWJA0.0012137073999080239456.5181160627979376135.23333333334
DRESDEN/snake_2009_big/DgC1NQ0.0012460605603632489383.4307689.7
BASE/ticTacToeLargeSuicide/727_8g0.00125383322841743861645.03333333333331312003.3
BASE/duplicateStateMedium/U163eQ0.00125442750159659072088.43333333333341664849.7666666666
BASE/ticTacToeLarge/TZC0dg0.0012671585944008341676.83333333333331323301.8666666667
BASE/gt_prisoner/klthDw0.0012680286074125452511.76666666666665403592.36666666664
DRESDEN/cubicup/SBn_lw0.0012707135571853217455.03333333333336358092.76666666666
BASE/queens08ug/kJ_ZFQ0.001278088343153096919.3333333333334719303.4333333333
BASE/gt_staghunt/xPjLRA0.0012896643333924849533.8155394820172413918.2
BASE/incredible/8Qh-6Q0.00129183543744053162441.81890178.8333333333
BASE/queens06ug/7Lq3tw0.00129595763539886391173.6666666666667905636.6
BASE/hidato19/rRHSmA0.0013030855965061215593.213559548015455237.6
BASE/futoshiki5/TJ4BZg0.0013045023985565165800.7666666666667613848.3666666667
BASE/wallmaze/uxNQ9g0.00131949523198034716.3333333333334542884.3666666667
DRESDEN/pawn_whopping/4ogBkg0.0013302198413017171094.0666666666666822470.5666666667
BASE/asteroids/BKCmPQ0.00133629271704784191249.5333333333333935074.5666666667
DRESDEN/quad_7x7/q-JOXg0.0013674420399134763654.3448551714943478517.43333333335
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.00136819659038518571064.2777812.2
BASE/quad_7x7/q-JOXg0.0013860601922223508652.8115729475684470983.56666666665
DRESDEN/snake_2009/zIYLVw0.0013875875152915562462.6333333333333333408.4
BASE/racetrackcorridor/_RkdUg0.0013954148519077013945.8677791.2666666667
DRESDEN/Runners/3bOCQw0.0014051232661210631197.7852380.7333333333
BASE/hanoi/iGLsJg0.00140533088288513631618.03333333333331151354.0
STANFORD/multiplebuttonsandlights/cK70Yg0.0014074659176370185069.7333333333343602029.2
BASE/breakthroughSmallHoles/bxclRw0.00140755189119512631100.7666666666667782043.4
STANFORD/knightstourmedium/x1wu8Q0.00142577049552594951819.96666666666671276479.4
STANFORD/multiplebuttonsandlights_9/SqB9BA0.00143558966677281445168.33600123.433333333
BASE/snake_2009/7l-qAQ0.0014522181431865728472.3175894136862325238.73333333334
BASE/cittaceot/fDxhXg0.0014574729554866824289.04739684021064198320.93333333332
DRESDEN/racetrackcorridor/O0DoTA0.0014601093548552932887.1607557.2333333333
DRESDEN/hanoi/RQ0jiA0.001461913320094761668.41141244.1333333333
BASE/copolymer_4/2LDVhQ0.00148005538382831561088.9333333333334735738.2333333333
BASE/asteroidsParallel/WauZiA0.0014850736166519354733.5666666666667493959.8
DRESDEN/tictactoelargesuicide/6J4DeA0.0014989567934864161959.63333333333341307331.4333333333
DRESDEN/tictactoelarge/IwXcbg0.0015031242444518831905.93333333333341267981.2333333334
BASE/lightsOnSimultaneous/_VN6lw0.00152074110947717491234.0811446.4666666667
BASE/hex/T1MK8g0.0015287158224442873128.0581294580361283768.43333333333
STANFORD/hex/MTqWcw0.0015404048305891363129.6333333333333384155.36666666667
DRESDEN/gt_prisoner/huCp4w0.001558182573868041644.6785107163095413737.4666666667
DRESDEN/frogs_and_toads/GjchhQ0.0015626898710863907223.14435223144352142795.03333333333
DRESDEN/tictactoex9/rFkD4w0.0015669329369277444806.7333333333333514848.6666666667
DRESDEN/Goldrush/VeWczQ0.001576758286917075542.0819306023133343795.2
BASE/ticTacHeavenFC/mrletw0.001583604264462282571.4666666666667360864.56666666665
BASE/lightsOnParallel/SC6enA0.00159197348557001872684.71686397.4333333333
BASE/tictactoex9/BI26ow0.001604106286026081832.5666666666667519022.13333333336
DRESDEN/peg/Vo31eg0.0016335106347501152742.9454787.36666666664
BASE/factoringEasyTurtleBrain/lUj94Q0.00164309823109513132704.71646097.5666666667
DRESDEN/peg_bugfixed/u_B7MA0.0016466276269550557752.3666666666667456913.6666666667
BASE/blockerSerial/3eqDuw0.0016628428334200796961.4333333333333578186.5333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g0.0016774751389739513776.7666666666672251459.1
BASE/ticTacToeNoVars/XT03NA0.001684565725918252090.46666666666671240952.8666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ0.00169447082157057051302.7666666666667768833.9333333333
BASE/rubiksCube/9tNO9Q0.0017018351027372793214.36666666666667125962.06666666667
BASE/nineBoardTicTacToePie/B8LzeQ0.001706871502155512764.9666666666667448168.86666666664
DRESDEN/knightstour/cGISAA0.0017153440213367272183.51272922.5
DRESDEN/catcha_mouse/cHv4dw0.00173803080429579191200.7666666666667690877.6666666666
BASE/ticTacHeaven/18n58A0.0017384705893972487621.9333333333333357747.4
BASE/tictactoe_3player/GtM71g0.0017458202424080814853.7333333333333489015.6
STANFORD/untwistycorridor/EDPPAQ0.00174599342352160756390.7666666666663660246.7
BASE/copolymer_4_pie/IN5_jA0.0017760098450345391008.2567677.0333333333
DRESDEN/logistics/fPru1Q0.0017786590175247502883.5333333333333496741.26666666666
BASE/tictactoe_3d_small_6player/g_9lww0.0017927726343598344592.3333333333334330400.7
BASE/point_grab/V_osUg0.00181792182654381533355.01845513.9
BASE/gt_centipede/9fRMpw0.00184230336994359361980.96666666666671075266.2666666666
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.0018434286833342384614.3666666666667333273.9
BASE/slidingpieces/uFJWEw0.0018561680479728024798.6666666666666430277.13333333336
DRESDEN/lightson2x2/gBHuig0.0018689036169575672723.33333333333351457182.3333333333
DRESDEN/slidingpieces/s9_44g0.001869713177210251812.7434665.6
BASE/catcha_mouse/cHv4dw0.00188482173125266851152.5666666666666611499.0333333333
BASE/futoshiki4/BaCwSw0.00188770894881594261397.1740103.5
DRESDEN/SC_TestOnly_enabled/09o7gQ0.00189615883883086592113.03333333333331114375.7
BASE/double_tictactoe_dengji/zgaSbA0.00189751413811091081309.1666666666667689937.7666666667
DRESDEN/nim1/M9BALA0.00193182499104056841400.2666666666667724841.3666666667
BASE/beatMania/qUHwvQ0.0019321254904297861893.3666666666666979939.8
BASE/lightsOnSimul4/9FeASw0.0019451942170694061061.5333333333333545721.0
BASE/snake2p/I3wWPQ0.00195497959936609531120.9573356.3666666667
BASE/hexPie/48CH6Q0.0019828875321990626129.6913539097393565405.3
BASE/conn4/va9Y7A0.001983301060858521299.6655271.1666666666
BASE/nim1/hin2Qw0.00198552584141135651424.3666666666666717375.0333333333
BASE/tpeg/QNs7Lw0.0020092083264084174726.9666666666667361817.4666666667
BASE/untwistycomplex2/EDPPAQ0.0020296199697804916404.5333333333343155533.2666666666
DRESDEN/tpeg/h-Scbg0.002034602365576091739.4363412.5333333333
BASE/ticblock/T21C1g0.0020560201440595041473.9666666666667716902.8333333334
DRESDEN/ticblock/Z2yNWQ0.0020578622329786861469.4333333333334714058.1666666666
DRESDEN/backgammon/mqCW0Q0.0020586137286735607308.74608359442703149977.66666666666
DRESDEN/tictactoe_3player/ESLQQQ0.002077108176957405961.6462951.3333333333
DRESDEN/nim2/z5_exA0.00210094992560972771413.6666666666667672870.2333333333
BASE/biddingTicTacToe_10coins/a-9ccQ0.0021130582961366175578.6333333333333273836.9
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.002119915918174443770.5743141895271363492.86666666664
BASE/ticTacToeSerial/Amrwqw0.00213465551171179671115.1666666666667522410.6
STANFORD/tictactoe3/X7myng0.00215830150443349072421.96666666666671122163.2666666666
BASE/nim2/eF2Qqw0.00218758763883889061431.9654556.6333333333
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.0021933861315049587621.1126295790141283175.23333333334
DRESDEN/smallest_4player/ADDROA0.0022801091169597294720.2093263557881315866.1666666667
STANFORD/bestbuttonsandlights/nm0wEA0.00231335499585535754926.4666666666662129576.6
DRESDEN/nim4/F5YAYg0.00233151014817777971352.4580053.2333333333
BASE/smallest_4player/ADDROA0.0023502689659164757719.9666666666667306333.73333333334
BASE/tictactoe2/bhrDoQ0.00236039075415219642959.7666666666671253930.8
BASE/hodgepodge/9yjRkw0.00237570644523871963181.61339222.7
BASE/withConviction/3Xm54A0.0024010478857867611531.7666666666667637957.5666666667
DRESDEN/nim3/sG_axA0.0024307383901929811403.3333333333333577328.0
BASE/factoringGeorgeForman/HGRorQ0.0024506693059776795045.92058988.5333333334
BASE/nim3/1OwUqw0.00246049036437832531415.4333333333334575264.7333333333
BASE/nim4/twk16w0.0024728478395883451387.3333333333333561026.5666666667
BASE/3pffa/pR0dzA0.002524278202348961512.7162427919069203114.0
BASE/lightsOn/MsXu3A0.0025314533827134255243.1666666666672071208.0666666667
DRESDEN/point_grab/r5DPmQ0.0025323182211727974589.7333333333341812463.1
STANFORD/sukoshi/4LYZZQ0.0025714602766681982532.8984965.6333333333
STANFORD/hunter/14dD-g0.00258674832579084072230.9333333333334862447.0
BASE/maze/cCX3qQ0.00265337383462548476032.02273332.1333333333
BASE/4pffa/Q3ADlg0.002664156811501295466.36890873941735175053.1
BASE/gt_dollar/TGjqRw0.00277885557473628832729.866666666667982370.8333333334
DRESDEN/Thief_Police/CX18rA0.00277965684074280972466.8333333333335887459.6666666666
STANFORD/duikoshi/tpw1sw0.00283001275056901861368.3333333333333483507.8333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA0.00285143916210718482493.8333333333335874587.6
BASE/pearls/6k_mEQ0.00285256671881339248797.1666666666663083947.7333333334
DRESDEN/latenttictactoe/kITHKg0.0028874169026442531832.1634511.7666666667
BASE/snakeParallel/RCVNtw0.00291767765050579942262.366666666667775399.8
BASE/duplicateStateSmall/bCPAXw0.0029216873573764746021.72061035.0333333334
STANFORD/tictactoe5/WFRReg0.0029523148216545772597.8333333333335879931.0
BASE/pancakes/yUgbXw0.0029533766440123137762.0666666666667258032.33333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0030026353101765552525.866666666667841216.6
BASE/coins_atomic/AA3SSw0.0030105633943976541376.7666666666667457311.9666666667
STANFORD/jointbuttonsandlights/qAKuIQ0.00301321560751226544306.51429204.0666666667
BASE/biddingTicTacToe/8mESVw0.00304628762984686041180.9387652.1666666667
BASE/blocker/dIWtxg0.00307742846840504233053.9666666666667992376.1666666666
DRESDEN/3pttc/uwYBZw0.0030798695202732766834.8333333333334271061.26666666666
DRESDEN/coins/QwFP9w0.00308890393447782371300.1420893.63333333336
STANFORD/3puzzle/41ibjA0.00311663871223136953425.03333333333331098951.0333333334
BASE/pancakes6/QZTdnw0.003150631227628579777.1333333333333246659.56666666668
DRESDEN/catch_me/ghGWrA0.00316848039136715352517.4666666666667794534.4
BASE/coins/QnGtnQ0.0031930188655656551362.1333333333334426597.3333333333
BASE/shmup/ssTNlg0.003198084178328516640.5666666666667200297.0
BASE/buttons/hTcUjw0.00324051176762183657836.02418136.566666667
STANFORD/threepuzzle/41ibjA0.00324231962537613543522.61086444.4
DRESDEN/buttons/ADUaHw0.0032599514970656698101.82485251.7
STANFORD/buttonsandlights/eyhJpA0.00332977403550369139838.72954765.066666667
DRESDEN/3pffa/0YrmQw0.0033578496924311315837.0249266.66666666666
BASE/tron_10x10/7ZTgDg0.00336056694529181461268.2377376.8
BASE/ticTacToeParallel/ymRGPw0.0033791936641796161040.8666666666666308022.2
BASE/blockerParallel/7-nDJA0.0033886988027094075652.111596280124192437.16666666666
DRESDEN/bidding-tictactoe/yW5vTA0.00339434666721890161311.2666666666667386309.0
DRESDEN/tictactoe-init1/3ltIBQ0.00341230117010644453015.0333333333333883577.7333333333
DRESDEN/blockerparallel/dVQgSg0.0034650499588077485683.4666666666667197245.83333333334
BASE/tictactoe-init1/7M19vA0.00347357051961026672941.5333333333333846832.7666666667
STANFORD/dualhunter/1rPZjQ0.0034870820058485681550.2333333333333444564.63333333336
BASE/lightsOut/5P1ZBw0.00355339817405671452264.1637164.7333333333
DRESDEN/statespacelarge/8-y5HQ0.00360228707674253473597.0998532.3
BASE/stateSpaceLarge/0Ge_CQ0.0036052353645336183694.16666666666651024667.2666666667
STANFORD/rainbow/_4qNSQ0.0036432038918942755685.21560494.6
DRESDEN/statespacemedium/dVJZ_w0.00366011692831323945328.9333333333331455946.2
BASE/blocksWorldSerial/Wyg96Q0.0036871353016485272987.5333333333333810258.6666666666
BASE/ticTacToe/JRFsaQ0.0037414398596015492894.8333333333335773721.7333333333
BASE/kalaha6x2x4/XS81Mg0.0037575296747830583245.042162450421665213.63333333333
BASE/stateSpaceMedium/3bUoIw0.0038045686674654115526.5666666666671452613.2
STANFORD/tictactoe7/-bE9-A0.00381204138354835752851.0666666666666747910.7333333333
STANFORD/tictactoe/ss1kyQ0.00381516314515387062886.0756455.2
DRESDEN/crissrace/KWb9bw0.003858112282952614337.687503.93333333333
DRESDEN/blocker/S815zQ0.00386675424001811573859.1998020.5
BASE/doubletoetictac/fu35bg0.00386860837073508751907.0333333333333492950.73333333334
BASE/crissrace/ERWGDA0.00388014815188382332.888903703209985792.83333333333
DRESDEN/2player_normal_form_2010/NG_Kdg0.0039216436400003845767.8666666666671470777.8666666667
DRESDEN/brain_teaser_extended/ZDp94A0.0040164800357401583216.1666666666665800742.6
BASE/blocksWorldParallel/RseaAQ0.00404590399630617641760.1435032.56666666665
DRESDEN/sheep_and_wolf/enAIzQ0.004060716101515293620.3459884670511152767.63333333333
DRESDEN/stratego/Z2wovg0.00410382123062283675.3774874170861164572.83333333334
STANFORD/dualrainbow/G3OnRQ0.0041155516339807463654.9333333333334888078.6
BASE/toetictac/mTThmg0.00412071404443961454590.1666666666671113925.0666666667
BASE/coloredtrails/EZvr7g0.0041295888712645521558.4333333333334377382.2
BASE/brain_teaser_extended/ZDp94A0.0041384095002634133260.5787863.0666666667
STANFORD/trifecta/ss1kyQ0.00413925699188855652920.2705488.9333333333
DRESDEN/tictactoeparallel/yk_DSg0.004163295285113541297.6666666666667311692.2
DRESDEN/eotcatcit/mQUxzA0.0041876248366779023394.6666666666665810642.5
BASE/chickentictactoe/DSlZCA0.00422086912430940952647.733333333333627295.7666666667
DRESDEN/javastrike/whONTQ0.004231092580421368278.905442789054465918.06666666667
BASE/kalaha5x2x3/WviNsw0.004238084494471943435.5376308246117102767.56666666667
DRESDEN/tictactoe/BTTzPw0.0042834008893157713442.233333333333803621.5666666667
DRESDEN/chinesecheckers4/-oVNYg0.0043084734295284228.225725809139752971.36666666667
DRESDEN/guess/PhxGhg0.004313638719779316236.3587880403986554793.36666666667
DRESDEN/toetictac/mJtxCA0.0043141363852571794524.3333333333331048722.8333333333
DRESDEN/doubletoetictac/V89gKQ0.0043625776364996021805.3666666666666413830.26666666666
BASE/guess/SPpk1A0.004403382304650542239.876012398760154475.4
DRESDEN/cube_2x2x2/fp-34Q0.0044089664952148031233.4279748.1
BASE/troublemaker02/DI83KA0.00442503742479487359287.92098942.7
BASE/survival/YVIjJA0.00444674090828394210258.62306992.966666667
BASE/blocksWorld/SEdXLQ0.0044672789603118036913.0333333333341547481.9
DRESDEN/lightsout/XgLpzQ0.0044774521632674752781.4621201.5
BASE/bunk_t/xbpfIA0.0045289189041416151921.7424317.6
DRESDEN/doubletictactoe/lJzgmQ0.00455489184547910351955.9666666666667429421.1
BASE/haystack/UkweGA0.00463527046673699113377.5333333333332886030.8
DRESDEN/bunk_t/7-tPfA0.0046428570305649121968.8666666666666424063.6
BASE/circlesolitaire/azuQFQ0.0046606001091140614092.2878041.4333333333
BASE/doubletictactoe/HH1htg0.004666494232579441992.4426958.63333333336
BASE/stateSpaceSmall/Q7osKA0.0046682831671189918736.2666666666661871408.9
BASE/numbertictactoe/rvJ-iQ0.0047111364811618272069.9439363.2
BASE/eotcatcit/AfZSzA0.0047150574233244243261.866666666667691797.8666666667
DRESDEN/circlesolitaire/ruUilQ0.00472021994901237864091.233333333333866746.3333333334
DRESDEN/blocks/vg0DRw0.0047220103656179866862.0333333333341453201.6666666667
DRESDEN/statespacesmall/h-NqjA0.0047238115462221618548.0333333333331809562.7333333334
DRESDEN/troublemaker02/iZLVuA0.0047282283621048839336.7666666666661974686.0666666667
BASE/chomp/-LcqYQ0.004777794883210171865.2390389.3
BASE/chickentoetictac/l57rfQ0.0048342363566406773897.8333333333335806297.6333333333
BASE/blocks/xIV5hQ0.0048404311340462246841.81413469.1333333333
DRESDEN/lightsout2/LFtfyQ0.0048828397547477132956.766666666667605542.4333333333
BASE/switches/tPUoCg0.0048870494273310096166.3333333333331261770.2
DRESDEN/pancakes6/SZXMyQ0.0048958442056242231256.791440285324256705.76666666666
DRESDEN/chomp/-LcqYQ0.0050074610201058481844.7666666666667368403.6
DRESDEN/chickentictactoe/Ipbo-g0.0050080216231338733004.9333333333334600024.0333333333
BASE/troublemaker01/s3tlEQ0.0050208112012653611027.1333333333332196285.2
DRESDEN/pancakes/hl9aiQ0.0050511923586819371317.6666666666667260862.5
BASE/cubicup_3player/e2yA_g0.005102566756546712403.95320155994879166.66666666667
DRESDEN/troublemaker01/C-lPWw0.00517398483269618111277.2666666666662179609.533333333
DRESDEN/cubicup_3player/awDtsQ0.005175511691234687398.086730442318676917.36666666667
DRESDEN/chickentoetictac/cxYaRQ0.0051811091370974043891.2751036.1
BASE/tictactoe_orthogonal/WRzlVw0.0059136411098761944507.933333333333762294.0333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.00594066415710138054531.1762726.1666666666
DRESDEN/Travelers-Dilemma/PvZwYw0.00598824918166104225.906563218008064326.233333333334
DRESDEN/blocksworldparallel/2JfVaw0.006057899947652852605.366666666667430077.5333333333
BASE/ticTicToe/c1OobQ0.0064657864658043822165.266666666667334880.63333333336
STANFORD/tictictoe/rpt_Dw0.00671752443273162227.0333333333333331525.9
BASE/onestep/xi53wA0.00676194993697749714935.5333333333332208761.3
DRESDEN/tictictoe/LAUtwg0.0069895622445798692380.4666666666667340574.5
DRESDEN/roshambo2/jgSlkQ0.007010534194714625310.6757517.1666666666
DRESDEN/crisscross/GsY16g0.007054860375756634811.0333333333333114960.93333333333
BASE/roshambo2/KNPokQ0.0070942160115963375258.066666666667741176.5666666667
BASE/sum15/QZ07Kg0.00752352783032572345110.933333333333679326.7
DRESDEN/sum15/CsgWKg0.0075785518387075055081.233333333334670475.5
BASE/eotcitcit/V_9_bg0.0076080099334589712530.9333333333334332666.93333333335
DRESDEN/blocks2player/3ev8nQ0.0079901427836699444663.8583694.2
BASE/blocks2player/wnTLOQ0.0080971097975598724686.366666666667578770.3
BASE/crisscross/ICagEg0.008492033575254973853.0666666666667100454.93333333333
STANFORD/8puzzle/jNiGtw0.0085255898421821491793.4666666666667210362.76666666666
BASE/eightPuzzle/vLrgFg0.0085539905026378071765.1333333333334206352.03333333333
STANFORD/eightpuzzle/W_aWbA0.0089835821916613781785.8666666666666198792.26666666666
DRESDEN/8puzzle/8fKC2w0.0115175621044284782318.2201275.23333333334
BASE/snakeAssemblit/UO4sdg0.012649484770145065515.682810572980940767.1
DRESDEN/smallest/9kaGFw0.0507052484882311589.58034732175611627.6

Games with errors:

GameREKKURA_BACKWARD_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