Game-by-game performance:
Game | Perf ratio | PALAMEDES_JOCULAR:0.6.1 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
DRESDEN/golden_rectangle/1uloXw | 0.0027845696405258582 | 0.17844927579335573 | 64.0850468224081 |
STANFORD/selectivesukoshi/3xmXYg | 0.03194127546620563 | 4.199213014623833 | 131.46666666666667 |
BASE/golden_rectangle/_nYzfw | 0.04774839335156788 | 4.796802131912059 | 100.45996933537764 |
BASE/battlebrushes/arCwyA | 0.06077768514316738 | 0.28962973125409675 | 4.765395894428153 |
BASE/blokbox_simple/JBx4bg | 0.07005578931688987 | 0.3462930898787974 | 4.943104535049597 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.07195096222725308 | 7.913023240349769 | 109.97800439912018 |
BASE/quad_7x7/q-JOXg | 0.0966782689364546 | 2.2731161244592184 | 23.51217237819296 |
BASE/colonelBlotto/jip21A | 0.14031428238854615 | 0.05121638924455826 | 0.3650119458455004 |
DRESDEN/quad_7x7/q-JOXg | 0.1602710371893952 | 3.7597737481284312 | 23.458847050983007 |
BASE/simultaneousWin2/PfjRjw | 0.30453470871224203 | 143.00473238685595 | 469.58434718842705 |
BASE/copolymer_4/2LDVhQ | 0.357973619520483 | 20.016652789342213 | 55.91655836582358 |
BASE/copolymer_4_pie/IN5_jA | 0.3935787837933445 | 22.52282268274805 | 57.225703239568055 |
DRESDEN/grid_game2/kypTYQ | 0.4666406719763707 | 202.77972202779722 | 434.55218159394684 |
BASE/sudokuGrade6H/ieE_9A | 0.5453269173305023 | 67.99773340888638 | 124.69168722085195 |
BASE/sudokuGrade6E/ihYFZA | 0.5658002735978113 | 68.92414344754033 | 121.81709105452606 |
DRESDEN/CephalopodMicro/H3XQfg | 0.5869341299126355 | 15.218621998734557 | 25.92901183136144 |
BASE/sudokuGrade3/eI8dvg | 0.6073626585568308 | 74.51346307651293 | 122.68364218104253 |
STANFORD/sudoku/oJ1qyQ | 0.6439014936606676 | 79.42803813079128 | 123.3543312335433 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.6827284607886195 | 1.9411725998552345 | 2.843257182530499 |
BASE/ad_game_2x2/D0aWqg | 0.6973916253127178 | 0.02050609030882172 | 0.029403981299067895 |
BASE/sudokuGrade2/u80Tfw | 0.6975022354727874 | 85.74665911287366 | 122.93388429752066 |
BASE/quad/tw-Ufg | 0.7057355681432708 | 1.463747845037895 | 2.074074074074074 |
BASE/sudokuGrade5/BQfUQA | 0.7193218514531754 | 89.0910908909109 | 123.85428123854281 |
BASE/sudokuGrade4/DTy07w | 0.726518400110442 | 87.32460087324601 | 120.19599346688443 |
BASE/sudokuGrade1/tDRNRw | 0.7653542531919927 | 95.06032931137923 | 124.20435231779251 |
DRESDEN/quad/JPe6fg | 0.7824801279941782 | 1.5965828979016339 | 2.0404133482524847 |
BASE/cephalopodMicro/9l2D3g | 0.818706771632569 | 17.314287616954683 | 21.148338106973956 |
DRESDEN/quad_5x5/JAEP5g | 0.8411102784180089 | 4.883038041505824 | 5.8054670912951165 |
DRESDEN/slidingpieces/s9_44g | 0.8514613588656128 | 220.83333333333334 | 259.3580213992867 |
BASE/slidingpieces/uFJWEw | 0.8522967299987075 | 219.8 | 257.8914036198793 |
STANFORD/duidoku/3SoMaA | 0.925956779838819 | 71.6427857380873 | 77.37163040218587 |
BASE/chess_200/XsTpYA | 0.9305463047198216 | 2.9566573526544935 | 3.177335010260144 |
DRESDEN/peg/Vo31eg | 0.9494233728299891 | 325.155828139062 | 342.4771681887874 |
DRESDEN/peg_bugfixed/u_B7MA | 0.963361562763585 | 330.98896703443216 | 343.57709486034264 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.9773552270053614 | 194.44166749975008 | 198.94677198946772 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.9962866666666665 | 198.56666666666666 | 199.30675909878684 |
BASE/ticTacHeaven/18n58A | 1.0901404527910221 | 373.43333333333334 | 342.5552481583947 |
BASE/quad_5x5/JAEP5g | 1.1133970469656713 | 6.181015452538631 | 5.551492586929061 |
DRESDEN/blockerparallel/dVQgSg | 1.1614192093515538 | 491.7836072130929 | 423.43333333333334 |
BASE/blockerParallel/7-nDJA | 1.1614336989820013 | 486.93420438637423 | 419.2526915769474 |
BASE/hidato37/pBrqxw | 1.1842786163002208 | 21.19152339064374 | 17.894035321559482 |
DRESDEN/Zhadu/9zpQ5w | 1.1850897557857738 | 30.365654478184062 | 25.623084099693457 |
DRESDEN/tpeg/h-Scbg | 1.244170360377722 | 430.4 | 345.93333333333334 |
BASE/tpeg/QNs7Lw | 1.2467948051948052 | 419.2 | 336.2221259291357 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.2897867694762077 | 110.32965567814406 | 85.54100436535705 |
BASE/futoshiki6/JmvXNA | 1.4936010037641154 | 198.39338688710376 | 132.82890570314322 |
BASE/ticTacHeavenFC/mrletw | 1.50463612716763 | 451.1 | 299.80670532560157 |
BASE/hidato19/rRHSmA | 1.5216107961886305 | 209.36666666666667 | 137.59541348621713 |
BASE/ticblock/T21C1g | 1.5685003310527479 | 1895.1666666666667 | 1208.2666666666667 |
DRESDEN/pentago_2008/hLjVpQ | 1.6565476290701944 | 224.9591680277324 | 135.8 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1.6904919376156489 | 71.03333333333333 | 42.01932689103632 |
BASE/ticTacToeSerial/Amrwqw | 1.7652817720124825 | 961.6666666666666 | 544.7666666666667 |
BASE/futoshiki5/TJ4BZg | 1.816826122173473 | 358.8 | 197.487252974306 |
DRESDEN/ticblock/Z2yNWQ | 1.8303005325893988 | 1924.5 | 1051.4666666666667 |
DRESDEN/cubicup_3player/awDtsQ | 1.8390856849274422 | 326.70066326700663 | 177.64298093587522 |
BASE/lightsOnSimul4/9FeASw | 1.8399111589292798 | 669.7666666666667 | 364.0211992933569 |
BASE/conn4/va9Y7A | 1.8701912744465936 | 870.2 | 465.3 |
BASE/lightsOnSimultaneous/_VN6lw | 1.8711198824984538 | 941.2666666666667 | 503.0498983367221 |
BASE/tictactoe_3d_6player/d7KSwg | 1.8913996115311091 | 75.61568967240977 | 39.97869578243068 |
BASE/cubicup_3player/e2yA_g | 1.930502398055679 | 342.2552581580614 | 177.28818078794748 |
DRESDEN/javastrike/whONTQ | 2.0543488677050226 | 223.39255358154728 | 108.7412936981371 |
BASE/cittaceot/fDxhXg | 2.084844858112573 | 206.72644245191827 | 99.1567509915675 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 2.0963158104817787 | 1750.6333333333334 | 835.1 |
BASE/blockerSerial/3eqDuw | 2.1001888659052077 | 778.3740541981934 | 370.62097930068995 |
DRESDEN/battlesnakes2011/93VtTw | 2.1261649373108518 | 546.3333333333334 | 256.95717380436594 |
DRESDEN/tictactoeparallel/yk_DSg | 2.1830972963031083 | 2373.9 | 1087.4 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 2.2048805662046593 | 996.9 | 452.1333333333333 |
DRESDEN/battlesnakes1509/-qZrLw | 2.219576497309694 | 559.1666666666666 | 251.92493583547216 |
BASE/doubletictactoe/HH1htg | 2.242716957988347 | 2925.4 | 1304.4 |
DRESDEN/doubletictactoe/lJzgmQ | 2.2550862363163837 | 2863.4333333333334 | 1269.7666666666667 |
DRESDEN/doubletoetictac/V89gKQ | 2.267153208297366 | 2889.0333333333333 | 1274.3 |
BASE/othelloSuicide/B442jg | 2.2978562038628776 | 4.39882697947214 | 1.9143177767509407 |
DRESDEN/bunk_t/7-tPfA | 2.3185463592811204 | 2919.9 | 1259.3666666666666 |
BASE/doubletoetictac/fu35bg | 2.3502951243834733 | 2906.766666666667 | 1236.7666666666667 |
BASE/bunk_t/xbpfIA | 2.352604726100967 | 2920.366666666667 | 1241.3333333333333 |
DRESDEN/towerworld/HCX34w | 2.3927629510016346 | 42.96705858841555 | 17.957089552238806 |
BASE/strangeSkirmish/gc1zKA | 2.4209302325581397 | 34.67341704693069 | 14.322352862805182 |
DRESDEN/pawn_whopping/4ogBkg | 2.4586310727607747 | 1823.5666666666666 | 741.7 |
BASE/withConviction/3Xm54A | 2.4720878620611164 | 1448.0666666666666 | 585.7666666666667 |
STANFORD/triplesukoshi/Iu9mbA | 2.473167739957068 | 806.5 | 326.1 |
BASE/othelloHoles/c0qAzw | 2.4991658869440196 | 4.831237590999338 | 1.9331400193314001 |
DRESDEN/lightsout/XgLpzQ | 2.612592517489608 | 2576.8 | 986.3 |
DRESDEN/lightsout2/LFtfyQ | 2.7330290342508063 | 2654.5 | 971.2666666666667 |
DRESDEN/tictactoex9/rFkD4w | 2.7429168844746474 | 874.5333333333333 | 318.8333333333333 |
BASE/tictactoex9/BI26ow | 2.779488888888889 | 877.7333333333333 | 315.7894736842105 |
BASE/skirmishHoles/AUCxCA | 2.821327992466023 | 43.69126174765047 | 15.486062543710661 |
DRESDEN/cubicup/SBn_lw | 2.870816411411411 | 637.3 | 221.99260024665844 |
BASE/cubicup/4wNWJA | 2.8877942366431326 | 640.5666666666667 | 221.81866648895405 |
BASE/double_tictactoe_dengji/zgaSbA | 2.954517910613286 | 2664.0 | 901.6699443351888 |
BASE/futoshiki4/BaCwSw | 2.991694715923899 | 1020.3333333333334 | 341.0552981567281 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 3.023938165991295 | 2686.4666666666667 | 888.4 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.0415076959203033 | 814.7185281471852 | 267.8666666666667 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.065123277031388 | 827.0724309189694 | 269.8333333333333 |
STANFORD/duikoshi/tpw1sw | 3.1433998100664766 | 1765.3333333333333 | 561.6 |
BASE/checkers-mustjump-torus/uSApKQ | 3.2709897528558973 | 4.778179646281979 | 1.4607748746721556 |
DRESDEN/quad_5x5_8_2/JRTLJg | 3.3088128755955126 | 7.35340528940226 | 2.222369643094069 |
BASE/nonogram_10x10_1/0Xc62g | 3.4354977139545877 | 38.652494085501985 | 11.250915385127488 |
BASE/factoringGeorgeForman/HGRorQ | 3.637656221698968 | 12050.1 | 3312.6 |
DRESDEN/sheep_and_wolf/enAIzQ | 3.7293276733868344 | 1270.1666666666667 | 340.58864704509847 |
BASE/skirmishFinal1/ecWTnQ | 3.8459403275726745 | 55.37784886045582 | 14.399040063995734 |
BASE/lightsOut/5P1ZBw | 3.86211979942154 | 2507.3333333333335 | 649.2116929435686 |
BASE/pegEuro/5awwhg | 3.905731411262391 | 261.4405226144052 | 66.93766034718288 |
BASE/skirmishFinal2/gdB62Q | 3.9146736616828166 | 57.28281515545336 | 14.632845571814272 |
STANFORD/alquerquezero/uVgA_A | 3.9537823066041637 | 262.55791473617546 | 66.4067706250833 |
STANFORD/multiplesukoshi/vLSQPg | 3.9700588168044764 | 495.01683277224095 | 124.68753124687531 |
DRESDEN/skirmishfinal/hzq8ww | 4.184301168265029 | 62.543733964213125 | 14.947235260827592 |
DRESDEN/minichess-evilconjuncts/th24Tw | 4.288882263563706 | 419.43870408639424 | 97.79674010866304 |
BASE/minichess-evilconjuncts/4OpQzw | 4.319396548965832 | 419.93333333333334 | 97.22037061725104 |
DRESDEN/smallest/9kaGFw | 4.360635569680854 | 152.08479152084792 | 34.87674883411059 |
BASE/skirmish/Y_psYQ | 4.555585177286057 | 35.59050919754732 | 7.8125 |
BASE/skirmishFinal3/-Olhfw | 4.556655629595552 | 72.97324314418047 | 16.014649575495255 |
DRESDEN/brain_teaser_extended/ZDp94A | 4.622077215878194 | 6800.0 | 1471.2 |
DRESDEN/blocker/S815zQ | 4.666428883903395 | 9676.30693366208 | 2073.6 |
DRESDEN/fizzbuzz/t1xHzQ | 4.680813422446327 | 30.492884993501516 | 6.514441453119288 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 4.772238564019493 | 125.05832944470369 | 26.205380927011188 |
BASE/qyshinsu/R08Lzw | 4.775133483230279 | 283.03333333333336 | 59.272339574865065 |
BASE/brain_teaser_extended/ZDp94A | 4.8072557455732605 | 7411.666666666667 | 1541.7666666666667 |
DRESDEN/latenttictactoe/kITHKg | 4.94431164464525 | 6274.166666666667 | 1268.9666666666667 |
BASE/ticTacToeParallel/ymRGPw | 4.958468129724458 | 2485.266666666667 | 501.2166261124629 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 4.9589168116023705 | 6.360094568945423 | 1.282557221783741 |
DRESDEN/chickentictactoe/Ipbo-g | 4.97120935198422 | 9157.133333333333 | 1842.0333333333333 |
BASE/peg/fJHVWw | 4.988982651485948 | 336.44423705086325 | 67.43744377436444 |
BASE/nineBoardTicTacToePie/B8LzeQ | 5.167462003806453 | 1186.793773540882 | 229.66666666666666 |
BASE/breakthroughSuicideSmall/XSbJog | 5.19393297304013 | 464.43333333333334 | 89.41843026162306 |
DRESDEN/stratego/Z2wovg | 5.316395664523845 | 1185.3 | 222.95180321311912 |
BASE/nim3/1OwUqw | 5.54745238221789 | 170.9609679677344 | 30.81792437114776 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 5.6513300514396105 | 2697.6666666666665 | 477.35075497483416 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 5.693782443541155 | 7.022331680367424 | 1.2333333333333334 |
DRESDEN/nim3/sG_axA | 5.7293574890484775 | 179.16763853253806 | 31.27185533020282 |
BASE/nim4/twk16w | 5.839344983207284 | 181.36062131262292 | 31.05838443081845 |
BASE/numbertictactoe/rvJ-iQ | 5.8436170212765965 | 4760.6 | 814.6666666666666 |
DRESDEN/nim4/F5YAYg | 5.950993389826074 | 184.3271890936969 | 30.97418817651957 |
DRESDEN/tictactoelarge/IwXcbg | 6.106882981882982 | 5483.166666666667 | 897.8666666666667 |
STANFORD/nineboardtictactoe/y28P-A | 6.130713113266406 | 1200.9666666666667 | 195.8934702176594 |
DRESDEN/othello-cornercontrol/r5Gdlg | 6.264748793608563 | 3.4153458452152 | 0.5451688419972421 |
BASE/connectFourSimultaneous/7ITr3g | 6.361839697021863 | 1231.7 | 193.607518997467 |
DRESDEN/eotcatcit/mQUxzA | 6.395481099125274 | 13794.2 | 2156.866666666667 |
DRESDEN/mimikry/GJEhwA | 6.397877545857052 | 1011.1 | 158.03678528588566 |
BASE/snakeAssemblit/UO4sdg | 6.488097108357165 | 1361.0666666666666 | 209.77902209779023 |
BASE/eotcatcit/AfZSzA | 6.494065828461601 | 13515.233333333334 | 2081.1666666666665 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 6.525885987878788 | 299.03333333333336 | 45.822641383677144 |
BASE/nineBoardTicTacToe/wRmqqA | 6.534195933456562 | 1296.1666666666667 | 198.36666666666667 |
BASE/englishDraughts/jFkQxg | 6.664124324324323 | 599.9333333333333 | 90.02433090024331 |
BASE/pawnWhopping/Ypc_6Q | 6.683132105593966 | 1771.9666666666667 | 265.14015265140154 |
DRESDEN/crisscross/GsY16g | 6.756361896358094 | 1403.7 | 207.75974134195528 |
DRESDEN/tictactoelargesuicide/6J4DeA | 6.789097264797672 | 5493.284900189956 | 809.1333333333333 |
BASE/connect4/50bOyw | 6.884292809839168 | 727.5 | 105.67534242010197 |
BASE/tictactoe_3d_2player/IUC1rQ | 6.929579187043796 | 310.6792880474635 | 44.83378855505962 |
BASE/sum15/QZ07Kg | 6.972332188391453 | 15968.5 | 2290.266666666667 |
BASE/crisscross/ICagEg | 6.978935738503921 | 1463.6666666666667 | 209.72634245525148 |
BASE/lightsOnParallel/SC6enA | 7.070989277304007 | 10309.266666666666 | 1457.9666666666667 |
DRESDEN/sum15/CsgWKg | 7.153287914691943 | 16099.666666666666 | 2250.6666666666665 |
STANFORD/pentago/ZxzLmg | 7.176790440174299 | 552.2815906136462 | 76.95384102649558 |
DRESDEN/tictictoe/LAUtwg | 7.238303560578442 | 7941.866666666667 | 1097.2 |
BASE/eotcitcit/V_9_bg | 7.377847336287849 | 7935.366666666667 | 1075.5666666666666 |
DRESDEN/tictactoe/BTTzPw | 7.431821953220691 | 14435.570961935871 | 1942.4 |
BASE/breakthroughSmallHoles/bxclRw | 7.571531604526834 | 2423.233333333333 | 320.04533031131257 |
DRESDEN/Thief_Police/CX18rA | 7.742280074988504 | 7296.066666666667 | 942.3666666666667 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 7.747365743768622 | 14214.866666666667 | 1834.8 |
DRESDEN/connect4/T0-rHQ | 7.758729759229534 | 805.4 | 103.80565182617968 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 7.8100761528698355 | 7384.166666666667 | 945.4666666666667 |
DRESDEN/lightson2x2/gBHuig | 7.875029682782968 | 12840.23589777763 | 1630.5 |
BASE/nonogram_5x5_1/qLKEZw | 7.908775040831973 | 395.3201559948002 | 49.985004498650405 |
STANFORD/multipletictactoe/_bkafQ | 7.936424221928958 | 1603.6333333333334 | 202.05993133562214 |
DRESDEN/gt_ultimatum/pAiiQw | 8.006131289570144 | 177.80739753415529 | 22.208903539439948 |
STANFORD/dualhunter/1rPZjQ | 8.115245315123337 | 2792.633333333333 | 344.12186260457986 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 8.12940759134445 | 7638.933333333333 | 939.6666666666666 |
DRESDEN/catch_me/ghGWrA | 8.131086544309685 | 7575.733333333334 | 931.7 |
BASE/tictactoe_orthogonal/WRzlVw | 8.155124452282687 | 14951.333333333334 | 1833.3666666666666 |
BASE/chickentictactoe/DSlZCA | 8.181510355347696 | 8980.57120005332 | 1097.6666666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 8.258852221158893 | 8917.633333333333 | 1079.7666666666667 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 8.318739054290718 | 475.0 | 57.1 |
BASE/chickentoetictac/l57rfQ | 8.404355605987867 | 12837.933333333332 | 1527.5333333333333 |
BASE/checkers-mustjump/T-8UuQ | 8.419299995624973 | 10.60681629260183 | 1.2598216357789345 |
BASE/tictactoe2/bhrDoQ | 8.473832781625068 | 13908.666666666666 | 1641.3666666666666 |
DRESDEN/chomp/-LcqYQ | 8.502643956478735 | 1910.1333333333334 | 224.65168988734084 |
BASE/gt_ultimatum/GE-uOA | 8.531658597190514 | 179.9640071985603 | 21.093671898430472 |
BASE/chomp/-LcqYQ | 8.609969913754554 | 1924.1358621379288 | 223.4776522347765 |
DRESDEN/chickentoetictac/cxYaRQ | 8.647817504822575 | 12851.233333333334 | 1486.0666666666666 |
BASE/3pConnectFour/PqXOFQ | 8.764809715440311 | 1734.9666666666667 | 197.9468719794687 |
STANFORD/breakthrough/d5j0cQ | 8.800223004281776 | 1666.8333333333333 | 189.4080789228103 |
DRESDEN/statespacemedium/dVJZ_w | 8.97829912997277 | 18024.833333333332 | 2007.6 |
BASE/ticTacToeLarge/TZC0dg | 9.026071711344871 | 5319.966666666666 | 589.4 |
DRESDEN/3pffa/0YrmQw | 9.087048610895547 | 1951.4 | 214.74519214745192 |
BASE/stateSpaceMedium/3bUoIw | 9.15816209933857 | 17982.05128205128 | 1963.5 |
BASE/blocker/dIWtxg | 9.193751342724735 | 9985.333333333334 | 1086.1 |
BASE/ticTacToeLargeSuicide/727_8g | 9.3123472924598 | 5462.933333333333 | 586.6333333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 9.39238114606917 | 4010.1 | 426.95243491883605 |
BASE/lightsOn/MsXu3A | 9.419843561798894 | 21637.066666666666 | 2296.9666666666667 |
DRESDEN/3pttc/uwYBZw | 9.440574940826913 | 2082.766666666667 | 220.61862542497167 |
DRESDEN/8puzzle/8fKC2w | 9.488955944477972 | 7861.6 | 828.5 |
DRESDEN/tictactoe_3player/ESLQQQ | 9.563795216839525 | 2428.1666666666665 | 253.89153694876836 |
BASE/incredible/8Qh-6Q | 9.599261755737443 | 7975.066666666667 | 830.8 |
DRESDEN/nim2/z5_exA | 9.67831573659362 | 291.9138724085061 | 30.161639726712213 |
STANFORD/freeforall/Lfp40Q | 9.887150460266872 | 824.9725009166361 | 83.4388537154282 |
BASE/breakthroughSuicide/wZDpIg | 9.964231617647059 | 316.1666666666667 | 31.730160317301603 |
BASE/breakthrough/TGxk-g | 9.978366511512359 | 315.95613479550684 | 31.664114004128653 |
BASE/nim2/eF2Qqw | 10.060736814721153 | 306.302703063027 | 30.44535491822391 |
DRESDEN/skirmish2/iPpWhQ | 10.103273669085306 | 174.0608646378454 | 17.22816488386817 |
BASE/connectFourSuicide/c8p9Kw | 10.191936948254497 | 2650.0666666666666 | 260.01599893340443 |
BASE/stateSpaceLarge/0Ge_CQ | 10.30277612295961 | 14411.866666666667 | 1398.8333333333333 |
DRESDEN/skirmish3/3LU8Nw | 10.405896894097879 | 178.11552178115522 | 17.11678710579773 |
BASE/breakthroughWalls/vOZaYA | 10.41599349422317 | 329.98900036665447 | 31.680991405156906 |
DRESDEN/guess/PhxGhg | 10.468903221560433 | 26.25950179341209 | 2.508333608369913 |
DRESDEN/statespacelarge/8-y5HQ | 10.493890988903793 | 14343.4 | 1366.8333333333333 |
BASE/connectFour/WAIKTw | 10.71401055525751 | 2662.7 | 248.52504916502784 |
STANFORD/tictictoe/rpt_Dw | 10.722312190711957 | 7929.1498650314925 | 739.5 |
DRESDEN/skirmish/RjGQYQ | 10.805078319572521 | 181.94847181948472 | 16.83916270092183 |
STANFORD/tictactoe/ss1kyQ | 10.815818311325406 | 13159.966666666667 | 1216.7333333333333 |
DRESDEN/blocks2player/3ev8nQ | 10.957909626118207 | 19109.133333333335 | 1743.8666666666666 |
STANFORD/trifecta/ss1kyQ | 11.046825373418582 | 13533.3 | 1225.0849943337112 |
BASE/brawl/6Ymo_Q | 11.09221897810621 | 134.13536841403672 | 12.092744353387967 |
STANFORD/jointbuttonsandlights/qAKuIQ | 11.188769354514376 | 14837.8 | 1326.1333333333334 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 11.240367370807084 | 6.283871396748346 | 0.5590450195665757 |
BASE/rubiksCube/9tNO9Q | 11.297051020949352 | 946.5666666666667 | 83.78882815624583 |
DRESDEN/grid_game/U7_Yeg | 11.325470606319383 | 2210.133333333333 | 195.14715195147153 |
BASE/ticTicToe/c1OobQ | 11.382548356493642 | 7945.133333333333 | 698.0100663311223 |
BASE/blocks2player/wnTLOQ | 11.446761173342969 | 19372.11705105986 | 1692.3666666666666 |
BASE/2pffa/6oHijA | 11.449566436464089 | 828.7 | 72.37828651404578 |
DRESDEN/point_grab/r5DPmQ | 11.608741941464737 | 16009.61601147402 | 1379.1 |
BASE/breakthroughHoles/nZk0Sg | 11.62155925141243 | 365.53333333333336 | 31.453037017292505 |
BASE/firefighter/WJmoPw | 11.70828033579242 | 12273.4 | 1048.2666666666667 |
DRESDEN/brawl/2kXtfQ | 11.715123047673874 | 137.21046492251293 | 11.712251281027484 |
BASE/ticTacToe/JRFsaQ | 11.718615551266282 | 14129.916011198507 | 1205.7666666666667 |
BASE/chinook/XQh0IQ | 11.767488128646304 | 276.32412252924905 | 23.481997135529426 |
BASE/guess/SPpk1A | 11.827619871589764 | 30.30805451470637 | 2.5624812805750605 |
STANFORD/chinook/osFbPA | 11.830004511327152 | 254.11639224051729 | 21.480667399340593 |
BASE/escortLatch/mX9BjQ | 11.858148047808763 | 991.9333333333333 | 83.6499366793308 |
DRESDEN/firefighter/WJmoPw | 11.952022439085702 | 12119.350753232902 | 1014.0 |
STANFORD/connectfour/VMpZkQ | 12.036085546819155 | 2806.133333333333 | 233.14335233143353 |
BASE/tictactoe_3player/GtM71g | 12.168082038134916 | 2531.366666666667 | 208.03333333333333 |
BASE/coloredtrails/EZvr7g | 12.530223478729132 | 6204.966666666666 | 495.2 |
BASE/connectFour_9x6/B9TtMw | 12.646601982526883 | 2508.3333333333335 | 198.3404978506448 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 12.829018589152117 | 7.19352582675592 | 0.5607230028365987 |
BASE/2pffa_zerosum/o0_uZA | 12.87251586452763 | 802.3333333333334 | 62.329178054796344 |
BASE/ticTacToeNoVars/XT03NA | 12.911657331466293 | 17212.1 | 1333.0666666666666 |
STANFORD/dualrainbow/G3OnRQ | 12.94259315358982 | 11392.933333333332 | 880.2666666666667 |
BASE/dualConnect4/WbCQkg | 13.167249209138841 | 1498.1333333333334 | 113.77724455108978 |
BASE/toetictac/mTThmg | 13.400338865235902 | 20563.266666666666 | 1534.5333333333333 |
DRESDEN/toetictac/mJtxCA | 13.64418230795968 | 20935.633333333335 | 1534.4 |
DRESDEN/nim1/M9BALA | 13.926333366393461 | 399.2067195520299 | 28.66560127846584 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 14.553844317096466 | 4063.4333333333334 | 279.2 |
BASE/nim1/hin2Qw | 14.787525532092024 | 427.8381441237251 | 28.932368921035966 |
BASE/endgame/jYjfOA | 14.848488373502372 | 544.0637290847277 | 36.6410179540988 |
STANFORD/madness/UO_B3A | 15.219522350276463 | 35.1408966757711 | 2.3089355806972987 |
STANFORD/checkersonabarrelnokings/Zrevdw | 15.282762705724016 | 372.7875737475417 | 24.392682195341397 |
BASE/3pffa/pR0dzA | 15.529487589413447 | 964.8666666666667 | 62.13126229125696 |
STANFORD/eightpuzzle/W_aWbA | 15.582979316108366 | 7458.533333333334 | 478.6333333333333 |
STANFORD/skirmish/w4V6Vw | 15.643013742729007 | 37.36512588250966 | 2.388614271970275 |
STANFORD/8puzzle/jNiGtw | 15.825322623123519 | 8011.833333333333 | 506.26666666666665 |
DRESDEN/oisters_farm/pTQMLg | 15.88318313298439 | 17730.92677078824 | 1116.3333333333333 |
BASE/connectFourLarge/aU644A | 16.056880733944954 | 2041.9 | 127.16666666666667 |
DRESDEN/circlesolitaire/ruUilQ | 16.12853296349425 | 26886.264450144918 | 1667.0 |
BASE/eightPuzzle/vLrgFg | 16.388883413859435 | 8140.633333333333 | 496.7167761074631 |
BASE/circlesolitaire/azuQFQ | 16.421737650427502 | 27337.266666666666 | 1664.7 |
DRESDEN/frogs_and_toads/GjchhQ | 17.060387011448874 | 1440.0333333333333 | 84.40801093005432 |
DRESDEN/chinesecheckers1/Y-ftaA | 17.06195343802046 | 3187.0666666666666 | 186.79377354088197 |
BASE/4pffa/Q3ADlg | 17.175960438222763 | 940.2 | 54.739297018157586 |
DRESDEN/4pttc/9pB9AQ | 17.351063063063062 | 1454.9333333333334 | 83.85269121813032 |
DRESDEN/chinesecheckers4/-oVNYg | 17.44895777659006 | 1088.2333333333333 | 62.36666666666667 |
DRESDEN/sat_test_20v_91c/dK7nVw | 17.473507375319336 | 3495.633333333333 | 200.0533297780148 |
DRESDEN/logistics/fPru1Q | 17.72079096045198 | 5227.633333333333 | 295.0 |
DRESDEN/satlike_20v_91c/yeuENQ | 17.74873512014515 | 6.4903456109037805 | 0.36567933246900036 |
DRESDEN/crissrace/KWb9bw | 17.913980446927376 | 854.6666666666666 | 47.70947859403631 |
BASE/checkersTorusNoKings/pwb6oQ | 18.164911425873463 | 427.46666666666664 | 23.532548915036166 |
BASE/crissrace/ERWGDA | 18.394918002322882 | 879.3333333333334 | 47.80305806322662 |
BASE/checkersBarrelNoKings/rnKNeg | 18.582545955762694 | 446.9517682743909 | 24.052235325471383 |
STANFORD/hunter/14dD-g | 18.7531328320802 | 8480.166666666666 | 452.2 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 18.788554581800735 | 3915.9 | 208.4194387040864 |
STANFORD/rainbow/_4qNSQ | 18.895262360556398 | 27439.7 | 1452.2 |
BASE/checkLines/Vop7oQ | 19.10525583145222 | 2820.8333333333335 | 147.646980402613 |
DRESDEN/chinesecheckers3/QsCb2A | 19.17494599940066 | 2132.4666666666667 | 111.2110911151103 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 19.21059861412131 | 7.326230959430996 | 0.3813640119494057 |
BASE/racer/QQYQNw | 19.473616307573216 | 1.5481873306670106 | 0.07950178879024777 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 19.597267679127725 | 3913.9666666666667 | 199.72001866542232 |
STANFORD/bestbuttonsandlights/nm0wEA | 19.64927088323291 | 24406.359364063595 | 1242.1 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 19.783385584267837 | 4057.1666666666665 | 205.07949205079493 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 19.890417207913224 | 17424.668488038915 | 876.0333333333333 |
DRESDEN/endgame/IJhh3Q | 20.492470355191255 | 499.56666666666666 | 24.378059746228395 |
DRESDEN/snake_2009_big/DgC1NQ | 20.890391170585293 | 2783.9 | 133.26222459251358 |
BASE/racetrackcorridor/_RkdUg | 21.206841493153256 | 1255.7333333333333 | 59.213595468177274 |
BASE/snake_2009_big/-oRfVw | 21.37374209876543 | 2885.1666666666665 | 134.98650134986502 |
BASE/checkersTorus/2vm1EQ | 21.375099771466736 | 420.99123420991236 | 19.695404405638683 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 21.934321777777775 | 3563.733333333333 | 162.47292117980336 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 22.143032317837484 | 27086.833333333332 | 1223.2666666666667 |
BASE/skirmishNew/sibw2g | 22.16707153362638 | 118.64689218463589 | 5.352393617021277 |
BASE/untwistycomplex2/EDPPAQ | 22.284449226185547 | 62828.03333333333 | 2819.366666666667 |
STANFORD/multiplebuttonsandlights/cK70Yg | 22.284582370419283 | 27000.0 | 1211.6 |
STANFORD/untwistycorridor/EDPPAQ | 22.5478316739551 | 62966.32313829787 | 2792.5666666666666 |
BASE/point_grab/V_osUg | 23.103618432455715 | 16168.143361534874 | 699.8100063331223 |
BASE/duplicateStateMedium/U163eQ | 23.1822398580943 | 17455.64475831973 | 752.9749008366388 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 23.22220423460145 | 3417.9666666666667 | 147.18528147185282 |
BASE/hexPie/48CH6Q | 23.305922651933702 | 562.0 | 24.11404209965361 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 23.60438722972973 | 3493.1 | 147.985201479852 |
BASE/speedChess/bPnisA | 23.667180577223267 | 117.49216718885408 | 4.964349970013993 |
DRESDEN/chinesecheckers2/06E6-Q | 24.192667290344136 | 2413.3 | 99.75336621783762 |
BASE/chineseCheckers4/avfBcQ | 24.257195863610956 | 1446.2 | 59.619422134835204 |
BASE/beatMania/qUHwvQ | 24.393062438057484 | 12305.889803673212 | 504.4831838938702 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 24.59788535428612 | 3860.5333333333333 | 156.94574056792428 |
BASE/hex/T1MK8g | 24.62296582964661 | 612.0462651244959 | 24.856723977075838 |
STANFORD/hex/MTqWcw | 25.12228938547486 | 598.8666666666667 | 23.838060993474496 |
BASE/racer4/0vs7Ww | 25.43571515574306 | 7.341460983955088 | 0.28862805464691166 |
BASE/connect5/d-BVQg | 25.439252336448597 | 1179.5333333333333 | 46.36666666666667 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 25.458782701585115 | 3693.7 | 145.0854914508549 |
DRESDEN/racer/vk_ZBA | 25.6135035941538 | 2.117401785132582 | 0.08266740148801323 |
BASE/duplicateStateLarge/dcjyuw | 25.64730079134367 | 7057.666666666667 | 275.1816545563629 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 25.792613730630123 | 5.574542920662309 | 0.2161294306533284 |
BASE/smallest_4player/ADDROA | 26.272686838868392 | 949.0666666666667 | 36.123700346574246 |
DRESDEN/smallest_4player/ADDROA | 26.43498581884721 | 962.6333333333333 | 36.41512577044811 |
BASE/2pttc/unkkYA | 27.137747505422997 | 833.8666666666667 | 30.72718789575418 |
BASE/hallway/ckCJOw | 27.255884098129307 | 480.08399720009334 | 17.61395797955582 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 27.771117418221127 | 10.173586825205062 | 0.36633696339960703 |
DRESDEN/battle/8oAvhQ | 27.881210184013675 | 26.90284344409669 | 0.9649094593290662 |
BASE/connectFourLarger/qKi60A | 28.013256686478453 | 1256.2333333333333 | 44.84424454439447 |
DRESDEN/pawntoqueen/f_x6Aw | 28.376512420872494 | 36.76690978119692 | 1.2956810631229236 |
DRESDEN/hallway/0H4l-Q | 28.41843959131545 | 494.26666666666665 | 17.392463265918103 |
BASE/battle/8oAvhQ | 29.3329068088415 | 28.25724758413862 | 0.9633292659430993 |
DRESDEN/snake_2009/zIYLVw | 29.72685091789389 | 4911.866666666667 | 165.23333333333332 |
BASE/snake_2009/7l-qAQ | 29.846203565859938 | 4891.466666666666 | 163.88907406172922 |
BASE/pawnToQueen/-O1_JA | 30.098822481711395 | 37.73773440362389 | 1.2537943777220535 |
DRESDEN/minichess/c7GMFw | 30.39743739150833 | 2879.266666666667 | 94.72070390614584 |
DRESDEN/chinesecheckers6/yTbPDA | 30.75523851761847 | 1687.1 | 54.85569552756115 |
DRESDEN/aipsrovers01/qS47Mw | 31.736761344194903 | 12662.967776333766 | 399.0 |
BASE/aipsrovers01/4C4jsw | 32.73815241553116 | 13033.937626354687 | 398.12685398126854 |
DRESDEN/racetrackcorridor/O0DoTA | 35.5280530807501 | 2062.0333333333333 | 58.039581528619976 |
BASE/chineseCheckers2/eCMR3Q | 39.29441672081438 | 4030.6666666666665 | 102.5760655846969 |
BASE/chineseCheckers1/gqtwHw | 41.51927657389 | 5568.933333333333 | 134.1288623712543 |
BASE/dotsAndBoxes/EHwA_w | 42.78444098484849 | 1254.4666666666667 | 29.32062772798454 |
BASE/chineseCheckers3/-1rZdQ | 44.38252784697509 | 3324.733333333333 | 74.91086007531074 |
BASE/dotsAndBoxesSuicide/jzQbLw | 44.601024367816095 | 1292.2666666666667 | 28.97392346887801 |
BASE/3pttc/0sol9g | 46.156686738351254 | 1001.5333333333333 | 21.698553429771348 |
BASE/pacman2p/4LEdQg | 47.12832211838006 | 1006.6 | 21.358706500765187 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 47.28125096382198 | 15.421151651605342 | 0.32615786040443573 |
BASE/chineseCheckers6/rREH3A | 47.75435608308606 | 2145.3333333333335 | 44.924348463640605 |
BASE/pacman3p/wW7UVQ | 50.515186379889734 | 1073.4308856371454 | 21.24966693312017 |
BASE/4pttc/AL1k2Q | 50.51833971962616 | 719.4333333333333 | 14.241032807612964 |
DRESDEN/gt_prisoner/huCp4w | 56.1948359408736 | 11276.8 | 200.67324356752434 |
DRESDEN/checkers-mustjump/HUr33w | 56.29594045042688 | 12.918262027634427 | 0.22947057859367317 |
DRESDEN/Runners/3bOCQw | 59.624082974589584 | 14274.005464116746 | 239.4 |
DRESDEN/gt_chicken/CeuKtw | 60.27558940975777 | 9813.566666666668 | 162.8116251166511 |
DRESDEN/roshambo2/jgSlkQ | 61.89568934416768 | 19717.903435407017 | 318.56666666666666 |
BASE/roshambo2/KNPokQ | 62.41836360079352 | 19519.652255012992 | 312.72290923635876 |
BASE/sheepAndWolf/g4THrg | 63.68155150501673 | 1267.4 | 19.902153293174027 |
DRESDEN/four_way_battle/xSOQXA | 66.95647742918017 | 114.98850114988501 | 1.7173618679612932 |
BASE/four_way_battle/xSOQXA | 67.36701307189541 | 113.83333333333333 | 1.6897488569345969 |
BASE/checkers/rOC3Xg | 69.15744196453785 | 52.16348556010792 | 0.7542714721411472 |
BASE/wallmaze/uxNQ9g | 71.11581652892562 | 1720.2 | 24.1887119344306 |
BASE/gt_staghunt/xPjLRA | 73.39107127371274 | 11433.566666666668 | 155.78961402573162 |
BASE/gt_prisoner/klthDw | 75.80420718151235 | 11515.266666666666 | 151.9080153307782 |
BASE/gt_chicken/gmepTQ | 76.08904969314396 | 9641.733333333334 | 126.71643780829223 |
STANFORD/platformjumpers/HEQskA | 81.23670543175909 | 444.137057529498 | 5.467196819085487 |
BASE/tron_10x10/7ZTgDg | 97.31422168586579 | 23652.266666666666 | 243.0504633024465 |
BASE/gt_coordination/IVMOzA | 101.2478768778576 | 20666.0 | 204.11292204112922 |
BASE/checkersSmall/SYmq8w | 106.94530182327256 | 84.39718676044131 | 0.7891621728265158 |
BASE/checkers-newgoals/0XkFiA | 109.16953218712516 | 48.28068772491004 | 0.4422542330048016 |
DRESDEN/knightstour/cGISAA | 125.68742469846835 | 66922.13333333333 | 532.4489183693877 |
BASE/bomberman2p/4CClwA | 144.19952494061758 | 4047.2 | 28.066666666666666 |
DRESDEN/mummymaze2p/k-8edg | 145.1453517699115 | 2183.0 | 15.040095830699098 |
BASE/mummymaze2p/vpjDdA | 147.1774701098901 | 2228.7 | 15.142942723067195 |
BASE/cylinder-checkers/hlldmw | 151.80958411090376 | 42.58864302852572 | 0.2805398834200929 |
DRESDEN/cylinder-checkers/clOO3Q | 167.66614467064272 | 47.07959884050245 | 0.28079371022089106 |
DRESDEN/connect5/1kYzSg | 178.53130623973726 | 1192.8333333333333 | 6.681367870190567 |
BASE/knightsTourLarge/M8jgLA | 183.08772044233805 | 19301.6 | 105.42269002731331 |
DRESDEN/hitori/S8Gsyg | 196.62168325041458 | 54.1044776119403 | 0.27517045280826735 |
STANFORD/knightstourbig/TQUI2g | 200.09941457242584 | 15286.066666666668 | 76.3923607639236 |
BASE/knightmove/jBaJEw | 203.57295405186878 | 533.9042351137916 | 2.6226678175419957 |
BASE/ghostMaze2p/W-NU-w | 204.5251147735709 | 6119.466666666666 | 29.920367840602406 |
DRESDEN/knightmove/97Ipcw | 206.66772616033757 | 537.9666666666667 | 2.603051171373027 |
BASE/hitori/S8Gsyg | 217.80431740955427 | 57.96522086747951 | 0.2661343978709248 |
BASE/hanoi/iGLsJg | 232.1781723809524 | 4874.766666666666 | 20.995800839832032 |
DRESDEN/hanoi/RQ0jiA | 237.39527559055117 | 5024.866666666667 | 21.166666666666668 |
DRESDEN/checkers-newgoals/IJOqXQ | 241.4391703703704 | 67.53333333333333 | 0.2797115862754848 |
BASE/checkersTiny/Lr48cg | 243.25733936578143 | 185.92093860409307 | 0.7642973448974845 |
STANFORD/knightstour/cEwgNA | 246.37026930834026 | 69221.83333333333 | 280.96666666666664 |
BASE/knightsTour/mvtVIg | 257.3366062217288 | 69530.03333333334 | 270.19099363354553 |
BASE/skirmishZeroSum/zh4hcw | 262.13813713028946 | 118.66440067979606 | 0.4526788889966696 |
BASE/knightfight/SJRkAg | 282.39107368421054 | 3397.2 | 12.030125299920021 |
DRESDEN/knightfight/4_Ly4w | 289.0208397333333 | 3610.233333333333 | 12.4912561207155 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 299.30445904844044 | 23130.066666666666 | 77.2793921620901 |
BASE/kitten_escapes_from_fire/uW-YiA | 316.5815990062838 | 24062.733333333334 | 76.00799733422193 |
BASE/kalaha5x2x3/WviNsw | 321.38640808080805 | 5294.933333333333 | 16.475287069395907 |
BASE/crossers3/O0rORg | 324.7306766666667 | 1074.7333333333333 | 3.3096144299189145 |
DRESDEN/crossers3/xiPTxg | 341.6590244897959 | 1112.6 | 3.256463082341995 |
BASE/haystack/UkweGA | 356.13259663091014 | 4842738.533333333 | 13598.133333333333 |
BASE/onestep/xi53wA | 380.588931260839 | 2757836.2 | 7246.233333333334 |
BASE/survival/YVIjJA | 395.9320217188593 | 2717466.2333333334 | 6863.466666666666 |
BASE/pearls/6k_mEQ | 461.7993842519172 | 6619832.6 | 14334.866666666667 |
STANFORD/knightstourmedium/x1wu8Q | 506.9018506966105 | 162512.73333333334 | 320.6 |
DRESDEN/quartosuicide/WIU1oQ | 543.8623797333333 | 2251.5333333333333 | 4.139895343445717 |
BASE/quarto/EwBMVQ | 547.2802645333333 | 2266.133333333333 | 4.140718166158739 |
BASE/quartoSuicide/-23jUg | 558.6066091666667 | 2218.233333333333 | 3.9710116152089743 |
DRESDEN/quarto/OQzRYQ | 564.323662295082 | 2287.9 | 4.054233683370995 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 589.9484751381216 | 3555.8 | 6.027306027306027 |
DRESDEN/merrills/aYEzwA | 606.3096666666668 | 11.433333333333334 | 0.018857250612860643 |
BASE/merrills/pku8Tg | 622.006456121668 | 11.18173649705481 | 0.0179768817300951 |
DRESDEN/max_knights/hCipiA | 886.7113228571429 | 1028.6333333333334 | 1.1600543568327202 |
BASE/max_knights/2fq3Ag | 935.3715858585858 | 1022.4333333333333 | 1.093077177873468 |
BASE/kalaha6x2x4/XS81Mg | 976.3780293399232 | 4541.745825417458 | 4.651626407947636 |
DRESDEN/buttons/ADUaHw | 1020.6578732939499 | 4008327.6 | 3927.2 |
BASE/buttons/hTcUjw | 1041.4313308750725 | 4066997.6333333333 | 3905.2 |
BASE/troublemaker01/s3tlEQ | 1051.5935658749925 | 4616635.966666667 | 4390.133333333333 |
BASE/snake_2008/i6K26g | 1064.9418486842105 | 5379.566666666667 | 5.051512130275839 |
BASE/coins_atomic/AA3SSw | 1074.8964554575932 | 3003224.8666666667 | 2793.9666666666667 |
DRESDEN/troublemaker01/C-lPWw | 1086.3915816131937 | 4747313.933333334 | 4369.8 |
BASE/snake_2008_tweaked/bX0NJQ | 1089.3698837719298 | 5497.666666666667 | 5.0466482950961185 |
DRESDEN/snake_2008/E56l3A | 1098.3874980392156 | 5593.2 | 5.092191972309126 |
BASE/coins/QnGtnQ | 1133.0310661474823 | 3113456.066666667 | 2747.9 |
BASE/switches/tPUoCg | 1142.4715255139379 | 2289665.2666666666 | 2004.1333333333334 |
DRESDEN/troublemaker02/iZLVuA | 1151.3083134585668 | 4296337.233333333 | 3731.7 |
BASE/troublemaker02/DI83KA | 1158.2270955254678 | 4228725.733333333 | 3651.0333333333333 |
DRESDEN/coins/QwFP9w | 1179.8507374059309 | 3245336.7666666666 | 2750.633333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 1187.9993445404073 | 2054130.0666666667 | 1729.0666666666666 |
STANFORD/buttonsandlights/eyhJpA | 1210.0474395412616 | 4044583.566666667 | 3342.5 |
DRESDEN/statespacesmall/h-NqjA | 1212.8181237834103 | 3862987.433333333 | 3185.133333333333 |
BASE/stateSpaceSmall/Q7osKA | 1241.648599506017 | 3937888.533333333 | 3171.5 |
STANFORD/sukoshi/4LYZZQ | 1295.2443215586966 | 1670822.0 | 1289.9666666666667 |
BASE/duplicateStateSmall/bCPAXw | 1626.1083214862458 | 3927105.8 | 2415.0333333333333 |
BASE/blocks/xIV5hQ | 1661.2542803654894 | 4466503.633333334 | 2688.633333333333 |
BASE/blocksWorld/SEdXLQ | 1672.121118165264 | 4530110.533333333 | 2709.2 |
DRESDEN/blocks/vg0DRw | 1699.725053949344 | 4489597.1 | 2641.366666666667 |
DRESDEN/pancakes88/aD3E7g | 1900.3639344262297 | 19301.065601065602 | 10.156510156510157 |
STANFORD/tictactoe7/-bE9-A | 1904.4809301506211 | 2162157.2 | 1135.3 |
DRESDEN/pancakes6/SZXMyQ | 2099.31017073955 | 21731.7 | 10.35182904503545 |
DRESDEN/pancakes/hl9aiQ | 2129.7204996784567 | 22038.433333333334 | 10.348040194316896 |
DRESDEN/checkers/jIDMIg | 2324.8875112488754 | 67.19328067193281 | 0.028901734104046242 |
BASE/pancakes/yUgbXw | 2346.41671471937 | 21678.426277566792 | 9.23894981721502 |
BASE/pancakes6/QZTdnw | 2353.2183813111083 | 21474.1169812577 | 9.125424631985613 |
BASE/snake2p/I3wWPQ | 2427.4631064877203 | 732503.0333333333 | 301.7566081130629 |
DRESDEN/tictactoe-init1/3ltIBQ | 2630.137185311376 | 3705337.2666666666 | 1408.8 |
BASE/blobwars/0XT15Q | 2642.18475434971 | 384.47436837544166 | 0.1455138092604988 |
BASE/tictactoe-init1/7M19vA | 2683.163843303335 | 3716897.433333333 | 1385.2666666666667 |
DRESDEN/blobwars/ZaMluQ | 2705.257238092064 | 382.9205693143562 | 0.1415468236892764 |
DRESDEN/Travelers-Dilemma/PvZwYw | 2807.873570880971 | 725.6424785840472 | 0.2584313218762114 |
BASE/hodgepodge/9yjRkw | 2861.7010197513296 | 2815627.6333333333 | 983.9 |
STANFORD/tictactoe3/X7myng | 3167.5537303216975 | 4010756.533333333 | 1266.2 |
STANFORD/tictactoe5/WFRReg | 3188.665808444902 | 3715433.4 | 1165.2 |
BASE/maze/cCX3qQ | 3522.8710501858736 | 6570389.366666666 | 1865.0666666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 3929.0229499130983 | 3315571.5 | 843.8666666666667 |
BASE/gt_tinfoil/Q8DyKg | 3949.398273793655 | 1974.1069048253798 | 0.49985004498650404 |
BASE/blocksWorldSerial/Wyg96Q | 4143.213124572211 | 4842587.5 | 1168.8 |
STANFORD/3puzzle/41ibjA | 5399.3691416893735 | 5284182.6 | 978.6666666666666 |
STANFORD/threepuzzle/41ibjA | 5517.538313847842 | 5364334.666666667 | 972.2333333333333 |
BASE/blocksWorldParallel/RseaAQ | 5603.069488497394 | 3212132.6666666665 | 573.2808906369787 |
BASE/gt_dollar/TGjqRw | 5607.121275849982 | 3732660.6333333333 | 665.7 |
BASE/gt_centipede/9fRMpw | 8209.383036935706 | 4000706.0 | 487.3333333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 10775.57612222222 | 22392.1 | 2.0780420226275687 |
BASE/hanoi_6_disks/MeubgQ | 11211.016358333332 | 23894.533333333333 | 2.131344078859731 |
BASE/hanoi7_bugfix/3gdnFw | 11934.001851851852 | 3382.866666666667 | 0.28346456692913385 |
DRESDEN/hanoi7_bugfix/3gdnFw | 11979.036951851851 | 3365.633333333333 | 0.2809602597321512 |
DRESDEN/hanoi7/51zz5Q | 12952.236555555557 | 3610.1 | 0.2787240631774543 |
BASE/pancakes88/l2Xaig | 15965.255777777778 | 18931.133333333335 | 1.1857707509881423 |
BASE/solitaireChineseCheckers/-ET6gw | 24261.020099999998 | 1564.0666666666666 | 0.06446829771459885 |
BASE/minichess/8NQEiA | 28121.914668115 | 2890836.466666667 | 102.79657344755175 |
BASE/twisty-passages/DiZmmg | 42328.208 | 2238.1666666666665 | 0.05287648054145516 |
DRESDEN/twisty-passages/j7NPyg | 43745.00520000001 | 2305.766666666667 | 0.052709255745308874 |
DRESDEN/vacuumcleaner_random/_6AGDA | 51056.24475 | 2901.5 | 0.05682948313585088 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 80829.74074197527 | 6214.3261891270295 | 0.07688167909587146 |
DRESDEN/kalaha_2009/gcC8uA | 93250.88325 | 4434.5 | 0.047554509356349715 |
BASE/kalaha_2009/dRiN3g | 98441.14815000001 | 4535.1 | 0.04606914979384055 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 122931.4793187348 | 6330.8002533080025 | 0.051498609537542483 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 139105.4882 | 10735.933333333332 | 0.07717835918808366 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 1278.8480767948804 | 0.0 |
DRESDEN/farmers/S_ASnw | Infinity | 83.95831950620561 | 0.0 |
Games with errors:
Game | PALAMEDES_JOCULAR:0.6.1 error message | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message |
BASE/gt_two_thirds_2p/1APDGg | IllegalArgumentException: bound must be positive | |
DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException | |
BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive | |
DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException | |
BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException | |
BASE/ttcc4/Le0qjQ | Exception of type NullPointerException | |
BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException | |
BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
BASE/snakeParallel/RCVNtw | Exception of type NullPointerException | |
DRESDEN/small_dominion/yB5GJA | Exception of type NullPointerException | |
DRESDEN/amazons/dNB28A | Exception of type NullPointerException | |
DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Exception of type NullPointerException | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException | |
BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException | |
DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException | |
DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException | |
BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact | |
BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException | |
BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive | |
BASE/pentago/86NgKw | Exception of type NullPointerException | |
BASE/gt_attrition/kD_SCA | IllegalArgumentException: bound must be positive | |
BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/mineClearingSmall/frsbvw | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive | |
BASE/knightThrough/gcwFjA | Exception of type NullPointerException | |
DRESDEN/pacman3p/rBnk8Q | Exception of type NullPointerException | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException | |
STANFORD/pilgrimage/ObRZnQ | Exception of type NullPointerException | |
DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException | |
BASE/ruleDepthLinear/OUBJpQ | Exception of type NullPointerException | |
DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException | |
BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException | |
BASE/amazons/RKKZjw | Exception of type NullPointerException | |
BASE/wargame01/_GZFZg | Exception of type NullPointerException | |
STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException | |
BASE/wargame03/klXI8w | Exception of type NullPointerException | |
DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException | |
BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException | |
BASE/shmup/ssTNlg | Exception of type NullPointerException | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException | |
BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive | |
BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | |
BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException | |
DRESDEN/babel/WdSW4A | Exception of type NullPointerException | |
BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | Exception of type NullPointerException | |
DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds | |
BASE/wargame02/BkVqqQ | Exception of type NullPointerException | |
BASE/knightazons/apnJBQ | Exception of type NullPointerException | |
BASE/colonelBlottoVariant/X-n-KQ | IllegalArgumentException: bound must be positive | |
BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Exception of type NullPointerException | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException | |
BASE/asteroids/BKCmPQ | Exception of type NullPointerException | |
BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException | |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException | |
BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException | |
DRESDEN/Goldrush/VeWczQ | Exception of type NullPointerException | |
DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/tttcc4/8Bs2lg | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive | |
BASE/colonelBlottoVariant2/jruwGw | IllegalArgumentException: bound must be positive | |
BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
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 | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | IllegalArgumentException: too many occurrences: 2147484126 |
BASE/gt_two_thirds_6p/867v3Q | IllegalArgumentException: bound must be positive | Test process timed out after 240 seconds |
DRESDEN/queens/mW2wHQ | Test process timed out after 240 seconds | IllegalArgumentException: too many occurrences: 2147484126 |
BASE/gt_two_thirds_4p/DStnxQ | IllegalArgumentException: bound must be positive | Test process timed out after 240 seconds |