Game-by-game performance:
Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | PALAMEDES_JOCULAR:0.6.1 states per second |
BASE/coins/QnGtnQ | 0.013927223982454995 | 43361.8 | 3113456.066666667 |
DRESDEN/coins/QwFP9w | 0.014733622457240005 | 47815.566666666666 | 3245336.7666666666 |
BASE/blocksWorldParallel/RseaAQ | 0.015004423852148905 | 48196.2 | 3212132.6666666665 |
BASE/coins_atomic/AA3SSw | 0.01578538696613971 | 47407.066666666666 | 3003224.8666666667 |
BASE/minichess/8NQEiA | 0.02844956270672938 | 82243.03333333334 | 2890836.466666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.038184586236180554 | 184912.2 | 4842587.5 |
STANFORD/tictactoe3/X7myng | 0.03828792200600292 | 153563.53333333333 | 4010756.533333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.03871483835596504 | 143451.53333333333 | 3705337.2666666666 |
BASE/tictactoe-init1/7M19vA | 0.040090326947681984 | 149011.63333333333 | 3716897.433333333 |
STANFORD/tictactoe5/WFRReg | 0.04157007183423967 | 154450.83333333334 | 3715433.4 |
DRESDEN/blocksworldparallel/2JfVaw | 0.04838201599131049 | 160414.03333333333 | 3315571.5 |
STANFORD/threepuzzle/41ibjA | 0.06274654502043248 | 336593.4666666667 | 5364334.666666667 |
STANFORD/3puzzle/41ibjA | 0.06358714780219744 | 336006.1 | 5284182.6 |
BASE/gt_dollar/TGjqRw | 0.06662732684002642 | 248697.2 | 3732660.6333333333 |
STANFORD/tictactoe7/-bE9-A | 0.06911751529136424 | 149442.93333333332 | 2162157.2 |
BASE/hodgepodge/9yjRkw | 0.06937292808924816 | 195328.33333333334 | 2815627.6333333333 |
BASE/blocksWorld/SEdXLQ | 0.07243667255330254 | 328146.13333333336 | 4530110.533333333 |
DRESDEN/blocks/vg0DRw | 0.07281118091123737 | 326892.86666666664 | 4489597.1 |
BASE/blocks/xIV5hQ | 0.07478581923464087 | 334031.13333333336 | 4466503.633333334 |
STANFORD/sukoshi/4LYZZQ | 0.08056156390886242 | 134604.03333333333 | 1670822.0 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.09223857651857229 | 189470.03333333333 | 2054130.0666666667 |
BASE/gt_centipede/9fRMpw | 0.09469396984765523 | 378842.73333333334 | 4000706.0 |
BASE/switches/tPUoCg | 0.09608558793994314 | 220003.83333333334 | 2289665.2666666666 |
BASE/maze/cCX3qQ | 0.0999454720291285 | 656680.6666666666 | 6570389.366666666 |
BASE/pearls/6k_mEQ | 0.10871110748832734 | 719649.3333333334 | 6619832.6 |
BASE/duplicateStateSmall/bCPAXw | 0.11652989673294092 | 457625.23333333334 | 3927105.8 |
BASE/troublemaker01/s3tlEQ | 0.11714827359971108 | 540830.9333333333 | 4616635.966666667 |
DRESDEN/troublemaker01/C-lPWw | 0.11828151130346565 | 561519.4666666667 | 4747313.933333334 |
BASE/stateSpaceSmall/Q7osKA | 0.11868750542591963 | 467378.1666666667 | 3937888.533333333 |
DRESDEN/troublemaker02/iZLVuA | 0.1223480385233881 | 525648.4333333333 | 4296337.233333333 |
BASE/troublemaker02/DI83KA | 0.1223697947400577 | 517468.3 | 4228725.733333333 |
DRESDEN/statespacesmall/h-NqjA | 0.1244189050472621 | 480628.6666666667 | 3862987.433333333 |
BASE/snake2p/I3wWPQ | 0.12915536959551158 | 94606.7 | 732503.0333333333 |
BASE/onestep/xi53wA | 0.13361029201081628 | 368475.3 | 2757836.2 |
BASE/haystack/UkweGA | 0.1375599010245966 | 666166.6333333333 | 4842738.533333333 |
DRESDEN/buttons/ADUaHw | 0.15273913738986802 | 612228.5 | 4008327.6 |
BASE/buttons/hTcUjw | 0.15432979229092086 | 627658.9 | 4066997.6333333333 |
STANFORD/buttonsandlights/eyhJpA | 0.17744836310177362 | 717704.7333333333 | 4044583.566666667 |
BASE/survival/YVIjJA | 0.18295863032312196 | 497183.9 | 2717466.2333333334 |
STANFORD/knightstourmedium/x1wu8Q | 2.117552839962079 | 344129.3 | 162512.73333333334 |
BASE/tron_10x10/7ZTgDg | 4.620326734012807 | 109281.2 | 23652.266666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 4.6371276746060985 | 111581.96666666666 | 24062.733333333334 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 4.748937169802076 | 109843.23333333334 | 23130.066666666666 |
STANFORD/knightstour/cEwgNA | 4.797287464696832 | 332077.0333333333 | 69221.83333333333 |
BASE/knightsTour/mvtVIg | 5.016628785354626 | 348806.36666666664 | 69530.03333333334 |
DRESDEN/knightstour/cGISAA | 5.213818148853593 | 348919.8333333333 | 66922.13333333333 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 5.506372176555916 | 21257.533333333333 | 3860.5333333333333 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 5.813727879001183 | 21474.166666666668 | 3693.7 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 5.889944939070358 | 20574.166666666668 | 3493.1 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 6.005948817719245 | 21403.6 | 3563.733333333333 |
DRESDEN/sat_test_20v_91c/dK7nVw | 6.093392708998846 | 21300.266666666666 | 3495.633333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.144247554588985 | 21000.833333333332 | 3417.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 6.537611617593232 | 25600.633333333335 | 3915.9 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 6.864170193920916 | 26866.133333333335 | 3913.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 6.978104588588095 | 28311.333333333332 | 4057.1666666666665 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.9829199242552065 | 24829.866666666665 | 3555.8 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 7.186016751023355 | 29199.9 | 4063.4333333333334 |
BASE/ticTacToeNoVars/XT03NA | 8.094787968928834 | 139328.3 | 17212.1 |
STANFORD/rainbow/_4qNSQ | 8.594452563256887 | 235829.2 | 27439.7 |
BASE/tictactoe_orthogonal/WRzlVw | 9.593349534043787 | 143433.36666666667 | 14951.333333333334 |
BASE/untwistycomplex2/EDPPAQ | 9.657030486921707 | 606732.2333333333 | 62828.03333333333 |
BASE/ticTacToe/JRFsaQ | 9.791228286402141 | 138349.23333333334 | 14129.916011198507 |
BASE/circlesolitaire/azuQFQ | 9.811467374207126 | 268218.7 | 27337.266666666666 |
STANFORD/untwistycorridor/EDPPAQ | 9.833269634839771 | 619164.8333333334 | 62966.32313829787 |
BASE/ticTicToe/c1OobQ | 9.846430099767572 | 78231.2 | 7945.133333333333 |
DRESDEN/eotcatcit/mQUxzA | 9.93485426241947 | 137043.36666666667 | 13794.2 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 9.991757455809177 | 142031.5 | 14214.866666666667 |
BASE/eotcatcit/AfZSzA | 10.003521951772937 | 135199.93333333332 | 13515.233333333334 |
DRESDEN/circlesolitaire/ruUilQ | 10.033733042395404 | 269769.6 | 26886.264450144918 |
DRESDEN/tictactoe/BTTzPw | 10.191283766185787 | 147117.0 | 14435.570961935871 |
STANFORD/tictictoe/rpt_Dw | 10.329304073466988 | 81902.6 | 7929.1498650314925 |
BASE/eotcitcit/V_9_bg | 10.370547884785832 | 82294.1 | 7935.366666666667 |
STANFORD/trifecta/ss1kyQ | 10.420774435405015 | 141027.46666666667 | 13533.3 |
DRESDEN/sum15/CsgWKg | 10.534932400256734 | 169608.9 | 16099.666666666666 |
STANFORD/tictactoe/ss1kyQ | 10.545568757772942 | 138779.33333333334 | 13159.966666666667 |
BASE/sum15/QZ07Kg | 10.57846176326309 | 168922.16666666666 | 15968.5 |
BASE/hanoi_6_disks/MeubgQ | 10.641820444285722 | 254281.33333333334 | 23894.533333333333 |
DRESDEN/tictictoe/LAUtwg | 10.796601134913706 | 85745.16666666667 | 7941.866666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 11.36940855629143 | 254584.93333333332 | 22392.1 |
STANFORD/dualrainbow/G3OnRQ | 11.512346834880102 | 131159.4 | 11392.933333333332 |
DRESDEN/toetictac/mJtxCA | 11.796648138978359 | 246970.3 | 20935.633333333335 |
BASE/toetictac/mTThmg | 12.518832935104346 | 257428.1 | 20563.266666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 12.96513086419753 | 350058.5333333333 | 27000.0 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 13.056427169411954 | 353657.26666666666 | 27086.833333333332 |
STANFORD/bestbuttonsandlights/nm0wEA | 13.063154097565905 | 318824.0333333333 | 24406.359364063595 |
DRESDEN/latenttictactoe/kITHKg | 13.146978350378536 | 82486.33333333333 | 6274.166666666667 |
BASE/numbertictactoe/rvJ-iQ | 13.176287302720944 | 62727.03333333333 | 4760.6 |
BASE/chickentictactoe/DSlZCA | 13.19823992182475 | 118527.73333333334 | 8980.57120005332 |
BASE/tictactoe2/bhrDoQ | 13.29191631117289 | 184872.83333333334 | 13908.666666666666 |
DRESDEN/chickentictactoe/Ipbo-g | 13.362591640760938 | 122363.03333333334 | 9157.133333333333 |
BASE/eightPuzzle/vLrgFg | 13.374893026341113 | 108880.1 | 8140.633333333333 |
DRESDEN/8puzzle/8fKC2w | 13.596697873206471 | 106891.8 | 7861.6 |
STANFORD/8puzzle/jNiGtw | 13.656433192569326 | 109413.06666666667 | 8011.833333333333 |
BASE/blocks2player/wnTLOQ | 13.685943529104106 | 265125.7 | 19372.11705105986 |
BASE/roshambo2/KNPokQ | 13.892189084995538 | 271170.7 | 19519.652255012992 |
DRESDEN/roshambo2/jgSlkQ | 14.046287133955438 | 276963.3333333333 | 19717.903435407017 |
BASE/blocker/dIWtxg | 14.147312725330483 | 141265.63333333333 | 9985.333333333334 |
BASE/duplicateStateLarge/dcjyuw | 14.148618523591367 | 99856.23333333334 | 7057.666666666667 |
DRESDEN/blocks2player/3ev8nQ | 14.625936288755463 | 279488.9666666667 | 19109.133333333335 |
DRESDEN/blocker/S815zQ | 14.739404297298695 | 142623.0 | 9676.30693366208 |
DRESDEN/logistics/fPru1Q | 14.906860338330285 | 77927.6 | 5227.633333333333 |
STANFORD/eightpuzzle/W_aWbA | 15.11610861831638 | 112744.0 | 7458.533333333334 |
BASE/aipsrovers01/4C4jsw | 15.123372970684487 | 197117.1 | 13033.937626354687 |
DRESDEN/statespacelarge/8-y5HQ | 15.45823166055468 | 221723.6 | 14343.4 |
BASE/stateSpaceLarge/0Ge_CQ | 15.549875565506204 | 224102.73333333334 | 14411.866666666667 |
BASE/wallmaze/uxNQ9g | 15.62521799790722 | 26878.5 | 1720.2 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 15.755050577965418 | 274526.5333333333 | 17424.668488038915 |
BASE/snake_2008/i6K26g | 15.843017095552925 | 85228.56666666667 | 5379.566666666667 |
DRESDEN/lightson2x2/gBHuig | 15.911449625472052 | 204306.76666666666 | 12840.23589777763 |
DRESDEN/snake_2008/E56l3A | 15.978163961000263 | 89369.06666666667 | 5593.2 |
DRESDEN/aipsrovers01/qS47Mw | 16.08081430278182 | 203630.83333333334 | 12662.967776333766 |
BASE/snake_2008_tweaked/bX0NJQ | 16.197714181774085 | 89049.63333333333 | 5497.666666666667 |
DRESDEN/connect5/1kYzSg | 16.335112477294956 | 19485.066666666666 | 1192.8333333333333 |
BASE/coloredtrails/EZvr7g | 16.37153570526836 | 101584.83333333333 | 6204.966666666666 |
STANFORD/jointbuttonsandlights/qAKuIQ | 16.372984314835534 | 242939.06666666668 | 14837.8 |
BASE/knightsTourLarge/M8jgLA | 16.868497948356612 | 325589.0 | 19301.6 |
DRESDEN/snake_2009/zIYLVw | 17.24852058959255 | 84722.43333333333 | 4911.866666666667 |
BASE/quad/tw-Ufg | 17.254217771004186 | 25.255824080121926 | 1.463747845037895 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 17.272772434006672 | 185439.33333333334 | 10735.933333333332 |
BASE/snake_2009/7l-qAQ | 17.377896200185358 | 85003.4 | 4891.466666666666 |
BASE/lightsOn/MsXu3A | 17.413474100001235 | 376776.5 | 21637.066666666666 |
BASE/connect5/d-BVQg | 17.42124003843328 | 20548.933333333334 | 1179.5333333333333 |
BASE/lightsOnParallel/SC6enA | 17.473887570405914 | 180142.96666666667 | 10309.266666666666 |
STANFORD/multipletictactoe/_bkafQ | 17.856617264960818 | 28635.466666666667 | 1603.6333333333334 |
BASE/firefighter/WJmoPw | 18.529633190476968 | 227421.6 | 12273.4 |
BASE/chickentoetictac/l57rfQ | 18.60343824810847 | 238829.7 | 12837.933333333332 |
BASE/snakeAssemblit/UO4sdg | 18.661148119122256 | 25399.066666666666 | 1361.0666666666666 |
DRESDEN/firefighter/WJmoPw | 18.788247927053856 | 227701.36666666667 | 12119.350753232902 |
DRESDEN/chickentoetictac/cxYaRQ | 18.880208644047134 | 242633.96666666667 | 12851.233333333334 |
DRESDEN/chinesecheckers1/Y-ftaA | 19.458791783458143 | 62016.46666666667 | 3187.0666666666666 |
BASE/kalaha5x2x3/WviNsw | 19.66161991337631 | 104106.96666666666 | 5294.933333333333 |
STANFORD/knightstourbig/TQUI2g | 19.808086667160943 | 302787.73333333334 | 15286.066666666668 |
DRESDEN/chinesecheckers2/06E6-Q | 19.939570988549562 | 48120.166666666664 | 2413.3 |
BASE/factoringEasyTurtleBrain/lUj94Q | 19.980626399381002 | 178179.9 | 8917.633333333333 |
BASE/duplicateStateMedium/U163eQ | 19.999173419261925 | 349098.4666666667 | 17455.64475831973 |
BASE/incredible/8Qh-6Q | 20.125106582181132 | 160499.06666666668 | 7975.066666666667 |
STANFORD/hunter/14dD-g | 20.37160040093552 | 172754.56666666668 | 8480.166666666666 |
BASE/gt_coordination/IVMOzA | 20.442706216329558 | 422468.9666666667 | 20666.0 |
BASE/tictactoe_3player/GtM71g | 20.467217971846566 | 51810.03333333333 | 2531.366666666667 |
DRESDEN/tictactoelarge/IwXcbg | 20.555700781178757 | 112710.33333333333 | 5483.166666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 20.60390022454359 | 112557.73333333334 | 5462.933333333333 |
DRESDEN/sheep_and_wolf/enAIzQ | 20.61600839784805 | 26185.766666666666 | 1270.1666666666667 |
DRESDEN/quad/JPe6fg | 20.81881721941672 | 33.23896752706078 | 1.5965828979016339 |
DRESDEN/minichess/c7GMFw | 20.827317140938664 | 59967.4 | 2879.266666666667 |
DRESDEN/oisters_farm/pTQMLg | 20.883884870777788 | 370290.63333333336 | 17730.92677078824 |
DRESDEN/tictactoelargesuicide/6J4DeA | 21.15744382066324 | 116223.86666666667 | 5493.284900189956 |
BASE/ticTacToeLarge/TZC0dg | 21.318391719246364 | 113413.13333333333 | 5319.966666666666 |
BASE/kalaha6x2x4/XS81Mg | 21.344897694949587 | 96943.1 | 4541.745825417458 |
DRESDEN/tictactoe_3player/ESLQQQ | 21.357457615484936 | 51859.46666666667 | 2428.1666666666665 |
BASE/sheepAndWolf/g4THrg | 21.384750933669977 | 27103.033333333333 | 1267.4 |
BASE/bomberman2p/4CClwA | 21.468628516834684 | 86887.83333333333 | 4047.2 |
BASE/ghostMaze2p/W-NU-w | 21.482542051594912 | 131461.7 | 6119.466666666666 |
BASE/breakthroughSmallHoles/bxclRw | 21.70956160501809 | 52607.333333333336 | 2423.233333333333 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 22.072976646484616 | 59545.53333333333 | 2697.6666666666665 |
BASE/beatMania/qUHwvQ | 22.201954052802222 | 273214.8 | 12305.889803673212 |
DRESDEN/kalaha_2009/gcC8uA | 22.243762919532454 | 98639.96666666666 | 4434.5 |
DRESDEN/chinesecheckers3/QsCb2A | 22.35847375496295 | 47678.7 | 2132.4666666666667 |
DRESDEN/cube_2x2x2/fp-34Q | 22.592487302893527 | 90598.13333333333 | 4010.1 |
BASE/kalaha_2009/dRiN3g | 22.630320536849606 | 102630.76666666666 | 4535.1 |
DRESDEN/chinesecheckers6/yTbPDA | 23.044534013000614 | 38878.433333333334 | 1687.1 |
BASE/tictactoex9/BI26ow | 23.159425793711073 | 20327.8 | 877.7333333333333 |
DRESDEN/Runners/3bOCQw | 23.235405144951216 | 331662.3 | 14274.005464116746 |
DRESDEN/tictactoex9/rFkD4w | 23.402042994358894 | 20465.866666666665 | 874.5333333333333 |
DRESDEN/statespacemedium/dVJZ_w | 23.72138068775486 | 427573.93333333335 | 18024.833333333332 |
STANFORD/connectfour/VMpZkQ | 23.998455763565524 | 67342.86666666667 | 2806.133333333333 |
BASE/stateSpaceMedium/3bUoIw | 24.319883929844575 | 437321.4 | 17982.05128205128 |
DRESDEN/snake_2009_big/DgC1NQ | 24.884813870230012 | 69276.83333333333 | 2783.9 |
BASE/point_grab/V_osUg | 24.928075346565056 | 403040.695930407 | 16168.143361534874 |
BASE/ticTacToeParallel/ymRGPw | 24.93832989082325 | 61978.4 | 2485.266666666667 |
BASE/snake_2009_big/-oRfVw | 25.060504881289358 | 72303.73333333334 | 2885.1666666666665 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 25.209052631578945 | 11974.3 | 475.0 |
DRESDEN/point_grab/r5DPmQ | 25.21272421799761 | 403646.0333333333 | 16009.61601147402 |
DRESDEN/quartosuicide/WIU1oQ | 25.69157315014953 | 57845.433333333334 | 2251.5333333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 25.725727598183774 | 30531.133333333335 | 1186.793773540882 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 25.790520491517142 | 197012.06666666668 | 7638.933333333333 |
DRESDEN/tictactoeparallel/yk_DSg | 25.808444612943536 | 61266.666666666664 | 2373.9 |
DRESDEN/catch_me/ghGWrA | 25.838537083318666 | 195745.86666666667 | 7575.733333333334 |
BASE/quarto/EwBMVQ | 25.88470816662744 | 58658.2 | 2266.133333333333 |
STANFORD/nineboardtictactoe/y28P-A | 25.98578922534625 | 31208.066666666666 | 1200.9666666666667 |
BASE/chineseCheckers1/gqtwHw | 26.10736945435392 | 145390.2 | 5568.933333333333 |
DRESDEN/quarto/OQzRYQ | 26.120328685694304 | 59760.7 | 2287.9 |
DRESDEN/Thief_Police/CX18rA | 26.300294222457765 | 191888.7 | 7296.066666666667 |
DRESDEN/pawn_whopping/4ogBkg | 26.309942054947268 | 47977.933333333334 | 1823.5666666666666 |
DRESDEN/stratego/Z2wovg | 26.32334992547597 | 31201.066666666666 | 1185.3 |
DRESDEN/bunk_t/7-tPfA | 26.406303868853954 | 77103.76666666666 | 2919.9 |
BASE/doubletoetictac/fu35bg | 26.484364070043462 | 76983.86666666667 | 2906.766666666667 |
BASE/connectFour/WAIKTw | 26.486511185388267 | 70525.63333333333 | 2662.7 |
BASE/quartoSuicide/-23jUg | 26.49341067215652 | 58768.566666666666 | 2218.233333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 26.559624533881955 | 34425.7 | 1296.1666666666667 |
BASE/chineseCheckers2/eCMR3Q | 26.623246774727093 | 107309.43333333333 | 4030.6666666666665 |
BASE/connectFourSuicide/c8p9Kw | 26.808180926266004 | 71043.46666666666 | 2650.0666666666666 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 26.924500620697437 | 198815.0 | 7384.166666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 27.20247910280089 | 47621.566666666666 | 1750.6333333333334 |
BASE/connectFour_9x6/B9TtMw | 27.30548837209302 | 68491.26666666666 | 2508.3333333333335 |
DRESDEN/doubletoetictac/V89gKQ | 27.34579040278755 | 79002.9 | 2889.0333333333333 |
BASE/pawnWhopping/Ypc_6Q | 27.399029327113 | 48550.166666666664 | 1771.9666666666667 |
BASE/bunk_t/xbpfIA | 27.52835831117097 | 80392.9 | 2920.366666666667 |
STANFORD/dualhunter/1rPZjQ | 27.559782284343335 | 76964.36666666667 | 2792.633333333333 |
BASE/doubletictactoe/HH1htg | 27.837139080695515 | 81434.76666666666 | 2925.4 |
BASE/chineseCheckers3/-1rZdQ | 27.94087746385675 | 92895.96666666666 | 3324.733333333333 |
BASE/brain_teaser_extended/ZDp94A | 27.959536766359342 | 207226.76666666666 | 7411.666666666667 |
BASE/withConviction/3Xm54A | 27.979674048156163 | 40516.433333333334 | 1448.0666666666666 |
DRESDEN/chinesecheckers4/-oVNYg | 27.9866143902962 | 30455.966666666667 | 1088.2333333333333 |
BASE/connectFourLarge/aU644A | 28.210473905023097 | 57602.96666666667 | 2041.9 |
BASE/chineseCheckers6/rREH3A | 28.337383467992538 | 60793.13333333333 | 2145.3333333333335 |
DRESDEN/doubletictactoe/lJzgmQ | 28.349103058100415 | 81175.76666666666 | 2863.4333333333334 |
DRESDEN/mummymaze2p/k-8edg | 28.50108413498244 | 62217.86666666667 | 2183.0 |
BASE/mummymaze2p/vpjDdA | 28.57007822198292 | 63674.13333333333 | 2228.7 |
BASE/minichess-evilconjuncts/4OpQzw | 28.61970153992697 | 12018.366666666667 | 419.93333333333334 |
STANFORD/breakthrough/d5j0cQ | 28.916668333166687 | 48199.26666666667 | 1666.8333333333333 |
BASE/factoringGeorgeForman/HGRorQ | 28.98700702345485 | 349296.3333333333 | 12050.1 |
DRESDEN/brain_teaser_extended/ZDp94A | 29.33038725490196 | 199446.63333333333 | 6800.0 |
DRESDEN/racetrackcorridor/O0DoTA | 29.409547210682014 | 60643.46666666667 | 2062.0333333333333 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 29.49285306598506 | 79231.56666666667 | 2686.4666666666667 |
BASE/3pConnectFour/PqXOFQ | 29.739975792042113 | 51597.86666666667 | 1734.9666666666667 |
DRESDEN/minichess-evilconjuncts/th24Tw | 30.008357702903155 | 12586.666666666666 | 419.43870408639424 |
BASE/dualConnect4/WbCQkg | 30.159331612673544 | 45182.7 | 1498.1333333333334 |
DRESDEN/knightfight/4_Ly4w | 30.288799431246364 | 109349.63333333333 | 3610.233333333333 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 30.644067842226466 | 190432.23333333334 | 6214.3261891270295 |
DRESDEN/pancakes/hl9aiQ | 30.811709241280006 | 679041.8 | 22038.433333333334 |
BASE/double_tictactoe_dengji/zgaSbA | 31.04015265265265 | 82690.96666666666 | 2664.0 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 31.38372287424349 | 31286.433333333334 | 996.9 |
DRESDEN/towerworld/HCX34w | 31.387611291989668 | 1348.6333333333334 | 42.96705858841555 |
BASE/pancakes/yUgbXw | 31.586986891906637 | 684756.1666666666 | 21678.426277566792 |
STANFORD/duikoshi/tpw1sw | 31.589860271903323 | 55766.63333333333 | 1765.3333333333333 |
BASE/pancakes6/QZTdnw | 31.81042712627178 | 683100.8333333334 | 21474.1169812577 |
DRESDEN/connect4/T0-rHQ | 31.915818226967968 | 25705.0 | 805.4 |
DRESDEN/pancakes6/SZXMyQ | 31.934257329155102 | 693985.7 | 21731.7 |
BASE/knightfight/SJRkAg | 32.3624749793948 | 109941.8 | 3397.2 |
DRESDEN/max_knights/hCipiA | 32.58828866781166 | 33521.4 | 1028.6333333333334 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 33.044016284885465 | 209195.06666666668 | 6330.8002533080025 |
DRESDEN/pancakes88/aD3E7g | 33.17010123858933 | 640218.3 | 19301.065601065602 |
BASE/max_knights/2fq3Ag | 33.18967821862876 | 33934.23333333333 | 1022.4333333333333 |
BASE/blobwars/0XT15Q | 33.223801248374514 | 12773.7 | 384.47436837544166 |
DRESDEN/blobwars/ZaMluQ | 33.32240249245589 | 12759.833333333334 | 382.9205693143562 |
BASE/connectFourLarger/qKi60A | 33.98970467269881 | 42699.0 | 1256.2333333333333 |
BASE/pancakes88/l2Xaig | 34.156063908834476 | 646613.0 | 18931.133333333335 |
BASE/gt_staghunt/xPjLRA | 35.02274589148326 | 400434.9 | 11433.566666666668 |
DRESDEN/crisscross/GsY16g | 35.293225048087194 | 49541.1 | 1403.7 |
BASE/cubicup/4wNWJA | 35.4427850340844 | 22703.466666666667 | 640.5666666666667 |
DRESDEN/gt_prisoner/huCp4w | 35.58226765070747 | 401254.115843498 | 11276.8 |
DRESDEN/cubicup/SBn_lw | 35.63946859145353 | 22713.033333333333 | 637.3 |
BASE/crisscross/ICagEg | 35.86476884536552 | 52494.066666666666 | 1463.6666666666667 |
BASE/cubicup_3player/e2yA_g | 35.966917595117515 | 12309.866666666667 | 342.2552581580614 |
BASE/connectFourSimultaneous/7ITr3g | 36.25236123514925 | 44652.03333333333 | 1231.7 |
BASE/futoshiki4/BaCwSw | 36.25374060764456 | 36990.9 | 1020.3333333333334 |
BASE/gt_prisoner/klthDw | 36.26171054078933 | 417563.26666666666 | 11515.266666666666 |
DRESDEN/grid_game/U7_Yeg | 36.34712837837838 | 80332.0 | 2210.133333333333 |
BASE/checkLines/Vop7oQ | 36.55096011816839 | 103104.16666666667 | 2820.8333333333335 |
BASE/connect4/50bOyw | 37.016586483390604 | 26929.566666666666 | 727.5 |
DRESDEN/3pttc/uwYBZw | 37.04098714850439 | 77147.73333333334 | 2082.766666666667 |
DRESDEN/blockerparallel/dVQgSg | 38.63331972572409 | 18999.233333333334 | 491.7836072130929 |
BASE/blockerParallel/7-nDJA | 38.66470356173136 | 18827.166666666668 | 486.93420438637423 |
DRESDEN/cubicup_3player/awDtsQ | 39.106746439502146 | 12776.2 | 326.70066326700663 |
DRESDEN/3pffa/0YrmQw | 39.46324006696047 | 77008.56666666667 | 1951.4 |
DRESDEN/frogs_and_toads/GjchhQ | 39.84106849378487 | 57372.46666666667 | 1440.0333333333333 |
DRESDEN/lightsout2/LFtfyQ | 39.86968041690211 | 105834.06666666667 | 2654.5 |
BASE/pacman3p/wW7UVQ | 40.08853037717883 | 43032.26666666667 | 1073.4308856371454 |
BASE/chomp/-LcqYQ | 40.37247829631939 | 77682.13333333333 | 1924.1358621379288 |
DRESDEN/chomp/-LcqYQ | 40.52917771883289 | 77416.13333333333 | 1910.1333333333334 |
BASE/hex/T1MK8g | 40.67306904476636 | 24893.8 | 612.0462651244959 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 40.87159452736318 | 5111.333333333333 | 125.05832944470369 |
DRESDEN/lightsout/XgLpzQ | 41.17647211011073 | 106103.53333333334 | 2576.8 |
DRESDEN/gt_chicken/CeuKtw | 41.356187183049315 | 405851.7 | 9813.566666666668 |
BASE/lightsOut/5P1ZBw | 41.829978729061416 | 104881.7 | 2507.3333333333335 |
BASE/rubiksCube/9tNO9Q | 42.09036165792161 | 39841.333333333336 | 946.5666666666667 |
BASE/hexPie/48CH6Q | 42.1714709371293 | 23700.366666666665 | 562.0 |
BASE/gt_chicken/gmepTQ | 42.32769349909421 | 408112.3333333333 | 9641.733333333334 |
BASE/pacman2p/4LEdQg | 42.465659977481955 | 42745.933333333334 | 1006.6 |
DRESDEN/vacuumcleaner_random/_6AGDA | 42.677856281233844 | 123829.8 | 2901.5 |
STANFORD/hex/MTqWcw | 42.68863408660803 | 25564.8 | 598.8666666666667 |
BASE/tictactoe_3d_2player/IUC1rQ | 43.1523241140078 | 13406.533333333333 | 310.6792880474635 |
DRESDEN/twisty-passages/j7NPyg | 43.431729142873664 | 100143.43333333333 | 2305.766666666667 |
DRESDEN/endgame/IJhh3Q | 43.61032895175819 | 21786.266666666666 | 499.56666666666666 |
DRESDEN/4pttc/9pB9AQ | 43.91562041788856 | 63894.3 | 1454.9333333333334 |
BASE/hallway/ckCJOw | 44.13401291629059 | 21188.033333333333 | 480.08399720009334 |
DRESDEN/hallway/0H4l-Q | 44.34259509036957 | 21917.066666666666 | 494.26666666666665 |
BASE/lightsOnSimultaneous/_VN6lw | 44.37144981939231 | 41765.36666666667 | 941.2666666666667 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 45.03466920297156 | 37246.933333333334 | 827.0724309189694 |
BASE/twisty-passages/DiZmmg | 45.58051977064562 | 102016.8 | 2238.1666666666665 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 46.08795006130866 | 13781.833333333334 | 299.03333333333336 |
BASE/tictactoe_3d_small_2player/oOryKA | 46.36599270577647 | 37775.23333333333 | 814.7185281471852 |
BASE/chineseCheckers4/avfBcQ | 46.494813995298024 | 67240.8 | 1446.2 |
BASE/futoshiki5/TJ4BZg | 46.79347826086956 | 16789.5 | 358.8 |
BASE/conn4/va9Y7A | 46.819505094614264 | 40742.333333333336 | 870.2 |
BASE/futoshiki6/JmvXNA | 47.49923110439068 | 9423.533333333333 | 198.39338688710376 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 47.56202171601334 | 60824.6 | 1278.8480767948804 |
BASE/escortLatch/mX9BjQ | 50.360776933933735 | 49954.53333333333 | 991.9333333333333 |
BASE/endgame/jYjfOA | 50.52625001531581 | 27489.5 | 544.0637290847277 |
DRESDEN/ticblock/Z2yNWQ | 50.65121676625963 | 97478.26666666666 | 1924.5 |
BASE/dotsAndBoxesSuicide/jzQbLw | 50.79815827486587 | 65644.76666666666 | 1292.2666666666667 |
BASE/ticblock/T21C1g | 51.673661067628174 | 97930.2 | 1895.1666666666667 |
BASE/dotsAndBoxes/EHwA_w | 52.15262794281766 | 65423.73333333333 | 1254.4666666666667 |
BASE/racetrackcorridor/_RkdUg | 52.162295604162246 | 65501.933333333334 | 1255.7333333333333 |
STANFORD/pentago/ZxzLmg | 52.412272698010334 | 28946.333333333332 | 552.2815906136462 |
BASE/crissrace/ERWGDA | 52.719825625473845 | 46358.3 | 879.3333333333334 |
DRESDEN/mimikry/GJEhwA | 52.95592259255596 | 53543.73333333333 | 1011.1 |
DRESDEN/crissrace/KWb9bw | 53.414157566302656 | 45651.3 | 854.6666666666666 |
BASE/lightsOnSimul4/9FeASw | 53.43666948688598 | 35790.1 | 669.7666666666667 |
DRESDEN/pentago_2008/hLjVpQ | 56.74051923247888 | 12764.3 | 224.9591680277324 |
BASE/solitaireChineseCheckers/-ET6gw | 57.235028344912834 | 89519.4 | 1564.0666666666666 |
STANFORD/triplesukoshi/Iu9mbA | 58.18247571812358 | 46924.166666666664 | 806.5 |
DRESDEN/tpeg/h-Scbg | 58.35827137546469 | 25117.4 | 430.4 |
BASE/tpeg/QNs7Lw | 60.06615776081425 | 25179.733333333334 | 419.2 |
DRESDEN/pawntoqueen/f_x6Aw | 61.170039764492756 | 2249.0333333333333 | 36.76690978119692 |
BASE/pawnToQueen/-O1_JA | 62.06519911738746 | 2342.2 | 37.73773440362389 |
BASE/sudokuGrade1/tDRNRw | 63.28682753623189 | 6016.066666666667 | 95.06032931137923 |
DRESDEN/four_way_battle/xSOQXA | 63.94900295652174 | 7353.4 | 114.98850114988501 |
STANFORD/duidoku/3SoMaA | 65.85450232558141 | 4718.0 | 71.6427857380873 |
BASE/3pttc/0sol9g | 66.31172202622645 | 66413.4 | 1001.5333333333333 |
BASE/peg/fJHVWw | 66.38306601941748 | 22334.2 | 336.44423705086325 |
BASE/sudokuGrade4/DTy07w | 66.50779515267175 | 5807.766666666666 | 87.32460087324601 |
DRESDEN/crossers3/xiPTxg | 66.9707292228414 | 74511.63333333333 | 1112.6 |
BASE/four_way_battle/xSOQXA | 67.39560761346999 | 7671.866666666667 | 113.83333333333333 |
BASE/4pffa/Q3ADlg | 67.43547472169043 | 63402.833333333336 | 940.2 |
BASE/sudokuGrade5/BQfUQA | 67.50506632996634 | 6014.1 | 89.0910908909109 |
DRESDEN/hanoi/RQ0jiA | 67.79150358881827 | 340643.26666666666 | 5024.866666666667 |
STANFORD/platformjumpers/HEQskA | 68.2496528630394 | 30312.2 | 444.137057529498 |
BASE/sudokuGrade2/u80Tfw | 68.28992982251587 | 5855.633333333333 | 85.74665911287366 |
BASE/sudoku/NTaNkw | 68.34447968551277 | 13134.933333333332 | 192.18718752083194 |
DRESDEN/peg_bugfixed/u_B7MA | 68.95899543470964 | 22824.666666666668 | 330.98896703443216 |
BASE/crossers3/O0rORg | 68.98551578686187 | 74141.03333333334 | 1074.7333333333333 |
DRESDEN/peg/Vo31eg | 69.74655853408508 | 22678.5 | 325.155828139062 |
DRESDEN/grid_game2/kypTYQ | 70.10135525969757 | 14215.133333333333 | 202.77972202779722 |
BASE/pegEuro/5awwhg | 70.94194815145333 | 18547.1 | 261.4405226144052 |
BASE/hanoi/iGLsJg | 71.31341671054341 | 347636.26666666666 | 4874.766666666666 |
BASE/3pffa/pR0dzA | 71.58747322600705 | 69072.36666666667 | 964.8666666666667 |
BASE/ticTacHeavenFC/mrletw | 72.059558117195 | 32506.066666666666 | 451.1 |
BASE/slidingpieces/uFJWEw | 74.00515620260843 | 16266.333333333334 | 219.8 |
DRESDEN/slidingpieces/s9_44g | 74.52422641509435 | 16457.433333333334 | 220.83333333333334 |
STANFORD/sudoku/oJ1qyQ | 75.1288017904602 | 5967.333333333333 | 79.42803813079128 |
BASE/sudokuGrade6E/ihYFZA | 77.06007988394585 | 5311.3 | 68.92414344754033 |
BASE/sudokuGrade3/eI8dvg | 77.66857637432439 | 5787.354597873546 | 74.51346307651293 |
BASE/mummymaze1p/PT_EXA | 77.93383690184794 | 89948.6367575495 | 1154.1666666666667 |
BASE/sudokuGrade6H/ieE_9A | 78.82076452614378 | 5359.633333333333 | 67.99773340888638 |
BASE/4pttc/AL1k2Q | 78.95246258629477 | 56801.03333333333 | 719.4333333333333 |
BASE/qyshinsu/R08Lzw | 79.57637498527852 | 22522.766666666666 | 283.03333333333336 |
DRESDEN/mummymaze1p/AekgaQ | 80.11837779652633 | 91796.96666666666 | 1145.7666666666667 |
BASE/englishDraughts/jFkQxg | 85.12540282253585 | 51069.566666666666 | 599.9333333333333 |
BASE/2pffa/6oHijA | 86.73625356984834 | 71878.33333333333 | 828.7 |
STANFORD/freeforall/Lfp40Q | 86.92693787205387 | 71712.33333333333 | 824.9725009166361 |
BASE/ticTacHeaven/18n58A | 87.02499330536463 | 32498.033333333333 | 373.43333333333334 |
DRESDEN/hanoi7/51zz5Q | 87.99121907980388 | 317657.1 | 3610.1 |
BASE/2pttc/unkkYA | 89.92161016949152 | 74982.63333333333 | 833.8666666666667 |
BASE/2pffa_zerosum/o0_uZA | 91.01578728707935 | 73025.0 | 802.3333333333334 |
DRESDEN/hanoi7_bugfix/3gdnFw | 94.18726539829056 | 316999.8 | 3365.633333333333 |
BASE/battle/8oAvhQ | 94.21653655660377 | 2662.3 | 28.25724758413862 |
BASE/hanoi7_bugfix/3gdnFw | 98.61957314309362 | 333616.86666666664 | 3382.866666666667 |
DRESDEN/battle/8oAvhQ | 99.92004521452145 | 2688.133333333333 | 26.90284344409669 |
BASE/knightmove/jBaJEw | 100.81670667998085 | 53826.46666666667 | 533.9042351137916 |
BASE/ticTacToeSerial/Amrwqw | 101.17764298093589 | 97299.16666666667 | 961.6666666666666 |
DRESDEN/knightmove/97Ipcw | 103.14969948571782 | 55491.1 | 537.9666666666667 |
BASE/checkersTorus/2vm1EQ | 107.05092253186604 | 45067.5 | 420.99123420991236 |
BASE/blockerSerial/3eqDuw | 107.83067542822884 | 83932.6 | 778.3740541981934 |
DRESDEN/battlesnakes1509/-qZrLw | 108.09299552906111 | 60442.0 | 559.1666666666666 |
BASE/checkersBarrelNoKings/rnKNeg | 109.78649185373008 | 49069.26666666667 | 446.9517682743909 |
DRESDEN/smallest_4player/ADDROA | 116.52449877073306 | 112170.36666666667 | 962.6333333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 117.5347005614473 | 50242.166666666664 | 427.46666666666664 |
DRESDEN/battlesnakes2011/93VtTw | 117.76992068334349 | 64341.63333333333 | 546.3333333333334 |
STANFORD/checkersonabarrelnokings/Zrevdw | 118.34988549415833 | 44119.36666666667 | 372.7875737475417 |
DRESDEN/brawl/2kXtfQ | 118.67073459638895 | 16282.866666666667 | 137.21046492251293 |
BASE/smallest_4player/ADDROA | 119.46199775217757 | 113377.4 | 949.0666666666667 |
BASE/breakthroughHoles/nZk0Sg | 121.79682655480576 | 44520.8 | 365.53333333333336 |
BASE/brawl/6Ymo_Q | 122.24044158178054 | 16396.766666666666 | 134.13536841403672 |
BASE/skirmishZeroSum/zh4hcw | 133.6503049143499 | 15859.533333333333 | 118.66440067979606 |
BASE/skirmishNew/sibw2g | 136.69131741573034 | 16218.0 | 118.64689218463589 |
BASE/breakthroughSuicideSmall/XSbJog | 141.96153018014786 | 65931.66666666667 | 464.43333333333334 |
STANFORD/chinook/osFbPA | 143.2543030605107 | 36403.26666666667 | 254.11639224051729 |
BASE/chinook/XQh0IQ | 144.46187193003618 | 39918.3 | 276.32412252924905 |
BASE/hidato19/rRHSmA | 144.51058748606908 | 30255.7 | 209.36666666666667 |
BASE/speedChess/bPnisA | 146.3274850118203 | 17192.333333333332 | 117.49216718885408 |
BASE/nonogram_5x5_1/qLKEZw | 148.01125732152894 | 58511.833333333336 | 395.3201559948002 |
BASE/tictactoe_3d_small_6player/g_9lww | 151.01510827597784 | 29986.566666666666 | 198.56666666666666 |
BASE/breakthroughWalls/vOZaYA | 153.83977428619528 | 50765.433333333334 | 329.98900036665447 |
BASE/skirmishFinal3/-Olhfw | 154.65074841704717 | 11285.366666666667 | 72.97324314418047 |
BASE/breakthroughSuicide/wZDpIg | 155.08339483394832 | 49032.2 | 316.1666666666667 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 158.08357194515852 | 30738.033333333333 | 194.44166749975008 |
BASE/hitori/S8Gsyg | 158.2270632183908 | 9171.666666666666 | 57.96522086747951 |
BASE/breakthrough/TGxk-g | 161.7487187994514 | 51105.5 | 315.95613479550684 |
BASE/gt_tinfoil/Q8DyKg | 164.3972096310426 | 324537.6666666667 | 1974.1069048253798 |
DRESDEN/skirmish3/3LU8Nw | 167.12674094311376 | 29767.866666666665 | 178.11552178115522 |
DRESDEN/quad_7x7/q-JOXg | 167.33956496545682 | 629.1589033803567 | 3.7597737481284312 |
DRESDEN/skirmishfinal/hzq8ww | 167.93901910850647 | 10503.533333333333 | 62.543733964213125 |
DRESDEN/hitori/S8Gsyg | 172.7478712643678 | 9346.433333333332 | 54.1044776119403 |
DRESDEN/skirmish/RjGQYQ | 174.0139191610185 | 31661.566666666666 | 181.94847181948472 |
BASE/skirmishHoles/AUCxCA | 176.78897391304346 | 7724.133333333333 | 43.69126174765047 |
BASE/tictactoe_3d_6player/d7KSwg | 177.99304251505805 | 13459.066666666668 | 75.61568967240977 |
DRESDEN/othello-cornercontrol/r5Gdlg | 178.1935968022844 | 608.5927604826345 | 3.4153458452152 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 180.9688719738167 | 19966.233333333334 | 110.32965567814406 |
BASE/skirmishFinal2/gdB62Q | 183.440705061082 | 10508.0 | 57.28281515545336 |
BASE/cephalopodMicro/9l2D3g | 183.5247323076923 | 3177.6 | 17.314287616954683 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 185.84702017832007 | 13201.333333333334 | 71.03333333333333 |
BASE/cittaceot/fDxhXg | 190.0621236482855 | 39290.86666666667 | 206.72644245191827 |
BASE/skirmishFinal1/ecWTnQ | 192.36271456077014 | 10652.633333333333 | 55.37784886045582 |
BASE/strangeSkirmish/gc1zKA | 198.78821453730387 | 6892.666666666667 | 34.67341704693069 |
BASE/othelloSuicide/B442jg | 204.23626666666667 | 898.4 | 4.39882697947214 |
DRESDEN/skirmish2/iPpWhQ | 204.81858500574492 | 35650.9 | 174.0608646378454 |
STANFORD/skirmish/w4V6Vw | 206.76945371360662 | 7725.966666666666 | 37.36512588250966 |
DRESDEN/CephalopodMicro/H3XQfg | 207.3183761487965 | 3155.1 | 15.218621998734557 |
BASE/skirmish/Y_psYQ | 208.15942696629213 | 7408.5 | 35.59050919754732 |
STANFORD/alquerquezero/uVgA_A | 211.93533646058145 | 55645.3 | 262.55791473617546 |
BASE/othelloHoles/c0qAzw | 219.26748858447488 | 1059.3333333333333 | 4.831237590999338 |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 230.99484913935783 | 15482.166666666666 | 67.02386102698925 |
STANFORD/madness/UO_B3A | 238.67916853080567 | 8387.4 | 35.1408966757711 |
BASE/checkersTiny/Lr48cg | 241.35868541890758 | 44873.63333333333 | 185.92093860409307 |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 262.91640850531587 | 18416.933333333334 | 70.04862662636351 |
BASE/simultaneousWin2/PfjRjw | 270.91061500815664 | 38741.5 | 143.00473238685595 |
DRESDEN/checkers/jIDMIg | 271.34856071428567 | 18232.8 | 67.19328067193281 |
DRESDEN/checkers-newgoals/IJOqXQ | 272.64412635735437 | 18412.566666666666 | 67.53333333333333 |
BASE/quad_7x7/q-JOXg | 275.5450026217764 | 626.3457884737176 | 2.2731161244592184 |
DRESDEN/ggp-course2013_michal13/jWKddg | 312.39640336134454 | 2472.0 | 7.913023240349769 |
BASE/hidato37/pBrqxw | 336.89728364779876 | 7139.366666666667 | 21.19152339064374 |
DRESDEN/cylinder-checkers/clOO3Q | 337.98857803727293 | 15912.366666666667 | 47.07959884050245 |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 364.04151201492533 | 16190.9 | 44.47542235055926 |
BASE/blokbox_simple/JBx4bg | 372.9948983301423 | 129.16555585177287 | 0.3462930898787974 |
BASE/checkersSmall/SYmq8w | 376.212382016851 | 31751.266666666666 | 84.39718676044131 |
BASE/checkers-newgoals/0XkFiA | 383.8125388543823 | 18530.733333333334 | 48.28068772491004 |
BASE/cylinder-checkers/hlldmw | 388.3116598852374 | 16537.666666666668 | 42.58864302852572 |
BASE/nonogram_10x10_1/0Xc62g | 406.0212336781609 | 15693.733333333334 | 38.652494085501985 |
BASE/checkers/rOC3Xg | 457.6125696040869 | 23870.666666666668 | 52.16348556010792 |
DRESDEN/Zhadu/9zpQ5w | 495.8156484815221 | 15055.766666666666 | 30.365654478184062 |
DRESDEN/Travelers-Dilemma/PvZwYw | 519.5651363589036 | 377018.5333333333 | 725.6424785840472 |
DRESDEN/farmers/S_ASnw | 537.9177064558629 | 45162.666666666664 | 83.95831950620561 |
DRESDEN/smallest/9kaGFw | 601.6880391847469 | 91507.6 | 152.08479152084792 |
BASE/nim1/hin2Qw | 639.6527216941934 | 273667.8333333333 | 427.8381441237251 |
BASE/quad_5x5/JAEP5g | 656.7795716333266 | 4059.564681177294 | 6.181015452538631 |
DRESDEN/nim1/M9BALA | 681.1162070913696 | 271906.1666666667 | 399.2067195520299 |
DRESDEN/quad_5x5_8_2/JRTLJg | 707.9441150214592 | 5205.8 | 7.35340528940226 |
BASE/nim2/eF2Qqw | 792.0307729597388 | 242601.16666666666 | 306.302703063027 |
DRESDEN/nim2/z5_exA | 835.2421371926619 | 243818.76666666666 | 291.9138724085061 |
DRESDEN/quad_5x5/JAEP5g | 841.6686425675674 | 4109.9 | 4.883038041505824 |
DRESDEN/nim4/F5YAYg | 980.107533538276 | 180660.46666666667 | 184.3271890936969 |
BASE/nim4/twk16w | 1004.1992505421797 | 182122.2 | 181.36062131262292 |
DRESDEN/nim3/sG_axA | 1020.1715824933359 | 182781.73333333334 | 179.16763853253806 |
BASE/nim3/1OwUqw | 1086.14967619419 | 185689.2 | 170.9609679677344 |
DRESDEN/checkers-mustjump/HUr33w | 1203.4565201890034 | 15546.566666666668 | 12.918262027634427 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1363.1126352666665 | 21020.766666666666 | 15.421151651605342 |
BASE/checkers-mustjump/T-8UuQ | 1476.0382601880879 | 15656.066666666668 | 10.60681629260183 |
DRESDEN/merrills/aYEzwA | 1591.4781341107873 | 18195.9 | 11.433333333333334 |
BASE/merrills/pku8Tg | 1613.4047400793652 | 18040.666666666668 | 11.18173649705481 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 1812.512705084746 | 3518.4 | 1.9411725998552345 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 1856.233923148148 | 13352.866666666667 | 7.19352582675592 |
DRESDEN/gt_ultimatum/pAiiQw | 1878.659744377811 | 334039.6 | 177.80739753415529 |
BASE/gt_ultimatum/GE-uOA | 1923.8789581111112 | 346228.9666666667 | 179.9640071985603 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 1941.719733649289 | 13635.4 | 7.022331680367424 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 2132.138107853403 | 13560.6 | 6.360094568945423 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 2157.6454721340388 | 13558.366666666667 | 6.283871396748346 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 2157.7738881249998 | 21952.3 | 10.173586825205062 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 2304.798829761905 | 12848.2 | 5.574542920662309 |
BASE/chess_200/XsTpYA | 2512.792583150183 | 7429.466666666666 | 2.9566573526544935 |
BASE/checkers-mustjump-torus/uSApKQ | 2693.0618532407407 | 12867.933333333332 | 4.778179646281979 |
STANFORD/selectivesukoshi/3xmXYg | 2750.031166899767 | 11547.966666666667 | 4.199213014623833 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2826.11893 | 20704.8 | 7.326230959430996 |
BASE/racer4/0vs7Ww | 3212.416899698341 | 23583.833333333332 | 7.341460983955088 |
BASE/golden_rectangle/_nYzfw | 3332.115763888889 | 15983.5 | 4.796802131912059 |
DRESDEN/satlike_20v_91c/yeuENQ | 3429.370535 | 22257.8 | 6.4903456109037805 |
BASE/copolymer_4_pie/IN5_jA | 3595.977635996055 | 80991.56666666667 | 22.52282268274805 |
BASE/copolymer_4/2LDVhQ | 4922.925977537438 | 98540.5 | 20.016652789342213 |
BASE/guess/SPpk1A | 5917.102550401167 | 179335.86666666667 | 30.30805451470637 |
DRESDEN/guess/PhxGhg | 6630.768094402673 | 174120.66666666666 | 26.25950179341209 |
DRESDEN/fizzbuzz/t1xHzQ | 20018.505960655737 | 610422.0 | 30.492884993501516 |
DRESDEN/racer/vk_ZBA | 31063.038576410254 | 65772.93333333333 | 2.117401785132582 |
BASE/battlebrushes/arCwyA | 38499.84582631579 | 11150.7 | 0.28962973125409675 |
BASE/racer/QQYQNw | 42435.60541111111 | 65698.26666666666 | 1.5481873306670106 |
DRESDEN/golden_rectangle/1uloXw | 88709.98922777778 | 15830.233333333334 | 0.17844927579335573 |
BASE/colonelBlotto/jip21A | 1565204.7033333334 | 80164.13333333333 | 0.05121638924455826 |
BASE/ad_game_2x2/D0aWqg | 2953857.403066667 | 60572.066666666666 | 0.02050609030882172 |
Games with errors:
Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | PALAMEDES_JOCULAR:0.6.1 error message |
STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive | |
BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException | |
BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/knightazons/apnJBQ | Exception of type NullPointerException | |
DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException | |
BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException | |
DRESDEN/pacman3p/rBnk8Q | Exception of type NullPointerException | |
DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | Exception of type NullPointerException | |
DRESDEN/babel/WdSW4A | Exception of type NullPointerException | |
BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException | |
BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Exception of type NullPointerException | |
DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException | |
BASE/wargame02/BkVqqQ | Exception of type NullPointerException | |
BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive | |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException | |
BASE/snakeParallel/RCVNtw | Exception of type NullPointerException | |
BASE/gt_attrition/kD_SCA | IllegalArgumentException: bound must be positive | |
BASE/pentago/86NgKw | Exception of type NullPointerException | |
BASE/gt_two_thirds_4p/DStnxQ | IllegalArgumentException: bound must be positive | |
DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException | |
BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException | |
BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException | |
BASE/slaughter/cOch8A | Exception of type NullPointerException | |
DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/ruleDepthLinear/OUBJpQ | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/tttcc4/8Bs2lg | Exception of type NullPointerException | |
DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException | |
BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException | |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Exception of type NullPointerException | |
DRESDEN/Goldrush/VeWczQ | Exception of type NullPointerException | |
BASE/wargame01/_GZFZg | Exception of type NullPointerException | |
BASE/shmup/ssTNlg | Exception of type NullPointerException | |
BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/colonelBlottoVariant2/jruwGw | IllegalArgumentException: bound must be positive | |
BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException | |
BASE/colonelBlottoVariant/X-n-KQ | IllegalArgumentException: bound must be positive | |
DRESDEN/amazons/dNB28A | Exception of type NullPointerException | |
DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException | |
BASE/asteroids/BKCmPQ | Exception of type NullPointerException | |
BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive | |
BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Exception of type NullPointerException | |
DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException | |
BASE/ttcc4/Le0qjQ | Exception of type NullPointerException | |
BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_6p/867v3Q | IllegalArgumentException: bound must be positive | |
DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | Exception of type NullPointerException | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive | |
BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException | |
BASE/wargame03/klXI8w | Exception of type NullPointerException | |
STANFORD/pilgrimage/ObRZnQ | Exception of type NullPointerException | |
BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException | |
BASE/knightThrough/gcwFjA | Exception of type NullPointerException | |
BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException | |
DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException | |
DRESDEN/queens/mW2wHQ | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException | |
DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException | |
BASE/mineClearingSmall/frsbvw | Exception of type NullPointerException | |
BASE/gt_two_thirds_2p/1APDGg | IllegalArgumentException: bound must be positive | |
STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | Exception of type StackOverflowError |