index

ALLOY_TUPLE_PROVER:2 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
BASE/quad/tw-Ufg0.110956498786372940.59390259997360435.352571561554573
DRESDEN/ggp-course2013_michal13/jWKddg0.2693839701119124529.082550469718168107.95946936870875
BASE/coins/QnGtnQ0.493531801000164361401.42839.5333333333333
BASE/coins_atomic/AA3SSw0.495403503119517641415.1861604613182856.633333333333
DRESDEN/coins/QwFP9w0.496031653126682741412.46666666666672847.5333333333333
BASE/sudokuGrade6H/ieE_9A0.749629630279904492.96356788107063124.01266455590735
BASE/sudokuGrade6E/ihYFZA0.755205696631462691.74525943946412121.48380215971204
BASE/sudokuGrade3/eI8dvg0.759774304131802992.9240409292404122.30479554770554
BASE/sudokuGrade1/tDRNRw0.77667695087451594.31132735695004121.42928569047699
STANFORD/sudoku/oJ1qyQ0.777947544150110593.96666666666667120.78792120787921
BASE/sudokuGrade2/u80Tfw0.778387791318136795.19365375641624122.2959234692177
BASE/sudokuGrade4/DTy07w0.783599671052631695.26666666666667121.57568486302739
BASE/sudokuGrade5/BQfUQA0.784471787790066197.16342788573714123.8584094393707
DRESDEN/quad/JPe6fg0.92234323747651354.96064554534035.3783074931111186
STANFORD/duidoku/3SoMaA1.107572737299165585.1524745875687376.88206085246776
BASE/blokbox_simple/JBx4bg1.153264030707714.7398077560490554.1099068642073515
DRESDEN/grid_game2/kypTYQ1.2352429305373707524.4491850271658424.57169522031865
BASE/ticTacHeaven/18n58A1.3761454609787898510.1829939002033370.73333333333335
BASE/ticTacHeavenFC/mrletw1.4897547526609707477.31742275257494320.4
STANFORD/selectivesukoshi/3xmXYg1.6649987490617963221.81854543030465133.22445170321978
STANFORD/multiplesukoshi/vLSQPg1.8711394636106122229.78468102126524122.80467890825474
DRESDEN/quad_7x7/q-JOXg1.987786101153088834.8061081626672717.509986684420774
DRESDEN/cubicup_3player/awDtsQ2.06442583914756375.16248375162485181.72727575747476
BASE/quad_7x7/q-JOXg2.067732408528694335.21450627422639517.03049491751375
BASE/pearls/6k_mEQ2.104334188893276331264.23333333333414857.066666666668
DRESDEN/pawn_whopping_corrected/7Ov0jQ2.12366439745728331570.1666666666667739.3666666666667
BASE/cubicup_3player/e2yA_g2.2071171167479315379.9540015332822172.14945172149453
DRESDEN/lightsout/XgLpzQ2.2410352563029432231.1995.5666666666667
BASE/withConviction/3Xm54A2.28883112906897331340.6585.713809539682
BASE/zhadu/DlA8iQ2.41504367545087655.0629958002799822.8
BASE/blocksWorldParallel/RseaAQ2.45384215691934631416.7666666666667577.3666666666667
DRESDEN/pawn_whopping/4ogBkg2.4780193897833431662.2670.7776407453085
DRESDEN/tictactoeparallel/yk_DSg2.5596011617809982849.43333333333341113.2333333333333
DRESDEN/doubletictactoe/lJzgmQ2.61863688871775143400.31298.5
BASE/bunk_t/xbpfIA2.6261283271184263403.91296.1666666666667
DRESDEN/bunk_t/7-tPfA2.6590472232323763412.2666666666671283.2666666666667
BASE/doubletictactoe/HH1htg2.68789033144160253457.43333333333341286.3
BASE/doubletoetictac/fu35bg2.7143878794299943415.96666666666671258.4666666666667
BASE/conn4/va9Y7A2.7897844222260531078.8666666666666386.7204426519116
DRESDEN/tictactoelarge/IwXcbg2.8045033731491493200.96666666666671141.3666666666666
STANFORD/duikoshi/tpw1sw2.8336285208250021653.2333333333333583.4333333333333
DRESDEN/doubletoetictac/V89gKQ2.83806587700795053498.21232.6
DRESDEN/tictactoelargesuicide/6J4DeA2.84828397612488533308.56666666666661161.6
BASE/tictactoe2/bhrDoQ2.8798594084383286773.3333333333332351.9666666666667
DRESDEN/lightsout2/LFtfyQ2.90415313621603132832.0333333333333975.1666666666666
BASE/nineBoardTicTacToePie/B8LzeQ2.905469108476526664.511182960568228.71046228710463
DRESDEN/latenttictactoe/kITHKg3.00326681730324243677.31224.4333333333334
DRESDEN/slidingpieces/s9_44g3.003642779967909775.740808639712258.26666666666665
DRESDEN/blockerparallel/dVQgSg3.0340434845382481284.1666666666667423.2525582480584
BASE/blockerParallel/7-nDJA3.0342535387502931293.3426.23333333333335
BASE/slidingpieces/uFJWEw3.0528143706813613775.5666666666667254.0497300179988
BASE/haystack/UkweGA3.137635037863270744679.414239.833333333334
BASE/snake2p/I3wWPQ3.1720862666219687946.2333333333333298.3
DRESDEN/pawn_whopping_simultaneous/r8dLfw3.183965014577261456.1333333333334457.3333333333333
DRESDEN/chickentictactoe/Ipbo-g3.1847971870808715857.2666666666661839.1333333333334
BASE/cubicup/4wNWJA3.286099727628386737.2666666666667224.35918802706576
BASE/lightsOut/5P1ZBw3.28702259346852532177.4333333333334662.4333333333333
DRESDEN/cubicup/SBn_lw3.299970211498361738.5333333333333223.8
STANFORD/nineboardtictactoe/y28P-A3.305611377338074712.8215.63333333333333
BASE/nineBoardTicTacToe/wRmqqA3.3369152970922884703.8666666666667210.93333333333334
DRESDEN/sum15/CsgWKg3.40082494060719137777.82287.0333333333333
BASE/eotcatcit/AfZSzA3.40778070343697166514.21911.5666666666666
DRESDEN/ticblock/Z2yNWQ3.4259891047157874150.71211.5333333333333
DRESDEN/tictactoe/BTTzPw3.5085891014219926958.01983.1333333333334
BASE/ticTacToeNoVars/XT03NA3.52216897038734935070.8666666666671439.7
BASE/simultaneousWin2/PfjRjw3.52863405946019971717.0333333333333486.6
DRESDEN/eotcatcit/mQUxzA3.5937991298307196552.9333333333331823.4
BASE/sum15/QZ07Kg3.62643642843974727868.42169.733333333333
BASE/double_tictactoe_dengji/zgaSbA3.6629048086359173483.6666666666665951.0666666666667
BASE/lightsOnParallel/SC6enA3.7586214888291465405.91438.2666666666667
STANFORD/sukoshi/4LYZZQ3.8035411771135034640.0666666666671219.9333333333334
BASE/futoshiki6/JmvXNA3.8275440634125992509.6333333333333133.1489134782029
DRESDEN/double_tictactoe_dengji/bGaUyQ3.8780730261900213381.0333333333333871.8333333333334
DRESDEN/peg/Vo31eg3.91085360649546841380.7353.0431304579695
BASE/lightsOnSimul4/9FeASw3.93600463984810741474.0666666666666374.50836610892605
BASE/factoringGeorgeForman/HGRorQ3.987463885700716313433.53368.9333333333334
BASE/lightsOnSimultaneous/_VN6lw4.0205234445682822044.1508.4163861204627
DRESDEN/peg_bugfixed/u_B7MA4.0345586827493781404.8333333333333348.2
BASE/factoringMediumTurtleBrain/8RBqmQ4.1024262815545381941.0666666666666473.15089497016766
BASE/ticblock/T21C1g4.1555894747320564174.5666666666671004.5666666666667
DRESDEN/tictactoex9/rFkD4w4.16360705514311990.7666666666667237.95873470884302
BASE/futoshiki5/TJ4BZg4.177552640915594811.0333333333333194.14078122916945
DRESDEN/minichess-evilconjuncts/th24Tw4.201445055076335474.68417719409354112.9811698050325
BASE/tictactoex9/BI26ow4.2323416513965251000.6666444451852236.43333333333334
BASE/minichess-evilconjuncts/4OpQzw4.252597831932942476.11746275124165111.95920271981868
BASE/tpeg/QNs7Lw4.3017824119651651514.7352.1098593427105
DRESDEN/brain_teaser_extended/ZDp94A4.31794994247509056630.51535.5666666666666
BASE/survival/YVIjJA4.31869911219467431294.7333333333347246.333333333333
BASE/brain_teaser_extended/ZDp94A4.4471542932339086758.9333333333331519.8333333333333
DRESDEN/tpeg/h-Scbg4.4624306106264871500.5666666666666336.26666666666665
BASE/connectFourSimultaneous/7ITr3g4.5327726218097451041.9333333333334229.86666666666667
BASE/ticTacToeLarge/TZC0dg4.5441449417898033157.1666666666665694.7768407719743
STANFORD/triplesukoshi/Iu9mbA4.5465721578721581412.9333333333334310.7689231076892
DRESDEN/CephalopodMicro/H3XQfg4.552816006522773116.9021594241535525.676890798281548
BASE/futoshiki4/BaCwSw4.57531273062730651570.5343.25522482583915
BASE/eotcitcit/V_9_bg4.587378472822894419.633333333333963.4333333333333
DRESDEN/tictictoe/LAUtwg4.595162294968514426.366666666667963.2666666666667
BASE/ticTacToeLargeSuicide/727_8g4.6158943577430973204.2694.1666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw4.700168606204986426.519116029465790.74549271836571
DRESDEN/sheep_and_wolf/enAIzQ4.7106811608656621574.4666666666667334.23333333333335
DRESDEN/lightson2x2/gBHuig4.7571383122564227974.8666666666671676.4
DRESDEN/connectfour/5tc-Mg4.77642126939766152164.8333333333335453.23333333333335
DRESDEN/tictactoe-init1/3ltIBQ4.8745217514524586879.91411.4
STANFORD/tictactoe3/X7myng4.8821265716017816174.11264.6333333333334
BASE/snakeAssemblit/UO4sdg4.9068686678565631007.9205.4059458738835
BASE/tictactoe-init1/7M19vA5.0191379310344836792.5666666666671353.3333333333333
BASE/chickentictactoe/DSlZCA5.0676242643202615797.71144.0666666666666
DRESDEN/catcha_mouse/cHv4dw5.1558385308385311983.9666666666667384.8
DRESDEN/blocker/S815zQ5.1903286637931046422.1666666666671237.3333333333333
BASE/numbertictactoe/rvJ-iQ5.2035299003322264176.7802.6666666666666
BASE/majorities/ibJzSQ5.283979709659408525.633333333333399.47678874929183
BASE/catcha_mouse/cHv4dw5.357798016190732007.5374.68751041631947
BASE/breakthroughSmallHoles/bxclRw5.3676558291759551685.5666666666666314.0228659044698
BASE/onestep/xi53wA5.44022713953364440844.57507.866666666667
DRESDEN/chickentoetictac/cxYaRQ5.4567634966637468096.21483.7
BASE/blocksWorldSerial/Wyg96Q5.4574491705522255735.2333333333341050.9
BASE/golden_rectangle/_nYzfw5.478627151898735576.9666666666667105.3122708791575
BASE/blocksWorld/SEdXLQ5.49246464745314914966.62724.9333333333334
BASE/cephalopodMicro/9l2D3g5.4977635766571495115.696143461884621.044219499200853
STANFORD/tictactoe5/WFRReg5.5248799285155816595.2333333333341193.7333333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.5553382233088831136.0666666666666204.5
DRESDEN/blocks/vg0DRw5.574862722687405514958.12683.133333333333
BASE/blocks/xIV5hQ5.60717821782178215102.02693.3333333333335
STANFORD/trifecta/ss1kyQ5.608746130030966763.41205.8666666666666
STANFORD/tictactoe/ss1kyQ5.6983864294580066886.51208.5
BASE/tictactoe_3d_small_6player/g_9lww5.7653943406715591152.2333333333333199.8533431104593
BASE/blocks2player/wnTLOQ5.77720286396181410086.0333333333331745.8333333333333
BASE/chickentoetictac/l57rfQ5.7817862577548878232.31423.8333333333333
DRESDEN/connect4/T0-rHQ5.8195244579688091019.8666666666667175.24914175249143
BASE/pawnWhopping/Ypc_6Q5.8225946617008071563.3666666666666268.5
BASE/ticTacToeParallel/ymRGPw5.8587400415076662917.0666666666666497.9
BASE/ticTacToe/JRFsaQ5.8720988339811217050.4333333333331200.6666666666667
DRESDEN/blocksworldparallel/2JfVaw5.8853698038509995450.833333333333926.1666666666666
BASE/connect4/50bOyw5.90237897524247051027.7666666666667174.12752908236394
BASE/connectFour_9x6/B9TtMw5.9215987050793021966.3332.0555981467284
BASE/lightsOn/MsXu3A5.93252632958965113575.42288.3
DRESDEN/blocks2player/3ev8nQ5.94387468253814410219.71719.3666666666666
DRESDEN/tictactoe_orthogonal/y69QFQ5.9487882586441037593.0333333333341276.4
BASE/tictactoe_orthogonal/WRzlVw5.9839889154029727773.81299.1
STANFORD/connectfour/VMpZkQ5.9935245143385752159.6666666666665360.3333333333333
DRESDEN/pentago_2008/hLjVpQ5.995545263759595815.7666666666667136.06213126229125
STANFORD/tictactoe7/-bE9-A6.0031626109110086833.41138.3
BASE/toetictac/mTThmg6.0107087878990718980.61494.1
BASE/tictactoe_3d_small_2player/oOryKA6.0572853211009171606.4333333333334265.20681265206815
BASE/blocker/dIWtxg6.120155038759696316.01032.0
BASE/factoringMutuallyAssuredDestruction/NH0LGg6.143995950904726474.1333333333331053.7333333333333
BASE/connectFour/WAIKTw6.1477919004863452191.0356.3881203959868
DRESDEN/toetictac/mJtxCA6.1533422724375179331.1333333333331516.4333333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg6.1571608040201011633.7265.3333333333333
BASE/ticTicToe/c1OobQ6.2025016903313044280.966666666666690.2
DRESDEN/buttons/ADUaHw6.29410259253887924593.3666666666653907.366666666667
BASE/factoringEasyTurtleBrain/lUj94Q6.33824613117170356594.11040.3666666666666
DRESDEN/towerworld/HCX34w6.405569272728097109.8926738217452217.155801325826975
STANFORD/tictictoe/rpt_Dw6.4256363809705414493.233333333334699.2666666666667
BASE/buttons/hTcUjw6.42663302066340425212.9666666666673923.2
STANFORD/multipletictactoe/_bkafQ6.4464475578406171002.8666666666667155.56888622275545
BASE/pentago/86NgKw6.504806038047973786.3120.8798533577737
BASE/connectFourLarge/aU644A6.5594116239316241534.8233.98440103993067
BASE/ticTacToeSerial/Amrwqw6.6081417889781233181.6481.46666666666664
DRESDEN/javastrike/whONTQ6.630806845965771723.2109.06666666666666
BASE/dualConnect4/WbCQkg6.6636307479224371282.8192.50766564458073
BASE/pentagoSuicide/SBgNhw6.68435520464652818.3333333333334122.42517165522298
BASE/stateSpaceSmall/Q7osKA6.74845683689447922266.5333333333333299.5
DRESDEN/stratego/Z2wovg6.75807425294295251492.6333333333334220.86666666666667
BASE/circlesolitaire/azuQFQ6.89933726662895111382.0666666666681649.7333333333333
DRESDEN/circlesolitaire/ruUilQ6.91981842689502111636.3666666666671681.6
BASE/incredible/8Qh-6Q6.9654171801089155840.966666666666838.5666666666667
DRESDEN/statespacesmall/h-NqjA7.13309359930758723076.0333333333333235.0666666666666
DRESDEN/troublemaker01/C-lPWw7.19315233540547232438.04509.566666666667
BASE/troublemaker01/s3tlEQ7.26025894228659131982.1666666666684405.1
BASE/3pConnectFour/PqXOFQ7.3480671672924491369.8333333333333186.4209052729818
BASE/duplicateStateSmall/bCPAXw7.55269988875260417651.6666666666682337.133333333333
STANFORD/jointbuttonsandlights/qAKuIQ7.653928664042056510822.41413.9666666666667
BASE/coloredtrails/EZvr7g7.678367875647673951.8514.6666666666666
DRESDEN/troublemaker02/iZLVuA7.71307044749667729014.03761.6666666666665
DRESDEN/statespacelarge/8-y5HQ7.75478779713213310744.01385.4666666666667
DRESDEN/tictactoe_3player/ESLQQQ7.7713243799153051998.1333333333334257.11619225384976
BASE/switches/tPUoCg7.88128887271115916599.8333333333322106.233333333333
BASE/stateSpaceMedium/3bUoIw8.01440377408993715968.9666666666671992.5333333333333
BASE/troublemaker02/DI83KA8.0879526640166329570.6333333333353656.133333333333
STANFORD/dualrainbow/G3OnRQ8.098822677051267452.266666666666920.1666666666666
BASE/blockerSerial/3eqDuw8.1325094213115292883.866666666667354.60969268715417
BASE/firefighter/WJmoPw8.1766305248847798219.9666666666671005.3
DRESDEN/firefighter/WJmoPw8.2986572720021288323.01002.9333333333333
DRESDEN/statespacemedium/dVJZ_w8.33687096937998216417.81969.3
BASE/cittaceot/fDxhXg8.3797952585144651888.8333333333333225.40327956272498
DRESDEN/connectfoursuicide/M9CNQg8.398792864596922146.1255.524815839472
BASE/stateSpaceLarge/0Ge_CQ8.52571400649874411632.21364.3666666666666
BASE/hodgepodge/9yjRkw8.5603814622720448527.566666666668996.1666666666666
DRESDEN/golden_rectangle/1uloXw8.58810496969697551.033333333333364.16238917405506
DRESDEN/Zhadu/9zpQ5w8.682561787600404222.5036661778429425.626499600106637
DRESDEN/8puzzle/8fKC2w8.699060457516347098.433333333333816.0
STANFORD/breakthrough/d5j0cQ8.7042095254833041650.7333333333333189.64770189647703
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw8.7419487998050442391.266666666667273.53931273539314
BASE/alexChess/LNo83g8.7556089619254146.833882948602645.349014917439118
BASE/hidato19/rRHSmA8.7699334464920791205.5333333333333137.46208459718008
DRESDEN/battlesnakes1509/-qZrLw8.8921282798833822236.6666666666665251.53333333333333
DRESDEN/snake_2009/zIYLVw8.9166601095085461483.6333333333334166.38890740617293
BASE/snake_2009_big/-oRfVw9.0546548661215351254.9333333333334138.59538015399485
BASE/qyshinsu/R08Lzw9.109507204717154549.266666666666760.29598026798214
DRESDEN/snake_2009_big/DgC1NQ9.1120693054881021250.7137.25751616558895
DRESDEN/battlesnakes2011/93VtTw9.203669415807562320.9333333333334252.17478252174783
BASE/snake_2009/7l-qAQ9.2942642454257811501.1333333333334161.51179842687642
BASE/checkLines/Vop7oQ9.3442992338891392764.6666666666665295.8666666666667
STANFORD/dualhunter/1rPZjQ9.625881390134533291.3341.9219359354688
DRESDEN/babel/WdSW4A9.684462313860251845.287.27381785464361
DRESDEN/mimikry/GJEhwA9.8416703885663231469.0333333333333149.26666666666668
BASE/tictactoe_3player/GtM71g9.8633953144810091987.8666666666666201.5397946940408
BASE/connectFourLarger/qKi60A9.921811980209798977.200759974667698.4901509849015
STANFORD/untwistycorridor/EDPPAQ10.03194520883018427342.0666666666662725.5
BASE/untwistycomplex2/EDPPAQ10.11774366297750828339.82801.0
DRESDEN/sat_test_20v_91c/dK7nVw10.4086980875664422110.4666666666667202.75990800306656
BASE/tictactoe_3d_6player/d7KSwg10.452639751552795448.7367508832744542.93047130191321
DRESDEN/cube_2x2x2/fp-34Q10.6345268098712794323.5406.55311489617014
BASE/othello-comp2007/86ZoMw10.70088422062872423.4871419541568262.1948786165613567
BASE/mineClearingSmall/frsbvw10.710839208049336733.066666666666768.44157142381127
BASE/factoringImpossibleTurtleBrain/kcBhdw10.95087456315672541.339107261825453.7749594357429053
STANFORD/rainbow/_4qNSQ11.02239939255884616452.0333333333331492.6
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg11.0494371023005392257.4204.3
STANFORD/pentago/ZxzLmg11.0870714909980781409.0666666666666127.0909696767744
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg11.1356922577503662286.9205.36666666666667
BASE/tictactoe_3d_2player/IUC1rQ11.307678932778932543.748.08236979774083
STANFORD/untwistycomplex/HTWEwg11.47150273039843628359.4666666666672472.1666666666665
BASE/nonogram_10x10_1/0Xc62g11.591051639955305139.390707286180912.025717045870948
DRESDEN/logistics/fPru1Q11.630026589282263339.5333333333333287.14752349843343
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ11.662475822050292411.8206.8
DRESDEN/tictactoe_3d_2player/LMuX9w11.767231709753561536.530897940137445.59533721898418
BASE/duplicateStateMedium/U163eQ11.778587987355119314.9790.8333333333334
DRESDEN/tictactoe_3d_6player/ulZPWg11.978110878417684457.5333333333333638.197453503099794
DRESDEN/grid_game/U7_Yeg12.0588628040790732351.5666666666666195.00733235568592
DRESDEN/uf20-020.cnf.SAT/hDrW_A12.2022816204458951994.5333333333333163.45576961535897
DRESDEN/oisters_farm/pTQMLg12.23516258268890413132.01073.3
BASE/othelloSuicide/B442jg12.24314261924586622.7477102414654451.8579960185799602
BASE/connectFourSuicide/c8p9Kw12.385636606224282140.1666666666665172.7942401919936
DRESDEN/uf20-010.cnf.SAT/5ICbCg12.5568109107720772112.3333333333335168.22211852543163
BASE/strangeSkirmish/gc1zKA12.57403906627638168.8718546908848513.430199620088645
DRESDEN/3pttc/uwYBZw12.6508282128817662788.9220.45196986867543
BASE/skirmishHoles/AUCxCA12.736574550943915197.1868542097193415.481937739304145
BASE/snakeParallel/RCVNtw13.0647518586776853.333333333333524.5666666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA13.1789145906690151995.9666666666667151.4515215145152
DRESDEN/ggp-course2013_nicolai/uEin8g13.234343428290796353.1097926804879426.681323073848308
STANFORD/buttonsandlights/eyhJpA13.46894113522147446097.93422.5333333333333
STANFORD/bestbuttonsandlights/nm0wEA13.52923269277812516591.81226.3666666666666
BASE/othelloHoles/c0qAzw13.56592052230105625.8152626494786971.9029495718363463
BASE/eightPuzzle/vLrgFg13.7477962227772666971.733333333334507.1164294523516
DRESDEN/3pffa/0YrmQw13.9259490704577422971.3333333333335213.36666666666667
STANFORD/8puzzle/jNiGtw13.9286335362183126941.566666666667498.3666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA14.0781107825295742062.5146.50403252682796
STANFORD/bestbuttonsandlightsbig/g0JC6g14.34072870907010312949.2902.9666666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A14.3901205966220652186.6151.9514715195147
STANFORD/eightpuzzle/W_aWbA14.4460238978162367012.1485.4
DRESDEN/SC_TestOnly_enabled/09o7gQ14.549145604368333256.366666666667223.8184121058596
BASE/maze/cCX3qQ14.58130775873155826454.8666666666651814.3
STANFORD/multiplebuttonsandlights/cK70Yg14.64740221726799218097.3536861751781235.5333333333333
DRESDEN/aipsrovers01/qS47Mw14.7730971351076465809.766666666666393.26666666666665
STANFORD/multiplebuttonsandlights_9/SqB9BA14.82760291860746818357.0666666666661238.0333333333333
BASE/aipsrovers01/4C4jsw15.0215498162378885994.4399.05336488783706
DRESDEN/Catch-Me-If-You-Can/ghGWrA15.04283808324082914590.04865693528969.9
DRESDEN/catch_me/ghGWrA15.13385990438578214561.8962.2
STANFORD/hunter/14dD-g15.2765796946305476992.366666666667457.7180760641312
BASE/nonogram_5x5_1/qLKEZw15.290809523809523741.866666666666748.51716094635122
DRESDEN/Thief_Police/CX18rA15.50082844321712214968.633333333333965.6666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA15.75027140605848314991.633333333333951.8333333333334
DRESDEN/point_grab/r5DPmQ15.86652127580481221341.01345.0333333333333
DRESDEN/backgammon/mqCW0Q16.33973605488079806.833333333333449.3786026055376
STANFORD/3puzzle/41ibjA16.5208207401437316398.566666666666992.6
BASE/breakthroughSmall/HJ0tIA16.5504967800951341507.791.09696343455218
BASE/asteroidsSerial/id2QkA16.8013212656529525008.7298.1134591027265
STANFORD/threepuzzle/41ibjA16.86205135190356316505.7978.8666666666667
BASE/breakthroughSuicideSmall/XSbJog16.9197940255009131547.891.47865498050454
BASE/pegEuro/5awwhg17.1030010923535231148.066666666666667.12662067126621
BASE/queens08lg/Ru7eqQ17.190171971496436723.242.070550614569804
BASE/beatMania/qUHwvQ17.2713606757679168433.9488.3170560981301
BASE/hidato37/pBrqxw17.538279284830395308.589713676210817.595210377515382
BASE/queens31lg/0gID-A17.5575784450884418.5536790913027551.0567333729608348
DRESDEN/2player_normal_form_2010/NG_Kdg17.65043687976910629762.1666666666681686.2
BASE/skirmishFinal3/-Olhfw17.786489215791573287.69041031965616.17465969980364
BASE/tron_10x10/7ZTgDg17.8026368895466164410.9247.76666666666668
BASE/skirmishFinal2/gdB62Q17.80653849267192265.848943403773114.929849701736261
DRESDEN/knightwar/7hhAqg17.839318400349652721.0152.5282490583647
DRESDEN/chinesecheckers1/Y-ftaA18.094403091135193395.0187.62707909736343
BASE/skirmishFinal1/ecWTnQ18.348014823196102268.2243925202493514.618714618714618
DRESDEN/skirmishfinal/hzq8ww18.369132241046508269.0910302989914.649087761353043
BASE/gt_dollar/TGjqRw18.38234848101905812121.933333333332659.4333333333333
BASE/rubiksCube/9tNO9Q19.118373854125151598.933333333333483.63333333333334
BASE/escortLatch/mX9BjQ19.4615439101300751645.633333333333484.55821084558211
BASE/duplicateStateLarge/dcjyuw19.9576496138996165513.633333333333276.26666666666665
DRESDEN/capture_the_king/EQ229Q20.16169942638764292.4707529247075414.506254990684056
BASE/peg/fJHVWw20.7727363243602561388.633333333333466.84884030925086
DRESDEN/frogs_and_toads/GjchhQ21.419385669269761736.533333333333381.07297567477508
BASE/chomp/-LcqYQ21.500270621468934820.2224.19252691576946
DRESDEN/chomp/-LcqYQ21.5300402687275864735.733333333334219.9593346888437
BASE/englishDraughts/jFkQxg21.735293989481591928.066666666666688.70672131693826
BASE/hexPie/48CH6Q21.760938436781608525.766666666666724.161029093211585
BASE/asteroidsParallel/WauZiA21.837337337337345817.466666666666266.4
DRESDEN/minichess/c7GMFw22.3894870320987642518.733333333333112.49625012499584
BASE/skirmish/Y_psYQ22.60785999883211182.042394347420368.052172755706396
BASE/hex/T1MK8g24.47638831050228595.433333333333324.326846174353506
DRESDEN/othello-cornercontrol/r5Gdlg24.78277877301694313.3799301048427350.5398882113821138
STANFORD/hex/MTqWcw25.02745821917808608.924.32927845359107
DRESDEN/breakthrough/z4hK7Q26.014084507042252923.535.5
STANFORD/alquerquezero/uVgA_A26.1077056708860771718.765.8311389620346
BASE/point_grab/V_osUg26.54016706656002719910.433333333334750.2
DRESDEN/breakthroughsuicide_v2/LU1nAw27.063142641509433955.466666666666735.3050892619238
DRESDEN/4pttc/9pB9AQ27.362653344077362263.282.71127699280191
BASE/minichess/8NQEiA27.524086759581883159.133333333333114.77704459108179
DRESDEN/amazons/dNB28A27.626083610793845151.89789049221855.498350494851545
BASE/asteroids/BKCmPQ28.50500957713275712897.566666666668452.46666666666664
BASE/endgame/jYjfOA28.8575222121486841060.536.749516892117015
DRESDEN/brawl/2kXtfQ29.35062470013736347.1768548763415711.828601892576303
BASE/brawl/6Ymo_Q29.80767619047619347.4666666666666411.656952539550375
BASE/breakthrough/TGxk-g30.190345767474536954.766666666666731.624900026659557
BASE/breakthroughSuicide/wZDpIg30.26990416229451960.933333333333331.74550299800133
BASE/breakthroughWalls/vOZaYA30.331401921024547947.066666666666731.223966143490287
BASE/shmup/ssTNlg32.990064794816415091.466666666666154.33333333333334
DRESDEN/endgame/IJhh3Q33.237860059001996838.338722042598525.22240362509579
BASE/ttcc4_2player_small/Cv72TA33.68816557624562230.833333333333566.22008931547023
STANFORD/pilgrimage/ObRZnQ34.237222341513291487.533333333333343.44783926964982
STANFORD/freeforall/Lfp40Q34.399769220430112842.76666666666782.63912029323559
BASE/gt_centipede/9fRMpw35.1743621741541816911.833333333332480.8
BASE/biddingTicTacToe/8mESVw35.288481100562594460.166666666667126.39157389507366
DRESDEN/hallway/0H4l-Q35.65706388361796625.666666666666617.546780315642273
BASE/hallway/ckCJOw35.915174368932036616.417.162662045522712
DRESDEN/bidding-tictactoe/yW5vTA36.066359064469224959.5137.51041493084486
BASE/4pffa/Q3ADlg39.4795850348503452138.86666666666754.17652350648053
BASE/2pffa/6oHijA39.722294959962322810.73333333333370.7595907075959
DRESDEN/racetrackcorridor/O0DoTA39.7224737986272314.033333333333358.25501566353396
DRESDEN/knightstour/cGISAA39.7482360287230721218.933333333334533.8333333333334
DRESDEN/breakthroughsuicide/Y9QzqQ39.813040238313481447.433333333333436.35575993868506
STANFORD/chinook/osFbPA40.46402242301089876.637445418486121.664614463043694
BASE/racetrackcorridor/_RkdUg40.7519295833333362389.26666666666758.62953462806889
BASE/3pffa/pR0dzA40.88280456816562544.533333333333362.239696131676276
DRESDEN/Goldrush/VeWczQ41.2118431528662441725.041.856900056653444
BASE/choicethroughalt/tt71Lg41.4041157608695661014.824.509640680675346
BASE/chineseCheckers4/avfBcQ42.0416253859348152450.758.29222770297294
BASE/breakthroughHoles/nZk0Sg42.7348443006112861320.066666666666630.889703432189272
BASE/chinook/XQh0IQ42.90648411764706971.866666666666722.65081109889744
BASE/2pffa_zerosum/o0_uZA43.5231820350877142755.73333333333363.31644894694748
DRESDEN/tttcc4/sAvtFg43.6429979328165351313.566666666666630.097993467102192
BASE/knightazons/apnJBQ44.085843892922874557.881403953201612.654434047087815
DRESDEN/knightazons/02I8BQ44.631638297872335558.266666666666712.508316699933467
BASE/ruleDepthLinear/OUBJpQ45.67648720639276437725.73333333333825.9333333333333
BASE/tttcc4/8Bs2lg45.862836556693211343.333333333333329.290236587804067
BASE/ttcc4/Le0qjQ46.8385225854941751384.766666666666729.564695686954202
DRESDEN/skirmish3/3LU8Nw47.3451044400265793.766666666666716.76554896340244
DRESDEN/skirmish2/iPpWhQ47.67835887611749828.333333333333417.373360846701726
BASE/queens06ug/7Lq3tw48.3977125018626143607.533333333333374.53933557695511
BASE/copolymer_4_pie/IN5_jA48.668288888888882384.666666666666548.9983667211093
DRESDEN/skirmish/RjGQYQ48.866704607046074800.666666666666616.38470760623418
BASE/wallmaze/uxNQ9g49.9147676082862551176.733333333333323.57485348961108
BASE/dotsAndBoxes/EHwA_w51.817071428571431521.929.37062937062937
BASE/dotsAndBoxesSuicide/jzQbLw52.2146211085801041527.333333333333329.251066098081022
DRESDEN/knightthrough/J7Fc_Q53.4646538461538441805.333.76623376623377
BASE/copolymer_4/2LDVhQ53.5102268352184542679.433333333333450.073294243070364
BASE/chineseCheckers2/eCMR3Q53.670361834509295576.466666666666103.90216268452798
BASE/chineseCheckers1/gqtwHw57.820456202723157643.1132.1867813218678
BASE/chineseCheckers6/rREH3A59.615258333333342646.344.38964241676942
BASE/queens08ug/kJ_ZFQ60.308455675675682230.966666666666736.99260147970406
STANFORD/checkersonabarrelnokings/Zrevdw62.7858518518518451487.033333333333323.68421052631579
BASE/chineseCheckers3/-1rZdQ63.616418583671634700.073.88029858704346
DRESDEN/quad_5x5_8_2/JRTLJg65.18020884424293385.60479840053315.915979792608349
STANFORD/knightstourmedium/x1wu8Q66.8299022224501721716.766666666666324.95583480550647
BASE/checkersTorusNoKings/pwb6oQ66.945673121387291543.133333333333423.050531294760333
BASE/reversiSuicide/9OxJlg67.9407973965563130.898427086110361.9266542652139251
BASE/checkersBarrelNoKings/rnKNeg68.065227146814411636.466666666666724.04262404262404
BASE/checkersTorus/2vm1EQ68.986702931034491332.119.309518260811664
STANFORD/skirmish/w4V6Vw69.33791682406358165.555629624691682.3876637373569887
BASE/roshambo2/KNPokQ69.6768843547530621866.2313.8228725709143
STANFORD/ttcc4/Cx9SGw70.114065870646771564.733333333333322.316967557124777
BASE/ttcc4_2player/_aH_Mw71.209864583333331479.833333333333320.781296832850433
BASE/reversi/d8UMeA71.30640538558954128.307671798973531.7993849375122686
DRESDEN/roshambo2/jgSlkQ72.1961059117878222441.866666666665310.84594360375974
STANFORD/madness/UO_B3A72.49801699716714167.238793534410952.306805074971165
DRESDEN/gt_prisoner/huCp4w73.2336261935905814928.9203.85307646156923
BASE/god/qF06gw74.99271118928463270.615292313845773.608554591802953
BASE/pawnToQueen/-O1_JA75.5173794300968896.81397053922551.282009138424115
DRESDEN/pawntoqueen/f_x6Aw77.3062716871506797.160189320711951.2568215644121052
STANFORD/knightstour/cEwgNA77.7712641753503421642.3278.2814479034731
BASE/knightsTour/mvtVIg78.2599270598126421717.566666666666277.5055827750558
BASE/sheepAndWolf/g4THrg78.510919796954331544.419.671148981493808
BASE/gt_coordination/IVMOzA81.9564576853822216689.066666666666203.63333333333333
DRESDEN/god/2EDD5w82.164278.83.3932135728542914
BASE/queens12ug/u6Bkmg84.603693994778071079.112.754762221926201
BASE/chess_200/XsTpYA87.29107043233239285.55714809506353.2713214155899943
BASE/ttcc4_2player_alt/ZEJvYA88.080380422374431712.633333333333419.44398202097553
DRESDEN/gt_chicken/CeuKtw89.325458238499214387.933333333332161.0731544742543
BASE/knightwar/DVGY4Q90.460416904500552745.730.352502165656027
BASE/2pttc/unkkYA90.740560771704182819.431.071000399627014
BASE/queens16ug/gT-ylw91.37865692124984599.71334288857046.562947662990972
BASE/battlebrushes/arCwyA97.91099673966912296.69011032965573.0302021244713795
BASE/gt_prisoner/klthDw98.6380423198392315267.133333333333154.7793627516331
BASE/gt_staghunt/xPjLRA102.3240008942544115256.0149.09503016566114
DRESDEN/Runners/3bOCQw102.5327934738529624158.533333333333235.6176254916339
DRESDEN/battle/8oAvhQ111.05554751118743105.145637539158840.9467841984982044
BASE/battle/8oAvhQ112.00273745649825104.109041223714470.9295222919363941
BASE/3pttc/0sol9g112.708725776397512419.421.465951134962168
BASE/skirmishNew/sibw2g113.66949515337443625.94580180660655.506717531929009
BASE/gt_chicken/gmepTQ115.4137223782284714794.066666666668128.18290894547394
DRESDEN/kitten_escapes_from_fire/uW-YiA119.238829118942729020.375.64901522977972
BASE/kitten_escapes_from_fire/uW-YiA122.057968224299069139.474.8775367389783
DRESDEN/pacman3p/rBnk8Q132.09886429277942964.066666666666622.438244889806246
BASE/connect5/d-BVQg132.44645165794066842.93333333333336.364333077871447
BASE/speedChess/bPnisA135.5489510964912685.43333333333335.0567217804983535
BASE/amazons_8x8/7SOsIw139.149823943661971314.09.44305901911887
BASE/4pttc/AL1k2Q139.72319124031011999.433333333333414.309960398016573
DRESDEN/smallest/9kaGFw140.29330380176514589.66666666666732.7147949495286
BASE/pacman3p/wW7UVQ140.591856014271143063.166666666666521.787653662924342
BASE/pacman2p/4LEdQg141.562498459167953058.921.608123855501916
DRESDEN/connect5/1kYzSg144.02471767955802858.95.963559685018615
BASE/quad_5x5/JAEP5g144.2817323823173287.53791287537911.992892018467466
DRESDEN/bidding-tictactoe_10coins/mu5VhQ145.21587268002974344.33333333333329.916380717593363
DRESDEN/quad_5x5/JAEP5g145.90171748373416293.02356588113732.008362690547526
STANFORD/platformjumpers/HEQskA146.0164038010327780.0073330888975.3419157901722025
BASE/biddingTicTacToe_10coins/a-9ccQ153.281134782608724227.627.58069351453982
BASE/knightThrough/gcwFjA154.360636512524081780.233333333333311.532948901703277
DRESDEN/smallest_4player/ADDROA167.573170322019146415.738.28596181400153
BASE/smallest_4player/ADDROA171.966331530705766251.96666666666636.35575993868506
BASE/knightsTourLarge/M8jgLA182.5045322731524819505.833333333332106.87862427514497
BASE/four_way_battle/xSOQXA206.97979268739792343.43232343432321.659255326209597
DRESDEN/four_way_battle/xSOQXA212.14820266666666350.033333333333361.649947201689546
STANFORD/knightstourbig/TQUI2g250.2487239297634619159.43333333333476.56156256249584
BASE/checkers-mustjump-torus/uSApKQ250.96771319743888366.121129295690141.458837571698551
BASE/amazonsSuicide_10x10/XIbQkg256.72168972222221023.03333333333333.9849898714840766
BASE/kalaha5x2x3/WviNsw267.963529411764744401.33333333333316.42512077294686
BASE/amazons_10x10/Bun8dA273.43722979351031023.56666666666673.7433332229105245
DRESDEN/small_dominion/yB5GJA278.45937628459376110.822251108222520.39798355001326613
DRESDEN/snake_2008/E56l3A288.23989106753811467.33333333333335.090667110297788
BASE/snake_2008/i6K26g299.277735729847451524.23333333333335.0930395126660235
BASE/snake_2008_tweaked/bX0NJQ303.982598684210531531.55.038117335101094
BASE/checkers-cylinder-mustjump/rjr6qQ308.227294987603394.786840438652061.2808302407304017
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw324.3035675675676396.81.2235449735449735
DRESDEN/ghostmaze2p/HY0UwA331.8392418300653610711.26666666666632.278481012658226
DRESDEN/nim4/F5YAYg360.7999697001763511361.03333333333331.488454233447737
DRESDEN/bomberman2p/x4h6jQ361.9038238702201510410.76666666666628.766666666666666
BASE/nim4/twk16w362.1160369148936411336.131.305158690511874
BASE/nim3/1OwUqw365.0440147832267711403.06666666666831.23751165578793
BASE/bomberman2p/4CClwA368.218201401869210493.928.49913437208683
BASE/ghostMaze2p/W-NU-w371.532149347826111381.13333333333330.632970399227517
DRESDEN/nim3/sG_axA373.010386069114511507.83333333333430.851241046143596
BASE/checkers-mustjump/T-8UuQ386.0586526315789479.21.2412621676357223
BASE/mummyMaze2p_2007/YGA3Vw389.8069184845005611314.029.02462594554967
DRESDEN/mummymaze2p-comp2007/oTQRQg396.7985160839160711343.928.58856457417033
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg400.788297407407472390.46666666666675.964412339706418
DRESDEN/knightfight/4_Ly4w428.042879155188255172.76666666666612.084692722551434
BASE/knightfight/SJRkAg433.410426229508235276.012.173218918379565
BASE/nim2/eF2Qqw473.1371595185185614187.96666666666729.98700563089328
DRESDEN/nim2/z5_exA478.118406080586114490.36666666666730.30706720841937
BASE/amazonsTorus_10x10/Uxc08g495.0405115942029758.73333333333331.532669176690101
BASE/nim1/hin2Qw508.671251015134715302.33333333333430.082952993303795
DRESDEN/nim1/M9BALA529.328462824858815604.26666666666629.479364444888578
DRESDEN/gt_ultimatum/pAiiQw550.656012716762912690.823.046692866182642
BASE/gt_ultimatum/GE-uOA579.223774162679412096.120.883293365307754
DRESDEN/hanoi/RQ0jiA580.886896267496112441.63333333333321.418340494986843
BASE/hanoi/iGLsJg586.606953770150912524.23333333333421.35029810478633
DRESDEN/guess/PhxGhg591.46720779220781511.82.5560165975103732
BASE/guess/SPpk1A596.56751842105271505.13333333333342.5229890781130697
BASE/quartoSuicide/-23jUg625.78141111111112491.33333333333353.9811558622520073
DRESDEN/quarto/OQzRYQ627.14050440771352511.96666666666674.0054288457082325
DRESDEN/quartosuicide/WIU1oQ640.97061311475412600.24.056660238079404
DRESDEN/crossers3/xiPTxg641.5332084.83333333333353.2497678737233056
DRESDEN/mummymaze2p/k-8edg646.79593559941529823.76666666666615.188355594044566
BASE/crossers3/O0rORg650.1253938775512110.8666666666673.246860815690952
BASE/quarto/EwBMVQ668.58283620689662564.53.8357251504530123
DRESDEN/chinesecheckers2/06E6-Q688.98355606060612523.83333333333353.6631256452096306
BASE/mummymaze2p/vpjDdA691.557647577092610458.615.123251165889407
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg742.0110506120384409.15302823239230.5514109633473889
DRESDEN/checkers-cylinder-mustjump/vW_-pA748.8889294117647409.40.5466765282824709
BASE/checkers/rOC3Xg820.8308853473001621.14596180127330.7567283016384813
BASE/kalaha6x2x4/XS81Mg855.39846811594213909.03333333333334.569839062189549
BASE/wargame02/BkVqqQ873.11396464646461913.83333333333332.191962803055463
DRESDEN/hitori/S8Gsyg1033.123202091573304.926009865351260.2951497064900141
BASE/checkers-newgoals/0XkFiA1041.1674047619047459.966666666666640.4417797412432944
BASE/hitori/S8Gsyg1044.8325667177744302.479834677688130.28950077200205865
BASE/checkersSmall/SYmq8w1059.807215277778816.83333333333340.77073766016892
DRESDEN/knightmove/97Ipcw1114.85997719298262813.43333333333342.5235755080355955
BASE/knightmove/jBaJEw1157.664562876.92.485089463220676
BASE/wargame03/klXI8w1291.10847540983632611.52.022680549108031
BASE/skirmishZeroSum/zh4hcw1291.7373333333335595.46666666666670.4609812314784327
BASE/wargame01/_GZFZg1337.74931940298482960.62.213120169122019
BASE/cylinder-checkers/hlldmw1405.2493333333332400.80.2852162890191729
DRESDEN/cylinder-checkers/clOO3Q1449.8283333333334401.80.27713625866050806
DRESDEN/battlebrushes/QHXV4A1572.8456693438197278.601659612757030.1771322292091046
BASE/checkersTiny/Lr48cg1580.32312083333341243.90.7871175100849431
DRESDEN/checkers-newgoals/IJOqXQ1691.8560047998399464.38452051598280.274482295891915
DRESDEN/checkers-mustjump-torus/cVc3gA1735.794806839772381.25395820139330.21964229683087544
DRESDEN/chinesecheckers4/-oVNYg1886.16020289855081405.66666666666670.7452530620180157
BASE/max_knights/2fq3Ag1919.62588627450962127.6333333333331.1083583257269527
DRESDEN/max_knights/hCipiA2049.15100833333332137.7333333333331.04322879311469
DRESDEN/pancakes88/aD3E7g2182.31800651465822280.410.209511140671767
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2186.026494444445856.73333333333330.3919135177504164
DRESDEN/checkers-mustjump/HUr33w2210.783204761905504.36666666666670.2281393605579637
DRESDEN/satlike_20v_91c_version2/yd9ioQ2428.6744658867447931.2402093124020.3834355828220859
DRESDEN/satlike_20v_91c/yeuENQ2564.635136976966900.21655838747290.3510115514710575
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2748.8623321225045868.46402506081920.3159358018450651
DRESDEN/pancakes/hl9aiQ2757.031657877813428504.26666666666610.33875203616901
DRESDEN/pancakes6/SZXMyQ2853.64753856209129095.56666666666610.195921631347462
BASE/pancakes6/QZTdnw3036.997606303030427835.4333333333349.165444607385682
BASE/pancakes/yUgbXw3100.40004229390728751.39.273416206873629
DRESDEN/blobwars/ZaMluQ4066.9222051863208566.62889140723950.13932621840777998
BASE/blobwars/0XT15Q4145.827825739142578.88070397653420.13962970203021588
DRESDEN/hanoi_6_disks/MeubgQ4722.5099442.51.999466808850973
DRESDEN/fizzbuzz/t1xHzQ4830.98239487179531265.96.471954862263525
BASE/hanoi_6_disks/MeubgQ4853.7188842105269138.61.8828037259694788
DRESDEN/chinesecheckers3/QsCb2A5554.2915555555562125.3666666666670.3826530612244898
BASE/racer4/0vs7Ww5656.6832444444441569.26666666666670.27741816164231553
BASE/colonelBlotto/jip21A12554.8762181818184516.7333333333340.3597592883307169
DRESDEN/checkers/jIDMIg16100.744333333334459.66666666666670.028549404744911067
BASE/ruleDepthExponential/UamhHQ19165.4422880014862147.5689596326290.1120542342493767
BASE/pancakes88/l2Xaig19548.27696568627722142.1666666666681.1326914748309291
BASE/gt_attrition/kD_SCA24309.09726012.2666666666660.24732578989674148
BASE/colonelBlottoVariant2/jruwGw25057.33731428571310958.1333333333330.43732233780026863
BASE/colonelBlottoVariant/X-n-KQ26149.82488571428611888.60.45463401961421057
DRESDEN/merrills/aYEzwA29547.611079630682580.04733175560820.01963093835885355
BASE/merrills/pku8Tg31517.190726975772558.54804839838680.017722012511740833
BASE/gt_tinfoil/Q8DyKg35879.5408333333317620.8333333333320.4911108928396032
DRESDEN/hanoi7_bugfix/3gdnFw39266.7218777777811074.5666666666680.2820344081978001
DRESDEN/hanoi7/51zz5Q40413.3148481481511392.2333333333340.28189306856265856
DRESDEN/racer/vk_ZBA40467.483250.40.08032128514056225
BASE/hanoi7_bugfix/3gdnFw41047.0294814814811282.1666666666660.2748595162472514
BASE/crisscross/ICagEg41202.998466666672292.3666666666670.05563591854901524
BASE/racer/QQYQNw42215.5447999999963354.70.07946598855689765
DRESDEN/crisscross/GsY16g43200.492649999992396.2333333333330.05546773164711429
BASE/crissrace/ERWGDA53777.635666666671531.16666666666670.02847218267752406
BASE/solitaireChineseCheckers/-ET6gw55050.5987500000053525.83333333333350.06404713869407884
DRESDEN/crissrace/KWb9bw55220.19861544.96666666666670.027978288847854065
BASE/ad_game_2x2/D0aWqg68803.093466666671833.96666666666670.02665529374133703
DRESDEN/Travelers-Dilemma/PvZwYw79545.0945777777821584.2333333333340.27134587554269174
DRESDEN/kalaha_2009/gcC8uA89375.918916666663919.56666666666660.04385484047801776
BASE/kalaha_2009/dRiN3g89638.350983333343967.96666666666670.04426639516610965
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A105518.560622222237949.0666666666670.07533335007407779
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA109730.368766666657878.9666666666660.07180297264306743
DRESDEN/vacuumcleaner_random/_6AGDA118424.3975878.60.04964010920824026
BASE/twisty-passages/DiZmmg120026.24556319.00.052646818815973044
DRESDEN/twisty-passages/j7NPyg122320.222866666686310.5333333333340.051590270075063845
DRESDEN/vacuum_cleaner_1/eUNjpw164069.669250000049360.70.057053202110968475
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity3434.96666666666670.0
BASE/amazonsTorus/soxT8gInfinity5.50.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity784.43333333333330.0
BASE/amazons/RKKZjwInfinity14.4787644787644790.0
DRESDEN/chinesecheckers6/yTbPDAInfinity1527.50.0
BASE/gt_two_thirds_2p/1APDGgInfinity4220.20.0
BASE/amazonsSuicide/dE1QEQInfinity15.6607717575234740.0
DRESDEN/farmers/S_ASnwInfinity2039.26666666666670.0

Games with errors:

GameALLOY_TUPLE_PROVER:2 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
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