index

SANCHO_DEAD_RECKONING_PROPNET:1.61c

Comparison with GGP-Base Prover:

Median speedup383.55145455512417
Mean speedup2967.123325053597
Geometric mean speedup406.86389447798484
Ratio of # state changes with 1 second per game202.90167195016534
Ratio of times to run 1000 states per game4.004868925127173E-4
Number of games with errors54

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
ALLOY_DIFF_PROP_NET:1 (comparison)5020018
PALAMEDES_JOCULAR:0.6.1 (comparison)393703939
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)4938150
ALLOY_TUPLE_PROVER:2 (comparison)5010152
CADIAPLAYER_PROLOG:3.0 (comparison)363139030
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)4993044
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)4984044
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)4993044
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)4984044
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)45374252
GGP_BASE_PROVER:2015-04-26 (comparison)5010154
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)48913050
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)47922150
FLUXPLAYER_PROLOG:1.1 (comparison)46239151

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/firefighter/WJmoPw4103238.9666666671
DRESDEN/firefighter/WJmoPw3852813.01
DRESDEN/oisters_farm/pTQMLg3744646.76666666661
STANFORD/untwistycorridor/EDPPAQ3660246.71
STANFORD/multiplebuttonsandlights/cK70Yg3602029.21
STANFORD/multiplebuttonsandlights_9/SqB9BA3600123.4333333331
STANFORD/untwistycomplex/HTWEwg3531415.9666666671
BASE/untwistycomplex2/EDPPAQ3155533.26666666661
BASE/pearls/6k_mEQ3083947.73333333343
STANFORD/buttonsandlights/eyhJpA2954765.0666666673
BASE/haystack/UkweGA2886030.83
BASE/twisty-passages/DiZmmg2757742.23333333341
DRESDEN/twisty-passages/j7NPyg2656703.86666666671
DRESDEN/buttons/ADUaHw2485251.73
BASE/buttons/hTcUjw2418136.5666666673
BASE/survival/YVIjJA2306992.9666666673
BASE/maze/cCX3qQ2273332.13333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g2251459.11
BASE/ruleDepthExponential/UamhHQ2213665.66666666651
BASE/onestep/xi53wA2208761.33
BASE/troublemaker01/s3tlEQ2196285.23
DRESDEN/troublemaker01/C-lPWw2179609.5333333333
STANFORD/bestbuttonsandlights/nm0wEA2129576.61
BASE/troublemaker02/DI83KA2098942.73
BASE/lightsOn/MsXu3A2071208.06666666671
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2066701.43333333331
BASE/duplicateStateSmall/bCPAXw2061035.03333333343
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2060165.06666666671
BASE/factoringGeorgeForman/HGRorQ2058988.53333333341
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2025882.93333333331
DRESDEN/troublemaker02/iZLVuA1974686.06666666673
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1925303.91
BASE/incredible/8Qh-6Q1890178.83333333331
BASE/stateSpaceSmall/Q7osKA1871408.93
BASE/point_grab/V_osUg1845513.91
DRESDEN/point_grab/r5DPmQ1812463.11
DRESDEN/statespacesmall/h-NqjA1809562.73333333343
BASE/factoringMutuallyAssuredDestruction/NH0LGg1698534.16666666671
BASE/lightsOnParallel/SC6enA1686397.43333333331
BASE/ruleDepthLinear/OUBJpQ1685445.96666666662
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1674559.06666666671
BASE/duplicateStateMedium/U163eQ1664849.76666666661
BASE/chineseCheckers1/gqtwHw1655039.86666666671
BASE/factoringEasyTurtleBrain/lUj94Q1646097.56666666671
DRESDEN/fizzbuzz/t1xHzQ1633368.51
DRESDEN/aipsrovers01/qS47Mw1614433.43333333331
DRESDEN/kitten_escapes_from_fire/uW-YiA1576181.73333333341
STANFORD/rainbow/_4qNSQ1560494.61
BASE/blocksWorld/SEdXLQ1547481.93
BASE/aipsrovers01/4C4jsw1544290.43333333331
BASE/factoringMediumTurtleBrain/8RBqmQ1527281.51
DRESDEN/2player_normal_form_2010/NG_Kdg1470777.86666666673
BASE/kitten_escapes_from_fire/uW-YiA1459639.23333333341
DRESDEN/lightson2x2/gBHuig1457182.33333333331
DRESDEN/statespacemedium/dVJZ_w1455946.21
DRESDEN/blocks/vg0DRw1453201.66666666673
BASE/stateSpaceMedium/3bUoIw1452613.21
STANFORD/jointbuttonsandlights/qAKuIQ1429204.06666666671
DRESDEN/grid_game2/kypTYQ1416796.23333333341
BASE/blocks/xIV5hQ1413469.13333333333
DRESDEN/chinesecheckers1/Y-ftaA1380860.03333333341
BASE/hodgepodge/9yjRkw1339222.73
DRESDEN/hanoi_6_disks/MeubgQ1335858.31
BASE/ticTacToeLarge/TZC0dg1323301.86666666671
BASE/knightsTour/mvtVIg1315220.46666666661
BASE/ticTacToeLargeSuicide/727_8g1312003.31
DRESDEN/tictactoelargesuicide/6J4DeA1307331.43333333331
BASE/hanoi_6_disks/MeubgQ1294053.63333333331
STANFORD/knightstour/cEwgNA1283457.81
BASE/duplicateStateLarge/dcjyuw1280431.01
STANFORD/knightstourmedium/x1wu8Q1276479.41
DRESDEN/knightstour/cGISAA1272922.51
DRESDEN/tictactoelarge/IwXcbg1267981.23333333341
BASE/switches/tPUoCg1261770.23
BASE/tictactoe2/bhrDoQ1253930.81
DRESDEN/uf20-010.cnf.SAT/5ICbCg1248044.23333333341
BASE/ticTacToeNoVars/XT03NA1240952.86666666671
STANFORD/multipletictactoe/_bkafQ1237435.51
DRESDEN/hanoi7/51zz5Q1232233.63333333331
BASE/hanoi7_bugfix/3gdnFw1217453.56666666671
DRESDEN/uf20-020.cnf.SAT/hDrW_A1214150.76666666661
DRESDEN/hanoi7_bugfix/3gdnFw1201935.26666666661
BASE/hanoi/iGLsJg1151354.01
STANFORD/multiplesukoshi/vLSQPg1150876.83333333331
DRESDEN/hanoi/RQ0jiA1141244.13333333331
DRESDEN/sat_test_20v_91c/dK7nVw1128183.91
STANFORD/tictactoe3/X7myng1122163.26666666663
DRESDEN/SC_TestOnly_enabled/09o7gQ1114375.71
BASE/toetictac/mTThmg1113925.06666666671
STANFORD/3puzzle/41ibjA1098951.03333333343
DRESDEN/sat_test_20v_91c_version2/a1mPBA1092430.01
BASE/mummymaze2p/vpjDdA1092110.11
STANFORD/threepuzzle/41ibjA1086444.43
BASE/gt_coordination/IVMOzA1079740.33333333331
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1076944.91
BASE/gt_centipede/9fRMpw1075266.26666666663
DRESDEN/toetictac/mJtxCA1048722.83333333331
DRESDEN/mummymaze2p/k-8edg1047341.93333333331
BASE/stateSpaceLarge/0Ge_CQ1024667.26666666671
BASE/connectFourSuicide/c8p9Kw1001535.13333333331
DRESDEN/statespacelarge/8-y5HQ998532.31
DRESDEN/blocker/S815zQ998020.51
BASE/blocker/dIWtxg992376.16666666661
DRESDEN/connectfoursuicide/M9CNQg991764.63333333331
STANFORD/sukoshi/4LYZZQ984965.63333333333
BASE/gt_dollar/TGjqRw982370.83333333343
BASE/beatMania/qUHwvQ979939.81
STANFORD/connectfour/VMpZkQ977782.51
BASE/connectFour/WAIKTw975781.66666666661
DRESDEN/connectfour/5tc-Mg972878.71
STANFORD/knightstourbig/TQUI2g965878.86666666671
DRESDEN/ghostmaze2p/HY0UwA961589.06666666671
BASE/connectFour_9x6/B9TtMw959672.46666666671
BASE/knightmove/jBaJEw958132.01
BASE/asteroids/BKCmPQ935074.56666666671
BASE/knightsTourLarge/M8jgLA918522.56666666671
BASE/simultaneousWin2/PfjRjw918226.23333333331
DRESDEN/knightmove/97Ipcw910287.33333333341
BASE/queens06ug/7Lq3tw905636.61
BASE/breakthroughHoles/nZk0Sg901543.63333333331
STANFORD/dualrainbow/G3OnRQ888078.61
DRESDEN/Thief_Police/CX18rA887459.66666666661
BASE/dualConnect4/WbCQkg886829.03333333331
DRESDEN/tictactoe-init1/3ltIBQ883577.73333333333
STANFORD/tictactoe5/WFRReg879931.03
BASE/circlesolitaire/azuQFQ878041.43333333331
DRESDEN/breakthroughsuicide/Y9QzqQ877497.41
BASE/connectFourLarge/aU644A876322.33333333341
DRESDEN/CatchMeIfYouCanTest/CX18rA874587.61
BASE/ghostMaze2p/W-NU-w870736.51
DRESDEN/tictactoe_3d_small_2player/HYttcg869912.33333333341
DRESDEN/mimikry/GJEhwA867568.96666666671
DRESDEN/circlesolitaire/ruUilQ866746.33333333341
STANFORD/hunter/14dD-g862447.01
DRESDEN/tictactoe_3d_2player/LMuX9w856859.16666666661
BASE/tictactoe_3d_small_2player/oOryKA855660.86666666671
DRESDEN/Runners/3bOCQw852380.73333333331
BASE/chineseCheckers2/eCMR3Q851468.76666666671
BASE/tictactoe-init1/7M19vA846832.76666666673
DRESDEN/Catch-Me-If-You-Can/ghGWrA841216.61
BASE/breakthrough/TGxk-g840430.13333333331
BASE/tictactoe_3d_2player/IUC1rQ839512.93333333331
BASE/dotsAndBoxesSuicide/jzQbLw833761.61
BASE/breakthroughSuicide/wZDpIg832492.51
BASE/dotsAndBoxes/EHwA_w832034.03333333331
BASE/breakthroughSuicideSmall/XSbJog827662.51
DRESDEN/pawn_whopping/4ogBkg822470.56666666671
BASE/breakthroughSmall/HJ0tIA818009.36666666671
BASE/golden_rectangle/_nYzfw814898.96666666671
BASE/max_knights/2fq3Ag813355.63333333331
BASE/lightsOnSimultaneous/_VN6lw811446.46666666671
BASE/asteroidsSerial/id2QkA811031.41
BASE/breakthroughWalls/vOZaYA810963.03333333331
DRESDEN/eotcatcit/mQUxzA810642.51
BASE/blocksWorldSerial/Wyg96Q810258.66666666663
DRESDEN/breakthrough/z4hK7Q809962.41
BASE/chickentoetictac/l57rfQ806297.63333333331
DRESDEN/tictactoe/BTTzPw803621.56666666671
STANFORD/breakthrough/d5j0cQ802985.11
BASE/mummyMaze2p_2007/YGA3Vw802168.26666666671
DRESDEN/brain_teaser_extended/ZDp94A800742.61
DRESDEN/catch_me/ghGWrA794534.41
DRESDEN/mummymaze2p-comp2007/oTQRQg791979.21
BASE/brain_teaser_extended/ZDp94A787863.06666666671
BASE/breakthroughSmallHoles/bxclRw782043.41
BASE/connectFourLarger/qKi60A781680.31
BASE/connect5/d-BVQg779716.93333333331
BASE/knightThrough/gcwFjA778919.36666666671
DRESDEN/breakthroughsuicide_v2/LU1nAw778359.36666666671
DRESDEN/pawn_whopping_corrected/7Ov0jQ777812.21
BASE/snakeParallel/RCVNtw775399.81
DRESDEN/connect5/1kYzSg774206.13333333331
BASE/ticTacToe/JRFsaQ773721.73333333331
DRESDEN/knightthrough/J7Fc_Q769018.86666666671
DRESDEN/double_tictactoe_dengji/bGaUyQ768833.93333333331
DRESDEN/max_knights/hCipiA764448.56666666671
DRESDEN/tictactoe_orthogonal/y69QFQ762726.16666666661
BASE/tictactoe_orthogonal/WRzlVw762294.03333333331
DRESDEN/roshambo2/jgSlkQ757517.16666666661
STANFORD/tictactoe/ss1kyQ756455.21
DRESDEN/chickentoetictac/cxYaRQ751036.11
STANFORD/tictactoe7/-bE9-A747910.73333333333
BASE/roshambo2/KNPokQ741176.56666666671
BASE/futoshiki4/BaCwSw740103.51
BASE/copolymer_4/2LDVhQ735738.23333333331
BASE/pawnWhopping/Ypc_6Q730917.06666666671
DRESDEN/nim1/M9BALA724841.36666666671
DRESDEN/golden_rectangle/1uloXw724367.23333333331
BASE/queens08ug/kJ_ZFQ719303.43333333331
BASE/nim1/hin2Qw717375.03333333331
BASE/ticblock/T21C1g716902.83333333341
DRESDEN/ticblock/Z2yNWQ714058.16666666661
STANFORD/trifecta/ss1kyQ705488.93333333331
BASE/2pttc/unkkYA692440.33333333341
BASE/eotcatcit/AfZSzA691797.86666666671
DRESDEN/catcha_mouse/cHv4dw690877.66666666661
BASE/double_tictactoe_dengji/zgaSbA689937.76666666671
BASE/3pConnectFour/PqXOFQ683858.13333333331
STANFORD/selectivesukoshi/3xmXYg680241.43333333331
BASE/sum15/QZ07Kg679326.71
BASE/racetrackcorridor/_RkdUg677791.26666666671
DRESDEN/quad_5x5/JAEP5g673000.43333333331
DRESDEN/nim2/z5_exA672870.23333333331
DRESDEN/sum15/CsgWKg670475.51
DRESDEN/chinesecheckers2/06E6-Q657112.91
BASE/conn4/va9Y7A655271.16666666661
BASE/nim2/eF2Qqw654556.63333333331
BASE/gt_ultimatum/GE-uOA650695.16666666661
BASE/withConviction/3Xm54A637957.56666666671
BASE/lightsOut/5P1ZBw637164.73333333331
DRESDEN/latenttictactoe/kITHKg634511.76666666671
BASE/chickentictactoe/DSlZCA627295.76666666671
DRESDEN/lightsout/XgLpzQ621201.51
DRESDEN/gt_ultimatum/pAiiQw617407.66666666661
BASE/futoshiki5/TJ4BZg613848.36666666671
BASE/catcha_mouse/cHv4dw611499.03333333331
DRESDEN/racetrackcorridor/O0DoTA607557.23333333331
DRESDEN/grid_game/U7_Yeg607281.23333333331
DRESDEN/lightsout2/LFtfyQ605542.43333333331
DRESDEN/quad_5x5_8_2/JRTLJg603542.43333333331
BASE/sudokuGrade1/tDRNRw602574.33333333341
DRESDEN/chickentictactoe/Ipbo-g600024.03333333331
DRESDEN/connect4/T0-rHQ596907.91
BASE/sudokuGrade2/u80Tfw595156.06666666671
BASE/quad_5x5/JAEP5g594022.83333333341
BASE/queens12ug/u6Bkmg589440.81
BASE/sudokuGrade4/DTy07w589294.71
DRESDEN/blocks2player/3ev8nQ583694.21
BASE/sudokuGrade3/eI8dvg583430.03333333331
DRESDEN/nim4/F5YAYg580053.23333333331
BASE/blocks2player/wnTLOQ578770.31
BASE/blockerSerial/3eqDuw578186.53333333331
DRESDEN/nim3/sG_axA577328.01
BASE/nim3/1OwUqw575264.73333333331
BASE/snake2p/I3wWPQ573356.36666666673
BASE/sudokuGrade5/BQfUQA572986.01
BASE/connect4/50bOyw572317.31
BASE/copolymer_4_pie/IN5_jA567677.03333333331
DRESDEN/ggp-course2013_michal13/jWKddg566766.76666666671
BASE/pawnToQueen/-O1_JA565716.61
STANFORD/sudoku/oJ1qyQ563459.26666666671
BASE/nim4/twk16w561026.56666666671
BASE/futoshiki6/JmvXNA555660.83333333341
BASE/ttcc4_2player_small/Cv72TA552302.03333333331
BASE/lightsOnSimul4/9FeASw545721.01
BASE/wallmaze/uxNQ9g542884.36666666671
STANFORD/nineboardtictactoe/y28P-A539266.63333333331
BASE/queens16ug/gT-ylw537167.76666666671
BASE/nineBoardTicTacToe/wRmqqA533462.03333333331
BASE/ticTacToeSerial/Amrwqw522410.61
BASE/connectFourSimultaneous/7ITr3g520969.733333333341
STANFORD/freeforall/Lfp40Q519567.11
BASE/tictactoex9/BI26ow519022.133333333361
BASE/sudokuGrade6H/ieE_9A515339.766666666661
DRESDEN/tictactoex9/rFkD4w514848.66666666671
BASE/sudokuGrade6E/ihYFZA512675.566666666651
BASE/chineseCheckers3/-1rZdQ503629.61
DRESDEN/logistics/fPru1Q496741.266666666661
BASE/2pffa_zerosum/o0_uZA496414.766666666661
BASE/gt_tinfoil/Q8DyKg495719.81
BASE/2pffa/6oHijA495238.866666666641
BASE/asteroidsParallel/WauZiA493959.81
BASE/doubletoetictac/fu35bg492950.733333333341
BASE/escortLatch/mX9BjQ492845.91
BASE/choicethroughalt/tt71Lg491916.766666666661
DRESDEN/ggp-course2013_jordi/9QI6Kw489227.733333333341
BASE/tictactoe_3player/GtM71g489015.61
STANFORD/duikoshi/tpw1sw483507.83333333331
BASE/queens08lg/Ru7eqQ480464.61
DRESDEN/quad_7x7/q-JOXg478517.433333333351
BASE/majorities/ibJzSQ474463.433333333351
BASE/quad_7x7/q-JOXg470983.566666666651
BASE/pacman3p/wW7UVQ468617.81
BASE/bomberman2p/4CClwA467917.633333333361
DRESDEN/bomberman2p/x4h6jQ465281.61
DRESDEN/pawntoqueen/f_x6Aw464317.41
DRESDEN/tictactoe_3player/ESLQQQ462951.33333333331
BASE/pegEuro/5awwhg461790.633333333361
BASE/coins_atomic/AA3SSw457311.96666666673
DRESDEN/peg_bugfixed/u_B7MA456913.66666666671
BASE/hidato19/rRHSmA455237.61
DRESDEN/peg/Vo31eg454787.366666666641
BASE/peg/fJHVWw454577.933333333351
BASE/nineBoardTicTacToePie/B8LzeQ448168.866666666641
STANFORD/dualhunter/1rPZjQ444564.633333333361
BASE/numbertictactoe/rvJ-iQ439363.21
BASE/blocksWorldParallel/RseaAQ435032.566666666653
DRESDEN/slidingpieces/s9_44g434665.61
BASE/slidingpieces/uFJWEw430277.133333333361
DRESDEN/blocksworldparallel/2JfVaw430077.53333333333
DRESDEN/doubletictactoe/lJzgmQ429421.11
BASE/doubletictactoe/HH1htg426958.633333333361
BASE/coins/QnGtnQ426597.33333333333
BASE/bunk_t/xbpfIA424317.61
BASE/gt_chicken/gmepTQ424206.51
DRESDEN/bunk_t/7-tPfA424063.61
DRESDEN/chinesecheckers3/QsCb2A421117.91
DRESDEN/coins/QwFP9w420893.633333333363
DRESDEN/gt_chicken/CeuKtw420853.733333333341
BASE/checkLines/Vop7oQ417940.61
BASE/gt_staghunt/xPjLRA413918.21
DRESDEN/doubletoetictac/V89gKQ413830.266666666661
DRESDEN/gt_prisoner/huCp4w413737.46666666671
BASE/checkersTiny/Lr48cg409549.81
DRESDEN/pacman3p/rBnk8Q407553.433333333351
BASE/gt_prisoner/klthDw403592.366666666642
BASE/pacman2p/4LEdQg396886.766666666661
BASE/ttcc4_2player_alt/ZEJvYA390600.16666666671
BASE/chomp/-LcqYQ390389.31
BASE/biddingTicTacToe/8mESVw387652.16666666671
DRESDEN/bidding-tictactoe/yW5vTA386309.01
BASE/chineseCheckers6/rREH3A384010.233333333341
BASE/snake_2008/i6K26g378187.933333333351
STANFORD/platformjumpers/HEQskA377404.16666666671
BASE/coloredtrails/EZvr7g377382.21
BASE/tron_10x10/7ZTgDg377376.81
BASE/cubicup/4wNWJA376135.233333333341
BASE/snake_2008_tweaked/bX0NJQ373695.21
DRESDEN/snake_2008/E56l3A369845.81
DRESDEN/chomp/-LcqYQ368403.61
STANFORD/pentago/ZxzLmg366930.01
BASE/colonelBlottoVariant/X-n-KQ366642.11
BASE/chineseCheckers4/avfBcQ364527.01
BASE/ttcc4_2player/_aH_Mw363582.433333333351
DRESDEN/pawn_whopping_simultaneous/r8dLfw363492.866666666641
DRESDEN/tpeg/h-Scbg363412.53333333331
BASE/pentago/86NgKw363278.51
BASE/tpeg/QNs7Lw361817.46666666671
BASE/ticTacHeavenFC/mrletw360864.566666666651
DRESDEN/cubicup/SBn_lw358092.766666666661
BASE/ticTacHeaven/18n58A357747.41
DRESDEN/pentago_2008/hLjVpQ356082.933333333351
BASE/nonogram_5x5_1/qLKEZw354439.11
BASE/pentagoSuicide/SBgNhw352904.81
BASE/snake_2009_big/-oRfVw349359.81
BASE/hitori/S8Gsyg347274.866666666641
DRESDEN/Goldrush/VeWczQ343795.21
DRESDEN/hitori/S8Gsyg343687.11
STANFORD/ttcc4/Cx9SGw341228.566666666651
DRESDEN/tictictoe/LAUtwg340574.51
STANFORD/alquerquezero/uVgA_A335513.53333333331
BASE/ticTicToe/c1OobQ334880.633333333361
DRESDEN/snake_2009/zIYLVw333408.41
DRESDEN/tictactoe_3d_small_6player/llDEDQ333273.91
BASE/eotcitcit/V_9_bg332666.933333333351
STANFORD/tictictoe/rpt_Dw331525.91
BASE/tictactoe_3d_small_6player/g_9lww330400.71
DRESDEN/quad/JPe6fg326347.83333333331
BASE/snake_2009/7l-qAQ325238.733333333341
DRESDEN/queens/mW2wHQ323903.33333333331
BASE/quad/tw-Ufg322553.91
BASE/checkersBarrelNoKings/rnKNeg320205.733333333341
BASE/queens/HyJJnQ319529.16666666671
DRESDEN/chinesecheckers6/yTbPDA316299.31
DRESDEN/smallest_4player/ADDROA315866.16666666671
STANFORD/duidoku/3SoMaA311796.33333333331
DRESDEN/tictactoeparallel/yk_DSg311692.21
BASE/ticTacToeParallel/ymRGPw308022.21
DRESDEN/snake_2009_big/DgC1NQ307689.71
BASE/smallest_4player/ADDROA306333.733333333341
BASE/checkersSmall/SYmq8w305459.41
BASE/englishDraughts/jFkQxg302268.366666666641
STANFORD/pilgrimage/ObRZnQ293494.71
STANFORD/checkersonabarrelnokings/Zrevdw292384.766666666661
BASE/cephalopodMicro/9l2D3g291061.83333333331
BASE/checkersTorusNoKings/pwb6oQ286497.41
BASE/mineClearingSmall/frsbvw285625.96666666671
DRESDEN/bidding-tictactoe_10coins/mu5VhQ283175.233333333341
BASE/minichess-evilconjuncts/4OpQzw279963.933333333351
DRESDEN/cube_2x2x2/fp-34Q279748.11
DRESDEN/CephalopodMicro/H3XQfg279003.51
DRESDEN/minichess-evilconjuncts/th24Tw278352.83333333331
DRESDEN/minichess/c7GMFw275046.633333333361
BASE/biddingTicTacToe_10coins/a-9ccQ273836.91
DRESDEN/3pttc/uwYBZw271061.266666666661
BASE/battle/8oAvhQ264514.11
DRESDEN/battle/8oAvhQ263536.83333333331
DRESDEN/pancakes/hl9aiQ260862.52
STANFORD/chinook/osFbPA260826.566666666681
BASE/pancakes/yUgbXw258032.333333333342
BASE/qyshinsu/R08Lzw257918.566666666681
BASE/3pttc/0sol9g257625.766666666661
DRESDEN/skirmish2/iPpWhQ257392.033333333331
DRESDEN/pancakes6/SZXMyQ256705.766666666662
BASE/chinook/XQh0IQ255532.81
DRESDEN/3pffa/0YrmQw249266.666666666661
BASE/checkers-newgoals/0XkFiA247019.133333333331
DRESDEN/4pttc/9pB9AQ246942.033333333331
BASE/pancakes6/QZTdnw246659.566666666682
BASE/colonelBlottoVariant2/jruwGw245758.366666666671
BASE/tictactoe_3d_6player/d7KSwg244862.766666666661
BASE/checkers/rOC3Xg239832.133333333331
DRESDEN/tictactoe_3d_6player/ulZPWg239817.91
BASE/wargame01/_GZFZg239213.433333333321
BASE/minichess/8NQEiA237371.433333333323
BASE/knightfight/SJRkAg237012.033333333331
DRESDEN/babel/WdSW4A235270.633333333331
DRESDEN/knightfight/4_Ly4w234163.666666666661
BASE/solitaireChineseCheckers/-ET6gw232872.166666666661
BASE/checkersTorus/2vm1EQ225535.81
DRESDEN/skirmish/RjGQYQ222159.833333333341
DRESDEN/skirmish3/3LU8Nw219941.966666666671
BASE/hidato37/pBrqxw211718.31
STANFORD/8puzzle/jNiGtw210362.766666666661
BASE/eightPuzzle/vLrgFg206352.033333333331
BASE/4pttc/AL1k2Q204574.51
BASE/speedChess/bPnisA204238.533333333331
BASE/3pffa/pR0dzA203114.01
DRESDEN/8puzzle/8fKC2w201275.233333333341
BASE/shmup/ssTNlg200297.01
BASE/skirmishNew/sibw2g199834.11
STANFORD/eightpuzzle/W_aWbA198792.266666666661
BASE/cittaceot/fDxhXg198320.933333333321
DRESDEN/blockerparallel/dVQgSg197245.833333333341
BASE/skirmishZeroSum/zh4hcw196045.11
BASE/blockerParallel/7-nDJA192437.166666666661
BASE/nonogram_10x10_1/0Xc62g186192.01
BASE/4pffa/Q3ADlg175053.11
DRESDEN/endgame/IJhh3Q171428.133333333331
BASE/checkers-mustjump/T-8UuQ169937.133333333331
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA168525.433333333322
BASE/wargame03/klXI8w168208.566666666681
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A168075.066666666682
DRESDEN/stratego/Z2wovg164572.833333333341
DRESDEN/capture_the_king/EQ229Q164363.11
BASE/sheepAndWolf/g4THrg154061.333333333341
DRESDEN/brawl/2kXtfQ153267.41
DRESDEN/sheep_and_wolf/enAIzQ152767.633333333331
BASE/queens31lg/0gID-A151950.833333333341
BASE/gt_two_thirds_2p/1APDGg151604.666666666661
DRESDEN/backgammon/mqCW0Q149977.666666666661
BASE/skirmishFinal3/-Olhfw148858.61
BASE/brawl/6Ymo_Q148134.133333333331
DRESDEN/vacuum_cleaner_1/eUNjpw144931.133333333332
DRESDEN/frogs_and_toads/GjchhQ142795.033333333331
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw138962.033333333331
BASE/checkers-cylinder-mustjump/rjr6qQ138819.233333333341
BASE/skirmishFinal2/gdB62Q137476.933333333321
BASE/tttcc4/8Bs2lg134741.733333333341
DRESDEN/vacuumcleaner_random/_6AGDA134051.466666666671
STANFORD/skirmish/w4V6Vw133096.033333333331
DRESDEN/skirmishfinal/hzq8ww132742.51
BASE/ttcc4/Le0qjQ132581.31
DRESDEN/tttcc4/sAvtFg129801.566666666671
BASE/skirmishFinal1/ecWTnQ127906.91
BASE/skirmishHoles/AUCxCA127470.666666666671
STANFORD/madness/UO_B3A126512.733333333341
BASE/rubiksCube/9tNO9Q125962.066666666671
BASE/gt_attrition/kD_SCA125682.166666666671
BASE/amazons_8x8/7SOsIw120847.71
BASE/wargame02/BkVqqQ117837.166666666671
DRESDEN/crisscross/GsY16g114960.933333333331
BASE/quarto/EwBMVQ112485.066666666671
BASE/skirmish/Y_psYQ111807.51
BASE/quartoSuicide/-23jUg110230.11
BASE/strangeSkirmish/gc1zKA106031.21
DRESDEN/quartosuicide/WIU1oQ104456.266666666661
BASE/zhadu/DlA8iQ104238.066666666671
DRESDEN/quarto/OQzRYQ103372.533333333341
BASE/checkers-mustjump-torus/uSApKQ103357.766666666661
BASE/kalaha5x2x3/WviNsw102767.566666666672
DRESDEN/Zhadu/9zpQ5w101158.466666666661
BASE/crisscross/ICagEg100454.933333333331
DRESDEN/crissrace/KWb9bw87503.933333333331
BASE/crissrace/ERWGDA85792.833333333331
STANFORD/hex/MTqWcw84155.366666666671
BASE/hex/T1MK8g83768.433333333331
BASE/cubicup_3player/e2yA_g79166.666666666671
DRESDEN/cubicup_3player/awDtsQ76917.366666666671
BASE/reversi/d8UMeA76783.133333333331
BASE/reversiSuicide/9OxJlg74133.333333333331
DRESDEN/javastrike/whONTQ65918.066666666671
BASE/hexPie/48CH6Q65405.31
BASE/kalaha6x2x4/XS81Mg65213.633333333332
BASE/amazonsSuicide_10x10/XIbQkg58911.01
BASE/gt_two_thirds_4p/DStnxQ55159.866666666671
BASE/amazons_10x10/Bun8dA54833.11
DRESDEN/guess/PhxGhg54793.366666666672
BASE/guess/SPpk1A54475.42
DRESDEN/satlike_20v_91c/yeuENQ53834.6666666666641
DRESDEN/chinesecheckers4/-oVNYg52971.366666666671
DRESDEN/satlike_20v_91c_version2/yd9ioQ52108.01
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA49707.41
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g49158.01
DRESDEN/othello-cornercontrol/r5Gdlg47916.4333333333341
BASE/othelloHoles/c0qAzw43661.3333333333361
BASE/snakeAssemblit/UO4sdg40767.11
DRESDEN/towerworld/HCX34w37100.5666666666661
BASE/ad_game_2x2/D0aWqg35670.33
BASE/colonelBlotto/jip21A34338.766666666672
BASE/othelloSuicide/B442jg33235.633333333331
BASE/othello-comp2007/86ZoMw32600.0666666666661
DRESDEN/racer/vk_ZBA28033.62
BASE/racer/QQYQNw27385.7666666666662
BASE/kalaha_2009/dRiN3g25659.8666666666652
DRESDEN/kalaha_2009/gcC8uA25589.9333333333342
BASE/amazonsTorus_10x10/Uxc08g19731.6333333333352
DRESDEN/blobwars/ZaMluQ19731.61
BASE/blobwars/0XT15Q19322.3666666666651
BASE/blokbox_simple/JBx4bg17423.2333333333341
DRESDEN/smallest/9kaGFw11627.62
DRESDEN/Travelers-Dilemma/PvZwYw4326.2333333333347

Games with errors:

GameError message
BASE/cylinder-checkers/hlldmwTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gOutOfMemoryError: GC overhead limit exceeded
BASE/alexChess/LNo83gTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
BASE/endgame/jYjfOAException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/knightazons/apnJBQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
DRESDEN/checkers-mustjump/HUr33wTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerException
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/laikLee_hex/zbyscQException of type StackOverflowError
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/four_way_battle/xSOQXAException of type NullPointerException
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
BASE/slaughter/cOch8ATest process timed out after 240 seconds
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException

index