index

ALLOY_TUPLE_PROVER:2 vs. PALAMEDES_JOCULAR:0.6.1

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondPALAMEDES_JOCULAR:0.6.1 states per second
DRESDEN/coins/QwFP9w4.352296135101665E-41412.46666666666673245336.7666666666
BASE/blocksWorldParallel/RseaAQ4.410672950619101E-41416.76666666666673212132.6666666665
BASE/coins/QnGtnQ4.501107354632979E-41401.43113456.066666667
BASE/coins_atomic/AA3SSw4.712221772564299E-41415.1861604613183003224.8666666667
BASE/minichess/8NQEiA0.0010928094237637843159.1333333333332890836.466666667
BASE/blocksWorldSerial/Wyg96Q0.0011843324118218485735.2333333333344842587.5
BASE/snake2p/I3wWPQ0.001291780771237762946.2333333333333732503.0333333333
STANFORD/tictactoe3/X7myng0.00153938538744178436174.14010756.533333333
DRESDEN/blocksworldparallel/2JfVaw0.00164401019050059195450.8333333333333315571.5
STANFORD/tictactoe5/WFRReg0.00177509125404679136595.2333333333343715433.4
BASE/tictactoe-init1/7M19vA0.0018274829447136666792.5666666666673716897.433333333
DRESDEN/tictactoe-init1/3ltIBQ0.00185675405634240146879.93705337.2666666666
STANFORD/sukoshi/4LYZZQ0.00277711609415405534640.0666666666671670822.0
BASE/hodgepodge/9yjRkw0.00302865569499016048527.5666666666682815627.6333333333
STANFORD/threepuzzle/41ibjA0.003076933305925978616505.75364334.666666667
STANFORD/3puzzle/41ibjA0.003103330809701138216398.5666666666665284182.6
STANFORD/tictactoe7/-bE9-A0.00316045475324365856833.42162157.2
BASE/gt_dollar/TGjqRw0.003247531593170372712121.9333333333323732660.6333333333
BASE/blocksWorld/SEdXLQ0.00330380459590846214966.64530110.533333333
DRESDEN/blocks/vg0DRw0.00333172435450833714958.14489597.1
BASE/blocks/xIV5hQ0.003381168188758292415102.04466503.633333334
BASE/maze/cCX3qQ0.00402637731043448426454.8666666666656570389.366666666
BASE/gt_centipede/9fRMpw0.00422721223037467216911.8333333333324000706.0
BASE/duplicateStateSmall/bCPAXw0.00449482839669526317651.6666666666683927105.8
BASE/pearls/6k_mEQ0.00472281328282128131264.2333333333346619832.6
BASE/stateSpaceSmall/Q7osKA0.00565443464050649922266.5333333333333937888.533333333
DRESDEN/statespacesmall/h-NqjA0.00597362371262524523076.0333333333333862987.433333333
DRESDEN/buttons/ADUaHw0.00613556802759002724593.3666666666654008327.6
BASE/buttons/hTcUjw0.006199405295941119525212.9666666666674066997.6333333333
DRESDEN/troublemaker02/iZLVuA0.00675319427322732629014.04296337.233333333
DRESDEN/troublemaker01/C-lPWw0.00683291656198173832438.04747313.933333334
BASE/troublemaker01/s3tlEQ0.006927591193584760531982.1666666666684616635.966666667
BASE/troublemaker02/DI83KA0.0069928000059781629570.6333333333354228725.733333333
BASE/switches/tPUoCg0.00724989524669675916599.8333333333322289665.2666666666
BASE/haystack/UkweGA0.00922606076963780844679.44842738.533333333
STANFORD/buttonsandlights/eyhJpA0.0113974403644208746097.94044583.566666667
BASE/survival/YVIjJA0.01151614432203861731294.7333333333342717466.2333333334
DRESDEN/2player_normal_form_2010/NG_Kdg0.01448893969745700329762.1666666666682054130.0666666667
BASE/onestep/xi53wA0.01481034297831031440844.52757836.2
STANFORD/knightstourmedium/x1wu8Q0.133631169824231221716.766666666666162512.73333333334
BASE/tron_10x10/7ZTgDg0.186489526021466574410.923652.266666666666
DRESDEN/snake_2008/E56l3A0.262342368113661851467.33333333333335593.2
BASE/snake_2008_tweaked/bX0NJQ0.27857272782392531531.55497.666666666667
BASE/snake_2008/i6K26g0.283337567462063231524.23333333333335379.566666666667
BASE/ticTacToeNoVars/XT03NA0.29461057434401775070.86666666666717212.1
DRESDEN/snake_2009/zIYLVw0.302050815711609971483.63333333333344911.866666666667
BASE/snake_2009/7l-qAQ0.306888186229079261501.13333333333344891.466666666666
BASE/knightsTour/mvtVIg0.3123479973402380521717.56666666666669530.03333333334
STANFORD/knightstour/cEwgNA0.312651355184178421642.369221.83333333333
DRESDEN/knightstour/cGISAA0.3170689916240964621218.93333333333466922.13333333333
BASE/kitten_escapes_from_fire/uW-YiA0.37981553771946119139.424062.733333333334
BASE/hanoi_6_disks/MeubgQ0.382455680239273739138.623894.533333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA0.389981582413654949020.323130.066666666666
BASE/quad/tw-Ufg0.405741058466411450.59390259997360431.463747845037895
BASE/circlesolitaire/azuQFQ0.416357158360138511382.06666666666827337.266666666666
DRESDEN/hanoi_6_disks/MeubgQ0.421688899209989259442.522392.1
DRESDEN/circlesolitaire/ruUilQ0.4327996806043446511636.36666666666726886.264450144918
STANFORD/untwistycorridor/EDPPAQ0.434233179006071927342.06666666666662966.32313829787
BASE/snake_2009_big/-oRfVw0.43496042978453011254.93333333333342885.1666666666665
BASE/toetictac/mTThmg0.43673022120350538980.620563.266666666666
DRESDEN/toetictac/mJtxCA0.445705806209190379331.13333333333320935.633333333335
DRESDEN/snake_2009_big/DgC1NQ0.44926182693343871250.72783.9
BASE/untwistycomplex2/EDPPAQ0.4510693474940326628339.862828.03333333333
DRESDEN/aipsrovers01/qS47Mw0.45879976710710185809.76666666666612662.967776333766
BASE/aipsrovers01/4C4jsw0.45990706506676025994.413033.937626354687
STANFORD/multiplesukoshi/vLSQPg0.4641956915574021229.78468102126524495.01683277224095
DRESDEN/eotcatcit/mQUxzA0.47504990019960086552.93333333333313794.2
BASE/eotcatcit/AfZSzA0.4819894588082096514.213515.233333333334
DRESDEN/tictactoe/BTTzPw0.482003795925152866958.014435.570961935871
DRESDEN/sum15/CsgWKg0.483103169837884877777.816099.666666666666
BASE/tictactoe2/bhrDoQ0.48698653117960026773.33333333333313908.666666666666
BASE/sum15/QZ07Kg0.492745091899677477868.415968.5
BASE/ticTacToe/JRFsaQ0.49897206237783667050.43333333333314129.916011198507
STANFORD/trifecta/ss1kyQ0.499759851625250336763.413533.3
BASE/tictactoe_orthogonal/WRzlVw0.51994025059080577773.814951.333333333334
BASE/blocks2player/wnTLOQ0.520646933257174410086.03333333333319372.11705105986
STANFORD/tictactoe/ss1kyQ0.52329159901620836886.513159.966666666667
BASE/lightsOnParallel/SC6enA0.52437289428928015405.910309.266666666666
BASE/duplicateStateMedium/U163eQ0.53363253715164679314.917455.64475831973
DRESDEN/tictactoe_orthogonal/y69QFQ0.53416141785829867593.03333333333414214.866666666667
DRESDEN/blocks2player/3ev8nQ0.534807090501226310219.719109.133333333335
BASE/ticTicToe/c1OobQ0.538816214538044280.9666666666667945.133333333333
BASE/nineBoardTicTacToe/wRmqqA0.543037160858943703.86666666666671296.1666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.54716101402224232112.33333333333353860.5333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.5563981432033852257.44057.1666666666665
BASE/eotcitcit/V_9_bg0.55695388996937764419.6333333333337935.366666666667
DRESDEN/tictictoe/LAUtwg0.55734588006178234426.3666666666677941.866666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.55967524693205631994.53333333333333563.733333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.5599213593596405664.5111829605681186.793773540882
STANFORD/tictictoe/rpt_Dw0.56667277196374294493.2333333333347929.1498650314925
DRESDEN/tictactoelarge/IwXcbg0.58378066202620143200.96666666666675483.166666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.58396317498707811995.96666666666673417.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.58429215033342132286.93913.9666666666667
DRESDEN/latenttictactoe/kITHKg0.58610173993890293677.36274.166666666667
BASE/ticTacToeLargeSuicide/727_8g0.58653470662891733204.25462.933333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.58848428668695612391.2666666666674063.4333333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.5904497437805962062.53493.1
DRESDEN/uf20-01.cnf.SAT/42Rs8A0.59198094052034542186.63693.7
BASE/ticTacToeLarge/TZC0dg0.59345609934899353157.16666666666655319.966666666666
STANFORD/nineboardtictactoe/y28P-A0.5935218851480751712.81200.9666666666667
STANFORD/rainbow/_4qNSQ0.599570452057906416452.03333333333327439.7
DRESDEN/tictactoelargesuicide/6J4DeA0.60229293160313923308.56666666666665493.284900189956
DRESDEN/sat_test_20v_91c/dK7nVw0.60374371835337432110.46666666666673495.633333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.61589928241272762411.83915.9
DRESDEN/lightson2x2/gBHuig0.62108412416682677974.86666666666712840.23589777763
STANFORD/multipletictactoe/_bkafQ0.62537155210043861002.86666666666671603.6333333333334
BASE/lightsOn/MsXu3A0.62741406721798413575.421637.066666666666
DRESDEN/chickentoetictac/cxYaRQ0.62999400835717468096.212851.233333333334
BASE/blocker/dIWtxg0.6325277073040466316.09985.333333333334
BASE/coloredtrails/EZvr7g0.63687691043196583951.86204.966666666666
DRESDEN/logistics/fPru1Q0.63882317683591683339.53333333333335227.633333333333
DRESDEN/chickentictactoe/Ipbo-g0.63963977081619435857.2666666666669157.133333333333
BASE/chickentoetictac/l57rfQ0.64124807211960398232.312837.933333333332
BASE/chickentictactoe/DSlZCA0.64558254378803635797.78980.57120005332
STANFORD/dualrainbow/G3OnRQ0.65411307594181197452.26666666666611392.933333333332
DRESDEN/blocker/S815zQ0.66370018134967786422.1666666666679676.30693366208
BASE/firefighter/WJmoPw0.66973835014475768219.96666666666712273.4
STANFORD/multiplebuttonsandlights/cK70Yg0.670272358747228818097.35368617517827000.0
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.67227253126347562390.46666666666673555.8
STANFORD/multiplebuttonsandlights_9/SqB9BA0.677711803397714818357.06666666666627086.833333333332
STANFORD/bestbuttonsandlights/nm0wEA0.679814623414506216591.824406.359364063595
BASE/wallmaze/uxNQ9g0.68406774406076811176.73333333333331720.2
BASE/beatMania/qUHwvQ0.68535474756831868433.912305.889803673212
DRESDEN/firefighter/WJmoPw0.68675295974743498323.012119.350753232902
BASE/breakthroughSmallHoles/bxclRw0.6955857875840821685.56666666666662423.233333333333
BASE/connect5/d-BVQg0.7146329056689086842.93333333333331179.5333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ0.71953540096379591941.06666666666662697.6666666666665
DRESDEN/connect5/1kYzSg0.7200503004051977858.91192.8333333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.7293803663615910822.414837.8
BASE/incredible/8Qh-6Q0.7324034908799095840.9666666666667975.066666666667
BASE/factoringEasyTurtleBrain/lUj94Q0.73944506950648356594.18917.633333333333
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.74041691764106837949.06666666666710735.933333333332
BASE/snakeAssemblit/UO4sdg0.74052213949843261007.91361.0666666666666
DRESDEN/oisters_farm/pTQMLg0.740626825081417313132.017730.92677078824
STANFORD/bestbuttonsandlightsbig/g0JC6g0.743153306410903612949.217424.668488038915
DRESDEN/statespacelarge/8-y5HQ0.749055314639485810744.014343.4
BASE/connectFourLarge/aU644A0.75165287232479551534.82041.9
STANFORD/connectfour/VMpZkQ0.76962368145965982159.66666666666652806.133333333333
BASE/connectFourLarger/qKi60A0.7778815718746525977.20075997466761256.2333333333333
BASE/duplicateStateLarge/dcjyuw0.7812260898313895513.6333333333337057.666666666667
BASE/connectFour_9x6/B9TtMw0.7839069767441861966.32508.3333333333335
BASE/tictactoe_3player/GtM71g0.78529384653876021987.86666666666662531.366666666667
BASE/3pConnectFour/PqXOFQ0.78954446771311651369.83333333333331734.9666666666667
BASE/stateSpaceLarge/0Ge_CQ0.807126534614993311632.214411.866666666667
BASE/gt_coordination/IVMOzA0.8075615342430416689.06666666666620666.0
BASE/connectFourSuicide/c8p9Kw0.80758974616990762140.16666666666652650.0666666666666
BASE/connectFour/WAIKTw0.82284898786945582191.02662.7
DRESDEN/tictactoe_3player/ESLQQQ0.82289793396938721998.13333333333342428.1666666666665
STANFORD/hunter/14dD-g0.82455533499734686992.3666666666678480.166666666666
BASE/kalaha5x2x3/WviNsw0.83123489121676064401.3333333333335294.933333333333
BASE/connectFourSimultaneous/7ITr3g0.84593109794051581041.93333333333341231.7
BASE/dualConnect4/WbCQkg0.85626557493770021282.81498.1333333333334
BASE/eightPuzzle/vLrgFg0.85641166330220016971.7333333333348140.633333333333
BASE/kalaha6x2x4/XS81Mg0.86068958581010673909.03333333333334541.745825417458
DRESDEN/lightsout/XgLpzQ0.86584135361688912231.12576.8
STANFORD/8puzzle/jNiGtw0.86641426223710766941.5666666666678011.833333333333
BASE/lightsOut/5P1ZBw0.86842595054506782177.43333333333342507.3333333333335
DRESDEN/minichess/c7GMFw0.87478293083887082518.7333333333332879.266666666667
BASE/kalaha_2009/dRiN3g0.87494579318353873967.96666666666674535.1
BASE/numbertictactoe/rvJ-iQ0.87734739318573274176.74760.6
BASE/pawnWhopping/Ypc_6Q0.8822776952162381563.36666666666661771.9666666666667
DRESDEN/kalaha_2009/gcC8uA0.88388018190701693919.56666666666664434.5
BASE/stateSpaceMedium/3bUoIw0.888050335091972115968.96666666666717982.05128205128
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.89691349797216251570.16666666666671750.6333333333334
DRESDEN/8puzzle/8fKC2w0.90292476510294767098.4333333333337861.6
DRESDEN/chinesecheckers6/yTbPDA0.90539979847074871527.51687.1
DRESDEN/statespacemedium/dVJZ_w0.910843373493975916417.818024.833333333332
DRESDEN/pawn_whopping/4ogBkg0.91151041000237631662.21823.5666666666666
BASE/brain_teaser_extended/ZDp94A0.91193163930739826758.9333333333337411.666666666667
BASE/withConviction/3Xm54A0.92578610561208041340.61448.0666666666666
BASE/hexPie/48CH6Q0.9355278766310795525.7666666666667562.0
STANFORD/duikoshi/tpw1sw0.9364992447129911653.23333333333331765.3333333333333
STANFORD/eightpuzzle/W_aWbA0.9401446218201977012.17458.533333333334
BASE/hex/T1MK8g0.9728567385542605595.4333333333333612.0462651244959
DRESDEN/brain_teaser_extended/ZDp94A0.97507352941176476630.56800.0
BASE/checkLines/Vop7oQ0.98008862629246662764.66666666666652820.8333333333335
STANFORD/breakthrough/d5j0cQ0.99034096590340971650.73333333333331666.8333333333333
BASE/sudokuGrade1/tDRNRw0.992120772567747394.3113273569500495.06032931137923
DRESDEN/chinesecheckers3/QsCb2A0.9966705223997252125.3666666666672132.4666666666667
BASE/knightsTourLarge/M8jgLA1.01058116080186819505.83333333333219301.6
STANFORD/hex/MTqWcw1.016753868418123608.9598.8666666666667
DRESDEN/chinesecheckers2/06E6-Q1.04580173759306062523.83333333333352413.3
BASE/ticTacHeavenFC/mrletw1.058118871098592477.31742275257494451.1
DRESDEN/grid_game/U7_Yeg1.06399312258687262351.56666666666662210.133333333333
DRESDEN/chinesecheckers1/Y-ftaA1.06524285654520353395.03187.0666666666666
DRESDEN/lightsout2/LFtfyQ1.06688014064167772832.03333333333332654.5
DRESDEN/cube_2x2x2/fp-34Q1.07815266452208184323.54010.1
BASE/sudokuGrade5/BQfUQA1.090607679332499797.1634278857371489.0910908909109
BASE/sudokuGrade4/DTy07w1.090948778625954295.2666666666666787.32460087324601
DRESDEN/quarto/OQzRYQ1.09793551582965442511.96666666666672287.9
BASE/cubicup_3player/e2yA_g1.110148032723023379.9540015332822342.2552581580614
BASE/sudokuGrade2/u80Tfw1.110173326182970395.1936537564162485.74665911287366
BASE/factoringGeorgeForman/HGRorQ1.114804026522601413433.512050.1
BASE/roshambo2/KNPokQ1.120214628535934721866.219519.652255012992
DRESDEN/racetrackcorridor/O0DoTA1.1222094696173682314.03333333333332062.0333333333333
BASE/quartoSuicide/-23jUg1.1231159932078082491.33333333333352218.233333333333
BASE/quarto/EwBMVQ1.1316633325488352564.52266.133333333333
DRESDEN/minichess-evilconjuncts/th24Tw1.1317128642861725474.68417719409354419.43870408639424
DRESDEN/tictactoex9/rFkD4w1.1329089800274432990.7666666666667874.5333333333333
BASE/minichess-evilconjuncts/4OpQzw1.1337929736892562476.11746275124165419.93333333333334
DRESDEN/roshambo2/jgSlkQ1.138146696994584422441.86666666666519717.903435407017
BASE/tictactoex9/BI26ow1.140057699124851000.6666444451852877.7333333333333
DRESDEN/cubicup_3player/awDtsQ1.148337074066517375.16248375162485326.70066326700663
BASE/cubicup/4wNWJA1.1509600874225945737.2666666666667640.5666666666667
DRESDEN/pancakes88/aD3E7g1.154361135313166922280.419301.065601065602
DRESDEN/quartosuicide/WIU1oQ1.15485743049181292600.22251.5333333333333
DRESDEN/cubicup/SBn_lw1.1588472200428892738.5333333333333637.3
BASE/bunk_t/xbpfIA1.16557281619887923403.92920.366666666667
DRESDEN/bunk_t/7-tPfA1.16862449627270353412.2666666666672919.9
BASE/pancakes88/l2Xaig1.169616539950064622142.16666666666818931.133333333335
BASE/ticTacToeParallel/ymRGPw1.1737439308994342917.06666666666662485.266666666667
BASE/doubletoetictac/fu35bg1.17517745949107243415.96666666666672906.766666666667
STANFORD/dualhunter/1rPZjQ1.1785650341971143291.32792.633333333333
BASE/doubletictactoe/HH1htg1.18186686720904273457.43333333333342925.4
BASE/dotsAndBoxesSuicide/jzQbLw1.18190260008254231527.33333333333331292.2666666666667
STANFORD/sudoku/oJ1qyQ1.183041516295985593.9666666666666779.42803813079128
DRESDEN/doubletictactoe/lJzgmQ1.18749054165745083400.32863.4333333333334
STANFORD/duidoku/3SoMaA1.188570122033924685.1524745875687371.6427857380873
DRESDEN/tictactoeparallel/yk_DSg1.20031733996096432849.43333333333342373.9
DRESDEN/frogs_and_toads/GjchhQ1.20589801162010151736.53333333333331440.0333333333333
DRESDEN/doubletoetictac/V89gKQ1.2108548418732913498.22889.0333333333333
BASE/dotsAndBoxes/EHwA_w1.21318488600733381521.91254.4666666666667
BASE/sheepAndWolf/g4THrg1.21855767713429081544.41267.4
BASE/point_grab/V_osUg1.231460711852767619910.43333333333416168.143361534874
BASE/chineseCheckers6/rREH3A1.23351460534493482646.32145.3333333333335
DRESDEN/sheep_and_wolf/enAIzQ1.2395748589423961574.46666666666671270.1666666666667
BASE/conn4/va9Y7A1.23979161878495341078.8666666666666870.2
BASE/sudokuGrade3/eI8dvg1.24707720044930592.924040929240474.51346307651293
STANFORD/knightstourbig/TQUI2g1.253391977879637619159.43333333333415286.066666666668
DRESDEN/double_tictactoe_dengji/bGaUyQ1.2585428195647323381.03333333333332686.4666666666667
DRESDEN/stratego/Z2wovg1.2592873815349141492.63333333333341185.3
DRESDEN/hallway/0H4l-Q1.2658483949285135625.6666666666666494.26666666666665
DRESDEN/connect4/T0-rHQ1.26628590348481081019.8666666666667805.4
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1.26787143559541427878.9666666666666214.3261891270295
BASE/hallway/ckCJOw1.2839419843088244616.4480.08399720009334
DRESDEN/chinesecheckers4/-oVNYg1.2916960210739121405.66666666666671088.2333333333333
DRESDEN/pancakes/hl9aiQ1.29338897350537628504.26666666666622038.433333333334
BASE/pancakes6/QZTdnw1.296231801178493227835.43333333333421474.1169812577
BASE/double_tictactoe_dengji/zgaSbA1.30768268268268263483.66666666666652664.0
DRESDEN/gt_prisoner/huCp4w1.323859605561861714928.911276.8
BASE/gt_prisoner/klthDw1.325816741832581715267.13333333333311515.266666666666
BASE/pancakes/yUgbXw1.326263245858964328751.321678.426277566792
BASE/sudokuGrade6E/ihYFZA1.331104818289014291.7452594394641268.92414344754033
DRESDEN/point_grab/r5DPmQ1.33301135921717321341.016009.61601147402
BASE/gt_staghunt/xPjLRA1.334316792368668715256.011433.566666666668
DRESDEN/pancakes6/SZXMyQ1.338853686856834129095.56666666666621731.7
DRESDEN/3pttc/uwYBZw1.33903621785125542788.92082.766666666667
BASE/ticTacHeaven/18n58A1.3661956455419173510.1829939002033373.43333333333334
BASE/sudokuGrade6H/ieE_9A1.367156862745097892.9635678810706367.99773340888638
BASE/chineseCheckers1/gqtwHw1.37245313285608257643.15568.933333333333
BASE/chineseCheckers2/eCMR3Q1.38350975851802855576.4666666666664030.6666666666665
BASE/connect4/50bOyw1.4127376861397481027.7666666666667727.5
BASE/chineseCheckers3/-1rZdQ1.41364720980128734700.03324.733333333333
BASE/sudoku/NTaNkw1.4250305458528028273.8726127387261192.18718752083194
DRESDEN/knightfight/4_Ly4w1.43280674379310675172.7666666666663610.233333333333
DRESDEN/mimikry/GJEhwA1.45290607589094381469.03333333333331011.1
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.46066138362256351456.1333333333334996.9
DRESDEN/gt_chicken/CeuKtw1.466126824430125314387.9333333333329813.566666666668
DRESDEN/vacuum_cleaner_1/eUNjpw1.47859664267701399360.76330.8002533080025
DRESDEN/blobwars/ZaMluQ1.4797556903820153566.6288914072395382.9205693143562
BASE/blobwars/0XT15Q1.5056418622196772578.8807039765342384.47436837544166
DRESDEN/3pffa/0YrmQw1.52266748659082362971.33333333333351951.4
BASE/gt_chicken/gmepTQ1.53437832754829714794.0666666666689641.733333333334
BASE/futoshiki4/BaCwSw1.53920287487749091570.51020.3333333333334
BASE/knightfight/SJRkAg1.55304368303308635276.03397.2
DRESDEN/4pttc/9pB9AQ1.55553519061583572263.21454.9333333333334
BASE/crisscross/ICagEg1.56618082441357332292.3666666666671463.6666666666667
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1.651438596491228784.4333333333333475.0
BASE/escortLatch/mX9BjQ1.65901606290745371645.6333333333334991.9333333333333
DRESDEN/endgame/IJhh3Q1.6781318250001973838.3387220425985499.56666666666666
BASE/rubiksCube/9tNO9Q1.68919252033665531598.9333333333334946.5666666666667
DRESDEN/Runners/3bOCQw1.692484523287116824158.53333333333314274.005464116746
BASE/chineseCheckers4/avfBcQ1.69457889641819912450.71446.2
DRESDEN/crisscross/GsY16g1.7070836598513452396.2333333333331403.7
BASE/crissrace/ERWGDA1.7412812736921911531.1666666666667879.3333333333334
BASE/tictactoe_3d_2player/IUC1rQ1.7500361978328507543.7310.6792880474635
STANFORD/triplesukoshi/Iu9mbA1.75193221740028941412.9333333333334806.5
STANFORD/platformjumpers/HEQskA1.7562311450156165780.007333088897444.137057529498
DRESDEN/tictactoe_3d_2player/LMuX9w1.79421769459415536.5308979401374299.03333333333336
DRESDEN/crissrace/KWb9bw1.80768330733229331544.9666666666667854.6666666666666
BASE/ghostMaze2p/W-NU-w1.859824385567369711381.1333333333336119.466666666666
DRESDEN/crossers3/xiPTxg1.87383905566540852084.83333333333351112.6
BASE/nonogram_5x5_1/qLKEZw1.8766224170882517741.8666666666667395.3201559948002
BASE/racetrackcorridor/_RkdUg1.90268634529624152389.2666666666671255.7333333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.909958893510692614590.048656935287638.933333333333
DRESDEN/catch_me/ghGWrA1.922163750924002814561.87575.733333333334
BASE/qyshinsu/R08Lzw1.9406430338004943549.2666666666667283.03333333333336
BASE/endgame/jYjfOA1.94922018011394971060.5544.0637290847277
BASE/crossers3/O0rORg1.96408411388871662110.8666666666671074.7333333333333
BASE/tictactoe_3d_small_2player/oOryKA1.97176482163312071606.4333333333334814.7185281471852
DRESDEN/tictactoe_3d_small_2player/HYttcg1.9752804457340911633.7827.0724309189694
DRESDEN/vacuumcleaner_random/_6AGDA2.02605548854041035878.62901.5
DRESDEN/CatchMeIfYouCanTest/CX18rA2.030240379189707714991.6333333333337384.166666666667
DRESDEN/Thief_Police/CX18rA2.0516031469010714968.6333333333337296.066666666667
DRESDEN/max_knights/hCipiA2.07822677338863842137.7333333333331028.6333333333334
BASE/max_knights/2fq3Ag2.08095067323052832127.6333333333331022.4333333333333
DRESDEN/ticblock/Z2yNWQ2.1567679916861524150.71924.5
BASE/lightsOnSimultaneous/_VN6lw2.17164813372051852044.1941.2666666666667
BASE/lightsOnSimul4/9FeASw2.2008659732245061474.0666666666666669.7666666666667
BASE/ticblock/T21C1g2.20274382200334174174.5666666666671895.1666666666667
BASE/solitaireChineseCheckers/-ET6gw2.2542730488896473525.83333333333351564.0666666666666
BASE/futoshiki5/TJ4BZg2.2604050538833147811.0333333333333358.8
BASE/4pffa/Q3ADlg2.27490604835850532138.866666666667940.2
BASE/3pttc/0sol9g2.41569593290288242419.41001.5333333333333
DRESDEN/hanoi/RQ0jiA2.476012630517559412441.6333333333335024.866666666667
DRESDEN/chomp/-LcqYQ2.47926846293452474735.7333333333341910.1333333333334
BASE/chomp/-LcqYQ2.5051245573918164820.21924.1358621379288
DRESDEN/brawl/2kXtfQ2.530250553938457347.17685487634157137.21046492251293
STANFORD/pentago/ZxzLmg2.55135548715472641409.0666666666666552.2815906136462
DRESDEN/towerworld/HCX34w2.5576029039924473109.8926738217452242.96705858841555
BASE/pawnToQueen/-O1_JA2.5654420454538196.813970539225537.73773440362389
BASE/futoshiki6/JmvXNA2.5688020217293905509.6333333333333198.39338688710376
BASE/hanoi/iGLsJg2.56919647436116612524.2333333333344874.766666666666
DRESDEN/grid_game2/kypTYQ2.586299950422428524.4491850271658202.77972202779722
BASE/brawl/6Ymo_Q2.5904179544513455347.46666666666664134.13536841403672
BASE/bomberman2p/4CClwA2.592879027475785610493.94047.2
DRESDEN/blockerparallel/dVQgSg2.6112433351407531284.1666666666667491.7836072130929
BASE/3pffa/pR0dzA2.6371864851792992544.5333333333333964.8666666666667
DRESDEN/pawntoqueen/f_x6Aw2.642598736171211597.1601893207119536.76690978119692
BASE/blockerParallel/7-nDJA2.6560056540488741293.3486.93420438637423
DRESDEN/vacuumcleaner_random_big/DwzFaQ2.68598493362524333434.96666666666671278.8480767948804
DRESDEN/twisty-passages/j7NPyg2.7368481922137256310.5333333333342305.766666666667
BASE/4pttc/AL1k2Q2.77917805680396631999.4333333333334719.4333333333333
BASE/twisty-passages/DiZmmg2.82329287363169276319.02238.1666666666665
DRESDEN/ggp-course2013_nicolai/uEin8g2.8235607675906182353.10979268048794125.05832944470369
BASE/pacman3p/wW7UVQ2.8536226296940343063.16666666666651073.4308856371454
BASE/breakthroughWalls/vOZaYA2.869994653198653947.0666666666667329.98900036665447
BASE/four_way_battle/xSOQXA3.016975022849106343.4323234343232113.83333333333333
BASE/breakthrough/TGxk-g3.021832974645708954.7666666666667315.95613479550684
BASE/pacman2p/4LEdQg3.0388436320286113058.91006.6
BASE/breakthroughSuicide/wZDpIg3.0393252503953607960.9333333333333316.1666666666667
DRESDEN/four_way_battle/xSOQXA3.0440724927536236350.03333333333336114.98850114988501
DRESDEN/quad/JPe6fg3.1070391345541824.96064554534031.5965828979016339
DRESDEN/hanoi7/51zz5Q3.155655891341883711392.2333333333343610.1
BASE/checkersTorus/2vm1EQ3.16419889953289471332.1420.99123420991236
BASE/englishDraughts/jFkQxg3.21380153350372271928.0666666666666599.9333333333333
DRESDEN/javastrike/whONTQ3.2373505222321697723.2223.39255358154728
DRESDEN/hanoi7_bugfix/3gdnFw3.290485198427240311074.5666666666683365.633333333333
BASE/ticTacToeSerial/Amrwqw3.308422876949743181.6961.6666666666666
BASE/breakthroughSuicideSmall/XSbJog3.33266346084834541547.8464.43333333333334
BASE/hanoi7_bugfix/3gdnFw3.335090554362177611282.1666666666663382.866666666667
BASE/2pttc/unkkYA3.38111608570514882819.4833.8666666666667
BASE/2pffa/6oHijA3.39173806363380372810.733333333333828.7
BASE/2pffa_zerosum/o0_uZA3.43464894058994562755.733333333333802.3333333333334
STANFORD/freeforall/Lfp40Q3.4458926370370372842.766666666667824.9725009166361
STANFORD/chinook/osFbPA3.449747722644992876.6374454184861254.11639224051729
DRESDEN/tpeg/h-Scbg3.48644671623296181500.5666666666666430.4
DRESDEN/slidingpieces/s9_44g3.512788567425111775.740808639712220.83333333333334
BASE/chinook/XQh0IQ3.51712567752312971.8666666666667276.32412252924905
BASE/slidingpieces/uFJWEw3.5285107673642706775.5666666666667219.8
BASE/nonogram_10x10_1/0Xc62g3.6062538934185993139.390707286180938.652494085501985
BASE/checkersTorusNoKings/pwb6oQ3.6099500935745481543.1333333333334427.46666666666664
BASE/breakthroughHoles/nZk0Sg3.61134415465985731320.0666666666666365.53333333333336
BASE/tpeg/QNs7Lw3.61331106870229051514.7419.2
DRESDEN/pentago_2008/hLjVpQ3.6262877117597667815.7666666666667224.9591680277324
BASE/checkersBarrelNoKings/rnKNeg3.66139432222139361636.4666666666667446.9517682743909
DRESDEN/ggp-course2013_michal13/jWKddg3.675276766713081229.0825504697181687.913023240349769
BASE/battle/8oAvhQ3.6843305744382913104.1090412237144728.25724758413862
BASE/blockerSerial/3eqDuw3.70498817517414652883.866666666667778.3740541981934
DRESDEN/ggp-course2013_jordi/9QI6Kw3.8658610271903324426.5191160294657110.32965567814406
DRESDEN/battle/8oAvhQ3.9083466310038326105.1456375391588426.90284344409669
DRESDEN/othello-cornercontrol/r5Gdlg3.91759157380434213.3799301048427353.4153458452152
BASE/skirmishFinal3/-Olhfw3.942409545252601287.69041031965672.97324314418047
STANFORD/checkersonabarrelnokings/Zrevdw3.98895627980448261487.0333333333333372.7875737475417
DRESDEN/battlesnakes1509/-qZrLw4.02236.6666666666665559.1666666666666
BASE/peg/fJHVWw4.1273803513638471388.6333333333334336.44423705086325
DRESDEN/peg_bugfixed/u_B7MA4.2443509399127231404.8333333333333330.98896703443216
DRESDEN/peg/Vo31eg4.2462717273193241380.7325.155828139062
DRESDEN/battlesnakes2011/93VtTw4.2482001220256252320.9333333333334546.3333333333334
DRESDEN/skirmishfinal/hzq8ww4.30244587655993269.0910302989962.543733964213125
BASE/pegEuro/5awwhg4.39131109127995961148.0666666666666261.4405226144052
DRESDEN/skirmish/RjGQYQ4.400513280820663800.6666666666666181.94847181948472
STANFORD/skirmish/w4V6Vw4.430752625998433165.5556296246916837.36512588250966
DRESDEN/skirmish3/3LU8Nw4.456471051646706793.7666666666667178.11552178115522
DRESDEN/mummymaze2p/k-8edg4.5001221560543599823.7666666666662183.0
BASE/skirmishHoles/AUCxCA4.513187450356093197.1868542097193443.69126174765047
BASE/skirmishFinal2/gdB62Q4.640989495406531265.848943403773157.28281515545336
BASE/mummymaze2p/vpjDdA4.692690806299637510458.62228.7
DRESDEN/skirmish2/iPpWhQ4.758871760500447828.3333333333334174.0608646378454
STANFORD/madness/UO_B3A4.759092947383967167.2387935344109535.1408966757711
BASE/skirmishFinal1/ecWTnQ4.843532171069629268.2243925202493555.37784886045582
BASE/strangeSkirmish/gc1zKA4.870355132934136168.8718546908848534.67341704693069
BASE/skirmishZeroSum/zh4hcw5.018073350182533595.4666666666667118.66440067979606
BASE/skirmish/Y_psYQ5.11491401645823182.0423943474203635.59050919754732
BASE/othelloSuicide/B442jg5.171312794893144522.7477102414654454.39882697947214
BASE/hitori/S8Gsyg5.218298665146461302.4798346776881357.96522086747951
DRESDEN/knightmove/97Ipcw5.2297540120205712813.4333333333334537.9666666666667
BASE/skirmishNew/sibw2g5.275703309889671625.9458018066065118.64689218463589
BASE/othelloHoles/c0qAzw5.34340573470716625.8152626494786974.831237590999338
BASE/knightmove/jBaJEw5.3884195156961872876.9533.9042351137916
DRESDEN/hitori/S8Gsyg5.63587383751132304.9260098653512654.1044776119403
BASE/hidato19/rRHSmA5.7580003184206331205.5333333333333209.36666666666667
BASE/tictactoe_3d_small_6player/g_9lww5.8027530636226291152.2333333333333198.56666666666666
BASE/speedChess/bPnisA5.833864075650117685.4333333333333117.49216718885408
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.8427120137103681136.0666666666666194.44166749975008
BASE/tictactoe_3d_6player/d7KSwg5.9344397019631625448.7367508832744575.61568967240977
DRESDEN/tictactoe_3d_6player/ulZPWg6.441107461285782457.5333333333333671.03333333333333
STANFORD/alquerquezero/uVgA_A6.5459843468325511718.7262.55791473617546
BASE/smallest_4player/ADDROA6.5874894633323966251.966666666666949.0666666666667
DRESDEN/smallest_4player/ADDROA6.6647390837632886415.7962.6333333333333
BASE/cephalopodMicro/9l2D3g6.682119762674578115.696143461884617.314287616954683
BASE/checkersTiny/Lr48cg6.6904782717820011243.9185.92093860409307
DRESDEN/checkers/jIDMIg6.840961805555556459.666666666666767.19328067193281
DRESDEN/checkers-newgoals/IJOqXQ6.8763749336029045464.384520515982867.53333333333333
DRESDEN/Zhadu/9zpQ5w7.327478034030149222.5036661778429430.365654478184062
DRESDEN/CephalopodMicro/H3XQfg7.681520668157345116.9021594241535515.218621998734557
DRESDEN/cylinder-checkers/clOO3Q8.534482236376505401.847.07959884050245
BASE/gt_tinfoil/Q8DyKg8.92597725597438617620.8333333333321974.1069048253798
BASE/cittaceot/fDxhXg9.1368734010534231888.8333333333333206.72644245191827
DRESDEN/quad_7x7/q-JOXg9.25750071530057534.806108162667273.7597737481284312
BASE/cylinder-checkers/hlldmw9.410959624413147400.842.58864302852572
BASE/checkers-newgoals/0XkFiA9.526928640441684459.9666666666666448.28068772491004
BASE/checkersSmall/SYmq8w9.678442667193261816.833333333333484.39718676044131
BASE/checkers/rOC3Xg11.907677470776518621.145961801273352.16348556010792
BASE/simultaneousWin2/PfjRjw12.00682875786531717.0333333333333143.00473238685595
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw12.501315759849907875.770.04862662636351
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g13.100806984442238878.066666666666767.02386102698925
BASE/mummymaze1p/PT_EXA13.5085342960288815591.11154.1666666666667
BASE/blokbox_simple/JBx4bg13.6872721246271124.7398077560490550.3462930898787974
DRESDEN/mummymaze1p/AekgaQ14.03796584528554416084.2333333333341145.7666666666667
BASE/hidato37/pBrqxw14.56194101706044308.589713676210821.19152339064374
BASE/quad_7x7/q-JOXg15.49173220642391935.2145062742263952.2731161244592184
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw19.347764552238804860.544.47542235055926
BASE/factoringImpossibleTurtleBrain/kcBhdw21.2959462053546241.339107261825451.9411725998552345
DRESDEN/farmers/S_ASnw24.289036258234522039.266666666666783.95831950620561
DRESDEN/Travelers-Dilemma/PvZwYw29.7449969790231221584.233333333334725.6424785840472
DRESDEN/smallest/9kaGFw30.1783407845715574589.666666666667152.08479152084792
BASE/nim1/hin2Qw35.7666410615975915302.333333333334427.8381441237251
DRESDEN/checkers-mustjump/HUr33w39.04291967353952504.366666666666712.918262027634427
DRESDEN/nim1/M9BALA39.08818640171439515604.266666666666399.2067195520299
BASE/checkers-mustjump/T-8UuQ45.17849529780564479.210.60681629260183
BASE/nim2/eF2Qqw46.32008312295974414187.966666666667306.302703063027
BASE/quad_5x5/JAEP5g46.5195266187667287.53791287537916.181015452538631
DRESDEN/nim2/z5_exA49.6391848291086214490.366666666667291.9138724085061
BASE/guess/SPpk1A49.661166229029911505.133333333333430.30805451470637
BASE/merrills/pku8Tg49.95181638786644558.548048398386811.18173649705481
DRESDEN/merrills/aYEzwA50.73300277745844580.047331755608211.433333333333334
DRESDEN/quad_5x5_8_2/JRTLJg52.43894267003988385.60479840053317.35340528940226
STANFORD/selectivesukoshi/3xmXYg52.82383738519996221.818545430304654.199213014623833
BASE/checkers-cylinder-mustjump/rjr6qQ56.21876869507194394.786840438652067.022331680367424
DRESDEN/checkers-cylinder-mustjump/vW_-pA56.91228611111111409.47.19352582675592
DRESDEN/guess/PhxGhg57.571541604010031511.826.25950179341209
DRESDEN/quad_5x5/JAEP5g60.008454447914794293.02356588113734.883038041505824
DRESDEN/satlike_20v_91c_version2/yd9ioQ60.38720261307202931.24020931240215.421151651605342
DRESDEN/nim4/F5YAYg61.6351466606389311361.033333333333184.3271890936969
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw62.38900942408377396.86.360094568945423
BASE/nim4/twk16w62.505851148685911336.1181.36062131262292
DRESDEN/nim3/sG_axA64.2294190378773811507.833333333334179.16763853253806
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg65.11161709071779409.15302823239236.283871396748346
BASE/nim3/1OwUqw66.6998251251056211403.066666666668170.9609679677344
BASE/gt_ultimatum/GE-uOA67.2139956666666612096.1179.9640071985603
DRESDEN/checkers-mustjump-torus/cVc3gA68.39196748997256381.25395820139335.574542920662309
DRESDEN/gt_ultimatum/pAiiQw71.3738583208395712690.8177.80739753415529
BASE/checkers-mustjump-torus/uSApKQ76.62355884433482366.121129295690144.778179646281979
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g84.21153208333332856.733333333333310.173586825205062
BASE/chess_200/XsTpYA96.5810758688996285.55714809506352.9566573526544935
BASE/copolymer_4_pie/IN5_jA105.877788954635112384.666666666666522.52282268274805
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA118.54172082069739868.46402506081927.326230959430996
BASE/golden_rectangle/_nYzfw120.28152314814815576.96666666666674.796802131912059
BASE/copolymer_4/2LDVhQ133.86020937326682679.433333333333420.016652789342213
DRESDEN/satlike_20v_91c/yeuENQ138.7008662335499900.21655838747296.4903456109037805
BASE/racer4/0vs7Ww213.754002111613861569.26666666666677.341460983955088
BASE/battlebrushes/arCwyA1024.3772593545127296.69011032965570.28962973125409675
DRESDEN/fizzbuzz/t1xHzQ1025.350668087431831265.930.492884993501516
DRESDEN/racer/vk_ZBA1535.08891076923063250.42.117401785132582
BASE/racer/QQYQNw2166.85664166666673354.71.5481873306670106
DRESDEN/golden_rectangle/1uloXw3087.898961111111551.03333333333330.17844927579335573
BASE/colonelBlotto/jip21A88189.218333333344516.7333333333340.05121638924455826
BASE/ad_game_2x2/D0aWqg89435.218466666671833.96666666666670.02050609030882172

