index

ALLOY_TUPLE_PROVER:2 vs. CADIAPLAYER_PROLOG:3.0

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondCADIAPLAYER_PROLOG:3.0 states per second
BASE/quad/tw-Ufg0.011349369378268590.593902599973604352.32912774085845
BASE/blokbox_simple/JBx4bg0.060651872903750134.73980775604905578.14775585859923
BASE/othello-comp2007/86ZoMw0.0761227395380485323.487141954156826308.5430463576159
DRESDEN/ggp-course2013_michal13/jWKddg0.0952664925056726829.082550469718168305.2757554602573
BASE/quad_7x7/q-JOXg0.096613745525375535.214506274226395364.48753831800616
DRESDEN/quad_7x7/q-JOXg0.0969168135410233334.80610816266727359.1338477913784
DRESDEN/quad/JPe6fg0.098758103849603874.960645545340350.23026315789474
BASE/amazons/RKKZjw0.1241286719382759814.478764478764479116.64319171934882
BASE/amazonsSuicide/dE1QEQ0.1335795162752044515.660771757523474117.23932077474132
DRESDEN/Zhadu/9zpQ5w0.1359875551436442222.503666177842941636.2060921149105
BASE/pawnToQueen/-O1_JA0.1491016636199209296.8139705392255649.3151597960476
DRESDEN/pawntoqueen/f_x6Aw0.1494526985748145597.16018932071195650.1066240170599
BASE/hitori/S8Gsyg0.16167211458001704302.479834677688131870.9462387094625
DRESDEN/hitori/S8Gsyg0.16298715378484296304.926009865351261870.8591615010332
DRESDEN/minichess-evilconjuncts/th24Tw0.16692814492383748474.684177194093542843.643757082861
BASE/minichess-evilconjuncts/4OpQzw0.16706628147697633476.117462751241652849.871670944302
BASE/coins/QnGtnQ0.182560325848600271401.47676.366666666667
BASE/coins_atomic/AA3SSw0.1831624249924051415.1861604613187726.4
DRESDEN/coins/QwFP9w0.18481413474413271412.46666666666677642.633333333333
BASE/ticTacHeaven/18n58A0.1883514022371805510.18299390020332708.676377454085
BASE/qyshinsu/R08Lzw0.19068494529135532549.26666666666672880.4930867899384
BASE/blocksWorldParallel/RseaAQ0.201545866230409931416.76666666666677029.5
BASE/nineBoardTicTacToe/wRmqqA0.2043257612404301703.86666666666673444.825862356274
STANFORD/nineboardtictactoe/y28P-A0.2071430647176775712.83441.1
BASE/nineBoardTicTacToePie/B8LzeQ0.2095054636599381664.5111829605683171.808368869936
STANFORD/duidoku/3SoMaA0.2124964720641284485.15247458756873400.7241803142544
DRESDEN/capture_the_king/EQ229Q0.21514018362298526292.470752924707541359.4427038197452
BASE/sudokuGrade1/tDRNRw0.2189214064998998694.31132735695004430.7999334774655
BASE/sudokuGrade3/eI8dvg0.2245034654412346292.9240409292404413.9091605851578
BASE/sudokuGrade2/u80Tfw0.227071175036938995.19365375641624419.22385675297875
BASE/sudokuGrade4/DTy07w0.2290160726652815795.26666666666667415.9824485589868
BASE/pentago/86NgKw0.22908115037375013786.33432.4081170237578
STANFORD/sudoku/oJ1qyQ0.2299278964823574293.96666666666667408.6788428209572
BASE/sudokuGrade5/BQfUQA0.232711450187627497.16342788573714417.52749083638787
BASE/ticTacHeavenFC/mrletw0.23375871367894824477.317422752574942041.9235511713932
DRESDEN/pentago_2008/hLjVpQ0.23552942351213946815.76666666666673463.5446157945576
BASE/pentagoSuicide/SBgNhw0.2378993047145713818.33333333333343439.8307061685605
BASE/sudokuGrade6E/ihYFZA0.2404518302515666391.74525943946412381.5535916007708
BASE/sudokuGrade6H/ieE_9A0.2424023623838047592.96356788107063383.509331208076
BASE/snake2p/I3wWPQ0.2655149514090896946.23333333333333563.766666666667
BASE/reversi/d8UMeA0.279744244668241128.30767179897353458.6606310744242
BASE/reversiSuicide/9OxJlg0.2867493966089718130.89842708611036456.49068013423266
BASE/god/qF06gw0.2907136040483828270.61529231384577930.8655960551743
BASE/connectFourLarger/qKi60A0.2917208669716612977.20075997466763349.780117270789
BASE/quad_5x5/JAEP5g0.298543482215086287.5379128753791963.1357909472702
DRESDEN/god/2EDD5w0.2987434448769687278.8933.2422343687508
DRESDEN/quad_5x5/JAEP5g0.30581646142071944293.0235658811373958.1680610646312
DRESDEN/tttcc4/sAvtFg0.32884100782049571313.56666666666663994.534244292618
BASE/ttcc4_2player/_aH_Mw0.332428175140946861479.83333333333334451.588174515881
DRESDEN/battlebrushes/QHXV4A0.33432421999203227278.60165961275703833.3277787035494
BASE/tttcc4/8Bs2lg0.335207737342824831343.33333333333334007.46517363194
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.335836632898698531570.16666666666674675.38830744617
BASE/pawnWhopping/Ypc_6Q0.33744639825020861563.36666666666664632.933333333333
BASE/ttcc4/Le0qjQ0.346070546012917261384.76666666666674001.399953334889
DRESDEN/amazons/dNB28A0.3465591271148298151.8978904922185438.30295787272183
BASE/battlebrushes/arCwyA0.34907456702053774296.6901103296557849.9333333333333
DRESDEN/pawn_whopping/4ogBkg0.34985950989539851662.24751.049930004667
DRESDEN/quad_5x5_8_2/JRTLJg0.3529469486411757385.60479840053311092.5290610531927
BASE/connectFourLarge/aU644A0.35404301233998381534.84335.066493350665
BASE/connectFourSimultaneous/7ITr3g0.359496835253800661041.93333333333342898.310168983102
BASE/ttcc4_2player_small/Cv72TA0.36512024388824642230.83333333333356109.859342710486
BASE/ttcc4_2player_alt/ZEJvYA0.36544850510783481712.63333333333344686.387574161722
BASE/checkLines/Vop7oQ0.367790199060791362764.66666666666657516.966666666666
BASE/dualConnect4/WbCQkg0.37248468306280671282.83443.9
BASE/skirmishZeroSum/zh4hcw0.3729358111111111595.46666666666671596.700153017098
STANFORD/ttcc4/Cx9SGw0.37465375687037821564.73333333333334176.47842745294
BASE/speedChess/bPnisA0.3866910201014465685.43333333333331772.5607725607726
STANFORD/pentago/ZxzLmg0.387719172223190361409.06666666666663634.2455251491615
BASE/3pConnectFour/PqXOFQ0.394041493285265941369.83333333333333476.368242117192
BASE/connectFour_9x6/B9TtMw0.395045546351296131966.34977.400753308223
DRESDEN/farmers/S_ASnw0.401259521654533162039.26666666666675082.163927869071
BASE/connectFourSuicide/c8p9Kw0.40975289102187732140.16666666666655223.066666666667
STANFORD/duikoshi/tpw1sw0.412689299384256971653.23333333333334006.0
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.414650051097084471456.13333333333343511.7162761241293
DRESDEN/connectfoursuicide/M9CNQg0.41539875932282122146.15166.361121295957
STANFORD/connectfour/VMpZkQ0.417026042404191442159.66666666666655178.733333333334
DRESDEN/connectfour/5tc-Mg0.417105533576529852164.83333333333355190.133333333333
BASE/connectFour/WAIKTw0.42155152510197282191.05197.466666666666
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.42598133023975254856.73333333333332011.1992533831078
BASE/checkersTiny/Lr48cg0.431225374393344131243.92884.5705143161895
STANFORD/selectivesukoshi/3xmXYg0.43323416849616114221.81854543030465512.0061194625515
DRESDEN/blobwars/ZaMluQ0.4351936073589635566.62889140723951302.015658837248
DRESDEN/satlike_20v_91c/yeuENQ0.4403048122716166900.21655838747292044.5303646423572
BASE/3pttc/0sol9g0.441602395872625732419.45478.684043865204
BASE/checkersSmall/SYmq8w0.44172361934271287816.83333333333341849.1955095106432
BASE/blobwars/0XT15Q0.4491413859110591578.88070397653421288.8607510579454
BASE/futoshiki6/JmvXNA0.45105496204970896509.63333333333331129.8696970706835
DRESDEN/breakthrough/z4hK7Q0.45398422173094244923.52034.2116659449016
BASE/hidato19/rRHSmA0.45437702345058621205.53333333333332653.156456236251
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.4582135533030276931.2402093124022032.327945342443
DRESDEN/knightazons/02I8BQ0.45867975650208687558.26666666666671217.1164276444947
BASE/knightazons/apnJBQ0.4595930472032293557.88140395320161213.8595380153995
BASE/2pttc/unkkYA0.465662471509265652819.46054.6
BASE/breakthroughWalls/vOZaYA0.4658392221803217947.06666666666672033.0333333333333
BASE/breakthrough/TGxk-g0.4673813719731088954.76666666666672042.8
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.4677700038752179868.46402506081921856.6047798406719
BASE/futoshiki4/BaCwSw0.469193463258213261570.53347.233333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw0.4695513071574374955.46666666666672034.850403145199
BASE/breakthroughSuicide/wZDpIg0.47287346907548883960.93333333333332032.115134756971
BASE/checkers/rOC3Xg0.47784858949316683621.14596180127331299.8802873104548
BASE/englishDraughts/jFkQxg0.481118937075961151928.06666666666664007.463681194189
BASE/futoshiki5/TJ4BZg0.48184968808792944811.03333333333331683.1666666666667
BASE/ticTacToeNoVars/XT03NA0.48578034091417115070.86666666666710438.6
DRESDEN/3pttc/uwYBZw0.4871750189215312788.95724.6367151046525
DRESDEN/ggp-course2013_nicolai/uEin8g0.4889662966636939353.10979268048794722.1556886227545
BASE/escortLatch/mX9BjQ0.489412472046324651645.63333333333343362.467095398354
BASE/merrills/pku8Tg0.49309525053129794558.54804839838681132.7386499800293
DRESDEN/kitten_escapes_from_fire/uW-YiA0.49737718537252429020.318135.733333333334
BASE/kitten_escapes_from_fire/uW-YiA0.50133203634255929139.418230.233333333334
DRESDEN/ggp-course2013_jordi/9QI6Kw0.5041963272354621426.5191160294657845.9385620043979
BASE/2pffa_zerosum/o0_uZA0.50786670761419242755.7333333333335426.095650724879
DRESDEN/merrills/aYEzwA0.5128920507481096580.04733175560821130.9345327336332
BASE/asteroidsSerial/id2QkA0.51507846935698325008.79724.149421840115
BASE/breakthroughSmall/HJ0tIA0.5179816571637931507.72910.720831805912
BASE/choicethroughalt/tt71Lg0.52984710755308041014.81915.2694910169662
BASE/breakthroughSuicideSmall/XSbJog0.5307339261223371547.82916.338910739284
DRESDEN/javastrike/whONTQ0.5325354655260408723.21358.0316182052213
BASE/slidingpieces/uFJWEw0.532772099527511775.56666666666671455.7193729823277
DRESDEN/slidingpieces/s9_44g0.5384667785314355775.7408086397121440.6474820143885
BASE/crisscross/ICagEg0.54579985477688822292.3666666666674200.013332000133
BASE/chess_200/XsTpYA0.5461496375250826285.5571480950635522.855145320771
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.54963120170775182391.2666666666674350.674887518747
BASE/hidato37/pBrqxw0.5510425651367309308.5897136762108560.0106656001067
BASE/asteroidsParallel/WauZiA0.55884023334443275817.46666666666610409.892344098924
BASE/withConviction/3Xm54A0.55904603752605971340.62398.0135981869084
STANFORD/sukoshi/4LYZZQ0.56127801813643854640.0666666666678266.966666666667
DRESDEN/crisscross/GsY16g0.56732443243243242396.2333333333334223.744292237443
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.56813154871227182257.43973.375541486171
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.57393937561171482286.93984.5671810939634
BASE/breakthroughSmallHoles/bxclRw0.5740171244693651685.56666666666662936.439689364397
DRESDEN/stratego/Z2wovg0.57680759066556771492.63333333333342587.749116843298
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.5788552363274422390.46666666666674129.645059156807
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.57962700975445682411.84160.9517144856545
BASE/chineseCheckers4/avfBcQ0.57971159452279412450.74227.446929049888
BASE/ticTacToeLarge/TZC0dg0.58111235787321063157.16666666666655432.97113525765
BASE/ticTacToeLargeSuicide/727_8g0.58467246517851713204.25480.333333333333
DRESDEN/tictactoelarge/IwXcbg0.5875162237448513200.96666666666675448.303446436904
STANFORD/multiplesukoshi/vLSQPg0.5915177230018084229.78468102126524388.46626582068234
BASE/amazonsTorus_10x10/Uxc08g0.5965358817479823758.73333333333331271.8989025606918
BASE/amazons_8x8/7SOsIw0.60004854309872871314.02189.822832023445
DRESDEN/tictactoelargesuicide/6J4DeA0.60292223598938313308.56666666666665487.551244875513
DRESDEN/minichess/c7GMFw0.61380621263322072518.7333333333334103.466666666666
BASE/guess/SPpk1A0.61564962168204931505.13333333333342444.7888544478888
STANFORD/triplesukoshi/Iu9mbA0.6188261053205261412.93333333333342283.247783481101
DRESDEN/guess/PhxGhg0.620317887279641511.82437.1375241650558
BASE/ticTicToe/c1OobQ0.62719578838387044280.9666666666666825.566666666667
DRESDEN/cubicup_3player/awDtsQ0.6362352706277556375.16248375162485589.6599906846762
BASE/cubicup_3player/e2yA_g0.6394575728912472379.9540015332822594.1817215727949
DRESDEN/tictactoe_3d_2player/LMuX9w0.6416023332951167536.5308979401374836.2358895807665
BASE/tictactoe_3d_small_2player/oOryKA0.64389111989917481606.43333333333342494.883503883204
BASE/tictactoe_3d_2player/IUC1rQ0.645806313999921543.7841.8932862896515
BASE/eotcitcit/V_9_bg0.64591543943918584419.6333333333336842.433333333333
DRESDEN/tictictoe/LAUtwg0.64718955458838784426.3666666666676839.366666666667
BASE/tictactoe2/bhrDoQ0.64856514536866773.33333333333310443.566666666668
DRESDEN/tictactoe_3d_small_2player/HYttcg0.6497119220572641633.72514.4990333977735
DRESDEN/chinesecheckers4/-oVNYg0.65890007651587321405.66666666666672133.353321340529
BASE/conn4/va9Y7A0.66308845922770211078.86666666666661627.0327912556652
STANFORD/tictictoe/rpt_Dw0.6730192174229984493.2333333333346676.233333333334
BASE/lightsOut/5P1ZBw0.67533295155399352177.43333333333343224.236768430876
DRESDEN/blocksworldparallel/2JfVaw0.67697078086059435450.8333333333338051.8
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.68723494404814681136.06666666666661653.0979347101932
DRESDEN/lightsout/XgLpzQ0.68991167903525042231.13233.8922035932137
BASE/amazonsSuicide_10x10/XIbQkg0.69154548584544761023.03333333333331479.343520090549
BASE/tictactoe_3d_small_6player/g_9lww0.6919578812920611152.23333333333331665.1784226835039
DRESDEN/aipsrovers01/qS47Mw0.69218382815085445809.7666666666668393.386887103763
BASE/amazons_10x10/Bun8dA0.69259315205310751023.56666666666671477.875811553188
BASE/tictactoe_3player/GtM71g0.69340638740655481987.86666666666662866.813318668133
BASE/blocksWorldSerial/Wyg96Q0.69396850749399035735.2333333333348264.4
DRESDEN/tictactoe_3player/ESLQQQ0.69622882583632411998.13333333333342869.937668744375
DRESDEN/checkers/jIDMIg0.6987649419182979459.6666666666667657.8273165862586
BASE/pegEuro/5awwhg0.70564315557285581148.06666666666661626.9791006966434
BASE/breakthroughHoles/nZk0Sg0.70788781370972541320.06666666666661864.7964283334443
BASE/aipsrovers01/4C4jsw0.70976292612851535994.48445.636957536164
BASE/numbertictactoe/rvJ-iQ0.71118994239010144176.75872.833333333333
BASE/tictactoe_3d_6player/d7KSwg0.7127274249876089448.73675088327445629.6050006649821
DRESDEN/breakthroughsuicide/Y9QzqQ0.71400306714198891447.43333333333342027.208845372498
BASE/snakeParallel/RCVNtw0.7163738105442146853.3333333333339566.7
DRESDEN/peg/Vo31eg0.71947580810449341380.71919.0360321322623
BASE/peg/fJHVWw0.72681298793429281388.63333333333341910.5785895213971
BASE/cubicup/4wNWJA0.7275440958519688737.26666666666671013.3635485053487
DRESDEN/tictactoe_3d_6player/ulZPWg0.7307286320009936457.53333333333336626.1330311916822
DRESDEN/frogs_and_toads/GjchhQ0.7308337089991591736.53333333333332376.099120703437
DRESDEN/cubicup/SBn_lw0.7328917592592592738.53333333333331007.6976906927922
DRESDEN/peg_bugfixed/u_B7MA0.73291510024517891404.83333333333331916.77498916775
DRESDEN/backgammon/mqCW0Q0.7332480691486153806.83333333333341100.3552103044185
BASE/minichess/8NQEiA0.74048551047355633159.1333333333334266.3
DRESDEN/tpeg/h-Scbg0.7575681278431241500.56666666666661980.7679488034132
BASE/tpeg/QNs7Lw0.76430494315123791514.71981.8006066464452
STANFORD/breakthrough/d5j0cQ0.7787236867615081650.73333333333332119.793402199267
DRESDEN/connect4/T0-rHQ0.7801886396084031019.86666666666671307.2052256215425
BASE/hodgepodge/9yjRkw0.78205857177794098527.56666666666810904.0
BASE/connect4/50bOyw0.78442802471647241027.76666666666671310.2115608862237
BASE/incredible/8Qh-6Q0.79208274067009295840.9666666666667374.18752708243
BASE/asteroids/BKCmPQ0.792458631753274512897.56666666666816275.381641223918
BASE/quartoSuicide/-23jUg0.81043568779683822491.33333333333353074.0666666666666
DRESDEN/quarto/OQzRYQ0.82456972727339042511.96666666666673046.396906872875
DRESDEN/oisters_farm/pTQMLg0.831492864529472613132.015793.280447970135
DRESDEN/tictactoeparallel/yk_DSg0.83185418734551692849.43333333333343425.4
BASE/quarto/EwBMVQ0.83582610088853172564.53068.2219630061654
STANFORD/8puzzle/jNiGtw0.84297275308941776941.5666666666678234.627562072988
DRESDEN/doubletictactoe/lJzgmQ0.84366337209302333400.34030.3989867004434
BASE/biddingTicTacToe/8mESVw0.846713113422854460.1666666666675267.624412519583
BASE/eightPuzzle/vLrgFg0.84678534207756466971.7333333333348233.176682331767
DRESDEN/quartosuicide/WIU1oQ0.85296588538819762600.23048.422034858533
BASE/bunk_t/xbpfIA0.85506492422339443403.93980.867304423186
DRESDEN/bunk_t/7-tPfA0.85812226851192133412.2666666666673976.4341188627045
BASE/doubletictactoe/HH1htg0.85837119425341583457.43333333333344027.9
DRESDEN/8puzzle/8fKC2w0.85922374270421487098.4333333333338261.449236717552
BASE/doubletoetictac/fu35bg0.86147935808737623415.96666666666673965.233333333333
DRESDEN/brain_teaser_extended/ZDp94A0.86678867899862736630.57649.5
DRESDEN/doubletoetictac/V89gKQ0.87412023854143243498.24001.9666011132963
DRESDEN/lightsout2/LFtfyQ0.87543268184628062832.03333333333333235.0098323500983
BASE/ticTacToeParallel/ymRGPw0.87732207841682622917.06666666666663324.9666666666667
BASE/brain_teaser_extended/ZDp94A0.88078689485419746758.9333333333337673.744208526383
DRESDEN/double_tictactoe_dengji/bGaUyQ0.88626620099773723381.03333333333333814.918508149185
BASE/chickentictactoe/DSlZCA0.89207278919240525797.76499.133333333333
STANFORD/tictactoe3/X7myng0.8930239958343586174.16913.7
DRESDEN/chickentictactoe/Ipbo-g0.89481295894568525857.2666666666666545.8
STANFORD/jointbuttonsandlights/qAKuIQ0.895943484739775810822.412079.333333333334
BASE/double_tictactoe_dengji/zgaSbA0.91227015687917513483.66666666666653818.6787547496833
BASE/knightThrough/gcwFjA0.91355280389810231780.23333333333331948.6923205064134
DRESDEN/knightthrough/J7Fc_Q0.92134457065124981805.31959.4189378290132
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.92291923551171411995.96666666666672162.6666666666665
DRESDEN/mimikry/GJEhwA0.92296705051435581469.03333333333331591.642228739003
BASE/survival/YVIjJA0.924087101254273131294.73333333333433865.566666666666
BASE/biddingTicTacToe_10coins/a-9ccQ0.9351580127118024227.64520.733333333334
BASE/pearls/6k_mEQ0.935827937935211431264.23333333333433408.1
DRESDEN/chickentoetictac/cxYaRQ0.93657238706692118096.28644.5
DRESDEN/bidding-tictactoe/yW5vTA0.93884453439507334959.55282.55724809173
DRESDEN/sum15/CsgWKg0.93928732448795577777.88280.533333333333
BASE/sum15/QZ07Kg0.94322704387437067868.48342.0
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.94414288983826672062.52184.5210319312046
STANFORD/bestbuttonsandlightsbig/g0JC6g0.945915147265077212949.213689.6
BASE/eotcatcit/AfZSzA0.94767622298948676514.26873.866666666667
STANFORD/tictactoe5/WFRReg0.95060945434977936595.2333333333346937.9
DRESDEN/blockerparallel/dVQgSg0.9514471539696261284.16666666666671349.6983634969836
BASE/ticTacToeSerial/Amrwqw0.95236595897517753181.63340.732593407326
DRESDEN/eotcatcit/mQUxzA0.9534405494015176552.9333333333336872.933333333333
BASE/blockerParallel/7-nDJA0.95557120447213541293.31353.4313235343132
BASE/dotsAndBoxes/EHwA_w0.95939758186397991521.91586.307938199254
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.96037450139511124344.3333333333334523.582547248425
BASE/chickentoetictac/l57rfQ0.960740835832748232.38568.7
STANFORD/trifecta/ss1kyQ0.96427145708582836763.47014.0
BASE/dotsAndBoxesSuicide/jzQbLw0.96473984287317621527.33333333333331583.1556503198294
DRESDEN/sat_test_20v_91c/dK7nVw0.96681927938931312110.46666666666672182.8967539825367
BASE/tictactoe-init1/7M19vA0.97283581662027916792.5666666666676982.233333333334
BASE/toetictac/mTThmg0.97973031942747438980.69166.4
STANFORD/tictactoe/ss1kyQ0.98023818561396866886.57025.333333333333
STANFORD/tictactoe7/-bE9-A0.98492360910925346833.46938.0
DRESDEN/tictactoe-init1/3ltIBQ0.9854943061092946879.96981.166666666667
DRESDEN/tictactoe/BTTzPw0.99678149502898576958.06980.466666666666
STANFORD/bestbuttonsandlights/nm0wEA0.999048628338832916591.816607.6
BASE/hanoi_6_disks/MeubgQ1.00215668499239699138.69118.933333333332
BASE/ticTacToe/JRFsaQ1.0087707584154457050.4333333333336989.133333333333
DRESDEN/toetictac/mJtxCA1.02025687377904769331.1333333333339145.866666666667
DRESDEN/hanoi_6_disks/MeubgQ1.03860749051311669442.59091.5
STANFORD/multiplebuttonsandlights/cK70Yg1.063336761940795618097.35368617517817019.4
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.06343224272930662112.33333333333351986.3356107315446
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.0733014823298432186.62037.2654244858504
BASE/blocksWorld/SEdXLQ1.0779203007627114966.613884.7
DRESDEN/tictactoe_orthogonal/y69QFQ1.07894412762168227593.0333333333347037.466666666666
BASE/circlesolitaire/azuQFQ1.079472564435719311382.06666666666810544.1
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.0800722021660651994.53333333333331846.6666666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA1.081659910122246218357.06666666666616971.2
BASE/blocks/xIV5hQ1.082464251155789615102.013951.5
BASE/connect5/d-BVQg1.0858007890222985842.9333333333333776.3241119877492
DRESDEN/crossers3/xiPTxg1.09052373148293462084.83333333333351911.7725484967668
DRESDEN/blocks/vg0DRw1.095823473820704714958.113650.1
DRESDEN/knightfight/4_Ly4w1.09648267480639855172.7666666666664717.6
BASE/tictactoe_orthogonal/WRzlVw1.10273966125417297773.87049.533333333334
DRESDEN/circlesolitaire/ruUilQ1.105558018748416411636.36666666666710525.333333333334
BASE/crossers3/O0rORg1.1056394227691952110.8666666666671909.181803032828
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.109534716148298514590.0486569352813149.7
DRESDEN/catch_me/ghGWrA1.109599375290451814561.813123.475304939013
BASE/knightfight/SJRkAg1.11030250403310675276.04751.858147518581
BASE/switches/tPUoCg1.113340547017871716599.83333333333214909.933333333332
DRESDEN/connect5/1kYzSg1.1135342327586206858.9771.3278808431412
DRESDEN/endgame/IJhh3Q1.1317120243766852838.3387220425985740.7703585232574
DRESDEN/CatchMeIfYouCanTest/CX18rA1.139572433287474814991.63333333333313155.489634024398
DRESDEN/Thief_Police/CX18rA1.157323617453723414968.63333333333312933.835538815372
BASE/lightsOnParallel/SC6enA1.17847991498328725405.94587.180427319089
BASE/pancakes88/l2Xaig1.187101143916121222142.16666666666818652.3
DRESDEN/pancakes88/aD3E7g1.200075407334261222280.418565.833333333332
BASE/maze/cCX3qQ1.212938071301830726454.86666666666521810.566666666666
BASE/cittaceot/fDxhXg1.21385990876185981888.83333333333331556.0554555755516
DRESDEN/hanoi/RQ0jiA1.216313801654777612441.63333333333310228.966666666667
STANFORD/3puzzle/41ibjA1.221003593836867516398.56666666666613430.4
STANFORD/threepuzzle/41ibjA1.223841089064863416505.713486.8
BASE/hanoi/iGLsJg1.225956692778939612524.23333333333410215.885607626158
DRESDEN/troublemaker02/iZLVuA1.242119203029879329014.023358.466666666667
DRESDEN/hanoi7_bugfix/3gdnFw1.249510686074699211074.5666666666688863.122812864523
STANFORD/untwistycorridor/EDPPAQ1.254002736521865327342.06666666666621803.833333333332
BASE/blocks2player/wnTLOQ1.279131015590652310086.0333333333337885.066666666667
BASE/troublemaker02/DI83KA1.280184194804332929570.63333333333523098.733333333334
BASE/hanoi7_bugfix/3gdnFw1.283523477987254611282.1666666666668789.996334433003
BASE/coloredtrails/EZvr7g1.28472253212838353951.83075.994933671089
DRESDEN/blocks2player/3ev8nQ1.289975260022215610219.77922.4
DRESDEN/latenttictactoe/kITHKg1.29156471345782363677.32847.1666666666665
BASE/blocker/dIWtxg1.29474763238811066316.04878.170727642412
DRESDEN/hanoi7/51zz5Q1.29501422650451511392.2333333333348796.994735789965
BASE/wargame01/_GZFZg1.29679137835391642960.62283.0194967505417
DRESDEN/blocker/S815zQ1.32122504680331646422.1666666666674860.766666666666
BASE/haystack/UkweGA1.32184575695028644679.433800.76666666667
DRESDEN/chomp/-LcqYQ1.32249806845578854735.7333333333343580.9
BASE/untwistycomplex2/EDPPAQ1.324366046018228528339.821398.766666666666
BASE/factoringEasyTurtleBrain/lUj94Q1.32882716223475726594.14962.345884705098
DRESDEN/buttons/ADUaHw1.332280583905754524593.36666666666518459.6
BASE/racetrackcorridor/_RkdUg1.34139445972666672389.2666666666671781.1812545830278
BASE/buttons/hTcUjw1.343516426521158325212.96666666666718766.4
BASE/chinook/XQh0IQ1.349607678915338971.8666666666667720.1105045932632
DRESDEN/chinesecheckers1/Y-ftaA1.34977645858454693395.02515.231302493001
BASE/chomp/-LcqYQ1.35222884074098334820.23564.633333333333
BASE/wargame03/klXI8w1.3528686418729932611.51930.3426209838688
BASE/troublemaker01/s3tlEQ1.355559480079118431982.16666666666823593.333333333332
BASE/lightsOn/MsXu3A1.359783568101764513575.49983.500549981667
DRESDEN/troublemaker01/C-lPWw1.366934770211008632438.023730.466666666667
BASE/blockerSerial/3eqDuw1.38233560309522672883.8666666666672086.227584827678
BASE/lightsOnSimul4/9FeASw1.39182359913567041474.06666666666661059.090151641393
BASE/pancakes6/QZTdnw1.407317313737518127835.43333333333419779.07403086564
BASE/lightsOnSimultaneous/_VN6lw1.41245930727955242044.11447.192134644226
BASE/factoringGeorgeForman/HGRorQ1.413812043513951613433.59501.616612779573
BASE/roshambo2/KNPokQ1.42508993899789721866.215343.733333333334
BASE/endgame/jYjfOA1.45358631713554991060.5729.5748367319738
DRESDEN/pancakes/hl9aiQ1.459401096768174528504.26666666666619531.48228392387
BASE/pancakes/yUgbXw1.463893117722234328751.319640.3
DRESDEN/roshambo2/jgSlkQ1.467549622680169422441.86666666666515292.066666666668
STANFORD/untwistycomplex/HTWEwg1.469866987320690228359.46666666666719293.9
DRESDEN/pancakes6/SZXMyQ1.477257264711357829095.56666666666619695.666666666668
DRESDEN/racetrackcorridor/O0DoTA1.50697477714103782314.03333333333331535.5488150394988
BASE/hexPie/48CH6Q1.5363763442952585525.7666666666667342.21215955250716
BASE/queens06ug/7Lq3tw1.58820823893095423607.53333333333332271.448570095327
STANFORD/buttonsandlights/eyhJpA1.595270723891392146097.928896.6
DRESDEN/Runners/3bOCQw1.602251699528316324158.53333333333315077.864071197626
BASE/wargame02/BkVqqQ1.61737098756744071913.83333333333331183.2989141296382
STANFORD/multipletictactoe/_bkafQ1.6279971947283971002.8666666666667616.0125274871726
DRESDEN/cube_2x2x2/fp-34Q1.63647616824788064323.52641.957202853143
BASE/zhadu/DlA8iQ1.640230721865895155.0629958002799833.570274636510504
DRESDEN/lightson2x2/gBHuig1.65356261570714417974.8666666666674822.839238692043
BASE/onestep/xi53wA1.67005583957672640844.524456.966666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.69591318782375886474.1333333333333817.49100119984
BASE/twisty-passages/DiZmmg1.69718809349237296319.03723.21725813969
BASE/hex/T1MK8g1.7034921424713245595.4333333333333349.53688278803224
STANFORD/hex/MTqWcw1.7089819808068574608.9356.29398486256804
DRESDEN/twisty-passages/j7NPyg1.71297637588421746310.5333333333343683.9581807285076
DRESDEN/grid_game/U7_Yeg1.75500610137179322351.56666666666661339.919368273748
BASE/racer4/0vs7Ww1.75654829571597351569.2666666666667893.3808825489934
BASE/simultaneousWin2/PfjRjw1.80392761114805331717.0333333333333951.830507345348
BASE/sheepAndWolf/g4THrg1.84966758472039271544.4834.9608398600234
DRESDEN/sheep_and_wolf/enAIzQ1.86619803379658871574.4666666666667843.6760934012858
DRESDEN/catcha_mouse/cHv4dw1.90421973330775131983.96666666666671041.8790604697651
DRESDEN/tictactoex9/rFkD4w1.9182316876411745990.7666666666667516.5
BASE/catcha_mouse/cHv4dw1.92382745129351652007.51043.492751208132
BASE/tictactoex9/BI26ow1.94346434651803081000.6666444451852514.8880895283773
BASE/nim3/1OwUqw1.993014011274421211403.0666666666685721.518565428972
STANFORD/platformjumpers/HEQskA2.0013827232099395780.007333088897389.734219269103
DRESDEN/nim4/F5YAYg2.004546283281087411361.0333333333335667.633333333333
DRESDEN/nim3/sG_axA2.015567212524568511507.8333333333345709.476350788307
BASE/nim4/twk16w2.01589947067679911336.15623.345888470384
BASE/queens08ug/kJ_ZFQ2.2103368560105682230.96666666666671009.3333333333334
BASE/firefighter/WJmoPw2.2189747111754788219.9666666666673704.398533822059
BASE/nim2/eF2Qqw2.23329380653556414187.9666666666676352.933333333333
DRESDEN/firefighter/WJmoPw2.24565600604381788323.03706.266666666667
DRESDEN/nim2/z5_exA2.272998692810457714490.3666666666676375.0
BASE/nim1/hin2Qw2.30162191973126815302.3333333333346648.5
DRESDEN/nim1/M9BALA2.36205922644425715604.2666666666666606.213126229126
BASE/tron_10x10/7ZTgDg2.8373214974913164410.91554.6
DRESDEN/knightmove/97Ipcw2.8521023650321942813.4333333333334986.4419201172591
BASE/factoringMediumTurtleBrain/8RBqmQ2.88053372851215171941.0666666666666673.8566007589375
BASE/knightmove/jBaJEw2.9207798031722412876.9984.9766822118588
BASE/hallway/ckCJOw3.0055983171521037616.4205.0839583195062
DRESDEN/hallway/0H4l-Q3.051390507011866625.6666666666666205.04313205043132
BASE/wallmaze/uxNQ9g3.08734557835006561176.7333333333333381.14726825048245
BASE/majorities/ibJzSQ3.1839748561488026525.6333333333333165.08714957916362
DRESDEN/fizzbuzz/t1xHzQ3.335963340801593631265.99372.375174988334
BASE/queens12ug/u6Bkmg4.0125523774145611079.1268.9310689310689
BASE/golden_rectangle/_nYzfw4.210846904877654576.9666666666667137.01915070774353
DRESDEN/ghostmaze2p/HY0UwA4.30263267553841910711.2666666666662489.468070923877
BASE/ghostMaze2p/W-NU-w4.573421706879468511381.1333333333332488.537918166067
BASE/mummyMaze2p_2007/YGA3Vw5.43929060787643911314.02080.0506565353594
DRESDEN/mummymaze2p-comp2007/oTQRQg5.51681597316741211343.92056.240421136803
BASE/queens16ug/gT-ylw6.192987614698557599.713342888570496.8374846197333
DRESDEN/racer/vk_ZBA6.9406429353622983250.4468.3139631689367
BASE/racer/QQYQNw7.10171970252361453354.7472.3785421730878
DRESDEN/small_dominion/yB5GJA8.041805995682482110.8222511082225213.78076655513963
DRESDEN/bomberman2p/x4h6jQ9.39345544226894110410.7666666666661108.3
BASE/bomberman2p/4CClwA9.45270097568297810493.91110.1483086152307
BASE/mummymaze1p/PT_EXA14.62475783271863415591.11066.075772216854
DRESDEN/mummymaze1p/AekgaQ14.96486167969234616084.2333333333341074.8
DRESDEN/mummymaze2p/k-8edg26.9929091407678259823.766666666666363.93878908848967
BASE/mummymaze2p/vpjDdA28.7544555779078310458.6363.72102304852496
DRESDEN/golden_rectangle/1uloXw99.54692683333333551.03333333333335.535412803409814

Games with errors:

GameALLOY_TUPLE_PROVER:2 error messageCADIAPLAYER_PROLOG:3.0 error message
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/slaughter/cOch8ATest process failed to output results for unknown reason
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
BASE/sudoku/NTaNkwTest process failed to output results for unknown reason
BASE/queens/HyJJnQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reason
STANFORD/freeforall/Lfp40QTest process failed to output results for unknown reason
DRESDEN/max_knights/hCipiATest process failed to output results for unknown reason
STANFORD/knightstourbig/TQUI2gTest process failed to output results for unknown reason
DRESDEN/smallest_4player/ADDROATest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
BASE/gt_coordination/IVMOzATest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reason
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process timed out after 240 seconds
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6/yTbPDATest process failed to output results for unknown reason
DRESDEN/skirmishfinal/hzq8wwTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reason
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
BASE/knightwar/DVGY4QTest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reason
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reason
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds

index