Game-by-game performance:
Game | Perf ratio | FLUXPLAYER_PROLOG:1.1 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.0 | 0.0 | 26.681323073848308 |
BASE/colonelBlotto/jip21A | 0.0 | 0.0 | 0.3597592883307169 |
BASE/blobwars/0XT15Q | 0.0 | 0.0 | 0.13962970203021588 |
BASE/queens31lg/0gID-A | 0.0 | 0.0 | 1.0567333729608348 |
BASE/gt_attrition/kD_SCA | 0.0 | 0.0 | 0.24732578989674148 |
DRESDEN/crisscross/GsY16g | 0.0 | 0.0 | 0.05546773164711429 |
DRESDEN/blobwars/ZaMluQ | 0.0 | 0.0 | 0.13932621840777998 |
DRESDEN/ticblock/Z2yNWQ | 0.0 | 0.0 | 1211.5333333333333 |
DRESDEN/battlesnakes2011/93VtTw | 0.0 | 0.0 | 252.17478252174783 |
BASE/ad_game_2x2/D0aWqg | 0.0 | 0.0 | 0.02665529374133703 |
DRESDEN/battlesnakes1509/-qZrLw | 0.0 | 0.0 | 251.53333333333333 |
BASE/englishDraughts/jFkQxg | 0.0 | 0.0 | 88.70672131693826 |
BASE/queens08lg/Ru7eqQ | 0.0 | 0.0 | 42.070550614569804 |
BASE/ticblock/T21C1g | 0.0 | 0.0 | 1004.5666666666667 |
BASE/crisscross/ICagEg | 0.0 | 0.0 | 0.05563591854901524 |
BASE/blockerSerial/3eqDuw | 0.0068620045743647586 | 2.433333333333333 | 354.60969268715417 |
BASE/checkersTorusNoKings/pwb6oQ | 0.013014884393063584 | 0.3 | 23.050531294760333 |
DRESDEN/tttcc4/sAvtFg | 0.014387824137913226 | 0.4330446369087275 | 30.097993467102192 |
BASE/ttcc4/Le0qjQ | 0.014657121382938745 | 0.43333333333333335 | 29.564695686954202 |
BASE/tttcc4/8Bs2lg | 0.014789533560864617 | 0.433188937020993 | 29.290236587804067 |
BASE/checkersBarrelNoKings/rnKNeg | 0.015250692520775624 | 0.36666666666666664 | 24.04262404262404 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.01548148148148148 | 0.36666666666666664 | 23.68421052631579 |
BASE/copolymer_4_pie/IN5_jA | 0.025851201814058953 | 1.2666666666666666 | 48.9983667211093 |
DRESDEN/catch_me/ghGWrA | 0.04100344574395661 | 39.45351549483505 | 962.2 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.04251444580633865 | 40.46666666666667 | 951.8333333333334 |
DRESDEN/Thief_Police/CX18rA | 0.043079047290300314 | 41.6 | 965.6666666666666 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.0432346977351617 | 41.93333333333333 | 969.9 |
STANFORD/ttcc4/Cx9SGw | 0.05076656040026458 | 1.13295568143952 | 22.316967557124777 |
BASE/checkersTorus/2vm1EQ | 0.05518527449561933 | 1.0656010656010657 | 19.309518260811664 |
DRESDEN/golden_rectangle/1uloXw | 0.056107636363636366 | 3.6 | 64.16238917405506 |
BASE/ttcc4_2player/_aH_Mw | 0.05614022435897437 | 1.1666666666666667 | 20.781296832850433 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.058287100456621 | 1.1333333333333333 | 19.44398202097553 |
DRESDEN/towerworld/HCX34w | 0.11844265635207597 | 2.031978680879414 | 17.155801325826975 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.12643193845612358 | 4.463690872751499 | 35.3050892619238 |
BASE/skirmishHoles/AUCxCA | 0.12702974910394266 | 1.9666666666666666 | 15.481937739304145 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.1274442713107241 | 4.633333333333334 | 36.35575993868506 |
DRESDEN/breakthrough/z4hK7Q | 0.13051643192488263 | 4.633333333333334 | 35.5 |
BASE/ttcc4_2player_small/Cv72TA | 0.1328901862103674 | 8.8 | 66.22008931547023 |
BASE/strangeSkirmish/gc1zKA | 0.14142506674780864 | 1.8993668777074308 | 13.430199620088645 |
BASE/breakthroughSuicide/wZDpIg | 0.14590379632112835 | 4.631789403532156 | 31.74550299800133 |
BASE/breakthroughHoles/nZk0Sg | 0.14670981661272922 | 4.53182272575808 | 30.889703432189272 |
BASE/breakthroughWalls/vOZaYA | 0.14722458240219788 | 4.596935376415723 | 31.223966143490287 |
BASE/breakthrough/TGxk-g | 0.15067488919218708 | 4.765078307230923 | 31.624900026659557 |
DRESDEN/knightthrough/J7Fc_Q | 0.15877712031558186 | 5.361305361305361 | 33.76623376623377 |
BASE/golden_rectangle/_nYzfw | 0.2253615189873418 | 23.733333333333334 | 105.3122708791575 |
BASE/breakthroughSuicideSmall/XSbJog | 0.24085764420157865 | 22.033333333333335 | 91.47865498050454 |
BASE/breakthroughSmall/HJ0tIA | 0.2543077814367606 | 23.166666666666668 | 91.09696343455218 |
BASE/skirmishFinal3/-Olhfw | 0.26378710562414265 | 4.266666666666667 | 16.17465969980364 |
BASE/skirmishFinal2/gdB62Q | 0.29471160714285716 | 4.4 | 14.929849701736261 |
BASE/skirmishFinal1/ecWTnQ | 0.30088376008300954 | 4.3985338220593135 | 14.618714618714618 |
DRESDEN/skirmishfinal/hzq8ww | 0.3023331214240305 | 4.428904428904429 | 14.649087761353043 |
BASE/cittaceot/fDxhXg | 0.3065616442407215 | 69.1 | 225.40327956272498 |
BASE/sudokuGrade6E/ihYFZA | 0.30676243255601277 | 37.266666666666666 | 121.48380215971204 |
STANFORD/duidoku/3SoMaA | 0.3107621690039168 | 23.892035988004 | 76.88206085246776 |
BASE/sudokuGrade6H/ieE_9A | 0.3117961121562304 | 38.666666666666664 | 124.01266455590735 |
DRESDEN/stratego/Z2wovg | 0.3140658013884696 | 69.36666666666666 | 220.86666666666667 |
BASE/simultaneousWin2/PfjRjw | 0.3372379778051788 | 164.1 | 486.6 |
DRESDEN/capture_the_king/EQ229Q | 0.35098749790105177 | 5.091514143094842 | 14.506254990684056 |
STANFORD/sudoku/oJ1qyQ | 0.3772452262693157 | 45.56666666666667 | 120.78792120787921 |
BASE/sudokuGrade4/DTy07w | 0.3931707236842105 | 47.8 | 121.57568486302739 |
BASE/sudokuGrade3/eI8dvg | 0.4101774296094459 | 50.166666666666664 | 122.30479554770554 |
BASE/sudokuGrade5/BQfUQA | 0.4472849300322928 | 55.4 | 123.8584094393707 |
BASE/sudokuGrade2/u80Tfw | 0.44891112019623874 | 54.9 | 122.2959234692177 |
BASE/knightThrough/gcwFjA | 0.4507318369791958 | 5.198267244251916 | 11.532948901703277 |
BASE/skirmish/Y_psYQ | 0.4593501890554388 | 3.6987670776407864 | 8.052172755706396 |
BASE/sudokuGrade1/tDRNRw | 0.47544818373135694 | 57.733333333333334 | 121.42928569047699 |
BASE/blockerParallel/7-nDJA | 0.8510205677641355 | 362.73333333333335 | 426.23333333333335 |
DRESDEN/blockerparallel/dVQgSg | 0.8565413870950807 | 362.53333333333336 | 423.2525582480584 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.9015131086142322 | 5.333333333333333 | 5.915979792608349 |
DRESDEN/quad/JPe6fg | 0.9916378600823045 | 5.333333333333333 | 5.3783074931111186 |
BASE/coins_atomic/AA3SSw | 1.0171530589621816 | 2905.633333333333 | 2856.633333333333 |
BASE/quad/tw-Ufg | 1.0213159420289855 | 5.466666666666667 | 5.352571561554573 |
BASE/coins/QnGtnQ | 1.0247223722207874 | 2909.733333333333 | 2839.5333333333333 |
DRESDEN/coins/QwFP9w | 1.0304356987334067 | 2934.2 | 2847.5333333333333 |
BASE/blokbox_simple/JBx4bg | 1.192241129032258 | 4.9 | 4.1099068642073515 |
DRESDEN/logistics/fPru1Q | 1.3175573611917197 | 378.3333333333333 | 287.14752349843343 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.59164670165689 | 171.83333333333334 | 107.95946936870875 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.971958817313544 | 403.26557814061977 | 204.5 |
BASE/tictactoe_3d_small_6player/g_9lww | 2.031656448743607 | 406.03333333333336 | 199.8533431104593 |
DRESDEN/smallest/9kaGFw | 2.103024032586558 | 68.8 | 32.7147949495286 |
STANFORD/skirmish/w4V6Vw | 2.1206047819971876 | 5.063291139240507 | 2.3876637373569887 |
STANFORD/multiplesukoshi/vLSQPg | 2.127226223428313 | 261.23333333333335 | 122.80467890825474 |
STANFORD/selectivesukoshi/3xmXYg | 2.129488966725044 | 283.7 | 133.22445170321978 |
BASE/pearls/6k_mEQ | 2.3733397350755645 | 35260.86666666667 | 14857.066666666668 |
BASE/bunk_t/xbpfIA | 2.4584029831554584 | 3186.5 | 1296.1666666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 2.4885123860865104 | 3231.3333333333335 | 1298.5 |
DRESDEN/bunk_t/7-tPfA | 2.492363239648813 | 3198.366666666667 | 1283.2666666666667 |
BASE/doubletictactoe/HH1htg | 2.507761279120993 | 3225.733333333333 | 1286.3 |
BASE/doubletoetictac/fu35bg | 2.5647613497907504 | 3227.6666666666665 | 1258.4666666666667 |
DRESDEN/doubletoetictac/V89gKQ | 2.5995997620206612 | 3204.266666666667 | 1232.6 |
DRESDEN/quad_5x5/JAEP5g | 2.6555628415300543 | 5.333333333333333 | 2.008362690547526 |
BASE/quad_5x5/JAEP5g | 2.743082222222222 | 5.466666666666667 | 1.992892018467466 |
BASE/qyshinsu/R08Lzw | 2.8443023770038693 | 171.5 | 60.29598026798214 |
BASE/ticTacToeSerial/Amrwqw | 2.8723345333702577 | 1382.9333333333334 | 481.46666666666664 |
DRESDEN/tictactoeparallel/yk_DSg | 2.9603856633829384 | 3295.6 | 1113.2333333333333 |
BASE/conn4/va9Y7A | 2.991480509107625 | 1156.8666666666666 | 386.7204426519116 |
DRESDEN/quad_7x7/q-JOXg | 3.144871989860583 | 55.06666666666667 | 17.509986684420774 |
BASE/blocksWorldParallel/RseaAQ | 3.2178858033600832 | 1857.9 | 577.3666666666667 |
BASE/quad_7x7/q-JOXg | 3.241244618395303 | 55.2 | 17.03049491751375 |
BASE/tictactoe_3d_6player/d7KSwg | 3.2502166666666663 | 139.53333333333333 | 42.93047130191321 |
DRESDEN/chomp/-LcqYQ | 3.384413461635601 | 744.4333333333333 | 219.9593346888437 |
BASE/chomp/-LcqYQ | 3.408677401129944 | 764.2 | 224.19252691576946 |
STANFORD/madness/UO_B3A | 3.495734755081639 | 8.063978673775408 | 2.306805074971165 |
BASE/double_tictactoe_dengji/zgaSbA | 3.542268330295808 | 3368.9333333333334 | 951.0666666666667 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 3.6616751599767308 | 139.86666666666667 | 38.197453503099794 |
DRESDEN/lightsout/XgLpzQ | 3.701849721034161 | 3685.4381872709096 | 995.5666666666667 |
BASE/haystack/UkweGA | 3.713613221128524 | 52881.23333333333 | 14239.833333333334 |
DRESDEN/smallest_4player/ADDROA | 3.7820651000870327 | 144.8 | 38.28596181400153 |
DRESDEN/lightsout2/LFtfyQ | 3.796274141172449 | 3702.0 | 975.1666666666666 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 3.8605620340279105 | 3365.766666666667 | 871.8333333333334 |
BASE/smallest_4player/ADDROA | 3.9828626947754358 | 144.8 | 36.35575993868506 |
BASE/futoshiki6/JmvXNA | 4.029072807676262 | 536.4666666666667 | 133.1489134782029 |
DRESDEN/slidingpieces/s9_44g | 4.181724315952504 | 1080.0 | 258.26666666666665 |
BASE/hidato37/pBrqxw | 4.241684625078766 | 74.63333333333334 | 17.595210377515382 |
BASE/checkers-mustjump-torus/uSApKQ | 4.295657575757576 | 6.266666666666667 | 1.458837571698551 |
BASE/slidingpieces/uFJWEw | 4.325531067961165 | 1098.9 | 254.0497300179988 |
DRESDEN/latenttictactoe/kITHKg | 4.406337625568289 | 5395.266666666666 | 1224.4333333333334 |
BASE/hidato19/rRHSmA | 4.483660604591012 | 616.3333333333334 | 137.46208459718008 |
DRESDEN/javastrike/whONTQ | 4.7744498777506115 | 520.7333333333333 | 109.06666666666666 |
BASE/futoshiki5/TJ4BZg | 5.22473087267525 | 1014.3333333333334 | 194.14078122916945 |
DRESDEN/brain_teaser_extended/ZDp94A | 5.409078081924154 | 8306.0 | 1535.5666666666666 |
BASE/brain_teaser_extended/ZDp94A | 5.434806448075447 | 8260.0 | 1519.8333333333333 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 5.4857763719619586 | 2595.6 | 473.15089497016766 |
BASE/lightsOut/5P1ZBw | 5.614653046847482 | 3719.3333333333335 | 662.4333333333333 |
DRESDEN/grid_game2/kypTYQ | 5.67151954257602 | 2407.9666666666667 | 424.57169522031865 |
DRESDEN/CephalopodMicro/H3XQfg | 5.680853955901426 | 145.86666666666667 | 25.676890798281548 |
BASE/withConviction/3Xm54A | 5.816777086653009 | 3406.9666666666667 | 585.713809539682 |
BASE/factoringGeorgeForman/HGRorQ | 6.02889143942692 | 20310.933333333334 | 3368.9333333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 6.047739877478523 | 11122.6 | 1839.1333333333334 |
BASE/snake_2009_big/-oRfVw | 6.199340836940838 | 859.2 | 138.59538015399485 |
DRESDEN/snake_2009_big/DgC1NQ | 6.242281107333657 | 856.8 | 137.25751616558895 |
DRESDEN/sum15/CsgWKg | 6.299820728454621 | 14407.9 | 2287.0333333333333 |
DRESDEN/connect4/T0-rHQ | 6.388048402434386 | 1119.5 | 175.24914175249143 |
BASE/connect4/50bOyw | 6.398949891526288 | 1114.2333333333333 | 174.12752908236394 |
BASE/sum15/QZ07Kg | 6.617986849382413 | 14359.266666666666 | 2169.733333333333 |
BASE/ticTacToeParallel/ymRGPw | 6.764008837115887 | 3367.8 | 497.9 |
BASE/cephalopodMicro/9l2D3g | 6.967867510548523 | 146.63333333333333 | 21.044219499200853 |
DRESDEN/backgammon/mqCW0Q | 7.027335357624831 | 347.0 | 49.3786026055376 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.078741880341879 | 9.066666666666666 | 1.2808302407304017 |
DRESDEN/snake_2009/zIYLVw | 7.147111057692308 | 1189.2 | 166.38890740617293 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7.4101621621621625 | 9.066666666666666 | 1.2235449735449735 |
BASE/snake_2009/7l-qAQ | 7.412461576557986 | 1197.2 | 161.51179842687642 |
BASE/survival/YVIjJA | 7.450416302497815 | 53988.2 | 7246.333333333333 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 7.5449110050189745 | 684.6666666666666 | 90.74549271836571 |
DRESDEN/grid_game/U7_Yeg | 7.682788036233123 | 1498.2 | 195.00733235568592 |
DRESDEN/buttons/ADUaHw | 7.833613431040513 | 30608.8 | 3907.366666666667 |
BASE/buttons/hTcUjw | 7.870666802610114 | 30878.2 | 3923.2 |
BASE/eotcatcit/AfZSzA | 7.926360576839242 | 15151.766666666666 | 1911.5666666666666 |
DRESDEN/chickentoetictac/cxYaRQ | 7.962076790006964 | 11813.333333333334 | 1483.7 |
DRESDEN/eotcatcit/mQUxzA | 8.191290994844795 | 14936.0 | 1823.4 |
DRESDEN/sat_test_20v_91c/dK7nVw | 8.227300372623159 | 1668.1666666666667 | 202.75990800306656 |
DRESDEN/tictactoe/BTTzPw | 8.309392543785929 | 16478.633333333335 | 1983.1333333333334 |
BASE/chickentoetictac/l57rfQ | 8.395505091888095 | 11953.8 | 1423.8333333333333 |
DRESDEN/babel/WdSW4A | 8.656280717831233 | 755.4666666666667 | 87.27381785464361 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 8.906705539358601 | 4073.3333333333335 | 457.3333333333333 |
DRESDEN/tictactoex9/rFkD4w | 8.920314142970538 | 2122.6666666666665 | 237.95873470884302 |
BASE/tictactoex9/BI26ow | 8.96165233328634 | 2118.8333333333335 | 236.43333333333334 |
BASE/snakeAssemblit/UO4sdg | 9.02830080588458 | 1854.4666666666667 | 205.4059458738835 |
BASE/futoshiki4/BaCwSw | 9.034773862238621 | 3101.233333333333 | 343.25522482583915 |
STANFORD/multipletictactoe/_bkafQ | 9.154572622107969 | 1424.1666666666667 | 155.56888622275545 |
BASE/eotcitcit/V_9_bg | 9.16284545177441 | 8827.790736421193 | 963.4333333333333 |
BASE/lightsOnParallel/SC6enA | 9.294289422452952 | 13367.666666666666 | 1438.2666666666667 |
DRESDEN/tictictoe/LAUtwg | 9.301647172814729 | 8959.966666666667 | 963.2666666666667 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 9.642487719298245 | 36.4 | 3.7749594357429053 |
BASE/chickentictactoe/DSlZCA | 9.731367635918653 | 11133.333333333334 | 1144.0666666666666 |
BASE/onestep/xi53wA | 9.96052584844341 | 74782.3 | 7507.866666666667 |
STANFORD/sukoshi/4LYZZQ | 9.970818077490573 | 12163.733333333334 | 1219.9333333333334 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 10.039087507326089 | 7422.566666666667 | 739.3666666666667 |
DRESDEN/lightson2x2/gBHuig | 10.088085580211565 | 16911.666666666668 | 1676.4 |
DRESDEN/gt_prisoner/huCp4w | 10.216508393285372 | 2082.6666666666665 | 203.85307646156923 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 10.282617046423784 | 2812.7 | 273.53931273539314 |
BASE/blocksWorldSerial/Wyg96Q | 10.401560567132933 | 10931.0 | 1050.9 |
DRESDEN/tictactoe_3player/ESLQQQ | 10.452602419842709 | 2687.5333333333333 | 257.11619225384976 |
BASE/untwistycomplex2/EDPPAQ | 10.554897060573605 | 29564.266666666666 | 2801.0 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 10.70265466549296 | 1620.9333333333334 | 151.4515215145152 |
DRESDEN/pawn_whopping/4ogBkg | 10.718802918571523 | 7189.933333333333 | 670.7776407453085 |
DRESDEN/peg/Vo31eg | 10.740519612286002 | 3791.866666666667 | 353.0431304579695 |
BASE/tpeg/QNs7Lw | 10.833645330051748 | 3814.633333333333 | 352.1098593427105 |
BASE/duplicateStateSmall/bCPAXw | 11.002938072282284 | 25715.333333333332 | 2337.133333333333 |
BASE/duplicateStateMedium/U163eQ | 11.029125395152793 | 8722.2 | 790.8333333333334 |
DRESDEN/peg_bugfixed/u_B7MA | 11.056768140915183 | 3849.9666666666667 | 348.2 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 11.123698362147408 | 1629.6666666666667 | 146.50403252682796 |
BASE/switches/tPUoCg | 11.264025828097553 | 23724.666666666668 | 2106.233333333333 |
STANFORD/untwistycorridor/EDPPAQ | 11.29357304470128 | 30780.633333333335 | 2725.5 |
BASE/lightsOnSimul4/9FeASw | 11.312163848344607 | 4236.5 | 374.50836610892605 |
BASE/blocksWorld/SEdXLQ | 11.348424426285659 | 30923.7 | 2724.9333333333334 |
BASE/lightsOnSimultaneous/_VN6lw | 11.451702762298128 | 5822.233333333334 | 508.4163861204627 |
BASE/incredible/8Qh-6Q | 11.48614699685972 | 9631.9 | 838.5666666666667 |
DRESDEN/tpeg/h-Scbg | 11.494845360824744 | 3865.3333333333335 | 336.26666666666665 |
BASE/blocks/xIV5hQ | 11.540532178217822 | 31082.5 | 2693.3333333333335 |
DRESDEN/blocker/S815zQ | 11.594665948275864 | 14346.466666666667 | 1237.3333333333333 |
DRESDEN/blocks/vg0DRw | 11.625922429000921 | 31193.9 | 2683.133333333333 |
BASE/tictactoe2/bhrDoQ | 11.720290820448136 | 27565.733333333334 | 2351.9666666666667 |
BASE/coloredtrails/EZvr7g | 11.728950777202073 | 6036.5 | 514.6666666666666 |
DRESDEN/toetictac/mJtxCA | 11.89334622909019 | 18035.466666666667 | 1516.4333333333334 |
BASE/ticTacToeNoVars/XT03NA | 11.906855594915607 | 17142.3 | 1439.7 |
BASE/checkers-mustjump/T-8UuQ | 11.923347368421053 | 14.8 | 1.2412621676357223 |
DRESDEN/gt_chicken/CeuKtw | 12.06491137319815 | 1943.3333333333333 | 161.0731544742543 |
BASE/toetictac/mTThmg | 12.073689846730474 | 18039.3 | 1494.1 |
DRESDEN/circlesolitaire/ruUilQ | 12.083075642245483 | 20318.9 | 1681.6 |
BASE/circlesolitaire/azuQFQ | 12.318778792532127 | 20322.7 | 1649.7333333333333 |
BASE/numbertictactoe/rvJ-iQ | 12.452906976744186 | 9995.533333333333 | 802.6666666666666 |
DRESDEN/tictactoe-init1/3ltIBQ | 12.522837844220868 | 17674.733333333334 | 1411.4 |
BASE/ticTacHeavenFC/mrletw | 12.629941739492303 | 4046.633333333333 | 320.4 |
STANFORD/trifecta/ss1kyQ | 12.635476559044672 | 15236.7 | 1205.8666666666666 |
DRESDEN/troublemaker01/C-lPWw | 12.669968289636106 | 57136.066666666666 | 4509.566666666667 |
BASE/ticTacHeaven/18n58A | 12.67137205538572 | 4697.7 | 370.73333333333335 |
STANFORD/tictictoe/rpt_Dw | 12.675183525598246 | 8863.333333333334 | 699.2666666666667 |
BASE/lightsOn/MsXu3A | 12.727454150825212 | 29124.233333333334 | 2288.3 |
DRESDEN/catcha_mouse/cHv4dw | 12.77945252945253 | 4917.533333333334 | 384.8 |
BASE/troublemaker01/s3tlEQ | 12.83530453338176 | 56540.8 | 4405.1 |
BASE/ticTicToe/c1OobQ | 12.917600826769709 | 8915.728090636454 | 690.2 |
BASE/factoringEasyTurtleBrain/lUj94Q | 12.918061093793872 | 13439.520159946684 | 1040.3666666666666 |
STANFORD/tictactoe/ss1kyQ | 12.938215418562958 | 15635.833333333334 | 1208.5 |
DRESDEN/blocksworldparallel/2JfVaw | 13.060824185711715 | 12096.5 | 926.1666666666666 |
BASE/catcha_mouse/cHv4dw | 13.238053565815616 | 4960.133333333333 | 374.68751041631947 |
BASE/tictactoe_orthogonal/WRzlVw | 13.286454725066074 | 17260.433333333334 | 1299.1 |
BASE/blocker/dIWtxg | 13.330652454780362 | 13757.233333333334 | 1032.0 |
BASE/tictactoe_3player/GtM71g | 13.333346915826027 | 2687.2 | 201.5397946940408 |
BASE/tictactoe-init1/7M19vA | 13.366231527093596 | 18088.966666666667 | 1353.3333333333333 |
STANFORD/dualrainbow/G3OnRQ | 13.394312624524543 | 12325.0 | 920.1666666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 13.463561110209382 | 2764.9666666666667 | 205.36666666666667 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 13.467225530136842 | 17189.566666666666 | 1276.4 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 13.572533849129593 | 2806.8 | 206.8 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 13.594558908685968 | 406.7 | 29.916380717593363 |
STANFORD/duikoshi/tpw1sw | 13.685653887904932 | 7984.666666666667 | 583.4333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 13.703377386196768 | 2799.6 | 204.3 |
BASE/ticTacToe/JRFsaQ | 13.709494725152691 | 16460.533333333333 | 1200.6666666666667 |
BASE/gt_prisoner/klthDw | 13.925198392190643 | 2155.3333333333335 | 154.7793627516331 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 14.081994179425534 | 14838.666666666666 | 1053.7333333333333 |
STANFORD/tictactoe3/X7myng | 14.083054376762698 | 17809.9 | 1264.6333333333334 |
BASE/stateSpaceSmall/Q7osKA | 14.172046269636812 | 46760.666666666664 | 3299.5 |
DRESDEN/amazons/dNB28A | 14.258821818181818 | 78.4 | 5.498350494851545 |
BASE/nineBoardTicTacToePie/B8LzeQ | 14.270444680851064 | 3263.8 | 228.71046228710463 |
STANFORD/tictactoe7/-bE9-A | 14.308120296348356 | 16286.933333333332 | 1138.3 |
STANFORD/tictactoe5/WFRReg | 14.381966938456383 | 17168.233333333334 | 1193.7333333333333 |
DRESDEN/statespacesmall/h-NqjA | 14.519020731154432 | 46970.0 | 3235.0666666666666 |
DRESDEN/cubicup_3player/awDtsQ | 14.638235540474442 | 2660.1666666666665 | 181.72727575747476 |
BASE/duplicateStateLarge/dcjyuw | 14.653716216216218 | 4048.3333333333335 | 276.26666666666665 |
DRESDEN/troublemaker02/iZLVuA | 14.674860434204698 | 55201.933333333334 | 3761.6666666666665 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 14.806250845410629 | 408.3666666666667 | 27.58069351453982 |
BASE/troublemaker02/DI83KA | 15.014277378651398 | 54894.2 | 3656.133333333333 |
BASE/mineClearingSmall/frsbvw | 15.045923774748458 | 1029.7666666666667 | 68.44157142381127 |
DRESDEN/statespacelarge/8-y5HQ | 15.081897796169763 | 20895.466666666667 | 1385.4666666666667 |
DRESDEN/mummymaze2p/k-8edg | 15.195851754385965 | 230.8 | 15.188355594044566 |
BASE/stateSpaceMedium/3bUoIw | 15.224237152034261 | 30334.8 | 1992.5333333333333 |
BASE/mummymaze2p/vpjDdA | 15.248044052863436 | 230.6 | 15.123251165889407 |
BASE/gt_chicken/gmepTQ | 15.280248223262264 | 1958.6666666666667 | 128.18290894547394 |
BASE/cubicup_3player/e2yA_g | 15.448592139399805 | 2659.4666666666667 | 172.14945172149453 |
BASE/stateSpaceLarge/0Ge_CQ | 15.511128484522734 | 21162.866666666665 | 1364.3666666666666 |
DRESDEN/statespacemedium/dVJZ_w | 15.54186766871477 | 30606.6 | 1969.3 |
STANFORD/buttonsandlights/eyhJpA | 15.663952627683198 | 53610.4 | 3422.5333333333333 |
DRESDEN/bidding-tictactoe/yW5vTA | 15.815529326223947 | 2174.8 | 137.51041493084486 |
DRESDEN/tictactoelargesuicide/6J4DeA | 16.334308999081728 | 18973.933333333334 | 1161.6 |
BASE/firefighter/WJmoPw | 16.55386451805431 | 16641.6 | 1005.3 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 16.56356862745098 | 9.133333333333333 | 0.5514109633473889 |
BASE/breakthroughSmallHoles/bxclRw | 16.65091060043166 | 5228.766666666666 | 314.0228659044698 |
DRESDEN/tictactoelarge/IwXcbg | 16.72191232732689 | 19085.833333333332 | 1141.3666666666666 |
STANFORD/triplesukoshi/Iu9mbA | 16.751675 | 5205.9 | 310.7689231076892 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 16.828964705882353 | 9.2 | 0.5466765282824709 |
DRESDEN/firefighter/WJmoPw | 16.86346716298857 | 16912.933333333334 | 1002.9333333333333 |
BASE/hodgepodge/9yjRkw | 16.958206458089343 | 16893.2 | 996.1666666666666 |
BASE/biddingTicTacToe/8mESVw | 17.131680010548525 | 2165.3 | 126.39157389507366 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 17.163815071659734 | 2887.3333333333335 | 168.22211852543163 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 17.272766449157153 | 2823.3333333333335 | 163.45576961535897 |
DRESDEN/cube_2x2x2/fp-34Q | 17.437163985679536 | 7089.133333333333 | 406.55311489617014 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 17.85438658917487 | 30106.066666666666 | 1686.2 |
DRESDEN/aipsrovers01/qS47Mw | 18.560094931344295 | 7299.066666666667 | 393.26666666666665 |
BASE/aipsrovers01/4C4jsw | 18.676532988083306 | 7452.933333333333 | 399.05336488783706 |
STANFORD/jointbuttonsandlights/qAKuIQ | 18.88061953369952 | 26696.566666666666 | 1413.9666666666667 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 19.14207633252906 | 2908.6666666666665 | 151.9514715195147 |
BASE/cubicup/4wNWJA | 19.14519319566186 | 4295.4 | 224.35918802706576 |
DRESDEN/cubicup/SBn_lw | 19.53634197199881 | 4372.233333333334 | 223.8 |
DRESDEN/8puzzle/8fKC2w | 20.284313725490197 | 16552.0 | 816.0 |
DRESDEN/hallway/0H4l-Q | 20.36081037318153 | 357.26666666666665 | 17.546780315642273 |
BASE/hallway/ckCJOw | 20.511581035598706 | 352.03333333333336 | 17.162662045522712 |
STANFORD/nineboardtictactoe/y28P-A | 21.21796259081775 | 4575.3 | 215.63333333333333 |
BASE/nineBoardTicTacToe/wRmqqA | 21.27180783817952 | 4486.933333333333 | 210.93333333333334 |
STANFORD/breakthrough/d5j0cQ | 21.41198281195079 | 4060.733333333333 | 189.64770189647703 |
BASE/gt_staghunt/xPjLRA | 21.570135479543932 | 3216.0 | 149.09503016566114 |
DRESDEN/mimikry/GJEhwA | 21.610763733809737 | 3225.766666666667 | 149.26666666666668 |
DRESDEN/point_grab/r5DPmQ | 22.33054942876261 | 30035.333333333332 | 1345.0333333333333 |
BASE/gt_coordination/IVMOzA | 22.37682108364708 | 4556.666666666667 | 203.63333333333333 |
DRESDEN/gt_ultimatum/pAiiQw | 22.389329479768787 | 516.0 | 23.046692866182642 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 22.611557788944726 | 5999.6 | 265.3333333333333 |
BASE/tictactoe_3d_small_2player/oOryKA | 22.665833027522932 | 6011.133333333333 | 265.20681265206815 |
STANFORD/dualhunter/1rPZjQ | 24.11798074348476 | 8246.466666666667 | 341.9219359354688 |
BASE/gt_ultimatum/GE-uOA | 24.126082374455724 | 503.8320559813396 | 20.883293365307754 |
BASE/maze/cCX3qQ | 24.131896599239376 | 43782.5 | 1814.3 |
DRESDEN/othello-cornercontrol/r5Gdlg | 26.24 | 14.166666666666666 | 0.5398882113821138 |
BASE/asteroidsSerial/id2QkA | 26.514066234347048 | 7904.2 | 298.1134591027265 |
STANFORD/hunter/14dD-g | 26.988699465456364 | 12353.215594801733 | 457.7180760641312 |
DRESDEN/chinesecheckers1/Y-ftaA | 27.30554106764554 | 5123.258913695435 | 187.62707909736343 |
BASE/pawnWhopping/Ypc_6Q | 27.408814400993172 | 7359.266666666666 | 268.5 |
BASE/ticTacToeLargeSuicide/727_8g | 27.460648259303724 | 19062.266666666666 | 694.1666666666666 |
BASE/ticTacToeLarge/TZC0dg | 27.550572898675878 | 19141.5 | 694.7768407719743 |
DRESDEN/oisters_farm/pTQMLg | 28.120438522935498 | 30181.666666666668 | 1073.3 |
BASE/connectFourLarger/qKi60A | 28.726391810490696 | 2829.266666666667 | 98.4901509849015 |
BASE/connectFourSimultaneous/7ITr3g | 28.80800464037123 | 6622.0 | 229.86666666666667 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 29.138285714285715 | 6.4 | 0.21964229683087544 |
STANFORD/3puzzle/41ibjA | 30.326818456578682 | 30102.4 | 992.6 |
BASE/tron_10x10/7ZTgDg | 30.797793623032423 | 7630.666666666667 | 247.76666666666668 |
STANFORD/threepuzzle/41ibjA | 30.936797657154532 | 30283.0 | 978.8666666666667 |
DRESDEN/connectfour/5tc-Mg | 31.046186658821796 | 14071.166666666666 | 453.23333333333335 |
STANFORD/bestbuttonsandlights/nm0wEA | 31.215134136065885 | 38281.2 | 1226.3666666666666 |
STANFORD/rainbow/_4qNSQ | 31.53570950020099 | 47070.2 | 1492.6 |
BASE/pacman2p/4LEdQg | 31.88307036466358 | 688.9333333333333 | 21.608123855501916 |
STANFORD/multiplebuttonsandlights/cK70Yg | 32.15485890033994 | 39728.4 | 1235.5333333333333 |
DRESDEN/Runners/3bOCQw | 32.506340095251566 | 7659.066666666667 | 235.6176254916339 |
BASE/beatMania/qUHwvQ | 33.126018839590444 | 16176.0 | 488.3170560981301 |
BASE/eightPuzzle/vLrgFg | 33.152150124884976 | 16812.0 | 507.1164294523516 |
STANFORD/8puzzle/jNiGtw | 33.180389271620626 | 16536.0 | 498.3666666666667 |
STANFORD/eightpuzzle/W_aWbA | 33.25436066474386 | 16141.666666666666 | 485.4 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 33.3989930265744 | 41349.066666666666 | 1238.0333333333333 |
BASE/god/qF06gw | 34.741518654434245 | 125.36666666666666 | 3.608554591802953 |
BASE/dualConnect4/WbCQkg | 35.33279212834718 | 6801.833333333333 | 192.50766564458073 |
BASE/connectFourLarge/aU644A | 35.467036676163346 | 8298.733333333334 | 233.98440103993067 |
DRESDEN/frogs_and_toads/GjchhQ | 35.67485518564187 | 2892.266666666667 | 81.07297567477508 |
BASE/snakeParallel/RCVNtw | 35.885302154158985 | 18824.233333333334 | 524.5666666666667 |
BASE/checkers/rOC3Xg | 36.208504347826086 | 27.4 | 0.7567283016384813 |
BASE/rubiksCube/9tNO9Q | 36.727779992028694 | 3071.6666666666665 | 83.63333333333334 |
DRESDEN/god/2EDD5w | 37.20170588235294 | 126.23333333333333 | 3.3932135728542914 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 37.23481856103954 | 33621.8 | 902.9666666666667 |
BASE/3pConnectFour/PqXOFQ | 37.899719399249065 | 7065.3 | 186.4209052729818 |
BASE/connectFour_9x6/B9TtMw | 38.135581523121196 | 12663.133333333333 | 332.0555981467284 |
BASE/connectFour/WAIKTw | 38.28466556303779 | 13644.2 | 356.3881203959868 |
DRESDEN/4pttc/9pB9AQ | 38.77907322052109 | 3207.4666666666667 | 82.71127699280191 |
STANFORD/connectfour/VMpZkQ | 38.956059204440336 | 14037.166666666666 | 360.3333333333333 |
BASE/gt_dollar/TGjqRw | 38.97513016226053 | 25701.5 | 659.4333333333333 |
BASE/point_grab/V_osUg | 39.620545632275835 | 29723.333333333332 | 750.2 |
BASE/snake2p/I3wWPQ | 40.643759079226726 | 12124.033333333333 | 298.3 |
BASE/colonelBlottoVariant/X-n-KQ | 43.99142857142857 | 20.0 | 0.45463401961421057 |
BASE/escortLatch/mX9BjQ | 47.22584942845881 | 3993.3333333333335 | 84.55821084558211 |
BASE/pegEuro/5awwhg | 47.23262745779543 | 3170.5666666666666 | 67.12662067126621 |
STANFORD/pentago/ZxzLmg | 49.402146215696554 | 6278.566666666667 | 127.0909696767744 |
BASE/colonelBlottoVariant2/jruwGw | 49.54392857142857 | 21.666666666666668 | 0.43732233780026863 |
BASE/asteroidsParallel/WauZiA | 50.66116116116117 | 13496.133333333333 | 266.4 |
BASE/zhadu/DlA8iQ | 54.288011695906434 | 1237.7666666666667 | 22.8 |
DRESDEN/connectfoursuicide/M9CNQg | 54.35036366640578 | 13887.866666666667 | 255.524815839472 |
BASE/tictactoe_3d_2player/IUC1rQ | 54.53211529221529 | 2622.0333333333333 | 48.08236979774083 |
DRESDEN/pentago_2008/hLjVpQ | 55.5917599052752 | 7563.933333333333 | 136.06213126229125 |
BASE/asteroids/BKCmPQ | 56.29593340209224 | 25472.033333333333 | 452.46666666666664 |
BASE/peg/fJHVWw | 56.45124107676969 | 3773.7 | 66.84884030925086 |
BASE/kalaha5x2x3/WviNsw | 57.51555882352942 | 944.7 | 16.42512077294686 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 58.89783540297054 | 2685.4666666666667 | 45.59533721898418 |
BASE/gt_centipede/9fRMpw | 61.39129229062674 | 29516.933333333334 | 480.8 |
BASE/pentagoSuicide/SBgNhw | 61.5908196388057 | 7540.266666666666 | 122.42517165522298 |
BASE/pentago/86NgKw | 61.77566505835861 | 7467.433333333333 | 120.8798533577737 |
DRESDEN/checkers-mustjump/HUr33w | 63.11931428571429 | 14.4 | 0.2281393605579637 |
BASE/pawnToQueen/-O1_JA | 65.88616581196581 | 84.46666666666667 | 1.282009138424115 |
BASE/checkersSmall/SYmq8w | 66.60286111111111 | 51.333333333333336 | 0.77073766016892 |
DRESDEN/pawntoqueen/f_x6Aw | 68.90397368421051 | 86.6 | 1.2568215644121052 |
DRESDEN/pacman3p/rBnk8Q | 69.07254441147379 | 1549.8666666666666 | 22.438244889806246 |
BASE/hexPie/48CH6Q | 69.47689714942528 | 1678.6333333333334 | 24.161029093211585 |
DRESDEN/3pttc/uwYBZw | 70.21030480798306 | 15478.0 | 220.45196986867543 |
BASE/pacman3p/wW7UVQ | 71.41812319062181 | 1556.0333333333333 | 21.787653662924342 |
DRESDEN/knightwar/7hhAqg | 71.69753843968532 | 10935.9 | 152.5282490583647 |
DRESDEN/knightstour/cGISAA | 73.28161098969714 | 39120.166666666664 | 533.8333333333334 |
BASE/checkers-newgoals/0XkFiA | 74.24514285714285 | 32.8 | 0.4417797412432944 |
DRESDEN/3pffa/0YrmQw | 74.57116075613185 | 15911.0 | 213.36666666666667 |
DRESDEN/ghostmaze2p/HY0UwA | 75.02315032679739 | 2421.633333333333 | 32.278481012658226 |
BASE/mummyMaze2p_2007/YGA3Vw | 75.28894041331802 | 2185.233333333333 | 29.02462594554967 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 76.81742797202797 | 2196.1 | 28.58856457417033 |
BASE/ghostMaze2p/W-NU-w | 78.19570336956522 | 2395.366666666667 | 30.632970399227517 |
BASE/nonogram_10x10_1/0Xc62g | 78.53447156048014 | 944.4333333333333 | 12.025717045870948 |
BASE/connectFourSuicide/c8p9Kw | 82.13566104894048 | 14192.569143618794 | 172.7942401919936 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 84.34426740134028 | 18877.8 | 223.8184121058596 |
BASE/cylinder-checkers/hlldmw | 88.35399999999998 | 25.2 | 0.2852162890191729 |
BASE/knightazons/apnJBQ | 88.61452535087719 | 1121.3666666666666 | 12.654434047087815 |
DRESDEN/knightazons/02I8BQ | 90.13203191489362 | 1127.4 | 12.508316699933467 |
DRESDEN/cylinder-checkers/clOO3Q | 91.17055555555557 | 25.266666666666666 | 0.27713625866050806 |
BASE/ruleDepthLinear/OUBJpQ | 91.61849221083219 | 75670.76666666666 | 825.9333333333333 |
DRESDEN/Goldrush/VeWczQ | 93.7153331475584 | 3922.633333333333 | 41.856900056653444 |
DRESDEN/merrills/aYEzwA | 101.88000000000001 | 2.0 | 0.01963093835885355 |
DRESDEN/bomberman2p/x4h6jQ | 104.82966396292005 | 3015.6 | 28.766666666666666 |
BASE/bomberman2p/4CClwA | 106.76932476635514 | 3042.8333333333335 | 28.49913437208683 |
BASE/merrills/pku8Tg | 112.81639453515496 | 1.9993335554815062 | 0.017722012511740833 |
DRESDEN/checkers-newgoals/IJOqXQ | 115.85446666666667 | 31.8 | 0.274482295891915 |
BASE/queens06ug/7Lq3tw | 116.62298748323649 | 8693.0 | 74.53933557695511 |
STANFORD/knightstourmedium/x1wu8Q | 122.38842659076145 | 39770.833333333336 | 324.95583480550647 |
BASE/roshambo2/KNPokQ | 125.0126640290317 | 39231.833333333336 | 313.8228725709143 |
DRESDEN/roshambo2/jgSlkQ | 126.15734838087069 | 39215.5 | 310.84594360375974 |
BASE/shmup/ssTNlg | 129.19330453563714 | 19938.833333333332 | 154.33333333333334 |
STANFORD/knightstour/cEwgNA | 139.21445461731943 | 38740.8 | 278.2814479034731 |
BASE/knightsTour/mvtVIg | 140.95019738169592 | 39114.46666666667 | 277.5055827750558 |
BASE/queens08ug/kJ_ZFQ | 143.05120059079408 | 5291.836054648451 | 36.99260147970406 |
BASE/nonogram_5x5_1/qLKEZw | 150.62161904761905 | 7307.733333333334 | 48.51716094635122 |
BASE/battlebrushes/arCwyA | 159.68131721611724 | 483.8666666666667 | 3.0302021244713795 |
BASE/checkersTiny/Lr48cg | 161.77169444444442 | 127.33333333333333 | 0.7871175100849431 |
BASE/kalaha6x2x4/XS81Mg | 166.98618695652175 | 763.1 | 4.569839062189549 |
DRESDEN/racer/vk_ZBA | 185.92000000000002 | 14.933333333333334 | 0.08032128514056225 |
BASE/queens12ug/u6Bkmg | 189.9525806788512 | 2422.8 | 12.754762221926201 |
BASE/racer/QQYQNw | 192.5352 | 15.3 | 0.07946598855689765 |
BASE/othelloHoles/c0qAzw | 193.47158333333334 | 368.1666666666667 | 1.9029495718363463 |
STANFORD/pilgrimage/ObRZnQ | 204.39221257668711 | 8880.4 | 43.44783926964982 |
BASE/chess_200/XsTpYA | 207.98934545454546 | 680.4 | 3.2713214155899943 |
BASE/amazons_8x8/7SOsIw | 212.73826584507043 | 2008.9 | 9.44305901911887 |
BASE/4pttc/AL1k2Q | 216.24344877288965 | 3094.4351882705764 | 14.309960398016573 |
BASE/queens16ug/gT-ylw | 217.634508970783 | 1428.323892035988 | 6.562947662990972 |
BASE/othello-comp2007/86ZoMw | 217.6733888888889 | 477.76666666666665 | 2.1948786165613567 |
BASE/4pffa/Q3ADlg | 223.29415246168455 | 12097.3008997001 | 54.17652350648053 |
BASE/chineseCheckers1/gqtwHw | 227.0408561270802 | 30011.8 | 132.1867813218678 |
BASE/reversiSuicide/9OxJlg | 227.11218850574713 | 437.56666666666666 | 1.9266542652139251 |
BASE/reversi/d8UMeA | 243.8055309090909 | 438.7 | 1.7993849375122686 |
BASE/3pffa/pR0dzA | 245.46886173559562 | 15277.90736421193 | 62.239696131676276 |
STANFORD/freeforall/Lfp40Q | 249.13306451612902 | 20588.13728757081 | 82.63912029323559 |
BASE/othelloSuicide/B442jg | 256.38734523809524 | 476.3666666666667 | 1.8579960185799602 |
BASE/dotsAndBoxes/EHwA_w | 256.6225793650794 | 7537.166666666667 | 29.37062937062937 |
BASE/dotsAndBoxesSuicide/jzQbLw | 258.30739438116933 | 7555.766666666666 | 29.251066098081022 |
BASE/2pffa/6oHijA | 272.6354022673868 | 19291.569476841054 | 70.7595907075959 |
DRESDEN/snake_2008/E56l3A | 296.79803594771244 | 1510.9 | 5.090667110297788 |
BASE/snake_2008/i6K26g | 297.09829063180825 | 1513.1333333333334 | 5.0930395126660235 |
BASE/snake_2008_tweaked/bX0NJQ | 297.96844736842104 | 1501.2 | 5.038117335101094 |
BASE/2pffa_zerosum/o0_uZA | 304.5902257142356 | 19285.57147617461 | 63.31644894694748 |
BASE/knightsTourLarge/M8jgLA | 330.9137915674507 | 35367.6107964012 | 106.87862427514497 |
BASE/connect5/d-BVQg | 339.47521396160556 | 2160.5333333333333 | 6.364333077871447 |
BASE/amazonsSuicide_10x10/XIbQkg | 347.6713144444445 | 1385.4666666666667 | 3.9849898714840766 |
DRESDEN/connect5/1kYzSg | 357.60520773480664 | 2132.6 | 5.963559685018615 |
BASE/knightwar/DVGY4Q | 358.25053040614705 | 10873.8 | 30.352502165656027 |
BASE/amazons_10x10/Bun8dA | 373.9002781710915 | 1399.6333333333334 | 3.7433332229105245 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 394.0654954478708 | 29810.666666666668 | 75.64901522977972 |
BASE/kitten_escapes_from_fire/uW-YiA | 397.70360996884733 | 29779.066666666666 | 74.8775367389783 |
BASE/chineseCheckers2/eCMR3Q | 412.1001805323925 | 42818.1 | 103.90216268452798 |
BASE/chineseCheckers4/avfBcQ | 420.6798681913474 | 24522.366666666665 | 58.29222770297294 |
DRESDEN/small_dominion/yB5GJA | 429.94146395645896 | 171.10963012329225 | 0.39798355001326613 |
BASE/racer4/0vs7Ww | 435.4437333333333 | 120.8 | 0.27741816164231553 |
DRESDEN/crossers3/xiPTxg | 443.8265714285714 | 1442.3333333333333 | 3.2497678737233056 |
BASE/crossers3/O0rORg | 444.9528581632653 | 1444.7 | 3.246860815690952 |
STANFORD/knightstourbig/TQUI2g | 458.1589702800755 | 35077.36666666667 | 76.56156256249584 |
DRESDEN/quartosuicide/WIU1oQ | 463.45184371584696 | 1880.0666666666666 | 4.056660238079404 |
BASE/wargame02/BkVqqQ | 471.3431565656566 | 1033.1666666666667 | 2.191962803055463 |
BASE/quartoSuicide/-23jUg | 472.32514 | 1880.4 | 3.9811558622520073 |
DRESDEN/quarto/OQzRYQ | 473.4407741046832 | 1896.3333333333333 | 4.0054288457082325 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 473.4693890740741 | 2823.9666666666667 | 5.964412339706418 |
BASE/knightfight/SJRkAg | 479.0652912568306 | 5831.766666666666 | 12.173218918379565 |
BASE/chineseCheckers3/-1rZdQ | 479.07359170049614 | 35394.1 | 73.88029858704346 |
DRESDEN/knightfight/4_Ly4w | 484.5413505968779 | 5855.533333333334 | 12.084692722551434 |
BASE/chineseCheckers6/rREH3A | 484.75272222222225 | 21518.0 | 44.38964241676942 |
BASE/quarto/EwBMVQ | 491.884391954023 | 1886.7333333333333 | 3.8357251504530123 |
DRESDEN/battle/8oAvhQ | 506.2751724137931 | 479.3333333333333 | 0.9467841984982044 |
BASE/four_way_battle/xSOQXA | 516.49676 | 857.0 | 1.659255326209597 |
BASE/battle/8oAvhQ | 520.3389642857143 | 483.6666666666667 | 0.9295222919363941 |
DRESDEN/four_way_battle/xSOQXA | 520.4206933333332 | 858.6666666666666 | 1.649947201689546 |
BASE/speedChess/bPnisA | 562.1560350877193 | 2842.6666666666665 | 5.0567217804983535 |
BASE/choicethroughalt/tt71Lg | 568.0037030344204 | 13921.566666666668 | 24.509640680675346 |
BASE/2pttc/unkkYA | 648.105542525482 | 20137.28757080973 | 31.071000399627014 |
BASE/skirmishNew/sibw2g | 668.8437008032129 | 3683.133333333333 | 5.506717531929009 |
BASE/3pttc/0sol9g | 690.1161708074534 | 14814.0 | 21.465951134962168 |
DRESDEN/Zhadu/9zpQ5w | 703.9496984828783 | 18039.766666666666 | 25.626499600106637 |
BASE/amazonsTorus_10x10/Uxc08g | 718.0718992753623 | 1100.5666666666666 | 1.532669176690101 |
BASE/wargame03/klXI8w | 771.2043311475411 | 1559.9 | 2.022680549108031 |
BASE/wargame01/_GZFZg | 840.8791771144279 | 1860.9666666666667 | 2.213120169122019 |
DRESDEN/guess/PhxGhg | 876.2071428571429 | 2239.6 | 2.5560165975103732 |
BASE/guess/SPpk1A | 884.915972368421 | 2232.633333333333 | 2.5229890781130697 |
DRESDEN/fizzbuzz/t1xHzQ | 948.0906666666666 | 6136.0 | 6.471954862263525 |
STANFORD/platformjumpers/HEQskA | 1023.7338465838508 | 5468.7 | 5.3419157901722025 |
DRESDEN/hanoi/RQ0jiA | 1053.0492160186625 | 22554.566666666666 | 21.418340494986843 |
BASE/hanoi/iGLsJg | 1057.8088054082164 | 22584.533333333333 | 21.35029810478633 |
DRESDEN/checkers/jIDMIg | 1130.2045333333333 | 32.266666666666666 | 0.028549404744911067 |
DRESDEN/battlebrushes/QHXV4A | 1744.8358666666666 | 309.06666666666666 | 0.1771322292091046 |
DRESDEN/knightmove/97Ipcw | 1974.3811842105265 | 4982.5 | 2.5235755080355955 |
BASE/knightmove/jBaJEw | 2013.9181066666665 | 5004.766666666666 | 2.485089463220676 |
DRESDEN/chinesecheckers4/-oVNYg | 2580.1424307839416 | 1922.8590469843386 | 0.7452530620180157 |
DRESDEN/hitori/S8Gsyg | 2693.322459259259 | 794.9333333333333 | 0.2951497064900141 |
BASE/hitori/S8Gsyg | 2783.1819851851856 | 805.7333333333333 | 0.28950077200205865 |
BASE/max_knights/2fq3Ag | 2881.5590823529415 | 3193.8 | 1.1083583257269527 |
DRESDEN/max_knights/hCipiA | 3119.6736083333335 | 3254.5333333333333 | 1.04322879311469 |
DRESDEN/pancakes88/aD3E7g | 4358.269400651466 | 44495.8 | 10.209511140671767 |
DRESDEN/pancakes/hl9aiQ | 4868.385773954984 | 50333.03333333333 | 10.33875203616901 |
DRESDEN/pancakes6/SZXMyQ | 4945.863175163398 | 50427.63333333333 | 10.195921631347462 |
BASE/pancakes/yUgbXw | 5283.824095340502 | 48999.1 | 9.273416206873629 |
BASE/pancakes6/QZTdnw | 5518.255669333334 | 50577.26666666667 | 9.165444607385682 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 7413.200111111112 | 2905.3333333333335 | 0.3919135177504164 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 7651.872 | 2934.0 | 0.3834355828220859 |
DRESDEN/chinesecheckers3/QsCb2A | 7685.029333333333 | 2940.7 | 0.3826530612244898 |
BASE/skirmishZeroSum/zh4hcw | 8048.917714285714 | 3710.4 | 0.4609812314784327 |
DRESDEN/satlike_20v_91c/yeuENQ | 8370.094909090909 | 2938.0 | 0.3510115514710575 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 9050.361866666666 | 2859.3333333333335 | 0.3159358018450651 |
DRESDEN/hanoi_6_disks/MeubgQ | 9405.340755555557 | 18805.666666666668 | 1.999466808850973 |
BASE/hanoi_6_disks/MeubgQ | 10057.908004678362 | 18937.066666666666 | 1.8828037259694788 |
BASE/kalaha_2009/dRiN3g | 14647.6802 | 648.4 | 0.04426639516610965 |
DRESDEN/kalaha_2009/gcC8uA | 15038.248749999999 | 659.5 | 0.04385484047801776 |
BASE/gt_tinfoil/Q8DyKg | 17872.406133333334 | 8777.333333333334 | 0.4911108928396032 |
BASE/pancakes88/l2Xaig | 39022.33534900132 | 44200.2665778074 | 1.1326914748309291 |
DRESDEN/hanoi7/51zz5Q | 67098.2561925926 | 18914.533333333333 | 0.28189306856265856 |
DRESDEN/hanoi7_bugfix/3gdnFw | 67492.43254470732 | 19035.188270576473 | 0.2820344081978001 |
BASE/hanoi7_bugfix/3gdnFw | 69046.3026074074 | 18978.033333333333 | 0.2748595162472514 |
BASE/solitaireChineseCheckers/-ET6gw | 120511.2384 | 7718.4 | 0.06404713869407884 |
DRESDEN/Travelers-Dilemma/PvZwYw | 155830.63466666668 | 42284.0 | 0.27134587554269174 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 159505.2742888889 | 12016.066666666668 | 0.07533335007407779 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 170653.5660333333 | 12253.433333333332 | 0.07180297264306743 |
BASE/twisty-passages/DiZmmg | 217722.5568 | 11462.4 | 0.052646818815973044 |
DRESDEN/twisty-passages/j7NPyg | 220124.19493333332 | 11356.266666666666 | 0.051590270075063845 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 256680.30525 | 14644.433333333332 | 0.057053202110968475 |
DRESDEN/chinesecheckers6/yTbPDA | Infinity | 1333.9 | 0.0 |
BASE/amazonsSuicide/dE1QEQ | Infinity | 8.133333333333333 | 0.0 |
DRESDEN/farmers/S_ASnw | Infinity | 59.333333333333336 | 0.0 |
BASE/gt_two_thirds_2p/1APDGg | Infinity | 19034.233333333334 | 0.0 |
BASE/amazons/RKKZjw | Infinity | 8.1 | 0.0 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 1.0333333333333334 | 0.0 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 955.8 | 0.0 |
Games with errors:
Game | FLUXPLAYER_PROLOG:1.1 error message | REKKURA_GENERIC_FORWARD_PROVER: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 | |
BASE/ruleDepthExponential/UamhHQ | 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/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
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 | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds |