index

REKKURA_BACKWARD_PROVER:1.0.0 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER:1.0.0 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
DRESDEN/chinesecheckers6/yTbPDA0.00.0316299.3
BASE/ruleDepthExponential/UamhHQ1.9829283249566517E-70.438954035241738262213665.6666666665
DRESDEN/crissrace/KWb9bw3.738079847627795E-70.0327096689781499487503.93333333333
BASE/crissrace/ERWGDA3.758055600752299E-70.0322414237812741885792.83333333333
DRESDEN/crisscross/GsY16g5.187468872599514E-70.05963562632316546114960.93333333333
BASE/crisscross/ICagEg5.896468351084679E-70.059232933511032135100454.93333333333
DRESDEN/chinesecheckers3/QsCb2A1.7894152989503102E-60.7535548129218269421117.9
DRESDEN/othello-cornercontrol/r5Gdlg3.146339038684617E-60.1507613447911955547916.433333333334
BASE/hitori/S8Gsyg3.238353984449645E-61.1245989481692191347274.86666666664
DRESDEN/hitori/S8Gsyg3.2624474091183146E-61.121261088942387343687.1
BASE/max_knights/2fq3Ag8.337359815766432E-66.78123857328059813355.6333333333
DRESDEN/max_knights/hCipiA8.664859158213862E-66.623839163865127764448.5666666667
BASE/pawnToQueen/-O1_JA8.823935253925547E-64.991846650470897565716.6
BASE/gt_attrition/kD_SCA9.245384964006509E-61.1619800139437602125682.16666666667
DRESDEN/pawntoqueen/f_x6Aw1.0873655555985153E-55.048827476250581464317.4
BASE/ad_game_2x2/D0aWqg1.2611123402542535E-50.44984255510571335670.3
BASE/battle/8oAvhQ1.4086695125135238E-53.7261294829995344264514.1
DRESDEN/battle/8oAvhQ1.4445087205303284E-53.8068125393094774263536.8333333333
DRESDEN/chinesecheckers2/06E6-Q1.6612966440037386E-510.916594555015642657112.9
DRESDEN/chinesecheckers4/-oVNYg1.7330168092757875E-50.918002688436444752971.36666666667
BASE/gt_two_thirds_2p/1APDGg1.7758570258894063E-52.6922821245762147151604.66666666666
BASE/wargame01/_GZFZg1.8865474668091087E-54.512874966817096239213.43333333332
BASE/wargame03/klXI8w1.920360455024572E-53.2302107962303106168208.56666666668
BASE/twisty-passages/DiZmmg2.2820600334812534E-562.933333333333332757742.2333333334
BASE/connect5/d-BVQg2.333402620499932E-518.193935354881706779716.9333333333
DRESDEN/twisty-passages/j7NPyg2.4818685066440698E-565.935896581595262656703.8666666667
DRESDEN/connect5/1kYzSg2.5683202276128543E-519.884092725819343774206.1333333333
BASE/wargame02/BkVqqQ3.8063948671928E-54.485347863645425117837.16666666667
BASE/mummymaze2p/vpjDdA4.151546898877076E-545.339462988873341092110.1
DRESDEN/mummymaze2p/k-8edg4.342593935137881E-545.481807277089171047341.9333333333
BASE/solitaireChineseCheckers/-ET6gw5.9380142577286014E-513.827982458948178232872.16666666666
STANFORD/madness/UO_B3A6.016401243015007E-57.611513660838928126512.73333333334
STANFORD/skirmish/w4V6Vw6.119398029659544E-58.144676041355009133096.03333333333
STANFORD/platformjumpers/HEQskA6.75218070612614E-525.48301132578281377404.1666666667
BASE/checkers-mustjump/T-8UuQ6.822415091814383E-511.593816631130064169937.13333333333
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.03610294733047E-59.777511723037016138962.03333333333
BASE/checkers-cylinder-mustjump/rjr6qQ7.057658458496339E-59.797387363369769138819.23333333334
BASE/checkers-mustjump-torus/uSApKQ8.262473699637718E-58.539908287366252103357.76666666666
BASE/knightThrough/gcwFjA8.65671608166821E-567.4288380774615778919.3666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1.0120984393640967E-417.056432806982478168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1.0666280194336282E-417.92735754748417168075.06666666668
DRESDEN/vacuumcleaner_random/_6AGDA1.0772842938932142E-414.441153961334974134051.46666666667
BASE/skirmishZeroSum/zh4hcw1.1020182242217436E-421.604527296937416196045.1
DRESDEN/vacuum_cleaner_1/eUNjpw1.1072437926797009E-416.047409774936742144931.13333333333
BASE/speedChess/bPnisA1.1396832368911423E-423.276723276723278204238.53333333333
BASE/checkers-newgoals/0XkFiA1.1412695914205362E-428.191542537238828247019.13333333333
BASE/colonelBlottoVariant/X-n-KQ1.1559787264279658E-442.38304678128748366642.1
BASE/skirmishNew/sibw2g1.18682104912017E-423.716731621198495199834.1
BASE/mummyMaze2p_2007/YGA3Vw1.2402227716560514E-499.4867351019864802168.2666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg1.2674565697583595E-4100.37992401519696791979.2
BASE/hanoi7_bugfix/3gdnFw1.295052813376291E-4157.666666666666661217453.5666666667
BASE/pacman3p/wW7UVQ1.3309987736756482E-462.37297171225802468617.8
DRESDEN/ghostmaze2p/HY0UwA1.4055188025383626E-4135.1531513515315961589.0666666667
BASE/breakthroughHoles/nZk0Sg1.413037622614433E-4127.39150723285114901543.6333333333
DRESDEN/hanoi7_bugfix/3gdnFw1.4144272481352618E-4170.004999166805531201935.2666666666
DRESDEN/hanoi7/51zz5Q1.4189139907378284E-4174.84335421943741232233.6333333333
BASE/ghostMaze2p/W-NU-w1.490826421659422E-4129.81169805032494870736.5
BASE/colonelBlotto/jip21A1.5027628522391891E-45.160302293837634338.76666666667
BASE/nonogram_10x10_1/0Xc62g1.519953397442035E-428.30031629765274186192.0
BASE/breakthroughSuicide/wZDpIg1.5273376441415443E-4127.14971337155046832492.5
BASE/breakthrough/TGxk-g1.5372567968792978E-4129.19569347688412840430.1333333333
BASE/pacman2p/4LEdQg1.5507231898864612E-461.5461512829057396886.76666666666
DRESDEN/tictactoe_3d_2player/LMuX9w1.5685191362641276E-4134.4856859.1666666666
BASE/tictactoe_3d_2player/IUC1rQ1.5910277094648804E-4133.56883393874762839512.9333333333
BASE/breakthroughWalls/vOZaYA1.5927565296749448E-4129.16666666666666810963.0333333333
DRESDEN/breakthroughsuicide/Y9QzqQ1.6102611814006515E-4141.3877497.4
DRESDEN/breakthrough/z4hK7Q1.658347367028383E-4134.319901343199809962.4
DRESDEN/pacman3p/rBnk8Q1.6786218418268634E-468.41280949048618407553.43333333335
BASE/colonelBlottoVariant2/jruwGw1.7031161854759658E-441.855505198613706245758.36666666667
DRESDEN/knightthrough/J7Fc_Q1.747189747235535E-4134.3621879270691769018.8666666667
DRESDEN/breakthroughsuicide_v2/LU1nAw1.7513722735423327E-4136.31970136319703778359.3666666667
DRESDEN/skirmish2/iPpWhQ1.7526681129691817E-445.112280935563405257392.03333333333
DRESDEN/skirmish/RjGQYQ1.907200780885247E-442.37034076146697222159.83333333334
BASE/quartoSuicide/-23jUg1.955340186211485E-421.55373442601106110230.1
BASE/choicethroughalt/tt71Lg1.979745795707947E-497.38701506465804491916.76666666666
BASE/quarto/EwBMVQ2.0019609644366347E-422.519071254871914112485.06666666667
BASE/skirmishFinal2/gdB62Q2.0134069680679807E-427.679701552195056137476.93333333332
BASE/skirmishFinal1/ecWTnQ2.0621453076238814E-426.376261364771704127906.9
DRESDEN/skirmishfinal/hzq8ww2.0974847142696617E-427.84253646839406132742.5
DRESDEN/endgame/IJhh3Q2.105277307639123E-436.09037589976006171428.13333333333
DRESDEN/hanoi_6_disks/MeubgQ2.1698184962170596E-4289.857004766507771335858.3
BASE/skirmishFinal3/-Olhfw2.1810407102220946E-432.46666666666667148858.6
BASE/hanoi_6_disks/MeubgQ2.2209280403602023E-4287.41294053.6333333333
BASE/skirmish/Y_psYQ2.2364326489500514E-425.004994339748286111807.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg2.2480790656457392E-4376.45411819606011674559.0666666667
DRESDEN/knightfight/4_Ly4w2.2548331580048712E-452.8234163.66666666666
DRESDEN/quartosuicide/WIU1oQ2.2967701212262348E-423.99120322548399104456.26666666666
BASE/knightfight/SJRkAg2.301276883961883E-454.54303135308033237012.03333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.3843965361076456E-4492.78357388087062066701.4333333333
BASE/gt_tinfoil/Q8DyKg2.3969478561924402E-4118.82145118821451495719.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.4023164168404977E-4494.91683610546322060165.0666666667
BASE/strangeSkirmish/gc1zKA2.402469952261828E-425.473677200226433106031.2
BASE/ttcc4_2player_alt/ZEJvYA2.429961852633806E-494.91435046324068390600.1666666667
BASE/queens31lg/0gID-A2.462941472940293E-437.424600926450495151950.83333333334
BASE/skirmishHoles/AUCxCA2.488134622641112E-431.71641791044776127470.66666666667
DRESDEN/quarto/OQzRYQ2.5097751668256207E-425.944181709185372103372.53333333334
BASE/nonogram_5x5_1/qLKEZw2.5217066871628414E-489.37914486619789354439.1
BASE/ttcc4_2player/_aH_Mw2.556451261935457E-492.94807705125642363582.43333333335
DRESDEN/brawl/2kXtfQ2.574505401127985E-439.45877491168433153267.4
BASE/checkers/rOC3Xg2.582017505151345E-461.92507665644581239832.13333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.6098044400505637E-4502.466666666666641925303.9
BASE/brawl/6Ymo_Q2.633506950325845E-439.01122697138288148134.13333333333
BASE/cephalopodMicro/9l2D3g2.6830997656427405E-478.0947936804213291061.8333333333
BASE/bomberman2p/4CClwA2.690644485934811E-4125.9467917.63333333336
BASE/connectFourLarger/qKi60A2.698370452173155E-4210.92630245658478781680.3
BASE/checkersBarrelNoKings/rnKNeg2.7004880697922693E-486.47117627457514320205.73333333334
DRESDEN/capture_the_king/EQ229Q2.727819198426421E-444.83528196928817164363.1
BASE/checkersTorus/2vm1EQ2.7831815172313406E-462.770707003398414225535.8
DRESDEN/skirmish3/3LU8Nw2.8277359507381173E-462.193780621937805219941.96666666667
STANFORD/ttcc4/Cx9SGw2.8293100030820934E-496.5441397007365341228.56666666665
DRESDEN/bomberman2p/x4h6jQ2.8336536959819915E-4131.84469255124145465281.6
BASE/checkersSmall/SYmq8w2.8390604587912255E-486.72177043060925305459.4
STANFORD/checkersonabarrelnokings/Zrevdw2.864468926915812E-483.75270788201966292384.76666666666
BASE/hidato37/pBrqxw2.879132661125272E-460.956507248791866211718.3
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.9659495955080525E-4600.86666666666672025882.9333333333
BASE/checkersTorusNoKings/pwb6oQ3.0054245444951166E-486.10463178940353286497.4
BASE/2pttc/unkkYA3.0999401129083953E-4214.65235650956603692440.3333333334
DRESDEN/quad_5x5/JAEP5g3.119364014277752E-4209.93333333333334673000.4333333333
BASE/sudokuGrade1/tDRNRw3.1447353971357647E-4189.49368354388187602574.3333333334
BASE/sudokuGrade3/eI8dvg3.161761584551041E-4184.46666666666667583430.0333333333
DRESDEN/CephalopodMicro/H3XQfg3.223269086426448E-489.93033565547815279003.5
STANFORD/multiplesukoshi/vLSQPg3.235106588752363E-4372.320922635912151150876.8333333333
BASE/checkersTiny/Lr48cg3.2489878217241967E-4133.06223125895804409549.8
BASE/sudokuGrade4/DTy07w3.281889350099365E-4193.4589294.7
STANFORD/sudoku/oJ1qyQ3.303995118724346E-4186.16666666666666563459.2666666667
BASE/sudokuGrade5/BQfUQA3.3045786789463846E-4189.34773189347732572986.0
BASE/sudokuGrade2/u80Tfw3.3163349004288985E-4197.3736835088655595156.0666666667
BASE/quad_5x5/JAEP5g3.4299404097675747E-4203.74629203746292594022.8333333334
BASE/sudokuGrade6E/ihYFZA3.441307990652946E-4176.42745241825273512675.56666666665
STANFORD/chinook/osFbPA3.455220007281172E-490.12131715771231260826.56666666668
DRESDEN/babel/WdSW4A3.492800874954698E-482.17534739578126235270.63333333333
DRESDEN/quad_5x5_8_2/JRTLJg3.5271540221798345E-4212.87871212878713603542.4333333333
BASE/sudokuGrade6H/ieE_9A3.560757617967641E-4183.5515339.76666666666
BASE/zhadu/DlA8iQ3.615274844850809E-437.68492602958816104238.06666666667
BASE/chinook/XQh0IQ3.6994598475551216E-494.53333333333333255532.8
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3.74348983151994E-4403.15322822572581076944.9
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.7705470642677687E-4411.905872941803861092430.0
DRESDEN/uf20-010.cnf.SAT/5ICbCg3.833069702883697E-4478.38405386487121248044.2333333334
BASE/amazonsSuicide_10x10/XIbQkg3.92290456964287E-423.1102231102231158911.0
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.940477134045105E-4478.433333333333341214150.7666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA3.9984813933892393E-4630.23333333333331576181.7333333334
BASE/knightmove/jBaJEw4.0219283098704773E-4385.353821539282958132.0
DRESDEN/Zhadu/9zpQ5w4.0674888593793837E-441.146093619856735101158.46666666666
BASE/amazons_8x8/7SOsIw4.141023215215825E-450.04331312054374120847.7
BASE/blokbox_simple/JBx4bg4.16207469812491E-47.2516798616193217423.233333333334
BASE/amazons_10x10/Bun8dA4.204654884742905E-423.0554261760596254833.1
DRESDEN/sat_test_20v_91c/dK7nVw4.256102809716277E-4480.16666666666671128183.9
BASE/breakthroughSuicideSmall/XSbJog4.3690420437267195E-4361.6092260515966827662.5
BASE/breakthroughSmall/HJ0tIA4.3934462738953967E-4359.38802039932818009.3666666667
BASE/kitten_escapes_from_fire/uW-YiA4.3951499705052684E-4641.53333333333331459639.2333333334
BASE/ttcc4_2player_small/Cv72TA4.456805186176031E-4246.1502566495567552302.0333333333
BASE/4pttc/AL1k2Q4.4697278935643397E-491.4392348961978204574.5
DRESDEN/knightmove/97Ipcw4.5009928294889996E-4409.7196760107996910287.3333333334
BASE/gt_ultimatum/GE-uOA4.640880760737162E-4301.97986800879943650695.1666666666
DRESDEN/chinesecheckers1/Y-ftaA4.6628805370504766E-4643.87853738208731380860.0333333334
BASE/reversi/d8UMeA4.66432375284005E-435.81413926241512576783.13333333333
BASE/reversiSuicide/9OxJlg4.80987563125688E-435.6572113463843474133.33333333333
STANFORD/knightstourbig/TQUI2g4.852230262414549E-4468.6666666666667965878.8666666667
BASE/chineseCheckers1/gqtwHw4.873800018835397E-4806.63333333333331655039.8666666667
BASE/othelloHoles/c0qAzw4.949359344859908E-421.60956281423767343661.333333333336
STANFORD/multipletictactoe/_bkafQ4.999587183870728E-4618.66666666666661237435.5
BASE/queens16ug/gT-ylw5.041708059607536E-4270.8243058564714537167.7666666667
BASE/tictactoe_3d_6player/d7KSwg5.113234091845031E-4125.20406463434949244862.76666666666
STANFORD/duidoku/3SoMaA5.156353275458307E-4160.77320446592233311796.3333333333
DRESDEN/fizzbuzz/t1xHzQ5.235193405529738E-4855.11633368.5
BASE/dualConnect4/WbCQkg5.332304417398907E-4472.8842371920936886829.0333333333
DRESDEN/tictactoe_3d_6player/ulZPWg5.399520633920663E-4129.4901699433522239817.9
DRESDEN/quad/JPe6fg5.503618135923827E-4179.60938541527796326347.8333333333
BASE/golden_rectangle/_nYzfw5.616869020418824E-4457.7180760641312814898.9666666667
BASE/3pttc/0sol9g5.644762956193891E-4145.42363842410506257625.76666666666
DRESDEN/gt_ultimatum/pAiiQw5.655717919300005E-4349.1883603879871617407.6666666666
BASE/quad/tw-Ufg5.792256584665588E-4186.83149511845656322553.9
BASE/chineseCheckers2/eCMR3Q5.828751675095696E-4496.3851468.7666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw5.909116428965287E-4289.09036365454483489227.73333333334
STANFORD/selectivesukoshi/3xmXYg5.972389312951288E-4406.26666666666665680241.4333333333
BASE/othelloSuicide/B442jg6.043495437761235E-420.08593984211052333235.63333333333
BASE/othello-comp2007/86ZoMw6.121693110822708E-419.95676035256943232600.066666666666
BASE/duplicateStateLarge/dcjyuw6.133872110250377E-4785.41280431.0
BASE/chineseCheckers6/rREH3A6.230736732970745E-4239.26666666666668384010.23333333334
BASE/connectFourLarge/aU644A6.348881518862732E-4556.3666666666667876322.3333333334
DRESDEN/racer/vk_ZBA6.494142157452822E-418.2054183585169428033.6
BASE/knightsTourLarge/M8jgLA6.52947131486731E-4599.7466751108296918522.5666666667
DRESDEN/golden_rectangle/1uloXw6.538822526861811E-4473.6508783040565724367.2333333333
BASE/racer/QQYQNw6.614829643337153E-418.11521811521811627385.766666666666
BASE/firefighter/WJmoPw6.728018253612314E-42760.66666666666654103238.966666667
BASE/amazonsTorus_10x10/Uxc08g6.78117985637663E-413.38037544934096719731.633333333335
BASE/pegEuro/5awwhg6.832366800136223E-4315.51229918005464461790.63333333336
BASE/gt_coordination/IVMOzA6.986865051813384E-4754.41079740.3333333333
DRESDEN/aipsrovers01/qS47Mw7.018561289705698E-41133.11614433.4333333333
BASE/peg/fJHVWw7.067126109246441E-4321.2559581347288454577.93333333335
DRESDEN/firefighter/WJmoPw7.245528570077672E-42791.56666666666663852813.0
BASE/chineseCheckers3/-1rZdQ7.277592817475407E-4366.5211159628012503629.6
DRESDEN/satlike_20v_91c/yeuENQ7.282772953935962E-439.2065654384157953834.666666666664
BASE/aipsrovers01/4C4jsw7.325910391683015E-41131.33333333333331544290.4333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ7.376228288262798E-438.4360503644797952108.0
DRESDEN/oisters_farm/pTQMLg7.562172998195478E-42831.7666666666673744646.7666666666
BASE/tttcc4/8Bs2lg7.679058058147265E-4103.46895931220634134741.73333333334
BASE/ttcc4/Le0qjQ7.802976207826693E-4103.4528729502733132581.3
DRESDEN/minichess/c7GMFw7.986258258333296E-4219.65934468851037275046.63333333336
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g8.028640891798949E-439.4671928959052849158.0
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA8.032365576369049E-439.92680086508068649707.4
STANFORD/pilgrimage/ObRZnQ8.144704568444596E-4239.0427623904276293494.7
BASE/queens12ug/u6Bkmg8.156318101269315E-4480.76666666666665589440.8
BASE/majorities/ibJzSQ8.176411008556196E-4387.94080394640355474463.43333333335
BASE/qyshinsu/R08Lzw8.202027285180133E-4211.54551211545513257918.56666666668
BASE/minichess-evilconjuncts/4OpQzw8.209390781050606E-4229.83333333333334279963.93333333335
BASE/chineseCheckers4/avfBcQ8.28022294695221E-4301.83648301836485364527.0
DRESDEN/ggp-course2013_michal13/jWKddg8.332367964103181E-4472.25092496916767566766.7666666667
STANFORD/untwistycomplex/HTWEwg8.346982328023492E-42947.66666666666653531415.966666667
DRESDEN/tttcc4/sAvtFg8.357520056644411E-4108.48191968005332129801.56666666667
BASE/sheepAndWolf/g4THrg8.358143077216001E-4128.76666666666668154061.33333333334
BASE/connectFour_9x6/B9TtMw8.377511021642315E-4803.9666666666667959672.4666666667
DRESDEN/minichess-evilconjuncts/th24Tw8.390469527352651E-4233.55109659356043278352.8333333333
BASE/asteroidsSerial/id2QkA8.420142549351356E-4682.9811031.4
STANFORD/alquerquezero/uVgA_A8.51800136976725E-4285.7904736508783335513.5333333333
BASE/englishDraughts/jFkQxg8.562174581552569E-4258.8074525880745302268.36666666664
DRESDEN/kalaha_2009/gcC8uA8.601555042994255E-422.0113220113220125589.933333333334
BASE/kalaha_2009/dRiN3g8.601775826335273E-422.0720420800319625659.866666666665
BASE/snake_2008/i6K26g8.768716556724922E-4331.6222792573581378187.93333333335
BASE/connectFourSuicide/c8p9Kw8.776194038658122E-4878.96666666666671001535.1333333333
BASE/snake_2008_tweaked/bX0NJQ8.787018582702338E-4328.3666666666667373695.2
BASE/connectFour/WAIKTw8.826428043158562E-4861.2666666666667975781.6666666666
BASE/escortLatch/mX9BjQ8.891300906132152E-4438.20411972535163492845.9
DRESDEN/snake_2008/E56l3A8.897709841846769E-4329.07806146256917369845.8
DRESDEN/towerworld/HCX34w8.916643848950614E-433.0812539560915537100.566666666666
DRESDEN/blobwars/ZaMluQ9.034342299758994E-417.82620285219245619731.6
BASE/blobwars/0XT15Q9.058110068341322E-417.50241240475160619322.366666666665
STANFORD/connectfour/VMpZkQ9.101206045311713E-4889.9977782.5
DRESDEN/tictactoe_3d_small_2player/HYttcg9.21625435819778E-4801.7333333333333869912.3333333334
BASE/factoringMediumTurtleBrain/8RBqmQ9.229034289574864E-41409.53333333333331527281.5
STANFORD/freeforall/Lfp40Q9.309031820272428E-4483.6666666666667519567.1
DRESDEN/mimikry/GJEhwA9.362175971485687E-4812.2333333333333867568.9666666667
BASE/mineClearingSmall/frsbvw9.400092485696856E-4268.4910502983234285625.9666666667
DRESDEN/grid_game/U7_Yeg9.410247432312664E-4571.4666666666667607281.2333333333
BASE/tictactoe_3d_small_2player/oOryKA9.527210972852019E-4815.2061597946736855660.8666666667
BASE/dotsAndBoxesSuicide/jzQbLw9.551572706373053E-4796.3734542181927833761.6
BASE/dotsAndBoxes/EHwA_w9.591755080851862E-4798.0666666666667832034.0333333333
DRESDEN/connectfoursuicide/M9CNQg9.593674090482289E-4951.4666666666667991764.6333333333
BASE/futoshiki6/JmvXNA9.678843169975597E-4537.8154061531283555660.8333333334
DRESDEN/connectfour/5tc-Mg9.76140876212694E-4949.6666666666666972878.7
BASE/ruleDepthLinear/OUBJpQ9.809668772334222E-41653.36666666666661685445.9666666666
BASE/gt_chicken/gmepTQ0.0010225365869374152433.76666666666665424206.5
BASE/copolymer_4/2LDVhQ0.0010237789735633785753.2333333333333735738.2333333333
BASE/pentago/86NgKw0.0010374614437282429376.88743708543046363278.5
BASE/connectFourSimultaneous/7ITr3g0.0010485573954008333546.2666666666667520969.73333333334
BASE/pentagoSuicide/SBgNhw0.001054451311805214372.1209293023566352904.8
BASE/snake_2009_big/-oRfVw0.0010911387057125634381.2349359.8
BASE/minichess/8NQEiA0.0010986634039918933260.79130695643477237371.43333333332
BASE/pawnWhopping/Ypc_6Q0.001105141340248725807.7666666666667730917.0666666667
DRESDEN/grid_game2/kypTYQ0.00110672230989132821568.01416796.2333333334
STANFORD/pentago/ZxzLmg0.00110725876084838406.28645711809605366930.0
BASE/2pffa_zerosum/o0_uZA0.001117979435509633554.9815006166461496414.76666666666
DRESDEN/connect4/T0-rHQ0.0011240148326623475670.9333333333333596907.9
DRESDEN/pentago_2008/hLjVpQ0.00112423245221625400.31998933368885356082.93333333335
STANFORD/breakthrough/d5j0cQ0.0011282069036316282905.9333333333333802985.1
BASE/queens08lg/Ru7eqQ0.0011379263598886023546.7333333333333480464.6
BASE/3pConnectFour/PqXOFQ0.0011433170544533993781.8666666666667683858.1333333333
BASE/connect4/50bOyw0.0011490129688548642657.6572317.3
DRESDEN/gt_chicken/CeuKtw0.0011689730367129925491.96666666666664420853.73333333334
BASE/2pffa/6oHijA0.0011720943280838353580.4666666666667495238.86666666664
BASE/knightsTour/mvtVIg0.0011851751901468281558.76666666666671315220.4666666666
STANFORD/knightstour/cEwgNA0.00119931225371544481539.26666666666671283457.8
DRESDEN/4pttc/9pB9AQ0.0012142795918405893299.8566714442852246942.03333333333
BASE/cubicup/4wNWJA0.0012283769860672849462.03586427571497376135.23333333334
BASE/tictactoex9/BI26ow0.0012351432154723782641.0666666666667519022.13333333336
BASE/copolymer_4_pie/IN5_jA0.0012395545800660951703.6666666666666567677.0333333333
DRESDEN/tictactoex9/rFkD4w0.0012433427039401869640.1333333333333514848.6666666667
BASE/duplicateStateMedium/U163eQ0.00124481702483144992072.43333333333341664849.7666666666
BASE/incredible/8Qh-6Q0.00125164523674259062365.83333333333351890178.8333333333
DRESDEN/snake_2009_big/DgC1NQ0.0012650852191139815389.2536915436152307689.7
BASE/futoshiki5/TJ4BZg0.001276916867254568783.8333333333334613848.3666666667
BASE/queens06ug/7Lq3tw0.00128694003753823561165.5905636.6
DRESDEN/cubicup/SBn_lw0.0012935195656470022463.2358092.76666666666
BASE/gt_staghunt/xPjLRA0.0012936533514754042535.4666666666667413918.2
BASE/queens08ug/kJ_ZFQ0.00130139793113736936.1719303.4333333333
BASE/wallmaze/uxNQ9g0.0013104870863567015711.4429519016032542884.3666666667
BASE/nineBoardTicTacToe/wRmqqA0.001329616646882899709.3533462.0333333333
STANFORD/nineboardtictactoe/y28P-A0.0013324268347401926718.5333333333333539266.6333333333
BASE/hidato19/rRHSmA0.0013384219581159377609.3455237.6
DRESDEN/quad_7x7/q-JOXg0.0013385788870248752640.5333333333333478517.43333333335
BASE/gt_prisoner/klthDw0.0013551627297873406546.9333333333333403592.36666666664
DRESDEN/pawn_whopping/4ogBkg0.00135891387724229421117.6666666666667822470.5666666667
BASE/asteroids/BKCmPQ0.00136110357259565431272.7333333333333935074.5666666667
BASE/quad_7x7/q-JOXg0.0013658650652142357643.3470983.56666666665
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.0013705536289265371066.0333333333333777812.2
DRESDEN/Runners/3bOCQw0.0013782182312739591174.7666666666667852380.7333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA0.00138123041947922874972.63600123.433333333
DRESDEN/snake_2009/zIYLVw0.0013816427889127745460.6513116229459333408.4
BASE/racetrackcorridor/_RkdUg0.0013976771019671838947.3333333333334677791.2666666667
STANFORD/knightstourmedium/x1wu8Q0.001399578664045291786.53333333333331276479.4
BASE/breakthroughSmallHoles/bxclRw0.00139979443596097091094.7782043.4
BASE/hanoi/iGLsJg0.00141106326406416571624.63333333333341151354.0
BASE/simultaneousWin2/PfjRjw0.00142394102078039081307.5918226.2333333333
DRESDEN/racetrackcorridor/O0DoTA0.001430921432532255869.3666666666667607557.2333333333
STANFORD/multiplebuttonsandlights/cK70Yg0.00144122466673322165191.3333333333333602029.2
BASE/snake_2009/7l-qAQ0.0014602606782586987474.93333333333334325238.73333333334
DRESDEN/hanoi/RQ0jiA0.0014709677660555481678.73333333333331141244.1333333333
BASE/asteroidsParallel/WauZiA0.0014744789623231148728.3333333333334493959.8
DRESDEN/Goldrush/VeWczQ0.0014932811372500025513.3828872370921343795.2
BASE/ticTacToeLargeSuicide/727_8g0.00150690677886760381977.06666666666661312003.3
DRESDEN/gt_prisoner/huCp4w0.001516370012168154627.3790873637546413737.4666666667
BASE/ticTacToeLarge/TZC0dg0.00153414227280366582030.13333333333341323301.8666666667
STANFORD/hex/MTqWcw0.0015637221806755522131.5956134795506884155.36666666667
BASE/hex/T1MK8g0.0015648721850776992131.086891310868983768.43333333333
DRESDEN/peg_bugfixed/u_B7MA0.001588265033292212725.7456913.6666666667
DRESDEN/peg/Vo31eg0.0016307987447027443741.6666666666666454787.36666666664
STANFORD/bestbuttonsandlightsbig/g0JC6g0.0016336220957037743678.03333333333332251459.1
BASE/blockerSerial/3eqDuw0.0016669937429650732963.8333333333334578186.5333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.00166763400402602052832.53333333333331698534.1666666667
BASE/checkLines/Vop7oQ0.0016716331903482177698.6433785540482417940.6
BASE/nineBoardTicTacToePie/B8LzeQ0.001677064909292396751.6082797240092448168.86666666664
DRESDEN/frogs_and_toads/GjchhQ0.0016854643105473977240.67593240675933142795.03333333333
DRESDEN/knightstour/cGISAA0.00170204129997440262166.56666666666661272922.5
DRESDEN/double_tictactoe_dengji/bGaUyQ0.00170565659216047411311.3666666666666768833.9333333333
DRESDEN/catcha_mouse/cHv4dw0.00175824663604217441214.7333333333333690877.6666666666
BASE/conn4/va9Y7A0.00176446036208419581156.2655271.1666666666
BASE/ticTacHeavenFC/mrletw0.0017688410423914102638.3120562647912360864.56666666665
STANFORD/untwistycorridor/EDPPAQ0.00178036269158214576516.5666666666673660246.7
DRESDEN/logistics/fPru1Q0.0017816786981928487885.0333333333333496741.26666666666
BASE/factoringEasyTurtleBrain/lUj94Q0.00178334913197834542935.56666666666661646097.5666666667
BASE/tictactoe_3player/GtM71g0.0017888318218614431874.7666666666667489015.6
BASE/ticTacToeNoVars/XT03NA0.00181610443114868752253.71240952.8666666667
BASE/lightsOnSimultaneous/_VN6lw0.00182402667434130161480.1811446.4666666667
BASE/point_grab/V_osUg0.00182827124737451173374.11845513.9
BASE/gt_centipede/9fRMpw0.00184087736656111361979.43333333333341075266.2666666666
DRESDEN/slidingpieces/s9_44g0.0018481024411596374803.3065564481184434665.6
DRESDEN/SC_TestOnly_enabled/09o7gQ0.00184946602837804182061.01114375.7
DRESDEN/tictactoelargesuicide/6J4DeA0.00186611693953762232439.6333333333331307331.4333333333
BASE/slidingpieces/uFJWEw0.001872978918858032805.9430277.13333333336
BASE/snake2p/I3wWPQ0.00188463358826688981080.5666666666666573356.3666666667
BASE/futoshiki4/BaCwSw0.00188969065362704881398.5666666666666740103.5
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.001898838562915768632.8333333333334333273.9
BASE/hexPie/48CH6Q0.001930397833968144126.2582494500366665405.3
BASE/tpeg/QNs7Lw0.0019453639791113825703.8666666666667361817.4666666667
DRESDEN/tictactoelarge/IwXcbg0.00195073865052208832473.51267981.2333333334
BASE/ticTacHeaven/18n58A0.001964514626800921702.8357747.4
BASE/beatMania/qUHwvQ0.00196729771903675441927.8333333333333979939.8
DRESDEN/nim1/M9BALA0.00197201769343462351429.4724841.3666666667
BASE/double_tictactoe_dengji/zgaSbA0.0019791157009185321365.4666666666667689937.7666666667
BASE/tictactoe_3d_small_6player/g_9lww0.0019811297817064755654.5666666666667330400.7
BASE/nim1/hin2Qw0.00198259850228966721422.2666666666667717375.0333333333
DRESDEN/tpeg/h-Scbg0.00198855735667161722.6666666666666363412.5333333333
BASE/catcha_mouse/cHv4dw0.00199477011983284141219.8611499.0333333333
BASE/untwistycomplex2/EDPPAQ0.0020411869528909426441.0333333333343155533.2666666666
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0020612967553879555749.2666666666667363492.86666666664
DRESDEN/nim2/z5_exA0.00207697303893217281397.5333333333333672870.2333333333
DRESDEN/backgammon/mqCW0Q0.002082240624806283312.28959034698846149977.66666666666
BASE/biddingTicTacToe_10coins/a-9ccQ0.0020956513408772397573.8666666666667273836.9
DRESDEN/tictactoe_3player/ESLQQQ0.002101300784675711972.8462951.3333333333
BASE/nim2/eF2Qqw0.0021585603568094621412.9654556.6333333333
DRESDEN/ticblock/Z2yNWQ0.00216298905621367451544.5714058.1666666666
BASE/ticblock/T21C1g0.00218351301443222041565.3666666666666716902.8333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.0021835713740031644618.3333333333334283175.23333333334
BASE/ticTacToeSerial/Amrwqw0.00221275499897334931155.9666666666667522410.6
DRESDEN/smallest_4player/ADDROA0.0022808183001556035720.4333333333333315866.1666666667
BASE/lightsOnParallel/SC6enA0.00229068185449286033863.01686397.4333333333
BASE/rubiksCube/9tNO9Q0.002320275257471694292.26666666666665125962.06666666667
BASE/smallest_4player/ADDROA0.0023358276852287856715.542815239492306333.73333333334
BASE/lightsOnSimul4/9FeASw0.0023368473389638051275.2666666666667545721.0
BASE/nim3/1OwUqw0.00235543728215102361355.0575264.7333333333
STANFORD/bestbuttonsandlights/nm0wEA0.00236505541367550065036.5666666666672129576.6
DRESDEN/point_grab/r5DPmQ0.00237512881411673044304.8333333333331812463.1
DRESDEN/nim3/sG_axA0.00237785106559875851372.8577328.0
DRESDEN/nim4/F5YAYg0.00238041370570758571380.7666666666667580053.2333333333
BASE/withConviction/3Xm54A0.0023972858800901441529.3666666666666637957.5666666667
BASE/nim4/twk16w0.002449378956920461374.1666666666667561026.5666666667
BASE/hodgepodge/9yjRkw0.00247003977257354843307.93333333333341339222.7
STANFORD/hunter/14dD-g0.00249715827948461362153.6666666666665862447.0
STANFORD/tictactoe3/X7myng0.0025014779489306642807.06666666666661122163.2666666666
BASE/4pffa/Q3ADlg0.0025697155751873554449.8366775548297175053.1
BASE/3pffa/pR0dzA0.0026318553456023057534.5666666666667203114.0
STANFORD/sukoshi/4LYZZQ0.00264682669638998232607.0333333333333984965.6333333333
BASE/maze/cCX3qQ0.0026604559498007956048.12273332.1333333333
STANFORD/duikoshi/tpw1sw0.00276775936411923031338.2333333333333483507.8333333333
BASE/gt_dollar/TGjqRw0.002778244807417432729.266666666667982370.8333333334
BASE/lightsOn/MsXu3A0.00284801581659862835898.8333333333332071208.0666666667
DRESDEN/Thief_Police/CX18rA0.0028616136169944252539.5666666666666887459.6666666666
DRESDEN/latenttictactoe/kITHKg0.00289718819503898861838.3634511.7666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0029125727371391962547.3874587.6
BASE/duplicateStateSmall/bCPAXw0.00293878232799245146056.9333333333332061035.0333333334
BASE/snakeParallel/RCVNtw0.0029389999842661812278.9775399.8
BASE/biddingTicTacToe/8mESVw0.00294585395068517171141.9666666666667387652.1666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0029619402818885572491.633333333333841216.6
BASE/coins_atomic/AA3SSw0.0029718589622153631359.0666666666666457311.9666666667
DRESDEN/lightson2x2/gBHuig0.00301254910447033974389.8333333333331457182.3333333333
BASE/pearls/6k_mEQ0.00306770222824355679460.6333333333333083947.7333333334
BASE/pancakes/yUgbXw0.0030737749920229634793.1333333333333258032.33333333334
DRESDEN/3pttc/uwYBZw0.003082820882560622835.6333333333333271061.26666666666
BASE/tictactoe2/bhrDoQ0.0031047433664866783893.1333333333331253930.8
BASE/factoringGeorgeForman/HGRorQ0.0031098764739761546403.22058988.5333333334
STANFORD/threepuzzle/41ibjA0.0031099612644696783378.81086444.4
DRESDEN/catch_me/ghGWrA0.00315786620860384822509.0333333333333794534.4
DRESDEN/buttons/ADUaHw0.00316885408427645357875.42485251.7
STANFORD/3puzzle/41ibjA0.00317481540199652773488.96666666666671098951.0333333334
STANFORD/jointbuttonsandlights/qAKuIQ0.0031852927370623684552.4333333333331429204.0666666667
BASE/blocker/dIWtxg0.0031994588073709283175.0666666666666992376.1666666666
DRESDEN/coins/QwFP9w0.00321949908326006961355.0666666666666420893.63333333336
BASE/pancakes6/QZTdnw0.0032225251889007075794.8666666666667246659.56666666668
BASE/coins/QnGtnQ0.00322255491517371581374.7333333333333426597.3333333333
BASE/buttons/hTcUjw0.0033190019582158428025.82418136.566666667
STANFORD/buttonsandlights/eyhJpA0.0033333501799443689849.2666666666662954765.066666667
DRESDEN/3pffa/0YrmQw0.0033355175180529552831.4333333333333249266.66666666666
STANFORD/tictactoe5/WFRReg0.00335412663038351862951.4879931.0
BASE/tron_10x10/7ZTgDg0.003370636456719121272.0377376.8
BASE/shmup/ssTNlg0.003374655303540908675.9333333333333200297.0
DRESDEN/bidding-tictactoe/yW5vTA0.0033837334016724091307.1666666666667386309.0
BASE/ticTacToeParallel/ymRGPw0.00338384700842991141042.3308022.2
BASE/cittaceot/fDxhXg0.003399204118307901674.1333333333333198320.93333333332
DRESDEN/blockerparallel/dVQgSg0.0034213355002561336674.844171860938197245.83333333334
BASE/blockerParallel/7-nDJA0.0034783647995925947669.3666666666667192437.16666666666
STANFORD/dualhunter/1rPZjQ0.0034834829791153731548.6333333333334444564.63333333336
BASE/lightsOut/5P1ZBw0.0035255665437017812246.366666666667637164.7333333333
BASE/stateSpaceLarge/0Ge_CQ0.0036287877254984043718.31024667.2666666667
BASE/blocksWorldSerial/Wyg96Q0.0036399075850674852949.266666666667810258.6666666666
BASE/stateSpaceMedium/3bUoIw0.00371312427378006325393.7333333333341452613.2
DRESDEN/statespacemedium/dVJZ_w0.00371547611672281165409.5333333333341455946.2
STANFORD/rainbow/_4qNSQ0.00378288182904744845903.1666666666671560494.6
BASE/kalaha6x2x4/XS81Mg0.0037920254447015214247.291756941435365213.63333333333
DRESDEN/statespacelarge/8-y5HQ0.00380221384259010233796.633333333333998532.3
DRESDEN/tictactoe-init1/3ltIBQ0.0038735915549989713422.6192460251323883577.7333333333
BASE/blocksWorldParallel/RseaAQ0.00388499650256068961690.1435032.56666666665
BASE/tictactoe-init1/7M19vA0.00390498194783283273306.866666666667846832.7666666667
DRESDEN/blocker/S815zQ0.0039090713400509643901.3333333333335998020.5
DRESDEN/2player_normal_form_2010/NG_Kdg0.0039277628509322145776.8666666666671470777.8666666667
BASE/doubletoetictac/fu35bg0.00395502674303760751949.6333333333334492950.73333333334
DRESDEN/sheep_and_wolf/enAIzQ0.0039891500985440925609.4130195660144152767.63333333333
DRESDEN/brain_teaser_extended/ZDp94A0.0040449952331748063239.0800742.6
BASE/ticTacToe/JRFsaQ0.0040546877059849083137.2773721.7333333333
STANFORD/tictactoe/ss1kyQ0.0040703886583986293079.0666666666666756455.2
DRESDEN/stratego/Z2wovg0.004080462854845423671.5333333333333164572.83333333334
BASE/toetictac/mTThmg0.0040904606629434564556.4666666666661113925.0666666667
DRESDEN/javastrike/whONTQ0.004148307900983372273.448436770881965918.06666666667
BASE/brain_teaser_extended/ZDp94A0.004169590891682873285.0666666666666787863.0666666667
STANFORD/tictactoe7/-bE9-A0.0041950639207299343137.5333333333333747910.7333333333
DRESDEN/guess/PhxGhg0.004225290630801652231.5178988067462254793.36666666667
BASE/coloredtrails/EZvr7g0.0042418534843455791600.8377382.2
BASE/kalaha5x2x3/WviNsw0.00425073355663498436.83754416372244102767.56666666667
DRESDEN/tictactoeparallel/yk_DSg0.0042550524737759451326.2666666666667311692.2
STANFORD/dualrainbow/G3OnRQ0.0042566052148987723780.2888078.6
DRESDEN/toetictac/mJtxCA0.00425848138775783954465.9666666666661048722.8333333333
BASE/guess/SPpk1A0.004259272977283234232.025599146695154475.4
DRESDEN/eotcatcit/mQUxzA0.0042734004200371933464.2810642.5
STANFORD/trifecta/ss1kyQ0.0042901688795685333026.6666666666665705488.9333333333
DRESDEN/cube_2x2x2/fp-34Q0.0043683347030179411222.0333333333333279748.1
BASE/chickentictactoe/DSlZCA0.0043835249857948462749.766666666667627295.7666666667
BASE/troublemaker02/DI83KA0.0044252915209802219288.4333333333322098942.7
DRESDEN/lightsout/XgLpzQ0.0044614616459661912771.4666666666667621201.5
BASE/bunk_t/xbpfIA0.00448736198231387651904.0666666666666424317.6
BASE/blocksWorld/SEdXLQ0.0045698326638478517071.7333333333341547481.9
BASE/doubletictactoe/HH1htg0.0045758531330006281953.7426958.63333333336
BASE/survival/YVIjJA0.00458516063385195310577.9333333333322306992.966666667
DRESDEN/tictactoe/BTTzPw0.0045882292772381623687.2803621.5666666667
BASE/numbertictactoe/rvJ-iQ0.0046043910823664792023.0439363.2
BASE/circlesolitaire/azuQFQ0.0046386952961938814072.9666666666667878041.4333333333
BASE/chomp/-LcqYQ0.0046917269505081211831.6390389.3
DRESDEN/bunk_t/7-tPfA0.0046997667331032421993.0424063.6
BASE/chickentoetictac/l57rfQ0.0047065333070348013794.866666666667806297.6333333333
DRESDEN/doubletoetictac/V89gKQ0.0047178762822890031952.4413830.26666666666
DRESDEN/doubletictactoe/lJzgmQ0.0047251210214557852029.0666666666666429421.1
DRESDEN/circlesolitaire/ruUilQ0.0047346801582469924103.766666666666866746.3333333334
BASE/haystack/UkweGA0.00476281588309221613745.6333333333332886030.8
DRESDEN/statespacesmall/h-NqjA0.0047629738617148798618.91809562.7333333334
DRESDEN/blocks/vg0DRw0.0047803184004055416946.7666666666661453201.6666666667
DRESDEN/troublemaker02/iZLVuA0.00478671867200764459452.2666666666661974686.0666666667
DRESDEN/lightsout2/LFtfyQ0.0048121687951731392913.9724018398774605542.4333333333
DRESDEN/pancakes/hl9aiQ0.0048288530036577381259.6666666666667260862.5
BASE/stateSpaceSmall/Q7osKA0.0048309057416580649040.61871408.9
BASE/blocks/xIV5hQ0.0049517411935466396999.1333333333331413469.1333333333
BASE/cubicup_3player/e2yA_g0.005011034352095825396.7068862075861479166.66666666667
BASE/switches/tPUoCg0.005012296745212936324.3666666666671261770.2
BASE/troublemaker01/s3tlEQ0.00507192781702485611139.42196285.2
BASE/eotcatcit/AfZSzA0.0050833731008903563516.6666666666665691797.8666666667
DRESDEN/pancakes6/SZXMyQ0.0050997425976536311309.1333333333334256705.76666666666
DRESDEN/chickentoetictac/cxYaRQ0.00513450684993704053856.2751036.1
DRESDEN/troublemaker01/C-lPWw0.00518918633224305711310.42179609.533333333
DRESDEN/chickentictactoe/Ipbo-g0.00519579187966970863117.6600024.0333333333
DRESDEN/chomp/-LcqYQ0.0052348384579665711928.5333333333333368403.6
DRESDEN/tictactoe_orthogonal/y69QFQ0.0053621690790294564089.866666666667762726.1666666666
DRESDEN/cubicup_3player/awDtsQ0.005387061233378837414.358564143585676917.36666666667
BASE/tictactoe_orthogonal/WRzlVw0.0054098984814302414123.933333333333762294.0333333333
DRESDEN/Travelers-Dilemma/PvZwYw0.00588323415948141625.452243728553824326.233333333334
DRESDEN/blocksworldparallel/2JfVaw0.0059238155972806762547.7430077.5333333333
BASE/ticTicToe/c1OobQ0.0065986696354193472209.766666666667334880.63333333336
STANFORD/tictictoe/rpt_Dw0.0068112325462354512258.1331525.9
DRESDEN/roshambo2/jgSlkQ0.006852253953320755190.7757517.1666666666
BASE/onestep/xi53wA0.00696471818842534115383.42208761.3
BASE/roshambo2/KNPokQ0.0072847688969479485399.3741176.5666666667
BASE/sum15/QZ07Kg0.00741229023777023255035.366666666667679326.7
DRESDEN/tictictoe/LAUtwg0.0074159006815444682525.6666666666665340574.5
DRESDEN/sum15/CsgWKg0.007525405477157635045.6670475.5
BASE/eotcitcit/V_9_bg0.0077587112154619512581.0666666666666332666.93333333335
DRESDEN/blocks2player/3ev8nQ0.0080266344945692464685.1583694.2
BASE/blocks2player/wnTLOQ0.008036751943445154651.433333333333578770.3
STANFORD/8puzzle/jNiGtw0.0086347663235081371816.4333333333334210362.76666666666
BASE/eightPuzzle/vLrgFg0.0088066331952790721817.2666666666667206352.03333333333
STANFORD/eightpuzzle/W_aWbA0.0092876103991430991846.3051231625614198792.26666666666
DRESDEN/8puzzle/8fKC2w0.0111984302754917512253.9666666666667201275.23333333334
BASE/snakeAssemblit/UO4sdg0.012488828818663415509.133333333333340767.1
DRESDEN/smallest/9kaGFw0.05009632254291513582.511627.6

Games with errors:

GameREKKURA_BACKWARD_PROVER: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
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