index

CADIAPLAYER_PROLOG:3.0 vs. PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second
DRESDEN/mummymaze2p/k-8edg0.3912759343697925363.93878908848967930.1333333333333
BASE/mummymaze2p/vpjDdA0.39420631110750537363.72102304852496922.6666666666666
BASE/onestep/xi53wA0.610382955075824456.96666666666740068.23333333333
DRESDEN/firefighter/WJmoPw0.64690070864217653706.2666666666675729.266666666666
BASE/tron_10x10/7ZTgDg0.6697013210798391554.62321.3333333333335
BASE/firefighter/WJmoPw0.67227616504238643704.3985338220595510.233333333334
DRESDEN/hallway/0H4l-Q0.8102606697372221205.04313205043132253.05823139228693
BASE/hallway/ckCJOw0.8296540608570558205.0839583195062247.19213464422597
STANFORD/buttonsandlights/eyhJpA0.892427678601760528896.632379.766666666666
DRESDEN/blocks2player/3ev8nQ0.92389504373177837922.48575.0
BASE/factoringMediumTurtleBrain/8RBqmQ0.9560828507623023673.8566007589375704.809839672011
BASE/haystack/UkweGA0.961324170307891933800.7666666666735160.63333333333
DRESDEN/troublemaker01/C-lPWw1.001189759629177423730.46666666666723702.266666666666
BASE/blocks2player/wnTLOQ1.0190760110975177885.0666666666677737.466666666666
BASE/troublemaker01/s3tlEQ1.027805045218775223593.33333333333222955.066666666666
BASE/bomberman2p/4CClwA1.04183843521309231110.14830861523071065.5666666666666
DRESDEN/bomberman2p/x4h6jQ1.04504023133014831108.31060.5333333333333
BASE/troublemaker02/DI83KA1.092539892505837423098.73333333333421142.233333333334
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.13598899009071273817.491001199843360.5
DRESDEN/troublemaker02/iZLVuA1.138282458123789823358.46666666666720520.8
DRESDEN/lightson2x2/gBHuig1.15369729017431884822.8392386920434180.333333333333
BASE/survival/YVIjJA1.157865765264722233865.56666666666629248.266666666666
DRESDEN/ghostmaze2p/HY0UwA1.17444358679241262489.4680709238772119.7
DRESDEN/blocks/vg0DRw1.177988602792057213650.111587.633333333333
DRESDEN/buttons/ADUaHw1.183381021473552718459.615599.033333333333
BASE/switches/tPUoCg1.187859506370864614909.93333333333212551.933333333332
BASE/ghostMaze2p/W-NU-w1.19270437334220542488.5379181660672086.4666666666667
BASE/untwistycomplex2/EDPPAQ1.202056346361978421398.76666666666617801.8
BASE/buttons/hTcUjw1.213551445181399618766.415464.033333333333
BASE/blocksWorld/SEdXLQ1.219860835339389613884.711382.2
BASE/sheepAndWolf/g4THrg1.225360786410366834.9608398600234681.4
STANFORD/untwistycorridor/EDPPAQ1.23457058086336821803.83333333333217661.066666666666
BASE/blocks/xIV5hQ1.238914608444433813951.511261.066666666668
DRESDEN/sheep_and_wolf/enAIzQ1.267330586728018843.6760934012858665.7111429619013
BASE/coloredtrails/EZvr7g1.29408416904083163075.9949336710892376.9666666666667
BASE/maze/cCX3qQ1.321593546315166521810.56666666666616503.233333333334
BASE/majorities/ibJzSQ1.349290722540811165.08714957916362122.35105957616953
DRESDEN/latenttictactoe/kITHKg1.386989916048262847.16666666666652052.766666666667
BASE/pancakes/yUgbXw1.399745807003373319640.314031.333333333334
STANFORD/multipletictactoe/_bkafQ1.4060870244727748616.0125274871726438.1041263915739
STANFORD/threepuzzle/41ibjA1.40685338757627913486.89586.5
STANFORD/3puzzle/41ibjA1.408866960623533613430.49532.766666666666
DRESDEN/pancakes6/SZXMyQ1.421382195376003519695.66666666666813856.7
DRESDEN/pancakes/hl9aiQ1.43001178411539819531.4822839238713658.266666666666
BASE/pancakes6/QZTdnw1.448065098821555819779.0740308656413658.967436589674
DRESDEN/tictactoex9/rFkD4w1.489810258628978516.5346.6884437185427
DRESDEN/racetrackcorridor/O0DoTA1.49019714848720471535.54881503949881030.4333333333334
BASE/tictactoex9/BI26ow1.4963872760760786514.8880895283773344.0874550059992
BASE/wallmaze/uxNQ9g1.501812344993791381.14726825048245253.7915402819906
STANFORD/multiplebuttonsandlights_9/SqB9BA1.518983716309348516971.211172.733333333334
DRESDEN/toetictac/mJtxCA1.53755113477164489145.8666666666675948.333333333333
BASE/toetictac/mTThmg1.57207456995363679166.45830.766666666666
STANFORD/multiplebuttonsandlights/cK70Yg1.580871584487963517019.410765.833333333334
BASE/pearls/6k_mEQ1.593712880025060633408.120962.433333333334
BASE/lightsOn/MsXu3A1.64056603509739169983.5005499816676085.4
BASE/blocker/dIWtxg1.65119171645348484878.1707276424122954.3333333333335
DRESDEN/pancakes88/aD3E7g1.662011631619623818565.83333333333211170.7
BASE/factoringEasyTurtleBrain/lUj94Q1.67503461610730624962.3458847050982962.5333333333333
DRESDEN/blocker/S815zQ1.7424184490381174860.7666666666662789.6666666666665
STANFORD/bestbuttonsandlights/nm0wEA1.772466763668963516607.69369.766666666666
DRESDEN/tictactoe_orthogonal/y69QFQ1.77881504448638427037.4666666666663956.266666666667
BASE/pancakes88/l2Xaig1.781698056134876318652.310468.833333333334
BASE/tictactoe_orthogonal/WRzlVw1.79596793369347049.5333333333343925.2
DRESDEN/cube_2x2x2/fp-34Q1.83963225525936022641.9572028531431436.1333333333334
BASE/chickentoetictac/l57rfQ1.84123971263421068568.74653.766666666666
DRESDEN/chickentoetictac/cxYaRQ1.8614875534755528644.54643.866666666667
BASE/roshambo2/KNPokQ1.87887817202940515343.7333333333348166.433333333333
BASE/hodgepodge/9yjRkw1.893373309178044710904.05759.033333333334
DRESDEN/roshambo2/jgSlkQ1.90573554275174815292.0666666666688024.233333333334
BASE/eightPuzzle/vLrgFg1.9376587652874228233.1766823317674249.033333333334
DRESDEN/8puzzle/8fKC2w1.94064361298489238261.4492367175524257.066666666667
STANFORD/8puzzle/jNiGtw1.94347368354041838234.6275620729884237.066666666667
BASE/catcha_mouse/cHv4dw2.0114254708940611043.492751208132518.7827072430919
DRESDEN/catcha_mouse/cHv4dw2.03253815932455151041.8790604697651512.6
DRESDEN/oisters_farm/pTQMLg2.03647622859115615793.2804479701357755.2
DRESDEN/circlesolitaire/ruUilQ2.074284287835192610525.3333333333345074.2
BASE/circlesolitaire/azuQFQ2.086274328753932510544.15054.033333333334
BASE/incredible/8Qh-6Q2.09097945002337367374.187527082433526.6666666666665
BASE/lightsOnParallel/SC6enA2.10659481400319454587.1804273190892177.5333333333333
DRESDEN/grid_game/U7_Yeg2.131593013480351339.919368273748628.6
STANFORD/bestbuttonsandlightsbig/g0JC6g2.14114114114114113689.66393.6
DRESDEN/tictactoe/BTTzPw2.1563729225446386980.4666666666663237.133333333333
BASE/ticTacToe/JRFsaQ2.19134015446840066989.1333333333333189.4333333333334
BASE/blocksWorldSerial/Wyg96Q2.2574365604712788264.43660.9666666666667
STANFORD/jointbuttonsandlights/qAKuIQ2.280611217400060612079.3333333333345296.533333333334
DRESDEN/eotcatcit/mQUxzA2.28488475177304956872.9333333333333008.0
BASE/eotcatcit/AfZSzA2.3152647415457856873.8666666666672968.9333333333334
STANFORD/trifecta/ss1kyQ2.3516920738522067014.02982.5333333333333
STANFORD/tictactoe/ss1kyQ2.37711759265525267025.3333333333332955.4
BASE/chickentictactoe/DSlZCA2.4452136398409776499.1333333333332657.9
DRESDEN/chickentictactoe/Ipbo-g2.45075379392971246545.82670.9333333333334
DRESDEN/tictactoe-init1/3ltIBQ2.5153429494493356981.1666666666672775.4333333333334
DRESDEN/sum15/CsgWKg2.5255024755243338280.5333333333333278.766666666667
BASE/sum15/QZ07Kg2.55573370369992158342.03264.0333333333333
BASE/tictactoe-init1/7M19vA2.64368381861093266982.2333333333342641.1
STANFORD/tictactoe7/-bE9-A2.6697621918370496938.02598.733333333333
BASE/hexPie/48CH6Q2.6963694755814767342.21215955250716126.91590030654405
DRESDEN/Runners/3bOCQw2.71955799200327515077.8640711976265544.233333333334
BASE/hex/T1MK8g2.7223406076126055349.53688278803224128.3957201426619
STANFORD/hex/MTqWcw2.794555775127295356.29398486256804127.49575014166194
BASE/racetrackcorridor/_RkdUg2.8276652989070491781.1812545830278629.9123362554582
DRESDEN/blocksworldparallel/2JfVaw2.94574456409068168051.82733.366666666667
DRESDEN/chinesecheckers1/Y-ftaA2.99064401231778472515.231302493001841.0333333333333
BASE/factoringGeorgeForman/HGRorQ2.9962211821328129501.6166127795733171.2
DRESDEN/mummymaze2p-comp2007/oTQRQg3.0553349496832142056.240421136803673.0
BASE/mummyMaze2p_2007/YGA3Vw3.0867922934843872080.0506565353594673.8550763282448
STANFORD/untwistycomplex/HTWEwg3.13619960988296519293.96152.0
BASE/eotcitcit/V_9_bg3.17548690500131466842.4333333333332154.766666666667
STANFORD/tictictoe/rpt_Dw3.1991662141008856676.2333333333342086.866666666667
STANFORD/tictactoe5/WFRReg3.22253359757230446937.92152.9333333333334
BASE/ticTicToe/c1OobQ3.2455817787006076825.5666666666672103.0333333333333
DRESDEN/tictictoe/LAUtwg3.26690125147278956839.3666666666672093.5333333333333
DRESDEN/twisty-passages/j7NPyg3.31440232184301163683.95818072850761111.5
BASE/twisty-passages/DiZmmg3.42280874403795873723.217258139691087.7666666666667
BASE/lightsOnSimul4/9FeASw3.62619316928119061059.090151641393292.06666666666666
STANFORD/breakthrough/d5j0cQ3.63529906593004532119.793402199267583.1138962034598
BASE/asteroids/BKCmPQ3.7554817536455416275.3816412239184333.766666666666
BASE/knightfight/SJRkAg3.7569045836225444751.8581475185811264.8333333333333
DRESDEN/connect5/1kYzSg3.8175832176053075771.3278808431412202.04612103439084
BASE/connect5/d-BVQg3.8276542330084555776.3241119877492202.8198120125325
DRESDEN/knightfight/4_Ly4w3.82893403311334717.61232.0922635912136
BASE/lightsOnSimultaneous/_VN6lw3.9009174511645481447.192134644226370.9876337455418
BASE/snakeParallel/RCVNtw3.904403662236259566.72450.233333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA3.963372321403642513155.4896340243983319.266666666667
STANFORD/tictactoe3/X7myng3.9806352557336156913.71736.8333333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA4.03084767237503613149.73262.266666666667
DRESDEN/Thief_Police/CX18rA4.037071636141428512933.8355388153723203.766666666667
DRESDEN/catch_me/ghGWrA4.08695199049298613123.4753049390133211.0666666666666
BASE/lightsOut/5P1ZBw4.2108355340614813224.236768430876765.7
DRESDEN/lightsout/XgLpzQ4.2556812785803583233.8922035932137759.9
BASE/ticTacToeParallel/ymRGPw4.2567746340630733324.9666666666667781.1
DRESDEN/lightsout2/LFtfyQ4.2721439877846093235.0098323500983757.2333333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A4.28858956494813451846.6666666666667430.6
DRESDEN/uf20-01.cnf.SAT/42Rs8A4.4112567834410332037.2654244858504461.8333333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg4.4354349327835021986.3356107315446447.8333333333333
DRESDEN/frogs_and_toads/GjchhQ4.56723152999896252376.099120703437520.2493250224993
DRESDEN/tictactoeparallel/yk_DSg4.58135033880171253425.4747.6834877674821
BASE/dotsAndBoxes/EHwA_w4.6347134929857441586.307938199254342.26666666666665
BASE/dotsAndBoxesSuicide/jzQbLw4.6604610455794581583.1556503198294339.69936339699365
BASE/asteroidsParallel/WauZiA4.67139500580329510409.8923440989242228.4333333333334
STANFORD/platformjumpers/HEQskA4.8056007308150805389.73421926910381.1
BASE/withConviction/3Xm54A4.83730553695583952398.0135981869084495.73333333333335
BASE/tictactoe2/bhrDoQ4.9086137745190210443.5666666666682127.6
BASE/endgame/jYjfOA4.923071227349515729.5748367319738148.1950601646612
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA5.0073319441228682162.6666666666665431.9
DRESDEN/sat_test_20v_91c_version2/a1mPBA5.077919646516052184.5210319312046430.2
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5.1282596043961943973.375541486171774.8
DRESDEN/sat_test_20v_91c/dK7nVw5.1396237259637482182.8967539825367424.7191760274658
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5.14438703624849054160.9517144856545808.8333333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg5.2451520593601983984.5671810939634759.6666666666666
BASE/tictactoe_3player/GtM71g5.34479448606863452866.813318668133536.3748458692971
BASE/asteroidsSerial/id2QkA5.38863407014063349724.1494218401151804.5666666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw5.43313685324740454350.674887518747800.7666666666667
DRESDEN/tictactoe_3player/ESLQQQ5.57974207763592742869.937668744375514.3495216826105
DRESDEN/bunk_t/7-tPfA5.8482705934837313976.4341188627045679.9333333333333
DRESDEN/crossers3/xiPTxg5.9388072064609651911.7725484967668321.9118725418305
DRESDEN/doubletoetictac/V89gKQ5.9686302775738954001.9666011132963670.5
BASE/numbertictactoe/rvJ-iQ5.9729803030816695872.833333333333983.2333333333333
DRESDEN/endgame/IJhh3Q6.0145741613142745740.7703585232574123.16256124795841
BASE/bunk_t/xbpfIA6.07302411048540953980.867304423186655.5
BASE/crossers3/O0rORg6.074393264501521909.181803032828314.3
BASE/doubletoetictac/fu35bg6.1536909627023943965.233333333333644.3666666666667
BASE/doubletictactoe/HH1htg6.1554174519892014027.9654.3666666666667
DRESDEN/doubletictactoe/lJzgmQ6.162689582110774030.3989867004434654.0
BASE/minichess/8NQEiA6.4447767522658624266.3661.9779340688643
BASE/double_tictactoe_dengji/zgaSbA6.5744827915346053818.6787547496833580.8333333333334
DRESDEN/mimikry/GJEhwA6.6332060212012181591.642228739003239.9506699553363
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6.8029955397674064129.645059156807607.0333333333333
DRESDEN/knightmove/97Ipcw6.809990089571589986.4419201172591144.8521814485218
DRESDEN/minichess/c7GMFw6.8934931123306074103.466666666666595.2666666666667
BASE/blockerParallel/7-nDJA6.9233838991775731353.4313235343132195.48696753549763
DRESDEN/blockerparallel/dVQgSg6.9343064551992291349.6983634969836194.64071457139048
DRESDEN/double_tictactoe_dengji/bGaUyQ6.9883101449884323814.918508149185545.9
BASE/knightmove/jBaJEw7.17936964116569984.9766822118588137.19542681910602
BASE/hanoi_6_disks/MeubgQ7.257600679153189118.9333333333321256.4666666666667
DRESDEN/stratego/Z2wovg7.2814726368801162587.749116843298355.38815372820903
DRESDEN/hanoi_6_disks/MeubgQ7.2831050228310519091.51248.3
BASE/ticTacToeLargeSuicide/727_8g7.3259959005436235480.333333333333748.0666666666667
DRESDEN/hanoi/RQ0jiA7.38500228623685510228.9666666666671385.1
BASE/ticTacToeLarge/TZC0dg7.4001876984213165432.97113525765734.1666666666666
DRESDEN/tictactoelarge/IwXcbg7.4170306027638565448.303446436904734.5666666666667
DRESDEN/tictactoelargesuicide/6J4DeA7.4270570191266695487.551244875513738.8594473885945
BASE/hanoi/iGLsJg7.54311021975842310215.8856076261581354.3333333333333
BASE/breakthroughSmallHoles/bxclRw7.8629174509658412936.439689364397373.4542181927269
BASE/dualConnect4/WbCQkg8.9439442434210523443.9385.0538315389487
DRESDEN/connectfoursuicide/M9CNQg9.0037663319901665166.361121295957573.8
BASE/connectFour/WAIKTw9.1634320662710765197.466666666666567.1965077143524
BASE/connectFourSuicide/c8p9Kw9.186681307771985223.066666666667568.5477150761641
DRESDEN/brain_teaser_extended/ZDp94A9.2099144995585527649.5830.5723142561915
BASE/tictactoe_3d_small_2player/oOryKA9.2512044102711522494.883503883204269.68202119858677
STANFORD/sukoshi/4LYZZQ9.2925165592606488266.966666666667889.6370120995966
BASE/conn4/va9Y7A9.3085884445561541627.0327912556652174.78834744350377
DRESDEN/connectfour/5tc-Mg9.3174555681886195190.133333333333557.0333333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg9.34072415476872514.4990333977735269.1974403412878
BASE/ticTacToeNoVars/XT03NA9.35079128097939710438.61116.3333333333333
DRESDEN/hanoi7/51zz5Q9.3854632836764818796.994735789965937.3
BASE/brain_teaser_extended/ZDp94A9.4846871397409157673.744208526383809.0666666666667
DRESDEN/aipsrovers01/qS47Mw9.566203427289458393.386887103763877.4
BASE/hanoi7_bugfix/3gdnFw9.6027052923415068789.996334433003915.3666666666667
DRESDEN/hanoi7_bugfix/3gdnFw9.6111940858823698863.122812864523922.1666666666666
DRESDEN/3pttc/uwYBZw9.6574875697654835724.6367151046525592.7666666666667
STANFORD/connectfour/VMpZkQ9.707698075481135178.733333333334533.4666666666667
BASE/cubicup/4wNWJA9.7312085526710421013.3635485053487104.13542603885502
BASE/aipsrovers01/4C4jsw9.861351068850418445.636957536164856.4381187293757
DRESDEN/cubicup/SBn_lw9.9522585620627191007.6976906927922101.25316624450073
DRESDEN/chinesecheckers4/-oVNYg9.9689407539277062133.353321340529214.0
BASE/blobwars/0XT15Q10.3567811838024421288.8607510579454124.44607336820711
BASE/connectFour_9x6/B9TtMw10.3876189634258564977.400753308223479.1666666666667
BASE/breakthroughHoles/nZk0Sg10.397253752622191864.7964283334443179.35470968602093
DRESDEN/chomp/-LcqYQ10.571124016135383580.9338.7435427428762
BASE/mummymaze1p/PT_EXA10.5989408699028171066.075772216854100.58323612731212
BASE/3pConnectFour/PqXOFQ10.6343476357209923476.368242117192326.9
BASE/breakthroughSuicideSmall/XSbJog10.6563045108891412916.338910739284273.6726327367263
BASE/chomp/-LcqYQ10.735769501054113564.633333333333332.03333333333336
BASE/breakthroughSmall/HJ0tIA10.7754856459784262910.720831805912270.12432918902704
DRESDEN/blobwars/ZaMluQ10.8234335773832861302.015658837248120.29599013366222
DRESDEN/mummymaze1p/AekgaQ10.8653299191374661074.898.92014398080256
DRESDEN/breakthroughsuicide/Y9QzqQ11.2387978929335622027.208845372498180.3759498733502
BASE/knightThrough/gcwFjA11.2392571495874521948.6923205064134173.3826617338266
DRESDEN/knightthrough/J7Fc_Q11.3916615441890221959.4189378290132172.0046658890185
DRESDEN/breakthroughsuicide_v2/LU1nAw11.3937191012988262034.850403145199178.5940468651045
DRESDEN/tictactoe_3d_2player/LMuX9w11.427922780506568836.235889580766573.17479349853451
BASE/tictactoe_3d_2player/IUC1rQ11.456007555685748841.893286289651573.48923978945966
DRESDEN/connect4/T0-rHQ11.4667125054521281307.2052256215425114.0
DRESDEN/bidding-tictactoe/yW5vTA11.4970825213817975282.55724809173459.46936870875277
BASE/biddingTicTacToe/8mESVw11.7570336140175235267.624412519583448.04026129849353
BASE/connect4/50bOyw11.7699364289910951310.2115608862237111.31849086788428
BASE/breakthroughSuicide/wZDpIg11.8272648667533282032.115134756971171.8161517181615
DRESDEN/quarto/OQzRYQ11.8586938631235413046.396906872875256.89143695210157
DRESDEN/breakthrough/z4hK7Q11.8898146116654862034.2116659449016171.0885940937271
BASE/quartoSuicide/-23jUg12.0425698615826583074.0666666666666255.26666666666668
BASE/breakthrough/TGxk-g12.0475806565755852042.8169.56101463284557
BASE/blockerSerial/3eqDuw12.0487172719123822086.227584827678173.1493517314935
BASE/chinook/XQh0IQ12.051509153000584720.110504593263259.75272436431499
BASE/breakthroughWalls/vOZaYA12.117024056416372033.0333333333333167.78322167783222
BASE/chineseCheckers4/avfBcQ12.276005020956024227.446929049888344.3666666666667
DRESDEN/quartosuicide/WIU1oQ12.3255317763500033048.422034858533247.32580225932222
BASE/crisscross/ICagEg12.395514014756914200.013332000133338.8333333333333
BASE/quarto/EwBMVQ12.5084559195743933068.2219630061654245.2918236058798
BASE/connectFourLarge/aU644A12.5287221783553274335.066493350665346.01026598226787
DRESDEN/pawn_whopping/4ogBkg12.7777901344751244751.049930004667371.82093930202325
BASE/pawnWhopping/Ypc_6Q13.0309394337146064632.933333333333355.53333333333336
BASE/escortLatch/mX9BjQ13.1853009797596943362.467095398354255.01633224451703
DRESDEN/crisscross/GsY16g13.2124675482960864223.744292237443319.67868808746084
DRESDEN/pawn_whopping_corrected/7Ov0jQ13.242225191029564675.38830744617353.06666666666666
BASE/connectFourSimultaneous/7ITr3g13.2976597753068742898.310168983102217.95640871825634
BASE/cubicup_3player/e2yA_g14.404347195349533594.181721572794941.25016660002665
BASE/ticTacHeavenFC/mrletw14.4212351862664652041.9235511713932141.59144655763913
DRESDEN/cubicup_3player/awDtsQ14.734135154410604589.659990684676240.019993335554815
BASE/futoshiki4/BaCwSw16.5573532124209953347.233333333333202.1599280023999
BASE/choicethroughalt/tt71Lg17.1995901044543661915.2694910169662111.35553111355532
BASE/3pttc/0sol9g17.2074958123953085478.684043865204318.38938702043265
BASE/ticTacToeSerial/Amrwqw17.5273092262959983340.732593407326190.60156640559907
STANFORD/multiplesukoshi/vLSQPg17.69201522925059388.4662658206823421.95715190084297
DRESDEN/tpeg/h-Scbg17.7830525242063471980.7679488034132111.38514864684709
BASE/tpeg/QNs7Lw17.9691639773990031981.8006066464452110.2889711028897
DRESDEN/kitten_escapes_from_fire/uW-YiA18.27216550241805518135.733333333334992.5333333333333
BASE/kitten_escapes_from_fire/uW-YiA18.56565279380813418230.233333333334981.9333333333333
BASE/nineBoardTicTacToePie/B8LzeQ18.6363930423946263171.808368869936170.19432685577146
BASE/2pffa_zerosum/o0_uZA18.7788351266637225426.095650724879288.9474035064329
BASE/knightazons/apnJBQ19.006151430303751213.859538015399563.86666666666667
DRESDEN/battlebrushes/QHXV4A19.055386195796633833.327778703549443.73187560414653
BASE/peg/fJHVWw19.156215467072371910.578589521397199.73674564297377
BASE/tictactoe_3d_small_6player/g_9lww19.22355267187221665.178422683503986.62178376216505
BASE/connectFourLarger/qKi60A19.259630758574353349.780117270789173.92753574880837
DRESDEN/javastrike/whONTQ19.3006464279455481358.031618205221370.36197586827545
DRESDEN/knightazons/02I8BQ19.447939169731631217.116427644494762.58331111703546
STANFORD/nineboardtictactoe/y28P-A19.5438586977096343441.1176.07065489085153
DRESDEN/peg_bugfixed/u_B7MA19.8183437456851621916.7749891677596.71721379770038
DRESDEN/tictactoe_3d_small_6player/llDEDQ19.8299044938986421653.097934710193283.36388787040433
DRESDEN/ggp-course2013_jordi/9QI6Kw20.04413699284454845.938562004397942.203790679857434
DRESDEN/peg/Vo31eg20.0806002664694351919.036032132262395.56666666666666
BASE/nineBoardTicTacToe/wRmqqA20.1144843706793643444.825862356274171.26095796806774
BASE/amazons_10x10/Bun8dA20.2753478965897821477.87581155318872.89028129582722
BASE/checkLines/Vop7oQ20.3058272075154567516.966666666666370.1876604113196
BASE/pegEuro/5awwhg20.688142302036261626.979100696643478.6430737445433
BASE/amazonsSuicide_10x10/XIbQkg20.7045993504464081479.34352009054971.4499950011664
BASE/ttcc4_2player_small/Cv72TA20.7385450842855556109.859342710486294.6136924205053
DRESDEN/checkers/jIDMIg20.90761968171347657.827316586258631.463520314635204
BASE/2pttc/unkkYA21.1600652376514456054.6286.1333333333333
DRESDEN/backgammon/mqCW0Q21.4515642461101171100.355210304418551.294870512948705
STANFORD/pentago/ZxzLmg21.924568852664033634.2455251491615165.76132235811644
BASE/futoshiki5/TJ4BZg22.400671766444941683.166666666666775.13911565759221
BASE/snake2p/I3wWPQ22.672538443596273563.766666666667157.1842815718428
BASE/englishDraughts/jFkQxg24.0263661701486554007.463681194189166.7944146365848
BASE/amazons_8x8/7SOsIw24.0663935638093062189.82283202344590.99090090990902
STANFORD/duikoshi/tpw1sw24.2387638636821954006.0165.2724545909015
DRESDEN/slidingpieces/s9_44g24.557272069907961440.647482014388558.6648011193284
BASE/slidingpieces/uFJWEw24.810054254013971455.719372982327758.674574351114515
BASE/tictactoe_3d_6player/d7KSwg24.95215274101734629.605000664982125.232492250258325
DRESDEN/small_dominion/yB5GJA26.33069306585442213.780766555139630.5233727240172988
BASE/blocksWorldParallel/RseaAQ26.3639204900612587029.5266.6333333333333
BASE/ticTacHeaven/18n58A26.4959243560482562708.676377454085102.22992566914436
DRESDEN/tictactoe_3d_6player/ulZPWg26.498055854592984626.133031191682223.62939510081653
DRESDEN/ggp-course2013_nicolai/uEin8g26.724207250523584722.155688622754527.022529867882458
BASE/amazonsTorus_10x10/Uxc08g27.642173327359171271.898902560691846.01298485100716
BASE/tttcc4/8Bs2lg27.9664951556482544007.46517363194143.29522349255024
BASE/ttcc4/Le0qjQ28.0256782445876174001.399953334889142.77620396600565
BASE/checkersTiny/Lr48cg28.275576047715542884.5705143161895102.01633061156474
DRESDEN/tttcc4/sAvtFg29.0038761852050163994.534244292618137.72415172321845
BASE/skirmishZeroSum/zh4hcw29.7311115340950461596.70015301709853.704690831556505
BASE/ttcc4_2player_alt/ZEJvYA29.9577300713513034686.387574161722156.43333333333334
BASE/futoshiki6/JmvXNA29.9710174905548851129.869697070683537.69874337522083
BASE/speedChess/bPnisA30.3989108034822341772.560772560772658.31000932960149
DRESDEN/pawn_whopping_simultaneous/r8dLfw31.9925564177722073511.7162761241293109.76666666666667
STANFORD/ttcc4/Cx9SGw35.116822955851864176.47842745294118.93098737045553
BASE/minichess-evilconjuncts/4OpQzw37.593252239577372849.87167094430275.80806397867377
BASE/checkersSmall/SYmq8w38.3928819936531551849.195509510643248.16506116462784
BASE/qyshinsu/R08Lzw38.518251361544422880.493086789938474.78255073816109
DRESDEN/minichess-evilconjuncts/th24Tw38.605359114822212843.64375708286173.65930073659301
BASE/wargame02/BkVqqQ41.458265105783571183.298914129638228.54193032704989
BASE/ttcc4_2player/_aH_Mw41.707571903646614451.588174515881106.73333333333333
BASE/pentago/86NgKw41.939387289806983432.408117023757881.84211403245693
DRESDEN/quad/JPe6fg42.0359423897581850.230263157894741.194936054773285
BASE/checkers/rOC3Xg42.540248006746731299.880287310454830.55648117294235
DRESDEN/bidding-tictactoe_10coins/mu5VhQ44.002654346962074523.582547248425102.80249258555767
STANFORD/triplesukoshi/Iu9mbA44.480335553387352283.24778348110151.33162227925736
DRESDEN/pentago_2008/hLjVpQ44.664394856365743463.544615794557677.54598773660358
BASE/pentagoSuicide/SBgNhw45.154173154289663439.830706168560576.17968541722207
BASE/biddingTicTacToe_10coins/a-9ccQ46.698163809523814520.73333333333496.80751799520128
BASE/zhadu/DlA8iQ54.7372162231102833.5702746365105040.6132989025177534
BASE/simultaneousWin2/PfjRjw55.24114965744133951.83050734534817.230461589735043
BASE/wargame03/klXI8w56.296969927819151930.342620983868834.28857047650783
BASE/quad/tw-Ufg58.4307040354425552.329127740858450.8955758552749418
BASE/wargame01/_GZFZg70.761824112905862283.019496750541732.26343477392289
DRESDEN/capture_the_king/EQ229Q73.884358884814551359.442703819745218.39960073199135
BASE/cittaceot/fDxhXg74.484676855165921556.055455575551620.890947256188984
STANFORD/selectivesukoshi/3xmXYg83.22451901815344512.00611946255156.152106680855309
DRESDEN/coins/QwFP9w90.0906172820117642.63333333333384.83273357323738
BASE/coins_atomic/AA3SSw90.801088601645127726.485.09149085091491
BASE/coins/QnGtnQ92.56994738745987676.36666666666782.9250408292504
BASE/hidato19/rRHSmA112.074403666103452653.15645623625123.673170406872213
DRESDEN/ggp-course2013_michal13/jWKddg136.12605083920474305.27575546025732.242596134819603
BASE/golden_rectangle/_nYzfw143.66694191621923137.019150707743530.9537277600552504
BASE/sudokuGrade1/tDRNRw168.11691250154578430.79993347746552.562502053286902
BASE/sudokuGrade2/u80Tfw178.05795245412432419.223856752978752.354423663615864
DRESDEN/pawntoqueen/f_x6Aw183.3179164471283650.10662401705993.546334349728225
BASE/pawnToQueen/-O1_JA183.46490865527016649.31515979604763.5391790427678367
BASE/hidato37/pBrqxw189.0822528234068560.01066560010672.961730449251248
DRESDEN/amazons/dNB28A193.56232095467405438.302957872721832.2644022644022646
BASE/sudokuGrade3/eI8dvg200.6725073875687413.90916058515782.0626101999401176
BASE/sudokuGrade5/BQfUQA201.05605538894446417.527490836387872.076672050631242
BASE/sudokuGrade4/DTy07w201.66426542479786415.98244855898682.062747446518282
STANFORD/sudoku/oJ1qyQ211.88588762877592408.67884282095721.9287685810249078
BASE/nim4/twk16w215.858819539774945623.34588847038426.05103604503964
DRESDEN/nim3/sG_axA219.836799029775935709.47635078830725.971431425432026
DRESDEN/nim4/F5YAYg220.19452039672275667.63333333333325.739211507725095
STANFORD/duidoku/3SoMaA220.38372738446486400.72418031425441.818302036498281
BASE/sudokuGrade6E/ihYFZA226.9363361736277381.55359160077081.6813243662700466
BASE/sudokuGrade6H/ieE_9A230.6094247089817383.5093312080761.6630254018978055
BASE/nim3/1OwUqw232.8301430311155721.51856542897224.573787959509858
BASE/nim2/eF2Qqw243.299519557823156352.93333333333326.111573688592838
DRESDEN/nim1/M9BALA254.02200562584756606.21312622912626.00645999134228
DRESDEN/nim2/z5_exA258.60101351351356375.024.651875541341862
BASE/nim1/hin2Qw265.49794547872346648.525.041625041625043
BASE/god/qF06gw292.43724491070833930.86559605517433.183129414105242
DRESDEN/Zhadu/9zpQ5w316.081453794711141636.20609211491055.1765330501725515
BASE/merrills/pku8Tg320.7238330821961132.73864998002933.5318193820966464
DRESDEN/merrills/aYEzwA321.29209923340221130.93453273363323.519957494852892
BASE/othello-comp2007/86ZoMw371.9794966887417308.54304635761590.8294625082946251
DRESDEN/guess/PhxGhg376.9439370708622437.13752416505586.4655172413793105
DRESDEN/god/2EDD5w378.9467926798949933.24223436875082.46272630457934
DRESDEN/hitori/S8Gsyg405.962978627296141870.85916150103324.6084477156687225
BASE/quad_5x5/JAEP5g410.77099393373777963.13579094727022.344702535405008
BASE/guess/SPpk1A413.52442539731132444.78885444788885.912078475410378
BASE/hitori/S8Gsyg451.152492217444941870.94623870946254.147037356512508
BASE/quad_7x7/q-JOXg504.27525903218964364.487538318006160.7227948065854638
DRESDEN/quad_5x5/JAEP5g567.1617869147951958.16806106463121.6894087069525665
DRESDEN/farmers/S_ASnw570.40702100053455082.1639278690718.909714889123547
BASE/chess_200/XsTpYA573.1799530578952522.8551453207710.9122006841505131
BASE/amazons/RKKZjw630.1842837957353116.643191719348820.18509378084896347
BASE/amazonsSuicide/dE1QEQ665.4503847174318117.239320774741320.17618040873854826
DRESDEN/quad_7x7/q-JOXg781.0316168644148359.13384779137840.4598198588082551
DRESDEN/quad_5x5_8_2/JRTLJg850.43582655007241092.52906105319271.2846696093286778
DRESDEN/fizzbuzz/t1xHzQ861.82859063218429372.37517498833410.874987528684027
BASE/battlebrushes/arCwyA934.3675849.93333333333330.9096349491322562
DRESDEN/laikLee_hex/ZeP3QQ1017.75347961165062665.7666666666672.6192655884447156
BASE/racer4/0vs7Ww1189.5560664375184893.38088254899340.7510204081632653
BASE/laikLee_hex/zbyscQ1300.90505966268942653.6897540163992.039879647100821
BASE/blokbox_simple/JBx4bg1493.833427115053678.147755858599230.05231356752373728
BASE/queens08ug/kJ_ZFQ2383.7241818181821009.33333333333340.4234270646881075
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g4016.26434904339752011.19925338310780.5007636645884974
DRESDEN/racer/vk_ZBA4118.587149089214468.31396316893670.11370743078060151
BASE/racer/QQYQNw4428.312643601612472.37854217308780.10667235585897915
BASE/queens06ug/7Lq3tw7769.3005466302252271.4485700953270.2923620416615909
DRESDEN/satlike_20v_91c_version2/yd9ioQ8754.6082819530072032.3279453424430.23214378986344142
DRESDEN/satlike_20v_91c/yeuENQ13161.3575428304782044.53036464235720.15534342547787522
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA18672.6169127695721856.60477984067190.09942927595601249
DRESDEN/golden_rectangle/1uloXwInfinity5.5354128034098140.0

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messagePALAMEDES_JAVA_PROVER_USEOPT_FALSE: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/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/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
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/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgTest 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_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
BASE/alexChess/LNo83gTest process timed out after 240 secondsException of type StackOverflowError
BASE/queens31lg/0gID-ATest process timed out after 240 secondsTest process timed out after 240 seconds
STANFORD/rainbow/_4qNSQTest 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/queens08lg/Ru7eqQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsException of type StackOverflowError

index