index

ALLOY_DIFF_PROP_NET:1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
BASE/snakeAssemblit/UO4sdg4.0932784456940952110.8333333333335515.6828105729809
DRESDEN/smallest/9kaGFw5.4975260760590973241.233333333333589.580347321756
DRESDEN/Travelers-Dilemma/PvZwYw6.837164296751376177.1274290856971425.90656321800806
BASE/pancakes88/l2Xaig7.111935883905013179.5333333333333325.24394711426383
DRESDEN/8puzzle/8fKC2w14.60329853622063333853.366666666672318.2
BASE/coloredtrails/EZvr7g17.03537740893632326548.51558.4333333333334
DRESDEN/amazons/dNB28A17.27254871794872209.2666666666666812.115563839701771
STANFORD/breakthrough/d5j0cQ17.55701543358377515812.433333333332900.6333333333333
BASE/eightPuzzle/vLrgFg17.86237111455225331529.4666666666671765.1333333333334
DRESDEN/chinesecheckers4/-oVNYg19.1253636483131264364.9228.2257258091397
STANFORD/8puzzle/jNiGtw20.71845959408222637157.866666666671793.4666666666667
STANFORD/eightpuzzle/W_aWbA21.07943855457667637645.0666666666661785.8666666666666
DRESDEN/satlike_20v_91c/yeuENQ22.9184625945.541.254948930365636
DRESDEN/pancakes/hl9aiQ23.37662534783708430802.61317.6666666666667
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g23.40951024590164944.940.36393713813069
DRESDEN/satlike_20v_91c_version2/yd9ioQ24.3750632795698931000.366666666666741.040577215860196
BASE/crisscross/ICagEg25.44005939356048521702.066666666666853.0666666666667
DRESDEN/pancakes6/SZXMyQ25.45593403527383531992.81256.791440285324
DRESDEN/crisscross/GsY16g26.6292384201224821597.2811.0333333333333
DRESDEN/roshambo2/jgSlkQ26.63705293814886141458.733333333345310.6
BASE/roshambo2/KNPokQ26.99648159653104141949.35258.066666666667
BASE/shmup/ssTNlg27.20861737003694717428.933333333334640.5666666666667
DRESDEN/javastrike/whONTQ27.5347799713193177679.6278.9054427890544
BASE/tron_10x10/7ZTgDg27.8524154970299135322.4333333333341268.2
DRESDEN/blocksworldparallel/2JfVaw29.15793042565985675967.12605.366666666667
DRESDEN/blocks2player/3ev8nQ29.449826321883442137348.14663.8
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA29.5200600847457651143.738.74314607479397
BASE/kalaha6x2x4/XS81Mg29.523082589771497234.4245.0421624504216
BASE/blocks2player/wnTLOQ29.602122468721323138726.44686.366666666667
BASE/tictactoex9/BI26ow29.86711774832845724866.366666666665832.5666666666667
DRESDEN/tictactoex9/rFkD4w29.87670440459466224102.533333333333806.7333333333333
DRESDEN/sum15/CsgWKg30.899663467530846157008.45081.233333333334
BASE/sum15/QZ07Kg31.204515809245542159484.25110.933333333333
DRESDEN/mimikry/GJEhwA34.1989173391836927798.233333333334812.8395720142662
DRESDEN/chinesecheckers3/QsCb2A35.2350447202417713343.066666666668378.68737708743043
BASE/kalaha5x2x3/WviNsw35.4657452616004715446.666666666666435.5376308246117
STANFORD/dualhunter/1rPZjQ36.04807878383899655882.9333333333341550.2333333333333
DRESDEN/chomp/-LcqYQ37.9755524637262270056.033333333341844.7666666666667
DRESDEN/tictictoe/LAUtwg37.9900019603999290433.933333333332380.4666666666667
BASE/blocks/xIV5hQ38.13078916854239260883.233333333346841.8
BASE/gt_dollar/TGjqRw38.31804972159812104603.166666666672729.866666666667
BASE/hallway/ckCJOw39.5284375226337510671.966666666667269.98200119992
DRESDEN/hallway/0H4l-Q39.71284390663391410774.7271.31524565028997
DRESDEN/sheep_and_wolf/enAIzQ39.9678573907903924793.9620.3459884670511
BASE/eotcitcit/V_9_bg40.7709540617427103188.566666666672530.9333333333334
BASE/pancakes6/QZTdnw40.9072660204169231790.4777.1333333333333
BASE/hodgepodge/9yjRkw41.678432235353284132604.13181.6
DRESDEN/blocks/vg0DRw42.155726436770436289274.06862.033333333334
BASE/blocksWorld/SEdXLQ42.357228616478054292816.933333333356913.033333333334
DRESDEN/tictactoeparallel/yk_DSg42.62666324171589655315.21297.6666666666667
BASE/pancakes/yUgbXw42.68515440468932528.933333333334762.0666666666667
BASE/chomp/-LcqYQ43.1759596826077680531.81865.2
DRESDEN/chinesecheckers6/yTbPDA43.209525299178477420.966666666666171.74376749766697
BASE/tictactoe_orthogonal/WRzlVw44.48058977506322200515.533333333334507.933333333333
DRESDEN/latenttictactoe/kITHKg45.5867219766024583519.433333333331832.1
STANFORD/hunter/14dD-g45.646097298589524101833.42230.9333333333334
DRESDEN/chickentoetictac/cxYaRQ47.21789336622807183734.266666666663891.2
BASE/incredible/8Qh-6Q47.300911895596144115499.366666666672441.8
DRESDEN/logistics/fPru1Q47.5145627405115841980.7883.5333333333333
STANFORD/tictictoe/rpt_Dw47.87588870096241106621.22227.0333333333333
BASE/toetictac/mTThmg47.973087396971785220204.466666666674590.166666666667
BASE/blocksWorldParallel/RseaAQ48.069200613601584606.61760.1
DRESDEN/toetictac/mJtxCA48.53209312605909219575.366666666674524.333333333333
STANFORD/duidoku/3SoMaA48.7017151015925347882.133333333333161.84508732169044
BASE/doubletictactoe/HH1htg48.78714113631800697203.51992.4
BASE/chickentoetictac/l57rfQ49.01307564031299191044.83897.8333333333335
BASE/numbertictactoe/rvJ-iQ49.061162374993955101551.72069.9
BASE/ticTicToe/c1OobQ49.26400135472151106669.72165.266666666667
DRESDEN/blockerparallel/dVQgSg49.333788529067533718.0683.4666666666667
DRESDEN/quad_7x7/q-JOXg49.41889547144822432337.0654.3448551714943
DRESDEN/tictactoe_orthogonal/y69QFQ49.581021532666824224656.566666666684531.1
DRESDEN/cube_2x2x2/fp-34Q49.6644775958056361256.1666666666641233.4
BASE/sudokuGrade6H/ieE_9A50.3796291839308249321.6185.0271657611413
BASE/blockerParallel/7-nDJA51.3752045781367233502.36666666667652.111596280124
DRESDEN/bidding-tictactoe/yW5vTA51.62649346687681667696.11311.2666666666667
DRESDEN/tpeg/h-Scbg52.0155982328013738460.333333333336739.4
BASE/quad_7x7/q-JOXg52.18611527699770434067.7652.8115729475684
BASE/ticTacToeParallel/ymRGPw52.30913341446231654446.8333333333361040.8666666666666
BASE/tpeg/QNs7Lw52.34054748039838049.833333333336726.9666666666667
BASE/catcha_mouse/cHv4dw52.7684009601758460819.11152.5666666666666
BASE/sudokuGrade6E/ihYFZA53.261434217955969432.6177.1
DRESDEN/peg/Vo31eg53.3924709471889539665.26666666667742.9
DRESDEN/peg_bugfixed/u_B7MA53.584422489034640315.13333333333752.3666666666667
BASE/circlesolitaire/azuQFQ53.7541012984051219972.533333333334092.2
DRESDEN/circlesolitaire/ruUilQ53.826547821765246220216.966666666674091.233333333333
STANFORD/sudoku/oJ1qyQ54.0301112823269510051.066666666668186.02713242891903
BASE/coins_atomic/AA3SSw54.3509188194562274828.533333333341376.7666666666667
DRESDEN/doubletictactoe/lJzgmQ54.87687247567273107337.333333333331955.9666666666667
BASE/sudokuGrade1/tDRNRw54.9128929806362410586.5192.78714752349845
BASE/sudokuGrade4/DTy07w55.1558603506286510381.133333333333188.21451188214513
BASE/sudokuGrade3/eI8dvg55.43132578749412410479.866666666667189.06036465451152
BASE/coins/QnGtnQ55.45311276429130575534.533333333341362.1333333333334
DRESDEN/3pffa/0YrmQw55.49968140183193646453.23333333333837.0
DRESDEN/bunk_t/7-tPfA55.834117766566216109929.933333333331968.8666666666666
BASE/onestep/xi53wA56.134879682903865838404.366666666714935.533333333333
BASE/sudokuGrade2/u80Tfw56.6377894252873510674.8188.47487001733103
BASE/doubletoetictac/fu35bg57.264092569610746109204.533333333341907.0333333333333
BASE/sudokuGrade5/BQfUQA57.4480963641808910656.266666666666185.4938168727709
DRESDEN/3pttc/uwYBZw57.49163505689758647995.933333333334834.8333333333334
DRESDEN/coins/QwFP9w58.15480860446632575607.066666666671300.1
DRESDEN/stratego/Z2wovg58.23681432402198539331.833333333336675.3774874170861
DRESDEN/lightsout2/LFtfyQ58.577984961049786173201.433333333322956.766666666667
DRESDEN/chickentictactoe/Ipbo-g58.59225939566047176065.833333333343004.9333333333334
DRESDEN/catcha_mouse/cHv4dw58.7536296255170370549.41200.7666666666667
DRESDEN/troublemaker01/C-lPWw58.92946281309301664563.266666666711277.266666666666
BASE/nineBoardTicTacToePie/B8LzeQ59.37910148590352645423.03333333333764.9666666666667
DRESDEN/knightstour/cGISAA59.704785894206545130365.42183.5
DRESDEN/tictactoe/BTTzPw60.27875313507703207493.533333333333442.233333333333
BASE/hex/T1MK8g60.3241671004685147725.0128.05812945803612
BASE/biddingTicTacToe/8mESVw60.5349874389589871485.766666666661180.9
DRESDEN/troublemaker02/iZLVuA60.708878519687396566824.63333333339336.766666666666
DRESDEN/bidding-tictactoe_10coins/mu5VhQ60.8814969553862137814.26666666667621.1126295790141
STANFORD/duikoshi/tpw1sw60.9860657734470283449.266666666661368.3333333333333
DRESDEN/gt_prisoner/huCp4w61.27834676766110539504.833333333336644.6785107163095
DRESDEN/lightsout/XgLpzQ61.29576232592699170488.033333333332781.4
BASE/blocksWorldSerial/Wyg96Q61.45611764443354183602.22987.5333333333333
DRESDEN/doubletoetictac/V89gKQ61.6462399143295111294.066666666671805.3666666666666
BASE/racetrackcorridor/_RkdUg61.86173962077959558508.833333333336945.8
STANFORD/hex/MTqWcw62.2517356646952968069.9129.63333333333333
BASE/troublemaker01/s3tlEQ62.35835545049484687633.911027.133333333333
BASE/troublemaker02/DI83KA62.61582991490721581569.56666666679287.9
BASE/nim3/1OwUqw62.9769681840661289139.71415.4333333333334
BASE/switches/tPUoCg63.26302502837992390100.96166.333333333333
STANFORD/threepuzzle/41ibjA63.36150381347111223197.233333333343522.6
BASE/haystack/UkweGA63.55884742080005850260.613377.533333333333
BASE/hexPie/48CH6Q63.7012395271138568261.5129.69135390973935
BASE/bunk_t/xbpfIA64.01949662625105123026.266666666661921.7
DRESDEN/eotcatcit/mQUxzA64.50703063629223218979.866666666673394.6666666666665
BASE/brain_teaser_extended/ZDp94A64.97313295506824211844.93260.5
DRESDEN/racetrackcorridor/O0DoTA65.3341224213730157957.9887.1
DRESDEN/chinesecheckers2/06E6-Q65.4028656659048420984.9320.85597146761774
STANFORD/3puzzle/41ibjA66.00275423110237226061.633333333333425.0333333333333
DRESDEN/brain_teaser_extended/ZDp94A66.20755557858735212934.533333333333216.1666666666665
BASE/quad/tw-Ufg66.2935587324450912269.466666666667185.07780999033622
DRESDEN/nim3/sG_axA66.6256532066508493498.01403.3333333333333
DRESDEN/quad/JPe6fg67.5764898872963312257.966666666667181.39395353488217
STANFORD/trifecta/ss1kyQ67.57736912996826197339.433333333322920.2
BASE/biddingTicTacToe_10coins/a-9ccQ67.870729880753539272.26666666667578.6333333333333
BASE/chickentictactoe/DSlZCA68.11324151475476180345.72647.733333333333
BASE/survival/YVIjJA69.01293873757952707976.133333333310258.6
DRESDEN/buttons/ADUaHw69.3412492697096561788.93333333338101.8
BASE/4pffa/Q3ADlg70.0349717171717332662.133333333335466.36890873941735
BASE/eotcatcit/AfZSzA70.18276855788096228926.833333333343261.866666666667
BASE/kalaha_2009/dRiN3g71.088953416435831708.766666666666724.037021007424176
DRESDEN/crossers3/xiPTxg72.453574399795233436.37090860609347.428590474285905
BASE/buttons/hTcUjw72.50475157393227568147.23333333337836.0
BASE/snake2p/I3wWPQ72.5568739405834681329.01120.9
BASE/withConviction/3Xm54A72.87162970861532111622.333333333331531.7666666666667
DRESDEN/kalaha_2009/gcC8uA73.192780504908821738.123.746877601998335
DRESDEN/Catch-Me-If-You-Can/ghGWrA73.23552312077702184983.166666666662525.866666666667
STANFORD/triplesukoshi/Iu9mbA73.5238217674131595318.733333333341296.4333333333334
BASE/crossers3/O0rORg73.760370035087723502.147.47942558224769
STANFORD/tictactoe/ss1kyQ73.79451374451375212970.966666666672886.0
BASE/snakeParallel/RCVNtw73.91174433852456167215.466666666672262.366666666667
BASE/aipsrovers01/4C4jsw74.6517720006826387486.91171.9333333333334
BASE/nim4/twk16w74.85725612686208103851.966666666661387.3333333333333
DRESDEN/nim4/F5YAYg75.42502218278615102004.81352.4
BASE/double_tictactoe_dengji/zgaSbA75.6039974538510598978.233333333341309.1666666666667
BASE/escortLatch/mX9BjQ76.0485767097966634285.23333333333450.8333333333333
STANFORD/jointbuttonsandlights/qAKuIQ76.19404775726615328129.66666666674306.5
DRESDEN/CatchMeIfYouCanTest/CX18rA76.74170955022387191381.033333333332493.8333333333335
DRESDEN/snake_2009/zIYLVw77.0218315440593835632.86666666667462.6333333333333
BASE/snake_2009_big/-oRfVw77.087387853692229786.566666666666386.4
BASE/stateSpaceLarge/0Ge_CQ77.32181367020077285639.66666666673694.1666666666665
DRESDEN/chinesecheckers1/Y-ftaA77.5063452815993148073.0620.2459918002734
DRESDEN/aipsrovers01/qS47Mw77.8494480452218287681.833333333331126.3
DRESDEN/catch_me/ghGWrA78.97764948890419198823.62517.4666666666667
BASE/lightsOut/5P1ZBw79.1827510563432179277.666666666662264.1
DRESDEN/snake_2009_big/DgC1NQ79.2120500782472730369.9383.4
BASE/snake_2009/7l-qAQ79.6360348270995137613.5472.3175894136862
BASE/gt_centipede/9fRMpw79.69385316932811157870.866666666671980.9666666666667
STANFORD/dualrainbow/G3OnRQ80.37904932146505293780.066666666653654.9333333333334
BASE/knightazons/apnJBQ80.778615490061683928.533333333333348.63333333333333
BASE/gt_staghunt/xPjLRA81.1997093766260743345.666666666664533.8155394820172
BASE/ticTacToe/JRFsaQ81.26586447118429235251.133333333332894.8333333333335
DRESDEN/Thief_Police/CX18rA81.30352003243024200562.233333333342466.8333333333335
BASE/maze/cCX3qQ81.31702033598586490504.266666666666032.0
BASE/3pffa/pR0dzA81.5269665973215541800.2512.7162427919069
DRESDEN/double_tictactoe_dengji/bGaUyQ82.2197118951974107113.11302.7666666666667
BASE/ticTacHeaven/18n58A82.2395219208918551147.5621.9333333333333
DRESDEN/2player_normal_form_2010/NG_Kdg82.76804826741255477395.066666666655767.866666666667
DRESDEN/knightazons/02I8BQ82.912462068965524005.833333333333548.31400773024124
BASE/crissrace/ERWGDA83.469989609826127786.233333333334332.8889037032099
BASE/blockerSerial/3eqDuw84.457823388690581200.56666666667961.4333333333333
BASE/gt_prisoner/klthDw84.6778479775939743335.3511.76666666666665
DRESDEN/crissrace/KWb9bw84.8578199052132628648.0337.6
STANFORD/bestbuttonsandlightsbig/g0JC6g85.50506164885307322932.66666666673776.766666666667
DRESDEN/backgammon/mqCW0Q85.9216297024002426527.966666666667308.74608359442703
BASE/tictactoe_3player/GtM71g86.3394893018897373710.9853.7333333333333
DRESDEN/tictactoe-init1/3ltIBQ87.0471083791224262449.933333333353015.0333333333333
STANFORD/rainbow/_4qNSQ87.79166373507822499113.16666666675685.2
BASE/stateSpaceSmall/Q7osKA87.86715530661458767630.98736.266666666666
STANFORD/bestbuttonsandlights/nm0wEA88.24241850142766434723.33333333334926.466666666666
BASE/lightsOnSimul4/9FeASw89.3565596935250994854.966666666661061.5333333333333
DRESDEN/tictactoe_3player/ESLQQQ89.8958333333333386443.83333333333961.6
DRESDEN/point_grab/r5DPmQ89.98991226796038413029.74589.733333333334
STANFORD/tictactoe7/-bE9-A90.31032829818079257480.766666666662851.0666666666666
BASE/lightsOnSimultaneous/_VN6lw90.35113452188007111493.31234.0
BASE/pearls/6k_mEQ91.93538828789573808770.93333333338797.166666666666
BASE/tictactoe-init1/7M19vA92.18652403508375271169.733333333342941.5333333333333
DRESDEN/blocker/S815zQ92.21848790305165355880.366666666643859.1
DRESDEN/statespacesmall/h-NqjA92.21913422580633788292.23333333338548.033333333333
BASE/slidingpieces/uFJWEw92.5421535893155273910.33333333333798.6666666666666
BASE/2pffa_zerosum/o0_uZA92.6805606921436251655.333333333336557.3480883970534
DRESDEN/gt_chicken/CeuKtw92.9156443471969544232.566666666666476.0507983067231
STANFORD/buttonsandlights/eyhJpA93.80165062457438922886.39838.7
DRESDEN/slidingpieces/s9_44g94.1757926254050276536.66666666667812.7
BASE/stateSpaceMedium/3bUoIw95.59609039970566528318.16666666665526.566666666667
DRESDEN/frogs_and_toads/GjchhQ96.0699495743091921437.466666666667223.14435223144352
BASE/gt_chicken/gmepTQ97.7240545808966941777.03333333333427.5
BASE/smallest_4player/ADDROA98.3816843372378470831.53333333334719.9666666666667
BASE/ticTacHeavenFC/mrletw98.4934671021931856285.73333333333571.4666666666667
DRESDEN/Goldrush/VeWczQ98.6936297136649653500.03333333333542.0819306023133
BASE/copolymer_4_pie/IN5_jA98.787938901011799598.01008.2
DRESDEN/towerworld/HCX34w99.117421756894793232.732.61485158410234
BASE/futoshiki4/BaCwSw99.20442344857204138598.51397.1
BASE/2pffa/6oHijA101.0255807006466958666.96666666667580.7139762007934
STANFORD/multipletictactoe/_bkafQ104.3182736259048284223.76666666666807.3730875637478
DRESDEN/statespacemedium/dVJZ_w104.32635674431405555948.25328.933333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw104.7697782204342880732.9770.5743141895271
DRESDEN/grid_game/U7_Yeg106.0426963784659260382.23333333333569.4143528549048
BASE/ticblock/T21C1g107.52018363147063158481.166666666661473.9666666666667
BASE/dotsAndBoxes/EHwA_w107.6226369320661984929.36666666667789.1403619879337
BASE/ticTacToeSerial/Amrwqw107.70034374532953120103.833333333331115.1666666666667
STANFORD/alquerquezero/uVgA_A107.7077436428489231202.933333333334289.7
DRESDEN/ticblock/Z2yNWQ108.24358596284281159056.733333333341469.4333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ109.07501722733821116077.633333333331064.2
BASE/futoshiki5/TJ4BZg109.1611788702493487412.63333333333800.7666666666667
DRESDEN/skirmish3/3LU8Nw109.254565333333326554.459.992001066524466
BASE/simultaneousWin2/PfjRjw109.38638596031693111362.633333333331018.0666666666667
DRESDEN/pawn_whopping/4ogBkg109.50612394125892119807.01094.0666666666666
STANFORD/nineboardtictactoe/y28P-A110.366258226764468754.5622.9666666666667
BASE/futoshiki6/JmvXNA111.0576579817731861335.1552.2815906136462
DRESDEN/statespacelarge/8-y5HQ111.5536280233528401258.43597.0
STANFORD/sukoshi/4LYZZQ112.1843151189724284140.433333333352532.8
BASE/nineBoardTicTacToe/wRmqqA112.202557127312368742.76666666666612.6666666666666
STANFORD/tictactoe5/WFRReg112.9553217424777293439.12597.8333333333335
DRESDEN/SC_TestOnly_enabled/09o7gQ113.09851556214605238980.933333333322113.0333333333333
DRESDEN/grid_game2/kypTYQ113.66408129984289190512.366666666671676.1
DRESDEN/smallest_4player/ADDROA114.4667672528964582440.03333333334720.2093263557881
BASE/dotsAndBoxesSuicide/jzQbLw114.670899791955688189.56666666667769.0666666666667
BASE/battlebrushes/arCwyA114.862019736842114837.7129.17847025495752
BASE/snake_2008/i6K26g115.5636231456388738377.4332.0889303689877
DRESDEN/brawl/2kXtfQ116.295172658227844593.239.496050394960506
DRESDEN/Runners/3bOCQw116.78514374773873139873.566666666681197.7
BASE/brawl/6Ymo_Q117.452632711864424617.03333333333439.309747484842426
BASE/beatMania/qUHwvQ117.46662910864245222407.41893.3666666666666
BASE/duplicateStateSmall/bCPAXw117.6612529130755708520.76666666676021.7
BASE/copolymer_4/2LDVhQ118.37770907309906128905.433333333331088.9333333333334
BASE/blocker/dIWtxg119.35121535925956364494.633333333363053.9666666666667
BASE/pegEuro/5awwhg119.8599437513397437275.2310.9896336788774
BASE/rubiksCube/9tNO9Q120.2864251282848825785.4214.36666666666667
BASE/snake_2008_tweaked/bX0NJQ120.5772876958387340276.833333333336334.03333333333336
BASE/breakthroughSmallHoles/bxclRw120.95109469157859133138.933333333321100.7666666666667
DRESDEN/snake_2008/E56l3A121.366567794271140060.433333333334330.07799480034663
BASE/cubicup_3player/e2yA_g121.736131339219449175.7403.953201559948
BASE/nim2/eF2Qqw121.96654794329211174643.91431.9
BASE/point_grab/V_osUg122.83743666169894412119.63355.0
DRESDEN/capture_the_king/EQ229Q123.866643755678.745.845272206303726
DRESDEN/connect4/T0-rHQ124.8135423419176170598.7565.6333333333333
BASE/guess/SPpk1A125.5887699319160930125.733333333334239.8760123987601
DRESDEN/nim2/z5_exA125.95769865597737178062.21413.6666666666667
BASE/breakthroughSuicideSmall/XSbJog126.1689121070479345887.63333333333363.7
BASE/peg/fJHVWw127.6812516981792740516.166666666664317.3227559081364
STANFORD/freeforall/Lfp40Q127.801819574448160527.166666666664473.6017598826745
BASE/skirmishHoles/AUCxCA129.837775044563274045.666666666666531.159396140900455
STANFORD/untwistycorridor/EDPPAQ130.8204284306004836042.83333333346390.766666666666
DRESDEN/cubicup_3player/awDtsQ131.1411040386279352205.53333333333398.0867304423186
BASE/breakthroughSmall/HJ0tIA131.2182378213673545933.6350.0549981667278
BASE/untwistycomplex2/EDPPAQ132.35866781862848847695.56404.533333333334
BASE/tictactoe2/bhrDoQ135.98013356908766402469.46666666672959.766666666667
BASE/conn4/va9Y7A137.12865497076024178212.41299.6
BASE/connect4/50bOyw137.1715098680227575526.63333333333550.6
DRESDEN/tictactoelargesuicide/6J4DeA139.20995424314071272800.46666666671959.6333333333334
DRESDEN/hanoi/RQ0jiA139.25635339247182232335.31668.4
BASE/racer/QQYQNw139.566745349508952682.36666666666719.21923922456865
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg139.6961423286947552870.333333333336378.46666666666664
BASE/pawnWhopping/Ypc_6Q140.16522409803756109039.2777.9333333333333
BASE/strangeSkirmish/gc1zKA144.074565384615373744.066666666666625.987006496751626
DRESDEN/tictactoelarge/IwXcbg144.3646157613068275149.33333333331905.9333333333334
DRESDEN/guess/PhxGhg144.699224500540634200.933333333334236.35878804039865
BASE/cittaceot/fDxhXg146.028300069188242209.1289.04739684021064
BASE/queens12ug/u6Bkmg146.2771905210167671995.23333333334492.183593880204
DRESDEN/skirmish/RjGQYQ146.487795433789966413.643.78248700519792
BASE/skirmish/Y_psYQ146.926498730606483471.923.63018264231436
BASE/asteroidsParallel/WauZiA147.49429726905075108196.9733.5666666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw149.2261879177282844899.166666666664300.8799413372442
BASE/ticTacToeLargeSuicide/727_8g150.45415493100444247502.11645.0333333333333
DRESDEN/racer/vk_ZBA150.970954434250762738.166666666666518.137042830044262
BASE/mineClearingSmall/frsbvw151.6604039451338838696.1255.14965668955404
STANFORD/multiplebuttonsandlights_9/SqB9BA151.95769079452302785362.93333333335168.3
BASE/ticTacToeLarge/TZC0dg153.5421528675082257464.61676.8333333333333
BASE/queens08ug/kJ_ZFQ154.77175489485134142286.83333333334919.3333333333334
STANFORD/multiplebuttonsandlights/cK70Yg155.2077229571575786861.76666666675069.733333333334
BASE/endgame/jYjfOA155.4014740980573511197.472.05465755707382
BASE/queens16ug/gT-ylw155.4118141433545543147.5277.6333333333333
BASE/qyshinsu/R08Lzw155.7578520671630132773.36666666667210.4122921041229
BASE/nim1/hin2Qw156.9454962439447223547.933333333321424.3666666666666
BASE/othelloSuicide/B442jg157.78694533708793094.891964552424719.614372772986112
BASE/othello-comp2007/86ZoMw158.287667754597073175.988267448836720.064660200646603
DRESDEN/skirmish2/iPpWhQ159.417964667154347261.96666666666645.55300076643674
BASE/lightsOn/MsXu3A161.6186973521091847393.76666666675243.166666666667
DRESDEN/gt_ultimatum/pAiiQw163.2101033651931654639.1334.7776814879008
BASE/asteroids/BKCmPQ165.55922210958758206871.766666666661249.5333333333333
BASE/golden_rectangle/_nYzfw165.5635186595582472461.63333333333437.6666666666667
DRESDEN/nim1/M9BALA166.13304608645973232630.566666666681400.2666666666667
STANFORD/tictactoe3/X7myng166.27487303706354402712.22421.9666666666667
DRESDEN/4pttc/9pB9AQ166.4641505232687849839.36666666667299.4
DRESDEN/golden_rectangle/1uloXw167.2739016087418273475.4439.25202493250225
BASE/hanoi/iGLsJg169.94602500978553274978.33333333331618.0333333333333
BASE/skirmishFinal2/gdB62Q173.20010696629215136.929.65875766462277
BASE/choicethroughalt/tt71Lg173.2749581395348716388.53333333333394.58108378324336
BASE/queens06ug/7Lq3tw173.44714569724508203569.133333333331173.6666666666667
STANFORD/knightstourmedium/x1wu8Q174.77860400373632318091.233333333341819.9666666666667
BASE/minichess/8NQEiA177.3298141263940739751.433333333334224.16666666666666
BASE/asteroidsSerial/id2QkA177.39800304468523132066.9744.4666666666667
BASE/factoringGeorgeForman/HGRorQ177.61290684846443896216.96666666675045.9
DRESDEN/breakthroughsuicide/Y9QzqQ177.8017262047470424720.366666666665139.03333333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg180.94942732019538143239.56666666668791.6
BASE/tictactoe_3d_small_2player/oOryKA181.71921099920598144945.3797.6333333333333
DRESDEN/skirmishfinal/hzq8ww182.465228571428585192.128.45528455284553
BASE/wallmaze/uxNQ9g183.79911586784547131661.43333333332716.3333333333334
BASE/hidato19/rRHSmA184.36997082467082109370.76666666666593.213559548015
DRESDEN/cubicup/SBn_lw185.2667203867848784302.53333333334455.03333333333336
BASE/englishDraughts/jFkQxg185.428281071722347596.26666666667256.6828878074795
DRESDEN/knightthrough/J7Fc_Q187.7138458745874623377.433333333334124.53760789149199
BASE/skirmishFinal3/-Olhfw188.112575262054525976.831.772463864650636
DRESDEN/chinesecheckers6-simultaneous/gPPGUw188.5918637802763337458.13333333333198.62009199386708
BASE/sheepAndWolf/g4THrg188.8419824609964625012.766666666666132.45342132453422
BASE/cubicup/4wNWJA190.2017983766549886830.56666666667456.5181160627979
BASE/lightsOnParallel/SC6enA191.84365726772702515042.66666666672684.7
DRESDEN/breakthrough/z4hK7Q193.0081986187385625768.733333333334133.51108148641893
STANFORD/chinook/osFbPA193.2586237970253617174.96666666666788.87037654115295
DRESDEN/ggp-course2013_michal13/jWKddg193.3668182146207689316.13333333333461.9
BASE/chinook/XQh0IQ193.7285609139410718554.86666666666595.77765188122771
BASE/skirmishFinal1/ecWTnQ193.992274936708845105.426.317542807648746
DRESDEN/breakthroughsuicide_v2/LU1nAw194.2720006900076725338.7130.42898570047666
BASE/othelloHoles/c0qAzw194.81110145790844020.065997800073520.635713097021135
BASE/ttcc4/Le0qjQ196.3578036723163818530.094.36854381872709
BASE/breakthroughSuicide/wZDpIg196.5359576078728325962.4132.1
DRESDEN/endgame/IJhh3Q197.92691553398067472.337.75282396454633
DRESDEN/lightson2x2/gBHuig198.23917992656058539871.36666666672723.3333333333335
BASE/tictactoe_3d_small_6player/g_9lww198.5137310073157117586.3592.3333333333334
BASE/ticTacToeNoVars/XT03NA198.54265395286538415046.82090.4666666666667
BASE/knightsTour/mvtVIg200.01744312026003307693.51538.3333333333333
BASE/gt_ultimatum/GE-uOA200.873771730914662009.73333333333308.7
BASE/breakthrough/TGxk-g201.7208068843396525941.966666666667128.6033258906255
BASE/breakthroughWalls/vOZaYA202.6204246817285425105.566666666666123.90442230146299
DRESDEN/tictactoe_3d_small_6player/llDEDQ203.07595898214964124763.1614.3666666666667
DRESDEN/tttcc4/sAvtFg206.8749382625671318833.13333333333591.03632122625791
BASE/tttcc4/8Bs2lg207.2736965517241319034.091.83027232425586
STANFORD/pilgrimage/ObRZnQ212.5588275767166851488.833333333336242.23333333333332
BASE/minichess-evilconjuncts/4OpQzw212.936441722204644727.86666666667210.05266315578962
BASE/ruleDepthLinear/OUBJpQ212.94768176077935354110.71662.9
STANFORD/knightstour/cEwgNA213.30460732061843322843.633333333361513.5333333333333
BASE/breakthroughHoles/nZk0Sg215.7734125986954727934.533333333333129.46235125495818
BASE/duplicateStateMedium/U163eQ216.9926898951367453174.766666666662088.4333333333334
BASE/factoringEasyTurtleBrain/lUj94Q219.10052870928385592601.22704.7
DRESDEN/minichess/c7GMFw220.171165220260744477.46666666667202.0131320201313
DRESDEN/minichess-evilconjuncts/th24Tw223.613184804950246169.96666666667206.47247033728837
DRESDEN/pentago_2008/hLjVpQ225.7083724502859488154.16666666667390.56666666666666
BASE/factoringMutuallyAssuredDestruction/NH0LGg245.95790579161212476207.31936.1333333333334
BASE/skirmishNew/sibw2g247.99378193277315895.76666666666623.77384876635701
BASE/checkers/rOC3Xg248.0341110989611815115.76666666666660.94228975076636
BASE/gt_coordination/IVMOzA255.30365215849656192005.36666666667752.0666666666667
BASE/factoringMediumTurtleBrain/8RBqmQ256.300089651329352592.03333333331375.7
BASE/duplicateStateLarge/dcjyuw265.01263693246227197410.16666666666744.9085030498983
BASE/majorities/ibJzSQ265.3000413429019107200.6404.0730617958803
BASE/queens08lg/Ru7eqQ274.6072933739171156379.7569.4666666666667
BASE/checkersSmall/SYmq8w277.566696132391224871.76666666666689.60645139791396
BASE/chess_200/XsTpYA277.584239130434753405.033333333333312.266666666666667
BASE/connectFourSimultaneous/7ITr3g283.33198195016405135305.4477.5507483083897
BASE/speedChess/bPnisA284.476409134385456601.63333333333323.206259364075244
BASE/ttcc4_2player_small/Cv72TA287.511649294911162524.2217.46666666666667
STANFORD/selectivesukoshi/3xmXYg289.81837100552667117111.7404.08653044898506
STANFORD/untwistycomplex/HTWEwg294.3146467732823850853.83333333342890.9666666666667
BASE/3pttc/0sol9g295.798597277267640797.76666666667137.92413839077395
BASE/2pttc/unkkYA295.927026894918261075.26666666667206.38624091727218
BASE/chineseCheckers2/eCMR3Q297.1839556475853148304.7499.03333333333336
STANFORD/ttcc4/Cx9SGw298.3616690100430427722.292.91475038325669
BASE/3pConnectFour/PqXOFQ299.86763157894734227899.4760.0
BASE/knightfight/SJRkAg303.7277630509215770.96666666666751.92467922012998
DRESDEN/oisters_farm/pTQMLg306.9885573648113877291.43333333332857.733333333333
BASE/skirmishZeroSum/zh4hcw307.659953912111466374.56666666666720.71952031978681
BASE/knightsTourLarge/M8jgLA312.3554081338333180489.36666666667577.8333333333334
BASE/chineseCheckers3/-1rZdQ313.9379511364682113715.0362.22125929135694
DRESDEN/blobwars/ZaMluQ321.401033393501855927.518.442691168148073
DRESDEN/quad_5x5_8_2/JRTLJg325.813925925925973308.13333333333225.0
STANFORD/knightstourbig/TQUI2g327.95026624226085145954.86666666667445.05183160561313
BASE/ttcc4_2player/_aH_Mw328.408788778054930718.993.53860508514113
BASE/checkersTiny/Lr48cg330.125537838521943477.53333333333131.7
BASE/blobwars/0XT15Q335.060299145299156089.16666666666718.173345759552657
DRESDEN/pacman3p/rBnk8Q335.164618508997521727.66666666666864.8268506482685
BASE/pacman2p/4LEdQg336.829204015616320127.13333333333559.75471572352196
BASE/quad_5x5/JAEP5g341.825428767625972450.76666666666211.95253649756683
BASE/chineseCheckers4/avfBcQ345.0820379815274102111.06666666667295.9037429590374
STANFORD/multiplesukoshi/vLSQPg346.13939667864344131655.5380.3539882003933
DRESDEN/knightfight/4_Ly4w349.92261912144718053.651.59312091721104
DRESDEN/firefighter/WJmoPw351.2921673315415971592.16666666662765.766666666667
DRESDEN/quad_5x5/JAEP5g354.251975122413574751.5211.0122321101223
BASE/knightThrough/gcwFjA364.31600258503423795.63333333333565.31591575579846
BASE/checkersTorusNoKings/pwb6oQ371.417731616080930999.96666666666783.4638845371821
STANFORD/pentago/ZxzLmg374.662573489061989807.13333333333239.70137315024664
BASE/checkLines/Vop7oQ378.5386551238172125346.76666666666331.1333333333333
BASE/checkersBarrelNoKings/rnKNeg383.095758542996634005.088.76370787640413
BASE/firefighter/WJmoPw383.621089808274461013782.66666666662642.6666666666665
BASE/pentagoSuicide/SBgNhw386.064713598600888293.0228.7
STANFORD/checkersonabarrelnokings/Zrevdw388.7461912056737733488.0333333333386.14369501466275
BASE/chineseCheckers6/rREH3A390.628235501653894476.8241.85860471317622
DRESDEN/connectfoursuicide/M9CNQg394.25651720542237264664.4671.3
DRESDEN/connectfour/5tc-Mg399.50332348596754252432.83333333334631.8666666666667
BASE/checkersTorus/2vm1EQ411.4520297283176526242.76666666666663.78086574027792
BASE/connectFourSuicide/c8p9Kw414.54935070737963252963.4610.2129929002367
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA414.905779439252347387.33333333333317.804845580404685
BASE/ttcc4_2player_alt/ZEJvYA417.248761345565837887.4666666666790.80306564478506
STANFORD/connectfour/VMpZkQ430.15146849625677244496.13333333333568.3954403039797
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A435.368633398821267375.216.940127134156487
BASE/reversi/d8UMeA435.5893491689331516013.03333333333336.76176509798694
BASE/amazons_8x8/7SOsIw436.163573563983121851.06666666666650.09833005566481
BASE/connectFour/WAIKTw437.8354273389054270655.26666666666618.1666666666666
BASE/pentago/86NgKw447.4864574783502101617.4227.08486100926604
BASE/connectFour_9x6/B9TtMw455.4622931519393232118.76666666666509.6333333333333
BASE/4pttc/AL1k2Q460.270647203658143612.594.75403279562725
BASE/reversiSuicide/9OxJlg465.8224917425622517047.96666666666736.597560162655824
DRESDEN/tictactoe_3d_2player/LMuX9w479.611685421878570290.4146.55689620691953
BASE/chineseCheckers1/gqtwHw482.38579583852305387278.56666666665802.8399053364888
DRESDEN/vacuumcleaner_random/_6AGDA487.39026894775577358.36666666666715.097483752707882
BASE/blokbox_simple/JBx4bg497.66915077881623549.56666666666667.132382349020131
BASE/connectFourLarge/aU644A498.72126835381516159618.73333333334320.0559981333956
BASE/dualConnect4/WbCQkg508.75283145181794177848.13333333333349.57669488700753
BASE/pacman3p/wW7UVQ549.205675061728434590.7333333333362.98320447880565
BASE/knightmove/jBaJEw555.6326740990991208318.26666666666374.9208359721343
BASE/tictactoe_3d_6player/d7KSwg562.345249838722379403.36666666667141.2003865764655
DRESDEN/knightmove/97Ipcw563.0010339047956212349.83333333334377.17485500966603
DRESDEN/vacuum_cleaner_1/eUNjpw563.4591597374188576.515.221156408206769
BASE/racer4/0vs7Ww573.0931859144.815.956916325920016
BASE/queens31lg/0gID-A576.642730718954221558.53333333333337.386291693045884
DRESDEN/CephalopodMicro/H3XQfg577.630580706629648490.483.94707901489653
BASE/bomberman2p/4CClwA584.907930269413773808.0126.18738126187381
BASE/tictactoe_3d_2player/IUC1rQ593.469962861455382992.83333333333139.8433594400933
BASE/connectFourLarger/qKi60A611.201680382237272435.4118.51309040037306
BASE/checkers-mustjump-torus/uSApKQ617.26443371212125415.58.773387391578877
DRESDEN/bomberman2p/x4h6jQ622.034205249480279770.3128.24101846297407
DRESDEN/fizzbuzz/t1xHzQ626.0513674197383526509.2841.0
BASE/hanoi_6_disks/MeubgQ629.9933097261355186318.6295.7469502033198
BASE/zhadu/DlA8iQ631.636871404399224878.239.386871042985675
BASE/hidato37/pBrqxw638.212843718151540345.56666666666663.21647560650493
DRESDEN/Zhadu/9zpQ5w640.523662682926826243.140.971320075946835
DRESDEN/sat_test_20v_91c/dK7nVw641.27104251884305384.4666666667476.2174594180194
DRESDEN/uf20-020.cnf.SAT/hDrW_A641.3903728813559315350.26666666666491.6666666666667
BASE/amazonsSuicide_10x10/XIbQkg649.767095456865714136.66666666666621.75651362697408
DRESDEN/hanoi_6_disks/MeubgQ654.2710795902284193729.66666666666296.1
STANFORD/skirmish/w4V6Vw658.14688761904765373.4333333333338.164489469474807
BASE/kitten_escapes_from_fire/uW-YiA659.9746393958487418981.93333333335634.8455051498283
DRESDEN/kitten_escapes_from_fire/uW-YiA664.730797328324424630.0333333333638.8
BASE/cephalopodMicro/9l2D3g665.279333333333451175.33333333333676.92307692307692
BASE/checkers-newgoals/0XkFiA691.578210400682118022.93333333333426.060585863298563
BASE/amazons_10x10/Bun8dA720.25242084639515298.521.24047008689283
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw725.0212790103842425901.6666666667587.4333333333333
BASE/amazonsTorus_10x10/Uxc08g729.86577708333339328.612.781254160564506
BASE/gt_tinfoil/Q8DyKg759.330786508841988737.5116.86277124095864
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA761.9027387358444316215.0333333333415.03333333333336
DRESDEN/uf20-010.cnf.SAT/5ICbCg764.0544075697488366058.4666666667479.1
DRESDEN/tictactoe_3d_6player/ulZPWg768.590644740932798888.7128.66237792073596
DRESDEN/ghostmaze2p/HY0UwA773.8554386885518103718.96666666666134.02886570447652
DRESDEN/babel/WdSW4A799.344541879648365661.9666666666682.14476139696082
BASE/ghostMaze2p/W-NU-w802.0579414428242104497.7130.28697130286972
DRESDEN/sat_test_20v_91c_version2/a1mPBA816.5924239960982334857.3333333333410.06666666666666
DRESDEN/mummymaze2p-comp2007/oTQRQg836.816278545692785137.3101.73953612370035
STANFORD/madness/UO_B3A853.51394905385736503.6666666666677.61987156024357
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ868.0498392282957431941.6497.6
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw900.34383173076929336.510.369927211087845
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg916.3284264300598454407.26666666666495.9
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg932.368880673126487566.76666666666522.9333333333333
BASE/mummyMaze2p_2007/YGA3Vw964.211652091125594496.5333333333498.00393215368723
BASE/checkers-cylinder-mustjump/rjr6qQ970.18075196408539595.8333333333349.89076861595844
BASE/gt_two_thirds_2p/1APDGg1019.66643750000012698.33333333333352.6462902318811814
DRESDEN/connect5/1kYzSg1064.434723747980621949.66666666666820.620960756879207
DRESDEN/quartosuicide/WIU1oQ1077.421081844380524901.123.111762355135205
BASE/colonelBlottoVariant2/jruwGw1117.242963700234247682.43333333333442.67866066966517
DRESDEN/hanoi7_bugfix/3gdnFw1135.848842018197183098.83333333334161.2
BASE/hanoi7_bugfix/3gdnFw1143.7971712944857194946.8170.43826028995167
DRESDEN/quarto/OQzRYQ1171.554744791666526210.522.37240736425076
BASE/checkers-mustjump/T-8UuQ1185.082253371320113852.53333333333311.689090182496336
STANFORD/platformjumpers/HEQskA1204.989431944444330840.53333333333325.594028060119307
BASE/connect5/d-BVQg1226.19909245516421961.16666666666817.909951819239076
BASE/colonelBlotto/jip21A1261.4866335511986431.8666666666675.098640362569982
BASE/quarto/EwBMVQ1308.5537597615529262.13333333333522.362194227821103
BASE/quartoSuicide/-23jUg1339.26804503546129373.63333333333521.93260224659178
BASE/colonelBlottoVariant/X-n-KQ1422.695282604246461765.6333333333343.414520374504384
DRESDEN/hanoi7/51zz5Q1429.4138678223185219891.5153.83333333333334
BASE/wargame02/BkVqqQ1487.44789777777785936.5333333333343.991086573319586
BASE/nonogram_5x5_1/qLKEZw1853.1439069221747157897.085.20493168943685
BASE/mummymaze2p/vpjDdA1988.339788258413189909.2666666666645.21826057980673
DRESDEN/mummymaze2p/k-8edg2000.01987997065390849.445.4242484836366
BASE/twisty-passages/DiZmmg2299.7133851328626151929.3333333333466.0644645178494
DRESDEN/twisty-passages/j7NPyg2385.8025964876033153902.2333333333464.50753032120485
BASE/amazons/RKKZjw2443.3558444444443204.733333333333320.0837918610172332
BASE/nonogram_10x10_1/0Xc62g2933.999422163355673770.1333333333325.143199680298387
DRESDEN/battlebrushes/QHXV4A3075.7972391559911125.31662445007330.36586177077097054
BASE/solitaireChineseCheckers/-ET6gw3617.273118055555651619.014.270141710435041
BASE/four_way_battle/xSOQXA4271.22461815008727132.8666666666656.352479462533675
BASE/wargame03/klXI8w4457.97380476190514524.4666666666673.258087037468001
DRESDEN/max_knights/hCipiA4581.9139296116531404.96.854100815172185
BASE/max_knights/2fq3Ag4620.18198840579831818.86.8869148617626506
DRESDEN/four_way_battle/xSOQXA4689.67218673469430624.96.530285866595588
BASE/wargame01/_GZFZg4971.96759024390220305.24.083936516368949
DRESDEN/pawntoqueen/f_x6Aw5094.72030206896624523.9333333333344.813597583242041
BASE/pawnToQueen/-O1_JA7957.454547651007539435.266666666674.955763985897692
BASE/gt_attrition/kD_SCA8194.9874259259259665.1666666666661.1793998165378063
DRESDEN/battle/8oAvhQ12328.76497333333544840.766666666673.6370850416611558
BASE/battle/8oAvhQ12962.2348847414.43.657887736100027
BASE/ad_game_2x2/D0aWqg21582.2585052631613479.60.6245685546168765
DRESDEN/othello-cornercontrol/r5Gdlg53152.7170333333348652.5666666666680.16278691193228065
DRESDEN/hitori/S8Gsyg54447.053860484.866666666671.1108932888976017
BASE/hitori/S8Gsyg57516.55914062499560633.51.0541920606160435

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageREKKURA_BACKWARD_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