index

PALAMEDES_JOCULAR:0.6.1

Comparison with GGP-Base Prover:

Median speedup1.4848323933717635
Mean speedup117.99519996142153
Geometric mean speedup1.4503581079716512
Ratio of # state changes with 1 second per game89.2888024201429
Ratio of times to run 1000 states per game16.884223124320854
Number of games with errors85

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)442640175
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)352711280
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)393939370
ALLOY_TUPLE_PROVER:2 (comparison)179229085
CADIAPLAYER_PROLOG:3.0 (comparison)12913920361
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)42783680
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)42783679
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)361810280
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)363810079
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)176029576
GGP_BASE_PROVER:2015-04-26 (comparison)296017585
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)4615573
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)39442883
FLUXPLAYER_PROLOG:1.1 (comparison)1793725580

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ6619832.62
BASE/maze/cCX3qQ6570389.3666666661
STANFORD/threepuzzle/41ibjA5364334.6666666671
STANFORD/3puzzle/41ibjA5284182.62
BASE/haystack/UkweGA4842738.5333333331
BASE/blocksWorldSerial/Wyg96Q4842587.52
DRESDEN/troublemaker01/C-lPWw4747313.9333333341
BASE/troublemaker01/s3tlEQ4616635.9666666671
BASE/blocksWorld/SEdXLQ4530110.5333333331
DRESDEN/blocks/vg0DRw4489597.12
BASE/blocks/xIV5hQ4466503.6333333342
DRESDEN/troublemaker02/iZLVuA4296337.2333333331
BASE/troublemaker02/DI83KA4228725.7333333331
BASE/buttons/hTcUjw4066997.63333333332
STANFORD/buttonsandlights/eyhJpA4044583.5666666672
STANFORD/tictactoe3/X7myng4010756.5333333332
DRESDEN/buttons/ADUaHw4008327.62
BASE/gt_centipede/9fRMpw4000706.01
BASE/stateSpaceSmall/Q7osKA3937888.5333333332
BASE/duplicateStateSmall/bCPAXw3927105.82
DRESDEN/statespacesmall/h-NqjA3862987.4333333332
BASE/gt_dollar/TGjqRw3732660.63333333332
BASE/tictactoe-init1/7M19vA3716897.4333333332
STANFORD/tictactoe5/WFRReg3715433.42
DRESDEN/tictactoe-init1/3ltIBQ3705337.26666666661
DRESDEN/blocksworldparallel/2JfVaw3315571.51
DRESDEN/coins/QwFP9w3245336.76666666662
BASE/blocksWorldParallel/RseaAQ3212132.66666666652
BASE/coins/QnGtnQ3113456.0666666672
BASE/coins_atomic/AA3SSw3003224.86666666672
BASE/minichess/8NQEiA2890836.4666666672
BASE/hodgepodge/9yjRkw2815627.63333333332
BASE/onestep/xi53wA2757836.22
BASE/survival/YVIjJA2717466.23333333342
BASE/switches/tPUoCg2289665.26666666661
STANFORD/tictactoe7/-bE9-A2162157.21
DRESDEN/2player_normal_form_2010/NG_Kdg2054130.06666666672
STANFORD/sukoshi/4LYZZQ1670822.01
BASE/snake2p/I3wWPQ732503.03333333331
STANFORD/knightstourmedium/x1wu8Q162512.733333333344
BASE/knightsTour/mvtVIg69530.033333333344
STANFORD/knightstour/cEwgNA69221.833333333334
DRESDEN/knightstour/cGISAA66922.133333333334
STANFORD/untwistycorridor/EDPPAQ62966.323138297874
BASE/untwistycomplex2/EDPPAQ62828.033333333334
STANFORD/rainbow/_4qNSQ27439.75
BASE/circlesolitaire/azuQFQ27337.2666666666664
STANFORD/multiplebuttonsandlights_9/SqB9BA27086.8333333333325
STANFORD/multiplebuttonsandlights/cK70Yg27000.05
DRESDEN/circlesolitaire/ruUilQ26886.2644501449184
STANFORD/bestbuttonsandlights/nm0wEA24406.3593640635955
BASE/kitten_escapes_from_fire/uW-YiA24062.7333333333346
BASE/hanoi_6_disks/MeubgQ23894.5333333333335
BASE/tron_10x10/7ZTgDg23652.2666666666664
DRESDEN/kitten_escapes_from_fire/uW-YiA23130.0666666666666
DRESDEN/hanoi_6_disks/MeubgQ22392.15
DRESDEN/pancakes/hl9aiQ22038.4333333333347
DRESDEN/pancakes6/SZXMyQ21731.77
BASE/pancakes/yUgbXw21678.4262775667927
BASE/lightsOn/MsXu3A21637.0666666666665
BASE/pancakes6/QZTdnw21474.11698125777
DRESDEN/toetictac/mJtxCA20935.6333333333354
BASE/gt_coordination/IVMOzA20666.04
BASE/toetictac/mTThmg20563.2666666666664
DRESDEN/roshambo2/jgSlkQ19717.9034354070176
BASE/roshambo2/KNPokQ19519.6522550129926
BASE/blocks2player/wnTLOQ19372.117051059864
BASE/knightsTourLarge/M8jgLA19301.66
DRESDEN/pancakes88/aD3E7g19301.0656010656024
DRESDEN/blocks2player/3ev8nQ19109.1333333333354
BASE/pancakes88/l2Xaig18931.1333333333354
DRESDEN/statespacemedium/dVJZ_w18024.8333333333325
BASE/stateSpaceMedium/3bUoIw17982.051282051285
DRESDEN/oisters_farm/pTQMLg17730.926770788245
BASE/duplicateStateMedium/U163eQ17455.644758319734
STANFORD/bestbuttonsandlightsbig/g0JC6g17424.6684880389155
BASE/ticTacToeNoVars/XT03NA17212.14
BASE/point_grab/V_osUg16168.1433615348746
DRESDEN/sum15/CsgWKg16099.6666666666664
DRESDEN/point_grab/r5DPmQ16009.616011474026
BASE/sum15/QZ07Kg15968.54
STANFORD/knightstourbig/TQUI2g15286.0666666666687
BASE/tictactoe_orthogonal/WRzlVw14951.3333333333345
STANFORD/jointbuttonsandlights/qAKuIQ14837.85
DRESDEN/tictactoe/BTTzPw14435.5709619358715
BASE/stateSpaceLarge/0Ge_CQ14411.8666666666675
DRESDEN/statespacelarge/8-y5HQ14343.45
DRESDEN/Runners/3bOCQw14274.0054641167467
DRESDEN/tictactoe_orthogonal/y69QFQ14214.8666666666675
BASE/ticTacToe/JRFsaQ14129.9160111985075
BASE/tictactoe2/bhrDoQ13908.6666666666665
DRESDEN/eotcatcit/mQUxzA13794.25
STANFORD/trifecta/ss1kyQ13533.35
BASE/eotcatcit/AfZSzA13515.2333333333345
STANFORD/tictactoe/ss1kyQ13159.9666666666675
BASE/aipsrovers01/4C4jsw13033.9376263546874
DRESDEN/chickentoetictac/cxYaRQ12851.2333333333344
DRESDEN/lightson2x2/gBHuig12840.235897777635
BASE/chickentoetictac/l57rfQ12837.9333333333324
DRESDEN/aipsrovers01/qS47Mw12662.9677763337664
BASE/beatMania/qUHwvQ12305.8898036732125
BASE/firefighter/WJmoPw12273.45
DRESDEN/firefighter/WJmoPw12119.3507532329025
BASE/factoringGeorgeForman/HGRorQ12050.16
BASE/gt_prisoner/klthDw11515.2666666666666
BASE/gt_staghunt/xPjLRA11433.5666666666686
STANFORD/dualrainbow/G3OnRQ11392.9333333333325
DRESDEN/gt_prisoner/huCp4w11276.86
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A10735.9333333333325
BASE/lightsOnParallel/SC6enA10309.2666666666665
BASE/blocker/dIWtxg9985.3333333333345
DRESDEN/gt_chicken/CeuKtw9813.5666666666686
DRESDEN/blocker/S815zQ9676.306933662085
BASE/gt_chicken/gmepTQ9641.7333333333346
DRESDEN/chickentictactoe/Ipbo-g9157.1333333333335
BASE/chickentictactoe/DSlZCA8980.571200053325
BASE/factoringEasyTurtleBrain/lUj94Q8917.6333333333335
STANFORD/hunter/14dD-g8480.1666666666665
BASE/eightPuzzle/vLrgFg8140.6333333333337
STANFORD/8puzzle/jNiGtw8011.8333333333337
BASE/incredible/8Qh-6Q7975.0666666666675
BASE/ticTicToe/c1OobQ7945.1333333333335
DRESDEN/tictictoe/LAUtwg7941.8666666666675
BASE/eotcitcit/V_9_bg7935.3666666666675
STANFORD/tictictoe/rpt_Dw7929.14986503149255
DRESDEN/8puzzle/8fKC2w7861.67
DRESDEN/Catch-Me-If-You-Can/ghGWrA7638.9333333333337
DRESDEN/catch_me/ghGWrA7575.7333333333347
STANFORD/eightpuzzle/W_aWbA7458.5333333333346
BASE/brain_teaser_extended/ZDp94A7411.6666666666676
DRESDEN/CatchMeIfYouCanTest/CX18rA7384.1666666666677
DRESDEN/Thief_Police/CX18rA7296.0666666666677
BASE/duplicateStateLarge/dcjyuw7057.6666666666674
DRESDEN/brain_teaser_extended/ZDp94A6800.06
DRESDEN/vacuum_cleaner_1/eUNjpw6330.80025330800257
DRESDEN/latenttictactoe/kITHKg6274.1666666666674
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA6214.32618912702957
BASE/coloredtrails/EZvr7g6204.9666666666664
BASE/ghostMaze2p/W-NU-w6119.4666666666665
DRESDEN/snake_2008/E56l3A5593.24
BASE/chineseCheckers1/gqtwHw5568.9333333333337
BASE/snake_2008_tweaked/bX0NJQ5497.6666666666674
DRESDEN/tictactoelargesuicide/6J4DeA5493.2849001899565
DRESDEN/tictactoelarge/IwXcbg5483.1666666666675
BASE/ticTacToeLargeSuicide/727_8g5462.9333333333336
BASE/snake_2008/i6K26g5379.5666666666674
BASE/ticTacToeLarge/TZC0dg5319.9666666666666
BASE/kalaha5x2x3/WviNsw5294.9333333333334
DRESDEN/logistics/fPru1Q5227.6333333333334
DRESDEN/hanoi/RQ0jiA5024.8666666666679
DRESDEN/snake_2009/zIYLVw4911.8666666666674
BASE/snake_2009/7l-qAQ4891.4666666666664
BASE/hanoi/iGLsJg4874.76666666666610
BASE/numbertictactoe/rvJ-iQ4760.67
BASE/kalaha6x2x4/XS81Mg4541.7458254174584
BASE/kalaha_2009/dRiN3g4535.13
DRESDEN/kalaha_2009/gcC8uA4434.53
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4063.43333333333345
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4057.16666666666654
BASE/bomberman2p/4CClwA4047.25
BASE/chineseCheckers2/eCMR3Q4030.66666666666657
DRESDEN/cube_2x2x2/fp-34Q4010.16
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3915.95
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3913.96666666666675
DRESDEN/uf20-010.cnf.SAT/5ICbCg3860.53333333333334
DRESDEN/uf20-01.cnf.SAT/42Rs8A3693.72
DRESDEN/knightfight/4_Ly4w3610.2333333333338
DRESDEN/hanoi7/51zz5Q3610.110
DRESDEN/uf20-020.cnf.SAT/hDrW_A3563.7333333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3555.85
DRESDEN/sat_test_20v_91c/dK7nVw3495.6333333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA3493.14
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3417.96666666666674
BASE/knightfight/SJRkAg3397.28
BASE/hanoi7_bugfix/3gdnFw3382.86666666666710
DRESDEN/hanoi7_bugfix/3gdnFw3365.63333333333310
BASE/chineseCheckers3/-1rZdQ3324.7333333333337
DRESDEN/chinesecheckers1/Y-ftaA3187.06666666666666
BASE/doubletictactoe/HH1htg2925.47
BASE/bunk_t/xbpfIA2920.3666666666677
DRESDEN/bunk_t/7-tPfA2919.97
BASE/doubletoetictac/fu35bg2906.7666666666677
DRESDEN/vacuumcleaner_random/_6AGDA2901.57
DRESDEN/doubletoetictac/V89gKQ2889.03333333333337
BASE/snake_2009_big/-oRfVw2885.16666666666654
DRESDEN/minichess/c7GMFw2879.2666666666676
DRESDEN/doubletictactoe/lJzgmQ2863.43333333333347
BASE/checkLines/Vop7oQ2820.83333333333356
STANFORD/connectfour/VMpZkQ2806.1333333333337
STANFORD/dualhunter/1rPZjQ2792.6333333333336
DRESDEN/snake_2009_big/DgC1NQ2783.94
BASE/factoringMediumTurtleBrain/8RBqmQ2697.66666666666654
DRESDEN/double_tictactoe_dengji/bGaUyQ2686.46666666666677
BASE/double_tictactoe_dengji/zgaSbA2664.07
BASE/connectFour/WAIKTw2662.77
DRESDEN/lightsout2/LFtfyQ2654.510
BASE/connectFourSuicide/c8p9Kw2650.06666666666667
DRESDEN/lightsout/XgLpzQ2576.89
BASE/tictactoe_3player/GtM71g2531.3666666666676
BASE/connectFour_9x6/B9TtMw2508.33333333333357
BASE/lightsOut/5P1ZBw2507.33333333333357
BASE/ticTacToeParallel/ymRGPw2485.2666666666678
DRESDEN/tictactoe_3player/ESLQQQ2428.16666666666656
BASE/breakthroughSmallHoles/bxclRw2423.2333333333336
DRESDEN/chinesecheckers2/06E6-Q2413.35
DRESDEN/tictactoeparallel/yk_DSg2373.98
DRESDEN/twisty-passages/j7NPyg2305.7666666666678
DRESDEN/quarto/OQzRYQ2287.97
BASE/quarto/EwBMVQ2266.1333333333337
DRESDEN/quartosuicide/WIU1oQ2251.53333333333337
BASE/twisty-passages/DiZmmg2238.16666666666658
BASE/mummymaze2p/vpjDdA2228.75
BASE/quartoSuicide/-23jUg2218.2333333333337
DRESDEN/grid_game/U7_Yeg2210.1333333333335
DRESDEN/mummymaze2p/k-8edg2183.05
BASE/chineseCheckers6/rREH3A2145.33333333333356
DRESDEN/chinesecheckers3/QsCb2A2132.46666666666675
DRESDEN/3pttc/uwYBZw2082.7666666666678
DRESDEN/racetrackcorridor/O0DoTA2062.03333333333335
BASE/connectFourLarge/aU644A2041.97
BASE/gt_tinfoil/Q8DyKg1974.10690482537989
DRESDEN/3pffa/0YrmQw1951.47
DRESDEN/ticblock/Z2yNWQ1924.56
BASE/chomp/-LcqYQ1924.13586213792888
DRESDEN/chomp/-LcqYQ1910.13333333333349
BASE/ticblock/T21C1g1895.16666666666676
DRESDEN/pawn_whopping/4ogBkg1823.56666666666667
BASE/pawnWhopping/Ypc_6Q1771.96666666666677
STANFORD/duikoshi/tpw1sw1765.33333333333337
DRESDEN/pawn_whopping_corrected/7Ov0jQ1750.63333333333347
BASE/3pConnectFour/PqXOFQ1734.96666666666677
BASE/wallmaze/uxNQ9g1720.24
DRESDEN/chinesecheckers6/yTbPDA1687.14
STANFORD/breakthrough/d5j0cQ1666.83333333333337
STANFORD/multipletictactoe/_bkafQ1603.63333333333344
BASE/solitaireChineseCheckers/-ET6gw1564.06666666666668
BASE/dualConnect4/WbCQkg1498.13333333333347
BASE/crisscross/ICagEg1463.66666666666677
DRESDEN/4pttc/9pB9AQ1454.93333333333347
BASE/withConviction/3Xm54A1448.06666666666669
BASE/chineseCheckers4/avfBcQ1446.28
DRESDEN/frogs_and_toads/GjchhQ1440.03333333333338
DRESDEN/crisscross/GsY16g1403.77
BASE/snakeAssemblit/UO4sdg1361.06666666666666
BASE/nineBoardTicTacToe/wRmqqA1296.16666666666677
BASE/dotsAndBoxesSuicide/jzQbLw1292.26666666666678
DRESDEN/vacuumcleaner_random_big/DwzFaQ1278.84807679488045
DRESDEN/sheep_and_wolf/enAIzQ1270.16666666666675
BASE/sheepAndWolf/g4THrg1267.45
BASE/connectFourLarger/qKi60A1256.23333333333337
BASE/racetrackcorridor/_RkdUg1255.73333333333338
BASE/dotsAndBoxes/EHwA_w1254.46666666666678
BASE/connectFourSimultaneous/7ITr3g1231.77
STANFORD/nineboardtictactoe/y28P-A1200.96666666666677
DRESDEN/connect5/1kYzSg1192.83333333333335
BASE/nineBoardTicTacToePie/B8LzeQ1186.7937735408827
DRESDEN/stratego/Z2wovg1185.37
BASE/connect5/d-BVQg1179.53333333333335
BASE/mummymaze1p/PT_EXA1154.16666666666676
DRESDEN/mummymaze1p/AekgaQ1145.76666666666676
DRESDEN/crossers3/xiPTxg1112.67
DRESDEN/chinesecheckers4/-oVNYg1088.23333333333337
BASE/crossers3/O0rORg1074.73333333333336
BASE/pacman3p/wW7UVQ1073.43088563714546
DRESDEN/max_knights/hCipiA1028.63333333333348
BASE/max_knights/2fq3Ag1022.43333333333338
BASE/futoshiki4/BaCwSw1020.333333333333410
DRESDEN/mimikry/GJEhwA1011.18
BASE/pacman2p/4LEdQg1006.65
BASE/3pttc/0sol9g1001.53333333333339
DRESDEN/pawn_whopping_simultaneous/r8dLfw996.98
BASE/escortLatch/mX9BjQ991.93333333333338
BASE/3pffa/pR0dzA964.86666666666678
DRESDEN/smallest_4player/ADDROA962.63333333333338
BASE/ticTacToeSerial/Amrwqw961.666666666666612
BASE/smallest_4player/ADDROA949.06666666666678
BASE/rubiksCube/9tNO9Q946.56666666666677
BASE/lightsOnSimultaneous/_VN6lw941.266666666666711
BASE/4pffa/Q3ADlg940.28
BASE/crissrace/ERWGDA879.33333333333347
BASE/tictactoex9/BI26ow877.73333333333336
DRESDEN/tictactoex9/rFkD4w874.53333333333336
BASE/conn4/va9Y7A870.210
DRESDEN/crissrace/KWb9bw854.66666666666667
BASE/2pttc/unkkYA833.866666666666710
BASE/2pffa/6oHijA828.79
DRESDEN/tictactoe_3d_small_2player/HYttcg827.07243091896949
STANFORD/freeforall/Lfp40Q824.97250091663618
BASE/tictactoe_3d_small_2player/oOryKA814.718528147185210
STANFORD/triplesukoshi/Iu9mbA806.59
DRESDEN/connect4/T0-rHQ805.48
BASE/2pffa_zerosum/o0_uZA802.333333333333410
BASE/blockerSerial/3eqDuw778.374054198193411
BASE/connect4/50bOyw727.58
DRESDEN/Travelers-Dilemma/PvZwYw725.64247858404728
BASE/4pttc/AL1k2Q719.43333333333338
BASE/lightsOnSimul4/9FeASw669.766666666666711
BASE/cubicup/4wNWJA640.56666666666678
DRESDEN/cubicup/SBn_lw637.38
BASE/hex/T1MK8g612.04626512449594
BASE/englishDraughts/jFkQxg599.93333333333338
STANFORD/hex/MTqWcw598.86666666666675
BASE/hexPie/48CH6Q562.05
DRESDEN/battlesnakes1509/-qZrLw559.16666666666667
STANFORD/pentago/ZxzLmg552.28159061364629
DRESDEN/battlesnakes2011/93VtTw546.33333333333347
BASE/endgame/jYjfOA544.06372908472777
DRESDEN/knightmove/97Ipcw537.966666666666710
BASE/knightmove/jBaJEw533.904235113791610
DRESDEN/endgame/IJhh3Q499.566666666666667
STANFORD/multiplesukoshi/vLSQPg495.016832772240953
DRESDEN/hallway/0H4l-Q494.266666666666654
DRESDEN/blockerparallel/dVQgSg491.783607213092910
BASE/blockerParallel/7-nDJA486.9342043863742310
BASE/hallway/ckCJOw480.083997200093344
DRESDEN/chinesecheckers6-simultaneous/gPPGUw475.06
BASE/breakthroughSuicideSmall/XSbJog464.433333333333349
BASE/ticTacHeavenFC/mrletw451.110
BASE/checkersBarrelNoKings/rnKNeg446.95176827439098
STANFORD/platformjumpers/HEQskA444.1370575294987
DRESDEN/tpeg/h-Scbg430.412
BASE/nim1/hin2Qw427.838144123725111
BASE/checkersTorusNoKings/pwb6oQ427.466666666666648
BASE/checkersTorus/2vm1EQ420.991234209912367
BASE/minichess-evilconjuncts/4OpQzw419.933333333333347
DRESDEN/minichess-evilconjuncts/th24Tw419.438704086394247
BASE/tpeg/QNs7Lw419.212
DRESDEN/nim1/M9BALA399.206719552029911
BASE/nonogram_5x5_1/qLKEZw395.32015599480027
BASE/blobwars/0XT15Q384.474368375441667
DRESDEN/blobwars/ZaMluQ382.92056931435627
BASE/ticTacHeaven/18n58A373.4333333333333410
STANFORD/checkersonabarrelnokings/Zrevdw372.78757374754178
BASE/breakthroughHoles/nZk0Sg365.533333333333369
BASE/futoshiki5/TJ4BZg358.810
BASE/cubicup_3player/e2yA_g342.25525815806149
BASE/peg/fJHVWw336.4442370508632510
DRESDEN/peg_bugfixed/u_B7MA330.9889670344321614
BASE/breakthroughWalls/vOZaYA329.989000366654479
DRESDEN/cubicup_3player/awDtsQ326.7006632670066310
DRESDEN/peg/Vo31eg325.15582813906214
BASE/breakthroughSuicide/wZDpIg316.16666666666679
BASE/breakthrough/TGxk-g315.956134795506849
BASE/tictactoe_3d_2player/IUC1rQ310.67928804746358
BASE/nim2/eF2Qqw306.30270306302711
DRESDEN/tictactoe_3d_2player/LMuX9w299.033333333333368
DRESDEN/nim2/z5_exA291.913872408506111
BASE/qyshinsu/R08Lzw283.033333333333367
BASE/chinook/XQh0IQ276.324122529249059
STANFORD/alquerquezero/uVgA_A262.5579147361754610
BASE/pegEuro/5awwhg261.440522614405212
STANFORD/chinook/osFbPA254.116392240517298
DRESDEN/pentago_2008/hLjVpQ224.959168027732412
DRESDEN/javastrike/whONTQ223.3925535815472810
DRESDEN/slidingpieces/s9_44g220.8333333333333413
BASE/slidingpieces/uFJWEw219.813
BASE/hidato19/rRHSmA209.3666666666666712
BASE/cittaceot/fDxhXg206.7264424519182712
DRESDEN/grid_game2/kypTYQ202.7797220277972213
BASE/tictactoe_3d_small_6player/g_9lww198.5666666666666614
BASE/futoshiki6/JmvXNA198.3933868871037611
DRESDEN/tictactoe_3d_small_6player/llDEDQ194.4416674997500814
BASE/sudoku/NTaNkw192.187187520831943
BASE/checkersTiny/Lr48cg185.920938604093079
DRESDEN/nim4/F5YAYg184.327189093696911
DRESDEN/skirmish/RjGQYQ181.948471819484728
BASE/nim4/twk16w181.3606213126229211
BASE/gt_ultimatum/GE-uOA179.964007198560311
DRESDEN/nim3/sG_axA179.1676385325380611
DRESDEN/skirmish3/3LU8Nw178.115521781155228
DRESDEN/gt_ultimatum/pAiiQw177.8073975341552911
DRESDEN/skirmish2/iPpWhQ174.06086463784548
BASE/nim3/1OwUqw170.960967967734411
DRESDEN/smallest/9kaGFw152.0847915208479210
BASE/simultaneousWin2/PfjRjw143.0047323868559514
DRESDEN/brawl/2kXtfQ137.210464922512937
BASE/brawl/6Ymo_Q134.135368414036727
DRESDEN/ggp-course2013_nicolai/uEin8g125.058329444703696
BASE/skirmishZeroSum/zh4hcw118.6644006797960610
BASE/skirmishNew/sibw2g118.646892184635899
BASE/speedChess/bPnisA117.4921671888540810
DRESDEN/four_way_battle/xSOQXA114.988501149885018
BASE/four_way_battle/xSOQXA113.833333333333338
DRESDEN/ggp-course2013_jordi/9QI6Kw110.3296556781440611
BASE/sudokuGrade1/tDRNRw95.060329311379239
BASE/sudokuGrade5/BQfUQA89.091090890910910
BASE/sudokuGrade4/DTy07w87.3246008732460110
BASE/sudokuGrade2/u80Tfw85.7466591128736610
BASE/checkersSmall/SYmq8w84.3971867604413111
DRESDEN/farmers/S_ASnw83.958319506205617
STANFORD/sudoku/oJ1qyQ79.4280381307912810
BASE/tictactoe_3d_6player/d7KSwg75.6156896724097712
BASE/sudokuGrade3/eI8dvg74.5134630765129310
BASE/skirmishFinal3/-Olhfw72.973243144180476
STANFORD/duidoku/3SoMaA71.642785738087310
DRESDEN/tictactoe_3d_6player/ulZPWg71.0333333333333312
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw70.048626626363516
BASE/sudokuGrade6E/ihYFZA68.9241434475403310
BASE/sudokuGrade6H/ieE_9A67.9977334088863810
DRESDEN/checkers-newgoals/IJOqXQ67.533333333333336
DRESDEN/checkers/jIDMIg67.193280671932817
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g67.023861026989256
DRESDEN/skirmishfinal/hzq8ww62.5437339642131257
BASE/hitori/S8Gsyg57.965220867479519
BASE/skirmishFinal2/gdB62Q57.282815155453367
BASE/skirmishFinal1/ecWTnQ55.377848860455827
DRESDEN/hitori/S8Gsyg54.10447761194039
BASE/checkers/rOC3Xg52.1634855601079211
BASE/checkers-newgoals/0XkFiA48.280687724910048
DRESDEN/cylinder-checkers/clOO3Q47.079598840502456
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw44.475422350559267
BASE/skirmishHoles/AUCxCA43.691261747650477
DRESDEN/towerworld/HCX34w42.967058588415556
BASE/cylinder-checkers/hlldmw42.588643028525726
BASE/nonogram_10x10_1/0Xc62g38.6524940855019857
BASE/pawnToQueen/-O1_JA37.737734403623898
STANFORD/skirmish/w4V6Vw37.365125882509667
DRESDEN/pawntoqueen/f_x6Aw36.766909781196928
BASE/skirmish/Y_psYQ35.590509197547327
STANFORD/madness/UO_B3A35.14089667577117
BASE/strangeSkirmish/gc1zKA34.673417046930697
DRESDEN/fizzbuzz/t1xHzQ30.49288499350151612
DRESDEN/Zhadu/9zpQ5w30.36565447818406212
BASE/guess/SPpk1A30.3080545147063712
BASE/battle/8oAvhQ28.257247584138629
DRESDEN/battle/8oAvhQ26.902843444096699
DRESDEN/guess/PhxGhg26.2595017934120912
BASE/copolymer_4_pie/IN5_jA22.5228226827480512
BASE/hidato37/pBrqxw21.1915233906437412
BASE/copolymer_4/2LDVhQ20.01665278934221312
BASE/cephalopodMicro/9l2D3g17.31428761695468313
DRESDEN/satlike_20v_91c_version2/yd9ioQ15.42115165160534211
DRESDEN/CephalopodMicro/H3XQfg15.21862199873455713
DRESDEN/checkers-mustjump/HUr33w12.9182620276344277
DRESDEN/merrills/aYEzwA11.4333333333333347
BASE/merrills/pku8Tg11.181736497054817
BASE/checkers-mustjump/T-8UuQ10.6068162926018311
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g10.17358682520506211
DRESDEN/ggp-course2013_michal13/jWKddg7.91302324034976913
DRESDEN/quad_5x5_8_2/JRTLJg7.3534052894022611
BASE/racer4/0vs7Ww7.34146098395508811
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA7.32623095943099611
DRESDEN/checkers-cylinder-mustjump/vW_-pA7.193525826755927
BASE/checkers-cylinder-mustjump/rjr6qQ7.02233168036742411
DRESDEN/satlike_20v_91c/yeuENQ6.490345610903780511
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw6.36009456894542311
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg6.2838713967483467
BASE/quad_5x5/JAEP5g6.18101545253863111
DRESDEN/checkers-mustjump-torus/cVc3gA5.5745429206623097
DRESDEN/quad_5x5/JAEP5g4.88303804150582413
BASE/othelloHoles/c0qAzw4.83123759099933810
BASE/golden_rectangle/_nYzfw4.79680213191205914
BASE/checkers-mustjump-torus/uSApKQ4.77817964628197911
BASE/othelloSuicide/B442jg4.3988269794721411
STANFORD/selectivesukoshi/3xmXYg4.19921301462383315
DRESDEN/quad_7x7/q-JOXg3.759773748128431213
DRESDEN/othello-cornercontrol/r5Gdlg3.41534584521529
BASE/chess_200/XsTpYA2.956657352654493513
BASE/quad_7x7/q-JOXg2.273116124459218414
DRESDEN/racer/vk_ZBA2.11740178513258212
BASE/factoringImpossibleTurtleBrain/kcBhdw1.941172599855234510
DRESDEN/quad/JPe6fg1.596582897901633912
BASE/racer/QQYQNw1.548187330667010612
BASE/quad/tw-Ufg1.46374784503789513
DRESDEN/laikLee_hex/ZeP3QQ1.1528976572133177
BASE/laikLee_hex/zbyscQ1.0790978741771887
BASE/blokbox_simple/JBx4bg0.346293089878797414
BASE/battlebrushes/arCwyA0.2896297312540967514
DRESDEN/golden_rectangle/1uloXw0.1784492757933557314
BASE/colonelBlotto/jip21A0.0512163892445582612
BASE/ad_game_2x2/D0aWqg0.0205060903088217213

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens08ug/kJ_ZFQTest process timed out after 240 seconds
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/factoringMutuallyAssuredDestruction/NH0LGgException of type NullPointerException
BASE/wargame02/BkVqqQException of type NullPointerException
DRESDEN/bidding-tictactoe/yW5vTAIllegalArgumentException: bound must be positive
BASE/amazons_10x10/Bun8dAException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QIllegalArgumentException: bound must be positive
DRESDEN/knightazons/02I8BQException of type NullPointerException
DRESDEN/breakthroughsuicide_v2/LU1nAwException of type NullPointerException
BASE/breakthroughSmall/HJ0tIAException of type NullPointerException
DRESDEN/ghostmaze2p/HY0UwAException of type NullPointerException
BASE/amazonsSuicide/dE1QEQException of type NullPointerException
BASE/zhadu/DlA8iQClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact
BASE/mineClearingSmall/frsbvwException of type NullPointerException
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
DRESDEN/tttcc4/sAvtFgException of type NullPointerException
BASE/asteroids/BKCmPQException of type NullPointerException
BASE/ttcc4_2player_alt/ZEJvYAException of type NullPointerException
BASE/wargame03/klXI8wException of type NullPointerException
BASE/pentago/86NgKwException of type NullPointerException
BASE/mummyMaze2p_2007/YGA3VwException of type NullPointerException
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/knightThrough/gcwFjAException of type NullPointerException
BASE/gt_attrition/kD_SCAIllegalArgumentException: bound must be positive
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
BASE/biddingTicTacToe/8mESVwIllegalArgumentException: bound must be positive
BASE/amazonsTorus/soxT8gException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowError
STANFORD/pilgrimage/ObRZnQException of type NullPointerException
BASE/colonelBlottoVariant/X-n-KQIllegalArgumentException: bound must be positive
BASE/gt_two_thirds_4p/DStnxQIllegalArgumentException: bound must be positive
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
DRESDEN/capture_the_king/EQ229QException of type NullPointerException
BASE/amazons_8x8/7SOsIwException of type NullPointerException
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/asteroidsSerial/id2QkAException of type NullPointerException
DRESDEN/pacman3p/rBnk8QException of type NullPointerException
DRESDEN/amazons/dNB28AException of type NullPointerException
DRESDEN/babel/WdSW4AException of type NullPointerException
DRESDEN/backgammon/mqCW0QException of type NullPointerException
BASE/knightazons/apnJBQException of type NullPointerException
BASE/snakeParallel/RCVNtwException of type NullPointerException
BASE/shmup/ssTNlgException of type NullPointerException
DRESDEN/bomberman2p/x4h6jQException of type NullPointerException
BASE/queens06ug/7Lq3twTest process timed out after 240 seconds
BASE/majorities/ibJzSQIllegalArgumentException: bound must be positive
DRESDEN/SC_TestOnly_enabled/09o7gQException of type NullPointerException
BASE/ttcc4_2player/_aH_MwException of type NullPointerException
BASE/othello-comp2007/86ZoMwException of type NullPointerException
BASE/ttcc4_2player_small/Cv72TAException of type NullPointerException
DRESDEN/queens/mW2wHQTest process timed out after 240 seconds
BASE/asteroidsParallel/WauZiAException of type NullPointerException
BASE/ruleDepthLinear/OUBJpQException of type NullPointerException
BASE/biddingTicTacToe_10coins/a-9ccQIllegalArgumentException: bound must be positive
BASE/colonelBlottoVariant2/jruwGwIllegalArgumentException: bound must be positive
DRESDEN/mummymaze2p-comp2007/oTQRQgException of type NullPointerException
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgIllegalArgumentException: bound must be positive
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/amazonsTorus_10x10/Uxc08gException of type NullPointerException
DRESDEN/knightthrough/J7Fc_QException of type NullPointerException
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/pentagoSuicide/SBgNhwException of type NullPointerException
BASE/catcha_mouse/cHv4dwException of type NullPointerException
BASE/wargame01/_GZFZgException of type NullPointerException
DRESDEN/breakthroughsuicide/Y9QzqQException of type NullPointerException
BASE/ttcc4/Le0qjQException of type NullPointerException
BASE/amazonsSuicide_10x10/XIbQkgException of type NullPointerException
DRESDEN/connectfoursuicide/M9CNQgException of type NullPointerException
DRESDEN/breakthrough/z4hK7QException of type NullPointerException
DRESDEN/catcha_mouse/cHv4dwException of type NullPointerException
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/Goldrush/VeWczQException of type NullPointerException
BASE/choicethroughalt/tt71LgException of type NullPointerException
BASE/slaughter/cOch8AException of type NullPointerException
BASE/amazons/RKKZjwException of type NullPointerException
STANFORD/ttcc4/Cx9SGwException of type NullPointerException
DRESDEN/small_dominion/yB5GJAException of type NullPointerException
BASE/tttcc4/8Bs2lgException of type NullPointerException
DRESDEN/connectfour/5tc-MgException of type NullPointerException

index