index

ALLOY_DIFF_PROP_NET:1 vs. PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second
BASE/pancakes88/l2Xaig0.01714931622434846179.5333333333333310468.833333333334
BASE/ruleDepthExponential/UamhHQ1.000401763322403305.22315922802574305.10058100493416
BASE/kalaha_2009/dRiN3g1.44557554565450341708.76666666666671182.0666666666666
DRESDEN/kalaha_2009/gcC8uA1.51099713118316961738.11150.3
DRESDEN/pancakes/hl9aiQ2.255234924880658530802.613658.266666666666
DRESDEN/pancakes6/SZXMyQ2.308832550318618431992.813856.7
BASE/pancakes/yUgbXw2.318306647028079832528.93333333333414031.333333333334
BASE/pancakes6/QZTdnw2.32743801078548631790.413658.967436589674
DRESDEN/Travelers-Dilemma/PvZwYw2.8870520176939243177.1274290856971461.35235111807245
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A5.2331125827814577375.21409.3333333333333
BASE/kalaha6x2x4/XS81Mg5.6987711374855587234.41269.4666666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA6.584076054664297387.3333333333331122.0
BASE/eightPuzzle/vLrgFg7.42038581324379631529.4666666666674249.033333333334
DRESDEN/vacuumcleaner_random/_6AGDA7.4409557697709177358.366666666667988.90073995067
DRESDEN/vacuum_cleaner_1/eUNjpw7.6551653923960268576.51120.3546312035462
DRESDEN/8puzzle/8fKC2w7.952275432222501533853.366666666674257.066666666667
BASE/snakeAssemblit/UO4sdg8.7269302053190022110.8333333333335241.87581241875813
STANFORD/8puzzle/jNiGtw8.76971489709862237157.866666666674237.066666666667
STANFORD/eightpuzzle/W_aWbA9.25387369818339837645.0666666666664068.0333333333333
BASE/kalaha5x2x3/WviNsw10.37803457851831915446.6666666666661488.4
DRESDEN/crossers3/xiPTxg10.674880927728313436.370908606093321.9118725418305
BASE/crossers3/O0rORg11.1425389755011133502.1314.3
BASE/coloredtrails/EZvr7g11.16906701818844826548.52376.9666666666667
BASE/knightfight/SJRkAg12.46881011991039815770.9666666666671264.8333333333333
DRESDEN/knightfight/4_Ly4w14.65279876636727418053.61232.0922635912136
BASE/tron_10x10/7ZTgDg15.21644170017231435322.4333333333342321.3333333333335
BASE/gt_centipede/9fRMpw15.58453960032774157870.8666666666710129.966666666667
DRESDEN/blocks2player/3ev8nQ16.01727113702624137348.18575.0
BASE/roshambo2/KNPokQ17.382043568591754141949.38166.433333333333
BASE/gt_dollar/TGjqRw17.612925857327273104603.166666666675939.0
DRESDEN/roshambo2/jgSlkQ17.628940667228854141458.733333333348024.233333333334
BASE/ruleDepthLinear/OUBJpQ17.78994830470583354110.719905.1
BASE/blocks2player/wnTLOQ17.929175785356104138726.47737.466666666666
BASE/shmup/ssTNlg19.13515096065873817428.933333333334910.8333333333334
DRESDEN/chinesecheckers6/yTbPDA19.907806491996787420.966666666666372.76666666666665
DRESDEN/chinesecheckers4/-oVNYg20.3967289719626174364.9214.0
BASE/onestep/xi53wA20.924415601053873838404.366666666740068.23333333333
BASE/hodgepodge/9yjRkw23.025409356894386132604.15759.033333333334
BASE/blocks/xIV5hQ23.166831442847332260883.2333333333411261.066666666668
STANFORD/threepuzzle/41ibjA23.28245275474191223197.233333333349586.5
STANFORD/3puzzle/41ibjA23.71416832469063226061.633333333339532.766666666666
DRESDEN/gt_prisoner/huCp4w24.14622468522065239504.8333333333361636.0666666666666
BASE/haystack/UkweGA24.182175330554344850260.635160.63333333333
BASE/survival/YVIjJA24.205746665329453707976.133333333329248.266666666666
DRESDEN/chinesecheckers3/QsCb2A24.85442338672958213343.066666666668536.8487717076098
DRESDEN/blocks/vg0DRw24.964027742219436289274.011587.633333333333
DRESDEN/Runners/3bOCQw25.22865800501422139873.566666666685544.233333333334
BASE/gt_prisoner/klthDw25.60431314623338443335.31692.5
BASE/gt_staghunt/xPjLRA25.6797266874679143345.6666666666641687.9333333333334
BASE/blocksWorld/SEdXLQ25.72586436131269292816.9333333333511382.2
DRESDEN/battlebrushes/QHXV4A25.7321829650355551125.316624450073343.73187560414653
STANFORD/breakthrough/d5j0cQ27.11722947486757515812.433333333332583.1138962034598
BASE/troublemaker02/DI83KA27.507480288269765581569.566666666721142.233333333334
DRESDEN/troublemaker02/iZLVuA27.621955934141617566824.633333333320520.8
DRESDEN/blocksworldparallel/2JfVaw27.79250253045694775967.12733.366666666667
DRESDEN/troublemaker01/C-lPWw28.037962613983474664563.266666666723702.266666666666
STANFORD/buttonsandlights/eyhJpA28.50194411530658922886.332379.766666666666
STANFORD/hunter/14dD-g29.406121859659255101833.43463.0
BASE/maze/cCX3qQ29.72170705942472490504.2666666666616503.233333333334
BASE/troublemaker01/s3tlEQ29.955648135778304687633.922955.066666666666
BASE/switches/tPUoCg31.07894932520356390100.912551.933333333332
BASE/gt_chicken/gmepTQ31.82123089422637841777.033333333331312.8666666666666
DRESDEN/chinesecheckers2/06E6-Q32.4302263895327920984.9647.078430718976
BASE/incredible/8Qh-6Q32.75029300567108115499.366666666673526.6666666666665
DRESDEN/gt_chicken/CeuKtw32.9593651424455444232.5666666666661342.0333333333333
DRESDEN/logistics/fPru1Q34.04852794073913541980.71232.9666666666667
DRESDEN/buttons/ADUaHw36.014342769103216561788.933333333315599.033333333333
BASE/sheepAndWolf/g4THrg36.7079052930241725012.766666666666681.4
BASE/buttons/hTcUjw36.7399126144322568147.233333333315464.033333333333
DRESDEN/toetictac/mJtxCA36.91376295881199219575.366666666675948.333333333333
DRESDEN/sheep_and_wolf/enAIzQ37.2442316192669824793.9665.7111429619013
BASE/toetictac/mTThmg37.76595416268873220204.466666666675830.766666666666
BASE/pearls/6k_mEQ38.58192035593832808770.933333333320962.433333333334
DRESDEN/chickentoetictac/cxYaRQ39.56493152258175183734.266666666664643.866666666667
DRESDEN/latenttictactoe/kITHKg40.6862770569800183519.433333333332052.766666666667
BASE/chickentoetictac/l57rfQ41.05164991798758191044.84653.766666666666
DRESDEN/frogs_and_toads/GjchhQ41.2061402784896621437.466666666667520.2493250224993
STANFORD/dualhunter/1rPZjQ41.9552040841862955882.9333333333341331.9666666666667
DRESDEN/hallway/0H4l-Q42.5779471417281410774.7253.05823139228693
DRESDEN/cube_2x2x2/fp-34Q42.6535372760189461256.1666666666641436.1333333333334
BASE/hallway/ckCJOw43.1727598534897310671.966666666667247.19213464422597
DRESDEN/tictictoe/LAUtwg43.1967964844123290433.933333333332093.5333333333333
DRESDEN/circlesolitaire/ruUilQ43.39934702350453220216.966666666675074.2
BASE/circlesolitaire/azuQFQ43.52415562488045219972.533333333335054.033333333334
DRESDEN/knightstour/cGISAA46.30659025787965130365.42815.266666666667
STANFORD/bestbuttonsandlights/nm0wEA46.39638838391564434723.33333333339369.766666666666
STANFORD/untwistycorridor/EDPPAQ47.33818455661417836042.833333333417661.066666666666
BASE/untwistycomplex2/EDPPAQ47.618527339931916847695.517801.8
BASE/asteroids/BKCmPQ47.734864975040956206871.766666666664333.766666666666
DRESDEN/sum15/CsgWKg47.88642070697315157008.43278.766666666667
BASE/eotcitcit/V_9_bg47.88851074362266103188.566666666672154.766666666667
BASE/asteroidsParallel/WauZiA48.55289964549085108196.92228.4333333333334
BASE/sum15/QZ07Kg48.86108189254604159484.23264.0333333333333
BASE/blobwars/0XT15Q48.930163096831786089.166666666667124.44607336820711
DRESDEN/ghostmaze2p/HY0UwA48.930965073673946103718.966666666662119.7
DRESDEN/blobwars/ZaMluQ49.2742941257966155927.5120.29599013366222
BASE/ghostMaze2p/W-NU-w50.08357031025338104497.72086.4666666666667
BASE/blocksWorldSerial/Wyg96Q50.15128973222009183602.23660.9666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g50.50873790457124322932.66666666676393.6
BASE/ticTicToe/c1OobQ50.721830372002344106669.72103.0333333333333
BASE/tictactoe_orthogonal/WRzlVw51.08415707055267200515.533333333333925.2
STANFORD/tictictoe/rpt_Dw51.09152477398332106621.22086.866666666667
DRESDEN/smallest/9kaGFw52.9036996735582153241.23333333333361.266666666666666
BASE/point_grab/V_osUg53.757301436155636412119.67666.3
DRESDEN/point_grab/r5DPmQ55.63938482263135413029.77423.333333333333
DRESDEN/racetrackcorridor/O0DoTA56.2461423996376957957.91030.4333333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA56.70387665018187184983.166666666663262.266666666667
DRESDEN/tictactoe_orthogonal/y69QFQ56.78499090051227224656.566666666683956.266666666667
DRESDEN/chinesecheckers1/Y-ftaA57.1594467123776348073.0841.0333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA57.65762517825222191381.033333333333319.266666666667
DRESDEN/2player_normal_form_2010/NG_Kdg59.785983836494786477395.066666666657985.066666666667
BASE/minichess/8NQEiA60.0494839593823539751.433333333334661.9779340688643
BASE/hex/T1MK8g60.165556853582567725.0128.3957201426619
DRESDEN/endgame/IJhh3Q60.670222543978357472.3123.16256124795841
BASE/beatMania/qUHwvQ60.872383906577866222407.43653.6666666666665
BASE/knightazons/apnJBQ61.5114822546972853928.533333333333363.86666666666667
DRESDEN/catch_me/ghGWrA61.91824108292157198823.63211.0666666666666
STANFORD/jointbuttonsandlights/qAKuIQ61.951779780485346328129.66666666675296.533333333334
DRESDEN/Thief_Police/CX18rA62.60201013390488200562.233333333343203.766666666667
STANFORD/hex/MTqWcw63.295443111111118069.9127.49575014166194
DRESDEN/knightazons/02I8BQ64.008012069577564005.833333333333562.58331111703546
BASE/crisscross/ICagEg64.0493851451057621702.066666666666338.8333333333333
DRESDEN/snake_2009/zIYLVw64.0917321182325135632.86666666667555.9666666666667
DRESDEN/tictactoe/BTTzPw64.09792614865005207493.533333333333237.133333333333
BASE/hexPie/48CH6Q65.09428668941988261.5126.91590030654405
DRESDEN/chickentictactoe/Ipbo-g65.91921675319489176065.833333333342670.9333333333334
STANFORD/trifecta/ss1kyQ66.16503866958737197339.433333333322982.5333333333333
BASE/snake_2009/7l-qAQ66.9041266453219437613.5562.2
DRESDEN/crisscross/GsY16g67.5590860598477721597.2319.67868808746084
BASE/chickentictactoe/DSlZCA67.85270326197374180345.72657.9
BASE/snake_2009_big/-oRfVw67.9822583922911229786.566666666666438.1520615979467
BASE/snakeParallel/RCVNtw68.24471138803108167215.466666666672450.233333333333
DRESDEN/snake_2009_big/DgC1NQ69.0225000000000130369.9440.0
BASE/bomberman2p/4CClwA69.2664310069759573808.01065.5666666666666
DRESDEN/tictactoex9/rFkD4w69.5221711886677624102.533333333333346.6884437185427
BASE/ticTacToeParallel/ymRGPw69.7053300900439654446.833333333336781.1
STANFORD/multiplebuttonsandlights_9/SqB9BA70.29282002016815785362.933333333311172.733333333334
STANFORD/tictactoe/ss1kyQ72.06163858248179212970.966666666672955.4
BASE/tictactoex9/BI26ow72.2675770502389324866.366666666665344.0874550059992
DRESDEN/eotcatcit/mQUxzA72.79915780141845218979.866666666673008.0
DRESDEN/3pffa/0YrmQw72.8983104043521546453.23333333333637.2333333333333
STANFORD/multiplebuttonsandlights/cK70Yg73.08879325025157786861.766666666710765.833333333334
BASE/asteroidsSerial/id2QkA73.18482738238174132066.91804.5666666666666
BASE/ticTacToe/JRFsaQ73.75953931210351235251.133333333333189.4333333333334
DRESDEN/tictactoeparallel/yk_DSg73.9821072753209755315.2747.6834877674821
DRESDEN/4pttc/9pB9AQ73.988363569036949839.36666666667673.6108796373454
BASE/snake_2008/i6K26g74.2047162541892238377.4517.1827605746475
DRESDEN/minichess/c7GMFw74.7185575092395644477.46666666667595.2666666666667
BASE/gt_coordination/IVMOzA74.91528046924788192005.366666666672562.9666666666667
DRESDEN/bomberman2p/x4h6jQ75.2171548906210779770.31060.5333333333333
BASE/endgame/jYjfOA75.5585239316239211197.4148.1950601646612
BASE/snake_2008_tweaked/bX0NJQ75.8699610699485240276.833333333336530.8666666666667
BASE/eotcatcit/AfZSzA77.10743476894059228926.833333333342968.9333333333334
DRESDEN/SC_TestOnly_enabled/09o7gQ77.88454351888062238980.933333333323068.4
DRESDEN/snake_2008/E56l3A77.8906714473968440060.433333333334514.3161894603513
DRESDEN/3pttc/uwYBZw80.9693527526289247995.933333333334592.7666666666667
BASE/max_knights/2fq3Ag86.6789992554254131818.8367.0877637412086
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg87.0962605018944652870.333333333336607.0333333333333
DRESDEN/max_knights/hCipiA87.2035357275083431404.9360.1333333333333
BASE/stateSpaceSmall/Q7osKA89.18439529542981767630.98607.233333333334
DRESDEN/statespacesmall/h-NqjA90.16335859818216788292.23333333338742.933333333332
DRESDEN/amazons/dNB28A92.41585294117647209.266666666666682.2644022644022646
BASE/racetrackcorridor/_RkdUg92.8840887307298958508.833333333336629.9123362554582
DRESDEN/tictactoe-init1/3ltIBQ94.5617861475085262449.933333333352775.4333333333334
DRESDEN/skirmish/RjGQYQ95.506938759305236413.667.15323601946277
DRESDEN/grid_game/U7_Yeg96.0582776540460260382.23333333333628.6
BASE/mummymaze2p/vpjDdA97.4450144508670589909.26666666666922.6666666666666
DRESDEN/mummymaze2p/k-8edg97.673523509174390849.4930.1333333333333
STANFORD/tictactoe7/-bE9-A99.07933352145918257480.766666666662598.733333333333
DRESDEN/aipsrovers01/qS47Mw99.9337056454676787681.83333333333877.4
BASE/pacman2p/4LEdQg100.0023186485591320127.133333333335201.26666666666668
DRESDEN/quartosuicide/WIU1oQ100.6813675424413824901.1247.32580225932222
DRESDEN/quarto/OQzRYQ102.029481056182726210.5256.89143695210157
BASE/aipsrovers01/4C4jsw102.1520388767805787486.9856.4381187293757
BASE/4pffa/Q3ADlg102.6426442093502432662.133333333335318.2121191920539
BASE/tictactoe-init1/7M19vA102.6730276526195271169.733333333342641.1
BASE/numbertictactoe/rvJ-iQ103.28341865274434101551.7983.2333333333333
DRESDEN/skirmish3/3LU8Nw103.634111696522656554.463.24558480506498
BASE/4pttc/AL1k2Q103.806331323389443612.5420.1333333333333
DRESDEN/pacman3p/rBnk8Q104.4236602060975121727.666666666668208.07225703239567
DRESDEN/skirmish2/iPpWhQ105.409185244315447261.96666666666668.8931106889311
BASE/connect5/d-BVQg108.2791984113941321961.166666666668202.8198120125325
DRESDEN/connect5/1kYzSg108.6369119797679921949.666666666668202.04612103439084
STANFORD/knightstourmedium/x1wu8Q109.04365065761658318091.233333333342917.1
DRESDEN/javastrike/whONTQ109.14417773567037679.670.36197586827545
BASE/skirmishNew/sibw2g109.270151080914135895.76666666666653.95587549156836
BASE/crissrace/ERWGDA109.5475622610141427786.233333333334253.64538251548038
DRESDEN/stratego/Z2wovg110.6728879978740839331.833333333336355.38815372820903
BASE/knightsTour/mvtVIg110.80733449372786307693.52776.8333333333335
DRESDEN/oisters_farm/pTQMLg113.12299274465306877291.43333333337755.2
BASE/speedChess/bPnisA113.216125485714296601.63333333333358.31000932960149
BASE/quartoSuicide/-23jUg115.0703839122486329373.633333333335255.26666666666668
DRESDEN/mimikry/GJEhwA115.8497842015094627798.233333333334239.9506699553363
BASE/duplicateStateSmall/bCPAXw116.43088847502193708520.76666666676085.333333333333
BASE/catcha_mouse/cHv4dw117.23424692238560819.1518.7827072430919
BASE/skirmishZeroSum/zh4hcw118.69664582299426374.56666666666753.704690831556505
BASE/quarto/EwBMVQ119.2951844181727729262.133333333335245.2918236058798
STANFORD/knightstour/cEwgNA119.49647752649568322843.633333333362701.7
DRESDEN/crissrace/KWb9bw119.8199704447232828648.0239.0920302656578
BASE/blocker/dIWtxg123.37627214261536364494.633333333362954.3333333333335
STANFORD/knightstourbig/TQUI2g125.9172370161615145954.866666666671159.1333333333334
DRESDEN/mummymaze2p-comp2007/oTQRQg126.5041604754829285137.3673.0
BASE/3pffa/pR0dzA127.2670591029023741800.2328.44477034864343
DRESDEN/blocker/S815zQ127.57092842633529355880.366666666642789.6666666666665
BASE/3pttc/0sol9g128.13796040270840797.76666666667318.38938702043265
DRESDEN/lightson2x2/gBHuig129.14553065943707539871.36666666674180.333333333333
BASE/chineseCheckers3/-1rZdQ129.54545454545456113715.0877.8
BASE/ttcc4/Le0qjQ129.7835317460317718530.0142.77620396600565
BASE/rubiksCube/9tNO9Q131.8946291560102425785.4195.5
BASE/tttcc4/8Bs2lg132.830666201442219034.0143.29522349255024
BASE/solitaireChineseCheckers/-ET6gw133.3364904425693351619.0387.1333333333333
BASE/gt_tinfoil/Q8DyKg133.4175472336373588737.5665.1111629612346
BASE/knightsTourLarge/M8jgLA134.1363242252335180489.366666666671345.5666666666666
BASE/escortLatch/mX9BjQ134.443284598963134285.23333333333255.01633224451703
DRESDEN/knightthrough/J7Fc_Q135.9116231673448323377.433333333334172.0046658890185
STANFORD/tictactoe5/WFRReg136.2973462562705293439.12152.9333333333334
DRESDEN/brawl/2kXtfQ136.734278174603164593.233.59216182890659
DRESDEN/tttcc4/sAvtFg136.745320974507918833.133333333335137.72415172321845
DRESDEN/breakthroughsuicide/Y9QzqQ137.0491281350086324720.366666666665180.3759498733502
BASE/knightThrough/gcwFjA137.2434423106497523795.633333333335173.3826617338266
BASE/tictactoe_3player/GtM71g137.424229655172473710.9536.3748458692971
DRESDEN/catcha_mouse/cHv4dw137.630511119781570549.4512.6
BASE/chineseCheckers2/eCMR3Q138.22788703513842148304.71072.9
STANFORD/untwistycomplex/HTWEwg138.30523948851322850853.83333333346152.0
DRESDEN/twisty-passages/j7NPyg138.4635477582846153902.233333333341111.5
BASE/lightsOn/MsXu3A139.25029852871901847393.76666666676085.4
BASE/twisty-passages/DiZmmg139.6708853001563151929.333333333341087.7666666666667
BASE/mummyMaze2p_2007/YGA3Vw140.232724591515494496.53333333334673.8550763282448
BASE/brawl/6Ymo_Q141.033224720244144617.03333333333432.73720318380125
BASE/factoringMutuallyAssuredDestruction/NH0LGg141.70727570302037476207.33360.5
DRESDEN/breakthroughsuicide_v2/LU1nAw141.8787492907801525338.7178.5940468651045
BASE/choicethroughalt/tt71Lg147.1730516611792716388.533333333333111.35553111355532
DRESDEN/bidding-tictactoe/yW5vTA147.335392977874567696.1459.46936870875277
BASE/hanoi_6_disks/MeubgQ148.28773810155462186318.61256.4666666666667
BASE/doubletictactoe/HH1htg148.5459222658040897203.5654.3666666666667
BASE/breakthroughWalls/vOZaYA149.6309727254668225105.566666666666167.78322167783222
DRESDEN/breakthrough/z4hK7Q150.616313552828125768.733333333334171.0885940937271
BASE/breakthroughSuicide/wZDpIg151.1057007177497825962.4171.8161517181615
BASE/breakthrough/TGxk-g152.9948775244086225941.966666666667169.56101463284557
DRESDEN/hanoi_6_disks/MeubgQ155.19479825896553193729.666666666661248.3
BASE/breakthroughHoles/nZk0Sg155.750207966301227934.533333333333179.35470968602093
BASE/biddingTicTacToe/8mESVw159.5521046690966871485.76666666666448.04026129849353
DRESDEN/bunk_t/7-tPfA161.67751740366705109929.93333333333679.9333333333333
BASE/checkersTorus/2vm1EQ162.3652800096239726242.766666666666161.62794573514216
DRESDEN/doubletictactoe/lJzgmQ164.12436289500508107337.33333333333654.0
BASE/pacman3p/wW7UVQ164.3840631606737234590.73333333333210.4263191226959
DRESDEN/doubletoetictac/V89gKQ165.9866766094954111294.06666666667670.5
BASE/breakthroughSuicideSmall/XSbJog167.6734457313360245887.63333333333273.6726327367263
DRESDEN/hanoi/RQ0jiA167.73900801386182232335.31385.1
DRESDEN/tictactoe_3player/ESLQQQ168.0643797442377886443.83333333333514.3495216826105
BASE/doubletoetictac/fu35bg169.47576431638302109204.53333333334644.3666666666667
BASE/checkersBarrelNoKings/rnKNeg169.5784582779255334005.0200.5266491116963
DRESDEN/firefighter/WJmoPw169.5840363513655971592.16666666665729.266666666666
BASE/breakthroughSmall/HJ0tIA170.0461418558736345933.6270.12432918902704
BASE/double_tictactoe_dengji/zgaSbA170.4072883787661498978.23333333334580.8333333333334
BASE/blockerParallel/7-nDJA171.379028940039833502.36666666667195.48696753549763
DRESDEN/blockerparallel/dVQgSg173.2319986301369933718.0194.64071457139048
BASE/chineseCheckers6/rREH3A176.109357524543394476.8536.4666666666667
BASE/checkersTorusNoKings/pwb6oQ177.578083206058330999.966666666667174.5709048491918
BASE/2pffa_zerosum/o0_uZA178.7707129618948751655.333333333336288.9474035064329
BASE/firefighter/WJmoPw183.981803553388521013782.66666666665510.233333333334
BASE/bunk_t/xbpfIA187.6830917874396123026.26666666666655.5
BASE/tictactoe2/bhrDoQ189.16594597982078402469.46666666672127.6
STANFORD/multipletictactoe/_bkafQ192.24600179042484223.76666666666438.1041263915739
DRESDEN/double_tictactoe_dengji/bGaUyQ196.213775416743107113.1545.9
BASE/amazonsSuicide_10x10/XIbQkg197.8539909825870514136.66666666666671.4499950011664
DRESDEN/hanoi7_bugfix/3gdnFw198.55286463039943183098.83333333334922.1666666666666
BASE/factoringEasyTurtleBrain/lUj94Q200.0319096268959592601.22962.5333333333333
STANFORD/checkersonabarrelnokings/Zrevdw201.12928907125733488.03333333333166.500033326668
BASE/2pffa/6oHijA202.6861278136035858666.96666666667289.4473701753216
BASE/amazonsTorus_10x10/Uxc08g202.738423299565859328.646.01298485100716
BASE/hanoi/iGLsJg203.03593403888752274978.33333333331354.3333333333333
DRESDEN/chomp/-LcqYQ206.811420716909470056.03333333334338.7435427428762
STANFORD/pilgrimage/ObRZnQ207.379242538148351488.833333333336248.28344777014865
BASE/wargame02/BkVqqQ207.993407078957635936.53333333333428.54193032704989
BASE/amazons_10x10/Bun8dA209.8839478737997415298.572.89028129582722
BASE/ttcc4_2player_small/Cv72TA212.2243521212806762524.2294.6136924205053
BASE/hanoi7_bugfix/3gdnFw212.9712683441972194946.8915.3666666666667
BASE/2pttc/unkkYA213.450372786579761075.26666666667286.1333333333333
STANFORD/freeforall/Lfp40Q220.3003826681224460527.166666666664274.74835010999266
DRESDEN/lightsout/XgLpzQ224.35588015967014170488.03333333333759.9
BASE/withConviction/3Xm54A225.1660839160839111622.33333333333495.73333333333335
DRESDEN/lightsout2/LFtfyQ228.7292776334903173201.43333333332757.2333333333333
STANFORD/tictactoe3/X7myng231.86577103924768402712.21736.8333333333333
STANFORD/ttcc4/Cx9SGw233.09484443821827722.2118.93098737045553
BASE/lightsOut/5P1ZBw234.1356492969396179277.66666666666765.7
DRESDEN/hanoi7/51zz5Q234.60098154272913219891.5937.3
BASE/lightsOnParallel/SC6enA236.52573248017634515042.66666666672177.5333333333333
BASE/amazons_8x8/7SOsIw240.1456238827838721851.06666666666690.99090090990902
BASE/ttcc4_2player_alt/ZEJvYA242.195610483699137887.46666666667156.43333333333334
BASE/chomp/-LcqYQ242.5413111133420380531.8332.03333333333336
BASE/dotsAndBoxes/EHwA_w248.138001558239284929.36666666667342.26666666666665
BASE/chineseCheckers1/gqtwHw250.12609257265876387278.566666666651548.3333333333333
DRESDEN/brain_teaser_extended/ZDp94A256.3708537817374212934.53333333333830.5723142561915
BASE/dotsAndBoxesSuicide/jzQbLw259.6106327217425588189.56666666667339.69936339699365
BASE/mineClearingSmall/frsbvw261.6369168356997638696.1147.9
BASE/brain_teaser_extended/ZDp94A261.83862063282794211844.9809.0666666666667
BASE/nineBoardTicTacToePie/B8LzeQ266.8892328698263445423.03333333333170.19432685577146
BASE/factoringGeorgeForman/HGRorQ282.6113038176926896216.96666666673171.2
BASE/englishDraughts/jFkQxg285.358875897435947596.26666666667166.7944146365848
BASE/ttcc4_2player/_aH_Mw287.809806371018130718.9106.73333333333333
STANFORD/chinook/osFbPA296.3792838987924417174.96666666666757.949281882102035
BASE/chineseCheckers4/avfBcQ296.5184396476624102111.06666666667344.3666666666667
BASE/lightsOnSimultaneous/_VN6lw300.53104162623544111493.3370.9876337455418
BASE/pawnWhopping/Ypc_6Q306.6919182448903109039.2355.53333333333336
DRESDEN/capture_the_king/EQ229Q308.631697106690755678.718.39960073199135
BASE/chinook/XQh0IQ310.5275427031046418554.86666666666559.75272436431499
BASE/blocksWorldParallel/RseaAQ317.3144143017877484606.6266.6333333333333
STANFORD/sukoshi/4LYZZQ319.3891772361684284140.43333333335889.6370120995966
STANFORD/alquerquezero/uVgA_A320.907781967775131202.93333333333497.23333333333333
DRESDEN/pawn_whopping/4ogBkg322.2169257731959119807.0371.82093930202325
BASE/lightsOnSimul4/9FeASw324.7716274823099594854.96666666666292.06666666666666
BASE/stateSpaceMedium/3bUoIw328.08679542114305528318.16666666661610.3
DRESDEN/pawn_whopping_corrected/7Ov0jQ328.76973187311177116077.63333333333353.06666666666666
DRESDEN/ticblock/Z2yNWQ330.3587648850734159056.73333333334481.46666666666664
BASE/ticTacToeLargeSuicide/727_8g330.85567239996436247502.1748.0666666666667
BASE/ticblock/T21C1g336.227528545836158481.16666666666471.35095496816774
BASE/checkLines/Vop7oQ338.6033087310163125346.76666666666370.1876604113196
DRESDEN/statespacemedium/dVJZ_w340.40423708057796555948.21633.2
BASE/tpeg/QNs7Lw345.0012540042309338049.833333333336110.2889711028897
DRESDEN/tpeg/h-Scbg345.291394773588738460.333333333336111.38514864684709
BASE/ticTacToeLarge/TZC0dg350.6895800227015257464.6734.1666666666666
BASE/smallest_4player/ADDROA352.0571291473382370831.53333333334201.19329355688143
BASE/breakthroughSmallHoles/bxclRw356.5067064381768133138.93333333332373.4542181927269
DRESDEN/bidding-tictactoe_10coins/mu5VhQ367.8341421069692437814.26666666667102.80249258555767
DRESDEN/tictactoelargesuicide/6J4DeA369.2183508390473272800.4666666667738.8594473885945
BASE/ticTacToeNoVars/XT03NA371.7946849805912415046.81116.3333333333333
DRESDEN/tictactoelarge/IwXcbg374.5736715523891275149.3333333333734.5666666666667
DRESDEN/chinesecheckers6-simultaneous/gPPGUw379.412193202790937458.1333333333398.72675154989668
STANFORD/platformjumpers/HEQskA380.277846280312430840.53333333333381.1
STANFORD/nineboardtictactoe/y28P-A390.4938051296611568754.5176.07065489085153
BASE/ticTacHeavenFC/mrletw397.5221293499568656285.73333333333141.59144655763913
BASE/nineBoardTicTacToe/wRmqqA401.391931250810968742.76666666666171.26095796806774
BASE/biddingTicTacToe_10coins/a-9ccQ405.673727412507239272.2666666666796.80751799520128
BASE/peg/fJHVWw406.2310877046441540516.16666666666499.73674564297377
BASE/duplicateStateMedium/U163eQ408.0939845110164453174.766666666661110.4666666666667
DRESDEN/smallest_4player/ADDROA409.6333024290604582440.03333333334201.25324978334777
DRESDEN/peg/Vo31eg415.053365887687539665.2666666666795.56666666666666
DRESDEN/towerworld/HCX34w416.161772649572643232.77.7678927101314565
BASE/connectFourLarger/qKi60A416.4688454197010472435.4173.92753574880837
DRESDEN/peg_bugfixed/u_B7MA416.835139788651540315.1333333333396.71721379770038
BASE/skirmishFinal3/-Olhfw419.744519626168265976.814.239137667176792
BASE/wargame03/klXI8w423.5949899578879514524.46666666666734.28857047650783
BASE/skirmishFinal2/gdB62Q425.76670607734815136.912.065057992267697
BASE/checkersTiny/Lr48cg426.182093324621643477.53333333333102.01633061156474
BASE/kitten_escapes_from_fire/uW-YiA426.69081404032863418981.93333333335981.9333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA427.82445593766795424630.0333333333992.5333333333333
BASE/qyshinsu/R08Lzw438.2488474004753732773.3666666666774.78255073816109
BASE/connectFourSuicide/c8p9Kw444.92905923667706252963.4568.5477150761641
DRESDEN/connectfour/5tc-Mg453.17365806953507252432.83333333334557.0333333333333
STANFORD/connectfour/VMpZkQ458.3156710822294244496.13333333333533.4666666666667
DRESDEN/skirmishfinal/hzq8ww461.11378047337285192.111.259910720234526
DRESDEN/connectfoursuicide/M9CNQg461.2485186476125264664.4573.8
BASE/connectFourLarge/aU644A461.31213153517643159618.73333333334346.01026598226787
BASE/dualConnect4/WbCQkg461.8786225877193177848.13333333333385.0538315389487
BASE/blockerSerial/3eqDuw468.9625797305101381200.56666666667173.1493517314935
BASE/pegEuro/5awwhg473.979439322033937275.278.6430737445433
BASE/connectFour/WAIKTw477.1807706597732270655.26666666666567.1965077143524
BASE/connectFour_9x6/B9TtMw484.42177391304347232118.76666666666479.1666666666667
BASE/skirmishFinal1/ecWTnQ488.232328662420345105.410.456906886905555
BASE/checkers/rOC3Xg494.6828327880770615115.76666666666630.55648117294235
BASE/factoringMediumTurtleBrain/8RBqmQ500.26548082446595352592.0333333333704.809839672011
BASE/ticTacHeaven/18n58A500.318274372350851147.5102.22992566914436
STANFORD/duikoshi/tpw1sw504.919388250319383449.26666666666165.2724545909015
BASE/strangeSkirmish/gc1zKA515.54767522935783744.06666666666667.262309281098008
BASE/skirmishHoles/AUCxCA516.25106638418084045.66666666666657.836626265980408
BASE/checkersSmall/SYmq8w516.386070426758924871.76666666666648.16506116462784
DRESDEN/backgammon/mqCW0Q517.166071410006526527.96666666666751.294870512948705
BASE/snake2p/I3wWPQ517.411786895674481329.0157.1842815718428
BASE/wallmaze/uxNQ9g518.7778646484545131661.43333333332253.7915402819906
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw531.8673770969488425901.6666666667800.7666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg532.0985462754325143239.56666666668269.1974403412878
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ534.0304141767978431941.6808.8333333333334
BASE/tictactoe_3d_small_2player/oOryKA537.4674194289951144945.3269.68202119858677
STANFORD/pentago/ZxzLmg541.785816231068289807.13333333333165.76132235811644
BASE/stateSpaceLarge/0Ge_CQ580.2339792583565285639.6666666667492.28359054698177
BASE/skirmish/Y_psYQ584.73390670391063471.95.937572561117192
BASE/minichess-evilconjuncts/4OpQzw590.01462798534844727.8666666666775.80806397867377
BASE/duplicateStateLarge/dcjyuw594.8079150513876197410.16666666666331.88893703543215
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg598.1666520403686454407.26666666666759.6666666666666
DRESDEN/connect4/T0-rHQ619.286842105263170598.7114.0
BASE/connectFourSimultaneous/7ITr3g620.7911058715596135305.4217.95640871825634
DRESDEN/minichess-evilconjuncts/th24Tw626.80430312217246169.9666666666773.65930073659301
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg629.2808036482534487566.76666666666774.8
BASE/wargame01/_GZFZg629.356426006191920305.232.26343477392289
BASE/ticTacToeSerial/Amrwqw630.1303583085621120103.83333333333190.60156640559907
BASE/checkers-newgoals/0XkFiA671.097115632754418022.93333333333426.855924296947887
BASE/connect4/50bOyw678.473385189620875526.63333333333111.31849086788428
BASE/futoshiki4/BaCwSw685.5883921681781138598.5202.1599280023999
BASE/3pConnectFour/PqXOFQ697.1532578770266227899.4326.9
DRESDEN/sat_test_20v_91c/dK7nVw719.0267920629938305384.4666666667424.7191760274658
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA732.1487226981554316215.0333333333431.9
DRESDEN/uf20-020.cnf.SAT/hDrW_A732.3508283015947315350.26666666666430.6
DRESDEN/pawn_whopping_simultaneous/r8dLfw735.495596720315880732.9109.76666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA778.3759491709283334857.3333333333430.2
DRESDEN/uf20-010.cnf.SAT/5ICbCg817.3988835132118366058.4666666667447.8333333333333
DRESDEN/statespacelarge/8-y5HQ828.3616845582164401258.4484.4
DRESDEN/cubicup/SBn_lw832.591576739082884302.53333333334101.25316624450073
BASE/cubicup/4wNWJA833.823512031999986830.56666666667104.13542603885502
BASE/majorities/ibJzSQ876.1722241830066107200.6122.35105957616953
STANFORD/skirmish/w4V6Vw877.91387427536235373.4333333333336.120683919898876
BASE/coins_atomic/AA3SSw879.389144379161874828.5333333333485.09149085091491
DRESDEN/coins/QwFP9w891.248737156323675607.0666666666784.83273357323738
STANFORD/madness/UO_B3A901.73188479262686503.6666666666677.2124173230963535
BASE/coins/QnGtnQ910.87725225080475534.5333333333482.9250408292504
DRESDEN/tictactoe_3d_2player/LMuX9w960.582143650432370290.473.17479349853451
BASE/conn4/va9Y7A1019.5897072463767178212.4174.78834744350377
DRESDEN/ggp-course2013_jordi/9QI6Kw1063.86573204419944899.16666666666442.203790679857434
BASE/amazons/RKKZjw1106.1059555555555204.733333333333320.18509378084896347
BASE/tictactoe_3d_2player/IUC1rQ1129.319524478694382992.8333333333373.48923978945966
DRESDEN/pentago_2008/hLjVpQ1136.798553215871688154.1666666666777.54598773660358
DRESDEN/babel/WdSW4A1142.175635826086865661.9666666666657.488502299540094
BASE/pentagoSuicide/SBgNhw1159.009774278215288293.076.17968541722207
BASE/futoshiki5/TJ4BZg1163.343919719142687412.6333333333375.13911565759221
BASE/cubicup_3player/e2yA_g1192.133367043618849175.741.25016660002665
BASE/pentago/86NgKw1241.6272624592832101617.481.84211403245693
BASE/slidingpieces/uFJWEw1259.665436872988773910.3333333333358.674574351114515
BASE/four_way_battle/xSOQXA1267.975491796469227132.86666666666521.398573428438105
DRESDEN/cubicup_3player/awDtsQ1304.486307521509852205.5333333333340.019993335554815
DRESDEN/slidingpieces/s9_44g1304.643759227711676536.6666666666758.6648011193284
BASE/tictactoe_3d_small_6player/g_9lww1357.4680050788763117586.386.62178376216505
DRESDEN/knightmove/97Ipcw1465.9760813391626212349.83333333334144.8521814485218
DRESDEN/Goldrush/VeWczQ1490.847725533890353500.0333333333335.88564574170332
DRESDEN/tictactoe_3d_small_6player/llDEDQ1496.608461855258124763.183.36388787040433
BASE/knightmove/jBaJEw1518.4053251376743208318.26666666666137.19542681910602
DRESDEN/four_way_battle/xSOQXA1552.625621585160230624.919.724587546567324
BASE/futoshiki6/JmvXNA1626.979960300618861335.137.69874337522083
STANFORD/triplesukoshi/Iu9mbA1856.920336839826995318.7333333333451.33162227925736
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1886.918055944.90.5007636645884974
BASE/cittaceot/fDxhXg2020.449311483253742209.120.890947256188984
BASE/checkers-mustjump-torus/uSApKQ2466.26793181818185415.52.1958279269388163
BASE/checkers-mustjump/T-8UuQ3038.65935571776113852.5333333333334.558764807666711
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw3081.2501978021989336.53.0301012253596165
BASE/tictactoe_3d_6player/d7KSwg3146.86975345662779403.3666666666725.232492250258325
BASE/checkers-cylinder-mustjump/rjr6qQ3199.57069444444469595.8333333333342.9991002699190243
DRESDEN/gt_ultimatum/pAiiQw3504.84141452991554639.115.58960692871419
BASE/othelloSuicide/B442jg3523.59181445709373094.89196455242470.878334417696812
DRESDEN/nim3/sG_axA3600.032607692307593498.025.971431425432026
BASE/nim3/1OwUqw3627.430176693766589139.724.573787959509858
BASE/chess_200/XsTpYA3732.76779166666673405.03333333333330.9122006841505131
BASE/othello-comp2007/86ZoMw3828.97145523631753175.98826744883670.8294625082946251
DRESDEN/nim4/F5YAYg3963.011841655886102004.825.739211507725095
BASE/nim4/twk16w3986.481247314578103851.9666666666626.05103604503964
BASE/gt_ultimatum/GE-uOA4044.457347474747662009.7333333333315.332028009159393
BASE/sudokuGrade1/tDRNRw4131.31376282051210586.52.562502053286902
DRESDEN/tictactoe_3d_6player/ulZPWg4184.98652115655898888.723.62939510081653
DRESDEN/satlike_20v_91c_version2/yd9ioQ4309.2544808333331000.36666666666670.23214378986344142
STANFORD/duidoku/3SoMaA4334.886710303037882.1333333333331.818302036498281
BASE/othelloHoles/c0qAzw4345.2754747255564020.06599780007350.9251579148854718
BASE/sudokuGrade2/u80Tfw4533.93336338028210674.82.354423663615864
BASE/hidato19/rRHSmA4620.030388279418109370.7666666666623.673170406872213
BASE/sudokuGrade4/DTy07w5032.67297741935510381.1333333333332.062747446518282
DRESDEN/Zhadu/9zpQ5w5069.62859999999926243.15.1765330501725515
BASE/sudokuGrade3/eI8dvg5080.87600215053810479.8666666666672.0626101999401176
BASE/guess/SPpk1A5095.62473817504630125.7333333333345.912078475410378
BASE/sudokuGrade5/BQfUQA5131.415267724868510656.2666666666662.076672050631242
STANFORD/sudoku/oJ1qyQ5211.1314781609210051.0666666666681.9287685810249078
DRESDEN/guess/PhxGhg5289.74435555555634200.9333333333346.4655172413793105
BASE/sudokuGrade6H/ieE_9A5605.2060235294129321.61.6630254018978055
BASE/sudokuGrade6E/ihYFZA5610.2202461538469432.61.6813243662700466
STANFORD/multiplesukoshi/vLSQPg5996.019000758725131655.521.95715190084297
BASE/colonelBlottoVariant/X-n-KQ6060.50046023965161765.6333333333310.191507077435471
DRESDEN/satlike_20v_91c/yeuENQ6086.514424999999945.50.15534342547787522
BASE/simultaneousWin2/PfjRjw6463.125363958737111362.6333333333317.230461589735043
BASE/nim2/eF2Qqw6688.371297831633174643.926.111573688592838
DRESDEN/pawntoqueen/f_x6Aw6915.290808722741524523.9333333333343.546334349728225
DRESDEN/nim2/z5_exA7223.069080540541178062.224.651875541341862
DRESDEN/othello-cornercontrol/r5Gdlg8223.4534385416688652.5666666666681.0521816328543714
BASE/nim1/hin2Qw8927.05377393617223547.9333333333225.041625041625043
DRESDEN/nim1/M9BALA8945.10697511737232630.5666666666826.00645999134228
DRESDEN/quad/JPe6fg10258.2616180180212257.9666666666671.194936054773285
DRESDEN/CephalopodMicro/H3XQfg10518.23057841726848490.44.610129017279692
DRESDEN/battle/8oAvhQ10674.92708188976644840.766666666674.200568895944962
BASE/copolymer_4_pie/IN5_jA10929.24476642335999598.09.112981009079721
BASE/pawnToQueen/-O1_JA11142.4898797507839435.266666666673.5391790427678367
BASE/battle/8oAvhQ11258.11993700787447414.44.211573536726911
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA11502.648381143.70.09942927595601249
BASE/colonelBlottoVariant2/jruwGw12009.61554222222247682.4333333333343.9703546850185285
BASE/racer4/0vs7Ww12176.4999999999989144.80.7510204081632653
BASE/cephalopodMicro/9l2D3g12480.1780645161351175.3333333333364.1005291005291005
DRESDEN/hitori/S8Gsyg13124.78092374100760484.866666666674.6084477156687225
BASE/hidato37/pBrqxw13622.29526217228340345.5666666666662.961730449251248
BASE/quad/tw-Ufg13700.0864812269.4666666666670.8955758552749418
BASE/copolymer_4/2LDVhQ14598.298021553886128905.433333333338.830168636303279
BASE/hitori/S8Gsyg14620.91965660633.54.147037356512508
BASE/battlebrushes/arCwyA16311.70835526315814837.70.9096349491322562
DRESDEN/grid_game2/kypTYQ17441.75566656504190512.3666666666710.922774651170535
STANFORD/selectivesukoshi/3xmXYg19036.032057837838117111.76.152106680855309
DRESDEN/racer/vk_ZBA24080.806752738.16666666666650.11370743078060151
BASE/racer/QQYQNw25145.8463166666662682.3666666666670.10667235585897915
BASE/quad_5x5/JAEP5g30899.76897822222272450.766666666662.344702535405008
DRESDEN/ggp-course2013_michal13/jWKddg39827.1146313725589316.133333333332.242596134819603
BASE/zhadu/DlA8iQ40564.55978947368624878.20.6132989025177534
DRESDEN/quad_5x5/JAEP5g44247.1378846153974751.51.6894087069525665
BASE/quad_7x7/q-JOXg47133.2938333333334067.70.7227948065854638
DRESDEN/fizzbuzz/t1xHzQ48414.69460183485526509.210.874987528684027
BASE/ad_game_2x2/D0aWqg56641.27920000000413479.60.23798191337458352
DRESDEN/quad_5x5_8_2/JRTLJg57063.80286495726673308.133333333331.2846696093286778
BASE/blokbox_simple/JBx4bg67851.741616666673549.56666666666660.05231356752373728
DRESDEN/quad_7x7/q-JOXg70325.3662941176432337.00.4598198588082551
BASE/golden_rectangle/_nYzfw75977.2718885057572461.633333333330.9537277600552504
BASE/gt_attrition/kD_SCA97582.744388888889665.1666666666660.09904585823236159
DRESDEN/queens/mW2wHQ125340.8925200000120323.1333333333350.16214288030612575
BASE/queens08ug/kJ_ZFQ336036.22725142286.833333333340.4234270646881075
BASE/queens06ug/7Lq3tw696291.2564722223203569.133333333330.2923620416615909
BASE/colonelBlotto/jip21A1395715.06666666676431.8666666666670.004608294930875576
DRESDEN/golden_rectangle/1uloXwInfinity73475.40.0

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messagePALAMEDES_JAVA_PROVER_USEOPT_FALSE: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/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
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
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsException of type StackOverflowError

index