Game-by-game performance:
Game | Perf ratio | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/gt_two_thirds_2p/1APDGg | 0.0 | 0.0 | 151604.66666666666 |
DRESDEN/chinesecheckers6/yTbPDA | 0.0 | 0.0 | 316299.3 |
BASE/twisty-passages/DiZmmg | 1.9090551023812648E-8 | 0.052646818815973044 | 2757742.2333333334 |
DRESDEN/twisty-passages/j7NPyg | 1.941890126421712E-8 | 0.051590270075063845 | 2656703.8666666667 |
BASE/ruleDepthExponential/UamhHQ | 5.061931254420535E-8 | 0.1120542342493767 | 2213665.6666666665 |
BASE/hanoi7_bugfix/3gdnFw | 2.257659131919129E-7 | 0.2748595162472514 | 1217453.5666666667 |
DRESDEN/hanoi7/51zz5Q | 2.2876592631228987E-7 | 0.28189306856265856 | 1232233.6333333333 |
DRESDEN/hanoi7_bugfix/3gdnFw | 2.3465024782904294E-7 | 0.2820344081978001 | 1201935.2666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 2.7503131701332066E-7 | 0.06404713869407884 | 232872.16666666666 |
DRESDEN/crissrace/KWb9bw | 3.197374995850175E-7 | 0.027978288847854065 | 87503.93333333333 |
BASE/crissrace/ERWGDA | 3.318713413613499E-7 | 0.02847218267752406 | 85792.83333333333 |
DRESDEN/vacuumcleaner_random/_6AGDA | 3.7030634906573386E-7 | 0.04964010920824026 | 134051.46666666667 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 3.9365732399090104E-7 | 0.057053202110968475 | 144931.13333333333 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 4.260660911700218E-7 | 0.07180297264306743 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 4.482125253204984E-7 | 0.07533335007407779 | 168075.06666666668 |
DRESDEN/crisscross/GsY16g | 4.824920087094598E-7 | 0.05546773164711429 | 114960.93333333333 |
BASE/crisscross/ICagEg | 5.538395846065822E-7 | 0.05563591854901524 | 100454.93333333333 |
BASE/ad_game_2x2/D0aWqg | 7.472685607168156E-7 | 0.02665529374133703 | 35670.3 |
BASE/hitori/S8Gsyg | 8.33635830835801E-7 | 0.28950077200205865 | 347274.86666666664 |
DRESDEN/hitori/S8Gsyg | 8.587744680845283E-7 | 0.2951497064900141 | 343687.1 |
DRESDEN/chinesecheckers3/QsCb2A | 9.086601667240689E-7 | 0.3826530612244898 | 421117.9 |
BASE/gt_tinfoil/Q8DyKg | 9.907025961835764E-7 | 0.4911108928396032 | 495719.8 |
BASE/colonelBlottoVariant/X-n-KQ | 1.239994042185037E-6 | 0.45463401961421057 | 366642.1 |
BASE/max_knights/2fq3Ag | 1.3626982838793715E-6 | 1.1083583257269527 | 813355.6333333333 |
DRESDEN/max_knights/hCipiA | 1.3646814692368751E-6 | 1.04322879311469 | 764448.5666666667 |
BASE/hanoi_6_disks/MeubgQ | 1.454965758350829E-6 | 1.8828037259694788 | 1294053.6333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 1.4967656441188208E-6 | 1.999466808850973 | 1335858.3 |
DRESDEN/kalaha_2009/gcC8uA | 1.713753604074171E-6 | 0.04385484047801776 | 25589.933333333334 |
BASE/kalaha_2009/dRiN3g | 1.7251217919855253E-6 | 0.04426639516610965 | 25659.866666666665 |
BASE/colonelBlottoVariant2/jruwGw | 1.77948097447046E-6 | 0.43732233780026863 | 245758.36666666667 |
BASE/checkers-newgoals/0XkFiA | 1.7884434103618468E-6 | 0.4417797412432944 | 247019.13333333333 |
BASE/checkersTiny/Lr48cg | 1.921909155089181E-6 | 0.7871175100849431 | 409549.8 |
BASE/gt_attrition/kD_SCA | 1.967867012928709E-6 | 0.24732578989674148 | 125682.16666666667 |
BASE/pawnToQueen/-O1_JA | 2.2661684992523025E-6 | 1.282009138424115 | 565716.6 |
BASE/skirmishZeroSum/zh4hcw | 2.3514039957052365E-6 | 0.4609812314784327 | 196045.1 |
BASE/checkersSmall/SYmq8w | 2.5232081912323534E-6 | 0.77073766016892 | 305459.4 |
BASE/knightmove/jBaJEw | 2.5936817298876104E-6 | 2.485089463220676 | 958132.0 |
DRESDEN/pawntoqueen/f_x6Aw | 2.706815562828585E-6 | 1.2568215644121052 | 464317.4 |
DRESDEN/knightmove/97Ipcw | 2.772284547555602E-6 | 2.5235755080355955 | 910287.3333333334 |
DRESDEN/racer/vk_ZBA | 2.865179111514834E-6 | 0.08032128514056225 | 28033.6 |
BASE/racer/QQYQNw | 2.901725904705887E-6 | 0.07946598855689765 | 27385.766666666666 |
DRESDEN/quad_5x5/JAEP5g | 2.984192269535724E-6 | 2.008362690547526 | 673000.4333333333 |
BASE/checkers/rOC3Xg | 3.1552415063028027E-6 | 0.7567283016384813 | 239832.13333333333 |
BASE/quad_5x5/JAEP5g | 3.3549081056100805E-6 | 1.992892018467466 | 594022.8333333334 |
BASE/battle/8oAvhQ | 3.5140746445516297E-6 | 0.9295222919363941 | 264514.1 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.5617808045308433E-6 | 5.964412339706418 | 1674559.0666666667 |
DRESDEN/battle/8oAvhQ | 3.5926067203694024E-6 | 0.9467841984982044 | 263536.8333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 3.96233603272227E-6 | 6.471954862263525 | 1633368.5 |
DRESDEN/chinesecheckers2/06E6-Q | 5.574575761957542E-6 | 3.6631256452096306 | 657112.9 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 6.355910827061264E-6 | 0.3159358018450651 | 49707.4 |
DRESDEN/satlike_20v_91c/yeuENQ | 6.520176926968821E-6 | 0.3510115514710575 | 53834.666666666664 |
BASE/queens31lg/0gID-A | 6.9544427613811575E-6 | 1.0567333729608348 | 151950.83333333334 |
DRESDEN/blobwars/ZaMluQ | 7.061070486315351E-6 | 0.13932621840777998 | 19731.6 |
BASE/blobwars/0XT15Q | 7.226325037661841E-6 | 0.13962970203021588 | 19322.366666666665 |
BASE/checkers-mustjump/T-8UuQ | 7.304243300379644E-6 | 1.2412621676357223 | 169937.13333333333 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 7.358478214901472E-6 | 0.3834355828220859 | 52108.0 |
DRESDEN/connect5/1kYzSg | 7.70280604642409E-6 | 5.963559685018615 | 774206.1333333333 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 7.972527721844184E-6 | 0.3919135177504164 | 49158.0 |
BASE/connect5/d-BVQg | 8.16236355245431E-6 | 6.364333077871447 | 779716.9333333333 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 8.804886803937384E-6 | 1.2235449735449735 | 138962.03333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 9.226605060228699E-6 | 1.2808302407304017 | 138819.23333333334 |
BASE/wargame01/_GZFZg | 9.25165505249086E-6 | 2.213120169122019 | 239213.43333333332 |
DRESDEN/quad_5x5_8_2/JRTLJg | 9.802094212224153E-6 | 5.915979792608349 | 603542.4333333333 |
BASE/colonelBlotto/jip21A | 1.0476767899761015E-5 | 0.3597592883307169 | 34338.76666666667 |
DRESDEN/othello-cornercontrol/r5Gdlg | 1.1267287104329144E-5 | 0.5398882113821138 | 47916.433333333334 |
BASE/wargame03/klXI8w | 1.2024836720214789E-5 | 2.022680549108031 | 168208.56666666668 |
BASE/queens16ug/gT-ylw | 1.2217687043503363E-5 | 6.562947662990972 | 537167.7666666667 |
BASE/snake_2008/i6K26g | 1.3466954029379459E-5 | 5.0930395126660235 | 378187.93333333335 |
BASE/snake_2008_tweaked/bX0NJQ | 1.3481889344848674E-5 | 5.038117335101094 | 373695.2 |
DRESDEN/snake_2008/E56l3A | 1.3764296120972004E-5 | 5.090667110297788 | 369845.8 |
BASE/mummymaze2p/vpjDdA | 1.3847734917834205E-5 | 15.123251165889407 | 1092110.1 |
DRESDEN/chinesecheckers4/-oVNYg | 1.4068979316838764E-5 | 0.7452530620180157 | 52971.36666666667 |
BASE/checkers-mustjump-torus/uSApKQ | 1.4114445568501556E-5 | 1.458837571698551 | 103357.76666666666 |
STANFORD/platformjumpers/HEQskA | 1.4154363576198467E-5 | 5.3419157901722025 | 377404.1666666667 |
DRESDEN/mummymaze2p/k-8edg | 1.4501811787202288E-5 | 15.188355594044566 | 1047341.9333333333 |
BASE/knightThrough/gcwFjA | 1.4806345040639777E-5 | 11.532948901703277 | 778919.3666666667 |
DRESDEN/quad/JPe6fg | 1.648029171260864E-5 | 5.3783074931111186 | 326347.8333333333 |
BASE/quad/tw-Ufg | 1.6594347678185172E-5 | 5.352571561554573 | 322553.9 |
STANFORD/skirmish/w4V6Vw | 1.7939405687449653E-5 | 2.3876637373569887 | 133096.03333333333 |
STANFORD/madness/UO_B3A | 1.823377785138227E-5 | 2.306805074971165 | 126512.73333333334 |
BASE/hanoi/iGLsJg | 1.854364348826367E-5 | 21.35029810478633 | 1151354.0 |
BASE/wargame02/BkVqqQ | 1.8601625149864686E-5 | 2.191962803055463 | 117837.16666666667 |
DRESDEN/hanoi/RQ0jiA | 1.876753612080212E-5 | 21.418340494986843 | 1141244.1333333333 |
BASE/queens12ug/u6Bkmg | 2.1638750188188874E-5 | 12.754762221926201 | 589440.8 |
BASE/reversi/d8UMeA | 2.3434638043497427E-5 | 1.7993849375122686 | 76783.13333333333 |
BASE/speedChess/bPnisA | 2.475890175065734E-5 | 5.0567217804983535 | 204238.53333333333 |
BASE/reversiSuicide/9OxJlg | 2.5989041347310143E-5 | 1.9266542652139251 | 74133.33333333333 |
BASE/skirmishNew/sibw2g | 2.7556445731379224E-5 | 5.506717531929009 | 199834.1 |
BASE/gt_ultimatum/GE-uOA | 3.209381971021416E-5 | 20.883293365307754 | 650695.1666666666 |
DRESDEN/ghostmaze2p/HY0UwA | 3.356785359940819E-5 | 32.278481012658226 | 961589.0666666667 |
BASE/quarto/EwBMVQ | 3.4099861111516545E-5 | 3.8357251504530123 | 112485.06666666667 |
BASE/breakthroughHoles/nZk0Sg | 3.426312636469835E-5 | 30.889703432189272 | 901543.6333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 3.5083249334199394E-5 | 29.251066098081022 | 833761.6 |
BASE/ghostMaze2p/W-NU-w | 3.518052866651107E-5 | 30.632970399227517 | 870736.5 |
BASE/dotsAndBoxes/EHwA_w | 3.529979327043077E-5 | 29.37062937062937 | 832034.0333333333 |
BASE/pancakes/yUgbXw | 3.593896969064715E-5 | 9.273416206873629 | 258032.33333333334 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.609762046044938E-5 | 28.58856457417033 | 791979.2 |
BASE/quartoSuicide/-23jUg | 3.6116776291158286E-5 | 3.9811558622520073 | 110230.1 |
BASE/quad_7x7/q-JOXg | 3.6159424920162645E-5 | 17.03049491751375 | 470983.56666666665 |
BASE/mummyMaze2p_2007/YGA3Vw | 3.618271521280531E-5 | 29.02462594554967 | 802168.2666666667 |
DRESDEN/quad_7x7/q-JOXg | 3.659216042025242E-5 | 17.509986684420774 | 478517.43333333335 |
BASE/pancakes6/QZTdnw | 3.715827742360293E-5 | 9.165444607385682 | 246659.56666666668 |
DRESDEN/gt_ultimatum/pAiiQw | 3.7328161133161575E-5 | 23.046692866182642 | 617407.6666666666 |
BASE/breakthrough/TGxk-g | 3.7629421854768764E-5 | 31.624900026659557 | 840430.1333333333 |
BASE/breakthroughSuicide/wZDpIg | 3.813307987519567E-5 | 31.74550299800133 | 832492.5 |
BASE/breakthroughWalls/vOZaYA | 3.8502329773465986E-5 | 31.223966143490287 | 810963.0333333333 |
DRESDEN/quarto/OQzRYQ | 3.874751557836349E-5 | 4.0054288457082325 | 103372.53333333334 |
DRESDEN/quartosuicide/WIU1oQ | 3.883596808054348E-5 | 4.056660238079404 | 104456.26666666666 |
DRESDEN/pancakes/hl9aiQ | 3.963295619787823E-5 | 10.33875203616901 | 260862.5 |
DRESDEN/pancakes6/SZXMyQ | 3.971831939633402E-5 | 10.195921631347462 | 256705.76666666666 |
DRESDEN/nim1/M9BALA | 4.067009114070786E-5 | 29.479364444888578 | 724841.3666666667 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 4.143118821626715E-5 | 36.35575993868506 | 877497.4 |
BASE/nim1/hin2Qw | 4.1934764377735934E-5 | 30.082952993303795 | 717375.0333333333 |
BASE/wallmaze/uxNQ9g | 4.342518395650567E-5 | 23.57485348961108 | 542884.3666666667 |
BASE/othelloHoles/c0qAzw | 4.358432110417332E-5 | 1.9029495718363463 | 43661.333333333336 |
DRESDEN/breakthrough/z4hK7Q | 4.382919503423863E-5 | 35.5 | 809962.4 |
DRESDEN/knightthrough/J7Fc_Q | 4.3908199434162687E-5 | 33.76623376623377 | 769018.8666666667 |
BASE/2pttc/unkkYA | 4.487173681818122E-5 | 31.071000399627014 | 692440.3333333334 |
DRESDEN/nim2/z5_exA | 4.504147413132117E-5 | 30.30706720841937 | 672870.2333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 4.5358340599302175E-5 | 35.3050892619238 | 778359.3666666667 |
BASE/nim2/eF2Qqw | 4.581269840347394E-5 | 29.98700563089328 | 654556.6333333333 |
BASE/guess/SPpk1A | 4.631428274254195E-5 | 2.5229890781130697 | 54475.4 |
BASE/pacman3p/wW7UVQ | 4.649344020420125E-5 | 21.787653662924342 | 468617.8 |
DRESDEN/guess/PhxGhg | 4.664828523970432E-5 | 2.5560165975103732 | 54793.36666666667 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 4.799510971986461E-5 | 75.64901522977972 | 1576181.7333333334 |
BASE/ttcc4_2player_alt/ZEJvYA | 4.977975863888655E-5 | 19.44398202097553 | 390600.1666666667 |
BASE/choicethroughalt/tt71Lg | 4.982477187504284E-5 | 24.509640680675346 | 491916.76666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 5.129865999010096E-5 | 74.8775367389783 | 1459639.2333333334 |
BASE/knightfight/SJRkAg | 5.1361185114424845E-5 | 12.173218918379565 | 237012.03333333333 |
BASE/queens08ug/kJ_ZFQ | 5.1428367731092514E-5 | 36.99260147970406 | 719303.4333333333 |
DRESDEN/knightfight/4_Ly4w | 5.160788987710064E-5 | 12.084692722551434 | 234163.66666666666 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 5.321217183957789E-5 | 45.59533721898418 | 856859.1666666666 |
DRESDEN/nim3/sG_axA | 5.343797814438862E-5 | 30.851241046143596 | 577328.0 |
DRESDEN/nim4/F5YAYg | 5.42854559270297E-5 | 31.488454233447737 | 580053.2333333333 |
BASE/nim3/1OwUqw | 5.430110668315133E-5 | 31.23751165578793 | 575264.7333333333 |
BASE/pacman2p/4LEdQg | 5.444405223429869E-5 | 21.608123855501916 | 396886.76666666666 |
DRESDEN/pacman3p/rBnk8Q | 5.505595844521879E-5 | 22.438244889806246 | 407553.43333333335 |
BASE/nim4/twk16w | 5.5799779458771696E-5 | 31.305158690511874 | 561026.5666666667 |
BASE/othelloSuicide/B442jg | 5.590373440293381E-5 | 1.8579960185799602 | 33235.63333333333 |
BASE/ttcc4_2player/_aH_Mw | 5.715704315614744E-5 | 20.781296832850433 | 363582.43333333335 |
BASE/tictactoe_3d_2player/IUC1rQ | 5.727412632802103E-5 | 48.08236979774083 | 839512.9333333333 |
BASE/bomberman2p/4CClwA | 6.09063056014064E-5 | 28.49913437208683 | 467917.63333333336 |
DRESDEN/bomberman2p/x4h6jQ | 6.182635777272659E-5 | 28.766666666666666 | 465281.6 |
DRESDEN/Travelers-Dilemma/PvZwYw | 6.272104499126069E-5 | 0.27134587554269174 | 4326.233333333334 |
BASE/nonogram_10x10_1/0Xc62g | 6.45877215233251E-5 | 12.025717045870948 | 186192.0 |
STANFORD/ttcc4/Cx9SGw | 6.540181490410029E-5 | 22.316967557124777 | 341228.56666666665 |
BASE/othello-comp2007/86ZoMw | 6.732742724129471E-5 | 2.1948786165613567 | 32600.066666666666 |
DRESDEN/skirmish2/iPpWhQ | 6.749766347353301E-5 | 17.373360846701726 | 257392.03333333333 |
BASE/amazonsSuicide_10x10/XIbQkg | 6.76442408291164E-5 | 3.9849898714840766 | 58911.0 |
BASE/copolymer_4/2LDVhQ | 6.805857297398894E-5 | 50.073294243070364 | 735738.2333333333 |
BASE/amazons_10x10/Bun8dA | 6.82677656909882E-5 | 3.7433332229105245 | 54833.1 |
BASE/4pttc/AL1k2Q | 6.994987350826507E-5 | 14.309960398016573 | 204574.5 |
BASE/kalaha6x2x4/XS81Mg | 7.007490349190096E-5 | 4.569839062189549 | 65213.63333333333 |
BASE/skirmish/Y_psYQ | 7.201818085286224E-5 | 8.052172755706396 | 111807.5 |
BASE/cephalopodMicro/9l2D3g | 7.230154245300977E-5 | 21.044219499200853 | 291061.8333333333 |
DRESDEN/skirmish/RjGQYQ | 7.375189007119129E-5 | 16.38470760623418 | 222159.83333333334 |
BASE/checkersBarrelNoKings/rnKNeg | 7.50849267823563E-5 | 24.04262404262404 | 320205.73333333334 |
DRESDEN/skirmish3/3LU8Nw | 7.622714854055793E-5 | 16.76554896340244 | 219941.96666666667 |
DRESDEN/brawl/2kXtfQ | 7.717624160503998E-5 | 11.828601892576303 | 153267.4 |
BASE/amazonsTorus_10x10/Uxc08g | 7.76757377758946E-5 | 1.532669176690101 | 19731.633333333335 |
BASE/amazons_8x8/7SOsIw | 7.814016335535447E-5 | 9.44305901911887 | 120847.7 |
BASE/brawl/6Ymo_Q | 7.869187389323533E-5 | 11.656952539550375 | 148134.13333333333 |
STANFORD/knightstourbig/TQUI2g | 7.926621567641971E-5 | 76.56156256249584 | 965878.8666666667 |
BASE/chineseCheckers1/gqtwHw | 7.986924302198148E-5 | 132.1867813218678 | 1655039.8666666667 |
BASE/checkersTorusNoKings/pwb6oQ | 8.045633675824049E-5 | 23.050531294760333 | 286497.4 |
STANFORD/checkersonabarrelnokings/Zrevdw | 8.100357209552228E-5 | 23.68421052631579 | 292384.76666666666 |
BASE/queens06ug/7Lq3tw | 8.230601057527391E-5 | 74.53933557695511 | 905636.6 |
STANFORD/chinook/osFbPA | 8.306137959761905E-5 | 21.664614463043694 | 260826.56666666668 |
BASE/hidato37/pBrqxw | 8.31067053604501E-5 | 17.595210377515382 | 211718.3 |
BASE/3pttc/0sol9g | 8.332222126964592E-5 | 21.465951134962168 | 257625.76666666666 |
BASE/checkersTorus/2vm1EQ | 8.561620044716478E-5 | 19.309518260811664 | 225535.8 |
BASE/copolymer_4_pie/IN5_jA | 8.631380845794765E-5 | 48.9983667211093 | 567677.0333333333 |
BASE/racetrackcorridor/_RkdUg | 8.650087056507104E-5 | 58.62953462806889 | 677791.2666666667 |
BASE/queens08lg/Ru7eqQ | 8.756222750764532E-5 | 42.070550614569804 | 480464.6 |
DRESDEN/capture_the_king/EQ229Q | 8.825737036283725E-5 | 14.506254990684056 | 164363.1 |
DRESDEN/golden_rectangle/1uloXw | 8.857715564907303E-5 | 64.16238917405506 | 724367.2333333333 |
BASE/chinook/XQh0IQ | 8.864150159547988E-5 | 22.65081109889744 | 255532.8 |
DRESDEN/CephalopodMicro/H3XQfg | 9.203071215336563E-5 | 25.676890798281548 | 279003.5 |
DRESDEN/racetrackcorridor/O0DoTA | 9.588399654781599E-5 | 58.25501566353396 | 607557.2333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 9.916681109953779E-5 | 204.3 | 2060165.0666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 9.93692960939383E-5 | 205.36666666666667 | 2066701.4333333333 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 1.0071941916717513E-4 | 27.58069351453982 | 273836.9 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.0564617662865301E-4 | 29.916380717593363 | 283175.23333333334 |
STANFORD/multiplesukoshi/vLSQPg | 1.0670531837240163E-4 | 122.80467890825474 | 1150876.8333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.0741161434306553E-4 | 206.8 | 1925303.9 |
BASE/skirmishFinal2/gdB62Q | 1.0859894339901091E-4 | 14.929849701736261 | 137476.93333333332 |
BASE/skirmishFinal3/-Olhfw | 1.0865787868355365E-4 | 16.17465969980364 | 148858.6 |
DRESDEN/skirmishfinal/hzq8ww | 1.1035717845718623E-4 | 14.649087761353043 | 132742.5 |
BASE/breakthroughSuicideSmall/XSbJog | 1.105265189379784E-4 | 91.47865498050454 | 827662.5 |
BASE/breakthroughSmall/HJ0tIA | 1.113642057740319E-4 | 91.09696343455218 | 818009.3666666667 |
BASE/skirmishFinal1/ecWTnQ | 1.1429183741232582E-4 | 14.618714618714618 | 127906.9 |
BASE/chineseCheckers6/rREH3A | 1.1559494660195102E-4 | 44.38964241676942 | 384010.23333333334 |
BASE/knightsTourLarge/M8jgLA | 1.1635927973224353E-4 | 106.87862427514497 | 918522.5666666667 |
BASE/smallest_4player/ADDROA | 1.1868023656123102E-4 | 36.35575993868506 | 306333.73333333334 |
BASE/ttcc4_2player_small/Cv72TA | 1.1989832613110103E-4 | 66.22008931547023 | 552302.0333333333 |
DRESDEN/smallest_4player/ADDROA | 1.2120944201790588E-4 | 38.28596181400153 | 315866.1666666667 |
BASE/skirmishHoles/AUCxCA | 1.2145490522764044E-4 | 15.481937739304145 | 127470.66666666667 |
DRESDEN/Goldrush/VeWczQ | 1.2174951848267062E-4 | 41.856900056653444 | 343795.2 |
BASE/chineseCheckers2/eCMR3Q | 1.2202698061525448E-4 | 103.90216268452798 | 851468.7666666667 |
STANFORD/multipletictactoe/_bkafQ | 1.2571878390651913E-4 | 155.56888622275545 | 1237435.5 |
BASE/connectFourLarger/qKi60A | 1.25997995580676E-4 | 98.4901509849015 | 781680.3 |
BASE/strangeSkirmish/gc1zKA | 1.2666271456032417E-4 | 13.430199620088645 | 106031.2 |
BASE/2pffa_zerosum/o0_uZA | 1.2754747279599622E-4 | 63.31644894694748 | 496414.76666666666 |
BASE/sheepAndWolf/g4THrg | 1.2768388119121696E-4 | 19.671148981493808 | 154061.33333333334 |
BASE/golden_rectangle/_nYzfw | 1.2923353101052014E-4 | 105.3122708791575 | 814898.9666666667 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.341083936973792E-4 | 146.50403252682796 | 1092430.0 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.3462559519202954E-4 | 163.45576961535897 | 1214150.7666666666 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.347885868404971E-4 | 168.22211852543163 | 1248044.2333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.3502227015917394E-4 | 273.53931273539314 | 2025882.9333333333 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.358769712846567E-4 | 187.62707909736343 | 1380860.0333333334 |
BASE/nonogram_5x5_1/qLKEZw | 1.368843362550893E-4 | 48.51716094635122 | 354439.1 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.4063070591124505E-4 | 151.4515215145152 | 1076944.9 |
BASE/2pffa/6oHijA | 1.4287972021231218E-4 | 70.7595907075959 | 495238.86666666664 |
BASE/pegEuro/5awwhg | 1.4536158991950004E-4 | 67.12662067126621 | 461790.63333333336 |
BASE/chineseCheckers3/-1rZdQ | 1.4669570372163084E-4 | 73.88029858704346 | 503629.6 |
BASE/peg/fJHVWw | 1.4705694097172966E-4 | 66.84884030925086 | 454577.93333333335 |
DRESDEN/endgame/IJhh3Q | 1.471310638146663E-4 | 25.22240362509579 | 171428.13333333333 |
STANFORD/pilgrimage/ObRZnQ | 1.4803619714308237E-4 | 43.44783926964982 | 293494.7 |
STANFORD/freeforall/Lfp40Q | 1.5905379746568941E-4 | 82.63912029323559 | 519567.1 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1.592769076165699E-4 | 38.197453503099794 | 239817.9 |
BASE/kalaha5x2x3/WviNsw | 1.5982786501331507E-4 | 16.42512077294686 | 102767.56666666667 |
BASE/chineseCheckers4/avfBcQ | 1.599119618107107E-4 | 58.29222770297294 | 364527.0 |
BASE/escortLatch/mX9BjQ | 1.715712981391995E-4 | 84.55821084558211 | 492845.9 |
DRESDEN/mimikry/GJEhwA | 1.7205164361765055E-4 | 149.26666666666668 | 867568.9666666667 |
BASE/connectFourSuicide/c8p9Kw | 1.7252938458274116E-4 | 172.7942401919936 | 1001535.1333333333 |
BASE/tictactoe_3d_6player/d7KSwg | 1.753246191175923E-4 | 42.93047130191321 | 244862.76666666666 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1.7972239100652525E-4 | 202.75990800306656 | 1128183.9 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.8548722105362868E-4 | 90.74549271836571 | 489227.73333333334 |
BASE/gt_coordination/IVMOzA | 1.8859472694206415E-4 | 203.63333333333333 | 1079740.3333333333 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.9048306237793772E-4 | 107.95946936870875 | 566766.7666666667 |
STANFORD/selectivesukoshi/3xmXYg | 1.9584877541256276E-4 | 133.22445170321978 | 680241.4333333333 |
STANFORD/alquerquezero/uVgA_A | 1.962100852028262E-4 | 65.8311389620346 | 335513.5333333333 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 2.0084645789194758E-4 | 223.8184121058596 | 1114375.7 |
BASE/sudokuGrade1/tDRNRw | 2.0151752069948268E-4 | 121.42928569047699 | 602574.3333333334 |
BASE/sudokuGrade2/u80Tfw | 2.0548546896979352E-4 | 122.2959234692177 | 595156.0666666667 |
BASE/sudokuGrade4/DTy07w | 2.0630710723009625E-4 | 121.57568486302739 | 589294.7 |
BASE/sudokuGrade3/eI8dvg | 2.0963061302987237E-4 | 122.30479554770554 | 583430.0333333333 |
BASE/majorities/ibJzSQ | 2.0966165516785908E-4 | 99.47678874929183 | 474463.43333333335 |
BASE/knightsTour/mvtVIg | 2.1099548692271657E-4 | 277.5055827750558 | 1315220.4666666666 |
STANFORD/sudoku/oJ1qyQ | 2.1436850603672006E-4 | 120.78792120787921 | 563459.2666666667 |
BASE/duplicateStateLarge/dcjyuw | 2.157606826659669E-4 | 276.26666666666665 | 1280431.0 |
BASE/sudokuGrade5/BQfUQA | 2.1616306408772762E-4 | 123.8584094393707 | 572986.0 |
STANFORD/knightstour/cEwgNA | 2.1682165779309077E-4 | 278.2814479034731 | 1283457.8 |
BASE/dualConnect4/WbCQkg | 2.1707415793662077E-4 | 192.50766564458073 | 886829.0333333333 |
BASE/tttcc4/8Bs2lg | 2.1738058330705805E-4 | 29.290236587804067 | 134741.73333333334 |
BASE/zhadu/DlA8iQ | 2.1873007365831164E-4 | 22.8 | 104238.06666666667 |
BASE/ttcc4/Le0qjQ | 2.2299295365903188E-4 | 29.564695686954202 | 132581.3 |
DRESDEN/tttcc4/sAvtFg | 2.3187696604921968E-4 | 30.097993467102192 | 129801.56666666667 |
BASE/qyshinsu/R08Lzw | 2.3377913830417845E-4 | 60.29598026798214 | 257918.56666666668 |
BASE/blokbox_simple/JBx4bg | 2.3588657659450991E-4 | 4.1099068642073515 | 17423.233333333334 |
STANFORD/breakthrough/d5j0cQ | 2.3617835735243036E-4 | 189.64770189647703 | 802985.1 |
BASE/sudokuGrade6E/ihYFZA | 2.3696038988083636E-4 | 121.48380215971204 | 512675.56666666665 |
BASE/mineClearingSmall/frsbvw | 2.396195703862053E-4 | 68.44157142381127 | 285625.9666666667 |
BASE/futoshiki6/JmvXNA | 2.3962263577128655E-4 | 133.1489134782029 | 555660.8333333334 |
BASE/sudokuGrade6H/ieE_9A | 2.4064252863319498E-4 | 124.01266455590735 | 515339.76666666666 |
DRESDEN/aipsrovers01/qS47Mw | 2.435942285057154E-4 | 393.26666666666665 | 1614433.4333333333 |
BASE/firefighter/WJmoPw | 2.450015727006687E-4 | 1005.3 | 4103238.966666667 |
STANFORD/duidoku/3SoMaA | 2.465778222294717E-4 | 76.88206085246776 | 311796.3333333333 |
DRESDEN/Zhadu/9zpQ5w | 2.533302495039793E-4 | 25.626499600106637 | 101158.46666666666 |
STANFORD/knightstourmedium/x1wu8Q | 2.5457193810217893E-4 | 324.95583480550647 | 1276479.4 |
DRESDEN/connectfoursuicide/M9CNQg | 2.5764663031051016E-4 | 255.524815839472 | 991764.6333333333 |
BASE/aipsrovers01/4C4jsw | 2.584056446082392E-4 | 399.05336488783706 | 1544290.4333333333 |
DRESDEN/firefighter/WJmoPw | 2.6031196773197484E-4 | 1002.9333333333333 | 3852813.0 |
BASE/connectFourLarge/aU644A | 2.670072325441103E-4 | 233.98440103993067 | 876322.3333333334 |
BASE/3pConnectFour/PqXOFQ | 2.7260172276420756E-4 | 186.4209052729818 | 683858.1333333333 |
DRESDEN/Runners/3bOCQw | 2.764229836240244E-4 | 235.6176254916339 | 852380.7333333333 |
DRESDEN/oisters_farm/pTQMLg | 2.866224952254731E-4 | 1073.3 | 3744646.7666666666 |
STANFORD/hex/MTqWcw | 2.8909954786315157E-4 | 24.32927845359107 | 84155.36666666667 |
BASE/hex/T1MK8g | 2.9040588687568675E-4 | 24.326846174353506 | 83768.43333333333 |
BASE/englishDraughts/jFkQxg | 2.934700785767689E-4 | 88.70672131693826 | 302268.36666666664 |
DRESDEN/connect4/T0-rHQ | 2.9359494446713037E-4 | 175.24914175249143 | 596907.9 |
DRESDEN/grid_game2/kypTYQ | 2.9967025972494135E-4 | 424.57169522031865 | 1416796.2333333334 |
BASE/hidato19/rRHSmA | 3.01956790469812E-4 | 137.46208459718008 | 455237.6 |
BASE/gt_chicken/gmepTQ | 3.021710156385485E-4 | 128.18290894547394 | 424206.5 |
BASE/connect4/50bOyw | 3.042499835010473E-4 | 174.12752908236394 | 572317.3 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.0501157779500384E-4 | 265.3333333333333 | 869912.3333333334 |
BASE/3pffa/pR0dzA | 3.0642740594777454E-4 | 62.239696131676276 | 203114.0 |
BASE/4pffa/Q3ADlg | 3.0948622735890155E-4 | 54.17652350648053 | 175053.1 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 3.09799401727951E-4 | 473.15089497016766 | 1527281.5 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.0994383754537504E-4 | 265.20681265206815 | 855660.8666666667 |
BASE/futoshiki5/TJ4BZg | 3.1626830300681113E-4 | 194.14078122916945 | 613848.3666666667 |
DRESDEN/grid_game/U7_Yeg | 3.2111536081117046E-4 | 195.00733235568592 | 607281.2333333333 |
BASE/biddingTicTacToe/8mESVw | 3.26043770068116E-4 | 126.39157389507366 | 387652.1666666667 |
DRESDEN/backgammon/mqCW0Q | 3.292397041706494E-4 | 49.3786026055376 | 149977.66666666666 |
BASE/pentago/86NgKw | 3.327470614357131E-4 | 120.8798533577737 | 363278.5 |
DRESDEN/4pttc/9pB9AQ | 3.3494207477086156E-4 | 82.71127699280191 | 246942.03333333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 3.430103601973391E-4 | 1235.5333333333333 | 3602029.2 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 3.4388635730387877E-4 | 1238.0333333333333 | 3600123.433333333 |
BASE/connectFour_9x6/B9TtMw | 3.4600929971461276E-4 | 332.0555981467284 | 959672.4666666667 |
STANFORD/pentago/ZxzLmg | 3.463629838845949E-4 | 127.0909696767744 | 366930.0 |
BASE/pentagoSuicide/SBgNhw | 3.4690707424558405E-4 | 122.42517165522298 | 352904.8 |
DRESDEN/bidding-tictactoe/yW5vTA | 3.5595964611449604E-4 | 137.51041493084486 | 386309.0 |
BASE/gt_staghunt/xPjLRA | 3.6020409386603716E-4 | 149.09503016566114 | 413918.2 |
BASE/connectFour/WAIKTw | 3.652334662255253E-4 | 356.3881203959868 | 975781.6666666666 |
BASE/pawnWhopping/Ypc_6Q | 3.673467377420658E-4 | 268.5 | 730917.0666666667 |
BASE/asteroidsSerial/id2QkA | 3.6757326424442566E-4 | 298.1134591027265 | 811031.4 |
STANFORD/connectfour/VMpZkQ | 3.6852094748406045E-4 | 360.3333333333333 | 977782.5 |
BASE/hexPie/48CH6Q | 3.694047591435493E-4 | 24.161029093211585 | 65405.3 |
DRESDEN/babel/WdSW4A | 3.7095074985832744E-4 | 87.27381785464361 | 235270.63333333333 |
DRESDEN/pentago_2008/hLjVpQ | 3.8210798251013593E-4 | 136.06213126229125 | 356082.93333333335 |
DRESDEN/gt_chicken/CeuKtw | 3.827295369307744E-4 | 161.0731544742543 | 420853.73333333334 |
BASE/gt_prisoner/klthDw | 3.835041877277819E-4 | 154.7793627516331 | 403592.36666666664 |
BASE/nineBoardTicTacToe/wRmqqA | 3.954045839313401E-4 | 210.93333333333334 | 533462.0333333333 |
BASE/snake_2009_big/-oRfVw | 3.967124441735851E-4 | 138.59538015399485 | 349359.8 |
STANFORD/nineboardtictactoe/y28P-A | 3.998640375734972E-4 | 215.63333333333333 | 539266.6333333333 |
BASE/minichess-evilconjuncts/4OpQzw | 3.999058071045056E-4 | 111.95920271981868 | 279963.93333333335 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 4.0105843657860214E-4 | 902.9666666666667 | 2251459.1 |
BASE/breakthroughSmallHoles/bxclRw | 4.015414821024892E-4 | 314.0228659044698 | 782043.4 |
DRESDEN/minichess-evilconjuncts/th24Tw | 4.0589193381672964E-4 | 112.9811698050325 | 278352.8333333333 |
BASE/point_grab/V_osUg | 4.0649924121405974E-4 | 750.2 | 1845513.9 |
DRESDEN/minichess/c7GMFw | 4.0900791535470227E-4 | 112.49625012499584 | 275046.63333333336 |
DRESDEN/roshambo2/jgSlkQ | 4.1034838190081907E-4 | 310.84594360375974 | 757517.1666666666 |
BASE/tictactoe_3player/GtM71g | 4.1213367159256435E-4 | 201.5397946940408 | 489015.6 |
DRESDEN/knightstour/cGISAA | 4.19376146885088E-4 | 533.8333333333334 | 1272922.5 |
BASE/roshambo2/KNPokQ | 4.2341175731214334E-4 | 313.8228725709143 | 741176.5666666667 |
BASE/connectFourSimultaneous/7ITr3g | 4.412284475643243E-4 | 229.86666666666667 | 520969.73333333334 |
BASE/incredible/8Qh-6Q | 4.4364408905577104E-4 | 838.5666666666667 | 1890178.8333333333 |
DRESDEN/snake_2009_big/DgC1NQ | 4.460907081569157E-4 | 137.25751616558895 | 307689.7 |
BASE/gt_centipede/9fRMpw | 4.4714506062808385E-4 | 480.8 | 1075266.2666666666 |
BASE/tictactoex9/BI26ow | 4.555361287097326E-4 | 236.43333333333334 | 519022.13333333336 |
DRESDEN/tictactoex9/rFkD4w | 4.6219161107958524E-4 | 237.95873470884302 | 514848.6666666667 |
DRESDEN/towerworld/HCX34w | 4.624134579928332E-4 | 17.155801325826975 | 37100.566666666666 |
BASE/futoshiki4/BaCwSw | 4.6379354350552205E-4 | 343.25522482583915 | 740103.5 |
DRESDEN/connectfour/5tc-Mg | 4.6586828690291335E-4 | 453.23333333333335 | 972878.7 |
BASE/duplicateStateMedium/U163eQ | 4.7501783594367566E-4 | 790.8333333333334 | 1664849.7666666666 |
BASE/minichess/8NQEiA | 4.835335195111872E-4 | 114.77704459108179 | 237371.43333333332 |
BASE/asteroids/BKCmPQ | 4.83882978744262E-4 | 452.46666666666664 | 935074.5666666667 |
BASE/ruleDepthLinear/OUBJpQ | 4.900384525330082E-4 | 825.9333333333333 | 1685445.9666666666 |
DRESDEN/gt_prisoner/huCp4w | 4.927111825379022E-4 | 203.85307646156923 | 413737.4666666667 |
BASE/snake_2009/7l-qAQ | 4.965945992088983E-4 | 161.51179842687642 | 325238.73333333334 |
BASE/beatMania/qUHwvQ | 4.98313320979646E-4 | 488.3170560981301 | 979939.8 |
DRESDEN/snake_2009/zIYLVw | 4.990543351822358E-4 | 166.38890740617293 | 333408.4 |
BASE/nineBoardTicTacToePie/B8LzeQ | 5.103220667427843E-4 | 228.71046228710463 | 448168.86666666664 |
BASE/snake2p/I3wWPQ | 5.202697961378412E-4 | 298.3 | 573356.3666666667 |
BASE/ticTacToeLarge/TZC0dg | 5.250327671055763E-4 | 694.7768407719743 | 1323301.8666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 5.290891163662977E-4 | 694.1666666666666 | 1312003.3 |
BASE/simultaneousWin2/PfjRjw | 5.299347615386143E-4 | 486.6 | 918226.2333333333 |
STANFORD/hunter/14dD-g | 5.307202367961524E-4 | 457.7180760641312 | 862447.0 |
BASE/asteroidsParallel/WauZiA | 5.393151426492601E-4 | 266.4 | 493959.8 |
DRESDEN/tictactoe_3player/ESLQQQ | 5.553849265376702E-4 | 257.11619225384976 | 462951.3333333333 |
DRESDEN/catcha_mouse/cHv4dw | 5.56972700907493E-4 | 384.8 | 690877.6666666666 |
DRESDEN/frogs_and_toads/GjchhQ | 5.677576718338832E-4 | 81.07297567477508 | 142795.03333333333 |
BASE/chomp/-LcqYQ | 5.742793844907365E-4 | 224.19252691576946 | 390389.3 |
STANFORD/bestbuttonsandlights/nm0wEA | 5.758734701849496E-4 | 1226.3666666666666 | 2129576.6 |
DRESDEN/logistics/fPru1Q | 5.780625504003495E-4 | 287.14752349843343 | 496741.26666666666 |
BASE/conn4/va9Y7A | 5.901685627633216E-4 | 386.7204426519116 | 655271.1666666666 |
BASE/slidingpieces/uFJWEw | 5.904327939760347E-4 | 254.0497300179988 | 430277.13333333336 |
DRESDEN/slidingpieces/s9_44g | 5.94173237234938E-4 | 258.26666666666665 | 434665.6 |
BASE/cubicup/4wNWJA | 5.964854343444005E-4 | 224.35918802706576 | 376135.23333333334 |
DRESDEN/chomp/-LcqYQ | 5.970607634910292E-4 | 219.9593346888437 | 368403.6 |
BASE/tictactoe_3d_small_6player/g_9lww | 6.04881718199929E-4 | 199.8533431104593 | 330400.7 |
BASE/catcha_mouse/cHv4dw | 6.127360633325387E-4 | 374.68751041631947 | 611499.0333333333 |
BASE/blockerSerial/3eqDuw | 6.133136492176242E-4 | 354.60969268715417 | 578186.5333333333 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 6.13609406557189E-4 | 204.5 | 333273.9 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 6.20378061279309E-4 | 1053.7333333333333 | 1698534.1666666667 |
DRESDEN/cubicup/SBn_lw | 6.249777175988755E-4 | 223.8 | 358092.76666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 6.265556718842853E-4 | 508.4163861204627 | 811446.4666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 6.320200501683507E-4 | 1040.3666666666666 | 1646097.5666666667 |
BASE/tron_10x10/7ZTgDg | 6.565498108698434E-4 | 247.76666666666668 | 377376.8 |
BASE/rubiksCube/9tNO9Q | 6.639565033070803E-4 | 83.63333333333334 | 125962.06666666667 |
BASE/gt_dollar/TGjqRw | 6.712672149434403E-4 | 659.4333333333333 | 982370.8333333334 |
BASE/snakeParallel/RCVNtw | 6.765112225546959E-4 | 524.5666666666667 | 775399.8 |
BASE/lightsOnSimul4/9FeASw | 6.862634315134035E-4 | 374.50836610892605 | 545721.0 |
STANFORD/untwistycomplex/HTWEwg | 7.000496939475996E-4 | 2472.1666666666665 | 3531415.966666667 |
BASE/checkLines/Vop7oQ | 7.07915590556808E-4 | 295.8666666666667 | 417940.6 |
DRESDEN/point_grab/r5DPmQ | 7.421024645044267E-4 | 1345.0333333333333 | 1812463.1 |
BASE/hodgepodge/9yjRkw | 7.43839442586111E-4 | 996.1666666666666 | 1339222.7 |
STANFORD/untwistycorridor/EDPPAQ | 7.446219403735818E-4 | 2725.5 | 3660246.7 |
DRESDEN/peg_bugfixed/u_B7MA | 7.620695667525813E-4 | 348.2 | 456913.6666666667 |
STANFORD/dualhunter/1rPZjQ | 7.69116367561107E-4 | 341.9219359354688 | 444564.63333333336 |
BASE/shmup/ssTNlg | 7.705224408420164E-4 | 154.33333333333334 | 200297.0 |
DRESDEN/peg/Vo31eg | 7.762817446877984E-4 | 353.0431304579695 | 454787.36666666664 |
BASE/maze/cCX3qQ | 7.980796001593197E-4 | 1814.3 | 2273332.1333333333 |
DRESDEN/3pttc/uwYBZw | 8.132920375516905E-4 | 220.45196986867543 | 271061.26666666666 |
DRESDEN/pawn_whopping/4ogBkg | 8.155643106644609E-4 | 670.7776407453085 | 822470.5666666667 |
BASE/lightsOnParallel/SC6enA | 8.52863410627819E-4 | 1438.2666666666667 | 1686397.4333333333 |
DRESDEN/3pffa/0YrmQw | 8.559775341000269E-4 | 213.36666666666667 | 249266.66666666666 |
BASE/untwistycomplex2/EDPPAQ | 8.876471148595508E-4 | 2801.0 | 3155533.2666666666 |
BASE/ticTacHeavenFC/mrletw | 8.878677199026744E-4 | 320.4 | 360864.56666666665 |
DRESDEN/tictactoelargesuicide/6J4DeA | 8.8852755344392E-4 | 1161.6 | 1307331.4333333333 |
DRESDEN/tictactoelarge/IwXcbg | 9.001447629206498E-4 | 1141.3666666666666 | 1267981.2333333334 |
STANFORD/threepuzzle/41ibjA | 9.009818327257858E-4 | 978.8666666666667 | 1086444.4 |
STANFORD/3puzzle/41ibjA | 9.032249571568718E-4 | 992.6 | 1098951.0333333334 |
BASE/withConviction/3Xm54A | 9.181077866981675E-4 | 585.713809539682 | 637957.5666666667 |
BASE/ticTacToeSerial/Amrwqw | 9.216249951028303E-4 | 481.46666666666664 | 522410.6 |
DRESDEN/tpeg/h-Scbg | 9.253028881043912E-4 | 336.26666666666665 | 363412.5333333333 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 9.505722161039217E-4 | 739.3666666666667 | 777812.2 |
STANFORD/rainbow/_4qNSQ | 9.564916149020957E-4 | 1492.6 | 1560494.6 |
BASE/tpeg/QNs7Lw | 9.731698764755888E-4 | 352.1098593427105 | 361817.4666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 9.893385413914067E-4 | 1413.9666666666667 | 1429204.0666666667 |
STANFORD/dualrainbow/G3OnRQ | 0.0010361320120388744 | 920.1666666666666 | 888078.6 |
BASE/ticTacHeaven/18n58A | 0.001036299169003977 | 370.73333333333335 | 357747.4 |
BASE/lightsOut/5P1ZBw | 0.0010396578760218053 | 662.4333333333333 | 637164.7333333333 |
BASE/blocker/dIWtxg | 0.001039928239577163 | 1032.0 | 992376.1666666666 |
DRESDEN/Thief_Police/CX18rA | 0.0010881245682902397 | 965.6666666666666 | 887459.6666666666 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.0010883224657350886 | 951.8333333333334 | 874587.6 |
BASE/lightsOn/MsXu3A | 0.0011048141598264023 | 2288.3 | 2071208.0666666667 |
STANFORD/tictactoe3/X7myng | 0.0011269601945623007 | 1264.6333333333334 | 1122163.2666666666 |
BASE/duplicateStateSmall/bCPAXw | 0.001133960993158599 | 2337.133333333333 | 2061035.0333333334 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.0011339683324764801 | 871.8333333333334 | 768833.9333333333 |
BASE/cittaceot/fDxhXg | 0.0011365581826093582 | 225.40327956272498 | 198320.93333333332 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.0011464681636946038 | 1686.2 | 1470777.8666666667 |
DRESDEN/lightson2x2/gBHuig | 0.0011504394211019578 | 1676.4 | 1457182.3333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.001152972967960927 | 969.9 | 841216.6 |
STANFORD/buttonsandlights/eyhJpA | 0.001158309799971463 | 3422.5333333333333 | 2954765.066666667 |
BASE/ticTacToeNoVars/XT03NA | 0.0011601568751496499 | 1439.7 | 1240952.8666666667 |
STANFORD/duikoshi/tpw1sw | 0.0012066677995909753 | 583.4333333333333 | 483507.8333333333 |
DRESDEN/catch_me/ghGWrA | 0.0012110237140141446 | 962.2 | 794534.4 |
STANFORD/sukoshi/4LYZZQ | 0.0012385542114853483 | 1219.9333333333334 | 984965.6333333333 |
DRESDEN/blocker/S815zQ | 0.0012397874926750837 | 1237.3333333333333 | 998020.5 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.0012581631588185224 | 457.3333333333333 | 363492.86666666664 |
BASE/blocksWorldSerial/Wyg96Q | 0.001296993223563175 | 1050.9 | 810258.6666666666 |
BASE/blocksWorldParallel/RseaAQ | 0.001327180332935994 | 577.3666666666667 | 435032.56666666665 |
BASE/stateSpaceLarge/0Ge_CQ | 0.0013315216666431359 | 1364.3666666666666 | 1024667.2666666667 |
BASE/toetictac/mTThmg | 0.0013412930947599346 | 1494.1 | 1113925.0666666667 |
DRESDEN/stratego/Z2wovg | 0.001342060303594052 | 220.86666666666667 | 164572.83333333334 |
DRESDEN/statespacemedium/dVJZ_w | 0.0013525911877787793 | 1969.3 | 1455946.2 |
STANFORD/tictactoe5/WFRReg | 0.0013566215229754758 | 1193.7333333333333 | 879931.0 |
BASE/coloredtrails/EZvr7g | 0.0013637809803076738 | 514.6666666666666 | 377382.2 |
BASE/stateSpaceMedium/3bUoIw | 0.0013716888524304565 | 1992.5333333333333 | 1452613.2 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0013784818176595928 | 951.0666666666667 | 689937.7666666667 |
DRESDEN/statespacelarge/8-y5HQ | 0.0013875031049738367 | 1385.4666666666667 | 998532.3 |
BASE/ticblock/T21C1g | 0.0014012591664560772 | 1004.5666666666667 | 716902.8333333334 |
DRESDEN/toetictac/mJtxCA | 0.0014459810401127595 | 1516.4333333333334 | 1048722.8333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 0.0014532828458751648 | 406.55311489617014 | 279748.1 |
STANFORD/tictactoe7/-bE9-A | 0.0015219730768226262 | 1138.3 | 747910.7333333333 |
BASE/ticTacToe/JRFsaQ | 0.001551806825296192 | 1200.6666666666667 | 773721.7333333333 |
DRESDEN/buttons/ADUaHw | 0.0015722217056190592 | 3907.366666666667 | 2485251.7 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0015973693618052548 | 1411.4 | 883577.7333333333 |
STANFORD/tictactoe/ss1kyQ | 0.0015975830425912865 | 1208.5 | 756455.2 |
BASE/tictactoe-init1/7M19vA | 0.001598111677539796 | 1353.3333333333333 | 846832.7666666667 |
DRESDEN/lightsout/XgLpzQ | 0.0016026469135484488 | 995.5666666666667 | 621201.5 |
DRESDEN/lightsout2/LFtfyQ | 0.001610401869442345 | 975.1666666666666 | 605542.4333333333 |
BASE/ticTacToeParallel/ymRGPw | 0.001616441931782839 | 497.9 | 308022.2 |
BASE/buttons/hTcUjw | 0.001622406299991576 | 3923.2 | 2418136.566666667 |
BASE/factoringGeorgeForman/HGRorQ | 0.0016362079141253433 | 3368.9333333333334 | 2058988.5333333334 |
DRESDEN/javastrike/whONTQ | 0.0016545792706299032 | 109.06666666666666 | 65918.06666666667 |
BASE/switches/tPUoCg | 0.0016692685667590924 | 2106.233333333333 | 1261770.2 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.0016734708415449234 | 1276.4 | 762726.1666666666 |
DRESDEN/ticblock/Z2yNWQ | 0.0016966871746442692 | 1211.5333333333333 | 714058.1666666666 |
BASE/tictactoe_orthogonal/WRzlVw | 0.001704198043265982 | 1299.1 | 762294.0333333333 |
STANFORD/trifecta/ss1kyQ | 0.0017092637597717099 | 1205.8666666666666 | 705488.9333333333 |
BASE/troublemaker02/DI83KA | 0.0017418928746045963 | 3656.133333333333 | 2098942.7 |
BASE/blocksWorld/SEdXLQ | 0.0017608822005177143 | 2724.9333333333334 | 1547481.9 |
BASE/stateSpaceSmall/Q7osKA | 0.001763110135898146 | 3299.5 | 1871408.9 |
BASE/chickentoetictac/l57rfQ | 0.0017658905030479026 | 1423.8333333333333 | 806297.6333333333 |
DRESDEN/statespacesmall/h-NqjA | 0.0017877615443082546 | 3235.0666666666666 | 1809562.7333333334 |
BASE/chickentictactoe/DSlZCA | 0.0018238074086583185 | 1144.0666666666666 | 627295.7666666667 |
BASE/numbertictactoe/rvJ-iQ | 0.0018268864271442547 | 802.6666666666666 | 439363.2 |
DRESDEN/blocks/vg0DRw | 0.0018463599339848449 | 2683.133333333333 | 1453201.6666666667 |
BASE/tictactoe2/bhrDoQ | 0.001875675010667787 | 2351.9666666666667 | 1253930.8 |
BASE/circlesolitaire/azuQFQ | 0.001878878684654327 | 1649.7333333333333 | 878041.4333333333 |
DRESDEN/troublemaker02/iZLVuA | 0.0019049441479153596 | 3761.6666666666665 | 1974686.0666666667 |
BASE/blocks/xIV5hQ | 0.001905477289752867 | 2693.3333333333335 | 1413469.1333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.0019176782484991639 | 1535.5666666666666 | 800742.6 |
BASE/brain_teaser_extended/ZDp94A | 0.0019290577228902551 | 1519.8333333333333 | 787863.0666666667 |
DRESDEN/latenttictactoe/kITHKg | 0.0019297251803000448 | 1224.4333333333334 | 634511.7666666667 |
DRESDEN/circlesolitaire/ruUilQ | 0.0019401293496482436 | 1681.6 | 866746.3333333334 |
DRESDEN/chickentoetictac/cxYaRQ | 0.0019755375274237816 | 1483.7 | 751036.1 |
BASE/troublemaker01/s3tlEQ | 0.0020057049057198946 | 4405.1 | 2196285.2 |
BASE/ticTicToe/c1OobQ | 0.0020610328914213113 | 690.2 | 334880.63333333336 |
DRESDEN/troublemaker01/C-lPWw | 0.0020689791440625925 | 4509.566666666667 | 2179609.533333333 |
STANFORD/tictictoe/rpt_Dw | 0.0021092369153259717 | 699.2666666666667 | 331525.9 |
DRESDEN/blockerparallel/dVQgSg | 0.0021458124163910098 | 423.2525582480584 | 197245.83333333334 |
DRESDEN/blocksworldparallel/2JfVaw | 0.002153487673462909 | 926.1666666666666 | 430077.5333333333 |
BASE/cubicup_3player/e2yA_g | 0.0021745193901662467 | 172.14945172149453 | 79166.66666666667 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.0021878543644388896 | 334.23333333333335 | 152767.63333333333 |
BASE/blockerParallel/7-nDJA | 0.0022149221001140636 | 426.23333333333335 | 192437.16666666666 |
DRESDEN/eotcatcit/mQUxzA | 0.002249326922780387 | 1823.4 | 810642.5 |
DRESDEN/cubicup_3player/awDtsQ | 0.0023626299707453333 | 181.72727575747476 | 76917.36666666667 |
STANFORD/8puzzle/jNiGtw | 0.0023690821078444966 | 498.3666666666667 | 210362.76666666666 |
STANFORD/eightpuzzle/W_aWbA | 0.0024417448834361095 | 485.4 | 198792.26666666666 |
BASE/eightPuzzle/vLrgFg | 0.0024575305668695533 | 507.1164294523516 | 206352.03333333333 |
DRESDEN/tictactoe/BTTzPw | 0.002467745286577053 | 1983.1333333333334 | 803621.5666666667 |
BASE/doubletoetictac/fu35bg | 0.002552925843434523 | 1258.4666666666667 | 492950.73333333334 |
BASE/eotcatcit/AfZSzA | 0.002763186703476391 | 1911.5666666666666 | 691797.8666666667 |
DRESDEN/smallest/9kaGFw | 0.0028135466432908426 | 32.7147949495286 | 11627.6 |
DRESDEN/tictictoe/LAUtwg | 0.0028283581614791087 | 963.2666666666667 | 340574.5 |
BASE/eotcitcit/V_9_bg | 0.002896089862853817 | 963.4333333333333 | 332666.93333333335 |
DRESDEN/blocks2player/3ev8nQ | 0.002945663442718236 | 1719.3666666666666 | 583694.2 |
DRESDEN/doubletoetictac/V89gKQ | 0.002978515829517222 | 1232.6 | 413830.26666666666 |
BASE/doubletictactoe/HH1htg | 0.0030127040410394164 | 1286.3 | 426958.63333333336 |
BASE/blocks2player/wnTLOQ | 0.0030164528714298803 | 1745.8333333333333 | 578770.3 |
DRESDEN/doubletictactoe/lJzgmQ | 0.003023838372171279 | 1298.5 | 429421.1 |
DRESDEN/bunk_t/7-tPfA | 0.003026118409282633 | 1283.2666666666667 | 424063.6 |
BASE/bunk_t/xbpfIA | 0.003054708705617365 | 1296.1666666666667 | 424317.6 |
DRESDEN/chickentictactoe/Ipbo-g | 0.003065099447961001 | 1839.1333333333334 | 600024.0333333333 |
BASE/survival/YVIjJA | 0.003141029659836125 | 7246.333333333333 | 2306992.966666667 |
BASE/sum15/QZ07Kg | 0.0031939467907463864 | 2169.733333333333 | 679326.7 |
BASE/onestep/xi53wA | 0.003399129940689683 | 7507.866666666667 | 2208761.3 |
DRESDEN/sum15/CsgWKg | 0.0034110617514485366 | 2287.0333333333333 | 670475.5 |
DRESDEN/tictactoeparallel/yk_DSg | 0.0035715790556623914 | 1113.2333333333333 | 311692.2 |
DRESDEN/8puzzle/8fKC2w | 0.004054150063503425 | 816.0 | 201275.23333333334 |
BASE/pearls/6k_mEQ | 0.004817548140029005 | 14857.066666666668 | 3083947.7333333334 |
BASE/haystack/UkweGA | 0.004934054526837806 | 14239.833333333334 | 2886030.8 |
BASE/snakeAssemblit/UO4sdg | 0.005038522383831166 | 205.4059458738835 | 40767.1 |
BASE/coins_atomic/AA3SSw | 0.006246574639529441 | 2856.633333333333 | 457311.9666666667 |
BASE/coins/QnGtnQ | 0.006656237888656907 | 2839.5333333333333 | 426597.3333333333 |
DRESDEN/coins/QwFP9w | 0.006765446440189282 | 2847.5333333333333 | 420893.63333333336 |
Games with errors:
Game | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process timed out after 240 seconds | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
DRESDEN/cylinder-checkers/clOO3Q | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
BASE/cylinder-checkers/hlldmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | OutOfMemoryError: Java heap space |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |