Game-by-game performance:
Game | Perf ratio | FLUXPLAYER_PROLOG:1.1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
BASE/colonelBlotto/jip21A | 0.0 | 0.0 | 5.098640362569982 |
DRESDEN/crisscross/GsY16g | 0.0 | 0.0 | 811.0333333333333 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.0 | 0.0 | 76.69488700753283 |
BASE/queens31lg/0gID-A | 0.0 | 0.0 | 37.386291693045884 |
DRESDEN/blobwars/ZaMluQ | 0.0 | 0.0 | 18.442691168148073 |
BASE/crisscross/ICagEg | 0.0 | 0.0 | 853.0666666666667 |
DRESDEN/battlesnakes1509/-qZrLw | 0.0 | 0.0 | 722.3333333333334 |
BASE/gt_attrition/kD_SCA | 0.0 | 0.0 | 1.1793998165378063 |
BASE/ticblock/T21C1g | 0.0 | 0.0 | 1473.9666666666667 |
BASE/englishDraughts/jFkQxg | 0.0 | 0.0 | 256.6828878074795 |
BASE/queens08lg/Ru7eqQ | 0.0 | 0.0 | 569.4666666666667 |
DRESDEN/battlesnakes2011/93VtTw | 0.0 | 0.0 | 724.0333333333333 |
BASE/blobwars/0XT15Q | 0.0 | 0.0 | 18.173345759552657 |
DRESDEN/ticblock/Z2yNWQ | 0.0 | 0.0 | 1469.4333333333334 |
BASE/ad_game_2x2/D0aWqg | 0.0 | 0.0 | 0.6245685546168765 |
BASE/copolymer_4_pie/IN5_jA | 0.0012563644779474972 | 1.2666666666666666 | 1008.2 |
BASE/blockerSerial/3eqDuw | 0.0025309433831432237 | 2.433333333333333 | 961.4333333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 0.0035943690095846643 | 0.3 | 83.4638845371821 |
BASE/checkersBarrelNoKings/rnKNeg | 0.004130817373889097 | 0.36666666666666664 | 88.76370787640413 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.004256453900709219 | 0.36666666666666664 | 86.14369501466275 |
BASE/ttcc4/Le0qjQ | 0.004591925612052731 | 0.43333333333333335 | 94.36854381872709 |
BASE/tttcc4/8Bs2lg | 0.004717278148663089 | 0.433188937020993 | 91.83027232425586 |
DRESDEN/tttcc4/sAvtFg | 0.0047568336579908175 | 0.4330446369087275 | 91.03632122625791 |
DRESDEN/golden_rectangle/1uloXw | 0.00819575049324632 | 3.6 | 439.25202493250225 |
STANFORD/ttcc4/Cx9SGw | 0.012193496476784159 | 1.13295568143952 | 92.91475038325669 |
BASE/ttcc4_2player/_aH_Mw | 0.012472568578553616 | 1.1666666666666667 | 93.53860508514113 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.012481223241590214 | 1.1333333333333333 | 90.80306564478506 |
DRESDEN/catch_me/ghGWrA | 0.015671911774337317 | 39.45351549483505 | 2517.4666666666667 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.01622669250818686 | 40.46666666666667 | 2493.8333333333335 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.016601562499999997 | 41.93333333333333 | 2525.866666666667 |
BASE/checkersTorus/2vm1EQ | 0.016707221722895706 | 1.0656010656010657 | 63.78086574027792 |
DRESDEN/Thief_Police/CX18rA | 0.01686372542395784 | 41.6 | 2466.8333333333335 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.023703703703703703 | 5.333333333333333 | 225.0 |
DRESDEN/quad_5x5/JAEP5g | 0.025274996051176748 | 5.333333333333333 | 211.0122321101223 |
BASE/quad_5x5/JAEP5g | 0.02579193793573413 | 5.466666666666667 | 211.95253649756683 |
DRESDEN/quad/JPe6fg | 0.029401935562905792 | 5.333333333333333 | 181.39395353488217 |
BASE/quad/tw-Ufg | 0.029537126395390714 | 5.466666666666667 | 185.07780999033622 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.033325341644689525 | 4.633333333333334 | 139.03333333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.034223151002662336 | 4.463690872751499 | 130.42898570047666 |
DRESDEN/breakthrough/z4hK7Q | 0.03470373606257281 | 4.633333333333334 | 133.51108148641893 |
BASE/breakthroughHoles/nZk0Sg | 0.035004946857741547 | 4.53182272575808 | 129.46235125495818 |
BASE/breakthroughSuicide/wZDpIg | 0.03506275097299134 | 4.631789403532156 | 132.1 |
BASE/breakthrough/TGxk-g | 0.03705252779608145 | 4.765078307230923 | 128.6033258906255 |
BASE/breakthroughWalls/vOZaYA | 0.037100656223804894 | 4.596935376415723 | 123.90442230146299 |
BASE/ttcc4_2player_small/Cv72TA | 0.0404659717964439 | 8.8 | 217.46666666666667 |
DRESDEN/knightthrough/J7Fc_Q | 0.04304968958434305 | 5.361305361305361 | 124.53760789149199 |
BASE/golden_rectangle/_nYzfw | 0.05422696115765423 | 23.733333333333334 | 437.6666666666667 |
BASE/breakthroughSuicideSmall/XSbJog | 0.06058106498029512 | 22.033333333333335 | 363.7 |
DRESDEN/towerworld/HCX34w | 0.06230225134214236 | 2.031978680879414 | 32.61485158410234 |
BASE/skirmishHoles/AUCxCA | 0.06311632798573975 | 1.9666666666666666 | 31.159396140900455 |
BASE/breakthroughSmall/HJ0tIA | 0.06618007681076621 | 23.166666666666668 | 350.0549981667278 |
BASE/strangeSkirmish/gc1zKA | 0.07308909850562632 | 1.8993668777074308 | 25.987006496751626 |
BASE/knightThrough/gcwFjA | 0.079586532380363 | 5.198267244251916 | 65.31591575579846 |
DRESDEN/quad_7x7/q-JOXg | 0.08415542084797854 | 55.06666666666667 | 654.3448551714943 |
BASE/quad_7x7/q-JOXg | 0.08455732448302274 | 55.2 | 652.8115729475684 |
DRESDEN/stratego/Z2wovg | 0.10270799361695127 | 69.36666666666666 | 675.3774874170861 |
DRESDEN/capture_the_king/EQ229Q | 0.11105865224625623 | 5.091514143094842 | 45.845272206303726 |
DRESDEN/smallest/9kaGFw | 0.11669317051108094 | 68.8 | 589.580347321756 |
BASE/skirmishFinal3/-Olhfw | 0.13428819007686932 | 4.266666666666667 | 31.772463864650636 |
STANFORD/duidoku/3SoMaA | 0.14762286815981715 | 23.892035988004 | 161.84508732169044 |
BASE/skirmishFinal2/gdB62Q | 0.1483541573033708 | 4.4 | 29.65875766462277 |
DRESDEN/skirmishfinal/hzq8ww | 0.15564435564435564 | 4.428904428904429 | 28.45528455284553 |
BASE/skirmish/Y_psYQ | 0.15652723187240358 | 3.6987670776407864 | 23.63018264231436 |
BASE/simultaneousWin2/PfjRjw | 0.16118787243795427 | 164.1 | 1018.0666666666667 |
BASE/skirmishFinal1/ecWTnQ | 0.16713314970959045 | 4.3985338220593135 | 26.317542807648746 |
DRESDEN/smallest_4player/ADDROA | 0.20105265886055448 | 144.8 | 720.2093263557881 |
BASE/smallest_4player/ADDROA | 0.20112042224177046 | 144.8 | 719.9666666666667 |
BASE/sudokuGrade6H/ieE_9A | 0.20897832222422383 | 38.666666666666664 | 185.0271657611413 |
BASE/sudokuGrade6E/ihYFZA | 0.21042725390551478 | 37.266666666666666 | 177.1 |
BASE/cittaceot/fDxhXg | 0.23906113929889297 | 69.1 | 289.04739684021064 |
STANFORD/sudoku/oJ1qyQ | 0.2449463477274085 | 45.56666666666667 | 186.02713242891903 |
BASE/sudokuGrade4/DTy07w | 0.2539655392243669 | 47.8 | 188.21451188214513 |
BASE/sudokuGrade3/eI8dvg | 0.26534734955336153 | 50.166666666666664 | 189.06036465451152 |
BASE/sudokuGrade2/u80Tfw | 0.2912855172413793 | 54.9 | 188.47487001733103 |
BASE/sudokuGrade5/BQfUQA | 0.29866224618149145 | 55.4 | 185.4938168727709 |
BASE/sudokuGrade1/tDRNRw | 0.2994667127708621 | 57.733333333333334 | 192.78714752349845 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.3720141444757163 | 171.83333333333334 | 461.9 |
DRESDEN/chomp/-LcqYQ | 0.4035379361436857 | 744.4333333333333 | 1844.7666666666667 |
BASE/chomp/-LcqYQ | 0.4097147758953464 | 764.2 | 1865.2 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.4150004444444445 | 1.0333333333333334 | 2.489957172736629 |
DRESDEN/logistics/fPru1Q | 0.42820493473175886 | 378.3333333333333 | 883.5333333333333 |
BASE/checkers/rOC3Xg | 0.4496056861673045 | 27.4 | 60.94228975076636 |
BASE/colonelBlottoVariant/X-n-KQ | 0.46067536454336144 | 20.0 | 43.414520374504384 |
BASE/colonelBlottoVariant2/jruwGw | 0.5076697892271663 | 21.666666666666668 | 42.67866066966517 |
DRESDEN/blockerparallel/dVQgSg | 0.5304330862270776 | 362.53333333333336 | 683.4666666666667 |
BASE/blockerParallel/7-nDJA | 0.556244261568868 | 362.73333333333335 | 652.111596280124 |
BASE/checkersSmall/SYmq8w | 0.5728754183711418 | 51.333333333333336 | 89.60645139791396 |
STANFORD/skirmish/w4V6Vw | 0.6201601653319556 | 5.063291139240507 | 8.164489469474807 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.6547926746806911 | 406.7 | 621.1126295790141 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.65639234681887 | 403.26557814061977 | 614.3666666666667 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.685481148002251 | 406.03333333333336 | 592.3333333333334 |
STANFORD/multiplesukoshi/vLSQPg | 0.6868163380363977 | 261.23333333333335 | 380.3539882003933 |
BASE/blokbox_simple/JBx4bg | 0.6870074766355141 | 4.9 | 7.132382349020131 |
STANFORD/selectivesukoshi/3xmXYg | 0.7020773488410459 | 283.7 | 404.08653044898506 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.7057434183996775 | 408.3666666666667 | 578.6333333333333 |
BASE/checkers-mustjump-torus/uSApKQ | 0.7142813131313132 | 6.266666666666667 | 8.773387391578877 |
BASE/racer/QQYQNw | 0.7960772963604853 | 15.3 | 19.21923922456865 |
BASE/qyshinsu/R08Lzw | 0.8150664501821638 | 171.5 | 210.4122921041229 |
DRESDEN/racer/vk_ZBA | 0.8233609785932722 | 14.933333333333334 | 18.137042830044262 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.874323076923077 | 9.066666666666666 | 10.369927211087845 |
BASE/conn4/va9Y7A | 0.8901713347696727 | 1156.8666666666666 | 1299.6 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.9166796857463524 | 9.066666666666666 | 9.89076861595844 |
BASE/checkersTiny/Lr48cg | 0.9668438370032904 | 127.33333333333333 | 131.7 |
BASE/futoshiki6/JmvXNA | 0.9713643832860562 | 536.4666666666667 | 552.2815906136462 |
BASE/tictactoe_3d_6player/d7KSwg | 0.9881937062386908 | 139.53333333333333 | 141.2003865764655 |
BASE/hidato19/rRHSmA | 1.0389737783521569 | 616.3333333333334 | 593.213559548015 |
BASE/blocksWorldParallel/RseaAQ | 1.055565024714505 | 1857.9 | 1760.1 |
STANFORD/madness/UO_B3A | 1.0582827558208399 | 8.063978673775408 | 7.61987156024357 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1.08708286701209 | 139.86666666666667 | 128.66237792073596 |
DRESDEN/backgammon/mqCW0Q | 1.1239008960380006 | 347.0 | 308.74608359442703 |
BASE/hidato37/pBrqxw | 1.1805994025654545 | 74.63333333333334 | 63.21647560650493 |
BASE/ticTacToeSerial/Amrwqw | 1.2401135854132417 | 1382.9333333333334 | 1115.1666666666667 |
DRESDEN/lightsout2/LFtfyQ | 1.252043335625627 | 3702.0 | 2956.766666666667 |
BASE/checkers-newgoals/0XkFiA | 1.2586056265984653 | 32.8 | 26.060585863298563 |
BASE/checkers-mustjump/T-8UuQ | 1.2661378917378918 | 14.8 | 11.689090182496336 |
BASE/futoshiki5/TJ4BZg | 1.266702743204429 | 1014.3333333333334 | 800.7666666666667 |
BASE/hallway/ckCJOw | 1.303914082304527 | 352.03333333333336 | 269.98200119992 |
DRESDEN/hallway/0H4l-Q | 1.3167953972153972 | 357.26666666666665 | 271.31524565028997 |
DRESDEN/lightsout/XgLpzQ | 1.3250299084169517 | 3685.4381872709096 | 2781.4 |
DRESDEN/slidingpieces/s9_44g | 1.3289036544850497 | 1080.0 | 812.7 |
BASE/slidingpieces/uFJWEw | 1.3759181969949918 | 1098.9 | 798.6666666666666 |
DRESDEN/grid_game2/kypTYQ | 1.4366485690989004 | 2407.9666666666667 | 1676.1 |
DRESDEN/gt_ultimatum/pAiiQw | 1.5413213859020312 | 516.0 | 334.7776814879008 |
BASE/doubletictactoe/HH1htg | 1.6190189386334737 | 3225.733333333333 | 1992.4 |
DRESDEN/bunk_t/7-tPfA | 1.624470930823147 | 3198.366666666667 | 1968.8666666666666 |
BASE/gt_ultimatum/GE-uOA | 1.6321090248828622 | 503.8320559813396 | 308.7 |
BASE/lightsOut/5P1ZBw | 1.6427425172621941 | 3719.3333333333335 | 2264.1 |
DRESDEN/doubletictactoe/lJzgmQ | 1.6520390599703472 | 3231.3333333333335 | 1955.9666666666667 |
BASE/bunk_t/xbpfIA | 1.6581672477493885 | 3186.5 | 1921.7 |
DRESDEN/bidding-tictactoe/yW5vTA | 1.6585489857135596 | 2174.8 | 1311.2666666666667 |
BASE/doubletoetictac/fu35bg | 1.6925066857772106 | 3227.6666666666665 | 1907.0333333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 1.737602646552865 | 145.86666666666667 | 83.94707901489653 |
STANFORD/multipletictactoe/_bkafQ | 1.763951125698401 | 1424.1666666666667 | 807.3730875637478 |
DRESDEN/doubletoetictac/V89gKQ | 1.7748564465205594 | 3204.266666666667 | 1805.3666666666666 |
BASE/biddingTicTacToe/8mESVw | 1.8336014903886866 | 2165.3 | 1180.9 |
DRESDEN/javastrike/whONTQ | 1.8670604923518166 | 520.7333333333333 | 278.9054427890544 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 1.886748564367231 | 2595.6 | 1375.7 |
BASE/cephalopodMicro/9l2D3g | 1.9062333333333332 | 146.63333333333333 | 76.92307692307692 |
DRESDEN/connect4/T0-rHQ | 1.979197359891567 | 1119.5 | 565.6333333333333 |
BASE/connect4/50bOyw | 2.023671146627921 | 1114.2333333333333 | 550.6 |
BASE/coins_atomic/AA3SSw | 2.1104762365929837 | 2905.633333333333 | 1376.7666666666667 |
BASE/coins/QnGtnQ | 2.1361589663273293 | 2909.733333333333 | 1362.1333333333334 |
BASE/kalaha5x2x3/WviNsw | 2.1690433458330145 | 944.7 | 435.5376308246117 |
BASE/futoshiki4/BaCwSw | 2.21976475079331 | 3101.233333333333 | 1397.1 |
BASE/snake_2009_big/-oRfVw | 2.22360248447205 | 859.2 | 386.4 |
BASE/withConviction/3Xm54A | 2.224207342284508 | 3406.9666666666667 | 1531.7666666666667 |
DRESDEN/snake_2009_big/DgC1NQ | 2.2347417840375585 | 856.8 | 383.4 |
DRESDEN/coins/QwFP9w | 2.2569033151296054 | 2934.2 | 1300.1 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.275547727188804 | 684.6666666666666 | 300.8799413372442 |
BASE/brain_teaser_extended/ZDp94A | 2.5333537800950774 | 8260.0 | 3260.5 |
BASE/snake_2009/7l-qAQ | 2.534735158786168 | 1197.2 | 472.3175894136862 |
DRESDEN/tictactoeparallel/yk_DSg | 2.5396352427433855 | 3295.6 | 1297.6666666666667 |
BASE/tictactoex9/BI26ow | 2.5449413460383554 | 2118.8333333333335 | 832.5666666666667 |
DRESDEN/snake_2009/zIYLVw | 2.5705021975646662 | 1189.2 | 462.6333333333333 |
BASE/double_tictactoe_dengji/zgaSbA | 2.573341820496499 | 3368.9333333333334 | 1309.1666666666667 |
DRESDEN/brain_teaser_extended/ZDp94A | 2.5825776027361766 | 8306.0 | 3216.1666666666665 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.5835529514110998 | 3365.766666666667 | 1302.7666666666667 |
DRESDEN/grid_game/U7_Yeg | 2.6311244043786224 | 1498.2 | 569.4143528549048 |
DRESDEN/tictactoex9/rFkD4w | 2.631187505164862 | 2122.6666666666665 | 806.7333333333333 |
DRESDEN/tictactoe_3player/ESLQQQ | 2.7948557958957294 | 2687.5333333333333 | 961.6 |
BASE/sum15/QZ07Kg | 2.8095194615464885 | 14359.266666666666 | 5110.933333333333 |
DRESDEN/sum15/CsgWKg | 2.8355123756043477 | 14407.9 | 5081.233333333334 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 2.842130909090909 | 36.4 | 12.807291839925485 |
DRESDEN/latenttictactoe/kITHKg | 2.9448538107454105 | 5395.266666666666 | 1832.1 |
DRESDEN/chickentoetictac/cxYaRQ | 3.0359100877192984 | 11813.333333333334 | 3891.2 |
BASE/chickentoetictac/l57rfQ | 3.0667806901269934 | 11953.8 | 3897.8333333333335 |
BASE/kalaha6x2x4/XS81Mg | 3.1141579570184987 | 763.1 | 245.0421624504216 |
BASE/tictactoe_3player/GtM71g | 3.1475870685616116 | 2687.2 | 853.7333333333333 |
DRESDEN/gt_prisoner/huCp4w | 3.230550781586612 | 2082.6666666666665 | 644.6785107163095 |
BASE/ticTacToeParallel/ymRGPw | 3.2355729200025625 | 3367.8 | 1040.8666666666666 |
BASE/god/qF06gw | 3.2485989349453077 | 125.36666666666666 | 38.59099543439864 |
STANFORD/dualrainbow/G3OnRQ | 3.372154530862396 | 12325.0 | 3654.9333333333334 |
DRESDEN/god/2EDD5w | 3.437166424682396 | 126.23333333333333 | 36.72598813570619 |
BASE/eotcitcit/V_9_bg | 3.48795861991144 | 8827.790736421193 | 2530.9333333333334 |
DRESDEN/sat_test_20v_91c/dK7nVw | 3.502951506031124 | 1668.1666666666667 | 476.2174594180194 |
BASE/snakeAssemblit/UO4sdg | 3.5961382242044255 | 1854.4666666666667 | 515.6828105729809 |
BASE/blocksWorldSerial/Wyg96Q | 3.6588713096646064 | 10931.0 | 2987.5333333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 3.701446510183254 | 11122.6 | 3004.9333333333334 |
DRESDEN/blocker/S815zQ | 3.717567999447194 | 14346.466666666667 | 3859.1 |
BASE/battlebrushes/arCwyA | 3.745722222222222 | 483.8666666666667 | 129.17847025495752 |
DRESDEN/tictictoe/LAUtwg | 3.7639538465847036 | 8959.966666666667 | 2380.4666666666667 |
DRESDEN/buttons/ADUaHw | 3.7780246365005308 | 30608.8 | 8101.8 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 3.7936851242891714 | 17189.566666666666 | 4531.1 |
BASE/tictactoe_orthogonal/WRzlVw | 3.8289016400715776 | 17260.433333333334 | 4507.933333333333 |
BASE/switches/tPUoCg | 3.8474512135791126 | 23724.666666666668 | 6166.333333333333 |
BASE/coloredtrails/EZvr7g | 3.8734412764956256 | 6036.5 | 1558.4333333333334 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.9055497550397558 | 1620.9333333333334 | 415.03333333333336 |
BASE/toetictac/mTThmg | 3.9299880178642748 | 18039.3 | 4590.166666666667 |
BASE/buttons/hTcUjw | 3.94055640632976 | 30878.2 | 7836.0 |
BASE/incredible/8Qh-6Q | 3.944590056515685 | 9631.9 | 2441.8 |
BASE/haystack/UkweGA | 3.9529883436408304 | 52881.23333333333 | 13377.533333333333 |
DRESDEN/mimikry/GJEhwA | 3.9685157781787366 | 3225.766666666667 | 812.8395720142662 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.97415054462689 | 1629.6666666666667 | 410.06666666666666 |
STANFORD/tictictoe/rpt_Dw | 3.979883552109683 | 8863.333333333334 | 2227.0333333333333 |
DRESDEN/toetictac/mJtxCA | 3.986325793855449 | 18035.466666666667 | 4524.333333333333 |
BASE/lightsOnSimul4/9FeASw | 3.990925076932739 | 4236.5 | 1061.5333333333333 |
BASE/pearls/6k_mEQ | 4.008207187920354 | 35260.86666666667 | 8797.166666666666 |
STANFORD/triplesukoshi/Iu9mbA | 4.015555498418738 | 5205.9 | 1296.4333333333334 |
BASE/factoringGeorgeForman/HGRorQ | 4.025235009281463 | 20310.933333333334 | 5045.9 |
BASE/mineClearingSmall/frsbvw | 4.0359320095797955 | 1029.7666666666667 | 255.14965668955404 |
DRESDEN/gt_chicken/CeuKtw | 4.082197404658545 | 1943.3333333333333 | 476.0507983067231 |
DRESDEN/catcha_mouse/cHv4dw | 4.095327984898537 | 4917.533333333334 | 1200.7666666666667 |
BASE/ticTicToe/c1OobQ | 4.117612037302466 | 8915.728090636454 | 2165.266666666667 |
BASE/duplicateStateMedium/U163eQ | 4.176432094233317 | 8722.2 | 2088.4333333333334 |
BASE/chickentictactoe/DSlZCA | 4.204854466713668 | 11133.333333333334 | 2647.733333333333 |
BASE/gt_prisoner/klthDw | 4.211554745000978 | 2155.3333333333335 | 511.76666666666665 |
BASE/nineBoardTicTacToePie/B8LzeQ | 4.266591136868709 | 3263.8 | 764.9666666666667 |
BASE/duplicateStateSmall/bCPAXw | 4.270444116002679 | 25715.333333333332 | 6021.7 |
BASE/catcha_mouse/cHv4dw | 4.3035543858634355 | 4960.133333333333 | 1152.5666666666666 |
DRESDEN/eotcatcit/mQUxzA | 4.399842890809112 | 14936.0 | 3394.6666666666665 |
BASE/blocksWorld/SEdXLQ | 4.473246187153734 | 30923.7 | 6913.033333333334 |
BASE/snake_2008_tweaked/bX0NJQ | 4.494162259255563 | 1501.2 | 334.03333333333336 |
BASE/blocker/dIWtxg | 4.5047097217826 | 13757.233333333334 | 3053.9666666666667 |
STANFORD/breakthrough/d5j0cQ | 4.508753099670602 | 4060.733333333333 | 900.6333333333333 |
BASE/blocks/xIV5hQ | 4.543029612090385 | 31082.5 | 6841.8 |
DRESDEN/blocks/vg0DRw | 4.5458683286295125 | 31193.9 | 6862.033333333334 |
BASE/snake_2008/i6K26g | 4.556410030445984 | 1513.1333333333334 | 332.0889303689877 |
DRESDEN/snake_2008/E56l3A | 4.577402988993235 | 1510.9 | 330.07799480034663 |
BASE/gt_chicken/gmepTQ | 4.5816764132553605 | 1958.6666666666667 | 427.5 |
BASE/untwistycomplex2/EDPPAQ | 4.616146895948702 | 29564.266666666666 | 6404.533333333334 |
DRESDEN/blocksworldparallel/2JfVaw | 4.642916544056498 | 12096.5 | 2605.366666666667 |
BASE/eotcatcit/AfZSzA | 4.645121402877698 | 15151.766666666666 | 3261.866666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 4.718179362506754 | 5822.233333333334 | 1234.0 |
BASE/breakthroughSmallHoles/bxclRw | 4.750113557217697 | 5228.766666666666 | 1100.7666666666667 |
DRESDEN/tictactoe/BTTzPw | 4.787192423523488 | 16478.633333333335 | 3442.233333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 4.788117800601487 | 2812.7 | 587.4333333333333 |
STANFORD/sukoshi/4LYZZQ | 4.802484733628132 | 12163.733333333334 | 2532.8 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 4.81220198019802 | 955.8 | 198.62009199386708 |
STANFORD/untwistycorridor/EDPPAQ | 4.816422651429407 | 30780.633333333335 | 6390.766666666666 |
BASE/numbertictactoe/rvJ-iQ | 4.828993349115094 | 9995.533333333333 | 2069.9 |
BASE/queens12ug/u6Bkmg | 4.922553352295815 | 2422.8 | 492.183593880204 |
BASE/circlesolitaire/azuQFQ | 4.966203997849568 | 20322.7 | 4092.2 |
DRESDEN/circlesolitaire/ruUilQ | 4.966448585186212 | 20318.9 | 4091.233333333333 |
BASE/factoringEasyTurtleBrain/lUj94Q | 4.968950404831103 | 13439.520159946684 | 2704.7 |
BASE/lightsOnParallel/SC6enA | 4.97920313877404 | 13367.666666666666 | 2684.7 |
BASE/onestep/xi53wA | 5.007005664344092 | 74782.3 | 14935.533333333333 |
DRESDEN/troublemaker01/C-lPWw | 5.066481830703657 | 57136.066666666666 | 11277.266666666666 |
DRESDEN/mummymaze2p/k-8edg | 5.080986647101981 | 230.8 | 45.4242484836366 |
BASE/mummymaze2p/vpjDdA | 5.099709653647753 | 230.6 | 45.21826057980673 |
DRESDEN/peg/Vo31eg | 5.104141427738144 | 3791.866666666667 | 742.9 |
DRESDEN/peg_bugfixed/u_B7MA | 5.117141464711355 | 3849.9666666666667 | 752.3666666666667 |
BASE/troublemaker01/s3tlEQ | 5.127425078745156 | 56540.8 | 11027.133333333333 |
BASE/queens16ug/gT-ylw | 5.144641224766435 | 1428.323892035988 | 277.6333333333333 |
STANFORD/trifecta/ss1kyQ | 5.2176905691391005 | 15236.7 | 2920.2 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 5.219619038812732 | 30106.066666666666 | 5767.866666666667 |
DRESDEN/tpeg/h-Scbg | 5.227662068343703 | 3865.3333333333335 | 739.4 |
BASE/tpeg/QNs7Lw | 5.247329084322986 | 3814.633333333333 | 726.9666666666667 |
BASE/survival/YVIjJA | 5.262725908018638 | 53988.2 | 10258.6 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 5.286100585402428 | 4073.3333333333335 | 770.5743141895271 |
BASE/hodgepodge/9yjRkw | 5.309655519235605 | 16893.2 | 3181.6 |
STANFORD/dualhunter/1rPZjQ | 5.319500290278883 | 8246.466666666667 | 1550.2333333333333 |
BASE/stateSpaceSmall/Q7osKA | 5.352477030615671 | 46760.666666666664 | 8736.266666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 5.353646098929119 | 2799.6 | 522.9333333333333 |
STANFORD/tictactoe/ss1kyQ | 5.417821667821668 | 15635.833333333334 | 2886.0 |
BASE/duplicateStateLarge/dcjyuw | 5.434671931865641 | 4048.3333333333335 | 744.9085030498983 |
STANFORD/buttonsandlights/eyhJpA | 5.448931261243863 | 53610.4 | 9838.7 |
BASE/stateSpaceMedium/3bUoIw | 5.488905106847531 | 30334.8 | 5526.566666666667 |
DRESDEN/statespacesmall/h-NqjA | 5.494831169742748 | 46970.0 | 8548.033333333333 |
STANFORD/hunter/14dD-g | 5.537241032812156 | 12353.215594801733 | 2230.9333333333334 |
BASE/lightsOn/MsXu3A | 5.55470294669252 | 29124.233333333334 | 5243.166666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 5.575653693621026 | 2764.9666666666667 | 495.9 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 5.640675241157556 | 2806.8 | 497.6 |
BASE/ticTacToe/JRFsaQ | 5.68617652138868 | 16460.533333333333 | 2894.8333333333335 |
STANFORD/tictactoe7/-bE9-A | 5.712575410372726 | 16286.933333333332 | 2851.0666666666666 |
BASE/stateSpaceLarge/0Ge_CQ | 5.728725468080307 | 21162.866666666665 | 3694.1666666666665 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 5.742372881355933 | 2823.3333333333335 | 491.6666666666667 |
DRESDEN/statespacemedium/dVJZ_w | 5.743475867590762 | 30606.6 | 5328.933333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 5.747635262958759 | 7089.133333333333 | 1233.4 |
BASE/queens08ug/kJ_ZFQ | 5.756166846970759 | 5291.836054648451 | 919.3333333333334 |
DRESDEN/statespacelarge/8-y5HQ | 5.809137243999629 | 20895.466666666667 | 3597.0 |
STANFORD/duikoshi/tpw1sw | 5.835322777101097 | 7984.666666666667 | 1368.3333333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 5.862201634033897 | 17674.733333333334 | 3015.0333333333333 |
BASE/troublemaker02/DI83KA | 5.910291885140882 | 54894.2 | 9287.9 |
DRESDEN/troublemaker02/iZLVuA | 5.912317968747211 | 55201.933333333334 | 9336.766666666666 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 5.955878787878787 | 6.4 | 1.0745685444480626 |
BASE/tron_10x10/7ZTgDg | 6.0169268779898015 | 7630.666666666667 | 1268.2 |
BASE/gt_staghunt/xPjLRA | 6.024552981579769 | 3216.0 | 533.8155394820172 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 6.026577610798024 | 2887.3333333333335 | 479.1 |
BASE/gt_coordination/IVMOzA | 6.058860030139172 | 4556.666666666667 | 752.0666666666667 |
DRESDEN/firefighter/WJmoPw | 6.115097682378605 | 16912.933333333334 | 2765.766666666667 |
BASE/tictactoe-init1/7M19vA | 6.149502527026721 | 18088.966666666667 | 2941.5333333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 6.199133093385966 | 26696.566666666666 | 4306.5 |
DRESDEN/lightson2x2/gBHuig | 6.209914320685435 | 16911.666666666668 | 2723.3333333333335 |
BASE/firefighter/WJmoPw | 6.297275479313824 | 16641.6 | 2642.6666666666665 |
BASE/aipsrovers01/4C4jsw | 6.359519881677 | 7452.933333333333 | 1171.9333333333334 |
DRESDEN/Runners/3bOCQw | 6.394812279090479 | 7659.066666666667 | 1197.7 |
DRESDEN/amazons/dNB28A | 6.471015384615385 | 78.4 | 12.115563839701771 |
DRESDEN/aipsrovers01/qS47Mw | 6.480570599899376 | 7299.066666666667 | 1126.3 |
DRESDEN/point_grab/r5DPmQ | 6.54402579670569 | 30035.333333333332 | 4589.733333333334 |
DRESDEN/pawn_whopping/4ogBkg | 6.571750655048444 | 7189.933333333333 | 1094.0666666666666 |
BASE/cubicup_3player/e2yA_g | 6.583600913166653 | 2659.4666666666667 | 403.953201559948 |
STANFORD/tictactoe5/WFRReg | 6.608673894912426 | 17168.233333333334 | 2597.8333333333335 |
DRESDEN/cubicup_3player/awDtsQ | 6.682379650562393 | 2660.1666666666665 | 398.0867304423186 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 6.974785441333083 | 7422.566666666667 | 1064.2 |
BASE/ticTacHeavenFC/mrletw | 7.081136257582827 | 4046.633333333333 | 571.4666666666667 |
DRESDEN/8puzzle/8fKC2w | 7.140022431196619 | 16552.0 | 2318.2 |
DRESDEN/Goldrush/VeWczQ | 7.236237018590256 | 3922.633333333333 | 542.0819306023133 |
BASE/maze/cCX3qQ | 7.2583720159151195 | 43782.5 | 6032.0 |
DRESDEN/fizzbuzz/t1xHzQ | 7.296076099881094 | 6136.0 | 841.0 |
BASE/nineBoardTicTacToe/wRmqqA | 7.32361262241567 | 4486.933333333333 | 612.6666666666666 |
STANFORD/nineboardtictactoe/y28P-A | 7.344373695756862 | 4575.3 | 622.9666666666667 |
STANFORD/tictactoe3/X7myng | 7.353486835767077 | 17809.9 | 2421.9666666666667 |
DRESDEN/roshambo2/jgSlkQ | 7.384382179038149 | 39215.5 | 5310.6 |
BASE/queens06ug/7Lq3tw | 7.4067026412950865 | 8693.0 | 1173.6666666666667 |
BASE/roshambo2/KNPokQ | 7.4612658645129395 | 39231.833333333336 | 5258.066666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 7.461599436322001 | 2823.9666666666667 | 378.46666666666664 |
BASE/tictactoe_3d_small_2player/oOryKA | 7.536211291738058 | 6011.133333333333 | 797.6333333333333 |
BASE/ticTacHeaven/18n58A | 7.5533819273234 | 4697.7 | 621.9333333333333 |
BASE/racer4/0vs7Ww | 7.570385 | 120.8 | 15.956916325920016 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 7.579080343607883 | 5999.6 | 791.6 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 7.646176932737521 | 2908.6666666666665 | 380.40797280181323 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 7.664072722264306 | 14838.666666666666 | 1936.1333333333334 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 7.738477777777777 | 9.2 | 1.188864304349262 |
DRESDEN/chinesecheckers3/QsCb2A | 7.765508379544054 | 2940.7 | 378.68737708743043 |
DRESDEN/chinesecheckers6/yTbPDA | 7.766802949738018 | 1333.9 | 171.74376749766697 |
STANFORD/bestbuttonsandlights/nm0wEA | 7.770518424293273 | 38281.2 | 4926.466666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 7.836388501696342 | 39728.4 | 5069.733333333334 |
DRESDEN/small_dominion/yB5GJA | 7.912699875593601 | 171.10963012329225 | 21.624683459949352 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 8.000515965920451 | 41349.066666666666 | 5168.3 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 8.012542857142856 | 9.133333333333333 | 1.1398794984530207 |
BASE/ticTacToeNoVars/XT03NA | 8.200226424721752 | 17142.3 | 2090.4666666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 8.26004356565868 | 5123.258913695435 | 620.2459918002734 |
STANFORD/rainbow/_4qNSQ | 8.27942728488004 | 47070.2 | 5685.2 |
BASE/snakeParallel/RCVNtw | 8.32059347880538 | 18824.233333333334 | 2262.366666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 8.425251098083415 | 1922.8590469843386 | 228.2257258091397 |
BASE/beatMania/qUHwvQ | 8.543511557895108 | 16176.0 | 1893.3666666666666 |
STANFORD/threepuzzle/41ibjA | 8.596775109294272 | 30283.0 | 3522.6 |
STANFORD/3puzzle/41ibjA | 8.788936360716685 | 30102.4 | 3425.0333333333333 |
BASE/escortLatch/mX9BjQ | 8.857670979667283 | 3993.3333333333335 | 450.8333333333333 |
BASE/point_grab/V_osUg | 8.859413810233482 | 29723.333333333332 | 3355.0 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 8.902270901917866 | 33621.8 | 3776.766666666667 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 8.933981164518622 | 18877.8 | 2113.0333333333333 |
STANFORD/eightpuzzle/W_aWbA | 9.038562042705689 | 16141.666666666666 | 1785.8666666666666 |
BASE/cylinder-checkers/hlldmw | 9.1476 | 25.2 | 2.7548209366391183 |
DRESDEN/babel/WdSW4A | 9.1967723056119 | 755.4666666666667 | 82.14476139696082 |
STANFORD/8puzzle/jNiGtw | 9.220132332168612 | 16536.0 | 1793.4666666666667 |
BASE/3pConnectFour/PqXOFQ | 9.296447368421052 | 7065.3 | 760.0 |
BASE/guess/SPpk1A | 9.307447255801028 | 2232.633333333333 | 239.8760123987601 |
BASE/tictactoe2/bhrDoQ | 9.313481918619711 | 27565.733333333334 | 2959.766666666667 |
BASE/cubicup/4wNWJA | 9.409046101051402 | 4295.4 | 456.5181160627979 |
BASE/gt_dollar/TGjqRw | 9.414928690045912 | 25701.5 | 2729.866666666667 |
BASE/pawnWhopping/Ypc_6Q | 9.460022281258034 | 7359.266666666666 | 777.9333333333333 |
DRESDEN/guess/PhxGhg | 9.475425130447045 | 2239.6 | 236.35878804039865 |
BASE/eightPuzzle/vLrgFg | 9.52449295615062 | 16812.0 | 1765.1333333333334 |
BASE/dotsAndBoxes/EHwA_w | 9.5511103343893 | 7537.166666666667 | 789.1403619879337 |
DRESDEN/cubicup/SBn_lw | 9.60860010255659 | 4372.233333333334 | 455.03333333333336 |
DRESDEN/tictactoelargesuicide/6J4DeA | 9.68238956267329 | 18973.933333333334 | 1959.6333333333334 |
BASE/dotsAndBoxesSuicide/jzQbLw | 9.824592579750346 | 7555.766666666666 | 769.0666666666667 |
DRESDEN/tictactoelarge/IwXcbg | 10.01390394907132 | 19085.833333333332 | 1905.9333333333334 |
BASE/pegEuro/5awwhg | 10.195087949267595 | 3170.5666666666666 | 310.9896336788774 |
DRESDEN/cylinder-checkers/clOO3Q | 10.27602162162162 | 25.266666666666666 | 2.4587985114300905 |
DRESDEN/oisters_farm/pTQMLg | 10.561400643866936 | 30181.666666666668 | 2857.733333333333 |
BASE/asteroidsSerial/id2QkA | 10.617265156263992 | 7904.2 | 744.4666666666667 |
DRESDEN/4pttc/9pB9AQ | 10.712981518592741 | 3207.4666666666667 | 299.4 |
BASE/snake2p/I3wWPQ | 10.816338061676628 | 12124.033333333333 | 1120.9 |
BASE/ticTacToeLarge/TZC0dg | 11.415266872080311 | 19141.5 | 1676.8333333333333 |
BASE/pacman2p/4LEdQg | 11.52935504740658 | 688.9333333333333 | 59.75471572352196 |
BASE/ticTacToeLargeSuicide/727_8g | 11.587769244797471 | 19062.266666666666 | 1645.0333333333333 |
BASE/peg/fJHVWw | 11.892308161764705 | 3773.7 | 317.3227559081364 |
BASE/reversi/d8UMeA | 11.933594560290116 | 438.7 | 36.76176509798694 |
BASE/reversiSuicide/9OxJlg | 11.956170431086823 | 437.56666666666666 | 36.597560162655824 |
DRESDEN/checkers-newgoals/IJOqXQ | 12.476337662337663 | 31.8 | 2.5488248924197285 |
DRESDEN/checkers-mustjump/HUr33w | 12.661714285714286 | 14.4 | 1.1372867587327375 |
BASE/hexPie/48CH6Q | 12.94329408035638 | 1678.6333333333334 | 129.69135390973935 |
DRESDEN/frogs_and_toads/GjchhQ | 12.961415504107544 | 2892.266666666667 | 223.14435223144352 |
DRESDEN/knightmove/97Ipcw | 13.210053464121597 | 4982.5 | 377.17485500966603 |
BASE/knightmove/jBaJEw | 13.348862443693692 | 5004.766666666666 | 374.9208359721343 |
DRESDEN/hanoi/RQ0jiA | 13.518680572204905 | 22554.566666666666 | 1668.4 |
BASE/connectFourSimultaneous/7ITr3g | 13.866589097508202 | 6622.0 | 477.5507483083897 |
BASE/hanoi/iGLsJg | 13.958014874024022 | 22584.533333333333 | 1618.0333333333333 |
BASE/rubiksCube/9tNO9Q | 14.329031254859274 | 3071.6666666666665 | 214.36666666666667 |
DRESDEN/checkers/jIDMIg | 14.343956862745097 | 32.266666666666666 | 2.249495517549373 |
BASE/gt_centipede/9fRMpw | 14.900267546147504 | 29516.933333333334 | 1980.9666666666667 |
BASE/pawnToQueen/-O1_JA | 17.044126174496647 | 84.46666666666667 | 4.955763985897692 |
BASE/othelloHoles/c0qAzw | 17.841237903225807 | 368.1666666666667 | 20.635713097021135 |
DRESDEN/knightstour/cGISAA | 17.916265933898174 | 39120.166666666664 | 2183.5 |
DRESDEN/pawntoqueen/f_x6Aw | 17.990702068965515 | 86.6 | 4.813597583242041 |
DRESDEN/ghostmaze2p/HY0UwA | 18.067998416645942 | 2421.633333333333 | 134.02886570447652 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 18.32371410810401 | 2685.4666666666667 | 146.55689620691953 |
BASE/ghostMaze2p/W-NU-w | 18.385312381683296 | 2395.366666666667 | 130.28697130286972 |
BASE/asteroidsParallel/WauZiA | 18.397964284091422 | 13496.133333333333 | 733.5666666666667 |
DRESDEN/3pttc/uwYBZw | 18.54022759033739 | 15478.0 | 834.8333333333334 |
BASE/tictactoe_3d_2player/IUC1rQ | 18.749787932952017 | 2622.0333333333333 | 139.8433594400933 |
DRESDEN/3pffa/0YrmQw | 19.009557945041816 | 15911.0 | 837.0 |
DRESDEN/pentago_2008/hLjVpQ | 19.366561406503372 | 7563.933333333333 | 390.56666666666666 |
DRESDEN/knightwar/7hhAqg | 19.38366630627437 | 10935.9 | 564.1811939602013 |
BASE/dualConnect4/WbCQkg | 19.457342073480802 | 6801.833333333333 | 349.57669488700753 |
BASE/asteroids/BKCmPQ | 20.38523715520461 | 25472.033333333333 | 1249.5333333333333 |
DRESDEN/connectfoursuicide/M9CNQg | 20.688018273002633 | 13887.866666666667 | 671.3 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 21.58551221749099 | 2196.1 | 101.73953612370035 |
STANFORD/knightstourmedium/x1wu8Q | 21.852506456162203 | 39770.833333333336 | 1819.9666666666667 |
BASE/connectFour/WAIKTw | 22.072040981396604 | 13644.2 | 618.1666666666666 |
DRESDEN/connectfour/5tc-Mg | 22.269202363367796 | 14071.166666666666 | 631.8666666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 22.297404658279493 | 2185.233333333333 | 98.00393215368723 |
BASE/knightazons/apnJBQ | 23.057573680603152 | 1121.3666666666666 | 48.63333333333333 |
BASE/connectFourSuicide/c8p9Kw | 23.25838569277912 | 14192.569143618794 | 610.2129929002367 |
DRESDEN/knightazons/02I8BQ | 23.334847448275863 | 1127.4 | 48.31400773024124 |
DRESDEN/bomberman2p/x4h6jQ | 23.515097089397088 | 3015.6 | 128.24101846297407 |
BASE/othello-comp2007/86ZoMw | 23.81135099667774 | 477.76666666666665 | 20.064660200646603 |
BASE/connectFourLarger/qKi60A | 23.873030878770848 | 2829.266666666667 | 118.51309040037306 |
DRESDEN/pacman3p/rBnk8Q | 23.907788997429304 | 1549.8666666666666 | 64.8268506482685 |
BASE/bomberman2p/4CClwA | 24.11361027469625 | 3042.8333333333335 | 126.18738126187381 |
BASE/othelloSuicide/B442jg | 24.286612280701757 | 476.3666666666667 | 19.614372772986112 |
STANFORD/connectfour/VMpZkQ | 24.69612820813542 | 14037.166666666666 | 568.3954403039797 |
BASE/pacman3p/wW7UVQ | 24.705528183421517 | 1556.0333333333333 | 62.98320447880565 |
BASE/connectFour_9x6/B9TtMw | 24.847537445222056 | 12663.133333333333 | 509.6333333333333 |
BASE/knightsTour/mvtVIg | 25.426522210184185 | 39114.46666666667 | 1538.3333333333333 |
STANFORD/knightstour/cEwgNA | 25.596264810817956 | 38740.8 | 1513.5333333333333 |
BASE/connectFourLarge/aU644A | 25.929004242171768 | 8298.733333333334 | 320.0559981333956 |
BASE/4pffa/Q3ADlg | 25.939338307089937 | 12097.3008997001 | 466.36890873941735 |
STANFORD/pentago/ZxzLmg | 26.193286188357433 | 6278.566666666667 | 239.70137315024664 |
BASE/kalaha_2009/dRiN3g | 26.97505650969529 | 648.4 | 24.037021007424176 |
DRESDEN/kalaha_2009/gcC8uA | 27.772072230014025 | 659.5 | 23.746877601998335 |
BASE/3pffa/pR0dzA | 29.79797808046562 | 15277.90736421193 | 512.7162427919069 |
DRESDEN/crossers3/xiPTxg | 30.41063035839775 | 1442.3333333333333 | 47.428590474285905 |
BASE/crossers3/O0rORg | 30.42791656140351 | 1444.7 | 47.47942558224769 |
BASE/shmup/ssTNlg | 31.12686683665504 | 19938.833333333332 | 640.5666666666667 |
BASE/zhadu/DlA8iQ | 31.425869430344047 | 1237.7666666666667 | 39.386871042985675 |
BASE/4pttc/AL1k2Q | 32.65755659123123 | 3094.4351882705764 | 94.75403279562725 |
BASE/pentago/86NgKw | 32.88388886931846 | 7467.433333333333 | 227.08486100926604 |
BASE/pentagoSuicide/SBgNhw | 32.970120973619004 | 7540.266666666666 | 228.7 |
BASE/2pffa/6oHijA | 33.220432549346135 | 19291.569476841054 | 580.7139762007934 |
BASE/2pffa_zerosum/o0_uZA | 34.60238202599812 | 19285.57147617461 | 557.3480883970534 |
STANFORD/pilgrimage/ObRZnQ | 36.660520159625705 | 8880.4 | 242.23333333333332 |
DRESDEN/pancakes88/aD3E7g | 36.861734736144484 | 44495.8 | 1207.1 |
BASE/chineseCheckers1/gqtwHw | 37.382048152453706 | 30011.8 | 802.8399053364888 |
BASE/nonogram_10x10_1/0Xc62g | 37.56217766004415 | 944.4333333333333 | 25.143199680298387 |
DRESDEN/pancakes/hl9aiQ | 38.19860865165697 | 50333.03333333333 | 1317.6666666666667 |
BASE/amazons_8x8/7SOsIw | 40.09914098469727 | 2008.9 | 50.09833005566481 |
DRESDEN/pancakes6/SZXMyQ | 40.124106289174726 | 50427.63333333333 | 1256.791440285324 |
STANFORD/freeforall/Lfp40Q | 43.47141212623685 | 20588.13728757081 | 473.6017598826745 |
DRESDEN/farmers/S_ASnw | 44.11650406504065 | 59.333333333333336 | 1.3449237329834345 |
BASE/ruleDepthLinear/OUBJpQ | 45.505301982480404 | 75670.76666666666 | 1662.9 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 46.66666666666667 | 29810.666666666668 | 638.8 |
BASE/kitten_escapes_from_fire/uW-YiA | 46.907580545346356 | 29779.066666666666 | 634.8455051498283 |
BASE/chess_200/XsTpYA | 55.46739130434782 | 680.4 | 12.266666666666667 |
BASE/knightsTourLarge/M8jgLA | 61.20728721615436 | 35367.6107964012 | 577.8333333333334 |
DRESDEN/hanoi_6_disks/MeubgQ | 63.511201170775635 | 18805.666666666668 | 296.1 |
BASE/amazonsSuicide_10x10/XIbQkg | 63.680545992853496 | 1385.4666666666667 | 21.75651362697408 |
BASE/hanoi_6_disks/MeubgQ | 64.03131681881362 | 18937.066666666666 | 295.7469502033198 |
BASE/pancakes/yUgbXw | 64.29765549820662 | 48999.1 | 762.0666666666667 |
BASE/knightwar/DVGY4Q | 64.74216066679897 | 10873.8 | 167.95546963535764 |
BASE/pancakes6/QZTdnw | 65.08183923822597 | 50577.26666666667 | 777.1333333333333 |
BASE/amazons_10x10/Bun8dA | 65.89464958202717 | 1399.6333333333334 | 21.24047008689283 |
DRESDEN/satlike_20v_91c/yeuENQ | 71.21569838709678 | 2938.0 | 41.254948930365636 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 71.49022258064517 | 2934.0 | 41.040577215860196 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 71.97844262295082 | 2905.3333333333335 | 40.36393713813069 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 73.80230112994352 | 2859.3333333333335 | 38.74314607479397 |
BASE/gt_tinfoil/Q8DyKg | 75.10803688914243 | 8777.333333333334 | 116.86277124095864 |
STANFORD/knightstourbig/TQUI2g | 78.81636289444778 | 35077.36666666667 | 445.05183160561313 |
DRESDEN/quartosuicide/WIU1oQ | 81.34674620557156 | 1880.0666666666666 | 23.111762355135205 |
BASE/chineseCheckers4/avfBcQ | 82.8727829578734 | 24522.366666666665 | 295.9037429590374 |
BASE/quarto/EwBMVQ | 84.37156542473919 | 1886.7333333333333 | 22.362194227821103 |
DRESDEN/quarto/OQzRYQ | 84.76214930555555 | 1896.3333333333333 | 22.37240736425076 |
BASE/quartoSuicide/-23jUg | 85.73538054711247 | 1880.4 | 21.93260224659178 |
BASE/nonogram_5x5_1/qLKEZw | 85.76655351323166 | 7307.733333333334 | 85.20493168943685 |
BASE/chineseCheckers2/eCMR3Q | 85.80208402912297 | 42818.1 | 499.03333333333336 |
BASE/amazonsTorus_10x10/Uxc08g | 86.10787743055555 | 1100.5666666666666 | 12.781254160564506 |
DRESDEN/othello-cornercontrol/r5Gdlg | 87.02583333333332 | 14.166666666666666 | 0.16278691193228065 |
BASE/chineseCheckers6/rREH3A | 88.9693382028666 | 21518.0 | 241.85860471317622 |
BASE/amazonsSuicide/dE1QEQ | 91.42137777777776 | 8.133333333333333 | 0.08896533317517274 |
BASE/amazons/RKKZjw | 96.6681 | 8.1 | 0.0837918610172332 |
BASE/2pttc/unkkYA | 97.57088205740206 | 20137.28757080973 | 206.38624091727218 |
BASE/chineseCheckers3/-1rZdQ | 97.71403276893346 | 35394.1 | 362.22125929135694 |
DRESDEN/connect5/1kYzSg | 103.41904168012923 | 2132.6 | 20.620960756879207 |
BASE/3pttc/0sol9g | 107.40686998550024 | 14814.0 | 137.92413839077395 |
BASE/hanoi7_bugfix/3gdnFw | 111.3484337439708 | 18978.033333333333 | 170.43826028995167 |
BASE/knightfight/SJRkAg | 112.31204032948223 | 5831.766666666666 | 51.92467922012998 |
DRESDEN/knightfight/4_Ly4w | 113.49445874246341 | 5855.533333333334 | 51.59312091721104 |
DRESDEN/hanoi7_bugfix/3gdnFw | 118.08429448248432 | 19035.188270576473 | 161.2 |
BASE/connect5/d-BVQg | 120.63311811997526 | 2160.5333333333333 | 17.909951819239076 |
BASE/speedChess/bPnisA | 122.49568627450981 | 2842.6666666666665 | 23.206259364075244 |
DRESDEN/hanoi7/51zz5Q | 122.95471289274106 | 18914.533333333333 | 153.83333333333334 |
DRESDEN/four_way_battle/xSOQXA | 131.48990476190477 | 858.6666666666666 | 6.530285866595588 |
DRESDEN/battle/8oAvhQ | 131.7905212121212 | 479.3333333333333 | 3.6370850416611558 |
BASE/battle/8oAvhQ | 132.22567272727272 | 483.6666666666667 | 3.657887736100027 |
BASE/four_way_battle/xSOQXA | 134.90795287958113 | 857.0 | 6.352479462533675 |
BASE/choicethroughalt/tt71Lg | 147.1918708245243 | 13921.566666666668 | 94.58108378324336 |
BASE/skirmishNew/sibw2g | 154.92373025210082 | 3683.133333333333 | 23.77384876635701 |
BASE/twisty-passages/DiZmmg | 173.50326054490415 | 11462.4 | 66.0644645178494 |
DRESDEN/twisty-passages/j7NPyg | 176.04559669421488 | 11356.266666666666 | 64.50753032120485 |
BASE/skirmishZeroSum/zh4hcw | 179.07750482315112 | 3710.4 | 20.71952031978681 |
STANFORD/platformjumpers/HEQskA | 213.67093867187498 | 5468.7 | 25.594028060119307 |
BASE/wargame02/BkVqqQ | 258.86851805555557 | 1033.1666666666667 | 3.991086573319586 |
DRESDEN/Zhadu/9zpQ5w | 440.3023049593496 | 18039.766666666666 | 40.971320075946835 |
BASE/wargame01/_GZFZg | 455.67962655826557 | 1860.9666666666667 | 4.083936516368949 |
BASE/max_knights/2fq3Ag | 463.7490173913044 | 3193.8 | 6.8869148617626506 |
DRESDEN/max_knights/hCipiA | 474.83009385113263 | 3254.5333333333333 | 6.854100815172185 |
BASE/wargame03/klXI8w | 478.77787857142863 | 1559.9 | 3.258087037468001 |
BASE/solitaireChineseCheckers/-ET6gw | 540.8775999999999 | 7718.4 | 14.270141710435041 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 688.2077846728972 | 12253.433333333332 | 17.804845580404685 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 709.3256485920106 | 12016.066666666668 | 16.940127134156487 |
DRESDEN/hitori/S8Gsyg | 715.5802823529411 | 794.9333333333333 | 1.1108932888976017 |
BASE/hitori/S8Gsyg | 764.3136041666667 | 805.7333333333333 | 1.0541920606160435 |
DRESDEN/battlebrushes/QHXV4A | 844.7634909090909 | 309.06666666666666 | 0.36586177077097054 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 962.1104297592997 | 14644.433333333332 | 15.221156408206769 |
DRESDEN/Travelers-Dilemma/PvZwYw | 1632.1732699228792 | 42284.0 | 25.90656321800806 |
BASE/pancakes88/l2Xaig | 1750.9253357939615 | 44200.2665778074 | 25.24394711426383 |
BASE/gt_two_thirds_2p/1APDGg | 7192.798848750001 | 19034.233333333334 | 2.6462902318811814 |
DRESDEN/merrills/aYEzwA | Infinity | 2.0 | 0.0 |
BASE/merrills/pku8Tg | Infinity | 1.9993335554815062 | 0.0 |
Games with errors:
Game | FLUXPLAYER_PROLOG:1.1 error message | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message |
BASE/endgame/jYjfOA | Test process failed to output results for unknown reason | |
BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason | |
BASE/amazonsTorus/soxT8g | Test process failed to output results for unknown reason | |
BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason | |
BASE/nim4/twk16w | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason | |
BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason | |
DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason | |
BASE/alexChess/LNo83g | Test process failed to output results for unknown reason | |
BASE/nim1/hin2Qw | Test process failed to output results for unknown reason | |
BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason | |
DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason | |
DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
BASE/hex/T1MK8g | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason | |
DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason | |
DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason | |
DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason | |
BASE/minichess/8NQEiA | Test process failed to output results for unknown reason | |
BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason | |
DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason | |
BASE/nim3/1OwUqw | Test process failed to output results for unknown reason | |
BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason | |
DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason | |
DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | Test process timed out after 240 seconds |