Game-by-game performance:
Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | PALAMEDES_JOCULAR:0.6.1 states per second |
DRESDEN/coins/QwFP9w | 4.352296135101665E-4 | 1412.4666666666667 | 3245336.7666666666 |
BASE/blocksWorldParallel/RseaAQ | 4.410672950619101E-4 | 1416.7666666666667 | 3212132.6666666665 |
BASE/coins/QnGtnQ | 4.501107354632979E-4 | 1401.4 | 3113456.066666667 |
BASE/coins_atomic/AA3SSw | 4.712221772564299E-4 | 1415.186160461318 | 3003224.8666666667 |
BASE/minichess/8NQEiA | 0.001092809423763784 | 3159.133333333333 | 2890836.466666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.001184332411821848 | 5735.233333333334 | 4842587.5 |
BASE/snake2p/I3wWPQ | 0.001291780771237762 | 946.2333333333333 | 732503.0333333333 |
STANFORD/tictactoe3/X7myng | 0.0015393853874417843 | 6174.1 | 4010756.533333333 |
DRESDEN/blocksworldparallel/2JfVaw | 0.0016440101905005919 | 5450.833333333333 | 3315571.5 |
STANFORD/tictactoe5/WFRReg | 0.0017750912540467913 | 6595.233333333334 | 3715433.4 |
BASE/tictactoe-init1/7M19vA | 0.001827482944713666 | 6792.566666666667 | 3716897.433333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0018567540563424014 | 6879.9 | 3705337.2666666666 |
STANFORD/sukoshi/4LYZZQ | 0.0027771160941540553 | 4640.066666666667 | 1670822.0 |
BASE/hodgepodge/9yjRkw | 0.0030286556949901604 | 8527.566666666668 | 2815627.6333333333 |
STANFORD/threepuzzle/41ibjA | 0.0030769333059259786 | 16505.7 | 5364334.666666667 |
STANFORD/3puzzle/41ibjA | 0.0031033308097011382 | 16398.566666666666 | 5284182.6 |
STANFORD/tictactoe7/-bE9-A | 0.0031604547532436585 | 6833.4 | 2162157.2 |
BASE/gt_dollar/TGjqRw | 0.0032475315931703727 | 12121.933333333332 | 3732660.6333333333 |
BASE/blocksWorld/SEdXLQ | 0.003303804595908462 | 14966.6 | 4530110.533333333 |
DRESDEN/blocks/vg0DRw | 0.003331724354508337 | 14958.1 | 4489597.1 |
BASE/blocks/xIV5hQ | 0.0033811681887582924 | 15102.0 | 4466503.633333334 |
BASE/maze/cCX3qQ | 0.004026377310434484 | 26454.866666666665 | 6570389.366666666 |
BASE/gt_centipede/9fRMpw | 0.004227212230374672 | 16911.833333333332 | 4000706.0 |
BASE/duplicateStateSmall/bCPAXw | 0.004494828396695263 | 17651.666666666668 | 3927105.8 |
BASE/pearls/6k_mEQ | 0.004722813282821281 | 31264.233333333334 | 6619832.6 |
BASE/stateSpaceSmall/Q7osKA | 0.005654434640506499 | 22266.533333333333 | 3937888.533333333 |
DRESDEN/statespacesmall/h-NqjA | 0.005973623712625245 | 23076.033333333333 | 3862987.433333333 |
DRESDEN/buttons/ADUaHw | 0.006135568027590027 | 24593.366666666665 | 4008327.6 |
BASE/buttons/hTcUjw | 0.0061994052959411195 | 25212.966666666667 | 4066997.6333333333 |
DRESDEN/troublemaker02/iZLVuA | 0.006753194273227326 | 29014.0 | 4296337.233333333 |
DRESDEN/troublemaker01/C-lPWw | 0.006832916561981738 | 32438.0 | 4747313.933333334 |
BASE/troublemaker01/s3tlEQ | 0.0069275911935847605 | 31982.166666666668 | 4616635.966666667 |
BASE/troublemaker02/DI83KA | 0.00699280000597816 | 29570.633333333335 | 4228725.733333333 |
BASE/switches/tPUoCg | 0.007249895246696759 | 16599.833333333332 | 2289665.2666666666 |
BASE/haystack/UkweGA | 0.009226060769637808 | 44679.4 | 4842738.533333333 |
STANFORD/buttonsandlights/eyhJpA | 0.01139744036442087 | 46097.9 | 4044583.566666667 |
BASE/survival/YVIjJA | 0.011516144322038617 | 31294.733333333334 | 2717466.2333333334 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.014488939697457003 | 29762.166666666668 | 2054130.0666666667 |
BASE/onestep/xi53wA | 0.014810342978310314 | 40844.5 | 2757836.2 |
STANFORD/knightstourmedium/x1wu8Q | 0.1336311698242312 | 21716.766666666666 | 162512.73333333334 |
BASE/tron_10x10/7ZTgDg | 0.18648952602146657 | 4410.9 | 23652.266666666666 |
DRESDEN/snake_2008/E56l3A | 0.26234236811366185 | 1467.3333333333333 | 5593.2 |
BASE/snake_2008_tweaked/bX0NJQ | 0.2785727278239253 | 1531.5 | 5497.666666666667 |
BASE/snake_2008/i6K26g | 0.28333756746206323 | 1524.2333333333333 | 5379.566666666667 |
BASE/ticTacToeNoVars/XT03NA | 0.2946105743440177 | 5070.866666666667 | 17212.1 |
DRESDEN/snake_2009/zIYLVw | 0.30205081571160997 | 1483.6333333333334 | 4911.866666666667 |
BASE/snake_2009/7l-qAQ | 0.30688818622907926 | 1501.1333333333334 | 4891.466666666666 |
BASE/knightsTour/mvtVIg | 0.31234799734023805 | 21717.566666666666 | 69530.03333333334 |
STANFORD/knightstour/cEwgNA | 0.3126513551841784 | 21642.3 | 69221.83333333333 |
DRESDEN/knightstour/cGISAA | 0.31706899162409646 | 21218.933333333334 | 66922.13333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.3798155377194611 | 9139.4 | 24062.733333333334 |
BASE/hanoi_6_disks/MeubgQ | 0.38245568023927373 | 9138.6 | 23894.533333333333 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.38998158241365494 | 9020.3 | 23130.066666666666 |
BASE/quad/tw-Ufg | 0.40574105846641145 | 0.5939025999736043 | 1.463747845037895 |
BASE/circlesolitaire/azuQFQ | 0.4163571583601385 | 11382.066666666668 | 27337.266666666666 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.42168889920998925 | 9442.5 | 22392.1 |
DRESDEN/circlesolitaire/ruUilQ | 0.43279968060434465 | 11636.366666666667 | 26886.264450144918 |
STANFORD/untwistycorridor/EDPPAQ | 0.4342331790060719 | 27342.066666666666 | 62966.32313829787 |
BASE/snake_2009_big/-oRfVw | 0.4349604297845301 | 1254.9333333333334 | 2885.1666666666665 |
BASE/toetictac/mTThmg | 0.4367302212035053 | 8980.6 | 20563.266666666666 |
DRESDEN/toetictac/mJtxCA | 0.44570580620919037 | 9331.133333333333 | 20935.633333333335 |
DRESDEN/snake_2009_big/DgC1NQ | 0.4492618269334387 | 1250.7 | 2783.9 |
BASE/untwistycomplex2/EDPPAQ | 0.45106934749403266 | 28339.8 | 62828.03333333333 |
DRESDEN/aipsrovers01/qS47Mw | 0.4587997671071018 | 5809.766666666666 | 12662.967776333766 |
BASE/aipsrovers01/4C4jsw | 0.4599070650667602 | 5994.4 | 13033.937626354687 |
STANFORD/multiplesukoshi/vLSQPg | 0.4641956915574021 | 229.78468102126524 | 495.01683277224095 |
DRESDEN/eotcatcit/mQUxzA | 0.4750499001996008 | 6552.933333333333 | 13794.2 |
BASE/eotcatcit/AfZSzA | 0.481989458808209 | 6514.2 | 13515.233333333334 |
DRESDEN/tictactoe/BTTzPw | 0.48200379592515286 | 6958.0 | 14435.570961935871 |
DRESDEN/sum15/CsgWKg | 0.48310316983788487 | 7777.8 | 16099.666666666666 |
BASE/tictactoe2/bhrDoQ | 0.4869865311796002 | 6773.333333333333 | 13908.666666666666 |
BASE/sum15/QZ07Kg | 0.49274509189967747 | 7868.4 | 15968.5 |
BASE/ticTacToe/JRFsaQ | 0.4989720623778366 | 7050.433333333333 | 14129.916011198507 |
STANFORD/trifecta/ss1kyQ | 0.49975985162525033 | 6763.4 | 13533.3 |
BASE/tictactoe_orthogonal/WRzlVw | 0.5199402505908057 | 7773.8 | 14951.333333333334 |
BASE/blocks2player/wnTLOQ | 0.5206469332571744 | 10086.033333333333 | 19372.11705105986 |
STANFORD/tictactoe/ss1kyQ | 0.5232915990162083 | 6886.5 | 13159.966666666667 |
BASE/lightsOnParallel/SC6enA | 0.5243728942892801 | 5405.9 | 10309.266666666666 |
BASE/duplicateStateMedium/U163eQ | 0.5336325371516467 | 9314.9 | 17455.64475831973 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.5341614178582986 | 7593.033333333334 | 14214.866666666667 |
DRESDEN/blocks2player/3ev8nQ | 0.5348070905012263 | 10219.7 | 19109.133333333335 |
BASE/ticTicToe/c1OobQ | 0.53881621453804 | 4280.966666666666 | 7945.133333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 0.543037160858943 | 703.8666666666667 | 1296.1666666666667 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.5471610140222423 | 2112.3333333333335 | 3860.5333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.556398143203385 | 2257.4 | 4057.1666666666665 |
BASE/eotcitcit/V_9_bg | 0.5569538899693776 | 4419.633333333333 | 7935.366666666667 |
DRESDEN/tictictoe/LAUtwg | 0.5573458800617823 | 4426.366666666667 | 7941.866666666667 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.5596752469320563 | 1994.5333333333333 | 3563.733333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.5599213593596405 | 664.511182960568 | 1186.793773540882 |
STANFORD/tictictoe/rpt_Dw | 0.5666727719637429 | 4493.233333333334 | 7929.1498650314925 |
DRESDEN/tictactoelarge/IwXcbg | 0.5837806620262014 | 3200.9666666666667 | 5483.166666666667 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.5839631749870781 | 1995.9666666666667 | 3417.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.5842921503334213 | 2286.9 | 3913.9666666666667 |
DRESDEN/latenttictactoe/kITHKg | 0.5861017399389029 | 3677.3 | 6274.166666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 0.5865347066289173 | 3204.2 | 5462.933333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.5884842866869561 | 2391.266666666667 | 4063.4333333333334 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.590449743780596 | 2062.5 | 3493.1 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.5919809405203454 | 2186.6 | 3693.7 |
BASE/ticTacToeLarge/TZC0dg | 0.5934560993489935 | 3157.1666666666665 | 5319.966666666666 |
STANFORD/nineboardtictactoe/y28P-A | 0.5935218851480751 | 712.8 | 1200.9666666666667 |
STANFORD/rainbow/_4qNSQ | 0.5995704520579064 | 16452.033333333333 | 27439.7 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.6022929316031392 | 3308.5666666666666 | 5493.284900189956 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.6037437183533743 | 2110.4666666666667 | 3495.633333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.6158992824127276 | 2411.8 | 3915.9 |
DRESDEN/lightson2x2/gBHuig | 0.6210841241668267 | 7974.866666666667 | 12840.23589777763 |
STANFORD/multipletictactoe/_bkafQ | 0.6253715521004386 | 1002.8666666666667 | 1603.6333333333334 |
BASE/lightsOn/MsXu3A | 0.627414067217984 | 13575.4 | 21637.066666666666 |
DRESDEN/chickentoetictac/cxYaRQ | 0.6299940083571746 | 8096.2 | 12851.233333333334 |
BASE/blocker/dIWtxg | 0.632527707304046 | 6316.0 | 9985.333333333334 |
BASE/coloredtrails/EZvr7g | 0.6368769104319658 | 3951.8 | 6204.966666666666 |
DRESDEN/logistics/fPru1Q | 0.6388231768359168 | 3339.5333333333333 | 5227.633333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 0.6396397708161943 | 5857.266666666666 | 9157.133333333333 |
BASE/chickentoetictac/l57rfQ | 0.6412480721196039 | 8232.3 | 12837.933333333332 |
BASE/chickentictactoe/DSlZCA | 0.6455825437880363 | 5797.7 | 8980.57120005332 |
STANFORD/dualrainbow/G3OnRQ | 0.6541130759418119 | 7452.266666666666 | 11392.933333333332 |
DRESDEN/blocker/S815zQ | 0.6637001813496778 | 6422.166666666667 | 9676.30693366208 |
BASE/firefighter/WJmoPw | 0.6697383501447576 | 8219.966666666667 | 12273.4 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.6702723587472288 | 18097.353686175178 | 27000.0 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.6722725312634756 | 2390.4666666666667 | 3555.8 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.6777118033977148 | 18357.066666666666 | 27086.833333333332 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.6798146234145062 | 16591.8 | 24406.359364063595 |
BASE/wallmaze/uxNQ9g | 0.6840677440607681 | 1176.7333333333333 | 1720.2 |
BASE/beatMania/qUHwvQ | 0.6853547475683186 | 8433.9 | 12305.889803673212 |
DRESDEN/firefighter/WJmoPw | 0.6867529597474349 | 8323.0 | 12119.350753232902 |
BASE/breakthroughSmallHoles/bxclRw | 0.695585787584082 | 1685.5666666666666 | 2423.233333333333 |
BASE/connect5/d-BVQg | 0.7146329056689086 | 842.9333333333333 | 1179.5333333333333 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.7195354009637959 | 1941.0666666666666 | 2697.6666666666665 |
DRESDEN/connect5/1kYzSg | 0.7200503004051977 | 858.9 | 1192.8333333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.72938036636159 | 10822.4 | 14837.8 |
BASE/incredible/8Qh-6Q | 0.732403490879909 | 5840.966666666666 | 7975.066666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.7394450695064835 | 6594.1 | 8917.633333333333 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.7404169176410683 | 7949.066666666667 | 10735.933333333332 |
BASE/snakeAssemblit/UO4sdg | 0.7405221394984326 | 1007.9 | 1361.0666666666666 |
DRESDEN/oisters_farm/pTQMLg | 0.7406268250814173 | 13132.0 | 17730.92677078824 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.7431533064109036 | 12949.2 | 17424.668488038915 |
DRESDEN/statespacelarge/8-y5HQ | 0.7490553146394858 | 10744.0 | 14343.4 |
BASE/connectFourLarge/aU644A | 0.7516528723247955 | 1534.8 | 2041.9 |
STANFORD/connectfour/VMpZkQ | 0.7696236814596598 | 2159.6666666666665 | 2806.133333333333 |
BASE/connectFourLarger/qKi60A | 0.7778815718746525 | 977.2007599746676 | 1256.2333333333333 |
BASE/duplicateStateLarge/dcjyuw | 0.781226089831389 | 5513.633333333333 | 7057.666666666667 |
BASE/connectFour_9x6/B9TtMw | 0.783906976744186 | 1966.3 | 2508.3333333333335 |
BASE/tictactoe_3player/GtM71g | 0.7852938465387602 | 1987.8666666666666 | 2531.366666666667 |
BASE/3pConnectFour/PqXOFQ | 0.7895444677131165 | 1369.8333333333333 | 1734.9666666666667 |
BASE/stateSpaceLarge/0Ge_CQ | 0.8071265346149933 | 11632.2 | 14411.866666666667 |
BASE/gt_coordination/IVMOzA | 0.80756153424304 | 16689.066666666666 | 20666.0 |
BASE/connectFourSuicide/c8p9Kw | 0.8075897461699076 | 2140.1666666666665 | 2650.0666666666666 |
BASE/connectFour/WAIKTw | 0.8228489878694558 | 2191.0 | 2662.7 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.8228979339693872 | 1998.1333333333334 | 2428.1666666666665 |
STANFORD/hunter/14dD-g | 0.8245553349973468 | 6992.366666666667 | 8480.166666666666 |
BASE/kalaha5x2x3/WviNsw | 0.8312348912167606 | 4401.333333333333 | 5294.933333333333 |
BASE/connectFourSimultaneous/7ITr3g | 0.8459310979405158 | 1041.9333333333334 | 1231.7 |
BASE/dualConnect4/WbCQkg | 0.8562655749377002 | 1282.8 | 1498.1333333333334 |
BASE/eightPuzzle/vLrgFg | 0.8564116633022001 | 6971.733333333334 | 8140.633333333333 |
BASE/kalaha6x2x4/XS81Mg | 0.8606895858101067 | 3909.0333333333333 | 4541.745825417458 |
DRESDEN/lightsout/XgLpzQ | 0.8658413536168891 | 2231.1 | 2576.8 |
STANFORD/8puzzle/jNiGtw | 0.8664142622371076 | 6941.566666666667 | 8011.833333333333 |
BASE/lightsOut/5P1ZBw | 0.8684259505450678 | 2177.4333333333334 | 2507.3333333333335 |
DRESDEN/minichess/c7GMFw | 0.8747829308388708 | 2518.733333333333 | 2879.266666666667 |
BASE/kalaha_2009/dRiN3g | 0.8749457931835387 | 3967.9666666666667 | 4535.1 |
BASE/numbertictactoe/rvJ-iQ | 0.8773473931857327 | 4176.7 | 4760.6 |
BASE/pawnWhopping/Ypc_6Q | 0.882277695216238 | 1563.3666666666666 | 1771.9666666666667 |
DRESDEN/kalaha_2009/gcC8uA | 0.8838801819070169 | 3919.5666666666666 | 4434.5 |
BASE/stateSpaceMedium/3bUoIw | 0.8880503350919721 | 15968.966666666667 | 17982.05128205128 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.8969134979721625 | 1570.1666666666667 | 1750.6333333333334 |
DRESDEN/8puzzle/8fKC2w | 0.9029247651029476 | 7098.433333333333 | 7861.6 |
DRESDEN/chinesecheckers6/yTbPDA | 0.9053997984707487 | 1527.5 | 1687.1 |
DRESDEN/statespacemedium/dVJZ_w | 0.9108433734939759 | 16417.8 | 18024.833333333332 |
DRESDEN/pawn_whopping/4ogBkg | 0.9115104100023763 | 1662.2 | 1823.5666666666666 |
BASE/brain_teaser_extended/ZDp94A | 0.9119316393073982 | 6758.933333333333 | 7411.666666666667 |
BASE/withConviction/3Xm54A | 0.9257861056120804 | 1340.6 | 1448.0666666666666 |
BASE/hexPie/48CH6Q | 0.9355278766310795 | 525.7666666666667 | 562.0 |
STANFORD/duikoshi/tpw1sw | 0.936499244712991 | 1653.2333333333333 | 1765.3333333333333 |
STANFORD/eightpuzzle/W_aWbA | 0.940144621820197 | 7012.1 | 7458.533333333334 |
BASE/hex/T1MK8g | 0.9728567385542605 | 595.4333333333333 | 612.0462651244959 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.9750735294117647 | 6630.5 | 6800.0 |
BASE/checkLines/Vop7oQ | 0.9800886262924666 | 2764.6666666666665 | 2820.8333333333335 |
STANFORD/breakthrough/d5j0cQ | 0.9903409659034097 | 1650.7333333333333 | 1666.8333333333333 |
BASE/sudokuGrade1/tDRNRw | 0.9921207725677473 | 94.31132735695004 | 95.06032931137923 |
DRESDEN/chinesecheckers3/QsCb2A | 0.996670522399725 | 2125.366666666667 | 2132.4666666666667 |
BASE/knightsTourLarge/M8jgLA | 1.010581160801868 | 19505.833333333332 | 19301.6 |
STANFORD/hex/MTqWcw | 1.016753868418123 | 608.9 | 598.8666666666667 |
DRESDEN/chinesecheckers2/06E6-Q | 1.0458017375930606 | 2523.8333333333335 | 2413.3 |
BASE/ticTacHeavenFC/mrletw | 1.058118871098592 | 477.31742275257494 | 451.1 |
DRESDEN/grid_game/U7_Yeg | 1.0639931225868726 | 2351.5666666666666 | 2210.133333333333 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.0652428565452035 | 3395.0 | 3187.0666666666666 |
DRESDEN/lightsout2/LFtfyQ | 1.0668801406416777 | 2832.0333333333333 | 2654.5 |
DRESDEN/cube_2x2x2/fp-34Q | 1.0781526645220818 | 4323.5 | 4010.1 |
BASE/sudokuGrade5/BQfUQA | 1.0906076793324997 | 97.16342788573714 | 89.0910908909109 |
BASE/sudokuGrade4/DTy07w | 1.0909487786259542 | 95.26666666666667 | 87.32460087324601 |
DRESDEN/quarto/OQzRYQ | 1.0979355158296544 | 2511.9666666666667 | 2287.9 |
BASE/cubicup_3player/e2yA_g | 1.110148032723023 | 379.9540015332822 | 342.2552581580614 |
BASE/sudokuGrade2/u80Tfw | 1.1101733261829703 | 95.19365375641624 | 85.74665911287366 |
BASE/factoringGeorgeForman/HGRorQ | 1.1148040265226014 | 13433.5 | 12050.1 |
BASE/roshambo2/KNPokQ | 1.1202146285359347 | 21866.2 | 19519.652255012992 |
DRESDEN/racetrackcorridor/O0DoTA | 1.122209469617368 | 2314.0333333333333 | 2062.0333333333333 |
BASE/quartoSuicide/-23jUg | 1.123115993207808 | 2491.3333333333335 | 2218.233333333333 |
BASE/quarto/EwBMVQ | 1.131663332548835 | 2564.5 | 2266.133333333333 |
DRESDEN/minichess-evilconjuncts/th24Tw | 1.1317128642861725 | 474.68417719409354 | 419.43870408639424 |
DRESDEN/tictactoex9/rFkD4w | 1.1329089800274432 | 990.7666666666667 | 874.5333333333333 |
BASE/minichess-evilconjuncts/4OpQzw | 1.1337929736892562 | 476.11746275124165 | 419.93333333333334 |
DRESDEN/roshambo2/jgSlkQ | 1.1381466969945844 | 22441.866666666665 | 19717.903435407017 |
BASE/tictactoex9/BI26ow | 1.14005769912485 | 1000.6666444451852 | 877.7333333333333 |
DRESDEN/cubicup_3player/awDtsQ | 1.148337074066517 | 375.16248375162485 | 326.70066326700663 |
BASE/cubicup/4wNWJA | 1.1509600874225945 | 737.2666666666667 | 640.5666666666667 |
DRESDEN/pancakes88/aD3E7g | 1.1543611353131669 | 22280.4 | 19301.065601065602 |
DRESDEN/quartosuicide/WIU1oQ | 1.1548574304918129 | 2600.2 | 2251.5333333333333 |
DRESDEN/cubicup/SBn_lw | 1.1588472200428892 | 738.5333333333333 | 637.3 |
BASE/bunk_t/xbpfIA | 1.1655728161988792 | 3403.9 | 2920.366666666667 |
DRESDEN/bunk_t/7-tPfA | 1.1686244962727035 | 3412.266666666667 | 2919.9 |
BASE/pancakes88/l2Xaig | 1.1696165399500646 | 22142.166666666668 | 18931.133333333335 |
BASE/ticTacToeParallel/ymRGPw | 1.173743930899434 | 2917.0666666666666 | 2485.266666666667 |
BASE/doubletoetictac/fu35bg | 1.1751774594910724 | 3415.9666666666667 | 2906.766666666667 |
STANFORD/dualhunter/1rPZjQ | 1.178565034197114 | 3291.3 | 2792.633333333333 |
BASE/doubletictactoe/HH1htg | 1.1818668672090427 | 3457.4333333333334 | 2925.4 |
BASE/dotsAndBoxesSuicide/jzQbLw | 1.1819026000825423 | 1527.3333333333333 | 1292.2666666666667 |
STANFORD/sudoku/oJ1qyQ | 1.1830415162959855 | 93.96666666666667 | 79.42803813079128 |
DRESDEN/doubletictactoe/lJzgmQ | 1.1874905416574508 | 3400.3 | 2863.4333333333334 |
STANFORD/duidoku/3SoMaA | 1.1885701220339246 | 85.15247458756873 | 71.6427857380873 |
DRESDEN/tictactoeparallel/yk_DSg | 1.2003173399609643 | 2849.4333333333334 | 2373.9 |
DRESDEN/frogs_and_toads/GjchhQ | 1.2058980116201015 | 1736.5333333333333 | 1440.0333333333333 |
DRESDEN/doubletoetictac/V89gKQ | 1.210854841873291 | 3498.2 | 2889.0333333333333 |
BASE/dotsAndBoxes/EHwA_w | 1.2131848860073338 | 1521.9 | 1254.4666666666667 |
BASE/sheepAndWolf/g4THrg | 1.2185576771342908 | 1544.4 | 1267.4 |
BASE/point_grab/V_osUg | 1.2314607118527676 | 19910.433333333334 | 16168.143361534874 |
BASE/chineseCheckers6/rREH3A | 1.2335146053449348 | 2646.3 | 2145.3333333333335 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.239574858942396 | 1574.4666666666667 | 1270.1666666666667 |
BASE/conn4/va9Y7A | 1.2397916187849534 | 1078.8666666666666 | 870.2 |
BASE/sudokuGrade3/eI8dvg | 1.247077200449305 | 92.9240409292404 | 74.51346307651293 |
STANFORD/knightstourbig/TQUI2g | 1.2533919778796376 | 19159.433333333334 | 15286.066666666668 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.258542819564732 | 3381.0333333333333 | 2686.4666666666667 |
DRESDEN/stratego/Z2wovg | 1.259287381534914 | 1492.6333333333334 | 1185.3 |
DRESDEN/hallway/0H4l-Q | 1.2658483949285135 | 625.6666666666666 | 494.26666666666665 |
DRESDEN/connect4/T0-rHQ | 1.2662859034848108 | 1019.8666666666667 | 805.4 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.2678714355954142 | 7878.966666666666 | 6214.3261891270295 |
BASE/hallway/ckCJOw | 1.2839419843088244 | 616.4 | 480.08399720009334 |
DRESDEN/chinesecheckers4/-oVNYg | 1.291696021073912 | 1405.6666666666667 | 1088.2333333333333 |
DRESDEN/pancakes/hl9aiQ | 1.293388973505376 | 28504.266666666666 | 22038.433333333334 |
BASE/pancakes6/QZTdnw | 1.2962318011784932 | 27835.433333333334 | 21474.1169812577 |
BASE/double_tictactoe_dengji/zgaSbA | 1.3076826826826826 | 3483.6666666666665 | 2664.0 |
DRESDEN/gt_prisoner/huCp4w | 1.3238596055618617 | 14928.9 | 11276.8 |
BASE/gt_prisoner/klthDw | 1.3258167418325817 | 15267.133333333333 | 11515.266666666666 |
BASE/pancakes/yUgbXw | 1.3262632458589643 | 28751.3 | 21678.426277566792 |
BASE/sudokuGrade6E/ihYFZA | 1.3311048182890142 | 91.74525943946412 | 68.92414344754033 |
DRESDEN/point_grab/r5DPmQ | 1.333011359217173 | 21341.0 | 16009.61601147402 |
BASE/gt_staghunt/xPjLRA | 1.3343167923686687 | 15256.0 | 11433.566666666668 |
DRESDEN/pancakes6/SZXMyQ | 1.3388536868568341 | 29095.566666666666 | 21731.7 |
DRESDEN/3pttc/uwYBZw | 1.3390362178512554 | 2788.9 | 2082.766666666667 |
BASE/ticTacHeaven/18n58A | 1.3661956455419173 | 510.1829939002033 | 373.43333333333334 |
BASE/sudokuGrade6H/ieE_9A | 1.3671568627450978 | 92.96356788107063 | 67.99773340888638 |
BASE/chineseCheckers1/gqtwHw | 1.3724531328560825 | 7643.1 | 5568.933333333333 |
BASE/chineseCheckers2/eCMR3Q | 1.3835097585180285 | 5576.466666666666 | 4030.6666666666665 |
BASE/connect4/50bOyw | 1.412737686139748 | 1027.7666666666667 | 727.5 |
BASE/chineseCheckers3/-1rZdQ | 1.4136472098012873 | 4700.0 | 3324.733333333333 |
BASE/sudoku/NTaNkw | 1.4250305458528028 | 273.8726127387261 | 192.18718752083194 |
DRESDEN/knightfight/4_Ly4w | 1.4328067437931067 | 5172.766666666666 | 3610.233333333333 |
DRESDEN/mimikry/GJEhwA | 1.4529060758909438 | 1469.0333333333333 | 1011.1 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.4606613836225635 | 1456.1333333333334 | 996.9 |
DRESDEN/gt_chicken/CeuKtw | 1.4661268244301253 | 14387.933333333332 | 9813.566666666668 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 1.4785966426770139 | 9360.7 | 6330.8002533080025 |
DRESDEN/blobwars/ZaMluQ | 1.4797556903820153 | 566.6288914072395 | 382.9205693143562 |
BASE/blobwars/0XT15Q | 1.5056418622196772 | 578.8807039765342 | 384.47436837544166 |
DRESDEN/3pffa/0YrmQw | 1.5226674865908236 | 2971.3333333333335 | 1951.4 |
BASE/gt_chicken/gmepTQ | 1.534378327548297 | 14794.066666666668 | 9641.733333333334 |
BASE/futoshiki4/BaCwSw | 1.5392028748774909 | 1570.5 | 1020.3333333333334 |
BASE/knightfight/SJRkAg | 1.5530436830330863 | 5276.0 | 3397.2 |
DRESDEN/4pttc/9pB9AQ | 1.5555351906158357 | 2263.2 | 1454.9333333333334 |
BASE/crisscross/ICagEg | 1.5661808244135733 | 2292.366666666667 | 1463.6666666666667 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 1.651438596491228 | 784.4333333333333 | 475.0 |
BASE/escortLatch/mX9BjQ | 1.6590160629074537 | 1645.6333333333334 | 991.9333333333333 |
DRESDEN/endgame/IJhh3Q | 1.6781318250001973 | 838.3387220425985 | 499.56666666666666 |
BASE/rubiksCube/9tNO9Q | 1.6891925203366553 | 1598.9333333333334 | 946.5666666666667 |
DRESDEN/Runners/3bOCQw | 1.6924845232871168 | 24158.533333333333 | 14274.005464116746 |
BASE/chineseCheckers4/avfBcQ | 1.6945788964181991 | 2450.7 | 1446.2 |
DRESDEN/crisscross/GsY16g | 1.707083659851345 | 2396.233333333333 | 1403.7 |
BASE/crissrace/ERWGDA | 1.741281273692191 | 1531.1666666666667 | 879.3333333333334 |
BASE/tictactoe_3d_2player/IUC1rQ | 1.7500361978328507 | 543.7 | 310.6792880474635 |
STANFORD/triplesukoshi/Iu9mbA | 1.7519322174002894 | 1412.9333333333334 | 806.5 |
STANFORD/platformjumpers/HEQskA | 1.7562311450156165 | 780.007333088897 | 444.137057529498 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1.79421769459415 | 536.5308979401374 | 299.03333333333336 |
DRESDEN/crissrace/KWb9bw | 1.8076833073322933 | 1544.9666666666667 | 854.6666666666666 |
BASE/ghostMaze2p/W-NU-w | 1.8598243855673697 | 11381.133333333333 | 6119.466666666666 |
DRESDEN/crossers3/xiPTxg | 1.8738390556654085 | 2084.8333333333335 | 1112.6 |
BASE/nonogram_5x5_1/qLKEZw | 1.8766224170882517 | 741.8666666666667 | 395.3201559948002 |
BASE/racetrackcorridor/_RkdUg | 1.9026863452962415 | 2389.266666666667 | 1255.7333333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.9099588935106926 | 14590.04865693528 | 7638.933333333333 |
DRESDEN/catch_me/ghGWrA | 1.9221637509240028 | 14561.8 | 7575.733333333334 |
BASE/qyshinsu/R08Lzw | 1.9406430338004943 | 549.2666666666667 | 283.03333333333336 |
BASE/endgame/jYjfOA | 1.9492201801139497 | 1060.5 | 544.0637290847277 |
BASE/crossers3/O0rORg | 1.9640841138887166 | 2110.866666666667 | 1074.7333333333333 |
BASE/tictactoe_3d_small_2player/oOryKA | 1.9717648216331207 | 1606.4333333333334 | 814.7185281471852 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.975280445734091 | 1633.7 | 827.0724309189694 |
DRESDEN/vacuumcleaner_random/_6AGDA | 2.0260554885404103 | 5878.6 | 2901.5 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.0302403791897077 | 14991.633333333333 | 7384.166666666667 |
DRESDEN/Thief_Police/CX18rA | 2.05160314690107 | 14968.633333333333 | 7296.066666666667 |
DRESDEN/max_knights/hCipiA | 2.0782267733886384 | 2137.733333333333 | 1028.6333333333334 |
BASE/max_knights/2fq3Ag | 2.0809506732305283 | 2127.633333333333 | 1022.4333333333333 |
DRESDEN/ticblock/Z2yNWQ | 2.156767991686152 | 4150.7 | 1924.5 |
BASE/lightsOnSimultaneous/_VN6lw | 2.1716481337205185 | 2044.1 | 941.2666666666667 |
BASE/lightsOnSimul4/9FeASw | 2.200865973224506 | 1474.0666666666666 | 669.7666666666667 |
BASE/ticblock/T21C1g | 2.2027438220033417 | 4174.566666666667 | 1895.1666666666667 |
BASE/solitaireChineseCheckers/-ET6gw | 2.254273048889647 | 3525.8333333333335 | 1564.0666666666666 |
BASE/futoshiki5/TJ4BZg | 2.2604050538833147 | 811.0333333333333 | 358.8 |
BASE/4pffa/Q3ADlg | 2.2749060483585053 | 2138.866666666667 | 940.2 |
BASE/3pttc/0sol9g | 2.4156959329028824 | 2419.4 | 1001.5333333333333 |
DRESDEN/hanoi/RQ0jiA | 2.4760126305175594 | 12441.633333333333 | 5024.866666666667 |
DRESDEN/chomp/-LcqYQ | 2.4792684629345247 | 4735.733333333334 | 1910.1333333333334 |
BASE/chomp/-LcqYQ | 2.505124557391816 | 4820.2 | 1924.1358621379288 |
DRESDEN/brawl/2kXtfQ | 2.530250553938457 | 347.17685487634157 | 137.21046492251293 |
STANFORD/pentago/ZxzLmg | 2.5513554871547264 | 1409.0666666666666 | 552.2815906136462 |
DRESDEN/towerworld/HCX34w | 2.5576029039924473 | 109.89267382174522 | 42.96705858841555 |
BASE/pawnToQueen/-O1_JA | 2.56544204545381 | 96.8139705392255 | 37.73773440362389 |
BASE/futoshiki6/JmvXNA | 2.5688020217293905 | 509.6333333333333 | 198.39338688710376 |
BASE/hanoi/iGLsJg | 2.569196474361166 | 12524.233333333334 | 4874.766666666666 |
DRESDEN/grid_game2/kypTYQ | 2.586299950422428 | 524.4491850271658 | 202.77972202779722 |
BASE/brawl/6Ymo_Q | 2.5904179544513455 | 347.46666666666664 | 134.13536841403672 |
BASE/bomberman2p/4CClwA | 2.5928790274757856 | 10493.9 | 4047.2 |
DRESDEN/blockerparallel/dVQgSg | 2.611243335140753 | 1284.1666666666667 | 491.7836072130929 |
BASE/3pffa/pR0dzA | 2.637186485179299 | 2544.5333333333333 | 964.8666666666667 |
DRESDEN/pawntoqueen/f_x6Aw | 2.6425987361712115 | 97.16018932071195 | 36.76690978119692 |
BASE/blockerParallel/7-nDJA | 2.656005654048874 | 1293.3 | 486.93420438637423 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 2.6859849336252433 | 3434.9666666666667 | 1278.8480767948804 |
DRESDEN/twisty-passages/j7NPyg | 2.736848192213725 | 6310.533333333334 | 2305.766666666667 |
BASE/4pttc/AL1k2Q | 2.7791780568039663 | 1999.4333333333334 | 719.4333333333333 |
BASE/twisty-passages/DiZmmg | 2.8232928736316927 | 6319.0 | 2238.1666666666665 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 2.8235607675906182 | 353.10979268048794 | 125.05832944470369 |
BASE/pacman3p/wW7UVQ | 2.853622629694034 | 3063.1666666666665 | 1073.4308856371454 |
BASE/breakthroughWalls/vOZaYA | 2.869994653198653 | 947.0666666666667 | 329.98900036665447 |
BASE/four_way_battle/xSOQXA | 3.016975022849106 | 343.4323234343232 | 113.83333333333333 |
BASE/breakthrough/TGxk-g | 3.021832974645708 | 954.7666666666667 | 315.95613479550684 |
BASE/pacman2p/4LEdQg | 3.038843632028611 | 3058.9 | 1006.6 |
BASE/breakthroughSuicide/wZDpIg | 3.0393252503953607 | 960.9333333333333 | 316.1666666666667 |
DRESDEN/four_way_battle/xSOQXA | 3.0440724927536236 | 350.03333333333336 | 114.98850114988501 |
DRESDEN/quad/JPe6fg | 3.107039134554182 | 4.9606455453403 | 1.5965828979016339 |
DRESDEN/hanoi7/51zz5Q | 3.1556558913418837 | 11392.233333333334 | 3610.1 |
BASE/checkersTorus/2vm1EQ | 3.1641988995328947 | 1332.1 | 420.99123420991236 |
BASE/englishDraughts/jFkQxg | 3.2138015335037227 | 1928.0666666666666 | 599.9333333333333 |
DRESDEN/javastrike/whONTQ | 3.2373505222321697 | 723.2 | 223.39255358154728 |
DRESDEN/hanoi7_bugfix/3gdnFw | 3.2904851984272403 | 11074.566666666668 | 3365.633333333333 |
BASE/ticTacToeSerial/Amrwqw | 3.30842287694974 | 3181.6 | 961.6666666666666 |
BASE/breakthroughSuicideSmall/XSbJog | 3.3326634608483454 | 1547.8 | 464.43333333333334 |
BASE/hanoi7_bugfix/3gdnFw | 3.3350905543621776 | 11282.166666666666 | 3382.866666666667 |
BASE/2pttc/unkkYA | 3.3811160857051488 | 2819.4 | 833.8666666666667 |
BASE/2pffa/6oHijA | 3.3917380636338037 | 2810.733333333333 | 828.7 |
BASE/2pffa_zerosum/o0_uZA | 3.4346489405899456 | 2755.733333333333 | 802.3333333333334 |
STANFORD/freeforall/Lfp40Q | 3.445892637037037 | 2842.766666666667 | 824.9725009166361 |
STANFORD/chinook/osFbPA | 3.449747722644992 | 876.6374454184861 | 254.11639224051729 |
DRESDEN/tpeg/h-Scbg | 3.4864467162329618 | 1500.5666666666666 | 430.4 |
DRESDEN/slidingpieces/s9_44g | 3.512788567425111 | 775.740808639712 | 220.83333333333334 |
BASE/chinook/XQh0IQ | 3.51712567752312 | 971.8666666666667 | 276.32412252924905 |
BASE/slidingpieces/uFJWEw | 3.5285107673642706 | 775.5666666666667 | 219.8 |
BASE/nonogram_10x10_1/0Xc62g | 3.6062538934185993 | 139.3907072861809 | 38.652494085501985 |
BASE/checkersTorusNoKings/pwb6oQ | 3.609950093574548 | 1543.1333333333334 | 427.46666666666664 |
BASE/breakthroughHoles/nZk0Sg | 3.6113441546598573 | 1320.0666666666666 | 365.53333333333336 |
BASE/tpeg/QNs7Lw | 3.6133110687022905 | 1514.7 | 419.2 |
DRESDEN/pentago_2008/hLjVpQ | 3.6262877117597667 | 815.7666666666667 | 224.9591680277324 |
BASE/checkersBarrelNoKings/rnKNeg | 3.6613943222213936 | 1636.4666666666667 | 446.9517682743909 |
DRESDEN/ggp-course2013_michal13/jWKddg | 3.6752767667130812 | 29.082550469718168 | 7.913023240349769 |
BASE/battle/8oAvhQ | 3.6843305744382913 | 104.10904122371447 | 28.25724758413862 |
BASE/blockerSerial/3eqDuw | 3.7049881751741465 | 2883.866666666667 | 778.3740541981934 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 3.8658610271903324 | 426.5191160294657 | 110.32965567814406 |
DRESDEN/battle/8oAvhQ | 3.9083466310038326 | 105.14563753915884 | 26.90284344409669 |
DRESDEN/othello-cornercontrol/r5Gdlg | 3.917591573804342 | 13.379930104842735 | 3.4153458452152 |
BASE/skirmishFinal3/-Olhfw | 3.942409545252601 | 287.690410319656 | 72.97324314418047 |
STANFORD/checkersonabarrelnokings/Zrevdw | 3.9889562798044826 | 1487.0333333333333 | 372.7875737475417 |
DRESDEN/battlesnakes1509/-qZrLw | 4.0 | 2236.6666666666665 | 559.1666666666666 |
BASE/peg/fJHVWw | 4.127380351363847 | 1388.6333333333334 | 336.44423705086325 |
DRESDEN/peg_bugfixed/u_B7MA | 4.244350939912723 | 1404.8333333333333 | 330.98896703443216 |
DRESDEN/peg/Vo31eg | 4.246271727319324 | 1380.7 | 325.155828139062 |
DRESDEN/battlesnakes2011/93VtTw | 4.248200122025625 | 2320.9333333333334 | 546.3333333333334 |
DRESDEN/skirmishfinal/hzq8ww | 4.30244587655993 | 269.09103029899 | 62.543733964213125 |
BASE/pegEuro/5awwhg | 4.3913110912799596 | 1148.0666666666666 | 261.4405226144052 |
DRESDEN/skirmish/RjGQYQ | 4.400513280820663 | 800.6666666666666 | 181.94847181948472 |
STANFORD/skirmish/w4V6Vw | 4.430752625998433 | 165.55562962469168 | 37.36512588250966 |
DRESDEN/skirmish3/3LU8Nw | 4.456471051646706 | 793.7666666666667 | 178.11552178115522 |
DRESDEN/mummymaze2p/k-8edg | 4.500122156054359 | 9823.766666666666 | 2183.0 |
BASE/skirmishHoles/AUCxCA | 4.513187450356093 | 197.18685420971934 | 43.69126174765047 |
BASE/skirmishFinal2/gdB62Q | 4.640989495406531 | 265.8489434037731 | 57.28281515545336 |
BASE/mummymaze2p/vpjDdA | 4.6926908062996375 | 10458.6 | 2228.7 |
DRESDEN/skirmish2/iPpWhQ | 4.758871760500447 | 828.3333333333334 | 174.0608646378454 |
STANFORD/madness/UO_B3A | 4.759092947383967 | 167.23879353441095 | 35.1408966757711 |
BASE/skirmishFinal1/ecWTnQ | 4.843532171069629 | 268.22439252024935 | 55.37784886045582 |
BASE/strangeSkirmish/gc1zKA | 4.870355132934136 | 168.87185469088485 | 34.67341704693069 |
BASE/skirmishZeroSum/zh4hcw | 5.018073350182533 | 595.4666666666667 | 118.66440067979606 |
BASE/skirmish/Y_psYQ | 5.11491401645823 | 182.04239434742036 | 35.59050919754732 |
BASE/othelloSuicide/B442jg | 5.1713127948931445 | 22.747710241465445 | 4.39882697947214 |
BASE/hitori/S8Gsyg | 5.218298665146461 | 302.47983467768813 | 57.96522086747951 |
DRESDEN/knightmove/97Ipcw | 5.229754012020571 | 2813.4333333333334 | 537.9666666666667 |
BASE/skirmishNew/sibw2g | 5.275703309889671 | 625.9458018066065 | 118.64689218463589 |
BASE/othelloHoles/c0qAzw | 5.343405734707166 | 25.815262649478697 | 4.831237590999338 |
BASE/knightmove/jBaJEw | 5.388419515696187 | 2876.9 | 533.9042351137916 |
DRESDEN/hitori/S8Gsyg | 5.63587383751132 | 304.92600986535126 | 54.1044776119403 |
BASE/hidato19/rRHSmA | 5.758000318420633 | 1205.5333333333333 | 209.36666666666667 |
BASE/tictactoe_3d_small_6player/g_9lww | 5.802753063622629 | 1152.2333333333333 | 198.56666666666666 |
BASE/speedChess/bPnisA | 5.833864075650117 | 685.4333333333333 | 117.49216718885408 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 5.842712013710368 | 1136.0666666666666 | 194.44166749975008 |
BASE/tictactoe_3d_6player/d7KSwg | 5.9344397019631625 | 448.73675088327445 | 75.61568967240977 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 6.441107461285782 | 457.53333333333336 | 71.03333333333333 |
STANFORD/alquerquezero/uVgA_A | 6.545984346832551 | 1718.7 | 262.55791473617546 |
BASE/smallest_4player/ADDROA | 6.587489463332396 | 6251.966666666666 | 949.0666666666667 |
DRESDEN/smallest_4player/ADDROA | 6.664739083763288 | 6415.7 | 962.6333333333333 |
BASE/cephalopodMicro/9l2D3g | 6.682119762674578 | 115.6961434618846 | 17.314287616954683 |
BASE/checkersTiny/Lr48cg | 6.690478271782001 | 1243.9 | 185.92093860409307 |
DRESDEN/checkers/jIDMIg | 6.840961805555556 | 459.6666666666667 | 67.19328067193281 |
DRESDEN/checkers-newgoals/IJOqXQ | 6.8763749336029045 | 464.3845205159828 | 67.53333333333333 |
DRESDEN/Zhadu/9zpQ5w | 7.327478034030149 | 222.50366617784294 | 30.365654478184062 |
DRESDEN/CephalopodMicro/H3XQfg | 7.681520668157345 | 116.90215942415355 | 15.218621998734557 |
DRESDEN/cylinder-checkers/clOO3Q | 8.534482236376505 | 401.8 | 47.07959884050245 |
BASE/gt_tinfoil/Q8DyKg | 8.925977255974386 | 17620.833333333332 | 1974.1069048253798 |
BASE/cittaceot/fDxhXg | 9.136873401053423 | 1888.8333333333333 | 206.72644245191827 |
DRESDEN/quad_7x7/q-JOXg | 9.257500715300575 | 34.80610816266727 | 3.7597737481284312 |
BASE/cylinder-checkers/hlldmw | 9.410959624413147 | 400.8 | 42.58864302852572 |
BASE/checkers-newgoals/0XkFiA | 9.526928640441684 | 459.96666666666664 | 48.28068772491004 |
BASE/checkersSmall/SYmq8w | 9.678442667193261 | 816.8333333333334 | 84.39718676044131 |
BASE/checkers/rOC3Xg | 11.907677470776518 | 621.1459618012733 | 52.16348556010792 |
BASE/simultaneousWin2/PfjRjw | 12.0068287578653 | 1717.0333333333333 | 143.00473238685595 |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 12.501315759849907 | 875.7 | 70.04862662636351 |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 13.100806984442238 | 878.0666666666667 | 67.02386102698925 |
BASE/mummymaze1p/PT_EXA | 13.50853429602888 | 15591.1 | 1154.1666666666667 |
BASE/blokbox_simple/JBx4bg | 13.687272124627112 | 4.739807756049055 | 0.3462930898787974 |
DRESDEN/mummymaze1p/AekgaQ | 14.037965845285544 | 16084.233333333334 | 1145.7666666666667 |
BASE/hidato37/pBrqxw | 14.56194101706044 | 308.5897136762108 | 21.19152339064374 |
BASE/quad_7x7/q-JOXg | 15.491732206423919 | 35.214506274226395 | 2.2731161244592184 |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 19.347764552238804 | 860.5 | 44.47542235055926 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 21.29594620535462 | 41.33910726182545 | 1.9411725998552345 |
DRESDEN/farmers/S_ASnw | 24.28903625823452 | 2039.2666666666667 | 83.95831950620561 |
DRESDEN/Travelers-Dilemma/PvZwYw | 29.74499697902312 | 21584.233333333334 | 725.6424785840472 |
DRESDEN/smallest/9kaGFw | 30.178340784571557 | 4589.666666666667 | 152.08479152084792 |
BASE/nim1/hin2Qw | 35.76664106159759 | 15302.333333333334 | 427.8381441237251 |
DRESDEN/checkers-mustjump/HUr33w | 39.04291967353952 | 504.3666666666667 | 12.918262027634427 |
DRESDEN/nim1/M9BALA | 39.088186401714395 | 15604.266666666666 | 399.2067195520299 |
BASE/checkers-mustjump/T-8UuQ | 45.17849529780564 | 479.2 | 10.60681629260183 |
BASE/nim2/eF2Qqw | 46.320083122959744 | 14187.966666666667 | 306.302703063027 |
BASE/quad_5x5/JAEP5g | 46.5195266187667 | 287.5379128753791 | 6.181015452538631 |
DRESDEN/nim2/z5_exA | 49.63918482910862 | 14490.366666666667 | 291.9138724085061 |
BASE/guess/SPpk1A | 49.66116622902991 | 1505.1333333333334 | 30.30805451470637 |
BASE/merrills/pku8Tg | 49.95181638786644 | 558.5480483983868 | 11.18173649705481 |
DRESDEN/merrills/aYEzwA | 50.73300277745844 | 580.0473317556082 | 11.433333333333334 |
DRESDEN/quad_5x5_8_2/JRTLJg | 52.43894267003988 | 385.6047984005331 | 7.35340528940226 |
STANFORD/selectivesukoshi/3xmXYg | 52.82383738519996 | 221.81854543030465 | 4.199213014623833 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 56.21876869507194 | 394.78684043865206 | 7.022331680367424 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 56.91228611111111 | 409.4 | 7.19352582675592 |
DRESDEN/guess/PhxGhg | 57.57154160401003 | 1511.8 | 26.25950179341209 |
DRESDEN/quad_5x5/JAEP5g | 60.008454447914794 | 293.0235658811373 | 4.883038041505824 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 60.38720261307202 | 931.240209312402 | 15.421151651605342 |
DRESDEN/nim4/F5YAYg | 61.63514666063893 | 11361.033333333333 | 184.3271890936969 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 62.38900942408377 | 396.8 | 6.360094568945423 |
BASE/nim4/twk16w | 62.5058511486859 | 11336.1 | 181.36062131262292 |
DRESDEN/nim3/sG_axA | 64.22941903787738 | 11507.833333333334 | 179.16763853253806 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 65.11161709071779 | 409.1530282323923 | 6.283871396748346 |
BASE/nim3/1OwUqw | 66.69982512510562 | 11403.066666666668 | 170.9609679677344 |
BASE/gt_ultimatum/GE-uOA | 67.21399566666666 | 12096.1 | 179.9640071985603 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 68.39196748997256 | 381.2539582013933 | 5.574542920662309 |
DRESDEN/gt_ultimatum/pAiiQw | 71.37385832083957 | 12690.8 | 177.80739753415529 |
BASE/checkers-mustjump-torus/uSApKQ | 76.62355884433482 | 366.12112929569014 | 4.778179646281979 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 84.21153208333332 | 856.7333333333333 | 10.173586825205062 |
BASE/chess_200/XsTpYA | 96.5810758688996 | 285.5571480950635 | 2.9566573526544935 |
BASE/copolymer_4_pie/IN5_jA | 105.87778895463511 | 2384.6666666666665 | 22.52282268274805 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 118.54172082069739 | 868.4640250608192 | 7.326230959430996 |
BASE/golden_rectangle/_nYzfw | 120.28152314814815 | 576.9666666666667 | 4.796802131912059 |
BASE/copolymer_4/2LDVhQ | 133.8602093732668 | 2679.4333333333334 | 20.016652789342213 |
DRESDEN/satlike_20v_91c/yeuENQ | 138.7008662335499 | 900.2165583874729 | 6.4903456109037805 |
BASE/racer4/0vs7Ww | 213.75400211161386 | 1569.2666666666667 | 7.341460983955088 |
BASE/battlebrushes/arCwyA | 1024.3772593545127 | 296.6901103296557 | 0.28962973125409675 |
DRESDEN/fizzbuzz/t1xHzQ | 1025.3506680874318 | 31265.9 | 30.492884993501516 |
DRESDEN/racer/vk_ZBA | 1535.0889107692306 | 3250.4 | 2.117401785132582 |
BASE/racer/QQYQNw | 2166.8566416666667 | 3354.7 | 1.5481873306670106 |
DRESDEN/golden_rectangle/1uloXw | 3087.898961111111 | 551.0333333333333 | 0.17844927579335573 |
BASE/colonelBlotto/jip21A | 88189.21833333334 | 4516.733333333334 | 0.05121638924455826 |
BASE/ad_game_2x2/D0aWqg | 89435.21846666667 | 1833.9666666666667 | 0.02050609030882172 |
Games with errors:
Game | ALLOY_TUPLE_PROVER:2 error message | PALAMEDES_JOCULAR:0.6.1 error message |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/laikLee_hex/zbyscQ | 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 | |
BASE/amazonsTorus/soxT8g | 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/alexChess/LNo83g | Exception of type StackOverflowError | |
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 |