index

FLUXPLAYER_PROLOG:1.1 vs. PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second
BASE/crisscross/ICagEg0.00.0338.8333333333333
DRESDEN/blobwars/ZaMluQ0.00.0120.29599013366222
DRESDEN/battlesnakes1509/-qZrLw0.00.0164.38904073061795
BASE/ad_game_2x2/D0aWqg0.00.00.23798191337458352
BASE/slaughter/cOch8A0.00.02.7983210073955624
DRESDEN/battlesnakes2011/93VtTw0.00.0163.40609898350274
DRESDEN/ticblock/Z2yNWQ0.00.0481.46666666666664
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.027.022529867882458
BASE/colonelBlotto/jip21A0.00.00.004608294930875576
BASE/blobwars/0XT15Q0.00.0124.44607336820711
BASE/ticblock/T21C1g0.00.0471.35095496816774
BASE/gt_attrition/kD_SCA0.00.00.09904585823236159
DRESDEN/crisscross/GsY16g0.00.0319.67868808746084
BASE/englishDraughts/jFkQxg0.00.0166.7944146365848
BASE/checkersTorusNoKings/pwb6oQ0.00171849942726231370.3174.5709048491918
BASE/checkersBarrelNoKings/rnKNeg0.00182851839539007060.36666666666666664200.5266491116963
STANFORD/checkersonabarrelnokings/Zrevdw0.0022022017614091270.36666666666666664166.500033326668
BASE/tttcc4/8Bs2lg0.0030230521748236360.433188937020993143.29522349255024
BASE/ttcc4/Le0qjQ0.00303505291005291050.43333333333333335142.77620396600565
DRESDEN/tttcc4/sAvtFg0.00314428973778694150.4330446369087275137.72415172321845
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.00316066041581736671.0333333333333334326.93589230974277
BASE/checkersTorus/2vm1EQ0.0065929258752521291.0656010656010657161.62794573514216
BASE/ttcc4_2player_alt/ZEJvYA0.0072448327295972721.1333333333333333156.43333333333334
STANFORD/ttcc4/Cx9SGw0.0095261605615910781.13295568143952118.93098737045553
BASE/ttcc4_2player/_aH_Mw0.0109306683322923181.1666666666666667106.73333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA0.01219144791018096340.466666666666673319.266666666667
DRESDEN/catch_me/ghGWrA0.01228673197738084539.453515494835053211.0666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.01285404830996852641.933333333333333262.266666666667
DRESDEN/Thief_Police/CX18rA0.01298471590731742941.63203.766666666667
BASE/blockerSerial/3eqDuw0.0140533782483156882.433333333333333173.1493517314935
DRESDEN/breakthroughsuicide_v2/LU1nAw0.024993503149200774.463690872751499178.5940468651045
BASE/breakthroughHoles/nZk0Sg0.0252673751009466524.53182272575808179.35470968602093
DRESDEN/breakthroughsuicide/Y9QzqQ0.0256870904163587144.633333333333334180.3759498733502
BASE/breakthroughSuicide/wZDpIg0.0269578229823812354.631789403532156171.8161517181615
DRESDEN/breakthrough/z4hK7Q0.0270814858107669354.633333333333334171.0885940937271
BASE/breakthroughWalls/vOZaYA0.027398063587326374.596935376415723167.78322167783222
BASE/breakthrough/TGxk-g0.0281024403961539084.765078307230923169.56101463284557
BASE/ttcc4_2player_small/Cv72TA0.029869623260549848.8294.6136924205053
BASE/knightThrough/gcwFjA0.0299814709975567565.198267244251916173.3826617338266
DRESDEN/knightthrough/J7Fc_Q0.0311695344634697475.361305361305361172.0046658890185
BASE/breakthroughSuicideSmall/XSbJog0.080509816100353222.033333333333335273.6726327367263
BASE/breakthroughSmall/HJ0tIA0.0857629771306350823.166666666666668270.12432918902704
BASE/copolymer_4_pie/IN5_jA0.138995863746958631.26666666666666669.112981009079721
DRESDEN/stratego/Z2wovg0.195185646845494969.36666666666666355.38815372820903
DRESDEN/mummymaze2p/k-8edg0.24813646788990826230.8930.1333333333333
BASE/mummymaze2p/vpjDdA0.24992774566473988230.6922.6666666666666
BASE/skirmishHoles/AUCxCA0.250958333333333341.96666666666666667.836626265980408
BASE/strangeSkirmish/gc1zKA0.261537591445053451.89936687770743087.262309281098008
DRESDEN/towerworld/HCX34w0.26158686231970712.0319786808794147.7678927101314565
DRESDEN/capture_the_king/EQ229Q0.27671872978429565.09151414309484218.39960073199135
BASE/skirmishFinal3/-Olhfw0.29964361370716514.26666666666666714.239137667176792
DRESDEN/logistics/fPru1Q0.30684798183243667378.33333333333331232.9666666666667
BASE/skirmishFinal2/gdB62Q0.3646895027624314.412.065057992267697
DRESDEN/skirmishfinal/hzq8ww0.393333885049861334.42890442890442911.259910720234526
BASE/skirmishFinal1/ecWTnQ0.42063431085604164.398533822059313510.456906886905555
BASE/kalaha_2009/dRiN3g0.548530821724663648.41182.0666666666666
BASE/merrills/pku8Tg0.56609167660624031.99933355548150623.5318193820966464
DRESDEN/merrills/aYEzwA0.5681886792452832.03.519957494852892
DRESDEN/kalaha_2009/gcC8uA0.5733286968616883659.51150.3
BASE/kalaha6x2x4/XS81Mg0.6011185799810944763.11269.4666666666667
BASE/skirmish/Y_psYQ0.62294263178568043.69876707764078645.937572561117192
BASE/kalaha5x2x3/WviNsw0.6347084117172803944.71488.4
DRESDEN/smallest_4player/ADDROA0.7194914872474331144.8201.25324978334777
BASE/smallest_4player/ADDROA0.7197058979456594144.8201.19329355688143
STANFORD/skirmish/w4V6Vw0.8272427077600445.0632911392405076.120683919898876
BASE/checkers/rOC3Xg0.896700109051254127.430.55648117294235
DRESDEN/checkers/jIDMIg1.025526271186440632.26666666666666631.463520314635204
BASE/checkersSmall/SYmq8w1.065779469434832851.33333333333333648.16506116462784
DRESDEN/checkers-newgoals/IJOqXQ1.067825503355704731.829.78014656895403
STANFORD/madness/UO_B3A1.1180687850593588.0639786737754087.2124173230963535
DRESDEN/smallest/9kaGFw1.122959738846572468.861.266666666666666
DRESDEN/cylinder-checkers/clOO3Q1.133676432486297825.26666666666666622.287370490055636
DRESDEN/ghostmaze2p/HY0UwA1.14244154046956342421.6333333333332119.7
BASE/ghostMaze2p/W-NU-w1.1480493338019622395.3666666666672086.4666666666667
BASE/cylinder-checkers/hlldmw1.19374069400630925.221.11011220990244
BASE/checkers-newgoals/0XkFiA1.221332009925558232.826.855924296947887
BASE/checkersTiny/Lr48cg1.2481661766307306127.33333333333333102.01633061156474
DRESDEN/gt_prisoner/huCp4w1.27297176154190942082.66666666666651636.0666666666666
BASE/gt_prisoner/klthDw1.27346134908911872155.33333333333351692.5
DRESDEN/Runners/3bOCQw1.38144738978037237659.0666666666675544.233333333334
DRESDEN/hallway/0H4l-Q1.411796268001405357.26666666666665253.05823139228693
BASE/hallway/ckCJOw1.4241283762527528352.03333333333336247.19213464422597
DRESDEN/gt_chicken/CeuKtw1.44805146419612021943.33333333333331342.0333333333333
BASE/gt_chicken/gmepTQ1.49190067536688181958.66666666666671312.8666666666666
BASE/haystack/UkweGA1.50398978402929852881.2333333333335160.63333333333
STANFORD/buttonsandlights/eyhJpA1.655675921074168753610.432379.766666666666
BASE/untwistycomplex2/EDPPAQ1.660745917079546229564.26666666666617801.8
BASE/pearls/6k_mEQ1.682097975266866335260.8666666666720962.433333333334
STANFORD/untwistycorridor/EDPPAQ1.742852451343067430780.63333333333517661.066666666666
BASE/gt_coordination/IVMOzA1.77788760420866444556.6666666666672562.9666666666667
BASE/survival/YVIjJA1.845859811635561153988.229248.266666666666
BASE/blockerParallel/7-nDJA1.8555371639670362362.73333333333335195.48696753549763
DRESDEN/blockerparallel/dVQgSg1.862577077625571362.53333333333336194.64071457139048
BASE/onestep/xi53wA1.866373777398055374782.340068.23333333333
BASE/switches/tPUoCg1.890120512643470823724.66666666666812551.933333333332
BASE/gt_staghunt/xPjLRA1.90528851850389043216.01687.9333333333334
DRESDEN/snake_2009_big/DgC1NQ1.9472727272727273856.8440.0
BASE/snake_2009_big/-oRfVw1.9609630429821225859.2438.1520615979467
DRESDEN/buttons/ADUaHw1.962224154915582330608.815599.033333333333
BASE/colonelBlottoVariant/X-n-KQ1.962418300653594720.010.191507077435471
BASE/buttons/hTcUjw1.996775313038211330878.215464.033333333333
BASE/snake_2009/7l-qAQ2.1294912842404841197.2562.2
DRESDEN/snake_2009/zIYLVw2.1389771569038911189.2555.9666666666667
DRESDEN/chomp/-LcqYQ2.197631067165158744.4333333333333338.7435427428762
BASE/qyshinsu/R08Lzw2.2933157308377896171.574.78255073816109
BASE/chomp/-LcqYQ2.3015761469731952764.2332.03333333333336
BASE/quad_5x5/JAEP5g2.3314968888888895.4666666666666672.344702535405008
DRESDEN/grid_game/U7_Yeg2.3833916640152721498.2628.6
DRESDEN/troublemaker01/C-lPWw2.410573953545933657136.06666666666623702.266666666666
BASE/troublemaker01/s3tlEQ2.46310763636786156540.822955.066666666666
BASE/coloredtrails/EZvr7g2.53958125902761236036.52376.9666666666667
DRESDEN/chickentoetictac/cxYaRQ2.54385713055212611813.3333333333344643.866666666667
BASE/chickentoetictac/l57rfQ2.56862899586714711953.84653.766666666666
BASE/troublemaker02/DI83KA2.596423903498053454894.221142.233333333334
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2.62752952380952339.1333333333333333.4760154930976266
DRESDEN/latenttictactoe/kITHKg2.6282902749135315395.2666666666662052.766666666667
DRESDEN/checkers-mustjump-torus/cVc3gA2.63452054794520546.42.4292845257903495
BASE/maze/cCX3qQ2.652964974540342543782.516503.233333333334
DRESDEN/troublemaker02/iZLVuA2.690047821397476655201.93333333333420520.8
DRESDEN/blocks/vg0DRw2.69199922906316831193.911587.633333333333
BASE/blocksWorld/SEdXLQ2.716847358155716730923.711382.2
BASE/incredible/8Qh-6Q2.7311625708884699631.93526.6666666666665
BASE/blocks/xIV5hQ2.76017369580146331082.511261.066666666668
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.8265591836734699.23.2548407452921055
BASE/snake_2008_tweaked/bX0NJQ2.8278287077734521501.2530.8666666666667
DRESDEN/bomberman2p/x4h6jQ2.8434749811415643015.61060.5333333333333
BASE/checkers-mustjump-torus/uSApKQ2.85389696969696966.2666666666666672.1958279269388163
BASE/bomberman2p/4CClwA2.85560108862264263042.83333333333351065.5666666666666
BASE/gt_centipede/9fRMpw2.91382334262370129516.93333333333410129.966666666667
BASE/snake_2008/i6K26g2.92572268196270541513.1333333333334517.1827605746475
BASE/hodgepodge/9yjRkw2.933339507208964316893.25759.033333333334
DRESDEN/snake_2008/E56l3A2.9376870317563191510.9514.3161894603513
DRESDEN/firefighter/WJmoPw2.952024110124623416912.9333333333345729.266666666666
DRESDEN/checkers-mustjump/HUr33w2.984573793103448414.44.824809503210994
BASE/blocksWorldSerial/Wyg96Q2.98582341640186110931.03660.9666666666667
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw2.99219926739926749.0666666666666663.0301012253596165
BASE/firefighter/WJmoPw3.020126189453561616641.65510.233333333334
BASE/checkers-cylinder-mustjump/rjr6qQ3.0231288888888899.0666666666666662.9991002699190243
DRESDEN/toetictac/mJtxCA3.032020173718128518035.4666666666675948.333333333333
BASE/toetictac/mTThmg3.0938127061621418039.35830.766666666666
DRESDEN/quad_5x5/JAEP5g3.15692307692307675.3333333333333331.6894087069525665
STANFORD/3puzzle/41ibjA3.15778210592937430102.49532.766666666666
STANFORD/threepuzzle/41ibjA3.158921399885255430283.09586.5
BASE/mummyMaze2p_2007/YGA3Vw3.2428832401774082185.233333333333673.8550763282448
BASE/checkers-mustjump/T-8UuQ3.24649343065693414.84.558764807666711
STANFORD/multipletictactoe/_bkafQ3.25074926455670531424.1666666666667438.1041263915739
DRESDEN/mummymaze2p-comp2007/oTQRQg3.2631500742942052196.1673.0
BASE/tron_10x10/7ZTgDg3.28719126938541047630.6666666666672321.3333333333335
BASE/cittaceot/fDxhXg3.307652791068580569.120.890947256188984
BASE/pacman2p/4LEdQg3.422987744286187688.9333333333333201.26666666666668
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.4701833917164642806.8808.8333333333334
BASE/pancakes/yUgbXw3.492120017104575448999.114031.333333333334
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3.51250884568954722812.7800.7666666666667
STANFORD/hunter/14dD-g3.567200576032842512353.2155948017333463.0
DRESDEN/chinesecheckers6/yTbPDA3.5783778950192261333.9372.76666666666665
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.61331956633970062799.6774.8
DRESDEN/pancakes6/SZXMyQ3.63922386523005750427.6333333333313856.7
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.6397103992979382764.9666666666667759.6666666666666
BASE/factoringMediumTurtleBrain/8RBqmQ3.6826954646488532595.6704.809839672011
DRESDEN/pancakes/hl9aiQ3.685169909310112750333.0333333333313658.266666666666
STANFORD/multiplebuttonsandlights/cK70Yg3.690229893954640539728.410765.833333333334
STANFORD/multiplebuttonsandlights_9/SqB9BA3.700890859294353241349.06666666666611172.733333333334
BASE/pancakes6/QZTdnw3.702861647592787450577.2666666666713658.967436589674
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3.75302925059813261620.9333333333334431.9
DRESDEN/2player_normal_form_2010/NG_Kdg3.770296219609938330106.0666666666667985.066666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.78816054548272161629.6666666666667430.2
BASE/ruleDepthLinear/OUBJpQ3.801576815322036475670.7666666666619905.1
BASE/point_grab/V_osUg3.87714195026718629723.3333333333327666.3
DRESDEN/8puzzle/8fKC2w3.88812327737409216552.04257.066666666667
DRESDEN/oisters_farm/pTQMLg3.891797331682828330181.6666666666687755.2
STANFORD/8puzzle/jNiGtw3.902699981119013316536.04237.066666666667
DRESDEN/sat_test_20v_91c/dK7nVw3.9276933108355571668.1666666666667424.7191760274658
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3.9561297568881684406.7102.80249258555767
BASE/eightPuzzle/vLrgFg3.956664653136791716812.04249.033333333334
STANFORD/eightpuzzle/W_aWbA3.96792881080948216141.6666666666664068.0333333333333
DRESDEN/pancakes88/aD3E7g3.983259777811596344495.811170.7
DRESDEN/circlesolitaire/ruUilQ4.00435536636317120318.95074.2
BASE/circlesolitaire/azuQFQ4.02108546969087420322.75054.033333333334
DRESDEN/lightson2x2/gBHuig4.045530659437047516911.6666666666684180.333333333333
DRESDEN/point_grab/r5DPmQ4.04607094746295530035.3333333333327423.333333333333
STANFORD/bestbuttonsandlights/nm0wEA4.08560867755511538281.29369.766666666666
BASE/eotcitcit/V_9_bg4.0968662050436368827.7907364211932154.766666666667
DRESDEN/quad_5x5_8_2/JRTLJg4.1515213675213675.3333333333333331.2846696093286778
DRESDEN/chickentictactoe/Ipbo-g4.16431210063897811122.62670.9333333333334
BASE/chickentictactoe/DSlZCA4.18877058329257411133.3333333333342657.9
BASE/biddingTicTacToe_10coins/a-9ccQ4.218336293746415408.366666666666796.80751799520128
BASE/pancakes88/l2Xaig4.22208140777935144200.266577807410468.833333333334
BASE/duplicateStateSmall/bCPAXw4.22578878177037725715.3333333333326085.333333333333
BASE/ticTicToe/c1OobQ4.2394611389753478915.7280906364542103.0333333333333
STANFORD/tictictoe/rpt_Dw4.2471967543046998863.3333333333342086.866666666667
DRESDEN/tictictoe/LAUtwg4.2798299525523048959.9666666666672093.5333333333333
BASE/ticTacToeParallel/ymRGPw4.3116118294712593367.8781.1
BASE/gt_dollar/TGjqRw4.32758040074086625701.55939.0
DRESDEN/tictactoe_orthogonal/y69QFQ4.34489586141817217189.5666666666663956.266666666667
BASE/asteroidsSerial/id2QkA4.3801097216321567904.21804.5666666666666
DRESDEN/sum15/CsgWKg4.3943047690696714407.93278.766666666667
BASE/tictactoe_orthogonal/WRzlVw4.39733856448928317260.4333333333343925.2
BASE/sum15/QZ07Kg4.39924020383778714359.2666666666663264.0333333333333
DRESDEN/tictactoeparallel/yk_DSg4.4077474679029963295.6747.6834877674821
BASE/factoringMutuallyAssuredDestruction/NH0LGg4.41561275603828714838.6666666666663360.5
DRESDEN/blocksworldparallel/2JfVaw4.4254948110388912096.52733.366666666667
BASE/beatMania/qUHwvQ4.42733327251163316176.03653.6666666666665
DRESDEN/quad/JPe6fg4.463279279279285.3333333333333331.194936054773285
DRESDEN/crossers3/xiPTxg4.4805223303651551442.3333333333333321.9118725418305
BASE/factoringEasyTurtleBrain/lUj94Q4.53649584587965813439.5201599466842962.5333333333333
BASE/crossers3/O0rORg4.5965637925548841444.7314.3
BASE/knightfight/SJRkAg4.6106996969297675831.7666666666661264.8333333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg4.6520784141452972823.9666666666667607.0333333333333
BASE/blocker/dIWtxg4.6566286810335113757.2333333333342954.3333333333335
BASE/tictactoe_3d_small_6player/g_9lww4.687427523406439406.0333333333333686.62178376216505
DRESDEN/bunk_t/7-tPfA4.7039415628983243198.366666666667679.9333333333333
DRESDEN/bidding-tictactoe/yW5vTA4.7332861516140742174.8459.46936870875277
DRESDEN/knightfight/4_Ly4w4.7525120531688495855.5333333333341232.0922635912136
DRESDEN/4pttc/9pB9AQ4.7616016362346813207.4666666666667673.6108796373454
DRESDEN/doubletoetictac/V89gKQ4.7789212030822783204.266666666667670.5
BASE/lightsOn/MsXu3A4.78591930412681829124.2333333333346085.4
BASE/roshambo2/KNPokQ4.8040352173327439231.8333333333368166.433333333333
BASE/biddingTicTacToe/8mESVw4.832824607602472165.3448.04026129849353
DRESDEN/tictactoe_3d_small_6player/llDEDQ4.83741327860725403.2655781406197783.36388787040433
DRESDEN/lightsout/XgLpzQ4.84989891731926553685.4381872709096759.9
BASE/lightsOut/5P1ZBw4.85742893213181853719.3333333333335765.7
BASE/bunk_t/xbpfIA4.8611746758199853186.5655.5
DRESDEN/roshambo2/jgSlkQ4.88713355793076839215.58024.233333333334
DRESDEN/lightsout2/LFtfyQ4.8888497600915623702.0757.2333333333333
BASE/doubletictactoe/HH1htg4.92955020121236753225.733333333333654.3666666666667
DRESDEN/cube_2x2x2/fp-34Q4.9362640423359017089.1333333333331436.1333333333334
DRESDEN/doubletictactoe/lJzgmQ4.9408766564729873231.3333333333335654.0
DRESDEN/eotcatcit/mQUxzA4.96542553191489314936.03008.0
BASE/doubletoetictac/fu35bg5.0090528167192593227.6666666666665644.3666666666667
BASE/tictactoe_3player/GtM71g5.0099291954022982687.2536.3748458692971
STANFORD/jointbuttonsandlights/qAKuIQ5.04038490585036726696.5666666666665296.533333333334
DRESDEN/tictactoe/BTTzPw5.09050188438330316478.6333333333353237.133333333333
BASE/eotcatcit/AfZSzA5.10343782278708415151.7666666666662968.9333333333334
STANFORD/trifecta/ss1kyQ5.10864365863471815236.72982.5333333333333
DRESDEN/blocker/S815zQ5.14271717051021714346.4666666666672789.6666666666665
BASE/ticTacToe/JRFsaQ5.16095858198426116460.5333333333333189.4333333333334
DRESDEN/tictactoe_3player/ESLQQQ5.2251109800617812687.5333333333333514.3495216826105
STANFORD/bestbuttonsandlightsbig/g0JC6g5.25866491491491533621.86393.6
STANFORD/tictactoe/ss1kyQ5.2905980013985715635.8333333333342955.4
DRESDEN/statespacesmall/h-NqjA5.37233880314768546970.08742.933333333332
BASE/stateSpaceSmall/Q7osKA5.43271744308081946760.6666666666648607.233333333334
BASE/colonelBlottoVariant2/jruwGw5.45711111111111121.6666666666666683.9703546850185285
DRESDEN/chinesecheckers3/QsCb2A5.4777064882652422940.7536.8487717076098
BASE/tictactoe_3d_6player/d7KSwg5.529906913254073139.5333333333333325.232492250258325
DRESDEN/frogs_and_toads/GjchhQ5.5593857167264652892.266666666667520.2493250224993
BASE/double_tictactoe_dengji/zgaSbA5.8001721664275463368.9333333333334580.8333333333334
BASE/asteroids/BKCmPQ5.87757378108343125472.0333333333334333.766666666666
DRESDEN/tictactoe_3d_6player/ulZPWg5.919181006111895139.8666666666666723.62939510081653
BASE/asteroidsParallel/WauZiA6.05633255052129313496.1333333333332228.4333333333334
DRESDEN/chinesecheckers1/Y-ftaA6.091624089844365123.258913695435841.0333333333333
BASE/quad/tw-Ufg6.1040800000000015.4666666666666670.8955758552749418
DRESDEN/tictactoex9/rFkD4w6.1226923052270612122.6666666666665346.6884437185427
BASE/lightsOnParallel/SC6enA6.13890334629397113367.6666666666662177.5333333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ6.152326945639420518877.83068.4
BASE/tictactoex9/BI26ow6.1578337207800612118.8333333333335344.0874550059992
DRESDEN/double_tictactoe_dengji/bGaUyQ6.1655370336447463365.766666666667545.9
STANFORD/dualhunter/1rPZjQ6.1911959758752738246.4666666666671331.9666666666667
STANFORD/tictactoe7/-bE9-A6.267258407942331516286.9333333333322598.733333333333
DRESDEN/uf20-01.cnf.SAT/42Rs8A6.2980873330927462908.6666666666665461.8333333333333
DRESDEN/tictactoe-init1/3ltIBQ6.36827882733026717674.7333333333342775.4333333333334
BASE/factoringGeorgeForman/HGRorQ6.40480995627312620310.9333333333343171.2
DRESDEN/uf20-010.cnf.SAT/5ICbCg6.4473390398213632887.3333333333335447.8333333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A6.5567425298033752823.3333333333335430.6
BASE/conn4/va9Y7A6.61867157386219151156.8666666666666174.78834744350377
DRESDEN/farmers/S_ASnw6.65939753086419859.3333333333333368.909714889123547
DRESDEN/backgammon/mqCW0Q6.764808966861598347.051.294870512948705
BASE/tictactoe-init1/7M19vA6.84902755165145918088.9666666666672641.1
BASE/withConviction/3Xm54A6.87257934373318953406.9666666666667495.73333333333335
BASE/mineClearingSmall/frsbvw6.9625873337840881029.7666666666667147.9
STANFORD/breakthrough/d5j0cQ6.9638767996646474060.733333333333583.1138962034598
BASE/blocksWorldParallel/RseaAQ6.9679959994999381857.9266.6333333333333
DRESDEN/battlebrushes/QHXV4A7.067308739837398309.0666666666666643.73187560414653
BASE/ticTacToeSerial/Amrwqw7.2556241767208721382.9333333333334190.60156640559907
BASE/4pttc/AL1k2Q7.3653646182257463094.4351882705764420.1333333333333
BASE/quartoSuicide/-23jUg7.3664142073648471880.4255.26666666666668
DRESDEN/quarto/OQzRYQ7.381847195190521896.3333333333333256.89143695210157
BASE/pacman3p/wW7UVQ7.3946706848302451556.0333333333333210.4263191226959
DRESDEN/javastrike/whONTQ7.400777577767251520.733333333333370.36197586827545
DRESDEN/pacman3p/rBnk8Q7.4486944524534141549.8666666666666208.07225703239567
DRESDEN/quartosuicide/WIU1oQ7.6015791700350311880.0666666666666247.32580225932222
BASE/snakeAssemblit/UO4sdg7.6670198980294891854.4666666666667241.87581241875813
BASE/snakeParallel/RCVNtw7.68262886527813718824.2333333333342450.233333333333
BASE/quarto/EwBMVQ7.6917905603116361886.7333333333333245.2918236058798
BASE/duplicateStateMedium/U163eQ7.85453563066578658722.21110.4666666666667
STANFORD/tictactoe5/WFRReg7.97434507958134617168.2333333333342152.9333333333334
DRESDEN/aipsrovers01/qS47Mw8.3189727224375047299.066666666667877.4
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A8.52606433301797612016.0666666666681409.3333333333333
BASE/max_knights/2fq3Ag8.7003717243257983193.8367.0877637412086
BASE/aipsrovers01/4C4jsw8.702243828650017452.933333333333856.4381187293757
DRESDEN/chinesecheckers4/-oVNYg8.9853226494595261922.8590469843386214.0
DRESDEN/max_knights/hCipiA9.0370233246945573254.5333333333333360.1333333333333
BASE/simultaneousWin2/PfjRjw9.523830754352032164.117.230461589735043
BASE/catcha_mouse/cHv4dw9.5610999828664454960.133333333333518.7827072430919
DRESDEN/catcha_mouse/cHv4dw9.5933151255039674917.533333333334512.6
DRESDEN/chinesecheckers6-simultaneous/gPPGUw9.681266576637407955.898.72675154989668
DRESDEN/connect4/T0-rHQ9.8201754385964911119.5114.0
DRESDEN/brain_teaser_extended/ZDp94A10.0003333333333348306.0830.5723142561915
BASE/connect4/50bOyw10.0094182435129751114.2333333333333111.31849086788428
BASE/numbertictactoe/rvJ-iQ10.1659829813201349995.533333333333983.2333333333333
BASE/brain_teaser_extended/ZDp94A10.2092946605141718260.0809.0666666666667
DRESDEN/twisty-passages/j7NPyg10.21706402759034311356.2666666666661111.5
STANFORD/tictactoe3/X7myng10.25423663755877617809.91736.8333333333333
BASE/twisty-passages/DiZmmg10.53755400974473711462.41087.7666666666667
DRESDEN/connect5/1kYzSg10.55501580075872132.6202.04612103439084
BASE/connect5/d-BVQg10.6524767570528612160.5333333333333202.8198120125325
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA10.9210635769459312253.4333333333321122.0
STANFORD/multiplesukoshi/vLSQPg11.897414314618109261.2333333333333521.95715190084297
BASE/duplicateStateLarge/dcjyuw12.1978556124669424048.3333333333335331.88893703543215
BASE/tictactoe2/bhrDoQ12.9562574418750427565.7333333333342127.6
DRESDEN/vacuum_cleaner_1/eUNjpw13.07124809008151414644.4333333333321120.3546312035462
STANFORD/duidoku/3SoMaA13.13975099209354423.8920359880041.818302036498281
DRESDEN/babel/WdSW4A13.141178434782608755.466666666666757.488502299540094
BASE/gt_tinfoil/Q8DyKg13.1967914870869678777.333333333334665.1111629612346
BASE/hexPie/48CH6Q13.2263438172748771678.6333333333334126.91590030654405
DRESDEN/mimikry/GJEhwA13.4434576376348573225.766666666667239.9506699553363
DRESDEN/othello-cornercontrol/r5Gdlg13.46408854166666714.1666666666666661.0521816328543714
BASE/futoshiki5/TJ4BZg13.4994047302291221014.333333333333475.13911565759221
STANFORD/knightstourmedium/x1wu8Q13.63368870910607639770.8333333333362917.1
STANFORD/sukoshi/4LYZZQ13.67269253403272212163.733333333334889.6370120995966
DRESDEN/knightstour/cGISAA13.89572331809893439120.1666666666642815.266666666667
BASE/breakthroughSmallHoles/bxclRw14.0010914643579685228.766666666666373.4542181927269
BASE/knightsTour/mvtVIg14.0859972390612839114.466666666672776.8333333333335
BASE/futoshiki6/JmvXNA14.23035938697318536.466666666666737.69874337522083
STANFORD/knightstour/cEwgNA14.33941592330754838740.82701.7
BASE/lightsOnSimul4/9FeASw14.5052499429354044236.5292.06666666666666
DRESDEN/hanoi_6_disks/MeubgQ15.06502176293092218805.6666666666681248.3
BASE/hanoi_6_disks/MeubgQ15.07168249588793818937.0666666666661256.4666666666667
BASE/futoshiki4/BaCwSw15.3404948447375653101.233333333333202.1599280023999
BASE/ticTacToeNoVars/XT03NA15.35589728277097717142.31116.3333333333333
BASE/escortLatch/mX9BjQ15.659127782860633993.3333333333335255.01633224451703
BASE/lightsOnSimultaneous/_VN6lw15.6938744144953585822.233333333334370.9876337455418
BASE/rubiksCube/9tNO9Q15.7118499573742543071.6666666666665195.5
DRESDEN/ggp-course2013_jordi/9QI6Kw16.22287134964483684.666666666666642.203790679857434
BASE/connectFourLarger/qKi60A16.266927801200972829.266666666667173.92753574880837
DRESDEN/hanoi/RQ0jiA16.2837099607729922554.5666666666661385.1
BASE/hanoi/iGLsJg16.67575682992862322584.5333333333331354.3333333333333
BASE/knightazons/apnJBQ17.5579331941544871121.366666666666663.86666666666667
BASE/dualConnect4/WbCQkg17.664629660087726801.833333333333385.0538315389487
DRESDEN/knightazons/02I8BQ18.0143872204472861127.462.58331111703546
DRESDEN/slidingpieces/s9_44g18.4096763202725741080.058.6648011193284
BASE/slidingpieces/uFJWEw18.7287255536626951098.958.674574351114515
DRESDEN/statespacemedium/dVJZ_w18.74026451138868430606.61633.2
BASE/stateSpaceMedium/3bUoIw18.83798050052785230334.81610.3
BASE/nineBoardTicTacToePie/B8LzeQ19.1769024285154763263.8170.19432685577146
BASE/amazons_10x10/Bun8dA19.2019197683281399.633333333333472.89028129582722
DRESDEN/pawn_whopping/4ogBkg19.3370856058568677189.933333333333371.82093930202325
BASE/chineseCheckers1/gqtwHw19.3832938643702930011.81548.3333333333333
BASE/amazonsSuicide_10x10/XIbQkg19.3907174751243761385.466666666666771.4499950011664
BASE/solitaireChineseCheckers/-ET6gw19.937317031169287718.4387.1333333333333
DRESDEN/hanoi7/51zz5Q20.17980724776841218914.533333333333937.3
DRESDEN/hanoi7_bugfix/3gdnFw20.64180907707551819035.188270576473922.1666666666666
BASE/pawnWhopping/Ypc_6Q20.699231201950127359.266666666666355.53333333333336
BASE/hanoi7_bugfix/3gdnFw20.73271184589053518978.033333333333915.3666666666667
BASE/knightwar/DVGY4Q20.81070562499999710873.8522.5099136925589
DRESDEN/knightwar/7hhAqg21.0171044202434310935.9520.3333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ21.023130664652577422.566666666667353.06666666666666
BASE/3pConnectFour/PqXOFQ21.6130315081064567065.3326.9
BASE/shmup/ssTNlg21.890759377859119938.833333333332910.8333333333334
BASE/dotsAndBoxes/EHwA_w22.0213283989092337537.166666666667342.26666666666665
BASE/amazons_8x8/7SOsIw22.0780317582417572008.990.99090090990902
BASE/sudokuGrade6E/ihYFZA22.16506666666666437.2666666666666661.6813243662700466
BASE/dotsAndBoxesSuicide/jzQbLw22.242510527864997555.766666666666339.69936339699365
DRESDEN/tictactoe_3d_small_2player/HYttcg22.2869875448805285999.6269.1974403412878
BASE/tictactoe_3d_small_2player/oOryKA22.2897073620895626011.133333333333269.68202119858677
BASE/sudokuGrade1/tDRNRw22.53006324786324757.7333333333333342.562502053286902
BASE/sudokuGrade4/DTy07w23.1729774193548447.82.062747446518282
BASE/sudokuGrade6H/ieE_9A23.25079738562091338.6666666666666641.6630254018978055
BASE/sudokuGrade2/u80Tfw23.31780845070422454.92.354423663615864
STANFORD/sudoku/oJ1qyQ23.62474540229885345.566666666666671.9287685810249078
BASE/pawnToQueen/-O1_JA23.86617507788161884.466666666666673.5391790427678367
BASE/amazonsTorus_10x10/Uxc08g23.918610588519051100.566666666666646.01298485100716
BASE/connectFourLarge/aU644A23.984066801528438298.733333333334346.01026598226787
BASE/connectFour/WAIKTw24.0555077727513113644.2567.1965077143524
DRESDEN/connectfoursuicide/M9CNQg24.20332287672824713887.866666666667573.8
BASE/sudokuGrade3/eI8dvg24.32193279569892450.1666666666666642.0626101999401176
DRESDEN/pawntoqueen/f_x6Aw24.41958130841121486.63.546334349728225
BASE/golden_rectangle/_nYzfw24.884809195402323.7333333333333340.9537277600552504
BASE/connectFourSuicide/c8p9Kw24.96284615569604514192.569143618794568.5477150761641
DRESDEN/3pffa/0YrmQw24.9688758696448215911.0637.2333333333333
BASE/hidato37/pBrqxw25.1992322097378374.633333333333342.961730449251248
DRESDEN/connectfour/5tc-Mg25.26090599006642314071.166666666666557.0333333333333
BASE/ticTacToeLargeSuicide/727_8g25.48204259869886519062.266666666666748.0666666666667
DRESDEN/tictactoelargesuicide/6J4DeA25.6800307560447518973.933333333334738.8594473885945
DRESDEN/tictactoelarge/IwXcbg25.98243862594726719085.833333333332734.5666666666667
STANFORD/nineboardtictactoe/y28P-A25.9855908574673474575.3176.07065489085153
BASE/hidato19/rRHSmA26.035098921706517616.333333333333423.673170406872213
BASE/ticTacToeLarge/TZC0dg26.07241770715096519141.5734.1666666666666
DRESDEN/3pttc/uwYBZw26.11145476016420415478.0592.7666666666667
BASE/nineBoardTicTacToe/wRmqqA26.199394109251334486.933333333333171.26095796806774
BASE/knightsTourLarge/M8jgLA26.28454737513404335367.61079640121345.5666666666666
STANFORD/connectfour/VMpZkQ26.31310922269432214037.166666666666533.4666666666667
BASE/connectFour_9x6/B9TtMw26.42740869565217212663.133333333333479.1666666666667
BASE/sudokuGrade5/BQfUQA26.67729841269841655.42.076672050631242
BASE/ticTacHeavenFC/mrletw28.5796453932408064046.633333333333141.59144655763913
DRESDEN/kitten_escapes_from_fire/uW-YiA30.03492745835572529810.666666666668992.5333333333333
STANFORD/knightstourbig/TQUI2g30.2617185253350235077.366666666671159.1333333333334
BASE/kitten_escapes_from_fire/uW-YiA30.3269739968769129779.066666666666981.9333333333333
BASE/connectFourSimultaneous/7ITr3g30.3822220183486246622.0217.95640871825634
DRESDEN/CephalopodMicro/H3XQfg31.640473860911275145.866666666666674.610129017279692
BASE/gt_ultimatum/GE-uOA32.86140983308594503.832055981339615.332028009159393
DRESDEN/gt_ultimatum/pAiiQw33.09897435897436516.015.58960692871419
BASE/coins_atomic/AA3SSw34.147166823345082905.63333333333385.09149085091491
DRESDEN/knightmove/97Ipcw34.3971347215830654982.5144.8521814485218
BASE/tpeg/QNs7Lw34.5876228165608953814.633333333333110.2889711028897
DRESDEN/coins/QwFP9w34.5880637863314962934.284.83273357323738
DRESDEN/amazons/dNB28A34.6228235294117778.42.2644022644022646
DRESDEN/tpeg/h-Scbg34.702412128465993865.3333333333335111.38514864684709
BASE/coins/QnGtnQ35.088717524115752909.73333333333382.9250408292504
BASE/tictactoe_3d_2player/IUC1rQ35.6791462375342622.033333333333373.48923978945966
BASE/cephalopodMicro/9l2D3g35.75961290322581146.633333333333334.1005291005291005
STANFORD/pilgrimage/ObRZnQ35.767184964424768880.4248.28344777014865
BASE/wargame02/BkVqqQ36.198205756514981033.166666666666728.54193032704989
BASE/knightmove/jBaJEw36.47910708616785004.766666666666137.19542681910602
DRESDEN/tictactoe_3d_2player/LMuX9w36.699340555302682685.466666666666773.17479349853451
DRESDEN/pawn_whopping_simultaneous/r8dLfw37.1090191314910464073.3333333333335109.76666666666667
BASE/peg/fJHVWw37.8366065152021353773.799.73674564297377
STANFORD/pentago/ZxzLmg37.877151179466566278.566666666667165.76132235811644
BASE/4pffa/Q3ADlg38.0164681672569812097.3008997001318.2121191920539
BASE/god/qF06gw39.384721875125.366666666666663.183129414105242
DRESDEN/peg/Vo31eg39.677711893965823791.86666666666795.56666666666666
DRESDEN/peg_bugfixed/u_B7MA39.806426544911563849.966666666666796.71721379770038
BASE/chineseCheckers2/eCMR3Q39.9087519806132942818.11072.9
BASE/four_way_battle/xSOQXA40.04939875389408857.021.398573428438105
BASE/chineseCheckers6/rREH3A40.1106002236858421518.0536.4666666666667
BASE/pegEuro/5awwhg40.315904703389833170.566666666666678.6430737445433
BASE/chineseCheckers3/-1rZdQ40.321371610845335394.1877.8
BASE/cubicup/4wNWJA41.248210751999994295.4104.13542603885502
BASE/stateSpaceLarge/0Ge_CQ42.98917752499604521162.866666666665492.28359054698177
DRESDEN/statespacelarge/8-y5HQ43.13680154142582520895.466666666667484.4
DRESDEN/cubicup/SBn_lw43.181201097213084372.233333333334101.25316624450073
DRESDEN/four_way_battle/xSOQXA43.532807195053394858.666666666666619.724587546567324
BASE/amazons/RKKZjw43.76168.10.18509378084896347
BASE/wargame03/klXI8w45.493293488824111559.934.28857047650783
BASE/ticTacHeaven/18n58A45.952297913270294697.7102.22992566914436
STANFORD/selectivesukoshi/3xmXYg46.114284864864864283.76.152106680855309
BASE/amazonsSuicide/dE1QEQ46.16488.1333333333333330.17618040873854826
BASE/3pffa/pR0dzA46.51590995951758615277.90736421193328.44477034864343
BASE/3pttc/0sol9g46.52793278894472514814.0318.38938702043265
STANFORD/duikoshi/tpw1sw48.312144249512687984.666666666667165.2724545909015
BASE/speedChess/bPnisA48.750921142857142842.666666666666558.31000932960149
BASE/mummymaze1p/PT_EXA49.810155842721445010.066666666667100.58323612731212
DRESDEN/god/2EDD5w51.257556756756756126.233333333333332.46272630457934
DRESDEN/mummymaze1p/AekgaQ51.313107681940695075.998.92014398080256
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g53.797868467220691294.433333333333424.061052421101742
BASE/wargame01/_GZFZg57.680364155486761860.966666666666732.26343477392289
BASE/cubicup_3player/e2yA_g64.471658804523432659.466666666666741.25016660002665
DRESDEN/cubicup_3player/awDtsQ66.470942270330272660.166666666666540.019993335554815
BASE/2pffa/6oHijA66.6496623035680919291.569476841054289.4473701753216
BASE/2pffa_zerosum/o0_uZA66.7442283340858919285.57147617461288.9474035064329
STANFORD/platformjumpers/HEQskA67.431565967940815468.781.1
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw67.792490653153151292.366666666666619.063566690281444
BASE/skirmishNew/sibw2g68.261951080914143683.13333333333353.95587549156836
BASE/skirmishZeroSum/zh4hcw69.088936972704723710.453.704690831556505
BASE/2pttc/unkkYA70.3772864776668120137.28757080973286.1333333333333
BASE/chineseCheckers4/avfBcQ71.2100474300648524522.366666666665344.3666666666667
STANFORD/freeforall/Lfp40Q74.9345256462088420588.13728757081274.74835010999266
BASE/quad_7x7/q-JOXg76.3702222222222255.20.7227948065854638
DRESDEN/ggp-course2013_michal13/jWKddg76.6225049019608171.833333333333342.242596134819603
BASE/snake2p/I3wWPQ77.1326064673452112124.033333333333157.1842815718428
BASE/factoringImpossibleTurtleBrain/kcBhdw88.8047999999999936.40.4098877538151091
BASE/pentago/86NgKw91.241940920195437467.43333333333381.84211403245693
BASE/blokbox_simple/JBx4bg93.665950000000014.90.05231356752373728
DRESDEN/pentago_2008/hLjVpQ97.541259762211717563.93333333333377.54598773660358
BASE/pentagoSuicide/SBgNhw98.980018431029457540.26666666666676.17968541722207
STANFORD/triplesukoshi/Iu9mbA101.41701681818185205.951.33162227925736
DRESDEN/Goldrush/VeWczQ109.309258681522733922.63333333333335.88564574170332
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw109.354693862134081280.933333333333411.713565171223786
DRESDEN/battle/8oAvhQ114.11152755905512479.33333333333334.200568895944962
BASE/battle/8oAvhQ114.84227034120734483.66666666666674.211573536726911
DRESDEN/quad_7x7/q-JOXg119.7570431372549155.066666666666670.4598198588082551
BASE/choicethroughalt/tt71Lg125.0190855133193713921.566666666668111.35553111355532
DRESDEN/racer/vk_ZBA131.331214.9333333333333340.11370743078060151
BASE/racer/QQYQNw143.4298500000000215.30.10667235585897915
BASE/racer4/0vs7Ww160.8478260869565120.80.7510204081632653
DRESDEN/hitori/S8Gsyg172.49481438848917794.93333333333334.6084477156687225
BASE/hitori/S8Gsyg194.29131306666667805.73333333333334.147037356512508
DRESDEN/grid_game2/kypTYQ220.453753150406532407.966666666666710.922774651170535
DRESDEN/small_dominion/yB5GJA326.93646854557255171.109630123292250.5233727240172988
DRESDEN/guess/PhxGhg346.391466666666642239.66.4655172413793105
BASE/guess/SPpk1A377.639326443202952232.6333333333335.912078475410378
BASE/othelloHoles/c0qAzw397.9500804597701368.16666666666670.9251579148854718
BASE/battlebrushes/arCwyA531.935483.86666666666670.9096349491322562
BASE/othelloSuicide/B442jg542.3522716049383476.36666666666670.878334417696812
DRESDEN/fizzbuzz/t1xHzQ564.23053211009186136.010.874987528684027
BASE/othello-comp2007/86ZoMw575.9954933333333477.766666666666650.8294625082946251
DRESDEN/Travelers-Dilemma/PvZwYw689.199341662140142284.061.35235111807245
BASE/chess_200/XsTpYA745.8884999999999680.40.9122006841505131
BASE/zhadu/DlA8iQ2018.21112280701731237.76666666666670.6132989025177534
DRESDEN/laikLee_hex/ZeP3QQ3093.43709514563128102.5333333333342.6192655884447156
DRESDEN/Zhadu/9zpQ5w3484.91287350427318039.7666666666665.1765330501725515
BASE/laikLee_hex/zbyscQ3964.8090733333348087.7333333333342.039879647100821
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g5801.8054000000012905.33333333333350.5007636645884974
BASE/queens08ug/kJ_ZFQ12497.6329950622535291.8360546484510.4234270646881075
DRESDEN/satlike_20v_91c_version2/yd9ioQ12638.718452934.00.23214378986344142
DRESDEN/satlike_20v_91c/yeuENQ18912.93432938.00.15534342547787522
DRESDEN/queens/mW2wHQ22106.01743584.33333333333350.16214288030612575
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA28757.4590666666662859.33333333333350.09942927595601249
BASE/queens06ug/7Lq3tw29733.6820833333378693.00.2923620416615909
DRESDEN/golden_rectangle/1uloXwInfinity3.60.0

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messagePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 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/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/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
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/alexChess/LNo83gTest process failed to output results for unknown reasonException of type StackOverflowError
BASE/amazonsTorus/soxT8gTest process failed to output results for unknown reasonException of type StackOverflowError

index