index

ALLOY_DIFF_PROP_NET:1 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
BASE/snakeAssemblit/UO4sdg4.145934267382482110.8333333333335509.1333333333333
DRESDEN/smallest/9kaGFw5.5643490701001433241.233333333333582.5
DRESDEN/Travelers-Dilemma/PvZwYw6.959206857153627177.1274290856971425.45224372855382
BASE/pancakes88/l2Xaig7.515610878661088179.5333333333333323.888055972013994
DRESDEN/8puzzle/8fKC2w15.0194619855366133853.366666666672253.9666666666667
BASE/coloredtrails/EZvr7g16.5845202398800626548.51600.8
BASE/eightPuzzle/vLrgFg17.34993946953331529.4666666666671817.2666666666667
STANFORD/breakthrough/d5j0cQ17.4543012730885315812.433333333332905.9333333333333
DRESDEN/amazons/dNB28A18.1995277294686209.2666666666666811.498466871083856
STANFORD/eightpuzzle/W_aWbA20.38940703483718837645.0666666666661846.3051231625614
STANFORD/8puzzle/jNiGtw20.45649899987154237157.866666666671816.4333333333334
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g23.94140375944.939.46719289590528
DRESDEN/satlike_20v_91c/yeuENQ24.115858898305085945.539.20656543841579
DRESDEN/pancakes6/SZXMyQ24.4381524672811531992.81309.1333333333334
DRESDEN/pancakes/hl9aiQ24.45297697803651430802.61259.6666666666667
BASE/shmup/ssTNlg25.7849886576585517428.933333333334675.9333333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ26.0267810344827561000.366666666666738.43605036447979
BASE/roshambo2/KNPokQ26.290315411257012141949.35399.3
DRESDEN/roshambo2/jgSlkQ27.252342330193102141458.733333333345190.7
BASE/tron_10x10/7ZTgDg27.7692085953878435322.4333333333341272.0
DRESDEN/javastrike/whONTQ28.0842709897610947679.6273.4484367708819
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA28.6449195833333331143.739.926800865080686
BASE/kalaha6x2x4/XS81Mg29.254513330637557234.4247.2917569414353
DRESDEN/blocks2player/3ev8nQ29.31593776013319137348.14685.1
DRESDEN/blocksworldparallel/2JfVaw29.81791419711897475967.12547.7
BASE/blocks2player/wnTLOQ29.82444121166952138726.44651.433333333333
DRESDEN/sum15/CsgWKg31.117884889804976157008.45045.6
BASE/sum15/QZ07Kg31.672807673721213159484.25035.366666666667
DRESDEN/mimikry/GJEhwA34.2244428940780627798.233333333334812.2333333333333
BASE/kalaha5x2x3/WviNsw35.3602085558777115446.666666666666436.83754416372244
DRESDEN/tictictoe/LAUtwg35.8059654216708590433.933333333332525.6666666666665
STANFORD/dualhunter/1rPZjQ36.0853225424567955882.9333333333341548.6333333333334
DRESDEN/chomp/-LcqYQ36.3260681692477970056.033333333341928.5333333333333
BASE/blocks/xIV5hQ37.27364816596341260883.233333333346999.133333333333
DRESDEN/tictactoex9/rFkD4w37.65236409081441624102.533333333333640.1333333333333
BASE/gt_dollar/TGjqRw38.32647353379418104603.166666666672729.266666666667
BASE/tictactoex9/BI26ow38.7890495008319424866.366666666665641.0666666666667
DRESDEN/hallway/0H4l-Q38.921252257676110774.7276.8333333333333
BASE/hallway/ckCJOw39.18496437808510510671.966666666667272.3485100993267
BASE/eotcitcit/V_9_bg39.97903967351999103188.566666666672581.0666666666666
BASE/pancakes6/QZTdnw39.994632223433731790.4794.8666666666667
BASE/hodgepodge/9yjRkw40.08669058223664132604.13307.9333333333334
DRESDEN/sheep_and_wolf/enAIzQ40.6848872668599324793.9609.4130195660144
BASE/pancakes/yUgbXw41.0131966041859332528.933333333334793.1333333333333
BASE/blocksWorld/SEdXLQ41.406670688940004292816.933333333357071.733333333334
DRESDEN/blocks/vg0DRw41.64153107200952289274.06946.766666666666
DRESDEN/tictactoeparallel/yk_DSg41.7074494822559555315.21326.2666666666667
BASE/chomp/-LcqYQ43.96800611487224680531.81831.6
DRESDEN/latenttictactoe/kITHKg45.43297249270159583519.433333333331838.3
STANFORD/tictictoe/rpt_Dw47.21721801514548106621.22258.1
STANFORD/hunter/14dD-g47.28373316824021101833.42153.6666666666665
DRESDEN/logistics/fPru1Q47.4340326164739641980.7885.0333333333333
DRESDEN/chickentoetictac/cxYaRQ47.64645678820255183734.266666666663856.2
BASE/ticTicToe/c1OobQ48.27192916295838106669.72209.766666666667
BASE/toetictac/mTThmg48.327900273603824220204.466666666674556.466666666666
BASE/tictactoe_orthogonal/WRzlVw48.62239932750287200515.533333333334123.933333333333
BASE/incredible/8Qh-6Q48.81973934483973115499.366666666672365.8333333333335
STANFORD/duidoku/3SoMaA49.026411829740197882.133333333333160.77320446592233
DRESDEN/toetictac/mJtxCA49.16636935639168219575.366666666674465.966666666666
BASE/doubletictactoe/HH1htg49.75354455648257497203.51953.7
BASE/catcha_mouse/cHv4dw49.85989506476471460819.11219.8
DRESDEN/blockerparallel/dVQgSg49.9641271362244433718.0674.844171860938
BASE/blockerParallel/7-nDJA50.05084408147004633502.36666666667669.3666666666667
BASE/blocksWorldParallel/RseaAQ50.06011478610733484606.61690.1
DRESDEN/cube_2x2x2/fp-34Q50.12642862987916561256.1666666666641222.0333333333333
BASE/numbertictactoe/rvJ-iQ50.19856648541769101551.72023.0
BASE/chickentoetictac/l57rfQ50.3429545175061191044.83794.866666666667
DRESDEN/quad_7x7/q-JOXg50.4844920899250632337.0640.5333333333333
BASE/sudokuGrade6H/ieE_9A50.798910081743879321.6183.5
DRESDEN/bidding-tictactoe/yW5vTA51.7884227973989667696.11307.1666666666667
BASE/ticTacToeParallel/ymRGPw52.2371997825322254446.8333333333361042.3
DRESDEN/doubletictactoe/lJzgmQ52.89985543435405107337.333333333332029.0666666666666
BASE/quad_7x7/q-JOXg52.95771801647753634067.7643.3
DRESDEN/tpeg/h-Scbg53.2200184501845138460.333333333336722.6666666666666
BASE/sudokuGrade6E/ihYFZA53.464468656716429432.6176.42745241825273
DRESDEN/peg/Vo31eg53.481258426966339665.26666666667741.6666666666666
DRESDEN/circlesolitaire/ruUilQ53.66215590555019220216.966666666674103.766666666666
BASE/sudokuGrade4/DTy07w53.6770079283005810381.133333333333193.4
STANFORD/sudoku/oJ1qyQ53.9896150402864910051.066666666668186.16666666666666
BASE/circlesolitaire/azuQFQ54.007938521470834219972.533333333334072.9666666666667
BASE/tpeg/QNs7Lw54.0582970259518938049.833333333336703.8666666666667
BASE/sudokuGrade2/u80Tfw54.08421127997297610674.8197.3736835088655
BASE/onestep/xi53wA54.50058937989435838404.366666666715383.4
DRESDEN/tictactoe_orthogonal/y69QFQ54.93004661928669224656.566666666684089.866666666667
BASE/coins/QnGtnQ54.9448620338489975534.533333333341374.7333333333333
BASE/coins_atomic/AA3SSw55.0587658196801874828.533333333341359.0666666666666
DRESDEN/bunk_t/7-tPfA55.15801973574176109929.933333333331993.0
DRESDEN/peg_bugfixed/u_B7MA55.5534426530705940315.13333333333725.7
DRESDEN/coins/QwFP9w55.7958280035422675607.066666666671355.0666666666666
BASE/sudokuGrade1/tDRNRw55.86729753737906610586.5189.49368354388187
DRESDEN/3pffa/0YrmQw55.8712664875917146453.23333333333831.4333333333333
BASE/doubletoetictac/fu35bg56.01285711843253109204.533333333341949.6333333333334
DRESDEN/tictactoe/BTTzPw56.27401099298474207493.533333333333687.2
BASE/sudokuGrade5/BQfUQA56.2788186586868510656.266666666666189.34773189347732
DRESDEN/chickentictactoe/Ipbo-g56.4747989906766176065.833333333343117.6
BASE/sudokuGrade3/eI8dvg56.81170943259848410479.866666666667184.46666666666667
DRESDEN/doubletoetictac/V89gKQ57.00372191490814111294.066666666671952.4
DRESDEN/3pttc/uwYBZw57.43659499780605447995.933333333334835.6333333333333
DRESDEN/catcha_mouse/cHv4dw58.0780967016080370549.41214.7333333333333
DRESDEN/stratego/Z2wovg58.57018763029882539331.833333333336671.5333333333333
DRESDEN/troublemaker01/C-lPWw58.7568314707408664563.266666666711310.4
BASE/hex/T1MK8g58.930377574370717725.0131.0868913108689
DRESDEN/lightsout2/LFtfyQ59.438254536650454173201.433333333322913.9724018398774
DRESDEN/troublemaker02/iZLVuA59.96705904756531566824.63333333339452.266666666666
DRESDEN/knightstour/cGISAA60.171423296459835130365.42166.5666666666666
BASE/nineBoardTicTacToePie/B8LzeQ60.4344504427395145423.03333333333751.6082797240092
DRESDEN/bidding-tictactoe_10coins/mu5VhQ61.1551482479784437814.26666666667618.3333333333334
STANFORD/hex/MTqWcw61.323472619047628069.9131.59561347955068
DRESDEN/lightsout/XgLpzQ61.51545511401905170488.033333333332771.4666666666667
BASE/switches/tPUoCg61.68220796812329390100.96324.366666666667
BASE/troublemaker01/s3tlEQ61.72988670844032687633.911139.4
BASE/racetrackcorridor/_RkdUg61.7616115411681958508.833333333336947.3333333333334
BASE/haystack/UkweGA61.856778758830075850260.613745.633333333333
BASE/blocksWorldSerial/Wyg96Q62.25350934695631183602.22949.266666666667
STANFORD/duikoshi/tpw1sw62.3577851396119283449.266666666661338.2333333333333
BASE/biddingTicTacToe/8mESVw62.5988207478326871485.766666666661141.9666666666667
BASE/troublemaker02/DI83KA62.61223457131271581569.56666666679288.433333333332
BASE/cittaceot/fDxhXg62.6123912183544342209.1674.1333333333333
DRESDEN/gt_prisoner/huCp4w62.9680429727623739504.833333333336627.3790873637546
DRESDEN/eotcatcit/mQUxzA63.21224717587515218979.866666666673464.2
BASE/brain_teaser_extended/ZDp94A64.48724531211948211844.93285.0666666666666
BASE/bunk_t/xbpfIA64.61237351633346123026.266666666661904.0666666666666
STANFORD/3puzzle/41ibjA64.79329123236106226061.633333333333488.9666666666667
BASE/eotcatcit/AfZSzA65.09767772511849228926.833333333343516.6666666666665
STANFORD/trifecta/ss1kyQ65.20025330396476197339.433333333323026.6666666666665
BASE/hexPie/48CH6Q65.433348204857458261.5126.25824945003666
BASE/chickentictactoe/DSlZCA65.58581940285842180345.72749.766666666667
BASE/quad/tw-Ufg65.6712973307175612269.466666666667186.83149511845656
DRESDEN/brain_teaser_extended/ZDp94A65.74082535762066212934.533333333333239.0
BASE/nim3/1OwUqw65.7857564575645789139.71355.0
STANFORD/threepuzzle/41ibjA66.05813701116767223197.233333333343378.8
DRESDEN/racetrackcorridor/O0DoTA66.6668072543230757957.9869.3666666666667
BASE/survival/YVIjJA66.92953254889109707976.133333333310577.933333333332
DRESDEN/nim3/sG_axA68.1075174825174893498.01372.8
DRESDEN/quad/JPe6fg68.2479183274571712257.966666666667179.60938541527796
BASE/biddingTicTacToe_10coins/a-9ccQ68.4344795539033439272.26666666667573.8666666666667
STANFORD/tictactoe/ss1kyQ69.16737756029966212970.966666666673079.0666666666666
DRESDEN/crossers3/xiPTxg70.01751532925643436.37090860609349.07873254922867
BASE/buttons/hTcUjw70.79010607457614568147.23333333338025.8
BASE/crossers3/O0rORg71.137443601895733502.149.23005132991134
DRESDEN/buttons/ADUaHw71.33465390117752561788.93333333337875.4
STANFORD/jointbuttonsandlights/qAKuIQ72.07786312082183328129.66666666674552.433333333333
BASE/double_tictactoe_dengji/zgaSbA72.4867444585489798978.233333333341365.4666666666667
STANFORD/triplesukoshi/Iu9mbA72.5942981899418795318.733333333341313.0333333333333
BASE/4pffa/Q3ADlg72.6088710926694332662.133333333335449.8366775548297
BASE/ticTacHeaven/18n58A72.77675014228851147.5702.8
BASE/withConviction/3Xm54A72.98598548418735111622.333333333331529.3666666666666
BASE/snakeParallel/RCVNtw73.37551742799889167215.466666666672278.9
DRESDEN/nim4/F5YAYg73.87547980590493102004.81380.7666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA74.24172898634096184983.166666666662491.633333333333
BASE/lightsOnSimul4/9FeASw74.3804955826232494854.966666666661275.2666666666667
DRESDEN/chinesecheckers1/Y-ftaA74.6615971941812848073.0643.8785373820873
BASE/ticTacToe/JRFsaQ74.98761103319309235251.133333333333137.2
DRESDEN/CatchMeIfYouCanTest/CX18rA75.13093602376371191381.033333333332547.3
BASE/snake2p/I3wWPQ75.2651386618132581329.01080.5666666666666
BASE/lightsOnSimultaneous/_VN6lw75.32822106614418111493.31480.1
BASE/nim4/twk16w75.5745057610673103851.966666666661374.1666666666667
DRESDEN/tictactoe-init1/3ltIBQ76.68101955487168262449.933333333353422.6192460251323
BASE/stateSpaceLarge/0Ge_CQ76.81996252767843285639.66666666673718.3
BASE/aipsrovers01/4C4jsw77.3307896287566387486.91131.3333333333333
DRESDEN/snake_2009/zIYLVw77.353229585142335632.86666666667460.6513116229459
DRESDEN/aipsrovers01/qS47Mw77.3822551701820987681.833333333331133.1
BASE/kalaha_2009/dRiN3g77.417697033685271708.766666666666722.07204208003196
STANFORD/dualrainbow/G3OnRQ77.71548242597393293780.066666666653780.2
DRESDEN/snake_2009_big/DgC1NQ78.0208400325398230369.9389.2536915436152
BASE/snake_2009_big/-oRfVw78.1389471843301929786.566666666666381.2
BASE/3pffa/pR0dzA78.1945501028870641800.2534.5666666666667
BASE/escortLatch/mX9BjQ78.2403263456808834285.23333333333438.20411972535163
BASE/knightazons/apnJBQ78.615190044444453928.533333333333349.971682713129226
DRESDEN/kalaha_2009/gcC8uA78.963907715582451738.122.01132201132201
DRESDEN/Thief_Police/CX18rA78.97498260858151200562.233333333342539.5666666666666
BASE/snake_2009/7l-qAQ79.1974312184166337613.5474.93333333333334
BASE/gt_prisoner/klthDw79.2332398829839243335.3546.9333333333333
DRESDEN/catch_me/ghGWrA79.24310823557546198823.62509.0333333333333
BASE/gt_centipede/9fRMpw79.75558661569809157870.866666666671979.4333333333334
BASE/lightsOut/5P1ZBw79.80783784184831179277.666666666662246.366666666667
BASE/gt_staghunt/xPjLRA80.9493276892430243345.666666666664535.4666666666667
BASE/maze/cCX3qQ81.10055499523266490504.266666666666048.1
DRESDEN/knightazons/02I8BQ81.430232610659434005.833333333333549.19344087455006
DRESDEN/double_tictactoe_dengji/bGaUyQ81.68051142573906107113.11311.3666666666666
BASE/tictactoe-init1/7M19vA82.00201600709634271169.733333333343306.866666666667
STANFORD/tictactoe7/-bE9-A82.06471113188705257480.766666666663137.5333333333333
DRESDEN/2player_normal_form_2010/NG_Kdg82.63910078127704477395.066666666655776.866666666667
BASE/blockerSerial/3eqDuw84.2475185889676781200.56666666667963.8333333333334
BASE/tictactoe_3player/GtM71g84.263498837785373710.9874.7666666666667
STANFORD/rainbow/_4qNSQ84.55007199525679499113.16666666675903.166666666667
BASE/stateSpaceSmall/Q7osKA84.90928699422605767630.99040.6
DRESDEN/backgammon/mqCW0Q84.9466888639840526527.966666666667312.28959034698846
BASE/simultaneousWin2/PfjRjw85.17218610579987111362.633333333331307.5
BASE/pearls/6k_mEQ85.48803286601672808770.93333333339460.633333333333
STANFORD/bestbuttonsandlights/nm0wEA86.31342779803703434723.33333333335036.566666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g87.80036432513754322932.66666666673678.0333333333333
BASE/ticTacHeavenFC/mrletw88.1790227536988656285.73333333333638.3120562647912
BASE/rubiksCube/9tNO9Q88.2255930656934525785.4292.26666666666665
DRESDEN/tictactoe_3player/ESLQQQ88.8608484100877186443.83333333333972.8
DRESDEN/frogs_and_toads/GjchhQ89.0719169644093721437.466666666667240.67593240675933
DRESDEN/gt_chicken/CeuKtw89.9096822277932144232.566666666666491.96666666666664
DRESDEN/blocker/S815zQ91.2201896787423355880.366666666643901.3333333333335
DRESDEN/statespacesmall/h-NqjA91.46088634667224788292.23333333338618.9
BASE/slidingpieces/uFJWEw91.7115440294494773910.33333333333805.9
BASE/2pffa_zerosum/o0_uZA93.075775095095151655.333333333336554.9815006166461
STANFORD/buttonsandlights/eyhJpA93.70101665775456922886.39849.266666666666
DRESDEN/slidingpieces/s9_44g95.277034716459276536.66666666667803.3065564481184
STANFORD/nineboardtictactoe/y28P-A95.687279643718768754.5718.5333333333333
DRESDEN/point_grab/r5DPmQ95.94557280576097413029.74304.833333333333
BASE/gt_chicken/gmepTQ96.3122262353031641777.03333333333433.76666666666665
BASE/nineBoardTicTacToe/wRmqqA96.9163494525118768742.76666666666709.3
DRESDEN/towerworld/HCX34w97.719995871097673232.733.08125395609155
BASE/stateSpaceMedium/3bUoIw97.95036832867771528318.16666666665393.733333333334
BASE/smallest_4player/ADDROA98.9899301967360870831.53333333334715.542815239492
BASE/futoshiki4/BaCwSw99.10038849298091138598.51398.5666666666666
STANFORD/tictactoe5/WFRReg99.42369722843395293439.12951.4
BASE/2pffa/6oHijA101.068622947054158666.96666666667580.4666666666667
BASE/ticblock/T21C1g101.24220097527736158481.166666666661565.3666666666666
DRESDEN/statespacemedium/dVJZ_w102.77193350011706555948.25409.533333333334
DRESDEN/ticblock/Z2yNWQ102.98266968814072159056.733333333341544.5
BASE/tictactoe2/bhrDoQ103.37931743068994402469.46666666673893.133333333333
BASE/ticTacToeSerial/Amrwqw103.89904553187807120103.833333333331155.9666666666667
DRESDEN/Goldrush/VeWczQ104.2107843158897153500.03333333333513.3828872370921
DRESDEN/connect4/T0-rHQ105.2246124801271970598.7670.9333333333333
DRESDEN/skirmish3/3LU8Nw105.386743408360136554.462.193780621937805
DRESDEN/grid_game/U7_Yeg105.6618642090527260382.23333333333571.4666666666667
DRESDEN/statespacelarge/8-y5HQ105.68795160624765401258.43796.633333333333
BASE/dotsAndBoxes/EHwA_w106.4188873110015884929.36666666667798.0666666666667
DRESDEN/pawn_whopping/4ogBkg107.19385624813599119807.01117.6666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw107.7492214609840780732.9749.2666666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ108.88743316344079116077.633333333331066.0333333333333
STANFORD/sukoshi/4LYZZQ108.98995026275077284140.433333333352607.0333333333333
STANFORD/alquerquezero/uVgA_A109.1811526630899631202.933333333334285.7904736508783
BASE/dotsAndBoxesSuicide/jzQbLw110.7389582105586288189.56666666667796.3734542181927
DRESDEN/tictactoelarge/IwXcbg111.23886530557239275149.33333333332473.5
BASE/futoshiki5/TJ4BZg111.5194131405485887412.63333333333783.8333333333334
DRESDEN/tictactoelargesuicide/6J4DeA111.82027353837326272800.46666666672439.633333333333
BASE/futoshiki6/JmvXNA114.0448921660985361335.1537.8154061531283
DRESDEN/smallest_4player/ADDROA114.4311756813029382440.03333333334720.4333333333333
BASE/blocker/dIWtxg114.79904883886954364494.633333333363175.0666666666666
BASE/connect4/50bOyw114.8519363341443675526.63333333333657.6
BASE/beatMania/qUHwvQ115.36650816979338222407.41927.8333333333333
BASE/snake_2008/i6K26g115.7262415720172938377.4331.6222792573581
DRESDEN/SC_TestOnly_enabled/09o7gQ115.9538735241792238980.933333333322061.0
DRESDEN/brawl/2kXtfQ116.40503310810814593.239.45877491168433
BASE/duplicateStateSmall/bCPAXw116.97681444955644708520.76666666676056.933333333333
BASE/pegEuro/5awwhg118.1418286921614337275.2315.51229918005464
BASE/brawl/6Ymo_Q118.35140014232854617.03333333333439.01122697138288
DRESDEN/Runners/3bOCQw119.06497744232898139873.566666666681174.7666666666667
DRESDEN/grid_game2/kypTYQ121.50023384353742190512.366666666671568.0
BASE/breakthroughSmallHoles/bxclRw121.62138789927224133138.933333333321094.7
DRESDEN/snake_2008/E56l3A121.7353510449373740060.433333333334329.07806146256917
BASE/point_grab/V_osUg122.1420823330666412119.63374.1
BASE/snake_2008_tweaked/bX0NJQ122.6581057760633540276.833333333336328.3666666666667
DRESDEN/lightson2x2/gBHuig122.98220129845478539871.36666666674389.833333333333
BASE/nim2/eF2Qqw123.60669544907635174643.91412.9
BASE/cubicup_3player/e2yA_g123.9597841875315149175.7396.70688620758614
STANFORD/freeforall/Lfp40Q125.1423156443831760527.166666666664483.6666666666667
BASE/ticTacToeLargeSuicide/727_8g125.18652212031293247502.11977.0666666666666
DRESDEN/cubicup_3player/awDtsQ125.9912014639639852205.53333333333414.3585641435856
BASE/peg/fJHVWw126.1180240886767640516.166666666664321.2559581347288
DRESDEN/capture_the_king/EQ229Q126.656948514115885678.744.83528196928817
BASE/ticTacToeLarge/TZC0dg126.82152239590174257464.62030.1333333333334
BASE/breakthroughSuicideSmall/XSbJog126.8984031032045945887.63333333333361.6092260515966
DRESDEN/nim2/z5_exA127.41177312407576178062.21397.5333333333333
BASE/skirmishHoles/AUCxCA127.557490196078434045.666666666666531.71641791044776
BASE/breakthroughSmall/HJ0tIA127.810604117974445933.6359.38802039932
STANFORD/untwistycorridor/EDPPAQ128.29498662383565836042.83333333346516.566666666667
BASE/guess/SPpk1A129.837972379447430125.733333333334232.0255991466951
BASE/untwistycomplex2/EDPPAQ131.60861869989805847695.56441.033333333334
BASE/lightsOnParallel/SC6enA133.32712054534474515042.66666666673863.0
BASE/pawnWhopping/Ypc_6Q134.98848677423348109039.2807.7666666666667
STANFORD/multipletictactoe/_bkafQ136.1375538793103684223.76666666666618.6666666666666
DRESDEN/hanoi/RQ0jiA138.39917000913385232335.31678.7333333333333
BASE/skirmish/Y_psYQ138.848261784287623471.925.004994339748286
BASE/factoringGeorgeForman/HGRorQ139.9639190821256896216.96666666676403.2
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg140.442967091671152870.333333333336376.4541181960601
BASE/copolymer_4_pie/IN5_jA141.5414495499763399598.0703.6666666666666
STANFORD/tictactoe3/X7myng143.4637106350639402712.22807.0666666666666
BASE/lightsOn/MsXu3A143.65446839770578847393.76666666675898.833333333333
BASE/mineClearingSmall/frsbvw144.124357057728138696.1268.4910502983234
BASE/strangeSkirmish/gc1zKA146.977864139433543744.066666666666625.473677200226433
DRESDEN/guess/PhxGhg147.7247915155005334200.933333333334231.51789880674622
BASE/racer/QQYQNw148.07255698529412682.36666666666718.115218115218116
BASE/battlebrushes/arCwyA148.525278147901414837.799.90016638935109
BASE/asteroidsParallel/WauZiA148.5540961098398108196.9728.3333333333334
BASE/queens12ug/u6Bkmg149.750884004714771995.23333333334480.76666666666665
DRESDEN/racer/vk_ZBA150.40394088970142738.166666666666518.20541835851694
DRESDEN/skirmish/RjGQYQ151.370035849056626413.642.37034076146697
STANFORD/multiplebuttonsandlights/cK70Yg151.572190830872786861.76666666675191.333333333333
BASE/queens08ug/kJ_ZFQ151.99960830395614142286.83333333334936.1
BASE/minichess/8NQEiA152.42622078646939751.433333333334260.79130695643477
BASE/othelloSuicide/B442jg154.082506911821473094.891964552424720.085939842110523
BASE/conn4/va9Y7A154.1363085971285178212.41156.2
BASE/endgame/jYjfOA154.6354241141279111197.472.41160985037823
BASE/qyshinsu/R08Lzw154.9234788246415632773.36666666667211.54551211545513
DRESDEN/golden_rectangle/1uloXw155.1256492188599673475.4473.6508783040565
DRESDEN/ggp-course2013_jordi/9QI6Kw155.3118758407317744899.166666666664289.09036365454483
DRESDEN/gt_ultimatum/pAiiQw156.4745741790759754639.1349.1883603879871
BASE/nim1/hin2Qw157.17722883659886223547.933333333321422.2666666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA157.9380873855394785362.93333333334972.6
BASE/golden_rectangle/_nYzfw158.3106220239829272461.63333333333457.7180760641312
BASE/othello-comp2007/86ZoMw159.143478768082133175.988267448836719.956760352569432
BASE/queens16ug/gT-ylw159.3191566153846343147.5270.8243058564714
DRESDEN/skirmish2/iPpWhQ160.975382225504667261.96666666666645.112280935563405
BASE/asteroids/BKCmPQ162.54132837462677206871.766666666661272.7333333333333
DRESDEN/nim1/M9BALA162.74700340469195232630.566666666681429.4
DRESDEN/4pttc/9pB9AQ166.2106313213279849839.36666666667299.8566714442852
BASE/factoringMutuallyAssuredDestruction/NH0LGg168.12063406138205476207.32832.5333333333333
BASE/choicethroughalt/tt71Lg168.2825305042208616388.53333333333397.38701506465804
BASE/hanoi/iGLsJg169.2556269106875274978.33333333331624.6333333333334
BASE/copolymer_4/2LDVhQ171.13612426428287128905.43333333333753.2333333333333
DRESDEN/tttcc4/sAvtFg173.6061952892985418833.133333333335108.48191968005332
DRESDEN/knightthrough/J7Fc_Q173.9881859174729223377.433333333334134.3621879270691
BASE/queens06ug/7Lq3tw174.66249106249106203569.133333333331165.5
DRESDEN/breakthroughsuicide/Y9QzqQ174.9495163953762424720.366666666665141.3
BASE/tictactoe_3d_small_2player/oOryKA177.80201763503288144945.3815.2061597946736
STANFORD/knightstourmedium/x1wu8Q178.04942533024854318091.233333333341786.5333333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg178.66235656078499143239.56666666668801.7333333333333
BASE/ttcc4/Le0qjQ179.115373711340218530.0103.4528729502733
BASE/checkLines/Vop7oQ179.41452036100506125346.76666666666698.6433785540482
BASE/hidato19/rRHSmA179.50232507248757109370.76666666666609.3
BASE/tictactoe_3d_small_6player/g_9lww179.63991444721697117586.3654.5666666666667
DRESDEN/cubicup/SBn_lw182.0002878526194684302.53333333334463.2
BASE/englishDraughts/jFkQxg183.9060899935608747596.26666666667258.8074525880745
BASE/tttcc4/8Bs2lg183.9585526570048419034.0103.46895931220634
BASE/skirmishFinal3/-Olhfw184.090349075975355976.832.46666666666667
BASE/ticTacToeNoVars/XT03NA184.162399609531415046.82253.7
BASE/wallmaze/uxNQ9g185.0625309891929131661.43333333332711.4429519016032
BASE/skirmishFinal2/gdB62Q185.583648375451255136.927.679701552195056
DRESDEN/breakthroughsuicide_v2/LU1nAw185.8770210513447425338.7136.31970136319703
BASE/othelloHoles/c0qAzw186.031806027626524020.065997800073521.609562814237673
DRESDEN/skirmishfinal/hzq8ww186.4808547846895192.127.84253646839406
BASE/cubicup/4wNWJA187.930360780070286830.56666666667462.03586427571497
DRESDEN/ggp-course2013_michal13/jWKddg189.128551392810189316.13333333333472.25092496916767
STANFORD/chinook/osFbPA190.5760724358974317174.96666666666790.12131715771231
DRESDEN/breakthrough/z4hK7Q191.8459816873449325768.733333333334134.319901343199
BASE/asteroidsSerial/id2QkA193.39127251427735132066.9682.9
BASE/skirmishFinal1/ecWTnQ193.560411363636355105.426.376261364771704
BASE/sheepAndWolf/g4THrg194.2487703857105725012.766666666666128.76666666666668
BASE/breakthroughWalls/vOZaYA194.3656774193548525105.566666666666129.16666666666666
BASE/minichess-evilconjuncts/4OpQzw194.6100072516316344727.86666666667229.83333333333334
BASE/chinook/XQh0IQ196.2785613540197318554.86666666666594.53333333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ197.15001316829074124763.1632.8333333333334
BASE/knightsTour/mvtVIg197.39548360883606307693.51558.7666666666667
DRESDEN/minichess-evilconjuncts/th24Tw197.6867903429903546169.96666666667233.55109659356043
BASE/breakthrough/TGxk-g200.795908660130725941.966666666667129.19569347688412
BASE/factoringEasyTurtleBrain/lUj94Q201.86944031248933592601.22935.5666666666666
DRESDEN/minichess/c7GMFw202.483835730905444477.46666666667219.65934468851037
BASE/breakthroughSuicide/wZDpIg204.187640786369625962.4127.14971337155046
BASE/gt_ultimatum/GE-uOA205.3439315084620862009.73333333333301.97986800879943
DRESDEN/endgame/IJhh3Q207.044116712834727472.336.09037589976006
STANFORD/knightstour/cEwgNA209.7385984668024322843.633333333361539.2666666666667
BASE/ruleDepthLinear/OUBJpQ214.17554081570938354110.71653.3666666666666
STANFORD/pilgrimage/ObRZnQ215.395909997211451488.833333333336239.0427623904276
BASE/duplicateStateMedium/U163eQ218.66795876023355453174.766666666662072.4333333333334
BASE/breakthroughHoles/nZk0Sg219.2809704517704627934.533333333333127.39150723285114
DRESDEN/pentago_2008/hLjVpQ220.2092551346100688154.16666666667400.31998933368885
STANFORD/pentago/ZxzLmg221.0438762107911589807.13333333333406.28645711809605
BASE/pentagoSuicide/SBgNhw237.2696428699390888293.0372.1209293023566
BASE/checkers/rOC3Xg244.0976658055256515115.76666666666661.92507665644581
BASE/connectFourSimultaneous/7ITr3g247.6911154503295135305.4546.2666666666667
BASE/skirmishNew/sibw2g248.591026825842685895.76666666666623.716731621198495
BASE/factoringMediumTurtleBrain/8RBqmQ250.14806318876225352592.03333333331409.5333333333333
BASE/duplicateStateLarge/dcjyuw251.34984296749002197410.16666666666785.4
BASE/ttcc4_2player_small/Cv72TA254.0082665402843562524.2246.1502566495567
BASE/gt_coordination/IVMOzA254.51400671615414192005.36666666667754.4
DRESDEN/connectfour/5tc-Mg265.81203931203936252432.83333333334949.6666666666666
BASE/pentago/86NgKw269.6226777571416101617.4376.88743708543046
STANFORD/connectfour/VMpZkQ274.74562684945874244496.13333333333889.9
BASE/majorities/ibJzSQ276.33236542658307107200.6387.94080394640355
DRESDEN/connectfoursuicide/M9CNQg278.1646580717489264664.4951.4666666666667
BASE/3pttc/0sol9g280.54425751394340797.76666666667145.42363842410506
BASE/chess_200/XsTpYA281.71726198347113405.033333333333312.086704624912596
BASE/speedChess/bPnisA283.615234620886956601.63333333333323.276723276723278
BASE/2pttc/unkkYA284.5310792753623461075.26666666667214.65235650956603
BASE/queens08lg/Ru7eqQ286.0255456651628156379.7546.7333333333333
BASE/checkersSmall/SYmq8w286.799572277735124871.76666666666686.72177043060925
BASE/connectFourLarge/aU644A286.89485351386975159618.73333333334556.3666666666667
STANFORD/ttcc4/Cx9SGw287.1453418709009527722.296.5441397007365
BASE/connectFourSuicide/c8p9Kw287.79635177670747252963.4878.9666666666667
STANFORD/selectivesukoshi/3xmXYg288.2631276665573117111.7406.26666666666665
STANFORD/untwistycomplex/HTWEwg288.653341626145850853.83333333342947.6666666666665
BASE/connectFour_9x6/B9TtMw288.71690368589077232118.76666666666803.9666666666667
BASE/knightfight/SJRkAg289.1472343107310515770.96666666666754.54303135308033
BASE/3pConnectFour/PqXOFQ291.48115620736695227899.4781.8666666666667
BASE/skirmishZeroSum/zh4hcw295.05698407806886374.56666666666721.604527296937416
BASE/chineseCheckers2/eCMR3Q298.8206729800524148304.7496.3
BASE/knightsTourLarge/M8jgLA300.9426715593101180489.36666666667599.7466751108296
DRESDEN/oisters_farm/pTQMLg309.8035737407743877291.43333333332831.766666666667
BASE/chineseCheckers3/-1rZdQ310.2549759003274113715.0366.5211159628012
STANFORD/knightstourbig/TQUI2g311.425746799431145954.86666666667468.6666666666667
BASE/connectFour/WAIKTw314.25257372861677270655.26666666666861.2666666666667
DRESDEN/pacman3p/rBnk8Q317.596468095470121727.66666666666868.41280949048618
BASE/checkersTiny/Lr48cg326.745861105544443477.53333333333133.06223125895804
BASE/pacman2p/4LEdQg327.025052156650520127.13333333333561.5461512829057
BASE/ttcc4_2player/_aH_Mw330.495271925421330718.992.94807705125642
DRESDEN/blobwars/ZaMluQ332.516130841121545927.517.826202852192456
BASE/chineseCheckers4/avfBcQ338.29928590989397102111.06666666667301.83648301836485
DRESDEN/knightfight/4_Ly4w341.9242424242424418053.652.8
BASE/connectFourLarger/qKi60A343.415681953223772435.4210.92630245658478
DRESDEN/quad_5x5_8_2/JRTLJg344.365731078753773308.13333333333212.87871212878713
BASE/blobwars/0XT15Q347.90442173637526089.16666666666717.502412404751606
DRESDEN/firefighter/WJmoPw348.045482226229971592.16666666662791.5666666666666
BASE/knightThrough/gcwFjA352.8999462514417523795.63333333333567.4288380774615
STANFORD/multiplesukoshi/vLSQPg353.6075788272157131655.5372.32092263591215
BASE/quad_5x5/JAEP5g355.5930561590053672450.76666666666203.74629203746292
DRESDEN/quad_5x5/JAEP5g356.072562718323374751.5209.93333333333334
BASE/checkersTorusNoKings/pwb6oQ360.026702657378830999.96666666666786.10463178940353
BASE/firefighter/WJmoPw367.2238589712631013782.66666666662760.6666666666665
BASE/dualConnect4/WbCQkg376.092327351331177848.13333333333472.8842371920936
BASE/checkersBarrelNoKings/rnKNeg393.2524277456647634005.086.47117627457514
BASE/chineseCheckers6/rREH3A394.859849540261994476.8239.26666666666668
BASE/ttcc4_2player_alt/ZEJvYA399.175324719101137887.4666666666794.91435046324068
STANFORD/checkersonabarrelnokings/Zrevdw399.844186297917533488.0333333333383.75270788201966
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A411.393591078066957375.217.92735754748417
BASE/checkersTorus/2vm1EQ418.0734600495399626242.76666666666662.770707003398414
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA433.111273437499967387.33333333333317.056432806982478
BASE/amazons_8x8/7SOsIw436.6430858411007421851.06666666666650.04331312054374
BASE/reversi/d8UMeA447.114845229244116013.03333333333335.814139262415125
BASE/4pttc/AL1k2Q476.956090561224543612.591.4392348961978
BASE/reversiSuicide/9OxJlg478.1071211951447717047.96666666666735.65721134638434
BASE/chineseCheckers1/gqtwHw480.11723624943176387278.56666666665806.6333333333333
BASE/blokbox_simple/JBx4bg489.48198685015293549.56666666666667.25167986161932
DRESDEN/vacuumcleaner_random/_6AGDA509.54145952380967358.36666666666714.441153961334974
DRESDEN/knightmove/97Ipcw518.2807801686735212349.83333333334409.7196760107996
DRESDEN/tictactoe_3d_2player/LMuX9w522.994047619047670290.4134.4
DRESDEN/vacuum_cleaner_1/eUNjpw534.4476224066398576.516.047409774936742
DRESDEN/CephalopodMicro/H3XQfg539.199588732394448490.489.93033565547815
BASE/knightmove/jBaJEw540.5895959057751208318.26666666666385.353821539282
BASE/pacman3p/wW7UVQ554.578888639601134590.7333333333362.37297171225802
BASE/queens31lg/0gID-A576.052457465123221558.53333333333337.424600926450495
BASE/bomberman2p/4CClwA586.24305003971473808.0125.9
DRESDEN/bomberman2p/x4h6jQ605.032318377148779770.3131.84469255124145
BASE/racer4/0vs7Ww608.95040709534369144.815.017314864144913
BASE/amazonsSuicide_10x10/XIbQkg611.706195965417814136.66666666666623.11022311022311
DRESDEN/fizzbuzz/t1xHzQ615.7282189217634526509.2855.1
BASE/tictactoe_3d_2player/IUC1rQ621.348789878576282992.83333333333133.56883393874762
BASE/checkers-mustjump-torus/uSApKQ634.1402996108955415.58.539908287366252
BASE/tictactoe_3d_6player/d7KSwg634.191604709952179403.36666666667125.20406463434949
DRESDEN/sat_test_20v_91c/dK7nVw635.9968066643527305384.4666666667480.1666666666667
DRESDEN/Zhadu/9zpQ5w637.802952631578926243.141.146093619856735
BASE/checkers-newgoals/0XkFiA639.302844444444518022.93333333333428.191542537238828
BASE/hanoi_6_disks/MeubgQ648.2901878914406186318.6287.4
BASE/kitten_escapes_from_fire/uW-YiA653.0945651044374418981.93333333335641.5333333333333
BASE/cephalopodMicro/9l2D3g655.29763152653351175.33333333333678.0947936804213
DRESDEN/uf20-020.cnf.SAT/hDrW_A659.1310527415872315350.26666666666478.43333333333334
STANFORD/skirmish/w4V6Vw659.74795142857145373.4333333333338.144676041355009
BASE/zhadu/DlA8iQ660.163163925729524878.237.68492602958816
BASE/hidato37/pBrqxw661.874646163659640345.56666666666660.956507248791866
BASE/amazons_10x10/Bun8dA663.553121212121115298.523.05542617605962
DRESDEN/hanoi_6_disks/MeubgQ668.3628943958909193729.66666666666289.85700476650777
DRESDEN/kitten_escapes_from_fire/uW-YiA673.7663828211773424630.0333333333630.2333333333333
BASE/ruleDepthExponential/UamhHQ695.3419600299038305.223159228025740.43895403524173826
BASE/amazonsTorus_10x10/Uxc08g697.18521990049759328.613.380375449340967
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw708.8122711638745425901.6666666667600.8666666666667
BASE/gt_tinfoil/Q8DyKg746.813804347826188737.5118.82145118821451
DRESDEN/tictactoe_3d_6player/ulZPWg763.677274060730898888.7129.4901699433522
DRESDEN/uf20-010.cnf.SAT/5ICbCg765.197885902081366058.4666666667478.3840538648712
DRESDEN/ghostmaze2p/HY0UwA767.4180411590629103718.96666666666135.1531513515315
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA784.3544617638142316215.0333333333403.1532282257258
DRESDEN/babel/WdSW4A799.047022587185765661.9666666666682.17534739578126
BASE/ghostMaze2p/W-NU-w804.9944771501926104497.7129.81169805032494
DRESDEN/sat_test_20v_91c_version2/a1mPBA812.9462465339591334857.3333333333411.90587294180386
DRESDEN/mummymaze2p-comp2007/oTQRQg848.150671912350685137.3100.37992401519696
STANFORD/madness/UO_B3A854.45115866084446503.6666666666677.611513660838928
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ859.6422979965504431941.6502.46666666666664
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg922.123404171176454407.26666666666492.7835738808706
BASE/mummyMaze2p_2007/YGA3Vw949.84053136795194496.5333333333499.4867351019864
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw954.8953010204089336.59.777511723037016
BASE/checkers-cylinder-mustjump/rjr6qQ979.42777777777789595.8333333333349.797387363369769
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg985.148879766074487566.76666666666494.9168361054632
BASE/gt_two_thirds_2p/1APDGg1002.24761316872432698.33333333333352.6922821245762147
DRESDEN/quarto/OQzRYQ1010.265048780487926210.525.944181709185372
DRESDEN/quartosuicide/WIU1oQ1037.926266805555524901.123.99120322548399
DRESDEN/hanoi7_bugfix/3gdnFw1077.0202889956217183098.83333333334170.00499916680553
DRESDEN/connect5/1kYzSg1103.880723618090521949.66666666666819.884092725819343
BASE/colonelBlottoVariant2/jruwGw1139.215333970275947682.43333333333441.855505198613706
BASE/checkers-mustjump/T-8UuQ1194.820806130268213852.53333333333311.593816631130064
BASE/connect5/d-BVQg1207.059728327228421961.16666666666818.193935354881706
STANFORD/platformjumpers/HEQskA1210.238968191721130840.53333333333325.48301132578281
BASE/hanoi7_bugfix/3gdnFw1236.4490486257928194946.8157.66666666666666
BASE/colonelBlotto/jip21A1246.41276817204316431.8666666666675.1603022938376
DRESDEN/hanoi7/51zz5Q1257.6486019824629219891.5174.8433542194374
BASE/quarto/EwBMVQ1299.43784102564129262.13333333333522.519071254871914
BASE/wargame02/BkVqqQ1323.53911308641985936.5333333333344.485347863645425
BASE/quartoSuicide/-23jUg1362.809467387944329373.63333333333521.55373442601106
BASE/colonelBlottoVariant/X-n-KQ1457.31932987421461765.6333333333342.38304678128748
BASE/nonogram_5x5_1/qLKEZw1766.5977923191647157897.089.37914486619789
DRESDEN/chinesecheckers2/06E6-Q1922.293614024390520984.910.916594555015642
BASE/mummymaze2p/vpjDdA1983.024516385010989909.2666666666645.33946298887334
DRESDEN/mummymaze2p/k-8edg1997.488785934065690849.445.48180727708917
DRESDEN/twisty-passages/j7NPyg2334.1190658244905153902.2333333333465.93589658159526
BASE/twisty-passages/DiZmmg2414.131355932204151929.3333333333462.93333333333333
DRESDEN/battlebrushes/QHXV4A2567.5706382006211125.31662445007330.43828068747456406
BASE/nonogram_10x10_1/0Xc62g2606.689358431372573770.1333333333328.30031629765274
BASE/amazons/RKKZjw2800.6837555555553204.733333333333320.0731011964229148
BASE/solitaireChineseCheckers/-ET6gw3732.937914351851851619.013.827982458948178
BASE/four_way_battle/xSOQXA4434.60162644927527132.8666666666656.118445116882254
BASE/wargame03/klXI8w4496.4454591065314524.4666666666673.2302107962303106
BASE/wargame01/_GZFZg4499.39343529411820305.24.512874966817096
DRESDEN/four_way_battle/xSOQXA4637.74867537688430624.96.60339792938678
BASE/max_knights/2fq3Ag4692.18117843137231818.86.78123857328059
DRESDEN/max_knights/hCipiA4741.19301859296531404.96.623839163865127
DRESDEN/chinesecheckers4/-oVNYg4754.7791035714284364.90.9180026884364447
DRESDEN/pawntoqueen/f_x6Aw4857.35221666666724523.9333333333345.048827476250581
BASE/pawnToQueen/-O1_JA7899.935520444445539435.266666666674.991846650470897
BASE/gt_attrition/kD_SCA8317.8424333333339665.1666666666661.1619800139437602
DRESDEN/battle/8oAvhQ11779.08452376811744840.766666666673.8068125393094774
BASE/battle/8oAvhQ12724.839647414.43.7261294829995344
DRESDEN/chinesecheckers3/QsCb2A17706.829613343.0666666666680.7535548129218269
BASE/ad_game_2x2/D0aWqg29965.150813479.60.449842555105713
BASE/hitori/S8Gsyg53915.6648676470660633.51.1245989481692191
DRESDEN/hitori/S8Gsyg53943.6062333333360484.866666666671.121261088942387
DRESDEN/othello-cornercontrol/r5Gdlg57392.4747000000068652.5666666666680.15076134479119555
DRESDEN/crisscross/GsY16g362152.6482000000521597.20.05963562632316546
BASE/crisscross/ICagEg366385.140521702.0666666666660.059232933511032135
BASE/crissrace/ERWGDA861817.813066666627786.2333333333340.03224142378127418
DRESDEN/crissrace/KWb9bw875826.656000000128648.00.03270966897814994
DRESDEN/chinesecheckers6/yTbPDAInfinity7420.9666666666660.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity37458.133333333330.0

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageREKKURA_BACKWARD_PROVER:1.0.0 error message
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap space
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/small_dominion/yB5GJATest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerExceptionTest process timed out after 240 seconds

index