index

ALLOY_DIFF_PROP_NET:1 vs. ALLOY_TUPLE_PROVER:2

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondALLOY_TUPLE_PROVER:2 states per second
BASE/pancakes88/l2Xaig0.008108209825897796179.5333333333333322142.166666666668
DRESDEN/Travelers-Dilemma/PvZwYw0.008206334056450023177.1274290856971421584.233333333334
BASE/ruleDepthExponential/UamhHQ0.1421249631398278305.223159228025742147.568959632629
BASE/gt_two_thirds_4p/DStnxQ0.3248701215885652720.87597080097332218.9666666666667
BASE/kalaha_2009/dRiN3g0.430640378363393531708.76666666666673967.9666666666667
DRESDEN/kalaha_2009/gcC8uA0.443441877078248451738.13919.5666666666666
BASE/gt_two_thirds_2p/1APDGg0.63938517921741472698.33333333333354220.2
DRESDEN/smallest/9kaGFw0.70620233858668013241.2333333333334589.666666666667
BASE/racer/QQYQNw0.79958466231456372682.3666666666673354.7
DRESDEN/racer/vk_ZBA0.84240913938797272738.16666666666653250.4
DRESDEN/vacuum_cleaner_1/eUNjpw0.91622421400108968576.59360.7
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.92780703814284277375.27949.066666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.93760180057452557387.3333333333337878.966666666666
DRESDEN/satlike_20v_91c/yeuENQ1.0503028312361213945.5900.2165583874729
DRESDEN/satlike_20v_91c_version2/yd9ioQ1.07423053328561211000.3666666666667931.240209312402
DRESDEN/pancakes/hl9aiQ1.08063120374961430802.628504.266666666666
DRESDEN/pancakes6/SZXMyQ1.099576453228269731992.829095.566666666666
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.1029102793556922944.9856.7333333333333
BASE/pancakes/yUgbXw1.131390000915900632528.93333333333428751.3
BASE/pancakes6/QZTdnw1.142083890676511831790.427835.433333333334
DRESDEN/vacuumcleaner_random/_6AGDA1.25172093128749467358.3666666666675878.6
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1.31692271297006911143.7868.4640250608192
DRESDEN/amazons/dNB28A1.3776798742138365209.26666666666668151.8978904922185
BASE/colonelBlotto/jip21A1.42400850171953196431.8666666666674516.733333333334
BASE/gt_attrition/kD_SCA1.60757451432626639665.1666666666666012.266666666666
DRESDEN/crossers3/xiPTxg1.64827128080874233436.3709086060932084.8333333333335
BASE/crossers3/O0rORg1.65908157786691083502.12110.866666666667
BASE/kalaha6x2x4/XS81Mg1.85068772330755257234.43909.0333333333333
BASE/snakeAssemblit/UO4sdg2.09428845454244832110.83333333333351007.9
DRESDEN/gt_prisoner/huCp4w2.646198536619130539504.83333333333614928.9
BASE/gt_chicken/gmepTQ2.82390462843211941777.0333333333314794.066666666668
BASE/gt_prisoner/klthDw2.838470003100342343335.315267.133333333333
BASE/gt_staghunt/xPjLRA2.841220940395035543345.66666666666415256.0
BASE/knightfight/SJRkAg2.989190042961839715770.9666666666675276.0
DRESDEN/gt_chicken/CeuKtw3.07428215310051544232.56666666666614387.933333333332
BASE/wargame02/BkVqqQ3.10190716711660745936.5333333333341913.8333333333333
DRESDEN/chinesecheckers4/-oVNYg3.10521697889494864364.91405.6666666666667
BASE/shmup/ssTNlg3.423165558057927417428.9333333333345091.466666666666
DRESDEN/knightfight/4_Ly4w3.490124562613172718053.65172.766666666666
BASE/kalaha5x2x3/WviNsw3.509542562859739415446.6666666666664401.333333333333
DRESDEN/battlebrushes/QHXV4A4.0391598026164291125.3166244500733278.60165961275703
DRESDEN/gt_ultimatum/pAiiQw4.30541021842594754639.112690.8
BASE/colonelBlottoVariant2/jruwGw4.35132808507531747682.43333333333410958.133333333333
BASE/eightPuzzle/vLrgFg4.52247169522643831529.4666666666676971.733333333334
DRESDEN/8puzzle/8fKC2w4.7691321559217333853.366666666677098.433333333333
DRESDEN/chinesecheckers6/yTbPDA4.8582433169667217420.9666666666661527.5
BASE/gt_tinfoil/Q8DyKg5.03594230314495288737.517620.833333333332
BASE/gt_ultimatum/GE-uOA5.12642366823466562009.7333333333312096.1
BASE/colonelBlottoVariant/X-n-KQ5.19536642946464161765.6333333333311888.6
STANFORD/8puzzle/jNiGtw5.35295106292047437157.866666666676941.566666666667
STANFORD/eightpuzzle/W_aWbA5.36858668111787637645.0666666666667012.1
BASE/wargame03/klXI8w5.56173335886144714524.4666666666672611.5
DRESDEN/Runners/3bOCQw5.78982029814172139873.5666666666824158.533333333333
BASE/racer4/0vs7Ww5.8274353201070569144.81569.2666666666667
DRESDEN/knightstour/cGISAA6.143824383255206130365.421218.933333333334
DRESDEN/chinesecheckers3/QsCb2A6.278006932137213343.0666666666682125.366666666667
DRESDEN/roshambo2/jgSlkQ6.3033407797331185141458.7333333333422441.866666666665
BASE/roshambo2/KNPokQ6.491722384319177141949.321866.2
BASE/pacman2p/4LEdQg6.579859862477797520127.1333333333353058.9
BASE/coloredtrails/EZvr7g6.718077837947264526548.53951.8
BASE/wargame01/_GZFZg6.85847463352023320305.22960.6
BASE/bomberman2p/4CClwA7.03341941508876673808.010493.9
BASE/knightazons/apnJBQ7.0418789826930353928.5333333333333557.8814039532016
DRESDEN/knightazons/02I8BQ7.1754836398375934005.8333333333335558.2666666666667
DRESDEN/pacman3p/rBnk8Q7.33035694203909121727.6666666666682964.0666666666666
BASE/ad_game_2x2/D0aWqg7.34997001036005813479.61833.9666666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg7.50511728770528785137.311343.9
STANFORD/knightstourbig/TQUI2g7.6179114552796445145954.8666666666719159.433333333334
DRESDEN/bomberman2p/x4h6jQ7.66228872033119679770.310410.766666666666
BASE/nim3/1OwUqw7.81716906563146689139.711403.066666666668
BASE/tron_10x10/7ZTgDg8.00798778782863835322.4333333333344410.9
DRESDEN/skirmish/RjGQYQ8.0103247293921746413.6800.6666666666666
DRESDEN/nim3/sG_axA8.1247266354801893498.011507.833333333334
DRESDEN/skirmish3/3LU8Nw8.2573384285894266554.4793.7666666666667
DRESDEN/chinesecheckers2/06E6-Q8.31469325761077720984.92523.8333333333335
BASE/mummyMaze2p_2007/YGA3Vw8.35217724353308694496.5333333333411314.0
BASE/mummymaze2p/vpjDdA8.59668279374549789909.2666666666610458.6
BASE/gt_dollar/TGjqRw8.62924780975532104603.1666666666712121.933333333332
DRESDEN/bidding-tictactoe_10coins/mu5VhQ8.70427376659249737814.266666666674344.333333333333
DRESDEN/skirmish2/iPpWhQ8.7669617706237417261.966666666666828.3333333333334
DRESDEN/endgame/IJhh3Q8.9132230249294287472.3838.3387220425985
DRESDEN/nim4/F5YAYg8.978479070272364102004.811361.033333333333
DRESDEN/crisscross/GsY16g9.01297870268616221597.22396.233333333333
BASE/nim4/twk16w9.16117241967402103851.9666666666611336.1
BASE/ghostMaze2p/W-NU-w9.18166029159369104497.711381.133333333333
DRESDEN/mummymaze2p/k-8edg9.24791916203221590849.49823.766666666666
BASE/knightsTourLarge/M8jgLA9.253096936813774180489.3666666666719505.833333333332
BASE/biddingTicTacToe_10coins/a-9ccQ9.28949443340587239272.266666666674227.6
BASE/gt_centipede/9fRMpw9.334935104611171157870.8666666666716911.833333333332
BASE/ruleDepthLinear/OUBJpQ9.386449744294788354110.737725.73333333333
BASE/skirmishNew/sibw2g9.4189730958339985895.766666666666625.9458018066065
BASE/crisscross/ICagEg9.4671009582527521702.0666666666662292.366666666667
DRESDEN/quartosuicide/WIU1oQ9.57660949157757124901.12600.2
STANFORD/breakthrough/d5j0cQ9.57903558014619715812.4333333333321650.7333333333333
BASE/speedChess/bPnisA9.6313281136021026601.633333333333685.4333333333333
DRESDEN/ghostmaze2p/HY0UwA9.683165389714256103718.9666666666610711.266666666666
DRESDEN/quarto/OQzRYQ10.43425470083201726210.52511.9666666666667
DRESDEN/blobwars/ZaMluQ10.4609914705882355927.5566.6288914072395
BASE/blobwars/0XT15Q10.518862737759356089.166666666667578.8807039765342
BASE/endgame/jYjfOA10.55860443187175911197.41060.5
DRESDEN/javastrike/whONTQ10.618915929203547679.6723.2
BASE/skirmishZeroSum/zh4hcw10.7051612180922526374.566666666667595.4666666666667
BASE/pacman3p/wW7UVQ11.292475107459634590.733333333333063.1666666666665
BASE/smallest_4player/ADDROA11.32948032352486670831.533333333346251.966666666666
BASE/quarto/EwBMVQ11.41046337817638329262.1333333333352564.5
BASE/gt_coordination/IVMOzA11.504859468873834192005.3666666666716689.066666666666
BASE/quartoSuicide/-23jUg11.79032646507894129373.6333333333352491.3333333333335
BASE/chess_200/XsTpYA11.9241747441733783405.0333333333333285.5571480950635
DRESDEN/nim2/z5_exA12.288315685593417178062.214490.366666666667
BASE/amazonsTorus_10x10/Uxc08g12.2949652930322479328.6758.7333333333333
BASE/nim2/eF2Qqw12.309297315330596174643.914187.966666666667
DRESDEN/frogs_and_toads/GjchhQ12.34497850122850221437.4666666666671736.5333333333333
DRESDEN/logistics/fPru1Q12.57082825943744641980.73339.5333333333333
BASE/minichess/8NQEiA12.58301854939118439751.4333333333343159.133333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA12.67872171068711184983.1666666666614590.04865693528
DRESDEN/CatchMeIfYouCanTest/CX18rA12.765856066383694191381.0333333333314991.633333333333
DRESDEN/smallest_4player/ADDROA12.8497332065609982440.033333333346415.7
DRESDEN/knightthrough/J7Fc_Q12.94933436732583823377.4333333333341805.3
BASE/hex/T1MK8g12.973744611767347725.0595.4333333333333
DRESDEN/brawl/2kXtfQ13.2301446236559144593.2347.17685487634157
STANFORD/hex/MTqWcw13.2532435539497468069.9608.9
BASE/brawl/6Ymo_Q13.2877014581734484617.033333333334347.46666666666664
BASE/knightThrough/gcwFjA13.36658115977306423795.6333333333351780.2333333333333
BASE/ttcc4/Le0qjQ13.3813157451315518530.01384.7666666666667
DRESDEN/Thief_Police/CX18rA13.3988340062219200562.2333333333414968.633333333333
DRESDEN/blocks2player/3ev8nQ13.439543235124319137348.110219.7
STANFORD/threepuzzle/41ibjA13.5224336643301223197.2333333333416505.7
DRESDEN/bidding-tictactoe/yW5vTA13.64978324427865967696.14959.5
DRESDEN/catch_me/ghGWrA13.653779065774836198823.614561.8
BASE/blocks2player/wnTLOQ13.754307111153707138726.410086.033333333333
STANFORD/3puzzle/41ibjA13.78545076094049226061.6333333333316398.566666666666
BASE/amazonsSuicide_10x10/XIbQkg13.81838323938613814136.6666666666661023.0333333333333
DRESDEN/blocksworldparallel/2JfVaw13.93678642409417675967.15450.833333333333
BASE/amazons/RKKZjw14.140248888888888204.7333333333333214.478764478764479
DRESDEN/chinesecheckers1/Y-ftaA14.15994108983799648073.03395.0
BASE/knightsTour/mvtVIg14.167954666498856307693.521717.566666666666
DRESDEN/cube_2x2x2/fp-34Q14.16818935276203661256.1666666666644323.5
BASE/tttcc4/8Bs2lg14.1692307692307719034.01343.3333333333333
DRESDEN/tttcc4/sAvtFg14.33740198441901418833.1333333333351313.5666666666666
STANFORD/hunter/14dD-g14.56350973204113101833.46992.366666666667
BASE/aipsrovers01/4C4jsw14.59477178700120287486.95994.4
BASE/nim1/hin2Qw14.608748121201558223547.9333333333215302.333333333334
BASE/solitaireChineseCheckers/-ET6gw14.64022689671472451619.03525.8333333333335
STANFORD/knightstourmedium/x1wu8Q14.647264862940002318091.2333333333421716.766666666666
DRESDEN/max_knights/hCipiA14.69074720888168431404.92137.733333333333
BASE/checkers-mustjump-torus/uSApKQ14.7915527585579025415.5366.12112929569014
DRESDEN/chomp/-LcqYQ14.79306971113238470056.033333333344735.733333333334
DRESDEN/nim1/M9BALA14.908138372410965232630.5666666666815604.266666666666
STANFORD/knightstour/cEwgNA14.917251555210553322843.6333333333621642.3
BASE/amazons_10x10/Bun8dA14.94626632363956115298.51023.5666666666667
BASE/max_knights/2fq3Ag14.95502044525215831818.82127.633333333333
DRESDEN/aipsrovers01/qS47Mw15.09214368907529387681.833333333335809.766666666666
BASE/4pffa/Q3ADlg15.27076644952155432662.1333333333352138.866666666667
BASE/hodgepodge/9yjRkw15.550051401923955132604.18527.566666666668
DRESDEN/3pffa/0YrmQw15.63380076284496146453.233333333332971.3333333333335
BASE/hexPie/48CH6Q15.7132441513979598261.5525.7666666666667
DRESDEN/sheep_and_wolf/enAIzQ15.7474912139560524793.91574.4666666666667
BASE/biddingTicTacToe/8mESVw16.02759986547587871485.766666666664460.166666666667
BASE/asteroids/BKCmPQ16.039596616416016206871.7666666666612897.566666666668
DRESDEN/2player_normal_form_2010/NG_Kdg16.040333085068852477395.0666666666529762.166666666668
BASE/rubiksCube/9tNO9Q16.1266260840560425785.41598.9333333333334
BASE/choicethroughalt/tt71Lg16.14952043095519616388.5333333333331014.8
BASE/sheepAndWolf/g4THrg16.1957826124492825012.7666666666661544.4
BASE/3pffa/pR0dzA16.42745231607629541800.22544.5333333333333
DRESDEN/hanoi7_bugfix/3gdnFw16.53327293468217183098.8333333333411074.566666666668
BASE/amazons_8x8/7SOsIw16.62942668696093321851.0666666666661314.0
BASE/chomp/-LcqYQ16.70714908095099880531.84820.2
DRESDEN/fizzbuzz/t1xHzQ16.839726347234524526509.231265.9
BASE/3pttc/0sol9g16.86276211732936840797.766666666672419.4
STANFORD/dualhunter/1rPZjQ16.97898500086085655882.9333333333343291.3
DRESDEN/breakthroughsuicide/Y9QzqQ17.078760104092324720.3666666666651447.4333333333334
DRESDEN/3pttc/uwYBZw17.2096286468978247995.9333333333342788.9
DRESDEN/hallway/0H4l-Q17.22115077250932610774.7625.6666666666666
BASE/blocks/xIV5hQ17.27474727409173260883.2333333333415102.0
BASE/hanoi7_bugfix/3gdnFw17.279198735467478194946.811282.166666666666
BASE/hallway/ckCJOw17.31337875838200410671.966666666667616.4
DRESDEN/minichess/c7GMFw17.65866440803578644477.466666666672518.733333333333
STANFORD/ttcc4/Cx9SGw17.716884666183827722.21564.7333333333333
BASE/crissrace/ERWGDA18.1470991618591527786.2333333333341531.1666666666667
STANFORD/alquerquezero/uVgA_A18.15496208374546731202.9333333333341718.7
BASE/maze/cCX3qQ18.541173268686546490504.2666666666626454.866666666665
DRESDEN/crissrace/KWb9bw18.54279488230598428648.01544.9666666666667
BASE/asteroidsParallel/WauZiA18.598628268891385108196.95817.466666666666
BASE/ticTacToeParallel/ymRGPw18.6649259530121654446.8333333333362917.0666666666666
DRESDEN/hanoi/RQ0jiA18.674019220413182232335.312441.633333333333
BASE/2pffa_zerosum/o0_uZA18.74467776272498751655.3333333333362755.733333333333
DRESDEN/mimikry/GJEhwA18.92280638061310327798.2333333333341469.0333333333333
DRESDEN/circlesolitaire/ruUilQ18.924890644559728220216.9666666666711636.366666666667
BASE/haystack/UkweGA19.030260030349556850260.644679.4
BASE/skirmishFinal1/ecWTnQ19.034063054554495105.4268.22439252024935
BASE/skirmish/Y_psYQ19.071931087513733471.9182.04239434742036
BASE/chinook/XQh0IQ19.09198792701330718554.866666666665971.8666666666667
DRESDEN/skirmishfinal/hzq8ww19.2949575250836145192.1269.09103029899
DRESDEN/hanoi7/51zz5Q19.30187818016368219891.511392.233333333334
BASE/skirmishFinal2/gdB62Q19.3226271063189545136.9265.8489434037731
BASE/circlesolitaire/azuQFQ19.32623835155888219972.5333333333311382.066666666668
DRESDEN/blocks/vg0DRw19.338953476711612289274.014958.1
DRESDEN/point_grab/r5DPmQ19.353811911344362413029.721341.0
DRESDEN/tictactoeparallel/yk_DSg19.41270194073675355315.22849.4333333333334
DRESDEN/capture_the_king/EQ229Q19.4163004102564085678.7292.47075292470754
DRESDEN/troublemaker02/iZLVuA19.53624572045679566824.633333333329014.0
BASE/blocksWorld/SEdXLQ19.564692938498613292816.9333333333514966.6
STANFORD/chinook/osFbPA19.5918697705956917174.966666666667876.6374454184861
BASE/troublemaker02/DI83KA19.667132594387581569.566666666729570.633333333335
BASE/checkersTorus/2vm1EQ19.70029777544228426242.7666666666661332.1
BASE/incredible/8Qh-6Q19.774015716576596115499.366666666675840.966666666666
BASE/guess/SPpk1A20.0153253310891630125.7333333333341505.1333333333334
STANFORD/buttonsandlights/eyhJpA20.020137576765972922886.346097.9
BASE/checkersTorusNoKings/pwb6oQ20.0889748131507330999.9666666666671543.1333333333334
DRESDEN/sum15/CsgWKg20.186736609323972157008.47777.8
BASE/sum15/QZ07Kg20.26894921457984159484.27868.4
BASE/hanoi_6_disks/MeubgQ20.38809007944324186318.69138.6
DRESDEN/tictictoe/LAUtwg20.43073702284040490433.933333333334426.366666666667
DRESDEN/troublemaker01/C-lPWw20.4871837556775664563.266666666732438.0
DRESDEN/hanoi_6_disks/MeubgQ20.5167769834966193729.666666666669442.5
BASE/skirmishHoles/AUCxCA20.516918751408614045.6666666666665197.18685420971934
BASE/onestep/xi53wA20.52673840215125838404.366666666740844.5
BASE/point_grab/V_osUg20.69867556875541412119.619910.433333333334
BASE/ttcc4_2player/_aH_Mw20.7583511656718130718.91479.8333333333333
BASE/skirmishFinal3/-Olhfw20.775110276908825976.8287.690410319656
BASE/checkersBarrelNoKings/rnKNeg20.7795249928708234005.01636.4666666666667
BASE/escortLatch/mX9BjQ20.83406591180700234285.233333333331645.6333333333334
BASE/2pffa/6oHijA20.8724769336590758666.966666666672810.733333333333
BASE/breakthroughHoles/nZk0Sg21.1614564920963627934.5333333333331320.0666666666666
STANFORD/freeforall/Lfp40Q21.29164077248689360527.1666666666642842.766666666667
BASE/troublemaker01/s3tlEQ21.500541447577557687633.931982.166666666668
DRESDEN/queens/mW2wHQ21.5089959782685420323.133333333335944.8666666666667
BASE/2pttc/unkkYA21.6625050247097561075.266666666672819.4
BASE/4pttc/AL1k2Q21.81243018855342443612.51999.4333333333334
BASE/hanoi/iGLsJg21.955701879290014274978.333333333312524.233333333334
DRESDEN/4pttc/9pB9AQ22.0216360315777149839.366666666672263.2
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg22.1171598293220352870.3333333333362390.4666666666667
BASE/ttcc4_2player_alt/ZEJvYA22.1223457054438637887.466666666671712.6333333333334
BASE/queens/HyJJnQ22.1389585947302421173.7956.4
BASE/strangeSkirmish/gc1zKA22.1710519702651153744.0666666666666168.87185469088485
BASE/cittaceot/fDxhXg22.3466513720991842209.11888.8333333333333
STANFORD/checkersonabarrelnokings/Zrevdw22.52002869247495233488.033333333331487.0333333333333
BASE/buttons/hTcUjw22.533930292481777568147.233333333325212.966666666667
DRESDEN/guess/PhxGhg22.6226573179873934200.9333333333341511.8
BASE/survival/YVIjJA22.622852407540353707976.133333333331294.733333333334
DRESDEN/chickentoetictac/cxYaRQ22.693889314328533183734.266666666668096.2
DRESDEN/latenttictactoe/kITHKg22.71216200291880683519.433333333333677.3
DRESDEN/buttons/ADUaHw22.843108100964898561788.933333333324593.366666666665
BASE/chickentoetictac/l57rfQ23.206734448453044191044.88232.3
BASE/eotcitcit/V_9_bg23.34776640596128103188.566666666674419.633333333333
BASE/switches/tPUoCg23.500290163555864390100.916599.833333333332
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw23.5294858870967729336.5396.8
DRESDEN/toetictac/mJtxCA23.53147884858574219575.366666666679331.133333333333
STANFORD/tictictoe/rpt_Dw23.729281808942332106621.24493.233333333334
BASE/snake_2009_big/-oRfVw23.7355769230769229786.5666666666661254.9333333333334
DRESDEN/snake_2009/zIYLVw24.0172998719360135632.866666666671483.6333333333334
BASE/twisty-passages/DiZmmg24.043255789418158151929.333333333346319.0
BASE/chineseCheckers3/-1rZdQ24.19468085106383113715.04700.0
DRESDEN/snake_2009_big/DgC1NQ24.28232189973614730369.91250.7
BASE/checkers-cylinder-mustjump/rjr6qQ24.306365740740749595.833333333334394.78684043865206
BASE/numbertictactoe/rvJ-iQ24.313860224579212101551.74176.7
DRESDEN/tictactoex9/rFkD4w24.3271540557817224102.533333333333990.7666666666667
BASE/checkers/rOC3Xg24.33528928181736715115.766666666666621.1459618012733
DRESDEN/twisty-passages/j7NPyg24.38814997147626153902.233333333346310.533333333334
BASE/snakeParallel/RCVNtw24.3991439688716167215.466666666676853.333333333333
BASE/racetrackcorridor/_RkdUg24.4881972153240958508.8333333333362389.266666666667
BASE/toetictac/mTThmg24.52001722230883220204.466666666678980.6
BASE/stateSpaceLarge/0Ge_CQ24.555945278336573285639.666666666711632.2
BASE/englishDraughts/jFkQxg24.686006707928547596.266666666671928.0666666666666
BASE/tictactoex9/BI26ow24.84980068507624866.3666666666651000.6666444451852
BASE/ticTicToe/c1OobQ24.917199386431417106669.74280.966666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g24.938426054634007322932.666666666712949.2
DRESDEN/racetrackcorridor/O0DoTA25.04626842021866757957.92314.0333333333333
BASE/snake_2009/7l-qAQ25.05673491140027337613.51501.1333333333334
BASE/tpeg/QNs7Lw25.1203758720098638049.8333333333361514.7
BASE/snake_2008/i6K26g25.1781660725610738377.41524.2333333333333
DRESDEN/connect5/1kYzSg25.55555555555555721949.666666666668858.9
DRESDEN/tpeg/h-Scbg25.63053957393873738460.3333333333361500.5666666666666
DRESDEN/grid_game/U7_Yeg25.6774490765021960382.233333333332351.5666666666666
BASE/tictactoe_orthogonal/WRzlVw25.793760237378542200515.533333333337773.8
BASE/pearls/6k_mEQ25.86888745072911808770.933333333331264.233333333334
BASE/blockerParallel/7-nDJA25.9045593958607233502.366666666671293.3
BASE/connect5/d-BVQg26.0532663714014621961.166666666668842.9333333333333
STANFORD/bestbuttonsandlights/nm0wEA26.20109532017824434723.333333333316591.8
DRESDEN/blockerparallel/dVQgSg26.25671641791044733718.01284.1666666666667
BASE/snake_2008_tweaked/bX0NJQ26.2989443900315640276.8333333333361531.5
DRESDEN/stratego/Z2wovg26.3506331092699739331.8333333333361492.6333333333334
BASE/asteroidsSerial/id2QkA26.367500549044664132066.95008.7
BASE/beatMania/qUHwvQ26.370647031622383222407.48433.9
BASE/breakthroughWalls/vOZaYA26.50876390257637325105.566666666666947.0666666666667
DRESDEN/breakthroughsuicide_v2/LU1nAw26.5197111359196225338.7955.4666666666667
BASE/chineseCheckers2/eCMR3Q26.594743385895494148304.75576.466666666666
BASE/breakthroughSuicide/wZDpIg27.0178992646038625962.4960.9333333333333
BASE/breakthrough/TGxk-g27.1710016408895725941.966666666667954.7666666666667
DRESDEN/snake_2008/E56l3A27.3015220354384440060.4333333333341467.3333333333333
DRESDEN/breakthrough/z4hK7Q27.903338747518525768.733333333334923.5
BASE/ttcc4_2player_small/Cv72TA28.02728427344041562524.22230.8333333333335
BASE/doubletictactoe/HH1htg28.11435265081033297203.53457.4333333333334
BASE/blockerSerial/3eqDuw28.1568380415183381200.566666666672883.866666666667
BASE/double_tictactoe_dengji/zgaSbA28.41208496794565398978.233333333343483.6666666666665
DRESDEN/peg_bugfixed/u_B7MA28.69744928223988740315.133333333331404.8333333333333
DRESDEN/peg/Vo31eg28.72837449602858639665.266666666671380.7
BASE/checkers-mustjump/T-8UuQ28.90762381747356713852.533333333333479.2
BASE/peg/fJHVWw29.177008569576840516.1666666666641388.6333333333334
STANFORD/trifecta/ss1kyQ29.17754876738524197339.433333333326763.4
DRESDEN/towerworld/HCX34w29.4168836518046673232.7109.89267382174522
DRESDEN/tictactoe_orthogonal/y69QFQ29.587196157881568224656.566666666687593.033333333334
BASE/breakthroughSuicideSmall/XSbJog29.64700435026058445887.633333333331547.8
DRESDEN/tictactoe/BTTzPw29.820858484238766207493.533333333336958.0
BASE/untwistycomplex2/EDPPAQ29.911837768791596847695.528339.8
STANFORD/untwistycomplex/HTWEwg30.002462434648514850853.833333333428359.466666666667
DRESDEN/chickentictactoe/Ipbo-g30.059384923570725176065.833333333345857.266666666666
BASE/catcha_mouse/cHv4dw30.29594022415940260819.12007.5
STANFORD/jointbuttonsandlights/qAKuIQ30.31949167159472328129.666666666710822.4
STANFORD/rainbow/_4qNSQ30.3374760161358499113.166666666716452.033333333333
BASE/checkersSmall/SYmq8w30.44901040603958424871.766666666666816.8333333333334
BASE/breakthroughSmall/HJ0tIA30.46600782649067845933.61507.7
STANFORD/untwistycorridor/EDPPAQ30.577163150310515836042.833333333427342.066666666666
STANFORD/tictactoe/ss1kyQ30.92586461434207212970.966666666676886.5
DRESDEN/Goldrush/VeWczQ31.01451207729468653500.033333333331725.0
BASE/chickentictactoe/DSlZCA31.10642151197889180345.75797.7
BASE/brain_teaser_extended/ZDp94A31.342948591493727211844.96758.933333333333
DRESDEN/doubletictactoe/lJzgmQ31.567018596398356107337.333333333333400.3
DRESDEN/double_tictactoe_dengji/bGaUyQ31.68058088749988107113.13381.0333333333333
DRESDEN/doubletoetictac/V89gKQ31.81466659043699111294.066666666673498.2
BASE/doubletoetictac/fu35bg31.968852155075677109204.533333333343415.9666666666667
BASE/blocksWorldSerial/Wyg96Q32.01303056545215183602.25735.233333333334
DRESDEN/brain_teaser_extended/ZDp94A32.11440062338185212934.533333333336630.5
DRESDEN/bunk_t/7-tPfA32.21610268834011109929.933333333333412.266666666667
STANFORD/skirmish/w4V6Vw32.4569653446077455373.433333333333165.55562962469168
BASE/pegEuro/5awwhg32.4678009407119237275.21148.0666666666666
DRESDEN/backgammon/mqCW0Q32.879115885147726527.966666666667806.8333333333334
BASE/stateSpaceMedium/3bUoIw33.08405469775752528318.166666666615968.966666666667
BASE/ticTacToe/JRFsaQ33.36690416191912235251.133333333337050.433333333333
DRESDEN/eotcatcit/mQUxzA33.41707530469815218979.866666666676552.933333333333
DRESDEN/statespacemedium/dVJZ_w33.862527257001545555948.216417.8
DRESDEN/statespacesmall/h-NqjA34.160647193841804788292.233333333323076.033333333333
BASE/stateSpaceSmall/Q7osKA34.47464805178474767630.922266.533333333333
STANFORD/pilgrimage/ObRZnQ34.6135660825527751488.8333333333361487.5333333333333
BASE/checkersTiny/Lr48cg34.9525953318862743477.533333333331243.9
BASE/eotcatcit/AfZSzA35.142739451250094228926.833333333346514.2
DRESDEN/catcha_mouse/cHv4dw35.5597708294830270549.41983.9666666666667
BASE/chineseCheckers6/rREH3A35.7014699769489594476.82646.3
BASE/duplicateStateLarge/dcjyuw35.80400703710197197410.166666666665513.633333333333
BASE/bunk_t/xbpfIA36.14273823163626123026.266666666663403.9
BASE/tictactoe_3player/GtM71g37.08040445368569573710.91987.8666666666666
DRESDEN/statespacelarge/8-y5HQ37.34720774385704401258.410744.0
STANFORD/tictactoe7/-bE9-A37.679744587857684257480.766666666666833.4
BASE/ticTacToeSerial/Amrwqw37.74950758528204120103.833333333333181.6
BASE/ticblock/T21C1g37.963501201721535158481.166666666664174.566666666667
DRESDEN/tictactoe-init1/3ltIBQ38.14734710291332262449.933333333356879.9
DRESDEN/ticblock/Z2yNWQ38.320460002730464159056.733333333344150.7
STANFORD/madness/UO_B3A38.888505048492096503.666666666667167.23879353441095
BASE/checkers-newgoals/0XkFiA39.1831292122617618022.933333333334459.96666666666664
STANFORD/dualrainbow/G3OnRQ39.42157196020897293780.066666666657452.266666666666
STANFORD/platformjumpers/HEQskA39.5387735794766630840.533333333333780.007333088897
BASE/tictactoe-init1/7M19vA39.92154168527361271169.733333333346792.566666666667
BASE/duplicateStateSmall/bCPAXw40.13902936455481708520.766666666717651.666666666668
BASE/chineseCheckers4/avfBcQ41.6660817997579102111.066666666672450.7
BASE/copolymer_4_pie/IN5_jA41.7660050321498599598.02384.6666666666665
STANFORD/multiplebuttonsandlights_9/SqB9BA42.78259416900304785362.933333333318357.066666666666
DRESDEN/tictactoe_3player/ESLQQQ43.26229480848791686443.833333333331998.1333333333334
STANFORD/multiplebuttonsandlights/cK70Yg43.47938269382232786861.766666666718097.353686175178
STANFORD/tictactoe5/WFRReg44.49260324375685293439.16595.233333333334
BASE/checkLines/Vop7oQ45.338835302628404125346.766666666662764.6666666666665
BASE/kitten_escapes_from_fire/uW-YiA45.84348352554143418981.933333333359139.4
DRESDEN/kitten_escapes_from_fire/uW-YiA47.074934684360095424630.03333333339020.3
DRESDEN/chinesecheckers6-simultaneous/gPPGUw47.75183784472867637458.13333333333784.4333333333333
BASE/copolymer_4/2LDVhQ48.10921463493525128905.433333333332679.4333333333334
BASE/duplicateStateMedium/U163eQ48.650524070754024453174.766666666669314.9
BASE/battlebrushes/arCwyA50.0107670711156114837.7296.6901103296557
STANFORD/duikoshi/tpw1sw50.4763997822448983449.266666666661653.2333333333333
BASE/chineseCheckers1/gqtwHw50.670351907820994387278.566666666657643.1
BASE/mineClearingSmall/frsbvw52.7866042197162538696.1733.0666666666667
BASE/coins_atomic/AA3SSw52.8753993106751274828.533333333341415.186160461318
DRESDEN/coins/QwFP9w53.52839005050266575607.066666666671412.4666666666667
BASE/coins/QnGtnQ53.8993387564816175534.533333333341401.4
BASE/lightsOnSimultaneous/_VN6lw54.54395577515778111493.32044.1
DRESDEN/blocker/S815zQ55.41437728700075355880.366666666646422.166666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw55.4433431004486780732.91456.1333333333334
BASE/dotsAndBoxes/EHwA_w55.8048272992093284929.366666666671521.9
BASE/queens06ug/7Lq3tw56.428898785874004203569.133333333333607.5333333333333
BASE/blocker/dIWtxg57.709726620223776364494.633333333366316.0
BASE/dotsAndBoxesSuicide/jzQbLw57.7408773461370688189.566666666671527.3333333333333
BASE/tictactoe2/bhrDoQ59.41970472440945402469.46666666676773.333333333333
BASE/qyshinsu/R08Lzw59.66749605534652532773.36666666667549.2666666666667
BASE/blocksWorldParallel/RseaAQ59.7180904877302884606.61416.7666666666667
DRESDEN/lightsout2/LFtfyQ61.15797836654465173201.433333333322832.0333333333333
STANFORD/sukoshi/4LYZZQ61.236282524676376284140.433333333354640.066666666667
BASE/lightsOn/MsXu3A62.42127426570611847393.766666666713575.4
STANFORD/pentago/ZxzLmg63.7351911430734389807.133333333331409.0666666666666
BASE/queens08ug/kJ_ZFQ63.778108144451586142286.833333333342230.9666666666667
BASE/lightsOnSimul4/9FeASw64.3491700963321494854.966666666661474.0666666666666
BASE/simultaneousWin2/PfjRjw64.85758381704879111362.633333333331717.0333333333333
STANFORD/tictactoe3/X7myng65.22605723911177402712.26174.1
BASE/factoringGeorgeForman/HGRorQ66.71507549534125896216.966666666713433.5
BASE/queens12ug/u6Bkmg66.7178512958329671995.233333333341079.1
DRESDEN/oisters_farm/pTQMLg66.80562239821302877291.433333333313132.0
STANFORD/triplesukoshi/Iu9mbA67.4615929036519895318.733333333341412.9333333333334
DRESDEN/lightson2x2/gBHuig67.6966009881043539871.36666666677974.866666666667
BASE/nineBoardTicTacToePie/B8LzeQ68.3555589402755445423.03333333333664.511182960568
DRESDEN/connect4/T0-rHQ69.2234605830827570598.71019.8666666666667
BASE/pawnWhopping/Ypc_6Q69.74640199569306109039.21563.3666666666666
BASE/queens16ug/gT-ylw71.946873471542943147.5599.7133428885704
DRESDEN/pawn_whopping/4ogBkg72.0773673444832119807.01662.2
BASE/knightmove/jBaJEw72.41067352590171208318.266666666662876.9
DRESDEN/SC_TestOnly_enabled/09o7gQ73.38882803943044238980.933333333323256.366666666667
BASE/connect4/50bOyw73.4861674180261475526.633333333331027.7666666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg73.55537420710108476207.36474.133333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ73.92695042989067116077.633333333331570.1666666666667
BASE/connectFourLarger/qKi60A74.1254028515878172435.4977.2007599746676
DRESDEN/knightmove/97Ipcw75.47711574233143212349.833333333342813.4333333333334
DRESDEN/lightsout/XgLpzQ76.41433971284718170488.033333333332231.1
BASE/ticTacToeLargeSuicide/727_8g77.24302477997628247502.13204.2
DRESDEN/babel/WdSW4A77.6880817163590465661.96666666666845.2
BASE/breakthroughSmallHoles/bxclRw78.98764016057903133138.933333333321685.5666666666666
BASE/four_way_battle/xSOQXA79.004988218167727132.866666666665343.4323234343232
BASE/ticTacToeLarge/TZC0dg81.54925830121945257464.63157.1666666666665
BASE/ticTacToeNoVars/XT03NA81.84928283133718415046.85070.866666666667
BASE/lightsOut/5P1ZBw82.3343998285443179277.666666666662177.4333333333334
DRESDEN/tictactoelargesuicide/6J4DeA82.45276403679338272800.46666666673308.5666666666666
BASE/withConviction/3Xm54A83.2629668307723111622.333333333331340.6
STANFORD/multipletictactoe/_bkafQ83.9830153559795284223.766666666661002.8666666666667
BASE/snake2p/I3wWPQ85.9502589213372481329.0946.2333333333333
DRESDEN/tictactoelarge/IwXcbg85.95820012704495275149.33333333333200.9666666666667
DRESDEN/four_way_battle/xSOQXA87.4913817731644630624.9350.03333333333336
DRESDEN/tictactoe_3d_small_2player/HYttcg87.67801105874192143239.566666666681633.7
BASE/futoshiki4/BaCwSw88.25119388729703138598.51570.5
BASE/factoringEasyTurtleBrain/lUj94Q89.86839750686218592601.26594.1
BASE/tictactoe_3d_small_2player/oOryKA90.22802066690183144945.31606.4333333333334
BASE/hidato19/rRHSmA90.72396726206935109370.766666666661205.5333333333333
STANFORD/duidoku/3SoMaA92.564935681669947882.13333333333385.15247458756873
BASE/minichess-evilconjuncts/4OpQzw93.9429241015588644727.86666666667476.11746275124165
BASE/lightsOnParallel/SC6enA95.27417574625257515042.66666666675405.9
BASE/slidingpieces/uFJWEw95.2984914256242673910.33333333333775.5666666666667
STANFORD/nineboardtictactoe/y28P-A96.4569304152637668754.5712.8
DRESDEN/minichess-evilconjuncts/th24Tw97.2646000959670446169.96666666667474.68417719409354
BASE/nineBoardTicTacToe/wRmqqA97.6644724379617368742.76666666666703.8666666666667
DRESDEN/slidingpieces/s9_44g98.6626793566221476536.66666666667775.740808639712
BASE/ticTacHeaven/18n58A100.2532436626159751147.5510.1829939002033
BASE/sudokuGrade6H/ieE_9A100.271538759411989321.692.96356788107063
BASE/tictactoe_3d_small_6player/g_9lww102.05077096652877117586.31152.2333333333333
BASE/sudokuGrade6E/ihYFZA102.812941590991669432.691.74525943946412
BASE/connectFourLarge/aU644A103.99969594301103159618.733333333341534.8
DRESDEN/ggp-course2013_jordi/9QI6Kw105.2688261305616244899.166666666664426.5191160294657
STANFORD/sudoku/oJ1qyQ106.964171692089410051.06666666666893.96666666666667
BASE/futoshiki5/TJ4BZg107.7793350047264887412.63333333333811.0333333333333
BASE/pentagoSuicide/SBgNhw107.8936863543788188293.0818.3333333333334
DRESDEN/pentago_2008/hLjVpQ108.0629673517754388154.16666666667815.7666666666667
BASE/sudokuGrade4/DTy07w108.9692092372288210381.13333333333395.26666666666667
BASE/sudokuGrade5/BQfUQA109.6736385134362610656.26666666666697.16342788573714
DRESDEN/tictactoe_3d_small_6player/llDEDQ109.82022768616866124763.11136.0666666666666
BASE/wallmaze/uxNQ9g111.88723018525862131661.433333333321176.7333333333333
BASE/sudokuGrade2/u80Tfw112.1377274509803810674.895.19365375641624
BASE/sudokuGrade1/tDRNRw112.2505673144876310586.594.31132735695004
BASE/sudokuGrade3/eI8dvg112.7788520803443410479.86666666666792.9240409292404
STANFORD/connectfour/VMpZkQ113.2101250192931244496.133333333332159.6666666666665
DRESDEN/cubicup/SBn_lw114.148582776674584302.53333333334738.5333333333333
DRESDEN/connectfour/5tc-Mg116.60612826237585252432.833333333342164.8333333333335
DRESDEN/firefighter/WJmoPw116.73581240738515971592.16666666668323.0
BASE/cubicup/4wNWJA117.7736232932453286830.56666666667737.2666666666667
BASE/ticTacHeavenFC/mrletw117.9209696741154456285.73333333333477.31742275257494
DRESDEN/Zhadu/9zpQ5w117.9445734571599826243.1222.50366617784294
BASE/connectFour_9x6/B9TtMw118.0485005679025232118.766666666661966.3
BASE/connectFourSuicide/c8p9Kw118.19799081068453252963.42140.1666666666665
BASE/futoshiki6/JmvXNA120.3514291320557361335.1509.6333333333333
DRESDEN/connectfoursuicide/M9CNQg123.3234238851871264664.42146.1
BASE/firefighter/WJmoPw123.3317247839611013782.66666666668219.966666666667
BASE/connectFour/WAIKTw123.53047314772554270655.266666666662191.0
BASE/reversi/d8UMeA124.801838493506516013.033333333333128.30767179897353
BASE/golden_rectangle/_nYzfw125.5906753711941772461.63333333333576.9666666666667
BASE/pentago/86NgKw129.23489762177286101617.4786.3
BASE/cubicup_3player/e2yA_g129.4254036055794249175.7379.9540015332822
BASE/connectFourSimultaneous/7ITr3g129.85993985539702135305.41041.9333333333334
BASE/reversiSuicide/9OxJlg130.238132315003417047.966666666667130.89842708611036
BASE/hidato37/pBrqxw130.7417742024915440345.566666666666308.5897136762108
DRESDEN/tictactoe_3d_2player/LMuX9w131.0090439709262370290.4536.5308979401374
DRESDEN/golden_rectangle/1uloXw133.3411166898554373475.4551.0333333333333
BASE/othello-comp2007/86ZoMw135.222423981932823175.988267448836723.487141954156826
BASE/othelloSuicide/B442jg136.052900784314153094.891964552424722.747710241465445
BASE/dualConnect4/WbCQkg138.64057790250493177848.133333333331282.8
DRESDEN/cubicup_3player/awDtsQ139.1544613184079552205.53333333333375.16248375162485
DRESDEN/sat_test_20v_91c/dK7nVw144.69997157026881305384.46666666672110.4666666666667
BASE/tictactoe_3d_2player/IUC1rQ152.6445343633130882992.83333333333543.7
BASE/othelloHoles/c0qAzw155.724388799943264020.065997800073525.815262649478697
DRESDEN/uf20-020.cnf.SAT/hDrW_A158.1072932682666315350.266666666661994.5333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA158.42701113913057316215.03333333331995.9666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA162.3550707070707334857.33333333332062.5
BASE/conn4/va9Y7A165.18482358030033178212.41078.8666666666666
BASE/3pConnectFour/PqXOFQ166.37016668694488227899.41369.8333333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg173.2957866498343366058.46666666672112.3333333333335
BASE/tictactoe_3d_6player/d7KSwg176.9486597885562879403.36666666667448.73675088327445
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw178.1071398700828425901.66666666672391.266666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ179.09511568123392431941.62411.8
BASE/factoringMediumTurtleBrain/8RBqmQ181.64859527407611352592.03333333331941.0666666666666
DRESDEN/quad_5x5_8_2/JRTLJg190.112087913354173308.13333333333385.6047984005331
DRESDEN/hitori/S8Gsyg198.3591583196706660484.86666666667304.92600986535126
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg198.70010348798226454407.266666666662286.9
BASE/hitori/S8Gsyg200.4546850688705360633.5302.47983467768813
BASE/majorities/ibJzSQ203.94558944765046107200.6525.6333333333333
BASE/nonogram_5x5_1/qLKEZw212.83743709561466157897.0741.8666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg215.98598682850476487566.766666666662257.4
DRESDEN/tictactoe_3d_6player/ulZPWg216.1344164359609398888.7457.53333333333336
BASE/queens08lg/Ru7eqQ216.23299225663717156379.7723.2
BASE/quad_5x5/JAEP5g251.9694392372783272450.76666666666287.5379128753791
DRESDEN/pawntoqueen/f_x6Aw252.4072205374524523.93333333333497.16018932071195
DRESDEN/quad_5x5/JAEP5g255.1040554544420374751.5293.0235658811373
DRESDEN/grid_game2/kypTYQ363.26182231896956190512.36666666667524.4491850271658
BASE/pawnToQueen/-O1_JA407.330331015490639435.2666666666796.8139705392255
DRESDEN/CephalopodMicro/H3XQfg414.7947329532497648490.4116.90215942415355
DRESDEN/battle/8oAvhQ426.463405578446944840.76666666667105.14563753915884
BASE/cephalopodMicro/9l2D3g442.325317007586751175.333333333336115.6961434618846
BASE/zhadu/DlA8iQ451.813411864406824878.255.06299580027998
BASE/battle/8oAvhQ455.430185915492947414.4104.10904122371447
STANFORD/selectivesukoshi/3xmXYg527.9617165138993117111.7221.81854543030465
BASE/nonogram_10x10_1/0Xc62g529.232792985812273770.13333333333139.3907072861809
STANFORD/multiplesukoshi/vLSQPg572.9515971859588131655.5229.78468102126524
DRESDEN/othello-cornercontrol/r5Gdlg646.68250124378128652.56666666666813.379930104842735
BASE/blokbox_simple/JBx4bg748.88410023310023549.56666666666664.739807756049055
DRESDEN/quad_7x7/q-JOXg929.061067352666132337.034.80610816266727
BASE/quad_7x7/q-JOXg967.433697201492634067.735.214506274226395
BASE/queens31lg/0gID-A1161.954630520646321558.53333333333318.553679091302755
DRESDEN/quad/JPe6fg2471.042640444444312257.9666666666674.9606455453403
DRESDEN/ggp-course2013_michal13/jWKddg3071.124502176403489316.1333333333329.082550469718168
BASE/quad/tw-Ufg20659.0553185185212269.4666666666670.5939025999736043

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageALLOY_TUPLE_PROVER:2 error message
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
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/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest 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/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
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/mummymaze1p/AekgaQTest process timed out after 240 seconds
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
BASE/mummymaze1p/PT_EXAException of type NullPointerException
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
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest 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
DRESDEN/laikLee_hex/ZeP3QQTest 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

index