Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/ruleDepthExponential/UamhHQ | 1.3788132680741722E-4 | 305.22315922802574 | 2213665.6666666665 |
BASE/gt_two_thirds_4p/DStnxQ | 0.013068849044854591 | 720.8759708009733 | 55159.86666666667 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.01756303249455122 | 945.5 | 53834.666666666664 |
BASE/sudokuGrade1/tDRNRw | 0.017568786810811168 | 10586.5 | 602574.3333333334 |
BASE/sudokuGrade4/DTy07w | 0.017616200066508887 | 10381.133333333333 | 589294.7 |
BASE/gt_two_thirds_2p/1APDGg | 0.01779848465526567 | 2698.3333333333335 | 151604.66666666666 |
STANFORD/sudoku/oJ1qyQ | 0.01783814245549131 | 10051.066666666668 | 563459.2666666667 |
BASE/sudokuGrade2/u80Tfw | 0.01793613574299447 | 10674.8 | 595156.0666666667 |
BASE/sudokuGrade3/eI8dvg | 0.01796250804366659 | 10479.866666666667 | 583430.0333333333 |
BASE/sudokuGrade6H/ieE_9A | 0.01808826060580227 | 9321.6 | 515339.76666666666 |
BASE/sudokuGrade6E/ihYFZA | 0.01839877032043722 | 9432.6 | 512675.56666666665 |
BASE/sudokuGrade5/BQfUQA | 0.018597778421578653 | 10656.266666666666 | 572986.0 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.01919794785189734 | 1000.3666666666667 | 52108.0 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.019221693315431873 | 944.9 | 49158.0 |
STANFORD/breakthrough/d5j0cQ | 0.019692063194364794 | 15812.433333333332 | 802985.1 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.02300864659990263 | 1143.7 | 49707.4 |
DRESDEN/chinesecheckers6/yTbPDA | 0.023461849794377244 | 7420.966666666666 | 316299.3 |
STANFORD/duidoku/3SoMaA | 0.025279749922224874 | 7882.133333333333 | 311796.3333333333 |
BASE/connect5/d-BVQg | 0.028165563331786905 | 21961.166666666668 | 779716.9333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.02817144149562912 | 24720.366666666665 | 877497.4 |
DRESDEN/skirmish2/iPpWhQ | 0.028213641939966803 | 7261.966666666666 | 257392.03333333333 |
DRESDEN/connect5/1kYzSg | 0.028351191913402567 | 21949.666666666668 | 774206.1333333333 |
DRESDEN/skirmish/RjGQYQ | 0.028869305057394865 | 6413.6 | 222159.83333333334 |
BASE/skirmishNew/sibw2g | 0.029503306325930692 | 5895.766666666666 | 199834.1 |
DRESDEN/skirmish3/3LU8Nw | 0.029800588306703325 | 6554.4 | 219941.96666666667 |
DRESDEN/brawl/2kXtfQ | 0.02996853864553062 | 4593.2 | 153267.4 |
DRESDEN/knightthrough/J7Fc_Q | 0.03039903745751188 | 23377.433333333334 | 769018.8666666667 |
BASE/knightThrough/gcwFjA | 0.030549546399347028 | 23795.633333333335 | 778919.3666666667 |
BASE/breakthrough/TGxk-g | 0.030867487537334058 | 25941.966666666667 | 840430.1333333333 |
BASE/breakthroughWalls/vOZaYA | 0.03095772018543714 | 25105.566666666666 | 810963.0333333333 |
BASE/breakthroughHoles/nZk0Sg | 0.030985226117175545 | 27934.533333333333 | 901543.6333333333 |
BASE/skirmish/Y_psYQ | 0.031052478590434453 | 3471.9 | 111807.5 |
BASE/brawl/6Ymo_Q | 0.031167923485561737 | 4617.033333333334 | 148134.13333333333 |
BASE/breakthroughSuicide/wZDpIg | 0.031186347024147368 | 25962.4 | 832492.5 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.03157268942359593 | 52870.333333333336 | 1674559.0666666667 |
DRESDEN/chinesecheckers3/QsCb2A | 0.031684871782146205 | 13343.066666666668 | 421117.9 |
BASE/skirmishHoles/AUCxCA | 0.03173802077340669 | 4045.6666666666665 | 127470.66666666667 |
DRESDEN/breakthrough/z4hK7Q | 0.03181472786061838 | 25768.733333333334 | 809962.4 |
DRESDEN/chinesecheckers2/06E6-Q | 0.031934999297685375 | 20984.9 | 657112.9 |
DRESDEN/mimikry/GJEhwA | 0.032041525690042164 | 27798.233333333334 | 867568.9666666667 |
BASE/speedChess/bPnisA | 0.032323152862437324 | 6601.633333333333 | 204238.53333333333 |
BASE/skirmishZeroSum/zh4hcw | 0.03251581736379367 | 6374.566666666667 | 196045.1 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.03255398609579697 | 25338.7 | 778359.3666666667 |
BASE/choicethroughalt/tt71Lg | 0.03331566322568256 | 16388.533333333333 | 491916.76666666666 |
DRESDEN/capture_the_king/EQ229Q | 0.034549725577091205 | 5678.7 | 164363.1 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.03481381084218504 | 48073.0 | 1380860.0333333334 |
BASE/strangeSkirmish/gc1zKA | 0.035310990224261034 | 3744.0666666666666 | 106031.2 |
BASE/skirmishFinal2/gdB62Q | 0.037365541079861155 | 5136.9 | 137476.93333333332 |
DRESDEN/quad/JPe6fg | 0.03756104810460414 | 12257.966666666667 | 326347.8333333333 |
BASE/quad/tw-Ufg | 0.03803850043873804 | 12269.466666666667 | 322553.9 |
DRESDEN/skirmishfinal/hzq8ww | 0.039114074241482576 | 5192.1 | 132742.5 |
BASE/max_knights/2fq3Ag | 0.039120402805349314 | 31818.8 | 813355.6333333333 |
BASE/skirmishFinal1/ecWTnQ | 0.039914969403527095 | 5105.4 | 127906.9 |
BASE/skirmishFinal3/-Olhfw | 0.040150854569369857 | 5976.8 | 148858.6 |
STANFORD/skirmish/w4V6Vw | 0.0403726031404392 | 5373.433333333333 | 133096.03333333333 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.04094264350490353 | 177.12742908569714 | 4326.233333333334 |
DRESDEN/max_knights/hCipiA | 0.041081769748014876 | 31404.9 | 764448.5666666667 |
DRESDEN/endgame/IJhh3Q | 0.04358852805957171 | 7472.3 | 171428.13333333333 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.04383512439170903 | 7387.333333333333 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.043880393125928646 | 7375.2 | 168075.06666666668 |
DRESDEN/tictactoex9/rFkD4w | 0.04681479217841359 | 24102.533333333333 | 514848.6666666667 |
BASE/tictactoex9/BI26ow | 0.04791003132557481 | 24866.366666666665 | 519022.13333333336 |
BASE/wargame02/BkVqqQ | 0.05037912486581059 | 5936.533333333334 | 117837.16666666667 |
BASE/pacman2p/4LEdQg | 0.050712533205314735 | 20127.133333333335 | 396886.76666666666 |
STANFORD/madness/UO_B3A | 0.05140721013062717 | 6503.666666666667 | 126512.73333333334 |
BASE/snakeAssemblit/UO4sdg | 0.05177786335877052 | 2110.8333333333335 | 40767.1 |
BASE/checkers-mustjump-torus/uSApKQ | 0.05239567547415402 | 5415.5 | 103357.76666666666 |
DRESDEN/pawntoqueen/f_x6Aw | 0.052817174918134306 | 24523.933333333334 | 464317.4 |
DRESDEN/pacman3p/rBnk8Q | 0.05331243682321247 | 21727.666666666668 | 407553.43333333335 |
DRESDEN/aipsrovers01/qS47Mw | 0.05431121006475687 | 87681.83333333333 | 1614433.4333333333 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.05489210114324249 | 7358.366666666667 | 134051.46666666667 |
BASE/twisty-passages/DiZmmg | 0.05509192682946788 | 151929.33333333334 | 2757742.2333333334 |
BASE/breakthroughSuicideSmall/XSbJog | 0.0554424458439682 | 45887.63333333333 | 827662.5 |
BASE/breakthroughSmall/HJ0tIA | 0.05615290224264343 | 45933.6 | 818009.3666666667 |
BASE/aipsrovers01/4C4jsw | 0.05665184353383613 | 87486.9 | 1544290.4333333333 |
DRESDEN/twisty-passages/j7NPyg | 0.057929766002272794 | 153902.23333333334 | 2656703.8666666667 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.059176381242217566 | 8576.5 | 144931.13333333333 |
BASE/incredible/8Qh-6Q | 0.061104994209983485 | 115499.36666666667 | 1890178.8333333333 |
DRESDEN/queens/mW2wHQ | 0.062744440213644 | 20323.133333333335 | 323903.3333333333 |
BASE/checkers/rOC3Xg | 0.06302644460764502 | 15115.766666666666 | 239832.13333333333 |
STANFORD/chinook/osFbPA | 0.06584822583895787 | 17174.966666666667 | 260826.56666666668 |
BASE/queens/HyJJnQ | 0.0662653122432746 | 21173.7 | 319529.1666666667 |
BASE/knightfight/SJRkAg | 0.06654078463807957 | 15770.966666666667 | 237012.03333333333 |
BASE/kalaha_2009/dRiN3g | 0.06659296748749019 | 1708.7666666666667 | 25659.866666666665 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.0671874164190171 | 9336.5 | 138962.03333333333 |
DRESDEN/quad_7x7/q-JOXg | 0.06757747523374802 | 32337.0 | 478517.43333333335 |
DRESDEN/kalaha_2009/gcC8uA | 0.06792123986255011 | 1738.1 | 25589.933333333334 |
STANFORD/multipletictactoe/_bkafQ | 0.06806315696185107 | 84223.76666666666 | 1237435.5 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.06912466740319605 | 9595.833333333334 | 138819.23333333334 |
BASE/escortLatch/mX9BjQ | 0.06956582845334278 | 34285.23333333333 | 492845.9 |
BASE/pawnToQueen/-O1_JA | 0.06970851954258842 | 39435.26666666667 | 565716.6 |
BASE/coloredtrails/EZvr7g | 0.070349104965735 | 26548.5 | 377382.2 |
BASE/quad_7x7/q-JOXg | 0.07233309697217319 | 34067.7 | 470983.56666666665 |
BASE/chinook/XQh0IQ | 0.07261246566650804 | 18554.866666666665 | 255532.8 |
BASE/checkers-newgoals/0XkFiA | 0.07296168960730978 | 18022.933333333334 | 247019.13333333333 |
BASE/pacman3p/wW7UVQ | 0.0738143820685713 | 34590.73333333333 | 468617.8 |
BASE/gt_attrition/kD_SCA | 0.07690165536611532 | 9665.166666666666 | 125682.16666666667 |
DRESDEN/knightfight/4_Ly4w | 0.07709821193438778 | 18053.6 | 234163.66666666666 |
BASE/queens16ug/gT-ylw | 0.080324067595766 | 43147.5 | 537167.7666666667 |
BASE/pegEuro/5awwhg | 0.08071883080637046 | 37275.2 | 461790.63333333336 |
STANFORD/ttcc4/Cx9SGw | 0.08124231880937675 | 27722.2 | 341228.56666666665 |
BASE/checkersSmall/SYmq8w | 0.08142413252519537 | 24871.766666666666 | 305459.4 |
BASE/checkers-mustjump/T-8UuQ | 0.08151563499756968 | 13852.533333333333 | 169937.13333333333 |
STANFORD/platformjumpers/HEQskA | 0.08171752210826147 | 30840.533333333333 | 377404.1666666667 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.08203261718427085 | 70290.4 | 856859.1666666666 |
BASE/mummymaze2p/vpjDdA | 0.08232619281395406 | 89909.26666666666 | 1092110.1 |
DRESDEN/chinesecheckers4/-oVNYg | 0.08240112110882546 | 4364.9 | 52971.36666666667 |
BASE/ttcc4_2player/_aH_Mw | 0.08448950549774453 | 30718.9 | 363582.43333333335 |
DRESDEN/logistics/fPru1Q | 0.08451220548215643 | 41980.7 | 496741.26666666666 |
BASE/wargame01/_GZFZg | 0.08488319287531651 | 20305.2 | 239213.43333333332 |
BASE/snake_2009_big/-oRfVw | 0.08526042969645238 | 29786.566666666666 | 349359.8 |
BASE/racetrackcorridor/_RkdUg | 0.08632279023168293 | 58508.833333333336 | 677791.2666666667 |
BASE/wargame03/klXI8w | 0.08634796047842985 | 14524.466666666667 | 168208.56666666668 |
DRESDEN/mummymaze2p/k-8edg | 0.08674282687303203 | 90849.4 | 1047341.9333333333 |
BASE/shmup/ssTNlg | 0.08701544872530959 | 17428.933333333334 | 200297.0 |
DRESDEN/towerworld/HCX34w | 0.08713344001035024 | 3232.7 | 37100.566666666666 |
DRESDEN/peg/Vo31eg | 0.08721716910781971 | 39665.26666666667 | 454787.36666666664 |
BASE/2pttc/unkkYA | 0.08820293060148143 | 61075.26666666667 | 692440.3333333334 |
DRESDEN/peg_bugfixed/u_B7MA | 0.08823359044487616 | 40315.13333333333 | 456913.6666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 0.08849760530994379 | 54639.1 | 617407.6666666666 |
BASE/golden_rectangle/_nYzfw | 0.08892100284497435 | 72461.63333333333 | 814898.9666666667 |
BASE/peg/fJHVWw | 0.08912919808836592 | 40516.166666666664 | 454577.93333333335 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.0917755957143885 | 44899.166666666664 | 489227.73333333334 |
BASE/othelloHoles/c0qAzw | 0.0920738257603999 | 4020.0659978000735 | 43661.333333333336 |
BASE/hex/T1MK8g | 0.09221850872225934 | 7725.0 | 83768.43333333333 |
BASE/connectFourLarger/qKi60A | 0.09266627289954728 | 72435.4 | 781680.3 |
STANFORD/alquerquezero/uVgA_A | 0.09300052079369675 | 31202.933333333334 | 335513.5333333333 |
BASE/othelloSuicide/B442jg | 0.0931196927560407 | 3094.8919645524247 | 33235.63333333333 |
BASE/tron_10x10/7ZTgDg | 0.0935999068658522 | 35322.433333333334 | 377376.8 |
BASE/gt_ultimatum/GE-uOA | 0.09529767010717512 | 62009.73333333333 | 650695.1666666666 |
DRESDEN/racetrackcorridor/O0DoTA | 0.09539496333870769 | 57957.9 | 607557.2333333333 |
DRESDEN/gt_prisoner/huCp4w | 0.09548285208881252 | 39504.833333333336 | 413737.4666666667 |
STANFORD/hex/MTqWcw | 0.09589287433045465 | 8069.9 | 84155.36666666667 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.09699808115801281 | 37887.46666666667 | 390600.1666666667 |
BASE/othello-comp2007/86ZoMw | 0.09742275376069283 | 3175.9882674488367 | 32600.066666666666 |
DRESDEN/racer/vk_ZBA | 0.09767445731788521 | 2738.1666666666665 | 28033.6 |
BASE/racer/QQYQNw | 0.09794747393110534 | 2682.366666666667 | 27385.766666666666 |
BASE/gt_chicken/gmepTQ | 0.09848277509499108 | 41777.03333333333 | 424206.5 |
DRESDEN/snake_2009_big/DgC1NQ | 0.09870301150802253 | 30369.9 | 307689.7 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.09885831419392863 | 82992.83333333333 | 839512.9333333333 |
BASE/hodgepodge/9yjRkw | 0.09901572008897401 | 132604.1 | 1339222.7 |
DRESDEN/grid_game/U7_Yeg | 0.09943042863666077 | 60382.23333333333 | 607281.2333333333 |
BASE/catcha_mouse/cHv4dw | 0.0994590288531936 | 60819.1 | 611499.0333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.10135249614988874 | 45423.03333333333 | 448168.86666666664 |
DRESDEN/golden_rectangle/1uloXw | 0.10143390896063446 | 73475.4 | 724367.2333333333 |
BASE/snake_2008/i6K26g | 0.10147706105200958 | 38377.4 | 378187.93333333335 |
BASE/dotsAndBoxes/EHwA_w | 0.10207439030639011 | 84929.36666666667 | 832034.0333333333 |
DRESDEN/catcha_mouse/cHv4dw | 0.10211561815333443 | 70549.4 | 690877.6666666666 |
DRESDEN/knightstour/cGISAA | 0.10241424752881656 | 130365.4 | 1272922.5 |
BASE/2pffa_zerosum/o0_uZA | 0.10405680250043596 | 51655.333333333336 | 496414.76666666666 |
BASE/gt_staghunt/xPjLRA | 0.10472036906486998 | 43345.666666666664 | 413918.2 |
DRESDEN/gt_chicken/CeuKtw | 0.1051019942637236 | 44232.566666666666 | 420853.73333333334 |
BASE/tpeg/QNs7Lw | 0.10516306380639077 | 38049.833333333336 | 361817.4666666667 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.1057731210776158 | 88189.56666666667 | 833761.6 |
DRESDEN/tpeg/h-Scbg | 0.10583105921131321 | 38460.333333333336 | 363412.5333333333 |
BASE/checkersTiny/Lr48cg | 0.10615933235306997 | 43477.53333333333 | 409549.8 |
BASE/checkersBarrelNoKings/rnKNeg | 0.1061973489544014 | 34005.0 | 320205.73333333334 |
BASE/gt_dollar/TGjqRw | 0.10648032608188523 | 104603.16666666667 | 982370.8333333334 |
DRESDEN/snake_2009/zIYLVw | 0.10687453185542616 | 35632.86666666667 | 333408.4 |
BASE/gt_prisoner/klthDw | 0.10737393364971969 | 43335.3 | 403592.36666666664 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.10749941412602756 | 85137.3 | 791979.2 |
BASE/snake_2008_tweaked/bX0NJQ | 0.10777990547733377 | 40276.833333333336 | 373695.2 |
DRESDEN/ghostmaze2p/HY0UwA | 0.1078620486256222 | 103718.96666666666 | 961589.0666666667 |
BASE/checkersTorusNoKings/pwb6oQ | 0.10820330888401314 | 30999.966666666667 | 286497.4 |
DRESDEN/snake_2008/E56l3A | 0.10831658310932106 | 40060.433333333334 | 369845.8 |
BASE/futoshiki6/JmvXNA | 0.11038226256124463 | 61335.1 | 555660.8333333334 |
BASE/kalaha6x2x4/XS81Mg | 0.11093385892213745 | 7234.4 | 65213.63333333333 |
DRESDEN/quad_5x5/JAEP5g | 0.11107199386151956 | 74751.5 | 673000.4333333333 |
BASE/ttcc4_2player_small/Cv72TA | 0.11320653596483228 | 62524.2 | 552302.0333333333 |
STANFORD/multiplesukoshi/vLSQPg | 0.11439582080966962 | 131655.5 | 1150876.8333333333 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.11453412472583216 | 33488.03333333333 | 292384.76666666666 |
BASE/snake_2009/7l-qAQ | 0.11564889462735169 | 37613.5 | 325238.73333333334 |
BASE/checkersTorus/2vm1EQ | 0.11635743268548349 | 26242.766666666666 | 225535.8 |
STANFORD/freeforall/Lfp40Q | 0.11649537983961392 | 60527.166666666664 | 519567.1 |
DRESDEN/javastrike/whONTQ | 0.11650220324018404 | 7679.6 | 65918.06666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.11780138564444168 | 94496.53333333334 | 802168.2666666667 |
STANFORD/hunter/14dD-g | 0.11807496576601229 | 101833.4 | 862447.0 |
DRESDEN/pancakes/hl9aiQ | 0.11807983132876515 | 30802.6 | 260862.5 |
DRESDEN/connect4/T0-rHQ | 0.11827402518881053 | 70598.7 | 596907.9 |
BASE/2pffa/6oHijA | 0.11846195970348586 | 58666.96666666667 | 495238.86666666664 |
BASE/ghostMaze2p/W-NU-w | 0.1200107035825419 | 104497.7 | 870736.5 |
BASE/simultaneousWin2/PfjRjw | 0.1212801696255901 | 111362.63333333333 | 918226.2333333333 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.12146309734753254 | 73308.13333333333 | 603542.4333333333 |
BASE/quad_5x5/JAEP5g | 0.12196629927525231 | 72450.76666666666 | 594022.8333333334 |
BASE/queens12ug/u6Bkmg | 0.12214158458887361 | 71995.23333333334 | 589440.8 |
DRESDEN/pancakes6/SZXMyQ | 0.12462828714534786 | 31992.8 | 256705.76666666666 |
STANFORD/dualhunter/1rPZjQ | 0.12570260687253648 | 55882.933333333334 | 444564.63333333336 |
BASE/pancakes/yUgbXw | 0.12606533806486783 | 32528.933333333334 | 258032.33333333334 |
BASE/hexPie/48CH6Q | 0.12631239364394017 | 8261.5 | 65405.3 |
BASE/qyshinsu/R08Lzw | 0.12706866004347367 | 32773.36666666667 | 257918.56666666668 |
STANFORD/nineboardtictactoe/y28P-A | 0.12749629914057975 | 68754.5 | 539266.6333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 0.1288615915871801 | 68742.76666666666 | 533462.0333333333 |
BASE/pancakes6/QZTdnw | 0.12888370976083502 | 31790.4 | 246659.56666666668 |
DRESDEN/latenttictactoe/kITHKg | 0.13162787157138614 | 83519.43333333333 | 634511.7666666667 |
BASE/connect4/50bOyw | 0.13196636434602504 | 75526.63333333333 | 572317.3 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.13353663108720548 | 37814.26666666667 | 283175.23333333334 |
DRESDEN/grid_game2/kypTYQ | 0.13446701945165626 | 190512.36666666667 | 1416796.2333333334 |
BASE/mineClearingSmall/frsbvw | 0.13547822857842406 | 38696.1 | 285625.9666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 0.13740068455532536 | 111493.3 | 811446.4666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.13931890276435077 | 107113.1 | 768833.9333333333 |
BASE/ttcc4/Le0qjQ | 0.13976329995255743 | 18530.0 | 132581.3 |
BASE/blockerSerial/3eqDuw | 0.14044008634814278 | 81200.56666666667 | 578186.5333333333 |
BASE/tttcc4/8Bs2lg | 0.1412628406145881 | 19034.0 | 134741.73333333334 |
BASE/snake2p/I3wWPQ | 0.14184720834761813 | 81329.0 | 573356.3666666667 |
BASE/queens31lg/0gID-A | 0.14187834880800257 | 21558.533333333333 | 151950.83333333334 |
BASE/futoshiki5/TJ4BZg | 0.14240101966549717 | 87412.63333333333 | 613848.3666666667 |
BASE/ticTacHeaven/18n58A | 0.1429709901455608 | 51147.5 | 357747.4 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.1434148088393736 | 39272.26666666667 | 273836.9 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.14343261517238606 | 322932.6666666667 | 2251459.1 |
BASE/double_tictactoe_dengji/zgaSbA | 0.14345965406638367 | 98978.23333333334 | 689937.7666666667 |
BASE/hanoi_6_disks/MeubgQ | 0.14398058565784844 | 186318.6 | 1294053.6333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.1450226170445373 | 193729.66666666666 | 1335858.3 |
DRESDEN/tttcc4/sAvtFg | 0.1450917259088039 | 18833.133333333335 | 129801.56666666667 |
DRESDEN/pawn_whopping/4ogBkg | 0.1456672188107076 | 119807.0 | 822470.5666666667 |
BASE/gt_centipede/9fRMpw | 0.1468202542576431 | 157870.86666666667 | 1075266.2666666666 |
BASE/pawnWhopping/Ypc_6Q | 0.14918135719182368 | 109039.2 | 730917.0666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.14923606666664954 | 116077.63333333333 | 777812.2 |
DRESDEN/frogs_and_toads/GjchhQ | 0.1501275371155533 | 21437.466666666667 | 142795.03333333333 |
BASE/kalaha5x2x3/WviNsw | 0.1503068250780807 | 15446.666666666666 | 102767.56666666667 |
BASE/tictactoe_3player/GtM71g | 0.15073322814241508 | 73710.9 | 489015.6 |
STANFORD/knightstourbig/TQUI2g | 0.15111094331152497 | 145954.86666666667 | 965878.8666666667 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.15233668435499217 | 183098.83333333334 | 1201935.2666666666 |
BASE/eightPuzzle/vLrgFg | 0.15279455286847185 | 31529.466666666667 | 206352.03333333333 |
BASE/duplicateStateLarge/dcjyuw | 0.1541747791694099 | 197410.16666666666 | 1280431.0 |
BASE/nim3/1OwUqw | 0.15495422339465506 | 89139.7 | 575264.7333333333 |
DRESDEN/Goldrush/VeWczQ | 0.15561599851694652 | 53500.03333333333 | 343795.2 |
BASE/ticTacHeavenFC/mrletw | 0.15597467452470856 | 56285.73333333333 | 360864.56666666665 |
BASE/englishDraughts/jFkQxg | 0.15746360491355862 | 47596.26666666667 | 302268.36666666664 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.1575888682722693 | 89316.13333333333 | 566766.7666666667 |
BASE/bomberman2p/4CClwA | 0.1577371630006962 | 73808.0 | 467917.63333333336 |
BASE/3pttc/0sol9g | 0.15836058323876248 | 40797.76666666667 | 257625.76666666666 |
BASE/minichess-evilconjuncts/4OpQzw | 0.15976295994317363 | 44727.86666666667 | 279963.93333333335 |
BASE/hanoi7_bugfix/3gdnFw | 0.16012668190192714 | 194946.8 | 1217453.5666666667 |
DRESDEN/minichess/c7GMFw | 0.1617088205284946 | 44477.46666666667 | 275046.63333333336 |
DRESDEN/nim3/sG_axA | 0.16194953302109028 | 93498.0 | 577328.0 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.16229812204984959 | 24793.9 | 152767.63333333333 |
BASE/sheepAndWolf/g4THrg | 0.16235590154570473 | 25012.766666666666 | 154061.33333333334 |
BASE/asteroidsSerial/id2QkA | 0.16283820823706702 | 132066.9 | 811031.4 |
BASE/coins_atomic/AA3SSw | 0.16362688664973343 | 74828.53333333334 | 457311.9666666667 |
DRESDEN/Runners/3bOCQw | 0.16409752261724048 | 139873.56666666668 | 852380.7333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.16465977222992204 | 143239.56666666668 | 869912.3333333334 |
DRESDEN/minichess-evilconjuncts/th24Tw | 0.16586849903330128 | 46169.96666666667 | 278352.8333333333 |
BASE/minichess/8NQEiA | 0.16746511058688193 | 39751.433333333334 | 237371.43333333332 |
DRESDEN/8puzzle/8fKC2w | 0.16819439782043064 | 33853.36666666667 | 201275.23333333334 |
BASE/colonelBlottoVariant/X-n-KQ | 0.16846301429468502 | 61765.63333333333 | 366642.1 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.16939573334077135 | 144945.3 | 855660.8666666667 |
DRESDEN/battle/8oAvhQ | 0.17014990314446876 | 44840.76666666667 | 263536.8333333333 |
BASE/breakthroughSmallHoles/bxclRw | 0.17024494207525223 | 133138.93333333332 | 782043.4 |
DRESDEN/blockerparallel/dVQgSg | 0.1709440419104755 | 33718.0 | 197245.83333333334 |
DRESDEN/bomberman2p/x4h6jQ | 0.17144520651579603 | 79770.3 | 465281.6 |
BASE/slidingpieces/uFJWEw | 0.17177378858307907 | 73910.33333333333 | 430277.13333333336 |
STANFORD/selectivesukoshi/3xmXYg | 0.17216196229936595 | 117111.7 | 680241.4333333333 |
STANFORD/duikoshi/tpw1sw | 0.17259134374589588 | 83449.26666666666 | 483507.8333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 0.17379853657749814 | 48490.4 | 279003.5 |
BASE/lightsOnSimul4/9FeASw | 0.17381586317306216 | 94854.96666666666 | 545721.0 |
BASE/blockerParallel/7-nDJA | 0.17409509424288275 | 33502.36666666667 | 192437.16666666666 |
BASE/chineseCheckers2/eCMR3Q | 0.17417514981857038 | 148304.7 | 851468.7666666667 |
BASE/hitori/S8Gsyg | 0.1745980081483966 | 60633.5 | 347274.86666666664 |
BASE/withConviction/3Xm54A | 0.17496827244570654 | 111622.33333333333 | 637957.5666666667 |
BASE/copolymer_4/2LDVhQ | 0.1752055656389023 | 128905.43333333333 | 735738.2333333333 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.17523821603949172 | 67696.1 | 386309.0 |
STANFORD/pilgrimage/ObRZnQ | 0.17543360521785686 | 51488.833333333336 | 293494.7 |
BASE/copolymer_4_pie/IN5_jA | 0.17544835205886727 | 99598.0 | 567677.0333333333 |
BASE/cephalopodMicro/9l2D3g | 0.17582289215750835 | 51175.333333333336 | 291061.8333333333 |
DRESDEN/nim4/F5YAYg | 0.17585420464570006 | 102004.8 | 580053.2333333333 |
DRESDEN/hitori/S8Gsyg | 0.1759881783944369 | 60484.86666666667 | 343687.1 |
DRESDEN/slidingpieces/s9_44g | 0.17608172044593975 | 76536.66666666667 | 434665.6 |
DRESDEN/blocksworldparallel/2JfVaw | 0.1766358251992703 | 75967.1 | 430077.5333333333 |
STANFORD/8puzzle/jNiGtw | 0.1766370886609687 | 37157.86666666667 | 210362.76666666666 |
BASE/ticTacToeParallel/ymRGPw | 0.1767626922128773 | 54446.833333333336 | 308022.2 |
DRESDEN/backgammon/mqCW0Q | 0.1768794464953671 | 26527.966666666667 | 149977.66666666666 |
BASE/coins/QnGtnQ | 0.17706283521072178 | 75534.53333333334 | 426597.3333333333 |
DRESDEN/3pttc/uwYBZw | 0.17706673448241345 | 47995.933333333334 | 271061.26666666666 |
DRESDEN/tictactoeparallel/yk_DSg | 0.17746738609435847 | 55315.2 | 311692.2 |
BASE/gt_coordination/IVMOzA | 0.1778255018722094 | 192005.36666666667 | 1079740.3333333333 |
DRESDEN/hanoi7/51zz5Q | 0.17844951967847872 | 219891.5 | 1232233.6333333333 |
BASE/gt_tinfoil/Q8DyKg | 0.1790073747306442 | 88737.5 | 495719.8 |
BASE/battle/8oAvhQ | 0.1792509359614478 | 47414.4 | 264514.1 |
DRESDEN/coins/QwFP9w | 0.17963461710714082 | 75607.06666666667 | 420893.63333333336 |
DRESDEN/othello-cornercontrol/r5Gdlg | 0.1805761836753292 | 8652.566666666668 | 47916.433333333334 |
BASE/amazons_8x8/7SOsIw | 0.18081491552314746 | 21851.066666666666 | 120847.7 |
BASE/connectFourLarge/aU644A | 0.18214614333310383 | 159618.73333333334 | 876322.3333333334 |
BASE/biddingTicTacToe/8mESVw | 0.1844069834082358 | 71485.76666666666 | 387652.1666666667 |
BASE/blocks/xIV5hQ | 0.18456945905716513 | 260883.23333333334 | 1413469.1333333333 |
BASE/nim4/twk16w | 0.1851106040908223 | 103851.96666666666 | 561026.5666666667 |
DRESDEN/3pffa/0YrmQw | 0.18635958812516715 | 46453.23333333333 | 249266.66666666666 |
BASE/4pffa/Q3ADlg | 0.1865841469436036 | 32662.133333333335 | 175053.1 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.18672337049106674 | 86443.83333333333 | 462951.3333333333 |
DRESDEN/roshambo2/jgSlkQ | 0.18673997046931612 | 141458.73333333334 | 757517.1666666666 |
BASE/futoshiki4/BaCwSw | 0.1872690779059956 | 138598.5 | 740103.5 |
BASE/colonelBlotto/jip21A | 0.18730628065655627 | 6431.866666666667 | 34338.76666666667 |
DRESDEN/crisscross/GsY16g | 0.18786555896669827 | 21597.2 | 114960.93333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 0.18864441880595878 | 247502.1 | 1312003.3 |
BASE/blocksWorld/SEdXLQ | 0.18922155621550946 | 292816.93333333335 | 1547481.9 |
STANFORD/eightpuzzle/W_aWbA | 0.1893688688091153 | 37645.066666666666 | 198792.26666666666 |
DRESDEN/chomp/-LcqYQ | 0.19016109867909364 | 70056.03333333334 | 368403.6 |
BASE/hidato37/pBrqxw | 0.1905624911340525 | 40345.566666666666 | 211718.3 |
BASE/roshambo2/KNPokQ | 0.19151887199887638 | 141949.3 | 741176.5666666667 |
BASE/colonelBlottoVariant2/jruwGw | 0.19402160740271848 | 47682.433333333334 | 245758.36666666667 |
BASE/blocksWorldParallel/RseaAQ | 0.19448337086181366 | 84606.6 | 435032.56666666665 |
BASE/ticTacToeLarge/TZC0dg | 0.1945622586088697 | 257464.6 | 1323301.8666666667 |
BASE/knightsTourLarge/M8jgLA | 0.19649965413660497 | 180489.36666666667 | 918522.5666666667 |
BASE/toetictac/mTThmg | 0.1976833749918307 | 220204.46666666667 | 1113925.0666666667 |
BASE/queens08ug/kJ_ZFQ | 0.19781197578045762 | 142286.83333333334 | 719303.4333333333 |
DRESDEN/blocks/vg0DRw | 0.19905977720458617 | 289274.0 | 1453201.6666666667 |
BASE/dualConnect4/WbCQkg | 0.20054387784853384 | 177848.13333333333 | 886829.0333333333 |
DRESDEN/4pttc/9pB9AQ | 0.20182617756042884 | 49839.36666666667 | 246942.03333333333 |
DRESDEN/hanoi/RQ0jiA | 0.20358071793227764 | 232335.3 | 1141244.1333333333 |
BASE/blokbox_simple/JBx4bg | 0.20372605926569312 | 3549.5666666666666 | 17423.233333333334 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.2041360396866369 | 434723.3333333333 | 2129576.6 |
BASE/rubiksCube/9tNO9Q | 0.20470766066609472 | 25785.4 | 125962.06666666667 |
STANFORD/threepuzzle/41ibjA | 0.20543824730776222 | 223197.23333333334 | 1086444.4 |
STANFORD/3puzzle/41ibjA | 0.20570673895054647 | 226061.63333333333 | 1098951.0333333334 |
BASE/3pffa/pR0dzA | 0.20579674468525064 | 41800.2 | 203114.0 |
BASE/chomp/-LcqYQ | 0.20628587924925199 | 80531.8 | 390389.3 |
BASE/reversi/d8UMeA | 0.20854883928501658 | 16013.033333333333 | 76783.13333333333 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.2086697066336889 | 272800.4666666667 | 1307331.4333333333 |
DRESDEN/toetictac/mJtxCA | 0.20937406880782133 | 219575.36666666667 | 1048722.8333333333 |
BASE/ruleDepthLinear/OUBJpQ | 0.2100991114537658 | 354110.7 | 1685445.9666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.21023014689496372 | 425901.6666666667 | 2025882.9333333333 |
BASE/cittaceot/fDxhXg | 0.21283229808653584 | 42209.1 | 198320.93333333332 |
BASE/4pttc/AL1k2Q | 0.21318639419869045 | 43612.5 | 204574.5 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.21445274994181346 | 238980.93333333332 | 1114375.7 |
BASE/snakeParallel/RCVNtw | 0.21565064456641164 | 167215.46666666667 | 775399.8 |
BASE/maze/cCX3qQ | 0.2157644540692133 | 490504.26666666666 | 2273332.1333333333 |
BASE/crisscross/ICagEg | 0.21603783852659633 | 21702.066666666666 | 100454.93333333333 |
DRESDEN/tictactoelarge/IwXcbg | 0.21699795399180064 | 275149.3333333333 | 1267981.2333333334 |
BASE/knightmove/jBaJEw | 0.21742125997948786 | 208318.26666666666 | 958132.0 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.21814889069127566 | 785362.9333333333 | 3600123.433333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.21844958021624775 | 786861.7666666667 | 3602029.2 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.2188243159785633 | 191381.03333333333 | 874587.6 |
DRESDEN/cube_2x2x2/fp-34Q | 0.21896901772225325 | 61256.166666666664 | 279748.1 |
BASE/asteroidsParallel/WauZiA | 0.21903988948088488 | 108196.9 | 493959.8 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.21987078507695426 | 454407.26666666666 | 2066701.4333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.21989956768169655 | 184983.16666666666 | 841216.6 |
BASE/ticblock/T21C1g | 0.22106366343928058 | 158481.16666666666 | 716902.8333333334 |
BASE/asteroids/BKCmPQ | 0.22123558274514793 | 206871.76666666666 | 935074.5666666667 |
BASE/doubletoetictac/fu35bg | 0.22153234785734505 | 109204.53333333334 | 492950.73333333334 |
BASE/solitaireChineseCheckers/-ET6gw | 0.22166238558636964 | 51619.0 | 232872.16666666666 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.22210312059310472 | 80732.9 | 363492.86666666664 |
DRESDEN/ticblock/Z2yNWQ | 0.22275038751511608 | 159056.73333333334 | 714058.1666666666 |
BASE/point_grab/V_osUg | 0.223308857223996 | 412119.6 | 1845513.9 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.2243498286166667 | 431941.6 | 1925303.9 |
BASE/queens06ug/7Lq3tw | 0.224780152804484 | 203569.13333333333 | 905636.6 |
BASE/chineseCheckers3/-1rZdQ | 0.22579093841982284 | 113715.0 | 503629.6 |
BASE/majorities/ibJzSQ | 0.22594069946942874 | 107200.6 | 474463.43333333335 |
DRESDEN/Thief_Police/CX18rA | 0.22599588563461476 | 200562.23333333334 | 887459.6666666666 |
DRESDEN/buttons/ADUaHw | 0.2260491093651936 | 561788.9333333333 | 2485251.7 |
BASE/blocksWorldSerial/Wyg96Q | 0.22659702086905584 | 183602.2 | 810258.6666666666 |
BASE/beatMania/qUHwvQ | 0.2269602683756696 | 222407.4 | 979939.8 |
BASE/doubletictactoe/HH1htg | 0.22766491273666714 | 97203.5 | 426958.63333333336 |
DRESDEN/point_grab/r5DPmQ | 0.2278830945578975 | 413029.7 | 1812463.1 |
STANFORD/untwistycorridor/EDPPAQ | 0.22841160770210744 | 836042.8333333334 | 3660246.7 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.22958909390172927 | 328129.6666666667 | 1429204.0666666667 |
BASE/ticTacToeSerial/Amrwqw | 0.22990313238922283 | 120103.83333333333 | 522410.6 |
BASE/reversiSuicide/9OxJlg | 0.22996357913669066 | 17047.966666666667 | 74133.33333333333 |
BASE/cubicup/4wNWJA | 0.23084933016556014 | 86830.56666666667 | 376135.23333333334 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.23086250526398266 | 352592.0333333333 | 1527281.5 |
BASE/numbertictactoe/rvJ-iQ | 0.23113383187303807 | 101551.7 | 439363.2 |
BASE/smallest_4player/ADDROA | 0.23122341951240108 | 70831.53333333334 | 306333.73333333334 |
DRESDEN/knightmove/97Ipcw | 0.23327780752011637 | 212349.83333333334 | 910287.3333333334 |
BASE/knightsTour/mvtVIg | 0.23394822982022737 | 307693.5 | 1315220.4666666666 |
BASE/chineseCheckers1/gqtwHw | 0.23399953950756794 | 387278.56666666665 | 1655039.8666666667 |
DRESDEN/sum15/CsgWKg | 0.234174701387299 | 157008.4 | 670475.5 |
DRESDEN/oisters_farm/pTQMLg | 0.2342788220086945 | 877291.4333333333 | 3744646.7666666666 |
BASE/sum15/QZ07Kg | 0.23476804312269783 | 159484.2 | 679326.7 |
BASE/buttons/hTcUjw | 0.23495250068382542 | 568147.2333333333 | 2418136.566666667 |
DRESDEN/blocks2player/3ev8nQ | 0.23530831726613013 | 137348.1 | 583694.2 |
DRESDEN/cubicup/SBn_lw | 0.23542093329074973 | 84302.53333333334 | 358092.76666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.2366639326894065 | 487566.76666666666 | 2060165.0666666667 |
BASE/chickentoetictac/l57rfQ | 0.23694079221118058 | 191044.8 | 806297.6333333333 |
DRESDEN/quartosuicide/WIU1oQ | 0.2383878037634889 | 24901.1 | 104456.26666666666 |
BASE/zhadu/DlA8iQ | 0.2386671280037811 | 24878.2 | 104238.06666666667 |
BASE/hanoi/iGLsJg | 0.23883039736982137 | 274978.3333333333 | 1151354.0 |
DRESDEN/stratego/Z2wovg | 0.23899347502676122 | 39331.833333333336 | 164572.83333333334 |
BASE/blocks2player/wnTLOQ | 0.23969163587005066 | 138726.4 | 578770.3 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.23996650314315945 | 14136.666666666666 | 58911.0 |
BASE/hidato19/rRHSmA | 0.24024985340988236 | 109370.76666666666 | 455237.6 |
STANFORD/untwistycomplex/HTWEwg | 0.24093843414783603 | 850853.8333333334 | 3531415.966666667 |
BASE/connectFour_9x6/B9TtMw | 0.24187290427629926 | 232118.76666666666 | 959672.4666666667 |
BASE/wallmaze/uxNQ9g | 0.24252205702982418 | 131661.43333333332 | 542884.3666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 0.24464105875425518 | 183734.26666666666 | 751036.1 |
STANFORD/pentago/ZxzLmg | 0.2447527684662833 | 89807.13333333333 | 366930.0 |
BASE/chineseCheckers6/rREH3A | 0.24602677689058114 | 94476.8 | 384010.23333333334 |
BASE/firefighter/WJmoPw | 0.24706888263206117 | 1013782.6666666666 | 4103238.966666667 |
DRESDEN/pentago_2008/hLjVpQ | 0.24756639090069654 | 88154.16666666667 | 356082.93333333335 |
STANFORD/knightstourmedium/x1wu8Q | 0.24919417683774087 | 318091.23333333334 | 1276479.4 |
DRESDEN/doubletictactoe/lJzgmQ | 0.24995821894483838 | 107337.33333333333 | 429421.1 |
STANFORD/connectfour/VMpZkQ | 0.250051656000525 | 244496.13333333333 | 977782.5 |
BASE/pentagoSuicide/SBgNhw | 0.25018928617576186 | 88293.0 | 352904.8 |
DRESDEN/catch_me/ghGWrA | 0.250239133761861 | 198823.6 | 794534.4 |
BASE/circlesolitaire/azuQFQ | 0.2505263703766751 | 219972.53333333333 | 878041.4333333333 |
STANFORD/knightstour/cEwgNA | 0.2515420712183395 | 322843.63333333336 | 1283457.8 |
DRESDEN/firefighter/WJmoPw | 0.25217734851566026 | 971592.1666666666 | 3852813.0 |
BASE/connectFourSuicide/c8p9Kw | 0.2525756626810296 | 252963.4 | 1001535.1333333333 |
DRESDEN/quarto/OQzRYQ | 0.2535538131341143 | 26210.5 | 103372.53333333334 |
DRESDEN/circlesolitaire/ruUilQ | 0.2540731448147651 | 220216.96666666667 | 866746.3333333334 |
DRESDEN/tictactoe/BTTzPw | 0.2581980647856348 | 207493.53333333333 | 803621.5666666667 |
DRESDEN/bunk_t/7-tPfA | 0.25922982621789126 | 109929.93333333333 | 424063.6 |
DRESDEN/Zhadu/9zpQ5w | 0.2594256404308224 | 26243.1 | 101158.46666666666 |
DRESDEN/connectfour/5tc-Mg | 0.2594699969619371 | 252432.83333333334 | 972878.7 |
BASE/connectFourSimultaneous/7ITr3g | 0.2597183508805246 | 135305.4 | 520969.73333333334 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.2597290841667302 | 315350.26666666666 | 1214150.7666666666 |
BASE/quarto/EwBMVQ | 0.26014238334451506 | 29262.133333333335 | 112485.06666666667 |
DRESDEN/smallest_4player/ADDROA | 0.2609967196022366 | 82440.03333333334 | 315866.1666666667 |
BASE/pearls/6k_mEQ | 0.26225182891123794 | 808770.9333333333 | 3083947.7333333334 |
BASE/tictactoe_orthogonal/WRzlVw | 0.2630422442853525 | 200515.53333333333 | 762294.0333333333 |
DRESDEN/nim2/z5_exA | 0.2646308176212482 | 178062.2 | 672870.2333333333 |
DRESDEN/tictictoe/LAUtwg | 0.2655334833739265 | 90433.93333333333 | 340574.5 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.265921325196553 | 212934.53333333333 | 800742.6 |
BASE/quartoSuicide/-23jUg | 0.26647561177331175 | 29373.633333333335 | 110230.1 |
BASE/nim2/eF2Qqw | 0.26681251263259675 | 174643.9 | 654556.6333333333 |
DRESDEN/connectfoursuicide/M9CNQg | 0.26686210730308024 | 264664.4 | 991764.6333333333 |
BASE/untwistycomplex2/EDPPAQ | 0.26863779537823074 | 847695.5 | 3155533.2666666666 |
BASE/brain_teaser_extended/ZDp94A | 0.26888543068313225 | 211844.9 | 787863.0666666667 |
DRESDEN/doubletoetictac/V89gKQ | 0.268936507624543 | 111294.06666666667 | 413830.26666666666 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.2694042345201649 | 424630.0333333333 | 1576181.7333333334 |
DRESDEN/eotcatcit/mQUxzA | 0.27013124363287966 | 218979.86666666667 | 810642.5 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.27068677958147314 | 305384.4666666667 | 1128183.9 |
BASE/conn4/va9Y7A | 0.27196740687761073 | 178212.4 | 655271.1666666666 |
BASE/duplicateStateMedium/U163eQ | 0.2722015978498801 | 453174.76666666666 | 1664849.7666666666 |
DRESDEN/lightsout/XgLpzQ | 0.27444884362535077 | 170488.03333333333 | 621201.5 |
BASE/troublemaker02/DI83KA | 0.2770773907580548 | 581569.5666666667 | 2098942.7 |
BASE/connectFour/WAIKTw | 0.2773727729393017 | 270655.26666666666 | 975781.6666666666 |
DRESDEN/smallest/9kaGFw | 0.27875342575710665 | 3241.233333333333 | 11627.6 |
BASE/stateSpaceLarge/0Ge_CQ | 0.2787633370936868 | 285639.6666666667 | 1024667.2666666667 |
BASE/amazons_10x10/Bun8dA | 0.2790011872390946 | 15298.5 | 54833.1 |
DRESDEN/babel/WdSW4A | 0.27909121396224684 | 65661.96666666666 | 235270.63333333333 |
STANFORD/trifecta/ss1kyQ | 0.27972009766465505 | 197339.43333333332 | 705488.9333333333 |
BASE/pentago/86NgKw | 0.2797231325277989 | 101617.4 | 363278.5 |
BASE/chineseCheckers4/avfBcQ | 0.28011935101286506 | 102111.06666666667 | 364527.0 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.2803636861391759 | 476207.3 | 1698534.1666666667 |
BASE/lightsOut/5P1ZBw | 0.28136784302039736 | 179277.66666666666 | 637164.7333333333 |
STANFORD/tictactoe/ss1kyQ | 0.2815381091526196 | 212970.96666666667 | 756455.2 |
DRESDEN/lightsout2/LFtfyQ | 0.28602691372082756 | 173201.43333333332 | 605542.4333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.2870448558555919 | 418981.93333333335 | 1459639.2333333334 |
DRESDEN/troublemaker02/iZLVuA | 0.28704544124836584 | 566824.6333333333 | 1974686.0666666667 |
BASE/chickentictactoe/DSlZCA | 0.28749707806625824 | 180345.7 | 627295.7666666667 |
STANFORD/sukoshi/4LYZZQ | 0.2884775099936651 | 284140.43333333335 | 984965.6333333333 |
BASE/bunk_t/xbpfIA | 0.28993910850425875 | 123026.26666666666 | 424317.6 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.2933056833161923 | 366058.4666666667 | 1248044.2333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 0.2934313020017365 | 176065.83333333334 | 600024.0333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.2936222951920134 | 316215.0333333333 | 1076944.9 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.2945441974915856 | 224656.56666666668 | 762726.1666666666 |
BASE/haystack/UkweGA | 0.2946124483494771 | 850260.6 | 2886030.8 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.2970309497764619 | 262449.93333333335 | 883577.7333333333 |
BASE/checkLines/Vop7oQ | 0.29991526706586213 | 125346.76666666666 | 417940.6 |
DRESDEN/blobwars/ZaMluQ | 0.300406454621014 | 5927.5 | 19731.6 |
BASE/ticTacToe/JRFsaQ | 0.30405134455746624 | 235251.13333333333 | 773721.7333333333 |
DRESDEN/troublemaker01/C-lPWw | 0.30490014679387684 | 664563.2666666667 | 2179609.533333333 |
BASE/lightsOnParallel/SC6enA | 0.3054100157450034 | 515042.6666666667 | 1686397.4333333333 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.3065252083276121 | 334857.3333333333 | 1092430.0 |
BASE/survival/YVIjJA | 0.3068826578852884 | 707976.1333333333 | 2306992.966666667 |
BASE/switches/tPUoCg | 0.3091695302361714 | 390100.9 | 1261770.2 |
BASE/eotcitcit/V_9_bg | 0.31018582349833784 | 103188.56666666667 | 332666.93333333335 |
BASE/nim1/hin2Qw | 0.3116193384854811 | 223547.93333333332 | 717375.0333333333 |
STANFORD/buttonsandlights/eyhJpA | 0.3123383007370964 | 922886.3 | 2954765.066666667 |
BASE/troublemaker01/s3tlEQ | 0.31308952953833136 | 687633.9 | 2196285.2 |
BASE/blobwars/0XT15Q | 0.31513565453507253 | 6089.166666666667 | 19322.366666666665 |
BASE/ticTicToe/c1OobQ | 0.3185305132107271 | 106669.7 | 334880.63333333336 |
STANFORD/rainbow/_4qNSQ | 0.3198429309955104 | 499113.1666666667 | 1560494.6 |
BASE/tictactoe-init1/7M19vA | 0.3202163921936102 | 271169.73333333334 | 846832.7666666667 |
DRESDEN/nim1/M9BALA | 0.3209399702675174 | 232630.56666666668 | 724841.3666666667 |
BASE/tictactoe2/bhrDoQ | 0.3209662500248552 | 402469.4666666667 | 1253930.8 |
STANFORD/tictictoe/rpt_Dw | 0.3216074520874538 | 106621.2 | 331525.9 |
DRESDEN/fizzbuzz/t1xHzQ | 0.3223456311297787 | 526509.2 | 1633368.5 |
BASE/crissrace/ERWGDA | 0.32387592592232844 | 27786.233333333334 | 85792.83333333333 |
BASE/tictactoe_3d_6player/d7KSwg | 0.32427701339648346 | 79403.36666666667 | 244862.76666666666 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.3245867900831433 | 477395.06666666665 | 1470777.8666666667 |
BASE/queens08lg/Ru7eqQ | 0.3254760080139099 | 156379.7 | 480464.6 |
DRESDEN/crissrace/KWb9bw | 0.3273909972808841 | 28648.0 | 87503.93333333333 |
STANFORD/dualrainbow/G3OnRQ | 0.33080412777277446 | 293780.06666666665 | 888078.6 |
BASE/eotcatcit/AfZSzA | 0.3309157838782966 | 228926.83333333334 | 691797.8666666667 |
BASE/3pConnectFour/PqXOFQ | 0.333255376943678 | 227899.4 | 683858.1333333333 |
STANFORD/tictactoe5/WFRReg | 0.3334796705650784 | 293439.1 | 879931.0 |
BASE/ticTacToeNoVars/XT03NA | 0.3344581499818446 | 415046.8 | 1240952.8666666667 |
BASE/duplicateStateSmall/bCPAXw | 0.3437693950892085 | 708520.7666666667 | 2061035.0333333334 |
STANFORD/tictactoe7/-bE9-A | 0.34426670883450355 | 257480.76666666666 | 747910.7333333333 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.3558899844945849 | 117586.3 | 330400.7 |
DRESDEN/blocker/S815zQ | 0.3565862291071843 | 355880.36666666664 | 998020.5 |
STANFORD/tictactoe3/X7myng | 0.35887130862538186 | 402712.2 | 1122163.2666666666 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.3600036911542323 | 592601.2 | 1646097.5666666667 |
BASE/stateSpaceMedium/3bUoIw | 0.36370189026691113 | 528318.1666666666 | 1452613.2 |
BASE/blocker/dIWtxg | 0.36729482788532647 | 364494.63333333336 | 992376.1666666666 |
DRESDEN/lightson2x2/gBHuig | 0.370489920387451 | 539871.3666666667 | 1457182.3333333333 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.37435604768330194 | 124763.1 | 333273.9 |
BASE/ad_game_2x2/D0aWqg | 0.37789421451459615 | 13479.6 | 35670.3 |
BASE/onestep/xi53wA | 0.37958124613405114 | 838404.3666666667 | 2208761.3 |
DRESDEN/statespacemedium/dVJZ_w | 0.38184666438910997 | 555948.2 | 1455946.2 |
BASE/nonogram_10x10_1/0Xc62g | 0.3962046346423763 | 73770.13333333333 | 186192.0 |
DRESDEN/statespacelarge/8-y5HQ | 0.4018481925922677 | 401258.4 | 998532.3 |
BASE/lightsOn/MsXu3A | 0.4091301981217339 | 847393.7666666667 | 2071208.0666666667 |
BASE/stateSpaceSmall/Q7osKA | 0.4101887620604989 | 767630.9 | 1871408.9 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 0.4123491198947201 | 98888.7 | 239817.9 |
BASE/factoringGeorgeForman/HGRorQ | 0.4352704991590045 | 896216.9666666667 | 2058988.5333333334 |
DRESDEN/statespacesmall/h-NqjA | 0.43562581103847514 | 788292.2333333333 | 1809562.7333333334 |
BASE/nonogram_5x5_1/qLKEZw | 0.445484146641835 | 157897.0 | 354439.1 |
BASE/amazonsTorus_10x10/Uxc08g | 0.47277383693527647 | 9328.6 | 19731.633333333335 |
BASE/guess/SPpk1A | 0.5530153671810273 | 30125.733333333334 | 54475.4 |
BASE/cubicup_3player/e2yA_g | 0.6211667368421052 | 49175.7 | 79166.66666666667 |
DRESDEN/guess/PhxGhg | 0.6241801775275717 | 34200.933333333334 | 54793.36666666667 |
DRESDEN/cubicup_3player/awDtsQ | 0.6787223171533433 | 52205.53333333333 | 76917.36666666667 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
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/racer4/0vs7Ww | 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/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | Exception of type NullPointerException |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | OutOfMemoryError: GC overhead limit exceeded |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | OutOfMemoryError: GC overhead limit exceeded |
DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | OutOfMemoryError: GC overhead limit exceeded |
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 |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | Exception of type NullPointerException |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | OutOfMemoryError: GC overhead limit exceeded |
BASE/god/qF06gw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | OutOfMemoryError: GC overhead limit exceeded |
DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | Exception of type NullPointerException |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |