index

ALLOY_COMPILED_PROVER_CACHING:2 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
BASE/quad/tw-Ufg12.17691518148735825.2558240801219262.074074074074074
BASE/coins/QnGtnQ15.77997743731576843361.82747.9
DRESDEN/quad/JPe6fg16.29031076253659533.238967527060782.0404133482524847
BASE/coins_atomic/AA3SSw16.9676564979300647407.0666666666662793.9666666666667
DRESDEN/coins/QwFP9w17.38347532083520347815.5666666666662750.633333333333
DRESDEN/ggp-course2013_michal13/jWKddg22.4772218181818182472.0109.97800439912018
BASE/blokbox_simple/JBx4bg26.130452013691205129.165555851772874.943104535049597
BASE/quad_7x7/q-JOXg26.639213867564187626.345788473717623.51217237819296
DRESDEN/quad_7x7/q-JOXg26.819685639835942629.158903380356723.458847050983007
DRESDEN/grid_game2/kypTYQ32.7121435248395614215.133333333333434.55218159394684
BASE/sudokuGrade6H/ieE_9A42.98308454067545359.633333333333124.69168722085195
BASE/sudokuGrade6E/ihYFZA43.600614281805755311.3121.81709105452606
DRESDEN/blockerparallel/dVQgSg44.86947965047626518999.233333333334423.43333333333334
BASE/blockerParallel/7-nDJA44.9064896777442118827.166666666668419.2526915769474
BASE/sudokuGrade3/eI8dvg47.172993033033925787.354597873546122.68364218104253
BASE/sudokuGrade2/u80Tfw47.632378711484595855.633333333333122.93388429752066
BASE/sudokuGrade4/DTy07w48.319136929192095807.766666666666120.19599346688443
STANFORD/sudoku/oJ1qyQ48.3755476898135655967.333333333333123.3543312335433
BASE/sudokuGrade1/tDRNRw48.4368426258831956016.066666666667124.20435231779251
BASE/sudokuGrade5/BQfUQA48.55786929494086014.1123.85428123854281
BASE/haystack/UkweGA48.98956474418057666166.633333333313598.133333333333
BASE/pearls/6k_mEQ50.20272249945355719649.333333333414334.866666666667
BASE/onestep/xi53wA50.850598241845184368475.37246.233333333334
DRESDEN/tictactoeparallel/yk_DSg56.34234565630555461266.6666666666641087.4
DRESDEN/pawn_whopping_corrected/7Ov0jQ57.02498702750169547621.566666666666835.1
STANFORD/duidoku/3SoMaA60.9784229112833744718.077.37163040218587
DRESDEN/bunk_t/7-tPfA61.224239697202377103.766666666661259.3666666666666
DRESDEN/doubletoetictac/V89gKQ61.9970964451071279002.91274.3
BASE/doubletoetictac/fu35bg62.2460717462199876983.866666666671236.7666666666667
BASE/doubletictactoe/HH1htg62.4308238781559881434.766666666661304.4
BASE/slidingpieces/uFJWEw63.0743526345267416266.333333333334257.8914036198793
DRESDEN/slidingpieces/s9_44g63.4544990918048216457.433333333334259.3580213992867
DRESDEN/eotcatcit/mQUxzA63.53817265786789137043.366666666672156.866666666667
DRESDEN/doubletictactoe/lJzgmQ63.92967211823694481175.766666666661269.7666666666667
DRESDEN/tictactoex9/rFkD4w64.1898588604286420465.866666666665318.8333333333333
BASE/tictactoex9/BI26ow64.3713666666666620327.8315.7894736842105
DRESDEN/pawn_whopping/4ogBkg64.6864410588288247977.933333333334741.7
BASE/bunk_t/xbpfIA64.7633458646616680392.91241.3333333333333
BASE/eotcatcit/AfZSzA64.96353007127412135199.933333333322081.1666666666665
DRESDEN/latenttictactoe/kITHKg65.0027581496755982486.333333333331268.9666666666667
DRESDEN/peg/Vo31eg66.2190128467153322678.5342.4771681887874
DRESDEN/chickentictactoe/Ipbo-g66.42824053129694122363.033333333341842.0333333333333
DRESDEN/peg_bugfixed/u_B7MA66.4324456085888122824.666666666668343.57709486034264
DRESDEN/blocker/S815zQ68.78038194444444142623.02073.6
BASE/withConviction/3Xm54A69.1682125988732740516.433333333334585.7666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw69.197360660572131286.433333333334452.1333333333333
BASE/cubicup_3player/e2yA_g69.4342206680453712309.866666666667177.28818078794748
BASE/futoshiki6/JmvXNA70.944899255541619423.533333333333132.82890570314322
DRESDEN/cubicup_3player/awDtsQ71.9206575609756112776.2177.64298093587522
BASE/survival/YVIjJA72.43918039474707497183.96863.466666666666
DRESDEN/tpeg/h-Scbg72.607631528232825117.4345.93333333333334
BASE/sum15/QZ07Kg73.75654945566745168922.166666666662290.266666666667
BASE/tpeg/QNs7Lw74.8901734641948325179.733333333334336.2221259291357
DRESDEN/towerworld/HCX34w75.103113419913431348.633333333333417.957089552238806
DRESDEN/sum15/CsgWKg75.35940462085308169608.92250.6666666666665
DRESDEN/tictactoe/BTTzPw75.73980642504118147117.01942.4
BASE/eotcitcit/V_9_bg76.5123190876127482294.11075.5666666666666
DRESDEN/sheep_and_wolf/enAIzQ76.8838506328701126185.766666666666340.58864704509847
BASE/numbertictactoe/rvJ-iQ76.997176759410862727.03333333333814.6666666666666
DRESDEN/tictactoe_orthogonal/y69QFQ77.40979943318074142031.51834.8
DRESDEN/tictictoe/LAUtwg78.1490764369911285745.166666666671097.2
BASE/tictactoe_orthogonal/WRzlVw78.2349593643752143433.366666666671833.3666666666666
BASE/ticblock/T21C1g81.0501544912822797930.21208.2666666666667
BASE/simultaneousWin2/PfjRjw82.5016852285633238741.5469.58434718842705
BASE/lightsOnSimultaneous/_VN6lw83.0243019723473941765.36666666667503.0498983367221
BASE/blocksWorldParallel/RseaAQ84.0708294784580548196.2573.2808906369787
BASE/futoshiki5/TJ4BZg85.0156136517043616789.5197.487252974306
BASE/queens31lg/0gID-A85.6426404906339590.393973735084331.0554785935747741
BASE/conn4/va9Y7A87.5614299018554340742.333333333336465.3
STANFORD/selectivesukoshi/3xmXYg87.8395030425963511547.966666666667131.46666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ89.1845640102056279231.56666666667888.4
BASE/double_tictactoe_dengji/zgaSbA91.7086869604327682690.96666666666901.6699443351888
DRESDEN/ticblock/Z2yNWQ92.7069490235860997478.266666666661051.4666666666667
DRESDEN/pentago_2008/hLjVpQ93.9933726067746612764.3135.8
BASE/ticTacHeaven/18n58A94.8694656060458632498.033333333333342.5552481583947
BASE/lightsOnSimul4/9FeASw98.3187244849372635790.1364.0211992933569
STANFORD/duikoshi/tpw1sw99.2995607787274455766.63333333333561.6
DRESDEN/tictactoe-init1/3ltIBQ101.8253359833428143451.533333333331408.8
DRESDEN/cubicup/SBn_lw102.3143713263263222713.033333333333221.99260024665844
BASE/cubicup/4wNWJA102.3514703520104222703.466666666667221.81866648895405
STANFORD/sukoshi/4LYZZQ104.34690818884208134604.033333333331289.9666666666667
BASE/ticTacToeNoVars/XT03NA104.51712842568513139328.31333.0666666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw104.5841690544412829199.9279.2
BASE/factoringGeorgeForman/HGRorQ105.44476644730221349296.33333333333312.6
DRESDEN/sat_test_20v_91c/dK7nVw106.472942441408421300.266666666666200.0533297780148
BASE/tictactoe-init1/7M19vA107.56891573222966149011.633333333331385.2666666666667
DRESDEN/lightsout/XgLpzQ107.57734293149483106103.53333333334986.3
BASE/chickentictactoe/DSlZCA107.98153659277254118527.733333333341097.6666666666667
BASE/ticTacHeavenFC/mrletw108.4234144508670432506.066666666666299.80670532560157
BASE/futoshiki4/BaCwSw108.4601242083659136990.9341.0552981567281
DRESDEN/lightsout2/LFtfyQ108.96499416569428105834.06666666667971.2666666666667
DRESDEN/2player_normal_form_2010/NG_Kdg109.57936844540407189470.033333333331729.0666666666666
BASE/switches/tPUoCg109.77504823365045220003.833333333342004.1333333333334
STANFORD/tictictoe/rpt_Dw110.7540229885057581902.6739.5
BASE/ticTicToe/c1OobQ112.077466749438978231.2698.0100663311223
BASE/tictactoe2/bhrDoQ112.6334761682338184872.833333333341641.3666666666666
STANFORD/tictactoe/ss1kyQ114.05895567366173138779.333333333341216.7333333333333
BASE/ticTacToe/JRFsaQ114.73964006303044138349.233333333341205.7666666666667
STANFORD/trifecta/ss1kyQ115.1164754437038141027.466666666671225.0849943337112
BASE/snakeAssemblit/UO4sdg121.0753411503018725399.066666666666209.77902209779023
BASE/blocksWorld/SEdXLQ121.12288990599933328146.133333333362709.2
STANFORD/tictactoe3/X7myng121.27905017638076153563.533333333331266.2
DRESDEN/CephalopodMicro/H3XQfg121.682230719794353155.125.92901183136144
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ122.8322727117650325600.633333333335208.4194387040864
BASE/troublemaker01/s3tlEQ123.19237077081942540830.93333333334390.133333333333
BASE/lightsOnParallel/SC6enA123.557671643156180142.966666666671457.9666666666667
BASE/minichess-evilconjuncts/4OpQzw123.6198400639926812018.36666666666797.22037061725104
BASE/ticTacToeParallel/ymRGPw123.655913972201961978.4501.2166261124629
DRESDEN/blocks/vg0DRw123.7589884024684326892.866666666642641.366666666667
BASE/blocks/xIV5hQ124.2382623141869334031.133333333362688.633333333333
BASE/factoringMediumTurtleBrain/8RBqmQ124.7416762470032459545.53333333333477.35075497483416
DRESDEN/lightson2x2/gBHuig125.30313809669835204306.766666666661630.5
DRESDEN/tictactoelarge/IwXcbg125.53125928125928112710.33333333333897.8666666666667
DRESDEN/troublemaker01/C-lPWw128.5000381405709561519.46666666674369.8
DRESDEN/minichess-evilconjuncts/th24Tw128.7023131106566612586.66666666666697.79674010866304
DRESDEN/8puzzle/8fKC2w129.01846710923357106891.8828.5
BASE/blocker/dIWtxg130.06687536445386141265.633333333331086.1
STANFORD/tictactoe7/-bE9-A131.63298981179716149442.933333333321135.3
DRESDEN/uf20-020.cnf.SAT/hDrW_A131.7364139487179421403.6162.47292117980336
STANFORD/tictactoe5/WFRReg132.5530667124385154450.833333333341165.2
BASE/nineBoardTicTacToePie/B8LzeQ132.936719883889730531.133333333335229.66666666666666
BASE/catcha_mouse/cHv4dw133.6531844045839550666.23333333333379.0873637545415
BASE/brain_teaser_extended/ZDp94A134.40864376364777207226.766666666661541.7666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg134.5189806853582626866.133333333335199.72001866542232
DRESDEN/uf20-010.cnf.SAT/5ICbCg135.4451115169533521257.533333333333156.94574056792428
DRESDEN/brain_teaser_extended/ZDp94A135.56731466376652199446.633333333331471.2
DRESDEN/tictactoe_3d_small_2player/HYttcg138.036812847436737246.933333333334269.8333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg138.0505337233869628311.333333333332205.07949205079493
DRESDEN/sat_test_20v_91c_version2/a1mPBA139.0285411036036320574.166666666668147.985201479852
DRESDEN/stratego/Z2wovg139.945343419544531201.066666666666222.95180321311912
DRESDEN/troublemaker02/iZLVuA140.8603138873257525648.43333333333731.7
BASE/tictactoe_3d_small_2player/oOryKA141.0225236436037637775.23333333333267.8666666666667
STANFORD/multipletictactoe/_bkafQ141.7176897833498428635.466666666667202.05993133562214
BASE/troublemaker02/DI83KA141.73201194182468517468.33651.0333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA142.6829715806159421000.833333333332147.18528147185282
DRESDEN/tictactoelargesuicide/6J4DeA143.6399439729752116223.86666666667809.1333333333333
BASE/zhadu/DlA8iQ143.873797583081573172.722.051965356429047
STANFORD/triplesukoshi/Iu9mbA143.8950219768986846924.166666666664326.1
DRESDEN/catcha_mouse/cHv4dw144.7308527298344554781.8378.508099460036
BASE/stateSpaceSmall/Q7osKA147.3681748909559467378.16666666673171.5
DRESDEN/uf20-01.cnf.SAT/42Rs8A148.0104347576384221474.166666666668145.0854914508549
STANFORD/dualrainbow/G3OnRQ148.99962132687065131159.4880.2666666666667
BASE/cephalopodMicro/9l2D3g150.25294110236223177.621.148338106973956
BASE/tictactoe_3d_small_6player/g_9lww150.454338840579729986.566666666666199.30675909878684
DRESDEN/statespacesmall/h-NqjA150.8975029826067480628.66666666673185.133333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ154.5038053442787630738.033333333333198.94677198946772
DRESDEN/buttons/ADUaHw155.89440313709514612228.53927.2
BASE/chickentoetictac/l57rfQ156.34991053113953238829.71527.5333333333333
BASE/blocks2player/wnTLOQ156.65972700951332265125.71692.3666666666666
BASE/blocksWorldSerial/Wyg96Q158.2068788501027184912.21168.8
BASE/golden_rectangle/_nYzfw159.1031741871267415983.5100.45996933537764
STANFORD/nineboardtictactoe/y28P-A159.3114187624071331208.066666666666195.8934702176594
BASE/stateSpaceLarge/0Ge_CQ160.20688669129038224102.733333333341398.8333333333333
DRESDEN/blocks2player/3ev8nQ160.2696880495451279488.96666666671743.8666666666666
BASE/buttons/hTcUjw160.72388097920722627658.93905.2
DRESDEN/toetictac/mJtxCA160.95561783107402246970.31534.4
BASE/circlesolitaire/azuQFQ161.12134318495825268218.71664.7
BASE/lightsOut/5P1ZBw161.55238905888996104881.7649.2116929435686
DRESDEN/circlesolitaire/ruUilQ161.82939412117574269769.61667.0
DRESDEN/statespacelarge/8-y5HQ162.21699792708208221723.61366.8333333333333
STANFORD/rainbow/_4qNSQ162.3944360280953235829.21452.2
DRESDEN/chickentoetictac/cxYaRQ163.2725988066933242633.966666666671486.0666666666666
BASE/lightsOn/MsXu3A164.0322018894484376776.52296.9666666666667
BASE/breakthroughSmallHoles/bxclRw164.374631812816852607.333333333336320.04533031131257
BASE/factoringEasyTurtleBrain/lUj94Q165.0170407186738178179.91079.7666666666667
BASE/toetictac/mTThmg167.756603527674257428.11534.5333333333333
BASE/nineBoardTicTacToe/wRmqqA173.545790623424634425.7198.36666666666667
BASE/ticTacToeSerial/Amrwqw178.607048889432897299.16666666667544.7666666666667
BASE/pawnWhopping/Ypc_6Q183.111332558139548550.166666666664265.14015265140154
STANFORD/jointbuttonsandlights/qAKuIQ183.1935451437764242939.066666666681326.1333333333334
BASE/factoringMutuallyAssuredDestruction/NH0LGg183.86901720892712182349.03333333333991.7333333333333
BASE/pentago/86NgKw183.9991069089277913669.76666666666674.2925707429257
BASE/pentagoSuicide/SBgNhw185.1842971119133413675.373.84697414022928
BASE/duplicateStateSmall/bCPAXw189.49023477936814457625.233333333342415.0333333333333
DRESDEN/blocksworldparallel/2JfVaw190.09405119292146160414.03333333333843.8666666666667
BASE/ticTacToeLargeSuicide/727_8g191.87067447014036112557.73333333334586.6333333333333
BASE/ticTacToeLarge/TZC0dg192.42133242845833113413.13333333333589.4
BASE/incredible/8Qh-6Q193.1861659444712160499.06666666668830.8
DRESDEN/ggp-course2013_nicolai/uEin8g195.048999576450655111.33333333333326.205380927011188
BASE/hodgepodge/9yjRkw198.52457905613716195328.33333333334983.9
DRESDEN/Thief_Police/CX18rA203.62424392487003191888.7942.3666666666667
DRESDEN/tictactoe_3player/ESLQQQ204.258350986827751859.46666666667253.89153694876836
BASE/coloredtrails/EZvr7g205.13900107700593101584.83333333333495.2
DRESDEN/Catch-Me-If-You-Can/ghGWrA209.661653068464197012.06666666668939.6666666666666
DRESDEN/chinesecheckers6-simultaneous/gPPGUw209.7075306479859811974.357.1
DRESDEN/catch_me/ghGWrA210.0953812028192195745.86666666667931.7
DRESDEN/CatchMeIfYouCanTest/CX18rA210.28240022563813198815.0945.4666666666667
DRESDEN/cube_2x2x2/fp-34Q212.1972517865042790598.13333333333426.95243491883605
DRESDEN/statespacemedium/dVJZ_w212.97765159062232427573.933333333352007.6
STANFORD/buttonsandlights/eyhJpA214.72093742208924717704.73333333333342.5
BASE/untwistycomplex2/EDPPAQ215.20160556153272606732.23333333332819.366666666667
STANFORD/8puzzle/jNiGtw216.11746115354228109413.06666666667506.26666666666665
BASE/firefighter/WJmoPw216.95013991350802227421.61048.2666666666667
BASE/eightPuzzle/vLrgFg219.1995624815461108880.1496.7167761074631
BASE/hidato19/rRHSmA219.8888700823643530255.7137.59541348621713
STANFORD/untwistycorridor/EDPPAQ221.71890853098108619164.83333333342792.5666666666666
BASE/stateSpaceMedium/3bUoIw222.72543926661575437321.41963.5
STANFORD/dualhunter/1rPZjQ223.6543940688363576964.36666666667344.12186260457986
DRESDEN/firefighter/WJmoPw224.5575608152531227701.366666666671014.0
BASE/blockerSerial/3eqDuw226.4647839374044683932.6370.62097930068995
BASE/connectFourSimultaneous/7ITr3g230.6317108165490344652.03333333333193.607518997467
DRESDEN/ggp-course2013_jordi/9QI6Kw233.411256758862519966.23333333333485.54100436535705
STANFORD/eightpuzzle/W_aWbA235.55400793927154112744.0478.6333333333333
DRESDEN/crisscross/GsY16g238.453800914487449541.1207.75974134195528
DRESDEN/battlesnakes1509/-qZrLw239.9206724001058460442.0251.92493583547216
DRESDEN/connectfoursuicide/M9CNQg240.4335819841091771278.16666666667296.45678477384087
DRESDEN/golden_rectangle/1uloXw247.0191428150459415830.23333333333464.0850468224081
DRESDEN/connect4/T0-rHQ247.6262086677367625705.0103.80565182617968
BASE/tictactoe_3player/GtM71g249.046787373818351810.03333333333208.03333333333333
BASE/crisscross/ICagEg250.2979170481034152494.066666666666209.72634245525148
DRESDEN/battlesnakes2011/93VtTw250.39827602680564341.63333333333256.95717380436594
DRESDEN/connectfour/5tc-Mg251.1612169992432470056.26666666666278.92947606985734
STANFORD/breakthrough/d5j0cQ254.4731298727198248199.26666666667189.4080789228103
BASE/connect4/50bOyw254.8330201723956626929.566666666666105.67534242010197
STANFORD/bestbuttonsandlights/nm0wEA256.6814534524864318824.03333333331242.1
BASE/3pConnectFour/PqXOFQ260.6652287590503651597.86666666667197.9468719794687
DRESDEN/logistics/fPru1Q264.1613559322034377927.6295.0
STANFORD/untwistycomplex/HTWEwg266.8278460874723659705.16666666662472.4
BASE/connectFourSuicide/c8p9Kw273.2272896979019471043.46666666666260.01599893340443
BASE/pegEuro/5awwhg277.0801952712792518547.166.93766034718288
BASE/connectFour/WAIKTw283.77676041219670525.63333333333248.52504916502784
BASE/majorities/ibJzSQ287.7756697742885329317.5101.87622887992802
STANFORD/connectfour/VMpZkQ288.847466561829967342.86666666667233.14335233143353
STANFORD/multiplebuttonsandlights/cK70Yg288.9225266864752350058.53333333331211.6
STANFORD/multiplebuttonsandlights_9/SqB9BA289.1088887677803353657.266666666661223.2666666666667
DRESDEN/point_grab/r5DPmQ292.6880090880526403646.03333333331379.1
BASE/tictactoe_3d_2player/IUC1rQ299.0274470529965413406.53333333333344.83378855505962
BASE/snakeParallel/RCVNtw300.54421110390876154544.7514.2161927935736
DRESDEN/tictactoe_3d_2player/LMuX9w300.764707515151513781.83333333333445.822641383677144
BASE/queens08lg/Ru7eqQ308.2527015793848512360.93333333333240.1
STANFORD/bestbuttonsandlightsbig/g0JC6g313.37452912750655274526.5333333333876.0333333333333
BASE/snake2p/I3wWPQ313.519894697890294606.7301.7566081130629
DRESDEN/tictactoe_3d_6player/ulZPWg314.172889241342913201.33333333333442.01932689103632
BASE/peg/fJHVWw331.183964723320222334.267.43744377436444
DRESDEN/oisters_farm/pTQMLg331.70256793072565370290.633333333361116.3333333333333
DRESDEN/chinesecheckers1/Y-ftaA332.0049993694979762016.46666666667186.79377354088197
BASE/tictactoe_3d_6player/d7KSwg336.6559714682209713459.06666666666839.97869578243068
DRESDEN/mimikry/GJEhwA338.8055080750579653543.73333333333158.03678528588566
STANFORD/3puzzle/41ibjA343.33048365122613336006.1978.6666666666666
DRESDEN/chomp/-LcqYQ344.6051679920870577416.13333333333224.65168988734084
BASE/connectFour_9x6/B9TtMw345.321643380376468491.26666666666198.3404978506448
STANFORD/threepuzzle/41ibjA346.2064662118147336593.4666666667972.2333333333333
BASE/chomp/-LcqYQ347.6058234750186777682.13333333333223.4776522347765
DRESDEN/3pttc/uwYBZw349.688215057662377147.73333333334220.61862542497167
BASE/maze/cCX3qQ352.09501000857875656680.66666666661865.0666666666666
DRESDEN/3pffa/0YrmQw358.604380831910677008.56666666667214.74519214745192
BASE/duplicateStateLarge/dcjyuw362.873875056524699856.23333333334275.1816545563629
BASE/gt_dollar/TGjqRw373.5875018777227248697.2665.7
STANFORD/pentago/ZxzLmg376.15189764688928946.33333333333276.95384102649558
BASE/qyshinsu/R08Lzw379.987812666291922522.76666666666659.272339574865065
STANFORD/hunter/14dD-g382.03132832080206172754.56666666668452.2
BASE/cittaceot/fDxhXg396.250041210084139290.8666666666799.1567509915675
BASE/dualConnect4/WbCQkg397.115435325131845182.7113.77724455108978
BASE/hidato37/pBrqxw398.98024891371827139.36666666666717.894035321559482
BASE/othello-comp2007/86ZoMw399.429703030303877.42.196631831192172
DRESDEN/grid_game/U7_Yeg411.648334073441580332.0195.14715195147153
DRESDEN/chinesecheckers3/QsCb2A428.7225268804315347678.7111.2110911151103
BASE/connect5/d-BVQg443.1833213515456620548.93333333333446.36666666666667
BASE/tron_10x10/7ZTgDg449.6235000548546109281.2243.0504633024465
BASE/connectFourLarge/aU644A452.972214941022357602.96666666667127.16666666666667
DRESDEN/knightwar/7hhAqg456.88304493794969941.8153.08469153084692
BASE/duplicateStateMedium/U163eQ463.6256351689538349098.4666666667752.9749008366388
BASE/othelloSuicide/B442jg469.3055724137931898.41.9143177767509407
BASE/rubiksCube/9tNO9Q475.496963139750839841.33333333333683.78882815624583
BASE/strangeSkirmish/gc1zKA481.252398449612436892.66666666666714.322352862805182
DRESDEN/chinesecheckers2/06E6-Q482.3914068381779448120.16666666666499.75336621783762
DRESDEN/chinesecheckers4/-oVNYg488.337252805986130455.96666666666762.36666666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ494.35708821930217109093.7220.67793220677933
BASE/aipsrovers01/4C4jsw495.11128935119297197117.1398.12685398126854
BASE/skirmishHoles/AUCxCA498.7796808602157724.13333333333315.486062543710661
DRESDEN/aipsrovers01/qS47Mw510.3529657477026203630.83333333334399.0
DRESDEN/snake_2009/zIYLVw512.74420012104184722.43333333333165.23333333333332
BASE/snake_2009/7l-qAQ518.664227537116185003.4163.88907406172922
DRESDEN/snake_2009_big/DgC1NQ519.853495956311569276.83333333333133.26222459251358
DRESDEN/backgammon/mqCW0Q526.92440124610626297.06666666666649.906716417910445
DRESDEN/capture_the_king/EQ229Q531.57907692307697577.33333333333314.25438596491228
BASE/mineClearingSmall/frsbvw532.485082331998239872.574.88003199146894
BASE/snake_2009_big/-oRfVw535.636768197530872303.73333333334134.98650134986502
BASE/beatMania/qUHwvQ541.573651456888273214.8504.4831838938702
BASE/othelloHoles/c0qAzw547.98582758620681059.33333333333331.9331400193314001
BASE/englishDraughts/jFkQxg567.286267567567551069.56666666666690.02433090024331
BASE/ruleDepthLinear/OUBJpQ568.8270081584609467139.7821.2333333333333
BASE/point_grab/V_osUg575.9287410625453403040.695930407699.8100063331223
DRESDEN/Zhadu/9zpQ5w587.58604577373215055.76666666666625.623084099693457
BASE/escortLatch/mX9BjQ597.185548685258949954.5333333333383.6499366793308
DRESDEN/minichess/c7GMFw633.097068824771359967.494.72070390614584
DRESDEN/knightstour/cGISAA655.3113759755436348919.8333333333532.4489183693877
DRESDEN/amazons/dNB28A673.24417153996093819.66666666666655.673523556735236
DRESDEN/frogs_and_toads/GjchhQ679.704047453612457372.4666666666784.40801093005432
BASE/checkLines/Vop7oQ698.3154439428141103104.16666666667147.646980402613
BASE/shmup/ssTNlg701.2514847411444102923.13333333333146.77064587082583
DRESDEN/skirmishfinal/hzq8ww702.707433853006610503.53333333333314.947235260827592
BASE/skirmishFinal3/-Olhfw704.690203395703411285.36666666666716.014649575495255
DRESDEN/quad_5x5/JAEP5g707.93614628571424109.95.8054670912951165
DRESDEN/chinesecheckers6/yTbPDA708.740140097205438878.43333333333454.85569552756115
BASE/skirmishFinal2/gdB62Q718.110496583143610508.014.632845571814272
BASE/quad_5x5/JAEP5g731.25643556392444059.5646811772945.551492586929061
BASE/breakthroughSuicideSmall/XSbJog737.338672505901465931.6666666666789.41843026162306
BASE/skirmishFinal1/ecWTnQ739.815521450617210652.63333333333314.399040063995734
BASE/breakthroughSmall/HJ0tIA745.763997790868967503.090.51523028727588
BASE/endgame/jYjfOA750.238435909090927489.536.6410179540988
DRESDEN/4pttc/9pB9AQ761.982699324324463894.383.85269121813032
BASE/gt_centipede/9fRMpw777.3790697674419378842.73333333334487.3333333333333
DRESDEN/babel/WdSW4A792.858766289592770074.788.38232353529294
BASE/minichess/8NQEiA800.056174783830682243.03333333334102.79657344755175
STANFORD/alquerquezero/uVgA_A837.946183442047355645.366.4067706250833
STANFORD/freeforall/Lfp40Q859.459713791267271712.3333333333383.4388537154282
STANFORD/pilgrimage/ObRZnQ867.06357662370538097.7666666666743.938838735467534
BASE/roshambo2/KNPokQ867.1277095182265271170.7312.72290923635876
DRESDEN/roshambo2/jgSlkQ869.4046248822851276963.3333333333318.56666666666666
DRESDEN/endgame/IJhh3Q893.683373224043621786.26666666666624.378059746228395
BASE/asteroidsSerial/id2QkA903.0513891007871271478.3300.62331255624815
BASE/skirmish/Y_psYQ948.2887408.57.8125
BASE/connectFourLarger/qKi60A952.162321693907942699.044.84424454439447
DRESDEN/crissrace/KWb9bw956.860174231843645651.347.70947859403631
BASE/ttcc4_2player_small/Cv72TA958.752704791344662031.364.7
DRESDEN/bidding-tictactoe/yW5vTA961.9305829411765130796.4135.97280543891222
BASE/crissrace/ERWGDA969.77686947735246358.347.80305806322662
BASE/biddingTicTacToe/8mESVw979.9099051633298123991.26666666666126.53333333333333
BASE/hexPie/48CH6Q982.845039779005423700.36666666666524.11404209965361
BASE/2pffa/6oHijA993.092497697974271878.3333333333372.37828651404578
BASE/hex/T1MK8g1001.491589276139324893.824.856723977075838
DRESDEN/racetrackcorridor/O0DoTA1044.863954381936560643.4666666666758.039581528619976
BASE/chineseCheckers2/eCMR3Q1046.1449532272038107309.43333333333102.5760655846969
STANFORD/hex/MTqWcw1072.436218994413425564.823.838060993474496
STANFORD/knightstourmedium/x1wu8Q1073.3914535246413344129.3320.6
BASE/chineseCheckers1/gqtwHw1083.9590929920478145390.2134.1288623712543
BASE/racetrackcorridor/_RkdUg1106.197534796473565501.93333333333459.213595468177274
BASE/wallmaze/uxNQ9g1111.200136363636426878.524.1887119344306
BASE/3pffa/pR0dzA1111.716777020743869072.3666666666762.13126229125696
DRESDEN/othello-cornercontrol/r5Gdlg1116.3381205958817608.59276048263450.5451688419972421
BASE/chineseCheckers4/avfBcQ1127.83380972610467240.859.619422134835204
BASE/4pffa/Q3ADlg1158.269045952525963402.83333333333654.739297018157586
BASE/nonogram_5x5_1/qLKEZw1170.587737666666758511.83333333333649.985004498650405
BASE/2pffa_zerosum/o0_uZA1171.60216577540173025.062.329178054796344
BASE/asteroids/BKCmPQ1174.8242421354016540244.5459.8513382887237
STANFORD/knightstour/cEwgNA1181.9090046268834332077.0333333333280.96666666666664
BASE/asteroidsParallel/WauZiA1193.7765019798683318886.86666666664267.1244291856938
BASE/choicethroughalt/tt71Lg1195.965272146118729082.43333333333424.317121918720854
BASE/hallway/ckCJOw1202.911540831758221188.03333333333317.61395797955582
BASE/factoringImpossibleTurtleBrain/kcBhdw1237.45400930232563518.42.843257182530499
BASE/chineseCheckers3/-1rZdQ1240.086772108540892895.9666666666674.91086007531074
DRESDEN/hallway/0H4l-Q1260.147359897828721917.06666666666617.392463265918103
BASE/reversiSuicide/9OxJlg1273.03310727272722310.11.8146425154244614
BASE/reversi/d8UMeA1284.89734107142862375.43333333333341.8487339473771087
BASE/knightsTour/mvtVIg1290.9622262973928348806.36666666664270.19099363354553
BASE/queens06ug/7Lq3tw1298.676140556776598459.9666666666675.81564301662945
DRESDEN/tttcc4/sAvtFg1318.242488359157736861.93333333333427.96293827489668
BASE/chineseCheckers6/rREH3A1353.233500593471760793.1333333333344.924348463640605
BASE/tttcc4/8Bs2lg1355.31781096543537870.927.942449876773463
BASE/brawl/6Ymo_Q1355.917746005509616396.76666666666612.092744353387967
BASE/sheepAndWolf/g4THrg1361.814118004459327103.03333333333319.902153293174027
DRESDEN/Runners/3bOCQw1385.389724310777331662.3239.4
BASE/god/qF06gw1388.26402603406316320.5666666666674.552856335781463
DRESDEN/brawl/2kXtfQ1390.242257954545516282.86666666666711.712251281027484
BASE/nonogram_10x10_1/0Xc62g1394.885020118343215693.73333333333411.250915385127488
DRESDEN/god/2EDD5w1402.80764822695036550.44.669492648032852
BASE/ttcc4/Le0qjQ1402.860765030674938104.727.162139643392766
BASE/copolymer_4_pie/IN5_jA1415.300504523393680991.5666666666757.225703239568055
BASE/breakthroughHoles/nZk0Sg1415.46903644067844520.831.453037017292505
DRESDEN/kitten_escapes_from_fire/uW-YiA1421.3780706626421109843.2333333333477.2793921620901
DRESDEN/breakthrough/z4hK7Q1427.389002686660750730.2666666666735.54060355739124
DRESDEN/breakthroughsuicide/Y9QzqQ1433.277660712093451855.2666666666736.17949828430556
BASE/kitten_escapes_from_fire/uW-YiA1468.0292940230893111581.9666666666676.00799733422193
DRESDEN/breakthroughsuicide_v2/LU1nAw1471.61212504708152067.335.381130063965884
DRESDEN/knightthrough/J7Fc_Q1489.33617777777849866.16666666666433.482142857142854
BASE/breakthroughSuicide/wZDpIg1545.286866176470549032.231.730160317301603
BASE/queens08ug/kJ_ZFQ1551.178858617594257583.16666666666437.122196674331036
DRESDEN/Goldrush/VeWczQ1583.665570666666668620.9333333333343.3304446370242
BASE/breakthroughWalls/vOZaYA1602.394088117770750765.43333333333431.680991405156906
BASE/breakthrough/TGxk-g1613.987998948475551105.531.664114004128653
BASE/ttcc4_2player/_aH_Mw1672.235496116504734410.220.577364898611528
STANFORD/chinook/osFbPA1694.699051472868436403.2666666666721.480667399340593
STANFORD/ttcc4/Cx9SGw1699.24635070202836303.621.364530213645303
BASE/chinook/XQh0IQ1699.953362978723639918.323.481997135529426
DRESDEN/pawntoqueen/f_x6Aw1735.79239316239322249.03333333333331.2956810631229236
DRESDEN/skirmish3/3LU8Nw1739.103634500648229767.86666666666517.11678710579773
BASE/copolymer_4/2LDVhQ1762.277630810488798540.555.91655836582358
DRESDEN/pacman3p/rBnk8Q1777.867375702247342190.523.730960237309603
STANFORD/checkersonabarrelnokings/Zrevdw1808.713216256830744119.3666666666724.392682195341397
BASE/pawnToQueen/-O1_JA1868.08941052631582342.21.2537943777220535
DRESDEN/skirmish/RjGQYQ1880.234025230566431661.56666666666616.83916270092183
DRESDEN/gt_prisoner/huCp4w1999.5396930357604401254.115843498200.67324356752434
BASE/pacman2p/4LEdQg2001.335302388369742745.93333333333421.358706500765187
BASE/pacman3p/wW7UVQ2025.079583699059643032.2666666666721.24966693312017
BASE/checkersBarrelNoKings/rnKNeg2040.11253019390649069.2666666666724.052235325471383
DRESDEN/skirmish2/iPpWhQ2069.33821682785335650.917.22816488386817
BASE/gt_coordination/IVMOzA2069.7806020411495422468.9666666667204.11292204112922
BASE/knightazons/apnJBQ2104.860486244725527671.56666666666613.146508686680423
DRESDEN/knightazons/02I8BQ2122.70850897755628370.713.365330133653302
BASE/checkersTorusNoKings/pwb6oQ2135.0074251652550242.16666666666423.532548915036166
BASE/queens12ug/u6Bkmg2193.834859296482629075.813.253413253413253
BASE/knightwar/DVGY4Q2198.375033191489468845.731.316631130063964
BASE/dotsAndBoxes/EHwA_w2231.321032424242365423.7333333333329.32062772798454
BASE/dotsAndBoxesSuicide/jzQbLw2265.64989505747165644.7666666666628.97392346887801
BASE/checkersTorus/2vm1EQ2288.22414974619345067.519.695404405638683
BASE/ttcc4_2player_alt/ZEJvYA2319.443450434782344442.66666666666419.160918391149323
BASE/chess_200/XsTpYA2338.2698527777787429.4666666666663.177335010260144
BASE/battlebrushes/arCwyA2339.931507692307611150.74.765395894428153
DRESDEN/quad_5x5_8_2/JRTLJg2342.4546029850755205.82.222369643094069
BASE/queens16ug/gT-ylw2378.650952261306415707.76.603617056578729
BASE/2pttc/unkkYA2440.269952060737574982.6333333333330.72718789575418
DRESDEN/gt_chicken/CeuKtw2492.7685581985675405851.7162.8116251166511
BASE/gt_staghunt/xPjLRA2570.3568399229785400434.9155.78961402573162
DRESDEN/smallest/9kaGFw2623.74226552053591507.634.87674883411059
BASE/gt_prisoner/klthDw2748.790218590025417563.26666666666151.9080153307782
BASE/battle/8oAvhQ2763.6448866666672662.30.9633292659430993
DRESDEN/battle/8oAvhQ2785.89178222222242688.1333333333330.9649094593290662
DRESDEN/connect5/1kYzSg2916.32896814449919485.0666666666666.681367870190567
BASE/skirmishNew/sibw2g3030.04621118012416218.05.352393617021277
BASE/3pttc/0sol9g3060.72938064516166413.421.698553429771348
DRESDEN/smallest_4player/ADDROA3080.3234725526077112170.3666666666736.41512577044811
BASE/knightsTourLarge/M8jgLA3088.414836650869325589.0105.42269002731331
BASE/bomberman2p/4CClwA3095.76603325415786887.8333333333328.066666666666666
DRESDEN/bomberman2p/x4h6jQ3121.55444062745188405.7333333333428.32106087362143
BASE/smallest_4player/ADDROA3138.587656088561113377.436.123700346574246
BASE/gt_chicken/gmepTQ3220.673974048746408112.3333333333126.71643780829223
STANFORD/skirmish/w4V6Vw3234.4974060185187725.9666666666662.388614271970275
BASE/speedChess/bPnisA3463.15901118568217192.3333333333324.964349970013993
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3474.251469790518105027.730.230310302303103
BASE/amazons_8x8/7SOsIw3522.48341091549333305.19.455005493225022
STANFORD/madness/UO_B3A3632.582948387.42.3089355806972987
BASE/biddingTicTacToe_10coins/a-9ccQ3641.6753238262913103351.2333333333428.380133906265613
BASE/mummyMaze2p_2007/YGA3Vw3671.1605648869117109928.1666666666729.94370982246944
DRESDEN/mummymaze2p-comp2007/oTQRQg3766.361107005389108718.6666666666728.86570447651745
STANFORD/knightstourbig/TQUI2g3963.5865458987787302787.7333333333476.3923607639236
BASE/4pttc/AL1k2Q3988.54732663551456801.0333333333314.241032807612964
DRESDEN/ghostmaze2p/HY0UwA4001.863253065327132622.3666666666733.14015454303224
BASE/knightThrough/gcwFjA4046.703615273775546736.7666666666711.549342652687635
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg4119.56296132596724829.8666666666656.027306027306027
DRESDEN/mummymaze2p/k-8edg4136.7998825958762217.8666666666715.040095830699098
BASE/mummymaze2p/vpjDdA4204.87183355311363674.1333333333315.142942723067195
DRESDEN/four_way_battle/xSOQXA4281.7999730769237353.41.7173618679612932
BASE/ghostMaze2p/W-NU-w4393.719378730512131461.729.920367840602406
BASE/four_way_battle/xSOQXA4540.24077908496757671.8666666666671.6897488569345969
STANFORD/platformjumpers/HEQskA5544.37694545454530312.25.467196819085487
DRESDEN/nim4/F5YAYg5832.613453405018180660.4666666666730.97418817651957
DRESDEN/nim3/sG_axA5844.927696272631182781.7333333333431.27185533020282
BASE/nim4/twk16w5863.865855793992182122.231.05838443081845
BASE/nim3/1OwUqw6025.363608648649185689.230.81792437114776
BASE/kalaha5x2x3/WviNsw6318.9774010101104106.9666666666616.475287069395907
BASE/amazonsSuicide_10x10/XIbQkg7069.59866896551727301.23.8617750848924697
DRESDEN/small_dominion/yB5GJA7229.9514583333332826.50.3909431503502199
BASE/amazons_10x10/Bun8dA7370.633571428571527334.83.7086092715231787
BASE/nim2/eF2Qqw7968.413155908096242601.1666666666630.44535491822391
DRESDEN/nim2/z5_exA8083.737120257827243818.7666666666630.161639726712213
DRESDEN/knightfight/4_Ly4w8754.094246133332109349.6333333333312.4912561207155
BASE/checkers-mustjump-torus/uSApKQ8808.97772575757512867.9333333333321.4607748746721556
BASE/knightfight/SJRkAg9138.874056509696109941.812.030125299920021
BASE/nim1/hin2Qw9458.880953725038273667.833333333328.932368921035966
DRESDEN/nim1/M9BALA9485.451361207899271906.166666666728.66560127846584
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw10573.09550769230713560.61.282557221783741
BASE/checkers-cylinder-mustjump/rjr6qQ11055.72972972972813635.41.2333333333333334
BASE/checkers-mustjump/T-8UuQ12427.2089175438615656.0666666666681.2598216357789345
BASE/amazonsTorus_10x10/Uxc08g13108.1541503546120530.6333333333351.5662490002665956
DRESDEN/quartosuicide/WIU1oQ13972.68011253333557845.4333333333344.139895343445717
BASE/quarto/EwBMVQ14166.18993279999858658.24.140718166158739
DRESDEN/quarto/OQzRYQ14740.31954426229559760.74.054233683370995
BASE/quartoSuicide/-23jUg14799.39430083333458768.5666666666663.9710116152089743
DRESDEN/gt_ultimatum/pAiiQw15040.79656191904334039.622.208903539439948
BASE/wargame02/BkVqqQ15455.16745303030433768.366666666672.1849240242327936
DRESDEN/hanoi/RQ0jiA16093.382677165353340643.2666666666621.166666666666668
BASE/gt_ultimatum/GE-uOA16413.87845292259346228.966666666721.093671898430472
BASE/hanoi/iGLsJg16557.41875809524347636.2666666666620.995800839832032
BASE/snake_2008/i6K26g16871.89191447368685228.566666666675.051512130275839
DRESDEN/snake_2008/E56l3A17550.21553638344389369.066666666675.092191972309126
BASE/snake_2008_tweaked/bX0NJQ17645.30201557017489049.633333333335.0466482950961185
BASE/knightmove/jBaJEw20523.55479662447453826.466666666672.6226678175419957
BASE/kalaha6x2x4/XS81Mg20840.68914785714596943.14.651626407947636
BASE/wargame03/klXI8w20957.27359999999743411.22.0714144801736043
DRESDEN/knightmove/97Ipcw21317.71384683544255491.12.603051171373027
BASE/crossers3/O0rORg22401.7132216666774141.033333333343.3096144299189145
BASE/wargame01/_GZFZg22815.11088080808349591.533333333332.1736266631537347
DRESDEN/crossers3/xiPTxg22881.15401564625874511.633333333333.256463082341995
DRESDEN/checkers-cylinder-mustjump/vW_-pA23813.65950588235513352.8666666666670.5607230028365987
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg24252.72776274509713558.3666666666670.5590450195665757
DRESDEN/max_knights/hCipiA28896.40455428571733521.41.1600543568327202
BASE/max_knights/2fq3Ag31044.68194949494533934.233333333331.093077177873468
BASE/checkers/rOC3Xg31647.3147246376823870.6666666666680.7542714721411472
DRESDEN/hitori/S8Gsyg33965.977225925929346.4333333333320.27517045280826735
BASE/hitori/S8Gsyg34462.53759171.6666666666660.2661343978709248
BASE/skirmishZeroSum/zh4hcw35034.8419571428515859.5333333333330.4526788889966696
DRESDEN/battlebrushes/QHXV4A39971.7794666666710784.40.2698003477426704
BASE/checkersSmall/SYmq8w40234.1467444444531751.2666666666660.7891621728265158
BASE/checkers-newgoals/0XkFiA41900.6353142857218530.7333333333340.4422542330048016
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA54291.436420704.80.3813640119494057
DRESDEN/cylinder-checkers/clOO3Q56669.2418222222215912.3666666666670.28079371022089106
BASE/checkersTiny/Lr48cg58712.27164782608544873.633333333330.7642973448974845
BASE/cylinder-checkers/hlldmw58949.431592592616537.6666666666680.2805398834200929
DRESDEN/checkers-mustjump-torus/cVc3gA59446.7859428571512848.20.2161294306533284
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g59923.792009090921952.30.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ60866.9892545454522257.80.36567933246900036
DRESDEN/pancakes88/aD3E7g63035.26409508197640218.310.156510156510157
DRESDEN/satlike_20v_91c_version2/yd9ioQ64449.67060000000521020.7666666666660.32615786040443573
DRESDEN/pancakes/hl9aiQ65620.32880128617679041.810.348040194316896
DRESDEN/checkers-newgoals/IJOqXQ65826.9716740740718412.5666666666660.2797115862754848
DRESDEN/pancakes6/SZXMyQ67039.91120610932693985.710.35182904503545
DRESDEN/checkers-mustjump/HUr33w67749.716595238115546.5666666666680.22947057859367317
DRESDEN/guess/PhxGhg69416.86946491228174120.666666666662.508333608369913
BASE/guess/SPpk1A69985.23970735932179335.866666666672.5624812805750605
BASE/pancakes/yUgbXw74116.23401079136684756.16666666669.23894981721502
BASE/pancakes6/QZTdnw74856.88183090024683100.83333333349.125424631985613
BASE/racer4/0vs7Ww81710.1212222222223583.8333333333320.28862805464691166
BASE/blobwars/0XT15Q87783.4211412773.70.1455138092604988
DRESDEN/blobwars/ZaMluQ90145.6705333333412759.8333333333340.1415468236892764
DRESDEN/fizzbuzz/t1xHzQ93702.89139795917610422.06.514441453119288
BASE/hanoi_6_disks/MeubgQ119305.62308333332254281.333333333342.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ122511.92736296296254584.933333333322.0780420226275687
BASE/colonelBlotto/jip21A219620.5747393939280164.133333333330.3650119458455004
BASE/colonelBlottoVariant2/jruwGw492193.42627555557236752.866666666670.4810159055926116
BASE/gt_attrition/kD_SCA517326.3285118750.10.2295458271847844
BASE/pancakes88/l2Xaig545310.2966666666646613.01.1857707509881423
BASE/colonelBlottoVariant/X-n-KQ558388.5114142857259525.90.46477657526060684
DRESDEN/checkers/jIDMIg630854.8818232.80.028901734104046242
BASE/gt_tinfoil/Q8DyKg649270.0559333334324537.66666666670.49985004498650404
DRESDEN/racer/vk_ZBA795633.250222222265772.933333333330.08266740148801323
BASE/racer/QQYQNw826374.697555555665698.266666666660.07950178879024777
DRESDEN/merrills/aYEzwA964928.577000000218195.90.018857250612860643
BASE/merrills/pku8Tg1003548.164666666618040.6666666666680.0179768817300951
DRESDEN/hanoi7_bugfix/3gdnFw1128272.7326316999.80.2809602597321512
DRESDEN/hanoi7/51zz5Q1139683.0843333334317657.10.2787240631774543
BASE/hanoi7_bugfix/3gdnFw1176926.1685185183333616.866666666640.28346456692913385
BASE/solitaireChineseCheckers/-ET6gw1388580.173189519.40.06446829771459885
DRESDEN/Travelers-Dilemma/PvZwYw1458873.2147333333377018.53333333330.2584313218762114
DRESDEN/twisty-passages/j7NPyg1899921.2172100143.433333333330.052709255745308874
BASE/twisty-passages/DiZmmg1929341.7216102016.80.05287648054145516
BASE/ad_game_2x2/D0aWqg2059995.415266666660572.0666666666660.029403981299067895
DRESDEN/kalaha_2009/gcC8uA2074250.539049999898639.966666666660.047554509356349715
DRESDEN/vacuumcleaner_random/_6AGDA2178971.0757123829.80.05682948313585088
BASE/kalaha_2009/dRiN3g2227754.73665102630.766666666660.04606914979384055
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A2402737.4420000003185439.333333333340.07717835918808366
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA2476952.0589666665190432.233333333340.07688167909587146
DRESDEN/vacuum_cleaner_1/eUNjpw4062149.804533334209195.066666666680.051498609537542483
BASE/amazonsSuicide/dE1QEQInfinity768.73333333333330.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity60824.60.0
BASE/gt_two_thirds_2p/1APDGgInfinity60757.733333333330.0
DRESDEN/farmers/S_ASnwInfinity45162.6666666666640.0
BASE/amazons/RKKZjwInfinity766.03333333333330.0

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
DRESDEN/javastrike/whONTQException of type StackOverflowError
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest 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

index