Game-by-game performance:
Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
DRESDEN/golden_rectangle/1uloXw | 0.0 | 0.0 | 439.25202493250225 |
BASE/queens06ug/7Lq3tw | 2.4910142714705275E-4 | 0.2923620416615909 | 1173.6666666666667 |
BASE/queens08ug/kJ_ZFQ | 4.6058056347509876E-4 | 0.4234270646881075 | 919.3333333333334 |
DRESDEN/quad_7x7/q-JOXg | 7.027179249200989E-4 | 0.4598198588082551 | 654.3448551714943 |
BASE/colonelBlotto/jip21A | 9.038281979458449E-4 | 0.004608294930875576 | 5.098640362569982 |
BASE/quad_7x7/q-JOXg | 0.0011072028078820781 | 0.7227948065854638 | 652.8115729475684 |
BASE/golden_rectangle/_nYzfw | 0.002179119025259521 | 0.9537277600552504 | 437.6666666666667 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.002566370726942604 | 0.09942927595601249 | 38.74314607479397 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.0037654494674100774 | 0.15534342547787522 | 41.254948930365636 |
BASE/quad/tw-Ufg | 0.004838915347667578 | 0.8955758552749418 | 185.07780999033622 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.004855155087290762 | 2.242596134819603 | 461.9 |
BASE/racer/QQYQNw | 0.005550290238471875 | 0.10667235585897915 | 19.21923922456865 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.005656445537850016 | 0.23214378986344142 | 41.040577215860196 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.005709642708127457 | 1.2846696093286778 | 225.0 |
DRESDEN/racer/vk_ZBA | 0.006269347867020724 | 0.11370743078060151 | 18.137042830044262 |
DRESDEN/grid_game2/kypTYQ | 0.0065167798169384495 | 10.922774651170535 | 1676.1 |
DRESDEN/quad/JPe6fg | 0.006587518665794437 | 1.194936054773285 | 181.39395353488217 |
BASE/battlebrushes/arCwyA | 0.0070416916018352285 | 0.9096349491322562 | 129.17847025495752 |
BASE/blokbox_simple/JBx4bg | 0.007334655513935576 | 0.05231356752373728 | 7.132382349020131 |
DRESDEN/quad_5x5/JAEP5g | 0.008006212199446826 | 1.6894087069525665 | 211.0122321101223 |
BASE/copolymer_4/2LDVhQ | 0.00810900756364327 | 8.830168636303279 | 1088.9333333333334 |
BASE/sudokuGrade6H/ieE_9A | 0.008988006680298335 | 1.6630254018978055 | 185.0271657611413 |
BASE/copolymer_4_pie/IN5_jA | 0.009038862337908867 | 9.112981009079721 | 1008.2 |
BASE/sudokuGrade6E/ihYFZA | 0.009493644078317598 | 1.6813243662700466 | 177.1 |
STANFORD/sudoku/oJ1qyQ | 0.010368211108999867 | 1.9287685810249078 | 186.02713242891903 |
BASE/sudokuGrade3/eI8dvg | 0.010909797004302444 | 2.0626101999401176 | 189.06036465451152 |
BASE/sudokuGrade4/DTy07w | 0.010959555806248982 | 2.062747446518282 | 188.21451188214513 |
BASE/quad_5x5/JAEP5g | 0.011062394317852029 | 2.344702535405008 | 211.95253649756683 |
BASE/sudokuGrade5/BQfUQA | 0.01119537074411283 | 2.076672050631242 | 185.4938168727709 |
STANFORD/duidoku/3SoMaA | 0.011234829963569691 | 1.818302036498281 | 161.84508732169044 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.012406214559169945 | 0.5007636645884974 | 40.36393713813069 |
BASE/sudokuGrade2/u80Tfw | 0.012491976587644631 | 2.354423663615864 | 188.47487001733103 |
DRESDEN/fizzbuzz/t1xHzQ | 0.012931019653607642 | 10.874987528684027 | 841.0 |
BASE/sudokuGrade1/tDRNRw | 0.013291871819279672 | 2.562502053286902 | 192.78714752349845 |
STANFORD/selectivesukoshi/3xmXYg | 0.015224725936842374 | 6.152106680855309 | 404.08653044898506 |
BASE/zhadu/DlA8iQ | 0.015571150646833991 | 0.6132989025177534 | 39.386871042985675 |
BASE/simultaneousWin2/PfjRjw | 0.016924688877350904 | 17.230461589735043 | 1018.0666666666667 |
BASE/nim3/1OwUqw | 0.017361317824583652 | 24.573787959509858 | 1415.4333333333334 |
DRESDEN/nim2/z5_exA | 0.01743825197454034 | 24.651875541341862 | 1413.6666666666667 |
BASE/nim1/hin2Qw | 0.01758088393084064 | 25.041625041625043 | 1424.3666666666666 |
BASE/nim2/eF2Qqw | 0.01823561260464616 | 26.111573688592838 | 1431.9 |
DRESDEN/nim3/sG_axA | 0.01850695826040287 | 25.971431425432026 | 1403.3333333333333 |
DRESDEN/nim1/M9BALA | 0.018572505230914787 | 26.00645999134228 | 1400.2666666666667 |
BASE/nim4/twk16w | 0.01877777706273881 | 26.05103604503964 | 1387.3333333333333 |
DRESDEN/nim4/F5YAYg | 0.01903224749166304 | 25.739211507725095 | 1352.4 |
DRESDEN/small_dominion/yB5GJA | 0.024202561160565753 | 0.5233727240172988 | 21.624683459949352 |
BASE/guess/SPpk1A | 0.02464639301066244 | 5.912078475410378 | 239.8760123987601 |
DRESDEN/guess/PhxGhg | 0.027354672508619476 | 6.4655172413793105 | 236.35878804039865 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.032004248746587 | 0.4098877538151091 | 12.807291839925485 |
STANFORD/triplesukoshi/Iu9mbA | 0.03959449434031113 | 51.33162227925736 | 1296.4333333333334 |
BASE/hidato19/rRHSmA | 0.039906657603898034 | 23.673170406872213 | 593.213559548015 |
BASE/othello-comp2007/86ZoMw | 0.04133947447900936 | 0.8294625082946251 | 20.064660200646603 |
BASE/othelloSuicide/B442jg | 0.044780143003425414 | 0.878334417696812 | 19.614372772986112 |
BASE/othelloHoles/c0qAzw | 0.04483285411731291 | 0.9251579148854718 | 20.635713097021135 |
DRESDEN/gt_ultimatum/pAiiQw | 0.046567043715181514 | 15.58960692871419 | 334.7776814879008 |
BASE/hidato37/pBrqxw | 0.04685061007966866 | 2.961730449251248 | 63.21647560650493 |
BASE/racer4/0vs7Ww | 0.04706551020408163 | 0.7510204081632653 | 15.956916325920016 |
BASE/gt_ultimatum/GE-uOA | 0.04966643346018592 | 15.332028009159393 | 308.7 |
BASE/cephalopodMicro/9l2D3g | 0.05330687830687831 | 4.1005291005291005 | 76.92307692307692 |
DRESDEN/CephalopodMicro/H3XQfg | 0.05491708670961164 | 4.610129017279692 | 83.94707901489653 |
STANFORD/multiplesukoshi/vLSQPg | 0.05772820210123477 | 21.95715190084297 | 380.3539882003933 |
BASE/coins/QnGtnQ | 0.060878798572766055 | 82.9250408292504 | 1362.1333333333334 |
BASE/coins_atomic/AA3SSw | 0.06180531015973288 | 85.09149085091491 | 1376.7666666666667 |
DRESDEN/coins/QwFP9w | 0.06525092960021335 | 84.83273357323738 | 1300.1 |
DRESDEN/Goldrush/VeWczQ | 0.06619967151797586 | 35.88564574170332 | 542.0819306023133 |
DRESDEN/god/2EDD5w | 0.0670567744965587 | 2.46272630457934 | 36.72598813570619 |
BASE/futoshiki6/JmvXNA | 0.06826000362122035 | 37.69874337522083 | 552.2815906136462 |
DRESDEN/slidingpieces/s9_44g | 0.07218506351584644 | 58.6648011193284 | 812.7 |
BASE/cittaceot/fDxhXg | 0.07227516139070364 | 20.890947256188984 | 289.04739684021064 |
BASE/slidingpieces/uFJWEw | 0.07346566070673771 | 58.674574351114515 | 798.6666666666666 |
BASE/chess_200/XsTpYA | 0.07436418620792226 | 0.9122006841505131 | 12.266666666666667 |
BASE/god/qF06gw | 0.08248373430833851 | 3.183129414105242 | 38.59099543439864 |
BASE/gt_attrition/kD_SCA | 0.08397988268568347 | 0.09904585823236159 | 1.1793998165378063 |
BASE/colonelBlottoVariant2/jruwGw | 0.09302903658925146 | 3.9703546850185285 | 42.67866066966517 |
BASE/futoshiki5/TJ4BZg | 0.09383397035040446 | 75.13911565759221 | 800.7666666666667 |
DRESDEN/cubicup_3player/awDtsQ | 0.10053083982751235 | 40.019993335554815 | 398.0867304423186 |
BASE/cubicup_3player/e2yA_g | 0.10211620168061718 | 41.25016660002665 | 403.953201559948 |
DRESDEN/smallest/9kaGFw | 0.10391572063922809 | 61.266666666666666 | 589.580347321756 |
STANFORD/duikoshi/tpw1sw | 0.1207837670579061 | 165.2724545909015 | 1368.3333333333333 |
DRESDEN/Zhadu/9zpQ5w | 0.12634528349530907 | 5.1765330501725515 | 40.971320075946835 |
DRESDEN/peg_bugfixed/u_B7MA | 0.1285506363887737 | 96.71721379770038 | 752.3666666666667 |
DRESDEN/peg/Vo31eg | 0.128640014358146 | 95.56666666666666 | 742.9 |
BASE/stateSpaceLarge/0Ge_CQ | 0.13325971320919877 | 492.28359054698177 | 3694.1666666666665 |
BASE/conn4/va9Y7A | 0.13449395771276068 | 174.78834744350377 | 1299.6 |
DRESDEN/statespacelarge/8-y5HQ | 0.13466777870447594 | 484.4 | 3597.0 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.13569077294298354 | 83.36388787040433 | 614.3666666666667 |
BASE/snake2p/I3wWPQ | 0.14023042338463984 | 157.1842815718428 | 1120.9 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.1402678772545788 | 42.203790679857434 | 300.8799413372442 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.14244786602070536 | 109.76666666666667 | 770.5743141895271 |
BASE/futoshiki4/BaCwSw | 0.144699683632095 | 202.1599280023999 | 1397.1 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.14623823932835966 | 86.62178376216505 | 592.3333333333334 |
DRESDEN/tpeg/h-Scbg | 0.15064261380422922 | 111.38514864684709 | 739.4 |
BASE/blocksWorldParallel/RseaAQ | 0.15148760487093538 | 266.6333333333333 | 1760.1 |
BASE/tpeg/QNs7Lw | 0.15171118038822004 | 110.2889711028897 | 726.9666666666667 |
BASE/ticTacHeaven/18n58A | 0.1643744115164718 | 102.22992566914436 | 621.9333333333333 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.16551344746481247 | 102.80249258555767 | 621.1126295790141 |
DRESDEN/backgammon/mqCW0Q | 0.16613933986068088 | 51.294870512948705 | 308.74608359442703 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.16730373522991177 | 96.80751799520128 | 578.6333333333333 |
BASE/ticTacToeSerial/Amrwqw | 0.17091756066859876 | 190.60156640559907 | 1115.1666666666667 |
BASE/chomp/-LcqYQ | 0.17801486882550577 | 332.03333333333336 | 1865.2 |
BASE/tictactoe_3d_6player/d7KSwg | 0.17869988080092084 | 25.232492250258325 | 141.2003865764655 |
BASE/blockerSerial/3eqDuw | 0.18009501618918994 | 173.1493517314935 | 961.4333333333333 |
DRESDEN/chomp/-LcqYQ | 0.18362405872985355 | 338.7435427428762 | 1844.7666666666667 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 0.18365427005689036 | 23.62939510081653 | 128.66237792073596 |
DRESDEN/amazons/dNB28A | 0.18690027920797153 | 2.2644022644022646 | 12.115563839701771 |
DRESDEN/pentago_2008/hLjVpQ | 0.19854737834753838 | 77.54598773660358 | 390.56666666666666 |
DRESDEN/connect4/T0-rHQ | 0.2015439919853851 | 114.0 | 565.6333333333333 |
BASE/connect4/50bOyw | 0.20217669972372734 | 111.31849086788428 | 550.6 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.22248593863232138 | 170.19432685577146 | 764.9666666666667 |
DRESDEN/cubicup/SBn_lw | 0.22251812961211792 | 101.25316624450073 | 455.03333333333336 |
DRESDEN/battlesnakes2011/93VtTw | 0.22568864092376423 | 163.40609898350274 | 724.0333333333333 |
DRESDEN/battlesnakes1509/-qZrLw | 0.22758058246047708 | 164.38904073061795 | 722.3333333333334 |
BASE/cubicup/4wNWJA | 0.2281079816436689 | 104.13542603885502 | 456.5181160627979 |
BASE/colonelBlottoVariant/X-n-KQ | 0.23474881190719168 | 10.191507077435471 | 43.414520374504384 |
DRESDEN/towerworld/HCX34w | 0.23817041417774867 | 7.7678927101314565 | 32.61485158410234 |
BASE/ticTacHeavenFC/mrletw | 0.24776851357496346 | 141.59144655763913 | 571.4666666666667 |
BASE/brain_teaser_extended/ZDp94A | 0.24814190052650414 | 809.0666666666667 | 3260.5 |
BASE/checkers-mustjump-torus/uSApKQ | 0.25028279602089365 | 2.1958279269388163 | 8.773387391578877 |
BASE/skirmish/Y_psYQ | 0.25127070116186206 | 5.937572561117192 | 23.63018264231436 |
BASE/skirmishHoles/AUCxCA | 0.2515012239179402 | 7.836626265980408 | 31.159396140900455 |
DRESDEN/javastrike/whONTQ | 0.2522789629512271 | 70.36197586827545 | 278.9054427890544 |
BASE/pegEuro/5awwhg | 0.25288004881136583 | 78.6430737445433 | 310.9896336788774 |
DRESDEN/lightsout2/LFtfyQ | 0.25610182293721745 | 757.2333333333333 | 2956.766666666667 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.2582491519685521 | 830.5723142561915 | 3216.1666666666665 |
DRESDEN/lightsout/XgLpzQ | 0.2732077371108075 | 759.9 | 2781.4 |
BASE/lightsOnSimul4/9FeASw | 0.27513659486277714 | 292.06666666666666 | 1061.5333333333333 |
DRESDEN/smallest_4player/ADDROA | 0.27943716141760616 | 201.25324978334777 | 720.2093263557881 |
BASE/smallest_4player/ADDROA | 0.2794480673506386 | 201.19329355688143 | 719.9666666666667 |
BASE/strangeSkirmish/gc1zKA | 0.279459247528406 | 7.262309281098008 | 25.987006496751626 |
BASE/nineBoardTicTacToe/wRmqqA | 0.27953366371284183 | 171.26095796806774 | 612.6666666666666 |
STANFORD/nineboardtictactoe/y28P-A | 0.28263254570739715 | 176.07065489085153 | 622.9666666666667 |
DRESDEN/blockerparallel/dVQgSg | 0.2847845023966891 | 194.64071457139048 | 683.4666666666667 |
BASE/stateSpaceMedium/3bUoIw | 0.2913743915752396 | 1610.3 | 5526.566666666667 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.29220081912626533 | 3.0301012253596165 | 10.369927211087845 |
DRESDEN/mimikry/GJEhwA | 0.2952005269142149 | 239.9506699553363 | 812.8395720142662 |
BASE/blockerParallel/7-nDJA | 0.2997753277976111 | 195.48696753549763 | 652.111596280124 |
BASE/lightsOnSimultaneous/_VN6lw | 0.30063827694128187 | 370.9876337455418 | 1234.0 |
BASE/majorities/ibJzSQ | 0.30279439820211485 | 122.35105957616953 | 404.0730617958803 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.3032221646637322 | 2.9991002699190243 | 9.89076861595844 |
DRESDEN/statespacemedium/dVJZ_w | 0.3064778442214827 | 1633.2 | 5328.933333333333 |
BASE/peg/fJHVWw | 0.3143069439112244 | 99.73674564297377 | 317.3227559081364 |
BASE/ticblock/T21C1g | 0.31978399893812687 | 471.35095496816774 | 1473.9666666666667 |
BASE/withConviction/3Xm54A | 0.32363501838835335 | 495.73333333333335 | 1531.7666666666667 |
DRESDEN/ticblock/Z2yNWQ | 0.32765465145294104 | 481.46666666666664 | 1469.4333333333334 |
BASE/doubletictactoe/HH1htg | 0.3284313725490196 | 654.3666666666667 | 1992.4 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.33176721167700307 | 353.06666666666666 | 1064.2 |
BASE/pentagoSuicide/SBgNhw | 0.3330987556502933 | 76.17968541722207 | 228.7 |
DRESDEN/doubletictactoe/lJzgmQ | 0.3343615262700455 | 654.0 | 1955.9666666666667 |
STANFORD/alquerquezero/uVgA_A | 0.33563456449200324 | 97.23333333333333 | 289.7 |
BASE/doubletoetictac/fu35bg | 0.33788956669172016 | 644.3666666666667 | 1907.0333333333333 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.3381027471251454 | 269.68202119858677 | 797.6333333333333 |
BASE/lightsOut/5P1ZBw | 0.3381917759816263 | 765.7 | 2264.1 |
BASE/breakthroughSmallHoles/bxclRw | 0.33926737564066883 | 373.4542181927269 | 1100.7666666666667 |
DRESDEN/pawn_whopping/4ogBkg | 0.33985217777895005 | 371.82093930202325 | 1094.0666666666666 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.3400675092739866 | 269.1974403412878 | 791.6 |
BASE/bunk_t/xbpfIA | 0.3411042306291304 | 655.5 | 1921.7 |
DRESDEN/bunk_t/7-tPfA | 0.34534249822232754 | 679.9333333333333 | 1968.8666666666666 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.35040116582598463 | 459.46936870875277 | 1311.2666666666667 |
STANFORD/sukoshi/4LYZZQ | 0.3512464513975034 | 889.6370120995966 | 2532.8 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.352338088264324 | 27.022529867882458 | 76.69488700753283 |
BASE/wallmaze/uxNQ9g | 0.3542925178436351 | 253.7915402819906 | 716.3333333333334 |
BASE/qyshinsu/R08Lzw | 0.35540961029574647 | 74.78255073816109 | 210.4122921041229 |
DRESDEN/minichess-evilconjuncts/th24Tw | 0.35675119601303257 | 73.65930073659301 | 206.47247033728837 |
BASE/pentago/86NgKw | 0.36040321520648366 | 81.84211403245693 | 227.08486100926604 |
BASE/minichess-evilconjuncts/4OpQzw | 0.36090027538688835 | 75.80806397867377 | 210.05266315578962 |
BASE/knightmove/jBaJEw | 0.36593172119487904 | 137.19542681910602 | 374.9208359721343 |
DRESDEN/doubletoetictac/V89gKQ | 0.3713926995439523 | 670.5 | 1805.3666666666666 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.37703964043711974 | 738.8594473885945 | 1959.6333333333334 |
BASE/biddingTicTacToe/8mESVw | 0.37940575941950505 | 448.04026129849353 | 1180.9 |
BASE/ad_game_2x2/D0aWqg | 0.3810340940404318 | 0.23798191337458352 | 0.6245685546168765 |
DRESDEN/knightmove/97Ipcw | 0.3840451703621908 | 144.8521814485218 | 377.17485500966603 |
DRESDEN/tictactoelarge/IwXcbg | 0.385410472559376 | 734.5666666666667 | 1905.9333333333334 |
BASE/checkers-mustjump/T-8UuQ | 0.39000167989919093 | 4.558764807666711 | 11.689090182496336 |
DRESDEN/crisscross/GsY16g | 0.3941622063467932 | 319.67868808746084 | 811.0333333333333 |
DRESDEN/skirmishfinal/hzq8ww | 0.3957054338825276 | 11.259910720234526 | 28.45528455284553 |
BASE/crisscross/ICagEg | 0.3971944357611753 | 338.8333333333333 | 853.0666666666667 |
BASE/skirmishFinal1/ecWTnQ | 0.3973359885204189 | 10.456906886905555 | 26.317542807648746 |
DRESDEN/capture_the_king/EQ229Q | 0.4013412909665613 | 18.39960073199135 | 45.845272206303726 |
BASE/skirmishFinal2/gdB62Q | 0.40679579801344834 | 12.065057992267697 | 29.65875766462277 |
BASE/tictactoex9/BI26ow | 0.4132851683620921 | 344.0874550059992 | 832.5666666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.41903129237776016 | 545.9 | 1302.7666666666667 |
DRESDEN/catcha_mouse/cHv4dw | 0.4268939288787719 | 512.6 | 1200.7666666666667 |
DRESDEN/tictactoex9/rFkD4w | 0.42974354646542773 | 346.6884437185427 | 806.7333333333333 |
BASE/3pConnectFour/PqXOFQ | 0.43013157894736836 | 326.9 | 760.0 |
BASE/dotsAndBoxes/EHwA_w | 0.4337208982752552 | 342.26666666666665 | 789.1403619879337 |
BASE/ticTacToeLarge/TZC0dg | 0.4378292416260809 | 734.1666666666666 | 1676.8333333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.44170340247528644 | 339.69936339699365 | 769.0666666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 0.4436664544875875 | 580.8333333333334 | 1309.1666666666667 |
BASE/duplicateStateLarge/dcjyuw | 0.4455432253445499 | 331.88893703543215 | 744.9085030498983 |
BASE/skirmishFinal3/-Olhfw | 0.4481596934954406 | 14.239137667176792 | 31.772463864650636 |
BASE/catcha_mouse/cHv4dw | 0.4501108024783167 | 518.7827072430919 | 1152.5666666666666 |
BASE/ticTacToeLargeSuicide/727_8g | 0.45474255840813765 | 748.0666666666667 | 1645.0333333333333 |
BASE/connectFourSimultaneous/7ITr3g | 0.45640470565759816 | 217.95640871825634 | 477.5507483083897 |
BASE/pawnWhopping/Ypc_6Q | 0.45702288113805817 | 355.53333333333336 | 777.9333333333333 |
BASE/snakeAssemblit/UO4sdg | 0.4690398971220453 | 241.87581241875813 | 515.6828105729809 |
BASE/numbertictactoe/rvJ-iQ | 0.47501489604972863 | 983.2333333333333 | 2069.9 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 0.49706326564859876 | 98.72675154989668 | 198.62009199386708 |
BASE/2pffa/6oHijA | 0.49843362143438313 | 289.4473701753216 | 580.7139762007934 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.4992927347152678 | 73.17479349853451 | 146.55689620691953 |
BASE/checkers/rOC3Xg | 0.50140028046055 | 30.55648117294235 | 60.94228975076636 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.5123281527019051 | 704.809839672011 | 1375.7 |
BASE/2pffa_zerosum/o0_uZA | 0.5184325729679142 | 288.9474035064329 | 557.3480883970534 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.525511115320004 | 73.48923978945966 | 139.8433594400933 |
DRESDEN/stratego/Z2wovg | 0.5262066923304708 | 355.38815372820903 | 675.3774874170861 |
BASE/duplicateStateMedium/U163eQ | 0.531722343702616 | 1110.4666666666667 | 2088.4333333333334 |
BASE/ticTacToeNoVars/XT03NA | 0.5340115444717287 | 1116.3333333333333 | 2090.4666666666667 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.5348892696366582 | 514.3495216826105 | 961.6 |
BASE/checkersSmall/SYmq8w | 0.5375177837446325 | 48.16506116462784 | 89.60645139791396 |
STANFORD/multipletictactoe/_bkafQ | 0.5426290932158208 | 438.1041263915739 | 807.3730875637478 |
BASE/escortLatch/mX9BjQ | 0.5656554504499454 | 255.01633224451703 | 450.8333333333333 |
DRESDEN/tictactoeparallel/yk_DSg | 0.5761753052408031 | 747.6834877674821 | 1297.6666666666667 |
BASE/mineClearingSmall/frsbvw | 0.5796598040496408 | 147.9 | 255.14965668955404 |
STANFORD/freeforall/Lfp40Q | 0.5801252727144767 | 274.74835010999266 | 473.6017598826745 |
BASE/chinook/XQh0IQ | 0.6238691718858733 | 59.75272436431499 | 95.77765188122771 |
BASE/tictactoe_3player/GtM71g | 0.6282697710479038 | 536.3748458692971 | 853.7333333333333 |
BASE/factoringGeorgeForman/HGRorQ | 0.6284706395291226 | 3171.2 | 5045.9 |
BASE/sum15/QZ07Kg | 0.6386374308671606 | 3264.0333333333333 | 5110.933333333333 |
BASE/3pffa/pR0dzA | 0.640597552673882 | 328.44477034864343 | 512.7162427919069 |
DRESDEN/sum15/CsgWKg | 0.6452698491835972 | 3278.766666666667 | 5081.233333333334 |
STANFORD/breakthrough/d5j0cQ | 0.6474487170548057 | 583.1138962034598 | 900.6333333333333 |
BASE/englishDraughts/jFkQxg | 0.6498073013799269 | 166.7944146365848 | 256.6828878074795 |
STANFORD/chinook/osFbPA | 0.6520652228278523 | 57.949281882102035 | 88.87037654115295 |
BASE/racetrackcorridor/_RkdUg | 0.6660100827399643 | 629.9123362554582 | 945.8 |
BASE/4pffa/Q3ADlg | 0.6823184676958263 | 318.2121191920539 | 466.36890873941735 |
STANFORD/pentago/ZxzLmg | 0.6915326357109185 | 165.76132235811644 | 239.70137315024664 |
DRESDEN/babel/WdSW4A | 0.6998438040586609 | 57.488502299540094 | 82.14476139696082 |
DRESDEN/crissrace/KWb9bw | 0.708210990123394 | 239.0920302656578 | 337.6 |
DRESDEN/3pttc/uwYBZw | 0.7100419245358355 | 592.7666666666667 | 834.8333333333334 |
BASE/pawnToQueen/-O1_JA | 0.7141540744956898 | 3.5391790427678367 | 4.955763985897692 |
STANFORD/tictactoe3/X7myng | 0.7171169435307394 | 1736.8333333333333 | 2421.9666666666667 |
BASE/tictactoe2/bhrDoQ | 0.7188404491345037 | 2127.6 | 2959.766666666667 |
DRESDEN/blocker/S815zQ | 0.7228801188532732 | 2789.6666666666665 | 3859.1 |
BASE/aipsrovers01/4C4jsw | 0.7307908175061514 | 856.4381187293757 | 1171.9333333333334 |
DRESDEN/pawntoqueen/f_x6Aw | 0.7367326180473333 | 3.546334349728225 | 4.813597583242041 |
STANFORD/skirmish/w4V6Vw | 0.7496713594625529 | 6.120683919898876 | 8.164489469474807 |
BASE/ticTacToeParallel/ymRGPw | 0.7504323320309999 | 781.1 | 1040.8666666666666 |
BASE/breakthroughSuicideSmall/XSbJog | 0.7524680581158271 | 273.6726327367263 | 363.7 |
DRESDEN/3pffa/0YrmQw | 0.7613301473516527 | 637.2333333333333 | 837.0 |
BASE/crissrace/ERWGDA | 0.7619520497493668 | 253.64538251548038 | 332.8889037032099 |
BASE/breakthroughSmall/HJ0tIA | 0.7716625404684821 | 270.12432918902704 | 350.0549981667278 |
BASE/checkersTiny/Lr48cg | 0.7746114700954043 | 102.01633061156474 | 131.7 |
DRESDEN/aipsrovers01/qS47Mw | 0.7790109207138418 | 877.4 | 1126.3 |
BASE/lightsOnParallel/SC6enA | 0.8110900038489713 | 2177.5333333333333 | 2684.7 |
STANFORD/tictactoe5/WFRReg | 0.8287419003015333 | 2152.9333333333334 | 2597.8333333333335 |
DRESDEN/hanoi/RQ0jiA | 0.8301965955406376 | 1385.1 | 1668.4 |
BASE/brawl/6Ymo_Q | 0.8328011569248694 | 32.73720318380125 | 39.309747484842426 |
BASE/hanoi/iGLsJg | 0.8370243711501617 | 1354.3333333333333 | 1618.0333333333333 |
DRESDEN/brawl/2kXtfQ | 0.8505195201288476 | 33.59216182890659 | 39.496050394960506 |
BASE/eotcitcit/V_9_bg | 0.8513723527552419 | 2154.766666666667 | 2530.9333333333334 |
DRESDEN/connectfoursuicide/M9CNQg | 0.854759422016982 | 573.8 | 671.3 |
STANFORD/dualhunter/1rPZjQ | 0.8592039907970843 | 1331.9666666666667 | 1550.2333333333333 |
BASE/tictactoe_orthogonal/WRzlVw | 0.8707315991067599 | 3925.2 | 4507.933333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.8731360302501968 | 3956.266666666667 | 4531.1 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.8757966101694915 | 430.6 | 491.6666666666667 |
DRESDEN/tictictoe/LAUtwg | 0.8794634105357493 | 2093.5333333333333 | 2380.4666666666667 |
DRESDEN/connectfour/5tc-Mg | 0.8815678413167334 | 557.0333333333333 | 631.8666666666667 |
DRESDEN/eotcatcit/mQUxzA | 0.8860958366064415 | 3008.0 | 3394.6666666666665 |
DRESDEN/chickentictactoe/Ipbo-g | 0.8888494475750988 | 2670.9333333333334 | 3004.9333333333334 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.8918597326240638 | 424.7191760274658 | 476.2174594180194 |
BASE/tictactoe-init1/7M19vA | 0.8978650590395032 | 2641.1 | 2941.5333333333333 |
BASE/eotcatcit/AfZSzA | 0.9101945716154349 | 2968.9333333333334 | 3261.866666666667 |
STANFORD/tictactoe7/-bE9-A | 0.911495112940186 | 2598.733333333333 | 2851.0666666666666 |
BASE/rubiksCube/9tNO9Q | 0.9119888042295132 | 195.5 | 214.36666666666667 |
BASE/hallway/ckCJOw | 0.9155874597032183 | 247.19213464422597 | 269.98200119992 |
BASE/connectFour/WAIKTw | 0.9175462513578092 | 567.1965077143524 | 618.1666666666666 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.9205315585233994 | 2775.4333333333334 | 3015.0333333333333 |
DRESDEN/knightwar/7hhAqg | 0.9222805348773092 | 520.3333333333334 | 564.1811939602013 |
BASE/connectFourSuicide/c8p9Kw | 0.931720107062872 | 568.5477150761641 | 610.2129929002367 |
DRESDEN/hallway/0H4l-Q | 0.9327092209129475 | 253.05823139228693 | 271.31524565028997 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.9347387462603491 | 447.8333333333333 | 479.1 |
STANFORD/tictictoe/rpt_Dw | 0.9370612623669755 | 2086.866666666667 | 2227.0333333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 0.9376681758434351 | 214.0 | 228.2257258091397 |
STANFORD/connectfour/VMpZkQ | 0.9385484626360954 | 533.4666666666667 | 568.3954403039797 |
BASE/connectFour_9x6/B9TtMw | 0.9402184577146969 | 479.1666666666667 | 509.6333333333333 |
DRESDEN/tictactoe/BTTzPw | 0.9404165900045514 | 3237.133333333333 | 3442.233333333333 |
STANFORD/madness/UO_B3A | 0.9465274140218983 | 7.2124173230963535 | 7.61987156024357 |
BASE/blocker/dIWtxg | 0.9673757626693154 | 2954.3333333333335 | 3053.9666666666667 |
BASE/ticTicToe/c1OobQ | 0.9712583515502323 | 2103.0333333333333 | 2165.266666666667 |
BASE/hexPie/48CH6Q | 0.9785995479303353 | 126.91590030654405 | 129.69135390973935 |
STANFORD/hex/MTqWcw | 0.9835105436487165 | 127.49575014166194 | 129.63333333333333 |
BASE/stateSpaceSmall/Q7osKA | 0.985230151704771 | 8607.233333333334 | 8736.266666666666 |
BASE/hex/T1MK8g | 1.002636230015654 | 128.3957201426619 | 128.05812945803612 |
BASE/chickentictactoe/DSlZCA | 1.0038397623124182 | 2657.9 | 2647.733333333333 |
BASE/duplicateStateSmall/bCPAXw | 1.01056733702 | 6085.333333333333 | 6021.7 |
STANFORD/trifecta/ss1kyQ | 1.0213455699381322 | 2982.5333333333333 | 2920.2 |
DRESDEN/statespacesmall/h-NqjA | 1.0228005662121111 | 8742.933333333332 | 8548.033333333333 |
STANFORD/tictactoe/ss1kyQ | 1.024047124047124 | 2955.4 | 2886.0 |
STANFORD/pilgrimage/ObRZnQ | 1.024976390959744 | 248.28344777014865 | 242.23333333333332 |
BASE/checkers-newgoals/0XkFiA | 1.0305188240134466 | 26.855924296947887 | 26.060585863298563 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.040639306079833 | 431.9 | 415.03333333333336 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.0490977076898065 | 430.2 | 410.06666666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 1.0491293611903634 | 2733.366666666667 | 2605.366666666667 |
DRESDEN/skirmish3/3LU8Nw | 1.0542336258284275 | 63.24558480506498 | 59.992001066524466 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.0731287947987749 | 665.7111429619013 | 620.3459884670511 |
BASE/connectFourLarge/aU644A | 1.0810928962439093 | 346.01026598226787 | 320.0559981333956 |
BASE/snakeParallel/RCVNtw | 1.0830398844867468 | 2450.233333333333 | 2262.366666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 1.0953278860255604 | 2962.5333333333333 | 2704.7 |
BASE/dualConnect4/WbCQkg | 1.1014859891143725 | 385.0538315389487 | 349.57669488700753 |
BASE/ticTacToe/JRFsaQ | 1.1017675168403478 | 3189.4333333333334 | 2894.8333333333335 |
DRESDEN/grid_game/U7_Yeg | 1.103941263244161 | 628.6 | 569.4143528549048 |
BASE/checkLines/Vop7oQ | 1.1179413944372447 | 370.1876604113196 | 331.1333333333333 |
DRESDEN/latenttictactoe/kITHKg | 1.1204446627731384 | 2052.766666666667 | 1832.1 |
BASE/snake_2009_big/-oRfVw | 1.1339339068269843 | 438.1520615979467 | 386.4 |
BASE/ttcc4_2player/_aH_Mw | 1.1410618453865335 | 106.73333333333333 | 93.53860508514113 |
DRESDEN/snake_2009_big/DgC1NQ | 1.1476264997391759 | 440.0 | 383.4 |
BASE/battle/8oAvhQ | 1.1513676308768335 | 4.211573536726911 | 3.657887736100027 |
DRESDEN/battle/8oAvhQ | 1.154927324445086 | 4.200568895944962 | 3.6370850416611558 |
BASE/lightsOn/MsXu3A | 1.160634476620363 | 6085.4 | 5243.166666666667 |
DRESDEN/racetrackcorridor/O0DoTA | 1.1615751700296848 | 1030.4333333333334 | 887.1 |
BASE/chineseCheckers4/avfBcQ | 1.163779353457986 | 344.3666666666667 | 295.9037429590374 |
DRESDEN/cube_2x2x2/fp-34Q | 1.1643694935408897 | 1436.1333333333334 | 1233.4 |
BASE/choicethroughalt/tt71Lg | 1.1773552031689007 | 111.35553111355532 | 94.58108378324336 |
BASE/snake_2009/7l-qAQ | 1.1903007904022584 | 562.2 | 472.3175894136862 |
DRESDEN/chickentoetictac/cxYaRQ | 1.1934279057017545 | 4643.866666666667 | 3891.2 |
BASE/chickentoetictac/l57rfQ | 1.1939368024971138 | 4653.766666666666 | 3897.8333333333335 |
DRESDEN/snake_2009/zIYLVw | 1.2017436414727287 | 555.9666666666667 | 462.6333333333333 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.214047460498262 | 461.8333333333333 | 380.40797280181323 |
BASE/blocksWorldSerial/Wyg96Q | 1.225414500256622 | 3660.9666666666667 | 2987.5333333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 1.2298927977088898 | 5296.533333333334 | 4306.5 |
BASE/circlesolitaire/azuQFQ | 1.2350406464330517 | 5054.033333333334 | 4092.2 |
DRESDEN/circlesolitaire/ruUilQ | 1.2402616977765466 | 5074.2 | 4091.233333333333 |
BASE/toetictac/mTThmg | 1.2702734105515412 | 5830.766666666666 | 4590.166666666667 |
DRESDEN/catch_me/ghGWrA | 1.275515068057836 | 3211.0666666666666 | 2517.4666666666667 |
STANFORD/ttcc4/Cx9SGw | 1.2800011503005337 | 118.93098737045553 | 92.91475038325669 |
DRESDEN/breakthrough/z4hK7Q | 1.2814561322471996 | 171.0885940937271 | 133.51108148641893 |
DRESDEN/knightstour/cGISAA | 1.2893366918555837 | 2815.266666666667 | 2183.5 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.2915434966216217 | 3262.266666666667 | 2525.866666666667 |
DRESDEN/knightazons/02I8BQ | 1.295345057409978 | 62.58331111703546 | 48.31400773024124 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 1.297357587197436 | 180.3759498733502 | 139.03333333333333 |
DRESDEN/Thief_Police/CX18rA | 1.298736571853253 | 3203.766666666667 | 2466.8333333333335 |
BASE/breakthroughSuicide/wZDpIg | 1.300652170462994 | 171.8161517181615 | 132.1 |
BASE/knightazons/apnJBQ | 1.313228238519534 | 63.86666666666667 | 48.63333333333333 |
DRESDEN/toetictac/mJtxCA | 1.3147425034995948 | 5948.333333333333 | 4524.333333333333 |
BASE/breakthrough/TGxk-g | 1.3184807893464103 | 169.56101463284557 | 128.6033258906255 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.3309897747777852 | 3319.266666666667 | 2493.8333333333335 |
BASE/breakthroughWalls/vOZaYA | 1.3541342476833544 | 167.78322167783222 | 123.90442230146299 |
BASE/ttcc4_2player_small/Cv72TA | 1.3547533373107232 | 294.6136924205053 | 217.46666666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.3559673814130122 | 841.0333333333333 | 620.2459918002734 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.3631617772229474 | 800.7666666666667 | 587.4333333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.3692818809097878 | 178.5940468651045 | 130.42898570047666 |
DRESDEN/knightthrough/J7Fc_Q | 1.381146376594 | 172.0046658890185 | 124.53760789149199 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 1.384405557225086 | 7985.066666666667 | 5767.866666666667 |
BASE/breakthroughHoles/nZk0Sg | 1.385381216604097 | 179.35470968602093 | 129.46235125495818 |
BASE/2pttc/unkkYA | 1.3863973298880277 | 286.1333333333333 | 206.38624091727218 |
DRESDEN/logistics/fPru1Q | 1.395495359541236 | 1232.9666666666667 | 883.5333333333333 |
DRESDEN/chinesecheckers3/QsCb2A | 1.4176568963999647 | 536.8487717076098 | 378.68737708743043 |
BASE/shmup/ssTNlg | 1.421918093354842 | 910.8333333333334 | 640.5666666666667 |
BASE/incredible/8Qh-6Q | 1.444289731618751 | 3526.6666666666665 | 2441.8 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.4521304286097396 | 3068.4 | 2113.0333333333333 |
BASE/connectFourLarger/qKi60A | 1.467580797709591 | 173.92753574880837 | 118.51309040037306 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.4816420193778685 | 774.8 | 522.9333333333333 |
DRESDEN/roshambo2/jgSlkQ | 1.5109843206668423 | 8024.233333333334 | 5310.6 |
DRESDEN/skirmish2/iPpWhQ | 1.5123726105809314 | 68.8931106889311 | 45.55300076643674 |
DRESDEN/tttcc4/sAvtFg | 1.5128483869742995 | 137.72415172321845 | 91.03632122625791 |
BASE/ttcc4/Le0qjQ | 1.5129639410380755 | 142.77620396600565 | 94.36854381872709 |
BASE/coloredtrails/EZvr7g | 1.525228327593951 | 2376.9666666666667 | 1558.4333333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.5318948712778113 | 759.6666666666666 | 495.9 |
DRESDEN/skirmish/RjGQYQ | 1.533792176115766 | 67.15323601946277 | 43.78248700519792 |
DRESDEN/lightson2x2/gBHuig | 1.5350061199510403 | 4180.333333333333 | 2723.3333333333335 |
BASE/kitten_escapes_from_fire/uW-YiA | 1.5467280233819873 | 981.9333333333333 | 634.8455051498283 |
STANFORD/hunter/14dD-g | 1.552265120726751 | 3463.0 | 2230.9333333333334 |
BASE/roshambo2/KNPokQ | 1.5531247226483753 | 8166.433333333333 | 5258.066666666667 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 1.553746608223753 | 992.5333333333333 | 638.8 |
BASE/snake_2008/i6K26g | 1.5573622402890697 | 517.1827605746475 | 332.0889303689877 |
DRESDEN/snake_2008/E56l3A | 1.5581656383105584 | 514.3161894603513 | 330.07799480034663 |
BASE/tttcc4/8Bs2lg | 1.5604355716878402 | 143.29522349255024 | 91.83027232425586 |
BASE/snake_2008_tweaked/bX0NJQ | 1.5892625486478393 | 530.8666666666667 | 334.03333333333336 |
STANFORD/knightstourmedium/x1wu8Q | 1.6028315536914595 | 2917.1 | 1819.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.6039281310551348 | 607.0333333333333 | 378.46666666666664 |
DRESDEN/point_grab/r5DPmQ | 1.6173779159283035 | 7423.333333333333 | 4589.733333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.6254689174705252 | 808.8333333333334 | 497.6 |
BASE/blocks/xIV5hQ | 1.645921638555156 | 11261.066666666668 | 6841.8 |
BASE/blocksWorld/SEdXLQ | 1.6464841772304488 | 11382.2 | 6913.033333333334 |
BASE/blocks2player/wnTLOQ | 1.6510587448698706 | 7737.466666666666 | 4686.366666666667 |
DRESDEN/blocks/vg0DRw | 1.6886588523323989 | 11587.633333333333 | 6862.033333333334 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.6928766228608245 | 6393.6 | 3776.766666666667 |
BASE/ttcc4_2player_alt/ZEJvYA | 1.722775902140673 | 156.43333333333334 | 90.80306564478506 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.7356759176365264 | 3360.5 | 1936.1333333333334 |
STANFORD/knightstour/cEwgNA | 1.7850284103422454 | 2701.7 | 1513.5333333333333 |
BASE/knightsTour/mvtVIg | 1.805092091007584 | 2776.8333333333335 | 1538.3333333333333 |
BASE/hodgepodge/9yjRkw | 1.8101060263179953 | 5759.033333333334 | 3181.6 |
BASE/amazons_8x8/7SOsIw | 1.8162461864259352 | 90.99090090990902 | 50.09833005566481 |
BASE/tron_10x10/7ZTgDg | 1.8304158124375756 | 2321.3333333333335 | 1268.2 |
DRESDEN/8puzzle/8fKC2w | 1.8363672964656488 | 4257.066666666667 | 2318.2 |
DRESDEN/blocks2player/3ev8nQ | 1.838629443801192 | 8575.0 | 4663.8 |
STANFORD/bestbuttonsandlights/nm0wEA | 1.9019243000392438 | 9369.766666666666 | 4926.466666666666 |
DRESDEN/buttons/ADUaHw | 1.9253787224238235 | 15599.033333333333 | 8101.8 |
BASE/chineseCheckers1/gqtwHw | 1.9285704697057764 | 1548.3333333333333 | 802.8399053364888 |
BASE/beatMania/qUHwvQ | 1.9297195471910706 | 3653.6666666666665 | 1893.3666666666666 |
STANFORD/checkersonabarrelnokings/Zrevdw | 1.9328174081495757 | 166.500033326668 | 86.14369501466275 |
BASE/buttons/hTcUjw | 1.9734600986898077 | 15464.033333333333 | 7836.0 |
BASE/amazonsSuicide/dE1QEQ | 1.9803265210241952 | 0.17618040873854826 | 0.08896533317517274 |
DRESDEN/chinesecheckers2/06E6-Q | 2.01672553500935 | 647.078430718976 | 320.85597146761774 |
BASE/switches/tPUoCg | 2.0355586788475053 | 12551.933333333332 | 6166.333333333333 |
BASE/endgame/jYjfOA | 2.056703413617326 | 148.1950601646612 | 72.05465755707382 |
DRESDEN/firefighter/WJmoPw | 2.071493136321454 | 5729.266666666666 | 2765.766666666667 |
BASE/troublemaker01/s3tlEQ | 2.0816894085498197 | 22955.066666666666 | 11027.133333333333 |
BASE/firefighter/WJmoPw | 2.0851034308779015 | 5510.233333333334 | 2642.6666666666665 |
BASE/checkersTorusNoKings/pwb6oQ | 2.0915741678836275 | 174.5709048491918 | 83.4638845371821 |
DRESDEN/troublemaker01/C-lPWw | 2.10177407054901 | 23702.266666666666 | 11277.266666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 2.1235502196039238 | 10765.833333333334 | 5069.733333333334 |
STANFORD/untwistycomplex/HTWEwg | 2.128007932756056 | 6152.0 | 2890.9666666666667 |
BASE/chineseCheckers2/eCMR3Q | 2.1499565827266047 | 1072.9 | 499.03333333333336 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.161781114357397 | 11172.733333333334 | 5168.3 |
DRESDEN/chinesecheckers6/yTbPDA | 2.1704814800439873 | 372.76666666666665 | 171.74376749766697 |
BASE/gt_dollar/TGjqRw | 2.175564130116245 | 5939.0 | 2729.866666666667 |
DRESDEN/troublemaker02/iZLVuA | 2.197848648532861 | 20520.8 | 9336.766666666666 |
BASE/amazons/RKKZjw | 2.2089708785784796 | 0.18509378084896347 | 0.0837918610172332 |
BASE/chineseCheckers6/rREH3A | 2.21810039507534 | 536.4666666666667 | 241.85860471317622 |
DRESDEN/4pttc/9pB9AQ | 2.249869337466084 | 673.6108796373454 | 299.4 |
BASE/checkersBarrelNoKings/rnKNeg | 2.2591062711227936 | 200.5266491116963 | 88.76370787640413 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 2.260706902637019 | 2.4292845257903495 | 1.0745685444480626 |
BASE/skirmishNew/sibw2g | 2.269547351033995 | 53.95587549156836 | 23.77384876635701 |
BASE/troublemaker02/DI83KA | 2.2763200867077957 | 21142.233333333334 | 9287.9 |
STANFORD/eightpuzzle/W_aWbA | 2.277904285500971 | 4068.0333333333333 | 1785.8666666666666 |
BASE/point_grab/V_osUg | 2.285037257824143 | 7666.3 | 3355.0 |
BASE/3pttc/0sol9g | 2.3084384701273613 | 318.38938702043265 | 137.92413839077395 |
BASE/knightsTourLarge/M8jgLA | 2.3286414767810784 | 1345.5666666666666 | 577.8333333333334 |
DRESDEN/frogs_and_toads/GjchhQ | 2.3314474232487 | 520.2493250224993 | 223.14435223144352 |
STANFORD/8puzzle/jNiGtw | 2.3625009292989367 | 4237.066666666667 | 1793.4666666666667 |
DRESDEN/Travelers-Dilemma/PvZwYw | 2.368216524970223 | 61.35235111807245 | 25.90656321800806 |
BASE/pearls/6k_mEQ | 2.382861906295588 | 20962.433333333334 | 8797.166666666666 |
BASE/eightPuzzle/vLrgFg | 2.407202477622087 | 4249.033333333334 | 1765.1333333333334 |
BASE/chineseCheckers3/-1rZdQ | 2.423380675439404 | 877.8 | 362.22125929135694 |
BASE/asteroidsSerial/id2QkA | 2.423972418733769 | 1804.5666666666666 | 744.4666666666667 |
BASE/speedChess/bPnisA | 2.5126845483709914 | 58.31000932960149 | 23.206259364075244 |
BASE/checkersTorus/2vm1EQ | 2.534113387442989 | 161.62794573514216 | 63.78086574027792 |
DRESDEN/gt_prisoner/huCp4w | 2.537802392154835 | 1636.0666666666666 | 644.6785107163095 |
BASE/skirmishZeroSum/zh4hcw | 2.5919852391693348 | 53.704690831556505 | 20.71952031978681 |
STANFORD/knightstourbig/TQUI2g | 2.6044906480926704 | 1159.1333333333334 | 445.05183160561313 |
BASE/haystack/UkweGA | 2.628334570897475 | 35160.63333333333 | 13377.533333333333 |
BASE/knightThrough/gcwFjA | 2.6545239353615657 | 173.3826617338266 | 65.31591575579846 |
BASE/onestep/xi53wA | 2.682745399115309 | 40068.23333333333 | 14935.533333333333 |
DRESDEN/oisters_farm/pTQMLg | 2.7137591564410024 | 7755.2 | 2857.733333333333 |
STANFORD/threepuzzle/41ibjA | 2.721427354794754 | 9586.5 | 3522.6 |
BASE/maze/cCX3qQ | 2.7359471706454466 | 16503.233333333334 | 6032.0 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 2.737773128005285 | 3.2548407452921055 | 1.188864304349262 |
STANFORD/untwistycorridor/EDPPAQ | 2.7635286324541135 | 17661.066666666666 | 6390.766666666666 |
BASE/untwistycomplex2/EDPPAQ | 2.779562393304742 | 17801.8 | 6404.533333333334 |
STANFORD/3puzzle/41ibjA | 2.7832624500004868 | 9532.766666666666 | 3425.0333333333333 |
DRESDEN/gt_chicken/CeuKtw | 2.819096907529291 | 1342.0333333333333 | 476.0507983067231 |
BASE/survival/YVIjJA | 2.8510972907284295 | 29248.266666666666 | 10258.6 |
DRESDEN/minichess/c7GMFw | 2.946673123246989 | 595.2666666666667 | 202.0131320201313 |
BASE/minichess/8NQEiA | 2.9530614159205846 | 661.9779340688643 | 224.16666666666666 |
DRESDEN/four_way_battle/xSOQXA | 3.0204784215442433 | 19.724587546567324 | 6.530285866595588 |
BASE/asteroidsParallel/WauZiA | 3.037806152587813 | 2228.4333333333334 | 733.5666666666667 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 3.0494587347303606 | 3.4760154930976266 | 1.1398794984530207 |
BASE/gt_chicken/gmepTQ | 3.071033138401559 | 1312.8666666666666 | 427.5 |
BASE/knightwar/DVGY4Q | 3.111002665331247 | 522.5099136925589 | 167.95546963535764 |
BASE/gt_staghunt/xPjLRA | 3.1620161057342075 | 1687.9333333333334 | 533.8155394820172 |
STANFORD/platformjumpers/HEQskA | 3.168707942708333 | 81.1 | 25.594028060119307 |
DRESDEN/pacman3p/rBnk8Q | 3.2096616595079523 | 208.07225703239567 | 64.8268506482685 |
DRESDEN/endgame/IJhh3Q | 3.2623403579986583 | 123.16256124795841 | 37.75282396454633 |
BASE/amazonsSuicide_10x10/XIbQkg | 3.2840737365467203 | 71.4499950011664 | 21.75651362697408 |
STANFORD/buttonsandlights/eyhJpA | 3.2910614884757807 | 32379.766666666666 | 9838.7 |
BASE/gt_prisoner/klthDw | 3.3071712368918127 | 1692.5 | 511.76666666666665 |
BASE/pacman3p/wW7UVQ | 3.3409909969491314 | 210.4263191226959 | 62.98320447880565 |
BASE/pacman2p/4LEdQg | 3.368213943112103 | 201.26666666666668 | 59.75471572352196 |
BASE/four_way_battle/xSOQXA | 3.368538781533238 | 21.398573428438105 | 6.352479462533675 |
BASE/gt_coordination/IVMOzA | 3.407898235971988 | 2562.9666666666667 | 752.0666666666667 |
BASE/kalaha5x2x3/WviNsw | 3.4173855360832635 | 1488.4 | 435.5376308246117 |
BASE/amazons_10x10/Bun8dA | 3.4316698734839535 | 72.89028129582722 | 21.24047008689283 |
BASE/asteroids/BKCmPQ | 3.4683081683828627 | 4333.766666666666 | 1249.5333333333333 |
BASE/amazonsTorus_10x10/Uxc08g | 3.6000367626657788 | 46.01298485100716 | 12.781254160564506 |
BASE/hitori/S8Gsyg | 3.9338537174042862 | 4.147037356512508 | 1.0541920606160435 |
DRESDEN/hitori/S8Gsyg | 4.148416199581086 | 4.6084477156687225 | 1.1108932888976017 |
DRESDEN/hanoi_6_disks/MeubgQ | 4.21580547112462 | 1248.3 | 296.1 |
DRESDEN/checkers-mustjump/HUr33w | 4.2423860703233816 | 4.824809503210994 | 1.1372867587327375 |
BASE/hanoi_6_disks/MeubgQ | 4.248451812615049 | 1256.4666666666667 | 295.7469502033198 |
BASE/4pttc/AL1k2Q | 4.433936170711689 | 420.1333333333333 | 94.75403279562725 |
DRESDEN/Runners/3bOCQw | 4.629066822520943 | 5544.233333333334 | 1197.7 |
BASE/gt_centipede/9fRMpw | 5.113648218883037 | 10129.966666666667 | 1980.9666666666667 |
BASE/sheepAndWolf/g4THrg | 5.144449974836436 | 681.4 | 132.45342132453422 |
BASE/kalaha6x2x4/XS81Mg | 5.180605059847661 | 1269.4666666666667 | 245.0421624504216 |
BASE/hanoi7_bugfix/3gdnFw | 5.370664222396037 | 915.3666666666667 | 170.43826028995167 |
BASE/gt_tinfoil/Q8DyKg | 5.6913861950941245 | 665.1111629612346 | 116.86277124095864 |
DRESDEN/hanoi7_bugfix/3gdnFw | 5.720636889991729 | 922.1666666666666 | 161.2 |
DRESDEN/hanoi7/51zz5Q | 6.092957746478873 | 937.3 | 153.83333333333334 |
DRESDEN/othello-cornercontrol/r5Gdlg | 6.463551770624403 | 1.0521816328543714 | 0.16278691193228065 |
DRESDEN/blobwars/ZaMluQ | 6.52269178271675 | 120.29599013366222 | 18.442691168148073 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 6.61493088765149 | 673.0 | 101.73953612370035 |
BASE/crossers3/O0rORg | 6.6197094035087725 | 314.3 | 47.47942558224769 |
DRESDEN/farmers/S_ASnw | 6.624698985242228 | 8.909714889123547 | 1.3449237329834345 |
DRESDEN/crossers3/xiPTxg | 6.787295791899186 | 321.9118725418305 | 47.428590474285905 |
BASE/blobwars/0XT15Q | 6.84772496020955 | 124.44607336820711 | 18.173345759552657 |
BASE/mummyMaze2p_2007/YGA3Vw | 6.875796322861032 | 673.8550763282448 | 98.00393215368723 |
BASE/wargame02/BkVqqQ | 7.151418492861742 | 28.54193032704989 | 3.991086573319586 |
BASE/cylinder-checkers/hlldmw | 7.662970732194586 | 21.11011220990244 | 2.7548209366391183 |
BASE/wargame01/_GZFZg | 7.900082345699264 | 32.26343477392289 | 4.083936516368949 |
DRESDEN/bomberman2p/x4h6jQ | 8.269844906444906 | 1060.5333333333333 | 128.24101846297407 |
BASE/bomberman2p/4CClwA | 8.44432031167459 | 1065.5666666666666 | 126.18738126187381 |
DRESDEN/cylinder-checkers/clOO3Q | 9.064333814442087 | 22.287370490055636 | 2.4587985114300905 |
DRESDEN/pancakes88/aD3E7g | 9.254162869687683 | 11170.7 | 1207.1 |
DRESDEN/connect5/1kYzSg | 9.798094444604756 | 202.04612103439084 | 20.620960756879207 |
DRESDEN/pancakes/hl9aiQ | 10.36549456109284 | 13658.266666666666 | 1317.6666666666667 |
BASE/wargame03/klXI8w | 10.524141952682438 | 34.28857047650783 | 3.258087037468001 |
DRESDEN/quartosuicide/WIU1oQ | 10.701295663174248 | 247.32580225932222 | 23.111762355135205 |
BASE/quarto/EwBMVQ | 10.969040922679627 | 245.2918236058798 | 22.362194227821103 |
DRESDEN/pancakes6/SZXMyQ | 11.025457013658666 | 13856.7 | 1256.791440285324 |
BASE/connect5/d-BVQg | 11.324419744929807 | 202.8198120125325 | 17.909951819239076 |
DRESDEN/quarto/OQzRYQ | 11.48251204126529 | 256.89143695210157 | 22.37240736425076 |
BASE/quartoSuicide/-23jUg | 11.638685815602837 | 255.26666666666668 | 21.93260224659178 |
DRESDEN/checkers-newgoals/IJOqXQ | 11.68387308893638 | 29.78014656895403 | 2.5488248924197285 |
BASE/ruleDepthLinear/OUBJpQ | 11.970112454146369 | 19905.1 | 1662.9 |
DRESDEN/checkers/jIDMIg | 13.986922876339817 | 31.463520314635204 | 2.249495517549373 |
DRESDEN/ghostmaze2p/HY0UwA | 15.815249863218103 | 2119.7 | 134.02886570447652 |
BASE/ghostMaze2p/W-NU-w | 16.014392274238936 | 2086.4666666666667 | 130.28697130286972 |
BASE/twisty-passages/DiZmmg | 16.465230961991256 | 1087.7666666666667 | 66.0644645178494 |
DRESDEN/twisty-passages/j7NPyg | 17.230546487603306 | 1111.5 | 64.50753032120485 |
BASE/pancakes6/QZTdnw | 17.57609260949173 | 13658.967436589674 | 777.1333333333333 |
BASE/pancakes/yUgbXw | 18.412212404863965 | 14031.333333333334 | 762.0666666666667 |
BASE/mummymaze2p/vpjDdA | 20.404735937116186 | 922.6666666666666 | 45.21826057980673 |
DRESDEN/mummymaze2p/k-8edg | 20.47658165810712 | 930.1333333333333 | 45.4242484836366 |
DRESDEN/knightfight/4_Ly4w | 23.88094074728086 | 1232.0922635912136 | 51.59312091721104 |
BASE/knightfight/SJRkAg | 24.3590013906718 | 1264.8333333333333 | 51.92467922012998 |
BASE/solitaireChineseCheckers/-ET6gw | 27.128906018518517 | 387.1333333333333 | 14.270141710435041 |
DRESDEN/kalaha_2009/gcC8uA | 48.440052594670405 | 1150.3 | 23.746877601998335 |
BASE/kalaha_2009/dRiN3g | 49.17692031394275 | 1182.0666666666666 | 24.037021007424176 |
DRESDEN/max_knights/hCipiA | 52.54275404530744 | 360.1333333333333 | 6.854100815172185 |
BASE/max_knights/2fq3Ag | 53.302207317727095 | 367.0877637412086 | 6.8869148617626506 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 63.016553271028044 | 1122.0 | 17.804845580404685 |
DRESDEN/vacuumcleaner_random/_6AGDA | 65.50103024772594 | 988.90073995067 | 15.097483752707882 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 73.60509288239665 | 1120.3546312035462 | 15.221156408206769 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 83.19496791093648 | 1409.3333333333333 | 16.940127134156487 |
DRESDEN/battlebrushes/QHXV4A | 119.53114290129723 | 43.73187560414653 | 0.36586177077097054 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 131.30181349682348 | 326.93589230974277 | 2.489957172736629 |
BASE/pancakes88/l2Xaig | 414.7066734828496 | 10468.833333333334 | 25.24394711426383 |
DRESDEN/merrills/aYEzwA | Infinity | 3.519957494852892 | 0.0 |
BASE/merrills/pku8Tg | Infinity | 3.5318193820966464 | 0.0 |
Games with errors:
Game | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | IllegalArgumentException: too many occurrences: 2147484126 |
BASE/sudoku/NTaNkw | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | Test process timed out after 240 seconds |