index

GGP_BASE_PROVER:2015-04-26 vs. PALAMEDES_JOCULAR:0.6.1

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondPALAMEDES_JOCULAR:0.6.1 states per second
DRESDEN/coins/QwFP9w9.482323575602627E-5307.733333333333353245336.7666666666
BASE/coins/QnGtnQ9.64844191045916E-5300.43113456.066666667
BASE/coins_atomic/AA3SSw1.0686290490446792E-4320.933333333333343003224.8666666667
BASE/blocksWorldParallel/RseaAQ2.4214441952273038E-4777.83212132.6666666665
BASE/snake2p/I3wWPQ4.735500866071613E-4346.87687487500835732503.0333333333
BASE/minichess/8NQEiA5.813888192499393E-41680.72890836.466666667
STANFORD/tictactoe3/X7myng7.005411514382956E-42809.74010756.533333333
BASE/blocksWorldSerial/Wyg96Q7.692857038377383E-43725.33333333333354842587.5
STANFORD/tictactoe5/WFRReg8.480841023822416E-43151.03715433.4
BASE/tictactoe-init1/7M19vA8.571754777952217E-43186.03333333333333716897.433333333
DRESDEN/tictactoe-init1/3ltIBQ8.654362889395277E-43206.7333333333333705337.2666666666
DRESDEN/blocksworldparallel/2JfVaw8.677840305962335E-42877.23315571.5
STANFORD/sukoshi/4LYZZQ0.00104649088891575521748.51670822.0
STANFORD/tictactoe7/-bE9-A0.00153667519333623523322.53333333333332162157.2
STANFORD/3puzzle/41ibjA0.00182303187882518189633.2333333333345284182.6
STANFORD/threepuzzle/41ibjA0.00183169034196474429825.85364334.666666667
BASE/hodgepodge/9yjRkw0.00185886322633879555233.8666666666672815627.6333333333
BASE/blocks/xIV5hQ0.00188705395209611698428.5333333333334466503.633333334
DRESDEN/blocks/vg0DRw0.00195321906873707378769.1666666666664489597.1
BASE/blocksWorld/SEdXLQ0.00197756028263504668958.5666666666684530110.533333333
BASE/gt_dollar/TGjqRw0.0019799013963399967390.33732660.6333333333
BASE/maze/cCX3qQ0.002610723004285068517153.4666666666676570389.366666666
BASE/gt_centipede/9fRMpw0.002720194885602691410882.74000706.0
DRESDEN/2player_normal_form_2010/NG_Kdg0.00297623152782503136113.5666666666672054130.0666666667
BASE/duplicateStateSmall/bCPAXw0.00337405390673881713250.2666666666663927105.8
BASE/pearls/6k_mEQ0.003800599630470011325159.3333333333326619832.6
DRESDEN/troublemaker01/C-lPWw0.00411603985068946219540.1333333333354747313.933333334
DRESDEN/troublemaker02/iZLVuA0.0041602646694781117873.94296337.233333333
BASE/stateSpaceSmall/Q7osKA0.00419696152564196616527.1666666666683937888.533333333
BASE/troublemaker01/s3tlEQ0.00434348014689686120052.2666666666664616635.966666667
BASE/troublemaker02/DI83KA0.00437826928666895818514.54228725.733333333
DRESDEN/statespacesmall/h-NqjA0.00438105661971132716923.9666666666673862987.433333333
BASE/switches/tPUoCg0.00494296415205261911317.7333333333342289665.2666666666
BASE/buttons/hTcUjw0.00543348402407479522097.9666666666674066997.6333333333
DRESDEN/buttons/ADUaHw0.00564726795284896322636.14008327.6
BASE/haystack/UkweGA0.00765193765433932737056.3333333333364842738.533333333
STANFORD/buttonsandlights/eyhJpA0.00916522868728463337069.533333333334044583.566666667
BASE/survival/YVIjJA0.01054273756262681328649.5333333333332717466.2333333334
BASE/onestep/xi53wA0.01263001044079412634831.52757836.2
DRESDEN/snake_2008/E56l3A0.0721352118048106403.466666666666645593.2
BASE/snake_2008_tweaked/bX0NJQ0.0779118413872552428.33333333333335497.666666666667
BASE/snake_2008/i6K26g0.07799005153648325419.552681577280745379.566666666667
DRESDEN/snake_2009/zIYLVw0.08391362180675599412.17252183187794911.866666666667
BASE/snake_2009/7l-qAQ0.08454977958310385413.57242850476634891.466666666666
STANFORD/knightstourmedium/x1wu8Q0.0904636805895414914701.5162512.73333333334
BASE/snake_2009_big/-oRfVw0.0996063224344919287.38084127724822885.1666666666665
DRESDEN/snake_2009_big/DgC1NQ0.10912748302740759303.82783.9
BASE/tron_10x10/7ZTgDg0.118572145305312532804.523652.266666666666
BASE/kitten_escapes_from_fire/uW-YiA0.188546050462540974536.93333333333324062.733333333334
BASE/knightsTour/mvtVIg0.1954857876764045713592.13333333333369530.03333333334
BASE/ticTacToeNoVars/XT03NA0.19990781678780243440.833333333333517212.1
STANFORD/knightstour/cEwgNA0.2100252569637229314538.33333333333469221.83333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA0.21200111831353714903.623130.066666666666
DRESDEN/knightstour/cGISAA0.2190959244176316514662.36666666666766922.13333333333
BASE/tictactoe2/bhrDoQ0.22183290993625083085.413908.666666666666
DRESDEN/toetictac/mJtxCA0.231033532939852134836.83333333333320935.633333333335
BASE/toetictac/mTThmg0.233341654536082134798.26666666666620563.266666666666
BASE/hanoi_6_disks/MeubgQ0.23520442611699195620.123894.533333333333
DRESDEN/tictactoe/BTTzPw0.237221883523899253424.433333333333414435.570961935871
DRESDEN/eotcatcit/mQUxzA0.238020327383972973283.313794.2
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.24305960645770858986.13333333333334057.1666666666665
BASE/ticTacToe/JRFsaQ0.24532582717307383466.433333333333414129.916011198507
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.24647629429649376964.73913.9666666666667
BASE/eotcatcit/AfZSzA0.24863302397048273360.333333333333513515.233333333334
STANFORD/multiplesukoshi/vLSQPg0.2491838899293036123.35021997067058495.01683277224095
STANFORD/trifecta/ss1kyQ0.25109175145751593398.113533.3
BASE/ticTacToeLargeSuicide/727_8g0.253545103973445261385.15462.933333333333
BASE/sudokuGrade1/tDRNRw0.2565593746761095624.38861864463250595.06032931137923
STANFORD/tictictoe/rpt_Dw0.25690438042001152037.03333333333337929.1498650314925
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.257040433787519561044.46666666666674063.4333333333334
BASE/sum15/QZ07Kg0.257246036467628954107.83333333333315968.5
DRESDEN/tictactoelarge/IwXcbg0.258141584850603351415.43333333333345483.166666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.25905496395039031014.43333333333333915.9
BASE/circlesolitaire/azuQFQ0.26188670410843327159.26666666666627337.266666666666
DRESDEN/tictictoe/LAUtwg0.26253693506144652085.03333333333337941.866666666667
BASE/ticTacToeLarge/TZC0dg0.263159543606162951400.05319.966666666666
DRESDEN/sum15/CsgWKg0.263384335079401234240.416099.666666666666
DRESDEN/hanoi_6_disks/MeubgQ0.26406634482697025913.022392.1
BASE/tictactoe_orthogonal/WRzlVw0.265949525125964263976.314951.333333333334
DRESDEN/circlesolitaire/ruUilQ0.267240546314022167185.126886.264450144918
BASE/ticTicToe/c1OobQ0.26880606157228322135.77945.133333333333
BASE/eotcitcit/V_9_bg0.271052377331860332150.97935.366666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.2715375817912518965.53333333333333555.8
DRESDEN/tictactoe_orthogonal/y69QFQ0.27384709904653813892.714214.866666666667
DRESDEN/tictactoelargesuicide/6J4DeA0.2741741035008931506.11646278457375493.284900189956
BASE/sudokuGrade4/DTy07w0.2771269465648854624.287.32460087324601
BASE/sudokuGrade5/BQfUQA0.277687174112217724.73945326807178889.0910908909109
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.279279201492021841078.16666666666673860.5333333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.2794652314562996976.23493.1
DRESDEN/latenttictactoe/kITHKg0.280127506973037571757.56666666666666274.166666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A0.281740982393444751040.66666666666673693.7
STANFORD/tictactoe/ss1kyQ0.28181935617871373708.73333333333313159.966666666667
BASE/breakthroughSmallHoles/bxclRw0.2879073414308706697.66666666666662423.233333333333
DRESDEN/sat_test_20v_91c/dK7nVw0.28964708350418141012.53495.633333333333
BASE/sudokuGrade2/u80Tfw0.296442211701230525.41892927341173485.74665911287366
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.296496183777312241056.63333333333343563.733333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.29729176215878841016.13333333333333417.9666666666667
BASE/snakeAssemblit/UO4sdg0.2980505485893417405.66666666666671361.0666666666666
DRESDEN/chickentoetictac/cxYaRQ0.31290381986683514021.212851.233333333334
DRESDEN/chickentictactoe/Ipbo-g0.314123051610038062876.46666666666679157.133333333333
STANFORD/sudoku/oJ1qyQ0.3141526278205953324.95252690142252779.42803813079128
STANFORD/hex/MTqWcw0.32150895224434284192.54099453406212598.8666666666667
DRESDEN/logistics/fPru1Q0.321649694890613351681.46666666666675227.633333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.32466267918421127385.30764615692291186.793773540882
BASE/chickentictactoe/DSlZCA0.326727547127801672934.28980.57120005332
BASE/bomberman2p/4CClwA0.331018976082229741339.74047.2
BASE/chickentoetictac/l57rfQ0.331224132648557164252.23333333333412837.933333333332
STANFORD/rainbow/_4qNSQ0.331293709479331079090.627439.7
STANFORD/duidoku/3SoMaA0.3344602124972137523.96166134185303471.6427857380873
BASE/hex/T1MK8g0.3369458664633482206.2264591180294612.0462651244959
BASE/sudokuGrade3/eI8dvg0.3370071519411858625.11156997269033774.51346307651293
BASE/nineBoardTicTacToe/wRmqqA0.3374485748030571437.389594373895931296.1666666666667
BASE/aipsrovers01/4C4jsw0.33759815793778544400.23333333333413033.937626354687
BASE/qyshinsu/R08Lzw0.34245744273429796.92687154189721283.03333333333336
STANFORD/duikoshi/tpw1sw0.3440898791540785607.43333333333331765.3333333333333
BASE/hexPie/48CH6Q0.34679866522839314194.90084985835693562.0
DRESDEN/aipsrovers01/qS47Mw0.347967402099457154406.312662.967776333766
BASE/lightsOnParallel/SC6enA0.35112746461112663619.86666666666710309.266666666666
BASE/sudokuGrade6E/ihYFZA0.3518550437076504724.25130750524667568.92414344754033
STANFORD/nineboardtictactoe/y28P-A0.3520817764313506422.838477434837671200.9666666666667
BASE/sudokuGrade6H/ieE_9A0.35357978622684524.0426240426240467.99773340888638
BASE/blocks2player/wnTLOQ0.355177150499247866880.53333333333419372.11705105986
BASE/connectFourLarge/aU644A0.35702042215583524729.02041.9
BASE/3pConnectFour/PqXOFQ0.3574708447808796620.21734.9666666666667
BASE/blocker/dIWtxg0.35931366003471763587.8666666666679985.333333333334
BASE/untwistycomplex2/EDPPAQ0.361020372540707722682.262828.03333333333
STANFORD/connectfour/VMpZkQ0.36117314454053031013.52806.133333333333
DRESDEN/blocks2player/3ev8nQ0.361659520578292376911.019109.133333333335
DRESDEN/blocker/S815zQ0.36551823861256023536.8666666666679676.30693366208
BASE/factoringMediumTurtleBrain/8RBqmQ0.36896083034721366995.33333333333342697.6666666666665
DRESDEN/pawn_whopping/4ogBkg0.3704704045646672675.57748075064161823.5666666666666
BASE/pawnWhopping/Ypc_6Q0.3709625839462744657.33333333333341771.9666666666667
BASE/tictactoe_3player/GtM71g0.37276380872150827943.60187993733542531.366666666667
BASE/connectFourLarger/qKi60A0.37284823986023863468.384387187093751256.2333333333333
STANFORD/untwistycorridor/EDPPAQ0.373546770628577823520.86666666666562966.32313829787
BASE/connectFour/WAIKTw0.3745947096305755997.43333333333332662.7
BASE/lightsOn/MsXu3A0.37540054720911038122.56666666666721637.066666666666
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.37620670614444296658.61750.6333333333334
BASE/connectFour_9x6/B9TtMw0.38211295681063123958.46666666666672508.3333333333335
BASE/connectFourSuicide/c8p9Kw0.38566325375462251022.03333333333332650.0666666666666
BASE/connect5/d-BVQg0.3858742115103445455.151494950168341179.5333333333333
DRESDEN/connect5/1kYzSg0.3898190597780534464.989168471921351192.8333333333333
BASE/connectFourSimultaneous/7ITr3g0.3915726232037022482.31231.7
BASE/dualConnect4/WbCQkg0.3969834978850386594.73421096483921498.1333333333334
DRESDEN/tictactoe_3player/ESLQQQ0.3973652311343611964.86900873275112428.1666666666665
STANFORD/dualrainbow/G3OnRQ0.4087884887708174657.311392.933333333332
STANFORD/multipletictactoe/_bkafQ0.4088911490266626655.71147628412381603.6333333333334
DRESDEN/minichess/c7GMFw0.412975526175646531189.06666666666662879.266666666667
BASE/eightPuzzle/vLrgFg0.415065985856956253378.98140.633333333333
BASE/incredible/8Qh-6Q0.415996522495109773317.67975.066666666667
BASE/withConviction/3Xm54A0.4166197093543671603.29311379241381448.0666666666666
DRESDEN/minichess-evilconjuncts/th24Tw0.4187857596948506175.65495633624425419.43870408639424
BASE/ghostMaze2p/W-NU-w0.420200017430712952571.46119.466666666666
DRESDEN/8puzzle/8fKC2w0.423798378616736143331.7333333333337861.6
DRESDEN/bunk_t/7-tPfA0.424614998230532951239.83333333333332919.9
BASE/checkLines/Vop7oQ0.428478581979320541208.66666666666672820.8333333333335
BASE/minichess-evilconjuncts/4OpQzw0.43108580510405703181.02729909003034419.93333333333334
BASE/factoringEasyTurtleBrain/lUj94Q0.43257740282361913857.56666666666668917.633333333333
BASE/coloredtrails/EZvr7g0.433566658966741742690.2666666666676204.966666666666
BASE/gt_coordination/IVMOzA0.437323784638214149037.73333333333420666.0
BASE/bunk_t/xbpfIA0.43980778669345181284.42920.366666666667
STANFORD/8puzzle/jNiGtw0.44419296457323553558.88011.833333333333
DRESDEN/quad_7x7/q-JOXg0.445924091541193451.67657369303459853.7597737481284312
BASE/doubletoetictac/fu35bg0.44725525497975981300.06666666666662906.766666666667
BASE/numbertictactoe/rvJ-iQ0.4492080830147462138.54760.6
BASE/lightsOut/5P1ZBw0.44952140388194621127.12507.3333333333335
DRESDEN/doubletictactoe/lJzgmQ0.450892285484790931291.12863.4333333333334
DRESDEN/doubletoetictac/V89gKQ0.450969759204347451302.86666666666662889.0333333333333
DRESDEN/lightson2x2/gBHuig0.452444958663532075809.512840.23589777763
STANFORD/jointbuttonsandlights/qAKuIQ0.452719855144742946717.36666666666714837.8
BASE/doubletictactoe/HH1htg0.45329413641439341326.06666666666662925.4
BASE/duplicateStateMedium/U163eQ0.453654588127376367918.83333333333317455.64475831973
BASE/kalaha5x2x3/WviNsw0.461384468170829952443.05294.933333333333
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.463471581418165864975.810735.933333333332
STANFORD/eightpuzzle/W_aWbA0.46393839718264543460.37458.533333333334
BASE/cubicup_3player/e2yA_g0.4671795870666147159.89467017766074342.2552581580614
STANFORD/bestbuttonsandlights/nm0wEA0.471215984945320211500.66666666666624406.359364063595
DRESDEN/lightsout/XgLpzQ0.47266635620407741217.96666666666672576.8
BASE/dotsAndBoxesSuicide/jzQbLw0.47651114889924634615.77947401753271292.2666666666667
DRESDEN/grid_game/U7_Yeg0.48285171332046341067.16666666666672210.133333333333
BASE/wallmaze/uxNQ9g0.4875402085028872838.66666666666661720.2
BASE/dotsAndBoxes/EHwA_w0.4888398788329702613.23333333333331254.4666666666667
BASE/factoringGeorgeForman/HGRorQ0.48957546687026115899.43333333333312050.1
STANFORD/hunter/14dD-g0.4975766985711764219.5333333333348480.166666666666
STANFORD/multiplebuttonsandlights_9/SqB9BA0.502984845035410913624.26666666666627086.833333333332
BASE/kalaha6x2x4/XS81Mg0.50498202412927662293.54541.745825417458
STANFORD/multiplebuttonsandlights/cK70Yg0.507645679012345713706.43333333333227000.0
BASE/ticTacHeavenFC/mrletw0.5109050560050945230.46927076389815451.1
DRESDEN/firefighter/WJmoPw0.51224141125524466208.03333333333412119.350753232902
BASE/firefighter/WJmoPw0.51301731114985796296.46666666666612273.4
BASE/mummymaze2p/vpjDdA0.51307937362588061143.52228.7
DRESDEN/cubicup_3player/awDtsQ0.5130921740242519167.62755357083347326.70066326700663
DRESDEN/oisters_farm/pTQMLg0.51365993353892699107.66666666666617730.92677078824
DRESDEN/mummymaze2p/k-8edg0.52469079248740271145.42183.0
BASE/sudoku/NTaNkw0.5287189642658819101.6130107311871192.18718752083194
DRESDEN/double_tictactoe_dengji/bGaUyQ0.52918331389433461421.63333333333342686.4666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g0.53173847600181529265.36666666666717424.668488038915
STANFORD/platformjumpers/HEQskA0.5322149060891285236.37636236376363444.137057529498
BASE/kalaha_2009/dRiN3g0.53232196276451082414.1333333333334535.1
DRESDEN/kalaha_2009/gcC8uA0.532386214154172360.8666666666674434.5
DRESDEN/lightsout2/LFtfyQ0.53943617756011811431.93333333333342654.5
BASE/double_tictactoe_dengji/zgaSbA0.54185435435435441443.52664.0
BASE/brain_teaser_extended/ZDp94A0.54242410613897014020.2666666666677411.666666666667
DRESDEN/cubicup/SBn_lw0.5424969925205294345.73333333333335637.3
DRESDEN/stratego/Z2wovg0.5431636488125949643.81187293756881185.3
BASE/cubicup/4wNWJA0.5433029077518546348.02173260891306640.5666666666667
DRESDEN/brain_teaser_extended/ZDp94A0.56087254901960783813.93333333333346800.0
DRESDEN/connect4/T0-rHQ0.5655800215979888455.51814939502015805.4
BASE/ticTacToeParallel/ymRGPw0.56696799806861761409.06666666666662485.266666666667
BASE/stateSpaceLarge/0Ge_CQ0.586778025516018456.56666666666814411.866666666667
DRESDEN/chinesecheckers6/yTbPDA0.5883863829450932992.66666666666661687.1
BASE/beatMania/qUHwvQ0.60129743708507027399.512305.889803673212
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.6027351456180827600.8666666666667996.9
DRESDEN/statespacelarge/8-y5HQ0.60472877188579198673.86666666666714343.4
DRESDEN/chinesecheckers2/06E6-Q0.60890343789278861469.46666666666672413.3
DRESDEN/chinesecheckers3/QsCb2A0.61276456060274491306.72132.4666666666667
DRESDEN/quarto/OQzRYQ0.61348835176362591403.62287.9
DRESDEN/pawntoqueen/f_x6Aw0.621397506219247722.84686604942383436.76690978119692
BASE/pawnToQueen/-O1_JA0.621462721072857923.45259510960090737.73773440362389
BASE/quarto/EwBMVQ0.62149917627677111408.42266.133333333333
BASE/connect4/50bOyw0.6233676975945017453.5727.5
DRESDEN/tictactoeparallel/yk_DSg0.62417681171630371481.73333333333332373.9
DRESDEN/chinesecheckers1/Y-ftaA0.62571643726728861994.23187.0666666666666
DRESDEN/gt_prisoner/huCp4w0.62839635357548257086.311276.8
DRESDEN/quartosuicide/WIU1oQ0.62863826133301761415.42251.5333333333333
DRESDEN/cube_2x2x2/fp-34Q0.62883718610508472521.74010.1
BASE/sheepAndWolf/g4THrg0.639235179632844810.16666666666661267.4
DRESDEN/sheep_and_wolf/enAIzQ0.643406377115864817.23333333333331270.1666666666667
DRESDEN/chinesecheckers4/-oVNYg0.6474408061996508704.56666666666671088.2333333333333
BASE/quartoSuicide/-23jUg0.64749725757735141436.32218.233333333333
DRESDEN/frogs_and_toads/GjchhQ0.6506099395847318936.91440.0333333333333
BASE/conn4/va9Y7A0.6604391820203709574.7141761941268870.2
DRESDEN/racetrackcorridor/O0DoTA0.66651040235366381374.36666666666662062.0333333333333
DRESDEN/statespacemedium/dVJZ_w0.669838833461243312073.73333333333418024.833333333332
BASE/chineseCheckers1/gqtwHw0.67043359590107023733.65568.933333333333
STANFORD/breakthrough/d5j0cQ0.67259274072592731121.11666.8333333333333
BASE/chineseCheckers6/rREH3A0.67436295835922931446.73333333333332145.3333333333335
BASE/duplicateStateLarge/dcjyuw0.67507674868936844764.4666666666667057.666666666667
BASE/stateSpaceMedium/3bUoIw0.675160273777270812140.76666666666617982.05128205128
BASE/tictactoex9/BI26ow0.6757937110739783593.1666666666666877.7333333333333
BASE/futoshiki4/BaCwSw0.6768376347598823690.61020.3333333333334
BASE/nonogram_5x5_1/qLKEZw0.6797639123102867268.7243758541382395.3201559948002
DRESDEN/tictactoex9/rFkD4w0.6814300960512273595.9333333333333874.5333333333333
BASE/roshambo2/KNPokQ0.683663135609368813344.86666666666719519.652255012992
BASE/ticTacHeaven/18n58A0.6850386831600617255.81627891473903373.43333333333334
DRESDEN/roshambo2/jgSlkQ0.690979480211934913624.66666666666619717.903435407017
BASE/chineseCheckers3/-1rZdQ0.70651280303182222348.96666666666673324.733333333333
BASE/gt_prisoner/klthDw0.70874317572613758161.36666666666711515.266666666666
BASE/knightsTourLarge/M8jgLA0.7097580856854713699.46666666666719301.6
BASE/chineseCheckers2/eCMR3Q0.71764803175653322892.64030.6666666666665
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.7237894736842105343.8475.0
DRESDEN/3pttc/uwYBZw0.73037466190803891521.22082.766666666667
DRESDEN/gt_chicken/CeuKtw0.74328735390123197294.39813.566666666668
BASE/gt_staghunt/xPjLRA0.74861445976321188559.33333333333411433.566666666668
STANFORD/dualhunter/1rPZjQ0.75253941918619232101.56666666666662792.633333333333
DRESDEN/blobwars/ZaMluQ0.7639021140466216292.5138324111726382.9205693143562
DRESDEN/hallway/0H4l-Q0.769599380407309380.3873204226526494.26666666666665
BASE/blobwars/0XT15Q0.7728136754140048297.1270497267031384.47436837544166
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.77623862236907044823.86214.3261891270295
BASE/gt_chicken/gmepTQ0.78742411461286357592.1333333333339641.733333333334
BASE/hallway/ckCJOw0.7942360133305562381.3480.08399720009334
BASE/rubiksCube/9tNO9Q0.8039581645948515761.0946.5666666666667
DRESDEN/4pttc/9pB9AQ0.81046096041055721179.16666666666671454.9333333333334
DRESDEN/quad/JPe6fg0.83486178645990931.3329260503734971.5965828979016339
DRESDEN/mimikry/GJEhwA0.8369102957175354846.21011.1
DRESDEN/endgame/IJhh3Q0.8432641622739707421.26666666666665499.56666666666666
BASE/escortLatch/mX9BjQ0.8455541367027355838.7333333333333991.9333333333333
DRESDEN/knightfight/4_Ly4w0.84711976141892963058.33610.233333333333
DRESDEN/3pffa/0YrmQw0.84763076082129061654.06666666666661951.4
BASE/knightfight/SJRkAg0.85698025825189382911.33333333333353397.2
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.85737537527054396549.4333333333337638.933333333333
BASE/chineseCheckers4/avfBcQ0.85887152537684961242.11446.2
BASE/pacman3p/wW7UVQ0.8601415973171036923.30255658144731073.4308856371454
STANFORD/knightstourbig/TQUI2g0.865685962379683313232.93333333333215286.066666666668
DRESDEN/crossers3/xiPTxg0.8709629097010007969.03333333333331112.6
DRESDEN/point_grab/r5DPmQ0.871478324235507813952.03333333333316009.61601147402
BASE/tictactoe_3d_2player/IUC1rQ0.877100633622916272.49700039994667310.6792880474635
BASE/crisscross/ICagEg0.87770439535413351284.66666666666671463.6666666666667
BASE/crossers3/O0rORg0.8823894299361082948.33333333333341074.7333333333333
DRESDEN/pancakes88/aD3E7g0.884636821937471817074.43333333333419301.065601065602
BASE/point_grab/V_osUg0.891992750446367314421.86666666666716168.143361534874
DRESDEN/Thief_Police/CX18rA0.89439058488135176525.5333333333347296.066666666667
BASE/futoshiki5/TJ4BZg0.9056112969156447324.93333333333334358.8
DRESDEN/crisscross/GsY16g0.90660397520837781272.61403.7
DRESDEN/vacuum_cleaner_1/eUNjpw0.90858445007186365752.0666666666676330.8002533080025
BASE/pacman2p/4LEdQg0.9153917477978674921.43333333333331006.6
BASE/ticblock/T21C1g0.91859994723419221740.91895.1666666666667
DRESDEN/ticblock/Z2yNWQ0.93251926907421841794.63333333333341924.5
BASE/pancakes88/l2Xaig0.932522088834265917653.718931.133333333335
DRESDEN/towerworld/HCX34w0.940004525924869740.3892295387896642.96705858841555
DRESDEN/catch_me/ghGWrA0.94019940863810767122.77575.733333333334
DRESDEN/tictactoe_3d_2player/LMuX9w0.9480232426094843283.4905503149895299.03333333333336
DRESDEN/CatchMeIfYouCanTest/CX18rA0.94857013881051797004.47384.166666666667
BASE/skirmishFinal3/-Olhfw0.954167423846020669.6286914205719772.97324314418047
STANFORD/triplesukoshi/Iu9mbA0.9571812357925191771.9666666666667806.5
BASE/nonogram_10x10_1/0Xc62g0.973600276542506137.6320789307023138.652494085501985
BASE/tictactoe_3d_small_2player/oOryKA1.0044368761250206818.3333333333334814.7185281471852
DRESDEN/pancakes6/SZXMyQ1.007304229919119721890.43333333333421731.7
BASE/pancakes/yUgbXw1.009009282005338721873.73333333333421678.426277566792
DRESDEN/pancakes/hl9aiQ1.022171872471273622527.06666666666622038.433333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0231268367388062846.2827.0724309189694
BASE/pancakes6/QZTdnw1.02479960809907922006.66666666666821474.1169812577
DRESDEN/othello-cornercontrol/r5Gdlg1.02660718277039443.5062185763429483.4153458452152
DRESDEN/skirmishfinal/hzq8ww1.038324485513910264.9406903905104762.543733964213125
DRESDEN/crissrace/KWb9bw1.0386115444617785887.6666666666666854.6666666666666
BASE/futoshiki6/JmvXNA1.045496065271276207.41950536630893198.39338688710376
BASE/crissrace/ERWGDA1.0716072782410917942.3879.3333333333334
DRESDEN/Runners/3bOCQw1.075748035261347815355.23333333333414274.005464116746
BASE/skirmishHoles/AUCxCA1.079875601246915347.18112754898040643.69126174765047
STANFORD/pentago/ZxzLmg1.084434787856841598.9133695543482552.2815906136462
BASE/solitaireChineseCheckers/-ET6gw1.0956054729124931713.61564.0666666666666
STANFORD/skirmish/w4V6Vw1.097330667997078741.00189854444925437.36512588250966
BASE/englishDraughts/jFkQxg1.1071230136681856664.2599.9333333333333
BASE/skirmishFinal2/gdB62Q1.110888999944472263.6348492420456557.28281515545336
BASE/racetrackcorridor/_RkdUg1.11454130388617531399.56666666666661255.7333333333333
BASE/endgame/jYjfOA1.1326491739672038616.2333333333333544.0637290847277
BASE/othelloSuicide/B442jg1.1371185018329585.0019875447197564.39882697947214
BASE/skirmishFinal1/ecWTnQ1.15531164702018763.978673775408255.37784886045582
BASE/max_knights/2fq3Ag1.17122550777556821197.51022.4333333333333
DRESDEN/brawl/2kXtfQ1.178120792082398161.650501616505137.21046492251293
BASE/brawl/6Ymo_Q1.1961842987543896160.4506216045062134.13536841403672
BASE/ticTacToeSerial/Amrwqw1.20350086655112641157.3666666666666961.6666666666666
DRESDEN/javastrike/whONTQ1.2043764475186385269.04873008466103223.39255358154728
BASE/strangeSkirmish/gc1zKA1.213498998022158242.0761568444548134.67341704693069
DRESDEN/ggp-course2013_nicolai/uEin8g1.21455223880597151.88987400839943125.05832944470369
STANFORD/madness/UO_B3A1.233668461223825843.35221592802399535.1408966757711
BASE/skirmish/Y_psYQ1.253494686250037144.6125141600586435.59050919754732
DRESDEN/max_knights/hCipiA1.28011277099063461316.76666666666671028.6333333333334
BASE/othelloHoles/c0qAzw1.31021354681659166.3299529396168894.831237590999338
BASE/checkersTorus/2vm1EQ1.3119829783865093552.3333333333334420.99123420991236
BASE/4pffa/Q3ADlg1.34435935616535481263.9666666666667940.2
BASE/speedChess/bPnisA1.346293231824409158.17890947873616117.49216718885408
BASE/3pttc/0sol9g1.35136124608932981353.43333333333341001.5333333333333
BASE/skirmishZeroSum/zh4hcw1.3875281946671942164.650201646502118.66440067979606
DRESDEN/chomp/-LcqYQ1.39070570989808732656.43333333333341910.1333333333334
BASE/chomp/-LcqYQ1.40747164478166952708.16666666666651924.1358621379288
BASE/4pttc/AL1k2Q1.43103368391789831029.5333333333333719.4333333333333
BASE/skirmishNew/sibw2g1.433056210860387170.02766574447517118.64689218463589
DRESDEN/vacuumcleaner_random/_6AGDA1.45899247515652824233.2666666666662901.5
DRESDEN/skirmish/RjGQYQ1.4619036421079423265.991133628879181.94847181948472
DRESDEN/hanoi/RQ0jiA1.46228092287689237347.7666666666665024.866666666667
BASE/mummymaze1p/PT_EXA1.46451985559566781690.31154.1666666666667
BASE/checkersBarrelNoKings/rnKNeg1.5186575260397244678.7666666666667446.9517682743909
BASE/3pffa/pR0dzA1.52556484488357641471.9666666666667964.8666666666667
DRESDEN/ggp-course2013_michal13/jWKddg1.55315705418858212.2901678657074357.913023240349769
DRESDEN/slidingpieces/s9_44g1.5573301402548003343.9104059729351220.83333333333334
BASE/hanoi/iGLsJg1.5614285811970497611.64874.766666666666
BASE/breakthroughWalls/vOZaYA1.573232323232323519.1493616879437329.98900036665447
STANFORD/checkersonabarrelnokings/Zrevdw1.582081545064378589.7803406553115372.7875737475417
DRESDEN/mummymaze1p/AekgaQ1.58825240741279481819.76666666666671145.7666666666667
BASE/checkersTorusNoKings/pwb6oQ1.5947442295695573681.7427.46666666666664
BASE/breakthrough/TGxk-g1.6162581144283854510.6666666666667315.95613479550684
DRESDEN/ggp-course2013_jordi/9QI6Kw1.6742644347375835184.72101859876008110.32965567814406
BASE/slidingpieces/uFJWEw1.6867240697753907370.7419505366309219.8
DRESDEN/skirmish2/iPpWhQ1.7012638835695135296.1234625512483174.0608646378454
BASE/breakthroughSuicide/wZDpIg1.7205060622034791543.9666666666667316.1666666666667
DRESDEN/hanoi7/51zz5Q1.75806764355558026346.83610.1
BASE/quad/tw-Ufg1.77539863325740322.59873592351374771.463747845037895
DRESDEN/grid_game2/kypTYQ1.7777319158394917360.4879837338755202.77972202779722
DRESDEN/tpeg/h-Scbg1.8065365551425032777.5333333333333430.4
DRESDEN/blockerparallel/dVQgSg1.8365801274230718903.2491.7836072130929
BASE/breakthroughSuicideSmall/XSbJog1.8611210794516615864.3666666666667464.43333333333334
BASE/blockerSerial/3eqDuw1.8717222036656391456.9778.3740541981934
BASE/blockerParallel/7-nDJA1.8777348666347229914.3333333333334486.93420438637423
BASE/tpeg/QNs7Lw1.882395038167939789.1419.2
DRESDEN/Zhadu/9zpQ5w1.90122783263814157.7320274501965530.365654478184062
BASE/quad_7x7/q-JOXg1.9021149980046014.3237282725399732.2731161244592184
BASE/2pttc/unkkYA1.9142149024624241596.2833.8666666666667
DRESDEN/pentago_2008/hLjVpQ1.92049667111177432.03333333333336224.9591680277324
BASE/hanoi7_bugfix/3gdnFw1.94646552233805656584.6333333333333382.866666666667
BASE/lightsOnSimultaneous/_VN6lw1.95952262908137991844.4333333333334941.2666666666667
BASE/hitori/S8Gsyg1.9850983908045978115.0666666666666657.96522086747951
DRESDEN/hanoi7_bugfix/3gdnFw2.00393189989006536744.53365.633333333333
BASE/2pffa/6oHijA2.007280479465831663.4333333333334828.7
STANFORD/freeforall/Lfp40Q2.0171581454545451664.1824.9725009166361
BASE/breakthroughHoles/nZk0Sg2.0224329746489147739.2666666666667365.53333333333336
DRESDEN/vacuumcleaner_random_big/DwzFaQ2.04512173686405332615.41278.8480767948804
BASE/lightsOnSimul4/9FeASw2.1107350818693081413.7669.7666666666667
DRESDEN/peg/Vo31eg2.1626553767298824703.2325.155828139062
BASE/2pffa_zerosum/o0_uZA2.1784794349813041747.8666666666666802.3333333333334
DRESDEN/battlesnakes1509/-qZrLw2.1966020864381521228.2666666666667559.1666666666666
BASE/chinook/XQh0IQ2.2028478528347404608.7276.32412252924905
BASE/peg/fJHVWw2.211857374017568744.1666666666666336.44423705086325
STANFORD/chinook/osFbPA2.214265829124339562.6812439585348254.11639224051729
DRESDEN/hitori/S8Gsyg2.221873365933264120.2132977837027154.1044776119403
DRESDEN/peg_bugfixed/u_B7MA2.2230348237663646735.8330.98896703443216
BASE/four_way_battle/xSOQXA2.262145674158792257.50758257507584113.83333333333333
DRESDEN/four_way_battle/xSOQXA2.2638435698489667260.3159789347377114.98850114988501
DRESDEN/battlesnakes2011/93VtTw2.28206223306894441246.7666666666667546.3333333333334
BASE/pegEuro/5awwhg2.308287475748089603.4798840038666261.4405226144052
BASE/blokbox_simple/JBx4bg2.372074721689280.82143308479716930.3462930898787974
BASE/hidato19/rRHSmA2.533513771692405530.4333333333333209.36666666666667
DRESDEN/skirmish3/3LU8Nw2.5801606848802394459.56666666666666178.11552178115522
DRESDEN/twisty-passages/j7NPyg2.9367816922787796771.5333333333342305.766666666667
BASE/tictactoe_3d_small_6player/g_9lww2.9634043981870066588.4333333333333198.56666666666666
BASE/cephalopodMicro/9l2D3g2.974661666081528451.5041476496651917.314287616954683
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.980671139674379579.5666666666667194.44166749975008
BASE/twisty-passages/DiZmmg3.01489314170824366747.8333333333332238.1666666666665
BASE/checkersTiny/Lr48cg3.127927849996729581.5472817572747185.92093860409307
BASE/tictactoe_3d_6player/d7KSwg3.2043614367562805242.375.61568967240977
BASE/battle/8oAvhQ3.227809455214458791.2090109304185628.25724758413862
DRESDEN/tictactoe_3d_6player/ulZPWg3.2427540915547115230.3436323034363271.03333333333333
DRESDEN/knightmove/97Ipcw3.24375735795278471745.0333333333333537.9666666666667
BASE/knightmove/jBaJEw3.2804259980444781751.4333333333334533.9042351137916
DRESDEN/CephalopodMicro/H3XQfg3.38046954813989851.4460882313741215.218621998734557
DRESDEN/battle/8oAvhQ3.43458118811881292.426.90284344409669
DRESDEN/checkers-newgoals/IJOqXQ3.5841638198124732242.05052996466967.53333333333333
DRESDEN/checkers/jIDMIg3.6520291585518576245.3918202726575867.19328067193281
BASE/smallest_4player/ADDROA4.016402079235743811.8333333333335949.0666666666667
DRESDEN/smallest_4player/ADDROA4.0311645140067183880.5333333333333962.6333333333333
STANFORD/alquerquezero/uVgA_A4.4401632347340361165.8262.55791473617546
DRESDEN/cylinder-checkers/clOO3Q4.667358553655455219.7373683508865647.07959884050245
BASE/cittaceot/fDxhXg4.76555710523487985.1666666666666206.72644245191827
BASE/checkers-newgoals/0XkFiA4.821643005274565232.7922402586580448.28068772491004
BASE/checkersSmall/SYmq8w5.035772114929042425.004999666688984.39718676044131
BASE/cylinder-checkers/hlldmw5.149260093896714219.342.58864302852572
BASE/hidato37/pBrqxw5.223090380402111110.6852419677376421.19152339064374
BASE/gt_tinfoil/Q8DyKg5.31337317195316110489.1666666666661974.1069048253798
BASE/checkers/rOC3Xg6.144144636015326320.552.16348556010792
BASE/factoringImpossibleTurtleBrain/kcBhdw7.45678676734338514.4749101557300681.9411725998552345
BASE/simultaneousWin2/PfjRjw7.6025456070845971087.2143.00473238685595
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw10.244446573481946717.60941301956670.04862662636351
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g10.651927871565706713.933333333333367.02386102698925
DRESDEN/farmers/S_ASnw13.3240716732542831118.666666666666783.95831950620561
BASE/quad_5x5/JAEP5g13.514583.533333333333336.181015452538631
BASE/chess_200/XsTpYA15.22811847886832845.0243284676398052.9566573526544935
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw15.813977611940299703.333333333333444.47542235055926
DRESDEN/smallest/9kaGFw16.6806071882533442536.866666666667152.08479152084792
STANFORD/selectivesukoshi/3xmXYg17.94976220047862775.374875041652794.199213014623833
DRESDEN/merrills/aYEzwA17.956268221574344205.311.433333333333334
BASE/merrills/pku8Tg17.974542768577333200.986600893273811.18173649705481
DRESDEN/quad_5x5/JAEP5g18.50763323239356690.373477132015184.883038041505824
DRESDEN/checkers-mustjump/HUr33w18.53840972457506239.484034397706812.918262027634427
DRESDEN/Travelers-Dilemma/PvZwYw20.23958138263665414686.7725.6424785840472
DRESDEN/quad_5x5_8_2/JRTLJg20.47577424892704150.566666666666667.35340528940226
BASE/checkers-mustjump/T-8UuQ21.28505485893417225.7666666666666810.60681629260183
BASE/nim1/hin2Qw22.4834246286485929619.266666666666427.8381441237251
DRESDEN/nim1/M9BALA23.861238301188399525.566666666668399.2067195520299
DRESDEN/checkers-cylinder-mustjump/vW_-pA26.928033669584796193.70750566591127.19352582675592
BASE/guess/SPpk1A26.949931728665206816.830.30805451470637
BASE/checkers-cylinder-mustjump/rjr6qQ27.03010346674653189.81435189814357.022331680367424
BASE/nim2/eF2Qqw28.3307979760609368677.8306.302703063027
DRESDEN/nim2/z5_exA29.883471888559038723.4291.9138724085061
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw30.039713770102857191.055420401906226.360094568945423
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg30.388957581484497190.960301323289236.283871396748346
DRESDEN/guess/PhxGhg30.527362614870512801.633333333333326.25950179341209
DRESDEN/satlike_20v_91c_version2/yd9ioQ30.891391831567727476.3808381637684315.421151651605342
DRESDEN/checkers-mustjump-torus/cVc3gA33.44521881209489186.441807758965475.574542920662309
BASE/checkers-mustjump-torus/uSApKQ36.73399597434245175.521631891207254.778179646281979
DRESDEN/nim4/F5YAYg39.85395048221827346.166666666667184.3271890936969
BASE/nim4/twk16w41.4389846351773567515.4181.36062131262292
DRESDEN/nim3/sG_axA43.197905213563957739.666666666667179.16763853253806
DRESDEN/gt_ultimatum/pAiiQw43.515062406296857737.3177.80739753415529
BASE/nim3/1OwUqw44.504310489374157608.5170.9609679677344
BASE/gt_ultimatum/GE-uOA45.361107444444448163.366666666667179.9640071985603
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g46.65365642290514474.6350243317112410.173586825205062
BASE/golden_rectangle/_nYzfw62.562513888888894300.14.796802131912059
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA62.73803486111111459.63333333333337.326230959430996
BASE/copolymer_4_pie/IN5_jA64.497540433925051452.666666666666722.52282268274805
DRESDEN/satlike_20v_91c/yeuENQ76.6705692302568497.61849248909176.4903456109037805
BASE/copolymer_4/2LDVhQ81.638691070438171634.133333333333420.016652789342213
DRESDEN/laikLee_hex/ZeP3QQ104.23583217304004120.173246709978341.152897657213317
BASE/racer4/0vs7Ww117.63780196078432863.63333333333337.341460983955088
BASE/laikLee_hex/zbyscQ130.5067573196858140.829564389431081.079097874177188
BASE/battlebrushes/arCwyA231.0688539773644366.924410078656180.28962973125409675
DRESDEN/fizzbuzz/t1xHzQ635.354772240437119373.830.492884993501516
DRESDEN/racer/vk_ZBA1040.45754666666652203.06666666666662.117401785132582
BASE/racer/QQYQNw1409.60547222222252182.33333333333351.5481873306670106
DRESDEN/golden_rectangle/1uloXw1584.337666522227282.723909203026550.17844927579335573
BASE/ad_game_2x2/D0aWqg39650.00906666667813.06666666666670.02050609030882172
BASE/colonelBlotto/jip21A60998.05253124.10.05121638924455826

Games with errors:

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

index