Games with errors:

GameALLOY_TUPLE_PROVER:2 error messagePALAMEDES_JOCULAR:0.6.1 error message
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/biddingTicTacToe/8mESVwIllegalArgumentException: bound must be positive
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
DRESDEN/capture_the_king/EQ229QException of type NullPointerException
BASE/catcha_mouse/cHv4dwException of type NullPointerException
BASE/knightazons/apnJBQException of type NullPointerException
BASE/amazonsTorus/soxT8gException of type NullPointerException
DRESDEN/connectfoursuicide/M9CNQgException of type NullPointerException
BASE/ttcc4_2player_alt/ZEJvYAException of type NullPointerException
DRESDEN/pacman3p/rBnk8QException of type NullPointerException
DRESDEN/bomberman2p/x4h6jQException of type NullPointerException
DRESDEN/knightwar/7hhAqgException of type NullPointerException
DRESDEN/babel/WdSW4AException of type NullPointerException
BASE/choicethroughalt/tt71LgException of type NullPointerException
BASE/ttcc4_2player/_aH_MwException of type NullPointerException
DRESDEN/SC_TestOnly_enabled/09o7gQException of type NullPointerException
DRESDEN/breakthrough/z4hK7QException of type NullPointerException
BASE/wargame02/BkVqqQException of type NullPointerException
BASE/biddingTicTacToe_10coins/a-9ccQIllegalArgumentException: bound must be positive
BASE/queens/HyJJnQTest process timed out after 240 seconds
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/mummyMaze2p_2007/YGA3VwException of type NullPointerException
BASE/snakeParallel/RCVNtwException of type NullPointerException
BASE/gt_attrition/kD_SCAIllegalArgumentException: bound must be positive
BASE/pentago/86NgKwException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQIllegalArgumentException: bound must be positive
DRESDEN/mummymaze2p-comp2007/oTQRQgException of type NullPointerException
BASE/asteroidsSerial/id2QkAException of type NullPointerException
BASE/ttcc4_2player_small/Cv72TAException of type NullPointerException
BASE/slaughter/cOch8AException of type NullPointerException
DRESDEN/tttcc4/sAvtFgException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/ruleDepthLinear/OUBJpQException of type NullPointerException
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
DRESDEN/catcha_mouse/cHv4dwException of type NullPointerException
BASE/tttcc4/8Bs2lgException of type NullPointerException
DRESDEN/backgammon/mqCW0QException of type NullPointerException
BASE/breakthroughSmall/HJ0tIAException of type NullPointerException
BASE/factoringMutuallyAssuredDestruction/NH0LGgException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/amazons/RKKZjwException of type NullPointerException
DRESDEN/Goldrush/VeWczQException of type NullPointerException
BASE/wargame01/_GZFZgException of type NullPointerException
BASE/shmup/ssTNlgException of type NullPointerException
BASE/amazonsTorus_10x10/Uxc08gException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/colonelBlottoVariant2/jruwGwIllegalArgumentException: bound must be positive
BASE/amazons_10x10/Bun8dAException of type NullPointerException
BASE/colonelBlottoVariant/X-n-KQIllegalArgumentException: bound must be positive
DRESDEN/amazons/dNB28AException of type NullPointerException
DRESDEN/connectfour/5tc-MgException of type NullPointerException
BASE/asteroids/BKCmPQException of type NullPointerException
BASE/majorities/ibJzSQIllegalArgumentException: bound must be positive
BASE/zhadu/DlA8iQClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/amazonsSuicide/dE1QEQException of type NullPointerException
DRESDEN/breakthroughsuicide/Y9QzqQException of type NullPointerException
BASE/ttcc4/Le0qjQException of type NullPointerException
BASE/queens08ug/kJ_ZFQTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QIllegalArgumentException: bound must be positive
DRESDEN/breakthroughsuicide_v2/LU1nAwException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAException of type NullPointerException
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/amazonsSuicide_10x10/XIbQkgException of type NullPointerException
DRESDEN/bidding-tictactoe/yW5vTAIllegalArgumentException: bound must be positive
BASE/pentagoSuicide/SBgNhwException of type NullPointerException
BASE/god/qF06gwTest process timed out after 240 seconds
BASE/queens06ug/7Lq3twTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
DRESDEN/knightazons/02I8BQException of type NullPointerException
BASE/wargame03/klXI8wException of type NullPointerException
STANFORD/pilgrimage/ObRZnQException of type NullPointerException
BASE/othello-comp2007/86ZoMwException of type NullPointerException
BASE/knightThrough/gcwFjAException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazons_8x8/7SOsIwException of type NullPointerException
DRESDEN/knightthrough/J7Fc_QException of type NullPointerException
DRESDEN/queens/mW2wHQTest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/asteroidsParallel/WauZiAException of type NullPointerException
DRESDEN/ghostmaze2p/HY0UwAException of type NullPointerException
BASE/mineClearingSmall/frsbvwException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgIllegalArgumentException: bound must be positive
STANFORD/ttcc4/Cx9SGwException of type NullPointerException

index