Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
| BASE/queens08lg/Ru7eqQ | 1.0306884824538692E-4 | 0.024117306579201234 | 233.99220025999134 |
| BASE/colonelBlotto/jip21A | 0.005933390884483411 | 6.710071751262291 | 1130.9 |
| BASE/queens08ug/kJ_ZFQ | 0.01096055269683029 | 8.598188238906802 | 784.4666666666667 |
| BASE/queens06ug/7Lq3tw | 0.016293912501899644 | 25.168120380850922 | 1544.6333333333334 |
| DRESDEN/golden_rectangle/1uloXw | 0.03748958454293137 | 4.216047538425787 | 112.45916938870742 |
| BASE/racer/QQYQNw | 0.14172395110341995 | 216.49278357388087 | 1527.5666666666666 |
| DRESDEN/racer/vk_ZBA | 0.14549092873394234 | 218.14909854367315 | 1499.4 |
| DRESDEN/fizzbuzz/t1xHzQ | 0.4232446282477749 | 5021.6 | 11864.533333333333 |
| BASE/cittaceot/fDxhXg | 0.4607552519654595 | 238.32538915369489 | 517.249425019166 |
| BASE/racer4/0vs7Ww | 0.5536510800380895 | 368.2210592980234 | 665.0778307389754 |
| BASE/golden_rectangle/_nYzfw | 0.5594299231673858 | 63.04775234096438 | 112.7 |
| BASE/simultaneousWin2/PfjRjw | 0.7232473652548285 | 209.5247617143238 | 289.7 |
| BASE/nim2/eF2Qqw | 0.7283142389525369 | 4183.0 | 5743.4 |
| DRESDEN/nim2/z5_exA | 0.7349584816132858 | 4130.466666666666 | 5620.0 |
| BASE/nim4/twk16w | 0.7596526000374555 | 3245.0333333333333 | 4271.733333333334 |
| BASE/nim3/1OwUqw | 0.7606971582884545 | 3267.6 | 4295.533333333334 |
| DRESDEN/nim3/sG_axA | 0.7621743790484179 | 3271.1 | 4291.8 |
| DRESDEN/Runners/3bOCQw | 0.7679510591132276 | 8649.1 | 11262.566666666668 |
| DRESDEN/nim4/F5YAYg | 0.7885214237849343 | 3334.0 | 4228.166666666667 |
| DRESDEN/point_grab/r5DPmQ | 0.8015206317213579 | 7741.3 | 9658.266666666666 |
| BASE/point_grab/V_osUg | 0.8286169224339512 | 7996.733333333334 | 9650.7 |
| BASE/colonelBlottoVariant2/jruwGw | 0.9349647518884281 | 4080.4666666666667 | 4364.3 |
| DRESDEN/nim1/M9BALA | 0.9406605054104771 | 5798.2 | 6163.966666666666 |
| DRESDEN/pancakes6/SZXMyQ | 0.9860572341213055 | 11277.766666666666 | 11437.233333333334 |
| BASE/pancakes6/QZTdnw | 0.9977802939094014 | 11132.866666666667 | 11157.633333333333 |
| BASE/zhadu/DlA8iQ | 1.011023125462603 | 11.481629392971247 | 11.356445865387817 |
| BASE/nim1/hin2Qw | 1.013063909774436 | 5748.8 | 5674.666666666667 |
| BASE/firefighter/WJmoPw | 1.0237438673659278 | 4034.233333333333 | 3940.6666666666665 |
| DRESDEN/pancakes/hl9aiQ | 1.0312965015977282 | 11597.066666666668 | 11245.133333333333 |
| BASE/blockerSerial/3eqDuw | 1.0418933262571315 | 1047.0333333333333 | 1004.9333333333333 |
| DRESDEN/firefighter/WJmoPw | 1.0431155452118557 | 4063.7 | 3895.733333333333 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1.047561796672117 | 9439.3 | 9010.733333333334 |
| BASE/colonelBlottoVariant/X-n-KQ | 1.0509243229665235 | 5159.933333333333 | 4909.9 |
| BASE/pancakes/yUgbXw | 1.0562389612647092 | 11342.633333333333 | 10738.7 |
| BASE/hidato37/pBrqxw | 1.1444241133991186 | 87.73040898636712 | 76.65900076659001 |
| DRESDEN/pancakes88/aD3E7g | 1.1674481596977215 | 10257.9 | 8786.6 |
| BASE/blocks2player/wnTLOQ | 1.1731334946937255 | 6300.9 | 5371.0 |
| BASE/checkers-mustjump-torus/uSApKQ | 1.183831292517007 | 110.2 | 93.08758832155712 |
| BASE/pancakes88/l2Xaig | 1.1907709711376815 | 10105.2 | 8486.266666666666 |
| DRESDEN/blocks2player/3ev8nQ | 1.20205870437889 | 6527.9 | 5430.6 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 1.2068351325527658 | 111.54435779510764 | 92.42717152189854 |
| BASE/ghostMaze2p/W-NU-w | 1.2158477300438633 | 2559.4 | 2105.0333333333333 |
| DRESDEN/ghostmaze2p/HY0UwA | 1.229943484987213 | 2597.0666666666666 | 2111.5333333333333 |
| BASE/coloredtrails/EZvr7g | 1.2362373863522829 | 2474.7 | 2001.8 |
| BASE/god/qF06gw | 1.2528070663618314 | 63.06818181818182 | 50.34149591870732 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 1.2653204279048595 | 123.53333333333333 | 97.63007899736675 |
| BASE/knightwar/DVGY4Q | 1.289508094645081 | 1380.6333333333334 | 1070.6666666666667 |
| DRESDEN/roshambo2/jgSlkQ | 1.2962193026220965 | 10911.833333333334 | 8418.2 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 1.3006714874606895 | 125.53723138430784 | 96.51724712547909 |
| BASE/beatMania/qUHwvQ | 1.302675964842252 | 5547.966666666666 | 4258.9 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 1.3125937971213162 | 127.63333333333334 | 97.23749541804125 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 1.3176983424782809 | 128.03333333333333 | 97.16437306321015 |
| DRESDEN/knightwar/7hhAqg | 1.327661148617405 | 1435.6 | 1081.3 |
| BASE/roshambo2/KNPokQ | 1.333894144244341 | 10994.0 | 8242.033333333333 |
| DRESDEN/mummymaze2p/k-8edg | 1.3376623376623376 | 751.9 | 562.1 |
| DRESDEN/gt_ultimatum/pAiiQw | 1.3554681353265146 | 6316.933333333333 | 4660.333333333333 |
| BASE/twisty-passages/DiZmmg | 1.3621940294194144 | 1571.2 | 1153.4333333333334 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1.3691320325034935 | 6172.366666666667 | 4508.233333333334 |
| DRESDEN/god/2EDD5w | 1.3820742484834407 | 69.6263706962637 | 50.37816945990071 |
| BASE/pacman3p/wW7UVQ | 1.3840673911913057 | 887.2333333333333 | 641.0333333333333 |
| DRESDEN/pacman3p/rBnk8Q | 1.3845498602000215 | 858.3 | 619.9126695776807 |
| BASE/hanoi7_bugfix/3gdnFw | 1.3944539808600456 | 6309.3 | 4524.566666666667 |
| BASE/mummymaze2p/vpjDdA | 1.4029049384949348 | 775.5 | 552.7815739475351 |
| BASE/ticTacToeSerial/Amrwqw | 1.4053452115812919 | 1388.2 | 987.8 |
| DRESDEN/hanoi7/51zz5Q | 1.4338889488535609 | 6199.466666666666 | 4323.533333333334 |
| BASE/gt_ultimatum/GE-uOA | 1.44068135963899 | 6236.133333333333 | 4328.6 |
| DRESDEN/twisty-passages/j7NPyg | 1.4551229892971145 | 1549.9 | 1065.1333333333334 |
| BASE/checkers-mustjump/T-8UuQ | 1.5207826422682933 | 180.05466302246518 | 118.3960534648845 |
| DRESDEN/smallest/9kaGFw | 1.5234571629920466 | 2017.6666666666667 | 1324.4 |
| DRESDEN/bunk_t/7-tPfA | 1.5234615495267412 | 1765.1333333333334 | 1158.6333333333334 |
| BASE/crossers3/O0rORg | 1.5308968502043763 | 1061.1666666666667 | 693.1666666666666 |
| DRESDEN/chinesecheckers6/yTbPDA | 1.534077519379845 | 824.5666666666667 | 537.5 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.5355648535564852 | 1773.8333333333333 | 1155.1666666666667 |
| BASE/doubletictactoe/HH1htg | 1.55740471341286 | 1784.2666666666667 | 1145.6666666666667 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.5599558200895869 | 12711.3 | 8148.5 |
| BASE/doubletoetictac/fu35bg | 1.5675643576115679 | 1759.8 | 1122.6333333333334 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.5712783174819303 | 12847.766666666666 | 8176.633333333333 |
| DRESDEN/crossers3/xiPTxg | 1.5753456435000461 | 1131.8333333333333 | 718.4666666666667 |
| DRESDEN/hanoi/RQ0jiA | 1.5779144757767085 | 7772.333333333333 | 4925.7 |
| DRESDEN/checkers-mustjump/HUr33w | 1.5788124774132193 | 184.43333333333334 | 116.81775763231569 |
| BASE/pacman2p/4LEdQg | 1.5812582258489079 | 1001.2 | 633.1666666666666 |
| BASE/bunk_t/xbpfIA | 1.5893470790378008 | 1819.1666666666667 | 1144.6 |
| DRESDEN/oisters_farm/pTQMLg | 1.6026458642836563 | 9457.266666666666 | 5901.033333333334 |
| BASE/hanoi/iGLsJg | 1.6066607574209526 | 7915.0 | 4926.366666666667 |
| BASE/hallway/ckCJOw | 1.6073525124240753 | 291.03333333333336 | 181.06378724255148 |
| DRESDEN/hallway/0H4l-Q | 1.6074407665467305 | 292.89023699210026 | 182.20903879482736 |
| DRESDEN/doubletoetictac/V89gKQ | 1.6137174375730687 | 1794.4 | 1111.9666666666667 |
| BASE/chineseCheckers6/rREH3A | 1.6798335345700242 | 1530.3333333333333 | 911.0029665677811 |
| BASE/untwistycomplex2/EDPPAQ | 1.7048501640865106 | 22909.833333333332 | 13438.033333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.7304341204317728 | 9089.566666666668 | 5252.766666666666 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.7453464117242279 | 207.30569257432342 | 118.77624475104979 |
| BASE/copolymer_4/2LDVhQ | 1.7505724437425976 | 1478.0666666666666 | 844.3333333333334 |
| DRESDEN/blocker/S815zQ | 1.7505789198476136 | 3905.8333333333335 | 2231.1666666666665 |
| STANFORD/untwistycorridor/EDPPAQ | 1.7572676279998976 | 22869.666666666668 | 13014.333333333334 |
| BASE/blocker/dIWtxg | 1.761686999365679 | 3980.766666666667 | 2259.633333333333 |
| BASE/sheepAndWolf/g4THrg | 1.764751301538894 | 929.4356854771507 | 526.6666666666666 |
| DRESDEN/smallest_4player/ADDROA | 1.7660047303839865 | 3708.4333333333334 | 2099.9 |
| BASE/copolymer_4_pie/IN5_jA | 1.771398154184896 | 1376.5666666666666 | 777.1074297523415 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.779880375373827 | 5753.166666666667 | 3232.3333333333335 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.7915838150289016 | 1291.4333333333334 | 720.8333333333334 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.7916462139670832 | 201.49303472638806 | 112.46251249583472 |
| BASE/smallest_4player/ADDROA | 1.7958128160216795 | 3622.633333333333 | 2017.2666666666667 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.7967431219118297 | 3115.133333333333 | 1733.7666666666667 |
| DRESDEN/bomberman2p/x4h6jQ | 1.8035366995606137 | 1669.2333333333333 | 925.5333333333333 |
| BASE/chinook/XQh0IQ | 1.805617823672027 | 682.6439118696044 | 378.06666666666666 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.8142232683254877 | 4676.1 | 2577.4666666666667 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 1.8152326201760598 | 200.86565673381057 | 110.655601106556 |
| BASE/gt_tinfoil/Q8DyKg | 1.8157622245456009 | 12041.166666666666 | 6631.466666666666 |
| DRESDEN/lightson2x2/gBHuig | 1.8192489460951935 | 5941.0 | 3265.633333333333 |
| STANFORD/chinook/osFbPA | 1.8195372252880242 | 626.4457851404953 | 344.2885237158761 |
| DRESDEN/knightmove/97Ipcw | 1.823588426501866 | 1514.7333333333333 | 830.6333333333333 |
| BASE/chickentoetictac/l57rfQ | 1.8557091320944672 | 5898.433333333333 | 3178.5333333333333 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.8663125850119828 | 960.4666666666667 | 514.6333333333333 |
| STANFORD/knightstourbig/TQUI2g | 1.868032251388782 | 15345.2 | 8214.633333333333 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 1.8680831373153897 | 3229.6666666666665 | 1728.8666666666666 |
| BASE/knightmove/jBaJEw | 1.868137630591747 | 1543.7666666666667 | 826.3666666666667 |
| BASE/mummyMaze2p_2007/YGA3Vw | 1.8710383740841587 | 2221.733333333333 | 1187.4333333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.8761770565084304 | 12871.2 | 6860.333333333333 |
| DRESDEN/chinesecheckers3/QsCb2A | 1.8812184153182807 | 1352.5333333333333 | 718.9666666666667 |
| BASE/asteroids/BKCmPQ | 1.893344277755462 | 10841.1 | 5725.9 |
| BASE/bomberman2p/4CClwA | 1.915059347181009 | 1721.0 | 898.6666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 1.9354385843284747 | 3722.3 | 1923.2333333333333 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.9407786833539402 | 2563.8333333333335 | 1321.0333333333333 |
| DRESDEN/ticblock/Z2yNWQ | 1.9426240352811466 | 2936.6 | 1511.6666666666667 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 1.9441707717569785 | 2289.0666666666666 | 1177.4 |
| BASE/racetrackcorridor/_RkdUg | 1.945094074204326 | 1474.9 | 758.2666666666667 |
| BASE/aipsrovers01/4C4jsw | 1.9458753397036908 | 3699.4333333333334 | 1901.1666666666667 |
| BASE/catcha_mouse/cHv4dw | 1.9500165644171776 | 1207.8 | 619.3793540215327 |
| DRESDEN/latenttictactoe/kITHKg | 1.9625395505669878 | 2832.5333333333333 | 1443.3 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.9657234464858262 | 2574.9666666666667 | 1309.9333333333334 |
| BASE/ticblock/T21C1g | 1.9738069208629885 | 2948.9333333333334 | 1494.0333333333333 |
| BASE/kalaha_2009/dRiN3g | 1.9760119023356297 | 3231.8333333333335 | 1635.5333333333333 |
| BASE/kalaha6x2x4/XS81Mg | 1.983905035484961 | 3130.866666666667 | 1578.1333333333334 |
| BASE/asteroidsSerial/id2QkA | 2.009431806641617 | 5276.5 | 2625.866666666667 |
| BASE/knightsTourLarge/M8jgLA | 2.0177750646365986 | 16857.3 | 8354.4 |
| DRESDEN/catch_me/ghGWrA | 2.01889432139491 | 9139.4 | 4526.933333333333 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.0231253124790127 | 9037.233333333334 | 4466.966666666666 |
| DRESDEN/toetictac/mJtxCA | 2.0398107678960207 | 8307.333333333334 | 4072.6 |
| BASE/toetictac/mTThmg | 2.042405468916898 | 8285.766666666666 | 4056.866666666667 |
| DRESDEN/chinesecheckers2/06E6-Q | 2.045837348640382 | 1627.6 | 795.5666666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 2.0493616552938585 | 1241.3666666666666 | 605.7333333333333 |
| DRESDEN/grid_game/U7_Yeg | 2.0541273856058866 | 1488.9 | 724.8333333333334 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.0550830295666263 | 9133.2 | 4444.2 |
| DRESDEN/kalaha_2009/gcC8uA | 2.061099151576548 | 3255.3 | 1579.4 |
| DRESDEN/Thief_Police/CX18rA | 2.0828891035049164 | 9130.066666666668 | 4383.366666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 2.1039498527301563 | 4643.066666666667 | 2206.8333333333335 |
| BASE/hexPie/48CH6Q | 2.108699940816729 | 356.2762482501167 | 168.95540297313514 |
| STANFORD/multipletictactoe/_bkafQ | 2.141202745189143 | 614.4333333333333 | 286.95710142995233 |
| DRESDEN/bidding-tictactoe/yW5vTA | 2.144000542630401 | 4214.533333333334 | 1965.7333333333333 |
| BASE/incredible/8Qh-6Q | 2.152600096057285 | 4930.1 | 2290.3 |
| STANFORD/dualhunter/1rPZjQ | 2.1552180822885396 | 2034.1666666666667 | 943.8333333333334 |
| BASE/kalaha5x2x3/WviNsw | 2.156377525379435 | 3575.633333333333 | 1658.1666666666667 |
| BASE/biddingTicTacToe/8mESVw | 2.1583967182292114 | 4209.233333333334 | 1950.1666666666667 |
| BASE/majorities/ibJzSQ | 2.1670722237035065 | 288.8948140247967 | 133.31111481419762 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.172160823170732 | 759.9666666666667 | 349.8666666666667 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.1817328873296895 | 8913.833333333334 | 4085.6666666666665 |
| BASE/chineseCheckers4/avfBcQ | 2.214129614177296 | 1857.4333333333334 | 838.9 |
| BASE/snake_2009_big/-oRfVw | 2.2431552782363795 | 769.9 | 343.2218926035799 |
| DRESDEN/circlesolitaire/ruUilQ | 2.263799129643368 | 9866.466666666667 | 4358.366666666667 |
| BASE/circlesolitaire/azuQFQ | 2.2644863190103868 | 9818.133333333333 | 4335.7 |
| BASE/gt_coordination/IVMOzA | 2.2666234010660555 | 12959.041525028328 | 5717.333333333333 |
| DRESDEN/chinesecheckers4/-oVNYg | 2.2860506658005844 | 938.5 | 410.53333333333336 |
| BASE/hex/T1MK8g | 2.2913310898506194 | 392.87380841277246 | 171.46095130162328 |
| DRESDEN/chinesecheckers1/Y-ftaA | 2.3203841552572113 | 2327.5 | 1003.0666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.3262086747245694 | 724.9 | 311.6229459018033 |
| BASE/wallmaze/uxNQ9g | 2.3404965574796575 | 747.8666666666667 | 319.53333333333336 |
| STANFORD/hex/MTqWcw | 2.3457451801363196 | 401.5 | 171.16096130128994 |
| BASE/gt_staghunt/xPjLRA | 2.3562007233111544 | 12814.197633727712 | 5438.5 |
| STANFORD/platformjumpers/HEQskA | 2.3813241417806306 | 568.8 | 238.858704709843 |
| BASE/lightsOn/MsXu3A | 2.3842480100544616 | 12330.933333333332 | 5171.833333333333 |
| DRESDEN/crissrace/KWb9bw | 2.3920547023090712 | 1452.5666666666666 | 607.2464251191627 |
| DRESDEN/gt_prisoner/huCp4w | 2.3931331223280448 | 11533.146685331467 | 4819.266666666666 |
| BASE/asteroidsParallel/WauZiA | 2.3946451223567373 | 6481.266666666666 | 2706.5666666666666 |
| BASE/chineseCheckers3/-1rZdQ | 2.4298600800827823 | 3600.5666666666666 | 1481.8 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.4332398651671983 | 5437.966666666666 | 2234.866666666667 |
| BASE/tictactoe_3d_small_6player/g_9lww | 2.4363340273768337 | 743.9752008266391 | 305.3666666666667 |
| BASE/chess_200/XsTpYA | 2.443974826794883 | 131.39562014599514 | 53.763082461169255 |
| BASE/eightPuzzle/vLrgFg | 2.454057626483325 | 8292.833333333334 | 3379.233333333333 |
| BASE/quarto/EwBMVQ | 2.466959875986878 | 2281.0333333333333 | 924.6333333333333 |
| BASE/crissrace/ERWGDA | 2.467802820028866 | 1481.8333333333333 | 600.4666666666667 |
| BASE/quartoSuicide/-23jUg | 2.4683702198937953 | 2308.6666666666665 | 935.3 |
| BASE/gt_prisoner/klthDw | 2.50345360386018 | 12745.833333333334 | 5091.3 |
| DRESDEN/quartosuicide/WIU1oQ | 2.504069664119424 | 2348.4 | 937.8333333333334 |
| STANFORD/8puzzle/jNiGtw | 2.508234469640086 | 8351.166666666666 | 3329.5 |
| DRESDEN/quarto/OQzRYQ | 2.5091547529470786 | 2334.266666666667 | 930.3 |
| DRESDEN/8puzzle/8fKC2w | 2.538860261609294 | 8326.7 | 3279.7 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.542916075802501 | 3287.5666666666666 | 1292.8333333333333 |
| DRESDEN/Goldrush/VeWczQ | 2.5499926151907077 | 1978.1333333333334 | 775.740808639712 |
| BASE/tictactoe_orthogonal/WRzlVw | 2.5595733759196944 | 7479.5 | 2922.1666666666665 |
| BASE/factoringGeorgeForman/HGRorQ | 2.560928972632753 | 8571.6 | 3347.0666666666666 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.5788180640763465 | 1345.0666666666666 | 521.5826139128695 |
| STANFORD/eightpuzzle/W_aWbA | 2.5806843469916907 | 8426.966666666667 | 3265.4 |
| BASE/shmup/ssTNlg | 2.6032619481480146 | 4809.7 | 1847.5666666666666 |
| BASE/sum15/QZ07Kg | 2.604274938116634 | 7399.7 | 2841.366666666667 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 2.6079303231721296 | 7585.6 | 2908.6666666666665 |
| DRESDEN/connect5/1kYzSg | 2.6265379018388675 | 661.8 | 251.96666666666667 |
| BASE/quad_5x5/JAEP5g | 2.630505906573098 | 188.69495703151023 | 71.73333333333333 |
| DRESDEN/logistics/fPru1Q | 2.6345819598441715 | 2930.5333333333333 | 1112.3333333333333 |
| BASE/lightsOnParallel/SC6enA | 2.645803492103784 | 4864.133333333333 | 1838.4333333333334 |
| DRESDEN/max_knights/hCipiA | 2.6467694762031377 | 1327.2666666666667 | 501.46666666666664 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.6471564829584295 | 5421.2 | 2047.9333333333334 |
| DRESDEN/sum15/CsgWKg | 2.656404160475483 | 7449.0 | 2804.1666666666665 |
| DRESDEN/javastrike/whONTQ | 2.6797152912824416 | 530.3156561447952 | 197.9 |
| DRESDEN/towerworld/HCX34w | 2.7021858272328316 | 60.1325915314655 | 22.25331467785995 |
| DRESDEN/gt_chicken/CeuKtw | 2.706710283208889 | 12341.696654671465 | 4559.666666666667 |
| BASE/gt_chicken/gmepTQ | 2.7232066902169993 | 12591.2 | 4623.666666666667 |
| BASE/chickentictactoe/DSlZCA | 2.7245126596459786 | 5674.433333333333 | 2082.733333333333 |
| BASE/knightfight/SJRkAg | 2.7271050699270845 | 5323.4 | 1952.0333333333333 |
| BASE/max_knights/2fq3Ag | 2.7622428666224286 | 1387.5666666666666 | 502.3333333333333 |
| BASE/connect5/d-BVQg | 2.764963104673408 | 674.4666666666667 | 243.93333333333334 |
| DRESDEN/quad_5x5/JAEP5g | 2.779782389787226 | 195.1325076574777 | 70.19704433497537 |
| DRESDEN/crisscross/GsY16g | 2.7975470088941234 | 2296.133333333333 | 820.7666666666667 |
| BASE/crisscross/ICagEg | 2.8030358974358975 | 2277.4666666666667 | 812.5 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 2.822239286784537 | 19.9468085106383 | 7.067724060125427 |
| DRESDEN/knightfight/4_Ly4w | 2.838778115082103 | 5486.033333333334 | 1932.5333333333333 |
| DRESDEN/guess/PhxGhg | 2.8545601053842895 | 3141.9 | 1100.659956002933 |
| DRESDEN/knightthrough/J7Fc_Q | 2.9123472400616204 | 1617.3666666666666 | 555.348155061498 |
| BASE/guess/SPpk1A | 2.9462312335551775 | 3172.6 | 1076.8333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 2.950543580720166 | 1565.0666666666666 | 530.4333333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.9729545841129443 | 1747.8 | 587.9 |
| BASE/knightThrough/gcwFjA | 2.980069381005866 | 1591.9 | 534.1821939268691 |
| BASE/sudokuGrade6E/ihYFZA | 3.019293622755761 | 44.174967518406234 | 14.63089485085819 |
| BASE/ticTacToeParallel/ymRGPw | 3.022056983519823 | 2817.866666666667 | 932.4333333333333 |
| BASE/checkLines/Vop7oQ | 3.0404233613874014 | 3179.0666666666666 | 1045.6 |
| BASE/4pffa/Q3ADlg | 3.047534050889647 | 2203.7 | 723.1092296923435 |
| BASE/sudokuGrade6H/ieE_9A | 3.056156290614155 | 44.665177827405756 | 14.614821226446502 |
| BASE/endgame/jYjfOA | 3.058874943387162 | 821.20595980134 | 268.46666666666664 |
| BASE/hidato19/rRHSmA | 3.069669984284966 | 976.6341121962602 | 318.15606146461784 |
| BASE/snake_2009/7l-qAQ | 3.0706032776747065 | 1379.1666666666667 | 449.15169494350187 |
| STANFORD/alquerquezero/uVgA_A | 3.077988816831471 | 1597.8333333333333 | 519.1160294656845 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.0907125993009212 | 648.3666666666667 | 209.77902209779023 |
| BASE/tictactoe_3player/GtM71g | 3.0937035767340877 | 1804.8666666666666 | 583.4 |
| DRESDEN/tictactoeparallel/yk_DSg | 3.104205419994894 | 2836.9333333333334 | 913.9 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 3.108062746110645 | 1604.9 | 516.3666666666667 |
| DRESDEN/connect4/T0-rHQ | 3.1260088278758946 | 834.6443570428638 | 267.0 |
| BASE/ticTacToe/JRFsaQ | 3.126556492411467 | 7725.2 | 2470.8333333333335 |
| BASE/connect4/50bOyw | 3.128849044974826 | 841.4719509349688 | 268.9397726893977 |
| DRESDEN/tictactoe/BTTzPw | 3.1347065797273266 | 7756.1 | 2474.266666666667 |
| DRESDEN/snake_2009/zIYLVw | 3.137404040705631 | 1400.9666666666667 | 446.536897540164 |
| BASE/eotcatcit/AfZSzA | 3.1606481547171423 | 7425.1 | 2349.233333333333 |
| DRESDEN/chomp/-LcqYQ | 3.164155098606884 | 4262.433333333333 | 1347.1 |
| STANFORD/trifecta/ss1kyQ | 3.167718402840381 | 7613.4 | 2403.4333333333334 |
| DRESDEN/stratego/Z2wovg | 3.1742827735387102 | 1483.6666666666667 | 467.4021731884541 |
| STANFORD/tictactoe/ss1kyQ | 3.1743723360568685 | 7472.366666666667 | 2353.9666666666667 |
| DRESDEN/eotcatcit/mQUxzA | 3.1801512978430218 | 7538.866666666667 | 2370.6 |
| BASE/solitaireChineseCheckers/-ET6gw | 3.1813082272667628 | 3232.633333333333 | 1016.1333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 3.1834991708126035 | 1279.7666666666667 | 402.0 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 3.1920544401657898 | 7239.366666666667 | 2267.9333333333334 |
| BASE/chomp/-LcqYQ | 3.220641894407625 | 4325.0 | 1342.9 |
| BASE/tictactoex9/BI26ow | 3.232802176447726 | 831.8 | 257.3 |
| DRESDEN/brain_teaser_extended/ZDp94A | 3.251235840280185 | 5941.2 | 1827.3666666666666 |
| BASE/snake_2008/i6K26g | 3.2529696728382773 | 1633.912202926569 | 502.28325722475915 |
| DRESDEN/tictactoex9/rFkD4w | 3.2541371582544687 | 825.1666666666666 | 253.57464253574642 |
| BASE/chineseCheckers2/eCMR3Q | 3.2683236994219653 | 5654.2 | 1730.0 |
| DRESDEN/snake_2008/E56l3A | 3.273572991222147 | 1616.0 | 493.65021165961133 |
| STANFORD/duidoku/3SoMaA | 3.2956373006353012 | 50.41316806610689 | 15.296940611877625 |
| BASE/blobwars/0XT15Q | 3.31942617632889 | 688.9333333333333 | 207.5459120754591 |
| BASE/brain_teaser_extended/ZDp94A | 3.3254966825877674 | 5964.5 | 1793.5666666666666 |
| BASE/ticTacHeaven/18n58A | 3.3282097649186255 | 858.9 | 258.06666666666666 |
| DRESDEN/blobwars/ZaMluQ | 3.333128923046521 | 704.2431918936036 | 211.28591427238183 |
| BASE/ticTicToe/c1OobQ | 3.3355038075267633 | 6044.6 | 1812.2 |
| DRESDEN/tictactoelarge/IwXcbg | 3.343003731343283 | 3583.7 | 1072.0 |
| STANFORD/tictictoe/rpt_Dw | 3.3447446572048025 | 6119.433333333333 | 1829.5666666666666 |
| BASE/ticTacHeavenFC/mrletw | 3.3499913687436393 | 842.4385853804873 | 251.47485251474853 |
| BASE/tron_10x10/7ZTgDg | 3.3533054845480805 | 5378.366666666667 | 1603.9 |
| DRESDEN/3pffa/0YrmQw | 3.3540955036598117 | 3207.633333333333 | 956.3333333333334 |
| BASE/ticTacToeLargeSuicide/727_8g | 3.3699771367722136 | 3586.6666666666665 | 1064.3 |
| BASE/eotcitcit/V_9_bg | 3.373469614899458 | 6061.9 | 1796.9333333333334 |
| DRESDEN/tictictoe/LAUtwg | 3.37597328314698 | 6099.033333333334 | 1806.6 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 3.379851388844596 | 3532.733333333333 | 1045.2333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 3.4073074725414263 | 3577.9 | 1050.0666666666666 |
| BASE/snake_2008_tweaked/bX0NJQ | 3.4156302712993813 | 1674.4 | 490.21699276690777 |
| BASE/lightsOut/5P1ZBw | 3.423082634197045 | 3073.7 | 897.9333333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 3.4426870635589255 | 1225.9 | 356.0881303956535 |
| DRESDEN/lightsout/XgLpzQ | 3.4711161387631977 | 3068.4666666666667 | 884.0 |
| STANFORD/sudoku/oJ1qyQ | 3.52053697188201 | 53.85948540194641 | 15.29865637887455 |
| DRESDEN/4pttc/9pB9AQ | 3.5545226011478444 | 2498.0 | 702.7666666666667 |
| DRESDEN/cylinder-checkers/clOO3Q | 3.570785011015082 | 468.23333333333335 | 131.12896236792108 |
| DRESDEN/lightsout2/LFtfyQ | 3.5798384706579727 | 3220.9 | 899.7333333333333 |
| DRESDEN/skirmish2/iPpWhQ | 3.5842300836051493 | 756.6747775074164 | 211.1122221111222 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 3.6052175615057673 | 259.81601226584894 | 72.06666666666666 |
| STANFORD/hunter/14dD-g | 3.6054136889859953 | 7920.733333333334 | 2196.9 |
| BASE/sudokuGrade3/eI8dvg | 3.607827221037669 | 56.36666666666667 | 15.623438488956994 |
| BASE/cylinder-checkers/hlldmw | 3.6220793313623556 | 478.0507316422786 | 131.9824023463538 |
| BASE/lightsOnSimul4/9FeASw | 3.624486294416244 | 1166.2 | 321.7559414686177 |
| DRESDEN/endgame/IJhh3Q | 3.6291501998747773 | 837.1333333333333 | 230.66924410078656 |
| BASE/sudokuGrade4/DTy07w | 3.6294026467286895 | 57.590401599733376 | 15.867735604271315 |
| BASE/sudokuGrade5/BQfUQA | 3.636162309694957 | 58.79412058794121 | 16.16927837109492 |
| BASE/3pffa/pR0dzA | 3.647088946663515 | 3086.1666666666665 | 846.2 |
| DRESDEN/skirmish3/3LU8Nw | 3.6792721140939593 | 730.9 | 198.65342310512634 |
| BASE/checkers-newgoals/0XkFiA | 3.7015672566371673 | 529.8 | 143.12856238125397 |
| DRESDEN/battlesnakes1509/-qZrLw | 3.743839169909209 | 1924.3333333333333 | 514.0 |
| BASE/rubiksCube/9tNO9Q | 3.748311644907131 | 1464.1666666666667 | 390.6203126562448 |
| DRESDEN/checkers-newgoals/IJOqXQ | 3.7593861853849937 | 539.3820205993134 | 143.4760873187802 |
| BASE/breakthroughHoles/nZk0Sg | 3.7634880252653744 | 1430.0 | 379.96666666666664 |
| STANFORD/breakthrough/d5j0cQ | 3.773243898599756 | 1784.4333333333334 | 472.91756941435284 |
| BASE/withConviction/3Xm54A | 3.7831428435568237 | 1679.5333333333333 | 443.9518682710576 |
| DRESDEN/skirmish/RjGQYQ | 3.783429152542373 | 744.0 | 196.64700196647001 |
| BASE/numbertictactoe/rvJ-iQ | 3.826144082502851 | 5144.633333333333 | 1344.6 |
| BASE/tictactoe2/bhrDoQ | 3.828158656550551 | 9300.766666666666 | 2429.5666666666666 |
| BASE/4pttc/AL1k2Q | 3.852419887865723 | 2412.4333333333334 | 626.2124595846805 |
| BASE/sudokuGrade2/u80Tfw | 3.8528596759539457 | 60.28912131103857 | 15.647889199627114 |
| DRESDEN/battlesnakes2011/93VtTw | 3.907665443003036 | 1887.6 | 483.05056498116727 |
| DRESDEN/peg_bugfixed/u_B7MA | 3.9463747637490316 | 1698.2 | 430.3189893670211 |
| BASE/sudokuGrade1/tDRNRw | 3.9627707650273214 | 64.36666666666666 | 16.242843829050727 |
| BASE/peg/fJHVWw | 3.966793634405213 | 1677.6333333333334 | 422.9192360254658 |
| DRESDEN/peg/Vo31eg | 3.9758286749074876 | 1683.2333333333333 | 423.3666666666667 |
| BASE/breakthroughSmall/HJ0tIA | 3.996931898664138 | 2247.266666666667 | 562.2479250691644 |
| BASE/futoshiki6/JmvXNA | 4.008075286379343 | 504.91650278324056 | 125.9748050389922 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 4.029751638496033 | 1557.6333333333334 | 386.53333333333336 |
| BASE/breakthroughWalls/vOZaYA | 4.048084294343767 | 1556.1666666666667 | 384.4205193160228 |
| DRESDEN/blockerparallel/dVQgSg | 4.059679051184974 | 1075.03083230559 | 264.8068526480685 |
| BASE/breakthroughSuicideSmall/XSbJog | 4.073587462440346 | 2304.7 | 565.7666666666667 |
| BASE/dualConnect4/WbCQkg | 4.077240983530504 | 1952.9333333333334 | 478.9840338655378 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 4.095463117365905 | 1542.3 | 376.58744708509715 |
| BASE/2pffa/6oHijA | 4.1145456499158275 | 3829.133333333333 | 930.6333333333333 |
| BASE/breakthrough/TGxk-g | 4.1220754867653655 | 1531.3 | 371.48761707943066 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.14554683094009 | 3185.3 | 768.3666666666667 |
| BASE/pegEuro/5awwhg | 4.160291197966317 | 1454.6666666666667 | 349.6550114996167 |
| BASE/checkers/rOC3Xg | 4.179529777710722 | 923.3666666666667 | 220.9259691343622 |
| BASE/conn4/va9Y7A | 4.18526608649789 | 1234.3333333333333 | 294.923502549915 |
| DRESDEN/mummymaze1p/AekgaQ | 4.187766421858148 | 2718.0 | 649.0333333333333 |
| BASE/mummymaze1p/PT_EXA | 4.1944928725258945 | 2726.7 | 650.0666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.207710796054141 | 3056.8 | 726.4757841405286 |
| BASE/blockerParallel/7-nDJA | 4.214349636142895 | 1079.9973334222193 | 256.26666666666665 |
| DRESDEN/breakthrough/z4hK7Q | 4.21800317716265 | 1569.4666666666667 | 372.08759708009734 |
| DRESDEN/backgammon/mqCW0Q | 4.222073541324576 | 856.9666666666667 | 202.9729369417411 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 4.25137719800802 | 3215.6 | 756.3666666666667 |
| DRESDEN/3pttc/uwYBZw | 4.254545998410134 | 3686.866666666667 | 866.5711142961901 |
| BASE/breakthroughSuicide/wZDpIg | 4.268636264228736 | 1587.4 | 371.8752083194454 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 4.271042084168336 | 2841.6666666666665 | 665.3333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.271113435238586 | 3036.233333333333 | 710.8763041231958 |
| DRESDEN/checkers/jIDMIg | 4.32338337260103 | 615.9794673510883 | 142.47625395767372 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 4.344483498578888 | 2921.133333333333 | 672.3775874137528 |
| BASE/stateSpaceMedium/3bUoIw | 4.366928345562651 | 11922.733333333334 | 2730.233333333333 |
| BASE/futoshiki5/TJ4BZg | 4.389831258539548 | 963.7 | 219.53007832027996 |
| BASE/wargame01/_GZFZg | 4.389894368566239 | 2174.9 | 495.43333333333334 |
| BASE/checkersSmall/SYmq8w | 4.392324336635919 | 1285.6333333333334 | 292.7 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.437179004286848 | 2883.774415038997 | 649.9116696110129 |
| DRESDEN/tpeg/h-Scbg | 4.448361564283316 | 2061.233333333333 | 463.3691087260849 |
| DRESDEN/statespacemedium/dVJZ_w | 4.484802580140735 | 12236.933333333332 | 2728.5333333333333 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 4.505191334632992 | 13711.7 | 3043.5333333333333 |
| BASE/tpeg/QNs7Lw | 4.553625996869643 | 2036.5333333333333 | 447.23333333333335 |
| BASE/escortLatch/mX9BjQ | 4.566596009193481 | 2185.5 | 478.58404719842673 |
| BASE/knightazons/apnJBQ | 4.575732899022802 | 749.2 | 163.73333333333332 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 4.6309873729867785 | 14022.166666666666 | 3027.9 |
| DRESDEN/knightazons/02I8BQ | 4.639794871794872 | 753.9666666666667 | 162.5 |
| BASE/3pttc/0sol9g | 4.651461752964397 | 3482.4333333333334 | 748.6750441651945 |
| BASE/2pffa_zerosum/o0_uZA | 4.654020407359257 | 3937.766666666667 | 846.1 |
| DRESDEN/knightstour/cGISAA | 4.670199328142537 | 39807.066666666666 | 8523.633333333333 |
| STANFORD/freeforall/Lfp40Q | 4.6890335098427585 | 3866.733333333333 | 824.6333333333333 |
| BASE/breakthroughSmallHoles/bxclRw | 4.690504589759695 | 2240.266666666667 | 477.61741275290825 |
| STANFORD/duikoshi/tpw1sw | 4.693405003101096 | 2270.2 | 483.7 |
| BASE/chineseCheckers1/gqtwHw | 4.712531647422107 | 10733.733333333334 | 2277.7 |
| BASE/ttcc4/Le0qjQ | 4.783834850986868 | 2027.8 | 423.8858704709843 |
| DRESDEN/tttcc4/sAvtFg | 4.796769433874349 | 2058.9333333333334 | 429.23333333333335 |
| STANFORD/knightstour/cEwgNA | 4.805752953249538 | 41522.666666666664 | 8640.2 |
| BASE/knightsTour/mvtVIg | 4.8140685181431175 | 39579.666666666664 | 8221.666666666666 |
| BASE/choicethroughalt/tt71Lg | 4.820512451065681 | 1477.5 | 306.5026830650268 |
| BASE/tttcc4/8Bs2lg | 4.864441714226149 | 2073.9666666666667 | 426.35245491816937 |
| STANFORD/multiplesukoshi/vLSQPg | 4.946230937946566 | 241.61722551829877 | 48.848755456332675 |
| DRESDEN/farmers/S_ASnw | 4.951680038607709 | 2736.133333333333 | 552.5666666666667 |
| STANFORD/ttcc4/Cx9SGw | 4.967838616728377 | 2325.5333333333333 | 468.1177294090197 |
| DRESDEN/connectfoursuicide/M9CNQg | 4.976853636468705 | 3349.0333333333333 | 672.9218052129858 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 5.011720430107527 | 3107.266666666667 | 620.0 |
| BASE/2pttc/unkkYA | 5.071411521323998 | 4249.166666666667 | 837.8666666666667 |
| BASE/four_way_battle/xSOQXA | 5.089573611111112 | 692.0666666666667 | 135.97733711048159 |
| BASE/connectFour/WAIKTw | 5.09142722570377 | 3411.9333333333334 | 670.1329867013299 |
| BASE/checkersTiny/Lr48cg | 5.129456632026839 | 2089.5 | 407.3530882303923 |
| DRESDEN/pawntoqueen/f_x6Aw | 5.134017504109467 | 100.05997600959616 | 19.48960554371002 |
| BASE/3pConnectFour/PqXOFQ | 5.151932239280042 | 1946.4 | 377.8 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 5.179060430419149 | 2144.3333333333335 | 414.0390640623958 |
| STANFORD/selectivesukoshi/3xmXYg | 5.186858437568576 | 262.56666666666666 | 50.62152164494951 |
| DRESDEN/four_way_battle/xSOQXA | 5.193389181834642 | 688.9437018766041 | 132.65782281181254 |
| STANFORD/connectfour/VMpZkQ | 5.200691521346963 | 3459.5 | 665.2 |
| DRESDEN/frogs_and_toads/GjchhQ | 5.209459706780413 | 2483.266666666667 | 476.684110529649 |
| DRESDEN/minichess/c7GMFw | 5.221657669101302 | 4384.8 | 839.7333333333333 |
| DRESDEN/connectfour/5tc-Mg | 5.240769346682848 | 3454.6 | 659.1780273990867 |
| BASE/ttcc4_2player_alt/ZEJvYA | 5.2481256926787925 | 2683.366666666667 | 511.3 |
| BASE/duplicateStateMedium/U163eQ | 5.302721088435375 | 10029.566666666668 | 1891.4 |
| DRESDEN/battle/8oAvhQ | 5.331999952618658 | 257.9914002866571 | 48.385484354693595 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 5.337892892657027 | 679.1773607546415 | 127.23697803845769 |
| BASE/tictactoe_3d_small_2player/oOryKA | 5.3414789511673755 | 2137.766666666667 | 400.2199926669111 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 5.364054622877001 | 3653.1 | 681.0333333333333 |
| BASE/cubicup/4wNWJA | 5.374581383685678 | 748.1417286090464 | 139.2 |
| BASE/connectFourSuicide/c8p9Kw | 5.386726729872715 | 3427.9333333333334 | 636.3666666666667 |
| BASE/cubicup_3player/e2yA_g | 5.405730821917808 | 341.9 | 63.24769235895898 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 5.418885630498534 | 18478.4 | 3410.0 |
| DRESDEN/cubicup/SBn_lw | 5.438834909750138 | 766.5666666666667 | 140.94317613731045 |
| BASE/connectFour_9x6/B9TtMw | 5.440077177508269 | 3289.4333333333334 | 604.6666666666666 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 5.447718537498767 | 3685.2 | 676.4666666666667 |
| BASE/englishDraughts/jFkQxg | 5.44901032454856 | 2481.0333333333333 | 455.3181560614646 |
| BASE/pawnToQueen/-O1_JA | 5.46955879133811 | 103.31955739234769 | 18.88992537313433 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 5.475785320197044 | 3519.9 | 642.811906269791 |
| BASE/battle/8oAvhQ | 5.484896987978741 | 263.44032263440323 | 48.03013132457836 |
| DRESDEN/cubicup_3player/awDtsQ | 5.4897146803900325 | 337.76666666666665 | 61.5271806152718 |
| DRESDEN/slidingpieces/s9_44g | 5.518473938592625 | 834.7333333333333 | 151.26162461251292 |
| STANFORD/pilgrimage/ObRZnQ | 5.586026739373602 | 2219.366666666667 | 397.3068462102527 |
| BASE/connectFourLarge/aU644A | 5.595926748137802 | 2671.0333333333333 | 477.31742275257494 |
| BASE/tictactoe_3d_2player/IUC1rQ | 5.610640177439797 | 688.5666666666667 | 122.72515165655624 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 5.614533275083734 | 2570.3333333333335 | 457.8 |
| BASE/checkersBarrelNoKings/rnKNeg | 5.68580934471286 | 2620.4 | 460.8666666666667 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 5.722149657714587 | 2293.9333333333334 | 400.88663711209625 |
| BASE/slidingpieces/uFJWEw | 5.782420529801325 | 843.9 | 145.94234294284286 |
| DRESDEN/mimikry/GJEhwA | 5.8008057296329465 | 2159.8333333333335 | 372.3333333333333 |
| BASE/ttcc4_2player/_aH_Mw | 5.818400145051415 | 2495.733333333333 | 428.93807079528034 |
| BASE/ttcc4_2player_small/Cv72TA | 5.894702541662787 | 4221.0 | 716.0666666666667 |
| BASE/checkersTorusNoKings/pwb6oQ | 6.062222246005657 | 2643.0666666666666 | 435.98973435989734 |
| BASE/futoshiki4/BaCwSw | 6.144817410549613 | 2776.4333333333334 | 451.8333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 6.259372172619048 | 1775.9333333333334 | 283.7238758708043 |
| BASE/amazons_8x8/7SOsIw | 6.3030896322202175 | 1862.1666666666667 | 295.4371229543712 |
| BASE/pawnWhopping/Ypc_6Q | 6.318431703055091 | 3655.9333333333334 | 578.6140461984601 |
| STANFORD/pentago/ZxzLmg | 6.37544767519197 | 2343.0333333333333 | 367.5088327444837 |
| DRESDEN/pawn_whopping/4ogBkg | 6.402275257731959 | 3829.5 | 598.1467284423852 |
| BASE/speedChess/bPnisA | 6.461310445049954 | 1106.5333333333333 | 171.25524965002333 |
| BASE/checkersTorus/2vm1EQ | 6.545705663831798 | 2462.766666666667 | 376.24158389440703 |
| BASE/amazonsSuicide_10x10/XIbQkg | 6.631602845466929 | 1460.5 | 220.23333333333332 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 6.646789808160599 | 3730.4 | 561.2333333333333 |
| BASE/connectFourLarger/qKi60A | 6.669540927860092 | 1830.5666666666666 | 274.46666666666664 |
| BASE/skirmishZeroSum/zh4hcw | 6.689683369707551 | 1021.5333333333333 | 152.70279277477837 |
| BASE/skirmishNew/sibw2g | 6.739427111208597 | 1024.1 | 151.95653623091795 |
| BASE/quad/tw-Ufg | 6.7405067083929815 | 10.087558677630922 | 1.4965579167913798 |
| BASE/amazons_10x10/Bun8dA | 6.795478845272644 | 1483.0 | 218.23333333333332 |
| BASE/snakeAssemblit/UO4sdg | 6.818947085511391 | 2304.5 | 337.9554014866171 |
| BASE/brawl/6Ymo_Q | 6.872452685181972 | 397.5401639890674 | 57.845456665889174 |
| BASE/slaughter/cOch8A | 7.0293596880104 | 152.09493016899438 | 21.637095968842583 |
| DRESDEN/brawl/2kXtfQ | 7.133789545022107 | 406.62600406626007 | 57.0 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 7.467005507876857 | 790.5069831005633 | 105.86666666666666 |
| BASE/stateSpaceLarge/0Ge_CQ | 7.484152967400389 | 7162.833333333333 | 957.0666666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 7.560042470359228 | 7120.3 | 941.8333333333334 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 7.668960975338194 | 4591.0 | 598.6469372792109 |
| BASE/ticTacToeNoVars/XT03NA | 7.7128444735432415 | 8638.9 | 1120.0666666666666 |
| BASE/pentago/86NgKw | 7.904021937842779 | 2017.6333333333334 | 255.26666666666668 |
| BASE/othelloHoles/c0qAzw | 8.022600888193427 | 38.12092156079371 | 4.751691140075895 |
| BASE/pentagoSuicide/SBgNhw | 8.119070144614138 | 2002.4333333333334 | 246.63333333333333 |
| DRESDEN/grid_game2/kypTYQ | 8.122186076156234 | 1656.6 | 203.95986800439985 |
| BASE/duplicateStateLarge/dcjyuw | 8.344029092464838 | 5200.833333333333 | 623.3 |
| DRESDEN/merrills/aYEzwA | 8.373602236379334 | 174.9491717494917 | 20.892940315390245 |
| BASE/othelloSuicide/B442jg | 8.405674039721065 | 37.46541781940602 | 4.457158062799361 |
| BASE/merrills/pku8Tg | 8.454865999495464 | 179.16069464351187 | 21.190246498785804 |
| DRESDEN/pentago_2008/hLjVpQ | 8.529376730697846 | 2042.4333333333334 | 239.45868471050966 |
| BASE/wargame03/klXI8w | 8.58944079454909 | 3389.5666666666666 | 394.62017932735574 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 8.615724692526017 | 1821.0 | 211.35772845430913 |
| BASE/othello-comp2007/86ZoMw | 8.64467456606674 | 37.26894254787677 | 4.311202493864827 |
| DRESDEN/capture_the_king/EQ229Q | 8.660771376741904 | 407.772815145657 | 47.08273633001233 |
| DRESDEN/quad/JPe6fg | 8.68643785404865 | 13.062312562479173 | 1.5037593984962405 |
| DRESDEN/hanoi_6_disks/MeubgQ | 8.68847206284756 | 32810.566666666666 | 3776.3333333333335 |
| BASE/qyshinsu/R08Lzw | 8.808415378570082 | 812.7729075697476 | 92.27231830450864 |
| STANFORD/knightstourmedium/x1wu8Q | 9.096750973647124 | 80038.06666666667 | 8798.533333333333 |
| BASE/hanoi_6_disks/MeubgQ | 9.230688858067499 | 33276.63333333333 | 3605.0 |
| DRESDEN/babel/WdSW4A | 9.280039303761932 | 2203.7 | 237.46666666666667 |
| STANFORD/nineboardtictactoe/y28P-A | 9.30022844894778 | 1988.5 | 213.81195213811952 |
| BASE/quad_7x7/q-JOXg | 9.388112112483245 | 78.15931323617488 | 8.325349367339522 |
| DRESDEN/quad_7x7/q-JOXg | 9.646950776017407 | 86.5439046318804 | 8.971114981433407 |
| BASE/blokbox_simple/JBx4bg | 9.650485436893206 | 7.281553398058253 | 0.7545271629778671 |
| BASE/amazonsTorus_10x10/Uxc08g | 9.667359127499351 | 1240.9666666666667 | 128.36666666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 9.751744810427821 | 2003.2666666666667 | 205.4264857838072 |
| BASE/skirmishHoles/AUCxCA | 9.9080119503189 | 327.93333333333334 | 33.09779348043464 |
| BASE/amazonsSuicide/dE1QEQ | 9.93905851838369 | 13.526119402985074 | 1.3609055000497892 |
| DRESDEN/Zhadu/9zpQ5w | 10.10845802919708 | 553.6666666666666 | 54.772613693153424 |
| BASE/mineClearingSmall/frsbvw | 10.799909143980118 | 2076.0333333333333 | 192.22692576914102 |
| BASE/battlebrushes/arCwyA | 10.962685896040213 | 93.79762772513419 | 8.55608092894593 |
| BASE/snakeParallel/RCVNtw | 11.476605344885183 | 23666.266666666666 | 2062.131262291257 |
| BASE/skirmishFinal3/-Olhfw | 12.083189109464954 | 575.4474850838305 | 47.62380857161901 |
| BASE/cephalopodMicro/9l2D3g | 12.538600376647835 | 221.86666666666667 | 17.694691592522243 |
| DRESDEN/CephalopodMicro/H3XQfg | 12.559999999999999 | 219.79267357754742 | 17.499416686110465 |
| BASE/skirmishFinal1/ecWTnQ | 12.861857142857142 | 531.0 | 41.28486221718703 |
| DRESDEN/skirmishfinal/hzq8ww | 12.866447031586814 | 559.4480183993867 | 43.481158164795254 |
| BASE/skirmishFinal2/gdB62Q | 13.020600258206617 | 550.9483017232759 | 42.313586992736724 |
| BASE/skirmish/Y_psYQ | 14.222633294975068 | 411.6666666666667 | 28.944475901808612 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 14.440312012813669 | 901.4666666666667 | 62.4270906242709 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 15.733981991790568 | 921.2719152056529 | 58.5530042989969 |
| BASE/amazons/RKKZjw | 15.882300925783534 | 13.561242169798748 | 0.8538587848932676 |
| BASE/strangeSkirmish/gc1zKA | 16.05714427145133 | 413.7390840610626 | 25.766666666666666 |
| DRESDEN/battlebrushes/QHXV4A | 16.814919985123304 | 338.0553981533949 | 20.10449044375372 |
| DRESDEN/amazons/dNB28A | 16.957361596981656 | 164.38401812789496 | 9.693961952026468 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 18.031246041934104 | 936.2666666666667 | 51.92467922012998 |
| BASE/gt_attrition/kD_SCA | 18.45726368508023 | 369.12102929902335 | 19.99868645737554 |
| BASE/hitori/S8Gsyg | 18.75754210797573 | 747.6417452751575 | 39.85819362533961 |
| STANFORD/skirmish/w4V6Vw | 19.22711393661703 | 559.2666666666667 | 29.08739546196648 |
| DRESDEN/hitori/S8Gsyg | 19.537711335086183 | 742.3666666666667 | 37.996603283492625 |
| BASE/wargame02/BkVqqQ | 20.324043401509616 | 5564.166666666667 | 273.77262273772624 |
| DRESDEN/small_dominion/yB5GJA | 20.905713762410624 | 38.1964101368677 | 1.8270799347471451 |
| STANFORD/madness/UO_B3A | 25.717119976905312 | 741.7 | 28.84071002764179 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 38.09931801249355 | 88639.33333333333 | 2326.5333333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 38.74859589289601 | 88999.06666666667 | 2296.8333333333335 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 43.29985922102299 | 12.35726575942437 | 0.2853881278538813 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 44.857894117647064 | 177.8 | 3.963627885287946 |
| DRESDEN/laikLee_hex/ZeP3QQ | 66.7729889995849 | 1639.9666666666667 | 24.56033032573788 |
| BASE/laikLee_hex/zbyscQ | 126.28199502308354 | 1643.626929217669 | 13.015528689717204 |
| BASE/onestep/xi53wA | 135.1454685967831 | 2862079.2 | 21177.766666666666 |
| BASE/queens/HyJJnQ | 153.60849499999998 | 688.1 | 4.479569961283717 |
| DRESDEN/queens/mW2wHQ | 169.79666000000003 | 692.2 | 4.076640847941296 |
| BASE/survival/YVIjJA | 175.44272590506066 | 2740503.1 | 15620.5 |
| STANFORD/buttonsandlights/eyhJpA | 188.35479413358985 | 4111879.3333333335 | 21830.5 |
| BASE/haystack/UkweGA | 258.18691550582406 | 4842433.3 | 18755.533333333333 |
| BASE/switches/tPUoCg | 267.23209604361244 | 2222213.033333333 | 8315.666666666666 |
| BASE/ruleDepthLinear/OUBJpQ | 283.45548503739866 | 4536204.266666667 | 16003.233333333334 |
| DRESDEN/troublemaker02/iZLVuA | 349.15421997310733 | 4171950.6666666665 | 11948.733333333334 |
| BASE/troublemaker01/s3tlEQ | 349.70439273587505 | 4572781.266666667 | 13076.133333333333 |
| DRESDEN/troublemaker01/C-lPWw | 382.2450198716155 | 4690312.033333333 | 12270.433333333332 |
| BASE/buttons/hTcUjw | 387.471101062543 | 4164461.9 | 10747.8 |
| DRESDEN/buttons/ADUaHw | 390.25828785533923 | 4152374.2 | 10640.066666666668 |
| BASE/troublemaker02/DI83KA | 393.38399078916905 | 4134216.6 | 10509.366666666667 |
| DRESDEN/statespacesmall/h-NqjA | 440.9637249512955 | 3930882.933333333 | 8914.3 |
| BASE/stateSpaceSmall/Q7osKA | 464.82082706174253 | 4127810.3666666667 | 8880.433333333332 |
| BASE/maze/cCX3qQ | 505.5927003062271 | 5690580.666666667 | 11255.266666666666 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 512.4861960984806 | 2138468.2333333334 | 4172.733333333334 |
| BASE/gt_centipede/9fRMpw | 527.573905693035 | 3931990.7333333334 | 7452.966666666666 |
| BASE/pearls/6k_mEQ | 549.0124876641615 | 6749998.733333333 | 12294.8 |
| BASE/duplicateStateSmall/bCPAXw | 662.1244944153772 | 4163505.033333333 | 6288.1 |
| BASE/blocksWorld/SEdXLQ | 687.7702559708465 | 4441459.833333333 | 6457.766666666666 |
| BASE/blocks/xIV5hQ | 707.1182033220643 | 4504012.966666667 | 6369.533333333334 |
| DRESDEN/blocks/vg0DRw | 719.674331863344 | 4514996.866666666 | 6273.666666666667 |
| BASE/hodgepodge/9yjRkw | 785.1276474730513 | 2898848.3 | 3692.2 |
| BASE/gt_dollar/TGjqRw | 786.5545566511032 | 3767937.1666666665 | 4790.433333333333 |
| STANFORD/threepuzzle/41ibjA | 826.1403744543993 | 4794918.733333333 | 5804.0 |
| STANFORD/3puzzle/41ibjA | 866.1993581745569 | 5299378.8 | 6117.966666666666 |
| STANFORD/tictactoe7/-bE9-A | 875.5960312721313 | 2101809.9 | 2400.4333333333334 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1001.0198927060079 | 514.4780247242678 | 0.5139538469445444 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1173.7931746983936 | 518.5629540758515 | 0.4417839234830245 |
| STANFORD/sukoshi/4LYZZQ | 1180.3561787119588 | 1579867.4 | 1338.4666666666667 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1528.4928215847522 | 3704964.7 | 2423.9333333333334 |
| BASE/tictactoe-init1/7M19vA | 1617.0352947884594 | 3781275.3333333335 | 2338.4 |
| STANFORD/tictactoe5/WFRReg | 1631.2944065715376 | 3852628.0 | 2361.7 |
| BASE/blocksWorldSerial/Wyg96Q | 1741.8894018887722 | 4980061.8 | 2859.0 |
| STANFORD/tictactoe3/X7myng | 1841.3824107210842 | 4030479.2 | 2188.8333333333335 |
| DRESDEN/blocksworldparallel/2JfVaw | 1910.5170489018324 | 3148914.2 | 1648.2 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2277.694085 | 1501.1 | 0.659043727551323 |
| DRESDEN/satlike_20v_91c/yeuENQ | 2770.304259432076 | 1491.1345153979469 | 0.5382565869149823 |
| BASE/snake2p/I3wWPQ | 2868.74148975898 | 685032.6333333333 | 238.7920402653245 |
| BASE/minichess/8NQEiA | 3413.856701759607 | 3058929.4 | 896.0333333333333 |
| BASE/blocksWorldParallel/RseaAQ | 7684.463265602865 | 3242479.2666666666 | 421.9526015799473 |
| DRESDEN/coins/QwFP9w | 9026.870665779274 | 3311547.566666667 | 366.8544381853938 |
| BASE/coins/QnGtnQ | 9290.686329493199 | 3429892.7333333334 | 369.17538830744616 |
| BASE/coins_atomic/AA3SSw | 9351.609071484072 | 3209472.2333333334 | 343.2 |
| BASE/ad_game_2x2/D0aWqg | 98374.3020771605 | 1765675.8333333333 | 17.948547497174765 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE: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 | |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
| BASE/alexChess/LNo83g | Exception of type NullPointerException | Exception of type StackOverflowError |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | Test process timed out after 240 seconds |