index

ALLOY_COMPILED_PROVER_CACHING:2 vs. PALAMEDES_JOCULAR:0.6.1

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondPALAMEDES_JOCULAR:0.6.1 states per second
BASE/coins/QnGtnQ0.01392722398245499543361.83113456.066666667
DRESDEN/coins/QwFP9w0.01473362245724000547815.5666666666663245336.7666666666
BASE/blocksWorldParallel/RseaAQ0.01500442385214890548196.23212132.6666666665
BASE/coins_atomic/AA3SSw0.0157853869661397147407.0666666666663003224.8666666667
BASE/minichess/8NQEiA0.0284495627067293882243.033333333342890836.466666667
BASE/blocksWorldSerial/Wyg96Q0.038184586236180554184912.24842587.5
STANFORD/tictactoe3/X7myng0.03828792200600292153563.533333333334010756.533333333
DRESDEN/tictactoe-init1/3ltIBQ0.03871483835596504143451.533333333333705337.2666666666
BASE/tictactoe-init1/7M19vA0.040090326947681984149011.633333333333716897.433333333
STANFORD/tictactoe5/WFRReg0.04157007183423967154450.833333333343715433.4
DRESDEN/blocksworldparallel/2JfVaw0.04838201599131049160414.033333333333315571.5
STANFORD/threepuzzle/41ibjA0.06274654502043248336593.46666666675364334.666666667
STANFORD/3puzzle/41ibjA0.06358714780219744336006.15284182.6
BASE/gt_dollar/TGjqRw0.06662732684002642248697.23732660.6333333333
STANFORD/tictactoe7/-bE9-A0.06911751529136424149442.933333333322162157.2
BASE/hodgepodge/9yjRkw0.06937292808924816195328.333333333342815627.6333333333
BASE/blocksWorld/SEdXLQ0.07243667255330254328146.133333333364530110.533333333
DRESDEN/blocks/vg0DRw0.07281118091123737326892.866666666644489597.1
BASE/blocks/xIV5hQ0.07478581923464087334031.133333333364466503.633333334
STANFORD/sukoshi/4LYZZQ0.08056156390886242134604.033333333331670822.0
DRESDEN/2player_normal_form_2010/NG_Kdg0.09223857651857229189470.033333333332054130.0666666667
BASE/gt_centipede/9fRMpw0.09469396984765523378842.733333333344000706.0
BASE/switches/tPUoCg0.09608558793994314220003.833333333342289665.2666666666
BASE/maze/cCX3qQ0.0999454720291285656680.66666666666570389.366666666
BASE/pearls/6k_mEQ0.10871110748832734719649.33333333346619832.6
BASE/duplicateStateSmall/bCPAXw0.11652989673294092457625.233333333343927105.8
BASE/troublemaker01/s3tlEQ0.11714827359971108540830.93333333334616635.966666667
DRESDEN/troublemaker01/C-lPWw0.11828151130346565561519.46666666674747313.933333334
BASE/stateSpaceSmall/Q7osKA0.11868750542591963467378.16666666673937888.533333333
DRESDEN/troublemaker02/iZLVuA0.1223480385233881525648.43333333334296337.233333333
BASE/troublemaker02/DI83KA0.1223697947400577517468.34228725.733333333
DRESDEN/statespacesmall/h-NqjA0.1244189050472621480628.66666666673862987.433333333
BASE/snake2p/I3wWPQ0.1291553695955115894606.7732503.0333333333
BASE/onestep/xi53wA0.13361029201081628368475.32757836.2
BASE/haystack/UkweGA0.1375599010245966666166.63333333334842738.533333333
DRESDEN/buttons/ADUaHw0.15273913738986802612228.54008327.6
BASE/buttons/hTcUjw0.15432979229092086627658.94066997.6333333333
STANFORD/buttonsandlights/eyhJpA0.17744836310177362717704.73333333334044583.566666667
BASE/survival/YVIjJA0.18295863032312196497183.92717466.2333333334
STANFORD/knightstourmedium/x1wu8Q2.117552839962079344129.3162512.73333333334
BASE/tron_10x10/7ZTgDg4.620326734012807109281.223652.266666666666
BASE/kitten_escapes_from_fire/uW-YiA4.6371276746060985111581.9666666666624062.733333333334
DRESDEN/kitten_escapes_from_fire/uW-YiA4.748937169802076109843.2333333333423130.066666666666
STANFORD/knightstour/cEwgNA4.797287464696832332077.033333333369221.83333333333
BASE/knightsTour/mvtVIg5.016628785354626348806.3666666666469530.03333333334
DRESDEN/knightstour/cGISAA5.213818148853593348919.833333333366922.13333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg5.50637217655591621257.5333333333333860.5333333333333
DRESDEN/uf20-01.cnf.SAT/42Rs8A5.81372787900118321474.1666666666683693.7
DRESDEN/sat_test_20v_91c_version2/a1mPBA5.88994493907035820574.1666666666683493.1
DRESDEN/uf20-020.cnf.SAT/hDrW_A6.00594881771924521403.63563.733333333333
DRESDEN/sat_test_20v_91c/dK7nVw6.09339270899884621300.2666666666663495.633333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA6.14424755458898521000.8333333333323417.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ6.53761161759323225600.6333333333353915.9
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg6.86417019392091626866.1333333333353913.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg6.97810458858809528311.3333333333324057.1666666666665
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6.982919924255206524829.8666666666653555.8
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw7.18601675102335529199.94063.4333333333334
BASE/ticTacToeNoVars/XT03NA8.094787968928834139328.317212.1
STANFORD/rainbow/_4qNSQ8.594452563256887235829.227439.7
BASE/tictactoe_orthogonal/WRzlVw9.593349534043787143433.3666666666714951.333333333334
BASE/untwistycomplex2/EDPPAQ9.657030486921707606732.233333333362828.03333333333
BASE/ticTacToe/JRFsaQ9.791228286402141138349.2333333333414129.916011198507
BASE/circlesolitaire/azuQFQ9.811467374207126268218.727337.266666666666
STANFORD/untwistycorridor/EDPPAQ9.833269634839771619164.833333333462966.32313829787
BASE/ticTicToe/c1OobQ9.84643009976757278231.27945.133333333333
DRESDEN/eotcatcit/mQUxzA9.93485426241947137043.3666666666713794.2
DRESDEN/tictactoe_orthogonal/y69QFQ9.991757455809177142031.514214.866666666667
BASE/eotcatcit/AfZSzA10.003521951772937135199.9333333333213515.233333333334
DRESDEN/circlesolitaire/ruUilQ10.033733042395404269769.626886.264450144918
DRESDEN/tictactoe/BTTzPw10.191283766185787147117.014435.570961935871
STANFORD/tictictoe/rpt_Dw10.32930407346698881902.67929.1498650314925
BASE/eotcitcit/V_9_bg10.37054788478583282294.17935.366666666667
STANFORD/trifecta/ss1kyQ10.420774435405015141027.4666666666713533.3
DRESDEN/sum15/CsgWKg10.534932400256734169608.916099.666666666666
STANFORD/tictactoe/ss1kyQ10.545568757772942138779.3333333333413159.966666666667
BASE/sum15/QZ07Kg10.57846176326309168922.1666666666615968.5
BASE/hanoi_6_disks/MeubgQ10.641820444285722254281.3333333333423894.533333333333
DRESDEN/tictictoe/LAUtwg10.79660113491370685745.166666666677941.866666666667
DRESDEN/hanoi_6_disks/MeubgQ11.36940855629143254584.9333333333222392.1
STANFORD/dualrainbow/G3OnRQ11.512346834880102131159.411392.933333333332
DRESDEN/toetictac/mJtxCA11.796648138978359246970.320935.633333333335
BASE/toetictac/mTThmg12.518832935104346257428.120563.266666666666
STANFORD/multiplebuttonsandlights/cK70Yg12.96513086419753350058.533333333327000.0
STANFORD/multiplebuttonsandlights_9/SqB9BA13.056427169411954353657.2666666666627086.833333333332
STANFORD/bestbuttonsandlights/nm0wEA13.063154097565905318824.033333333324406.359364063595
DRESDEN/latenttictactoe/kITHKg13.14697835037853682486.333333333336274.166666666667
BASE/numbertictactoe/rvJ-iQ13.17628730272094462727.033333333334760.6
BASE/chickentictactoe/DSlZCA13.19823992182475118527.733333333348980.57120005332
BASE/tictactoe2/bhrDoQ13.29191631117289184872.8333333333413908.666666666666
DRESDEN/chickentictactoe/Ipbo-g13.362591640760938122363.033333333349157.133333333333
BASE/eightPuzzle/vLrgFg13.374893026341113108880.18140.633333333333
DRESDEN/8puzzle/8fKC2w13.596697873206471106891.87861.6
STANFORD/8puzzle/jNiGtw13.656433192569326109413.066666666678011.833333333333
BASE/blocks2player/wnTLOQ13.685943529104106265125.719372.11705105986
BASE/roshambo2/KNPokQ13.892189084995538271170.719519.652255012992
DRESDEN/roshambo2/jgSlkQ14.046287133955438276963.333333333319717.903435407017
BASE/blocker/dIWtxg14.147312725330483141265.633333333339985.333333333334
BASE/duplicateStateLarge/dcjyuw14.14861852359136799856.233333333347057.666666666667
DRESDEN/blocks2player/3ev8nQ14.625936288755463279488.966666666719109.133333333335
DRESDEN/blocker/S815zQ14.739404297298695142623.09676.30693366208
DRESDEN/logistics/fPru1Q14.90686033833028577927.65227.633333333333
STANFORD/eightpuzzle/W_aWbA15.11610861831638112744.07458.533333333334
BASE/aipsrovers01/4C4jsw15.123372970684487197117.113033.937626354687
DRESDEN/statespacelarge/8-y5HQ15.45823166055468221723.614343.4
BASE/stateSpaceLarge/0Ge_CQ15.549875565506204224102.7333333333414411.866666666667
BASE/wallmaze/uxNQ9g15.6252179979072226878.51720.2
STANFORD/bestbuttonsandlightsbig/g0JC6g15.755050577965418274526.533333333317424.668488038915
BASE/snake_2008/i6K26g15.84301709555292585228.566666666675379.566666666667
DRESDEN/lightson2x2/gBHuig15.911449625472052204306.7666666666612840.23589777763
DRESDEN/snake_2008/E56l3A15.97816396100026389369.066666666675593.2
DRESDEN/aipsrovers01/qS47Mw16.08081430278182203630.8333333333412662.967776333766
BASE/snake_2008_tweaked/bX0NJQ16.19771418177408589049.633333333335497.666666666667
DRESDEN/connect5/1kYzSg16.33511247729495619485.0666666666661192.8333333333333
BASE/coloredtrails/EZvr7g16.37153570526836101584.833333333336204.966666666666
STANFORD/jointbuttonsandlights/qAKuIQ16.372984314835534242939.0666666666814837.8
BASE/knightsTourLarge/M8jgLA16.868497948356612325589.019301.6
DRESDEN/snake_2009/zIYLVw17.2485205895925584722.433333333334911.866666666667
BASE/quad/tw-Ufg17.25421777100418625.2558240801219261.463747845037895
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A17.272772434006672185439.3333333333410735.933333333332
BASE/snake_2009/7l-qAQ17.37789620018535885003.44891.466666666666
BASE/lightsOn/MsXu3A17.413474100001235376776.521637.066666666666
BASE/connect5/d-BVQg17.4212400384332820548.9333333333341179.5333333333333
BASE/lightsOnParallel/SC6enA17.473887570405914180142.9666666666710309.266666666666
STANFORD/multipletictactoe/_bkafQ17.85661726496081828635.4666666666671603.6333333333334
BASE/firefighter/WJmoPw18.529633190476968227421.612273.4
BASE/chickentoetictac/l57rfQ18.60343824810847238829.712837.933333333332
BASE/snakeAssemblit/UO4sdg18.66114811912225625399.0666666666661361.0666666666666
DRESDEN/firefighter/WJmoPw18.788247927053856227701.3666666666712119.350753232902
DRESDEN/chickentoetictac/cxYaRQ18.880208644047134242633.9666666666712851.233333333334
DRESDEN/chinesecheckers1/Y-ftaA19.45879178345814362016.466666666673187.0666666666666
BASE/kalaha5x2x3/WviNsw19.66161991337631104106.966666666665294.933333333333
STANFORD/knightstourbig/TQUI2g19.808086667160943302787.7333333333415286.066666666668
DRESDEN/chinesecheckers2/06E6-Q19.93957098854956248120.1666666666642413.3
BASE/factoringEasyTurtleBrain/lUj94Q19.980626399381002178179.98917.633333333333
BASE/duplicateStateMedium/U163eQ19.999173419261925349098.466666666717455.64475831973
BASE/incredible/8Qh-6Q20.125106582181132160499.066666666687975.066666666667
STANFORD/hunter/14dD-g20.37160040093552172754.566666666688480.166666666666
BASE/gt_coordination/IVMOzA20.442706216329558422468.966666666720666.0
BASE/tictactoe_3player/GtM71g20.46721797184656651810.033333333332531.366666666667
DRESDEN/tictactoelarge/IwXcbg20.555700781178757112710.333333333335483.166666666667
BASE/ticTacToeLargeSuicide/727_8g20.60390022454359112557.733333333345462.933333333333
DRESDEN/sheep_and_wolf/enAIzQ20.6160083978480526185.7666666666661270.1666666666667
DRESDEN/quad/JPe6fg20.8188172194167233.238967527060781.5965828979016339
DRESDEN/minichess/c7GMFw20.82731714093866459967.42879.266666666667
DRESDEN/oisters_farm/pTQMLg20.883884870777788370290.6333333333617730.92677078824
DRESDEN/tictactoelargesuicide/6J4DeA21.15744382066324116223.866666666675493.284900189956
BASE/ticTacToeLarge/TZC0dg21.318391719246364113413.133333333335319.966666666666
BASE/kalaha6x2x4/XS81Mg21.34489769494958796943.14541.745825417458
DRESDEN/tictactoe_3player/ESLQQQ21.35745761548493651859.466666666672428.1666666666665
BASE/sheepAndWolf/g4THrg21.38475093366997727103.0333333333331267.4
BASE/bomberman2p/4CClwA21.46862851683468486887.833333333334047.2
BASE/ghostMaze2p/W-NU-w21.482542051594912131461.76119.466666666666
BASE/breakthroughSmallHoles/bxclRw21.7095616050180952607.3333333333362423.233333333333
BASE/factoringMediumTurtleBrain/8RBqmQ22.07297664648461659545.533333333332697.6666666666665
BASE/beatMania/qUHwvQ22.201954052802222273214.812305.889803673212
DRESDEN/kalaha_2009/gcC8uA22.24376291953245498639.966666666664434.5
DRESDEN/chinesecheckers3/QsCb2A22.3584737549629547678.72132.4666666666667
DRESDEN/cube_2x2x2/fp-34Q22.59248730289352790598.133333333334010.1
BASE/kalaha_2009/dRiN3g22.630320536849606102630.766666666664535.1
DRESDEN/chinesecheckers6/yTbPDA23.04453401300061438878.4333333333341687.1
BASE/tictactoex9/BI26ow23.15942579371107320327.8877.7333333333333
DRESDEN/Runners/3bOCQw23.235405144951216331662.314274.005464116746
DRESDEN/tictactoex9/rFkD4w23.40204299435889420465.866666666665874.5333333333333
DRESDEN/statespacemedium/dVJZ_w23.72138068775486427573.9333333333518024.833333333332
STANFORD/connectfour/VMpZkQ23.99845576356552467342.866666666672806.133333333333
BASE/stateSpaceMedium/3bUoIw24.319883929844575437321.417982.05128205128
DRESDEN/snake_2009_big/DgC1NQ24.88481387023001269276.833333333332783.9
BASE/point_grab/V_osUg24.928075346565056403040.69593040716168.143361534874
BASE/ticTacToeParallel/ymRGPw24.9383298908232561978.42485.266666666667
BASE/snake_2009_big/-oRfVw25.06050488128935872303.733333333342885.1666666666665
DRESDEN/chinesecheckers6-simultaneous/gPPGUw25.20905263157894511974.3475.0
DRESDEN/point_grab/r5DPmQ25.21272421799761403646.033333333316009.61601147402
DRESDEN/quartosuicide/WIU1oQ25.6915731501495357845.4333333333342251.5333333333333
BASE/nineBoardTicTacToePie/B8LzeQ25.72572759818377430531.1333333333351186.793773540882
DRESDEN/Catch-Me-If-You-Can/ghGWrA25.790520491517142197012.066666666687638.933333333333
DRESDEN/tictactoeparallel/yk_DSg25.80844461294353661266.6666666666642373.9
DRESDEN/catch_me/ghGWrA25.838537083318666195745.866666666677575.733333333334
BASE/quarto/EwBMVQ25.8847081666274458658.22266.133333333333
STANFORD/nineboardtictactoe/y28P-A25.9857892253462531208.0666666666661200.9666666666667
BASE/chineseCheckers1/gqtwHw26.10736945435392145390.25568.933333333333
DRESDEN/quarto/OQzRYQ26.12032868569430459760.72287.9
DRESDEN/Thief_Police/CX18rA26.300294222457765191888.77296.066666666667
DRESDEN/pawn_whopping/4ogBkg26.30994205494726847977.9333333333341823.5666666666666
DRESDEN/stratego/Z2wovg26.3233499254759731201.0666666666661185.3
DRESDEN/bunk_t/7-tPfA26.40630386885395477103.766666666662919.9
BASE/doubletoetictac/fu35bg26.48436407004346276983.866666666672906.766666666667
BASE/connectFour/WAIKTw26.48651118538826770525.633333333332662.7
BASE/quartoSuicide/-23jUg26.4934106721565258768.5666666666662218.233333333333
BASE/nineBoardTicTacToe/wRmqqA26.55962453388195534425.71296.1666666666667
BASE/chineseCheckers2/eCMR3Q26.623246774727093107309.433333333334030.6666666666665
BASE/connectFourSuicide/c8p9Kw26.80818092626600471043.466666666662650.0666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA26.924500620697437198815.07384.166666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ27.2024791028008947621.5666666666661750.6333333333334
BASE/connectFour_9x6/B9TtMw27.3054883720930268491.266666666662508.3333333333335
DRESDEN/doubletoetictac/V89gKQ27.3457904027875579002.92889.0333333333333
BASE/pawnWhopping/Ypc_6Q27.39902932711348550.1666666666641771.9666666666667
BASE/bunk_t/xbpfIA27.5283583111709780392.92920.366666666667
STANFORD/dualhunter/1rPZjQ27.55978228434333576964.366666666672792.633333333333
BASE/doubletictactoe/HH1htg27.83713908069551581434.766666666662925.4
BASE/chineseCheckers3/-1rZdQ27.9408774638567592895.966666666663324.733333333333
BASE/brain_teaser_extended/ZDp94A27.959536766359342207226.766666666667411.666666666667
BASE/withConviction/3Xm54A27.97967404815616340516.4333333333341448.0666666666666
DRESDEN/chinesecheckers4/-oVNYg27.986614390296230455.9666666666671088.2333333333333
BASE/connectFourLarge/aU644A28.21047390502309757602.966666666672041.9
BASE/chineseCheckers6/rREH3A28.33738346799253860793.133333333332145.3333333333335
DRESDEN/doubletictactoe/lJzgmQ28.34910305810041581175.766666666662863.4333333333334
DRESDEN/mummymaze2p/k-8edg28.5010841349824462217.866666666672183.0
BASE/mummymaze2p/vpjDdA28.5700782219829263674.133333333332228.7
BASE/minichess-evilconjuncts/4OpQzw28.6197015399269712018.366666666667419.93333333333334
STANFORD/breakthrough/d5j0cQ28.91666833316668748199.266666666671666.8333333333333
BASE/factoringGeorgeForman/HGRorQ28.98700702345485349296.333333333312050.1
DRESDEN/brain_teaser_extended/ZDp94A29.33038725490196199446.633333333336800.0
DRESDEN/racetrackcorridor/O0DoTA29.40954721068201460643.466666666672062.0333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ29.4928530659850679231.566666666672686.4666666666667
BASE/3pConnectFour/PqXOFQ29.73997579204211351597.866666666671734.9666666666667
DRESDEN/minichess-evilconjuncts/th24Tw30.00835770290315512586.666666666666419.43870408639424
BASE/dualConnect4/WbCQkg30.15933161267354445182.71498.1333333333334
DRESDEN/knightfight/4_Ly4w30.288799431246364109349.633333333333610.233333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA30.644067842226466190432.233333333346214.3261891270295
DRESDEN/pancakes/hl9aiQ30.811709241280006679041.822038.433333333334
BASE/double_tictactoe_dengji/zgaSbA31.0401526526526582690.966666666662664.0
DRESDEN/pawn_whopping_simultaneous/r8dLfw31.3837228742434931286.433333333334996.9
DRESDEN/towerworld/HCX34w31.3876112919896681348.633333333333442.96705858841555
BASE/pancakes/yUgbXw31.586986891906637684756.166666666621678.426277566792
STANFORD/duikoshi/tpw1sw31.58986027190332355766.633333333331765.3333333333333
BASE/pancakes6/QZTdnw31.81042712627178683100.833333333421474.1169812577
DRESDEN/connect4/T0-rHQ31.91581822696796825705.0805.4
DRESDEN/pancakes6/SZXMyQ31.934257329155102693985.721731.7
BASE/knightfight/SJRkAg32.3624749793948109941.83397.2
DRESDEN/max_knights/hCipiA32.5882886678116633521.41028.6333333333334
DRESDEN/vacuum_cleaner_1/eUNjpw33.044016284885465209195.066666666686330.8002533080025
DRESDEN/pancakes88/aD3E7g33.17010123858933640218.319301.065601065602
BASE/max_knights/2fq3Ag33.1896782186287633934.233333333331022.4333333333333
BASE/blobwars/0XT15Q33.22380124837451412773.7384.47436837544166
DRESDEN/blobwars/ZaMluQ33.3224024924558912759.833333333334382.9205693143562
BASE/connectFourLarger/qKi60A33.9897046726988142699.01256.2333333333333
BASE/pancakes88/l2Xaig34.156063908834476646613.018931.133333333335
BASE/gt_staghunt/xPjLRA35.02274589148326400434.911433.566666666668
DRESDEN/crisscross/GsY16g35.29322504808719449541.11403.7
BASE/cubicup/4wNWJA35.442785034084422703.466666666667640.5666666666667
DRESDEN/gt_prisoner/huCp4w35.58226765070747401254.11584349811276.8
DRESDEN/cubicup/SBn_lw35.6394685914535322713.033333333333637.3
BASE/crisscross/ICagEg35.8647688453655252494.0666666666661463.6666666666667
BASE/cubicup_3player/e2yA_g35.96691759511751512309.866666666667342.2552581580614
BASE/connectFourSimultaneous/7ITr3g36.2523612351492544652.033333333331231.7
BASE/futoshiki4/BaCwSw36.2537406076445636990.91020.3333333333334
BASE/gt_prisoner/klthDw36.26171054078933417563.2666666666611515.266666666666
DRESDEN/grid_game/U7_Yeg36.3471283783783880332.02210.133333333333
BASE/checkLines/Vop7oQ36.55096011816839103104.166666666672820.8333333333335
BASE/connect4/50bOyw37.01658648339060426929.566666666666727.5
DRESDEN/3pttc/uwYBZw37.0409871485043977147.733333333342082.766666666667
DRESDEN/blockerparallel/dVQgSg38.6333197257240918999.233333333334491.7836072130929
BASE/blockerParallel/7-nDJA38.6647035617313618827.166666666668486.93420438637423
DRESDEN/cubicup_3player/awDtsQ39.10674643950214612776.2326.70066326700663
DRESDEN/3pffa/0YrmQw39.4632400669604777008.566666666671951.4
DRESDEN/frogs_and_toads/GjchhQ39.8410684937848757372.466666666671440.0333333333333
DRESDEN/lightsout2/LFtfyQ39.86968041690211105834.066666666672654.5
BASE/pacman3p/wW7UVQ40.0885303771788343032.266666666671073.4308856371454
BASE/chomp/-LcqYQ40.3724782963193977682.133333333331924.1358621379288
DRESDEN/chomp/-LcqYQ40.5291777188328977416.133333333331910.1333333333334
BASE/hex/T1MK8g40.6730690447663624893.8612.0462651244959
DRESDEN/ggp-course2013_nicolai/uEin8g40.871594527363185111.333333333333125.05832944470369
DRESDEN/lightsout/XgLpzQ41.17647211011073106103.533333333342576.8
DRESDEN/gt_chicken/CeuKtw41.356187183049315405851.79813.566666666668
BASE/lightsOut/5P1ZBw41.829978729061416104881.72507.3333333333335
BASE/rubiksCube/9tNO9Q42.0903616579216139841.333333333336946.5666666666667
BASE/hexPie/48CH6Q42.171470937129323700.366666666665562.0
BASE/gt_chicken/gmepTQ42.32769349909421408112.33333333339641.733333333334
BASE/pacman2p/4LEdQg42.46565997748195542745.9333333333341006.6
DRESDEN/vacuumcleaner_random/_6AGDA42.677856281233844123829.82901.5
STANFORD/hex/MTqWcw42.6886340866080325564.8598.8666666666667
BASE/tictactoe_3d_2player/IUC1rQ43.152324114007813406.533333333333310.6792880474635
DRESDEN/twisty-passages/j7NPyg43.431729142873664100143.433333333332305.766666666667
DRESDEN/endgame/IJhh3Q43.6103289517581921786.266666666666499.56666666666666
DRESDEN/4pttc/9pB9AQ43.9156204178885663894.31454.9333333333334
BASE/hallway/ckCJOw44.1340129162905921188.033333333333480.08399720009334
DRESDEN/hallway/0H4l-Q44.3425950903695721917.066666666666494.26666666666665
BASE/lightsOnSimultaneous/_VN6lw44.3714498193923141765.36666666667941.2666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg45.0346692029715637246.933333333334827.0724309189694
BASE/twisty-passages/DiZmmg45.58051977064562102016.82238.1666666666665
DRESDEN/tictactoe_3d_2player/LMuX9w46.0879500613086613781.833333333334299.03333333333336
BASE/tictactoe_3d_small_2player/oOryKA46.3659927057764737775.23333333333814.7185281471852
BASE/chineseCheckers4/avfBcQ46.49481399529802467240.81446.2
BASE/futoshiki5/TJ4BZg46.7934782608695616789.5358.8
BASE/conn4/va9Y7A46.81950509461426440742.333333333336870.2
BASE/futoshiki6/JmvXNA47.499231104390689423.533333333333198.39338688710376
DRESDEN/vacuumcleaner_random_big/DwzFaQ47.5620217160133460824.61278.8480767948804
BASE/escortLatch/mX9BjQ50.36077693393373549954.53333333333991.9333333333333
BASE/endgame/jYjfOA50.5262500153158127489.5544.0637290847277
DRESDEN/ticblock/Z2yNWQ50.6512167662596397478.266666666661924.5
BASE/dotsAndBoxesSuicide/jzQbLw50.7981582748658765644.766666666661292.2666666666667
BASE/ticblock/T21C1g51.67366106762817497930.21895.1666666666667
BASE/dotsAndBoxes/EHwA_w52.1526279428176665423.733333333331254.4666666666667
BASE/racetrackcorridor/_RkdUg52.16229560416224665501.9333333333341255.7333333333333
STANFORD/pentago/ZxzLmg52.41227269801033428946.333333333332552.2815906136462
BASE/crissrace/ERWGDA52.71982562547384546358.3879.3333333333334
DRESDEN/mimikry/GJEhwA52.9559225925559653543.733333333331011.1
DRESDEN/crissrace/KWb9bw53.41415756630265645651.3854.6666666666666
BASE/lightsOnSimul4/9FeASw53.4366694868859835790.1669.7666666666667
DRESDEN/pentago_2008/hLjVpQ56.7405192324788812764.3224.9591680277324
BASE/solitaireChineseCheckers/-ET6gw57.23502834491283489519.41564.0666666666666
STANFORD/triplesukoshi/Iu9mbA58.1824757181235846924.166666666664806.5
DRESDEN/tpeg/h-Scbg58.3582713754646925117.4430.4
BASE/tpeg/QNs7Lw60.0661577608142525179.733333333334419.2
DRESDEN/pawntoqueen/f_x6Aw61.1700397644927562249.033333333333336.76690978119692
BASE/pawnToQueen/-O1_JA62.065199117387462342.237.73773440362389
BASE/sudokuGrade1/tDRNRw63.286827536231896016.06666666666795.06032931137923
DRESDEN/four_way_battle/xSOQXA63.949002956521747353.4114.98850114988501
STANFORD/duidoku/3SoMaA65.854502325581414718.071.6427857380873
BASE/3pttc/0sol9g66.3117220262264566413.41001.5333333333333
BASE/peg/fJHVWw66.3830660194174822334.2336.44423705086325
BASE/sudokuGrade4/DTy07w66.507795152671755807.76666666666687.32460087324601
DRESDEN/crossers3/xiPTxg66.970729222841474511.633333333331112.6
BASE/four_way_battle/xSOQXA67.395607613469997671.866666666667113.83333333333333
BASE/4pffa/Q3ADlg67.4354747216904363402.833333333336940.2
BASE/sudokuGrade5/BQfUQA67.505066329966346014.189.0910908909109
DRESDEN/hanoi/RQ0jiA67.79150358881827340643.266666666665024.866666666667
STANFORD/platformjumpers/HEQskA68.249652863039430312.2444.137057529498
BASE/sudokuGrade2/u80Tfw68.289929822515875855.63333333333385.74665911287366
BASE/sudoku/NTaNkw68.3444796855127713134.933333333332192.18718752083194
DRESDEN/peg_bugfixed/u_B7MA68.9589954347096422824.666666666668330.98896703443216
BASE/crossers3/O0rORg68.9855157868618774141.033333333341074.7333333333333
DRESDEN/peg/Vo31eg69.7465585340850822678.5325.155828139062
DRESDEN/grid_game2/kypTYQ70.1013552596975714215.133333333333202.77972202779722
BASE/pegEuro/5awwhg70.9419481514533318547.1261.4405226144052
BASE/hanoi/iGLsJg71.31341671054341347636.266666666664874.766666666666
BASE/3pffa/pR0dzA71.5874732260070569072.36666666667964.8666666666667
BASE/ticTacHeavenFC/mrletw72.05955811719532506.066666666666451.1
BASE/slidingpieces/uFJWEw74.0051562026084316266.333333333334219.8
DRESDEN/slidingpieces/s9_44g74.5242264150943516457.433333333334220.83333333333334
STANFORD/sudoku/oJ1qyQ75.12880179046025967.33333333333379.42803813079128
BASE/sudokuGrade6E/ihYFZA77.060079883945855311.368.92414344754033
BASE/sudokuGrade3/eI8dvg77.668576374324395787.35459787354674.51346307651293
BASE/mummymaze1p/PT_EXA77.9338369018479489948.63675754951154.1666666666667
BASE/sudokuGrade6H/ieE_9A78.820764526143785359.63333333333367.99773340888638
BASE/4pttc/AL1k2Q78.9524625862947756801.03333333333719.4333333333333
BASE/qyshinsu/R08Lzw79.5763749852785222522.766666666666283.03333333333336
DRESDEN/mummymaze1p/AekgaQ80.1183777965263391796.966666666661145.7666666666667
BASE/englishDraughts/jFkQxg85.1254028225358551069.566666666666599.9333333333333
BASE/2pffa/6oHijA86.7362535698483471878.33333333333828.7
STANFORD/freeforall/Lfp40Q86.9269378720538771712.33333333333824.9725009166361
BASE/ticTacHeaven/18n58A87.0249933053646332498.033333333333373.43333333333334
DRESDEN/hanoi7/51zz5Q87.99121907980388317657.13610.1
BASE/2pttc/unkkYA89.9216101694915274982.63333333333833.8666666666667
BASE/2pffa_zerosum/o0_uZA91.0157872870793573025.0802.3333333333334
DRESDEN/hanoi7_bugfix/3gdnFw94.18726539829056316999.83365.633333333333
BASE/battle/8oAvhQ94.216536556603772662.328.25724758413862
BASE/hanoi7_bugfix/3gdnFw98.61957314309362333616.866666666643382.866666666667
DRESDEN/battle/8oAvhQ99.920045214521452688.13333333333326.90284344409669
BASE/knightmove/jBaJEw100.8167066799808553826.46666666667533.9042351137916
BASE/ticTacToeSerial/Amrwqw101.1776429809358997299.16666666667961.6666666666666
DRESDEN/knightmove/97Ipcw103.1496994857178255491.1537.9666666666667
BASE/checkersTorus/2vm1EQ107.0509225318660445067.5420.99123420991236
BASE/blockerSerial/3eqDuw107.8306754282288483932.6778.3740541981934
DRESDEN/battlesnakes1509/-qZrLw108.0929955290611160442.0559.1666666666666
BASE/checkersBarrelNoKings/rnKNeg109.7864918537300849069.26666666667446.9517682743909
DRESDEN/smallest_4player/ADDROA116.52449877073306112170.36666666667962.6333333333333
BASE/checkersTorusNoKings/pwb6oQ117.534700561447350242.166666666664427.46666666666664
DRESDEN/battlesnakes2011/93VtTw117.7699206833434964341.63333333333546.3333333333334
STANFORD/checkersonabarrelnokings/Zrevdw118.3498854941583344119.36666666667372.7875737475417
DRESDEN/brawl/2kXtfQ118.6707345963889516282.866666666667137.21046492251293
BASE/smallest_4player/ADDROA119.46199775217757113377.4949.0666666666667
BASE/breakthroughHoles/nZk0Sg121.7968265548057644520.8365.53333333333336
BASE/brawl/6Ymo_Q122.2404415817805416396.766666666666134.13536841403672
BASE/skirmishZeroSum/zh4hcw133.650304914349915859.533333333333118.66440067979606
BASE/skirmishNew/sibw2g136.6913174157303416218.0118.64689218463589
BASE/breakthroughSuicideSmall/XSbJog141.9615301801478665931.66666666667464.43333333333334
STANFORD/chinook/osFbPA143.254303060510736403.26666666667254.11639224051729
BASE/chinook/XQh0IQ144.4618719300361839918.3276.32412252924905
BASE/hidato19/rRHSmA144.5105874860690830255.7209.36666666666667
BASE/speedChess/bPnisA146.327485011820317192.333333333332117.49216718885408
BASE/nonogram_5x5_1/qLKEZw148.0112573215289458511.833333333336395.3201559948002
BASE/tictactoe_3d_small_6player/g_9lww151.0151082759778429986.566666666666198.56666666666666
BASE/breakthroughWalls/vOZaYA153.8397742861952850765.433333333334329.98900036665447
BASE/skirmishFinal3/-Olhfw154.6507484170471711285.36666666666772.97324314418047
BASE/breakthroughSuicide/wZDpIg155.0833948339483249032.2316.1666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ158.0835719451585230738.033333333333194.44166749975008
BASE/hitori/S8Gsyg158.22706321839089171.66666666666657.96522086747951
BASE/breakthrough/TGxk-g161.748718799451451105.5315.95613479550684
BASE/gt_tinfoil/Q8DyKg164.3972096310426324537.66666666671974.1069048253798
DRESDEN/skirmish3/3LU8Nw167.1267409431137629767.866666666665178.11552178115522
DRESDEN/quad_7x7/q-JOXg167.33956496545682629.15890338035673.7597737481284312
DRESDEN/skirmishfinal/hzq8ww167.9390191085064710503.53333333333362.543733964213125
DRESDEN/hitori/S8Gsyg172.74787126436789346.43333333333254.1044776119403
DRESDEN/skirmish/RjGQYQ174.013919161018531661.566666666666181.94847181948472
BASE/skirmishHoles/AUCxCA176.788973913043467724.13333333333343.69126174765047
BASE/tictactoe_3d_6player/d7KSwg177.9930425150580513459.06666666666875.61568967240977
DRESDEN/othello-cornercontrol/r5Gdlg178.1935968022844608.59276048263453.4153458452152
DRESDEN/ggp-course2013_jordi/9QI6Kw180.968871973816719966.233333333334110.32965567814406
BASE/skirmishFinal2/gdB62Q183.44070506108210508.057.28281515545336
BASE/cephalopodMicro/9l2D3g183.52473230769233177.617.314287616954683
DRESDEN/tictactoe_3d_6player/ulZPWg185.8470201783200713201.33333333333471.03333333333333
BASE/cittaceot/fDxhXg190.062123648285539290.86666666667206.72644245191827
BASE/skirmishFinal1/ecWTnQ192.3627145607701410652.63333333333355.37784886045582
BASE/strangeSkirmish/gc1zKA198.788214537303876892.66666666666734.67341704693069
BASE/othelloSuicide/B442jg204.23626666666667898.44.39882697947214
DRESDEN/skirmish2/iPpWhQ204.8185850057449235650.9174.0608646378454
STANFORD/skirmish/w4V6Vw206.769453713606627725.96666666666637.36512588250966
DRESDEN/CephalopodMicro/H3XQfg207.31837614879653155.115.218621998734557
BASE/skirmish/Y_psYQ208.159426966292137408.535.59050919754732
STANFORD/alquerquezero/uVgA_A211.9353364605814555645.3262.55791473617546
BASE/othelloHoles/c0qAzw219.267488584474881059.33333333333334.831237590999338
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g230.9948491393578315482.16666666666667.02386102698925
STANFORD/madness/UO_B3A238.679168530805678387.435.1408966757711
BASE/checkersTiny/Lr48cg241.3586854189075844873.63333333333185.92093860409307
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw262.9164085053158718416.93333333333470.04862662636351
BASE/simultaneousWin2/PfjRjw270.9106150081566438741.5143.00473238685595
DRESDEN/checkers/jIDMIg271.3485607142856718232.867.19328067193281
DRESDEN/checkers-newgoals/IJOqXQ272.6441263573543718412.56666666666667.53333333333333
BASE/quad_7x7/q-JOXg275.5450026217764626.34578847371762.2731161244592184
DRESDEN/ggp-course2013_michal13/jWKddg312.396403361344542472.07.913023240349769
BASE/hidato37/pBrqxw336.897283647798767139.36666666666721.19152339064374
DRESDEN/cylinder-checkers/clOO3Q337.9885780372729315912.36666666666747.07959884050245
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw364.0415120149253316190.944.47542235055926
BASE/blokbox_simple/JBx4bg372.9948983301423129.165555851772870.3462930898787974
BASE/checkersSmall/SYmq8w376.21238201685131751.26666666666684.39718676044131
BASE/checkers-newgoals/0XkFiA383.812538854382318530.73333333333448.28068772491004
BASE/cylinder-checkers/hlldmw388.311659885237416537.66666666666842.58864302852572
BASE/nonogram_10x10_1/0Xc62g406.021233678160915693.73333333333438.652494085501985
BASE/checkers/rOC3Xg457.612569604086923870.66666666666852.16348556010792
DRESDEN/Zhadu/9zpQ5w495.815648481522115055.76666666666630.365654478184062
DRESDEN/Travelers-Dilemma/PvZwYw519.5651363589036377018.5333333333725.6424785840472
DRESDEN/farmers/S_ASnw537.917706455862945162.66666666666483.95831950620561
DRESDEN/smallest/9kaGFw601.688039184746991507.6152.08479152084792
BASE/nim1/hin2Qw639.6527216941934273667.8333333333427.8381441237251
BASE/quad_5x5/JAEP5g656.77957163332664059.5646811772946.181015452538631
DRESDEN/nim1/M9BALA681.1162070913696271906.1666666667399.2067195520299
DRESDEN/quad_5x5_8_2/JRTLJg707.94411502145925205.87.35340528940226
BASE/nim2/eF2Qqw792.0307729597388242601.16666666666306.302703063027
DRESDEN/nim2/z5_exA835.2421371926619243818.76666666666291.9138724085061
DRESDEN/quad_5x5/JAEP5g841.66864256756744109.94.883038041505824
DRESDEN/nim4/F5YAYg980.107533538276180660.46666666667184.3271890936969
BASE/nim4/twk16w1004.1992505421797182122.2181.36062131262292
DRESDEN/nim3/sG_axA1020.1715824933359182781.73333333334179.16763853253806
BASE/nim3/1OwUqw1086.14967619419185689.2170.9609679677344
DRESDEN/checkers-mustjump/HUr33w1203.456520189003415546.56666666666812.918262027634427
DRESDEN/satlike_20v_91c_version2/yd9ioQ1363.112635266666521020.76666666666615.421151651605342
BASE/checkers-mustjump/T-8UuQ1476.038260188087915656.06666666666810.60681629260183
DRESDEN/merrills/aYEzwA1591.478134110787318195.911.433333333333334
BASE/merrills/pku8Tg1613.404740079365218040.66666666666811.18173649705481
BASE/factoringImpossibleTurtleBrain/kcBhdw1812.5127050847463518.41.9411725998552345
DRESDEN/checkers-cylinder-mustjump/vW_-pA1856.23392314814813352.8666666666677.19352582675592
DRESDEN/gt_ultimatum/pAiiQw1878.659744377811334039.6177.80739753415529
BASE/gt_ultimatum/GE-uOA1923.8789581111112346228.9666666667179.9640071985603
BASE/checkers-cylinder-mustjump/rjr6qQ1941.71973364928913635.47.022331680367424
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw2132.13810785340313560.66.360094568945423
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2157.645472134038813558.3666666666676.283871396748346
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2157.773888124999821952.310.173586825205062
DRESDEN/checkers-mustjump-torus/cVc3gA2304.79882976190512848.25.574542920662309
BASE/chess_200/XsTpYA2512.7925831501837429.4666666666662.9566573526544935
BASE/checkers-mustjump-torus/uSApKQ2693.061853240740712867.9333333333324.778179646281979
STANFORD/selectivesukoshi/3xmXYg2750.03116689976711547.9666666666674.199213014623833
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2826.1189320704.87.326230959430996
BASE/racer4/0vs7Ww3212.41689969834123583.8333333333327.341460983955088
BASE/golden_rectangle/_nYzfw3332.11576388888915983.54.796802131912059
DRESDEN/satlike_20v_91c/yeuENQ3429.37053522257.86.4903456109037805
BASE/copolymer_4_pie/IN5_jA3595.97763599605580991.5666666666722.52282268274805
BASE/copolymer_4/2LDVhQ4922.92597753743898540.520.016652789342213
BASE/guess/SPpk1A5917.102550401167179335.8666666666730.30805451470637
DRESDEN/guess/PhxGhg6630.768094402673174120.6666666666626.25950179341209
DRESDEN/fizzbuzz/t1xHzQ20018.505960655737610422.030.492884993501516
DRESDEN/racer/vk_ZBA31063.03857641025465772.933333333332.117401785132582
BASE/battlebrushes/arCwyA38499.8458263157911150.70.28962973125409675
BASE/racer/QQYQNw42435.6054111111165698.266666666661.5481873306670106
DRESDEN/golden_rectangle/1uloXw88709.9892277777815830.2333333333340.17844927579335573
BASE/colonelBlotto/jip21A1565204.703333333480164.133333333330.05121638924455826
BASE/ad_game_2x2/D0aWqg2953857.40306666760572.0666666666660.02050609030882172

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messagePALAMEDES_JOCULAR:0.6.1 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
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
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/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
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowErrorException of type StackOverflowError

index