index

ALLOY_COMPILED_PROVER_CACHING:2 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/quad/tw-Ufg7.829954646377528E-525.255824080121926322553.9
DRESDEN/quad/JPe6fg1.0185135040596494E-433.23896752706078326347.8333333333
BASE/queens31lg/0gID-A5.948896215448045E-490.39397373508433151950.83333333334
DRESDEN/quad_7x7/q-JOXg0.0013148087395639086629.1589033803567478517.43333333335
BASE/quad_7x7/q-JOXg0.001329867606436058626.3457884737176470983.56666666665
BASE/pawnToQueen/-O1_JA0.004140235587925122342.2565716.6
DRESDEN/ggp-course2013_michal13/jWKddg0.00436158248045948052472.0566766.7666666667
DRESDEN/pawntoqueen/f_x6Aw0.0048437412281627462249.0333333333333464317.4
DRESDEN/quad_5x5/JAEP5g0.0061068311347793584109.9673000.4333333333
BASE/quad_5x5/JAEP5g0.0068340212755749184059.564681177294594022.8333333334
BASE/blokbox_simple/JBx4bg0.0074134090602264524129.1655558517728717423.233333333334
DRESDEN/quad_5x5_8_2/JRTLJg0.0086254084426982855205.8603542.4333333333
BASE/sudokuGrade2/u80Tfw0.0098388198680883815855.633333333333595156.0666666667
BASE/sudokuGrade4/DTy07w0.0098554537596667125807.766666666666589294.7
BASE/sudokuGrade3/eI8dvg0.0099195349351633975787.354597873546583430.0333333333
BASE/sudokuGrade1/tDRNRw0.0099839411237230476016.066666666667602574.3333333334
DRESDEN/grid_game2/kypTYQ0.01003329413142849614215.1333333333331416796.2333333334
BASE/battle/8oAvhQ0.0100648698878434092662.3264514.1
DRESDEN/battle/8oAvhQ0.0102002186917578252688.133333333333263536.8333333333
BASE/sudokuGrade6E/ihYFZA0.0103599631917963465311.3512675.56666666665
BASE/sudokuGrade6H/ieE_9A0.0104001935810245075359.633333333333515339.76666666666
BASE/sudokuGrade5/BQfUQA0.0104960679667566056014.1572986.0
STANFORD/sudoku/oJ1qyQ0.0105905318917463285967.333333333333563459.2666666667
BASE/cephalopodMicro/9l2D3g0.0109172678657627743177.6291061.8333333333
DRESDEN/CephalopodMicro/H3XQfg0.0113084602881325873155.1279003.5
DRESDEN/othello-cornercontrol/r5Gdlg0.01270112815469643608.592760482634547916.433333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.0129995232499556526866.1333333333352066701.4333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.01329693111478833825600.6333333333351925303.9
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.01374226453569610428311.3333333333322060165.0666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.01441341921566774429199.92025882.9333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.01482770429596869624829.8666666666651674559.0666666667
STANFORD/duidoku/3SoMaA0.0151316724913378294718.0311796.3333333333
BASE/tictactoe_3d_2player/IUC1rQ0.01596941845803606313406.533333333333839512.9333333333
DRESDEN/tictactoe_3d_2player/LMuX9w0.01608412895545845513781.833333333334856859.1666666666
BASE/futoshiki6/JmvXNA0.016959146241787189423.533333333333555660.8333333334
STANFORD/selectivesukoshi/3xmXYg0.0169762765112367211547.966666666667680241.4333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.01703267621898123321257.5333333333331248044.2333333334
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.0176284532264156221403.61214150.7666666666
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.01883339588501475520574.1666666666681092430.0
DRESDEN/sat_test_20v_91c/dK7nVw0.0188801370651244621300.2666666666661128183.9
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.01950037864827934621000.8333333333321076944.9
BASE/golden_rectangle/_nYzfw0.01961408794685345215983.5814898.9666666667
DRESDEN/golden_rectangle/1uloXw0.02185387826073671715830.233333333334724367.2333333333
STANFORD/multipletictactoe/_bkafQ0.0231409771795513128635.4666666666671237435.5
BASE/othelloHoles/c0qAzw0.024262505344164171059.333333333333343661.333333333336
DRESDEN/connect5/1kYzSg0.02516780199450757719485.066666666666774206.1333333333
BASE/queens08lg/Ru7eqQ0.02572704281092370512360.933333333332480464.6
BASE/connect5/d-BVQg0.02635435047624975720548.933333333334779716.9333333333
BASE/hitori/S8Gsyg0.0264103957614362339171.666666666666347274.86666666664
BASE/othello-comp2007/86ZoMw0.026914055390479773877.432600.066666666666
BASE/othelloSuicide/B442jg0.027031228530823844898.433235.63333333333
DRESDEN/hitori/S8Gsyg0.0271946003598428159346.433333333332343687.1
BASE/futoshiki5/TJ4BZg0.02735121719256291816789.5613848.3666666667
BASE/queens16ug/gT-ylw0.0292417024526105515707.7537167.7666666667
BASE/zhadu/DlA8iQ0.0304370572234967253172.7104238.06666666667
BASE/reversi/d8UMeA0.0309369158330779252375.433333333333476783.13333333333
BASE/reversiSuicide/9OxJlg0.0311614208633093532310.174133.33333333333
BASE/hidato37/pBrqxw0.0337210655227567357139.366666666667211718.3
DRESDEN/pentago_2008/hLjVpQ0.0358464245407998612764.3356082.93333333335
DRESDEN/towerworld/HCX34w0.03635074756270571348.633333333333437100.566666666666
BASE/twisty-passages/DiZmmg0.03699287002494444102016.82757742.2333333334
BASE/pentago/86NgKw0.037628889864571313669.766666666666363278.5
DRESDEN/twisty-passages/j7NPyg0.03769461647186973100143.433333333332656703.8666666667
BASE/slidingpieces/uFJWEw0.0378043174344844716266.333333333334430277.13333333336
DRESDEN/slidingpieces/s9_44g0.0378622861651194316457.433333333334434665.6
BASE/pentagoSuicide/SBgNhw0.0387506772364671713675.3352904.8
BASE/factoringMediumTurtleBrain/8RBqmQ0.0389879228769112559545.533333333331527281.5
BASE/tictactoex9/BI26ow0.039165574441783620327.8519022.13333333336
DRESDEN/tictactoex9/rFkD4w0.0397512278689012820465.866666666665514848.6666666667
BASE/pegEuro/5awwhg0.0401634391458351318547.1461790.63333333336
DRESDEN/ggp-course2013_jordi/9QI6Kw0.0408117364837316419966.233333333334489227.73333333334
BASE/max_knights/2fq3Ag0.04172127411752521433934.23333333333813355.6333333333
BASE/simultaneousWin2/PfjRjw0.0421916719361862538741.5918226.2333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg0.04281688154783412637246.933333333334869912.3333333334
BASE/minichess-evilconjuncts/4OpQzw0.0429282676649539912018.366666666667279963.93333333335
DRESDEN/connect4/T0-rHQ0.0430635949029992725705.0596907.9
DRESDEN/max_knights/hCipiA0.04385043214374527433521.4764448.5666666667
BASE/tictactoe_3d_small_2player/oOryKA0.04414743598184108637775.23333333333855660.8666666667
DRESDEN/chinesecheckers1/Y-ftaA0.04491147920109015662016.466666666671380860.0333333334
DRESDEN/minichess-evilconjuncts/th24Tw0.045218388891317212586.666666666666278352.8333333333
DRESDEN/capture_the_king/EQ229Q0.046101182889184577577.333333333333164363.1
BASE/connect4/50bOyw0.04705356044045263426929.566666666666572317.3
BASE/peg/fJHVWw0.0491317293741637822334.2454577.93333333335
BASE/queens12ug/u6Bkmg0.04932776964200645529075.8589440.8
BASE/breakthroughHoles/nZk0Sg0.0493828566404384544520.8901543.6333333333
BASE/wallmaze/uxNQ9g0.0495105434054679926878.5542884.3666666667
DRESDEN/peg/Vo31eg0.0498661608967296922678.5454787.36666666664
DRESDEN/peg_bugfixed/u_B7MA0.0499540029808694722824.666666666668456913.6666666667
BASE/futoshiki4/BaCwSw0.04998071215715136990.9740103.5
BASE/dualConnect4/WbCQkg0.05094860260739471345182.7886829.0333333333
BASE/lightsOnSimultaneous/_VN6lw0.0514702674573644141765.36666666667811446.4666666667
BASE/connectFourLarger/qKi60A0.0546246336257930542699.0781680.3
BASE/tictactoe_3d_6player/d7KSwg0.0549657542871292713459.066666666668244862.76666666666
DRESDEN/tictactoe_3d_6player/ulZPWg0.0550473227116630413201.333333333334239817.9
BASE/firefighter/WJmoPw0.055424897708248676227421.64103238.966666667
BASE/knightmove/jBaJEw0.0561785502067216953826.46666666667958132.0
STANFORD/nineboardtictactoe/y28P-A0.0578713102899808631208.066666666666539266.6333333333
STANFORD/skirmish/w4V6Vw0.058048061036629947725.966666666666133096.03333333333
BASE/mummymaze2p/vpjDdA0.0583037674803422563674.133333333331092110.1
DRESDEN/pawn_whopping/4ogBkg0.0583339213314097647977.933333333334822470.5666666667
BASE/breakthroughSuicide/wZDpIg0.05889806815076411449032.2832492.5
DRESDEN/breakthroughsuicide/Y9QzqQ0.0590944960824575351855.26666666667877497.4
DRESDEN/firefighter/WJmoPw0.05910003072214163227701.366666666673852813.0
BASE/choicethroughalt/tt71Lg0.0591206384982608529082.433333333334491916.76666666666
DRESDEN/mummymaze2p/k-8edg0.0594054956518816662217.866666666671047341.9333333333
BASE/knightThrough/gcwFjA0.0600020601191026246736.76666666667778919.3666666667
STANFORD/breakthrough/d5j0cQ0.060025107149144748199.26666666667802985.1
BASE/cubicup/4wNWJA0.0603598510712946622703.466666666667376135.23333333334
BASE/skirmishHoles/AUCxCA0.060595378806104417724.133333333333127470.66666666667
BASE/breakthrough/TGxk-g0.0608087430150846651105.5840430.1333333333
DRESDEN/knightmove/97Ipcw0.06095998259890155491.1910287.3333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.0612250189270194947621.566666666666777812.2
DRESDEN/mimikry/GJEhwA0.06171697627573815453543.73333333333867568.9666666667
BASE/majorities/ibJzSQ0.0617908524457416929317.5474463.43333333335
BASE/conn4/va9Y7A0.0621762949537176440742.333333333336655271.1666666666
BASE/breakthroughWalls/vOZaYA0.0625989487149249850765.433333333334810963.0333333333
DRESDEN/breakthrough/z4hK7Q0.0626328662499230550730.26666666667809962.4
DRESDEN/cubicup/SBn_lw0.0634277914763822713.033333333333358092.76666666666
BASE/withConviction/3Xm54A0.0635096054194200140516.433333333334637957.5666666667
BASE/nineBoardTicTacToe/wRmqqA0.0645326149733492434425.7533462.0333333333
DRESDEN/knightthrough/J7Fc_Q0.0648438794262784849866.166666666664769018.8666666667
BASE/strangeSkirmish/gc1zKA0.065006023384312056892.666666666667106031.2
BASE/lightsOnSimul4/9FeASw0.0655831459665286935790.1545721.0
BASE/connectFourLarge/aU644A0.065732624258881957602.96666666667876322.3333333334
BASE/skirmish/Y_psYQ0.066261207879614527408.5111807.5
STANFORD/madness/UO_B3A0.066296883950021378387.4126512.73333333334
BASE/pawnWhopping/Ypc_6Q0.0664236325580394248550.166666666664730917.0666666667
BASE/hidato19/rRHSmA0.0664613379914137230255.7455237.6
DRESDEN/breakthroughsuicide_v2/LU1nAw0.066893651223057652067.3778359.3666666667
BASE/breakthroughSmallHoles/bxclRw0.067269071426641252607.333333333336782043.4
BASE/nineBoardTicTacToePie/B8LzeQ0.0681241728378276530531.133333333335448168.86666666664
STANFORD/connectfour/VMpZkQ0.0688730537380927467342.86666666667977782.5
DRESDEN/tpeg/h-Scbg0.0691153928281321425117.4363412.5333333333
BASE/tpeg/QNs7Lw0.069592365358444125179.733333333334361817.4666666667
DRESDEN/kitten_escapes_from_fire/uW-YiA0.06968944697832222109843.233333333341576181.7333333334
BASE/connectFourSuicide/c8p9Kw0.0709345726397216771043.466666666661001535.1333333333
BASE/connectFour_9x6/B9TtMw0.0713694193025717668491.26666666666959672.4666666667
DRESDEN/connectfoursuicide/M9CNQg0.0718700428216520271278.16666666667991764.6333333333
DRESDEN/connectfour/5tc-Mg0.072009251170435470056.26666666666972878.7
BASE/connectFour/WAIKTw0.07227603852637870525.63333333333975781.6666666666
DRESDEN/chinesecheckers2/06E6-Q0.0732296788978981648120.166666666664657112.9
BASE/checkers-newgoals/0XkFiA0.0750174008113271718530.733333333334247019.13333333333
BASE/3pConnectFour/PqXOFQ0.0754511267054219551597.86666666667683858.1333333333
BASE/skirmishFinal3/-Olhfw0.0758126615907086811285.366666666667148858.6
BASE/skirmishFinal2/gdB62Q0.0764346406718411910508.0137476.93333333332
BASE/kitten_escapes_from_fire/uW-YiA0.076444894134457111581.966666666661459639.2333333334
BASE/duplicateStateLarge/dcjyuw0.077986422800864299856.233333333341280431.0
BASE/dotsAndBoxes/EHwA_w0.0786310784322484265423.73333333333832034.0333333333
BASE/dotsAndBoxesSuicide/jzQbLw0.0787332574043547565644.76666666666833761.6
STANFORD/pentago/ZxzLmg0.078887889606555328946.333333333332366930.0
DRESDEN/skirmishfinal/hzq8ww0.0791271321041364510503.533333333333132742.5
DRESDEN/catcha_mouse/cHv4dw0.0792930538112632754781.8690877.6666666666
BASE/breakthroughSuicideSmall/XSbJog0.0796600868912952665931.66666666667827662.5
BASE/queens08ug/kJ_ZFQ0.0800540689758976557583.166666666664719303.4333333333
STANFORD/platformjumpers/HEQskA0.0803176082228380230312.2377404.1666666667
BASE/skirmishZeroSum/zh4hcw0.0808973717442227915859.533333333333196045.1
BASE/skirmishNew/sibw2g0.0811573199969374516218.0199834.1
BASE/breakthroughSmall/HJ0tIA0.0825210599666727567503.0818009.3666666667
BASE/catcha_mouse/cHv4dw0.0828557864713986250666.23333333333611499.0333333333
BASE/skirmishFinal1/ecWTnQ0.0832842742129887710652.633333333333127906.9
BASE/speedChess/bPnisA0.0841777163826088317192.333333333332204238.53333333333
BASE/nonogram_10x10_1/0Xc62g0.0842879035261092515693.733333333334186192.0
BASE/incredible/8Qh-6Q0.08491210664105593160499.066666666681890178.8333333333
BASE/ticTacToeLarge/TZC0dg0.08570465756163068113413.133333333331323301.8666666667
BASE/connectFourSimultaneous/7ITr3g0.0857094577215362244652.03333333333520969.73333333334
BASE/ticTacToeLargeSuicide/727_8g0.08579073949991843112557.733333333341312003.3
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0860716569770374331286.433333333334363492.86666666664
BASE/qyshinsu/R08Lzw0.0873251079119675622522.766666666666257918.56666666668
BASE/chineseCheckers1/gqtwHw0.08784694733234624145390.21655039.8666666667
DRESDEN/tictactoelarge/IwXcbg0.08888959108411619112710.333333333331267981.2333333334
DRESDEN/tictactoelargesuicide/6J4DeA0.08890160804160271116223.866666666671307331.4333333333
BASE/ticTacHeavenFC/mrletw0.0900782999199053232506.066666666666360864.56666666665
BASE/tictactoe_3d_small_6player/g_9lww0.090758181404175829986.566666666666330400.7
BASE/ticTacHeaven/18n58A0.0908407254205993732498.033333333333357747.4
BASE/pacman3p/wW7UVQ0.0918280668524897543032.26666666667468617.8
BASE/checkers-mustjump/T-8UuQ0.0921285793138403715656.066666666668169937.13333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.0922305447061210930738.033333333333333273.9
BASE/ttcc4_2player/_aH_Mw0.0946420862100689934410.2363582.43333333335
DRESDEN/blockerparallel/dVQgSg0.0963226092650879818999.233333333334197245.83333333334
BASE/racetrackcorridor/_RkdUg0.096640273421443765501.933333333334677791.2666666667
STANFORD/multiplebuttonsandlights/cK70Yg0.09718370226796977350058.53333333333602029.2
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.0975849278735846613560.6138962.03333333333
BASE/blockerParallel/7-nDJA0.097835397354807618827.166666666668192437.16666666666
DRESDEN/SC_TestOnly_enabled/09o7gQ0.0978966967782948109093.71114375.7
BASE/checkers-cylinder-mustjump/rjr6qQ0.0982241413713805713635.4138819.23333333334
STANFORD/multiplebuttonsandlights_9/SqB9BA0.09823476145072545353657.266666666663600123.433333333
DRESDEN/oisters_farm/pTQMLg0.0988853305549434370290.633333333363744646.7666666666
BASE/queens/HyJJnQ0.0989246156454157731609.3319529.1666666667
BASE/checkers/rOC3Xg0.0995307273253903823870.666666666668239832.13333333333
DRESDEN/racetrackcorridor/O0DoTA0.0998152327706629860643.46666666667607557.2333333333
BASE/escortLatch/mX9BjQ0.1013593363226382349954.53333333333492845.9
DRESDEN/queens/mW2wHQ0.1013841578248654432838.666666666664323903.3333333333
BASE/coins/QnGtnQ0.101645736182129643361.8426597.3333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ0.1030542009548832779231.56666666667768833.9333333333
DRESDEN/pacman3p/rBnk8Q0.1035213951086822742190.5407553.43333333335
BASE/coins_atomic/AA3SSw0.1036646099865161247407.066666666666457311.9666666667
BASE/checkersSmall/SYmq8w0.1039459472082596431751.266666666666305459.4
BASE/tictactoe_3player/GtM71g0.1059476084880182551810.03333333333489015.6
DRESDEN/brawl/2kXtfQ0.1062382911608513416282.866666666667153267.4
STANFORD/ttcc4/Cx9SGw0.1063908580534044836303.6341228.56666666665
BASE/lightsOnParallel/SC6enA0.1068211817131363180142.966666666671686397.4333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.1073567061009959182349.033333333331698534.1666666667
BASE/pacman2p/4LEdQg0.107703095500874642745.933333333334396886.76666666666
BASE/factoringEasyTurtleBrain/lUj94Q0.10824382685943261178179.91646097.5666666667
BASE/2pttc/unkkYA0.108287501065073774982.63333333333692440.3333333334
BASE/queens06ug/7Lq3tw0.1087190675229630498459.96666666666905636.6
BASE/checkersTiny/Lr48cg0.1095681974044019344873.63333333333409549.8
BASE/brawl/6Ymo_Q0.110688646145925416396.766666666666148134.13333333333
BASE/blocksWorldParallel/RseaAQ0.1107875678579465648196.2435032.56666666665
DRESDEN/tictactoe_3player/ESLQQQ0.1120192619238595451859.46666666667462951.3333333333
BASE/ticTacToeNoVars/XT03NA0.11227525536425154139328.31240952.8666666667
BASE/ttcc4_2player_small/Cv72TA0.1123140894948724162031.3552302.0333333333
DRESDEN/chinesecheckers3/QsCb2A0.1132193620836349947678.7421117.9
DRESDEN/coins/QwFP9w0.1136048703991641847815.566666666666420893.63333333336
BASE/ttcc4_2player_alt/ZEJvYA0.1137804600697814944442.666666666664390600.1666666667
STANFORD/duikoshi/tpw1sw0.1153376005283609655766.63333333333483507.8333333333
BASE/ruleDepthExponential/UamhHQ0.1198400932871977265285.92213665.6666666665
BASE/double_tictactoe_dengji/zgaSbA0.1198527905874408982690.96666666666689937.7666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g0.12193272057810568274526.53333333332251459.1
DRESDEN/chinesecheckers6/yTbPDA0.1229165961901696738878.433333333334316299.3
BASE/checkers-mustjump-torus/uSApKQ0.1244989491194501412867.933333333332103357.76666666666
BASE/chineseCheckers2/eCMR3Q0.126028619644416107309.43333333333851468.7666666667
DRESDEN/aipsrovers01/qS47Mw0.12613145214225102203630.833333333341614433.4333333333
DRESDEN/endgame/IJhh3Q0.1270868803331386421786.266666666666171428.13333333333
BASE/aipsrovers01/4C4jsw0.127642505415594197117.11544290.4333333333
DRESDEN/2player_normal_form_2010/NG_Kdg0.12882301102527696189470.033333333331470777.8666666667
STANFORD/pilgrimage/ObRZnQ0.1298073412114994538097.76666666667293494.7
DRESDEN/latenttictactoe/kITHKg0.1299996905757408282486.33333333333634511.7666666667
DRESDEN/grid_game/U7_Yeg0.1322813806694833680332.0607281.2333333333
BASE/copolymer_4/2LDVhQ0.1339341841099554298540.5735738.2333333333
DRESDEN/skirmish3/3LU8Nw0.1353441870044810329767.866666666665219941.96666666667
DRESDEN/ticblock/Z2yNWQ0.1365130618444015797478.26666666666714058.1666666666
BASE/ticblock/T21C1g0.1366017756474203597930.2716902.8333333334
STANFORD/sukoshi/4LYZZQ0.13665860896872578134604.03333333333984965.6333333333
STANFORD/tictactoe3/X7myng0.13684598123541025153563.533333333331122163.2666666666
BASE/mummyMaze2p_2007/YGA3Vw0.13703878753950544109928.16666666667802168.2666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg0.13727464896384486108718.66666666667791979.2
DRESDEN/ghostmaze2p/HY0UwA0.13792000269553814132622.36666666667961589.0666666667
STANFORD/freeforall/Lfp40Q0.1380232376787008471712.33333333333519567.1
DRESDEN/skirmish2/iPpWhQ0.1385081719053464835650.9257392.03333333333
STANFORD/chinook/osFbPA0.1395688603806590836403.26666666667260826.56666666668
BASE/mineClearingSmall/frsbvw0.1395969017289394339872.5285625.9666666667
DRESDEN/lightson2x2/gBHuig0.1402067277327683204306.766666666661457182.3333333333
BASE/blocker/dIWtxg0.14235089281500615141265.63333333333992376.1666666666
DRESDEN/skirmish/RjGQYQ0.1425170616650624531661.566666666666222159.83333333334
BASE/copolymer_4_pie/IN5_jA0.142671910101935380991.56666666667567677.0333333333
BASE/numbertictactoe/rvJ-iQ0.1427680637188852662727.03333333333439363.2
DRESDEN/blocker/S815zQ0.14290588219380262142623.0998020.5
BASE/2pffa/6oHijA0.1451387162262304871878.33333333333495238.86666666664
BASE/blockerSerial/3eqDuw0.145165262698381883932.6578186.5333333333
BASE/hodgepodge/9yjRkw0.1458520179902367195328.333333333341339222.7
BASE/2pffa_zerosum/o0_uZA0.1471048101375979673025.0496414.76666666666
BASE/tictactoe2/bhrDoQ0.14743463780723254184872.833333333341253930.8
STANFORD/dualrainbow/G3OnRQ0.1476889545587519131159.4888078.6
DRESDEN/Zhadu/9zpQ5w0.1488334804073081515055.766666666666101158.46666666666
STANFORD/bestbuttonsandlights/nm0wEA0.14971240449079565318824.03333333332129576.6
STANFORD/checkersonabarrelnokings/Zrevdw0.150894888162778244119.36666666667292384.76666666666
BASE/ghostMaze2p/W-NU-w0.15097759195807228131461.7870736.5
STANFORD/rainbow/_4qNSQ0.15112464983858323235829.21560494.6
BASE/checkersBarrelNoKings/rnKNeg0.15324293589579749069.26666666667320205.73333333334
BASE/cubicup_3player/e2yA_g0.1554930526315789512309.86666666666779166.66666666667
BASE/doubletoetictac/fu35bg0.156169494152289276983.86666666667492950.73333333334
BASE/chinook/XQh0IQ0.156215953490119539918.3255532.8
DRESDEN/logistics/fPru1Q0.1568776448208651677927.6496741.26666666666
BASE/chineseCheckers6/rREH3A0.1583112325044809860793.13333333333384010.23333333334
DRESDEN/tictactoe-init1/3ltIBQ0.16235304254686966143451.53333333333883577.7333333333
BASE/lightsOut/5P1ZBw0.1646068818832932104881.7637164.7333333333
BASE/snake2p/I3wWPQ0.1650050570642772394606.7573356.3666666667
BASE/nonogram_5x5_1/qLKEZw0.1650828967044926458511.833333333336354439.1
STANFORD/alquerquezero/uVgA_A0.165851134072485555645.3335513.5333333333
DRESDEN/cubicup_3player/awDtsQ0.1661029303741981312776.276917.36666666667
BASE/onestep/xi53wA0.1668244096815713368475.32208761.3
BASE/englishDraughts/jFkQxg0.1689543872216863551069.566666666666302268.36666666664
DRESDEN/eotcatcit/mQUxzA0.1690552452735536137043.36666666667810642.5
STANFORD/untwistycorridor/EDPPAQ0.1691593174124939619164.83333333343660246.7
BASE/factoringGeorgeForman/HGRorQ0.1696446229197067349296.33333333332058988.5333333334
STANFORD/jointbuttonsandlights/qAKuIQ0.16998207067327592242939.066666666681429204.0666666667
DRESDEN/lightsout/XgLpzQ0.17080373008328753106103.53333333334621201.5
DRESDEN/sheep_and_wolf/enAIzQ0.1714091270205796226185.766666666666152767.63333333333
STANFORD/dualhunter/1rPZjQ0.1731230082105046676964.36666666667444564.63333333336
BASE/switches/tPUoCg0.17436125320865348220003.833333333341261770.2
DRESDEN/lightsout2/LFtfyQ0.17477564055103653105834.06666666667605542.4333333333
DRESDEN/backgammon/mqCW0Q0.1753398839382752626297.066666666666149977.66666666666
BASE/checkersTorusNoKings/pwb6oQ0.1753669201419163250242.166666666664286497.4
STANFORD/tictactoe5/WFRReg0.17552607344591034154450.83333333334879931.0
BASE/sheepAndWolf/g4THrg0.1759236581101898727103.033333333333154061.33333333334
BASE/tictactoe-init1/7M19vA0.17596347141818594149011.63333333333846832.7666666667
BASE/ticTacToe/JRFsaQ0.1788100648760373138349.23333333334773721.7333333333
DRESDEN/bunk_t/7-tPfA0.1818212331043425377103.76666666666424063.6
BASE/lightsOn/MsXu3A0.18191146802859431376776.52071208.0666666667
DRESDEN/tictactoe/BTTzPw0.1830675110054911147117.0803621.5666666667
STANFORD/tictactoe/ss1kyQ0.18346008241245926138779.33333333334756455.2
BASE/chineseCheckers3/-1rZdQ0.1844529524608296892895.96666666666503629.6
BASE/chineseCheckers4/avfBcQ0.1844604103399748267240.8364527.0
BASE/bomberman2p/4CClwA0.1856904445219667986887.83333333333467917.63333333336
DRESDEN/tictactoe_orthogonal/y69QFQ0.18621558589069867142031.5762726.1666666666
BASE/ticTacToeSerial/Amrwqw0.1862503683245835397299.16666666667522410.6
STANFORD/untwistycomplex/HTWEwg0.1868103822641341659705.16666666663531415.966666667
BASE/tictactoe_orthogonal/WRzlVw0.18816015919666346143433.36666666667762294.0333333333
BASE/chickentictactoe/DSlZCA0.18895031599394926118527.73333333334627295.7666666667
DRESDEN/doubletictactoe/lJzgmQ0.1890353470443503281175.76666666666429421.1
BASE/bunk_t/xbpfIA0.1894639769832785580392.9424317.6
DRESDEN/stratego/Z2wovg0.1895881965127901631201.066666666666164572.83333333334
DRESDEN/bomberman2p/x4h6jQ0.190004791363624488405.73333333334465281.6
DRESDEN/hanoi_6_disks/MeubgQ0.19057779805937254584.933333333321335858.3
BASE/doubletictactoe/HH1htg0.1907322169150032281434.76666666666426958.63333333336
DRESDEN/doubletoetictac/V89gKQ0.190906529472469779002.9413830.26666666666
BASE/untwistycomplex2/EDPPAQ0.19227565741186184606732.23333333333155533.2666666666
BASE/eotcatcit/AfZSzA0.19543271213710978135199.93333333332691797.8666666667
BASE/hanoi_6_disks/MeubgQ0.19649984110653426254281.333333333341294053.6333333333
DRESDEN/tictactoeparallel/yk_DSg0.19656143678496561266.666666666664311692.2
BASE/cittaceot/fDxhXg0.1981175965959552639290.86666666667198320.93333333332
BASE/chomp/-LcqYQ0.198986328091813377682.13333333333390389.3
BASE/snakeParallel/RCVNtw0.19930969804222287154544.7775399.8
DRESDEN/Goldrush/VeWczQ0.1995982879729947868620.93333333333343795.2
STANFORD/tictactoe7/-bE9-A0.1998138637044118149442.93333333332747910.7333333333
BASE/checkersTorus/2vm1EQ0.1998241520858329645067.5225535.8
STANFORD/trifecta/ss1kyQ0.19990032444638395141027.46666666667705488.9333333333
STANFORD/hunter/14dD-g0.200307458506629172754.56666666668862447.0
BASE/ticTacToeParallel/ymRGPw0.2012140683366328861978.4308022.2
DRESDEN/chickentictactoe/Ipbo-g0.2039302203506182122363.03333333334600024.0333333333
BASE/snake_2009_big/-oRfVw0.206960655843440972303.73333333334349359.8
BASE/wargame01/_GZFZg0.2073108213125712349591.53333333333239213.43333333332
BASE/duplicateStateMedium/U163eQ0.20968766891539145349098.46666666671664849.7666666666
DRESDEN/chomp/-LcqYQ0.2101394593682942877416.13333333333368403.6
BASE/blocksWorld/SEdXLQ0.21205167784730367328146.133333333361547481.9
BASE/survival/YVIjJA0.2155116669984357497183.92306992.966666667
DRESDEN/Thief_Police/CX18rA0.21622244616562858191888.7887459.6666666666
DRESDEN/minichess/c7GMFw0.2180263007521512459967.4275046.63333333336
BASE/point_grab/V_osUg0.21838941225552785403040.6959304071845513.9
BASE/stateSpaceLarge/0Ge_CQ0.21870780947493262224102.733333333341024667.2666666667
BASE/duplicateStateSmall/bCPAXw0.22203661069904826457625.233333333342061035.0333333334
DRESDEN/statespacelarge/8-y5HQ0.2220495020541649221723.6998532.3
DRESDEN/point_grab/r5DPmQ0.22270579375289534403646.03333333331812463.1
DRESDEN/blocks/vg0DRw0.22494666374591274326892.866666666641453201.6666666667
DRESDEN/snake_2009_big/DgC1NQ0.2251516164932830869276.83333333333307689.7
BASE/snake_2008/i6K26g0.225360354349398485228.56666666667378187.93333333335
DRESDEN/CatchMeIfYouCanTest/CX18rA0.22732428403970054198815.0874587.6
BASE/blocksWorldSerial/Wyg96Q0.22821378851856364184912.2810258.6666666666
BASE/haystack/UkweGA0.23082450586921432666166.63333333332886030.8
BASE/toetictac/mTThmg0.23110001534513752257428.11113925.0666666667
BASE/pearls/6k_mEQ0.23335328467304764719649.33333333343083947.7333333334
BASE/ticTicToe/c1OobQ0.2336092094108358278231.2334880.63333333336
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.23419897641899445197012.06666666668841216.6
DRESDEN/toetictac/mJtxCA0.23549625520692868246970.31048722.8333333333
BASE/blocks/xIV5hQ0.23632007622663806334031.133333333361413469.1333333333
BASE/snake_2008_tweaked/bX0NJQ0.2382948277990547589049.63333333333373695.2
DRESDEN/snake_2008/E56l3A0.2416387225883507889369.06666666667369845.8
STANFORD/buttonsandlights/eyhJpA0.242897393579582717704.73333333332954765.066666667
BASE/troublemaker01/s3tlEQ0.2462480434386815540830.93333333332196285.2
DRESDEN/buttons/ADUaHw0.2463446660151163612228.52485251.7
DRESDEN/catch_me/ghGWrA0.24636550244604472195745.86666666667794534.4
BASE/troublemaker02/DI83KA0.24653760200314184517468.32098942.7
BASE/checkLines/Vop7oQ0.24669574256884036103104.16666666667417940.6
STANFORD/tictictoe/rpt_Dw0.2470473649268428281902.6331525.9
BASE/eotcitcit/V_9_bg0.2473768558101356382294.1332666.93333333335
BASE/sum15/QZ07Kg0.24866116209868783168922.16666666666679326.7
DRESDEN/brain_teaser_extended/ZDp94A0.24907708586171554199446.63333333333800742.6
BASE/stateSpaceSmall/Q7osKA0.24974668372404701467378.16666666671871408.9
DRESDEN/tictictoe/LAUtwg0.2517662557433591585745.16666666667340574.5
DRESDEN/sum15/CsgWKg0.2529680801162757169608.9670475.5
BASE/gt_dollar/TGjqRw0.2531602034194487248697.2982370.8333333334
DRESDEN/snake_2009/zIYLVw0.2541100744112425684722.43333333333333408.4
DRESDEN/troublemaker01/C-lPWw0.25762388082782905561519.46666666672179609.533333333
DRESDEN/hanoi7/51zz5Q0.2577896686204718317657.11232233.6333333333
BASE/3pttc/0sol9g0.25779020809642166413.4257625.76666666666
BASE/wargame03/klXI8w0.25807960236666543411.2168208.56666666668
STANFORD/knightstour/cEwgNA0.2587362306211652332077.03333333331283457.8
DRESDEN/4pttc/9pB9AQ0.2587420988542385463894.3246942.03333333333
BASE/buttons/hTcUjw0.2595630489411151627658.92418136.566666667
BASE/snake_2009/7l-qAQ0.2613569396510993585003.4325238.73333333334
BASE/brain_teaser_extended/ZDp94A0.2630238367987127207226.76666666666787863.0666666667
DRESDEN/hanoi7_bugfix/3gdnFw0.26374115877233323316999.81201935.2666666666
BASE/knightsTour/mvtVIg0.26520752642383355348806.366666666641315220.4666666666
DRESDEN/statespacesmall/h-NqjA0.2656048656469163480628.66666666671809562.7333333334
DRESDEN/troublemaker02/iZLVuA0.2661934178837068525648.43333333331974686.0666666667
BASE/coloredtrails/EZvr7g0.26918289557200453101584.83333333333377382.2
STANFORD/knightstourmedium/x1wu8Q0.2695925214304281344129.31276479.4
BASE/hanoi7_bugfix/3gdnFw0.2740284112683613333616.866666666641217453.5666666667
DRESDEN/knightstour/cGISAA0.274109251217834348919.83333333331272922.5
BASE/amazons_8x8/7SOsIw0.275595646421073833305.1120847.7
BASE/ruleDepthLinear/OUBJpQ0.2771608875269195467139.71685445.9666666666
BASE/4pttc/AL1k2Q0.277654513799781256801.03333333333204574.5
BASE/beatMania/qUHwvQ0.2788077390060083273214.8979939.8
BASE/tttcc4/8Bs2lg0.281062882769307837870.9134741.73333333334
DRESDEN/tttcc4/sAvtFg0.283986813718478536861.933333333334129801.56666666667
DRESDEN/3pttc/uwYBZw0.2846136383926979377147.73333333334271061.26666666666
BASE/wargame02/BkVqqQ0.286568046584057433768.36666666667117837.16666666667
BASE/ttcc4/Le0qjQ0.2874062933460450638104.7132581.3
BASE/maze/cCX3qQ0.28886261582190864656680.66666666662273332.1333333333
BASE/tron_10x10/7ZTgDg0.2895811295235955109281.2377376.8
DRESDEN/statespacemedium/dVJZ_w0.2936742671764474427573.933333333351455946.2
BASE/chickentoetictac/l57rfQ0.2962053838762353238829.7806297.6333333333
BASE/hex/T1MK8g0.297173995136592824893.883768.43333333333
DRESDEN/babel/WdSW4A0.297847202632882870074.7235270.63333333333
DRESDEN/hanoi/RQ0jiA0.298484133865135340643.266666666661141244.1333333333
BASE/stateSpaceMedium/3bUoIw0.3010583959997059437321.41452613.2
BASE/hanoi/iGLsJg0.30193690790726974347636.266666666661151354.0
STANFORD/hex/MTqWcw0.30378098287255225564.884155.36666666667
BASE/circlesolitaire/azuQFQ0.3054738533029744268218.7878041.4333333333
STANFORD/3puzzle/41ibjA0.305751657542764336006.11098951.0333333334
DRESDEN/3pffa/0YrmQw0.308940492110189977008.56666666667249266.66666666666
STANFORD/threepuzzle/41ibjA0.3098119578569016336593.46666666671086444.4
DRESDEN/circlesolitaire/ruUilQ0.31124400487801307269769.6866746.3333333334
DRESDEN/nim4/F5YAYg0.31145497737937505180660.46666666667580053.2333333333
STANFORD/knightstourbig/TQUI2g0.31348416844265425302787.73333333334965878.8666666667
BASE/rubiksCube/9tNO9Q0.316296281790655539841.333333333336125962.06666666667
DRESDEN/nim3/sG_axA0.31659946050309934182781.73333333334577328.0
BASE/biddingTicTacToe/8mESVw0.3198518603232365123991.26666666666387652.1666666667
BASE/nim3/1OwUqw0.3227891251459763185689.2575264.7333333333
DRESDEN/chickentoetictac/cxYaRQ0.3230656511273781242633.96666666667751036.1
DRESDEN/cube_2x2x2/fp-34Q0.323856116746935390598.13333333333279748.1
BASE/nim4/twk16w0.32462312984940644182122.2561026.5666666667
BASE/asteroidsSerial/id2QkA0.3347321694326508271478.3811031.4
DRESDEN/bidding-tictactoe/yW5vTA0.33857973798177105130796.4386309.0
BASE/3pffa/pR0dzA0.3400669902944487669072.36666666667203114.0
BASE/minichess/8NQEiA0.346474014073302682243.03333333334237371.43333333332
BASE/gt_centipede/9fRMpw0.35232457771389836378842.733333333341075266.2666666666
BASE/knightsTourLarge/M8jgLA0.35447033291905694325589.0918522.5666666667
DRESDEN/smallest_4player/ADDROA0.35511991629366235112170.36666666667315866.1666666667
BASE/4pffa/Q3ADlg0.362192005359135863402.833333333336175053.1
DRESDEN/nim2/z5_exA0.36235629782404305243818.76666666666672870.2333333333
BASE/hexPie/48CH6Q0.3623615619325446523700.36666666666565405.3
DRESDEN/roshambo2/jgSlkQ0.36561987704129034276963.3333333333757517.1666666666
BASE/roshambo2/KNPokQ0.36586518273176205271170.7741176.5666666667
BASE/smallest_4player/ADDROA0.3701107245561812113377.4306333.73333333334
BASE/nim2/eF2Qqw0.3706343413421981242601.16666666666654556.6333333333
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.37089295827071506105027.7283175.23333333334
DRESDEN/blocksworldparallel/2JfVaw0.37298863786266134160414.03333333333430077.5333333333
DRESDEN/fizzbuzz/t1xHzQ0.3737197086879048610422.01633368.5
DRESDEN/nim1/M9BALA0.37512506759524994271906.1666666667724841.3666666667
BASE/biddingTicTacToe_10coins/a-9ccQ0.3774189429303842103351.23333333334273836.9
BASE/nim1/hin2Qw0.38148502612603696273667.8333333333717375.0333333333
BASE/solitaireChineseCheckers/-ET6gw0.384414338911262589519.4232872.16666666666
DRESDEN/Runners/3bOCQw0.3891011223388359331662.3852380.7333333333
BASE/gt_coordination/IVMOzA0.39126904277293834422468.96666666671079740.3333333333
BASE/gt_two_thirds_2p/1APDGg0.400764268470187860757.73333333333151604.66666666666
DRESDEN/frogs_and_toads/GjchhQ0.401781948064953757372.46666666667142795.03333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.4034076661293211621020.76666666666652108.0
DRESDEN/satlike_20v_91c/yeuENQ0.4134473449574004322257.853834.666666666664
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.4165335543601153520704.849707.4
DRESDEN/crisscross/GsY16g0.430938568116473249541.1114960.93333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.4465661743765002621952.349158.0
BASE/blocks2player/wnTLOQ0.4580844939693692265125.7578770.3
BASE/amazonsSuicide_10x10/XIbQkg0.4634312776900748627301.258911.0
BASE/knightfight/SJRkAg0.46386589935447725109941.8237012.03333333333
DRESDEN/knightfight/4_Ly4w0.46697950578726277109349.63333333333234163.66666666666
DRESDEN/blocks2player/3ev8nQ0.47882772634483384279488.9666666667583694.2
BASE/amazons_10x10/Bun8dA0.4985091121968300327334.854833.1
BASE/shmup/ssTNlg0.5138525955622567102923.13333333333200297.0
STANFORD/8puzzle/jNiGtw0.5201161232112844109413.06666666667210362.76666666666
BASE/quarto/EwBMVQ0.521475443258838458658.2112485.06666666667
DRESDEN/crissrace/KWb9bw0.521705690944178545651.387503.93333333333
BASE/crisscross/ICagEg0.522563351791582952494.066666666666100454.93333333333
BASE/eightPuzzle/vLrgFg0.5276424866825479108880.1206352.03333333333
DRESDEN/8puzzle/8fKC2w0.5310727913700924106891.8201275.23333333334
BASE/gt_ultimatum/GE-uOA0.5320908843388263346228.9666666667650695.1666666666
BASE/quartoSuicide/-23jUg0.533144455703720458768.566666666666110230.1
BASE/crissrace/ERWGDA0.540351661075031646358.385792.83333333333
DRESDEN/gt_ultimatum/pAiiQw0.5410357176214743334039.6617407.6666666666
DRESDEN/quartosuicide/WIU1oQ0.553776572524131457845.433333333334104456.26666666666
STANFORD/eightpuzzle/W_aWbA0.5671447983892063112744.0198792.26666666666
DRESDEN/chinesecheckers4/-oVNYg0.574951498954466630455.96666666666752971.36666666667
BASE/asteroids/BKCmPQ0.5777555280172487540244.5935074.5666666667
BASE/gt_two_thirds_4p/DStnxQ0.577823490025356631872.66666666666855159.86666666667
DRESDEN/quarto/OQzRYQ0.578110045995454659760.7103372.53333333334
BASE/snakeAssemblit/UO4sdg0.623028536900261925399.06666666666640767.1
BASE/asteroidsParallel/WauZiA0.6455725074523608318886.86666666664493959.8
DRESDEN/blobwars/ZaMluQ0.646669977768317612759.83333333333419731.6
BASE/gt_tinfoil/Q8DyKg0.6546796530351757324537.6666666667495719.8
BASE/blobwars/0XT15Q0.661083614671080812773.719322.366666666665
BASE/colonelBlottoVariant/X-n-KQ0.7078453347283359259525.9366642.1
DRESDEN/vacuumcleaner_random/_6AGDA0.9237481922366135123829.8134051.46666666667
BASE/gt_attrition/kD_SCA0.9448444687856803118750.1125682.16666666667
BASE/gt_chicken/gmepTQ0.9620605373405012408112.3333333333424206.5
BASE/colonelBlottoVariant2/jruwGw0.9633562831567213236752.86666666667245758.36666666667
DRESDEN/gt_chicken/CeuKtw0.9643533319414537405851.7420853.73333333334
BASE/gt_staghunt/xPjLRA0.9674252062364014400434.9413918.2
DRESDEN/gt_prisoner/huCp4w0.9698278453635284401254.115843498413737.4666666667
BASE/kalaha5x2x3/WviNsw1.0130332948754583104106.96666666666102767.56666666667
BASE/gt_prisoner/klthDw1.034616363325669417563.26666666666403592.36666666664
BASE/amazonsTorus_10x10/Uxc08g1.04049335331253220530.63333333333519731.633333333335
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1.103312567479769185439.33333333334168075.06666666668
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1.129991061685447190432.23333333334168525.43333333332
DRESDEN/vacuum_cleaner_1/eUNjpw1.4434101345604604209195.06666666668144931.13333333333
BASE/kalaha6x2x4/XS81Mg1.486546524780861496943.165213.63333333333
BASE/ad_game_2x2/D0aWqg1.698109258028854860572.06666666666635670.3
BASE/colonelBlotto/jip21A2.334508228309580164.1333333333334338.76666666667
DRESDEN/racer/vk_ZBA2.34621787188706965772.9333333333328033.6
BASE/racer/QQYQNw2.398993150943373365698.2666666666627385.766666666666
DRESDEN/pancakes/hl9aiQ2.603064066318463679041.8260862.5
BASE/pancakes/yUgbXw2.653761091956176684756.1666666666258032.33333333334
DRESDEN/pancakes6/SZXMyQ2.703428555623929693985.7256705.76666666666
BASE/pancakes6/QZTdnw2.769407416726995683100.8333333334246659.56666666668
DRESDEN/guess/PhxGhg3.1777690851873186174120.6666666666654793.36666666667
BASE/guess/SPpk1A3.2920523147451264179335.8666666666754475.4
DRESDEN/kalaha_2009/gcC8uA3.854639454577190398639.9666666666625589.933333333334
BASE/kalaha_2009/dRiN3g3.999660949134576102630.7666666666625659.866666666665
DRESDEN/smallest/9kaGFw7.86986136434001991507.611627.6
DRESDEN/Travelers-Dilemma/PvZwYw87.14706403568924377018.53333333334326.233333333334

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/endgame/jYjfOAException of type NullPointerException
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
BASE/knightazons/apnJBQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-mustjump/HUr33wTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/cylinder-checkers/hlldmwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
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/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsException of type StackOverflowError
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorOutOfMemoryError: GC overhead limit exceeded
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsException of type StackOverflowError

index