Game-by-game performance:
Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
DRESDEN/quad_7x7/q-JOXg | 3.5036836199585313E-6 | 1.6765736930345985 | 478517.43333333335 |
DRESDEN/quad/JPe6fg | 4.084372299208862E-6 | 1.332926050373497 | 326347.8333333333 |
BASE/quad/tw-Ufg | 8.056749347981058E-6 | 2.5987359235137477 | 322553.9 |
BASE/quad_7x7/q-JOXg | 9.180210475581291E-6 | 4.323728272539973 | 470983.56666666665 |
DRESDEN/ggp-course2013_michal13/jWKddg | 2.1684700989067815E-5 | 12.290167865707435 | 566766.7666666667 |
BASE/queens31lg/0gID-A | 2.2116479925420253E-5 | 3.3606175550675452 | 151950.83333333334 |
BASE/sudokuGrade1/tDRNRw | 4.047404161693883E-5 | 24.388618644632505 | 602574.3333333334 |
BASE/sudokuGrade4/DTy07w | 4.106604047177075E-5 | 24.2 | 589294.7 |
BASE/pawnToQueen/-O1_JA | 4.145643792245253E-5 | 23.452595109600907 | 565716.6 |
BASE/sudokuGrade2/u80Tfw | 4.2709686915866216E-5 | 25.418929273411734 | 595156.0666666667 |
BASE/sudokuGrade3/eI8dvg | 4.3041270654545213E-5 | 25.111569972690337 | 583430.0333333333 |
BASE/sudokuGrade5/BQfUQA | 4.317636603350132E-5 | 24.739453268071788 | 572986.0 |
STANFORD/sudoku/oJ1qyQ | 4.428452663319855E-5 | 24.952526901422527 | 563459.2666666667 |
BASE/sudokuGrade6H/ieE_9A | 4.6653927365507095E-5 | 24.04262404262404 | 515339.76666666666 |
BASE/blokbox_simple/JBx4bg | 4.714584653042791E-5 | 0.8214330847971693 | 17423.233333333334 |
BASE/sudokuGrade6E/ihYFZA | 4.730341971029503E-5 | 24.251307505246675 | 512675.56666666665 |
DRESDEN/pawntoqueen/f_x6Aw | 4.920527649711993E-5 | 22.846866049423834 | 464317.4 |
DRESDEN/othello-cornercontrol/r5Gdlg | 7.317361356910152E-5 | 3.506218576342948 | 47916.433333333334 |
STANFORD/duidoku/3SoMaA | 7.685036281756478E-5 | 23.961661341853034 | 311796.3333333333 |
STANFORD/multiplesukoshi/vLSQPg | 1.0717934048025462E-4 | 123.35021997067058 | 1150876.8333333333 |
STANFORD/selectivesukoshi/3xmXYg | 1.1080606288902345E-4 | 75.37487504165279 | 680241.4333333333 |
DRESDEN/quad_5x5/JAEP5g | 1.3428442636269998E-4 | 90.37347713201518 | 673000.4333333333 |
BASE/quad_5x5/JAEP5g | 1.4062310174945574E-4 | 83.53333333333333 | 594022.8333333334 |
BASE/othelloHoles/c0qAzw | 1.4497846163539566E-4 | 6.329952939616889 | 43661.333333333336 |
BASE/othelloSuicide/B442jg | 1.5050074402232213E-4 | 5.001987544719756 | 33235.63333333333 |
BASE/othello-comp2007/86ZoMw | 1.5622788642557042E-4 | 5.0930395126660235 | 32600.066666666666 |
BASE/cephalopodMicro/9l2D3g | 1.7695259821537987E-4 | 51.50414764966519 | 291061.8333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 1.84392268309803E-4 | 51.44608823137412 | 279003.5 |
BASE/nonogram_10x10_1/0Xc62g | 2.0211437081454797E-4 | 37.63207893070231 | 186192.0 |
BASE/zhadu/DlA8iQ | 2.1074623974674233E-4 | 21.967780588470244 | 104238.06666666667 |
DRESDEN/quad_5x5_8_2/JRTLJg | 2.494715505504639E-4 | 150.56666666666666 | 603542.4333333333 |
DRESDEN/grid_game2/kypTYQ | 2.5443883548853464E-4 | 360.4879837338755 | 1416796.2333333334 |
BASE/ruleDepthExponential/UamhHQ | 2.7618303611199647E-4 | 611.3769047568867 | 2213665.6666666665 |
STANFORD/skirmish/w4V6Vw | 3.0806251334148895E-4 | 41.001898544449254 | 133096.03333333333 |
BASE/tictactoe_3d_2player/IUC1rQ | 3.2458940128293436E-4 | 272.49700039994667 | 839512.9333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 3.3084847702314696E-4 | 283.4905503149895 | 856859.1666666666 |
BASE/hitori/S8Gsyg | 3.313417632872175E-4 | 115.06666666666666 | 347274.86666666664 |
BASE/majorities/ibJzSQ | 3.4158077334664315E-4 | 162.06758648270346 | 474463.43333333335 |
STANFORD/madness/UO_B3A | 3.426707714376892E-4 | 43.352215928023995 | 126512.73333333334 |
BASE/battle/8oAvhQ | 3.4481719851765395E-4 | 91.20901093041856 | 264514.1 |
DRESDEN/hitori/S8Gsyg | 3.497754142756674E-4 | 120.21329778370271 | 343687.1 |
DRESDEN/battle/8oAvhQ | 3.5061512590586644E-4 | 92.4 | 263536.8333333333 |
BASE/golden_rectangle/_nYzfw | 3.682665118935603E-4 | 300.1 | 814898.9666666667 |
BASE/skirmishHoles/AUCxCA | 3.701332140386317E-4 | 47.181127548980406 | 127470.66666666667 |
BASE/futoshiki6/JmvXNA | 3.7328437227081073E-4 | 207.41950536630893 | 555660.8333333334 |
BASE/qyshinsu/R08Lzw | 3.758041648361254E-4 | 96.92687154189721 | 257918.56666666668 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 3.7757675211944937E-4 | 184.72101859876008 | 489227.73333333334 |
DRESDEN/golden_rectangle/1uloXw | 3.903046634260512E-4 | 282.72390920302655 | 724367.2333333333 |
BASE/strangeSkirmish/gc1zKA | 3.968280736656268E-4 | 42.07615684445481 | 106031.2 |
BASE/reversi/d8UMeA | 3.9799803396372744E-4 | 30.55953610824141 | 76783.13333333333 |
BASE/skirmish/Y_psYQ | 3.990118208533295E-4 | 44.61251416005864 | 111807.5 |
BASE/reversiSuicide/9OxJlg | 4.0242162000572013E-4 | 29.832856096424052 | 74133.33333333333 |
BASE/skirmishFinal2/gdB62Q | 4.628765546271931E-4 | 63.63484924204565 | 137476.93333333332 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.6678247009489823E-4 | 964.7 | 2066701.4333333333 |
BASE/skirmishFinal3/-Olhfw | 4.6775054595819094E-4 | 69.62869142057197 | 148858.6 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.786671462830357E-4 | 986.1333333333333 | 2060165.0666666667 |
DRESDEN/skirmishfinal/hzq8ww | 4.892230475583213E-4 | 64.94069039051047 | 132742.5 |
BASE/skirmishFinal1/ecWTnQ | 5.001972041806048E-4 | 63.9786737754082 | 127906.9 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 5.155612150540848E-4 | 1044.4666666666667 | 2025882.9333333333 |
BASE/hidato37/pBrqxw | 5.227948739798952E-4 | 110.68524196773764 | 211718.3 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 5.268951739688125E-4 | 1014.4333333333333 | 1925303.9 |
BASE/futoshiki5/TJ4BZg | 5.293381085263673E-4 | 324.93333333333334 | 613848.3666666667 |
STANFORD/multipletictactoe/_bkafQ | 5.298954784181671E-4 | 655.7114762841238 | 1237435.5 |
DRESDEN/Zhadu/9zpQ5w | 5.707088032525524E-4 | 57.73202745019655 | 101158.46666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 5.76589594570288E-4 | 965.5333333333333 | 1674559.0666666667 |
BASE/connect5/d-BVQg | 5.837394001491931E-4 | 455.15149495016834 | 779716.9333333333 |
BASE/connectFourLarger/qKi60A | 5.992019847335205E-4 | 468.38438718709375 | 781680.3 |
DRESDEN/connect5/1kYzSg | 6.006012461693079E-4 | 464.98916847192135 | 774206.1333333333 |
BASE/snake2p/I3wWPQ | 6.049934997524373E-4 | 346.87687487500835 | 573356.3666666667 |
BASE/breakthrough/TGxk-g | 6.076253651701526E-4 | 510.6666666666667 | 840430.1333333333 |
STANFORD/platformjumpers/HEQskA | 6.26321549259782E-4 | 236.37636236376363 | 377404.1666666667 |
DRESDEN/minichess-evilconjuncts/th24Tw | 6.310514401191447E-4 | 175.65495633624425 | 278352.8333333333 |
DRESDEN/breakthrough/z4hK7Q | 6.323338795315272E-4 | 512.1666666666666 | 809962.4 |
BASE/ticTacHeavenFC/mrletw | 6.386586327739524E-4 | 230.46927076389815 | 360864.56666666665 |
BASE/breakthroughWalls/vOZaYA | 6.40164027642621E-4 | 519.1493616879437 | 810963.0333333333 |
BASE/minichess-evilconjuncts/4OpQzw | 6.466093576221258E-4 | 181.02729909003034 | 279963.93333333335 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 6.51702605795548E-4 | 995.3333333333334 | 1527281.5 |
BASE/breakthroughSuicide/wZDpIg | 6.534193000737744E-4 | 543.9666666666667 | 832492.5 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 6.625474325676731E-4 | 515.7 | 778359.3666666667 |
BASE/dualConnect4/WbCQkg | 6.706300635302903E-4 | 594.7342109648392 | 886829.0333333333 |
BASE/coins_atomic/AA3SSw | 7.017820584766388E-4 | 320.93333333333334 | 457311.9666666667 |
BASE/coins/QnGtnQ | 7.04176928750922E-4 | 300.4 | 426597.3333333333 |
BASE/ticTacHeaven/18n58A | 7.150751589382313E-4 | 255.81627891473903 | 357747.4 |
BASE/queens08lg/Ru7eqQ | 7.248297963361461E-4 | 348.25505816472787 | 480464.6 |
DRESDEN/coins/QwFP9w | 7.311427614055142E-4 | 307.73333333333335 | 420893.63333333336 |
DRESDEN/capture_the_king/EQ229Q | 7.3537046085795E-4 | 120.86776859504133 | 164363.1 |
BASE/dotsAndBoxes/EHwA_w | 7.370291463638447E-4 | 613.2333333333333 | 832034.0333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 7.385558102190515E-4 | 615.7794740175327 | 833761.6 |
BASE/nonogram_5x5_1/qLKEZw | 7.581679782341684E-4 | 268.7243758541382 | 354439.1 |
DRESDEN/connect4/T0-rHQ | 7.631297045909765E-4 | 455.51814939502015 | 596907.9 |
BASE/speedChess/bPnisA | 7.744812249536465E-4 | 158.17890947873616 | 204238.53333333333 |
STANFORD/nineboardtictactoe/y28P-A | 7.840990918002363E-4 | 422.83847743483767 | 539266.6333333333 |
DRESDEN/slidingpieces/s9_44g | 7.912068633288098E-4 | 343.9104059729351 | 434665.6 |
BASE/connect4/50bOyw | 7.923926115810233E-4 | 453.5 | 572317.3 |
BASE/queens16ug/gT-ylw | 8.132507794365093E-4 | 436.85210492983566 | 537167.7666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 8.199076354897658E-4 | 437.38959437389593 | 533462.0333333333 |
BASE/breakthroughHoles/nZk0Sg | 8.200009842378123E-4 | 739.2666666666667 | 901543.6333333333 |
DRESDEN/pawn_whopping/4ogBkg | 8.214001912416663E-4 | 675.5774807506416 | 822470.5666666667 |
BASE/snake_2009_big/-oRfVw | 8.225927576018998E-4 | 287.3808412772482 | 349359.8 |
BASE/connectFourLarge/aU644A | 8.318856798126412E-4 | 729.0 | 876322.3333333334 |
BASE/skirmishZeroSum/zh4hcw | 8.398587959938912E-4 | 164.650201646502 | 196045.1 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 8.467339545458403E-4 | 658.6 | 777812.2 |
BASE/skirmishNew/sibw2g | 8.508441039065663E-4 | 170.02766574447517 | 199834.1 |
BASE/nineBoardTicTacToePie/B8LzeQ | 8.597376453717436E-4 | 385.3076461569229 | 448168.86666666664 |
BASE/slidingpieces/uFJWEw | 8.616352620566037E-4 | 370.7419505366309 | 430277.13333333336 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 8.638849792903975E-4 | 1078.1666666666667 | 1248044.2333333334 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 8.702653429394258E-4 | 1056.6333333333334 | 1214150.7666666666 |
BASE/conn4/va9Y7A | 8.770631235274255E-4 | 574.7141761941268 | 655271.1666666666 |
BASE/breakthroughSmallHoles/bxclRw | 8.921073519278682E-4 | 697.6666666666666 | 782043.4 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 8.936041668573731E-4 | 976.2 | 1092430.0 |
DRESDEN/sat_test_20v_91c/dK7nVw | 8.974600683452406E-4 | 1012.5 | 1128183.9 |
BASE/pawnWhopping/Ypc_6Q | 8.993268365330276E-4 | 657.3333333333334 | 730917.0666666667 |
BASE/3pConnectFour/PqXOFQ | 9.06913246724077E-4 | 620.2 | 683858.1333333333 |
BASE/cubicup/4wNWJA | 9.252569335893458E-4 | 348.02173260891306 | 376135.23333333334 |
BASE/connectFourSimultaneous/7ITr3g | 9.257735510162714E-4 | 482.3 | 520969.73333333334 |
BASE/futoshiki4/BaCwSw | 9.331127335568607E-4 | 690.6 | 740103.5 |
BASE/checkers-newgoals/0XkFiA | 9.42405704033148E-4 | 232.79224025865804 | 247019.13333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 9.435332609248007E-4 | 1016.1333333333333 | 1076944.9 |
BASE/withConviction/3Xm54A | 9.456633878403937E-4 | 603.2931137924138 | 637957.5666666667 |
BASE/tictactoe_3d_small_2player/oOryKA | 9.563757853286579E-4 | 818.3333333333334 | 855660.8666666667 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 9.604939093513717E-4 | 230.34363230343632 | 239817.9 |
DRESDEN/cubicup/SBn_lw | 9.654853867940924E-4 | 345.73333333333335 | 358092.76666666666 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 9.727416977266291E-4 | 846.2 | 869912.3333333334 |
DRESDEN/mimikry/GJEhwA | 9.753691435635723E-4 | 846.2 | 867568.9666666667 |
DRESDEN/snake_2009_big/DgC1NQ | 9.873583678621676E-4 | 303.8 | 307689.7 |
BASE/tictactoe_3d_6player/d7KSwg | 9.895338654318344E-4 | 242.3 | 244862.76666666666 |
BASE/connectFour_9x6/B9TtMw | 9.987435296500812E-4 | 958.4666666666667 | 959672.4666666667 |
BASE/choicethroughalt/tt71Lg | 0.0010022698284391338 | 493.03333333333336 | 491916.76666666666 |
DRESDEN/connectfoursuicide/M9CNQg | 0.0010076651587260003 | 999.3666666666667 | 991764.6333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.0010186924770375387 | 893.9 | 877497.4 |
BASE/connectFourSuicide/c8p9Kw | 0.0010204667807626252 | 1022.0333333333333 | 1001535.1333333333 |
BASE/connectFour/WAIKTw | 0.0010221890484380899 | 997.4333333333333 | 975781.6666666666 |
STANFORD/connectfour/VMpZkQ | 0.0010365290849447602 | 1013.5 | 977782.5 |
BASE/breakthroughSuicideSmall/XSbJog | 0.0010443467798367894 | 864.3666666666667 | 827662.5 |
BASE/breakthroughSmall/HJ0tIA | 0.0010466465318795656 | 856.1666666666666 | 818009.3666666667 |
BASE/mummymaze2p/vpjDdA | 0.0010470556036428927 | 1143.5 | 1092110.1 |
DRESDEN/connectfour/5tc-Mg | 0.0010488118063091182 | 1020.3666666666667 | 972878.7 |
DRESDEN/brawl/2kXtfQ | 0.0010546959210928418 | 161.650501616505 | 153267.4 |
BASE/ticTacToeLargeSuicide/727_8g | 0.0010557138080369156 | 1385.1 | 1312003.3 |
BASE/ticTacToeLarge/TZC0dg | 0.001057959665338138 | 1400.0 | 1323301.8666666667 |
BASE/brawl/6Ymo_Q | 0.001083144161268073 | 160.4506216045062 | 148134.13333333333 |
DRESDEN/towerworld/HCX34w | 0.0010886418501817041 | 40.38922953878966 | 37100.566666666666 |
DRESDEN/snake_2008/E56l3A | 0.001090905092518738 | 403.46666666666664 | 369845.8 |
DRESDEN/mummymaze2p/k-8edg | 0.0010936256475042312 | 1145.4 | 1047341.9333333333 |
BASE/snake_2008/i6K26g | 0.00110937617146946 | 419.55268157728074 | 378187.93333333335 |
DRESDEN/tictactoelarge/IwXcbg | 0.001116288866210086 | 1415.4333333333334 | 1267981.2333333334 |
BASE/tictactoex9/BI26ow | 0.001142854280331269 | 593.1666666666666 | 519022.13333333336 |
BASE/snake_2008_tweaked/bX0NJQ | 0.0011462104231826722 | 428.3333333333333 | 373695.2 |
DRESDEN/skirmish2/iPpWhQ | 0.0011504764103081472 | 296.1234625512483 | 257392.03333333333 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.0011520540425960643 | 1506.1164627845737 | 1307331.4333333333 |
DRESDEN/tictactoex9/rFkD4w | 0.001157492233963896 | 595.9333333333333 | 514848.6666666667 |
BASE/hidato19/rRHSmA | 0.001165179091826627 | 530.4333333333333 | 455237.6 |
BASE/simultaneousWin2/PfjRjw | 0.0011840219333020582 | 1087.2 | 918226.2333333333 |
DRESDEN/skirmish/RjGQYQ | 0.0011972962422499673 | 265.991133628879 | 222159.83333333334 |
BASE/mineClearingSmall/frsbvw | 0.0012013746313703705 | 343.1437904139724 | 285625.9666666667 |
DRESDEN/pentago_2008/hLjVpQ | 0.001213294131479483 | 432.03333333333336 | 356082.93333333335 |
BASE/pentago/86NgKw | 0.0012157392879985158 | 441.65194493516884 | 363278.5 |
DRESDEN/snake_2009/zIYLVw | 0.0012362391644358025 | 412.1725218318779 | 333408.4 |
STANFORD/duikoshi/tpw1sw | 0.0012563050512452917 | 607.4333333333333 | 483507.8333333333 |
BASE/snake_2009/7l-qAQ | 0.001271596480118193 | 413.5724285047663 | 325238.73333333334 |
BASE/pegEuro/5awwhg | 0.0013068257353939397 | 603.4798840038666 | 461790.63333333336 |
DRESDEN/babel/WdSW4A | 0.0013086183785014954 | 307.87947470168655 | 235270.63333333333 |
BASE/pentagoSuicide/SBgNhw | 0.0013133116122883346 | 463.4739718722922 | 352904.8 |
BASE/checkers-mustjump/T-8UuQ | 0.0013285305114793433 | 225.76666666666668 | 169937.13333333333 |
BASE/checkers/rOC3Xg | 0.0013363513702083847 | 320.5 | 239832.13333333333 |
BASE/queens12ug/u6Bkmg | 0.001343985689487392 | 792.2 | 589440.8 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.0013673490865805352 | 189.8143518981435 | 138819.23333333334 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.0013748749627433457 | 191.05542040190622 | 138962.03333333333 |
BASE/checkersSmall/SYmq8w | 0.0013913633028372636 | 425.0049996666889 | 305459.4 |
STANFORD/breakthrough/d5j0cQ | 0.0013961653833925436 | 1121.1 | 802985.1 |
BASE/knightThrough/gcwFjA | 0.00141944517064047 | 1105.6333333333334 | 778919.3666666667 |
BASE/checkersTiny/Lr48cg | 0.0014199671975356227 | 581.5472817572747 | 409549.8 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.0014441724373657856 | 1994.2 | 1380860.0333333334 |
BASE/max_knights/2fq3Ag | 0.0014722956981220474 | 1197.5 | 813355.6333333333 |
BASE/firefighter/WJmoPw | 0.0015345113257641204 | 6296.466666666666 | 4103238.966666667 |
BASE/wallmaze/uxNQ9g | 0.0015448348085912217 | 838.6666666666666 | 542884.3666666667 |
BASE/queens/HyJJnQ | 0.0015457156068362527 | 493.9012197560488 | 319529.1666666667 |
DRESDEN/peg/Vo31eg | 0.0015462170929550156 | 703.2 | 454787.36666666664 |
DRESDEN/queens/mW2wHQ | 0.001566206522622312 | 507.2995133657756 | 323903.3333333333 |
DRESDEN/peg_bugfixed/u_B7MA | 0.001610369865642014 | 735.8 | 456913.6666666667 |
DRESDEN/firefighter/WJmoPw | 0.0016112988959841377 | 6208.033333333334 | 3852813.0 |
STANFORD/pentago/ZxzLmg | 0.0016322278624106728 | 598.9133695543482 | 366930.0 |
BASE/peg/fJHVWw | 0.0016370496940091973 | 744.1666666666666 | 454577.93333333335 |
DRESDEN/knightthrough/J7Fc_Q | 0.0016402285058806098 | 1261.3666666666666 | 769018.8666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.0016530356487509247 | 600.8666666666667 | 363492.86666666664 |
BASE/checkers-mustjump-torus/uSApKQ | 0.0016981948967344875 | 175.52163189120725 | 103357.76666666666 |
BASE/escortLatch/mX9BjQ | 0.0017018165989274403 | 838.7333333333333 | 492845.9 |
DRESDEN/max_knights/hCipiA | 0.0017225052463743255 | 1316.7666666666667 | 764448.5666666667 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.0017390100654946776 | 579.5666666666667 | 333273.9 |
BASE/incredible/8Qh-6Q | 0.001755177838992836 | 3317.6 | 1890178.8333333333 |
DRESDEN/grid_game/U7_Yeg | 0.0017572857649643602 | 1067.1666666666667 | 607281.2333333333 |
BASE/lightsOut/5P1ZBw | 0.0017689302954725158 | 1127.1 | 637164.7333333333 |
STANFORD/sukoshi/4LYZZQ | 0.0017751888399219614 | 1748.5 | 984965.6333333333 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.0017809687852759794 | 588.4333333333333 | 330400.7 |
BASE/blocksWorldParallel/RseaAQ | 0.0017879121233605729 | 777.8 | 435032.56666666665 |
BASE/knightmove/jBaJEw | 0.0018279666406438083 | 1751.4333333333334 | 958132.0 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.001849077247631023 | 1421.6333333333334 | 768833.9333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.0019079204773728064 | 1511.0333333333333 | 791979.2 |
DRESDEN/knightmove/97Ipcw | 0.0019170137487723655 | 1745.0333333333333 | 910287.3333333334 |
BASE/tictactoe_3player/GtM71g | 0.0019295946385704985 | 943.6018799373354 | 489015.6 |
DRESDEN/lightsout/XgLpzQ | 0.001960662790844302 | 1217.9666666666667 | 621201.5 |
BASE/pacman3p/wW7UVQ | 0.0019702677887639933 | 923.3025565814473 | 468617.8 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.0020171377167802 | 589.7803406553115 | 292384.76666666666 |
BASE/cubicup_3player/e2yA_g | 0.0020197221496125566 | 159.89467017766074 | 79166.66666666667 |
DRESDEN/backgammon/mqCW0Q | 0.0020263888565308784 | 303.9130724618359 | 149977.66666666666 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.002038267282907559 | 1635.0333333333333 | 802168.2666666667 |
DRESDEN/catcha_mouse/cHv4dw | 0.00205197929397052 | 1417.6666666666667 | 690877.6666666666 |
BASE/racetrackcorridor/_RkdUg | 0.0020648933314671406 | 1399.5666666666666 | 677791.2666666667 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.002084169413198402 | 964.8690087327511 | 462951.3333333333 |
DRESDEN/skirmish3/3LU8Nw | 0.0020894905762262436 | 459.56666666666666 | 219941.96666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0020922176893925647 | 1443.5 | 689937.7666666667 |
BASE/checkersBarrelNoKings/rnKNeg | 0.0021197829895196548 | 678.7666666666667 | 320205.73333333334 |
DRESDEN/tpeg/h-Scbg | 0.002139533620928135 | 777.5333333333333 | 363412.5333333333 |
BASE/lightsOnParallel/SC6enA | 0.002146508643286795 | 3619.866666666667 | 1686397.4333333333 |
BASE/ttcc4_2player_small/Cv72TA | 0.002150272728189002 | 1187.6 | 552302.0333333333 |
STANFORD/chinook/osFbPA | 0.0021573003515306583 | 562.6812439585348 | 260826.56666666668 |
BASE/ttcc4_2player/_aH_Mw | 0.002164407196750767 | 786.9404353188227 | 363582.43333333335 |
STANFORD/pilgrimage/ObRZnQ | 0.0021718010112747902 | 637.4120862637913 | 293494.7 |
DRESDEN/cubicup_3player/awDtsQ | 0.00217931997460695 | 167.62755357083347 | 76917.36666666667 |
BASE/tpeg/QNs7Lw | 0.002180933958964944 | 789.1 | 361817.4666666667 |
BASE/englishDraughts/jFkQxg | 0.0021973850830790433 | 664.2 | 302268.36666666664 |
BASE/ticTacToeSerial/Amrwqw | 0.002215434883340167 | 1157.3666666666666 | 522410.6 |
BASE/copolymer_4/2LDVhQ | 0.002221079807052753 | 1634.1333333333334 | 735738.2333333333 |
DRESDEN/chinesecheckers2/06E6-Q | 0.0022362468712251223 | 1469.4666666666667 | 657112.9 |
BASE/chineseCheckers1/gqtwHw | 0.0022558973201773427 | 3733.6 | 1655039.8666666667 |
DRESDEN/racetrackcorridor/O0DoTA | 0.002262118844551106 | 1374.3666666666666 | 607557.2333333333 |
BASE/lightsOnSimultaneous/_VN6lw | 0.0022730191196839687 | 1844.4333333333334 | 811446.4666666667 |
STANFORD/hex/MTqWcw | 0.0022879229472875223 | 192.54099453406212 | 84155.36666666667 |
BASE/queens08ug/kJ_ZFQ | 0.002290827380544965 | 1647.8 | 719303.4333333333 |
BASE/2pttc/unkkYA | 0.0023051805667010537 | 1596.2 | 692440.3333333334 |
BASE/catcha_mouse/cHv4dw | 0.0023201999065574973 | 1418.8 | 611499.0333333333 |
BASE/pacman2p/4LEdQg | 0.0023216529517277092 | 921.4333333333333 | 396886.76666666666 |
DRESDEN/pacman3p/rBnk8Q | 0.002336789703566886 | 952.3666666666667 | 407553.43333333335 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.002343461739317315 | 3857.5666666666666 | 1646097.5666666667 |
DRESDEN/lightsout2/LFtfyQ | 0.0023647117931124345 | 1431.9333333333334 | 605542.4333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 0.0023794282251776108 | 681.7 | 286497.4 |
BASE/chinook/XQh0IQ | 0.002382081674055151 | 608.7 | 255532.8 |
BASE/ticblock/T21C1g | 0.00242836256052366 | 1740.9 | 716902.8333333334 |
DRESDEN/oisters_farm/pTQMLg | 0.00243218312278195 | 9107.666666666666 | 3744646.7666666666 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.0024449554339667887 | 955.0 | 390600.1666666667 |
BASE/twisty-passages/DiZmmg | 0.002446868765242466 | 6747.833333333333 | 2757742.2333333334 |
BASE/checkersTorus/2vm1EQ | 0.002448982970035504 | 552.3333333333334 | 225535.8 |
DRESDEN/endgame/IJhh3Q | 0.002457395168898765 | 421.26666666666665 | 171428.13333333333 |
BASE/tictactoe2/bhrDoQ | 0.002460582354305357 | 3085.4 | 1253930.8 |
BASE/hex/T1MK8g | 0.002461863627046816 | 206.2264591180294 | 83768.43333333333 |
STANFORD/tictactoe3/X7myng | 0.0025038246068649905 | 2809.7 | 1122163.2666666666 |
DRESDEN/ticblock/Z2yNWQ | 0.0025132873162293737 | 1794.6333333333334 | 714058.1666666666 |
BASE/blockerSerial/3eqDuw | 0.002519775048375392 | 1456.9 | 578186.5333333333 |
DRESDEN/twisty-passages/j7NPyg | 0.0025488476221587663 | 6771.533333333334 | 2656703.8666666667 |
BASE/copolymer_4_pie/IN5_jA | 0.0025589667740066524 | 1452.6666666666667 | 567677.0333333333 |
BASE/lightsOnSimul4/9FeASw | 0.002590517865356107 | 1413.7 | 545721.0 |
DRESDEN/ghostmaze2p/HY0UwA | 0.002607212117497731 | 2507.0666666666666 | 961589.0666666667 |
BASE/doubletoetictac/fu35bg | 0.002637315615448251 | 1300.0666666666666 | 492950.73333333334 |
DRESDEN/bomberman2p/x4h6jQ | 0.0026866883768166777 | 1250.0666666666666 | 465281.6 |
DRESDEN/aipsrovers01/qS47Mw | 0.0027293166190830664 | 4406.3 | 1614433.4333333333 |
STANFORD/ttcc4/Cx9SGw | 0.002765008830347049 | 943.5 | 341228.56666666665 |
DRESDEN/latenttictactoe/kITHKg | 0.002769951258587114 | 1757.5666666666666 | 634511.7666666667 |
BASE/ticTacToeNoVars/XT03NA | 0.002772734908599537 | 3440.8333333333335 | 1240952.8666666667 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.002808794445799098 | 4770.833333333333 | 1698534.1666666667 |
BASE/aipsrovers01/4C4jsw | 0.0028493560785942834 | 4400.233333333334 | 1544290.4333333333 |
BASE/bomberman2p/4CClwA | 0.0028631107369395284 | 1339.7 | 467917.63333333336 |
BASE/factoringGeorgeForman/HGRorQ | 0.0028652094160925875 | 5899.433333333333 | 2058988.5333333334 |
BASE/checkLines/Vop7oQ | 0.0028919580118961087 | 1208.6666666666667 | 417940.6 |
DRESDEN/bunk_t/7-tPfA | 0.0029236966656259423 | 1239.8333333333333 | 424063.6 |
BASE/queens06ug/7Lq3tw | 0.0029296151090477864 | 2653.1666666666665 | 905636.6 |
BASE/ghostMaze2p/W-NU-w | 0.002953132204748509 | 2571.4 | 870736.5 |
BASE/hexPie/48CH6Q | 0.0029798938290682394 | 194.90084985835693 | 65405.3 |
DRESDEN/doubletictactoe/lJzgmQ | 0.003006605870088824 | 1291.1 | 429421.1 |
BASE/bunk_t/xbpfIA | 0.0030269779052294796 | 1284.4 | 424317.6 |
DRESDEN/chinesecheckers3/QsCb2A | 0.0031029315068297975 | 1306.7 | 421117.9 |
BASE/doubletictactoe/HH1htg | 0.0031058434310458957 | 1326.0666666666666 | 426958.63333333336 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.0031082566361089635 | 4536.933333333333 | 1459639.2333333334 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.0031110625737488986 | 4903.6 | 1576181.7333333334 |
DRESDEN/chinesecheckers6/yTbPDA | 0.0031383776905818846 | 992.6666666666666 | 316299.3 |
DRESDEN/doubletoetictac/V89gKQ | 0.003148311691073345 | 1302.8666666666666 | 413830.26666666666 |
STANFORD/freeforall/Lfp40Q | 0.003202858687549693 | 1664.1 | 519567.1 |
BASE/amazons_8x8/7SOsIw | 0.003235645356290239 | 391.0202993233559 | 120847.7 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.0032755260785627925 | 3650.1666666666665 | 1114375.7 |
BASE/2pffa/6oHijA | 0.003358850537175125 | 1663.4333333333334 | 495238.86666666664 |
DRESDEN/logistics/fPru1Q | 0.003384994924923357 | 1681.4666666666667 | 496741.26666666666 |
BASE/chineseCheckers2/eCMR3Q | 0.003397188614826075 | 2892.6 | 851468.7666666667 |
BASE/chineseCheckers4/avfBcQ | 0.003407429353655559 | 1242.1 | 364527.0 |
STANFORD/untwistycomplex/HTWEwg | 0.0034612744902825995 | 12223.2 | 3531415.966666667 |
STANFORD/alquerquezero/uVgA_A | 0.003474673550177708 | 1165.8 | 335513.5333333333 |
BASE/2pffa_zerosum/o0_uZA | 0.0035209804059683153 | 1747.8666666666666 | 496414.76666666666 |
DRESDEN/blocker/S815zQ | 0.0035438817806514662 | 3536.866666666667 | 998020.5 |
BASE/wargame01/_GZFZg | 0.00356850082137249 | 853.6333333333333 | 239213.43333333332 |
STANFORD/tictactoe5/WFRReg | 0.0035809625982037227 | 3151.0 | 879931.0 |
BASE/blocker/dIWtxg | 0.0036154301032017937 | 3587.866666666667 | 992376.1666666666 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.003629260010022887 | 3206.733333333333 | 883577.7333333333 |
BASE/duplicateStateLarge/dcjyuw | 0.003720986657357301 | 4764.466666666666 | 1280431.0 |
BASE/wargame02/BkVqqQ | 0.003729315891557059 | 439.4520182660578 | 117837.16666666667 |
BASE/tictactoe-init1/7M19vA | 0.0037622934051953507 | 3186.0333333333333 | 846832.7666666667 |
BASE/chineseCheckers6/rREH3A | 0.003767434322713796 | 1446.7333333333333 | 384010.23333333334 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0037843887630408376 | 13624.266666666666 | 3600123.433333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.0038051977294724128 | 13706.433333333332 | 3602029.2 |
BASE/wargame03/klXI8w | 0.003844037273567319 | 646.6 | 168208.56666666668 |
BASE/asteroidsSerial/id2QkA | 0.003901205304751456 | 3164.0 | 811031.4 |
BASE/hodgepodge/9yjRkw | 0.0039081376582600245 | 5233.866666666667 | 1339222.7 |
DRESDEN/stratego/Z2wovg | 0.003912017918738525 | 643.8118729375688 | 164572.83333333334 |
BASE/lightsOn/MsXu3A | 0.003921656543052604 | 8122.566666666667 | 2071208.0666666667 |
DRESDEN/lightson2x2/gBHuig | 0.003986803756198893 | 5809.5 | 1457182.3333333333 |
DRESDEN/eotcatcit/mQUxzA | 0.0040502440965037 | 3283.3 | 810642.5 |
DRESDEN/javastrike/whONTQ | 0.004081562820177691 | 269.04873008466103 | 65918.06666666667 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.004115272032552875 | 9265.366666666667 | 2251459.1 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.004156689331015225 | 6113.566666666667 | 1470777.8666666667 |
DRESDEN/Goldrush/VeWczQ | 0.004165561357459324 | 1432.1 | 343795.2 |
DRESDEN/tictactoe/BTTzPw | 0.004261251160216499 | 3424.4333333333334 | 803621.5666666667 |
BASE/toetictac/mTThmg | 0.004307530919494525 | 4798.266666666666 | 1113925.0666666667 |
DRESDEN/minichess/c7GMFw | 0.004323145687173774 | 1189.0666666666666 | 275046.63333333336 |
BASE/hanoi_6_disks/MeubgQ | 0.004343019373565893 | 5620.1 | 1294053.6333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.004426367676871117 | 5913.0 | 1335858.3 |
STANFORD/tictactoe7/-bE9-A | 0.0044424196434850825 | 3322.5333333333333 | 747910.7333333333 |
BASE/ticTacToe/JRFsaQ | 0.00448020675133334 | 3466.4333333333334 | 773721.7333333333 |
BASE/ticTacToeParallel/ymRGPw | 0.004574562049964797 | 1409.0666666666666 | 308022.2 |
DRESDEN/blockerparallel/dVQgSg | 0.004579057436785737 | 903.2 | 197245.83333333334 |
BASE/blocksWorldSerial/Wyg96Q | 0.004597708715241553 | 3725.3333333333335 | 810258.6666666666 |
DRESDEN/toetictac/mJtxCA | 0.004612117882433824 | 4836.833333333333 | 1048722.8333333333 |
BASE/chineseCheckers3/-1rZdQ | 0.004664075873750603 | 2348.9666666666667 | 503629.6 |
BASE/chickentictactoe/DSlZCA | 0.004677538341429904 | 2934.2 | 627295.7666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.004700075254007347 | 6717.366666666667 | 1429204.0666666667 |
STANFORD/dualhunter/1rPZjQ | 0.0047272466343289115 | 2101.5666666666666 | 444564.63333333336 |
BASE/blockerParallel/7-nDJA | 0.0047513344182473416 | 914.3333333333334 | 192437.16666666666 |
DRESDEN/tictactoeparallel/yk_DSg | 0.004753835140351068 | 1481.7333333333333 | 311692.2 |
BASE/duplicateStateMedium/U163eQ | 0.00475648523481388 | 7918.833333333333 | 1664849.7666666666 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.004762995416171606 | 3813.9333333333334 | 800742.6 |
DRESDEN/4pttc/9pB9AQ | 0.0047750747442618455 | 1179.1666666666667 | 246942.03333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 0.004793919088018753 | 2876.4666666666667 | 600024.0333333333 |
STANFORD/trifecta/ss1kyQ | 0.004816659538434526 | 3398.1 | 705488.9333333333 |
BASE/eotcatcit/AfZSzA | 0.004857391870149354 | 3360.3333333333335 | 691797.8666666667 |
BASE/numbertictactoe/rvJ-iQ | 0.004867271542086365 | 2138.5 | 439363.2 |
STANFORD/hunter/14dD-g | 0.004892513201777424 | 4219.533333333334 | 862447.0 |
STANFORD/tictactoe/ss1kyQ | 0.0049027798782179475 | 3708.733333333333 | 756455.2 |
BASE/cittaceot/fDxhXg | 0.004967537466207972 | 985.1666666666666 | 198320.93333333332 |
BASE/4pttc/AL1k2Q | 0.005032559450632084 | 1029.5333333333333 | 204574.5 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.005060295110550069 | 298.10704525761514 | 58911.0 |
BASE/brain_teaser_extended/ZDp94A | 0.005102747973294175 | 4020.266666666667 | 787863.0666666667 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.005103666519023756 | 3892.7 | 762726.1666666666 |
DRESDEN/hanoi7/51zz5Q | 0.0051506466211534725 | 6346.8 | 1232233.6333333333 |
BASE/tictactoe_orthogonal/WRzlVw | 0.005216228680962609 | 3976.3 | 762294.0333333333 |
STANFORD/dualrainbow/G3OnRQ | 0.005244243020831715 | 4657.3 | 888078.6 |
BASE/3pttc/0sol9g | 0.00525348590261352 | 1353.4333333333334 | 257625.76666666666 |
BASE/sheepAndWolf/g4THrg | 0.005258728125595 | 810.1666666666666 | 154061.33333333334 |
BASE/tttcc4/8Bs2lg | 0.005271071669950314 | 710.2333333333333 | 134741.73333333334 |
BASE/chickentoetictac/l57rfQ | 0.005273776280049439 | 4252.233333333334 | 806297.6333333333 |
BASE/ttcc4/Le0qjQ | 0.0053459022250246955 | 708.7666666666667 | 132581.3 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.005349518844414905 | 817.2333333333333 | 152767.63333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 0.005354203346550185 | 4021.2 | 751036.1 |
DRESDEN/tttcc4/sAvtFg | 0.005363828428367711 | 696.2333333333333 | 129801.56666666667 |
BASE/snakeParallel/RCVNtw | 0.005383459388735118 | 4174.333333333333 | 775399.8 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.005400447519317533 | 11500.666666666666 | 2129576.6 |
BASE/hanoi7_bugfix/3gdnFw | 0.005408529338298926 | 6584.633333333333 | 1217453.5666666667 |
BASE/amazons_10x10/Bun8dA | 0.005521419995966682 | 302.75657478084065 | 54833.1 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.005611367090263153 | 6744.5 | 1201935.2666666666 |
DRESDEN/3pttc/uwYBZw | 0.005612015389386754 | 1521.2 | 271061.26666666666 |
BASE/blocksWorld/SEdXLQ | 0.005789125331072802 | 8958.566666666668 | 1547481.9 |
STANFORD/rainbow/_4qNSQ | 0.0058254607225170785 | 9090.6 | 1560494.6 |
BASE/blocks/xIV5hQ | 0.005963011950219688 | 8428.533333333333 | 1413469.1333333333 |
DRESDEN/blocks/vg0DRw | 0.0060343769676381226 | 8769.166666666666 | 1453201.6666666667 |
BASE/rubiksCube/9tNO9Q | 0.006041501383220663 | 761.0 | 125962.06666666667 |
BASE/sum15/QZ07Kg | 0.006046918711325984 | 4107.833333333333 | 679326.7 |
DRESDEN/tictictoe/LAUtwg | 0.006122106421159932 | 2085.0333333333333 | 340574.5 |
STANFORD/tictictoe/rpt_Dw | 0.006144416871602892 | 2037.0333333333333 | 331525.9 |
DRESDEN/sum15/CsgWKg | 0.006324466740395435 | 4240.4 | 670475.5 |
BASE/ticTicToe/c1OobQ | 0.006377496299925375 | 2135.7 | 334880.63333333336 |
STANFORD/untwistycorridor/EDPPAQ | 0.006426033159641033 | 23520.866666666665 | 3660246.7 |
BASE/duplicateStateSmall/bCPAXw | 0.006428938107489067 | 13250.266666666666 | 2061035.0333333334 |
DRESDEN/hanoi/RQ0jiA | 0.006438382859594985 | 7347.766666666666 | 1141244.1333333333 |
BASE/eotcitcit/V_9_bg | 0.006465626079658453 | 2150.9 | 332666.93333333335 |
DRESDEN/frogs_and_toads/GjchhQ | 0.006561152570432539 | 936.9 | 142795.03333333333 |
BASE/asteroidsParallel/WauZiA | 0.006572329705102858 | 3246.4666666666667 | 493959.8 |
BASE/hanoi/iGLsJg | 0.006610998876105872 | 7611.6 | 1151354.0 |
DRESDEN/3pffa/0YrmQw | 0.006635731479005082 | 1654.0666666666666 | 249266.66666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 0.006689956524118209 | 2877.2 | 430077.5333333333 |
BASE/chomp/-LcqYQ | 0.00693709245275592 | 2708.1666666666665 | 390389.3 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.0069506534924115146 | 2685.1 | 386309.0 |
BASE/biddingTicTacToe/8mESVw | 0.006959761607592373 | 2697.9666666666667 | 387652.1666666667 |
BASE/minichess/8NQEiA | 0.007080464470380668 | 1680.7 | 237371.43333333332 |
BASE/coloredtrails/EZvr7g | 0.007128758766753352 | 2690.266666666667 | 377382.2 |
BASE/untwistycomplex2/EDPPAQ | 0.007188071898845878 | 22682.2 | 3155533.2666666666 |
DRESDEN/chomp/-LcqYQ | 0.007210660626913889 | 2656.4333333333334 | 368403.6 |
BASE/4pffa/Q3ADlg | 0.007220475768019342 | 1263.9666666666667 | 175053.1 |
BASE/3pffa/pR0dzA | 0.007246997580997207 | 1471.9666666666667 | 203114.0 |
DRESDEN/Thief_Police/CX18rA | 0.007353047781702005 | 6525.533333333334 | 887459.6666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 0.007358543635886069 | 1713.6 | 232872.16666666666 |
BASE/tron_10x10/7ZTgDg | 0.007431564420494318 | 2804.5 | 377376.8 |
BASE/gt_dollar/TGjqRw | 0.007522922860935916 | 7390.3 | 982370.8333333334 |
BASE/maze/cCX3qQ | 0.007545517179451884 | 17153.466666666667 | 2273332.1333333333 |
BASE/beatMania/qUHwvQ | 0.0075509740496303955 | 7399.5 | 979939.8 |
DRESDEN/point_grab/r5DPmQ | 0.007697830280425202 | 13952.033333333333 | 1812463.1 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.007785668201665699 | 6549.433333333333 | 841216.6 |
BASE/point_grab/V_osUg | 0.00781455326165068 | 14421.866666666667 | 1845513.9 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.00800880323480461 | 7004.4 | 874587.6 |
BASE/circlesolitaire/azuQFQ | 0.008153677485910593 | 7159.266666666666 | 878041.4333333333 |
BASE/pearls/6k_mEQ | 0.008158158149502576 | 25159.333333333332 | 3083947.7333333334 |
BASE/stateSpaceLarge/0Ge_CQ | 0.008252988010612096 | 8456.566666666668 | 1024667.2666666667 |
DRESDEN/circlesolitaire/ruUilQ | 0.00828973798177783 | 7185.1 | 866746.3333333334 |
DRESDEN/statespacemedium/dVJZ_w | 0.00829270568743085 | 12073.733333333334 | 1455946.2 |
BASE/stateSpaceMedium/3bUoIw | 0.00835787989993941 | 12140.766666666666 | 1452613.2 |
BASE/gt_coordination/IVMOzA | 0.008370284089909271 | 9037.733333333334 | 1079740.3333333333 |
BASE/asteroids/BKCmPQ | 0.008601381772155995 | 8042.933333333333 | 935074.5666666667 |
DRESDEN/statespacelarge/8-y5HQ | 0.00868661601298893 | 8673.866666666667 | 998532.3 |
STANFORD/3puzzle/41ibjA | 0.00876584401045955 | 9633.233333333334 | 1098951.0333333334 |
BASE/troublemaker02/DI83KA | 0.00882086966928635 | 18514.5 | 2098942.7 |
BASE/stateSpaceSmall/Q7osKA | 0.00883140326342718 | 16527.166666666668 | 1871408.9 |
DRESDEN/catch_me/ghGWrA | 0.008964621292671532 | 7122.7 | 794534.4 |
DRESDEN/troublemaker01/C-lPWw | 0.008964969658326877 | 19540.133333333335 | 2179609.533333333 |
BASE/switches/tPUoCg | 0.008969726288775352 | 11317.733333333334 | 1261770.2 |
DRESDEN/cube_2x2x2/fp-34Q | 0.009014180972095968 | 2521.7 | 279748.1 |
STANFORD/threepuzzle/41ibjA | 0.009043997097320396 | 9825.8 | 1086444.4 |
DRESDEN/troublemaker02/iZLVuA | 0.009051514720095088 | 17873.9 | 1974686.0666666667 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.00910001898706537 | 2576.9 | 283175.23333333334 |
DRESDEN/buttons/ADUaHw | 0.009108172021369102 | 22636.1 | 2485251.7 |
BASE/troublemaker01/s3tlEQ | 0.009130083227199576 | 20052.266666666666 | 2196285.2 |
BASE/buttons/hTcUjw | 0.009138427899929611 | 22097.966666666667 | 2418136.566666667 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.00914218235518094 | 476.38083816376843 | 52108.0 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.00924345822683819 | 497.6184924890917 | 53834.666666666664 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.009246778816299652 | 459.6333333333333 | 49707.4 |
DRESDEN/statespacesmall/h-NqjA | 0.009352517243484347 | 16923.966666666667 | 1809562.7333333334 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.009379427437768003 | 2568.4333333333334 | 273836.9 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.009655295665643665 | 474.63502433171124 | 49158.0 |
BASE/snakeAssemblit/UO4sdg | 0.009950834537327077 | 405.6666666666667 | 40767.1 |
BASE/gt_centipede/9fRMpw | 0.010120935006857838 | 10882.7 | 1075266.2666666666 |
DRESDEN/crissrace/KWb9bw | 0.010144305894058857 | 887.6666666666666 | 87503.93333333333 |
BASE/knightsTour/mvtVIg | 0.010334490435494541 | 13592.133333333333 | 1315220.4666666666 |
BASE/amazonsTorus_10x10/Uxc08g | 0.01037351296698113 | 204.68635424305046 | 19731.633333333335 |
BASE/crissrace/ERWGDA | 0.010983434902293704 | 942.3 | 85792.83333333333 |
DRESDEN/crisscross/GsY16g | 0.011069847496018937 | 1272.6 | 114960.93333333333 |
STANFORD/knightstour/cEwgNA | 0.011327472810818816 | 14538.333333333334 | 1283457.8 |
STANFORD/knightstourmedium/x1wu8Q | 0.011517224641463075 | 14701.5 | 1276479.4 |
DRESDEN/knightstour/cGISAA | 0.011518664071588542 | 14662.366666666667 | 1272922.5 |
DRESDEN/blocks2player/3ev8nQ | 0.01184010394483961 | 6911.0 | 583694.2 |
DRESDEN/fizzbuzz/t1xHzQ | 0.011861254824003279 | 19373.8 | 1633368.5 |
BASE/blocks2player/wnTLOQ | 0.01188819352571017 | 6880.533333333334 | 578770.3 |
BASE/knightfight/SJRkAg | 0.012283483215549817 | 2911.3333333333335 | 237012.03333333333 |
DRESDEN/smallest_4player/ADDROA | 0.012285371916481505 | 3880.5333333333333 | 315866.1666666667 |
BASE/survival/YVIjJA | 0.012418561195151164 | 28649.533333333333 | 2306992.966666667 |
BASE/smallest_4player/ADDROA | 0.012443400509161468 | 3811.8333333333335 | 306333.73333333334 |
BASE/quarto/EwBMVQ | 0.012520773127810744 | 1408.4 | 112485.06666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 0.012531914353725228 | 7737.3 | 617407.6666666666 |
BASE/gt_ultimatum/GE-uOA | 0.012545608273817925 | 8163.366666666667 | 650695.1666666666 |
STANFORD/buttonsandlights/eyhJpA | 0.012545678758532318 | 37069.53333333333 | 2954765.066666667 |
DRESDEN/nim4/F5YAYg | 0.012664642216458641 | 7346.166666666667 | 580053.2333333333 |
BASE/crisscross/ICagEg | 0.01278848757386397 | 1284.6666666666667 | 100454.93333333333 |
BASE/haystack/UkweGA | 0.012839895309964584 | 37056.333333333336 | 2886030.8 |
DRESDEN/nim2/z5_exA | 0.012964461151424592 | 8723.4 | 672870.2333333333 |
BASE/quartoSuicide/-23jUg | 0.013030016302262267 | 1436.3 | 110230.1 |
DRESDEN/knightfight/4_Ly4w | 0.01306052319531496 | 3058.3 | 234163.66666666666 |
DRESDEN/nim1/M9BALA | 0.013141588083571942 | 9525.566666666668 | 724841.3666666667 |
BASE/nim3/1OwUqw | 0.013226084547045066 | 7608.5 | 575264.7333333333 |
BASE/nim2/eF2Qqw | 0.013257523578682954 | 8677.8 | 654556.6333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 0.013300896522083315 | 704.5666666666667 | 52971.36666666667 |
BASE/nim4/twk16w | 0.013395800567257747 | 7515.4 | 561026.5666666667 |
DRESDEN/nim3/sG_axA | 0.013406012988572644 | 7739.666666666667 | 577328.0 |
BASE/nim1/hin2Qw | 0.013408978873951148 | 9619.266666666666 | 717375.0333333333 |
DRESDEN/quartosuicide/WIU1oQ | 0.013550168363921361 | 1415.4 | 104456.26666666666 |
DRESDEN/quarto/OQzRYQ | 0.013578074898038677 | 1403.6 | 103372.53333333334 |
STANFORD/knightstourbig/TQUI2g | 0.0137004067383743 | 13232.933333333332 | 965878.8666666667 |
DRESDEN/guess/PhxGhg | 0.014630116419201594 | 801.6333333333333 | 54793.36666666667 |
BASE/shmup/ssTNlg | 0.014723302562361559 | 2949.0333333333333 | 200297.0 |
DRESDEN/blobwars/ZaMluQ | 0.014824638266089553 | 292.5138324111726 | 19731.6 |
BASE/knightsTourLarge/M8jgLA | 0.014914676202656898 | 13699.466666666667 | 918522.5666666667 |
BASE/guess/SPpk1A | 0.014993923862881226 | 816.8 | 54475.4 |
BASE/blobwars/0XT15Q | 0.015377363179805602 | 297.1270497267031 | 19322.366666666665 |
BASE/onestep/xi53wA | 0.015769698608899027 | 34831.5 | 2208761.3 |
BASE/eightPuzzle/vLrgFg | 0.01637444490087409 | 3378.9 | 206352.03333333333 |
DRESDEN/8puzzle/8fKC2w | 0.016553121206997316 | 3331.733333333333 | 201275.23333333334 |
BASE/gt_two_thirds_2p/1APDGg | 0.01656171533857797 | 2510.8333333333335 | 151604.66666666666 |
STANFORD/8puzzle/jNiGtw | 0.01691744245615075 | 3558.8 | 210362.76666666666 |
DRESDEN/gt_prisoner/huCp4w | 0.017127527891277916 | 7086.3 | 413737.4666666667 |
BASE/gt_attrition/kD_SCA | 0.017173213383495138 | 2158.366666666667 | 125682.16666666667 |
DRESDEN/gt_chicken/CeuKtw | 0.017332149918752454 | 7294.3 | 420853.73333333334 |
STANFORD/eightpuzzle/W_aWbA | 0.017406612732084818 | 3460.3 | 198792.26666666666 |
BASE/colonelBlottoVariant/X-n-KQ | 0.017714005020154532 | 6494.7 | 366642.1 |
BASE/gt_chicken/gmepTQ | 0.017897258371414235 | 7592.133333333333 | 424206.5 |
DRESDEN/roshambo2/jgSlkQ | 0.017985951033452928 | 13624.666666666666 | 757517.1666666666 |
BASE/roshambo2/KNPokQ | 0.018004976502000402 | 13344.866666666667 | 741176.5666666667 |
DRESDEN/Runners/3bOCQw | 0.018014524182503423 | 15355.233333333334 | 852380.7333333333 |
BASE/ruleDepthLinear/OUBJpQ | 0.019206331127514246 | 32371.233333333334 | 1685445.9666666666 |
BASE/gt_two_thirds_4p/DStnxQ | 0.020046579759680345 | 1105.7666666666667 | 55159.86666666667 |
BASE/gt_prisoner/klthDw | 0.020221806309352896 | 8161.366666666667 | 403592.36666666664 |
BASE/gt_staghunt/xPjLRA | 0.020678804008457067 | 8559.333333333334 | 413918.2 |
BASE/gt_tinfoil/Q8DyKg | 0.021159466833212365 | 10489.166666666666 | 495719.8 |
BASE/ad_game_2x2/D0aWqg | 0.022793939682779978 | 813.0666666666667 | 35670.3 |
BASE/kalaha5x2x3/WviNsw | 0.023772091519146606 | 2443.0 | 102767.56666666667 |
BASE/colonelBlottoVariant2/jruwGw | 0.028206567670602194 | 6932.0 | 245758.36666666667 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.028623572742630544 | 4823.8 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.02960462904273725 | 4975.8 | 168075.06666666668 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.03157941328007352 | 4233.266666666666 | 134051.46666666667 |
BASE/kalaha6x2x4/XS81Mg | 0.03516902651746133 | 2293.5 | 65213.63333333333 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.039688274937016065 | 5752.066666666667 | 144931.13333333333 |
DRESDEN/racer/vk_ZBA | 0.07858664840286894 | 2203.0666666666666 | 28033.6 |
BASE/racer/QQYQNw | 0.07968859736140307 | 2182.3333333333335 | 27385.766666666666 |
BASE/pancakes/yUgbXw | 0.08477128835275166 | 21873.733333333334 | 258032.33333333334 |
DRESDEN/pancakes6/SZXMyQ | 0.08527441209280717 | 21890.433333333334 | 256705.76666666666 |
DRESDEN/pancakes/hl9aiQ | 0.08635609436644465 | 22527.066666666666 | 260862.5 |
BASE/pancakes6/QZTdnw | 0.0892187842704121 | 22006.666666666668 | 246659.56666666668 |
BASE/colonelBlotto/jip21A | 0.0909788062665811 | 3124.1 | 34338.76666666667 |
DRESDEN/kalaha_2009/gcC8uA | 0.09225763255863634 | 2360.866666666667 | 25589.933333333334 |
BASE/kalaha_2009/dRiN3g | 0.0940820684960691 | 2414.133333333333 | 25659.866666666665 |
DRESDEN/smallest/9kaGFw | 0.21817629318747347 | 2536.866666666667 | 11627.6 |
DRESDEN/Travelers-Dilemma/PvZwYw | 3.39480071193571 | 14686.7 | 4326.233333333334 |
Games with errors:
Game | GGP_BASE_PROVER:2015-04-26 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
DRESDEN/laikLee_hex/ZeP3QQ | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process timed out after 240 seconds | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
BASE/amazonsTorus/soxT8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/laikLee_hex/zbyscQ | Exception of type StackOverflowError | |
DRESDEN/cylinder-checkers/clOO3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | OutOfMemoryError: Java heap space | |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/cylinder-checkers/hlldmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException |