index

ALLOY_COMPILED_PROVER_CACHING:2 vs. CADIAPLAYER_PROLOG:3.0

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondCADIAPLAYER_PROLOG:3.0 states per second
BASE/quad/tw-Ufg0.482634149859949625.25582408012192652.32912774085845
DRESDEN/quad/JPe6fg0.661731900997149733.2389675270607850.23026315789474
BASE/blokbox_simple/JBx4bg1.6528376846225168129.1655558517728778.14775585859923
BASE/quad_7x7/q-JOXg1.7184285404217214626.3457884737176364.48753831800616
DRESDEN/quad_7x7/q-JOXg1.7518786025031994629.1589033803567359.1338477913784
BASE/othello-comp2007/86ZoMw2.8436874865851043877.4308.5430463576159
DRESDEN/pawntoqueen/f_x6Aw3.45948379888268142249.0333333333333650.1066240170599
BASE/pawnToQueen/-O1_JA3.60718514678710682342.2649.3151597960476
DRESDEN/pentago_2008/hLjVpQ3.68532859134883512764.33463.5446157945576
BASE/pentagoSuicide/SBgNhw3.97557355816274113675.33439.8307061685605
BASE/pentago/86NgKw3.982558658706274513669.7666666666663432.4081170237578
BASE/quad_5x5/JAEP5g4.2149453060866974059.564681177294963.1357909472702
BASE/minichess-evilconjuncts/4OpQzw4.217160649442293512018.3666666666672849.871670944302
DRESDEN/quad_5x5/JAEP5g4.2893310338829744109.9958.1680610646312
DRESDEN/minichess-evilconjuncts/th24Tw4.42624595127859512586.6666666666662843.643757082861
DRESDEN/quad_5x5_8_2/JRTLJg4.7649075759885375205.81092.5290610531927
BASE/hitori/S8Gsyg4.9021540421135149171.6666666666661870.9462387094625
DRESDEN/hitori/S8Gsyg4.9957973992197659346.4333333333321870.8591615010332
BASE/reversiSuicide/9OxJlg5.0605633379430822310.1456.49068013423266
BASE/reversi/d8UMeA5.1790652443154332375.4333333333334458.6606310744242
DRESDEN/capture_the_king/EQ229Q5.5738526618610967577.3333333333331359.4427038197452
BASE/coins/QnGtnQ5.64874007234325343361.87676.366666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6.012590988082747524829.8666666666654129.645059156807
DRESDEN/kitten_escapes_from_fire/uW-YiA6.056729624020351109843.2333333333418135.733333333334
BASE/kitten_escapes_from_fire/uW-YiA6.120709736755974111581.9666666666618230.233333333334
BASE/coins_atomic/AA3SSw6.13572513287775247407.0666666666667726.4
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ6.15259082296221625600.6333333333354160.9517144856545
DRESDEN/coins/QwFP9w6.25642557757143147815.5666666666667642.633333333333
BASE/amazonsSuicide/dE1QEQ6.556958264969354768.7333333333333117.23932077474132
BASE/amazons/RKKZjw6.567321435926237766.0333333333333116.64319171934882
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw6.71157941122397429199.94350.674887518747
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg6.74254746181923726866.1333333333353984.5671810939634
BASE/god/qF06gw6.7899884725055786320.566666666667930.8655960551743
BASE/blocksWorldParallel/RseaAQ6.856277117860444548196.27029.5
DRESDEN/god/2EDD5w7.0189708081854226550.4933.2422343687508
DRESDEN/ggp-course2013_nicolai/uEin8g7.0778828081813155111.333333333333722.1556886227545
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg7.125259879851169528311.3333333333323973.375541486171
BASE/ttcc4_2player/_aH_Mw7.72987047566280634410.24451.588174515881
BASE/qyshinsu/R08Lzw7.819066384834254522522.7666666666662880.4930867899384
STANFORD/pentago/ZxzLmg7.96488105523505628946.3333333333323634.2455251491615
DRESDEN/ggp-course2013_michal13/jWKddg8.097596863770012472.0305.2757554602573
BASE/futoshiki6/JmvXNA8.3403717771747689423.5333333333331129.8696970706835
STANFORD/ttcc4/Cx9SGw8.6923949520170436303.64176.47842745294
DRESDEN/amazons/dNB28A8.7146723471938193819.6666666666665438.30295787272183
DRESDEN/farmers/S_ASnw8.88650332961675545162.6666666666645082.163927869071
DRESDEN/pawn_whopping_simultaneous/r8dLfw8.90915748121430831286.4333333333343511.7162761241293
STANFORD/nineboardtictactoe/y28P-A9.06921236426336531208.0666666666663441.1
DRESDEN/Zhadu/9zpQ5w9.20163220221606615055.7666666666661636.2060921149105
DRESDEN/tttcc4/sAvtFg9.2280929587727536861.9333333333343994.534244292618
DRESDEN/sat_test_20v_91c_version2/a1mPBA9.41815911402705720574.1666666666682184.5210319312046
BASE/tttcc4/8Bs2lg9.45008836238440637870.94007.46517363194
BASE/ttcc4_2player_alt/ZEJvYA9.4833527879128444442.6666666666644686.387574161722
BASE/ttcc4/Le0qjQ9.52284211635539738104.74001.399953334889
BASE/nineBoardTicTacToePie/B8LzeQ9.62578118936330430531.1333333333353171.808368869936
BASE/speedChess/bPnisA9.69915029118917717192.3333333333321772.5607725607726
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA9.71061960542540221000.8333333333322162.6666666666665
DRESDEN/sat_test_20v_91c/dK7nVw9.75779849770992421300.2666666666662182.8967539825367
DRESDEN/blobwars/ZaMluQ9.80006134851586512759.8333333333341302.015658837248
BASE/blobwars/0XT15Q9.91084567476732112773.71288.8607510579454
BASE/skirmishZeroSum/zh4hcw9.93269356388888815859.5333333333331596.700153017098
BASE/futoshiki5/TJ4BZg9.97494801465491716789.51683.1666666666667
BASE/nineBoardTicTacToe/wRmqqA9.99345144734041634425.73444.825862356274
DRESDEN/pawn_whopping/4ogBkg10.09838541799669247977.9333333333344751.049930004667
BASE/ttcc4_2player_small/Cv72TA10.15265598119012862031.36109.859342710486
DRESDEN/pawn_whopping_corrected/7Ov0jQ10.18558535358936247621.5666666666664675.38830744617
DRESDEN/satlike_20v_91c_version2/yd9ioQ10.3431961927407921020.7666666666662032.327945342443
BASE/pawnWhopping/Ypc_6Q10.47935793018102248550.1666666666644632.933333333333
DRESDEN/uf20-01.cnf.SAT/42Rs8A10.54068184173211321474.1666666666682037.2654244858504
BASE/numbertictactoe/rvJ-iQ10.68088089224394862727.033333333335872.833333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg10.70188402125279721257.5333333333331986.3356107315446
DRESDEN/satlike_20v_91c/yeuENQ10.88650987283990922257.82044.5303646423572
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g10.91502990719257421952.32011.1992533831078
BASE/futoshiki4/BaCwSw11.05118655207783736990.93347.233333333333
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA11.15196956552962220704.81856.6047798406719
BASE/slidingpieces/uFJWEw11.17408590916018916266.3333333333341455.7193729823277
BASE/pegEuro/5awwhg11.39971619307123318547.11626.9791006966434
BASE/hidato19/rRHSmA11.40366220351758730255.72653.156456236251
DRESDEN/slidingpieces/s9_44g11.42363662089055316457.4333333333341440.6474820143885
BASE/ticTicToe/c1OobQ11.46149526046677578231.26825.566666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A11.59039711191335621403.61846.6666666666667
BASE/peg/fJHVWw11.68975729262974322334.21910.5785895213971
DRESDEN/crisscross/GsY16g11.72919016216216249541.14223.744292237443
STANFORD/duidoku/3SoMaA11.7736843239658464718.0400.7241803142544
DRESDEN/peg/Vo31eg11.8176519983325522678.51919.0360321322623
DRESDEN/peg_bugfixed/u_B7MA11.90784875410805422824.6666666666681916.77498916775
BASE/ticTacHeaven/18n58A11.99775418127971232498.0333333333332708.676377454085
BASE/eotcitcit/V_9_bg12.02702255045719782294.16842.433333333333
DRESDEN/stratego/Z2wovg12.05722241912219231201.0666666666662587.749116843298
BASE/3pttc/0sol9g12.12214456396091666413.45478.684043865204
STANFORD/tictictoe/rpt_Dw12.26778572748106681902.66676.233333333334
BASE/2pttc/unkkYA12.38440744778074974982.633333333336054.6
BASE/crisscross/ICagEg12.4985476276257252494.0666666666664200.013332000133
DRESDEN/tictictoe/LAUtwg12.53700391361773385745.166666666676839.366666666667
DRESDEN/tpeg/h-Scbg12.68063733319871425117.41980.7679488034132
BASE/tpeg/QNs7Lw12.70548270541801225179.7333333333341981.8006066464452
BASE/englishDraughts/jFkQxg12.74361310030597351069.5666666666664007.463681194189
BASE/connectFourLarger/qKi60A12.74680680676698342699.03349.780117270789
BASE/hidato37/pBrqxw12.7486262409236997139.366666666667560.0106656001067
DRESDEN/8puzzle/8fKC2w12.938625770999758106891.88261.449236717552
DRESDEN/battlebrushes/QHXV4A12.94136626139817610784.4833.3277787035494
STANFORD/connectfour/VMpZkQ13.00373321661667567342.866666666675178.733333333334
BASE/battlebrushes/arCwyA13.11949956859361611150.7849.9333333333333
BASE/dualConnect4/WbCQkg13.11963181277040445182.73443.9
BASE/eightPuzzle/vLrgFg13.224555259897985108880.18233.176682331767
STANFORD/8puzzle/jNiGtw13.286947811774862109413.066666666678234.627562072988
BASE/connectFourLarge/aU644A13.28767776803905757602.966666666674335.066493350665
BASE/ticTacToeNoVars/XT03NA13.347412488264709139328.310438.6
BASE/2pffa_zerosum/o0_uZA13.45811144892819873025.05426.095650724879
DRESDEN/3pttc/uwYBZw13.476441767872677147.733333333345724.6367151046525
DRESDEN/connectfour/5tc-Mg13.49797050814365770056.266666666665190.133333333333
BASE/connectFour/WAIKTw13.56923244657653970525.633333333335197.466666666666
BASE/connectFourSuicide/c8p9Kw13.60186863400811771043.466666666665223.066666666667
BASE/checkLines/Vop7oQ13.716193145284668103104.166666666677516.966666666666
BASE/connectFour_9x6/B9TtMw13.76044848732423868491.266666666664977.400753308223
DRESDEN/connectfoursuicide/M9CNQg13.7965900937228571278.166666666675166.361121295957
BASE/blockerParallel/7-nDJA13.91069228211884818827.1666666666681353.4313235343132
BASE/sudokuGrade6E/ihYFZA13.9201939568094755311.3381.5535916007708
STANFORD/duikoshi/tpw1sw13.9207771675819655766.633333333334006.0
BASE/sudokuGrade4/DTy07w13.9615666160566825807.766666666666415.9824485589868
BASE/sudokuGrade1/tDRNRw13.9648737131974476016.066666666667430.7999334774655
BASE/sudokuGrade2/u80Tfw13.9677960569492975855.633333333333419.22385675297875
BASE/sudokuGrade6H/ieE_9A13.9752357953069525359.633333333333383.509331208076
BASE/sudokuGrade3/eI8dvg13.9821853415656735787.354597873546413.9091605851578
DRESDEN/blockerparallel/dVQgSg14.07665138165205618999.2333333333341349.6983634969836
BASE/chess_200/XsTpYA14.2094167632388837429.466666666666522.855145320771
DRESDEN/chinesecheckers4/-oVNYg14.2761006168116330455.9666666666672133.353321340529
BASE/sudokuGrade5/BQfUQA14.4040814844373526014.1417.52749083638787
STANFORD/sudoku/oJ1qyQ14.6015225357472955967.333333333333408.6788428209572
DRESDEN/minichess/c7GMFw14.61383870548479559967.44103.466666666666
BASE/survival/YVIjJA14.681103815379831497183.933865.566666666666
BASE/switches/tPUoCg14.755520927882532220003.8333333333414909.933333333332
DRESDEN/tictactoe_3d_small_2player/HYttcg14.8128644468009937246.9333333333342514.4990333977735
DRESDEN/Thief_Police/CX18rA14.836179061047142191888.712933.835538815372
BASE/3pConnectFour/PqXOFQ14.84246290181339551597.866666666673476.368242117192
BASE/escortLatch/mX9BjQ14.85651217277270749954.533333333333362.467095398354
DRESDEN/catch_me/ghGWrA14.915703509801082195745.8666666666713123.475304939013
DRESDEN/Catch-Me-If-You-Can/ghGWrA14.982248010727748197012.0666666666813149.7
BASE/onestep/xi53wA15.06627150546061368475.324456.966666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA15.112702417840794198815.013155.489634024398
BASE/tictactoe_3d_small_2player/oOryKA15.14108104628429537775.233333333332494.883503883204
BASE/choicethroughalt/tt71Lg15.18451239877015829082.4333333333341915.2694910169662
BASE/amazons_8x8/7SOsIw15.20903860940446433305.12189.822832023445
BASE/connectFourSimultaneous/7ITr3g15.40623008923848244652.033333333332898.310168983102
BASE/checkersTiny/Lr48cg15.5564348698097244873.633333333332884.5705143161895
BASE/chineseCheckers4/avfBcQ15.90577034520271767240.84227.446929049888
BASE/ticTacHeavenFC/mrletw15.9193357890499232506.0666666666662041.9235511713932
BASE/tictactoe_3d_2player/IUC1rQ15.92426683008473813406.533333333333841.8932862896515
BASE/merrills/pku8Tg15.92659230528130418040.6666666666681132.7386499800293
DRESDEN/merrills/aYEzwA16.08926022978347318195.91130.9345327336332
BASE/amazonsTorus_10x10/Uxc08g16.1417179400024420530.6333333333351271.8989025606918
BASE/snakeParallel/RCVNtw16.15444197058547154544.79566.7
STANFORD/sukoshi/4LYZZQ16.282155083081662134604.033333333338266.966666666667
DRESDEN/tictactoe_3d_2player/LMuX9w16.48079627417406813781.833333333334836.2358895807665
BASE/withConviction/3Xm54A16.89583135140143740516.4333333333342398.0135981869084
BASE/checkersSmall/SYmq8w17.17031352464676531751.2666666666661849.1955095106432
BASE/roshambo2/KNPokQ17.673058708006742271170.715343.733333333334
BASE/tictactoe2/bhrDoQ17.702078153376718184872.8333333333410443.566666666668
DRESDEN/tictactoeparallel/yk_DSg17.8859889842548861266.6666666666643425.4
BASE/hodgepodge/9yjRkw17.91345683541208195328.3333333333410904.0
BASE/breakthroughSmallHoles/bxclRw17.9153460988399852607.3333333333362936.439689364397
BASE/tictactoe_3d_small_6player/g_9lww18.0080201966237829986.5666666666661665.1784226835039
DRESDEN/tictactoe_3player/ESLQQQ18.06989302640697351859.466666666672869.937668744375
BASE/tictactoe_3player/GtM71g18.07234290281701751810.033333333332866.813318668133
DRESDEN/roshambo2/jgSlkQ18.11156983359563276963.333333333315292.066666666668
BASE/chickentictactoe/DSlZCA18.2374675597772118527.733333333346499.133333333333
BASE/checkers/rOC3Xg18.36374233819391223870.6666666666681299.8802873104548
BASE/amazonsSuicide_10x10/XIbQkg18.45494276970160627301.21479.343520090549
BASE/amazons_10x10/Bun8dA18.4960060827250627334.81477.875811553188
DRESDEN/tictactoe_3d_small_6player/llDEDQ18.59419982804712730738.0333333333331653.0979347101932
BASE/ticTacToeParallel/ymRGPw18.64030717099920861978.43324.9666666666667
DRESDEN/chickentictactoe/Ipbo-g18.6933657205129122363.033333333346545.8
DRESDEN/quartosuicide/WIU1oQ18.975533135462957845.4333333333343048.422034858533
BASE/quartoSuicide/-23jUg19.117531608509958768.5666666666663074.0666666666666
BASE/quarto/EwBMVQ19.1179780039538658658.23068.2219630061654
STANFORD/bestbuttonsandlights/nm0wEA19.197477861541305318824.033333333316607.6
BASE/minichess/8NQEiA19.27736758627694582243.033333333344266.3
DRESDEN/bunk_t/7-tPfA19.39017832608252377103.766666666663976.4341188627045
BASE/doubletoetictac/fu35bg19.41471287944383376983.866666666673965.233333333333
DRESDEN/quarto/OQzRYQ19.61684633580603459760.73046.396906872875
DRESDEN/connect4/T0-rHQ19.6640890781154425705.01307.2052256215425
BASE/eotcatcit/AfZSzA19.668687201769018135199.933333333326873.866666666667
BASE/haystack/UkweGA19.708624952293977666166.633333333333800.76666666667
DRESDEN/doubletoetictac/V89gKQ19.7410193223557679002.94001.9666011132963
STANFORD/tictactoe/ss1kyQ19.75412791801101138779.333333333347025.333333333333
BASE/ticTacToe/JRFsaQ19.794905424611542138349.233333333346989.133333333333
DRESDEN/blocksworldparallel/2JfVaw19.922754332364605160414.033333333338051.8
DRESDEN/eotcatcit/mQUxzA19.939574563020155137043.366666666676872.933333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g20.053656303568644274526.533333333313689.6
STANFORD/trifecta/ss1kyQ20.106567816747457141027.466666666677014.0
STANFORD/jointbuttonsandlights/qAKuIQ20.111959821182186242939.0666666666812079.333333333334
DRESDEN/doubletictactoe/lJzgmQ20.14087611041273781175.766666666664030.3989867004434
DRESDEN/tictactoe_orthogonal/y69QFQ20.182191508307916142031.57037.466666666666
BASE/bunk_t/xbpfIA20.19482033743615280392.93980.867304423186
BASE/doubletictactoe/HH1htg20.21767339473836681434.766666666664027.9
BASE/sum15/QZ07Kg20.24960041556781168922.166666666668342.0
BASE/tictactoe_orthogonal/WRzlVw20.346505206018364143433.366666666677049.533333333334
DRESDEN/sum15/CsgWKg20.48284732062347169608.98280.533333333333
BASE/ticTacToeLargeSuicide/727_8g20.53848306064108112557.733333333345480.333333333333
DRESDEN/tictactoe-init1/3ltIBQ20.548361066679398143451.533333333336981.166666666667
STANFORD/triplesukoshi/Iu9mbA20.5514999318754746924.1666666666642283.247783481101
BASE/connect4/50bOyw20.5536017774500326929.5666666666661310.2115608862237
STANFORD/multiplebuttonsandlights/cK70Yg20.56820647809754350058.533333333317019.4
DRESDEN/tictactoelarge/IwXcbg20.68723492393654112710.333333333335448.303446436904
BASE/cubicup_3player/e2yA_g20.71734322974886312309.866666666667594.1817215727949
DRESDEN/double_tictactoe_dengji/bGaUyQ20.76887527149459779231.566666666673814.918508149185
STANFORD/multiplebuttonsandlights_9/SqB9BA20.83867178907011353657.2666666666616971.2
BASE/ticTacToeLarge/TZC0dg20.874974394274027113413.133333333335432.97113525765
DRESDEN/tictactoe/BTTzPw21.07552503653051147117.06980.466666666666
DRESDEN/tictactoe_3d_6player/ulZPWg21.08391136657973813201.333333333334626.1330311916822
DRESDEN/tictactoelargesuicide/6J4DeA21.179550127245008116223.866666666675487.551244875513
BASE/tictactoe-init1/7M19vA21.341543059288576149011.633333333336982.233333333334
BASE/tictactoe_3d_6player/d7KSwg21.3770009012815113459.066666666668629.6050006649821
STANFORD/tictactoe7/-bE9-A21.539771307773613149442.933333333326938.0
BASE/pearls/6k_mEQ21.541163171007433719649.333333333433408.1
DRESDEN/chomp/-LcqYQ21.6191832593295977416.133333333333580.9
BASE/double_tictactoe_dengji/zgaSbA21.65433962304773682690.966666666663818.6787547496833
DRESDEN/cubicup_3player/awDtsQ21.66706271721959412776.2589.6599906846762
BASE/wargame01/_GZFZg21.72190531176705349591.533333333332283.0194967505417
BASE/incredible/8Qh-6Q21.76498306792688160499.066666666687374.18752708243
BASE/chomp/-LcqYQ21.79246112269611877682.133333333333564.633333333333
DRESDEN/Runners/3bOCQw21.99663682030105331662.315077.864071197626
STANFORD/tictactoe3/X7myng22.211483479661155153563.533333333336913.7
STANFORD/tictactoe5/WFRReg22.26189961419642154450.833333333346937.9
BASE/blocksWorldSerial/Wyg96Q22.374546246551475184912.28264.4
BASE/troublemaker02/DI83KA22.402453525590147517468.323098.733333333334
BASE/cubicup/4wNWJA22.40406880645444322703.4666666666671013.3635485053487
BASE/wargame03/klXI8w22.4888574329224143411.21930.3426209838688
DRESDEN/troublemaker02/iZLVuA22.50355046136019525648.433333333323358.466666666667
DRESDEN/cubicup/SBn_lw22.5395309953703722713.0333333333331007.6976906927922
STANFORD/selectivesukoshi/3xmXYg22.55435282451012611547.966666666667512.0061194625515
BASE/breakthroughSuicideSmall/XSbJog22.6076833607631665931.666666666672916.338910739284
STANFORD/breakthrough/d5j0cQ22.73771897613246748199.266666666672119.793402199267
BASE/knightazons/apnJBQ22.79634982471556327671.5666666666661213.8595380153995
BASE/biddingTicTacToe_10coins/a-9ccQ22.861607998702276103351.233333333344520.733333333334
BASE/troublemaker01/s3tlEQ22.923040406894604540830.933333333323593.333333333332
BASE/knightfight/SJRkAg23.136591326366109941.84751.858147518581
DRESDEN/knightfight/4_Ly4w23.179081171217109349.633333333334717.6
BASE/breakthroughSmall/HJ0tIA23.1911625678367867503.02910.720831805912
DRESDEN/bidding-tictactoe_10coins/mu5VhQ23.217814398874086105027.74523.582547248425
DRESDEN/knightazons/02I8BQ23.3097667204330528370.71217.1164276444947
BASE/aipsrovers01/4C4jsw23.339518498259572197117.18445.636957536164
DRESDEN/oisters_farm/pTQMLg23.44608737578175370290.6333333333615793.280447970135
BASE/biddingTicTacToe/8mESVw23.53836510666481123991.266666666665267.624412519583
DRESDEN/ggp-course2013_jordi/9QI6Kw23.6024626729683619966.233333333334845.9385620043979
BASE/blocksWorld/SEdXLQ23.63364950869182328146.1333333333613884.7
DRESDEN/troublemaker01/C-lPWw23.66238618709563561519.466666666723730.466666666667
BASE/breakthroughHoles/nZk0Sg23.8743486010362744520.81864.7964283334443
DRESDEN/backgammon/mqCW0Q23.89870690882761326297.0666666666661100.3552103044185
BASE/blocks/xIV5hQ23.942309668016584334031.1333333333613951.5
DRESDEN/blocks/vg0DRw23.948019916826002326892.8666666666413650.1
BASE/knightThrough/gcwFjA23.98365620618909646736.766666666671948.6923205064134
BASE/breakthroughSuicide/wZDpIg24.12865253614872449032.22032.115134756971
DRESDEN/frogs_and_toads/GjchhQ24.14565375946173457372.466666666672376.099120703437
DRESDEN/aipsrovers01/qS47Mw24.26086585454642203630.833333333348393.386887103763
DRESDEN/chinesecheckers1/Y-ftaA24.656367231593562016.466666666672515.231302493001
DRESDEN/bidding-tictactoe/yW5vTA24.760053484938354130796.45282.55724809173
STANFORD/buttonsandlights/eyhJpA24.836995817270314717704.733333333328896.6
DRESDEN/breakthrough/z4hK7Q24.93853885313463850730.266666666672034.2116659449016
STANFORD/threepuzzle/41ibjA24.95725202914455336593.466666666713486.8
BASE/breakthroughWalls/vOZaYA24.97029069862766850765.4333333333342033.0333333333333
BASE/breakthrough/TGxk-g25.0173781084785651105.52042.8
STANFORD/3puzzle/41ibjA25.01832410054801336006.113430.4
BASE/conn4/va9Y7A25.04088027745917340742.3333333333361627.0327912556652
BASE/cittaceot/fDxhXg25.25029974084941439290.866666666671556.0554555755516
DRESDEN/connect5/1kYzSg25.26171703448275719485.066666666666771.3278808431412
BASE/circlesolitaire/azuQFQ25.43779933801842268218.710544.1
DRESDEN/knightthrough/J7Fc_Q25.44946652496740649866.1666666666641959.4189378290132
DRESDEN/breakthroughsuicide/Y9QzqQ25.5796371375531951855.266666666672027.208845372498
DRESDEN/breakthroughsuicide_v2/LU1nAw25.58777781379965452067.32034.850403145199
DRESDEN/circlesolitaire/ruUilQ25.630504180390165269769.610525.333333333334
DRESDEN/brain_teaser_extended/ZDp94A26.073159465760288199446.633333333337649.5
BASE/racer4/0vs7Ww26.39840833177889623583.833333333332893.3808825489934
BASE/connect5/d-BVQg26.4695286620926320548.933333333334776.3241119877492
BASE/snake2p/I3wWPQ26.5468277945619394606.73563.766666666667
DRESDEN/toetictac/mJtxCA27.003487914394842246970.39145.866666666667
BASE/brain_teaser_extended/ZDp94A27.00464871325978207226.766666666667673.744208526383
DRESDEN/twisty-passages/j7NPyg27.183650959232615100143.433333333333683.9581807285076
BASE/twisty-passages/DiZmmg27.4001738085445102016.83723.21725813969
DRESDEN/checkers/jIDMIg27.716696373476318232.8657.8273165862586
BASE/chickentoetictac/l57rfQ27.872337694165974238829.78568.7
BASE/hanoi_6_disks/MeubgQ27.88498654813429254281.333333333349118.933333333332
BASE/asteroidsSerial/id2QkA27.91794821563198271478.39724.149421840115
DRESDEN/hanoi_6_disks/MeubgQ28.00252250270399254584.933333333329091.5
DRESDEN/chickentoetictac/cxYaRQ28.068016272388995242633.966666666678644.5
BASE/toetictac/mTThmg28.083882440216446257428.19166.4
BASE/untwistycomplex2/EDPPAQ28.353607606668916606732.233333333321398.766666666666
STANFORD/untwistycorridor/EDPPAQ28.39706320753996619164.833333333421803.833333333332
BASE/wargame02/BkVqqQ28.53747794698569333768.366666666671183.2989141296382
BASE/lightsOnSimultaneous/_VN6lw28.85958655167384641765.366666666671447.192134644226
BASE/blocker/dIWtxg28.958730889192573141265.633333333334878.170727642412
DRESDEN/latenttictactoe/kITHKg28.97137505122051282486.333333333332847.1666666666665
BASE/ticTacToeSerial/Amrwqw29.1250987459094997299.166666666673340.732593407326
DRESDEN/blocker/S815zQ29.341667638164076142623.04860.766666666666
DRESDEN/endgame/IJhh3Q29.4102840590140321786.266666666666740.7703585232574
BASE/maze/cCX3qQ30.108372547251562656680.666666666621810.566666666666
BASE/asteroidsParallel/WauZiA30.633060950667243318886.8666666666410409.892344098924
DRESDEN/sheep_and_wolf/enAIzQ31.03770140161086426185.766666666666843.6760934012858
DRESDEN/nim4/F5YAYg31.87582118344518180660.466666666675667.633333333333
DRESDEN/nim3/sG_axA32.013747339210305182781.733333333345709.476350788307
BASE/nim4/twk16w32.3868038018802182122.25623.345888470384
BASE/nim3/1OwUqw32.45453071182649185689.25721.518565428972
BASE/sheepAndWolf/g4THrg32.46024488750515527103.033333333333834.9608398600234
BASE/lightsOut/5P1ZBw32.52915574529667104881.73224.236768430876
DRESDEN/lightsout2/LFtfyQ32.715222565423446105834.066666666673235.0098323500983
DRESDEN/lightsout/XgLpzQ32.80985470555899106103.533333333343233.8922035932137
BASE/coloredtrails/EZvr7g33.025032720744925101584.833333333333075.994933671089
DRESDEN/buttons/ADUaHw33.16585949858069612228.518459.6
BASE/asteroids/BKCmPQ33.193968160575395540244.516275.381641223918
DRESDEN/hanoi/RQ0jiA33.30182586054635340643.2666666666610228.966666666667
BASE/buttons/hTcUjw33.44588733054821627658.918766.4
BASE/blocks2player/wnTLOQ33.62377405390781265125.77885.066666666667
DRESDEN/mimikry/GJEhwA33.64055839091048553543.733333333331591.642228739003
BASE/lightsOnSimul4/9FeASw33.79325163635219635790.11059.090151641393
BASE/hanoi/iGLsJg34.028989753678935347636.2666666666610215.885607626158
STANFORD/untwistycomplex/HTWEwg34.192421784432725659705.166666666619293.9
DRESDEN/cube_2x2x2/fp-34Q34.29205183017090590598.133333333332641.957202853143
DRESDEN/pancakes88/aD3E7g34.48368239148975640218.318565.833333333332
BASE/pancakes6/QZTdnw34.53654262415626683100.833333333419779.07403086564
BASE/pancakes88/l2Xaig34.666663092487255646613.018652.3
DRESDEN/pancakes/hl9aiQ34.76652668389185679041.819531.48228392387
BASE/pancakes/yUgbXw34.86485270931028684756.166666666619640.3
DRESDEN/pancakes6/SZXMyQ35.235451114458336693985.719695.666666666668
DRESDEN/blocks2player/3ev8nQ35.278320542596525279488.96666666677922.4
DRESDEN/hanoi7_bugfix/3gdnFw35.76615225729305316999.88863.122812864523
BASE/factoringEasyTurtleBrain/lUj94Q35.906384629331185178179.94962.345884705098
DRESDEN/hanoi7/51zz5Q36.10972946336253317657.18796.994735789965
BASE/factoringGeorgeForman/HGRorQ36.76177934432057349296.33333333339501.616612779573
BASE/racetrackcorridor/_RkdUg36.77443447419799665501.9333333333341781.1812545830278
BASE/endgame/jYjfOA37.6787940263061827489.5729.5748367319738
BASE/lightsOn/MsXu3A37.73991879037778376776.59983.500549981667
BASE/hanoi7_bugfix/3gdnFw37.95415310468233333616.866666666648789.996334433003
BASE/nim2/eF2Qqw38.18726782378744242601.166666666666352.933333333333
DRESDEN/nim2/z5_exA38.24608104575163243818.766666666666375.0
BASE/crossers3/O0rORg38.8339304384510274141.033333333341909.181803032828
DRESDEN/crossers3/xiPTxg38.9751560100191274511.633333333331911.7725484967668
BASE/lightsOnParallel/SC6enA39.27095729520903180142.966666666674587.180427319089
BASE/tictactoex9/BI26ow39.48003539685619520327.8514.8880895283773
DRESDEN/racetrackcorridor/O0DoTA39.49302430030968560643.466666666671535.5488150394988
DRESDEN/tictactoex9/rFkD4w39.6241368183284920465.866666666665516.5
BASE/blockerSerial/3eqDuw40.2317564058730583932.62086.227584827678
BASE/simultaneousWin2/PfjRjw40.7020994820284938741.5951.830507345348
DRESDEN/nim1/M9BALA41.15915751901766271906.16666666676606.213126229126
BASE/nim1/hin2Qw41.16234238299366273667.83333333336648.5
BASE/dotsAndBoxes/EHwA_w41.2427699300307965423.733333333331586.307938199254
BASE/dotsAndBoxesSuicide/jzQbLw41.46450581369247665644.766666666661583.1556503198294
DRESDEN/lightson2x2/gBHuig42.36234229571268204306.766666666664822.839238692043
BASE/queens06ug/7Lq3tw43.3467734920075998459.966666666662271.448570095327
STANFORD/multipletictactoe/_bkafQ46.48520182450826628635.466666666667616.0125274871726
BASE/factoringMutuallyAssuredDestruction/NH0LGg47.76672250858506182349.033333333333817.49100119984
BASE/catcha_mouse/cHv4dw48.5544660225750666.233333333331043.492751208132
DRESDEN/catcha_mouse/cHv4dw52.57980707981581554781.81041.8790604697651
BASE/ghostMaze2p/W-NU-w52.82688241973061131461.72488.537918166067
BASE/mummyMaze2p_2007/YGA3Vw52.84879304322749109928.166666666672080.0506565353594
DRESDEN/mummymaze2p-comp2007/oTQRQg52.87254620087713108718.666666666672056.240421136803
DRESDEN/ghostmaze2p/HY0UwA53.27337523049598132622.366666666672489.468070923877
BASE/knightmove/jBaJEw54.64745271511830553826.46666666667984.9766822118588
BASE/chinook/XQh0IQ55.4335754656806239918.3720.1105045932632
DRESDEN/knightmove/97Ipcw56.2537934249628555491.1986.4419201172591
BASE/queens08ug/kJ_ZFQ57.05069352708057657583.1666666666641009.3333333333334
DRESDEN/grid_game/U7_Yeg59.9528612706701580332.01339.919368273748
BASE/firefighter/WJmoPw61.39231454812043227421.63704.398533822059
DRESDEN/firefighter/WJmoPw61.436854696549986227701.366666666673706.266666666667
DRESDEN/fizzbuzz/t1xHzQ65.12991516056759610422.09372.375174988334
BASE/hexPie/48CH6Q69.2563545890899723700.366666666665342.21215955250716
BASE/tron_10x10/7ZTgDg70.29538144860415109281.21554.6
BASE/wallmaze/uxNQ9g70.5199859450021926878.5381.14726825048245
BASE/hex/T1MK8g71.2193797731388824893.8349.53688278803224
DRESDEN/guess/PhxGhg71.44474406560994174120.666666666662437.1375241650558
STANFORD/hex/MTqWcw71.7519831547563625564.8356.29398486256804
BASE/guess/SPpk1A73.35433746779185179335.866666666672444.7888544478888
STANFORD/platformjumpers/HEQskA77.7765936407808330312.2389.734219269103
BASE/bomberman2p/4CClwA78.266869983988886887.833333333331110.1483086152307
DRESDEN/bomberman2p/x4h6jQ79.7669704352010688405.733333333341108.3
BASE/mummymaze1p/PT_EXA84.3735868516227389948.63675754951066.075772216854
DRESDEN/mummymaze1p/AekgaQ85.4084170698424491796.966666666661074.8
BASE/factoringMediumTurtleBrain/8RBqmQ88.3652890930646259545.53333333333673.8566007589375
BASE/zhadu/DlA8iQ94.509205967276223172.733.570274636510504
BASE/hallway/ckCJOw103.3139476483279421188.033333333333205.0839583195062
DRESDEN/hallway/0H4l-Q106.890030636461721917.066666666666205.04313205043132
BASE/queens12ug/u6Bkmg108.1161805349182729075.8268.9310689310689
BASE/golden_rectangle/_nYzfw116.6515769324258715983.5137.01915070774353
BASE/racer/QQYQNw139.0797015555242265698.26666666666472.3785421730878
DRESDEN/racer/vk_ZBA140.4462358719097565772.93333333333468.3139631689367
BASE/queens16ug/gT-ylw162.2068154876373615707.796.8374846197333
DRESDEN/mummymaze2p/k-8edg170.9569535648994662217.86666666667363.93878908848967
BASE/mummymaze2p/vpjDdA175.0631096317971263674.13333333333363.72102304852496
BASE/majorities/ibJzSQ177.5880198715375429317.5165.08714957916362
DRESDEN/small_dominion/yB5GJA205.104700721153852826.513.78076655513963
DRESDEN/golden_rectangle/1uloXw2859.810802833333615830.2333333333345.535412803409814

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageCADIAPLAYER_PROLOG:3.0 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/laikLee_hex/ZeP3QQTest 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/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
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
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds

index