Game-by-game performance:
Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/ruleDepthExponential/UamhHQ | 4.180330155047933E-6 | 9.253853339560953 | 2213665.6666666665 |
DRESDEN/quad/JPe6fg | 4.6078424457020775E-6 | 1.5037593984962405 | 326347.8333333333 |
BASE/quad/tw-Ufg | 4.63971422075932E-6 | 1.4965579167913798 | 322553.9 |
BASE/queens31lg/0gID-A | 4.822746562201431E-6 | 0.732820359081976 | 151950.83333333334 |
DRESDEN/ggp-course2013_michal13/jWKddg | 6.993402080717057E-6 | 3.963627885287946 | 566766.7666666667 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 8.887689227016993E-6 | 0.4417839234830245 | 49707.4 |
DRESDEN/satlike_20v_91c/yeuENQ | 9.998326733362313E-6 | 0.5382565869149823 | 53834.666666666664 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.0455141522123446E-5 | 0.5139538469445444 | 49158.0 |
DRESDEN/queens/mW2wHQ | 1.2585979915637268E-5 | 4.076640847941296 | 323903.3333333333 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1.2647649642114896E-5 | 0.659043727551323 | 52108.0 |
BASE/queens/HyJJnQ | 1.401928346014438E-5 | 4.479569961283717 | 319529.1666666667 |
BASE/quad_7x7/q-JOXg | 1.7676517731311197E-5 | 8.325349367339522 | 470983.56666666665 |
DRESDEN/quad_7x7/q-JOXg | 1.8747728622844478E-5 | 8.971114981433407 | 478517.43333333335 |
BASE/sudokuGrade2/u80Tfw | 2.629207711393647E-5 | 15.647889199627114 | 595156.0666666667 |
BASE/sudokuGrade3/eI8dvg | 2.6778598283148023E-5 | 15.623438488956994 | 583430.0333333333 |
BASE/sudokuGrade4/DTy07w | 2.692665588927122E-5 | 15.867735604271315 | 589294.7 |
BASE/sudokuGrade1/tDRNRw | 2.6955751233541962E-5 | 16.242843829050727 | 602574.3333333334 |
STANFORD/sudoku/oJ1qyQ | 2.71513085043022E-5 | 15.29865637887455 | 563459.2666666667 |
BASE/sudokuGrade5/BQfUQA | 2.82193253780981E-5 | 16.16927837109492 | 572986.0 |
BASE/sudokuGrade6H/ieE_9A | 2.8359583660656438E-5 | 14.614821226446502 | 515339.76666666666 |
BASE/sudokuGrade6E/ihYFZA | 2.8538311170134154E-5 | 14.63089485085819 | 512675.56666666665 |
BASE/pawnToQueen/-O1_JA | 3.339114562509626E-5 | 18.88992537313433 | 565716.6 |
DRESDEN/pawntoqueen/f_x6Aw | 4.1974747325234894E-5 | 19.48960554371002 | 464317.4 |
STANFORD/multiplesukoshi/vLSQPg | 4.2444816023318466E-5 | 48.848755456332675 | 1150876.8333333333 |
BASE/blokbox_simple/JBx4bg | 4.330580602019146E-5 | 0.7545271629778671 | 17423.233333333334 |
STANFORD/duidoku/3SoMaA | 4.906068152996548E-5 | 15.296940611877625 | 311796.3333333333 |
BASE/cephalopodMicro/9l2D3g | 6.079358255212293E-5 | 17.694691592522243 | 291061.8333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 6.272113678183415E-5 | 17.499416686110465 | 279003.5 |
STANFORD/selectivesukoshi/3xmXYg | 7.441699250351874E-5 | 50.62152164494951 | 680241.4333333333 |
DRESDEN/quad_5x5/JAEP5g | 1.0430460495737477E-4 | 70.19704433497537 | 673000.4333333333 |
BASE/othelloHoles/c0qAzw | 1.0883064664560315E-4 | 4.751691140075895 | 43661.333333333336 |
BASE/zhadu/DlA8iQ | 1.0894720353653097E-4 | 11.356445865387817 | 104238.06666666667 |
DRESDEN/hitori/S8Gsyg | 1.1055580289016558E-4 | 37.996603283492625 | 343687.1 |
BASE/hitori/S8Gsyg | 1.1477419603647181E-4 | 39.85819362533961 | 347274.86666666664 |
BASE/quad_5x5/JAEP5g | 1.2075854547678722E-4 | 71.73333333333333 | 594022.8333333334 |
BASE/othello-comp2007/86ZoMw | 1.3224520483183554E-4 | 4.311202493864827 | 32600.066666666666 |
BASE/othelloSuicide/B442jg | 1.3410781188060288E-4 | 4.457158062799361 | 33235.63333333333 |
BASE/golden_rectangle/_nYzfw | 1.3829935318361962E-4 | 112.7 | 814898.9666666667 |
DRESDEN/grid_game2/kypTYQ | 1.4395850525698967E-4 | 203.95986800439985 | 1416796.2333333334 |
BASE/tictactoe_3d_2player/IUC1rQ | 1.4618613577431036E-4 | 122.72515165655624 | 839512.9333333333 |
DRESDEN/othello-cornercontrol/r5Gdlg | 1.4750104647727873E-4 | 7.067724060125427 | 47916.433333333334 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1.4849228786736565E-4 | 127.23697803845769 | 856859.1666666666 |
DRESDEN/golden_rectangle/1uloXw | 1.5525159644673892E-4 | 112.45916938870742 | 724367.2333333333 |
BASE/queens16ug/gT-ylw | 1.5661872175322367E-4 | 84.13052898236725 | 537167.7666666667 |
BASE/gt_attrition/kD_SCA | 1.5912111469573812E-4 | 19.99868645737554 | 125682.16666666667 |
BASE/battle/8oAvhQ | 1.8157871858089368E-4 | 48.03013132457836 | 264514.1 |
DRESDEN/quad_5x5_8_2/JRTLJg | 1.8334353144883433E-4 | 110.655601106556 | 603542.4333333333 |
DRESDEN/battle/8oAvhQ | 1.8360046200256738E-4 | 48.385484354693595 | 263536.8333333333 |
BASE/reversi/d8UMeA | 2.0222319782994128E-4 | 15.527330762069424 | 76783.13333333333 |
BASE/reversiSuicide/9OxJlg | 2.1533463091554352E-4 | 15.963473971872292 | 74133.33333333333 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.1639547281048115E-4 | 105.86666666666666 | 489227.73333333334 |
STANFORD/skirmish/w4V6Vw | 2.185444203969501E-4 | 29.08739546196648 | 133096.03333333333 |
BASE/futoshiki6/JmvXNA | 2.2671168720546052E-4 | 125.9748050389922 | 555660.8333333334 |
STANFORD/madness/UO_B3A | 2.2796685572868652E-4 | 28.84071002764179 | 126512.73333333334 |
STANFORD/multipletictactoe/_bkafQ | 2.3189661314060599E-4 | 286.95710142995233 | 1237435.5 |
BASE/strangeSkirmish/gc1zKA | 2.4301023346587293E-4 | 25.766666666666666 | 106031.2 |
BASE/skirmish/Y_psYQ | 2.588777667134013E-4 | 28.944475901808612 | 111807.5 |
BASE/skirmishHoles/AUCxCA | 2.596502736349903E-4 | 33.09779348043464 | 127470.66666666667 |
BASE/majorities/ibJzSQ | 2.8097236888757277E-4 | 133.31111481419762 | 474463.43333333335 |
DRESDEN/capture_the_king/EQ229Q | 2.8645563590618775E-4 | 47.08273633001233 | 164363.1 |
BASE/skirmishFinal2/gdB62Q | 3.0778681169837507E-4 | 42.313586992736724 | 137476.93333333332 |
BASE/connect5/d-BVQg | 3.128485773555087E-4 | 243.93333333333334 | 779716.9333333333 |
BASE/simultaneousWin2/PfjRjw | 3.154995898432728E-4 | 289.7 | 918226.2333333333 |
BASE/skirmishFinal3/-Olhfw | 3.1992648440613445E-4 | 47.62380857161901 | 148858.6 |
BASE/skirmishFinal1/ecWTnQ | 3.2277275281620486E-4 | 41.28486221718703 | 127906.9 |
DRESDEN/connect5/1kYzSg | 3.2545165404700144E-4 | 251.96666666666667 | 774206.1333333333 |
DRESDEN/skirmishfinal/hzq8ww | 3.275601873160085E-4 | 43.481158164795254 | 132742.5 |
BASE/slidingpieces/uFJWEw | 3.391821959308772E-4 | 145.94234294284286 | 430277.13333333336 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 3.415104641239153E-4 | 521.5826139128695 | 1527281.5 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.4396661881471694E-4 | 710.8763041231958 | 2066701.4333333333 |
DRESDEN/slidingpieces/s9_44g | 3.479953891279018E-4 | 151.26162461251292 | 434665.6 |
BASE/connectFourLarger/qKi60A | 3.5112393988522754E-4 | 274.46666666666664 | 781680.3 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.526298916018228E-4 | 726.4757841405286 | 2060165.0666666667 |
BASE/futoshiki5/TJ4BZg | 3.576291642061005E-4 | 219.53007832027996 | 613848.3666666667 |
BASE/qyshinsu/R08Lzw | 3.5775756471135E-4 | 92.27231830450864 | 257918.56666666668 |
BASE/hidato37/pBrqxw | 3.620801828022897E-4 | 76.65900076659001 | 211718.3 |
BASE/queens12ug/u6Bkmg | 3.684479971046843E-4 | 217.17828217178283 | 589440.8 |
BASE/cubicup/4wNWJA | 3.700796619513708E-4 | 139.2 | 376135.23333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.7024671887755847E-4 | 620.0 | 1674559.0666666667 |
DRESDEN/brawl/2kXtfQ | 3.718990470250034E-4 | 57.0 | 153267.4 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.7335161584196836E-4 | 756.3666666666667 | 2025882.9333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 3.8508173580826627E-4 | 205.4264857838072 | 533462.0333333333 |
BASE/brawl/6Ymo_Q | 3.9049377320569717E-4 | 57.845456665889174 | 148134.13333333333 |
DRESDEN/cubicup/SBn_lw | 3.935940327677952E-4 | 140.94317613731045 | 358092.76666666666 |
STANFORD/nineboardtictactoe/y28P-A | 3.964865224768271E-4 | 213.81195213811952 | 539266.6333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.990885109964545E-4 | 768.3666666666667 | 1925303.9 |
DRESDEN/twisty-passages/j7NPyg | 4.0092286788054516E-4 | 1065.1333333333334 | 2656703.8666666667 |
BASE/snake2p/I3wWPQ | 4.16481012766274E-4 | 238.7920402653245 | 573356.3666666667 |
BASE/twisty-passages/DiZmmg | 4.182527719202956E-4 | 1153.4333333333334 | 2757742.2333333334 |
BASE/breakthroughHoles/nZk0Sg | 4.2146231487631084E-4 | 379.96666666666664 | 901543.6333333333 |
DRESDEN/mimikry/GJEhwA | 4.2916857061392504E-4 | 372.3333333333333 | 867568.9666666667 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 4.404951323312563E-4 | 386.53333333333336 | 877497.4 |
BASE/breakthrough/TGxk-g | 4.420208204649064E-4 | 371.48761707943066 | 840430.1333333333 |
BASE/breakthroughSuicide/wZDpIg | 4.467009712633392E-4 | 371.8752083194454 | 832492.5 |
DRESDEN/connect4/T0-rHQ | 4.4730518728266117E-4 | 267.0 | 596907.9 |
BASE/conn4/va9Y7A | 4.500785591561687E-4 | 294.923502549915 | 655271.1666666666 |
DRESDEN/breakthrough/z4hK7Q | 4.5938872851393757E-4 | 372.08759708009734 | 809962.4 |
BASE/tictactoe_3d_small_2player/oOryKA | 4.677320282578983E-4 | 400.2199926669111 | 855660.8666666667 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 4.689496175883231E-4 | 112.46251249583472 | 239817.9 |
BASE/connect4/50bOyw | 4.699137570878911E-4 | 268.9397726893977 | 572317.3 |
BASE/nineBoardTicTacToePie/B8LzeQ | 4.7160288046405084E-4 | 211.35772845430913 | 448168.86666666664 |
BASE/breakthroughWalls/vOZaYA | 4.740296456373899E-4 | 384.4205193160228 | 810963.0333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 4.759549303961232E-4 | 414.0390640623958 | 869912.3333333334 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 4.8382207912244624E-4 | 376.58744708509715 | 778359.3666666667 |
BASE/tictactoe_3d_6player/d7KSwg | 4.850727056953526E-4 | 118.77624475104979 | 244862.76666666666 |
BASE/duplicateStateLarge/dcjyuw | 4.867892139443671E-4 | 623.3 | 1280431.0 |
BASE/queens08lg/Ru7eqQ | 4.8701236315847485E-4 | 233.99220025999134 | 480464.6 |
DRESDEN/tictactoex9/rFkD4w | 4.925226750172797E-4 | 253.57464253574642 | 514848.6666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 4.954116094082855E-4 | 402.0 | 811446.4666666667 |
BASE/tictactoex9/BI26ow | 4.957399376160195E-4 | 257.3 | 519022.13333333336 |
BASE/ad_game_2x2/D0aWqg | 5.031790452330023E-4 | 17.948547497174765 | 35670.3 |
BASE/mummymaze2p/vpjDdA | 5.061591994685655E-4 | 552.7815739475351 | 1092110.1 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 5.294333487385334E-4 | 642.811906269791 | 1214150.7666666666 |
DRESDEN/mummymaze2p/k-8edg | 5.366919647827208E-4 | 562.1 | 1047341.9333333333 |
BASE/dualConnect4/WbCQkg | 5.401086521323909E-4 | 478.9840338655378 | 886829.0333333333 |
DRESDEN/Zhadu/9zpQ5w | 5.414535777181949E-4 | 54.772613693153424 | 101158.46666666666 |
BASE/connectFourSimultaneous/7ITr3g | 5.446072155774711E-4 | 283.7238758708043 | 520969.73333333334 |
BASE/connectFourLarge/aU644A | 5.446824810877143E-4 | 477.31742275257494 | 876322.3333333334 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 5.456804455675409E-4 | 681.0333333333333 | 1248044.2333333334 |
BASE/3pConnectFour/PqXOFQ | 5.524537642895135E-4 | 377.8 | 683858.1333333333 |
BASE/checkers-newgoals/0XkFiA | 5.794229801143095E-4 | 143.12856238125397 | 247019.13333333333 |
BASE/wallmaze/uxNQ9g | 5.885845180904393E-4 | 319.53333333333336 | 542884.3666666667 |
STANFORD/breakthrough/d5j0cQ | 5.88949370809437E-4 | 472.91756941435284 | 802985.1 |
BASE/lightsOnSimul4/9FeASw | 5.895978741309528E-4 | 321.7559414686177 | 545721.0 |
DRESDEN/sat_test_20v_91c/dK7nVw | 5.959822573374366E-4 | 672.3775874137528 | 1128183.9 |
DRESDEN/towerworld/HCX34w | 5.998106411095235E-4 | 22.25331467785995 | 37100.566666666666 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.034771784619742E-4 | 649.9116696110129 | 1076944.9 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.090397859206845E-4 | 665.3333333333334 | 1092430.0 |
BASE/futoshiki4/BaCwSw | 6.105001980578843E-4 | 451.8333333333333 | 740103.5 |
BASE/breakthroughSmallHoles/bxclRw | 6.107300601896369E-4 | 477.61741275290825 | 782043.4 |
BASE/max_knights/2fq3Ag | 6.17606017277641E-4 | 502.3333333333333 | 813355.6333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 6.193217181825917E-4 | 516.3666666666667 | 833761.6 |
BASE/choicethroughalt/tt71Lg | 6.230783413664768E-4 | 306.5026830650268 | 491916.76666666666 |
BASE/connectFour_9x6/B9TtMw | 6.30076080818407E-4 | 604.6666666666666 | 959672.4666666667 |
STANFORD/platformjumpers/HEQskA | 6.328989603360932E-4 | 238.858704709843 | 377404.1666666667 |
BASE/connectFourSuicide/c8p9Kw | 6.353912563693056E-4 | 636.3666666666667 | 1001535.1333333333 |
BASE/dotsAndBoxes/EHwA_w | 6.375139863068901E-4 | 530.4333333333333 | 832034.0333333333 |
DRESDEN/max_knights/hCipiA | 6.559848347329406E-4 | 501.46666666666664 | 764448.5666666667 |
DRESDEN/pentago_2008/hLjVpQ | 6.724800946479218E-4 | 239.45868471050966 | 356082.93333333335 |
BASE/mineClearingSmall/frsbvw | 6.730022764123372E-4 | 192.22692576914102 | 285625.9666666667 |
DRESDEN/connectfour/5tc-Mg | 6.775541775136887E-4 | 659.1780273990867 | 972878.7 |
DRESDEN/connectfoursuicide/M9CNQg | 6.785095803943797E-4 | 672.9218052129858 | 991764.6333333333 |
STANFORD/connectfour/VMpZkQ | 6.803148962064672E-4 | 665.2 | 977782.5 |
BASE/breakthroughSuicideSmall/XSbJog | 6.835717054556256E-4 | 565.7666666666667 | 827662.5 |
BASE/knightThrough/gcwFjA | 6.857990913910205E-4 | 534.1821939268691 | 778919.3666666667 |
BASE/connectFour/WAIKTw | 6.867652976003818E-4 | 670.1329867013299 | 975781.6666666666 |
BASE/breakthroughSmall/HJ0tIA | 6.873367811915002E-4 | 562.2479250691644 | 818009.3666666667 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 6.94558397069217E-4 | 96.51724712547909 | 138962.03333333333 |
BASE/withConviction/3Xm54A | 6.958956072748062E-4 | 443.9518682710576 | 637957.5666666667 |
BASE/checkers-mustjump/T-8UuQ | 6.967050175705242E-4 | 118.3960534648845 | 169937.13333333333 |
BASE/ticTacHeavenFC/mrletw | 6.968676776377376E-4 | 251.47485251474853 | 360864.56666666665 |
BASE/pentagoSuicide/SBgNhw | 6.988664742823938E-4 | 246.63333333333333 | 352904.8 |
BASE/hidato19/rRHSmA | 6.988791379811726E-4 | 318.15606146461784 | 455237.6 |
BASE/pentago/86NgKw | 7.026748532232617E-4 | 255.26666666666668 | 363278.5 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.032892824219609E-4 | 97.63007899736675 | 138819.23333333334 |
BASE/ticTacHeaven/18n58A | 7.21365596693831E-4 | 258.06666666666666 | 357747.4 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 7.215537803769771E-4 | 561.2333333333333 | 777812.2 |
DRESDEN/knightthrough/J7Fc_Q | 7.221515350704851E-4 | 555.348155061498 | 769018.8666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 7.264071972923348E-4 | 1003.0666666666667 | 1380860.0333333334 |
DRESDEN/pawn_whopping/4ogBkg | 7.272560899857757E-4 | 598.1467284423852 | 822470.5666666667 |
BASE/coins_atomic/AA3SSw | 7.50472379941366E-4 | 343.2 | 457311.9666666667 |
BASE/pegEuro/5awwhg | 7.571721604132796E-4 | 349.6550114996167 | 461790.63333333336 |
BASE/skirmishNew/sibw2g | 7.60413444106476E-4 | 151.95653623091795 | 199834.1 |
BASE/skirmishZeroSum/zh4hcw | 7.78916651192906E-4 | 152.70279277477837 | 196045.1 |
BASE/pawnWhopping/Ypc_6Q | 7.916274945353491E-4 | 578.6140461984601 | 730917.0666666667 |
BASE/ticTacToeLarge/TZC0dg | 7.935201280352862E-4 | 1050.0666666666666 | 1323301.8666666667 |
BASE/cubicup_3player/e2yA_g | 7.989182192710608E-4 | 63.24769235895898 | 79166.66666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 7.995167152588671E-4 | 1045.2333333333333 | 1307331.4333333333 |
DRESDEN/cubicup_3player/awDtsQ | 7.999127281867225E-4 | 61.5271806152718 | 76917.36666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 8.112022279212254E-4 | 1064.3 | 1312003.3 |
DRESDEN/skirmish2/iPpWhQ | 8.201971886119846E-4 | 211.1122221111222 | 257392.03333333333 |
BASE/speedChess/bPnisA | 8.385060686394634E-4 | 171.25524965002333 | 204238.53333333333 |
DRESDEN/tictactoelarge/IwXcbg | 8.454383801737128E-4 | 1072.0 | 1267981.2333333334 |
BASE/knightmove/jBaJEw | 8.624768473098349E-4 | 826.3666666666667 | 958132.0 |
BASE/coins/QnGtnQ | 8.653954431050815E-4 | 369.17538830744616 | 426597.3333333333 |
DRESDEN/coins/QwFP9w | 8.716084281913042E-4 | 366.8544381853938 | 420893.63333333336 |
DRESDEN/catcha_mouse/cHv4dw | 8.767591754063552E-4 | 605.7333333333333 | 690877.6666666666 |
DRESDEN/skirmish/RjGQYQ | 8.851600175240349E-4 | 196.64700196647001 | 222159.83333333334 |
BASE/checkers-mustjump-torus/uSApKQ | 9.006346723973699E-4 | 93.08758832155712 | 103357.76666666666 |
BASE/ticTacToeNoVars/XT03NA | 9.025859859410185E-4 | 1120.0666666666666 | 1240952.8666666667 |
DRESDEN/skirmish3/3LU8Nw | 9.032083604408056E-4 | 198.65342310512634 | 219941.96666666667 |
DRESDEN/knightmove/97Ipcw | 9.124957614115982E-4 | 830.6333333333333 | 910287.3333333334 |
BASE/checkers/rOC3Xg | 9.211691780571614E-4 | 220.9259691343622 | 239832.13333333333 |
BASE/tictactoe_3d_small_6player/g_9lww | 9.242312945059337E-4 | 305.3666666666667 | 330400.7 |
BASE/peg/fJHVWw | 9.303558422299113E-4 | 422.9192360254658 | 454577.93333333335 |
DRESDEN/peg/Vo31eg | 9.309112295042497E-4 | 423.3666666666667 | 454787.36666666664 |
BASE/stateSpaceLarge/0Ge_CQ | 9.34026779034417E-4 | 957.0666666666667 | 1024667.2666666667 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 9.350355545447852E-4 | 311.6229459018033 | 333273.9 |
DRESDEN/peg_bugfixed/u_B7MA | 9.417949620687375E-4 | 430.3189893670211 | 456913.6666666667 |
DRESDEN/statespacelarge/8-y5HQ | 9.432176939427331E-4 | 941.8333333333334 | 998532.3 |
BASE/checkersSmall/SYmq8w | 9.582288186253229E-4 | 292.7 | 305459.4 |
BASE/firefighter/WJmoPw | 9.603795193697752E-4 | 3940.6666666666665 | 4103238.966666667 |
BASE/blocksWorldParallel/RseaAQ | 9.699333657088217E-4 | 421.9526015799473 | 435032.56666666665 |
BASE/escortLatch/mX9BjQ | 9.710622472428537E-4 | 478.58404719842673 | 492845.9 |
BASE/snake_2009_big/-oRfVw | 9.824309854871106E-4 | 343.2218926035799 | 349359.8 |
BASE/checkersTiny/Lr48cg | 9.94636276785857E-4 | 407.3530882303923 | 409549.8 |
STANFORD/duikoshi/tpw1sw | 0.001000397442716371 | 483.7 | 483507.8333333333 |
STANFORD/pentago/ZxzLmg | 0.0010015775018245544 | 367.5088327444837 | 366930.0 |
DRESDEN/babel/WdSW4A | 0.0010093340732849644 | 237.46666666666667 | 235270.63333333333 |
DRESDEN/firefighter/WJmoPw | 0.0010111399990950334 | 3895.733333333333 | 3852813.0 |
BASE/catcha_mouse/cHv4dw | 0.0010128868898536814 | 619.3793540215327 | 611499.0333333333 |
BASE/lightsOnParallel/SC6enA | 0.00109015425248809 | 1838.4333333333334 | 1686397.4333333333 |
BASE/queens08ug/kJ_ZFQ | 0.001090592134436728 | 784.4666666666667 | 719303.4333333333 |
BASE/racetrackcorridor/_RkdUg | 0.0011187318337631772 | 758.2666666666667 | 677791.2666666667 |
BASE/duplicateStateMedium/U163eQ | 0.001136078484599201 | 1891.4 | 1664849.7666666666 |
DRESDEN/snake_2009_big/DgC1NQ | 0.0011370763033883378 | 349.8666666666667 | 307689.7 |
BASE/copolymer_4/2LDVhQ | 0.0011476001858813283 | 844.3333333333334 | 735738.2333333333 |
BASE/ttcc4_2player/_aH_Mw | 0.0011797546621347044 | 428.93807079528034 | 363582.43333333335 |
DRESDEN/racetrackcorridor/O0DoTA | 0.0011864451508189875 | 720.8333333333334 | 607557.2333333333 |
DRESDEN/aipsrovers01/qS47Mw | 0.0011912744704267047 | 1923.2333333333333 | 1614433.4333333333 |
BASE/tictactoe_3player/GtM71g | 0.0011930089755827831 | 583.4 | 489015.6 |
DRESDEN/grid_game/U7_Yeg | 0.0011935711060174921 | 724.8333333333334 | 607281.2333333333 |
BASE/2pttc/unkkYA | 0.0012100200209789434 | 837.8666666666667 | 692440.3333333334 |
DRESDEN/chinesecheckers2/06E6-Q | 0.001210700119669948 | 795.5666666666667 | 657112.9 |
BASE/incredible/8Qh-6Q | 0.0012116842912482798 | 2290.3 | 1890178.8333333333 |
BASE/aipsrovers01/4C4jsw | 0.0012310939870054237 | 1901.1666666666667 | 1544290.4333333333 |
BASE/tpeg/QNs7Lw | 0.001236074469962939 | 447.23333333333335 | 361817.4666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.0012594469987765007 | 457.8 | 363492.86666666664 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.0012698958997850026 | 587.9 | 462951.3333333333 |
DRESDEN/tpeg/h-Scbg | 0.0012750498847024308 | 463.3691087260849 | 363412.5333333333 |
BASE/ttcc4_2player_small/Cv72TA | 0.0012965128198876208 | 716.0666666666667 | 552302.0333333333 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.001309011218206512 | 511.3 | 390600.1666666667 |
BASE/snake_2008_tweaked/bX0NJQ | 0.0013118097122117377 | 490.21699276690777 | 373695.2 |
STANFORD/chinook/osFbPA | 0.0013199902453030134 | 344.2885237158761 | 260826.56666666668 |
BASE/snake_2008/i6K26g | 0.0013281313679092154 | 502.28325722475915 | 378187.93333333335 |
BASE/blockerParallel/7-nDJA | 0.0013316900841226964 | 256.26666666666665 | 192437.16666666666 |
DRESDEN/snake_2008/E56l3A | 0.0013347460256669438 | 493.65021165961133 | 369845.8 |
DRESDEN/snake_2009/zIYLVw | 0.0013393090802156272 | 446.536897540164 | 333408.4 |
DRESDEN/blockerparallel/dVQgSg | 0.0013425219086912786 | 264.8068526480685 | 197245.83333333334 |
DRESDEN/endgame/IJhh3Q | 0.0013455740292771074 | 230.66924410078656 | 171428.13333333333 |
DRESDEN/backgammon/mqCW0Q | 0.001353354412379673 | 202.9729369417411 | 149977.66666666666 |
STANFORD/pilgrimage/ObRZnQ | 0.0013537104629495955 | 397.3068462102527 | 293494.7 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.0013576757003488271 | 2234.866666666667 | 1646097.5666666667 |
STANFORD/sukoshi/4LYZZQ | 0.001358896819716451 | 1338.4666666666667 | 984965.6333333333 |
BASE/pacman3p/wW7UVQ | 0.0013679235687021137 | 641.0333333333333 | 468617.8 |
BASE/copolymer_4_pie/IN5_jA | 0.0013689252587677492 | 777.1074297523415 | 567677.0333333333 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.0013710927613719602 | 400.88663711209625 | 292384.76666666666 |
STANFORD/ttcc4/Cx9SGw | 0.0013718597302151032 | 468.1177294090197 | 341228.56666666665 |
BASE/chineseCheckers1/gqtwHw | 0.0013762206251788978 | 2277.7 | 1655039.8666666667 |
BASE/snake_2009/7l-qAQ | 0.0013809907889512398 | 449.15169494350187 | 325238.73333333334 |
BASE/lightsOut/5P1ZBw | 0.001409264019739113 | 897.9333333333333 | 637164.7333333333 |
DRESDEN/lightsout/XgLpzQ | 0.0014230487209061795 | 884.0 | 621201.5 |
BASE/checkersBarrelNoKings/rnKNeg | 0.0014392829943082426 | 460.8666666666667 | 320205.73333333334 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.0014760565257999436 | 2326.5333333333333 | 1576181.7333333334 |
BASE/chinook/XQh0IQ | 0.0014795230462260292 | 378.06666666666666 | 255532.8 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.0014802796154821714 | 1187.4333333333334 | 802168.2666666667 |
DRESDEN/lightsout2/LFtfyQ | 0.0014858303626726296 | 899.7333333333333 | 605542.4333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.0014866552050861945 | 1177.4 | 791979.2 |
BASE/englishDraughts/jFkQxg | 0.0015063374347854836 | 455.3181560614646 | 302268.36666666664 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.0015174653046425815 | 2577.4666666666667 | 1698534.1666666667 |
DRESDEN/pacman3p/rBnk8Q | 0.0015210586364283211 | 619.9126695776807 | 407553.43333333335 |
BASE/checkersTorusNoKings/pwb6oQ | 0.0015217929878592173 | 435.98973435989734 | 286497.4 |
STANFORD/untwistycomplex/HTWEwg | 0.001535833421455052 | 5423.666666666667 | 3531415.966666667 |
STANFORD/alquerquezero/uVgA_A | 0.0015472282870626912 | 519.1160294656845 | 335513.5333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.0015735623439554482 | 2296.8333333333335 | 1459639.2333333334 |
DRESDEN/oisters_farm/pTQMLg | 0.001575858472383016 | 5901.033333333334 | 3744646.7666666666 |
STANFORD/freeforall/Lfp40Q | 0.001587154639570776 | 824.6333333333333 | 519567.1 |
BASE/pacman2p/4LEdQg | 0.0015953332785178106 | 633.1666666666666 | 396886.76666666666 |
BASE/factoringGeorgeForman/HGRorQ | 0.0016255878128898758 | 3347.0666666666666 | 2058988.5333333334 |
BASE/checkersTorus/2vm1EQ | 0.0016682122478755348 | 376.24158389440703 | 225535.8 |
DRESDEN/chinesecheckers6/yTbPDA | 0.001699339834138109 | 537.5 | 316299.3 |
BASE/2pffa_zerosum/o0_uZA | 0.001704421497534018 | 846.1 | 496414.76666666666 |
BASE/queens06ug/7Lq3tw | 0.0017055774174026684 | 1544.6333333333334 | 905636.6 |
DRESDEN/chinesecheckers3/QsCb2A | 0.0017072811834088902 | 718.9666666666667 | 421117.9 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.0017182297451491257 | 1321.0333333333333 | 768833.9333333333 |
BASE/blockerSerial/3eqDuw | 0.0017380780689230857 | 1004.9333333333333 | 578186.5333333333 |
DRESDEN/statespacemedium/dVJZ_w | 0.001874061921610382 | 2728.5333333333333 | 1455946.2 |
BASE/2pffa/6oHijA | 0.0018791605343845524 | 930.6333333333333 | 495238.86666666664 |
BASE/stateSpaceMedium/3bUoIw | 0.0018795322342749833 | 2730.233333333333 | 1452613.2 |
BASE/ticTacToeSerial/Amrwqw | 0.001890849841101999 | 987.8 | 522410.6 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0018986253494457687 | 1309.9333333333334 | 689937.7666666667 |
BASE/bomberman2p/4CClwA | 0.0019205659343606697 | 898.6666666666666 | 467917.63333333336 |
BASE/tictactoe2/bhrDoQ | 0.001937560403386428 | 2429.5666666666666 | 1253930.8 |
STANFORD/tictactoe3/X7myng | 0.0019505480159185396 | 2188.8333333333335 | 1122163.2666666666 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.001980331528526092 | 2206.8333333333335 | 1114375.7 |
DRESDEN/bomberman2p/x4h6jQ | 0.0019891896291048977 | 925.5333333333333 | 465281.6 |
BASE/chineseCheckers2/eCMR3Q | 0.00203178327582421 | 1730.0 | 851468.7666666667 |
STANFORD/hex/MTqWcw | 0.002033868641785451 | 171.16096130128994 | 84155.36666666667 |
BASE/hex/T1MK8g | 0.002046844431473868 | 171.46095130162328 | 83768.43333333333 |
BASE/wargame01/_GZFZg | 0.0020710932761161824 | 495.43333333333334 | 239213.43333333332 |
BASE/ticblock/T21C1g | 0.0020840109201223688 | 1494.0333333333333 | 716902.8333333334 |
DRESDEN/ticblock/Z2yNWQ | 0.0021170077414328294 | 1511.6666666666667 | 714058.1666666666 |
STANFORD/dualhunter/1rPZjQ | 0.002123050873967407 | 943.8333333333334 | 444564.63333333336 |
DRESDEN/ghostmaze2p/HY0UwA | 0.002195879099013605 | 2111.5333333333333 | 961589.0666666667 |
DRESDEN/blocker/S815zQ | 0.0022355920210723793 | 2231.1666666666665 | 998020.5 |
DRESDEN/logistics/fPru1Q | 0.0022392609754320124 | 1112.3333333333333 | 496741.26666666666 |
DRESDEN/lightson2x2/gBHuig | 0.0022410602013429115 | 3265.633333333333 | 1457182.3333333333 |
DRESDEN/Goldrush/VeWczQ | 0.0022564038376327302 | 775.740808639712 | 343795.2 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0022633946171271555 | 8148.5 | 3600123.433333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.0022700075094708653 | 8176.633333333333 | 3602029.2 |
DRESDEN/latenttictactoe/kITHKg | 0.0022746623086002133 | 1443.3 | 634511.7666666667 |
BASE/brain_teaser_extended/ZDp94A | 0.0022764954248394773 | 1793.5666666666666 | 787863.0666666667 |
BASE/blocker/dIWtxg | 0.002276992746534118 | 2259.633333333333 | 992376.1666666666 |
BASE/doubletoetictac/fu35bg | 0.0022773743042070064 | 1122.6333333333334 | 492950.73333333334 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.0022820899833063293 | 1827.3666666666666 | 800742.6 |
BASE/chineseCheckers4/avfBcQ | 0.0023013384468091526 | 838.9 | 364527.0 |
BASE/wargame02/BkVqqQ | 0.0023233130130510004 | 273.77262273772624 | 117837.16666666667 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.0023330500059568775 | 5252.766666666666 | 2251459.1 |
BASE/wargame03/klXI8w | 0.002346017133059349 | 394.62017932735574 | 168208.56666666668 |
BASE/chineseCheckers6/rREH3A | 0.002372340337547726 | 911.0029665677811 | 384010.23333333334 |
BASE/ghostMaze2p/W-NU-w | 0.0024175319781970014 | 2105.0333333333333 | 870736.5 |
BASE/amazons_8x8/7SOsIw | 0.0024447062124837394 | 295.4371229543712 | 120847.7 |
BASE/lightsOn/MsXu3A | 0.0024970129348987663 | 5171.833333333333 | 2071208.0666666667 |
BASE/checkLines/Vop7oQ | 0.0025017909243562363 | 1045.6 | 417940.6 |
STANFORD/hunter/14dD-g | 0.0025472869637206694 | 2196.9 | 862447.0 |
BASE/hexPie/48CH6Q | 0.0025832066051701486 | 168.95540297313514 | 65405.3 |
BASE/cittaceot/fDxhXg | 0.002608143357967083 | 517.249425019166 | 198320.93333333332 |
BASE/snakeParallel/RCVNtw | 0.002659442602759579 | 2062.131262291257 | 775399.8 |
BASE/doubletictactoe/HH1htg | 0.0026833200624666294 | 1145.6666666666667 | 426958.63333333336 |
STANFORD/tictactoe5/WFRReg | 0.002683960446898677 | 2361.7 | 879931.0 |
DRESDEN/doubletoetictac/V89gKQ | 0.0026870114542934995 | 1111.9666666666667 | 413830.26666666666 |
DRESDEN/doubletictactoe/lJzgmQ | 0.0026900556741777867 | 1155.1666666666667 | 429421.1 |
BASE/bunk_t/xbpfIA | 0.0026975077159184535 | 1144.6 | 424317.6 |
DRESDEN/bunk_t/7-tPfA | 0.002732215953770457 | 1158.6333333333334 | 424063.6 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0027433164529723324 | 2423.9333333333334 | 883577.7333333333 |
BASE/hodgepodge/9yjRkw | 0.002756972384055318 | 3692.2 | 1339222.7 |
BASE/tictactoe-init1/7M19vA | 0.002761348039477137 | 2338.4 | 846832.7666666667 |
BASE/hanoi_6_disks/MeubgQ | 0.0027858196191713745 | 3605.0 | 1294053.6333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.0028268966351695634 | 3776.3333333333335 | 1335858.3 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.002837092825438222 | 4172.733333333334 | 1470777.8666666667 |
DRESDEN/stratego/Z2wovg | 0.0028400931291117557 | 467.4021731884541 | 164572.83333333334 |
DRESDEN/4pttc/9pB9AQ | 0.002845877055357526 | 702.7666666666667 | 246942.03333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.0028587007005904125 | 4085.6666666666665 | 1429204.0666666667 |
BASE/3pttc/0sol9g | 0.0029060565402756473 | 748.6750441651945 | 257625.76666666666 |
DRESDEN/eotcatcit/mQUxzA | 0.0029243470457075713 | 2370.6 | 810642.5 |
DRESDEN/tictactoeparallel/yk_DSg | 0.0029320592558941157 | 913.9 | 311692.2 |
BASE/chineseCheckers3/-1rZdQ | 0.0029422416792023345 | 1481.8 | 503629.6 |
DRESDEN/javastrike/whONTQ | 0.0030022118367144667 | 197.9 | 65918.06666666667 |
BASE/ticTacToeParallel/ymRGPw | 0.0030271627607793635 | 932.4333333333333 | 308022.2 |
BASE/duplicateStateSmall/bCPAXw | 0.0030509428021852645 | 6288.1 | 2061035.0333333334 |
DRESDEN/minichess/c7GMFw | 0.003053058032946898 | 839.7333333333333 | 275046.63333333336 |
BASE/numbertictactoe/rvJ-iQ | 0.0030603382349727965 | 1344.6 | 439363.2 |
BASE/4pttc/AL1k2Q | 0.0030610484668650317 | 626.2124595846805 | 204574.5 |
DRESDEN/tictactoe/BTTzPw | 0.0030788953025858317 | 2474.266666666667 | 803621.5666666667 |
BASE/rubiksCube/9tNO9Q | 0.003101094821585796 | 390.6203126562448 | 125962.06666666667 |
STANFORD/tictactoe/ss1kyQ | 0.0031118388328438577 | 2353.9666666666667 | 756455.2 |
BASE/tttcc4/8Bs2lg | 0.0031642197585764276 | 426.35245491816937 | 134741.73333333334 |
BASE/ticTacToe/JRFsaQ | 0.003193439226126603 | 2470.8333333333335 | 773721.7333333333 |
DRESDEN/3pttc/uwYBZw | 0.003196956632545521 | 866.5711142961901 | 271061.26666666666 |
BASE/ttcc4/Le0qjQ | 0.0031971769055740462 | 423.8858704709843 | 132581.3 |
STANFORD/tictactoe7/-bE9-A | 0.003209518497795771 | 2400.4333333333334 | 747910.7333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.0032214541300525806 | 6860.333333333333 | 2129576.6 |
BASE/asteroidsSerial/id2QkA | 0.00323768804347978 | 2625.866666666667 | 811031.4 |
DRESDEN/tttcc4/sAvtFg | 0.0033068424700575007 | 429.23333333333335 | 129801.56666666667 |
BASE/chickentictactoe/DSlZCA | 0.0033201775685504646 | 2082.733333333333 | 627295.7666666667 |
DRESDEN/frogs_and_toads/GjchhQ | 0.0033382401292410663 | 476.684110529649 | 142795.03333333333 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.0033687327747653354 | 514.6333333333333 | 152767.63333333333 |
BASE/eotcatcit/AfZSzA | 0.003395837782288622 | 2349.233333333333 | 691797.8666666667 |
STANFORD/trifecta/ss1kyQ | 0.0034067626291137665 | 2403.4333333333334 | 705488.9333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 0.0034130855091859934 | 2047.9333333333334 | 600024.0333333333 |
BASE/sheepAndWolf/g4THrg | 0.003418551918716355 | 526.6666666666666 | 154061.33333333334 |
BASE/chomp/-LcqYQ | 0.003439899607904213 | 1342.9 | 390389.3 |
DRESDEN/hanoi7/51zz5Q | 0.0035086960916962478 | 4323.533333333334 | 1232233.6333333333 |
BASE/blocksWorldSerial/Wyg96Q | 0.00352850283201743 | 2859.0 | 810258.6666666666 |
STANFORD/untwistycorridor/EDPPAQ | 0.003555589117349203 | 13014.333333333334 | 3660246.7 |
BASE/toetictac/mTThmg | 0.0036419565265790473 | 4056.866666666667 | 1113925.0666666667 |
DRESDEN/chomp/-LcqYQ | 0.0036565875034880223 | 1347.1 | 368403.6 |
BASE/hanoi7_bugfix/3gdnFw | 0.003716418260660838 | 4524.566666666667 | 1217453.5666666667 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.003738407654484448 | 220.23333333333332 | 58911.0 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.0037508120930971937 | 4508.233333333334 | 1201935.2666666666 |
BASE/minichess/8NQEiA | 0.003774815363207845 | 896.0333333333333 | 237371.43333333332 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.0038135136747417214 | 2908.6666666666665 | 762726.1666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 0.0038323322476892926 | 1648.2 | 430077.5333333333 |
BASE/tictactoe_orthogonal/WRzlVw | 0.0038333852016245173 | 2922.1666666666665 | 762294.0333333333 |
DRESDEN/3pffa/0YrmQw | 0.003836587322813587 | 956.3333333333334 | 249266.66666666666 |
DRESDEN/toetictac/mJtxCA | 0.003883390225285137 | 4072.6 | 1048722.8333333333 |
BASE/chickentoetictac/l57rfQ | 0.0039421340233790425 | 3178.5333333333333 | 806297.6333333333 |
BASE/amazons_10x10/Bun8dA | 0.003979956145710043 | 218.23333333333332 | 54833.1 |
BASE/pearls/6k_mEQ | 0.0039867082918136785 | 12294.8 | 3083947.7333333334 |
BASE/4pffa/Q3ADlg | 0.004130799338556949 | 723.1092296923435 | 175053.1 |
BASE/3pffa/pR0dzA | 0.004166133304449718 | 846.2 | 203114.0 |
BASE/blocksWorld/SEdXLQ | 0.004173080581211752 | 6457.766666666666 | 1547481.9 |
DRESDEN/sum15/CsgWKg | 0.00418235515938564 | 2804.1666666666665 | 670475.5 |
BASE/sum15/QZ07Kg | 0.00418262180283311 | 2841.366666666667 | 679326.7 |
BASE/tron_10x10/7ZTgDg | 0.0042501287837514124 | 1603.9 | 377376.8 |
BASE/untwistycomplex2/EDPPAQ | 0.004258561769982079 | 13438.033333333333 | 3155533.2666666666 |
BASE/hanoi/iGLsJg | 0.0042787593274237696 | 4926.366666666667 | 1151354.0 |
DRESDEN/buttons/ADUaHw | 0.0042812833270234425 | 10640.066666666668 | 2485251.7 |
DRESDEN/chickentoetictac/cxYaRQ | 0.004303832177086206 | 3232.3333333333335 | 751036.1 |
DRESDEN/hanoi/RQ0jiA | 0.004316079142166602 | 4925.7 | 1141244.1333333333 |
DRESDEN/blocks/vg0DRw | 0.004317134235785123 | 6273.666666666667 | 1453201.6666666667 |
BASE/beatMania/qUHwvQ | 0.004346083300219053 | 4258.9 | 979939.8 |
BASE/solitaireChineseCheckers/-ET6gw | 0.00436348125187424 | 1016.1333333333333 | 232872.16666666666 |
BASE/buttons/hTcUjw | 0.004444662120475494 | 10747.8 | 2418136.566666667 |
BASE/blocks/xIV5hQ | 0.0045063122944271825 | 6369.533333333334 | 1413469.1333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 0.00462141953183358 | 1292.8333333333333 | 279748.1 |
BASE/stateSpaceSmall/Q7osKA | 0.004745319600293304 | 8880.433333333332 | 1871408.9 |
BASE/gt_dollar/TGjqRw | 0.004876400205285682 | 4790.433333333333 | 982370.8333333334 |
DRESDEN/statespacesmall/h-NqjA | 0.004926217718674651 | 8914.3 | 1809562.7333333334 |
BASE/circlesolitaire/azuQFQ | 0.0049379218740740515 | 4335.7 | 878041.4333333333 |
DRESDEN/Thief_Police/CX18rA | 0.004939229163090604 | 4383.366666666667 | 887459.6666666666 |
BASE/maze/cCX3qQ | 0.004950999680879597 | 11255.266666666666 | 2273332.1333333333 |
BASE/troublemaker02/DI83KA | 0.005006981213287368 | 10509.366666666667 | 2098942.7 |
DRESDEN/circlesolitaire/ruUilQ | 0.005028422387326703 | 4358.366666666667 | 866746.3333333334 |
BASE/biddingTicTacToe/8mESVw | 0.005030712670680288 | 1950.1666666666667 | 387652.1666666667 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.0050814806887268926 | 4444.2 | 874587.6 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.005088499965916749 | 1965.7333333333333 | 386309.0 |
BASE/point_grab/V_osUg | 0.0052292751628692695 | 9650.7 | 1845513.9 |
BASE/gt_coordination/IVMOzA | 0.005295100272565534 | 5717.333333333333 | 1079740.3333333333 |
BASE/coloredtrails/EZvr7g | 0.005304436722240741 | 2001.8 | 377382.2 |
DRESDEN/tictictoe/LAUtwg | 0.005304566254960368 | 1806.6 | 340574.5 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.005310126626919471 | 4466.966666666666 | 841216.6 |
DRESDEN/point_grab/r5DPmQ | 0.005328807337742029 | 9658.266666666666 | 1812463.1 |
STANFORD/threepuzzle/41ibjA | 0.005342196986794723 | 5804.0 | 1086444.4 |
BASE/eotcitcit/V_9_bg | 0.005401598876473846 | 1796.9333333333334 | 332666.93333333335 |
BASE/ticTicToe/c1OobQ | 0.005411480448904231 | 1812.2 | 334880.63333333336 |
BASE/asteroidsParallel/WauZiA | 0.005479325780491989 | 2706.5666666666666 | 493959.8 |
STANFORD/tictictoe/rpt_Dw | 0.0055186236329248075 | 1829.5666666666666 | 331525.9 |
STANFORD/3puzzle/41ibjA | 0.005567096695937104 | 6117.966666666666 | 1098951.0333333334 |
DRESDEN/troublemaker01/C-lPWw | 0.005629647487624924 | 12270.433333333332 | 2179609.533333333 |
DRESDEN/catch_me/ghGWrA | 0.005697592619442699 | 4526.933333333333 | 794534.4 |
BASE/troublemaker01/s3tlEQ | 0.005953750147445938 | 13076.133333333333 | 2196285.2 |
DRESDEN/troublemaker02/iZLVuA | 0.006050953381923223 | 11948.733333333334 | 1974686.0666666667 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.006122592877413832 | 1733.7666666666667 | 283175.23333333334 |
BASE/asteroids/BKCmPQ | 0.006123468869880145 | 5725.9 | 935074.5666666667 |
BASE/knightsTour/mvtVIg | 0.006251169955941987 | 8221.666666666666 | 1315220.4666666666 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.006313490499880281 | 1728.8666666666666 | 273836.9 |
BASE/haystack/UkweGA | 0.006498729442989082 | 18755.533333333333 | 2886030.8 |
BASE/amazonsTorus_10x10/Uxc08g | 0.006505628018629983 | 128.36666666666667 | 19731.633333333335 |
BASE/smallest_4player/ADDROA | 0.006585192707038902 | 2017.2666666666667 | 306333.73333333334 |
BASE/switches/tPUoCg | 0.006590476353512444 | 8315.666666666666 | 1261770.2 |
DRESDEN/smallest_4player/ADDROA | 0.00664806877596366 | 2099.9 | 315866.1666666667 |
BASE/gt_ultimatum/GE-uOA | 0.0066522700978005325 | 4328.6 | 650695.1666666666 |
DRESDEN/knightstour/cGISAA | 0.006696113340233466 | 8523.633333333333 | 1272922.5 |
STANFORD/knightstour/cEwgNA | 0.006731970462916662 | 8640.2 | 1283457.8 |
BASE/survival/YVIjJA | 0.006770935250214388 | 15620.5 | 2306992.966666667 |
STANFORD/knightstourmedium/x1wu8Q | 0.00689281263241172 | 8798.533333333333 | 1276479.4 |
BASE/gt_centipede/9fRMpw | 0.006931275440985346 | 7452.966666666666 | 1075266.2666666666 |
DRESDEN/crissrace/KWb9bw | 0.006939647190554818 | 607.2464251191627 | 87503.93333333333 |
BASE/crissrace/ERWGDA | 0.006999030610559935 | 600.4666666666667 | 85792.83333333333 |
DRESDEN/crisscross/GsY16g | 0.007139526818965747 | 820.7666666666667 | 114960.93333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 0.007263843604999933 | 11864.533333333333 | 1633368.5 |
DRESDEN/nim4/F5YAYg | 0.007289273507483251 | 4228.166666666667 | 580053.2333333333 |
STANFORD/buttonsandlights/eyhJpA | 0.007388235445949498 | 21830.5 | 2954765.066666667 |
DRESDEN/nim3/sG_axA | 0.007433902391708007 | 4291.8 | 577328.0 |
BASE/nim3/1OwUqw | 0.00746705487826996 | 4295.533333333334 | 575264.7333333333 |
DRESDEN/gt_ultimatum/pAiiQw | 0.007548227184307721 | 4660.333333333333 | 617407.6666666666 |
BASE/nim4/twk16w | 0.0076141373459616924 | 4271.733333333334 | 561026.5666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 0.007750098952830492 | 410.53333333333336 | 52971.36666666667 |
BASE/nim1/hin2Qw | 0.00791032082660994 | 5674.666666666667 | 717375.0333333333 |
BASE/crisscross/ICagEg | 0.00808820406364645 | 812.5 | 100454.93333333333 |
BASE/quarto/EwBMVQ | 0.008220054099032998 | 924.6333333333333 | 112485.06666666667 |
BASE/knightfight/SJRkAg | 0.008236009395303558 | 1952.0333333333333 | 237012.03333333333 |
DRESDEN/knightfight/4_Ly4w | 0.00825291711922288 | 1932.5333333333333 | 234163.66666666666 |
BASE/snakeAssemblit/UO4sdg | 0.008289905376801812 | 337.9554014866171 | 40767.1 |
DRESDEN/nim2/z5_exA | 0.008352279119495404 | 5620.0 | 672870.2333333333 |
BASE/quartoSuicide/-23jUg | 0.008484978240970479 | 935.3 | 110230.1 |
DRESDEN/nim1/M9BALA | 0.008503883677352667 | 6163.966666666666 | 724841.3666666667 |
STANFORD/knightstourbig/TQUI2g | 0.008504827693024032 | 8214.633333333333 | 965878.8666666667 |
BASE/nim2/eF2Qqw | 0.00877448903199056 | 5743.4 | 654556.6333333333 |
DRESDEN/quartosuicide/WIU1oQ | 0.008978239058898016 | 937.8333333333334 | 104456.26666666666 |
DRESDEN/quarto/OQzRYQ | 0.008999489226022643 | 930.3 | 103372.53333333334 |
BASE/knightsTourLarge/M8jgLA | 0.009095476042922117 | 8354.4 | 918522.5666666667 |
BASE/shmup/ssTNlg | 0.009224135492127524 | 1847.5666666666666 | 200297.0 |
BASE/blocks2player/wnTLOQ | 0.00928002007013836 | 5371.0 | 578770.3 |
DRESDEN/blocks2player/3ev8nQ | 0.009303844376044855 | 5430.6 | 583694.2 |
BASE/ruleDepthLinear/OUBJpQ | 0.009494954836780194 | 16003.233333333334 | 1685445.9666666666 |
BASE/onestep/xi53wA | 0.009588073942922971 | 21177.766666666666 | 2208761.3 |
DRESDEN/blobwars/ZaMluQ | 0.01070799703381286 | 211.28591427238183 | 19731.6 |
BASE/blobwars/0XT15Q | 0.010741226251207624 | 207.5459120754591 | 19322.366666666665 |
DRESDEN/gt_chicken/CeuKtw | 0.010834326288499917 | 4559.666666666667 | 420853.73333333334 |
BASE/gt_chicken/gmepTQ | 0.010899565816805417 | 4623.666666666667 | 424206.5 |
DRESDEN/roshambo2/jgSlkQ | 0.011112883470407602 | 8418.2 | 757517.1666666666 |
BASE/roshambo2/KNPokQ | 0.011120202262196002 | 8242.033333333333 | 741176.5666666667 |
DRESDEN/gt_prisoner/huCp4w | 0.011648127266533914 | 4819.266666666666 | 413737.4666666667 |
BASE/gt_prisoner/klthDw | 0.012614956130240653 | 5091.3 | 403592.36666666664 |
BASE/gt_staghunt/xPjLRA | 0.013139069506970217 | 5438.5 | 413918.2 |
DRESDEN/Runners/3bOCQw | 0.0132130704346438 | 11262.566666666668 | 852380.7333333333 |
BASE/gt_tinfoil/Q8DyKg | 0.013377449653345834 | 6631.466666666666 | 495719.8 |
BASE/colonelBlottoVariant/X-n-KQ | 0.013391533596387322 | 4909.9 | 366642.1 |
STANFORD/8puzzle/jNiGtw | 0.01582742066363772 | 3329.5 | 210362.76666666666 |
BASE/kalaha5x2x3/WviNsw | 0.01613511655914788 | 1658.1666666666667 | 102767.56666666667 |
DRESDEN/8puzzle/8fKC2w | 0.01629460289616689 | 3279.7 | 201275.23333333334 |
BASE/eightPuzzle/vLrgFg | 0.016376060263359006 | 3379.233333333333 | 206352.03333333333 |
STANFORD/eightpuzzle/W_aWbA | 0.016426192299901672 | 3265.4 | 198792.26666666666 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.016918377618148652 | 2267.9333333333334 | 134051.46666666667 |
BASE/colonelBlottoVariant2/jruwGw | 0.017758500185344656 | 4364.3 | 245758.36666666667 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.018015164652619504 | 3027.9 | 168075.06666666668 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.018059786425906436 | 3043.5333333333333 | 168525.43333333332 |
BASE/guess/SPpk1A | 0.01976733228821327 | 1076.8333333333333 | 54475.4 |
DRESDEN/guess/PhxGhg | 0.020087467205633768 | 1100.659956002933 | 54793.36666666667 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.023528416024714265 | 3410.0 | 144931.13333333333 |
BASE/kalaha6x2x4/XS81Mg | 0.02419943886988866 | 1578.1333333333334 | 65213.63333333333 |
BASE/colonelBlotto/jip21A | 0.0329336231256607 | 1130.9 | 34338.76666666667 |
BASE/pancakes/yUgbXw | 0.04161765256808901 | 10738.7 | 258032.33333333334 |
DRESDEN/pancakes/hl9aiQ | 0.04310751193955947 | 11245.133333333333 | 260862.5 |
DRESDEN/pancakes6/SZXMyQ | 0.04455386211944596 | 11437.233333333334 | 256705.76666666666 |
BASE/pancakes6/QZTdnw | 0.045234950681688535 | 11157.633333333333 | 246659.56666666668 |
DRESDEN/racer/vk_ZBA | 0.05348581701957651 | 1499.4 | 28033.6 |
BASE/racer/QQYQNw | 0.05577958379839649 | 1527.5666666666666 | 27385.766666666666 |
DRESDEN/kalaha_2009/gcC8uA | 0.06171958243996988 | 1579.4 | 25589.933333333334 |
BASE/kalaha_2009/dRiN3g | 0.06373896460880546 | 1635.5333333333333 | 25659.866666666665 |
DRESDEN/smallest/9kaGFw | 0.11390140699714472 | 1324.4 | 11627.6 |
DRESDEN/Travelers-Dilemma/PvZwYw | 2.082812608350605 | 9010.733333333334 | 4326.233333333334 |
Games with errors:
Game | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | 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 | |
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 | |
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/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 | |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | Test process timed out after 240 seconds |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | OutOfMemoryError: GC overhead limit exceeded |
BASE/sudoku/NTaNkw | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | Test process timed out after 240 seconds |