Game-by-game performance:
Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | CADIAPLAYER_PROLOG:3.0 states per second |
BASE/quad/tw-Ufg | 0.01134936937826859 | 0.5939025999736043 | 52.32912774085845 |
BASE/blokbox_simple/JBx4bg | 0.06065187290375013 | 4.739807756049055 | 78.14775585859923 |
BASE/othello-comp2007/86ZoMw | 0.07612273953804853 | 23.487141954156826 | 308.5430463576159 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.09526649250567268 | 29.082550469718168 | 305.2757554602573 |
BASE/quad_7x7/q-JOXg | 0.0966137455253755 | 35.214506274226395 | 364.48753831800616 |
DRESDEN/quad_7x7/q-JOXg | 0.09691681354102333 | 34.80610816266727 | 359.1338477913784 |
DRESDEN/quad/JPe6fg | 0.09875810384960387 | 4.9606455453403 | 50.23026315789474 |
BASE/amazons/RKKZjw | 0.12412867193827598 | 14.478764478764479 | 116.64319171934882 |
BASE/amazonsSuicide/dE1QEQ | 0.13357951627520445 | 15.660771757523474 | 117.23932077474132 |
DRESDEN/Zhadu/9zpQ5w | 0.1359875551436442 | 222.50366617784294 | 1636.2060921149105 |
BASE/pawnToQueen/-O1_JA | 0.14910166361992092 | 96.8139705392255 | 649.3151597960476 |
DRESDEN/pawntoqueen/f_x6Aw | 0.14945269857481455 | 97.16018932071195 | 650.1066240170599 |
BASE/hitori/S8Gsyg | 0.16167211458001704 | 302.47983467768813 | 1870.9462387094625 |
DRESDEN/hitori/S8Gsyg | 0.16298715378484296 | 304.92600986535126 | 1870.8591615010332 |
DRESDEN/minichess-evilconjuncts/th24Tw | 0.16692814492383748 | 474.68417719409354 | 2843.643757082861 |
BASE/minichess-evilconjuncts/4OpQzw | 0.16706628147697633 | 476.11746275124165 | 2849.871670944302 |
BASE/coins/QnGtnQ | 0.18256032584860027 | 1401.4 | 7676.366666666667 |
BASE/coins_atomic/AA3SSw | 0.183162424992405 | 1415.186160461318 | 7726.4 |
DRESDEN/coins/QwFP9w | 0.1848141347441327 | 1412.4666666666667 | 7642.633333333333 |
BASE/ticTacHeaven/18n58A | 0.1883514022371805 | 510.1829939002033 | 2708.676377454085 |
BASE/qyshinsu/R08Lzw | 0.19068494529135532 | 549.2666666666667 | 2880.4930867899384 |
BASE/blocksWorldParallel/RseaAQ | 0.20154586623040993 | 1416.7666666666667 | 7029.5 |
BASE/nineBoardTicTacToe/wRmqqA | 0.2043257612404301 | 703.8666666666667 | 3444.825862356274 |
STANFORD/nineboardtictactoe/y28P-A | 0.2071430647176775 | 712.8 | 3441.1 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.2095054636599381 | 664.511182960568 | 3171.808368869936 |
STANFORD/duidoku/3SoMaA | 0.21249647206412844 | 85.15247458756873 | 400.7241803142544 |
DRESDEN/capture_the_king/EQ229Q | 0.21514018362298526 | 292.47075292470754 | 1359.4427038197452 |
BASE/sudokuGrade1/tDRNRw | 0.21892140649989986 | 94.31132735695004 | 430.7999334774655 |
BASE/sudokuGrade3/eI8dvg | 0.22450346544123462 | 92.9240409292404 | 413.9091605851578 |
BASE/sudokuGrade2/u80Tfw | 0.2270711750369389 | 95.19365375641624 | 419.22385675297875 |
BASE/sudokuGrade4/DTy07w | 0.22901607266528157 | 95.26666666666667 | 415.9824485589868 |
BASE/pentago/86NgKw | 0.22908115037375013 | 786.3 | 3432.4081170237578 |
STANFORD/sudoku/oJ1qyQ | 0.22992789648235742 | 93.96666666666667 | 408.6788428209572 |
BASE/sudokuGrade5/BQfUQA | 0.2327114501876274 | 97.16342788573714 | 417.52749083638787 |
BASE/ticTacHeavenFC/mrletw | 0.23375871367894824 | 477.31742275257494 | 2041.9235511713932 |
DRESDEN/pentago_2008/hLjVpQ | 0.23552942351213946 | 815.7666666666667 | 3463.5446157945576 |
BASE/pentagoSuicide/SBgNhw | 0.2378993047145713 | 818.3333333333334 | 3439.8307061685605 |
BASE/sudokuGrade6E/ihYFZA | 0.24045183025156663 | 91.74525943946412 | 381.5535916007708 |
BASE/sudokuGrade6H/ieE_9A | 0.24240236238380475 | 92.96356788107063 | 383.509331208076 |
BASE/snake2p/I3wWPQ | 0.2655149514090896 | 946.2333333333333 | 3563.766666666667 |
BASE/reversi/d8UMeA | 0.279744244668241 | 128.30767179897353 | 458.6606310744242 |
BASE/reversiSuicide/9OxJlg | 0.2867493966089718 | 130.89842708611036 | 456.49068013423266 |
BASE/god/qF06gw | 0.2907136040483828 | 270.61529231384577 | 930.8655960551743 |
BASE/connectFourLarger/qKi60A | 0.2917208669716612 | 977.2007599746676 | 3349.780117270789 |
BASE/quad_5x5/JAEP5g | 0.298543482215086 | 287.5379128753791 | 963.1357909472702 |
DRESDEN/god/2EDD5w | 0.2987434448769687 | 278.8 | 933.2422343687508 |
DRESDEN/quad_5x5/JAEP5g | 0.30581646142071944 | 293.0235658811373 | 958.1680610646312 |
DRESDEN/tttcc4/sAvtFg | 0.3288410078204957 | 1313.5666666666666 | 3994.534244292618 |
BASE/ttcc4_2player/_aH_Mw | 0.33242817514094686 | 1479.8333333333333 | 4451.588174515881 |
DRESDEN/battlebrushes/QHXV4A | 0.33432421999203227 | 278.60165961275703 | 833.3277787035494 |
BASE/tttcc4/8Bs2lg | 0.33520773734282483 | 1343.3333333333333 | 4007.46517363194 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.33583663289869853 | 1570.1666666666667 | 4675.38830744617 |
BASE/pawnWhopping/Ypc_6Q | 0.3374463982502086 | 1563.3666666666666 | 4632.933333333333 |
BASE/ttcc4/Le0qjQ | 0.34607054601291726 | 1384.7666666666667 | 4001.399953334889 |
DRESDEN/amazons/dNB28A | 0.3465591271148298 | 151.8978904922185 | 438.30295787272183 |
BASE/battlebrushes/arCwyA | 0.34907456702053774 | 296.6901103296557 | 849.9333333333333 |
DRESDEN/pawn_whopping/4ogBkg | 0.3498595098953985 | 1662.2 | 4751.049930004667 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.3529469486411757 | 385.6047984005331 | 1092.5290610531927 |
BASE/connectFourLarge/aU644A | 0.3540430123399838 | 1534.8 | 4335.066493350665 |
BASE/connectFourSimultaneous/7ITr3g | 0.35949683525380066 | 1041.9333333333334 | 2898.310168983102 |
BASE/ttcc4_2player_small/Cv72TA | 0.3651202438882464 | 2230.8333333333335 | 6109.859342710486 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.3654485051078348 | 1712.6333333333334 | 4686.387574161722 |
BASE/checkLines/Vop7oQ | 0.36779019906079136 | 2764.6666666666665 | 7516.966666666666 |
BASE/dualConnect4/WbCQkg | 0.3724846830628067 | 1282.8 | 3443.9 |
BASE/skirmishZeroSum/zh4hcw | 0.3729358111111111 | 595.4666666666667 | 1596.700153017098 |
STANFORD/ttcc4/Cx9SGw | 0.3746537568703782 | 1564.7333333333333 | 4176.47842745294 |
BASE/speedChess/bPnisA | 0.3866910201014465 | 685.4333333333333 | 1772.5607725607726 |
STANFORD/pentago/ZxzLmg | 0.38771917222319036 | 1409.0666666666666 | 3634.2455251491615 |
BASE/3pConnectFour/PqXOFQ | 0.39404149328526594 | 1369.8333333333333 | 3476.368242117192 |
BASE/connectFour_9x6/B9TtMw | 0.39504554635129613 | 1966.3 | 4977.400753308223 |
DRESDEN/farmers/S_ASnw | 0.40125952165453316 | 2039.2666666666667 | 5082.163927869071 |
BASE/connectFourSuicide/c8p9Kw | 0.4097528910218773 | 2140.1666666666665 | 5223.066666666667 |
STANFORD/duikoshi/tpw1sw | 0.41268929938425697 | 1653.2333333333333 | 4006.0 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.41465005109708447 | 1456.1333333333334 | 3511.7162761241293 |
DRESDEN/connectfoursuicide/M9CNQg | 0.4153987593228212 | 2146.1 | 5166.361121295957 |
STANFORD/connectfour/VMpZkQ | 0.41702604240419144 | 2159.6666666666665 | 5178.733333333334 |
DRESDEN/connectfour/5tc-Mg | 0.41710553357652985 | 2164.8333333333335 | 5190.133333333333 |
BASE/connectFour/WAIKTw | 0.4215515251019728 | 2191.0 | 5197.466666666666 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.42598133023975254 | 856.7333333333333 | 2011.1992533831078 |
BASE/checkersTiny/Lr48cg | 0.43122537439334413 | 1243.9 | 2884.5705143161895 |
STANFORD/selectivesukoshi/3xmXYg | 0.43323416849616114 | 221.81854543030465 | 512.0061194625515 |
DRESDEN/blobwars/ZaMluQ | 0.4351936073589635 | 566.6288914072395 | 1302.015658837248 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.4403048122716166 | 900.2165583874729 | 2044.5303646423572 |
BASE/3pttc/0sol9g | 0.44160239587262573 | 2419.4 | 5478.684043865204 |
BASE/checkersSmall/SYmq8w | 0.44172361934271287 | 816.8333333333334 | 1849.1955095106432 |
BASE/blobwars/0XT15Q | 0.4491413859110591 | 578.8807039765342 | 1288.8607510579454 |
BASE/futoshiki6/JmvXNA | 0.45105496204970896 | 509.6333333333333 | 1129.8696970706835 |
DRESDEN/breakthrough/z4hK7Q | 0.45398422173094244 | 923.5 | 2034.2116659449016 |
BASE/hidato19/rRHSmA | 0.4543770234505862 | 1205.5333333333333 | 2653.156456236251 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.4582135533030276 | 931.240209312402 | 2032.327945342443 |
DRESDEN/knightazons/02I8BQ | 0.45867975650208687 | 558.2666666666667 | 1217.1164276444947 |
BASE/knightazons/apnJBQ | 0.4595930472032293 | 557.8814039532016 | 1213.8595380153995 |
BASE/2pttc/unkkYA | 0.46566247150926565 | 2819.4 | 6054.6 |
BASE/breakthroughWalls/vOZaYA | 0.4658392221803217 | 947.0666666666667 | 2033.0333333333333 |
BASE/breakthrough/TGxk-g | 0.4673813719731088 | 954.7666666666667 | 2042.8 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.4677700038752179 | 868.4640250608192 | 1856.6047798406719 |
BASE/futoshiki4/BaCwSw | 0.46919346325821326 | 1570.5 | 3347.233333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.4695513071574374 | 955.4666666666667 | 2034.850403145199 |
BASE/breakthroughSuicide/wZDpIg | 0.47287346907548883 | 960.9333333333333 | 2032.115134756971 |
BASE/checkers/rOC3Xg | 0.47784858949316683 | 621.1459618012733 | 1299.8802873104548 |
BASE/englishDraughts/jFkQxg | 0.48111893707596115 | 1928.0666666666666 | 4007.463681194189 |
BASE/futoshiki5/TJ4BZg | 0.48184968808792944 | 811.0333333333333 | 1683.1666666666667 |
BASE/ticTacToeNoVars/XT03NA | 0.4857803409141711 | 5070.866666666667 | 10438.6 |
DRESDEN/3pttc/uwYBZw | 0.487175018921531 | 2788.9 | 5724.6367151046525 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.4889662966636939 | 353.10979268048794 | 722.1556886227545 |
BASE/escortLatch/mX9BjQ | 0.48941247204632465 | 1645.6333333333334 | 3362.467095398354 |
BASE/merrills/pku8Tg | 0.49309525053129794 | 558.5480483983868 | 1132.7386499800293 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.4973771853725242 | 9020.3 | 18135.733333333334 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.5013320363425592 | 9139.4 | 18230.233333333334 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.5041963272354621 | 426.5191160294657 | 845.9385620043979 |
BASE/2pffa_zerosum/o0_uZA | 0.5078667076141924 | 2755.733333333333 | 5426.095650724879 |
DRESDEN/merrills/aYEzwA | 0.5128920507481096 | 580.0473317556082 | 1130.9345327336332 |
BASE/asteroidsSerial/id2QkA | 0.5150784693569832 | 5008.7 | 9724.149421840115 |
BASE/breakthroughSmall/HJ0tIA | 0.517981657163793 | 1507.7 | 2910.720831805912 |
BASE/choicethroughalt/tt71Lg | 0.5298471075530804 | 1014.8 | 1915.2694910169662 |
BASE/breakthroughSuicideSmall/XSbJog | 0.530733926122337 | 1547.8 | 2916.338910739284 |
DRESDEN/javastrike/whONTQ | 0.5325354655260408 | 723.2 | 1358.0316182052213 |
BASE/slidingpieces/uFJWEw | 0.532772099527511 | 775.5666666666667 | 1455.7193729823277 |
DRESDEN/slidingpieces/s9_44g | 0.5384667785314355 | 775.740808639712 | 1440.6474820143885 |
BASE/crisscross/ICagEg | 0.5457998547768882 | 2292.366666666667 | 4200.013332000133 |
BASE/chess_200/XsTpYA | 0.5461496375250826 | 285.5571480950635 | 522.855145320771 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.5496312017077518 | 2391.266666666667 | 4350.674887518747 |
BASE/hidato37/pBrqxw | 0.5510425651367309 | 308.5897136762108 | 560.0106656001067 |
BASE/asteroidsParallel/WauZiA | 0.5588402333444327 | 5817.466666666666 | 10409.892344098924 |
BASE/withConviction/3Xm54A | 0.5590460375260597 | 1340.6 | 2398.0135981869084 |
STANFORD/sukoshi/4LYZZQ | 0.5612780181364385 | 4640.066666666667 | 8266.966666666667 |
DRESDEN/crisscross/GsY16g | 0.5673244324324324 | 2396.233333333333 | 4223.744292237443 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.5681315487122718 | 2257.4 | 3973.375541486171 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.5739393756117148 | 2286.9 | 3984.5671810939634 |
BASE/breakthroughSmallHoles/bxclRw | 0.574017124469365 | 1685.5666666666666 | 2936.439689364397 |
DRESDEN/stratego/Z2wovg | 0.5768075906655677 | 1492.6333333333334 | 2587.749116843298 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.578855236327442 | 2390.4666666666667 | 4129.645059156807 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.5796270097544568 | 2411.8 | 4160.9517144856545 |
BASE/chineseCheckers4/avfBcQ | 0.5797115945227941 | 2450.7 | 4227.446929049888 |
BASE/ticTacToeLarge/TZC0dg | 0.5811123578732106 | 3157.1666666666665 | 5432.97113525765 |
BASE/ticTacToeLargeSuicide/727_8g | 0.5846724651785171 | 3204.2 | 5480.333333333333 |
DRESDEN/tictactoelarge/IwXcbg | 0.587516223744851 | 3200.9666666666667 | 5448.303446436904 |
STANFORD/multiplesukoshi/vLSQPg | 0.5915177230018084 | 229.78468102126524 | 388.46626582068234 |
BASE/amazonsTorus_10x10/Uxc08g | 0.5965358817479823 | 758.7333333333333 | 1271.8989025606918 |
BASE/amazons_8x8/7SOsIw | 0.6000485430987287 | 1314.0 | 2189.822832023445 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.6029222359893831 | 3308.5666666666666 | 5487.551244875513 |
DRESDEN/minichess/c7GMFw | 0.6138062126332207 | 2518.733333333333 | 4103.466666666666 |
BASE/guess/SPpk1A | 0.6156496216820493 | 1505.1333333333334 | 2444.7888544478888 |
STANFORD/triplesukoshi/Iu9mbA | 0.618826105320526 | 1412.9333333333334 | 2283.247783481101 |
DRESDEN/guess/PhxGhg | 0.62031788727964 | 1511.8 | 2437.1375241650558 |
BASE/ticTicToe/c1OobQ | 0.6271957883838704 | 4280.966666666666 | 6825.566666666667 |
DRESDEN/cubicup_3player/awDtsQ | 0.6362352706277556 | 375.16248375162485 | 589.6599906846762 |
BASE/cubicup_3player/e2yA_g | 0.6394575728912472 | 379.9540015332822 | 594.1817215727949 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.6416023332951167 | 536.5308979401374 | 836.2358895807665 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.6438911198991748 | 1606.4333333333334 | 2494.883503883204 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.645806313999921 | 543.7 | 841.8932862896515 |
BASE/eotcitcit/V_9_bg | 0.6459154394391858 | 4419.633333333333 | 6842.433333333333 |
DRESDEN/tictictoe/LAUtwg | 0.6471895545883878 | 4426.366666666667 | 6839.366666666667 |
BASE/tictactoe2/bhrDoQ | 0.6485651453686 | 6773.333333333333 | 10443.566666666668 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.649711922057264 | 1633.7 | 2514.4990333977735 |
DRESDEN/chinesecheckers4/-oVNYg | 0.6589000765158732 | 1405.6666666666667 | 2133.353321340529 |
BASE/conn4/va9Y7A | 0.6630884592277021 | 1078.8666666666666 | 1627.0327912556652 |
STANFORD/tictictoe/rpt_Dw | 0.673019217422998 | 4493.233333333334 | 6676.233333333334 |
BASE/lightsOut/5P1ZBw | 0.6753329515539935 | 2177.4333333333334 | 3224.236768430876 |
DRESDEN/blocksworldparallel/2JfVaw | 0.6769707808605943 | 5450.833333333333 | 8051.8 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.6872349440481468 | 1136.0666666666666 | 1653.0979347101932 |
DRESDEN/lightsout/XgLpzQ | 0.6899116790352504 | 2231.1 | 3233.8922035932137 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.6915454858454476 | 1023.0333333333333 | 1479.343520090549 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.691957881292061 | 1152.2333333333333 | 1665.1784226835039 |
DRESDEN/aipsrovers01/qS47Mw | 0.6921838281508544 | 5809.766666666666 | 8393.386887103763 |
BASE/amazons_10x10/Bun8dA | 0.6925931520531075 | 1023.5666666666667 | 1477.875811553188 |
BASE/tictactoe_3player/GtM71g | 0.6934063874065548 | 1987.8666666666666 | 2866.813318668133 |
BASE/blocksWorldSerial/Wyg96Q | 0.6939685074939903 | 5735.233333333334 | 8264.4 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.6962288258363241 | 1998.1333333333334 | 2869.937668744375 |
DRESDEN/checkers/jIDMIg | 0.6987649419182979 | 459.6666666666667 | 657.8273165862586 |
BASE/pegEuro/5awwhg | 0.7056431555728558 | 1148.0666666666666 | 1626.9791006966434 |
BASE/breakthroughHoles/nZk0Sg | 0.7078878137097254 | 1320.0666666666666 | 1864.7964283334443 |
BASE/aipsrovers01/4C4jsw | 0.7097629261285153 | 5994.4 | 8445.636957536164 |
BASE/numbertictactoe/rvJ-iQ | 0.7111899423901014 | 4176.7 | 5872.833333333333 |
BASE/tictactoe_3d_6player/d7KSwg | 0.7127274249876089 | 448.73675088327445 | 629.6050006649821 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.7140030671419889 | 1447.4333333333334 | 2027.208845372498 |
BASE/snakeParallel/RCVNtw | 0.716373810544214 | 6853.333333333333 | 9566.7 |
DRESDEN/peg/Vo31eg | 0.7194758081044934 | 1380.7 | 1919.0360321322623 |
BASE/peg/fJHVWw | 0.7268129879342928 | 1388.6333333333334 | 1910.5785895213971 |
BASE/cubicup/4wNWJA | 0.7275440958519688 | 737.2666666666667 | 1013.3635485053487 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 0.7307286320009936 | 457.53333333333336 | 626.1330311916822 |
DRESDEN/frogs_and_toads/GjchhQ | 0.730833708999159 | 1736.5333333333333 | 2376.099120703437 |
DRESDEN/cubicup/SBn_lw | 0.7328917592592592 | 738.5333333333333 | 1007.6976906927922 |
DRESDEN/peg_bugfixed/u_B7MA | 0.7329151002451789 | 1404.8333333333333 | 1916.77498916775 |
DRESDEN/backgammon/mqCW0Q | 0.7332480691486153 | 806.8333333333334 | 1100.3552103044185 |
BASE/minichess/8NQEiA | 0.7404855104735563 | 3159.133333333333 | 4266.3 |
DRESDEN/tpeg/h-Scbg | 0.757568127843124 | 1500.5666666666666 | 1980.7679488034132 |
BASE/tpeg/QNs7Lw | 0.7643049431512379 | 1514.7 | 1981.8006066464452 |
STANFORD/breakthrough/d5j0cQ | 0.778723686761508 | 1650.7333333333333 | 2119.793402199267 |
DRESDEN/connect4/T0-rHQ | 0.780188639608403 | 1019.8666666666667 | 1307.2052256215425 |
BASE/hodgepodge/9yjRkw | 0.7820585717779409 | 8527.566666666668 | 10904.0 |
BASE/connect4/50bOyw | 0.7844280247164724 | 1027.7666666666667 | 1310.2115608862237 |
BASE/incredible/8Qh-6Q | 0.7920827406700929 | 5840.966666666666 | 7374.18752708243 |
BASE/asteroids/BKCmPQ | 0.7924586317532745 | 12897.566666666668 | 16275.381641223918 |
BASE/quartoSuicide/-23jUg | 0.8104356877968382 | 2491.3333333333335 | 3074.0666666666666 |
DRESDEN/quarto/OQzRYQ | 0.8245697272733904 | 2511.9666666666667 | 3046.396906872875 |
DRESDEN/oisters_farm/pTQMLg | 0.8314928645294726 | 13132.0 | 15793.280447970135 |
DRESDEN/tictactoeparallel/yk_DSg | 0.8318541873455169 | 2849.4333333333334 | 3425.4 |
BASE/quarto/EwBMVQ | 0.8358261008885317 | 2564.5 | 3068.2219630061654 |
STANFORD/8puzzle/jNiGtw | 0.8429727530894177 | 6941.566666666667 | 8234.627562072988 |
DRESDEN/doubletictactoe/lJzgmQ | 0.8436633720930233 | 3400.3 | 4030.3989867004434 |
BASE/biddingTicTacToe/8mESVw | 0.84671311342285 | 4460.166666666667 | 5267.624412519583 |
BASE/eightPuzzle/vLrgFg | 0.8467853420775646 | 6971.733333333334 | 8233.176682331767 |
DRESDEN/quartosuicide/WIU1oQ | 0.8529658853881976 | 2600.2 | 3048.422034858533 |
BASE/bunk_t/xbpfIA | 0.8550649242233944 | 3403.9 | 3980.867304423186 |
DRESDEN/bunk_t/7-tPfA | 0.8581222685119213 | 3412.266666666667 | 3976.4341188627045 |
BASE/doubletictactoe/HH1htg | 0.8583711942534158 | 3457.4333333333334 | 4027.9 |
DRESDEN/8puzzle/8fKC2w | 0.8592237427042148 | 7098.433333333333 | 8261.449236717552 |
BASE/doubletoetictac/fu35bg | 0.8614793580873762 | 3415.9666666666667 | 3965.233333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.8667886789986273 | 6630.5 | 7649.5 |
DRESDEN/doubletoetictac/V89gKQ | 0.8741202385414324 | 3498.2 | 4001.9666011132963 |
DRESDEN/lightsout2/LFtfyQ | 0.8754326818462806 | 2832.0333333333333 | 3235.0098323500983 |
BASE/ticTacToeParallel/ymRGPw | 0.8773220784168262 | 2917.0666666666666 | 3324.9666666666667 |
BASE/brain_teaser_extended/ZDp94A | 0.8807868948541974 | 6758.933333333333 | 7673.744208526383 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.8862662009977372 | 3381.0333333333333 | 3814.918508149185 |
BASE/chickentictactoe/DSlZCA | 0.8920727891924052 | 5797.7 | 6499.133333333333 |
STANFORD/tictactoe3/X7myng | 0.893023995834358 | 6174.1 | 6913.7 |
DRESDEN/chickentictactoe/Ipbo-g | 0.8948129589456852 | 5857.266666666666 | 6545.8 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.8959434847397758 | 10822.4 | 12079.333333333334 |
BASE/double_tictactoe_dengji/zgaSbA | 0.9122701568791751 | 3483.6666666666665 | 3818.6787547496833 |
BASE/knightThrough/gcwFjA | 0.9135528038981023 | 1780.2333333333333 | 1948.6923205064134 |
DRESDEN/knightthrough/J7Fc_Q | 0.9213445706512498 | 1805.3 | 1959.4189378290132 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.9229192355117141 | 1995.9666666666667 | 2162.6666666666665 |
DRESDEN/mimikry/GJEhwA | 0.9229670505143558 | 1469.0333333333333 | 1591.642228739003 |
BASE/survival/YVIjJA | 0.9240871012542731 | 31294.733333333334 | 33865.566666666666 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.935158012711802 | 4227.6 | 4520.733333333334 |
BASE/pearls/6k_mEQ | 0.9358279379352114 | 31264.233333333334 | 33408.1 |
DRESDEN/chickentoetictac/cxYaRQ | 0.9365723870669211 | 8096.2 | 8644.5 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.9388445343950733 | 4959.5 | 5282.55724809173 |
DRESDEN/sum15/CsgWKg | 0.9392873244879557 | 7777.8 | 8280.533333333333 |
BASE/sum15/QZ07Kg | 0.9432270438743706 | 7868.4 | 8342.0 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.9441428898382667 | 2062.5 | 2184.5210319312046 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.9459151472650772 | 12949.2 | 13689.6 |
BASE/eotcatcit/AfZSzA | 0.9476762229894867 | 6514.2 | 6873.866666666667 |
STANFORD/tictactoe5/WFRReg | 0.9506094543497793 | 6595.233333333334 | 6937.9 |
DRESDEN/blockerparallel/dVQgSg | 0.951447153969626 | 1284.1666666666667 | 1349.6983634969836 |
BASE/ticTacToeSerial/Amrwqw | 0.9523659589751775 | 3181.6 | 3340.732593407326 |
DRESDEN/eotcatcit/mQUxzA | 0.953440549401517 | 6552.933333333333 | 6872.933333333333 |
BASE/blockerParallel/7-nDJA | 0.9555712044721354 | 1293.3 | 1353.4313235343132 |
BASE/dotsAndBoxes/EHwA_w | 0.9593975818639799 | 1521.9 | 1586.307938199254 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.9603745013951112 | 4344.333333333333 | 4523.582547248425 |
BASE/chickentoetictac/l57rfQ | 0.96074083583274 | 8232.3 | 8568.7 |
STANFORD/trifecta/ss1kyQ | 0.9642714570858283 | 6763.4 | 7014.0 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.9647398428731762 | 1527.3333333333333 | 1583.1556503198294 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.9668192793893131 | 2110.4666666666667 | 2182.8967539825367 |
BASE/tictactoe-init1/7M19vA | 0.9728358166202791 | 6792.566666666667 | 6982.233333333334 |
BASE/toetictac/mTThmg | 0.9797303194274743 | 8980.6 | 9166.4 |
STANFORD/tictactoe/ss1kyQ | 0.9802381856139686 | 6886.5 | 7025.333333333333 |
STANFORD/tictactoe7/-bE9-A | 0.9849236091092534 | 6833.4 | 6938.0 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.985494306109294 | 6879.9 | 6981.166666666667 |
DRESDEN/tictactoe/BTTzPw | 0.9967814950289857 | 6958.0 | 6980.466666666666 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.9990486283388329 | 16591.8 | 16607.6 |
BASE/hanoi_6_disks/MeubgQ | 1.0021566849923969 | 9138.6 | 9118.933333333332 |
BASE/ticTacToe/JRFsaQ | 1.008770758415445 | 7050.433333333333 | 6989.133333333333 |
DRESDEN/toetictac/mJtxCA | 1.0202568737790476 | 9331.133333333333 | 9145.866666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 1.0386074905131166 | 9442.5 | 9091.5 |
STANFORD/multiplebuttonsandlights/cK70Yg | 1.0633367619407956 | 18097.353686175178 | 17019.4 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.0634322427293066 | 2112.3333333333335 | 1986.3356107315446 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.073301482329843 | 2186.6 | 2037.2654244858504 |
BASE/blocksWorld/SEdXLQ | 1.07792030076271 | 14966.6 | 13884.7 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 1.0789441276216822 | 7593.033333333334 | 7037.466666666666 |
BASE/circlesolitaire/azuQFQ | 1.0794725644357193 | 11382.066666666668 | 10544.1 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.080072202166065 | 1994.5333333333333 | 1846.6666666666667 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.0816599101222462 | 18357.066666666666 | 16971.2 |
BASE/blocks/xIV5hQ | 1.0824642511557896 | 15102.0 | 13951.5 |
BASE/connect5/d-BVQg | 1.0858007890222985 | 842.9333333333333 | 776.3241119877492 |
DRESDEN/crossers3/xiPTxg | 1.0905237314829346 | 2084.8333333333335 | 1911.7725484967668 |
DRESDEN/blocks/vg0DRw | 1.0958234738207047 | 14958.1 | 13650.1 |
DRESDEN/knightfight/4_Ly4w | 1.0964826748063985 | 5172.766666666666 | 4717.6 |
BASE/tictactoe_orthogonal/WRzlVw | 1.1027396612541729 | 7773.8 | 7049.533333333334 |
DRESDEN/circlesolitaire/ruUilQ | 1.1055580187484164 | 11636.366666666667 | 10525.333333333334 |
BASE/crossers3/O0rORg | 1.105639422769195 | 2110.866666666667 | 1909.181803032828 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.1095347161482985 | 14590.04865693528 | 13149.7 |
DRESDEN/catch_me/ghGWrA | 1.1095993752904518 | 14561.8 | 13123.475304939013 |
BASE/knightfight/SJRkAg | 1.1103025040331067 | 5276.0 | 4751.858147518581 |
BASE/switches/tPUoCg | 1.1133405470178717 | 16599.833333333332 | 14909.933333333332 |
DRESDEN/connect5/1kYzSg | 1.1135342327586206 | 858.9 | 771.3278808431412 |
DRESDEN/endgame/IJhh3Q | 1.1317120243766852 | 838.3387220425985 | 740.7703585232574 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.1395724332874748 | 14991.633333333333 | 13155.489634024398 |
DRESDEN/Thief_Police/CX18rA | 1.1573236174537234 | 14968.633333333333 | 12933.835538815372 |
BASE/lightsOnParallel/SC6enA | 1.1784799149832872 | 5405.9 | 4587.180427319089 |
BASE/pancakes88/l2Xaig | 1.1871011439161212 | 22142.166666666668 | 18652.3 |
DRESDEN/pancakes88/aD3E7g | 1.2000754073342612 | 22280.4 | 18565.833333333332 |
BASE/maze/cCX3qQ | 1.2129380713018307 | 26454.866666666665 | 21810.566666666666 |
BASE/cittaceot/fDxhXg | 1.2138599087618598 | 1888.8333333333333 | 1556.0554555755516 |
DRESDEN/hanoi/RQ0jiA | 1.2163138016547776 | 12441.633333333333 | 10228.966666666667 |
STANFORD/3puzzle/41ibjA | 1.2210035938368675 | 16398.566666666666 | 13430.4 |
STANFORD/threepuzzle/41ibjA | 1.2238410890648634 | 16505.7 | 13486.8 |
BASE/hanoi/iGLsJg | 1.2259566927789396 | 12524.233333333334 | 10215.885607626158 |
DRESDEN/troublemaker02/iZLVuA | 1.2421192030298793 | 29014.0 | 23358.466666666667 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.2495106860746992 | 11074.566666666668 | 8863.122812864523 |
STANFORD/untwistycorridor/EDPPAQ | 1.2540027365218653 | 27342.066666666666 | 21803.833333333332 |
BASE/blocks2player/wnTLOQ | 1.2791310155906523 | 10086.033333333333 | 7885.066666666667 |
BASE/troublemaker02/DI83KA | 1.2801841948043329 | 29570.633333333335 | 23098.733333333334 |
BASE/hanoi7_bugfix/3gdnFw | 1.2835234779872546 | 11282.166666666666 | 8789.996334433003 |
BASE/coloredtrails/EZvr7g | 1.2847225321283835 | 3951.8 | 3075.994933671089 |
DRESDEN/blocks2player/3ev8nQ | 1.2899752600222156 | 10219.7 | 7922.4 |
DRESDEN/latenttictactoe/kITHKg | 1.2915647134578236 | 3677.3 | 2847.1666666666665 |
BASE/blocker/dIWtxg | 1.2947476323881106 | 6316.0 | 4878.170727642412 |
DRESDEN/hanoi7/51zz5Q | 1.295014226504515 | 11392.233333333334 | 8796.994735789965 |
BASE/wargame01/_GZFZg | 1.2967913783539164 | 2960.6 | 2283.0194967505417 |
DRESDEN/blocker/S815zQ | 1.3212250468033164 | 6422.166666666667 | 4860.766666666666 |
BASE/haystack/UkweGA | 1.321845756950286 | 44679.4 | 33800.76666666667 |
DRESDEN/chomp/-LcqYQ | 1.3224980684557885 | 4735.733333333334 | 3580.9 |
BASE/untwistycomplex2/EDPPAQ | 1.3243660460182285 | 28339.8 | 21398.766666666666 |
BASE/factoringEasyTurtleBrain/lUj94Q | 1.3288271622347572 | 6594.1 | 4962.345884705098 |
DRESDEN/buttons/ADUaHw | 1.3322805839057545 | 24593.366666666665 | 18459.6 |
BASE/racetrackcorridor/_RkdUg | 1.3413944597266667 | 2389.266666666667 | 1781.1812545830278 |
BASE/buttons/hTcUjw | 1.3435164265211583 | 25212.966666666667 | 18766.4 |
BASE/chinook/XQh0IQ | 1.349607678915338 | 971.8666666666667 | 720.1105045932632 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.3497764585845469 | 3395.0 | 2515.231302493001 |
BASE/chomp/-LcqYQ | 1.3522288407409833 | 4820.2 | 3564.633333333333 |
BASE/wargame03/klXI8w | 1.352868641872993 | 2611.5 | 1930.3426209838688 |
BASE/troublemaker01/s3tlEQ | 1.3555594800791184 | 31982.166666666668 | 23593.333333333332 |
BASE/lightsOn/MsXu3A | 1.3597835681017645 | 13575.4 | 9983.500549981667 |
DRESDEN/troublemaker01/C-lPWw | 1.3669347702110086 | 32438.0 | 23730.466666666667 |
BASE/blockerSerial/3eqDuw | 1.3823356030952267 | 2883.866666666667 | 2086.227584827678 |
BASE/lightsOnSimul4/9FeASw | 1.3918235991356704 | 1474.0666666666666 | 1059.090151641393 |
BASE/pancakes6/QZTdnw | 1.4073173137375181 | 27835.433333333334 | 19779.07403086564 |
BASE/lightsOnSimultaneous/_VN6lw | 1.4124593072795524 | 2044.1 | 1447.192134644226 |
BASE/factoringGeorgeForman/HGRorQ | 1.4138120435139516 | 13433.5 | 9501.616612779573 |
BASE/roshambo2/KNPokQ | 1.425089938997897 | 21866.2 | 15343.733333333334 |
BASE/endgame/jYjfOA | 1.4535863171355499 | 1060.5 | 729.5748367319738 |
DRESDEN/pancakes/hl9aiQ | 1.4594010967681745 | 28504.266666666666 | 19531.48228392387 |
BASE/pancakes/yUgbXw | 1.4638931177222343 | 28751.3 | 19640.3 |
DRESDEN/roshambo2/jgSlkQ | 1.4675496226801694 | 22441.866666666665 | 15292.066666666668 |
STANFORD/untwistycomplex/HTWEwg | 1.4698669873206902 | 28359.466666666667 | 19293.9 |
DRESDEN/pancakes6/SZXMyQ | 1.4772572647113578 | 29095.566666666666 | 19695.666666666668 |
DRESDEN/racetrackcorridor/O0DoTA | 1.5069747771410378 | 2314.0333333333333 | 1535.5488150394988 |
BASE/hexPie/48CH6Q | 1.5363763442952585 | 525.7666666666667 | 342.21215955250716 |
BASE/queens06ug/7Lq3tw | 1.5882082389309542 | 3607.5333333333333 | 2271.448570095327 |
STANFORD/buttonsandlights/eyhJpA | 1.5952707238913921 | 46097.9 | 28896.6 |
DRESDEN/Runners/3bOCQw | 1.6022516995283163 | 24158.533333333333 | 15077.864071197626 |
BASE/wargame02/BkVqqQ | 1.6173709875674407 | 1913.8333333333333 | 1183.2989141296382 |
STANFORD/multipletictactoe/_bkafQ | 1.627997194728397 | 1002.8666666666667 | 616.0125274871726 |
DRESDEN/cube_2x2x2/fp-34Q | 1.6364761682478806 | 4323.5 | 2641.957202853143 |
BASE/zhadu/DlA8iQ | 1.6402307218658951 | 55.06299580027998 | 33.570274636510504 |
DRESDEN/lightson2x2/gBHuig | 1.6535626157071441 | 7974.866666666667 | 4822.839238692043 |
BASE/onestep/xi53wA | 1.670055839576726 | 40844.5 | 24456.966666666667 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.6959131878237588 | 6474.133333333333 | 3817.49100119984 |
BASE/twisty-passages/DiZmmg | 1.6971880934923729 | 6319.0 | 3723.21725813969 |
BASE/hex/T1MK8g | 1.7034921424713245 | 595.4333333333333 | 349.53688278803224 |
STANFORD/hex/MTqWcw | 1.7089819808068574 | 608.9 | 356.29398486256804 |
DRESDEN/twisty-passages/j7NPyg | 1.7129763758842174 | 6310.533333333334 | 3683.9581807285076 |
DRESDEN/grid_game/U7_Yeg | 1.7550061013717932 | 2351.5666666666666 | 1339.919368273748 |
BASE/racer4/0vs7Ww | 1.7565482957159735 | 1569.2666666666667 | 893.3808825489934 |
BASE/simultaneousWin2/PfjRjw | 1.8039276111480533 | 1717.0333333333333 | 951.830507345348 |
BASE/sheepAndWolf/g4THrg | 1.8496675847203927 | 1544.4 | 834.9608398600234 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.8661980337965887 | 1574.4666666666667 | 843.6760934012858 |
DRESDEN/catcha_mouse/cHv4dw | 1.9042197333077513 | 1983.9666666666667 | 1041.8790604697651 |
DRESDEN/tictactoex9/rFkD4w | 1.9182316876411745 | 990.7666666666667 | 516.5 |
BASE/catcha_mouse/cHv4dw | 1.9238274512935165 | 2007.5 | 1043.492751208132 |
BASE/tictactoex9/BI26ow | 1.9434643465180308 | 1000.6666444451852 | 514.8880895283773 |
BASE/nim3/1OwUqw | 1.9930140112744212 | 11403.066666666668 | 5721.518565428972 |
STANFORD/platformjumpers/HEQskA | 2.0013827232099395 | 780.007333088897 | 389.734219269103 |
DRESDEN/nim4/F5YAYg | 2.0045462832810874 | 11361.033333333333 | 5667.633333333333 |
DRESDEN/nim3/sG_axA | 2.0155672125245685 | 11507.833333333334 | 5709.476350788307 |
BASE/nim4/twk16w | 2.015899470676799 | 11336.1 | 5623.345888470384 |
BASE/queens08ug/kJ_ZFQ | 2.210336856010568 | 2230.9666666666667 | 1009.3333333333334 |
BASE/firefighter/WJmoPw | 2.218974711175478 | 8219.966666666667 | 3704.398533822059 |
BASE/nim2/eF2Qqw | 2.233293806535564 | 14187.966666666667 | 6352.933333333333 |
DRESDEN/firefighter/WJmoPw | 2.2456560060438178 | 8323.0 | 3706.266666666667 |
DRESDEN/nim2/z5_exA | 2.2729986928104577 | 14490.366666666667 | 6375.0 |
BASE/nim1/hin2Qw | 2.301621919731268 | 15302.333333333334 | 6648.5 |
DRESDEN/nim1/M9BALA | 2.362059226444257 | 15604.266666666666 | 6606.213126229126 |
BASE/tron_10x10/7ZTgDg | 2.837321497491316 | 4410.9 | 1554.6 |
DRESDEN/knightmove/97Ipcw | 2.852102365032194 | 2813.4333333333334 | 986.4419201172591 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 2.8805337285121517 | 1941.0666666666666 | 673.8566007589375 |
BASE/knightmove/jBaJEw | 2.920779803172241 | 2876.9 | 984.9766822118588 |
BASE/hallway/ckCJOw | 3.0055983171521037 | 616.4 | 205.0839583195062 |
DRESDEN/hallway/0H4l-Q | 3.051390507011866 | 625.6666666666666 | 205.04313205043132 |
BASE/wallmaze/uxNQ9g | 3.0873455783500656 | 1176.7333333333333 | 381.14726825048245 |
BASE/majorities/ibJzSQ | 3.1839748561488026 | 525.6333333333333 | 165.08714957916362 |
DRESDEN/fizzbuzz/t1xHzQ | 3.3359633408015936 | 31265.9 | 9372.375174988334 |
BASE/queens12ug/u6Bkmg | 4.012552377414561 | 1079.1 | 268.9310689310689 |
BASE/golden_rectangle/_nYzfw | 4.210846904877654 | 576.9666666666667 | 137.01915070774353 |
DRESDEN/ghostmaze2p/HY0UwA | 4.302632675538419 | 10711.266666666666 | 2489.468070923877 |
BASE/ghostMaze2p/W-NU-w | 4.5734217068794685 | 11381.133333333333 | 2488.537918166067 |
BASE/mummyMaze2p_2007/YGA3Vw | 5.439290607876439 | 11314.0 | 2080.0506565353594 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 5.516815973167412 | 11343.9 | 2056.240421136803 |
BASE/queens16ug/gT-ylw | 6.192987614698557 | 599.7133428885704 | 96.8374846197333 |
DRESDEN/racer/vk_ZBA | 6.940642935362298 | 3250.4 | 468.3139631689367 |
BASE/racer/QQYQNw | 7.1017197025236145 | 3354.7 | 472.3785421730878 |
DRESDEN/small_dominion/yB5GJA | 8.041805995682482 | 110.82225110822252 | 13.78076655513963 |
DRESDEN/bomberman2p/x4h6jQ | 9.393455442268941 | 10410.766666666666 | 1108.3 |
BASE/bomberman2p/4CClwA | 9.452700975682978 | 10493.9 | 1110.1483086152307 |
BASE/mummymaze1p/PT_EXA | 14.624757832718634 | 15591.1 | 1066.075772216854 |
DRESDEN/mummymaze1p/AekgaQ | 14.964861679692346 | 16084.233333333334 | 1074.8 |
DRESDEN/mummymaze2p/k-8edg | 26.992909140767825 | 9823.766666666666 | 363.93878908848967 |
BASE/mummymaze2p/vpjDdA | 28.75445557790783 | 10458.6 | 363.72102304852496 |
DRESDEN/golden_rectangle/1uloXw | 99.54692683333333 | 551.0333333333333 | 5.535412803409814 |
Games with errors:
Game | ALLOY_TUPLE_PROVER:2 error message | CADIAPLAYER_PROLOG:3.0 error message |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/laikLee_hex/zbyscQ | 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/alexChess/LNo83g | Test process timed out after 240 seconds | |
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 | |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | |
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 |