index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 vs. PALAMEDES_JOCULAR:0.6.1

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per secondPALAMEDES_JOCULAR:0.6.1 states per second
DRESDEN/coins/QwFP9w1.1304048379613788E-4366.85443818539383245336.7666666666
BASE/coins_atomic/AA3SSw1.1427715713506457E-4343.23003224.8666666667
BASE/coins/QnGtnQ1.1857414410304922E-4369.175388307446163113456.066666667
BASE/blocksWorldParallel/RseaAQ1.3136213393633616E-4421.95260157994733212132.6666666665
BASE/minichess/8NQEiA3.099564239157815E-4896.03333333333332890836.466666667
BASE/snake2p/I3wWPQ3.259946094402856E-4238.7920402653245732503.0333333333
DRESDEN/blocksworldparallel/2JfVaw4.971088694663952E-41648.23315571.5
STANFORD/tictactoe3/X7myng5.457407636544314E-42188.83333333333354010756.533333333
BASE/blocksWorldSerial/Wyg96Q5.90386854135315E-42859.04842587.5
BASE/tictactoe-init1/7M19vA6.291268569934443E-42338.43716897.433333333
STANFORD/tictactoe5/WFRReg6.356458979994096E-42361.73715433.4
DRESDEN/tictactoe-init1/3ltIBQ6.541734689414417E-42423.93333333333343705337.2666666666
STANFORD/sukoshi/4LYZZQ8.010827405113571E-41338.46666666666671670822.0
STANFORD/threepuzzle/41ibjA0.00108196083217278765804.05364334.666666667
STANFORD/tictactoe7/-bE9-A0.00111020296458247032400.43333333333342162157.2
STANFORD/3puzzle/41ibjA0.00115778865527218276117.9666666666665284182.6
BASE/gt_dollar/TGjqRw0.00128338303529495784790.4333333333333732660.6333333333
BASE/hodgepodge/9yjRkw0.0013113239678035553692.22815627.6333333333
DRESDEN/blocks/vg0DRw0.00139737854576453376273.6666666666674489597.1
BASE/blocksWorld/SEdXLQ0.0014255207724291296457.7666666666664530110.533333333
BASE/blocks/xIV5hQ0.0014260669768177886369.5333333333344466503.633333334
BASE/duplicateStateSmall/bCPAXw0.00160120463268394776288.13927105.8
BASE/maze/cCX3qQ0.001713028869151595411255.2666666666666570389.366666666
BASE/pearls/6k_mEQ0.001857267508546968312294.86619832.6
BASE/gt_centipede/9fRMpw0.0018629128625464277452.9666666666664000706.0
DRESDEN/2player_normal_form_2010/NG_Kdg0.00203138710690536954172.7333333333342054130.0666666667
BASE/stateSpaceSmall/Q7osKA0.0022551256233289698880.4333333333323937888.533333333
DRESDEN/statespacesmall/h-NqjA0.00230761817216369748914.33862987.433333333
BASE/troublemaker02/DI83KA0.002485232509601079610509.3666666666674228725.733333333
DRESDEN/troublemaker01/C-lPWw0.00258471074499124812270.4333333333324747313.933333334
BASE/buttons/hTcUjw0.002642686563648438710747.84066997.6333333333
DRESDEN/buttons/ADUaHw0.002654490283345769410640.0666666666684008327.6
DRESDEN/troublemaker02/iZLVuA0.002781144189666613311948.7333333333344296337.233333333
BASE/troublemaker01/s3tlEQ0.002832394286174278513076.1333333333334616635.966666667
BASE/switches/tPUoCg0.00363182635808279258315.6666666666662289665.2666666666
BASE/haystack/UkweGA0.00387291884627593218755.5333333333334842738.533333333
STANFORD/buttonsandlights/eyhJpA0.005397465434987056521830.54044583.566666667
BASE/survival/YVIjJA0.00574818550029943915620.52717466.2333333334
BASE/onestep/xi53wA0.00767912418680509921177.7666666666662757836.2
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.042736349556793090.65904372755132315.421151651605342
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.050518450943105310.513953846944544410.173586825205062
STANFORD/knightstourmedium/x1wu8Q0.05414057811264848798.533333333333162512.73333333334
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0603016647890850.44178392348302457.326230959430996
BASE/ticTacToeNoVars/XT03NA0.065074375971942221120.066666666666617212.1
DRESDEN/statespacelarge/8-y5HQ0.06566318539072559941.833333333333414343.4
BASE/stateSpaceLarge/0Ge_CQ0.0664082376560057957.066666666666714411.866666666667
BASE/tron_10x10/7ZTgDg0.06781168260124471603.923652.266666666666
DRESDEN/satlike_20v_91c/yeuENQ0.082931883628925910.53825658691498236.4903456109037805
DRESDEN/snake_2008/E56l3A0.08825899514760983493.650211659611335593.2
BASE/duplicateStateLarge/dcjyuw0.08831530723090728623.37057.666666666667
BASE/snake_2008_tweaked/bX0NJQ0.08916819125087753490.216992766907775497.666666666667
DRESDEN/snake_2009/zIYLVw0.09090981654092754446.5368975401644911.866666666667
BASE/snake_2009/7l-qAQ0.0918235215634374449.151694943501874891.466666666666
BASE/snake_2008/i6K26g0.09336872063265798502.283257224759155379.566666666667
BASE/kitten_escapes_from_fire/uW-YiA0.09545188825874592296.833333333333524062.733333333334
STANFORD/multiplesukoshi/vLSQPg0.0986809987506185748.848755456332675495.01683277224095
DRESDEN/kitten_escapes_from_fire/uW-YiA0.100584808805854442326.533333333333323130.066666666666
BASE/duplicateStateMedium/U163eQ0.108354634056041881891.417455.64475831973
BASE/knightsTour/mvtVIg0.118246263844736628221.66666666666669530.03333333334
BASE/snake_2009_big/-oRfVw0.11896085469478825343.22189260357992885.1666666666665
STANFORD/knightstour/cEwgNA0.12481899978571318640.269221.83333333333
DRESDEN/snake_2009_big/DgC1NQ0.12567501227295041349.86666666666672783.9
DRESDEN/knightstour/cGISAA0.12736643183321518523.63333333333366922.13333333333
BASE/aipsrovers01/4C4jsw0.145862802260346731901.166666666666713033.937626354687
BASE/factoringImpossibleTurtleBrain/kcBhdw0.147018419626963880.28538812785388131.9411725998552345
BASE/hanoi_6_disks/MeubgQ0.150871329006913723605.023894.533333333333
DRESDEN/statespacemedium/dVJZ_w0.151376341898676822728.533333333333318024.833333333332
BASE/stateSpaceMedium/3bUoIw0.15183102809068872730.23333333333317982.05128205128
DRESDEN/aipsrovers01/qS47Mw0.151878561748196721923.233333333333312662.967776333766
BASE/nineBoardTicTacToe/wRmqqA0.1584877092327174205.42648578380721296.1666666666667
BASE/circlesolitaire/azuQFQ0.158600347754835284335.727337.266666666666
DRESDEN/circlesolitaire/ruUilQ0.16210383836506434358.36666666666726886.264450144918
DRESDEN/hanoi_6_disks/MeubgQ0.16864578727914463776.333333333333522392.1
BASE/sudokuGrade1/tDRNRw0.1708687940249579216.24284382905072795.06032931137923
DRESDEN/tictactoe/BTTzPw0.17140067914119122474.26666666666714435.570961935871
DRESDEN/eotcatcit/mQUxzA0.171854837540415532370.613794.2
BASE/eotcatcit/AfZSzA0.173821145028942642349.23333333333313515.233333333334
DRESDEN/sum15/CsgWKg0.17417544876705522804.166666666666516099.666666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.17436301254288766620.03555.8
BASE/tictactoe2/bhrDoQ0.174680055600824422429.566666666666613908.666666666666
BASE/ticTacToe/JRFsaQ0.174865394201572182470.833333333333514129.916011198507
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.17640913172618636681.03333333333333860.5333333333333
STANFORD/trifecta/ss1kyQ0.17759403348284112403.433333333333413533.3
BASE/sum15/QZ07Kg0.17793572763043912841.36666666666715968.5
STANFORD/nineboardtictactoe/y28P-A0.17803321113945947213.811952138119521200.9666666666667
BASE/nineBoardTicTacToePie/B8LzeQ0.17809136950871304211.357728454309131186.793773540882
BASE/lightsOnParallel/SC6enA0.178328235438666831838.433333333333410309.266666666666
STANFORD/tictactoe/ss1kyQ0.17887330008434672353.966666666666713159.966666666667
STANFORD/multipletictactoe/_bkafQ0.1789418412957777286.957101429952331603.6333333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.17905988188979058726.47578414052864057.1666666666665
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.18037598387546516642.8119062697913563.733333333333
BASE/sudokuGrade5/BQfUQA0.1814915297298768716.1692783710949289.0910908909109
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.18162553865810366710.87630412319583913.9666666666667
BASE/sudokuGrade4/DTy07w0.1817097982194474415.86773560427131587.32460087324601
BASE/sudokuGrade2/u80Tfw0.1824897828267434415.64788919962711485.74665911287366
DRESDEN/uf20-01.cnf.SAT/42Rs8A0.18314066293057552676.46666666666673693.7
BASE/cubicup_3player/e2yA_g0.184796846363569263.24769235895898342.2552581580614
BASE/wallmaze/uxNQ9g0.18575359454327017319.533333333333361720.2
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.1861397996767922756.36666666666674063.4333333333334
DRESDEN/cubicup_3player/awDtsQ0.188328912466843561.5271806152718326.70066326700663
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.1901457015216687649.91166961101293417.9666666666667
DRESDEN/tictactoelargesuicide/6J4DeA0.190274735850163081045.23333333333335493.284900189956
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.1904707375492638665.33333333333343493.1
DRESDEN/sat_test_20v_91c/dK7nVw0.19234785897083587672.37758741375283495.633333333333
STANFORD/sudoku/oJ1qyQ0.1926102764074671715.2986563788745579.42803813079128
BASE/factoringMediumTurtleBrain/8RBqmQ0.1933458348867674521.58261391286952697.6666666666665
DRESDEN/toetictac/mJtxCA0.19452958194083774072.620935.633333333335
BASE/ticTacToeLargeSuicide/727_8g0.19482207361124671064.35462.933333333333
BASE/tictactoe_orthogonal/WRzlVw0.195445222276722922.166666666666514951.333333333334
DRESDEN/tictactoelarge/IwXcbg0.19550746223289461072.05483.166666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.19621713186410958768.36666666666673915.9
BASE/breakthroughSmallHoles/bxclRw0.19709922531311125477.617412752908252423.233333333333
BASE/toetictac/mTThmg0.19728707176875274056.86666666666720563.266666666666
BASE/ticTacToeLarge/TZC0dg0.19738218911146061050.06666666666665319.966666666666
DRESDEN/tictactoe_orthogonal/y69QFQ0.20462145265754632908.666666666666514214.866666666667
STANFORD/untwistycorridor/EDPPAQ0.2066872049166493813014.33333333333462966.32313829787
BASE/connect5/d-BVQg0.20680495111060873243.933333333333341179.5333333333333
BASE/sudokuGrade3/eI8dvg0.209672693281136615.62343848895699474.51346307651293
DRESDEN/connect5/1kYzSg0.2112337571608216251.966666666666671192.8333333333333
BASE/sudokuGrade6E/ihYFZA0.2122753235518129214.6308948508581968.92414344754033
DRESDEN/logistics/fPru1Q0.212779524195142481112.33333333333335227.633333333333
STANFORD/duidoku/3SoMaA0.213516831517417515.29694061187762571.6427857380873
BASE/untwistycomplex2/EDPPAQ0.2138859458171803213438.03333333333362828.03333333333
BASE/sudokuGrade6H/ieE_9A0.214931005693441914.61482122644650267.99773340888638
BASE/cubicup/4wNWJA0.21730759223604096139.2640.5666666666667
BASE/3pConnectFour/PqXOFQ0.21775634498261254377.81734.9666666666667
BASE/connectFourLarger/qKi60A0.21848382731445853274.466666666666641256.2333333333333
DRESDEN/cubicup/SBn_lw0.2211567176169943140.94317613731045637.3
BASE/bomberman2p/4CClwA0.2220465177571325898.66666666666664047.2
DRESDEN/chickentictactoe/Ipbo-g0.223643498329171442047.93333333333349157.133333333333
BASE/blocker/dIWtxg0.22629523300841232259.6333333333339985.333333333334
BASE/eotcitcit/V_9_bg0.22644616295823341796.93333333333347935.366666666667
DRESDEN/tictictoe/LAUtwg0.2274780068497751806.67941.866666666667
BASE/ticTicToe/c1OobQ0.22808931253513681812.27945.133333333333
DRESDEN/latenttictactoe/kITHKg0.23003851773143841443.36274.166666666667
BASE/connectFourSimultaneous/7ITr3g0.23035144586409376283.72387587080431231.7
BASE/tictactoe_3player/GtM71g0.23046838993429108583.42531.366666666667
DRESDEN/blocker/S815zQ0.230580394148603432231.16666666666659676.30693366208
STANFORD/tictictoe/rpt_Dw0.23073932234971071829.56666666666667929.1498650314925
BASE/chickentictactoe/DSlZCA0.231915463608925812082.7333333333338980.57120005332
BASE/connectFourLarge/aU644A0.2337614098401366477.317422752574942041.9
STANFORD/connectfour/VMpZkQ0.23705217143400173665.22806.133333333333
BASE/lightsOn/MsXu3A0.239026547036566875171.83333333333321637.066666666666
BASE/connectFourSuicide/c8p9Kw0.24013232371512666636.36666666666672650.0666666666666
BASE/connectFour_9x6/B9TtMw0.241063122923588604.66666666666662508.3333333333335
BASE/brain_teaser_extended/ZDp94A0.241992354396222161793.56666666666667411.666666666667
DRESDEN/tictactoe_3player/ESLQQQ0.242116823392134587.92428.1666666666665
BASE/chickentoetictac/l57rfQ0.24758917582788513178.533333333333312837.933333333332
BASE/mummymaze2p/vpjDdA0.2480287046024746552.78157394753512228.7
BASE/snakeAssemblit/UO4sdg0.24830187217374888337.95540148661711361.0666666666666
BASE/factoringEasyTurtleBrain/lUj94Q0.25061208317602952234.8666666666678917.633333333333
DRESDEN/chickentoetictac/cxYaRQ0.25151930943074213232.333333333333512851.233333333334
BASE/connectFour/WAIKTw0.25167423543821305670.13298670132992662.7
DRESDEN/lightson2x2/gBHuig0.254328141580213833265.63333333333312840.23589777763
DRESDEN/mummymaze2p/k-8edg0.2574896930829134562.12183.0
STANFORD/hunter/14dD-g0.25906330457341642196.98480.166666666666
DRESDEN/brain_teaser_extended/ZDp94A0.268730392156862731827.36666666666666800.0
STANFORD/duikoshi/tpw1sw0.2739992447129909483.71765.3333333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.275355286273346934085.666666666666514837.8
BASE/gt_coordination/IVMOzA0.2766540856156655717.33333333333320666.0
BASE/blocks2player/wnTLOQ0.277254157913842955371.019372.11705105986
BASE/factoringGeorgeForman/HGRorQ0.277762563519528163347.066666666666612050.1
BASE/hex/T1MK8g0.280143775187888171.46095130162328612.0462651244959
STANFORD/bestbuttonsandlights/nm0wEA0.281087942326811066860.33333333333324406.359364063595
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.282034165636895433027.910735.933333333332
BASE/numbertictactoe/rvJ-iQ0.28244338948871991344.64760.6
STANFORD/breakthrough/d5j0cQ0.28372216943166856472.917569414352841666.8333333333333
DRESDEN/blocks2player/3ev8nQ0.28418871255281075430.619109.133333333335
STANFORD/hex/MTqWcw0.28580812863401417171.16096130128994598.8666666666667
BASE/incredible/8Qh-6Q0.28718255228796422290.37975.066666666667
DRESDEN/tictactoex9/rFkD4w0.28995423372741247253.57464253574642874.5333333333333
DRESDEN/minichess/c7GMFw0.2916483363819491839.73333333333332879.266666666667
BASE/tictactoex9/BI26ow0.2931414248822725257.3877.7333333333333
BASE/hexPie/48CH6Q0.3006323896319131168.95540297313514562.0
STANFORD/multiplebuttonsandlights_9/SqB9BA0.300828815968397948148.527086.833333333332
STANFORD/bestbuttonsandlightsbig/g0JC6g0.30145575913093585252.76666666666617424.668488038915
STANFORD/multiplebuttonsandlights/cK70Yg0.302838271604938268176.63333333333327000.0
BASE/withConviction/3Xm54A0.3065824788944277443.95186827105761448.0666666666666
BASE/kalaha5x2x3/WviNsw0.31316100926672041658.16666666666675294.933333333333
DRESDEN/chinesecheckers1/Y-ftaA0.31473036857298251003.06666666666673187.0666666666666
DRESDEN/chinesecheckers6/yTbPDA0.3185940371050916537.51687.1
BASE/dualConnect4/WbCQkg0.31972056372299157478.98403386553781498.1333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.3205887393133913561.23333333333331750.6333333333334
BASE/firefighter/WJmoPw0.32107375842608133940.666666666666512273.4
DRESDEN/firefighter/WJmoPw0.32144736237575483895.73333333333312119.350753232902
DRESDEN/cube_2x2x2/fp-34Q0.322394287756747561292.83333333333334010.1
BASE/coloredtrails/EZvr7g0.32261253082208342001.86204.966666666666
BASE/qyshinsu/R08Lzw0.3260121951637332592.27231830450864283.03333333333336
BASE/pawnWhopping/Ypc_6Q0.3265377713266578578.61404619846011771.9666666666667
DRESDEN/grid_game/U7_Yeg0.3279590974903475724.83333333333342210.133333333333
DRESDEN/pawn_whopping/4ogBkg0.3280092465913239598.14672844238521823.5666666666666
DRESDEN/chinesecheckers2/06E6-Q0.3296592494371469795.56666666666672413.3
DRESDEN/frogs_and_toads/GjchhQ0.3310229697435122476.6841105296491440.0333333333333
DRESDEN/connect4/T0-rHQ0.33151229202880556267.0805.4
DRESDEN/oisters_farm/pTQMLg0.33281020273882735901.03333333333417730.92677078824
DRESDEN/chinesecheckers3/QsCb2A0.33715259324100416718.96666666666672132.4666666666667
STANFORD/dualhunter/1rPZjQ0.337972522947278943.83333333333342792.633333333333
BASE/conn4/va9Y7A0.3389146202596127294.923502549915870.2
DRESDEN/lightsout2/LFtfyQ0.33894644314685757899.73333333333332654.5
DRESDEN/lightsout/XgLpzQ0.3430611611300838884.02576.8
BASE/ghostMaze2p/W-NU-w0.34398967230259722105.03333333333336119.466666666666
BASE/beatMania/qUHwvQ0.34608631053471254258.912305.889803673212
BASE/kalaha6x2x4/XS81Mg0.347472842822127371578.13333333333344541.745825417458
DRESDEN/racetrackcorridor/O0DoTA0.34957404503645273720.83333333333342062.0333333333333
DRESDEN/kalaha_2009/gcC8uA0.35616191227872371579.44434.5
BASE/lightsOut/5P1ZBw0.3581228396703004897.93333333333332507.3333333333335
BASE/kalaha_2009/dRiN3g0.36063886867617761635.53333333333334535.1
DRESDEN/mimikry/GJEhwA0.3682458048989549372.33333333333331011.1
DRESDEN/hallway/0H4l-Q0.36864520932322775182.20903879482736494.26666666666665
BASE/connect4/50bOyw0.3696766634905811268.9397726893977727.5
BASE/checkLines/Vop7oQ0.370670605612998471045.62820.8333333333335
BASE/ticTacToeParallel/ymRGPw0.3751844201829448932.43333333333332485.266666666667
BASE/hallway/ckCJOw0.3771502243326937181.06378724255148480.08399720009334
DRESDEN/chinesecheckers4/-oVNYg0.37724752657211996410.533333333333361088.2333333333333
DRESDEN/doubletoetictac/V89gKQ0.384892293846846151111.96666666666672889.0333333333333
DRESDEN/tictactoeparallel/yk_DSg0.38497830574160663913.92373.9
BASE/doubletoetictac/fu35bg0.386213777048954771122.63333333333342906.766666666667
BASE/doubletictactoe/HH1htg0.3916273558031951145.66666666666672925.4
BASE/bunk_t/xbpfIA0.39193708552579011144.62920.366666666667
DRESDEN/stratego/Z2wovg0.3943323826781862467.40217318845411185.3
BASE/tictactoe_3d_2player/IUC1rQ0.3950219933483532122.72515165655624310.6792880474635
DRESDEN/bunk_t/7-tPfA0.396805826683562231158.63333333333342919.9
BASE/dotsAndBoxesSuicide/jzQbLw0.3995821295914156516.36666666666671292.2666666666667
DRESDEN/doubletictactoe/lJzgmQ0.40342013666577421155.16666666666672863.4333333333334
DRESDEN/sheep_and_wolf/enAIzQ0.4051699252066658514.63333333333331270.1666666666667
DRESDEN/quarto/OQzRYQ0.4066174220901263930.32287.9
BASE/quarto/EwBMVQ0.4080224758766769924.63333333333332266.133333333333
BASE/chineseCheckers1/gqtwHw0.40900112529030092277.75568.933333333333
BASE/rubiksCube/9tNO9Q0.4126706828075974390.6203126562448946.5666666666667
BASE/eightPuzzle/vLrgFg0.4151069327120333379.2333333333338140.633333333333
DRESDEN/brawl/2kXtfQ0.415420208889968457.0137.21046492251293
BASE/sheepAndWolf/g4THrg0.4155488927463047526.66666666666661267.4
STANFORD/8puzzle/jNiGtw0.41557279856878373329.58011.833333333333
DRESDEN/3pttc/uwYBZw0.4160673051691772866.57111429619012082.766666666667
DRESDEN/quartosuicide/WIU1oQ0.41653095668137274937.83333333333342251.5333333333333
DRESDEN/8puzzle/8fKC2w0.41717970896509613279.77861.6
BASE/quartoSuicide/-23jUg0.42164184711557245935.32218.233333333333
BASE/roshambo2/KNPokQ0.422242836381300458242.03333333333319519.652255012992
BASE/dotsAndBoxes/EHwA_w0.42283573364510807530.43333333333331254.4666666666667
BASE/chineseCheckers6/rREH3A0.42464401797752377911.00296656778112145.3333333333335
DRESDEN/tictactoe_3d_2player/LMuX9w0.42549429730840826127.23697803845769299.03333333333336
DRESDEN/roshambo2/jgSlkQ0.42693179970055138418.219717.903435407017
BASE/lightsOnSimultaneous/_VN6lw0.42708407110985197402.0941.2666666666667
DRESDEN/gt_prisoner/huCp4w0.42736118993567924819.26666666666611276.8
BASE/chineseCheckers2/eCMR3Q0.429209394641085041730.04030.6666666666665
BASE/brawl/6Ymo_Q0.431246861657971857.845456665889174134.13536841403672
BASE/knightsTourLarge/M8jgLA0.43283458366145818354.419301.6
STANFORD/eightpuzzle/W_aWbA0.437807254330610133265.47458.533333333334
STANFORD/triplesukoshi/Iu9mbA0.4415227903231909356.0881303956535806.5
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.44164004652166367209.77902209779023475.0
BASE/gt_prisoner/klthDw0.4421347891784245091.311515.266666666666
BASE/futoshiki4/BaCwSw0.4428291408036589451.83333333333331020.3333333333334
BASE/chineseCheckers3/-1rZdQ0.44568987989011651481.83324.733333333333
BASE/pancakes88/l2Xaig0.44827039761662448486.26666666666618931.133333333335
DRESDEN/pancakes88/aD3E7g0.4552391138194418786.619301.065601065602
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.45922359313873007457.8996.9
DRESDEN/endgame/IJhh3Q0.46173866170838707230.66924410078656499.56666666666666
DRESDEN/twisty-passages/j7NPyg0.461943243751174571065.13333333333342305.766666666667
DRESDEN/gt_chicken/CeuKtw0.4646288980900594559.6666666666679813.566666666668
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.4681141944393996598.64693727921091278.8480767948804
BASE/gt_staghunt/xPjLRA0.475660846571644265438.511433.566666666668
BASE/gt_chicken/gmepTQ0.47954724600002774623.6666666666679641.733333333334
BASE/lightsOnSimul4/9FeASw0.48040005196130653321.7559414686177669.7666666666667
BASE/escortLatch/mX9BjQ0.48247602042989457478.58404719842673991.9333333333333
DRESDEN/4pttc/9pB9AQ0.48302327712609966702.76666666666671454.9333333333334
DRESDEN/max_knights/hCipiA0.48750769629605617501.466666666666641028.6333333333334
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.48976079476782023043.53333333333336214.3261891270295
DRESDEN/3pffa/0YrmQw0.4900755013494585956.33333333333341951.4
BASE/tictactoe_3d_small_2player/oOryKA0.49123713140178915400.2199926669111814.7185281471852
BASE/max_knights/2fq3Ag0.49131157695693284502.33333333333331022.4333333333333
BASE/double_tictactoe_dengji/zgaSbA0.491716716716716741309.93333333333342664.0
DRESDEN/double_tictactoe_dengji/bGaUyQ0.491736357545226651321.03333333333332686.4666666666667
BASE/endgame/jYjfOA0.49344709510098217268.46666666666664544.0637290847277
BASE/pancakes/yUgbXw0.495363448550349410738.721678.426277566792
BASE/pawnToQueen/-O1_JA0.500558013660734318.8899253731343337.73773440362389
DRESDEN/tictactoe_3d_small_2player/HYttcg0.5006079861740191414.0390640623958827.0724309189694
DRESDEN/ggp-course2013_michal13/jWKddg0.50089931052859473.9636278852879467.913023240349769
DRESDEN/pancakes/hl9aiQ0.510251031153152111245.13333333333322038.433333333334
BASE/twisty-passages/DiZmmg0.51534738253034481153.43333333333342238.1666666666665
DRESDEN/towerworld/HCX34w0.517915710522007222.2533146778599542.96705858841555
BASE/pancakes6/QZTdnw0.519585198454099711157.63333333333321474.1169812577
BASE/blockerParallel/7-nDJA0.5262860245967098256.26666666666665486.93420438637423
DRESDEN/pancakes6/SZXMyQ0.52629262015090111437.23333333333421731.7
DRESDEN/pawntoqueen/f_x6Aw0.530085494258134819.4896055437100236.76690978119692
DRESDEN/knightfight/4_Ly4w0.53529319434570251932.53333333333333610.233333333333
STANFORD/knightstourbig/TQUI2g0.53739353049182048214.63333333333315286.066666666668
STANFORD/platformjumpers/HEQskA0.537804041929059238.858704709843444.137057529498
DRESDEN/blockerparallel/dVQgSg0.5384621381520065264.8068526480685491.7836072130929
DRESDEN/vacuum_cleaner_1/eUNjpw0.53863648568254693410.06330.8002533080025
BASE/blobwars/0XT15Q0.5398172912083159207.5459120754591384.47436837544166
DRESDEN/blobwars/ZaMluQ0.5517747836077409211.28591427238183382.9205693143562
BASE/crisscross/ICagEg0.5551127305852881812.51463.6666666666667
BASE/ticTacHeavenFC/mrletw0.5574703004095511251.47485251474853451.1
BASE/mummymaze1p/PT_EXA0.5632346570397112650.06666666666671154.1666666666667
DRESDEN/mummymaze1p/AekgaQ0.5664620487010154649.03333333333331145.7666666666667
BASE/knightfight/SJRkAg0.57460065151693551952.03333333333333397.2
DRESDEN/ggp-course2013_nicolai/uEin8g0.576264427860696472.06666666666666125.05832944470369
BASE/chineseCheckers4/avfBcQ0.5800719125985341838.91446.2
DRESDEN/crisscross/GsY16g0.5847165823656526820.76666666666671403.7
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.58476314319625774466.9666666666667638.933333333333
BASE/point_grab/V_osUg0.59689599381953039650.716168.143361534874
BASE/pacman3p/wW7UVQ0.5971817486440608641.03333333333331073.4308856371454
DRESDEN/catch_me/ghGWrA0.5975571121827594526.9333333333337575.733333333334
DRESDEN/Thief_Police/CX18rA0.60078489779881394383.3666666666677296.066666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA0.60185532106985664444.27384.166666666667
DRESDEN/point_grab/r5DPmQ0.60327909549764549658.26666666666616009.61601147402
BASE/racetrackcorridor/_RkdUg0.6038437035464005758.26666666666671255.7333333333333
BASE/futoshiki5/TJ4BZg0.6118452573028984219.53007832027996358.8
BASE/pacman2p/4LEdQg0.6290151665673223633.16666666666661006.6
BASE/futoshiki6/JmvXNA0.6349748195522186125.9748050389922198.39338688710376
BASE/crossers3/O0rORg0.6449661931641957693.16666666666661074.7333333333333
DRESDEN/crossers3/xiPTxg0.6457546887171192718.46666666666671112.6
BASE/solitaireChineseCheckers/-ET6gw0.64967392694258561016.13333333333331564.0666666666666
BASE/skirmishFinal3/-Olhfw0.652620145681670347.6238085716190172.97324314418047
BASE/slidingpieces/uFJWEw0.6639779023787209145.94234294284286219.8
STANFORD/pentago/ZxzLmg0.6654374127085071367.5088327444837552.2815906136462
BASE/crissrace/ERWGDA0.6828658074298711600.4666666666667879.3333333333334
DRESDEN/slidingpieces/s9_44g0.684958300132134151.26162461251292220.83333333333334
BASE/hitori/S8Gsyg0.687622561060600339.8581936253396157.96522086747951
BASE/ticTacHeaven/18n58A0.6910648933321432258.06666666666666373.43333333333334
DRESDEN/skirmishfinal/hzq8ww0.695212060566686443.48115816479525462.543733964213125
BASE/chomp/-LcqYQ0.69792368949866611342.91924.1358621379288
DRESDEN/hitori/S8Gsyg0.702282046894898137.99660328349262554.1044776119403
DRESDEN/chomp/-LcqYQ0.70523872679045091347.11910.1333333333334
DRESDEN/crissrace/KWb9bw0.7105067376589268607.2464251191627854.6666666666666
BASE/skirmishFinal2/gdB62Q0.738678552684721642.31358699273672457.28281515545336
BASE/strangeSkirmish/gc1zKA0.743124527697726525.76666666666666634.67341704693069
BASE/skirmishFinal1/ecWTnQ0.745512205091586841.2848622171870355.37784886045582
BASE/3pttc/0sol9g0.7475288332874871748.67504416519451001.5333333333333
BASE/skirmishHoles/AUCxCA0.757538055815348433.0977934804346443.69126174765047
BASE/englishDraughts/jFkQxg0.7589479209825503455.3181560614646599.9333333333333
BASE/4pffa/Q3ADlg0.7691014993536944723.1092296923435940.2
STANFORD/skirmish/w4V6Vw0.778463735233448729.0873954619664837.36512588250966
DRESDEN/vacuumcleaner_random/_6AGDA0.78164167959101622267.93333333333342901.5
DRESDEN/ticblock/Z2yNWQ0.78548540746514251511.66666666666671924.5
BASE/ticblock/T21C1g0.78833875648579721494.03333333333331895.1666666666667
DRESDEN/Runners/3bOCQw0.78902636649393911262.56666666666814274.005464116746
BASE/skirmish/Y_psYQ0.81326388844707228.94447590180861235.59050919754732
STANFORD/madness/UO_B3A0.820716394739205528.8407100276417935.1408966757711
BASE/4pttc/AL1k2Q0.870424583586175626.2124595846805719.4333333333333
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g0.873614312899979258.553004298996967.02386102698925
BASE/3pffa/pR0dzA0.8770123678573897846.2964.8666666666667
DRESDEN/battlesnakes2011/93VtTw0.8841682092394764483.05056498116727546.3333333333334
DRESDEN/javastrike/whONTQ0.8858844971650254197.9223.39255358154728
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw0.891196496360370262.427090624270970.04862662636351
BASE/checkersTorus/2vm1EQ0.8937040805624173376.24158389440703420.99123420991236
DRESDEN/battlesnakes1509/-qZrLw0.9192250372578242514.0559.1666666666666
DRESDEN/quad/JPe6fg0.94186114637242461.50375939849624051.5965828979016339
DRESDEN/ggp-course2013_jordi/9QI6Kw0.9595486002014098105.86666666666666110.32965567814406
DRESDEN/hanoi/RQ0jiA0.9802648163135344925.75024.866666666667
BASE/othelloHoles/c0qAzw0.98353497433625714.7516911400758954.831237590999338
STANFORD/freeforall/Lfp40Q0.999588874074074824.6333333333333824.9725009166361
BASE/2pttc/unkkYA1.0047969299648225837.8666666666667833.8666666666667
DRESDEN/grid_game2/kypTYQ1.0058198421656819203.95986800439985202.77972202779722
BASE/hanoi/iGLsJg1.01058512202293454926.3666666666674874.766666666666
BASE/othelloSuicide/B442jg1.01326059960972154.4571580627993614.39882697947214
BASE/checkersTorusNoKings/pwb6oQ1.0199385551151685435.98973435989734427.46666666666664
BASE/cephalopodMicro/9l2D3g1.021970524227347117.69469159252224317.314287616954683
BASE/quad/tw-Ufg1.02241511190927531.49655791679137981.463747845037895
BASE/ticTacToeSerial/Amrwqw1.0271750433275564987.8961.6666666666666
BASE/checkersBarrelNoKings/rnKNeg1.0311328858726725460.8666666666667446.9517682743909
BASE/breakthroughHoles/nZk0Sg1.0394856830202441379.96666666666664365.53333333333336
BASE/2pffa_zerosum/o0_uZA1.0545492314083922846.1802.3333333333334
DRESDEN/pentago_2008/hLjVpQ1.0644539931841754239.45868471050966224.9591680277324
BASE/tpeg/QNs7Lw1.0668734096692112447.23333333333335419.2
STANFORD/checkersonabarrelnokings/Zrevdw1.0753755364806867400.88663711209625372.7875737475417
DRESDEN/tpeg/h-Scbg1.076601089047595463.3691087260849430.4
DRESDEN/skirmish/RjGQYQ1.0807840263784576196.64700196647001181.94847181948472
DRESDEN/skirmish3/3LU8Nw1.1153066342483355198.65342310512634178.11552178115522
BASE/2pffa/6oHijA1.1230039016934152930.6333333333333828.7
DRESDEN/CephalopodMicro/H3XQfg1.149868673232409517.49941668611046515.218621998734557
DRESDEN/four_way_battle/xSOQXA1.153661639948641132.65782281181254114.98850114988501
BASE/breakthroughWalls/vOZaYA1.164949494949495384.4205193160228329.98900036665447
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw1.167491537480071851.9246792201299844.47542235055926
BASE/breakthrough/TGxk-g1.1757569363856946371.48761707943066315.95613479550684
BASE/breakthroughSuicide/wZDpIg1.1761999208838547371.8752083194454316.1666666666667
BASE/four_way_battle/xSOQXA1.1945300478226788135.97733711048159113.83333333333333
DRESDEN/hanoi7/51zz5Q1.19762148786275564323.5333333333343610.1
DRESDEN/skirmish2/iPpWhQ1.212864376782033211.1122221111222174.0608646378454
BASE/breakthroughSuicideSmall/XSbJog1.2181870379674153565.7666666666667464.43333333333334
BASE/peg/fJHVWw1.2570262452185483422.9192360254658336.44423705086325
BASE/skirmishNew/sibw2g1.2807460307889589151.95653623091795118.64689218463589
BASE/skirmishZeroSum/zh4hcw1.2868458602578838152.70279277477837118.66440067979606
BASE/blockerSerial/3eqDuw1.29106735754253731004.9333333333333778.3740541981934
DRESDEN/peg_bugfixed/u_B7MA1.3001007049345419430.3189893670211330.98896703443216
DRESDEN/peg/Vo31eg1.3020423748505041423.3666666666667325.155828139062
BASE/pegEuro/5awwhg1.3374170461528558349.6550114996167261.4405226144052
BASE/hanoi7_bugfix/3gdnFw1.3374948268726724524.5666666666673382.866666666667
DRESDEN/hanoi7_bugfix/3gdnFw1.33949033861878424508.2333333333343365.633333333333
STANFORD/chinook/osFbPA1.3548457881064686344.2885237158761254.11639224051729
BASE/chinook/XQh0IQ1.3682000080418173378.06666666666666276.32412252924905
BASE/speedChess/bPnisA1.4575886524822694171.25524965002333117.49216718885408
BASE/hidato19/rRHSmA1.5196118204009768318.15606146461784209.36666666666667
BASE/tictactoe_3d_small_6player/g_9lww1.5378546248111467305.3666666666667198.56666666666666
DRESDEN/knightmove/97Ipcw1.544023793295743830.6333333333333537.9666666666667
BASE/knightmove/jBaJEw1.5477806923380972826.3666666666667533.9042351137916
BASE/tictactoe_3d_6player/d7KSwg1.5707883544489867118.7762447510497975.61568967240977
DRESDEN/tictactoe_3d_6player/ulZPWg1.5832357460699398112.4625124958347271.03333333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.602655181416832311.6229459018033194.44166749975008
BASE/battle/8oAvhQ1.69974556727664748.0301313245783628.25724758413862
DRESDEN/battle/8oAvhQ1.798526778600083648.38548435469359526.90284344409669
DRESDEN/Zhadu/9zpQ5w1.80376858771492454.77261369315342430.365654478184062
DRESDEN/merrills/aYEzwA1.827370873066202220.89294031539024511.433333333333334
BASE/merrills/pku8Tg1.895076538815519721.19024649878580411.18173649705481
STANFORD/alquerquezero/uVgA_A1.977148660657611519.1160294656845262.55791473617546
BASE/simultaneousWin2/PfjRjw2.0258070845956655289.7143.00473238685595
DRESDEN/othello-cornercontrol/r5Gdlg2.0694021573326477.0677240601254273.4153458452152
DRESDEN/checkers/jIDMIg2.1203943687956768142.4762539576737267.19328067193281
DRESDEN/checkers-newgoals/IJOqXQ2.124522517059924143.476087318780267.53333333333333
BASE/smallest_4player/ADDROA2.1255268333801632017.2666666666667949.0666666666667
BASE/blokbox_simple/JBx4bg2.17886866654472260.75452716297786710.3462930898787974
DRESDEN/smallest_4player/ADDROA2.1814120987568822099.9962.6333333333333
BASE/checkersTiny/Lr48cg2.191001676781683407.3530882303923185.92093860409307
DRESDEN/quad_7x7/q-JOXg2.3860784138670898.9711149814334073.7597737481284312
BASE/cittaceot/fDxhXg2.5020960980328923517.249425019166206.72644245191827
DRESDEN/cylinder-checkers/clOO3Q2.7852608262904566131.1289623679210847.07959884050245
BASE/checkers-newgoals/0XkFiA2.9645096026129703143.1285623812539748.28068772491004
BASE/cylinder-checkers/hlldmw3.0990046397569526131.982402346353842.58864302852572
BASE/gt_tinfoil/Q8DyKg3.35922368259648746631.4666666666661974.1069048253798
BASE/checkersSmall/SYmq8w3.4681250789889417292.784.39718676044131
BASE/hidato37/pBrqxw3.617436998438521376.6590007665900121.19152339064374
BASE/quad_7x7/q-JOXg3.6625270824296978.3253493673395222.2731161244592184
BASE/checkers/rOC3Xg4.235260868060465220.925969134362252.16348556010792
DRESDEN/farmers/S_ASnw6.581440289855073552.566666666666783.95831950620561
DRESDEN/smallest/9kaGFw8.708300065746221324.4152.08479152084792
DRESDEN/checkers-mustjump/HUr33w9.042838532181964116.8177576323156912.918262027634427
BASE/checkers-mustjump/T-8UuQ11.162261153468343118.396053464884510.60681629260183
BASE/quad_5x5/JAEP5g11.60542857142857271.733333333333336.181015452538631
STANFORD/selectivesukoshi/3xmXYg12.05500208459517950.621521644949514.199213014623833
BASE/laikLee_hex/zbyscQ12.06149043676093213.0155286897172041.079097874177188
DRESDEN/Travelers-Dilemma/PvZwYw12.4175935109477879010.733333333334725.6424785840472
BASE/nim1/hin2Qw13.2635828399293655674.666666666667427.8381441237251
DRESDEN/checkers-cylinder-mustjump/vW_-pA13.51736238387742897.237495418041257.19352582675592
BASE/checkers-cylinder-mustjump/rjr6qQ13.90280087030274597.630078997366757.022331680367424
DRESDEN/quad_5x5/JAEP5g14.37569065370789570.197044334975374.883038041505824
DRESDEN/quad_5x5_8_2/JRTLJg15.048211917005723110.6556011065567.35340528940226
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw15.17544213835215896.517247125479096.360094568945423
DRESDEN/nim1/M9BALA15.4405383596337426163.966666666666399.2067195520299
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg15.46250184456175597.164373063210156.283871396748346
DRESDEN/checkers-mustjump-torus/cVc3gA16.5802242152110592.427171521898545.574542920662309
BASE/chess_200/XsTpYA18.18373793395458553.7630824611692552.9566573526544935
BASE/nim2/eF2Qqw18.7507323394994545743.4306.302703063027
DRESDEN/nim2/z5_exA19.252253939255545620.0291.9138724085061
BASE/checkers-mustjump-torus/uSApKQ19.4818100642136693.087588321557124.778179646281979
DRESDEN/laikLee_hex/ZeP3QQ21.3031314376186324.560330325737881.152897657213317
DRESDEN/nim4/F5YAYg22.9383776069921664228.166666666667184.3271890936969
BASE/golden_rectangle/_nYzfw23.494819444444445112.74.796802131912059
BASE/nim4/twk16w23.55380844207564271.733333333334181.36062131262292
DRESDEN/nim3/sG_axA23.9541026222800824291.8179.16763853253806
BASE/gt_ultimatum/GE-uOA24.0525873333333354328.6179.9640071985603
BASE/nim3/1OwUqw25.125813127965174295.533333333334170.9609679677344
DRESDEN/gt_ultimatum/pAiiQw26.2100081209395274660.333333333333177.80739753415529
BASE/battlebrushes/arCwyA29.541445527356948.556080928945930.28962973125409675
BASE/copolymer_4_pie/IN5_jA34.50311005412246777.107429752341522.52282268274805
BASE/guess/SPpk1A35.529609226841721076.833333333333330.30805451470637
DRESDEN/guess/PhxGhg41.914731081419971100.65995600293326.25950179341209
BASE/copolymer_4/2LDVhQ42.18154464780921844.333333333333420.016652789342213
BASE/racer4/0vs7Ww90.59202687210578665.07783073897547.341460983955088
DRESDEN/fizzbuzz/t1xHzQ389.091859817850611864.53333333333330.492884993501516
DRESDEN/golden_rectangle/1uloXw630.2024420594183112.459169388707420.17844927579335573
DRESDEN/racer/vk_ZBA708.13201846153851499.42.117401785132582
BASE/ad_game_2x2/D0aWqg875.278867247224617.9485474971747650.02050609030882172
BASE/racer/QQYQNw986.68076944444441527.56666666666661.5481873306670106
BASE/colonelBlotto/jip21A22080.8225000000021130.90.05121638924455826

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error messagePALAMEDES_JOCULAR:0.6.1 error message
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/biddingTicTacToe/8mESVwIllegalArgumentException: bound must be positive
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
DRESDEN/capture_the_king/EQ229QException of type NullPointerException
BASE/catcha_mouse/cHv4dwException of type NullPointerException
BASE/knightazons/apnJBQException of type NullPointerException
DRESDEN/connectfoursuicide/M9CNQgException of type NullPointerException
BASE/ttcc4_2player_alt/ZEJvYAException of type NullPointerException
DRESDEN/pacman3p/rBnk8QException of type NullPointerException
DRESDEN/bomberman2p/x4h6jQException of type NullPointerException
DRESDEN/knightwar/7hhAqgException of type NullPointerException
DRESDEN/babel/WdSW4AException of type NullPointerException
BASE/choicethroughalt/tt71LgException of type NullPointerException
BASE/ttcc4_2player/_aH_MwException of type NullPointerException
DRESDEN/SC_TestOnly_enabled/09o7gQException of type NullPointerException
DRESDEN/breakthrough/z4hK7QException of type NullPointerException
BASE/wargame02/BkVqqQException of type NullPointerException
BASE/biddingTicTacToe_10coins/a-9ccQIllegalArgumentException: bound must be positive
BASE/queens/HyJJnQTest process timed out after 240 seconds
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/mummyMaze2p_2007/YGA3VwException of type NullPointerException
BASE/snakeParallel/RCVNtwException of type NullPointerException
BASE/gt_attrition/kD_SCAIllegalArgumentException: bound must be positive
BASE/pentago/86NgKwException of type NullPointerException
DRESDEN/mummymaze2p-comp2007/oTQRQgException of type NullPointerException
BASE/asteroidsSerial/id2QkAException of type NullPointerException
BASE/ttcc4_2player_small/Cv72TAException of type NullPointerException
BASE/slaughter/cOch8AException of type NullPointerException
DRESDEN/tttcc4/sAvtFgException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/ruleDepthLinear/OUBJpQException of type NullPointerException
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
DRESDEN/catcha_mouse/cHv4dwException of type NullPointerException
BASE/tttcc4/8Bs2lgException of type NullPointerException
DRESDEN/backgammon/mqCW0QException of type NullPointerException
BASE/breakthroughSmall/HJ0tIAException of type NullPointerException
BASE/factoringMutuallyAssuredDestruction/NH0LGgException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/amazons/RKKZjwException of type NullPointerException
DRESDEN/Goldrush/VeWczQException of type NullPointerException
BASE/wargame01/_GZFZgException of type NullPointerException
BASE/shmup/ssTNlgException of type NullPointerException
BASE/amazonsTorus_10x10/Uxc08gException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/colonelBlottoVariant2/jruwGwIllegalArgumentException: bound must be positive
BASE/amazons_10x10/Bun8dAException of type NullPointerException
BASE/colonelBlottoVariant/X-n-KQIllegalArgumentException: bound must be positive
DRESDEN/amazons/dNB28AException of type NullPointerException
DRESDEN/connectfour/5tc-MgException of type NullPointerException
BASE/asteroids/BKCmPQException of type NullPointerException
BASE/majorities/ibJzSQIllegalArgumentException: bound must be positive
BASE/zhadu/DlA8iQClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/amazonsSuicide/dE1QEQException of type NullPointerException
DRESDEN/breakthroughsuicide/Y9QzqQException of type NullPointerException
BASE/ttcc4/Le0qjQException of type NullPointerException
BASE/queens08ug/kJ_ZFQTest process timed out after 240 seconds
DRESDEN/breakthroughsuicide_v2/LU1nAwException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAException of type NullPointerException
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/amazonsSuicide_10x10/XIbQkgException of type NullPointerException
DRESDEN/bidding-tictactoe/yW5vTAIllegalArgumentException: bound must be positive
BASE/pentagoSuicide/SBgNhwException of type NullPointerException
BASE/god/qF06gwTest process timed out after 240 seconds
BASE/queens06ug/7Lq3twTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
DRESDEN/knightazons/02I8BQException of type NullPointerException
BASE/wargame03/klXI8wException of type NullPointerException
STANFORD/pilgrimage/ObRZnQException of type NullPointerException
BASE/othello-comp2007/86ZoMwException of type NullPointerException
BASE/knightThrough/gcwFjAException of type NullPointerException
BASE/amazons_8x8/7SOsIwException of type NullPointerException
DRESDEN/knightthrough/J7Fc_QException of type NullPointerException
DRESDEN/queens/mW2wHQTest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/asteroidsParallel/WauZiAException of type NullPointerException
DRESDEN/ghostmaze2p/HY0UwAException of type NullPointerException
BASE/mineClearingSmall/frsbvwException of type NullPointerException
STANFORD/ttcc4/Cx9SGwException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionIllegalArgumentException: bound must be positive
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerExceptionIllegalArgumentException: bound must be positive
BASE/alexChess/LNo83gException of type StackOverflowErrorException of type StackOverflowError
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionIllegalArgumentException: bound must be positive

index