index

ALLOY_COMPILED_PROVER_CACHING:2 vs. ALLOY_DIFF_PROP_NET:1

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondALLOY_DIFF_PROP_NET:1 states per second
BASE/quad/tw-Ufg0.00205842884342611425.25582408012192612269.466666666667
DRESDEN/quad/JPe6fg0.002711621627871461433.2389675270607812257.966666666667
BASE/queens31lg/0gID-A0.004192955630952832590.3939737350843321558.533333333333
BASE/quad_7x7/q-JOXg0.01838532652552763626.345788473717634067.7
DRESDEN/quad_7x7/q-JOXg0.019456316398563774629.158903380356732337.0
DRESDEN/ggp-course2013_michal13/jWKddg0.0276769706406158822472.089316.13333333333
BASE/blokbox_simple/JBx4bg0.036389105482858806129.165555851772873549.5666666666666
DRESDEN/quad_5x5/JAEP5g0.054980836504953074109.974751.5
BASE/quad_5x5/JAEP5g0.056032045869916644059.56468117729472450.76666666666
BASE/battle/8oAvhQ0.0561496085577377352662.347414.4
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.0580665772749209128311.333333333332487566.76666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.0580714155498292921257.533333333333366058.4666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.05912346765581360426866.133333333335454407.26666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.0592687375639052525600.633333333335431941.6
BASE/pawnToQueen/-O1_JA0.0593935377639980352342.239435.26666666667
DRESDEN/battle/8oAvhQ0.0599484249079892262688.13333333333344840.76666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.06144158905484127520574.166666666668334857.3333333333
BASE/cephalopodMicro/9l2D3g0.062092414314187823177.651175.333333333336
DRESDEN/CephalopodMicro/H3XQfg0.065066487387194163155.148490.4
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.0664131401722308921000.833333333332316215.0333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.067872465199543221403.6315350.26666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.0685601919065825129199.9425901.6666666667
DRESDEN/sat_test_20v_91c/dK7nVw0.069749018013795521300.266666666666305384.4666666667
DRESDEN/othello-cornercontrol/r5Gdlg0.07033667395215691608.59276048263458652.566666666668
DRESDEN/quad_5x5_8_2/JRTLJg0.071012584324431495205.873308.13333333333
DRESDEN/grid_game2/kypTYQ0.0746152786931941914215.133333333333190512.36666666667
BASE/queens08lg/Ru7eqQ0.0790443601908261312360.933333333332156379.7
DRESDEN/pawntoqueen/f_x6Aw0.091707692349514342249.033333333333324523.933333333334
STANFORD/selectivesukoshi/3xmXYg0.0986064301574195211547.966666666667117111.7
BASE/zhadu/DlA8iQ0.127529322860978683172.724878.2
DRESDEN/tictactoe_3d_6player/ulZPWg0.1334968842075316413201.33333333333498888.7
BASE/pentago/86NgKw0.1345219093055585713669.766666666666101617.4
BASE/reversiSuicide/9OxJlg0.135505896108822352310.117047.966666666667
DRESDEN/pentago_2008/hLjVpQ0.1447951978068724212764.388154.16666666667
BASE/reversi/d8UMeA0.148343744991059372375.433333333333416013.033333333333
BASE/hitori/S8Gsyg0.151264015217110449171.66666666666660633.5
BASE/futoshiki6/JmvXNA0.153640139713366969423.53333333333361335.1
DRESDEN/hitori/S8Gsyg0.154525153950354529346.43333333333260484.86666666667
BASE/pentagoSuicide/SBgNhw0.1548854382567134413675.388293.0
BASE/tictactoe_3d_2player/IUC1rQ0.161538446090726713406.53333333333382992.83333333333
BASE/factoringMediumTurtleBrain/8RBqmQ0.168879406520907459545.53333333333352592.0333333333
BASE/tictactoe_3d_6player/d7KSwg0.169502468619088813459.06666666666879403.36666666667
BASE/hidato37/pBrqxw0.176955419306706167139.36666666666740345.566666666666
BASE/futoshiki5/TJ4BZg0.1920717790982920416789.587412.63333333333
DRESDEN/tictactoe_3d_2player/LMuX9w0.1960699232517290313781.83333333333470290.4
BASE/wallmaze/uxNQ9g0.2041486205907424926878.5131661.43333333332
BASE/nonogram_10x10_1/0Xc62g0.2127383078246661815693.73333333333473770.13333333333
DRESDEN/slidingpieces/s9_44g0.2150267845477113516457.43333333333476536.66666666667
DRESDEN/golden_rectangle/1uloXw0.2154494338694765115830.23333333333473475.4
BASE/slidingpieces/uFJWEw0.2200819912416396616266.33333333333473910.33333333333
BASE/golden_rectangle/_nYzfw0.2205787982513964815983.572461.63333333333
BASE/firefighter/WJmoPw0.22432973799775627227421.61013782.6666666666
BASE/3pConnectFour/PqXOFQ0.2264063295764125251597.86666666667227899.4
BASE/conn4/va9Y7A0.2286167142877450540742.333333333336178212.4
DRESDEN/firefighter/WJmoPw0.23435899802266144227701.36666666667971592.1666666666
DRESDEN/four_way_battle/xSOQXA0.240111804446708387353.430624.9
DRESDEN/cubicup_3player/awDtsQ0.244728847389101812776.252205.53333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.2463711893447127530738.033333333333124763.1
BASE/cubicup_3player/e2yA_g0.250324177727346412309.86666666666749175.7
BASE/dualConnect4/WbCQkg0.254052146363076845182.7177848.13333333333
BASE/tictactoe_3d_small_6player/g_9lww0.2550175204651108429986.566666666666117586.3
BASE/knightmove/jBaJEw0.2583857264557372653826.46666666667208318.26666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA0.25867985001217925109843.23333333334424630.0333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg0.260032435172125437246.933333333334143239.56666666668
BASE/connectFour/WAIKTw0.2605736596295065770525.63333333333270655.26666666666
BASE/tictactoe_3d_small_2player/oOryKA0.2606171661539445437775.23333333333144945.3
DRESDEN/knightmove/97Ipcw0.2613192538413419755491.1212349.83333333334
BASE/cubicup/4wNWJA0.261468599575341622703.46666666666786830.56666666667
BASE/othelloHoles/c0qAzw0.26351142839770271059.33333333333334020.0659978000735
BASE/kitten_escapes_from_fire/uW-YiA0.2663168929002348111581.96666666666418981.93333333335
BASE/futoshiki4/BaCwSw0.266892498836567536990.9138598.5
BASE/minichess-evilconjuncts/4OpQzw0.2686997516835142312018.36666666666744727.86666666667
DRESDEN/connectfoursuicide/M9CNQg0.269315278770649471278.16666666667264664.4
DRESDEN/cubicup/SBn_lw0.2694229038589587322713.03333333333384302.53333333334
DRESDEN/minichess-evilconjuncts/th24Tw0.2726158924380134312586.66666666666646169.96666666667
BASE/majorities/ibJzSQ0.2734826111047885529317.5107200.6
STANFORD/connectfour/VMpZkQ0.2754353034076612667342.86666666667244496.13333333333
BASE/othello-comp2007/86ZoMw0.27626046638540813877.43175.9882674488367
BASE/hidato19/rRHSmA0.2766342499199207530255.7109370.76666666666
DRESDEN/connectfour/5tc-Mg0.2775243843741932470056.26666666666252432.83333333334
BASE/connectFourSuicide/c8p9Kw0.2808448442212061571043.46666666666252963.4
BASE/four_way_battle/xSOQXA0.2827517917998597671.86666666666727132.866666666665
BASE/othelloSuicide/B442jg0.2902847693198636898.43094.8919645524247
BASE/connectFour_9x6/B9TtMw0.295069923256241168491.26666666666232118.76666666666
BASE/factoringEasyTurtleBrain/lUj94Q0.3006742139570423178179.9592601.2
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.319671562206338811974.337458.13333333333
STANFORD/pentago/ZxzLmg0.3223166385446738528946.33333333333289807.13333333333
BASE/connectFourSimultaneous/7ITr3g0.330009248214286644652.03333333333135305.4
BASE/ticTacToeNoVars/XT03NA0.3356929869113555139328.3415046.8
STANFORD/multipletictactoe/_bkafQ0.3399927098962169428635.46666666666784223.76666666666
BASE/simultaneousWin2/PfjRjw0.3478859904833428438741.5111362.63333333333
BASE/lightsOnParallel/SC6enA0.3497631911401515180142.96666666667515042.6666666667
BASE/connect4/50bOyw0.356557223301802126929.56666666666675526.63333333333
BASE/connectFourLarge/aU644A0.3608784850232757602.96666666667159618.73333333334
BASE/withConviction/3Xm54A0.3629778389629315640516.433333333334111622.33333333333
BASE/queens16ug/gT-ylw0.3640465843907526615707.743147.5
DRESDEN/connect4/T0-rHQ0.3641001888136750625705.070598.7
BASE/nonogram_5x5_1/qLKEZw0.3705696329463722458511.833333333336157897.0
BASE/lightsOnSimultaneous/_VN6lw0.3745997891054141441765.36666666667111493.3
BASE/chineseCheckers1/gqtwHw0.37541504362449873145390.2387278.56666666665
BASE/lightsOnSimul4/9FeASw0.3773139273325698535790.194854.96666666666
DRESDEN/lightson2x2/gBHuig0.3784360113930843204306.76666666666539871.3666666667
STANFORD/tictactoe3/X7myng0.38132327089502954153563.53333333333402712.2
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.3829194414561333182349.03333333333476207.3
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.3875301560247846331286.43333333333480732.9
BASE/blocker/dIWtxg0.38756574285181516141265.63333333333364494.63333333336
BASE/factoringGeorgeForman/HGRorQ0.3897452808023533349296.3333333333896216.9666666667
BASE/breakthroughSmallHoles/bxclRw0.395131101145470252607.333333333336133138.93333333332
DRESDEN/2player_normal_form_2010/NG_Kdg0.39688309863836047189470.03333333333477395.06666666665
DRESDEN/pawn_whopping/4ogBkg0.4004601845746353447977.933333333334119807.0
DRESDEN/blocker/S815zQ0.40076107972988306142623.0355880.36666666664
BASE/queens12ug/u6Bkmg0.403857292404080429075.871995.23333333334
BASE/queens08ug/kJ_ZFQ0.4046977876847353657583.166666666664142286.83333333334
DRESDEN/tictactoelarge/IwXcbg0.4096333142729766112710.33333333333275149.3333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.410256181997737747621.566666666666116077.63333333333
DRESDEN/towerworld/HCX34w0.41718480939565491348.63333333333343232.7
DRESDEN/oisters_farm/pTQMLg0.4220839498299748370290.63333333336877291.4333333333
DRESDEN/tictactoelargesuicide/6J4DeA0.4260398381527695116223.86666666667272800.4666666667
BASE/onestep/xi53wA0.439495921836603368475.3838404.3666666667
BASE/ticTacToeLarge/TZC0dg0.4404999107967982113413.13333333333257464.6
BASE/lightsOn/MsXu3A0.444629775224922376776.5847393.7666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw0.444690510217338919966.23333333333444899.166666666664
STANFORD/multiplebuttonsandlights/cK70Yg0.44487932717364626350058.5333333333786861.7666666667
BASE/pawnWhopping/Ypc_6Q0.4452542449565538648550.166666666664109039.2
STANFORD/dualrainbow/G3OnRQ0.4464543884416029131159.4293780.06666666665
STANFORD/multiplebuttonsandlights_9/SqB9BA0.45031061647591547353657.26666666666785362.9333333333
STANFORD/nineboardtictactoe/y28P-A0.4539058049533727431208.06666666666668754.5
BASE/ticTacToeLargeSuicide/727_8g0.4547748618429231112557.73333333334247502.1
DRESDEN/SC_TestOnly_enabled/09o7gQ0.45649541358111134109093.7238980.93333333332
BASE/tictactoe2/bhrDoQ0.45934623280739145184872.83333333334402469.4666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.46963703652331824829.86666666666552870.333333333336
STANFORD/rainbow/_4qNSQ0.4724964512056217235829.2499113.1666666667
STANFORD/sukoshi/4LYZZQ0.4737236153061872134604.03333333333284140.43333333335
BASE/queens06ug/7Lq3tw0.483668447443079998459.96666666666203569.13333333333
STANFORD/triplesukoshi/Iu9mbA0.492286930655813746924.16666666666495318.73333333334
BASE/pegEuro/5awwhg0.4975721122891359518547.137275.2
BASE/nineBoardTicTacToe/wRmqqA0.500790143738759434425.768742.76666666666
BASE/duplicateStateLarge/dcjyuw0.505831259957060799856.23333333334197410.16666666666
STANFORD/tictactoe5/WFRReg0.5263471477841002154450.83333333334293439.1
DRESDEN/tictactoe-init1/3ltIBQ0.546586282234402143451.53333333333262449.93333333335
BASE/sudokuGrade2/u80Tfw0.54854735763979975855.63333333333310674.8
BASE/tictactoe-init1/7M19vA0.5495142525739106149011.63333333333271169.73333333334
BASE/peg/fJHVWw0.551241685417755122334.240516.166666666664
BASE/sudokuGrade3/eI8dvg0.55223551806068265787.35459787354610479.866666666667
DRESDEN/statespacelarge/8-y5HQ0.5525706128519677221723.6401258.4
BASE/sudokuGrade4/DTy07w0.55945400951726535807.76666666666610381.133333333333
BASE/blockerParallel/7-nDJA0.561965274095063918827.16666666666833502.36666666667
BASE/sudokuGrade6E/ihYFZA0.56307910862328535311.39432.6
DRESDEN/blockerparallel/dVQgSg0.563474504221286318999.23333333333433718.0
BASE/switches/tPUoCg0.5639664849102715220003.83333333334390100.9
BASE/sudokuGrade5/BQfUQA0.56437213783438866014.110656.266666666666
DRESDEN/peg_bugfixed/u_B7MA0.566156298627314522824.66666666666840315.13333333333
BASE/sudokuGrade1/tDRNRw0.56827720839433876016.06666666666710586.5
BASE/blocksWorldParallel/RseaAQ0.569650594634461148196.284606.6
DRESDEN/peg/Vo31eg0.571747070064657722678.539665.26666666667
DRESDEN/Zhadu/9zpQ5w0.573703818019466715055.76666666666626243.1
BASE/coins/QnGtnQ0.574065901865636843361.875534.53333333334
BASE/sudokuGrade6H/ieE_9A0.57496924705343855359.6333333333339321.6
BASE/ticTacHeavenFC/mrletw0.57751875549280732506.06666666666656285.73333333333
STANFORD/tictactoe7/-bE9-A0.5804042580267808149442.93333333332257480.76666666666
BASE/lightsOut/5P1ZBw0.5850237899124822104881.7179277.66666666666
BASE/ticTacToe/JRFsaQ0.5880916762143831138349.23333333334235251.13333333333
BASE/connectFourLarger/qKi60A0.589476968443606342699.072435.4
BASE/eotcatcit/AfZSzA0.5905814157507383135199.93333333332228926.83333333334
STANFORD/sudoku/oJ1qyQ0.59370149768515435967.33333333333310051.066666666668
STANFORD/duidoku/3SoMaA0.59856891535286564718.07882.133333333333
DRESDEN/tictactoe_3player/ESLQQQ0.599920950597979951859.4666666666786443.83333333333
BASE/stateSpaceSmall/Q7osKA0.6088579376711734467378.1666666667767630.9
DRESDEN/statespacesmall/h-NqjA0.6097087429547596480628.6666666667788292.2333333333
DRESDEN/lightsout2/LFtfyQ0.6110461364542211105834.06666666667173201.43333333332
DRESDEN/ticblock/Z2yNWQ0.612852185656187297478.26666666666159056.73333333334
BASE/numbertictactoe/rvJ-iQ0.617685704260325962727.03333333333101551.7
BASE/ticblock/T21C1g0.617929575228181797930.2158481.16666666666
DRESDEN/lightsout/XgLpzQ0.6223517936058465106103.53333333334170488.03333333333
DRESDEN/eotcatcit/mQUxzA0.6258263316749363137043.36666666667218979.86666666667
DRESDEN/tictactoe_orthogonal/y69QFQ0.6322161070445748142031.5224656.56666666668
DRESDEN/coins/QwFP9w0.63242192528740747815.56666666666675607.06666666667
BASE/coins_atomic/AA3SSw0.633542641487917247407.06666666666674828.53333333334
BASE/ticTacHeaven/18n58A0.635378724929533832498.03333333333351147.5
BASE/chineseCheckers6/rREH3A0.643471554215779260793.1333333333394476.8
BASE/duplicateStateSmall/bCPAXw0.6458882433133105457625.23333333334708520.7666666667
DRESDEN/twisty-passages/j7NPyg0.6506951274477931100143.43333333333153902.23333333334
STANFORD/tictactoe/ss1kyQ0.6516349881180987138779.33333333334212970.96666666667
DRESDEN/tpeg/h-Scbg0.653072862949705825117.438460.333333333336
BASE/bunk_t/xbpfIA0.653461266266174180392.9123026.26666666666
BASE/chickentictactoe/DSlZCA0.6572251699559974118527.73333333334180345.7
BASE/chineseCheckers4/avfBcQ0.658506489012617767240.8102111.06666666667
BASE/tpeg/QNs7Lw0.66175673130412325179.73333333333438049.833333333336
STANFORD/duikoshi/tpw1sw0.668269902911070155766.6333333333383449.26666666666
BASE/twisty-passages/DiZmmg0.6714753350241779102016.8151929.33333333334
BASE/nineBoardTicTacToePie/B8LzeQ0.672150913156394330531.13333333333545423.03333333333
DRESDEN/mummymaze2p/k-8edg0.684846203350453362217.8666666666790849.4
BASE/qyshinsu/R08Lzw0.687227738783829522522.76666666666632773.36666666667
DRESDEN/chickentictactoe/Ipbo-g0.6949845465001254122363.03333333334176065.83333333334
DRESDEN/bunk_t/7-tPfA0.701390097571240877103.76666666666109929.93333333333
BASE/survival/YVIjJA0.7022608200916755497183.9707976.1333333333
BASE/tictactoe_3player/GtM71g0.702881572919789851810.0333333333373710.9
BASE/doubletoetictac/fu35bg0.704951198607139676983.86666666667109204.53333333334
BASE/mummymaze2p/vpjDdA0.708204345269564363674.1333333333389909.26666666666
DRESDEN/tictactoe/BTTzPw0.7090196867179476147117.0207493.53333333333
DRESDEN/doubletoetictac/V89gKQ0.709857249053708279002.9111294.06666666667
STANFORD/trifecta/ss1kyQ0.7146441250211354141027.46666666667197339.43333333332
BASE/tictactoe_orthogonal/WRzlVw0.7153229691598291143433.36666666667200515.53333333333
BASE/untwistycomplex2/EDPPAQ0.7157431333932212606732.2333333333847695.5
BASE/chineseCheckers2/eCMR3Q0.7235740562054562107309.43333333333148304.7
STANFORD/bestbuttonsandlights/nm0wEA0.733395262887507318824.0333333333434723.3333333333
BASE/ticTicToe/c1OobQ0.733396644032935378231.2106669.7
DRESDEN/double_tictactoe_dengji/bGaUyQ0.739700061585993379231.56666666667107113.1
STANFORD/pilgrimage/ObRZnQ0.739922895902995238097.7666666666751488.833333333336
STANFORD/jointbuttonsandlights/qAKuIQ0.7403751972035445242939.06666666668328129.6666666667
STANFORD/untwistycorridor/EDPPAQ0.7405898461741494619164.8333333334836042.8333333334
BASE/dotsAndBoxesSuicide/jzQbLw0.744359782544193565644.7666666666688189.56666666667
BASE/battlebrushes/arCwyA0.75151135283770411150.714837.7
DRESDEN/doubletictactoe/lJzgmQ0.756267778840540181175.76666666666107337.33333333333
BASE/copolymer_4/2LDVhQ0.764440236938551698540.5128905.43333333333
STANFORD/tictictoe/rpt_Dw0.768164305035021281902.6106621.2
DRESDEN/statespacemedium/dVJZ_w0.769089518292052427573.93333333335555948.2
BASE/dotsAndBoxes/EHwA_w0.770331110440401365423.7333333333384929.36666666667
BASE/duplicateStateMedium/U163eQ0.7703395959895678349098.4666666667453174.76666666666
STANFORD/untwistycomplex/HTWEwg0.775344883952845659705.1666666666850853.8333333334
DRESDEN/catcha_mouse/cHv4dw0.776502705905365754781.870549.4
STANFORD/buttonsandlights/eyhJpA0.7776740572845574717704.7333333333922886.3
BASE/haystack/UkweGA0.7834852436221711666166.6333333333850260.6
BASE/stateSpaceLarge/0Ge_CQ0.7845644687537562224102.73333333334285639.6666666667
BASE/troublemaker01/s3tlEQ0.7865099922114563540830.9333333333687633.9
DRESDEN/stratego/Z2wovg0.793277709743168131201.06666666666639331.833333333336
BASE/eotcitcit/V_9_bg0.797511804440866882294.1103188.56666666667
BASE/ticTacToeSerial/Amrwqw0.810125405378401897299.16666666667120103.83333333333
BASE/copolymer_4_pie/IN5_jA0.813184669036192180991.5666666666799598.0
BASE/chineseCheckers3/-1rZdQ0.816919198581248492895.96666666666113715.0
BASE/tictactoex9/BI26ow0.817481712245858220327.824866.366666666665
BASE/checkLines/Vop7oQ0.8225514658934163103104.16666666667125346.76666666666
BASE/stateSpaceMedium/3bUoIw0.8277614278517145437321.4528318.1666666666
BASE/catcha_mouse/cHv4dw0.833064503311185650666.2333333333360819.1
BASE/double_tictactoe_dengji/zgaSbA0.83544597515884882690.9666666666698978.23333333334
BASE/doubletictactoe/HH1htg0.837776074592650181434.7666666666697203.5
DRESDEN/troublemaker01/C-lPWw0.8449450862416008561519.4666666667664563.2666666667
DRESDEN/tictactoex9/rFkD4w0.849116828659781220465.86666666666524102.533333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g0.8501045625610292274526.5333333333322932.6666666667
DRESDEN/connect5/1kYzSg0.887715834712751819485.06666666666621949.666666666668
BASE/troublemaker02/DI83KA0.8897788496154114517468.3581569.5666666667
BASE/pearls/6k_mEQ0.8898061288717597719649.3333333334808770.9333333333
BASE/snakeParallel/RCVNtw0.924224912209078154544.7167215.46666666667
DRESDEN/troublemaker02/iZLVuA0.927356368127732525648.4333333333566824.6333333333
BASE/cittaceot/fDxhXg0.930862460148798939290.8666666666742209.1
BASE/connect5/d-BVQg0.935694066040814520548.93333333333421961.166666666668
DRESDEN/brain_teaser_extended/ZDp94A0.9366570570359967199446.63333333333212934.53333333333
DRESDEN/tictictoe/LAUtwg0.948152573996928985745.1666666666790433.93333333333
DRESDEN/Thief_Police/CX18rA0.9567539053131805191888.7200562.23333333334
BASE/chomp/-LcqYQ0.964614392492572277682.1333333333380531.8
DRESDEN/point_grab/r5DPmQ0.9772808912611691403646.0333333333413029.7
BASE/point_grab/V_osUg0.9779702201264074403040.695930407412119.6
BASE/brain_teaser_extended/ZDp94A0.9782004035342209207226.76666666666211844.9
STANFORD/platformjumpers/HEQskA0.982868865216338830312.230840.533333333333
DRESDEN/catch_me/ghGWrA0.9845202816298803195745.86666666667198823.6
DRESDEN/latenttictactoe/kITHKg0.987630423737708982486.3333333333383519.43333333333
DRESDEN/backgammon/mqCW0Q0.991295978206647326297.06666666666626527.966666666667
BASE/ttcc4_2player_small/Cv72TA0.992116652432178462031.362524.2
BASE/blocksWorldSerial/Wyg96Q1.0071349907571914184912.2183602.2
BASE/checkers-newgoals/0XkFiA1.028175213801674918530.73333333333418022.933333333334
STANFORD/knightstour/cEwgNA1.0286002232866291332077.0333333333322843.63333333336
BASE/mineClearingSmall/frsbvw1.030400996482849839872.538696.1
BASE/checkersTiny/Lr48cg1.032110837321344644873.6333333333343477.53333333333
BASE/blockerSerial/3eqDuw1.033645495905816883932.681200.56666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA1.0388438004392981198815.0191381.03333333333
DRESDEN/racetrackcorridor/O0DoTA1.046336507476403760643.4666666666757957.9
DRESDEN/sheep_and_wolf/enAIzQ1.056137463919216726185.76666666666624793.9
BASE/sum15/QZ07Kg1.059178066960029168922.16666666666159484.2
DRESDEN/Catch-Me-If-You-Can/ghGWrA1.0650269979520661197012.06666666668184983.16666666666
BASE/max_knights/2fq3Ag1.066483755934646533934.2333333333331818.8
DRESDEN/babel/WdSW4A1.067203794789373370074.765661.96666666666
DRESDEN/max_knights/hCipiA1.067393941709733133521.431404.9
BASE/englishDraughts/jFkQxg1.072974210862476551069.56666666666647596.26666666667
DRESDEN/sum15/CsgWKg1.0802536679566188169608.9157008.4
STANFORD/knightstourmedium/x1wu8Q1.0818572281725882344129.3318091.23333333334
BASE/sheepAndWolf/g4THrg1.0835679912791227103.03333333333325012.766666666666
DRESDEN/buttons/ADUaHw1.089783838153214612228.5561788.9333333333
BASE/buttons/hTcUjw1.1047469092078657627658.9568147.2333333333
DRESDEN/chomp/-LcqYQ1.105060187535596377416.1333333333370056.03333333334
DRESDEN/tictactoeparallel/yk_DSg1.107591885533572561266.66666666666455315.2
DRESDEN/bomberman2p/x4h6jQ1.108253740218268488405.7333333333479770.3
BASE/racetrackcorridor/_RkdUg1.119522123440050365501.93333333333458508.833333333336
BASE/ttcc4_2player/_aH_Mw1.120163807948852334410.230718.9
BASE/blocksWorld/SEdXLQ1.1206528584184794328146.13333333336292816.93333333335
DRESDEN/toetictac/mJtxCA1.124763236191795246970.3219575.36666666667
DRESDEN/blocks/vg0DRw1.1300457928008276326892.86666666664289274.0
BASE/checkers-mustjump/T-8UuQ1.13019519895277915656.06666666666813852.533333333333
BASE/knightsTour/mvtVIg1.1336162989035083348806.36666666664307693.5
BASE/ticTacToeParallel/ymRGPw1.138328828428956861978.454446.833333333336
DRESDEN/fizzbuzz/t1xHzQ1.1593757525984352610422.0526509.2
BASE/snake2p/I3wWPQ1.16325910806723394606.781329.0
BASE/mummyMaze2p_2007/YGA3Vw1.163303697913433109928.1666666666794496.53333333334
DRESDEN/nim1/M9BALA1.1688324993691714271906.1666666667232630.56666666668
BASE/toetictac/mTThmg1.169041227441042257428.1220204.46666666667
BASE/ttcc4_2player_alt/ZEJvYA1.173017638198735844442.66666666666437887.46666666667
BASE/bomberman2p/4CClwA1.177214303779174786887.8333333333373808.0
STANFORD/freeforall/Lfp40Q1.184795807942989771712.3333333333360527.166666666664
BASE/circlesolitaire/azuQFQ1.2193281403617664268218.7219972.53333333333
BASE/nim1/hin2Qw1.2242020279617885273667.8333333333223547.93333333332
DRESDEN/circlesolitaire/ruUilQ1.2250173276082723269769.6220216.96666666667
BASE/2pffa/6oHijA1.225192598446939671878.3333333333358666.96666666667
BASE/2pttc/unkkYA1.227708652384107474982.6333333333361075.26666666667
BASE/beatMania/qUHwvQ1.2284429384993485273214.8222407.4
BASE/pacman3p/wW7UVQ1.244040311374337543032.2666666666734590.73333333333
BASE/chickentoetictac/l57rfQ1.2501240546719934238829.7191044.8
BASE/ghostMaze2p/W-NU-w1.258034387359722131461.7104497.7
BASE/hanoi/iGLsJg1.2642314849048715347636.26666666666274978.3333333333
BASE/checkersSmall/SYmq8w1.276598767276952531751.26666666666624871.766666666666
DRESDEN/mummymaze2p-comp2007/oTQRQg1.2769804382646228108718.6666666666785137.3
DRESDEN/ghostmaze2p/HY0UwA1.2786703428398987132622.36666666667103718.96666666666
BASE/blocks/xIV5hQ1.2803855926859744334031.13333333336260883.23333333334
DRESDEN/4pttc/9pB9AQ1.282004653617187463894.349839.36666666667
DRESDEN/Goldrush/VeWczQ1.28263346876419468620.9333333333353500.03333333333
STANFORD/madness/UO_B3A1.2896417405566098387.46503.666666666667
DRESDEN/chinesecheckers1/Y-ftaA1.290047774565071162016.4666666666748073.0
BASE/4pttc/AL1k2Q1.302402598643355456801.0333333333343612.5
STANFORD/ttcc4/Cx9SGw1.309549747134065836303.627722.2
DRESDEN/hanoi_6_disks/MeubgQ1.3141246651261467254584.93333333332193729.66666666666
STANFORD/checkersonabarrelnokings/Zrevdw1.317466637336123244119.3666666666733488.03333333333
BASE/ruleDepthLinear/OUBJpQ1.3191911455937366467139.7354110.7
DRESDEN/chickentoetictac/cxYaRQ1.3205700333888242633.96666666667183734.26666666666
DRESDEN/grid_game/U7_Yeg1.330391334757961580332.060382.23333333333
DRESDEN/capture_the_king/EQ229Q1.33434295407986577577.3333333333335678.7
BASE/maze/cCX3qQ1.3387868593463814656680.6666666666490504.26666666666
DRESDEN/minichess/c7GMFw1.34826473929870159967.444477.46666666667
DRESDEN/smallest_4player/ADDROA1.3606298072821417112170.3666666666782440.03333333334
BASE/hanoi_6_disks/MeubgQ1.3647662301741927254281.33333333334186318.6
DRESDEN/nim2/z5_exA1.3692898698694425243818.76666666666178062.2
STANFORD/dualhunter/1rPZjQ1.377242783724070876964.3666666666755882.933333333334
BASE/nim2/eF2Qqw1.3891190397527007242601.16666666666174643.9
BASE/incredible/8Qh-6Q1.3896099285970112160499.06666666668115499.36666666667
BASE/2pffa_zerosum/o0_uZA1.413697198095065973025.051655.333333333336
BASE/checkers-cylinder-mustjump/rjr6qQ1.420970907511940813635.49595.833333333334
BASE/breakthroughSuicideSmall/XSbJog1.436806866628554565931.6666666666745887.63333333333
STANFORD/skirmish/w4V6Vw1.43780822937538387725.9666666666665373.433333333333
BASE/checkersBarrelNoKings/rnKNeg1.443001519384404449069.2666666666734005.0
DRESDEN/hanoi7/51zz5Q1.4446083636702645317657.1219891.5
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1.452428640282761313560.69336.5
BASE/escortLatch/mX9BjQ1.457027661082468249954.5333333333334285.23333333333
DRESDEN/hanoi/RQ0jiA1.4661709463291488340643.26666666666232335.3
BASE/breakthroughSmall/HJ0tIA1.469577825382726567503.045933.6
BASE/hodgepodge/9yjRkw1.47301880811629195328.33333333334132604.1
DRESDEN/cube_2x2x2/fp-34Q1.479004290724471490598.1333333333361256.166666666664
STANFORD/3puzzle/41ibjA1.4863473073493674336006.1226061.63333333333
BASE/queens/HyJJnQ1.492856704307702331609.321173.7
STANFORD/threepuzzle/41ibjA1.5080539379445712336593.4666666667223197.23333333334
BASE/amazons_8x8/7SOsIw1.524186462293221333305.121851.066666666666
BASE/rubiksCube/9tNO9Q1.545112091855597839841.33333333333625785.4
BASE/checkers/rOC3Xg1.579189940746196723870.66666666666815115.766666666666
DRESDEN/crissrace/KWb9bw1.593524853392907245651.328648.0
BASE/breakthroughHoles/nZk0Sg1.593754922222911744520.827934.533333333333
BASE/smallest_4player/ADDROA1.6006627933133357113377.470831.53333333334
DRESDEN/3pttc/uwYBZw1.607380625302977277147.7333333333447995.933333333334
DRESDEN/queens/mW2wHQ1.615826955817180332838.66666666666420323.133333333335
BASE/checkersTorusNoKings/pwb6oQ1.620716796469673650242.16666666666430999.966666666667
BASE/3pttc/0sol9g1.627868518946706866413.440797.76666666667
BASE/3pffa/pR0dzA1.652441056900844369072.3666666666741800.2
DRESDEN/3pffa/0YrmQw1.657765480264380677008.5666666666746453.23333333333
BASE/crissrace/ERWGDA1.66839094179731746358.327786.233333333334
STANFORD/hunter/14dD-g1.696443079251667172754.56666666668101833.4
BASE/hanoi7_bugfix/3gdnFw1.7113226104078993333616.86666666664194946.8
BASE/checkersTorus/2vm1EQ1.71733036277933145067.526242.766666666666
DRESDEN/hanoi7_bugfix/3gdnFw1.7313043137904573316999.8183098.83333333334
BASE/solitaireChineseCheckers/-ET6gw1.734233518665607589519.451619.0
BASE/biddingTicTacToe/8mESVw1.7344888702786057123991.2666666666671485.76666666666
BASE/nim4/twk16w1.7536711710482775182122.2103851.96666666666
DRESDEN/nim4/F5YAYg1.7710976999775174180660.46666666667102004.8
BASE/choicethroughalt/tt71Lg1.774559854857868329082.43333333333416388.533333333333
STANFORD/alquerquezero/uVgA_A1.783335541102973255645.331202.933333333334
BASE/amazons_10x10/Bun8dA1.786763408177272327334.815298.5
BASE/knightsTourLarge/M8jgLA1.8039234444282128325589.0180489.36666666667
BASE/strangeSkirmish/gc1zKA1.84095724791225256892.6666666666673744.0666666666666
DRESDEN/logistics/fPru1Q1.856272048822435377927.641980.7
BASE/skirmishFinal3/-Olhfw1.888195466916521511285.3666666666675976.8
BASE/breakthroughSuicide/wZDpIg1.888585030659723249032.225962.4
BASE/skirmishHoles/AUCxCA1.90923621982367967724.1333333333334045.6666666666665
BASE/roshambo2/KNPokQ1.9103348871745054271170.7141949.3
BASE/blocks2player/wnTLOQ1.9111409219874518265125.7138726.4
DRESDEN/mimikry/GJEhwA1.926155978737257753543.7333333333327798.233333333334
BASE/amazonsSuicide_10x10/XIbQkg1.93123319971704827301.214136.666666666666
DRESDEN/bidding-tictactoe/yW5vTA1.9321113033099393130796.467696.1
BASE/4pffa/Q3ADlg1.941172448421413563402.83333333333632662.133333333335
DRESDEN/pacman3p/rBnk8Q1.941786968994983242190.521727.666666666668
DRESDEN/nim3/sG_axA1.9549266650980057182781.7333333333493498.0
DRESDEN/tttcc4/sAvtFg1.957291581857506336861.93333333333418833.133333333335
DRESDEN/roshambo2/jgSlkQ1.9579090439096252276963.3333333333141458.73333333334
BASE/knightThrough/gcwFjA1.96409005013524946736.7666666666723795.633333333335
DRESDEN/breakthrough/z4hK7Q1.968675216218104350730.2666666666725768.733333333334
BASE/breakthrough/TGxk-g1.969993279872124751105.525941.966666666667
BASE/hallway/ckCJOw1.985391633532088721188.03333333333310671.966666666667
BASE/tttcc4/8Bs2lg1.989644846064936537870.919034.0
BASE/quartoSuicide/-23jUg2.00072514011999458768.56666666666629373.633333333335
BASE/quarto/EwBMVQ2.004577018763726458658.229262.133333333335
BASE/breakthroughWalls/vOZaYA2.022078768719288350765.43333333333425105.566666666666
DRESDEN/skirmishfinal/hzq8ww2.02298363539479810503.5333333333335192.1
DRESDEN/hallway/0H4l-Q2.03412314650678621917.06666666666610774.7
DRESDEN/blocks2player/3ev8nQ2.034895034344608279488.9666666667137348.1
BASE/skirmishFinal2/gdB62Q2.045591699273881410508.05136.9
DRESDEN/breakthroughsuicide_v2/LU1nAw2.05485285354023752067.325338.7
BASE/asteroidsSerial/id2QkA2.055611966359474271478.3132066.9
BASE/ttcc4/Le0qjQ2.05637884511602838104.718530.0
BASE/minichess/8NQEiA2.068932524864931782243.0333333333439751.433333333334
STANFORD/knightstourbig/TQUI2g2.0745298889199995302787.73333333334145954.86666666667
BASE/nim3/1OwUqw2.0831257004454806185689.289139.7
BASE/skirmishFinal1/ecWTnQ2.086542353847560310652.6333333333335105.4
DRESDEN/breakthroughsuicide/Y9QzqQ2.097673847879818751855.2666666666724720.366666666665
BASE/blobwars/0XT15Q2.09777473655398912773.76089.166666666667
DRESDEN/blocksworldparallel/2JfVaw2.111625076293992160414.0333333333375967.1
STANFORD/chinook/osFbPA2.119553846780876836403.2666666666717174.966666666667
BASE/pacman2p/4LEdQg2.123796400878416342745.93333333333420127.133333333335
DRESDEN/knightthrough/J7Fc_Q2.133089888681819749866.16666666666423377.433333333334
BASE/skirmish/Y_psYQ2.13384602091074047408.53471.9
BASE/chinook/XQh0IQ2.151365499796998639918.318554.866666666665
DRESDEN/blobwars/ZaMluQ2.152650077323211312759.8333333333345927.5
BASE/chess_200/XsTpYA2.1819071766306747429.4666666666663405.0333333333333
BASE/gt_coordination/IVMOzA2.2002977000122046422468.9666666667192005.36666666667
BASE/amazonsTorus_10x10/Uxc08g2.20082684790143620530.6333333333359328.6
BASE/snake_2008_tweaked/bX0NJQ2.21093929099027189049.6333333333340276.833333333336
BASE/snake_2008/i6K26g2.220800957507977585228.5666666666738377.4
DRESDEN/snake_2008/E56l3A2.230856214735570489369.0666666666740060.433333333334
BASE/aipsrovers01/4C4jsw2.25310417902566197117.187486.9
BASE/snake_2009/7l-qAQ2.259917316920786285003.437613.5
DRESDEN/quarto/OQzRYQ2.28002899601304859760.726210.5
DRESDEN/snake_2009_big/DgC1NQ2.28110179267410669276.8333333333330369.9
DRESDEN/chinesecheckers2/06E6-Q2.293085345494458448120.16666666666420984.9
DRESDEN/crisscross/GsY16g2.2938667975478349541.121597.2
DRESDEN/aipsrovers01/qS47Mw2.322383389945846203630.8333333333487681.83333333333
DRESDEN/quartosuicide/WIU1oQ2.32300714961721957845.43333333333424901.1
DRESDEN/Runners/3bOCQw2.3711578098983197331662.3139873.56666666668
BASE/checkers-mustjump-torus/uSApKQ2.376130243437047712867.9333333333325415.5
BASE/gt_dollar/TGjqRw2.3775303169598114248697.2104603.16666666667
DRESDEN/snake_2009/zIYLVw2.377648537960272584722.4333333333335632.86666666667
BASE/gt_centipede/9fRMpw2.399700092438419378842.73333333334157870.86666666667
BASE/crisscross/ICagEg2.418851046444117552494.06666666666621702.066666666666
BASE/snake_2009_big/-oRfVw2.42739400423233372303.7333333333429786.566666666666
BASE/wargame01/_GZFZg2.44230706091707249591.5333333333320305.2
BASE/endgame/jYjfOA2.454989551145801827489.511197.4
BASE/skirmishZeroSum/zh4hcw2.487939049451727515859.5333333333336374.566666666667
BASE/racer4/0vs7Ww2.578933747412008423583.8333333333329144.8
BASE/speedChess/bPnisA2.604254502673580617192.3333333333326601.633333333333
BASE/asteroids/BKCmPQ2.6114945925438837540244.5206871.76666666666
BASE/biddingTicTacToe_10coins/a-9ccQ2.6316594916853964103351.2333333333439272.26666666667
DRESDEN/frogs_and_toads/GjchhQ2.676270828020723757372.4666666666721437.466666666667
DRESDEN/knightstour/cGISAA2.676475762229344348919.8333333333130365.4
BASE/skirmishNew/sibw2g2.75078728805414116218.05895.766666666666
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2.777462298180228105027.737814.26666666667
BASE/hexPie/48CH6Q2.86877282172325423700.3666666666658261.5
DRESDEN/endgame/IJhh3Q2.915603852450606521786.2666666666667472.3
STANFORD/8puzzle/jNiGtw2.9445465114610094109413.0666666666737157.86666666667
BASE/asteroidsParallel/WauZiA2.9472828395884414318886.86666666664108196.9
BASE/wargame03/klXI8w2.988832636424974443411.214524.466666666667
STANFORD/eightpuzzle/W_aWbA2.994920981235257112744.037645.066666666666
STANFORD/breakthrough/d5j0cQ3.04818781844666648199.2666666666715812.433333333332
BASE/tron_10x10/7ZTgDg3.093818564783664109281.235322.433333333334
DRESDEN/8puzzle/8fKC2w3.157493937087498106891.833853.36666666667
STANFORD/hex/MTqWcw3.167920296410116525564.88069.9
BASE/hex/T1MK8g3.222498381877022824893.87725.0
BASE/eightPuzzle/vLrgFg3.4532807405559245108880.131529.466666666667
DRESDEN/brawl/2kXtfQ3.544994049174141616282.8666666666674593.2
BASE/brawl/6Ymo_Q3.551364151583628316396.7666666666664617.033333333334
DRESDEN/chinesecheckers3/QsCb2A3.573293995383369647678.713343.066666666668
BASE/gt_tinfoil/Q8DyKg3.6572775508287556324537.666666666788737.5
BASE/amazons/RKKZjw3.7416151090849885766.0333333333333204.73333333333332
BASE/coloredtrails/EZvr7g3.8263869270705815101584.8333333333326548.5
BASE/colonelBlottoVariant/X-n-KQ4.201784811294738259525.961765.63333333333
BASE/ad_game_2x2/D0aWqg4.4936100972333560572.06666666666613479.6
DRESDEN/skirmish3/3LU8Nw4.54166158102445229767.8666666666656554.4
DRESDEN/skirmish2/iPpWhQ4.90926241284500535650.97261.966666666666
DRESDEN/skirmish/RjGQYQ4.93662945407675331661.5666666666666413.6
BASE/colonelBlottoVariant2/jruwGw4.965201020921052236752.8666666666747682.433333333334
DRESDEN/guess/PhxGhg5.091108624715894174120.6666666666634200.933333333334
DRESDEN/chinesecheckers6/yTbPDA5.23899851322154838878.4333333333347420.966666666666
BASE/gt_ultimatum/GE-uOA5.583461628604542346228.966666666762009.73333333333
BASE/wargame02/BkVqqQ5.688229943401311533768.366666666675936.533333333334
BASE/shmup/ssTNlg5.905303059280736102923.1333333333317428.933333333334
BASE/guess/SPpk1A5.9529129028117715179335.8666666666730125.733333333334
DRESDEN/knightfight/4_Ly4w6.05694339817728109349.6333333333318053.6
DRESDEN/gt_ultimatum/pAiiQw6.113563363964633334039.654639.1
BASE/kalaha5x2x3/WviNsw6.739769097971514104106.9666666666615446.666666666666
BASE/knightfight/SJRkAg6.971151630950544109941.815770.966666666667
DRESDEN/chinesecheckers4/-oVNYg6.97747180156857530455.9666666666674364.9
BASE/knightazons/apnJBQ7.04373981808308427671.5666666666663928.5333333333333
DRESDEN/knightazons/02I8BQ7.08234657790721828370.74005.8333333333335
DRESDEN/gt_chicken/CeuKtw9.175404698046764405851.744232.566666666666
BASE/gt_staghunt/xPjLRA9.238176057583612400434.943345.666666666664
DRESDEN/battlebrushes/QHXV4A9.58343613315957810784.41125.3166244500733
BASE/gt_prisoner/klthDw9.63563807488737417563.2666666666643335.3
BASE/gt_chicken/gmepTQ9.768820348660467408112.333333333341777.03333333333
DRESDEN/gt_prisoner/huCp4w10.157089196094097401254.11584349839504.833333333336
BASE/snakeAssemblit/UO4sdg12.03272009474930825399.0666666666662110.8333333333335
BASE/gt_attrition/kD_SCA12.286399613733167118750.19665.166666666666
BASE/colonelBlotto/jip21A12.4635875536391780164.133333333336431.866666666667
BASE/kalaha6x2x4/XS81Mg13.40029580891297296943.17234.4
DRESDEN/vacuumcleaner_random/_6AGDA16.828435658275612123829.87358.366666666667
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA18.10334878027454820704.81143.7
DRESDEN/amazons/dNB28A18.2526282255495363819.6666666666665209.26666666666668
DRESDEN/satlike_20v_91c_version2/yd9ioQ21.01306187731165321020.7666666666661000.3666666666667
BASE/pancakes/yUgbXw21.05068001000135684756.166666666632528.933333333334
BASE/crossers3/O0rORg21.17045011088585274141.033333333343502.1
BASE/pancakes6/QZTdnw21.487645117184222683100.833333333431790.4
DRESDEN/crossers3/xiPTxg21.6832336540637774511.633333333333436.370908606093
DRESDEN/pancakes6/SZXMyQ21.691933810107273693985.731992.8
DRESDEN/pancakes/hl9aiQ22.04495075091064679041.830802.6
BASE/gt_two_thirds_2p/1APDGg22.5167634342186560757.733333333332698.3333333333335
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g23.23240554556037621952.3944.9
DRESDEN/satlike_20v_91c/yeuENQ23.54077207826546622257.8945.5
DRESDEN/racer/vk_ZBA24.0207925010651965772.933333333332738.1666666666665
DRESDEN/vacuum_cleaner_1/eUNjpw24.391659379311687209195.066666666688576.5
BASE/racer/QQYQNw24.49264952591616865698.266666666662682.366666666667
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A25.143634522905597185439.333333333347375.2
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA25.77821045032037190432.233333333347387.333333333333
DRESDEN/smallest/9kaGFw28.23233954153254691507.63241.233333333333
BASE/gt_two_thirds_4p/DStnxQ44.2138009278525331872.666666666668720.8759708009733
DRESDEN/kalaha_2009/gcC8uA56.7516061599831298639.966666666661738.1
BASE/kalaha_2009/dRiN3g60.06131127713945102630.766666666661708.7666666666667
BASE/ruleDepthExponential/UamhHQ869.1539025772634265285.9305.22315922802574
DRESDEN/Travelers-Dilemma/PvZwYw2128.5158107891107377018.5333333333177.12742908569714
BASE/pancakes88/l2Xaig3601.632008911994646613.0179.53333333333333

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageALLOY_DIFF_PROP_NET:1 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/checkers-cylinder-mustjump/vW_-pAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerException
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap space
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest 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

index