ALLOY_COMPILED_PROVER_CACHING:1

Comparison with GGP-Base Prover:

Median speedup47.258327927306716
Mean speedup65.83615026099721
Geometric mean speedup52.656709531129586
Ratio of # state changes with 1 second per game35.61812334915843
Ratio of times to run 1000 states per game0.013578926425813199
Number of games with errors12

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.051511310
REKKURA_BACKWARD_PROVER_OSTD:1.0.051312410
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1521809
GGP_BASE_PROVER:2015-04-265290011
ALLOY_TUPLE_PROVER:1529006
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.051613010
PALAMEDES_JOCULAR:0.6.141377396
REKKURA_GENERIC_FORWARD_PROVER:1.0.051811010
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.051712010
REKKURA_GENERIC_BACKWARD_PROVER:1.0.051712010
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.151910010

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA7275832
BASE/pearls/6k_mEQ7100602
BASE/pancakes6/QZTdnw7026651
DRESDEN/pancakes6/SZXMyQ6960661
BASE/pancakes/yUgbXw6917841
DRESDEN/pancakes/hl9aiQ6767201
BASE/maze/cCX3qQ6558722
BASE/pancakes88/l2Xaig6555671
BASE/haystack/UkweGA6501002
DRESDEN/pancakes88/aD3E7g6426331
STANFORD/untwistycomplex/HTWEwg6412581
BASE/buttons/hTcUjw6350822
BASE/untwistycomplex2/EDPPAQ6185051
DRESDEN/buttons/ADUaHw6182382
DRESDEN/fizzbuzz/t1xHzQ5995091
STANFORD/untwistycorridor/EDPPAQ5693681
BASE/troublemaker01/s3tlEQ5659502
DRESDEN/troublemaker01/C-lPWw5549562
BASE/asteroids/BKCmPQ5432321
DRESDEN/troublemaker02/iZLVuA5311982
BASE/troublemaker02/DI83KA5310292
BASE/stateSpaceSmall/Q7osKA4813342
BASE/ruleDepthLinear/OUBJpQ4777411
DRESDEN/statespacesmall/h-NqjA4775112
BASE/duplicateStateSmall/bCPAXw4769632
BASE/survival/YVIjJA4694182
BASE/gt_prisoner/klthDw4326051
BASE/gt_coordination/IVMOzA4322671
BASE/gt_staghunt/xPjLRA4283641
BASE/stateSpaceMedium/3bUoIw4280231
BASE/gt_chicken/gmepTQ4253911
DRESDEN/statespacemedium/dVJZ_w4197311
DRESDEN/gt_prisoner/huCp4w4042701
DRESDEN/gt_chicken/CeuKtw4012211
DRESDEN/point_grab/r5DPmQ4005881
BASE/point_grab/r5DPmQ3844491
BASE/onestep/xi53wA3792672
BASE/factoringGeorgeForman/HGRorQ3761131
BASE/lightsOn/MsXu3A3710941
DRESDEN/oisters_farm/pTQMLg3709421
DRESDEN/Travelers-Dilemma/PvZwYw3672391
BASE/duplicateStateMedium/U163eQ3663421
BASE/gt_centipede/9fRMpw3659942
STANFORD/multiplebuttonsandlights_9/SqB9BA3629441
DRESDEN/knightstour/cGISAA3566651
STANFORD/knightstour/cEwgNA3550041
STANFORD/multiplebuttonsandlights/cK70Yg3501531
BASE/hanoi/iGLsJg3490441
STANFORD/knightstourmedium/x1wu8Q3474021
DRESDEN/hanoi/RQ0jiA3472431
BASE/knightsTour/mvtVIg3453971
DRESDEN/gt_ultimatum/pAiiQw3411071
STANFORD/3puzzle/41ibjA3372602
BASE/gt_ultimatum/GE-uOA3353291
BASE/blocks/xIV5hQ3351102
STANFORD/threepuzzle/41ibjA3330372
BASE/gt_tinfoil/Q8DyKg3304971
DRESDEN/blocks/vg0DRw3302202
DRESDEN/hanoi7/51zz5Q3266831
BASE/blocksWorld/SEdXLQ3250962
BASE/knightsTourLarge/M8jgLA3236081
BASE/hanoi7_bugfix/3gdnFw3227171
DRESDEN/hanoi7_bugfix/3gdnFw3206251
DRESDEN/Runners/3bOCQw3206031
STANFORD/bestbuttonsandlights/nm0wEA3186181
STANFORD/knightstourbig/TQUI2g3115821
BASE/asteroidsParallel/WauZiA3093621
BASE/nim1/hin2Qw2905381
BASE/blocks2player/wnTLOQ2830311
DRESDEN/roshambo2/jgSlkQ2790441
BASE/roshambo2/KNPokQ2785411
BASE/gt_dollar/TGjqRw2766332
DRESDEN/circlesolitaire/ruUilQ2758141
STANFORD/bestbuttonsandlightsbig/g0JC6g2755851
DRESDEN/nim1/M9BALA2751041
BASE/circlesolitaire/azuQFQ2695201
BASE/asteroidsSerial/id2QkA2684871
BASE/beatMania/qUHwvQ2662911
BASE/ruleDepthExponential/UamhHQ2640701
DRESDEN/blocks2player/3ev8nQ2637471
BASE/hanoi_6_disks/MeubgQ2613031
DRESDEN/toetictac/mJtxCA2560451
DRESDEN/hanoi_6_disks/MeubgQ2548441
BASE/chickentoetictac/l57rfQ2537981
BASE/colonelBlottoVariant/X-n-KQ2498091
BASE/toetictac/mTThmg2489371
DRESDEN/nim2/z5_exA2414861
BASE/colonelBlottoVariant2/jruwGw2407671
STANFORD/jointbuttonsandlights/qAKuIQ2395221
STANFORD/rainbow/_4qNSQ2380191
DRESDEN/chickentoetictac/cxYaRQ2355861
BASE/firefighter/WJmoPw2331621
BASE/nim2/eF2Qqw2320111
DRESDEN/firefighter/WJmoPw2301611
DRESDEN/statespacelarge/8-y5HQ2216361
DRESDEN/vacuum_cleaner_1/eUNjpw2207781
BASE/switches/tPUoCg2202202
BASE/stateSpaceLarge/0Ge_CQ2201261
DRESDEN/aipsrovers01/qS47Mw2170401
BASE/brain_teaser_extended/ZDp94A2099791
DRESDEN/brain_teaser_extended/ZDp94A2082901
DRESDEN/lightson2x2/gBHuig2039951
DRESDEN/CatchMeIfYouCanTest/CX18rA2007861
BASE/aipsrovers01/4C4jsw1979291
DRESDEN/Catch-Me-If-You-Can/ghGWrA1942021
BASE/hodgepodge/9yjRkw1932072
DRESDEN/Thief_Police/CX18rA1923951
DRESDEN/catch_me/ghGWrA1919261
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1894861
BASE/blocksWorldSerial/Wyg96Q1877492
DRESDEN/2player_normal_form_2010/NG_Kdg1873142
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1856931
DRESDEN/nim4/F5YAYg1849141
DRESDEN/nim3/sG_axA1835981
BASE/nim3/1OwUqw1835441
BASE/nim4/twk16w1826661
BASE/tictactoe2/bhrDoQ1802891
BASE/lightsOnParallel/SC6enA1784591
BASE/factoringEasyTurtleBrain/lUj94Q1774071
DRESDEN/guess/PhxGhg1743751
DRESDEN/sum15/CsgWKg1712421
BASE/sum15/QZ07Kg1708121
BASE/factoringMutuallyAssuredDestruction/NH0LGg1706981
BASE/guess/SPpk1A1683401
STANFORD/hunter/14dD-g1642781
BASE/incredible/8Qh-6Q1585261
BASE/snakeParallel/RCVNtw1571091
DRESDEN/blocksworldparallel/2JfVaw1567562
BASE/tictactoe_orthogonal/WRzlVw1559031
DRESDEN/tictactoe_orthogonal/y69QFQ1524091
STANFORD/tictactoe3/X7myng1520122
STANFORD/tictactoe7/-bE9-A1505572
STANFORD/tictactoe5/WFRReg1470712
DRESDEN/blocker/S815zQ1462021
DRESDEN/tictactoe-init1/3ltIBQ1451272
BASE/tictactoe-init1/7M19vA1445742
BASE/blocker/dIWtxg1445451
STANFORD/trifecta/ss1kyQ1440471
BASE/ticTacToe/JRFsaQ1436771
BASE/chineseCheckers1/gqtwHw1433551
DRESDEN/tictactoe/BTTzPw1397851
BASE/ticTacToeNoVars/XT03NA1396171
STANFORD/tictactoe/ss1kyQ1371631
STANFORD/sukoshi/4LYZZQ1359372
BASE/biddingTicTacToe/8mESVw1337391
STANFORD/dualrainbow/G3OnRQ1337131
DRESDEN/bidding-tictactoe/yW5vTA1309811
DRESDEN/ghostmaze2p/HY0UwA1308671
BASE/ghostMaze2p/W-NU-w1304221
DRESDEN/vacuumcleaner_random/_6AGDA1279841
BASE/eotcatcit/AfZSzA1275221
DRESDEN/eotcatcit/mQUxzA1269291
BASE/chickentictactoe/DSlZCA1243541
DRESDEN/chickentictactoe/Ipbo-g1205141
BASE/gt_attrition/kD_SCA1194291
DRESDEN/smallest_4player/ADDROA1158831
BASE/smallest_4player/ADDROA1158371
BASE/ticTacToeLarge/TZC0dg1139361
DRESDEN/tictactoelargesuicide/6J4DeA1119951
BASE/kitten_escapes_from_fire/uW-YiA1119781
BASE/knightfight/SJRkAg1116321
BASE/ticTacToeLargeSuicide/727_8g1115491
DRESDEN/tictactoelarge/IwXcbg1115321
DRESDEN/kitten_escapes_from_fire/uW-YiA1113061
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1105041
DRESDEN/8puzzle/8fKC2w1099101
DRESDEN/knightfight/4_Ly4w1095101
BASE/eightPuzzle/vLrgFg1094551
BASE/tron_10x10/7ZTgDg1092151
STANFORD/8puzzle/jNiGtw1082861
BASE/kalaha5x2x3/WviNsw1079531
BASE/mummyMaze2p_2007/YGA3Vw1073501
DRESDEN/mummymaze2p-comp2007/oTQRQg1073281
BASE/checkLines/Vop7oQ1072921
BASE/lightsOut/5P1ZBw1067421
DRESDEN/lightsout2/LFtfyQ1060551
BASE/biddingTicTacToe_10coins/a-9ccQ1049911
DRESDEN/lightsout/XgLpzQ1046891
STANFORD/eightpuzzle/W_aWbA1031851
BASE/chineseCheckers2/eCMR3Q1019031
BASE/coloredtrails/EZvr7g1009301
BASE/kalaha6x2x4/XS81Mg1007561
DRESDEN/twisty-passages/j7NPyg987471
BASE/twisty-passages/DiZmmg985821
BASE/ticblock/T21C1g980841
BASE/queens06ug/7Lq3tw972421
BASE/kalaha_2009/dRiN3g972171
BASE/snake2p/I3wWPQ971662
DRESDEN/cube_2x2x2/fp-34Q953821
DRESDEN/kalaha_2009/gcC8uA953631
BASE/ticTacToeSerial/Amrwqw948851
BASE/chineseCheckers3/-1rZdQ941971
DRESDEN/mummymaze1p/AekgaQ940931
BASE/duplicateStateLarge/dcjyuw937611
DRESDEN/ticblock/Z2yNWQ914621
DRESDEN/snake_2008/E56l3A911061
BASE/snake_2008/i6K26g908261
BASE/mummymaze1p/PT_EXA904541
BASE/snake_2008_tweaked/bX0NJQ899341
DRESDEN/smallest/9kaGFw884191
DRESDEN/tictictoe/LAUtwg868931
BASE/snake_2009/7l-qAQ861001
DRESDEN/bomberman2p/x4h6jQ855611
BASE/bomberman2p/4CClwA849151
BASE/colonelBlotto/jip21A848791
BASE/ticTicToe/c1OobQ838561
DRESDEN/double_tictactoe_dengji/bGaUyQ838351
DRESDEN/snake_2009/zIYLVw837831
BASE/blockerSerial/3eqDuw834021
BASE/minichess/8NQEiA825462
BASE/double_tictactoe_dengji/zgaSbA821911
DRESDEN/grid_game/U7_Yeg821321
DRESDEN/doubletictactoe/lJzgmQ818861
BASE/doubletictactoe/HH1htg811641
STANFORD/tictictoe/rpt_Dw811501
DRESDEN/bunk_t/7-tPfA804791
BASE/eotcitcit/V_9_bg803221
DRESDEN/doubletoetictac/V89gKQ800791
DRESDEN/logistics/fPru1Q793371
BASE/doubletoetictac/fu35bg792511
DRESDEN/3pffa/0YrmQw781741
DRESDEN/latenttictactoe/kITHKg778251
BASE/bunk_t/xbpfIA775521
STANFORD/dualhunter/1rPZjQ767511
DRESDEN/chomp/-LcqYQ764021
BASE/chomp/-LcqYQ758521
DRESDEN/snake_2009_big/DgC1NQ748781
DRESDEN/3pttc/uwYBZw745981
BASE/2pttc/unkkYA740831
DRESDEN/crossers3/xiPTxg732591
BASE/connectFourSuicide/c8p9Kw729171
BASE/snake_2009_big/-oRfVw723581
BASE/2pffa/6oHijA721541
BASE/2pffa_zerosum/o0_uZA721501
BASE/crossers3/O0rORg716391
STANFORD/freeforall/Lfp40Q715961
BASE/connectFour/WAIKTw708121
STANFORD/connectfour/VMpZkQ704881
BASE/3pttc/0sol9g692671
DRESDEN/babel/WdSW4A690501
DRESDEN/knightwar/7hhAqg681531
DRESDEN/connectfoursuicide/M9CNQg670411
BASE/3pffa/pR0dzA669911
BASE/racer/QQYQNw668071
BASE/breakthroughSmall/HJ0tIA667911
BASE/dotsAndBoxes/EHwA_w658591
BASE/ttcc4_2player_small/Cv72TA655901
DRESDEN/connectfour/5tc-Mg653691
BASE/knightwar/DVGY4Q652851
DRESDEN/racer/vk_ZBA651001
BASE/mummymaze2p/vpjDdA649691
BASE/dotsAndBoxesSuicide/jzQbLw647271
BASE/numbertictactoe/rvJ-iQ644971
BASE/chineseCheckers4/avfBcQ635091
BASE/4pffa/Q3ADlg634731
DRESDEN/mummymaze2p/k-8edg634011
DRESDEN/4pttc/9pB9AQ633261
DRESDEN/battlesnakes1509/-qZrLw629671
DRESDEN/battlesnakes2011/93VtTw622221
BASE/ad_game_2x2/D0aWqg615211
BASE/gt_two_thirds_2p/1APDGg613961
DRESDEN/chinesecheckers1/Y-ftaA613111
DRESDEN/minichess/c7GMFw610861
DRESDEN/vacuumcleaner_random_big/DwzFaQ610851
BASE/ticTacToeParallel/ymRGPw610781
DRESDEN/tictactoeparallel/yk_DSg609651
BASE/chineseCheckers6/rREH3A603631
BASE/factoringMediumTurtleBrain/8RBqmQ602731
BASE/connectFourLarge/aU644A594151
BASE/quarto/EwBMVQ589281
BASE/quartoSuicide/-23jUg589021
DRESDEN/quarto/OQzRYQ578411
DRESDEN/racetrackcorridor/O0DoTA578281
BASE/breakthroughSmallHoles/bxclRw576301
BASE/queens08ug/kJ_ZFQ575821
DRESDEN/quartosuicide/WIU1oQ574241
STANFORD/duikoshi/tpw1sw567541
DRESDEN/frogs_and_toads/GjchhQ565551
BASE/4pttc/AL1k2Q560091
STANFORD/alquerquezero/uVgA_A559731
DRESDEN/knightmove/97Ipcw549841
BASE/knightmove/jBaJEw547531
BASE/catcha_mouse/cHv4dw542031
BASE/englishDraughts/jFkQxg526181
DRESDEN/breakthroughsuicide/Y9QzqQ525491
DRESDEN/breakthroughsuicide_v2/LU1nAw519921
DRESDEN/mimikry/GJEhwA519801
DRESDEN/tictactoe_3player/ESLQQQ518911
BASE/tictactoe_3player/GtM71g516711
DRESDEN/crisscross/GsY16g516471
BASE/escortLatch/mX9BjQ515961
BASE/3pConnectFour/PqXOFQ512911
DRESDEN/breakthrough/z4hK7Q510541
DRESDEN/catcha_mouse/cHv4dw510021
BASE/wargame01/_GZFZg508301
STANFORD/breakthrough/d5j0cQ502421
BASE/breakthrough/TGxk-g502391
BASE/crisscross/ICagEg501791
DRESDEN/pawn_whopping/4ogBkg497901
DRESDEN/knightthrough/J7Fc_Q497661
BASE/checkersBarrelNoKings/rnKNeg496311
BASE/checkersTorusNoKings/pwb6oQ494391
BASE/breakthroughSuicide/wZDpIg493631
DRESDEN/chinesecheckers2/06E6-Q492851
DRESDEN/pawn_whopping_corrected/7Ov0jQ489281
STANFORD/triplesukoshi/Iu9mbA487171
BASE/breakthroughWalls/vOZaYA486801
BASE/coins_atomic/AA3SSw485092
BASE/blocksWorldParallel/RseaAQ482612
BASE/coins/QnGtnQ478802
DRESDEN/coins/QwFP9w476752
BASE/breakthroughHoles/nZk0Sg474521
BASE/checkersTorus/2vm1EQ472321
DRESDEN/crissrace/KWb9bw471681
BASE/knightThrough/gcwFjA462951
BASE/crissrace/ERWGDA459651
DRESDEN/farmers/S_ASnw458061
DRESDEN/chinesecheckers3/QsCb2A457231
BASE/dualConnect4/WbCQkg455301
BASE/pawnWhopping/Ypc_6Q454101
BASE/ttcc4_2player_alt/ZEJvYA444951
BASE/connectFourSimultaneous/7ITr3g443361
BASE/wargame03/klXI8w437421
STANFORD/checkersonabarrelnokings/Zrevdw437091
DRESDEN/pacman3p/rBnk8Q434301
BASE/lightsOnSimultaneous/_VN6lw425691
BASE/checkersTiny/Lr48cg421801
BASE/mineClearingSmall/frsbvw419401
BASE/pacman3p/wW7UVQ416691
BASE/pacman2p/4LEdQg415591
BASE/conn4/va9Y7A414841
BASE/connectFourLarger/qKi60A408951
BASE/chinook/XQh0IQ401771
BASE/withConviction/3Xm54A398791
BASE/cittaceot/fDxhXg396871
DRESDEN/chinesecheckers6/yTbPDA383701
BASE/simultaneousWin2/PfjRjw382571
BASE/tictactoe_3d_small_2player/oOryKA380361
STANFORD/pilgrimage/ObRZnQ379351
DRESDEN/tttcc4/sAvtFg377881
BASE/tttcc4/8Bs2lg376531
DRESDEN/tictactoe_3d_small_2player/HYttcg374371
STANFORD/ttcc4/Cx9SGw373601
STANFORD/chinook/osFbPA371001
BASE/ttcc4/Le0qjQ370711
BASE/ttcc4_2player/_aH_Mw366391
BASE/futoshiki4/BaCwSw363891
BASE/lightsOnSimul4/9FeASw357521
DRESDEN/skirmish2/iPpWhQ354341
DRESDEN/max_knights/hCipiA340551
BASE/nineBoardTicTacToe/wRmqqA339461
STANFORD/nineboardtictactoe/y28P-A336671
BASE/amazons_8x8/7SOsIw333861
BASE/max_knights/2fq3Ag332141
BASE/checkersSmall/SYmq8w324931
BASE/gt_two_thirds_4p/DStnxQ324471
BASE/ticTacHeavenFC/mrletw322761
DRESDEN/queens/mW2wHQ321171
BASE/tictactoe_3d_small_6player/g_9lww318981
DRESDEN/skirmish/RjGQYQ317841
BASE/wargame02/BkVqqQ317381
DRESDEN/tictactoe_3d_small_6player/llDEDQ316541
BASE/queens/HyJJnQ314911
DRESDEN/skirmish3/3LU8Nw314111
DRESDEN/stratego/Z2wovg311511
BASE/ticTacHeaven/18n58A310461
DRESDEN/pawn_whopping_simultaneous/r8dLfw310261
BASE/nineBoardTicTacToePie/B8LzeQ306031
STANFORD/platformjumpers/HEQskA306011
DRESDEN/chinesecheckers4/-oVNYg301311
BASE/majorities/ibJzSQ290921
STANFORD/pentago/ZxzLmg286671
STANFORD/multipletictactoe/_bkafQ284531
BASE/choicethroughalt/tt71Lg284301
DRESDEN/knightazons/02I8BQ284021
BASE/knightazons/apnJBQ281521
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw280841
BASE/amazonsSuicide_10x10/XIbQkg277881
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg274511
BASE/endgame/jYjfOA271551
DRESDEN/sheep_and_wolf/enAIzQ271261
BASE/wallmaze/uxNQ9g271241
BASE/amazons_10x10/Bun8dA269331
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ267611
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg266041
DRESDEN/connect4/T0-rHQ265611
BASE/connect4/50bOyw262751
STANFORD/hex/MTqWcw259131
BASE/hex/T1MK8g258621
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg253791
DRESDEN/tpeg/h-Scbg250891
BASE/sheepAndWolf/g4THrg250501
BASE/tpeg/QNs7Lw248201
DRESDEN/backgammon/mqCW0Q248101
BASE/checkers/rOC3Xg240461
BASE/hexPie/48CH6Q231951
BASE/cubicup/4wNWJA229991
BASE/qyshinsu/R08Lzw227281
DRESDEN/peg_bugfixed/u_B7MA227101
BASE/peg/fJHVWw224881
DRESDEN/peg/Vo31eg223981
DRESDEN/cubicup/SBn_lw223451
DRESDEN/endgame/IJhh3Q220701
DRESDEN/hallway/0H4l-Q216591
DRESDEN/satlike_20v_91c_version2/yd9ioQ215011
DRESDEN/uf20-01.cnf.SAT/42Rs8A214251
BASE/hallway/ckCJOw213831
DRESDEN/satlike_20v_91c/yeuENQ213761
DRESDEN/sat_test_20v_91c_version2/a1mPBA210671
BASE/gt_two_thirds_6p/867v3Q210291
DRESDEN/uf20-020.cnf.SAT/hDrW_A209701
DRESDEN/sat_test_20v_91c/dK7nVw209241
DRESDEN/tictactoex9/rFkD4w204301
BASE/amazonsTorus_10x10/Uxc08g204031
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g203971
BASE/connect5/d-BVQg202811
DRESDEN/uf20-010.cnf.SAT/5ICbCg202771
DRESDEN/connect5/1kYzSg202661
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA202511
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA200691
DRESDEN/ggp-course2013_jordi/9QI6Kw200031
BASE/tictactoex9/BI26ow196671
DRESDEN/blockerparallel/dVQgSg191551
BASE/blockerParallel/7-nDJA189101
BASE/merrills/pku8Tg184901
DRESDEN/checkers-newgoals/IJOqXQ184421
DRESDEN/checkers/jIDMIg183911
DRESDEN/merrills/aYEzwA183581
BASE/checkers-newgoals/0XkFiA183381
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw183351
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw182131
BASE/pegEuro/5awwhg181981
BASE/speedChess/bPnisA172701
BASE/cylinder-checkers/hlldmw167721
DRESDEN/brawl/2kXtfQ164781
BASE/futoshiki5/TJ4BZg164641
DRESDEN/cylinder-checkers/clOO3Q163881
BASE/slidingpieces/uFJWEw162791
DRESDEN/slidingpieces/s9_44g158441
DRESDEN/golden_rectangle/1uloXw157641
BASE/golden_rectangle/_nYzfw157281
BASE/skirmishZeroSum/zh4hcw156921
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g156511
BASE/brawl/6Ymo_Q153931
BASE/checkers-mustjump/T-8UuQ153671
BASE/skirmishNew/sibw2g153401
DRESDEN/Zhadu/9zpQ5w152841
DRESDEN/checkers-mustjump/HUr33w151401
DRESDEN/grid_game2/kypTYQ145241
DRESDEN/tictactoe_3d_2player/LMuX9w139011
BASE/pentago/86NgKw137451
BASE/pentagoSuicide/SBgNhw136931
DRESDEN/checkers-cylinder-mustjump/vW_-pA136801
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw136551
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg136171
BASE/checkers-cylinder-mustjump/rjr6qQ135331
DRESDEN/tictactoe_3d_6player/ulZPWg134541
BASE/tictactoe_3d_2player/IUC1rQ134291
BASE/tictactoe_3d_6player/d7KSwg133921
BASE/sudoku/NTaNkw132391
BASE/minichess-evilconjuncts/4OpQzw131881
DRESDEN/pentago_2008/hLjVpQ129961
BASE/checkers-mustjump-torus/uSApKQ129821
DRESDEN/checkers-mustjump-torus/cVc3gA127261
BASE/queens08lg/Ru7eqQ126521
BASE/blobwars/0XT15Q126231
DRESDEN/blobwars/ZaMluQ126081
BASE/cubicup_3player/e2yA_g124961
DRESDEN/cubicup_3player/awDtsQ124961
DRESDEN/minichess-evilconjuncts/th24Tw123641
DRESDEN/chinesecheckers6-simultaneous/gPPGUw122291
BASE/skirmishFinal3/-Olhfw116631
STANFORD/selectivesukoshi/3xmXYg114021
DRESDEN/battlebrushes/QHXV4A108891
BASE/skirmishFinal1/ecWTnQ108121
BASE/skirmishFinal2/gdB62Q105071
DRESDEN/skirmishfinal/hzq8ww103131
BASE/futoshiki6/JmvXNA97001
BASE/hitori/S8Gsyg91761
DRESDEN/hitori/S8Gsyg91481
STANFORD/madness/UO_B3A82271
STANFORD/skirmish/w4V6Vw77771
DRESDEN/four_way_battle/xSOQXA76741
BASE/skirmish/Y_psYQ76471
BASE/skirmishHoles/AUCxCA76221
DRESDEN/capture_the_king/EQ229Q75491
BASE/four_way_battle/xSOQXA74761
BASE/strangeSkirmish/gc1zKA69271
BASE/god/qF06gw65971
DRESDEN/god/2EDD5w62981
BASE/sudokuGrade5/BQfUQA59761
BASE/sudokuGrade1/tDRNRw59421
BASE/sudokuGrade4/DTy07w59241
BASE/sudokuGrade2/u80Tfw58641
STANFORD/sudoku/oJ1qyQ57921
BASE/sudokuGrade3/eI8dvg57361
BASE/sudokuGrade6H/ieE_9A53491
BASE/sudokuGrade6E/ihYFZA52941
DRESDEN/ggp-course2013_nicolai/uEin8g51701
DRESDEN/quad_5x5_8_2/JRTLJg51681
BASE/slaughter/cOch8A51401
STANFORD/duidoku/3SoMaA47271
BASE/quad_5x5/JAEP5g40581
DRESDEN/quad_5x5/JAEP5g40351
DRESDEN/amazons/dNB28A38931
BASE/factoringImpossibleTurtleBrain/kcBhdw33181
BASE/zhadu/DlA8iQ33061
BASE/cephalopodMicro/9l2D3g31191
DRESDEN/CephalopodMicro/H3XQfg30981
DRESDEN/small_dominion/yB5GJA29151
BASE/battle/8oAvhQ26761
DRESDEN/battle/8oAvhQ26651
DRESDEN/ggp-course2013_michal13/jWKddg24541
BASE/reversi/d8UMeA23851
DRESDEN/pawntoqueen/f_x6Aw23451
BASE/pawnToQueen/-O1_JA21731
DRESDEN/towerworld/HCX34w13221
BASE/othelloHoles/c0qAzw10491
BASE/othello-comp2007/86ZoMw9001
BASE/othelloSuicide/B442jg8901
BASE/amazons/RKKZjw7761
BASE/amazonsSuicide/dE1QEQ7711
DRESDEN/quad_7x7/q-JOXg6412
DRESDEN/othello-cornercontrol/r5Gdlg6151
BASE/quad_7x7/q-JOXg6003
BASE/blokbox_simple/JBx4bg1281
BASE/queens31lg/0gID-A911
BASE/quad/tw-Ufg493
DRESDEN/quad/JPe6fg403

