index

REKKURA_BACKWARD_PROVER:1.0.0 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioREKKURA_BACKWARD_PROVER:1.0.0 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/merrills/aYEzwA0.00.00.018857250612860643
BASE/merrills/pku8Tg0.00.00.0179768817300951
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.00.057.1
DRESDEN/chinesecheckers6/yTbPDA0.00.054.85569552756115
BASE/crisscross/ICagEg2.824296310019827E-40.059232933511032135209.72634245525148
DRESDEN/crisscross/GsY16g2.870413003884625E-40.05963562632316546207.75974134195528
BASE/crissrace/ERWGDA6.744636240348918E-40.0322414237812741847.80305806322662
DRESDEN/crissrace/KWb9bw6.856010575273537E-40.0327096689781499447.70947859403631
DRESDEN/chinesecheckers3/QsCb2A0.0067758962291076830.7535548129218269111.2110911151103
DRESDEN/chinesecheckers4/-oVNYg0.014719444496575810.918002688436444762.36666666666667
DRESDEN/chinesecheckers2/06E6-Q0.1094358513293315510.91659455501564299.75336621783762
DRESDEN/othello-cornercontrol/r5Gdlg0.276540647919050030.150761344791195550.5451688419972421
BASE/connect5/d-BVQg0.392392566963660118.19393535488170646.36666666666667
BASE/coins_atomic/AA3SSw0.48642909125615911359.06666666666662793.9666666666667
DRESDEN/coins/QwFP9w0.492638059113658661355.06666666666662750.633333333333
BASE/coins/QnGtnQ0.50028506617174331374.73333333333332747.9
BASE/pearls/6k_mEQ0.65997358422122299460.63333333333314334.866666666667
DRESDEN/babel/WdSW4A0.92977129485588782.1753473957812688.38232353529294
BASE/haystack/UkweGA1.01084707704979113745.63333333333313598.133333333333
STANFORD/untwistycomplex/HTWEwg1.19222887342932632947.66666666666652472.4
DRESDEN/tictactoeparallel/yk_DSg1.21966770890809871326.26666666666671087.4
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.2765337484532791066.0333333333333835.1
BASE/ticblock/T21C1g1.29554734054292651565.36666666666661208.2666666666667
BASE/sudokuGrade6E/ihYFZA1.4482980252687427176.42745241825273121.81709105452606
DRESDEN/latenttictactoe/kITHKg1.44865901389582061838.31268.9666666666667
BASE/blokbox_simple/JBx4bg1.46702943670329667.251679861619324.943104535049597
DRESDEN/ticblock/Z2yNWQ1.46890058331219891544.51051.4666666666667
BASE/sudokuGrade6H/ieE_9A1.4716297781341887183.5124.69168722085195
DRESDEN/double_tictactoe_dengji/bGaUyQ1.47609935464505471311.3666666666666888.4
DRESDEN/endgame/IJhh3Q1.480444968773354336.0903758997600624.378059746228395
BASE/doubletictactoe/HH1htg1.49777675559644271953.71304.4
BASE/sudokuGrade3/eI8dvg1.5035962691297655184.46666666666667122.68364218104253
DRESDEN/pawn_whopping/4ogBkg1.50689856635656821117.6666666666667741.7
STANFORD/sudoku/oJ1qyQ1.5092025128343691186.16666666666666123.3543312335433
BASE/double_tictactoe_dengji/zgaSbA1.51437527140093421365.4666666666667901.6699443351888
BASE/sudokuGrade1/tDRNRw1.5256605747521501189.49368354388187124.20435231779251
BASE/sudokuGrade5/BQfUQA1.528794402583423189.34773189347732123.85428123854281
DRESDEN/doubletoetictac/V89gKQ1.5321352899631171952.41274.3
BASE/bunk_t/xbpfIA1.5338882921589691904.06666666666661241.3333333333333
BASE/survival/YVIjJA1.541193954464216410577.9333333333326863.466666666666
BASE/wargame03/klXI8w1.55942271677061363.23021079623031062.0714144801736043
BASE/doubletoetictac/fu35bg1.57639543972185561949.63333333333341236.7666666666667
DRESDEN/bunk_t/7-tPfA1.5825414891082821993.01259.3666666666666
DRESDEN/blockerparallel/dVQgSg1.5937436161401353674.844171860938423.43333333333334
BASE/blockerParallel/7-nDJA1.5965709466263847669.3666666666667419.2526915769474
DRESDEN/doubletictactoe/lJzgmQ1.59798388155304122029.06666666666661269.7666666666667
BASE/sudokuGrade2/u80Tfw1.605527106189763197.3736835088655122.93388429752066
DRESDEN/Zhadu/9zpQ5w1.605821276617867741.14609361985673525.623084099693457
DRESDEN/eotcatcit/mQUxzA1.60612617067968943464.22156.866666666667
BASE/sudokuGrade4/DTy07w1.6090386577925682193.4120.19599346688443
DRESDEN/battlebrushes/QHXV4A1.62446301919738970.438280687474564060.2698003477426704
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.6571807726334415749.2666666666667452.1333333333333
BASE/eotcatcit/AfZSzA1.68975734764154733516.66666666666652081.1666666666665
BASE/ticTacToeNoVars/XT03NA1.6906131226245252253.71333.0666666666666
DRESDEN/chickentictactoe/Ipbo-g1.69247751578871183117.61842.0333333333333
BASE/zhadu/DlA8iQ1.70891462146259337.6849260295881622.051965356429047
BASE/strangeSkirmish/gc1zKA1.778595838563716825.47367720022643314.322352862805182
BASE/nonogram_5x5_1/qLKEZw1.78811917219315589.3791448661978949.985004498650405
DRESDEN/sheep_and_wolf/enAIzQ1.7892934037972206609.4130195660144340.58864704509847
BASE/skirmishFinal1/ecWTnQ1.83180692931916826.37626136477170414.399040063995734
DRESDEN/towerworld/HCX34w1.842239181347020533.0812539560915517.957089552238806
DRESDEN/skirmishfinal/hzq8ww1.862721498828706227.8425364683940614.947235260827592
DRESDEN/blocker/S815zQ1.88143004115226353901.33333333333352073.6
BASE/skirmishFinal2/gdB62Q1.891614410631899527.67970155219505614.632845571814272
DRESDEN/tictactoe/BTTzPw1.89827018121911033687.21942.4
BASE/factoringGeorgeForman/HGRorQ1.93298315522550266403.23312.6
BASE/endgame/jYjfOA1.976244490289276872.4116098503782336.6410179540988
DRESDEN/buttons/ADUaHw2.00534732124668977875.43927.2
DRESDEN/tictactoex9/rFkD4w2.0077365394668063640.1333333333333318.8333333333333
BASE/ruleDepthLinear/OUBJpQ2.01327271989284371653.3666666666666821.2333333333333
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg2.01544273594909831.12672322375397660.5590450195665757
STANFORD/sukoshi/4LYZZQ2.0210082947879792607.03333333333331289.9666666666667
DRESDEN/amazons/dNB28A2.02668883914893211.4984668710838565.673523556735236
BASE/skirmishFinal3/-Olhfw2.027310464310464232.4666666666666716.014649575495255
BASE/tictactoex9/BI26ow2.0300444444444445641.0666666666667315.7894736842105
BASE/skirmishHoles/AUCxCA2.048062108810784731.7164179104477615.486062543710661
BASE/ticTacHeaven/18n58A2.051639855989102702.8342.5552481583947
BASE/wargame02/BkVqqQ2.0528621654111724.4853478636454252.1849240242327936
BASE/buttons/hTcUjw2.05515722626241948025.83905.2
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.059774675445681.15496304118268210.5607230028365987
BASE/wargame01/_GZFZg2.07619599230961074.5128749668170962.1736266631537347
STANFORD/duidoku/3SoMaA2.0779348144818237160.7732044659223377.37163040218587
BASE/ticTacToeParallel/ymRGPw2.0795399547782141042.3501.2166261124629
BASE/cubicup/4wNWJA2.082944017241773462.03586427571497221.81866648895405
DRESDEN/cubicup/SBn_lw2.0865560360360362463.2221.99260024665844
DRESDEN/tpeg/h-Scbg2.089034496049335722.6666666666666345.93333333333334
BASE/tpeg/QNs7Lw2.093457308086316703.8666666666667336.2221259291357
DRESDEN/peg_bugfixed/u_B7MA2.112189697322468725.7343.57709486034264
BASE/ticTacToeSerial/Amrwqw2.1219482347182281155.9666666666667544.7666666666667
BASE/onestep/xi53wA2.122951234434441715383.47246.233333333334
BASE/ticTacHeavenFC/mrletw2.1290786527658208638.3120562647912299.80670532560157
BASE/brain_teaser_extended/ZDp94A2.13071584545867283285.06666666666661541.7666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2.152101241642789600.8666666666667279.2
DRESDEN/peg/Vo31eg2.1655944849959448741.6666666666666342.4771681887874
BASE/sum15/QZ07Kg2.19859405018338455035.3666666666672290.266666666667
DRESDEN/brain_teaser_extended/ZDp94A2.20160413268080473239.01471.2
STANFORD/tictactoe3/X7myng2.21692202390354342807.06666666666661266.2
DRESDEN/tictactoe_orthogonal/y69QFQ2.2290531211394524089.8666666666671834.8
BASE/cubicup_3player/e2yA_g2.2376386538823083396.70688620758614177.28818078794748
DRESDEN/sum15/CsgWKg2.2418246445497635045.62250.6666666666665
BASE/tictactoe_orthogonal/WRzlVw2.2493772840493814123.9333333333331833.3666666666666
BASE/asteroidsSerial/id2QkA2.271613582437077682.9300.62331255624815
BASE/untwistycomplex2/EDPPAQ2.28456745604804876441.0333333333342819.366666666667
DRESDEN/tictictoe/LAUtwg2.30192003888686352525.66666666666651097.2
DRESDEN/minichess/c7GMFw2.3190214560288758219.6593446885103794.72070390614584
DRESDEN/cubicup_3player/awDtsQ2.332535526935111414.3585641435856177.64298093587522
STANFORD/untwistycorridor/EDPPAQ2.3335402318058666516.5666666666672792.5666666666666
BASE/minichess-evilconjuncts/4OpQzw2.364045023425894229.8333333333333497.22037061725104
BASE/tictactoe2/bhrDoQ2.3718852176032173893.1333333333331641.3666666666666
STANFORD/duikoshi/tpw1sw2.38289411206077871338.2333333333333561.6
BASE/tictactoe-init1/7M19vA2.38716973867847363306.8666666666671385.2666666666667
DRESDEN/minichess-evilconjuncts/th24Tw2.388127624029791233.5510965935604397.79674010866304
BASE/eotcitcit/V_9_bg2.3997272755446742581.06666666666661075.5666666666666
DRESDEN/sat_test_20v_91c/dK7nVw2.4001933244474065480.1666666666667200.0533297780148
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.4108435844128153502.46666666666664208.4194387040864
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2.413292675714645494.9168361054632205.07949205079493
BASE/snakeAssemblit/UO4sdg2.426998315856371509.1333333333333209.77902209779023
DRESDEN/tictactoe-init1/3ltIBQ2.4294571593023373422.61924602513231408.8
BASE/circlesolitaire/azuQFQ2.4466670671392244072.96666666666671664.7
DRESDEN/circlesolitaire/ruUilQ2.4617676464707064103.7666666666661667.0
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2.4673719598754804492.7835738808706199.72001866542232
STANFORD/trifecta/ss1kyQ2.47057688296376873026.66666666666651225.0849943337112
BASE/numbertictactoe/rvJ-iQ2.48322422258592472023.0814.6666666666666
BASE/chickentoetictac/l57rfQ2.48431021690743273794.8666666666671527.5333333333333
BASE/conn4/va9Y7A2.4848484848484851156.2465.3
BASE/chickentictactoe/DSlZCA2.50510173094442752749.7666666666671097.6666666666667
BASE/duplicateStateSmall/bCPAXw2.5080123117693346056.9333333333332415.0333333333333
DRESDEN/javastrike/whONTQ2.5146697033968293273.4484367708819108.7412936981371
BASE/nonogram_10x10_1/0Xc62g2.515379000633383428.3003162976527411.250915385127488
DRESDEN/skirmish/RjGQYQ2.51617859593146442.3703407614669716.83916270092183
BASE/blocksWorldSerial/Wyg96Q2.5233287702486882949.2666666666671168.8
STANFORD/tictactoe/ss1kyQ2.53060106295545453079.06666666666661216.7333333333333
STANFORD/tictactoe5/WFRReg2.53295571575695182951.41165.2
DRESDEN/troublemaker02/iZLVuA2.5329653151825359452.2666666666663731.7
DRESDEN/oisters_farm/pTQMLg2.53666766198865372831.7666666666671116.3333333333333
BASE/minichess/8NQEiA2.536964980544747260.79130695643477102.79657344755175
BASE/troublemaker01/s3tlEQ2.537371681953471311139.44390.133333333333
BASE/troublemaker02/DI83KA2.5440560206699479288.4333333333323651.0333333333333
BASE/lightsOn/MsXu3A2.56809705553701265898.8333333333332296.9666666666667
DRESDEN/troublemaker01/C-lPWw2.588310677834225511310.44369.8
DRESDEN/chickentoetictac/cxYaRQ2.59490377282311263856.21486.0666666666666
BASE/blockerSerial/3eqDuw2.6005903258686334963.8333333333334370.62097930068995
BASE/ticTacToe/JRFsaQ2.60183009426920633137.21205.7666666666667
BASE/blocks/xIV5hQ2.60323088558003466999.1333333333332688.633333333333
BASE/blocksWorld/SEdXLQ2.61026625326049547071.7333333333342709.2
BASE/withConviction/3Xm54A2.6108803277755651529.3666666666666585.7666666666667
DRESDEN/skirmish2/iPpWhQ2.61851922358863145.11228093556340517.22816488386817
DRESDEN/blocks/vg0DRw2.6299895256243616946.7666666666662641.366666666667
BASE/firefighter/WJmoPw2.63355380310353572760.66666666666651048.2666666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.6346805669307924382.25392486917104145.0854914508549
BASE/lightsOnParallel/SC6enA2.64958046594572363863.01457.9666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.6516140475345872491.633333333333939.6666666666666
BASE/stateSpaceLarge/0Ge_CQ2.65814369117121443718.31398.8333333333333
DRESDEN/blocks2player/3ev8nQ2.6866159492315934685.11743.8666666666666
DRESDEN/lightson2x2/gBHuig2.6923234181743844389.8333333333331630.5
DRESDEN/catch_me/ghGWrA2.69296268469822182509.0333333333333931.7
DRESDEN/CatchMeIfYouCanTest/CX18rA2.69422507403751242547.3945.4666666666667
DRESDEN/statespacemedium/dVJZ_w2.69452746230988945409.5333333333342007.6
DRESDEN/Thief_Police/CX18rA2.69488168087439432539.5666666666666942.3666666666667
DRESDEN/statespacesmall/h-NqjA2.70597777173116778618.93185.133333333333
BASE/factoringEasyTurtleBrain/lUj94Q2.7187046584138552935.56666666666661079.7666666666667
DRESDEN/8puzzle/8fKC2w2.720539126936232253.9666666666667828.5
BASE/asteroidsParallel/WauZiA2.7265695449629814728.3333333333334267.1244291856938
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.7390865730200296403.1532282257258147.18528147185282
BASE/stateSpaceMedium/3bUoIw2.74699940582293545393.7333333333341963.5
BASE/blocks2player/wnTLOQ2.74847846211419934651.4333333333331692.3666666666666
BASE/duplicateStateMedium/U163eQ2.752327243618122072.4333333333334752.9749008366388
DRESDEN/firefighter/WJmoPw2.7530243261012492791.56666666666661014.0
DRESDEN/tictactoelarge/IwXcbg2.75486337986337972473.5897.8666666666667
STANFORD/tictactoe7/-bE9-A2.7636160779823253137.53333333333331135.3
BASE/asteroids/BKCmPQ2.76770605489513871272.7333333333333459.8513382887237
DRESDEN/battlesnakes2011/93VtTw2.772705879809771712.4666666666667256.95717380436594
DRESDEN/statespacelarge/8-y5HQ2.77768564809169633796.6333333333331366.8333333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.7834261049263382411.90587294180386147.985201479852
BASE/simultaneousWin2/PfjRjw2.7843773069278821307.5469.58434718842705
DRESDEN/snake_2009/zIYLVw2.787883669293601460.6513116229459165.23333333333332
DRESDEN/lightsout/XgLpzQ2.80996316198587342771.4666666666667986.3
BASE/connectFourSimultaneous/7ITr3g2.8215157628966545546.2666666666667193.607518997467
BASE/snake_2009_big/-oRfVw2.8239860740740736381.2134.98650134986502
DRESDEN/aipsrovers01/qS47Mw2.83984962406015031133.1399.0
BASE/aipsrovers01/4C4jsw2.84164035161155271131.3333333333333398.12685398126854
BASE/alexChess/LNo83g2.845110777944361414.7926036981509255.1993067590987865
BASE/incredible/8Qh-6Q2.8476568769057942365.8333333333335830.8
BASE/stateSpaceSmall/Q7osKA2.8505754374901479040.63171.5
DRESDEN/frogs_and_toads/GjchhQ2.8513399350945283240.6759324067593384.40801093005432
BASE/duplicateStateLarge/dcjyuw2.8541146802325583785.4275.1816545563629
BASE/factoringMutuallyAssuredDestruction/NH0LGg2.85614412476472172832.5333333333333991.7333333333333
DRESDEN/battlesnakes1509/-qZrLw2.8575972347181793719.9251.92493583547216
DRESDEN/cube_2x2x2/fp-34Q2.8622235953886591222.0333333333333426.95243491883605
BASE/englishDraughts/jFkQxg2.874861162532395258.807452588074590.02433090024331
BASE/pacman2p/4LEdQg2.88154862190277261.546151282905721.358706500765187
DRESDEN/pacman3p/rBnk8Q2.88285045385260868.4128094904861823.730960237309603
BASE/snake_2009/7l-qAQ2.8978950308453664474.93333333333334163.88907406172922
DRESDEN/toetictac/mJtxCA2.9105622175877654465.9666666666661534.4
DRESDEN/ggp-course2013_nicolai/uEin8g2.911130567607643576.287285452424626.205380927011188
DRESDEN/snake_2009_big/DgC1NQ2.92096048024012389.2536915436152133.26222459251358
BASE/blocker/dIWtxg2.92336494490992263175.06666666666661086.1
DRESDEN/grid_game/U7_Yeg2.9283884543125533571.4666666666667195.14715195147153
DRESDEN/tictactoe_3d_2player/LMuX9w2.9330478545454546134.445.822641383677144
BASE/pacman3p/wW7UVQ2.935244675060869462.3729717122580221.24966693312017
BASE/lightsOnSimultaneous/_VN6lw2.94225285581765171480.1503.0498983367221
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.944695829059829478.43333333333334162.47292117980336
STANFORD/buttonsandlights/eyhJpA2.94667663924208429849.2666666666663342.5
DRESDEN/pentago_2008/hLjVpQ2.947864428083128400.31998933368885135.8
BASE/blocksWorldParallel/RseaAQ2.9481185010756441690.1573.2808906369787
BASE/factoringMediumTurtleBrain/8RBqmQ2.95282518911621631409.5333333333333477.35075497483416
BASE/toetictac/mTThmg2.96928490746372384556.4666666666661534.5333333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg2.9712168004941324801.7333333333333269.8333333333333
DRESDEN/connect5/1kYzSg2.97605117876142419.8840927258193436.681367870190567
BASE/tictactoe_3d_2player/IUC1rQ2.9792002470349788133.5688339387476244.83378855505962
STANFORD/multiplesukoshi/vLSQPg2.9860317139388592372.32092263591215124.68753124687531
BASE/mummymaze2p/vpjDdA2.994098559179510445.3394629888733415.142942723067195
DRESDEN/logistics/fPru1Q3.0001129943502822885.0333333333333295.0
DRESDEN/lightsout2/LFtfyQ3.00017750206590432913.9724018398774971.2666666666667
DRESDEN/stratego/Z2wovg3.0120112224049436671.5333333333333222.95180321311912
DRESDEN/tictactoelargesuicide/6J4DeA3.01511905742770032439.633333333333809.1333333333333
DRESDEN/blocksworldparallel/2JfVaw3.0190788434191812547.7843.8666666666667
DRESDEN/gt_chicken/CeuKtw3.0216925008529514491.96666666666664162.8116251166511
DRESDEN/mummymaze2p/k-8edg3.02403706658929445.4818072770891715.040095830699098
BASE/tictactoe_3d_small_2player/oOryKA3.0433281226779747815.2061597946736267.8666666666667
BASE/pawnWhopping/Ypc_6Q3.046564839723444807.7666666666667265.14015265140154
DRESDEN/uf20-010.cnf.SAT/5ICbCg3.0480856131156497478.3840538648712156.94574056792428
STANFORD/tictictoe/rpt_Dw3.0535496957403652258.1739.5
STANFORD/multipletictactoe/_bkafQ3.061797866490707618.6666666666666202.05993133562214
DRESDEN/tictactoe_3d_6player/ulZPWg3.0816812053925453129.490169943352242.01932689103632
STANFORD/selectivesukoshi/3xmXYg3.0902636916835697406.26666666666665131.46666666666667
DRESDEN/slidingpieces/s9_44g3.0972882662896795803.3065564481184259.3580213992867
DRESDEN/point_grab/r5DPmQ3.1214801923960074304.8333333333331379.1
BASE/slidingpieces/uFJWEw3.1249587566240145805.9257.8914036198793
DRESDEN/gt_prisoner/huCp4w3.126371389679803627.3790873637546200.67324356752434
BASE/tictactoe_3d_6player/d7KSwg3.1317696133892534125.2040646343494939.97869578243068
DRESDEN/capture_the_king/EQ229Q3.145367473537754644.8352819692881714.25438596491228
BASE/switches/tPUoCg3.1556616326259066324.3666666666672004.1333333333334
BASE/ticTicToe/c1OobQ3.1658091670248162209.766666666667698.0100663311223
DRESDEN/tictactoe_3d_small_6player/llDEDQ3.1809178254313957632.8333333333334198.94677198946772
BASE/checkersTorus/2vm1EQ3.187073781812142462.77070700339841419.695404405638683
BASE/skirmish/Y_psYQ3.20063927548778125.0049943397482867.8125
DRESDEN/catcha_mouse/cHv4dw3.20926642010097441214.7333333333333378.508099460036
DRESDEN/connectfoursuicide/M9CNQg3.2094615995802416951.4666666666667296.45678477384087
BASE/catcha_mouse/cHv4dw3.21772793458190431219.8379.0873637545415
BASE/brawl/6Ymo_Q3.22600278574923239.0112269713828812.092744353387967
BASE/coloredtrails/EZvr7g3.2326332794830371600.8495.2
BASE/maze/cCX3qQ3.2428331426937386048.11865.0666666666666
BASE/nineBoardTicTacToePie/B8LzeQ3.2726049915414044751.6082797240092229.66666666666666
BASE/tictactoe_3d_small_6player/g_9lww3.2842171014492756654.5666666666667199.30675909878684
STANFORD/madness/UO_B3A3.29654656650933967.6115136608389282.3089355806972987
BASE/mummyMaze2p_2007/YGA3Vw3.322458562810831499.486735101986429.94370982246944
DRESDEN/2player_normal_form_2010/NG_Kdg3.341031770512035776.8666666666671729.0666666666666
BASE/hodgepodge/9yjRkw3.36206254023105363307.9333333333334983.9
DRESDEN/brawl/2kXtfQ3.36901710566977539.4587749116843311.712251281027484
BASE/ticTacToeLargeSuicide/727_8g3.37019148815273571977.0666666666666586.6333333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw3.3795530669689273289.0903636545448385.54100436535705
BASE/connectFourSuicide/c8p9Kw3.3804330128615994878.9666666666667260.01599893340443
DRESDEN/connectfour/5tc-Mg3.4046837933644003949.6666666666666278.92947606985734
BASE/hidato37/pBrqxw3.406526596901757360.95650724879186617.894035321559482
STANFORD/skirmish/w4V6Vw3.40979124881338928.1446760413550092.388614271970275
BASE/breakthroughSmallHoles/bxclRw3.42045296813163931094.7320.04533031131257
BASE/gt_chicken/gmepTQ3.423128634052253433.76666666666665126.71643780829223
STANFORD/jointbuttonsandlights/qAKuIQ3.43286245726925374552.4333333333331326.1333333333334
STANFORD/checkersonabarrelnokings/Zrevdw3.43351777436001183.7527078820196624.392682195341397
BASE/gt_staghunt/xPjLRA3.437114020824419535.4666666666667155.78961402573162
BASE/ticTacToeLarge/TZC0dg3.44440674131885552030.1333333333334589.4
DRESDEN/chinesecheckers1/Y-ftaA3.4470021413276233643.8785373820873186.79377354088197
BASE/lightsOut/5P1ZBw3.46014511303931152246.366666666667649.2116929435686
BASE/connectFour/WAIKTw3.4655125089413445861.2666666666667248.52504916502784
DRESDEN/CephalopodMicro/H3XQfg3.468328690671750589.9303356554781525.92901183136144
STANFORD/threepuzzle/41ibjA3.4752974251722843378.8972.2333333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg3.477480485427164100.3799240151969628.86570447651745
BASE/rubiksCube/9tNO9Q3.488134075841952292.2666666666666583.78882815624583
BASE/lightsOnSimul4/9FeASw3.5032758233373011275.2666666666667364.0211992933569
STANFORD/3puzzle/41ibjA3.5650204359673033488.9666666666667978.6666666666666
DRESDEN/knightwar/7hhAqg3.5681773786196382546.2333333333333153.08469153084692
BASE/qyshinsu/R08Lzw3.5690427209855367211.5455121154551359.272339574865065
BASE/nineBoardTicTacToe/wRmqqA3.5757015627625606709.3198.36666666666667
DRESDEN/4pttc/9pB9AQ3.575993412832185299.856671444285283.85269121813032
BASE/snake2p/I3wWPQ3.5809213041717291080.5666666666666301.7566081130629
BASE/mineClearingSmall/frsbvw3.585616126992474268.491050298323474.88003199146894
STANFORD/8puzzle/jNiGtw3.5878983407953651816.4333333333334506.26666666666665
BASE/checkersBarrelNoKings/rnKNeg3.595140954861768586.4711762745751424.052235325471383
BASE/gt_prisoner/klthDw3.6004244551703963546.9333333333333151.9080153307782
DRESDEN/grid_game2/kypTYQ3.60831234179642561568.0434.55218159394684
BASE/four_way_battle/xSOQXA3.62091981407333656.1184451168822541.6897488569345969
DRESDEN/skirmish3/3LU8Nw3.63349618345558462.19378062193780517.11678710579773
BASE/eightPuzzle/vLrgFg3.65855705721827061817.2666666666667496.7167761074631
BASE/checkersTorusNoKings/pwb6oQ3.65895900611033386.1046317894035323.532548915036166
STANFORD/nineboardtictactoe/y28P-A3.6679800124780217718.5333333333333195.8934702176594
DRESDEN/knightazons/02I8BQ3.680675328077619749.1934408745500613.365330133653302
BASE/cephalopodMicro/9l2D3g3.69271539377689878.094793680421321.148338106973956
BASE/gt_coordination/IVMOzA3.6959933376877854754.4204.11292204112922
BASE/tttcc4/8Bs2lg3.7029308370778398103.4689593122063427.942449876773463
DRESDEN/breakthrough/z4hK7Q3.7793365305768707134.31990134319935.54060355739124
DRESDEN/3pttc/uwYBZw3.7876826207382788835.6333333333333220.61862542497167
BASE/knightazons/apnJBQ3.801137161515647349.97168271312922613.146508686680423
BASE/chess_200/XsTpYA3.80403847434488712.0867046249125963.177335010260144
BASE/ttcc4_2player_small/Cv72TA3.8044861924197324246.150256649556764.7
BASE/majorities/ibJzSQ3.8079619574811026387.94080394640355101.87622887992802
BASE/ttcc4/Le0qjQ3.808715893095645103.452872950273327.162139643392766
STANFORD/connectfour/VMpZkQ3.816964932094353889.9233.14335233143353
BASE/beatMania/qUHwvQ3.82140256579671831927.8333333333333504.4831838938702
DRESDEN/tictactoe_3player/ESLQQQ3.831557411054221972.8253.89153694876836
DRESDEN/four_way_battle/xSOQXA3.8450824212288916.603397929386781.7173618679612932
DRESDEN/breakthroughsuicide_v2/LU1nAw3.8528928023707363136.3197013631970335.381130063965884
STANFORD/eightpuzzle/W_aWbA3.857452029728871846.3051231625614478.6333333333333
BASE/battle/8oAvhQ3.8679708119857173.72612948299953440.9633292659430993
DRESDEN/3pffa/0YrmQw3.871720363184852831.4333333333333214.74519214745192
DRESDEN/tttcc4/sAvtFg3.879489294493826108.4819196800533227.96293827489668
DRESDEN/pawntoqueen/f_x6Aw3.89665915474724365.0488274762505811.2956810631229236
DRESDEN/breakthroughsuicide/Y9QzqQ3.9055267955801107141.336.17949828430556
DRESDEN/battle/8oAvhQ3.94525362198903243.80681253930947740.9649094593290662
BASE/3pConnectFour/PqXOFQ3.9498813941741036781.8666666666667197.9468719794687
BASE/futoshiki5/TJ4BZg3.969032540218248783.8333333333334197.487252974306
BASE/breakthroughSmall/HJ0tIA3.970470154676729359.3880203993290.51523028727588
BASE/pawnToQueen/-O1_JA3.9813917969071574.9918466504708971.2537943777220535
BASE/choicethroughalt/tt71Lg4.00487423594662297.3870150646580424.317121918720854
BASE/breakthroughSuicide/wZDpIg4.007219380553181127.1497133715504631.730160317301603
DRESDEN/knightthrough/J7Fc_Q4.012950679421798134.362187927069133.482142857142854
BASE/chinook/XQh0IQ4.02577910165484694.5333333333333323.481997135529426
STANFORD/triplesukoshi/Iu9mbA4.0264744965756921313.0333333333333326.1
BASE/breakthroughSuicideSmall/XSbJog4.044012235437255361.609226051596689.41843026162306
BASE/futoshiki6/JmvXNA4.048933500627353537.8154061531283132.82890570314322
BASE/breakthroughHoles/nZk0Sg4.050213248495298127.3915072328511431.453037017292505
BASE/connectFour_9x6/B9TtMw4.053467019489248803.9666666666667198.3404978506448
STANFORD/bestbuttonsandlights/nm0wEA4.0548801760459445036.5666666666671242.1
BASE/gt_centipede/9fRMpw4.0617647058823541979.4333333333334487.3333333333333
STANFORD/rainbow/_4qNSQ4.0649818665932155903.1666666666671452.2
STANFORD/multiplebuttonsandlights_9/SqB9BA4.0650171671480744972.61223.2666666666667
DRESDEN/knightstour/cGISAA4.0690601331330082166.5666666666666532.4489183693877
DRESDEN/hitori/S8Gsyg4.0747873817820721.1212610889423870.27517045280826735
BASE/breakthroughWalls/vOZaYA4.077103049421661129.1666666666666631.680991405156906
DRESDEN/ghostmaze2p/HY0UwA4.078229362993349135.153151351531533.14015454303224
BASE/breakthrough/TGxk-g4.080192910499198129.1956934768841231.664114004128653
BASE/gt_dollar/TGjqRw4.0998447749236392729.266666666667665.7
BASE/futoshiki4/BaCwSw4.1007035346624971398.5666666666666341.0552981567281
BASE/dualConnect4/WbCQkg4.156228594371987472.8842371920936113.77724455108978
STANFORD/chinook/osFbPA4.19546169037926790.1213171577123121.480667399340593
STANFORD/bestbuttonsandlightsbig/g0JC6g4.1985084281420043678.0333333333333876.0333333333333
BASE/tictactoe_3player/GtM71g4.204935106553437874.7666666666667208.03333333333333
BASE/hitori/S8Gsyg4.2256805477458411.12459894816921910.2661343978709248
DRESDEN/knightfight/4_Ly4w4.226956852.812.4912561207155
STANFORD/multiplebuttonsandlights/cK70Yg4.2846924177396285191.3333333333331211.6
DRESDEN/ggp-course2013_michal13/jWKddg4.294048865037832472.25092496916767109.97800439912018
STANFORD/dualrainbow/G3OnRQ4.2943804907603763780.2880.2666666666667
STANFORD/alquerquezero/uVgA_A4.303634568595164285.790473650878366.4067706250833
BASE/ghostMaze2p/W-NU-w4.338572932722052129.8116980503249429.920367840602406
BASE/connectFourLarge/aU644A4.375098296199213556.3666666666667127.16666666666667
BASE/hidato19/rRHSmA4.428199927325581609.3137.59541348621713
BASE/skirmishNew/sibw2g4.431051473078575523.7167316211984955.352393617021277
BASE/snakeParallel/RCVNtw4.4317935373047262278.9514.2161927935736
DRESDEN/god/2EDD5w4.47747730517704320.907547358258154.669492648032852
BASE/bomberman2p/4CClwA4.485748218527316125.928.066666666666666
STANFORD/dualhunter/1rPZjQ4.5002468649102421548.6333333333334344.12186260457986
BASE/ttcc4_2player/_aH_Mw4.51700582213654492.9480770512564220.577364898611528
STANFORD/ttcc4/Cx9SGw4.51889832050108796.544139700736521.364530213645303
BASE/knightfight/SJRkAg4.53387059513361454.5430313530803312.030125299920021
BASE/golden_rectangle/_nYzfw4.556223529554103457.7180760641312100.45996933537764
BASE/god/qF06gw4.56278106126400520.773686663559494.552856335781463
BASE/shmup/ssTNlg4.605371389645776675.9333333333333146.77064587082583
DRESDEN/bomberman2p/x4h6jQ4.655358538282835131.8446925512414528.32106087362143
STANFORD/platformjumpers/HEQskA4.66107443522500225.483011325782815.467196819085487
BASE/speedChess/bPnisA4.68877565387632523.2767232767232784.964349970013993
DRESDEN/checkers-mustjump-torus/cVc3gA4.702861452131921.0164267680907570.2161294306533284
BASE/connectFourLarger/qKi60A4.703531179966116210.9263024565847844.84424454439447
BASE/pegEuro/5awwhg4.7135244575863515315.5122991800546466.93766034718288
BASE/checkLines/Vop7oQ4.731850097096086698.6433785540482147.646980402613
STANFORD/hunter/14dD-g4.7626418988648092153.6666666666665452.2
BASE/peg/fJHVWw4.763762387103565321.255958134728867.43744377436444
STANFORD/breakthrough/d5j0cQ4.78297091911549905.9333333333333189.4080789228103
BASE/point_grab/V_osUg4.82145149321266953374.1699.8100063331223
BASE/chineseCheckers2/eCMR3Q4.838360656270305496.3102.5760655846969
BASE/chineseCheckers3/-1rZdQ4.892763420341504366.521115962801274.91086007531074
DRESDEN/Runners/3bOCQw4.9071289334447231174.7666666666667239.4
BASE/ttcc4_2player_alt/ZEJvYA4.95353868356763494.9143504632406819.160918391149323
BASE/pentagoSuicide/SBgNhw5.039081609433717372.120929302356673.84697414022928
BASE/gt_attrition/kD_SCA5.0620829321735671.16198001394376020.2295458271847844
BASE/chineseCheckers4/avfBcQ5.062720707619941301.8364830183648559.619422134835204
BASE/pentago/86NgKw5.073016498373338376.8874370854304674.2925707429257
DRESDEN/mimikry/GJEhwA5.139520725279358812.2333333333333158.03678528588566
BASE/tron_10x10/7ZTgDg5.233481075150851272.0243.0504633024465
BASE/hexPie/48CH6Q5.235880775535774126.2582494500366624.11404209965361
BASE/escortLatch/mX9BjQ5.238546938836215438.2041197253516383.6499366793308
BASE/hex/T1MK8g5.273699439707503131.086891310868924.856723977075838
STANFORD/pentago/ZxzLmg5.279612449470971406.2864571180960576.95384102649558
BASE/amazons_8x8/7SOsIw5.29278519789356550.043313120543749.455005493225022
DRESDEN/checkers-mustjump/HUr33w5.2938707165839611.21478757633462480.22947057859367317
BASE/chineseCheckers6/rREH3A5.325990801186944239.2666666666666844.924348463640605
BASE/quartoSuicide/-23jUg5.42776917183023621.553734426011063.9710116152089743
BASE/quarto/EwBMVQ5.438445784336586522.5190712548719144.140718166158739
STANFORD/pilgrimage/ObRZnQ5.440352300377746239.042762390427643.938838735467534
STANFORD/knightstour/cEwgNA5.47846719658322551539.2666666666667280.96666666666664
STANFORD/hex/MTqWcw5.5203992269159131.5956134795506823.838060993474496
STANFORD/knightstourmedium/x1wu8Q5.5724682886254931786.5333333333333320.6
BASE/knightwar/DVGY4Q5.644498156028369176.7666666666666831.316631130063964
BASE/knightsTourLarge/M8jgLA5.6889714629312245599.7466751108296105.42269002731331
DRESDEN/max_knights/hCipiA5.7099386117992786.6238391638651271.1600543568327202
BASE/knightsTour/mvtVIg5.76912888806645351558.7666666666667270.19099363354553
DRESDEN/quartosuicide/WIU1oQ5.79512312152210923.991203225483994.139895343445717
STANFORD/freeforall/Lfp40Q5.796660010649627483.666666666666783.4388537154282
BASE/knightThrough/gcwFjA5.83832691653409567.428838077461511.549342652687635
BASE/checkers-mustjump-torus/uSApKQ5.8461494891763388.5399082873662521.4607748746721556
BASE/amazonsSuicide_10x10/XIbQkg5.98435242918001523.110223110223113.8617750848924697
BASE/chineseCheckers1/gqtwHw6.013868447647448806.6333333333333134.1288623712543
BASE/factoringImpossibleTurtleBrain/kcBhdw6.02702860605178917.136392373473532.843257182530499
STANFORD/knightstourbig/TQUI2g6.134993891797557468.666666666666776.3923607639236
BASE/max_knights/2fq3Ag6.2038058341618496.781238573280591.093077177873468
BASE/amazons_10x10/Bun8dA6.21673098675893323.055426176059623.7086092715231787
BASE/connect4/50bOyw6.222832923368023657.6105.67534242010197
DRESDEN/backgammon/mqCW0Q6.257466184149003312.2895903469884649.906716417910445
DRESDEN/quarto/OQzRYQ6.3992812786295625.9441817091853724.054233683370995
BASE/4pttc/AL1k2Q6.42082889151945991.439234896197814.241032807612964
DRESDEN/connect4/T0-rHQ6.463360342429106670.9333333333333103.80565182617968
BASE/sheepAndWolf/g4THrg6.46998667781494128.7666666666666819.902153293174027
BASE/3pttc/0sol9g6.70199692780338145.4236384241050621.698553429771348
BASE/cittaceot/fDxhXg6.798662991596639674.133333333333399.1567509915675
BASE/2pttc/unkkYA6.985746864887243214.6523565095660330.72718789575418
DRESDEN/golden_rectangle/1uloXw7.390973429677495473.650878304056564.0850468224081
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.6234506788233229.7775117230370161.282557221783741
BASE/checkers-cylinder-mustjump/rjr6qQ7.9438275919214339.7973873633697691.2333333333333334
BASE/2pffa/6oHijA8.01990064456722580.466666666666772.37828651404578
DRESDEN/kitten_escapes_from_fire/uW-YiA8.155257381055053630.233333333333377.2793921620901
BASE/chomp/-LcqYQ8.1958978076062631831.6223.4776522347765
BASE/4pffa/Q3ADlg8.217801507491306449.836677554829754.739297018157586
BASE/kitten_escapes_from_fire/uW-YiA8.440339909396464641.533333333333376.00799733422193
BASE/amazonsTorus_10x10/Uxc08g8.54294269114518613.3803754493409671.5662490002665956
DRESDEN/chomp/-LcqYQ8.5845485262116711928.5333333333333224.65168988734084
BASE/3pffa/pR0dzA8.603827557224607534.566666666666762.13126229125696
BASE/2pffa_zerosum/o0_uZA8.904040097059154554.981500616646162.329178054796344
BASE/cylinder-checkers/hlldmw8.907232180537972.49883387752382240.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q8.9194705333113642.50453122425440760.28079371022089106
BASE/biddingTicTacToe/8mESVw9.0250263435194941141.9666666666667126.53333333333333
BASE/othello-comp2007/86ZoMw9.08516396292880519.9567603525694322.196631831192172
BASE/checkers-mustjump/T-8UuQ9.2027445011783211.5938166311300641.2598216357789345
DRESDEN/SC_TestOnly_enabled/09o7gQ9.3394023561395552061.0220.67793220677933
DRESDEN/bidding-tictactoe/yW5vTA9.6134419117647061307.1666666666667135.97280543891222
DRESDEN/checkers-newgoals/IJOqXQ9.7194851505573612.7186526092434190.2797115862754848
BASE/othelloSuicide/B442jg10.4924794023493920.0859398421105231.9143177767509407
BASE/othelloHoles/c0qAzw11.17847781233746421.6095628142376731.9331400193314001
DRESDEN/Goldrush/VeWczQ11.848087217605565513.382887237092143.3304446370242
BASE/copolymer_4_pie/IN5_jA12.296339351582217703.666666666666657.225703239568055
BASE/copolymer_4/2LDVhQ13.470666924910608753.233333333333355.91655836582358
BASE/queens08lg/Ru7eqQ13.634247714048213546.733333333333340.1
BASE/colonelBlotto/jip21A14.1373518115536295.16030229383760.3650119458455004
BASE/gt_ultimatum/GE-uOA14.316135638350808301.9798680087994321.093671898430472
BASE/crossers3/O0rORg14.8748600093327149.230051329911343.3096144299189145
DRESDEN/racetrackcorridor/O0DoTA14.9788582854956869.366666666666758.039581528619976
DRESDEN/crossers3/xiPTxg15.07117731976007749.078732549228673.256463082341995
BASE/ad_game_2x2/D0aWqg15.2986954565901940.4498425551057130.029403981299067895
BASE/queens06ug/7Lq3tw15.3728169230769241165.575.81564301662945
BASE/hallway/ckCJOw15.462084695298826272.348510099326717.61395797955582
DRESDEN/gt_ultimatum/pAiiQw15.722899591502873349.188360387987122.208903539439948
DRESDEN/hallway/0H4l-Q15.916856002554276276.833333333333317.392463265918103
BASE/racetrackcorridor/_RkdUg15.998578127930971947.333333333333459.213595468177274
DRESDEN/roshambo2/jgSlkQ16.293920686407875190.7318.56666666666666
DRESDEN/smallest/9kaGFw16.701671442215854582.534.87674883411059
BASE/roshambo2/KNPokQ17.265444393519515399.3312.72290923635876
BASE/reversi/d8UMeA19.3722516499610135.8141392624151251.8487339473771087
BASE/reversiSuicide/9OxJlg19.64971670359205235.657211346384341.8146425154244614
DRESDEN/smallest_4player/ADDROA19.783903476669717720.433333333333336.41512577044811
BASE/smallest_4player/ADDROA19.8081261989914715.54281523949236.123700346574246
BASE/pancakes88/l2Xaig20.145593869731823.8880559720139941.1857707509881423
BASE/biddingTicTacToe_10coins/a-9ccQ20.22071737089202573.866666666666728.380133906265613
DRESDEN/bidding-tictactoe_10coins/mu5VhQ20.454084895259097618.333333333333430.230310302303103
BASE/battlebrushes/arCwyA20.96366568539613399.900166389351094.765395894428153
BASE/queens08ug/kJ_ZFQ25.21671894075404936.137.122196674331036
BASE/kalaha5x2x3/WviNsw26.51471518060412436.8375441637224416.475287069395907
BASE/dotsAndBoxes/EHwA_w27.218607803030306798.066666666666729.32062772798454
DRESDEN/quad_7x7/q-JOXg27.304553030303026640.533333333333323.458847050983007
BASE/quad_7x7/q-JOXg27.36029617563739643.323.51217237819296
BASE/dotsAndBoxesSuicide/jzQbLw27.48586863196514796.373454218192728.97392346887801
BASE/wallmaze/uxNQ9g29.412188372416967711.442951901603224.1887119344306
BASE/queens31lg/0gID-A35.4574703402539437.4246009264504951.0554785935747741
DRESDEN/quad_5x5/JAEP5g36.16131657142857209.933333333333345.8054670912951165
BASE/queens12ug/u6Bkmg36.27493216080402480.7666666666666513.253413253413253
BASE/quad_5x5/JAEP5g36.70117339563449203.746292037462925.551492586929061
BASE/queens16ug/gT-ylw41.011509834094305270.82430585647146.603617056578729
DRESDEN/nim3/sG_axA43.898898402555911372.831.27185533020282
BASE/nim3/1OwUqw43.967918918918921355.030.81792437114776
BASE/nim4/twk16w44.244628040057221374.166666666666731.05838443081845
DRESDEN/nim4/F5YAYg44.577977598566311380.766666666666730.97418817651957
DRESDEN/nim2/z5_exA46.3347930018416251397.533333333333330.161639726712213
BASE/nim2/eF2Qqw46.407736214442021412.930.44535491822391
BASE/skirmishZeroSum/zh4hcw47.7259439794559621.6045272969374160.4526788889966696
BASE/nim1/hin2Qw49.1583205837173551422.266666666666728.932368921035966
DRESDEN/nim1/M9BALA49.864643902439031429.428.66560127846584
DRESDEN/small_dominion/yB5GJA51.2929560418817920.0526298257886140.3909431503502199
BASE/racer4/0vs7Ww52.0299902326407415.0173148641449130.28862805464691166
BASE/kalaha6x2x4/XS81Mg53.162428633331274247.29175694143534.651626407947636
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg62.45810590844025376.45411819606016.027306027306027
BASE/checkers-newgoals/0XkFiA63.74510503991659528.1915425372388280.4422542330048016
DRESDEN/snake_2008/E56l3A64.6240485928389329.078061462569175.092191972309126
BASE/snake_2008_tweaked/bX0NJQ65.06628706140351328.36666666666675.0466482950961185
BASE/snake_2008/i6K26g65.64812093982833331.62227925735815.051512130275839
BASE/hanoi/iGLsJg77.378964761904771624.633333333333420.995800839832032
DRESDEN/hanoi/RQ0jiA79.310236220472431678.733333333333321.166666666666668
DRESDEN/checkers/jIDMIg81.886666666666672.36666666666666670.028901734104046242
BASE/checkers/rOC3Xg82.0991896732609561.925076656445810.7542714721411472
BASE/pancakes/yUgbXw85.84669784172662793.13333333333339.23894981721502
BASE/colonelBlottoVariant2/jruwGw87.0148049409046541.8555051986137060.4810159055926116
BASE/pancakes6/QZTdnw87.10462238442823794.86666666666679.125424631985613
DRESDEN/quad/JPe6fg88.02598040691349179.609385415277962.0404133482524847
BASE/quad/tw-Ufg90.07947086068442186.831495118456562.074074074074074
BASE/guess/SPpk1A90.5472367371304232.02559914669512.5624812805750605
BASE/colonelBlottoVariant/X-n-KQ91.190152510424442.383046781287480.46477657526060684
DRESDEN/guess/PhxGhg92.2994844203369231.517898806746222.508333608369913
DRESDEN/quad_5x5_8_2/JRTLJg95.78906586953246212.878712128787132.222369643094069
DRESDEN/Travelers-Dilemma/PvZwYw98.4874571076390225.452243728553820.2584313218762114
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA104.6947263350524139.9268008650806860.3813640119494057
DRESDEN/satlike_20v_91c/yeuENQ107.2156995411804839.206565438415790.36567933246900036
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g107.734672825940739.467192895905280.36633696339960703
BASE/checkersSmall/SYmq8w109.8909367639870386.721770430609250.7891621728265158
DRESDEN/satlike_20v_91c_version2/yd9ioQ117.8449304174950538.436050364479790.32615786040443573
BASE/blobwars/0XT15Q120.28007852793417.5024124047516060.1455138092604988
DRESDEN/pancakes/hl9aiQ121.729974276527341259.666666666666710.348040194316896
DRESDEN/pancakes88/aD3E7g123.044232786885251249.710.156510156510157
DRESDEN/blobwars/ZaMluQ125.9385579101692717.8262028521924560.1415468236892764
DRESDEN/pancakes6/SZXMyQ126.4639637727761309.133333333333410.35182904503545
DRESDEN/fizzbuzz/t1xHzQ131.26221275510204855.16.514441453119288
BASE/hanoi_6_disks/MeubgQ134.84448749999999287.42.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ139.48563196041613289.857004766507772.0780420226275687
BASE/knightmove/jBaJEw146.9319976253956385.3538215392822.6226678175419957
DRESDEN/knightmove/97Ipcw157.3997778133134409.71967601079962.603051171373027
BASE/checkersTiny/Lr48cg174.0974663163402133.062231258958040.7642973448974845
BASE/solitaireChineseCheckers/-ET6gw214.4927499119746713.8279824589481780.06446829771459885
DRESDEN/racer/vk_ZBA220.2248774101932418.205418358516940.08266740148801323
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA221.853021520421117.0564328069824780.07688167909587146
BASE/racer/QQYQNw227.8592518592518818.1152181152181160.07950178879024777
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A232.284771742752417.927357547484170.07717835918808366
BASE/gt_tinfoil/Q8DyKg237.71419524714196118.821451188214510.49985004498650404
DRESDEN/vacuumcleaner_random/_6AGDA254.1137656806308814.4411539613349740.05682948313585088
DRESDEN/vacuum_cleaner_1/eUNjpw311.6086030097216616.0474097749367420.051498609537542483
DRESDEN/kalaha_2009/gcC8uA462.8650849150849422.011322011322010.047554509356349715
BASE/kalaha_2009/dRiN3g479.106781410213722.072042080031960.04606914979384055
BASE/hanoi7_bugfix/3gdnFw556.2129629629629157.666666666666660.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw605.0855709233646170.004999166805530.2809602597321512
DRESDEN/hanoi7/51zz5Q627.299100860626174.84335421943740.2787240631774543
BASE/twisty-passages/DiZmmg1190.195199999999962.933333333333330.05287648054145516
DRESDEN/twisty-passages/j7NPyg1250.935829946025365.935896581595260.052709255745308874
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

Games with errors:

GameREKKURA_BACKWARD_PROVER:1.0.0 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
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
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126IllegalArgumentException: too many occurrences: 2147484126
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
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