index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.00.064.0850468224081
BASE/queens06ug/7Lq3tw0.00385622320181949840.292362041661590975.81564301662945
BASE/golden_rectangle/_nYzfw0.0094936099061637780.9537277600552504100.45996933537764
BASE/blokbox_simple/JBx4bg0.0105831400393826370.052313567523737284.943104535049597
BASE/queens08ug/kJ_ZFQ0.0114063041151036060.423427064688107537.122196674331036
BASE/colonelBlotto/jip21A0.0126250523669878510.0046082949308755760.3650119458455004
BASE/sudokuGrade6H/ieE_9A0.01333709920014381.6630254018978055124.69168722085195
BASE/sudokuGrade6E/ihYFZA0.0138020400234108011.6813243662700466121.81709105452606
STANFORD/sudoku/oJ1qyQ0.015636002090378361.9287685810249078123.3543312335433
BASE/sudokuGrade5/BQfUQA0.0167670590783340032.076672050631242123.85428123854281
BASE/sudokuGrade3/eI8dvg0.0168124304371103752.0626101999401176122.68364218104253
BASE/sudokuGrade4/DTy07w0.0171615324855781962.062747446518282120.19599346688443
BASE/sudokuGrade2/u80Tfw0.0191519504737828262.354423663615864122.93388429752066
DRESDEN/quad_7x7/q-JOXg0.019601127788118940.459819858808255123.458847050983007
DRESDEN/ggp-course2013_michal13/jWKddg0.020391315036786972.242596134819603109.97800439912018
BASE/sudokuGrade1/tDRNRw0.020631338640456152.562502053286902124.20435231779251
STANFORD/duidoku/3SoMaA0.02350088820729971.81830203649828177.37163040218587
DRESDEN/grid_game2/kypTYQ0.02513570317632639710.922774651170535434.55218159394684
BASE/zhadu/DlA8iQ0.0278115302924213870.613298902517753422.051965356429047
BASE/coins/QnGtnQ0.03017760501810488282.92504082925042747.9
BASE/coins_atomic/AA3SSw0.0304554423880915785.091490850914912793.9666666666667
BASE/quad_7x7/q-JOXg0.0307413026307956360.722794806585463823.51217237819296
DRESDEN/coins/QwFP9w0.03084116394039095784.832733573237382750.633333333333
BASE/simultaneousWin2/PfjRjw0.0366930066832510717.230461589735043469.58434718842705
STANFORD/selectivesukoshi/3xmXYg0.046795943312793936.152106680855309131.46666666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw0.14416133592611170.40988775381510912.843257182530499
STANFORD/triplesukoshi/Iu9mbA0.1574106785625800651.33162227925736326.1
BASE/copolymer_4/2LDVhQ0.157916883555914858.83016863630327955.91655836582358
BASE/copolymer_4_pie/IN5_jA0.1592462913199939.11298100907972157.225703239568055
BASE/hidato37/pBrqxw0.165514954901359282.96173044925124817.894035321559482
BASE/hidato19/rRHSmA0.1720491243644799423.673170406872213137.59541348621713
STANFORD/multiplesukoshi/vLSQPg0.1760974147236010821.95715190084297124.68753124687531
DRESDEN/CephalopodMicro/H3XQfg0.177798099181847254.61012901727969225.92901183136144
BASE/battlebrushes/arCwyA0.190883395479445740.90963494913225624.765395894428153
BASE/cephalopodMicro/9l2D3g0.19389367995667214.100529100529100521.148338106973956
DRESDEN/Zhadu/9zpQ5w0.202026150717527445.176533050172551525.623084099693457
BASE/cittaceot/fDxhXg0.2106860808495590320.89094725618898499.1567509915675
DRESDEN/cubicup_3player/awDtsQ0.2252832795572207740.019993335554815177.64298093587522
DRESDEN/slidingpieces/s9_44g0.2261923529598986258.6648011193284259.3580213992867
BASE/slidingpieces/uFJWEw0.2275165962398586858.674574351114515257.8914036198793
BASE/cubicup_3player/e2yA_g0.2326729645297987441.25016660002665177.28818078794748
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.2427749926275435109.76666666666667452.1333333333333
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.26072013310265740.099429275956012490.3813640119494057
DRESDEN/peg/Vo31eg0.2790453657745336595.56666666666666342.4771681887874
DRESDEN/peg_bugfixed/u_B7MA0.2815007613851966496.71721379770038343.57709486034264
BASE/futoshiki6/JmvXNA0.2838143036386449637.69874337522083132.82890570314322
BASE/chess_200/XsTpYA0.28709616115545420.91220068415051313.177335010260144
DRESDEN/quad_5x5/JAEP5g0.291003063213589541.68940870695256655.8054670912951165
STANFORD/duikoshi/tpw1sw0.29428855874448273165.2724545909015561.6
BASE/ticTacHeaven/18n58A0.29843339495961857102.22992566914436342.5552481583947
DRESDEN/tpeg/h-Scbg0.32198443432312707111.38514864684709345.93333333333334
BASE/tpeg/QNs7Lw0.32802413225515953110.2889711028897336.2221259291357
BASE/ticTacToeSerial/Amrwqw0.34987743940329025190.60156640559907544.7666666666667
BASE/stateSpaceLarge/0Ge_CQ0.35192440644369005492.283590546981771398.8333333333333
DRESDEN/statespacelarge/8-y5HQ0.35439580538958665484.41366.8333333333333
BASE/conn4/va9Y7A0.37564656660972223174.78834744350377465.3
BASE/othello-comp2007/86ZoMw0.37760652309424710.82946250829462512.196631831192172
BASE/futoshiki5/TJ4BZg0.3804757751497417475.13911565759221197.487252974306
BASE/ticblock/T21C1g0.3901050719776272471.350954968167741208.2666666666667
DRESDEN/amazons/dNB28A0.39911745174903072.26440226440226465.673523556735236
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.4190260894246508683.36388787040433198.94677198946772
BASE/quad_5x5/JAEP5g0.422355339341637442.3447025354050085.551492586929061
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.4227836985590548353.06666666666666835.1
DRESDEN/satlike_20v_91c/yeuENQ0.424807780163633130.155343425477875220.36567933246900036
BASE/gt_attrition/kD_SCA0.431486206685123830.099045858232361590.2295458271847844
BASE/quad/tw-Ufg0.431795501650418360.89557585527494182.074074074074074
DRESDEN/towerworld/HCX34w0.432580830403164757.767892710131456517.957089552238806
BASE/tictactoe_3d_small_6player/g_9lww0.434615384615384686.62178376216505199.30675909878684
DRESDEN/cubicup/SBn_lw0.4561105466218118101.25316624450073221.99260024665844
DRESDEN/ticblock/Z2yNWQ0.4579000760841998481.466666666666641051.4666666666667
BASE/othelloSuicide/B442jg0.458823727368586340.8783344176968121.9143177767509407
DRESDEN/blockerparallel/dVQgSg0.4596726314368034194.64071457139048423.43333333333334
BASE/blocksWorldParallel/RseaAQ0.46510068221020606266.6333333333333573.2808906369787
BASE/blockerParallel/7-nDJA0.46627480625158724195.48696753549763419.2526915769474
BASE/blockerSerial/3eqDuw0.4671871302542078173.1493517314935370.62097930068995
BASE/cubicup/4wNWJA0.4694619604704939104.13542603885502221.81866648895405
BASE/ticTacHeavenFC/mrletw0.4722757831712449141.59144655763913299.80670532560157
BASE/othelloHoles/c0qAzw0.478577808970841570.92515791488547181.9331400193314001
DRESDEN/ggp-course2013_jordi/9QI6Kw0.493374972540647442.20379067985743485.54100436535705
DRESDEN/pawn_whopping/4ogBkg0.5013090728084444371.82093930202325741.7
BASE/doubletictactoe/HH1htg0.5016610446693243654.36666666666671304.4
BASE/skirmishHoles/AUCxCA0.5060438212657937.83662626598040815.486062543710661
BASE/strangeSkirmish/gc1zKA0.50706118964280347.26230928109800814.322352862805182
DRESDEN/doubletictactoe/lJzgmQ0.5150552594964954654.01269.7666666666667
BASE/snake2p/I3wWPQ0.5208975622928151157.1842815718428301.7566081130629
BASE/doubletoetictac/fu35bg0.5210090828234913644.36666666666671236.7666666666667
BASE/brain_teaser_extended/ZDp94A0.5247659611268458809.06666666666671541.7666666666667
DRESDEN/doubletoetictac/V89gKQ0.5261712312642235670.51274.3
DRESDEN/god/2EDD5w0.52740768434806922.462726304579344.669492648032852
BASE/bunk_t/xbpfIA0.528061224489796655.51241.3333333333333
DRESDEN/bunk_t/7-tPfA0.5399010084433975679.93333333333331259.3666666666666
DRESDEN/tictactoe_3d_6player/ulZPWg0.562345873890169823.6293951008165342.01932689103632
DRESDEN/brain_teaser_extended/ZDp94A0.5645543190974657830.57231425619151471.2
DRESDEN/pentago_2008/hLjVpQ0.571030837530217877.54598773660358135.8
DRESDEN/quad_5x5_8_2/JRTLJg0.57806297585135791.28466960932867782.222369643094069
DRESDEN/quad/JPe6fg0.58563430581195221.1949360547732852.0404133482524847
BASE/futoshiki4/BaCwSw0.5927482408131353202.1599280023999341.0552981567281
DRESDEN/double_tictactoe_dengji/bGaUyQ0.6144754615038271545.9888.4
BASE/tictactoe_3d_6player/d7KSwg0.631148459358876225.23249225025832539.97869578243068
DRESDEN/battlesnakes2011/93VtTw0.6359273670557717163.40609898350274256.95717380436594
BASE/double_tictactoe_dengji/zgaSbA0.6441751075129694580.8333333333334901.6699443351888
DRESDEN/javastrike/whONTQ0.647058476824805970.36197586827545108.7412936981371
DRESDEN/babel/WdSW4A0.650452488687782857.48850229954009488.38232353529294
DRESDEN/battlesnakes1509/-qZrLw0.6525318352684929164.38904073061795251.92493583547216
DRESDEN/tictactoeparallel/yk_DSg0.6875882727308094747.68348776748211087.4
STANFORD/sukoshi/4LYZZQ0.6896589152946562889.63701209959661289.9666666666667
BASE/god/qF06gw0.6991499795608823.1831294141052424.552856335781463
DRESDEN/gt_ultimatum/pAiiQw0.701953020824697615.5896069287141922.208903539439948
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.71175285972131140.232143789863441420.32615786040443573
BASE/skirmishFinal1/ecWTnQ0.726222500974399210.45690688690555514.399040063995734
BASE/gt_ultimatum/GE-uOA0.726854389457921415.33202800915939321.093671898430472
BASE/lightsOnSimultaneous/_VN6lw0.7374768089053804370.9876337455418503.0498983367221
BASE/nineBoardTicTacToePie/B8LzeQ0.7410493186753475170.19432685577146229.66666666666666
DRESDEN/minichess-evilconjuncts/th24Tw0.753187689638216473.6593007365930197.79674010866304
DRESDEN/skirmishfinal/hzq8ww0.753310597160634511.25991072023452614.947235260827592
BASE/skirmish/Y_psYQ0.76000928782300065.9375725611171927.8125
DRESDEN/lightsout/XgLpzQ0.7704552367433843759.9986.3
DRESDEN/lightsout2/LFtfyQ0.7796348411009678757.2333333333333971.2666666666667
BASE/minichess-evilconjuncts/4OpQzw0.779754937132714475.8080639786737797.22037061725104
BASE/nim3/1OwUqw0.797386211464527924.57378795950985830.81792437114776
BASE/lightsOnSimul4/9FeASw0.8023342245826084292.06666666666666364.0211992933569
DRESDEN/statespacemedium/dVJZ_w0.81350866706515251633.22007.6
DRESDEN/nim2/z5_exA0.817325442671781924.65187554134186230.161639726712213
DRESDEN/tictactoelarge/IwXcbg0.8181244431244432734.5666666666667897.8666666666667
BASE/stateSpaceMedium/3bUoIw0.82011713776419661610.31963.5
BASE/skirmishFinal2/gdB62Q0.824518917599141612.06505799226769714.632845571814272
DRESDEN/Goldrush/VeWczQ0.828185495032756235.8856457417033243.3304446370242
DRESDEN/nim3/sG_axA0.830504974879070725.97143142543202631.27185533020282
DRESDEN/nim4/F5YAYg0.830989059698328925.73921150772509530.97418817651957
BASE/ticTacToeNoVars/XT03NA0.83741748349669931116.33333333333331333.0666666666666
BASE/nim4/twk16w0.838776276437284926.0510360450396431.05838443081845
BASE/withConviction/3Xm54A0.8462982985261481495.73333333333335585.7666666666667
BASE/nim2/eF2Qqw0.85765377867094726.11157368859283830.44535491822391
BASE/nineBoardTicTacToe/wRmqqA0.8633555266412422171.26095796806774198.36666666666667
BASE/nim1/hin2Qw0.865522802849991825.04162504162504328.932368921035966
BASE/skirmishFinal3/-Olhfw0.889132016286184914.23913766717679216.014649575495255
STANFORD/nineboardtictactoe/y28P-A0.8988081874052131176.07065489085153195.8934702176594
DRESDEN/nim1/M9BALA0.907235809872191326.0064599913422828.66560127846584
DRESDEN/tictactoelargesuicide/6J4DeA0.9131491893242908738.8594473885945809.1333333333333
BASE/factoringGeorgeForman/HGRorQ0.95731449616615353171.23312.6
DRESDEN/tictactoe_3d_small_2player/HYttcg0.9976433860702452269.1974403412878269.8333333333333
BASE/tictactoe_3d_small_2player/oOryKA1.0067770826228972269.68202119858677267.8666666666667
DRESDEN/backgammon/mqCW0Q1.027814975511794751.29487051294870549.906716417910445
DRESDEN/ggp-course2013_nicolai/uEin8g1.03118248664834327.02252986788245826.205380927011188
BASE/pentagoSuicide/SBgNhw1.031588447653429676.1796854172220773.84697414022928
BASE/connect4/50bOyw1.0534008058885538111.31849086788428105.67534242010197
DRESDEN/tictactoex9/rFkD4w1.087365740884086346.6884437185427318.8333333333333
BASE/tictactoex9/BI26ow1.0896102741856641344.0874550059992315.7894736842105
DRESDEN/connect4/T0-rHQ1.098206099518459114.0103.80565182617968
BASE/pentago/86NgKw1.101619088073488481.8421140324569374.2925707429257
BASE/connectFourSimultaneous/7ITr3g1.12576417407171217.95640871825634193.607518997467
BASE/snakeAssemblit/UO4sdg1.1530028598665396241.87581241875813209.77902209779023
BASE/breakthroughSmallHoles/bxclRw1.1668791349946046373.4542181927269320.04533031131257
BASE/pegEuro/5awwhg1.174870369484807578.643073744543366.93766034718288
BASE/lightsOut/5P1ZBw1.1794303896904041765.7649.2116929435686
BASE/majorities/ibJzSQ1.2009775088983052122.35105957616953101.87622887992802
BASE/duplicateStateLarge/dcjyuw1.2060721764700866331.88893703543215275.1816545563629
BASE/numbertictactoe/rvJ-iQ1.2069148936170213983.2333333333333814.6666666666666
BASE/ticTacToeLarge/TZC0dg1.2456170116502658734.1666666666666589.4
BASE/qyshinsu/R08Lzw1.261677053319374474.7825507381610959.272339574865065
BASE/ticTacToeLargeSuicide/727_8g1.2751860901187568748.0666666666667586.6333333333333
DRESDEN/capture_the_king/EQ229Q1.29080275904431618.3996007319913514.25438596491228
BASE/tictactoe2/bhrDoQ1.29623687577425332127.61641.3666666666666
DRESDEN/small_dominion/yB5GJA1.33874381364258220.52337272401729880.3909431503502199
BASE/pawnWhopping/Ypc_6Q1.3409260339409177355.53333333333336265.14015265140154
BASE/racer/QQYQNw1.34176044944619280.106672355858979150.07950178879024777
DRESDEN/blocker/S815zQ1.34532536008230452789.66666666666652073.6
DRESDEN/catcha_mouse/cHv4dw1.3542642831983092512.6378.508099460036
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.36694823241807370.50076366458849740.36633696339960703
BASE/catcha_mouse/cHv4dw1.3685043524136111518.7827072430919379.0873637545415
STANFORD/tictactoe3/X7myng1.37168956984152041736.83333333333331266.2
DRESDEN/racer/vk_ZBA1.37548088767600960.113707430780601510.08266740148801323
DRESDEN/eotcatcit/mQUxzA1.39461564615337053008.02156.866666666667
BASE/sum15/QZ07Kg1.4251761075857253264.03333333333332290.266666666667
BASE/eotcatcit/AfZSzA1.426571634499882968.93333333333342081.1666666666665
DRESDEN/chickentictactoe/Ipbo-g1.44999185682488552670.93333333333341842.0333333333333
DRESDEN/sum15/CsgWKg1.45679798578199083278.7666666666672250.6666666666665
BASE/pearls/6k_mEQ1.462338912581444820962.43333333333414334.866666666667
STANFORD/alquerquezero/uVgA_A1.464208128449573697.2333333333333366.4067706250833
BASE/duplicateStateMedium/U163eQ1.47477248635089291110.4666666666667752.9749008366388
BASE/factoringMediumTurtleBrain/8RBqmQ1.4765030374973815704.809839672011477.35075497483416
BASE/peg/fJHVWw1.478952048904432899.7367456429737767.43744377436444
BASE/chomp/-LcqYQ1.485756316181954332.03333333333336223.4776522347765
BASE/lightsOnParallel/SC6enA1.49354123322435342177.53333333333331457.9666666666667
BASE/checkers-mustjump-torus/uSApKQ1.50319393153009282.19582792693881631.4607748746721556
DRESDEN/chomp/-LcqYQ1.507861093378601338.7435427428762224.65168988734084
DRESDEN/mimikry/GJEhwA1.5183216332910716239.9506699553363158.03678528588566
DRESDEN/crisscross/GsY16g1.5386940993601657319.67868808746084207.75974134195528
BASE/ticTacToeParallel/ymRGPw1.5584080002660106781.1501.2166261124629
DRESDEN/stratego/Z2wovg1.5940133634554834355.38815372820903222.95180321311912
DRESDEN/tictactoe_3d_2player/LMuX9w1.596913475280381773.1747934985345145.822641383677144
BASE/crisscross/ICagEg1.6155973988133079338.8333333333333209.72634245525148
DRESDEN/latenttictactoe/kITHKg1.61766791877905922052.7666666666671268.9666666666667
BASE/tictactoe_3d_2player/IUC1rQ1.639148556433252673.4892397894596644.83378855505962
BASE/3pConnectFour/PqXOFQ1.6514532244485602326.9197.9468719794687
DRESDEN/tictactoe/BTTzPw1.6665637012630423237.1333333333331942.4
DRESDEN/fizzbuzz/t1xHzQ1.669366070283246510.8749875286840276.514441453119288
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1.72901491330817398.7267515498966857.1
DRESDEN/smallest/9kaGFw1.756662209487424261.26666666666666634.87674883411059
STANFORD/tictactoe5/WFRReg1.84769424419269932152.93333333333341165.2
BASE/englishDraughts/jFkQxg1.8527703896117933166.794414636584890.02433090024331
BASE/tictactoe-init1/7M19vA1.90656431974589722641.11385.2666666666667
DRESDEN/tictictoe/LAUtwg1.90806902418276822093.53333333333331097.2
DRESDEN/othello-cornercontrol/r5Gdlg1.93001057984105051.05218163285437140.5451688419972421
DRESDEN/connectfoursuicide/M9CNQg1.9355266246908027573.8296.45678477384087
DRESDEN/sheep_and_wolf/enAIzQ1.954589939322764665.7111429619013340.58864704509847
DRESDEN/tictactoe-init1/3ltIBQ1.97006908953246262775.43333333333341408.8
BASE/mineClearingSmall/frsbvw1.9751594125500669147.974.88003199146894
DRESDEN/connectfour/5tc-Mg1.997040044609073557.0333333333333278.92947606985734
BASE/eotcitcit/V_9_bg2.0033780642761962154.7666666666671075.5666666666666
DRESDEN/tictactoe_3player/ESLQQQ2.0258632007351975514.3495216826105253.89153694876836
DRESDEN/sat_test_20v_91c/dK7nVw2.1230297766038033424.7191760274658200.0533297780148
BASE/tictactoe_orthogonal/WRzlVw2.1409792549226383925.21833.3666666666666
BASE/aipsrovers01/4C4jsw2.1511689306184563856.4381187293757398.12685398126854
STANFORD/pentago/ZxzLmg2.154035719945987165.7613223581164476.95384102649558
DRESDEN/tictactoe_orthogonal/y69QFQ2.1562386454472793956.2666666666671834.8
STANFORD/multipletictactoe/_bkafQ2.168189029342397438.1041263915739202.05993133562214
BASE/connectFourSuicide/c8p9Kw2.1865874308056754568.5477150761641260.01599893340443
DRESDEN/aipsrovers01/qS47Mw2.198997493734336877.4399.0
BASE/connectFour/WAIKTw2.2822508621161863567.1965077143524248.52504916502784
STANFORD/connectfour/VMpZkQ2.288148734810579533.4666666666667233.14335233143353
STANFORD/tictactoe7/-bE9-A2.2890278634134882598.7333333333331135.3
BASE/guess/SPpk1A2.3071694299689155.9120784754103782.5624812805750605
BASE/rubiksCube/9tNO9Q2.33324661893397195.583.78882815624583
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw2.36254661694192873.03010122535961651.282557221783741
BASE/connectFour_9x6/B9TtMw2.415879116263441479.1666666666667198.3404978506448
BASE/chickentictactoe/DSlZCA2.4214090494989372657.91097.6666666666667
STANFORD/tictactoe/ss1kyQ2.42896279655909282955.41216.7333333333333
BASE/checkers-cylinder-mustjump/rjr6qQ2.43170292155596532.99910026991902431.2333333333333334
STANFORD/trifecta/ss1kyQ2.4345521715866322982.53333333333331225.0849943337112
STANFORD/untwistycomplex/HTWEwg2.48827050639055176152.02472.4
BASE/checkLines/Vop7oQ2.5072484340815424370.1876604113196147.646980402613
BASE/duplicateStateSmall/bCPAXw2.51977198382354976085.3333333333332415.0333333333333
BASE/chinook/XQh0IQ2.54461850154585759.7527243643149923.481997135529426
STANFORD/skirmish/w4V6Vw2.5624413249654426.1206839198988762.388614271970275
DRESDEN/lightson2x2/gBHuig2.56383522436880274180.3333333333331630.5
DRESDEN/guess/PhxGhg2.57761456442831266.46551724137931052.508333608369913
BASE/tictactoe_3player/GtM71g2.578312029495099536.3748458692971208.03333333333333
BASE/haystack/UkweGA2.58569558566862135160.6333333333313598.133333333333
BASE/racer4/0vs7Ww2.602035374149660.75102040816326530.28862805464691166
BASE/ticTacToe/JRFsaQ2.64514969728803263189.43333333333341205.7666666666667
BASE/lightsOn/MsXu3A2.6493201178365676085.42296.9666666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.650287794871795430.6162.47292117980336
DRESDEN/3pttc/uwYBZw2.686838726897316592.7666666666667220.61862542497167
STANFORD/chinook/osFbPA2.69774122026957857.94928188210203521.480667399340593
BASE/brawl/6Ymo_Q2.70717731452161432.7372031838012512.092744353387967
BASE/stateSpaceSmall/Q7osKA2.7139313679121348607.2333333333343171.5
BASE/blocker/dIWtxg2.7201301292084832954.33333333333351086.1
BASE/connectFourLarge/aU644A2.7209195227963394346.01026598226787127.16666666666667
DRESDEN/pawntoqueen/f_x6Aw2.73704266479024533.5463343497282251.2956810631229236
BASE/factoringEasyTurtleBrain/lUj94Q2.74367918994844562962.53333333333331079.7666666666667
DRESDEN/statespacesmall/h-NqjA2.744919103334248742.9333333333323185.133333333333
STANFORD/tictictoe/rpt_Dw2.82199684471489752086.866666666667739.5
BASE/pawnToQueen/-O1_JA2.82277469547914753.53917904276783671.2537943777220535
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.8534277624407163447.8333333333333156.94574056792428
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.868075453677173800.7666666666667279.2
DRESDEN/brawl/2kXtfQ2.86812168069874633.5921618289065911.712251281027484
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.9070474324324325430.2147.985201479852
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.934396671195652431.9147.18528147185282
DRESDEN/3pffa/0YrmQw2.967392782865125637.2333333333333214.74519214745192
BASE/breakthroughSmall/HJ0tIA2.9842969888239854270.1243291890270490.51523028727588
BASE/ticTicToe/c1OobQ3.01289828725148422103.0333333333333698.0100663311223
BASE/circlesolitaire/azuQFQ3.03600248292985735054.0333333333341664.7
DRESDEN/circlesolitaire/ruUilQ3.04391121775644855074.21667.0
BASE/chickentoetictac/l57rfQ3.04658927246541244653.7666666666661527.5333333333333
BASE/escortLatch/mX9BjQ3.048613571844214255.0163322445170383.6499366793308
BASE/breakthroughSuicideSmall/XSbJog3.0605841763941384273.672632736726389.41843026162306
STANFORD/breakthrough/d5j0cQ3.078611532938344583.1138962034598189.4080789228103
STANFORD/madness/UO_B3A3.12369794263303077.21241732309635352.3089355806972987
DRESDEN/chickentoetictac/cxYaRQ3.12493831591225174643.8666666666671486.0666666666666
BASE/blocksWorldSerial/Wyg96Q3.1322438968742873660.96666666666671168.8
DRESDEN/uf20-01.cnf.SAT/42Rs8A3.183180679990811461.8333333333333145.0854914508549
DRESDEN/grid_game/U7_Yeg3.221158975234842628.6195.14715195147153
DRESDEN/blocksworldparallel/2JfVaw3.23909780376046762733.366666666667843.8666666666667
BASE/snake_2009_big/-oRfVw3.2458953837341222438.1520615979467134.98650134986502
STANFORD/freeforall/Lfp40Q3.292810697604185274.7483501099926683.4388537154282
DRESDEN/snake_2009_big/DgC1NQ3.30176088044022440.0133.26222459251358
DRESDEN/cube_2x2x2/fp-34Q3.36368460717724551436.1333333333334426.95243491883605
DRESDEN/snake_2009/zIYLVw3.36473673592899555.9666666666667165.23333333333332
DRESDEN/bidding-tictactoe/yW5vTA3.3791269307536362459.46936870875277135.97280543891222
BASE/dualConnect4/WbCQkg3.3842780518915334385.0538315389487113.77724455108978
BASE/factoringMutuallyAssuredDestruction/NH0LGg3.38851169669265943360.5991.7333333333333
DRESDEN/knightwar/7hhAqg3.3989899847594165520.3333333333334153.08469153084692
DRESDEN/Thief_Police/CX18rA3.39970287573838943203.766666666667942.3666666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3.400642982408475102.8024925855576730.230310302303103
BASE/biddingTicTacToe_10coins/a-9ccQ3.411101523161898696.8075179952012828.380133906265613
BASE/snake_2009/7l-qAQ3.4303690054911535562.2163.88907406172922
DRESDEN/chinesecheckers4/-oVNYg3.431320149652592214.062.36666666666667
DRESDEN/catch_me/ghGWrA3.4464598762119423211.0666666666666931.7
DRESDEN/Catch-Me-If-You-Can/ghGWrA3.4717275629655913262.266666666667939.6666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA3.51071781131011163319.266666666667945.4666666666667
BASE/biddingTicTacToe/8mESVw3.540887207311593448.04026129849353126.53333333333333
BASE/checkers-mustjump/T-8UuQ3.61857954983292144.5587648076667111.2598216357789345
DRESDEN/skirmish3/3LU8Nw3.694944875702910663.2455848050649817.11678710579773
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.778047196489517774.8205.07949205079493
BASE/toetictac/mTThmg3.7997002345990095830.7666666666661534.5333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.803658099688473759.6666666666666199.72001866542232
STANFORD/dualhunter/1rPZjQ3.87062494834043671331.9666666666667344.12186260457986
DRESDEN/toetictac/mJtxCA3.8766510253736535948.3333333333331534.4
BASE/connectFourLarger/qKi60A3.8784806727343857173.9275357488083744.84424454439447
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.8807960445652756808.8333333333334208.4194387040864
BASE/buttons/hTcUjw3.959856942879579615464.0333333333333905.2
DRESDEN/buttons/ADUaHw3.972049636721667615599.0333333333333927.2
DRESDEN/skirmish/RjGQYQ3.987920136657779767.1532360194627716.83916270092183
STANFORD/jointbuttonsandlights/qAKuIQ3.99396742409008665296.5333333333341326.1333333333334
DRESDEN/skirmish2/iPpWhQ3.998865297222695768.893110688931117.22816488386817
BASE/2pffa/6oHijA3.999091220806274289.447370175321672.37828651404578
BASE/endgame/jYjfOA4.044512637457539148.195060164661236.6410179540988
DRESDEN/logistics/fPru1Q4.179548022598871232.9666666666667295.0
BASE/blocks/xIV5hQ4.188398070891035611261.0666666666682688.633333333333
BASE/blocksWorld/SEdXLQ4.20131404104532811382.22709.2
BASE/incredible/8Qh-6Q4.2449045097095173526.6666666666665830.8
BASE/survival/YVIjJA4.26144222550314729248.2666666666666863.466666666666
DRESDEN/battle/8oAvhQ4.3533295847941614.2005688959449620.9649094593290662
BASE/battle/8oAvhQ4.3718941026916494.2115735367269110.9633292659430993
BASE/connect5/d-BVQg4.374259065690852202.819812012532546.36666666666667
DRESDEN/blocks/vg0DRw4.38698401080248911587.6333333333332641.366666666667
DRESDEN/chinesecheckers1/Y-ftaA4.50246984891744841.0333333333333186.79377354088197
BASE/ttcc4_2player_small/Cv72TA4.553534658740421294.613692420505364.7
BASE/blocks2player/wnTLOQ4.5719800673612897737.4666666666661692.3666666666666
BASE/choicethroughalt/tt71Lg4.579305539765658111.3555311135553224.317121918720854
DRESDEN/2player_normal_form_2010/NG_Kdg4.6181369524984587985.0666666666671729.0666666666666
BASE/2pffa_zerosum/o0_uZA4.635828877005348288.947403506432962.329178054796344
DRESDEN/knightazons/02I8BQ4.68251143003594762.5833111170354613.365330133653302
BASE/snakeParallel/RCVNtw4.7649867267345132450.233333333333514.2161927935736
BASE/coloredtrails/EZvr7g4.8000134625740452376.9666666666667495.2
DRESDEN/breakthrough/z4hK7Q4.813891070179827171.088594093727135.54060355739124
DRESDEN/chinesecheckers3/QsCb2A4.827295248384339536.8487717076098111.2110911151103
BASE/knightazons/apnJBQ4.85807054852320763.8666666666666713.146508686680423
DRESDEN/blocks2player/3ev8nQ4.9172337334658628575.01743.8666666666666
DRESDEN/tttcc4/sAvtFg4.925238913353334137.7241517232184527.96293827489668
DRESDEN/breakthroughsuicide/Y9QzqQ4.985584610818005180.375949873350236.17949828430556
DRESDEN/crissrace/KWb9bw5.011415704206508239.092030265657847.70947859403631
DRESDEN/breakthroughsuicide_v2/LU1nAw5.047720254899225178.594046865104535.381130063965884
DRESDEN/endgame/IJhh3Q5.0521888341426875123.1625612479584124.378059746228395
BASE/tttcc4/8Bs2lg5.128226913691673143.2952234925502427.942449876773463
DRESDEN/knightthrough/J7Fc_Q5.137206021218686172.004665889018533.482142857142854
DRESDEN/8puzzle/8fKC2w5.1382820358076844257.066666666667828.5
BASE/hex/T1MK8g5.1654321084739525128.395720142661924.856723977075838
BASE/ttcc4_2player/_aH_Mw5.186929126213593106.7333333333333320.577364898611528
BASE/troublemaker01/s3tlEQ5.22878576201178422955.0666666666664390.133333333333
BASE/ttcc4/Le0qjQ5.256441717791411142.7762039660056527.162139643392766
BASE/firefighter/WJmoPw5.2565186975324355510.2333333333341048.2666666666667
BASE/hexPie/48CH6Q5.263153302215025126.9159003065440524.11404209965361
BASE/3pffa/pR0dzA5.286304482419341328.4447703486434362.13126229125696
DRESDEN/knightstour/cGISAA5.2873929677392432815.266666666667532.4489183693877
BASE/breakthroughWalls/vOZaYA5.296021817376622167.7832216778322231.680991405156906
BASE/crissrace/ERWGDA5.306049294586903253.6453825154803847.80305806322662
STANFORD/hex/MTqWcw5.348411105104691127.4957501416619423.838060993474496
BASE/breakthrough/TGxk-g5.354990024692833169.5610146328455731.664114004128653
DRESDEN/point_grab/r5DPmQ5.3827375341406237423.3333333333331379.1
BASE/breakthroughSuicide/wZDpIg5.4149159663865545171.816151718161531.730160317301603
DRESDEN/troublemaker01/C-lPWw5.42410789204692823702.2666666666664369.8
DRESDEN/troublemaker02/iZLVuA5.49904869094514620520.83731.7
DRESDEN/smallest_4player/ADDROA5.526638876712886201.2532497833477736.41512577044811
BASE/onestep/xi53wA5.52952568460855440068.233333333337246.233333333334
STANFORD/ttcc4/Cx9SGw5.566749475937249118.9309873704555321.364530213645303
BASE/smallest_4player/ADDROA5.569564901342157201.1932935568814336.123700346574246
DRESDEN/firefighter/WJmoPw5.6501643655489815729.2666666666661014.0
STANFORD/pilgrimage/ObRZnQ5.65066021122979248.2834477701486543.938838735467534
BASE/breakthroughHoles/nZk0Sg5.702301802761172179.3547096860209331.453037017292505
BASE/chineseCheckers4/avfBcQ5.776081926588411344.366666666666759.619422134835204
BASE/troublemaker02/DI83KA5.790753302717952521142.2333333333343651.0333333333333
DRESDEN/checkers-cylinder-mustjump/vW_-pA5.8047212773980033.25484074529210550.5607230028365987
BASE/4pffa/Q3ADlg5.813229919384965318.212119192053954.739297018157586
BASE/hodgepodge/9yjRkw5.8532709963749715759.033333333334983.9
BASE/asteroidsSerial/id2QkA6.0027502568651361804.5666666666666300.62331255624815
DRESDEN/frogs_and_toads/GjchhQ6.163506511883214520.249325022499384.40801093005432
BASE/shmup/ssTNlg6.2058276566757495910.8333333333334146.77064587082583
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg6.2177738311532783.47601549309762660.5590450195665757
BASE/switches/tPUoCg6.26302308562304512551.9333333333322004.1333333333334
DRESDEN/minichess/c7GMFw6.2844409101571665595.266666666666794.72070390614584
BASE/untwistycomplex2/EDPPAQ6.31411309868646617801.82819.366666666667
STANFORD/untwistycorridor/EDPPAQ6.32431335569428317661.0666666666662792.5666666666666
BASE/minichess/8NQEiA6.439688715953307661.9779340688643102.79657344755175
DRESDEN/chinesecheckers2/06E6-Q6.486782905209541647.07843071897699.75336621783762
DRESDEN/chinesecheckers6/yTbPDA6.795404981773998372.7666666666666554.85569552756115
STANFORD/checkersonabarrelnokings/Zrevdw6.825818989207622166.50003332666824.392682195341397
DRESDEN/oisters_farm/pTQMLg6.9470289638698127755.21116.3333333333333
BASE/beatMania/qUHwvQ7.24239535293469853653.6666666666665504.4831838938702
STANFORD/bestbuttonsandlightsbig/g0JC6g7.2983524219017556393.6876.0333333333333
BASE/checkersTorusNoKings/pwb6oQ7.418274385808219174.570904849191823.532548915036166
STANFORD/bestbuttonsandlights/nm0wEA7.5434881786222269369.7666666666661242.1
STANFORD/hunter/14dD-g7.6581158779301193463.0452.2
DRESDEN/4pttc/9pB9AQ8.033264882161586673.610879637345483.85269121813032
BASE/ad_game_2x2/D0aWqg8.0935268919562110.237981913374583520.029403981299067895
DRESDEN/gt_prisoner/huCp4w8.152888933178321636.0666666666666200.67324356752434
BASE/ttcc4_2player_alt/ZEJvYA8.164187652173913156.4333333333333419.160918391149323
BASE/checkersTorus/2vm1EQ8.206378625506618161.6279457351421619.695404405638683
DRESDEN/gt_chicken/CeuKtw8.2428593926987391342.0333333333333162.8116251166511
BASE/colonelBlottoVariant2/jruwGw8.2541026998411853.97035468501852850.4810159055926116
BASE/checkersBarrelNoKings/rnKNeg8.337131513898752200.526649111696324.052235325471383
BASE/asteroidsParallel/WauZiA8.3423045212544712228.4333333333334267.1244291856938
STANFORD/8puzzle/jNiGtw8.369238872794314237.066666666667506.26666666666665
STANFORD/eightpuzzle/W_aWbA8.49926875130584068.0333333333333478.6333333333333
BASE/eightPuzzle/vLrgFg8.5542376213483654249.033333333334496.7167761074631
DRESDEN/pacman3p/rBnk8Q8.767966190650235208.0722570323956723.730960237309603
BASE/maze/cCX3qQ8.84860237346296916503.2333333333341865.0666666666666
STANFORD/multiplebuttonsandlights/cK70Yg8.88563332232860310765.8333333333341211.6
BASE/gt_dollar/TGjqRw8.9214360823193625939.0665.7
STANFORD/knightstourmedium/x1wu8Q9.0988771054273242917.1320.6
STANFORD/multiplebuttonsandlights_9/SqB9BA9.13352226279361411172.7333333333341223.2666666666667
BASE/2pttc/unkkYA9.31205726681128286.133333333333330.72718789575418
BASE/pacman2p/4LEdQg9.423167393561787201.2666666666666821.358706500765187
BASE/asteroids/BKCmPQ9.4242775997873774333.766666666666459.8513382887237
BASE/tron_10x10/7ZTgDg9.550828670689342321.3333333333335243.0504633024465
STANFORD/knightstour/cEwgNA9.6157314034879582701.7280.96666666666664
BASE/amazons_8x8/7SOsIw9.62356933320752590.990900909909029.455005493225022
STANFORD/buttonsandlights/eyhJpA9.68728995263026632379.7666666666663342.5
STANFORD/3puzzle/41ibjA9.7405653950953689532.766666666666978.6666666666666
STANFORD/threepuzzle/41ibjA9.860287311002169586.5972.2333333333333
BASE/pacman3p/wW7UVQ9.902570227805363210.426319122695921.24966693312017
BASE/skirmishNew/sibw2g10.08070021606444853.955875491568365.352393617021277
BASE/knightsTour/mvtVIg10.277297906900242776.8333333333335270.19099363354553
BASE/gt_chicken/gmepTQ10.3606658250043821312.8666666666666126.71643780829223
BASE/chineseCheckers2/eCMR3Q10.4595550032488641072.9102.5760655846969
BASE/wallmaze/uxNQ9g10.492147782401743253.791540281990624.1887119344306
BASE/racetrackcorridor/_RkdUg10.637968042220765629.912336255458259.213595468177274
BASE/gt_staghunt/xPjLRA10.8346974468692051687.9333333333334155.78961402573162
BASE/point_grab/V_osUg10.9548304977375557666.3699.8100063331223
BASE/gt_prisoner/klthDw11.1416109039052231692.5151.9080153307782
DRESDEN/checkers-mustjump-torus/cVc3gA11.2399524601854052.42928452579034950.2161294306533284
DRESDEN/four_way_battle/xSOQXA11.48539973697138619.7245875465673241.7173618679612932
BASE/chineseCheckers1/gqtwHw11.5436253313452611548.3333333333333134.1288623712543
BASE/dotsAndBoxes/EHwA_w11.673238030303029342.2666666666666529.32062772798454
BASE/chineseCheckers3/-1rZdQ11.717927135231317877.874.91086007531074
BASE/dotsAndBoxesSuicide/jzQbLw11.72431354565693339.6993633969936528.97392346887801
BASE/speedChess/bPnisA11.74574912764200958.310009329601494.964349970013993
BASE/chineseCheckers6/rREH3A11.94155697329377536.466666666666744.924348463640605
BASE/gt_coordination/IVMOzA12.5566115120836062562.9666666666667204.11292204112922
BASE/four_way_battle/xSOQXA12.66375967092389821.3985734284381051.6897488569345969
BASE/knightsTourLarge/M8jgLA12.7635394839389141345.5666666666666105.42269002731331
DRESDEN/kitten_escapes_from_fire/uW-YiA12.843441253413829992.533333333333377.2793921620901
BASE/kitten_escapes_from_fire/uW-YiA12.91881601636709981.933333333333376.00799733422193
BASE/wargame02/BkVqqQ13.0631225665029728.541930327049892.1849240242327936
DRESDEN/SC_TestOnly_enabled/09o7gQ13.904426098776623068.4220.67793220677933
BASE/hallway/ckCJOw14.033877844555839247.1921346442259717.61395797955582
DRESDEN/hallway/0H4l-Q14.549878733288711253.0582313922869317.392463265918103
BASE/3pttc/0sol9g14.673300137307251318.3893870204326521.698553429771348
STANFORD/platformjumpers/HEQskA14.83392727272727381.15.467196819085487
BASE/wargame01/_GZFZg14.84313535568779832.263434773922892.1736266631537347
BASE/knightThrough/gcwFjA15.012340264532625173.382661733826611.549342652687635
STANFORD/knightstourbig/TQUI2g15.1734194589877861159.133333333333476.3923607639236
BASE/hitori/S8Gsyg15.5824928670957484.1470373565125080.2661343978709248
BASE/wargame03/klXI8w16.5532155948017334.288570476507832.0714144801736043
BASE/knightwar/DVGY4Q16.684742095101967522.509913692558931.316631130063964
DRESDEN/hitori/S8Gsyg16.7476110484863234.60844771566872250.27517045280826735
DRESDEN/racetrackcorridor/O0DoTA17.753975928052051030.433333333333458.039581528619976
BASE/amazonsSuicide_10x10/XIbQkg18.50185301590548571.44999500116643.8617750848924697
BASE/amazons_10x10/Bun8dA19.65434370655341272.890281295827223.7086092715231787
BASE/gt_centipede/9fRMpw20.7865253077975410129.966666666667487.3333333333333
DRESDEN/checkers-mustjump/HUr33w21.025830556493054.8248095032109940.22947057859367317
BASE/colonelBlottoVariant/X-n-KQ21.92775544189366210.1915070774354710.46477657526060684
BASE/mummyMaze2p_2007/YGA3Vw22.50406113081523673.855076328244829.94370982246944
DRESDEN/Runners/3bOCQw23.1588693957115025544.233333333334239.4
DRESDEN/mummymaze2p-comp2007/oTQRQg23.314864896073903673.028.86570447651745
BASE/ruleDepthLinear/OUBJpQ24.2380565815643119905.1821.2333333333333
DRESDEN/roshambo2/jgSlkQ25.1885528931673128024.233333333334318.56666666666666
BASE/roshambo2/KNPokQ26.113959329922558166.433333333333312.72290923635876
BASE/amazonsTorus_10x10/Uxc08g29.3778223278515546.012984851007161.5662490002665956
BASE/4pttc/AL1k2Q29.501605607476634420.133333333333314.241032807612964
DRESDEN/connect5/1kYzSg30.240232982206386202.046121034390846.681367870190567
BASE/sheepAndWolf/g4THrg34.237501337792644681.419.902153293174027
DRESDEN/bomberman2p/x4h6jQ37.4468081568627441060.533333333333328.32106087362143
BASE/bomberman2p/4CClwA37.9655581947743461065.566666666666628.066666666666666
BASE/checkers/rOC3Xg40.5112513220230930.556481172942350.7542714721411472
BASE/knightmove/jBaJEw52.31140059044445137.195426819106022.6226678175419957
DRESDEN/knightmove/97Ipcw55.64707411115428144.85218144852182.603051171373027
BASE/quarto/EwBMVQ59.238956568114396245.29182360587984.140718166158739
DRESDEN/quartosuicide/WIU1oQ59.742042187343806247.325802259322224.139895343445717
BASE/checkers-newgoals/0XkFiA60.72508139601302426.8559242969478870.4422542330048016
BASE/mummymaze2p/vpjDdA60.930473260073256922.666666666666615.142942723067195
BASE/checkersSmall/SYmq8w61.0331600057775948.165061164627840.7891621728265158
DRESDEN/mummymaze2p/k-8edg61.84357758112095930.133333333333315.040095830699098
DRESDEN/quarto/OQzRYQ63.36374689149706256.891436952101574.054233683370995
DRESDEN/ghostmaze2p/HY0UwA63.961681206030152119.733.14015454303224
BASE/quartoSuicide/-23jUg64.28252833333335255.266666666666683.9710116152089743
BASE/hanoi/iGLsJg64.50496190476191354.333333333333320.995800839832032
DRESDEN/hanoi/RQ0jiA65.437795275590551385.121.166666666666668
BASE/ghostMaze2p/W-NU-w69.733991165553082086.466666666666729.920367840602406
BASE/cylinder-checkers/hlldmw75.248167756208921.110112209902440.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q79.372755438584822.2873704900556360.28079371022089106
BASE/kalaha5x2x3/WviNsw90.341369696969691488.416.475287069395907
BASE/crossers3/O0rORg94.965745314.33.3096144299189145
DRESDEN/knightfight/4_Ly4w98.636378254058191232.092263591213612.4912561207155
DRESDEN/crossers3/xiPTxg98.85322339054946321.91187254183053.256463082341995
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg100.7138729281768607.03333333333336.027306027306027
DRESDEN/snake_2008/E56l3A101.00094267010272514.31618946035135.092191972309126
BASE/snake_2008/i6K26g102.38177148481017517.18276057464755.051512130275839
BASE/knightfight/SJRkAg105.138832871652811264.833333333333312.030125299920021
BASE/snake_2008_tweaked/bX0NJQ105.19192850877194530.86666666666675.0466482950961185
DRESDEN/checkers-newgoals/IJOqXQ106.46733288918529.780146568954030.2797115862754848
BASE/skirmishZeroSum/zh4hcw118.6374980962534253.7046908315565050.4526788889966696
BASE/checkersTiny/Lr48cg133.47727987364425102.016330611564740.7642973448974845
DRESDEN/battlebrushes/QHXV4A162.0897673781244443.731875604146530.2698003477426704
DRESDEN/merrills/aYEzwA186.66334595204893.5199574948528920.018857250612860643
BASE/merrills/pku8Tg196.464516767890133.53181938209664640.0179768817300951
DRESDEN/Travelers-Dilemma/PvZwYw237.4029226513813761.352351118072450.2584313218762114
BASE/kalaha6x2x4/XS81Mg272.90813047619051269.46666666666674.651626407947636
DRESDEN/max_knights/hCipiA310.4452228571428360.13333333333331.1600543568327202
BASE/max_knights/2fq3Ag335.8296844650633367.08776374120861.093077177873468
BASE/hanoi_6_disks/MeubgQ589.51845416666661256.46666666666672.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ600.70971248.32.0780420226275687
DRESDEN/blobwars/ZaMluQ849.8671110962969120.295990133662220.1415468236892764
BASE/blobwars/0XT15Q855.2183054009929124.446073368207110.1455138092604988
DRESDEN/checkers/jIDMIg1088.63780288637831.4635203146352040.028901734104046242
DRESDEN/pancakes88/aD3E7g1099.856134426229611170.710.156510156510157
DRESDEN/pancakes/hl9aiQ1319.889216720257313658.26666666666610.348040194316896
BASE/gt_tinfoil/Q8DyKg1330.621392620246665.11116296123460.49985004498650404
DRESDEN/pancakes6/SZXMyQ1338.575042122186513856.710.35182904503545
BASE/pancakes6/QZTdnw1496.803489967304813658.9674365896749.125424631985613
BASE/pancakes/yUgbXw1518.715179856115414031.3333333333349.23894981721502
BASE/hanoi7_bugfix/3gdnFw3229.2101851851853915.36666666666670.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw3282.1960925925923922.16666666666660.2809602597321512
DRESDEN/hanoi7/51zz5Q3362.824111111111937.30.2787240631774543
BASE/solitaireChineseCheckers/-ET6gw6005.0187387.13333333333330.06446829771459885
BASE/pancakes88/l2Xaig8828.7161111111110468.8333333333341.1857707509881423
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA14593.8541122.00.07688167909587146
DRESDEN/vacuumcleaner_random/_6AGDA17401.191870541963988.900739950670.05682948313585088
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A18260.7321409.33333333333330.07717835918808366
BASE/twisty-passages/DiZmmg20571.84321087.76666666666670.05287648054145516
DRESDEN/twisty-passages/j7NPyg21087.3781111.50.052709255745308874
DRESDEN/vacuum_cleaner_1/eUNjpw21755.046228710461120.35463120354620.051498609537542483
DRESDEN/kalaha_2009/gcC8uA24189.083551150.30.047554509356349715
BASE/kalaha_2009/dRiN3g25658.53011182.06666666666660.04606914979384055
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity326.935892309742770.0
BASE/amazonsSuicide/dE1QEQInfinity0.176180408738548260.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_OSTD: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/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/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
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: 2147484126
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