index

ALLOY_DIFF_PROP_NET:1 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
BASE/snakeAssemblit/UO4sdg10.0621754845884972110.8333333333335209.77902209779023
BASE/coins_atomic/AA3SSw26.78218542335270474828.533333333342793.9666666666667
DRESDEN/coins/QwFP9w27.48714841430458575607.066666666672750.633333333333
BASE/coins/QnGtnQ27.48809393840144875534.533333333342747.9
DRESDEN/amazons/dNB28A36.88477972709551209.266666666666685.673523556735236
DRESDEN/8puzzle/8fKC2w40.8610339971836733853.36666666667828.5
DRESDEN/tictactoeparallel/yk_DSg50.8692293544233955315.21087.4
BASE/coloredtrails/EZvr7g53.6116720516962926548.5495.2
BASE/pearls/6k_mEQ56.419843458606756808770.933333333314334.866666666667
BASE/haystack/UkweGA62.52774400407899850260.613598.133333333333
BASE/eightPuzzle/vLrgFg63.4757434885697731529.466666666667496.7167761074631
DRESDEN/latenttictactoe/kITHKg65.8168851296330483519.433333333331268.9666666666667
BASE/sum15/QZ07Kg69.63564650404611159484.22290.266666666667
DRESDEN/sum15/CsgWKg69.76084123222749157008.42250.6666666666665
DRESDEN/chinesecheckers4/-oVNYg69.987707108498134364.962.36666666666667
DRESDEN/javastrike/whONTQ70.622665399938717679.6108.7412936981371
DRESDEN/sheep_and_wolf/enAIzQ72.79720042082624793.9340.58864704509847
STANFORD/8puzzle/jNiGtw73.3958388201211637157.86666666667506.26666666666665
BASE/doubletictactoe/HH1htg74.5197025452315297203.51304.4
BASE/sudokuGrade6H/ieE_9A74.757188773055339321.6124.69168722085195
DRESDEN/tictactoex9/rFkD4w75.5960271824359624102.533333333333318.8333333333333
BASE/sudokuGrade6E/ihYFZA77.432484377564999432.6121.81709105452606
STANFORD/eightpuzzle/W_aWbA78.651159551500837645.066666666666478.6333333333333
BASE/tictactoex9/BI26ow78.7434944444444424866.366666666665315.7894736842105
DRESDEN/blocks2player/3ev8nQ78.76066595305453137348.11743.8666666666666
DRESDEN/blockerparallel/dVQgSg79.630008659371833718.0423.43333333333334
BASE/blockerParallel/7-nDJA79.9097235146022233502.36666666667419.2526915769474
STANFORD/sudoku/oJ1qyQ81.4812626857606110051.066666666668123.3543312335433
BASE/blocks2player/wnTLOQ81.9718343148648138726.41692.3666666666666
DRESDEN/tictictoe/LAUtwg82.4224693158342590433.933333333331097.2
STANFORD/breakthrough/d5j0cQ83.4834154026629115812.433333333332189.4080789228103
DRESDEN/doubletictactoe/lJzgmQ84.53311632058383107337.333333333331269.7666666666667
BASE/sudokuGrade1/tDRNRw85.2345332707271310586.5124.20435231779251
BASE/sudokuGrade3/eI8dvg85.4218743457393810479.866666666667122.68364218104253
BASE/sudokuGrade5/BQfUQA86.0387429494079610656.266666666666123.85428123854281
BASE/sudokuGrade4/DTy07w86.3683807912738110381.133333333333120.19599346688443
BASE/sudokuGrade2/u80Tfw86.8336672268907510674.8122.93388429752066
DRESDEN/bunk_t/7-tPfA87.28985468886478109929.933333333331259.3666666666666
DRESDEN/doubletoetictac/V89gKQ87.33741400507468111294.066666666671274.3
BASE/doubletoetictac/fu35bg88.2984125272889109204.533333333341236.7666666666667
DRESDEN/blocksworldparallel/2JfVaw90.0226339074103475967.1843.8666666666667
DRESDEN/smallest/9kaGFw92.93392995861193241.23333333333334.87674883411059
DRESDEN/chickentictactoe/Ipbo-g95.58232750040716176065.833333333341842.0333333333333
BASE/eotcitcit/V_9_bg95.93879195462857103188.566666666671075.5666666666666
BASE/blocks/xIV5hQ97.03191212387955260883.233333333342688.633333333333
BASE/bunk_t/xbpfIA99.10816326530613123026.266666666661241.3333333333333
DRESDEN/eotcatcit/mQUxzA101.52684449664636218979.866666666672156.866666666667
STANFORD/duidoku/3SoMaA101.873687970140687882.13333333333377.37163040218587
BASE/survival/YVIjJA103.15139093946694707976.13333333336863.466666666666
BASE/crisscross/ICagEg103.4780200360245721702.066666666666209.72634245525148
DRESDEN/crisscross/GsY16g103.9527670784533921597.2207.75974134195528
DRESDEN/tictactoe/BTTzPw106.82327704557935207493.533333333331942.4
BASE/blocksWorld/SEdXLQ108.0824351592106292816.933333333352709.2
BASE/ticTacToeParallel/ymRGPw108.6293440735075854446.833333333336501.2166261124629
BASE/tictactoe_orthogonal/WRzlVw109.37012054326286200515.533333333331833.3666666666666
DRESDEN/blocks/vg0DRw109.5167905503464289274.02641.366666666667
BASE/double_tictactoe_dengji/zgaSbA109.7721333123852598978.23333333334901.6699443351888
BASE/eotcatcit/AfZSzA109.99927925042044228926.833333333342081.1666666666665
DRESDEN/tpeg/h-Scbg111.1784544228175138460.333333333336345.93333333333334
BASE/tpeg/QNs7Lw113.1687369716797238049.833333333336336.2221259291357
BASE/onestep/xi53wA115.70209350145133838404.36666666677246.233333333334
DRESDEN/peg/Vo31eg115.8187183000811239665.26666666667342.4771681887874
DRESDEN/peg_bugfixed/u_B7MA117.3394092226102740315.13333333333343.57709486034264
BASE/shmup/ssTNlg118.7494490463215317428.933333333334146.77064587082583
DRESDEN/chinesecheckers3/QsCb2A119.9796399160923113343.066666666668111.2110911151103
DRESDEN/double_tictactoe_dengji/bGaUyQ120.56855020261145107113.1888.4
DRESDEN/tictactoe_orthogonal/y69QFQ122.44199186105662224656.566666666681834.8
DRESDEN/chickentoetictac/cxYaRQ123.6379704813602183734.266666666661486.0666666666666
BASE/numbertictactoe/rvJ-iQ124.65429623567921101551.7814.6666666666666
BASE/chickentoetictac/l57rfQ125.0675162571466191044.81527.5333333333333
BASE/ticblock/T21C1g131.16406422423304158481.166666666661208.2666666666667
DRESDEN/circlesolitaire/ruUilQ132.10375924815037220216.966666666671667.0
BASE/circlesolitaire/azuQFQ132.13944454456256219972.533333333331664.7
BASE/hodgepodge/9yjRkw134.77396076837078132604.1983.9
DRESDEN/chinesecheckers6/yTbPDA135.281607411907667420.96666666666654.85569552756115
BASE/brain_teaser_extended/ZDp94A137.4039954165135211844.91541.7666666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ138.99848321558295116077.63333333333835.1
BASE/incredible/8Qh-6Q139.0218664740812115499.36666666667830.8
DRESDEN/logistics/fPru1Q142.3074576271186241980.7295.0
DRESDEN/buttons/ADUaHw143.05075711278604561788.93333333333927.2
DRESDEN/toetictac/mJtxCA143.10177702467848219575.366666666671534.4
DRESDEN/cube_2x2x2/fp-34Q143.4730467770057561256.166666666664426.95243491883605
BASE/toetictac/mTThmg143.4993048918238220204.466666666671534.5333333333333
STANFORD/tictictoe/rpt_Dw144.18012170385396106621.2739.5
DRESDEN/brain_teaser_extended/ZDp94A144.7352727931847212934.533333333331471.2
BASE/tron_10x10/7ZTgDg145.329627655878635322.433333333334243.0504633024465
BASE/buttons/hTcUjw145.48479804704837568147.23333333333905.2
BASE/blocksWorldParallel/RseaAQ147.5831505668934484606.6573.2808906369787
STANFORD/duikoshi/tpw1sw148.5919990503323683449.26666666666561.6
BASE/ticTacHeaven/18n58A149.311681181278651147.5342.5552481583947
DRESDEN/ticblock/Z2yNWQ151.2713035759574159056.733333333341051.4666666666667
BASE/pancakes88/l2Xaig151.40644444444445179.533333333333331.1857707509881423
DRESDEN/troublemaker02/iZLVuA151.89448062098597566824.63333333333731.7
DRESDEN/troublemaker01/C-lPWw152.08093429142448664563.26666666674369.8
BASE/ticTicToe/c1OobQ152.81971585406617106669.7698.0100663311223
BASE/troublemaker01/s3tlEQ156.63166646419245687633.94390.133333333333
BASE/blocksWorldSerial/Wyg96Q157.08607118412047183602.21168.8
BASE/gt_dollar/TGjqRw157.13259225877522104603.16666666667665.7
BASE/troublemaker02/DI83KA159.2890323287471581569.56666666673651.0333333333333
BASE/catcha_mouse/cHv4dw160.4355771652158560819.1379.0873637545415
STANFORD/trifecta/ss1kyQ161.0822385761574197339.433333333321225.0849943337112
DRESDEN/pawn_whopping/4ogBkg161.5302683025482119807.0741.7
STANFORD/dualhunter/1rPZjQ162.3928596409660455882.933333333334344.12186260457986
BASE/chickentictactoe/DSlZCA164.29914971150927180345.71097.6666666666667
DRESDEN/blocker/S815zQ171.6244052211934355880.366666666642073.6
DRESDEN/lightsout/XgLpzQ172.85616276318902170488.03333333333986.3
STANFORD/tictactoe/ss1kyQ175.03503917593557212970.966666666671216.7333333333333
DRESDEN/mimikry/GJEhwA175.8972335652540627798.233333333334158.03678528588566
DRESDEN/stratego/Z2wovg176.4140624408232439331.833333333336222.95180321311912
DRESDEN/lightsout2/LFtfyQ178.32531402292537173201.43333333332971.2666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw178.5599380713653780732.9452.1333333333333
DRESDEN/towerworld/HCX34w180.023605194805193232.717.957089552238806
DRESDEN/tictactoe-init1/3ltIBQ186.2932519401855262449.933333333351408.8
DRESDEN/catcha_mouse/cHv4dw186.388085487847870549.4378.508099460036
BASE/ticTacHeavenFC/mrletw187.7400749666518356285.73333333333299.80670532560157
BASE/withConviction/3Xm54A190.55767370397768111622.33333333333585.7666666666667
BASE/switches/tPUoCg194.64817710065864390100.92004.1333333333334
BASE/ticTacToe/JRFsaQ195.10502308351533235251.133333333331205.7666666666667
BASE/tictactoe-init1/7M19vA195.75273112276818271169.733333333341385.2666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA196.8604114934374184983.16666666666939.6666666666666
DRESDEN/gt_prisoner/huCp4w196.8614880141726439504.833333333336200.67324356752434
BASE/nineBoardTicTacToePie/B8LzeQ197.77808417997145423.03333333333229.66666666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA202.4196516711324191381.03333333333945.4666666666667
BASE/stateSpaceLarge/0Ge_CQ204.1984987489575285639.66666666671398.8333333333333
DRESDEN/chinesecheckers2/06E6-Q210.3678381556966320984.999.75336621783762
DRESDEN/Thief_Police/CX18rA212.8282338792402200562.23333333334942.3666666666667
DRESDEN/catch_me/ghGWrA213.39873349790705198823.6931.7
DRESDEN/snake_2009/zIYLVw215.6518055275368535632.86666666667165.23333333333332
DRESDEN/3pffa/0YrmQw216.317920176936246453.23333333333214.74519214745192
DRESDEN/3pttc/uwYBZw217.5515926675731547995.933333333334220.61862542497167
BASE/blockerSerial/3eqDuw219.0932818209071881200.56666666667370.62097930068995
BASE/aipsrovers01/4C4jsw219.7462922310590287486.9398.12685398126854
DRESDEN/aipsrovers01/qS47Mw219.7539682539682587681.83333333333399.0
STANFORD/sukoshi/4LYZZQ220.2695935295486284140.433333333351289.9666666666667
BASE/ticTacToeSerial/Amrwqw220.4683962552775120103.83333333333544.7666666666667
BASE/snake_2009_big/-oRfVw220.66329869135829786.566666666666134.98650134986502
BASE/lightsOnSimultaneous/_VN6lw221.63467355552612111493.3503.0498983367221
STANFORD/hunter/14dD-g225.1954887218045101833.4452.2
STANFORD/tictactoe7/-bE9-A226.79535511905812257480.766666666661135.3
DRESDEN/snake_2009_big/DgC1NQ227.8957903701851330369.9133.26222459251358
BASE/snake_2009/7l-qAQ229.5058423835672337613.5163.88907406172922
STANFORD/threepuzzle/41ibjA229.57167346658895223197.23333333334972.2333333333333
STANFORD/3puzzle/41ibjA230.98940735694825226061.63333333333978.6666666666666
BASE/simultaneousWin2/PfjRjw237.1515021744274111362.63333333333469.58434718842705
BASE/stateSpaceSmall/Q7osKA242.04032792054232767630.93171.5
DRESDEN/knightstour/cGISAA244.8411396894954130365.4532.4489183693877
BASE/tictactoe2/bhrDoQ245.20387481976402402469.46666666671641.3666666666666
STANFORD/jointbuttonsandlights/qAKuIQ247.43339030766137328129.66666666671326.1333333333334
DRESDEN/statespacesmall/h-NqjA247.4911254369257788292.23333333333185.133333333333
STANFORD/tictactoe5/WFRReg251.83582217645036293439.11165.2
DRESDEN/frogs_and_toads/GjchhQ253.974313936044221437.46666666666784.40801093005432
DRESDEN/chinesecheckers1/Y-ftaA257.3586854032833548073.0186.79377354088197
BASE/lightsOnSimul4/9FeASw260.575391902450994854.96666666666364.0211992933569
BASE/skirmishHoles/AUCxCA261.24566236559144045.666666666666515.486062543710661
BASE/strangeSkirmish/gc1zKA261.414217519379863744.066666666666614.322352862805182
BASE/maze/cCX3qQ262.99556762939665490504.266666666661865.0666666666666
BASE/stateSpaceMedium/3bUoIw269.06960359901535528318.16666666661963.5
BASE/snake2p/I3wWPQ269.5185384955263481329.0301.7566081130629
BASE/factoringGeorgeForman/HGRorQ270.5478979250941896216.96666666673312.6
DRESDEN/gt_chicken/CeuKtw271.6794125417946544232.566666666666162.8116251166511
DRESDEN/2player_normal_form_2010/NG_Kdg276.0998611967921477395.066666666651729.0666666666666
STANFORD/buttonsandlights/eyhJpA276.10659685863874922886.33342.5
BASE/lightsOut/5P1ZBw276.1467000907053179277.66666666666649.2116929435686
DRESDEN/statespacemedium/dVJZ_w276.9217971707511555948.22007.6
BASE/cubicup_3player/e2yA_g277.3772046249294549175.7177.28818078794748
BASE/gt_staghunt/xPjLRA278.2320691770075343345.666666666664155.78961402573162
BASE/gt_prisoner/klthDw285.273294537077743335.3151.9080153307782
BASE/slidingpieces/uFJWEw286.59479259833773910.33333333333257.8914036198793
STANFORD/triplesukoshi/Iu9mbA292.2990902586118495318.73333333334326.1
BASE/duplicateStateSmall/bCPAXw293.37929083104444708520.76666666672415.0333333333333
DRESDEN/statespacelarge/8-y5HQ293.5679063528838401258.41366.8333333333333
DRESDEN/cubicup_3player/awDtsQ293.87895349593552205.53333333333177.64298093587522
DRESDEN/slidingpieces/s9_44g295.1004416741635676536.66666666667259.3580213992867
BASE/knightazons/apnJBQ298.827120337552743928.533333333333313.146508686680423
STANFORD/untwistycorridor/EDPPAQ299.3815128257159836042.83333333342792.5666666666666
DRESDEN/point_grab/r5DPmQ299.4922050612719413029.71379.1
DRESDEN/knightazons/02I8BQ299.71824812967584005.833333333333513.365330133653302
BASE/untwistycomplex2/EDPPAQ300.6687672172237847695.52819.366666666667
BASE/endgame/jYjfOA305.5974049090908711197.436.6410179540988
DRESDEN/tictactoelarge/IwXcbg306.4478764478764275149.3333333333897.8666666666667
DRESDEN/endgame/IJhh3Q306.517420901639357472.324.378059746228395
BASE/rubiksCube/9tNO9Q307.742697533810725785.483.78882815624583
DRESDEN/grid_game/U7_Yeg309.418983210930860382.23333333333195.14715195147153
BASE/hex/T1MK8g310.781099195710457725.024.856723977075838
BASE/ticTacToeNoVars/XT03NA311.3473694738948415046.81333.0666666666666
DRESDEN/chomp/-LcqYQ311.842894965380970056.03333333334224.65168988734084
STANFORD/tictactoe3/X7myng318.04785973779815402712.21266.2
BASE/gt_centipede/9fRMpw323.9484268125855157870.86666666667487.3333333333333
BASE/snakeParallel/RCVNtw325.18514393379576167215.46666666667514.2161927935736
BASE/gt_chicken/gmepTQ329.689139435384941777.03333333333126.71643780829223
DRESDEN/lightson2x2/gBHuig331.1078605744659539871.36666666671630.5
STANFORD/dualrainbow/G3OnRQ333.7398515601333293780.06666666665880.2666666666667
BASE/blocker/dIWtxg335.59951508455333364494.633333333361086.1
DRESDEN/tictactoelargesuicide/6J4DeA337.1514377523276272800.4666666667809.1333333333333
STANFORD/hex/MTqWcw338.53005083798888069.923.838060993474496
DRESDEN/tictactoe_3player/ESLQQQ340.4754422782372786443.83333333333253.89153694876836
BASE/hexPie/48CH6Q342.60120994475148261.524.11404209965361
STANFORD/rainbow/_4qNSQ343.6945094798696499113.16666666671452.2
STANFORD/untwistycomplex/HTWEwg344.1408482985493850853.83333333342472.4
BASE/nineBoardTicTacToe/wRmqqA346.5439421945891468742.76666666666198.36666666666667
DRESDEN/skirmishfinal/hzq8ww347.36189732739425192.114.947235260827592
STANFORD/bestbuttonsandlights/nm0wEA349.99060730483325434723.33333333331242.1
STANFORD/nineboardtictactoe/y28P-A350.9790291815552368754.5195.8934702176594
BASE/skirmishFinal2/gdB62Q351.05270364464695136.914.632845571814272
BASE/lightsOnParallel/SC6enA353.26093417773615515042.66666666671457.9666666666667
BASE/tictactoe_3player/GtM71g354.3225444640281773710.9208.03333333333333
BASE/skirmishFinal1/ecWTnQ354.565302777777735105.414.399040063995734
BASE/chomp/-LcqYQ360.357284921700280531.8223.4776522347765
STANFORD/bestbuttonsandlightsbig/g0JC6g368.63056961302846322932.6666666667876.0333333333333
BASE/lightsOn/MsXu3A368.918617306883847393.76666666672296.9666666666667
BASE/skirmishFinal3/-Olhfw373.208291060291065976.816.014649575495255
DRESDEN/cubicup/SBn_lw379.753799179179284302.53333333334221.99260024665844
DRESDEN/skirmish/RjGQYQ380.87404426877476413.616.83916270092183
BASE/brawl/6Ymo_Q381.801946556473874617.03333333333412.092744353387967
DRESDEN/skirmish3/3LU8Nw382.92232996108946554.417.11678710579773
BASE/conn4/va9Y7A383.0053728777133178212.4465.3
BASE/minichess/8NQEiA386.699984252053639751.433333333334102.79657344755175
BASE/cubicup/4wNWJA391.4484206449351486830.56666666667221.81866648895405
DRESDEN/brawl/2kXtfQ392.17054772727274593.211.712251281027484
DRESDEN/capture_the_king/EQ229Q398.38264615384615678.714.25438596491228
BASE/asteroidsParallel/WauZiA405.0430742325929108196.9267.1244291856938
BASE/futoshiki4/BaCwSw406.38131337959345138598.5341.0552981567281
BASE/escortLatch/mX9BjQ409.8656220717130634285.2333333333383.6499366793308
BASE/pawnWhopping/Ypc_6Q411.2511775738529109039.2265.14015265140154
BASE/breakthroughSmallHoles/bxclRw416.00023722835516133138.93333333332320.04533031131257
STANFORD/multipletictactoe/_bkafQ416.825672016936184223.76666666666202.05993133562214
DRESDEN/skirmish2/iPpWhQ421.517132882011657261.96666666666617.22816488386817
BASE/ticTacToeLargeSuicide/727_8g421.9025512813228247502.1586.6333333333333
BASE/cittaceot/fDxhXg425.6805469915966642209.199.1567509915675
BASE/ruleDepthLinear/OUBJpQ431.193773592564354110.7821.2333333333333
BASE/ticTacToeLarge/TZC0dg436.8249066847642257464.6589.4
DRESDEN/grid_game2/kypTYQ438.41079330878785190512.36666666667434.55218159394684
BASE/asteroidsSerial/id2QkA439.3102413682226132066.9300.62331255624815
BASE/beatMania/qUHwvQ440.86187032705647222407.4504.4831838938702
BASE/futoshiki5/TJ4BZg442.624179620879887412.63333333333197.487252974306
DRESDEN/roshambo2/jgSlkQ444.0475044470022141458.73333333334318.56666666666666
BASE/skirmish/Y_psYQ444.40323471.97.8125
BASE/asteroids/BKCmPQ449.86661871315357206871.76666666666459.8513382887237
BASE/roshambo2/KNPokQ453.9139788211469141949.3312.72290923635876
BASE/minichess-evilconjuncts/4OpQzw460.066819152096944727.8666666666797.22037061725104
BASE/futoshiki6/JmvXNA461.7601844667503361335.1132.82890570314322
DRESDEN/minichess/c7GMFw469.5643595589960544477.4666666666794.72070390614584
STANFORD/alquerquezero/uVgA_A469.875782839939831202.93333333333466.4067706250833
DRESDEN/minichess-evilconjuncts/th24Tw472.1012849238809446169.9666666666797.79674010866304
BASE/connect5/d-BVQg473.6412652767793421961.16666666666846.36666666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg480.176761226136476207.3991.7333333333333
DRESDEN/bidding-tictactoe/yW5vTA497.864994264705967696.1135.97280543891222
BASE/breakthroughSmall/HJ0tIA507.4681891016245933.690.51523028727588
BASE/breakthroughSuicideSmall/XSbJog513.178694806808345887.6333333333389.41843026162306
BASE/mineClearingSmall/frsbvw516.774618958611438696.174.88003199146894
DRESDEN/ggp-course2013_jordi/9QI6Kw524.884726334242344899.16666666666485.54100436535705
BASE/englishDraughts/jFkQxg528.704475675675747596.2666666666790.02433090024331
DRESDEN/tictactoe_3d_small_2player/HYttcg530.8445954292774143239.56666666668269.8333333333333
DRESDEN/backgammon/mqCW0Q531.551033021806926527.96666666666749.906716417910445
BASE/tictactoe_3d_small_2player/oOryKA541.1098805375808144945.3267.8666666666667
BASE/factoringEasyTurtleBrain/lUj94Q548.8233877689624592601.21079.7666666666667
BASE/qyshinsu/R08Lzw552.92851440884432773.3666666666759.272339574865065
BASE/pegEuro/5awwhg556.864399004479937275.266.93766034718288
BASE/biddingTicTacToe/8mESVw564.956006322444671485.76666666666126.53333333333333
BASE/crissrace/ERWGDA581.264765458768927786.23333333333447.80305806322662
DRESDEN/Runners/3bOCQw584.2671957671959139873.56666666668239.4
BASE/point_grab/V_osUg588.9021252488687412119.6699.8100063331223
BASE/tictactoe_3d_small_6player/g_9lww589.9764791304348117586.3199.30675909878684
DRESDEN/4pttc/9pB9AQ594.368122747747749839.3666666666783.85269121813032
BASE/4pffa/Q3ADlg596.685290322580732662.13333333333554.739297018157586
DRESDEN/crissrace/KWb9bw600.467681564245828648.047.70947859403631
BASE/peg/fJHVWw600.796299489459840516.16666666666467.43744377436444
BASE/duplicateStateMedium/U163eQ601.8457802021544453174.76666666666752.9749008366388
BASE/hallway/ckCJOw605.881237996219410671.96666666666717.61395797955582
DRESDEN/hallway/0H4l-Q619.503967624521110774.717.392463265918103
DRESDEN/tictactoe_3d_small_6player/llDEDQ627.1179911710504124763.1198.94677198946772
STANFORD/multiplebuttonsandlights_9/SqB9BA642.0210365687503785362.93333333331223.2666666666667
DRESDEN/pentago_2008/hLjVpQ649.14702994599988154.16666666667135.8
STANFORD/multiplebuttonsandlights/cK70Yg649.4402167932212786861.76666666671211.6
DRESDEN/chinesecheckers6-simultaneous/gPPGUw656.009340338587237458.1333333333357.1
BASE/3pffa/pR0dzA672.772424999999941800.262.13126229125696
DRESDEN/tttcc4/sAvtFg673.503376082638218833.13333333333527.96293827489668
BASE/choicethroughalt/tt71Lg673.950370776255716388.53333333333324.317121918720854
DRESDEN/connect4/T0-rHQ680.104587351524970598.7103.80565182617968
BASE/tttcc4/8Bs2lg681.185797377830819034.027.942449876773463
BASE/ttcc4/Le0qjQ682.199570552147318530.027.162139643392766
DRESDEN/breakthroughsuicide/Y9QzqQ683.270024155923824720.36666666666536.17949828430556
DRESDEN/Travelers-Dilemma/PvZwYw685.3945868471052177.127429085697140.2584313218762114
DRESDEN/knightthrough/J7Fc_Q698.20600888888923377.43333333333433.482142857142854
BASE/connectFourSimultaneous/7ITr3g698.8643865725599135305.4193.607518997467
BASE/connect4/50bOyw714.704410732681675526.63333333333105.67534242010197
DRESDEN/breakthroughsuicide_v2/LU1nAw716.164236534839925338.735.381130063965884
BASE/duplicateStateLarge/dcjyuw717.3812766876615197410.16666666666275.1816545563629
BASE/blokbox_simple/JBx4bg718.08448344519023549.56666666666664.943104535049597
BASE/golden_rectangle/_nYzfw721.298581044016872461.63333333333100.45996933537764
DRESDEN/breakthrough/z4hK7Q725.05052683536425768.73333333333435.54060355739124
STANFORD/freeforall/Lfp40Q725.407456735889160527.16666666666483.4388537154282
BASE/factoringMediumTurtleBrain/8RBqmQ738.6435019924121352592.0333333333477.35075497483416
DRESDEN/babel/WdSW4A742.930984841628965661.9666666666688.38232353529294
DRESDEN/oisters_farm/pTQMLg785.8687070767394877291.43333333331116.3333333333333
BASE/chinook/XQh0IQ790.174130401891318554.86666666666523.481997135529426
BASE/breakthroughWalls/vOZaYA792.448896109358525105.56666666666631.680991405156906
BASE/hidato19/rRHSmA794.8721828407622109370.76666666666137.59541348621713
STANFORD/chinook/osFbPA799.55461100775217174.96666666666721.480667399340593
BASE/2pffa/6oHijA810.560314318600458666.9666666666772.37828651404578
DRESDEN/ggp-course2013_michal13/jWKddg812.127241454545489316.13333333333109.97800439912018
BASE/breakthroughSuicide/wZDpIg818.224671428571525962.431.730160317301603
BASE/breakthrough/TGxk-g819.286042972309925941.96666666666731.664114004128653
BASE/2pffa_zerosum/o0_uZA828.750433511586551655.33333333333662.329178054796344
BASE/checkLines/Vop7oQ848.9626155906695125346.76666666666147.646980402613
BASE/breakthroughHoles/nZk0Sg888.134691666666627934.53333333333331.453037017292505
STANFORD/selectivesukoshi/3xmXYg890.8090770791075117111.7131.46666666666667
DRESDEN/connectfoursuicide/M9CNQg892.7587884416462264664.4296.45678477384087
DRESDEN/connectfour/5tc-Mg905.0059423268411252432.83333333334278.92947606985734
DRESDEN/pacman3p/rBnk8Q915.583122191011321727.66666666666823.730960237309603
BASE/kalaha5x2x3/WviNsw937.565858585858515446.66666666666616.475287069395907
BASE/gt_coordination/IVMOzA940.68207317113192005.36666666667204.11292204112922
BASE/pacman2p/4LEdQg942.338588369678220127.13333333333521.358706500765187
DRESDEN/firefighter/WJmoPw958.1776791584483971592.16666666661014.0
BASE/ttcc4_2player_small/Cv72TA966.370942812982962524.264.7
BASE/firefighter/WJmoPw967.10379038412611013782.66666666661048.2666666666667
BASE/connectFourSuicide/c8p9Kw972.8762885271119252963.4260.01599893340443
BASE/racetrackcorridor/_RkdUg988.097967548302458508.83333333333659.213595468177274
STANFORD/knightstourmedium/x1wu8Q992.1747764608026318091.23333333334320.6
DRESDEN/racetrackcorridor/O0DoTA998.592658208955357957.958.039581528619976
DRESDEN/Zhadu/9zpQ5w1024.197551625487426243.125.623084099693457
STANFORD/connectfour/VMpZkQ1048.6944229306648244496.13333333333233.14335233143353
BASE/majorities/ibJzSQ1052.2631351651946107200.6101.87622887992802
DRESDEN/crossers3/xiPTxg1055.24638901624263436.3709086060933.256463082341995
STANFORD/multiplesukoshi/vLSQPg1055.8834446672013131655.5124.68753124687531
BASE/crossers3/O0rORg1058.1595153502.13.3096144299189145
BASE/chess_200/XsTpYA1071.66330347222223405.03333333333333.177335010260144
DRESDEN/SC_TestOnly_enabled/09o7gQ1082.9398795952272238980.93333333332220.67793220677933
BASE/connectFour/WAIKTw1089.0462252235336270655.26666666666248.52504916502784
BASE/skirmishNew/sibw2g1101.5196356107665895.7666666666665.352393617021277
BASE/zhadu/DlA8iQ1128.162483383685924878.222.051965356429047
BASE/knightsTour/mvtVIg1138.799986861584307693.5270.19099363354553
DRESDEN/golden_rectangle/1uloXw1146.529551638065473475.464.0850468224081
STANFORD/knightstour/cEwgNA1149.0460315577177322843.63333333336280.96666666666664
BASE/3pConnectFour/PqXOFQ1151.3159956558343227899.4197.9468719794687
STANFORD/pentago/ZxzLmg1167.026000721813389807.1333333333376.95384102649558
BASE/connectFour_9x6/B9TtMw1170.304447059812232118.76666666666198.3404978506448
STANFORD/pilgrimage/ObRZnQ1171.82963444528751488.83333333333643.938838735467534
BASE/pentagoSuicide/SBgNhw1195.621093862815888293.073.84697414022928
DRESDEN/Goldrush/VeWczQ1234.698461589743653500.0333333333343.3304446370242
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1250.872594046306637814.2666666666730.230310302303103
BASE/connectFourLarge/aU644A1255.1931847968544159618.73333333334127.16666666666667
BASE/sheepAndWolf/g4THrg1256.786956577480425012.76666666666619.902153293174027
STANFORD/ttcc4/Cx9SGw1297.580603120124827722.221.364530213645303
BASE/knightfight/SJRkAg1310.956143305632615770.96666666666712.030125299920021
BASE/checkersTorusNoKings/pwb6oQ1317.32294612842330999.96666666666723.532548915036166
BASE/speedChess/bPnisA1329.80820715883676601.6333333333334.964349970013993
BASE/checkersTorus/2vm1EQ1332.43096339537526242.76666666666619.695404405638683
BASE/pentago/86NgKw1367.8002925975773101617.474.2925707429257
STANFORD/checkersonabarrelnokings/Zrevdw1372.872120628415433488.0333333333324.392682195341397
DRESDEN/quad_7x7/q-JOXg1378.456491477272732337.023.458847050983007
BASE/biddingTicTacToe_10coins/a-9ccQ1383.794269483568339272.2666666666728.380133906265613
BASE/checkersBarrelNoKings/rnKNeg1413.797908587257834005.024.052235325471383
DRESDEN/knightfight/4_Ly4w1445.299001599999918053.612.4912561207155
BASE/chineseCheckers2/eCMR3Q1445.8021874269007148304.7102.5760655846969
BASE/othello-comp2007/86ZoMw1445.84459823890533175.98826744883672.196631831192172
BASE/quad_7x7/q-JOXg1448.938849716713834067.723.51217237819296
BASE/ttcc4_2player/_aH_Mw1492.849067475728130718.920.577364898611528
BASE/chineseCheckers3/-1rZdQ1518.004197064057113715.074.91086007531074
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1525.4357688634195425901.6666666667279.2
DRESDEN/sat_test_20v_91c/dK7nVw1526.5152897256469305384.4666666667200.0533297780148
DRESDEN/tictactoe_3d_2player/LMuX9w1533.966569309090870290.445.822641383677144
BASE/kalaha6x2x4/XS81Mg1555.2409771428577234.44.651626407947636
BASE/dualConnect4/WbCQkg1563.1256850615114177848.13333333333113.77724455108978
BASE/connectFourLarger/qKi60A1615.266367756314872435.444.84424454439447
BASE/othelloSuicide/B442jg1616.70753003464423094.89196455242471.9143177767509407
BASE/pacman3p/wW7UVQ1627.82472978056434590.7333333333321.24966693312017
BASE/knightsTourLarge/M8jgLA1712.0542704791994180489.36666666667105.42269002731331
BASE/chineseCheckers4/avfBcQ1712.714800149059102111.0666666666759.619422134835204
BASE/copolymer_4_pie/IN5_jA1740.44169598136399598.057.225703239568055
BASE/tictactoe_3d_2player/IUC1rQ1851.122468301139282992.8333333333344.83378855505962
DRESDEN/CephalopodMicro/H3XQfg1870.121403598971748490.425.92901183136144
BASE/3pttc/0sol9g1880.206751971326440797.7666666666721.698553429771348
STANFORD/knightstourbig/TQUI2g1910.5950543630017145954.8666666666776.3923607639236
DRESDEN/uf20-020.cnf.SAT/hDrW_A1940.9404618119659315350.26666666666162.47292117980336
BASE/smallest_4player/ADDROA1960.805029766297870831.5333333333436.123700346574246
BASE/ttcc4_2player_alt/ZEJvYA1977.33041252173937887.4666666666719.160918391149323
BASE/tictactoe_3d_6player/d7KSwg1986.141996697196979403.3666666666739.97869578243068
BASE/2pttc/unkkYA1987.662095010846361075.2666666666730.72718789575418
BASE/knightThrough/gcwFjA2060.34525504322823795.63333333333511.549342652687635
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2072.463119014873431941.6208.4194387040864
BASE/othelloHoles/c0qAzw2079.55241606888974020.06599780007351.9331400193314001
BASE/chineseCheckers6/rREH3A2103.01992640949694476.844.924348463640605
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2148.414774705616316215.0333333333147.18528147185282
STANFORD/skirmish/w4V6Vw2249.60279120370345373.4333333333332.388614271970275
BASE/hidato37/pBrqxw2254.69358597144640345.56666666666617.894035321559482
DRESDEN/sat_test_20v_91c_version2/a1mPBA2262.7758045045043334857.3333333333147.985201479852
DRESDEN/smallest_4player/ADDROA2263.895334400732382440.0333333333436.41512577044811
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2275.2214309968845454407.26666666666199.72001866542232
BASE/copolymer_4/2LDVhQ2305.3177287842673128905.4333333333355.91655836582358
BASE/amazons_8x8/7SOsIw2311.058061502347821851.0666666666669.455005493225022
DRESDEN/uf20-010.cnf.SAT/5ICbCg2332.3886672046438366058.4666666667156.94574056792428
DRESDEN/tictactoe_3d_6player/ulZPWg2353.40990245836698888.742.01932689103632
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2377.452576027954487566.76666666666205.07949205079493
BASE/cephalopodMicro/9l2D3g2419.827651443569751175.33333333333621.148338106973956
DRESDEN/gt_ultimatum/pAiiQw2460.2340184407854639.122.208903539439948
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2579.3192999999997944.90.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ2585.598681818182945.50.36567933246900036
BASE/bomberman2p/4CClwA2629.738717339667373808.028.066666666666666
BASE/queens06ug/7Lq3tw2685.0544984322346203569.1333333333375.81564301662945
BASE/wargame02/BkVqqQ2717.043369696975936.5333333333342.1849240242327936
DRESDEN/bomberman2p/x4h6jQ2816.64236929411879770.328.32106087362143
STANFORD/madness/UO_B3A2816.73803333333356503.6666666666672.3089355806972987
BASE/chineseCheckers1/gqtwHw2887.361898252154387278.56666666665134.1288623712543
BASE/nim3/1OwUqw2892.462805945945589139.730.81792437114776
BASE/dotsAndBoxes/EHwA_w2896.573956553030384929.3666666666729.32062772798454
BASE/gt_ultimatum/GE-uOA2939.731575987361362009.7333333333321.093671898430472
DRESDEN/mummymaze2p-comp2007/oTQRQg2949.427410277136585137.328.86570447651745
DRESDEN/pancakes/hl9aiQ2976.660258520900230802.610.348040194316896
DRESDEN/nim3/sG_axA2989.844990415335493498.031.27185533020282
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2998.97201666666661143.70.3813640119494057
BASE/dotsAndBoxesSuicide/jzQbLw3043.75645781609288189.5666666666728.97392346887801
BASE/4pttc/AL1k2Q3062.45344626168243612.514.241032807612964
DRESDEN/satlike_20v_91c_version2/yd9ioQ3067.12421000.36666666666670.32615786040443573
DRESDEN/pancakes6/SZXMyQ3090.5456282958231992.810.35182904503545
BASE/battlebrushes/arCwyA3113.63427692307714837.74.765395894428153
DRESDEN/ghostmaze2p/HY0UwA3129.7067891457286103718.9666666666633.14015454303224
BASE/mummyMaze2p_2007/YGA3Vw3155.80580674823994496.5333333333429.94370982246944
BASE/nonogram_5x5_1/qLKEZw3158.887382157897.049.985004498650405
DRESDEN/connect5/1kYzSg3285.20552873563221949.6666666666686.681367870190567
DRESDEN/nim4/F5YAYg3293.2194838709675102004.830.97418817651957
BASE/nim4/twk16w3343.765896709585103851.9666666666631.05838443081845
BASE/pancakes6/QZTdnw3483.717337226277331790.49.125424631985613
BASE/ghostMaze2p/W-NU-w3492.5272495545655104497.729.920367840602406
BASE/pancakes/yUgbXw3520.847496402878332528.9333333333349.23894981721502
BASE/amazonsSuicide_10x10/XIbQkg3660.665459770114514136.6666666666663.8617750848924697
BASE/checkers-mustjump-torus/uSApKQ3707.2789886363645415.51.4607748746721556
BASE/queens08ug/kJ_ZFQ3832.931401705566142286.8333333333437.122196674331036
BASE/queens08lg/Ru7eqQ3899.7431421446386156379.740.1
BASE/amazons_10x10/Bun8dA4125.1312515298.53.7086092715231787
DRESDEN/battlebrushes/QHXV4A4170.923550933951125.31662445007330.2698003477426704
BASE/queens12ug/u6Bkmg5432.20315829145871995.2333333333413.253413253413253
BASE/wallmaze/uxNQ9g5443.0940221303945131661.4333333333224.1887119344306
DRESDEN/kitten_escapes_from_fire/uW-YiA5494.738266609171424630.033333333377.2793921620901
BASE/kitten_escapes_from_fire/uW-YiA5512.340122460909418981.9333333333576.00799733422193
STANFORD/platformjumpers/HEQskA5641.01391515151530840.5333333333335.467196819085487
BASE/nim2/eF2Qqw5736.306916739606174643.930.44535491822391
DRESDEN/nim2/z5_exA5903.598133701658178062.230.161639726712213
BASE/quad/tw-Ufg5915.63571428571512269.4666666666672.074074074074074
BASE/mummymaze2p/vpjDdA5937.37084732600789909.2666666666615.142942723067195
BASE/amazonsTorus_10x10/Uxc08g5956.01337872340459328.61.5662490002665956
DRESDEN/quad/JPe6fg6007.58992150537712257.9666666666672.0404133482524847
DRESDEN/quartosuicide/WIU1oQ6014.910507224901.14.139895343445717
DRESDEN/mummymaze2p/k-8edg6040.48012876106290849.415.040095830699098
DRESDEN/quarto/OQzRYQ6464.97021311475426210.54.054233683370995
BASE/queens16ug/gT-ylw6533.91915829145743147.56.603617056578729
BASE/nonogram_10x10_1/0Xc62g6556.81167337278173770.1333333333311.250915385127488
BASE/wargame03/klXI8w7011.85919365079414524.4666666666672.0714144801736043
BASE/quarto/EwBMVQ7066.92224853333329262.1333333333354.140718166158739
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7279.5972307692319336.51.282557221783741
BASE/quartoSuicide/-23jUg7397.01521416666829373.6333333333353.9710116152089743
BASE/snake_2008/i6K26g7597.2103026315838377.45.051512130275839
BASE/nim1/hin2Qw7726.5686036098305223547.9333333333228.932368921035966
BASE/checkers-cylinder-mustjump/rjr6qQ7780.4054054054069595.8333333333341.2333333333333334
DRESDEN/snake_2008/E56l3A7867.03124139433640060.4333333333345.092191972309126
BASE/snake_2008_tweaked/bX0NJQ7980.90752083333440276.8333333333365.0466482950961185
DRESDEN/nim1/M9BALA8115.321370963996232630.5666666666828.66560127846584
BASE/reversi/d8UMeA8661.62129821428616013.0333333333331.8487339473771087
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg8771.80171270718352870.3333333333366.027306027306027
BASE/wargame01/_GZFZg9341.62261818181820305.22.1736266631537347
BASE/reversiSuicide/9OxJlg9394.66948545454617047.9666666666671.8146425154244614
DRESDEN/hanoi/RQ0jiA10976.470866141732232335.321.166666666666668
BASE/checkers-mustjump/T-8UuQ10995.63060350877113852.5333333333331.2598216357789345
BASE/guess/SPpk1A11756.46962251082430125.7333333333342.5624812805750605
DRESDEN/quad_5x5/JAEP5g12876.05266285714474751.55.8054670912951165
BASE/quad_5x5/JAEP5g13050.68241237524972450.766666666665.551492586929061
BASE/hanoi/iGLsJg13096.825190476191274978.333333333320.995800839832032
DRESDEN/guess/PhxGhg13634.92209298245734200.9333333333342.508333608369913
BASE/skirmishZeroSum/zh4hcw14081.8730928571426374.5666666666670.4526788889966696
DRESDEN/othello-cornercontrol/r5Gdlg15871.3521392156878652.5666666666680.5451688419972421
BASE/four_way_battle/xSOQXA16057.33689673202427132.8666666666651.6897488569345969
BASE/colonelBlotto/jip21A17620.9758060606076431.8666666666670.3650119458455004
DRESDEN/four_way_battle/xSOQXA17832.5259057692330624.91.7173618679612932
DRESDEN/pawntoqueen/f_x6Aw18927.4459829059824523.9333333333341.2956810631229236
BASE/checkers/rOC3Xg20040.22056376811515115.7666666666660.7542714721411472
BASE/queens31lg/0gID-A20425.36292499999821558.5333333333331.0554785935747741
DRESDEN/max_knights/hCipiA27071.92108285714531404.91.1600543568327202
BASE/max_knights/2fq3Ag29109.3809696969731818.81.093077177873468
BASE/pawnToQueen/-O1_JA31452.73847719298639435.266666666671.2537943777220535
BASE/checkersSmall/SYmq8w31516.67366111111224871.7666666666660.7891621728265158
BASE/racer4/0vs7Ww31683.683733333339144.80.28862805464691166
DRESDEN/quad_5x5_8_2/JRTLJg32986.4716975124473308.133333333332.222369643094069
DRESDEN/racer/vk_ZBA33122.689444444442738.16666666666650.08266740148801323
BASE/racer/QQYQNw33739.702055555562682.3666666666670.07950178879024777
DRESDEN/kalaha_2009/gcC8uA36549.635851738.10.047554509356349715
BASE/kalaha_2009/dRiN3g37091.343651708.76666666666670.04606914979384055
BASE/checkers-newgoals/0XkFiA40752.4269714285818022.9333333333340.4422542330048016
BASE/blobwars/0XT15Q41845.971166666676089.1666666666670.1455138092604988
DRESDEN/blobwars/ZaMluQ41876.6020000000065927.50.1415468236892764
BASE/gt_attrition/kD_SCA42105.608214285719665.1666666666660.2295458271847844
DRESDEN/battle/8oAvhQ46471.4758811111244840.766666666670.9649094593290662
BASE/battle/8oAvhQ49219.3081647414.40.9633292659430993
BASE/checkersTiny/Lr48cg56885.6265478260843477.533333333330.7642973448974845
BASE/knightmove/jBaJEw79429.90922194094208318.266666666662.6226678175419957
DRESDEN/fizzbuzz/t1xHzQ80821.84847142856526509.26.514441453119288
DRESDEN/knightmove/97Ipcw81577.27964345991212349.833333333342.603051171373027
BASE/hanoi_6_disks/MeubgQ87418.35813749999186318.62.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ93227.0207037037193729.666666666662.0780420226275687
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A95560.466399999997375.20.07717835918808366
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA96087.044666666657387.3333333333330.07688167909587146
BASE/colonelBlottoVariant2/jruwGw99128.6000711111147682.4333333333340.4810159055926116
DRESDEN/vacuumcleaner_random/_6AGDA129481.499057358.3666666666670.05682948313585088
BASE/colonelBlottoVariant/X-n-KQ132893.1719476190661765.633333333330.46477657526060684
DRESDEN/vacuum_cleaner_1/eUNjpw166538.4778576.50.051498609537542483
BASE/gt_tinfoil/Q8DyKg177528.242588737.50.49985004498650404
DRESDEN/hitori/S8Gsyg219808.7260074074160484.866666666670.27517045280826735
BASE/hitori/S8Gsyg227830.3762560633.50.2661343978709248
BASE/ad_game_2x2/D0aWqg458427.716413479.60.029403981299067895
DRESDEN/hanoi7_bugfix/3gdnFw651689.436462963183098.833333333340.2809602597321512
BASE/hanoi7_bugfix/3gdnFw687728.9888888889194946.80.28346456692913385
DRESDEN/hanoi7/51zz5Q788921.8372222222219891.50.2787240631774543
BASE/solitaireChineseCheckers/-ET6gw800688.118551619.00.06446829771459885
BASE/twisty-passages/DiZmmg2873287.552151929.333333333340.05287648054145516
DRESDEN/twisty-passages/j7NPyg2919833.1708000004153902.233333333340.052709255745308874
BASE/amazons/RKKZjwInfinity204.733333333333320.0
BASE/gt_two_thirds_2p/1APDGgInfinity2698.33333333333350.0

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap space
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/small_dominion/yB5GJATest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerExceptionTest process timed out after 240 seconds

index