Game-by-game performance:
Game | Perf ratio | CADIAPLAYER_PROLOG:3.0 states per second | PALAMEDES_JOCULAR:0.6.1 states per second |
BASE/minichess/8NQEiA | 0.0014758012254215602 | 4266.3 | 2890836.466666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.0017066082956683796 | 8264.4 | 4842587.5 |
STANFORD/tictactoe3/X7myng | 0.0017237895001953746 | 6913.7 | 4010756.533333333 |
STANFORD/tictactoe5/WFRReg | 0.0018673191665876717 | 6937.9 | 3715433.4 |
BASE/tictactoe-init1/7M19vA | 0.001878511166521921 | 6982.233333333334 | 3716897.433333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0018840840021418475 | 6981.166666666667 | 3705337.2666666666 |
BASE/blocksWorldParallel/RseaAQ | 0.0021884214412895772 | 7029.5 | 3212132.6666666665 |
DRESDEN/coins/QwFP9w | 0.0023549584782177153 | 7642.633333333333 | 3245336.7666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 0.002428480278588473 | 8051.8 | 3315571.5 |
BASE/coins/QnGtnQ | 0.002465545201954672 | 7676.366666666667 | 3113456.066666667 |
STANFORD/threepuzzle/41ibjA | 0.002514160811741549 | 13486.8 | 5364334.666666667 |
STANFORD/3puzzle/41ibjA | 0.002541622993876101 | 13430.4 | 5284182.6 |
BASE/coins_atomic/AA3SSw | 0.0025727011272970945 | 7726.4 | 3003224.8666666667 |
DRESDEN/blocks/vg0DRw | 0.0030403841805760256 | 13650.1 | 4489597.1 |
BASE/blocksWorld/SEdXLQ | 0.0030649804012140517 | 13884.7 | 4530110.533333333 |
BASE/blocks/xIV5hQ | 0.003123584160075574 | 13951.5 | 4466503.633333334 |
STANFORD/tictactoe7/-bE9-A | 0.003208832364270276 | 6938.0 | 2162157.2 |
BASE/maze/cCX3qQ | 0.0033195242244420816 | 21810.566666666666 | 6570389.366666666 |
BASE/hodgepodge/9yjRkw | 0.0038726711838280603 | 10904.0 | 2815627.6333333333 |
DRESDEN/buttons/ADUaHw | 0.004605312200529716 | 18459.6 | 4008327.6 |
BASE/buttons/hTcUjw | 0.004614312987593002 | 18766.4 | 4066997.6333333333 |
BASE/snake2p/I3wWPQ | 0.004865190319348393 | 3563.766666666667 | 732503.0333333333 |
STANFORD/sukoshi/4LYZZQ | 0.004947844035251312 | 8266.966666666667 | 1670822.0 |
DRESDEN/troublemaker01/C-lPWw | 0.004998714430921211 | 23730.466666666667 | 4747313.933333334 |
BASE/pearls/6k_mEQ | 0.005046668400648077 | 33408.1 | 6619832.6 |
BASE/troublemaker01/s3tlEQ | 0.00511050329800388 | 23593.333333333332 | 4616635.966666667 |
DRESDEN/troublemaker02/iZLVuA | 0.0054368326781796626 | 23358.466666666667 | 4296337.233333333 |
BASE/troublemaker02/DI83KA | 0.005462338962126431 | 23098.733333333334 | 4228725.733333333 |
BASE/switches/tPUoCg | 0.006511839765573885 | 14909.933333333332 | 2289665.2666666666 |
BASE/haystack/UkweGA | 0.006979680285031013 | 33800.76666666667 | 4842738.533333333 |
STANFORD/buttonsandlights/eyhJpA | 0.007144517976622018 | 28896.6 | 4044583.566666667 |
BASE/onestep/xi53wA | 0.008868172325342117 | 24456.966666666667 | 2757836.2 |
BASE/survival/YVIjJA | 0.01246218490270845 | 33865.566666666666 | 2717466.2333333334 |
BASE/tron_10x10/7ZTgDg | 0.06572731577523225 | 1554.6 | 23652.266666666666 |
BASE/mummymaze2p/vpjDdA | 0.16319873605623234 | 363.72102304852496 | 2228.7 |
DRESDEN/mummymaze2p/k-8edg | 0.1667149743877644 | 363.93878908848967 | 2183.0 |
BASE/wallmaze/uxNQ9g | 0.2215714848566925 | 381.14726825048245 | 1720.2 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.24979238876520604 | 673.8566007589375 | 2697.6666666666665 |
BASE/bomberman2p/4CClwA | 0.27430033322179054 | 1110.1483086152307 | 4047.2 |
BASE/firefighter/WJmoPw | 0.30182333614337176 | 3704.398533822059 | 12273.4 |
DRESDEN/firefighter/WJmoPw | 0.30581396166605707 | 3706.266666666667 | 12119.350753232902 |
BASE/untwistycomplex2/EDPPAQ | 0.34059265476504386 | 21398.766666666666 | 62828.03333333333 |
STANFORD/untwistycorridor/EDPPAQ | 0.34627769649887075 | 21803.833333333332 | 62966.32313829787 |
DRESDEN/lightson2x2/gBHuig | 0.37560363198052876 | 4822.839238692043 | 12840.23589777763 |
BASE/hanoi_6_disks/MeubgQ | 0.3816326188974884 | 9118.933333333332 | 23894.533333333333 |
STANFORD/multipletictactoe/_bkafQ | 0.3841355219317628 | 616.0125274871726 | 1603.6333333333334 |
BASE/circlesolitaire/azuQFQ | 0.3857042523149108 | 10544.1 | 27337.266666666666 |
DRESDEN/circlesolitaire/ruUilQ | 0.39147622581970853 | 10525.333333333334 | 26886.264450144918 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.4060137280558769 | 9091.5 | 22392.1 |
BASE/ghostMaze2p/W-NU-w | 0.4066592815549395 | 2488.537918166067 | 6119.466666666666 |
BASE/blocks2player/wnTLOQ | 0.4070317480471382 | 7885.066666666667 | 19372.11705105986 |
DRESDEN/blocks2player/3ev8nQ | 0.41458709098964885 | 7922.4 | 19109.133333333335 |
DRESDEN/hallway/0H4l-Q | 0.4148431320146304 | 205.04313205043132 | 494.26666666666665 |
BASE/hallway/ckCJOw | 0.42718349187971294 | 205.0839583195062 | 480.08399720009334 |
DRESDEN/toetictac/mJtxCA | 0.4368564600386263 | 9145.866666666667 | 20935.633333333335 |
BASE/lightsOnParallel/SC6enA | 0.44495700573455815 | 4587.180427319089 | 10309.266666666666 |
BASE/toetictac/mTThmg | 0.4457657505778913 | 9166.4 | 20563.266666666666 |
DRESDEN/latenttictactoe/kITHKg | 0.45379200425023236 | 2847.1666666666665 | 6274.166666666667 |
BASE/lightsOn/MsXu3A | 0.4614073018207182 | 9983.500549981667 | 21637.066666666666 |
BASE/tictactoe_orthogonal/WRzlVw | 0.4714986400321042 | 7049.533333333334 | 14951.333333333334 |
DRESDEN/tictactoe/BTTzPw | 0.4835601366286766 | 6980.466666666666 | 14435.570961935871 |
BASE/blocker/dIWtxg | 0.4885335886943262 | 4878.170727642412 | 9985.333333333334 |
BASE/ticTacToe/JRFsaQ | 0.4946337492589605 | 6989.133333333333 | 14129.916011198507 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.49507792311336013 | 7037.466666666666 | 14214.866666666667 |
BASE/coloredtrails/EZvr7g | 0.4957310971863006 | 3075.994933671089 | 6204.966666666666 |
DRESDEN/eotcatcit/mQUxzA | 0.4982480559462189 | 6872.933333333333 | 13794.2 |
DRESDEN/blocker/S815zQ | 0.5023369659510241 | 4860.766666666666 | 9676.30693366208 |
BASE/eotcatcit/AfZSzA | 0.5086014053278153 | 6873.866666666667 | 13515.233333333334 |
DRESDEN/sum15/CsgWKg | 0.5143294892233794 | 8280.533333333333 | 16099.666666666666 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.5145236264587478 | 1986.3356107315446 | 3860.5333333333333 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.5181831786890153 | 1846.6666666666667 | 3563.733333333333 |
STANFORD/trifecta/ss1kyQ | 0.5182771386136419 | 7014.0 | 13533.3 |
BASE/sum15/QZ07Kg | 0.5224034818549018 | 8342.0 | 15968.5 |
STANFORD/tictactoe/ss1kyQ | 0.5338412711278397 | 7025.333333333333 | 13159.966666666667 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.5515514049559657 | 2037.2654244858504 | 3693.7 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.5564644451298848 | 4962.345884705098 | 8917.633333333333 |
BASE/hex/T1MK8g | 0.5710955244811978 | 349.53688278803224 | 612.0462651244959 |
BASE/tictactoex9/BI26ow | 0.5866110696434498 | 514.8880895283773 | 877.7333333333333 |
DRESDEN/tictactoex9/rFkD4w | 0.5906007013264217 | 516.5 | 874.5333333333333 |
STANFORD/hex/MTqWcw | 0.5949470970654036 | 356.29398486256804 | 598.8666666666667 |
DRESDEN/grid_game/U7_Yeg | 0.6062617798053276 | 1339.919368273748 | 2210.133333333333 |
BASE/ticTacToeNoVars/XT03NA | 0.6064687051550944 | 10438.6 | 17212.1 |
BASE/hexPie/48CH6Q | 0.6089184333674504 | 342.21215955250716 | 562.0 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.6244638798832458 | 2182.8967539825367 | 3495.633333333333 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.6253817617392015 | 2184.5210319312046 | 3493.1 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.6265479538028932 | 16971.2 | 27086.833333333332 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.6303481481481482 | 17019.4 | 27000.0 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.6327348618574395 | 2162.6666666666665 | 3417.9666666666667 |
DRESDEN/connect5/1kYzSg | 0.6466350824449976 | 771.3278808431412 | 1192.8333333333333 |
BASE/aipsrovers01/4C4jsw | 0.6479727922327205 | 8445.636957536164 | 13033.937626354687 |
BASE/connect5/d-BVQg | 0.6581620799082258 | 776.3241119877492 | 1179.5333333333333 |
BASE/sheepAndWolf/g4THrg | 0.6587982009310583 | 834.9608398600234 | 1267.4 |
DRESDEN/cube_2x2x2/fp-34Q | 0.6588257656550068 | 2641.957202853143 | 4010.1 |
DRESDEN/aipsrovers01/qS47Mw | 0.6628293647552699 | 8393.386887103763 | 12662.967776333766 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.6642247159700452 | 843.6760934012858 | 1270.1666666666667 |
BASE/chickentoetictac/l57rfQ | 0.6674516666753216 | 8568.7 | 12837.933333333332 |
DRESDEN/chickentoetictac/cxYaRQ | 0.6726591740870526 | 8644.5 | 12851.233333333334 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.6804619956736914 | 16607.6 | 24406.359364063595 |
DRESDEN/chickentictactoe/Ipbo-g | 0.7148306966517907 | 6545.8 | 9157.133333333333 |
BASE/chickentictactoe/DSlZCA | 0.7236881918262332 | 6499.133333333333 | 8980.57120005332 |
DRESDEN/racetrackcorridor/O0DoTA | 0.7446770089585516 | 1535.5488150394988 | 2062.0333333333333 |
BASE/tictactoe2/bhrDoQ | 0.7508675645880267 | 10443.566666666668 | 13908.666666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.7576127400323045 | 18230.233333333334 | 24062.733333333334 |
DRESDEN/roshambo2/jgSlkQ | 0.7755422231760721 | 15292.066666666668 | 19717.903435407017 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.7840761375525651 | 18135.733333333334 | 23130.066666666666 |
STANFORD/multiplesukoshi/vLSQPg | 0.78475364897221 | 388.46626582068234 | 495.01683277224095 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.7856447891331284 | 13689.6 | 17424.668488038915 |
BASE/roshambo2/KNPokQ | 0.7860659161790544 | 15343.733333333334 | 19519.652255012992 |
BASE/factoringGeorgeForman/HGRorQ | 0.7885093578293602 | 9501.616612779573 | 12050.1 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.7891994631928003 | 2515.231302493001 | 3187.0666666666666 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.8140919363607364 | 12079.333333333334 | 14837.8 |
STANFORD/tictictoe/rpt_Dw | 0.841986019557573 | 6676.233333333334 | 7929.1498650314925 |
BASE/ticTicToe/c1OobQ | 0.8590877434404289 | 6825.566666666667 | 7945.133333333333 |
DRESDEN/tictictoe/LAUtwg | 0.8611787321200726 | 6839.366666666667 | 7941.866666666667 |
BASE/eotcitcit/V_9_bg | 0.8622705945114908 | 6842.433333333333 | 7935.366666666667 |
STANFORD/platformjumpers/HEQskA | 0.8775088965487151 | 389.734219269103 | 444.137057529498 |
DRESDEN/pancakes/hl9aiQ | 0.8862464036580278 | 19531.48228392387 | 22038.433333333334 |
DRESDEN/oisters_farm/pTQMLg | 0.8907193996192921 | 15793.280447970135 | 17730.92677078824 |
BASE/pancakes/yUgbXw | 0.9059836608307734 | 19640.3 | 21678.426277566792 |
DRESDEN/pancakes6/SZXMyQ | 0.9063104435762811 | 19695.666666666668 | 21731.7 |
BASE/pancakes6/QZTdnw | 0.921065767133919 | 19779.07403086564 | 21474.1169812577 |
BASE/mummymaze1p/PT_EXA | 0.9236757593214618 | 1066.075772216854 | 1154.1666666666667 |
BASE/incredible/8Qh-6Q | 0.9246552831845624 | 7374.18752708243 | 7975.066666666667 |
DRESDEN/mummymaze1p/AekgaQ | 0.9380618508713234 | 1074.8 | 1145.7666666666667 |
DRESDEN/pancakes88/aD3E7g | 0.9619071670482443 | 18565.833333333332 | 19301.065601065602 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.9793473790788739 | 3973.375541486171 | 4057.1666666666665 |
BASE/pancakes88/l2Xaig | 0.9852711758760699 | 18652.3 | 18931.133333333335 |
DRESDEN/tictactoelarge/IwXcbg | 0.9936417726563549 | 5448.303446436904 | 5483.166666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.9989562428640384 | 5487.551244875513 | 5493.284900189956 |
BASE/ticTacToeLargeSuicide/727_8g | 1.0031851020208922 | 5480.333333333333 | 5462.933333333333 |
BASE/eightPuzzle/vLrgFg | 1.0113680772992806 | 8233.176682331767 | 8140.633333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.0180380980319956 | 3984.5671810939634 | 3913.9666666666667 |
BASE/ticTacToeLarge/TZC0dg | 1.021241574557043 | 5432.97113525765 | 5319.966666666666 |
STANFORD/8puzzle/jNiGtw | 1.0278081457102606 | 8234.627562072988 | 8011.833333333333 |
BASE/brain_teaser_extended/ZDp94A | 1.0353601360728197 | 7673.744208526383 | 7411.666666666667 |
DRESDEN/8puzzle/8fKC2w | 1.0508610507679799 | 8261.449236717552 | 7861.6 |
DRESDEN/Runners/3bOCQw | 1.056316260288795 | 15077.864071197626 | 14274.005464116746 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.0625786446246468 | 4160.9517144856545 | 3915.9 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.0706893729076594 | 4350.674887518747 | 4063.4333333333334 |
DRESDEN/brain_teaser_extended/ZDp94A | 1.1249264705882354 | 7649.5 | 6800.0 |
BASE/tictactoe_3player/GtM71g | 1.1325160263894865 | 2866.813318668133 | 2531.366666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.1613828278184395 | 4129.645059156807 | 3555.8 |
DRESDEN/tictactoe_3player/ESLQQQ | 1.1819360294094483 | 2869.937668744375 | 2428.1666666666665 |
BASE/breakthroughSmallHoles/bxclRw | 1.2117857776927785 | 2936.439689364397 | 2423.233333333333 |
DRESDEN/lightsout2/LFtfyQ | 1.2186889554907132 | 3235.0098323500983 | 2654.5 |
BASE/dotsAndBoxesSuicide/jzQbLw | 1.2250998119478664 | 1583.1556503198294 | 1292.2666666666667 |
BASE/numbertictactoe/rvJ-iQ | 1.233633015446232 | 5872.833333333333 | 4760.6 |
DRESDEN/lightsout/XgLpzQ | 1.2550031836359878 | 3233.8922035932137 | 2576.8 |
BASE/dotsAndBoxes/EHwA_w | 1.2645277713232084 | 1586.307938199254 | 1254.4666666666667 |
STANFORD/breakthrough/d5j0cQ | 1.2717488664329168 | 2119.793402199267 | 1666.8333333333333 |
BASE/lightsOut/5P1ZBw | 1.2859226675475441 | 3224.236768430876 | 2507.3333333333335 |
DRESDEN/knightfight/4_Ly4w | 1.3067299435862874 | 4717.6 | 3610.233333333333 |
DRESDEN/quarto/OQzRYQ | 1.3315253756164496 | 3046.396906872875 | 2287.9 |
BASE/ticTacToeParallel/ymRGPw | 1.3378711875318543 | 3324.9666666666667 | 2485.266666666667 |
BASE/endgame/jYjfOA | 1.3409731208498854 | 729.5748367319738 | 544.0637290847277 |
DRESDEN/quartosuicide/WIU1oQ | 1.3539315584306397 | 3048.422034858533 | 2251.5333333333333 |
BASE/quarto/EwBMVQ | 1.3539459121291035 | 3068.2219630061654 | 2266.133333333333 |
DRESDEN/bunk_t/7-tPfA | 1.3618391447867064 | 3976.4341188627045 | 2919.9 |
BASE/bunk_t/xbpfIA | 1.363139550201408 | 3980.867304423186 | 2920.366666666667 |
BASE/doubletoetictac/fu35bg | 1.3641388484341133 | 3965.233333333333 | 2906.766666666667 |
BASE/doubletictactoe/HH1htg | 1.3768715389348465 | 4027.9 | 2925.4 |
DRESDEN/doubletoetictac/V89gKQ | 1.385226869811112 | 4001.9666011132963 | 2889.0333333333333 |
BASE/quartoSuicide/-23jUg | 1.3858175424887675 | 3074.0666666666666 | 2218.233333333333 |
BASE/knightfight/SJRkAg | 1.3987572552450787 | 4751.858147518581 | 3397.2 |
DRESDEN/doubletictactoe/lJzgmQ | 1.407540709882231 | 4030.3989867004434 | 2863.4333333333334 |
BASE/racetrackcorridor/_RkdUg | 1.418439096344522 | 1781.1812545830278 | 1255.7333333333333 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.4200505651100026 | 3814.918508149185 | 2686.4666666666667 |
DRESDEN/minichess/c7GMFw | 1.4251777072865774 | 4103.466666666666 | 2879.266666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 1.4334379710021334 | 3818.6787547496833 | 2664.0 |
DRESDEN/tictactoeparallel/yk_DSg | 1.4429419941867812 | 3425.4 | 2373.9 |
DRESDEN/endgame/IJhh3Q | 1.4828258327682473 | 740.7703585232574 | 499.56666666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 1.537494299855754 | 1447.192134644226 | 941.2666666666667 |
DRESDEN/mimikry/GJEhwA | 1.5741689533567431 | 1591.642228739003 | 1011.1 |
DRESDEN/cubicup/SBn_lw | 1.5811983221289696 | 1007.6976906927922 | 637.3 |
BASE/lightsOnSimul4/9FeASw | 1.5812822649301643 | 1059.090151641393 | 669.7666666666667 |
BASE/cubicup/4wNWJA | 1.5819798332289359 | 1013.3635485053487 | 640.5666666666667 |
DRESDEN/twisty-passages/j7NPyg | 1.597715082790326 | 3683.9581807285076 | 2305.766666666667 |
DRESDEN/connect4/T0-rHQ | 1.6230509381941178 | 1307.2052256215425 | 805.4 |
DRESDEN/frogs_and_toads/GjchhQ | 1.6500306386681585 | 2376.099120703437 | 1440.0333333333333 |
BASE/withConviction/3Xm54A | 1.6560104955022157 | 2398.0135981869084 | 1448.0666666666666 |
BASE/twisty-passages/DiZmmg | 1.6635120670815504 | 3723.21725813969 | 2238.1666666666665 |
DRESDEN/crossers3/xiPTxg | 1.7182927813201214 | 1911.7725484967668 | 1112.6 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.7214052572785032 | 13149.7 | 7638.933333333333 |
DRESDEN/catch_me/ghGWrA | 1.7323042836256572 | 13123.475304939013 | 7575.733333333334 |
BASE/cubicup_3player/e2yA_g | 1.7360777005166945 | 594.1817215727949 | 342.2552581580614 |
DRESDEN/Thief_Police/CX18rA | 1.77271345366207 | 12933.835538815372 | 7296.066666666667 |
BASE/crossers3/O0rORg | 1.7764237358409787 | 1909.181803032828 | 1074.7333333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.7815808103858792 | 13155.489634024398 | 7384.166666666667 |
BASE/connect4/50bOyw | 1.800978090565256 | 1310.2115608862237 | 727.5 |
DRESDEN/cubicup_3player/awDtsQ | 1.8048937666305185 | 589.6599906846762 | 326.70066326700663 |
DRESDEN/knightmove/97Ipcw | 1.8336487764742406 | 986.4419201172591 | 537.9666666666667 |
BASE/knightmove/jBaJEw | 1.8448564694414338 | 984.9766822118588 | 533.9042351137916 |
STANFORD/connectfour/VMpZkQ | 1.8455050841014922 | 5178.733333333334 | 2806.133333333333 |
BASE/chomp/-LcqYQ | 1.8525892082135142 | 3564.633333333333 | 1924.1358621379288 |
BASE/conn4/va9Y7A | 1.8697228122910423 | 1627.0327912556652 | 870.2 |
DRESDEN/chomp/-LcqYQ | 1.874685885802038 | 3580.9 | 1910.1333333333334 |
BASE/connectFour/WAIKTw | 1.9519535308771798 | 5197.466666666666 | 2662.7 |
DRESDEN/chinesecheckers4/-oVNYg | 1.960382259938612 | 2133.353321340529 | 1088.2333333333333 |
BASE/connectFourSuicide/c8p9Kw | 1.9709189705919348 | 5223.066666666667 | 2650.0666666666666 |
BASE/connectFour_9x6/B9TtMw | 1.9843458152723812 | 4977.400753308223 | 2508.3333333333335 |
BASE/3pConnectFour/PqXOFQ | 2.0037089524009253 | 3476.368242117192 | 1734.9666666666667 |
DRESDEN/hanoi/RQ0jiA | 2.0356692714897906 | 10228.966666666667 | 5024.866666666667 |
BASE/hanoi/iGLsJg | 2.095666583896561 | 10215.885607626158 | 4874.766666666666 |
BASE/connectFourLarge/aU644A | 2.123055239409699 | 4335.066493350665 | 2041.9 |
DRESDEN/stratego/Z2wovg | 2.1832018196602534 | 2587.749116843298 | 1185.3 |
STANFORD/duikoshi/tpw1sw | 2.269259818731118 | 4006.0 | 1765.3333333333333 |
BASE/dualConnect4/WbCQkg | 2.2987940548237806 | 3443.9 | 1498.1333333333334 |
BASE/connectFourSimultaneous/7ITr3g | 2.35309748232776 | 2898.310168983102 | 1231.7 |
DRESDEN/hanoi7/51zz5Q | 2.436773146392057 | 8796.994735789965 | 3610.1 |
BASE/hanoi7_bugfix/3gdnFw | 2.598386871420591 | 8789.996334433003 | 3382.866666666667 |
DRESDEN/pawn_whopping/4ogBkg | 2.6053612499340124 | 4751.049930004667 | 1823.5666666666666 |
BASE/chinook/XQh0IQ | 2.6060356149942683 | 720.1105045932632 | 276.32412252924905 |
BASE/pawnWhopping/Ypc_6Q | 2.6145713801990254 | 4632.933333333333 | 1771.9666666666667 |
DRESDEN/hanoi7_bugfix/3gdnFw | 2.6334190136174045 | 8863.122812864523 | 3365.633333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 2.6577028641041074 | 3444.825862356274 | 1296.1666666666667 |
BASE/checkLines/Vop7oQ | 2.6648035450516985 | 7516.966666666666 | 2820.8333333333335 |
BASE/connectFourLarger/qKi60A | 2.666527012447891 | 3349.780117270789 | 1256.2333333333333 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 2.670683928166665 | 4675.38830744617 | 1750.6333333333334 |
BASE/nineBoardTicTacToePie/B8LzeQ | 2.672585953502793 | 3171.808368869936 | 1186.793773540882 |
BASE/blockerSerial/3eqDuw | 2.680237828554949 | 2086.227584827678 | 778.3740541981934 |
BASE/tictactoe_3d_2player/IUC1rQ | 2.7098468378137675 | 841.8932862896515 | 310.6792880474635 |
DRESDEN/blockerparallel/dVQgSg | 2.7444964486426056 | 1349.6983634969836 | 491.7836072130929 |
DRESDEN/3pttc/uwYBZw | 2.7485732351701992 | 5724.6367151046525 | 2082.766666666667 |
BASE/blockerParallel/7-nDJA | 2.779495281585082 | 1353.4313235343132 | 486.93420438637423 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 2.796463793046817 | 836.2358895807665 | 299.03333333333336 |
STANFORD/triplesukoshi/Iu9mbA | 2.831057388073281 | 2283.247783481101 | 806.5 |
STANFORD/nineboardtictactoe/y28P-A | 2.86527519498182 | 3441.1 | 1200.9666666666667 |
BASE/crisscross/ICagEg | 2.869514915964564 | 4200.013332000133 | 1463.6666666666667 |
BASE/chineseCheckers4/avfBcQ | 2.923141286855129 | 4227.446929049888 | 1446.2 |
DRESDEN/crisscross/GsY16g | 3.0090078309022177 | 4223.744292237443 | 1403.7 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.040240418368057 | 2514.4990333977735 | 827.0724309189694 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.062264349820315 | 2494.883503883204 | 814.7185281471852 |
BASE/futoshiki4/BaCwSw | 3.280529238810846 | 3347.233333333333 | 1020.3333333333334 |
BASE/blobwars/0XT15Q | 3.352267035391459 | 1288.8607510579454 | 384.47436837544166 |
BASE/escortLatch/mX9BjQ | 3.389811575440239 | 3362.467095398354 | 991.9333333333333 |
DRESDEN/blobwars/ZaMluQ | 3.400223866711027 | 1302.015658837248 | 382.9205693143562 |
BASE/ticTacToeSerial/Amrwqw | 3.473898710648866 | 3340.732593407326 | 961.6666666666666 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.52263644911639 | 3511.7162761241293 | 996.9 |
BASE/ticTacHeavenFC/mrletw | 4.5265430085821174 | 2041.9235511713932 | 451.1 |
BASE/sudokuGrade1/tDRNRw | 4.531858206238051 | 430.7999334774655 | 95.06032931137923 |
DRESDEN/tpeg/h-Scbg | 4.602156014877819 | 1980.7679488034132 | 430.4 |
BASE/sudokuGrade5/BQfUQA | 4.686523497031105 | 417.52749083638787 | 89.0910908909109 |
BASE/futoshiki5/TJ4BZg | 4.691099962839093 | 1683.1666666666667 | 358.8 |
BASE/tpeg/QNs7Lw | 4.727577783030642 | 1981.8006066464452 | 419.2 |
BASE/sudokuGrade4/DTy07w | 4.763634123708123 | 415.9824485589868 | 87.32460087324601 |
BASE/sudokuGrade2/u80Tfw | 4.889098433574285 | 419.22385675297875 | 85.74665911287366 |
BASE/breakthroughHoles/nZk0Sg | 5.101576951486716 | 1864.7964283334443 | 365.53333333333336 |
STANFORD/sudoku/oJ1qyQ | 5.145271776044632 | 408.6788428209572 | 79.42803813079128 |
BASE/3pttc/0sol9g | 5.4702962562722535 | 5478.684043865204 | 1001.5333333333333 |
BASE/sudokuGrade6E/ihYFZA | 5.53584814428894 | 381.5535916007708 | 68.92414344754033 |
BASE/sudokuGrade3/eI8dvg | 5.554823833112439 | 413.9091605851578 | 74.51346307651293 |
STANFORD/duidoku/3SoMaA | 5.593364023828268 | 400.7241803142544 | 71.6427857380873 |
BASE/sudokuGrade6H/ieE_9A | 5.640031100771317 | 383.509331208076 | 67.99773340888638 |
BASE/peg/fJHVWw | 5.678737749437385 | 1910.5785895213971 | 336.44423705086325 |
BASE/futoshiki6/JmvXNA | 5.695097577590318 | 1129.8696970706835 | 198.39338688710376 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 5.774550898203593 | 722.1556886227545 | 125.05832944470369 |
DRESDEN/peg_bugfixed/u_B7MA | 5.7910540231643175 | 1916.77498916775 | 330.98896703443216 |
DRESDEN/peg/Vo31eg | 5.901896463352128 | 1919.0360321322623 | 325.155828139062 |
DRESDEN/javastrike/whONTQ | 6.079126615603529 | 1358.0316182052213 | 223.39255358154728 |
BASE/breakthroughWalls/vOZaYA | 6.160912427609427 | 2033.0333333333333 | 329.98900036665447 |
BASE/pegEuro/5awwhg | 6.223132835058822 | 1626.9791006966434 | 261.4405226144052 |
BASE/breakthroughSuicideSmall/XSbJog | 6.279348835295954 | 2916.338910739284 | 464.43333333333334 |
BASE/breakthroughSuicide/wZDpIg | 6.427354142615616 | 2032.115134756971 | 316.1666666666667 |
BASE/breakthrough/TGxk-g | 6.465454457221226 | 2042.8 | 315.95613479550684 |
DRESDEN/slidingpieces/s9_44g | 6.523686711008551 | 1440.6474820143885 | 220.83333333333334 |
STANFORD/pentago/ZxzLmg | 6.580421268634196 | 3634.2455251491615 | 552.2815906136462 |
BASE/slidingpieces/uFJWEw | 6.622927083632064 | 1455.7193729823277 | 219.8 |
BASE/simultaneousWin2/PfjRjw | 6.655937125006878 | 951.830507345348 | 143.00473238685595 |
BASE/englishDraughts/jFkQxg | 6.6798483406948375 | 4007.463681194189 | 599.9333333333333 |
BASE/2pffa_zerosum/o0_uZA | 6.762894454580239 | 5426.095650724879 | 802.3333333333334 |
DRESDEN/minichess-evilconjuncts/th24Tw | 6.779640813731723 | 2843.643757082861 | 419.43870408639424 |
BASE/minichess-evilconjuncts/4OpQzw | 6.786485960337281 | 2849.871670944302 | 419.93333333333334 |
BASE/ticTacHeaven/18n58A | 7.25344026810877 | 2708.676377454085 | 373.43333333333334 |
BASE/2pttc/unkkYA | 7.260873041253598 | 6054.6 | 833.8666666666667 |
BASE/cittaceot/fDxhXg | 7.527123463837814 | 1556.0554555755516 | 206.72644245191827 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 7.66737244673533 | 845.9385620043979 | 110.32965567814406 |
BASE/tictactoe_3d_6player/d7KSwg | 8.326380456127861 | 629.6050006649821 | 75.61568967240977 |
BASE/tictactoe_3d_small_6player/g_9lww | 8.385991720749558 | 1665.1784226835039 | 198.56666666666666 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 8.501767938769182 | 1653.0979347101932 | 194.44166749975008 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 8.81463676008938 | 626.1330311916822 | 71.03333333333333 |
DRESDEN/checkers/jIDMIg | 9.7900758827071 | 657.8273165862586 | 67.19328067193281 |
BASE/qyshinsu/R08Lzw | 10.17722207086305 | 2880.4930867899384 | 283.03333333333336 |
BASE/hidato19/rRHSmA | 12.67229639979104 | 2653.156456236251 | 209.36666666666667 |
BASE/skirmishZeroSum/zh4hcw | 13.45559530802867 | 1596.700153017098 | 118.66440067979606 |
BASE/speedChess/bPnisA | 15.086629304501646 | 1772.5607725607726 | 117.49216718885408 |
DRESDEN/pentago_2008/hLjVpQ | 15.396325680612316 | 3463.5446157945576 | 224.9591680277324 |
BASE/checkersTiny/Lr48cg | 15.515038467284747 | 2884.5705143161895 | 185.92093860409307 |
BASE/nim1/hin2Qw | 15.539755141788719 | 6648.5 | 427.8381441237251 |
DRESDEN/nim1/M9BALA | 16.548351524849814 | 6606.213126229126 | 399.2067195520299 |
BASE/pawnToQueen/-O1_JA | 17.205992094048312 | 649.3151597960476 | 37.73773440362389 |
DRESDEN/pawntoqueen/f_x6Aw | 17.68184021681183 | 650.1066240170599 | 36.76690978119692 |
BASE/nim2/eF2Qqw | 20.740702807399348 | 6352.933333333333 | 306.302703063027 |
DRESDEN/nim2/z5_exA | 21.838633249600363 | 6375.0 | 291.9138724085061 |
BASE/checkersSmall/SYmq8w | 21.91062973176493 | 1849.1955095106432 | 84.39718676044131 |
BASE/checkers/rOC3Xg | 24.919352557692953 | 1299.8802873104548 | 52.16348556010792 |
BASE/hidato37/pBrqxw | 26.426163672940884 | 560.0106656001067 | 21.19152339064374 |
BASE/golden_rectangle/_nYzfw | 28.564686835044867 | 137.01915070774353 | 4.796802131912059 |
DRESDEN/nim4/F5YAYg | 30.747679499698613 | 5667.633333333333 | 184.3271890936969 |
BASE/nim4/twk16w | 31.006432641058627 | 5623.345888470384 | 181.36062131262292 |
DRESDEN/golden_rectangle/1uloXw | 31.01953078150803 | 5.535412803409814 | 0.17844927579335573 |
DRESDEN/quad/JPe6fg | 31.461105604921396 | 50.23026315789474 | 1.5965828979016339 |
DRESDEN/nim3/sG_axA | 31.866671892041637 | 5709.476350788307 | 179.16763853253806 |
BASE/hitori/S8Gsyg | 32.277048387115315 | 1870.9462387094625 | 57.96522086747951 |
BASE/nim3/1OwUqw | 33.4668119480278 | 5721.518565428972 | 170.9609679677344 |
DRESDEN/hitori/S8Gsyg | 34.57863829532944 | 1870.8591615010332 | 54.1044776119403 |
BASE/quad/tw-Ufg | 35.750097203049144 | 52.32912774085845 | 1.463747845037895 |
DRESDEN/ggp-course2013_michal13/jWKddg | 38.57890292847966 | 305.2757554602573 | 7.913023240349769 |
DRESDEN/Zhadu/9zpQ5w | 53.883445630668966 | 1636.2060921149105 | 30.365654478184062 |
DRESDEN/farmers/S_ASnw | 60.531987273678496 | 5082.163927869071 | 83.95831950620561 |
BASE/guess/SPpk1A | 80.66465807832054 | 2444.7888544478888 | 30.30805451470637 |
DRESDEN/guess/PhxGhg | 92.8097396263808 | 2437.1375241650558 | 26.25950179341209 |
DRESDEN/quad_7x7/q-JOXg | 95.52006898557414 | 359.1338477913784 | 3.7597737481284312 |
DRESDEN/merrills/aYEzwA | 98.91555679886004 | 1130.9345327336332 | 11.433333333333334 |
BASE/merrills/pku8Tg | 101.30257051562471 | 1132.7386499800293 | 11.18173649705481 |
BASE/racer4/0vs7Ww | 121.68979505598348 | 893.3808825489934 | 7.341460983955088 |
STANFORD/selectivesukoshi/3xmXYg | 121.92906567956453 | 512.0061194625515 | 4.199213014623833 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 131.78833794367605 | 2032.327945342443 | 15.421151651605342 |
DRESDEN/quad_5x5_8_2/JRTLJg | 148.57457437137967 | 1092.5290610531927 | 7.35340528940226 |
BASE/quad_5x5/JAEP5g | 155.82161189254052 | 963.1357909472702 | 6.181015452538631 |
BASE/quad_7x7/q-JOXg | 160.3470823140278 | 364.48753831800616 | 2.2731161244592184 |
BASE/chess_200/XsTpYA | 176.83995233717243 | 522.855145320771 | 2.9566573526544935 |
DRESDEN/quad_5x5/JAEP5g | 196.22375515410747 | 958.1680610646312 | 4.883038041505824 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 197.68831661222583 | 2011.1992533831078 | 10.173586825205062 |
DRESDEN/racer/vk_ZBA | 221.1738775593849 | 468.3139631689367 | 2.117401785132582 |
BASE/blokbox_simple/JBx4bg | 225.6694058953095 | 78.14775585859923 | 0.3462930898787974 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 253.4188165950024 | 1856.6047798406719 | 7.326230959430996 |
BASE/racer/QQYQNw | 305.1171733653003 | 472.3785421730878 | 1.5481873306670106 |
DRESDEN/fizzbuzz/t1xHzQ | 307.36269057472674 | 9372.375174988334 | 30.492884993501516 |
DRESDEN/satlike_20v_91c/yeuENQ | 315.0110159322712 | 2044.5303646423572 | 6.4903456109037805 |
DRESDEN/laikLee_hex/ZeP3QQ | 2312.2318360071304 | 2665.766666666667 | 1.152897657213317 |
BASE/laikLee_hex/zbyscQ | 2459.174295046997 | 2653.689754016399 | 1.079097874177188 |
BASE/battlebrushes/arCwyA | 2934.5514 | 849.9333333333333 | 0.28962973125409675 |
Games with errors:
Game | CADIAPLAYER_PROLOG:3.0 error message | PALAMEDES_JOCULAR:0.6.1 error message |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | 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/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/cylinder-checkers/hlldmw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes2011/93VtTw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | 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 | |
BASE/gt_centipede/9fRMpw | Test process failed to output results for unknown reason | |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process failed to output results for unknown reason | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | Test process failed to output results for unknown reason | |
BASE/sudoku/NTaNkw | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | 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/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
DRESDEN/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | 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/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/cylinder-checkers/clOO3Q | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | 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/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | 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/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | 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/smallest/9kaGFw | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes1509/-qZrLw | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | 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/skirmishHoles/AUCxCA | 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 | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
BASE/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | 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/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6/yTbPDA | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | 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/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive | |
DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException | |
BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/knightazons/apnJBQ | Exception of type NullPointerException | |
DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException | |
BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException | |
DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException | |
BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException | |
BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException | |
DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException | |
BASE/wargame02/BkVqqQ | Exception of type NullPointerException | |
BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException | |
BASE/snakeParallel/RCVNtw | Exception of type NullPointerException | |
BASE/pentago/86NgKw | Exception of type NullPointerException | |
DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException | |
BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException | |
BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException | |
DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive | |
DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/tttcc4/8Bs2lg | Exception of type NullPointerException | |
DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException | |
BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException | |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Exception of type NullPointerException | |
BASE/wargame01/_GZFZg | Exception of type NullPointerException | |
BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException | |
BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException | |
DRESDEN/amazons/dNB28A | Exception of type NullPointerException | |
DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException | |
BASE/asteroids/BKCmPQ | Exception of type NullPointerException | |
BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive | |
BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Exception of type NullPointerException | |
DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException | |
BASE/ttcc4/Le0qjQ | Exception of type NullPointerException | |
BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds | |
DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | Exception of type NullPointerException | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive | |
BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException | |
BASE/wargame03/klXI8w | Exception of type NullPointerException | |
BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException | |
BASE/knightThrough/gcwFjA | Exception of type NullPointerException | |
BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException | |
DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException | |
BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException | |
DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException | |
STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | Test process timed out after 240 seconds |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | Exception of type NullPointerException |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |
BASE/slaughter/cOch8A | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/knightwar/DVGY4Q | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/gt_two_thirds_2p/1APDGg | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type StackOverflowError |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/babel/WdSW4A | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/ruleDepthLinear/OUBJpQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | Test process timed out after 240 seconds |
DRESDEN/knightwar/7hhAqg | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/gt_two_thirds_6p/867v3Q | Test process failed to output results for unknown reason | IllegalArgumentException: bound must be positive |