Game-by-game performance:
Game | Perf ratio | PALAMEDES_JOCULAR:0.6.1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
DRESDEN/golden_rectangle/1uloXw | 4.0625715002856773E-4 | 0.17844927579335573 | 439.25202493250225 |
BASE/battlebrushes/arCwyA | 0.0022420898055415823 | 0.28962973125409675 | 129.17847025495752 |
BASE/quad_7x7/q-JOXg | 0.0034820401761501666 | 2.2731161244592184 | 652.8115729475684 |
DRESDEN/quad_7x7/q-JOXg | 0.005745859722765069 | 3.7597737481284312 | 654.3448551714943 |
BASE/quad/tw-Ufg | 0.007908824105463124 | 1.463747845037895 | 185.07780999033622 |
DRESDEN/quad/JPe6fg | 0.008801742653426483 | 1.5965828979016339 | 181.39395353488217 |
BASE/colonelBlotto/jip21A | 0.010045107244775843 | 0.05121638924455826 | 5.098640362569982 |
STANFORD/selectivesukoshi/3xmXYg | 0.0103918658460554 | 4.199213014623833 | 404.08653044898506 |
BASE/golden_rectangle/_nYzfw | 0.010959943941916355 | 4.796802131912059 | 437.6666666666667 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.017131464040592702 | 7.913023240349769 | 461.9 |
BASE/copolymer_4/2LDVhQ | 0.01838189003551691 | 20.016652789342213 | 1088.9333333333334 |
BASE/copolymer_4_pie/IN5_jA | 0.02233963765398537 | 22.52282268274805 | 1008.2 |
DRESDEN/quad_5x5/JAEP5g | 0.02314101885315104 | 4.883038041505824 | 211.0122321101223 |
BASE/quad_5x5/JAEP5g | 0.029162262243601824 | 6.181015452538631 | 211.95253649756683 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.032681801286232263 | 7.35340528940226 | 225.0 |
BASE/ad_game_2x2/D0aWqg | 0.03283240912024555 | 0.02050609030882172 | 0.6245685546168765 |
DRESDEN/fizzbuzz/t1xHzQ | 0.0362578894096332 | 30.492884993501516 | 841.0 |
BASE/blokbox_simple/JBx4bg | 0.04855223303141793 | 0.3462930898787974 | 7.132382349020131 |
BASE/racer/QQYQNw | 0.08055403819980068 | 1.5481873306670106 | 19.21923922456865 |
DRESDEN/guess/PhxGhg | 0.11110017110480272 | 26.25950179341209 | 236.35878804039865 |
DRESDEN/racer/vk_ZBA | 0.11674459860816322 | 2.117401785132582 | 18.137042830044262 |
BASE/nim3/1OwUqw | 0.12078348300949136 | 170.9609679677344 | 1415.4333333333334 |
DRESDEN/grid_game2/kypTYQ | 0.12098306904587866 | 202.77972202779722 | 1676.1 |
BASE/guess/SPpk1A | 0.12634883418156667 | 30.30805451470637 | 239.8760123987601 |
DRESDEN/nim3/sG_axA | 0.12767290156712927 | 179.16763853253806 | 1403.3333333333333 |
BASE/nim4/twk16w | 0.13072606053288535 | 181.36062131262292 | 1387.3333333333333 |
DRESDEN/nim4/F5YAYg | 0.13629635395866377 | 184.3271890936969 | 1352.4 |
BASE/simultaneousWin2/PfjRjw | 0.14046696259595567 | 143.00473238685595 | 1018.0666666666667 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.15156776499804728 | 1.9411725998552345 | 12.807291839925485 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.15732283711849593 | 6.4903456109037805 | 41.254948930365636 |
DRESDEN/CephalopodMicro/H3XQfg | 0.1812882851592012 | 15.218621998734557 | 83.94707901489653 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.18909747146727954 | 7.326230959430996 | 38.74314607479397 |
DRESDEN/nim2/z5_exA | 0.20649413280488524 | 291.9138724085061 | 1413.6666666666667 |
BASE/nim2/eF2Qqw | 0.21391347375028075 | 306.302703063027 | 1431.9 |
BASE/othelloSuicide/B442jg | 0.22426549298229018 | 4.39882697947214 | 19.614372772986112 |
BASE/cephalopodMicro/9l2D3g | 0.2250857390204109 | 17.314287616954683 | 76.92307692307692 |
BASE/othelloHoles/c0qAzw | 0.2341202151960889 | 4.831237590999338 | 20.635713097021135 |
BASE/chess_200/XsTpYA | 0.24103184940118152 | 2.9566573526544935 | 12.266666666666667 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.25204644409165816 | 10.173586825205062 | 40.36393713813069 |
DRESDEN/smallest/9kaGFw | 0.25795430972506544 | 152.08479152084792 | 589.580347321756 |
DRESDEN/slidingpieces/s9_44g | 0.2717279849062795 | 220.83333333333334 | 812.7 |
BASE/slidingpieces/uFJWEw | 0.2752086811352254 | 219.8 | 798.6666666666666 |
DRESDEN/nim1/M9BALA | 0.2850933533270067 | 399.2067195520299 | 1400.2666666666667 |
BASE/nim1/hin2Qw | 0.3003707922518021 | 427.8381441237251 | 1424.3666666666666 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.3164912389448485 | 194.44166749975008 | 614.3666666666667 |
BASE/hidato37/pBrqxw | 0.3352215255173629 | 21.19152339064374 | 63.21647560650493 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.33522791221159254 | 198.56666666666666 | 592.3333333333334 |
BASE/hidato19/rRHSmA | 0.35293641437695494 | 209.36666666666667 | 593.213559548015 |
BASE/futoshiki6/JmvXNA | 0.3592250588448307 | 198.39338688710376 | 552.2815906136462 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.366689966728224 | 110.32965567814406 | 300.8799413372442 |
BASE/sudokuGrade6H/ieE_9A | 0.3675013511079085 | 67.99773340888638 | 185.0271657611413 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.37575377096903534 | 15.421151651605342 | 41.040577215860196 |
BASE/sudokuGrade6E/ihYFZA | 0.38918206350954454 | 68.92414344754033 | 177.1 |
BASE/sudokuGrade3/eI8dvg | 0.39412524784176034 | 74.51346307651293 | 189.06036465451152 |
STANFORD/sudoku/oJ1qyQ | 0.426970179530885 | 79.42803813079128 | 186.02713242891903 |
DRESDEN/peg/Vo31eg | 0.4376845176188747 | 325.155828139062 | 742.9 |
DRESDEN/peg_bugfixed/u_B7MA | 0.43993039790142063 | 330.98896703443216 | 752.3666666666667 |
STANFORD/duidoku/3SoMaA | 0.44266271484463987 | 71.6427857380873 | 161.84508732169044 |
BASE/futoshiki5/TJ4BZg | 0.4480705990092828 | 358.8 | 800.7666666666667 |
BASE/sudokuGrade2/u80Tfw | 0.4549500901896837 | 85.74665911287366 | 188.47487001733103 |
BASE/racer4/0vs7Ww | 0.4600801830382354 | 7.341460983955088 | 15.956916325920016 |
BASE/sudokuGrade4/DTy07w | 0.4639631662829821 | 87.32460087324601 | 188.21451188214513 |
BASE/sudokuGrade5/BQfUQA | 0.4802914317732647 | 89.0910908909109 | 185.4938168727709 |
BASE/sudokuGrade1/tDRNRw | 0.4930843706777316 | 95.06032931137923 | 192.78714752349845 |
DRESDEN/gt_ultimatum/pAiiQw | 0.531120822463135 | 177.80739753415529 | 334.7776814879008 |
BASE/tictactoe_3d_6player/d7KSwg | 0.5355204153882465 | 75.61568967240977 | 141.2003865764655 |
BASE/checkers-mustjump-torus/uSApKQ | 0.5446219838495114 | 4.778179646281979 | 8.773387391578877 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 0.5520909412780657 | 71.03333333333333 | 128.66237792073596 |
DRESDEN/pentago_2008/hLjVpQ | 0.5759814833858472 | 224.9591680277324 | 390.56666666666666 |
BASE/tpeg/QNs7Lw | 0.5766426704571507 | 419.2 | 726.9666666666667 |
DRESDEN/tpeg/h-Scbg | 0.5820935893968082 | 430.4 | 739.4 |
BASE/gt_ultimatum/GE-uOA | 0.582973784251896 | 179.9640071985603 | 308.7 |
BASE/ticTacHeaven/18n58A | 0.6004394897631044 | 373.43333333333334 | 621.9333333333333 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.613321042614939 | 6.360094568945423 | 10.369927211087845 |
STANFORD/triplesukoshi/Iu9mbA | 0.6220913789113722 | 806.5 | 1296.4333333333334 |
BASE/lightsOnSimul4/9FeASw | 0.6309426615587514 | 669.7666666666667 | 1061.5333333333333 |
BASE/conn4/va9Y7A | 0.6695906432748538 | 870.2 | 1299.6 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.7099884703638821 | 7.022331680367424 | 9.89076861595844 |
BASE/cittaceot/fDxhXg | 0.7151991151340467 | 206.72644245191827 | 289.04739684021064 |
DRESDEN/blockerparallel/dVQgSg | 0.719542929008622 | 491.7836072130929 | 683.4666666666667 |
BASE/futoshiki4/BaCwSw | 0.7303223343592681 | 1020.3333333333334 | 1397.1 |
DRESDEN/Zhadu/9zpQ5w | 0.7411441569833852 | 30.365654478184062 | 40.971320075946835 |
BASE/blockerParallel/7-nDJA | 0.7467037960435297 | 486.93420438637423 | 652.111596280124 |
DRESDEN/battlesnakes2011/93VtTw | 0.7545693108052116 | 546.3333333333334 | 724.0333333333333 |
BASE/lightsOnSimultaneous/_VN6lw | 0.7627768773635872 | 941.2666666666667 | 1234.0 |
DRESDEN/battlesnakes1509/-qZrLw | 0.7741116751269035 | 559.1666666666666 | 722.3333333333334 |
BASE/ticTacHeavenFC/mrletw | 0.7893723751749884 | 451.1 | 571.4666666666667 |
DRESDEN/javastrike/whONTQ | 0.8009616138990396 | 223.39255358154728 | 278.9054427890544 |
BASE/blockerSerial/3eqDuw | 0.8095975323629929 | 778.3740541981934 | 961.4333333333333 |
DRESDEN/cubicup_3player/awDtsQ | 0.8206770994451533 | 326.70066326700663 | 398.0867304423186 |
BASE/pegEuro/5awwhg | 0.8406727887411329 | 261.4405226144052 | 310.9896336788774 |
BASE/cubicup_3player/e2yA_g | 0.8472646257942074 | 342.2552581580614 | 403.953201559948 |
BASE/checkers/rOC3Xg | 0.8559488948222848 | 52.16348556010792 | 60.94228975076636 |
BASE/ticTacToeSerial/Amrwqw | 0.8623524136900312 | 961.6666666666666 | 1115.1666666666667 |
DRESDEN/lightsout2/LFtfyQ | 0.8977712140513849 | 2654.5 | 2956.766666666667 |
STANFORD/alquerquezero/uVgA_A | 0.9063096815194183 | 262.55791473617546 | 289.7 |
BASE/checkers-mustjump/T-8UuQ | 0.9074116228895946 | 10.60681629260183 | 11.689090182496336 |
DRESDEN/lightsout/XgLpzQ | 0.926439922341267 | 2576.8 | 2781.4 |
BASE/checkersSmall/SYmq8w | 0.9418650715857506 | 84.39718676044131 | 89.60645139791396 |
BASE/withConviction/3Xm54A | 0.9453572128043871 | 1448.0666666666666 | 1531.7666666666667 |
BASE/tictactoe_3d_small_2player/oOryKA | 1.0214198606049378 | 814.7185281471852 | 797.6333333333333 |
BASE/chomp/-LcqYQ | 1.0315976099817332 | 1924.1358621379288 | 1865.2 |
DRESDEN/chomp/-LcqYQ | 1.0354335688343603 | 1910.1333333333334 | 1844.7666666666667 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.0448110547233065 | 827.0724309189694 | 791.6 |
BASE/tictactoex9/BI26ow | 1.0542499099171236 | 877.7333333333333 | 832.5666666666667 |
BASE/peg/fJHVWw | 1.060258776865856 | 336.44423705086325 | 317.3227559081364 |
DRESDEN/tictactoex9/rFkD4w | 1.084042641104041 | 874.5333333333333 | 806.7333333333333 |
BASE/lightsOut/5P1ZBw | 1.1074304727411923 | 2507.3333333333335 | 2264.1 |
DRESDEN/mimikry/GJEhwA | 1.2439108955958338 | 1011.1 | 812.8395720142662 |
BASE/breakthroughSuicideSmall/XSbJog | 1.2769681972321512 | 464.43333333333334 | 363.7 |
BASE/ticblock/T21C1g | 1.2857595151405505 | 1895.1666666666667 | 1473.9666666666667 |
STANFORD/duikoshi/tpw1sw | 1.2901339829476248 | 1765.3333333333333 | 1368.3333333333333 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.293710394497794 | 996.9 | 770.5743141895271 |
STANFORD/multiplesukoshi/vLSQPg | 1.3014635001314523 | 495.01683277224095 | 380.3539882003933 |
DRESDEN/ticblock/Z2yNWQ | 1.309688542068371 | 1924.5 | 1469.4333333333334 |
DRESDEN/towerworld/HCX34w | 1.3174077606215215 | 42.96705858841555 | 32.61485158410234 |
BASE/smallest_4player/ADDROA | 1.318209176350757 | 949.0666666666667 | 719.9666666666667 |
BASE/connect4/50bOyw | 1.3212858699600436 | 727.5 | 550.6 |
BASE/racetrackcorridor/_RkdUg | 1.3276943680834568 | 1255.7333333333333 | 945.8 |
BASE/strangeSkirmish/gc1zKA | 1.3342597598251595 | 34.67341704693069 | 25.987006496751626 |
DRESDEN/smallest_4player/ADDROA | 1.3366021489949245 | 962.6333333333333 | 720.2093263557881 |
BASE/qyshinsu/R08Lzw | 1.345136876287027 | 283.03333333333336 | 210.4122921041229 |
DRESDEN/cubicup/SBn_lw | 1.400556735770273 | 637.3 | 455.03333333333336 |
BASE/skirmishHoles/AUCxCA | 1.4021857660553452 | 43.69126174765047 | 31.159396140900455 |
BASE/cubicup/4wNWJA | 1.403157167542835 | 640.5666666666667 | 456.5181160627979 |
BASE/checkersTiny/Lr48cg | 1.41170036905158 | 185.92093860409307 | 131.7 |
DRESDEN/connect4/T0-rHQ | 1.4238906240792033 | 805.4 | 565.6333333333333 |
BASE/knightmove/jBaJEw | 1.4240452487241164 | 533.9042351137916 | 374.9208359721343 |
DRESDEN/knightmove/97Ipcw | 1.4263057558619066 | 537.9666666666667 | 377.17485500966603 |
BASE/2pffa/6oHijA | 1.4270364309493744 | 828.7 | 580.7139762007934 |
BASE/2pffa_zerosum/o0_uZA | 1.4395551900803383 | 802.3333333333334 | 557.3480883970534 |
DRESDEN/doubletictactoe/lJzgmQ | 1.463947920039537 | 2863.4333333333334 | 1955.9666666666667 |
BASE/doubletictactoe/HH1htg | 1.4682794619554307 | 2925.4 | 1992.4 |
DRESDEN/bunk_t/7-tPfA | 1.4830359259133852 | 2919.9 | 1968.8666666666666 |
BASE/skirmish/Y_psYQ | 1.5061461748423268 | 35.59050919754732 | 23.63018264231436 |
BASE/bunk_t/xbpfIA | 1.5196787566564327 | 2920.366666666667 | 1921.7 |
BASE/doubletoetictac/fu35bg | 1.5242348499414449 | 2906.766666666667 | 1907.0333333333333 |
BASE/nonogram_10x10_1/0Xc62g | 1.5372941621184817 | 38.652494085501985 | 25.143199680298387 |
BASE/nineBoardTicTacToePie/B8LzeQ | 1.5514320103806902 | 1186.793773540882 | 764.9666666666667 |
BASE/dotsAndBoxes/EHwA_w | 1.5896622794790567 | 1254.4666666666667 | 789.1403619879337 |
DRESDEN/doubletoetictac/V89gKQ | 1.600247410498329 | 2889.0333333333333 | 1805.3666666666666 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 1.630595393307258 | 125.05832944470369 | 76.69488700753283 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.6450228653761825 | 1750.6333333333334 | 1064.2 |
DRESDEN/pawn_whopping/4ogBkg | 1.6667783803546403 | 1823.5666666666666 | 1094.0666666666666 |
BASE/dotsAndBoxesSuicide/jzQbLw | 1.6803051317614424 | 1292.2666666666667 | 769.0666666666667 |
BASE/crisscross/ICagEg | 1.7157705532979055 | 1463.6666666666667 | 853.0666666666667 |
DRESDEN/crisscross/GsY16g | 1.7307550039044841 | 1403.7 | 811.0333333333333 |
STANFORD/freeforall/Lfp40Q | 1.7419118145190313 | 824.9725009166361 | 473.6017598826745 |
DRESDEN/stratego/Z2wovg | 1.7550185223571217 | 1185.3 | 675.3774874170861 |
BASE/hallway/ckCJOw | 1.7782074177774323 | 480.08399720009334 | 269.98200119992 |
STANFORD/dualhunter/1rPZjQ | 1.8014277420603348 | 2792.633333333333 | 1550.2333333333333 |
DRESDEN/hallway/0H4l-Q | 1.821743063063063 | 494.26666666666665 | 271.31524565028997 |
DRESDEN/tictactoeparallel/yk_DSg | 1.8293603904443874 | 2373.9 | 1297.6666666666667 |
STANFORD/breakthrough/d5j0cQ | 1.8507346681964543 | 1666.8333333333333 | 900.6333333333333 |
BASE/checkers-newgoals/0XkFiA | 1.8526324764211963 | 48.28068772491004 | 26.060585863298563 |
BASE/3pffa/pR0dzA | 1.8818726346812293 | 964.8666666666667 | 512.7162427919069 |
STANFORD/nineboardtictactoe/y28P-A | 1.9278185028626464 | 1200.9666666666667 | 622.9666666666667 |
BASE/skirmishFinal2/gdB62Q | 1.9313963114436454 | 57.28281515545336 | 29.65875766462277 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 1.9609410966538245 | 2697.6666666666665 | 1375.7 |
STANFORD/multipletictactoe/_bkafQ | 1.9862358035394823 | 1603.6333333333334 | 807.3730875637478 |
BASE/minichess-evilconjuncts/4OpQzw | 1.9991811911562467 | 419.93333333333334 | 210.05266315578962 |
BASE/4pffa/Q3ADlg | 2.0160006003430535 | 940.2 | 466.36890873941735 |
DRESDEN/minichess-evilconjuncts/th24Tw | 2.031450989089293 | 419.43870408639424 | 206.47247033728837 |
BASE/double_tictactoe_dengji/zgaSbA | 2.0348822406110756 | 2664.0 | 1309.1666666666667 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 2.0403907361079527 | 299.03333333333336 | 146.55689620691953 |
DRESDEN/sheep_and_wolf/enAIzQ | 2.0475133075421343 | 1270.1666666666667 | 620.3459884670511 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.0621241972212982 | 2686.4666666666667 | 1302.7666666666667 |
BASE/skirmishFinal1/ecWTnQ | 2.1042180596115982 | 55.37784886045582 | 26.317542807648746 |
DRESDEN/brain_teaser_extended/ZDp94A | 2.1143182878167592 | 6800.0 | 3216.1666666666665 |
BASE/nineBoardTicTacToe/wRmqqA | 2.1156147986942333 | 1296.1666666666667 | 612.6666666666666 |
DRESDEN/skirmishfinal/hzq8ww | 2.197965507885204 | 62.543733964213125 | 28.45528455284553 |
BASE/escortLatch/mX9BjQ | 2.200221811460259 | 991.9333333333333 | 450.8333333333333 |
BASE/breakthroughSmallHoles/bxclRw | 2.2014050813069677 | 2423.233333333333 | 1100.7666666666667 |
BASE/tictactoe_3d_2player/IUC1rQ | 2.2216234599294906 | 310.6792880474635 | 139.8433594400933 |
BASE/brain_teaser_extended/ZDp94A | 2.2731687369012934 | 7411.666666666667 | 3260.5 |
BASE/pawnWhopping/Ypc_6Q | 2.2777872996829207 | 1771.9666666666667 | 777.9333333333333 |
BASE/3pConnectFour/PqXOFQ | 2.2828508771929825 | 1734.9666666666667 | 760.0 |
BASE/skirmishFinal3/-Olhfw | 2.296744862313588 | 72.97324314418047 | 31.772463864650636 |
BASE/numbertictactoe/rvJ-iQ | 2.2999178704285232 | 4760.6 | 2069.9 |
STANFORD/pentago/ZxzLmg | 2.304040161953816 | 552.2815906136462 | 239.70137315024664 |
DRESDEN/racetrackcorridor/O0DoTA | 2.3244654867921692 | 2062.0333333333333 | 887.1 |
DRESDEN/3pffa/0YrmQw | 2.3314217443249703 | 1951.4 | 837.0 |
BASE/englishDraughts/jFkQxg | 2.3372548846470154 | 599.9333333333333 | 256.6828878074795 |
BASE/ticTacToeParallel/ymRGPw | 2.387689745724717 | 2485.266666666667 | 1040.8666666666666 |
BASE/factoringGeorgeForman/HGRorQ | 2.3880972670881313 | 12050.1 | 5045.9 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 2.391500251720087 | 475.0 | 198.62009199386708 |
BASE/breakthroughSuicide/wZDpIg | 2.3933888468332074 | 316.1666666666667 | 132.1 |
BASE/wallmaze/uxNQ9g | 2.401395998138669 | 1720.2 | 716.3333333333334 |
BASE/breakthrough/TGxk-g | 2.4568270890927115 | 315.95613479550684 | 128.6033258906255 |
DRESDEN/3pttc/uwYBZw | 2.4948293072469556 | 2082.766666666667 | 834.8333333333334 |
DRESDEN/blocker/S815zQ | 2.5073998947065586 | 9676.30693366208 | 3859.1 |
DRESDEN/tictactoe_3player/ESLQQQ | 2.5251317249029395 | 2428.1666666666665 | 961.6 |
DRESDEN/crissrace/KWb9bw | 2.531595576619273 | 854.6666666666666 | 337.6 |
BASE/connectFourSimultaneous/7ITr3g | 2.579202324282823 | 1231.7 | 477.5507483083897 |
BASE/snakeAssemblit/UO4sdg | 2.6393485273522503 | 1361.0666666666666 | 515.6828105729809 |
BASE/crissrace/ERWGDA | 2.6415219118186974 | 879.3333333333334 | 332.8889037032099 |
BASE/breakthroughWalls/vOZaYA | 2.663254420118935 | 329.98900036665447 | 123.90442230146299 |
DRESDEN/tictactoelargesuicide/6J4DeA | 2.8032207897004313 | 5493.284900189956 | 1959.6333333333334 |
BASE/breakthroughHoles/nZk0Sg | 2.823472073463783 | 365.53333333333336 | 129.46235125495818 |
STANFORD/chinook/osFbPA | 2.8594049235612764 | 254.11639224051729 | 88.87037654115295 |
DRESDEN/tictactoelarge/IwXcbg | 2.876893210675435 | 5483.166666666667 | 1905.9333333333334 |
BASE/chinook/XQh0IQ | 2.8850584358855866 | 276.32412252924905 | 95.77765188122771 |
DRESDEN/Thief_Police/CX18rA | 2.9576650226336056 | 7296.066666666667 | 2466.8333333333335 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.9609703936376395 | 7384.166666666667 | 2493.8333333333335 |
BASE/tictactoe_3player/GtM71g | 2.965055442761206 | 2531.366666666667 | 853.7333333333333 |
DRESDEN/skirmish3/3LU8Nw | 2.968987841956545 | 178.11552178115522 | 59.992001066524466 |
DRESDEN/catch_me/ghGWrA | 3.0092685768762246 | 7575.733333333334 | 2517.4666666666667 |
DRESDEN/hanoi/RQ0jiA | 3.0117877407496203 | 5024.866666666667 | 1668.4 |
BASE/hanoi/iGLsJg | 3.0127727076080015 | 4874.766666666666 | 1618.0333333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 3.0242820945945943 | 7638.933333333333 | 2525.866666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 3.047366552779873 | 9157.133333333333 | 3004.9333333333334 |
STANFORD/dualrainbow/G3OnRQ | 3.11713847949803 | 11392.933333333332 | 3654.9333333333334 |
BASE/sum15/QZ07Kg | 3.1243804132317647 | 15968.5 | 5110.933333333333 |
BASE/eotcitcit/V_9_bg | 3.1353519123380043 | 7935.366666666667 | 2530.9333333333334 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 3.137177874394003 | 14214.866666666667 | 4531.1 |
DRESDEN/sum15/CsgWKg | 3.1684564771020156 | 16099.666666666666 | 5081.233333333334 |
BASE/ticTacToeLarge/TZC0dg | 3.1726269754497562 | 5319.966666666666 | 1676.8333333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 3.2512566888276306 | 4010.1 | 1233.4 |
BASE/stateSpaceMedium/3bUoIw | 3.2537472840976522 | 17982.05128205128 | 5526.566666666667 |
BASE/incredible/8Qh-6Q | 3.266060556420127 | 7975.066666666667 | 2441.8 |
BASE/blocker/dIWtxg | 3.2696274790163615 | 9985.333333333334 | 3053.9666666666667 |
BASE/chickentoetictac/l57rfQ | 3.2936075597554195 | 12837.933333333332 | 3897.8333333333335 |
BASE/factoringEasyTurtleBrain/lUj94Q | 3.297087785459879 | 8917.633333333333 | 2704.7 |
DRESDEN/chickentoetictac/cxYaRQ | 3.3026401452850878 | 12851.233333333334 | 3891.2 |
BASE/tictactoe_orthogonal/WRzlVw | 3.3166713497685563 | 14951.333333333334 | 4507.933333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 3.320864825434135 | 5462.933333333333 | 1645.0333333333333 |
DRESDEN/tictictoe/LAUtwg | 3.3362645979779875 | 7941.866666666667 | 2380.4666666666667 |
DRESDEN/statespacemedium/dVJZ_w | 3.3824467685840816 | 18024.833333333332 | 5328.933333333333 |
DRESDEN/8puzzle/8fKC2w | 3.3912518333189547 | 7861.6 | 2318.2 |
BASE/chickentictactoe/DSlZCA | 3.391795951274041 | 8980.57120005332 | 2647.733333333333 |
BASE/brawl/6Ymo_Q | 3.41226736360386 | 134.13536841403672 | 39.309747484842426 |
DRESDEN/latenttictactoe/kITHKg | 3.424576533304223 | 6274.166666666667 | 1832.1 |
STANFORD/jointbuttonsandlights/qAKuIQ | 3.4454429350981073 | 14837.8 | 4306.5 |
DRESDEN/brawl/2kXtfQ | 3.4740300245317766 | 137.21046492251293 | 39.496050394960506 |
DRESDEN/point_grab/r5DPmQ | 3.4881364229165133 | 16009.61601147402 | 4589.733333333334 |
STANFORD/tictictoe/rpt_Dw | 3.560409153446959 | 7929.1498650314925 | 2227.0333333333333 |
BASE/ticTicToe/c1OobQ | 3.669355583607869 | 7945.133333333333 | 2165.266666666667 |
BASE/roshambo2/KNPokQ | 3.7123249841538066 | 19519.652255012992 | 5258.066666666667 |
DRESDEN/roshambo2/jgSlkQ | 3.7129332722116173 | 19717.903435407017 | 5310.6 |
STANFORD/hunter/14dD-g | 3.801174396366244 | 8480.166666666666 | 2230.9333333333334 |
DRESDEN/skirmish2/iPpWhQ | 3.8210625361500385 | 174.0608646378454 | 45.55300076643674 |
BASE/lightsOnParallel/SC6enA | 3.84000695298047 | 10309.266666666666 | 2684.7 |
DRESDEN/grid_game/U7_Yeg | 3.8814148646802864 | 2210.133333333333 | 569.4143528549048 |
BASE/stateSpaceLarge/0Ge_CQ | 3.901249718023912 | 14411.866666666667 | 3694.1666666666665 |
BASE/coloredtrails/EZvr7g | 3.9815412914679267 | 6204.966666666666 | 1558.4333333333334 |
DRESDEN/statespacelarge/8-y5HQ | 3.9876007784264664 | 14343.4 | 3597.0 |
BASE/2pttc/unkkYA | 4.040321016365202 | 833.8666666666667 | 206.38624091727218 |
DRESDEN/eotcatcit/mQUxzA | 4.0634917517674785 | 13794.2 | 3394.6666666666665 |
DRESDEN/blocks2player/3ev8nQ | 4.097331217748046 | 19109.133333333335 | 4663.8 |
BASE/lightsOn/MsXu3A | 4.126717314599955 | 21637.066666666666 | 5243.166666666667 |
BASE/blocks2player/wnTLOQ | 4.133717745316527 | 19372.11705105986 | 4686.366666666667 |
BASE/eotcatcit/AfZSzA | 4.1434045945062135 | 13515.233333333334 | 3261.866666666667 |
DRESDEN/skirmish/RjGQYQ | 4.155736328954624 | 181.94847181948472 | 43.78248700519792 |
STANFORD/eightpuzzle/W_aWbA | 4.176422278632224 | 7458.533333333334 | 1785.8666666666666 |
DRESDEN/tictactoe/BTTzPw | 4.193664276662207 | 14435.570961935871 | 3442.233333333333 |
BASE/dualConnect4/WbCQkg | 4.285564098652428 | 1498.1333333333334 | 349.57669488700753 |
BASE/connectFour/WAIKTw | 4.307414397411701 | 2662.7 | 618.1666666666666 |
STANFORD/checkersonabarrelnokings/Zrevdw | 4.327508515673591 | 372.7875737475417 | 86.14369501466275 |
BASE/hexPie/48CH6Q | 4.333365201747623 | 562.0 | 129.69135390973935 |
BASE/connectFourSuicide/c8p9Kw | 4.342855195644653 | 2650.0666666666666 | 610.2129929002367 |
DRESDEN/firefighter/WJmoPw | 4.381913665855001 | 12119.350753232902 | 2765.766666666667 |
BASE/rubiksCube/9tNO9Q | 4.415642979318924 | 946.5666666666667 | 214.36666666666667 |
STANFORD/8puzzle/jNiGtw | 4.46723291948554 | 8011.833333333333 | 1793.4666666666667 |
BASE/toetictac/mTThmg | 4.479851857231037 | 20563.266666666666 | 4590.166666666667 |
STANFORD/tictactoe/ss1kyQ | 4.55993300993301 | 13159.966666666667 | 2886.0 |
STANFORD/skirmish/w4V6Vw | 4.576541622376938 | 37.36512588250966 | 8.164489469474807 |
STANFORD/madness/UO_B3A | 4.6117439641788165 | 35.1408966757711 | 7.61987156024357 |
BASE/eightPuzzle/vLrgFg | 4.611908448842391 | 8140.633333333333 | 1765.1333333333334 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 4.6136470759041455 | 17424.668488038915 | 3776.766666666667 |
STANFORD/hex/MTqWcw | 4.6196965800977114 | 598.8666666666667 | 129.63333333333333 |
DRESDEN/toetictac/mJtxCA | 4.627341044721138 | 20935.633333333335 | 4524.333333333333 |
STANFORD/trifecta/ss1kyQ | 4.634374357920691 | 13533.3 | 2920.2 |
BASE/nonogram_5x5_1/qLKEZw | 4.639639374815782 | 395.3201559948002 | 85.20493168943685 |
BASE/firefighter/WJmoPw | 4.644323915237134 | 12273.4 | 2642.6666666666665 |
BASE/tictactoe2/bhrDoQ | 4.699244309799195 | 13908.666666666666 | 2959.766666666667 |
DRESDEN/lightson2x2/gBHuig | 4.714896902488725 | 12840.23589777763 | 2723.3333333333335 |
DRESDEN/chinesecheckers4/-oVNYg | 4.7682325446667635 | 1088.2333333333333 | 228.2257258091397 |
BASE/hex/T1MK8g | 4.779440928231423 | 612.0462651244959 | 128.05812945803612 |
BASE/point_grab/V_osUg | 4.819118736672094 | 16168.143361534874 | 3355.0 |
STANFORD/rainbow/_4qNSQ | 4.826514458594245 | 27439.7 | 5685.2 |
DRESDEN/4pttc/9pB9AQ | 4.859496771320419 | 1454.9333333333334 | 299.4 |
BASE/ticTacToe/JRFsaQ | 4.881081010259142 | 14129.916011198507 | 2894.8333333333335 |
BASE/chineseCheckers4/avfBcQ | 4.8874001576931745 | 1446.2 | 295.9037429590374 |
BASE/connectFour_9x6/B9TtMw | 4.921839230819544 | 2508.3333333333335 | 509.6333333333333 |
STANFORD/connectfour/VMpZkQ | 4.936938501534431 | 2806.133333333333 | 568.3954403039797 |
STANFORD/bestbuttonsandlights/nm0wEA | 4.954130620471115 | 24406.359364063595 | 4926.466666666666 |
BASE/skirmishNew/sibw2g | 4.990647217060461 | 118.64689218463589 | 23.77384876635701 |
BASE/checkersBarrelNoKings/rnKNeg | 5.035298535486294 | 446.9517682743909 | 88.76370787640413 |
BASE/speedChess/bPnisA | 5.062951566021854 | 117.49216718885408 | 23.206259364075244 |
BASE/checkersTorusNoKings/pwb6oQ | 5.1215764643237485 | 427.46666666666664 | 83.4638845371821 |
DRESDEN/chinesecheckers1/Y-ftaA | 5.138391394382344 | 3187.0666666666666 | 620.2459918002734 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 5.187703427076954 | 5.574542920662309 | 1.0745685444480626 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 5.240956084850596 | 27086.833333333332 | 5168.3 |
STANFORD/multiplebuttonsandlights/cK70Yg | 5.325723903952871 | 27000.0 | 5069.733333333334 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 5.512750606775941 | 6.283871396748346 | 1.1398794984530207 |
DRESDEN/chinesecheckers3/QsCb2A | 5.631206096881143 | 2132.4666666666667 | 378.68737708743043 |
BASE/skirmishZeroSum/zh4hcw | 5.727178952423597 | 118.66440067979606 | 20.71952031978681 |
DRESDEN/logistics/fPru1Q | 5.916735833396213 | 5227.633333333333 | 883.5333333333333 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 6.050754321111 | 7.19352582675592 | 1.188864304349262 |
DRESDEN/oisters_farm/pTQMLg | 6.204542097742351 | 17730.92677078824 | 2857.733333333333 |
BASE/connectFourLarge/aU644A | 6.37982106852739 | 2041.9 | 320.0559981333956 |
DRESDEN/frogs_and_toads/GjchhQ | 6.453371187453324 | 1440.0333333333333 | 223.14435223144352 |
BASE/beatMania/qUHwvQ | 6.499475257657371 | 12305.889803673212 | 1893.3666666666666 |
DRESDEN/circlesolitaire/ruUilQ | 6.571677110442226 | 26886.264450144918 | 4091.233333333333 |
BASE/checkersTorus/2vm1EQ | 6.600588269281745 | 420.99123420991236 | 63.78086574027792 |
BASE/circlesolitaire/azuQFQ | 6.680334946157731 | 27337.266666666666 | 4092.2 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 6.917267207626398 | 4063.4333333333334 | 587.4333333333333 |
BASE/chineseCheckers1/gqtwHw | 6.93654276066318 | 5568.933333333333 | 802.8399053364888 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 7.248271186440677 | 3563.733333333333 | 491.6666666666667 |
DRESDEN/snake_2009_big/DgC1NQ | 7.261085028690663 | 2783.9 | 383.4 |
BASE/3pttc/0sol9g | 7.26147971644917 | 1001.5333333333333 | 137.92413839077395 |
DRESDEN/sat_test_20v_91c/dK7nVw | 7.340414057068196 | 3495.633333333333 | 476.2174594180194 |
DRESDEN/battle/8oAvhQ | 7.396814519302366 | 26.90284344409669 | 3.6370850416611558 |
BASE/snake_2009_big/-oRfVw | 7.466787439613527 | 2885.1666666666665 | 386.4 |
DRESDEN/chinesecheckers2/06E6-Q | 7.521443309785997 | 2413.3 | 320.85597146761774 |
BASE/endgame/jYjfOA | 7.550708691575973 | 544.0637290847277 | 72.05465755707382 |
BASE/4pttc/AL1k2Q | 7.592640778520342 | 719.4333333333333 | 94.75403279562725 |
BASE/pawnToQueen/-O1_JA | 7.6149176012037305 | 37.73773440362389 | 4.955763985897692 |
DRESDEN/pawntoqueen/f_x6Aw | 7.638135333372379 | 36.76690978119692 | 4.813597583242041 |
BASE/battle/8oAvhQ | 7.725017721365605 | 28.25724758413862 | 3.657887736100027 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 7.758477817440082 | 4057.1666666666665 | 522.9333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 7.869573954983923 | 3915.9 | 497.6 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 7.8926530886603485 | 3913.9666666666667 | 495.9 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 8.057886314617685 | 3860.5333333333333 | 479.1 |
BASE/chineseCheckers2/eCMR3Q | 8.076948767617393 | 4030.6666666666665 | 499.03333333333336 |
BASE/ticTacToeNoVars/XT03NA | 8.233616098478807 | 17212.1 | 2090.4666666666667 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 8.235402778893262 | 3417.9666666666667 | 415.03333333333336 |
BASE/duplicateStateMedium/U163eQ | 8.358248491685822 | 17455.64475831973 | 2088.4333333333334 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 8.51837099658592 | 3493.1 | 410.06666666666666 |
BASE/checkLines/Vop7oQ | 8.518723575598953 | 2820.8333333333335 | 331.1333333333333 |
BASE/chineseCheckers6/rREH3A | 8.870196435134142 | 2145.3333333333335 | 241.85860471317622 |
BASE/chineseCheckers3/-1rZdQ | 9.17873605717616 | 3324.733333333333 | 362.22125929135694 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 9.395279196758853 | 3555.8 | 378.46666666666664 |
BASE/duplicateStateLarge/dcjyuw | 9.474541689040034 | 7057.666666666667 | 744.9085030498983 |
BASE/sheepAndWolf/g4THrg | 9.568646753900353 | 1267.4 | 132.45342132453422 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 9.709838552527819 | 3693.7 | 380.40797280181323 |
BASE/untwistycomplex2/EDPPAQ | 9.809931506849315 | 62828.03333333333 | 6404.533333333334 |
DRESDEN/chinesecheckers6/yTbPDA | 9.823355016495245 | 1687.1 | 171.74376749766697 |
STANFORD/untwistycorridor/EDPPAQ | 9.852702566457525 | 62966.32313829787 | 6390.766666666666 |
BASE/snake_2009/7l-qAQ | 10.356308501529051 | 4891.466666666666 | 472.3175894136862 |
BASE/connectFourLarger/qKi60A | 10.599954225220161 | 1256.2333333333333 | 118.51309040037306 |
DRESDEN/snake_2009/zIYLVw | 10.617191440305499 | 4911.866666666667 | 462.6333333333333 |
BASE/aipsrovers01/4C4jsw | 11.121739825662456 | 13033.937626354687 | 1171.9333333333334 |
DRESDEN/aipsrovers01/qS47Mw | 11.242979469354315 | 12662.967776333766 | 1126.3 |
DRESDEN/checkers-mustjump/HUr33w | 11.358843254298558 | 12.918262027634427 | 1.1372867587327375 |
DRESDEN/Runners/3bOCQw | 11.917847093693535 | 14274.005464116746 | 1197.7 |
BASE/kalaha5x2x3/WviNsw | 12.157235009310986 | 5294.933333333333 | 435.5376308246117 |
DRESDEN/endgame/IJhh3Q | 13.232564195351575 | 499.56666666666666 | 37.75282396454633 |
DRESDEN/minichess/c7GMFw | 14.252868800527967 | 2879.266666666667 | 202.0131320201313 |
BASE/cylinder-checkers/hlldmw | 15.459677419354838 | 42.58864302852572 | 2.7548209366391183 |
DRESDEN/pancakes88/aD3E7g | 15.989616105596557 | 19301.065601065602 | 1207.1 |
BASE/snake_2008/i6K26g | 16.199174903810768 | 5379.566666666667 | 332.0889303689877 |
BASE/snake_2008_tweaked/bX0NJQ | 16.458437281708413 | 5497.666666666667 | 334.03333333333336 |
DRESDEN/pancakes/hl9aiQ | 16.725347837085756 | 22038.433333333334 | 1317.6666666666667 |
BASE/pacman2p/4LEdQg | 16.84553240379253 | 1006.6 | 59.75471572352196 |
BASE/gt_tinfoil/Q8DyKg | 16.89252174890651 | 1974.1069048253798 | 116.86277124095864 |
DRESDEN/snake_2008/E56l3A | 16.94508597394729 | 5593.2 | 330.07799480034663 |
BASE/pacman3p/wW7UVQ | 17.043129109100242 | 1073.4308856371454 | 62.98320447880565 |
DRESDEN/pancakes6/SZXMyQ | 17.291413120275823 | 21731.7 | 1256.791440285324 |
STANFORD/platformjumpers/HEQskA | 17.353151933968288 | 444.137057529498 | 25.594028060119307 |
DRESDEN/gt_prisoner/huCp4w | 17.49212950726436 | 11276.8 | 644.6785107163095 |
DRESDEN/four_way_battle/xSOQXA | 17.608494252615557 | 114.98850114988501 | 6.530285866595588 |
BASE/four_way_battle/xSOQXA | 17.919512216404886 | 113.83333333333333 | 6.352479462533675 |
BASE/kalaha6x2x4/XS81Mg | 18.534548422198043 | 4541.745825417458 | 245.0421624504216 |
BASE/tron_10x10/7ZTgDg | 18.650265468117542 | 23652.266666666666 | 1268.2 |
DRESDEN/cylinder-checkers/clOO3Q | 19.147400090591372 | 47.07959884050245 | 2.4587985114300905 |
BASE/hanoi7_bugfix/3gdnFw | 19.848047386259942 | 3382.866666666667 | 170.43826028995167 |
DRESDEN/gt_chicken/CeuKtw | 20.614536729216265 | 9813.566666666668 | 476.0507983067231 |
DRESDEN/blobwars/ZaMluQ | 20.762727403671384 | 382.9205693143562 | 18.442691168148073 |
DRESDEN/hanoi7_bugfix/3gdnFw | 20.878618693134822 | 3365.633333333333 | 161.2 |
DRESDEN/othello-cornercontrol/r5Gdlg | 20.980469527156973 | 3.4153458452152 | 0.16278691193228065 |
BASE/blobwars/0XT15Q | 21.15594857778712 | 384.47436837544166 | 18.173345759552657 |
BASE/gt_staghunt/xPjLRA | 21.418572186491833 | 11433.566666666668 | 533.8155394820172 |
BASE/gt_prisoner/klthDw | 22.501009574675958 | 11515.266666666666 | 511.76666666666665 |
BASE/gt_chicken/gmepTQ | 22.553762183235868 | 9641.733333333334 | 427.5 |
BASE/crossers3/O0rORg | 22.635769497076023 | 1074.7333333333333 | 47.47942558224769 |
DRESDEN/crossers3/xiPTxg | 23.458424314827827 | 1112.6 | 47.428590474285905 |
DRESDEN/hanoi7/51zz5Q | 23.467605633802815 | 3610.1 | 153.83333333333334 |
DRESDEN/checkers-newgoals/IJOqXQ | 26.49587012987013 | 67.53333333333333 | 2.5488248924197285 |
BASE/gt_coordination/IVMOzA | 27.4789469018704 | 20666.0 | 752.0666666666667 |
BASE/pancakes6/QZTdnw | 27.63247445473668 | 21474.1169812577 | 777.1333333333333 |
DRESDEN/Travelers-Dilemma/PvZwYw | 28.009986213827148 | 725.6424785840472 | 25.90656321800806 |
BASE/pancakes/yUgbXw | 28.44688952528229 | 21678.426277566792 | 762.0666666666667 |
DRESDEN/checkers/jIDMIg | 29.870377668115545 | 67.19328067193281 | 2.249495517549373 |
DRESDEN/knightstour/cGISAA | 30.649019158842837 | 66922.13333333333 | 2183.5 |
BASE/bomberman2p/4CClwA | 32.07293755942948 | 4047.2 | 126.18738126187381 |
BASE/knightsTourLarge/M8jgLA | 33.40340351889241 | 19301.6 | 577.8333333333334 |
BASE/twisty-passages/DiZmmg | 33.8785258156744 | 2238.1666666666665 | 66.0644645178494 |
STANFORD/knightstourbig/TQUI2g | 34.34671105951668 | 15286.066666666668 | 445.05183160561313 |
DRESDEN/twisty-passages/j7NPyg | 35.74414731404959 | 2305.766666666667 | 64.50753032120485 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 36.20862032978501 | 23130.066666666666 | 638.8 |
BASE/kitten_escapes_from_fire/uW-YiA | 37.90329007315622 | 24062.733333333334 | 634.8455051498283 |
BASE/knightsTour/mvtVIg | 45.19828819068256 | 69530.03333333334 | 1538.3333333333333 |
STANFORD/knightstour/cEwgNA | 45.73525525260978 | 69221.83333333333 | 1513.5333333333333 |
BASE/ghostMaze2p/W-NU-w | 46.96913747761575 | 6119.466666666666 | 130.28697130286972 |
DRESDEN/mummymaze2p/k-8edg | 48.05803228173148 | 2183.0 | 45.4242484836366 |
DRESDEN/hitori/S8Gsyg | 48.70357769973661 | 54.1044776119403 | 1.1108932888976017 |
BASE/mummymaze2p/vpjDdA | 49.28761016949152 | 2228.7 | 45.21826057980673 |
BASE/hitori/S8Gsyg | 54.985446232260635 | 57.96522086747951 | 1.0541920606160435 |
DRESDEN/connect5/1kYzSg | 57.845672051696276 | 1192.8333333333333 | 20.620960756879207 |
DRESDEN/farmers/S_ASnw | 62.42608219869947 | 83.95831950620561 | 1.3449237329834345 |
BASE/knightfight/SJRkAg | 65.42553658536585 | 3397.2 | 51.92467922012998 |
BASE/connect5/d-BVQg | 65.85910142238714 | 1179.5333333333333 | 17.909951819239076 |
DRESDEN/knightfight/4_Ly4w | 69.975091042205 | 3610.233333333333 | 51.59312091721104 |
DRESDEN/hanoi_6_disks/MeubgQ | 75.62343802769334 | 22392.1 | 296.1 |
BASE/hanoi_6_disks/MeubgQ | 80.79384526841729 | 23894.533333333333 | 295.7469502033198 |
STANFORD/knightstourmedium/x1wu8Q | 89.29434605029397 | 162512.73333333334 | 1819.9666666666667 |
DRESDEN/quartosuicide/WIU1oQ | 97.4193702209414 | 2251.5333333333333 | 23.111762355135205 |
BASE/quartoSuicide/-23jUg | 101.13862953394123 | 2218.233333333333 | 21.93260224659178 |
BASE/quarto/EwBMVQ | 101.33770014903129 | 2266.133333333333 | 22.362194227821103 |
DRESDEN/quarto/OQzRYQ | 102.26436354166667 | 2287.9 | 22.37240736425076 |
BASE/solitaireChineseCheckers/-ET6gw | 109.60414398148147 | 1564.0666666666666 | 14.270141710435041 |
BASE/max_knights/2fq3Ag | 148.46028357487924 | 1022.4333333333333 | 6.8869148617626506 |
DRESDEN/max_knights/hCipiA | 150.075605987055 | 1028.6333333333334 | 6.854100815172185 |
BASE/onestep/xi53wA | 184.64932844714843 | 2757836.2 | 14935.533333333333 |
DRESDEN/kalaha_2009/gcC8uA | 186.74034011220195 | 4434.5 | 23.746877601998335 |
BASE/kalaha_2009/dRiN3g | 188.67146634349032 | 4535.1 | 24.037021007424176 |
DRESDEN/vacuumcleaner_random/_6AGDA | 192.18434326710818 | 2901.5 | 15.097483752707882 |
BASE/survival/YVIjJA | 264.8964023680944 | 2717466.2333333334 | 10258.6 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 349.0244361325028 | 6214.3261891270295 | 17.804845580404685 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 356.1334173235627 | 2054130.0666666667 | 5767.866666666667 |
BASE/haystack/UkweGA | 362.0053422903076 | 4842738.533333333 | 13377.533333333333 |
BASE/switches/tPUoCg | 371.31714146710635 | 2289665.2666666666 | 6166.333333333333 |
STANFORD/buttonsandlights/eyhJpA | 411.0892258801129 | 4044583.566666667 | 9838.7 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 415.92110898319356 | 6330.8002533080025 | 15.221156408206769 |
BASE/troublemaker01/s3tlEQ | 418.66148046938764 | 4616635.966666667 | 11027.133333333333 |
DRESDEN/troublemaker01/C-lPWw | 420.963170744684 | 4747313.933333334 | 11277.266666666666 |
BASE/stateSpaceSmall/Q7osKA | 450.75186960105003 | 3937888.533333333 | 8736.266666666666 |
DRESDEN/statespacesmall/h-NqjA | 451.9153450501285 | 3862987.433333333 | 8548.033333333333 |
BASE/troublemaker02/DI83KA | 455.29406360246486 | 4228725.733333333 | 9287.9 |
DRESDEN/troublemaker02/iZLVuA | 460.1525760166796 | 4296337.233333333 | 9336.766666666666 |
DRESDEN/buttons/ADUaHw | 494.7453158557358 | 4008327.6 | 8101.8 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 513.6024389485145 | 1278.8480767948804 | 2.489957172736629 |
BASE/buttons/hTcUjw | 519.0145014463161 | 4066997.6333333333 | 7836.0 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 633.7575419777341 | 10735.933333333332 | 16.940127134156487 |
BASE/duplicateStateSmall/bCPAXw | 652.1589916468771 | 3927105.8 | 6021.7 |
BASE/blocks/xIV5hQ | 652.8258109464372 | 4466503.633333334 | 6841.8 |
BASE/snake2p/I3wWPQ | 653.4954352157492 | 732503.0333333333 | 1120.9 |
DRESDEN/blocks/vg0DRw | 654.2662913325009 | 4489597.1 | 6862.033333333334 |
BASE/blocksWorld/SEdXLQ | 655.2999696225969 | 4530110.533333333 | 6913.033333333334 |
STANFORD/sukoshi/4LYZZQ | 659.6738787113076 | 1670822.0 | 2532.8 |
BASE/pancakes88/l2Xaig | 749.9276261213721 | 18931.133333333335 | 25.24394711426383 |
BASE/pearls/6k_mEQ | 752.4959854498608 | 6619832.6 | 8797.166666666666 |
STANFORD/tictactoe7/-bE9-A | 758.3678155544125 | 2162157.2 | 2851.0666666666666 |
BASE/hodgepodge/9yjRkw | 884.9722257145252 | 2815627.6333333333 | 3181.6 |
BASE/maze/cCX3qQ | 1089.2555316091953 | 6570389.366666666 | 6032.0 |
DRESDEN/tictactoe-init1/3ltIBQ | 1228.9539971918498 | 3705337.2666666666 | 3015.0333333333333 |
BASE/tictactoe-init1/7M19vA | 1263.591811526868 | 3716897.433333333 | 2941.5333333333333 |
DRESDEN/blocksworldparallel/2JfVaw | 1272.5930451248064 | 3315571.5 | 2605.366666666667 |
BASE/gt_dollar/TGjqRw | 1367.341738302237 | 3732660.6333333333 | 2729.866666666667 |
STANFORD/tictactoe5/WFRReg | 1430.2046833900044 | 3715433.4 | 2597.8333333333335 |
STANFORD/threepuzzle/41ibjA | 1522.8338916330742 | 5364334.666666667 | 3522.6 |
STANFORD/3puzzle/41ibjA | 1542.8120212941965 | 5284182.6 | 3425.0333333333333 |
BASE/blocksWorldSerial/Wyg96Q | 1620.931705085578 | 4842587.5 | 2987.5333333333333 |
STANFORD/tictactoe3/X7myng | 1655.9916321446758 | 4010756.533333333 | 2421.9666666666667 |
BASE/blocksWorldParallel/RseaAQ | 1824.9716872147417 | 3212132.6666666665 | 1760.1 |
BASE/gt_centipede/9fRMpw | 2019.572599236063 | 4000706.0 | 1980.9666666666667 |
BASE/coins_atomic/AA3SSw | 2181.360821247851 | 3003224.8666666667 | 1376.7666666666667 |
BASE/coins/QnGtnQ | 2285.7204874706345 | 3113456.066666667 | 1362.1333333333334 |
DRESDEN/coins/QwFP9w | 2496.2208804450943 | 3245336.7666666666 | 1300.1 |
BASE/minichess/8NQEiA | 12895.924758364314 | 2890836.466666667 | 224.16666666666666 |
DRESDEN/merrills/aYEzwA | Infinity | 11.433333333333334 | 0.0 |
BASE/merrills/pku8Tg | Infinity | 11.18173649705481 | 0.0 |
Games with errors:
Game | PALAMEDES_JOCULAR:0.6.1 error message | REKKURA_BACKWARD_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 |