Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | FLUXPLAYER_PROLOG:1.1 states per second |
BASE/pancakes88/l2Xaig | 0.004061815623154535 | 179.53333333333333 | 44200.2665778074 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.004188994160573672 | 177.12742908569714 | 42284.0 |
BASE/gt_two_thirds_4p/DStnxQ | 0.03947734020431934 | 720.8759708009733 | 18260.5 |
BASE/gt_two_thirds_2p/1APDGg | 0.1417621233321717 | 2698.3333333333335 | 19034.233333333334 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.32181756296800546 | 945.5 | 2938.0 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.3252294630564479 | 944.9 | 2905.3333333333335 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.3409566007725517 | 1000.3666666666667 | 2934.0 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.3999883422709256 | 1143.7 | 2859.3333333333335 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.5856491545137743 | 8576.5 | 14644.433333333332 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.6028786489772935 | 7387.333333333333 | 12253.433333333332 |
DRESDEN/pancakes/hl9aiQ | 0.6119758329685409 | 30802.6 | 50333.03333333333 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.6137782191621217 | 7375.2 | 12016.066666666668 |
BASE/pancakes6/QZTdnw | 0.6285511672569626 | 31790.4 | 50577.26666666667 |
DRESDEN/pancakes6/SZXMyQ | 0.6344299322659732 | 31992.8 | 50427.63333333333 |
BASE/pancakes/yUgbXw | 0.6638679758063584 | 32528.933333333334 | 48999.1 |
BASE/shmup/ssTNlg | 0.8741200170521513 | 17428.933333333334 | 19938.833333333332 |
BASE/snakeAssemblit/UO4sdg | 1.1382428011647554 | 2110.8333333333335 | 1854.4666666666667 |
BASE/choicethroughalt/tt71Lg | 1.1772046728457284 | 16388.533333333333 | 13921.566666666668 |
DRESDEN/Zhadu/9zpQ5w | 1.4547361107774859 | 26243.1 | 18039.766666666666 |
BASE/skirmishNew/sibw2g | 1.6007475519032708 | 5895.766666666666 | 3683.133333333333 |
BASE/skirmishZeroSum/zh4hcw | 1.7180268075319822 | 6374.566666666667 | 3710.4 |
BASE/eightPuzzle/vLrgFg | 1.8754143865492903 | 31529.466666666667 | 16812.0 |
DRESDEN/8puzzle/8fKC2w | 2.0452734815530853 | 33853.36666666667 | 16552.0 |
STANFORD/8puzzle/jNiGtw | 2.247089179164651 | 37157.86666666667 | 16536.0 |
DRESDEN/chinesecheckers4/-oVNYg | 2.2700051815267304 | 4364.9 | 1922.8590469843386 |
BASE/speedChess/bPnisA | 2.3223381801125704 | 6601.633333333333 | 2842.6666666666665 |
STANFORD/eightpuzzle/W_aWbA | 2.332167268972638 | 37645.066666666666 | 16141.666666666666 |
DRESDEN/crossers3/xiPTxg | 2.382508140933275 | 3436.370908606093 | 1442.3333333333333 |
BASE/crossers3/O0rORg | 2.4241018896656743 | 3502.1 | 1444.7 |
BASE/kalaha_2009/dRiN3g | 2.63535883199671 | 1708.7666666666667 | 648.4 |
DRESDEN/kalaha_2009/gcC8uA | 2.635481425322214 | 1738.1 | 659.5 |
DRESDEN/amazons/dNB28A | 2.66921768707483 | 209.26666666666668 | 78.4 |
BASE/2pffa_zerosum/o0_uZA | 2.6784445250766007 | 51655.333333333336 | 19285.57147617461 |
BASE/4pffa/Q3ADlg | 2.6999521301601295 | 32662.133333333335 | 12097.3008997001 |
BASE/knightfight/SJRkAg | 2.7043205889581774 | 15770.966666666667 | 5831.766666666666 |
BASE/3pffa/pR0dzA | 2.735989884185042 | 41800.2 | 15277.90736421193 |
BASE/3pttc/0sol9g | 2.7540007200396026 | 40797.76666666667 | 14814.0 |
DRESDEN/3pffa/0YrmQw | 2.919567175748434 | 46453.23333333333 | 15911.0 |
STANFORD/freeforall/Lfp40Q | 2.939904947263359 | 60527.166666666664 | 20588.13728757081 |
BASE/2pttc/unkkYA | 3.0329440572323714 | 61075.26666666667 | 20137.28757080973 |
BASE/2pffa/6oHijA | 3.0410675884662774 | 58666.96666666667 | 19291.569476841054 |
DRESDEN/knightfight/4_Ly4w | 3.08316919608803 | 18053.6 | 5855.533333333334 |
DRESDEN/3pttc/uwYBZw | 3.1009131240039625 | 47995.933333333334 | 15478.0 |
BASE/chineseCheckers3/-1rZdQ | 3.212823606194253 | 113715.0 | 35394.1 |
DRESDEN/knightstour/cGISAA | 3.3324346777663694 | 130365.4 | 39120.166666666664 |
BASE/chineseCheckers2/eCMR3Q | 3.4635983380859967 | 148304.7 | 42818.1 |
BASE/knightazons/apnJBQ | 3.5033441336464435 | 3928.5333333333333 | 1121.3666666666666 |
DRESDEN/knightazons/02I8BQ | 3.553160664656141 | 4005.8333333333335 | 1127.4 |
DRESDEN/roshambo2/jgSlkQ | 3.607214834270463 | 141458.73333333334 | 39215.5 |
BASE/roshambo2/KNPokQ | 3.618217349006546 | 141949.3 | 39231.833333333336 |
DRESDEN/battlebrushes/QHXV4A | 3.6410158254424285 | 1125.3166244500733 | 309.06666666666666 |
STANFORD/breakthrough/d5j0cQ | 3.893984666152255 | 15812.433333333332 | 4060.733333333333 |
BASE/gt_dollar/TGjqRw | 4.069924582871298 | 104603.16666666667 | 25701.5 |
STANFORD/knightstourbig/TQUI2g | 4.1609413857558675 | 145954.86666666667 | 35077.36666666667 |
BASE/chineseCheckers4/avfBcQ | 4.163997221584105 | 102111.06666666667 | 24522.366666666665 |
BASE/chineseCheckers6/rREH3A | 4.390593921368157 | 94476.8 | 21518.0 |
BASE/coloredtrails/EZvr7g | 4.397995527209476 | 26548.5 | 6036.5 |
DRESDEN/chinesecheckers3/QsCb2A | 4.537377721857609 | 13343.066666666668 | 2940.7 |
BASE/tron_10x10/7ZTgDg | 4.629010134544819 | 35322.433333333334 | 7630.666666666667 |
BASE/ruleDepthLinear/OUBJpQ | 4.679623527007127 | 354110.7 | 75670.76666666666 |
BASE/hexPie/48CH6Q | 4.921563176393494 | 8261.5 | 1678.6333333333334 |
BASE/chess_200/XsTpYA | 5.0044581618655695 | 3405.0333333333333 | 680.4 |
BASE/knightsTourLarge/M8jgLA | 5.1032388844607 | 180489.36666666667 | 35367.6107964012 |
BASE/gt_centipede/9fRMpw | 5.348484711600572 | 157870.86666666667 | 29516.933333333334 |
DRESDEN/chinesecheckers6/yTbPDA | 5.563360571757003 | 7420.966666666666 | 1333.9 |
STANFORD/platformjumpers/HEQskA | 5.639463370331767 | 30840.533333333333 | 5468.7 |
DRESDEN/queens/mW2wHQ | 5.669989770296661 | 20323.133333333335 | 3584.3333333333335 |
BASE/wargame02/BkVqqQ | 5.745959025649298 | 5936.533333333334 | 1033.1666666666667 |
STANFORD/pilgrimage/ObRZnQ | 5.798030869480354 | 51488.833333333336 | 8880.4 |
BASE/queens/HyJJnQ | 5.93488741474353 | 21173.7 | 3567.6666666666665 |
DRESDEN/blocksworldparallel/2JfVaw | 6.280089282023726 | 75967.1 | 12096.5 |
BASE/othelloSuicide/B442jg | 6.496869283925039 | 3094.8919645524247 | 476.3666666666667 |
BASE/othello-comp2007/86ZoMw | 6.647571898658 | 3175.9882674488367 | 477.76666666666665 |
BASE/solitaireChineseCheckers/-ET6gw | 6.687785033167496 | 51619.0 | 7718.4 |
BASE/snake2p/I3wWPQ | 6.708081194102073 | 81329.0 | 12124.033333333333 |
STANFORD/dualhunter/1rPZjQ | 6.776591186528371 | 55882.933333333334 | 8246.466666666667 |
STANFORD/threepuzzle/41ibjA | 7.370380521524728 | 223197.23333333334 | 30283.0 |
DRESDEN/frogs_and_toads/GjchhQ | 7.411995205605753 | 21437.466666666667 | 2892.266666666667 |
STANFORD/3puzzle/41ibjA | 7.509754482477587 | 226061.63333333333 | 30102.4 |
BASE/hodgepodge/9yjRkw | 7.849554850472379 | 132604.1 | 16893.2 |
BASE/knightsTour/mvtVIg | 7.866488443321056 | 307693.5 | 39114.46666666667 |
STANFORD/knightstourmedium/x1wu8Q | 7.99810330015715 | 318091.23333333334 | 39770.833333333336 |
BASE/asteroidsParallel/WauZiA | 8.016881378370101 | 108196.9 | 13496.133333333333 |
BASE/asteroids/BKCmPQ | 8.121525437702264 | 206871.76666666666 | 25472.033333333333 |
STANFORD/hunter/14dD-g | 8.243473063228311 | 101833.4 | 12353.215594801733 |
STANFORD/knightstour/cEwgNA | 8.333427119040735 | 322843.63333333336 | 38740.8 |
BASE/blocks/xIV5hQ | 8.393251293600365 | 260883.23333333334 | 31082.5 |
BASE/rubiksCube/9tNO9Q | 8.39459576776994 | 25785.4 | 3071.6666666666665 |
BASE/amazonsTorus_10x10/Uxc08g | 8.476178938122786 | 9328.6 | 1100.5666666666666 |
BASE/escortLatch/mX9BjQ | 8.585617696160266 | 34285.23333333333 | 3993.3333333333335 |
DRESDEN/mimikry/GJEhwA | 8.61755861655627 | 27798.233333333334 | 3225.766666666667 |
DRESDEN/cube_2x2x2/fp-34Q | 8.640854077132136 | 61256.166666666664 | 7089.133333333333 |
BASE/snakeParallel/RCVNtw | 8.882989479872576 | 167215.46666666667 | 18824.233333333334 |
DRESDEN/blocks/vg0DRw | 9.273415635749297 | 289274.0 | 31193.9 |
BASE/wargame03/klXI8w | 9.311152424300703 | 14524.466666666667 | 1559.9 |
DRESDEN/chinesecheckers1/Y-ftaA | 9.38328528966042 | 48073.0 | 5123.258913695435 |
BASE/blocksWorld/SEdXLQ | 9.469013518218498 | 292816.93333333335 | 30923.7 |
BASE/kalaha6x2x4/XS81Mg | 9.480277814179006 | 7234.4 | 763.1 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 9.604859545493301 | 322932.6666666667 | 33621.8 |
DRESDEN/hanoi7_bugfix/3gdnFw | 9.61896623929679 | 183098.83333333334 | 19035.188270576473 |
DRESDEN/max_knights/hCipiA | 9.649586218198206 | 31404.9 | 3254.5333333333333 |
BASE/hanoi_6_disks/MeubgQ | 9.838831075562567 | 186318.6 | 18937.066666666666 |
DRESDEN/tpeg/h-Scbg | 9.950068989306658 | 38460.333333333336 | 3865.3333333333335 |
BASE/max_knights/2fq3Ag | 9.96267768802054 | 31818.8 | 3193.8 |
BASE/tpeg/QNs7Lw | 9.97470268003041 | 38049.833333333336 | 3814.633333333333 |
DRESDEN/tictictoe/LAUtwg | 10.09311046544072 | 90433.93333333333 | 8959.966666666667 |
BASE/gt_tinfoil/Q8DyKg | 10.109847334042229 | 88737.5 | 8777.333333333334 |
BASE/numbertictactoe/rvJ-iQ | 10.159708002907966 | 101551.7 | 9995.533333333333 |
BASE/connect5/d-BVQg | 10.164696988397926 | 21961.166666666668 | 2160.5333333333333 |
BASE/amazonsSuicide_10x10/XIbQkg | 10.203541526320853 | 14136.666666666666 | 1385.4666666666667 |
DRESDEN/troublemaker02/iZLVuA | 10.268202562953713 | 566824.6333333333 | 55201.933333333334 |
BASE/hanoi7_bugfix/3gdnFw | 10.272234039002987 | 194946.8 | 18978.033333333333 |
DRESDEN/connect5/1kYzSg | 10.292444277720467 | 21949.666666666668 | 2132.6 |
DRESDEN/hanoi/RQ0jiA | 10.301031424530436 | 232335.3 | 22554.566666666666 |
DRESDEN/hanoi_6_disks/MeubgQ | 10.3016643919386 | 193729.66666666666 | 18805.666666666668 |
STANFORD/duikoshi/tpw1sw | 10.451189780412456 | 83449.26666666666 | 7984.666666666667 |
DRESDEN/peg/Vo31eg | 10.460617461936074 | 39665.26666666667 | 3791.866666666667 |
DRESDEN/peg_bugfixed/u_B7MA | 10.47155386626724 | 40315.13333333333 | 3849.9666666666667 |
BASE/troublemaker02/DI83KA | 10.594371840133688 | 581569.5666666667 | 54894.2 |
STANFORD/rainbow/_4qNSQ | 10.603591373452137 | 499113.1666666667 | 47070.2 |
BASE/peg/fJHVWw | 10.736456704737172 | 40516.166666666664 | 3773.7 |
BASE/circlesolitaire/azuQFQ | 10.82398172158883 | 219972.53333333333 | 20322.7 |
DRESDEN/circlesolitaire/ruUilQ | 10.838035851678322 | 220216.96666666667 | 20318.9 |
BASE/amazons_8x8/7SOsIw | 10.877130104368891 | 21851.066666666666 | 2008.9 |
BASE/ticTacHeaven/18n58A | 10.887774868552697 | 51147.5 | 4697.7 |
DRESDEN/sum15/CsgWKg | 10.897382685887603 | 157008.4 | 14407.9 |
BASE/wargame01/_GZFZg | 10.911103548335095 | 20305.2 | 1860.9666666666667 |
BASE/othelloHoles/c0qAzw | 10.919147119420751 | 4020.0659978000735 | 368.1666666666667 |
BASE/amazons_10x10/Bun8dA | 10.930362714044154 | 15298.5 | 1399.6333333333334 |
BASE/sum15/QZ07Kg | 11.106709256275856 | 159484.2 | 14359.266666666666 |
BASE/maze/cCX3qQ | 11.203203715335274 | 490504.26666666666 | 43782.5 |
BASE/onestep/xi53wA | 11.211267461239714 | 838404.3666666667 | 74782.3 |
BASE/dotsAndBoxes/EHwA_w | 11.268075979037215 | 84929.36666666667 | 7537.166666666667 |
DRESDEN/tictactoex9/rFkD4w | 11.354836683417085 | 24102.533333333333 | 2122.6666666666665 |
STANFORD/bestbuttonsandlights/nm0wEA | 11.356052927633757 | 434723.3333333333 | 38281.2 |
BASE/tictactoe_orthogonal/WRzlVw | 11.617062530295685 | 200515.53333333333 | 17260.433333333334 |
DRESDEN/hanoi7/51zz5Q | 11.625531337454797 | 219891.5 | 18914.533333333333 |
DRESDEN/troublemaker01/C-lPWw | 11.631239345608904 | 664563.2666666667 | 57136.066666666666 |
DRESDEN/pentago_2008/hLjVpQ | 11.654540406666726 | 88154.16666666667 | 7563.933333333333 |
BASE/dotsAndBoxesSuicide/jzQbLw | 11.671822404962214 | 88189.56666666667 | 7555.766666666666 |
BASE/eotcitcit/V_9_bg | 11.689058989690047 | 103188.56666666667 | 8827.790736421193 |
BASE/pentagoSuicide/SBgNhw | 11.7095328193521 | 88293.0 | 7540.266666666666 |
BASE/tictactoex9/BI26ow | 11.735876661684888 | 24866.366666666665 | 2118.8333333333335 |
BASE/aipsrovers01/4C4jsw | 11.738586149525018 | 87486.9 | 7452.933333333333 |
BASE/pegEuro/5awwhg | 11.75663656339035 | 37275.2 | 3170.5666666666666 |
BASE/ticTicToe/c1OobQ | 11.964216373088753 | 106669.7 | 8915.728090636454 |
BASE/incredible/8Qh-6Q | 11.991337811508288 | 115499.36666666667 | 9631.9 |
DRESDEN/aipsrovers01/qS47Mw | 12.012745921853021 | 87681.83333333333 | 7299.066666666667 |
STANFORD/tictictoe/rpt_Dw | 12.029469725460698 | 106621.2 | 8863.333333333334 |
BASE/troublemaker01/s3tlEQ | 12.161729229158412 | 687633.9 | 56540.8 |
DRESDEN/toetictac/mJtxCA | 12.174642925790664 | 219575.36666666667 | 18035.466666666667 |
BASE/hanoi/iGLsJg | 12.175515396967835 | 274978.3333333333 | 22584.533333333333 |
BASE/toetictac/mTThmg | 12.20692968500256 | 220204.46666666667 | 18039.3 |
BASE/catcha_mouse/cHv4dw | 12.261585710061558 | 60819.1 | 4960.133333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 12.291081125288272 | 328129.6666666667 | 26696.566666666666 |
DRESDEN/tictactoe/BTTzPw | 12.591671234871821 | 207493.53333333333 | 16478.633333333335 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 12.659363555781571 | 238980.93333333332 | 18877.8 |
BASE/chineseCheckers1/gqtwHw | 12.904209899661689 | 387278.56666666665 | 30011.8 |
STANFORD/trifecta/ss1kyQ | 12.951586192110714 | 197339.43333333332 | 15236.7 |
BASE/ticTacToeLargeSuicide/727_8g | 12.983875649625439 | 247502.1 | 19062.266666666666 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 13.069356024099891 | 224656.56666666668 | 17189.566666666666 |
BASE/survival/YVIjJA | 13.11353468597459 | 707976.1333333333 | 53988.2 |
DRESDEN/quartosuicide/WIU1oQ | 13.244796283819722 | 24901.1 | 1880.0666666666666 |
BASE/twisty-passages/DiZmmg | 13.25458310068863 | 151929.33333333334 | 11462.4 |
BASE/ticTacToeLarge/TZC0dg | 13.450596870673667 | 257464.6 | 19141.5 |
BASE/gt_staghunt/xPjLRA | 13.478130182421227 | 43345.666666666664 | 3216.0 |
BASE/guess/SPpk1A | 13.493363591573479 | 30125.733333333334 | 2232.633333333333 |
BASE/stateSpaceLarge/0Ge_CQ | 13.497210522834022 | 285639.6666666667 | 21162.866666666665 |
DRESDEN/twisty-passages/j7NPyg | 13.55218557741981 | 153902.23333333334 | 11356.266666666666 |
BASE/pentago/86NgKw | 13.60807595648661 | 101617.4 | 7467.433333333333 |
STANFORD/tictactoe/ss1kyQ | 13.620698182593403 | 212970.96666666667 | 15635.833333333334 |
DRESDEN/Goldrush/VeWczQ | 13.638805564289296 | 53500.03333333333 | 3922.633333333333 |
BASE/beatMania/qUHwvQ | 13.749221068249257 | 222407.4 | 16176.0 |
DRESDEN/point_grab/r5DPmQ | 13.751460502075334 | 413029.7 | 30035.333333333332 |
DRESDEN/quarto/OQzRYQ | 13.821673404816313 | 26210.5 | 1896.3333333333333 |
BASE/point_grab/V_osUg | 13.865187843445105 | 412119.6 | 29723.333333333332 |
BASE/ticTacHeavenFC/mrletw | 13.909274376230446 | 56285.73333333333 | 4046.633333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 13.91722327757011 | 45423.03333333333 | 3263.8 |
DRESDEN/pacman3p/rBnk8Q | 14.01905540261528 | 21727.666666666668 | 1549.8666666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 14.069679819828695 | 418981.93333333335 | 29779.066666666666 |
BASE/4pttc/AL1k2Q | 14.0938482619745 | 43612.5 | 3094.4351882705764 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 14.244231371321227 | 424630.0333333333 | 29810.666666666668 |
BASE/ticTacToe/JRFsaQ | 14.291829345343205 | 235251.13333333333 | 16460.533333333333 |
STANFORD/pentago/ZxzLmg | 14.303763597848766 | 89807.13333333333 | 6278.566666666667 |
DRESDEN/catcha_mouse/cHv4dw | 14.346501633610345 | 70549.4 | 4917.533333333334 |
DRESDEN/tictactoelargesuicide/6J4DeA | 14.377644417428822 | 272800.4666666667 | 18973.933333333334 |
DRESDEN/tictactoelarge/IwXcbg | 14.41641706326682 | 275149.3333333333 | 19085.833333333332 |
BASE/tictactoe2/bhrDoQ | 14.600354062773588 | 402469.4666666667 | 27565.733333333334 |
DRESDEN/eotcatcit/mQUxzA | 14.6612122835208 | 218979.86666666667 | 14936.0 |
DRESDEN/javastrike/whONTQ | 14.74766355140187 | 7679.6 | 520.7333333333333 |
BASE/pawnWhopping/Ypc_6Q | 14.816584985822862 | 109039.2 | 7359.266666666666 |
DRESDEN/tictactoe-init1/3ltIBQ | 14.848876550707036 | 262449.93333333335 | 17674.733333333334 |
BASE/tictactoe-init1/7M19vA | 14.990891316806378 | 271169.73333333334 | 18088.966666666667 |
STANFORD/nineboardtictactoe/y28P-A | 15.027320612855988 | 68754.5 | 4575.3 |
BASE/eotcatcit/AfZSzA | 15.108920191924815 | 228926.83333333334 | 15151.766666666666 |
DRESDEN/guess/PhxGhg | 15.27100077394773 | 34200.933333333334 | 2239.6 |
BASE/nineBoardTicTacToe/wRmqqA | 15.320657018899322 | 68742.76666666666 | 4486.933333333333 |
DRESDEN/latenttictactoe/kITHKg | 15.48013073187609 | 83519.43333333333 | 5395.266666666666 |
BASE/quarto/EwBMVQ | 15.50941662838769 | 29262.133333333335 | 1886.7333333333333 |
DRESDEN/4pttc/9pB9AQ | 15.53854547721982 | 49839.36666666667 | 3207.4666666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 15.553126410835214 | 183734.26666666666 | 11813.333333333334 |
BASE/quartoSuicide/-23jUg | 15.620949443380841 | 29373.633333333335 | 1880.4 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 15.638476358133081 | 116077.63333333333 | 7422.566666666667 |
STANFORD/tictactoe7/-bE9-A | 15.809039147946821 | 257480.76666666666 | 16286.933333333332 |
DRESDEN/chickentictactoe/Ipbo-g | 15.829557237816099 | 176065.83333333334 | 11122.6 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 15.857105212459947 | 477395.06666666665 | 30106.066666666666 |
BASE/chickentoetictac/l57rfQ | 15.98193043216383 | 191044.8 | 11953.8 |
BASE/haystack/UkweGA | 16.078683237972893 | 850260.6 | 52881.23333333333 |
BASE/ticTacToeParallel/ymRGPw | 16.166884415147376 | 54446.833333333336 | 3367.8 |
BASE/chickentictactoe/DSlZCA | 16.198715568862276 | 180345.7 | 11133.333333333334 |
BASE/kalaha5x2x3/WviNsw | 16.350869764651915 | 15446.666666666666 | 944.7 |
BASE/stateSpaceSmall/Q7osKA | 16.41616672131849 | 767630.9 | 46760.666666666664 |
BASE/switches/tPUoCg | 16.442840082052435 | 390100.9 | 23724.666666666668 |
DRESDEN/pawn_whopping/4ogBkg | 16.66315867555564 | 119807.0 | 7189.933333333333 |
BASE/asteroidsSerial/id2QkA | 16.708446142557122 | 132066.9 | 7904.2 |
DRESDEN/statespacesmall/h-NqjA | 16.782887658789296 | 788292.2333333333 | 46970.0 |
DRESDEN/tictactoeparallel/yk_DSg | 16.784561233159362 | 55315.2 | 3295.6 |
BASE/blocksWorldSerial/Wyg96Q | 16.796468758576527 | 183602.2 | 10931.0 |
STANFORD/tictactoe5/WFRReg | 17.091979955227384 | 293439.1 | 17168.233333333334 |
STANFORD/buttonsandlights/eyhJpA | 17.214687821765928 | 922886.3 | 53610.4 |
BASE/stateSpaceMedium/3bUoIw | 17.416240313655162 | 528318.1666666666 | 30334.8 |
STANFORD/connectfour/VMpZkQ | 17.417769492893864 | 244496.13333333333 | 14037.166666666666 |
BASE/connectFourSuicide/c8p9Kw | 17.823651055717168 | 252963.4 | 14192.569143618794 |
DRESDEN/connectfour/5tc-Mg | 17.939723074371944 | 252432.83333333334 | 14071.166666666666 |
DRESDEN/statespacemedium/dVJZ_w | 18.16432403468533 | 555948.2 | 30606.6 |
DRESDEN/Runners/3bOCQw | 18.262481938617412 | 139873.56666666668 | 7659.066666666667 |
STANFORD/triplesukoshi/Iu9mbA | 18.309751115721266 | 95318.73333333334 | 5205.9 |
BASE/connectFour_9x6/B9TtMw | 18.3302789725555 | 232118.76666666666 | 12663.133333333333 |
DRESDEN/buttons/ADUaHw | 18.353837240706376 | 561788.9333333333 | 30608.8 |
BASE/buttons/hTcUjw | 18.39962281911942 | 568147.2333333333 | 30878.2 |
BASE/cubicup_3player/e2yA_g | 18.49081269427454 | 49175.7 | 2659.4666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 18.72201041088776 | 52870.333333333336 | 2823.9666666666667 |
DRESDEN/gt_prisoner/huCp4w | 18.968389884763127 | 39504.833333333336 | 2082.6666666666665 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 18.99348635035696 | 785362.9333333333 | 41349.066666666666 |
DRESDEN/connectfoursuicide/M9CNQg | 19.057239412820785 | 264664.4 | 13887.866666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 19.149576050427385 | 111493.3 | 5822.233333333334 |
DRESDEN/statespacelarge/8-y5HQ | 19.203131779779984 | 401258.4 | 20895.466666666667 |
BASE/connectFourLarge/aU644A | 19.234108016484445 | 159618.73333333334 | 8298.733333333334 |
DRESDEN/cubicup/SBn_lw | 19.281343630638805 | 84302.53333333334 | 4372.233333333334 |
DRESDEN/cubicup_3player/awDtsQ | 19.624910719879708 | 52205.53333333333 | 2660.1666666666665 |
STANFORD/multiplebuttonsandlights/cK70Yg | 19.806027090611924 | 786861.7666666667 | 39728.4 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 19.819860883797052 | 80732.9 | 4073.3333333333335 |
BASE/connectFour/WAIKTw | 19.836653425387098 | 270655.26666666666 | 13644.2 |
BASE/zhadu/DlA8iQ | 20.09926480489053 | 24878.2 | 1237.7666666666667 |
BASE/gt_prisoner/klthDw | 20.10607794618002 | 43335.3 | 2155.3333333333335 |
BASE/cubicup/4wNWJA | 20.21478015241111 | 86830.56666666667 | 4295.4 |
BASE/connectFourSimultaneous/7ITr3g | 20.4327091513138 | 135305.4 | 6622.0 |
BASE/gt_chicken/gmepTQ | 21.32932266848196 | 41777.03333333333 | 1958.6666666666667 |
BASE/nonogram_5x5_1/qLKEZw | 21.60683659319807 | 157897.0 | 7307.733333333334 |
BASE/pacman3p/wW7UVQ | 22.23007219211242 | 34590.73333333333 | 1556.0333333333333 |
BASE/lightsOnSimul4/9FeASw | 22.38993666155238 | 94854.96666666666 | 4236.5 |
STANFORD/tictactoe3/X7myng | 22.611704726023167 | 402712.2 | 17809.9 |
DRESDEN/gt_chicken/CeuKtw | 22.761183533447685 | 44232.566666666666 | 1943.3333333333333 |
BASE/pearls/6k_mEQ | 22.936785444865222 | 808770.9333333333 | 35260.86666666667 |
STANFORD/sukoshi/4LYZZQ | 23.35964013241549 | 284140.43333333335 | 12163.733333333334 |
BASE/queens06ug/7Lq3tw | 23.41759269910656 | 203569.13333333333 | 8693.0 |
STANFORD/dualrainbow/G3OnRQ | 23.836110885733603 | 293780.06666666665 | 12325.0 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 23.87485276796231 | 143239.56666666668 | 5999.6 |
BASE/tictactoe_3d_small_2player/oOryKA | 24.112807346368403 | 144945.3 | 6011.133333333333 |
BASE/ticTacToeNoVars/XT03NA | 24.211850218465433 | 415046.8 | 17142.3 |
BASE/bomberman2p/4CClwA | 24.256340033959574 | 73808.0 | 3042.8333333333335 |
DRESDEN/blocker/S815zQ | 24.806133449815746 | 355880.36666666664 | 14346.466666666667 |
BASE/amazons/RKKZjw | 25.27572016460905 | 204.73333333333332 | 8.1 |
BASE/snake_2008/i6K26g | 25.362867339295942 | 38377.4 | 1513.1333333333334 |
BASE/breakthroughSmallHoles/bxclRw | 25.46277962298311 | 133138.93333333332 | 5228.766666666666 |
BASE/connectFourLarger/qKi60A | 25.602181955276983 | 72435.4 | 2829.266666666667 |
DRESDEN/brain_teaser_extended/ZDp94A | 25.63623083714584 | 212934.53333333333 | 8306.0 |
BASE/brain_teaser_extended/ZDp94A | 25.647082324455205 | 211844.9 | 8260.0 |
BASE/coins_atomic/AA3SSw | 25.752916747926445 | 74828.53333333334 | 2905.633333333333 |
DRESDEN/coins/QwFP9w | 25.767523231772433 | 75607.06666666667 | 2934.2 |
BASE/coins/QnGtnQ | 25.959263162718237 | 75534.53333333334 | 2909.733333333333 |
BASE/dualConnect4/WbCQkg | 26.147087794957244 | 177848.13333333333 | 6801.833333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 26.174370686659053 | 70290.4 | 2685.4666666666667 |
DRESDEN/bomberman2p/x4h6jQ | 26.452546756864308 | 79770.3 | 3015.6 |
BASE/blocker/dIWtxg | 26.494762755108223 | 364494.63333333336 | 13757.233333333334 |
DRESDEN/snake_2008/E56l3A | 26.514285083945552 | 40060.433333333334 | 1510.9 |
BASE/snake_2008_tweaked/bX0NJQ | 26.82975841548983 | 40276.833333333336 | 1501.2 |
BASE/queens08ug/kJ_ZFQ | 26.887989700350946 | 142286.83333333334 | 5291.836054648451 |
STANFORD/untwistycorridor/EDPPAQ | 27.16132654840327 | 836042.8333333334 | 30780.633333333335 |
BASE/tictactoe_3player/GtM71g | 27.430373623102113 | 73710.9 | 2687.2 |
BASE/duplicateStateSmall/bCPAXw | 27.552462862624118 | 708520.7666666667 | 25715.333333333332 |
BASE/untwistycomplex2/EDPPAQ | 28.67297570941497 | 847695.5 | 29564.266666666666 |
DRESDEN/oisters_farm/pTQMLg | 29.067030758186537 | 877291.4333333333 | 30181.666666666668 |
BASE/lightsOn/MsXu3A | 29.095830848766266 | 847393.7666666667 | 29124.233333333334 |
BASE/pacman2p/4LEdQg | 29.214921617960137 | 20127.133333333335 | 688.9333333333333 |
BASE/double_tictactoe_dengji/zgaSbA | 29.379694858906877 | 98978.23333333334 | 3368.9333333333334 |
BASE/queens12ug/u6Bkmg | 29.71571460018711 | 71995.23333333334 | 2422.8 |
DRESDEN/snake_2009/zIYLVw | 29.963729117614083 | 35632.86666666667 | 1189.2 |
BASE/doubletictactoe/HH1htg | 30.133768032075395 | 97203.5 | 3225.733333333333 |
DRESDEN/hallway/0H4l-Q | 30.158704982272816 | 10774.7 | 357.26666666666665 |
BASE/queens16ug/gT-ylw | 30.2084843924972 | 43147.5 | 1428.323892035988 |
BASE/hallway/ckCJOw | 30.31521636208692 | 10671.966666666667 | 352.03333333333336 |
BASE/battlebrushes/arCwyA | 30.664852576467347 | 14837.7 | 483.8666666666667 |
DRESDEN/bidding-tictactoe/yW5vTA | 31.127505977561157 | 67696.1 | 2174.8 |
BASE/snake_2009/7l-qAQ | 31.417891747410625 | 37613.5 | 1197.2 |
BASE/tictactoe_3d_2player/IUC1rQ | 31.652089345418947 | 82992.83333333333 | 2622.0333333333333 |
BASE/four_way_battle/xSOQXA | 31.660287825748735 | 27132.866666666665 | 857.0 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 31.824279757955097 | 107113.1 | 3365.766666666667 |
DRESDEN/lightson2x2/gBHuig | 31.923013698630136 | 539871.3666666667 | 16911.666666666668 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 32.09232410818582 | 476207.3 | 14838.666666666666 |
DRESDEN/tictactoe_3player/ESLQQQ | 32.16474834420658 | 86443.83333333333 | 2687.5333333333333 |
BASE/3pConnectFour/PqXOFQ | 32.25615331266896 | 227899.4 | 7065.3 |
BASE/withConviction/3Xm54A | 32.762966079308086 | 111622.33333333333 | 3406.9666666666667 |
BASE/biddingTicTacToe/8mESVw | 33.01425514555334 | 71485.76666666666 | 2165.3 |
DRESDEN/doubletictactoe/lJzgmQ | 33.2176604085001 | 107337.33333333333 | 3231.3333333333335 |
BASE/doubletoetictac/fu35bg | 33.83389445419808 | 109204.53333333334 | 3227.6666666666665 |
DRESDEN/bunk_t/7-tPfA | 34.37064751800398 | 109929.93333333333 | 3198.366666666667 |
BASE/snake_2009_big/-oRfVw | 34.667791744258224 | 29786.566666666666 | 859.2 |
DRESDEN/doubletoetictac/V89gKQ | 34.733085053262315 | 111294.06666666667 | 3204.266666666667 |
DRESDEN/snake_2009_big/DgC1NQ | 35.44572829131653 | 30369.9 | 856.8 |
DRESDEN/four_way_battle/xSOQXA | 35.66564440993789 | 30624.9 | 858.6666666666666 |
BASE/reversi/d8UMeA | 36.50110173998936 | 16013.033333333333 | 438.7 |
BASE/mineClearingSmall/frsbvw | 37.577541837956815 | 38696.1 | 1029.7666666666667 |
BASE/lightsOnParallel/SC6enA | 38.528987856270106 | 515042.6666666667 | 13367.666666666666 |
BASE/bunk_t/xbpfIA | 38.60858831528846 | 123026.26666666666 | 3186.5 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 38.767496926369475 | 85137.3 | 2196.1 |
BASE/reversiSuicide/9OxJlg | 38.960844061857244 | 17047.966666666667 | 437.56666666666666 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 39.19034665550673 | 37458.13333333333 | 955.8 |
DRESDEN/grid_game/U7_Yeg | 40.30318604547679 | 60382.23333333333 | 1498.2 |
BASE/knightmove/jBaJEw | 41.623971813537764 | 208318.26666666666 | 5004.766666666666 |
BASE/gt_coordination/IVMOzA | 42.13724213606437 | 192005.36666666667 | 4556.666666666667 |
DRESDEN/knightmove/97Ipcw | 42.619133634387026 | 212349.83333333334 | 4982.5 |
DRESDEN/ghostmaze2p/HY0UwA | 42.83016972016132 | 103718.96666666666 | 2421.633333333333 |
BASE/mummyMaze2p_2007/YGA3Vw | 43.24322345439847 | 94496.53333333334 | 2185.233333333333 |
BASE/ghostMaze2p/W-NU-w | 43.624928681760615 | 104497.7 | 2395.366666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 44.09392544877517 | 592601.2 | 13439.520159946684 |
BASE/factoringGeorgeForman/HGRorQ | 44.12485393745241 | 896216.9666666667 | 20310.933333333334 |
BASE/futoshiki4/BaCwSw | 44.691413093715404 | 138598.5 | 3101.233333333333 |
BASE/blocksWorldParallel/RseaAQ | 45.53883416760859 | 84606.6 | 1857.9 |
DRESDEN/lightsout/XgLpzQ | 46.2599085021097 | 170488.03333333333 | 3685.4381872709096 |
DRESDEN/lightsout2/LFtfyQ | 46.78590851791824 | 173201.43333333332 | 3702.0 |
DRESDEN/smallest/9kaGFw | 47.1109496124031 | 3241.233333333333 | 68.8 |
BASE/lightsOut/5P1ZBw | 48.201559419250756 | 179277.66666666666 | 3719.3333333333335 |
BASE/duplicateStateLarge/dcjyuw | 48.763318237958 | 197410.16666666666 | 4048.3333333333335 |
BASE/duplicateStateMedium/U163eQ | 51.95647504834407 | 453174.76666666666 | 8722.2 |
DRESDEN/firefighter/WJmoPw | 57.44669759631682 | 971592.1666666666 | 16912.933333333334 |
STANFORD/multipletictactoe/_bkafQ | 59.13898186073727 | 84223.76666666666 | 1424.1666666666667 |
BASE/firefighter/WJmoPw | 60.91858154664616 | 1013782.6666666666 | 16641.6 |
DRESDEN/connect4/T0-rHQ | 63.06270656543099 | 70598.7 | 1119.5 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 65.57814021421616 | 44899.166666666664 | 684.6666666666666 |
BASE/slidingpieces/uFJWEw | 67.25847059180391 | 73910.33333333333 | 1098.9 |
BASE/connect4/50bOyw | 67.78349836958148 | 75526.63333333333 | 1114.2333333333333 |
DRESDEN/slidingpieces/s9_44g | 70.86728395061729 | 76536.66666666667 | 1080.0 |
BASE/hitori/S8Gsyg | 75.25256495118319 | 60633.5 | 805.7333333333333 |
BASE/racer4/0vs7Ww | 75.70198675496688 | 9144.8 | 120.8 |
DRESDEN/hitori/S8Gsyg | 76.0879738342838 | 60484.86666666667 | 794.9333333333333 |
DRESDEN/backgammon/mqCW0Q | 76.4494716618636 | 26527.966666666667 | 347.0 |
BASE/nonogram_10x10_1/0Xc62g | 78.11047188790457 | 73770.13333333333 | 944.4333333333333 |
DRESDEN/grid_game2/kypTYQ | 79.11752654383366 | 190512.36666666667 | 2407.9666666666667 |
DRESDEN/fizzbuzz/t1xHzQ | 85.80658409387222 | 526509.2 | 6136.0 |
BASE/futoshiki5/TJ4BZg | 86.17742359513637 | 87412.63333333333 | 1014.3333333333334 |
BASE/ticTacToeSerial/Amrwqw | 86.84716062475896 | 120103.83333333333 | 1382.9333333333334 |
DRESDEN/babel/WdSW4A | 86.91576950229438 | 65661.96666666666 | 755.4666666666667 |
BASE/blockerParallel/7-nDJA | 92.36087116338908 | 33502.36666666667 | 362.73333333333335 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 92.97828046881405 | 37814.26666666667 | 406.7 |
DRESDEN/blockerparallel/dVQgSg | 93.0066200809121 | 33718.0 | 362.53333333333336 |
DRESDEN/battle/8oAvhQ | 93.54819193324062 | 44840.76666666667 | 479.3333333333333 |
DRESDEN/chomp/-LcqYQ | 94.10652397796984 | 70056.03333333334 | 744.4333333333333 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 96.16912905068975 | 39272.26666666667 | 408.3666666666667 |
BASE/battle/8oAvhQ | 98.03115093039283 | 47414.4 | 483.6666666666667 |
BASE/chomp/-LcqYQ | 105.38052865741952 | 80531.8 | 764.2 |
DRESDEN/gt_ultimatum/pAiiQw | 105.88972868217054 | 54639.1 | 516.0 |
DRESDEN/logistics/fPru1Q | 110.9622026431718 | 41980.7 | 378.3333333333333 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 111.69430932703659 | 315350.26666666666 | 2823.3333333333335 |
BASE/futoshiki6/JmvXNA | 114.33161426618615 | 61335.1 | 536.4666666666667 |
BASE/gt_ultimatum/GE-uOA | 123.07619691358023 | 62009.73333333333 | 503.8320559813396 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 126.7808127453244 | 366058.4666666667 | 2887.3333333333335 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 135.84220732521703 | 352592.0333333333 | 2595.6 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 151.42093599269978 | 425901.6666666667 | 2812.7 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 153.89112156192104 | 431941.6 | 2806.8 |
BASE/conn4/va9Y7A | 154.047484584798 | 178212.4 | 1156.8666666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 164.3445731714668 | 454407.26666666666 | 2764.9666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 174.15586750488166 | 487566.76666666666 | 2799.6 |
BASE/racer/QQYQNw | 175.31808278867103 | 2682.366666666667 | 15.3 |
BASE/hidato19/rRHSmA | 177.45392103839913 | 109370.76666666666 | 616.3333333333334 |
DRESDEN/sat_test_20v_91c/dK7nVw | 183.06592067139573 | 305384.4666666667 | 1668.1666666666667 |
DRESDEN/racer/vk_ZBA | 183.359375 | 2738.1666666666665 | 14.933333333333334 |
BASE/sudokuGrade1/tDRNRw | 183.3689376443418 | 10586.5 | 57.733333333333334 |
BASE/qyshinsu/R08Lzw | 191.09834791059282 | 32773.36666666667 | 171.5 |
BASE/sudokuGrade5/BQfUQA | 192.35138387484957 | 10656.266666666666 | 55.4 |
BASE/sudokuGrade2/u80Tfw | 194.44080145719488 | 10674.8 | 54.9 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 195.08207205725097 | 316215.0333333333 | 1620.9333333333334 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 205.4759664553078 | 334857.3333333333 | 1629.6666666666667 |
BASE/sudokuGrade3/eI8dvg | 208.90099667774086 | 10479.866666666667 | 50.166666666666664 |
BASE/sudokuGrade4/DTy07w | 217.17852161785217 | 10381.133333333333 | 47.8 |
STANFORD/sudoku/oJ1qyQ | 220.57937088514996 | 10051.066666666668 | 45.56666666666667 |
BASE/sudokuGrade6H/ieE_9A | 241.07586206896553 | 9321.6 | 38.666666666666664 |
BASE/sudokuGrade6E/ihYFZA | 253.1109123434705 | 9432.6 | 37.266666666666666 |
DRESDEN/pawntoqueen/f_x6Aw | 283.18629715165514 | 24523.933333333334 | 86.6 |
BASE/tictactoe_3d_small_6player/g_9lww | 289.5976520811099 | 117586.3 | 406.03333333333336 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 309.381972483887 | 124763.1 | 403.26557814061977 |
STANFORD/duidoku/3SoMaA | 329.9063059042306 | 7882.133333333333 | 23.892035988004 |
DRESDEN/CephalopodMicro/H3XQfg | 332.42961608775136 | 48490.4 | 145.86666666666667 |
BASE/checkersTiny/Lr48cg | 341.44659685863877 | 43477.53333333333 | 127.33333333333333 |
BASE/cephalopodMicro/9l2D3g | 349.0020459195272 | 51175.333333333336 | 146.63333333333333 |
BASE/mummymaze2p/vpjDdA | 389.8927435675051 | 89909.26666666666 | 230.6 |
DRESDEN/mummymaze2p/k-8edg | 393.6282495667244 | 90849.4 | 230.8 |
STANFORD/selectivesukoshi/3xmXYg | 412.8011984490659 | 117111.7 | 283.7 |
BASE/pawnToQueen/-O1_JA | 466.87371744277823 | 39435.26666666667 | 84.46666666666667 |
BASE/checkersSmall/SYmq8w | 484.51493506493506 | 24871.766666666666 | 51.333333333333336 |
BASE/smallest_4player/ADDROA | 489.1680478821363 | 70831.53333333334 | 144.8 |
STANFORD/multiplesukoshi/vLSQPg | 503.9766492280209 | 131655.5 | 261.23333333333335 |
DRESDEN/ggp-course2013_michal13/jWKddg | 519.7835111542191 | 89316.13333333333 | 171.83333333333334 |
BASE/hidato37/pBrqxw | 540.5837427422956 | 40345.566666666666 | 74.63333333333334 |
BASE/checkers-newgoals/0XkFiA | 549.4796747967481 | 18022.933333333334 | 32.8 |
BASE/checkers/rOC3Xg | 551.6703163017032 | 15115.766666666666 | 27.4 |
DRESDEN/stratego/Z2wovg | 567.0134550696781 | 39331.833333333336 | 69.36666666666666 |
BASE/tictactoe_3d_6player/d7KSwg | 569.063784042045 | 79403.36666666667 | 139.53333333333333 |
DRESDEN/smallest_4player/ADDROA | 569.337246777164 | 82440.03333333334 | 144.8 |
DRESDEN/quad_7x7/q-JOXg | 587.2336561743341 | 32337.0 | 55.06666666666667 |
DRESDEN/othello-cornercontrol/r5Gdlg | 610.769411764706 | 8652.566666666668 | 14.166666666666666 |
BASE/cittaceot/fDxhXg | 610.8408104196817 | 42209.1 | 69.1 |
BASE/quad_7x7/q-JOXg | 617.1684782608695 | 34067.7 | 55.2 |
BASE/simultaneousWin2/PfjRjw | 678.6266504164128 | 111362.63333333333 | 164.1 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 707.021210676835 | 98888.7 | 139.86666666666667 |
BASE/blokbox_simple/JBx4bg | 724.4013605442176 | 3549.5666666666666 | 4.9 |
STANFORD/madness/UO_B3A | 806.5084159779616 | 6503.666666666667 | 8.063978673775408 |
BASE/checkers-mustjump-torus/uSApKQ | 864.1755319148937 | 5415.5 | 6.266666666666667 |
BASE/checkers-mustjump/T-8UuQ | 935.9819819819819 | 13852.533333333333 | 14.8 |
BASE/skirmish/Y_psYQ | 938.6641351351352 | 3471.9 | 3.6987670776407864 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 1029.7610294117646 | 9336.5 | 9.066666666666666 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 1058.3639705882354 | 9595.833333333334 | 9.066666666666666 |
STANFORD/skirmish/w4V6Vw | 1061.2530833333333 | 5373.433333333333 | 5.063291139240507 |
DRESDEN/capture_the_king/EQ229Q | 1115.3263725490197 | 5678.7 | 5.091514143094842 |
BASE/skirmishFinal1/ecWTnQ | 1160.7049545454545 | 5105.4 | 4.3985338220593135 |
BASE/skirmishFinal2/gdB62Q | 1167.4772727272725 | 5136.9 | 4.4 |
DRESDEN/skirmishfinal/hzq8ww | 1172.3215263157897 | 5192.1 | 4.428904428904429 |
BASE/skirmishFinal3/-Olhfw | 1400.8125 | 5976.8 | 4.266666666666667 |
DRESDEN/towerworld/HCX34w | 1590.9123606557375 | 3232.7 | 2.031978680879414 |
BASE/strangeSkirmish/gc1zKA | 1971.2182573099415 | 3744.0666666666666 | 1.8993668777074308 |
BASE/breakthroughSmall/HJ0tIA | 1982.745323741007 | 45933.6 | 23.166666666666668 |
BASE/skirmishHoles/AUCxCA | 2057.1186440677966 | 4045.6666666666665 | 1.9666666666666666 |
BASE/breakthroughSuicideSmall/XSbJog | 2082.645990922844 | 45887.63333333333 | 22.033333333333335 |
BASE/colonelBlottoVariant2/jruwGw | 2200.7276923076925 | 47682.433333333334 | 21.666666666666668 |
BASE/quad/tw-Ufg | 2244.4146341463415 | 12269.466666666667 | 5.466666666666667 |
DRESDEN/quad/JPe6fg | 2298.36875 | 12257.966666666667 | 5.333333333333333 |
BASE/golden_rectangle/_nYzfw | 3053.1587078651683 | 72461.63333333333 | 23.733333333333334 |
BASE/colonelBlottoVariant/X-n-KQ | 3088.2816666666668 | 61765.63333333333 | 20.0 |
DRESDEN/knightthrough/J7Fc_Q | 4360.39952173913 | 23377.433333333334 | 5.361305361305361 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4411.3632750397455 | 184983.16666666666 | 41.93333333333333 |
BASE/knightThrough/gcwFjA | 4577.608694444445 | 23795.633333333335 | 5.198267244251916 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 4729.3500823723225 | 191381.03333333333 | 40.46666666666667 |
DRESDEN/Thief_Police/CX18rA | 4821.207532051282 | 200562.23333333334 | 41.6 |
DRESDEN/catch_me/ghGWrA | 5039.439388513514 | 198823.6 | 39.45351549483505 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 5335.330935251798 | 24720.366666666665 | 4.633333333333334 |
BASE/breakthrough/TGxk-g | 5444.184752913753 | 25941.966666666667 | 4.765078307230923 |
BASE/breakthroughWalls/vOZaYA | 5461.370371980676 | 25105.566666666666 | 4.596935376415723 |
DRESDEN/breakthrough/z4hK7Q | 5561.597122302158 | 25768.733333333334 | 4.633333333333334 |
BASE/breakthroughSuicide/wZDpIg | 5605.263482014389 | 25962.4 | 4.631789403532156 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 5676.625179104478 | 25338.7 | 4.463690872751499 |
BASE/breakthroughHoles/nZk0Sg | 6164.083421568628 | 27934.533333333333 | 4.53182272575808 |
BASE/ttcc4_2player_small/Cv72TA | 7105.022727272726 | 62524.2 | 8.8 |
BASE/quad_5x5/JAEP5g | 13253.189024390244 | 72450.76666666666 | 5.466666666666667 |
DRESDEN/quad_5x5_8_2/JRTLJg | 13745.275 | 73308.13333333333 | 5.333333333333333 |
DRESDEN/quad_5x5/JAEP5g | 14015.90625 | 74751.5 | 5.333333333333333 |
DRESDEN/golden_rectangle/1uloXw | 20409.833333333332 | 73475.4 | 3.6 |
STANFORD/ttcc4/Cx9SGw | 24468.918294117648 | 27722.2 | 1.13295568143952 |
BASE/checkersTorus/2vm1EQ | 24627.196343749998 | 26242.766666666666 | 1.0656010656010657 |
BASE/ttcc4_2player/_aH_Mw | 26330.485714285714 | 30718.9 | 1.1666666666666667 |
BASE/blockerSerial/3eqDuw | 33370.095890410965 | 81200.56666666667 | 2.433333333333333 |
BASE/ttcc4_2player_alt/ZEJvYA | 33430.117647058825 | 37887.46666666667 | 1.1333333333333333 |
BASE/ttcc4/Le0qjQ | 42761.53846153846 | 18530.0 | 0.43333333333333335 |
DRESDEN/tttcc4/sAvtFg | 43490.05097435898 | 18833.133333333335 | 0.4330446369087275 |
BASE/tttcc4/8Bs2lg | 43939.25692307692 | 19034.0 | 0.433188937020993 |
BASE/copolymer_4_pie/IN5_jA | 78630.0 | 99598.0 | 1.2666666666666666 |
STANFORD/checkersonabarrelnokings/Zrevdw | 91331.0 | 33488.03333333333 | 0.36666666666666664 |
BASE/checkersBarrelNoKings/rnKNeg | 92740.9090909091 | 34005.0 | 0.36666666666666664 |
BASE/checkersTorusNoKings/pwb6oQ | 103333.22222222223 | 30999.966666666667 | 0.3 |
DRESDEN/ticblock/Z2yNWQ | Infinity | 159056.73333333334 | 0.0 |
BASE/queens08lg/Ru7eqQ | Infinity | 156379.7 | 0.0 |
BASE/colonelBlotto/jip21A | Infinity | 6431.866666666667 | 0.0 |
BASE/ad_game_2x2/D0aWqg | Infinity | 13479.6 | 0.0 |
BASE/crisscross/ICagEg | Infinity | 21702.066666666666 | 0.0 |
BASE/blobwars/0XT15Q | Infinity | 6089.166666666667 | 0.0 |
DRESDEN/crisscross/GsY16g | Infinity | 21597.2 | 0.0 |
BASE/englishDraughts/jFkQxg | Infinity | 47596.26666666667 | 0.0 |
BASE/ticblock/T21C1g | Infinity | 158481.16666666666 | 0.0 |
DRESDEN/blobwars/ZaMluQ | Infinity | 5927.5 | 0.0 |
BASE/gt_attrition/kD_SCA | Infinity | 9665.166666666666 | 0.0 |
BASE/queens31lg/0gID-A | Infinity | 21558.533333333333 | 0.0 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | FLUXPLAYER_PROLOG:1.1 error message |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/hex/T1MK8g | Test process failed to output results for unknown reason | |
BASE/nim1/hin2Qw | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason | |
DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason | |
DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason | |
BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason | |
STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason | |
STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason | |
DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason | |
DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason | |
BASE/endgame/jYjfOA | Test process failed to output results for unknown reason | |
DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason | |
DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason | |
BASE/nim4/twk16w | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason | |
DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason | |
DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
BASE/minichess/8NQEiA | Test process failed to output results for unknown reason | |
BASE/nim3/1OwUqw | Test process failed to output results for unknown reason | |
BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Test process failed to output results for unknown reason |