Game-by-game performance:
Game | Perf ratio | FLUXPLAYER_PROLOG:1.1 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/blobwars/0XT15Q | 0.0 | 0.0 | 19322.366666666665 |
DRESDEN/ticblock/Z2yNWQ | 0.0 | 0.0 | 714058.1666666666 |
DRESDEN/blobwars/ZaMluQ | 0.0 | 0.0 | 19731.6 |
BASE/queens31lg/0gID-A | 0.0 | 0.0 | 151950.83333333334 |
BASE/englishDraughts/jFkQxg | 0.0 | 0.0 | 302268.36666666664 |
BASE/ad_game_2x2/D0aWqg | 0.0 | 0.0 | 35670.3 |
BASE/queens08lg/Ru7eqQ | 0.0 | 0.0 | 480464.6 |
BASE/crisscross/ICagEg | 0.0 | 0.0 | 100454.93333333333 |
BASE/ticblock/T21C1g | 0.0 | 0.0 | 716902.8333333334 |
BASE/gt_attrition/kD_SCA | 0.0 | 0.0 | 125682.16666666667 |
BASE/colonelBlotto/jip21A | 0.0 | 0.0 | 34338.76666666667 |
DRESDEN/crisscross/GsY16g | 0.0 | 0.0 | 114960.93333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 1.0471299215978923E-6 | 0.3 | 286497.4 |
BASE/checkersBarrelNoKings/rnKNeg | 1.1450971313026666E-6 | 0.36666666666666664 | 320205.73333333334 |
STANFORD/checkersonabarrelnokings/Zrevdw | 1.254055301330678E-6 | 0.36666666666666664 | 292384.76666666666 |
BASE/copolymer_4_pie/IN5_jA | 2.2313156817864334E-6 | 1.2666666666666666 | 567677.0333333333 |
BASE/ttcc4_2player_alt/ZEJvYA | 2.9015177924911277E-6 | 1.1333333333333333 | 390600.1666666667 |
BASE/ttcc4_2player/_aH_Mw | 3.2088092264816974E-6 | 1.1666666666666667 | 363582.43333333335 |
BASE/tttcc4/8Bs2lg | 3.2149574323000617E-6 | 0.433188937020993 | 134741.73333333334 |
BASE/ttcc4/Le0qjQ | 3.268434789320465E-6 | 0.43333333333333335 | 132581.3 |
STANFORD/ttcc4/Cx9SGw | 3.3202251866159315E-6 | 1.13295568143952 | 341228.56666666665 |
DRESDEN/tttcc4/sAvtFg | 3.3362050091490488E-6 | 0.4330446369087275 | 129801.56666666667 |
BASE/blockerSerial/3eqDuw | 4.20856106645168E-6 | 2.433333333333333 | 578186.5333333333 |
BASE/checkersTorus/2vm1EQ | 4.724753522948755E-6 | 1.0656010656010657 | 225535.8 |
DRESDEN/golden_rectangle/1uloXw | 4.9698548392834086E-6 | 3.6 | 724367.2333333333 |
BASE/breakthroughHoles/nZk0Sg | 5.026736985543662E-6 | 4.53182272575808 | 901543.6333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 5.2801675917596265E-6 | 4.633333333333334 | 877497.4 |
BASE/breakthroughSuicide/wZDpIg | 5.563761119207868E-6 | 4.631789403532156 | 832492.5 |
BASE/breakthroughWalls/vOZaYA | 5.66848942241024E-6 | 4.596935376415723 | 810963.0333333333 |
BASE/breakthrough/TGxk-g | 5.669808968333346E-6 | 4.765078307230923 | 840430.1333333333 |
DRESDEN/breakthrough/z4hK7Q | 5.72043015000861E-6 | 4.633333333333334 | 809962.4 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 5.7347429271228646E-6 | 4.463690872751499 | 778359.3666666667 |
BASE/knightThrough/gcwFjA | 6.673691099115372E-6 | 5.198267244251916 | 778919.3666666667 |
DRESDEN/knightthrough/J7Fc_Q | 6.971617464398612E-6 | 5.361305361305361 | 769018.8666666667 |
DRESDEN/quad_5x5/JAEP5g | 7.92471010296031E-6 | 5.333333333333333 | 673000.4333333333 |
DRESDEN/quad_5x5_8_2/JRTLJg | 8.836716424191769E-6 | 5.333333333333333 | 603542.4333333333 |
BASE/quad_5x5/JAEP5g | 9.202788781688245E-6 | 5.466666666666667 | 594022.8333333334 |
BASE/skirmishHoles/AUCxCA | 1.5428386138510295E-5 | 1.9666666666666666 | 127470.66666666667 |
BASE/ttcc4_2player_small/Cv72TA | 1.5933310885873378E-5 | 8.8 | 552302.0333333333 |
DRESDEN/quad/JPe6fg | 1.634248120742337E-5 | 5.333333333333333 | 326347.8333333333 |
BASE/quad/tw-Ufg | 1.69480718313022E-5 | 5.466666666666667 | 322553.9 |
BASE/strangeSkirmish/gc1zKA | 1.791328286115248E-5 | 1.8993668777074308 | 106031.2 |
BASE/breakthroughSuicideSmall/XSbJog | 2.6621156973202647E-5 | 22.033333333333335 | 827662.5 |
BASE/breakthroughSmall/HJ0tIA | 2.8320784101860938E-5 | 23.166666666666668 | 818009.3666666667 |
BASE/skirmishFinal3/-Olhfw | 2.8662547321193847E-5 | 4.266666666666667 | 148858.6 |
BASE/golden_rectangle/_nYzfw | 2.9124264852628562E-5 | 23.733333333333334 | 814898.9666666667 |
DRESDEN/capture_the_king/EQ229Q | 3.0977233594978686E-5 | 5.091514143094842 | 164363.1 |
BASE/skirmishFinal2/gdB62Q | 3.200536914313869E-5 | 4.4 | 137476.93333333332 |
BASE/skirmish/Y_psYQ | 3.3081564990191056E-5 | 3.6987670776407864 | 111807.5 |
DRESDEN/skirmishfinal/hzq8ww | 3.3364630234509885E-5 | 4.428904428904429 | 132742.5 |
BASE/skirmishFinal1/ecWTnQ | 3.438855778741658E-5 | 4.3985338220593135 | 127906.9 |
STANFORD/skirmish/w4V6Vw | 3.8042389486993275E-5 | 5.063291139240507 | 133096.03333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 4.626942648931527E-5 | 40.46666666666667 | 874587.6 |
DRESDEN/Thief_Police/CX18rA | 4.687536973511285E-5 | 41.6 | 887459.6666666666 |
DRESDEN/catch_me/ghGWrA | 4.9656145152223805E-5 | 39.45351549483505 | 794534.4 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4.984843776660296E-5 | 41.93333333333333 | 841216.6 |
BASE/colonelBlottoVariant/X-n-KQ | 5.454910933578005E-5 | 20.0 | 366642.1 |
DRESDEN/towerworld/HCX34w | 5.4769478297620264E-5 | 2.031978680879414 | 37100.566666666666 |
BASE/checkers-mustjump-torus/uSApKQ | 6.063082503395165E-5 | 6.266666666666667 | 103357.76666666666 |
STANFORD/madness/UO_B3A | 6.374045095151481E-5 | 8.063978673775408 | 126512.73333333334 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 6.524563903665774E-5 | 9.066666666666666 | 138962.03333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 6.53127556532152E-5 | 9.066666666666666 | 138819.23333333334 |
BASE/sudokuGrade6E/ihYFZA | 7.269054561926656E-5 | 37.266666666666666 | 512675.56666666665 |
BASE/sudokuGrade6H/ieE_9A | 7.503140484727454E-5 | 38.666666666666664 | 515339.76666666666 |
STANFORD/duidoku/3SoMaA | 7.662705886429283E-5 | 23.892035988004 | 311796.3333333333 |
STANFORD/sudoku/oJ1qyQ | 8.086949556483763E-5 | 45.56666666666667 | 563459.2666666667 |
BASE/sudokuGrade4/DTy07w | 8.111391465085296E-5 | 47.8 | 589294.7 |
BASE/sudokuGrade3/eI8dvg | 8.598574602004547E-5 | 50.166666666666664 | 583430.0333333333 |
BASE/checkers-mustjump/T-8UuQ | 8.709103013388874E-5 | 14.8 | 169937.13333333333 |
BASE/colonelBlottoVariant2/jruwGw | 8.816247829338058E-5 | 21.666666666666668 | 245758.36666666667 |
BASE/sudokuGrade2/u80Tfw | 9.224471205927947E-5 | 54.9 | 595156.0666666667 |
BASE/sudokuGrade1/tDRNRw | 9.581113920661517E-5 | 57.733333333333334 | 602574.3333333334 |
BASE/sudokuGrade5/BQfUQA | 9.668648099604528E-5 | 55.4 | 572986.0 |
BASE/checkers/rOC3Xg | 1.1424657579940635E-4 | 27.4 | 239832.13333333333 |
DRESDEN/quad_7x7/q-JOXg | 1.1507766035413687E-4 | 55.06666666666667 | 478517.43333333335 |
BASE/quad_7x7/q-JOXg | 1.1720154142674617E-4 | 55.2 | 470983.56666666665 |
BASE/checkers-newgoals/0XkFiA | 1.3278323649423108E-4 | 32.8 | 247019.13333333333 |
BASE/pawnToQueen/-O1_JA | 1.4930915349959092E-4 | 84.46666666666667 | 565716.6 |
BASE/checkersSmall/SYmq8w | 1.6805288471506634E-4 | 51.333333333333336 | 305459.4 |
BASE/simultaneousWin2/PfjRjw | 1.7871412734995194E-4 | 164.1 | 918226.2333333333 |
DRESDEN/pawntoqueen/f_x6Aw | 1.865103483091523E-4 | 86.6 | 464317.4 |
BASE/mummymaze2p/vpjDdA | 2.111508720595112E-4 | 230.6 | 1092110.1 |
DRESDEN/mummymaze2p/k-8edg | 2.2036738208833296E-4 | 230.8 | 1047341.9333333333 |
STANFORD/multiplesukoshi/vLSQPg | 2.2698635142103971E-4 | 261.23333333333335 | 1150876.8333333333 |
BASE/blokbox_simple/JBx4bg | 2.812336784025927E-4 | 4.9 | 17423.233333333334 |
DRESDEN/othello-cornercontrol/r5Gdlg | 2.956536136175967E-4 | 14.166666666666666 | 47916.433333333334 |
DRESDEN/ggp-course2013_michal13/jWKddg | 3.031817379553482E-4 | 171.83333333333334 | 566766.7666666667 |
BASE/checkersTiny/Lr48cg | 3.1091050058706737E-4 | 127.33333333333333 | 409549.8 |
BASE/cittaceot/fDxhXg | 3.4842514523597106E-4 | 69.1 | 198320.93333333332 |
BASE/hidato37/pBrqxw | 3.5251243436837225E-4 | 74.63333333333334 | 211718.3 |
STANFORD/selectivesukoshi/3xmXYg | 4.1705780638766343E-4 | 283.7 | 680241.4333333333 |
DRESDEN/stratego/Z2wovg | 4.214952447599188E-4 | 69.36666666666666 | 164572.83333333334 |
DRESDEN/smallest_4player/ADDROA | 4.584220004569446E-4 | 144.8 | 315866.1666666667 |
BASE/smallest_4player/ADDROA | 4.726870868068508E-4 | 144.8 | 306333.73333333334 |
BASE/cephalopodMicro/9l2D3g | 5.037875686208715E-4 | 146.63333333333333 | 291061.8333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 5.228130352008726E-4 | 145.86666666666667 | 279003.5 |
DRESDEN/racer/vk_ZBA | 5.32694100412838E-4 | 14.933333333333334 | 28033.6 |
BASE/racer/QQYQNw | 5.586843774077288E-4 | 15.3 | 27385.766666666666 |
BASE/tictactoe_3d_6player/d7KSwg | 5.698429991329838E-4 | 139.53333333333333 | 244862.76666666666 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 5.832202961775025E-4 | 139.86666666666667 | 239817.9 |
BASE/qyshinsu/R08Lzw | 6.649385587724911E-4 | 171.5 | 257918.56666666668 |
DRESDEN/logistics/fPru1Q | 7.6163056850924E-4 | 378.3333333333333 | 496741.26666666666 |
BASE/gt_ultimatum/GE-uOA | 7.742981380395576E-4 | 503.8320559813396 | 650695.1666666666 |
DRESDEN/gt_ultimatum/pAiiQw | 8.357524984842538E-4 | 516.0 | 617407.6666666666 |
BASE/futoshiki6/JmvXNA | 9.654570458898039E-4 | 536.4666666666667 | 555660.8333333334 |
STANFORD/multipletictactoe/_bkafQ | 0.001150901737235328 | 1424.1666666666667 | 1237435.5 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.0012100124796469802 | 403.26557814061977 | 333273.9 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.001228911843507999 | 406.03333333333336 | 330400.7 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.0013378645904392286 | 2764.9666666666667 | 2066701.4333333333 |
BASE/hidato19/rRHSmA | 0.001353871765718239 | 616.3333333333334 | 455237.6 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.0013589202366826529 | 2799.6 | 2060165.0666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.0013883822967855595 | 2812.7 | 2025882.9333333333 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.0013994845754179103 | 684.6666666666666 | 489227.73333333334 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.0014362131716556662 | 406.7 | 283175.23333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.0014578477714609107 | 2806.8 | 1925303.9 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.00147863009449671 | 1668.1666666666667 | 1128183.9 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.0014912769851932542 | 408.3666666666667 | 273836.9 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.0014917813193217567 | 1629.6666666666667 | 1092430.0 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.0015051218807325551 | 1620.9333333333334 | 1076944.9 |
BASE/futoshiki5/TJ4BZg | 0.001652416766768297 | 1014.3333333333334 | 613848.3666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.0016863941815369826 | 2823.9666666666667 | 1674559.0666666667 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.0016994902380471444 | 2595.6 | 1527281.5 |
DRESDEN/grid_game2/kypTYQ | 0.0016995857343588363 | 2407.9666666666667 | 1416796.2333333334 |
BASE/pacman2p/4LEdQg | 0.0017358435483235644 | 688.9333333333333 | 396886.76666666666 |
BASE/conn4/va9Y7A | 0.0017654777525945365 | 1156.8666666666666 | 655271.1666666666 |
DRESDEN/battle/8oAvhQ | 0.0018188475867699709 | 479.3333333333333 | 263536.8333333333 |
BASE/battle/8oAvhQ | 0.0018285099609686845 | 483.6666666666667 | 264514.1 |
DRESDEN/blockerparallel/dVQgSg | 0.0018379771435814022 | 362.53333333333336 | 197245.83333333334 |
DRESDEN/connect4/T0-rHQ | 0.0018754987159660644 | 1119.5 | 596907.9 |
BASE/blockerParallel/7-nDJA | 0.0018849442631924014 | 362.73333333333335 | 192437.16666666666 |
BASE/connect4/50bOyw | 0.0019468803989209015 | 1114.2333333333333 | 572317.3 |
BASE/chomp/-LcqYQ | 0.0019575331598483876 | 764.2 | 390389.3 |
DRESDEN/chomp/-LcqYQ | 0.002020700485373469 | 744.4333333333333 | 368403.6 |
DRESDEN/hitori/S8Gsyg | 0.002312956562330484 | 794.9333333333333 | 343687.1 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.002313486378300641 | 2887.3333333333335 | 1248044.2333333334 |
DRESDEN/backgammon/mqCW0Q | 0.0023136778142523445 | 347.0 | 149977.66666666666 |
BASE/hitori/S8Gsyg | 0.002320160226587086 | 805.7333333333333 | 347274.86666666664 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.0023253564638307 | 2823.3333333333335 | 1214150.7666666666 |
BASE/snake_2009_big/-oRfVw | 0.0024593556556879183 | 859.2 | 349359.8 |
DRESDEN/grid_game/U7_Yeg | 0.002467061252290743 | 1498.2 | 607281.2333333333 |
DRESDEN/slidingpieces/s9_44g | 0.002484668674033556 | 1080.0 | 434665.6 |
DRESDEN/ghostmaze2p/HY0UwA | 0.0025183661267363273 | 2421.633333333333 | 961589.0666666667 |
BASE/slidingpieces/uFJWEw | 0.002553935393886452 | 1098.9 | 430277.13333333336 |
BASE/ticTacToeSerial/Amrwqw | 0.0026472153002510546 | 1382.9333333333334 | 522410.6 |
BASE/queens16ug/gT-ylw | 0.0026589903204715516 | 1428.323892035988 | 537167.7666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.0027241582896489545 | 2185.233333333333 | 802168.2666666667 |
BASE/ghostMaze2p/W-NU-w | 0.0027509661839909857 | 2395.366666666667 | 870736.5 |
DRESDEN/connect5/1kYzSg | 0.0027545635563724115 | 2132.6 | 774206.1333333333 |
BASE/connect5/d-BVQg | 0.002770920113401838 | 2160.5333333333333 | 779716.9333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.0027729263596821736 | 2196.1 | 791979.2 |
DRESDEN/snake_2009_big/DgC1NQ | 0.002784623599685007 | 856.8 | 307689.7 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.003123279260180546 | 2622.0333333333333 | 839512.9333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.0031340817384420427 | 2685.4666666666667 | 856859.1666666666 |
BASE/duplicateStateLarge/dcjyuw | 0.0031616958144041604 | 4048.3333333333335 | 1280431.0 |
DRESDEN/babel/WdSW4A | 0.003211053823263677 | 755.4666666666667 | 235270.63333333333 |
BASE/pacman3p/wW7UVQ | 0.0033204742400594544 | 1556.0333333333333 | 468617.8 |
DRESDEN/snake_2009/zIYLVw | 0.00356679675737024 | 1189.2 | 333408.4 |
BASE/mineClearingSmall/frsbvw | 0.003605297790968818 | 1029.7666666666667 | 285625.9666666667 |
BASE/connectFourLarger/qKi60A | 0.0036194677883869745 | 2829.266666666667 | 781680.3 |
BASE/snake_2009/7l-qAQ | 0.0036809883857621714 | 1197.2 | 325238.73333333334 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.0037101942195604865 | 5123.258913695435 | 1380860.0333333334 |
DRESDEN/mimikry/GJEhwA | 0.0037181674202346796 | 3225.766666666667 | 867568.9666666667 |
DRESDEN/fizzbuzz/t1xHzQ | 0.003756653810821012 | 6136.0 | 1633368.5 |
DRESDEN/pacman3p/rBnk8Q | 0.0038028551348236296 | 1549.8666666666666 | 407553.43333333335 |
BASE/max_knights/2fq3Ag | 0.0039266956164193696 | 3193.8 | 813355.6333333333 |
BASE/snake_2008/i6K26g | 0.00400100902214578 | 1513.1333333333334 | 378187.93333333335 |
BASE/snake_2008_tweaked/bX0NJQ | 0.004017177635677418 | 1501.2 | 373695.2 |
BASE/firefighter/WJmoPw | 0.004055722841197103 | 16641.6 | 4103238.966666667 |
BASE/tictactoex9/BI26ow | 0.004082356410747801 | 2118.8333333333335 | 519022.13333333336 |
DRESDEN/snake_2008/E56l3A | 0.004085216054907207 | 1510.9 | 369845.8 |
BASE/queens12ug/u6Bkmg | 0.004110336440911454 | 2422.8 | 589440.8 |
DRESDEN/tictactoex9/rFkD4w | 0.004122894365075562 | 2122.6666666666665 | 514848.6666666667 |
BASE/twisty-passages/DiZmmg | 0.004156443579625347 | 11462.4 | 2757742.2333333334 |
BASE/futoshiki4/BaCwSw | 0.0041902697843387215 | 3101.233333333333 | 740103.5 |
DRESDEN/chinesecheckers6/yTbPDA | 0.004217208194896417 | 1333.9 | 316299.3 |
BASE/gt_coordination/IVMOzA | 0.004220150462101845 | 4556.666666666667 | 1079740.3333333333 |
DRESDEN/max_knights/hCipiA | 0.004257360763359837 | 3254.5333333333333 | 764448.5666666667 |
BASE/blocksWorldParallel/RseaAQ | 0.004270714751853444 | 1857.9 | 435032.56666666665 |
DRESDEN/twisty-passages/j7NPyg | 0.004274570007275682 | 11356.266666666666 | 2656703.8666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.004377755092148638 | 3365.766666666667 | 768833.9333333333 |
DRESDEN/firefighter/WJmoPw | 0.004389762319981098 | 16912.933333333334 | 3852813.0 |
DRESDEN/aipsrovers01/qS47Mw | 0.004521132005793653 | 7299.066666666667 | 1614433.4333333333 |
BASE/gt_chicken/gmepTQ | 0.004617248124832285 | 1958.6666666666667 | 424206.5 |
DRESDEN/gt_chicken/CeuKtw | 0.004617597942974962 | 1943.3333333333333 | 420853.73333333334 |
BASE/aipsrovers01/4C4jsw | 0.004826121545832711 | 7452.933333333333 | 1544290.4333333333 |
BASE/double_tictactoe_dengji/zgaSbA | 0.004882952486584176 | 3368.9333333333334 | 689937.7666666667 |
DRESDEN/gt_prisoner/huCp4w | 0.005033787931864039 | 2082.6666666666665 | 413737.4666666667 |
STANFORD/breakthrough/d5j0cQ | 0.0050570469281850106 | 4060.733333333333 | 802985.1 |
BASE/nonogram_10x10_1/0Xc62g | 0.005072362579129787 | 944.4333333333333 | 186192.0 |
BASE/incredible/8Qh-6Q | 0.0050957612211825105 | 9631.9 | 1890178.8333333333 |
BASE/knightmove/jBaJEw | 0.0052234625987511805 | 5004.766666666666 | 958132.0 |
BASE/duplicateStateMedium/U163eQ | 0.005239031277556917 | 8722.2 | 1664849.7666666666 |
BASE/gt_prisoner/klthDw | 0.005340371898345286 | 2155.3333333333335 | 403592.36666666664 |
BASE/withConviction/3Xm54A | 0.005340428336743609 | 3406.9666666666667 | 637957.5666666667 |
DRESDEN/knightmove/97Ipcw | 0.005473546447971373 | 4982.5 | 910287.3333333334 |
BASE/tictactoe_3player/GtM71g | 0.005495121219036775 | 2687.2 | 489015.6 |
BASE/biddingTicTacToe/8mESVw | 0.005585677538239822 | 2165.3 | 387652.1666666667 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.005629690222076111 | 2174.8 | 386309.0 |
BASE/reversi/d8UMeA | 0.005713494369857269 | 438.7 | 76783.13333333333 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.005805217827071816 | 2687.5333333333333 | 462951.3333333333 |
BASE/lightsOut/5P1ZBw | 0.005837318261284812 | 3719.3333333333335 | 637164.7333333333 |
BASE/reversiSuicide/9OxJlg | 0.005902428057553957 | 437.56666666666666 | 74133.33333333333 |
DRESDEN/smallest/9kaGFw | 0.005916956207643881 | 68.8 | 11627.6 |
DRESDEN/lightsout/XgLpzQ | 0.005932758029835584 | 3685.4381872709096 | 621201.5 |
DRESDEN/lightsout2/LFtfyQ | 0.006113526973859746 | 3702.0 | 605542.4333333333 |
BASE/coins_atomic/AA3SSw | 0.006353722502632958 | 2905.633333333333 | 457311.9666666667 |
DRESDEN/bomberman2p/x4h6jQ | 0.006481236309366199 | 3015.6 | 465281.6 |
BASE/bomberman2p/4CClwA | 0.006502925123075436 | 3042.8333333333335 | 467917.63333333336 |
BASE/doubletoetictac/fu35bg | 0.0065476455321228175 | 3227.6666666666665 | 492950.73333333334 |
BASE/breakthroughSmallHoles/bxclRw | 0.006686031320853377 | 5228.766666666666 | 782043.4 |
BASE/coins/QnGtnQ | 0.006820795879330391 | 2909.733333333333 | 426597.3333333333 |
BASE/pegEuro/5awwhg | 0.006865809823340577 | 3170.5666666666666 | 461790.63333333336 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.00689678691760894 | 5999.6 | 869912.3333333334 |
DRESDEN/coins/QwFP9w | 0.006971357529839882 | 2934.2 | 420893.63333333336 |
DRESDEN/chinesecheckers3/QsCb2A | 0.006983080035306026 | 2940.7 | 421117.9 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.007025135269713164 | 6011.133333333333 | 855660.8666666667 |
DRESDEN/catcha_mouse/cHv4dw | 0.0071178061914482695 | 4917.533333333334 | 690877.6666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 0.00717512931845083 | 5822.233333333334 | 811446.4666666667 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.0072825228228704875 | 3263.8 | 448168.86666666664 |
BASE/queens08ug/kJ_ZFQ | 0.007356889748357636 | 5291.836054648451 | 719303.4333333333 |
BASE/bunk_t/xbpfIA | 0.0075097049945606785 | 3186.5 | 424317.6 |
DRESDEN/doubletictactoe/lJzgmQ | 0.007524859242671898 | 3231.3333333333335 | 429421.1 |
DRESDEN/bunk_t/7-tPfA | 0.007542186282120575 | 3198.366666666667 | 424063.6 |
BASE/doubletictactoe/HH1htg | 0.007555142539569992 | 3225.733333333333 | 426958.63333333336 |
BASE/dualConnect4/WbCQkg | 0.007669836098810627 | 6801.833333333333 | 886829.0333333333 |
DRESDEN/doubletoetictac/V89gKQ | 0.0077429490415877435 | 3204.266666666667 | 413830.26666666666 |
BASE/lightsOnSimul4/9FeASw | 0.007763124380406838 | 4236.5 | 545721.0 |
BASE/gt_staghunt/xPjLRA | 0.0077696511049767806 | 3216.0 | 413918.2 |
BASE/wargame01/_GZFZg | 0.007779524087485054 | 1860.9666666666667 | 239213.43333333332 |
DRESDEN/javastrike/whONTQ | 0.007899705796387636 | 520.7333333333333 | 65918.06666666667 |
BASE/lightsOnParallel/SC6enA | 0.007926759376195287 | 13367.666666666666 | 1686397.4333333333 |
DRESDEN/oisters_farm/pTQMLg | 0.00805995025627829 | 30181.666666666668 | 3744646.7666666666 |
BASE/escortLatch/mX9BjQ | 0.00810260029216705 | 3993.3333333333335 | 492845.9 |
BASE/catcha_mouse/cHv4dw | 0.008111432828103135 | 4960.133333333333 | 611499.0333333333 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.008164473620577421 | 13439.520159946684 | 1646097.5666666667 |
BASE/peg/fJHVWw | 0.008301546826807402 | 3773.7 | 454577.93333333335 |
DRESDEN/peg/Vo31eg | 0.008337669303478894 | 3791.866666666667 | 454787.36666666664 |
STANFORD/untwistycorridor/EDPPAQ | 0.008409442274296247 | 30780.633333333335 | 3660246.7 |
BASE/nineBoardTicTacToe/wRmqqA | 0.008410970327722792 | 4486.933333333333 | 533462.0333333333 |
DRESDEN/peg_bugfixed/u_B7MA | 0.008426026506830976 | 3849.9666666666667 | 456913.6666666667 |
BASE/othelloHoles/c0qAzw | 0.008432327612532828 | 368.1666666666667 | 43661.333333333336 |
STANFORD/nineboardtictactoe/y28P-A | 0.008484300190647807 | 4575.3 | 539266.6333333333 |
DRESDEN/latenttictactoe/kITHKg | 0.008503020668962639 | 5395.266666666666 | 634511.7666666667 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.008736160247978526 | 14838.666666666666 | 1698534.1666666667 |
DRESDEN/pawn_whopping/4ogBkg | 0.008741873113432996 | 7189.933333333333 | 822470.5666666667 |
BASE/wargame02/BkVqqQ | 0.008767748715388326 | 1033.1666666666667 | 117837.16666666667 |
DRESDEN/Runners/3bOCQw | 0.008985499515826691 | 7659.066666666667 | 852380.7333333333 |
BASE/dotsAndBoxes/EHwA_w | 0.009058724000112015 | 7537.166666666667 | 832034.0333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.00906226272194194 | 7555.766666666666 | 833761.6 |
BASE/kalaha5x2x3/WviNsw | 0.009192588971812443 | 944.7 | 102767.56666666667 |
BASE/wargame03/klXI8w | 0.009273606159971639 | 1559.9 | 168208.56666666668 |
BASE/untwistycomplex2/EDPPAQ | 0.009369023923457714 | 29564.266666666666 | 3155533.2666666666 |
BASE/connectFourLarge/aU644A | 0.009469955309442835 | 8298.733333333334 | 876322.3333333334 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.009542877659500156 | 7422.566666666667 | 777812.2 |
BASE/queens06ug/7Lq3tw | 0.0095987728411153 | 8693.0 | 905636.6 |
BASE/asteroidsSerial/id2QkA | 0.009745861874151851 | 7904.2 | 811031.4 |
BASE/factoringGeorgeForman/HGRorQ | 0.00986451988659286 | 20310.933333333334 | 2058988.5333333334 |
BASE/pawnWhopping/Ypc_6Q | 0.010068538555582594 | 7359.266666666666 | 730917.0666666667 |
BASE/3pConnectFour/PqXOFQ | 0.010331528800515351 | 7065.3 | 683858.1333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.010372871382139529 | 8306.0 | 800742.6 |
BASE/brain_teaser_extended/ZDp94A | 0.010484055351073697 | 8260.0 | 787863.0666666667 |
BASE/tpeg/QNs7Lw | 0.0105429772876268 | 3814.633333333333 | 361817.4666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 0.010573251432021718 | 3295.6 | 311692.2 |
DRESDEN/tpeg/h-Scbg | 0.010636213610684498 | 3865.3333333333335 | 363412.5333333333 |
BASE/ticTacToeParallel/ymRGPw | 0.010933627511263798 | 3367.8 | 308022.2 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.011029449733500217 | 39728.4 | 3602029.2 |
DRESDEN/queens/mW2wHQ | 0.0110660588035525 | 3584.3333333333335 | 323903.3333333333 |
BASE/queens/HyJJnQ | 0.011165386571387588 | 3567.6666666666665 | 319529.1666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.01120608877606585 | 4073.3333333333335 | 363492.86666666664 |
BASE/ticTacHeavenFC/mrletw | 0.011213717574746648 | 4046.633333333333 | 360864.56666666665 |
DRESDEN/Goldrush/VeWczQ | 0.011409796685158295 | 3922.633333333333 | 343795.2 |
BASE/cubicup/4wNWJA | 0.011419828878921826 | 4295.4 | 376135.23333333334 |
BASE/pearls/6k_mEQ | 0.011433678426370218 | 35260.86666666667 | 3083947.7333333334 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.011485458049526321 | 41349.066666666666 | 3600123.433333333 |
DRESDEN/lightson2x2/gBHuig | 0.0116057313349256 | 16911.666666666668 | 1457182.3333333333 |
BASE/kalaha6x2x4/XS81Mg | 0.011701540935458794 | 763.1 | 65213.63333333333 |
BASE/zhadu/DlA8iQ | 0.011874420797008898 | 1237.7666666666667 | 104238.06666666667 |
DRESDEN/cubicup/SBn_lw | 0.01220977841589093 | 4372.233333333334 | 358092.76666666666 |
DRESDEN/buttons/ADUaHw | 0.012316177069710886 | 30608.8 | 2485251.7 |
STANFORD/sukoshi/4LYZZQ | 0.012349398721830194 | 12163.733333333334 | 984965.6333333333 |
BASE/duplicateStateSmall/bCPAXw | 0.01247690258410778 | 25715.333333333332 | 2061035.0333333334 |
BASE/hodgepodge/9yjRkw | 0.012614182839045366 | 16893.2 | 1339222.7 |
BASE/connectFourSimultaneous/7ITr3g | 0.012710911164896848 | 6622.0 | 520969.73333333334 |
BASE/buttons/hTcUjw | 0.012769419405689203 | 30878.2 | 2418136.566666667 |
DRESDEN/4pttc/9pB9AQ | 0.01298874324217249 | 3207.4666666666667 | 246942.03333333333 |
BASE/ticTacHeaven/18n58A | 0.013131332331136437 | 4697.7 | 357747.4 |
BASE/connectFour_9x6/B9TtMw | 0.013195265857024692 | 12663.133333333333 | 959672.4666666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.01349075357005335 | 10931.0 | 810258.6666666666 |
BASE/ticTacToeNoVars/XT03NA | 0.013813820379855414 | 17142.3 | 1240952.8666666667 |
BASE/blocker/dIWtxg | 0.01386292193971473 | 13757.233333333334 | 992376.1666666666 |
STANFORD/dualrainbow/G3OnRQ | 0.01387827608952631 | 12325.0 | 888078.6 |
BASE/speedChess/bPnisA | 0.01391836604127592 | 2842.6666666666665 | 204238.53333333333 |
BASE/connectFour/WAIKTw | 0.013982841106873294 | 13644.2 | 975781.6666666666 |
DRESDEN/connectfoursuicide/M9CNQg | 0.014003188054800234 | 13887.866666666667 | 991764.6333333333 |
BASE/lightsOn/MsXu3A | 0.01406147156437301 | 29124.233333333334 | 2071208.0666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.014077590914146109 | 18805.666666666668 | 1335858.3 |
BASE/connectFourSuicide/c8p9Kw | 0.014170815053070324 | 14192.569143618794 | 1001535.1333333333 |
STANFORD/hunter/14dD-g | 0.014323448971127192 | 12353.215594801733 | 862447.0 |
BASE/othelloSuicide/B442jg | 0.014333010052463773 | 476.3666666666667 | 33235.63333333333 |
STANFORD/connectfour/VMpZkQ | 0.014356123848265505 | 14037.166666666666 | 977782.5 |
DRESDEN/blocker/S815zQ | 0.014374921824418102 | 14346.466666666667 | 998020.5 |
DRESDEN/connectfour/5tc-Mg | 0.014463433793613393 | 14071.166666666666 | 972878.7 |
BASE/ticTacToeLarge/TZC0dg | 0.014464953524335692 | 19141.5 | 1323301.8666666667 |
STANFORD/platformjumpers/HEQskA | 0.014490301069808007 | 5468.7 | 377404.1666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.014513483612151094 | 18973.933333333334 | 1307331.4333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 0.014529130122360718 | 19062.266666666666 | 1312003.3 |
BASE/hanoi_6_disks/MeubgQ | 0.014633911747449725 | 18937.066666666666 | 1294053.6333333333 |
BASE/othello-comp2007/86ZoMw | 0.014655389252782714 | 477.76666666666665 | 32600.066666666666 |
BASE/chickentoetictac/l57rfQ | 0.014825542710055496 | 11953.8 | 806297.6333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.014933338118378433 | 33621.8 | 2251459.1 |
DRESDEN/tictactoelarge/IwXcbg | 0.015052141807461554 | 19085.833333333332 | 1267981.2333333334 |
BASE/4pttc/AL1k2Q | 0.01512620188865463 | 3094.4351882705764 | 204574.5 |
DRESDEN/hanoi7/51zz5Q | 0.015349794731837785 | 18914.533333333333 | 1232233.6333333333 |
BASE/hanoi7_bugfix/3gdnFw | 0.01558830156068649 | 18978.033333333333 | 1217453.5666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 0.01572938149488864 | 11813.333333333334 | 751036.1 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.015837116023200534 | 19035.188270576473 | 1201935.2666666666 |
STANFORD/tictactoe3/X7myng | 0.01587104170046795 | 17809.9 | 1122163.2666666666 |
BASE/coloredtrails/EZvr7g | 0.015995719988913096 | 6036.5 | 377382.2 |
BASE/point_grab/V_osUg | 0.016105721736007154 | 29723.333333333332 | 1845513.9 |
BASE/toetictac/mTThmg | 0.01619435681969272 | 18039.3 | 1113925.0666666667 |
BASE/beatMania/qUHwvQ | 0.016507136458790633 | 16176.0 | 979939.8 |
STANFORD/duikoshi/tpw1sw | 0.01651403786288192 | 7984.666666666667 | 483507.8333333333 |
DRESDEN/point_grab/r5DPmQ | 0.01657155576482265 | 30035.333333333332 | 1812463.1 |
BASE/amazons_8x8/7SOsIw | 0.01662340284506863 | 2008.9 | 120847.7 |
BASE/quarto/EwBMVQ | 0.016773189448554948 | 1886.7333333333333 | 112485.06666666667 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.016940247351050458 | 18877.8 | 1114375.7 |
BASE/quartoSuicide/-23jUg | 0.017058861418070018 | 1880.4 | 110230.1 |
STANFORD/pentago/ZxzLmg | 0.017111074773571707 | 6278.566666666667 | 366930.0 |
DRESDEN/toetictac/mJtxCA | 0.017197553150761 | 18035.466666666667 | 1048722.8333333333 |
BASE/gt_tinfoil/Q8DyKg | 0.017706239156340606 | 8777.333333333334 | 495719.8 |
BASE/chickentictactoe/DSlZCA | 0.017748140390766227 | 11133.333333333334 | 627295.7666666667 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.017975967617224944 | 38281.2 | 2129576.6 |
DRESDEN/quartosuicide/WIU1oQ | 0.017998601009417657 | 1880.0666666666666 | 104456.26666666666 |
BASE/chineseCheckers1/gqtwHw | 0.018133581313932497 | 30011.8 | 1655039.8666666667 |
STANFORD/buttonsandlights/eyhJpA | 0.018143709834934196 | 53610.4 | 2954765.066666667 |
BASE/haystack/UkweGA | 0.01832317012463392 | 52881.23333333333 | 2886030.8 |
DRESDEN/quarto/OQzRYQ | 0.01834465377005368 | 1896.3333333333333 | 103372.53333333334 |
DRESDEN/eotcatcit/mQUxzA | 0.01842489136703294 | 14936.0 | 810642.5 |
BASE/skirmishNew/sibw2g | 0.01843095514395858 | 3683.133333333333 | 199834.1 |
DRESDEN/chickentictactoe/Ipbo-g | 0.018536924159871154 | 11122.6 | 600024.0333333333 |
STANFORD/dualhunter/1rPZjQ | 0.01854953374233773 | 8246.466666666667 | 444564.63333333336 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.018679324590036385 | 26696.566666666666 | 1429204.0666666667 |
BASE/switches/tPUoCg | 0.0188026842500058 | 23724.666666666668 | 1261770.2 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.018913216690833366 | 29810.666666666668 | 1576181.7333333334 |
BASE/skirmishZeroSum/zh4hcw | 0.018926257274474088 | 3710.4 | 196045.1 |
BASE/maze/cCX3qQ | 0.019259174389007008 | 43782.5 | 2273332.1333333333 |
STANFORD/tictactoe5/WFRReg | 0.01951088589143164 | 17168.233333333334 | 879931.0 |
BASE/hanoi/iGLsJg | 0.019615629366236044 | 22584.533333333333 | 1151354.0 |
DRESDEN/hanoi/RQ0jiA | 0.0197631391986126 | 22554.566666666666 | 1141244.1333333333 |
BASE/blocksWorld/SEdXLQ | 0.01998323857616687 | 30923.7 | 1547481.9 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.020003597495213778 | 17674.733333333334 | 883577.7333333333 |
BASE/tron_10x10/7ZTgDg | 0.020220285578410404 | 7630.666666666667 | 377376.8 |
DRESDEN/frogs_and_toads/GjchhQ | 0.020254672723210965 | 2892.266666666667 | 142795.03333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.020401662264627626 | 29779.066666666666 | 1459639.2333333334 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.02046948580678487 | 30106.066666666666 | 1470777.8666666667 |
DRESDEN/tictactoe/BTTzPw | 0.020505464284246232 | 16478.633333333335 | 803621.5666666667 |
BASE/pentago/86NgKw | 0.020555671016405687 | 7467.433333333333 | 363278.5 |
BASE/nonogram_5x5_1/qLKEZw | 0.020617740349000248 | 7307.733333333334 | 354439.1 |
BASE/stateSpaceLarge/0Ge_CQ | 0.020653403651227527 | 21162.866666666665 | 1024667.2666666667 |
STANFORD/tictactoe/ss1kyQ | 0.020669873554089304 | 15635.833333333334 | 756455.2 |
BASE/stateSpaceMedium/3bUoIw | 0.020882916388203 | 30334.8 | 1452613.2 |
DRESDEN/statespacelarge/8-y5HQ | 0.02092618002108361 | 20895.466666666667 | 998532.3 |
DRESDEN/statespacemedium/dVJZ_w | 0.02102179325032752 | 30606.6 | 1455946.2 |
BASE/sum15/QZ07Kg | 0.021137497858786748 | 14359.266666666666 | 679326.7 |
BASE/snake2p/I3wWPQ | 0.02114572025042482 | 12124.033333333333 | 573356.3666666667 |
DRESDEN/pentago_2008/hLjVpQ | 0.021242055221592573 | 7563.933333333333 | 356082.93333333335 |
BASE/ticTacToe/JRFsaQ | 0.021274487485854088 | 16460.533333333333 | 773721.7333333333 |
BASE/tictactoe-init1/7M19vA | 0.021360730688148855 | 18088.966666666667 | 846832.7666666667 |
BASE/pentagoSuicide/SBgNhw | 0.021366291041285543 | 7540.266666666666 | 352904.8 |
DRESDEN/blocks/vg0DRw | 0.021465637368523065 | 31193.9 | 1453201.6666666667 |
DRESDEN/sum15/CsgWKg | 0.021489077527814215 | 14407.9 | 670475.5 |
STANFORD/trifecta/ss1kyQ | 0.021597362169820004 | 15236.7 | 705488.9333333333 |
STANFORD/tictactoe7/-bE9-A | 0.021776573870981572 | 16286.933333333332 | 747910.7333333333 |
BASE/eotcatcit/AfZSzA | 0.02190201415288165 | 15151.766666666666 | 691797.8666666667 |
BASE/tictactoe2/bhrDoQ | 0.021983456609673623 | 27565.733333333334 | 1253930.8 |
BASE/blocks/xIV5hQ | 0.021990221977256242 | 31082.5 | 1413469.1333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.022537009241193378 | 17189.566666666666 | 762726.1666666666 |
BASE/tictactoe_orthogonal/WRzlVw | 0.022642750144399662 | 17260.433333333334 | 762294.0333333333 |
BASE/numbertictactoe/rvJ-iQ | 0.022750046734303947 | 9995.533333333333 | 439363.2 |
BASE/circlesolitaire/azuQFQ | 0.023145490894260382 | 20322.7 | 878041.4333333333 |
BASE/survival/YVIjJA | 0.02340197858427223 | 53988.2 | 2306992.966666667 |
DRESDEN/circlesolitaire/ruUilQ | 0.02344272968754026 | 20318.9 | 866746.3333333334 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.023517962123655457 | 1385.4666666666667 | 58911.0 |
BASE/snakeParallel/RCVNtw | 0.024276809632054756 | 18824.233333333334 | 775399.8 |
BASE/rubiksCube/9tNO9Q | 0.024385648377739117 | 3071.6666666666665 | 125962.06666666667 |
BASE/knightfight/SJRkAg | 0.02460536110613793 | 5831.766666666666 | 237012.03333333333 |
BASE/stateSpaceSmall/Q7osKA | 0.024986878424414175 | 46760.666666666664 | 1871408.9 |
DRESDEN/knightfight/4_Ly4w | 0.02500615666250529 | 5855.533333333334 | 234163.66666666666 |
BASE/kalaha_2009/dRiN3g | 0.0252690323150549 | 648.4 | 25659.866666666665 |
DRESDEN/cube_2x2x2/fp-34Q | 0.02534113130110029 | 7089.133333333333 | 279748.1 |
BASE/amazons_10x10/Bun8dA | 0.02552533658197938 | 1399.6333333333334 | 54833.1 |
BASE/hexPie/48CH6Q | 0.025665096457524593 | 1678.6333333333334 | 65405.3 |
BASE/troublemaker01/s3tlEQ | 0.0257438332690126 | 56540.8 | 2196285.2 |
DRESDEN/kalaha_2009/gcC8uA | 0.025771852994276395 | 659.5 | 25589.933333333334 |
DRESDEN/statespacesmall/h-NqjA | 0.025956546924172215 | 46970.0 | 1809562.7333333334 |
BASE/troublemaker02/DI83KA | 0.026153262783209848 | 54894.2 | 2098942.7 |
BASE/gt_dollar/TGjqRw | 0.026162727076078703 | 25701.5 | 982370.8333333334 |
DRESDEN/troublemaker01/C-lPWw | 0.026213900147191504 | 57136.066666666666 | 2179609.533333333 |
DRESDEN/tictictoe/LAUtwg | 0.026308389696429613 | 8959.966666666667 | 340574.5 |
BASE/eotcitcit/V_9_bg | 0.026536423827780077 | 8827.790736421193 | 332666.93333333335 |
BASE/ticTicToe/c1OobQ | 0.026623600182223497 | 8915.728090636454 | 334880.63333333336 |
STANFORD/tictictoe/rpt_Dw | 0.026734965000723424 | 8863.333333333334 | 331525.9 |
BASE/asteroids/BKCmPQ | 0.027240643945792987 | 25472.033333333333 | 935074.5666666667 |
BASE/asteroidsParallel/WauZiA | 0.027322331358408787 | 13496.133333333333 | 493959.8 |
STANFORD/3puzzle/41ibjA | 0.027391939301147507 | 30102.4 | 1098951.0333333334 |
BASE/gt_centipede/9fRMpw | 0.02745081311332871 | 29516.933333333334 | 1075266.2666666666 |
STANFORD/threepuzzle/41ibjA | 0.027873492651809887 | 30283.0 | 1086444.4 |
DRESDEN/troublemaker02/iZLVuA | 0.027954789505612893 | 55201.933333333334 | 1974686.0666666667 |
DRESDEN/blocksworldparallel/2JfVaw | 0.028126323889196413 | 12096.5 | 430077.5333333333 |
BASE/choicethroughalt/tt71Lg | 0.028300654927869574 | 13921.566666666668 | 491916.76666666666 |
BASE/2pttc/unkkYA | 0.029081621334607982 | 20137.28757080973 | 692440.3333333334 |
BASE/knightsTour/mvtVIg | 0.029739855528403934 | 39114.46666666667 | 1315220.4666666666 |
STANFORD/rainbow/_4qNSQ | 0.030163641706930606 | 47070.2 | 1560494.6 |
STANFORD/knightstour/cEwgNA | 0.0301847088388882 | 38740.8 | 1283457.8 |
STANFORD/pilgrimage/ObRZnQ | 0.030257445875513253 | 8880.4 | 293494.7 |
DRESDEN/knightstour/cGISAA | 0.030732559654391107 | 39120.166666666664 | 1272922.5 |
STANFORD/knightstourmedium/x1wu8Q | 0.031156658958486395 | 39770.833333333336 | 1276479.4 |
BASE/solitaireChineseCheckers/-ET6gw | 0.03314436461205826 | 7718.4 | 232872.16666666666 |
BASE/cubicup_3player/e2yA_g | 0.03359326315789474 | 2659.4666666666667 | 79166.66666666667 |
BASE/onestep/xi53wA | 0.03385712163645751 | 74782.3 | 2208761.3 |
DRESDEN/cubicup_3player/awDtsQ | 0.03458473400675443 | 2660.1666666666665 | 76917.36666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 0.036299970493197366 | 1922.8590469843386 | 52971.36666666667 |
STANFORD/knightstourbig/TQUI2g | 0.03631652775230683 | 35077.36666666667 | 965878.8666666667 |
BASE/knightsTourLarge/M8jgLA | 0.038504890440254326 | 35367.6107964012 | 918522.5666666667 |
BASE/2pffa_zerosum/o0_uZA | 0.038849713528212815 | 19285.57147617461 | 496414.76666666666 |
BASE/2pffa/6oHijA | 0.038954069995935404 | 19291.569476841054 | 495238.86666666664 |
STANFORD/freeforall/Lfp40Q | 0.03962555998555492 | 20588.13728757081 | 519567.1 |
DRESDEN/guess/PhxGhg | 0.04087356072906635 | 2239.6 | 54793.36666666667 |
BASE/guess/SPpk1A | 0.040984248547662486 | 2232.633333333333 | 54475.4 |
BASE/ruleDepthLinear/OUBJpQ | 0.04489658414640366 | 75670.76666666666 | 1685445.9666666666 |
BASE/snakeAssemblit/UO4sdg | 0.045489295698410405 | 1854.4666666666667 | 40767.1 |
BASE/chineseCheckers2/eCMR3Q | 0.05028734074136913 | 42818.1 | 851468.7666666667 |
DRESDEN/roshambo2/jgSlkQ | 0.05176846377298821 | 39215.5 | 757517.1666666666 |
BASE/roshambo2/KNPokQ | 0.05293183176280488 | 39231.833333333336 | 741176.5666666667 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.05457449970279374 | 2938.0 | 53834.666666666664 |
BASE/amazonsTorus_10x10/Uxc08g | 0.05577676455235163 | 1100.5666666666666 | 19731.633333333335 |
BASE/chineseCheckers6/rREH3A | 0.056034965040428174 | 21518.0 | 384010.23333333334 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.05630613341521455 | 2934.0 | 52108.0 |
DRESDEN/3pttc/uwYBZw | 0.05710148185440979 | 15478.0 | 271061.26666666666 |
BASE/3pttc/0sol9g | 0.057502012285779384 | 14814.0 | 257625.76666666666 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.057523292977169065 | 2859.3333333333335 | 49707.4 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.059101943393411724 | 2905.3333333333335 | 49158.0 |
DRESDEN/3pffa/0YrmQw | 0.06383123829901044 | 15911.0 | 249266.66666666666 |
BASE/chineseCheckers4/avfBcQ | 0.06727174301674956 | 24522.366666666665 | 364527.0 |
BASE/4pffa/Q3ADlg | 0.06910646483667013 | 12097.3008997001 | 175053.1 |
BASE/chineseCheckers3/-1rZdQ | 0.07027803766895353 | 35394.1 | 503629.6 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.07149226179096166 | 12016.066666666668 | 168075.06666666668 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.07270969782404753 | 12253.433333333332 | 168525.43333333332 |
BASE/3pffa/pR0dzA | 0.0752183865425915 | 15277.90736421193 | 203114.0 |
STANFORD/8puzzle/jNiGtw | 0.07860706655471192 | 16536.0 | 210362.76666666666 |
STANFORD/eightpuzzle/W_aWbA | 0.08119866500507733 | 16141.666666666666 | 198792.26666666666 |
BASE/eightPuzzle/vLrgFg | 0.0814724222893531 | 16812.0 | 206352.03333333333 |
DRESDEN/8puzzle/8fKC2w | 0.08223565177831947 | 16552.0 | 201275.23333333334 |
BASE/shmup/ssTNlg | 0.09954634035124506 | 19938.833333333332 | 200297.0 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.10104408208588263 | 14644.433333333332 | 144931.13333333333 |
BASE/gt_two_thirds_2p/1APDGg | 0.12555176401781828 | 19034.233333333334 | 151604.66666666666 |
DRESDEN/Zhadu/9zpQ5w | 0.17833175275491853 | 18039.766666666666 | 101158.46666666666 |
BASE/pancakes/yUgbXw | 0.18989519401315338 | 48999.1 | 258032.33333333334 |
DRESDEN/pancakes/hl9aiQ | 0.1929485201335314 | 50333.03333333333 | 260862.5 |
DRESDEN/pancakes6/SZXMyQ | 0.19644137328170655 | 50427.63333333333 | 256705.76666666666 |
BASE/pancakes6/QZTdnw | 0.20504887505545769 | 50577.26666666667 | 246659.56666666668 |
BASE/gt_two_thirds_4p/DStnxQ | 0.33104684807069873 | 18260.5 | 55159.86666666667 |
DRESDEN/Travelers-Dilemma/PvZwYw | 9.77386024794471 | 42284.0 | 4326.233333333334 |
Games with errors:
Game | FLUXPLAYER_PROLOG:1.1 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason | |
BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason | |
BASE/nim4/twk16w | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason | |
BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason | |
DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason | |
BASE/nim1/hin2Qw | Test process failed to output results for unknown reason | |
BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason | |
DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason | |
DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
BASE/hex/T1MK8g | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason | |
DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason | |
DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason | |
DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason | |
BASE/minichess/8NQEiA | Test process failed to output results for unknown reason | |
BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason | |
DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason | |
BASE/nim3/1OwUqw | Test process failed to output results for unknown reason | |
BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason | |
DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason | |
DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
DRESDEN/laikLee_hex/ZeP3QQ | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process timed out after 240 seconds | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/laikLee_hex/zbyscQ | Exception of type StackOverflowError | |
DRESDEN/cylinder-checkers/clOO3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | OutOfMemoryError: Java heap space | |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/cylinder-checkers/hlldmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Test process failed to output results for unknown reason | OutOfMemoryError: GC overhead limit exceeded |
BASE/endgame/jYjfOA | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Test process failed to output results for unknown reason | Test process timed out after 240 seconds |