index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.00.0439.25202493250225
BASE/queens06ug/7Lq3tw2.4910142714705275E-40.29236204166159091173.6666666666667
BASE/queens08ug/kJ_ZFQ4.6058056347509876E-40.4234270646881075919.3333333333334
DRESDEN/quad_7x7/q-JOXg7.027179249200989E-40.4598198588082551654.3448551714943
BASE/colonelBlotto/jip21A9.038281979458449E-40.0046082949308755765.098640362569982
BASE/quad_7x7/q-JOXg0.00110720280788207810.7227948065854638652.8115729475684
BASE/golden_rectangle/_nYzfw0.0021791190252595210.9537277600552504437.6666666666667
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0025663707269426040.0994292759560124938.74314607479397
DRESDEN/satlike_20v_91c/yeuENQ0.00376544946741007740.1553434254778752241.254948930365636
BASE/quad/tw-Ufg0.0048389153476675780.8955758552749418185.07780999033622
DRESDEN/ggp-course2013_michal13/jWKddg0.0048551550872907622.242596134819603461.9
BASE/racer/QQYQNw0.0055502902384718750.1066723558589791519.21923922456865
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.0056564455378500160.2321437898634414241.040577215860196
DRESDEN/quad_5x5_8_2/JRTLJg0.0057096427081274571.2846696093286778225.0
DRESDEN/racer/vk_ZBA0.0062693478670207240.1137074307806015118.137042830044262
DRESDEN/grid_game2/kypTYQ0.006516779816938449510.9227746511705351676.1
DRESDEN/quad/JPe6fg0.0065875186657944371.194936054773285181.39395353488217
BASE/battlebrushes/arCwyA0.00704169160183522850.9096349491322562129.17847025495752
BASE/blokbox_simple/JBx4bg0.0073346555139355760.052313567523737287.132382349020131
DRESDEN/quad_5x5/JAEP5g0.0080062121994468261.6894087069525665211.0122321101223
BASE/copolymer_4/2LDVhQ0.008109007563643278.8301686363032791088.9333333333334
BASE/sudokuGrade6H/ieE_9A0.0089880066802983351.6630254018978055185.0271657611413
BASE/copolymer_4_pie/IN5_jA0.0090388623379088679.1129810090797211008.2
BASE/sudokuGrade6E/ihYFZA0.0094936440783175981.6813243662700466177.1
STANFORD/sudoku/oJ1qyQ0.0103682111089998671.9287685810249078186.02713242891903
BASE/sudokuGrade3/eI8dvg0.0109097970043024442.0626101999401176189.06036465451152
BASE/sudokuGrade4/DTy07w0.0109595558062489822.062747446518282188.21451188214513
BASE/quad_5x5/JAEP5g0.0110623943178520292.344702535405008211.95253649756683
BASE/sudokuGrade5/BQfUQA0.011195370744112832.076672050631242185.4938168727709
STANFORD/duidoku/3SoMaA0.0112348299635696911.818302036498281161.84508732169044
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.0124062145591699450.500763664588497440.36393713813069
BASE/sudokuGrade2/u80Tfw0.0124919765876446312.354423663615864188.47487001733103
DRESDEN/fizzbuzz/t1xHzQ0.01293101965360764210.874987528684027841.0
BASE/sudokuGrade1/tDRNRw0.0132918718192796722.562502053286902192.78714752349845
STANFORD/selectivesukoshi/3xmXYg0.0152247259368423746.152106680855309404.08653044898506
BASE/zhadu/DlA8iQ0.0155711506468339910.613298902517753439.386871042985675
BASE/simultaneousWin2/PfjRjw0.01692468887735090417.2304615897350431018.0666666666667
BASE/nim3/1OwUqw0.01736131782458365224.5737879595098581415.4333333333334
DRESDEN/nim2/z5_exA0.0174382519745403424.6518755413418621413.6666666666667
BASE/nim1/hin2Qw0.0175808839308406425.0416250416250431424.3666666666666
BASE/nim2/eF2Qqw0.0182356126046461626.1115736885928381431.9
DRESDEN/nim3/sG_axA0.0185069582604028725.9714314254320261403.3333333333333
DRESDEN/nim1/M9BALA0.01857250523091478726.006459991342281400.2666666666667
BASE/nim4/twk16w0.0187777770627388126.051036045039641387.3333333333333
DRESDEN/nim4/F5YAYg0.0190322474916630425.7392115077250951352.4
DRESDEN/small_dominion/yB5GJA0.0242025611605657530.523372724017298821.624683459949352
BASE/guess/SPpk1A0.024646393010662445.912078475410378239.8760123987601
DRESDEN/guess/PhxGhg0.0273546725086194766.4655172413793105236.35878804039865
BASE/factoringImpossibleTurtleBrain/kcBhdw0.0320042487465870.409887753815109112.807291839925485
STANFORD/triplesukoshi/Iu9mbA0.0395944943403111351.331622279257361296.4333333333334
BASE/hidato19/rRHSmA0.03990665760389803423.673170406872213593.213559548015
BASE/othello-comp2007/86ZoMw0.041339474479009360.829462508294625120.064660200646603
BASE/othelloSuicide/B442jg0.0447801430034254140.87833441769681219.614372772986112
BASE/othelloHoles/c0qAzw0.044832854117312910.925157914885471820.635713097021135
DRESDEN/gt_ultimatum/pAiiQw0.04656704371518151415.58960692871419334.7776814879008
BASE/hidato37/pBrqxw0.046850610079668662.96173044925124863.21647560650493
BASE/racer4/0vs7Ww0.047065510204081630.751020408163265315.956916325920016
BASE/gt_ultimatum/GE-uOA0.0496664334601859215.332028009159393308.7
BASE/cephalopodMicro/9l2D3g0.053306878306878314.100529100529100576.92307692307692
DRESDEN/CephalopodMicro/H3XQfg0.054917086709611644.61012901727969283.94707901489653
STANFORD/multiplesukoshi/vLSQPg0.0577282021012347721.95715190084297380.3539882003933
BASE/coins/QnGtnQ0.06087879857276605582.92504082925041362.1333333333334
BASE/coins_atomic/AA3SSw0.0618053101597328885.091490850914911376.7666666666667
DRESDEN/coins/QwFP9w0.0652509296002133584.832733573237381300.1
DRESDEN/Goldrush/VeWczQ0.0661996715179758635.88564574170332542.0819306023133
DRESDEN/god/2EDD5w0.06705677449655872.4627263045793436.72598813570619
BASE/futoshiki6/JmvXNA0.0682600036212203537.69874337522083552.2815906136462
DRESDEN/slidingpieces/s9_44g0.0721850635158464458.6648011193284812.7
BASE/cittaceot/fDxhXg0.0722751613907036420.890947256188984289.04739684021064
BASE/slidingpieces/uFJWEw0.0734656607067377158.674574351114515798.6666666666666
BASE/chess_200/XsTpYA0.074364186207922260.912200684150513112.266666666666667
BASE/god/qF06gw0.082483734308338513.18312941410524238.59099543439864
BASE/gt_attrition/kD_SCA0.083979882685683470.099045858232361591.1793998165378063
BASE/colonelBlottoVariant2/jruwGw0.093029036589251463.970354685018528542.67866066966517
BASE/futoshiki5/TJ4BZg0.0938339703504044675.13911565759221800.7666666666667
DRESDEN/cubicup_3player/awDtsQ0.1005308398275123540.019993335554815398.0867304423186
BASE/cubicup_3player/e2yA_g0.1021162016806171841.25016660002665403.953201559948
DRESDEN/smallest/9kaGFw0.1039157206392280961.266666666666666589.580347321756
STANFORD/duikoshi/tpw1sw0.1207837670579061165.27245459090151368.3333333333333
DRESDEN/Zhadu/9zpQ5w0.126345283495309075.176533050172551540.971320075946835
DRESDEN/peg_bugfixed/u_B7MA0.128550636388773796.71721379770038752.3666666666667
DRESDEN/peg/Vo31eg0.12864001435814695.56666666666666742.9
BASE/stateSpaceLarge/0Ge_CQ0.13325971320919877492.283590546981773694.1666666666665
BASE/conn4/va9Y7A0.13449395771276068174.788347443503771299.6
DRESDEN/statespacelarge/8-y5HQ0.13466777870447594484.43597.0
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.1356907729429835483.36388787040433614.3666666666667
BASE/snake2p/I3wWPQ0.14023042338463984157.18428157184281120.9
DRESDEN/ggp-course2013_jordi/9QI6Kw0.140267877254578842.203790679857434300.8799413372442
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.14244786602070536109.76666666666667770.5743141895271
BASE/futoshiki4/BaCwSw0.144699683632095202.15992800239991397.1
BASE/tictactoe_3d_small_6player/g_9lww0.1462382393283596686.62178376216505592.3333333333334
DRESDEN/tpeg/h-Scbg0.15064261380422922111.38514864684709739.4
BASE/blocksWorldParallel/RseaAQ0.15148760487093538266.63333333333331760.1
BASE/tpeg/QNs7Lw0.15171118038822004110.2889711028897726.9666666666667
BASE/ticTacHeaven/18n58A0.1643744115164718102.22992566914436621.9333333333333
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.16551344746481247102.80249258555767621.1126295790141
DRESDEN/backgammon/mqCW0Q0.1661393398606808851.294870512948705308.74608359442703
BASE/biddingTicTacToe_10coins/a-9ccQ0.1673037352299117796.80751799520128578.6333333333333
BASE/ticTacToeSerial/Amrwqw0.17091756066859876190.601566405599071115.1666666666667
BASE/chomp/-LcqYQ0.17801486882550577332.033333333333361865.2
BASE/tictactoe_3d_6player/d7KSwg0.1786998808009208425.232492250258325141.2003865764655
BASE/blockerSerial/3eqDuw0.18009501618918994173.1493517314935961.4333333333333
DRESDEN/chomp/-LcqYQ0.18362405872985355338.74354274287621844.7666666666667
DRESDEN/tictactoe_3d_6player/ulZPWg0.1836542700568903623.62939510081653128.66237792073596
DRESDEN/amazons/dNB28A0.186900279207971532.264402264402264612.115563839701771
DRESDEN/pentago_2008/hLjVpQ0.1985473783475383877.54598773660358390.56666666666666
DRESDEN/connect4/T0-rHQ0.2015439919853851114.0565.6333333333333
BASE/connect4/50bOyw0.20217669972372734111.31849086788428550.6
BASE/nineBoardTicTacToePie/B8LzeQ0.22248593863232138170.19432685577146764.9666666666667
DRESDEN/cubicup/SBn_lw0.22251812961211792101.25316624450073455.03333333333336
DRESDEN/battlesnakes2011/93VtTw0.22568864092376423163.40609898350274724.0333333333333
DRESDEN/battlesnakes1509/-qZrLw0.22758058246047708164.38904073061795722.3333333333334
BASE/cubicup/4wNWJA0.2281079816436689104.13542603885502456.5181160627979
BASE/colonelBlottoVariant/X-n-KQ0.2347488119071916810.19150707743547143.414520374504384
DRESDEN/towerworld/HCX34w0.238170414177748677.767892710131456532.61485158410234
BASE/ticTacHeavenFC/mrletw0.24776851357496346141.59144655763913571.4666666666667
BASE/brain_teaser_extended/ZDp94A0.24814190052650414809.06666666666673260.5
BASE/checkers-mustjump-torus/uSApKQ0.250282796020893652.19582792693881638.773387391578877
BASE/skirmish/Y_psYQ0.251270701161862065.93757256111719223.63018264231436
BASE/skirmishHoles/AUCxCA0.25150122391794027.83662626598040831.159396140900455
DRESDEN/javastrike/whONTQ0.252278962951227170.36197586827545278.9054427890544
BASE/pegEuro/5awwhg0.2528800488113658378.6430737445433310.9896336788774
DRESDEN/lightsout2/LFtfyQ0.25610182293721745757.23333333333332956.766666666667
DRESDEN/brain_teaser_extended/ZDp94A0.2582491519685521830.57231425619153216.1666666666665
DRESDEN/lightsout/XgLpzQ0.2732077371108075759.92781.4
BASE/lightsOnSimul4/9FeASw0.27513659486277714292.066666666666661061.5333333333333
DRESDEN/smallest_4player/ADDROA0.27943716141760616201.25324978334777720.2093263557881
BASE/smallest_4player/ADDROA0.2794480673506386201.19329355688143719.9666666666667
BASE/strangeSkirmish/gc1zKA0.2794592475284067.26230928109800825.987006496751626
BASE/nineBoardTicTacToe/wRmqqA0.27953366371284183171.26095796806774612.6666666666666
STANFORD/nineboardtictactoe/y28P-A0.28263254570739715176.07065489085153622.9666666666667
DRESDEN/blockerparallel/dVQgSg0.2847845023966891194.64071457139048683.4666666666667
BASE/stateSpaceMedium/3bUoIw0.29137439157523961610.35526.566666666667
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.292200819126265333.030101225359616510.369927211087845
DRESDEN/mimikry/GJEhwA0.2952005269142149239.9506699553363812.8395720142662
BASE/blockerParallel/7-nDJA0.2997753277976111195.48696753549763652.111596280124
BASE/lightsOnSimultaneous/_VN6lw0.30063827694128187370.98763374554181234.0
BASE/majorities/ibJzSQ0.30279439820211485122.35105957616953404.0730617958803
BASE/checkers-cylinder-mustjump/rjr6qQ0.30322216466373222.99910026991902439.89076861595844
DRESDEN/statespacemedium/dVJZ_w0.30647784422148271633.25328.933333333333
BASE/peg/fJHVWw0.314306943911224499.73674564297377317.3227559081364
BASE/ticblock/T21C1g0.31978399893812687471.350954968167741473.9666666666667
BASE/withConviction/3Xm54A0.32363501838835335495.733333333333351531.7666666666667
DRESDEN/ticblock/Z2yNWQ0.32765465145294104481.466666666666641469.4333333333334
BASE/doubletictactoe/HH1htg0.3284313725490196654.36666666666671992.4
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.33176721167700307353.066666666666661064.2
BASE/pentagoSuicide/SBgNhw0.333098755650293376.17968541722207228.7
DRESDEN/doubletictactoe/lJzgmQ0.3343615262700455654.01955.9666666666667
STANFORD/alquerquezero/uVgA_A0.3356345644920032497.23333333333333289.7
BASE/doubletoetictac/fu35bg0.33788956669172016644.36666666666671907.0333333333333
BASE/tictactoe_3d_small_2player/oOryKA0.3381027471251454269.68202119858677797.6333333333333
BASE/lightsOut/5P1ZBw0.3381917759816263765.72264.1
BASE/breakthroughSmallHoles/bxclRw0.33926737564066883373.45421819272691100.7666666666667
DRESDEN/pawn_whopping/4ogBkg0.33985217777895005371.820939302023251094.0666666666666
DRESDEN/tictactoe_3d_small_2player/HYttcg0.3400675092739866269.1974403412878791.6
BASE/bunk_t/xbpfIA0.3411042306291304655.51921.7
DRESDEN/bunk_t/7-tPfA0.34534249822232754679.93333333333331968.8666666666666
DRESDEN/bidding-tictactoe/yW5vTA0.35040116582598463459.469368708752771311.2666666666667
STANFORD/sukoshi/4LYZZQ0.3512464513975034889.63701209959662532.8
DRESDEN/ggp-course2013_nicolai/uEin8g0.35233808826432427.02252986788245876.69488700753283
BASE/wallmaze/uxNQ9g0.3542925178436351253.7915402819906716.3333333333334
BASE/qyshinsu/R08Lzw0.3554096102957464774.78255073816109210.4122921041229
DRESDEN/minichess-evilconjuncts/th24Tw0.3567511960130325773.65930073659301206.47247033728837
BASE/pentago/86NgKw0.3604032152064836681.84211403245693227.08486100926604
BASE/minichess-evilconjuncts/4OpQzw0.3609002753868883575.80806397867377210.05266315578962
BASE/knightmove/jBaJEw0.36593172119487904137.19542681910602374.9208359721343
DRESDEN/doubletoetictac/V89gKQ0.3713926995439523670.51805.3666666666666
DRESDEN/tictactoelargesuicide/6J4DeA0.37703964043711974738.85944738859451959.6333333333334
BASE/biddingTicTacToe/8mESVw0.37940575941950505448.040261298493531180.9
BASE/ad_game_2x2/D0aWqg0.38103409404043180.237981913374583520.6245685546168765
DRESDEN/knightmove/97Ipcw0.3840451703621908144.8521814485218377.17485500966603
DRESDEN/tictactoelarge/IwXcbg0.385410472559376734.56666666666671905.9333333333334
BASE/checkers-mustjump/T-8UuQ0.390001679899190934.55876480766671111.689090182496336
DRESDEN/crisscross/GsY16g0.3941622063467932319.67868808746084811.0333333333333
DRESDEN/skirmishfinal/hzq8ww0.395705433882527611.25991072023452628.45528455284553
BASE/crisscross/ICagEg0.3971944357611753338.8333333333333853.0666666666667
BASE/skirmishFinal1/ecWTnQ0.397335988520418910.45690688690555526.317542807648746
DRESDEN/capture_the_king/EQ229Q0.401341290966561318.3996007319913545.845272206303726
BASE/skirmishFinal2/gdB62Q0.4067957980134483412.06505799226769729.65875766462277
BASE/tictactoex9/BI26ow0.4132851683620921344.0874550059992832.5666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ0.41903129237776016545.91302.7666666666667
DRESDEN/catcha_mouse/cHv4dw0.4268939288787719512.61200.7666666666667
DRESDEN/tictactoex9/rFkD4w0.42974354646542773346.6884437185427806.7333333333333
BASE/3pConnectFour/PqXOFQ0.43013157894736836326.9760.0
BASE/dotsAndBoxes/EHwA_w0.4337208982752552342.26666666666665789.1403619879337
BASE/ticTacToeLarge/TZC0dg0.4378292416260809734.16666666666661676.8333333333333
BASE/dotsAndBoxesSuicide/jzQbLw0.44170340247528644339.69936339699365769.0666666666667
BASE/double_tictactoe_dengji/zgaSbA0.4436664544875875580.83333333333341309.1666666666667
BASE/duplicateStateLarge/dcjyuw0.4455432253445499331.88893703543215744.9085030498983
BASE/skirmishFinal3/-Olhfw0.448159693495440614.23913766717679231.772463864650636
BASE/catcha_mouse/cHv4dw0.4501108024783167518.78270724309191152.5666666666666
BASE/ticTacToeLargeSuicide/727_8g0.45474255840813765748.06666666666671645.0333333333333
BASE/connectFourSimultaneous/7ITr3g0.45640470565759816217.95640871825634477.5507483083897
BASE/pawnWhopping/Ypc_6Q0.45702288113805817355.53333333333336777.9333333333333
BASE/snakeAssemblit/UO4sdg0.4690398971220453241.87581241875813515.6828105729809
BASE/numbertictactoe/rvJ-iQ0.47501489604972863983.23333333333332069.9
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.4970632656485987698.72675154989668198.62009199386708
BASE/2pffa/6oHijA0.49843362143438313289.4473701753216580.7139762007934
DRESDEN/tictactoe_3d_2player/LMuX9w0.499292734715267873.17479349853451146.55689620691953
BASE/checkers/rOC3Xg0.5014002804605530.5564811729423560.94228975076636
BASE/factoringMediumTurtleBrain/8RBqmQ0.5123281527019051704.8098396720111375.7
BASE/2pffa_zerosum/o0_uZA0.5184325729679142288.9474035064329557.3480883970534
BASE/tictactoe_3d_2player/IUC1rQ0.52551111532000473.48923978945966139.8433594400933
DRESDEN/stratego/Z2wovg0.5262066923304708355.38815372820903675.3774874170861
BASE/duplicateStateMedium/U163eQ0.5317223437026161110.46666666666672088.4333333333334
BASE/ticTacToeNoVars/XT03NA0.53401154447172871116.33333333333332090.4666666666667
DRESDEN/tictactoe_3player/ESLQQQ0.5348892696366582514.3495216826105961.6
BASE/checkersSmall/SYmq8w0.537517783744632548.1650611646278489.60645139791396
STANFORD/multipletictactoe/_bkafQ0.5426290932158208438.1041263915739807.3730875637478
BASE/escortLatch/mX9BjQ0.5656554504499454255.01633224451703450.8333333333333
DRESDEN/tictactoeparallel/yk_DSg0.5761753052408031747.68348776748211297.6666666666667
BASE/mineClearingSmall/frsbvw0.5796598040496408147.9255.14965668955404
STANFORD/freeforall/Lfp40Q0.5801252727144767274.74835010999266473.6017598826745
BASE/chinook/XQh0IQ0.623869171885873359.7527243643149995.77765188122771
BASE/tictactoe_3player/GtM71g0.6282697710479038536.3748458692971853.7333333333333
BASE/factoringGeorgeForman/HGRorQ0.62847063952912263171.25045.9
BASE/sum15/QZ07Kg0.63863743086716063264.03333333333335110.933333333333
BASE/3pffa/pR0dzA0.640597552673882328.44477034864343512.7162427919069
DRESDEN/sum15/CsgWKg0.64526984918359723278.7666666666675081.233333333334
STANFORD/breakthrough/d5j0cQ0.6474487170548057583.1138962034598900.6333333333333
BASE/englishDraughts/jFkQxg0.6498073013799269166.7944146365848256.6828878074795
STANFORD/chinook/osFbPA0.652065222827852357.94928188210203588.87037654115295
BASE/racetrackcorridor/_RkdUg0.6660100827399643629.9123362554582945.8
BASE/4pffa/Q3ADlg0.6823184676958263318.2121191920539466.36890873941735
STANFORD/pentago/ZxzLmg0.6915326357109185165.76132235811644239.70137315024664
DRESDEN/babel/WdSW4A0.699843804058660957.48850229954009482.14476139696082
DRESDEN/crissrace/KWb9bw0.708210990123394239.0920302656578337.6
DRESDEN/3pttc/uwYBZw0.7100419245358355592.7666666666667834.8333333333334
BASE/pawnToQueen/-O1_JA0.71415407449568983.53917904276783674.955763985897692
STANFORD/tictactoe3/X7myng0.71711694353073941736.83333333333332421.9666666666667
BASE/tictactoe2/bhrDoQ0.71884044913450372127.62959.766666666667
DRESDEN/blocker/S815zQ0.72288011885327322789.66666666666653859.1
BASE/aipsrovers01/4C4jsw0.7307908175061514856.43811872937571171.9333333333334
DRESDEN/pawntoqueen/f_x6Aw0.73673261804733333.5463343497282254.813597583242041
STANFORD/skirmish/w4V6Vw0.74967135946255296.1206839198988768.164489469474807
BASE/ticTacToeParallel/ymRGPw0.7504323320309999781.11040.8666666666666
BASE/breakthroughSuicideSmall/XSbJog0.7524680581158271273.6726327367263363.7
DRESDEN/3pffa/0YrmQw0.7613301473516527637.2333333333333837.0
BASE/crissrace/ERWGDA0.7619520497493668253.64538251548038332.8889037032099
BASE/breakthroughSmall/HJ0tIA0.7716625404684821270.12432918902704350.0549981667278
BASE/checkersTiny/Lr48cg0.7746114700954043102.01633061156474131.7
DRESDEN/aipsrovers01/qS47Mw0.7790109207138418877.41126.3
BASE/lightsOnParallel/SC6enA0.81109000384897132177.53333333333332684.7
STANFORD/tictactoe5/WFRReg0.82874190030153332152.93333333333342597.8333333333335
DRESDEN/hanoi/RQ0jiA0.83019659554063761385.11668.4
BASE/brawl/6Ymo_Q0.832801156924869432.7372031838012539.309747484842426
BASE/hanoi/iGLsJg0.83702437115016171354.33333333333331618.0333333333333
DRESDEN/brawl/2kXtfQ0.850519520128847633.5921618289065939.496050394960506
BASE/eotcitcit/V_9_bg0.85137235275524192154.7666666666672530.9333333333334
DRESDEN/connectfoursuicide/M9CNQg0.854759422016982573.8671.3
STANFORD/dualhunter/1rPZjQ0.85920399079708431331.96666666666671550.2333333333333
BASE/tictactoe_orthogonal/WRzlVw0.87073159910675993925.24507.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.87313603025019683956.2666666666674531.1
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.8757966101694915430.6491.6666666666667
DRESDEN/tictictoe/LAUtwg0.87946341053574932093.53333333333332380.4666666666667
DRESDEN/connectfour/5tc-Mg0.8815678413167334557.0333333333333631.8666666666667
DRESDEN/eotcatcit/mQUxzA0.88609583660644153008.03394.6666666666665
DRESDEN/chickentictactoe/Ipbo-g0.88884944757509882670.93333333333343004.9333333333334
DRESDEN/sat_test_20v_91c/dK7nVw0.8918597326240638424.7191760274658476.2174594180194
BASE/tictactoe-init1/7M19vA0.89786505903950322641.12941.5333333333333
BASE/eotcatcit/AfZSzA0.91019457161543492968.93333333333343261.866666666667
STANFORD/tictactoe7/-bE9-A0.9114951129401862598.7333333333332851.0666666666666
BASE/rubiksCube/9tNO9Q0.9119888042295132195.5214.36666666666667
BASE/hallway/ckCJOw0.9155874597032183247.19213464422597269.98200119992
BASE/connectFour/WAIKTw0.9175462513578092567.1965077143524618.1666666666666
DRESDEN/tictactoe-init1/3ltIBQ0.92053155852339942775.43333333333343015.0333333333333
DRESDEN/knightwar/7hhAqg0.9222805348773092520.3333333333334564.1811939602013
BASE/connectFourSuicide/c8p9Kw0.931720107062872568.5477150761641610.2129929002367
DRESDEN/hallway/0H4l-Q0.9327092209129475253.05823139228693271.31524565028997
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.9347387462603491447.8333333333333479.1
STANFORD/tictictoe/rpt_Dw0.93706126236697552086.8666666666672227.0333333333333
DRESDEN/chinesecheckers4/-oVNYg0.9376681758434351214.0228.2257258091397
STANFORD/connectfour/VMpZkQ0.9385484626360954533.4666666666667568.3954403039797
BASE/connectFour_9x6/B9TtMw0.9402184577146969479.1666666666667509.6333333333333
DRESDEN/tictactoe/BTTzPw0.94041659000455143237.1333333333333442.233333333333
STANFORD/madness/UO_B3A0.94652741402189837.21241732309635357.61987156024357
BASE/blocker/dIWtxg0.96737576266931542954.33333333333353053.9666666666667
BASE/ticTicToe/c1OobQ0.97125835155023232103.03333333333332165.266666666667
BASE/hexPie/48CH6Q0.9785995479303353126.91590030654405129.69135390973935
STANFORD/hex/MTqWcw0.9835105436487165127.49575014166194129.63333333333333
BASE/stateSpaceSmall/Q7osKA0.9852301517047718607.2333333333348736.266666666666
BASE/hex/T1MK8g1.002636230015654128.3957201426619128.05812945803612
BASE/chickentictactoe/DSlZCA1.00383976231241822657.92647.733333333333
BASE/duplicateStateSmall/bCPAXw1.010567337026085.3333333333336021.7
STANFORD/trifecta/ss1kyQ1.02134556993813222982.53333333333332920.2
DRESDEN/statespacesmall/h-NqjA1.02280056621211118742.9333333333328548.033333333333
STANFORD/tictactoe/ss1kyQ1.0240471240471242955.42886.0
STANFORD/pilgrimage/ObRZnQ1.024976390959744248.28344777014865242.23333333333332
BASE/checkers-newgoals/0XkFiA1.030518824013446626.85592429694788726.060585863298563
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.040639306079833431.9415.03333333333336
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.0490977076898065430.2410.06666666666666
DRESDEN/blocksworldparallel/2JfVaw1.04912936119036342733.3666666666672605.366666666667
DRESDEN/skirmish3/3LU8Nw1.054233625828427563.2455848050649859.992001066524466
DRESDEN/sheep_and_wolf/enAIzQ1.0731287947987749665.7111429619013620.3459884670511
BASE/connectFourLarge/aU644A1.0810928962439093346.01026598226787320.0559981333956
BASE/snakeParallel/RCVNtw1.08303988448674682450.2333333333332262.366666666667
BASE/factoringEasyTurtleBrain/lUj94Q1.09532788602556042962.53333333333332704.7
BASE/dualConnect4/WbCQkg1.1014859891143725385.0538315389487349.57669488700753
BASE/ticTacToe/JRFsaQ1.10176751684034783189.43333333333342894.8333333333335
DRESDEN/grid_game/U7_Yeg1.103941263244161628.6569.4143528549048
BASE/checkLines/Vop7oQ1.1179413944372447370.1876604113196331.1333333333333
DRESDEN/latenttictactoe/kITHKg1.12044466277313842052.7666666666671832.1
BASE/snake_2009_big/-oRfVw1.1339339068269843438.1520615979467386.4
BASE/ttcc4_2player/_aH_Mw1.1410618453865335106.7333333333333393.53860508514113
DRESDEN/snake_2009_big/DgC1NQ1.1476264997391759440.0383.4
BASE/battle/8oAvhQ1.15136763087683354.2115735367269113.657887736100027
DRESDEN/battle/8oAvhQ1.1549273244450864.2005688959449623.6370850416611558
BASE/lightsOn/MsXu3A1.1606344766203636085.45243.166666666667
DRESDEN/racetrackcorridor/O0DoTA1.16157517002968481030.4333333333334887.1
BASE/chineseCheckers4/avfBcQ1.163779353457986344.3666666666667295.9037429590374
DRESDEN/cube_2x2x2/fp-34Q1.16436949354088971436.13333333333341233.4
BASE/choicethroughalt/tt71Lg1.1773552031689007111.3555311135553294.58108378324336
BASE/snake_2009/7l-qAQ1.1903007904022584562.2472.3175894136862
DRESDEN/chickentoetictac/cxYaRQ1.19342790570175454643.8666666666673891.2
BASE/chickentoetictac/l57rfQ1.19393680249711384653.7666666666663897.8333333333335
DRESDEN/snake_2009/zIYLVw1.2017436414727287555.9666666666667462.6333333333333
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.214047460498262461.8333333333333380.40797280181323
BASE/blocksWorldSerial/Wyg96Q1.2254145002566223660.96666666666672987.5333333333333
STANFORD/jointbuttonsandlights/qAKuIQ1.22989279770888985296.5333333333344306.5
BASE/circlesolitaire/azuQFQ1.23504064643305175054.0333333333344092.2
DRESDEN/circlesolitaire/ruUilQ1.24026169777654665074.24091.233333333333
BASE/toetictac/mTThmg1.27027341055154125830.7666666666664590.166666666667
DRESDEN/catch_me/ghGWrA1.2755150680578363211.06666666666662517.4666666666667
STANFORD/ttcc4/Cx9SGw1.2800011503005337118.9309873704555392.91475038325669
DRESDEN/breakthrough/z4hK7Q1.2814561322471996171.0885940937271133.51108148641893
DRESDEN/knightstour/cGISAA1.28933669185558372815.2666666666672183.5
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.29154349662162173262.2666666666672525.866666666667
DRESDEN/knightazons/02I8BQ1.29534505740997862.5833111170354648.31400773024124
DRESDEN/breakthroughsuicide/Y9QzqQ1.297357587197436180.3759498733502139.03333333333333
DRESDEN/Thief_Police/CX18rA1.2987365718532533203.7666666666672466.8333333333335
BASE/breakthroughSuicide/wZDpIg1.300652170462994171.8161517181615132.1
BASE/knightazons/apnJBQ1.31322823851953463.8666666666666748.63333333333333
DRESDEN/toetictac/mJtxCA1.31474250349959485948.3333333333334524.333333333333
BASE/breakthrough/TGxk-g1.3184807893464103169.56101463284557128.6033258906255
DRESDEN/CatchMeIfYouCanTest/CX18rA1.33098977477778523319.2666666666672493.8333333333335
BASE/breakthroughWalls/vOZaYA1.3541342476833544167.78322167783222123.90442230146299
BASE/ttcc4_2player_small/Cv72TA1.3547533373107232294.6136924205053217.46666666666667
DRESDEN/chinesecheckers1/Y-ftaA1.3559673814130122841.0333333333333620.2459918002734
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3631617772229474800.7666666666667587.4333333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw1.3692818809097878178.5940468651045130.42898570047666
DRESDEN/knightthrough/J7Fc_Q1.381146376594172.0046658890185124.53760789149199
DRESDEN/2player_normal_form_2010/NG_Kdg1.3844055572250867985.0666666666675767.866666666667
BASE/breakthroughHoles/nZk0Sg1.385381216604097179.35470968602093129.46235125495818
BASE/2pttc/unkkYA1.3863973298880277286.1333333333333206.38624091727218
DRESDEN/logistics/fPru1Q1.3954953595412361232.9666666666667883.5333333333333
DRESDEN/chinesecheckers3/QsCb2A1.4176568963999647536.8487717076098378.68737708743043
BASE/shmup/ssTNlg1.421918093354842910.8333333333334640.5666666666667
BASE/incredible/8Qh-6Q1.4442897316187513526.66666666666652441.8
DRESDEN/SC_TestOnly_enabled/09o7gQ1.45213042860973963068.42113.0333333333333
BASE/connectFourLarger/qKi60A1.467580797709591173.92753574880837118.51309040037306
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.4816420193778685774.8522.9333333333333
DRESDEN/roshambo2/jgSlkQ1.51098432066684238024.2333333333345310.6
DRESDEN/skirmish2/iPpWhQ1.512372610580931468.893110688931145.55300076643674
DRESDEN/tttcc4/sAvtFg1.5128483869742995137.7241517232184591.03632122625791
BASE/ttcc4/Le0qjQ1.5129639410380755142.7762039660056594.36854381872709
BASE/coloredtrails/EZvr7g1.5252283275939512376.96666666666671558.4333333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.5318948712778113759.6666666666666495.9
DRESDEN/skirmish/RjGQYQ1.53379217611576667.1532360194627743.78248700519792
DRESDEN/lightson2x2/gBHuig1.53500611995104034180.3333333333332723.3333333333335
BASE/kitten_escapes_from_fire/uW-YiA1.5467280233819873981.9333333333333634.8455051498283
STANFORD/hunter/14dD-g1.5522651207267513463.02230.9333333333334
BASE/roshambo2/KNPokQ1.55312472264837538166.4333333333335258.066666666667
DRESDEN/kitten_escapes_from_fire/uW-YiA1.553746608223753992.5333333333333638.8
BASE/snake_2008/i6K26g1.5573622402890697517.1827605746475332.0889303689877
DRESDEN/snake_2008/E56l3A1.5581656383105584514.3161894603513330.07799480034663
BASE/tttcc4/8Bs2lg1.5604355716878402143.2952234925502491.83027232425586
BASE/snake_2008_tweaked/bX0NJQ1.5892625486478393530.8666666666667334.03333333333336
STANFORD/knightstourmedium/x1wu8Q1.60283155369145952917.11819.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.6039281310551348607.0333333333333378.46666666666664
DRESDEN/point_grab/r5DPmQ1.61737791592830357423.3333333333334589.733333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.6254689174705252808.8333333333334497.6
BASE/blocks/xIV5hQ1.64592163855515611261.0666666666686841.8
BASE/blocksWorld/SEdXLQ1.646484177230448811382.26913.033333333334
BASE/blocks2player/wnTLOQ1.65105874486987067737.4666666666664686.366666666667
DRESDEN/blocks/vg0DRw1.688658852332398911587.6333333333336862.033333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g1.69287662286082456393.63776.766666666667
BASE/ttcc4_2player_alt/ZEJvYA1.722775902140673156.4333333333333490.80306564478506
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.73567591763652643360.51936.1333333333334
STANFORD/knightstour/cEwgNA1.78502841034224542701.71513.5333333333333
BASE/knightsTour/mvtVIg1.8050920910075842776.83333333333351538.3333333333333
BASE/hodgepodge/9yjRkw1.81010602631799535759.0333333333343181.6
BASE/amazons_8x8/7SOsIw1.816246186425935290.9909009099090250.09833005566481
BASE/tron_10x10/7ZTgDg1.83041581243757562321.33333333333351268.2
DRESDEN/8puzzle/8fKC2w1.83636729646564884257.0666666666672318.2
DRESDEN/blocks2player/3ev8nQ1.8386294438011928575.04663.8
STANFORD/bestbuttonsandlights/nm0wEA1.90192430003924389369.7666666666664926.466666666666
DRESDEN/buttons/ADUaHw1.925378722423823515599.0333333333338101.8
BASE/chineseCheckers1/gqtwHw1.92857046970577641548.3333333333333802.8399053364888
BASE/beatMania/qUHwvQ1.92971954719107063653.66666666666651893.3666666666666
STANFORD/checkersonabarrelnokings/Zrevdw1.9328174081495757166.50003332666886.14369501466275
BASE/buttons/hTcUjw1.973460098689807715464.0333333333337836.0
BASE/amazonsSuicide/dE1QEQ1.98032652102419520.176180408738548260.08896533317517274
DRESDEN/chinesecheckers2/06E6-Q2.01672553500935647.078430718976320.85597146761774
BASE/switches/tPUoCg2.035558678847505312551.9333333333326166.333333333333
BASE/endgame/jYjfOA2.056703413617326148.195060164661272.05465755707382
DRESDEN/firefighter/WJmoPw2.0714931363214545729.2666666666662765.766666666667
BASE/troublemaker01/s3tlEQ2.081689408549819722955.06666666666611027.133333333333
BASE/firefighter/WJmoPw2.08510343087790155510.2333333333342642.6666666666665
BASE/checkersTorusNoKings/pwb6oQ2.0915741678836275174.570904849191883.4638845371821
DRESDEN/troublemaker01/C-lPWw2.1017740705490123702.26666666666611277.266666666666
STANFORD/multiplebuttonsandlights/cK70Yg2.123550219603923810765.8333333333345069.733333333334
STANFORD/untwistycomplex/HTWEwg2.1280079327560566152.02890.9666666666667
BASE/chineseCheckers2/eCMR3Q2.14995658272660471072.9499.03333333333336
STANFORD/multiplebuttonsandlights_9/SqB9BA2.16178111435739711172.7333333333345168.3
DRESDEN/chinesecheckers6/yTbPDA2.1704814800439873372.76666666666665171.74376749766697
BASE/gt_dollar/TGjqRw2.1755641301162455939.02729.866666666667
DRESDEN/troublemaker02/iZLVuA2.19784864853286120520.89336.766666666666
BASE/amazons/RKKZjw2.20897087857847960.185093780848963470.0837918610172332
BASE/chineseCheckers6/rREH3A2.21810039507534536.4666666666667241.85860471317622
DRESDEN/4pttc/9pB9AQ2.249869337466084673.6108796373454299.4
BASE/checkersBarrelNoKings/rnKNeg2.2591062711227936200.526649111696388.76370787640413
DRESDEN/checkers-mustjump-torus/cVc3gA2.2607069026370192.42928452579034951.0745685444480626
BASE/skirmishNew/sibw2g2.26954735103399553.9558754915683623.77384876635701
BASE/troublemaker02/DI83KA2.276320086707795721142.2333333333349287.9
STANFORD/eightpuzzle/W_aWbA2.2779042855009714068.03333333333331785.8666666666666
BASE/point_grab/V_osUg2.2850372578241437666.33355.0
BASE/3pttc/0sol9g2.3084384701273613318.38938702043265137.92413839077395
BASE/knightsTourLarge/M8jgLA2.32864147678107841345.5666666666666577.8333333333334
DRESDEN/frogs_and_toads/GjchhQ2.3314474232487520.2493250224993223.14435223144352
STANFORD/8puzzle/jNiGtw2.36250092929893674237.0666666666671793.4666666666667
DRESDEN/Travelers-Dilemma/PvZwYw2.36821652497022361.3523511180724525.90656321800806
BASE/pearls/6k_mEQ2.38286190629558820962.4333333333348797.166666666666
BASE/eightPuzzle/vLrgFg2.4072024776220874249.0333333333341765.1333333333334
BASE/chineseCheckers3/-1rZdQ2.423380675439404877.8362.22125929135694
BASE/asteroidsSerial/id2QkA2.4239724187337691804.5666666666666744.4666666666667
BASE/speedChess/bPnisA2.512684548370991458.3100093296014923.206259364075244
BASE/checkersTorus/2vm1EQ2.534113387442989161.6279457351421663.78086574027792
DRESDEN/gt_prisoner/huCp4w2.5378023921548351636.0666666666666644.6785107163095
BASE/skirmishZeroSum/zh4hcw2.591985239169334853.70469083155650520.71952031978681
STANFORD/knightstourbig/TQUI2g2.60449064809267041159.1333333333334445.05183160561313
BASE/haystack/UkweGA2.62833457089747535160.6333333333313377.533333333333
BASE/knightThrough/gcwFjA2.6545239353615657173.382661733826665.31591575579846
BASE/onestep/xi53wA2.68274539911530940068.2333333333314935.533333333333
DRESDEN/oisters_farm/pTQMLg2.71375915644100247755.22857.733333333333
STANFORD/threepuzzle/41ibjA2.7214273547947549586.53522.6
BASE/maze/cCX3qQ2.735947170645446616503.2333333333346032.0
DRESDEN/checkers-cylinder-mustjump/vW_-pA2.7377731280052853.25484074529210551.188864304349262
STANFORD/untwistycorridor/EDPPAQ2.763528632454113517661.0666666666666390.766666666666
BASE/untwistycomplex2/EDPPAQ2.77956239330474217801.86404.533333333334
STANFORD/3puzzle/41ibjA2.78326245000048689532.7666666666663425.0333333333333
DRESDEN/gt_chicken/CeuKtw2.8190969075292911342.0333333333333476.0507983067231
BASE/survival/YVIjJA2.851097290728429529248.26666666666610258.6
DRESDEN/minichess/c7GMFw2.946673123246989595.2666666666667202.0131320201313
BASE/minichess/8NQEiA2.9530614159205846661.9779340688643224.16666666666666
DRESDEN/four_way_battle/xSOQXA3.020478421544243319.7245875465673246.530285866595588
BASE/asteroidsParallel/WauZiA3.0378061525878132228.4333333333334733.5666666666667
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg3.04945873473036063.47601549309762661.1398794984530207
BASE/gt_chicken/gmepTQ3.0710331384015591312.8666666666666427.5
BASE/knightwar/DVGY4Q3.111002665331247522.5099136925589167.95546963535764
BASE/gt_staghunt/xPjLRA3.16201610573420751687.9333333333334533.8155394820172
STANFORD/platformjumpers/HEQskA3.16870794270833381.125.594028060119307
DRESDEN/pacman3p/rBnk8Q3.2096616595079523208.0722570323956764.8268506482685
DRESDEN/endgame/IJhh3Q3.2623403579986583123.1625612479584137.75282396454633
BASE/amazonsSuicide_10x10/XIbQkg3.284073736546720371.449995001166421.75651362697408
STANFORD/buttonsandlights/eyhJpA3.291061488475780732379.7666666666669838.7
BASE/gt_prisoner/klthDw3.30717123689181271692.5511.76666666666665
BASE/pacman3p/wW7UVQ3.3409909969491314210.426319122695962.98320447880565
BASE/pacman2p/4LEdQg3.368213943112103201.2666666666666859.75471572352196
BASE/four_way_battle/xSOQXA3.36853878153323821.3985734284381056.352479462533675
BASE/gt_coordination/IVMOzA3.4078982359719882562.9666666666667752.0666666666667
BASE/kalaha5x2x3/WviNsw3.41738553608326351488.4435.5376308246117
BASE/amazons_10x10/Bun8dA3.431669873483953572.8902812958272221.24047008689283
BASE/asteroids/BKCmPQ3.46830816838286274333.7666666666661249.5333333333333
BASE/amazonsTorus_10x10/Uxc08g3.600036762665778846.0129848510071612.781254160564506
BASE/hitori/S8Gsyg3.93385371740428624.1470373565125081.0541920606160435
DRESDEN/hitori/S8Gsyg4.1484161995810864.60844771566872251.1108932888976017
DRESDEN/hanoi_6_disks/MeubgQ4.215805471124621248.3296.1
DRESDEN/checkers-mustjump/HUr33w4.24238607032338164.8248095032109941.1372867587327375
BASE/hanoi_6_disks/MeubgQ4.2484518126150491256.4666666666667295.7469502033198
BASE/4pttc/AL1k2Q4.433936170711689420.133333333333394.75403279562725
DRESDEN/Runners/3bOCQw4.6290668225209435544.2333333333341197.7
BASE/gt_centipede/9fRMpw5.11364821888303710129.9666666666671980.9666666666667
BASE/sheepAndWolf/g4THrg5.144449974836436681.4132.45342132453422
BASE/kalaha6x2x4/XS81Mg5.1806050598476611269.4666666666667245.0421624504216
BASE/hanoi7_bugfix/3gdnFw5.370664222396037915.3666666666667170.43826028995167
BASE/gt_tinfoil/Q8DyKg5.6913861950941245665.1111629612346116.86277124095864
DRESDEN/hanoi7_bugfix/3gdnFw5.720636889991729922.1666666666666161.2
DRESDEN/hanoi7/51zz5Q6.092957746478873937.3153.83333333333334
DRESDEN/othello-cornercontrol/r5Gdlg6.4635517706244031.05218163285437140.16278691193228065
DRESDEN/blobwars/ZaMluQ6.52269178271675120.2959901336622218.442691168148073
DRESDEN/mummymaze2p-comp2007/oTQRQg6.61493088765149673.0101.73953612370035
BASE/crossers3/O0rORg6.6197094035087725314.347.47942558224769
DRESDEN/farmers/S_ASnw6.6246989852422288.9097148891235471.3449237329834345
DRESDEN/crossers3/xiPTxg6.787295791899186321.911872541830547.428590474285905
BASE/blobwars/0XT15Q6.84772496020955124.4460733682071118.173345759552657
BASE/mummyMaze2p_2007/YGA3Vw6.875796322861032673.855076328244898.00393215368723
BASE/wargame02/BkVqqQ7.15141849286174228.541930327049893.991086573319586
BASE/cylinder-checkers/hlldmw7.66297073219458621.110112209902442.7548209366391183
BASE/wargame01/_GZFZg7.90008234569926432.263434773922894.083936516368949
DRESDEN/bomberman2p/x4h6jQ8.2698449064449061060.5333333333333128.24101846297407
BASE/bomberman2p/4CClwA8.444320311674591065.5666666666666126.18738126187381
DRESDEN/cylinder-checkers/clOO3Q9.06433381444208722.2873704900556362.4587985114300905
DRESDEN/pancakes88/aD3E7g9.25416286968768311170.71207.1
DRESDEN/connect5/1kYzSg9.798094444604756202.0461210343908420.620960756879207
DRESDEN/pancakes/hl9aiQ10.3654945610928413658.2666666666661317.6666666666667
BASE/wargame03/klXI8w10.52414195268243834.288570476507833.258087037468001
DRESDEN/quartosuicide/WIU1oQ10.701295663174248247.3258022593222223.111762355135205
BASE/quarto/EwBMVQ10.969040922679627245.291823605879822.362194227821103
DRESDEN/pancakes6/SZXMyQ11.02545701365866613856.71256.791440285324
BASE/connect5/d-BVQg11.324419744929807202.819812012532517.909951819239076
DRESDEN/quarto/OQzRYQ11.48251204126529256.8914369521015722.37240736425076
BASE/quartoSuicide/-23jUg11.638685815602837255.2666666666666821.93260224659178
DRESDEN/checkers-newgoals/IJOqXQ11.6838730889363829.780146568954032.5488248924197285
BASE/ruleDepthLinear/OUBJpQ11.97011245414636919905.11662.9
DRESDEN/checkers/jIDMIg13.98692287633981731.4635203146352042.249495517549373
DRESDEN/ghostmaze2p/HY0UwA15.8152498632181032119.7134.02886570447652
BASE/ghostMaze2p/W-NU-w16.0143922742389362086.4666666666667130.28697130286972
BASE/twisty-passages/DiZmmg16.4652309619912561087.766666666666766.0644645178494
DRESDEN/twisty-passages/j7NPyg17.2305464876033061111.564.50753032120485
BASE/pancakes6/QZTdnw17.5760926094917313658.967436589674777.1333333333333
BASE/pancakes/yUgbXw18.41221240486396514031.333333333334762.0666666666667
BASE/mummymaze2p/vpjDdA20.404735937116186922.666666666666645.21826057980673
DRESDEN/mummymaze2p/k-8edg20.47658165810712930.133333333333345.4242484836366
DRESDEN/knightfight/4_Ly4w23.880940747280861232.092263591213651.59312091721104
BASE/knightfight/SJRkAg24.35900139067181264.833333333333351.92467922012998
BASE/solitaireChineseCheckers/-ET6gw27.128906018518517387.133333333333314.270141710435041
DRESDEN/kalaha_2009/gcC8uA48.4400525946704051150.323.746877601998335
BASE/kalaha_2009/dRiN3g49.176920313942751182.066666666666624.037021007424176
DRESDEN/max_knights/hCipiA52.54275404530744360.13333333333336.854100815172185
BASE/max_knights/2fq3Ag53.302207317727095367.08776374120866.8869148617626506
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA63.0165532710280441122.017.804845580404685
DRESDEN/vacuumcleaner_random/_6AGDA65.50103024772594988.9007399506715.097483752707882
DRESDEN/vacuum_cleaner_1/eUNjpw73.605092882396651120.354631203546215.221156408206769
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A83.194967910936481409.333333333333316.940127134156487
DRESDEN/battlebrushes/QHXV4A119.5311429012972343.731875604146530.36586177077097054
DRESDEN/vacuumcleaner_random_big/DwzFaQ131.30181349682348326.935892309742772.489957172736629
BASE/pancakes88/l2Xaig414.706673482849610468.83333333333425.24394711426383
DRESDEN/merrills/aYEzwAInfinity3.5199574948528920.0
BASE/merrills/pku8TgInfinity3.53181938209664640.0

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest 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
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147484126
BASE/sudoku/NTaNkwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionTest process timed out after 240 seconds

index