Games with errors:

GameError message
DRESDEN/Goldrush/VeWczQRuntimeException: CompiledProver could not be created
STANFORD/kono/HI7CHAIllegalArgumentException: bound must be positive
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/racetrackcorridor/k1OQRgGameDescriptionException: Goal is poorly defined for black in [( true ( cell blane a 1 b ) ), ( true ( cell blane a 2 b ) ), ( true ( cell blane a 3 b ) ), ( true ( cell blane b 1 b ) ), ( true ( cell blane b 2 b ) ), ( true ( cell blane b 3 b ) ), ( true ( cell blane c 1 b ) ), ( true ( cell blane c 2 b ) ), ( true ( cell blane c 3 b ) ), ( true ( cell blane d 1 b ) ), ( true ( cell blane d 2 b ) ), ( true ( cell blane d 3 b ) ), ( true ( cell blane e 1 black ) ), ( true ( cell blane e 2 b ) ), ( true ( cell blane e 3 b ) ), ( true ( cell wlane a 1 b ) ), ( true ( cell wlane a 2 b ) ), ( true ( cell wlane a 3 b ) ), ( true ( cell wlane b 1 b ) ), ( true ( cell wlane b 2 b ) ), ( true ( cell wlane b 3 b ) ), ( true ( cell wlane c 1 b ) ), ( true ( cell wlane c 2 b ) ), ( true ( cell wlane c 3 b ) ), ( true ( cell wlane d 1 b ) ), ( true ( cell wlane d 2 b ) ), ( true ( cell wlane d 3 b ) ), ( true ( cell wlane e 1 b ) ), ( true ( cell wlane e 2 white ) ), ( true ( cell wlane e 3 b ) ), ( true ( step 8 ) ), ( true ( wall blane c none ) ), ( true ( wall blane d right ) ), ( true ( wall wlane a none ) ), ( true ( wall wlane c left ) ), ( true ( wall wlane d none ) ), ( true ( walls black 6 ) ), ( true ( walls white 7 ) )]
DRESDEN/SC_TestOnly_enabled/09o7gQRuntimeException: CompiledProver could not be created
BASE/amazonsTorus/soxT8gException of type StackOverflowError
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
STANFORD/breakthroughsmall/HM0s5wException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/snakeAssemblit/sOydSgGameDescriptionException: Goal is poorly defined for red in [( true ( at blue 4 1 ) ), ( true ( at red 4 1 ) ), ( true ( cell 3 3 f ) ), ( true ( cell 4 1 red ) ), ( true ( cell 4 2 f ) ), ( true ( cell 4 3 f ) ), ( true ( cell 4 4 f ) ), ( true ( cell 4 5 f ) ), ( true ( cell 4 6 f ) ), ( true ( cell 5 1 f ) ), ( true ( cell 5 2 f ) ), ( true ( cell 5 6 f ) ), ( true ( cell 6 2 f ) ), ( true ( cell 6 3 f ) ), ( true ( cell 6 4 f ) ), ( true ( cell 6 5 f ) ), ( true ( cell 6 6 f ) ), ( true ( cell 7 2 blue ) ), ( true ( control_assem blue ) ), ( true ( control_snake red ) ), ( true ( marked 2 4 ) ), ( true ( marked 3 4 ) ), ( true ( marked 4 3 ) ), ( true ( marked 4 4 ) ), ( true ( marked 6 3 ) ), ( true ( marks_remain blue 5 ) ), ( true ( marks_remain red 5 ) ), ( true ( score blue 20 ) ), ( true ( score red 12 ) ), ( true ( step 40 ) )]
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/javastrike/whONTQException of type StackOverflowError