index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/ruleDepthExponential/UamhHQ4.180330155047933E-69.2538533395609532213665.6666666665
DRESDEN/quad/JPe6fg4.6078424457020775E-61.5037593984962405326347.8333333333
BASE/quad/tw-Ufg4.63971422075932E-61.4965579167913798322553.9
BASE/queens31lg/0gID-A4.822746562201431E-60.732820359081976151950.83333333334
DRESDEN/ggp-course2013_michal13/jWKddg6.993402080717057E-63.963627885287946566766.7666666667
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA8.887689227016993E-60.441783923483024549707.4
DRESDEN/satlike_20v_91c/yeuENQ9.998326733362313E-60.538256586914982353834.666666666664
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.0455141522123446E-50.513953846944544449158.0
DRESDEN/queens/mW2wHQ1.2585979915637268E-54.076640847941296323903.3333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ1.2647649642114896E-50.65904372755132352108.0
BASE/queens/HyJJnQ1.401928346014438E-54.479569961283717319529.1666666667
BASE/quad_7x7/q-JOXg1.7676517731311197E-58.325349367339522470983.56666666665
DRESDEN/quad_7x7/q-JOXg1.8747728622844478E-58.971114981433407478517.43333333335
BASE/sudokuGrade2/u80Tfw2.629207711393647E-515.647889199627114595156.0666666667
BASE/sudokuGrade3/eI8dvg2.6778598283148023E-515.623438488956994583430.0333333333
BASE/sudokuGrade4/DTy07w2.692665588927122E-515.867735604271315589294.7
BASE/sudokuGrade1/tDRNRw2.6955751233541962E-516.242843829050727602574.3333333334
STANFORD/sudoku/oJ1qyQ2.71513085043022E-515.29865637887455563459.2666666667
BASE/sudokuGrade5/BQfUQA2.82193253780981E-516.16927837109492572986.0
BASE/sudokuGrade6H/ieE_9A2.8359583660656438E-514.614821226446502515339.76666666666
BASE/sudokuGrade6E/ihYFZA2.8538311170134154E-514.63089485085819512675.56666666665
BASE/pawnToQueen/-O1_JA3.339114562509626E-518.88992537313433565716.6
DRESDEN/pawntoqueen/f_x6Aw4.1974747325234894E-519.48960554371002464317.4
STANFORD/multiplesukoshi/vLSQPg4.2444816023318466E-548.8487554563326751150876.8333333333
BASE/blokbox_simple/JBx4bg4.330580602019146E-50.754527162977867117423.233333333334
STANFORD/duidoku/3SoMaA4.906068152996548E-515.296940611877625311796.3333333333
BASE/cephalopodMicro/9l2D3g6.079358255212293E-517.694691592522243291061.8333333333
DRESDEN/CephalopodMicro/H3XQfg6.272113678183415E-517.499416686110465279003.5
STANFORD/selectivesukoshi/3xmXYg7.441699250351874E-550.62152164494951680241.4333333333
DRESDEN/quad_5x5/JAEP5g1.0430460495737477E-470.19704433497537673000.4333333333
BASE/othelloHoles/c0qAzw1.0883064664560315E-44.75169114007589543661.333333333336
BASE/zhadu/DlA8iQ1.0894720353653097E-411.356445865387817104238.06666666667
DRESDEN/hitori/S8Gsyg1.1055580289016558E-437.996603283492625343687.1
BASE/hitori/S8Gsyg1.1477419603647181E-439.85819362533961347274.86666666664
BASE/quad_5x5/JAEP5g1.2075854547678722E-471.73333333333333594022.8333333334
BASE/othello-comp2007/86ZoMw1.3224520483183554E-44.31120249386482732600.066666666666
BASE/othelloSuicide/B442jg1.3410781188060288E-44.45715806279936133235.63333333333
BASE/golden_rectangle/_nYzfw1.3829935318361962E-4112.7814898.9666666667
DRESDEN/grid_game2/kypTYQ1.4395850525698967E-4203.959868004399851416796.2333333334
BASE/tictactoe_3d_2player/IUC1rQ1.4618613577431036E-4122.72515165655624839512.9333333333
DRESDEN/othello-cornercontrol/r5Gdlg1.4750104647727873E-47.06772406012542747916.433333333334
DRESDEN/tictactoe_3d_2player/LMuX9w1.4849228786736565E-4127.23697803845769856859.1666666666
DRESDEN/golden_rectangle/1uloXw1.5525159644673892E-4112.45916938870742724367.2333333333
BASE/queens16ug/gT-ylw1.5661872175322367E-484.13052898236725537167.7666666667
BASE/gt_attrition/kD_SCA1.5912111469573812E-419.99868645737554125682.16666666667
BASE/battle/8oAvhQ1.8157871858089368E-448.03013132457836264514.1
DRESDEN/quad_5x5_8_2/JRTLJg1.8334353144883433E-4110.655601106556603542.4333333333
DRESDEN/battle/8oAvhQ1.8360046200256738E-448.385484354693595263536.8333333333
BASE/reversi/d8UMeA2.0222319782994128E-415.52733076206942476783.13333333333
BASE/reversiSuicide/9OxJlg2.1533463091554352E-415.96347397187229274133.33333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw2.1639547281048115E-4105.86666666666666489227.73333333334
STANFORD/skirmish/w4V6Vw2.185444203969501E-429.08739546196648133096.03333333333
BASE/futoshiki6/JmvXNA2.2671168720546052E-4125.9748050389922555660.8333333334
STANFORD/madness/UO_B3A2.2796685572868652E-428.84071002764179126512.73333333334
STANFORD/multipletictactoe/_bkafQ2.3189661314060599E-4286.957101429952331237435.5
BASE/strangeSkirmish/gc1zKA2.4301023346587293E-425.766666666666666106031.2
BASE/skirmish/Y_psYQ2.588777667134013E-428.944475901808612111807.5
BASE/skirmishHoles/AUCxCA2.596502736349903E-433.09779348043464127470.66666666667
BASE/majorities/ibJzSQ2.8097236888757277E-4133.31111481419762474463.43333333335
DRESDEN/capture_the_king/EQ229Q2.8645563590618775E-447.08273633001233164363.1
BASE/skirmishFinal2/gdB62Q3.0778681169837507E-442.313586992736724137476.93333333332
BASE/connect5/d-BVQg3.128485773555087E-4243.93333333333334779716.9333333333
BASE/simultaneousWin2/PfjRjw3.154995898432728E-4289.7918226.2333333333
BASE/skirmishFinal3/-Olhfw3.1992648440613445E-447.62380857161901148858.6
BASE/skirmishFinal1/ecWTnQ3.2277275281620486E-441.28486221718703127906.9
DRESDEN/connect5/1kYzSg3.2545165404700144E-4251.96666666666667774206.1333333333
DRESDEN/skirmishfinal/hzq8ww3.275601873160085E-443.481158164795254132742.5
BASE/slidingpieces/uFJWEw3.391821959308772E-4145.94234294284286430277.13333333336
BASE/factoringMediumTurtleBrain/8RBqmQ3.415104641239153E-4521.58261391286951527281.5
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.4396661881471694E-4710.87630412319582066701.4333333333
DRESDEN/slidingpieces/s9_44g3.479953891279018E-4151.26162461251292434665.6
BASE/connectFourLarger/qKi60A3.5112393988522754E-4274.46666666666664781680.3
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.526298916018228E-4726.47578414052862060165.0666666667
BASE/futoshiki5/TJ4BZg3.576291642061005E-4219.53007832027996613848.3666666667
BASE/qyshinsu/R08Lzw3.5775756471135E-492.27231830450864257918.56666666668
BASE/hidato37/pBrqxw3.620801828022897E-476.65900076659001211718.3
BASE/queens12ug/u6Bkmg3.684479971046843E-4217.17828217178283589440.8
BASE/cubicup/4wNWJA3.700796619513708E-4139.2376135.23333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3.7024671887755847E-4620.01674559.0666666667
DRESDEN/brawl/2kXtfQ3.718990470250034E-457.0153267.4
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3.7335161584196836E-4756.36666666666672025882.9333333333
BASE/nineBoardTicTacToe/wRmqqA3.8508173580826627E-4205.4264857838072533462.0333333333
BASE/brawl/6Ymo_Q3.9049377320569717E-457.845456665889174148134.13333333333
DRESDEN/cubicup/SBn_lw3.935940327677952E-4140.94317613731045358092.76666666666
STANFORD/nineboardtictactoe/y28P-A3.964865224768271E-4213.81195213811952539266.6333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.990885109964545E-4768.36666666666671925303.9
DRESDEN/twisty-passages/j7NPyg4.0092286788054516E-41065.13333333333342656703.8666666667
BASE/snake2p/I3wWPQ4.16481012766274E-4238.7920402653245573356.3666666667
BASE/twisty-passages/DiZmmg4.182527719202956E-41153.43333333333342757742.2333333334
BASE/breakthroughHoles/nZk0Sg4.2146231487631084E-4379.96666666666664901543.6333333333
DRESDEN/mimikry/GJEhwA4.2916857061392504E-4372.3333333333333867568.9666666667
DRESDEN/breakthroughsuicide/Y9QzqQ4.404951323312563E-4386.53333333333336877497.4
BASE/breakthrough/TGxk-g4.420208204649064E-4371.48761707943066840430.1333333333
BASE/breakthroughSuicide/wZDpIg4.467009712633392E-4371.8752083194454832492.5
DRESDEN/connect4/T0-rHQ4.4730518728266117E-4267.0596907.9
BASE/conn4/va9Y7A4.500785591561687E-4294.923502549915655271.1666666666
DRESDEN/breakthrough/z4hK7Q4.5938872851393757E-4372.08759708009734809962.4
BASE/tictactoe_3d_small_2player/oOryKA4.677320282578983E-4400.2199926669111855660.8666666667
DRESDEN/tictactoe_3d_6player/ulZPWg4.689496175883231E-4112.46251249583472239817.9
BASE/connect4/50bOyw4.699137570878911E-4268.9397726893977572317.3
BASE/nineBoardTicTacToePie/B8LzeQ4.7160288046405084E-4211.35772845430913448168.86666666664
BASE/breakthroughWalls/vOZaYA4.740296456373899E-4384.4205193160228810963.0333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg4.759549303961232E-4414.0390640623958869912.3333333334
DRESDEN/breakthroughsuicide_v2/LU1nAw4.8382207912244624E-4376.58744708509715778359.3666666667
BASE/tictactoe_3d_6player/d7KSwg4.850727056953526E-4118.77624475104979244862.76666666666
BASE/duplicateStateLarge/dcjyuw4.867892139443671E-4623.31280431.0
BASE/queens08lg/Ru7eqQ4.8701236315847485E-4233.99220025999134480464.6
DRESDEN/tictactoex9/rFkD4w4.925226750172797E-4253.57464253574642514848.6666666667
BASE/lightsOnSimultaneous/_VN6lw4.954116094082855E-4402.0811446.4666666667
BASE/tictactoex9/BI26ow4.957399376160195E-4257.3519022.13333333336
BASE/ad_game_2x2/D0aWqg5.031790452330023E-417.94854749717476535670.3
BASE/mummymaze2p/vpjDdA5.061591994685655E-4552.78157394753511092110.1
DRESDEN/uf20-020.cnf.SAT/hDrW_A5.294333487385334E-4642.8119062697911214150.7666666666
DRESDEN/mummymaze2p/k-8edg5.366919647827208E-4562.11047341.9333333333
BASE/dualConnect4/WbCQkg5.401086521323909E-4478.9840338655378886829.0333333333
DRESDEN/Zhadu/9zpQ5w5.414535777181949E-454.772613693153424101158.46666666666
BASE/connectFourSimultaneous/7ITr3g5.446072155774711E-4283.7238758708043520969.73333333334
BASE/connectFourLarge/aU644A5.446824810877143E-4477.31742275257494876322.3333333334
DRESDEN/uf20-010.cnf.SAT/5ICbCg5.456804455675409E-4681.03333333333331248044.2333333334
BASE/3pConnectFour/PqXOFQ5.524537642895135E-4377.8683858.1333333333
BASE/checkers-newgoals/0XkFiA5.794229801143095E-4143.12856238125397247019.13333333333
BASE/wallmaze/uxNQ9g5.885845180904393E-4319.53333333333336542884.3666666667
STANFORD/breakthrough/d5j0cQ5.88949370809437E-4472.91756941435284802985.1
BASE/lightsOnSimul4/9FeASw5.895978741309528E-4321.7559414686177545721.0
DRESDEN/sat_test_20v_91c/dK7nVw5.959822573374366E-4672.37758741375281128183.9
DRESDEN/towerworld/HCX34w5.998106411095235E-422.2533146778599537100.566666666666
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA6.034771784619742E-4649.91166961101291076944.9
DRESDEN/sat_test_20v_91c_version2/a1mPBA6.090397859206845E-4665.33333333333341092430.0
BASE/futoshiki4/BaCwSw6.105001980578843E-4451.8333333333333740103.5
BASE/breakthroughSmallHoles/bxclRw6.107300601896369E-4477.61741275290825782043.4
BASE/max_knights/2fq3Ag6.17606017277641E-4502.3333333333333813355.6333333333
BASE/dotsAndBoxesSuicide/jzQbLw6.193217181825917E-4516.3666666666667833761.6
BASE/choicethroughalt/tt71Lg6.230783413664768E-4306.5026830650268491916.76666666666
BASE/connectFour_9x6/B9TtMw6.30076080818407E-4604.6666666666666959672.4666666667
STANFORD/platformjumpers/HEQskA6.328989603360932E-4238.858704709843377404.1666666667
BASE/connectFourSuicide/c8p9Kw6.353912563693056E-4636.36666666666671001535.1333333333
BASE/dotsAndBoxes/EHwA_w6.375139863068901E-4530.4333333333333832034.0333333333
DRESDEN/max_knights/hCipiA6.559848347329406E-4501.46666666666664764448.5666666667
DRESDEN/pentago_2008/hLjVpQ6.724800946479218E-4239.45868471050966356082.93333333335
BASE/mineClearingSmall/frsbvw6.730022764123372E-4192.22692576914102285625.9666666667
DRESDEN/connectfour/5tc-Mg6.775541775136887E-4659.1780273990867972878.7
DRESDEN/connectfoursuicide/M9CNQg6.785095803943797E-4672.9218052129858991764.6333333333
STANFORD/connectfour/VMpZkQ6.803148962064672E-4665.2977782.5
BASE/breakthroughSuicideSmall/XSbJog6.835717054556256E-4565.7666666666667827662.5
BASE/knightThrough/gcwFjA6.857990913910205E-4534.1821939268691778919.3666666667
BASE/connectFour/WAIKTw6.867652976003818E-4670.1329867013299975781.6666666666
BASE/breakthroughSmall/HJ0tIA6.873367811915002E-4562.2479250691644818009.3666666667
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw6.94558397069217E-496.51724712547909138962.03333333333
BASE/withConviction/3Xm54A6.958956072748062E-4443.9518682710576637957.5666666667
BASE/checkers-mustjump/T-8UuQ6.967050175705242E-4118.3960534648845169937.13333333333
BASE/ticTacHeavenFC/mrletw6.968676776377376E-4251.47485251474853360864.56666666665
BASE/pentagoSuicide/SBgNhw6.988664742823938E-4246.63333333333333352904.8
BASE/hidato19/rRHSmA6.988791379811726E-4318.15606146461784455237.6
BASE/pentago/86NgKw7.026748532232617E-4255.26666666666668363278.5
BASE/checkers-cylinder-mustjump/rjr6qQ7.032892824219609E-497.63007899736675138819.23333333334
BASE/ticTacHeaven/18n58A7.21365596693831E-4258.06666666666666357747.4
DRESDEN/pawn_whopping_corrected/7Ov0jQ7.215537803769771E-4561.2333333333333777812.2
DRESDEN/knightthrough/J7Fc_Q7.221515350704851E-4555.348155061498769018.8666666667
DRESDEN/chinesecheckers1/Y-ftaA7.264071972923348E-41003.06666666666671380860.0333333334
DRESDEN/pawn_whopping/4ogBkg7.272560899857757E-4598.1467284423852822470.5666666667
BASE/coins_atomic/AA3SSw7.50472379941366E-4343.2457311.9666666667
BASE/pegEuro/5awwhg7.571721604132796E-4349.6550114996167461790.63333333336
BASE/skirmishNew/sibw2g7.60413444106476E-4151.95653623091795199834.1
BASE/skirmishZeroSum/zh4hcw7.78916651192906E-4152.70279277477837196045.1
BASE/pawnWhopping/Ypc_6Q7.916274945353491E-4578.6140461984601730917.0666666667
BASE/ticTacToeLarge/TZC0dg7.935201280352862E-41050.06666666666661323301.8666666667
BASE/cubicup_3player/e2yA_g7.989182192710608E-463.2476923589589879166.66666666667
DRESDEN/tictactoelargesuicide/6J4DeA7.995167152588671E-41045.23333333333331307331.4333333333
DRESDEN/cubicup_3player/awDtsQ7.999127281867225E-461.527180615271876917.36666666667
BASE/ticTacToeLargeSuicide/727_8g8.112022279212254E-41064.31312003.3
DRESDEN/skirmish2/iPpWhQ8.201971886119846E-4211.1122221111222257392.03333333333
BASE/speedChess/bPnisA8.385060686394634E-4171.25524965002333204238.53333333333
DRESDEN/tictactoelarge/IwXcbg8.454383801737128E-41072.01267981.2333333334
BASE/knightmove/jBaJEw8.624768473098349E-4826.3666666666667958132.0
BASE/coins/QnGtnQ8.653954431050815E-4369.17538830744616426597.3333333333
DRESDEN/coins/QwFP9w8.716084281913042E-4366.8544381853938420893.63333333336
DRESDEN/catcha_mouse/cHv4dw8.767591754063552E-4605.7333333333333690877.6666666666
DRESDEN/skirmish/RjGQYQ8.851600175240349E-4196.64700196647001222159.83333333334
BASE/checkers-mustjump-torus/uSApKQ9.006346723973699E-493.08758832155712103357.76666666666
BASE/ticTacToeNoVars/XT03NA9.025859859410185E-41120.06666666666661240952.8666666667
DRESDEN/skirmish3/3LU8Nw9.032083604408056E-4198.65342310512634219941.96666666667
DRESDEN/knightmove/97Ipcw9.124957614115982E-4830.6333333333333910287.3333333334
BASE/checkers/rOC3Xg9.211691780571614E-4220.9259691343622239832.13333333333
BASE/tictactoe_3d_small_6player/g_9lww9.242312945059337E-4305.3666666666667330400.7
BASE/peg/fJHVWw9.303558422299113E-4422.9192360254658454577.93333333335
DRESDEN/peg/Vo31eg9.309112295042497E-4423.3666666666667454787.36666666664
BASE/stateSpaceLarge/0Ge_CQ9.34026779034417E-4957.06666666666671024667.2666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ9.350355545447852E-4311.6229459018033333273.9
DRESDEN/peg_bugfixed/u_B7MA9.417949620687375E-4430.3189893670211456913.6666666667
DRESDEN/statespacelarge/8-y5HQ9.432176939427331E-4941.8333333333334998532.3
BASE/checkersSmall/SYmq8w9.582288186253229E-4292.7305459.4
BASE/firefighter/WJmoPw9.603795193697752E-43940.66666666666654103238.966666667
BASE/blocksWorldParallel/RseaAQ9.699333657088217E-4421.9526015799473435032.56666666665
BASE/escortLatch/mX9BjQ9.710622472428537E-4478.58404719842673492845.9
BASE/snake_2009_big/-oRfVw9.824309854871106E-4343.2218926035799349359.8
BASE/checkersTiny/Lr48cg9.94636276785857E-4407.3530882303923409549.8
STANFORD/duikoshi/tpw1sw0.001000397442716371483.7483507.8333333333
STANFORD/pentago/ZxzLmg0.0010015775018245544367.5088327444837366930.0
DRESDEN/babel/WdSW4A0.0010093340732849644237.46666666666667235270.63333333333
DRESDEN/firefighter/WJmoPw0.00101113999909503343895.7333333333333852813.0
BASE/catcha_mouse/cHv4dw0.0010128868898536814619.3793540215327611499.0333333333
BASE/lightsOnParallel/SC6enA0.001090154252488091838.43333333333341686397.4333333333
BASE/queens08ug/kJ_ZFQ0.001090592134436728784.4666666666667719303.4333333333
BASE/racetrackcorridor/_RkdUg0.0011187318337631772758.2666666666667677791.2666666667
BASE/duplicateStateMedium/U163eQ0.0011360784845992011891.41664849.7666666666
DRESDEN/snake_2009_big/DgC1NQ0.0011370763033883378349.8666666666667307689.7
BASE/copolymer_4/2LDVhQ0.0011476001858813283844.3333333333334735738.2333333333
BASE/ttcc4_2player/_aH_Mw0.0011797546621347044428.93807079528034363582.43333333335
DRESDEN/racetrackcorridor/O0DoTA0.0011864451508189875720.8333333333334607557.2333333333
DRESDEN/aipsrovers01/qS47Mw0.00119127447042670471923.23333333333331614433.4333333333
BASE/tictactoe_3player/GtM71g0.0011930089755827831583.4489015.6
DRESDEN/grid_game/U7_Yeg0.0011935711060174921724.8333333333334607281.2333333333
BASE/2pttc/unkkYA0.0012100200209789434837.8666666666667692440.3333333334
DRESDEN/chinesecheckers2/06E6-Q0.001210700119669948795.5666666666667657112.9
BASE/incredible/8Qh-6Q0.00121168429124827982290.31890178.8333333333
BASE/aipsrovers01/4C4jsw0.00123109398700542371901.16666666666671544290.4333333333
BASE/tpeg/QNs7Lw0.001236074469962939447.23333333333335361817.4666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0012594469987765007457.8363492.86666666664
DRESDEN/tictactoe_3player/ESLQQQ0.0012698958997850026587.9462951.3333333333
DRESDEN/tpeg/h-Scbg0.0012750498847024308463.3691087260849363412.5333333333
BASE/ttcc4_2player_small/Cv72TA0.0012965128198876208716.0666666666667552302.0333333333
BASE/ttcc4_2player_alt/ZEJvYA0.001309011218206512511.3390600.1666666667
BASE/snake_2008_tweaked/bX0NJQ0.0013118097122117377490.21699276690777373695.2
STANFORD/chinook/osFbPA0.0013199902453030134344.2885237158761260826.56666666668
BASE/snake_2008/i6K26g0.0013281313679092154502.28325722475915378187.93333333335
BASE/blockerParallel/7-nDJA0.0013316900841226964256.26666666666665192437.16666666666
DRESDEN/snake_2008/E56l3A0.0013347460256669438493.65021165961133369845.8
DRESDEN/snake_2009/zIYLVw0.0013393090802156272446.536897540164333408.4
DRESDEN/blockerparallel/dVQgSg0.0013425219086912786264.8068526480685197245.83333333334
DRESDEN/endgame/IJhh3Q0.0013455740292771074230.66924410078656171428.13333333333
DRESDEN/backgammon/mqCW0Q0.001353354412379673202.9729369417411149977.66666666666
STANFORD/pilgrimage/ObRZnQ0.0013537104629495955397.3068462102527293494.7
BASE/factoringEasyTurtleBrain/lUj94Q0.00135767570034882712234.8666666666671646097.5666666667
STANFORD/sukoshi/4LYZZQ0.0013588968197164511338.4666666666667984965.6333333333
BASE/pacman3p/wW7UVQ0.0013679235687021137641.0333333333333468617.8
BASE/copolymer_4_pie/IN5_jA0.0013689252587677492777.1074297523415567677.0333333333
STANFORD/checkersonabarrelnokings/Zrevdw0.0013710927613719602400.88663711209625292384.76666666666
STANFORD/ttcc4/Cx9SGw0.0013718597302151032468.1177294090197341228.56666666665
BASE/chineseCheckers1/gqtwHw0.00137622062517889782277.71655039.8666666667
BASE/snake_2009/7l-qAQ0.0013809907889512398449.15169494350187325238.73333333334
BASE/lightsOut/5P1ZBw0.001409264019739113897.9333333333333637164.7333333333
DRESDEN/lightsout/XgLpzQ0.0014230487209061795884.0621201.5
BASE/checkersBarrelNoKings/rnKNeg0.0014392829943082426460.8666666666667320205.73333333334
DRESDEN/kitten_escapes_from_fire/uW-YiA0.00147605652579994362326.53333333333331576181.7333333334
BASE/chinook/XQh0IQ0.0014795230462260292378.06666666666666255532.8
BASE/mummyMaze2p_2007/YGA3Vw0.00148027961548217141187.4333333333334802168.2666666667
DRESDEN/lightsout2/LFtfyQ0.0014858303626726296899.7333333333333605542.4333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg0.00148665520508619451177.4791979.2
BASE/englishDraughts/jFkQxg0.0015063374347854836455.3181560614646302268.36666666664
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.00151746530464258152577.46666666666671698534.1666666667
DRESDEN/pacman3p/rBnk8Q0.0015210586364283211619.9126695776807407553.43333333335
BASE/checkersTorusNoKings/pwb6oQ0.0015217929878592173435.98973435989734286497.4
STANFORD/untwistycomplex/HTWEwg0.0015358334214550525423.6666666666673531415.966666667
STANFORD/alquerquezero/uVgA_A0.0015472282870626912519.1160294656845335513.5333333333
BASE/kitten_escapes_from_fire/uW-YiA0.00157356234395544822296.83333333333351459639.2333333334
DRESDEN/oisters_farm/pTQMLg0.0015758584723830165901.0333333333343744646.7666666666
STANFORD/freeforall/Lfp40Q0.001587154639570776824.6333333333333519567.1
BASE/pacman2p/4LEdQg0.0015953332785178106633.1666666666666396886.76666666666
BASE/factoringGeorgeForman/HGRorQ0.00162558781288987583347.06666666666662058988.5333333334
BASE/checkersTorus/2vm1EQ0.0016682122478755348376.24158389440703225535.8
DRESDEN/chinesecheckers6/yTbPDA0.001699339834138109537.5316299.3
BASE/2pffa_zerosum/o0_uZA0.001704421497534018846.1496414.76666666666
BASE/queens06ug/7Lq3tw0.00170557741740266841544.6333333333334905636.6
DRESDEN/chinesecheckers3/QsCb2A0.0017072811834088902718.9666666666667421117.9
DRESDEN/double_tictactoe_dengji/bGaUyQ0.00171822974514912571321.0333333333333768833.9333333333
BASE/blockerSerial/3eqDuw0.00173807806892308571004.9333333333333578186.5333333333
DRESDEN/statespacemedium/dVJZ_w0.0018740619216103822728.53333333333331455946.2
BASE/2pffa/6oHijA0.0018791605343845524930.6333333333333495238.86666666664
BASE/stateSpaceMedium/3bUoIw0.00187953223427498332730.2333333333331452613.2
BASE/ticTacToeSerial/Amrwqw0.001890849841101999987.8522410.6
BASE/double_tictactoe_dengji/zgaSbA0.00189862534944576871309.9333333333334689937.7666666667
BASE/bomberman2p/4CClwA0.0019205659343606697898.6666666666666467917.63333333336
BASE/tictactoe2/bhrDoQ0.0019375604033864282429.56666666666661253930.8
STANFORD/tictactoe3/X7myng0.00195054801591853962188.83333333333351122163.2666666666
DRESDEN/SC_TestOnly_enabled/09o7gQ0.0019803315285260922206.83333333333351114375.7
DRESDEN/bomberman2p/x4h6jQ0.0019891896291048977925.5333333333333465281.6
BASE/chineseCheckers2/eCMR3Q0.002031783275824211730.0851468.7666666667
STANFORD/hex/MTqWcw0.002033868641785451171.1609613012899484155.36666666667
BASE/hex/T1MK8g0.002046844431473868171.4609513016232883768.43333333333
BASE/wargame01/_GZFZg0.0020710932761161824495.43333333333334239213.43333333332
BASE/ticblock/T21C1g0.00208401092012236881494.0333333333333716902.8333333334
DRESDEN/ticblock/Z2yNWQ0.00211700774143282941511.6666666666667714058.1666666666
STANFORD/dualhunter/1rPZjQ0.002123050873967407943.8333333333334444564.63333333336
DRESDEN/ghostmaze2p/HY0UwA0.0021958790990136052111.5333333333333961589.0666666667
DRESDEN/blocker/S815zQ0.00223559202107237932231.1666666666665998020.5
DRESDEN/logistics/fPru1Q0.00223926097543201241112.3333333333333496741.26666666666
DRESDEN/lightson2x2/gBHuig0.00224106020134291153265.6333333333331457182.3333333333
DRESDEN/Goldrush/VeWczQ0.0022564038376327302775.740808639712343795.2
STANFORD/multiplebuttonsandlights_9/SqB9BA0.00226339461712715558148.53600123.433333333
STANFORD/multiplebuttonsandlights/cK70Yg0.00227000750947086538176.6333333333333602029.2
DRESDEN/latenttictactoe/kITHKg0.00227466230860021331443.3634511.7666666667
BASE/brain_teaser_extended/ZDp94A0.00227649542483947731793.5666666666666787863.0666666667
BASE/blocker/dIWtxg0.0022769927465341182259.633333333333992376.1666666666
BASE/doubletoetictac/fu35bg0.00227737430420700641122.6333333333334492950.73333333334
DRESDEN/brain_teaser_extended/ZDp94A0.00228208998330632931827.3666666666666800742.6
BASE/chineseCheckers4/avfBcQ0.0023013384468091526838.9364527.0
BASE/wargame02/BkVqqQ0.0023233130130510004273.77262273772624117837.16666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g0.00233305000595687755252.7666666666662251459.1
BASE/wargame03/klXI8w0.002346017133059349394.62017932735574168208.56666666668
BASE/chineseCheckers6/rREH3A0.002372340337547726911.0029665677811384010.23333333334
BASE/ghostMaze2p/W-NU-w0.00241753197819700142105.0333333333333870736.5
BASE/amazons_8x8/7SOsIw0.0024447062124837394295.4371229543712120847.7
BASE/lightsOn/MsXu3A0.00249701293489876635171.8333333333332071208.0666666667
BASE/checkLines/Vop7oQ0.00250179092435623631045.6417940.6
STANFORD/hunter/14dD-g0.00254728696372066942196.9862447.0
BASE/hexPie/48CH6Q0.0025832066051701486168.9554029731351465405.3
BASE/cittaceot/fDxhXg0.002608143357967083517.249425019166198320.93333333332
BASE/snakeParallel/RCVNtw0.0026594426027595792062.131262291257775399.8
BASE/doubletictactoe/HH1htg0.00268332006246662941145.6666666666667426958.63333333336
STANFORD/tictactoe5/WFRReg0.0026839604468986772361.7879931.0
DRESDEN/doubletoetictac/V89gKQ0.00268701145429349951111.9666666666667413830.26666666666
DRESDEN/doubletictactoe/lJzgmQ0.00269005567417778671155.1666666666667429421.1
BASE/bunk_t/xbpfIA0.00269750771591845351144.6424317.6
DRESDEN/bunk_t/7-tPfA0.0027322159537704571158.6333333333334424063.6
DRESDEN/tictactoe-init1/3ltIBQ0.00274331645297233242423.9333333333334883577.7333333333
BASE/hodgepodge/9yjRkw0.0027569723840553183692.21339222.7
BASE/tictactoe-init1/7M19vA0.0027613480394771372338.4846832.7666666667
BASE/hanoi_6_disks/MeubgQ0.00278581961917137453605.01294053.6333333333
DRESDEN/hanoi_6_disks/MeubgQ0.00282689663516956343776.33333333333351335858.3
DRESDEN/2player_normal_form_2010/NG_Kdg0.0028370928254382224172.7333333333341470777.8666666667
DRESDEN/stratego/Z2wovg0.0028400931291117557467.4021731884541164572.83333333334
DRESDEN/4pttc/9pB9AQ0.002845877055357526702.7666666666667246942.03333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.00285870070059041254085.66666666666651429204.0666666667
BASE/3pttc/0sol9g0.0029060565402756473748.6750441651945257625.76666666666
DRESDEN/eotcatcit/mQUxzA0.00292434704570757132370.6810642.5
DRESDEN/tictactoeparallel/yk_DSg0.0029320592558941157913.9311692.2
BASE/chineseCheckers3/-1rZdQ0.00294224167920233451481.8503629.6
DRESDEN/javastrike/whONTQ0.0030022118367144667197.965918.06666666667
BASE/ticTacToeParallel/ymRGPw0.0030271627607793635932.4333333333333308022.2
BASE/duplicateStateSmall/bCPAXw0.00305094280218526456288.12061035.0333333334
DRESDEN/minichess/c7GMFw0.003053058032946898839.7333333333333275046.63333333336
BASE/numbertictactoe/rvJ-iQ0.00306033823497279651344.6439363.2
BASE/4pttc/AL1k2Q0.0030610484668650317626.2124595846805204574.5
DRESDEN/tictactoe/BTTzPw0.00307889530258583172474.266666666667803621.5666666667
BASE/rubiksCube/9tNO9Q0.003101094821585796390.6203126562448125962.06666666667
STANFORD/tictactoe/ss1kyQ0.00311183883284385772353.9666666666667756455.2
BASE/tttcc4/8Bs2lg0.0031642197585764276426.35245491816937134741.73333333334
BASE/ticTacToe/JRFsaQ0.0031934392261266032470.8333333333335773721.7333333333
DRESDEN/3pttc/uwYBZw0.003196956632545521866.5711142961901271061.26666666666
BASE/ttcc4/Le0qjQ0.0031971769055740462423.8858704709843132581.3
STANFORD/tictactoe7/-bE9-A0.0032095184977957712400.4333333333334747910.7333333333
STANFORD/bestbuttonsandlights/nm0wEA0.00322145413005258066860.3333333333332129576.6
BASE/asteroidsSerial/id2QkA0.003237688043479782625.866666666667811031.4
DRESDEN/tttcc4/sAvtFg0.0033068424700575007429.23333333333335129801.56666666667
BASE/chickentictactoe/DSlZCA0.00332017756855046462082.733333333333627295.7666666667
DRESDEN/frogs_and_toads/GjchhQ0.0033382401292410663476.684110529649142795.03333333333
DRESDEN/sheep_and_wolf/enAIzQ0.0033687327747653354514.6333333333333152767.63333333333
BASE/eotcatcit/AfZSzA0.0033958377822886222349.233333333333691797.8666666667
STANFORD/trifecta/ss1kyQ0.00340676262911376652403.4333333333334705488.9333333333
DRESDEN/chickentictactoe/Ipbo-g0.00341308550918599342047.9333333333334600024.0333333333
BASE/sheepAndWolf/g4THrg0.003418551918716355526.6666666666666154061.33333333334
BASE/chomp/-LcqYQ0.0034398996079042131342.9390389.3
DRESDEN/hanoi7/51zz5Q0.00350869609169624784323.5333333333341232233.6333333333
BASE/blocksWorldSerial/Wyg96Q0.003528502832017432859.0810258.6666666666
STANFORD/untwistycorridor/EDPPAQ0.00355558911734920313014.3333333333343660246.7
BASE/toetictac/mTThmg0.00364195652657904734056.8666666666671113925.0666666667
DRESDEN/chomp/-LcqYQ0.00365658750348802231347.1368403.6
BASE/hanoi7_bugfix/3gdnFw0.0037164182606608384524.5666666666671217453.5666666667
BASE/amazonsSuicide_10x10/XIbQkg0.003738407654484448220.2333333333333258911.0
DRESDEN/hanoi7_bugfix/3gdnFw0.00375081209309719374508.2333333333341201935.2666666666
BASE/minichess/8NQEiA0.003774815363207845896.0333333333333237371.43333333332
DRESDEN/tictactoe_orthogonal/y69QFQ0.00381351367474172142908.6666666666665762726.1666666666
DRESDEN/blocksworldparallel/2JfVaw0.00383233224768929261648.2430077.5333333333
BASE/tictactoe_orthogonal/WRzlVw0.00383338520162451732922.1666666666665762294.0333333333
DRESDEN/3pffa/0YrmQw0.003836587322813587956.3333333333334249266.66666666666
DRESDEN/toetictac/mJtxCA0.0038833902252851374072.61048722.8333333333
BASE/chickentoetictac/l57rfQ0.00394213402337904253178.5333333333333806297.6333333333
BASE/amazons_10x10/Bun8dA0.003979956145710043218.2333333333333254833.1
BASE/pearls/6k_mEQ0.003986708291813678512294.83083947.7333333334
BASE/4pffa/Q3ADlg0.004130799338556949723.1092296923435175053.1
BASE/3pffa/pR0dzA0.004166133304449718846.2203114.0
BASE/blocksWorld/SEdXLQ0.0041730805812117526457.7666666666661547481.9
DRESDEN/sum15/CsgWKg0.004182355159385642804.1666666666665670475.5
BASE/sum15/QZ07Kg0.004182621802833112841.366666666667679326.7
BASE/tron_10x10/7ZTgDg0.00425012878375141241603.9377376.8
BASE/untwistycomplex2/EDPPAQ0.00425856176998207913438.0333333333333155533.2666666666
BASE/hanoi/iGLsJg0.00427875932742376964926.3666666666671151354.0
DRESDEN/buttons/ADUaHw0.004281283327023442510640.0666666666682485251.7
DRESDEN/chickentoetictac/cxYaRQ0.0043038321770862063232.3333333333335751036.1
DRESDEN/hanoi/RQ0jiA0.0043160791421666024925.71141244.1333333333
DRESDEN/blocks/vg0DRw0.0043171342357851236273.6666666666671453201.6666666667
BASE/beatMania/qUHwvQ0.0043460833002190534258.9979939.8
BASE/solitaireChineseCheckers/-ET6gw0.004363481251874241016.1333333333333232872.16666666666
BASE/buttons/hTcUjw0.00444466212047549410747.82418136.566666667
BASE/blocks/xIV5hQ0.00450631229442718256369.5333333333341413469.1333333333
DRESDEN/cube_2x2x2/fp-34Q0.004621419531833581292.8333333333333279748.1
BASE/stateSpaceSmall/Q7osKA0.0047453196002933048880.4333333333321871408.9
BASE/gt_dollar/TGjqRw0.0048764002052856824790.433333333333982370.8333333334
DRESDEN/statespacesmall/h-NqjA0.0049262177186746518914.31809562.7333333334
BASE/circlesolitaire/azuQFQ0.00493792187407405154335.7878041.4333333333
DRESDEN/Thief_Police/CX18rA0.0049392291630906044383.366666666667887459.6666666666
BASE/maze/cCX3qQ0.00495099968087959711255.2666666666662273332.1333333333
BASE/troublemaker02/DI83KA0.00500698121328736810509.3666666666672098942.7
DRESDEN/circlesolitaire/ruUilQ0.0050284223873267034358.366666666667866746.3333333334
BASE/biddingTicTacToe/8mESVw0.0050307126706802881950.1666666666667387652.1666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA0.00508148068872689264444.2874587.6
DRESDEN/bidding-tictactoe/yW5vTA0.0050884999659167491965.7333333333333386309.0
BASE/point_grab/V_osUg0.00522927516286926959650.71845513.9
BASE/gt_coordination/IVMOzA0.0052951002725655345717.3333333333331079740.3333333333
BASE/coloredtrails/EZvr7g0.0053044367222407412001.8377382.2
DRESDEN/tictictoe/LAUtwg0.0053045662549603681806.6340574.5
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0053101266269194714466.966666666666841216.6
DRESDEN/point_grab/r5DPmQ0.0053288073377420299658.2666666666661812463.1
STANFORD/threepuzzle/41ibjA0.0053421969867947235804.01086444.4
BASE/eotcitcit/V_9_bg0.0054015988764738461796.9333333333334332666.93333333335
BASE/ticTicToe/c1OobQ0.0054114804489042311812.2334880.63333333336
BASE/asteroidsParallel/WauZiA0.0054793257804919892706.5666666666666493959.8
STANFORD/tictictoe/rpt_Dw0.00551862363292480751829.5666666666666331525.9
STANFORD/3puzzle/41ibjA0.0055670966959371046117.9666666666661098951.0333333334
DRESDEN/troublemaker01/C-lPWw0.00562964748762492412270.4333333333322179609.533333333
DRESDEN/catch_me/ghGWrA0.0056975926194426994526.933333333333794534.4
BASE/troublemaker01/s3tlEQ0.00595375014744593813076.1333333333332196285.2
DRESDEN/troublemaker02/iZLVuA0.00605095338192322311948.7333333333341974686.0666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.0061225928774138321733.7666666666667283175.23333333334
BASE/asteroids/BKCmPQ0.0061234688698801455725.9935074.5666666667
BASE/knightsTour/mvtVIg0.0062511699559419878221.6666666666661315220.4666666666
BASE/biddingTicTacToe_10coins/a-9ccQ0.0063134904998802811728.8666666666666273836.9
BASE/haystack/UkweGA0.00649872944298908218755.5333333333332886030.8
BASE/amazonsTorus_10x10/Uxc08g0.006505628018629983128.3666666666666719731.633333333335
BASE/smallest_4player/ADDROA0.0065851927070389022017.2666666666667306333.73333333334
BASE/switches/tPUoCg0.0065904763535124448315.6666666666661261770.2
DRESDEN/smallest_4player/ADDROA0.006648068775963662099.9315866.1666666667
BASE/gt_ultimatum/GE-uOA0.00665227009780053254328.6650695.1666666666
DRESDEN/knightstour/cGISAA0.0066961133402334668523.6333333333331272922.5
STANFORD/knightstour/cEwgNA0.0067319704629166628640.21283457.8
BASE/survival/YVIjJA0.00677093525021438815620.52306992.966666667
STANFORD/knightstourmedium/x1wu8Q0.006892812632411728798.5333333333331276479.4
BASE/gt_centipede/9fRMpw0.0069312754409853467452.9666666666661075266.2666666666
DRESDEN/crissrace/KWb9bw0.006939647190554818607.246425119162787503.93333333333
BASE/crissrace/ERWGDA0.006999030610559935600.466666666666785792.83333333333
DRESDEN/crisscross/GsY16g0.007139526818965747820.7666666666667114960.93333333333
DRESDEN/fizzbuzz/t1xHzQ0.00726384360499993311864.5333333333331633368.5
DRESDEN/nim4/F5YAYg0.0072892735074832514228.166666666667580053.2333333333
STANFORD/buttonsandlights/eyhJpA0.00738823544594949821830.52954765.066666667
DRESDEN/nim3/sG_axA0.0074339023917080074291.8577328.0
BASE/nim3/1OwUqw0.007467054878269964295.533333333334575264.7333333333
DRESDEN/gt_ultimatum/pAiiQw0.0075482271843077214660.333333333333617407.6666666666
BASE/nim4/twk16w0.00761413734596169244271.733333333334561026.5666666667
DRESDEN/chinesecheckers4/-oVNYg0.007750098952830492410.5333333333333652971.36666666667
BASE/nim1/hin2Qw0.007910320826609945674.666666666667717375.0333333333
BASE/crisscross/ICagEg0.00808820406364645812.5100454.93333333333
BASE/quarto/EwBMVQ0.008220054099032998924.6333333333333112485.06666666667
BASE/knightfight/SJRkAg0.0082360093953035581952.0333333333333237012.03333333333
DRESDEN/knightfight/4_Ly4w0.008252917119222881932.5333333333333234163.66666666666
BASE/snakeAssemblit/UO4sdg0.008289905376801812337.955401486617140767.1
DRESDEN/nim2/z5_exA0.0083522791194954045620.0672870.2333333333
BASE/quartoSuicide/-23jUg0.008484978240970479935.3110230.1
DRESDEN/nim1/M9BALA0.0085038836773526676163.966666666666724841.3666666667
STANFORD/knightstourbig/TQUI2g0.0085048276930240328214.633333333333965878.8666666667
BASE/nim2/eF2Qqw0.008774489031990565743.4654556.6333333333
DRESDEN/quartosuicide/WIU1oQ0.008978239058898016937.8333333333334104456.26666666666
DRESDEN/quarto/OQzRYQ0.008999489226022643930.3103372.53333333334
BASE/knightsTourLarge/M8jgLA0.0090954760429221178354.4918522.5666666667
BASE/shmup/ssTNlg0.0092241354921275241847.5666666666666200297.0
BASE/blocks2player/wnTLOQ0.009280020070138365371.0578770.3
DRESDEN/blocks2player/3ev8nQ0.0093038443760448555430.6583694.2
BASE/ruleDepthLinear/OUBJpQ0.00949495483678019416003.2333333333341685445.9666666666
BASE/onestep/xi53wA0.00958807394292297121177.7666666666662208761.3
DRESDEN/blobwars/ZaMluQ0.01070799703381286211.2859142723818319731.6
BASE/blobwars/0XT15Q0.010741226251207624207.545912075459119322.366666666665
DRESDEN/gt_chicken/CeuKtw0.0108343262884999174559.666666666667420853.73333333334
BASE/gt_chicken/gmepTQ0.0108995658168054174623.666666666667424206.5
DRESDEN/roshambo2/jgSlkQ0.0111128834704076028418.2757517.1666666666
BASE/roshambo2/KNPokQ0.0111202022621960028242.033333333333741176.5666666667
DRESDEN/gt_prisoner/huCp4w0.0116481272665339144819.266666666666413737.4666666667
BASE/gt_prisoner/klthDw0.0126149561302406535091.3403592.36666666664
BASE/gt_staghunt/xPjLRA0.0131390695069702175438.5413918.2
DRESDEN/Runners/3bOCQw0.013213070434643811262.566666666668852380.7333333333
BASE/gt_tinfoil/Q8DyKg0.0133774496533458346631.466666666666495719.8
BASE/colonelBlottoVariant/X-n-KQ0.0133915335963873224909.9366642.1
STANFORD/8puzzle/jNiGtw0.015827420663637723329.5210362.76666666666
BASE/kalaha5x2x3/WviNsw0.016135116559147881658.1666666666667102767.56666666667
DRESDEN/8puzzle/8fKC2w0.016294602896166893279.7201275.23333333334
BASE/eightPuzzle/vLrgFg0.0163760602633590063379.233333333333206352.03333333333
STANFORD/eightpuzzle/W_aWbA0.0164261922999016723265.4198792.26666666666
DRESDEN/vacuumcleaner_random/_6AGDA0.0169183776181486522267.9333333333334134051.46666666667
BASE/colonelBlottoVariant2/jruwGw0.0177585001853446564364.3245758.36666666667
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0180151646526195043027.9168075.06666666668
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.0180597864259064363043.5333333333333168525.43333333332
BASE/guess/SPpk1A0.019767332288213271076.833333333333354475.4
DRESDEN/guess/PhxGhg0.0200874672056337681100.65995600293354793.36666666667
DRESDEN/vacuum_cleaner_1/eUNjpw0.0235284160247142653410.0144931.13333333333
BASE/kalaha6x2x4/XS81Mg0.024199438869888661578.133333333333465213.63333333333
BASE/colonelBlotto/jip21A0.03293362312566071130.934338.76666666667
BASE/pancakes/yUgbXw0.0416176525680890110738.7258032.33333333334
DRESDEN/pancakes/hl9aiQ0.0431075119395594711245.133333333333260862.5
DRESDEN/pancakes6/SZXMyQ0.0445538621194459611437.233333333334256705.76666666666
BASE/pancakes6/QZTdnw0.04523495068168853511157.633333333333246659.56666666668
DRESDEN/racer/vk_ZBA0.053485817019576511499.428033.6
BASE/racer/QQYQNw0.055779583798396491527.566666666666627385.766666666666
DRESDEN/kalaha_2009/gcC8uA0.061719582439969881579.425589.933333333334
BASE/kalaha_2009/dRiN3g0.063738964608805461635.533333333333325659.866666666665
DRESDEN/smallest/9kaGFw0.113901406997144721324.411627.6
DRESDEN/Travelers-Dilemma/PvZwYw2.0828126083506059010.7333333333344326.233333333334

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/endgame/jYjfOAException of type NullPointerException
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
BASE/knightazons/apnJBQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-mustjump/HUr33wTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/laikLee_hex/zbyscQException of type StackOverflowError
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
BASE/mummymaze1p/PT_EXAException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/cylinder-checkers/hlldmwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/four_way_battle/xSOQXAException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsOutOfMemoryError: GC overhead limit exceeded
BASE/sudoku/NTaNkwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionTest process timed out after 240 seconds

index