Game-by-game performance:
Game | Perf ratio | CADIAPLAYER_PROLOG:3.0 states per second | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second |
BASE/minichess/8NQEiA | 0.0013947036502378906 | 4266.3 | 3058929.4 |
BASE/blocksWorldSerial/Wyg96Q | 0.0016594974785252665 | 8264.4 | 4980061.8 |
STANFORD/tictactoe3/X7myng | 0.0017153543429773808 | 6913.7 | 4030479.2 |
STANFORD/tictactoe5/WFRReg | 0.0018008227111467807 | 6937.9 | 3852628.0 |
BASE/tictactoe-init1/7M19vA | 0.001846528675598515 | 6982.233333333334 | 3781275.3333333335 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0018842734632982243 | 6981.166666666667 | 3704964.7 |
BASE/blocksWorldParallel/RseaAQ | 0.0021679398453722317 | 7029.5 | 3242479.2666666666 |
BASE/coins/QnGtnQ | 0.002238077766124892 | 7676.366666666667 | 3429892.7333333334 |
DRESDEN/coins/QwFP9w | 0.0023078736389784806 | 7642.633333333333 | 3311547.566666667 |
BASE/coins_atomic/AA3SSw | 0.00240737399742992 | 7726.4 | 3209472.2333333334 |
STANFORD/3puzzle/41ibjA | 0.0025343347790122116 | 13430.4 | 5299378.8 |
DRESDEN/blocksworldparallel/2JfVaw | 0.002557008380857122 | 8051.8 | 3148914.2 |
STANFORD/threepuzzle/41ibjA | 0.0028127275455666046 | 13486.8 | 4794918.733333333 |
DRESDEN/blocks/vg0DRw | 0.0030232800604527554 | 13650.1 | 4514996.866666666 |
BASE/blocks/xIV5hQ | 0.0030975710112853506 | 13951.5 | 4504012.966666667 |
BASE/blocksWorld/SEdXLQ | 0.003126156831543263 | 13884.7 | 4441459.833333333 |
STANFORD/tictactoe7/-bE9-A | 0.0033009645639217895 | 6938.0 | 2101809.9 |
BASE/hodgepodge/9yjRkw | 0.0037614938318779913 | 10904.0 | 2898848.3 |
BASE/maze/cCX3qQ | 0.003832748878233984 | 21810.566666666666 | 5690580.666666667 |
DRESDEN/buttons/ADUaHw | 0.004445553100681532 | 18459.6 | 4152374.2 |
BASE/buttons/hTcUjw | 0.004506320492450658 | 18766.4 | 4164461.9 |
BASE/pearls/6k_mEQ | 0.004949349076914888 | 33408.1 | 6749998.733333333 |
DRESDEN/troublemaker01/C-lPWw | 0.005059464380624968 | 23730.466666666667 | 4690312.033333333 |
BASE/troublemaker01/s3tlEQ | 0.005159514955442362 | 23593.333333333332 | 4572781.266666667 |
BASE/snake2p/I3wWPQ | 0.005202331236871976 | 3563.766666666667 | 685032.6333333333 |
STANFORD/sukoshi/4LYZZQ | 0.005232696533055032 | 8266.966666666667 | 1579867.4 |
BASE/troublemaker02/DI83KA | 0.005587209275230846 | 23098.733333333334 | 4134216.6 |
DRESDEN/troublemaker02/iZLVuA | 0.005598931658827542 | 23358.466666666667 | 4171950.6666666665 |
BASE/switches/tPUoCg | 0.006709497743773171 | 14909.933333333332 | 2222213.033333333 |
BASE/haystack/UkweGA | 0.006980120235557333 | 33800.76666666667 | 4842433.3 |
STANFORD/buttonsandlights/eyhJpA | 0.00702758949314174 | 28896.6 | 4111879.3333333335 |
BASE/onestep/xi53wA | 0.008545174664162566 | 24456.966666666667 | 2862079.2 |
BASE/survival/YVIjJA | 0.012357426877811838 | 33865.566666666666 | 2740503.1 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.20460141848238933 | 18135.733333333334 | 88639.33333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.2048362304923048 | 18230.233333333334 | 88999.06666666667 |
BASE/wargame02/BkVqqQ | 0.2126641750719733 | 1183.2989141296382 | 5564.166666666667 |
BASE/hanoi_6_disks/MeubgQ | 0.2740341320586317 | 9118.933333333332 | 33276.63333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.27709061206907937 | 9091.5 | 32810.566666666666 |
BASE/tron_10x10/7ZTgDg | 0.28904686057105317 | 1554.6 | 5378.366666666667 |
DRESDEN/small_dominion/yB5GJA | 0.36078695630713853 | 13.78076655513963 | 38.1964101368677 |
BASE/mummymaze1p/PT_EXA | 0.3909765548893732 | 1066.075772216854 | 2726.7 |
DRESDEN/mummymaze1p/AekgaQ | 0.3954378219278881 | 1074.8 | 2718.0 |
BASE/snakeParallel/RCVNtw | 0.4042335926804397 | 9566.7 | 23666.266666666666 |
BASE/mummymaze2p/vpjDdA | 0.46901485886334615 | 363.72102304852496 | 775.5 |
DRESDEN/mummymaze2p/k-8edg | 0.4840255207986297 | 363.93878908848967 | 751.9 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.5009837931891387 | 673.8566007589375 | 1345.0666666666666 |
BASE/wallmaze/uxNQ9g | 0.5096460174502796 | 381.14726825048245 | 747.8666666666667 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.5246361165563416 | 1846.6666666666667 | 3519.9 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.5437397308399837 | 1986.3356107315446 | 3653.1 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.5528235711727587 | 2037.2654244858504 | 3685.2 |
BASE/wargame03/klXI8w | 0.5694953989154569 | 1930.3426209838688 | 3389.5666666666666 |
BASE/majorities/ibJzSQ | 0.5714437974126932 | 165.08714957916362 | 288.8948140247967 |
BASE/tictactoex9/BI26ow | 0.6190046760379627 | 514.8880895283773 | 831.8 |
DRESDEN/tictactoex9/rFkD4w | 0.6259341547162189 | 516.5 | 825.1666666666666 |
BASE/knightmove/jBaJEw | 0.6380346871581578 | 984.9766822118588 | 1543.7666666666667 |
BASE/bomberman2p/4CClwA | 0.6450600282482456 | 1110.1483086152307 | 1721.0 |
DRESDEN/knightmove/97Ipcw | 0.6512314071457632 | 986.4419201172591 | 1514.7333333333333 |
DRESDEN/bomberman2p/x4h6jQ | 0.6639575054416199 | 1108.3 | 1669.2333333333333 |
STANFORD/platformjumpers/HEQskA | 0.6851867427375229 | 389.734219269103 | 568.8 |
DRESDEN/hallway/0H4l-Q | 0.7000681694144748 | 205.04313205043132 | 292.89023699210026 |
BASE/hallway/ckCJOw | 0.7046751517105927 | 205.0839583195062 | 291.03333333333336 |
DRESDEN/mimikry/GJEhwA | 0.7369282639427438 | 1591.642228739003 | 2159.8333333333335 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.7472773423497284 | 2182.8967539825367 | 2921.133333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.7499430799400517 | 2162.6666666666665 | 2883.774415038997 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.7687464041986644 | 2184.5210319312046 | 2841.6666666666665 |
BASE/guess/SPpk1A | 0.7705947344285093 | 2444.7888544478888 | 3172.6 |
DRESDEN/guess/PhxGhg | 0.7756890811817867 | 2437.1375241650558 | 3141.9 |
DRESDEN/cube_2x2x2/fp-34Q | 0.8036208754762315 | 2641.957202853143 | 3287.5666666666666 |
BASE/lightsOn/MsXu3A | 0.8096305672980959 | 9983.500549981667 | 12330.933333333332 |
DRESDEN/lightson2x2/gBHuig | 0.811789132922411 | 4822.839238692043 | 5941.0 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.8163835249887385 | 3817.49100119984 | 4676.1 |
BASE/chomp/-LcqYQ | 0.8241926782273603 | 3564.633333333333 | 4325.0 |
DRESDEN/catcha_mouse/cHv4dw | 0.8393000138044885 | 1041.8790604697651 | 1241.3666666666666 |
DRESDEN/chomp/-LcqYQ | 0.8401069811453552 | 3580.9 | 4262.433333333333 |
DRESDEN/knightfight/4_Ly4w | 0.8599291534259726 | 4717.6 | 5486.033333333334 |
BASE/catcha_mouse/cHv4dw | 0.8639615426462427 | 1043.492751208132 | 1207.8 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.8784022628596715 | 843.6760934012858 | 960.4666666666667 |
DRESDEN/endgame/IJhh3Q | 0.884889334860943 | 740.7703585232574 | 837.1333333333333 |
STANFORD/hex/MTqWcw | 0.8874071852118756 | 356.29398486256804 | 401.5 |
BASE/endgame/jYjfOA | 0.8884188284610929 | 729.5748367319738 | 821.20595980134 |
BASE/hex/T1MK8g | 0.889692505082425 | 349.53688278803224 | 392.87380841277246 |
BASE/knightfight/SJRkAg | 0.8926359370925689 | 4751.858147518581 | 5323.4 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.8982876956270982 | 2056.240421136803 | 2289.0666666666666 |
BASE/sheepAndWolf/g4THrg | 0.8983524658098035 | 834.9608398600234 | 929.4356854771507 |
DRESDEN/grid_game/U7_Yeg | 0.8999391283993202 | 1339.919368273748 | 1488.9 |
DRESDEN/tictactoe/BTTzPw | 0.8999969916152017 | 6980.466666666666 | 7756.1 |
BASE/ticTacToe/JRFsaQ | 0.904718755932964 | 6989.133333333333 | 7725.2 |
BASE/lightsOnSimul4/9FeASw | 0.9081548204779566 | 1059.090151641393 | 1166.2 |
DRESDEN/eotcatcit/mQUxzA | 0.9116666519282297 | 6872.933333333333 | 7538.866666666667 |
DRESDEN/firefighter/WJmoPw | 0.9120423915807434 | 3706.266666666667 | 4063.7 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.9125370177649302 | 4962.345884705098 | 5437.966666666666 |
BASE/firefighter/WJmoPw | 0.918241020719854 | 3704.398533822059 | 4034.233333333333 |
STANFORD/trifecta/ss1kyQ | 0.9212703916778312 | 7014.0 | 7613.4 |
BASE/eotcatcit/AfZSzA | 0.9257608202807593 | 6873.866666666667 | 7425.1 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.9277402798284468 | 7037.466666666666 | 7585.6 |
BASE/untwistycomplex2/EDPPAQ | 0.934042878240057 | 21398.766666666666 | 22909.833333333332 |
DRESDEN/minichess/c7GMFw | 0.9358389588274645 | 4103.466666666666 | 4384.8 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.9362287657693811 | 2080.0506565353594 | 2221.733333333333 |
STANFORD/tictactoe/ss1kyQ | 0.9401751341609753 | 7025.333333333333 | 7472.366666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 0.9425139826637253 | 7049.533333333334 | 7479.5 |
BASE/lightsOnParallel/SC6enA | 0.9430622297879216 | 4587.180427319089 | 4864.133333333333 |
STANFORD/untwistycorridor/EDPPAQ | 0.9533953271436691 | 21803.833333333332 | 22869.666666666668 |
DRESDEN/frogs_and_toads/GjchhQ | 0.9568441249577587 | 2376.099120703437 | 2483.266666666667 |
DRESDEN/ghostmaze2p/HY0UwA | 0.958569182253264 | 2489.468070923877 | 2597.0666666666666 |
BASE/hexPie/48CH6Q | 0.9605247647950528 | 342.21215955250716 | 356.2762482501167 |
DRESDEN/tpeg/h-Scbg | 0.9609625056859551 | 1980.7679488034132 | 2061.233333333333 |
BASE/ghostMaze2p/W-NU-w | 0.9723130101453726 | 2488.537918166067 | 2559.4 |
BASE/tpeg/QNs7Lw | 0.973124561336149 | 1981.8006066464452 | 2036.5333333333333 |
STANFORD/8puzzle/jNiGtw | 0.9860451707832825 | 8234.627562072988 | 8351.166666666666 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.986451274421976 | 1583.1556503198294 | 1604.9 |
DRESDEN/8puzzle/8fKC2w | 0.9921636706879737 | 8261.449236717552 | 8326.7 |
BASE/eightPuzzle/vLrgFg | 0.992806240207219 | 8233.176682331767 | 8292.833333333334 |
BASE/amazons_10x10/Bun8dA | 0.9965447144660742 | 1477.875811553188 | 1483.0 |
STANFORD/multipletictactoe/_bkafQ | 1.0025701635444682 | 616.0125274871726 | 614.4333333333333 |
DRESDEN/lightsout2/LFtfyQ | 1.0043807110900984 | 3235.0098323500983 | 3220.9 |
DRESDEN/latenttictactoe/kITHKg | 1.0051661645641121 | 2847.1666666666665 | 2832.5333333333333 |
BASE/amazonsSuicide_10x10/XIbQkg | 1.0129021020818547 | 1479.343520090549 | 1460.5 |
BASE/dotsAndBoxes/EHwA_w | 1.0135721193128646 | 1586.307938199254 | 1565.0666666666666 |
BASE/amazonsTorus_10x10/Uxc08g | 1.0249259200306415 | 1271.8989025606918 | 1240.9666666666667 |
BASE/lightsOut/5P1ZBw | 1.0489757518400873 | 3224.236768430876 | 3073.7 |
BASE/wargame01/_GZFZg | 1.0497123990760686 | 2283.0194967505417 | 2174.9 |
DRESDEN/lightsout/XgLpzQ | 1.053911466180681 | 3233.8922035932137 | 3068.4666666666667 |
BASE/chinook/XQh0IQ | 1.05488453360852 | 720.1105045932632 | 682.6439118696044 |
DRESDEN/circlesolitaire/ruUilQ | 1.0667783806428508 | 10525.333333333334 | 9866.466666666667 |
DRESDEN/checkers/jIDMIg | 1.067937084680971 | 657.8273165862586 | 615.9794673510883 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.0701215550132377 | 845.9385620043979 | 790.5069831005633 |
BASE/circlesolitaire/azuQFQ | 1.073941414525504 | 10544.1 | 9818.133333333333 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.080657917290226 | 2515.231302493001 | 2327.5 |
STANFORD/tictictoe/rpt_Dw | 1.09098881704733 | 6676.233333333334 | 6119.433333333333 |
DRESDEN/toetictac/mJtxCA | 1.1009389294599148 | 9145.866666666667 | 8307.333333333334 |
BASE/toetictac/mTThmg | 1.1062826614314507 | 9166.4 | 8285.766666666666 |
BASE/factoringGeorgeForman/HGRorQ | 1.1084997681622535 | 9501.616612779573 | 8571.6 |
DRESDEN/sum15/CsgWKg | 1.1116301964469504 | 8280.533333333333 | 7449.0 |
BASE/pegEuro/5awwhg | 1.1184549271516797 | 1626.9791006966434 | 1454.6666666666667 |
DRESDEN/tictictoe/LAUtwg | 1.121385356149335 | 6839.366666666667 | 6099.033333333334 |
BASE/tictactoe2/bhrDoQ | 1.1228715912308305 | 10443.566666666668 | 9300.766666666666 |
BASE/sum15/QZ07Kg | 1.1273430003919078 | 8342.0 | 7399.7 |
DRESDEN/peg_bugfixed/u_B7MA | 1.1287098040088033 | 1916.77498916775 | 1698.2 |
BASE/eotcitcit/V_9_bg | 1.128760509631194 | 6842.433333333333 | 6061.9 |
BASE/ticTicToe/c1OobQ | 1.1292007190991407 | 6825.566666666667 | 6044.6 |
BASE/lightsOnSimultaneous/_VN6lw | 1.1308249951638782 | 1447.192134644226 | 1279.7666666666667 |
BASE/peg/fJHVWw | 1.1388534976979854 | 1910.5785895213971 | 1677.6333333333334 |
DRESDEN/nim1/M9BALA | 1.139355856339748 | 6606.213126229126 | 5798.2 |
DRESDEN/peg/Vo31eg | 1.140089133294411 | 1919.0360321322623 | 1683.2333333333333 |
BASE/numbertictactoe/rvJ-iQ | 1.1415455588023766 | 5872.833333333333 | 5144.633333333333 |
BASE/chickentictactoe/DSlZCA | 1.1453360981713299 | 6499.133333333333 | 5674.433333333333 |
BASE/connect5/d-BVQg | 1.1510192428403911 | 776.3241119877492 | 674.4666666666667 |
BASE/nim1/hin2Qw | 1.156502226551628 | 6648.5 | 5748.8 |
DRESDEN/connect5/1kYzSg | 1.1654999710534018 | 771.3278808431412 | 661.8 |
BASE/tictactoe_3d_small_2player/oOryKA | 1.167051363829793 | 2494.883503883204 | 2137.766666666667 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.172625073868074 | 2514.4990333977735 | 2144.3333333333335 |
BASE/amazons_8x8/7SOsIw | 1.1759542640419465 | 2189.822832023445 | 1862.1666666666667 |
BASE/ticTacToeParallel/ymRGPw | 1.1799588341061795 | 3324.9666666666667 | 2817.866666666667 |
STANFORD/breakthrough/d5j0cQ | 1.187936451646237 | 2119.793402199267 | 1784.4333333333334 |
DRESDEN/racetrackcorridor/O0DoTA | 1.1890267777710801 | 1535.5488150394988 | 1291.4333333333334 |
BASE/futoshiki4/BaCwSw | 1.2055875043521063 | 3347.233333333333 | 2776.4333333333334 |
DRESDEN/tictactoeparallel/yk_DSg | 1.2074305588193825 | 3425.4 | 2836.9333333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 1.207444846159522 | 6545.8 | 5421.2 |
BASE/racetrackcorridor/_RkdUg | 1.2076623869977814 | 1781.1812545830278 | 1474.9 |
BASE/ticTacToeNoVars/XT03NA | 1.208325133986966 | 10438.6 | 8638.9 |
DRESDEN/knightthrough/J7Fc_Q | 1.2114871526734898 | 1959.4189378290132 | 1617.3666666666666 |
DRESDEN/blocks2player/3ev8nQ | 1.2136215321925887 | 7922.4 | 6527.9 |
BASE/tictactoe_3d_2player/IUC1rQ | 1.2226750539134212 | 841.8932862896515 | 688.5666666666667 |
BASE/knightThrough/gcwFjA | 1.224129857721222 | 1948.6923205064134 | 1591.9 |
BASE/blocker/dIWtxg | 1.2254349817813348 | 4878.170727642412 | 3980.766666666667 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1.2312481803745865 | 836.2358895807665 | 679.1773607546415 |
DRESDEN/pawn_whopping/4ogBkg | 1.2406449745409758 | 4751.049930004667 | 3829.5 |
BASE/coloredtrails/EZvr7g | 1.2429768996933321 | 3075.994933671089 | 2474.7 |
DRESDEN/blocker/S815zQ | 1.244489012161297 | 4860.766666666666 | 3905.8333333333335 |
BASE/blocks2player/wnTLOQ | 1.2514191094393923 | 7885.066666666667 | 6300.9 |
BASE/biddingTicTacToe/8mESVw | 1.251445095904935 | 5267.624412519583 | 4209.233333333334 |
BASE/blockerParallel/7-nDJA | 1.2531802455897327 | 1353.4313235343132 | 1079.9973334222193 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.2533209059205903 | 4675.38830744617 | 3730.4 |
DRESDEN/bidding-tictactoe/yW5vTA | 1.2534145136096673 | 5282.55724809173 | 4214.533333333334 |
DRESDEN/blockerparallel/dVQgSg | 1.2554973522036774 | 1349.6983634969836 | 1075.03083230559 |
BASE/breakthroughSuicideSmall/XSbJog | 1.265387647303026 | 2916.338910739284 | 2304.7 |
BASE/pawnWhopping/Ypc_6Q | 1.2672368205109503 | 4632.933333333333 | 3655.9333333333334 |
BASE/breakthroughSuicide/wZDpIg | 1.2801531654006368 | 2032.115134756971 | 1587.4 |
DRESDEN/backgammon/mqCW0Q | 1.2840116810896012 | 1100.3552103044185 | 856.9666666666667 |
BASE/brain_teaser_extended/ZDp94A | 1.2865695713850922 | 7673.744208526383 | 5964.5 |
DRESDEN/brain_teaser_extended/ZDp94A | 1.2875345048138425 | 7649.5 | 5941.2 |
STANFORD/bestbuttonsandlights/nm0wEA | 1.290291503511716 | 16607.6 | 12871.2 |
BASE/hanoi/iGLsJg | 1.2906993818858066 | 10215.885607626158 | 7915.0 |
BASE/breakthroughSmall/HJ0tIA | 1.2952271641724369 | 2910.720831805912 | 2247.266666666667 |
DRESDEN/breakthrough/z4hK7Q | 1.2961165147045077 | 2034.2116659449016 | 1569.4666666666667 |
BASE/choicethroughalt/tt71Lg | 1.2962906876595373 | 1915.2694910169662 | 1477.5 |
DRESDEN/quartosuicide/WIU1oQ | 1.29808466822455 | 3048.422034858533 | 2348.4 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.299848057277601 | 3973.375541486171 | 3056.8 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 1.301467297848765 | 2027.208845372498 | 1557.6333333333334 |
BASE/breakthroughHoles/nZk0Sg | 1.304053446387024 | 1864.7964283334443 | 1430.0 |
DRESDEN/quarto/OQzRYQ | 1.3050766437166026 | 3046.396906872875 | 2334.266666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.3062982182167 | 4160.9517144856545 | 3185.3 |
BASE/breakthroughWalls/vOZaYA | 1.306436756988326 | 2033.0333333333333 | 1556.1666666666667 |
BASE/breakthroughSmallHoles/bxclRw | 1.3107545334027482 | 2936.439689364397 | 2240.266666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.3123389224896957 | 3984.5671810939634 | 3036.233333333333 |
DRESDEN/golden_rectangle/1uloXw | 1.3129388966701878 | 5.535412803409814 | 4.216047538425787 |
DRESDEN/cubicup/SBn_lw | 1.314559756524058 | 1007.6976906927922 | 766.5666666666667 |
DRESDEN/hanoi/RQ0jiA | 1.3160741090191708 | 10228.966666666667 | 7772.333333333333 |
BASE/conn4/va9Y7A | 1.3181470088487701 | 1627.0327912556652 | 1234.3333333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.3193609564580167 | 2034.850403145199 | 1542.3 |
STANFORD/multiplebuttonsandlights/cK70Yg | 1.324697158779866 | 17019.4 | 12847.766666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.3290282110183034 | 4129.645059156807 | 3107.266666666667 |
BASE/quartoSuicide/-23jUg | 1.3315333525844644 | 3074.0666666666666 | 2308.6666666666665 |
BASE/breakthrough/TGxk-g | 1.334029909227454 | 2042.8 | 1531.3 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.3351270129727095 | 16971.2 | 12711.3 |
BASE/quarto/EwBMVQ | 1.345101765138387 | 3068.2219630061654 | 2281.0333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.3529900757304225 | 4350.674887518747 | 3215.6 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1.3538924424371748 | 2032.327945342443 | 1501.1 |
BASE/cubicup/4wNWJA | 1.3545074546094438 | 1013.3635485053487 | 748.1417286090464 |
STANFORD/jointbuttonsandlights/qAKuIQ | 1.3551221883589177 | 12079.333333333334 | 8913.833333333334 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.3662493617393836 | 3511.7162761241293 | 2570.3333333333335 |
DRESDEN/satlike_20v_91c/yeuENQ | 1.371124029073073 | 2044.5303646423572 | 1491.1345153979469 |
BASE/2pffa_zerosum/o0_uZA | 1.3779627159366676 | 5426.095650724879 | 3937.766666666667 |
BASE/checkersTiny/Lr48cg | 1.3805075445399329 | 2884.5705143161895 | 2089.5 |
BASE/hanoi7_bugfix/3gdnFw | 1.393180913006673 | 8789.996334433003 | 6309.3 |
BASE/roshambo2/KNPokQ | 1.3956461099993935 | 15343.733333333334 | 10994.0 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 1.399752296418619 | 4520.733333333334 | 3229.6666666666665 |
DRESDEN/roshambo2/jgSlkQ | 1.4014204762413893 | 15292.066666666668 | 10911.833333333334 |
BASE/checkers/rOC3Xg | 1.4077617638104634 | 1299.8802873104548 | 923.3666666666667 |
DRESDEN/Thief_Police/CX18rA | 1.4166200544883247 | 12933.835538815372 | 9130.066666666668 |
DRESDEN/hanoi7/51zz5Q | 1.4189921825194585 | 8796.994735789965 | 6199.466666666666 |
BASE/2pttc/unkkYA | 1.4248911551284567 | 6054.6 | 4249.166666666667 |
BASE/withConviction/3Xm54A | 1.4277856536658449 | 2398.0135981869084 | 1679.5333333333333 |
DRESDEN/catch_me/ghGWrA | 1.4359230698885062 | 13123.475304939013 | 9139.4 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.4359358883731022 | 8863.122812864523 | 6172.366666666667 |
BASE/checkersSmall/SYmq8w | 1.4383537370769086 | 1849.1955095106432 | 1285.6333333333334 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.440403104500547 | 13155.489634024398 | 9133.2 |
BASE/ttcc4_2player_small/Cv72TA | 1.447490960130416 | 6109.859342710486 | 4221.0 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.4521312776066595 | 4523.582547248425 | 3115.133333333333 |
BASE/chickentoetictac/l57rfQ | 1.4527077811622295 | 8568.7 | 5898.433333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.4550581483271061 | 13149.7 | 9037.233333333334 |
BASE/double_tictactoe_dengji/zgaSbA | 1.4830012381065192 | 3818.6787547496833 | 2574.9666666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.4879744554960093 | 3814.918508149185 | 2563.8333333333335 |
BASE/incredible/8Qh-6Q | 1.4957480633420073 | 7374.18752708243 | 4930.1 |
STANFORD/connectfour/VMpZkQ | 1.4969600616659442 | 5178.733333333334 | 3459.5 |
BASE/asteroids/BKCmPQ | 1.5012666280381066 | 16275.381641223918 | 10841.1 |
DRESDEN/connectfour/5tc-Mg | 1.5023832957023486 | 5190.133333333333 | 3454.6 |
DRESDEN/chickentoetictac/cxYaRQ | 1.502563805440482 | 8644.5 | 5753.166666666667 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.5060783975767087 | 13689.6 | 9089.566666666668 |
BASE/connectFour_9x6/B9TtMw | 1.5131483902926208 | 4977.400753308223 | 3289.4333333333334 |
BASE/ticTacToeLarge/TZC0dg | 1.5184804313305709 | 5432.97113525765 | 3577.9 |
BASE/nim2/eF2Qqw | 1.5187504980476532 | 6352.933333333333 | 4183.0 |
DRESDEN/tictactoelarge/IwXcbg | 1.5203012100446198 | 5448.303446436904 | 3583.7 |
BASE/connectFour/WAIKTw | 1.5233201117645907 | 5197.466666666666 | 3411.9333333333334 |
BASE/connectFourSuicide/c8p9Kw | 1.5236780178533227 | 5223.066666666667 | 3427.9333333333334 |
BASE/ticTacToeLargeSuicide/727_8g | 1.5279739776951673 | 5480.333333333333 | 3586.6666666666665 |
BASE/escortLatch/mX9BjQ | 1.5385344751307957 | 3362.467095398354 | 2185.5 |
DRESDEN/connectfoursuicide/M9CNQg | 1.542642490259664 | 5166.361121295957 | 3349.0333333333333 |
DRESDEN/nim2/z5_exA | 1.5434091385961233 | 6375.0 | 4130.466666666666 |
STANFORD/pentago/ZxzLmg | 1.55108571160568 | 3634.2455251491615 | 2343.0333333333333 |
DRESDEN/3pttc/uwYBZw | 1.552710535171144 | 5724.6367151046525 | 3686.866666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 1.5533443164524672 | 5487.551244875513 | 3532.733333333333 |
BASE/connect4/50bOyw | 1.5570472187818418 | 1310.2115608862237 | 841.4719509349688 |
BASE/skirmishZeroSum/zh4hcw | 1.5630426349446238 | 1596.700153017098 | 1021.5333333333333 |
DRESDEN/connect4/T0-rHQ | 1.566182308178488 | 1307.2052256215425 | 834.6443570428638 |
BASE/3pttc/0sol9g | 1.5732344368014333 | 5478.684043865204 | 3482.4333333333334 |
BASE/tictactoe_3player/GtM71g | 1.5883795582322608 | 2866.813318668133 | 1804.8666666666666 |
BASE/speedChess/bPnisA | 1.6019045420178089 | 1772.5607725607726 | 1106.5333333333333 |
BASE/asteroidsParallel/WauZiA | 1.6061509083767973 | 10409.892344098924 | 6481.266666666666 |
STANFORD/multiplesukoshi/vLSQPg | 1.607775542440628 | 388.46626582068234 | 241.61722551829877 |
DRESDEN/knightazons/02I8BQ | 1.614284134105612 | 1217.1164276444947 | 753.9666666666667 |
BASE/laikLee_hex/zbyscQ | 1.6145329008934517 | 2653.689754016399 | 1643.626929217669 |
BASE/englishDraughts/jFkQxg | 1.6152397581091975 | 4007.463681194189 | 2481.0333333333333 |
BASE/knightazons/apnJBQ | 1.6202076054663634 | 1213.8595380153995 | 749.2 |
BASE/connectFourLarge/aU644A | 1.6229922851395833 | 4335.066493350665 | 2671.0333333333333 |
DRESDEN/laikLee_hex/ZeP3QQ | 1.6255005183032176 | 2665.766666666667 | 1639.9666666666667 |
BASE/connectFourSimultaneous/7ITr3g | 1.6319926624402765 | 2898.310168983102 | 1775.9333333333334 |
DRESDEN/tictactoe_3player/ESLQQQ | 1.642028646724096 | 2869.937668744375 | 1747.8 |
DRESDEN/oisters_farm/pTQMLg | 1.6699624748486317 | 15793.280447970135 | 9457.266666666666 |
DRESDEN/pancakes/hl9aiQ | 1.6841743559225208 | 19531.48228392387 | 11597.066666666668 |
DRESDEN/crossers3/xiPTxg | 1.689093696212723 | 1911.7725484967668 | 1131.8333333333333 |
DRESDEN/pentago_2008/hLjVpQ | 1.6957932282381591 | 3463.5446157945576 | 2042.4333333333334 |
DRESDEN/nim4/F5YAYg | 1.6999500099980003 | 5667.633333333333 | 3334.0 |
BASE/pentago/86NgKw | 1.7012051002116793 | 3432.4081170237578 | 2017.6333333333334 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.7169615042759128 | 305.2757554602573 | 177.8 |
BASE/pentagoSuicide/SBgNhw | 1.7178253322633599 | 3439.8307061685605 | 2002.4333333333334 |
BASE/nineBoardTicTacToe/wRmqqA | 1.7196042442458686 | 3444.825862356274 | 2003.2666666666667 |
BASE/slidingpieces/uFJWEw | 1.72499036969111 | 1455.7193729823277 | 843.9 |
DRESDEN/slidingpieces/s9_44g | 1.725877504210193 | 1440.6474820143885 | 834.7333333333333 |
STANFORD/nineboardtictactoe/y28P-A | 1.7305003771687202 | 3441.1 | 1988.5 |
BASE/pancakes/yUgbXw | 1.7315467601585757 | 19640.3 | 11342.633333333333 |
BASE/nim4/twk16w | 1.732908513051859 | 5623.345888470384 | 3245.0333333333333 |
BASE/cubicup_3player/e2yA_g | 1.7378816074079992 | 594.1817215727949 | 341.9 |
BASE/nineBoardTicTacToePie/B8LzeQ | 1.7417948209060605 | 3171.808368869936 | 1821.0 |
DRESDEN/Runners/3bOCQw | 1.7432870554390196 | 15077.864071197626 | 8649.1 |
DRESDEN/stratego/Z2wovg | 1.744158020788563 | 2587.749116843298 | 1483.6666666666667 |
DRESDEN/nim3/sG_axA | 1.7454300849219857 | 5709.476350788307 | 3271.1 |
DRESDEN/cubicup_3player/awDtsQ | 1.7457613461502308 | 589.6599906846762 | 337.76666666666665 |
DRESDEN/pancakes6/SZXMyQ | 1.7464155137098658 | 19695.666666666668 | 11277.766666666666 |
BASE/ttcc4_2player_alt/ZEJvYA | 1.7464581461702544 | 4686.387574161722 | 2683.366666666667 |
BASE/futoshiki5/TJ4BZg | 1.7465670506035764 | 1683.1666666666667 | 963.7 |
BASE/nim3/1OwUqw | 1.7509849937045452 | 5721.518565428972 | 3267.6 |
BASE/dualConnect4/WbCQkg | 1.763449853212262 | 3443.9 | 1952.9333333333334 |
STANFORD/duikoshi/tpw1sw | 1.7646022376883095 | 4006.0 | 2270.2 |
BASE/pancakes6/QZTdnw | 1.776638005563015 | 19779.07403086564 | 11132.866666666667 |
BASE/ttcc4_2player/_aH_Mw | 1.7836794160096758 | 4451.588174515881 | 2495.733333333333 |
BASE/3pConnectFour/PqXOFQ | 1.7860502682476325 | 3476.368242117192 | 1946.4 |
STANFORD/ttcc4/Cx9SGw | 1.7959228395434481 | 4176.47842745294 | 2325.5333333333333 |
BASE/crossers3/O0rORg | 1.7991347287885922 | 1909.181803032828 | 1061.1666666666667 |
DRESDEN/pancakes88/aD3E7g | 1.8099058611736645 | 18565.833333333332 | 10257.9 |
BASE/connectFourLarger/qKi60A | 1.8299142982705479 | 3349.780117270789 | 1830.5666666666666 |
DRESDEN/crisscross/GsY16g | 1.8395030597399005 | 4223.744292237443 | 2296.133333333333 |
BASE/asteroidsSerial/id2QkA | 1.8429165965772984 | 9724.149421840115 | 5276.5 |
BASE/crisscross/ICagEg | 1.844160177390141 | 4200.013332000133 | 2277.4666666666667 |
BASE/pancakes88/l2Xaig | 1.8458120571586905 | 18652.3 | 10105.2 |
DRESDEN/blobwars/ZaMluQ | 1.8488154004532507 | 1302.015658837248 | 704.2431918936036 |
DRESDEN/farmers/S_ASnw | 1.8574255376939737 | 5082.163927869071 | 2736.133333333333 |
STANFORD/triplesukoshi/Iu9mbA | 1.8625073688564329 | 2283.247783481101 | 1225.9 |
DRESDEN/fizzbuzz/t1xHzQ | 1.8664121345762972 | 9372.375174988334 | 5021.6 |
BASE/blobwars/0XT15Q | 1.8708061995228549 | 1288.8607510579454 | 688.9333333333333 |
BASE/tttcc4/8Bs2lg | 1.9322707727375592 | 4007.46517363194 | 2073.9666666666667 |
DRESDEN/tttcc4/sAvtFg | 1.9400988752878277 | 3994.534244292618 | 2058.9333333333334 |
STANFORD/selectivesukoshi/3xmXYg | 1.950004263536441 | 512.0061194625515 | 262.56666666666666 |
BASE/minichess-evilconjuncts/4OpQzw | 1.952591013756202 | 2849.871670944302 | 1459.5333333333333 |
DRESDEN/minichess-evilconjuncts/th24Tw | 1.9661053863214069 | 2843.643757082861 | 1446.3333333333333 |
BASE/ttcc4/Le0qjQ | 1.9732715027788188 | 4001.399953334889 | 2027.8 |
BASE/blockerSerial/3eqDuw | 1.9925130541794387 | 2086.227584827678 | 1047.0333333333333 |
DRESDEN/racer/vk_ZBA | 2.1467609368790534 | 468.3139631689367 | 218.14909854367315 |
BASE/golden_rectangle/_nYzfw | 2.173259880332281 | 137.01915070774353 | 63.04775234096438 |
BASE/racer/QQYQNw | 2.1819597603902703 | 472.3785421730878 | 216.49278357388087 |
BASE/bunk_t/xbpfIA | 2.188291692765837 | 3980.867304423186 | 1819.1666666666667 |
DRESDEN/doubletoetictac/V89gKQ | 2.230253344356496 | 4001.9666011132963 | 1794.4 |
BASE/futoshiki6/JmvXNA | 2.237735726288459 | 1129.8696970706835 | 504.91650278324056 |
BASE/tictactoe_3d_small_6player/g_9lww | 2.2382176460093097 | 1665.1784226835039 | 743.9752008266391 |
DRESDEN/bunk_t/7-tPfA | 2.252766997127339 | 3976.4341188627045 | 1765.1333333333334 |
BASE/doubletoetictac/fu35bg | 2.2532295336591277 | 3965.233333333333 | 1759.8 |
DRESDEN/aipsrovers01/qS47Mw | 2.2548926435547276 | 8393.386887103763 | 3722.3 |
BASE/doubletictactoe/HH1htg | 2.2574540427439844 | 4027.9 | 1784.2666666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 2.2721407422909574 | 4030.3989867004434 | 1773.8333333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 2.273152180437431 | 2133.353321340529 | 938.5 |
BASE/chineseCheckers4/avfBcQ | 2.2759615934442983 | 4227.446929049888 | 1857.4333333333334 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.280449627135044 | 1653.0979347101932 | 724.9 |
BASE/aipsrovers01/4C4jsw | 2.282954224755908 | 8445.636957536164 | 3699.4333333333334 |
BASE/checkLines/Vop7oQ | 2.3645199849012286 | 7516.966666666666 | 3179.0666666666666 |
BASE/twisty-passages/DiZmmg | 2.369664751870984 | 3723.21725813969 | 1571.2 |
DRESDEN/twisty-passages/j7NPyg | 2.3769005617965724 | 3683.9581807285076 | 1549.9 |
BASE/ticTacToeSerial/Amrwqw | 2.4065211017197274 | 3340.732593407326 | 1388.2 |
BASE/ticTacHeavenFC/mrletw | 2.4238248183387263 | 2041.9235511713932 | 842.4385853804873 |
BASE/racer4/0vs7Ww | 2.426208007364203 | 893.3808825489934 | 368.2210592980234 |
DRESDEN/battlebrushes/QHXV4A | 2.4650627774487464 | 833.3277787035494 | 338.0553981533949 |
BASE/hitori/S8Gsyg | 2.5024635803621305 | 1870.9462387094625 | 747.6417452751575 |
DRESDEN/hitori/S8Gsyg | 2.5201281866566836 | 1870.8591615010332 | 742.3666666666667 |
DRESDEN/javastrike/whONTQ | 2.560798653537074 | 1358.0316182052213 | 530.3156561447952 |
DRESDEN/amazons/dNB28A | 2.666335589459256 | 438.30295787272183 | 164.38401812789496 |
BASE/hidato19/rRHSmA | 2.716632998073166 | 2653.156456236251 | 976.6341121962602 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 2.7794887710147376 | 722.1556886227545 | 259.81601226584894 |
BASE/zhadu/DlA8iQ | 2.923824963124254 | 33.570274636510504 | 11.481629392971247 |
DRESDEN/Zhadu/9zpQ5w | 2.955218709418863 | 1636.2060921149105 | 553.6666666666666 |
BASE/tictactoe_3d_6player/d7KSwg | 3.0370849581916595 | 629.6050006649821 | 207.30569257432342 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 3.107467372467353 | 626.1330311916822 | 201.49303472638806 |
BASE/ticTacHeaven/18n58A | 3.1536574426057573 | 2708.676377454085 | 858.9 |
DRESDEN/capture_the_king/EQ229Q | 3.333823769821808 | 1359.4427038197452 | 407.772815145657 |
BASE/qyshinsu/R08Lzw | 3.544031869126679 | 2880.4930867899384 | 812.7729075697476 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 3.580288112075784 | 1856.6047798406719 | 518.5629540758515 |
DRESDEN/quad/JPe6fg | 3.845434176960258 | 50.23026315789474 | 13.062312562479173 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 3.909203419253915 | 2011.1992533831078 | 514.4780247242678 |
BASE/chess_200/XsTpYA | 3.979243332006203 | 522.855145320771 | 131.39562014599514 |
DRESDEN/quad_7x7/q-JOXg | 4.14973012043974 | 359.1338477913784 | 86.5439046318804 |
BASE/simultaneousWin2/PfjRjw | 4.542806776428266 | 951.830507345348 | 209.5247617143238 |
BASE/quad_7x7/q-JOXg | 4.663392284635742 | 364.48753831800616 | 78.15931323617488 |
DRESDEN/quad_5x5/JAEP5g | 4.910345654689858 | 958.1680610646312 | 195.1325076574777 |
BASE/quad_5x5/JAEP5g | 5.104194654160449 | 963.1357909472702 | 188.69495703151023 |
BASE/quad/tw-Ufg | 5.187491782020348 | 52.32912774085845 | 10.087558677630922 |
DRESDEN/quad_5x5_8_2/JRTLJg | 5.439103323177961 | 1092.5290610531927 | 200.86565673381057 |
BASE/pawnToQueen/-O1_JA | 6.284532920813101 | 649.3151597960476 | 103.31955739234769 |
BASE/merrills/pku8Tg | 6.322472974521091 | 1132.7386499800293 | 179.16069464351187 |
BASE/hidato37/pBrqxw | 6.383313061804255 | 560.0106656001067 | 87.73040898636712 |
DRESDEN/merrills/aYEzwA | 6.464360599277424 | 1130.9345327336332 | 174.9491717494917 |
DRESDEN/pawntoqueen/f_x6Aw | 6.497169497169498 | 650.1066240170599 | 100.05997600959616 |
BASE/cittaceot/fDxhXg | 6.529121639541556 | 1556.0554555755516 | 238.32538915369489 |
BASE/sudokuGrade1/tDRNRw | 6.692904196957 | 430.7999334774655 | 64.36666666666666 |
BASE/sudokuGrade2/u80Tfw | 6.953557252728137 | 419.22385675297875 | 60.28912131103857 |
BASE/sudokuGrade5/BQfUQA | 7.1015177480522365 | 417.52749083638787 | 58.79412058794121 |
BASE/sudokuGrade4/DTy07w | 7.223121162622916 | 415.9824485589868 | 57.590401599733376 |
BASE/sudokuGrade3/eI8dvg | 7.343154830014627 | 413.9091605851578 | 56.36666666666667 |
STANFORD/sudoku/oJ1qyQ | 7.587871287128713 | 408.6788428209572 | 53.85948540194641 |
STANFORD/duidoku/3SoMaA | 7.9487998014483825 | 400.7241803142544 | 50.41316806610689 |
BASE/othello-comp2007/86ZoMw | 8.278824814019139 | 308.5430463576159 | 37.26894254787677 |
BASE/sudokuGrade6H/ieE_9A | 8.586316004159318 | 383.509331208076 | 44.665177827405756 |
BASE/amazons/RKKZjw | 8.601217370715226 | 116.64319171934882 | 13.561242169798748 |
BASE/sudokuGrade6E/ihYFZA | 8.637325911825293 | 381.5535916007708 | 44.174967518406234 |
BASE/amazonsSuicide/dE1QEQ | 8.6676242669326 | 117.23932077474132 | 13.526119402985074 |
BASE/battlebrushes/arCwyA | 9.06135212527964 | 849.9333333333333 | 93.79762772513419 |
BASE/blokbox_simple/JBx4bg | 10.73229180458096 | 78.14775585859923 | 7.281553398058253 |
DRESDEN/god/2EDD5w | 13.403574321572824 | 933.2422343687508 | 69.6263706962637 |
BASE/god/qF06gw | 14.759670712226185 | 930.8655960551743 | 63.06818181818182 |
BASE/queens06ug/7Lq3tw | 90.25102136048072 | 2271.448570095327 | 25.168120380850922 |
BASE/queens08ug/kJ_ZFQ | 117.38907142857143 | 1009.3333333333334 | 8.598188238906802 |
Games with errors:
Game | CADIAPLAYER_PROLOG:3.0 error message | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
STANFORD/freeforall/Lfp40Q | Test process failed to output results for unknown reason | |
DRESDEN/max_knights/hCipiA | Test process failed to output results for unknown reason | |
STANFORD/knightstourbig/TQUI2g | Test process failed to output results for unknown reason | |
DRESDEN/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/cylinder-checkers/hlldmw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_6p/867v3Q | Test process failed to output results for unknown reason | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
BASE/slaughter/cOch8A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes2011/93VtTw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | Test process failed to output results for unknown reason | |
BASE/pacman3p/wW7UVQ | Test process failed to output results for unknown reason | |
DRESDEN/babel/WdSW4A | Test process failed to output results for unknown reason | |
BASE/stateSpaceMedium/3bUoIw | Test process failed to output results for unknown reason | |
BASE/gt_centipede/9fRMpw | Test process failed to output results for unknown reason | |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process failed to output results for unknown reason | |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | Test process failed to output results for unknown reason | |
BASE/sudoku/NTaNkw | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | Test process failed to output results for unknown reason | |
BASE/snake_2008_tweaked/bX0NJQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process failed to output results for unknown reason | |
DRESDEN/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
DRESDEN/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | Test process failed to output results for unknown reason | |
STANFORD/checkersonabarrelnokings/Zrevdw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump/HUr33w | Test process failed to output results for unknown reason | |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/cylinder-checkers/clOO3Q | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | Test process failed to output results for unknown reason | |
DRESDEN/2player_normal_form_2010/NG_Kdg | Test process failed to output results for unknown reason | |
BASE/ruleDepthLinear/OUBJpQ | Test process failed to output results for unknown reason | |
DRESDEN/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_2p/1APDGg | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | Test process failed to output results for unknown reason | |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | Test process failed to output results for unknown reason | |
DRESDEN/smallest/9kaGFw | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes1509/-qZrLw | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
DRESDEN/knightwar/7hhAqg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | Test process failed to output results for unknown reason | |
BASE/skirmishHoles/AUCxCA | Test process failed to output results for unknown reason | |
DRESDEN/skirmishfinal/hzq8ww | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | |
BASE/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process failed to output results for unknown reason | |
BASE/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6/yTbPDA | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4_pie/IN5_jA | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | |
BASE/knightwar/DVGY4Q | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |