Game-by-game performance:
Game | Perf ratio | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
DRESDEN/merrills/aYEzwA | 0.0 | 0.0 | 0.01963093835885355 |
BASE/merrills/pku8Tg | 0.0 | 0.0 | 0.017722012511740833 |
DRESDEN/othello-cornercontrol/r5Gdlg | 0.3015196637013913 | 0.16278691193228065 | 0.5398882113821138 |
DRESDEN/coins/QwFP9w | 0.4565705991150235 | 1300.1 | 2847.5333333333333 |
BASE/coins/QnGtnQ | 0.4797032376212054 | 1362.1333333333334 | 2839.5333333333333 |
BASE/coins_atomic/AA3SSw | 0.4819542818469294 | 1376.7666666666667 | 2856.633333333333 |
BASE/pearls/6k_mEQ | 0.5921200236924291 | 8797.166666666666 | 14857.066666666668 |
BASE/haystack/UkweGA | 0.9394445159704584 | 13377.533333333333 | 14239.833333333334 |
DRESDEN/babel/WdSW4A | 0.9412302958233666 | 82.14476139696082 | 87.27381785464361 |
BASE/checkLines/Vop7oQ | 1.1191978368634519 | 331.1333333333333 | 295.8666666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 1.165673563493727 | 1297.6666666666667 | 1113.2333333333333 |
STANFORD/untwistycomplex/HTWEwg | 1.1694060540686309 | 2890.9666666666667 | 2472.1666666666665 |
BASE/connectFourLarger/qKi60A | 1.2032989006031787 | 118.51309040037306 | 98.4901509849015 |
DRESDEN/ticblock/Z2yNWQ | 1.2128707423100205 | 1469.4333333333334 | 1211.5333333333333 |
BASE/tictactoe2/bhrDoQ | 1.2584220297906716 | 2959.766666666667 | 2351.9666666666667 |
BASE/cittaceot/fDxhXg | 1.2823566604751855 | 289.04739684021064 | 225.40327956272498 |
BASE/connectFourLarge/aU644A | 1.367851859828794 | 320.0559981333956 | 233.98440103993067 |
BASE/double_tictactoe_dengji/zgaSbA | 1.3765246039534558 | 1309.1666666666667 | 951.0666666666667 |
DRESDEN/connectfour/5tc-Mg | 1.3941310583216886 | 631.8666666666667 | 453.23333333333335 |
BASE/survival/YVIjJA | 1.415695294171765 | 10258.6 | 7246.333333333333 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.4393399756548397 | 1064.2 | 739.3666666666667 |
BASE/ticTacToeNoVars/XT03NA | 1.4520154661850848 | 2090.4666666666667 | 1439.7 |
BASE/sudokuGrade6E/ihYFZA | 1.4578075171467764 | 177.1 | 121.48380215971204 |
DRESDEN/doubletoetictac/V89gKQ | 1.4646817026339987 | 1805.3666666666666 | 1232.6 |
BASE/ticblock/T21C1g | 1.4672661512426586 | 1473.9666666666667 | 1004.5666666666667 |
BASE/bunk_t/xbpfIA | 1.4826025459688825 | 1921.7 | 1296.1666666666667 |
BASE/sudokuGrade6H/ieE_9A | 1.492002179162334 | 185.0271657611413 | 124.01266455590735 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.4942840757025424 | 1302.7666666666667 | 871.8333333333334 |
DRESDEN/latenttictactoe/kITHKg | 1.4962839953175617 | 1832.1 | 1224.4333333333334 |
DRESDEN/endgame/IJhh3Q | 1.4967972333526143 | 37.75282396454633 | 25.22240362509579 |
BASE/sudokuGrade5/BQfUQA | 1.497627958508308 | 185.4938168727709 | 123.8584094393707 |
BASE/factoringGeorgeForman/HGRorQ | 1.4977737760715557 | 5045.9 | 3368.9333333333334 |
DRESDEN/doubletictactoe/lJzgmQ | 1.5063278141445258 | 1955.9666666666667 | 1298.5 |
BASE/doubletoetictac/fu35bg | 1.515362610584309 | 1907.0333333333333 | 1258.4666666666667 |
BASE/blockerParallel/7-nDJA | 1.5299403994997824 | 652.111596280124 | 426.23333333333335 |
DRESDEN/bunk_t/7-tPfA | 1.534261520078965 | 1968.8666666666666 | 1283.2666666666667 |
BASE/connectFour_9x6/B9TtMw | 1.534783139262531 | 509.6333333333333 | 332.0555981467284 |
STANFORD/sudoku/oJ1qyQ | 1.540113701507963 | 186.02713242891903 | 120.78792120787921 |
BASE/sudokuGrade2/u80Tfw | 1.5411377965085713 | 188.47487001733103 | 122.2959234692177 |
BASE/sudokuGrade3/eI8dvg | 1.545813177707882 | 189.06036465451152 | 122.30479554770554 |
BASE/sudokuGrade4/DTy07w | 1.548126272899026 | 188.21451188214513 | 121.57568486302739 |
BASE/doubletictactoe/HH1htg | 1.5489388167612532 | 1992.4 | 1286.3 |
STANFORD/connectfour/VMpZkQ | 1.57741565301752 | 568.3954403039797 | 360.3333333333333 |
BASE/sudokuGrade1/tDRNRw | 1.587649523154674 | 192.78714752349845 | 121.42928569047699 |
DRESDEN/Zhadu/9zpQ5w | 1.5987872208569736 | 40.971320075946835 | 25.626499600106637 |
BASE/wargame03/klXI8w | 1.610776866819016 | 3.258087037468001 | 2.022680549108031 |
DRESDEN/blockerparallel/dVQgSg | 1.6147963038798763 | 683.4666666666667 | 423.2525582480584 |
DRESDEN/lightson2x2/gBHuig | 1.624512844985286 | 2723.3333333333335 | 1676.4 |
DRESDEN/pawn_whopping/4ogBkg | 1.6310422414364274 | 1094.0666666666666 | 670.7776407453085 |
DRESDEN/chickentictactoe/Ipbo-g | 1.6338855257911336 | 3004.9333333333334 | 1839.1333333333334 |
DRESDEN/tictactoelarge/IwXcbg | 1.669869454747233 | 1905.9333333333334 | 1141.3666666666666 |
BASE/ticTacHeaven/18n58A | 1.6775759755439668 | 621.9333333333333 | 370.73333333333335 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.6849292584319104 | 770.5743141895271 | 457.3333333333333 |
DRESDEN/tictactoelargesuicide/6J4DeA | 1.6870121671258038 | 1959.6333333333334 | 1161.6 |
BASE/eotcatcit/AfZSzA | 1.7063839433623382 | 3261.866666666667 | 1911.5666666666666 |
BASE/zhadu/DlA8iQ | 1.7274943439905996 | 39.386871042985675 | 22.8 |
BASE/connectFour/WAIKTw | 1.7345321891757077 | 618.1666666666666 | 356.3881203959868 |
BASE/blokbox_simple/JBx4bg | 1.7354121600990835 | 7.132382349020131 | 4.1099068642073515 |
DRESDEN/tictactoe/BTTzPw | 1.735754866036911 | 3442.233333333333 | 1983.1333333333334 |
BASE/nonogram_5x5_1/qLKEZw | 1.7561813186813184 | 85.20493168943685 | 48.51716094635122 |
BASE/ticTacHeavenFC/mrletw | 1.783603828547649 | 571.4666666666667 | 320.4 |
DRESDEN/minichess/c7GMFw | 1.79573214036621 | 202.0131320201313 | 112.49625012499584 |
BASE/skirmishFinal1/ecWTnQ | 1.8002638052703688 | 26.317542807648746 | 14.618714618714618 |
BASE/dualConnect4/WbCQkg | 1.815910518246152 | 349.57669488700753 | 192.50766564458073 |
BASE/wargame02/BkVqqQ | 1.8207820715553447 | 3.991086573319586 | 2.191962803055463 |
DRESDEN/minichess-evilconjuncts/th24Tw | 1.827494534652017 | 206.47247033728837 | 112.9811698050325 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.8374035176515249 | 1936.1333333333334 | 1053.7333333333333 |
BASE/wargame01/_GZFZg | 1.8453297626351277 | 4.083936516368949 | 2.213120169122019 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.8560266933291647 | 620.3459884670511 | 334.23333333333335 |
DRESDEN/eotcatcit/mQUxzA | 1.8617235201637965 | 3394.6666666666665 | 1823.4 |
BASE/lightsOnParallel/SC6enA | 1.86662185964587 | 2684.7 | 1438.2666666666667 |
BASE/pentagoSuicide/SBgNhw | 1.8680798802069152 | 228.7 | 122.42517165522298 |
BASE/minichess-evilconjuncts/4OpQzw | 1.8761536171479607 | 210.05266315578962 | 111.95920271981868 |
BASE/pentago/86NgKw | 1.878599739339131 | 227.08486100926604 | 120.8798533577737 |
STANFORD/pentago/ZxzLmg | 1.8860614075088888 | 239.70137315024664 | 127.0909696767744 |
DRESDEN/towerworld/HCX34w | 1.9010975334042102 | 32.61485158410234 | 17.155801325826975 |
STANFORD/tictactoe3/X7myng | 1.9151532723582592 | 2421.9666666666667 | 1264.6333333333334 |
BASE/strangeSkirmish/gc1zKA | 1.9349679998710325 | 25.987006496751626 | 13.430199620088645 |
DRESDEN/skirmishfinal/hzq8ww | 1.9424611973392463 | 28.45528455284553 | 14.649087761353043 |
BASE/minichess/8NQEiA | 1.9530618466898952 | 224.16666666666666 | 114.77704459108179 |
BASE/endgame/jYjfOA | 1.9606967288467938 | 72.05465755707382 | 36.749516892117015 |
BASE/skirmishFinal3/-Olhfw | 1.964335847204028 | 31.772463864650636 | 16.17465969980364 |
BASE/skirmishFinal2/gdB62Q | 1.9865409402730703 | 29.65875766462277 | 14.929849701736261 |
BASE/onestep/xi53wA | 1.9893178710330497 | 14935.533333333333 | 7507.866666666667 |
BASE/buttons/hTcUjw | 1.9973491027732464 | 7836.0 | 3923.2 |
BASE/skirmishHoles/AUCxCA | 2.0126289528859034 | 31.159396140900455 | 15.481937739304145 |
BASE/ruleDepthLinear/OUBJpQ | 2.013358624586327 | 1662.9 | 825.9333333333333 |
DRESDEN/cubicup/SBn_lw | 2.0332141793267797 | 455.03333333333336 | 223.8 |
BASE/cubicup/4wNWJA | 2.0347645223592337 | 456.5181160627979 | 224.35918802706576 |
BASE/tpeg/QNs7Lw | 2.064601849047078 | 726.9666666666667 | 352.1098593427105 |
DRESDEN/battlebrushes/QHXV4A | 2.065472626887514 | 0.36586177077097054 | 0.1771322292091046 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 2.0672049963121544 | 1.1398794984530207 | 0.5514109633473889 |
DRESDEN/buttons/ADUaHw | 2.073468064595934 | 8101.8 | 3907.366666666667 |
STANFORD/sukoshi/4LYZZQ | 2.076179026176294 | 2532.8 | 1219.9333333333334 |
BASE/connectFourSimultaneous/7ITr3g | 2.077511956097983 | 477.5507483083897 | 229.86666666666667 |
BASE/ticTacToeParallel/ymRGPw | 2.0905134899912965 | 1040.8666666666666 | 497.9 |
BASE/nonogram_10x10_1/0Xc62g | 2.0907859036090786 | 25.143199680298387 | 12.025717045870948 |
BASE/simultaneousWin2/PfjRjw | 2.0922044115632277 | 1018.0666666666667 | 486.6 |
DRESDEN/brain_teaser_extended/ZDp94A | 2.09444938893351 | 3216.1666666666665 | 1535.5666666666666 |
DRESDEN/peg/Vo31eg | 2.1042754720543804 | 742.9 | 353.0431304579695 |
STANFORD/duidoku/3SoMaA | 2.1051085978595427 | 161.84508732169044 | 76.88206085246776 |
DRESDEN/tictactoe-init1/3ltIBQ | 2.1362004628973597 | 3015.0333333333333 | 1411.4 |
BASE/brain_teaser_extended/ZDp94A | 2.145301019848668 | 3260.5 | 1519.8333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.1475280004873887 | 587.4333333333333 | 273.53931273539314 |
DRESDEN/peg_bugfixed/u_B7MA | 2.1607313804327015 | 752.3666666666667 | 348.2 |
BASE/tictactoe-init1/7M19vA | 2.1735467980295566 | 2941.5333333333333 | 1353.3333333333333 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 2.1747125454322944 | 1.188864304349262 | 0.5466765282824709 |
STANFORD/tictactoe5/WFRReg | 2.1762258460851114 | 2597.8333333333335 | 1193.7333333333333 |
DRESDEN/cubicup_3player/awDtsQ | 2.19057226705796 | 398.0867304423186 | 181.72727575747476 |
DRESDEN/tpeg/h-Scbg | 2.198850118953212 | 739.4 | 336.26666666666665 |
DRESDEN/amazons/dNB28A | 2.2034906379733963 | 12.115563839701771 | 5.498350494851545 |
DRESDEN/sum15/CsgWKg | 2.22175744414161 | 5081.233333333334 | 2287.0333333333333 |
BASE/untwistycomplex2/EDPPAQ | 2.2865167202189696 | 6404.533333333334 | 2801.0 |
BASE/lightsOn/MsXu3A | 2.2912933910180775 | 5243.166666666667 | 2288.3 |
BASE/chickentictactoe/DSlZCA | 2.3143173474739234 | 2647.733333333333 | 1144.0666666666666 |
BASE/ticTacToeSerial/Amrwqw | 2.316186651896982 | 1115.1666666666667 | 481.46666666666664 |
STANFORD/untwistycorridor/EDPPAQ | 2.3448052345135446 | 6390.766666666666 | 2725.5 |
STANFORD/duikoshi/tpw1sw | 2.3453122321887676 | 1368.3333333333333 | 583.4333333333333 |
BASE/cubicup_3player/e2yA_g | 2.346526216147748 | 403.953201559948 | 172.14945172149453 |
DRESDEN/sat_test_20v_91c/dK7nVw | 2.3486766398158805 | 476.2174594180194 | 202.75990800306656 |
BASE/sum15/QZ07Kg | 2.355558286732625 | 5110.933333333333 | 2169.733333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 2.369795918367347 | 1645.0333333333333 | 694.1666666666666 |
STANFORD/tictactoe/ss1kyQ | 2.3880844021514274 | 2886.0 | 1208.5 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.4061895551257253 | 497.6 | 206.8 |
BASE/ticTacToe/JRFsaQ | 2.411021654636313 | 2894.8333333333335 | 1200.6666666666667 |
BASE/ticTacToeLarge/TZC0dg | 2.413484783790699 | 1676.8333333333333 | 694.7768407719743 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2.414705404966726 | 495.9 | 205.36666666666667 |
STANFORD/trifecta/ss1kyQ | 2.421660769570986 | 2920.2 | 1205.8666666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 2.4271444306038155 | 1234.0 | 508.4163861204627 |
DRESDEN/circlesolitaire/ruUilQ | 2.432940849984142 | 4091.233333333333 | 1681.6 |
DRESDEN/tictictoe/LAUtwg | 2.4712436846840613 | 2380.4666666666667 | 963.2666666666667 |
BASE/circlesolitaire/azuQFQ | 2.4805221045825587 | 4092.2 | 1649.7333333333333 |
DRESDEN/troublemaker02/iZLVuA | 2.4820824102791317 | 9336.766666666666 | 3761.6666666666665 |
BASE/asteroidsSerial/id2QkA | 2.497259496124031 | 744.4666666666667 | 298.1134591027265 |
DRESDEN/troublemaker01/C-lPWw | 2.500742865168124 | 11277.266666666666 | 4509.566666666667 |
BASE/troublemaker01/s3tlEQ | 2.5032651547827136 | 11027.133333333333 | 4405.1 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 2.503483309491731 | 380.40797280181323 | 151.9514715195147 |
STANFORD/tictactoe7/-bE9-A | 2.5046707077806087 | 2851.0666666666666 | 1138.3 |
BASE/snakeAssemblit/UO4sdg | 2.510554445632276 | 515.6828105729809 | 205.4059458738835 |
BASE/blocksWorld/SEdXLQ | 2.5369550325390224 | 6913.033333333334 | 2724.9333333333334 |
BASE/blocks/xIV5hQ | 2.540272277227723 | 6841.8 | 2693.3333333333335 |
BASE/troublemaker02/DI83KA | 2.540361401845301 | 9287.9 | 3656.133333333333 |
DRESDEN/Thief_Police/CX18rA | 2.5545391784604767 | 2466.8333333333335 | 965.6666666666666 |
DRESDEN/javastrike/whONTQ | 2.5572014925646798 | 278.9054427890544 | 109.06666666666666 |
DRESDEN/blocks/vg0DRw | 2.557470121996671 | 6862.033333333334 | 2683.133333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2.559634524392233 | 522.9333333333333 | 204.3 |
BASE/rubiksCube/9tNO9Q | 2.56317257871662 | 214.36666666666667 | 83.63333333333334 |
BASE/duplicateStateSmall/bCPAXw | 2.576532504207434 | 6021.7 | 2337.133333333333 |
BASE/numbertictactoe/rvJ-iQ | 2.578779069767442 | 2069.9 | 802.6666666666666 |
DRESDEN/statespacelarge/8-y5HQ | 2.596237128284092 | 3597.0 | 1385.4666666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 2.5997564961071418 | 2704.7 | 1040.3666666666666 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.604254734165034 | 2525.866666666667 | 969.9 |
BASE/withConviction/3Xm54A | 2.6152135082327947 | 1531.7666666666667 | 585.713809539682 |
DRESDEN/catch_me/ghGWrA | 2.6163652740248042 | 2517.4666666666667 | 962.2 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.6200315181229206 | 2493.8333333333335 | 951.8333333333334 |
DRESDEN/skirmish2/iPpWhQ | 2.6220027989049006 | 45.55300076643674 | 17.373360846701726 |
DRESDEN/chickentoetictac/cxYaRQ | 2.622632607670014 | 3891.2 | 1483.7 |
BASE/eotcitcit/V_9_bg | 2.6269937376742902 | 2530.9333333333334 | 963.4333333333333 |
DRESDEN/connectfoursuicide/M9CNQg | 2.6271420949647792 | 671.3 | 255.524815839472 |
BASE/firefighter/WJmoPw | 2.6287343744819127 | 2642.6666666666665 | 1005.3 |
BASE/alexChess/LNo83g | 2.6400310300422527 | 14.121565362198169 | 5.349014917439118 |
BASE/duplicateStateMedium/U163eQ | 2.6408008429926237 | 2088.4333333333334 | 790.8333333333334 |
DRESDEN/statespacesmall/h-NqjA | 2.6423051559988457 | 8548.033333333333 | 3235.0666666666666 |
BASE/stateSpaceSmall/Q7osKA | 2.6477547103096426 | 8736.266666666666 | 3299.5 |
DRESDEN/oisters_farm/pTQMLg | 2.662567160470822 | 2857.733333333333 | 1073.3 |
DRESDEN/skirmish/RjGQYQ | 2.6721555280326896 | 43.78248700519792 | 16.38470760623418 |
BASE/blocks2player/wnTLOQ | 2.6843150357995227 | 4686.366666666667 | 1745.8333333333333 |
BASE/duplicateStateLarge/dcjyuw | 2.6963386934721223 | 744.9085030498983 | 276.26666666666665 |
DRESDEN/statespacemedium/dVJZ_w | 2.706003825386347 | 5328.933333333333 | 1969.3 |
BASE/stateSpaceLarge/0Ge_CQ | 2.7076054823972053 | 3694.1666666666665 | 1364.3666666666666 |
BASE/blockerSerial/3eqDuw | 2.71124380737538 | 961.4333333333333 | 354.60969268715417 |
DRESDEN/blocks2player/3ev8nQ | 2.712510420503674 | 4663.8 | 1719.3666666666666 |
BASE/chickentoetictac/l57rfQ | 2.737562917008077 | 3897.8333333333335 | 1423.8333333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2.7403708406690144 | 415.03333333333336 | 151.4515215145152 |
DRESDEN/frogs_and_toads/GjchhQ | 2.752388824687883 | 223.14435223144352 | 81.07297567477508 |
BASE/asteroidsParallel/WauZiA | 2.753628628628629 | 733.5666666666667 | 266.4 |
DRESDEN/firefighter/WJmoPw | 2.7576774793937786 | 2765.766666666667 | 1002.9333333333333 |
BASE/asteroids/BKCmPQ | 2.761603064682481 | 1249.5333333333333 | 452.46666666666664 |
BASE/pacman2p/4LEdQg | 2.765381951858216 | 59.75471572352196 | 21.608123855501916 |
BASE/stateSpaceMedium/3bUoIw | 2.773638249464668 | 5526.566666666667 | 1992.5333333333333 |
DRESDEN/snake_2009/zIYLVw | 2.7804337473290595 | 462.6333333333333 | 166.38890740617293 |
BASE/snake_2009_big/-oRfVw | 2.7879717171717173 | 386.4 | 138.59538015399485 |
DRESDEN/snake_2009_big/DgC1NQ | 2.793289655172414 | 383.4 | 137.25751616558895 |
DRESDEN/lightsout/XgLpzQ | 2.7937857836408075 | 2781.4 | 995.5666666666667 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2.799012829845314 | 410.06666666666666 | 146.50403252682796 |
DRESDEN/blocksworldparallel/2JfVaw | 2.813064603203167 | 2605.366666666667 | 926.1666666666666 |
BASE/connect5/d-BVQg | 2.8141129007705965 | 17.909951819239076 | 6.364333077871447 |
BASE/lightsOnSimul4/9FeASw | 2.834471615046873 | 1061.5333333333333 | 374.50836610892605 |
DRESDEN/8puzzle/8fKC2w | 2.8409313725490195 | 2318.2 | 816.0 |
BASE/blocksWorldSerial/Wyg96Q | 2.842833127160846 | 2987.5333333333333 | 1050.9 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2.84802024965326 | 479.1 | 168.22211852543163 |
DRESDEN/aipsrovers01/qS47Mw | 2.8639599932191895 | 1126.3 | 393.26666666666665 |
DRESDEN/pentago_2008/hLjVpQ | 2.8705023436224075 | 390.56666666666666 | 136.06213126229125 |
DRESDEN/battlesnakes2011/93VtTw | 2.8711567671160454 | 724.0333333333333 | 252.17478252174783 |
DRESDEN/battlesnakes1509/-qZrLw | 2.871720116618076 | 722.3333333333334 | 251.53333333333333 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 2.874478405559479 | 76.69488700753283 | 26.681323073848308 |
STANFORD/buttonsandlights/eyhJpA | 2.874683470333866 | 9838.7 | 3422.5333333333333 |
STANFORD/nineboardtictactoe/y28P-A | 2.889009120420467 | 622.9666666666667 | 215.63333333333333 |
DRESDEN/pacman3p/rBnk8Q | 2.889123056042566 | 64.8268506482685 | 22.438244889806246 |
BASE/pacman3p/wW7UVQ | 2.8907749982267728 | 62.98320447880565 | 21.787653662924342 |
BASE/englishDraughts/jFkQxg | 2.893612614656143 | 256.6828878074795 | 88.70672131693826 |
BASE/pawnWhopping/Ypc_6Q | 2.897330850403476 | 777.9333333333333 | 268.5 |
BASE/nineBoardTicTacToe/wRmqqA | 2.904551201011378 | 612.6666666666666 | 210.93333333333334 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 2.9075291088411412 | 1375.7 | 473.15089497016766 |
BASE/tictactoe_3d_2player/IUC1rQ | 2.9084123771009285 | 139.8433594400933 | 48.08236979774083 |
BASE/incredible/8Qh-6Q | 2.911873434829272 | 2441.8 | 838.5666666666667 |
DRESDEN/grid_game/U7_Yeg | 2.919963808418828 | 569.4143528549048 | 195.00733235568592 |
BASE/snake_2009/7l-qAQ | 2.924353477665753 | 472.3175894136862 | 161.51179842687642 |
BASE/switches/tPUoCg | 2.9276591703989747 | 6166.333333333333 | 2106.233333333333 |
BASE/skirmish/Y_psYQ | 2.9346343352566766 | 23.63018264231436 | 8.052172755706396 |
BASE/aipsrovers01/4C4jsw | 2.936783489252701 | 1171.9333333333334 | 399.05336488783706 |
DRESDEN/gt_chicken/CeuKtw | 2.955494351995288 | 476.0507983067231 | 161.0731544742543 |
BASE/blocker/dIWtxg | 2.9592700258397935 | 3053.9666666666667 | 1032.0 |
BASE/tictactoe_3d_small_6player/g_9lww | 2.96384000444741 | 592.3333333333334 | 199.8533431104593 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.983417085427136 | 791.6 | 265.3333333333333 |
DRESDEN/toetictac/mJtxCA | 2.9835359286044003 | 4524.333333333333 | 1516.4333333333334 |
BASE/mummymaze2p/vpjDdA | 2.9899827810700397 | 45.21826057980673 | 15.123251165889407 |
DRESDEN/mummymaze2p/k-8edg | 2.9907285355794335 | 45.4242484836366 | 15.188355594044566 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 3.004237978810106 | 614.3666666666667 | 204.5 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.00758990825688 | 797.6333333333333 | 265.20681265206815 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.007949293094073 | 491.6666666666667 | 163.45576961535897 |
DRESDEN/tttcc4/sAvtFg | 3.024664130044507 | 91.03632122625791 | 30.097993467102192 |
BASE/coloredtrails/EZvr7g | 3.0280440414507774 | 1558.4333333333334 | 514.6666666666666 |
DRESDEN/lightsout2/LFtfyQ | 3.0320628952315847 | 2956.766666666667 | 975.1666666666666 |
STANFORD/selectivesukoshi/3xmXYg | 3.0331258660321367 | 404.08653044898506 | 133.22445170321978 |
DRESDEN/cube_2x2x2/fp-34Q | 3.033797933918177 | 1233.4 | 406.55311489617014 |
STANFORD/jointbuttonsandlights/qAKuIQ | 3.045687074188453 | 4306.5 | 1413.9666666666667 |
BASE/blocksWorldParallel/RseaAQ | 3.0484960452629752 | 1760.1 | 577.3666666666667 |
DRESDEN/stratego/Z2wovg | 3.057851588064078 | 675.3774874170861 | 220.86666666666667 |
BASE/toetictac/mTThmg | 3.0721950784195617 | 4590.166666666667 | 1494.1 |
BASE/catcha_mouse/cHv4dw | 3.076074421018296 | 1152.5666666666666 | 374.68751041631947 |
DRESDEN/logistics/fPru1Q | 3.07693175469143 | 883.5333333333333 | 287.14752349843343 |
STANFORD/multiplesukoshi/vLSQPg | 3.097227170672782 | 380.3539882003933 | 122.80467890825474 |
DRESDEN/blocker/S815zQ | 3.118884698275862 | 3859.1 | 1237.3333333333333 |
DRESDEN/catcha_mouse/cHv4dw | 3.1204954954954953 | 1200.7666666666667 | 384.8 |
BASE/tttcc4/8Bs2lg | 3.135183700171693 | 91.83027232425586 | 29.290236587804067 |
BASE/ticTicToe/c1OobQ | 3.137158311600502 | 2165.266666666667 | 690.2 |
BASE/slidingpieces/uFJWEw | 3.143741450188052 | 798.6666666666666 | 254.0497300179988 |
DRESDEN/slidingpieces/s9_44g | 3.1467475477542597 | 812.7 | 258.26666666666665 |
DRESDEN/capture_the_king/EQ229Q | 3.1603795904418917 | 45.845272206303726 | 14.506254990684056 |
BASE/connect4/50bOyw | 3.1620502679938745 | 550.6 | 174.12752908236394 |
DRESDEN/gt_prisoner/huCp4w | 3.162466428795081 | 644.6785107163095 | 203.85307646156923 |
STANFORD/tictictoe/rpt_Dw | 3.1848126608828298 | 2227.0333333333333 | 699.2666666666667 |
BASE/ttcc4/Le0qjQ | 3.191933541882131 | 94.36854381872709 | 29.564695686954202 |
BASE/hodgepodge/9yjRkw | 3.1938430650828176 | 3181.6 | 996.1666666666666 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 3.214295696576157 | 146.55689620691953 | 45.59533721898418 |
DRESDEN/connect4/T0-rHQ | 3.227595454545454 | 565.6333333333333 | 175.24914175249143 |
DRESDEN/CephalopodMicro/H3XQfg | 3.269363088949803 | 83.94707901489653 | 25.676890798281548 |
BASE/ttcc4_2player_small/Cv72TA | 3.283998389531958 | 217.46666666666667 | 66.22008931547023 |
BASE/tictactoe_3d_6player/d7KSwg | 3.2890481351452774 | 141.2003865764655 | 42.93047130191321 |
BASE/checkersTorus/2vm1EQ | 3.303079076277117 | 63.78086574027792 | 19.309518260811664 |
STANFORD/madness/UO_B3A | 3.303214321365587 | 7.61987156024357 | 2.306805074971165 |
DRESDEN/chinesecheckers1/Y-ftaA | 3.3057381417658553 | 620.2459918002734 | 187.62707909736343 |
BASE/gt_prisoner/klthDw | 3.3064270169394203 | 511.76666666666665 | 154.7793627516331 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 3.3156461254890512 | 300.8799413372442 | 90.74549271836571 |
BASE/maze/cCX3qQ | 3.3246982307225927 | 6032.0 | 1814.3 |
BASE/gt_chicken/gmepTQ | 3.335078003120125 | 427.5 | 128.18290894547394 |
DRESDEN/brawl/2kXtfQ | 3.339029477333957 | 39.496050394960506 | 11.828601892576303 |
BASE/nineBoardTicTacToePie/B8LzeQ | 3.344694680851064 | 764.9666666666667 | 228.71046228710463 |
BASE/conn4/va9Y7A | 3.3605671091191174 | 1299.6 | 386.7204426519116 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 3.3683496181308206 | 128.66237792073596 | 38.197453503099794 |
BASE/brawl/6Ymo_Q | 3.372214766378268 | 39.309747484842426 | 11.656952539550375 |
BASE/mummyMaze2p_2007/YGA3Vw | 3.376578645235362 | 98.00393215368723 | 29.02462594554967 |
DRESDEN/tictactoex9/rFkD4w | 3.390223663444927 | 806.7333333333333 | 237.95873470884302 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 3.392696546262366 | 12.807291839925485 | 3.7749594357429053 |
DRESDEN/point_grab/r5DPmQ | 3.412356571088697 | 4589.733333333334 | 1345.0333333333333 |
BASE/lightsOut/5P1ZBw | 3.4178533688924673 | 2264.1 | 662.4333333333333 |
STANFORD/skirmish/w4V6Vw | 3.419446943777956 | 8.164489469474807 | 2.3876637373569887 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 3.420630213893172 | 5767.866666666667 | 1686.2 |
STANFORD/3puzzle/41ibjA | 3.4505675330781114 | 3425.0333333333333 | 992.6 |
DRESDEN/connect5/1kYzSg | 3.4578275134366896 | 20.620960756879207 | 5.963559685018615 |
BASE/tictactoe_orthogonal/WRzlVw | 3.4700433633541174 | 4507.933333333333 | 1299.1 |
BASE/eightPuzzle/vLrgFg | 3.480725984838526 | 1765.1333333333334 | 507.1164294523516 |
BASE/qyshinsu/R08Lzw | 3.489657041297897 | 210.4122921041229 | 60.29598026798214 |
BASE/breakthroughSmallHoles/bxclRw | 3.5053710611046247 | 1100.7666666666667 | 314.0228659044698 |
BASE/tictactoex9/BI26ow | 3.5213590864232343 | 832.5666666666667 | 236.43333333333334 |
BASE/connectFourSuicide/c8p9Kw | 3.5314429012345685 | 610.2129929002367 | 172.7942401919936 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 3.549905985584456 | 4531.1 | 1276.4 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.5587493684667773 | 101.73953612370035 | 28.58856457417033 |
DRESDEN/skirmish3/3LU8Nw | 3.5782902902542086 | 59.992001066524466 | 16.76554896340244 |
BASE/gt_staghunt/xPjLRA | 3.580371115582383 | 533.8155394820172 | 149.09503016566114 |
BASE/hidato37/pBrqxw | 3.5928229472770714 | 63.21647560650493 | 17.595210377515382 |
STANFORD/threepuzzle/41ibjA | 3.5986515017367022 | 3522.6 | 978.8666666666667 |
STANFORD/8puzzle/jNiGtw | 3.5986890508996052 | 1793.4666666666667 | 498.3666666666667 |
DRESDEN/4pttc/9pB9AQ | 3.6198207896857375 | 299.4 | 82.71127699280191 |
BASE/checkersTorusNoKings/pwb6oQ | 3.620909360824774 | 83.4638845371821 | 23.050531294760333 |
STANFORD/checkersonabarrelnokings/Zrevdw | 3.6371782339524272 | 86.14369501466275 | 23.68421052631579 |
BASE/hitori/S8Gsyg | 3.641413642270174 | 1.0541920606160435 | 0.28950077200205865 |
BASE/cephalopodMicro/9l2D3g | 3.6553067185978576 | 76.92307692307692 | 21.044219499200853 |
STANFORD/eightpuzzle/W_aWbA | 3.6791649498695236 | 1785.8666666666666 | 485.4 |
DRESDEN/knightthrough/J7Fc_Q | 3.6882291567864933 | 124.53760789149199 | 33.76623376623377 |
BASE/checkersBarrelNoKings/rnKNeg | 3.691930952255424 | 88.76370787640413 | 24.04262404262404 |
BASE/gt_coordination/IVMOzA | 3.693239482730398 | 752.0666666666667 | 203.63333333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 3.6943394968595387 | 130.42898570047666 | 35.3050892619238 |
DRESDEN/knightwar/7hhAqg | 3.6988636363636367 | 564.1811939602013 | 152.5282490583647 |
BASE/mineClearingSmall/frsbvw | 3.727992379216264 | 255.14965668955404 | 68.44157142381127 |
DRESDEN/tictactoe_3player/ESLQQQ | 3.7399433756805807 | 961.6 | 257.11619225384976 |
BASE/chess_200/XsTpYA | 3.749758922558923 | 12.266666666666667 | 3.2713214155899943 |
BASE/snake2p/I3wWPQ | 3.7576265504525646 | 1120.9 | 298.3 |
DRESDEN/breakthrough/z4hK7Q | 3.760875534828702 | 133.51108148641893 | 35.5 |
DRESDEN/hitori/S8Gsyg | 3.76382989537273 | 1.1108932888976017 | 0.2951497064900141 |
DRESDEN/3pttc/uwYBZw | 3.786917095050902 | 834.8333333333334 | 220.45196986867543 |
STANFORD/rainbow/_4qNSQ | 3.808924025190942 | 5685.2 | 1492.6 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 3.8242450045829512 | 139.03333333333333 | 36.35575993868506 |
BASE/four_way_battle/xSOQXA | 3.8285123224797957 | 6.352479462533675 | 1.659255326209597 |
DRESDEN/pawntoqueen/f_x6Aw | 3.8299769191927133 | 4.813597583242041 | 1.2568215644121052 |
DRESDEN/battle/8oAvhQ | 3.8415143043476276 | 3.6370850416611558 | 0.9467841984982044 |
BASE/breakthroughSmall/HJ0tIA | 3.842663739480425 | 350.0549981667278 | 91.09696343455218 |
BASE/knightazons/apnJBQ | 3.8431851754385966 | 48.63333333333333 | 12.654434047087815 |
BASE/choicethroughalt/tt71Lg | 3.858933919737792 | 94.58108378324336 | 24.509640680675346 |
DRESDEN/knightazons/02I8BQ | 3.8625507243910944 | 48.31400773024124 | 12.508316699933467 |
BASE/pawnToQueen/-O1_JA | 3.8656229798716324 | 4.955763985897692 | 1.282009138424115 |
BASE/beatMania/qUHwvQ | 3.8773306052332193 | 1893.3666666666666 | 488.3170560981301 |
DRESDEN/3pffa/0YrmQw | 3.922824558662709 | 837.0 | 213.36666666666667 |
BASE/battle/8oAvhQ | 3.9352340098050393 | 3.657887736100027 | 0.9295222919363941 |
DRESDEN/grid_game2/kypTYQ | 3.9477431464908146 | 1676.1 | 424.57169522031865 |
DRESDEN/four_way_battle/xSOQXA | 3.957875658026254 | 6.530285866595588 | 1.649947201689546 |
BASE/breakthroughWalls/vOZaYA | 3.968247394711422 | 123.90442230146299 | 31.223966143490287 |
STANFORD/dualrainbow/G3OnRQ | 3.97203405180221 | 3654.9333333333334 | 920.1666666666666 |
BASE/breakthroughSuicideSmall/XSbJog | 3.975790856102004 | 363.7 | 91.47865498050454 |
STANFORD/bestbuttonsandlights/nm0wEA | 4.017123753091789 | 4926.466666666666 | 1226.3666666666666 |
BASE/majorities/ibJzSQ | 4.061983371962808 | 404.0730617958803 | 99.47678874929183 |
BASE/breakthrough/TGxk-g | 4.0665211836943 | 128.6033258906255 | 31.624900026659557 |
BASE/futoshiki4/BaCwSw | 4.070149261992619 | 1397.1 | 343.25522482583915 |
BASE/3pConnectFour/PqXOFQ | 4.076795994993742 | 760.0 | 186.4209052729818 |
DRESDEN/knightstour/cGISAA | 4.090227911333125 | 2183.5 | 533.8333333333334 |
STANFORD/chinook/osFbPA | 4.1020982253227425 | 88.87037654115295 | 21.664614463043694 |
STANFORD/multiplebuttonsandlights/cK70Yg | 4.103275238763287 | 5069.733333333334 | 1235.5333333333333 |
BASE/gt_centipede/9fRMpw | 4.120146977260122 | 1980.9666666666667 | 480.8 |
BASE/futoshiki5/TJ4BZg | 4.124670054363376 | 800.7666666666667 | 194.14078122916945 |
BASE/gt_dollar/TGjqRw | 4.1397159177071225 | 2729.866666666667 | 659.4333333333333 |
BASE/futoshiki6/JmvXNA | 4.14784902247105 | 552.2815906136462 | 133.1489134782029 |
BASE/shmup/ssTNlg | 4.150539956803456 | 640.5666666666667 | 154.33333333333334 |
DRESDEN/ghostmaze2p/HY0UwA | 4.152266819864175 | 134.02886570447652 | 32.278481012658226 |
BASE/golden_rectangle/_nYzfw | 4.155894303797469 | 437.6666666666667 | 105.3122708791575 |
BASE/breakthroughSuicide/wZDpIg | 4.161219307450158 | 132.1 | 31.74550299800133 |
STANFORD/ttcc4/Cx9SGw | 4.163412889561391 | 92.91475038325669 | 22.316967557124777 |
STANFORD/triplesukoshi/Iu9mbA | 4.17169554912055 | 1296.4333333333334 | 310.7689231076892 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 4.174604884090359 | 5168.3 | 1238.0333333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 4.1826202517627085 | 3776.766666666667 | 902.9666666666667 |
BASE/breakthroughHoles/nZk0Sg | 4.191116678706899 | 129.46235125495818 | 30.889703432189272 |
BASE/chinook/XQh0IQ | 4.228442481068143 | 95.77765188122771 | 22.65081109889744 |
BASE/tictactoe_3player/GtM71g | 4.236053403891737 | 853.7333333333333 | 201.5397946940408 |
BASE/ghostMaze2p/W-NU-w | 4.253161531672919 | 130.28697130286972 | 30.632970399227517 |
BASE/knightfight/SJRkAg | 4.265484714296251 | 51.92467922012998 | 12.173218918379565 |
DRESDEN/knightfight/4_Ly4w | 4.269295223446791 | 51.59312091721104 | 12.084692722551434 |
DRESDEN/ggp-course2013_michal13/jWKddg | 4.278457486878666 | 461.9 | 107.95946936870875 |
BASE/snakeParallel/RCVNtw | 4.312829637160831 | 2262.366666666667 | 524.5666666666667 |
BASE/hidato19/rRHSmA | 4.315470417070805 | 593.213559548015 | 137.46208459718008 |
BASE/skirmishNew/sibw2g | 4.317245006396579 | 23.77384876635701 | 5.506717531929009 |
STANFORD/alquerquezero/uVgA_A | 4.4006530126582275 | 289.7 | 65.8311389620346 |
BASE/bomberman2p/4CClwA | 4.427761896707525 | 126.18738126187381 | 28.49913437208683 |
DRESDEN/bomberman2p/x4h6jQ | 4.4579728318530965 | 128.24101846297407 | 28.766666666666666 |
BASE/point_grab/V_osUg | 4.472140762463343 | 3355.0 | 750.2 |
BASE/ttcc4_2player/_aH_Mw | 4.501095664890277 | 93.53860508514113 | 20.781296832850433 |
STANFORD/dualhunter/1rPZjQ | 4.5338808962110875 | 1550.2333333333333 | 341.9219359354688 |
BASE/speedChess/bPnisA | 4.589190462004853 | 23.206259364075244 | 5.0567217804983535 |
BASE/pegEuro/5awwhg | 4.632880823866612 | 310.9896336788774 | 67.12662067126621 |
BASE/ttcc4_2player_alt/ZEJvYA | 4.669983007947122 | 90.80306564478506 | 19.44398202097553 |
BASE/peg/fJHVWw | 4.746870019586918 | 317.3227559081364 | 66.84884030925086 |
STANFORD/breakthrough/d5j0cQ | 4.7489810017574685 | 900.6333333333333 | 189.64770189647703 |
BASE/gt_attrition/kD_SCA | 4.768608308216486 | 1.1793998165378063 | 0.24732578989674148 |
STANFORD/platformjumpers/HEQskA | 4.791170259030657 | 25.594028060119307 | 5.3419157901722025 |
BASE/chineseCheckers2/eCMR3Q | 4.802915747273894 | 499.03333333333336 | 103.90216268452798 |
STANFORD/hunter/14dD-g | 4.874033712010875 | 2230.9333333333334 | 457.7180760641312 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 4.892357073079965 | 1.0745685444480626 | 0.21964229683087544 |
BASE/chineseCheckers3/-1rZdQ | 4.902812606592259 | 362.22125929135694 | 73.88029858704346 |
DRESDEN/checkers-mustjump/HUr33w | 4.985052802599513 | 1.1372867587327375 | 0.2281393605579637 |
BASE/chineseCheckers4/avfBcQ | 5.076212637931937 | 295.9037429590374 | 58.29222770297294 |
DRESDEN/Runners/3bOCQw | 5.083236016409676 | 1197.7 | 235.6176254916339 |
BASE/tron_10x10/7ZTgDg | 5.11852549441679 | 1268.2 | 247.76666666666668 |
STANFORD/multipletictactoe/_bkafQ | 5.189810810933551 | 807.3730875637478 | 155.56888622275545 |
BASE/hex/T1MK8g | 5.264066231201024 | 128.05812945803612 | 24.326846174353506 |
BASE/amazons_8x8/7SOsIw | 5.305307311352532 | 50.09833005566481 | 9.44305901911887 |
STANFORD/hex/MTqWcw | 5.3282851598173515 | 129.63333333333333 | 24.32927845359107 |
BASE/escortLatch/mX9BjQ | 5.331632834055971 | 450.8333333333333 | 84.55821084558211 |
BASE/hexPie/48CH6Q | 5.367790974854549 | 129.69135390973935 | 24.161029093211585 |
BASE/knightsTourLarge/M8jgLA | 5.406444340505145 | 577.8333333333334 | 106.87862427514497 |
STANFORD/knightstour/cEwgNA | 5.438858194594163 | 1513.5333333333333 | 278.2814479034731 |
DRESDEN/mimikry/GJEhwA | 5.445553184552922 | 812.8395720142662 | 149.26666666666668 |
BASE/chineseCheckers6/rREH3A | 5.448536900621831 | 241.85860471317622 | 44.38964241676942 |
BASE/amazonsSuicide_10x10/XIbQkg | 5.459615790408921 | 21.75651362697408 | 3.9849898714840766 |
BASE/quartoSuicide/-23jUg | 5.509104140973078 | 21.93260224659178 | 3.9811558622520073 |
BASE/knightwar/DVGY4Q | 5.533496669193879 | 167.95546963535764 | 30.352502165656027 |
BASE/knightsTour/mvtVIg | 5.5434320201777565 | 1538.3333333333333 | 277.5055827750558 |
STANFORD/pilgrimage/ObRZnQ | 5.575267663599182 | 242.23333333333332 | 43.44783926964982 |
DRESDEN/quarto/OQzRYQ | 5.5855211079888525 | 22.37240736425076 | 4.0054288457082325 |
STANFORD/knightstourmedium/x1wu8Q | 5.6006585256607515 | 1819.9666666666667 | 324.95583480550647 |
BASE/knightThrough/gcwFjA | 5.663418464132108 | 65.31591575579846 | 11.532948901703277 |
BASE/amazons_10x10/Bun8dA | 5.67421301338968 | 21.24047008689283 | 3.7433332229105245 |
DRESDEN/quartosuicide/WIU1oQ | 5.697238861215871 | 23.111762355135205 | 4.056660238079404 |
STANFORD/freeforall/Lfp40Q | 5.730963231483493 | 473.6017598826745 | 82.63912029323559 |
STANFORD/knightstourbig/TQUI2g | 5.812993056957599 | 445.05183160561313 | 76.56156256249584 |
BASE/quarto/EwBMVQ | 5.829978257222119 | 22.362194227821103 | 3.8357251504530123 |
BASE/checkers-mustjump-torus/uSApKQ | 6.01395766175933 | 8.773387391578877 | 1.458837571698551 |
BASE/chineseCheckers1/gqtwHw | 6.073526394304254 | 802.8399053364888 | 132.1867813218678 |
BASE/max_knights/2fq3Ag | 6.21361765586562 | 6.8869148617626506 | 1.1083583257269527 |
DRESDEN/backgammon/mqCW0Q | 6.252629019513859 | 308.74608359442703 | 49.3786026055376 |
BASE/3pttc/0sol9g | 6.42525167059256 | 137.92413839077395 | 21.465951134962168 |
DRESDEN/max_knights/hCipiA | 6.570084012643488 | 6.854100815172185 | 1.04322879311469 |
BASE/4pttc/AL1k2Q | 6.621544026687915 | 94.75403279562725 | 14.309960398016573 |
BASE/2pttc/unkkYA | 6.64240733361613 | 206.38624091727218 | 31.071000399627014 |
BASE/sheepAndWolf/g4THrg | 6.733385093526745 | 132.45342132453422 | 19.671148981493808 |
DRESDEN/golden_rectangle/1uloXw | 6.84594246858438 | 439.25202493250225 | 64.16238917405506 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.722154194546628 | 9.89076861595844 | 1.2808302407304017 |
BASE/2pffa/6oHijA | 8.206858892111354 | 580.7139762007934 | 70.7595907075959 |
BASE/3pffa/pR0dzA | 8.237769055092881 | 512.7162427919069 | 62.239696131676276 |
BASE/chomp/-LcqYQ | 8.319635028248587 | 1865.2 | 224.19252691576946 |
BASE/amazonsTorus_10x10/Uxc08g | 8.339212633065706 | 12.781254160564506 | 1.532669176690101 |
DRESDEN/chomp/-LcqYQ | 8.38685327574885 | 1844.7666666666667 | 219.9593346888437 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 8.444260616740086 | 638.8 | 75.64901522977972 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 8.475313482791796 | 10.369927211087845 | 1.2235449735449735 |
BASE/kitten_escapes_from_fire/uW-YiA | 8.47845071830939 | 634.8455051498283 | 74.8775367389783 |
BASE/4pffa/Q3ADlg | 8.60832106887831 | 466.36890873941735 | 54.17652350648053 |
BASE/2pffa_zerosum/o0_uZA | 8.802579703483568 | 557.3480883970534 | 63.31644894694748 |
DRESDEN/cylinder-checkers/clOO3Q | 8.872164628743578 | 2.4587985114300905 | 0.27713625866050806 |
BASE/othello-comp2007/86ZoMw | 9.141580791415809 | 20.064660200646603 | 2.1948786165613567 |
DRESDEN/checkers-newgoals/IJOqXQ | 9.28593548861672 | 2.5488248924197285 | 0.274482295891915 |
BASE/biddingTicTacToe/8mESVw | 9.343186128691984 | 1180.9 | 126.39157389507366 |
BASE/checkers-mustjump/T-8UuQ | 9.417100180182706 | 11.689090182496336 | 1.2412621676357223 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 9.440837835691239 | 2113.0333333333333 | 223.8184121058596 |
DRESDEN/bidding-tictactoe/yW5vTA | 9.535762562611085 | 1311.2666666666667 | 137.51041493084486 |
BASE/cylinder-checkers/hlldmw | 9.65870829507193 | 2.7548209366391183 | 0.2852162890191729 |
BASE/othelloSuicide/B442jg | 10.556735631746454 | 19.614372772986112 | 1.8579960185799602 |
BASE/god/qF06gw | 10.694308331114177 | 38.59099543439864 | 3.608554591802953 |
DRESDEN/god/2EDD5w | 10.823364738816942 | 36.72598813570619 | 3.3932135728542914 |
BASE/othelloHoles/c0qAzw | 10.844067232484607 | 20.635713097021135 | 1.9029495718363463 |
DRESDEN/Goldrush/VeWczQ | 12.950837971006063 | 542.0819306023133 | 41.856900056653444 |
BASE/queens08lg/Ru7eqQ | 13.535992715756135 | 569.4666666666667 | 42.070550614569804 |
BASE/colonelBlotto/jip21A | 14.172366156903614 | 5.098640362569982 | 0.3597592883307169 |
DRESDEN/gt_ultimatum/pAiiQw | 14.52606165369322 | 334.7776814879008 | 23.046692866182642 |
DRESDEN/crossers3/xiPTxg | 14.594454840230263 | 47.428590474285905 | 3.2497678737233056 |
BASE/crossers3/O0rORg | 14.623178595397777 | 47.47942558224769 | 3.246860815690952 |
BASE/gt_ultimatum/GE-uOA | 14.782151196172249 | 308.7 | 20.883293365307754 |
DRESDEN/racetrackcorridor/O0DoTA | 15.227873340961098 | 887.1 | 58.25501566353396 |
DRESDEN/hallway/0H4l-Q | 15.462394853625822 | 271.31524565028997 | 17.546780315642273 |
BASE/hallway/ckCJOw | 15.730776524283492 | 269.98200119992 | 17.162662045522712 |
BASE/queens06ug/7Lq3tw | 15.745601400685445 | 1173.6666666666667 | 74.53933557695511 |
BASE/racetrackcorridor/_RkdUg | 16.13180125 | 945.8 | 58.62953462806889 |
BASE/roshambo2/KNPokQ | 16.754886677288017 | 5258.066666666667 | 313.8228725709143 |
DRESDEN/roshambo2/jgSlkQ | 17.084347115590823 | 5310.6 | 310.84594360375974 |
DRESDEN/smallest/9kaGFw | 18.02182615637184 | 589.580347321756 | 32.7147949495286 |
DRESDEN/smallest_4player/ADDROA | 18.811316008062278 | 720.2093263557881 | 38.28596181400153 |
BASE/reversiSuicide/9OxJlg | 18.995395709251568 | 36.597560162655824 | 1.9266542652139251 |
BASE/smallest_4player/ADDROA | 19.80337277726856 | 719.9666666666667 | 36.35575993868506 |
BASE/reversi/d8UMeA | 20.430183854273977 | 36.76176509798694 | 1.7993849375122686 |
BASE/copolymer_4_pie/IN5_jA | 20.576196054421768 | 1008.2 | 48.9983667211093 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 20.76162338760943 | 621.1126295790141 | 29.916380717593363 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 20.979651328502417 | 578.6333333333333 | 27.58069351453982 |
BASE/copolymer_4/2LDVhQ | 21.74678837879796 | 1088.9333333333334 | 50.073294243070364 |
BASE/pancakes88/l2Xaig | 22.2866929567311 | 25.24394711426383 | 1.1326914748309291 |
BASE/ad_game_2x2/D0aWqg | 23.431313895006742 | 0.6245685546168765 | 0.02665529374133703 |
BASE/queens08ug/kJ_ZFQ | 24.851816216216218 | 919.3333333333334 | 36.99260147970406 |
BASE/dotsAndBoxesSuicide/jzQbLw | 26.2919192103265 | 769.0666666666667 | 29.251066098081022 |
BASE/kalaha5x2x3/WviNsw | 26.516555759027835 | 435.5376308246117 | 16.42512077294686 |
BASE/dotsAndBoxes/EHwA_w | 26.86835042006536 | 789.1403619879337 | 29.37062937062937 |
BASE/wallmaze/uxNQ9g | 30.385483992467048 | 716.3333333333334 | 23.57485348961108 |
DRESDEN/quad/JPe6fg | 33.72695848409991 | 181.39395353488217 | 5.3783074931111186 |
BASE/quad/tw-Ufg | 34.57736302297717 | 185.07780999033622 | 5.352571561554573 |
BASE/queens31lg/0gID-A | 35.37911515777548 | 37.386291693045884 | 1.0567333729608348 |
DRESDEN/quad_7x7/q-JOXg | 37.369808839071645 | 654.3448551714943 | 17.509986684420774 |
DRESDEN/quad_5x5_8_2/JRTLJg | 38.03258426966292 | 225.0 | 5.915979792608349 |
BASE/quad_7x7/q-JOXg | 38.33192024714636 | 652.8115729475684 | 17.03049491751375 |
BASE/queens12ug/u6Bkmg | 38.58822181993412 | 492.183593880204 | 12.754762221926201 |
BASE/queens16ug/gT-ylw | 42.30314602368866 | 277.6333333333333 | 6.562947662990972 |
BASE/battlebrushes/arCwyA | 42.63031472776516 | 129.17847025495752 | 3.0302021244713795 |
DRESDEN/nim4/F5YAYg | 42.94907555555556 | 1352.4 | 31.488454233447737 |
BASE/nim4/twk16w | 44.316444680851056 | 1387.3333333333333 | 31.305158690511874 |
BASE/skirmishZeroSum/zh4hcw | 44.9465594365661 | 20.71952031978681 | 0.4609812314784327 |
BASE/nim3/1OwUqw | 45.31197455579247 | 1415.4333333333334 | 31.23751165578793 |
DRESDEN/nim3/sG_axA | 45.487095032397406 | 1403.3333333333333 | 30.851241046143596 |
DRESDEN/nim2/z5_exA | 46.64478608058609 | 1413.6666666666667 | 30.30706720841937 |
BASE/nim1/hin2Qw | 47.34796703580657 | 1424.3666666666666 | 30.082952993303795 |
DRESDEN/nim1/M9BALA | 47.49989333333333 | 1400.2666666666667 | 29.479364444888578 |
BASE/nim2/eF2Qqw | 47.750683 | 1431.9 | 29.98700563089328 |
BASE/kalaha6x2x4/XS81Mg | 53.62161754839009 | 245.0421624504216 | 4.569839062189549 |
DRESDEN/small_dominion/yB5GJA | 54.33562130703274 | 21.624683459949352 | 0.39798355001326613 |
BASE/racer4/0vs7Ww | 57.51936438283302 | 15.956916325920016 | 0.27741816164231553 |
BASE/checkers-newgoals/0XkFiA | 58.989997571995104 | 26.060585863298563 | 0.4417797412432944 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 63.45414185185185 | 378.46666666666664 | 5.964412339706418 |
DRESDEN/snake_2008/E56l3A | 64.83983093937528 | 330.07799480034663 | 5.090667110297788 |
BASE/snake_2008/i6K26g | 65.2044676942141 | 332.0889303689877 | 5.0930395126660235 |
BASE/snake_2008_tweaked/bX0NJQ | 66.30122149122808 | 334.03333333333336 | 5.038117335101094 |
BASE/hanoi/iGLsJg | 75.78504643785752 | 1618.0333333333333 | 21.35029810478633 |
DRESDEN/hanoi/RQ0jiA | 77.89585754276827 | 1668.4 | 21.418340494986843 |
DRESDEN/checkers/jIDMIg | 78.7930794932019 | 2.249495517549373 | 0.028549404744911067 |
BASE/checkers/rOC3Xg | 80.53391107325187 | 60.94228975076636 | 0.7567283016384813 |
BASE/pancakes/yUgbXw | 82.17755459976107 | 762.0666666666667 | 9.273416206873629 |
BASE/pancakes6/QZTdnw | 84.78948557575757 | 777.1333333333333 | 9.165444607385682 |
DRESDEN/chinesecheckers2/06E6-Q | 87.59076333819176 | 320.85597146761774 | 3.6631256452096306 |
DRESDEN/guess/PhxGhg | 92.47153882749363 | 236.35878804039865 | 2.5560165975103732 |
BASE/guess/SPpk1A | 95.07612001957699 | 239.8760123987601 | 2.5229890781130697 |
DRESDEN/Travelers-Dilemma/PvZwYw | 95.47432097943238 | 25.90656321800806 | 0.27134587554269174 |
BASE/colonelBlottoVariant/X-n-KQ | 95.493338600892 | 43.414520374504384 | 0.45463401961421057 |
BASE/colonelBlottoVariant2/jruwGw | 97.59085457271365 | 42.67866066966517 | 0.43732233780026863 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 102.99194926936863 | 40.36393713813069 | 0.3919135177504164 |
DRESDEN/quad_5x5/JAEP5g | 105.06679550624172 | 211.0122321101223 | 2.008362690547526 |
BASE/quad_5x5/JAEP5g | 106.35425027220407 | 211.95253649756683 | 1.992892018467466 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 107.03382537896339 | 41.040577215860196 | 0.3834355828220859 |
BASE/checkersSmall/SYmq8w | 116.26063708665178 | 89.60645139791396 | 0.77073766016892 |
DRESDEN/satlike_20v_91c/yeuENQ | 117.53159905270894 | 41.254948930365636 | 0.3510115514710575 |
DRESDEN/pancakes88/aD3E7g | 118.23288925081431 | 1207.1 | 10.209511140671767 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 122.62980595593787 | 38.74314607479397 | 0.3159358018450651 |
DRESDEN/pancakes6/SZXMyQ | 123.26413302563117 | 1256.791440285324 | 10.195921631347462 |
DRESDEN/pancakes/hl9aiQ | 127.4492958199357 | 1317.6666666666667 | 10.33875203616901 |
DRESDEN/fizzbuzz/t1xHzQ | 129.94528205128205 | 841.0 | 6.471954862263525 |
BASE/blobwars/0XT15Q | 130.1538676607642 | 18.173345759552657 | 0.13962970203021588 |
DRESDEN/blobwars/ZaMluQ | 132.37057159026597 | 18.442691168148073 | 0.13932621840777998 |
DRESDEN/hanoi_6_disks/MeubgQ | 148.08948 | 296.1 | 1.999466808850973 |
DRESDEN/knightmove/97Ipcw | 149.4604991246198 | 377.17485500966603 | 2.5235755080355955 |
BASE/knightmove/jBaJEw | 150.86814439518685 | 374.9208359721343 | 2.485089463220676 |
BASE/hanoi_6_disks/MeubgQ | 157.07795035886497 | 295.7469502033198 | 1.8828037259694788 |
BASE/checkersTiny/Lr48cg | 167.31936249999998 | 131.7 | 0.7871175100849431 |
BASE/solitaireChineseCheckers/-ET6gw | 222.80685759587752 | 14.270141710435041 | 0.06404713869407884 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 224.86889428783795 | 16.940127134156487 | 0.07533335007407779 |
DRESDEN/racer/vk_ZBA | 225.80618323405105 | 18.137042830044262 | 0.08032128514056225 |
BASE/gt_tinfoil/Q8DyKg | 237.95597480083998 | 116.86277124095864 | 0.4911108928396032 |
BASE/racer/QQYQNw | 241.85490640197187 | 19.21923922456865 | 0.07946598855689765 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 247.96808439829604 | 17.804845580404685 | 0.07180297264306743 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 266.78881894484414 | 15.221156408206769 | 0.057053202110968475 |
DRESDEN/vacuumcleaner_random/_6AGDA | 304.1388101983003 | 15.097483752707882 | 0.04964010920824026 |
DRESDEN/chinesecheckers4/-oVNYg | 306.23923260529 | 228.2257258091397 | 0.7452530620180157 |
DRESDEN/kalaha_2009/gcC8uA | 541.488176519567 | 23.746877601998335 | 0.04385484047801776 |
BASE/kalaha_2009/dRiN3g | 543.0083230682159 | 24.037021007424176 | 0.04426639516610965 |
DRESDEN/hanoi7/51zz5Q | 545.7152037037038 | 153.83333333333334 | 0.28189306856265856 |
DRESDEN/hanoi7_bugfix/3gdnFw | 571.5614666666667 | 161.2 | 0.2820344081978001 |
BASE/hanoi7_bugfix/3gdnFw | 620.0922661037974 | 170.43826028995167 | 0.2748595162472514 |
DRESDEN/chinesecheckers3/QsCb2A | 989.6363454551516 | 378.68737708743043 | 0.3826530612244898 |
DRESDEN/twisty-passages/j7NPyg | 1250.3817139810742 | 64.50753032120485 | 0.051590270075063845 |
BASE/twisty-passages/DiZmmg | 1254.8614712842905 | 66.0644645178494 | 0.052646818815973044 |
BASE/crissrace/ERWGDA | 11691.724075864138 | 332.8889037032099 | 0.02847218267752406 |
DRESDEN/crissrace/KWb9bw | 12066.4992 | 337.6 | 0.027978288847854065 |
DRESDEN/crisscross/GsY16g | 14621.71445 | 811.0333333333333 | 0.05546773164711429 |
BASE/crisscross/ICagEg | 15333.020266666668 | 853.0666666666667 | 0.05563591854901524 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 2.489957172736629 | 0.0 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 198.62009199386708 | 0.0 |
DRESDEN/chinesecheckers6/yTbPDA | Infinity | 171.74376749766697 | 0.0 |
DRESDEN/farmers/S_ASnw | Infinity | 1.3449237329834345 | 0.0 |
BASE/amazonsTorus/soxT8g | Infinity | 0.016469851936031094 | 0.0 |
BASE/gt_two_thirds_2p/1APDGg | Infinity | 2.6462902318811814 | 0.0 |
BASE/amazons/RKKZjw | Infinity | 0.0837918610172332 | 0.0 |
BASE/amazonsSuicide/dE1QEQ | Infinity | 0.08896533317517274 | 0.0 |
Games with errors:
Game | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message |
BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | IllegalArgumentException: too many occurrences: 2147483765 |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | IllegalArgumentException: too many occurrences: 2147483765 |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |