Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
| DRESDEN/golden_rectangle/1uloXw | 0.0 | 0.0 | 112.45916938870742 |
| BASE/colonelBlotto/jip21A | 4.074891618070188E-6 | 0.004608294930875576 | 1130.9 |
| BASE/racer/QQYQNw | 6.983155510440078E-5 | 0.10667235585897915 | 1527.5666666666666 |
| DRESDEN/racer/vk_ZBA | 7.583528796892191E-5 | 0.11370743078060151 | 1499.4 |
| BASE/queens06ug/7Lq3tw | 1.8927601480065877E-4 | 0.2923620416615909 | 1544.6333333333334 |
| BASE/queens08ug/kJ_ZFQ | 5.397642534479147E-4 | 0.4234270646881075 | 784.4666666666667 |
| BASE/colonelBlottoVariant2/jruwGw | 9.097345931806998E-4 | 3.9703546850185285 | 4364.3 |
| DRESDEN/fizzbuzz/t1xHzQ | 9.165963146760115E-4 | 10.874987528684027 | 11864.533333333333 |
| BASE/racer4/0vs7Ww | 0.001129221834576561 | 0.7510204081632653 | 665.0778307389754 |
| BASE/colonelBlottoVariant/X-n-KQ | 0.0020757056309569383 | 10.191507077435471 | 4909.9 |
| DRESDEN/gt_ultimatum/pAiiQw | 0.003345169929628966 | 15.58960692871419 | 4660.333333333333 |
| BASE/gt_ultimatum/GE-uOA | 0.003542029295652033 | 15.332028009159393 | 4328.6 |
| DRESDEN/nim1/M9BALA | 0.004219111068847811 | 26.00645999134228 | 6163.966666666666 |
| DRESDEN/nim2/z5_exA | 0.004386454722658695 | 24.651875541341862 | 5620.0 |
| BASE/nim1/hin2Qw | 0.004412880352729976 | 25.041625041625043 | 5674.666666666667 |
| BASE/nim2/eF2Qqw | 0.0045463616827302366 | 26.111573688592838 | 5743.4 |
| BASE/gt_attrition/kD_SCA | 0.004952618185372537 | 0.09904585823236159 | 19.99868645737554 |
| BASE/guess/SPpk1A | 0.0054902446761278855 | 5.912078475410378 | 1076.8333333333333 |
| BASE/nim3/1OwUqw | 0.005720776921649587 | 24.573787959509858 | 4295.533333333334 |
| DRESDEN/guess/PhxGhg | 0.005874218650471264 | 6.4655172413793105 | 1100.659956002933 |
| DRESDEN/nim3/sG_axA | 0.006051407667046932 | 25.971431425432026 | 4291.8 |
| DRESDEN/nim4/F5YAYg | 0.006087558399871913 | 25.739211507725095 | 4228.166666666667 |
| BASE/nim4/twk16w | 0.00609846964035824 | 26.05103604503964 | 4271.733333333334 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 0.006808807768299189 | 61.35235111807245 | 9010.733333333334 |
| BASE/golden_rectangle/_nYzfw | 0.00846253558167924 | 0.9537277600552504 | 112.7 |
| BASE/copolymer_4/2LDVhQ | 0.01045815472124352 | 8.830168636303279 | 844.3333333333334 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.011609621171291664 | 1.2846696093286778 | 110.655601106556 |
| BASE/copolymer_4_pie/IN5_jA | 0.01172679691401736 | 9.112981009079721 | 777.1074297523415 |
| BASE/ad_game_2x2/D0aWqg | 0.013259118232940223 | 0.23798191337458352 | 17.948547497174765 |
| DRESDEN/farmers/S_ASnw | 0.016124235185721567 | 8.909714889123547 | 552.5666666666667 |
| BASE/chess_200/XsTpYA | 0.016967045831298013 | 0.9122006841505131 | 53.763082461169255 |
| BASE/checkers-mustjump-torus/uSApKQ | 0.02358883677761269 | 2.1958279269388163 | 93.08758832155712 |
| DRESDEN/quad_5x5/JAEP5g | 0.024066664386762877 | 1.6894087069525665 | 70.19704433497537 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 0.026283229117476402 | 2.4292845257903495 | 92.42717152189854 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 0.030719019186698754 | 2.9991002699190243 | 97.63007899736675 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.03139440168056467 | 3.0301012253596165 | 96.51724712547909 |
| BASE/quad_5x5/JAEP5g | 0.03268637363482818 | 2.344702535405008 | 71.73333333333333 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 0.0334731034700037 | 3.2548407452921055 | 97.23749541804125 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 0.03577458880773418 | 3.4760154930976266 | 97.16437306321015 |
| BASE/checkers-mustjump/T-8UuQ | 0.038504364581871904 | 4.558764807666711 | 118.3960534648845 |
| BASE/hidato37/pBrqxw | 0.03863512985603704 | 2.961730449251248 | 76.65900076659001 |
| DRESDEN/queens/mW2wHQ | 0.03977364853909265 | 0.16214288030612575 | 4.076640847941296 |
| BASE/cittaceot/fDxhXg | 0.040388536450117654 | 20.890947256188984 | 517.249425019166 |
| DRESDEN/checkers-mustjump/HUr33w | 0.041302021208086355 | 4.824809503210994 | 116.81775763231569 |
| DRESDEN/Goldrush/VeWczQ | 0.04625984006775411 | 35.88564574170332 | 775.740808639712 |
| DRESDEN/smallest/9kaGFw | 0.04625994160877881 | 61.266666666666666 | 1324.4 |
| DRESDEN/god/2EDD5w | 0.0488847913884522 | 2.46272630457934 | 50.37816945990071 |
| DRESDEN/quad_7x7/q-JOXg | 0.05125559752158978 | 0.4598198588082551 | 8.971114981433407 |
| DRESDEN/grid_game2/kypTYQ | 0.05355354834282844 | 10.922774651170535 | 203.95986800439985 |
| BASE/zhadu/DlA8iQ | 0.05400447550117473 | 0.6132989025177534 | 11.356445865387817 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 0.05599478540577717 | 96.80751799520128 | 1728.8666666666666 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.059294306761131454 | 102.80249258555767 | 1733.7666666666667 |
| BASE/simultaneousWin2/PfjRjw | 0.05947691263284447 | 17.230461589735043 | 289.7 |
| BASE/god/qF06gw | 0.06323072757403629 | 3.183129414105242 | 50.34149591870732 |
| BASE/wargame01/_GZFZg | 0.06512164725948238 | 32.26343477392289 | 495.43333333333334 |
| BASE/blokbox_simple/JBx4bg | 0.06933291482479315 | 0.05231356752373728 | 0.7545271629778671 |
| BASE/hidato19/rRHSmA | 0.07440741596402026 | 23.673170406872213 | 318.15606146461784 |
| DRESDEN/battle/8oAvhQ | 0.08681465013664763 | 4.200568895944962 | 48.385484354693595 |
| BASE/quad_7x7/q-JOXg | 0.08681855555768019 | 0.7227948065854638 | 8.325349367339522 |
| BASE/wargame03/klXI8w | 0.08689005852400637 | 34.28857047650783 | 394.62017932735574 |
| BASE/battle/8oAvhQ | 0.08768607165085412 | 4.211573536726911 | 48.03013132457836 |
| DRESDEN/Zhadu/9zpQ5w | 0.09450951307842405 | 5.1765330501725515 | 54.772613693153424 |
| DRESDEN/smallest_4player/ADDROA | 0.09583944463229095 | 201.25324978334777 | 2099.9 |
| BASE/smallest_4player/ADDROA | 0.09973559613183587 | 201.19329355688143 | 2017.2666666666667 |
| BASE/gt_tinfoil/Q8DyKg | 0.10029623858390824 | 665.1111629612346 | 6631.466666666666 |
| BASE/hitori/S8Gsyg | 0.10404478927203699 | 4.147037356512508 | 39.85819362533961 |
| BASE/wargame02/BkVqqQ | 0.104254143608775 | 28.54193032704989 | 273.77262273772624 |
| BASE/battlebrushes/arCwyA | 0.1063144395998974 | 0.9096349491322562 | 8.55608092894593 |
| DRESDEN/laikLee_hex/ZeP3QQ | 0.10664618731531753 | 2.6192655884447156 | 24.56033032573788 |
| BASE/sudokuGrade6H/ieE_9A | 0.11379033490252 | 1.6630254018978055 | 14.614821226446502 |
| BASE/sudokuGrade6E/ihYFZA | 0.1149160310021247 | 1.6813243662700466 | 14.63089485085819 |
| STANFORD/duidoku/3SoMaA | 0.11886703901343663 | 1.818302036498281 | 15.296940611877625 |
| DRESDEN/hitori/S8Gsyg | 0.12128578129168804 | 4.6084477156687225 | 37.996603283492625 |
| STANFORD/selectivesukoshi/3xmXYg | 0.1215314451431371 | 6.152106680855309 | 50.62152164494951 |
| STANFORD/sudoku/oJ1qyQ | 0.1260743775962107 | 1.9287685810249078 | 15.29865637887455 |
| BASE/sudokuGrade5/BQfUQA | 0.12843319305724948 | 2.076672050631242 | 16.16927837109492 |
| BASE/slaughter/cOch8A | 0.1293297867433386 | 2.7983210073955624 | 21.637095968842583 |
| BASE/amazonsSuicide/dE1QEQ | 0.12945822375771326 | 0.17618040873854826 | 1.3609055000497892 |
| BASE/sudokuGrade4/DTy07w | 0.12999633331192048 | 2.062747446518282 | 15.867735604271315 |
| BASE/sudokuGrade3/eI8dvg | 0.13202024646482385 | 2.0626101999401176 | 15.623438488956994 |
| BASE/checkers/rOC3Xg | 0.13831095227360343 | 30.55648117294235 | 220.9259691343622 |
| STANFORD/knightstourbig/TQUI2g | 0.14110591261935004 | 1159.1333333333334 | 8214.633333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 0.1441542637835814 | 51.33162227925736 | 356.0881303956535 |
| DRESDEN/four_way_battle/xSOQXA | 0.14868770743017912 | 19.724587546567324 | 132.65782281181254 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 0.14887135149921216 | 1.0521816328543714 | 7.067724060125427 |
| BASE/sudokuGrade2/u80Tfw | 0.15046270034120446 | 2.354423663615864 | 15.647889199627114 |
| DRESDEN/mummymaze1p/AekgaQ | 0.15241150015017602 | 98.92014398080256 | 649.0333333333333 |
| BASE/mummymaze1p/PT_EXA | 0.15472757070143386 | 100.58323612731212 | 650.0666666666667 |
| BASE/laikLee_hex/zbyscQ | 0.15672660678873604 | 2.039879647100821 | 13.015528689717204 |
| BASE/four_way_battle/xSOQXA | 0.15736867542163857 | 21.398573428438105 | 135.97733711048159 |
| BASE/sudokuGrade1/tDRNRw | 0.15776190919867145 | 2.562502053286902 | 16.242843829050727 |
| BASE/chinook/XQh0IQ | 0.15804811593453094 | 59.75272436431499 | 378.06666666666666 |
| BASE/cylinder-checkers/hlldmw | 0.1599464158449275 | 21.11011220990244 | 131.9824023463538 |
| BASE/knightsTourLarge/M8jgLA | 0.1610608382010278 | 1345.5666666666666 | 8354.4 |
| BASE/checkersSmall/SYmq8w | 0.16455435997481327 | 48.16506116462784 | 292.7 |
| BASE/knightmove/jBaJEw | 0.16602245994809328 | 137.19542681910602 | 826.3666666666667 |
| BASE/merrills/pku8Tg | 0.1666719347648466 | 3.5318193820966464 | 21.190246498785804 |
| STANFORD/chinook/osFbPA | 0.16831604276744536 | 57.949281882102035 | 344.2885237158761 |
| DRESDEN/merrills/aYEzwA | 0.16847592735714687 | 3.519957494852892 | 20.892940315390245 |
| DRESDEN/cylinder-checkers/clOO3Q | 0.1699652775984136 | 22.287370490055636 | 131.12896236792108 |
| BASE/blockerSerial/3eqDuw | 0.17229934164603972 | 173.1493517314935 | 1004.9333333333333 |
| DRESDEN/knightmove/97Ipcw | 0.17438763367132123 | 144.8521814485218 | 830.6333333333333 |
| DRESDEN/pawntoqueen/f_x6Aw | 0.1819602937460554 | 3.546334349728225 | 19.48960554371002 |
| STANFORD/alquerquezero/uVgA_A | 0.18730558837378536 | 97.23333333333333 | 519.1160294656845 |
| BASE/pawnToQueen/-O1_JA | 0.1873580214245492 | 3.5391790427678367 | 18.88992537313433 |
| BASE/checkers-newgoals/0XkFiA | 0.18763497550832173 | 26.855924296947887 | 143.12856238125397 |
| BASE/othello-comp2007/86ZoMw | 0.19239701903935483 | 0.8294625082946251 | 4.311202493864827 |
| BASE/ticTacToeSerial/Amrwqw | 0.192955625030977 | 190.60156640559907 | 987.8 |
| BASE/othelloHoles/c0qAzw | 0.194700768129196 | 0.9251579148854718 | 4.751691140075895 |
| BASE/othelloSuicide/B442jg | 0.19706153681818625 | 0.878334417696812 | 4.457158062799361 |
| BASE/hanoi7_bugfix/3gdnFw | 0.2023103501624465 | 915.3666666666667 | 4524.566666666667 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 0.20455167212581424 | 922.1666666666666 | 4508.233333333334 |
| BASE/skirmish/Y_psYQ | 0.2051366409694148 | 5.937572561117192 | 28.944475901808612 |
| DRESDEN/checkers-newgoals/IJOqXQ | 0.20756174164958552 | 29.78014656895403 | 143.4760873187802 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 0.21010908058533456 | 23.62939510081653 | 112.46251249583472 |
| STANFORD/skirmish/w4V6Vw | 0.21042392495753146 | 6.120683919898876 | 29.08739546196648 |
| BASE/tictactoe_3d_6player/d7KSwg | 0.21243719485444762 | 25.232492250258325 | 118.77624475104979 |
| BASE/amazons/RKKZjw | 0.2167732933404207 | 0.18509378084896347 | 0.8538587848932676 |
| DRESDEN/hanoi7/51zz5Q | 0.21679027955530195 | 937.3 | 4323.533333333334 |
| DRESDEN/checkers/jIDMIg | 0.2208334332258782 | 31.463520314635204 | 142.47625395767372 |
| BASE/coins/QnGtnQ | 0.22462234335131553 | 82.9250408292504 | 369.17538830744616 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.22475702022810295 | 96.71721379770038 | 430.3189893670211 |
| BASE/pegEuro/5awwhg | 0.22491619212679156 | 78.6430737445433 | 349.6550114996167 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.22506313759023205 | 0.09942927595601249 | 0.4417839234830245 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 0.2255876270619831 | 11.713565171223786 | 51.92467922012998 |
| DRESDEN/peg/Vo31eg | 0.2257302574600425 | 95.56666666666666 | 423.3666666666667 |
| BASE/biddingTicTacToe/8mESVw | 0.2297446002727084 | 448.04026129849353 | 1950.1666666666667 |
| DRESDEN/coins/QwFP9w | 0.23124357985923083 | 84.83273357323738 | 366.8544381853938 |
| BASE/cephalopodMicro/9l2D3g | 0.23173781125758527 | 4.1005291005291005 | 17.694691592522243 |
| DRESDEN/amazons/dNB28A | 0.23358893666060904 | 2.2644022644022646 | 9.693961952026468 |
| DRESDEN/bidding-tictactoe/yW5vTA | 0.23373941974602494 | 459.46936870875277 | 1965.7333333333333 |
| BASE/peg/fJHVWw | 0.23582929587286067 | 99.73674564297377 | 422.9192360254658 |
| BASE/skirmishHoles/AUCxCA | 0.23677186428191763 | 7.836626265980408 | 33.09779348043464 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.23976991408184067 | 109.76666666666667 | 457.8 |
| DRESDEN/tpeg/h-Scbg | 0.24038104083604564 | 111.38514864684709 | 463.3691087260849 |
| DRESDEN/babel/WdSW4A | 0.2420908294478106 | 57.488502299540094 | 237.46666666666667 |
| BASE/tpeg/QNs7Lw | 0.24660275270825752 | 110.2889711028897 | 447.23333333333335 |
| BASE/chomp/-LcqYQ | 0.24725097425968676 | 332.03333333333336 | 1342.9 |
| BASE/coins_atomic/AA3SSw | 0.24793557940243272 | 85.09149085091491 | 343.2 |
| BASE/ttcc4_2player/_aH_Mw | 0.24883156940451212 | 106.73333333333333 | 428.93807079528034 |
| STANFORD/madness/UO_B3A | 0.2500776616173374 | 7.2124173230963535 | 28.84071002764179 |
| BASE/checkersTiny/Lr48cg | 0.25043711109381833 | 102.01633061156474 | 407.3530882303923 |
| DRESDEN/chomp/-LcqYQ | 0.25146131893911083 | 338.7435427428762 | 1347.1 |
| DRESDEN/backgammon/mqCW0Q | 0.2527177824089512 | 51.294870512948705 | 202.9729369417411 |
| BASE/skirmishFinal1/ecWTnQ | 0.25328670910647505 | 10.456906886905555 | 41.28486221718703 |
| STANFORD/ttcc4/Cx9SGw | 0.25406212988472204 | 118.93098737045553 | 468.1177294090197 |
| DRESDEN/skirmishfinal/hzq8ww | 0.2589606899972405 | 11.259910720234526 | 43.481158164795254 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.26344472504268196 | 4.610129017279692 | 17.499416686110465 |
| DRESDEN/quartosuicide/WIU1oQ | 0.2637204218155204 | 247.32580225932222 | 937.8333333333334 |
| BASE/quarto/EwBMVQ | 0.265285508063607 | 245.2918236058798 | 924.6333333333333 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.26751524227190077 | 83.36388787040433 | 311.6229459018033 |
| BASE/quartoSuicide/-23jUg | 0.2729249082290887 | 255.26666666666668 | 935.3 |
| BASE/hanoi/iGLsJg | 0.27491525194362304 | 1354.3333333333333 | 4926.366666666667 |
| DRESDEN/quarto/OQzRYQ | 0.27613827469859353 | 256.89143695210157 | 930.3 |
| DRESDEN/hanoi/RQ0jiA | 0.28119861136488217 | 1385.1 | 4925.7 |
| BASE/strangeSkirmish/gc1zKA | 0.281849001853739 | 7.262309281098008 | 25.766666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.2836648305714389 | 86.62178376216505 | 305.3666666666667 |
| BASE/gt_chicken/gmepTQ | 0.2839449210583231 | 1312.8666666666666 | 4623.666666666667 |
| BASE/skirmishFinal2/gdB62Q | 0.28513437053537216 | 12.065057992267697 | 42.313586992736724 |
| DRESDEN/small_dominion/yB5GJA | 0.286453106984468 | 0.5233727240172988 | 1.8270799347471451 |
| DRESDEN/satlike_20v_91c/yeuENQ | 0.2886047830240705 | 0.15534342547787522 | 0.5382565869149823 |
| DRESDEN/gt_chicken/CeuKtw | 0.294327070692302 | 1342.0333333333333 | 4559.666666666667 |
| BASE/skirmishFinal3/-Olhfw | 0.2989919977895779 | 14.239137667176792 | 47.62380857161901 |
| BASE/futoshiki6/JmvXNA | 0.29925621526901486 | 37.69874337522083 | 125.9748050389922 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 0.3053733002714972 | 19.063566690281444 | 62.4270906242709 |
| BASE/ttcc4_2player_alt/ZEJvYA | 0.3059521481191734 | 156.43333333333334 | 511.3 |
| BASE/amazons_8x8/7SOsIw | 0.3079873646209387 | 90.99090090990902 | 295.4371229543712 |
| BASE/pentagoSuicide/SBgNhw | 0.3088783028134427 | 76.17968541722207 | 246.63333333333333 |
| DRESDEN/knightthrough/J7Fc_Q | 0.30972402504870317 | 172.0046658890185 | 555.348155061498 |
| BASE/gt_staghunt/xPjLRA | 0.3103674420030033 | 1687.9333333333334 | 5438.5 |
| BASE/2pffa/6oHijA | 0.3110219243260736 | 289.4473701753216 | 930.6333333333333 |
| STANFORD/knightstour/cEwgNA | 0.312689521075901 | 2701.7 | 8640.2 |
| BASE/ticblock/T21C1g | 0.31548891477309815 | 471.35095496816774 | 1494.0333333333333 |
| BASE/pacman2p/4LEdQg | 0.3178731245064491 | 201.26666666666668 | 633.1666666666666 |
| DRESDEN/skirmish3/3LU8Nw | 0.31837148243650326 | 63.24558480506498 | 198.65342310512634 |
| DRESDEN/ticblock/Z2yNWQ | 0.31850055126791615 | 481.46666666666664 | 1511.6666666666667 |
| DRESDEN/battlesnakes1509/-qZrLw | 0.31982303644089094 | 164.38904073061795 | 514.0 |
| BASE/pentago/86NgKw | 0.3206141839871648 | 81.84211403245693 | 255.26666666666668 |
| DRESDEN/tttcc4/sAvtFg | 0.3208608023372333 | 137.72415172321845 | 429.23333333333335 |
| DRESDEN/pentago_2008/hLjVpQ | 0.3238386940542656 | 77.54598773660358 | 239.45868471050966 |
| BASE/amazonsSuicide_10x10/XIbQkg | 0.3244286135969414 | 71.4499950011664 | 220.23333333333332 |
| BASE/knightThrough/gcwFjA | 0.3245758913438495 | 173.3826617338266 | 534.1821939268691 |
| DRESDEN/skirmish2/iPpWhQ | 0.32633407009788445 | 68.8931106889311 | 211.1122221111222 |
| BASE/pacman3p/wW7UVQ | 0.32826111869798125 | 210.4263191226959 | 641.0333333333333 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 0.3285497452209813 | 1120.3546312035462 | 3410.0 |
| DRESDEN/knightstour/cGISAA | 0.33028950877755575 | 2815.266666666667 | 8523.633333333333 |
| DRESDEN/hanoi_6_disks/MeubgQ | 0.3305587430488128 | 1248.3 | 3776.3333333333335 |
| STANFORD/knightstourmedium/x1wu8Q | 0.3315438936792496 | 2917.1 | 8798.533333333333 |
| BASE/gt_prisoner/klthDw | 0.3324298312808123 | 1692.5 | 5091.3 |
| STANFORD/freeforall/Lfp40Q | 0.3331763815554299 | 274.74835010999266 | 824.6333333333333 |
| BASE/amazons_10x10/Bun8dA | 0.33400159445162925 | 72.89028129582722 | 218.23333333333332 |
| DRESDEN/pacman3p/rBnk8Q | 0.335647692398586 | 208.07225703239567 | 619.9126695776807 |
| BASE/tttcc4/8Bs2lg | 0.3360956922836369 | 143.29522349255024 | 426.35245491816937 |
| BASE/ttcc4/Le0qjQ | 0.33682699498184604 | 142.77620396600565 | 423.8858704709843 |
| BASE/knightsTour/mvtVIg | 0.3377457936347051 | 2776.8333333333335 | 8221.666666666666 |
| DRESDEN/battlesnakes2011/93VtTw | 0.33827949045018396 | 163.40609898350274 | 483.05056498116727 |
| DRESDEN/gt_prisoner/huCp4w | 0.3394845688832326 | 1636.0666666666666 | 4819.266666666666 |
| STANFORD/platformjumpers/HEQskA | 0.339531272676528 | 81.1 | 238.858704709843 |
| BASE/speedChess/bPnisA | 0.34048596728429426 | 58.31000932960149 | 171.25524965002333 |
| DRESDEN/skirmish/RjGQYQ | 0.3414912780155833 | 67.15323601946277 | 196.64700196647001 |
| BASE/2pttc/unkkYA | 0.34150222788033097 | 286.1333333333333 | 837.8666666666667 |
| BASE/2pffa_zerosum/o0_uZA | 0.34150502719115106 | 288.9474035064329 | 846.1 |
| STANFORD/duikoshi/tpw1sw | 0.3416838010975843 | 165.2724545909015 | 483.7 |
| BASE/futoshiki5/TJ4BZg | 0.3422725315479056 | 75.13911565759221 | 219.53007832027996 |
| BASE/hanoi_6_disks/MeubgQ | 0.34853444290337493 | 1256.4666666666667 | 3605.0 |
| DRESDEN/towerworld/HCX34w | 0.349066771516057 | 7.7678927101314565 | 22.25331467785995 |
| BASE/skirmishZeroSum/zh4hcw | 0.3516942280863563 | 53.704690831556505 | 152.70279277477837 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.35224337954929286 | 0.23214378986344142 | 0.659043727551323 |
| BASE/checkLines/Vop7oQ | 0.3540432865448734 | 370.1876604113196 | 1045.6 |
| BASE/skirmishNew/sibw2g | 0.35507439712613154 | 53.95587549156836 | 151.95653623091795 |
| DRESDEN/javastrike/whONTQ | 0.35554308169921905 | 70.36197586827545 | 197.9 |
| BASE/amazonsTorus_10x10/Uxc08g | 0.3584496352973811 | 46.01298485100716 | 128.36666666666667 |
| BASE/choicethroughalt/tt71Lg | 0.36331013484123537 | 111.35553111355532 | 306.5026830650268 |
| BASE/englishDraughts/jFkQxg | 0.36632498049137485 | 166.7944146365848 | 455.3181560614646 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.3686504720390774 | 1122.0 | 3043.5333333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 0.3749657243461951 | 27.022529867882458 | 72.06666666666666 |
| BASE/solitaireChineseCheckers/-ET6gw | 0.3809867471460438 | 387.1333333333333 | 1016.1333333333333 |
| DRESDEN/knightazons/02I8BQ | 0.3851280684125259 | 62.58331111703546 | 162.5 |
| DRESDEN/slidingpieces/s9_44g | 0.38783664574283194 | 58.6648011193284 | 151.26162461251292 |
| BASE/3pffa/pR0dzA | 0.3881408300031239 | 328.44477034864343 | 846.2 |
| DRESDEN/crisscross/GsY16g | 0.3894879032865136 | 319.67868808746084 | 820.7666666666667 |
| BASE/knightazons/apnJBQ | 0.3900651465798046 | 63.86666666666667 | 163.73333333333332 |
| DRESDEN/capture_the_king/EQ229Q | 0.39079293529213893 | 18.39960073199135 | 47.08273633001233 |
| DRESDEN/crissrace/KWb9bw | 0.3937314743660116 | 239.0920302656578 | 607.2464251191627 |
| BASE/ticTacHeaven/18n58A | 0.3961376608207609 | 102.22992566914436 | 258.06666666666666 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.39865041574172644 | 42.203790679857434 | 105.86666666666666 |
| BASE/checkersTorusNoKings/pwb6oQ | 0.4004014110687487 | 174.5709048491918 | 435.98973435989734 |
| BASE/slidingpieces/uFJWEw | 0.40203941616926037 | 58.674574351114515 | 145.94234294284286 |
| BASE/chineseCheckers4/avfBcQ | 0.41049787420034173 | 344.3666666666667 | 838.9 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 0.410927717700626 | 24.061052421101742 | 58.5530042989969 |
| BASE/ttcc4_2player_small/Cv72TA | 0.41143332895517915 | 294.6136924205053 | 716.0666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.41323711236153515 | 545.9 | 1321.0333333333333 |
| BASE/connect4/50bOyw | 0.41391605917822927 | 111.31849086788428 | 268.9397726893977 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 0.41532946701865525 | 166.500033326668 | 400.88663711209625 |
| BASE/crisscross/ICagEg | 0.417025641025641 | 338.8333333333333 | 812.5 |
| BASE/crissrace/ERWGDA | 0.4224137601567898 | 253.64538251548038 | 600.4666666666667 |
| BASE/3pttc/0sol9g | 0.4252704688126085 | 318.38938702043265 | 748.6750441651945 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.4266147057137945 | 992.5333333333333 | 2326.5333333333333 |
| DRESDEN/connect4/T0-rHQ | 0.42696629213483145 | 114.0 | 267.0 |
| BASE/kitten_escapes_from_fire/uW-YiA | 0.4275161454176039 | 981.9333333333333 | 2296.8333333333335 |
| BASE/checkersTorus/2vm1EQ | 0.4295855446443777 | 161.62794573514216 | 376.24158389440703 |
| BASE/checkersBarrelNoKings/rnKNeg | 0.43510772988217045 | 200.5266491116963 | 460.8666666666667 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 0.43603607099738523 | 988.90073995067 | 2267.9333333333334 |
| BASE/breakthroughWalls/vOZaYA | 0.4364575074617744 | 167.78322167783222 | 384.4205193160228 |
| BASE/4pffa/Q3ADlg | 0.44006092873056185 | 318.2121191920539 | 723.1092296923435 |
| BASE/double_tictactoe_dengji/zgaSbA | 0.44340678914957504 | 580.8333333333334 | 1309.9333333333334 |
| BASE/futoshiki4/BaCwSw | 0.4474214562945037 | 202.1599280023999 | 451.8333333333333 |
| DRESDEN/crossers3/xiPTxg | 0.448054012074553 | 321.9118725418305 | 718.4666666666667 |
| BASE/gt_coordination/IVMOzA | 0.4482800839552239 | 2562.9666666666667 | 5717.333333333333 |
| STANFORD/multiplesukoshi/vLSQPg | 0.4494925550451558 | 21.95715190084297 | 48.848755456332675 |
| BASE/aipsrovers01/4C4jsw | 0.4504802938876351 | 856.4381187293757 | 1901.1666666666667 |
| STANFORD/pentago/ZxzLmg | 0.4510403766903872 | 165.76132235811644 | 367.5088327444837 |
| BASE/brain_teaser_extended/ZDp94A | 0.4510937238649247 | 809.0666666666667 | 1793.5666666666666 |
| BASE/crossers3/O0rORg | 0.45342630440009624 | 314.3 | 693.1666666666666 |
| DRESDEN/brain_teaser_extended/ZDp94A | 0.4545186958954734 | 830.5723142561915 | 1827.3666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 0.45621089484721905 | 877.4 | 1923.2333333333333 |
| BASE/breakthrough/TGxk-g | 0.45643786451323465 | 169.56101463284557 | 371.48761707943066 |
| DRESDEN/breakthrough/z4hK7Q | 0.4598073019265347 | 171.0885940937271 | 372.08759708009734 |
| BASE/breakthroughSuicide/wZDpIg | 0.46202636764795924 | 171.8161517181615 | 371.8752083194454 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.4654491011372018 | 1409.3333333333333 | 3027.9 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 0.46665043947917434 | 180.3759498733502 | 386.53333333333336 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 0.47062261308413567 | 98.72675154989668 | 209.77902209779023 |
| BASE/breakthroughHoles/nZk0Sg | 0.47202748404076045 | 179.35470968602093 | 379.96666666666664 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.4742432288900691 | 178.5940468651045 | 376.58744708509715 |
| BASE/breakthroughSmall/HJ0tIA | 0.4804363291439412 | 270.12432918902704 | 562.2479250691644 |
| DRESDEN/knightwar/7hhAqg | 0.4812108881284874 | 520.3333333333334 | 1081.3 |
| BASE/breakthroughSuicideSmall/XSbJog | 0.48371996595191125 | 273.6726327367263 | 565.7666666666667 |
| BASE/knightwar/DVGY4Q | 0.48802295799429535 | 522.5099136925589 | 1070.6666666666667 |
| DRESDEN/Runners/3bOCQw | 0.49227085596237685 | 5544.233333333334 | 11262.566666666668 |
| BASE/shmup/ssTNlg | 0.49299078066646224 | 910.8333333333334 | 1847.5666666666666 |
| BASE/rubiksCube/9tNO9Q | 0.5004860056318798 | 195.5 | 390.6203126562448 |
| DRESDEN/statespacelarge/8-y5HQ | 0.5143160502565917 | 484.4 | 941.8333333333334 |
| BASE/stateSpaceLarge/0Ge_CQ | 0.5143670840209478 | 492.28359054698177 | 957.0666666666667 |
| DRESDEN/chinesecheckers4/-oVNYg | 0.5212731406300747 | 214.0 | 410.53333333333336 |
| BASE/duplicateStateLarge/dcjyuw | 0.5324706193412998 | 331.88893703543215 | 623.3 |
| BASE/escortLatch/mX9BjQ | 0.5328558980127981 | 255.01633224451703 | 478.58404719842673 |
| DRESDEN/endgame/IJhh3Q | 0.5339357733974489 | 123.16256124795841 | 230.66924410078656 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.546124722187059 | 326.93589230974277 | 598.6469372792109 |
| BASE/endgame/jYjfOA | 0.5520054389048716 | 148.1950601646612 | 268.46666666666664 |
| BASE/ticTacHeavenFC/mrletw | 0.5630441578620076 | 141.59144655763913 | 251.47485251474853 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.5657938130730162 | 2.242596134819603 | 3.963627885287946 |
| BASE/brawl/6Ymo_Q | 0.5659425142563705 | 32.73720318380125 | 57.845456665889174 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.5661520704083105 | 654.0 | 1155.1666666666667 |
| BASE/mummyMaze2p_2007/YGA3Vw | 0.5674887654000882 | 673.8550763282448 | 1187.4333333333334 |
| DRESDEN/blobwars/ZaMluQ | 0.569351679443151 | 120.29599013366222 | 211.28591427238183 |
| BASE/doubletictactoe/HH1htg | 0.5711667151585685 | 654.3666666666667 | 1145.6666666666667 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.5715984372345846 | 673.0 | 1177.4 |
| BASE/bunk_t/xbpfIA | 0.5726891490477023 | 655.5 | 1144.6 |
| BASE/doubletoetictac/fu35bg | 0.5739778496986252 | 644.3666666666667 | 1122.6333333333334 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 0.5751063458644644 | 73.17479349853451 | 127.23697803845769 |
| DRESDEN/bunk_t/7-tPfA | 0.5868408182053568 | 679.9333333333333 | 1158.6333333333334 |
| BASE/duplicateStateMedium/U163eQ | 0.5871136019174509 | 1110.4666666666667 | 1891.4 |
| BASE/chineseCheckers6/rREH3A | 0.588874774675887 | 536.4666666666667 | 911.0029665677811 |
| DRESDEN/brawl/2kXtfQ | 0.5893361724369577 | 33.59216182890659 | 57.0 |
| BASE/stateSpaceMedium/3bUoIw | 0.5898030693347334 | 1610.3 | 2730.233333333333 |
| BASE/chineseCheckers3/-1rZdQ | 0.5923876366581184 | 877.8 | 1481.8 |
| BASE/conn4/va9Y7A | 0.5926565564706777 | 174.78834744350377 | 294.923502549915 |
| BASE/quad/tw-Ufg | 0.5984237864947161 | 0.8955758552749418 | 1.4965579167913798 |
| DRESDEN/statespacemedium/dVJZ_w | 0.5985633307271306 | 1633.2 | 2728.5333333333333 |
| BASE/tictactoe_3d_2player/IUC1rQ | 0.598811562238829 | 73.48923978945966 | 122.72515165655624 |
| BASE/blobwars/0XT15Q | 0.5996074416679489 | 124.44607336820711 | 207.5459120754591 |
| DRESDEN/doubletoetictac/V89gKQ | 0.6029857010102221 | 670.5 | 1111.9666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 0.6144567966664747 | 355.53333333333336 | 578.6140461984601 |
| BASE/chineseCheckers2/eCMR3Q | 0.6201734104046244 | 1072.9 | 1730.0 |
| DRESDEN/pawn_whopping/4ogBkg | 0.6216216216216216 | 371.82093930202325 | 598.1467284423852 |
| STANFORD/pilgrimage/ObRZnQ | 0.6249161073825503 | 248.28344777014865 | 397.3068462102527 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.6290906931163509 | 353.06666666666666 | 561.2333333333333 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 0.6316676581399961 | 424.7191760274658 | 672.3775874137528 |
| BASE/blocksWorldParallel/RseaAQ | 0.6319035179187403 | 266.6333333333333 | 421.9526015799473 |
| BASE/connectFourLarger/qKi60A | 0.6336927462307811 | 173.92753574880837 | 274.46666666666664 |
| DRESDEN/knightfight/4_Ly4w | 0.6375529168576033 | 1232.0922635912136 | 1932.5333333333333 |
| DRESDEN/mimikry/GJEhwA | 0.6444512174270447 | 239.9506699553363 | 372.3333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 0.6452585936027148 | 342.26666666666665 | 530.4333333333333 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.6465931863727454 | 430.2 | 665.3333333333334 |
| BASE/knightfight/SJRkAg | 0.6479568313382627 | 1264.8333333333333 | 1952.0333333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.6501740142585185 | 269.1974403412878 | 414.0390640623958 |
| DRESDEN/cubicup_3player/awDtsQ | 0.6504441278692585 | 40.019993335554815 | 61.5271806152718 |
| BASE/cubicup_3player/e2yA_g | 0.6522003422024235 | 41.25016660002665 | 63.24769235895898 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.6575791689099897 | 447.8333333333333 | 681.0333333333333 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.6578646247440326 | 339.69936339699365 | 516.3666666666667 |
| BASE/snake2p/I3wWPQ | 0.6582475755774506 | 157.1842815718428 | 238.7920402653245 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.6645518463432147 | 431.9 | 649.9116696110129 |
| STANFORD/sukoshi/4LYZZQ | 0.6646687842553145 | 889.6370120995966 | 1338.4666666666667 |
| DRESDEN/3pffa/0YrmQw | 0.6663297316138027 | 637.2333333333333 | 956.3333333333334 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.6698693596059113 | 430.6 | 642.811906269791 |
| BASE/4pttc/AL1k2Q | 0.6709118078103654 | 420.1333333333333 | 626.2124595846805 |
| BASE/tictactoe_3d_small_2player/oOryKA | 0.6738344563986676 | 269.68202119858677 | 400.2199926669111 |
| BASE/chineseCheckers1/gqtwHw | 0.6797793095373988 | 1548.3333333333333 | 2277.7 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.6827141026904503 | 461.8333333333333 | 676.4666666666667 |
| DRESDEN/3pttc/uwYBZw | 0.6840369554068262 | 592.7666666666667 | 866.5711142961901 |
| DRESDEN/tictactoelarge/IwXcbg | 0.6852300995024876 | 734.5666666666667 | 1072.0 |
| BASE/asteroidsSerial/id2QkA | 0.6872270742358078 | 1804.5666666666666 | 2625.866666666667 |
| DRESDEN/chinesecheckers6/yTbPDA | 0.6935193798449613 | 372.76666666666665 | 537.5 |
| BASE/ticTacToeLarge/TZC0dg | 0.6991619579709225 | 734.1666666666666 | 1050.0666666666666 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.7028719972438849 | 748.0666666666667 | 1064.3 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.7068846962929437 | 738.8594473885945 | 1045.2333333333333 |
| DRESDEN/minichess/c7GMFw | 0.7088758335979676 | 595.2666666666667 | 839.7333333333333 |
| DRESDEN/catch_me/ghGWrA | 0.7093249293119698 | 3211.0666666666666 | 4526.933333333333 |
| BASE/snakeAssemblit/UO4sdg | 0.7157033482961991 | 241.87581241875813 | 337.9554014866171 |
| DRESDEN/max_knights/hCipiA | 0.7181600638128157 | 360.1333333333333 | 501.46666666666664 |
| DRESDEN/cubicup/SBn_lw | 0.7183970804365677 | 101.25316624450073 | 140.94317613731045 |
| BASE/kalaha_2009/dRiN3g | 0.72274079810867 | 1182.0666666666666 | 1635.5333333333333 |
| BASE/connectFourLarge/aU644A | 0.7249060048696939 | 346.01026598226787 | 477.31742275257494 |
| DRESDEN/kalaha_2009/gcC8uA | 0.728314549829049 | 1150.3 | 1579.4 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.7303091583401116 | 3262.266666666667 | 4466.966666666666 |
| BASE/max_knights/2fq3Ag | 0.7307652894649144 | 367.0877637412086 | 502.3333333333333 |
| DRESDEN/Thief_Police/CX18rA | 0.7308917802906442 | 3203.766666666667 | 4383.366666666667 |
| BASE/numbertictactoe/rvJ-iQ | 0.731245971540483 | 983.2333333333333 | 1344.6 |
| DRESDEN/blockerparallel/dVQgSg | 0.7350289942461207 | 194.64071457139048 | 264.8068526480685 |
| BASE/minichess/8NQEiA | 0.7387871739171136 | 661.9779340688643 | 896.0333333333333 |
| STANFORD/hex/MTqWcw | 0.744888023369036 | 127.49575014166194 | 171.16096130128994 |
| DRESDEN/chinesecheckers3/QsCb2A | 0.7466949395534468 | 536.8487717076098 | 718.9666666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.7468760781843002 | 3319.266666666667 | 4444.2 |
| BASE/cubicup/4wNWJA | 0.7480993249917746 | 104.13542603885502 | 139.2 |
| BASE/hex/T1MK8g | 0.7488335925349922 | 128.3957201426619 | 171.46095130162328 |
| BASE/hexPie/48CH6Q | 0.7511798857756824 | 126.91590030654405 | 168.95540297313514 |
| BASE/asteroids/BKCmPQ | 0.7568708267113758 | 4333.766666666666 | 5725.9 |
| DRESDEN/stratego/Z2wovg | 0.7603476708374618 | 355.38815372820903 | 467.4021731884541 |
| BASE/blockerParallel/7-nDJA | 0.7628263561478836 | 195.48696753549763 | 256.26666666666665 |
| BASE/connectFourSimultaneous/7ITr3g | 0.7681990387636758 | 217.95640871825634 | 283.7238758708043 |
| DRESDEN/point_grab/r5DPmQ | 0.7685989204412109 | 7423.333333333333 | 9658.266666666666 |
| BASE/mineClearingSmall/frsbvw | 0.7694031385469049 | 147.9 | 192.22692576914102 |
| BASE/breakthroughSmallHoles/bxclRw | 0.7819108102449577 | 373.4542181927269 | 477.61741275290825 |
| BASE/connectFour_9x6/B9TtMw | 0.7924476295479604 | 479.1666666666667 | 604.6666666666666 |
| STANFORD/tictactoe3/X7myng | 0.7934972968857077 | 1736.8333333333333 | 2188.8333333333335 |
| BASE/wallmaze/uxNQ9g | 0.7942568546275524 | 253.7915402819906 | 319.53333333333336 |
| BASE/point_grab/V_osUg | 0.7943776099143067 | 7666.3 | 9650.7 |
| DRESDEN/quad/JPe6fg | 0.7946324764242346 | 1.194936054773285 | 1.5037593984962405 |
| DRESDEN/connect5/1kYzSg | 0.8018763898705814 | 202.04612103439084 | 251.96666666666667 |
| STANFORD/connectfour/VMpZkQ | 0.8019643215073161 | 533.4666666666667 | 665.2 |
| BASE/dualConnect4/WbCQkg | 0.8038970076548365 | 385.0538315389487 | 478.9840338655378 |
| BASE/kalaha6x2x4/XS81Mg | 0.8044102737411287 | 1269.4666666666667 | 1578.1333333333334 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.805242978813352 | 170.19432685577146 | 211.35772845430913 |
| BASE/qyshinsu/R08Lzw | 0.8104548808600492 | 74.78255073816109 | 92.27231830450864 |
| DRESDEN/chinesecheckers2/06E6-Q | 0.8133553828118021 | 647.078430718976 | 795.5666666666667 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.8181239607916425 | 747.6834877674821 | 913.9 |
| BASE/asteroidsParallel/WauZiA | 0.8233432269665136 | 2228.4333333333334 | 2706.5666666666666 |
| STANFORD/nineboardtictactoe/y28P-A | 0.8234836880265344 | 176.07065489085153 | 213.81195213811952 |
| BASE/racetrackcorridor/_RkdUg | 0.830726661142243 | 629.9123362554582 | 758.2666666666667 |
| BASE/connect5/d-BVQg | 0.8314559115025929 | 202.8198120125325 | 243.93333333333334 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.8336848937205906 | 171.26095796806774 | 205.4264857838072 |
| BASE/catcha_mouse/cHv4dw | 0.8375847594446237 | 518.7827072430919 | 619.3793540215327 |
| BASE/ticTacToeParallel/ymRGPw | 0.8377006399027634 | 781.1 | 932.4333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 0.8384620497142097 | 841.0333333333333 | 1003.0666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 0.8416197391819799 | 757.2333333333333 | 899.7333333333333 |
| DRESDEN/connectfour/5tc-Mg | 0.845042325714671 | 557.0333333333333 | 659.1780273990867 |
| DRESDEN/catcha_mouse/cHv4dw | 0.8462469733656175 | 512.6 | 605.7333333333333 |
| BASE/connectFour/WAIKTw | 0.8463939530962755 | 567.1965077143524 | 670.1329867013299 |
| DRESDEN/connectfoursuicide/M9CNQg | 0.8526993709445737 | 573.8 | 672.9218052129858 |
| BASE/lightsOut/5P1ZBw | 0.8527359120944392 | 765.7 | 897.9333333333333 |
| BASE/beatMania/qUHwvQ | 0.8578897524399884 | 3653.6666666666665 | 4258.9 |
| DRESDEN/lightsout/XgLpzQ | 0.8596153846153846 | 759.9 | 884.0 |
| BASE/3pConnectFour/PqXOFQ | 0.8652726310217045 | 326.9 | 377.8 |
| DRESDEN/grid_game/U7_Yeg | 0.8672338468613474 | 628.6 | 724.8333333333334 |
| DRESDEN/tictactoe_3player/ESLQQQ | 0.8748928757996438 | 514.3495216826105 | 587.9 |
| BASE/tictactoe2/bhrDoQ | 0.8757117181390371 | 2127.6 | 2429.5666666666666 |
| BASE/connectFourSuicide/c8p9Kw | 0.8934278692726899 | 568.5477150761641 | 636.3666666666667 |
| BASE/kalaha5x2x3/WviNsw | 0.8976178510403056 | 1488.4 | 1658.1666666666667 |
| BASE/lightsOnSimul4/9FeASw | 0.9077273455575123 | 292.06666666666666 | 321.7559414686177 |
| STANFORD/tictactoe5/WFRReg | 0.911603223666568 | 2152.9333333333334 | 2361.7 |
| BASE/majorities/ibJzSQ | 0.9177858856457418 | 122.35105957616953 | 133.31111481419762 |
| BASE/tictactoe_3player/GtM71g | 0.9193946621002693 | 536.3748458692971 | 583.4 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.9228548103122931 | 370.9876337455418 | 402.0 |
| BASE/twisty-passages/DiZmmg | 0.943068520070514 | 1087.7666666666667 | 1153.4333333333334 |
| BASE/factoringGeorgeForman/HGRorQ | 0.9474564793052623 | 3171.2 | 3347.0666666666666 |
| DRESDEN/roshambo2/jgSlkQ | 0.95320060503829 | 8024.233333333334 | 8418.2 |
| DRESDEN/4pttc/9pB9AQ | 0.958512848698969 | 673.6108796373454 | 702.7666666666667 |
| BASE/duplicateStateSmall/bCPAXw | 0.9677539055252513 | 6085.333333333333 | 6288.1 |
| BASE/stateSpaceSmall/Q7osKA | 0.9692357354933882 | 8607.233333333334 | 8880.433333333332 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.9743358621898395 | 0.5007636645884974 | 0.5139538469445444 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.9790860215053763 | 607.0333333333333 | 620.0 |
| DRESDEN/statespacesmall/h-NqjA | 0.9807762060210373 | 8742.933333333332 | 8914.3 |
| BASE/roshambo2/KNPokQ | 0.9908275061574612 | 8166.433333333333 | 8242.033333333333 |
| BASE/ghostMaze2p/W-NU-w | 0.9911798704691929 | 2086.4666666666667 | 2105.0333333333333 |
| BASE/ticTacToeNoVars/XT03NA | 0.9966668650675555 | 1116.3333333333333 | 1120.0666666666666 |
| DRESDEN/ghostmaze2p/HY0UwA | 1.003867647523127 | 2119.7 | 2111.5333333333333 |
| BASE/snake_2008/i6K26g | 1.029663547680669 | 517.1827605746475 | 502.28325722475915 |
| DRESDEN/snake_2008/E56l3A | 1.0418636056718433 | 514.3161894603513 | 493.65021165961133 |
| DRESDEN/twisty-passages/j7NPyg | 1.0435313262815296 | 1111.5 | 1065.1333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.052665827946727 | 808.8333333333334 | 768.3666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.0587016878938786 | 800.7666666666667 | 756.3666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.0665186877724249 | 774.8 | 726.4757841405286 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.0686341101264438 | 759.6666666666666 | 710.8763041231958 |
| STANFORD/tictactoe7/-bE9-A | 1.0826100842903363 | 2598.733333333333 | 2400.4333333333334 |
| BASE/snake_2008_tweaked/bX0NJQ | 1.0829217968767708 | 530.8666666666667 | 490.21699276690777 |
| DRESDEN/frogs_and_toads/GjchhQ | 1.0913922103349418 | 520.2493250224993 | 476.684110529649 |
| DRESDEN/logistics/fPru1Q | 1.1084507042253522 | 1232.9666666666667 | 1112.3333333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.11084182029135 | 1436.1333333333334 | 1292.8333333333333 |
| BASE/withConviction/3Xm54A | 1.1166375653827867 | 495.73333333333335 | 443.9518682710576 |
| BASE/tictactoe-init1/7M19vA | 1.1294474854601435 | 2641.1 | 2338.4 |
| STANFORD/untwistycomplex/HTWEwg | 1.1342879970499662 | 6152.0 | 5423.666666666667 |
| STANFORD/tictictoe/rpt_Dw | 1.1406343943010187 | 2086.866666666667 | 1829.5666666666666 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.1450122390604802 | 2775.4333333333334 | 2423.9333333333334 |
| DRESDEN/bomberman2p/x4h6jQ | 1.1458618454224592 | 1060.5333333333333 | 925.5333333333333 |
| BASE/sum15/QZ07Kg | 1.1487547072418203 | 3264.0333333333333 | 2841.366666666667 |
| DRESDEN/tictictoe/LAUtwg | 1.158825048894793 | 2093.5333333333333 | 1806.6 |
| BASE/ticTicToe/c1OobQ | 1.160486333370121 | 2103.0333333333333 | 1812.2 |
| DRESDEN/circlesolitaire/ruUilQ | 1.1642434857094783 | 5074.2 | 4358.366666666667 |
| BASE/circlesolitaire/azuQFQ | 1.165678744685595 | 5054.033333333334 | 4335.7 |
| DRESDEN/sum15/CsgWKg | 1.1692481426448738 | 3278.766666666667 | 2804.1666666666665 |
| BASE/lightsOn/MsXu3A | 1.176642712126583 | 6085.4 | 5171.833333333333 |
| BASE/lightsOnParallel/SC6enA | 1.1844505285297264 | 2177.5333333333333 | 1838.4333333333334 |
| BASE/bomberman2p/4CClwA | 1.1857195845697328 | 1065.5666666666666 | 898.6666666666666 |
| BASE/coloredtrails/EZvr7g | 1.1874146601392082 | 2376.9666666666667 | 2001.8 |
| BASE/snakeParallel/RCVNtw | 1.1882043486459983 | 2450.233333333333 | 2062.131262291257 |
| BASE/eotcitcit/V_9_bg | 1.1991355642947243 | 2154.766666666667 | 1796.9333333333334 |
| DRESDEN/pancakes6/SZXMyQ | 1.2115430013668806 | 13856.7 | 11437.233333333334 |
| DRESDEN/pancakes/hl9aiQ | 1.214593572330549 | 13658.266666666666 | 11245.133333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.2171871331298427 | 6393.6 | 5252.766666666666 |
| BASE/pancakes6/QZTdnw | 1.2241814216804945 | 13658.967436589674 | 11157.633333333333 |
| STANFORD/breakthrough/d5j0cQ | 1.2330138144911191 | 583.1138962034598 | 472.91756941435284 |
| BASE/pancakes88/l2Xaig | 1.2336205948434333 | 10468.833333333334 | 8486.266666666666 |
| BASE/gt_dollar/TGjqRw | 1.239762582369027 | 5939.0 | 4790.433333333333 |
| STANFORD/trifecta/ss1kyQ | 1.2409469786277962 | 2982.5333333333333 | 2403.4333333333334 |
| BASE/ruleDepthLinear/OUBJpQ | 1.243817395234713 | 19905.1 | 16003.233333333334 |
| DRESDEN/snake_2009/zIYLVw | 1.2450632181334131 | 555.9666666666667 | 446.536897540164 |
| STANFORD/eightpuzzle/W_aWbA | 1.2457993916008248 | 4068.0333333333333 | 3265.4 |
| DRESDEN/blocker/S815zQ | 1.2503174721744976 | 2789.6666666666665 | 2231.1666666666665 |
| BASE/snake_2009/7l-qAQ | 1.251692927643785 | 562.2 | 449.15169494350187 |
| STANFORD/tictactoe/ss1kyQ | 1.2554978122035148 | 2955.4 | 2353.9666666666667 |
| BASE/eightPuzzle/vLrgFg | 1.2573956617378697 | 4249.033333333334 | 3379.233333333333 |
| DRESDEN/snake_2009_big/DgC1NQ | 1.2576219512195121 | 440.0 | 349.8666666666667 |
| BASE/eotcatcit/AfZSzA | 1.2637881862167801 | 2968.9333333333334 | 2349.233333333333 |
| DRESDEN/eotcatcit/mQUxzA | 1.268877077533114 | 3008.0 | 2370.6 |
| DRESDEN/pancakes88/aD3E7g | 1.2713336216511506 | 11170.7 | 8786.6 |
| STANFORD/8puzzle/jNiGtw | 1.2725834709916404 | 4237.066666666667 | 3329.5 |
| BASE/chickentictactoe/DSlZCA | 1.2761595339457765 | 2657.9 | 2082.733333333333 |
| BASE/snake_2009_big/-oRfVw | 1.2765854132271535 | 438.1520615979467 | 343.2218926035799 |
| DRESDEN/lightson2x2/gBHuig | 1.2800988067654053 | 4180.333333333333 | 3265.633333333333 |
| BASE/blocksWorldSerial/Wyg96Q | 1.2805060044304535 | 3660.9666666666667 | 2859.0 |
| BASE/ticTacToe/JRFsaQ | 1.2908330522765599 | 3189.4333333333334 | 2470.8333333333335 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.2935639801060326 | 665.7111429619013 | 514.6333333333333 |
| BASE/sheepAndWolf/g4THrg | 1.2937974683544304 | 681.4 | 526.6666666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.2963694215550299 | 5296.533333333334 | 4085.6666666666665 |
| DRESDEN/8puzzle/8fKC2w | 1.2980048988220467 | 4257.066666666667 | 3279.7 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.3037995965030262 | 3360.5 | 2577.4666666666667 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.3042091213906704 | 2670.9333333333334 | 2047.9333333333334 |
| BASE/pancakes/yUgbXw | 1.3066137738584125 | 14031.333333333334 | 10738.7 |
| BASE/blocker/dIWtxg | 1.3074392600569416 | 2954.3333333333335 | 2259.633333333333 |
| DRESDEN/tictactoe/BTTzPw | 1.308320310394999 | 3237.133333333333 | 2474.266666666667 |
| DRESDEN/oisters_farm/pTQMLg | 1.3142105055046855 | 7755.2 | 5901.033333333334 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.3166584454074417 | 10765.833333333334 | 8176.633333333333 |
| BASE/untwistycomplex2/EDPPAQ | 1.3247325377473391 | 17801.8 | 13438.033333333333 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.325597351072398 | 2962.5333333333333 | 2234.866666666667 |
| BASE/tictactoex9/BI26ow | 1.3373006412980923 | 344.0874550059992 | 257.3 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.343249871670564 | 3925.2 | 2922.1666666666665 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.3512908997955013 | 704.809839672011 | 521.5826139128695 |
| STANFORD/untwistycorridor/EDPPAQ | 1.357047358041134 | 17661.066666666666 | 13014.333333333334 |
| BASE/gt_centipede/9fRMpw | 1.359185827567546 | 10129.966666666667 | 7452.966666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.3601650240660097 | 3956.266666666667 | 2908.6666666666665 |
| BASE/hallway/ckCJOw | 1.36522127593128 | 247.19213464422597 | 181.06378724255148 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.36578883436179 | 9369.766666666666 | 6860.333333333333 |
| DRESDEN/tictactoex9/rFkD4w | 1.3672047025351521 | 346.6884437185427 | 253.57464253574642 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.3711398825959789 | 11172.733333333334 | 8148.5 |
| DRESDEN/hallway/0H4l-Q | 1.388834676183314 | 253.05823139228693 | 182.20903879482736 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.390408579412431 | 3068.4 | 2206.8333333333335 |
| BASE/firefighter/WJmoPw | 1.3982997800710542 | 5510.233333333334 | 3940.6666666666665 |
| STANFORD/dualhunter/1rPZjQ | 1.4112307963976691 | 1331.9666666666667 | 943.8333333333334 |
| DRESDEN/latenttictactoe/kITHKg | 1.4222730317097394 | 2052.766666666667 | 1443.3 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.4295028901734104 | 1030.4333333333334 | 720.8333333333334 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 1.4362466893681423 | 0.4098877538151091 | 0.2853881278538813 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.436691760338249 | 4643.866666666667 | 3232.3333333333335 |
| BASE/toetictac/mTThmg | 1.4372586396726537 | 5830.766666666666 | 4056.866666666667 |
| BASE/buttons/hTcUjw | 1.4388091826544347 | 15464.033333333333 | 10747.8 |
| BASE/blocks2player/wnTLOQ | 1.4406007571526096 | 7737.466666666666 | 5371.0 |
| BASE/tron_10x10/7ZTgDg | 1.4473055261134318 | 2321.3333333333335 | 1603.9 |
| DRESDEN/toetictac/mJtxCA | 1.460573916744422 | 5948.333333333333 | 4072.6 |
| BASE/chickentoetictac/l57rfQ | 1.4641239145937328 | 4653.766666666666 | 3178.5333333333333 |
| DRESDEN/buttons/ADUaHw | 1.4660653755302284 | 15599.033333333333 | 10640.066666666668 |
| BASE/maze/cCX3qQ | 1.466267643592037 | 16503.233333333334 | 11255.266666666666 |
| DRESDEN/firefighter/WJmoPw | 1.4706516530905607 | 5729.266666666666 | 3895.733333333333 |
| STANFORD/buttonsandlights/eyhJpA | 1.483235228999183 | 32379.766666666666 | 21830.5 |
| BASE/switches/tPUoCg | 1.5094319958311622 | 12551.933333333332 | 8315.666666666666 |
| STANFORD/multipletictactoe/_bkafQ | 1.5267234168746207 | 438.1041263915739 | 286.95710142995233 |
| BASE/incredible/8Qh-6Q | 1.5398273879695525 | 3526.6666666666665 | 2290.3 |
| STANFORD/3puzzle/41ibjA | 1.5581593012929134 | 9532.766666666666 | 6117.966666666666 |
| BASE/hodgepodge/9yjRkw | 1.5597836881353486 | 5759.033333333334 | 3692.2 |
| STANFORD/hunter/14dD-g | 1.576312076107242 | 3463.0 | 2196.9 |
| DRESDEN/blocks2player/3ev8nQ | 1.5790152101056973 | 8575.0 | 5430.6 |
| STANFORD/threepuzzle/41ibjA | 1.6517057201929704 | 9586.5 | 5804.0 |
| DRESDEN/mummymaze2p/k-8edg | 1.6547470794046135 | 930.1333333333333 | 562.1 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.6583950167859889 | 2733.366666666667 | 1648.2 |
| BASE/mummymaze2p/vpjDdA | 1.6691342659591573 | 922.6666666666666 | 552.7815739475351 |
| BASE/pearls/6k_mEQ | 1.7049836787368102 | 20962.433333333334 | 12294.8 |
| DRESDEN/troublemaker02/iZLVuA | 1.7174037973341665 | 20520.8 | 11948.733333333334 |
| BASE/troublemaker01/s3tlEQ | 1.7554934690173445 | 22955.066666666666 | 13076.133333333333 |
| BASE/blocksWorld/SEdXLQ | 1.7625598116996073 | 11382.2 | 6457.766666666666 |
| BASE/blocks/xIV5hQ | 1.767957882838094 | 11261.066666666668 | 6369.533333333334 |
| DRESDEN/blocks/vg0DRw | 1.8470272567876307 | 11587.633333333333 | 6273.666666666667 |
| BASE/survival/YVIjJA | 1.8724283260245618 | 29248.266666666666 | 15620.5 |
| BASE/haystack/UkweGA | 1.8746805387210175 | 35160.63333333333 | 18755.533333333333 |
| BASE/onestep/xi53wA | 1.8919952214035787 | 40068.23333333333 | 21177.766666666666 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1.9136297550766084 | 7985.066666666667 | 4172.733333333334 |
| DRESDEN/troublemaker01/C-lPWw | 1.9316568553677813 | 23702.266666666666 | 12270.433333333332 |
| BASE/troublemaker02/DI83KA | 2.011751421747584 | 21142.233333333334 | 10509.366666666667 |
| DRESDEN/battlebrushes/QHXV4A | 2.175229246744407 | 43.73187560414653 | 20.10449044375372 |
| BASE/ruleDepthExponential/UamhHQ | 32.97011199654582 | 305.10058100493416 | 9.253853339560953 |
Games with errors:
| Game | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | 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/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
| DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | Exception of type NullPointerException |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Test process timed out after 240 seconds |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | Exception of type StackOverflowError |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | Exception of type NullPointerException |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | Exception of type NullPointerException |