index

GGP_BASE_PROVER:2015-04-26 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
DRESDEN/quad_7x7/q-JOXg0.18688576576093721.67657369303459858.971114981433407
DRESDEN/othello-cornercontrol/r5Gdlg0.496088775752335343.5062185763429487.067724060125427
BASE/quad_7x7/q-JOXg0.51934496460917634.3237282725399738.325349367339522
DRESDEN/guess/PhxGhg0.7283206125209457801.63333333333331100.659956002933
BASE/guess/SPpk1A0.7585203528865501816.81076.8333333333333
BASE/coins/QnGtnQ0.8137053810039725300.4369.17538830744616
DRESDEN/snake_2008/E56l3A0.8173128606797209403.46666666666664493.65021165961133
BASE/snake_2008/i6K26g0.8352909947574491419.55268157728074502.28325722475915
BASE/snake_2009_big/-oRfVw0.8373033523510462287.3808412772482343.2218926035799
BASE/chess_200/XsTpYA0.837458092179869445.02432846763980553.763082461169255
DRESDEN/coins/QwFP9w0.8388431522200013307.73333333333335366.8544381853938
DRESDEN/snake_2009_big/DgC1NQ0.8683307926829268303.8349.8666666666667
BASE/snake_2008_tweaked/bX0NJQ0.8737627206998935428.3333333333333490.21699276690777
DRESDEN/quad/JPe6fg0.88639582349837551.3329260503734971.5037593984962405
BASE/ticTacHeavenFC/mrletw0.9164704480754454230.46927076389815251.47485251474853
BASE/snake_2009/7l-qAQ0.9207856346991833413.5724285047663449.15169494350187
DRESDEN/snake_2009/zIYLVw0.9230424721952676412.1725218318779446.536897540164
BASE/speedChess/bPnisA0.9236441498989961158.17890947873616171.25524965002333
BASE/coins_atomic/AA3SSw0.9351204351204352320.93333333333334343.2
STANFORD/platformjumpers/HEQskA0.9896074863627229236.37636236376363238.858704709843
BASE/ticTacHeaven/18n58A0.991279820129446255.81627891473903258.06666666666666
BASE/eightPuzzle/vLrgFg0.99990135829626063378.93379.233333333333
DRESDEN/8puzzle/8fKC2w1.01586527223018373331.7333333333333279.7
BASE/qyshinsu/R08Lzw1.050443657674537396.9268715418972192.27231830450864
DRESDEN/Zhadu/9zpQ5w1.054030902626307357.7320274501965554.772613693153424
STANFORD/eightpuzzle/W_aWbA1.05968640901574073460.33265.4
STANFORD/8puzzle/jNiGtw1.06886919957951653558.83329.5
DRESDEN/bunk_t/7-tPfA1.07008256854339861239.83333333333331158.6333333333334
DRESDEN/double_tictactoe_dengji/bGaUyQ1.07615250687593061421.63333333333341321.0333333333333
BASE/skirmishZeroSum/zh4hcw1.078239622567643164.650201646502152.70279277477837
BASE/blokbox_simple/JBx4bg1.0886726483845150.82143308479716930.7545271629778671
BASE/double_tictactoe_dengji/zgaSbA1.10196447656369271443.51309.9333333333334
STANFORD/tictictoe/rpt_Dw1.11339661486326462037.03333333333331829.5666666666666
DRESDEN/doubletictactoe/lJzgmQ1.1176742172846631291.11155.1666666666667
BASE/skirmishNew/sibw2g1.1189230155002727170.02766574447517151.95653623091795
BASE/bunk_t/xbpfIA1.12213873842390371284.41144.6
BASE/othelloSuicide/B442jg1.12223696674966235.0019875447197564.457158062799361
STANFORD/hex/MTqWcw1.124911855309912192.54099453406212171.16096130128994
DRESDEN/pawn_whopping/4ogBkg1.129451100585121675.5774807506416598.1467284423852
BASE/pawnWhopping/Ypc_6Q1.1360480058375098657.3333333333334578.6140461984601
BASE/hexPie/48CH6Q1.1535638779740431194.90084985835693168.95540297313514
DRESDEN/tictictoe/LAUtwg1.15412007823166922085.03333333333331806.6
BASE/checkLines/Vop7oQ1.15595511349145651208.66666666666671045.6
BASE/dotsAndBoxes/EHwA_w1.1560987871551562613.2333333333333530.4333333333333
BASE/doubletictactoe/HH1htg1.15746290369508281326.06666666666661145.6666666666667
BASE/doubletoetictac/fu35bg1.15805101101576621300.06666666666661122.6333333333334
BASE/quad_5x5/JAEP5g1.164498141263940683.5333333333333371.73333333333333
BASE/ticblock/T21C1g1.16523504607215371740.91494.0333333333333
BASE/ticTacToeSerial/Amrwqw1.17166093001282311157.3666666666666987.8
DRESDEN/doubletoetictac/V89gKQ1.17167780808777231302.86666666666661111.9666666666667
DRESDEN/pawntoqueen/f_x6Aw1.172259027930779222.84686604942383419.48960554371002
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.1734869632357308658.6561.2333333333333
BASE/ticTicToe/c1OobQ1.17851230548504572135.71812.2
BASE/othello-comp2007/86ZoMw1.18135010357639455.09303951266602354.311202493864827
BASE/toetictac/mTThmg1.1827518774752274798.2666666666664056.866666666667
DRESDEN/ticblock/Z2yNWQ1.1871885336273431794.63333333333341511.6666666666667
DRESDEN/ghostmaze2p/HY0UwA1.1873204306507122507.06666666666662111.5333333333333
DRESDEN/toetictac/mJtxCA1.18765244151974984836.8333333333334072.6
BASE/dotsAndBoxesSuicide/jzQbLw1.192523673134464615.7794740175327516.3666666666667
BASE/eotcitcit/V_9_bg1.19698375009275072150.91796.9333333333334
BASE/asteroidsParallel/WauZiA1.19947781321970043246.46666666666672706.5666666666666
BASE/snakeAssemblit/UO4sdg1.2003556235000166405.6666666666667337.9554014866171
BASE/hex/T1MK8g1.202760497667185206.2264591180294171.46095130162328
BASE/asteroidsSerial/id2QkA1.20493551335432113164.02625.866666666667
BASE/slaughter/cOch8A1.21068160434799326.19563406098983521.637095968842583
BASE/majorities/ibJzSQ1.2157094831033795162.06758648270346133.31111481419762
DRESDEN/latenttictactoe/kITHKg1.2177417492320841757.56666666666661443.3
BASE/ghostMaze2p/W-NU-w1.22154835236179962571.42105.0333333333333
BASE/pawnToQueen/-O1_JA1.241539849752723.45259510960090718.88992537313433
BASE/dualConnect4/WbCQkg1.2416576940261754594.7342109648392478.9840338655378
DRESDEN/chickentoetictac/cxYaRQ1.2440548623285554021.23232.3333333333335
BASE/lightsOut/5P1ZBw1.2552156804514071127.1897.9333333333333
STANFORD/duikoshi/tpw1sw1.2558059403211357607.4333333333333483.7
BASE/tictactoe2/bhrDoQ1.26993839779384543085.42429.5666666666666
DRESDEN/blocks2player/3ev8nQ1.2726033955732336911.05430.6
BASE/blocks2player/wnTLOQ1.28105256625085346880.5333333333345371.0
DRESDEN/mummymaze2p-comp2007/oTQRQg1.28336447539776891511.03333333333331177.4
STANFORD/tictactoe3/X7myng1.2836518693367852809.72188.8333333333335
DRESDEN/quad_5x5/JAEP5g1.287425674231514490.3734771320151870.19704433497537
DRESDEN/babel/WdSW4A1.2965165975646542307.87947470168655237.46666666666667
BASE/racer4/0vs7Ww1.2985447618570305863.6333333333333665.0778307389754
BASE/ticTacToeLargeSuicide/727_8g1.30141877290237721385.11064.3
BASE/blocksWorldSerial/Wyg96Q1.30301970385915823725.33333333333352859.0
STANFORD/sukoshi/4LYZZQ1.30634556955720481748.51338.4666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.3125091014999273600.8666666666667457.8
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.32024641013405051014.4333333333333768.3666666666667
DRESDEN/tictactoelarge/IwXcbg1.32036691542288561415.43333333333341072.0
BASE/colonelBlottoVariant/X-n-KQ1.32277643129187976494.74909.9
DRESDEN/tictactoe-init1/3ltIBQ1.32294617563739373206.7333333333332423.9333333333334
BASE/blocks/xIV5hQ1.323257590822988428.5333333333336369.533333333334
BASE/amazons_8x8/7SOsIw1.323531367396057391.0202993233559295.4371229543712
BASE/othelloHoles/c0qAzw1.33214738774367946.3299529396168894.751691140075895
BASE/ticTacToeLarge/TZC0dg1.33324868262332561400.01050.0666666666666
STANFORD/tictactoe5/WFRReg1.33420840919676523151.02361.7
BASE/chickentoetictac/l57rfQ1.33779730693401594252.2333333333343178.5333333333333
DRESDEN/tictactoe_orthogonal/y69QFQ1.3383107953243183892.72908.6666666666665
BASE/coloredtrails/EZvr7g1.3439238019116132690.2666666666672001.8
DRESDEN/crossers3/xiPTxg1.3487519717917786969.0333333333333718.4666666666667
BASE/breakthroughWalls/vOZaYA1.3504725570103182519.1493616879437384.4205193160228
DRESDEN/bomberman2p/x4h6jQ1.35064467334149671250.0666666666666925.5333333333333
DRESDEN/skirmish/RjGQYQ1.3526325393673317265.991133628879196.64700196647001
BASE/amazonsSuicide_10x10/XIbQkg1.3535963913619578298.10704525761514220.23333333333332
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.3570574717494257964.7710.8763041231958
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.3574207907012312986.1333333333333726.4757841405286
BASE/withConviction/3Xm54A1.3589155872727838603.2931137924138443.9518682710576
DRESDEN/javastrike/whONTQ1.3595185956779232269.04873008466103197.9
DRESDEN/quad_5x5_8_2/JRTLJg1.3606782228915664150.56666666666666110.655601106556
BASE/tictactoe_orthogonal/WRzlVw1.360736896138713976.32922.1666666666665
BASE/switches/tPUoCg1.361013348298392811317.7333333333348315.666666666666
BASE/tictactoe-init1/7M19vA1.36248431976280073186.03333333333332338.4
DRESDEN/Runners/3bOCQw1.36338667621649315355.23333333333411262.566666666668
DRESDEN/bidding-tictactoe/yW5vTA1.36595333378552522685.11965.7333333333333
BASE/crossers3/O0rORg1.3681173358980525948.3333333333334693.1666666666666
DRESDEN/breakthroughsuicide_v2/LU1nAw1.3694030536378121515.7376.58744708509715
BASE/breakthrough/TGxk-g1.3746532675340213510.6666666666667371.48761707943066
DRESDEN/breakthrough/z4hK7Q1.3764679894890859512.1666666666666372.08759708009734
BASE/mummyMaze2p_2007/YGA3Vw1.3769474777531371635.03333333333331187.4333333333334
DRESDEN/stratego/Z2wovg1.377425929677882643.8118729375688467.4021731884541
DRESDEN/lightsout/XgLpzQ1.3777903469079941217.9666666666667884.0
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3808999162663611044.4666666666667756.3666666666667
BASE/biddingTicTacToe/8mESVw1.38345440560635852697.96666666666671950.1666666666667
DRESDEN/tictactoe/BTTzPw1.38401950746349073424.43333333333342474.266666666667
STANFORD/tictactoe7/-bE9-A1.38413897490730833322.53333333333332400.4333333333334
DRESDEN/blobwars/ZaMluQ1.3844454961350372292.5138324111726211.28591427238183
DRESDEN/eotcatcit/mQUxzA1.38500801484856173283.32370.6
BASE/blocksWorld/SEdXLQ1.3872546236314938958.5666666666686457.766666666666
BASE/amazons_10x10/Bun8dA1.3873067425424195302.75657478084065218.23333333333332
DRESDEN/blocks/vg0DRw1.397773763349458769.1666666666666273.666666666667
DRESDEN/skirmish2/iPpWhQ1.402682703966704296.1234625512483211.1122221111222
BASE/ticTacToe/JRFsaQ1.40294097807757173466.43333333333342470.8333333333335
DRESDEN/chickentictactoe/Ipbo-g1.40457046127803632876.46666666666672047.9333333333334
BASE/asteroids/BKCmPQ1.4046583652060528042.9333333333335725.9
BASE/chickentictactoe/DSlZCA1.40882174066131062934.22082.733333333333
STANFORD/skirmish/w4V6Vw1.40961051662606641.00189854444925429.08739546196648
STANFORD/trifecta/ss1kyQ1.41385240558645253398.12403.4333333333334
DRESDEN/minichess/c7GMFw1.41600508097808821189.0666666666666839.7333333333333
BASE/hodgepodge/9yjRkw1.4175469006734925233.8666666666673692.2
BASE/skirmishHoles/AUCxCA1.425506735875639547.18112754898040633.09779348043464
BASE/checkersTiny/Lr48cg1.4276245806398822581.5472817572747407.3530882303923
BASE/racer/QQYQNw1.42863377484888842182.33333333333351527.5666666666666
BASE/eotcatcit/AfZSzA1.4303957319409173360.33333333333352349.233333333333
BASE/blobwars/0XT15Q1.431620824305488297.1270497267031207.5459120754591
BASE/pacman3p/wW7UVQ1.440334704250607923.3025565814473641.0333333333333
DRESDEN/tictactoelargesuicide/6J4DeA1.44093803245008181506.11646278457371045.2333333333333
BASE/hidato37/pBrqxw1.443864919460014110.6852419677376476.65900076659001
DRESDEN/point_grab/r5DPmQ1.444569073815867613952.0333333333339658.266666666666
BASE/sum15/QZ07Kg1.44572447531117644107.8333333333332841.366666666667
BASE/incredible/8Qh-6Q1.44854385888311573317.62290.3
BASE/blockerSerial/3eqDuw1.44974791030914171456.91004.9333333333333
BASE/checkers/rOC3Xg1.4507122057936028320.5220.9259691343622
BASE/checkersSmall/SYmq8w1.452015714611168425.0049996666889292.7
BASE/snake2p/I3wWPQ1.4526316475607377346.87687487500835238.7920402653245
BASE/kalaha6x2x4/XS81Mg1.4532992565055762293.51578.1333333333334
BASE/pacman2p/4LEdQg1.4552777046591208921.4333333333333633.1666666666666
BASE/hanoi7_bugfix/3gdnFw1.45530695388877026584.6333333333334524.566666666667
BASE/englishDraughts/jFkQxg1.4587601903367498664.2455.3181560614646
BASE/gt_centipede/9fRMpw1.46018364051898810882.77452.966666666666
BASE/breakthroughSmallHoles/bxclRw1.4607228464419475697.6666666666666477.61741275290825
DRESDEN/crissrace/KWb9bw1.4617898598455739887.6666666666666607.2464251191627
BASE/skirmishFinal3/-Olhfw1.462056343432947969.6286914205719747.62380857161901
BASE/breakthroughSuicide/wZDpIg1.4627666875802934543.9666666666667371.8752083194454
DRESDEN/2player_normal_form_2010/NG_Kdg1.46512278123052836113.5666666666674172.733333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.4661925691558036549.4333333333334466.966666666666
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.4672344689378758976.2665.3333333333334
DRESDEN/hanoi7/51zz5Q1.4679660154503266346.84323.533333333334
BASE/checkersTorus/2vm1EQ1.4680284077486419552.3333333333334376.24158389440703
DRESDEN/racer/vk_ZBA1.46929883064336832203.06666666666661499.4
DRESDEN/gt_prisoner/huCp4w1.47041043588927787086.34819.266666666666
STANFORD/checkersonabarrelnokings/Zrevdw1.4711898228984785589.7803406553115400.88663711209625
DRESDEN/grid_game/U7_Yeg1.4722924810301221067.1666666666667724.8333333333334
BASE/checkersBarrelNoKings/rnKNeg1.4728048604079271678.7666666666667460.8666666666667
BASE/kalaha5x2x3/WviNsw1.47331390089456222443.01658.1666666666667
BASE/kalaha_2009/dRiN3g1.47605266375901832414.1333333333331635.5333333333333
BASE/futoshiki5/TJ4BZg1.4801312686604928324.93333333333334219.53007832027996
BASE/chineseCheckers4/avfBcQ1.4806293956371441242.1838.9
DRESDEN/connectfoursuicide/M9CNQg1.4851155943005268999.3666666666667672.9218052129858
BASE/biddingTicTacToe_10coins/a-9ccQ1.48561678170670592568.43333333333341728.8666666666666
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1.48630150154769012576.91733.7666666666667
BASE/queens08lg/Ru7eqQ1.4883190883190884348.25505816472787233.99220025999134
BASE/connectFour/WAIKTw1.4884110365065155997.4333333333333670.1329867013299
DRESDEN/Thief_Police/CX18rA1.48870350795811436525.5333333333344383.366666666667
STANFORD/selectivesukoshi/3xmXYg1.488988726382406475.3748750416527950.62152164494951
BASE/bomberman2p/4CClwA1.49076409495548971339.7898.6666666666666
BASE/knightfight/SJRkAg1.49143628011816752911.33333333333351952.0333333333333
DRESDEN/hanoi/RQ0jiA1.49172029694595027347.7666666666664925.7
DRESDEN/skirmishfinal/hzq8ww1.493536353019456564.9406903905104743.481158164795254
BASE/point_grab/V_osUg1.494385554070343714421.8666666666679650.7
DRESDEN/kalaha_2009/gcC8uA1.49478704993457432360.8666666666671579.4
DRESDEN/troublemaker02/iZLVuA1.495882408735096117873.911948.733333333334
DRESDEN/hanoi7_bugfix/3gdnFw1.49604057760985446744.54508.233333333334
DRESDEN/backgammon/mqCW0Q1.497308345836605303.9130724618359202.9729369417411
BASE/sudokuGrade1/tDRNRw1.501499300326514224.38861864463250516.242843829050727
STANFORD/madness/UO_B3A1.503160493846162243.35221592802399528.84071002764179
BASE/skirmishFinal2/gdB62Q1.503886901693510163.6348492420456542.313586992736724
DRESDEN/sat_test_20v_91c/dK7nVw1.50585031231409871012.5672.3775874137528
DRESDEN/quarto/OQzRYQ1.5087606148554231403.6930.3
DRESDEN/quartosuicide/WIU1oQ1.50922338724009241415.4937.8333333333334
BASE/nim2/eF2Qqw1.5109168785040228677.85743.4
BASE/ticTacToeParallel/ymRGPw1.51117148679083411409.0666666666666932.4333333333333
DRESDEN/logistics/fPru1Q1.51165717710518431681.46666666666671112.3333333333333
DRESDEN/sum15/CsgWKg1.51217830609212484240.42804.1666666666665
BASE/breakthroughSmall/HJ0tIA1.5227564718204094856.1666666666666562.2479250691644
BASE/quarto/EwBMVQ1.52319838494538381408.4924.6333333333333
STANFORD/connectfour/VMpZkQ1.52360192423331321013.5665.2
BASE/maze/cCX3qQ1.524039116502496717153.46666666666711255.266666666666
BASE/sudokuGrade4/DTy07w1.525107337526205424.215.867735604271315
BASE/connectFourLarge/aU644A1.5272855446927374729.0477.31742275257494
BASE/breakthroughSuicideSmall/XSbJog1.52777941436399864.3666666666667565.7666666666667
BASE/futoshiki4/BaCwSw1.5284396901512358690.6451.8333333333333
BASE/sudokuGrade5/BQfUQA1.530028285758094224.73945326807178816.16927837109492
BASE/troublemaker01/s3tlEQ1.53350123889834920052.26666666666613076.133333333333
BASE/quartoSuicide/-23jUg1.53565700844648781436.3935.3
DRESDEN/pacman3p/rBnk8Q1.5362916639782056952.3666666666667619.9126695776807
BASE/sheepAndWolf/g4THrg1.5382911392405063810.1666666666666526.6666666666666
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.53838572977234641040.6666666666667676.4666666666667
BASE/skirmish/Y_psYQ1.541313593357238844.6125141600586428.944475901808612
BASE/gt_dollar/TGjqRw1.542720561118347390.34790.433333333333
DRESDEN/oisters_farm/pTQMLg1.54340200303901569107.6666666666665901.033333333334
BASE/hanoi/iGLsJg1.5450737866311217611.64926.366666666667
DRESDEN/nim1/M9BALA1.54536310492702249525.5666666666686163.966666666666
DRESDEN/connectfour/5tc-Mg1.5479379230717371020.3666666666667659.1780273990867
BASE/skirmishFinal1/ecWTnQ1.549688441221771763.978673775408241.28486221718703
DRESDEN/crisscross/GsY16g1.55050156357876781272.6820.7666666666667
DRESDEN/nim2/z5_exA1.55220640569395028723.45620.0
DRESDEN/knightwar/7hhAqg1.55575079379758941682.23333333333331081.3
BASE/knightazons/apnJBQ1.5564923250502085254.8496766882208163.73333333333332
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.5573118279569893965.5333333333333620.0
BASE/hanoi_6_disks/MeubgQ1.5589736477115125620.13605.0
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.56349451909597571016.1333333333333649.9116696110129
BASE/checkersTorusNoKings/pwb6oQ1.5635689243941595681.7435.98973435989734
DRESDEN/hanoi_6_disks/MeubgQ1.56580457233648155913.03776.3333333333335
STANFORD/duidoku/3SoMaA1.566434880661529623.96166134185303415.296940611877625
BASE/crissrace/ERWGDA1.5692794493171975942.3600.4666666666667
BASE/lightsOn/MsXu3A1.57053913828107388122.5666666666675171.833333333333
DRESDEN/catch_me/ghGWrA1.57340510131950987122.74526.933333333333
BASE/gt_staghunt/xPjLRA1.5738408262082078559.3333333333345438.5
STANFORD/3puzzle/41ibjA1.57458087926816669633.2333333333346117.966666666666
STANFORD/tictactoe/ss1kyQ1.57552500035401223708.7333333333332353.9666666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA1.5760766842176327004.44444.2
BASE/gt_coordination/IVMOzA1.580760261194039037.7333333333345717.333333333333
BASE/crisscross/ICagEg1.58112820512820521284.6666666666667812.5
BASE/gt_tinfoil/Q8DyKg1.581726516004503810489.1666666666666631.466666666666
DRESDEN/knightfight/4_Ly4w1.58253415206292283058.31932.5333333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.58313347364299361078.1666666666667681.0333333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1.58493417738155224823.83043.5333333333333
BASE/connectFour_9x6/B9TtMw1.5851157662624036958.4666666666667604.6666666666666
DRESDEN/blocker/S815zQ1.58520953163516863536.8666666666672231.1666666666665
BASE/chineseCheckers3/-1rZdQ1.585211679488912348.96666666666671481.8
BASE/blocker/dIWtxg1.58780923158624583587.8666666666672259.633333333333
DRESDEN/sheep_and_wolf/enAIzQ1.5879914502234602817.2333333333333514.6333333333333
BASE/chineseCheckers6/rREH3A1.58806654470503571446.7333333333333911.0029665677811
BASE/colonelBlottoVariant2/jruwGw1.58834177302201956932.04364.3
BASE/numbertictactoe/rvJ-iQ1.5904358173434482138.51344.6
DRESDEN/lightsout2/LFtfyQ1.59150859513930071431.9333333333334899.7333333333333
DRESDEN/troublemaker01/C-lPWw1.592456664122158519540.13333333333512270.433333333332
DRESDEN/firefighter/WJmoPw1.5935467862276686208.0333333333343895.733333333333
BASE/amazonsTorus_10x10/Uxc08g1.5945444371050412204.68635424305046128.36666666666667
BASE/shmup/ssTNlg1.59617154094574842949.03333333333331847.5666666666666
BASE/firefighter/WJmoPw1.59781762815090516296.4666666666663940.6666666666665
DRESDEN/gt_chicken/CeuKtw1.59974413334308067294.34559.666666666667
BASE/gt_prisoner/klthDw1.60300250754555168161.3666666666675091.3
STANFORD/pilgrimage/ObRZnQ1.6043319976582435637.4120862637913397.3068462102527
BASE/wargame02/BkVqqQ1.6051715247183505439.4520182660578273.77262273772624
BASE/connectFourSuicide/c8p9Kw1.60604473312031851022.0333333333333636.3666666666667
BASE/sudokuGrade3/eI8dvg1.607301106631537725.11156997269033715.623438488956994
BASE/choicethroughalt/tt71Lg1.6085775445846022493.03333333333336306.5026830650268
BASE/chinook/XQh0IQ1.6100335037912186608.7378.06666666666666
STANFORD/knightstourbig/TQUI2g1.610897625781633413232.9333333333328214.633333333333
BASE/tictactoe_3player/GtM71g1.6174183749354396943.6018799373354583.4
DRESDEN/roshambo2/jgSlkQ1.618477425894688313624.6666666666668418.2
BASE/roshambo2/KNPokQ1.61912311282410113344.8666666666678242.033333333333
DRESDEN/tictactoeparallel/yk_DSg1.62132983185614781481.7333333333333913.9
DRESDEN/tttcc4/sAvtFg1.6220392948668167696.2333333333333429.23333333333335
BASE/sudokuGrade2/u80Tfw1.624431829055733825.41892927341173415.647889199627114
BASE/checkers-newgoals/0XkFiA1.6264555193292964232.79224025865804143.12856238125397
BASE/amazonsSuicide/dE1QEQ1.62728653497945052.21458319561049781.3609055000497892
BASE/knightwar/DVGY4Q1.6289539227895391744.06666666666661070.6666666666667
STANFORD/pentago/ZxzLmg1.6296570754008302598.9133695543482367.5088327444837
DRESDEN/Travelers-Dilemma/PvZwYw1.629911734893941414686.79010.733333333334
STANFORD/sudoku/oJ1qyQ1.631027345373853324.95252690142252715.29865637887455
DRESDEN/fizzbuzz/t1xHzQ1.632917153645599319373.811864.533333333333
BASE/strangeSkirmish/gc1zKA1.632968570936150342.0761568444548125.766666666666666
STANFORD/chinook/osFbPA1.634330525704328562.6812439585348344.2885237158761
DRESDEN/knightazons/02I8BQ1.637894121478002266.15779474017535162.5
BASE/wargame03/klXI8w1.6385375960807502646.6394.62017932735574
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1.638867397521449343.8209.77902209779023
BASE/chineseCheckers1/gqtwHw1.63919743601001013733.62277.7
BASE/knightsTourLarge/M8jgLA1.639790609339589813699.4666666666678354.4
DRESDEN/tictactoe_3player/ESLQQQ1.6412128061451798964.8690087327511587.9
BASE/3pConnectFour/PqXOFQ1.6416093170989943620.2377.8
BASE/gt_chicken/gmepTQ1.64201571624252027592.1333333333334623.666666666667
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1.64331715050034684975.83027.9
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.64376752052545161056.6333333333334642.811906269791
BASE/4pttc/AL1k2Q1.64406395557211551029.5333333333333626.2124595846805
STANFORD/jointbuttonsandlights/qAKuIQ1.64412988496369436717.3666666666674085.6666666666665
BASE/onestep/xi53wA1.644720170367350634831.521177.766666666666
BASE/sudokuGrade6H/ieE_9A1.64508505920806624.0426240426240414.614821226446502
BASE/futoshiki6/JmvXNA1.6465157878363665207.41950536630893125.9748050389922
DRESDEN/circlesolitaire/ruUilQ1.64857630151968267185.14358.366666666667
BASE/circlesolitaire/azuQFQ1.65123663230082037159.2666666666664335.7
BASE/knightsTour/mvtVIg1.653209000608149213592.1333333333338221.666666666666
DRESDEN/SC_TestOnly_enabled/09o7gQ1.65402915187674633650.16666666666652206.8333333333335
BASE/sudokuGrade6E/ihYFZA1.65754096058069824.25130750524667514.63089485085819
BASE/ttcc4_2player_small/Cv72TA1.65850479471185161187.6716.0666666666667
DRESDEN/gt_ultimatum/pAiiQw1.66024604820828287737.34660.333333333333
DRESDEN/peg/Vo31eg1.660971577041178703.2423.3666666666667
BASE/cylinder-checkers/hlldmw1.6615851515151518219.3131.9824023463538
BASE/tttcc4/8Bs2lg1.665836153024262710.2333333333333426.35245491816937
BASE/hidato19/rRHSmA1.6672111506897154530.4333333333333318.15606146461784
STANFORD/knightstourmedium/x1wu8Q1.670903483913985814701.58798.533333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA1.671996891043341413624.2666666666668148.5
BASE/chineseCheckers2/eCMR3Q1.67202312138728322892.61730.0
BASE/ttcc4/Le0qjQ1.6720695735367357708.7666666666667423.8858704709843
DRESDEN/cylinder-checkers/clOO3Q1.6757348215289647219.73736835088656131.12896236792108
STANFORD/multiplebuttonsandlights/cK70Yg1.676293013832098613706.4333333333328176.633333333333
STANFORD/bestbuttonsandlights/nm0wEA1.67640056362664611500.6666666666666860.333333333333
DRESDEN/4pttc/9pB9AQ1.67789214058720321179.1666666666667702.7666666666667
DRESDEN/tpeg/h-Scbg1.677999932863377777.5333333333333463.3691087260849
STANFORD/knightstour/cEwgNA1.682638519170080814538.3333333333348640.2
BASE/connect4/50bOyw1.6862511463626224453.5268.9397726893977
BASE/solitaireChineseCheckers/-ET6gw1.68639286182915621713.61016.1333333333333
DRESDEN/vacuum_cleaner_1/eUNjpw1.68682306940371455752.0666666666673410.0
DRESDEN/checkers-newgoals/IJOqXQ1.6870444022276176242.050529964669143.4760873187802
BASE/untwistycomplex2/EDPPAQ1.687910681374506822682.213438.033333333333
STANFORD/threepuzzle/41ibjA1.69293590627153689825.85804.0
BASE/nim1/hin2Qw1.69512453007518789619.2666666666665674.666666666667
STANFORD/buttonsandlights/eyhJpA1.69806158051044837069.5333333333321830.5
BASE/connectFourSimultaneous/7ITr3g1.6998921875482.3283.7238758708043
DRESDEN/connect4/T0-rHQ1.7060604846255436455.51814939502015267.0
BASE/connectFourLarger/qKi60A1.706525578772506468.38438718709375274.46666666666664
DRESDEN/peg_bugfixed/u_B7MA1.709894329976762735.8430.3189893670211
DRESDEN/chinesecheckers4/-oVNYg1.716222799610263704.5666666666667410.53333333333336
BASE/queens06ug/7Lq3tw1.717667623384192653.16666666666651544.6333333333334
DRESDEN/knightstour/cGISAA1.720201479024985514662.3666666666678523.633333333333
DRESDEN/checkers/jIDMIg1.7223348695394365245.39182027265758142.47625395767372
BASE/wargame01/_GZFZg1.7230034313395681853.6333333333333495.43333333333334
BASE/pegEuro/5awwhg1.7259294566253573603.4798840038666349.6550114996167
BASE/factoringEasyTurtleBrain/lUj94Q1.72608358440473693857.56666666666662234.866666666667
DRESDEN/3pffa/0YrmQw1.72959219240153361654.0666666666666956.3333333333334
BASE/pentago/86NgKw1.730159094810011441.65194493516884255.26666666666668
BASE/quad/tw-Ufg1.73647534409188632.59873592351374771.4965579167913798
BASE/beatMania/qUHwvQ1.7374204606823367399.54258.9
DRESDEN/nim4/F5YAYg1.7374354527178847346.1666666666674228.166666666667
BASE/3pffa/pR0dzA1.73950208776490971471.9666666666667846.2
DRESDEN/ggp-course2013_jordi/9QI6Kw1.7448458935651143184.72101859876008105.86666666666666
DRESDEN/blocksworldparallel/2JfVaw1.74566193423128252877.21648.2
BASE/4pffa/Q3ADlg1.74796090931440351263.9666666666667723.1092296923435
BASE/tron_10x10/7ZTgDg1.74855040837957462804.51603.9
BASE/escortLatch/mX9BjQ1.7525309049542648838.7333333333333478.58404719842673
DRESDEN/3pttc/uwYBZw1.75542430956227411521.2866.5711142961901
BASE/nim4/twk16w1.75933266745739417515.44271.733333333334
BASE/peg/fJHVWw1.7595952212063892744.1666666666666422.9192360254658
BASE/troublemaker02/DI83KA1.761714153406009218514.510509.366666666667
BASE/factoringGeorgeForman/HGRorQ1.76256821893797575899.4333333333333347.0666666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g1.76390219757207329265.3666666666675252.766666666666
BASE/tpeg/QNs7Lw1.764403368860401789.1447.23333333333335
DRESDEN/grid_game2/kypTYQ1.767445661055728360.4879837338755203.95986800439985
BASE/nim3/1OwUqw1.77125851659863727608.54295.533333333334
DRESDEN/lightson2x2/gBHuig1.77898110626830945809.53265.633333333333
BASE/mineClearingSmall/frsbvw1.7850974260810797343.1437904139724192.22692576914102
BASE/2pffa/6oHijA1.78742075289229561663.4333333333334930.6333333333333
DRESDEN/nim3/sG_axA1.80336144896469237739.6666666666674291.8
DRESDEN/pentago_2008/hLjVpQ1.8042082451744619432.03333333333336239.45868471050966
STANFORD/untwistycorridor/EDPPAQ1.807304766539456423520.86666666666513014.333333333334
BASE/3pttc/0sol9g1.8077714007984211353.4333333333334748.6750441651945
DRESDEN/towerworld/HCX34w1.814975886669742340.3892295387896622.25331467785995
DRESDEN/chinesecheckers3/QsCb2A1.81746951643562521306.7718.9666666666667
BASE/nineBoardTicTacToePie/B8LzeQ1.8230118622807676385.3076461569229211.35772845430913
DRESDEN/endgame/IJhh3Q1.826280171458845421.26666666666665230.66924410078656
BASE/survival/YVIjJA1.83409835365918728649.53333333333315620.5
BASE/ttcc4_2player/_aH_Mw1.8346248302459645786.9404353188227428.93807079528034
BASE/blocksWorldParallel/RseaAQ1.8433350027648312777.8421.9526015799473
DRESDEN/connect5/1kYzSg1.8454392187005741464.98916847192135251.96666666666667
BASE/racetrackcorridor/_RkdUg1.84574468085106381399.5666666666666758.2666666666667
DRESDEN/Goldrush/VeWczQ1.8461063077385811432.1775.740808639712
DRESDEN/chinesecheckers6/yTbPDA1.8468217054263565992.6666666666666537.5
DRESDEN/chinesecheckers2/06E6-Q1.8470691750115221469.4666666666667795.5666666666667
DRESDEN/smallest_4player/ADDROA1.84796101401654033880.53333333333332099.9
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.85097770420567994770.8333333333332577.4666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.8598330908831604579.5666666666667311.6229459018033
BASE/stateSpaceSmall/Q7osKA1.861076599114908316527.1666666666688880.433333333332
BASE/connect5/d-BVQg1.8658847838897308455.15149495016834243.93333333333334
DRESDEN/vacuumcleaner_random/_6AGDA1.86657456127458174233.2666666666662267.9333333333334
BASE/ttcc4_2player_alt/ZEJvYA1.8677879913944846955.0511.3
BASE/reversiSuicide/9OxJlg1.86881979129290229.83285609642405215.963473971872292
BASE/copolymer_4_pie/IN5_jA1.86932541248463041452.6666666666667777.1074297523415
BASE/minichess/8NQEiA1.8757114690673711680.7896.0333333333333
BASE/pentagoSuicide/SBgNhw1.8792024808986034463.4739718722922246.63333333333333
BASE/checkers-mustjump-torus/uSApKQ1.8855535421639036175.5216318912072593.08758832155712
BASE/gt_ultimatum/GE-uOA1.88591384435306258163.3666666666674328.6
BASE/smallest_4player/ADDROA1.88960309329455713811.83333333333352017.2666666666667
BASE/four_way_battle/xSOQXA1.893753680187537257.50758257507584135.97733711048159
DRESDEN/statespacesmall/h-NqjA1.8985188592112316923.9666666666678914.3
BASE/battle/8oAvhQ1.898995659912850491.2090109304185648.03013132457836
BASE/cittaceot/fDxhXg1.904625929028655985.1666666666666517.249425019166
BASE/2pttc/unkkYA1.90507638446849151596.2837.8666666666667
DRESDEN/racetrackcorridor/O0DoTA1.90663583815028881374.3666666666666720.8333333333334
BASE/checkers-mustjump/T-8UuQ1.9068766234984986225.76666666666668118.3960534648845
BASE/factoringMediumTurtleBrain/8RBqmQ1.9082946915473757995.3333333333334521.5826139128695
DRESDEN/battle/8oAvhQ1.909663636363636392.448.385484354693595
DRESDEN/pancakes6/SZXMyQ1.913962292745623221890.43333333333411437.233333333334
DRESDEN/smallest/9kaGFw1.91548374106513642536.8666666666671324.4
STANFORD/hunter/14dD-g1.92067610420744384219.5333333333342196.9
BASE/tictactoe_3d_small_6player/g_9lww1.9269730378779606588.4333333333333305.3666666666667
BASE/zhadu/DlA8iQ1.934388703020516221.96778058847024411.356445865387817
BASE/copolymer_4/2LDVhQ1.93541255428345841634.1333333333334844.3333333333334
DRESDEN/pancakes88/aD3E7g1.943235532894786817074.4333333333348786.6
BASE/checkers-cylinder-mustjump/rjr6qQ1.9442199970284069189.814351898143597.63007899736675
BASE/breakthroughHoles/nZk0Sg1.9456092639705238739.2666666666667379.96666666666664
BASE/rubiksCube/9tNO9Q1.9481833774212818761.0390.6203126562448
BASE/conn4/va9Y7A1.9486889692585896574.7141761941268294.923502549915
DRESDEN/cube_2x2x2/fp-34Q1.9505221090627822521.71292.8333333333333
DRESDEN/four_way_battle/xSOQXA1.962311557788945260.3159789347377132.65782281181254
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg1.9653325113214106190.9603013232892397.16437306321015
DRESDEN/frogs_and_toads/GjchhQ1.9654525487728132936.9476.684110529649
BASE/reversi/d8UMeA1.96811265094532930.5595361082414115.527330762069424
BASE/lightsOnParallel/SC6enA1.96899534023534533619.8666666666671838.4333333333334
DRESDEN/chomp/-LcqYQ1.97196446687946962656.43333333333341347.1
BASE/pancakes6/QZTdnw1.972341804863038622006.66666666666811157.633333333333
BASE/kitten_escapes_from_fire/uW-YiA1.9752993251578264536.9333333333332296.8333333333335
BASE/haystack/UkweGA1.97575471060984737056.33333333333618755.533333333333
STANFORD/nineboardtictactoe/y28P-A1.9776185250939102422.83847743483767213.81195213811952
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1.979495127472098191.0554204019062296.51724712547909
DRESDEN/chinesecheckers1/Y-ftaA1.98810315033896061994.21003.0666666666667
DRESDEN/checkers-cylinder-mustjump/vW_-pA1.9921071067609082193.707505665911297.23749541804125
DRESDEN/pancakes/hl9aiQ2.003272526781955822527.06666666666611245.133333333333
STANFORD/ttcc4/Cx9SGw2.0155186200512674943.5468.1177294090197
BASE/chomp/-LcqYQ2.01665549681038542708.16666666666651342.9
DRESDEN/checkers-mustjump-torus/cVc3gA2.0171753034202964186.4418077589654792.42717152189854
STANFORD/freeforall/Lfp40Q2.01798779255426641664.1824.6333333333333
BASE/ruleDepthLinear/OUBJpQ2.022793310518499432371.23333333333416003.233333333334
BASE/snakeParallel/RCVNtw2.024281096779064174.3333333333332062.131262291257
DRESDEN/farmers/S_ASnw2.0244917656994631118.6666666666667552.5666666666667
BASE/pancakes/yUgbXw2.03690701233234321873.73333333333410738.7
DRESDEN/mummymaze2p/k-8edg2.03771570894858561145.4562.1
BASE/tictactoe_3d_6player/d7KSwg2.039970202020202242.3118.77624475104979
DRESDEN/tictactoe_3d_small_2player/HYttcg2.043768507486717846.2414.0390640623958
BASE/tictactoe_3d_small_2player/oOryKA2.0447087809888678818.3333333333334400.2199926669111
BASE/pearls/6k_mEQ2.046339373827417625159.33333333333212294.8
DRESDEN/tictactoe_3d_6player/ulZPWg2.0481814534595926230.34363230343632112.46251249583472
DRESDEN/checkers-mustjump/HUr33w2.0500653261251913239.4840343977068116.81775763231569
BASE/buttons/hTcUjw2.056045578319904522097.96666666666710747.8
BASE/2pffa_zerosum/o0_uZA2.06579206555568671747.8666666666666846.1
BASE/mummymaze2p/vpjDdA2.06862900988904961143.5552.7815739475351
BASE/knightThrough/gcwFjA2.0697682287116771105.6333333333334534.1821939268691
BASE/pancakes88/l2Xaig2.080266941096988317653.78486.266666666666
DRESDEN/brain_teaser_extended/ZDp94A2.0871198993086593813.93333333333341827.3666666666666
DRESDEN/hallway/0H4l-Q2.087642429478922380.3873204226526182.20903879482736
BASE/queens08ug/kJ_ZFQ2.10053539559785831647.8784.4666666666667
DRESDEN/knightmove/97Ipcw2.1008467434487741745.0333333333333830.6333333333333
BASE/hallway/ckCJOw2.1058876863611267381.3181.06378724255148
BASE/duplicateStateSmall/bCPAXw2.107197192580694713250.2666666666666288.1
DRESDEN/ggp-course2013_nicolai/uEin8g2.1076300741221012151.8898740083994372.06666666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA2.10768525416929364903.62326.5333333333333
BASE/knightmove/jBaJEw2.11943850590940251751.4333333333334826.3666666666667
DRESDEN/buttons/ADUaHw2.127439677696254522636.110640.066666666668
BASE/nineBoardTicTacToe/wRmqqA2.1291781958155527437.38959437389593205.4264857838072
DRESDEN/god/2EDD5w2.1573929692972156108.6855085988534950.37816945990071
STANFORD/triplesukoshi/Iu9mbA2.1679090112015977771.9666666666667356.0881303956535
BASE/god/qF06gw2.176250607897516109.5557110955571150.34149591870732
BASE/tictactoe_3d_2player/IUC1rQ2.220384303639109272.49700039994667122.72515165655624
STANFORD/dualhunter/1rPZjQ2.2266289952322092101.5666666666666943.8333333333334
DRESDEN/tictactoe_3d_2player/LMuX9w2.228051582844916283.4905503149895127.23697803845769
BASE/brain_teaser_extended/ZDp94A2.2414927425799624020.2666666666671793.5666666666666
STANFORD/alquerquezero/uVgA_A2.24574070887376381165.8519.1160294656845
STANFORD/untwistycomplex/HTWEwg2.253678323397455812223.25423.666666666667
DRESDEN/knightthrough/J7Fc_Q2.2713079266950761261.3666666666666555.348155061498
DRESDEN/mimikry/GJEhwA2.2726947179946286846.2372.3333333333333
DRESDEN/slidingpieces/s9_44g2.273613065137511343.9104059729351151.26162461251292
STANFORD/multipletictactoe/_bkafQ2.2850505285166687655.7114762841238286.95710142995233
BASE/catcha_mouse/cHv4dw2.2906801635991821418.8619.3793540215327
DRESDEN/aipsrovers01/qS47Mw2.2910896580411464406.31923.2333333333333
BASE/endgame/jYjfOA2.29538117705488616.2333333333333268.46666666666664
BASE/tictactoex9/BI26ow2.3053504339940405593.1666666666666257.3
DRESDEN/breakthroughsuicide/Y9QzqQ2.312607795791652893.9386.53333333333336
DRESDEN/skirmish3/3LU8Nw2.313409250559284459.56666666666666198.65342310512634
BASE/aipsrovers01/4C4jsw2.314491101954944400.2333333333341901.1666666666667
DRESDEN/catcha_mouse/cHv4dw2.3404138234646711417.6666666666667605.7333333333333
DRESDEN/tictactoex9/rFkD4w2.35012983701367595.9333333333333253.57464253574642
STANFORD/breakthrough/d5j0cQ2.37060340428531151121.1472.91756941435284
BASE/max_knights/2fq3Ag2.38387524883875251197.5502.3333333333333
DRESDEN/battlesnakes1509/-qZrLw2.38962386511024641228.2666666666667514.0
DRESDEN/cubicup/SBn_lw2.4529980294789944345.73333333333335140.94317613731045
BASE/cubicup/4wNWJA2.5001561250640307348.02173260891306139.2
DRESDEN/golden_rectangle/1uloXw2.5140138482244225282.72390920302655112.45916938870742
STANFORD/multiplesukoshi/vLSQPg2.5251456013231888123.3502199706705848.848755456332675
BASE/cubicup_3player/e2yA_g2.528071210411708159.8946701776607463.24769235895898
BASE/slidingpieces/uFJWEw2.5403316341291644370.7419505366309145.94234294284286
DRESDEN/capture_the_king/EQ229Q2.5671356003579513120.8677685950413347.08273633001233
DRESDEN/battlesnakes2011/93VtTw2.58102724031649671246.7666666666667483.05056498116727
BASE/mummymaze1p/PT_EXA2.60019485181007061690.3650.0666666666667
BASE/wallmaze/uxNQ9g2.6246609639056953838.6666666666666319.53333333333336
DRESDEN/max_knights/hCipiA2.62583089603828771316.7666666666667501.46666666666664
BASE/golden_rectangle/_nYzfw2.66282165039929300.1112.7
BASE/amazons/RKKZjw2.72207621047146952.32426868546003940.8538587848932676
DRESDEN/cubicup_3player/awDtsQ2.7244471775653936167.6275535708334761.5271806152718
BASE/colonelBlotto/jip21A2.7624900521708373124.11130.9
BASE/brawl/6Ymo_Q2.7737808784405735160.450621604506257.845456665889174
DRESDEN/mummymaze1p/AekgaQ2.80381079554208861819.7666666666667649.0333333333333
DRESDEN/brawl/2kXtfQ2.8359737125702633161.65050161650557.0
BASE/hitori/S8Gsyg2.8869011914657796115.0666666666666639.85819362533961
BASE/cephalopodMicro/9l2D3g2.910711801918649351.5041476496651917.694691592522243
DRESDEN/CephalopodMicro/H3XQfg2.939874462913247451.4460882313741217.499416686110465
BASE/ticTacToeNoVars/XT03NA3.07198976251413663440.83333333333351120.0666666666666
DRESDEN/ggp-course2013_michal13/jWKddg3.100737057412893612.2901678657074353.963627885287946
DRESDEN/hitori/S8Gsyg3.163790639041901120.2132977837027137.996603283492625
DRESDEN/blockerparallel/dVQgSg3.4107878665827567903.2264.8068526480685
BASE/blockerParallel/7-nDJA3.5678980228928205914.3333333333334256.26666666666665
BASE/queens12ug/u6Bkmg3.6476943830570905792.2217.17828217178283
BASE/simultaneousWin2/PfjRjw3.75284777355885431087.2289.7
DRESDEN/amazons/dNB28A3.85498768220918137.3701039168665059.693961952026468
BASE/duplicateStateMedium/U163eQ4.18675760459624257918.8333333333331891.4
DRESDEN/vacuumcleaner_random_big/DwzFaQ4.36885221844903352615.4598.6469372792109
BASE/lightsOnSimul4/9FeASw4.3937028592147521413.7321.7559414686177
DRESDEN/statespacemedium/dVJZ_w4.42499022673964112073.7333333333342728.5333333333333
BASE/stateSpaceMedium/3bUoIw4.446787209884381512140.7666666666662730.233333333333
BASE/queens31lg/0gID-A4.585868164576493.36061755506754520.732820359081976
DRESDEN/battlebrushes/QHXV4A4.58588726866999292.1969267691076920.10449044375372
BASE/lightsOnSimultaneous/_VN6lw4.5881426202321731844.4333333333334402.0
DRESDEN/laikLee_hex/ZeP3QQ4.892981695121721120.1732467099783424.56033032573788
BASE/queens16ug/gT-ylw5.192551505546751436.8521049298356684.13052898236725
BASE/twisty-passages/DiZmmg5.8502152992515096747.8333333333331153.4333333333334
DRESDEN/twisty-passages/j7NPyg6.35745133629592556771.5333333333341065.1333333333334
BASE/duplicateStateLarge/dcjyuw7.643938178512224764.466666666666623.3
BASE/battlebrushes/arCwyA7.82185332682459466.924410078656188.55608092894593
BASE/stateSpaceLarge/0Ge_CQ8.8359222624686558456.566666666668957.0666666666667
DRESDEN/statespacelarge/8-y5HQ9.2095558308264018673.866666666667941.8333333333334
BASE/merrills/pku8Tg9.484863751103145200.986600893273821.190246498785804
DRESDEN/merrills/aYEzwA9.82628566878981205.320.892940315390245
BASE/laikLee_hex/zbyscQ10.820118624969277140.8295643894310813.015528689717204
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw11.495160287680747717.60941301956662.4270906242709
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g12.192941111743501713.933333333333358.5530042989969
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw13.545261018399657703.333333333333451.92467922012998
BASE/ad_game_2x2/D0aWqg45.299858765432106813.066666666666717.948547497174765
BASE/factoringImpossibleTurtleBrain/kcBhdw50.7200851856781614.4749101557300680.2853881278538813
BASE/ruleDepthExponential/UamhHQ66.06727838912275611.37690475688679.253853339560953
DRESDEN/small_dominion/yB5GJA72.5592045140839132.571466648897171.8270799347471451
BASE/gt_attrition/kD_SCA107.925421565407792158.36666666666719.99868645737554
BASE/queens/HyJJnQ110.25639157882709493.90121975604884.479569961283717
DRESDEN/queens/mW2wHQ124.44057062862477507.29951336577564.076640847941296
DRESDEN/satlike_20v_91c_version2/yd9ioQ722.8364647877941476.380838163768430.659043727551323
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g923.4973668422106474.635024331711240.5139538469445444
DRESDEN/satlike_20v_91c/yeuENQ924.5005162708591497.61849248909170.5382565869149823
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1040.4030316666665459.63333333333330.4417839234830245

Games with errors:

GameGGP_BASE_PROVER:2015-04-26 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
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/alexChess/LNo83gException of type StackOverflowError
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/amazonsTorus/soxT8gTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException

index