Game-by-game performance:
Game | Perf ratio | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/gt_two_thirds_2p/1APDGg | 0.0 | 0.0 | 151604.66666666666 |
BASE/twisty-passages/DiZmmg | 1.917382991866589E-8 | 0.05287648054145516 | 2757742.2333333334 |
DRESDEN/twisty-passages/j7NPyg | 1.9840094489508355E-8 | 0.052709255745308874 | 2656703.8666666667 |
DRESDEN/hanoi7/51zz5Q | 2.261941693828578E-7 | 0.2787240631774543 | 1232233.6333333333 |
BASE/hanoi7_bugfix/3gdnFw | 2.3283398619074002E-7 | 0.28346456692913385 | 1217453.5666666667 |
DRESDEN/hanoi7_bugfix/3gdnFw | 2.337565653692314E-7 | 0.2809602597321512 | 1201935.2666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 2.7683985869757806E-7 | 0.06446829771459885 | 232872.16666666666 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 3.553315864790667E-7 | 0.051498609537542483 | 144931.13333333333 |
DRESDEN/vacuumcleaner_random/_6AGDA | 4.2393779455739545E-7 | 0.05682948313585088 | 134051.46666666667 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 4.5620223354539046E-7 | 0.07688167909587146 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 4.5918981749474437E-7 | 0.07717835918808366 | 168075.06666666668 |
BASE/hitori/S8Gsyg | 7.663508748140276E-7 | 0.2661343978709248 | 347274.86666666664 |
DRESDEN/hitori/S8Gsyg | 8.006423657107508E-7 | 0.27517045280826735 | 343687.1 |
BASE/ad_game_2x2/D0aWqg | 8.243267171587537E-7 | 0.029403981299067895 | 35670.3 |
BASE/gt_tinfoil/Q8DyKg | 1.0083318136304098E-6 | 0.49985004498650404 | 495719.8 |
BASE/colonelBlottoVariant/X-n-KQ | 1.2676574110300122E-6 | 0.46477657526060684 | 366642.1 |
BASE/max_knights/2fq3Ag | 1.3439105024622089E-6 | 1.093077177873468 | 813355.6333333333 |
DRESDEN/max_knights/hCipiA | 1.5175047837306694E-6 | 1.1600543568327202 | 764448.5666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 1.5555856655062656E-6 | 2.0780420226275687 | 1335858.3 |
BASE/hanoi_6_disks/MeubgQ | 1.647029167848039E-6 | 2.131344078859731 | 1294053.6333333333 |
BASE/checkers-newgoals/0XkFiA | 1.7903642808430289E-6 | 0.4422542330048016 | 247019.13333333333 |
BASE/kalaha_2009/dRiN3g | 1.7953775985004036E-6 | 0.04606914979384055 | 25659.866666666665 |
BASE/gt_attrition/kD_SCA | 1.826399347439515E-6 | 0.2295458271847844 | 125682.16666666667 |
DRESDEN/kalaha_2009/gcC8uA | 1.8583287708063477E-6 | 0.047554509356349715 | 25589.933333333334 |
BASE/checkersTiny/Lr48cg | 1.8661890321945817E-6 | 0.7642973448974845 | 409549.8 |
BASE/colonelBlottoVariant2/jruwGw | 1.957271738565204E-6 | 0.4810159055926116 | 245758.36666666667 |
BASE/pawnToQueen/-O1_JA | 2.2162941262852345E-6 | 1.2537943777220535 | 565716.6 |
BASE/skirmishZeroSum/zh4hcw | 2.3090548501169862E-6 | 0.4526788889966696 | 196045.1 |
BASE/checkersSmall/SYmq8w | 2.5835255776267343E-6 | 0.7891621728265158 | 305459.4 |
BASE/knightmove/jBaJEw | 2.73727191821377E-6 | 2.6226678175419957 | 958132.0 |
DRESDEN/pawntoqueen/f_x6Aw | 2.79050723303267E-6 | 1.2956810631229236 | 464317.4 |
DRESDEN/knightmove/97Ipcw | 2.8595928736490826E-6 | 2.603051171373027 | 910287.3333333334 |
BASE/racer/QQYQNw | 2.9030331616392374E-6 | 0.07950178879024777 | 27385.766666666666 |
DRESDEN/racer/vk_ZBA | 2.9488685537359895E-6 | 0.08266740148801323 | 28033.6 |
BASE/checkers/rOC3Xg | 3.144997551653409E-6 | 0.7542714721411472 | 239832.13333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.5993391617435294E-6 | 6.027306027306027 | 1674559.0666666667 |
BASE/battle/8oAvhQ | 3.641882477883407E-6 | 0.9633292659430993 | 264514.1 |
DRESDEN/battle/8oAvhQ | 3.661383675004568E-6 | 0.9649094593290662 | 263536.8333333333 |
DRESDEN/quad_5x5_8_2/JRTLJg | 3.6822094360789807E-6 | 2.222369643094069 | 603542.4333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 3.988347671158889E-6 | 6.514441453119288 | 1633368.5 |
DRESDEN/quad/JPe6fg | 6.252265649848505E-6 | 2.0404133482524847 | 326347.8333333333 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 6.25926653113602E-6 | 0.32615786040443573 | 52108.0 |
BASE/quad/tw-Ufg | 6.430162754423598E-6 | 2.074074074074074 | 322553.9 |
DRESDEN/satlike_20v_91c/yeuENQ | 6.792636698824804E-6 | 0.36567933246900036 | 53834.666666666664 |
BASE/queens31lg/0gID-A | 6.94618496273317E-6 | 1.0554785935747741 | 151950.83333333334 |
DRESDEN/blobwars/ZaMluQ | 7.173611044683473E-6 | 0.1415468236892764 | 19731.6 |
BASE/checkers-mustjump/T-8UuQ | 7.413457030064066E-6 | 1.2598216357789345 | 169937.13333333333 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 7.452234903771655E-6 | 0.36633696339960703 | 49158.0 |
BASE/blobwars/0XT15Q | 7.530848149752126E-6 | 0.1455138092604988 | 19322.366666666665 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 7.672177823611891E-6 | 0.3813640119494057 | 49707.4 |
DRESDEN/quad_5x5/JAEP5g | 8.626245695773128E-6 | 5.8054670912951165 | 673000.4333333333 |
DRESDEN/connect5/1kYzSg | 8.629959880870531E-6 | 6.681367870190567 | 774206.1333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 8.884455732238832E-6 | 1.2333333333333334 | 138819.23333333334 |
BASE/wargame01/_GZFZg | 9.086557693960615E-6 | 2.1736266631537347 | 239213.43333333332 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 9.22955134592212E-6 | 1.282557221783741 | 138962.03333333333 |
BASE/quad_5x5/JAEP5g | 9.345587872063942E-6 | 5.551492586929061 | 594022.8333333334 |
BASE/colonelBlotto/jip21A | 1.0629733717251553E-5 | 0.3650119458455004 | 34338.76666666667 |
DRESDEN/othello-cornercontrol/r5Gdlg | 1.1377492105990961E-5 | 0.5451688419972421 | 47916.433333333334 |
BASE/queens16ug/gT-ylw | 1.2293397829055755E-5 | 6.603617056578729 | 537167.7666666667 |
BASE/wargame03/klXI8w | 1.2314559961018261E-5 | 2.0714144801736043 | 168208.56666666668 |
BASE/snake_2008/i6K26g | 1.3357147822650004E-5 | 5.051512130275839 | 378187.93333333335 |
BASE/snake_2008_tweaked/bX0NJQ | 1.3504718003057354E-5 | 5.0466482950961185 | 373695.2 |
DRESDEN/snake_2008/E56l3A | 1.3768419087925634E-5 | 5.092191972309126 | 369845.8 |
BASE/mummymaze2p/vpjDdA | 1.3865765661417465E-5 | 15.142942723067195 | 1092110.1 |
BASE/checkers-mustjump-torus/uSApKQ | 1.4133189229825552E-5 | 1.4607748746721556 | 103357.76666666666 |
DRESDEN/mummymaze2p/k-8edg | 1.4360253659310275E-5 | 15.040095830699098 | 1047341.9333333333 |
STANFORD/platformjumpers/HEQskA | 1.448631812248713E-5 | 5.467196819085487 | 377404.1666666667 |
BASE/knightThrough/gcwFjA | 1.4827391828903002E-5 | 11.549342652687635 | 778919.3666666667 |
STANFORD/skirmish/w4V6Vw | 1.794654740752561E-5 | 2.388614271970275 | 133096.03333333333 |
BASE/hanoi/iGLsJg | 1.8235747511045285E-5 | 20.995800839832032 | 1151354.0 |
STANFORD/madness/UO_B3A | 1.8250618098762907E-5 | 2.3089355806972987 | 126512.73333333334 |
BASE/wargame02/BkVqqQ | 1.8541892053577833E-5 | 2.1849240242327936 | 117837.16666666667 |
DRESDEN/hanoi/RQ0jiA | 1.854701027451795E-5 | 21.166666666666668 | 1141244.1333333333 |
BASE/queens12ug/u6Bkmg | 2.2484723238386708E-5 | 13.253413253413253 | 589440.8 |
BASE/reversi/d8UMeA | 2.407734442603856E-5 | 1.8487339473771087 | 76783.13333333333 |
BASE/speedChess/bPnisA | 2.4306627593686175E-5 | 4.964349970013993 | 204238.53333333333 |
BASE/reversiSuicide/9OxJlg | 2.4478091485042196E-5 | 1.8146425154244614 | 74133.33333333333 |
BASE/skirmishNew/sibw2g | 2.678418556703424E-5 | 5.352393617021277 | 199834.1 |
BASE/gt_ultimatum/GE-uOA | 3.241713321229599E-5 | 21.093671898430472 | 650695.1666666666 |
BASE/ghostMaze2p/W-NU-w | 3.436213807575817E-5 | 29.920367840602406 | 870736.5 |
DRESDEN/ghostmaze2p/HY0UwA | 3.446394691020361E-5 | 33.14015454303224 | 961589.0666666667 |
BASE/dotsAndBoxesSuicide/jzQbLw | 3.4750849006332276E-5 | 28.97392346887801 | 833761.6 |
BASE/breakthroughHoles/nZk0Sg | 3.4887980852351244E-5 | 31.453037017292505 | 901543.6333333333 |
BASE/dotsAndBoxes/EHwA_w | 3.523969760049223E-5 | 29.32062772798454 | 832034.0333333333 |
BASE/pancakes/yUgbXw | 3.5805395772939385E-5 | 9.23894981721502 | 258032.33333333334 |
DRESDEN/gt_ultimatum/pAiiQw | 3.5971214383106053E-5 | 22.208903539439948 | 617407.6666666666 |
BASE/quartoSuicide/-23jUg | 3.602474836917479E-5 | 3.9710116152089743 | 110230.1 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.644755376974225E-5 | 28.86570447651745 | 791979.2 |
BASE/quarto/EwBMVQ | 3.6811270054443425E-5 | 4.140718166158739 | 112485.06666666667 |
BASE/pancakes6/QZTdnw | 3.699602960998315E-5 | 9.125424631985613 | 246659.56666666668 |
BASE/mummyMaze2p_2007/YGA3Vw | 3.732846469593924E-5 | 29.94370982246944 | 802168.2666666667 |
BASE/breakthrough/TGxk-g | 3.767608126869716E-5 | 31.664114004128653 | 840430.1333333333 |
BASE/breakthroughSuicide/wZDpIg | 3.8114650062675166E-5 | 31.730160317301603 | 832492.5 |
BASE/breakthroughWalls/vOZaYA | 3.906588845972088E-5 | 31.680991405156906 | 810963.0333333333 |
DRESDEN/quarto/OQzRYQ | 3.921964135577273E-5 | 4.054233683370995 | 103372.53333333334 |
DRESDEN/nim1/M9BALA | 3.9547413540000555E-5 | 28.66560127846584 | 724841.3666666667 |
DRESDEN/quartosuicide/WIU1oQ | 3.9632809744738956E-5 | 4.139895343445717 | 104456.26666666666 |
DRESDEN/pancakes/hl9aiQ | 3.966856176842933E-5 | 10.348040194316896 | 260862.5 |
DRESDEN/pancakes6/SZXMyQ | 4.032565835763766E-5 | 10.35182904503545 | 256705.76666666666 |
BASE/nim1/hin2Qw | 4.033088353604904E-5 | 28.932368921035966 | 717375.0333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 4.123031963890213E-5 | 36.17949828430556 | 877497.4 |
DRESDEN/knightthrough/J7Fc_Q | 4.353877948700026E-5 | 33.482142857142854 | 769018.8666666667 |
DRESDEN/breakthrough/z4hK7Q | 4.3879325209900165E-5 | 35.54060355739124 | 809962.4 |
BASE/othelloHoles/c0qAzw | 4.427578985215141E-5 | 1.9331400193314001 | 43661.333333333336 |
BASE/2pttc/unkkYA | 4.437521388714721E-5 | 30.72718789575418 | 692440.3333333334 |
BASE/wallmaze/uxNQ9g | 4.45559191231649E-5 | 24.1887119344306 | 542884.3666666667 |
DRESDEN/nim2/z5_exA | 4.482534407458389E-5 | 30.161639726712213 | 672870.2333333333 |
BASE/pacman3p/wW7UVQ | 4.5345411405883793E-5 | 21.24966693312017 | 468617.8 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 4.5456034293627115E-5 | 35.381130063965884 | 778359.3666666667 |
DRESDEN/guess/PhxGhg | 4.57780523622369E-5 | 2.508333608369913 | 54793.36666666667 |
BASE/nim2/eF2Qqw | 4.651294229985994E-5 | 30.44535491822391 | 654556.6333333333 |
BASE/guess/SPpk1A | 4.703923753795402E-5 | 2.5624812805750605 | 54475.4 |
DRESDEN/quad_7x7/q-JOXg | 4.902401755265135E-5 | 23.458847050983007 | 478517.43333333335 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 4.9029493571568335E-5 | 77.2793921620901 | 1576181.7333333334 |
BASE/ttcc4_2player_alt/ZEJvYA | 4.9055069675638445E-5 | 19.160918391149323 | 390600.1666666667 |
BASE/choicethroughalt/tt71Lg | 4.9433407369907066E-5 | 24.317121918720854 | 491916.76666666666 |
BASE/quad_7x7/q-JOXg | 4.992142835173151E-5 | 23.51217237819296 | 470983.56666666665 |
BASE/knightfight/SJRkAg | 5.07574452264239E-5 | 12.030125299920021 | 237012.03333333333 |
BASE/queens08ug/kJ_ZFQ | 5.160853536080397E-5 | 37.122196674331036 | 719303.4333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 5.2073139443261463E-5 | 76.00799733422193 | 1459639.2333333334 |
DRESDEN/knightfight/4_Ly4w | 5.334412592068297E-5 | 12.4912561207155 | 234163.66666666666 |
DRESDEN/nim4/F5YAYg | 5.3398871683764835E-5 | 30.97418817651957 | 580053.2333333333 |
BASE/tictactoe_3d_2player/IUC1rQ | 5.34045239506252E-5 | 44.83378855505962 | 839512.9333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 5.3477447830703974E-5 | 45.822641383677144 | 856859.1666666666 |
BASE/nim3/1OwUqw | 5.3571725477721096E-5 | 30.81792437114776 | 575264.7333333333 |
BASE/pacman2p/4LEdQg | 5.381561768902143E-5 | 21.358706500765187 | 396886.76666666666 |
DRESDEN/nim3/sG_axA | 5.4166531556070064E-5 | 31.27185533020282 | 577328.0 |
BASE/nim4/twk16w | 5.535991747298441E-5 | 31.05838443081845 | 561026.5666666667 |
BASE/ttcc4_2player/_aH_Mw | 5.659614715143882E-5 | 20.577364898611528 | 363582.43333333335 |
BASE/connectFourLarger/qKi60A | 5.7369035070212805E-5 | 44.84424454439447 | 781680.3 |
BASE/othelloSuicide/B442jg | 5.759835407833181E-5 | 1.9143177767509407 | 33235.63333333333 |
DRESDEN/pacman3p/rBnk8Q | 5.8227850132967275E-5 | 23.730960237309603 | 407553.43333333335 |
BASE/connect5/d-BVQg | 5.946602502070409E-5 | 46.36666666666667 | 779716.9333333333 |
DRESDEN/Travelers-Dilemma/PvZwYw | 5.973587228525462E-5 | 0.2584313218762114 | 4326.233333333334 |
BASE/bomberman2p/4CClwA | 5.998206664435029E-5 | 28.066666666666666 | 467917.63333333336 |
BASE/nonogram_10x10_1/0Xc62g | 6.042641673717178E-5 | 11.250915385127488 | 186192.0 |
DRESDEN/bomberman2p/x4h6jQ | 6.0868645726848925E-5 | 28.32106087362143 | 465281.6 |
STANFORD/ttcc4/Cx9SGw | 6.26106144111771E-5 | 21.364530213645303 | 341228.56666666665 |
BASE/amazonsSuicide_10x10/XIbQkg | 6.555269957889816E-5 | 3.8617750848924697 | 58911.0 |
DRESDEN/skirmish2/iPpWhQ | 6.693355913450897E-5 | 17.22816488386817 | 257392.03333333333 |
BASE/othello-comp2007/86ZoMw | 6.738120672121852E-5 | 2.196631831192172 | 32600.066666666666 |
BASE/amazons_10x10/Bun8dA | 6.76344994451012E-5 | 3.7086092715231787 | 54833.1 |
BASE/4pttc/AL1k2Q | 6.961294202167408E-5 | 14.241032807612964 | 204574.5 |
BASE/skirmish/Y_psYQ | 6.987456118775575E-5 | 7.8125 | 111807.5 |
BASE/kalaha6x2x4/XS81Mg | 7.132904839347451E-5 | 4.651626407947636 | 65213.63333333333 |
BASE/cephalopodMicro/9l2D3g | 7.265926234565494E-5 | 21.148338106973956 | 291061.8333333333 |
BASE/checkersBarrelNoKings/rnKNeg | 7.511494274349256E-5 | 24.052235325471383 | 320205.73333333334 |
DRESDEN/skirmish/RjGQYQ | 7.579751230572807E-5 | 16.83916270092183 | 222159.83333333334 |
BASE/copolymer_4/2LDVhQ | 7.60006152086024E-5 | 55.91655836582358 | 735738.2333333333 |
DRESDEN/brawl/2kXtfQ | 7.641710684090344E-5 | 11.712251281027484 | 153267.4 |
DRESDEN/skirmish3/3LU8Nw | 7.782410680967993E-5 | 17.11678710579773 | 219941.96666666667 |
BASE/amazons_8x8/7SOsIw | 7.823901897367531E-5 | 9.455005493225022 | 120847.7 |
STANFORD/knightstourbig/TQUI2g | 7.909103656813653E-5 | 76.3923607639236 | 965878.8666666667 |
BASE/amazonsTorus_10x10/Uxc08g | 7.937756463478757E-5 | 1.5662490002665956 | 19731.633333333335 |
BASE/chineseCheckers1/gqtwHw | 8.104267762528074E-5 | 134.1288623712543 | 1655039.8666666667 |
BASE/brawl/6Ymo_Q | 8.16337469378291E-5 | 12.092744353387967 | 148134.13333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 8.213878700133462E-5 | 23.532548915036166 | 286497.4 |
STANFORD/chinook/osFbPA | 8.235613294251822E-5 | 21.480667399340593 | 260826.56666666668 |
STANFORD/checkersonabarrelnokings/Zrevdw | 8.342665205656996E-5 | 24.392682195341397 | 292384.76666666666 |
BASE/queens08lg/Ru7eqQ | 8.346088348652534E-5 | 40.1 | 480464.6 |
BASE/queens06ug/7Lq3tw | 8.371530370639775E-5 | 75.81564301662945 | 905636.6 |
BASE/3pttc/0sol9g | 8.42250901783686E-5 | 21.698553429771348 | 257625.76666666666 |
BASE/hidato37/pBrqxw | 8.45181324503337E-5 | 17.894035321559482 | 211718.3 |
DRESDEN/capture_the_king/EQ229Q | 8.672497637798435E-5 | 14.25438596491228 | 164363.1 |
BASE/checkersTorus/2vm1EQ | 8.732717557761865E-5 | 19.695404405638683 | 225535.8 |
BASE/racetrackcorridor/_RkdUg | 8.736258252394706E-5 | 59.213595468177274 | 677791.2666666667 |
DRESDEN/golden_rectangle/1uloXw | 8.847038335445797E-5 | 64.0850468224081 | 724367.2333333333 |
BASE/chinook/XQh0IQ | 9.189425833211794E-5 | 23.481997135529426 | 255532.8 |
DRESDEN/CephalopodMicro/H3XQfg | 9.293436043404989E-5 | 25.92901183136144 | 279003.5 |
DRESDEN/racetrackcorridor/O0DoTA | 9.552940586385357E-5 | 58.039581528619976 | 607557.2333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 9.66370930237846E-5 | 199.72001866542232 | 2066701.4333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 9.954517498086314E-5 | 205.07949205079493 | 2060165.0666666667 |
BASE/copolymer_4_pie/IN5_jA | 1.0080679661029335E-4 | 57.225703239568055 | 567677.0333333333 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 1.0363882262129614E-4 | 28.380133906265613 | 273836.9 |
BASE/skirmishFinal2/gdB62Q | 1.0643855094101319E-4 | 14.632845571814272 | 137476.93333333332 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.0675478200001402E-4 | 30.230310302303103 | 283175.23333333334 |
BASE/skirmishFinal3/-Olhfw | 1.0758296514608666E-4 | 16.014649575495255 | 148858.6 |
BASE/breakthroughSuicideSmall/XSbJog | 1.0803731020992622E-4 | 89.41843026162306 | 827662.5 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.0825274841238643E-4 | 208.4194387040864 | 1925303.9 |
STANFORD/multiplesukoshi/vLSQPg | 1.0834133387300667E-4 | 124.68753124687531 | 1150876.8333333333 |
BASE/breakthroughSmall/HJ0tIA | 1.1065304870055386E-4 | 90.51523028727588 | 818009.3666666667 |
BASE/skirmishFinal1/ecWTnQ | 1.1257438077223148E-4 | 14.399040063995734 | 127906.9 |
DRESDEN/skirmishfinal/hzq8ww | 1.1260323755261195E-4 | 14.947235260827592 | 132742.5 |
BASE/knightsTourLarge/M8jgLA | 1.1477419701281152E-4 | 105.42269002731331 | 918522.5666666667 |
DRESDEN/smallest_4player/ADDROA | 1.152865663161606E-4 | 36.41512577044811 | 315866.1666666667 |
BASE/chineseCheckers6/rREH3A | 1.169873731584773E-4 | 44.924348463640605 | 384010.23333333334 |
BASE/ttcc4_2player_small/Cv72TA | 1.1714604708136449E-4 | 64.7 | 552302.0333333333 |
BASE/smallest_4player/ADDROA | 1.1792269807669755E-4 | 36.123700346574246 | 306333.73333333334 |
BASE/chineseCheckers2/eCMR3Q | 1.204695575461471E-4 | 102.5760655846969 | 851468.7666666667 |
BASE/skirmishHoles/AUCxCA | 1.2148726407940122E-4 | 15.486062543710661 | 127470.66666666667 |
BASE/golden_rectangle/_nYzfw | 1.2327904862403715E-4 | 100.45996933537764 | 814898.9666666667 |
BASE/2pffa_zerosum/o0_uZA | 1.2555867037019315E-4 | 62.329178054796344 | 496414.76666666666 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.257533478190484E-4 | 156.94574056792428 | 1248044.2333333334 |
DRESDEN/Goldrush/VeWczQ | 1.2603563004086213E-4 | 43.3304446370242 | 343795.2 |
BASE/dualConnect4/WbCQkg | 1.2829670688997865E-4 | 113.77724455108978 | 886829.0333333333 |
BASE/sheepAndWolf/g4THrg | 1.2918331201322868E-4 | 19.902153293174027 | 154061.33333333334 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.3381610063621427E-4 | 162.47292117980336 | 1214150.7666666666 |
BASE/strangeSkirmish/gc1zKA | 1.3507677799369603E-4 | 14.322352862805182 | 106031.2 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.352735027676703E-4 | 186.79377354088197 | 1380860.0333333334 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.354642416263303E-4 | 147.985201479852 | 1092430.0 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.3666927757571704E-4 | 147.18528147185282 | 1076944.9 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.3781645296779898E-4 | 279.2 | 2025882.9333333333 |
BASE/nonogram_5x5_1/qLKEZw | 1.4102565010082243E-4 | 49.985004498650405 | 354439.1 |
DRESDEN/endgame/IJhh3Q | 1.422057119342628E-4 | 24.378059746228395 | 171428.13333333333 |
BASE/pegEuro/5awwhg | 1.4495239945428996E-4 | 66.93766034718288 | 461790.63333333336 |
BASE/connectFourLarge/aU644A | 1.4511403148080595E-4 | 127.16666666666667 | 876322.3333333334 |
BASE/2pffa/6oHijA | 1.4614823549937946E-4 | 72.37828651404578 | 495238.86666666664 |
BASE/peg/fJHVWw | 1.483517760746953E-4 | 67.43744377436444 | 454577.93333333335 |
BASE/chineseCheckers3/-1rZdQ | 1.4874197242439828E-4 | 74.91086007531074 | 503629.6 |
STANFORD/pilgrimage/ObRZnQ | 1.49709138650434E-4 | 43.938838735467534 | 293494.7 |
DRESDEN/chinesecheckers2/06E6-Q | 1.518055211179656E-4 | 99.75336621783762 | 657112.9 |
BASE/kalaha5x2x3/WviNsw | 1.6031601801796651E-4 | 16.475287069395907 | 102767.56666666667 |
STANFORD/freeforall/Lfp40Q | 1.6059302776374448E-4 | 83.4388537154282 | 519567.1 |
BASE/tictactoe_3d_6player/d7KSwg | 1.632698034358729E-4 | 39.97869578243068 | 244862.76666666666 |
STANFORD/multipletictactoe/_bkafQ | 1.632892634287784E-4 | 202.05993133562214 | 1237435.5 |
BASE/chineseCheckers4/avfBcQ | 1.6355282910411357E-4 | 59.619422134835204 | 364527.0 |
BASE/escortLatch/mX9BjQ | 1.6972838097939092E-4 | 83.6499366793308 | 492845.9 |
DRESDEN/chinesecheckers6/yTbPDA | 1.7342970891039326E-4 | 54.85569552756115 | 316299.3 |
DRESDEN/connect4/T0-rHQ | 1.7390564243860684E-4 | 103.80565182617968 | 596907.9 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.748490499149075E-4 | 85.54100436535705 | 489227.73333333334 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1.7521347193448164E-4 | 42.01932689103632 | 239817.9 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1.7732333334841493E-4 | 200.0533297780148 | 1128183.9 |
DRESDEN/mimikry/GJEhwA | 1.8216048678307072E-4 | 158.03678528588566 | 867568.9666666667 |
BASE/connect4/50bOyw | 1.8464467598673317E-4 | 105.67534242010197 | 572317.3 |
BASE/gt_coordination/IVMOzA | 1.8903889735321787E-4 | 204.11292204112922 | 1079740.3333333333 |
STANFORD/selectivesukoshi/3xmXYg | 1.9326471488578835E-4 | 131.46666666666667 | 680241.4333333333 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.940445538928391E-4 | 109.97800439912018 | 566766.7666666667 |
STANFORD/alquerquezero/uVgA_A | 1.9792575865817028E-4 | 66.4067706250833 | 335513.5333333333 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.9802830607916104E-4 | 220.67793220677933 | 1114375.7 |
BASE/sudokuGrade4/DTy07w | 2.0396584844032103E-4 | 120.19599346688443 | 589294.7 |
BASE/pentago/86NgKw | 2.0450582884185467E-4 | 74.2925707429257 | 363278.5 |
BASE/ttcc4/Le0qjQ | 2.0487157422195113E-4 | 27.162139643392766 | 132581.3 |
BASE/knightsTour/mvtVIg | 2.054339941335657E-4 | 270.19099363354553 | 1315220.4666666666 |
BASE/sudokuGrade1/tDRNRw | 2.061228722284208E-4 | 124.20435231779251 | 602574.3333333334 |
BASE/sudokuGrade2/u80Tfw | 2.065573908807572E-4 | 122.93388429752066 | 595156.0666666667 |
BASE/connectFour_9x6/B9TtMw | 2.0667519882024138E-4 | 198.3404978506448 | 959672.4666666667 |
BASE/tttcc4/8Bs2lg | 2.0737784193147876E-4 | 27.942449876773463 | 134741.73333333334 |
BASE/pentagoSuicide/SBgNhw | 2.0925466057766651E-4 | 73.84697414022928 | 352904.8 |
STANFORD/pentago/ZxzLmg | 2.097234922914332E-4 | 76.95384102649558 | 366930.0 |
BASE/sudokuGrade3/eI8dvg | 2.1027995675866967E-4 | 122.68364218104253 | 583430.0333333333 |
BASE/zhadu/DlA8iQ | 2.1155385994395885E-4 | 22.051965356429047 | 104238.06666666667 |
BASE/majorities/ibJzSQ | 2.1471882071964665E-4 | 101.87622887992802 | 474463.43333333335 |
BASE/duplicateStateLarge/dcjyuw | 2.149133022836552E-4 | 275.1816545563629 | 1280431.0 |
DRESDEN/tttcc4/sAvtFg | 2.154283572455341E-4 | 27.96293827489668 | 129801.56666666667 |
BASE/sudokuGrade5/BQfUQA | 2.1615585937272955E-4 | 123.85428123854281 | 572986.0 |
STANFORD/knightstour/cEwgNA | 2.1891383313628747E-4 | 280.96666666666664 | 1283457.8 |
STANFORD/sudoku/oJ1qyQ | 2.189232452654252E-4 | 123.3543312335433 | 563459.2666666667 |
BASE/qyshinsu/R08Lzw | 2.2981028601740212E-4 | 59.272339574865065 | 257918.56666666668 |
STANFORD/breakthrough/d5j0cQ | 2.35879942134431E-4 | 189.4080789228103 | 802985.1 |
BASE/sudokuGrade6E/ihYFZA | 2.3761048697241614E-4 | 121.81709105452606 | 512675.56666666665 |
STANFORD/connectfour/VMpZkQ | 2.3844091332319154E-4 | 233.14335233143353 | 977782.5 |
BASE/futoshiki6/JmvXNA | 2.390467309101503E-4 | 132.82890570314322 | 555660.8333333334 |
BASE/sudokuGrade6H/ieE_9A | 2.419601499557967E-4 | 124.69168722085195 | 515339.76666666666 |
DRESDEN/aipsrovers01/qS47Mw | 2.471455259546884E-4 | 399.0 | 1614433.4333333333 |
STANFORD/duidoku/3SoMaA | 2.4814798036598424E-4 | 77.37163040218587 | 311796.3333333333 |
STANFORD/knightstourmedium/x1wu8Q | 2.511595565114486E-4 | 320.6 | 1276479.4 |
DRESDEN/Zhadu/9zpQ5w | 2.532964856429232E-4 | 25.623084099693457 | 101158.46666666666 |
BASE/connectFour/WAIKTw | 2.546932963128991E-4 | 248.52504916502784 | 975781.6666666666 |
BASE/firefighter/WJmoPw | 2.554729751745956E-4 | 1048.2666666666667 | 4103238.966666667 |
BASE/aipsrovers01/4C4jsw | 2.5780568563253756E-4 | 398.12685398126854 | 1544290.4333333333 |
BASE/connectFourSuicide/c8p9Kw | 2.596174515296462E-4 | 260.01599893340443 | 1001535.1333333333 |
BASE/mineClearingSmall/frsbvw | 2.621611503510673E-4 | 74.88003199146894 | 285625.9666666667 |
DRESDEN/firefighter/WJmoPw | 2.6318432791832874E-4 | 1014.0 | 3852813.0 |
DRESDEN/chinesecheckers3/QsCb2A | 2.640854048595662E-4 | 111.2110911151103 | 421117.9 |
DRESDEN/Runners/3bOCQw | 2.808604073719483E-4 | 239.4 | 852380.7333333333 |
STANFORD/hex/MTqWcw | 2.832625171475437E-4 | 23.838060993474496 | 84155.36666666667 |
BASE/blokbox_simple/JBx4bg | 2.837076471674563E-4 | 4.943104535049597 | 17423.233333333334 |
DRESDEN/connectfour/5tc-Mg | 2.867052964258107E-4 | 278.92947606985734 | 972878.7 |
BASE/3pConnectFour/PqXOFQ | 2.894560469941554E-4 | 197.9468719794687 | 683858.1333333333 |
BASE/hex/T1MK8g | 2.96731393771749E-4 | 24.856723977075838 | 83768.43333333333 |
BASE/englishDraughts/jFkQxg | 2.9782915060880223E-4 | 90.02433090024331 | 302268.36666666664 |
DRESDEN/oisters_farm/pTQMLg | 2.9811445588686275E-4 | 1116.3333333333333 | 3744646.7666666666 |
BASE/gt_chicken/gmepTQ | 2.987140409406556E-4 | 126.71643780829223 | 424206.5 |
DRESDEN/connectfoursuicide/M9CNQg | 2.9891848812701246E-4 | 296.45678477384087 | 991764.6333333333 |
BASE/hidato19/rRHSmA | 3.0224966805513675E-4 | 137.59541348621713 | 455237.6 |
BASE/3pffa/pR0dzA | 3.0589354889991316E-4 | 62.13126229125696 | 203114.0 |
DRESDEN/grid_game2/kypTYQ | 3.067146646568678E-4 | 434.55218159394684 | 1416796.2333333334 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.1018451284554725E-4 | 269.8333333333333 | 869912.3333333334 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 3.125492942688261E-4 | 477.35075497483416 | 1527281.5 |
BASE/4pffa/Q3ADlg | 3.1270110051268777E-4 | 54.739297018157586 | 175053.1 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.1305237518945397E-4 | 267.8666666666667 | 855660.8666666667 |
DRESDEN/grid_game/U7_Yeg | 3.2134559943556884E-4 | 195.14715195147153 | 607281.2333333333 |
BASE/futoshiki5/TJ4BZg | 3.217199290546389E-4 | 197.487252974306 | 613848.3666666667 |
BASE/biddingTicTacToe/8mESVw | 3.2640945727548706E-4 | 126.53333333333333 | 387652.1666666667 |
DRESDEN/backgammon/mqCW0Q | 3.327609871997194E-4 | 49.906716417910445 | 149977.66666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 3.363659572776367E-4 | 1211.6 | 3602029.2 |
DRESDEN/4pttc/9pB9AQ | 3.3956426974480374E-4 | 83.85269121813032 | 246942.03333333333 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 3.397846460875513E-4 | 1223.2666666666667 | 3600123.433333333 |
DRESDEN/minichess/c7GMFw | 3.443805247067043E-4 | 94.72070390614584 | 275046.63333333336 |
BASE/minichess-evilconjuncts/4OpQzw | 3.472603397863309E-4 | 97.22037061725104 | 279963.93333333335 |
DRESDEN/minichess-evilconjuncts/th24Tw | 3.5134091842187003E-4 | 97.79674010866304 | 278352.8333333333 |
DRESDEN/bidding-tictactoe/yW5vTA | 3.519793881035964E-4 | 135.97280543891222 | 386309.0 |
BASE/checkLines/Vop7oQ | 3.532726430564846E-4 | 147.646980402613 | 417940.6 |
BASE/pawnWhopping/Ypc_6Q | 3.6274998182840107E-4 | 265.14015265140154 | 730917.0666666667 |
STANFORD/nineboardtictactoe/y28P-A | 3.6325902273388585E-4 | 195.8934702176594 | 539266.6333333333 |
BASE/hexPie/48CH6Q | 3.6868636180330353E-4 | 24.11404209965361 | 65405.3 |
BASE/asteroidsSerial/id2QkA | 3.706679082415898E-4 | 300.62331255624815 | 811031.4 |
BASE/connectFourSimultaneous/7ITr3g | 3.7162911127044425E-4 | 193.607518997467 | 520969.73333333334 |
BASE/nineBoardTicTacToe/wRmqqA | 3.718477684853674E-4 | 198.36666666666667 | 533462.0333333333 |
DRESDEN/babel/WdSW4A | 3.7566236925996686E-4 | 88.38232353529294 | 235270.63333333333 |
BASE/gt_staghunt/xPjLRA | 3.7637778195240415E-4 | 155.78961402573162 | 413918.2 |
BASE/gt_prisoner/klthDw | 3.763897136742466E-4 | 151.9080153307782 | 403592.36666666664 |
BASE/point_grab/V_osUg | 3.7919519670543924E-4 | 699.8100063331223 | 1845513.9 |
DRESDEN/pentago_2008/hLjVpQ | 3.813718302328072E-4 | 135.8 | 356082.93333333335 |
BASE/snake_2009_big/-oRfVw | 3.863824668718754E-4 | 134.98650134986502 | 349359.8 |
DRESDEN/gt_chicken/CeuKtw | 3.8686035603656546E-4 | 162.8116251166511 | 420853.73333333334 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 3.890958238296815E-4 | 876.0333333333333 | 2251459.1 |
BASE/breakthroughSmallHoles/bxclRw | 4.092424158445843E-4 | 320.04533031131257 | 782043.4 |
DRESDEN/knightstour/cGISAA | 4.1828855909875715E-4 | 532.4489183693877 | 1272922.5 |
DRESDEN/roshambo2/jgSlkQ | 4.205405246041729E-4 | 318.56666666666666 | 757517.1666666666 |
BASE/roshambo2/KNPokQ | 4.219276799896472E-4 | 312.72290923635876 | 741176.5666666667 |
BASE/tictactoe_3player/GtM71g | 4.25412468095769E-4 | 208.03333333333333 | 489015.6 |
BASE/minichess/8NQEiA | 4.3306210862870646E-4 | 102.79657344755175 | 237371.43333333332 |
DRESDEN/snake_2009_big/DgC1NQ | 4.3310590049817584E-4 | 133.26222459251358 | 307689.7 |
BASE/incredible/8Qh-6Q | 4.395351304060912E-4 | 830.8 | 1890178.8333333333 |
BASE/ticTacToeLarge/TZC0dg | 4.4540101910735605E-4 | 589.4 | 1323301.8666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 4.4712794040482467E-4 | 586.6333333333333 | 1312003.3 |
BASE/duplicateStateMedium/U163eQ | 4.5227798682654236E-4 | 752.9749008366388 | 1664849.7666666666 |
BASE/gt_centipede/9fRMpw | 4.5322107504039E-4 | 487.3333333333333 | 1075266.2666666666 |
BASE/futoshiki4/BaCwSw | 4.608210853708003E-4 | 341.0552981567281 | 740103.5 |
DRESDEN/towerworld/HCX34w | 4.840111935102197E-4 | 17.957089552238806 | 37100.566666666666 |
DRESDEN/gt_prisoner/huCp4w | 4.8502555300170464E-4 | 200.67324356752434 | 413737.4666666667 |
BASE/ruleDepthLinear/OUBJpQ | 4.872498730751361E-4 | 821.2333333333333 | 1685445.9666666666 |
BASE/asteroids/BKCmPQ | 4.917803934374899E-4 | 459.8513382887237 | 935074.5666666667 |
DRESDEN/snake_2009/zIYLVw | 4.955883934937851E-4 | 165.23333333333332 | 333408.4 |
BASE/cittaceot/fDxhXg | 4.99981264332329E-4 | 99.1567509915675 | 198320.93333333332 |
BASE/snake_2009/7l-qAQ | 5.039039243021564E-4 | 163.88907406172922 | 325238.73333333334 |
BASE/simultaneousWin2/PfjRjw | 5.114037588359329E-4 | 469.58434718842705 | 918226.2333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 5.124556472984216E-4 | 229.66666666666666 | 448168.86666666664 |
BASE/beatMania/qUHwvQ | 5.148103831417707E-4 | 504.4831838938702 | 979939.8 |
STANFORD/hunter/14dD-g | 5.24322074283985E-4 | 452.2 | 862447.0 |
BASE/snake2p/I3wWPQ | 5.262985215763649E-4 | 301.7566081130629 | 573356.3666666667 |
BASE/asteroidsParallel/WauZiA | 5.407817178355279E-4 | 267.1244291856938 | 493959.8 |
DRESDEN/crissrace/KWb9bw | 5.452266746946572E-4 | 47.70947859403631 | 87503.93333333333 |
DRESDEN/catcha_mouse/cHv4dw | 5.478655885437065E-4 | 378.508099460036 | 690877.6666666666 |
DRESDEN/tictactoe_3player/ESLQQQ | 5.484194961070819E-4 | 253.89153694876836 | 462951.3333333333 |
BASE/crissrace/ERWGDA | 5.571917397516881E-4 | 47.80305806322662 | 85792.83333333333 |
BASE/chomp/-LcqYQ | 5.72448200385555E-4 | 223.4776522347765 | 390389.3 |
STANFORD/bestbuttonsandlights/nm0wEA | 5.83261480239781E-4 | 1242.1 | 2129576.6 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 5.8387599896185E-4 | 991.7333333333333 | 1698534.1666666667 |
BASE/cubicup/4wNWJA | 5.897311573903447E-4 | 221.81866648895405 | 376135.23333333334 |
DRESDEN/frogs_and_toads/GjchhQ | 5.911130727706518E-4 | 84.40801093005432 | 142795.03333333333 |
DRESDEN/logistics/fPru1Q | 5.938705313926673E-4 | 295.0 | 496741.26666666666 |
DRESDEN/slidingpieces/s9_44g | 5.966840288241966E-4 | 259.3580213992867 | 434665.6 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 5.969467515742088E-4 | 198.94677198946772 | 333273.9 |
BASE/slidingpieces/uFJWEw | 5.993611643314827E-4 | 257.8914036198793 | 430277.13333333336 |
BASE/tictactoe_3d_small_6player/g_9lww | 6.032274117421265E-4 | 199.30675909878684 | 330400.7 |
BASE/tictactoex9/BI26ow | 6.084316128410654E-4 | 315.7894736842105 | 519022.13333333336 |
DRESDEN/chomp/-LcqYQ | 6.09797759542363E-4 | 224.65168988734084 | 368403.6 |
DRESDEN/tictactoelargesuicide/6J4DeA | 6.189198184199299E-4 | 809.1333333333333 | 1307331.4333333333 |
DRESDEN/tictactoex9/rFkD4w | 6.192758260356117E-4 | 318.8333333333333 | 514848.6666666667 |
DRESDEN/cubicup/SBn_lw | 6.199304228149962E-4 | 221.99260024665844 | 358092.76666666666 |
BASE/catcha_mouse/cHv4dw | 6.199312559630781E-4 | 379.0873637545415 | 611499.0333333333 |
BASE/lightsOnSimultaneous/_VN6lw | 6.199421884270394E-4 | 503.0498983367221 | 811446.4666666667 |
BASE/blockerSerial/3eqDuw | 6.410059002308539E-4 | 370.62097930068995 | 578186.5333333333 |
BASE/tron_10x10/7ZTgDg | 6.440524783252349E-4 | 243.0504633024465 | 377376.8 |
BASE/factoringEasyTurtleBrain/lUj94Q | 6.559554479223153E-4 | 1079.7666666666667 | 1646097.5666666667 |
BASE/snakeParallel/RCVNtw | 6.631626585325061E-4 | 514.2161927935736 | 775399.8 |
BASE/rubiksCube/9tNO9Q | 6.651909608467773E-4 | 83.78882815624583 | 125962.06666666667 |
BASE/lightsOnSimul4/9FeASw | 6.670463465641911E-4 | 364.0211992933569 | 545721.0 |
BASE/gt_dollar/TGjqRw | 6.776463402737425E-4 | 665.7 | 982370.8333333334 |
STANFORD/untwistycomplex/HTWEwg | 7.00115767538345E-4 | 2472.4 | 3531415.966666667 |
DRESDEN/tictactoelarge/IwXcbg | 7.081072204091769E-4 | 897.8666666666667 | 1267981.2333333334 |
BASE/conn4/va9Y7A | 7.100877066924203E-4 | 465.3 | 655271.1666666666 |
BASE/shmup/ssTNlg | 7.327650732203969E-4 | 146.77064587082583 | 200297.0 |
BASE/hodgepodge/9yjRkw | 7.34679900512439E-4 | 983.9 | 1339222.7 |
DRESDEN/peg_bugfixed/u_B7MA | 7.519518892197927E-4 | 343.57709486034264 | 456913.6666666667 |
DRESDEN/peg/Vo31eg | 7.530489923212923E-4 | 342.4771681887874 | 454787.36666666664 |
DRESDEN/point_grab/r5DPmQ | 7.608982494595337E-4 | 1379.1 | 1812463.1 |
STANFORD/untwistycorridor/EDPPAQ | 7.629449311891099E-4 | 2792.5666666666666 | 3660246.7 |
STANFORD/dualhunter/1rPZjQ | 7.740648643693575E-4 | 344.12186260457986 | 444564.63333333336 |
DRESDEN/3pttc/uwYBZw | 8.13906863706477E-4 | 220.61862542497167 | 271061.26666666666 |
BASE/maze/cCX3qQ | 8.204109902462705E-4 | 1865.0666666666666 | 2273332.1333333333 |
BASE/ticTacHeavenFC/mrletw | 8.308011731241414E-4 | 299.80670532560157 | 360864.56666666665 |
DRESDEN/3pffa/0YrmQw | 8.615078583075098E-4 | 214.74519214745192 | 249266.66666666666 |
BASE/lightsOnParallel/SC6enA | 8.645451172116941E-4 | 1457.9666666666667 | 1686397.4333333333 |
STANFORD/3puzzle/41ibjA | 8.90546199950492E-4 | 978.6666666666666 | 1098951.0333333334 |
BASE/untwistycomplex2/EDPPAQ | 8.934675785069102E-4 | 2819.366666666667 | 3155533.2666666666 |
STANFORD/threepuzzle/41ibjA | 8.948762894201796E-4 | 972.2333333333333 | 1086444.4 |
DRESDEN/pawn_whopping/4ogBkg | 9.017951888612672E-4 | 741.7 | 822470.5666666667 |
BASE/withConviction/3Xm54A | 9.181906403701772E-4 | 585.7666666666667 | 637957.5666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 9.278824236949415E-4 | 1326.1333333333334 | 1429204.0666666667 |
BASE/tpeg/QNs7Lw | 9.292589686912177E-4 | 336.2221259291357 | 361817.4666666667 |
STANFORD/rainbow/_4qNSQ | 9.306023872174885E-4 | 1452.2 | 1560494.6 |
DRESDEN/tpeg/h-Scbg | 9.519025944436332E-4 | 345.93333333333334 | 363412.5333333333 |
BASE/ticTacHeaven/18n58A | 9.575338581311693E-4 | 342.5552481583947 | 357747.4 |
STANFORD/dualrainbow/G3OnRQ | 9.912035563819088E-4 | 880.2666666666667 | 888078.6 |
BASE/lightsOut/5P1ZBw | 0.001018907134968396 | 649.2116929435686 | 637164.7333333333 |
BASE/ticTacToeSerial/Amrwqw | 0.0010427940525453861 | 544.7666666666667 | 522410.6 |
DRESDEN/Thief_Police/CX18rA | 0.0010618698539914867 | 942.3666666666667 | 887459.6666666666 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.0010736524832086719 | 835.1 | 777812.2 |
BASE/ticTacToeNoVars/XT03NA | 0.0010742282825353614 | 1333.0666666666666 | 1240952.8666666667 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.0010810428442693067 | 945.4666666666667 | 874587.6 |
BASE/blocker/dIWtxg | 0.0010944438575627487 | 1086.1 | 992376.1666666666 |
BASE/lightsOn/MsXu3A | 0.0011089985132992112 | 2296.9666666666667 | 2071208.0666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.001117032957583893 | 939.6666666666666 | 841216.6 |
DRESDEN/lightson2x2/gBHuig | 0.001118940274461192 | 1630.5 | 1457182.3333333333 |
STANFORD/tictactoe3/X7myng | 0.0011283563075105709 | 1266.2 | 1122163.2666666666 |
STANFORD/buttonsandlights/eyhJpA | 0.0011312236081668398 | 3342.5 | 2954765.066666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.001155516115357031 | 888.4 | 768833.9333333333 |
STANFORD/duikoshi/tpw1sw | 0.001161511688711007 | 561.6 | 483507.8333333333 |
BASE/duplicateStateSmall/bCPAXw | 0.0011717575365167252 | 2415.0333333333333 | 2061035.0333333334 |
DRESDEN/catch_me/ghGWrA | 0.0011726364522417153 | 931.7 | 794534.4 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.0011756137387254671 | 1729.0666666666666 | 1470777.8666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 0.0011773656333830666 | 62.36666666666667 | 52971.36666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.001243857513572481 | 452.1333333333333 | 363492.86666666664 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0013068859075384075 | 901.6699443351888 | 689937.7666666667 |
BASE/tictactoe2/bhrDoQ | 0.001308977071674662 | 1641.3666666666666 | 1253930.8 |
STANFORD/sukoshi/4LYZZQ | 0.0013096565230414638 | 1289.9666666666667 | 984965.6333333333 |
BASE/coloredtrails/EZvr7g | 0.0013121975546276426 | 495.2 | 377382.2 |
BASE/blocksWorldParallel/RseaAQ | 0.0013177884474939586 | 573.2808906369787 | 435032.56666666665 |
STANFORD/tictactoe5/WFRReg | 0.0013241947379965021 | 1165.2 | 879931.0 |
BASE/stateSpaceMedium/3bUoIw | 0.001351701884576018 | 1963.5 | 1452613.2 |
DRESDEN/stratego/Z2wovg | 0.001354730295987202 | 222.95180321311912 | 164572.83333333334 |
BASE/stateSpaceLarge/0Ge_CQ | 0.001365158602054169 | 1398.8333333333333 | 1024667.2666666667 |
DRESDEN/statespacelarge/8-y5HQ | 0.0013688423832993015 | 1366.8333333333333 | 998532.3 |
BASE/toetictac/mTThmg | 0.0013775911677122985 | 1534.5333333333333 | 1113925.0666666667 |
DRESDEN/statespacemedium/dVJZ_w | 0.0013788971048518139 | 2007.6 | 1455946.2 |
BASE/blocksWorldSerial/Wyg96Q | 0.001442502312018878 | 1168.8 | 810258.6666666666 |
DRESDEN/toetictac/mJtxCA | 0.001463112989657102 | 1534.4 | 1048722.8333333333 |
DRESDEN/ticblock/Z2yNWQ | 0.0014725224298954172 | 1051.4666666666667 | 714058.1666666666 |
STANFORD/tictactoe7/-bE9-A | 0.0015179619029401102 | 1135.3 | 747910.7333333333 |
DRESDEN/cube_2x2x2/fp-34Q | 0.0015262031624838062 | 426.95243491883605 | 279748.1 |
BASE/ticTacToe/JRFsaQ | 0.001558398342349782 | 1205.7666666666667 | 773721.7333333333 |
DRESDEN/buttons/ADUaHw | 0.0015802021179585149 | 3927.2 | 2485251.7 |
DRESDEN/lightsout/XgLpzQ | 0.0015877295853277882 | 986.3 | 621201.5 |
BASE/switches/tPUoCg | 0.0015883505041831972 | 2004.1333333333334 | 1261770.2 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0015944267797302271 | 1408.8 | 883577.7333333333 |
DRESDEN/lightsout2/LFtfyQ | 0.001603961362905864 | 971.2666666666667 | 605542.4333333333 |
STANFORD/tictactoe/ss1kyQ | 0.0016084671416540376 | 1216.7333333333333 | 756455.2 |
BASE/factoringGeorgeForman/HGRorQ | 0.0016088482021010444 | 3312.6 | 2058988.5333333334 |
BASE/buttons/hTcUjw | 0.0016149625516739148 | 3905.2 | 2418136.566666667 |
BASE/ticTacToeParallel/ymRGPw | 0.0016272094222834032 | 501.2166261124629 | 308022.2 |
BASE/tictactoe-init1/7M19vA | 0.0016358208151526807 | 1385.2666666666667 | 846832.7666666667 |
DRESDEN/javastrike/whONTQ | 0.001649643249520927 | 108.7412936981371 | 65918.06666666667 |
BASE/ticblock/T21C1g | 0.001685398090908182 | 1208.2666666666667 | 716902.8333333334 |
BASE/stateSpaceSmall/Q7osKA | 0.0016947124703745934 | 3171.5 | 1871408.9 |
STANFORD/trifecta/ss1kyQ | 0.001736504906668573 | 1225.0849943337112 | 705488.9333333333 |
BASE/troublemaker02/DI83KA | 0.0017394630798322093 | 3651.0333333333333 | 2098942.7 |
BASE/chickentictactoe/DSlZCA | 0.0017498391109818318 | 1097.6666666666667 | 627295.7666666667 |
BASE/blocksWorld/SEdXLQ | 0.0017507151456828025 | 2709.2 | 1547481.9 |
DRESDEN/statespacesmall/h-NqjA | 0.0017601674010306945 | 3185.133333333333 | 1809562.7333333334 |
DRESDEN/crisscross/GsY16g | 0.001807220377548158 | 207.75974134195528 | 114960.93333333333 |
DRESDEN/blocks/vg0DRw | 0.001817618798033308 | 2641.366666666667 | 1453201.6666666667 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.0018372945313512733 | 1471.2 | 800742.6 |
BASE/numbertictactoe/rvJ-iQ | 0.0018541986826995675 | 814.6666666666666 | 439363.2 |
DRESDEN/troublemaker02/iZLVuA | 0.0018897687399492462 | 3731.7 | 1974686.0666666667 |
BASE/chickentoetictac/l57rfQ | 0.0018945030596435254 | 1527.5333333333333 | 806297.6333333333 |
BASE/circlesolitaire/azuQFQ | 0.0018959241976546058 | 1664.7 | 878041.4333333333 |
BASE/blocks/xIV5hQ | 0.001902152137551689 | 2688.633333333333 | 1413469.1333333333 |
DRESDEN/circlesolitaire/ruUilQ | 0.0019232847442100514 | 1667.0 | 866746.3333333334 |
BASE/brain_teaser_extended/ZDp94A | 0.0019568967399241797 | 1541.7666666666667 | 787863.0666666667 |
DRESDEN/blocksworldparallel/2JfVaw | 0.0019621268289144143 | 843.8666666666667 | 430077.5333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 0.0019786887296984346 | 1486.0666666666666 | 751036.1 |
BASE/troublemaker01/s3tlEQ | 0.001998890368761458 | 4390.133333333333 | 2196285.2 |
DRESDEN/latenttictactoe/kITHKg | 0.0019999103772858845 | 1268.9666666666667 | 634511.7666666667 |
DRESDEN/troublemaker01/C-lPWw | 0.0020048545086500664 | 4369.8 | 2179609.533333333 |
DRESDEN/blocker/S815zQ | 0.0020777128325520366 | 2073.6 | 998020.5 |
BASE/ticTicToe/c1OobQ | 0.0020843548322973257 | 698.0100663311223 | 334880.63333333336 |
BASE/crisscross/ICagEg | 0.002087765483446489 | 209.72634245525148 | 100454.93333333333 |
DRESDEN/blockerparallel/dVQgSg | 0.0021467289127357994 | 423.43333333333334 | 197245.83333333334 |
BASE/blockerParallel/7-nDJA | 0.0021786471856715867 | 419.2526915769474 | 192437.16666666666 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.0022294555437796606 | 340.58864704509847 | 152767.63333333333 |
STANFORD/tictictoe/rpt_Dw | 0.00223059495502463 | 739.5 | 331525.9 |
BASE/cubicup_3player/e2yA_g | 0.002239429652058284 | 177.28818078794748 | 79166.66666666667 |
DRESDEN/cubicup_3player/awDtsQ | 0.0023095301962912825 | 177.64298093587522 | 76917.36666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 0.002405064957218389 | 1833.3666666666666 | 762294.0333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.002405581557557682 | 1834.8 | 762726.1666666666 |
STANFORD/8puzzle/jNiGtw | 0.002406636282117732 | 506.26666666666665 | 210362.76666666666 |
BASE/eightPuzzle/vLrgFg | 0.0024071329372610806 | 496.7167761074631 | 206352.03333333333 |
STANFORD/eightpuzzle/W_aWbA | 0.00240770600063584 | 478.6333333333333 | 198792.26666666666 |
DRESDEN/tictactoe/BTTzPw | 0.00241705807878808 | 1942.4 | 803621.5666666667 |
BASE/doubletoetictac/fu35bg | 0.0025089052171677465 | 1236.7666666666667 | 492950.73333333334 |
DRESDEN/eotcatcit/mQUxzA | 0.0026606878700125725 | 2156.866666666667 | 810642.5 |
BASE/blocks2player/wnTLOQ | 0.0029240731023458984 | 1692.3666666666666 | 578770.3 |
BASE/bunk_t/xbpfIA | 0.002925481604659654 | 1241.3333333333333 | 424317.6 |
DRESDEN/doubletictactoe/lJzgmQ | 0.002956926584806072 | 1269.7666666666667 | 429421.1 |
DRESDEN/bunk_t/7-tPfA | 0.002969758938674922 | 1259.3666666666666 | 424063.6 |
BASE/survival/YVIjJA | 0.0029750704773857926 | 6863.466666666666 | 2306992.966666667 |
DRESDEN/blocks2player/3ev8nQ | 0.002987637476381754 | 1743.8666666666666 | 583694.2 |
DRESDEN/smallest/9kaGFw | 0.002999479585994581 | 34.87674883411059 | 11627.6 |
BASE/eotcatcit/AfZSzA | 0.0030083450194700414 | 2081.1666666666665 | 691797.8666666667 |
BASE/doubletictactoe/HH1htg | 0.0030550969067339 | 1304.4 | 426958.63333333336 |
DRESDEN/chickentictactoe/Ipbo-g | 0.003069932587700237 | 1842.0333333333333 | 600024.0333333333 |
DRESDEN/doubletoetictac/V89gKQ | 0.0030792817796152817 | 1274.3 | 413830.26666666666 |
DRESDEN/tictictoe/LAUtwg | 0.0032216152413055 | 1097.2 | 340574.5 |
BASE/eotcitcit/V_9_bg | 0.0032331637409509085 | 1075.5666666666666 | 332666.93333333335 |
BASE/onestep/xi53wA | 0.0032806774246421895 | 7246.233333333334 | 2208761.3 |
DRESDEN/sum15/CsgWKg | 0.003356821638772284 | 2250.6666666666665 | 670475.5 |
BASE/sum15/QZ07Kg | 0.0033713773750783933 | 2290.266666666667 | 679326.7 |
DRESDEN/tictactoeparallel/yk_DSg | 0.003488698145157306 | 1087.4 | 311692.2 |
DRESDEN/8puzzle/8fKC2w | 0.004116254077956603 | 828.5 | 201275.23333333334 |
BASE/pearls/6k_mEQ | 0.0046482197190717625 | 14334.866666666667 | 3083947.7333333334 |
BASE/haystack/UkweGA | 0.004711707627421486 | 13598.133333333333 | 2886030.8 |
BASE/snakeAssemblit/UO4sdg | 0.005145792123986996 | 209.77902209779023 | 40767.1 |
BASE/coins_atomic/AA3SSw | 0.006109541998281407 | 2793.9666666666667 | 457311.9666666667 |
BASE/coins/QnGtnQ | 0.006441437358570768 | 2747.9 | 426597.3333333333 |
DRESDEN/coins/QwFP9w | 0.0065352220026453234 | 2750.633333333333 | 420893.63333333336 |
Games with errors:
Game | REKKURA_GENERIC_FORWARD_PROVER_OSTD: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 | |
BASE/ruleDepthExponential/UamhHQ | 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 |