index

ALLOY_DIFF_PROP_NET:1 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
BASE/snakeAssemblit/UO4sdg10.2763983990480822110.8333333333335205.4059458738835
BASE/coins_atomic/AA3SSw26.1946580473517874828.533333333342856.633333333333
DRESDEN/coins/QwFP9w26.55177580596071675607.066666666672847.5333333333333
BASE/coins/QnGtnQ26.60103772920433275534.533333333342839.5333333333333
DRESDEN/amazons/dNB28A38.059899393939396209.266666666666685.498350494851545
DRESDEN/8puzzle/8fKC2w41.4869689542483733853.36666666667816.0
DRESDEN/tictactoeparallel/yk_DSg49.6887744408180455315.21113.2333333333333
BASE/coloredtrails/EZvr7g51.58387305699482526548.5514.6666666666666
BASE/pearls/6k_mEQ54.43678429120149808770.933333333314857.066666666668
BASE/haystack/UkweGA59.71001065087372850260.614239.833333333334
BASE/eightPuzzle/vLrgFg62.1740192892511331529.466666666667507.1164294523516
DRESDEN/latenttictactoe/kITHKg68.210682492581683519.433333333331224.4333333333334
DRESDEN/sum15/CsgWKg68.65155733045721157008.42287.0333333333333
DRESDEN/javastrike/whONTQ70.41198044009787679.6109.06666666666666
BASE/sum15/QZ07Kg73.50405579794753159484.22169.733333333333
DRESDEN/sheep_and_wolf/enAIzQ74.181410192480324793.9334.23333333333335
STANFORD/8puzzle/jNiGtw74.5592936927295837157.86666666667498.3666666666667
BASE/sudokuGrade6H/ieE_9A75.16651652781519321.6124.01266455590735
BASE/doubletictactoe/HH1htg75.5682966648526897203.51286.3
STANFORD/eightpuzzle/W_aWbA77.5547314929267937645.066666666666485.4
BASE/sudokuGrade6E/ihYFZA77.644919176954739432.6121.48380215971204
BASE/blockerParallel/7-nDJA78.6010010166575533502.36666666667426.23333333333335
BASE/blocks2player/wnTLOQ79.46142243436755138726.41745.8333333333333
DRESDEN/blockerparallel/dVQgSg79.6640193731296333718.0423.2525582480584
DRESDEN/blocks2player/3ev8nQ79.88296078013222137348.11719.3666666666666
DRESDEN/blocksworldparallel/2JfVaw82.0231419830844175967.1926.1666666666666
DRESDEN/doubletictactoe/lJzgmQ82.66255936336799107337.333333333331298.5
STANFORD/sudoku/oJ1qyQ83.212514679911710051.066666666668120.78792120787921
STANFORD/breakthrough/d5j0cQ83.3779327416520215812.433333333332189.64770189647703
BASE/sudokuGrade4/DTy07w85.3882365131578910381.133333333333121.57568486302739
DRESDEN/bunk_t/7-tPfA85.66413839679984109929.933333333331283.2666666666667
BASE/sudokuGrade3/eI8dvg85.6864738601271510479.866666666667122.30479554770554
BASE/sudokuGrade5/BQfUQA86.0358752780767910656.266666666666123.8584094393707
BASE/doubletoetictac/fu35bg86.77586480902686109204.533333333341258.4666666666667
BASE/sudokuGrade1/tDRNRw87.1824283557507610586.5121.42928569047699
BASE/sudokuGrade2/u80Tfw87.2866379940038110674.8122.2959234692177
DRESDEN/doubletoetictac/V89gKQ90.2921196387041111294.066666666671232.6
DRESDEN/tictictoe/LAUtwg93.8825524257734190433.93333333333963.2666666666667
BASE/bunk_t/xbpfIA94.91546868972611123026.266666666661296.1666666666667
DRESDEN/chickentictactoe/Ipbo-g95.7330445499692176065.833333333341839.1333333333334
BASE/blocks/xIV5hQ96.86258663366337260883.233333333342693.3333333333335
BASE/survival/YVIjJA97.70129260775565707976.13333333337246.333333333333
DRESDEN/smallest/9kaGFw99.07545923285813241.23333333333332.7147949495286
DRESDEN/tictactoex9/rFkD4w101.288710258206124102.533333333333237.95873470884302
STANFORD/duidoku/3SoMaA102.522399190868377882.13333333333376.88206085246776
BASE/double_tictactoe_dengji/zgaSbA104.0707626524603998978.23333333334951.0666666666667
DRESDEN/tictactoe/BTTzPw104.62913907284768207493.533333333331983.1333333333334
BASE/tictactoex9/BI26ow105.1728464683490624866.366666666665236.43333333333334
BASE/eotcitcit/V_9_bg107.10504099920423103188.56666666667963.4333333333333
BASE/blocksWorld/SEdXLQ107.4583843029799292816.933333333352724.9333333333334
DRESDEN/blocks/vg0DRw107.81201083310557289274.02683.133333333333
BASE/tpeg/QNs7Lw108.0623911081661138049.833333333336352.1098593427105
BASE/ticTacToeParallel/ymRGPw109.3529490526879654446.833333333336497.9
BASE/onestep/xi53wA111.6701193414907838404.36666666677507.866666666667
DRESDEN/peg/Vo31eg112.3524670065458239665.26666666667353.0431304579695
BASE/shmup/ssTNlg112.930453563714917428.933333333334154.33333333333334
DRESDEN/tpeg/h-Scbg114.3745043616177838460.333333333336336.26666666666665
DRESDEN/peg_bugfixed/u_B7MA115.7815431744208340315.13333333333348.2
BASE/eotcatcit/AfZSzA119.75874936788324228926.833333333341911.5666666666666
DRESDEN/eotcatcit/mQUxzA120.09425615151183218979.866666666671823.4
DRESDEN/double_tictactoe_dengji/bGaUyQ122.85960619384439107113.1871.8333333333334
DRESDEN/chickentoetictac/cxYaRQ123.83518680775538183734.266666666661483.7
BASE/numbertictactoe/rvJ-iQ126.51789867109635101551.7802.6666666666666
DRESDEN/circlesolitaire/ruUilQ130.9568070091976220216.966666666671681.6
DRESDEN/ticblock/Z2yNWQ131.28547845705168159056.733333333341211.5333333333333
BASE/hodgepodge/9yjRkw133.11437175840723132604.1996.1666666666666
BASE/circlesolitaire/azuQFQ133.33823648266386219972.533333333331649.7333333333333
BASE/chickentoetictac/l57rfQ134.17637832143276191044.81423.8333333333333
BASE/incredible/8Qh-6Q137.73426879198632115499.36666666667838.5666666666667
BASE/ticTacHeaven/18n58A137.9630462147095851147.5370.73333333333335
DRESDEN/brain_teaser_extended/ZDp94A138.66837432435366212934.533333333331535.5666666666666
BASE/brain_teaser_extended/ZDp94A139.38692839127097211844.91519.8333333333333
BASE/tron_10x10/7ZTgDg142.563298802636935322.433333333334247.76666666666668
STANFORD/duikoshi/tpw1sw143.0313660515340483449.26666666666583.4333333333333
DRESDEN/buttons/ADUaHw143.776865919929561788.93333333333907.366666666667
DRESDEN/toetictac/mJtxCA144.79724353197196219575.366666666671516.4333333333334
BASE/buttons/hTcUjw144.81730050299075568147.23333333333923.2
DRESDEN/logistics/fPru1Q146.1990669065583341980.7287.14752349843343
BASE/blocksWorldParallel/RseaAQ146.5387679695167884606.6577.3666666666667
DRESDEN/troublemaker01/C-lPWw147.36743367803265664563.26666666674509.566666666667
BASE/toetictac/mTThmg147.38268299756822220204.466666666671494.1
DRESDEN/cube_2x2x2/fp-34Q150.671989519280761256.166666666664406.55311489617014
DRESDEN/troublemaker02/iZLVuA150.6844395214887566824.63333333333761.6666666666665
STANFORD/tictictoe/rpt_Dw152.4757364858423106621.2699.2666666666667
BASE/tictactoe_orthogonal/WRzlVw154.34957534703514200515.533333333331299.1
BASE/ticTicToe/c1OobQ154.54897131266299106669.7690.2
BASE/troublemaker01/s3tlEQ156.09949830877846687633.94405.1
DRESDEN/pawn_whopping_corrected/7Ov0jQ156.9960326405482116077.63333333333739.3666666666667
BASE/chickentictactoe/DSlZCA157.63565643027798180345.71144.0666666666666
BASE/ticblock/T21C1g157.7607260178518158481.166666666661004.5666666666667
BASE/pancakes88/l2Xaig158.501531372549179.533333333333331.1326914748309291
BASE/gt_dollar/TGjqRw158.62584036799274104603.16666666667659.4333333333333
BASE/troublemaker02/DI83KA159.06683746034062581569.56666666673656.133333333333
BASE/catcha_mouse/cHv4dw162.3195284316341860819.1374.68751041631947
STANFORD/dualhunter/1rPZjQ163.4376957431598255882.933333333334341.9219359354688
STANFORD/trifecta/ss1kyQ163.64946373286156197339.433333333321205.8666666666666
BASE/tictactoe2/bhrDoQ171.12039569721793402469.46666666672351.9666666666667
DRESDEN/lightsout/XgLpzQ171.24722938360063170488.03333333333995.5666666666667
BASE/blocksWorldSerial/Wyg96Q174.70948710628986183602.21050.9
BASE/ticTacHeavenFC/mrletw175.6733250104036656285.73333333333320.4
DRESDEN/tictactoe_orthogonal/y69QFQ176.0079651102058224656.566666666681276.4
STANFORD/tictactoe/ss1kyQ176.2275272376224212970.966666666671208.5
DRESDEN/pawn_whopping_simultaneous/r8dLfw176.5296647230320680732.9457.3333333333333
DRESDEN/lightsout2/LFtfyQ177.61213467783284173201.43333333332975.1666666666666
DRESDEN/stratego/Z2wovg178.0795351645034839331.833333333336220.86666666666667
DRESDEN/pawn_whopping/4ogBkg178.60911384416616119807.0670.7776407453085
DRESDEN/catcha_mouse/cHv4dw183.3404365904365870549.4384.8
BASE/switches/tPUoCg185.21257537151632390100.92106.233333333333
DRESDEN/tictactoe-init1/3ltIBQ185.95007321335788262449.933333333351411.4
DRESDEN/mimikry/GJEhwA186.2320232246538627798.233333333334149.26666666666668
BASE/cittaceot/fDxhXg187.2603632115924842209.1225.40327956272498
DRESDEN/towerworld/HCX34w188.431886019417483232.717.155801325826975
BASE/withConviction/3Xm54A190.57487038090903111622.33333333333585.713809539682
DRESDEN/Catch-Me-If-You-Can/ghGWrA190.72395779633638184983.16666666666969.9
DRESDEN/gt_prisoner/huCp4w193.7907144647918239504.833333333336203.85307646156923
BASE/ticTacToe/JRFsaQ195.93375902276512235251.133333333331200.6666666666667
BASE/nineBoardTicTacToePie/B8LzeQ198.6049648936170245423.03333333333228.71046228710463
BASE/tictactoe-init1/7M19vA200.37172413793104271169.733333333341353.3333333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA201.0656977762213191381.03333333333951.8333333333334
DRESDEN/catch_me/ghGWrA206.63437954687174198823.6962.2
DRESDEN/Thief_Police/CX18rA207.69302726958924200562.23333333334965.6666666666666
BASE/stateSpaceLarge/0Ge_CQ209.35696660233077285639.66666666671364.3666666666666
DRESDEN/snake_2009/zIYLVw214.1540997061965835632.86666666667166.38890740617293
BASE/snake_2009_big/-oRfVw214.9174570867404329786.566666666666138.59538015399485
DRESDEN/3pffa/0YrmQw217.7155132010623246453.23333333333213.36666666666667
DRESDEN/3pttc/uwYBZw217.716055619393247995.933333333334220.45196986867543
BASE/aipsrovers01/4C4jsw219.236091455061887486.9399.05336488783706
BASE/lightsOnSimultaneous/_VN6lw219.29525295351735111493.3508.4163861204627
DRESDEN/snake_2009_big/DgC1NQ221.2622000485672830369.9137.25751616558895
STANFORD/hunter/14dD-g222.48061705505387101833.4457.7180760641312
DRESDEN/aipsrovers01/qS47Mw222.9577046957111387681.83333333333393.26666666666665
STANFORD/tictactoe7/-bE9-A226.19763389850363257480.766666666661138.3
STANFORD/3puzzle/41ibjA227.74696084357578226061.63333333333992.6
STANFORD/threepuzzle/41ibjA228.0159708506436223197.23333333334978.8666666666667
BASE/simultaneousWin2/PfjRjw228.858679271133111362.63333333333486.6
BASE/blockerSerial/3eqDuw228.9857506469906581200.56666666667354.60969268715417
STANFORD/jointbuttonsandlights/qAKuIQ232.06322638440324328129.66666666671413.9666666666667
BASE/stateSpaceSmall/Q7osKA232.65067434459766767630.93299.5
BASE/snake_2009/7l-qAQ232.8839153941394837613.5161.51179842687642
STANFORD/sukoshi/4LYZZQ232.91472211596263284140.433333333351219.9333333333334
DRESDEN/tictactoelargesuicide/6J4DeA234.8488865932048272800.46666666671161.6
DRESDEN/tictactoelarge/IwXcbg241.07006220612718275149.33333333331141.3666666666666
DRESDEN/statespacesmall/h-NqjA243.6710938465977788292.23333333333235.0666666666666
DRESDEN/knightstour/cGISAA244.20618170465187130365.4533.8333333333334
STANFORD/tictactoe5/WFRReg245.81629062883948293439.11193.7333333333333
BASE/ticTacToeSerial/Amrwqw249.45409858764884120103.83333333333481.46666666666664
BASE/lightsOnSimul4/9FeASw253.278632069538494854.96666666666374.50836610892605
DRESDEN/chinesecheckers1/Y-ftaA256.2156818262568548073.0187.62707909736343
BASE/skirmishHoles/AUCxCA261.31526523297494045.666666666666515.481937739304145
DRESDEN/frogs_and_toads/GjchhQ264.4218555966570521437.46666666666781.07297567477508
BASE/stateSpaceMedium/3bUoIw265.1489728319058528318.16666666661992.5333333333333
BASE/factoringGeorgeForman/HGRorQ266.0239541694701896216.96666666673368.9333333333334
STANFORD/buttonsandlights/eyhJpA269.65005454049634922886.33422.5333333333333
BASE/maze/cCX3qQ270.3545536386853490504.266666666661814.3
BASE/lightsOut/5P1ZBw270.6350324560962179277.66666666666662.4333333333333
BASE/snake2p/I3wWPQ272.641635936976281329.0298.3
DRESDEN/gt_chicken/CeuKtw274.6116620801434544232.566666666666161.0731544742543
BASE/strangeSkirmish/gc1zKA278.77967361455753744.066666666666613.430199620088645
BASE/gt_prisoner/klthDw279.981124289405743335.3154.7793627516331
DRESDEN/statespacemedium/dVJZ_w282.30752043873457555948.21969.3
DRESDEN/2player_normal_form_2010/NG_Kdg283.1188866484798477395.066666666651686.2
BASE/cubicup_3player/e2yA_g285.657023639883849175.7172.14945172149453
DRESDEN/cubicup_3player/awDtsQ287.27406557838152205.53333333333181.72727575747476
DRESDEN/blocker/S815zQ287.61883081896553355880.366666666641237.3333333333333
BASE/ticTacToeNoVars/XT03NA288.2870042369938415046.81439.7
DRESDEN/statespacelarge/8-y5HQ289.61967086902126401258.41385.4666666666667
BASE/gt_staghunt/xPjLRA290.72509404575643345.666666666664149.09503016566114
BASE/slidingpieces/uFJWEw290.9286041284002573910.33333333333254.0497300179988
DRESDEN/endgame/IJhh3Q296.256459577278757472.325.22240362509579
DRESDEN/slidingpieces/s9_44g296.3474445018069376536.66666666667258.26666666666665
BASE/untwistycomplex2/EDPPAQ302.6403070332024847695.52801.0
BASE/duplicateStateSmall/bCPAXw303.15804261631064708520.76666666672337.133333333333
BASE/endgame/jYjfOA304.695161922030811197.436.749516892117015
STANFORD/triplesukoshi/Iu9mbA306.719000021450195318.73333333334310.7689231076892
STANFORD/untwistycorridor/EDPPAQ306.7484253653764836042.83333333342725.5
DRESDEN/point_grab/r5DPmQ307.07766845926994413029.71345.0333333333333
BASE/rubiksCube/9tNO9Q308.314866480669625785.483.63333333333334
DRESDEN/grid_game/U7_Yeg309.6408355722668460382.23333333333195.00733235568592
BASE/knightazons/apnJBQ310.447177543859653928.533333333333312.654434047087815
BASE/hex/T1MK8g317.550410958904147725.024.326846174353506
STANFORD/tictactoe3/X7myng318.44186720788633402712.21264.6333333333334
DRESDEN/chomp/-LcqYQ318.4953865787745770056.03333333334219.9593346888437
BASE/snakeParallel/RCVNtw318.76876151744295167215.46666666667524.5666666666667
STANFORD/nineboardtictactoe/y28P-A318.8491266038027468754.5215.63333333333333
STANFORD/dualrainbow/G3OnRQ319.2683209563485293780.06666666665920.1666666666666
DRESDEN/knightazons/02I8BQ320.25359042553194005.833333333333512.508316699933467
DRESDEN/lightson2x2/gBHuig322.04209417004694539871.36666666671676.4
BASE/nineBoardTicTacToe/wRmqqA325.8980720606826468742.76666666666210.93333333333334
BASE/gt_chicken/gmepTQ325.91734480845941777.03333333333128.18290894547394
BASE/gt_centipede/9fRMpw328.3503882418192157870.86666666667480.8
STANFORD/hex/MTqWcw331.694999315068468069.924.32927845359107
STANFORD/rainbow/_4qNSQ334.3917772120238499113.16666666671492.6
DRESDEN/tictactoe_3player/ESLQQQ336.205326376285586443.83333333333257.11619225384976
BASE/hexPie/48CH6Q341.934938620689658261.524.161029093211585
BASE/skirmishFinal2/gdB62Q344.06910334821435136.914.929849701736261
STANFORD/untwistycomplex/HTWEwg344.17332973774694850853.83333333342472.1666666666665
BASE/minichess/8NQEiA346.3360942508710439751.433333333334114.77704459108179
BASE/skirmishFinal1/ecWTnQ349.2372710706155105.414.618714618714618
BASE/blocker/dIWtxg353.19247416020676364494.633333333361032.0
DRESDEN/skirmishfinal/hzq8ww354.43162636363645192.114.649087761353043
STANFORD/bestbuttonsandlights/nm0wEA354.4807153923514434723.33333333331226.3666666666666
BASE/ticTacToeLargeSuicide/727_8g356.5456422569028247502.1694.1666666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g357.6352024807117322932.6666666667902.9666666666667
BASE/lightsOnParallel/SC6enA358.0995642903495515042.66666666671438.2666666666667
BASE/chomp/-LcqYQ359.208226553672480531.8224.19252691576946
BASE/tictactoe_3player/GtM71g365.738687547544273710.9201.5397946940408
BASE/skirmishFinal3/-Olhfw369.516274897119335976.816.17465969980364
BASE/lightsOn/MsXu3A370.3158531078384847393.76666666672288.3
BASE/ticTacToeLarge/TZC0dg370.5716496161965257464.6694.7768407719743
DRESDEN/cubicup/SBn_lw376.6869228477807584302.53333333334223.8
BASE/cubicup/4wNWJA387.015871425741686830.56666666667224.35918802706576
DRESDEN/brawl/2kXtfQ388.313009577464754593.211.828601892576303
DRESDEN/skirmish3/3LU8Nw390.94455029821076554.416.76554896340244
DRESDEN/skirmish/RjGQYQ391.438172357723666413.616.38470760623418
DRESDEN/capture_the_king/EQ229Q391.46561284403675678.714.506254990684056
DRESDEN/minichess/c7GMFw395.3684377679012444477.46666666667112.49625012499584
BASE/brawl/6Ymo_Q396.07550238095244617.03333333333411.656952539550375
BASE/minichess-evilconjuncts/4OpQzw399.501475359730144727.86666666667111.95920271981868
DRESDEN/connect4/T0-rHQ402.847621928489970598.7175.24914175249143
BASE/futoshiki4/BaCwSw403.7768108856088138598.5343.25522482583915
BASE/escortLatch/mX9BjQ405.4630885691761434285.2333333333384.55821084558211
BASE/pawnWhopping/Ypc_6Q406.10502793296087109039.2268.5
BASE/asteroidsParallel/WauZiA406.1445195195195108196.9266.4
DRESDEN/minichess-evilconjuncts/th24Tw408.65187310717846169.96666666667112.9811698050325
DRESDEN/skirmish2/iPpWhQ417.99434955300127261.96666666666617.373360846701726
BASE/checkLines/Vop7oQ423.65964398377645125346.76666666666295.8666666666667
BASE/breakthroughSmallHoles/bxclRw423.97846714078474133138.93333333332314.0228659044698
BASE/ruleDepthLinear/OUBJpQ428.74005165872956354110.7825.9333333333333
BASE/skirmish/Y_psYQ431.17554793388433471.98.052172755706396
BASE/connect4/50bOyw433.743209539305775526.63333333333174.12752908236394
BASE/asteroidsSerial/id2QkA443.0088476967799132066.9298.1134591027265
DRESDEN/grid_game2/kypTYQ448.71659795362956190512.36666666667424.57169522031865
BASE/futoshiki5/TJ4BZg450.253845585121687412.63333333333194.14078122916945
BASE/factoringMutuallyAssuredDestruction/NH0LGg451.9239212957105476207.31053.7333333333333
BASE/roshambo2/KNPokQ452.32298983536907141949.3313.8228725709143
DRESDEN/roshambo2/jgSlkQ455.0766585317035141458.73333333334310.84594360375974
BASE/beatMania/qUHwvQ455.4569561365187222407.4488.3170560981301
BASE/asteroids/BKCmPQ457.20885516428467206871.76666666666452.46666666666664
BASE/futoshiki6/JmvXNA460.6503980976220361335.1133.1489134782029
BASE/conn4/va9Y7A460.8300476124806178212.4386.7204426519116
STANFORD/alquerquezero/uVgA_A473.984406548523231202.93333333333465.8311389620346
DRESDEN/bidding-tictactoe/yW5vTA492.297983640329767696.1137.51041493084486
DRESDEN/ggp-course2013_jordi/9QI6Kw494.781231790916944899.16666666666490.74549271836571
BASE/breakthroughSuicideSmall/XSbJog501.621207079538645887.6333333333391.47865498050454
BASE/breakthroughSmall/HJ0tIA504.2275644346871745933.691.09696343455218
BASE/englishDraughts/jFkQxg536.557613223140547596.2666666666788.70672131693826
DRESDEN/backgammon/mqCW0Q537.236075281151626527.96666666666749.3786026055376
DRESDEN/tictactoe_3d_small_2player/HYttcg539.8476130653268143239.56666666668265.3333333333333
STANFORD/multipletictactoe/_bkafQ541.392104241645384223.76666666666155.56888622275545
BASE/qyshinsu/R08Lzw543.541485203611632773.3666666666760.29598026798214
BASE/tictactoe_3d_small_2player/oOryKA546.5368651376145144945.3265.20681265206815
BASE/point_grab/V_osUg549.3463076512929412119.6750.2
BASE/pegEuro/5awwhg555.296834955312837275.267.12662067126621
DRESDEN/connectfour/5tc-Mg556.9599911745238252432.83333333334453.23333333333335
BASE/mineClearingSmall/frsbvw565.388830136319438696.168.44157142381127
BASE/biddingTicTacToe/8mESVw565.58965494022571485.76666666666126.39157389507366
BASE/factoringEasyTurtleBrain/lUj94Q569.6080228124699592601.21040.3666666666666
BASE/duplicateStateMedium/U163eQ573.034478398314453174.76666666666790.8333333333334
BASE/tictactoe_3d_small_6player/g_9lww588.3629373915944117586.3199.8533431104593
BASE/connectFourSimultaneous/7ITr3g588.6255800464037135305.4229.86666666666667
DRESDEN/Runners/3bOCQw593.6464488800868139873.56666666668235.6176254916339
DRESDEN/4pttc/9pB9AQ602.570392801504249839.3666666666782.71127699280191
BASE/4pffa/Q3ADlg602.883522591225932662.13333333333554.17652350648053
BASE/peg/fJHVWw606.086305749418440516.16666666666466.84884030925086
DRESDEN/tictactoe_3d_small_6player/llDEDQ610.0885085574572124763.1204.5
DRESDEN/hallway/0H4l-Q614.055673244781810774.717.546780315642273
BASE/hallway/ckCJOw621.813017022653810671.96666666666717.162662045522712
DRESDEN/tttcc4/sAvtFg625.727205167958718833.13333333333530.097993467102192
BASE/ttcc4/Le0qjQ626.76105975197318530.029.564695686954202
STANFORD/multiplebuttonsandlights_9/SqB9BA634.3633181659084785362.93333333331238.0333333333333
STANFORD/multiplebuttonsandlights/cK70Yg636.8600064749367786861.76666666671235.5333333333333
DRESDEN/pentago_2008/hLjVpQ647.89641209374588154.16666666667136.06213126229125
BASE/tttcc4/8Bs2lg649.841114903299219034.029.290236587804067
DRESDEN/Travelers-Dilemma/PvZwYw652.7736186571559177.127429085697140.27134587554269174
BASE/choicethroughalt/tt71Lg668.656613405797116388.53333333333324.509640680675346
BASE/3pffa/pR0dzA671.600322591006441800.262.239696131676276
STANFORD/connectfour/VMpZkQ678.5276595744681244496.13333333333360.3333333333333
DRESDEN/breakthroughsuicide/Y9QzqQ679.957363244729524720.36666666666536.35575993868506
BASE/connectFourLarge/aU644A682.1768144539411159618.73333333334233.98440103993067
BASE/golden_rectangle/_nYzfw688.064484113924172461.63333333333105.3122708791575
DRESDEN/knightthrough/J7Fc_Q692.331679487179523377.43333333333433.76623376623377
BASE/connectFour_9x6/B9TtMw699.0358480994446232118.76666666666332.0555981467284
STANFORD/pentago/ZxzLmg706.636620695682689807.13333333333127.0909696767744
BASE/duplicateStateLarge/dcjyuw714.5638272200772197410.16666666666276.26666666666665
DRESDEN/breakthroughsuicide_v2/LU1nAw717.706725283018825338.735.3050892619238
BASE/pentagoSuicide/SBgNhw721.199723931391388293.0122.42517165522298
DRESDEN/breakthrough/z4hK7Q725.879812206572825768.73333333333435.5
STANFORD/freeforall/Lfp40Q732.427528897849460527.16666666666482.63912029323559
BASE/connectFourLarger/qKi60A735.458310050761472435.498.4901509849015
BASE/factoringMediumTurtleBrain/8RBqmQ745.1999712598333352592.0333333333473.15089497016766
DRESDEN/babel/WdSW4A752.367299618174865661.9666666666687.27381785464361
BASE/connectFour/WAIKTw759.439642280833270655.26666666666356.3881203959868
STANFORD/chinook/osFbPA792.765857706093217174.96666666666721.664614463043694
BASE/hidato19/rRHSmA795.6431548900744109370.76666666666137.46208459718008
BASE/breakthroughWalls/vOZaYA804.047972358591225105.56666666666631.223966143490287
BASE/2pffa_zerosum/o0_uZA815.828022456140451655.33333333333663.31644894694748
DRESDEN/oisters_farm/pTQMLg817.3776514798597877291.43333333331073.3
BASE/breakthroughSuicide/wZDpIg817.829221406086225962.431.74550299800133
BASE/chinook/XQh0IQ819.170076764705818554.86666666666522.65081109889744
BASE/breakthrough/TGxk-g820.301934387074225941.96666666666731.624900026659557
DRESDEN/ggp-course2013_michal13/jWKddg827.311711104250389316.13333333333107.95946936870875
BASE/2pffa/6oHijA829.102685303815458666.9666666666770.7595907075959
BASE/pentago/86NgKw840.6479423766198101617.4120.8798533577737
BASE/blokbox_simple/JBx4bg863.66109596774193549.56666666666664.1099068642073515
STANFORD/selectivesukoshi/3xmXYg879.0555975481611117111.7133.22445170321978
BASE/breakthroughHoles/nZk0Sg904.331548363897827934.53333333333330.889703432189272
BASE/dualConnect4/WbCQkg923.8496178208679177848.13333333333192.50766564458073
BASE/pacman2p/4LEdQg931.461401643554320127.13333333333521.608123855501916
BASE/kalaha5x2x3/WviNsw940.42941176470615446.66666666666616.42512077294686
BASE/gt_coordination/IVMOzA942.8975282370274192005.36666666667203.63333333333333
BASE/ttcc4_2player_small/Cv72TA944.187793256165262524.266.22008931547023
DRESDEN/pacman3p/rBnk8Q968.331826904055421727.66666666666822.438244889806246
DRESDEN/firefighter/WJmoPw968.750498537623971592.16666666661002.9333333333333
STANFORD/knightstourmedium/x1wu8Q978.8752786166103318091.23333333334324.95583480550647
DRESDEN/racetrackcorridor/O0DoTA994.899741075514857957.958.25501566353396
BASE/racetrackcorridor/_RkdUg997.941288541666758508.83333333333658.62953462806889
BASE/firefighter/WJmoPw1008.4379455552241013782.66666666661005.3
DRESDEN/Zhadu/9zpQ5w1024.061046553966226243.125.626499600106637
DRESDEN/connectfoursuicide/M9CNQg1035.767892564571264664.4255.524815839472
BASE/chess_200/XsTpYA1040.87397744107743405.03333333333333.2713214155899943
DRESDEN/crossers3/xiPTxg1057.4204195910753436.3709086060933.2497678737233056
DRESDEN/SC_TestOnly_enabled/09o7gQ1067.7447448796227238980.93333333332223.8184121058596
BASE/skirmishNew/sibw2g1070.64991666666675895.7666666666665.506717531929009
STANFORD/multiplesukoshi/vLSQPg1072.0723442333785131655.5122.80467890825474
BASE/majorities/ibJzSQ1077.644356515913107200.699.47678874929183
BASE/crossers3/O0rORg1078.61106428571433502.13.246860815690952
BASE/zhadu/DlA8iQ1091.149122807017624878.222.8
BASE/knightsTour/mvtVIg1108.7830987869327307693.5277.5055827750558
DRESDEN/golden_rectangle/1uloXw1145.147506909090773475.464.16238917405506
STANFORD/knightstour/cEwgNA1160.1335114704357322843.63333333336278.2814479034731
STANFORD/pilgrimage/ObRZnQ1185.072358001022651488.83333333333643.44783926964982
BASE/3pConnectFour/PqXOFQ1222.4991594493117227899.4186.4209052729818
STANFORD/ttcc4/Cx9SGw1242.202818507462627722.222.316967557124777
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1263.998711061618737814.2666666666729.916380717593363
BASE/sheepAndWolf/g4THrg1271.545789734912725012.76666666666619.671148981493808
DRESDEN/Goldrush/VeWczQ1278.165207192144453500.0333333333341.856900056653444
BASE/knightfight/SJRkAg1295.54613060109315770.96666666666712.173218918379565
BASE/speedChess/bPnisA1305.51642346491216601.6333333333335.0567217804983535
BASE/checkersTorusNoKings/pwb6oQ1344.869941184971130999.96666666666723.050531294760333
BASE/checkersTorus/2vm1EQ1359.058590287356326242.76666666666619.309518260811664
STANFORD/checkersonabarrelnokings/Zrevdw1413.939185185185133488.0333333333323.68421052631579
BASE/checkersBarrelNoKings/rnKNeg1414.363088642659534005.024.04262404262404
BASE/biddingTicTacToe_10coins/a-9ccQ1423.90424830917939272.2666666666727.58069351453982
BASE/chineseCheckers2/eCMR3Q1427.349500416934148304.7103.90216268452798
BASE/othello-comp2007/86ZoMw1446.99950306343233175.98826744883672.1948786165613567
BASE/connectFourSuicide/c8p9Kw1463.9573617669753252963.4172.7942401919936
BASE/ttcc4_2player/_aH_Mw1478.199375480769530718.920.781296832850433
DRESDEN/knightfight/4_Ly4w1493.922966391184418053.612.084692722551434
DRESDEN/sat_test_20v_91c/dK7nVw1506.1383173543757305384.4666666667202.75990800306656
BASE/chineseCheckers3/-1rZdQ1539.1789445196212113715.073.88029858704346
DRESDEN/tictactoe_3d_2player/LMuX9w1541.613776479181870290.445.59533721898418
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1557.0034976239795425901.6666666667273.53931273539314
BASE/kalaha6x2x4/XS81Mg1583.0754434782617234.44.569839062189549
BASE/pacman3p/wW7UVQ1587.630034352701234590.7333333333321.787653662924342
BASE/othelloSuicide/B442jg1665.71506806446563094.89196455242471.8579960185799602
BASE/knightsTourLarge/M8jgLA1688.7321285313376180489.36666666667106.87862427514497
BASE/tictactoe_3d_2player/IUC1rQ1726.055385423885182992.8333333333348.08236979774083
BASE/chineseCheckers4/avfBcQ1751.709802325138102111.0666666666758.29222770297294
DRESDEN/quad_7x7/q-JOXg1846.774676806083632337.017.509986684420774
BASE/tictactoe_3d_6player/d7KSwg1849.58059528985579403.3666666666742.93047130191321
DRESDEN/CephalopodMicro/H3XQfg1888.484099610894948490.425.676890798281548
BASE/3pttc/0sol9g1900.580431314740797.7666666666721.465951134962168
STANFORD/knightstourbig/TQUI2g1906.3726206936583145954.8666666666776.56156256249584
DRESDEN/uf20-020.cnf.SAT/hDrW_A1929.2697187058184315350.26666666666163.45576961535897
BASE/smallest_4player/ADDROA1948.289169385884670831.5333333333436.35575993868506
BASE/ttcc4_2player_alt/ZEJvYA1948.544625570776137887.4666666666719.44398202097553
BASE/2pttc/unkkYA1965.667853662022361075.2666666666731.071000399627014
BASE/quad_7x7/q-JOXg2000.394008806261834067.717.03049491751375
BASE/copolymer_4_pie/IN5_jA2032.679998639455699598.048.9983667211093
BASE/knightThrough/gcwFjA2063.273975818882723795.63333333333511.532948901703277
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2087.8960486575706316215.0333333333151.4515215145152
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2088.6924564796905431941.6206.8
BASE/othelloHoles/c0qAzw2112.54468184393864020.06599780007351.9029495718363463
BASE/chineseCheckers6/rREH3A2128.352355555555794476.844.38964241676942
DRESDEN/smallest_4player/ADDROA2153.2705312155582440.0333333333438.28596181400153
DRESDEN/uf20-010.cnf.SAT/5ICbCg2176.0424245954696366058.4666666667168.22211852543163
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2212.6632040253203454407.26666666666205.36666666666667
STANFORD/skirmish/w4V6Vw2250.4983634259265373.4333333333332.3876637373569887
DRESDEN/quad/JPe6fg2279.14946893004112257.9666666666675.3783074931111186
DRESDEN/sat_test_20v_91c_version2/a1mPBA2285.6526715195632334857.3333333333146.50403252682796
BASE/quad/tw-Ufg2292.256446376811712269.4666666666675.352571561554573
BASE/hidato37/pBrqxw2292.9857501575340345.56666666666617.595210377515382
BASE/amazons_8x8/7SOsIw2313.981795774647721851.0666666666669.44305901911887
DRESDEN/gt_ultimatum/pAiiQw2370.80002398843954639.123.046692866182642
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2386.523576439876487566.76666666666204.3
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2410.9910916666668944.90.3919135177504164
BASE/cephalopodMicro/9l2D3g2431.80001687763751175.33333333333621.044219499200853
BASE/copolymer_4/2LDVhQ2574.3349879795965128905.4333333333350.073294243070364
DRESDEN/tictactoe_3d_6player/ulZPWg2588.882004712041698888.738.197453503099794
BASE/bomberman2p/4CClwA2589.83304672897273808.028.49913437208683
DRESDEN/satlike_20v_91c_version2/yd9ioQ2608.95626666666661000.36666666666670.3834355828220859
DRESDEN/satlike_20v_91c/yeuENQ2693.6435454545453945.50.3510115514710575
BASE/wargame02/BkVqqQ2708.3184646464655936.5333333333342.191962803055463
BASE/ruleDepthExponential/UamhHQ2723.8877787407087305.223159228025740.1120542342493767
BASE/queens06ug/7Lq3tw2731.0296202354343203569.1333333333374.53933557695511
DRESDEN/bomberman2p/x4h6jQ2773.01158748551679770.328.766666666666666
STANFORD/madness/UO_B3A2819.33956503.6666666666672.306805074971165
BASE/nim3/1OwUqw2853.61077995735689139.731.23751165578793
BASE/dotsAndBoxes/EHwA_w2891.642722222222384929.3666666666729.37062937062937
BASE/chineseCheckers1/gqtwHw2929.782863262733387278.56666666665132.1867813218678
BASE/gt_ultimatum/GE-uOA2969.3464650717762009.7333333333320.883293365307754
DRESDEN/mummymaze2p-comp2007/oTQRQg2978.01940279720385137.328.58856457417033
DRESDEN/pancakes/hl9aiQ2979.334439228295730802.610.33875203616901
BASE/dotsAndBoxesSuicide/jzQbLw3014.91803310554388189.5666666666729.251066098081022
DRESDEN/nim3/sG_axA3030.607419006479693498.030.851241046143596
BASE/4pttc/AL1k2Q3047.702354651162843612.514.309960398016573
DRESDEN/pancakes6/SZXMyQ3137.80363921568631992.810.195921631347462
DRESDEN/ghostmaze2p/HY0UwA3213.2542614379086103718.9666666666632.278481012658226
DRESDEN/nim4/F5YAYg3239.4349765079364102004.831.488454233447737
BASE/nonogram_5x5_1/qLKEZw3254.456710164835157897.048.51716094635122
BASE/mummyMaze2p_2007/YGA3Vw3255.736473938002394496.5333333333429.02462594554967
BASE/nim4/twk16w3317.407450106383103851.9666666666631.305158690511874
BASE/ghostMaze2p/W-NU-w3411.281982717391104497.730.632970399227517
BASE/connect5/d-BVQg3450.66268499127421961.1666666666686.364333077871447
BASE/pancakes6/QZTdnw3468.506042181818431790.49.165444607385682
BASE/pancakes/yUgbXw3507.761606690561632528.9333333333349.273416206873629
BASE/amazonsSuicide_10x10/XIbQkg3547.478694444444514136.6666666666663.9849898714840766
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA3620.039241143.70.3159358018450651
DRESDEN/connect5/1kYzSg3680.631674033149521949.6666666666685.963559685018615
BASE/checkers-mustjump-torus/uSApKQ3712.20217045454555415.51.458837571698551
BASE/queens08lg/Ru7eqQ3717.0823228028503156379.742.070550614569804
BASE/queens08ug/kJ_ZFQ3846.3592081081088142286.8333333333436.99260147970406
BASE/amazons_10x10/Bun8dA4086.86565929203515298.53.7433332229105245
BASE/battlebrushes/arCwyA4896.60405164835214837.73.0302021244713795
BASE/wallmaze/uxNQ9g5584.825093032015131661.4333333333223.57485348961108
BASE/kitten_escapes_from_fire/uW-YiA5595.5624554517135418981.9333333333574.8775367389783
DRESDEN/kitten_escapes_from_fire/uW-YiA5613.160092613803424630.033333333375.64901522977972
BASE/queens12ug/u6Bkmg5644.57667502175971995.2333333333412.754762221926201
DRESDEN/chinesecheckers2/06E6-Q5728.68692818181920984.93.6631256452096306
STANFORD/platformjumpers/HEQskA5773.30952877846730840.5333333333335.3419157901722025
BASE/nim2/eF2Qqw5823.985967444444174643.929.98700563089328
DRESDEN/chinesecheckers4/-oVNYg5856.9366869565214364.90.7452530620180157
DRESDEN/nim2/z5_exA5875.26990901099178062.230.30706720841937
BASE/mummymaze2p/vpjDdA5945.10172980910489909.2666666666615.123251165889407
DRESDEN/mummymaze2p/k-8edg5981.51652675438590849.415.188355594044566
BASE/amazonsTorus_10x10/Uxc08g6086.5059086956529328.61.532669176690101
BASE/nonogram_10x10_1/0Xc62g6134.36463305632573770.1333333333312.025717045870948
DRESDEN/quartosuicide/WIU1oQ6138.32525737704924901.14.056660238079404
DRESDEN/battlebrushes/QHXV4A6352.9750033328881125.31662445007330.1771322292091046
DRESDEN/quarto/OQzRYQ6543.74375619834726210.54.0054288457082325
BASE/queens16ug/gT-ylw6574.4086675126943147.56.562947662990972
BASE/wargame03/klXI8w7180.80107759562914524.4666666666672.022680549108031
BASE/quartoSuicide/-23jUg7378.16713277777829373.6333333333353.9811558622520073
BASE/nim1/hin2Qw7431.050182576596223547.9333333333230.082952993303795
BASE/checkers-cylinder-mustjump/rjr6qQ7491.8853632478639595.8333333333341.2808302407304017
BASE/snake_2008/i6K26g7535.26453202614438377.45.0930395126660235
BASE/quarto/EwBMVQ7628.83996781609229262.1333333333353.8357251504530123
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7630.6962162162169336.51.2235449735449735
DRESDEN/snake_2008/E56l3A7869.38773747276640060.4333333333345.090667110297788
DRESDEN/nim1/M9BALA7891.301968248588232630.5666666666829.479364444888578
BASE/snake_2008_tweaked/bX0NJQ7994.42145833333340276.8333333333365.038117335101094
BASE/reversiSuicide/9OxJlg8848.4825609195417047.9666666666671.9266542652139251
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg8864.29883148148352870.3333333333365.964412339706418
BASE/reversi/d8UMeA8899.17048848484816013.0333333333331.7993849375122686
BASE/wargame01/_GZFZg9174.91977313432820305.22.213120169122019
DRESDEN/hanoi/RQ0jiA10847.49306578538232335.321.418340494986843
BASE/checkers-mustjump/T-8UuQ11160.03830175438513852.5333333333331.2412621676357223
BASE/guess/SPpk1A11940.49296315789430125.7333333333342.5229890781130697
DRESDEN/quad_5x5_8_2/JRTLJg12391.5455940074973308.133333333335.915979792608349
BASE/hanoi/iGLsJg12879.367397295891274978.333333333321.35029810478633
DRESDEN/guess/PhxGhg13380.55995670995834200.9333333333342.5560165975103732
BASE/skirmishZeroSum/zh4hcw13828.2564047619036374.5666666666670.4609812314784327
DRESDEN/othello-cornercontrol/r5Gdlg16026.5893647058848652.5666666666680.5398882113821138
BASE/four_way_battle/xSOQXA16352.43608266666727132.8666666666651.659255326209597
BASE/colonelBlotto/jip21A17878.250472727276431.8666666666670.3597592883307169
DRESDEN/four_way_battle/xSOQXA18561.13939230624.91.649947201689546
DRESDEN/pawntoqueen/f_x6Aw19512.66116666666524523.9333333333341.2568215644121052
BASE/checkers/rOC3Xg19975.1570463768115115.7666666666660.7567283016384813
BASE/queens31lg/0gID-A20401.10957521558.5333333333331.0567333729608348
BASE/max_knights/2fq3Ag28708.04437647058531818.81.1083583257269527
DRESDEN/max_knights/hCipiA30103.5594562531404.91.04322879311469
BASE/pawnToQueen/-O1_JA30760.5191606837639435.266666666671.282009138424115
BASE/checkersSmall/SYmq8w32270.08092638888824871.7666666666660.77073766016892
BASE/racer4/0vs7Ww32963.955733333339144.80.27741816164231553
BASE/racer/QQYQNw33754.902133333332682.3666666666670.07946598855689765
DRESDEN/racer/vk_ZBA34090.1749999999962738.16666666666650.08032128514056225
DRESDEN/chinesecheckers3/QsCb2A34869.88088888889613343.0666666666680.3826530612244898
BASE/quad_5x5/JAEP5g36354.5872005555572450.766666666661.992892018467466
DRESDEN/quad_5x5/JAEP5g37220.1198278688574751.52.008362690547526
BASE/kalaha_2009/dRiN3g38601.8933833333361708.76666666666670.04426639516610965
BASE/gt_attrition/kD_SCA39078.6851249999969665.1666666666660.24732578989674148
DRESDEN/kalaha_2009/gcC8uA39633.025251738.10.04385484047801776
BASE/checkers-newgoals/0XkFiA40796.1969523809618022.9333333333340.4417797412432944
DRESDEN/blobwars/ZaMluQ42544.03855927.50.13932621840777998
BASE/blobwars/0XT15Q43609.393833333336089.1666666666670.13962970203021588
DRESDEN/battle/8oAvhQ47361.12744840.766666666670.9467841984982044
BASE/battle/8oAvhQ51009.4275428571447414.40.9295222919363941
BASE/checkersTiny/Lr48cg55236.3945361111143477.533333333330.7871175100849431
DRESDEN/fizzbuzz/t1xHzQ81352.42151794871526509.26.471954862263525
BASE/knightmove/jBaJEw83827.27050666667208318.266666666662.485089463220676
DRESDEN/knightmove/97Ipcw84146.41553508773212349.833333333342.5235755080355955
DRESDEN/hanoi_6_disks/MeubgQ96890.66395555554193729.666666666661.999466808850973
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A97900.863199999997375.20.07533335007407779
BASE/hanoi_6_disks/MeubgQ98958.05783157895186318.61.8828037259694788
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA102883.391333333337387.3333333333330.07180297264306743
BASE/colonelBlottoVariant2/jruwGw109032.6955928571447682.4333333333340.43732233780026863
BASE/colonelBlottoVariant/X-n-KQ135857.9223476190561765.633333333330.45463401961421057
DRESDEN/vacuumcleaner_random/_6AGDA148234.29657358.3666666666670.04964010920824026
DRESDEN/vacuum_cleaner_1/eUNjpw150324.603758576.50.057053202110968475
BASE/gt_tinfoil/Q8DyKg180687.297588737.50.4911108928396032
DRESDEN/hitori/S8Gsyg204929.448807407460484.866666666670.2951497064900141
BASE/hitori/S8Gsyg209441.5831111111360633.50.28950077200205865
DRESDEN/crisscross/GsY16g389365.120221597.20.05546773164711429
BASE/crisscross/ICagEg390072.9462666666421702.0666666666660.05563591854901524
BASE/ad_game_2x2/D0aWqg505700.673613479.60.02665529374133703
DRESDEN/hanoi7_bugfix/3gdnFw649207.4300555557183098.833333333340.2820344081978001
BASE/hanoi7_bugfix/3gdnFw709259.779911111194946.80.2748595162472514
DRESDEN/hanoi7/51zz5Q780052.8800555556219891.50.28189306856265856
BASE/solitaireChineseCheckers/-ET6gw805953.256551619.00.06404713869407884
BASE/crissrace/ERWGDA975908.087133333327786.2333333333340.02847218267752406
DRESDEN/crissrace/KWb9bw1023936.81628648.00.027978288847854065
BASE/twisty-passages/DiZmmg2885821.722151929.333333333340.052646818815973044
DRESDEN/twisty-passages/j7NPyg2983163.9398166668153902.233333333340.051590270075063845
BASE/amazons/RKKZjwInfinity204.733333333333320.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity37458.133333333330.0
DRESDEN/chinesecheckers6/yTbPDAInfinity7420.9666666666660.0
BASE/gt_two_thirds_2p/1APDGgInfinity2698.33333333333350.0

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageREKKURA_GENERIC_FORWARD_PROVER: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
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
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