Game-by-game performance:
Game | Perf ratio | REKKURA_BACKWARD_PROVER:1.0.0 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
DRESDEN/chinesecheckers6/yTbPDA | 0.0 | 0.0 | 316299.3 |
BASE/ruleDepthExponential/UamhHQ | 1.9829283249566517E-7 | 0.43895403524173826 | 2213665.6666666665 |
DRESDEN/crissrace/KWb9bw | 3.738079847627795E-7 | 0.03270966897814994 | 87503.93333333333 |
BASE/crissrace/ERWGDA | 3.758055600752299E-7 | 0.03224142378127418 | 85792.83333333333 |
DRESDEN/crisscross/GsY16g | 5.187468872599514E-7 | 0.05963562632316546 | 114960.93333333333 |
BASE/crisscross/ICagEg | 5.896468351084679E-7 | 0.059232933511032135 | 100454.93333333333 |
DRESDEN/chinesecheckers3/QsCb2A | 1.7894152989503102E-6 | 0.7535548129218269 | 421117.9 |
DRESDEN/othello-cornercontrol/r5Gdlg | 3.146339038684617E-6 | 0.15076134479119555 | 47916.433333333334 |
BASE/hitori/S8Gsyg | 3.238353984449645E-6 | 1.1245989481692191 | 347274.86666666664 |
DRESDEN/hitori/S8Gsyg | 3.2624474091183146E-6 | 1.121261088942387 | 343687.1 |
BASE/max_knights/2fq3Ag | 8.337359815766432E-6 | 6.78123857328059 | 813355.6333333333 |
DRESDEN/max_knights/hCipiA | 8.664859158213862E-6 | 6.623839163865127 | 764448.5666666667 |
BASE/pawnToQueen/-O1_JA | 8.823935253925547E-6 | 4.991846650470897 | 565716.6 |
BASE/gt_attrition/kD_SCA | 9.245384964006509E-6 | 1.1619800139437602 | 125682.16666666667 |
DRESDEN/pawntoqueen/f_x6Aw | 1.0873655555985153E-5 | 5.048827476250581 | 464317.4 |
BASE/ad_game_2x2/D0aWqg | 1.2611123402542535E-5 | 0.449842555105713 | 35670.3 |
BASE/battle/8oAvhQ | 1.4086695125135238E-5 | 3.7261294829995344 | 264514.1 |
DRESDEN/battle/8oAvhQ | 1.4445087205303284E-5 | 3.8068125393094774 | 263536.8333333333 |
DRESDEN/chinesecheckers2/06E6-Q | 1.6612966440037386E-5 | 10.916594555015642 | 657112.9 |
DRESDEN/chinesecheckers4/-oVNYg | 1.7330168092757875E-5 | 0.9180026884364447 | 52971.36666666667 |
BASE/gt_two_thirds_2p/1APDGg | 1.7758570258894063E-5 | 2.6922821245762147 | 151604.66666666666 |
BASE/wargame01/_GZFZg | 1.8865474668091087E-5 | 4.512874966817096 | 239213.43333333332 |
BASE/wargame03/klXI8w | 1.920360455024572E-5 | 3.2302107962303106 | 168208.56666666668 |
BASE/twisty-passages/DiZmmg | 2.2820600334812534E-5 | 62.93333333333333 | 2757742.2333333334 |
BASE/connect5/d-BVQg | 2.333402620499932E-5 | 18.193935354881706 | 779716.9333333333 |
DRESDEN/twisty-passages/j7NPyg | 2.4818685066440698E-5 | 65.93589658159526 | 2656703.8666666667 |
DRESDEN/connect5/1kYzSg | 2.5683202276128543E-5 | 19.884092725819343 | 774206.1333333333 |
BASE/wargame02/BkVqqQ | 3.8063948671928E-5 | 4.485347863645425 | 117837.16666666667 |
BASE/mummymaze2p/vpjDdA | 4.151546898877076E-5 | 45.33946298887334 | 1092110.1 |
DRESDEN/mummymaze2p/k-8edg | 4.342593935137881E-5 | 45.48180727708917 | 1047341.9333333333 |
BASE/solitaireChineseCheckers/-ET6gw | 5.9380142577286014E-5 | 13.827982458948178 | 232872.16666666666 |
STANFORD/madness/UO_B3A | 6.016401243015007E-5 | 7.611513660838928 | 126512.73333333334 |
STANFORD/skirmish/w4V6Vw | 6.119398029659544E-5 | 8.144676041355009 | 133096.03333333333 |
STANFORD/platformjumpers/HEQskA | 6.75218070612614E-5 | 25.48301132578281 | 377404.1666666667 |
BASE/checkers-mustjump/T-8UuQ | 6.822415091814383E-5 | 11.593816631130064 | 169937.13333333333 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7.03610294733047E-5 | 9.777511723037016 | 138962.03333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.057658458496339E-5 | 9.797387363369769 | 138819.23333333334 |
BASE/checkers-mustjump-torus/uSApKQ | 8.262473699637718E-5 | 8.539908287366252 | 103357.76666666666 |
BASE/knightThrough/gcwFjA | 8.65671608166821E-5 | 67.4288380774615 | 778919.3666666667 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.0120984393640967E-4 | 17.056432806982478 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.0666280194336282E-4 | 17.92735754748417 | 168075.06666666668 |
DRESDEN/vacuumcleaner_random/_6AGDA | 1.0772842938932142E-4 | 14.441153961334974 | 134051.46666666667 |
BASE/skirmishZeroSum/zh4hcw | 1.1020182242217436E-4 | 21.604527296937416 | 196045.1 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 1.1072437926797009E-4 | 16.047409774936742 | 144931.13333333333 |
BASE/speedChess/bPnisA | 1.1396832368911423E-4 | 23.276723276723278 | 204238.53333333333 |
BASE/checkers-newgoals/0XkFiA | 1.1412695914205362E-4 | 28.191542537238828 | 247019.13333333333 |
BASE/colonelBlottoVariant/X-n-KQ | 1.1559787264279658E-4 | 42.38304678128748 | 366642.1 |
BASE/skirmishNew/sibw2g | 1.18682104912017E-4 | 23.716731621198495 | 199834.1 |
BASE/mummyMaze2p_2007/YGA3Vw | 1.2402227716560514E-4 | 99.4867351019864 | 802168.2666666667 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 1.2674565697583595E-4 | 100.37992401519696 | 791979.2 |
BASE/hanoi7_bugfix/3gdnFw | 1.295052813376291E-4 | 157.66666666666666 | 1217453.5666666667 |
BASE/pacman3p/wW7UVQ | 1.3309987736756482E-4 | 62.37297171225802 | 468617.8 |
DRESDEN/ghostmaze2p/HY0UwA | 1.4055188025383626E-4 | 135.1531513515315 | 961589.0666666667 |
BASE/breakthroughHoles/nZk0Sg | 1.413037622614433E-4 | 127.39150723285114 | 901543.6333333333 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.4144272481352618E-4 | 170.00499916680553 | 1201935.2666666666 |
DRESDEN/hanoi7/51zz5Q | 1.4189139907378284E-4 | 174.8433542194374 | 1232233.6333333333 |
BASE/ghostMaze2p/W-NU-w | 1.490826421659422E-4 | 129.81169805032494 | 870736.5 |
BASE/colonelBlotto/jip21A | 1.5027628522391891E-4 | 5.1603022938376 | 34338.76666666667 |
BASE/nonogram_10x10_1/0Xc62g | 1.519953397442035E-4 | 28.30031629765274 | 186192.0 |
BASE/breakthroughSuicide/wZDpIg | 1.5273376441415443E-4 | 127.14971337155046 | 832492.5 |
BASE/breakthrough/TGxk-g | 1.5372567968792978E-4 | 129.19569347688412 | 840430.1333333333 |
BASE/pacman2p/4LEdQg | 1.5507231898864612E-4 | 61.5461512829057 | 396886.76666666666 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1.5685191362641276E-4 | 134.4 | 856859.1666666666 |
BASE/tictactoe_3d_2player/IUC1rQ | 1.5910277094648804E-4 | 133.56883393874762 | 839512.9333333333 |
BASE/breakthroughWalls/vOZaYA | 1.5927565296749448E-4 | 129.16666666666666 | 810963.0333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 1.6102611814006515E-4 | 141.3 | 877497.4 |
DRESDEN/breakthrough/z4hK7Q | 1.658347367028383E-4 | 134.319901343199 | 809962.4 |
DRESDEN/pacman3p/rBnk8Q | 1.6786218418268634E-4 | 68.41280949048618 | 407553.43333333335 |
BASE/colonelBlottoVariant2/jruwGw | 1.7031161854759658E-4 | 41.855505198613706 | 245758.36666666667 |
DRESDEN/knightthrough/J7Fc_Q | 1.747189747235535E-4 | 134.3621879270691 | 769018.8666666667 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.7513722735423327E-4 | 136.31970136319703 | 778359.3666666667 |
DRESDEN/skirmish2/iPpWhQ | 1.7526681129691817E-4 | 45.112280935563405 | 257392.03333333333 |
DRESDEN/skirmish/RjGQYQ | 1.907200780885247E-4 | 42.37034076146697 | 222159.83333333334 |
BASE/quartoSuicide/-23jUg | 1.955340186211485E-4 | 21.55373442601106 | 110230.1 |
BASE/choicethroughalt/tt71Lg | 1.979745795707947E-4 | 97.38701506465804 | 491916.76666666666 |
BASE/quarto/EwBMVQ | 2.0019609644366347E-4 | 22.519071254871914 | 112485.06666666667 |
BASE/skirmishFinal2/gdB62Q | 2.0134069680679807E-4 | 27.679701552195056 | 137476.93333333332 |
BASE/skirmishFinal1/ecWTnQ | 2.0621453076238814E-4 | 26.376261364771704 | 127906.9 |
DRESDEN/skirmishfinal/hzq8ww | 2.0974847142696617E-4 | 27.84253646839406 | 132742.5 |
DRESDEN/endgame/IJhh3Q | 2.105277307639123E-4 | 36.09037589976006 | 171428.13333333333 |
DRESDEN/hanoi_6_disks/MeubgQ | 2.1698184962170596E-4 | 289.85700476650777 | 1335858.3 |
BASE/skirmishFinal3/-Olhfw | 2.1810407102220946E-4 | 32.46666666666667 | 148858.6 |
BASE/hanoi_6_disks/MeubgQ | 2.2209280403602023E-4 | 287.4 | 1294053.6333333333 |
BASE/skirmish/Y_psYQ | 2.2364326489500514E-4 | 25.004994339748286 | 111807.5 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 2.2480790656457392E-4 | 376.4541181960601 | 1674559.0666666667 |
DRESDEN/knightfight/4_Ly4w | 2.2548331580048712E-4 | 52.8 | 234163.66666666666 |
DRESDEN/quartosuicide/WIU1oQ | 2.2967701212262348E-4 | 23.99120322548399 | 104456.26666666666 |
BASE/knightfight/SJRkAg | 2.301276883961883E-4 | 54.54303135308033 | 237012.03333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2.3843965361076456E-4 | 492.7835738808706 | 2066701.4333333333 |
BASE/gt_tinfoil/Q8DyKg | 2.3969478561924402E-4 | 118.82145118821451 | 495719.8 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2.4023164168404977E-4 | 494.9168361054632 | 2060165.0666666667 |
BASE/strangeSkirmish/gc1zKA | 2.402469952261828E-4 | 25.473677200226433 | 106031.2 |
BASE/ttcc4_2player_alt/ZEJvYA | 2.429961852633806E-4 | 94.91435046324068 | 390600.1666666667 |
BASE/queens31lg/0gID-A | 2.462941472940293E-4 | 37.424600926450495 | 151950.83333333334 |
BASE/skirmishHoles/AUCxCA | 2.488134622641112E-4 | 31.71641791044776 | 127470.66666666667 |
DRESDEN/quarto/OQzRYQ | 2.5097751668256207E-4 | 25.944181709185372 | 103372.53333333334 |
BASE/nonogram_5x5_1/qLKEZw | 2.5217066871628414E-4 | 89.37914486619789 | 354439.1 |
BASE/ttcc4_2player/_aH_Mw | 2.556451261935457E-4 | 92.94807705125642 | 363582.43333333335 |
DRESDEN/brawl/2kXtfQ | 2.574505401127985E-4 | 39.45877491168433 | 153267.4 |
BASE/checkers/rOC3Xg | 2.582017505151345E-4 | 61.92507665644581 | 239832.13333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.6098044400505637E-4 | 502.46666666666664 | 1925303.9 |
BASE/brawl/6Ymo_Q | 2.633506950325845E-4 | 39.01122697138288 | 148134.13333333333 |
BASE/cephalopodMicro/9l2D3g | 2.6830997656427405E-4 | 78.0947936804213 | 291061.8333333333 |
BASE/bomberman2p/4CClwA | 2.690644485934811E-4 | 125.9 | 467917.63333333336 |
BASE/connectFourLarger/qKi60A | 2.698370452173155E-4 | 210.92630245658478 | 781680.3 |
BASE/checkersBarrelNoKings/rnKNeg | 2.7004880697922693E-4 | 86.47117627457514 | 320205.73333333334 |
DRESDEN/capture_the_king/EQ229Q | 2.727819198426421E-4 | 44.83528196928817 | 164363.1 |
BASE/checkersTorus/2vm1EQ | 2.7831815172313406E-4 | 62.770707003398414 | 225535.8 |
DRESDEN/skirmish3/3LU8Nw | 2.8277359507381173E-4 | 62.193780621937805 | 219941.96666666667 |
STANFORD/ttcc4/Cx9SGw | 2.8293100030820934E-4 | 96.5441397007365 | 341228.56666666665 |
DRESDEN/bomberman2p/x4h6jQ | 2.8336536959819915E-4 | 131.84469255124145 | 465281.6 |
BASE/checkersSmall/SYmq8w | 2.8390604587912255E-4 | 86.72177043060925 | 305459.4 |
STANFORD/checkersonabarrelnokings/Zrevdw | 2.864468926915812E-4 | 83.75270788201966 | 292384.76666666666 |
BASE/hidato37/pBrqxw | 2.879132661125272E-4 | 60.956507248791866 | 211718.3 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.9659495955080525E-4 | 600.8666666666667 | 2025882.9333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 3.0054245444951166E-4 | 86.10463178940353 | 286497.4 |
BASE/2pttc/unkkYA | 3.0999401129083953E-4 | 214.65235650956603 | 692440.3333333334 |
DRESDEN/quad_5x5/JAEP5g | 3.119364014277752E-4 | 209.93333333333334 | 673000.4333333333 |
BASE/sudokuGrade1/tDRNRw | 3.1447353971357647E-4 | 189.49368354388187 | 602574.3333333334 |
BASE/sudokuGrade3/eI8dvg | 3.161761584551041E-4 | 184.46666666666667 | 583430.0333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 3.223269086426448E-4 | 89.93033565547815 | 279003.5 |
STANFORD/multiplesukoshi/vLSQPg | 3.235106588752363E-4 | 372.32092263591215 | 1150876.8333333333 |
BASE/checkersTiny/Lr48cg | 3.2489878217241967E-4 | 133.06223125895804 | 409549.8 |
BASE/sudokuGrade4/DTy07w | 3.281889350099365E-4 | 193.4 | 589294.7 |
STANFORD/sudoku/oJ1qyQ | 3.303995118724346E-4 | 186.16666666666666 | 563459.2666666667 |
BASE/sudokuGrade5/BQfUQA | 3.3045786789463846E-4 | 189.34773189347732 | 572986.0 |
BASE/sudokuGrade2/u80Tfw | 3.3163349004288985E-4 | 197.3736835088655 | 595156.0666666667 |
BASE/quad_5x5/JAEP5g | 3.4299404097675747E-4 | 203.74629203746292 | 594022.8333333334 |
BASE/sudokuGrade6E/ihYFZA | 3.441307990652946E-4 | 176.42745241825273 | 512675.56666666665 |
STANFORD/chinook/osFbPA | 3.455220007281172E-4 | 90.12131715771231 | 260826.56666666668 |
DRESDEN/babel/WdSW4A | 3.492800874954698E-4 | 82.17534739578126 | 235270.63333333333 |
DRESDEN/quad_5x5_8_2/JRTLJg | 3.5271540221798345E-4 | 212.87871212878713 | 603542.4333333333 |
BASE/sudokuGrade6H/ieE_9A | 3.560757617967641E-4 | 183.5 | 515339.76666666666 |
BASE/zhadu/DlA8iQ | 3.615274844850809E-4 | 37.68492602958816 | 104238.06666666667 |
BASE/chinook/XQh0IQ | 3.6994598475551216E-4 | 94.53333333333333 | 255532.8 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.74348983151994E-4 | 403.1532282257258 | 1076944.9 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.7705470642677687E-4 | 411.90587294180386 | 1092430.0 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 3.833069702883697E-4 | 478.3840538648712 | 1248044.2333333334 |
BASE/amazonsSuicide_10x10/XIbQkg | 3.92290456964287E-4 | 23.11022311022311 | 58911.0 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.940477134045105E-4 | 478.43333333333334 | 1214150.7666666666 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 3.9984813933892393E-4 | 630.2333333333333 | 1576181.7333333334 |
BASE/knightmove/jBaJEw | 4.0219283098704773E-4 | 385.353821539282 | 958132.0 |
DRESDEN/Zhadu/9zpQ5w | 4.0674888593793837E-4 | 41.146093619856735 | 101158.46666666666 |
BASE/amazons_8x8/7SOsIw | 4.141023215215825E-4 | 50.04331312054374 | 120847.7 |
BASE/blokbox_simple/JBx4bg | 4.16207469812491E-4 | 7.25167986161932 | 17423.233333333334 |
BASE/amazons_10x10/Bun8dA | 4.204654884742905E-4 | 23.05542617605962 | 54833.1 |
DRESDEN/sat_test_20v_91c/dK7nVw | 4.256102809716277E-4 | 480.1666666666667 | 1128183.9 |
BASE/breakthroughSuicideSmall/XSbJog | 4.3690420437267195E-4 | 361.6092260515966 | 827662.5 |
BASE/breakthroughSmall/HJ0tIA | 4.3934462738953967E-4 | 359.38802039932 | 818009.3666666667 |
BASE/kitten_escapes_from_fire/uW-YiA | 4.3951499705052684E-4 | 641.5333333333333 | 1459639.2333333334 |
BASE/ttcc4_2player_small/Cv72TA | 4.456805186176031E-4 | 246.1502566495567 | 552302.0333333333 |
BASE/4pttc/AL1k2Q | 4.4697278935643397E-4 | 91.4392348961978 | 204574.5 |
DRESDEN/knightmove/97Ipcw | 4.5009928294889996E-4 | 409.7196760107996 | 910287.3333333334 |
BASE/gt_ultimatum/GE-uOA | 4.640880760737162E-4 | 301.97986800879943 | 650695.1666666666 |
DRESDEN/chinesecheckers1/Y-ftaA | 4.6628805370504766E-4 | 643.8785373820873 | 1380860.0333333334 |
BASE/reversi/d8UMeA | 4.66432375284005E-4 | 35.814139262415125 | 76783.13333333333 |
BASE/reversiSuicide/9OxJlg | 4.80987563125688E-4 | 35.65721134638434 | 74133.33333333333 |
STANFORD/knightstourbig/TQUI2g | 4.852230262414549E-4 | 468.6666666666667 | 965878.8666666667 |
BASE/chineseCheckers1/gqtwHw | 4.873800018835397E-4 | 806.6333333333333 | 1655039.8666666667 |
BASE/othelloHoles/c0qAzw | 4.949359344859908E-4 | 21.609562814237673 | 43661.333333333336 |
STANFORD/multipletictactoe/_bkafQ | 4.999587183870728E-4 | 618.6666666666666 | 1237435.5 |
BASE/queens16ug/gT-ylw | 5.041708059607536E-4 | 270.8243058564714 | 537167.7666666667 |
BASE/tictactoe_3d_6player/d7KSwg | 5.113234091845031E-4 | 125.20406463434949 | 244862.76666666666 |
STANFORD/duidoku/3SoMaA | 5.156353275458307E-4 | 160.77320446592233 | 311796.3333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 5.235193405529738E-4 | 855.1 | 1633368.5 |
BASE/dualConnect4/WbCQkg | 5.332304417398907E-4 | 472.8842371920936 | 886829.0333333333 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 5.399520633920663E-4 | 129.4901699433522 | 239817.9 |
DRESDEN/quad/JPe6fg | 5.503618135923827E-4 | 179.60938541527796 | 326347.8333333333 |
BASE/golden_rectangle/_nYzfw | 5.616869020418824E-4 | 457.7180760641312 | 814898.9666666667 |
BASE/3pttc/0sol9g | 5.644762956193891E-4 | 145.42363842410506 | 257625.76666666666 |
DRESDEN/gt_ultimatum/pAiiQw | 5.655717919300005E-4 | 349.1883603879871 | 617407.6666666666 |
BASE/quad/tw-Ufg | 5.792256584665588E-4 | 186.83149511845656 | 322553.9 |
BASE/chineseCheckers2/eCMR3Q | 5.828751675095696E-4 | 496.3 | 851468.7666666667 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 5.909116428965287E-4 | 289.09036365454483 | 489227.73333333334 |
STANFORD/selectivesukoshi/3xmXYg | 5.972389312951288E-4 | 406.26666666666665 | 680241.4333333333 |
BASE/othelloSuicide/B442jg | 6.043495437761235E-4 | 20.085939842110523 | 33235.63333333333 |
BASE/othello-comp2007/86ZoMw | 6.121693110822708E-4 | 19.956760352569432 | 32600.066666666666 |
BASE/duplicateStateLarge/dcjyuw | 6.133872110250377E-4 | 785.4 | 1280431.0 |
BASE/chineseCheckers6/rREH3A | 6.230736732970745E-4 | 239.26666666666668 | 384010.23333333334 |
BASE/connectFourLarge/aU644A | 6.348881518862732E-4 | 556.3666666666667 | 876322.3333333334 |
DRESDEN/racer/vk_ZBA | 6.494142157452822E-4 | 18.20541835851694 | 28033.6 |
BASE/knightsTourLarge/M8jgLA | 6.52947131486731E-4 | 599.7466751108296 | 918522.5666666667 |
DRESDEN/golden_rectangle/1uloXw | 6.538822526861811E-4 | 473.6508783040565 | 724367.2333333333 |
BASE/racer/QQYQNw | 6.614829643337153E-4 | 18.115218115218116 | 27385.766666666666 |
BASE/firefighter/WJmoPw | 6.728018253612314E-4 | 2760.6666666666665 | 4103238.966666667 |
BASE/amazonsTorus_10x10/Uxc08g | 6.78117985637663E-4 | 13.380375449340967 | 19731.633333333335 |
BASE/pegEuro/5awwhg | 6.832366800136223E-4 | 315.51229918005464 | 461790.63333333336 |
BASE/gt_coordination/IVMOzA | 6.986865051813384E-4 | 754.4 | 1079740.3333333333 |
DRESDEN/aipsrovers01/qS47Mw | 7.018561289705698E-4 | 1133.1 | 1614433.4333333333 |
BASE/peg/fJHVWw | 7.067126109246441E-4 | 321.2559581347288 | 454577.93333333335 |
DRESDEN/firefighter/WJmoPw | 7.245528570077672E-4 | 2791.5666666666666 | 3852813.0 |
BASE/chineseCheckers3/-1rZdQ | 7.277592817475407E-4 | 366.5211159628012 | 503629.6 |
DRESDEN/satlike_20v_91c/yeuENQ | 7.282772953935962E-4 | 39.20656543841579 | 53834.666666666664 |
BASE/aipsrovers01/4C4jsw | 7.325910391683015E-4 | 1131.3333333333333 | 1544290.4333333333 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 7.376228288262798E-4 | 38.43605036447979 | 52108.0 |
DRESDEN/oisters_farm/pTQMLg | 7.562172998195478E-4 | 2831.766666666667 | 3744646.7666666666 |
BASE/tttcc4/8Bs2lg | 7.679058058147265E-4 | 103.46895931220634 | 134741.73333333334 |
BASE/ttcc4/Le0qjQ | 7.802976207826693E-4 | 103.4528729502733 | 132581.3 |
DRESDEN/minichess/c7GMFw | 7.986258258333296E-4 | 219.65934468851037 | 275046.63333333336 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 8.028640891798949E-4 | 39.46719289590528 | 49158.0 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 8.032365576369049E-4 | 39.926800865080686 | 49707.4 |
STANFORD/pilgrimage/ObRZnQ | 8.144704568444596E-4 | 239.0427623904276 | 293494.7 |
BASE/queens12ug/u6Bkmg | 8.156318101269315E-4 | 480.76666666666665 | 589440.8 |
BASE/majorities/ibJzSQ | 8.176411008556196E-4 | 387.94080394640355 | 474463.43333333335 |
BASE/qyshinsu/R08Lzw | 8.202027285180133E-4 | 211.54551211545513 | 257918.56666666668 |
BASE/minichess-evilconjuncts/4OpQzw | 8.209390781050606E-4 | 229.83333333333334 | 279963.93333333335 |
BASE/chineseCheckers4/avfBcQ | 8.28022294695221E-4 | 301.83648301836485 | 364527.0 |
DRESDEN/ggp-course2013_michal13/jWKddg | 8.332367964103181E-4 | 472.25092496916767 | 566766.7666666667 |
STANFORD/untwistycomplex/HTWEwg | 8.346982328023492E-4 | 2947.6666666666665 | 3531415.966666667 |
DRESDEN/tttcc4/sAvtFg | 8.357520056644411E-4 | 108.48191968005332 | 129801.56666666667 |
BASE/sheepAndWolf/g4THrg | 8.358143077216001E-4 | 128.76666666666668 | 154061.33333333334 |
BASE/connectFour_9x6/B9TtMw | 8.377511021642315E-4 | 803.9666666666667 | 959672.4666666667 |
DRESDEN/minichess-evilconjuncts/th24Tw | 8.390469527352651E-4 | 233.55109659356043 | 278352.8333333333 |
BASE/asteroidsSerial/id2QkA | 8.420142549351356E-4 | 682.9 | 811031.4 |
STANFORD/alquerquezero/uVgA_A | 8.51800136976725E-4 | 285.7904736508783 | 335513.5333333333 |
BASE/englishDraughts/jFkQxg | 8.562174581552569E-4 | 258.8074525880745 | 302268.36666666664 |
DRESDEN/kalaha_2009/gcC8uA | 8.601555042994255E-4 | 22.01132201132201 | 25589.933333333334 |
BASE/kalaha_2009/dRiN3g | 8.601775826335273E-4 | 22.07204208003196 | 25659.866666666665 |
BASE/snake_2008/i6K26g | 8.768716556724922E-4 | 331.6222792573581 | 378187.93333333335 |
BASE/connectFourSuicide/c8p9Kw | 8.776194038658122E-4 | 878.9666666666667 | 1001535.1333333333 |
BASE/snake_2008_tweaked/bX0NJQ | 8.787018582702338E-4 | 328.3666666666667 | 373695.2 |
BASE/connectFour/WAIKTw | 8.826428043158562E-4 | 861.2666666666667 | 975781.6666666666 |
BASE/escortLatch/mX9BjQ | 8.891300906132152E-4 | 438.20411972535163 | 492845.9 |
DRESDEN/snake_2008/E56l3A | 8.897709841846769E-4 | 329.07806146256917 | 369845.8 |
DRESDEN/towerworld/HCX34w | 8.916643848950614E-4 | 33.08125395609155 | 37100.566666666666 |
DRESDEN/blobwars/ZaMluQ | 9.034342299758994E-4 | 17.826202852192456 | 19731.6 |
BASE/blobwars/0XT15Q | 9.058110068341322E-4 | 17.502412404751606 | 19322.366666666665 |
STANFORD/connectfour/VMpZkQ | 9.101206045311713E-4 | 889.9 | 977782.5 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 9.21625435819778E-4 | 801.7333333333333 | 869912.3333333334 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 9.229034289574864E-4 | 1409.5333333333333 | 1527281.5 |
STANFORD/freeforall/Lfp40Q | 9.309031820272428E-4 | 483.6666666666667 | 519567.1 |
DRESDEN/mimikry/GJEhwA | 9.362175971485687E-4 | 812.2333333333333 | 867568.9666666667 |
BASE/mineClearingSmall/frsbvw | 9.400092485696856E-4 | 268.4910502983234 | 285625.9666666667 |
DRESDEN/grid_game/U7_Yeg | 9.410247432312664E-4 | 571.4666666666667 | 607281.2333333333 |
BASE/tictactoe_3d_small_2player/oOryKA | 9.527210972852019E-4 | 815.2061597946736 | 855660.8666666667 |
BASE/dotsAndBoxesSuicide/jzQbLw | 9.551572706373053E-4 | 796.3734542181927 | 833761.6 |
BASE/dotsAndBoxes/EHwA_w | 9.591755080851862E-4 | 798.0666666666667 | 832034.0333333333 |
DRESDEN/connectfoursuicide/M9CNQg | 9.593674090482289E-4 | 951.4666666666667 | 991764.6333333333 |
BASE/futoshiki6/JmvXNA | 9.678843169975597E-4 | 537.8154061531283 | 555660.8333333334 |
DRESDEN/connectfour/5tc-Mg | 9.76140876212694E-4 | 949.6666666666666 | 972878.7 |
BASE/ruleDepthLinear/OUBJpQ | 9.809668772334222E-4 | 1653.3666666666666 | 1685445.9666666666 |
BASE/gt_chicken/gmepTQ | 0.0010225365869374152 | 433.76666666666665 | 424206.5 |
BASE/copolymer_4/2LDVhQ | 0.0010237789735633785 | 753.2333333333333 | 735738.2333333333 |
BASE/pentago/86NgKw | 0.0010374614437282429 | 376.88743708543046 | 363278.5 |
BASE/connectFourSimultaneous/7ITr3g | 0.0010485573954008333 | 546.2666666666667 | 520969.73333333334 |
BASE/pentagoSuicide/SBgNhw | 0.001054451311805214 | 372.1209293023566 | 352904.8 |
BASE/snake_2009_big/-oRfVw | 0.0010911387057125634 | 381.2 | 349359.8 |
BASE/minichess/8NQEiA | 0.0010986634039918933 | 260.79130695643477 | 237371.43333333332 |
BASE/pawnWhopping/Ypc_6Q | 0.001105141340248725 | 807.7666666666667 | 730917.0666666667 |
DRESDEN/grid_game2/kypTYQ | 0.0011067223098913282 | 1568.0 | 1416796.2333333334 |
STANFORD/pentago/ZxzLmg | 0.00110725876084838 | 406.28645711809605 | 366930.0 |
BASE/2pffa_zerosum/o0_uZA | 0.001117979435509633 | 554.9815006166461 | 496414.76666666666 |
DRESDEN/connect4/T0-rHQ | 0.0011240148326623475 | 670.9333333333333 | 596907.9 |
DRESDEN/pentago_2008/hLjVpQ | 0.00112423245221625 | 400.31998933368885 | 356082.93333333335 |
STANFORD/breakthrough/d5j0cQ | 0.0011282069036316282 | 905.9333333333333 | 802985.1 |
BASE/queens08lg/Ru7eqQ | 0.0011379263598886023 | 546.7333333333333 | 480464.6 |
BASE/3pConnectFour/PqXOFQ | 0.0011433170544533993 | 781.8666666666667 | 683858.1333333333 |
BASE/connect4/50bOyw | 0.0011490129688548642 | 657.6 | 572317.3 |
DRESDEN/gt_chicken/CeuKtw | 0.0011689730367129925 | 491.96666666666664 | 420853.73333333334 |
BASE/2pffa/6oHijA | 0.0011720943280838353 | 580.4666666666667 | 495238.86666666664 |
BASE/knightsTour/mvtVIg | 0.001185175190146828 | 1558.7666666666667 | 1315220.4666666666 |
STANFORD/knightstour/cEwgNA | 0.0011993122537154448 | 1539.2666666666667 | 1283457.8 |
DRESDEN/4pttc/9pB9AQ | 0.0012142795918405893 | 299.8566714442852 | 246942.03333333333 |
BASE/cubicup/4wNWJA | 0.0012283769860672849 | 462.03586427571497 | 376135.23333333334 |
BASE/tictactoex9/BI26ow | 0.0012351432154723782 | 641.0666666666667 | 519022.13333333336 |
BASE/copolymer_4_pie/IN5_jA | 0.0012395545800660951 | 703.6666666666666 | 567677.0333333333 |
DRESDEN/tictactoex9/rFkD4w | 0.0012433427039401869 | 640.1333333333333 | 514848.6666666667 |
BASE/duplicateStateMedium/U163eQ | 0.0012448170248314499 | 2072.4333333333334 | 1664849.7666666666 |
BASE/incredible/8Qh-6Q | 0.0012516452367425906 | 2365.8333333333335 | 1890178.8333333333 |
DRESDEN/snake_2009_big/DgC1NQ | 0.0012650852191139815 | 389.2536915436152 | 307689.7 |
BASE/futoshiki5/TJ4BZg | 0.001276916867254568 | 783.8333333333334 | 613848.3666666667 |
BASE/queens06ug/7Lq3tw | 0.0012869400375382356 | 1165.5 | 905636.6 |
DRESDEN/cubicup/SBn_lw | 0.0012935195656470022 | 463.2 | 358092.76666666666 |
BASE/gt_staghunt/xPjLRA | 0.0012936533514754042 | 535.4666666666667 | 413918.2 |
BASE/queens08ug/kJ_ZFQ | 0.00130139793113736 | 936.1 | 719303.4333333333 |
BASE/wallmaze/uxNQ9g | 0.0013104870863567015 | 711.4429519016032 | 542884.3666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 0.001329616646882899 | 709.3 | 533462.0333333333 |
STANFORD/nineboardtictactoe/y28P-A | 0.0013324268347401926 | 718.5333333333333 | 539266.6333333333 |
BASE/hidato19/rRHSmA | 0.0013384219581159377 | 609.3 | 455237.6 |
DRESDEN/quad_7x7/q-JOXg | 0.0013385788870248752 | 640.5333333333333 | 478517.43333333335 |
BASE/gt_prisoner/klthDw | 0.0013551627297873406 | 546.9333333333333 | 403592.36666666664 |
DRESDEN/pawn_whopping/4ogBkg | 0.0013589138772422942 | 1117.6666666666667 | 822470.5666666667 |
BASE/asteroids/BKCmPQ | 0.0013611035725956543 | 1272.7333333333333 | 935074.5666666667 |
BASE/quad_7x7/q-JOXg | 0.0013658650652142357 | 643.3 | 470983.56666666665 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.001370553628926537 | 1066.0333333333333 | 777812.2 |
DRESDEN/Runners/3bOCQw | 0.001378218231273959 | 1174.7666666666667 | 852380.7333333333 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0013812304194792287 | 4972.6 | 3600123.433333333 |
DRESDEN/snake_2009/zIYLVw | 0.0013816427889127745 | 460.6513116229459 | 333408.4 |
BASE/racetrackcorridor/_RkdUg | 0.0013976771019671838 | 947.3333333333334 | 677791.2666666667 |
STANFORD/knightstourmedium/x1wu8Q | 0.00139957866404529 | 1786.5333333333333 | 1276479.4 |
BASE/breakthroughSmallHoles/bxclRw | 0.0013997944359609709 | 1094.7 | 782043.4 |
BASE/hanoi/iGLsJg | 0.0014110632640641657 | 1624.6333333333334 | 1151354.0 |
BASE/simultaneousWin2/PfjRjw | 0.0014239410207803908 | 1307.5 | 918226.2333333333 |
DRESDEN/racetrackcorridor/O0DoTA | 0.001430921432532255 | 869.3666666666667 | 607557.2333333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.0014412246667332216 | 5191.333333333333 | 3602029.2 |
BASE/snake_2009/7l-qAQ | 0.0014602606782586987 | 474.93333333333334 | 325238.73333333334 |
DRESDEN/hanoi/RQ0jiA | 0.001470967766055548 | 1678.7333333333333 | 1141244.1333333333 |
BASE/asteroidsParallel/WauZiA | 0.0014744789623231148 | 728.3333333333334 | 493959.8 |
DRESDEN/Goldrush/VeWczQ | 0.0014932811372500025 | 513.3828872370921 | 343795.2 |
BASE/ticTacToeLargeSuicide/727_8g | 0.0015069067788676038 | 1977.0666666666666 | 1312003.3 |
DRESDEN/gt_prisoner/huCp4w | 0.001516370012168154 | 627.3790873637546 | 413737.4666666667 |
BASE/ticTacToeLarge/TZC0dg | 0.0015341422728036658 | 2030.1333333333334 | 1323301.8666666667 |
STANFORD/hex/MTqWcw | 0.0015637221806755522 | 131.59561347955068 | 84155.36666666667 |
BASE/hex/T1MK8g | 0.0015648721850776992 | 131.0868913108689 | 83768.43333333333 |
DRESDEN/peg_bugfixed/u_B7MA | 0.001588265033292212 | 725.7 | 456913.6666666667 |
DRESDEN/peg/Vo31eg | 0.0016307987447027443 | 741.6666666666666 | 454787.36666666664 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.001633622095703774 | 3678.0333333333333 | 2251459.1 |
BASE/blockerSerial/3eqDuw | 0.0016669937429650732 | 963.8333333333334 | 578186.5333333333 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.0016676340040260205 | 2832.5333333333333 | 1698534.1666666667 |
BASE/checkLines/Vop7oQ | 0.0016716331903482177 | 698.6433785540482 | 417940.6 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.001677064909292396 | 751.6082797240092 | 448168.86666666664 |
DRESDEN/frogs_and_toads/GjchhQ | 0.0016854643105473977 | 240.67593240675933 | 142795.03333333333 |
DRESDEN/knightstour/cGISAA | 0.0017020412999744026 | 2166.5666666666666 | 1272922.5 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.0017056565921604741 | 1311.3666666666666 | 768833.9333333333 |
DRESDEN/catcha_mouse/cHv4dw | 0.0017582466360421744 | 1214.7333333333333 | 690877.6666666666 |
BASE/conn4/va9Y7A | 0.0017644603620841958 | 1156.2 | 655271.1666666666 |
BASE/ticTacHeavenFC/mrletw | 0.0017688410423914102 | 638.3120562647912 | 360864.56666666665 |
STANFORD/untwistycorridor/EDPPAQ | 0.0017803626915821457 | 6516.566666666667 | 3660246.7 |
DRESDEN/logistics/fPru1Q | 0.0017816786981928487 | 885.0333333333333 | 496741.26666666666 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.0017833491319783454 | 2935.5666666666666 | 1646097.5666666667 |
BASE/tictactoe_3player/GtM71g | 0.0017888318218614431 | 874.7666666666667 | 489015.6 |
BASE/ticTacToeNoVars/XT03NA | 0.0018161044311486875 | 2253.7 | 1240952.8666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 0.0018240266743413016 | 1480.1 | 811446.4666666667 |
BASE/point_grab/V_osUg | 0.0018282712473745117 | 3374.1 | 1845513.9 |
BASE/gt_centipede/9fRMpw | 0.0018408773665611136 | 1979.4333333333334 | 1075266.2666666666 |
DRESDEN/slidingpieces/s9_44g | 0.0018481024411596374 | 803.3065564481184 | 434665.6 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.0018494660283780418 | 2061.0 | 1114375.7 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.0018661169395376223 | 2439.633333333333 | 1307331.4333333333 |
BASE/slidingpieces/uFJWEw | 0.001872978918858032 | 805.9 | 430277.13333333336 |
BASE/snake2p/I3wWPQ | 0.0018846335882668898 | 1080.5666666666666 | 573356.3666666667 |
BASE/futoshiki4/BaCwSw | 0.0018896906536270488 | 1398.5666666666666 | 740103.5 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.001898838562915768 | 632.8333333333334 | 333273.9 |
BASE/hexPie/48CH6Q | 0.001930397833968144 | 126.25824945003666 | 65405.3 |
BASE/tpeg/QNs7Lw | 0.0019453639791113825 | 703.8666666666667 | 361817.4666666667 |
DRESDEN/tictactoelarge/IwXcbg | 0.0019507386505220883 | 2473.5 | 1267981.2333333334 |
BASE/ticTacHeaven/18n58A | 0.001964514626800921 | 702.8 | 357747.4 |
BASE/beatMania/qUHwvQ | 0.0019672977190367544 | 1927.8333333333333 | 979939.8 |
DRESDEN/nim1/M9BALA | 0.0019720176934346235 | 1429.4 | 724841.3666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 0.001979115700918532 | 1365.4666666666667 | 689937.7666666667 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.0019811297817064755 | 654.5666666666667 | 330400.7 |
BASE/nim1/hin2Qw | 0.0019825985022896672 | 1422.2666666666667 | 717375.0333333333 |
DRESDEN/tpeg/h-Scbg | 0.00198855735667161 | 722.6666666666666 | 363412.5333333333 |
BASE/catcha_mouse/cHv4dw | 0.0019947701198328414 | 1219.8 | 611499.0333333333 |
BASE/untwistycomplex2/EDPPAQ | 0.002041186952890942 | 6441.033333333334 | 3155533.2666666666 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.0020612967553879555 | 749.2666666666667 | 363492.86666666664 |
DRESDEN/nim2/z5_exA | 0.0020769730389321728 | 1397.5333333333333 | 672870.2333333333 |
DRESDEN/backgammon/mqCW0Q | 0.002082240624806283 | 312.28959034698846 | 149977.66666666666 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.0020956513408772397 | 573.8666666666667 | 273836.9 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.002101300784675711 | 972.8 | 462951.3333333333 |
BASE/nim2/eF2Qqw | 0.002158560356809462 | 1412.9 | 654556.6333333333 |
DRESDEN/ticblock/Z2yNWQ | 0.0021629890562136745 | 1544.5 | 714058.1666666666 |
BASE/ticblock/T21C1g | 0.0021835130144322204 | 1565.3666666666666 | 716902.8333333334 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.0021835713740031644 | 618.3333333333334 | 283175.23333333334 |
BASE/ticTacToeSerial/Amrwqw | 0.0022127549989733493 | 1155.9666666666667 | 522410.6 |
DRESDEN/smallest_4player/ADDROA | 0.0022808183001556035 | 720.4333333333333 | 315866.1666666667 |
BASE/lightsOnParallel/SC6enA | 0.0022906818544928603 | 3863.0 | 1686397.4333333333 |
BASE/rubiksCube/9tNO9Q | 0.002320275257471694 | 292.26666666666665 | 125962.06666666667 |
BASE/smallest_4player/ADDROA | 0.0023358276852287856 | 715.542815239492 | 306333.73333333334 |
BASE/lightsOnSimul4/9FeASw | 0.002336847338963805 | 1275.2666666666667 | 545721.0 |
BASE/nim3/1OwUqw | 0.0023554372821510236 | 1355.0 | 575264.7333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.0023650554136755006 | 5036.566666666667 | 2129576.6 |
DRESDEN/point_grab/r5DPmQ | 0.0023751288141167304 | 4304.833333333333 | 1812463.1 |
DRESDEN/nim3/sG_axA | 0.0023778510655987585 | 1372.8 | 577328.0 |
DRESDEN/nim4/F5YAYg | 0.0023804137057075857 | 1380.7666666666667 | 580053.2333333333 |
BASE/withConviction/3Xm54A | 0.002397285880090144 | 1529.3666666666666 | 637957.5666666667 |
BASE/nim4/twk16w | 0.00244937895692046 | 1374.1666666666667 | 561026.5666666667 |
BASE/hodgepodge/9yjRkw | 0.0024700397725735484 | 3307.9333333333334 | 1339222.7 |
STANFORD/hunter/14dD-g | 0.0024971582794846136 | 2153.6666666666665 | 862447.0 |
STANFORD/tictactoe3/X7myng | 0.002501477948930664 | 2807.0666666666666 | 1122163.2666666666 |
BASE/4pffa/Q3ADlg | 0.0025697155751873554 | 449.8366775548297 | 175053.1 |
BASE/3pffa/pR0dzA | 0.0026318553456023057 | 534.5666666666667 | 203114.0 |
STANFORD/sukoshi/4LYZZQ | 0.0026468266963899823 | 2607.0333333333333 | 984965.6333333333 |
BASE/maze/cCX3qQ | 0.002660455949800795 | 6048.1 | 2273332.1333333333 |
STANFORD/duikoshi/tpw1sw | 0.0027677593641192303 | 1338.2333333333333 | 483507.8333333333 |
BASE/gt_dollar/TGjqRw | 0.00277824480741743 | 2729.266666666667 | 982370.8333333334 |
BASE/lightsOn/MsXu3A | 0.0028480158165986283 | 5898.833333333333 | 2071208.0666666667 |
DRESDEN/Thief_Police/CX18rA | 0.002861613616994425 | 2539.5666666666666 | 887459.6666666666 |
DRESDEN/latenttictactoe/kITHKg | 0.0028971881950389886 | 1838.3 | 634511.7666666667 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.002912572737139196 | 2547.3 | 874587.6 |
BASE/duplicateStateSmall/bCPAXw | 0.0029387823279924514 | 6056.933333333333 | 2061035.0333333334 |
BASE/snakeParallel/RCVNtw | 0.002938999984266181 | 2278.9 | 775399.8 |
BASE/biddingTicTacToe/8mESVw | 0.0029458539506851717 | 1141.9666666666667 | 387652.1666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.002961940281888557 | 2491.633333333333 | 841216.6 |
BASE/coins_atomic/AA3SSw | 0.002971858962215363 | 1359.0666666666666 | 457311.9666666667 |
DRESDEN/lightson2x2/gBHuig | 0.0030125491044703397 | 4389.833333333333 | 1457182.3333333333 |
BASE/pearls/6k_mEQ | 0.0030677022282435567 | 9460.633333333333 | 3083947.7333333334 |
BASE/pancakes/yUgbXw | 0.0030737749920229634 | 793.1333333333333 | 258032.33333333334 |
DRESDEN/3pttc/uwYBZw | 0.003082820882560622 | 835.6333333333333 | 271061.26666666666 |
BASE/tictactoe2/bhrDoQ | 0.003104743366486678 | 3893.133333333333 | 1253930.8 |
BASE/factoringGeorgeForman/HGRorQ | 0.003109876473976154 | 6403.2 | 2058988.5333333334 |
STANFORD/threepuzzle/41ibjA | 0.003109961264469678 | 3378.8 | 1086444.4 |
DRESDEN/catch_me/ghGWrA | 0.0031578662086038482 | 2509.0333333333333 | 794534.4 |
DRESDEN/buttons/ADUaHw | 0.0031688540842764535 | 7875.4 | 2485251.7 |
STANFORD/3puzzle/41ibjA | 0.0031748154019965277 | 3488.9666666666667 | 1098951.0333333334 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.003185292737062368 | 4552.433333333333 | 1429204.0666666667 |
BASE/blocker/dIWtxg | 0.003199458807370928 | 3175.0666666666666 | 992376.1666666666 |
DRESDEN/coins/QwFP9w | 0.0032194990832600696 | 1355.0666666666666 | 420893.63333333336 |
BASE/pancakes6/QZTdnw | 0.0032225251889007075 | 794.8666666666667 | 246659.56666666668 |
BASE/coins/QnGtnQ | 0.0032225549151737158 | 1374.7333333333333 | 426597.3333333333 |
BASE/buttons/hTcUjw | 0.003319001958215842 | 8025.8 | 2418136.566666667 |
STANFORD/buttonsandlights/eyhJpA | 0.003333350179944368 | 9849.266666666666 | 2954765.066666667 |
DRESDEN/3pffa/0YrmQw | 0.0033355175180529552 | 831.4333333333333 | 249266.66666666666 |
STANFORD/tictactoe5/WFRReg | 0.0033541266303835186 | 2951.4 | 879931.0 |
BASE/tron_10x10/7ZTgDg | 0.00337063645671912 | 1272.0 | 377376.8 |
BASE/shmup/ssTNlg | 0.003374655303540908 | 675.9333333333333 | 200297.0 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.003383733401672409 | 1307.1666666666667 | 386309.0 |
BASE/ticTacToeParallel/ymRGPw | 0.0033838470084299114 | 1042.3 | 308022.2 |
BASE/cittaceot/fDxhXg | 0.003399204118307901 | 674.1333333333333 | 198320.93333333332 |
DRESDEN/blockerparallel/dVQgSg | 0.0034213355002561336 | 674.844171860938 | 197245.83333333334 |
BASE/blockerParallel/7-nDJA | 0.0034783647995925947 | 669.3666666666667 | 192437.16666666666 |
STANFORD/dualhunter/1rPZjQ | 0.003483482979115373 | 1548.6333333333334 | 444564.63333333336 |
BASE/lightsOut/5P1ZBw | 0.003525566543701781 | 2246.366666666667 | 637164.7333333333 |
BASE/stateSpaceLarge/0Ge_CQ | 0.003628787725498404 | 3718.3 | 1024667.2666666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.003639907585067485 | 2949.266666666667 | 810258.6666666666 |
BASE/stateSpaceMedium/3bUoIw | 0.0037131242737800632 | 5393.733333333334 | 1452613.2 |
DRESDEN/statespacemedium/dVJZ_w | 0.0037154761167228116 | 5409.533333333334 | 1455946.2 |
STANFORD/rainbow/_4qNSQ | 0.0037828818290474484 | 5903.166666666667 | 1560494.6 |
BASE/kalaha6x2x4/XS81Mg | 0.0037920254447015214 | 247.2917569414353 | 65213.63333333333 |
DRESDEN/statespacelarge/8-y5HQ | 0.0038022138425901023 | 3796.633333333333 | 998532.3 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.003873591554998971 | 3422.6192460251323 | 883577.7333333333 |
BASE/blocksWorldParallel/RseaAQ | 0.0038849965025606896 | 1690.1 | 435032.56666666665 |
BASE/tictactoe-init1/7M19vA | 0.0039049819478328327 | 3306.866666666667 | 846832.7666666667 |
DRESDEN/blocker/S815zQ | 0.003909071340050964 | 3901.3333333333335 | 998020.5 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.003927762850932214 | 5776.866666666667 | 1470777.8666666667 |
BASE/doubletoetictac/fu35bg | 0.0039550267430376075 | 1949.6333333333334 | 492950.73333333334 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.0039891500985440925 | 609.4130195660144 | 152767.63333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.004044995233174806 | 3239.0 | 800742.6 |
BASE/ticTacToe/JRFsaQ | 0.004054687705984908 | 3137.2 | 773721.7333333333 |
STANFORD/tictactoe/ss1kyQ | 0.004070388658398629 | 3079.0666666666666 | 756455.2 |
DRESDEN/stratego/Z2wovg | 0.004080462854845423 | 671.5333333333333 | 164572.83333333334 |
BASE/toetictac/mTThmg | 0.004090460662943456 | 4556.466666666666 | 1113925.0666666667 |
DRESDEN/javastrike/whONTQ | 0.004148307900983372 | 273.4484367708819 | 65918.06666666667 |
BASE/brain_teaser_extended/ZDp94A | 0.00416959089168287 | 3285.0666666666666 | 787863.0666666667 |
STANFORD/tictactoe7/-bE9-A | 0.004195063920729934 | 3137.5333333333333 | 747910.7333333333 |
DRESDEN/guess/PhxGhg | 0.004225290630801652 | 231.51789880674622 | 54793.36666666667 |
BASE/coloredtrails/EZvr7g | 0.004241853484345579 | 1600.8 | 377382.2 |
BASE/kalaha5x2x3/WviNsw | 0.00425073355663498 | 436.83754416372244 | 102767.56666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 0.004255052473775945 | 1326.2666666666667 | 311692.2 |
STANFORD/dualrainbow/G3OnRQ | 0.004256605214898772 | 3780.2 | 888078.6 |
DRESDEN/toetictac/mJtxCA | 0.0042584813877578395 | 4465.966666666666 | 1048722.8333333333 |
BASE/guess/SPpk1A | 0.004259272977283234 | 232.0255991466951 | 54475.4 |
DRESDEN/eotcatcit/mQUxzA | 0.004273400420037193 | 3464.2 | 810642.5 |
STANFORD/trifecta/ss1kyQ | 0.004290168879568533 | 3026.6666666666665 | 705488.9333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 0.004368334703017941 | 1222.0333333333333 | 279748.1 |
BASE/chickentictactoe/DSlZCA | 0.004383524985794846 | 2749.766666666667 | 627295.7666666667 |
BASE/troublemaker02/DI83KA | 0.004425291520980221 | 9288.433333333332 | 2098942.7 |
DRESDEN/lightsout/XgLpzQ | 0.004461461645966191 | 2771.4666666666667 | 621201.5 |
BASE/bunk_t/xbpfIA | 0.0044873619823138765 | 1904.0666666666666 | 424317.6 |
BASE/blocksWorld/SEdXLQ | 0.004569832663847851 | 7071.733333333334 | 1547481.9 |
BASE/doubletictactoe/HH1htg | 0.004575853133000628 | 1953.7 | 426958.63333333336 |
BASE/survival/YVIjJA | 0.004585160633851953 | 10577.933333333332 | 2306992.966666667 |
DRESDEN/tictactoe/BTTzPw | 0.004588229277238162 | 3687.2 | 803621.5666666667 |
BASE/numbertictactoe/rvJ-iQ | 0.004604391082366479 | 2023.0 | 439363.2 |
BASE/circlesolitaire/azuQFQ | 0.004638695296193881 | 4072.9666666666667 | 878041.4333333333 |
BASE/chomp/-LcqYQ | 0.004691726950508121 | 1831.6 | 390389.3 |
DRESDEN/bunk_t/7-tPfA | 0.004699766733103242 | 1993.0 | 424063.6 |
BASE/chickentoetictac/l57rfQ | 0.004706533307034801 | 3794.866666666667 | 806297.6333333333 |
DRESDEN/doubletoetictac/V89gKQ | 0.004717876282289003 | 1952.4 | 413830.26666666666 |
DRESDEN/doubletictactoe/lJzgmQ | 0.004725121021455785 | 2029.0666666666666 | 429421.1 |
DRESDEN/circlesolitaire/ruUilQ | 0.004734680158246992 | 4103.766666666666 | 866746.3333333334 |
BASE/haystack/UkweGA | 0.004762815883092216 | 13745.633333333333 | 2886030.8 |
DRESDEN/statespacesmall/h-NqjA | 0.004762973861714879 | 8618.9 | 1809562.7333333334 |
DRESDEN/blocks/vg0DRw | 0.004780318400405541 | 6946.766666666666 | 1453201.6666666667 |
DRESDEN/troublemaker02/iZLVuA | 0.0047867186720076445 | 9452.266666666666 | 1974686.0666666667 |
DRESDEN/lightsout2/LFtfyQ | 0.004812168795173139 | 2913.9724018398774 | 605542.4333333333 |
DRESDEN/pancakes/hl9aiQ | 0.004828853003657738 | 1259.6666666666667 | 260862.5 |
BASE/stateSpaceSmall/Q7osKA | 0.004830905741658064 | 9040.6 | 1871408.9 |
BASE/blocks/xIV5hQ | 0.004951741193546639 | 6999.133333333333 | 1413469.1333333333 |
BASE/cubicup_3player/e2yA_g | 0.005011034352095825 | 396.70688620758614 | 79166.66666666667 |
BASE/switches/tPUoCg | 0.00501229674521293 | 6324.366666666667 | 1261770.2 |
BASE/troublemaker01/s3tlEQ | 0.005071927817024856 | 11139.4 | 2196285.2 |
BASE/eotcatcit/AfZSzA | 0.005083373100890356 | 3516.6666666666665 | 691797.8666666667 |
DRESDEN/pancakes6/SZXMyQ | 0.005099742597653631 | 1309.1333333333334 | 256705.76666666666 |
DRESDEN/chickentoetictac/cxYaRQ | 0.0051345068499370405 | 3856.2 | 751036.1 |
DRESDEN/troublemaker01/C-lPWw | 0.005189186332243057 | 11310.4 | 2179609.533333333 |
DRESDEN/chickentictactoe/Ipbo-g | 0.0051957918796697086 | 3117.6 | 600024.0333333333 |
DRESDEN/chomp/-LcqYQ | 0.005234838457966571 | 1928.5333333333333 | 368403.6 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.005362169079029456 | 4089.866666666667 | 762726.1666666666 |
DRESDEN/cubicup_3player/awDtsQ | 0.005387061233378837 | 414.3585641435856 | 76917.36666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 0.005409898481430241 | 4123.933333333333 | 762294.0333333333 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.005883234159481416 | 25.45224372855382 | 4326.233333333334 |
DRESDEN/blocksworldparallel/2JfVaw | 0.005923815597280676 | 2547.7 | 430077.5333333333 |
BASE/ticTicToe/c1OobQ | 0.006598669635419347 | 2209.766666666667 | 334880.63333333336 |
STANFORD/tictictoe/rpt_Dw | 0.006811232546235451 | 2258.1 | 331525.9 |
DRESDEN/roshambo2/jgSlkQ | 0.00685225395332075 | 5190.7 | 757517.1666666666 |
BASE/onestep/xi53wA | 0.006964718188425341 | 15383.4 | 2208761.3 |
BASE/roshambo2/KNPokQ | 0.007284768896947948 | 5399.3 | 741176.5666666667 |
BASE/sum15/QZ07Kg | 0.0074122902377702325 | 5035.366666666667 | 679326.7 |
DRESDEN/tictictoe/LAUtwg | 0.007415900681544468 | 2525.6666666666665 | 340574.5 |
DRESDEN/sum15/CsgWKg | 0.00752540547715763 | 5045.6 | 670475.5 |
BASE/eotcitcit/V_9_bg | 0.007758711215461951 | 2581.0666666666666 | 332666.93333333335 |
DRESDEN/blocks2player/3ev8nQ | 0.008026634494569246 | 4685.1 | 583694.2 |
BASE/blocks2player/wnTLOQ | 0.00803675194344515 | 4651.433333333333 | 578770.3 |
STANFORD/8puzzle/jNiGtw | 0.008634766323508137 | 1816.4333333333334 | 210362.76666666666 |
BASE/eightPuzzle/vLrgFg | 0.008806633195279072 | 1817.2666666666667 | 206352.03333333333 |
STANFORD/eightpuzzle/W_aWbA | 0.009287610399143099 | 1846.3051231625614 | 198792.26666666666 |
DRESDEN/8puzzle/8fKC2w | 0.011198430275491751 | 2253.9666666666667 | 201275.23333333334 |
BASE/snakeAssemblit/UO4sdg | 0.012488828818663415 | 509.1333333333333 | 40767.1 |
DRESDEN/smallest/9kaGFw | 0.05009632254291513 | 582.5 | 11627.6 |
Games with errors:
Game | REKKURA_BACKWARD_PROVER:1.0.0 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
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 | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
DRESDEN/cylinder-checkers/clOO3Q | 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 | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
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/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
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 | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | OutOfMemoryError: Java heap space |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |