index

REKKURA_BACKWARD_PROVER:1.0.0 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER: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.279245483810892040.150761344791195550.5398882113821138
BASE/coins_atomic/AA3SSw0.475758176874876041359.06666666666662856.633333333333
DRESDEN/coins/QwFP9w0.475873855734787961355.06666666666662847.5333333333333
BASE/coins/QnGtnQ0.48414058648134671374.73333333333332839.5333333333333
BASE/pearls/6k_mEQ0.63677666295724599460.63333333333314857.066666666668
DRESDEN/babel/WdSW4A0.941580756013745682.1753473957812687.27381785464361
BASE/haystack/UkweGA0.965294537623333513745.63333333333314239.833333333334
BASE/crisscross/ICagEg1.06465274692729170.0592329335110321350.05563591854901524
DRESDEN/crisscross/GsY16g1.07514088916718850.059635626323165460.05546773164711429
BASE/crissrace/ERWGDA1.13238328604591180.032241423781274180.02847218267752406
DRESDEN/crissrace/KWb9bw1.16910898861703520.032709668978149940.027978288847854065
DRESDEN/tictactoeparallel/yk_DSg1.19136449381680981326.26666666666671113.2333333333333
STANFORD/untwistycomplex/HTWEwg1.1923414009303582947.66666666666652472.1666666666665
DRESDEN/chinesecheckers4/-oVNYg1.23179995524024170.91800268843644470.7452530620180157
DRESDEN/ticblock/Z2yNWQ1.27483079293457321544.51211.5333333333333
DRESDEN/endgame/IJhh3Q1.430885669589826736.0903758997600625.22240362509579
BASE/double_tictactoe_dengji/zgaSbA1.43572129538763481365.4666666666667951.0666666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.4418195753122041066.0333333333333739.3666666666667
BASE/sudokuGrade6E/ihYFZA1.4522714080541166176.42745241825273121.48380215971204
BASE/survival/YVIjJA1.459763558581351510577.9333333333327246.333333333333
BASE/bunk_t/xbpfIA1.4689983284042691904.06666666666661296.1666666666667
BASE/sudokuGrade6H/ieE_9A1.4796875839828003183.5124.01266455590735
DRESDEN/latenttictactoe/kITHKg1.50134756213758741838.31224.4333333333334
DRESDEN/double_tictactoe_dengji/bGaUyQ1.50414834639648241311.3666666666666871.8333333333334
BASE/sudokuGrade3/eI8dvg1.5082537511353316184.46666666666667122.30479554770554
BASE/doubletictactoe/HH1htg1.5188525227396411953.71286.3
BASE/sudokuGrade5/BQfUQA1.5287434478654753189.34773189347732123.8584094393707
STANFORD/sudoku/oJ1qyQ1.5412689017660044186.16666666666666120.78792120787921
BASE/doubletoetictac/fu35bg1.5492133283890451949.63333333333341258.4666666666667
DRESDEN/bunk_t/7-tPfA1.5530676918281471993.01283.2666666666667
BASE/ticblock/T21C1g1.5582506553406111565.36666666666661004.5666666666667
BASE/sudokuGrade1/tDRNRw1.5605270381553664189.49368354388187121.42928569047699
DRESDEN/doubletictactoe/lJzgmQ1.56262353998203052029.06666666666661298.5
BASE/ticTacToeNoVars/XT03NA1.56539556852121952253.71439.7
BASE/blockerParallel/7-nDJA1.5704230859466646669.3666666666667426.23333333333335
DRESDEN/doubletoetictac/V89gKQ1.5839688463410681952.41232.6
BASE/sudokuGrade4/DTy07w1.5907786184210528193.4121.57568486302739
DRESDEN/blockerparallel/dVQgSg1.5944243187903608674.844171860938423.2525582480584
BASE/wargame03/klXI8w1.59699503594612653.23021079623031062.022680549108031
DRESDEN/Zhadu/9zpQ5w1.605607252723876541.14609361985673525.626499600106637
BASE/sudokuGrade2/u80Tfw1.613902392736297197.3736835088655122.2959234692177
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.638338192419825749.2666666666667457.3333333333333
BASE/zhadu/DlA8iQ1.652847632876673737.6849260295881622.8
BASE/tictactoe2/bhrDoQ1.65526722317493153893.1333333333332351.9666666666667
DRESDEN/pawn_whopping/4ogBkg1.6662252865566821117.6666666666667670.7776407453085
DRESDEN/chickentictactoe/Ipbo-g1.69514626454489433117.61839.1333333333334
BASE/blokbox_simple/JBx4bg1.76443897665255237.251679861619324.1099068642073515
BASE/skirmishFinal1/ecWTnQ1.80428047559019226.37626136477170414.618714618714618
DRESDEN/sheep_and_wolf/enAIzQ1.8233161052139655609.4130195660144334.23333333333335
BASE/eotcatcit/AfZSzA1.83967775123371753516.66666666666651911.5666666666666
BASE/nonogram_5x5_1/qLKEZw1.842217127358927689.3791448661978948.51716094635122
BASE/skirmishFinal2/gdB62Q1.853983938564100627.67970155219505614.929849701736261
DRESDEN/tictactoe/BTTzPw1.85927992738763553687.21983.1333333333334
BASE/ticTacHeaven/18n58A1.895702211832404702.8370.73333333333335
BASE/strangeSkirmish/gc1zKA1.89674598448435425.47367720022643313.430199620088645
DRESDEN/eotcatcit/mQUxzA1.89985740923549383464.21823.4
DRESDEN/skirmishfinal/hzq8ww1.900632784919736227.8425364683940614.649087761353043
BASE/factoringGeorgeForman/HGRorQ1.90066094114853366403.23368.9333333333334
DRESDEN/towerworld/HCX34w1.928283810694975633.0812539560915517.155801325826975
DRESDEN/minichess/c7GMFw1.9525925925925924219.65934468851037112.49625012499584
DRESDEN/chinesecheckers3/QsCb2A1.96928991110237450.75355481292182690.3826530612244898
BASE/endgame/jYjfOA1.970409844106302772.4116098503782336.749516892117015
BASE/ticTacHeavenFC/mrletw1.9922348822246918638.3120562647912320.4
BASE/tpeg/QNs7Lw1.9989973242458665703.8666666666667352.1098593427105
BASE/ruleDepthLinear/OUBJpQ2.00181612720962131653.3666666666666825.9333333333333
BASE/skirmishFinal3/-Olhfw2.007255006858710732.4666666666666716.17465969980364
DRESDEN/buttons/ADUaHw2.0155262282355557875.43907.366666666667
BASE/wargame01/_GZFZg2.0391459215734444.5128749668170962.213120169122019
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2.04334570519618231.12672322375397660.5514109633473889
BASE/buttons/hTcUjw2.0457279771615018025.83923.2
BASE/wargame02/BkVqqQ2.0462700632479364.4853478636454252.191962803055463
BASE/skirmishHoles/AUCxCA2.048607767613545231.7164179104477615.481937739304145
BASE/onestep/xi53wA2.0489708572341915383.47507.866666666667
BASE/minichess-evilconjuncts/4OpQzw2.05283110052595229.83333333333334111.95920271981868
BASE/cubicup/4wNWJA2.0593578909724743462.03586427571497224.35918802706576
DRESDEN/minichess-evilconjuncts/th24Tw2.06716833430377233.55109659356043112.9811698050325
DRESDEN/cubicup/SBn_lw2.06970509383378463.2223.8
DRESDEN/peg_bugfixed/u_B7MA2.0841470419299255725.7348.2
STANFORD/duidoku/3SoMaA2.0911666867832386160.7732044659223376.88206085246776
DRESDEN/amazons/dNB28A2.09125752929912411.4984668710838565.498350494851545
BASE/ticTacToeParallel/ymRGPw2.0933922474392451042.3497.9
DRESDEN/connectfour/5tc-Mg2.09531514304626949.6666666666666453.23333333333335
DRESDEN/tictactoelargesuicide/6J4DeA2.10023530762167132439.6333333333331161.6
DRESDEN/peg/Vo31eg2.100782036757301741.6666666666666353.0431304579695
DRESDEN/brain_teaser_extended/ZDp94A2.10931903531812373239.01535.5666666666666
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.1126991583328161.15496304118268210.5466765282824709
STANFORD/sukoshi/4LYZZQ2.1370293458658942607.03333333333331219.9333333333334
BASE/connectFourLarger/qKi60A2.141597919663253210.9263024565847898.4901509849015
DRESDEN/tpeg/h-Scbg2.149088025376685722.6666666666666336.26666666666665
BASE/brain_teaser_extended/ZDp94A2.1614650729246633285.06666666666661519.8333333333333
DRESDEN/tictactoelarge/IwXcbg2.16713881019830052473.51141.3666666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.196637333983185600.8666666666667273.53931273539314
DRESDEN/sum15/CsgWKg2.20617685210826285045.62287.0333333333333
STANFORD/tictactoe3/X7myng2.2196684150873772807.06666666666661264.6333333333334
BASE/minichess/8NQEiA2.2721556203643383260.79130695643477114.77704459108179
DRESDEN/cubicup_3player/awDtsQ2.2801121208495436414.3585641435856181.72727575747476
BASE/asteroidsSerial/id2QkA2.2907385733452594682.9298.1134591027265
STANFORD/duikoshi/tpw1sw2.29372107638690541338.2333333333333583.4333333333333
BASE/untwistycomplex2/EDPPAQ2.2995477805545646441.0333333333342801.0
BASE/cubicup_3player/e2yA_g2.304433050704009396.70688620758614172.14945172149453
BASE/sum15/QZ07Kg2.32073065814539445035.3666666666672169.733333333333
BASE/nonogram_10x10_1/0Xc62g2.35331632947157228.3003162976527412.025717045870948
BASE/checkLines/Vop7oQ2.361345353382317698.6433785540482295.8666666666667
DRESDEN/sat_test_20v_91c/dK7nVw2.3681538988437723480.1666666666667202.75990800306656
BASE/connectFourSimultaneous/7ITr3g2.3764501160092806546.2666666666667229.86666666666667
BASE/connectFourLarge/aU644A2.37779383665717556.3666666666667233.98440103993067
STANFORD/untwistycorridor/EDPPAQ2.39096190301473756516.5666666666672725.5
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.3995304684996133492.7835738808706205.36666666666667
BASE/ticTacToeSerial/Amrwqw2.40092772085294961155.9666666666667481.46666666666664
BASE/chickentictactoe/DSlZCA2.4035021269156812749.7666666666671144.0666666666666
BASE/connectFour/WAIKTw2.416653691233321861.2666666666667356.3881203959868
BASE/connectFour_9x6/B9TtMw2.4211808840259654803.9666666666667332.0555981467284
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.422500421465801494.9168361054632204.3
DRESDEN/tictactoe-init1/3ltIBQ2.42498175288729773422.61924602513231411.4
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.4297227595099935502.46666666666664206.8
DRESDEN/circlesolitaire/ruUilQ2.44039406914050134103.7666666666661681.6
BASE/tictactoe-init1/7M19vA2.4434975369458133306.8666666666671353.3333333333333
BASE/dualConnect4/WbCQkg2.4564436725608685472.8842371920936192.50766564458073
BASE/circlesolitaire/azuQFQ2.46886365473207774072.96666666666671649.7333333333333
STANFORD/connectfour/VMpZkQ2.4696577243293247889.9360.3333333333333
STANFORD/tictactoe5/WFRReg2.47241148218474252951.41193.7333333333333
DRESDEN/battlebrushes/QHXV4A2.47431362113765150.438280687474564060.1771322292091046
BASE/snakeAssemblit/UO4sdg2.478668916653145509.1333333333333205.4059458738835
DRESDEN/javastrike/whONTQ2.50716781880393273.4484367708819109.06666666666666
DRESDEN/troublemaker01/C-lPWw2.508090208223997811310.44509.566666666667
STANFORD/trifecta/ss1kyQ2.5099513489606373026.66666666666651205.8666666666666
DRESDEN/troublemaker02/iZLVuA2.51278688524590179452.2666666666663761.6666666666665
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.5156316095305415382.25392486917104151.9514715195147
BASE/numbertictactoe/rvJ-iQ2.52034883720930262023.0802.6666666666666
BASE/troublemaker01/s3tlEQ2.528750766157408211139.44405.1
BASE/troublemaker02/DI83KA2.5405072754458269288.4333333333323656.133333333333
STANFORD/tictactoe/ss1kyQ2.54784167701006763079.06666666666661208.5
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.56895899920954032491.633333333333969.9
BASE/lightsOn/MsXu3A2.57782342058879185898.8333333333332288.3
DRESDEN/skirmish/RjGQYQ2.58596868371002142.3703407614669716.38470760623418
DRESDEN/blocks/vg0DRw2.5890501155365626946.7666666666662683.133333333333
BASE/duplicateStateSmall/bCPAXw2.59160795276264376056.9333333333332337.133333333333
BASE/blocksWorld/SEdXLQ2.5951949894798657071.7333333333342724.9333333333334
DRESDEN/skirmish2/iPpWhQ2.59663523561290845.11228093556340517.373360846701726
BASE/blocks/xIV5hQ2.5986881188118816999.1333333333332693.3333333333335
DRESDEN/chickentoetictac/cxYaRQ2.59904293320752133856.21483.7
DRESDEN/catch_me/ghGWrA2.60760063742811582509.0333333333333962.2
BASE/withConviction/3Xm54A2.6111159439259431529.3666666666666585.713809539682
BASE/ticTacToe/JRFsaQ2.61288173237090463137.21200.6666666666667
DRESDEN/lightson2x2/gBHuig2.6186073331742624389.8333333333331676.4
BASE/duplicateStateMedium/U163eQ2.62056902002107472072.4333333333334790.8333333333334
DRESDEN/tictictoe/LAUtwg2.62198075991418072525.6666666666665963.2666666666667
DRESDEN/Thief_Police/CX18rA2.62985847428374162539.5666666666666965.6666666666666
DRESDEN/oisters_farm/pTQMLg2.63837386254231542831.7666666666671073.3
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.6619292047659444403.1532282257258151.4515215145152
DRESDEN/statespacesmall/h-NqjA2.6642109384659778618.93235.0666666666666
BASE/blocks2player/wnTLOQ2.6643054892601434651.4333333333331745.8333333333333
BASE/chickentoetictac/l57rfQ2.6652464005618643794.8666666666671423.8333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA2.6762038171948872547.3951.8333333333334
BASE/eotcitcit/V_9_bg2.6790298584921982581.0666666666666963.4333333333333
BASE/lightsOnParallel/SC6enA2.68587188282191523863.01438.2666666666667
BASE/simultaneousWin2/PfjRjw2.68701191944101941307.5486.6
BASE/factoringMutuallyAssuredDestruction/NH0LGg2.68809312919144632832.53333333333331053.7333333333333
DRESDEN/tictactoex9/rFkD4w2.6901022738945697640.1333333333333237.95873470884302
BASE/stateSpaceMedium/3bUoIw2.70697269807280535393.7333333333341992.5333333333333
BASE/tictactoex9/BI26ow2.7114056111659384641.0666666666667236.43333333333334
BASE/blockerSerial/3eqDuw2.7180118118870826963.8333333333334354.60969268715417
DRESDEN/blocks2player/3ev8nQ2.7248987030107994685.11719.3666666666666
BASE/stateSpaceLarge/0Ge_CQ2.72529378710512843718.31364.3666666666666
BASE/asteroidsParallel/WauZiA2.7339839839839843728.3333333333334266.4
BASE/stateSpaceSmall/Q7osKA2.739990907713299040.63299.5
DRESDEN/statespacelarge/8-y5HQ2.74032816860744883796.6333333333331385.4666666666667
BASE/firefighter/WJmoPw2.7461122716270432760.66666666666651005.3
DRESDEN/statespacemedium/dVJZ_w2.7469320740026075409.5333333333341969.3
BASE/snake_2009_big/-oRfVw2.7504524290524293381.2138.59538015399485
DRESDEN/blocksworldparallel/2JfVaw2.75080079179413332547.7926.1666666666666
STANFORD/tictactoe7/-bE9-A2.7563325426806063137.53333333333331138.3
DRESDEN/8puzzle/8fKC2w2.76221405228758152253.9666666666667816.0
BASE/alexChess/LNo83g2.76548185534561914.7926036981509255.349014917439118
DRESDEN/snake_2009/zIYLVw2.768521765086463460.6513116229459166.38890740617293
BASE/tictactoe_3d_2player/IUC1rQ2.7779170307247085133.5688339387476248.08236979774083
DRESDEN/firefighter/WJmoPw2.7834020207391652791.56666666666661002.9333333333333
DRESDEN/lightsout/XgLpzQ2.78380821642615572771.4666666666667995.5666666666667
BASE/blocksWorldSerial/Wyg96Q2.80641989405906062949.2666666666671050.9
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.811566793332977411.90587294180386146.50403252682796
BASE/asteroids/BKCmPQ2.81287756004125541272.7333333333333452.46666666666664
BASE/incredible/8Qh-6Q2.82128234686170832365.8333333333335838.5666666666667
BASE/factoringEasyTurtleBrain/lUj94Q2.82166543846720732935.56666666666661040.3666666666666
DRESDEN/battlesnakes2011/93VtTw2.825289109172614712.4666666666667252.17478252174783
BASE/aipsrovers01/4C4jsw2.83504271076957351131.3333333333333399.05336488783706
DRESDEN/snake_2009_big/DgC1NQ2.8359371669964895389.2536915436152137.25751616558895
BASE/duplicateStateLarge/dcjyuw2.8429054054054053785.4276.26666666666665
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.8437642924616338478.3840538648712168.22211852543163
BASE/ticTacToeLargeSuicide/727_8g2.84811524609843941977.0666666666666694.1666666666666
BASE/pacman2p/4LEdQg2.84828760212954261.546151282905721.608123855501916
BASE/connect5/d-BVQg2.858733999661543718.1939353548817066.364333077871447
DRESDEN/ggp-course2013_nicolai/uEin8g2.85920174352963676.287285452424626.681323073848308
DRESDEN/battlesnakes1509/-qZrLw2.8620461171481577719.9251.53333333333333
BASE/pacman3p/wW7UVQ2.86276680716643662.3729717122580221.787653662924342
STANFORD/buttonsandlights/eyhJpA2.87777085200046749849.2666666666663422.5333333333333
DRESDEN/aipsrovers01/qS47Mw2.88125105950161051133.1393.26666666666665
BASE/lightsOnSimultaneous/_VN6lw2.911196492493281480.1508.4163861204627
BASE/tictactoe_3d_6player/d7KSwg2.9164381577327276125.2040646343494942.93047130191321
BASE/englishDraughts/jFkQxg2.9175630521095144258.807452588074588.70672131693826
BASE/ticTacToeLarge/TZC0dg2.9219933857864772030.1333333333334694.7768407719743
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.926989573137575478.43333333333334163.45576961535897
BASE/blocksWorldParallel/RseaAQ2.92725593210553651690.1577.3666666666667
DRESDEN/grid_game/U7_Yeg2.9304880989004727571.4666666666667195.00733235568592
BASE/snake_2009/7l-qAQ2.9405488512862843474.93333333333334161.51179842687642
DRESDEN/pentago_2008/hLjVpQ2.9421852033317400.31998933368885136.06213126229125
DRESDEN/toetictac/mJtxCA2.94504649066889364465.9666666666661516.4333333333334
DRESDEN/tictactoe_3d_2player/LMuX9w2.9476698319941566134.445.59533721898418
DRESDEN/frogs_and_toads/GjchhQ2.9686332640883055240.6759324067593381.07297567477508
BASE/factoringMediumTurtleBrain/8RBqmQ2.9790355430315841409.5333333333333473.15089497016766
DRESDEN/chinesecheckers2/06E6-Q2.980131071750588710.9165945550156423.6631256452096306
DRESDEN/lightsout2/LFtfyQ2.9881788431104542913.9724018398774975.1666666666666
BASE/conn4/va9Y7A2.98975661092915021156.2386.7204426519116
BASE/cittaceot/fDxhXg2.99078759919168674.1333333333333225.40327956272498
DRESDEN/mummymaze2p/k-8edg2.994518201491333645.4818072770891715.188355594044566
BASE/mummymaze2p/vpjDdA2.997997090145325745.3394629888733415.123251165889407
BASE/switches/tPUoCg3.00269042682830376324.3666666666672106.233333333333
DRESDEN/cube_2x2x2/fp-34Q3.00583930747998141222.0333333333333406.55311489617014
BASE/pawnWhopping/Ypc_6Q3.008441961514587807.7666666666667268.5
DRESDEN/tictactoe_3d_small_2player/HYttcg3.0216080402010053801.7333333333333265.3333333333333
STANFORD/multiplesukoshi/vLSQPg3.031813819684075372.32092263591215122.80467890825474
BASE/pentagoSuicide/SBgNhw3.039578579071414372.1209293023566122.42517165522298
DRESDEN/stratego/Z2wovg3.0404467250226377671.5333333333333220.86666666666667
DRESDEN/pacman3p/rBnk8Q3.048937643138314668.4128094904861822.438244889806246
STANFORD/selectivesukoshi/3xmXYg3.0494902510215995406.26666666666665133.22445170321978
BASE/toetictac/mTThmg3.0496396939071464556.4666666666661494.1
DRESDEN/gt_chicken/CeuKtw3.0543057797089452491.96666666666664161.0731544742543
BASE/tictactoe_3d_small_2player/oOryKA3.0738507493175304815.2061597946736265.20681265206815
BASE/blocker/dIWtxg3.0766149870801033175.06666666666661032.0
DRESDEN/gt_prisoner/huCp4w3.077604215024095627.3790873637546203.85307646156923
DRESDEN/logistics/fPru1Q3.082155550396595885.0333333333333287.14752349843343
DRESDEN/capture_the_king/EQ229Q3.09075512584615944.8352819692881714.506254990684056
DRESDEN/tictactoe_3d_small_6player/llDEDQ3.0945395273023637632.8333333333334204.5
BASE/skirmish/Y_psYQ3.105372313581797425.0049943397482868.052172755706396
BASE/coloredtrails/EZvr7g3.11036269430051831600.8514.6666666666666
DRESDEN/slidingpieces/s9_44g3.1103764446881197803.3065564481184258.26666666666665
BASE/pentago/86NgKw3.1178680865035404376.88743708543046120.8798533577737
DRESDEN/blocker/S815zQ3.15301724137931053901.33333333333351237.3333333333333
DRESDEN/catcha_mouse/cHv4dw3.1567914067914071214.7333333333333384.8
BASE/slidingpieces/uFJWEw3.1722135659931774805.9254.0497300179988
BASE/tictactoe_orthogonal/WRzlVw3.17445410925512574123.9333333333331299.1
DRESDEN/ggp-course2013_jordi/9QI6Kw3.1857269710546925289.0903636545448390.74549271836571
STANFORD/pentago/ZxzLmg3.1968160928458476406.28645711809605127.0909696767744
DRESDEN/point_grab/r5DPmQ3.2005402592252984304.8333333333331345.0333333333333
BASE/ticTicToe/c1OobQ3.20163237708876652209.766666666667690.2
DRESDEN/tictactoe_orthogonal/y69QFQ3.20422020265329584089.8666666666671276.4
STANFORD/jointbuttonsandlights/qAKuIQ3.2196185671515124552.4333333333331413.9666666666667
STANFORD/tictictoe/rpt_Dw3.22924015635427562258.1699.2666666666667
BASE/checkersTorus/2vm1EQ3.25076504527772162.77070700339841419.309518260811664
BASE/catcha_mouse/cHv4dw3.25551283693621541219.8374.68751041631947
BASE/tictactoe_3d_small_6player/g_9lww3.275235012230376654.5666666666667199.8533431104593
BASE/nineBoardTicTacToePie/B8LzeQ3.2862872656017847751.6082797240092228.71046228710463
STANFORD/madness/UO_B3A3.29959117197367527.6115136608389282.306805074971165
BASE/hodgepodge/9yjRkw3.32066253973565353307.9333333333334996.1666666666666
STANFORD/nineboardtictactoe/y28P-A3.332199721749884718.5333333333333215.63333333333333
BASE/maze/cCX3qQ3.3335721765970356048.11814.3
DRESDEN/connect5/1kYzSg3.33426573658200519.8840927258193435.963559685018615
DRESDEN/brawl/2kXtfQ3.335878176477380439.4587749116843311.828601892576303
BASE/brawl/6Ymo_Q3.34660597090220339.0112269713828811.656952539550375
BASE/nineBoardTicTacToe/wRmqqA3.362673830594184709.3210.93333333333334
BASE/gt_chicken/gmepTQ3.3839664759923727433.76666666666665128.18290894547394
DRESDEN/tictactoe_3d_6player/ulZPWg3.390021011030064129.490169943352238.197453503099794
BASE/lightsOut/5P1ZBw3.39108337945956872246.366666666667662.4333333333333
BASE/lightsOnSimul4/9FeASw3.405175376765161275.2666666666667374.50836610892605
STANFORD/skirmish/w4V6Vw3.4111486948202828.1446760413550092.3876637373569887
DRESDEN/2player_normal_form_2010/NG_Kdg3.4259676590360975776.8666666666671686.2
BASE/mummyMaze2p_2007/YGA3Vw3.427666399168208699.486735101986429.02462594554967
DRESDEN/chinesecheckers1/Y-ftaA3.431693018298099643.8785373820873187.62707909736343
STANFORD/threepuzzle/41ibjA3.4517469182047273378.8978.8666666666667
BASE/hidato37/pBrqxw3.464380700255061760.95650724879186617.595210377515382
BASE/breakthroughSmallHoles/bxclRw3.4860518734741541094.7314.0228659044698
BASE/rubiksCube/9tNO9Q3.494619370267038292.2666666666666583.63333333333334
BASE/ttcc4/Le0qjQ3.4992030374905294103.452872950273329.564695686954202
DRESDEN/CephalopodMicro/H3XQfg3.50238416177307789.9303356554781525.676890798281548
BASE/qyshinsu/R08Lzw3.5084513291806987211.5455121154551360.29598026798214
DRESDEN/mummymaze2p-comp2007/oTQRQg3.5111914680001064100.3799240151969628.58856457417033
STANFORD/3puzzle/41ibjA3.51497750016790933488.9666666666667992.6
BASE/tttcc4/8Bs2lg3.532540920317761103.4689593122063429.290236587804067
BASE/gt_prisoner/klthDw3.533632156187195546.9333333333333154.7793627516331
STANFORD/checkersonabarrelnokings/Zrevdw3.536225443907496583.7527078820196623.68421052631579
DRESDEN/knightwar/7hhAqg3.5811945439976696546.2333333333333152.5282490583647
BASE/eightPuzzle/vLrgFg3.5835294640900921817.2666666666667507.1164294523516
BASE/gt_staghunt/xPjLRA3.591445443028542535.4666666666667149.09503016566114
BASE/checkersBarrelNoKings/rnKNeg3.596578148927273786.4711762745751424.04262404262404
DRESDEN/tttcc4/sAvtFg3.6042907577419268108.4819196800533230.097993467102192
BASE/snake2p/I3wWPQ3.62241591239244581080.5666666666666298.3
DRESDEN/4pttc/9pB9AQ3.62534206152301299.856671444285282.71127699280191
STANFORD/8puzzle/jNiGtw3.64477292488796721816.4333333333334498.3666666666667
BASE/four_way_battle/xSOQXA3.68746450304259686.1184451168822541.659255326209597
DRESDEN/grid_game2/kypTYQ3.69313361595226871568.0424.57169522031865
BASE/chess_200/XsTpYA3.69474688953262512.0867046249125963.2713214155899943
BASE/gt_coordination/IVMOzA3.704697986577181754.4203.63333333333333
DRESDEN/skirmish3/3LU8Nw3.709617905008703762.19378062193780516.76554896340244
BASE/cephalopodMicro/9l2D3g3.71098551235824878.094793680421321.044219499200853
BASE/ttcc4_2player_small/Cv72TA3.717153800214695246.150256649556766.22008931547023
DRESDEN/connectfoursuicide/M9CNQg3.723578328550309951.4666666666667255.524815839472
BASE/checkersTorusNoKings/pwb6oQ3.735472761487981786.1046317894035323.050531294760333
BASE/connect4/50bOyw3.7765424196018373657.6174.12752908236394
DRESDEN/tictactoe_3player/ESLQQQ3.783503448275862972.8257.11619225384976
DRESDEN/breakthrough/z4hK7Q3.7836591927661694134.31990134319935.5
DRESDEN/3pttc/uwYBZw3.7905460034270737835.6333333333333220.45196986867543
DRESDEN/hitori/S8Gsyg3.79895715390224531.1212610889423870.2951497064900141
STANFORD/eightpuzzle/W_aWbA3.8036776332150011846.3051231625614485.4
DRESDEN/connect4/T0-rHQ3.828454317230886670.9333333333333175.24914175249143
DRESDEN/breakthroughsuicide_v2/LU1nAw3.8611912393666294136.3197013631970335.3050892619238
BASE/hitori/S8Gsyg3.8846146778538541.12459894816921910.28950077200205865
DRESDEN/breakthroughsuicide/Y9QzqQ3.8865918423464714141.336.35575993868506
BASE/pawnToQueen/-O1_JA3.89376838343526054.9918466504708971.282009138424115
DRESDEN/3pffa/0YrmQw3.896734885174191831.4333333333333213.36666666666667
BASE/majorities/ibJzSQ3.899812296154014387.9408039464035599.47678874929183
BASE/ruleDepthExponential/UamhHQ3.91733554900608240.438954035241738260.1120542342493767
BASE/mineClearingSmall/frsbvw3.9229235202059316268.491050298323468.44157142381127
DRESDEN/knightazons/02I8BQ3.932858597577060749.1934408745500612.508316699933467
BASE/breakthroughSmall/HJ0tIA3.9451152579582875359.3880203993291.09696343455218
BASE/beatMania/qUHwvQ3.9479131626848691927.8333333333333488.3170560981301
BASE/knightazons/apnJBQ3.94894647419094149.97168271312922612.654434047087815
BASE/breakthroughSuicideSmall/XSbJog3.9529355359308775361.609226051596691.47865498050454
STANFORD/rainbow/_4qNSQ3.95495555853320865903.1666666666671492.6
BASE/choicethroughalt/tt71Lg3.973416678500837697.3870150646580424.509640680675346
STANFORD/multipletictactoe/_bkafQ3.9768020565552695618.6666666666666155.56888622275545
DRESDEN/knightthrough/J7Fc_Q3.9791878732247388134.362187927069133.76623376623377
DRESDEN/four_way_battle/xSOQXA4.0021874170427396.603397929386781.649947201689546
BASE/breakthroughSuicide/wZDpIg4.005282681441705127.1497133715504631.74550299800133
BASE/battle/8oAvhQ4.0086499434426783.72612948299953440.9295222919363941
STANFORD/multiplebuttonsandlights_9/SqB9BA4.01653159581056054972.61238.0333333333333
DRESDEN/pawntoqueen/f_x6Aw4.0171394406430615.0488274762505811.2568215644121052
DRESDEN/battle/8oAvhQ4.0207816578982523.80681253930947740.9467841984982044
BASE/futoshiki5/TJ4BZg4.037448125894135783.8333333333334194.14078122916945
BASE/futoshiki6/JmvXNA4.0392023645102535537.8154061531283133.1489134782029
DRESDEN/knightstour/cGISAA4.0585076490789882166.5666666666666533.8333333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g4.0732769758942753678.0333333333333902.9666666666667
BASE/futoshiki4/BaCwSw4.07442207872078651398.5666666666666343.25522482583915
BASE/breakthrough/TGxk-g4.085252233776964129.1956934768841231.624900026659557
STANFORD/bestbuttonsandlights/nm0wEA4.1069011443015965036.5666666666671226.3666666666666
STANFORD/dualrainbow/G3OnRQ4.1081688099981893780.2920.1666666666666
BASE/gt_centipede/9fRMpw4.116957848031061979.4333333333334480.8
BASE/breakthroughHoles/nZk0Sg4.124076733611502127.3915072328511430.889703432189272
BASE/breakthroughWalls/vOZaYA4.13677961579509129.1666666666666631.223966143490287
BASE/gt_dollar/TGjqRw4.1388060455947032729.266666666667659.4333333333333
STANFORD/chinook/osFbPA4.15983941516451290.1213171577123121.664614463043694
BASE/chinook/XQh0IQ4.17350764705882394.5333333333333322.65081109889744
DRESDEN/ghostmaze2p/HY0UwA4.187097630106271135.153151351531532.278481012658226
BASE/3pConnectFour/PqXOFQ4.194093283270755781.8666666666667186.4209052729818
STANFORD/multiplebuttonsandlights/cK70Yg4.201694275076895191.3333333333331235.5333333333333
STANFORD/triplesukoshi/Iu9mbA4.2251114435864441313.0333333333333310.7689231076892
BASE/ghostMaze2p/W-NU-w4.23764644298414129.8116980503249430.632970399227517
BASE/skirmishNew/sibw2g4.30687273928330523.7167316211984955.506717531929009
STANFORD/ttcc4/Cx9SGw4.32604203297837496.544139700736522.316967557124777
BASE/tictactoe_3player/GtM71g4.34041658122485874.7666666666667201.5397946940408
STANFORD/alquerquezero/uVgA_A4.34126582278481285.790473650878365.8311389620346
BASE/snakeParallel/RCVNtw4.344347715574762278.9524.5666666666667
BASE/golden_rectangle/_nYzfw4.346293857715292457.7180760641312105.3122708791575
DRESDEN/knightfight/4_Ly4w4.36916363636363652.812.084692722551434
DRESDEN/ggp-course2013_michal13/jWKddg4.37433536613923472.25092496916767107.95946936870875
BASE/shmup/ssTNlg4.379697624190064675.9333333333333154.33333333333334
BASE/bomberman2p/4CClwA4.417678037383178125.928.49913437208683
BASE/hidato19/rRHSmA4.432494980601358609.3137.46208459718008
BASE/ttcc4_2player/_aH_Mw4.472679342336661592.9480770512564220.781296832850433
BASE/knightfight/SJRkAg4.48057590344730454.5430313530803312.173218918379565
BASE/point_grab/V_osUg4.4976006398293783374.1750.2
STANFORD/dualhunter/1rPZjQ4.5292014655228451548.6333333333334341.9219359354688
BASE/factoringImpossibleTurtleBrain/kcBhdw4.53949046742567717.136392373473533.7749594357429053
DRESDEN/bomberman2p/x4h6jQ4.583245395755786131.8446925512414528.766666666666666
BASE/speedChess/bPnisA4.603125164309374523.2767232767232785.0567217804983535
DRESDEN/checkers-mustjump-torus/cVc3gA4.6276458712932041.0164267680907570.21964229683087544
BASE/gt_attrition/kD_SCA4.69817569137810851.16198001394376020.24732578989674148
BASE/pegEuro/5awwhg4.700255964398798315.5122991800546467.12662067126621
STANFORD/hunter/14dD-g4.7052252888629962153.6666666666665457.7180760641312
STANFORD/platformjumpers/HEQskA4.770388064271851525.483011325782815.3419157901722025
BASE/chineseCheckers2/eCMR3Q4.776608948043617496.3103.90216268452798
STANFORD/breakthrough/d5j0cQ4.77692755711775905.9333333333333189.64770189647703
BASE/peg/fJHVWw4.805707274031377321.255958134728866.84884030925086
BASE/ttcc4_2player_alt/ZEJvYA4.88142554137574394.9143504632406819.44398202097553
BASE/chineseCheckers3/-1rZdQ4.9610129218817045366.521115962801273.88029858704346
DRESDEN/Runners/3bOCQw4.9859031734804541174.7666666666667235.6176254916339
BASE/connectFourSuicide/c8p9Kw5.086782208076132878.9666666666667172.7942401919936
BASE/tron_10x10/7ZTgDg5.1338625050450691272.0247.76666666666668
BASE/chineseCheckers4/avfBcQ5.177988471402527301.8364830183648558.29222770297294
BASE/escortLatch/mX9BjQ5.1822775735592135438.2041197253516384.55821084558211
BASE/hexPie/48CH6Q5.225698332754828126.2582494500366624.161029093211585
BASE/amazons_8x8/7SOsIw5.299481134156172550.043313120543749.44305901911887
DRESDEN/checkers-mustjump/HUr33w5.3247610292393271.21478757633462480.2281393605579637
BASE/hex/T1MK8g5.3885690882966495131.086891310868924.326846174353506
BASE/chineseCheckers6/rREH3A5.3901462962962965239.2666666666666844.38964241676942
STANFORD/hex/MTqWcw5.408940249936874131.5956134795506824.32927845359107
BASE/quartoSuicide/-23jUg5.41393885890687821.553734426011063.9811558622520073
DRESDEN/mimikry/GJEhwA5.441491737382759812.2333333333333149.26666666666668
STANFORD/knightstourmedium/x1wu8Q5.4977727493418131786.5333333333333324.95583480550647
STANFORD/pilgrimage/ObRZnQ5.5018331500183315239.042762390427643.44783926964982
STANFORD/knightstour/cEwgNA5.5313305226174791539.2666666666667278.2814479034731
BASE/knightsTourLarge/M8jgLA5.61147450370301599.7466751108296106.87862427514497
BASE/knightsTour/mvtVIg5.6170641724717761558.7666666666667277.5055827750558
BASE/god/qF06gw5.75678880146310120.773686663559493.608554591802953
BASE/amazonsSuicide_10x10/XIbQkg5.79931790431790423.110223110223113.9849898714840766
BASE/knightwar/DVGY4Q5.823792242956459176.7666666666666830.352502165656027
BASE/knightThrough/gcwFjA5.846625928213649567.428838077461511.532948901703277
STANFORD/freeforall/Lfp40Q5.852756720430108483.666666666666782.63912029323559
BASE/checkers-mustjump-torus/uSApKQ5.8539130421648538.5399082873662521.458837571698551
BASE/quarto/EwBMVQ5.87087718008479722.5190712548719143.8357251504530123
DRESDEN/quartosuicide/WIU1oQ5.9140282442885723.991203225483994.056660238079404
BASE/chineseCheckers1/gqtwHw6.1022238779626825806.6333333333333132.1867813218678
BASE/max_knights/2fq3Ag6.1182727786457466.781238573280591.1083583257269527
STANFORD/knightstourbig/TQUI2g6.121435495573937468.666666666666776.56156256249584
BASE/amazons_10x10/Bun8dA6.15906327413019223.055426176059623.7433332229105245
DRESDEN/god/2EDD5w6.16157719205137220.907547358258153.3932135728542914
DRESDEN/backgammon/mqCW0Q6.324391008828721312.2895903469884649.3786026055376
DRESDEN/max_knights/hCipiA6.3493638285124666.6238391638651271.04322879311469
BASE/4pttc/AL1k2Q6.38990132417639191.439234896197814.309960398016573
DRESDEN/quarto/OQzRYQ6.47725442357670225.9441817091853724.0054288457082325
BASE/sheepAndWolf/g4THrg6.54596570783982128.7666666666666819.671148981493808
BASE/3pttc/0sol9g6.7746189073937515145.4236384241050621.465951134962168
BASE/2pttc/unkkYA6.908446903825562214.6523565095660331.071000399627014
DRESDEN/golden_rectangle/1uloXw7.382064234222495473.650878304056564.16238917405506
BASE/checkers-cylinder-mustjump/rjr6qQ7.64924738018579659.7973873633697691.2808302407304017
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.9911339055307949.7775117230370161.2235449735449735
BASE/chomp/-LcqYQ8.169763841807911831.6224.19252691576946
BASE/2pffa/6oHijA8.203363824776261580.466666666666770.7595907075959
BASE/4pffa/Q3ADlg8.303166176785426449.836677554829754.17652350648053
DRESDEN/kitten_escapes_from_fire/uW-YiA8.331018340675477630.233333333333375.64901522977972
BASE/kitten_escapes_from_fire/uW-YiA8.567767601246105641.533333333333374.8775367389783
BASE/3pffa/pR0dzA8.588837990720915534.566666666666762.239696131676276
BASE/amazonsTorus_10x10/Uxc08g8.73011322524066113.3803754493409671.532669176690101
BASE/cylinder-checkers/hlldmw8.7611892228071342.49883387752382240.2852162890191729
BASE/2pffa_zerosum/o0_uZA8.765202563423324554.981500616646163.31644894694748
DRESDEN/chomp/-LcqYQ8.7676812446330251928.5333333333333219.9593346888437
BASE/biddingTicTacToe/8mESVw9.0351487165963431141.9666666666667126.39157389507366
DRESDEN/cylinder-checkers/clOO3Q9.0371835008513222.50453122425440760.27713625866050806
BASE/othello-comp2007/86ZoMw9.09242096669337719.9567603525694322.1948786165613567
DRESDEN/SC_TestOnly_enabled/09o7gQ9.2083577066269562061.0223.8184121058596
BASE/checkers-mustjump/T-8UuQ9.34034479856357311.5938166311300641.2412621676357223
DRESDEN/bidding-tictactoe/yW5vTA9.5059466391985781307.1666666666667137.51041493084486
DRESDEN/checkers-newgoals/IJOqXQ9.9046556004980512.7186526092434190.274482295891915
BASE/othelloSuicide/B442jg10.81053976502162920.0859398421105231.8579960185799602
BASE/othelloHoles/c0qAzw11.35582525888189821.6095628142376731.9029495718363463
DRESDEN/Goldrush/VeWczQ12.265191319525018513.382887237092141.856900056653444
BASE/queens08lg/Ru7eqQ12.995630562153602546.733333333333342.070550614569804
BASE/colonelBlotto/jip21A14.3437639033071335.16030229383760.3597592883307169
BASE/copolymer_4_pie/IN5_jA14.36102290249433703.666666666666648.9983667211093
BASE/gt_ultimatum/GE-uOA14.460356550392653301.9798680087994320.883293365307754
DRESDEN/racetrackcorridor/O0DoTA14.923464645308924869.366666666666758.25501566353396
BASE/copolymer_4/2LDVhQ15.042615923708139753.233333333333350.073294243070364
DRESDEN/crossers3/xiPTxg15.10222713014836449.078732549228673.2497678737233056
DRESDEN/gt_ultimatum/pAiiQw15.151343510129625349.188360387987123.046692866182642
BASE/crossers3/O0rORg15.16235346215014249.230051329911343.246860815690952
BASE/queens06ug/7Lq3tw15.6360395619132771165.574.53933557695511
DRESDEN/hallway/0H4l-Q15.776873497786209276.833333333333317.546780315642273
BASE/hallway/ckCJOw15.868663577767952272.348510099326717.162662045522712
BASE/racetrackcorridor/_RkdUg16.157954166666666947.333333333333458.62953462806889
DRESDEN/roshambo2/jgSlkQ16.698625498606055190.7310.84594360375974
BASE/ad_game_2x2/D0aWqg16.8762932973459280.4498425551057130.02665529374133703
BASE/roshambo2/KNPokQ17.204928231545415399.3313.8228725709143
DRESDEN/smallest/9kaGFw17.805399694501016582.532.7147949495286
BASE/reversiSuicide/9OxJlg18.50732224778541435.657211346384341.9266542652139251
DRESDEN/smallest_4player/ADDROA18.81716689875254720.433333333333338.28596181400153
BASE/smallest_4player/ADDROA19.68169050643622715.54281523949236.35575993868506
BASE/reversi/d8UMeA19.90354510354510335.8141392624151251.7993849375122686
DRESDEN/bidding-tictactoe_10coins/mu5VhQ20.668721232368227618.333333333333429.916380717593363
BASE/biddingTicTacToe_10coins/a-9ccQ20.80682512077295573.866666666666727.58069351453982
BASE/pancakes88/l2Xaig21.08964047388070623.8880559720139941.1326914748309291
BASE/queens08ug/kJ_ZFQ25.30506936.136.99260147970406
BASE/kalaha5x2x3/WviNsw26.595697541732516436.8375441637224416.42512077294686
BASE/dotsAndBoxes/EHwA_w27.172269841269845798.066666666666729.37062937062937
BASE/dotsAndBoxesSuicide/jzQbLw27.225450571541312796.373454218192729.251066098081022
BASE/wallmaze/uxNQ9g30.178043406086086711.442951901603223.57485348961108
BASE/battlebrushes/arCwyA32.96815271251211599.900166389351093.0302021244713795
DRESDEN/quad/JPe6fg33.39514998823202179.609385415277965.3783074931111186
BASE/quad/tw-Ufg34.904997153217735186.831495118456565.352571561554573
BASE/queens31lg/0gID-A35.41536766421168637.4246009264504951.0567333729608348
DRESDEN/quad_5x5_8_2/JRTLJg35.98367803669071212.878712128787135.915979792608349
DRESDEN/quad_7x7/q-JOXg36.581029150823824640.533333333333317.509986684420774
BASE/queens12ug/u6Bkmg37.69311087902524480.7666666666666512.754762221926201
BASE/quad_7x7/q-JOXg37.77341780821917643.317.03049491751375
BASE/queens16ug/gT-ylw41.26565070504417270.82430585647146.562947662990972
BASE/nim3/1OwUqw43.3773347547974451355.031.23751165578793
DRESDEN/nim4/F5YAYg43.849934850088181380.766666666666731.488454233447737
BASE/nim4/twk16w43.895853723404261374.166666666666731.305158690511874
DRESDEN/nim3/sG_axA44.497399568034551372.830.851241046143596
DRESDEN/nim2/z5_exA46.1124569963369951397.533333333333330.30706720841937
BASE/skirmishZeroSum/zh4hcw46.86639242914209521.6045272969374160.4609812314784327
BASE/nim2/eF2Qqw47.1170752222222261412.929.98700563089328
BASE/nim1/hin2Qw47.278160059062381422.266666666666730.082952993303795
DRESDEN/nim1/M9BALA48.488155254237291429.429.479364444888578
DRESDEN/small_dominion/yB5GJA50.38557454226485520.0526298257886140.39798355001326613
BASE/kalaha6x2x4/XS81Mg54.11388750809756247.29175694143534.569839062189549
BASE/racer4/0vs7Ww54.1324143136210315.0173148641449130.27741816164231553
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg63.116715739105376.45411819606015.964412339706418
BASE/checkers-newgoals/0XkFiA63.8135702146498928.1915425372388280.4417797412432944
DRESDEN/snake_2008/E56l3A64.64340612586612329.078061462569175.090667110297788
BASE/snake_2008/i6K26g65.11284242594964331.62227925735815.0930395126660235
BASE/snake_2008_tweaked/bX0NJQ65.17646271929824328.36666666666675.038117335101094
BASE/hanoi/iGLsJg76.094175611024451624.633333333333421.35029810478633
DRESDEN/hanoi/RQ0jiA78.37831010886471678.733333333333321.418340494986843
BASE/checkers/rOC3Xg81.8326426041745261.925076656445810.7567283016384813
DRESDEN/checkers/jIDMIg82.897233333333332.36666666666666670.028549404744911067
BASE/pancakes/yUgbXw85.52763249701314793.13333333333339.273416206873629
BASE/pancakes6/QZTdnw86.72428896969697794.86666666666679.165444607385682
DRESDEN/guess/PhxGhg90.5776195006913231.517898806746222.5560165975103732
BASE/guess/SPpk1A91.96456740915653232.02559914669512.5229890781130697
BASE/colonelBlottoVariant/X-n-KQ93.2245387559261942.383046781287480.45463401961421057
DRESDEN/Travelers-Dilemma/PvZwYw93.8000022209636925.452243728553820.27134587554269174
BASE/colonelBlottoVariant2/jruwGw95.7085919945157641.8555051986137060.43732233780026863
DRESDEN/satlike_20v_91c_version2/yd9ioQ100.2412193505632838.436050364479790.3834355828220859
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g100.7038316066436539.467192895905280.3919135177504164
BASE/quad_5x5/JAEP5g102.23649357286493203.746292037462921.992892018467466
DRESDEN/quad_5x5/JAEP5g104.52959234972677209.933333333333342.008362690547526
DRESDEN/satlike_20v_91c/yeuENQ111.695940700824939.206565438415790.3510115514710575
BASE/checkersSmall/SYmq8w112.5178837266142386.721770430609250.77073766016892
DRESDEN/pancakes/hl9aiQ121.83933440514471259.666666666666710.33875203616901
DRESDEN/pancakes88/aD3E7g122.405469055374581249.710.209511140671767
BASE/blobwars/0XT15Q125.3487771603500417.5024124047516060.13962970203021588
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA126.3763100981533839.9268008650806860.3159358018450651
DRESDEN/blobwars/ZaMluQ127.9457883513261317.8262028521924560.13932621840777998
DRESDEN/pancakes6/SZXMyQ128.39774379084971309.133333333333410.195921631347462
DRESDEN/fizzbuzz/t1xHzQ132.12391282051283855.16.471954862263525
DRESDEN/hanoi_6_disks/MeubgQ144.9671499838894289.857004766507771.999466808850973
BASE/hanoi_6_disks/MeubgQ152.6446947368421287.41.8828037259694788
BASE/knightmove/jBaJEw155.06637778740708385.3538215392822.485089463220676
DRESDEN/knightmove/97Ipcw162.35681266764792409.71967601079962.5235755080355955
BASE/checkersTiny/Lr48cg169.0500205548704133.062231258958040.7871175100849431
BASE/solitaireChineseCheckers/-ET6gw215.9032041227873713.8279824589481780.06404713869407884
DRESDEN/racer/vk_ZBA226.657458563535918.205418358516940.08032128514056225
BASE/racer/QQYQNw227.9619047619047518.1152181152181160.07946598855689765
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA237.5449397028449717.0564328069824780.07180297264306743
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A237.9737198711540617.927357547484170.07533335007407779
BASE/gt_tinfoil/Q8DyKg241.9442389094424118.821451188214510.4911108928396032
DRESDEN/vacuum_cleaner_1/eUNjpw281.270974830203816.0474097749367420.057053202110968475
DRESDEN/vacuumcleaner_random/_6AGDA290.9170465510930514.4411539613349740.04964010920824026
BASE/kalaha_2009/dRiN3g498.6184666089619722.072042080031960.04426639516610965
DRESDEN/kalaha_2009/gcC8uA501.9131701631701522.011322011322010.04385484047801776
BASE/hanoi7_bugfix/3gdnFw573.6263703703703157.666666666666660.2748595162472514
DRESDEN/hanoi7_bugfix/3gdnFw602.7810587124368170.004999166805530.2820344081978001
DRESDEN/hanoi7/51zz5Q620.2470855737754174.84335421943740.28189306856265856
BASE/twisty-passages/DiZmmg1195.387262.933333333333330.052646818815973044
DRESDEN/twisty-passages/j7NPyg1278.068451389351665.935896581595260.051590270075063845
BASE/gt_two_thirds_2p/1APDGgInfinity2.69228212457621470.0
BASE/amazonsSuicide/dE1QEQInfinity0.085721633282852820.0
BASE/amazonsTorus/soxT8gInfinity0.0181993557428067050.0
DRESDEN/farmers/S_ASnwInfinity1.31717597471022120.0
BASE/amazons/RKKZjwInfinity0.07310119642291480.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity2.4875621890547260.0
DRESDEN/chinesecheckers6/yTbPDANaN0.00.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwNaN0.00.0

Games with errors:

GameREKKURA_BACKWARD_PROVER:1.0.0 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
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