index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/ggp-course2013_michal13/jWKddg0.036714036373698353.963627885287946107.95946936870875
BASE/factoringImpossibleTurtleBrain/kcBhdw0.075600316430345270.28538812785388133.7749594357429053
BASE/sudokuGrade6H/ieE_9A0.1178494251275268214.614821226446502124.01266455590735
BASE/coins_atomic/AA3SSw0.12014142522083104343.22856.633333333333
BASE/sudokuGrade6E/ihYFZA0.1204349435130724614.63089485085819121.48380215971204
STANFORD/sudoku/oJ1qyQ0.1266571708982817715.29865637887455120.78792120787921
BASE/sudokuGrade3/eI8dvg0.1277418307188371815.623438488956994122.30479554770554
BASE/sudokuGrade2/u80Tfw0.1279510285849040615.647889199627114122.2959234692177
DRESDEN/coins/QwFP9w0.12883235953412092366.85443818539382847.5333333333333
BASE/coins/QnGtnQ0.13001269749986366369.175388307446162839.5333333333333
BASE/sudokuGrade4/DTy07w0.130517344995001415.867735604271315121.57568486302739
BASE/sudokuGrade5/BQfUQA0.1305464719293836816.16927837109492123.8584094393707
BASE/sudokuGrade1/tDRNRw0.1337638094195308416.242843829050727121.42928569047699
BASE/blokbox_simple/JBx4bg0.18358741156617120.75452716297786714.1099068642073515
STANFORD/duidoku/3SoMaA0.198966318569836115.29694061187762576.88206085246776
BASE/quad/tw-Ufg0.279596059497937371.49655791679137985.352571561554573
DRESDEN/quad/JPe6fg0.279597141000649751.50375939849624055.3783074931111186
DRESDEN/cubicup_3player/awDtsQ0.3385687721274338661.5271806152718181.72727575747476
BASE/cubicup_3player/e2yA_g0.367399905875284863.24769235895898172.14945172149453
STANFORD/selectivesukoshi/3xmXYg0.379971701874349650.62152164494951133.22445170321978
STANFORD/multiplesukoshi/vLSQPg0.3977760122057461548.848755456332675122.80467890825474
DRESDEN/grid_game2/kypTYQ0.4803896969593346203.95986800439985424.57169522031865
BASE/quad_7x7/q-JOXg0.48884952596286178.32534936733952217.03049491751375
BASE/zhadu/DlA8iQ0.4980897309380621411.35644586538781722.8
DRESDEN/quad_7x7/q-JOXg0.51234276433889658.97111498143340717.509986684420774
BASE/slidingpieces/uFJWEw0.5744636805262623145.94234294284286254.0497300179988
DRESDEN/slidingpieces/s9_44g0.5856800126968751151.26162461251292258.26666666666665
BASE/simultaneousWin2/PfjRjw0.5953555281545416289.7486.6
BASE/blockerParallel/7-nDJA0.6012356299366544256.26666666666665426.23333333333335
BASE/cubicup/4wNWJA0.6204336948447482139.2224.35918802706576
DRESDEN/blockerparallel/dVQgSg0.6256473764604429264.8068526480685423.2525582480584
DRESDEN/cubicup/SBn_lw0.6297729049924505140.94317613731045223.8
DRESDEN/statespacelarge/8-y5HQ0.6797950149167549941.83333333333341385.4666666666667
DRESDEN/CephalopodMicro/H3XQfg0.681523975141165917.49941668611046525.676890798281548
BASE/queens31lg/0gID-A0.69347706605376240.7328203590819761.0567333729608348
BASE/ticTacHeaven/18n58A0.6960978241323502258.06666666666666370.73333333333335
BASE/stateSpaceLarge/0Ge_CQ0.7014732110136572957.06666666666671364.3666666666666
BASE/blocksWorldParallel/RseaAQ0.730822588037551421.9526015799473577.3666666666667
BASE/withConviction/3Xm54A0.7579672205781925443.9518682710576585.713809539682
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.7590730805644471561.2333333333333739.3666666666667
BASE/conn4/va9Y7A0.7626271332528874294.923502549915386.7204426519116
BASE/ticTacToeNoVars/XT03NA0.7779861545229331120.06666666666661439.7
BASE/ticTacHeavenFC/mrletw0.7848778168375423251.47485251474853320.4
BASE/lightsOnSimultaneous/_VN6lw0.7906904871172884402.0508.4163861204627
BASE/snake2p/I3wWPQ0.8005096891227773238.7920402653245298.3
DRESDEN/tictactoeparallel/yk_DSg0.820942000778513913.91113.2333333333333
BASE/pearls/6k_mEQ0.827538859173636712294.814857.066666666668
STANFORD/duikoshi/tpw1sw0.8290578757927213483.7583.4333333333333
BASE/cephalopodMicro/9l2D3g0.840833825801626617.69469159252224321.044219499200853
BASE/lightsOnSimul4/9FeASw0.859142199709992321.7559414686177374.50836610892605
BASE/bunk_t/xbpfIA0.8830654494020831144.61296.1666666666667
DRESDEN/lightsout/XgLpzQ0.8879365185656409884.0995.5666666666667
DRESDEN/doubletictactoe/lJzgmQ0.88961622384802991155.16666666666671298.5
BASE/doubletictactoe/HH1htg0.89066832517038541145.66666666666671286.3
DRESDEN/pawn_whopping/4ogBkg0.8917213277678393598.1467284423852670.7776407453085
BASE/doubletoetictac/fu35bg0.89206441701541561122.63333333333341258.4666666666667
DRESDEN/tictactoelargesuicide/6J4DeA0.89982208448117551045.23333333333331161.6
DRESDEN/doubletoetictac/V89gKQ0.90213099680891351111.96666666666671232.6
DRESDEN/bunk_t/7-tPfA0.90287807158813451158.63333333333341283.2666666666667
DRESDEN/lightsout2/LFtfyQ0.9226457015894719899.7333333333333975.1666666666666
BASE/nineBoardTicTacToePie/B8LzeQ0.9241279403693728211.35772845430913228.71046228710463
DRESDEN/tictactoelarge/IwXcbg0.93922490581466671072.01141.3666666666666
BASE/futoshiki6/JmvXNA0.9461196621751995125.9748050389922133.1489134782029
BASE/nineBoardTicTacToe/wRmqqA0.9738929477740544205.4264857838072210.93333333333334
STANFORD/nineboardtictactoe/y28P-A0.9915533411877548213.81195213811952215.63333333333333
BASE/factoringGeorgeForman/HGRorQ0.99350932045751373347.06666666666663368.9333333333334
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.0010204081632654457.8457.3333333333333
BASE/tictactoe2/bhrDoQ1.03299366487620282429.56666666666662351.9666666666667
DRESDEN/tictactoex9/rFkD4w1.0656244362956897253.57464253574642237.95873470884302
BASE/golden_rectangle/_nYzfw1.0701506962025318112.7105.3122708791575
BASE/tictactoex9/BI26ow1.0882560270689412257.3236.43333333333334
STANFORD/sukoshi/4LYZZQ1.09716377944149951338.46666666666671219.9333333333334
BASE/factoringMediumTurtleBrain/8RBqmQ1.1023599859105317521.5826139128695473.15089497016766
DRESDEN/chickentictactoe/Ipbo-g1.11353173596259112047.93333333333341839.1333333333334
BASE/futoshiki5/TJ4BZg1.130777763076683219.53007832027996194.14078122916945
STANFORD/triplesukoshi/Iu9mbA1.1458292767332467356.0881303956535310.7689231076892
DRESDEN/ggp-course2013_jordi/9QI6Kw1.1666327824703147105.8666666666666690.74549271836571
DRESDEN/latenttictactoe/kITHKg1.17874935344240871443.31224.4333333333334
BASE/brain_teaser_extended/ZDp94A1.18010746792411461793.56666666666661519.8333333333333
DRESDEN/brain_teaser_extended/ZDp94A1.19002756854147231827.36666666666661535.5666666666666
DRESDEN/peg/Vo31eg1.1991924786002013423.3666666666667353.0431304579695
DRESDEN/sum15/CsgWKg1.22611534593578282804.16666666666652287.0333333333333
BASE/eotcatcit/AfZSzA1.22895705093553282349.2333333333331911.5666666666666
BASE/connectFourSimultaneous/7ITr3g1.2342976038463065283.7238758708043229.86666666666667
DRESDEN/peg_bugfixed/u_B7MA1.2358385679696184430.3189893670211348.2
DRESDEN/tictactoe/BTTzPw1.24765522573704922474.2666666666671983.1333333333334
DRESDEN/ticblock/Z2yNWQ1.24773014912232451511.66666666666671211.5333333333333
BASE/tpeg/QNs7Lw1.2701528272119147447.23333333333335352.1098593427105
BASE/lightsOnParallel/SC6enA1.2782284231018821838.43333333333341438.2666666666667
DRESDEN/towerworld/HCX34w1.297130588960539622.2533146778599517.155801325826975
DRESDEN/eotcatcit/mQUxzA1.30009871668311932370.61823.4
BASE/sum15/QZ07Kg1.30954648804768662841.3666666666672169.733333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.31139606996625040.51395384694454440.3919135177504164
BASE/futoshiki4/BaCwSw1.3163188806888069451.8333333333333343.25522482583915
BASE/haystack/UkweGA1.31711747562588518755.53333333333314239.833333333334
BASE/majorities/ibJzSQ1.3401228215174634133.3111148141976299.47678874929183
BASE/lightsOut/5P1ZBw1.355507472450058897.9333333333333662.4333333333333
BASE/stateSpaceMedium/3bUoIw1.37023220021413272730.2333333333331992.5333333333333
BASE/double_tictactoe_dengji/zgaSbA1.37733071638861641309.9333333333334951.0666666666667
DRESDEN/tpeg/h-Scbg1.3779810925636942463.3691087260849336.26666666666665
DRESDEN/statespacemedium/dVJZ_w1.3855346231317392728.53333333333331969.3
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1.3983344746084690.44178392348302450.3159358018450651
DRESDEN/connectfour/5tc-Mg1.4543899994096197659.1780273990867453.23333333333335
BASE/ticblock/T21C1g1.4872415967083651494.03333333333331004.5666666666667
BASE/tictactoe_3d_small_2player/oOryKA1.509086394367894400.2199926669111265.20681265206815
BASE/ticTacToeLarge/TZC0dg1.51137258043881521050.0666666666666694.7768407719743
DRESDEN/double_tictactoe_dengji/bGaUyQ1.51523609252532961321.0333333333333871.8333333333334
BASE/breakthroughSmallHoles/bxclRw1.520963804267063477.61741275290825314.0228659044698
DRESDEN/connect4/T0-rHQ1.523545264359072267.0175.24914175249143
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.5238285863168866311.6229459018033204.5
BASE/tictactoe_3d_small_6player/g_9lww1.5279537580609297305.3666666666667199.8533431104593
BASE/qyshinsu/R08Lzw1.530322882129280592.2723183045086460.29598026798214
BASE/ticTacToeLargeSuicide/727_8g1.53320528211284521064.3694.1666666666666
DRESDEN/satlike_20v_91c/yeuENQ1.53344408370379240.53825658691498230.3510115514710575
DRESDEN/sheep_and_wolf/enAIzQ1.5397426947242445514.6333333333333334.23333333333335
BASE/connect4/50bOyw1.5444988745127528268.9397726893977174.12752908236394
DRESDEN/tictactoe_3d_small_2player/HYttcg1.560448733903502414.0390640623958265.3333333333333
DRESDEN/catcha_mouse/cHv4dw1.5741510741510742605.7333333333333384.8
BASE/snakeAssemblit/UO4sdg1.6453048622755897337.9554014866171205.4059458738835
BASE/catcha_mouse/cHv4dw1.653055777955698619.3793540215327374.68751041631947
BASE/numbertictactoe/rvJ-iQ1.67516611295681051344.6802.6666666666666
DRESDEN/tictactoe-init1/3ltIBQ1.71739643852439652423.93333333333341411.4
DRESDEN/satlike_20v_91c_version2/yd9ioQ1.71878604145385030.6590437275513230.3834355828220859
BASE/tictactoe-init1/7M19vA1.7278817733990152338.41353.3333333333333
STANFORD/tictactoe3/X7myng1.73080471282848782188.83333333333351264.6333333333334
DRESDEN/golden_rectangle/1uloXw1.7527272727272727112.4591693887074264.16238917405506
DRESDEN/pentago_2008/hLjVpQ1.7599216070553652239.45868471050966136.06213126229125
DRESDEN/amazons/dNB28A1.76306729829310469.6939619520264685.498350494851545
DRESDEN/blocksworldparallel/2JfVaw1.77959330574050761648.2926.1666666666666
DRESDEN/blocker/S815zQ1.80320581896551712231.16666666666651237.3333333333333
DRESDEN/javastrike/whONTQ1.8144865525672373197.9109.06666666666666
BASE/chickentictactoe/DSlZCA1.82046500786667442082.7333333333331144.0666666666666
BASE/connectFour_9x6/B9TtMw1.8209801913939638604.6666666666666332.0555981467284
STANFORD/multipletictactoe/_bkafQ1.8445661494231254286.95710142995233155.56888622275545
STANFORD/connectfour/VMpZkQ1.8460684551341353665.2360.3333333333333
BASE/eotcitcit/V_9_bg1.865135107082311796.9333333333334963.4333333333333
BASE/ticTacToeParallel/ymRGPw1.8727321416616456932.4333333333333497.9
DRESDEN/tictictoe/LAUtwg1.87549311371029131806.6963.2666666666667
BASE/connectFour/WAIKTw1.8803460282479048670.1329867013299356.3881203959868
DRESDEN/battlesnakes2011/93VtTw1.915538739245303483.05056498116727252.17478252174783
BASE/strangeSkirmish/gc1zKA1.918561703887510525.76666666666666613.430199620088645
STANFORD/tictactoe/ss1kyQ1.94784167701006752353.96666666666671208.5
DRESDEN/lightson2x2/gBHuig1.94800365863357963265.6333333333331676.4
BASE/othello-comp2007/86ZoMw1.9642099847047784.3112024938648272.1948786165613567
STANFORD/tictactoe5/WFRReg1.9784150564056742361.71193.7333333333333
STANFORD/trifecta/ss1kyQ1.99311698363555982403.43333333333341205.8666666666666
BASE/pentagoSuicide/SBgNhw2.0145639168708596246.63333333333333122.42517165522298
BASE/3pConnectFour/PqXOFQ2.0265967459324155377.8186.4209052729818
BASE/connectFourLarge/aU644A2.039954033820905477.31742275257494233.98440103993067
DRESDEN/battlesnakes1509/-qZrLw2.0434667373442883514.0251.53333333333333
BASE/ticTacToeSerial/Amrwqw2.0516477430074773987.8481.46666666666664
BASE/ticTacToe/JRFsaQ2.057884508606332470.83333333333351200.6666666666667
STANFORD/tictactoe7/-bE9-A2.1087879586517912400.43333333333341138.3
BASE/pentago/86NgKw2.1117387188677514255.26666666666668120.8798533577737
DRESDEN/stratego/Z2wovg2.116218713500396467.4021731884541220.86666666666667
DRESDEN/Zhadu/9zpQ5w2.137342772047006654.77261369315342425.626499600106637
BASE/skirmishHoles/AUCxCA2.137832746634095433.0977934804346415.481937739304145
BASE/factoringEasyTurtleBrain/lUj94Q2.14815289481272662234.8666666666671040.3666666666666
BASE/pawnWhopping/Ypc_6Q2.154987136679553578.6140461984601268.5
BASE/survival/YVIjJA2.155641933851603315620.57246.333333333333
DRESDEN/chickentoetictac/cxYaRQ2.1785626025027523232.33333333333351483.7
BASE/blocker/dIWtxg2.1895671834625322259.6333333333331032.0
STANFORD/untwistycomplex/HTWEwg2.19389199757297965423.6666666666672472.1666666666665
BASE/chickentoetictac/l57rfQ2.2323773849935623178.53333333333331423.8333333333333
BASE/tictactoe_orthogonal/WRzlVw2.2493777743566062922.16666666666651299.1
BASE/duplicateStateLarge/dcjyuw2.256153474903475623.3276.26666666666665
BASE/lightsOn/MsXu3A2.2601203222188235171.8333333333332288.3
DRESDEN/tictactoe_orthogonal/y69QFQ2.27880497231797732908.66666666666651276.4
DRESDEN/tictactoe_3player/ESLQQQ2.2865148820326677587.9257.11619225384976
BASE/cittaceot/fDxhXg2.294773288226387517.249425019166225.40327956272498
BASE/hidato19/rRHSmA2.3145004849660524318.15606146461784137.46208459718008
DRESDEN/blocks/vg0DRw2.3381866971451296273.6666666666672683.133333333333
BASE/blocks/xIV5hQ2.36492574257425766369.5333333333342693.3333333333335
BASE/blocksWorld/SEdXLQ2.36988060869990676457.7666666666662724.9333333333334
BASE/duplicateStateMedium/U163eQ2.3916543730242361891.4790.8333333333334
BASE/othelloSuicide/B442jg2.39890614308522744.4571580627993611.8579960185799602
BASE/factoringMutuallyAssuredDestruction/NH0LGg2.44603315196760732577.46666666666671053.7333333333333
DRESDEN/2player_normal_form_2010/NG_Kdg2.47463725141343454172.7333333333341686.2
BASE/snake_2009_big/-oRfVw2.4764309764309766343.2218926035799138.59538015399485
BASE/dualConnect4/WbCQkg2.4881296662225756478.9840338655378192.50766564458073
STANFORD/breakthrough/d5j0cQ2.4936635914127994472.91756941435284189.64770189647703
DRESDEN/mimikry/GJEhwA2.494417150513622372.3333333333333149.26666666666668
BASE/othelloHoles/c0qAzw2.4970136941098834.7516911400758951.9029495718363463
DRESDEN/snake_2009_big/DgC1NQ2.548980022664724349.8666666666667137.25751616558895
BASE/tictactoe_3d_2player/IUC1rQ2.5523939891648713122.7251516565562448.08236979774083
DRESDEN/circlesolitaire/ruUilQ2.59179749444973064358.3666666666671681.6
STANFORD/tictictoe/rpt_Dw2.61640766517303861829.5666666666666699.2666666666667
BASE/ticTicToe/c1OobQ2.6256157635467981812.2690.2
BASE/circlesolitaire/azuQFQ2.62812171664107334335.71649.7333333333333
DRESDEN/connectfoursuicide/M9CNQg2.633489052725644672.9218052129858255.524815839472
DRESDEN/snake_2009/zIYLVw2.68369391025641446.536897540164166.38890740617293
DRESDEN/toetictac/mJtxCA2.68564394522234154072.61516.4333333333334
BASE/duplicateStateSmall/bCPAXw2.6905182987705746288.12337.133333333333
BASE/stateSpaceSmall/Q7osKA2.6914481992221048880.4333333333323299.5
DRESDEN/ggp-course2013_nicolai/uEin8g2.701015480649188472.0666666666666626.681323073848308
BASE/toetictac/mTThmg2.71525779175869574056.8666666666671494.1
BASE/blocksWorldSerial/Wyg96Q2.72052526405937732859.01050.9
DRESDEN/babel/WdSW4A2.7209382206949217237.4666666666666787.27381785464361
DRESDEN/troublemaker01/C-lPWw2.72097836451395912270.4333333333324509.566666666667
DRESDEN/buttons/ADUaHw2.7230786292558510640.0666666666683907.366666666667
BASE/incredible/8Qh-6Q2.73120801367412642290.3838.5666666666667
BASE/buttons/hTcUjw2.73954934747145210747.83923.2
DRESDEN/statespacesmall/h-NqjA2.75552281251287978914.33235.0666666666666
STANFORD/dualhunter/1rPZjQ2.760376665366868943.8333333333334341.9219359354688
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.7651113805288166756.3666666666667273.53931273539314
BASE/tictactoe_3d_6player/d7KSwg2.7667118750163007118.7762447510497942.93047130191321
BASE/snake_2009/7l-qAQ2.780921885077348449.15169494350187161.51179842687642
BASE/connectFourLarger/qKi60A2.7867422673434854274.4666666666666498.4901509849015
DRESDEN/tictactoe_3d_2player/LMuX9w2.7905699529617913127.2369780384576945.59533721898418
BASE/mineClearingSmall/frsbvw2.8086281739326635192.2269257691410268.44157142381127
BASE/onestep/xi53wA2.82074357562734221177.7666666666667507.866666666667
BASE/battlebrushes/arCwyA2.8236007294195088.556080928945933.0302021244713795
BASE/skirmishFinal1/ecWTnQ2.82411027877477641.2848622171870314.618714618714618
BASE/blockerSerial/3eqDuw2.8339138891499831004.9333333333333354.60969268715417
BASE/skirmishFinal2/gdB62Q2.83416027877466742.31358699273672414.929849701736261
BASE/troublemaker02/DI83KA2.874448415448014310509.3666666666673656.133333333333
STANFORD/jointbuttonsandlights/qAKuIQ2.8895070605153354085.66666666666651413.9666666666667
STANFORD/pentago/ZxzLmg2.891699022197681367.5088327444837127.0909696767744
BASE/tictactoe_3player/GtM71g2.8947136762030756583.4201.5397946940408
DRESDEN/tictactoe_3d_6player/ulZPWg2.9442410993892087112.4625124958347238.197453503099794
BASE/skirmishFinal3/-Olhfw2.94434686450912847.6238085716190116.17465969980364
DRESDEN/skirmishfinal/hzq8ww2.968181969631341443.48115816479525414.649087761353043
BASE/troublemaker01/s3tlEQ2.968407830317888713076.1333333333334405.1
BASE/blocks2player/wnTLOQ3.07646778042959435371.01745.8333333333333
DRESDEN/blocks2player/3ev8nQ3.1584885907601645430.61719.3666666666666
DRESDEN/troublemaker02/iZLVuA3.176446610544971311948.7333333333343761.6666666666665
DRESDEN/cube_2x2x2/fp-34Q3.17998629444398871292.8333333333333406.55311489617014
DRESDEN/capture_the_king/EQ229Q3.245685144804703347.0827363300123314.506254990684056
DRESDEN/sat_test_20v_91c/dK7nVw3.31612691106362672.3775874137528202.75990800306656
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.461497991185826710.8763041231958205.36666666666667
BASE/checkLines/Vop7oQ3.53402433528616471045.6295.8666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.555926500932592726.4757841405286204.3
BASE/skirmish/Y_psYQ3.594616854351057728.9444759018086128.052172755706396
BASE/connectFourSuicide/c8p9Kw3.6828002250514404636.3666666666667172.7942401919936
BASE/hodgepodge/9yjRkw3.70640789693826323692.2996.1666666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.715506125080593768.3666666666667206.8
DRESDEN/grid_game/U7_Yeg3.7169542528342734724.8333333333334195.00733235568592
DRESDEN/logistics/fPru1Q3.873734726252661112.3333333333333287.14752349843343
DRESDEN/firefighter/WJmoPw3.88433927147035353895.7333333333331002.9333333333333
BASE/coloredtrails/EZvr7g3.88950777202072562001.8514.6666666666666
BASE/firefighter/WJmoPw3.91989124307835153940.66666666666651005.3
DRESDEN/3pttc/uwYBZw3.930883969022421866.5711142961901220.45196986867543
BASE/snakeParallel/RCVNtw3.9311137998816612062.131262291257524.5666666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.9326351574033995642.811906269791163.45576961535897
BASE/switches/tPUoCg3.9481222403342468315.6666666666662106.233333333333
DRESDEN/8puzzle/8fKC2w4.0192401960784313279.7816.0
DRESDEN/uf20-010.cnf.SAT/5ICbCg4.048417290799815681.0333333333333168.22211852543163
DRESDEN/backgammon/mqCW0Q4.110544370062399202.972936941741149.3786026055376
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4.291219151263033649.9116696110129151.4515215145152
BASE/hidato37/pBrqxw4.35681069574202176.6590007665900117.595210377515382
DRESDEN/uf20-01.cnf.SAT/42Rs8A4.451859925422242676.4666666666667151.9514715195147
DRESDEN/3pffa/0YrmQw4.482112169973441956.3333333333334213.36666666666667
DRESDEN/Thief_Police/CX18rA4.5392129789437354383.366666666667965.6666666666666
DRESDEN/sat_test_20v_91c_version2/a1mPBA4.541399454049136665.3333333333334146.50403252682796
DRESDEN/small_dominion/yB5GJA4.590842849374661.82707993474714510.39798355001326613
DRESDEN/Catch-Me-If-You-Can/ghGWrA4.6055950785304324466.966666666666969.9
DRESDEN/CatchMeIfYouCanTest/CX18rA4.6690947294694444444.2951.8333333333334
BASE/rubiksCube/9tNO9Q4.670629485726322390.620312656244883.63333333333334
DRESDEN/catch_me/ghGWrA4.7047737823044414526.933333333333962.2
BASE/aipsrovers01/4C4jsw4.7641915441585921901.1666666666667399.05336488783706
STANFORD/untwistycorridor/EDPPAQ4.77502598911514713014.3333333333342725.5
BASE/untwistycomplex2/EDPPAQ4.79758419612043313438.0333333333332801.0
STANFORD/hunter/14dD-g4.7996793547917282196.9457.7180760641312
DRESDEN/brawl/2kXtfQ4.81882816901408457.011.828601892576303
DRESDEN/aipsrovers01/qS47Mw4.8904051534158331923.2333333333333393.26666666666665
BASE/brawl/6Ymo_Q4.96231381826663657.84545666588917411.656952539550375
BASE/englishDraughts/jFkQxg5.132848439236849455.318156061464688.70672131693826
BASE/pegEuro/5awwhg5.208887442911122349.655011499616767.12662067126621
DRESDEN/chinesecheckers1/Y-ftaA5.346065565227691003.0666666666667187.62707909736343
DRESDEN/oisters_farm/pTQMLg5.4980278890648785901.0333333333341073.3
BASE/queens08lg/Ru7eqQ5.561900114018369233.9922002599913442.070550614569804
STANFORD/bestbuttonsandlights/nm0wEA5.5940311489222916860.3333333333331226.3666666666666
BASE/escortLatch/mX9BjQ5.659817567242569478.5840471984267384.55821084558211
STANFORD/bestbuttonsandlightsbig/g0JC6g5.817232086824915252.766666666666902.9666666666667
DRESDEN/frogs_and_toads/GjchhQ5.879691803121564476.68411052964981.07297567477508
STANFORD/threepuzzle/41ibjA5.9293060001362125804.0978.8666666666667
BASE/chomp/-LcqYQ5.9899409604519781342.9224.19252691576946
DRESDEN/chomp/-LcqYQ6.1243138505834211347.1219.9593346888437
STANFORD/3puzzle/41ibjA6.1635771374840486117.966666666666992.6
BASE/breakthroughSmall/HJ0tIA6.171972191730699562.247925069164491.09696343455218
BASE/breakthroughSuicideSmall/XSbJog6.184685015179114565.766666666666791.47865498050454
BASE/maze/cCX3qQ6.20364144114350811255.2666666666661814.3
BASE/peg/fJHVWw6.326500715180548422.919236025465866.84884030925086
STANFORD/buttonsandlights/eyhJpA6.37846234757879121830.53422.5333333333333
BASE/tron_10x10/7ZTgDg6.4734293017624111603.9247.76666666666668
STANFORD/multiplebuttonsandlights_9/SqB9BA6.5818098597237568148.51238.0333333333333
STANFORD/multiplebuttonsandlights/cK70Yg6.6178978039173368176.6333333333331235.5333333333333
BASE/eightPuzzle/vLrgFg6.6636242430217773379.233333333333507.1164294523516
STANFORD/8puzzle/jNiGtw6.6808240251488193329.5498.3666666666667
STANFORD/eightpuzzle/W_aWbA6.7272352698805113265.4485.4
BASE/hexPie/48CH6Q6.992889347606711168.9554029731351424.161029093211585
STANFORD/hex/MTqWcw7.035184443623568171.1609613012899424.32927845359107
BASE/hex/T1MK8g7.048219488574126171.4609513016232824.326846174353506
DRESDEN/knightwar/7hhAqg7.0891786057692311081.3152.5282490583647
DRESDEN/point_grab/r5DPmQ7.1806894500755879658.2666666666661345.0333333333333
BASE/gt_dollar/TGjqRw7.2644694940100094790.433333333333659.4333333333333
BASE/endgame/jYjfOA7.3053114536113615268.4666666666666436.749516892117015
DRESDEN/minichess/c7GMFw7.46454510617284839.7333333333333112.49625012499584
BASE/minichess/8NQEiA7.80672944250871896.0333333333333114.77704459108179
STANFORD/alquerquezero/uVgA_A7.885569620253165519.116029465684565.8311389620346
BASE/reversiSuicide/9OxJlg8.28559345602143815.9634739718722921.9266542652139251
DRESDEN/4pttc/9pB9AQ8.49662455009401702.766666666666782.71127699280191
BASE/reversi/d8UMeA8.6292434922438915.5273307620694241.7993849375122686
BASE/beatMania/qUHwvQ8.7215876382252554258.9488.3170560981301
BASE/asteroidsSerial/id2QkA8.8082794871794872625.866666666667298.1134591027265
STANFORD/pilgrimage/ObRZnQ9.144455809285516397.306846210252743.44783926964982
DRESDEN/endgame/IJhh3Q9.145410862875703230.6692441007865625.22240362509579
DRESDEN/SC_TestOnly_enabled/09o7gQ9.8599275750806672206.8333333333335223.8184121058596
STANFORD/freeforall/Lfp40Q9.978728360215053824.633333333333382.63912029323559
BASE/asteroidsParallel/WauZiA10.1597847847847852706.5666666666666266.4
DRESDEN/hallway/0H4l-Q10.384186472796669182.2090387948273617.546780315642273
DRESDEN/breakthrough/z4hK7Q10.481340762819643372.0875970800973435.5
BASE/hallway/ckCJOw10.549866143276198181.0637872425514817.162662045522712
DRESDEN/breakthroughsuicide/Y9QzqQ10.631969569202568386.5333333333333636.35575993868506
DRESDEN/breakthroughsuicide_v2/LU1nAw10.666661803097128376.5874470850971535.3050892619238
BASE/ttcc4_2player_small/Cv72TA10.813435530951185716.066666666666766.22008931547023
BASE/breakthroughSuicide/wZDpIg11.714264169726915371.875208319445431.74550299800133
BASE/breakthrough/TGxk-g11.746681152075402371.4876170794306631.624900026659557
DRESDEN/skirmish3/3LU8Nw11.848906560636182198.6534231051263416.76554896340244
BASE/shmup/ssTNlg11.9712742980561551847.5666666666666154.33333333333334
DRESDEN/skirmish/RjGQYQ12.001862144408866196.6470019664700116.38470760623418
DRESDEN/skirmish2/iPpWhQ12.151490087262026211.112222111122217.373360846701726
STANFORD/skirmish/w4V6Vw12.18236680771665629.087395461966482.3876637373569887
BASE/breakthroughHoles/nZk0Sg12.30075476447321379.9666666666666430.889703432189272
BASE/breakthroughWalls/vOZaYA12.311713302192667384.420519316022831.223966143490287
DRESDEN/racetrackcorridor/O0DoTA12.3737557208238720.833333333333458.25501566353396
STANFORD/madness/UO_B3A12.50244779698271628.840710027641792.306805074971165
BASE/choicethroughalt/tt71Lg12.505392757825666306.502683065026824.509640680675346
BASE/asteroids/BKCmPQ12.6548548696036535725.9452.46666666666664
BASE/queens16ug/gT-ylw12.819015677480884.130528982367256.562947662990972
BASE/point_grab/V_osUg12.8641695547853919650.7750.2
BASE/racetrackcorridor/_RkdUg12.933185833333333758.266666666666758.62953462806889
BASE/knightazons/apnJBQ12.938811228070175163.7333333333333212.654434047087815
DRESDEN/knightazons/02I8BQ12.991356382978724162.512.508316699933467
DRESDEN/othello-cornercontrol/r5Gdlg13.0910879532487927.0677240601254270.5398882113821138
BASE/2pffa/6oHijA13.152045171926519930.633333333333370.7595907075959
BASE/4pffa/Q3ADlg13.347280018915317723.109229692343554.17652350648053
BASE/2pffa_zerosum/o0_uZA13.363036210526316846.163.31644894694748
BASE/wallmaze/uxNQ9g13.55399020715631319.5333333333333623.57485348961108
BASE/3pffa/pR0dzA13.595824732334048846.262.239696131676276
BASE/god/qF06gw13.95059840110525950.341495918707323.608554591802953
DRESDEN/tttcc4/sAvtFg14.26119431524548429.2333333333333530.097993467102192
DRESDEN/bidding-tictactoe/yW5vTA14.295159638067541965.7333333333333137.51041493084486
BASE/ttcc4/Le0qjQ14.337569206167386423.885870470984329.564695686954202
BASE/chineseCheckers4/avfBcQ14.391283933676386838.958.29222770297294
BASE/tttcc4/8Bs2lg14.55612875096048426.3524549181693729.290236587804067
BASE/pawnToQueen/-O1_JA14.73462614810562418.889925373134331.282009138424115
DRESDEN/god/2EDD5w14.84674288200603350.378169459900713.3932135728542914
BASE/biddingTicTacToe/8mESVw15.429562324191281950.1666666666667126.39157389507366
BASE/gt_centipede/9fRMpw15.5011785912368267452.966666666666480.8
DRESDEN/pawntoqueen/f_x6Aw15.507058516159819.489605543710021.2568215644121052
BASE/copolymer_4_pie/IN5_jA15.85986394557823777.107429752341548.9983667211093
STANFORD/chinook/osFbPA15.891744775942184344.288523715876121.664614463043694
DRESDEN/knightstour/cGISAA15.9668435841398688523.633333333333533.8333333333334
BASE/chess_200/XsTpYA16.4346683285087453.7630824611692553.2713214155899943
DRESDEN/knightthrough/J7Fc_Q16.446849207590517555.34815506149833.76623376623377
BASE/chineseCheckers2/eCMR3Q16.6502790250160371730.0103.90216268452798
BASE/chinook/XQh0IQ16.691087352941175378.0666666666666622.65081109889744
BASE/copolymer_4/2LDVhQ16.861948990907074844.333333333333450.073294243070364
STANFORD/checkersonabarrelnokings/Zrevdw16.926324678066283400.8866371120962523.68421052631579
BASE/queens12ug/u6Bkmg17.027230958366307217.1782821717828312.754762221926201
BASE/chineseCheckers1/gqtwHw17.2309211043872922277.7132.1867813218678
BASE/dotsAndBoxesSuicide/jzQbLw17.652917843583904516.366666666666729.251066098081022
BASE/dotsAndBoxes/EHwA_w18.05999206349206530.433333333333329.37062937062937
DRESDEN/Goldrush/VeWczQ18.533164366920253775.74080863971241.856900056653444
DRESDEN/quad_5x5_8_2/JRTLJg18.704526551090208110.6556011065565.915979792608349
BASE/checkersTorusNoKings/pwb6oQ18.914519964188553435.9897343598973423.050531294760333
BASE/checkersBarrelNoKings/rnKNeg19.16873407202216460.866666666666724.04262404262404
BASE/ruleDepthLinear/OUBJpQ19.3759383323916416003.233333333334825.9333333333333
BASE/checkersTorus/2vm1EQ19.484773199028112376.2415838944070319.309518260811664
BASE/chineseCheckers3/-1rZdQ20.0567678845286431481.873.88029858704346
BASE/chineseCheckers6/rREH3A20.52287238573529911.002966567781144.38964241676942
BASE/ttcc4_2player/_aH_Mw20.64058245475943428.9380707952803420.781296832850433
BASE/queens06ug/7Lq3tw20.722392028013711544.633333333333474.53933557695511
STANFORD/ttcc4/Cx9SGw20.975866376593416468.117729409019722.316967557124777
BASE/queens08ug/kJ_ZFQ21.206042162162163784.466666666666736.99260147970406
DRESDEN/gt_prisoner/huCp4w23.6408826902114664819.266666666666203.85307646156923
BASE/roshambo2/KNPokQ26.2633289467162328242.033333333333313.8228725709143
BASE/ttcc4_2player_alt/ZEJvYA26.296053938356163511.319.44398202097553
BASE/sheepAndWolf/g4THrg26.77355893965031526.666666666666619.671148981493808
BASE/2pttc/unkkYA26.966195355484103837.866666666666731.071000399627014
STANFORD/knightstourmedium/x1wu8Q27.0760897049278798.533333333333324.95583480550647
DRESDEN/roshambo2/jgSlkQ27.0815822860819258418.2310.84594360375974
BASE/skirmishNew/sibw2g27.5947577390423151.956536230917955.506717531929009
DRESDEN/pacman3p/rBnk8Q27.627502624294323619.912669577680722.438244889806246
BASE/gt_coordination/IVMOzA28.076608282861355717.333333333333203.63333333333333
DRESDEN/gt_chicken/CeuKtw28.308048486102494559.666666666667161.0731544742543
BASE/pacman2p/4LEdQg29.30225089881869633.166666666666621.608123855501916
BASE/pacman3p/wW7UVQ29.421861722731908641.033333333333321.787653662924342
BASE/knightsTour/mvtVIg29.6270315877972628221.666666666666277.5055827750558
BASE/kitten_escapes_from_fire/uW-YiA30.6745311526479762296.833333333333574.8775367389783
DRESDEN/kitten_escapes_from_fire/uW-YiA30.7543108957415542326.533333333333375.64901522977972
STANFORD/knightstour/cEwgNA31.0484226134866478640.2278.2814479034731
BASE/amazons_8x8/7SOsIw31.28616715793209295.43712295437129.44305901911887
BASE/bomberman2p/4CClwA31.5331214953271898.666666666666628.49913437208683
DRESDEN/bomberman2p/x4h6jQ32.173812282734644925.533333333333328.766666666666666
BASE/gt_prisoner/klthDw32.8939201550387645091.3154.7793627516331
BASE/speedChess/bPnisA33.866852297566126171.255249650023335.0567217804983535
BASE/3pttc/0sol9g34.87732919254658748.675044165194521.465951134962168
DRESDEN/quad_5x5/JAEP5g34.9523742227247170.197044334975372.008362690547526
BASE/knightwar/DVGY4Q35.2744120014635951070.666666666666730.352502165656027
BASE/quad_5x5/JAEP5g35.9945911111111171.733333333333331.992892018467466
BASE/gt_chicken/gmepTQ36.070851447391234623.666666666667128.18290894547394
BASE/gt_staghunt/xPjLRA36.4767356360384555438.5149.09503016566114
BASE/mummymaze2p/vpjDdA36.551768391861245552.781573947535115.123251165889407
DRESDEN/mummymaze2p/k-8edg37.008614692982455562.115.188355594044566
BASE/connect5/d-BVQg38.32818464223386243.933333333333346.364333077871447
DRESDEN/smallest/9kaGFw40.4832126272912451324.432.7147949495286
BASE/mummyMaze2p_2007/YGA3Vw40.911236394948341187.433333333333429.02462594554967
DRESDEN/mummymaze2p-comp2007/oTQRQg41.184299300699311177.428.58856457417033
DRESDEN/connect5/1kYzSg42.251051381215476251.966666666666675.963559685018615
BASE/4pttc/AL1k2Q43.7606004606048626.212459584680514.309960398016573
STANFORD/platformjumpers/HEQskA44.71405280279477238.8587047098435.3419157901722025
BASE/knightThrough/gcwFjA46.31791907514451534.182193926869111.532948901703277
DRESDEN/Runners/3bOCQw47.80018745697175611262.566666666668235.6176254916339
DRESDEN/battle/8oAvhQ51.10508226842292648.3854843546935950.9467841984982044
BASE/battle/8oAvhQ51.6718444960812148.030131324578360.9295222919363941
DRESDEN/smallest_4player/ADDROA54.8477797214969562099.938.28596181400153
BASE/amazonsSuicide_10x10/XIbQkg55.26571972222222220.233333333333323.9849898714840766
BASE/smallest_4player/ADDROA55.486851879010082017.266666666666736.35575993868506
DRESDEN/bidding-tictactoe_10coins/mu5VhQ57.9537572754268741733.766666666666729.916380717593363
BASE/amazons_10x10/Bun8dA58.29920029498525218.233333333333323.7433332229105245
BASE/biddingTicTacToe_10coins/a-9ccQ62.683944685990341728.866666666666627.58069351453982
BASE/checkers-mustjump-torus/uSApKQ63.809426167420193.087588321557121.458837571698551
DRESDEN/ghostmaze2p/HY0UwA65.416130718954252111.533333333333332.278481012658226
BASE/ghostMaze2p/W-NU-w68.717897934782612105.033333333333330.632970399227517
BASE/checkers-cylinder-mustjump/rjr6qQ76.2240583433543697.630078997366751.2808302407304017
BASE/knightsTourLarge/M8jgLA78.167173807296548354.4106.87862427514497
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw78.883285218229496.517247125479091.2235449735449735
DRESDEN/four_way_battle/xSOQXA80.40125324978334132.657822811812541.649947201689546
BASE/gt_attrition/kD_SCA80.8596890187836619.998686457375540.24732578989674148
BASE/four_way_battle/xSOQXA81.95082152974504135.977337110481591.659255326209597
BASE/ruleDepthExponential/UamhHQ82.583700665576839.2538533395609530.1120542342493767
BASE/amazonsTorus_10x10/Uxc08g83.7536688405797128.366666666666671.532669176690101
BASE/checkers-mustjump/T-8UuQ95.38359949405195118.39605346488451.2412621676357223
DRESDEN/snake_2008/E56l3A96.97161510738313493.650211659611335.090667110297788
BASE/snake_2008_tweaked/bX0NJQ97.30162284064214490.216992766907775.038117335101094
BASE/snake_2008/i6K26g98.62151196267313502.283257224759155.0930395126660235
BASE/kalaha5x2x3/WviNsw100.953088235294131658.166666666666716.42512077294686
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg103.94988888888889620.05.964412339706418
STANFORD/knightstourbig/TQUI2g107.294483790451318214.63333333333376.56156256249584
DRESDEN/battlebrushes/QHXV4A113.4999008002116220.104490443753720.1771322292091046
BASE/wargame02/BkVqqQ124.8983889489839273.772622737726242.191962803055463
DRESDEN/hitori/S8Gsyg128.736713769282337.9966032834926250.2951497064900141
DRESDEN/nim4/F5YAYg134.276729982363324228.16666666666731.488454233447737
BASE/nim4/twk16w136.454613617021274271.73333333333431.305158690511874
BASE/nim3/1OwUqw137.512020184790344295.53333333333431.23751165578793
BASE/hitori/S8Gsyg137.6790581582842239.858193625339610.28950077200205865
DRESDEN/nim3/sG_axA139.11271814254864291.830.851241046143596
DRESDEN/knightfight/4_Ly4w159.91580238751151932.533333333333312.084692722551434
BASE/knightfight/SJRkAg160.354738251366111952.033333333333312.173218918379565
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg176.2104483258099297.164373063210150.5514109633473889
DRESDEN/checkers-cylinder-mustjump/vW_-pA177.8702585302840597.237495418041250.5466765282824709
DRESDEN/nim2/z5_exA185.43529670329675620.030.30706720841937
BASE/nim1/hin2Qw188.633963824289425674.66666666666730.082952993303795
BASE/nim2/eF2Qqw191.529626888888885743.429.98700563089328
BASE/wargame03/klXI8w195.09762898613764394.620179327355742.022680549108031
DRESDEN/gt_ultimatum/pAiiQw202.212671483622334660.33333333333323.046692866182642
BASE/gt_ultimatum/GE-uOA207.275735885167484328.620.883293365307754
DRESDEN/nim1/M9BALA209.094286214689256163.96666666666629.479364444888578
BASE/crossers3/O0rORg213.48826020408163693.16666666666663.246860815690952
DRESDEN/chinesecheckers2/06E6-Q217.18246757575758795.56666666666673.6631256452096306
DRESDEN/crossers3/xiPTxg221.08245714285715718.46666666666673.2497678737233056
BASE/wargame01/_GZFZg223.8619213930348495.433333333333342.213120169122019
DRESDEN/hanoi/RQ0jiA229.975800466562964925.721.418340494986843
BASE/hanoi/iGLsJg230.73994763390544926.36666666666721.35029810478633
DRESDEN/quartosuicide/WIU1oQ231.18360382513663937.83333333333344.056660238079404
DRESDEN/quarto/OQzRYQ232.25977438016528930.34.0054288457082325
BASE/quartoSuicide/-23jUg234.93177166666663935.33.9811558622520073
BASE/quarto/EwBMVQ241.05828678160918924.63333333333333.8357251504530123
BASE/checkers/rOC3Xg291.9488654726002220.92596913436220.7567283016384813
BASE/checkers-newgoals/0XkFiA323.9817244187099143.128562381253970.4417797412432944
DRESDEN/knightmove/97Ipcw329.14938771929826830.63333333333332.5235755080355955
BASE/skirmishZeroSum/zh4hcw331.2559868978585152.702792774778370.4609812314784327
BASE/knightmove/jBaJEw332.52994666666666826.36666666666672.485089463220676
BASE/kalaha6x2x4/XS81Mg345.336742028985551578.13333333333344.569839062189549
BASE/checkersSmall/SYmq8w379.76605416666666292.70.77073766016892
DRESDEN/checkers-mustjump-torus/cVc3gA420.8077080575580592.427171521898540.21964229683087544
BASE/guess/SPpk1A426.80855921052631076.83333333333332.5229890781130697
DRESDEN/guess/PhxGhg430.615339929718971100.6599560029332.5560165975103732
BASE/max_knights/2fq3Ag453.222862745098502.33333333333331.1083583257269527
BASE/cylinder-checkers/hlldmw462.74496733768825131.98240234635380.2852162890191729
DRESDEN/cylinder-checkers/clOO3Q473.1570058775819131.128962367921080.27713625866050806
DRESDEN/max_knights/hCipiA480.68714166666666501.466666666666641.04322879311469
DRESDEN/checkers-mustjump/HUr33w512.0456082046203116.817757632315690.2281393605579637
BASE/checkersTiny/Lr48cg517.5251255513705407.35308823039230.7871175100849431
DRESDEN/checkers-newgoals/IJOqXQ522.715269677276143.47608731878020.274482295891915
DRESDEN/chinesecheckers4/-oVNYg550.8643362318841410.533333333333360.7452530620180157
BASE/ad_game_2x2/D0aWqg673.357707904008517.9485474971747650.02665529374133703
DRESDEN/pancakes88/aD3E7g860.62886644951148786.610.209511140671767
DRESDEN/merrills/aYEzwA1064.286379665979220.8929403153902450.01963093835885355
DRESDEN/pancakes/hl9aiQ1087.668346623794211245.13333333333310.33875203616901
DRESDEN/pancakes6/SZXMyQ1121.745904575163411437.23333333333410.195921631347462
BASE/pancakes/yUgbXw1158.009061648745710738.79.273416206873629
BASE/merrills/pku8Tg1195.702039186986721.1902464987858040.017722012511740833
BASE/pancakes6/QZTdnw1217.358656484848611157.6333333333339.165444607385682
BASE/blobwars/0XT15Q1486.4023131020228207.54591207545910.13962970203021588
DRESDEN/blobwars/ZaMluQ1516.4835210985934211.285914272381830.13932621840777998
DRESDEN/fizzbuzz/t1xHzQ1833.222509401709211864.5333333333336.471954862263525
DRESDEN/chinesecheckers3/QsCb2A1878.8995555555557718.96666666666670.3826530612244898
DRESDEN/hanoi_6_disks/MeubgQ1888.67017777777783776.33333333333351.999466808850973
BASE/hanoi_6_disks/MeubgQ1914.69771929824563605.01.8828037259694788
BASE/racer4/0vs7Ww2397.38388720376665.07783073897540.27741816164231553
BASE/colonelBlotto/jip21A3143.49076363636371130.90.3597592883307169
DRESDEN/checkers/jIDMIg4990.515747375438142.476253957673720.028549404744911067
BASE/pancakes88/l2Xaig7492.125486274518486.2666666666661.1326914748309291
BASE/colonelBlottoVariant2/jruwGw9979.5954214285724364.30.43732233780026863
BASE/colonelBlottoVariant/X-n-KQ10799.6757571428554909.90.45463401961421057
BASE/gt_tinfoil/Q8DyKg13502.9924266666666631.4666666666660.4911108928396032
BASE/crisscross/ICagEg14603.875812.50.05563591854901524
DRESDEN/crisscross/GsY16g14797.19185820.76666666666670.05546773164711429
DRESDEN/hanoi7/51zz5Q15337.4943037037064323.5333333333340.28189306856265856
BASE/solitaireChineseCheckers/-ET6gw15865.39781016.13333333333330.06404713869407884
DRESDEN/hanoi7_bugfix/3gdnFw15984.6926555555564508.2333333333340.2820344081978001
BASE/hanoi7_bugfix/3gdnFw16461.3789925925924524.5666666666670.2748595162472514
DRESDEN/racer/vk_ZBA18667.5300000000021499.40.08032128514056225
BASE/racer/QQYQNw19222.898933333331527.56666666666660.07946598855689765
DRESDEN/twisty-passages/j7NPyg20646.011966666671065.13333333333340.051590270075063845
BASE/crissrace/ERWGDA21089.590266666666600.46666666666670.02847218267752406
DRESDEN/crissrace/KWb9bw21704.201726609113607.24642511916270.027978288847854065
BASE/twisty-passages/DiZmmg21908.8894500000021153.43333333333340.052646818815973044
DRESDEN/Travelers-Dilemma/PvZwYw33207.5559111111149010.7333333333340.27134587554269174
DRESDEN/kalaha_2009/gcC8uA36014.26851579.40.04385484047801776
BASE/kalaha_2009/dRiN3g36947.5157666666641635.53333333333330.04426639516610965
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A40193.35393027.90.07533335007407779
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA42387.2887333333353043.53333333333330.07180297264306743
DRESDEN/vacuumcleaner_random/_6AGDA45687.5172267.93333333333340.04964010920824026
DRESDEN/vacuum_cleaner_1/eUNjpw59768.7753410.00.057053202110968475
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity209.779022097790230.0
DRESDEN/chinesecheckers6/yTbPDAInfinity537.50.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity598.64693727921090.0
DRESDEN/farmers/S_ASnwInfinity552.56666666666670.0
BASE/amazonsSuicide/dE1QEQInfinity1.36090550004978920.0
BASE/amazons/RKKZjwInfinity0.85385878489326760.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException 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/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
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
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
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
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionTest process timed out after 240 seconds

index