Game-by-game performance:
Game | Perf ratio | CADIAPLAYER_PROLOG:3.0 states per second | FLUXPLAYER_PROLOG:1.1 states per second |
BASE/zhadu/DlA8iQ | 0.027121650259750496 | 33.570274636510504 | 1237.7666666666667 |
BASE/queens16ug/gT-ylw | 0.06779798696897622 | 96.8374846197333 | 1428.323892035988 |
STANFORD/platformjumpers/HEQskA | 0.07126633738714923 | 389.734219269103 | 5468.7 |
DRESDEN/small_dominion/yB5GJA | 0.0805376444634353 | 13.78076655513963 | 171.10963012329225 |
DRESDEN/Zhadu/9zpQ5w | 0.09069995872719587 | 1636.2060921149105 | 18039.766666666666 |
BASE/queens12ug/u6Bkmg | 0.111000111000111 | 268.9310689310689 | 2422.8 |
BASE/choicethroughalt/tt71Lg | 0.13757571521047435 | 1915.2694910169662 | 13921.566666666668 |
BASE/chineseCheckers4/avfBcQ | 0.17239147373145966 | 4227.446929049888 | 24522.366666666665 |
BASE/queens08ug/kJ_ZFQ | 0.19073405202088894 | 1009.3333333333334 | 5291.836054648451 |
BASE/knightmove/jBaJEw | 0.1968077130892267 | 984.9766822118588 | 5004.766666666666 |
DRESDEN/knightmove/97Ipcw | 0.19798131863868723 | 986.4419201172591 | 4982.5 |
BASE/tron_10x10/7ZTgDg | 0.20373056089463565 | 1554.6 | 7630.666666666667 |
BASE/hexPie/48CH6Q | 0.20386355540370568 | 342.21215955250716 | 1678.6333333333334 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.20952945216057883 | 1583.1556503198294 | 7555.766666666666 |
BASE/catcha_mouse/cHv4dw | 0.2103759477987417 | 1043.492751208132 | 4960.133333333333 |
BASE/dotsAndBoxes/EHwA_w | 0.21046475530582942 | 1586.307938199254 | 7537.166666666667 |
DRESDEN/mummymaze1p/AekgaQ | 0.2117457002699029 | 1074.8 | 5075.9 |
DRESDEN/catcha_mouse/cHv4dw | 0.2118702588973669 | 1041.8790604697651 | 4917.533333333334 |
BASE/mummymaze1p/PT_EXA | 0.2127867437991884 | 1066.075772216854 | 5010.066666666667 |
DRESDEN/firefighter/WJmoPw | 0.21913801666574692 | 3706.266666666667 | 16912.933333333334 |
DRESDEN/cubicup_3player/awDtsQ | 0.22166279958073165 | 589.6599906846762 | 2660.1666666666665 |
BASE/firefighter/WJmoPw | 0.22259870047483774 | 3704.398533822059 | 16641.6 |
BASE/cubicup_3player/e2yA_g | 0.22342138332477499 | 594.1817215727949 | 2659.4666666666667 |
DRESDEN/cubicup/SBn_lw | 0.23047664977306612 | 1007.6976906927922 | 4372.233333333334 |
BASE/cubicup/4wNWJA | 0.23591831924974363 | 1013.3635485053487 | 4295.4 |
BASE/tictactoex9/BI26ow | 0.24300546976876142 | 514.8880895283773 | 2118.8333333333335 |
DRESDEN/tictactoex9/rFkD4w | 0.24332600502512564 | 516.5 | 2122.6666666666665 |
BASE/lightsOnSimultaneous/_VN6lw | 0.24856306021931318 | 1447.192134644226 | 5822.233333333334 |
BASE/lightsOnSimul4/9FeASw | 0.24999177425738064 | 1059.090151641393 | 4236.5 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.2572664436067823 | 3817.49100119984 | 14838.666666666666 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.25961496407726053 | 673.8566007589375 | 2595.6 |
BASE/queens06ug/7Lq3tw | 0.2612962809266452 | 2271.448570095327 | 8693.0 |
BASE/2pffa_zerosum/o0_uZA | 0.28135519123341907 | 5426.095650724879 | 19285.57147617461 |
BASE/ticTacToeLarge/TZC0dg | 0.2838320473974166 | 5432.97113525765 | 19141.5 |
DRESDEN/lightson2x2/gBHuig | 0.2851782342776412 | 4822.839238692043 | 16911.666666666668 |
DRESDEN/tictactoelarge/IwXcbg | 0.2854632203521061 | 5448.303446436904 | 19085.833333333332 |
BASE/ticTacToeLargeSuicide/727_8g | 0.28749641525666764 | 5480.333333333333 | 19062.266666666666 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.28921526962651456 | 5487.551244875513 | 18973.933333333334 |
BASE/snake2p/I3wWPQ | 0.29394233492154703 | 3563.766666666667 | 12124.033333333333 |
BASE/2pttc/unkkYA | 0.30066611397934867 | 6054.6 | 20137.28757080973 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.3113931369770989 | 836.2358895807665 | 2685.4666666666667 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.32108412795018554 | 841.8932862896515 | 2622.0333333333333 |
DRESDEN/twisty-passages/j7NPyg | 0.3243987032764736 | 3683.9581807285076 | 11356.266666666666 |
BASE/twisty-passages/DiZmmg | 0.32482004276065135 | 3723.21725813969 | 11462.4 |
BASE/onestep/xi53wA | 0.3270421833330436 | 24456.966666666667 | 74782.3 |
BASE/laikLee_hex/zbyscQ | 0.32811291429198114 | 2653.689754016399 | 8087.733333333334 |
DRESDEN/laikLee_hex/ZeP3QQ | 0.3290040974839145 | 2665.766666666667 | 8102.533333333334 |
DRESDEN/blocker/S815zQ | 0.3388128087287462 | 4860.766666666666 | 14346.466666666667 |
BASE/lightsOn/MsXu3A | 0.34279015813801106 | 9983.500549981667 | 29124.233333333334 |
BASE/lightsOnParallel/SC6enA | 0.3431549081604186 | 4587.180427319089 | 13367.666666666666 |
BASE/blocker/dIWtxg | 0.35458951734305194 | 4878.170727642412 | 13757.233333333334 |
BASE/connect5/d-BVQg | 0.359320589972113 | 776.3241119877492 | 2160.5333333333333 |
DRESDEN/connect5/1kYzSg | 0.36168427311410545 | 771.3278808431412 | 2132.6 |
BASE/bomberman2p/4CClwA | 0.36484032709050684 | 1110.1483086152307 | 3042.8333333333335 |
DRESDEN/bomberman2p/x4h6jQ | 0.3675222178007693 | 1108.3 | 3015.6 |
BASE/connectFourSuicide/c8p9Kw | 0.36801417796967656 | 5223.066666666667 | 14192.569143618794 |
DRESDEN/connectfour/5tc-Mg | 0.36884882798156987 | 5190.133333333333 | 14071.166666666666 |
STANFORD/connectfour/VMpZkQ | 0.36893010222860745 | 5178.733333333334 | 14037.166666666666 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.36923534662302887 | 4962.345884705098 | 13439.520159946684 |
BASE/3pttc/0sol9g | 0.36983151369415446 | 5478.684043865204 | 14814.0 |
DRESDEN/3pttc/uwYBZw | 0.36985635838639697 | 5724.6367151046525 | 15478.0 |
DRESDEN/connectfoursuicide/M9CNQg | 0.37200538032930114 | 5166.361121295957 | 13887.866666666667 |
DRESDEN/cube_2x2x2/fp-34Q | 0.3726770366175193 | 2641.957202853143 | 7089.133333333333 |
BASE/tictactoe2/bhrDoQ | 0.3788604692782827 | 10443.566666666668 | 27565.733333333334 |
BASE/connectFour/WAIKTw | 0.38092864855885034 | 5197.466666666666 | 13644.2 |
BASE/tictactoe-init1/7M19vA | 0.38599404056616465 | 6982.233333333334 | 18088.966666666667 |
DRESDEN/pancakes/hl9aiQ | 0.38804500723362995 | 19531.48228392387 | 50333.03333333333 |
STANFORD/tictactoe3/X7myng | 0.3881942065929623 | 6913.7 | 17809.9 |
DRESDEN/roshambo2/jgSlkQ | 0.38994955226037326 | 15292.066666666668 | 39215.5 |
DRESDEN/pancakes6/SZXMyQ | 0.3905728935656311 | 19695.666666666668 | 50427.63333333333 |
BASE/pancakes6/QZTdnw | 0.39106648766176183 | 19779.07403086564 | 50577.26666666667 |
BASE/roshambo2/KNPokQ | 0.39110416286094196 | 15343.733333333334 | 39231.833333333336 |
BASE/connectFour_9x6/B9TtMw | 0.39306233475455443 | 4977.400753308223 | 12663.133333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.3949800279872209 | 6981.166666666667 | 17674.733333333334 |
BASE/pancakes/yUgbXw | 0.4008298111597968 | 19640.3 | 48999.1 |
STANFORD/tictactoe5/WFRReg | 0.40411263438094 | 6937.9 | 17168.233333333334 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.4071643992885568 | 13689.6 | 33621.8 |
BASE/tictactoe_orthogonal/WRzlVw | 0.4084215730389156 | 7049.533333333334 | 17260.433333333334 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.40940337840589347 | 7037.466666666666 | 17189.566666666666 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.4104373174082124 | 16971.2 | 41349.066666666666 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.41504378052112256 | 2494.883503883204 | 6011.133333333333 |
DRESDEN/troublemaker01/C-lPWw | 0.41533252201469945 | 23730.466666666667 | 57136.066666666666 |
DRESDEN/pancakes88/aD3E7g | 0.41724911864340747 | 18565.833333333332 | 44495.8 |
BASE/troublemaker01/s3tlEQ | 0.41727979323485576 | 23593.333333333332 | 56540.8 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.41911111297382714 | 2514.4990333977735 | 5999.6 |
BASE/troublemaker02/DI83KA | 0.420786409736062 | 23098.733333333334 | 54894.2 |
BASE/pancakes88/l2Xaig | 0.4219951924309246 | 18652.3 | 44200.2665778074 |
DRESDEN/troublemaker02/iZLVuA | 0.4231458076951411 | 23358.466666666667 | 55201.933333333334 |
DRESDEN/tictactoe/BTTzPw | 0.423607135705024 | 6980.466666666666 | 16478.633333333335 |
BASE/ticTacToe/JRFsaQ | 0.4245994459474784 | 6989.133333333333 | 16460.533333333333 |
STANFORD/tictactoe7/-bE9-A | 0.425985657213963 | 6938.0 | 16286.933333333332 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.4283937938603115 | 17019.4 | 39728.4 |
BASE/skirmishZeroSum/zh4hcw | 0.430331002861443 | 1596.700153017098 | 3710.4 |
STANFORD/multipletictactoe/_bkafQ | 0.43254244176981105 | 616.0125274871726 | 1424.1666666666667 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.4338317503108575 | 16607.6 | 38281.2 |
DRESDEN/blocks/vg0DRw | 0.4375887593407685 | 13650.1 | 31193.9 |
BASE/connectFourSimultaneous/7ITr3g | 0.43767897447645754 | 2898.310168983102 | 6622.0 |
STANFORD/triplesukoshi/Iu9mbA | 0.43858848296761394 | 2283.247783481101 | 5205.9 |
STANFORD/threepuzzle/41ibjA | 0.4453587821550044 | 13486.8 | 30283.0 |
STANFORD/3puzzle/41ibjA | 0.4461571170405017 | 13430.4 | 30102.4 |
BASE/blocks/xIV5hQ | 0.44885385667176064 | 13951.5 | 31082.5 |
BASE/blocksWorld/SEdXLQ | 0.44899866445477093 | 13884.7 | 30923.7 |
STANFORD/tictactoe/ss1kyQ | 0.4493098118637744 | 7025.333333333333 | 15635.833333333334 |
BASE/hanoi/iGLsJg | 0.45233990257164897 | 10215.885607626158 | 22584.533333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.45246767062431253 | 12079.333333333334 | 26696.566666666666 |
DRESDEN/hanoi/RQ0jiA | 0.4535208686489211 | 10228.966666666667 | 22554.566666666666 |
BASE/eotcatcit/AfZSzA | 0.45366766911669265 | 6873.866666666667 | 15151.766666666666 |
BASE/pentagoSuicide/SBgNhw | 0.4561948347762096 | 3439.8307061685605 | 7540.266666666666 |
DRESDEN/pentago_2008/hLjVpQ | 0.45790258363742287 | 3463.5446157945576 | 7563.933333333333 |
BASE/pentago/86NgKw | 0.45965031943466844 | 3432.4081170237578 | 7467.433333333333 |
DRESDEN/eotcatcit/mQUxzA | 0.4601589001963935 | 6872.933333333333 | 14936.0 |
STANFORD/trifecta/ss1kyQ | 0.46033589950579845 | 7014.0 | 15236.7 |
BASE/hanoi7_bugfix/3gdnFw | 0.4631668719326205 | 8789.996334433003 | 18978.033333333333 |
DRESDEN/hanoi7/51zz5Q | 0.4650918201765467 | 8796.994735789965 | 18914.533333333333 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.46561781721721357 | 8863.122812864523 | 19035.188270576473 |
BASE/factoringGeorgeForman/HGRorQ | 0.46780797597252577 | 9501.616612779573 | 20310.933333333334 |
BASE/hanoi_6_disks/MeubgQ | 0.48153885149407155 | 9118.933333333332 | 18937.066666666666 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.4834447063828278 | 9091.5 | 18805.666666666668 |
BASE/eightPuzzle/vLrgFg | 0.4897202404432409 | 8233.176682331767 | 16812.0 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.49094362491993415 | 2515.231302493001 | 5123.258913695435 |
BASE/3pConnectFour/PqXOFQ | 0.492034059716812 | 3476.368242117192 | 7065.3 |
DRESDEN/mimikry/GJEhwA | 0.4934151763629327 | 1591.642228739003 | 3225.766666666667 |
DRESDEN/peg_bugfixed/u_B7MA | 0.49786794409503543 | 1916.77498916775 | 3849.9666666666667 |
STANFORD/8puzzle/jNiGtw | 0.49798183128162726 | 8234.627562072988 | 16536.0 |
BASE/maze/cCX3qQ | 0.4981571784769409 | 21810.566666666666 | 43782.5 |
DRESDEN/8puzzle/8fKC2w | 0.4991209060365848 | 8261.449236717552 | 16552.0 |
STANFORD/duikoshi/tpw1sw | 0.5017116139266928 | 4006.0 | 7984.666666666667 |
BASE/ticTacHeavenFC/mrletw | 0.5045981147714709 | 2041.9235511713932 | 4046.633333333333 |
DRESDEN/peg/Vo31eg | 0.5060926980903677 | 1919.0360321322623 | 3791.866666666667 |
BASE/peg/fJHVWw | 0.5062878844426948 | 1910.5785895213971 | 3773.7 |
BASE/dualConnect4/WbCQkg | 0.5063193746783956 | 3443.9 | 6801.833333333333 |
DRESDEN/toetictac/mJtxCA | 0.5071045199828486 | 9145.866666666667 | 18035.466666666667 |
BASE/toetictac/mTThmg | 0.5081350163254672 | 9166.4 | 18039.3 |
BASE/snakeParallel/RCVNtw | 0.5082119324912746 | 9566.7 | 18824.233333333334 |
BASE/coloredtrails/EZvr7g | 0.5095659626722585 | 3075.994933671089 | 6036.5 |
DRESDEN/tpeg/h-Scbg | 0.5124442778898103 | 1980.7679488034132 | 3865.3333333333335 |
BASE/pegEuro/5awwhg | 0.5131508880736283 | 1626.9791006966434 | 3170.5666666666666 |
DRESDEN/circlesolitaire/ruUilQ | 0.5180070443445921 | 10525.333333333334 | 20318.9 |
BASE/circlesolitaire/azuQFQ | 0.5188336195485836 | 10544.1 | 20322.7 |
BASE/tpeg/QNs7Lw | 0.5195258452048109 | 1981.8006066464452 | 3814.633333333333 |
STANFORD/breakthrough/d5j0cQ | 0.5220223117825845 | 2119.793402199267 | 4060.733333333333 |
BASE/connectFourLarge/aU644A | 0.522376888041227 | 4335.066493350665 | 8298.733333333334 |
DRESDEN/oisters_farm/pTQMLg | 0.5232739670209333 | 15793.280447970135 | 30181.666666666668 |
DRESDEN/latenttictactoe/kITHKg | 0.5277156519912516 | 2847.1666666666665 | 5395.266666666666 |
STANFORD/buttonsandlights/eyhJpA | 0.539011087400952 | 28896.6 | 53610.4 |
BASE/breakthroughSmallHoles/bxclRw | 0.5615931780020267 | 2936.439689364397 | 5228.766666666666 |
DRESDEN/hallway/0H4l-Q | 0.5739218101803452 | 205.04313205043132 | 357.26666666666665 |
DRESDEN/sum15/CsgWKg | 0.5747217383056055 | 8280.533333333333 | 14407.9 |
BASE/ticTacHeaven/18n58A | 0.5765962870030196 | 2708.676377454085 | 4697.7 |
STANFORD/pentago/ZxzLmg | 0.5788336284527511 | 3634.2455251491615 | 6278.566666666667 |
BASE/sum15/QZ07Kg | 0.5809488878262121 | 8342.0 | 14359.266666666666 |
BASE/hallway/ckCJOw | 0.5825697140029529 | 205.0839583195062 | 352.03333333333336 |
BASE/chickentictactoe/DSlZCA | 0.5837544910179641 | 6499.133333333333 | 11133.333333333334 |
BASE/numbertictactoe/rvJ-iQ | 0.5875457704441317 | 5872.833333333333 | 9995.533333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 0.5885134770647151 | 6545.8 | 11122.6 |
DRESDEN/buttons/ADUaHw | 0.6030814667677269 | 18459.6 | 30608.8 |
BASE/buttons/hTcUjw | 0.6077556334242281 | 18766.4 | 30878.2 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.608363896591824 | 18135.733333333334 | 29810.666666666668 |
BASE/ticTacToeNoVars/XT03NA | 0.6089381238223576 | 10438.6 | 17142.3 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.6121828308923942 | 18230.233333333334 | 29779.066666666666 |
BASE/speedChess/bPnisA | 0.6235556188651874 | 1772.5607725607726 | 2842.6666666666665 |
BASE/survival/YVIjJA | 0.6272771951401727 | 33865.566666666666 | 53988.2 |
BASE/switches/tPUoCg | 0.6284570208222103 | 14909.933333333332 | 23724.666666666668 |
BASE/pawnWhopping/Ypc_6Q | 0.6295373633242443 | 4632.933333333333 | 7359.266666666666 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.6298883549867526 | 4675.38830744617 | 7422.566666666667 |
BASE/asteroids/BKCmPQ | 0.6389510184852636 | 16275.381641223918 | 25472.033333333333 |
BASE/haystack/UkweGA | 0.6391826463956654 | 33800.76666666667 | 52881.23333333333 |
BASE/hodgepodge/9yjRkw | 0.6454668150498425 | 10904.0 | 16893.2 |
BASE/othello-comp2007/86ZoMw | 0.6458027901157104 | 308.5430463576159 | 477.76666666666665 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.6493138656472389 | 1856.6047798406719 | 2859.3333333333335 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.654073199527745 | 1846.6666666666667 | 2823.3333333333335 |
DRESDEN/pawn_whopping/4ogBkg | 0.6607919308484085 | 4751.049930004667 | 7189.933333333333 |
DRESDEN/blocksworldparallel/2JfVaw | 0.665630554292564 | 8051.8 | 12096.5 |
STANFORD/sukoshi/4LYZZQ | 0.6796405708773623 | 8266.966666666667 | 12163.733333333334 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.6879481450236243 | 1986.3356107315446 | 2887.3333333333335 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.6922438917105694 | 2011.1992533831078 | 2905.3333333333335 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.6926816446293261 | 2032.327945342443 | 2934.0 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.6958918872165953 | 2044.5303646423572 | 2938.0 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.7004121331030887 | 2037.2654244858504 | 2908.6666666666665 |
BASE/withConviction/3Xm54A | 0.703855902568338 | 2398.0135981869084 | 3406.9666666666667 |
STANFORD/untwistycorridor/EDPPAQ | 0.7083620761539452 | 21803.833333333332 | 30780.633333333335 |
BASE/chickentoetictac/l57rfQ | 0.7168180829527013 | 8568.7 | 11953.8 |
BASE/untwistycomplex2/EDPPAQ | 0.7238050890263922 | 21398.766666666666 | 29564.266666666666 |
DRESDEN/chickentoetictac/cxYaRQ | 0.7317579006772008 | 8644.5 | 11813.333333333334 |
STANFORD/nineboardtictactoe/y28P-A | 0.7521036871899109 | 3441.1 | 4575.3 |
STANFORD/tictictoe/rpt_Dw | 0.7532418202331703 | 6676.233333333334 | 8863.333333333334 |
BASE/blocksWorldSerial/Wyg96Q | 0.7560515963772756 | 8264.4 | 10931.0 |
DRESDEN/tictictoe/LAUtwg | 0.7633250123698376 | 6839.366666666667 | 8959.966666666667 |
BASE/ticTicToe/c1OobQ | 0.765564696150286 | 6825.566666666667 | 8915.728090636454 |
BASE/incredible/8Qh-6Q | 0.7656005073850881 | 7374.18752708243 | 9631.9 |
BASE/nineBoardTicTacToe/wRmqqA | 0.7677461656862015 | 3444.825862356274 | 4486.933333333333 |
BASE/chess_200/XsTpYA | 0.7684525945337611 | 522.855145320771 | 680.4 |
BASE/asteroidsParallel/WauZiA | 0.771324059046462 | 10409.892344098924 | 13496.133333333333 |
BASE/eotcitcit/V_9_bg | 0.775101442437145 | 6842.433333333333 | 8827.790736421193 |
DRESDEN/knightfight/4_Ly4w | 0.805665296642492 | 4717.6 | 5855.533333333334 |
BASE/knightfight/SJRkAg | 0.8148230920621964 | 4751.858147518581 | 5831.766666666666 |
DRESDEN/frogs_and_toads/GjchhQ | 0.8215352851408712 | 2376.099120703437 | 2892.266666666667 |
BASE/escortLatch/mX9BjQ | 0.8420201407508399 | 3362.467095398354 | 3993.3333333333335 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.8621234720435669 | 3511.7162761241293 | 4073.3333333333335 |
BASE/lightsOut/5P1ZBw | 0.8668856699491511 | 3224.236768430876 | 3719.3333333333335 |
DRESDEN/lightsout2/LFtfyQ | 0.8738546278633437 | 3235.0098323500983 | 3702.0 |
DRESDEN/lightsout/XgLpzQ | 0.8774783456585203 | 3233.8922035932137 | 3685.4381872709096 |
DRESDEN/grid_game/U7_Yeg | 0.8943528022118195 | 1339.919368273748 | 1498.2 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.9209607512641464 | 7649.5 | 8306.0 |
BASE/brain_teaser_extended/ZDp94A | 0.9290247225818865 | 7673.744208526383 | 8260.0 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.9363145672495802 | 2056.240421136803 | 2196.1 |
BASE/pearls/6k_mEQ | 0.9474554416321777 | 33408.1 | 35260.86666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.9518666152517776 | 2080.0506565353594 | 2185.233333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.9718145624333403 | 3171.808368869936 | 3263.8 |
BASE/ticTacToeParallel/ymRGPw | 0.9872815091949244 | 3324.9666666666667 | 3367.8 |
DRESDEN/ghostmaze2p/HY0UwA | 1.0280119771465033 | 2489.468070923877 | 2421.633333333333 |
BASE/ghostMaze2p/W-NU-w | 1.0388964465423804 | 2488.537918166067 | 2395.366666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 1.0393858477970628 | 3425.4 | 3295.6 |
BASE/reversiSuicide/9OxJlg | 1.0432482977090713 | 456.49068013423266 | 437.56666666666666 |
BASE/reversi/d8UMeA | 1.0454995009674588 | 458.6606310744242 | 438.7 |
BASE/amazons_10x10/Bun8dA | 1.055902125475616 | 1477.875811553188 | 1399.6333333333334 |
BASE/tictactoe_3player/GtM71g | 1.066840324005706 | 2866.813318668133 | 2687.2 |
BASE/amazonsSuicide_10x10/XIbQkg | 1.067758290893958 | 1479.343520090549 | 1385.4666666666667 |
DRESDEN/tictactoe_3player/ESLQQQ | 1.0678705388129295 | 2869.937668744375 | 2687.5333333333333 |
BASE/futoshiki4/BaCwSw | 1.0793232799853822 | 3347.233333333333 | 3101.233333333333 |
DRESDEN/knightazons/02I8BQ | 1.0795781689236248 | 1217.1164276444947 | 1127.4 |
BASE/knightazons/apnJBQ | 1.0824822728355872 | 1213.8595380153995 | 1121.3666666666666 |
DRESDEN/guess/PhxGhg | 1.0882021450995962 | 2437.1375241650558 | 2239.6 |
BASE/amazons_8x8/7SOsIw | 1.0900606461364153 | 2189.822832023445 | 2008.9 |
BASE/guess/SPpk1A | 1.09502479334473 | 2444.7888544478888 | 2232.633333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 1.1094694250659263 | 2133.353321340529 | 1922.8590469843386 |
BASE/aipsrovers01/4C4jsw | 1.1331963644117078 | 8445.636957536164 | 7452.933333333333 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.133447112044562 | 3814.918508149185 | 3365.766666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 1.1334978691820408 | 3818.6787547496833 | 3368.9333333333334 |
BASE/wargame02/BkVqqQ | 1.145312709272113 | 1183.2989141296382 | 1033.1666666666667 |
DRESDEN/aipsrovers01/qS47Mw | 1.1499260481390903 | 8393.386887103763 | 7299.066666666667 |
BASE/amazonsTorus_10x10/Uxc08g | 1.1556763811618487 | 1271.8989025606918 | 1100.5666666666666 |
DRESDEN/connect4/T0-rHQ | 1.1676688035922667 | 1307.2052256215425 | 1119.5 |
BASE/connect4/50bOyw | 1.1758861646748648 | 1310.2115608862237 | 1114.2333333333333 |
BASE/connectFourLarger/qKi60A | 1.1839746874116222 | 3349.780117270789 | 2829.266666666667 |
BASE/wargame01/_GZFZg | 1.226792256757532 | 2283.0194967505417 | 1860.9666666666667 |
BASE/doubletoetictac/fu35bg | 1.2285138903232469 | 3965.233333333333 | 3227.6666666666665 |
BASE/asteroidsSerial/id2QkA | 1.2302509326484798 | 9724.149421840115 | 7904.2 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.2355480457707857 | 845.9385620043979 | 684.6666666666666 |
BASE/wargame03/klXI8w | 1.2374784415564257 | 1930.3426209838688 | 1559.9 |
DRESDEN/bunk_t/7-tPfA | 1.2432702480003452 | 3976.4341188627045 | 3198.366666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 1.2472866680525407 | 4030.3989867004434 | 3231.3333333333335 |
BASE/doubletictactoe/HH1htg | 1.2486773033522094 | 4027.9 | 3225.733333333333 |
DRESDEN/doubletoetictac/V89gKQ | 1.2489492971184137 | 4001.9666011132963 | 3204.266666666667 |
BASE/bunk_t/xbpfIA | 1.2492914810680011 | 3980.867304423186 | 3186.5 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1.3085603480762533 | 2182.8967539825367 | 1668.1666666666667 |
BASE/crossers3/O0rORg | 1.3215074430904878 | 1909.181803032828 | 1444.7 |
BASE/slidingpieces/uFJWEw | 1.3247059541198722 | 1455.7193729823277 | 1098.9 |
DRESDEN/crossers3/xiPTxg | 1.3254720696765196 | 1911.7725484967668 | 1442.3333333333333 |
DRESDEN/slidingpieces/s9_44g | 1.3339328537170263 | 1440.6474820143885 | 1080.0 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.3342107427819363 | 2162.6666666666665 | 1620.9333333333334 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.3404710770696693 | 2184.5210319312046 | 1629.6666666666667 |
BASE/conn4/va9Y7A | 1.4064134079891073 | 1627.0327912556652 | 1156.8666666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.4192654455944318 | 3973.375541486171 | 2799.6 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.4410904945547132 | 3984.5671810939634 | 2764.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.4623561630177908 | 4129.645059156807 | 2823.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.4824539384657454 | 4160.9517144856545 | 2806.8 |
STANFORD/multiplesukoshi/vLSQPg | 1.4870470811050747 | 388.46626582068234 | 261.23333333333335 |
DRESDEN/fizzbuzz/t1xHzQ | 1.5274405435117884 | 9372.375174988334 | 6136.0 |
DRESDEN/golden_rectangle/1uloXw | 1.5376146676138371 | 5.535412803409814 | 3.6 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.5467966322461504 | 4350.674887518747 | 2812.7 |
DRESDEN/mummymaze2p/k-8edg | 1.5768578383383434 | 363.93878908848967 | 230.8 |
BASE/mummymaze2p/vpjDdA | 1.5772811060213572 | 363.72102304852496 | 230.6 |
DRESDEN/quarto/OQzRYQ | 1.6064669925502946 | 3046.396906872875 | 1896.3333333333333 |
DRESDEN/quartosuicide/WIU1oQ | 1.6214435843721144 | 3048.422034858533 | 1880.0666666666666 |
BASE/quarto/EwBMVQ | 1.6262085949292422 | 3068.2219630061654 | 1886.7333333333333 |
BASE/quartoSuicide/-23jUg | 1.6347940154577039 | 3074.0666666666666 | 1880.4 |
BASE/futoshiki5/TJ4BZg | 1.6593821886296418 | 1683.1666666666667 | 1014.3333333333334 |
BASE/battlebrushes/arCwyA | 1.7565445026178008 | 849.9333333333333 | 483.8666666666667 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.7765805361411675 | 305.2757554602573 | 171.83333333333334 |
STANFORD/selectivesukoshi/3xmXYg | 1.8047448694485426 | 512.0061194625515 | 283.7 |
DRESDEN/Runners/3bOCQw | 1.9686294332465608 | 15077.864071197626 | 7659.066666666667 |
BASE/futoshiki6/JmvXNA | 2.10613215559342 | 1129.8696970706835 | 536.4666666666667 |
BASE/hitori/S8Gsyg | 2.322041500963258 | 1870.9462387094625 | 805.7333333333333 |
DRESDEN/hitori/S8Gsyg | 2.3534793209087135 | 1870.8591615010332 | 794.9333333333333 |
BASE/ticTacToeSerial/Amrwqw | 2.415685928514746 | 3340.732593407326 | 1382.9333333333334 |
DRESDEN/bidding-tictactoe/yW5vTA | 2.428985308116484 | 5282.55724809173 | 2174.8 |
BASE/biddingTicTacToe/8mESVw | 2.4327457684937803 | 5267.624412519583 | 2165.3 |
DRESDEN/coins/QwFP9w | 2.604673619157976 | 7642.633333333333 | 2934.2 |
DRESDEN/javastrike/whONTQ | 2.6079214278681757 | 1358.0316182052213 | 520.7333333333333 |
BASE/coins/QnGtnQ | 2.638168446134812 | 7676.366666666667 | 2909.733333333333 |
BASE/coins_atomic/AA3SSw | 2.6591104635822367 | 7726.4 | 2905.633333333333 |
DRESDEN/battlebrushes/QHXV4A | 2.69627193281994 | 833.3277787035494 | 309.06666666666666 |
DRESDEN/backgammon/mqCW0Q | 3.171052479263454 | 1100.3552103044185 | 347.0 |
DRESDEN/blockerparallel/dVQgSg | 3.7229634888662657 | 1349.6983634969836 | 362.53333333333336 |
BASE/blockerParallel/7-nDJA | 3.7312019579148497 | 1353.4313235343132 | 362.73333333333335 |
BASE/blocksWorldParallel/RseaAQ | 3.7835728510684103 | 7029.5 | 1857.9 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 4.099278550706734 | 1653.0979347101932 | 403.26557814061977 |
BASE/tictactoe_3d_small_6player/g_9lww | 4.101087979681891 | 1665.1784226835039 | 406.03333333333336 |
BASE/hidato19/rRHSmA | 4.304742762957681 | 2653.156456236251 | 616.3333333333334 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 4.476642263048252 | 626.1330311916822 | 139.86666666666667 |
BASE/tictactoe_3d_6player/d7KSwg | 4.512219307202452 | 629.6050006649821 | 139.53333333333333 |
BASE/chomp/-LcqYQ | 4.664529355317107 | 3564.633333333333 | 764.2 |
DRESDEN/chomp/-LcqYQ | 4.810235973671249 | 3580.9 | 744.4333333333333 |
DRESDEN/amazons/dNB28A | 5.590598952458186 | 438.30295787272183 | 78.4 |
BASE/golden_rectangle/_nYzfw | 5.773278821955485 | 137.01915070774353 | 23.733333333333334 |
BASE/simultaneousWin2/PfjRjw | 5.800307783944839 | 951.830507345348 | 164.1 |
DRESDEN/quad_7x7/q-JOXg | 6.521801110012925 | 359.1338477913784 | 55.06666666666667 |
BASE/quad_7x7/q-JOXg | 6.603035114456633 | 364.48753831800616 | 55.2 |
DRESDEN/god/2EDD5w | 7.392993670732117 | 933.2422343687508 | 126.23333333333333 |
BASE/racer4/0vs7Ww | 7.395537107193655 | 893.3808825489934 | 120.8 |
BASE/god/qF06gw | 7.425144345029309 | 930.8655960551743 | 125.36666666666666 |
BASE/sudokuGrade1/tDRNRw | 7.4618926121962845 | 430.7999334774655 | 57.733333333333334 |
BASE/hidato37/pBrqxw | 7.503492616348012 | 560.0106656001067 | 74.63333333333334 |
DRESDEN/pawntoqueen/f_x6Aw | 7.5070048962708995 | 650.1066240170599 | 86.6 |
BASE/sudokuGrade5/BQfUQA | 7.536597307516026 | 417.52749083638787 | 55.4 |
BASE/sudokuGrade2/u80Tfw | 7.636135824280123 | 419.22385675297875 | 54.9 |
BASE/pawnToQueen/-O1_JA | 7.6872355145546285 | 649.3151597960476 | 84.46666666666667 |
BASE/sudokuGrade3/eI8dvg | 8.250680941896833 | 413.9091605851578 | 50.166666666666664 |
BASE/sudokuGrade4/DTy07w | 8.702561685334452 | 415.9824485589868 | 47.8 |
STANFORD/sudoku/oJ1qyQ | 8.968811473759118 | 408.6788428209572 | 45.56666666666667 |
DRESDEN/quad/JPe6fg | 9.418174342105264 | 50.23026315789474 | 5.333333333333333 |
BASE/quad/tw-Ufg | 9.572401416010692 | 52.32912774085845 | 5.466666666666667 |
BASE/sudokuGrade6H/ieE_9A | 9.918344772622655 | 383.509331208076 | 38.666666666666664 |
BASE/sudokuGrade6E/ihYFZA | 10.23846846871478 | 381.5535916007708 | 37.266666666666666 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 11.070279977144724 | 4520.733333333334 | 408.3666666666667 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 11.122651947992193 | 4523.582547248425 | 406.7 |
BASE/amazons/RKKZjw | 14.40039403942578 | 116.64319171934882 | 8.1 |
BASE/amazonsSuicide/dE1QEQ | 14.414670587058358 | 117.23932077474132 | 8.133333333333333 |
BASE/blokbox_simple/JBx4bg | 15.94852160379576 | 78.14775585859923 | 4.9 |
STANFORD/duidoku/3SoMaA | 16.772291005900662 | 400.7241803142544 | 23.892035988004 |
BASE/qyshinsu/R08Lzw | 16.795878057084188 | 2880.4930867899384 | 171.5 |
DRESDEN/checkers/jIDMIg | 20.38721022478074 | 657.8273165862586 | 32.266666666666666 |
BASE/cittaceot/fDxhXg | 22.518892265926944 | 1556.0554555755516 | 69.1 |
BASE/checkersTiny/Lr48cg | 22.653695138608818 | 2884.5705143161895 | 127.33333333333333 |
BASE/racer/QQYQNw | 30.874414521116847 | 472.3785421730878 | 15.3 |
DRESDEN/racer/vk_ZBA | 31.360310033634153 | 468.3139631689367 | 14.933333333333334 |
BASE/checkersSmall/SYmq8w | 36.02328914631123 | 1849.1955095106432 | 51.333333333333336 |
DRESDEN/stratego/Z2wovg | 37.30536929615519 | 2587.749116843298 | 69.36666666666666 |
BASE/checkers/rOC3Xg | 47.440886398191786 | 1299.8802873104548 | 27.4 |
DRESDEN/farmers/S_ASnw | 85.65444822251243 | 5082.163927869071 | 59.333333333333336 |
BASE/breakthroughSmall/HJ0tIA | 125.64262583334872 | 2910.720831805912 | 23.166666666666668 |
BASE/breakthroughSuicideSmall/XSbJog | 132.36031364928672 | 2916.338910739284 | 22.033333333333335 |
BASE/quad_5x5/JAEP5g | 176.18337639279332 | 963.1357909472702 | 5.466666666666667 |
DRESDEN/quad_5x5/JAEP5g | 179.65651144961836 | 958.1680610646312 | 5.333333333333333 |
DRESDEN/quad_5x5_8_2/JRTLJg | 204.84919894747364 | 1092.5290610531927 | 5.333333333333333 |
DRESDEN/capture_the_king/EQ229Q | 267.0016552273421 | 1359.4427038197452 | 5.091514143094842 |
DRESDEN/Thief_Police/CX18rA | 310.9095081446003 | 12933.835538815372 | 41.6 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 313.58585055643886 | 13149.7 | 41.93333333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 325.09447201048755 | 13155.489634024398 | 40.46666666666667 |
DRESDEN/catch_me/ghGWrA | 332.6313293084627 | 13123.475304939013 | 39.45351549483505 |
DRESDEN/knightthrough/J7Fc_Q | 365.4742279689768 | 1959.4189378290132 | 5.361305361305361 |
BASE/knightThrough/gcwFjA | 374.8734393487017 | 1948.6923205064134 | 5.198267244251916 |
BASE/breakthroughHoles/nZk0Sg | 411.4892706932843 | 1864.7964283334443 | 4.53182272575808 |
BASE/breakthrough/TGxk-g | 428.7022937062937 | 2042.8 | 4.765078307230923 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 437.52708892931605 | 2027.208845372498 | 4.633333333333334 |
BASE/breakthroughSuicide/wZDpIg | 438.7321956406957 | 2032.115134756971 | 4.631789403532156 |
DRESDEN/breakthrough/z4hK7Q | 439.03848905285645 | 2034.2116659449016 | 4.633333333333334 |
BASE/breakthroughWalls/vOZaYA | 442.2584106280193 | 2033.0333333333333 | 4.596935376415723 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 455.8672321076035 | 2034.850403145199 | 4.463690872751499 |
DRESDEN/merrills/aYEzwA | 565.4672663668166 | 1130.9345327336332 | 2.0 |
BASE/merrills/pku8Tg | 566.5581147650113 | 1132.7386499800293 | 1.9993335554815062 |
BASE/ttcc4_2player_small/Cv72TA | 694.3021980352825 | 6109.859342710486 | 8.8 |
BASE/blockerSerial/3eqDuw | 857.3538019839774 | 2086.227584827678 | 2.433333333333333 |
STANFORD/ttcc4/Cx9SGw | 3686.3564002312573 | 4176.47842745294 | 1.13295568143952 |
BASE/ttcc4_2player/_aH_Mw | 3815.647006727898 | 4451.588174515881 | 1.1666666666666667 |
BASE/ttcc4_2player_alt/ZEJvYA | 4135.047859554461 | 4686.387574161722 | 1.1333333333333333 |
DRESDEN/tttcc4/sAvtFg | 9224.301385666491 | 3994.534244292618 | 0.4330446369087275 |
BASE/ttcc4/Le0qjQ | 9233.999892311282 | 4001.399953334889 | 0.43333333333333335 |
BASE/tttcc4/8Bs2lg | 9251.079220053425 | 4007.46517363194 | 0.433188937020993 |
DRESDEN/crisscross/GsY16g | Infinity | 4223.744292237443 | 0.0 |
BASE/blobwars/0XT15Q | Infinity | 1288.8607510579454 | 0.0 |
BASE/crisscross/ICagEg | Infinity | 4200.013332000133 | 0.0 |
BASE/englishDraughts/jFkQxg | Infinity | 4007.463681194189 | 0.0 |
DRESDEN/ggp-course2013_nicolai/uEin8g | Infinity | 722.1556886227545 | 0.0 |
DRESDEN/blobwars/ZaMluQ | Infinity | 1302.015658837248 | 0.0 |
Games with errors:
Game | CADIAPLAYER_PROLOG:3.0 error message | FLUXPLAYER_PROLOG:1.1 error message |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
STANFORD/freeforall/Lfp40Q | Test process failed to output results for unknown reason | |
DRESDEN/max_knights/hCipiA | Test process failed to output results for unknown reason | |
STANFORD/knightstourbig/TQUI2g | Test process failed to output results for unknown reason | |
DRESDEN/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/cylinder-checkers/hlldmw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_6p/867v3Q | Test process failed to output results for unknown reason | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
BASE/slaughter/cOch8A | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes2011/93VtTw | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | Test process failed to output results for unknown reason | |
BASE/pacman3p/wW7UVQ | Test process failed to output results for unknown reason | |
DRESDEN/babel/WdSW4A | Test process failed to output results for unknown reason | |
BASE/stateSpaceMedium/3bUoIw | Test process failed to output results for unknown reason | |
BASE/gt_centipede/9fRMpw | Test process failed to output results for unknown reason | |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process failed to output results for unknown reason | |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | Test process failed to output results for unknown reason | |
BASE/sudoku/NTaNkw | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | Test process failed to output results for unknown reason | |
BASE/snake_2008_tweaked/bX0NJQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process failed to output results for unknown reason | |
DRESDEN/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
DRESDEN/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | Test process failed to output results for unknown reason | |
STANFORD/checkersonabarrelnokings/Zrevdw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump/HUr33w | Test process failed to output results for unknown reason | |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/cylinder-checkers/clOO3Q | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | Test process failed to output results for unknown reason | |
DRESDEN/2player_normal_form_2010/NG_Kdg | Test process failed to output results for unknown reason | |
BASE/ruleDepthLinear/OUBJpQ | Test process failed to output results for unknown reason | |
DRESDEN/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_2p/1APDGg | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | Test process failed to output results for unknown reason | |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | Test process failed to output results for unknown reason | |
DRESDEN/smallest/9kaGFw | Test process failed to output results for unknown reason | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes1509/-qZrLw | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
DRESDEN/knightwar/7hhAqg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | Test process failed to output results for unknown reason | |
BASE/skirmishHoles/AUCxCA | Test process failed to output results for unknown reason | |
DRESDEN/skirmishfinal/hzq8ww | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | |
BASE/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process failed to output results for unknown reason | |
BASE/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6/yTbPDA | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4_pie/IN5_jA | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | |
BASE/knightwar/DVGY4Q | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
BASE/hex/T1MK8g | Test process failed to output results for unknown reason | |
BASE/nim1/hin2Qw | Test process failed to output results for unknown reason | |
BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason | |
DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason | |
DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason | |
BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason | |
STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason | |
STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason | |
BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason | |
DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason | |
DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason | |
DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason | |
BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason | |
BASE/endgame/jYjfOA | Test process failed to output results for unknown reason | |
DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason | |
DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason | |
BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason | |
BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason | |
BASE/nim4/twk16w | Test process failed to output results for unknown reason | |
BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason | |
DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason | |
DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason | |
DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason | |
BASE/minichess/8NQEiA | Test process failed to output results for unknown reason | |
BASE/nim3/1OwUqw | Test process failed to output results for unknown reason | |
BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | Test process failed to output results for unknown reason |