index

FLUXPLAYER_PROLOG:1.1 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
DRESDEN/battlesnakes1509/-qZrLw0.00.0719.9
BASE/queens31lg/0gID-A0.00.037.424600926450495
DRESDEN/ticblock/Z2yNWQ0.00.01544.5
DRESDEN/battlesnakes2011/93VtTw0.00.0712.4666666666667
BASE/blobwars/0XT15Q0.00.017.502412404751606
DRESDEN/blobwars/ZaMluQ0.00.017.826202852192456
BASE/queens08lg/Ru7eqQ0.00.0546.7333333333333
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.076.2872854524246
BASE/ad_game_2x2/D0aWqg0.00.00.449842555105713
DRESDEN/crisscross/GsY16g0.00.00.05963562632316546
BASE/ticblock/T21C1g0.00.01565.3666666666666
BASE/colonelBlotto/jip21A0.00.05.1603022938376
BASE/gt_attrition/kD_SCA0.00.01.1619800139437602
BASE/crisscross/ICagEg0.00.00.059232933511032135
BASE/englishDraughts/jFkQxg0.00.0258.8074525880745
BASE/copolymer_4_pie/IN5_jA0.00180009474182851741.2666666666666666703.6666666666666
BASE/blockerSerial/3eqDuw0.002524641189693932.433333333333333963.8333333333334
BASE/checkersTorusNoKings/pwb6oQ0.00348413312693498460.386.10463178940353
DRESDEN/tttcc4/sAvtFg0.0039918600093537230.4330446369087275108.48191968005332
BASE/tttcc4/8Bs2lg0.00418665597779806050.433188937020993103.46895931220634
BASE/ttcc4/Le0qjQ0.0041887027491408930.43333333333333335103.4528729502733
BASE/checkersBarrelNoKings/rnKNeg0.00424033397559409050.3666666666666666486.47117627457514
STANFORD/checkersonabarrelnokings/Zrevdw0.0043779679002520220.3666666666666666483.75270788201966
DRESDEN/golden_rectangle/1uloXw0.0076005348346235053.6473.6508783040565
STANFORD/ttcc4/Cx9SGw0.0117351056724044461.1329556814395296.5441397007365
BASE/ttcc4_2player_alt/ZEJvYA0.011940589887640451.133333333333333394.91435046324068
BASE/ttcc4_2player/_aH_Mw0.0125518106848332731.166666666666666792.94807705125642
DRESDEN/catch_me/ghGWrA0.01572458801988882439.453515494835052509.0333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0158861016239416940.466666666666672547.3
DRESDEN/Thief_Police/CX18rA0.0163807473715988341.62539.5666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0168296565840345741.933333333333332491.633333333333
BASE/checkersTorus/2vm1EQ0.0169760883136679321.065601065601065762.770707003398414
DRESDEN/quad_5x5_8_2/JRTLJg0.02505338969782375.333333333333333212.87871212878713
DRESDEN/quad_5x5/JAEP5g0.025404890441409975.333333333333333209.93333333333334
BASE/quad_5x5/JAEP5g0.026830754130541475.466666666666667203.74629203746292
BASE/quad/tw-Ufg0.029259877534034845.466666666666667186.83149511845656
DRESDEN/quad/JPe6fg0.029694068163543025.333333333333333179.60938541527796
DRESDEN/breakthroughsuicide_v2/LU1nAw0.032744282947472674.463690872751499136.31970136319703
DRESDEN/breakthroughsuicide/Y9QzqQ0.0327907525359754654.633333333333334141.3
DRESDEN/breakthrough/z4hK7Q0.034494764267990084.633333333333334134.319901343199
BASE/breakthroughHoles/nZk0Sg0.0355739783930387054.53182272575808127.39150723285114
BASE/breakthroughWalls/vOZaYA0.035589177107734634.596935376415723129.16666666666666
BASE/ttcc4_2player_small/Cv72TA0.035750521327014228.8246.1502566495567
BASE/breakthroughSuicide/wZDpIg0.0364278399118161964.631789403532156127.14971337155046
BASE/breakthrough/TGxk-g0.036882640427047194.765078307230923129.19569347688412
DRESDEN/knightthrough/J7Fc_Q0.039901890881796615.361305361305361134.3621879270691
BASE/golden_rectangle/_nYzfw0.051851422468200823.733333333333334457.7180760641312
BASE/breakthroughSuicideSmall/XSbJog0.0609313362214643422.033333333333335361.6092260515966
DRESDEN/towerworld/HCX34w0.0614238711620920042.03197868087941433.08125395609155
BASE/skirmishHoles/AUCxCA0.06200784313725491.966666666666666631.71641791044776
BASE/breakthroughSmall/HJ0tIA0.0644614326346379823.166666666666668359.38802039932
BASE/strangeSkirmish/gc1zKA0.074561943404486091.899366877707430825.473677200226433
BASE/knightThrough/gcwFjA0.077092641553161635.19826724425191667.4288380774615
BASE/quad_7x7/q-JOXg0.0858075547955852755.2643.3
DRESDEN/quad_7x7/q-JOXg0.0859700249791840255.06666666666667640.5333333333333
BASE/cittaceot/fDxhXg0.1025019778481012669.1674.1333333333333
DRESDEN/stratego/Z2wovg0.1032959396406234569.36666666666666671.5333333333333
DRESDEN/capture_the_king/EQ229Q0.113560435430795125.09151414309484244.83528196928817
DRESDEN/smallest/9kaGFw0.1181115879828326168.8582.5
BASE/simultaneousWin2/PfjRjw0.12550669216061186164.11307.5
BASE/skirmishFinal3/-Olhfw0.131416837782340844.26666666666666732.46666666666667
BASE/skirmish/Y_psYQ0.14792113236999123.698767077640786425.004994339748286
STANFORD/duidoku/3SoMaA0.148607077077126923.892035988004160.77320446592233
BASE/skirmishFinal2/gdB62Q0.15896125150421184.427.679701552195056
DRESDEN/skirmishfinal/hzq8ww0.159069718160627234.42890442890442927.84253646839406
BASE/skirmishFinal1/ecWTnQ0.166761079640119964.398533822059313526.376261364771704
DRESDEN/smallest_4player/ADDROA0.2009901448202471144.8720.4333333333333
BASE/smallest_4player/ADDROA0.20236385149298924144.8715.542815239492
BASE/sudokuGrade6H/ieE_9A0.210717529518619438.666666666666664183.5
BASE/sudokuGrade6E/ihYFZA0.21122940991246337.266666666666666176.42745241825273
STANFORD/sudoku/oJ1qyQ0.24476275738585545.56666666666667186.16666666666666
BASE/sudokuGrade4/DTy07w0.2471561530506721547.8193.4
BASE/sudokuGrade3/eI8dvg0.2719551861221539750.166666666666664184.46666666666667
BASE/sudokuGrade2/u80Tfw0.278152583586626154.9197.3736835088655
BASE/sudokuGrade5/BQfUQA0.2925833832071818655.4189.34773189347732
BASE/sudokuGrade1/tDRNRw0.3046715450014658757.733333333333334189.49368354388187
DRESDEN/ggp-course2013_michal13/jWKddg0.3638602366836063171.83333333333334472.25092496916767
DRESDEN/chomp/-LcqYQ0.3860100940265487744.43333333333331928.5333333333333
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.41540000000000011.03333333333333342.487562189054726
BASE/chomp/-LcqYQ0.4172308364271676764.21831.6
DRESDEN/logistics/fPru1Q0.42747919099092313378.3333333333333885.0333333333333
BASE/checkers/rOC3Xg0.44247018299246527.461.92507665644581
BASE/colonelBlottoVariant/X-n-KQ0.471886792452830220.042.38304678128748
BASE/colonelBlottoVariant2/jruwGw0.517653927813163421.66666666666666841.855505198613706
DRESDEN/blockerparallel/dVQgSg0.5372104382758734362.53333333333336674.844171860938
BASE/blockerParallel/7-nDJA0.5419052836014143362.73333333333335669.3666666666667
BASE/checkersSmall/SYmq8w0.591931334870612351.33333333333333686.72177043060925
BASE/tictactoe_3d_small_6player/g_9lww0.6203086011101492406.03333333333336654.5666666666667
STANFORD/skirmish/w4V6Vw0.62166881942650485.0632911392405078.144676041355009
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.6372382061742741403.26557814061977632.8333333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.6577358490566038406.7618.3333333333334
BASE/blokbox_simple/JBx4bg0.67570550458715614.97.25167986161932
STANFORD/selectivesukoshi/3xmXYg0.6983098129307516283.7406.26666666666665
STANFORD/multiplesukoshi/vLSQPg0.701634846314533261.23333333333335372.32092263591215
BASE/biddingTicTacToe_10coins/a-9ccQ0.7116054832713755408.3666666666667573.8666666666667
BASE/checkers-mustjump-torus/uSApKQ0.73380959792477316.2666666666666678.539908287366252
BASE/qyshinsu/R08Lzw0.8107002520876004171.5211.54551211545513
DRESDEN/racer/vk_ZBA0.820268616697135914.93333333333333418.20541835851694
BASE/racer/QQYQNw0.8445937515.318.115218115218116
BASE/checkers-cylinder-mustjump/rjr6qQ0.92541678004535149.0666666666666669.797387363369769
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.92729795918367349.0666666666666669.777511723037016
BASE/checkersTiny/Lr48cg0.9569457247828991127.33333333333333133.06223125895804
BASE/futoshiki6/JmvXNA0.9974921888234687536.4666666666667537.8154061531283
BASE/conn4/va9Y7A1.00057660151069581156.86666666666661156.2
BASE/hidato19/rRHSmA1.0115433010558565616.3333333333334609.3
STANFORD/madness/UO_B3A1.05944481388299978.0639786737754087.611513660838928
DRESDEN/tictactoe_3d_6player/ulZPWg1.0801334705781438139.86666666666667129.4901699433522
BASE/blocksWorldParallel/RseaAQ1.0992840660315961857.91690.1
DRESDEN/backgammon/mqCW0Q1.111148148148148347.0312.28959034698846
BASE/tictactoe_3d_6player/d7KSwg1.1144473124002128139.53333333333333125.20406463434949
BASE/checkers-newgoals/0XkFiA1.163469503546099132.828.191542537238828
BASE/ticTacToeSerial/Amrwqw1.19634360852389051382.93333333333341155.9666666666667
BASE/hidato37/pBrqxw1.224370238746127374.6333333333333460.956507248791866
DRESDEN/lightsout2/LFtfyQ1.27043070060051473702.02913.9724018398774
BASE/checkers-mustjump/T-8UuQ1.276542528735632214.811.593816631130064
DRESDEN/hallway/0H4l-Q1.2905478627332931357.26666666666665276.8333333333333
BASE/hallway/ckCJOw1.292584024803166352.03333333333336272.3485100993267
BASE/futoshiki5/TJ4BZg1.29406761641505421014.3333333333334783.8333333333334
DRESDEN/lightsout/XgLpzQ1.3297790053176093685.43818727090962771.4666666666667
DRESDEN/slidingpieces/s9_44g1.3444431535269711080.0803.3065564481184
BASE/slidingpieces/uFJWEw1.3635686809777891098.9805.9
DRESDEN/gt_ultimatum/pAiiQw1.4777124856815578516.0349.1883603879871
DRESDEN/grid_game2/kypTYQ1.53569302721088442407.96666666666671568.0
DRESDEN/doubletictactoe/lJzgmQ1.59252201340517833231.33333333333352029.0666666666666
DRESDEN/bunk_t/7-tPfA1.6048001338016393198.3666666666671993.0
DRESDEN/CephalopodMicro/H3XQfg1.6219962441314555145.8666666666666789.93033565547815
DRESDEN/doubletoetictac/V89gKQ1.64119374445127363204.2666666666671952.4
BASE/doubletictactoe/HH1htg1.65108938595144243225.7333333333331953.7
BASE/doubletoetictac/fu35bg1.65552497050727483227.66666666666651949.6333333333334
BASE/lightsOut/5P1ZBw1.65571070320962743719.33333333333352246.366666666667
DRESDEN/bidding-tictactoe/yW5vTA1.66375111564452372174.81307.1666666666667
BASE/gt_ultimatum/GE-uOA1.6684292873677868503.8320559813396301.97986800879943
DRESDEN/connect4/T0-rHQ1.6685711446740861119.5670.9333333333333
BASE/bunk_t/xbpfIA1.67352333601764653186.51904.0666666666666
BASE/connect4/50bOyw1.69439375506893741114.2333333333333657.6
BASE/factoringMediumTurtleBrain/8RBqmQ1.841460530672092595.61409.5333333333333
BASE/cephalopodMicro/9l2D3g1.8776326362213684146.6333333333333378.0947936804213
BASE/biddingTicTacToe/8mESVw1.8961148895180832165.31141.9666666666667
DRESDEN/javastrike/whONTQ1.9043200227531287520.7333333333333273.4484367708819
BASE/coins/QnGtnQ2.1165801852480482909.7333333333331374.7333333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw2.12413436893203936.417.13639237347353
BASE/coins_atomic/AA3SSw2.1379623270872172905.6333333333331359.0666666666666
BASE/kalaha5x2x3/WviNsw2.162588844803907944.7436.83754416372244
DRESDEN/coins/QwFP9w2.16535471809505082934.21355.0666666666666
DRESDEN/snake_2009_big/DgC1NQ2.2011351943825996856.8389.2536915436152
BASE/futoshiki4/BaCwSw2.21743689968300873101.2333333333331398.5666666666666
BASE/withConviction/3Xm54A2.22769773980514833406.96666666666671529.3666666666666
BASE/snake_2009_big/-oRfVw2.2539349422875135859.2381.2
STANFORD/multipletictactoe/_bkafQ2.3019935344827591424.1666666666667618.6666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw2.368348283946347684.6666666666666289.09036365454483
BASE/double_tictactoe_dengji/zgaSbA2.46723952738990353368.93333333333341365.4666666666667
DRESDEN/tictactoeparallel/yk_DSg2.48486980999296273295.61326.2666666666667
BASE/brain_teaser_extended/ZDp94A2.5144086370646978260.03285.0666666666666
BASE/snake_2009/7l-qAQ2.5207748455923641197.2474.93333333333334
DRESDEN/brain_teaser_extended/ZDp94A2.56437171966656368306.03239.0
DRESDEN/double_tictactoe_dengji/bGaUyQ2.56660989807071533365.7666666666671311.3666666666666
DRESDEN/snake_2009/zIYLVw2.58156217076700441189.2460.6513116229459
DRESDEN/grid_game/U7_Yeg2.621675221651891498.2571.4666666666667
DRESDEN/tictactoe_3player/ESLQQQ2.76267817982456172687.5333333333333972.8
BASE/sum15/QZ07Kg2.851682432924447714359.2666666666665035.366666666667
DRESDEN/sum15/CsgWKg2.855537498018074814407.95045.6
DRESDEN/latenttictactoe/kITHKg2.93492175742080535395.2666666666661838.3
DRESDEN/chickentoetictac/cxYaRQ3.063464896357381411813.3333333333343856.2
BASE/tictactoe_3player/GtM71g3.07190488892276032687.2874.7666666666667
BASE/kalaha6x2x4/XS81Mg3.0858286965898367763.1247.2917569414353
BASE/chickentoetictac/l57rfQ3.149992094583911511953.83794.866666666667
BASE/factoringGeorgeForman/HGRorQ3.171997334666000420310.9333333333346403.2
BASE/ticTacToeParallel/ymRGPw3.2311234769260293367.81042.3
STANFORD/dualrainbow/G3OnRQ3.26040950214274412325.03780.2
BASE/tictactoex9/BI26ow3.305168469217972118.8333333333335641.0666666666667
DRESDEN/tictactoex9/rFkD4w3.3159758383670072122.6666666666665640.1333333333333
DRESDEN/gt_prisoner/huCp4w3.3196303616335492082.6666666666665627.3790873637546
BASE/lightsOnSimul4/9FeASw3.32205029013539654236.51275.2666666666667
BASE/eotcitcit/V_9_bg3.42021027601812978827.7907364211932581.0666666666666
BASE/lightsOnParallel/SC6enA3.460436620933643713367.6666666666663863.0
DRESDEN/sat_test_20v_91c/dK7nVw3.47414092329052431668.1666666666667480.1666666666667
DRESDEN/tictictoe/LAUtwg3.5475649993401098959.9666666666672525.6666666666665
DRESDEN/chickentictactoe/Ipbo-g3.56768026687195311122.63117.6
BASE/snakeAssemblit/UO4sdg3.64239884771507151854.4666666666667509.1333333333333
DRESDEN/blocker/S815zQ3.67732399179767614346.4666666666673901.3333333333335
BASE/blocksWorldSerial/Wyg96Q3.706345080132914310931.02949.266666666667
BASE/pearls/6k_mEQ3.72711481613281735260.866666666679460.633333333333
BASE/switches/tPUoCg3.751311066720778523724.6666666666686324.366666666667
BASE/coloredtrails/EZvr7g3.77092703648175936036.51600.8
BASE/mineClearingSmall/frsbvw3.835385445892821029.7666666666667268.4910502983234
BASE/haystack/UkweGA3.84712963389585552881.2333333333313745.633333333333
BASE/buttons/hTcUjw3.847367240648907230878.28025.8
DRESDEN/lightson2x2/gBHuig3.852462128402749416911.6666666666684389.833333333333
DRESDEN/buttons/ADUaHw3.886634329684841630608.87875.4
STANFORD/tictictoe/rpt_Dw3.92512879559511738863.3333333333342258.1
BASE/lightsOnSimultaneous/_VN6lw3.93367565254599955822.2333333333341480.1
BASE/gt_prisoner/klthDw3.94076060458313072155.3333333333335546.9333333333333
DRESDEN/gt_chicken/CeuKtw3.95013212277254541943.3333333333333491.96666666666664
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.95640551329772941629.6666666666667411.90587294180386
BASE/toetictac/mTThmg3.959054530557303518039.34556.466666666666
STANFORD/triplesukoshi/Iu9mbA3.96478891117260275205.91313.0333333333333
DRESDEN/mimikry/GJEhwA3.97147781836089833225.766666666667812.2333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4.0206383574479811620.9333333333334403.1532282257258
BASE/ticTicToe/c1OobQ4.03469208995057658915.7280906364542209.766666666667
DRESDEN/toetictac/mJtxCA4.03842393210876318035.4666666666674465.966666666666
DRESDEN/catcha_mouse/cHv4dw4.0482410405575994917.5333333333341214.7333333333333
BASE/chickentictactoe/DSlZCA4.04882838543876511133.3333333333342749.766666666667
BASE/catcha_mouse/cHv4dw4.0663496748100784960.1333333333331219.8
BASE/incredible/8Qh-6Q4.0712504402958789631.92365.8333333333335
BASE/tictactoe_orthogonal/WRzlVw4.18542976769750617260.4333333333344123.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ4.2029650518354317189.5666666666664089.866666666667
BASE/duplicateStateMedium/U163eQ4.20867579174239658722.22072.4333333333334
BASE/duplicateStateSmall/bCPAXw4.24560283531820325715.3333333333326056.933333333333
BASE/eotcatcit/AfZSzA4.30855924170616215151.7666666666663516.6666666666665
DRESDEN/eotcatcit/mQUxzA4.31152935742740114936.03464.2
BASE/blocker/dIWtxg4.33289589719900913757.2333333333343175.0666666666666
BASE/nineBoardTicTacToePie/B8LzeQ4.3424215619317933263.8751.6082797240092
BASE/blocksWorld/SEdXLQ4.37286002488781630923.77071.733333333334
BASE/blocks/xIV5hQ4.44090696943431131082.56999.133333333333
DRESDEN/tictactoe/BTTzPw4.46914551240326916478.6333333333353687.2
STANFORD/breakthrough/d5j0cQ4.482375450732214060.733333333333905.9333333333333
DRESDEN/blocks/vg0DRw4.49042000355081331193.96946.766666666666
BASE/gt_chicken/gmepTQ4.5154845154845161958.6666666666667433.76666666666665
BASE/snake_2008/i6K26g4.5628217040238551513.1333333333334331.6222792573581
BASE/snake_2008_tweaked/bX0NJQ4.5717186072479951501.2328.3666666666667
BASE/factoringEasyTurtleBrain/lUj94Q4.578168948623213613439.5201599466842935.5666666666666
BASE/untwistycomplex2/EDPPAQ4.58998814889950329564.2666666666666441.033333333334
DRESDEN/snake_2008/E56l3A4.5913118403727341510.9329.07806146256917
STANFORD/sukoshi/4LYZZQ4.665737556098247512163.7333333333342607.0333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4.6810717851991572812.7600.8666666666667
STANFORD/untwistycorridor/EDPPAQ4.72344332649605930780.6333333333356516.566666666667
DRESDEN/blocksworldparallel/2JfVaw4.74800800722220112096.52547.7
BASE/breakthroughSmallHoles/bxclRw4.7764379890989925228.7666666666661094.7
BASE/battlebrushes/arCwyA4.843502109704641483.866666666666799.90016638935109
BASE/onestep/xi53wA4.86123353744945974782.315383.4
BASE/lightsOn/MsXu3A4.93728703415929729124.2333333333345898.833333333333
BASE/numbertictactoe/rvJ-iQ4.9409457900807389995.5333333333332023.0
DRESDEN/circlesolitaire/ruUilQ4.95128053089438220318.94103.766666666666
BASE/circlesolitaire/azuQFQ4.98965536995965320322.74072.9666666666667
STANFORD/trifecta/ss1kyQ5.03415198237885515236.73026.6666666666665
BASE/queens12ug/u6Bkmg5.0394508770713452422.8480.76666666666665
DRESDEN/troublemaker01/C-lPWw5.05163978874899857136.06666666666611310.4
DRESDEN/mummymaze2p/k-8edg5.074556483516483230.845.48180727708917
BASE/troublemaker01/s3tlEQ5.07574914268273156540.811139.4
STANFORD/tictactoe/ss1kyQ5.07810808470099215635.8333333333343079.0666666666666
BASE/mummymaze2p/vpjDdA5.086077002204261230.645.33946298887334
BASE/survival/YVIjJA5.10385141394979553988.210577.933333333332
BASE/hodgepodge/9yjRkw5.10687438279691316893.23307.9333333333334
DRESDEN/peg/Vo31eg5.1126292134831473791.866666666667741.6666666666666
BASE/duplicateStateLarge/dcjyuw5.1544860368389784048.3333333333335785.4
DRESDEN/tictactoe-init1/3ltIBQ5.16409570064211217674.7333333333343422.6192460251323
BASE/stateSpaceSmall/Q7osKA5.17229682395711246760.6666666666649040.6
STANFORD/tictactoe7/-bE9-A5.1909992988122316286.9333333333323137.5333333333333
DRESDEN/2player_normal_form_2010/NG_Kdg5.21148719605783930106.0666666666665776.866666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg5.23865562041046814838.6666666666662832.5333333333333
BASE/ticTacToe/JRFsaQ5.24688682051935916460.5333333333333137.2
BASE/queens16ug/gT-ylw5.273987087381131428.323892035988270.8243058564714
DRESDEN/peg_bugfixed/u_B7MA5.3051766110881453849.9666666666667725.7
STANFORD/dualhunter/1rPZjQ5.3249962332379098246.4666666666671548.6333333333334
DRESDEN/tpeg/h-Scbg5.3487084870848713865.3333333333335722.6666666666666
BASE/tpeg/QNs7Lw5.4195396855465053814.633333333333703.8666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.4364267283566164073.3333333333335749.2666666666667
STANFORD/buttonsandlights/eyhJpA5.44308544121728253610.49849.266666666666
DRESDEN/statespacesmall/h-NqjA5.44965134761976646970.08618.9
BASE/tictactoe-init1/7M19vA5.47012277483216718088.9666666666673306.866666666667
DRESDEN/statespacelarge/8-y5HQ5.50368308764782820895.4666666666673796.633333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5.5860421918535232806.8502.46666666666664
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg5.6109148381132762764.9666666666667492.7835738808706
BASE/stateSpaceMedium/3bUoIw5.62408226831137430334.85393.733333333334
BASE/queens08ug/kJ_ZFQ5.6530670384023615291.836054648451936.1
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5.6567079471982752799.6494.9168361054632
DRESDEN/statespacemedium/dVJZ_w5.65790025017561530606.65409.533333333334
BASE/stateSpaceLarge/0Ge_CQ5.69154362656769621162.8666666666653718.3
STANFORD/hunter/14dD-g5.7358995177844312353.2155948017332153.6666666666665
DRESDEN/cube_2x2x2/fp-34Q5.801096533100577089.1333333333331222.0333333333333
STANFORD/tictactoe5/WFRReg5.81697951254771717168.2333333333342951.4
DRESDEN/troublemaker02/iZLVuA5.84007363313208855201.9333333333349452.266666666666
STANFORD/jointbuttonsandlights/qAKuIQ5.86424110182832626696.5666666666664552.433333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A5.90120532292900452823.3333333333335478.43333333333334
BASE/troublemaker02/DI83KA5.90995252159495954894.29288.433333333332
STANFORD/duikoshi/tpw1sw5.9665728447953777984.6666666666671338.2333333333333
BASE/tron_10x10/7ZTgDg5.998951781970657630.6666666666671272.0
BASE/gt_staghunt/xPjLRA6.0059760956175293216.0535.4666666666667
BASE/firefighter/WJmoPw6.028109152378652516641.62760.6666666666665
BASE/god/qF06gw6.034878098290598125.3666666666666620.77368666355949
DRESDEN/uf20-010.cnf.SAT/5ICbCg6.0355969435154222887.3333333333335478.3840538648712
DRESDEN/god/2EDD5w6.037692091295116126.2333333333333320.90754735825815
BASE/gt_coordination/IVMOzA6.0401201838105354556.666666666667754.4
DRESDEN/firefighter/WJmoPw6.05858120290876116912.9333333333342791.5666666666666
DRESDEN/checkers-mustjump-torus/cVc3gA6.2965677419354846.41.016426768090757
BASE/nineBoardTicTacToe/wRmqqA6.3258611776869224486.933333333333709.3
BASE/ticTacHeavenFC/mrletw6.3395846805918194046.633333333333638.3120562647912
STANFORD/tictactoe3/X7myng6.34466584334774217809.92807.0666666666666
STANFORD/nineboardtictactoe/y28P-A6.3675542772313984575.3718.5333333333333
DRESDEN/cubicup_3player/awDtsQ6.41996303893178852660.1666666666665414.3585641435856
DRESDEN/pawn_whopping/4ogBkg6.4329853862212947189.9333333333331117.6666666666667
DRESDEN/aipsrovers01/qS47Mw6.4416791692407277299.0666666666671133.1
DRESDEN/Runners/3bOCQw6.5196492920579987659.0666666666671174.7666666666667
BASE/aipsrovers01/4C4jsw6.58774307601657452.9333333333331131.3333333333333
BASE/ticTacHeaven/18n58A6.6842629482071724697.7702.8
BASE/cubicup_3player/e2yA_g6.7038580854758312659.4666666666667396.70688620758614
DRESDEN/amazons/dNB28A6.81830028985507278.411.498466871083856
DRESDEN/pawn_whopping_corrected/7Ov0jQ6.962790406804047422.5666666666671066.0333333333333
DRESDEN/point_grab/r5DPmQ6.977118742498741530035.3333333333324304.833333333333
BASE/tictactoe2/bhrDoQ7.08060345565696927565.7333333333343893.133333333333
DRESDEN/fizzbuzz/t1xHzQ7.1757689159162676136.0855.1
BASE/maze/cCX3qQ7.23905028025330243782.56048.1
BASE/roshambo2/KNPokQ7.26609622234981139231.8333333333365399.3
DRESDEN/8puzzle/8fKC2w7.34349812922403416552.02253.9666666666667
BASE/tictactoe_3d_small_2player/oOryKA7.3737584795082526011.133333333333815.2061597946736
BASE/queens06ug/7Lq3tw7.4586014586014598693.01165.5
DRESDEN/tictactoe_3d_small_2player/HYttcg7.4832862132047245999.6801.7333333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg7.501489637565672823.9666666666667376.4541181960601
DRESDEN/roshambo2/jgSlkQ7.55495405243994139215.55190.7
STANFORD/bestbuttonsandlights/nm0wEA7.60065388459069338281.25036.566666666667
BASE/ticTacToeNoVars/XT03NA7.60629187558237617142.32253.7
DRESDEN/uf20-01.cnf.SAT/42Rs8A7.6092525869084982908.6666666666665382.25392486917104
DRESDEN/Goldrush/VeWczQ7.6407559169804793922.633333333333513.3828872370921
STANFORD/multiplebuttonsandlights/cK70Yg7.652831642481058539728.45191.333333333333
DRESDEN/tictactoelarge/IwXcbg7.71612425038743919085.8333333333322473.5
DRESDEN/tictactoelargesuicide/6J4DeA7.77737091639454118973.9333333333342439.633333333333
DRESDEN/chinesecheckers1/Y-ftaA7.9568717021161025123.258913695435643.8785373820873
DRESDEN/checkers-cylinder-mustjump/vW_-pA7.9656228571428579.21.1549630411826821
STANFORD/rainbow/_4qNSQ7.97372031960247347070.25903.166666666667
BASE/racer4/0vs7Ww8.044047893569845120.815.017314864144913
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg8.1061019607843139.1333333333333331.1267232237539766
BASE/snakeParallel/RCVNtw8.26022788772360918824.2333333333342278.9
STANFORD/multiplebuttonsandlights_9/SqB9BA8.3153816246363441349.0666666666664972.6
BASE/beatMania/qUHwvQ8.39076683669058616176.01927.8333333333333
DRESDEN/small_dominion/yB5GJA8.533026920151755171.1096301232922520.052629825788614
STANFORD/3puzzle/41ibjA8.62788409175591730102.43488.9666666666667
STANFORD/eightpuzzle/W_aWbA8.74268638707852716141.6666666666661846.3051231625614
BASE/point_grab/V_osUg8.80926271697143929723.3333333333323374.1
STANFORD/threepuzzle/41ibjA8.96264946134722330283.03378.8
BASE/3pConnectFour/PqXOFQ9.0364512278308337065.3781.8666666666667
STANFORD/8puzzle/jNiGtw9.10355458499256716536.01816.4333333333334
BASE/pawnWhopping/Ypc_6Q9.1106342590682137359.266666666666807.7666666666667
BASE/escortLatch/mX9BjQ9.1129525113460623993.3333333333335438.20411972535163
STANFORD/bestbuttonsandlightsbig/g0JC6g9.1412439618999333621.83678.0333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ9.15953420669577818877.82061.0
DRESDEN/babel/WdSW4A9.193349229521493755.466666666666782.17534739578126
BASE/eightPuzzle/vLrgFg9.2512564657544316812.01817.2666666666667
BASE/cubicup/4wNWJA9.2966809118453324295.4462.03586427571497
BASE/gt_dollar/TGjqRw9.41699846112508825701.52729.266666666667
BASE/ticTacToeLarge/TZC0dg9.42869105477472819141.52030.1333333333334
DRESDEN/cubicup/SBn_lw9.4391911341393214372.233333333334463.2
BASE/dotsAndBoxes/EHwA_w9.4442820148692687537.166666666667798.0666666666667
BASE/dotsAndBoxesSuicide/jzQbLw9.4877178874379157555.766666666666796.3734542181927
BASE/guess/SPpk1A9.622357798209072232.633333333333232.0255991466951
BASE/ticTacToeLargeSuicide/727_8g9.64169139465875319062.2666666666661977.0666666666666
DRESDEN/guess/PhxGhg9.6735501295709752239.6231.51789880674622
BASE/pegEuro/5awwhg10.0489479329530253170.5666666666666315.51229918005464
BASE/cylinder-checkers/hlldmw10.08470399999999925.22.4988338775238224
DRESDEN/cylinder-checkers/clOO3Q10.08838157894736825.2666666666666662.5045312242544076
BASE/rubiksCube/9tNO9Q10.5098083941605853071.6666666666665292.26666666666665
DRESDEN/oisters_farm/pTQMLg10.65824632443821930181.6666666666682831.766666666667
DRESDEN/4pttc/9pB9AQ10.6966660145249743207.4666666666667299.8566714442852
BASE/pacman2p/4LEdQg11.193767911929253688.933333333333361.5461512829057
BASE/snake2p/I3wWPQ11.2200697165067712124.0333333333331080.5666666666666
BASE/asteroidsSerial/id2QkA11.5744618538585447904.2682.9
DRESDEN/checkers-newgoals/IJOqXQ11.69697073170731731.82.718652609243419
BASE/peg/fJHVWw11.7467082070969083773.7321.2559581347288
DRESDEN/checkers-mustjump/HUr33w11.85392432432432514.41.2147875763346248
DRESDEN/frogs_and_toads/GjchhQ12.0172658634538152892.266666666667240.67593240675933
BASE/connectFourSimultaneous/7ITr3g12.1222845984866976622.0546.2666666666667
DRESDEN/knightmove/97Ipcw12.1607535388870824982.5409.7196760107996
BASE/reversi/d8UMeA12.249352044609665438.735.814139262415125
BASE/reversiSuicide/9OxJlg12.271477497665733437.5666666666666635.65721134638434
BASE/knightmove/jBaJEw12.9874582446731815004.766666666666385.353821539282
BASE/hexPie/48CH6Q13.2952368708201351678.6333333333334126.25824945003666
BASE/connectFourLarger/qKi60A13.4135318057311432829.266666666667210.92630245658478
DRESDEN/hanoi/RQ0jiA13.43546721734641222554.5666666666661678.7333333333333
DRESDEN/checkers/jIDMIg13.63380281690140832.2666666666666662.3666666666666667
BASE/hanoi/iGLsJg13.90131106506083322584.5333333333331624.6333333333334
BASE/dualConnect4/WbCQkg14.3837176170672676801.833333333333472.8842371920936
DRESDEN/connectfoursuicide/M9CNQg14.59627242152466313887.866666666667951.4666666666667
DRESDEN/connectfour/5tc-Mg14.81695331695331714071.166666666666949.6666666666666
BASE/gt_centipede/9fRMpw14.91180977720896529516.9333333333341979.4333333333334
BASE/connectFourLarge/aU644A14.915942723623518298.733333333334556.3666666666667
STANFORD/pentago/ZxzLmg15.4535465228211236278.566666666667406.28645711809605
BASE/connectFour_9x6/B9TtMw15.75081885650317112663.133333333333803.9666666666667
STANFORD/connectfour/VMpZkQ15.77386972318987214037.166666666666889.9
BASE/connectFour/WAIKTw15.84201563588513113644.2861.2666666666667
BASE/connectFourSuicide/c8p9Kw16.14687983270369614192.569143618794878.9666666666667
BASE/pawnToQueen/-O1_JA16.9209257777777884.466666666666674.991846650470897
BASE/othelloHoles/c0qAzw17.03721032357473368.166666666666721.609562814237673
DRESDEN/pawntoqueen/f_x6Aw17.15249736842105286.65.048827476250581
DRESDEN/ghostmaze2p/HY0UwA17.917697879161532421.633333333333135.1531513515315
DRESDEN/knightstour/cGISAA18.05629490591873339120.1666666666642166.5666666666666
BASE/ghostMaze2p/W-NU-w18.452625631151052395.366666666667129.81169805032494
DRESDEN/3pttc/uwYBZw18.52247796082811615478.0835.6333333333333
BASE/asteroidsParallel/WauZiA18.5301601830663613496.133333333333728.3333333333334
DRESDEN/pentago_2008/hLjVpQ18.894718062725517563.933333333333400.31998933368885
DRESDEN/3pffa/0YrmQw19.1368319769073515911.0831.4333333333333
BASE/tictactoe_3d_2player/IUC1rQ19.630577403526282622.0333333333333133.56883393874762
BASE/pentago/86NgKw19.813431275610987467.433333333333376.88743708543046
DRESDEN/tictactoe_3d_2player/LMuX9w19.9811507936507942685.4666666666667134.4
BASE/asteroids/BKCmPQ20.01364517311822425472.0333333333331272.7333333333333
DRESDEN/knightwar/7hhAqg20.02056508207725510935.9546.2333333333333
BASE/pentagoSuicide/SBgNhw20.262946996297627540.266666666666372.1209293023566
DRESDEN/mummymaze2p-comp2007/oTQRQg21.8778806772908362196.1100.37992401519696
BASE/mummyMaze2p_2007/YGA3Vw21.9650723394751532185.23333333333399.4867351019864
STANFORD/knightstourmedium/x1wu8Q22.26145607881185439770.8333333333361786.5333333333333
BASE/knightazons/apnJBQ22.4400421555555521121.366666666666649.971682713129226
DRESDEN/pacman3p/rBnk8Q22.6546267900633221549.866666666666668.41280949048618
DRESDEN/bomberman2p/x4h6jQ22.872365520728013015.6131.84469255124145
DRESDEN/knightazons/02I8BQ22.917689430894311127.449.19344087455006
BASE/othelloSuicide/B442jg23.716424046434494476.366666666666720.085939842110523
BASE/othello-comp2007/86ZoMw23.940091388888888477.7666666666666519.956760352569432
BASE/bomberman2p/4CClwA24.1686523696055073042.8333333333335125.9
BASE/pacman3p/wW7UVQ24.947237410968661556.033333333333362.37297171225802
BASE/knightsTour/mvtVIg25.09321472104013839114.466666666671558.7666666666667
STANFORD/knightstour/cEwgNA25.16834856425137838740.81539.2666666666667
BASE/4pffa/Q3ADlg26.89265127391837512097.3008997001449.8366775548297
BASE/3pffa/pR0dzA28.57998509237125615277.90736421193534.5666666666667
BASE/crossers3/O0rORg29.3458966824644561444.749.23005132991134
BASE/kalaha_2009/dRiN3g29.37652971342383648.422.07204208003196
DRESDEN/crossers3/xiPTxg29.3881536546731442.333333333333349.07873254922867
BASE/shmup/ssTNlg29.49822467698984219938.833333333332675.9333333333333
DRESDEN/kalaha_2009/gcC8uA29.961853252647504659.522.01132201132201
BASE/zhadu/DlA8iQ32.845139876215741237.766666666666737.68492602958816
BASE/2pffa/6oHijA33.2345862125434519291.569476841054580.4666666666667
BASE/nonogram_10x10_1/0Xc62g33.37182960784313944.433333333333328.30031629765274
BASE/4pttc/AL1k2Q33.8414378880509263094.435188270576491.4392348961978
BASE/2pffa_zerosum/o0_uZA34.74993572712999419285.57147617461554.9815006166461
DRESDEN/pancakes88/aD3E7g35.60518524445867444495.81249.7
STANFORD/pilgrimage/ObRZnQ37.1498384272169568880.4239.0427623904276
BASE/chineseCheckers1/gqtwHw37.2062481920740530011.8806.6333333333333
DRESDEN/pancakes6/SZXMyQ38.5198604674848550427.633333333331309.1333333333334
DRESDEN/pancakes/hl9aiQ39.9574225985710550333.033333333331259.6666666666667
BASE/amazons_8x8/7SOsIw40.143225432756332008.950.04331312054374
STANFORD/freeforall/Lfp40Q42.56678970552200520588.13728757081483.6666666666667
DRESDEN/farmers/S_ASnw45.0458666666666759.3333333333333361.3171759747102212
BASE/ruleDepthLinear/OUBJpQ45.7676861353601775670.766666666661653.3666666666666
BASE/kitten_escapes_from_fire/uW-YiA46.41858048425646629779.066666666666641.5333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA47.3009996297667629810.666666666668630.2333333333333
BASE/chess_200/XsTpYA56.29325950413223680.412.086704624912596
BASE/knightsTourLarge/M8jgLA58.9709159952666235367.6107964012599.7466751108296
BASE/amazonsSuicide_10x10/XIbQkg59.950380403458211385.466666666666723.11022311022311
BASE/amazons_10x10/Bun8dA60.7073286195286241399.633333333333423.05542617605962
BASE/knightwar/DVGY4Q61.5149915142372210873.8176.76666666666668
BASE/pancakes/yUgbXw61.7791460031940848999.1793.1333333333333
BASE/pancakes6/QZTdnw63.6298750314518250577.26666666667794.8666666666667
DRESDEN/hanoi_6_disks/MeubgQ64.8791174869671918805.666666666668289.85700476650777
BASE/hanoi_6_disks/MeubgQ65.8909765715611318937.066666666666287.4
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA71.614386111111122859.333333333333539.926800865080686
DRESDEN/quarto/OQzRYQ73.092817287120241896.333333333333325.944181709185372
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g73.613883333333332905.333333333333539.46719289590528
BASE/gt_tinfoil/Q8DyKg73.869938849929888777.333333333334118.82145118821451
STANFORD/knightstourbig/TQUI2g74.845021337126635077.36666666667468.6666666666667
DRESDEN/satlike_20v_91c/yeuENQ74.936428813559332938.039.20656543841579
DRESDEN/satlike_20v_91c_version2/yd9ioQ76.334586206896552934.038.43605036447979
DRESDEN/quartosuicide/WIU1oQ78.364834351851851880.066666666666623.99120322548399
BASE/chineseCheckers4/avfBcQ81.2438788758833824522.366666666665301.83648301836485
BASE/nonogram_5x5_1/qLKEZw81.761056723837927307.73333333333489.37914486619789
BASE/amazonsTorus_10x10/Uxc08g82.252300829187391100.566666666666613.380375449340967
BASE/quarto/EwBMVQ83.783798717948711886.733333333333322.519071254871914
BASE/chineseCheckers2/eCMR3Q86.2746322788635942818.1496.3
BASE/quartoSuicide/-23jUg87.242422256568771880.421.55373442601106
BASE/chineseCheckers6/rREH3A89.9331290052939521518.0239.26666666666668
BASE/2pttc/unkkYA93.8134940527070720137.28757080973214.65235650956603
DRESDEN/othello-cornercontrol/r5Gdlg93.9674999999999914.1666666666666660.15076134479119555
BASE/amazonsSuicide/dE1QEQ94.880755555555558.1333333333333330.08572163328285282
BASE/chineseCheckers3/-1rZdQ96.5676968079301635394.1366.5211159628012
BASE/3pttc/0sol9g101.867895484758214814.0145.42363842410506
BASE/knightfight/SJRkAg106.920472184891055831.76666666666654.54303135308033
DRESDEN/connect5/1kYzSg107.251561809045232132.619.884092725819343
DRESDEN/hanoi7/51zz5Q108.1798814588893118914.533333333333174.8433542194374
BASE/amazons/RKKZjw110.805299999999998.10.0731011964229148
DRESDEN/knightfight/4_Ly4w110.900252525252545855.53333333333452.8
DRESDEN/hanoi7_bugfix/3gdnFw111.9684030697210519035.188270576473170.00499916680553
BASE/connect5/d-BVQg118.750192918192922160.533333333333318.193935354881706
BASE/hanoi7_bugfix/3gdnFw120.3680761099365818978.033333333333157.66666666666666
BASE/speedChess/bPnisA122.124864091559362842.666666666666523.276723276723278
DRESDEN/battle/8oAvhQ125.91461449275361479.33333333333333.8068125393094774
BASE/battle/8oAvhQ129.80404166666668483.66666666666673.7261294829995344
DRESDEN/four_way_battle/xSOQXA130.03406365159128858.66666666666666.60339792938678
BASE/four_way_battle/xSOQXA140.06826630434782857.06.118445116882254
BASE/choicethroughalt/tt71Lg142.9509535477983213921.56666666666897.38701506465804
BASE/skirmishNew/sibw2g155.296833988764043683.13333333333323.716731621198495
BASE/skirmishZeroSum/zh4hcw171.741781201849023710.421.604527296937416
DRESDEN/twisty-passages/j7NPyg172.231929122452411356.26666666666665.93589658159526
BASE/twisty-passages/DiZmmg182.13559322033911462.462.93333333333333
STANFORD/platformjumpers/HEQskA214.601796078431365468.725.48301132578281
BASE/wargame02/BkVqqQ230.34259506172841033.16666666666674.485347863645425
BASE/wargame01/_GZFZg412.368319607843151860.96666666666674.512874966817096
DRESDEN/Zhadu/9zpQ5w438.4320619433198718039.76666666666641.146093619856735
BASE/max_knights/2fq3Ag470.975908823529443193.86.78123857328059
BASE/wargame03/klXI8w482.909660824742331559.93.2302107962303106
DRESDEN/max_knights/hCipiA491.336406700167463254.53333333333336.623839163865127
BASE/solitaireChineseCheckers/-ET6gw558.17253333333337718.413.827982458948178
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A670.26423915737312016.06666666666817.92735754748417
DRESDEN/battlebrushes/QHXV4A705.1797523809524309.066666666666660.43828068747456406
DRESDEN/hitori/S8Gsyg708.9636313725489794.93333333333331.121261088942387
BASE/hitori/S8Gsyg716.4628196078431805.73333333333331.1245989481692191
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA718.405394140624912253.43333333333217.056432806982478
DRESDEN/vacuum_cleaner_1/eUNjpw912.573028215767614644.43333333333216.047409774936742
DRESDEN/Travelers-Dilemma/PvZwYw1661.307366492146542284.025.45224372855382
BASE/pancakes88/l2Xaig1850.308230589803544200.266577807423.888055972013994
DRESDEN/chinesecheckers4/-oVNYg2094.61156400247551922.85904698433860.9180026884364447
DRESDEN/chinesecheckers3/QsCb2A3902.43675652173852940.70.7535548129218269
BASE/gt_two_thirds_2p/1APDGg7069.92523539094719034.2333333333342.6922821245762147
DRESDEN/chinesecheckers6/yTbPDAInfinity1333.90.0
BASE/merrills/pku8TgInfinity1.99933355548150620.0
DRESDEN/merrills/aYEzwAInfinity2.00.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity955.80.0

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messageREKKURA_BACKWARD_PROVER:1.0.0 error message
BASE/endgame/jYjfOATest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process failed to output results for unknown reason
BASE/wallmaze/uxNQ9gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/checkLines/Vop7oQTest process failed to output results for unknown reason
BASE/nim4/twk16wTest 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
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
BASE/sheepAndWolf/g4THrgTest process failed to output results for unknown reason
DRESDEN/minichess/c7GMFwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest process failed to output results for unknown reason
DRESDEN/racetrackcorridor/O0DoTATest process failed to output results for unknown reason
DRESDEN/blocks2player/3ev8nQTest process failed to output results for unknown reason
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds

index