index

PALAMEDES_JAVA_ECLIPSE:0.6.1 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_ECLIPSE:0.6.1 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
BASE/queens08lg/Ru7eqQ1.0306884824538692E-40.024117306579201234233.99220025999134
BASE/colonelBlotto/jip21A0.0059333908844834116.7100717512622911130.9
BASE/queens08ug/kJ_ZFQ0.010960552696830298.598188238906802784.4666666666667
BASE/queens06ug/7Lq3tw0.01629391250189964425.1681203808509221544.6333333333334
DRESDEN/golden_rectangle/1uloXw0.037489584542931374.216047538425787112.45916938870742
BASE/racer/QQYQNw0.14172395110341995216.492783573880871527.5666666666666
DRESDEN/racer/vk_ZBA0.14549092873394234218.149098543673151499.4
DRESDEN/fizzbuzz/t1xHzQ0.42324462824777495021.611864.533333333333
BASE/cittaceot/fDxhXg0.4607552519654595238.32538915369489517.249425019166
BASE/racer4/0vs7Ww0.5536510800380895368.2210592980234665.0778307389754
BASE/golden_rectangle/_nYzfw0.559429923167385863.04775234096438112.7
BASE/simultaneousWin2/PfjRjw0.7232473652548285209.5247617143238289.7
BASE/nim2/eF2Qqw0.72831423895253694183.05743.4
DRESDEN/nim2/z5_exA0.73495848161328584130.4666666666665620.0
BASE/nim4/twk16w0.75965260003745553245.03333333333334271.733333333334
BASE/nim3/1OwUqw0.76069715828845453267.64295.533333333334
DRESDEN/nim3/sG_axA0.76217437904841793271.14291.8
DRESDEN/Runners/3bOCQw0.76795105911322768649.111262.566666666668
DRESDEN/nim4/F5YAYg0.78852142378493433334.04228.166666666667
DRESDEN/point_grab/r5DPmQ0.80152063172135797741.39658.266666666666
BASE/point_grab/V_osUg0.82861692243395127996.7333333333349650.7
BASE/colonelBlottoVariant2/jruwGw0.93496475188842814080.46666666666674364.3
DRESDEN/nim1/M9BALA0.94066050541047715798.26163.966666666666
DRESDEN/pancakes6/SZXMyQ0.986057234121305511277.76666666666611437.233333333334
BASE/pancakes6/QZTdnw0.997780293909401411132.86666666666711157.633333333333
BASE/zhadu/DlA8iQ1.01102312546260311.48162939297124711.356445865387817
BASE/nim1/hin2Qw1.0130639097744365748.85674.666666666667
BASE/firefighter/WJmoPw1.02374386736592784034.2333333333333940.6666666666665
DRESDEN/pancakes/hl9aiQ1.031296501597728211597.06666666666811245.133333333333
BASE/blockerSerial/3eqDuw1.04189332625713151047.03333333333331004.9333333333333
DRESDEN/firefighter/WJmoPw1.04311554521185574063.73895.733333333333
DRESDEN/Travelers-Dilemma/PvZwYw1.0475617966721179439.39010.733333333334
BASE/colonelBlottoVariant/X-n-KQ1.05092432296652355159.9333333333334909.9
BASE/pancakes/yUgbXw1.056238961264709211342.63333333333310738.7
BASE/hidato37/pBrqxw1.144424113399118687.7304089863671276.65900076659001
DRESDEN/pancakes88/aD3E7g1.167448159697721510257.98786.6
BASE/blocks2player/wnTLOQ1.17313349469372556300.95371.0
BASE/checkers-mustjump-torus/uSApKQ1.183831292517007110.293.08758832155712
BASE/pancakes88/l2Xaig1.190770971137681510105.28486.266666666666
DRESDEN/blocks2player/3ev8nQ1.202058704378896527.95430.6
DRESDEN/checkers-mustjump-torus/cVc3gA1.2068351325527658111.5443577951076492.42717152189854
BASE/ghostMaze2p/W-NU-w1.21584773004386332559.42105.0333333333333
DRESDEN/ghostmaze2p/HY0UwA1.2299434849872132597.06666666666662111.5333333333333
BASE/coloredtrails/EZvr7g1.23623738635228292474.72001.8
BASE/god/qF06gw1.252807066361831463.0681818181818250.34149591870732
BASE/checkers-cylinder-mustjump/rjr6qQ1.2653204279048595123.5333333333333397.63007899736675
BASE/knightwar/DVGY4Q1.2895080946450811380.63333333333341070.6666666666667
DRESDEN/roshambo2/jgSlkQ1.296219302622096510911.8333333333348418.2
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1.3006714874606895125.5372313843078496.51724712547909
BASE/beatMania/qUHwvQ1.3026759648422525547.9666666666664258.9
DRESDEN/checkers-cylinder-mustjump/vW_-pA1.3125937971213162127.6333333333333497.23749541804125
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg1.3176983424782809128.0333333333333397.16437306321015
DRESDEN/knightwar/7hhAqg1.3276611486174051435.61081.3
BASE/roshambo2/KNPokQ1.33389414424434110994.08242.033333333333
DRESDEN/mummymaze2p/k-8edg1.3376623376623376751.9562.1
DRESDEN/gt_ultimatum/pAiiQw1.35546813532651466316.9333333333334660.333333333333
BASE/twisty-passages/DiZmmg1.36219402941941441571.21153.4333333333334
DRESDEN/hanoi7_bugfix/3gdnFw1.36913203250349356172.3666666666674508.233333333334
DRESDEN/god/2EDD5w1.382074248483440769.626370696263750.37816945990071
BASE/pacman3p/wW7UVQ1.3840673911913057887.2333333333333641.0333333333333
DRESDEN/pacman3p/rBnk8Q1.3845498602000215858.3619.9126695776807
BASE/hanoi7_bugfix/3gdnFw1.39445398086004566309.34524.566666666667
BASE/mummymaze2p/vpjDdA1.4029049384949348775.5552.7815739475351
BASE/ticTacToeSerial/Amrwqw1.40534521158129191388.2987.8
DRESDEN/hanoi7/51zz5Q1.43388894885356096199.4666666666664323.533333333334
BASE/gt_ultimatum/GE-uOA1.440681359638996236.1333333333334328.6
DRESDEN/twisty-passages/j7NPyg1.45512298929711451549.91065.1333333333334
BASE/checkers-mustjump/T-8UuQ1.5207826422682933180.05466302246518118.3960534648845
DRESDEN/smallest/9kaGFw1.52345716299204662017.66666666666671324.4
DRESDEN/bunk_t/7-tPfA1.52346154952674121765.13333333333341158.6333333333334
BASE/crossers3/O0rORg1.53089685020437631061.1666666666667693.1666666666666
DRESDEN/chinesecheckers6/yTbPDA1.534077519379845824.5666666666667537.5
DRESDEN/doubletictactoe/lJzgmQ1.53556485355648521773.83333333333331155.1666666666667
BASE/doubletictactoe/HH1htg1.557404713412861784.26666666666671145.6666666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA1.559955820089586912711.38148.5
BASE/doubletoetictac/fu35bg1.56756435761156791759.81122.6333333333334
STANFORD/multiplebuttonsandlights/cK70Yg1.571278317481930312847.7666666666668176.633333333333
DRESDEN/crossers3/xiPTxg1.57534564350004611131.8333333333333718.4666666666667
DRESDEN/hanoi/RQ0jiA1.57791447577670857772.3333333333334925.7
DRESDEN/checkers-mustjump/HUr33w1.5788124774132193184.43333333333334116.81775763231569
BASE/pacman2p/4LEdQg1.58125822584890791001.2633.1666666666666
BASE/bunk_t/xbpfIA1.58934707903780081819.16666666666671144.6
DRESDEN/oisters_farm/pTQMLg1.60264586428365639457.2666666666665901.033333333334
BASE/hanoi/iGLsJg1.60666075742095267915.04926.366666666667
BASE/hallway/ckCJOw1.6073525124240753291.03333333333336181.06378724255148
DRESDEN/hallway/0H4l-Q1.6074407665467305292.89023699210026182.20903879482736
DRESDEN/doubletoetictac/V89gKQ1.61371743757306871794.41111.9666666666667
BASE/chineseCheckers6/rREH3A1.67983353457002421530.3333333333333911.0029665677811
BASE/untwistycomplex2/EDPPAQ1.704850164086510622909.83333333333213438.033333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g1.73043412043177289089.5666666666685252.766666666666
BASE/tictactoe_3d_6player/d7KSwg1.7453464117242279207.30569257432342118.77624475104979
BASE/copolymer_4/2LDVhQ1.75057244374259761478.0666666666666844.3333333333334
DRESDEN/blocker/S815zQ1.75057891984761363905.83333333333352231.1666666666665
STANFORD/untwistycorridor/EDPPAQ1.757267627999897622869.66666666666813014.333333333334
BASE/blocker/dIWtxg1.7616869993656793980.7666666666672259.633333333333
BASE/sheepAndWolf/g4THrg1.764751301538894929.4356854771507526.6666666666666
DRESDEN/smallest_4player/ADDROA1.76600473038398653708.43333333333342099.9
BASE/copolymer_4_pie/IN5_jA1.7713981541848961376.5666666666666777.1074297523415
DRESDEN/chickentoetictac/cxYaRQ1.7798803753738275753.1666666666673232.3333333333335
DRESDEN/racetrackcorridor/O0DoTA1.79158381502890161291.4333333333334720.8333333333334
DRESDEN/tictactoe_3d_6player/ulZPWg1.7916462139670832201.49303472638806112.46251249583472
BASE/smallest_4player/ADDROA1.79581281602167953622.6333333333332017.2666666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1.79674312191182973115.1333333333331733.7666666666667
DRESDEN/bomberman2p/x4h6jQ1.80353669956061371669.2333333333333925.5333333333333
BASE/chinook/XQh0IQ1.805617823672027682.6439118696044378.06666666666666
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.81422326832548774676.12577.4666666666667
DRESDEN/quad_5x5_8_2/JRTLJg1.8152326201760598200.86565673381057110.655601106556
BASE/gt_tinfoil/Q8DyKg1.815762224545600912041.1666666666666631.466666666666
DRESDEN/lightson2x2/gBHuig1.81924894609519355941.03265.633333333333
STANFORD/chinook/osFbPA1.8195372252880242626.4457851404953344.2885237158761
DRESDEN/knightmove/97Ipcw1.8235884265018661514.7333333333333830.6333333333333
BASE/chickentoetictac/l57rfQ1.85570913209446725898.4333333333333178.5333333333333
DRESDEN/sheep_and_wolf/enAIzQ1.8663125850119828960.4666666666667514.6333333333333
STANFORD/knightstourbig/TQUI2g1.86803225138878215345.28214.633333333333
BASE/biddingTicTacToe_10coins/a-9ccQ1.86808313731538973229.66666666666651728.8666666666666
BASE/knightmove/jBaJEw1.8681376305917471543.7666666666667826.3666666666667
BASE/mummyMaze2p_2007/YGA3Vw1.87103837408415872221.7333333333331187.4333333333334
STANFORD/bestbuttonsandlights/nm0wEA1.876177056508430412871.26860.333333333333
DRESDEN/chinesecheckers3/QsCb2A1.88121841531828071352.5333333333333718.9666666666667
BASE/asteroids/BKCmPQ1.89334427775546210841.15725.9
BASE/bomberman2p/4CClwA1.9150593471810091721.0898.6666666666666
DRESDEN/aipsrovers01/qS47Mw1.93543858432847473722.31923.2333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ1.94077868335394022563.83333333333351321.0333333333333
DRESDEN/ticblock/Z2yNWQ1.94262403528114662936.61511.6666666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg1.94417077175697852289.06666666666661177.4
BASE/racetrackcorridor/_RkdUg1.9450940742043261474.9758.2666666666667
BASE/aipsrovers01/4C4jsw1.94587533970369083699.43333333333341901.1666666666667
BASE/catcha_mouse/cHv4dw1.95001656441717761207.8619.3793540215327
DRESDEN/latenttictactoe/kITHKg1.96253955056698782832.53333333333331443.3
BASE/double_tictactoe_dengji/zgaSbA1.96572344648582622574.96666666666671309.9333333333334
BASE/ticblock/T21C1g1.97380692086298852948.93333333333341494.0333333333333
BASE/kalaha_2009/dRiN3g1.97601190233562973231.83333333333351635.5333333333333
BASE/kalaha6x2x4/XS81Mg1.9839050354849613130.8666666666671578.1333333333334
BASE/asteroidsSerial/id2QkA2.0094318066416175276.52625.866666666667
BASE/knightsTourLarge/M8jgLA2.017775064636598616857.38354.4
DRESDEN/catch_me/ghGWrA2.018894321394919139.44526.933333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.02312531247901279037.2333333333344466.966666666666
DRESDEN/toetictac/mJtxCA2.03981076789602078307.3333333333344072.6
BASE/toetictac/mTThmg2.0424054689168988285.7666666666664056.866666666667
DRESDEN/chinesecheckers2/06E6-Q2.0458373486403821627.6795.5666666666667
DRESDEN/catcha_mouse/cHv4dw2.04936165529385851241.3666666666666605.7333333333333
DRESDEN/grid_game/U7_Yeg2.05412738560588661488.9724.8333333333334
DRESDEN/CatchMeIfYouCanTest/CX18rA2.05508302956662639133.24444.2
DRESDEN/kalaha_2009/gcC8uA2.0610991515765483255.31579.4
DRESDEN/Thief_Police/CX18rA2.08288910350491649130.0666666666684383.366666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ2.10394985273015634643.0666666666672206.8333333333335
BASE/hexPie/48CH6Q2.108699940816729356.2762482501167168.95540297313514
STANFORD/multipletictactoe/_bkafQ2.141202745189143614.4333333333333286.95710142995233
DRESDEN/bidding-tictactoe/yW5vTA2.1440005426304014214.5333333333341965.7333333333333
BASE/incredible/8Qh-6Q2.1526000960572854930.12290.3
STANFORD/dualhunter/1rPZjQ2.15521808228853962034.1666666666667943.8333333333334
BASE/kalaha5x2x3/WviNsw2.1563775253794353575.6333333333331658.1666666666667
BASE/biddingTicTacToe/8mESVw2.15839671822921144209.2333333333341950.1666666666667
BASE/majorities/ibJzSQ2.1670722237035065288.8948140247967133.31111481419762
DRESDEN/snake_2009_big/DgC1NQ2.172160823170732759.9666666666667349.8666666666667
STANFORD/jointbuttonsandlights/qAKuIQ2.18173288732968958913.8333333333344085.6666666666665
BASE/chineseCheckers4/avfBcQ2.2141296141772961857.4333333333334838.9
BASE/snake_2009_big/-oRfVw2.2431552782363795769.9343.2218926035799
DRESDEN/circlesolitaire/ruUilQ2.2637991296433689866.4666666666674358.366666666667
BASE/circlesolitaire/azuQFQ2.26448631901038689818.1333333333334335.7
BASE/gt_coordination/IVMOzA2.266623401066055512959.0415250283285717.333333333333
DRESDEN/chinesecheckers4/-oVNYg2.2860506658005844938.5410.53333333333336
BASE/hex/T1MK8g2.2913310898506194392.87380841277246171.46095130162328
DRESDEN/chinesecheckers1/Y-ftaA2.32038415525721132327.51003.0666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.3262086747245694724.9311.6229459018033
BASE/wallmaze/uxNQ9g2.3404965574796575747.8666666666667319.53333333333336
STANFORD/hex/MTqWcw2.3457451801363196401.5171.16096130128994
BASE/gt_staghunt/xPjLRA2.356200723311154412814.1976337277125438.5
STANFORD/platformjumpers/HEQskA2.3813241417806306568.8238.858704709843
BASE/lightsOn/MsXu3A2.384248010054461612330.9333333333325171.833333333333
DRESDEN/crissrace/KWb9bw2.39205470230907121452.5666666666666607.2464251191627
DRESDEN/gt_prisoner/huCp4w2.393133122328044811533.1466853314674819.266666666666
BASE/asteroidsParallel/WauZiA2.39464512235673736481.2666666666662706.5666666666666
BASE/chineseCheckers3/-1rZdQ2.42986008008278233600.56666666666661481.8
BASE/factoringEasyTurtleBrain/lUj94Q2.43323986516719835437.9666666666662234.866666666667
BASE/tictactoe_3d_small_6player/g_9lww2.4363340273768337743.9752008266391305.3666666666667
BASE/chess_200/XsTpYA2.443974826794883131.3956201459951453.763082461169255
BASE/eightPuzzle/vLrgFg2.4540576264833258292.8333333333343379.233333333333
BASE/quarto/EwBMVQ2.4669598759868782281.0333333333333924.6333333333333
BASE/crissrace/ERWGDA2.4678028200288661481.8333333333333600.4666666666667
BASE/quartoSuicide/-23jUg2.46837021989379532308.6666666666665935.3
BASE/gt_prisoner/klthDw2.5034536038601812745.8333333333345091.3
DRESDEN/quartosuicide/WIU1oQ2.5040696641194242348.4937.8333333333334
STANFORD/8puzzle/jNiGtw2.5082344696400868351.1666666666663329.5
DRESDEN/quarto/OQzRYQ2.50915475294707862334.266666666667930.3
DRESDEN/8puzzle/8fKC2w2.5388602616092948326.73279.7
DRESDEN/cube_2x2x2/fp-34Q2.5429160758025013287.56666666666661292.8333333333333
DRESDEN/Goldrush/VeWczQ2.54999261519070771978.1333333333334775.740808639712
BASE/tictactoe_orthogonal/WRzlVw2.55957337591969447479.52922.1666666666665
BASE/factoringGeorgeForman/HGRorQ2.5609289726327538571.63347.0666666666666
BASE/factoringMediumTurtleBrain/8RBqmQ2.57881806407634651345.0666666666666521.5826139128695
STANFORD/eightpuzzle/W_aWbA2.58068434699169078426.9666666666673265.4
BASE/shmup/ssTNlg2.60326194814801464809.71847.5666666666666
BASE/sum15/QZ07Kg2.6042749381166347399.72841.366666666667
DRESDEN/tictactoe_orthogonal/y69QFQ2.60793032317212967585.62908.6666666666665
DRESDEN/connect5/1kYzSg2.6265379018388675661.8251.96666666666667
BASE/quad_5x5/JAEP5g2.630505906573098188.6949570315102371.73333333333333
DRESDEN/logistics/fPru1Q2.63458195984417152930.53333333333331112.3333333333333
BASE/lightsOnParallel/SC6enA2.6458034921037844864.1333333333331838.4333333333334
DRESDEN/max_knights/hCipiA2.64676947620313771327.2666666666667501.46666666666664
DRESDEN/chickentictactoe/Ipbo-g2.64715648295842955421.22047.9333333333334
DRESDEN/sum15/CsgWKg2.6564041604754837449.02804.1666666666665
DRESDEN/javastrike/whONTQ2.6797152912824416530.3156561447952197.9
DRESDEN/towerworld/HCX34w2.702185827232831660.132591531465522.25331467785995
DRESDEN/gt_chicken/CeuKtw2.70671028320888912341.6966546714654559.666666666667
BASE/gt_chicken/gmepTQ2.723206690216999312591.24623.666666666667
BASE/chickentictactoe/DSlZCA2.72451265964597865674.4333333333332082.733333333333
BASE/knightfight/SJRkAg2.72710506992708455323.41952.0333333333333
BASE/max_knights/2fq3Ag2.76224286662242861387.5666666666666502.3333333333333
BASE/connect5/d-BVQg2.764963104673408674.4666666666667243.93333333333334
DRESDEN/quad_5x5/JAEP5g2.779782389787226195.132507657477770.19704433497537
DRESDEN/crisscross/GsY16g2.79754700889412342296.133333333333820.7666666666667
BASE/crisscross/ICagEg2.80303589743589752277.4666666666667812.5
DRESDEN/othello-cornercontrol/r5Gdlg2.82223928678453719.94680851063837.067724060125427
DRESDEN/knightfight/4_Ly4w2.8387781150821035486.0333333333341932.5333333333333
DRESDEN/guess/PhxGhg2.85456010538428953141.91100.659956002933
DRESDEN/knightthrough/J7Fc_Q2.91234724006162041617.3666666666666555.348155061498
BASE/guess/SPpk1A2.94623123355517753172.61076.8333333333333
BASE/dotsAndBoxes/EHwA_w2.9505435807201661565.0666666666666530.4333333333333
DRESDEN/tictactoe_3player/ESLQQQ2.97295458411294431747.8587.9
BASE/knightThrough/gcwFjA2.9800693810058661591.9534.1821939268691
BASE/sudokuGrade6E/ihYFZA3.01929362275576144.17496751840623414.63089485085819
BASE/ticTacToeParallel/ymRGPw3.0220569835198232817.866666666667932.4333333333333
BASE/checkLines/Vop7oQ3.04042336138740143179.06666666666661045.6
BASE/4pffa/Q3ADlg3.0475340508896472203.7723.1092296923435
BASE/sudokuGrade6H/ieE_9A3.05615629061415544.66517782740575614.614821226446502
BASE/endgame/jYjfOA3.058874943387162821.20595980134268.46666666666664
BASE/hidato19/rRHSmA3.069669984284966976.6341121962602318.15606146461784
BASE/snake_2009/7l-qAQ3.07060327767470651379.1666666666667449.15169494350187
STANFORD/alquerquezero/uVgA_A3.0779888168314711597.8333333333333519.1160294656845
DRESDEN/chinesecheckers6-simultaneous/gPPGUw3.0907125993009212648.3666666666667209.77902209779023
BASE/tictactoe_3player/GtM71g3.09370357673408771804.8666666666666583.4
DRESDEN/tictactoeparallel/yk_DSg3.1042054199948942836.9333333333334913.9
BASE/dotsAndBoxesSuicide/jzQbLw3.1080627461106451604.9516.3666666666667
DRESDEN/connect4/T0-rHQ3.1260088278758946834.6443570428638267.0
BASE/ticTacToe/JRFsaQ3.1265564924114677725.22470.8333333333335
BASE/connect4/50bOyw3.128849044974826841.4719509349688268.9397726893977
DRESDEN/tictactoe/BTTzPw3.13470657972732667756.12474.266666666667
DRESDEN/snake_2009/zIYLVw3.1374040407056311400.9666666666667446.536897540164
BASE/eotcatcit/AfZSzA3.16064815471714237425.12349.233333333333
DRESDEN/chomp/-LcqYQ3.1641550986068844262.4333333333331347.1
STANFORD/trifecta/ss1kyQ3.1677184028403817613.42403.4333333333334
DRESDEN/stratego/Z2wovg3.17428277353871021483.6666666666667467.4021731884541
STANFORD/tictactoe/ss1kyQ3.17437233605686857472.3666666666672353.9666666666667
DRESDEN/eotcatcit/mQUxzA3.18015129784302187538.8666666666672370.6
BASE/solitaireChineseCheckers/-ET6gw3.18130822726676283232.6333333333331016.1333333333333
BASE/lightsOnSimultaneous/_VN6lw3.18349917081260351279.7666666666667402.0
DRESDEN/vacuumcleaner_random/_6AGDA3.19205444016578987239.3666666666672267.9333333333334
BASE/chomp/-LcqYQ3.2206418944076254325.01342.9
BASE/tictactoex9/BI26ow3.232802176447726831.8257.3
DRESDEN/brain_teaser_extended/ZDp94A3.2512358402801855941.21827.3666666666666
BASE/snake_2008/i6K26g3.25296967283827731633.912202926569502.28325722475915
DRESDEN/tictactoex9/rFkD4w3.2541371582544687825.1666666666666253.57464253574642
BASE/chineseCheckers2/eCMR3Q3.26832369942196535654.21730.0
DRESDEN/snake_2008/E56l3A3.2735729912221471616.0493.65021165961133
STANFORD/duidoku/3SoMaA3.295637300635301250.4131680661068915.296940611877625
BASE/blobwars/0XT15Q3.31942617632889688.9333333333333207.5459120754591
BASE/brain_teaser_extended/ZDp94A3.32549668258776745964.51793.5666666666666
BASE/ticTacHeaven/18n58A3.3282097649186255858.9258.06666666666666
DRESDEN/blobwars/ZaMluQ3.333128923046521704.2431918936036211.28591427238183
BASE/ticTicToe/c1OobQ3.33550380752676336044.61812.2
DRESDEN/tictactoelarge/IwXcbg3.3430037313432833583.71072.0
STANFORD/tictictoe/rpt_Dw3.34474465720480256119.4333333333331829.5666666666666
BASE/ticTacHeavenFC/mrletw3.3499913687436393842.4385853804873251.47485251474853
BASE/tron_10x10/7ZTgDg3.35330548454808055378.3666666666671603.9
DRESDEN/3pffa/0YrmQw3.35409550365981173207.633333333333956.3333333333334
BASE/ticTacToeLargeSuicide/727_8g3.36997713677221363586.66666666666651064.3
BASE/eotcitcit/V_9_bg3.3734696148994586061.91796.9333333333334
DRESDEN/tictictoe/LAUtwg3.375973283146986099.0333333333341806.6
DRESDEN/tictactoelargesuicide/6J4DeA3.3798513888445963532.7333333333331045.2333333333333
BASE/ticTacToeLarge/TZC0dg3.40730747254142633577.91050.0666666666666
BASE/snake_2008_tweaked/bX0NJQ3.41563027129938131674.4490.21699276690777
BASE/lightsOut/5P1ZBw3.4230826341970453073.7897.9333333333333
STANFORD/triplesukoshi/Iu9mbA3.44268706355892551225.9356.0881303956535
DRESDEN/lightsout/XgLpzQ3.47111613876319773068.4666666666667884.0
STANFORD/sudoku/oJ1qyQ3.5205369718820153.8594854019464115.29865637887455
DRESDEN/4pttc/9pB9AQ3.55452260114784442498.0702.7666666666667
DRESDEN/cylinder-checkers/clOO3Q3.570785011015082468.23333333333335131.12896236792108
DRESDEN/lightsout2/LFtfyQ3.57983847065797273220.9899.7333333333333
DRESDEN/skirmish2/iPpWhQ3.5842300836051493756.6747775074164211.1122221111222
DRESDEN/ggp-course2013_nicolai/uEin8g3.6052175615057673259.8160122658489472.06666666666666
STANFORD/hunter/14dD-g3.60541368898599537920.7333333333342196.9
BASE/sudokuGrade3/eI8dvg3.60782722103766956.3666666666666715.623438488956994
BASE/cylinder-checkers/hlldmw3.6220793313623556478.0507316422786131.9824023463538
BASE/lightsOnSimul4/9FeASw3.6244862944162441166.2321.7559414686177
DRESDEN/endgame/IJhh3Q3.6291501998747773837.1333333333333230.66924410078656
BASE/sudokuGrade4/DTy07w3.629402646728689557.59040159973337615.867735604271315
BASE/sudokuGrade5/BQfUQA3.63616230969495758.7941205879412116.16927837109492
BASE/3pffa/pR0dzA3.6470889466635153086.1666666666665846.2
DRESDEN/skirmish3/3LU8Nw3.6792721140939593730.9198.65342310512634
BASE/checkers-newgoals/0XkFiA3.7015672566371673529.8143.12856238125397
DRESDEN/battlesnakes1509/-qZrLw3.7438391699092091924.3333333333333514.0
BASE/rubiksCube/9tNO9Q3.7483116449071311464.1666666666667390.6203126562448
DRESDEN/checkers-newgoals/IJOqXQ3.7593861853849937539.3820205993134143.4760873187802
BASE/breakthroughHoles/nZk0Sg3.76348802526537441430.0379.96666666666664
STANFORD/breakthrough/d5j0cQ3.7732438985997561784.4333333333334472.91756941435284
BASE/withConviction/3Xm54A3.78314284355682371679.5333333333333443.9518682710576
DRESDEN/skirmish/RjGQYQ3.783429152542373744.0196.64700196647001
BASE/numbertictactoe/rvJ-iQ3.8261440825028515144.6333333333331344.6
BASE/tictactoe2/bhrDoQ3.8281586565505519300.7666666666662429.5666666666666
BASE/4pttc/AL1k2Q3.8524198878657232412.4333333333334626.2124595846805
BASE/sudokuGrade2/u80Tfw3.852859675953945760.2891213110385715.647889199627114
DRESDEN/battlesnakes2011/93VtTw3.9076654430030361887.6483.05056498116727
DRESDEN/peg_bugfixed/u_B7MA3.94637476374903161698.2430.3189893670211
BASE/sudokuGrade1/tDRNRw3.962770765027321464.3666666666666616.242843829050727
BASE/peg/fJHVWw3.9667936344052131677.6333333333334422.9192360254658
DRESDEN/peg/Vo31eg3.97582867490748761683.2333333333333423.3666666666667
BASE/breakthroughSmall/HJ0tIA3.9969318986641382247.266666666667562.2479250691644
BASE/futoshiki6/JmvXNA4.008075286379343504.91650278324056125.9748050389922
DRESDEN/breakthroughsuicide/Y9QzqQ4.0297516384960331557.6333333333334386.53333333333336
BASE/breakthroughWalls/vOZaYA4.0480842943437671556.1666666666667384.4205193160228
DRESDEN/blockerparallel/dVQgSg4.0596790511849741075.03083230559264.8068526480685
BASE/breakthroughSuicideSmall/XSbJog4.0735874624403462304.7565.7666666666667
BASE/dualConnect4/WbCQkg4.0772409835305041952.9333333333334478.9840338655378
DRESDEN/breakthroughsuicide_v2/LU1nAw4.0954631173659051542.3376.58744708509715
BASE/2pffa/6oHijA4.11454564991582753829.133333333333930.6333333333333
BASE/breakthrough/TGxk-g4.12207548676536551531.3371.48761707943066
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4.145546830940093185.3768.3666666666667
BASE/pegEuro/5awwhg4.1602911979663171454.6666666666667349.6550114996167
BASE/checkers/rOC3Xg4.179529777710722923.3666666666667220.9259691343622
BASE/conn4/va9Y7A4.185266086497891234.3333333333333294.923502549915
DRESDEN/mummymaze1p/AekgaQ4.1877664218581482718.0649.0333333333333
BASE/mummymaze1p/PT_EXA4.19449287252589452726.7650.0666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4.2077107960541413056.8726.4757841405286
BASE/blockerParallel/7-nDJA4.2143496361428951079.9973334222193256.26666666666665
DRESDEN/breakthrough/z4hK7Q4.218003177162651569.4666666666667372.08759708009734
DRESDEN/backgammon/mqCW0Q4.222073541324576856.9666666666667202.9729369417411
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4.251377198008023215.6756.3666666666667
DRESDEN/3pttc/uwYBZw4.2545459984101343686.866666666667866.5711142961901
BASE/breakthroughSuicide/wZDpIg4.2686362642287361587.4371.8752083194454
DRESDEN/sat_test_20v_91c_version2/a1mPBA4.2710420841683362841.6666666666665665.3333333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4.2711134352385863036.233333333333710.8763041231958
DRESDEN/checkers/jIDMIg4.32338337260103615.9794673510883142.47625395767372
DRESDEN/sat_test_20v_91c/dK7nVw4.3444834985788882921.133333333333672.3775874137528
BASE/stateSpaceMedium/3bUoIw4.36692834556265111922.7333333333342730.233333333333
BASE/futoshiki5/TJ4BZg4.389831258539548963.7219.53007832027996
BASE/wargame01/_GZFZg4.3898943685662392174.9495.43333333333334
BASE/checkersSmall/SYmq8w4.3923243366359191285.6333333333334292.7
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4.4371790042868482883.774415038997649.9116696110129
DRESDEN/tpeg/h-Scbg4.4483615642833162061.233333333333463.3691087260849
DRESDEN/statespacemedium/dVJZ_w4.48480258014073512236.9333333333322728.5333333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4.50519133463299213711.73043.5333333333333
BASE/tpeg/QNs7Lw4.5536259968696432036.5333333333333447.23333333333335
BASE/escortLatch/mX9BjQ4.5665960091934812185.5478.58404719842673
BASE/knightazons/apnJBQ4.575732899022802749.2163.73333333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A4.630987372986778514022.1666666666663027.9
DRESDEN/knightazons/02I8BQ4.639794871794872753.9666666666667162.5
BASE/3pttc/0sol9g4.6514617529643973482.4333333333334748.6750441651945
BASE/2pffa_zerosum/o0_uZA4.6540204073592573937.766666666667846.1
DRESDEN/knightstour/cGISAA4.67019932814253739807.0666666666668523.633333333333
STANFORD/freeforall/Lfp40Q4.68903350984275853866.733333333333824.6333333333333
BASE/breakthroughSmallHoles/bxclRw4.6905045897596952240.266666666667477.61741275290825
STANFORD/duikoshi/tpw1sw4.6934050031010962270.2483.7
BASE/chineseCheckers1/gqtwHw4.71253164742210710733.7333333333342277.7
BASE/ttcc4/Le0qjQ4.7838348509868682027.8423.8858704709843
DRESDEN/tttcc4/sAvtFg4.7967694338743492058.9333333333334429.23333333333335
STANFORD/knightstour/cEwgNA4.80575295324953841522.6666666666648640.2
BASE/knightsTour/mvtVIg4.814068518143117539579.6666666666648221.666666666666
BASE/choicethroughalt/tt71Lg4.8205124510656811477.5306.5026830650268
BASE/tttcc4/8Bs2lg4.8644417142261492073.9666666666667426.35245491816937
STANFORD/multiplesukoshi/vLSQPg4.946230937946566241.6172255182987748.848755456332675
DRESDEN/farmers/S_ASnw4.9516800386077092736.133333333333552.5666666666667
STANFORD/ttcc4/Cx9SGw4.9678386167283772325.5333333333333468.1177294090197
DRESDEN/connectfoursuicide/M9CNQg4.9768536364687053349.0333333333333672.9218052129858
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg5.0117204301075273107.266666666667620.0
BASE/2pttc/unkkYA5.0714115213239984249.166666666667837.8666666666667
BASE/four_way_battle/xSOQXA5.089573611111112692.0666666666667135.97733711048159
BASE/connectFour/WAIKTw5.091427225703773411.9333333333334670.1329867013299
BASE/checkersTiny/Lr48cg5.1294566320268392089.5407.3530882303923
DRESDEN/pawntoqueen/f_x6Aw5.134017504109467100.0599760095961619.48960554371002
BASE/3pConnectFour/PqXOFQ5.1519322392800421946.4377.8
DRESDEN/tictactoe_3d_small_2player/HYttcg5.1790604304191492144.3333333333335414.0390640623958
STANFORD/selectivesukoshi/3xmXYg5.186858437568576262.5666666666666650.62152164494951
DRESDEN/four_way_battle/xSOQXA5.193389181834642688.9437018766041132.65782281181254
STANFORD/connectfour/VMpZkQ5.2006915213469633459.5665.2
DRESDEN/frogs_and_toads/GjchhQ5.2094597067804132483.266666666667476.684110529649
DRESDEN/minichess/c7GMFw5.2216576691013024384.8839.7333333333333
DRESDEN/connectfour/5tc-Mg5.2407693466828483454.6659.1780273990867
BASE/ttcc4_2player_alt/ZEJvYA5.24812569267879252683.366666666667511.3
BASE/duplicateStateMedium/U163eQ5.30272108843537510029.5666666666681891.4
DRESDEN/battle/8oAvhQ5.331999952618658257.991400286657148.385484354693595
DRESDEN/tictactoe_3d_2player/LMuX9w5.337892892657027679.1773607546415127.23697803845769
BASE/tictactoe_3d_small_2player/oOryKA5.34147895116737552137.766666666667400.2199926669111
DRESDEN/uf20-010.cnf.SAT/5ICbCg5.3640546228770013653.1681.0333333333333
BASE/cubicup/4wNWJA5.374581383685678748.1417286090464139.2
BASE/connectFourSuicide/c8p9Kw5.3867267298727153427.9333333333334636.3666666666667
BASE/cubicup_3player/e2yA_g5.405730821917808341.963.24769235895898
DRESDEN/vacuum_cleaner_1/eUNjpw5.41888563049853418478.43410.0
DRESDEN/cubicup/SBn_lw5.438834909750138766.5666666666667140.94317613731045
BASE/connectFour_9x6/B9TtMw5.4400771775082693289.4333333333334604.6666666666666
DRESDEN/uf20-01.cnf.SAT/42Rs8A5.4477185374987673685.2676.4666666666667
BASE/englishDraughts/jFkQxg5.449010324548562481.0333333333333455.3181560614646
BASE/pawnToQueen/-O1_JA5.46955879133811103.3195573923476918.88992537313433
DRESDEN/uf20-020.cnf.SAT/hDrW_A5.4757853201970443519.9642.811906269791
BASE/battle/8oAvhQ5.484896987978741263.4403226344032348.03013132457836
DRESDEN/cubicup_3player/awDtsQ5.4897146803900325337.7666666666666561.5271806152718
DRESDEN/slidingpieces/s9_44g5.518473938592625834.7333333333333151.26162461251292
STANFORD/pilgrimage/ObRZnQ5.5860267393736022219.366666666667397.3068462102527
BASE/connectFourLarge/aU644A5.5959267481378022671.0333333333333477.31742275257494
BASE/tictactoe_3d_2player/IUC1rQ5.610640177439797688.5666666666667122.72515165655624
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.6145332750837342570.3333333333335457.8
BASE/checkersBarrelNoKings/rnKNeg5.685809344712862620.4460.8666666666667
STANFORD/checkersonabarrelnokings/Zrevdw5.7221496577145872293.9333333333334400.88663711209625
BASE/slidingpieces/uFJWEw5.782420529801325843.9145.94234294284286
DRESDEN/mimikry/GJEhwA5.80080572963294652159.8333333333335372.3333333333333
BASE/ttcc4_2player/_aH_Mw5.8184001450514152495.733333333333428.93807079528034
BASE/ttcc4_2player_small/Cv72TA5.8947025416627874221.0716.0666666666667
BASE/checkersTorusNoKings/pwb6oQ6.0622222460056572643.0666666666666435.98973435989734
BASE/futoshiki4/BaCwSw6.1448174105496132776.4333333333334451.8333333333333
BASE/connectFourSimultaneous/7ITr3g6.2593721726190481775.9333333333334283.7238758708043
BASE/amazons_8x8/7SOsIw6.30308963222021751862.1666666666667295.4371229543712
BASE/pawnWhopping/Ypc_6Q6.3184317030550913655.9333333333334578.6140461984601
STANFORD/pentago/ZxzLmg6.375447675191972343.0333333333333367.5088327444837
DRESDEN/pawn_whopping/4ogBkg6.4022752577319593829.5598.1467284423852
BASE/speedChess/bPnisA6.4613104450499541106.5333333333333171.25524965002333
BASE/checkersTorus/2vm1EQ6.5457056638317982462.766666666667376.24158389440703
BASE/amazonsSuicide_10x10/XIbQkg6.6316028454669291460.5220.23333333333332
DRESDEN/pawn_whopping_corrected/7Ov0jQ6.6467898081605993730.4561.2333333333333
BASE/connectFourLarger/qKi60A6.6695409278600921830.5666666666666274.46666666666664
BASE/skirmishZeroSum/zh4hcw6.6896833697075511021.5333333333333152.70279277477837
BASE/skirmishNew/sibw2g6.7394271112085971024.1151.95653623091795
BASE/quad/tw-Ufg6.740506708392981510.0875586776309221.4965579167913798
BASE/amazons_10x10/Bun8dA6.7954788452726441483.0218.23333333333332
BASE/snakeAssemblit/UO4sdg6.8189470855113912304.5337.9554014866171
BASE/brawl/6Ymo_Q6.872452685181972397.540163989067457.845456665889174
BASE/slaughter/cOch8A7.0293596880104152.0949301689943821.637095968842583
DRESDEN/brawl/2kXtfQ7.133789545022107406.6260040662600757.0
DRESDEN/ggp-course2013_jordi/9QI6Kw7.467005507876857790.5069831005633105.86666666666666
BASE/stateSpaceLarge/0Ge_CQ7.4841529674003897162.833333333333957.0666666666667
DRESDEN/statespacelarge/8-y5HQ7.5600424703592287120.3941.8333333333334
DRESDEN/vacuumcleaner_random_big/DwzFaQ7.6689609753381944591.0598.6469372792109
BASE/ticTacToeNoVars/XT03NA7.71284447354324158638.91120.0666666666666
BASE/pentago/86NgKw7.9040219378427792017.6333333333334255.26666666666668
BASE/othelloHoles/c0qAzw8.02260088819342738.120921560793714.751691140075895
BASE/pentagoSuicide/SBgNhw8.1190701446141382002.4333333333334246.63333333333333
DRESDEN/grid_game2/kypTYQ8.1221860761562341656.6203.95986800439985
BASE/duplicateStateLarge/dcjyuw8.3440290924648385200.833333333333623.3
DRESDEN/merrills/aYEzwA8.373602236379334174.949171749491720.892940315390245
BASE/othelloSuicide/B442jg8.40567403972106537.465417819406024.457158062799361
BASE/merrills/pku8Tg8.454865999495464179.1606946435118721.190246498785804
DRESDEN/pentago_2008/hLjVpQ8.5293767306978462042.4333333333334239.45868471050966
BASE/wargame03/klXI8w8.589440794549093389.5666666666666394.62017932735574
BASE/nineBoardTicTacToePie/B8LzeQ8.6157246925260171821.0211.35772845430913
BASE/othello-comp2007/86ZoMw8.6446745660667437.268942547876774.311202493864827
DRESDEN/capture_the_king/EQ229Q8.660771376741904407.77281514565747.08273633001233
DRESDEN/quad/JPe6fg8.6864378540486513.0623125624791731.5037593984962405
DRESDEN/hanoi_6_disks/MeubgQ8.6884720628475632810.5666666666663776.3333333333335
BASE/qyshinsu/R08Lzw8.808415378570082812.772907569747692.27231830450864
STANFORD/knightstourmedium/x1wu8Q9.09675097364712480038.066666666678798.533333333333
BASE/hanoi_6_disks/MeubgQ9.23068885806749933276.633333333333605.0
DRESDEN/babel/WdSW4A9.2800393037619322203.7237.46666666666667
STANFORD/nineboardtictactoe/y28P-A9.300228448947781988.5213.81195213811952
BASE/quad_7x7/q-JOXg9.38811211248324578.159313236174888.325349367339522
DRESDEN/quad_7x7/q-JOXg9.64695077601740786.54390463188048.971114981433407
BASE/blokbox_simple/JBx4bg9.6504854368932067.2815533980582530.7545271629778671
BASE/amazonsTorus_10x10/Uxc08g9.6673591274993511240.9666666666667128.36666666666667
BASE/nineBoardTicTacToe/wRmqqA9.7517448104278212003.2666666666667205.4264857838072
BASE/skirmishHoles/AUCxCA9.9080119503189327.9333333333333433.09779348043464
BASE/amazonsSuicide/dE1QEQ9.9390585183836913.5261194029850741.3609055000497892
DRESDEN/Zhadu/9zpQ5w10.10845802919708553.666666666666654.772613693153424
BASE/mineClearingSmall/frsbvw10.7999091439801182076.0333333333333192.22692576914102
BASE/battlebrushes/arCwyA10.96268589604021393.797627725134198.55608092894593
BASE/snakeParallel/RCVNtw11.47660534488518323666.2666666666662062.131262291257
BASE/skirmishFinal3/-Olhfw12.083189109464954575.447485083830547.62380857161901
BASE/cephalopodMicro/9l2D3g12.538600376647835221.8666666666666717.694691592522243
DRESDEN/CephalopodMicro/H3XQfg12.559999999999999219.7926735775474217.499416686110465
BASE/skirmishFinal1/ecWTnQ12.861857142857142531.041.28486221718703
DRESDEN/skirmishfinal/hzq8ww12.866447031586814559.448018399386743.481158164795254
BASE/skirmishFinal2/gdB62Q13.020600258206617550.948301723275942.313586992736724
BASE/skirmish/Y_psYQ14.222633294975068411.666666666666728.944475901808612
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw14.440312012813669901.466666666666762.4270906242709
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g15.733981991790568921.271915205652958.5530042989969
BASE/amazons/RKKZjw15.88230092578353413.5612421697987480.8538587848932676
BASE/strangeSkirmish/gc1zKA16.05714427145133413.739084061062625.766666666666666
DRESDEN/battlebrushes/QHXV4A16.814919985123304338.055398153394920.10449044375372
DRESDEN/amazons/dNB28A16.957361596981656164.384018127894969.693961952026468
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw18.031246041934104936.266666666666751.92467922012998
BASE/gt_attrition/kD_SCA18.45726368508023369.1210292990233519.99868645737554
BASE/hitori/S8Gsyg18.75754210797573747.641745275157539.85819362533961
STANFORD/skirmish/w4V6Vw19.22711393661703559.266666666666729.08739546196648
DRESDEN/hitori/S8Gsyg19.537711335086183742.366666666666737.996603283492625
BASE/wargame02/BkVqqQ20.3240434015096165564.166666666667273.77262273772624
DRESDEN/small_dominion/yB5GJA20.90571376241062438.19641013686771.8270799347471451
STANFORD/madness/UO_B3A25.717119976905312741.728.84071002764179
DRESDEN/kitten_escapes_from_fire/uW-YiA38.0993180124935588639.333333333332326.5333333333333
BASE/kitten_escapes_from_fire/uW-YiA38.7485958928960188999.066666666672296.8333333333335
BASE/factoringImpossibleTurtleBrain/kcBhdw43.2998592210229912.357265759424370.2853881278538813
DRESDEN/ggp-course2013_michal13/jWKddg44.857894117647064177.83.963627885287946
DRESDEN/laikLee_hex/ZeP3QQ66.77298899958491639.966666666666724.56033032573788
BASE/laikLee_hex/zbyscQ126.281995023083541643.62692921766913.015528689717204
BASE/onestep/xi53wA135.14546859678312862079.221177.766666666666
BASE/queens/HyJJnQ153.60849499999998688.14.479569961283717
DRESDEN/queens/mW2wHQ169.79666000000003692.24.076640847941296
BASE/survival/YVIjJA175.442725905060662740503.115620.5
STANFORD/buttonsandlights/eyhJpA188.354794133589854111879.333333333521830.5
BASE/haystack/UkweGA258.186915505824064842433.318755.533333333333
BASE/switches/tPUoCg267.232096043612442222213.0333333338315.666666666666
BASE/ruleDepthLinear/OUBJpQ283.455485037398664536204.26666666716003.233333333334
DRESDEN/troublemaker02/iZLVuA349.154219973107334171950.666666666511948.733333333334
BASE/troublemaker01/s3tlEQ349.704392735875054572781.26666666713076.133333333333
DRESDEN/troublemaker01/C-lPWw382.24501987161554690312.03333333312270.433333333332
BASE/buttons/hTcUjw387.4711010625434164461.910747.8
DRESDEN/buttons/ADUaHw390.258287855339234152374.210640.066666666668
BASE/troublemaker02/DI83KA393.383990789169054134216.610509.366666666667
DRESDEN/statespacesmall/h-NqjA440.96372495129553930882.9333333338914.3
BASE/stateSpaceSmall/Q7osKA464.820827061742534127810.36666666678880.433333333332
BASE/maze/cCX3qQ505.59270030622715690580.66666666711255.266666666666
DRESDEN/2player_normal_form_2010/NG_Kdg512.48619609848062138468.23333333344172.733333333334
BASE/gt_centipede/9fRMpw527.5739056930353931990.73333333347452.966666666666
BASE/pearls/6k_mEQ549.01248766416156749998.73333333312294.8
BASE/duplicateStateSmall/bCPAXw662.12449441537724163505.0333333336288.1
BASE/blocksWorld/SEdXLQ687.77025597084654441459.8333333336457.766666666666
BASE/blocks/xIV5hQ707.11820332206434504012.9666666676369.533333333334
DRESDEN/blocks/vg0DRw719.6743318633444514996.8666666666273.666666666667
BASE/hodgepodge/9yjRkw785.12764747305132898848.33692.2
BASE/gt_dollar/TGjqRw786.55455665110323767937.16666666654790.433333333333
STANFORD/threepuzzle/41ibjA826.14037445439934794918.7333333335804.0
STANFORD/3puzzle/41ibjA866.19935817455695299378.86117.966666666666
STANFORD/tictactoe7/-bE9-A875.59603127213132101809.92400.4333333333334
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1001.0198927060079514.47802472426780.5139538469445444
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1173.7931746983936518.56295407585150.4417839234830245
STANFORD/sukoshi/4LYZZQ1180.35617871195881579867.41338.4666666666667
DRESDEN/tictactoe-init1/3ltIBQ1528.49282158475223704964.72423.9333333333334
BASE/tictactoe-init1/7M19vA1617.03529478845943781275.33333333352338.4
STANFORD/tictactoe5/WFRReg1631.29440657153763852628.02361.7
BASE/blocksWorldSerial/Wyg96Q1741.88940188877224980061.82859.0
STANFORD/tictactoe3/X7myng1841.38241072108424030479.22188.8333333333335
DRESDEN/blocksworldparallel/2JfVaw1910.51704890183243148914.21648.2
DRESDEN/satlike_20v_91c_version2/yd9ioQ2277.6940851501.10.659043727551323
DRESDEN/satlike_20v_91c/yeuENQ2770.3042594320761491.13451539794690.5382565869149823
BASE/snake2p/I3wWPQ2868.74148975898685032.6333333333238.7920402653245
BASE/minichess/8NQEiA3413.8567017596073058929.4896.0333333333333
BASE/blocksWorldParallel/RseaAQ7684.4632656028653242479.2666666666421.9526015799473
DRESDEN/coins/QwFP9w9026.8706657792743311547.566666667366.8544381853938
BASE/coins/QnGtnQ9290.6863294931993429892.7333333334369.17538830744616
BASE/coins_atomic/AA3SSw9351.6090714840723209472.2333333334343.2
BASE/ad_game_2x2/D0aWqg98374.30207716051765675.833333333317.948547497174765

Games with errors:

GamePALAMEDES_JAVA_ECLIPSE:0.6.1 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/alexChess/LNo83gException of type NullPointerExceptionException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type NullPointerExceptionTest process timed out after 240 seconds

index