Game-by-game performance:
Game | Perf ratio | FLUXPLAYER_PROLOG:1.1 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
DRESDEN/battlesnakes1509/-qZrLw | 0.0 | 0.0 | 251.92493583547216 |
BASE/gt_attrition/kD_SCA | 0.0 | 0.0 | 0.2295458271847844 |
BASE/blobwars/0XT15Q | 0.0 | 0.0 | 0.1455138092604988 |
DRESDEN/battlesnakes2011/93VtTw | 0.0 | 0.0 | 256.95717380436594 |
DRESDEN/ticblock/Z2yNWQ | 0.0 | 0.0 | 1051.4666666666667 |
BASE/ad_game_2x2/D0aWqg | 0.0 | 0.0 | 0.029403981299067895 |
BASE/crisscross/ICagEg | 0.0 | 0.0 | 209.72634245525148 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.0 | 0.0 | 26.205380927011188 |
DRESDEN/crisscross/GsY16g | 0.0 | 0.0 | 207.75974134195528 |
DRESDEN/blobwars/ZaMluQ | 0.0 | 0.0 | 0.1415468236892764 |
BASE/ticblock/T21C1g | 0.0 | 0.0 | 1208.2666666666667 |
BASE/colonelBlotto/jip21A | 0.0 | 0.0 | 0.3650119458455004 |
BASE/englishDraughts/jFkQxg | 0.0 | 0.0 | 90.02433090024331 |
BASE/queens31lg/0gID-A | 0.0 | 0.0 | 1.0554785935747741 |
BASE/queens08lg/Ru7eqQ | 0.0 | 0.0 | 40.1 |
BASE/blockerSerial/3eqDuw | 0.006565557454207512 | 2.433333333333333 | 370.62097930068995 |
BASE/checkersTorusNoKings/pwb6oQ | 0.012748300283286117 | 0.3 | 23.532548915036166 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.015031830601092895 | 0.36666666666666664 | 24.392682195341397 |
BASE/checkersBarrelNoKings/rnKNeg | 0.015244598337950138 | 0.36666666666666664 | 24.052235325471383 |
DRESDEN/tttcc4/sAvtFg | 0.015486378171405794 | 0.4330446369087275 | 27.96293827489668 |
BASE/tttcc4/8Bs2lg | 0.015502897524424715 | 0.433188937020993 | 27.942449876773463 |
BASE/ttcc4/Le0qjQ | 0.01595357873210634 | 0.43333333333333335 | 27.162139643392766 |
BASE/copolymer_4_pie/IN5_jA | 0.02213457581052223 | 1.2666666666666666 | 57.225703239568055 |
DRESDEN/catch_me/ghGWrA | 0.042345728769813296 | 39.45351549483505 | 931.7 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.04280073332393174 | 40.46666666666667 | 945.4666666666667 |
DRESDEN/Thief_Police/CX18rA | 0.04414417601075307 | 41.6 | 942.3666666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.04462575381340901 | 41.93333333333333 | 939.6666666666666 |
STANFORD/ttcc4/Cx9SGw | 0.053029749313931236 | 1.13295568143952 | 21.364530213645303 |
BASE/checkersTorus/2vm1EQ | 0.05410404598221858 | 1.0656010656010657 | 19.695404405638683 |
DRESDEN/golden_rectangle/1uloXw | 0.056175351014040566 | 3.6 | 64.0850468224081 |
BASE/ttcc4_2player/_aH_Mw | 0.056696601941747575 | 1.1666666666666667 | 20.577364898611528 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.05914817391304347 | 1.1333333333333333 | 19.160918391149323 |
DRESDEN/towerworld/HCX34w | 0.11315746212481723 | 2.031978680879414 | 17.957089552238806 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.1261602120871083 | 4.463690872751499 | 35.381130063965884 |
BASE/skirmishHoles/AUCxCA | 0.1269959139784946 | 1.9666666666666666 | 15.486062543710661 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.12806516267648865 | 4.633333333333334 | 36.17949828430556 |
DRESDEN/breakthrough/z4hK7Q | 0.13036732271165263 | 4.633333333333334 | 35.54060355739124 |
BASE/strangeSkirmish/gc1zKA | 0.13261556225444232 | 1.8993668777074308 | 14.322352862805182 |
BASE/ttcc4_2player_small/Cv72TA | 0.13601236476043277 | 8.8 | 64.7 |
BASE/breakthroughHoles/nZk0Sg | 0.14408219858917085 | 4.53182272575808 | 31.453037017292505 |
BASE/breakthroughWalls/vOZaYA | 0.14510074251235244 | 4.596935376415723 | 31.680991405156906 |
BASE/breakthroughSuicide/wZDpIg | 0.14597434608631857 | 4.631789403532156 | 31.730160317301603 |
BASE/breakthrough/TGxk-g | 0.1504882879909291 | 4.765078307230923 | 31.664114004128653 |
DRESDEN/knightthrough/J7Fc_Q | 0.16012432012432015 | 5.361305361305361 | 33.482142857142854 |
BASE/golden_rectangle/_nYzfw | 0.23624667109046674 | 23.733333333333334 | 100.45996933537764 |
BASE/breakthroughSuicideSmall/XSbJog | 0.24640706920114303 | 22.033333333333335 | 89.41843026162306 |
BASE/breakthroughSmall/HJ0tIA | 0.2559421944035346 | 23.166666666666668 | 90.51523028727588 |
BASE/skirmishFinal3/-Olhfw | 0.2664227304227304 | 4.266666666666667 | 16.014649575495255 |
DRESDEN/skirmishfinal/hzq8ww | 0.29630258383042346 | 4.428904428904429 | 14.947235260827592 |
BASE/skirmishFinal2/gdB62Q | 0.3006933940774488 | 4.4 | 14.632845571814272 |
BASE/skirmishFinal1/ecWTnQ | 0.3054741012255174 | 4.3985338220593135 | 14.399040063995734 |
BASE/sudokuGrade6E/ihYFZA | 0.30592313725490194 | 37.266666666666666 | 121.81709105452606 |
STANFORD/duidoku/3SoMaA | 0.30879581913694576 | 23.892035988004 | 77.37163040218587 |
BASE/sudokuGrade6H/ieE_9A | 0.31009819121447024 | 38.666666666666664 | 124.69168722085195 |
DRESDEN/stratego/Z2wovg | 0.31112852942642144 | 69.36666666666666 | 222.95180321311912 |
BASE/simultaneousWin2/PfjRjw | 0.3494579855195911 | 164.1 | 469.58434718842705 |
DRESDEN/capture_the_king/EQ229Q | 0.35718929988480735 | 5.091514143094842 | 14.25438596491228 |
STANFORD/sudoku/oJ1qyQ | 0.3693965684950014 | 45.56666666666667 | 123.3543312335433 |
BASE/sudokuGrade4/DTy07w | 0.39768380476982806 | 47.8 | 120.19599346688443 |
BASE/sudokuGrade3/eI8dvg | 0.4089108032237616 | 50.166666666666664 | 122.68364218104253 |
BASE/sudokuGrade2/u80Tfw | 0.446581512605042 | 54.9 | 122.93388429752066 |
BASE/sudokuGrade5/BQfUQA | 0.44729983853606026 | 55.4 | 123.85428123854281 |
BASE/knightThrough/gcwFjA | 0.45009204424653837 | 5.198267244251916 | 11.549342652687635 |
BASE/sudokuGrade1/tDRNRw | 0.46482536445756195 | 57.733333333333334 | 124.20435231779251 |
BASE/skirmish/Y_psYQ | 0.4734421859380207 | 3.6987670776407864 | 7.8125 |
BASE/cittaceot/fDxhXg | 0.6968764033613445 | 69.1 | 99.1567509915675 |
DRESDEN/blockerparallel/dVQgSg | 0.8561757065260175 | 362.53333333333336 | 423.43333333333334 |
BASE/blockerParallel/7-nDJA | 0.8651902316213494 | 362.73333333333335 | 419.2526915769474 |
DRESDEN/quad_5x5/JAEP5g | 0.9186742857142857 | 5.333333333333333 | 5.8054670912951165 |
BASE/quad_5x5/JAEP5g | 0.9847201596806388 | 5.466666666666667 | 5.551492586929061 |
BASE/blokbox_simple/JBx4bg | 0.9912798657718123 | 4.9 | 4.943104535049597 |
BASE/coins_atomic/AA3SSw | 1.0399670719049379 | 2905.633333333333 | 2793.9666666666667 |
BASE/coins/QnGtnQ | 1.0588934580346203 | 2909.733333333333 | 2747.9 |
DRESDEN/coins/QwFP9w | 1.0667361456149493 | 2934.2 | 2750.633333333333 |
DRESDEN/logistics/fPru1Q | 1.2824858757062145 | 378.3333333333333 | 295.0 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.5624336363636364 | 171.83333333333334 | 109.97800439912018 |
DRESDEN/smallest/9kaGFw | 1.9726609360076408 | 68.8 | 34.87674883411059 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.0270023690656753 | 403.26557814061977 | 198.94677198946772 |
BASE/tictactoe_3d_small_6player/g_9lww | 2.037228115942029 | 406.03333333333336 | 199.30675909878684 |
STANFORD/multiplesukoshi/vLSQPg | 2.095103902699813 | 261.23333333333335 | 124.68753124687531 |
STANFORD/skirmish/w4V6Vw | 2.1197609001406468 | 5.063291139240507 | 2.388614271970275 |
STANFORD/selectivesukoshi/3xmXYg | 2.157961460446247 | 283.7 | 131.46666666666667 |
DRESDEN/quad_7x7/q-JOXg | 2.3473731060606062 | 55.06666666666667 | 23.458847050983007 |
BASE/quad_7x7/q-JOXg | 2.3477201133144474 | 55.2 | 23.51217237819296 |
DRESDEN/quad_5x5_8_2/JRTLJg | 2.3998407960199004 | 5.333333333333333 | 2.222369643094069 |
BASE/pearls/6k_mEQ | 2.4597973240071993 | 35260.86666666667 | 14334.866666666667 |
BASE/doubletictactoe/HH1htg | 2.4729633036900744 | 3225.733333333333 | 1304.4 |
BASE/conn4/va9Y7A | 2.486281252238699 | 1156.8666666666666 | 465.3 |
DRESDEN/doubletoetictac/V89gKQ | 2.514530853540506 | 3204.266666666667 | 1274.3 |
BASE/ticTacToeSerial/Amrwqw | 2.5385792082237044 | 1382.9333333333334 | 544.7666666666667 |
DRESDEN/bunk_t/7-tPfA | 2.5396627934676164 | 3198.366666666667 | 1259.3666666666666 |
DRESDEN/doubletictactoe/lJzgmQ | 2.544824508439871 | 3231.3333333333335 | 1269.7666666666667 |
BASE/bunk_t/xbpfIA | 2.566997851772288 | 3186.5 | 1241.3333333333333 |
BASE/doubletoetictac/fu35bg | 2.6097620138533273 | 3227.6666666666665 | 1236.7666666666667 |
DRESDEN/quad/JPe6fg | 2.6138494623655912 | 5.333333333333333 | 2.0404133482524847 |
BASE/quad/tw-Ufg | 2.635714285714286 | 5.466666666666667 | 2.074074074074074 |
BASE/qyshinsu/R08Lzw | 2.89342383361439 | 171.5 | 59.272339574865065 |
DRESDEN/tictactoeparallel/yk_DSg | 3.0307154680890194 | 3295.6 | 1087.4 |
BASE/blocksWorldParallel/RseaAQ | 3.240819693005408 | 1857.9 | 573.2808906369787 |
DRESDEN/chomp/-LcqYQ | 3.313722383778437 | 744.4333333333333 | 224.65168988734084 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 3.328627015596088 | 139.86666666666667 | 42.01932689103632 |
BASE/chomp/-LcqYQ | 3.41958129753915 | 764.2 | 223.4776522347765 |
BASE/tictactoe_3d_6player/d7KSwg | 3.490192228698307 | 139.53333333333333 | 39.97869578243068 |
STANFORD/madness/UO_B3A | 3.492509163612129 | 8.063978673775408 | 2.3089355806972987 |
BASE/double_tictactoe_dengji/zgaSbA | 3.736326528902197 | 3368.9333333333334 | 901.6699443351888 |
DRESDEN/lightsout/XgLpzQ | 3.736630018524698 | 3685.4381872709096 | 986.3 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 3.7885712141677925 | 3365.766666666667 | 888.4 |
DRESDEN/lightsout2/LFtfyQ | 3.811517605875489 | 3702.0 | 971.2666666666667 |
BASE/haystack/UkweGA | 3.8888597454552585 | 52881.23333333333 | 13598.133333333333 |
DRESDEN/smallest_4player/ADDROA | 3.9763696248856366 | 144.8 | 36.41512577044811 |
BASE/smallest_4player/ADDROA | 4.0084487084870855 | 144.8 | 36.123700346574246 |
BASE/futoshiki6/JmvXNA | 4.038779539941448 | 536.4666666666667 | 132.82890570314322 |
DRESDEN/slidingpieces/s9_44g | 4.164128004112581 | 1080.0 | 259.3580213992867 |
BASE/hidato37/pBrqxw | 4.1708497827436375 | 74.63333333333334 | 17.894035321559482 |
DRESDEN/latenttictactoe/kITHKg | 4.251700858966613 | 5395.266666666666 | 1268.9666666666667 |
BASE/slidingpieces/uFJWEw | 4.261095889879799 | 1098.9 | 257.8914036198793 |
BASE/checkers-mustjump-torus/uSApKQ | 4.289960606060606 | 6.266666666666667 | 1.4607748746721556 |
BASE/hidato19/rRHSmA | 4.479315972222222 | 616.3333333333334 | 137.59541348621713 |
DRESDEN/javastrike/whONTQ | 4.788735866789254 | 520.7333333333333 | 108.7412936981371 |
BASE/futoshiki5/TJ4BZg | 5.136196478794015 | 1014.3333333333334 | 197.487252974306 |
BASE/brain_teaser_extended/ZDp94A | 5.357490324951895 | 8260.0 | 1541.7666666666667 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 5.437511039731862 | 2595.6 | 477.35075497483416 |
DRESDEN/grid_game2/kypTYQ | 5.541260103295748 | 2407.9666666666667 | 434.55218159394684 |
DRESDEN/CephalopodMicro/H3XQfg | 5.625616109682948 | 145.86666666666667 | 25.92901183136144 |
DRESDEN/brain_teaser_extended/ZDp94A | 5.645731375747689 | 8306.0 | 1471.2 |
BASE/lightsOut/5P1ZBw | 5.728999298317674 | 3719.3333333333335 | 649.2116929435686 |
BASE/withConviction/3Xm54A | 5.81625220508735 | 3406.9666666666667 | 585.7666666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 6.038218635203851 | 11122.6 | 1842.0333333333333 |
BASE/factoringGeorgeForman/HGRorQ | 6.131417416329571 | 20310.933333333334 | 3312.6 |
BASE/sum15/QZ07Kg | 6.2696920300401695 | 14359.266666666666 | 2290.266666666667 |
BASE/snake_2009_big/-oRfVw | 6.365080888888889 | 859.2 | 134.98650134986502 |
DRESDEN/sum15/CsgWKg | 6.401614336492892 | 14407.9 | 2250.6666666666665 |
DRESDEN/snake_2009_big/DgC1NQ | 6.429428914457229 | 856.8 | 133.26222459251358 |
DRESDEN/tictactoex9/rFkD4w | 6.657605854678516 | 2122.6666666666665 | 318.8333333333333 |
BASE/tictactoex9/BI26ow | 6.70963888888889 | 2118.8333333333335 | 315.7894736842105 |
BASE/ticTacToeParallel/ymRGPw | 6.71925036908958 | 3367.8 | 501.2166261124629 |
DRESDEN/blocker/S815zQ | 6.918627829218107 | 14346.466666666667 | 2073.6 |
DRESDEN/eotcatcit/mQUxzA | 6.924860136617933 | 14936.0 | 2156.866666666667 |
BASE/cephalopodMicro/9l2D3g | 6.933562939632545 | 146.63333333333333 | 21.148338106973956 |
DRESDEN/backgammon/mqCW0Q | 6.9529719626168225 | 347.0 | 49.906716417910445 |
STANFORD/multipletictactoe/_bkafQ | 7.048238892554713 | 1424.1666666666667 | 202.05993133562214 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7.069210256410257 | 9.066666666666666 | 1.282557221783741 |
DRESDEN/snake_2009/zIYLVw | 7.197095017147469 | 1189.2 | 165.23333333333332 |
BASE/eotcatcit/AfZSzA | 7.280419636421879 | 15151.766666666666 | 2081.1666666666665 |
BASE/snake_2009/7l-qAQ | 7.304940898922108 | 1197.2 | 163.88907406172922 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.351351351351351 | 9.066666666666666 | 1.2333333333333334 |
DRESDEN/grid_game/U7_Yeg | 7.677283450042698 | 1498.2 | 195.14715195147153 |
DRESDEN/buttons/ADUaHw | 7.794051741698921 | 30608.8 | 3927.2 |
BASE/chickentoetictac/l57rfQ | 7.8255575437524545 | 11953.8 | 1527.5333333333333 |
BASE/survival/YVIjJA | 7.866024943663066 | 53988.2 | 6863.466666666666 |
BASE/buttons/hTcUjw | 7.906944586704907 | 30878.2 | 3905.2 |
DRESDEN/chickentoetictac/cxYaRQ | 7.949396617468935 | 11813.333333333334 | 1486.0666666666666 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 8.003958706661473 | 684.6666666666666 | 85.54100436535705 |
DRESDEN/tictictoe/LAUtwg | 8.166210961234658 | 8959.966666666667 | 1097.2 |
BASE/eotcitcit/V_9_bg | 8.207571887458885 | 8827.790736421193 | 1075.5666666666666 |
DRESDEN/sat_test_20v_91c/dK7nVw | 8.338609852271464 | 1668.1666666666667 | 200.0533297780148 |
DRESDEN/tictactoe/BTTzPw | 8.483645661724328 | 16478.633333333335 | 1942.4 |
DRESDEN/babel/WdSW4A | 8.54771221719457 | 755.4666666666667 | 88.38232353529294 |
BASE/snakeAssemblit/UO4sdg | 8.840095869081665 | 1854.4666666666667 | 209.77902209779023 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 8.888236937692092 | 7422.566666666667 | 835.1 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 9.009141846063109 | 4073.3333333333335 | 452.1333333333333 |
BASE/futoshiki4/BaCwSw | 9.093051332421162 | 3101.233333333333 | 341.0552981567281 |
BASE/lightsOnParallel/SC6enA | 9.168705274469009 | 13367.666666666666 | 1457.9666666666667 |
BASE/blocksWorldSerial/Wyg96Q | 9.352327173169062 | 10931.0 | 1168.8 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 9.368632366833806 | 17189.566666666666 | 1834.8 |
BASE/tictactoe_orthogonal/WRzlVw | 9.414610643442847 | 17260.433333333334 | 1833.3666666666666 |
STANFORD/sukoshi/4LYZZQ | 9.42949430217835 | 12163.733333333334 | 1289.9666666666667 |
DRESDEN/pawn_whopping/4ogBkg | 9.693856455889623 | 7189.933333333333 | 741.7 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 10.074140401146131 | 2812.7 | 279.2 |
BASE/chickentictactoe/DSlZCA | 10.142726996659581 | 11133.333333333334 | 1097.6666666666667 |
BASE/onestep/xi53wA | 10.320161739202437 | 74782.3 | 7246.233333333334 |
DRESDEN/lightson2x2/gBHuig | 10.372074005928653 | 16911.666666666668 | 1630.5 |
DRESDEN/gt_prisoner/huCp4w | 10.378397386923544 | 2082.6666666666665 | 200.67324356752434 |
BASE/untwistycomplex2/EDPPAQ | 10.48613754862203 | 29564.266666666666 | 2819.366666666667 |
BASE/connect4/50bOyw | 10.543929244192158 | 1114.2333333333333 | 105.67534242010197 |
DRESDEN/tictactoe_3player/ESLQQQ | 10.585360054264584 | 2687.5333333333333 | 253.89153694876836 |
BASE/duplicateStateSmall/bCPAXw | 10.648024181860844 | 25715.333333333332 | 2415.0333333333333 |
DRESDEN/connect4/T0-rHQ | 10.784576565008026 | 1119.5 | 103.80565182617968 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 11.012362387387387 | 1629.6666666666667 | 147.985201479852 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 11.012876539855073 | 1620.9333333333334 | 147.18528147185282 |
STANFORD/untwistycorridor/EDPPAQ | 11.022345035033483 | 30780.633333333335 | 2792.5666666666666 |
DRESDEN/peg/Vo31eg | 11.071881628548256 | 3791.866666666667 | 342.4771681887874 |
DRESDEN/tpeg/h-Scbg | 11.173636538832145 | 3865.3333333333335 | 345.93333333333334 |
DRESDEN/peg_bugfixed/u_B7MA | 11.205539380416505 | 3849.9666666666667 | 343.57709486034264 |
BASE/tpeg/QNs7Lw | 11.345574961171144 | 3814.633333333333 | 336.2221259291357 |
BASE/blocksWorld/SEdXLQ | 11.414328953196517 | 30923.7 | 2709.2 |
BASE/blocks/xIV5hQ | 11.560706182819029 | 31082.5 | 2688.633333333333 |
BASE/lightsOnSimultaneous/_VN6lw | 11.573868422563832 | 5822.233333333334 | 503.0498983367221 |
BASE/duplicateStateMedium/U163eQ | 11.58365304116866 | 8722.2 | 752.9749008366388 |
BASE/incredible/8Qh-6Q | 11.5935243139143 | 9631.9 | 830.8 |
BASE/lightsOnSimul4/9FeASw | 11.638058465342 | 4236.5 | 364.0211992933569 |
BASE/checkers-mustjump/T-8UuQ | 11.747694736842107 | 14.8 | 1.2598216357789345 |
DRESDEN/toetictac/mJtxCA | 11.754084115397983 | 18035.466666666667 | 1534.4 |
BASE/toetictac/mTThmg | 11.755560865409679 | 18039.3 | 1534.5333333333333 |
DRESDEN/blocks/vg0DRw | 11.809757574992744 | 31193.9 | 2641.366666666667 |
BASE/switches/tPUoCg | 11.837868405295723 | 23724.666666666668 | 2004.1333333333334 |
DRESDEN/gt_chicken/CeuKtw | 11.936084612760151 | 1943.3333333333333 | 162.8116251166511 |
STANFORD/tictictoe/rpt_Dw | 11.985575839531215 | 8863.333333333334 | 739.5 |
DRESDEN/circlesolitaire/ruUilQ | 12.18890221955609 | 20318.9 | 1667.0 |
BASE/coloredtrails/EZvr7g | 12.190024232633279 | 6036.5 | 495.2 |
BASE/circlesolitaire/azuQFQ | 12.208025470054665 | 20322.7 | 1664.7 |
BASE/numbertictactoe/rvJ-iQ | 12.269476268412438 | 9995.533333333333 | 814.6666666666666 |
STANFORD/trifecta/ss1kyQ | 12.43725951299143 | 15236.7 | 1225.0849943337112 |
BASE/factoringEasyTurtleBrain/lUj94Q | 12.44668924762759 | 13439.520159946684 | 1079.7666666666667 |
DRESDEN/tictactoe-init1/3ltIBQ | 12.545949271247398 | 17674.733333333334 | 1408.8 |
BASE/blocker/dIWtxg | 12.66663597581561 | 13757.233333333334 | 1086.1 |
BASE/lightsOn/MsXu3A | 12.67943229476556 | 29124.233333333334 | 2296.9666666666667 |
BASE/ticTicToe/c1OobQ | 12.77306520448805 | 8915.728090636454 | 698.0100663311223 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 12.802218604651161 | 36.4 | 2.843257182530499 |
STANFORD/tictactoe/ss1kyQ | 12.850665716947017 | 15635.833333333334 | 1216.7333333333333 |
BASE/ticTacToeNoVars/XT03NA | 12.859296859371874 | 17142.3 | 1333.0666666666666 |
BASE/troublemaker01/s3tlEQ | 12.87906213934277 | 56540.8 | 4390.133333333333 |
BASE/tictactoe_3player/GtM71g | 12.91716071142445 | 2687.2 | 208.03333333333333 |
DRESDEN/catcha_mouse/cHv4dw | 12.991884031936127 | 4917.533333333334 | 378.508099460036 |
BASE/tictactoe-init1/7M19vA | 13.058111554935271 | 18088.966666666667 | 1385.2666666666667 |
DRESDEN/troublemaker01/C-lPWw | 13.075213205791263 | 57136.066666666666 | 4369.8 |
BASE/catcha_mouse/cHv4dw | 13.084406940414432 | 4960.133333333333 | 379.0873637545415 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 13.453384895259095 | 406.7 | 30.230310302303103 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 13.467073980489367 | 2806.8 | 208.4194387040864 |
BASE/ticTacHeavenFC/mrletw | 13.497474410849264 | 4046.633333333333 | 299.80670532560157 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 13.651291857630424 | 2799.6 | 205.07949205079493 |
BASE/ticTacToe/JRFsaQ | 13.65150803085174 | 16460.533333333333 | 1205.7666666666667 |
BASE/ticTacHeaven/18n58A | 13.713700272453051 | 4697.7 | 342.5552481583947 |
BASE/mineClearingSmall/frsbvw | 13.752219908025516 | 1029.7666666666667 | 74.88003199146894 |
DRESDEN/amazons/dNB28A | 13.818573099415204 | 78.4 | 5.673523556735236 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 13.844213940809968 | 2764.9666666666667 | 199.72001866542232 |
STANFORD/dualrainbow/G3OnRQ | 14.001438957891548 | 12325.0 | 880.2666666666667 |
STANFORD/tictactoe3/X7myng | 14.065629442426157 | 17809.9 | 1266.2 |
BASE/gt_prisoner/klthDw | 14.18841085271318 | 2155.3333333333335 | 151.9080153307782 |
BASE/nineBoardTicTacToePie/B8LzeQ | 14.211030478955008 | 3263.8 | 229.66666666666666 |
STANFORD/duikoshi/tpw1sw | 14.217711301044634 | 7984.666666666667 | 561.6 |
DRESDEN/blocksworldparallel/2JfVaw | 14.334610522989413 | 12096.5 | 843.8666666666667 |
STANFORD/tictactoe7/-bE9-A | 14.345929122992453 | 16286.933333333332 | 1135.3 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 14.389173356807513 | 408.3666666666667 | 28.380133906265613 |
BASE/duplicateStateLarge/dcjyuw | 14.711494266795867 | 4048.3333333333335 | 275.1816545563629 |
STANFORD/tictactoe5/WFRReg | 14.734151504748827 | 17168.233333333334 | 1165.2 |
BASE/stateSpaceSmall/Q7osKA | 14.74402228178044 | 46760.666666666664 | 3171.5 |
DRESDEN/statespacesmall/h-NqjA | 14.74663541034389 | 46970.0 | 3185.133333333333 |
DRESDEN/troublemaker02/iZLVuA | 14.792703950835634 | 55201.933333333334 | 3731.7 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 14.962355471901049 | 14838.666666666666 | 991.7333333333333 |
DRESDEN/cubicup_3player/awDtsQ | 14.974791869918699 | 2660.1666666666665 | 177.64298093587522 |
BASE/cubicup_3player/e2yA_g | 15.000811982202167 | 2659.4666666666667 | 177.28818078794748 |
BASE/troublemaker02/DI83KA | 15.03525029443719 | 54894.2 | 3651.0333333333333 |
BASE/stateSpaceLarge/0Ge_CQ | 15.128940783986655 | 21162.866666666665 | 1398.8333333333333 |
BASE/mummymaze2p/vpjDdA | 15.228215824175823 | 230.6 | 15.142942723067195 |
DRESDEN/statespacemedium/dVJZ_w | 15.245367603108189 | 30606.6 | 2007.6 |
DRESDEN/statespacelarge/8-y5HQ | 15.287501524204366 | 20895.466666666667 | 1366.8333333333333 |
DRESDEN/mummymaze2p/k-8edg | 15.345646902654869 | 230.8 | 15.040095830699098 |
BASE/stateSpaceMedium/3bUoIw | 15.449350649350649 | 30334.8 | 1963.5 |
BASE/gt_chicken/gmepTQ | 15.45708434157461 | 1958.6666666666667 | 126.71643780829223 |
BASE/firefighter/WJmoPw | 15.875349783770032 | 16641.6 | 1048.2666666666667 |
STANFORD/triplesukoshi/Iu9mbA | 15.964121435142593 | 5205.9 | 326.1 |
DRESDEN/bidding-tictactoe/yW5vTA | 15.994374705882354 | 2174.8 | 135.97280543891222 |
STANFORD/buttonsandlights/eyhJpA | 16.039012715033657 | 53610.4 | 3342.5 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 16.33738431372549 | 9.133333333333333 | 0.5590450195665757 |
BASE/breakthroughSmallHoles/bxclRw | 16.337581496910367 | 5228.766666666666 | 320.04533031131257 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 16.407388235294118 | 9.2 | 0.5607230028365987 |
DRESDEN/cube_2x2x2/fp-34Q | 16.604035376167797 | 7089.133333333333 | 426.95243491883605 |
DRESDEN/firefighter/WJmoPw | 16.67942143326759 | 16912.933333333334 | 1014.0 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 16.739054290718038 | 955.8 | 57.1 |
BASE/tictactoe2/bhrDoQ | 16.79437866818302 | 27565.733333333334 | 1641.3666666666666 |
BASE/biddingTicTacToe/8mESVw | 17.112486828240254 | 2165.3 | 126.53333333333333 |
BASE/hodgepodge/9yjRkw | 17.169631060067083 | 16893.2 | 983.9 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 17.377254700854703 | 2823.3333333333335 | 162.47292117980336 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 17.4117442936459 | 30106.066666666666 | 1729.0666666666666 |
DRESDEN/aipsrovers01/qS47Mw | 18.29340016708438 | 7299.066666666667 | 399.0 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 18.397016210094147 | 2887.3333333333335 | 156.94574056792428 |
BASE/aipsrovers01/4C4jsw | 18.7199965508581 | 7452.933333333333 | 398.12685398126854 |
BASE/cubicup/4wNWJA | 19.364465885534024 | 4295.4 | 221.81866648895405 |
DRESDEN/cubicup/SBn_lw | 19.695401236236236 | 4372.233333333334 | 221.99260024665844 |
DRESDEN/8puzzle/8fKC2w | 19.978273989136994 | 16552.0 | 828.5 |
BASE/hallway/ckCJOw | 19.98604366729679 | 352.03333333333336 | 17.61395797955582 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 20.04794991959568 | 2908.6666666666665 | 145.0854914508549 |
STANFORD/jointbuttonsandlights/qAKuIQ | 20.131133118841742 | 26696.566666666666 | 1326.1333333333334 |
DRESDEN/mimikry/GJEhwA | 20.411492557453087 | 3225.766666666667 | 158.03678528588566 |
DRESDEN/hallway/0H4l-Q | 20.54146449553001 | 357.26666666666665 | 17.392463265918103 |
BASE/gt_staghunt/xPjLRA | 20.64322464698331 | 3216.0 | 155.78961402573162 |
DRESDEN/tictactoelarge/IwXcbg | 21.25686813186813 | 19085.833333333332 | 897.8666666666667 |
STANFORD/breakthrough/d5j0cQ | 21.43907142940935 | 4060.733333333333 | 189.4080789228103 |
DRESDEN/point_grab/r5DPmQ | 21.77893795470476 | 30035.333333333332 | 1379.1 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 22.23446571957999 | 5999.6 | 269.8333333333333 |
BASE/gt_coordination/IVMOzA | 22.324243958197258 | 4556.666666666667 | 204.11292204112922 |
BASE/tictactoe_3d_small_2player/oOryKA | 22.440766550522646 | 6011.133333333333 | 267.8666666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 22.61939169887414 | 4486.933333333333 | 198.36666666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 23.23392503748126 | 516.0 | 22.208903539439948 |
STANFORD/nineboardtictactoe/y28P-A | 23.356061817253703 | 4575.3 | 195.8934702176594 |
DRESDEN/tictactoelargesuicide/6J4DeA | 23.449699266705117 | 18973.933333333334 | 809.1333333333333 |
BASE/maze/cCX3qQ | 23.4750321704318 | 43782.5 | 1865.0666666666666 |
BASE/gt_ultimatum/GE-uOA | 23.885459980954217 | 503.8320559813396 | 21.093671898430472 |
STANFORD/dualhunter/1rPZjQ | 23.963797604287745 | 8246.466666666667 | 344.12186260457986 |
DRESDEN/chinesecheckers6/yTbPDA | 24.316526974483597 | 1333.9 | 54.85569552756115 |
DRESDEN/othello-cornercontrol/r5Gdlg | 25.98583333333333 | 14.166666666666666 | 0.5451688419972421 |
BASE/asteroidsSerial/id2QkA | 26.2927047566249 | 7904.2 | 300.62331255624815 |
DRESDEN/chinesecheckers3/QsCb2A | 26.442506502846868 | 2940.7 | 111.2110911151103 |
DRESDEN/god/2EDD5w | 27.033629314420804 | 126.23333333333333 | 4.669492648032852 |
DRESDEN/oisters_farm/pTQMLg | 27.03642878471186 | 30181.666666666668 | 1116.3333333333333 |
STANFORD/hunter/14dD-g | 27.31803537107858 | 12353.215594801733 | 452.2 |
DRESDEN/chinesecheckers1/Y-ftaA | 27.42735379546337 | 5123.258913695435 | 186.79377354088197 |
BASE/god/qF06gw | 27.53582749391727 | 125.36666666666666 | 4.552856335781463 |
BASE/pawnWhopping/Ypc_6Q | 27.75613800125707 | 7359.266666666666 | 265.14015265140154 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 29.611885714285716 | 6.4 | 0.2161294306533284 |
STANFORD/3puzzle/41ibjA | 30.758583106267032 | 30102.4 | 978.6666666666666 |
STANFORD/bestbuttonsandlights/nm0wEA | 30.819740761613396 | 38281.2 | 1242.1 |
DRESDEN/chinesecheckers4/-oVNYg | 30.83151865822029 | 1922.8590469843386 | 62.36666666666667 |
STANFORD/threepuzzle/41ibjA | 31.147872595741763 | 30283.0 | 972.2333333333333 |
BASE/tron_10x10/7ZTgDg | 31.395400621685866 | 7630.666666666667 | 243.0504633024465 |
DRESDEN/Runners/3bOCQw | 31.992759676970202 | 7659.066666666667 | 239.4 |
BASE/beatMania/qUHwvQ | 32.06449791873142 | 16176.0 | 504.4831838938702 |
BASE/pacman2p/4LEdQg | 32.25538650051921 | 688.9333333333333 | 21.358706500765187 |
STANFORD/rainbow/_4qNSQ | 32.41302850846991 | 47070.2 | 1452.2 |
BASE/ticTacToeLarge/TZC0dg | 32.47624703087886 | 19141.5 | 589.4 |
BASE/ticTacToeLargeSuicide/727_8g | 32.494346269674416 | 19062.266666666666 | 586.6333333333333 |
STANFORD/8puzzle/jNiGtw | 32.66262839083487 | 16536.0 | 506.26666666666665 |
STANFORD/multiplebuttonsandlights/cK70Yg | 32.790029712776494 | 39728.4 | 1211.6 |
STANFORD/eightpuzzle/W_aWbA | 33.724493349119015 | 16141.666666666666 | 478.6333333333333 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 33.802169055534364 | 41349.066666666666 | 1223.2666666666667 |
BASE/eightPuzzle/vLrgFg | 33.846249630922024 | 16812.0 | 496.7167761074631 |
BASE/connectFourSimultaneous/7ITr3g | 34.203217076949564 | 6622.0 | 193.607518997467 |
DRESDEN/frogs_and_toads/GjchhQ | 34.26531006711409 | 2892.266666666667 | 84.40801093005432 |
BASE/3pConnectFour/PqXOFQ | 35.69291057417074 | 7065.3 | 197.9468719794687 |
BASE/checkers/rOC3Xg | 36.32644347826086 | 27.4 | 0.7542714721411472 |
BASE/snakeParallel/RCVNtw | 36.60762456947776 | 18824.233333333334 | 514.2161927935736 |
BASE/rubiksCube/9tNO9Q | 36.65962079024132 | 3071.6666666666665 | 83.78882815624583 |
DRESDEN/4pttc/9pB9AQ | 38.2512072072072 | 3207.4666666666667 | 83.85269121813032 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 38.37958981773905 | 33621.8 | 876.0333333333333 |
BASE/gt_dollar/TGjqRw | 38.60823193630765 | 25701.5 | 665.7 |
BASE/snake2p/I3wWPQ | 40.178186682131155 | 12124.033333333333 | 301.7566081130629 |
BASE/point_grab/V_osUg | 42.47343288084464 | 29723.333333333332 | 699.8100063331223 |
BASE/colonelBlottoVariant/X-n-KQ | 43.03142857142858 | 20.0 | 0.46477657526060684 |
BASE/colonelBlottoVariant2/jruwGw | 45.04355555555556 | 21.666666666666668 | 0.4810159055926116 |
BASE/connect5/d-BVQg | 46.59669302659957 | 2160.5333333333333 | 46.36666666666667 |
DRESDEN/connectfoursuicide/M9CNQg | 46.846175833895515 | 13887.866666666667 | 296.45678477384087 |
BASE/pegEuro/5awwhg | 47.3659618549859 | 3170.5666666666666 | 66.93766034718288 |
BASE/escortLatch/mX9BjQ | 47.73862948207171 | 3993.3333333333335 | 83.6499366793308 |
DRESDEN/connectfour/5tc-Mg | 50.447040825267855 | 14071.166666666666 | 278.92947606985734 |
BASE/asteroidsParallel/WauZiA | 50.5237704184344 | 13496.133333333333 | 267.1244291856938 |
BASE/connectFourSuicide/c8p9Kw | 54.58344564118075 | 14192.569143618794 | 260.01599893340443 |
BASE/connectFour/WAIKTw | 54.900703353004296 | 13644.2 | 248.52504916502784 |
BASE/asteroids/BKCmPQ | 55.39188692616217 | 25472.033333333333 | 459.8513382887237 |
DRESDEN/pentago_2008/hLjVpQ | 55.699067255768284 | 7563.933333333333 | 135.8 |
BASE/peg/fJHVWw | 55.95852672924901 | 3773.7 | 67.43744377436444 |
BASE/zhadu/DlA8iQ | 56.12953977844914 | 1237.7666666666667 | 22.051965356429047 |
BASE/kalaha5x2x3/WviNsw | 57.34042727272727 | 944.7 | 16.475287069395907 |
BASE/tictactoe_3d_2player/IUC1rQ | 58.483421050024766 | 2622.0333333333333 | 44.83378855505962 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 58.605671466666664 | 2685.4666666666667 | 45.822641383677144 |
BASE/dualConnect4/WbCQkg | 59.782018453427064 | 6801.833333333333 | 113.77724455108978 |
STANFORD/connectfour/VMpZkQ | 60.208307576840596 | 14037.166666666666 | 233.14335233143353 |
BASE/gt_centipede/9fRMpw | 60.56826265389877 | 29516.933333333334 | 487.3333333333333 |
DRESDEN/checkers-mustjump/HUr33w | 62.753142857142855 | 14.4 | 0.22947057859367317 |
BASE/connectFourLarger/qKi60A | 63.09096508172363 | 2829.266666666667 | 44.84424454439447 |
BASE/connectFour_9x6/B9TtMw | 63.84542476478495 | 12663.133333333333 | 198.3404978506448 |
BASE/checkersSmall/SYmq8w | 65.04788888888889 | 51.333333333333336 | 0.7891621728265158 |
BASE/connectFourLarge/aU644A | 65.25871559633028 | 8298.733333333334 | 127.16666666666667 |
DRESDEN/pacman3p/rBnk8Q | 65.3099011235955 | 1549.8666666666666 | 23.730960237309603 |
DRESDEN/pawntoqueen/f_x6Aw | 66.8374358974359 | 86.6 | 1.2956810631229236 |
BASE/pawnToQueen/-O1_JA | 67.3688350877193 | 84.46666666666667 | 1.2537943777220535 |
BASE/hexPie/48CH6Q | 69.61227513812156 | 1678.6333333333334 | 24.11404209965361 |
DRESDEN/3pttc/uwYBZw | 70.15726786523643 | 15478.0 | 220.61862542497167 |
DRESDEN/knightwar/7hhAqg | 71.43692743305029 | 10935.9 | 153.08469153084692 |
BASE/mummyMaze2p_2007/YGA3Vw | 72.97804267704856 | 2185.233333333333 | 29.94370982246944 |
DRESDEN/ghostmaze2p/HY0UwA | 73.0724816080402 | 2421.633333333333 | 33.14015454303224 |
BASE/pacman3p/wW7UVQ | 73.22624576802508 | 1556.0333333333333 | 21.24966693312017 |
DRESDEN/knightstour/cGISAA | 73.47214975376653 | 39120.166666666664 | 532.4489183693877 |
DRESDEN/3pffa/0YrmQw | 74.0924620518392 | 15911.0 | 214.74519214745192 |
BASE/checkers-newgoals/0XkFiA | 74.16548571428571 | 32.8 | 0.4422542330048016 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 76.0799031177829 | 2196.1 | 28.86570447651745 |
BASE/ghostMaze2p/W-NU-w | 80.05806210096512 | 2395.366666666667 | 29.920367840602406 |
STANFORD/pentago/ZxzLmg | 81.58873661036525 | 6278.566666666667 | 76.95384102649558 |
BASE/nonogram_10x10_1/0Xc62g | 83.94279940828402 | 944.4333333333333 | 11.250915385127488 |
DRESDEN/knightazons/02I8BQ | 84.35257406483791 | 1127.4 | 13.365330133653302 |
BASE/knightazons/apnJBQ | 85.2976781434599 | 1121.3666666666666 | 13.146508686680423 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 85.5445753511554 | 18877.8 | 220.67793220677933 |
BASE/cylinder-checkers/hlldmw | 89.82679999999999 | 25.2 | 0.2805398834200929 |
DRESDEN/cylinder-checkers/clOO3Q | 89.98302222222222 | 25.266666666666666 | 0.28079371022089106 |
DRESDEN/Goldrush/VeWczQ | 90.5283425128205 | 3922.633333333333 | 43.3304446370242 |
BASE/ruleDepthLinear/OUBJpQ | 92.14283394893859 | 75670.76666666666 | 821.2333333333333 |
BASE/pentago/86NgKw | 100.51386375056079 | 7467.433333333333 | 74.2925707429257 |
BASE/battlebrushes/arCwyA | 101.53755897435897 | 483.8666666666667 | 4.765395894428153 |
BASE/pentagoSuicide/SBgNhw | 102.10664356197351 | 7540.266666666666 | 73.84697414022928 |
DRESDEN/merrills/aYEzwA | 106.06000000000002 | 2.0 | 0.018857250612860643 |
DRESDEN/bomberman2p/x4h6jQ | 106.47906211764706 | 3015.6 | 28.32106087362143 |
BASE/bomberman2p/4CClwA | 108.4144893111639 | 3042.8333333333335 | 28.066666666666666 |
BASE/merrills/pku8Tg | 111.21692769076974 | 1.9993335554815062 | 0.0179768817300951 |
DRESDEN/checkers-newgoals/IJOqXQ | 113.68853333333334 | 31.8 | 0.2797115862754848 |
BASE/queens06ug/7Lq3tw | 114.65971472527472 | 8693.0 | 75.81564301662945 |
DRESDEN/roshambo2/jgSlkQ | 123.0998221199121 | 39215.5 | 318.56666666666666 |
STANFORD/knightstourmedium/x1wu8Q | 124.05125805780827 | 39770.833333333336 | 320.6 |
BASE/roshambo2/KNPokQ | 125.45238028494282 | 39231.833333333336 | 312.72290923635876 |
BASE/shmup/ssTNlg | 135.85027997275205 | 19938.833333333332 | 146.77064587082583 |
STANFORD/knightstour/cEwgNA | 137.88397200142367 | 38740.8 | 280.96666666666664 |
BASE/queens08ug/kJ_ZFQ | 142.55180266063317 | 5291.836054648451 | 37.122196674331036 |
BASE/knightsTour/mvtVIg | 144.76598994160705 | 39114.46666666667 | 270.19099363354553 |
BASE/nonogram_5x5_1/qLKEZw | 146.19851306666666 | 7307.733333333334 | 49.985004498650405 |
BASE/kalaha6x2x4/XS81Mg | 164.05014785714286 | 763.1 | 4.651626407947636 |
BASE/checkersTiny/Lr48cg | 166.60182608695652 | 127.33333333333333 | 0.7642973448974845 |
DRESDEN/racer/vk_ZBA | 180.64355555555557 | 14.933333333333334 | 0.08266740148801323 |
BASE/queens12ug/u6Bkmg | 182.80573869346736 | 2422.8 | 13.253413253413253 |
BASE/othelloHoles/c0qAzw | 190.4500775862069 | 368.1666666666667 | 1.9331400193314001 |
BASE/racer/QQYQNw | 192.44850000000002 | 15.3 | 0.07950178879024777 |
STANFORD/pilgrimage/ObRZnQ | 202.10820894617135 | 8880.4 | 43.938838735467534 |
BASE/amazons_8x8/7SOsIw | 212.46946936619722 | 2008.9 | 9.455005493225022 |
BASE/chess_200/XsTpYA | 214.141725 | 680.4 | 3.177335010260144 |
BASE/queens16ug/gT-ylw | 216.29417329901756 | 1428.323892035988 | 6.603617056578729 |
BASE/4pttc/AL1k2Q | 217.29008212215865 | 3094.4351882705764 | 14.241032807612964 |
BASE/othello-comp2007/86ZoMw | 217.49965555555556 | 477.76666666666665 | 2.196631831192172 |
BASE/4pffa/Q3ADlg | 220.99847017924438 | 12097.3008997001 | 54.739297018157586 |
BASE/chineseCheckers1/gqtwHw | 223.75348205765408 | 30011.8 | 134.1288623712543 |
BASE/reversi/d8UMeA | 237.29753035714285 | 438.7 | 1.8487339473771087 |
BASE/reversiSuicide/9OxJlg | 241.13105636363636 | 437.56666666666666 | 1.8146425154244614 |
BASE/3pffa/pR0dzA | 245.89726332281228 | 15277.90736421193 | 62.13126229125696 |
STANFORD/freeforall/Lfp40Q | 246.74520766773162 | 20588.13728757081 | 83.4388537154282 |
BASE/othelloSuicide/B442jg | 248.8440908045977 | 476.3666666666667 | 1.9143177767509407 |
BASE/dotsAndBoxes/EHwA_w | 257.0602081439394 | 7537.166666666667 | 29.32062772798454 |
BASE/dotsAndBoxesSuicide/jzQbLw | 260.77816747126434 | 7555.766666666666 | 28.97392346887801 |
BASE/2pffa/6oHijA | 266.53807938790203 | 19291.569476841054 | 72.37828651404578 |
DRESDEN/snake_2008/E56l3A | 296.70915947712416 | 1510.9 | 5.092191972309126 |
BASE/snake_2008_tweaked/bX0NJQ | 297.46475526315794 | 1501.2 | 5.0466482950961185 |
BASE/snake_2008/i6K26g | 299.54067105263164 | 1513.1333333333334 | 5.051512130275839 |
BASE/2pffa_zerosum/o0_uZA | 309.41482108459394 | 19285.57147617461 | 62.329178054796344 |
DRESDEN/connect5/1kYzSg | 319.1861369458128 | 2132.6 | 6.681367870190567 |
BASE/knightsTourLarge/M8jgLA | 335.4838582399863 | 35367.6107964012 | 105.42269002731331 |
BASE/knightwar/DVGY4Q | 347.22125617021277 | 10873.8 | 31.316631130063964 |
BASE/amazonsSuicide_10x10/XIbQkg | 358.76420459770117 | 1385.4666666666667 | 3.8617750848924697 |
BASE/amazons_10x10/Bun8dA | 377.401130952381 | 1399.6333333333334 | 3.7086092715231787 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 385.7518263619377 | 29810.666666666668 | 77.2793921620901 |
BASE/kitten_escapes_from_fire/uW-YiA | 391.7885973988017 | 29779.066666666666 | 76.00799733422193 |
BASE/chineseCheckers4/avfBcQ | 411.3150679523011 | 24522.366666666665 | 59.619422134835204 |
BASE/chineseCheckers2/eCMR3Q | 417.4277864522417 | 42818.1 | 102.5760655846969 |
BASE/racer4/0vs7Ww | 418.53173333333336 | 120.8 | 0.28862805464691166 |
BASE/crossers3/O0rORg | 436.516105 | 1444.7 | 3.3096144299189145 |
DRESDEN/small_dominion/yB5GJA | 437.68417471953796 | 171.10963012329225 | 0.3909431503502199 |
DRESDEN/crossers3/xiPTxg | 442.91407482993196 | 1442.3333333333333 | 3.256463082341995 |
DRESDEN/quartosuicide/WIU1oQ | 454.1338634666667 | 1880.0666666666666 | 4.139895343445717 |
BASE/quarto/EwBMVQ | 455.6536469333333 | 1886.7333333333333 | 4.140718166158739 |
STANFORD/knightstourbig/TQUI2g | 459.17374873472954 | 35077.36666666667 | 76.3923607639236 |
DRESDEN/quarto/OQzRYQ | 467.7414972677596 | 1896.3333333333333 | 4.054233683370995 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 468.52883425414365 | 2823.9666666666667 | 6.027306027306027 |
DRESDEN/knightfight/4_Ly4w | 468.7705765333333 | 5855.533333333334 | 12.4912561207155 |
BASE/chineseCheckers3/-1rZdQ | 472.4828945284697 | 35394.1 | 74.91086007531074 |
BASE/wargame02/BkVqqQ | 472.8615984848485 | 1033.1666666666667 | 2.1849240242327936 |
BASE/quartoSuicide/-23jUg | 473.53173000000004 | 1880.4 | 3.9710116152089743 |
BASE/chineseCheckers6/rREH3A | 478.9830178041543 | 21518.0 | 44.924348463640605 |
BASE/knightfight/SJRkAg | 484.76358485687905 | 5831.766666666666 | 12.030125299920021 |
DRESDEN/battle/8oAvhQ | 496.7650888888889 | 479.3333333333333 | 0.9649094593290662 |
DRESDEN/four_way_battle/xSOQXA | 499.9916923076923 | 858.6666666666666 | 1.7173618679612932 |
BASE/battle/8oAvhQ | 502.07824444444446 | 483.6666666666667 | 0.9633292659430993 |
BASE/four_way_battle/xSOQXA | 507.1759607843137 | 857.0 | 1.6897488569345969 |
BASE/choicethroughalt/tt71Lg | 572.50059086758 | 13921.566666666668 | 24.317121918720854 |
BASE/speedChess/bPnisA | 572.6160894854586 | 2842.6666666666665 | 4.964349970013993 |
BASE/2pttc/unkkYA | 655.3573219628165 | 20137.28757080973 | 30.72718789575418 |
BASE/3pttc/0sol9g | 682.7183225806452 | 14814.0 | 21.698553429771348 |
BASE/skirmishNew/sibw2g | 688.1282650103519 | 3683.133333333333 | 5.352393617021277 |
BASE/amazonsTorus_10x10/Uxc08g | 702.6766921985815 | 1100.5666666666666 | 1.5662490002665956 |
DRESDEN/Zhadu/9zpQ5w | 704.0435334200259 | 18039.766666666666 | 25.623084099693457 |
BASE/wargame03/klXI8w | 753.0602952380953 | 1559.9 | 2.0714144801736043 |
BASE/wargame01/_GZFZg | 856.1574525252526 | 1860.9666666666667 | 2.1736266631537347 |
BASE/guess/SPpk1A | 871.2779095238095 | 2232.633333333333 | 2.5624812805750605 |
DRESDEN/guess/PhxGhg | 892.8636894736842 | 2239.6 | 2.508333608369913 |
DRESDEN/fizzbuzz/t1xHzQ | 941.907306122449 | 6136.0 | 6.514441453119288 |
STANFORD/platformjumpers/HEQskA | 1000.2749454545454 | 5468.7 | 5.467196819085487 |
DRESDEN/hanoi/RQ0jiA | 1065.5700787401574 | 22554.566666666666 | 21.166666666666668 |
BASE/hanoi/iGLsJg | 1075.6690590476192 | 22584.533333333333 | 20.995800839832032 |
DRESDEN/checkers/jIDMIg | 1116.4266666666667 | 32.266666666666666 | 0.028901734104046242 |
DRESDEN/battlebrushes/QHXV4A | 1145.5384296296297 | 309.06666666666666 | 0.2698003477426704 |
BASE/knightmove/jBaJEw | 1908.2731839662447 | 5004.766666666666 | 2.6226678175419957 |
DRESDEN/knightmove/97Ipcw | 1914.099905063291 | 4982.5 | 2.603051171373027 |
DRESDEN/max_knights/hCipiA | 2805.50072 | 3254.5333333333333 | 1.1600543568327202 |
DRESDEN/hitori/S8Gsyg | 2888.876059259259 | 794.9333333333333 | 0.27517045280826735 |
BASE/max_knights/2fq3Ag | 2921.843090909091 | 3193.8 | 1.093077177873468 |
BASE/hitori/S8Gsyg | 3027.543 | 805.7333333333333 | 0.2661343978709248 |
DRESDEN/pancakes88/aD3E7g | 4381.012701639344 | 44495.8 | 10.156510156510157 |
DRESDEN/pancakes/hl9aiQ | 4864.016025080386 | 50333.03333333333 | 10.348040194316896 |
DRESDEN/pancakes6/SZXMyQ | 4871.37423869239 | 50427.63333333333 | 10.35182904503545 |
BASE/pancakes/yUgbXw | 5303.535679856115 | 48999.1 | 9.23894981721502 |
BASE/pancakes6/QZTdnw | 5542.456236982968 | 50577.26666666667 | 9.125424631985613 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 7497.6485555555555 | 2859.3333333333335 | 0.3813640119494057 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 7930.7676363636365 | 2905.3333333333335 | 0.36633696339960703 |
DRESDEN/satlike_20v_91c/yeuENQ | 8034.3616363636365 | 2938.0 | 0.36567933246900036 |
BASE/skirmishZeroSum/zh4hcw | 8196.538628571428 | 3710.4 | 0.4526788889966696 |
BASE/hanoi_6_disks/MeubgQ | 8885.034966666666 | 18937.066666666666 | 2.131344078859731 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 8995.644 | 2934.0 | 0.32615786040443573 |
DRESDEN/hanoi_6_disks/MeubgQ | 9049.704703703705 | 18805.666666666668 | 2.0780420226275687 |
DRESDEN/kalaha_2009/gcC8uA | 13868.29575 | 659.5 | 0.047554509356349715 |
BASE/kalaha_2009/dRiN3g | 14074.4946 | 648.4 | 0.04606914979384055 |
BASE/gt_tinfoil/Q8DyKg | 17559.93306666667 | 8777.333333333334 | 0.49985004498650404 |
BASE/pancakes88/l2Xaig | 37275.55814728424 | 44200.2665778074 | 1.1857707509881423 |
BASE/hanoi7_bugfix/3gdnFw | 66950.28425925926 | 18978.033333333333 | 0.28346456692913385 |
DRESDEN/hanoi7_bugfix/3gdnFw | 67750.46509681958 | 19035.188270576473 | 0.2809602597321512 |
DRESDEN/hanoi7/51zz5Q | 67861.14237037038 | 18914.533333333333 | 0.2787240631774543 |
BASE/solitaireChineseCheckers/-ET6gw | 119723.9616 | 7718.4 | 0.06446829771459885 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 155692.1758 | 12016.066666666668 | 0.07717835918808366 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 159380.40736666665 | 12253.433333333332 | 0.07688167909587146 |
DRESDEN/Travelers-Dilemma/PvZwYw | 163617.93800000002 | 42284.0 | 0.2584313218762114 |
DRESDEN/twisty-passages/j7NPyg | 215451.0912 | 11356.266666666666 | 0.052709255745308874 |
BASE/twisty-passages/DiZmmg | 216776.90879999998 | 11462.4 | 0.05287648054145516 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 284365.6064666667 | 14644.433333333332 | 0.051498609537542483 |
BASE/amazonsSuicide/dE1QEQ | Infinity | 8.133333333333333 | 0.0 |
DRESDEN/farmers/S_ASnw | Infinity | 59.333333333333336 | 0.0 |
BASE/amazons/RKKZjw | Infinity | 8.1 | 0.0 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 1.0333333333333334 | 0.0 |
BASE/gt_two_thirds_2p/1APDGg | Infinity | 19034.233333333334 | 0.0 |
Games with errors:
Game | FLUXPLAYER_PROLOG:1.1 error message | REKKURA_GENERIC_FORWARD_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 |