Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | CADIAPLAYER_PROLOG:3.0 states per second |
BASE/pancakes88/l2Xaig | 0.009625265159435209 | 179.53333333333333 | 18652.3 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.46245339093576787 | 945.5 | 2044.5303646423572 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.4698191879350348 | 944.9 | 2011.1992533831078 |
DRESDEN/amazons/dNB28A | 0.47744753465121564 | 209.26666666666668 | 438.30295787272183 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.49222698972340656 | 1000.3666666666667 | 2032.327945342443 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.6160169425493717 | 1143.7 | 1856.6047798406719 |
DRESDEN/battlebrushes/QHXV4A | 1.3503889504329087 | 1125.3166244500733 | 833.3277787035494 |
DRESDEN/pancakes/hl9aiQ | 1.5770743639540994 | 30802.6 | 19531.48228392387 |
BASE/pancakes6/QZTdnw | 1.607274433089762 | 31790.4 | 19779.07403086564 |
DRESDEN/pancakes6/SZXMyQ | 1.6243573036370096 | 31992.8 | 19695.666666666668 |
BASE/pancakes/yUgbXw | 1.6562340358005394 | 32528.933333333334 | 19640.3 |
BASE/amazons/RKKZjw | 1.7552103154544603 | 204.73333333333332 | 116.64319171934882 |
DRESDEN/crossers3/xiPTxg | 1.7974789476437054 | 3436.370908606093 | 1911.7725484967668 |
BASE/crossers3/O0rORg | 1.8343459980797765 | 3502.1 | 1909.181803032828 |
DRESDEN/chinesecheckers4/-oVNYg | 2.0460277049922704 | 4364.9 | 2133.353321340529 |
BASE/knightazons/apnJBQ | 3.236398619692268 | 3928.5333333333333 | 1213.8595380153995 |
DRESDEN/knightazons/02I8BQ | 3.291249088705415 | 4005.8333333333335 | 1217.1164276444947 |
BASE/knightfight/SJRkAg | 3.3189051897313604 | 15770.966666666667 | 4751.858147518581 |
BASE/speedChess/bPnisA | 3.724348093180537 | 6601.633333333333 | 1772.5607725607726 |
DRESDEN/knightfight/4_Ly4w | 3.8268611158216035 | 18053.6 | 4717.6 |
BASE/eightPuzzle/vLrgFg | 3.829562741478423 | 31529.466666666667 | 8233.176682331767 |
BASE/skirmishZeroSum/zh4hcw | 3.9923379819444444 | 6374.566666666667 | 1596.700153017098 |
DRESDEN/8puzzle/8fKC2w | 4.09775158046209 | 33853.36666666667 | 8261.449236717552 |
DRESDEN/capture_the_king/EQ229Q | 4.177226435541607 | 5678.7 | 1359.4427038197452 |
STANFORD/8puzzle/jNiGtw | 4.512391894662997 | 37157.86666666667 | 8234.627562072988 |
DRESDEN/blobwars/ZaMluQ | 4.552556614636643 | 5927.5 | 1302.015658837248 |
BASE/ttcc4/Le0qjQ | 4.630879246288923 | 18530.0 | 4001.399953334889 |
DRESDEN/tttcc4/sAvtFg | 4.7147257180839235 | 18833.133333333335 | 3994.534244292618 |
BASE/blobwars/0XT15Q | 4.724456588245433 | 6089.166666666667 | 1288.8607510579454 |
BASE/tttcc4/8Bs2lg | 4.749635786042179 | 19034.0 | 4007.46517363194 |
BASE/wargame02/BkVqqQ | 5.01693465822191 | 5936.533333333334 | 1183.2989141296382 |
DRESDEN/crisscross/GsY16g | 5.113283027027027 | 21597.2 | 4223.744292237443 |
BASE/crisscross/ICagEg | 5.16714232817249 | 21702.066666666666 | 4200.013332000133 |
DRESDEN/javastrike/whONTQ | 5.654949337740297 | 7679.6 | 1358.0316182052213 |
BASE/racer/QQYQNw | 5.678426150195029 | 2682.366666666667 | 472.3785421730878 |
DRESDEN/racer/vk_ZBA | 5.846861041977766 | 2738.1666666666665 | 468.3139631689367 |
BASE/chess_200/XsTpYA | 6.5123837143160355 | 3405.0333333333333 | 522.855145320771 |
STANFORD/ttcc4/Cx9SGw | 6.637697400224957 | 27722.2 | 4176.47842745294 |
BASE/ttcc4_2player/_aH_Mw | 6.900660796939228 | 30718.9 | 4451.588174515881 |
BASE/amazonsTorus_10x10/Uxc08g | 7.334387962139831 | 9328.6 | 1271.8989025606918 |
BASE/3pttc/0sol9g | 7.4466361520427995 | 40797.76666666667 | 5478.684043865204 |
STANFORD/breakthrough/d5j0cQ | 7.4594219025911075 | 15812.433333333332 | 2119.793402199267 |
BASE/wargame03/klXI8w | 7.524294655662604 | 14524.466666666667 | 1930.3426209838688 |
BASE/ttcc4_2player_alt/ZEJvYA | 8.084578167533186 | 37887.46666666667 | 4686.387574161722 |
DRESDEN/quartosuicide/WIU1oQ | 8.16852119400048 | 24901.1 | 3048.422034858533 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 8.359362578597816 | 37814.26666666667 | 4523.582547248425 |
DRESDEN/3pttc/uwYBZw | 8.384101161684967 | 47995.933333333334 | 5724.6367151046525 |
BASE/choicethroughalt/tt71Lg | 8.556776688710986 | 16388.533333333333 | 1915.2694910169662 |
DRESDEN/quarto/OQzRYQ | 8.603770552966148 | 26210.5 | 3046.396906872875 |
BASE/coloredtrails/EZvr7g | 8.630865971003185 | 26548.5 | 3075.994933671089 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 8.687145153441183 | 39272.26666666667 | 4520.733333333334 |
BASE/wargame01/_GZFZg | 8.894010773408075 | 20305.2 | 2283.0194967505417 |
DRESDEN/frogs_and_toads/GjchhQ | 9.022126425567704 | 21437.466666666667 | 2376.099120703437 |
DRESDEN/roshambo2/jgSlkQ | 9.250465382921863 | 141458.73333333334 | 15292.066666666668 |
BASE/roshambo2/KNPokQ | 9.251288256660699 | 141949.3 | 15343.733333333334 |
DRESDEN/Runners/3bOCQw | 9.276749412661113 | 139873.56666666668 | 15077.864071197626 |
BASE/minichess/8NQEiA | 9.317542913844159 | 39751.433333333334 | 4266.3 |
DRESDEN/blocksworldparallel/2JfVaw | 9.434797188206364 | 75967.1 | 8051.8 |
BASE/2pffa_zerosum/o0_uZA | 9.519797780644105 | 51655.333333333336 | 5426.095650724879 |
BASE/quarto/EwBMVQ | 9.53716311471255 | 29262.133333333335 | 3068.2219630061654 |
BASE/quartoSuicide/-23jUg | 9.555301338075514 | 29373.633333333335 | 3074.0666666666666 |
BASE/amazonsSuicide_10x10/XIbQkg | 9.556040550879876 | 14136.666666666666 | 1479.343520090549 |
BASE/coins_atomic/AA3SSw | 9.684786360184996 | 74828.53333333334 | 7726.4 |
BASE/coins/QnGtnQ | 9.839880846407372 | 75534.53333333334 | 7676.366666666667 |
DRESDEN/coins/QwFP9w | 9.892803091430093 | 75607.06666666667 | 7642.633333333333 |
BASE/amazons_8x8/7SOsIw | 9.978463256078026 | 21851.066666666666 | 2189.822832023445 |
DRESDEN/endgame/IJhh3Q | 10.087201673263763 | 7472.3 | 740.7703585232574 |
BASE/2pttc/unkkYA | 10.087415628888229 | 61075.26666666667 | 6054.6 |
BASE/escortLatch/mX9BjQ | 10.19645170067353 | 34285.23333333333 | 3362.467095398354 |
BASE/ttcc4_2player_small/Cv72TA | 10.233328869443778 | 62524.2 | 6109.859342710486 |
BASE/racer4/0vs7Ww | 10.236171579929117 | 9144.8 | 893.3808825489934 |
BASE/othello-comp2007/86ZoMw | 10.29350136048024 | 3175.9882674488367 | 308.5430463576159 |
BASE/amazons_10x10/Bun8dA | 10.351681704514734 | 15298.5 | 1477.875811553188 |
BASE/aipsrovers01/4C4jsw | 10.358827929719874 | 87486.9 | 8445.636957536164 |
BASE/asteroidsParallel/WauZiA | 10.393661761673624 | 108196.9 | 10409.892344098924 |
DRESDEN/aipsrovers01/qS47Mw | 10.446537793706895 | 87681.83333333333 | 8393.386887103763 |
DRESDEN/minichess/c7GMFw | 10.838997920457501 | 44477.46666666667 | 4103.466666666666 |
BASE/qyshinsu/R08Lzw | 11.377693220985913 | 32773.36666666667 | 2880.4930867899384 |
BASE/checkers/rOC3Xg | 11.62858365822461 | 15115.766666666666 | 1299.8802873104548 |
BASE/englishDraughts/jFkQxg | 11.876905307968604 | 47596.26666666667 | 4007.463681194189 |
DRESDEN/knightthrough/J7Fc_Q | 11.930798912883297 | 23377.433333333334 | 1959.4189378290132 |
BASE/blocksWorldParallel/RseaAQ | 12.035934276975604 | 84606.6 | 7029.5 |
BASE/hodgepodge/9yjRkw | 12.161050990462217 | 132604.1 | 10904.0 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 12.194287097304136 | 24720.366666666665 | 2027.208845372498 |
BASE/knightThrough/gcwFjA | 12.211077697042231 | 23795.633333333335 | 1948.6923205064134 |
BASE/guess/SPpk1A | 12.32242746792818 | 30125.733333333334 | 2444.7888544478888 |
BASE/breakthroughWalls/vOZaYA | 12.348821957337968 | 25105.566666666666 | 2033.0333333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 12.452365029308707 | 25338.7 | 2034.850403145199 |
DRESDEN/breakthrough/z4hK7Q | 12.667675524987036 | 25768.733333333334 | 2034.2116659449016 |
BASE/breakthrough/TGxk-g | 12.699220024802559 | 25941.966666666667 | 2042.8 |
BASE/asteroids/BKCmPQ | 12.710716788519486 | 206871.76666666666 | 16275.381641223918 |
BASE/breakthroughSuicide/wZDpIg | 12.776047752385326 | 25962.4 | 2032.115134756971 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 12.802633779894009 | 52870.333333333336 | 4129.645059156807 |
DRESDEN/bidding-tictactoe/yW5vTA | 12.81502439456847 | 67696.1 | 5282.55724809173 |
DRESDEN/tictictoe/LAUtwg | 13.222559593724565 | 90433.93333333333 | 6839.366666666667 |
BASE/checkersSmall/SYmq8w | 13.450047081959731 | 24871.766666666666 | 1849.1955095106432 |
BASE/biddingTicTacToe/8mESVw | 13.570778982792731 | 71485.76666666666 | 5267.624412519583 |
BASE/asteroidsSerial/id2QkA | 13.58133182357134 | 132066.9 | 9724.149421840115 |
DRESDEN/guess/PhxGhg | 14.033238992145224 | 34200.933333333334 | 2437.1375241650558 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 14.067481894390491 | 184983.16666666666 | 13149.7 |
BASE/nineBoardTicTacToePie/B8LzeQ | 14.320863069516657 | 45423.03333333333 | 3171.808368869936 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 14.547617660566535 | 191381.03333333333 | 13155.489634024398 |
BASE/breakthroughHoles/nZk0Sg | 14.979937171103568 | 27934.533333333333 | 1864.7964283334443 |
BASE/checkersTiny/Lr48cg | 15.07244600801171 | 43477.53333333333 | 2884.5705143161895 |
BASE/eotcitcit/V_9_bg | 15.08068279802994 | 103188.56666666667 | 6842.433333333333 |
DRESDEN/catch_me/ghGWrA | 15.150224721737606 | 198823.6 | 13123.475304939013 |
DRESDEN/stratego/Z2wovg | 15.199245196270349 | 39331.833333333336 | 2587.749116843298 |
BASE/endgame/jYjfOA | 15.347842930215565 | 11197.4 | 729.5748367319738 |
DRESDEN/Thief_Police/CX18rA | 15.506787041742694 | 200562.23333333334 | 12933.835538815372 |
BASE/nim3/1OwUqw | 15.57972747630449 | 89139.7 | 5721.518565428972 |
BASE/ticTicToe/c1OobQ | 15.627962513490942 | 106669.7 | 6825.566666666667 |
BASE/incredible/8Qh-6Q | 15.66265656283948 | 115499.36666666667 | 7374.18752708243 |
BASE/minichess-evilconjuncts/4OpQzw | 15.694695000721255 | 44727.86666666667 | 2849.871670944302 |
BASE/breakthroughSuicideSmall/XSbJog | 15.734671016579805 | 45887.63333333333 | 2916.338910739284 |
BASE/breakthroughSmall/HJ0tIA | 15.780833221130727 | 45933.6 | 2910.720831805912 |
STANFORD/tictictoe/rpt_Dw | 15.970262673064152 | 106621.2 | 6676.233333333334 |
DRESDEN/Zhadu/9zpQ5w | 16.038994186899135 | 26243.1 | 1636.2060921149105 |
DRESDEN/tictactoeparallel/yk_DSg | 16.14853739709231 | 55315.2 | 3425.4 |
DRESDEN/minichess-evilconjuncts/th24Tw | 16.236199260778683 | 46169.96666666667 | 2843.643757082861 |
BASE/ticTacToeParallel/ymRGPw | 16.37515163059279 | 54446.833333333336 | 3324.9666666666667 |
DRESDEN/nim3/sG_axA | 16.375932617198902 | 93498.0 | 5709.476350788307 |
STANFORD/threepuzzle/41ibjA | 16.549309942561123 | 223197.23333333334 | 13486.8 |
BASE/checkLines/Vop7oQ | 16.675179261138137 | 125346.76666666666 | 7516.966666666666 |
STANFORD/3puzzle/41ibjA | 16.832084921769518 | 226061.63333333333 | 13430.4 |
BASE/numbertictactoe/rvJ-iQ | 17.29177285239947 | 101551.7 | 5872.833333333333 |
DRESDEN/blocks2player/3ev8nQ | 17.3366782793093 | 137348.1 | 7922.4 |
BASE/battlebrushes/arCwyA | 17.457486861714646 | 14837.7 | 849.9333333333333 |
DRESDEN/mimikry/GJEhwA | 17.465126792568707 | 27798.233333333334 | 1591.642228739003 |
BASE/snakeParallel/RCVNtw | 17.478907738997425 | 167215.46666666667 | 9566.7 |
BASE/blocks2player/wnTLOQ | 17.593560823835773 | 138726.4 | 7885.066666666667 |
DRESDEN/nim4/F5YAYg | 17.9977768498315 | 102004.8 | 5667.633333333333 |
BASE/nim4/twk16w | 18.468002631599745 | 103851.96666666666 | 5623.345888470384 |
BASE/blocks/xIV5hQ | 18.699296371955228 | 260883.23333333334 | 13951.5 |
BASE/ticTacHeaven/18n58A | 18.88283902267945 | 51147.5 | 2708.676377454085 |
DRESDEN/sum15/CsgWKg | 18.961145819914982 | 157008.4 | 8280.533333333333 |
DRESDEN/chinesecheckers1/Y-ftaA | 19.11275513800734 | 48073.0 | 2515.231302493001 |
BASE/sum15/QZ07Kg | 19.118221050107888 | 159484.2 | 8342.0 |
BASE/tpeg/QNs7Lw | 19.199627452794225 | 38049.833333333336 | 1981.8006066464452 |
DRESDEN/tpeg/h-Scbg | 19.416879880637868 | 38460.333333333336 | 1980.7679488034132 |
DRESDEN/chomp/-LcqYQ | 19.56380611950441 | 70056.03333333334 | 3580.9 |
STANFORD/duidoku/3SoMaA | 19.669722269197823 | 7882.133333333333 | 400.7241803142544 |
BASE/nineBoardTicTacToe/wRmqqA | 19.955367677031532 | 68742.76666666666 | 3444.825862356274 |
STANFORD/nineboardtictactoe/y28P-A | 19.980384179477493 | 68754.5 | 3441.1 |
BASE/hanoi_6_disks/MeubgQ | 20.432060767341213 | 186318.6 | 9118.933333333332 |
DRESDEN/hanoi7_bugfix/3gdnFw | 20.65850120767497 | 183098.83333333334 | 8863.122812864523 |
DRESDEN/peg/Vo31eg | 20.669370456058687 | 39665.26666666667 | 1919.0360321322623 |
STANFORD/duikoshi/tpw1sw | 20.831070061574305 | 83449.26666666666 | 4006.0 |
BASE/circlesolitaire/azuQFQ | 20.862144074253216 | 219972.53333333333 | 10544.1 |
BASE/survival/YVIjJA | 20.905486103387215 | 707976.1333333333 | 33865.566666666666 |
DRESDEN/circlesolitaire/ruUilQ | 20.922564606029894 | 220216.96666666667 | 10525.333333333334 |
DRESDEN/peg_bugfixed/u_B7MA | 21.032793917473786 | 40315.13333333333 | 1916.77498916775 |
BASE/blocksWorld/SEdXLQ | 21.089179696596492 | 292816.93333333335 | 13884.7 |
DRESDEN/blocks/vg0DRw | 21.192079178907115 | 289274.0 | 13650.1 |
BASE/peg/fJHVWw | 21.20622877743858 | 40516.166666666664 | 1910.5785895213971 |
DRESDEN/chickentoetictac/cxYaRQ | 21.25447008695317 | 183734.26666666666 | 8644.5 |
DRESDEN/hanoi_6_disks/MeubgQ | 21.308878256246675 | 193729.66666666666 | 9091.5 |
BASE/connectFourLarger/qKi60A | 21.623926784488845 | 72435.4 | 3349.780117270789 |
BASE/hex/T1MK8g | 22.10067200457535 | 7725.0 | 349.53688278803224 |
BASE/hanoi7_bugfix/3gdnFw | 22.17825725778019 | 194946.8 | 8789.996334433003 |
BASE/blocksWorldSerial/Wyg96Q | 22.21603504186632 | 183602.2 | 8264.4 |
BASE/chickentoetictac/l57rfQ | 22.29565745095522 | 191044.8 | 8568.7 |
BASE/maze/cCX3qQ | 22.489294944193716 | 490504.26666666666 | 21810.566666666666 |
BASE/chomp/-LcqYQ | 22.59188883382115 | 80531.8 | 3564.633333333333 |
STANFORD/hex/MTqWcw | 22.64955442094475 | 8069.9 | 356.29398486256804 |
DRESDEN/hanoi/RQ0jiA | 22.713467310155146 | 232335.3 | 10228.966666666667 |
BASE/tron_10x10/7ZTgDg | 22.721235902054122 | 35322.433333333334 | 1554.6 |
BASE/snake2p/I3wWPQ | 22.821078821097526 | 81329.0 | 3563.766666666667 |
BASE/pegEuro/5awwhg | 22.910681510315296 | 37275.2 | 1626.9791006966434 |
BASE/kitten_escapes_from_fire/uW-YiA | 22.982806948896247 | 418981.93333333335 | 18230.233333333334 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 22.989585049594226 | 80732.9 | 3511.7162761241293 |
DRESDEN/cube_2x2x2/fp-34Q | 23.185904223018436 | 61256.166666666664 | 2641.957202853143 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 23.41399851490244 | 424630.0333333333 | 18135.733333333334 |
BASE/pawnWhopping/Ypc_6Q | 23.535672144357786 | 109039.2 | 4632.933333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 23.589634954028362 | 322932.6666666667 | 13689.6 |
DRESDEN/toetictac/mJtxCA | 24.00815304545587 | 219575.36666666667 | 9145.866666666667 |
BASE/toetictac/mTThmg | 24.0230043055798 | 220204.46666666667 | 9166.4 |
DRESDEN/backgammon/mqCW0Q | 24.108548238098113 | 26527.966666666667 | 1100.3552103044185 |
BASE/doubletictactoe/HH1htg | 24.13255046053775 | 97203.5 | 4027.9 |
BASE/hexPie/48CH6Q | 24.141456606343645 | 8261.5 | 342.21215955250716 |
BASE/chineseCheckers4/avfBcQ | 24.15431071765482 | 102111.06666666667 | 4227.446929049888 |
BASE/pearls/6k_mEQ | 24.208827599693887 | 808770.9333333333 | 33408.1 |
DRESDEN/troublemaker02/iZLVuA | 24.266345964489677 | 566824.6333333333 | 23358.466666666667 |
BASE/sudokuGrade6H/ieE_9A | 24.306057875140706 | 9321.6 | 383.509331208076 |
BASE/sudokuGrade1/tDRNRw | 24.57405207689932 | 10586.5 | 430.7999334774655 |
STANFORD/sudoku/oJ1qyQ | 24.594046996139838 | 10051.066666666668 | 408.6788428209572 |
STANFORD/pentago/ZxzLmg | 24.711355551479244 | 89807.13333333333 | 3634.2455251491615 |
BASE/sudokuGrade6E/ihYFZA | 24.72155997910136 | 9432.6 | 381.5535916007708 |
BASE/blockerParallel/7-nDJA | 24.7536510232226 | 33502.36666666667 | 1353.4313235343132 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 24.827378112843473 | 116077.63333333333 | 4675.38830744617 |
BASE/sudokuGrade4/DTy07w | 24.95570034095147 | 10381.133333333333 | 415.9824485589868 |
DRESDEN/blockerparallel/dVQgSg | 24.981878108408445 | 33718.0 | 1349.6983634969836 |
DRESDEN/hanoi7/51zz5Q | 24.996206841569045 | 219891.5 | 8796.994735789965 |
BASE/haystack/UkweGA | 25.155068474778183 | 850260.6 | 33800.76666666667 |
BASE/troublemaker02/DI83KA | 25.177552304455364 | 581569.5666666667 | 23098.733333333334 |
DRESDEN/pawn_whopping/4ogBkg | 25.216952413691498 | 119807.0 | 4751.049930004667 |
BASE/sudokuGrade3/eI8dvg | 25.319243120521698 | 10479.866666666667 | 413.9091605851578 |
DRESDEN/pentago_2008/hLjVpQ | 25.452008403374816 | 88154.16666666667 | 3463.5446157945576 |
BASE/sudokuGrade2/u80Tfw | 25.463245538266115 | 10674.8 | 419.22385675297875 |
BASE/sudokuGrade5/BQfUQA | 25.522311465815378 | 10656.266666666666 | 417.52749083638787 |
BASE/pentagoSuicide/SBgNhw | 25.66783296679875 | 88293.0 | 3439.8307061685605 |
BASE/tictactoe_3player/GtM71g | 25.711789295804124 | 73710.9 | 2866.813318668133 |
BASE/chinook/XQh0IQ | 25.766693512056083 | 18554.866666666665 | 720.1105045932632 |
BASE/double_tictactoe_dengji/zgaSbA | 25.91949721097223 | 98978.23333333334 | 3818.6787547496833 |
BASE/switches/tPUoCg | 26.163825905771994 | 390100.9 | 14909.933333333332 |
STANFORD/bestbuttonsandlights/nm0wEA | 26.176168340599084 | 434723.3333333333 | 16607.6 |
DRESDEN/doubletictactoe/lJzgmQ | 26.63193735596061 | 107337.33333333333 | 4030.3989867004434 |
DRESDEN/chickentictactoe/Ipbo-g | 26.89752716754764 | 176065.83333333334 | 6545.8 |
BASE/hanoi/iGLsJg | 26.916739663574738 | 274978.3333333333 | 10215.885607626158 |
BASE/cittaceot/fDxhXg | 27.1257041956694 | 42209.1 | 1556.0554555755516 |
STANFORD/jointbuttonsandlights/qAKuIQ | 27.164551023787183 | 328129.6666666667 | 12079.333333333334 |
BASE/nim2/eF2Qqw | 27.490277457132663 | 174643.9 | 6352.933333333333 |
BASE/doubletoetictac/fu35bg | 27.540506233344825 | 109204.53333333334 | 3965.233333333333 |
BASE/ticTacHeavenFC/mrletw | 27.56505418679549 | 56285.73333333333 | 2041.9235511713932 |
BASE/brain_teaser_extended/ZDp94A | 27.6064583654765 | 211844.9 | 7673.744208526383 |
DRESDEN/bunk_t/7-tPfA | 27.645355121531416 | 109929.93333333333 | 3976.4341188627045 |
BASE/chickentictactoe/DSlZCA | 27.749192199985643 | 180345.7 | 6499.133333333333 |
DRESDEN/doubletoetictac/V89gKQ | 27.809843949148917 | 111294.06666666667 | 4001.9666011132963 |
DRESDEN/brain_teaser_extended/ZDp94A | 27.836398893173843 | 212934.53333333333 | 7649.5 |
DRESDEN/nim2/z5_exA | 27.93132549019608 | 178062.2 | 6375.0 |
DRESDEN/troublemaker01/C-lPWw | 28.00464381933773 | 664563.2666666667 | 23730.466666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 28.07742806856604 | 107113.1 | 3814.918508149185 |
STANFORD/trifecta/ss1kyQ | 28.135077464119377 | 197339.43333333332 | 7014.0 |
BASE/connect5/d-BVQg | 28.288657182675816 | 21961.166666666668 | 776.3241119877492 |
BASE/tictactoe_orthogonal/WRzlVw | 28.443802426638168 | 200515.53333333333 | 7049.533333333334 |
DRESDEN/connect5/1kYzSg | 28.45698594827586 | 21949.666666666668 | 771.3278808431412 |
BASE/troublemaker01/s3tlEQ | 29.14526278609777 | 687633.9 | 23593.333333333332 |
DRESDEN/latenttictactoe/kITHKg | 29.3342270093075 | 83519.43333333333 | 2847.1666666666665 |
DRESDEN/sheep_and_wolf/enAIzQ | 29.387937140713834 | 24793.9 | 843.6760934012858 |
BASE/pentago/86NgKw | 29.605279015629552 | 101617.4 | 3432.4081170237578 |
DRESDEN/tictactoe/BTTzPw | 29.724879902967327 | 207493.53333333333 | 6980.466666666666 |
BASE/sheepAndWolf/g4THrg | 29.95681410742559 | 25012.766666666666 | 834.9608398600234 |
DRESDEN/tictactoe_3player/ESLQQQ | 30.120456717498442 | 86443.83333333333 | 2869.937668744375 |
BASE/buttons/hTcUjw | 30.274705502031996 | 568147.2333333333 | 18766.4 |
STANFORD/tictactoe/ss1kyQ | 30.314713418105907 | 212970.96666666667 | 7025.333333333333 |
DRESDEN/buttons/ADUaHw | 30.433429398975786 | 561788.9333333333 | 18459.6 |
BASE/bunk_t/xbpfIA | 30.90438772726004 | 123026.26666666666 | 3980.867304423186 |
DRESDEN/eotcatcit/mQUxzA | 31.861194637903274 | 218979.86666666667 | 6872.933333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 31.922931547337114 | 224656.56666666668 | 7037.466666666666 |
STANFORD/buttonsandlights/eyhJpA | 31.93753936449271 | 922886.3 | 28896.6 |
DRESDEN/hitori/S8Gsyg | 32.32999464168017 | 60484.86666666667 | 1870.8591615010332 |
BASE/hitori/S8Gsyg | 32.40793281255567 | 60633.5 | 1870.9462387094625 |
BASE/racetrackcorridor/_RkdUg | 32.848332073329715 | 58508.833333333336 | 1781.1812545830278 |
BASE/eotcatcit/AfZSzA | 33.303938588664316 | 228926.83333333334 | 6873.866666666667 |
BASE/nim1/hin2Qw | 33.623814895590485 | 223547.93333333332 | 6648.5 |
BASE/ticTacToe/JRFsaQ | 33.65955721739462 | 235251.13333333333 | 6989.133333333333 |
BASE/onestep/xi53wA | 34.280799335976525 | 838404.3666666667 | 24456.966666666667 |
STANFORD/sukoshi/4LYZZQ | 34.37057929349338 | 284140.43333333335 | 8266.966666666667 |
BASE/reversi/d8UMeA | 34.912596042573774 | 16013.033333333333 | 458.6606310744242 |
DRESDEN/nim1/M9BALA | 35.21390579166099 | 232630.56666666668 | 6606.213126229126 |
BASE/ticTacToeSerial/Amrwqw | 35.95134599229787 | 120103.83333333333 | 3340.732593407326 |
BASE/connectFourLarge/aU644A | 36.820365634106025 | 159618.73333333334 | 4335.066493350665 |
STANFORD/tictactoe7/-bE9-A | 37.11167002978764 | 257480.76666666666 | 6938.0 |
BASE/reversiSuicide/9OxJlg | 37.34570585680666 | 17047.966666666667 | 456.49068013423266 |
DRESDEN/tictactoe-init1/3ltIBQ | 37.59399336309595 | 262449.93333333335 | 6981.166666666667 |
DRESDEN/pawntoqueen/f_x6Aw | 37.72294024909026 | 24523.933333333334 | 650.1066240170599 |
DRESDEN/racetrackcorridor/O0DoTA | 37.744094770773636 | 57957.9 | 1535.5488150394988 |
STANFORD/untwistycorridor/EDPPAQ | 38.34384626556493 | 836042.8333333334 | 21803.833333333332 |
BASE/tictactoe2/bhrDoQ | 38.537549432345905 | 402469.4666666667 | 10443.566666666668 |
BASE/tictactoe-init1/7M19vA | 38.83710560613366 | 271169.73333333334 | 6982.233333333334 |
BASE/blockerSerial/3eqDuw | 38.92219969537687 | 81200.56666666667 | 2086.227584827678 |
BASE/untwistycomplex2/EDPPAQ | 39.614222314993235 | 847695.5 | 21398.766666666666 |
BASE/ticTacToeNoVars/XT03NA | 39.76077251738739 | 415046.8 | 10438.6 |
BASE/twisty-passages/DiZmmg | 40.80592745459206 | 151929.33333333334 | 3723.21725813969 |
BASE/hidato19/rRHSmA | 41.2228862001675 | 109370.76666666666 | 2653.156456236251 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 41.404350933307406 | 85137.3 | 2056.240421136803 |
BASE/futoshiki4/BaCwSw | 41.40688329665296 | 138598.5 | 3347.233333333333 |
DRESDEN/ghostmaze2p/HY0UwA | 41.663103808427266 | 103718.96666666666 | 2489.468070923877 |
STANFORD/triplesukoshi/Iu9mbA | 41.74699479528579 | 95318.73333333334 | 2283.247783481101 |
DRESDEN/twisty-passages/j7NPyg | 41.77632475266019 | 153902.23333333334 | 3683.9581807285076 |
BASE/ghostMaze2p/W-NU-w | 41.991604482767855 | 104497.7 | 2488.537918166067 |
STANFORD/tictactoe5/WFRReg | 42.29508929214892 | 293439.1 | 6937.9 |
STANFORD/untwistycomplex/HTWEwg | 44.09962907101899 | 850853.8333333334 | 19293.9 |
DRESDEN/grid_game/U7_Yeg | 45.064079796924865 | 60382.23333333333 | 1339.919368273748 |
BASE/ticTacToeLargeSuicide/727_8g | 45.16186971595402 | 247502.1 | 5480.333333333333 |
BASE/breakthroughSmallHoles/bxclRw | 45.34025807359651 | 133138.93333333332 | 2936.439689364397 |
BASE/blokbox_simple/JBx4bg | 45.42122326697727 | 3549.5666666666666 | 78.14775585859923 |
BASE/mummyMaze2p_2007/YGA3Vw | 45.42991923606884 | 94496.53333333334 | 2080.0506565353594 |
STANFORD/multiplebuttonsandlights/cK70Yg | 46.233226004833696 | 786861.7666666667 | 17019.4 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 46.276216963640366 | 785362.9333333333 | 16971.2 |
BASE/withConviction/3Xm54A | 46.54783167940699 | 111622.33333333333 | 2398.0135981869084 |
BASE/connectFour_9x6/B9TtMw | 46.63453440279833 | 232118.76666666666 | 4977.400753308223 |
DRESDEN/tictactoex9/rFkD4w | 46.665117779929005 | 24102.533333333333 | 516.5 |
BASE/connectFourSimultaneous/7ITr3g | 46.684237404264124 | 135305.4 | 2898.310168983102 |
STANFORD/connectfour/VMpZkQ | 47.211570396879544 | 244496.13333333333 | 5178.733333333334 |
BASE/ticTacToeLarge/TZC0dg | 47.389281774233126 | 257464.6 | 5432.97113525765 |
BASE/tictactoex9/BI26ow | 48.29470164952454 | 24866.366666666665 | 514.8880895283773 |
BASE/connectFourSuicide/c8p9Kw | 48.43196844765527 | 252963.4 | 5223.066666666667 |
DRESDEN/connectfour/5tc-Mg | 48.63706134717156 | 252432.83333333334 | 5190.133333333333 |
DRESDEN/tictactoelargesuicide/6J4DeA | 49.712604856568454 | 272800.4666666667 | 5487.551244875513 |
DRESDEN/tictactoelarge/IwXcbg | 50.50183713854562 | 275149.3333333333 | 5448.303446436904 |
BASE/slidingpieces/uFJWEw | 50.77237735863435 | 73910.33333333333 | 1455.7193729823277 |
DRESDEN/connectfoursuicide/M9CNQg | 51.228397277349096 | 264664.4 | 5166.361121295957 |
BASE/dualConnect4/WbCQkg | 51.64149171965891 | 177848.13333333333 | 3443.9 |
BASE/futoshiki5/TJ4BZg | 51.933438954351914 | 87412.63333333333 | 1683.1666666666667 |
BASE/hallway/ckCJOw | 52.03706206040993 | 10671.966666666667 | 205.0839583195062 |
BASE/connectFour/WAIKTw | 52.074459351992 | 270655.26666666666 | 5197.466666666666 |
DRESDEN/hallway/0H4l-Q | 52.54845598705502 | 10774.7 | 205.04313205043132 |
DRESDEN/lightsout/XgLpzQ | 52.71914541366041 | 170488.03333333333 | 3233.8922035932137 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 53.07615550741762 | 44899.166666666664 | 845.9385620043979 |
DRESDEN/slidingpieces/s9_44g | 53.126575114440286 | 76536.66666666667 | 1440.6474820143885 |
BASE/dotsAndBoxes/EHwA_w | 53.539016367198435 | 84929.36666666667 | 1586.307938199254 |
DRESDEN/lightsout2/LFtfyQ | 53.53969301772099 | 173201.43333333332 | 3235.0098323500983 |
DRESDEN/connect4/T0-rHQ | 54.00735754130124 | 70598.7 | 1307.2052256215425 |
BASE/futoshiki6/JmvXNA | 54.285109299787635 | 61335.1 | 1129.8696970706835 |
DRESDEN/oisters_farm/pTQMLg | 55.54839833456444 | 877291.4333333333 | 15793.280447970135 |
BASE/lightsOut/5P1ZBw | 55.60313325063744 | 179277.66666666666 | 3224.236768430876 |
BASE/dotsAndBoxesSuicide/jzQbLw | 55.7049249382716 | 88189.56666666667 | 1583.1556503198294 |
DRESDEN/fizzbuzz/t1xHzQ | 56.1767097635051 | 526509.2 | 9372.375174988334 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 56.965449087133265 | 143239.56666666668 | 2514.4990333977735 |
BASE/connect4/50bOyw | 57.64460915170624 | 75526.63333333333 | 1310.2115608862237 |
BASE/tictactoe_3d_small_2player/oOryKA | 58.097021273497305 | 144945.3 | 2494.883503883204 |
STANFORD/tictactoe3/X7myng | 58.24843426819214 | 402712.2 | 6913.7 |
BASE/catcha_mouse/cHv4dw | 58.28416146598531 | 60819.1 | 1043.492751208132 |
BASE/pawnToQueen/-O1_JA | 60.73362999726271 | 39435.26666666667 | 649.3151597960476 |
BASE/3pConnectFour/PqXOFQ | 65.55674891944237 | 227899.4 | 3476.368242117192 |
BASE/bomberman2p/4CClwA | 66.48481056739719 | 73808.0 | 1110.1483086152307 |
DRESDEN/quad_5x5_8_2/JRTLJg | 67.09948132882127 | 73308.13333333333 | 1092.5290610531927 |
DRESDEN/catcha_mouse/cHv4dw | 67.71361732540291 | 70549.4 | 1041.8790604697651 |
BASE/tictactoe_3d_small_6player/g_9lww | 70.61483526222062 | 117586.3 | 1665.1784226835039 |
DRESDEN/bomberman2p/x4h6jQ | 71.97536768023099 | 79770.3 | 1108.3 |
BASE/hidato37/pBrqxw | 72.0442826270682 | 40345.566666666666 | 560.0106656001067 |
DRESDEN/blocker/S815zQ | 73.2148632245942 | 355880.36666666664 | 4860.766666666666 |
BASE/blocker/dIWtxg | 74.71953190729985 | 364494.63333333336 | 4878.170727642412 |
BASE/quad_5x5/JAEP5g | 75.22383380167959 | 72450.76666666666 | 963.1357909472702 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 75.47229802925887 | 124763.1 | 1653.0979347101932 |
BASE/lightsOnSimultaneous/_VN6lw | 77.04111799046589 | 111493.3 | 1447.192134644226 |
DRESDEN/quad_5x5/JAEP5g | 78.01501953315244 | 74751.5 | 958.1680610646312 |
STANFORD/platformjumpers/HEQskA | 79.13221833887421 | 30840.533333333333 | 389.734219269103 |
BASE/cubicup_3player/e2yA_g | 82.76205446009389 | 49175.7 | 594.1817215727949 |
DRESDEN/cubicup/SBn_lw | 83.65855564814815 | 84302.53333333334 | 1007.6976906927922 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 84.05570829450882 | 70290.4 | 836.2358895807665 |
BASE/lightsOn/MsXu3A | 84.87942304648071 | 847393.7666666667 | 9983.500549981667 |
BASE/cubicup/4wNWJA | 85.68550427409454 | 86830.56666666667 | 1013.3635485053487 |
DRESDEN/cubicup_3player/awDtsQ | 88.53497635597684 | 52205.53333333333 | 589.6599906846762 |
BASE/lightsOnSimul4/9FeASw | 89.56269352487045 | 94854.96666666666 | 1059.090151641393 |
BASE/queens06ug/7Lq3tw | 89.62084196552601 | 203569.13333333333 | 2271.448570095327 |
DRESDEN/quad_7x7/q-JOXg | 90.04163823284246 | 32337.0 | 359.1338477913784 |
BASE/quad_7x7/q-JOXg | 93.46739303409817 | 34067.7 | 364.48753831800616 |
BASE/factoringGeorgeForman/HGRorQ | 94.32257721925598 | 896216.9666666667 | 9501.616612779573 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 97.89324131952425 | 425901.6666666667 | 4350.674887518747 |
BASE/tictactoe_3d_2player/IUC1rQ | 98.5788040894055 | 82992.83333333333 | 841.8932862896515 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 103.80836636394214 | 431941.6 | 4160.9517144856545 |
BASE/conn4/va9Y7A | 109.53215015566114 | 178212.4 | 1627.0327912556652 |
DRESDEN/lightson2x2/gBHuig | 111.94056860437259 | 539871.3666666667 | 4822.839238692043 |
BASE/lightsOnParallel/SC6enA | 112.2787025335465 | 515042.6666666667 | 4587.180427319089 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 114.04181332987567 | 454407.26666666666 | 3984.5671810939634 |
BASE/simultaneousWin2/PfjRjw | 116.99838623992346 | 111362.63333333333 | 951.830507345348 |
BASE/factoringEasyTurtleBrain/lUj94Q | 119.41956763362879 | 592601.2 | 4962.345884705098 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 122.70845319702676 | 487566.76666666666 | 3973.375541486171 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 124.74352915313428 | 476207.3 | 3817.49100119984 |
BASE/tictactoe_3d_6player/d7KSwg | 126.11616264610618 | 79403.36666666667 | 629.6050006649821 |
STANFORD/multipletictactoe/_bkafQ | 136.72411340436656 | 84223.76666666666 | 616.0125274871726 |
DRESDEN/sat_test_20v_91c/dK7nVw | 139.89872224122138 | 305384.4666666667 | 2182.8967539825367 |
BASE/queens08ug/kJ_ZFQ | 140.9711030383091 | 142286.83333333334 | 1009.3333333333334 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 146.2153360049322 | 316215.0333333333 | 2162.6666666666665 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 153.28638563726986 | 334857.3333333333 | 2184.5210319312046 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 157.93560645058278 | 98888.7 | 626.1330311916822 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 170.76729241877254 | 315350.26666666666 | 1846.6666666666667 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 184.28832705257273 | 366058.4666666667 | 1986.3356107315446 |
BASE/knightmove/jBaJEw | 211.49563276855264 | 208318.26666666666 | 984.9766822118588 |
DRESDEN/knightmove/97Ipcw | 215.26846031451214 | 212349.83333333334 | 986.4419201172591 |
STANFORD/selectivesukoshi/3xmXYg | 228.7310552517051 | 117111.7 | 512.0061194625515 |
BASE/quad/tw-Ufg | 234.46724981595094 | 12269.466666666667 | 52.32912774085845 |
DRESDEN/quad/JPe6fg | 244.03548570181184 | 12257.966666666667 | 50.23026315789474 |
BASE/mummymaze2p/vpjDdA | 247.19293351011947 | 89909.26666666666 | 363.72102304852496 |
DRESDEN/mummymaze2p/k-8edg | 249.62824168190127 | 90849.4 | 363.93878908848967 |
DRESDEN/firefighter/WJmoPw | 262.1484782530489 | 971592.1666666666 | 3706.266666666667 |
BASE/queens12ug/u6Bkmg | 267.7088728330857 | 71995.23333333334 | 268.9310689310689 |
BASE/firefighter/WJmoPw | 273.6699783812634 | 1013782.6666666666 | 3704.398533822059 |
DRESDEN/ggp-course2013_michal13/jWKddg | 292.5752593705761 | 89316.13333333333 | 305.2757554602573 |
STANFORD/multiplesukoshi/vLSQPg | 338.9110241576877 | 131655.5 | 388.46626582068234 |
BASE/wallmaze/uxNQ9g | 345.4345453862942 | 131661.43333333332 | 381.14726825048245 |
BASE/queens16ug/gT-ylw | 445.56609632554944 | 43147.5 | 96.8374846197333 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 523.2449054238293 | 352592.0333333333 | 673.8566007589375 |
BASE/golden_rectangle/_nYzfw | 528.8431066682872 | 72461.63333333333 | 137.01915070774353 |
BASE/majorities/ibJzSQ | 649.3576288237656 | 107200.6 | 165.08714957916362 |
BASE/zhadu/DlA8iQ | 741.078238691049 | 24878.2 | 33.570274636510504 |
DRESDEN/golden_rectangle/1uloXw | 13273.698386999999 | 73475.4 | 5.535412803409814 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | CADIAPLAYER_PROLOG:3.0 error message |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
BASE/pacman3p/wW7UVQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceMedium/3bUoIw | Test process failed to output results for unknown reason | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | Test process failed to output results for unknown reason | |
BASE/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | 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 | |
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/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | Test process failed to output results for unknown reason | |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | Test process failed to output results for unknown reason | |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | Test process failed to output results for unknown reason | |
DRESDEN/smallest/9kaGFw | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
BASE/ruleDepthLinear/OUBJpQ | 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/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
DRESDEN/babel/WdSW4A | 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/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6/yTbPDA | 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_centipede/9fRMpw | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | Test process failed to output results for unknown reason | |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | |
STANFORD/checkersonabarrelnokings/Zrevdw | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | Test process failed to output results for unknown reason | |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
BASE/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | 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/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/snake_2008_tweaked/bX0NJQ | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/skirmishHoles/AUCxCA | Test process failed to output results for unknown reason | |
DRESDEN/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | 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/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | Test process failed to output results for unknown reason |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
DRESDEN/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | Test process timed out after 240 seconds |
BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |
DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | Test process failed to output results for unknown reason |