Gdl-perf analysis

Analysis generated 2016-03-25T21:54:52.135

Engines (15)

• ALLOY_COMPILED_PROVER_CACHING:2
• ALLOY_DIFF_PROP_NET:1
• ALLOY_TUPLE_PROVER:2
• CADIAPLAYER_PROLOG:3.0
• FLUXPLAYER_PROLOG:1.1
• GGP_BASE_PROVER:2015-04-26
• PALAMEDES_JAVA_ECLIPSE:0.6.1
• PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
• PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
• PALAMEDES_JOCULAR:0.6.1
• REKKURA_BACKWARD_PROVER:1.0.0
• REKKURA_BACKWARD_PROVER_OSTD:1.0.0
• REKKURA_GENERIC_FORWARD_PROVER:1.0.0
• REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
• SANCHO_DEAD_RECKONING_PROPNET:1.61c

Games (556)

• BASE/2pffa/6oHijA
• BASE/2pffa_zerosum/o0_uZA
• BASE/2pttc/unkkYA
• BASE/3pConnectFour/PqXOFQ
• BASE/3pffa/pR0dzA
• BASE/3pttc/0sol9g
• BASE/4pffa/Q3ADlg
• BASE/4pttc/AL1k2Q
• BASE/ad_game_2x2/D0aWqg
• BASE/aipsrovers01/4C4jsw
• BASE/alexChess/LNo83g
• BASE/amazonsSuicide_10x10/XIbQkg
• BASE/amazonsSuicide/dE1QEQ
• BASE/amazonsTorus_10x10/Uxc08g
• BASE/amazonsTorus/soxT8g
• BASE/amazons_10x10/Bun8dA
• BASE/amazons_8x8/7SOsIw
• BASE/amazons/RKKZjw
• BASE/asteroidsParallel/WauZiA
• BASE/asteroidsSerial/id2QkA
• BASE/asteroids/BKCmPQ
• BASE/battle/8oAvhQ
• BASE/battlebrushes/arCwyA
• BASE/beatMania/qUHwvQ
• BASE/biddingTicTacToe_10coins/a-9ccQ
• BASE/biddingTicTacToe/8mESVw
• BASE/blobwars/0XT15Q
• BASE/blockerParallel/7-nDJA
• BASE/blockerSerial/3eqDuw
• BASE/blocker/dIWtxg
• BASE/blocks2player/wnTLOQ
• BASE/blocksWorldParallel/RseaAQ
• BASE/blocksWorldSerial/Wyg96Q
• BASE/blocksWorld/SEdXLQ
• BASE/blocks/xIV5hQ
• BASE/blokbox_simple/JBx4bg
• BASE/bomberman2p/4CClwA
• BASE/brain_teaser_extended/ZDp94A
• BASE/brawl/6Ymo_Q
• BASE/breakthroughHoles/nZk0Sg
• BASE/breakthroughSmallHoles/bxclRw
• BASE/breakthroughSmall/HJ0tIA
• BASE/breakthroughSuicideSmall/XSbJog
• BASE/breakthroughSuicide/wZDpIg
• BASE/breakthroughWalls/vOZaYA
• BASE/breakthrough/TGxk-g
• BASE/bunk_t/xbpfIA
• BASE/buttons/hTcUjw
• BASE/catcha_mouse/cHv4dw
• BASE/cephalopodMicro/9l2D3g
• BASE/checkLines/Vop7oQ
• BASE/checkers-cylinder-mustjump/rjr6qQ
• BASE/checkers-mustjump-torus/uSApKQ
• BASE/checkers-mustjump/T-8UuQ
• BASE/checkers-newgoals/0XkFiA
• BASE/checkers-suicide-cylinder-mustjump/YeW5Tw
• BASE/checkersBarrelNoKings/rnKNeg
• BASE/checkersSmall/SYmq8w
• BASE/checkersTiny/Lr48cg
• BASE/checkersTorusNoKings/pwb6oQ
• BASE/checkersTorus/2vm1EQ
• BASE/checkers/rOC3Xg
• BASE/chess_200/XsTpYA
• BASE/chickentictactoe/DSlZCA
• BASE/chickentoetictac/l57rfQ
• BASE/chineseCheckers1/gqtwHw
• BASE/chineseCheckers2/eCMR3Q
• BASE/chineseCheckers3/-1rZdQ
• BASE/chineseCheckers4/avfBcQ
• BASE/chineseCheckers6/rREH3A
• BASE/chinook/XQh0IQ
• BASE/choicethroughalt/tt71Lg
• BASE/chomp/-LcqYQ
• BASE/circlesolitaire/azuQFQ
• BASE/cittaceot/fDxhXg
• BASE/coins/QnGtnQ
• BASE/coins_atomic/AA3SSw
• BASE/colonelBlottoVariant2/jruwGw
• BASE/colonelBlottoVariant/X-n-KQ
• BASE/colonelBlotto/jip21A
• BASE/coloredtrails/EZvr7g
• BASE/conn4/va9Y7A
• BASE/connect4/50bOyw
• BASE/connect5/d-BVQg
• BASE/connectFourLarge/aU644A
• BASE/connectFourLarger/qKi60A
• BASE/connectFourSimultaneous/7ITr3g
• BASE/connectFourSuicide/c8p9Kw
• BASE/connectFour_9x6/B9TtMw
• BASE/connectFour/WAIKTw
• BASE/copolymer_4/2LDVhQ
• BASE/copolymer_4_pie/IN5_jA
• BASE/crisscross/ICagEg
• BASE/crissrace/ERWGDA
• BASE/crossers3/O0rORg
• BASE/cubicup_3player/e2yA_g
• BASE/cubicup/4wNWJA
• BASE/cylinder-checkers/hlldmw
• BASE/dotsAndBoxesSuicide/jzQbLw
• BASE/dotsAndBoxes/EHwA_w
• BASE/double_tictactoe_dengji/zgaSbA
• BASE/doubletictactoe/HH1htg
• BASE/doubletoetictac/fu35bg
• BASE/dualConnect4/WbCQkg
• BASE/duplicateStateLarge/dcjyuw
• BASE/duplicateStateMedium/U163eQ
• BASE/duplicateStateSmall/bCPAXw
• BASE/eightPuzzle/vLrgFg
• BASE/endgame/jYjfOA
• BASE/englishDraughts/jFkQxg
• BASE/eotcatcit/AfZSzA
• BASE/eotcitcit/V_9_bg
• BASE/escortLatch/mX9BjQ
• BASE/factoringEasyTurtleBrain/lUj94Q
• BASE/factoringGeorgeForman/HGRorQ
• BASE/factoringImpossibleTurtleBrain/kcBhdw
• BASE/factoringMediumTurtleBrain/8RBqmQ
• BASE/factoringMutuallyAssuredDestruction/NH0LGg
• BASE/firefighter/WJmoPw
• BASE/four_way_battle/xSOQXA
• BASE/futoshiki4/BaCwSw
• BASE/futoshiki5/TJ4BZg
• BASE/futoshiki6/JmvXNA
• BASE/ghostMaze2p/W-NU-w
• BASE/god/qF06gw
• BASE/golden_rectangle/_nYzfw
• BASE/gt_attrition/kD_SCA
• BASE/gt_centipede/9fRMpw
• BASE/gt_chicken/gmepTQ
• BASE/gt_coordination/IVMOzA
• BASE/gt_dollar/TGjqRw
• BASE/gt_prisoner/klthDw
• BASE/gt_staghunt/xPjLRA
• BASE/gt_tinfoil/Q8DyKg
• BASE/gt_two_thirds_2p/1APDGg
• BASE/gt_two_thirds_4p/DStnxQ
• BASE/gt_two_thirds_6p/867v3Q
• BASE/gt_ultimatum/GE-uOA
• BASE/guess/SPpk1A
• BASE/hallway/ckCJOw
• BASE/hanoi7_bugfix/3gdnFw
• BASE/hanoi_6_disks/MeubgQ
• BASE/hanoi/iGLsJg
• BASE/haystack/UkweGA
• BASE/hexPie/48CH6Q
• BASE/hex/T1MK8g
• BASE/hidato19/rRHSmA
• BASE/hidato37/pBrqxw
• BASE/hitori/S8Gsyg
• BASE/hodgepodge/9yjRkw
• BASE/incredible/8Qh-6Q
• BASE/kalaha5x2x3/WviNsw
• BASE/kalaha6x2x4/XS81Mg
• BASE/kalaha_2009/dRiN3g
• BASE/kitten_escapes_from_fire/uW-YiA
• BASE/knightThrough/gcwFjA
• BASE/knightazons/apnJBQ
• BASE/knightfight/SJRkAg
• BASE/knightmove/jBaJEw
• BASE/knightsTourLarge/M8jgLA
• BASE/knightsTour/mvtVIg
• BASE/knightwar/DVGY4Q
• BASE/laikLee_hex/zbyscQ
• BASE/lightsOnParallel/SC6enA
• BASE/lightsOnSimul4/9FeASw
• BASE/lightsOnSimultaneous/_VN6lw
• BASE/lightsOn/MsXu3A
• BASE/lightsOut/5P1ZBw
• BASE/majorities/ibJzSQ
• BASE/max_knights/2fq3Ag
• BASE/maze/cCX3qQ
• BASE/merrills/pku8Tg
• BASE/mineClearingSmall/frsbvw
• BASE/minichess-evilconjuncts/4OpQzw
• BASE/minichess/8NQEiA
• BASE/mummyMaze2p_2007/YGA3Vw
• BASE/mummymaze1p/PT_EXA
• BASE/mummymaze2p/vpjDdA
• BASE/nim1/hin2Qw
• BASE/nim2/eF2Qqw
• BASE/nim3/1OwUqw
• BASE/nim4/twk16w
• BASE/nineBoardTicTacToePie/B8LzeQ
• BASE/nineBoardTicTacToe/wRmqqA
• BASE/nonogram_10x10_1/0Xc62g
• BASE/nonogram_5x5_1/qLKEZw
• BASE/numbertictactoe/rvJ-iQ
• BASE/onestep/xi53wA
• BASE/othello-comp2007/86ZoMw
• BASE/othelloHoles/c0qAzw
• BASE/othelloSuicide/B442jg
• BASE/pacman2p/4LEdQg
• BASE/pacman3p/wW7UVQ
• BASE/pancakes6/QZTdnw
• BASE/pancakes88/l2Xaig
• BASE/pancakes/yUgbXw
• BASE/pawnToQueen/-O1_JA
• BASE/pawnWhopping/Ypc_6Q
• BASE/pearls/6k_mEQ
• BASE/pegEuro/5awwhg
• BASE/peg/fJHVWw
• BASE/pentagoSuicide/SBgNhw
• BASE/pentago/86NgKw
• BASE/point_grab/V_osUg
• BASE/quad_5x5/JAEP5g
• BASE/quad_7x7/q-JOXg
• BASE/quad/tw-Ufg
• BASE/quartoSuicide/-23jUg
• BASE/quarto/EwBMVQ
• BASE/queens06ug/7Lq3tw
• BASE/queens08lg/Ru7eqQ
• BASE/queens08ug/kJ_ZFQ
• BASE/queens12ug/u6Bkmg
• BASE/queens16ug/gT-ylw
• BASE/queens31lg/0gID-A
• BASE/queens/HyJJnQ
• BASE/qyshinsu/R08Lzw
• BASE/racer4/0vs7Ww
• BASE/racer/QQYQNw
• BASE/racetrackcorridor/_RkdUg
• BASE/reversiSuicide/9OxJlg
• BASE/reversi/d8UMeA
• BASE/roshambo2/KNPokQ
• BASE/rubiksCube/9tNO9Q
• BASE/ruleDepthExponential/UamhHQ
• BASE/ruleDepthLinear/OUBJpQ
• BASE/sheepAndWolf/g4THrg
• BASE/shmup/ssTNlg
• BASE/simultaneousWin2/PfjRjw
• BASE/skirmishFinal1/ecWTnQ
• BASE/skirmishFinal2/gdB62Q
• BASE/skirmishFinal3/-Olhfw
• BASE/skirmishHoles/AUCxCA
• BASE/skirmishNew/sibw2g
• BASE/skirmishZeroSum/zh4hcw
• BASE/skirmish/Y_psYQ
• BASE/slaughter/cOch8A
• BASE/slidingpieces/uFJWEw
• BASE/smallest_4player/ADDROA
• BASE/snake2p/I3wWPQ
• BASE/snakeAssemblit/UO4sdg
• BASE/snakeParallel/RCVNtw
• BASE/snake_2008/i6K26g
• BASE/snake_2008_tweaked/bX0NJQ
• BASE/snake_2009/7l-qAQ
• BASE/snake_2009_big/-oRfVw
• BASE/solitaireChineseCheckers/-ET6gw
• BASE/speedChess/bPnisA
• BASE/stateSpaceLarge/0Ge_CQ
• BASE/stateSpaceMedium/3bUoIw
• BASE/stateSpaceSmall/Q7osKA
• BASE/strangeSkirmish/gc1zKA
• BASE/sudokuGrade1/tDRNRw
• BASE/sudokuGrade2/u80Tfw
• BASE/sudokuGrade3/eI8dvg
• BASE/sudokuGrade4/DTy07w
• BASE/sudokuGrade5/BQfUQA
• BASE/sudokuGrade6E/ihYFZA
• BASE/sudokuGrade6H/ieE_9A
• BASE/sudoku/NTaNkw
• BASE/sum15/QZ07Kg
• BASE/survival/YVIjJA
• BASE/switches/tPUoCg
• BASE/ticTacHeavenFC/mrletw
• BASE/ticTacHeaven/18n58A
• BASE/ticTacToeLargeSuicide/727_8g
• BASE/ticTacToeLarge/TZC0dg
• BASE/ticTacToeNoVars/XT03NA
• BASE/ticTacToeParallel/ymRGPw
• BASE/ticTacToeSerial/Amrwqw
• BASE/ticTacToe/JRFsaQ
• BASE/ticTicToe/c1OobQ
• BASE/ticblock/T21C1g
• BASE/tictactoe-init1/7M19vA
• BASE/tictactoe2/bhrDoQ
• BASE/tictactoe_3d_2player/IUC1rQ
• BASE/tictactoe_3d_6player/d7KSwg
• BASE/tictactoe_3d_small_2player/oOryKA
• BASE/tictactoe_3d_small_6player/g_9lww
• BASE/tictactoe_3player/GtM71g
• BASE/tictactoe_orthogonal/WRzlVw
• BASE/tictactoex9/BI26ow
• BASE/toetictac/mTThmg
• BASE/tpeg/QNs7Lw
• BASE/tron_10x10/7ZTgDg
• BASE/troublemaker01/s3tlEQ
• BASE/troublemaker02/DI83KA
• BASE/ttcc4_2player/_aH_Mw
• BASE/ttcc4_2player_alt/ZEJvYA
• BASE/ttcc4_2player_small/Cv72TA
• BASE/ttcc4/Le0qjQ
• BASE/tttcc4/8Bs2lg
• BASE/twisty-passages/DiZmmg
• BASE/untwistycomplex2/EDPPAQ
• BASE/wallmaze/uxNQ9g
• BASE/wargame01/_GZFZg
• BASE/wargame02/BkVqqQ
• BASE/wargame03/klXI8w
• BASE/withConviction/3Xm54A
• BASE/zhadu/DlA8iQ
• DRESDEN/2player_normal_form_2010/NG_Kdg
• DRESDEN/3pffa/0YrmQw
• DRESDEN/3pttc/uwYBZw
• DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw
• DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg
• DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg
• DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ
• DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg
• DRESDEN/4pttc/9pB9AQ
• DRESDEN/8puzzle/8fKC2w
• DRESDEN/Catch-Me-If-You-Can/ghGWrA
• DRESDEN/CatchMeIfYouCanTest/CX18rA
• DRESDEN/CephalopodMicro/H3XQfg
• DRESDEN/Goldrush/VeWczQ
• DRESDEN/Runners/3bOCQw
• DRESDEN/SC_TestOnly_enabled/09o7gQ
• DRESDEN/Thief_Police/CX18rA
• DRESDEN/Travelers-Dilemma/PvZwYw
• DRESDEN/Zhadu/9zpQ5w
• DRESDEN/aipsrovers01/qS47Mw
• DRESDEN/amazons/dNB28A
• DRESDEN/babel/WdSW4A
• DRESDEN/backgammon/mqCW0Q
• DRESDEN/battle/8oAvhQ
• DRESDEN/battlebrushes/QHXV4A
• DRESDEN/battlesnakes1509/-qZrLw
• DRESDEN/battlesnakes2011/93VtTw
• DRESDEN/bidding-tictactoe_10coins/mu5VhQ
• DRESDEN/bidding-tictactoe/yW5vTA
• DRESDEN/blobwars/ZaMluQ
• DRESDEN/blocker/S815zQ
• DRESDEN/blockerparallel/dVQgSg
• DRESDEN/blocks2player/3ev8nQ
• DRESDEN/blocks/vg0DRw
• DRESDEN/blocksworldparallel/2JfVaw
• DRESDEN/bomberman2p/x4h6jQ
• DRESDEN/brain_teaser_extended/ZDp94A
• DRESDEN/brawl/2kXtfQ
• DRESDEN/breakthrough/z4hK7Q
• DRESDEN/breakthroughsuicide/Y9QzqQ
• DRESDEN/breakthroughsuicide_v2/LU1nAw
• DRESDEN/bunk_t/7-tPfA
• DRESDEN/buttons/ADUaHw
• DRESDEN/capture_the_king/EQ229Q
• DRESDEN/catch_me/ghGWrA
• DRESDEN/catcha_mouse/cHv4dw
• DRESDEN/checkers-cylinder-mustjump/vW_-pA
• DRESDEN/checkers-mustjump-torus/cVc3gA
• DRESDEN/checkers-mustjump/HUr33w
• DRESDEN/checkers-newgoals/IJOqXQ
• DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg
• DRESDEN/checkers/jIDMIg
• DRESDEN/chickentictactoe/Ipbo-g
• DRESDEN/chickentoetictac/cxYaRQ
• DRESDEN/chinesecheckers1/Y-ftaA
• DRESDEN/chinesecheckers2/06E6-Q
• DRESDEN/chinesecheckers3/QsCb2A
• DRESDEN/chinesecheckers4/-oVNYg
• DRESDEN/chinesecheckers6-simultaneous/gPPGUw
• DRESDEN/chinesecheckers6/yTbPDA
• DRESDEN/chomp/-LcqYQ
• DRESDEN/circlesolitaire/ruUilQ
• DRESDEN/coins/QwFP9w
• DRESDEN/connect4/T0-rHQ
• DRESDEN/connect5/1kYzSg
• DRESDEN/connectfour/5tc-Mg
• DRESDEN/connectfoursuicide/M9CNQg
• DRESDEN/crisscross/GsY16g
• DRESDEN/crissrace/KWb9bw
• DRESDEN/crossers3/xiPTxg
• DRESDEN/cube_2x2x2/fp-34Q
• DRESDEN/cubicup_3player/awDtsQ
• DRESDEN/cubicup/SBn_lw
• DRESDEN/cylinder-checkers/clOO3Q
• DRESDEN/double_tictactoe_dengji/bGaUyQ
• DRESDEN/doubletictactoe/lJzgmQ
• DRESDEN/doubletoetictac/V89gKQ
• DRESDEN/endgame/IJhh3Q
• DRESDEN/eotcatcit/mQUxzA
• DRESDEN/farmers/S_ASnw
• DRESDEN/firefighter/WJmoPw
• DRESDEN/fizzbuzz/t1xHzQ
• DRESDEN/four_way_battle/xSOQXA
• DRESDEN/frogs_and_toads/GjchhQ
• DRESDEN/ggp-course2013_jordi/9QI6Kw
• DRESDEN/ggp-course2013_michal13/jWKddg
• DRESDEN/ggp-course2013_nicolai/uEin8g
• DRESDEN/ghostmaze2p/HY0UwA
• DRESDEN/god/2EDD5w
• DRESDEN/golden_rectangle/1uloXw
• DRESDEN/grid_game2/kypTYQ
• DRESDEN/grid_game/U7_Yeg
• DRESDEN/gt_chicken/CeuKtw
• DRESDEN/gt_prisoner/huCp4w
• DRESDEN/gt_ultimatum/pAiiQw
• DRESDEN/guess/PhxGhg
• DRESDEN/hallway/0H4l-Q
• DRESDEN/hanoi7/51zz5Q
• DRESDEN/hanoi7_bugfix/3gdnFw
• DRESDEN/hanoi_6_disks/MeubgQ
• DRESDEN/hanoi/RQ0jiA
• DRESDEN/hitori/S8Gsyg
• DRESDEN/javastrike/whONTQ
• DRESDEN/kalaha_2009/gcC8uA
• DRESDEN/kitten_escapes_from_fire/uW-YiA
• DRESDEN/knightazons/02I8BQ
• DRESDEN/knightfight/4_Ly4w
• DRESDEN/knightmove/97Ipcw
• DRESDEN/knightstour/cGISAA
• DRESDEN/knightthrough/J7Fc_Q
• DRESDEN/knightwar/7hhAqg
• DRESDEN/laikLee_hex/ZeP3QQ
• DRESDEN/latenttictactoe/kITHKg
• DRESDEN/lightson2x2/gBHuig
• DRESDEN/lightsout2/LFtfyQ
• DRESDEN/lightsout/XgLpzQ
• DRESDEN/logistics/fPru1Q
• DRESDEN/max_knights/hCipiA
• DRESDEN/merrills/aYEzwA
• DRESDEN/mimikry/GJEhwA
• DRESDEN/minichess-evilconjuncts/th24Tw
• DRESDEN/minichess/c7GMFw
• DRESDEN/mummymaze1p/AekgaQ
• DRESDEN/mummymaze2p-comp2007/oTQRQg
• DRESDEN/mummymaze2p/k-8edg
• DRESDEN/nim1/M9BALA
• DRESDEN/nim2/z5_exA
• DRESDEN/nim3/sG_axA
• DRESDEN/nim4/F5YAYg
• DRESDEN/oisters_farm/pTQMLg
• DRESDEN/othello-cornercontrol/r5Gdlg
• DRESDEN/pacman3p/rBnk8Q
• DRESDEN/pancakes6/SZXMyQ
• DRESDEN/pancakes88/aD3E7g
• DRESDEN/pancakes/hl9aiQ
• DRESDEN/pawn_whopping/4ogBkg
• DRESDEN/pawn_whopping_corrected/7Ov0jQ
• DRESDEN/pawn_whopping_simultaneous/r8dLfw
• DRESDEN/pawntoqueen/f_x6Aw
• DRESDEN/peg/Vo31eg
• DRESDEN/peg_bugfixed/u_B7MA
• DRESDEN/pentago_2008/hLjVpQ
• DRESDEN/point_grab/r5DPmQ
• DRESDEN/quad_5x5_8_2/JRTLJg
• DRESDEN/quad_5x5/JAEP5g
• DRESDEN/quad_7x7/q-JOXg
• DRESDEN/quad/JPe6fg
• DRESDEN/quarto/OQzRYQ
• DRESDEN/quartosuicide/WIU1oQ
• DRESDEN/queens/mW2wHQ
• DRESDEN/racer/vk_ZBA
• DRESDEN/racetrackcorridor/O0DoTA
• DRESDEN/roshambo2/jgSlkQ
• DRESDEN/sat_test_20v_91c/dK7nVw
• DRESDEN/sat_test_20v_91c_version2/a1mPBA
• DRESDEN/sat_test_20v_91c_visualisation/aw8BIA
• DRESDEN/satlike_20v_91c_version2/yd9ioQ
• DRESDEN/satlike_20v_91c/yeuENQ
• DRESDEN/sheep_and_wolf/enAIzQ
• DRESDEN/skirmish2/iPpWhQ
• DRESDEN/skirmish3/3LU8Nw
• DRESDEN/skirmish/RjGQYQ
• DRESDEN/skirmishfinal/hzq8ww
• DRESDEN/slidingpieces/s9_44g
• DRESDEN/small_dominion/yB5GJA
• DRESDEN/smallest_4player/ADDROA
• DRESDEN/smallest/9kaGFw
• DRESDEN/snake_2008/E56l3A
• DRESDEN/snake_2009_big/DgC1NQ
• DRESDEN/snake_2009/zIYLVw
• DRESDEN/statespacelarge/8-y5HQ
• DRESDEN/statespacemedium/dVJZ_w
• DRESDEN/statespacesmall/h-NqjA
• DRESDEN/stratego/Z2wovg
• DRESDEN/sum15/CsgWKg
• DRESDEN/ticblock/Z2yNWQ
• DRESDEN/tictactoe-init1/3ltIBQ
• DRESDEN/tictactoe_3d_2player/LMuX9w
• DRESDEN/tictactoe_3d_6player/ulZPWg
• DRESDEN/tictactoe_3d_small_2player/HYttcg
• DRESDEN/tictactoe_3d_small_6player/llDEDQ
• DRESDEN/tictactoe_3player/ESLQQQ
• DRESDEN/tictactoe/BTTzPw
• DRESDEN/tictactoe_orthogonal/y69QFQ
• DRESDEN/tictactoelarge/IwXcbg
• DRESDEN/tictactoelargesuicide/6J4DeA
• DRESDEN/tictactoeparallel/yk_DSg
• DRESDEN/tictactoex9/rFkD4w
• DRESDEN/tictictoe/LAUtwg
• DRESDEN/toetictac/mJtxCA
• DRESDEN/towerworld/HCX34w
• DRESDEN/tpeg/h-Scbg
• DRESDEN/troublemaker01/C-lPWw
• DRESDEN/troublemaker02/iZLVuA
• DRESDEN/tttcc4/sAvtFg
• DRESDEN/twisty-passages/j7NPyg
• DRESDEN/uf20-01.cnf.SAT/42Rs8A
• DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g
• DRESDEN/uf20-010.cnf.SAT/5ICbCg
• DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA
• DRESDEN/uf20-020.cnf.SAT/hDrW_A
• DRESDEN/vacuum_cleaner_1/eUNjpw
• DRESDEN/vacuumcleaner_obstacles_1/CqS-7A
• DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA
• DRESDEN/vacuumcleaner_obstacles_3/4NjSmw
• DRESDEN/vacuumcleaner_obstacles_5/fXBV4g
• DRESDEN/vacuumcleaner_obstacles_6/NVwsZw
• DRESDEN/vacuumcleaner_random/_6AGDA
• DRESDEN/vacuumcleaner_random_big/DwzFaQ
• STANFORD/3puzzle/41ibjA
• STANFORD/8puzzle/jNiGtw
• STANFORD/alquerquezero/uVgA_A
• STANFORD/bestbuttonsandlights/nm0wEA
• STANFORD/bestbuttonsandlightsbig/g0JC6g
• STANFORD/breakthrough/d5j0cQ
• STANFORD/buttonsandlights/eyhJpA
• STANFORD/checkersonabarrelnokings/Zrevdw
• STANFORD/chinook/osFbPA
• STANFORD/connectfour/VMpZkQ
• STANFORD/dualhunter/1rPZjQ
• STANFORD/dualrainbow/G3OnRQ
• STANFORD/duidoku/3SoMaA
• STANFORD/duikoshi/tpw1sw
• STANFORD/eightpuzzle/W_aWbA
• STANFORD/freeforall/Lfp40Q
• STANFORD/hex/MTqWcw
• STANFORD/hunter/14dD-g
• STANFORD/jointbuttonsandlights/qAKuIQ
• STANFORD/knightstour/cEwgNA
• STANFORD/knightstourbig/TQUI2g
• STANFORD/knightstourmedium/x1wu8Q
• STANFORD/madness/UO_B3A
• STANFORD/multiplebuttonsandlights_9/SqB9BA
• STANFORD/multiplebuttonsandlights/cK70Yg
• STANFORD/multiplesukoshi/vLSQPg
• STANFORD/multipletictactoe/_bkafQ
• STANFORD/nineboardtictactoe/y28P-A
• STANFORD/pentago/ZxzLmg
• STANFORD/pilgrimage/ObRZnQ
• STANFORD/platformjumpers/HEQskA
• STANFORD/rainbow/_4qNSQ
• STANFORD/selectivesukoshi/3xmXYg
• STANFORD/skirmish/w4V6Vw
• STANFORD/sudoku/oJ1qyQ
• STANFORD/sukoshi/4LYZZQ
• STANFORD/threepuzzle/41ibjA
• STANFORD/tictactoe3/X7myng
• STANFORD/tictactoe5/WFRReg
• STANFORD/tictactoe7/-bE9-A
• STANFORD/tictactoe/ss1kyQ
• STANFORD/tictictoe/rpt_Dw
• STANFORD/trifecta/ss1kyQ
• STANFORD/triplesukoshi/Iu9mbA
• STANFORD/ttcc4/Cx9SGw
• STANFORD/untwistycomplex/HTWEwg
• STANFORD/untwistycorridor/EDPPAQ