index

CADIAPLAYER_PROLOG:3.0 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.086376043677544625.53541280340981464.0850468224081
BASE/golden_rectangle/_nYzfw1.363917902964075137.01915070774353100.45996933537764
BASE/factoringMediumTurtleBrain/8RBqmQ1.4116592332496951673.8566007589375477.35075497483416
BASE/zhadu/DlA8iQ1.52232574711185133.57027463651050422.051965356429047
DRESDEN/tictactoex9/rFkD4w1.6199686356508103516.5318.8333333333333
BASE/majorities/ibJzSQ1.6204678107366577165.08714957916362101.87622887992802
BASE/tictactoex9/BI26ow1.6304789501731949514.8880895283773315.7894736842105
BASE/simultaneousWin2/PfjRjw2.026963873570967951.830507345348469.58434718842705
DRESDEN/latenttictactoe/kITHKg2.24368909086133072847.16666666666651268.9666666666667
BASE/pearls/6k_mEQ2.330548359942889633408.114334.866666666667
DRESDEN/blocker/S815zQ2.34411972736625534860.7666666666662073.6
DRESDEN/sheep_and_wolf/enAIzQ2.4771116146145995843.6760934012858340.58864704509847
BASE/haystack/UkweGA2.485691663561665733800.7666666666713598.133333333333
DRESDEN/catcha_mouse/cHv4dw2.75259383341087461041.8790604697651378.508099460036
BASE/catcha_mouse/cHv4dw2.752644511474121043.492751208132379.0873637545415
BASE/coins_atomic/AA3SSw2.7653873226834017726.42793.9666666666667
DRESDEN/ggp-course2013_michal13/jWKddg2.7757891873759033305.2757554602573109.97800439912018
DRESDEN/coins/QwFP9w2.778499497085527642.6333333333332750.633333333333
BASE/coins/QnGtnQ2.7935393088055127676.3666666666672747.9
BASE/factoringGeorgeForman/HGRorQ2.86832597137582969501.6166127795733312.6
BASE/lightsOnSimultaneous/_VN6lw2.8768361536881411447.192134644226503.0498983367221
BASE/lightsOnSimul4/9FeASw2.90941888466197531059.090151641393364.0211992933569
DRESDEN/lightson2x2/gBHuig2.9578897508077544822.8392386920431630.5
STANFORD/multipletictactoe/_bkafQ3.0486624607625648616.0125274871726202.05993133562214
BASE/sudokuGrade6H/ieE_9A3.075660773831782383.509331208076124.69168722085195
BASE/doubletictactoe/HH1htg3.08793314934069274027.91304.4
STANFORD/multiplesukoshi/vLSQPg3.1155181431216072388.46626582068234124.68753124687531
BASE/sudokuGrade6E/ihYFZA3.1321843946346175381.5535916007708121.81709105452606
DRESDEN/doubletoetictac/V89gKQ3.14052154211198034001.96660111329631274.3
BASE/lightsOnParallel/SC6enA3.14628621641035844587.1804273190891457.9666666666667
DRESDEN/tictactoeparallel/yk_DSg3.15008276623137733425.41087.4
DRESDEN/bunk_t/7-tPfA3.1574871910717333976.43411886270451259.3666666666666
DRESDEN/doubletictactoe/lJzgmQ3.17412568191041134030.39898670044341269.7666666666667
DRESDEN/eotcatcit/mQUxzA3.1865360244799556872.9333333333332156.866666666667
DRESDEN/blockerparallel/dVQgSg3.1875108954506421349.6983634969836423.43333333333334
BASE/doubletoetictac/fu35bg3.2061288844567823965.2333333333331236.7666666666667
BASE/bunk_t/xbpfIA3.2069285481389793980.8673044231861241.3333333333333
BASE/blockerParallel/7-nDJA3.22819948619438121353.4313235343132419.2526915769474
DRESDEN/lightsout/XgLpzQ3.2788119269930183233.8922035932137986.3
BASE/eotcatcit/AfZSzA3.3028910066469136873.8666666666672081.1666666666665
STANFORD/sudoku/oJ1qyQ3.3130481818852147408.6788428209572123.3543312335433
DRESDEN/cubicup_3player/awDtsQ3.319354289024958589.6599906846762177.64298093587522
DRESDEN/lightsout2/LFtfyQ3.33071229907690823235.0098323500983971.2666666666667
BASE/cubicup_3player/e2yA_g3.351502164058468594.1817215727949177.28818078794748
BASE/sudokuGrade5/BQfUQA3.371118758763225417.52749083638787123.85428123854281
BASE/sudokuGrade3/eI8dvg3.3737925710940164413.9091605851578122.68364218104253
BASE/onestep/xi53wA3.37512822753890524456.9666666666677246.233333333334
BASE/sudokuGrade2/u80Tfw3.4101570868645665419.22385675297875122.93388429752066
BASE/sudokuGrade4/DTy07w3.460867842267932415.9824485589868120.19599346688443
BASE/sudokuGrade1/tDRNRw3.468476953007327430.7999334774655124.20435231779251
BASE/conn4/va9Y7A3.49673928918045361627.0327912556652465.3
BASE/firefighter/WJmoPw3.5338322314507053704.3985338220591048.2666666666667
DRESDEN/chickentictactoe/Ipbo-g3.5535730442807776545.81842.0333333333333
DRESDEN/tictactoe/BTTzPw3.59373283909939546980.4666666666661942.4
BASE/sum15/QZ07Kg3.64237061186470268342.02290.266666666667
DRESDEN/firefighter/WJmoPw3.6550953320184093706.2666666666671014.0
DRESDEN/sum15/CsgWKg3.679146919431288280.5333333333332250.6666666666665
DRESDEN/tictactoe_orthogonal/y69QFQ3.8355497420245627037.4666666666661834.8
BASE/tictactoe_orthogonal/WRzlVw3.84513008854384537049.5333333333341833.3666666666666
BASE/factoringMutuallyAssuredDestruction/NH0LGg3.84931198023646153817.49100119984991.7333333333333
STANFORD/selectivesukoshi/3xmXYg3.894569874208049512.0061194625515131.46666666666667
BASE/withConviction/3Xm54A4.0938034453768422398.0135981869084585.7666666666667
BASE/double_tictactoe_dengji/zgaSbA4.2351181590789713818.6787547496833901.6699443351888
DRESDEN/double_tictactoe_dengji/bGaUyQ4.2941451014736443814.918508149185888.4
BASE/lightsOn/MsXu3A4.34638460142289159983.5005499816672296.9666666666667
BASE/blocker/dIWtxg4.4914563370245954878.1707276424121086.1
DRESDEN/cubicup/SBn_lw4.53933009286403261007.6976906927922221.99260024665844
DRESDEN/blocks2player/3ev8nQ4.5430078752198187922.41743.8666666666666
BASE/cubicup/4wNWJA4.5684322448841851013.3635485053487221.81866648895405
BASE/factoringEasyTurtleBrain/lUj94Q4.5957576186568994962.3458847050981079.7666666666667
BASE/blocks2player/wnTLOQ4.6591952098638997885.0666666666671692.3666666666666
DRESDEN/buttons/ADUaHw4.70044815644734118459.63927.2
BASE/buttons/hTcUjw4.80549011574311318766.43905.2
BASE/survival/YVIjJA4.93417806356360333865.5666666666666863.466666666666
DRESDEN/tictactoe-init1/3ltIBQ4.95539939428355156981.1666666666671408.8
BASE/lightsOut/5P1ZBw4.9663873948603333224.236768430876649.2116929435686
BASE/brain_teaser_extended/ZDp94A4.9772409628735767673.7442085263831541.7666666666667
BASE/tictactoe-init1/7M19vA5.0403532412531896982.2333333333341385.2666666666667
BASE/blocksWorld/SEdXLQ5.125018455632659513884.72709.2
DRESDEN/blocks/vg0DRw5.16781716535631813650.12641.366666666667
STANFORD/duidoku/3SoMaA5.179213339970322400.724180314254477.37163040218587
BASE/blocks/xIV5hQ5.18906755600738913951.52688.633333333333
DRESDEN/brain_teaser_extended/ZDp94A5.1994970092441547649.51471.2
BASE/troublemaker01/s3tlEQ5.3741723865638123593.3333333333324390.133333333333
DRESDEN/troublemaker01/C-lPWw5.43056127664118923730.4666666666674369.8
STANFORD/tictactoe3/X7myng5.4601958616332336913.71266.2
DRESDEN/slidingpieces/s9_44g5.5546671517688811440.6474820143885259.3580213992867
DRESDEN/peg_bugfixed/u_B7MA5.5788788538039221916.77498916775343.57709486034264
DRESDEN/pawn_whopping_corrected/7Ov0jQ5.5985969434153634675.38830744617835.1
DRESDEN/peg/Vo31eg5.60339844632916151919.0360321322623342.4771681887874
BASE/chickentoetictac/l57rfQ5.6095011565486858568.71527.5333333333333
BASE/blockerSerial/3eqDuw5.62900564550905452086.227584827678370.62097930068995
BASE/slidingpieces/uFJWEw5.6446990963994851455.7193729823277257.8914036198793
STANFORD/trifecta/ss1kyQ5.7253170452999597014.01225.0849943337112
DRESDEN/tpeg/h-Scbg5.7258661075450371980.7679488034132345.93333333333334
STANFORD/tictactoe/ss1kyQ5.773930195605727025.3333333333331216.7333333333333
BASE/ticTacToe/JRFsaQ5.7964227462472016989.1333333333331205.7666666666667
DRESDEN/chickentoetictac/cxYaRQ5.8170337804495098644.51486.0666666666666
BASE/tpeg/QNs7Lw5.8943194210369781981.8006066464452336.2221259291357
BASE/chickentictactoe/DSlZCA5.9208624354691776499.1333333333331097.6666666666667
STANFORD/tictactoe5/WFRReg5.95425677995193956937.91165.2
DRESDEN/toetictac/mJtxCA5.960549183176929145.8666666666671534.4
BASE/toetictac/mTThmg5.973412112259979166.41534.5333333333333
DRESDEN/tictactoelarge/IwXcbg6.06805403152313355448.303446436904897.8666666666667
STANFORD/tictactoe7/-bE9-A6.1111600458028726938.01135.3
BASE/ticTacToeSerial/Amrwqw6.1324100717261083340.732593407326544.7666666666667
DRESDEN/cube_2x2x2/fp-34Q6.1879426998826712641.957202853143426.95243491883605
BASE/coloredtrails/EZvr7g6.2116214330999373075.994933671089495.2
DRESDEN/tictictoe/LAUtwg6.2334730829991496839.3666666666671097.2
DRESDEN/troublemaker02/iZLVuA6.259470661271449523358.4666666666673731.7
DRESDEN/circlesolitaire/ruUilQ6.31393721255748910525.3333333333341667.0
BASE/troublemaker02/DI83KA6.326628990879294523098.7333333333343651.0333333333333
BASE/circlesolitaire/azuQFQ6.3339340421697610544.11664.7
BASE/eotcitcit/V_9_bg6.3617008088759426842.4333333333331075.5666666666666
BASE/tictactoe2/bhrDoQ6.36272618346510443.5666666666681641.3666666666666
BASE/tron_10x10/7ZTgDg6.3962025781678551554.6243.0504633024465
DRESDEN/pawn_whopping/4ogBkg6.4056221248546134751.049930004667741.7
STANFORD/sukoshi/4LYZZQ6.40866689061732858266.9666666666671289.9666666666667
BASE/ticTacToeParallel/ymRGPw6.6337916450533133324.9666666666667501.2166261124629
DRESDEN/tictactoelargesuicide/6J4DeA6.7820110960808025487.551244875513809.1333333333333
BASE/ticTacHeavenFC/mrletw6.8108001418907092041.9235511713932299.80670532560157
DRESDEN/grid_game/U7_Yeg6.8661999669201131339.919368273748195.14715195147153
STANFORD/triplesukoshi/Iu9mbA7.0016798021499572283.247783481101326.1
BASE/blocksWorldSerial/Wyg96Q7.0708418891170438264.41168.8
STANFORD/duikoshi/tpw1sw7.1331908831908834006.0561.6
BASE/numbertictactoe/rvJ-iQ7.2088788870703775872.833333333333814.6666666666666
BASE/switches/tPUoCg7.43959151087751914909.9333333333322004.1333333333334
BASE/untwistycomplex2/EDPPAQ7.58991972192336321398.7666666666662819.366666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw7.7669926484609173511.7162761241293452.1333333333333
STANFORD/untwistycomplex/HTWEwg7.80371299142533619293.92472.4
STANFORD/untwistycorridor/EDPPAQ7.80781121310144821803.8333333333322792.5666666666666
BASE/ticTacToeNoVars/XT03NA7.83051610322064510438.61333.0666666666666
BASE/ticTacHeaven/18n58A7.9072686581687272708.676377454085342.5552481583947
DRESDEN/tictactoe_3d_small_6player/llDEDQ8.3092473337426581653.0979347101932198.94677198946772
BASE/tictactoe_3d_small_6player/g_9lww8.354851738159841665.1784226835039199.30675909878684
BASE/futoshiki6/JmvXNA8.5062034584234831129.8696970706835132.82890570314322
BASE/futoshiki5/TJ4BZg8.5229129542130731683.1666666666667197.487252974306
STANFORD/buttonsandlights/eyhJpA8.64520568436798728896.63342.5
BASE/incredible/8Qh-6Q8.8760080971141437374.18752708243830.8
STANFORD/tictictoe/rpt_Dw9.0280369619112026676.233333333334739.5
STANFORD/jointbuttonsandlights/qAKuIQ9.10868690931027612079.3333333333341326.1333333333334
BASE/breakthroughSmallHoles/bxclRw9.1750743137170012936.439689364397320.04533031131257
BASE/ticTacToeLarge/TZC0dg9.217799686558625432.97113525765589.4
BASE/tictactoe_3d_small_2player/oOryKA9.3139005869208712494.883503883204267.8666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg9.3187116741115762514.4990333977735269.8333333333333
BASE/ticTacToeLargeSuicide/727_8g9.3420080686402635480.333333333333586.6333333333333
DRESDEN/blocksworldparallel/2JfVaw9.5415547479854638051.8843.8666666666667
BASE/ticTicToe/c1OobQ9.7786077821816866825.566666666667698.0100663311223
BASE/futoshiki4/BaCwSw9.8143419891842593347.233333333333341.0552981567281
DRESDEN/ggp-course2013_jordi/9QI6Kw9.889275538445649845.938562004397985.54100436535705
DRESDEN/8puzzle/8fKC2w9.9715742145051938261.449236717552828.5
DRESDEN/mimikry/GJEhwA10.0713402000664041591.642228739003158.03678528588566
DRESDEN/sat_test_20v_91c/dK7nVw10.9115742107604242182.8967539825367200.0533297780148
BASE/hodgepodge/9yjRkw11.0824270759223510904.0983.9
STANFORD/breakthrough/d5j0cQ11.1916736300522272119.793402199267189.4080789228103
DRESDEN/tictactoe_3player/ESLQQQ11.3037941446763812869.937668744375253.89153694876836
DRESDEN/uf20-020.cnf.SAT/hDrW_A11.3659965811965821846.6666666666667162.47292117980336
DRESDEN/stratego/Z2wovg11.606764688822342587.749116843298222.95180321311912
BASE/hallway/ckCJOw11.643263743307617205.083958319506217.61395797955582
BASE/maze/cCX3qQ11.69425579067772421810.5666666666661865.0666666666666
DRESDEN/hallway/0H4l-Q11.789194487029876205.0431320504313217.392463265918103
BASE/snake2p/I3wWPQ11.8100700062594353563.766666666667301.7566081130629
BASE/blocksWorldParallel/RseaAQ12.2618774056631217029.5573.2808906369787
BASE/connect4/50bOyw12.3984605195562651310.2115608862237105.67534242010197
DRESDEN/javastrike/whONTQ12.4886468794005751358.0316182052213108.7412936981371
DRESDEN/connect4/T0-rHQ12.5928136149121171307.2052256215425103.80565182617968
DRESDEN/uf20-010.cnf.SAT/5ICbCg12.6561931757038161986.3356107315446156.94574056792428
STANFORD/bestbuttonsandlights/nm0wEA13.37058207873762216607.61242.1
DRESDEN/chinesecheckers1/Y-ftaA13.4652844943063032515.231302493001186.79377354088197
STANFORD/3puzzle/41ibjA13.7231607629427813430.4978.6666666666666
DRESDEN/Thief_Police/CX18rA13.724844050951912933.835538815372942.3666666666667
BASE/tictactoe_3player/GtM71g13.7805479186098372866.813318668133208.03333333333333
BASE/nineBoardTicTacToePie/B8LzeQ13.8104863666325243171.808368869936229.66666666666666
STANFORD/threepuzzle/41ibjA13.87197860595878813486.8972.2333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA13.87367158973241216971.21223.2666666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA13.91428180160527213155.489634024398945.4666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA13.99400496630010713149.7939.6666666666666
DRESDEN/uf20-01.cnf.SAT/42Rs8A14.0418273675279062037.2654244858504145.0854914508549
STANFORD/multiplebuttonsandlights/cK70Yg14.04704522944866517019.41211.6
BASE/hex/T1MK8g14.062065584764643349.5368827880322424.856723977075838
DRESDEN/catch_me/ghGWrA14.0855160512386113123.475304939013931.7
DRESDEN/oisters_farm/pTQMLg14.14745934425512415793.2804479701351116.3333333333333
BASE/hexPie/48CH6Q14.191405909398446342.2121595525071624.11404209965361
BASE/queens16ug/gT-ylw14.66430954279227696.83748461973336.603617056578729
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA14.6934981884057962162.6666666666665147.18528147185282
DRESDEN/sat_test_20v_91c_version2/a1mPBA14.7617532705026872184.5210319312046147.985201479852
DRESDEN/tictactoe_3d_6player/ulZPWg14.90107237594162626.133031191682242.01932689103632
STANFORD/hex/MTqWcw14.94643314152527356.2939848625680423.838060993474496
BASE/connectFourSimultaneous/7ITr3g14.9700289740349442898.310168983102193.607518997467
DRESDEN/quad_7x7/q-JOXg15.309100528720547359.133847791378423.458847050983007
BASE/quad_7x7/q-JOXg15.502078347131402364.4875383180061623.51217237819296
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw15.5826464452677184350.674887518747279.2
STANFORD/bestbuttonsandlightsbig/g0JC6g15.62680263308093313689.6876.0333333333333
BASE/cittaceot/fDxhXg15.6928846499607651556.055455575551699.1567509915675
BASE/tictactoe_3d_6player/d7KSwg15.748512760180455629.605000664982139.97869578243068
BASE/wallmaze/uxNQ9g15.757237065110164381.1472682504824524.1887119344306
BASE/blokbox_simple/JBx4bg15.80944835466950878.147755858599234.943104535049597
DRESDEN/chomp/-LcqYQ15.9397866172106843580.9224.65168988734084
BASE/chomp/-LcqYQ15.9507373452647273564.633333333333223.4776522347765
STANFORD/8puzzle/jNiGtw16.265395500539228234.627562072988506.26666666666665
BASE/eightPuzzle/vLrgFg16.575193507357098233.176682331767496.7167761074631
BASE/connect5/d-BVQg16.7431512290672776.324111987749246.36666666666667
BASE/nineBoardTicTacToe/wRmqqA17.3659512469649153444.825862356274198.36666666666667
DRESDEN/connectfoursuicide/M9CNQg17.4270294580616155166.361121295957296.45678477384087
BASE/pawnWhopping/Ypc_6Q17.4735259333752354632.933333333333265.14015265140154
BASE/3pConnectFour/PqXOFQ17.5621276929183563476.368242117192197.9468719794687
STANFORD/nineboardtictactoe/y28P-A17.5661802109923441.1195.8934702176594
DRESDEN/tictactoe_3d_2player/LMuX9w18.24940388265459836.235889580766545.822641383677144
BASE/snakeParallel/RCVNtw18.6044316263693559566.7514.2161927935736
DRESDEN/connectfour/5tc-Mg18.6073318835384575190.133333333333278.92947606985734
BASE/tictactoe_3d_2player/IUC1rQ18.77809824739073841.893286289651544.83378855505962
BASE/hidato19/rRHSmA19.282303014424362653.156456236251137.59541348621713
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg19.3748068212594833973.375541486171205.07949205079493
BASE/endgame/jYjfOA19.911423794118715729.574836731973836.6410179540988
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg19.950765114683093984.5671810939634199.72001866542232
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ19.9643168619860244160.9517144856545208.4194387040864
BASE/crisscross/ICagEg20.0261601991951684200.013332000133209.72634245525148
BASE/connectFourSuicide/c8p9Kw20.087481878391665223.066666666667260.01599893340443
BASE/queens12ug/u6Bkmg20.29145728643216268.931068931068913.253413253413253
DRESDEN/crisscross/GsY16g20.329945854550864223.744292237443207.75974134195528
BASE/connectFour/WAIKTw20.913250733190275197.466666666666248.52504916502784
DRESDEN/aipsrovers01/qS47Mw21.0360573611623148393.386887103763399.0
BASE/aipsrovers01/4C4jsw21.213432033232118445.636957536164398.12685398126854
DRESDEN/backgammon/mqCW0Q22.048238980305361100.355210304418549.906716417910445
STANFORD/connectfour/VMpZkQ22.212657069335245178.733333333334233.14335233143353
BASE/mummymaze2p/vpjDdA24.019177097887976363.7210230485249615.142942723067195
DRESDEN/mummymaze2p/k-8edg24.19790360282385363.9387890884896715.040095830699098
BASE/pegEuro/5awwhg24.3058853903476161626.979100696643466.93766034718288
DRESDEN/quad/JPe6fg24.6176899405772550.230263157894742.0404133482524847
BASE/connectFour_9x6/B9TtMw25.095231721442624977.400753308223198.3404978506448
BASE/quad/tw-Ufg25.23011516077104252.329127740858452.074074074074074
DRESDEN/pentago_2008/hLjVpQ25.5047468026108783463.5446157945576135.8
DRESDEN/3pttc/uwYBZw25.9481116069753425724.6367151046525220.61862542497167
DRESDEN/racetrackcorridor/O0DoTA26.4569243022936361535.548815039498858.039581528619976
BASE/queens08ug/kJ_ZFQ27.1894829443447041009.333333333333437.122196674331036
DRESDEN/ggp-course2013_nicolai/uEin8g27.55753448630059722.155688622754526.205380927011188
DRESDEN/frogs_and_toads/GjchhQ28.1501612764269422376.09912070343784.40801093005432
BASE/peg/fJHVWw28.331124114281471910.578589521397167.43744377436444
DRESDEN/minichess-evilconjuncts/th24Tw29.0770812393465972843.64375708286197.79674010866304
BASE/minichess-evilconjuncts/4OpQzw29.3135240366859232849.87167094430297.22037061725104
BASE/queens06ug/7Lq3tw29.9601570298243842271.44857009532775.81564301662945
BASE/racetrackcorridor/_RkdUg30.0806130838698171781.181254583027859.213595468177274
BASE/dualConnect4/WbCQkg30.2687942003514973443.9113.77724455108978
DRESDEN/endgame/IJhh3Q30.386764419915096740.770358523257424.378059746228395
BASE/chinook/XQh0IQ30.666493162274527720.110504593263223.481997135529426
BASE/hidato37/pBrqxw31.295940548713595560.010665600106717.894035321559482
BASE/breakthroughSmall/HJ0tIA32.1572493664094952910.72083180591290.51523028727588
BASE/asteroidsSerial/id2QkA32.346624548688919724.149421840115300.62331255624815
BASE/breakthroughSuicideSmall/XSbJog32.6145169648647842916.33891073928489.41843026162306
BASE/connectFourLarge/aU644A34.089644770778494335.066493350665127.16666666666667
DRESDEN/chinesecheckers4/-oVNYg34.206627279645042133.35332134052962.36666666666667
DRESDEN/small_dominion/yB5GJA35.2500524508342513.780766555139630.3909431503502199
BASE/asteroids/BKCmPQ35.3927025672918816275.381641223918459.8513382887237
DRESDEN/bidding-tictactoe/yW5vTA38.8501011730981465282.55724809173135.97280543891222
BASE/asteroidsParallel/WauZiA38.97019967747838410409.892344098924267.1244291856938
DRESDEN/bomberman2p/x4h6jQ39.133421058823531108.328.32106087362143
BASE/bomberman2p/4CClwA39.55397774163531110.148308615230728.066666666666666
BASE/escortLatch/mX9BjQ40.196887515746223362.46709539835483.6499366793308
BASE/minichess/8NQEiA41.502356128404674266.3102.79657344755175
BASE/biddingTicTacToe/8mESVw41.630329919807035267.624412519583126.53333333333333
BASE/sheepAndWolf/g4THrg41.95329156400355834.960839860023419.902153293174027
DRESDEN/minichess/c7GMFw43.321750129017124103.46666666666694.72070390614584
BASE/englishDraughts/jFkQxg44.5153398100219354007.46368119418990.02433090024331
BASE/pentago/86NgKw46.2012295805580143432.408117023757874.2925707429257
BASE/pentagoSuicide/SBgNhw46.580523389307833439.830706168560573.84697414022928
STANFORD/pentago/ZxzLmg47.226304453053533634.245525149161576.95384102649558
DRESDEN/roshambo2/jgSlkQ48.0027205189913215292.066666666668318.56666666666666
BASE/qyshinsu/R08Lzw48.597593876848342880.493086789938459.272339574865065
BASE/roshambo2/KNPokQ49.0649481702551115343.733333333334312.72290923635876
BASE/checkLines/Vop7oQ50.9117534687735047516.966666666666147.646980402613
BASE/dotsAndBoxes/EHwA_w54.102113805879791586.30793819925429.32062772798454
BASE/dotsAndBoxesSuicide/jzQbLw54.64070656569371583.155650319829428.97392346887801
DRESDEN/breakthroughsuicide/Y9QzqQ56.031977819103382027.20884537249836.17949828430556
DRESDEN/breakthrough/z4hK7Q57.2362723851901052034.211665944901635.54060355739124
DRESDEN/breakthroughsuicide_v2/LU1nAw57.512306686258282034.85040314519935.381130063965884
DRESDEN/knightthrough/J7Fc_Q58.52131227649321959.418937829013233.482142857142854
BASE/breakthroughHoles/nZk0Sg59.2882788173428641864.796428333444331.453037017292505
DRESDEN/Runners/3bOCQw62.9818883508672715077.864071197626239.4
DRESDEN/Zhadu/9zpQ5w63.85671942334551636.206092114910525.623084099693457
BASE/breakthroughSuicide/wZDpIg64.043645365665342032.11513475697131.730160317301603
BASE/breakthroughWalls/vOZaYA64.172023764458462033.033333333333331.680991405156906
BASE/breakthrough/TGxk-g64.514674237644582042.831.664114004128653
BASE/mummyMaze2p_2007/YGA3Vw69.465362470701992080.050656535359429.94370982246944
BASE/chineseCheckers4/avfBcQ70.907210732252654227.44692904988859.619422134835204
DRESDEN/mummymaze2p-comp2007/oTQRQg71.234721564116882056.24042113680328.86570447651745
STANFORD/platformjumpers/HEQskA71.28593174267593389.7342192691035.467196819085487
BASE/connectFourLarger/qKi60A74.698105661131313349.78011727078944.84424454439447
DRESDEN/ghostmaze2p/HY0UwA75.11938629288292489.46807092387733.14015454303224
DRESDEN/amazons/dNB28A77.25410029405751438.302957872721835.673523556735236
BASE/choicethroughalt/tt71Lg78.762178247026471915.269491016966224.317121918720854
BASE/ghostMaze2p/W-NU-w83.172036233761872488.53791816606729.920367840602406
BASE/2pffa_zerosum/o0_uZA87.055466156710075426.09565072487962.329178054796344
DRESDEN/knightazons/02I8BQ91.065197452912161217.116427644494713.365330133653302
BASE/knightazons/apnJBQ92.333224504330871213.859538015399513.146508686680423
BASE/ttcc4_2player_small/Cv72TA94.433683813145076109.85934271048664.7
DRESDEN/capture_the_king/EQ229Q95.370134298739051359.442703819745214.25438596491228
DRESDEN/connect5/1kYzSg115.4446059293456771.32788084314126.681367870190567
BASE/othello-comp2007/86ZoMw140.46188440698373308.54304635761592.196631831192172
DRESDEN/tttcc4/sAvtFg142.851019625453773994.53424429261827.96293827489668
BASE/tttcc4/8Bs2lg143.418533138823164007.4651736319427.942449876773463
BASE/ttcc4/Le0qjQ147.31534429424954001.39995333488927.162139643392766
DRESDEN/bidding-tictactoe_10coins/mu5VhQ149.637317712342344523.58254724842530.230310302303103
BASE/biddingTicTacToe_10coins/a-9ccQ159.292177699530534520.73333333333428.380133906265613
BASE/chess_200/XsTpYA164.5577641741852522.8551453207713.177335010260144
DRESDEN/quad_5x5/JAEP5g165.04581732989854958.16806106463125.8054670912951165
BASE/knightThrough/gcwFjA168.727552650187871948.692320506413411.549342652687635
BASE/quad_5x5/JAEP5g173.49132253458552963.13579094727025.551492586929061
BASE/battlebrushes/arCwyA178.355241025641849.93333333333334.765395894428153
BASE/nim4/twk16w181.057256889720265623.34588847038431.05838443081845
DRESDEN/nim3/sG_axA182.575555255719375709.47635078830731.27185533020282
DRESDEN/nim4/F5YAYg182.97923745519715667.63333333333330.97418817651957
BASE/nim3/1OwUqw185.655545666324945721.51856542897230.81792437114776
STANFORD/ttcc4/Cx9SGw195.486555786069524176.4784274529421.364530213645303
BASE/2pttc/unkkYA197.04373926247296054.630.72718789575418
DRESDEN/god/2EDD5w199.85945041843118933.24223436875084.669492648032852
BASE/god/qF06gw204.4574938021624930.86559605517434.552856335781463
BASE/nim2/eF2Qqw208.6667522975936352.93333333333330.44535491822391
DRESDEN/nim2/z5_exA211.361187845303876375.030.161639726712213
BASE/ttcc4_2player/_aH_Mw216.334219490672274451.58817451588120.577364898611528
BASE/nim1/hin2Qw229.7945259216596648.528.932368921035966
DRESDEN/nim1/M9BALA230.457859999324096606.21312622912628.66560127846584
BASE/amazons_8x8/7SOsIw231.604607061578242189.8228320234459.455005493225022
DRESDEN/kitten_escapes_from_fire/uW-YiA234.6774842029610718135.73333333333477.2793921620901
BASE/kitten_escapes_from_fire/uW-YiA239.8462526669589518230.23333333333476.00799733422193
BASE/ttcc4_2player_alt/ZEJvYA244.58052993568544686.38757416172219.160918391149323
BASE/reversi/d8UMeA248.09444956920328458.66063107442421.8487339473771087
BASE/reversiSuicide/9OxJlg251.55956407615378456.490680134232661.8146425154244614
BASE/3pttc/0sol9g252.490750666734045478.68404386520421.698553429771348
BASE/speedChess/bPnisA357.05798005126871772.56077256077264.964349970013993
BASE/knightmove/jBaJEw375.5628812858938984.97668221185882.6226678175419957
DRESDEN/knightfight/4_Ly4w377.672185600000034717.612.4912561207155
DRESDEN/knightmove/97Ipcw378.9560232106164986.44192011725912.603051171373027
BASE/amazonsSuicide_10x10/XIbQkg383.073453935171641479.3435200905493.8617750848924697
BASE/knightfight/SJRkAg394.996563132237044751.85814751858112.030125299920021
BASE/amazons_10x10/Bun8dA398.49865632952041477.8758115531883.7086092715231787
DRESDEN/hanoi/RQ0jiA483.2582677165354410228.96666666666721.166666666666668
BASE/hanoi/iGLsJg486.568037368937310215.88560762615820.995800839832032
DRESDEN/quad_5x5_8_2/JRTLJg491.60546466614411092.52906105319272.222369643094069
DRESDEN/pawntoqueen/f_x6Aw501.7489585362436650.10662401705991.2956810631229236
BASE/pawnToQueen/-O1_JA517.8801016604898649.31515979604761.2537943777220535
BASE/wargame02/BkVqqQ541.57439847142391183.29891412963822.1849240242327936
BASE/crossers3/O0rORg576.85928178636891909.1818030328283.3096144299189145
DRESDEN/crossers3/xiPTxg587.07023545369081911.77254849676683.256463082341995
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg685.1560283230884129.6450591568076.027306027306027
DRESDEN/quartosuicide/WIU1oQ736.35243936414853048.4220348585334.139895343445717
BASE/quarto/EwBMVQ740.98787695384093068.22196300616544.140718166158739
DRESDEN/quarto/OQzRYQ751.41127640670963046.3969068728754.054233683370995
BASE/quartoSuicide/-23jUg774.12683833333343074.06666666666663.9710116152089743
BASE/amazonsTorus_10x10/Uxc08g812.06685676683481271.89890256069181.5662490002665956
BASE/wargame03/klXI8w931.895880549261930.34262098386882.0714144801736043
BASE/guess/SPpk1A954.07091282213792444.78885444788882.5624812805750605
DRESDEN/guess/PhxGhg971.6161821668032437.13752416505582.508333608369913
BASE/wargame01/_GZFZg1050.32733332323412283.01949675054172.1736266631537347
DRESDEN/fizzbuzz/t1xHzQ1438.7074076013989372.3751749883346.514441453119288
BASE/checkers/rOC3Xg1723.35867830250851299.88028731045480.7542714721411472
DRESDEN/pancakes88/aD3E7g1827.9736885245918565.83333333333210.156510156510157
DRESDEN/pancakes/hl9aiQ1887.457133636810319531.4822839238710.348040194316896
DRESDEN/pancakes6/SZXMyQ1902.626732047159719695.66666666666810.35182904503545
BASE/pancakes/yUgbXw2125.815205035971319640.39.23894981721502
BASE/pancakes6/QZTdnw2167.46889361595519779.074030865649.125424631985613
BASE/checkersSmall/SYmq8w2343.238909801571849.19550951064320.7891621728265158
DRESDEN/battlebrushes/QHXV4A3088.6831157770002833.32777870354940.2698003477426704
BASE/racer4/0vs7Ww3095.266964404746893.38088254899340.28862805464691166
BASE/skirmishZeroSum/zh4hcw3527.22468802569941596.7001530170980.4526788889966696
BASE/checkersTiny/Lr48cg3774.14697770943852884.57051431618950.7642973448974845
BASE/hanoi_6_disks/MeubgQ4278.48953333333259118.9333333333322.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ4375.0318333333339091.52.0780420226275687
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA4868.3271668722151856.60477984067190.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g5490.02545284859752011.19925338310780.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ5591.0470817097042044.53036464235720.36567933246900036
DRESDEN/racer/vk_ZBA5665.037907800238468.31396316893670.08266740148801323
BASE/racer/QQYQNw5941.734762967157472.37854217308780.07950178879024777
DRESDEN/satlike_20v_91c_version2/yd9ioQ6231.117480419932032.3279453424430.32615786040443573
DRESDEN/hitori/S8Gsyg6798.9100661349211870.85916150103320.27517045280826735
BASE/hitori/S8Gsyg7030.08049195080551870.94623870946250.2661343978709248
BASE/blobwars/0XT15Q8857.3088534204131288.86075105794540.1455138092604988
DRESDEN/blobwars/ZaMluQ9198.480226553391302.0156588372480.1415468236892764
BASE/pancakes88/l2Xaig15730.10633333333118652.31.1857707509881423
DRESDEN/checkers/jIDMIg22760.825153884547657.82731658625860.028901734104046242
BASE/hanoi7_bugfix/3gdnFw31009.153735360878789.9963344330030.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw31545.8236738321438863.1228128645230.2809602597321512
DRESDEN/hanoi7/51zz5Q31561.6622242953348796.9947357899650.2787240631774543
DRESDEN/merrills/aYEzwA59973.4582708645761130.93453273363320.018857250612860643
BASE/merrills/pku8Tg63010.852882439091132.73864998002930.0179768817300951
DRESDEN/twisty-passages/j7NPyg69892.054604781253683.95818072850760.052709255745308874
BASE/twisty-passages/DiZmmg70413.484785937823723.217258139690.05287648054145516
BASE/amazonsSuicide/dE1QEQInfinity117.239320774741320.0
BASE/amazons/RKKZjwInfinity116.643191719348820.0
DRESDEN/farmers/S_ASnwInfinity5082.1639278690710.0

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 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
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
BASE/nonogram_5x5_1/qLKEZwTest 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/nonogram_10x10_1/0Xc62gTest 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
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
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
STANFORD/dualrainbow/G3OnRQTest 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/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/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/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
BASE/alexChess/LNo83gTest process timed out after 240 seconds
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/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest 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
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
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
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process failed to output results for unknown reasonIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reasonIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reasonTest process timed out after 240 seconds

index