index

ALLOY_DIFF_PROP_NET:1 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
DRESDEN/Travelers-Dilemma/PvZwYw0.019657382205558238177.127429085697149010.733333333334
BASE/pancakes88/l2Xaig0.021155749681838892179.533333333333338486.266666666666
BASE/kalaha_2009/dRiN3g1.0447764235927121708.76666666666671635.5333333333333
DRESDEN/kalaha_2009/gcC8uA1.10048119539065461738.11579.4
BASE/racer/QQYQNw1.75597355270910182682.3666666666671527.5666666666666
DRESDEN/racer/vk_ZBA1.82617491441020842738.16666666666651499.4
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA2.42722274549317657387.3333333333333043.5333333333333
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A2.43574754780540967375.23027.9
DRESDEN/smallest/9kaGFw2.4473220577871743241.2333333333331324.4
DRESDEN/vacuum_cleaner_1/eUNjpw2.51510263929618778576.53410.0
DRESDEN/pancakes/hl9aiQ2.73919384385541630802.611245.133333333333
DRESDEN/pancakes6/SZXMyQ2.797249917666568431992.811437.233333333334
BASE/pancakes6/QZTdnw2.84920637291659831790.411157.633333333333
BASE/pancakes/yUgbXw3.02913139703440232528.93333333333410738.7
DRESDEN/vacuumcleaner_random/_6AGDA3.2445251183162357358.3666666666672267.9333333333334
BASE/kalaha6x2x4/XS81Mg4.5841500506928017234.41578.1333333333334
DRESDEN/crossers3/xiPTxg4.7829232280867953436.370908606093718.4666666666667
BASE/crossers3/O0rORg5.0523202692955043502.1693.1666666666666
BASE/colonelBlotto/jip21A5.68738762637427356431.8666666666671130.9
BASE/snakeAssemblit/UO4sdg6.2458931682940472110.8333333333335337.9554014866171
BASE/gt_staghunt/xPjLRA7.97015108332567143345.6666666666645438.5
BASE/knightfight/SJRkAg8.07925069585560415770.9666666666671952.0333333333333
DRESDEN/gt_prisoner/huCp4w8.19727067741980239504.8333333333364819.266666666666
BASE/gt_prisoner/klthDw8.5116374992634543335.35091.3
BASE/gt_chicken/gmepTQ9.0354768942397841777.033333333334623.666666666667
BASE/kalaha5x2x3/WviNsw9.31550909639159615446.6666666666661658.1666666666667
BASE/eightPuzzle/vLrgFg9.33036092999398331529.4666666666673379.233333333333
DRESDEN/knightfight/4_Ly4w9.34193459362494818053.61932.5333333333333
BASE/shmup/ssTNlg9.43345301026575617428.9333333333341847.5666666666666
DRESDEN/gt_chicken/CeuKtw9.70083339425396644232.5666666666664559.666666666667
DRESDEN/8puzzle/8fKC2w10.32209246780701633853.366666666673279.7
DRESDEN/chinesecheckers4/-oVNYg10.6322669697953874364.9410.53333333333336
BASE/colonelBlottoVariant2/jruwGw10.92556270956014347682.4333333333344364.3
STANFORD/8puzzle/jNiGtw11.1601942233568637157.866666666673329.5
STANFORD/eightpuzzle/W_aWbA11.52847022314775137645.0666666666663265.4
DRESDEN/gt_ultimatum/pAiiQw11.7242901080037254639.14660.333333333333
DRESDEN/Runners/3bOCQw12.41933307091042139873.5666666666811262.566666666668
BASE/colonelBlottoVariant/X-n-KQ12.5798149317365661765.633333333334909.9
BASE/coloredtrails/EZvr7g13.26231391747427326548.52001.8
BASE/gt_tinfoil/Q8DyKg13.3812781486247488737.56631.466666666666
BASE/racer4/0vs7Ww13.7499696687214939144.8665.0778307389754
DRESDEN/chinesecheckers6/yTbPDA13.80644961240317420.966666666666537.5
BASE/gt_ultimatum/GE-uOA14.3255864097706762009.733333333334328.6
DRESDEN/knightstour/cGISAA15.29458094943862130365.48523.633333333333
DRESDEN/roshambo2/jgSlkQ16.803916910186658141458.733333333348418.2
BASE/roshambo2/KNPokQ17.222606880988106141949.38242.033333333333
STANFORD/knightstourbig/TQUI2g17.76766664367247145954.866666666678214.633333333333
DRESDEN/chinesecheckers3/QsCb2A18.5586721683898213343.066666666668718.9666666666667
BASE/nim3/1OwUqw20.75171883972498389139.74295.533333333334
BASE/gt_centipede/9fRMpw21.182285353930652157870.866666666677452.966666666666
DRESDEN/amazons/dNB28A21.58732081911263209.266666666666689.693961952026468
BASE/knightsTourLarge/M8jgLA21.604108812920938180489.366666666678354.4
BASE/wargame02/BkVqqQ21.6841745312880475936.533333333334273.77262273772624
DRESDEN/nim3/sG_axA21.78526492380819293498.04291.8
DRESDEN/bidding-tictactoe_10coins/mu5VhQ21.81047045930825237814.266666666671733.7666666666667
BASE/gt_dollar/TGjqRw21.83584644395427104603.166666666674790.433333333333
BASE/tron_10x10/7ZTgDg22.02284016044225435322.4333333333341603.9
BASE/ruleDepthLinear/OUBJpQ22.127447161719402354110.716003.233333333334
BASE/biddingTicTacToe_10coins/a-9ccQ22.71561331122508439272.266666666671728.8666666666666
BASE/knightazons/apnJBQ23.9934853420195473928.5333333333333163.73333333333332
DRESDEN/nim4/F5YAYg24.125066025464147102004.84228.166666666667
BASE/nim4/twk16w24.311434858605402103851.966666666664271.733333333334
DRESDEN/knightazons/02I8BQ24.6512820512820534005.8333333333335162.5
DRESDEN/blocks2player/3ev8nQ25.291514749751407137348.15430.6
BASE/blocks2player/wnTLOQ25.828784211506235138726.45371.0
DRESDEN/crisscross/GsY16g26.31344677740324321597.2820.7666666666667
DRESDEN/chinesecheckers2/06E6-Q26.37729919973184820984.9795.5666666666667
DRESDEN/quartosuicide/WIU1oQ26.55173271725608324901.1937.8333333333334
BASE/crisscross/ICagEg26.71023589743589721702.066666666666812.5
BASE/guess/SPpk1A27.976226590311130125.7333333333341076.8333333333333
DRESDEN/blobwars/ZaMluQ28.0544021138980925927.5211.28591427238183
DRESDEN/quarto/OQzRYQ28.17424486724712626210.5930.3
BASE/blobwars/0XT15Q29.3388899148867856089.166666666667207.5459120754591
BASE/nim2/eF2Qqw30.407754988334435174643.95743.4
DRESDEN/guess/PhxGhg31.0731149496295434200.9333333333341100.659956002933
BASE/quartoSuicide/-23jUg31.40557396913646629373.633333333335935.3
BASE/quarto/EwBMVQ31.64728360791665629262.133333333335924.6333333333333
DRESDEN/nim2/z5_exA31.68366548042705178062.25620.0
BASE/pacman2p/4LEdQg31.7880494867070320127.133333333335633.1666666666666
DRESDEN/endgame/IJhh3Q32.394002196214427472.3230.66924410078656
DRESDEN/skirmish/RjGQYQ32.6147865762711866413.6196.64700196647001
BASE/ruleDepthExponential/UamhHQ32.98335817828154305.223159228025749.253853339560953
DRESDEN/skirmish3/3LU8Nw32.994145771812086554.4198.65342310512634
STANFORD/breakthrough/d5j0cQ33.4359185532374815812.433333333332472.91756941435284
BASE/gt_coordination/IVMOzA33.58302821828359192005.366666666675717.333333333333
DRESDEN/skirmish2/iPpWhQ34.3986084464793157261.966666666666211.1122221111222
DRESDEN/bidding-tictactoe/yW5vTA34.4380892627009567696.11965.7333333333333
DRESDEN/pacman3p/rBnk8Q35.0495605799906821727.666666666668619.9126695776807
BASE/smallest_4player/ADDROA35.1126276479725170831.533333333342017.2666666666667
BASE/hodgepodge/9yjRkw35.91465792752289132604.13692.2
BASE/asteroids/BKCmPQ36.12912671661515206871.766666666665725.9
STANFORD/knightstourmedium/x1wu8Q36.15275652002607318091.233333333348798.533333333333
BASE/biddingTicTacToe/8mESVw36.6562345098709571485.766666666661950.1666666666667
BASE/wargame03/klXI8w36.8061934679167814524.466666666667394.62017932735574
STANFORD/3puzzle/41ibjA36.95045194754248226061.633333333336117.966666666666
STANFORD/knightstour/cEwgNA37.365296328017095322843.633333333368640.2
BASE/knightsTour/mvtVIg37.42471112913035307693.58221.666666666666
DRESDEN/nim1/M9BALA37.74039985074547232630.566666666686163.966666666666
DRESDEN/logistics/fPru1Q37.74111477374887641980.71112.3333333333333
STANFORD/threepuzzle/41ibjA38.45576039512979223197.233333333345804.0
BASE/speedChess/bPnisA38.548501998183476601.633333333333171.25524965002333
BASE/skirmishNew/sibw2g38.7990330189368965895.766666666666151.95653623091795
DRESDEN/javastrike/whONTQ38.805457301667517679.6197.9
DRESDEN/smallest_4player/ADDROA39.2590282076924382440.033333333342099.9
BASE/nim1/hin2Qw39.39402020676691223547.933333333325674.666666666667
BASE/onestep/xi53wA39.588894327856416838404.366666666721177.766666666666
BASE/asteroidsParallel/WauZiA39.97570107269973108196.92706.5666666666666
DRESDEN/hanoi7_bugfix/3gdnFw40.614320465518645183098.833333333344508.233333333334
BASE/blocks/xIV5hQ40.95798226976335260883.233333333346369.533333333334
BASE/wargame01/_GZFZg40.9847271748637620305.2495.43333333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA41.41136043101583184983.166666666664466.966666666666
BASE/endgame/jYjfOA41.7087161658803111197.4268.46666666666664
BASE/skirmishZeroSum/zh4hcw41.744925229157576374.566666666667152.70279277477837
DRESDEN/knightthrough/J7Fc_Q42.09509497829261423377.433333333334555.348155061498
STANFORD/buttonsandlights/eyhJpA42.27508760678867922886.321830.5
BASE/point_grab/V_osUg42.70359663029624412119.69650.7
DRESDEN/point_grab/r5DPmQ42.76437110868755413029.79658.266666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA43.06310097055338191381.033333333334444.2
BASE/hanoi7_bugfix/3gdnFw43.08629187325489194946.84524.566666666667
BASE/maze/cCX3qQ43.579977373555494490504.2666666666611255.266666666666
BASE/ttcc4/Le0qjQ43.7145969961468918530.0423.8858704709843
DRESDEN/tttcc4/sAvtFg43.8762134037431118833.133333333335429.23333333333335
DRESDEN/catch_me/ghGWrA43.920151979264844198823.64526.933333333333
BASE/minichess/8NQEiA44.3637885495331339751.433333333334896.0333333333333
DRESDEN/fizzbuzz/t1xHzQ44.37673064820642526509.211864.533333333333
BASE/knightThrough/gcwFjA44.54591261907733523795.633333333335534.1821939268691
BASE/tttcc4/8Bs2lg44.6438147134704119034.0426.35245491816937
DRESDEN/frogs_and_toads/GjchhQ44.972060517912521437.466666666667476.684110529649
BASE/hex/T1MK8g45.053990085536557725.0171.46095130162328
BASE/4pffa/Q3ADlg45.1690173381272932662.133333333335723.1092296923435
BASE/survival/YVIjJA45.32352570873745707976.133333333315620.5
BASE/haystack/UkweGA45.33385347612971850260.618755.533333333333
BASE/blocksWorld/SEdXLQ45.34337464448494292816.933333333356457.766666666666
DRESDEN/aipsrovers01/qS47Mw45.59084527791739687681.833333333331923.2333333333333
DRESDEN/Thief_Police/CX18rA45.755294636542686200562.233333333344383.366666666667
BASE/aipsrovers01/4C4jsw46.0174804944332487486.91901.1666666666667
DRESDEN/blocksworldparallel/2JfVaw46.0909477005217875967.11648.2
DRESDEN/blocks/vg0DRw46.109239679081874289274.06273.666666666667
BASE/crissrace/ERWGDA46.2743976906850227786.233333333334600.4666666666667
STANFORD/hunter/14dD-g46.353224998862025101833.42196.9
BASE/switches/tPUoCg46.91156050827755390100.98315.666666666666
STANFORD/hex/MTqWcw47.1480175073028258069.9171.16096130128994
DRESDEN/hanoi/RQ0jiA47.16797612522078232335.34925.7
DRESDEN/crissrace/KWb9bw47.1768936216928328648.0607.2464251191627
DRESDEN/cube_2x2x2/fp-34Q47.3813329895578261256.1666666666641292.8333333333333
DRESDEN/troublemaker02/iZLVuA47.43805201109183566824.633333333311948.733333333334
BASE/sheepAndWolf/g4THrg47.4925949367088625012.766666666666526.6666666666666
DRESDEN/chinesecheckers1/Y-ftaA47.926026850990348073.01003.0666666666667
DRESDEN/sheep_and_wolf/enAIzQ48.1777964894099424793.9514.6333333333333
DRESDEN/3pffa/0YrmQw48.5743116068316446453.23333333333956.3333333333334
BASE/hexPie/48CH6Q48.897518840007898261.5168.95540297313514
BASE/chinook/XQh0IQ49.0782930700052918554.866666666665378.06666666666666
DRESDEN/ghostmaze2p/HY0UwA49.12021279954535103718.966666666662111.5333333333333
BASE/3pffa/pR0dzA49.3975419522571441800.2846.2
BASE/ghostMaze2p/W-NU-w49.64182673275166104497.72105.0333333333333
STANFORD/chinook/osFbPA49.8853882240939817174.966666666667344.2885237158761
DRESDEN/tictictoe/LAUtwg50.05752979814753490433.933333333331806.6
BASE/asteroidsSerial/id2QkA50.29459480044683132066.92625.866666666667
BASE/incredible/8Qh-6Q50.42979813416115499.366666666672290.3
DRESDEN/circlesolitaire/ruUilQ50.527407056160186220216.966666666674358.366666666667
BASE/circlesolitaire/azuQFQ50.735183092311125219972.533333333334335.7
BASE/solitaireChineseCheckers/-ET6gw50.7994357695840451619.01016.1333333333333
DRESDEN/hanoi7/51zz5Q50.85921237259648219891.54323.533333333334
DRESDEN/hanoi_6_disks/MeubgQ51.30099744019772193729.666666666663776.3333333333335
BASE/hanoi_6_disks/MeubgQ51.68338418862691186318.63605.0
DRESDEN/chomp/-LcqYQ52.0050726251453870056.033333333341347.1
BASE/beatMania/qUHwvQ52.221794360046026222407.44258.9
BASE/troublemaker01/s3tlEQ52.586944662540404687633.913076.133333333333
DRESDEN/buttons/ADUaHw52.79938095625967561788.933333333310640.066666666668
BASE/buttons/hTcUjw52.86172363956655568147.233333333310747.8
DRESDEN/minichess/c7GMFw52.9661797395998744477.46666666667839.7333333333333
BASE/choicethroughalt/tt71Lg53.46946124401913616388.533333333333306.5026830650268
DRESDEN/toetictac/mJtxCA53.9152793465272219575.366666666674072.6
BASE/pacman3p/wW7UVQ53.96089646924236434590.73333333333641.0333333333333
DRESDEN/troublemaker01/C-lPWw54.15972269384673664563.266666666712270.433333333332
BASE/toetictac/mTThmg54.27944390580579220204.466666666674056.866666666667
BASE/3pttc/0sol9g54.4932904931510940797.76666666667748.6750441651945
BASE/troublemaker02/DI83KA55.33821257862034581569.566666666710509.366666666667
DRESDEN/3pttc/uwYBZw55.386029538169647995.933333333334866.5711142961901
BASE/hanoi/iGLsJg55.817674959909596274978.33333333334926.366666666667
DRESDEN/battlebrushes/QHXV4A55.973396968123551125.316624450073320.10449044375372
DRESDEN/sum15/CsgWKg55.99110846953938157008.42804.1666666666665
BASE/sum15/QZ07Kg56.12939782499032159484.22841.366666666667
DRESDEN/chickentoetictac/cxYaRQ56.84261111684025183734.266666666663232.3333333333335
BASE/eotcitcit/V_9_bg57.42481635378793103188.566666666671796.9333333333334
DRESDEN/latenttictactoe/kITHKg57.8669946188133783519.433333333331443.3
BASE/checkers-mustjump-torus/uSApKQ58.176391693519515415.593.08758832155712
STANFORD/tictictoe/rpt_Dw58.27675041448795106621.21829.5666666666666
BASE/ticTacToeParallel/ymRGPw58.3921996210631854446.833333333336932.4333333333333
BASE/ticTicToe/c1OobQ58.86199095022624106669.71812.2
BASE/hallway/ckCJOw58.94037029265610671.966666666667181.06378724255148
DRESDEN/hallway/0H4l-Q59.1337294311322510774.7182.20903879482736
STANFORD/dualhunter/1rPZjQ59.2084760727529655882.933333333334943.8333333333334
STANFORD/ttcc4/Cx9SGw59.2205726431216227722.2468.1177294090197
BASE/chomp/-LcqYQ59.968575470995680531.81342.9
BASE/chickentoetictac/l57rfQ60.10470237845547191044.83178.5333333333333
STANFORD/alquerquezero/uVgA_A60.1078209152005531202.933333333334519.1160294656845
DRESDEN/tictactoeparallel/yk_DSg60.5265346317977955315.2913.9
BASE/2pffa_zerosum/o0_uZA61.0510971910333751655.333333333336846.1
STANFORD/bestbuttonsandlightsbig/g0JC6g61.47858588807169322932.66666666675252.766666666666
DRESDEN/max_knights/hCipiA62.62609678277054631404.9501.46666666666664
BASE/2pffa/6oHijA63.0398295067874958666.96666666667930.6333333333333
BASE/untwistycomplex2/EDPPAQ63.08181256681905847695.513438.033333333333
BASE/chess_200/XsTpYA63.3340421988014063405.033333333333353.763082461169255
BASE/max_knights/2fq3Ag63.3420039814200431818.8502.3333333333333
STANFORD/bestbuttonsandlights/nm0wEA63.36766920946504434723.33333333336860.333333333333
DRESDEN/breakthroughsuicide/Y9QzqQ63.95403587443945524720.366666666665386.53333333333336
BASE/amazonsSuicide_10x10/XIbQkg64.1894959891024714136.666666666666220.23333333333332
BASE/blocksWorldSerial/Wyg96Q64.21902763203917183602.22859.0
STANFORD/untwistycorridor/EDPPAQ64.24015828701688836042.833333333413014.333333333334
BASE/breakthroughWalls/vOZaYA65.3075613948379925105.566666666666384.4205193160228
BASE/pearls/6k_mEQ65.78154450119834808770.933333333312294.8
BASE/rubiksCube/9tNO9Q66.0114161105896525785.4390.6203126562448
DRESDEN/breakthroughsuicide_v2/LU1nAw67.2850361745441725338.7376.58744708509715
BASE/checkers/rOC3Xg68.4200536763226715115.766666666666220.9259691343622
BASE/tictactoe_orthogonal/WRzlVw68.61878742941882200515.533333333332922.1666666666665
DRESDEN/Goldrush/VeWczQ68.9663773485727353500.03333333333775.740808639712
DRESDEN/breakthrough/z4hK7Q69.2544807608468525768.733333333334372.08759708009734
BASE/4pttc/AL1k2Q69.6448934103369343612.5626.2124595846805
BASE/checkersTorus/2vm1EQ69.749777244271226242.766666666666376.24158389440703
BASE/breakthroughSuicide/wZDpIg69.8148180335215625962.4371.8752083194454
BASE/breakthrough/TGxk-g69.8326551787049525941.966666666667371.48761707943066
BASE/amazons_10x10/Bun8dA70.1015732396517615298.5218.23333333333332
DRESDEN/4pttc/9pB9AQ70.9187971351325849839.36666666667702.7666666666667
BASE/checkersTorusNoKings/pwb6oQ71.102515090589430999.966666666667435.98973435989734
BASE/ttcc4_2player/_aH_Mw71.616165809309230718.9428.93807079528034
BASE/escortLatch/mX9BjQ71.6388971467706634285.23333333333478.58404719842673
DRESDEN/mummymaze2p-comp2007/oTQRQg72.3095804314591485137.31177.4
BASE/amazonsTorus_10x10/Uxc08g72.671513892495459328.6128.36666666666667
BASE/2pttc/unkkYA72.8937778485041461075.26666666667837.8666666666667
STANFORD/freeforall/Lfp40Q73.3988843526415760527.166666666664824.6333333333333
BASE/breakthroughHoles/nZk0Sg73.5183788051583527934.533333333333379.96666666666664
BASE/checkersBarrelNoKings/rnKNeg73.7848980182265334005.0460.8666666666667
BASE/amazons_8x8/7SOsIw73.9618178249097421851.066666666666295.4371229543712
BASE/ttcc4_2player_alt/ZEJvYA74.1002672925223337887.46666666667511.3
DRESDEN/mimikry/GJEhwA74.659534467323227798.233333333334372.3333333333333
BASE/numbertictactoe/rvJ-iQ75.52558381674848101551.71344.6
BASE/double_tictactoe_dengji/zgaSbA75.5597485877143898978.233333333341309.9333333333334
BASE/snake_2008/i6K26g76.4058913929258838377.4502.28325722475915
BASE/chineseCheckers3/-1rZdQ76.74112565798353113715.01481.8
BASE/racetrackcorridor/_RkdUg77.1612889045190858508.833333333336758.2666666666667
DRESDEN/tictactoe_orthogonal/y69QFQ77.23695851478341224656.566666666682908.6666666666665
BASE/mummyMaze2p_2007/YGA3Vw79.5804957471296694496.533333333341187.4333333333334
DRESDEN/snake_2009/zIYLVw79.798258246871235632.86666666667446.536897540164
BASE/brawl/6Ymo_Q79.816697791858694617.03333333333457.845456665889174
STANFORD/jointbuttonsandlights/qAKuIQ80.31239291833239328129.66666666674085.6666666666665
DRESDEN/racetrackcorridor/O0DoTA80.4040231213872857957.9720.8333333333334
DRESDEN/brawl/2kXtfQ80.582456140350874593.257.0
BASE/blockerSerial/3eqDuw80.8019437441953181200.566666666671004.9333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ81.08281395876966107113.11321.0333333333333
BASE/snakeParallel/RCVNtw81.08866284334961167215.466666666672062.131262291257
BASE/breakthroughSuicideSmall/XSbJog81.106993460201545887.63333333333565.7666666666667
DRESDEN/snake_2008/E56l3A81.1514558023857840060.433333333334493.65021165961133
BASE/cittaceot/fDxhXg81.602990662456542209.1517.249425019166
BASE/breakthroughSmall/HJ0tIA81.6963441783258245933.6562.2479250691644
STANFORD/trifecta/ss1kyQ82.10730482781575197339.433333333322403.4333333333334
BASE/bomberman2p/4CClwA82.1305637982195873808.0898.6666666666666
BASE/snake_2008_tweaked/bX0NJQ82.1612345708392840276.833333333336490.21699276690777
DRESDEN/tpeg/h-Scbg83.0015048674051738460.333333333336463.3691087260849
DRESDEN/grid_game/U7_Yeg83.3049896527937460382.23333333333724.8333333333334
STANFORD/checkersonabarrelnokings/Zrevdw83.5349204318062133488.03333333333400.88663711209625
BASE/snake_2009/7l-qAQ83.7434221521335937613.5449.15169494350187
DRESDEN/tictactoe/BTTzPw83.86061863447755207493.533333333332474.266666666667
DRESDEN/stratego/Z2wovg84.1498726140388439331.833333333336467.4021731884541
BASE/doubletictactoe/HH1htg84.8444864707593897203.51145.6666666666667
BASE/checkersSmall/SYmq8w84.9735793189841824871.766666666666292.7
BASE/tpeg/QNs7Lw85.078258925244138049.833333333336447.23333333333335
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg85.274731182795752870.333333333336620.0
BASE/chineseCheckers2/eCMR3Q85.72526011560694148304.71730.0
DRESDEN/chickentictactoe/Ipbo-g85.97244376444546176065.833333333342047.9333333333334
DRESDEN/bomberman2p/x4h6jQ86.1884679103940179770.3925.5333333333333
BASE/stateSpaceSmall/Q7osKA86.44070296869899767630.98880.433333333332
BASE/chickentictactoe/DSlZCA86.59087417176148180345.72082.733333333333
BASE/snake_2009_big/-oRfVw86.7851594218380729786.566666666666343.2218926035799
DRESDEN/snake_2009_big/DgC1NQ86.8042111280487830369.9349.8666666666667
DRESDEN/connect5/1kYzSg87.1133747850244821949.666666666668251.96666666666667
BASE/ttcc4_2player_small/Cv72TA87.3161716786146462524.2716.0666666666667
DRESDEN/statespacesmall/h-NqjA88.43007676803937788292.23333333338914.3
BASE/connect5/d-BVQg90.0293796119158321961.166666666668243.93333333333334
STANFORD/tictactoe/ss1kyQ90.47322958410626212970.966666666672353.9666666666667
DRESDEN/eotcatcit/mQUxzA92.37318259793582218979.866666666672370.6
DRESDEN/doubletictactoe/lJzgmQ92.91934785745201107337.333333333331155.1666666666667
DRESDEN/peg_bugfixed/u_B7MA93.6866239452620640315.13333333333430.3189893670211
DRESDEN/peg/Vo31eg93.6901031414849339665.26666666667423.3666666666667
DRESDEN/bunk_t/7-tPfA94.87896659857877109929.933333333331158.6333333333334
DRESDEN/tictactoex9/rFkD4w95.0510393796004324102.533333333333253.57464253574642
BASE/ticTacToe/JRFsaQ95.21125126475548235251.133333333332470.8333333333335
BASE/peg/fJHVWw95.8011913750525440516.166666666664422.9192360254658
STANFORD/multiplebuttonsandlights/cK70Yg96.23297689758215786861.76666666678176.633333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA96.38128898979362785362.93333333338148.5
BASE/tictactoex9/BI26ow96.6434771343438124866.366666666665257.3
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw96.734006388121549336.596.51724712547909
BASE/doubletoetictac/fu35bg97.27533477834852109204.533333333341122.6333333333334
BASE/eotcatcit/AfZSzA97.4474651304681228926.833333333342349.233333333333
BASE/catcha_mouse/cHv4dw98.1936185071574560819.1619.3793540215327
BASE/checkers-cylinder-mustjump/rjr6qQ98.287673551837959595.83333333333497.63007899736675
DRESDEN/doubletoetictac/V89gKQ100.08759255373361111294.066666666671111.9666666666667
BASE/chineseCheckers6/rREH3A103.7063582305806694476.8911.0029665677811
BASE/englishDraughts/jFkQxg104.5340846461688847596.26666666667455.3181560614646
DRESDEN/ticblock/Z2yNWQ105.21944873208379159056.733333333341511.6666666666667
BASE/ticblock/T21C1g106.07605809776666158481.166666666661494.0333333333333
BASE/pegEuro/5awwhg106.6056506387035137275.2349.6550114996167
BASE/checkersTiny/Lr48cg106.731812252134343477.53333333333407.3530882303923
STANFORD/tictactoe7/-bE9-A107.26428561509726257480.766666666662400.4333333333334
BASE/bunk_t/xbpfIA107.48407012639059123026.266666666661144.6
DRESDEN/tictactoe-init1/3ltIBQ108.27440248631702262449.933333333352423.9333333333334
DRESDEN/SC_TestOnly_enabled/09o7gQ108.29133751227248238980.933333333322206.8333333333335
BASE/duplicateStateSmall/bCPAXw112.67644704547745708520.76666666676288.1
DRESDEN/2player_normal_form_2010/NG_Kdg114.40823760604559477395.066666666654172.733333333334
BASE/tictactoe-init1/7M19vA115.96379290683088271169.733333333342338.4
DRESDEN/catcha_mouse/cHv4dw116.4694034778780570549.4605.7333333333333
DRESDEN/brain_teaser_extended/ZDp94A116.52534612648438212934.533333333331827.3666666666666
BASE/checkers-mustjump/T-8UuQ117.0016476726726813852.533333333333118.3960534648845
BASE/brain_teaser_extended/ZDp94A118.11375843291765211844.91793.5666666666666
DRESDEN/skirmishfinal/hzq8ww119.41034275862075192.143.481158164795254
BASE/checkLines/Vop7oQ119.88022825809743125346.766666666661045.6
BASE/skirmish/Y_psYQ119.950349482163423471.928.944475901808612
DRESDEN/capture_the_king/EQ229Q120.611086836518045678.747.08273633001233
BASE/skirmishFinal2/gdB62Q121.400721732283465136.942.313586992736724
BASE/ticTacToeSerial/Amrwqw121.58719713842208120103.83333333333987.8
BASE/chineseCheckers4/avfBcQ121.72018913656773102111.06666666667838.9
BASE/skirmishHoles/AUCxCA122.233727425310494045.666666666666533.09779348043464
BASE/skirmishFinal1/ecWTnQ123.662759806295385105.441.28486221718703
STANFORD/tictactoe5/WFRReg124.24910022441462293439.12361.7
BASE/skirmishFinal3/-Olhfw125.500252484254735976.847.62380857161901
BASE/checkers-newgoals/0XkFiA125.9212908554572318022.933333333334143.12856238125397
BASE/tictactoe_3player/GtM71g126.3471031882070673710.9583.4
DRESDEN/blockerparallel/dVQgSg127.3305417243549433718.0264.8068526480685
BASE/copolymer_4_pie/IN5_jA128.1650337994338199598.0777.1074297523415
STANFORD/platformjumpers/HEQskA129.1162211182435430840.533333333333238.858704709843
STANFORD/pilgrimage/ObRZnQ129.5946289988814351488.833333333336397.3068462102527
DRESDEN/backgammon/mqCW0Q130.6970627038861626527.966666666667202.9729369417411
BASE/blockerParallel/7-nDJA130.7324401664932633502.36666666667256.26666666666665
BASE/twisty-passages/DiZmmg131.7192150969569151929.333333333341153.4333333333334
BASE/queens06ug/7Lq3tw131.79123416560563203569.133333333331544.6333333333334
DRESDEN/twisty-passages/j7NPyg144.49104963384863153902.233333333341065.1333333333334
DRESDEN/towerworld/HCX34w145.268246407185613232.722.25331467785995
BASE/strangeSkirmish/gc1zKA145.30659767141013744.066666666666625.766666666666666
DRESDEN/tictactoe_3player/ESLQQQ147.038328513919686443.83333333333587.9
DRESDEN/oisters_farm/pTQMLg148.66742547915337877291.43333333335901.033333333334
BASE/copolymer_4/2LDVhQ152.6712593762337128905.43333333333844.3333333333334
STANFORD/untwistycomplex/HTWEwg156.87797308094156850853.83333333345423.666666666667
DRESDEN/blocker/S815zQ159.50416075296928355880.366666666642231.1666666666665
BASE/dotsAndBoxes/EHwA_w160.1131779048576884929.36666666667530.4333333333333
BASE/blocker/dIWtxg161.3069819587249364494.633333333362259.633333333333
DRESDEN/mummymaze2p/k-8edg161.6249777619640390849.4562.1
BASE/mummymaze2p/vpjDdA162.6488126668274789909.26666666666552.7815739475351
BASE/lightsOn/MsXu3A163.8478489252683847393.76666666675171.833333333333
DRESDEN/lightson2x2/gBHuig165.31903969623045539871.36666666673265.633333333333
BASE/tictactoe2/bhrDoQ165.65483556738513402469.46666666672429.5666666666666
BASE/chineseCheckers1/gqtwHw170.03054250632948387278.566666666652277.7
BASE/dotsAndBoxesSuicide/jzQbLw170.7886514750500288189.56666666667516.3666666666667
STANFORD/duikoshi/tpw1sw172.52277582523683449.26666666666483.7
DRESDEN/pawn_whopping_simultaneous/r8dLfw176.3497160332022480732.9457.8
DRESDEN/chinesecheckers6-simultaneous/gPPGUw178.5599578010803737458.13333333333209.77902209779023
BASE/queens08ug/kJ_ZFQ181.38034333305006142286.83333333334784.4666666666667
BASE/kitten_escapes_from_fire/uW-YiA182.41721210362093418981.933333333352296.8333333333335
DRESDEN/kitten_escapes_from_fire/uW-YiA182.51620436701245424630.03333333332326.5333333333333
STANFORD/tictactoe3/X7myng183.98486255996343402712.22188.8333333333335
STANFORD/skirmish/w4V6Vw184.734083199694545373.43333333333329.08739546196648
BASE/factoringMutuallyAssuredDestruction/NH0LGg184.75788888314105476207.32577.4666666666667
BASE/pawnWhopping/Ypc_6Q188.44893364825163109039.2578.6140461984601
DRESDEN/lightsout2/LFtfyQ192.50307498518077173201.43333333332899.7333333333333
DRESDEN/lightsout/XgLpzQ192.85976621417797170488.03333333333884.0
BASE/stateSpaceMedium/3bUoIw193.5065989475869528318.16666666662730.233333333333
BASE/ticTacHeaven/18n58A198.194910875742751147.5258.06666666666666
BASE/four_way_battle/xSOQXA199.539623611111127132.866666666665135.97733711048159
BASE/lightsOut/5P1ZBw199.65587645704952179277.66666666666897.9333333333333
DRESDEN/pawn_whopping/4ogBkg200.29700791306772119807.0598.1467284423852
BASE/blocksWorldParallel/RseaAQ200.5120946836243384606.6421.9526015799473
BASE/mineClearingSmall/frsbvw201.3042649731229438696.1192.22692576914102
DRESDEN/statespacemedium/dVJZ_w203.75349394057855555948.22728.5333333333333
BASE/coins/QnGtnQ204.6033829059829375534.53333333334369.17538830744616
DRESDEN/coins/QwFP9w206.0955485250469575607.06666666667366.8544381853938
DRESDEN/pawn_whopping_corrected/7Ov0jQ206.8259784997327116077.63333333333561.2333333333333
STANFORD/sukoshi/4LYZZQ212.28801613786922284140.433333333351338.4666666666667
BASE/nineBoardTicTacToePie/B8LzeQ214.910680889309445423.03333333333211.35772845430913
BASE/coins_atomic/AA3SSw218.0318570318570774828.53333333334343.2
BASE/ticTacHeavenFC/mrletw223.822512551358556285.73333333333251.47485251474853
STANFORD/madness/UO_B3A225.503001154734426503.66666666666728.84071002764179
DRESDEN/four_way_battle/xSOQXA230.856344170854330624.9132.65782281181254
BASE/ticTacToeLargeSuicide/727_8g232.54918725923145247502.11064.3
BASE/duplicateStateMedium/U163eQ239.59752916710724453174.766666666661891.4
BASE/amazons/RKKZjw239.77423076923077204.733333333333320.8538587848932676
STANFORD/pentago/ZxzLmg244.367278638369989807.13333333333367.5088327444837
BASE/ticTacToeLarge/TZC0dg245.18881340867247257464.61050.0666666666666
DRESDEN/firefighter/WJmoPw249.39904339790542971592.16666666663895.733333333333
BASE/withConviction/3Xm54A251.42890775083214111622.33333333333443.9518682710576
BASE/knightmove/jBaJEw252.08938727764107208318.26666666666826.3666666666667
DRESDEN/knightmove/97Ipcw255.64809984349293212349.83333333334830.6333333333333
DRESDEN/tictactoelarge/IwXcbg256.6691542288557275149.33333333331072.0
BASE/firefighter/WJmoPw257.261715445779031013782.66666666663940.6666666666665
DRESDEN/tictactoelargesuicide/6J4DeA260.99480179864145272800.46666666671045.2333333333333
BASE/connectFourLarger/qKi60A263.91328637357372435.4274.46666666666664
DRESDEN/connect4/T0-rHQ264.4146067415730470598.7267.0
BASE/factoringEasyTurtleBrain/lUj94Q265.1617695313665592601.22234.866666666667
STANFORD/triplesukoshi/Iu9mbA267.6829840619052495318.73333333334356.0881303956535
BASE/factoringGeorgeForman/HGRorQ267.7619109269808896216.96666666673347.0666666666666
DRESDEN/babel/WdSW4A276.5102470522178465661.96666666666237.46666666666667
BASE/lightsOnSimultaneous/_VN6lw277.3465174129353111493.3402.0
BASE/breakthroughSmallHoles/bxclRw278.75644768883615133138.93333333332477.61741275290825
BASE/lightsOnParallel/SC6enA280.15302884702555515042.66666666671838.4333333333334
BASE/connect4/50bOyw280.831029855000675526.63333333333268.9397726893977
STANFORD/multipletictactoe/_bkafQ293.5064727339605584223.76666666666286.95710142995233
BASE/lightsOnSimul4/9FeASw294.804087326910494854.96666666666321.7559414686177
BASE/stateSpaceLarge/0Ge_CQ298.45325996099194285639.6666666667957.0666666666667
BASE/futoshiki4/BaCwSw306.74695684249355138598.5451.8333333333333
BASE/duplicateStateLarge/dcjyuw316.7177389165196197410.16666666666623.3
STANFORD/nineboardtictactoe/y28P-A321.565278799688268754.5213.81195213811952
BASE/queens12ug/u6Bkmg331.5029137047268471995.23333333334217.17828217178283
BASE/connectFourLarge/aU644A334.4079342690875159618.73333333334477.31742275257494
BASE/nineBoardTicTacToe/wRmqqA334.634389545134968742.76666666666205.4264857838072
BASE/snake2p/I3wWPQ340.5850542992741381329.0238.7920402653245
BASE/hidato19/rRHSmA343.76452286712066109370.76666666666318.15606146461784
DRESDEN/tictactoe_3d_small_2player/HYttcg345.95664781301997143239.56666666668414.0390640623958
BASE/qyshinsu/R08Lzw355.180917407006232773.3666666666792.27231830450864
BASE/pentagoSuicide/SBgNhw357.992972023246488293.0246.63333333333333
BASE/tictactoe_3d_small_2player/oOryKA362.1640664029316144945.3400.2199926669111
STANFORD/connectfour/VMpZkQ367.5528161956304244496.13333333333665.2
DRESDEN/pentago_2008/hLjVpQ368.139358876206488154.16666666667239.45868471050966
BASE/ticTacToeNoVars/XT03NA370.5554431283852415046.81120.0666666666666
BASE/dualConnect4/WbCQkg371.3028425980051177848.13333333333478.9840338655378
DRESDEN/connectfour/5tc-Mg382.95092196770497252432.83333333334659.1780273990867
BASE/connectFour_9x6/B9TtMw383.8788864388093232118.76666666666604.6666666666666
BASE/simultaneousWin2/PfjRjw384.4067426072949111362.63333333333289.7
BASE/tictactoe_3d_small_6player/g_9lww385.0659316668486117586.3305.3666666666667
DRESDEN/connectfoursuicide/M9CNQg393.30632169993567264664.4672.9218052129858
BASE/connectFourSuicide/c8p9Kw397.5120213713268252963.4636.3666666666667
BASE/pentago/86NgKw398.08331156960037101617.4255.26666666666668
BASE/futoshiki5/TJ4BZg398.1806684631344587412.63333333333219.53007832027996
DRESDEN/tictactoe_3d_small_6player/llDEDQ400.36557525938605124763.1311.6229459018033
BASE/connectFour/WAIKTw403.88291882025266270655.26666666666670.1329867013299
BASE/wallmaze/uxNQ9g412.0428750260796131661.43333333332319.53333333333336
DRESDEN/ggp-course2013_jordi/9QI6Kw424.11051637279644899.166666666664105.86666666666666
DRESDEN/statespacelarge/8-y5HQ426.0397097858786401258.4941.8333333333334
DRESDEN/sat_test_20v_91c/dK7nVw454.1859698823452305384.4666666667672.3775874137528
BASE/connectFourSimultaneous/7ITr3g476.8911308035714135305.4283.7238758708043
DRESDEN/Zhadu/9zpQ5w479.128130474452526243.154.772613693153424
BASE/gt_attrition/kD_SCA483.2900744389719665.16666666666619.99868645737554
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA486.5507854668855316215.0333333333649.9116696110129
BASE/futoshiki6/JmvXNA486.883865238095261335.1125.9748050389922
DRESDEN/uf20-020.cnf.SAT/hDrW_A490.5793803612479315350.26666666666642.811906269791
DRESDEN/sat_test_20v_91c_version2/a1mPBA503.2925851703406334857.3333333333665.3333333333334
DRESDEN/slidingpieces/s9_44g505.9886594681945676536.66666666667151.26162461251292
BASE/slidingpieces/uFJWEw506.435156809012773910.33333333333145.94234294284286
BASE/queens16ug/gT-ylw512.863766838351843147.584.13052898236725
STANFORD/duidoku/3SoMaA515.27514771241837882.13333333333315.296940611877625
BASE/hidato37/pBrqxw526.299146391304440345.56666666666676.65900076659001
DRESDEN/uf20-010.cnf.SAT/5ICbCg537.5044784885713366058.4666666667681.0333333333333
DRESDEN/tictactoe_3d_2player/LMuX9w552.436886537454170290.4127.23697803845769
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ562.1555680881523431941.6768.3666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw563.0888898682297425901.6666666667756.3666666666667
DRESDEN/cubicup/SBn_lw598.131357925435584302.53333333334140.94317613731045
BASE/3pConnectFour/PqXOFQ603.2276336686077227899.4377.8
BASE/conn4/va9Y7A604.2665249095841178212.4294.923502549915
BASE/cubicup/4wNWJA623.7828065134186830.56666666667139.2
BASE/sudokuGrade6H/ieE_9A637.81827061503429321.614.614821226446502
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg639.2212879104735454407.26666666666710.8763041231958
BASE/golden_rectangle/_nYzfw642.960366755397872461.63333333333112.7
BASE/sudokuGrade6E/ihYFZA644.70424373576329432.614.63089485085819
BASE/sudokuGrade1/tDRNRw651.763946721311410586.516.242843829050727
DRESDEN/golden_rectangle/1uloXw653.351793360995873475.4112.45916938870742
BASE/sudokuGrade4/DTy07w654.229033822501710381.13333333333315.867735604271315
STANFORD/sudoku/oJ1qyQ656.990157681159510051.06666666666815.29865637887455
BASE/sudokuGrade5/BQfUQA659.044047736625510656.26666666666616.16927837109492
DRESDEN/quad_5x5_8_2/JRTLJg662.489133855421873308.13333333333110.655601106556
BASE/queens08lg/Ru7eqQ668.3115925498576156379.7233.99220025999134
BASE/tictactoe_3d_6player/d7KSwg668.51218299663379403.36666666667118.77624475104979
BASE/sudokuGrade3/eI8dvg670.778502061122910479.86666666666715.623438488956994
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg671.1397369473121487566.76666666666726.4757841405286
BASE/factoringMediumTurtleBrain/8RBqmQ676.0041917199217352592.0333333333521.5826139128695
BASE/tictactoe_3d_2player/IUC1rQ676.249588719898582992.83333333333122.72515165655624
BASE/sudokuGrade2/u80Tfw682.187857021276510674.815.647889199627114
BASE/othelloSuicide/B442jg694.36441807689633094.89196455242474.457158062799361
BASE/othello-comp2007/86ZoMw736.68269397424793175.98826744883674.311202493864827
BASE/ad_game_2x2/D0aWqg751.013417777777813479.617.948547497174765
BASE/cubicup_3player/e2yA_g777.509789936775549175.763.24769235895898
BASE/majorities/ibJzSQ804.1385007500002107200.6133.31111481419762
BASE/othelloHoles/c0qAzw846.02847266202244020.06599780007354.751691140075895
DRESDEN/cubicup_3player/awDtsQ848.495458613217852205.5333333333361.5271806152718
DRESDEN/tictactoe_3d_6player/ulZPWg879.303670222222298888.7112.46251249583472
DRESDEN/battle/8oAvhQ926.740059848484944840.7666666666748.385484354693595
DRESDEN/grid_game2/kypTYQ934.0679052731928190512.36666666667203.95986800439985
BASE/battle/8oAvhQ987.180311450381647414.448.03013132457836
BASE/quad_5x5/JAEP5g1010.001394052044672450.7666666666671.73333333333333
BASE/reversi/d8UMeA1031.280493647394716013.03333333333315.527330762069424
DRESDEN/quad_5x5/JAEP5g1064.881017543859674751.570.19704433497537
BASE/reversiSuicide/9OxJlg1067.93588267223417047.96666666666715.963473971872292
DRESDEN/othello-cornercontrol/r5Gdlg1224.23662738654168652.5666666666687.067724060125427
DRESDEN/pawntoqueen/f_x6Aw1258.30834689458724523.93333333333419.48960554371002
DRESDEN/satlike_20v_91c_version2/yd9ioQ1517.90636166666671000.36666666666670.659043727551323
BASE/hitori/S8Gsyg1521.230504571903660633.539.85819362533961
DRESDEN/hitori/S8Gsyg1591.84930861817160484.8666666666737.996603283492625
BASE/battlebrushes/arCwyA1734.17013270676714837.78.55608092894593
DRESDEN/satlike_20v_91c/yeuENQ1756.597175945.50.5382565869149823
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1838.49193944.90.5139538469445444
BASE/pawnToQueen/-O1_JA2087.63485761316939435.2666666666718.88992537313433
BASE/zhadu/DlA8iQ2190.66777536656924878.211.356445865387817
STANFORD/selectivesukoshi/3xmXYg2313.4764857801183117111.750.62152164494951
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2588.8221351143.70.4417839234830245
STANFORD/multiplesukoshi/vLSQPg2695.1659007503413131655.548.848755456332675
DRESDEN/CephalopodMicro/H3XQfg2770.972362666666448490.417.499416686110465
BASE/cephalopodMicro/9l2D3g2892.129148775894551175.33333333333617.694691592522243
DRESDEN/quad_7x7/q-JOXg3604.5686703296732337.08.971114981433407
BASE/quad_7x7/q-JOXg4092.044489285714534067.78.325349367339522
BASE/blokbox_simple/JBx4bg4704.3590222222233549.56666666666660.7545271629778671
BASE/queens/HyJJnQ4726.72604357142821173.74.479569961283717
DRESDEN/queens/mW2wHQ4985.264606666667520323.1333333333354.076640847941296
DRESDEN/quad/JPe6fg8151.54783333333412257.9666666666671.5037593984962405
BASE/quad/tw-Ufg8198.45762666666612269.4666666666671.4965579167913798
DRESDEN/ggp-course2013_michal13/jWKddg22533.9350509803989316.133333333333.963627885287946
BASE/queens31lg/0gID-A29418.578621558.5333333333330.732820359081976

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap space
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/mummymaze1p/PT_EXAException of type NullPointerException
DRESDEN/small_dominion/yB5GJATest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsException of type NullPointerException
BASE/alexChess/LNo83gTest process timed out after 240 secondsException of type StackOverflowError

index