Game-by-game performance:
Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | CADIAPLAYER_PROLOG:3.0 states per second |
BASE/quad/tw-Ufg | 0.4826341498599496 | 25.255824080121926 | 52.32912774085845 |
DRESDEN/quad/JPe6fg | 0.6617319009971497 | 33.23896752706078 | 50.23026315789474 |
BASE/blokbox_simple/JBx4bg | 1.6528376846225168 | 129.16555585177287 | 78.14775585859923 |
BASE/quad_7x7/q-JOXg | 1.7184285404217214 | 626.3457884737176 | 364.48753831800616 |
DRESDEN/quad_7x7/q-JOXg | 1.7518786025031994 | 629.1589033803567 | 359.1338477913784 |
BASE/othello-comp2007/86ZoMw | 2.8436874865851043 | 877.4 | 308.5430463576159 |
DRESDEN/pawntoqueen/f_x6Aw | 3.4594837988826814 | 2249.0333333333333 | 650.1066240170599 |
BASE/pawnToQueen/-O1_JA | 3.6071851467871068 | 2342.2 | 649.3151597960476 |
DRESDEN/pentago_2008/hLjVpQ | 3.685328591348835 | 12764.3 | 3463.5446157945576 |
BASE/pentagoSuicide/SBgNhw | 3.975573558162741 | 13675.3 | 3439.8307061685605 |
BASE/pentago/86NgKw | 3.9825586587062745 | 13669.766666666666 | 3432.4081170237578 |
BASE/quad_5x5/JAEP5g | 4.214945306086697 | 4059.564681177294 | 963.1357909472702 |
BASE/minichess-evilconjuncts/4OpQzw | 4.2171606494422935 | 12018.366666666667 | 2849.871670944302 |
DRESDEN/quad_5x5/JAEP5g | 4.289331033882974 | 4109.9 | 958.1680610646312 |
DRESDEN/minichess-evilconjuncts/th24Tw | 4.426245951278595 | 12586.666666666666 | 2843.643757082861 |
DRESDEN/quad_5x5_8_2/JRTLJg | 4.764907575988537 | 5205.8 | 1092.5290610531927 |
BASE/hitori/S8Gsyg | 4.902154042113514 | 9171.666666666666 | 1870.9462387094625 |
DRESDEN/hitori/S8Gsyg | 4.995797399219765 | 9346.433333333332 | 1870.8591615010332 |
BASE/reversiSuicide/9OxJlg | 5.060563337943082 | 2310.1 | 456.49068013423266 |
BASE/reversi/d8UMeA | 5.179065244315433 | 2375.4333333333334 | 458.6606310744242 |
DRESDEN/capture_the_king/EQ229Q | 5.573852661861096 | 7577.333333333333 | 1359.4427038197452 |
BASE/coins/QnGtnQ | 5.648740072343253 | 43361.8 | 7676.366666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.0125909880827475 | 24829.866666666665 | 4129.645059156807 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 6.056729624020351 | 109843.23333333334 | 18135.733333333334 |
BASE/kitten_escapes_from_fire/uW-YiA | 6.120709736755974 | 111581.96666666666 | 18230.233333333334 |
BASE/coins_atomic/AA3SSw | 6.135725132877752 | 47407.066666666666 | 7726.4 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 6.152590822962216 | 25600.633333333335 | 4160.9517144856545 |
DRESDEN/coins/QwFP9w | 6.256425577571431 | 47815.566666666666 | 7642.633333333333 |
BASE/amazonsSuicide/dE1QEQ | 6.556958264969354 | 768.7333333333333 | 117.23932077474132 |
BASE/amazons/RKKZjw | 6.567321435926237 | 766.0333333333333 | 116.64319171934882 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 6.711579411223974 | 29199.9 | 4350.674887518747 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 6.742547461819237 | 26866.133333333335 | 3984.5671810939634 |
BASE/god/qF06gw | 6.789988472505578 | 6320.566666666667 | 930.8655960551743 |
BASE/blocksWorldParallel/RseaAQ | 6.8562771178604445 | 48196.2 | 7029.5 |
DRESDEN/god/2EDD5w | 7.018970808185422 | 6550.4 | 933.2422343687508 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 7.077882808181315 | 5111.333333333333 | 722.1556886227545 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 7.1252598798511695 | 28311.333333333332 | 3973.375541486171 |
BASE/ttcc4_2player/_aH_Mw | 7.729870475662806 | 34410.2 | 4451.588174515881 |
BASE/qyshinsu/R08Lzw | 7.8190663848342545 | 22522.766666666666 | 2880.4930867899384 |
STANFORD/pentago/ZxzLmg | 7.964881055235056 | 28946.333333333332 | 3634.2455251491615 |
DRESDEN/ggp-course2013_michal13/jWKddg | 8.09759686377001 | 2472.0 | 305.2757554602573 |
BASE/futoshiki6/JmvXNA | 8.340371777174768 | 9423.533333333333 | 1129.8696970706835 |
STANFORD/ttcc4/Cx9SGw | 8.69239495201704 | 36303.6 | 4176.47842745294 |
DRESDEN/amazons/dNB28A | 8.714672347193819 | 3819.6666666666665 | 438.30295787272183 |
DRESDEN/farmers/S_ASnw | 8.886503329616755 | 45162.666666666664 | 5082.163927869071 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 8.909157481214308 | 31286.433333333334 | 3511.7162761241293 |
STANFORD/nineboardtictactoe/y28P-A | 9.069212364263365 | 31208.066666666666 | 3441.1 |
DRESDEN/Zhadu/9zpQ5w | 9.201632202216066 | 15055.766666666666 | 1636.2060921149105 |
DRESDEN/tttcc4/sAvtFg | 9.22809295877275 | 36861.933333333334 | 3994.534244292618 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 9.418159114027057 | 20574.166666666668 | 2184.5210319312046 |
BASE/tttcc4/8Bs2lg | 9.450088362384406 | 37870.9 | 4007.46517363194 |
BASE/ttcc4_2player_alt/ZEJvYA | 9.48335278791284 | 44442.666666666664 | 4686.387574161722 |
BASE/ttcc4/Le0qjQ | 9.522842116355397 | 38104.7 | 4001.399953334889 |
BASE/nineBoardTicTacToePie/B8LzeQ | 9.625781189363304 | 30531.133333333335 | 3171.808368869936 |
BASE/speedChess/bPnisA | 9.699150291189177 | 17192.333333333332 | 1772.5607725607726 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 9.710619605425402 | 21000.833333333332 | 2162.6666666666665 |
DRESDEN/sat_test_20v_91c/dK7nVw | 9.757798497709924 | 21300.266666666666 | 2182.8967539825367 |
DRESDEN/blobwars/ZaMluQ | 9.800061348515865 | 12759.833333333334 | 1302.015658837248 |
BASE/blobwars/0XT15Q | 9.910845674767321 | 12773.7 | 1288.8607510579454 |
BASE/skirmishZeroSum/zh4hcw | 9.932693563888888 | 15859.533333333333 | 1596.700153017098 |
BASE/futoshiki5/TJ4BZg | 9.974948014654917 | 16789.5 | 1683.1666666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 9.993451447340416 | 34425.7 | 3444.825862356274 |
DRESDEN/pawn_whopping/4ogBkg | 10.098385417996692 | 47977.933333333334 | 4751.049930004667 |
BASE/ttcc4_2player_small/Cv72TA | 10.152655981190128 | 62031.3 | 6109.859342710486 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 10.185585353589362 | 47621.566666666666 | 4675.38830744617 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 10.34319619274079 | 21020.766666666666 | 2032.327945342443 |
BASE/pawnWhopping/Ypc_6Q | 10.479357930181022 | 48550.166666666664 | 4632.933333333333 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 10.540681841732113 | 21474.166666666668 | 2037.2654244858504 |
BASE/numbertictactoe/rvJ-iQ | 10.680880892243948 | 62727.03333333333 | 5872.833333333333 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 10.701884021252797 | 21257.533333333333 | 1986.3356107315446 |
DRESDEN/satlike_20v_91c/yeuENQ | 10.886509872839909 | 22257.8 | 2044.5303646423572 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 10.915029907192574 | 21952.3 | 2011.1992533831078 |
BASE/futoshiki4/BaCwSw | 11.051186552077837 | 36990.9 | 3347.233333333333 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 11.151969565529622 | 20704.8 | 1856.6047798406719 |
BASE/slidingpieces/uFJWEw | 11.174085909160189 | 16266.333333333334 | 1455.7193729823277 |
BASE/pegEuro/5awwhg | 11.399716193071233 | 18547.1 | 1626.9791006966434 |
BASE/hidato19/rRHSmA | 11.403662203517587 | 30255.7 | 2653.156456236251 |
DRESDEN/slidingpieces/s9_44g | 11.423636620890553 | 16457.433333333334 | 1440.6474820143885 |
BASE/ticTicToe/c1OobQ | 11.461495260466775 | 78231.2 | 6825.566666666667 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 11.590397111913356 | 21403.6 | 1846.6666666666667 |
BASE/peg/fJHVWw | 11.689757292629743 | 22334.2 | 1910.5785895213971 |
DRESDEN/crisscross/GsY16g | 11.729190162162162 | 49541.1 | 4223.744292237443 |
STANFORD/duidoku/3SoMaA | 11.773684323965846 | 4718.0 | 400.7241803142544 |
DRESDEN/peg/Vo31eg | 11.81765199833255 | 22678.5 | 1919.0360321322623 |
DRESDEN/peg_bugfixed/u_B7MA | 11.907848754108054 | 22824.666666666668 | 1916.77498916775 |
BASE/ticTacHeaven/18n58A | 11.997754181279712 | 32498.033333333333 | 2708.676377454085 |
BASE/eotcitcit/V_9_bg | 12.027022550457197 | 82294.1 | 6842.433333333333 |
DRESDEN/stratego/Z2wovg | 12.057222419122192 | 31201.066666666666 | 2587.749116843298 |
BASE/3pttc/0sol9g | 12.122144563960916 | 66413.4 | 5478.684043865204 |
STANFORD/tictictoe/rpt_Dw | 12.267785727481066 | 81902.6 | 6676.233333333334 |
BASE/2pttc/unkkYA | 12.384407447780749 | 74982.63333333333 | 6054.6 |
BASE/crisscross/ICagEg | 12.49854762762572 | 52494.066666666666 | 4200.013332000133 |
DRESDEN/tictictoe/LAUtwg | 12.537003913617733 | 85745.16666666667 | 6839.366666666667 |
DRESDEN/tpeg/h-Scbg | 12.680637333198714 | 25117.4 | 1980.7679488034132 |
BASE/tpeg/QNs7Lw | 12.705482705418012 | 25179.733333333334 | 1981.8006066464452 |
BASE/englishDraughts/jFkQxg | 12.743613100305973 | 51069.566666666666 | 4007.463681194189 |
BASE/connectFourLarger/qKi60A | 12.746806806766983 | 42699.0 | 3349.780117270789 |
BASE/hidato37/pBrqxw | 12.748626240923699 | 7139.366666666667 | 560.0106656001067 |
DRESDEN/8puzzle/8fKC2w | 12.938625770999758 | 106891.8 | 8261.449236717552 |
DRESDEN/battlebrushes/QHXV4A | 12.941366261398176 | 10784.4 | 833.3277787035494 |
STANFORD/connectfour/VMpZkQ | 13.003733216616675 | 67342.86666666667 | 5178.733333333334 |
BASE/battlebrushes/arCwyA | 13.119499568593616 | 11150.7 | 849.9333333333333 |
BASE/dualConnect4/WbCQkg | 13.119631812770404 | 45182.7 | 3443.9 |
BASE/eightPuzzle/vLrgFg | 13.224555259897985 | 108880.1 | 8233.176682331767 |
STANFORD/8puzzle/jNiGtw | 13.286947811774862 | 109413.06666666667 | 8234.627562072988 |
BASE/connectFourLarge/aU644A | 13.287677768039057 | 57602.96666666667 | 4335.066493350665 |
BASE/ticTacToeNoVars/XT03NA | 13.347412488264709 | 139328.3 | 10438.6 |
BASE/2pffa_zerosum/o0_uZA | 13.458111448928198 | 73025.0 | 5426.095650724879 |
DRESDEN/3pttc/uwYBZw | 13.4764417678726 | 77147.73333333334 | 5724.6367151046525 |
DRESDEN/connectfour/5tc-Mg | 13.497970508143657 | 70056.26666666666 | 5190.133333333333 |
BASE/connectFour/WAIKTw | 13.569232446576539 | 70525.63333333333 | 5197.466666666666 |
BASE/connectFourSuicide/c8p9Kw | 13.601868634008117 | 71043.46666666666 | 5223.066666666667 |
BASE/checkLines/Vop7oQ | 13.716193145284668 | 103104.16666666667 | 7516.966666666666 |
BASE/connectFour_9x6/B9TtMw | 13.760448487324238 | 68491.26666666666 | 4977.400753308223 |
DRESDEN/connectfoursuicide/M9CNQg | 13.79659009372285 | 71278.16666666667 | 5166.361121295957 |
BASE/blockerParallel/7-nDJA | 13.910692282118848 | 18827.166666666668 | 1353.4313235343132 |
BASE/sudokuGrade6E/ihYFZA | 13.920193956809475 | 5311.3 | 381.5535916007708 |
STANFORD/duikoshi/tpw1sw | 13.92077716758196 | 55766.63333333333 | 4006.0 |
BASE/sudokuGrade4/DTy07w | 13.961566616056682 | 5807.766666666666 | 415.9824485589868 |
BASE/sudokuGrade1/tDRNRw | 13.964873713197447 | 6016.066666666667 | 430.7999334774655 |
BASE/sudokuGrade2/u80Tfw | 13.967796056949297 | 5855.633333333333 | 419.22385675297875 |
BASE/sudokuGrade6H/ieE_9A | 13.975235795306952 | 5359.633333333333 | 383.509331208076 |
BASE/sudokuGrade3/eI8dvg | 13.982185341565673 | 5787.354597873546 | 413.9091605851578 |
DRESDEN/blockerparallel/dVQgSg | 14.076651381652056 | 18999.233333333334 | 1349.6983634969836 |
BASE/chess_200/XsTpYA | 14.209416763238883 | 7429.466666666666 | 522.855145320771 |
DRESDEN/chinesecheckers4/-oVNYg | 14.27610061681163 | 30455.966666666667 | 2133.353321340529 |
BASE/sudokuGrade5/BQfUQA | 14.404081484437352 | 6014.1 | 417.52749083638787 |
STANFORD/sudoku/oJ1qyQ | 14.601522535747295 | 5967.333333333333 | 408.6788428209572 |
DRESDEN/minichess/c7GMFw | 14.613838705484795 | 59967.4 | 4103.466666666666 |
BASE/survival/YVIjJA | 14.681103815379831 | 497183.9 | 33865.566666666666 |
BASE/switches/tPUoCg | 14.755520927882532 | 220003.83333333334 | 14909.933333333332 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 14.81286444680099 | 37246.933333333334 | 2514.4990333977735 |
DRESDEN/Thief_Police/CX18rA | 14.836179061047142 | 191888.7 | 12933.835538815372 |
BASE/3pConnectFour/PqXOFQ | 14.842462901813395 | 51597.86666666667 | 3476.368242117192 |
BASE/escortLatch/mX9BjQ | 14.856512172772707 | 49954.53333333333 | 3362.467095398354 |
DRESDEN/catch_me/ghGWrA | 14.915703509801082 | 195745.86666666667 | 13123.475304939013 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 14.982248010727748 | 197012.06666666668 | 13149.7 |
BASE/onestep/xi53wA | 15.06627150546061 | 368475.3 | 24456.966666666667 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 15.112702417840794 | 198815.0 | 13155.489634024398 |
BASE/tictactoe_3d_small_2player/oOryKA | 15.141081046284295 | 37775.23333333333 | 2494.883503883204 |
BASE/choicethroughalt/tt71Lg | 15.184512398770158 | 29082.433333333334 | 1915.2694910169662 |
BASE/amazons_8x8/7SOsIw | 15.209038609404464 | 33305.1 | 2189.822832023445 |
BASE/connectFourSimultaneous/7ITr3g | 15.406230089238482 | 44652.03333333333 | 2898.310168983102 |
BASE/checkersTiny/Lr48cg | 15.55643486980972 | 44873.63333333333 | 2884.5705143161895 |
BASE/chineseCheckers4/avfBcQ | 15.905770345202717 | 67240.8 | 4227.446929049888 |
BASE/ticTacHeavenFC/mrletw | 15.91933578904992 | 32506.066666666666 | 2041.9235511713932 |
BASE/tictactoe_3d_2player/IUC1rQ | 15.924266830084738 | 13406.533333333333 | 841.8932862896515 |
BASE/merrills/pku8Tg | 15.926592305281304 | 18040.666666666668 | 1132.7386499800293 |
DRESDEN/merrills/aYEzwA | 16.089260229783473 | 18195.9 | 1130.9345327336332 |
BASE/amazonsTorus_10x10/Uxc08g | 16.14171794000244 | 20530.633333333335 | 1271.8989025606918 |
BASE/snakeParallel/RCVNtw | 16.15444197058547 | 154544.7 | 9566.7 |
STANFORD/sukoshi/4LYZZQ | 16.282155083081662 | 134604.03333333333 | 8266.966666666667 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 16.480796274174068 | 13781.833333333334 | 836.2358895807665 |
BASE/withConviction/3Xm54A | 16.895831351401437 | 40516.433333333334 | 2398.0135981869084 |
BASE/checkersSmall/SYmq8w | 17.170313524646765 | 31751.266666666666 | 1849.1955095106432 |
BASE/roshambo2/KNPokQ | 17.673058708006742 | 271170.7 | 15343.733333333334 |
BASE/tictactoe2/bhrDoQ | 17.702078153376718 | 184872.83333333334 | 10443.566666666668 |
DRESDEN/tictactoeparallel/yk_DSg | 17.88598898425488 | 61266.666666666664 | 3425.4 |
BASE/hodgepodge/9yjRkw | 17.91345683541208 | 195328.33333333334 | 10904.0 |
BASE/breakthroughSmallHoles/bxclRw | 17.91534609883998 | 52607.333333333336 | 2936.439689364397 |
BASE/tictactoe_3d_small_6player/g_9lww | 18.00802019662378 | 29986.566666666666 | 1665.1784226835039 |
DRESDEN/tictactoe_3player/ESLQQQ | 18.069893026406973 | 51859.46666666667 | 2869.937668744375 |
BASE/tictactoe_3player/GtM71g | 18.072342902817017 | 51810.03333333333 | 2866.813318668133 |
DRESDEN/roshambo2/jgSlkQ | 18.11156983359563 | 276963.3333333333 | 15292.066666666668 |
BASE/chickentictactoe/DSlZCA | 18.2374675597772 | 118527.73333333334 | 6499.133333333333 |
BASE/checkers/rOC3Xg | 18.363742338193912 | 23870.666666666668 | 1299.8802873104548 |
BASE/amazonsSuicide_10x10/XIbQkg | 18.454942769701606 | 27301.2 | 1479.343520090549 |
BASE/amazons_10x10/Bun8dA | 18.49600608272506 | 27334.8 | 1477.875811553188 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 18.594199828047127 | 30738.033333333333 | 1653.0979347101932 |
BASE/ticTacToeParallel/ymRGPw | 18.640307170999208 | 61978.4 | 3324.9666666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 18.6933657205129 | 122363.03333333334 | 6545.8 |
DRESDEN/quartosuicide/WIU1oQ | 18.9755331354629 | 57845.433333333334 | 3048.422034858533 |
BASE/quartoSuicide/-23jUg | 19.1175316085099 | 58768.566666666666 | 3074.0666666666666 |
BASE/quarto/EwBMVQ | 19.11797800395386 | 58658.2 | 3068.2219630061654 |
STANFORD/bestbuttonsandlights/nm0wEA | 19.197477861541305 | 318824.0333333333 | 16607.6 |
BASE/minichess/8NQEiA | 19.277367586276945 | 82243.03333333334 | 4266.3 |
DRESDEN/bunk_t/7-tPfA | 19.390178326082523 | 77103.76666666666 | 3976.4341188627045 |
BASE/doubletoetictac/fu35bg | 19.414712879443833 | 76983.86666666667 | 3965.233333333333 |
DRESDEN/quarto/OQzRYQ | 19.616846335806034 | 59760.7 | 3046.396906872875 |
DRESDEN/connect4/T0-rHQ | 19.66408907811544 | 25705.0 | 1307.2052256215425 |
BASE/eotcatcit/AfZSzA | 19.668687201769018 | 135199.93333333332 | 6873.866666666667 |
BASE/haystack/UkweGA | 19.708624952293977 | 666166.6333333333 | 33800.76666666667 |
DRESDEN/doubletoetictac/V89gKQ | 19.74101932235576 | 79002.9 | 4001.9666011132963 |
STANFORD/tictactoe/ss1kyQ | 19.75412791801101 | 138779.33333333334 | 7025.333333333333 |
BASE/ticTacToe/JRFsaQ | 19.794905424611542 | 138349.23333333334 | 6989.133333333333 |
DRESDEN/blocksworldparallel/2JfVaw | 19.922754332364605 | 160414.03333333333 | 8051.8 |
DRESDEN/eotcatcit/mQUxzA | 19.939574563020155 | 137043.36666666667 | 6872.933333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 20.053656303568644 | 274526.5333333333 | 13689.6 |
STANFORD/trifecta/ss1kyQ | 20.106567816747457 | 141027.46666666667 | 7014.0 |
STANFORD/jointbuttonsandlights/qAKuIQ | 20.111959821182186 | 242939.06666666668 | 12079.333333333334 |
DRESDEN/doubletictactoe/lJzgmQ | 20.140876110412737 | 81175.76666666666 | 4030.3989867004434 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 20.182191508307916 | 142031.5 | 7037.466666666666 |
BASE/bunk_t/xbpfIA | 20.194820337436152 | 80392.9 | 3980.867304423186 |
BASE/doubletictactoe/HH1htg | 20.217673394738366 | 81434.76666666666 | 4027.9 |
BASE/sum15/QZ07Kg | 20.24960041556781 | 168922.16666666666 | 8342.0 |
BASE/tictactoe_orthogonal/WRzlVw | 20.346505206018364 | 143433.36666666667 | 7049.533333333334 |
DRESDEN/sum15/CsgWKg | 20.48284732062347 | 169608.9 | 8280.533333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 20.53848306064108 | 112557.73333333334 | 5480.333333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 20.548361066679398 | 143451.53333333333 | 6981.166666666667 |
STANFORD/triplesukoshi/Iu9mbA | 20.55149993187547 | 46924.166666666664 | 2283.247783481101 |
BASE/connect4/50bOyw | 20.55360177745003 | 26929.566666666666 | 1310.2115608862237 |
STANFORD/multiplebuttonsandlights/cK70Yg | 20.56820647809754 | 350058.5333333333 | 17019.4 |
DRESDEN/tictactoelarge/IwXcbg | 20.68723492393654 | 112710.33333333333 | 5448.303446436904 |
BASE/cubicup_3player/e2yA_g | 20.717343229748863 | 12309.866666666667 | 594.1817215727949 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 20.768875271494597 | 79231.56666666667 | 3814.918508149185 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 20.83867178907011 | 353657.26666666666 | 16971.2 |
BASE/ticTacToeLarge/TZC0dg | 20.874974394274027 | 113413.13333333333 | 5432.97113525765 |
DRESDEN/tictactoe/BTTzPw | 21.07552503653051 | 147117.0 | 6980.466666666666 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 21.083911366579738 | 13201.333333333334 | 626.1330311916822 |
DRESDEN/tictactoelargesuicide/6J4DeA | 21.179550127245008 | 116223.86666666667 | 5487.551244875513 |
BASE/tictactoe-init1/7M19vA | 21.341543059288576 | 149011.63333333333 | 6982.233333333334 |
BASE/tictactoe_3d_6player/d7KSwg | 21.37700090128151 | 13459.066666666668 | 629.6050006649821 |
STANFORD/tictactoe7/-bE9-A | 21.539771307773613 | 149442.93333333332 | 6938.0 |
BASE/pearls/6k_mEQ | 21.541163171007433 | 719649.3333333334 | 33408.1 |
DRESDEN/chomp/-LcqYQ | 21.61918325932959 | 77416.13333333333 | 3580.9 |
BASE/double_tictactoe_dengji/zgaSbA | 21.654339623047736 | 82690.96666666666 | 3818.6787547496833 |
DRESDEN/cubicup_3player/awDtsQ | 21.667062717219594 | 12776.2 | 589.6599906846762 |
BASE/wargame01/_GZFZg | 21.721905311767053 | 49591.53333333333 | 2283.0194967505417 |
BASE/incredible/8Qh-6Q | 21.76498306792688 | 160499.06666666668 | 7374.18752708243 |
BASE/chomp/-LcqYQ | 21.792461122696118 | 77682.13333333333 | 3564.633333333333 |
DRESDEN/Runners/3bOCQw | 21.99663682030105 | 331662.3 | 15077.864071197626 |
STANFORD/tictactoe3/X7myng | 22.211483479661155 | 153563.53333333333 | 6913.7 |
STANFORD/tictactoe5/WFRReg | 22.26189961419642 | 154450.83333333334 | 6937.9 |
BASE/blocksWorldSerial/Wyg96Q | 22.374546246551475 | 184912.2 | 8264.4 |
BASE/troublemaker02/DI83KA | 22.402453525590147 | 517468.3 | 23098.733333333334 |
BASE/cubicup/4wNWJA | 22.404068806454443 | 22703.466666666667 | 1013.3635485053487 |
BASE/wargame03/klXI8w | 22.48885743292241 | 43411.2 | 1930.3426209838688 |
DRESDEN/troublemaker02/iZLVuA | 22.50355046136019 | 525648.4333333333 | 23358.466666666667 |
DRESDEN/cubicup/SBn_lw | 22.53953099537037 | 22713.033333333333 | 1007.6976906927922 |
STANFORD/selectivesukoshi/3xmXYg | 22.554352824510126 | 11547.966666666667 | 512.0061194625515 |
BASE/breakthroughSuicideSmall/XSbJog | 22.60768336076316 | 65931.66666666667 | 2916.338910739284 |
STANFORD/breakthrough/d5j0cQ | 22.737718976132467 | 48199.26666666667 | 2119.793402199267 |
BASE/knightazons/apnJBQ | 22.796349824715563 | 27671.566666666666 | 1213.8595380153995 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 22.861607998702276 | 103351.23333333334 | 4520.733333333334 |
BASE/troublemaker01/s3tlEQ | 22.923040406894604 | 540830.9333333333 | 23593.333333333332 |
BASE/knightfight/SJRkAg | 23.136591326366 | 109941.8 | 4751.858147518581 |
DRESDEN/knightfight/4_Ly4w | 23.179081171217 | 109349.63333333333 | 4717.6 |
BASE/breakthroughSmall/HJ0tIA | 23.19116256783678 | 67503.0 | 2910.720831805912 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 23.217814398874086 | 105027.7 | 4523.582547248425 |
DRESDEN/knightazons/02I8BQ | 23.30976672043305 | 28370.7 | 1217.1164276444947 |
BASE/aipsrovers01/4C4jsw | 23.339518498259572 | 197117.1 | 8445.636957536164 |
DRESDEN/oisters_farm/pTQMLg | 23.44608737578175 | 370290.63333333336 | 15793.280447970135 |
BASE/biddingTicTacToe/8mESVw | 23.53836510666481 | 123991.26666666666 | 5267.624412519583 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 23.60246267296836 | 19966.233333333334 | 845.9385620043979 |
BASE/blocksWorld/SEdXLQ | 23.63364950869182 | 328146.13333333336 | 13884.7 |
DRESDEN/troublemaker01/C-lPWw | 23.66238618709563 | 561519.4666666667 | 23730.466666666667 |
BASE/breakthroughHoles/nZk0Sg | 23.87434860103627 | 44520.8 | 1864.7964283334443 |
DRESDEN/backgammon/mqCW0Q | 23.898706908827613 | 26297.066666666666 | 1100.3552103044185 |
BASE/blocks/xIV5hQ | 23.942309668016584 | 334031.13333333336 | 13951.5 |
DRESDEN/blocks/vg0DRw | 23.948019916826002 | 326892.86666666664 | 13650.1 |
BASE/knightThrough/gcwFjA | 23.983656206189096 | 46736.76666666667 | 1948.6923205064134 |
BASE/breakthroughSuicide/wZDpIg | 24.128652536148724 | 49032.2 | 2032.115134756971 |
DRESDEN/frogs_and_toads/GjchhQ | 24.145653759461734 | 57372.46666666667 | 2376.099120703437 |
DRESDEN/aipsrovers01/qS47Mw | 24.26086585454642 | 203630.83333333334 | 8393.386887103763 |
DRESDEN/chinesecheckers1/Y-ftaA | 24.6563672315935 | 62016.46666666667 | 2515.231302493001 |
DRESDEN/bidding-tictactoe/yW5vTA | 24.760053484938354 | 130796.4 | 5282.55724809173 |
STANFORD/buttonsandlights/eyhJpA | 24.836995817270314 | 717704.7333333333 | 28896.6 |
DRESDEN/breakthrough/z4hK7Q | 24.938538853134638 | 50730.26666666667 | 2034.2116659449016 |
STANFORD/threepuzzle/41ibjA | 24.95725202914455 | 336593.4666666667 | 13486.8 |
BASE/breakthroughWalls/vOZaYA | 24.970290698627668 | 50765.433333333334 | 2033.0333333333333 |
BASE/breakthrough/TGxk-g | 25.01737810847856 | 51105.5 | 2042.8 |
STANFORD/3puzzle/41ibjA | 25.01832410054801 | 336006.1 | 13430.4 |
BASE/conn4/va9Y7A | 25.040880277459173 | 40742.333333333336 | 1627.0327912556652 |
BASE/cittaceot/fDxhXg | 25.250299740849414 | 39290.86666666667 | 1556.0554555755516 |
DRESDEN/connect5/1kYzSg | 25.261717034482757 | 19485.066666666666 | 771.3278808431412 |
BASE/circlesolitaire/azuQFQ | 25.43779933801842 | 268218.7 | 10544.1 |
DRESDEN/knightthrough/J7Fc_Q | 25.449466524967406 | 49866.166666666664 | 1959.4189378290132 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 25.57963713755319 | 51855.26666666667 | 2027.208845372498 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 25.587777813799654 | 52067.3 | 2034.850403145199 |
DRESDEN/circlesolitaire/ruUilQ | 25.630504180390165 | 269769.6 | 10525.333333333334 |
DRESDEN/brain_teaser_extended/ZDp94A | 26.073159465760288 | 199446.63333333333 | 7649.5 |
BASE/racer4/0vs7Ww | 26.398408331778896 | 23583.833333333332 | 893.3808825489934 |
BASE/connect5/d-BVQg | 26.46952866209263 | 20548.933333333334 | 776.3241119877492 |
BASE/snake2p/I3wWPQ | 26.54682779456193 | 94606.7 | 3563.766666666667 |
DRESDEN/toetictac/mJtxCA | 27.003487914394842 | 246970.3 | 9145.866666666667 |
BASE/brain_teaser_extended/ZDp94A | 27.00464871325978 | 207226.76666666666 | 7673.744208526383 |
DRESDEN/twisty-passages/j7NPyg | 27.183650959232615 | 100143.43333333333 | 3683.9581807285076 |
BASE/twisty-passages/DiZmmg | 27.4001738085445 | 102016.8 | 3723.21725813969 |
DRESDEN/checkers/jIDMIg | 27.7166963734763 | 18232.8 | 657.8273165862586 |
BASE/chickentoetictac/l57rfQ | 27.872337694165974 | 238829.7 | 8568.7 |
BASE/hanoi_6_disks/MeubgQ | 27.88498654813429 | 254281.33333333334 | 9118.933333333332 |
BASE/asteroidsSerial/id2QkA | 27.91794821563198 | 271478.3 | 9724.149421840115 |
DRESDEN/hanoi_6_disks/MeubgQ | 28.00252250270399 | 254584.93333333332 | 9091.5 |
DRESDEN/chickentoetictac/cxYaRQ | 28.068016272388995 | 242633.96666666667 | 8644.5 |
BASE/toetictac/mTThmg | 28.083882440216446 | 257428.1 | 9166.4 |
BASE/untwistycomplex2/EDPPAQ | 28.353607606668916 | 606732.2333333333 | 21398.766666666666 |
STANFORD/untwistycorridor/EDPPAQ | 28.39706320753996 | 619164.8333333334 | 21803.833333333332 |
BASE/wargame02/BkVqqQ | 28.537477946985693 | 33768.36666666667 | 1183.2989141296382 |
BASE/lightsOnSimultaneous/_VN6lw | 28.859586551673846 | 41765.36666666667 | 1447.192134644226 |
BASE/blocker/dIWtxg | 28.958730889192573 | 141265.63333333333 | 4878.170727642412 |
DRESDEN/latenttictactoe/kITHKg | 28.971375051220512 | 82486.33333333333 | 2847.1666666666665 |
BASE/ticTacToeSerial/Amrwqw | 29.12509874590949 | 97299.16666666667 | 3340.732593407326 |
DRESDEN/blocker/S815zQ | 29.341667638164076 | 142623.0 | 4860.766666666666 |
DRESDEN/endgame/IJhh3Q | 29.41028405901403 | 21786.266666666666 | 740.7703585232574 |
BASE/maze/cCX3qQ | 30.108372547251562 | 656680.6666666666 | 21810.566666666666 |
BASE/asteroidsParallel/WauZiA | 30.633060950667243 | 318886.86666666664 | 10409.892344098924 |
DRESDEN/sheep_and_wolf/enAIzQ | 31.037701401610864 | 26185.766666666666 | 843.6760934012858 |
DRESDEN/nim4/F5YAYg | 31.87582118344518 | 180660.46666666667 | 5667.633333333333 |
DRESDEN/nim3/sG_axA | 32.013747339210305 | 182781.73333333334 | 5709.476350788307 |
BASE/nim4/twk16w | 32.3868038018802 | 182122.2 | 5623.345888470384 |
BASE/nim3/1OwUqw | 32.45453071182649 | 185689.2 | 5721.518565428972 |
BASE/sheepAndWolf/g4THrg | 32.460244887505155 | 27103.033333333333 | 834.9608398600234 |
BASE/lightsOut/5P1ZBw | 32.52915574529667 | 104881.7 | 3224.236768430876 |
DRESDEN/lightsout2/LFtfyQ | 32.715222565423446 | 105834.06666666667 | 3235.0098323500983 |
DRESDEN/lightsout/XgLpzQ | 32.80985470555899 | 106103.53333333334 | 3233.8922035932137 |
BASE/coloredtrails/EZvr7g | 33.025032720744925 | 101584.83333333333 | 3075.994933671089 |
DRESDEN/buttons/ADUaHw | 33.16585949858069 | 612228.5 | 18459.6 |
BASE/asteroids/BKCmPQ | 33.193968160575395 | 540244.5 | 16275.381641223918 |
DRESDEN/hanoi/RQ0jiA | 33.30182586054635 | 340643.26666666666 | 10228.966666666667 |
BASE/buttons/hTcUjw | 33.44588733054821 | 627658.9 | 18766.4 |
BASE/blocks2player/wnTLOQ | 33.62377405390781 | 265125.7 | 7885.066666666667 |
DRESDEN/mimikry/GJEhwA | 33.640558390910485 | 53543.73333333333 | 1591.642228739003 |
BASE/lightsOnSimul4/9FeASw | 33.793251636352196 | 35790.1 | 1059.090151641393 |
BASE/hanoi/iGLsJg | 34.028989753678935 | 347636.26666666666 | 10215.885607626158 |
STANFORD/untwistycomplex/HTWEwg | 34.192421784432725 | 659705.1666666666 | 19293.9 |
DRESDEN/cube_2x2x2/fp-34Q | 34.292051830170905 | 90598.13333333333 | 2641.957202853143 |
DRESDEN/pancakes88/aD3E7g | 34.48368239148975 | 640218.3 | 18565.833333333332 |
BASE/pancakes6/QZTdnw | 34.53654262415626 | 683100.8333333334 | 19779.07403086564 |
BASE/pancakes88/l2Xaig | 34.666663092487255 | 646613.0 | 18652.3 |
DRESDEN/pancakes/hl9aiQ | 34.76652668389185 | 679041.8 | 19531.48228392387 |
BASE/pancakes/yUgbXw | 34.86485270931028 | 684756.1666666666 | 19640.3 |
DRESDEN/pancakes6/SZXMyQ | 35.235451114458336 | 693985.7 | 19695.666666666668 |
DRESDEN/blocks2player/3ev8nQ | 35.278320542596525 | 279488.9666666667 | 7922.4 |
DRESDEN/hanoi7_bugfix/3gdnFw | 35.76615225729305 | 316999.8 | 8863.122812864523 |
BASE/factoringEasyTurtleBrain/lUj94Q | 35.906384629331185 | 178179.9 | 4962.345884705098 |
DRESDEN/hanoi7/51zz5Q | 36.10972946336253 | 317657.1 | 8796.994735789965 |
BASE/factoringGeorgeForman/HGRorQ | 36.76177934432057 | 349296.3333333333 | 9501.616612779573 |
BASE/racetrackcorridor/_RkdUg | 36.774434474197996 | 65501.933333333334 | 1781.1812545830278 |
BASE/endgame/jYjfOA | 37.67879402630618 | 27489.5 | 729.5748367319738 |
BASE/lightsOn/MsXu3A | 37.73991879037778 | 376776.5 | 9983.500549981667 |
BASE/hanoi7_bugfix/3gdnFw | 37.95415310468233 | 333616.86666666664 | 8789.996334433003 |
BASE/nim2/eF2Qqw | 38.18726782378744 | 242601.16666666666 | 6352.933333333333 |
DRESDEN/nim2/z5_exA | 38.24608104575163 | 243818.76666666666 | 6375.0 |
BASE/crossers3/O0rORg | 38.83393043845102 | 74141.03333333334 | 1909.181803032828 |
DRESDEN/crossers3/xiPTxg | 38.97515601001912 | 74511.63333333333 | 1911.7725484967668 |
BASE/lightsOnParallel/SC6enA | 39.27095729520903 | 180142.96666666667 | 4587.180427319089 |
BASE/tictactoex9/BI26ow | 39.480035396856195 | 20327.8 | 514.8880895283773 |
DRESDEN/racetrackcorridor/O0DoTA | 39.493024300309685 | 60643.46666666667 | 1535.5488150394988 |
DRESDEN/tictactoex9/rFkD4w | 39.62413681832849 | 20465.866666666665 | 516.5 |
BASE/blockerSerial/3eqDuw | 40.23175640587305 | 83932.6 | 2086.227584827678 |
BASE/simultaneousWin2/PfjRjw | 40.70209948202849 | 38741.5 | 951.830507345348 |
DRESDEN/nim1/M9BALA | 41.15915751901766 | 271906.1666666667 | 6606.213126229126 |
BASE/nim1/hin2Qw | 41.16234238299366 | 273667.8333333333 | 6648.5 |
BASE/dotsAndBoxes/EHwA_w | 41.24276993003079 | 65423.73333333333 | 1586.307938199254 |
BASE/dotsAndBoxesSuicide/jzQbLw | 41.464505813692476 | 65644.76666666666 | 1583.1556503198294 |
DRESDEN/lightson2x2/gBHuig | 42.36234229571268 | 204306.76666666666 | 4822.839238692043 |
BASE/queens06ug/7Lq3tw | 43.34677349200759 | 98459.96666666666 | 2271.448570095327 |
STANFORD/multipletictactoe/_bkafQ | 46.485201824508266 | 28635.466666666667 | 616.0125274871726 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 47.76672250858506 | 182349.03333333333 | 3817.49100119984 |
BASE/catcha_mouse/cHv4dw | 48.55446602257 | 50666.23333333333 | 1043.492751208132 |
DRESDEN/catcha_mouse/cHv4dw | 52.579807079815815 | 54781.8 | 1041.8790604697651 |
BASE/ghostMaze2p/W-NU-w | 52.82688241973061 | 131461.7 | 2488.537918166067 |
BASE/mummyMaze2p_2007/YGA3Vw | 52.84879304322749 | 109928.16666666667 | 2080.0506565353594 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 52.87254620087713 | 108718.66666666667 | 2056.240421136803 |
DRESDEN/ghostmaze2p/HY0UwA | 53.27337523049598 | 132622.36666666667 | 2489.468070923877 |
BASE/knightmove/jBaJEw | 54.647452715118305 | 53826.46666666667 | 984.9766822118588 |
BASE/chinook/XQh0IQ | 55.43357546568062 | 39918.3 | 720.1105045932632 |
DRESDEN/knightmove/97Ipcw | 56.25379342496285 | 55491.1 | 986.4419201172591 |
BASE/queens08ug/kJ_ZFQ | 57.050693527080576 | 57583.166666666664 | 1009.3333333333334 |
DRESDEN/grid_game/U7_Yeg | 59.95286127067015 | 80332.0 | 1339.919368273748 |
BASE/firefighter/WJmoPw | 61.39231454812043 | 227421.6 | 3704.398533822059 |
DRESDEN/firefighter/WJmoPw | 61.436854696549986 | 227701.36666666667 | 3706.266666666667 |
DRESDEN/fizzbuzz/t1xHzQ | 65.12991516056759 | 610422.0 | 9372.375174988334 |
BASE/hexPie/48CH6Q | 69.25635458908997 | 23700.366666666665 | 342.21215955250716 |
BASE/tron_10x10/7ZTgDg | 70.29538144860415 | 109281.2 | 1554.6 |
BASE/wallmaze/uxNQ9g | 70.51998594500219 | 26878.5 | 381.14726825048245 |
BASE/hex/T1MK8g | 71.21937977313888 | 24893.8 | 349.53688278803224 |
DRESDEN/guess/PhxGhg | 71.44474406560994 | 174120.66666666666 | 2437.1375241650558 |
STANFORD/hex/MTqWcw | 71.75198315475636 | 25564.8 | 356.29398486256804 |
BASE/guess/SPpk1A | 73.35433746779185 | 179335.86666666667 | 2444.7888544478888 |
STANFORD/platformjumpers/HEQskA | 77.77659364078083 | 30312.2 | 389.734219269103 |
BASE/bomberman2p/4CClwA | 78.2668699839888 | 86887.83333333333 | 1110.1483086152307 |
DRESDEN/bomberman2p/x4h6jQ | 79.76697043520106 | 88405.73333333334 | 1108.3 |
BASE/mummymaze1p/PT_EXA | 84.37358685162273 | 89948.6367575495 | 1066.075772216854 |
DRESDEN/mummymaze1p/AekgaQ | 85.40841706984244 | 91796.96666666666 | 1074.8 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 88.36528909306462 | 59545.53333333333 | 673.8566007589375 |
BASE/zhadu/DlA8iQ | 94.50920596727622 | 3172.7 | 33.570274636510504 |
BASE/hallway/ckCJOw | 103.31394764832794 | 21188.033333333333 | 205.0839583195062 |
DRESDEN/hallway/0H4l-Q | 106.8900306364617 | 21917.066666666666 | 205.04313205043132 |
BASE/queens12ug/u6Bkmg | 108.11618053491827 | 29075.8 | 268.9310689310689 |
BASE/golden_rectangle/_nYzfw | 116.65157693242587 | 15983.5 | 137.01915070774353 |
BASE/racer/QQYQNw | 139.07970155552422 | 65698.26666666666 | 472.3785421730878 |
DRESDEN/racer/vk_ZBA | 140.44623587190975 | 65772.93333333333 | 468.3139631689367 |
BASE/queens16ug/gT-ylw | 162.20681548763736 | 15707.7 | 96.8374846197333 |
DRESDEN/mummymaze2p/k-8edg | 170.95695356489946 | 62217.86666666667 | 363.93878908848967 |
BASE/mummymaze2p/vpjDdA | 175.06310963179712 | 63674.13333333333 | 363.72102304852496 |
BASE/majorities/ibJzSQ | 177.58801987153754 | 29317.5 | 165.08714957916362 |
DRESDEN/small_dominion/yB5GJA | 205.10470072115385 | 2826.5 | 13.78076655513963 |
DRESDEN/golden_rectangle/1uloXw | 2859.8108028333336 | 15830.233333333334 | 5.535412803409814 |
Games with errors:
Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | CADIAPLAYER_PROLOG:3.0 error message |
STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/slaughter/cOch8A | Test process failed to output results for unknown reason | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/sudoku/NTaNkw | Test process failed to output results for unknown reason | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
BASE/pacman3p/wW7UVQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceMedium/3bUoIw | Test process failed to output results for unknown reason | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
BASE/cylinder-checkers/hlldmw | Test process failed to output results for unknown reason | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process failed to output results for unknown reason | |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | Test process failed to output results for unknown reason | |
BASE/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/2player_normal_form_2010/NG_Kdg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process failed to output results for unknown reason | |
STANFORD/freeforall/Lfp40Q | Test process failed to output results for unknown reason | |
DRESDEN/max_knights/hCipiA | Test process failed to output results for unknown reason | |
STANFORD/knightstourbig/TQUI2g | Test process failed to output results for unknown reason | |
DRESDEN/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process failed to output results for unknown reason | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | Test process failed to output results for unknown reason | |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | Test process failed to output results for unknown reason | |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | Test process failed to output results for unknown reason | |
DRESDEN/smallest/9kaGFw | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process failed to output results for unknown reason | |
BASE/ruleDepthLinear/OUBJpQ | Test process failed to output results for unknown reason | |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
DRESDEN/babel/WdSW4A | Test process failed to output results for unknown reason | |
DRESDEN/knightwar/7hhAqg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6/yTbPDA | Test process failed to output results for unknown reason | |
DRESDEN/skirmishfinal/hzq8ww | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Test process failed to output results for unknown reason | |
BASE/gt_centipede/9fRMpw | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
DRESDEN/cylinder-checkers/clOO3Q | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | Test process failed to output results for unknown reason | |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | |
BASE/knightwar/DVGY4Q | Test process failed to output results for unknown reason | |
STANFORD/checkersonabarrelnokings/Zrevdw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump/HUr33w | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | Test process failed to output results for unknown reason | |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
BASE/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | Test process failed to output results for unknown reason | |
BASE/copolymer_4_pie/IN5_jA | Test process failed to output results for unknown reason | |
BASE/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_6p/867v3Q | Test process failed to output results for unknown reason | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/snake_2008_tweaked/bX0NJQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/skirmishHoles/AUCxCA | Test process failed to output results for unknown reason | |
DRESDEN/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes1509/-qZrLw | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
BASE/gt_two_thirds_2p/1APDGg | Test process failed to output results for unknown reason | |
BASE/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Test process timed out after 240 seconds |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | Test process timed out after 240 seconds |