index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.00.064.16238917405506
BASE/queens06ug/7Lq3tw0.0039222517801993760.292362041661590974.53933557695511
BASE/golden_rectangle/_nYzfw0.0090561883443727370.9537277600552504105.3122708791575
BASE/queens08ug/kJ_ZFQ0.0114462635162444640.423427064688107536.99260147970406
BASE/blokbox_simple/JBx4bg0.0127286503690215920.052313567523737284.1099068642073515
BASE/colonelBlotto/jip21A0.0128093841642228730.0046082949308755760.3597592883307169
BASE/sudokuGrade6H/ieE_9A0.0134101255533307321.6630254018978055124.01266455590735
BASE/sudokuGrade6E/ihYFZA0.0138399057024873731.6813243662700466121.48380215971204
STANFORD/sudoku/oJ1qyQ0.015968223989097771.9287685810249078120.78792120787921
BASE/sudokuGrade5/BQfUQA0.0167665002322493352.076672050631242123.8584094393707
BASE/sudokuGrade3/eI8dvg0.0168645079753686932.0626101999401176122.30479554770554
BASE/sudokuGrade4/DTy07w0.016966776282957122.062747446518282121.57568486302739
BASE/sudokuGrade2/u80Tfw0.0192518572723193072.354423663615864122.2959234692177
DRESDEN/ggp-course2013_michal13/jWKddg0.0207725746331762042.242596134819603107.95946936870875
BASE/sudokuGrade1/tDRNRw0.0211028339557124172.562502053286902121.42928569047699
STANFORD/duidoku/3SoMaA0.023650537151800571.81830203649828176.88206085246776
DRESDEN/grid_game2/kypTYQ0.0257265728595084310.922774651170535424.57169522031865
DRESDEN/quad_7x7/q-JOXg0.02626043452205320.459819858808255117.509986684420774
BASE/zhadu/DlA8iQ0.026899074671831290.613298902517753422.8
BASE/coins/QnGtnQ0.02920375677784509582.92504082925042839.5333333333333
BASE/coins_atomic/AA3SSw0.0297873338723607985.091490850914912856.633333333333
DRESDEN/coins/QwFP9w0.02979165602038163484.832733573237382847.5333333333333
BASE/simultaneousWin2/PfjRjw0.0354099087335286517.230461589735043486.6
BASE/quad_7x7/q-JOXg0.042441209729152330.722794806585463817.03049491751375
STANFORD/selectivesukoshi/3xmXYg0.046178510042286966.152106680855309133.22445170321978
BASE/cittaceot/fDxhXg0.0926825345962877820.890947256188984225.40327956272498
BASE/factoringImpossibleTurtleBrain/kcBhdw0.108580704188267370.40988775381510913.7749594357429053
STANFORD/triplesukoshi/Iu9mbA0.1651761758091547251.33162227925736310.7689231076892
BASE/quad/tw-Ufg0.16731693261375760.89557585527494185.352571561554573
BASE/hidato37/pBrqxw0.168325946988164032.96173044925124817.595210377515382
BASE/hidato19/rRHSmA0.1722160003337956723.673170406872213137.46208459718008
BASE/copolymer_4/2LDVhQ0.176344871448622248.83016863630327950.073294243070364
STANFORD/multiplesukoshi/vLSQPg0.1787973560620339221.95715190084297122.80467890825474
DRESDEN/CephalopodMicro/H3XQfg0.179543896241060074.61012901727969225.676890798281548
BASE/copolymer_4_pie/IN5_jA0.185985403573741969.11298100907972148.9983667211093
BASE/cephalopodMicro/9l2D3g0.194852990422610674.100529100529100521.044219499200853
DRESDEN/Zhadu/9zpQ5w0.201999224667851675.176533050172551525.626499600106637
DRESDEN/quad_5x5_8_2/JRTLJg0.217152467446523921.28466960932867785.915979792608349
DRESDEN/cubicup_3player/awDtsQ0.2202200697101944240.019993335554815181.72727575747476
DRESDEN/quad/JPe6fg0.22217696855448221.1949360547732855.3783074931111186
DRESDEN/slidingpieces/s9_44g0.2271481716029752458.6648011193284258.26666666666665
BASE/slidingpieces/uFJWEw0.23095704272922358.674574351114515254.0497300179988
BASE/cubicup_3player/e2yA_g0.2396183443369989441.25016660002665172.14945172149453
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.24001457725947523109.76666666666667457.3333333333333
DRESDEN/peg/Vo31eg0.2706940269385795.56666666666666353.0431304579695
BASE/ticTacHeaven/18n58A0.27575056375421064102.22992566914436370.73333333333335
DRESDEN/peg_bugfixed/u_B7MA0.277763394019817396.71721379770038348.2
BASE/chess_200/XsTpYA0.27884777075198970.91220068415051313.2713214155899943
BASE/futoshiki6/JmvXNA0.2831321892941491337.69874337522083133.1489134782029
STANFORD/duikoshi/tpw1sw0.2832756463307459165.2724545909015583.4333333333333
BASE/battlebrushes/arCwyA0.300189529202096570.90963494913225623.0302021244713795
BASE/tpeg/QNs7Lw0.31322318355063394110.2889711028897352.1098593427105
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.31471354425597070.099429275956012490.3159358018450651
DRESDEN/tpeg/h-Scbg0.3312405292828522111.38514864684709336.26666666666665
DRESDEN/statespacelarge/8-y5HQ0.34962948705610625484.41385.4666666666667
BASE/stateSpaceLarge/0Ge_CQ0.3608147300679059492.283590546981771364.3666666666666
BASE/othello-comp2007/86ZoMw0.3779081458245360.82946250829462512.1948786165613567
BASE/futoshiki5/TJ4BZg0.387034167586334275.13911565759221194.14078122916945
BASE/ticTacToeSerial/Amrwqw0.39587697259540106190.60156640559907481.46666666666664
DRESDEN/ticblock/Z2yNWQ0.3974027403290596481.466666666666641211.5333333333333
BASE/gt_attrition/kD_SCA0.4004671662979960.099045858232361590.24732578989674148
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.4076473734494099383.36388787040433204.5
DRESDEN/amazons/dNB28A0.41183301546937912.26440226440226465.498350494851545
BASE/tictactoe_3d_small_6player/g_9lww0.433426743901346986.62178376216505199.8533431104593
BASE/ticTacHeavenFC/mrletw0.441920869405865141.59144655763913320.4
DRESDEN/satlike_20v_91c/yeuENQ0.44255929705687760.155343425477875220.3510115514710575
BASE/conn4/va9Y7A0.451975970664761174.78834744350377386.7204426519116
DRESDEN/cubicup/SBn_lw0.4524270162846324101.25316624450073223.8
DRESDEN/towerworld/HCX34w0.45278518692317717.767892710131456517.155801325826975
BASE/blockerParallel/7-nDJA0.45863838477085545195.48696753549763426.23333333333335
DRESDEN/blockerparallel/dVQgSg0.45986896187244336194.64071457139048423.2525582480584
BASE/blocksWorldParallel/RseaAQ0.4618093643554067266.6333333333333577.3666666666667
BASE/cubicup/4wNWJA0.4641460283155088104.13542603885502224.35918802706576
DRESDEN/ggp-course2013_jordi/9QI6Kw0.4650786437497179742.20379067985743490.74549271836571
BASE/ticblock/T21C1g0.4692082373509318471.350954968167741004.5666666666667
BASE/othelloSuicide/B442jg0.472732131238962740.8783344176968121.8579960185799602
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.47752581037825165353.06666666666666739.3666666666667
BASE/othelloHoles/c0qAzw0.486170484272315460.92515791488547181.9029495718363463
BASE/blockerSerial/3eqDuw0.48828149738211173.1493517314935354.60969268715417
DRESDEN/doubletictactoe/lJzgmQ0.5036580670003851654.01298.5
BASE/bunk_t/xbpfIA0.5057220007715056655.51296.1666666666667
BASE/skirmishHoles/AUCxCA0.50617864494348727.83662626598040815.481937739304145
BASE/doubletictactoe/HH1htg0.5087201015833528654.36666666666671286.3
BASE/doubletoetictac/fu35bg0.512025215871166644.36666666666671258.4666666666667
BASE/snake2p/I3wWPQ0.5269335620913268157.1842815718428298.3
DRESDEN/bunk_t/7-tPfA0.5298457062704556679.93333333333331283.2666666666667
BASE/brain_teaser_extended/ZDp94A0.532339072266696809.06666666666671519.8333333333333
BASE/strangeSkirmish/gc1zKA0.54074470123550367.26230928109800813.430199620088645
DRESDEN/brain_teaser_extended/ZDp94A0.540889778533131830.57231425619151535.5666666666666
DRESDEN/doubletoetictac/V89gKQ0.5439720915138732670.51232.6
DRESDEN/pawn_whopping/4ogBkg0.5543132578016299371.82093930202325670.7776407453085
DRESDEN/pentago_2008/hLjVpQ0.569930714866693877.54598773660358136.06213126229125
BASE/tictactoe_3d_6player/d7KSwg0.58775250969895225.23249225025832542.93047130191321
BASE/futoshiki4/BaCwSw0.588949310545737202.1599280023999343.25522482583915
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.60543100396385520.232143789863441420.3834355828220859
BASE/double_tictactoe_dengji/zgaSbA0.6107177905509603580.8333333333334951.0666666666667
DRESDEN/tictactoe_3d_6player/ulZPWg0.618611790414221223.6293951008165338.197453503099794
BASE/pentagoSuicide/SBgNhw0.622255083552272476.17968541722207122.42517165522298
DRESDEN/double_tictactoe_dengji/bGaUyQ0.6261517874211431545.9871.8333333333334
DRESDEN/tictactoelargesuicide/6J4DeA0.6360704609061593738.85944738859451161.6
BASE/connect4/50bOyw0.6392928875435291111.31849086788428174.12752908236394
DRESDEN/tictactoelarge/IwXcbg0.6435851756665987734.56666666666671141.3666666666666
DRESDEN/javastrike/whONTQ0.645128140601547670.36197586827545109.06666666666666
DRESDEN/battlesnakes2011/93VtTw0.6479874686494889163.40609898350274252.17478252174783
DRESDEN/connect4/T0-rHQ0.6505024724229744114.0175.24914175249143
DRESDEN/minichess-evilconjuncts/th24Tw0.651960860944387473.65930073659301112.9811698050325
DRESDEN/battlesnakes1509/-qZrLw0.6535477368034109164.38904073061795251.53333333333333
DRESDEN/babel/WdSW4A0.658714190724283557.48850229954009487.27381785464361
DRESDEN/tictactoeparallel/yk_DSg0.6716323212571328747.68348776748211113.2333333333333
DRESDEN/gt_ultimatum/pAiiQw0.676435748036954215.5896069287141923.046692866182642
BASE/pentago/86NgKw0.677053386143884981.84211403245693120.8798533577737
BASE/minichess-evilconjuncts/4OpQzw0.677104357096805775.80806397867377111.95920271981868
BASE/skirmishFinal1/ecWTnQ0.715309598664632810.45690688690555514.618714618714618
DRESDEN/god/2EDD5w0.72577992858485252.462726304579343.3932135728542914
STANFORD/sukoshi/4LYZZQ0.7292505154103475889.63701209959661219.9333333333334
BASE/lightsOnSimultaneous/_VN6lw0.7296925195043598370.9876337455418508.4163861204627
BASE/gt_ultimatum/GE-uOA0.734176728783096715.33202800915939320.883293365307754
BASE/skirmish/Y_psYQ0.73738762707362025.9375725611171928.052172755706396
BASE/nineBoardTicTacToePie/B8LzeQ0.7441475355076815170.19432685577146228.71046228710463
DRESDEN/lightsout/XgLpzQ0.763283891920849759.9995.5666666666667
DRESDEN/skirmishfinal/hzq8ww0.768642450893100611.25991072023452614.649087761353043
BASE/ticTacToeNoVars/XT03NA0.77539302169433441116.33333333333331439.7
DRESDEN/lightsout2/LFtfyQ0.7765168347291062757.2333333333333975.1666666666666
BASE/lightsOnSimul4/9FeASw0.7798668683991931292.06666666666666374.50836610892605
BASE/nim3/1OwUqw0.786675591522560824.57378795950985831.23751165578793
BASE/skirmishFinal2/gdB62Q0.808116507084769712.06505799226769714.929849701736261
BASE/stateSpaceMedium/3bUoIw0.80816715738758031610.31992.5333333333333
BASE/nineBoardTicTacToe/wRmqqA0.8119198386602453171.26095796806774210.93333333333334
DRESDEN/nim2/z5_exA0.81340353297179224.65187554134186230.30706720841937
STANFORD/nineboardtictactoe/y28P-A0.8165280022763249176.07065489085153215.63333333333333
DRESDEN/nim4/F5YAYg0.817417435511468625.73921150772509531.488454233447737
DRESDEN/statespacemedium/dVJZ_w0.82933021885949331633.21969.3
BASE/nim4/twk16w0.832164318430218426.0510360450396431.305158690511874
BASE/nim1/hin2Qw0.832419112817783925.04162504162504330.082952993303795
DRESDEN/quad_5x5/JAEP5g0.84118705993885751.68940870695256652.008362690547526
DRESDEN/nim3/sG_axA0.841827769151557525.97143142543202630.851241046143596
BASE/withConviction/3Xm54A0.8463746718263906495.73333333333335585.713809539682
DRESDEN/Goldrush/VeWczQ0.857341219563130335.8856457417033241.856900056653444
BASE/nim2/eF2Qqw0.870762956795263226.11157368859283829.98700563089328
BASE/skirmishFinal3/-Olhfw0.880336151205063914.23913766717679216.17465969980364
BASE/god/qF06gw0.88210648699507293.1831294141052423.608554591802953
DRESDEN/nim1/M9BALA0.882192017401227826.0064599913422829.479364444888578
BASE/tictactoe2/bhrDoQ0.90460465709548032127.62351.9666666666667
BASE/factoringGeorgeForman/HGRorQ0.94130684291763963171.23368.9333333333334
BASE/connectFourSimultaneous/7ITr3g0.9481862328230409217.95640871825634229.86666666666667
DRESDEN/ggp-course2013_nicolai/uEin8g1.012788226171909227.02252986788245826.681323073848308
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0145632173666626269.1974403412878265.3333333333333
BASE/tictactoe_3d_small_2player/oOryKA1.0168744102075151269.68202119858677265.20681265206815
DRESDEN/backgammon/mqCW0Q1.038807657695768851.29487051294870549.3786026055376
BASE/ticTacToeLarge/TZC0dg1.0566942125631675734.1666666666666694.7768407719743
BASE/ticTacToeLargeSuicide/727_8g1.0776470588235296748.0666666666667694.1666666666666
BASE/lightsOut/5P1ZBw1.1558899008705281765.7662.4333333333333
BASE/pegEuro/5awwhg1.1715631288766378.643073744543367.12662067126621
BASE/quad_5x5/JAEP5g1.17653265389064292.3447025354050081.992892018467466
BASE/snakeAssemblit/UO4sdg1.1775501988986563241.87581241875813205.4059458738835
BASE/breakthroughSmallHoles/bxclRw1.1892580405477127373.4542181927269314.0228659044698
BASE/duplicateStateLarge/dcjyuw1.201335438110879331.88893703543215276.26666666666665
BASE/numbertictactoe/rvJ-iQ1.2249584717607975983.2333333333333802.6666666666666
DRESDEN/connectfour/5tc-Mg1.229021107597264557.0333333333333453.23333333333335
BASE/majorities/ibJzSQ1.2299458106204755122.3510595761695399.47678874929183
BASE/qyshinsu/R08Lzw1.240257649113493174.7825507381610960.29598026798214
BASE/checkLines/Vop7oQ1.2511975903942754370.1876604113196295.8666666666667
DRESDEN/capture_the_king/EQ229Q1.26839082477232118.3996007319913514.506254990684056
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.27774022050293360.50076366458849740.3919135177504164
STANFORD/pentago/ZxzLmg1.3042730162472664165.76132235811644127.0909696767744
DRESDEN/small_dominion/yB5GJA1.31506119788079960.52337272401729880.39798355001326613
BASE/pawnWhopping/Ypc_6Q1.3241464928615767355.53333333333336268.5
DRESDEN/catcha_mouse/cHv4dw1.3321205821205822512.6384.8
BASE/racer/QQYQNw1.34236492612939350.106672355858979150.07946598855689765
STANFORD/tictactoe3/X7myng1.37338886106644861736.83333333333331264.6333333333334
BASE/catcha_mouse/cHv4dw1.3845743261275685518.7827072430919374.68751041631947
BASE/duplicateStateMedium/U163eQ1.4041728134878821110.4666666666667790.8333333333334
BASE/pearls/6k_mEQ1.410940248411530320962.43333333333414857.066666666668
DRESDEN/racer/vk_ZBA1.41565751321848880.113707430780601510.08032128514056225
DRESDEN/sum15/CsgWKg1.4336330909037913278.7666666666672287.0333333333333
BASE/connectFour_9x6/B9TtMw1.4430314361239378479.1666666666667332.0555981467284
DRESDEN/chickentictactoe/Ipbo-g1.45227824700039882670.93333333333341839.1333333333334
BASE/tictactoex9/BI26ow1.4553254828958093344.0874550059992236.43333333333334
DRESDEN/tictactoex9/rFkD4w1.4569267404398376346.6884437185427237.95873470884302
STANFORD/alquerquezero/uVgA_A1.477011257383966297.2333333333333365.8311389620346
BASE/connectFourLarge/aU644A1.4787749287749288346.01026598226787233.98440103993067
STANFORD/connectfour/VMpZkQ1.480481036077706533.4666666666667360.3333333333333
BASE/chomp/-LcqYQ1.4810187382297553332.03333333333336224.19252691576946
BASE/factoringMediumTurtleBrain/8RBqmQ1.4896090172595986704.809839672011473.15089497016766
BASE/peg/fJHVWw1.491974209000178299.7367456429737766.84884030925086
BASE/sum15/QZ07Kg1.5043476924967743264.03333333333332169.733333333333
BASE/checkers-mustjump-torus/uSApKQ1.50519013873640082.19582792693881631.458837571698551
BASE/lightsOnParallel/SC6enA1.51399833132474272177.53333333333331438.2666666666667
BASE/tictactoe_3d_2player/IUC1rQ1.528403032100813373.4892397894596648.08236979774083
DRESDEN/chomp/-LcqYQ1.5400280384647715338.7435427428762219.9593346888437
BASE/eotcatcit/AfZSzA1.553141402340142968.93333333333341911.5666666666666
BASE/ticTacToeParallel/ymRGPw1.5687889134364332781.1497.9
BASE/connectFour/WAIKTw1.591513508037625567.1965077143524356.3881203959868
DRESDEN/tictactoe_3d_2player/LMuX9w1.604874488527026373.1747934985345145.59533721898418
DRESDEN/mimikry/GJEhwA1.6075301694194035239.9506699553363149.26666666666668
DRESDEN/stratego/Z2wovg1.609061969792676355.38815372820903220.86666666666667
DRESDEN/tictactoe/BTTzPw1.63233267220223873237.1333333333331983.1333333333334
DRESDEN/eotcatcit/mQUxzA1.64966546012942853008.01823.4
DRESDEN/latenttictactoe/kITHKg1.67650341654642962052.7666666666671224.4333333333334
DRESDEN/fizzbuzz/t1xHzQ1.680324996098716610.8749875286840276.471954862263525
BASE/3pConnectFour/PqXOFQ1.753558698372966326.9186.4209052729818
BASE/connectFourLarger/qKi60A1.765938360430287173.9275357488083798.4901509849015
STANFORD/tictactoe5/WFRReg1.80352954316988722152.93333333333341193.7333333333333
DRESDEN/smallest/9kaGFw1.8727510522742761.26666666666666632.7147949495286
BASE/englishDraughts/jFkQxg1.8802906043686225166.794414636584888.70672131693826
DRESDEN/othello-cornercontrol/r5Gdlg1.94888795619520261.05218163285437140.5398882113821138
BASE/tictactoe-init1/7M19vA1.9515517241379312641.11353.3333333333333
DRESDEN/tictactoe-init1/3ltIBQ1.96643994142931372775.43333333333341411.4
DRESDEN/sheep_and_wolf/enAIzQ1.9917556885266816665.7111429619013334.23333333333335
BASE/dualConnect4/WbCQkg2.0001999933335557385.0538315389487192.50766564458073
DRESDEN/tictactoe_3player/ESLQQQ2.000455580700244514.3495216826105257.11619225384976
DRESDEN/sat_test_20v_91c/dK7nVw2.0946901200065757424.7191760274658202.75990800306656
BASE/aipsrovers01/4C4jsw2.146174406949549856.4381187293757399.05336488783706
BASE/mineClearingSmall/frsbvw2.1609673320350535147.968.44157142381127
DRESDEN/tictictoe/LAUtwg2.1733683991971762093.5333333333333963.2666666666667
DRESDEN/aipsrovers01/qS47Mw2.231056111205289877.4393.26666666666665
BASE/eotcitcit/V_9_bg2.2365498391170472154.766666666667963.4333333333333
DRESDEN/connectfoursuicide/M9CNQg2.245574458648578573.8255.524815839472
DRESDEN/blocker/S815zQ2.25457974137931052789.66666666666651237.3333333333333
STANFORD/tictactoe7/-bE9-A2.2829951096664622598.7333333333331138.3
BASE/chickentictactoe/DSlZCA2.32320377600372962657.91144.0666666666666
BASE/rubiksCube/9tNO9Q2.3375846950976484195.583.63333333333334
BASE/checkers-cylinder-mustjump/rjr6qQ2.3415283107375482.99910026991902431.2808302407304017
BASE/guess/SPpk1A2.34328341993140575.9120784754103782.5229890781130697
STANFORD/tictactoe/ss1kyQ2.4455109640049652955.41208.5
BASE/haystack/UkweGA2.469174498765200535160.6333333333314239.833333333334
STANFORD/trifecta/ss1kyQ2.47335249889429452982.53333333333331205.8666666666666
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw2.47649354202364343.03010122535961651.2235449735449735
STANFORD/untwistycomplex/HTWEwg2.4885053596710046152.02472.1666666666665
DRESDEN/lightson2x2/gBHuig2.49363715899148944180.3333333333331676.4
DRESDEN/guess/PhxGhg2.52952866099417856.46551724137931052.5560165975103732
STANFORD/skirmish/w4V6Vw2.56346143895209186.1206839198988762.3876637373569887
BASE/duplicateStateSmall/bCPAXw2.6037595915223786085.3333333333332337.133333333333
BASE/stateSpaceSmall/Q7osKA2.60864777491539138607.2333333333343299.5
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.6343517944535075430.6163.45576961535897
BASE/chinook/XQh0IQ2.6379949090310359.7527243643149922.65081109889744
BASE/ticTacToe/JRFsaQ2.6563853414769573189.43333333333341200.6666666666667
BASE/lightsOn/MsXu3A2.6593541056679636085.42288.3
BASE/tictactoe_3player/GtM71g2.6613843022097554536.3748458692971201.5397946940408
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.6621548774849746447.8333333333333168.22211852543163
STANFORD/chinook/osFbPA2.67483559335681157.94928188210203521.664614463043694
DRESDEN/3pttc/uwYBZw2.688869902227598592.7666666666667220.45196986867543
DRESDEN/statespacesmall/h-NqjA2.70255120966088742.9333333333323235.0666666666666
BASE/racer4/0vs7Ww2.7071782312925170.75102040816326530.27741816164231553
BASE/pawnToQueen/-O1_JA2.76065040153949643.53917904276783671.282009138424115
BASE/brawl/6Ymo_Q2.8083843588389532.7372031838012511.656952539550375
STANFORD/multipletictactoe/_bkafQ2.816142334298536438.1041263915739155.56888622275545
DRESDEN/pawntoqueen/f_x6Aw2.82166892273770743.5463343497282251.2568215644121052
DRESDEN/brawl/2kXtfQ2.839909748758153733.5921618289065911.828601892576303
BASE/factoringEasyTurtleBrain/lUj94Q2.8475857870622542962.53333333333331040.3666666666666
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.851737610035211431.9151.4515215145152
BASE/blocker/dIWtxg2.86272609819121462954.33333333333351032.0
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.927428085780431800.7666666666667273.53931273539314
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.9364379435850774430.2146.50403252682796
DRESDEN/blocksworldparallel/2JfVaw2.9512686701457622733.366666666667926.1666666666666
BASE/breakthroughSmall/HJ0tIA2.9652396633735822270.1243291890270491.09696343455218
STANFORD/tictictoe/rpt_Dw2.9843645724091912086.866666666667699.2666666666667
DRESDEN/3pffa/0YrmQw2.9865645992813623637.2333333333333213.36666666666667
BASE/breakthroughSuicideSmall/XSbJog2.9916556249657367273.672632736726391.47865498050454
BASE/escortLatch/mX9BjQ3.0158671723816495255.0163322445170384.55821084558211
DRESDEN/circlesolitaire/ruUilQ3.01748334919124655074.21681.6
BASE/tictactoe_orthogonal/WRzlVw3.021476406743133925.21299.1
DRESDEN/uf20-01.cnf.SAT/42Rs8A3.039347554288221461.8333333333333151.9514715195147
BASE/ticTicToe/c1OobQ3.0469912102772142103.0333333333333690.2
BASE/circlesolitaire/azuQFQ3.0635456235351175054.0333333333341649.7333333333333
STANFORD/breakthrough/d5j0cQ3.074721656905519583.1138962034598189.64770189647703
DRESDEN/tictactoe_orthogonal/y69QFQ3.09955082001462453956.2666666666671276.4
STANFORD/madness/UO_B3A3.1265829095622697.21241732309635352.306805074971165
DRESDEN/chickentoetictac/cxYaRQ3.12992294039675574643.8666666666671483.7
BASE/snake_2009_big/-oRfVw3.161375661375662438.1520615979467138.59538015399485
BASE/factoringMutuallyAssuredDestruction/NH0LGg3.18913703656839153360.51053.7333333333333
DRESDEN/snake_2009_big/DgC1NQ3.2056532297231666440.0137.25751616558895
DRESDEN/grid_game/U7_Yeg3.223468535293112628.6195.00733235568592
BASE/chickentoetictac/l57rfQ3.26847711576729474653.7666666666661423.8333333333333
BASE/connectFourSuicide/c8p9Kw3.290316358024691568.5477150761641172.7942401919936
DRESDEN/Thief_Police/CX18rA3.3176734552985853203.766666666667965.6666666666666
STANFORD/freeforall/Lfp40Q3.3246766075809995274.7483501099926682.63912029323559
DRESDEN/catch_me/ghGWrA3.33721333056190653211.0666666666666962.2
DRESDEN/bidding-tictactoe/yW5vTA3.3413423189787026459.46936870875277137.51041493084486
DRESDEN/snake_2009/zIYLVw3.3413685763888887555.9666666666667166.38890740617293
DRESDEN/Catch-Me-If-You-Can/ghGWrA3.36350826545692043262.266666666667969.9
DRESDEN/knightwar/7hhAqg3.4113899329836834520.3333333333334152.5282490583647
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3.436327861849315102.8024925855576729.916380717593363
BASE/snake_2009/7l-qAQ3.4808602558811392562.2161.51179842687642
BASE/blocksWorldSerial/Wyg96Q3.4836489358327783660.96666666666671050.9
DRESDEN/CatchMeIfYouCanTest/CX18rA3.4872351602171253319.266666666667951.8333333333334
BASE/biddingTicTacToe_10coins/a-9ccQ3.50997403107963596.8075179952012827.58069351453982
DRESDEN/cube_2x2x2/fp-34Q3.5324617638217051436.1333333333334406.55311489617014
BASE/biddingTicTacToe/8mESVw3.5448586285541674448.04026129849353126.39157389507366
BASE/checkers-mustjump/T-8UuQ3.6726848900502294.5587648076667111.2412621676357223
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.6990748255153383759.6666666666666205.36666666666667
STANFORD/jointbuttonsandlights/qAKuIQ3.745868596619445296.5333333333341413.9666666666667
DRESDEN/skirmish3/3LU8Nw3.772353946961350563.2455848050649816.76554896340244
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.7924620655898185774.8204.3
STANFORD/dualhunter/1rPZjQ3.89552855982322741331.9666666666667341.9219359354688
BASE/toetictac/mTThmg3.90252772014367635830.7666666666661494.1
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.9111863313990973808.8333333333334206.8
DRESDEN/toetictac/mJtxCA3.92258149605433775948.3333333333331516.4333333333334
BASE/buttons/hTcUjw3.941688757476889715464.0333333333333923.2
DRESDEN/skirmish2/iPpWhQ3.965445217930313768.893110688931117.373360846701726
DRESDEN/buttons/ADUaHw3.992211293198317415599.0333333333333907.366666666667
BASE/endgame/jYjfOA4.0325716552875255148.195060164661236.749516892117015
BASE/survival/YVIjJA4.03628501771010729248.2666666666667246.333333333333
BASE/2pffa/6oHijA4.090574398196032289.447370175321670.7595907075959
DRESDEN/skirmish/RjGQYQ4.09853124226103367.1532360194627716.38470760623418
BASE/blocksWorld/SEdXLQ4.17705631942065911382.22724.9333333333334
BASE/blocks/xIV5hQ4.18108910891089111261.0666666666682693.3333333333335
BASE/incredible/8Qh-6Q4.20558890169734053526.6666666666665838.5666666666667
DRESDEN/logistics/fPru1Q4.2938439852969631232.9666666666667287.14752349843343
DRESDEN/blocks/vg0DRw4.31869456108529811587.6333333333332683.133333333333
BASE/blocks2player/wnTLOQ4.4319618138424827737.4666666666661745.8333333333333
DRESDEN/battle/8oAvhQ4.4366698373377314.2005688959449620.9467841984982044
BASE/ttcc4_2player_small/Cv72TA4.4490077779414605294.613692420505366.22008931547023
DRESDEN/chinesecheckers1/Y-ftaA4.482473091727364841.0333333333333187.62707909736343
BASE/battle/8oAvhQ4.530901058815174.2115735367269110.9295222919363941
BASE/choicethroughalt/tt71Lg4.543335929088251111.3555311135553224.509640680675346
BASE/2pffa_zerosum/o0_uZA4.563544044432126288.947403506432963.31644894694748
DRESDEN/tttcc4/sAvtFg4.575858250276855137.7241517232184530.097993467102192
BASE/coloredtrails/EZvr7g4.6184585492227982376.9666666666667514.6666666666666
BASE/snakeParallel/RCVNtw4.6709665120416852450.233333333333524.5666666666667
DRESDEN/2player_normal_form_2010/NG_Kdg4.7355394773257427985.0666666666671686.2
DRESDEN/breakthrough/z4hK7Q4.819397016724707171.088594093727135.5
BASE/ttcc4/Le0qjQ4.829280351057612142.7762039660056529.564695686954202
DRESDEN/endgame/IJhh3Q4.883062022106969123.1625612479584125.22240362509579
BASE/tttcc4/8Bs2lg4.892252169523814143.2952234925502429.290236587804067
DRESDEN/breakthroughsuicide/Y9QzqQ4.961413271997586180.375949873350236.35575993868506
DRESDEN/blocks2player/3ev8nQ4.9873015257556088575.01719.3666666666666
DRESDEN/knightazons/02I8BQ5.003335989835334562.5833111170354612.508316699933467
BASE/knightazons/apnJBQ5.04697929824561463.8666666666666712.654434047087815
DRESDEN/breakthroughsuicide_v2/LU1nAw5.058592134979148178.594046865104535.3050892619238
DRESDEN/knightthrough/J7Fc_Q5.093984335944009172.004665889018533.76623376623377
BASE/ttcc4_2player/_aH_Mw5.136028525641026106.7333333333333320.781296832850433
BASE/troublemaker01/s3tlEQ5.21102055950322955.0666666666664405.1
DRESDEN/8puzzle/8fKC2w5.2169934640522884257.066666666667816.0
STANFORD/hex/MTqWcw5.2404246342473515127.4957501416619424.32927845359107
BASE/hexPie/48CH6Q5.252917821377196126.9159003065440524.161029093211585
DRESDEN/troublemaker01/C-lPWw5.25599651112080223702.2666666666664509.566666666667
DRESDEN/smallest_4player/ADDROA5.256580747822498201.2532497833477738.28596181400153
DRESDEN/knightstour/cGISAA5.2736809241336242815.266666666667533.8333333333334
BASE/3pffa/pR0dzA5.277094696185136328.4447703486434362.239696131676276
BASE/hex/T1MK8g5.277943520604107128.395720142661924.326846174353506
DRESDEN/minichess/c7GMFw5.291435634567901595.2666666666667112.49625012499584
STANFORD/ttcc4/Cx9SGw5.32917328781465118.9309873704555322.316967557124777
BASE/onestep/xi53wA5.33683336589177540068.233333333337507.866666666667
BASE/breakthrough/TGxk-g5.3616300601711595169.5610146328455731.624900026659557
BASE/breakthroughWalls/vOZaYA5.373539700458982167.7832216778322231.223966143490287
BASE/breakthroughSuicide/wZDpIg5.4122989240075645171.816151718161531.74550299800133
DRESDEN/troublemaker02/iZLVuA5.45524147097917620520.83761.6666666666665
BASE/firefighter/WJmoPw5.481183063098915510.2333333333341005.3
DRESDEN/point_grab/r5DPmQ5.5190701593516887423.3333333333331345.0333333333333
BASE/smallest_4player/ADDROA5.534014249631948201.1932935568814336.35575993868506
DRESDEN/firefighter/WJmoPw5.712509970752465729.2666666666661002.9333333333333
STANFORD/pilgrimage/ObRZnQ5.714517728470454248.2834477701486543.44783926964982
BASE/minichess/8NQEiA5.7675115823665335661.9779340688643114.77704459108179
BASE/hodgepodge/9yjRkw5.7811945792203465759.033333333334996.1666666666666
BASE/troublemaker02/DI83KA5.78267568651763221142.2333333333343656.133333333333
BASE/breakthroughHoles/nZk0Sg5.806294323276686179.3547096860209330.889703432189272
BASE/4pffa/Q3ADlg5.873616441150745318.212119192053954.17652350648053
BASE/shmup/ssTNlg5.901727861771058910.8333333333334154.33333333333334
BASE/chineseCheckers4/avfBcQ5.907591461787688344.366666666666758.29222770297294
DRESDEN/checkers-cylinder-mustjump/vW_-pA5.9538695680205073.25484074529210550.5466765282824709
BASE/switches/tPUoCg5.9594220330131212551.9333333333322106.233333333333
BASE/asteroidsSerial/id2QkA6.053288141025641804.5666666666666298.1134591027265
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg6.3038563324823433.47601549309762660.5514109633473889
BASE/untwistycomplex2/EDPPAQ6.35551588718314917801.82801.0
DRESDEN/frogs_and_toads/GjchhQ6.417049833097083520.249325022499381.07297567477508
STANFORD/untwistycorridor/EDPPAQ6.47993640310646317661.0666666666662725.5
STANFORD/checkersonabarrelnokings/Zrevdw7.030001407125981166.50003332666823.68421052631579
STANFORD/bestbuttonsandlightsbig/g0JC6g7.0806600465133456393.6902.9666666666667
DRESDEN/oisters_farm/pTQMLg7.2255660113668137755.21073.3
BASE/beatMania/qUHwvQ7.4821606598407273653.6666666666665488.3170560981301
STANFORD/hunter/14dD-g7.5657925284008163463.0457.7180760641312
BASE/checkersTorusNoKings/pwb6oQ7.573400483349115174.570904849191823.050531294760333
STANFORD/bestbuttonsandlights/nm0wEA7.64026528227012059369.7666666666661226.3666666666666
DRESDEN/gt_prisoner/huCp4w8.0257148681055151636.0666666666666203.85307646156923
BASE/ttcc4_2player_alt/ZEJvYA8.045334189497718156.4333333333333419.44398202097553
DRESDEN/4pttc/9pB9AQ8.144123801836205673.610879637345482.71127699280191
DRESDEN/gt_chicken/CeuKtw8.33182498793021342.0333333333333161.0731544742543
BASE/checkersBarrelNoKings/rnKNeg8.340464366792576200.526649111696324.04262404262404
BASE/asteroidsParallel/WauZiA8.3649899899899922228.4333333333334266.4
BASE/checkersTorus/2vm1EQ8.370376906976665161.6279457351421619.309518260811664
BASE/eightPuzzle/vLrgFg8.378812214626884249.033333333334507.1164294523516
STANFORD/eightpuzzle/W_aWbA8.380785606372754068.0333333333333485.4
STANFORD/8puzzle/jNiGtw8.5019062270082274237.066666666667498.3666666666667
STANFORD/multiplebuttonsandlights/cK70Yg8.71351103437112310765.8333333333341235.5333333333333
BASE/ad_game_2x2/D0aWqg8.9281294621608750.237981913374583520.02665529374133703
STANFORD/knightstourmedium/x1wu8Q8.9769122063801422917.1324.95583480550647
BASE/gt_dollar/TGjqRw9.0062174594348685939.0659.4333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA9.02458199833068711172.7333333333341238.0333333333333
BASE/colonelBlottoVariant2/jruwGw9.0787831808212973.97035468501852850.43732233780026863
BASE/maze/cCX3qQ9.096198717595416503.2333333333341814.3
BASE/2pttc/unkkYA9.209015791354055286.133333333333331.071000399627014
DRESDEN/pacman3p/rBnk8Q9.273107502580269208.0722570323956722.438244889806246
BASE/pacman2p/4LEdQg9.314398048279404201.2666666666666821.608123855501916
BASE/tron_10x10/7ZTgDg9.3690300013453532321.3333333333335247.76666666666668
STANFORD/buttonsandlights/eyhJpA9.46076006077369632379.7666666666663422.5333333333333
BASE/asteroids/BKCmPQ9.5780904670693984333.766666666666452.46666666666664
STANFORD/3puzzle/41ibjA9.6038350460071189532.766666666666992.6
BASE/amazons_8x8/7SOsIw9.63574417206166790.990900909909029.44305901911887
BASE/pacman3p/wW7UVQ9.65805324328129210.426319122695921.787653662924342
STANFORD/knightstour/cEwgNA9.7085163971733122701.7278.2814479034731
STANFORD/threepuzzle/41ibjA9.7934686371994819586.5978.8666666666667
BASE/skirmishNew/sibw2g9.79819196803209853.955875491568365.506717531929009
BASE/knightsTour/mvtVIg10.0064052966610632776.8333333333335277.5055827750558
BASE/point_grab/V_osUg10.219008264462817666.3750.2
BASE/gt_chicken/gmepTQ10.2421350667360011312.8666666666666128.18290894547394
BASE/chineseCheckers2/eCMR3Q10.3260603271327781072.9103.90216268452798
BASE/racetrackcorridor/_RkdUg10.743942285257159629.912336255458258.62953462806889
BASE/wallmaze/uxNQ9g10.765349629588618253.791540281990623.57485348961108
BASE/gt_prisoner/klthDw10.9349203273040491692.5154.7793627516331
DRESDEN/checkers-mustjump-torus/cVc3gA11.060185405276922.42928452579034950.21964229683087544
BASE/gt_staghunt/xPjLRA11.3211911319770491687.9333333333334149.09503016566114
BASE/speedChess/bPnisA11.53118796341112658.310009329601495.0567217804983535
BASE/dotsAndBoxesSuicide/jzQbLw11.613230172806562339.6993633969936529.251066098081022
BASE/dotsAndBoxes/EHwA_w11.653365079365079342.2666666666666529.37062937062937
BASE/chineseCheckers1/gqtwHw11.7132236510337861548.3333333333333132.1867813218678
BASE/chineseCheckers3/-1rZdQ11.881381326116372877.873.88029858704346
DRESDEN/four_way_battle/xSOQXA11.95467802022352419.7245875465673241.649947201689546
BASE/chineseCheckers6/rREH3A12.085401851851852536.466666666666744.38964241676942
BASE/gt_coordination/IVMOzA12.5861843182190222562.9666666666667203.63333333333333
BASE/knightsTourLarge/M8jgLA12.5896705332086061345.5666666666666106.87862427514497
BASE/four_way_battle/xSOQXA12.89649223385107721.3985734284381051.659255326209597
BASE/wargame02/BkVqqQ13.02117457799200328.541930327049892.191962803055463
BASE/kitten_escapes_from_fire/uW-YiA13.113857320872274981.933333333333374.8775367389783
DRESDEN/kitten_escapes_from_fire/uW-YiA13.120241292217326992.533333333333375.64901522977972
DRESDEN/SC_TestOnly_enabled/09o7gQ13.7093278927773653068.4223.8184121058596
BASE/hitori/S8Gsyg14.3247885932512044.1470373565125080.28950077200205865
BASE/hallway/ckCJOw14.402901717027746247.1921346442259717.162662045522712
DRESDEN/hallway/0H4l-Q14.42191825737371253.0582313922869317.546780315642273
BASE/wargame01/_GZFZg14.57825707978718632.263434773922892.213120169122019
BASE/3pttc/0sol9g14.832298136645962318.3893870204326521.465951134962168
BASE/knightThrough/gcwFjA15.033679869007319173.382661733826611.532948901703277
STANFORD/knightstourbig/TQUI2g15.1398860542736921159.133333333333476.56156256249584
STANFORD/platformjumpers/HEQskA15.18181925465838281.15.3419157901722025
DRESDEN/hitori/S8Gsyg15.6139329104318174.60844771566872250.2951497064900141
BASE/wargame03/klXI8w16.9520444005003834.288570476507832.022680549108031
BASE/knightwar/DVGY4Q17.214722886463736522.509913692558930.352502165656027
DRESDEN/racetrackcorridor/O0DoTA17.688319565217391030.433333333333458.25501566353396
BASE/amazonsSuicide_10x10/XIbQkg17.929780828917771.44999500116643.9849898714840766
BASE/amazons_10x10/Bun8dA19.47202585377996872.890281295827223.7433332229105245
BASE/gt_centipede/9fRMpw21.06898225180255210129.966666666667480.8
DRESDEN/checkers-mustjump/HUr33w21.1485185695747054.8248095032109940.2281393605579637
BASE/colonelBlottoVariant/X-n-KQ22.41694778161056310.1915070774354710.45463401961421057
BASE/mummyMaze2p_2007/YGA3Vw23.216667032760387673.855076328244829.02462594554967
DRESDEN/Runners/3bOCQw23.5306391946055565544.233333333334235.6176254916339
DRESDEN/mummymaze2p-comp2007/oTQRQg23.54088111888112673.028.58856457417033
BASE/ruleDepthLinear/OUBJpQ24.10012914682379719905.1825.9333333333333
DRESDEN/roshambo2/jgSlkQ25.8141806204875278024.233333333334310.84594360375974
BASE/roshambo2/KNPokQ26.0224287236679078166.433333333333313.8228725709143
BASE/4pttc/AL1k2Q29.359503565891472420.133333333333314.309960398016573
BASE/amazonsTorus_10x10/Uxc08g30.02147205072343246.012984851007161.532669176690101
BASE/connect5/d-BVQg31.868195697948234202.81981201253256.364333077871447
DRESDEN/connect5/1kYzSg33.880120549805504202.046121034390845.963559685018615
BASE/sheepAndWolf/g4THrg34.6395627749577681.419.671148981493808
DRESDEN/bomberman2p/x4h6jQ36.86674391657011060.533333333333328.766666666666666
BASE/bomberman2p/4CClwA37.389439719626171065.566666666666628.49913437208683
BASE/checkers/rOC3Xg40.3797255987134730.556481172942350.7567283016384813
BASE/knightmove/jBaJEw55.20743975200826137.195426819106022.485089463220676
DRESDEN/knightmove/97Ipcw57.39958284873267144.85218144852182.5235755080355955
BASE/checkers-newgoals/0XkFiA60.7903029264484726.8559242969478870.4417797412432944
DRESDEN/quartosuicide/WIU1oQ60.96783751759718247.325802259322224.056660238079404
BASE/mummymaze2p/vpjDdA61.009809104258444922.666666666666615.123251165889407
DRESDEN/mummymaze2p/k-8edg61.23989707602339930.133333333333315.188355594044566
BASE/checkersSmall/SYmq8w62.492159983556148.165061164627840.77073766016892
BASE/hanoi/iGLsJg63.433930837233491354.333333333333321.35029810478633
BASE/quarto/EwBMVQ63.94927008180188245.29182360587983.8357251504530123
BASE/quartoSuicide/-23jUg64.11873222222222255.266666666666683.9811558622520073
DRESDEN/quarto/OQzRYQ64.13581337922345256.891436952101574.0054288457082325
DRESDEN/hanoi/RQ0jiA64.668875738724721385.121.418340494986843
DRESDEN/ghostmaze2p/HY0UwA65.669137254901952119.732.278481012658226
BASE/ghostMaze2p/W-NU-w68.111797173913052086.466666666666730.632970399227517
BASE/cylinder-checkers/hlldmw74.0143989759412621.110112209902440.2852162890191729
DRESDEN/cylinder-checkers/clOO3Q80.4202618516174322.2873704900556360.27713625866050806
BASE/kalaha5x2x3/WviNsw90.617294117647081488.416.42512077294686
BASE/crossers3/O0rORg96.80119285714285314.33.246860815690952
DRESDEN/crossers3/xiPTxg99.05688192215756321.91187254183053.2497678737233056
DRESDEN/snake_2008/E56l3A101.03119656360037514.31618946035135.090667110297788
BASE/snake_2008/i6K26g101.54697588511755517.18276057464755.0930395126660235
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg101.77588314814815607.03333333333335.964412339706418
DRESDEN/knightfight/4_Ly4w101.954786263782031232.092263591213612.084692722551434
BASE/knightfight/SJRkAg103.90294808743171264.833333333333312.173218918379565
BASE/snake_2008_tweaked/bX0NJQ105.37004824561403530.86666666666675.038117335101094
DRESDEN/checkers-newgoals/IJOqXQ108.4956917610481929.780146568954030.274482295891915
BASE/skirmishZeroSum/zh4hcw116.500818611026553.7046908315565050.4609812314784327
BASE/checkersTiny/Lr48cg129.60749736155086102.016330611564740.7871175100849431
DRESDEN/chinesecheckers2/06E6-Q176.64652905509212647.0784307189763.6631256452096306
DRESDEN/merrills/aYEzwA179.306634787806333.5199574948528920.01963093835885355
BASE/merrills/pku8Tg199.289972273567493.53181938209664640.017722012511740833
DRESDEN/Travelers-Dilemma/PvZwYw226.1038646538030261.352351118072450.27134587554269174
DRESDEN/battlebrushes/QHXV4A246.8883037232092543.731875604146530.1771322292091046
BASE/kalaha6x2x4/XS81Mg277.792423188405851269.46666666666674.569839062189549
DRESDEN/chinesecheckers4/-oVNYg287.15078260869564214.00.7452530620180157
BASE/max_knights/2fq3Ag331.1995364860387367.08776374120861.1083583257269527
DRESDEN/max_knights/hCipiA345.21030833333333360.13333333333331.04322879311469
DRESDEN/hanoi_6_disks/MeubgQ624.316441248.31.999466808850973
BASE/hanoi_6_disks/MeubgQ667.33810292397661256.46666666666671.8828037259694788
DRESDEN/blobwars/ZaMluQ863.4124395853472120.295990133662220.13932621840777998
BASE/blobwars/0XT15Q891.2578882484256124.446073368207110.13962970203021588
DRESDEN/pancakes88/aD3E7g1094.146413680781711170.710.209511140671767
DRESDEN/checkers/jIDMIg1102.072726060727331.4635203146352040.028549404744911067
DRESDEN/pancakes/hl9aiQ1321.07498263665613658.26666666666610.33875203616901
BASE/gt_tinfoil/Q8DyKg1354.299350021666665.11116296123460.4911108928396032
DRESDEN/pancakes6/SZXMyQ1359.043413856.710.195921631347462
DRESDEN/chinesecheckers3/QsCb2A1402.9647900625537536.84877170760980.3826530612244898
BASE/pancakes6/QZTdnw1490.267850790678513658.9674365896749.165444607385682
BASE/pancakes/yUgbXw1513.070590203106314031.3333333333349.273416206873629
BASE/ruleDepthExponential/UamhHQ2722.7938600332836305.100581004934160.1120542342493767
DRESDEN/hanoi7_bugfix/3gdnFw3269.6956111111112922.16666666666660.2820344081978001
DRESDEN/hanoi7/51zz5Q3325.019677777778937.30.28189306856265856
BASE/hanoi7_bugfix/3gdnFw3330.307348148148915.36666666666670.2748595162472514
DRESDEN/crisscross/GsY16g5763.327228184788319.678688087460840.05546773164711429
BASE/solitaireChineseCheckers/-ET6gw6044.5063387.13333333333330.06404713869407884
BASE/crisscross/ICagEg6090.190333333333338.83333333333330.05563591854901524
DRESDEN/crissrace/KWb9bw8545.627345755142239.09203026565780.027978288847854065
BASE/crissrace/ERWGDA8908.533124708702253.645382515480380.02847218267752406
BASE/pancakes88/l2Xaig9242.44029901960910468.8333333333341.1326914748309291
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA15626.0941122.00.07180297264306743
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A18707.9604444444451409.33333333333330.07533335007407779
DRESDEN/vacuum_cleaner_1/eUNjpw19637.0157984201581120.35463120354620.057053202110968475
DRESDEN/vacuumcleaner_random/_6AGDA19921.405406306247988.900739950670.04964010920824026
BASE/twisty-passages/DiZmmg20661.583951087.76666666666670.052646818815973044
DRESDEN/twisty-passages/j7NPyg21544.760251111.50.051590270075063845
DRESDEN/kalaha_2009/gcC8uA26229.715751150.30.04385484047801776
BASE/kalaha_2009/dRiN3g26703.4770333333331182.06666666666660.04426639516610965
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity98.726751549896680.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity326.935892309742770.0
BASE/amazonsSuicide/dE1QEQInfinity0.176180408738548260.0
DRESDEN/chinesecheckers6/yTbPDAInfinity372.766666666666650.0
DRESDEN/farmers/S_ASnwInfinity8.9097148891235470.0
BASE/amazons/RKKZjwInfinity0.185093780848963470.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException 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/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/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147483765
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