index

ALLOY_COMPILED_PROVER_CACHING:2 vs. FLUXPLAYER_PROLOG:1.1

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondFLUXPLAYER_PROLOG:1.1 states per second
DRESDEN/Zhadu/9zpQ5w0.834587660963833615055.76666666666618039.766666666666
BASE/gt_two_thirds_6p/867v3Q1.198906354232240221267.217738.833333333332
DRESDEN/pentago_2008/hLjVpQ1.687521483531495812764.37563.933333333333
BASE/gt_two_thirds_4p/DStnxQ1.745443260954884431872.66666666666818260.5
BASE/pentagoSuicide/SBgNhw1.813636122506719513675.37540.266666666666
BASE/pentago/86NgKw1.830584359641643813669.7666666666667467.433333333333
BASE/othello-comp2007/86ZoMw1.836461313053792877.4477.76666666666665
BASE/othelloSuicide/B442jg1.8859422013854872898.4476.3666666666667
BASE/choicethroughalt/tt71Lg2.0890201533831229082.43333333333413921.566666666668
BASE/chineseCheckers2/eCMR3Q2.506169898555362107309.4333333333342818.1
BASE/zhadu/DlA8iQ2.563245630571193172.71237.7666666666667
BASE/chineseCheckers3/-1rZdQ2.624617285555125592895.9666666666635394.1
BASE/chineseCheckers4/avfBcQ2.74201919064364467240.824522.366666666665
BASE/chineseCheckers6/rREH3A2.825222294513120760793.1333333333321518.0
BASE/othelloHoles/c0qAzw2.8773200543232231059.3333333333333368.1666666666667
BASE/gt_two_thirds_2p/1APDGg3.19202419500303860757.7333333333319034.233333333334
STANFORD/freeforall/Lfp40Q3.48318705726848471712.3333333333320588.13728757081
DRESDEN/kitten_escapes_from_fire/uW-YiA3.684695634672153109843.2333333333429810.666666666668
BASE/2pttc/unkkYA3.723571661261141674982.6333333333320137.28757080973
BASE/2pffa/6oHijA3.725893500765766871878.3333333333319291.569476841054
BASE/kitten_escapes_from_fire/uW-YiA3.7469934137179135111581.9666666666629779.066666666666
BASE/2pffa_zerosum/o0_uZA3.786509520353859773025.019285.57147617461
BASE/skirmishZeroSum/zh4hcw4.27434598246370515859.5333333333333710.4
STANFORD/pilgrimage/ObRZnQ4.29009579148086538097.766666666678880.4
BASE/skirmishNew/sibw2g4.40331601715930316218.03683.133333333333
BASE/3pttc/0sol9g4.48315107330903166413.414814.0
BASE/3pffa/pR0dzA4.5210620158927569072.3666666666715277.90736421193
STANFORD/pentago/ZxzLmg4.61034100139628528946.3333333333326278.566666666667
BASE/quad/tw-Ufg4.61996781953449925.2558240801219265.466666666666667
BASE/cubicup_3player/e2yA_g4.62869748320465212309.8666666666672659.4666666666667
STANFORD/connectfour/VMpZkQ4.797468624959928567342.8666666666714037.166666666666
DRESDEN/cubicup_3player/awDtsQ4.80278178059018912776.22660.1666666666665
DRESDEN/3pffa/0YrmQw4.83995768126872477008.5666666666715911.0
BASE/chineseCheckers1/gqtwHw4.8444345224211816145390.230011.8
BASE/onestep/xi53wA4.92730632783426368475.374782.3
DRESDEN/connectfour/5tc-Mg4.97871060205858370056.2666666666614071.166666666666
DRESDEN/3pttc/uwYBZw4.98434767627169877147.7333333333415478.0
BASE/connectFourSuicide/c8p9Kw5.00568050419602471043.4666666666614192.569143618794
STANFORD/rainbow/_4qNSQ5.010159293990679235829.247070.2
BASE/tictactoe_3d_2player/IUC1rQ5.11302932838382413406.5333333333332622.0333333333333
DRESDEN/tictactoe_3d_2player/LMuX9w5.13200685169554713781.8333333333342685.4666666666667
DRESDEN/connectfoursuicide/M9CNQg5.13240574506283771278.1666666666713887.866666666667
BASE/shmup/ssTNlg5.161943610876598102923.1333333333319938.833333333332
BASE/connectFour/WAIKTw5.16890937785530370525.6333333333313644.2
DRESDEN/cubicup/SBn_lw5.19483559126914522713.0333333333334372.233333333334
BASE/4pffa/Q3ADlg5.2410726871235563402.83333333333612097.3008997001
BASE/reversiSuicide/9OxJlg5.2794240877580562310.1437.56666666666666
BASE/cubicup/4wNWJA5.28553025717434222703.4666666666674295.4
BASE/connectFour_9x6/B9TtMw5.40871400969744268491.2666666666612663.133333333333
BASE/reversi/d8UMeA5.4147101284096962375.4333333333334438.7
BASE/battle/8oAvhQ5.5044107512060652662.3483.6666666666667
STANFORD/platformjumpers/HEQskA5.54285296322709330312.25468.7
DRESDEN/battle/8oAvhQ5.6080667593880392688.133333333333479.3333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ5.778941402070156109093.718877.8
BASE/pegEuro/5awwhg5.84977448826182518547.13170.5666666666666
DRESDEN/grid_game2/kypTYQ5.90337629258433814215.1333333333332407.9666666666667
BASE/ticTacToeLargeSuicide/727_8g5.904740254744102112557.7333333333419062.266666666666
DRESDEN/tictactoelarge/IwXcbg5.905444701567481112710.3333333333319085.833333333332
BASE/peg/fJHVWw5.91838248933407622334.23773.7
BASE/ticTacToeLarge/TZC0dg5.9249867216954435113413.1333333333319141.5
DRESDEN/peg_bugfixed/u_B7MA5.92853617780240522824.6666666666683849.9666666666667
DRESDEN/peg/Vo31eg5.98082738492914622678.53791.866666666667
BASE/speedChess/bPnisA6.04795966228893117192.3333333333322842.6666666666665
DRESDEN/tictactoelargesuicide/6J4DeA6.125449300619446116223.8666666666718973.933333333334
BASE/ruleDepthLinear/OUBJpQ6.173317921539935467139.775670.76666666666
DRESDEN/tictactoe_3d_small_2player/HYttcg6.20823610462919737246.9333333333345999.6
DRESDEN/quad/JPe6fg6.23230641132389633.238967527060785.333333333333333
BASE/numbertictactoe/rvJ-iQ6.27550639285547562727.033333333339995.533333333333
BASE/tictactoe_3d_small_2player/oOryKA6.28421151862654837775.233333333336011.133333333333
DRESDEN/2player_normal_form_2010/NG_Kdg6.2934170521556005189470.0333333333330106.066666666666
BASE/knightwar/DVGY4Q6.33133771082786268845.710873.8
DRESDEN/knightwar/7hhAqg6.395614444170119569941.810935.9
DRESDEN/pawn_whopping_corrected/7Ov0jQ6.41578160294956447621.5666666666667422.566666666667
DRESDEN/8puzzle/8fKC2w6.457938617689705106891.816552.0
BASE/eightPuzzle/vLrgFg6.476332381632168108880.116812.0
DRESDEN/tpeg/h-Scbg6.49812004139358425117.43865.3333333333335
BASE/pawnWhopping/Ypc_6Q6.597147360697170448550.1666666666647359.266666666666
BASE/tpeg/QNs7Lw6.60082664126740125179.7333333333343814.633333333333
STANFORD/8puzzle/jNiGtw6.616658603451056109413.0666666666716536.0
BASE/dualConnect4/WbCQkg6.64272377545269745182.76801.833333333333
DRESDEN/pawn_whopping/4ogBkg6.67293159880944747977.9333333333347189.933333333333
BASE/tictactoe2/bhrDoQ6.70661763638914184872.8333333333427565.733333333334
BASE/connectFourSimultaneous/7ITr3g6.74298298600624244652.033333333336622.0
STANFORD/nineboardtictactoe/y28P-A6.82098805907080831208.0666666666664575.3
BASE/roshambo2/KNPokQ6.9120068311872584271170.739231.833333333336
BASE/ticTacHeaven/18n58A6.91786051330083632498.0333333333334697.7
BASE/connectFourLarge/aU644A6.94117576176283957602.966666666678298.733333333334
STANFORD/duikoshi/tpw1sw6.984215579861400555766.633333333337984.666666666667
STANFORD/eightpuzzle/W_aWbA6.984656685596283112744.016141.666666666666
DRESDEN/roshambo2/jgSlkQ7.062598547343099276963.333333333339215.5
DRESDEN/satlike_20v_91c_version2/yd9ioQ7.16454214951147421020.7666666666662934.0
BASE/lightsOnSimultaneous/_VN6lw7.17342714994818741765.366666666675822.233333333334
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA7.24112846817439920704.82859.3333333333335
BASE/3pConnectFour/PqXOFQ7.30299727777541951597.866666666677065.3
DRESDEN/uf20-010.cnf.SAT/5ICbCg7.36234126067882721257.5333333333332887.3333333333335
DRESDEN/uf20-01.cnf.SAT/42Rs8A7.38282145312858221474.1666666666682908.6666666666665
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g7.55586278109224421952.32905.3333333333335
DRESDEN/satlike_20v_91c/yeuENQ7.57583390061266122257.82938.0
DRESDEN/uf20-020.cnf.SAT/hDrW_A7.58096812278630321403.62823.3333333333335
BASE/nineBoardTicTacToe/wRmqqA7.67243403066682534425.74486.933333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw7.68079378068739831286.4333333333344073.3333333333335
BASE/snake2p/I3wWPQ7.80323654669375794606.712124.033333333333
BASE/nonogram_5x5_1/qLKEZw8.00683750547365358511.8333333333367307.733333333334
BASE/ticTacHeavenFC/mrletw8.03286682756859532506.0666666666664046.633333333333
DRESDEN/tictactoe-init1/3ltIBQ8.116192229208549143451.5333333333317674.733333333334
BASE/ticTacToeNoVars/XT03NA8.127748318487017139328.317142.3
STANFORD/bestbuttonsandlightsbig/g0JC6g8.165134922381707274526.533333333333621.8
BASE/snakeParallel/RCVNtw8.209880172189395154544.718824.233333333334
BASE/tictactoe-init1/7M19vA8.237708437371584149011.6333333333318088.966666666667
DRESDEN/tictactoe_orthogonal/y69QFQ8.262657387135995142031.517189.566666666666
BASE/tictactoe_orthogonal/WRzlVw8.309951662086506143433.3666666666717260.433333333334
STANFORD/bestbuttonsandlights/nm0wEA8.328475422226402318824.033333333338281.2
BASE/ticTacToe/JRFsaQ8.404905875872796138349.2333333333416460.533333333333
BASE/lightsOnSimul4/9FeASw8.44803493449781635790.14236.5
STANFORD/multiplebuttonsandlights_9/SqB9BA8.55296854745613353657.2666666666641349.066666666666
DRESDEN/four_way_battle/xSOQXA8.5637422360248457353.4858.6666666666666
STANFORD/knightstour/cEwgNA8.571764995388152332077.033333333338740.8
STANFORD/tictactoe3/X7myng8.622369206639751153563.5333333333317809.9
STANFORD/knightstourbig/TQUI2g8.631997270794747302787.7333333333435077.36666666667
STANFORD/knightstourmedium/x1wu8Q8.652805866946045344129.339770.833333333336
BASE/dotsAndBoxes/EHwA_w8.6801494814585565423.733333333337537.166666666667
BASE/dotsAndBoxesSuicide/jzQbLw8.6880351872521265644.766666666667555.766666666666
BASE/ticTicToe/c1OobQ8.7745161365071978231.28915.728090636454
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg8.79254948712803524829.8666666666652823.9666666666667
STANFORD/multiplebuttonsandlights/cK70Yg8.811292006054442350058.533333333339728.4
DRESDEN/twisty-passages/j7NPyg8.818341121495328100143.4333333333311356.266666666666
BASE/queens/HyJJnQ8.85993646641128631609.33567.6666666666665
STANFORD/tictactoe/ss1kyQ8.87572349837446138779.3333333333415635.833333333334
BASE/twisty-passages/DiZmmg8.900125628140705102016.811462.4
DRESDEN/Travelers-Dilemma/PvZwYw8.916340302084318377018.533333333342284.0
BASE/knightsTour/mvtVIg8.917579514484837348806.3666666666439114.46666666667
DRESDEN/knightstour/cGISAA8.919180644254242348919.833333333339120.166666666664
BASE/eotcatcit/AfZSzA8.923047477411874135199.9333333333215151.766666666666
DRESDEN/tictactoe/BTTzPw8.92774279420421147117.016478.633333333335
BASE/four_way_battle/xSOQXA8.9520031116297177671.866666666667857.0
STANFORD/tictactoe5/WFRReg8.996314899416946154450.8333333333417168.233333333334
STANFORD/triplesukoshi/Iu9mbA9.01365117783028346924.1666666666645205.9
STANFORD/jointbuttonsandlights/qAKuIQ9.100011611980069242939.0666666666826696.566666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ9.12093249726853925600.6333333333352806.8
DRESDEN/connect5/1kYzSg9.1367657632311119485.0666666666662132.6
DRESDEN/queens/mW2wHQ9.16172231005300732838.6666666666643584.3333333333335
DRESDEN/eotcatcit/mQUxzA9.175372701303338137043.3666666666714936.0
STANFORD/tictactoe7/-bE9-A9.175633636780404149442.9333333333216286.933333333332
BASE/knightsTourLarge/M8jgLA9.205852266196336325589.035367.6107964012
BASE/survival/YVIjJA9.209121622873147497183.953988.2
STANFORD/tictictoe/rpt_Dw9.24060925159834581902.68863.333333333334
STANFORD/trifecta/ss1kyQ9.25577498189678141027.4666666666715236.7
BASE/switches/tPUoCg9.273210723016833220003.8333333333423724.666666666668
BASE/eotcitcit/V_9_bg9.32216252708344482294.18827.790736421193
STANFORD/dualhunter/1rPZjQ9.33301130989433976964.366666666678246.466666666667
BASE/nineBoardTicTacToePie/B8LzeQ9.35447433462017730531.1333333333353263.8
BASE/troublemaker02/DI83KA9.426647988312062517468.354894.2
BASE/connect5/d-BVQg9.51104665514687820548.9333333333342160.5333333333333
DRESDEN/troublemaker02/iZLVuA9.522283035980625525648.433333333355201.933333333334
BASE/troublemaker01/s3tlEQ9.565321561303223540830.933333333356540.8
DRESDEN/tictictoe/LAUtwg9.5698086674429685745.166666666678959.966666666667
BASE/tictactoex9/BI26ow9.59386454810036920327.82118.8333333333335
DRESDEN/tictactoex9/rFkD4w9.64158291457286520465.8666666666652122.6666666666665
BASE/gt_dollar/TGjqRw9.676369083516526248697.225701.5
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg9.7166210563117126866.1333333333352764.9666666666667
DRESDEN/troublemaker01/C-lPWw9.827758531972217561519.466666666757136.066666666666
DRESDEN/blocker/S815zQ9.941332825271727142623.014346.466666666667
BASE/stateSpaceSmall/Q7osKA9.995113414408122467378.166666666746760.666666666664
BASE/breakthroughSmallHoles/bxclRw10.06113615065375652607.3333333333365228.766666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg10.11263513835309928311.3333333333322799.6
BASE/catcha_mouse/cHv4dw10.21469180935996250666.233333333334960.133333333333
DRESDEN/statespacesmall/h-NqjA10.23267333759137480628.666666666746970.0
BASE/blocker/dIWtxg10.268462408866123141265.6333333333313757.233333333334
DRESDEN/max_knights/hCipiA10.299909869310533521.43254.5333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw10.38144843033384429199.92812.7
DRESDEN/blocks/vg0DRw10.479384324071907326892.8666666666431193.9
BASE/stateSpaceLarge/0Ge_CQ10.589431803504882224102.7333333333421162.866666666665
DRESDEN/statespacelarge/8-y5HQ10.611086296230123221723.620895.466666666667
BASE/blocksWorld/SEdXLQ10.611477065594782328146.1333333333630923.7
BASE/max_knights/2fq3Ag10.62503391988644533934.233333333333193.8
STANFORD/dualrainbow/G3OnRQ10.64173630831643131159.412325.0
BASE/chickentictactoe/DSlZCA10.646203592814372118527.7333333333411133.333333333334
BASE/blocks/xIV5hQ10.746598032118824334031.1333333333631082.5
BASE/knightmove/jBaJEw10.75504019501408853826.466666666675004.766666666666
BASE/queens08ug/kJ_ZFQ10.88150994702197857583.1666666666645291.836054648451
BASE/chess_200/XsTpYA10.9192631785224377429.466666666666680.4
BASE/queens16ug/gT-ylw10.99729556270996715707.71428.323892035988
DRESDEN/chickentictactoe/Ipbo-g11.0012976582214122363.0333333333411122.6
STANFORD/sukoshi/4LYZZQ11.066013175779364134604.0333333333312163.733333333334
STANFORD/threepuzzle/41ibjA11.114931369635329336593.466666666730283.0
DRESDEN/knightmove/97Ipcw11.13720020070245955491.14982.5
DRESDEN/catcha_mouse/cHv4dw11.14009733877418154781.84917.533333333334
STANFORD/3puzzle/41ibjA11.162103353885403336006.130102.4
BASE/queens06ug/7Lq3tw11.32635070363127498459.966666666668693.0
BASE/quad_7x7/q-JOXg11.346843994089086626.345788473717655.2
BASE/hitori/S8Gsyg11.3830051299023659171.666666666666805.7333333333333
DRESDEN/quad_7x7/q-JOXg11.425403814413256629.158903380356755.06666666666667
BASE/hodgepodge/9yjRkw11.562541930086267195328.3333333333416893.2
BASE/solitaireChineseCheckers/-ET6gw11.59818097014925389519.47718.4
DRESDEN/hitori/S8Gsyg11.7575058705132519346.433333333332794.9333333333333
BASE/sum15/QZ07Kg11.763982840349321168922.1666666666614359.266666666666
DRESDEN/sum15/CsgWKg11.771937617557034169608.914407.9
STANFORD/breakthrough/d5j0cQ11.8695966245834148199.266666666674060.733333333333
BASE/withConviction/3Xm54A11.89223062548307840516.4333333333343406.9666666666667
BASE/futoshiki4/BaCwSw11.92780291711899736990.93101.233333333333
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g11.96057476888213615482.1666666666661294.4333333333334
BASE/queens12ug/u6Bkmg12.00090804028396729075.82422.8
DRESDEN/lightson2x2/gBHuig12.08081797575638204306.7666666666616911.666666666668
DRESDEN/chinesecheckers1/Y-ftaA12.10488630603559662016.466666666675123.258913695435
DRESDEN/oisters_farm/pTQMLg12.268727152244741370290.6333333333630181.666666666668
BASE/factoringMutuallyAssuredDestruction/NH0LGg12.288774822535718182349.0333333333314838.666666666666
BASE/escortLatch/mX9BjQ12.5094824707846449954.533333333333993.3333333333335
DRESDEN/chinesecheckers6-simultaneous/gPPGUw12.52803933877380211974.3955.8
BASE/haystack/UkweGA12.597411053826908666166.633333333352881.23333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA12.62476989159337220574.1666666666681629.6666666666667
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw12.6399240137399816190.91280.9333333333334
DRESDEN/sat_test_20v_91c/dK7nVw12.7686681986212421300.2666666666661668.1666666666667
DRESDEN/cube_2x2x2/fp-34Q12.77986025560247290598.133333333337089.133333333333
BASE/gt_centipede/9fRMpw12.834759256833365378842.7333333333429516.933333333334
BASE/lightsOn/MsXu3A12.936872730269295376776.529124.233333333334
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA12.95601299662745621000.8333333333321620.9333333333334
BASE/rubiksCube/9tNO9Q12.97059142702116239841.3333333333363071.6666666666665
BASE/circlesolitaire/azuQFQ13.19798550389466268218.720322.7
BASE/factoringEasyTurtleBrain/lUj94Q13.257906374590895178179.913439.520159946684
DRESDEN/blocksworldparallel/2JfVaw13.261194009286433160414.0333333333312096.5
DRESDEN/circlesolitaire/ruUilQ13.276781715545622269769.620318.9
STANFORD/buttonsandlights/eyhJpA13.387416123239769717704.733333333353610.4
BASE/hanoi_6_disks/MeubgQ13.427704396316221254281.3333333333418937.066666666666
DRESDEN/point_grab/r5DPmQ13.439039575610947403646.033333333330035.333333333332
DRESDEN/firefighter/WJmoPw13.463150488383643227701.3666666666716912.933333333334
BASE/lightsOnParallel/SC6enA13.476021744009177180142.9666666666713367.666666666666
DRESDEN/pancakes/hl9aiQ13.490977098538998679041.850333.03333333333
BASE/pancakes6/QZTdnw13.506084420009516683100.833333333450577.26666666667
DRESDEN/hanoi_6_disks/MeubgQ13.53767126929826254584.9333333333218805.666666666668
BASE/point_grab/V_osUg13.559740807347998403040.69593040729723.333333333332
BASE/firefighter/WJmoPw13.665849437554083227421.616641.6
DRESDEN/toetictac/mJtxCA13.69359077669185246970.318035.466666666667
BASE/snakeAssemblit/UO4sdg13.69615702627889325399.0666666666661854.4666666666667
DRESDEN/pancakes6/SZXMyQ13.762012097864332693985.750427.63333333333
DRESDEN/statespacemedium/dVJZ_w13.969991221936882427573.9333333333530606.6
BASE/pancakes/yUgbXw13.974872327586969684756.166666666648999.1
STANFORD/hunter/14dD-g13.984582827111208172754.5666666666812353.215594801733
BASE/hexPie/48CH6Q14.11884668083162723700.3666666666651678.6333333333334
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw14.25054809006732118416.9333333333341292.3666666666666
BASE/toetictac/mTThmg14.270404062241884257428.118039.3
DRESDEN/vacuum_cleaner_1/eUNjpw14.284954692681863209195.0666666666814644.433333333332
BASE/tron_10x10/7ZTgDg14.32131749082649109281.27630.666666666667
DRESDEN/ggp-course2013_michal13/jWKddg14.3860329776915622472.0171.83333333333334
DRESDEN/pancakes88/aD3E7g14.388286085428287640218.344495.8
BASE/stateSpaceMedium/3bUoIw14.41649194983979437321.430334.8
BASE/pancakes88/l2Xaig14.62916516265219646613.044200.2665778074
BASE/slidingpieces/uFJWEw14.80237813571146816266.3333333333341098.9
BASE/coins/QnGtnQ14.90232781927324643361.82909.733333333333
BASE/maze/cCX3qQ14.998701916671424656680.666666666643782.5
BASE/connectFourLarger/qKi60A15.09189660453827742699.02829.266666666667
DRESDEN/hanoi/RQ0jiA15.103072991870087340643.2666666666622554.566666666666
DRESDEN/slidingpieces/s9_44g15.23836419753086516457.4333333333341080.0
DRESDEN/latenttictactoe/kITHKg15.28864807423791282486.333333333335395.266666666666
BASE/hanoi/iGLsJg15.392669909790772347636.2666666666622584.533333333333
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A15.432615220732242185439.3333333333412016.066666666668
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA15.541132689341492190432.2333333333412253.433333333332
DRESDEN/chinesecheckers4/-oVNYg15.83889714351731530455.9666666666671922.8590469843386
DRESDEN/chinesecheckers3/QsCb2A16.21338456830006447678.72940.7
DRESDEN/coins/QwFP9w16.29594665212550847815.5666666666662934.2
BASE/coins_atomic/AA3SSw16.31557090249974447407.0666666666662905.633333333333
DRESDEN/small_dominion/yB5GJA16.518649464459592826.5171.10963012329225
BASE/futoshiki5/TJ4BZg16.55225106802497616789.51014.3333333333334
BASE/amazons_8x8/7SOsIw16.57877445368111733305.12008.9
DRESDEN/mimikry/GJEhwA16.5987620513986353543.733333333333225.766666666667
BASE/nonogram_10x10_1/0Xc62g16.61708961281897615693.733333333334944.4333333333333
DRESDEN/hanoi7_bugfix/3gdnFw16.653357744299303316999.819035.188270576473
BASE/incredible/8Qh-6Q16.663282080032673160499.066666666689631.9
DRESDEN/hanoi7/51zz5Q16.794339802197957317657.118914.533333333333
BASE/coloredtrails/EZvr7g16.828432590629227101584.833333333336036.5
BASE/beatMania/qUHwvQ16.890133531157268273214.816176.0
BASE/blocksWorldSerial/Wyg96Q16.916311407922425184912.210931.0
BASE/factoringGeorgeForman/HGRorQ17.19745358821521349296.333333333320310.933333333334
DRESDEN/Goldrush/VeWczQ17.4935884907247768620.933333333333922.633333333333
BASE/futoshiki6/JmvXNA17.5659251895116179423.533333333333536.4666666666667
BASE/hanoi7_bugfix/3gdnFw17.57910637034747333616.8666666666418978.033333333333
BASE/duplicateStateSmall/bCPAXw17.795811837295517457625.2333333333425715.333333333332
BASE/mummymaze1p/PT_EXA17.9535808088148289948.63675754955010.066666666667
DRESDEN/mummymaze1p/AekgaQ18.08486508139771691796.966666666665075.9
BASE/4pttc/AL1k2Q18.35586460128072556801.033333333333094.4351882705764
BASE/ticTacToeParallel/ymRGPw18.4032305956410761978.43367.8
DRESDEN/tictactoeparallel/yk_DSg18.59044382408868461266.6666666666643295.6
BASE/amazonsTorus_10x10/Uxc08g18.6546021746373120530.6333333333351100.5666666666666
DRESDEN/knightfight/4_Ly4w18.674581307708944109349.633333333335855.533333333334
BASE/knightfight/SJRkAg18.852228884328934109941.85831.766666666666
BASE/tictactoe_3player/GtM71g19.2803041579835351810.033333333332687.2
DRESDEN/tictactoe_3player/ESLQQQ19.2963064024012151859.466666666672687.5333333333333
BASE/amazons_10x10/Bun8dA19.52997213555931227334.81399.6333333333334
BASE/amazonsSuicide_10x10/XIbQkg19.70541815032239427301.21385.4666666666667
DRESDEN/frogs_and_toads/GjchhQ19.83650654619214457372.466666666672892.266666666667
DRESDEN/4pttc/9pB9AQ19.92048761223811263894.33207.4666666666667
BASE/chickentoetictac/l57rfQ19.97939567334237238829.711953.8
DRESDEN/buttons/ADUaHw20.001715193016388612228.530608.8
STANFORD/multipletictactoe/_bkafQ20.10682270333528328635.4666666666671424.1666666666667
STANFORD/untwistycorridor/EDPPAQ20.11540265036782619164.833333333430780.633333333335
BASE/buttons/hTcUjw20.326926440012695627658.930878.2
BASE/pearls/6k_mEQ20.409292265457648719649.333333333435260.86666666667
BASE/untwistycomplex2/EDPPAQ20.522485477964388606732.233333333329564.266666666666
DRESDEN/chickentoetictac/cxYaRQ20.538992663656884242633.9666666666711813.333333333334
BASE/asteroids/BKCmPQ21.20931976376706540244.525472.033333333333
DRESDEN/CephalopodMicro/H3XQfg21.630027422303473155.1145.86666666666667
BASE/cephalopodMicro/9l2D3g21.6703796317344843177.6146.63333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ22.94095135357271459545.533333333332595.6
DRESDEN/connect4/T0-rHQ22.9611433675748125705.01119.5
BASE/battlebrushes/arCwyA23.04498484430972711150.7483.8666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ23.54042169688926579231.566666666673365.766666666667
BASE/asteroidsParallel/WauZiA23.62801691348633318886.8666666666413496.133333333333
BASE/doubletoetictac/fu35bg23.85124444903439376983.866666666673227.6666666666665
DRESDEN/brain_teaser_extended/ZDp94A24.012356529416486199446.633333333338306.0
DRESDEN/bunk_t/7-tPfA24.10723181623953777103.766666666663198.366666666667
BASE/connect4/50bOyw24.16869596434020226929.5666666666661114.2333333333333
BASE/double_tictactoe_dengji/zgaSbA24.54514782126884582690.966666666663368.9333333333334
DRESDEN/doubletoetictac/V89gKQ24.65553220705725279002.93204.266666666667
BASE/duplicateStateLarge/dcjyuw24.66601070399341599856.233333333344048.3333333333335
BASE/knightazons/apnJBQ24.6766445706132427671.5666666666661121.3666666666666
BASE/brain_teaser_extended/ZDp94A25.087986279257464207226.766666666668260.0
DRESDEN/doubletictactoe/lJzgmQ25.1214462554157281175.766666666663231.3333333333335
DRESDEN/knightazons/02I8BQ25.16471527408195628370.71127.4
BASE/bunk_t/xbpfIA25.22921700925780580392.93186.5
BASE/doubletictactoe/HH1htg25.24534989459761381434.766666666663225.733333333333
BASE/blocksWorldParallel/RseaAQ25.9412239625383548196.21857.9
DRESDEN/pawntoqueen/f_x6Aw25.970361816782142249.033333333333386.6
BASE/blokbox_simple/JBx4bg26.36031752076997129.165555851772874.9
BASE/aipsrovers01/4C4jsw26.44825750934755197117.17452.933333333333
BASE/wargame01/_GZFZg26.64826523849612349591.533333333331860.9666666666667
DRESDEN/pacman3p/rBnk8Q27.2220190984170742190.51549.8666666666666
BASE/pacman3p/wW7UVQ27.65510593174953543032.266666666671556.0333333333333
BASE/pawnToQueen/-O1_JA27.7292817679557972342.284.46666666666667
BASE/wargame03/klXI8w27.82947624847746243411.21559.9
DRESDEN/aipsrovers01/qS47Mw27.898201596551157203630.833333333347299.066666666667
BASE/lightsOut/5P1ZBw28.19905897114178104881.73719.3333333333335
BASE/bomberman2p/4CClwA28.55491044530864686887.833333333333042.8333333333335
DRESDEN/lightsout2/LFtfyQ28.588348640374573105834.066666666673702.0
DRESDEN/lightsout/XgLpzQ28.78993702833032106103.533333333343685.4381872709096
DRESDEN/chinesecheckers6/yTbPDA29.1464377639503238878.4333333333341333.9
DRESDEN/ggp-course2013_jordi/9QI6Kw29.16197663096397419966.233333333334684.6666666666666
DRESDEN/bomberman2p/x4h6jQ29.31613388159349488405.733333333343015.6
DRESDEN/quartosuicide/WIU1oQ30.7677564625367957845.4333333333341880.0666666666666
BASE/quarto/EwBMVQ31.0898201476979658658.21886.7333333333333
BASE/quartoSuicide/-23jUg31.25322626391547658768.5666666666661880.4
DRESDEN/quarto/OQzRYQ31.51381613640358759760.71896.3333333333333
BASE/wargame02/BkVqqQ32.6843361832553633768.366666666671033.1666666666667
BASE/asteroidsSerial/id2QkA34.34608182991321271478.37904.2
DRESDEN/battlebrushes/QHXV4A34.8934426229508210784.4309.06666666666666
BASE/conn4/va9Y7A35.2178297700685840742.3333333333361156.8666666666666
BASE/gt_tinfoil/Q8DyKg36.974517697098584324537.66666666678777.333333333334
BASE/mineClearingSmall/frsbvw38.7199365552066839872.51029.7666666666667
BASE/duplicateStateMedium/U163eQ40.02412999778343349098.46666666678722.2
STANFORD/selectivesukoshi/3xmXYg40.7048525437668911547.966666666667283.7
DRESDEN/othello-cornercontrol/r5Gdlg42.95948897524479608.592760482634514.166666666666666
DRESDEN/Runners/3bOCQw43.30322667687969331662.37659.066666666667
DRESDEN/amazons/dNB28A48.720238095238093819.666666666666578.4
BASE/hidato19/rRHSmA49.0898323418063830255.7616.3333333333334
DRESDEN/mummymaze2p-comp2007/oTQRQg49.50533521545771108718.666666666672196.1
BASE/mummyMaze2p_2007/YGA3Vw50.30500175419864109928.166666666672185.233333333333
BASE/god/qF06gw50.416644509438986320.566666666667125.36666666666666
BASE/crossers3/O0rORg51.3193281188712874141.033333333341444.7
DRESDEN/crossers3/xiPTxg51.6604807025652974511.633333333331442.3333333333333
DRESDEN/god/2EDD5w51.891206759968316550.4126.23333333333333
BASE/blockerParallel/7-nDJA51.90360227899283518827.166666666668362.73333333333335
DRESDEN/blockerparallel/dVQgSg52.40685913938947518999.233333333334362.53333333333336
DRESDEN/grid_game/U7_Yeg53.6190094780403180332.01498.2
DRESDEN/ghostmaze2p/HY0UwA54.76566779996972132622.366666666672421.633333333333
BASE/ghostMaze2p/W-NU-w54.88166042777028131461.72395.366666666667
BASE/snake_2008/i6K26g56.3258800722562485228.566666666671513.1333333333334
BASE/biddingTicTacToe/8mESVw57.26285811050046123991.266666666662165.3
DRESDEN/snake_2008/E56l3A59.1495576587905689369.066666666671510.9
BASE/snake_2008_tweaked/bX0NJQ59.3189670485833589049.633333333331501.2
DRESDEN/bidding-tictactoe/yW5vTA60.14180614309361130796.42174.8
BASE/hallway/ckCJOw60.1875769340024621188.033333333333352.03333333333336
DRESDEN/hallway/0H4l-Q61.3465198731106621917.066666666666357.26666666666665
BASE/pacman2p/4LEdQg62.04654538416876642745.933333333334688.9333333333333
BASE/ticTacToeSerial/Amrwqw70.3570912070960397299.166666666671382.9333333333334
BASE/snake_2009/7l-qAQ71.0018376211159385003.41197.2
DRESDEN/snake_2009/zIYLVw71.2432167283327784722.433333333331189.2
BASE/tictactoe_3d_small_6player/g_9lww73.852475166242529986.566666666666406.03333333333336
DRESDEN/backgammon/mqCW0Q75.7840537944284326297.066666666666347.0
DRESDEN/tictactoe_3d_small_6player/llDEDQ76.2228045226684430738.033333333333403.26557814061977
DRESDEN/guess/PhxGhg77.74632374828839174120.666666666662239.6
BASE/guess/SPpk1A80.32481822660834179335.866666666672232.633333333333
DRESDEN/snake_2009_big/DgC1NQ80.8553143479614169276.83333333333856.8
BASE/snake_2009_big/-oRfVw84.1523898199875972303.73333333334859.2
BASE/gt_coordination/IVMOzA92.71447695683979422468.96666666674556.666666666667
DRESDEN/babel/WdSW4A92.7568390398870470074.7755.4666666666667
DRESDEN/tictactoe_3d_6player/ulZPWg94.3851286939942813201.333333333334139.86666666666667
BASE/amazonsSuicide/dE1QEQ94.51639344262296768.73333333333338.133333333333333
BASE/amazons/RKKZjw94.57201646090535766.03333333333338.1
BASE/hidato37/pBrqxw95.659222867351497139.36666666666774.63333333333334
BASE/tictactoe_3d_6player/d7KSwg96.4577161968466313459.066666666668139.53333333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw96.659340659340673518.436.4
DRESDEN/fizzbuzz/t1xHzQ99.48207301173403610422.06136.0
BASE/chomp/-LcqYQ101.6515746314228377682.13333333333764.2
DRESDEN/chomp/-LcqYQ103.9933730354184477416.13333333333744.4333333333333
BASE/sudokuGrade1/tDRNRw104.204387990762136016.06666666666757.733333333333334
BASE/sudokuGrade2/u80Tfw106.659987856709175855.63333333333354.9
BASE/sudokuGrade5/BQfUQA108.5577617328526014.155.4
BASE/kalaha5x2x3/WviNsw110.20108676475776104106.96666666666944.7
BASE/sudokuGrade3/eI8dvg115.362550123725175787.35459787354650.166666666666664
BASE/sudokuGrade4/DTy07w121.501394700139475807.76666666666647.8
BASE/gt_staghunt/xPjLRA124.51333955223882400434.93216.0
BASE/kalaha6x2x4/XS81Mg127.0385270606735796943.1763.1
STANFORD/sudoku/oJ1qyQ130.958302852962675967.33333333333345.56666666666667
BASE/qyshinsu/R08Lzw131.3280855199222422522.766666666666171.5
BASE/sudokuGrade6H/ieE_9A138.611206896551725359.63333333333338.666666666666664
BASE/sudokuGrade6E/ihYFZA142.521466905187855311.337.266666666666666
BASE/sudoku/NTaNkw143.0820624546114713134.93333333333291.8
DRESDEN/kalaha_2009/gcC8uA149.5678038918372398639.96666666666659.5
BASE/kalaha_2009/dRiN3g158.28310713551306102630.76666666666648.4
DRESDEN/gt_prisoner/huCp4w192.6636279658281401254.1158434982082.6666666666665
BASE/gt_prisoner/klthDw193.73489019486544417563.266666666662155.3333333333335
BASE/racer4/0vs7Ww195.2304083885209723583.833333333332120.8
STANFORD/duidoku/3SoMaA197.471659693165954718.023.892035988004
DRESDEN/logistics/fPru1Q205.9760352422907877927.6378.3333333333333
BASE/gt_chicken/gmepTQ208.36232130701154408112.33333333331958.6666666666667
DRESDEN/gt_chicken/CeuKtw208.84307032590053405851.71943.3333333333333
BASE/simultaneousWin2/PfjRjw236.08470444850738741.5164.1
BASE/biddingTicTacToe_10coins/a-9ccQ253.08440127336544103351.23333333334408.3666666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ258.24366855175805105027.7406.7
DRESDEN/mummymaze2p/k-8edg269.574812247255962217.86666666667230.8
BASE/mummymaze2p/vpjDdA276.123735183579163674.13333333333230.6
BASE/checkersTiny/Lr48cg352.410732984293244873.63333333333127.33333333333333
DRESDEN/stratego/Z2wovg449.7991350312350431201.06666666666669.36666666666666
BASE/checkers-newgoals/0XkFiA564.961382113821218530.73333333333432.8
DRESDEN/checkers/jIDMIg565.066115702479418232.832.266666666666666
BASE/cittaceot/fDxhXg568.60877954655139290.8666666666769.1
DRESDEN/checkers-newgoals/IJOqXQ579.011530398322918412.56666666666631.8
BASE/checkersSmall/SYmq8w618.531168831168831751.26666666666651.333333333333336
DRESDEN/cylinder-checkers/clOO3Q629.777044854881315912.36666666666725.266666666666666
DRESDEN/gt_ultimatum/pAiiQw647.3635658914728334039.6516.0
BASE/cylinder-checkers/hlldmw656.256613756613816537.66666666666825.2
DRESDEN/towerworld/HCX34w663.70446994535521348.63333333333342.031978680879414
BASE/golden_rectangle/_nYzfw673.462078651685415983.523.733333333333334
BASE/gt_ultimatum/GE-uOA687.191222861552346228.9666666667503.8320559813396
BASE/quad_5x5/JAEP5g742.60329533730994059.5646811772945.466666666666667
DRESDEN/farmers/S_ASnw761.168539325842645162.66666666666459.333333333333336
DRESDEN/quad_5x5/JAEP5g770.60624999999994109.95.333333333333333
DRESDEN/smallest_4player/ADDROA774.6572283609576112170.36666666667144.8
BASE/smallest_4player/ADDROA782.9930939226518113377.4144.8
BASE/checkers/rOC3Xg871.192214111922223870.66666666666827.4
DRESDEN/quad_5x5_8_2/JRTLJg976.08750000000015205.85.333333333333333
STANFORD/madness/UO_B3A1040.1069173553728387.48.063978673775408
BASE/checkers-mustjump/T-8UuQ1057.842342342342415656.06666666666814.8
DRESDEN/checkers-mustjump/HUr33w1079.622685185185215546.56666666666814.4
DRESDEN/smallest/9kaGFw1330.052325581395591507.668.8
DRESDEN/checkers-cylinder-mustjump/vW_-pA1451.398550724637713352.8666666666679.2
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg1484.49270072992713558.3666666666679.133333333333333
DRESDEN/capture_the_king/EQ229Q1488.22788671023957577.3333333333335.091514143094842
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1495.654411764705913560.69.066666666666666
BASE/checkers-cylinder-mustjump/rjr6qQ1503.904411764705913635.49.066666666666666
STANFORD/skirmish/w4V6Vw1525.87841666666657725.9666666666665.063291139240507
BASE/skirmish/Y_psYQ2002.96472972972977408.53.6987670776407864
DRESDEN/checkers-mustjump-torus/cVc3gA2007.5312512848.26.4
BASE/checkers-mustjump-torus/uSApKQ2053.393617021276412867.9333333333326.266666666666667
DRESDEN/skirmishfinal/hzq8ww2371.58726315789510503.5333333333334.428904428904429
BASE/skirmishFinal2/gdB62Q2388.18181818181810508.04.4
BASE/skirmishFinal1/ecWTnQ2421.86004797979810652.6333333333334.3985338220593135
BASE/skirmishFinal3/-Olhfw2645.007812511285.3666666666674.266666666666667
BASE/breakthroughSmall/HJ0tIA2913.79856115107967503.023.166666666666668
BASE/breakthroughSuicideSmall/XSbJog2992.36006051437265931.6666666666722.033333333333335
BASE/strangeSkirmish/gc1zKA3628.9285380116966892.6666666666671.8993668777074308
BASE/skirmishHoles/AUCxCA3927.52542372881367724.1333333333331.9666666666666666
BASE/racer/QQYQNw4294.00435729847465698.2666666666615.3
DRESDEN/golden_rectangle/1uloXw4397.28703703703715830.2333333333343.6
DRESDEN/racer/vk_ZBA4404.437565772.9333333333314.933333333333334
DRESDEN/Thief_Police/CX18rA4612.709134615385191888.741.6
DRESDEN/Catch-Me-If-You-Can/ghGWrA4698.220985691574197012.0666666666841.93333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA4913.056013179571198815.040.46666666666667
DRESDEN/catch_me/ghGWrA4961.430286036037195745.8666666666739.45351549483505
BASE/ttcc4_2player_small/Cv72TA7049.01136363636362031.38.8
BASE/knightThrough/gcwFjA8990.83569017094146736.766666666675.198267244251916
BASE/merrills/pku8Tg9023.34011111111218040.6666666666681.9993335554815062
DRESDEN/merrills/aYEzwA9097.9518195.92.0
DRESDEN/knightthrough/J7Fc_Q9301.12413043478249866.1666666666645.361305361305361
BASE/breakthroughHoles/nZk0Sg9824.03829411764944520.84.53182272575808
BASE/breakthroughSuicide/wZDpIg10586.0167050359749032.24.631789403532156
BASE/breakthrough/TGxk-g10725.00737762237651105.54.765078307230923
BASE/colonelBlottoVariant2/jruwGw10927.055384615383236752.8666666666721.666666666666668
DRESDEN/breakthrough/z4hK7Q10948.97841726618850730.266666666674.633333333333334
BASE/breakthroughWalls/vOZaYA11043.32107729468650765.4333333333344.596935376415723
DRESDEN/breakthroughsuicide/Y9QzqQ11191.7841726618751855.266666666674.633333333333334
DRESDEN/breakthroughsuicide_v2/LU1nAw11664.62944776119452067.34.463690872751499
BASE/colonelBlottoVariant/X-n-KQ12976.295259525.920.0
BASE/ttcc4_2player/_aH_Mw29494.4571428571434410.21.1666666666666667
STANFORD/ttcc4/Cx9SGw32043.26576470588436303.61.13295568143952
BASE/blockerSerial/3eqDuw34492.84931506849583932.62.433333333333333
BASE/ttcc4_2player_alt/ZEJvYA39214.11764705882544442.6666666666641.1333333333333333
BASE/checkersTorus/2vm1EQ42293.0320312545067.51.0656010656010657
DRESDEN/vacuumcleaner_random_big/DwzFaQ58862.5161290322560824.61.0333333333333334
BASE/copolymer_4_pie/IN5_jA63940.71052631579480991.566666666671.2666666666666666
DRESDEN/tttcc4/sAvtFg85122.7106666666736861.9333333333340.4330446369087275
BASE/tttcc4/8Bs2lg87423.5160769230937870.90.433188937020993
BASE/ttcc4/Le0qjQ87933.9230769230638104.70.43333333333333335
STANFORD/checkersonabarrelnokings/Zrevdw120325.5454545454744119.366666666670.36666666666666664
BASE/checkersBarrelNoKings/rnKNeg133825.2727272727449069.266666666670.36666666666666664
BASE/checkersTorusNoKings/pwb6oQ167473.8888888888850242.1666666666640.3
BASE/queens08lg/Ru7eqQInfinity12360.9333333333320.0
BASE/ad_game_2x2/D0aWqgInfinity60572.0666666666660.0
BASE/englishDraughts/jFkQxgInfinity51069.5666666666660.0
BASE/slaughter/cOch8AInfinity4992.8333333333330.0
DRESDEN/battlesnakes1509/-qZrLwInfinity60442.00.0
DRESDEN/ggp-course2013_nicolai/uEin8gInfinity5111.3333333333330.0
BASE/blobwars/0XT15QInfinity12773.70.0
DRESDEN/crisscross/GsY16gInfinity49541.10.0
BASE/gt_attrition/kD_SCAInfinity118750.10.0
BASE/crisscross/ICagEgInfinity52494.0666666666660.0
BASE/ticblock/T21C1gInfinity97930.20.0
BASE/queens31lg/0gID-AInfinity90.393973735084330.0
BASE/colonelBlotto/jip21AInfinity80164.133333333330.0
DRESDEN/blobwars/ZaMluQInfinity12759.8333333333340.0
DRESDEN/ticblock/Z2yNWQInfinity97478.266666666660.0
DRESDEN/battlesnakes2011/93VtTwInfinity64341.633333333330.0

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageFLUXPLAYER_PROLOG:1.1 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest process failed to output results for unknown reason
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest process failed to output results for unknown reason
BASE/endgame/jYjfOATest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/wallmaze/uxNQ9gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/checkLines/Vop7oQTest process failed to output results for unknown reason
BASE/nim4/twk16wTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
BASE/sheepAndWolf/g4THrgTest process failed to output results for unknown reason
DRESDEN/minichess/c7GMFwTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
DRESDEN/racetrackcorridor/O0DoTATest process failed to output results for unknown reason
DRESDEN/blocks2player/3ev8nQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorTest process failed to output results for unknown reason

index