index

REKKURA_BACKWARD_PROVER_OSTD:1.0.0 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/merrills/aYEzwA0.00.00.01963093835885355
BASE/merrills/pku8Tg0.00.00.017722012511740833
DRESDEN/othello-cornercontrol/r5Gdlg0.30151966370139130.162786911932280650.5398882113821138
DRESDEN/coins/QwFP9w0.45657059911502351300.12847.5333333333333
BASE/coins/QnGtnQ0.47970323762120541362.13333333333342839.5333333333333
BASE/coins_atomic/AA3SSw0.48195428184692941376.76666666666672856.633333333333
BASE/pearls/6k_mEQ0.59212002369242918797.16666666666614857.066666666668
BASE/haystack/UkweGA0.939444515970458413377.53333333333314239.833333333334
DRESDEN/babel/WdSW4A0.941230295823366682.1447613969608287.27381785464361
BASE/checkLines/Vop7oQ1.1191978368634519331.1333333333333295.8666666666667
DRESDEN/tictactoeparallel/yk_DSg1.1656735634937271297.66666666666671113.2333333333333
STANFORD/untwistycomplex/HTWEwg1.16940605406863092890.96666666666672472.1666666666665
BASE/connectFourLarger/qKi60A1.2032989006031787118.5130904003730698.4901509849015
DRESDEN/ticblock/Z2yNWQ1.21287074231002051469.43333333333341211.5333333333333
BASE/tictactoe2/bhrDoQ1.25842202979067162959.7666666666672351.9666666666667
BASE/cittaceot/fDxhXg1.2823566604751855289.04739684021064225.40327956272498
BASE/connectFourLarge/aU644A1.367851859828794320.0559981333956233.98440103993067
BASE/double_tictactoe_dengji/zgaSbA1.37652460395345581309.1666666666667951.0666666666667
DRESDEN/connectfour/5tc-Mg1.3941310583216886631.8666666666667453.23333333333335
BASE/survival/YVIjJA1.41569529417176510258.67246.333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.43933997565483971064.2739.3666666666667
BASE/ticTacToeNoVars/XT03NA1.45201546618508482090.46666666666671439.7
BASE/sudokuGrade6E/ihYFZA1.4578075171467764177.1121.48380215971204
DRESDEN/doubletoetictac/V89gKQ1.46468170263399871805.36666666666661232.6
BASE/ticblock/T21C1g1.46726615124265861473.96666666666671004.5666666666667
BASE/bunk_t/xbpfIA1.48260254596888251921.71296.1666666666667
BASE/sudokuGrade6H/ieE_9A1.492002179162334185.0271657611413124.01266455590735
DRESDEN/double_tictactoe_dengji/bGaUyQ1.49428407570254241302.7666666666667871.8333333333334
DRESDEN/latenttictactoe/kITHKg1.49628399531756171832.11224.4333333333334
DRESDEN/endgame/IJhh3Q1.496797233352614337.7528239645463325.22240362509579
BASE/sudokuGrade5/BQfUQA1.497627958508308185.4938168727709123.8584094393707
BASE/factoringGeorgeForman/HGRorQ1.49777377607155575045.93368.9333333333334
DRESDEN/doubletictactoe/lJzgmQ1.50632781414452581955.96666666666671298.5
BASE/doubletoetictac/fu35bg1.5153626105843091907.03333333333331258.4666666666667
BASE/blockerParallel/7-nDJA1.5299403994997824652.111596280124426.23333333333335
DRESDEN/bunk_t/7-tPfA1.5342615200789651968.86666666666661283.2666666666667
BASE/connectFour_9x6/B9TtMw1.534783139262531509.6333333333333332.0555981467284
STANFORD/sudoku/oJ1qyQ1.540113701507963186.02713242891903120.78792120787921
BASE/sudokuGrade2/u80Tfw1.5411377965085713188.47487001733103122.2959234692177
BASE/sudokuGrade3/eI8dvg1.545813177707882189.06036465451152122.30479554770554
BASE/sudokuGrade4/DTy07w1.548126272899026188.21451188214513121.57568486302739
BASE/doubletictactoe/HH1htg1.54893881676125321992.41286.3
STANFORD/connectfour/VMpZkQ1.57741565301752568.3954403039797360.3333333333333
BASE/sudokuGrade1/tDRNRw1.587649523154674192.78714752349845121.42928569047699
DRESDEN/Zhadu/9zpQ5w1.598787220856973640.97132007594683525.626499600106637
BASE/wargame03/klXI8w1.6107768668190163.2580870374680012.022680549108031
DRESDEN/blockerparallel/dVQgSg1.6147963038798763683.4666666666667423.2525582480584
DRESDEN/lightson2x2/gBHuig1.6245128449852862723.33333333333351676.4
DRESDEN/pawn_whopping/4ogBkg1.63104224143642741094.0666666666666670.7776407453085
DRESDEN/chickentictactoe/Ipbo-g1.63388552579113363004.93333333333341839.1333333333334
DRESDEN/tictactoelarge/IwXcbg1.6698694547472331905.93333333333341141.3666666666666
BASE/ticTacHeaven/18n58A1.6775759755439668621.9333333333333370.73333333333335
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.6849292584319104770.5743141895271457.3333333333333
DRESDEN/tictactoelargesuicide/6J4DeA1.68701216712580381959.63333333333341161.6
BASE/eotcatcit/AfZSzA1.70638394336233823261.8666666666671911.5666666666666
BASE/zhadu/DlA8iQ1.727494343990599639.38687104298567522.8
BASE/connectFour/WAIKTw1.7345321891757077618.1666666666666356.3881203959868
BASE/blokbox_simple/JBx4bg1.73541216009908357.1323823490201314.1099068642073515
DRESDEN/tictactoe/BTTzPw1.7357548660369113442.2333333333331983.1333333333334
BASE/nonogram_5x5_1/qLKEZw1.756181318681318485.2049316894368548.51716094635122
BASE/ticTacHeavenFC/mrletw1.783603828547649571.4666666666667320.4
DRESDEN/minichess/c7GMFw1.79573214036621202.0131320201313112.49625012499584
BASE/skirmishFinal1/ecWTnQ1.800263805270368826.31754280764874614.618714618714618
BASE/dualConnect4/WbCQkg1.815910518246152349.57669488700753192.50766564458073
BASE/wargame02/BkVqqQ1.82078207155534473.9910865733195862.191962803055463
DRESDEN/minichess-evilconjuncts/th24Tw1.827494534652017206.47247033728837112.9811698050325
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.83740351765152491936.13333333333341053.7333333333333
BASE/wargame01/_GZFZg1.84532976263512774.0839365163689492.213120169122019
DRESDEN/sheep_and_wolf/enAIzQ1.8560266933291647620.3459884670511334.23333333333335
DRESDEN/eotcatcit/mQUxzA1.86172352016379653394.66666666666651823.4
BASE/lightsOnParallel/SC6enA1.866621859645872684.71438.2666666666667
BASE/pentagoSuicide/SBgNhw1.8680798802069152228.7122.42517165522298
BASE/minichess-evilconjuncts/4OpQzw1.8761536171479607210.05266315578962111.95920271981868
BASE/pentago/86NgKw1.878599739339131227.08486100926604120.8798533577737
STANFORD/pentago/ZxzLmg1.8860614075088888239.70137315024664127.0909696767744
DRESDEN/towerworld/HCX34w1.901097533404210232.6148515841023417.155801325826975
STANFORD/tictactoe3/X7myng1.91515327235825922421.96666666666671264.6333333333334
BASE/strangeSkirmish/gc1zKA1.934967999871032525.98700649675162613.430199620088645
DRESDEN/skirmishfinal/hzq8ww1.942461197339246328.4552845528455314.649087761353043
BASE/minichess/8NQEiA1.9530618466898952224.16666666666666114.77704459108179
BASE/endgame/jYjfOA1.960696728846793872.0546575570738236.749516892117015
BASE/skirmishFinal3/-Olhfw1.96433584720402831.77246386465063616.17465969980364
BASE/skirmishFinal2/gdB62Q1.986540940273070329.6587576646227714.929849701736261
BASE/onestep/xi53wA1.989317871033049714935.5333333333337507.866666666667
BASE/buttons/hTcUjw1.99734910277324647836.03923.2
BASE/skirmishHoles/AUCxCA2.012628952885903431.15939614090045515.481937739304145
BASE/ruleDepthLinear/OUBJpQ2.0133586245863271662.9825.9333333333333
DRESDEN/cubicup/SBn_lw2.0332141793267797455.03333333333336223.8
BASE/cubicup/4wNWJA2.0347645223592337456.5181160627979224.35918802706576
BASE/tpeg/QNs7Lw2.064601849047078726.9666666666667352.1098593427105
DRESDEN/battlebrushes/QHXV4A2.0654726268875140.365861770770970540.1771322292091046
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2.06720499631215441.13987949845302070.5514109633473889
DRESDEN/buttons/ADUaHw2.0734680645959348101.83907.366666666667
STANFORD/sukoshi/4LYZZQ2.0761790261762942532.81219.9333333333334
BASE/connectFourSimultaneous/7ITr3g2.077511956097983477.5507483083897229.86666666666667
BASE/ticTacToeParallel/ymRGPw2.09051348999129651040.8666666666666497.9
BASE/nonogram_10x10_1/0Xc62g2.090785903609078625.14319968029838712.025717045870948
BASE/simultaneousWin2/PfjRjw2.09220441156322771018.0666666666667486.6
DRESDEN/brain_teaser_extended/ZDp94A2.094449388933513216.16666666666651535.5666666666666
DRESDEN/peg/Vo31eg2.1042754720543804742.9353.0431304579695
STANFORD/duidoku/3SoMaA2.1051085978595427161.8450873216904476.88206085246776
DRESDEN/tictactoe-init1/3ltIBQ2.13620046289735973015.03333333333331411.4
BASE/brain_teaser_extended/ZDp94A2.1453010198486683260.51519.8333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.1475280004873887587.4333333333333273.53931273539314
DRESDEN/peg_bugfixed/u_B7MA2.1607313804327015752.3666666666667348.2
BASE/tictactoe-init1/7M19vA2.17354679802955662941.53333333333331353.3333333333333
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.17471254543229441.1888643043492620.5466765282824709
STANFORD/tictactoe5/WFRReg2.17622584608511142597.83333333333351193.7333333333333
DRESDEN/cubicup_3player/awDtsQ2.19057226705796398.0867304423186181.72727575747476
DRESDEN/tpeg/h-Scbg2.198850118953212739.4336.26666666666665
DRESDEN/amazons/dNB28A2.203490637973396312.1155638397017715.498350494851545
DRESDEN/sum15/CsgWKg2.221757444141615081.2333333333342287.0333333333333
BASE/untwistycomplex2/EDPPAQ2.28651672021896966404.5333333333342801.0
BASE/lightsOn/MsXu3A2.29129339101807755243.1666666666672288.3
BASE/chickentictactoe/DSlZCA2.31431734747392342647.7333333333331144.0666666666666
BASE/ticTacToeSerial/Amrwqw2.3161866518969821115.1666666666667481.46666666666664
STANFORD/untwistycorridor/EDPPAQ2.34480523451354466390.7666666666662725.5
STANFORD/duikoshi/tpw1sw2.34531223218876761368.3333333333333583.4333333333333
BASE/cubicup_3player/e2yA_g2.346526216147748403.953201559948172.14945172149453
DRESDEN/sat_test_20v_91c/dK7nVw2.3486766398158805476.2174594180194202.75990800306656
BASE/sum15/QZ07Kg2.3555582867326255110.9333333333332169.733333333333
BASE/ticTacToeLargeSuicide/727_8g2.3697959183673471645.0333333333333694.1666666666666
STANFORD/tictactoe/ss1kyQ2.38808440215142742886.01208.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.4061895551257253497.6206.8
BASE/ticTacToe/JRFsaQ2.4110216546363132894.83333333333351200.6666666666667
BASE/ticTacToeLarge/TZC0dg2.4134847837906991676.8333333333333694.7768407719743
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.414705404966726495.9205.36666666666667
STANFORD/trifecta/ss1kyQ2.4216607695709862920.21205.8666666666666
BASE/lightsOnSimultaneous/_VN6lw2.42714443060381551234.0508.4163861204627
DRESDEN/circlesolitaire/ruUilQ2.4329408499841424091.2333333333331681.6
DRESDEN/tictictoe/LAUtwg2.47124368468406132380.4666666666667963.2666666666667
BASE/circlesolitaire/azuQFQ2.48052210458255874092.21649.7333333333333
DRESDEN/troublemaker02/iZLVuA2.48208241027913179336.7666666666663761.6666666666665
BASE/asteroidsSerial/id2QkA2.497259496124031744.4666666666667298.1134591027265
DRESDEN/troublemaker01/C-lPWw2.50074286516812411277.2666666666664509.566666666667
BASE/troublemaker01/s3tlEQ2.503265154782713611027.1333333333334405.1
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.503483309491731380.40797280181323151.9514715195147
STANFORD/tictactoe7/-bE9-A2.50467070778060872851.06666666666661138.3
BASE/snakeAssemblit/UO4sdg2.510554445632276515.6828105729809205.4059458738835
BASE/blocksWorld/SEdXLQ2.53695503253902246913.0333333333342724.9333333333334
BASE/blocks/xIV5hQ2.5402722772277236841.82693.3333333333335
BASE/troublemaker02/DI83KA2.5403614018453019287.93656.133333333333
DRESDEN/Thief_Police/CX18rA2.55453917846047672466.8333333333335965.6666666666666
DRESDEN/javastrike/whONTQ2.5572014925646798278.9054427890544109.06666666666666
DRESDEN/blocks/vg0DRw2.5574701219966716862.0333333333342683.133333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.559634524392233522.9333333333333204.3
BASE/rubiksCube/9tNO9Q2.56317257871662214.3666666666666783.63333333333334
BASE/duplicateStateSmall/bCPAXw2.5765325042074346021.72337.133333333333
BASE/numbertictactoe/rvJ-iQ2.5787790697674422069.9802.6666666666666
DRESDEN/statespacelarge/8-y5HQ2.5962371282840923597.01385.4666666666667
BASE/factoringEasyTurtleBrain/lUj94Q2.59975649610714182704.71040.3666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.6042547341650342525.866666666667969.9
BASE/withConviction/3Xm54A2.61521350823279471531.7666666666667585.713809539682
DRESDEN/catch_me/ghGWrA2.61636527402480422517.4666666666667962.2
DRESDEN/CatchMeIfYouCanTest/CX18rA2.62003151812292062493.8333333333335951.8333333333334
DRESDEN/skirmish2/iPpWhQ2.622002798904900645.5530007664367417.373360846701726
DRESDEN/chickentoetictac/cxYaRQ2.6226326076700143891.21483.7
BASE/eotcitcit/V_9_bg2.62699373767429022530.9333333333334963.4333333333333
DRESDEN/connectfoursuicide/M9CNQg2.6271420949647792671.3255.524815839472
BASE/firefighter/WJmoPw2.62873437448191272642.66666666666651005.3
BASE/alexChess/LNo83g2.640031030042252714.1215653621981695.349014917439118
BASE/duplicateStateMedium/U163eQ2.64080084299262372088.4333333333334790.8333333333334
DRESDEN/statespacesmall/h-NqjA2.64230515599884578548.0333333333333235.0666666666666
BASE/stateSpaceSmall/Q7osKA2.64775471030964268736.2666666666663299.5
DRESDEN/oisters_farm/pTQMLg2.6625671604708222857.7333333333331073.3
DRESDEN/skirmish/RjGQYQ2.672155528032689643.7824870051979216.38470760623418
BASE/blocks2player/wnTLOQ2.68431503579952274686.3666666666671745.8333333333333
BASE/duplicateStateLarge/dcjyuw2.6963386934721223744.9085030498983276.26666666666665
DRESDEN/statespacemedium/dVJZ_w2.7060038253863475328.9333333333331969.3
BASE/stateSpaceLarge/0Ge_CQ2.70760548239720533694.16666666666651364.3666666666666
BASE/blockerSerial/3eqDuw2.71124380737538961.4333333333333354.60969268715417
DRESDEN/blocks2player/3ev8nQ2.7125104205036744663.81719.3666666666666
BASE/chickentoetictac/l57rfQ2.7375629170080773897.83333333333351423.8333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.7403708406690144415.03333333333336151.4515215145152
DRESDEN/frogs_and_toads/GjchhQ2.752388824687883223.1443522314435281.07297567477508
BASE/asteroidsParallel/WauZiA2.753628628628629733.5666666666667266.4
DRESDEN/firefighter/WJmoPw2.75767747939377862765.7666666666671002.9333333333333
BASE/asteroids/BKCmPQ2.7616030646824811249.5333333333333452.46666666666664
BASE/pacman2p/4LEdQg2.76538195185821659.7547157235219621.608123855501916
BASE/stateSpaceMedium/3bUoIw2.7736382494646685526.5666666666671992.5333333333333
DRESDEN/snake_2009/zIYLVw2.7804337473290595462.6333333333333166.38890740617293
BASE/snake_2009_big/-oRfVw2.7879717171717173386.4138.59538015399485
DRESDEN/snake_2009_big/DgC1NQ2.793289655172414383.4137.25751616558895
DRESDEN/lightsout/XgLpzQ2.79378578364080752781.4995.5666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.799012829845314410.06666666666666146.50403252682796
DRESDEN/blocksworldparallel/2JfVaw2.8130646032031672605.366666666667926.1666666666666
BASE/connect5/d-BVQg2.814112900770596517.9099518192390766.364333077871447
BASE/lightsOnSimul4/9FeASw2.8344716150468731061.5333333333333374.50836610892605
DRESDEN/8puzzle/8fKC2w2.84093137254901952318.2816.0
BASE/blocksWorldSerial/Wyg96Q2.8428331271608462987.53333333333331050.9
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.84802024965326479.1168.22211852543163
DRESDEN/aipsrovers01/qS47Mw2.86395999321918951126.3393.26666666666665
DRESDEN/pentago_2008/hLjVpQ2.8705023436224075390.56666666666666136.06213126229125
DRESDEN/battlesnakes2011/93VtTw2.8711567671160454724.0333333333333252.17478252174783
DRESDEN/battlesnakes1509/-qZrLw2.871720116618076722.3333333333334251.53333333333333
DRESDEN/ggp-course2013_nicolai/uEin8g2.87447840555947976.6948870075328326.681323073848308
STANFORD/buttonsandlights/eyhJpA2.8746834703338669838.73422.5333333333333
STANFORD/nineboardtictactoe/y28P-A2.889009120420467622.9666666666667215.63333333333333
DRESDEN/pacman3p/rBnk8Q2.88912305604256664.826850648268522.438244889806246
BASE/pacman3p/wW7UVQ2.890774998226772862.9832044788056521.787653662924342
BASE/englishDraughts/jFkQxg2.893612614656143256.682887807479588.70672131693826
BASE/pawnWhopping/Ypc_6Q2.897330850403476777.9333333333333268.5
BASE/nineBoardTicTacToe/wRmqqA2.904551201011378612.6666666666666210.93333333333334
BASE/factoringMediumTurtleBrain/8RBqmQ2.90752910884114121375.7473.15089497016766
BASE/tictactoe_3d_2player/IUC1rQ2.9084123771009285139.843359440093348.08236979774083
BASE/incredible/8Qh-6Q2.9118734348292722441.8838.5666666666667
DRESDEN/grid_game/U7_Yeg2.919963808418828569.4143528549048195.00733235568592
BASE/snake_2009/7l-qAQ2.924353477665753472.3175894136862161.51179842687642
BASE/switches/tPUoCg2.92765917039897476166.3333333333332106.233333333333
BASE/skirmish/Y_psYQ2.934634335256676623.630182642314368.052172755706396
BASE/aipsrovers01/4C4jsw2.9367834892527011171.9333333333334399.05336488783706
DRESDEN/gt_chicken/CeuKtw2.955494351995288476.0507983067231161.0731544742543
BASE/blocker/dIWtxg2.95927002583979353053.96666666666671032.0
BASE/tictactoe_3d_small_6player/g_9lww2.96384000444741592.3333333333334199.8533431104593
DRESDEN/tictactoe_3d_small_2player/HYttcg2.983417085427136791.6265.3333333333333
DRESDEN/toetictac/mJtxCA2.98353592860440034524.3333333333331516.4333333333334
BASE/mummymaze2p/vpjDdA2.989982781070039745.2182605798067315.123251165889407
DRESDEN/mummymaze2p/k-8edg2.990728535579433545.424248483636615.188355594044566
DRESDEN/tictactoe_3d_small_6player/llDEDQ3.004237978810106614.3666666666667204.5
BASE/tictactoe_3d_small_2player/oOryKA3.00758990825688797.6333333333333265.20681265206815
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.007949293094073491.6666666666667163.45576961535897
DRESDEN/tttcc4/sAvtFg3.02466413004450791.0363212262579130.097993467102192
BASE/coloredtrails/EZvr7g3.02804404145077741558.4333333333334514.6666666666666
DRESDEN/lightsout2/LFtfyQ3.03206289523158472956.766666666667975.1666666666666
STANFORD/selectivesukoshi/3xmXYg3.0331258660321367404.08653044898506133.22445170321978
DRESDEN/cube_2x2x2/fp-34Q3.0337979339181771233.4406.55311489617014
STANFORD/jointbuttonsandlights/qAKuIQ3.0456870741884534306.51413.9666666666667
BASE/blocksWorldParallel/RseaAQ3.04849604526297521760.1577.3666666666667
DRESDEN/stratego/Z2wovg3.057851588064078675.3774874170861220.86666666666667
BASE/toetictac/mTThmg3.07219507841956174590.1666666666671494.1
BASE/catcha_mouse/cHv4dw3.0760744210182961152.5666666666666374.68751041631947
DRESDEN/logistics/fPru1Q3.07693175469143883.5333333333333287.14752349843343
STANFORD/multiplesukoshi/vLSQPg3.097227170672782380.3539882003933122.80467890825474
DRESDEN/blocker/S815zQ3.1188846982758623859.11237.3333333333333
DRESDEN/catcha_mouse/cHv4dw3.12049549549549531200.7666666666667384.8
BASE/tttcc4/8Bs2lg3.13518370017169391.8302723242558629.290236587804067
BASE/ticTicToe/c1OobQ3.1371583116005022165.266666666667690.2
BASE/slidingpieces/uFJWEw3.143741450188052798.6666666666666254.0497300179988
DRESDEN/slidingpieces/s9_44g3.1467475477542597812.7258.26666666666665
DRESDEN/capture_the_king/EQ229Q3.160379590441891745.84527220630372614.506254990684056
BASE/connect4/50bOyw3.1620502679938745550.6174.12752908236394
DRESDEN/gt_prisoner/huCp4w3.162466428795081644.6785107163095203.85307646156923
STANFORD/tictictoe/rpt_Dw3.18481266088282982227.0333333333333699.2666666666667
BASE/ttcc4/Le0qjQ3.19193354188213194.3685438187270929.564695686954202
BASE/hodgepodge/9yjRkw3.19384306508281763181.6996.1666666666666
DRESDEN/tictactoe_3d_2player/LMuX9w3.214295696576157146.5568962069195345.59533721898418
DRESDEN/connect4/T0-rHQ3.227595454545454565.6333333333333175.24914175249143
DRESDEN/CephalopodMicro/H3XQfg3.26936308894980383.9470790148965325.676890798281548
BASE/ttcc4_2player_small/Cv72TA3.283998389531958217.4666666666666766.22008931547023
BASE/tictactoe_3d_6player/d7KSwg3.2890481351452774141.200386576465542.93047130191321
BASE/checkersTorus/2vm1EQ3.30307907627711763.7808657402779219.309518260811664
STANFORD/madness/UO_B3A3.3032143213655877.619871560243572.306805074971165
DRESDEN/chinesecheckers1/Y-ftaA3.3057381417658553620.2459918002734187.62707909736343
BASE/gt_prisoner/klthDw3.3064270169394203511.76666666666665154.7793627516331
DRESDEN/ggp-course2013_jordi/9QI6Kw3.3156461254890512300.879941337244290.74549271836571
BASE/maze/cCX3qQ3.32469823072259276032.01814.3
BASE/gt_chicken/gmepTQ3.335078003120125427.5128.18290894547394
DRESDEN/brawl/2kXtfQ3.33902947733395739.49605039496050611.828601892576303
BASE/nineBoardTicTacToePie/B8LzeQ3.344694680851064764.9666666666667228.71046228710463
BASE/conn4/va9Y7A3.36056710911911741299.6386.7204426519116
DRESDEN/tictactoe_3d_6player/ulZPWg3.3683496181308206128.6623779207359638.197453503099794
BASE/brawl/6Ymo_Q3.37221476637826839.30974748484242611.656952539550375
BASE/mummyMaze2p_2007/YGA3Vw3.37657864523536298.0039321536872329.02462594554967
DRESDEN/tictactoex9/rFkD4w3.390223663444927806.7333333333333237.95873470884302
BASE/factoringImpossibleTurtleBrain/kcBhdw3.39269654626236612.8072918399254853.7749594357429053
DRESDEN/point_grab/r5DPmQ3.4123565710886974589.7333333333341345.0333333333333
BASE/lightsOut/5P1ZBw3.41785336889246732264.1662.4333333333333
STANFORD/skirmish/w4V6Vw3.4194469437779568.1644894694748072.3876637373569887
DRESDEN/2player_normal_form_2010/NG_Kdg3.4206302138931725767.8666666666671686.2
STANFORD/3puzzle/41ibjA3.45056753307811143425.0333333333333992.6
DRESDEN/connect5/1kYzSg3.457827513436689620.6209607568792075.963559685018615
BASE/tictactoe_orthogonal/WRzlVw3.47004336335411744507.9333333333331299.1
BASE/eightPuzzle/vLrgFg3.4807259848385261765.1333333333334507.1164294523516
BASE/qyshinsu/R08Lzw3.489657041297897210.412292104122960.29598026798214
BASE/breakthroughSmallHoles/bxclRw3.50537106110462471100.7666666666667314.0228659044698
BASE/tictactoex9/BI26ow3.5213590864232343832.5666666666667236.43333333333334
BASE/connectFourSuicide/c8p9Kw3.5314429012345685610.2129929002367172.7942401919936
DRESDEN/tictactoe_orthogonal/y69QFQ3.5499059855844564531.11276.4
DRESDEN/mummymaze2p-comp2007/oTQRQg3.5587493684667773101.7395361237003528.58856457417033
DRESDEN/skirmish3/3LU8Nw3.578290290254208659.99200106652446616.76554896340244
BASE/gt_staghunt/xPjLRA3.580371115582383533.8155394820172149.09503016566114
BASE/hidato37/pBrqxw3.592822947277071463.2164756065049317.595210377515382
STANFORD/threepuzzle/41ibjA3.59865150173670223522.6978.8666666666667
STANFORD/8puzzle/jNiGtw3.59868905089960521793.4666666666667498.3666666666667
DRESDEN/4pttc/9pB9AQ3.6198207896857375299.482.71127699280191
BASE/checkersTorusNoKings/pwb6oQ3.62090936082477483.463884537182123.050531294760333
STANFORD/checkersonabarrelnokings/Zrevdw3.637178233952427286.1436950146627523.68421052631579
BASE/hitori/S8Gsyg3.6414136422701741.05419206061604350.28950077200205865
BASE/cephalopodMicro/9l2D3g3.655306718597857676.9230769230769221.044219499200853
STANFORD/eightpuzzle/W_aWbA3.67916494986952361785.8666666666666485.4
DRESDEN/knightthrough/J7Fc_Q3.6882291567864933124.5376078914919933.76623376623377
BASE/checkersBarrelNoKings/rnKNeg3.69193095225542488.7637078764041324.04262404262404
BASE/gt_coordination/IVMOzA3.693239482730398752.0666666666667203.63333333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw3.6943394968595387130.4289857004766635.3050892619238
DRESDEN/knightwar/7hhAqg3.6988636363636367564.1811939602013152.5282490583647
BASE/mineClearingSmall/frsbvw3.727992379216264255.1496566895540468.44157142381127
DRESDEN/tictactoe_3player/ESLQQQ3.7399433756805807961.6257.11619225384976
BASE/chess_200/XsTpYA3.74975892255892312.2666666666666673.2713214155899943
BASE/snake2p/I3wWPQ3.75762655045256461120.9298.3
DRESDEN/breakthrough/z4hK7Q3.760875534828702133.5110814864189335.5
DRESDEN/hitori/S8Gsyg3.763829895372731.11089328889760170.2951497064900141
DRESDEN/3pttc/uwYBZw3.786917095050902834.8333333333334220.45196986867543
STANFORD/rainbow/_4qNSQ3.8089240251909425685.21492.6
DRESDEN/breakthroughsuicide/Y9QzqQ3.8242450045829512139.0333333333333336.35575993868506
BASE/four_way_battle/xSOQXA3.82851232247979576.3524794625336751.659255326209597
DRESDEN/pawntoqueen/f_x6Aw3.82997691919271334.8135975832420411.2568215644121052
DRESDEN/battle/8oAvhQ3.84151430434762763.63708504166115580.9467841984982044
BASE/breakthroughSmall/HJ0tIA3.842663739480425350.054998166727891.09696343455218
BASE/knightazons/apnJBQ3.843185175438596648.6333333333333312.654434047087815
BASE/choicethroughalt/tt71Lg3.85893391973779294.5810837832433624.509640680675346
DRESDEN/knightazons/02I8BQ3.862550724391094448.3140077302412412.508316699933467
BASE/pawnToQueen/-O1_JA3.86562297987163244.9557639858976921.282009138424115
BASE/beatMania/qUHwvQ3.87733060523321931893.3666666666666488.3170560981301
DRESDEN/3pffa/0YrmQw3.922824558662709837.0213.36666666666667
BASE/battle/8oAvhQ3.93523400980503933.6578877361000270.9295222919363941
DRESDEN/grid_game2/kypTYQ3.94774314649081461676.1424.57169522031865
DRESDEN/four_way_battle/xSOQXA3.9578756580262546.5302858665955881.649947201689546
BASE/breakthroughWalls/vOZaYA3.968247394711422123.9044223014629931.223966143490287
STANFORD/dualrainbow/G3OnRQ3.972034051802213654.9333333333334920.1666666666666
BASE/breakthroughSuicideSmall/XSbJog3.975790856102004363.791.47865498050454
STANFORD/bestbuttonsandlights/nm0wEA4.0171237530917894926.4666666666661226.3666666666666
BASE/majorities/ibJzSQ4.061983371962808404.073061795880399.47678874929183
BASE/breakthrough/TGxk-g4.0665211836943128.603325890625531.624900026659557
BASE/futoshiki4/BaCwSw4.0701492619926191397.1343.25522482583915
BASE/3pConnectFour/PqXOFQ4.076795994993742760.0186.4209052729818
DRESDEN/knightstour/cGISAA4.0902279113331252183.5533.8333333333334
STANFORD/chinook/osFbPA4.102098225322742588.8703765411529521.664614463043694
STANFORD/multiplebuttonsandlights/cK70Yg4.1032752387632875069.7333333333341235.5333333333333
BASE/gt_centipede/9fRMpw4.1201469772601221980.9666666666667480.8
BASE/futoshiki5/TJ4BZg4.124670054363376800.7666666666667194.14078122916945
BASE/gt_dollar/TGjqRw4.13971591770712252729.866666666667659.4333333333333
BASE/futoshiki6/JmvXNA4.14784902247105552.2815906136462133.1489134782029
BASE/shmup/ssTNlg4.150539956803456640.5666666666667154.33333333333334
DRESDEN/ghostmaze2p/HY0UwA4.152266819864175134.0288657044765232.278481012658226
BASE/golden_rectangle/_nYzfw4.155894303797469437.6666666666667105.3122708791575
BASE/breakthroughSuicide/wZDpIg4.161219307450158132.131.74550299800133
STANFORD/ttcc4/Cx9SGw4.16341288956139192.9147503832566922.316967557124777
STANFORD/triplesukoshi/Iu9mbA4.171695549120551296.4333333333334310.7689231076892
STANFORD/multiplebuttonsandlights_9/SqB9BA4.1746048840903595168.31238.0333333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g4.18262025176270853776.766666666667902.9666666666667
BASE/breakthroughHoles/nZk0Sg4.191116678706899129.4623512549581830.889703432189272
BASE/chinook/XQh0IQ4.22844248106814395.7776518812277122.65081109889744
BASE/tictactoe_3player/GtM71g4.236053403891737853.7333333333333201.5397946940408
BASE/ghostMaze2p/W-NU-w4.253161531672919130.2869713028697230.632970399227517
BASE/knightfight/SJRkAg4.26548471429625151.9246792201299812.173218918379565
DRESDEN/knightfight/4_Ly4w4.26929522344679151.5931209172110412.084692722551434
DRESDEN/ggp-course2013_michal13/jWKddg4.278457486878666461.9107.95946936870875
BASE/snakeParallel/RCVNtw4.3128296371608312262.366666666667524.5666666666667
BASE/hidato19/rRHSmA4.315470417070805593.213559548015137.46208459718008
BASE/skirmishNew/sibw2g4.31724500639657923.773848766357015.506717531929009
STANFORD/alquerquezero/uVgA_A4.4006530126582275289.765.8311389620346
BASE/bomberman2p/4CClwA4.427761896707525126.1873812618738128.49913437208683
DRESDEN/bomberman2p/x4h6jQ4.4579728318530965128.2410184629740728.766666666666666
BASE/point_grab/V_osUg4.4721407624633433355.0750.2
BASE/ttcc4_2player/_aH_Mw4.50109566489027793.5386050851411320.781296832850433
STANFORD/dualhunter/1rPZjQ4.53388089621108751550.2333333333333341.9219359354688
BASE/speedChess/bPnisA4.58919046200485323.2062593640752445.0567217804983535
BASE/pegEuro/5awwhg4.632880823866612310.989633678877467.12662067126621
BASE/ttcc4_2player_alt/ZEJvYA4.66998300794712290.8030656447850619.44398202097553
BASE/peg/fJHVWw4.746870019586918317.322755908136466.84884030925086
STANFORD/breakthrough/d5j0cQ4.7489810017574685900.6333333333333189.64770189647703
BASE/gt_attrition/kD_SCA4.7686083082164861.17939981653780630.24732578989674148
STANFORD/platformjumpers/HEQskA4.79117025903065725.5940280601193075.3419157901722025
BASE/chineseCheckers2/eCMR3Q4.802915747273894499.03333333333336103.90216268452798
STANFORD/hunter/14dD-g4.8740337120108752230.9333333333334457.7180760641312
DRESDEN/checkers-mustjump-torus/cVc3gA4.8923570730799651.07456854444806260.21964229683087544
BASE/chineseCheckers3/-1rZdQ4.902812606592259362.2212592913569473.88029858704346
DRESDEN/checkers-mustjump/HUr33w4.9850528025995131.13728675873273750.2281393605579637
BASE/chineseCheckers4/avfBcQ5.076212637931937295.903742959037458.29222770297294
DRESDEN/Runners/3bOCQw5.0832360164096761197.7235.6176254916339
BASE/tron_10x10/7ZTgDg5.118525494416791268.2247.76666666666668
STANFORD/multipletictactoe/_bkafQ5.189810810933551807.3730875637478155.56888622275545
BASE/hex/T1MK8g5.264066231201024128.0581294580361224.326846174353506
BASE/amazons_8x8/7SOsIw5.30530731135253250.098330055664819.44305901911887
STANFORD/hex/MTqWcw5.3282851598173515129.6333333333333324.32927845359107
BASE/escortLatch/mX9BjQ5.331632834055971450.833333333333384.55821084558211
BASE/hexPie/48CH6Q5.367790974854549129.6913539097393524.161029093211585
BASE/knightsTourLarge/M8jgLA5.406444340505145577.8333333333334106.87862427514497
STANFORD/knightstour/cEwgNA5.4388581945941631513.5333333333333278.2814479034731
DRESDEN/mimikry/GJEhwA5.445553184552922812.8395720142662149.26666666666668
BASE/chineseCheckers6/rREH3A5.448536900621831241.8586047131762244.38964241676942
BASE/amazonsSuicide_10x10/XIbQkg5.45961579040892121.756513626974083.9849898714840766
BASE/quartoSuicide/-23jUg5.50910414097307821.932602246591783.9811558622520073
BASE/knightwar/DVGY4Q5.533496669193879167.9554696353576430.352502165656027
BASE/knightsTour/mvtVIg5.54343202017775651538.3333333333333277.5055827750558
STANFORD/pilgrimage/ObRZnQ5.575267663599182242.2333333333333243.44783926964982
DRESDEN/quarto/OQzRYQ5.585521107988852522.372407364250764.0054288457082325
STANFORD/knightstourmedium/x1wu8Q5.60065852566075151819.9666666666667324.95583480550647
BASE/knightThrough/gcwFjA5.66341846413210865.3159157557984611.532948901703277
BASE/amazons_10x10/Bun8dA5.6742130133896821.240470086892833.7433332229105245
DRESDEN/quartosuicide/WIU1oQ5.69723886121587123.1117623551352054.056660238079404
STANFORD/freeforall/Lfp40Q5.730963231483493473.601759882674582.63912029323559
STANFORD/knightstourbig/TQUI2g5.812993056957599445.0518316056131376.56156256249584
BASE/quarto/EwBMVQ5.82997825722211922.3621942278211033.8357251504530123
BASE/checkers-mustjump-torus/uSApKQ6.013957661759338.7733873915788771.458837571698551
BASE/chineseCheckers1/gqtwHw6.073526394304254802.8399053364888132.1867813218678
BASE/max_knights/2fq3Ag6.213617655865626.88691486176265061.1083583257269527
DRESDEN/backgammon/mqCW0Q6.252629019513859308.7460835944270349.3786026055376
BASE/3pttc/0sol9g6.42525167059256137.9241383907739521.465951134962168
DRESDEN/max_knights/hCipiA6.5700840126434886.8541008151721851.04322879311469
BASE/4pttc/AL1k2Q6.62154402668791594.7540327956272514.309960398016573
BASE/2pttc/unkkYA6.64240733361613206.3862409172721831.071000399627014
BASE/sheepAndWolf/g4THrg6.733385093526745132.4534213245342219.671148981493808
DRESDEN/golden_rectangle/1uloXw6.84594246858438439.2520249325022564.16238917405506
BASE/checkers-cylinder-mustjump/rjr6qQ7.7221541945466289.890768615958441.2808302407304017
BASE/2pffa/6oHijA8.206858892111354580.713976200793470.7595907075959
BASE/3pffa/pR0dzA8.237769055092881512.716242791906962.239696131676276
BASE/chomp/-LcqYQ8.3196350282485871865.2224.19252691576946
BASE/amazonsTorus_10x10/Uxc08g8.33921263306570612.7812541605645061.532669176690101
DRESDEN/chomp/-LcqYQ8.386853275748851844.7666666666667219.9593346888437
DRESDEN/kitten_escapes_from_fire/uW-YiA8.444260616740086638.875.64901522977972
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw8.47531348279179610.3699272110878451.2235449735449735
BASE/kitten_escapes_from_fire/uW-YiA8.47845071830939634.845505149828374.8775367389783
BASE/4pffa/Q3ADlg8.60832106887831466.3689087394173554.17652350648053
BASE/2pffa_zerosum/o0_uZA8.802579703483568557.348088397053463.31644894694748
DRESDEN/cylinder-checkers/clOO3Q8.8721646287435782.45879851143009050.27713625866050806
BASE/othello-comp2007/86ZoMw9.14158079141580920.0646602006466032.1948786165613567
DRESDEN/checkers-newgoals/IJOqXQ9.285935488616722.54882489241972850.274482295891915
BASE/biddingTicTacToe/8mESVw9.3431861286919841180.9126.39157389507366
BASE/checkers-mustjump/T-8UuQ9.41710018018270611.6890901824963361.2412621676357223
DRESDEN/SC_TestOnly_enabled/09o7gQ9.4408378356912392113.0333333333333223.8184121058596
DRESDEN/bidding-tictactoe/yW5vTA9.5357625626110851311.2666666666667137.51041493084486
BASE/cylinder-checkers/hlldmw9.658708295071932.75482093663911830.2852162890191729
BASE/othelloSuicide/B442jg10.55673563174645419.6143727729861121.8579960185799602
BASE/god/qF06gw10.69430833111417738.590995434398643.608554591802953
DRESDEN/god/2EDD5w10.82336473881694236.725988135706193.3932135728542914
BASE/othelloHoles/c0qAzw10.84406723248460720.6357130970211351.9029495718363463
DRESDEN/Goldrush/VeWczQ12.950837971006063542.081930602313341.856900056653444
BASE/queens08lg/Ru7eqQ13.535992715756135569.466666666666742.070550614569804
BASE/colonelBlotto/jip21A14.1723661569036145.0986403625699820.3597592883307169
DRESDEN/gt_ultimatum/pAiiQw14.52606165369322334.777681487900823.046692866182642
DRESDEN/crossers3/xiPTxg14.59445484023026347.4285904742859053.2497678737233056
BASE/crossers3/O0rORg14.62317859539777747.479425582247693.246860815690952
BASE/gt_ultimatum/GE-uOA14.782151196172249308.720.883293365307754
DRESDEN/racetrackcorridor/O0DoTA15.227873340961098887.158.25501566353396
DRESDEN/hallway/0H4l-Q15.462394853625822271.3152456502899717.546780315642273
BASE/hallway/ckCJOw15.730776524283492269.9820011999217.162662045522712
BASE/queens06ug/7Lq3tw15.7456014006854451173.666666666666774.53933557695511
BASE/racetrackcorridor/_RkdUg16.13180125945.858.62953462806889
BASE/roshambo2/KNPokQ16.7548866772880175258.066666666667313.8228725709143
DRESDEN/roshambo2/jgSlkQ17.0843471155908235310.6310.84594360375974
DRESDEN/smallest/9kaGFw18.02182615637184589.58034732175632.7147949495286
DRESDEN/smallest_4player/ADDROA18.811316008062278720.209326355788138.28596181400153
BASE/reversiSuicide/9OxJlg18.99539570925156836.5975601626558241.9266542652139251
BASE/smallest_4player/ADDROA19.80337277726856719.966666666666736.35575993868506
BASE/reversi/d8UMeA20.43018385427397736.761765097986941.7993849375122686
BASE/copolymer_4_pie/IN5_jA20.5761960544217681008.248.9983667211093
DRESDEN/bidding-tictactoe_10coins/mu5VhQ20.76162338760943621.112629579014129.916380717593363
BASE/biddingTicTacToe_10coins/a-9ccQ20.979651328502417578.633333333333327.58069351453982
BASE/copolymer_4/2LDVhQ21.746788378797961088.933333333333450.073294243070364
BASE/pancakes88/l2Xaig22.286692956731125.243947114263831.1326914748309291
BASE/ad_game_2x2/D0aWqg23.4313138950067420.62456855461687650.02665529374133703
BASE/queens08ug/kJ_ZFQ24.851816216216218919.333333333333436.99260147970406
BASE/dotsAndBoxesSuicide/jzQbLw26.2919192103265769.066666666666729.251066098081022
BASE/kalaha5x2x3/WviNsw26.516555759027835435.537630824611716.42512077294686
BASE/dotsAndBoxes/EHwA_w26.86835042006536789.140361987933729.37062937062937
BASE/wallmaze/uxNQ9g30.385483992467048716.333333333333423.57485348961108
DRESDEN/quad/JPe6fg33.72695848409991181.393953534882175.3783074931111186
BASE/quad/tw-Ufg34.57736302297717185.077809990336225.352571561554573
BASE/queens31lg/0gID-A35.3791151577754837.3862916930458841.0567333729608348
DRESDEN/quad_7x7/q-JOXg37.369808839071645654.344855171494317.509986684420774
DRESDEN/quad_5x5_8_2/JRTLJg38.03258426966292225.05.915979792608349
BASE/quad_7x7/q-JOXg38.33192024714636652.811572947568417.03049491751375
BASE/queens12ug/u6Bkmg38.58822181993412492.18359388020412.754762221926201
BASE/queens16ug/gT-ylw42.30314602368866277.63333333333336.562947662990972
BASE/battlebrushes/arCwyA42.63031472776516129.178470254957523.0302021244713795
DRESDEN/nim4/F5YAYg42.949075555555561352.431.488454233447737
BASE/nim4/twk16w44.3164446808510561387.333333333333331.305158690511874
BASE/skirmishZeroSum/zh4hcw44.946559436566120.719520319786810.4609812314784327
BASE/nim3/1OwUqw45.311974555792471415.433333333333431.23751165578793
DRESDEN/nim3/sG_axA45.4870950323974061403.333333333333330.851241046143596
DRESDEN/nim2/z5_exA46.644786080586091413.666666666666730.30706720841937
BASE/nim1/hin2Qw47.347967035806571424.366666666666630.082952993303795
DRESDEN/nim1/M9BALA47.499893333333331400.266666666666729.479364444888578
BASE/nim2/eF2Qqw47.7506831431.929.98700563089328
BASE/kalaha6x2x4/XS81Mg53.62161754839009245.04216245042164.569839062189549
DRESDEN/small_dominion/yB5GJA54.3356213070327421.6246834599493520.39798355001326613
BASE/racer4/0vs7Ww57.5193643828330215.9569163259200160.27741816164231553
BASE/checkers-newgoals/0XkFiA58.98999757199510426.0605858632985630.4417797412432944
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg63.45414185185185378.466666666666645.964412339706418
DRESDEN/snake_2008/E56l3A64.83983093937528330.077994800346635.090667110297788
BASE/snake_2008/i6K26g65.2044676942141332.08893036898775.0930395126660235
BASE/snake_2008_tweaked/bX0NJQ66.30122149122808334.033333333333365.038117335101094
BASE/hanoi/iGLsJg75.785046437857521618.033333333333321.35029810478633
DRESDEN/hanoi/RQ0jiA77.895857542768271668.421.418340494986843
DRESDEN/checkers/jIDMIg78.79307949320192.2494955175493730.028549404744911067
BASE/checkers/rOC3Xg80.5339110732518760.942289750766360.7567283016384813
BASE/pancakes/yUgbXw82.17755459976107762.06666666666679.273416206873629
BASE/pancakes6/QZTdnw84.78948557575757777.13333333333339.165444607385682
DRESDEN/chinesecheckers2/06E6-Q87.59076333819176320.855971467617743.6631256452096306
DRESDEN/guess/PhxGhg92.47153882749363236.358788040398652.5560165975103732
BASE/guess/SPpk1A95.07612001957699239.87601239876012.5229890781130697
DRESDEN/Travelers-Dilemma/PvZwYw95.4743209794323825.906563218008060.27134587554269174
BASE/colonelBlottoVariant/X-n-KQ95.49333860089243.4145203745043840.45463401961421057
BASE/colonelBlottoVariant2/jruwGw97.5908545727136542.678660669665170.43732233780026863
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g102.9919492693686340.363937138130690.3919135177504164
DRESDEN/quad_5x5/JAEP5g105.06679550624172211.01223211012232.008362690547526
BASE/quad_5x5/JAEP5g106.35425027220407211.952536497566831.992892018467466
DRESDEN/satlike_20v_91c_version2/yd9ioQ107.0338253789633941.0405772158601960.3834355828220859
BASE/checkersSmall/SYmq8w116.2606370866517889.606451397913960.77073766016892
DRESDEN/satlike_20v_91c/yeuENQ117.5315990527089441.2549489303656360.3510115514710575
DRESDEN/pancakes88/aD3E7g118.232889250814311207.110.209511140671767
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA122.6298059559378738.743146074793970.3159358018450651
DRESDEN/pancakes6/SZXMyQ123.264133025631171256.79144028532410.195921631347462
DRESDEN/pancakes/hl9aiQ127.44929581993571317.666666666666710.33875203616901
DRESDEN/fizzbuzz/t1xHzQ129.94528205128205841.06.471954862263525
BASE/blobwars/0XT15Q130.153867660764218.1733457595526570.13962970203021588
DRESDEN/blobwars/ZaMluQ132.3705715902659718.4426911681480730.13932621840777998
DRESDEN/hanoi_6_disks/MeubgQ148.08948296.11.999466808850973
DRESDEN/knightmove/97Ipcw149.4604991246198377.174855009666032.5235755080355955
BASE/knightmove/jBaJEw150.86814439518685374.92083597213432.485089463220676
BASE/hanoi_6_disks/MeubgQ157.07795035886497295.74695020331981.8828037259694788
BASE/checkersTiny/Lr48cg167.31936249999998131.70.7871175100849431
BASE/solitaireChineseCheckers/-ET6gw222.8068575958775214.2701417104350410.06404713869407884
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A224.8688942878379516.9401271341564870.07533335007407779
DRESDEN/racer/vk_ZBA225.8061832340510518.1370428300442620.08032128514056225
BASE/gt_tinfoil/Q8DyKg237.95597480083998116.862771240958640.4911108928396032
BASE/racer/QQYQNw241.8549064019718719.219239224568650.07946598855689765
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA247.9680843982960417.8048455804046850.07180297264306743
DRESDEN/vacuum_cleaner_1/eUNjpw266.7888189448441415.2211564082067690.057053202110968475
DRESDEN/vacuumcleaner_random/_6AGDA304.138810198300315.0974837527078820.04964010920824026
DRESDEN/chinesecheckers4/-oVNYg306.23923260529228.22572580913970.7452530620180157
DRESDEN/kalaha_2009/gcC8uA541.48817651956723.7468776019983350.04385484047801776
BASE/kalaha_2009/dRiN3g543.008323068215924.0370210074241760.04426639516610965
DRESDEN/hanoi7/51zz5Q545.7152037037038153.833333333333340.28189306856265856
DRESDEN/hanoi7_bugfix/3gdnFw571.5614666666667161.20.2820344081978001
BASE/hanoi7_bugfix/3gdnFw620.0922661037974170.438260289951670.2748595162472514
DRESDEN/chinesecheckers3/QsCb2A989.6363454551516378.687377087430430.3826530612244898
DRESDEN/twisty-passages/j7NPyg1250.381713981074264.507530321204850.051590270075063845
BASE/twisty-passages/DiZmmg1254.861471284290566.06446451784940.052646818815973044
BASE/crissrace/ERWGDA11691.724075864138332.88890370320990.02847218267752406
DRESDEN/crissrace/KWb9bw12066.4992337.60.027978288847854065
DRESDEN/crisscross/GsY16g14621.71445811.03333333333330.05546773164711429
BASE/crisscross/ICagEg15333.020266666668853.06666666666670.05563591854901524
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity2.4899571727366290.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity198.620091993867080.0
DRESDEN/chinesecheckers6/yTbPDAInfinity171.743767497666970.0
DRESDEN/farmers/S_ASnwInfinity1.34492373298343450.0
BASE/amazonsTorus/soxT8gInfinity0.0164698519360310940.0
BASE/gt_two_thirds_2p/1APDGgInfinity2.64629023188118140.0
BASE/amazons/RKKZjwInfinity0.08379186101723320.0
BASE/amazonsSuicide/dE1QEQInfinity0.088965333175172740.0

Games with errors:

GameREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147483765
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147483765
BASE/mummymaze1p/PT_EXATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds

index