index

CADIAPLAYER_PROLOG:3.0 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
DRESDEN/golden_rectangle/1uloXw0.049221533766420055.535412803409814112.45916938870742
BASE/racer/QQYQNw0.3092359583911806472.37854217308781527.5666666666666
DRESDEN/racer/vk_ZBA0.3123342424762816468.31396316893671499.4
DRESDEN/mummymaze2p/k-8edg0.6474627096397254363.93878908848967562.1
BASE/mummymaze2p/vpjDdA0.6579832617268933363.72102304852496552.7815739475351
DRESDEN/fizzbuzz/t1xHzQ0.7899489100558819372.37517498833411864.533333333333
BASE/firefighter/WJmoPw0.94004361372578063704.3985338220593940.6666666666665
DRESDEN/firefighter/WJmoPw0.9513655965500723706.2666666666673895.733333333333
BASE/tron_10x10/7ZTgDg0.96926242284431691554.61603.9
DRESDEN/nim1/M9BALA1.07174705566693426606.2131262291266163.966666666666
BASE/nim2/eF2Qqw1.1061276131443636352.9333333333335743.4
DRESDEN/hallway/0H4l-Q1.1253181148785698205.04313205043132182.20903879482736
BASE/hallway/ckCJOw1.1326613755448376205.0839583195062181.06378724255148
DRESDEN/nim2/z5_exA1.13434163701067636375.05620.0
BASE/queens16ug/gT-ylw1.15103858006205296.837484619733384.13052898236725
BASE/onestep/xi53wA1.154841634229608824456.96666666666721177.766666666666
BASE/nim1/hin2Qw1.1716106672932336648.55674.666666666667
DRESDEN/ghostmaze2p/HY0UwA1.17898592062192262489.4680709238772111.5333333333333
BASE/ghostMaze2p/W-NU-w1.18218456627736712488.5379181660672105.0333333333333
DRESDEN/knightmove/97Ipcw1.1875780570455385986.4419201172591830.6333333333333
BASE/knightmove/jBaJEw1.1919366087029875984.9766822118588826.3666666666667
BASE/wallmaze/uxNQ9g1.192824749375597381.14726825048245319.53333333333336
DRESDEN/bomberman2p/x4h6jQ1.19747172801267741108.3925.5333333333333
BASE/golden_rectangle/_nYzfw1.21578660787705137.01915070774353112.7
BASE/bomberman2p/4CClwA1.23532823658964851110.1483086152307898.6666666666666
BASE/queens12ug/u6Bkmg1.23829632614163268.9310689310689217.17828217178283
BASE/majorities/ibJzSQ1.2383599807807013165.08714957916362133.31111481419762
BASE/queens08ug/kJ_ZFQ1.28664910342483221009.3333333333334784.4666666666667
BASE/factoringMediumTurtleBrain/8RBqmQ1.2919460556856392673.8566007589375521.5826139128695
BASE/nim4/twk16w1.31640845756688555623.3458884703844271.733333333334
STANFORD/buttonsandlights/eyhJpA1.323680172236091628896.621830.5
DRESDEN/nim3/sG_axA1.33032209114784175709.4763507883074291.8
BASE/nim3/1OwUqw1.3319693089167755721.5185654289724295.533333333334
DRESDEN/Runners/3bOCQw1.33875914056277515077.86407119762611262.566666666668
DRESDEN/nim4/F5YAYg1.34044700224683675667.6333333333334228.166666666667
BASE/racer4/0vs7Ww1.343272683674252893.3808825489934665.0778307389754
DRESDEN/blocks2player/3ev8nQ1.45884432659374637922.45430.6
BASE/blocks2player/wnTLOQ1.4680816731831447885.0666666666675371.0
BASE/queens06ug/7Lq3tw1.47054224525474872271.4485700953271544.6333333333334
DRESDEN/lightson2x2/gBHuig1.4768465245206274822.8392386920433265.633333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.48110198691215133817.491001199842577.4666666666667
BASE/coloredtrails/EZvr7g1.53661451377314863075.9949336710892001.8
BASE/sheepAndWolf/g4THrg1.5853686832785254834.9608398600234526.6666666666666
BASE/untwistycomplex2/EDPPAQ1.592403154231397921398.76666666666613438.033333333333
STANFORD/platformjumpers/HEQskA1.6316517321088975389.734219269103238.858704709843
DRESDEN/sheep_and_wolf/enAIzQ1.6393731978780086843.6760934012858514.6333333333333
BASE/mummymaze1p/PT_EXA1.63994837280820521066.075772216854650.0666666666667
DRESDEN/mummymaze1p/AekgaQ1.65600123260233171074.8649.0333333333333
STANFORD/untwistycorridor/EDPPAQ1.675370745075941621803.83333333333213014.333333333334
BASE/catcha_mouse/cHv4dw1.68473931917959121043.492751208132619.3793540215327
DRESDEN/catcha_mouse/cHv4dw1.72002926557852481041.8790604697651605.7333333333333
DRESDEN/pancakes6/SZXMyQ1.722065651075289219695.66666666666811437.233333333334
DRESDEN/buttons/ADUaHw1.734913941641969418459.610640.066666666668
DRESDEN/pancakes/hl9aiQ1.73688312134350319531.4822839238711245.133333333333
BASE/buttons/hTcUjw1.746068962950557518766.410747.8
DRESDEN/mummymaze2p-comp2007/oTQRQg1.74642468246713342056.2404211368031177.4
BASE/mummyMaze2p_2007/YGA3Vw1.75171994767596152080.05065653535941187.4333333333334
BASE/pancakes6/QZTdnw1.772694391361277819779.0740308656411157.633333333333
BASE/switches/tPUoCg1.79299314546839314909.9333333333328315.666666666666
BASE/haystack/UkweGA1.802175713478333833800.7666666666718755.533333333333
BASE/troublemaker01/s3tlEQ1.804305044304636523593.33333333333213076.133333333333
DRESDEN/roshambo2/jgSlkQ1.816548272393940115292.0666666666688418.2
BASE/pancakes/yUgbXw1.828927151331166519640.310738.7
DRESDEN/grid_game/U7_Yeg1.84858960902333581339.919368273748724.8333333333334
BASE/roshambo2/KNPokQ1.861644173565584615343.7333333333348242.033333333333
BASE/chinook/XQh0IQ1.904718315799497720.1105045932632378.06666666666666
BASE/lightsOn/MsXu3A1.93036006895975029983.5005499816675171.833333333333
DRESDEN/troublemaker01/C-lPWw1.93395506271172223730.46666666666712270.433333333332
BASE/maze/cCX3qQ1.937809854941982721810.56666666666611255.266666666666
BASE/hanoi7_bugfix/3gdnFw1.9427266702003888789.9963344330034524.566666666667
DRESDEN/troublemaker02/iZLVuA1.95489061602066623358.46666666666711948.733333333334
DRESDEN/hanoi7_bugfix/3gdnFw1.9659858213929758863.1228128645234508.233333333334
DRESDEN/latenttictactoe/kITHKg1.97267835284879542847.16666666666651443.3
BASE/tictactoex9/BI26ow2.0011196639268456514.8880895283773257.3
BASE/hexPie/48CH6Q2.0254585146763304342.21215955250716168.95540297313514
DRESDEN/hanoi7/51zz5Q2.03467720902424668796.9947357899654323.533333333334
DRESDEN/tictactoex9/rFkD4w2.0368755914826497516.5253.57464253574642
BASE/hex/T1MK8g2.038580097302441349.53688278803224171.46095130162328
DRESDEN/cube_2x2x2/fp-34Q2.0435404430989892641.9572028531431292.8333333333333
BASE/hanoi/iGLsJg2.073716046503405210215.8856076261584926.366666666667
BASE/blockerSerial/3eqDuw2.0759860536297712086.2275848276781004.9333333333333
DRESDEN/hanoi/RQ0jiA2.076652387816283710228.9666666666674925.7
STANFORD/multiplebuttonsandlights/cK70Yg2.08146792282072117019.48176.633333333333
STANFORD/hex/MTqWcw2.0816311275290955356.29398486256804171.16096130128994
STANFORD/multiplebuttonsandlights_9/SqB9BA2.082739154445603516971.28148.5
DRESDEN/pancakes88/aD3E7g2.112971266853314518565.8333333333328786.6
DRESDEN/racetrackcorridor/O0DoTA2.1302411306906341535.5488150394988720.8333333333334
STANFORD/multipletictactoe/_bkafQ2.1467059864261433616.0125274871726286.95710142995233
BASE/blocksWorld/SEdXLQ2.150077684235520313884.76457.766666666666
BASE/blocker/dIWtxg2.1588328759720954878.1707276424122259.633333333333
BASE/survival/YVIjJA2.16802065661577233865.56666666666615620.5
DRESDEN/blocks/vg0DRw2.17577705754210713650.16273.666666666667
DRESDEN/blocker/S815zQ2.17857623067154734860.7666666666662231.1666666666665
BASE/blocks/xIV5hQ2.190348848162607413951.56369.533333333334
STANFORD/3puzzle/41ibjA2.195239158979835513430.46117.966666666666
BASE/troublemaker02/DI83KA2.19791868206457123098.73333333333410509.366666666667
BASE/pancakes88/l2Xaig2.197939415840495218652.38486.266666666666
DRESDEN/guess/PhxGhg2.2142511053237242437.13752416505581100.659956002933
BASE/factoringEasyTurtleBrain/lUj94Q2.2204214500664164962.3458847050982234.866666666667
DRESDEN/toetictac/mJtxCA2.2457070831082529145.8666666666674072.6
BASE/toetictac/mTThmg2.2594777578755369166.44056.866666666667
BASE/guess/SPpk1A2.27035027498643152444.78885444788881076.8333333333333
STANFORD/threepuzzle/41ibjA2.32370778773259813486.85804.0
BASE/racetrackcorridor/_RkdUg2.34901695258883561781.1812545830278758.2666666666667
DRESDEN/hanoi_6_disks/MeubgQ2.40749404183952689091.53776.3333333333335
BASE/tictactoe_orthogonal/WRzlVw2.41243369645810777049.5333333333342922.1666666666665
DRESDEN/circlesolitaire/ruUilQ2.414971969621647410525.3333333333344358.366666666667
DRESDEN/tictactoe_orthogonal/y69QFQ2.4194820077928037037.4666666666662908.6666666666665
STANFORD/bestbuttonsandlights/nm0wEA2.42081531509644816607.66860.333333333333
BASE/circlesolitaire/azuQFQ2.43192564061166610544.14335.7
BASE/knightfight/SJRkAg2.43431198964425874751.8581475185811952.0333333333333
BASE/eightPuzzle/vLrgFg2.43640372540076168233.1766823317673379.233333333333
DRESDEN/knightfight/4_Ly4w2.44114806126673134717.61932.5333333333333
STANFORD/8puzzle/jNiGtw2.47323248598077468234.6275620729883329.5
BASE/lightsOnParallel/SC6enA2.49515734084406444587.1804273190891838.4333333333334
DRESDEN/chinesecheckers1/Y-ftaA2.50754150853349782515.2313024930011003.0666666666667
DRESDEN/8puzzle/8fKC2w2.5189649165221068261.4492367175523279.7
BASE/hanoi_6_disks/MeubgQ2.52952380952380959118.9333333333323605.0
STANFORD/bestbuttonsandlightsbig/g0JC6g2.606169447211945713689.65252.766666666666
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2.6091068851528034523.5825472484251733.7666666666667
BASE/biddingTicTacToe_10coins/a-9ccQ2.61485366135811554520.7333333333341728.8666666666666
BASE/chomp/-LcqYQ2.654429468563063564.6333333333331342.9
DRESDEN/chomp/-LcqYQ2.6582287877663133580.91347.1
DRESDEN/crossers3/xiPTxg2.66090639579210381911.7725484967668718.4666666666667
DRESDEN/chickentoetictac/cxYaRQ2.6743838300505318644.53232.3333333333335
DRESDEN/oisters_farm/pTQMLg2.67635845382505915793.2804479701355901.033333333334
DRESDEN/bidding-tictactoe/yW5vTA2.68732139731994665282.557248091731965.7333333333333
BASE/chickentoetictac/l57rfQ2.69580309576744048568.73178.5333333333333
BASE/biddingTicTacToe/8mESVw2.7011149880452525267.6244125195831950.1666666666667
BASE/pearls/6k_mEQ2.717254449035364533408.112294.8
BASE/endgame/jYjfOA2.7175620936130143729.5748367319738268.46666666666664
BASE/crossers3/O0rORg2.75428968939576051909.181803032828693.1666666666666
DRESDEN/tictactoe/BTTzPw2.8212264913509726980.4666666666662474.266666666667
BASE/ticTacToe/JRFsaQ2.82865430016863376989.1333333333332470.8333333333335
BASE/factoringGeorgeForman/HGRorQ2.8387891724434059501.6166127795733347.0666666666666
BASE/asteroids/BKCmPQ2.84241457958118716275.3816412239185725.9
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.87279474548440071846.6666666666667642.811906269791
DRESDEN/tictactoe-init1/3ltIBQ2.8800984625539766981.1666666666672423.9333333333334
DRESDEN/double_tictactoe_dengji/bGaUyQ2.8878291046018413814.9185081491851321.0333333333333
STANFORD/tictactoe7/-bE9-A2.89031147153986066938.02400.4333333333334
BASE/blocksWorldSerial/Wyg96Q2.8906610703043028264.42859.0
DRESDEN/catch_me/ghGWrA2.89897693175785213123.4753049390134526.933333333333
DRESDEN/eotcatcit/mQUxzA2.8992378863297626872.9333333333332370.6
BASE/double_tictactoe_dengji/zgaSbA2.91517030491349433818.67875474968331309.9333333333334
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.9166496168541111986.3356107315446681.0333333333333
STANFORD/trifecta/ss1kyQ2.91832517370983177014.02403.4333333333334
BASE/eotcatcit/AfZSzA2.926004228329816873.8666666666672349.233333333333
BASE/sum15/QZ07Kg2.9359111225818568342.02841.366666666667
STANFORD/tictactoe5/WFRReg2.9376720159207356937.92361.7
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.9437649710094113149.74466.966666666666
DRESDEN/Thief_Police/CX18rA2.95066247530027312933.8355388153724383.366666666667
DRESDEN/sum15/CsgWKg2.95293907875185728280.5333333333332804.1666666666665
BASE/hodgepodge/9yjRkw2.9532528032067610904.03692.2
BASE/zhadu/DlA8iQ2.95605465252346333.57027463651050411.356445865387817
STANFORD/jointbuttonsandlights/qAKuIQ2.956514644692828812079.3333333333344085.6666666666665
DRESDEN/CatchMeIfYouCanTest/CX18rA2.960147975794158413155.4896340243984444.2
STANFORD/tictactoe/ss1kyQ2.9844659369291557025.3333333333332353.9666666666667
BASE/tictactoe-init1/7M19vA2.9859020412817886982.2333333333342338.4
BASE/dotsAndBoxes/EHwA_w2.9905887102355071586.307938199254530.4333333333333
BASE/cittaceot/fDxhXg3.00832708614010351556.0554555755516517.249425019166
DRESDEN/uf20-01.cnf.SAT/42Rs8A3.0116272166441072037.2654244858504676.4666666666667
DRESDEN/connect5/1kYzSg3.0612298485638623771.3278808431412251.96666666666667
BASE/dotsAndBoxesSuicide/jzQbLw3.06595245688431241583.1556503198294516.3666666666667
BASE/chickentictactoe/DSlZCA3.12048269901731736499.1333333333332082.733333333333
STANFORD/tictactoe3/X7myng3.1586233153125716913.72188.8333333333335
BASE/connect5/d-BVQg3.1825257392228035776.3241119877492243.93333333333334
DRESDEN/chickentictactoe/Ipbo-g3.1962954523259226545.82047.9333333333334
DRESDEN/endgame/IJhh3Q3.21139630647765740.7703585232574230.66924410078656
BASE/incredible/8Qh-6Q3.2197474248275037374.187527082432290.3
BASE/twisty-passages/DiZmmg3.22794317672429233723.217258139691153.4333333333334
DRESDEN/sat_test_20v_91c/dK7nVw3.24653408270028182182.8967539825367672.3775874137528
DRESDEN/quartosuicide/WIU1oQ3.2504944391596233048.422034858533937.8333333333334
DRESDEN/quarto/OQzRYQ3.27463926354173433046.396906872875930.3
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.28334824438557772184.5210319312046665.3333333333334
BASE/simultaneousWin2/PfjRjw3.2855730319135246951.830507345348289.7
BASE/quartoSuicide/-23jUg3.28671727431483653074.0666666666666935.3
BASE/lightsOnSimul4/9FeASw3.2915947000303981059.090151641393321.7559414686177
BASE/quarto/EwBMVQ3.31831208371552583068.2219630061654924.6333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3.32763168872021042162.6666666666665649.9116696110129
BASE/ticTacToeSerial/Amrwqw3.3819929068711543340.732593407326987.8
DRESDEN/bunk_t/7-tPfA3.432003900166323976.43411886270451158.6333333333334
DRESDEN/twisty-passages/j7NPyg3.4586826507434193683.95818072850761065.1333333333334
BASE/bunk_t/xbpfIA3.47795500998006853980.8673044231861144.6
DRESDEN/doubletictactoe/lJzgmQ3.4890194661957384030.39898670044341155.1666666666667
BASE/doubletictactoe/HH1htg3.5157695664823974027.91145.6666666666667
DRESDEN/knightthrough/J7Fc_Q3.5282712654587491959.4189378290132555.348155061498
BASE/doubletoetictac/fu35bg3.53208230648178353965.2333333333331122.6333333333334
STANFORD/untwistycomplex/HTWEwg3.557353573843033519293.95423.666666666667
BASE/ticTacToeParallel/ymRGPw3.56590283487648833324.9666666666667932.4333333333333
BASE/lightsOut/5P1ZBw3.59073067981759183224.236768430876897.9333333333333
DRESDEN/lightsout2/LFtfyQ3.59552070874714553235.0098323500983899.7333333333333
DRESDEN/doubletoetictac/V89gKQ3.59899871199373144001.96660111329631111.9666666666667
BASE/lightsOnSimultaneous/_VN6lw3.5999804344383731447.192134644226402.0
BASE/knightThrough/gcwFjA3.647991907370081948.6923205064134534.1821939268691
STANFORD/tictictoe/rpt_Dw3.64907901688924556676.2333333333341829.5666666666666
DRESDEN/lightsout/XgLpzQ3.6582490990873463233.8922035932137884.0
BASE/asteroidsSerial/id2QkA3.703215226150149724.1494218401152625.866666666667
DRESDEN/tictactoeparallel/yk_DSg3.74811248495459063425.4913.9
BASE/ticTicToe/c1OobQ3.7664532980171436825.5666666666671812.2
DRESDEN/tictictoe/LAUtwg3.78576700247241646839.3666666666671806.6
BASE/eotcitcit/V_9_bg3.80783928173925956842.4333333333331796.9333333333334
BASE/asteroidsParallel/WauZiA3.846161438513340710409.8923440989242706.5666666666666
DRESDEN/brain_teaser_extended/ZDp94A4.1860783276481647649.51827.3666666666666
DRESDEN/tpeg/h-Scbg4.274708675010791980.7679488034132463.3691087260849
DRESDEN/mimikry/GJEhwA4.2747776958075281591.642228739003372.3333333333333
BASE/brain_teaser_extended/ZDp94A4.278482841559497673.7442085263831793.5666666666666
BASE/tictactoe2/bhrDoQ4.29853060216499610443.5666666666682429.5666666666666
BASE/wargame02/BkVqqQ4.32219592410902551183.2989141296382273.77262273772624
DRESDEN/aipsrovers01/qS47Mw4.3642062258542548393.3868871037631923.2333333333333
BASE/numbertictactoe/rvJ-iQ4.3677177847191235872.8333333333331344.6
BASE/tpeg/QNs7Lw4.4312453006926551981.8006066464452447.23333333333335
BASE/aipsrovers01/4C4jsw4.4423443276248788445.6369575361641901.1666666666667
DRESDEN/peg_bugfixed/u_B7MA4.4543118861364571916.77498916775430.3189893670211
STANFORD/breakthrough/d5j0cQ4.4823739680984082119.793402199267472.91756941435284
BASE/peg/fJHVWw4.51759680518848051910.5785895213971422.9192360254658
DRESDEN/peg/Vo31eg4.5327990681023441919.0360321322623423.3666666666667
BASE/wargame01/_GZFZg4.60812654931818952283.0194967505417495.43333333333334
DRESDEN/checkers/jIDMIg4.617101434893728657.8273165862586142.47625395767372
BASE/snakeParallel/RCVNtw4.6392294103384749566.72062.131262291257
BASE/pegEuro/5awwhg4.65309818875119151626.9791006966434349.6550114996167
BASE/minichess/8NQEiA4.761318403333214266.3896.0333333333333
BASE/connect4/50bOyw4.87176570346627451310.2115608862237268.9397726893977
DRESDEN/tictactoe_3player/ESLQQQ4.8816765925231762869.937668744375587.9
DRESDEN/blocksworldparallel/2JfVaw4.8852081058124018051.81648.2
DRESDEN/minichess/c7GMFw4.8866306764052084103.466666666666839.7333333333333
BASE/wargame03/klXI8w4.8916470117524331930.3426209838688394.62017932735574
DRESDEN/connect4/T0-rHQ4.8958997214289981307.2052256215425267.0
BASE/breakthroughHoles/nZk0Sg4.90778952978360651864.7964283334443379.96666666666664
BASE/tictactoe_3player/GtM71g4.9139755205144552866.813318668133583.4
DRESDEN/frogs_and_toads/GjchhQ4.9846409146370062376.099120703437476.684110529649
BASE/chineseCheckers4/avfBcQ5.0392739647751684227.446929049888838.9
DRESDEN/tictactoelarge/IwXcbg5.0823726179448735448.3034464369041072.0
DRESDEN/blockerparallel/dVQgSg5.0969162995594721349.6983634969836264.8068526480685
DRESDEN/crisscross/GsY16g5.1460962826269464223.744292237443820.7666666666667
BASE/ticTacToeLargeSuicide/727_8g5.149237370415615480.3333333333331064.3
BASE/breakthroughSuicideSmall/XSbJog5.1546672551804942916.338910739284565.7666666666667
BASE/crisscross/ICagEg5.1692471778463184200.013332000133812.5
BASE/ticTacToeLarge/TZC0dg5.1739297205805825432.971135257651050.0666666666666
BASE/breakthroughSmall/HJ0tIA5.1769347684971052910.720831805912562.2479250691644
DRESDEN/chinesecheckers4/-oVNYg5.19654105555503952133.353321340529410.53333333333336
DRESDEN/breakthroughsuicide/Y9QzqQ5.2445899759550662027.208845372498386.53333333333336
DRESDEN/tictactoelargesuicide/6J4DeA5.2500729453157315487.5512448755131045.2333333333333
BASE/blockerParallel/7-nDJA5.2813397120225541353.4313235343132256.26666666666665
BASE/breakthroughWalls/vOZaYA5.2885661175178472033.0333333333333384.4205193160228
BASE/tictactoe_3d_6player/d7KSwg5.30076533388144629.6050006649821118.77624475104979
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.3048017049139481653.0979347101932311.6229459018033
BASE/withConviction/3Xm54A5.4015170777990422398.0135981869084443.9518682710576
DRESDEN/breakthroughsuicide_v2/LU1nAw5.4033941356664112034.850403145199376.58744708509715
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5.4153204387909264160.9517144856545768.3666666666667
DRESDEN/backgammon/mqCW0Q5.4211917454800941100.3552103044185202.9729369417411
BASE/tictactoe_3d_small_6player/g_9lww5.4530458116477581665.1784226835039305.3666666666667
BASE/breakthroughSuicide/wZDpIg5.4645082255963642032.115134756971371.8752083194454
DRESDEN/breakthrough/z4hK7Q5.4670235769965952034.2116659449016372.08759708009734
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5.4693847038369643973.375541486171726.4757841405286
BASE/breakthrough/TGxk-g5.4989719874383132042.8371.48761707943066
BASE/conn4/va9Y7A5.5167959731533921627.0327912556652294.923502549915
DRESDEN/stratego/Z2wovg5.5364507597185072587.749116843298467.4021731884541
DRESDEN/tictactoe_3d_6player/ulZPWg5.567482152907373626.1330311916822112.46251249583472
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg5.605148403432273984.5671810939634710.8763041231958
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw5.7520711570914634350.674887518747756.3666666666667
BASE/checkers/rOC3Xg5.88378221176841299.8802873104548220.9259691343622
DRESDEN/tictactoe_3d_small_2player/HYttcg6.0730961197874742514.4990333977735414.0390640623958
BASE/breakthroughSmallHoles/bxclRw6.14810015497391852936.439689364397477.61741275290825
DRESDEN/blobwars/ZaMluQ6.16234008462456551302.015658837248211.28591427238183
STANFORD/sukoshi/4LYZZQ6.1764456841161538266.9666666666671338.4666666666667
BASE/blobwars/0XT15Q6.2100030695345331288.8607510579454207.5459120754591
BASE/tictactoe_3d_small_2player/oOryKA6.2337802948280172494.883503883204400.2199926669111
BASE/choicethroughalt/tt71Lg6.24878540006329251915.2694910169662306.5026830650268
BASE/checkersSmall/SYmq8w6.3177161240541281849.1955095106432292.7
STANFORD/triplesukoshi/Iu9mbA6.41203002454521352283.247783481101356.0881303956535
BASE/2pffa_zerosum/o0_uZA6.41306660054943745426.095650724879846.1
DRESDEN/tictactoe_3d_2player/LMuX9w6.572270911118403836.2358895807665127.23697803845769
DRESDEN/3pttc/uwYBZw6.6060783941016495724.6367151046525866.5711142961901
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6.6607178373496894129.645059156807620.0
BASE/amazonsSuicide_10x10/XIbQkg6.7171644623454631479.343520090549220.23333333333332
BASE/amazons_10x10/Bun8dA6.7719985255224741477.875811553188218.23333333333332
BASE/tictactoe_3d_2player/IUC1rQ6.859989781440012841.8932862896515122.72515165655624
DRESDEN/javastrike/whONTQ6.8622113097787831358.0316182052213197.9
BASE/escortLatch/mX9BjQ7.02586539413887853362.467095398354478.58404719842673
BASE/checkersTiny/Lr48cg7.08125357990344552884.5705143161895407.3530882303923
DRESDEN/cubicup/SBn_lw7.149673494735691007.6976906927922140.94317613731045
BASE/checkLines/Vop7oQ7.1891418005610827516.9666666666661045.6
BASE/dualConnect4/WbCQkg7.1900100139178853443.9478.9840338655378
BASE/2pttc/unkkYA7.2262094207511156054.6837.8666666666667
BASE/cubicup/4wNWJA7.2799105496073911013.3635485053487139.2
BASE/hidato37/pBrqxw7.305217391304348560.010665600106776.65900076659001
BASE/3pttc/0sol9g7.31783981122835055478.684043865204748.6750441651945
BASE/futoshiki4/BaCwSw7.408115086683883347.233333333333451.8333333333333
BASE/amazons_8x8/7SOsIw7.4121451296479492189.822832023445295.4371229543712
BASE/knightazons/apnJBQ7.41363724357939451213.8595380153995163.73333333333332
DRESDEN/knightazons/02I8BQ7.4899472470430451217.1164276444947162.5
DRESDEN/small_dominion/yB5GJA7.54250883776838713.780766555139631.8270799347471451
BASE/futoshiki5/TJ4BZg7.6671346338748041683.1666666666667219.53007832027996
DRESDEN/pawn_whopping_simultaneous/r8dLfw7.6708525035476833511.7162761241293457.8
DRESDEN/connectfoursuicide/M9CNQg7.6775058874199465166.361121295957672.9218052129858
BASE/connectFour/WAIKTw7.7558734905003475197.466666666666670.1329867013299
STANFORD/connectfour/VMpZkQ7.7852275005011035178.733333333334665.2
DRESDEN/kitten_escapes_from_fire/uW-YiA7.79517450856782618135.7333333333342326.5333333333333
DRESDEN/connectfour/5tc-Mg7.8736443230852215190.133333333333659.1780273990867
BASE/kitten_escapes_from_fire/uW-YiA7.93711631957042218230.2333333333342296.8333333333335
DRESDEN/pawn_whopping/4ogBkg7.9429506241331864751.049930004667598.1467284423852
STANFORD/multiplesukoshi/vLSQPg7.952429129293655388.4662658206823448.848755456332675
DRESDEN/ggp-course2013_jordi/9QI6Kw7.9906035453815925845.9385620043979105.86666666666666
BASE/pawnWhopping/Ypc_6Q8.0069493019951234632.933333333333578.6140461984601
BASE/ticTacHeavenFC/mrletw8.1197922207813532041.9235511713932251.47485251474853
BASE/connectFourSuicide/c8p9Kw8.2076371064899695223.066666666667636.3666666666667
BASE/connectFour_9x6/B9TtMw8.2316440242142624977.400753308223604.6666666666666
STANFORD/duikoshi/tpw1sw8.28199297084974006.0483.7
DRESDEN/pawn_whopping_corrected/7Ov0jQ8.3305606238275874675.38830744617561.2333333333333
BASE/hidato19/rRHSmA8.3391667725032762653.156456236251318.15606146461784
BASE/ttcc4_2player_small/Cv72TA8.5325286417146726109.859342710486716.0666666666667
BASE/englishDraughts/jFkQxg8.8014581185583374007.463681194189455.3181560614646
STANFORD/ttcc4/Cx9SGw8.9218548349484234176.47842745294468.1177294090197
BASE/futoshiki6/JmvXNA8.9690132619849021129.8696970706835125.9748050389922
BASE/connectFourLarge/aU644A9.082145940433894335.066493350665477.31742275257494
BASE/ttcc4_2player_alt/ZEJvYA9.1656318681042874686.387574161722511.3
DRESDEN/farmers/S_ASnw9.197376958199445082.163927869071552.5666666666667
BASE/3pConnectFour/PqXOFQ9.2016099579597473476.368242117192377.8
DRESDEN/tttcc4/sAvtFg9.3062069836746563994.534244292618429.23333333333335
BASE/ticTacToeNoVars/XT03NA9.31962383191476810438.61120.0666666666666
BASE/cubicup_3player/e2yA_g9.394520170009486594.181721572794963.24769235895898
BASE/tttcc4/8Bs2lg9.3994185500845784007.46517363194426.35245491816937
BASE/ttcc4/Le0qjQ9.4398049854525434001.399953334889423.8858704709843
DRESDEN/slidingpieces/s9_44g9.5242100281872341440.6474820143885151.26162461251292
DRESDEN/cubicup_3player/awDtsQ9.583731690418388589.659990684676261.5271806152718
BASE/chess_200/XsTpYA9.725170533114552522.85514532077153.763082461169255
DRESDEN/quad_5x5_8_2/JRTLJg9.8732377767406451092.5290610531927110.655601106556
STANFORD/pentago/ZxzLmg9.8888657940799163634.2455251491615367.5088327444837
BASE/amazonsTorus_10x10/Uxc08g9.9083269480188921271.8989025606918128.36666666666667
BASE/slidingpieces/uFJWEw9.974619727411451455.7193729823277145.94234294284286
DRESDEN/ggp-course2013_nicolai/uEin8g10.020661729270415722.155688622754572.06666666666666
STANFORD/selectivesukoshi/3xmXYg10.114396067618685512.006119462551550.62152164494951
BASE/connectFourSimultaneous/7ITr3g10.2152494571971392898.310168983102283.7238758708043
BASE/speedChess/bPnisA10.3504025493126321772.5607725607726171.25524965002333
BASE/ttcc4_2player/_aH_Mw10.378160572835924451.588174515881428.93807079528034
BASE/skirmishZeroSum/zh4hcw10.4562603211329211596.700153017098152.70279277477837
BASE/ticTacHeaven/18n58A10.4960334956887812708.676377454085258.06666666666666
BASE/connectFourLarger/qKi60A12.20468830679183349.780117270789274.46666666666664
BASE/quad_5x5/JAEP5g13.426614186067892963.135790947270271.73333333333333
BASE/pentago/86NgKw13.4463624328431343432.4081170237578255.26666666666668
DRESDEN/quad_5x5/JAEP5g13.649692378675097958.168061064631270.19704433497537
BASE/pentagoSuicide/SBgNhw13.9471443688413063439.8307061685605246.63333333333333
DRESDEN/pentago_2008/hLjVpQ14.4640593010095383463.5446157945576239.45868471050966
BASE/snake2p/I3wWPQ14.924143462683793563.766666666667238.7920402653245
BASE/nineBoardTicTacToePie/B8LzeQ15.0068246477942793171.808368869936211.35772845430913
STANFORD/nineboardtictactoe/y28P-A16.094048838659393441.1213.81195213811952
BASE/blocksWorldParallel/RseaAQ16.6594541037996687029.5421.9526015799473
BASE/nineBoardTicTacToe/wRmqqA16.7691417648143073444.825862356274205.4264857838072
BASE/god/qF06gw18.49101976545073930.865596055174350.34149591870732
DRESDEN/god/2EDD5w18.524734907479708933.242234368750850.37816945990071
BASE/coins/QnGtnQ20.793278506079217676.366666666667369.17538830744616
DRESDEN/coins/QwFP9w20.832876852020117642.633333333333366.8544381853938
BASE/coins_atomic/AA3SSw22.512820512820517726.4343.2
BASE/sudokuGrade5/BQfUQA25.82227117709735417.5274908363878716.16927837109492
BASE/sudokuGrade6E/ihYFZA26.078623043237194381.553591600770814.63089485085819
STANFORD/duidoku/3SoMaA26.196361120935766400.724180314254415.296940611877625
BASE/sudokuGrade4/DTy07w26.21561506526562415.982448558986815.867735604271315
BASE/sudokuGrade6H/ieE_9A26.241123669312497383.50933120807614.614821226446502
BASE/sudokuGrade3/eI8dvg26.492833884021007413.909160585157815.623438488956994
BASE/sudokuGrade1/tDRNRw26.52244508482986430.799933477465516.242843829050727
STANFORD/sudoku/oJ1qyQ26.713381404218566408.678842820957215.29865637887455
BASE/sudokuGrade2/u80Tfw26.79108034347334419.2238567529787515.647889199627114
BASE/reversiSuicide/9OxJlg28.595948534671788456.4906801342326615.963473971872292
DRESDEN/capture_the_king/EQ229Q28.87348548077451359.442703819745247.08273633001233
BASE/reversi/d8UMeA29.53892321240767458.660631074424215.527330762069424
DRESDEN/Zhadu/9zpQ5w29.872704291258541636.206092114910554.772613693153424
BASE/qyshinsu/R08Lzw31.2173048181579132880.493086789938492.27231830450864
DRESDEN/pawntoqueen/f_x6Aw33.35658192563431650.106624017059919.48960554371002
DRESDEN/quad/JPe6fg33.40312550.230263157894741.5037593984962405
BASE/pawnToQueen/-O1_JA34.37362228648706649.315159796047618.88992537313433
BASE/quad/tw-Ufg34.9663231564416252.329127740858451.4965579167913798
DRESDEN/quad_7x7/q-JOXg40.03224220563896359.13384779137848.971114981433407
DRESDEN/battlebrushes/QHXV4A41.449833361106485833.327778703549420.10449044375372
BASE/quad_7x7/q-JOXg43.78044959264972364.487538318006168.325349367339522
DRESDEN/amazons/dNB28A45.21401672936184438.302957872721839.693961952026468
BASE/hitori/S8Gsyg46.9400659823183661870.946238709462539.85819362533961
DRESDEN/hitori/S8Gsyg49.237537038312471870.859161501033237.996603283492625
BASE/merrills/pku8Tg53.4556617850073151132.738649980029321.190246498785804
DRESDEN/merrills/aYEzwA54.129984370871891130.934532733633220.892940315390245
BASE/othello-comp2007/86ZoMw71.56774630667346308.54304635761594.311202493864827
DRESDEN/ggp-course2013_michal13/jWKddg77.01927736288492305.27575546025733.963627885287946
BASE/amazonsSuicide/dE1QEQ86.14802480440565117.239320774741321.3609055000497892
BASE/battlebrushes/arCwyA99.33675714285714849.93333333333338.55608092894593
BASE/blokbox_simple/JBx4bg103.5718257645968578.147755858599230.7545271629778671
DRESDEN/laikLee_hex/ZeP3QQ108.539528227480292665.76666666666724.56033032573788
BASE/amazons/RKKZjw136.60712260977584116.643191719348820.8538587848932676
BASE/laikLee_hex/zbyscQ203.88643575523152653.68975401639913.015528689717204
DRESDEN/satlike_20v_91c_version2/yd9ioQ3083.7528078653562032.3279453424430.659043727551323
DRESDEN/satlike_20v_91c/yeuENQ3798.43073795080362044.53036464235720.5382565869149823
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g3913.1903873075132011.19925338310780.5139538469445444
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA4202.5177494083531856.60477984067190.4417839234830245

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
STANFORD/freeforall/Lfp40QTest process failed to output results for unknown reason
DRESDEN/max_knights/hCipiATest process failed to output results for unknown reason
STANFORD/knightstourbig/TQUI2gTest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
BASE/slaughter/cOch8ATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reason
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
BASE/queens/HyJJnQTest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
DRESDEN/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reason
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reason
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest process failed to output results for unknown reason
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
BASE/gt_coordination/IVMOzATest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/skirmishfinal/hzq8wwTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6/yTbPDATest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
BASE/knightwar/DVGY4QTest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/alexChess/LNo83gTest process timed out after 240 secondsException of type StackOverflowError
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reasonException of type NullPointerException
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reasonException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reasonException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reasonException of type NullPointerException
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reasonException of type NullPointerException
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reasonException of type NullPointerException
BASE/sudoku/NTaNkwTest process failed to output results for unknown reasonException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reasonException of type NullPointerException

index