index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. PALAMEDES_JOCULAR:0.6.1

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondPALAMEDES_JOCULAR:0.6.1 states per second
DRESDEN/golden_rectangle/1uloXw0.00.00.17844927579335573
DRESDEN/coins/QwFP9w2.61398861420383E-584.832733573237383245336.7666666666
BASE/coins/QnGtnQ2.6634402109303485E-582.92504082925043113456.066666667
BASE/coins_atomic/AA3SSw2.833337316674508E-585.091490850914913003224.8666666667
BASE/blocksWorldParallel/RseaAQ8.300819455568356E-5266.63333333333333212132.6666666665
BASE/snake2p/I3wWPQ2.1458516131538587E-4157.1842815718428732503.0333333333
BASE/minichess/8NQEiA2.2899183046219505E-4661.97793406886432890836.466666667
STANFORD/tictactoe3/X7myng4.3304382076013323E-41736.83333333333334010756.533333333
STANFORD/sukoshi/4LYZZQ5.324546912235993E-4889.63701209959661670822.0
STANFORD/tictactoe5/WFRReg5.794568497266923E-42152.93333333333343715433.4
BASE/tictactoe-init1/7M19vA7.10565746666689E-42641.13716897.433333333
DRESDEN/tictactoe-init1/3ltIBQ7.490366284066017E-42775.43333333333343705337.2666666666
BASE/blocksWorldSerial/Wyg96Q7.559939116570772E-43660.96666666666674842587.5
DRESDEN/blocksworldparallel/2JfVaw8.244028719231863E-42733.3666666666673315571.5
STANFORD/tictactoe7/-bE9-A0.00120191692506600942598.7333333333332162157.2
BASE/duplicateStateSmall/bCPAXw0.00154957203682501586085.3333333333333927105.8
BASE/gt_dollar/TGjqRw0.00159109026600587735939.03732660.6333333333
STANFORD/threepuzzle/41ibjA0.00178708089552453969586.55364334.666666667
STANFORD/3puzzle/41ibjA0.0018040191621437669532.7666666666665284182.6
BASE/hodgepodge/9yjRkw0.00204538173484090845759.0333333333342815627.6333333333
BASE/stateSpaceSmall/Q7osKA0.00218574834215723878607.2333333333343937888.533333333
DRESDEN/statespacesmall/h-NqjA0.0022632569958399128742.9333333333323862987.433333333
BASE/maze/cCX3qQ0.002511758803376041716503.2333333333346570389.366666666
BASE/blocksWorld/SEdXLQ0.002512565624226564611382.24530110.533333333
BASE/blocks/xIV5hQ0.00252122635312009811261.0666666666684466503.633333334
BASE/gt_centipede/9fRMpw0.002532044760766391510129.9666666666674000706.0
DRESDEN/blocks/vg0DRw0.002580996262077355411587.6333333333334489597.1
BASE/pearls/6k_mEQ0.003166610789120760320962.4333333333346619832.6
BASE/buttons/hTcUjw0.00380232169465486715464.0333333333334066997.6333333333
DRESDEN/2player_normal_form_2010/NG_Kdg0.0038873228118531027985.0666666666672054130.0666666667
DRESDEN/buttons/ADUaHw0.003891656294094657315599.0333333333334008327.6
DRESDEN/troublemaker02/iZLVuA0.00477634759226729520520.84296337.233333333
BASE/troublemaker01/s3tlEQ0.004972249671060989522955.0666666666664616635.966666667
DRESDEN/troublemaker01/C-lPWw0.00499277422970510923702.2666666666664747313.933333334
BASE/troublemaker02/DI83KA0.00499967003456328821142.2333333333344228725.733333333
BASE/switches/tPUoCg0.005481994908193130512551.9333333333322289665.2666666666
BASE/haystack/UkweGA0.00726048558915934635160.633333333334842738.533333333
STANFORD/buttonsandlights/eyhJpA0.00800571088047820232379.7666666666664044583.566666667
BASE/survival/YVIjJA0.01076306535400433729248.2666666666662717466.2333333334
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0135716818793458880.099429275956012497.326230959430996
BASE/onestep/xi53wA0.0145288662659998940068.233333333332757836.2
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.0150535961974847220.2321437898634414215.421151651605342
STANFORD/knightstourmedium/x1wu8Q0.0179499780735130072917.1162512.73333333334
BASE/sudokuGrade5/BQfUQA0.023309536676052812.07667205063124289.0910908909109
BASE/sudokuGrade4/DTy07w0.02362160749537712.06274744651828287.32460087324601
DRESDEN/satlike_20v_91c/yeuENQ0.0239345382805036260.155343425477875226.4903456109037805
STANFORD/sudoku/oJ1qyQ0.0242832207167055331.928768581024907879.42803813079128
BASE/sudokuGrade6E/ihYFZA0.0243938376622661881.681324366270046668.92414344754033
BASE/sudokuGrade6H/ieE_9A0.0244570711187921851.663025401897805567.99773340888638
STANFORD/duidoku/3SoMaA0.025380113542006241.81830203649828171.6427857380873
BASE/sudokuGrade1/tDRNRw0.0269565871678519072.56250205328690295.06032931137923
BASE/sudokuGrade2/u80Tfw0.0274579055087917772.35442366361586485.74665911287366
BASE/sudokuGrade3/eI8dvg0.027681040643919072.062610199940117674.51346307651293
DRESDEN/statespacelarge/8-y5HQ0.03377163015742432484.414343.4
BASE/stateSpaceLarge/0Ge_CQ0.034158211558089756492.2835905469817714411.866666666667
STANFORD/knightstour/cEwgNA0.039029593264167612701.769221.83333333333
BASE/knightsTour/mvtVIg0.03993717822657932776.833333333333569530.03333333334
BASE/kitten_escapes_from_fire/uW-YiA0.04080722334121089981.933333333333324062.733333333334
DRESDEN/knightstour/cGISAA0.0420677962049426652815.26666666666766922.13333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA0.042910958607987874992.533333333333323130.066666666666
STANFORD/multiplesukoshi/vLSQPg0.0443563742628233721.95715190084297495.01683277224095
BASE/duplicateStateLarge/dcjyuw0.04702530633855837331.888937035432157057.666666666667
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.0492219384561456140.500763664588497410.173586825205062
BASE/hanoi_6_disks/MeubgQ0.052583854605516471256.466666666666723894.533333333333
DRESDEN/racer/vk_ZBA0.053701395540044690.113707430780601512.117401785132582
DRESDEN/grid_game2/kypTYQ0.0538652215415959210.922774651170535202.77972202779722
DRESDEN/hanoi_6_disks/MeubgQ0.05574733946347151248.322392.1
BASE/nim1/hin2Qw0.05853060412113076525.041625041625043427.8381441237251
BASE/duplicateStateMedium/U163eQ0.063616479485090041110.466666666666717455.64475831973
STANFORD/triplesukoshi/Iu9mbA0.0636473927827121751.33162227925736806.5
BASE/ticTacToeNoVars/XT03NA0.064857474296183121116.333333333333317212.1
DRESDEN/nim1/M9BALA0.0651453463020999526.00645999134228399.2067195520299
BASE/aipsrovers01/4C4jsw0.065708318029515856.438118729375713033.937626354687
BASE/racer/QQYQNw0.068901452521912280.106672355858979151.5481873306670106
DRESDEN/aipsrovers01/qS47Mw0.06928865456325345877.412662.967776333766
BASE/knightsTourLarge/M8jgLA0.069712700846907341345.566666666666619301.6
BASE/hitori/S8Gsyg0.071543544464248544.14703735651250857.96522086747951
STANFORD/knightstourbig/TQUI2g0.075829404555782831159.133333333333415286.066666666668
DRESDEN/nim2/z5_exA0.084449140213671924.651875541341862291.9138724085061
DRESDEN/Travelers-Dilemma/PvZwYw0.084549007160922961.35235111807245725.6424785840472
DRESDEN/hitori/S8Gsyg0.085176826744773634.608447715668722554.1044776119403
BASE/gt_ultimatum/GE-uOA0.085194968970895715.332028009159393179.9640071985603
BASE/nim2/eF2Qqw0.08524761103143126.111573688592838306.302703063027
DRESDEN/mummymaze1p/AekgaQ0.086335330620663898.920143980802561145.7666666666667
BASE/mummymaze1p/PT_EXA0.08714793021860977100.583236127312121154.1666666666667
DRESDEN/gt_ultimatum/pAiiQw0.087676931021497915.58960692871419177.80739753415529
BASE/stateSpaceMedium/3bUoIw0.089550406388136311610.317982.05128205128
BASE/colonelBlotto/jip21A0.089976958525345620.0046082949308755760.05121638924455826
DRESDEN/statespacemedium/dVJZ_w0.090608327400160891633.218024.833333333332
DRESDEN/snake_2008/E56l3A0.09195383491746252514.31618946035135593.2
STANFORD/duikoshi/tpw1sw0.09362110343140191165.27245459090151765.3333333333333
BASE/pawnToQueen/-O1_JA0.093783559047677633.539179042767836737.73773440362389
BASE/snake_2008/i6K26g0.0961383681290279517.18276057464755379.566666666667
DRESDEN/pawntoqueen/f_x6Aw0.096454512245733163.54633434972822536.76690978119692
BASE/snake_2008_tweaked/bX0NJQ0.09656217789365185530.86666666666675497.666666666667
BASE/tron_10x10/7ZTgDg0.098144222963831522321.333333333333523652.266666666666
BASE/cittaceot/fDxhXg0.1010559994570986320.890947256188984206.72644245191827
BASE/racer4/0vs7Ww0.102298494782528390.75102040816326537.341460983955088
DRESDEN/farmers/S_ASnw0.106120691094406718.90971488912354783.95831950620561
BASE/quarto/EwBMVQ0.10824244981431505245.29182360587982266.133333333333
BASE/brain_teaser_extended/ZDp94A0.10916123229143243809.06666666666677411.666666666667
DRESDEN/quartosuicide/WIU1oQ0.10984771959523386247.325802259322222251.5333333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.11010800147122747109.76666666666667996.9
DRESDEN/quarto/OQzRYQ0.11228263339835726256.891436952101572287.9
BASE/hidato19/rRHSmA0.1130703888244175123.673170406872213209.36666666666667
DRESDEN/snake_2009/zIYLVw0.11318846874236543555.96666666666674911.866666666667
BASE/snake_2009/7l-qAQ0.11493485253230117562.24891.466666666666
BASE/quartoSuicide/-23jUg0.11507656242956107255.266666666666682218.233333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.11600297022863852447.83333333333333860.5333333333333
BASE/simultaneousWin2/PfjRjw0.1204887509814937717.230461589735043143.00473238685595
BASE/cubicup_3player/e2yA_g0.120524566436248541.25016660002665342.2552581580614
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.12082834480694404430.63563.733333333333
DRESDEN/sat_test_20v_91c/dK7nVw0.12149992162435012424.71917602746583495.633333333333
DRESDEN/brain_teaser_extended/ZDp94A0.1221429873906164830.57231425619156800.0
DRESDEN/quad_7x7/q-JOXg0.122299874836124840.45981985880825513.7597737481284312
DRESDEN/cubicup_3player/awDtsQ0.1224974352220619440.019993335554815326.70066326700663
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.12315708110274541430.23493.1
BASE/gt_coordination/IVMOzA0.1240185167263462562.966666666666720666.0
DRESDEN/uf20-01.cnf.SAT/42Rs8A0.12503271335878208461.83333333333333693.7
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.12636167702045076431.93417.9666666666667
BASE/checkLines/Vop7oQ0.13123343943680457370.18766041131962820.8333333333335
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.131272548885673661409.333333333333310735.933333333332
BASE/nineBoardTicTacToe/wRmqqA0.13212880902769789171.260957968067741296.1666666666667
DRESDEN/tictactoelarge/IwXcbg0.1339675977993252734.56666666666675483.166666666667
DRESDEN/tictactoelargesuicide/6J4DeA0.1345022988636626738.85944738859455493.284900189956
BASE/gt_chicken/gmepTQ0.13616500490921411312.86666666666669641.733333333334
DRESDEN/gt_chicken/CeuKtw0.13675286253383921342.03333333333339813.566666666668
BASE/ticTacToeLargeSuicide/727_8g0.13693497998633214748.06666666666675462.933333333333
BASE/ticTacToeLarge/TZC0dg0.1380021178077557734.16666666666665319.966666666666
BASE/connectFourLarger/qKi60A0.13845161653791097173.927535748808371256.2333333333333
DRESDEN/nim4/F5YAYg0.1396387132808789325.739211507725095184.3271890936969
BASE/hidato37/pBrqxw0.139760148180705122.96173044925124821.19152339064374
DRESDEN/connect4/T0-rHQ0.14154457412465857114.0805.4
BASE/nineBoardTicTacToePie/B8LzeQ0.14340682488414547170.194326855771461186.793773540882
BASE/nim4/twk16w0.1436421856988116526.05103604503964181.36062131262292
BASE/nim3/1OwUqw0.1437391718801433524.573787959509858170.9609679677344
DRESDEN/nim3/sG_axA0.1449560402656947225.971431425432026179.16763853253806
DRESDEN/gt_prisoner/huCp4w0.145082529322739321636.066666666666611276.8
STANFORD/nineboardtictactoe/y28P-A0.1466074453003288176.070654890851531200.9666666666667
BASE/gt_prisoner/klthDw0.146978793369961031692.511515.266666666666
BASE/wallmaze/uxNQ9g0.14753606573769945253.79154028199061720.2
BASE/gt_staghunt/xPjLRA0.147629640211424251687.933333333333411433.566666666668
BASE/battle/8oAvhQ0.149044011600441764.21157353672691128.25724758413862
BASE/blokbox_simple/JBx4bg0.15106731567195590.052313567523737280.3462930898787974
BASE/snake_2009_big/-oRfVw0.15186369184840162438.15206159794672885.1666666666665
BASE/tictactoe2/bhrDoQ0.15296937161482052127.613908.666666666666
BASE/connect4/50bOyw0.1530151077221777111.31849086788428727.5
BASE/breakthroughSmallHoles/bxclRw0.1541140149632283373.45421819272692423.233333333333
DRESDEN/battle/8oAvhQ0.156138473045558174.20056889594496226.90284344409669
DRESDEN/snake_2009_big/DgC1NQ0.15805165415424405440.02783.9
DRESDEN/cubicup/SBn_lw0.15887834025498312101.25316624450073637.3
BASE/cubicup/4wNWJA0.16256766306737006104.13542603885502640.5666666666667
STANFORD/skirmish/w4V6Vw0.163807394604922866.12068391989887637.36512588250966
BASE/skirmish/Y_psYQ0.16683022229775725.93757256111719235.59050919754732
DRESDEN/connect5/1kYzSg0.1693833626109187202.046121034390841192.8333333333333
BASE/connectFourLarge/aU644A0.1694550496999206346.010265982267872041.9
DRESDEN/Zhadu/9zpQ5w0.17047329093109415.176533050172551530.365654478184062
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.1707163882483079607.03333333333333555.8
DRESDEN/four_way_battle/xSOQXA0.171535304394104219.724587546567324114.98850114988501
BASE/connect5/d-BVQg0.17194919912892034202.81981201253251179.5333333333333
BASE/chomp/-LcqYQ0.17256231218746032332.033333333333361924.1358621379288
DRESDEN/quad_5x5_8_2/JRTLJg0.174704039661753161.28466960932867787.35340528940226
DRESDEN/minichess-evilconjuncts/th24Tw0.1756139813015943673.65930073659301419.43870408639424
BASE/connectFourSimultaneous/7ITr3g0.17695575929061974217.956408718256341231.7
DRESDEN/vacuum_cleaner_1/eUNjpw0.176968880137725521120.35463120354626330.8002533080025
DRESDEN/chomp/-LcqYQ0.177340260405666338.74354274287621910.1333333333334
BASE/snakeAssemblit/UO4sdg0.1777104813029669241.875812418758131361.0666666666666
BASE/skirmishHoles/AUCxCA0.17936369773989947.83662626598040843.69126174765047
DRESDEN/skirmishfinal/hzq8ww0.1800325948987524511.25991072023452662.543733964213125
BASE/minichess-evilconjuncts/4OpQzw0.1805240450357368875.80806397867377419.93333333333334
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.180550548177390641122.06214.3261891270295
DRESDEN/towerworld/HCX34w0.180787164989361817.767892710131456542.96705858841555
STANFORD/platformjumpers/HEQskA0.1826012908067542281.1444.137057529498
BASE/circlesolitaire/azuQFQ0.18487705427755525054.03333333333427337.266666666666
BASE/four_way_battle/xSOQXA0.187981611377201521.398573428438105113.83333333333333
BASE/3pConnectFour/PqXOFQ0.1884186055447751326.91734.9666666666667
DRESDEN/circlesolitaire/ruUilQ0.188728337825028355074.226886.264450144918
BASE/skirmishFinal1/ecWTnQ0.188828333026359510.45690688690555555.37784886045582
BASE/futoshiki6/JmvXNA0.190020161290322637.69874337522083198.39338688710376
STANFORD/connectfour/VMpZkQ0.19010738382590517533.46666666666672806.133333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.19097071026578483774.84057.1666666666665
BASE/connectFour_9x6/B9TtMw0.19102990033222592479.16666666666672508.3333333333335
BASE/othelloHoles/c0qAzw0.191495014985198360.92515791488547184.831237590999338
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.19409124588013862759.66666666666663913.9666666666667
BASE/guess/SPpk1A0.195066247902571965.91207847541037830.30805451470637
BASE/skirmishFinal3/-Olhfw0.1951282011550879714.23913766717679272.97324314418047
BASE/pacman3p/wW7UVQ0.19603154887591603210.42631912269591073.4308856371454
DRESDEN/chinesecheckers4/-oVNYg0.19664900297117652214.01088.2333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.19706652010204834800.76666666666674063.4333333333334
BASE/futoshiki4/BaCwSw0.1981312590680169202.15992800239991020.3333333333334
BASE/ticTacToeSerial/Amrwqw0.1981992025014895190.60156640559907961.6666666666666
BASE/golden_rectangle/_nYzfw0.198825745533740380.95372776005525044.796802131912059
BASE/othelloSuicide/B442jg0.19967469095640860.8783344176968124.39882697947214
BASE/pacman2p/4LEdQg0.19994701635869927201.266666666666681006.6
BASE/pawnWhopping/Ypc_6Q0.20064335295998798355.533333333333361771.9666666666667
BASE/conn4/va9Y7A0.20085997178062945174.78834744350377870.2
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.20167939221995848353.066666666666661750.6333333333334
DRESDEN/double_tictactoe_dengji/bGaUyQ0.20320371243516885545.92686.4666666666667
DRESDEN/sum15/CsgWKg0.203654319965216683278.76666666666716099.666666666666
DRESDEN/pawn_whopping/4ogBkg0.20389763977298514371.820939302023251823.5666666666666
BASE/sum15/QZ07Kg0.204404504701965333264.033333333333315968.5
STANFORD/madness/UO_B3A0.205242836847392147.212417323096353535.1408966757711
BASE/numbertictactoe/rvJ-iQ0.206535590751866983.23333333333334760.6
BASE/rubiksCube/9tNO9Q0.20653590167975489195.5946.5666666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.20655106957106498808.83333333333343915.9
DRESDEN/minichess/c7GMFw0.20674245757021462595.26666666666672879.266666666667
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.2078457927366245798.72675154989668475.0
DRESDEN/smallest_4player/ADDROA0.2090653240590198201.25324978334777962.6333333333333
BASE/futoshiki5/TJ4BZg0.2094178251326427375.13911565759221358.8
BASE/strangeSkirmish/gc1zKA0.209448906384635427.26230928109800834.67341704693069
BASE/hex/T1MK8g0.20978106960026138128.3957201426619612.0462651244959
BASE/skirmishFinal2/gdB62Q0.2106226441477378212.06505799226769757.28281515545336
BASE/factoringImpossibleTurtleBrain/kcBhdw0.211154718465363160.40988775381510911.9411725998552345
BASE/lightsOnParallel/SC6enA0.21122097271710242177.533333333333310309.266666666666
DRESDEN/tictactoe_3player/ESLQQQ0.21182628389701857514.34952168261052428.1666666666665
BASE/tictactoe_3player/GtM71g0.21189140748843066536.37484586929712531.366666666667
BASE/smallest_4player/ADDROA0.21199068582138392201.19329355688143949.0666666666667
STANFORD/hex/MTqWcw0.212895052000994127.49575014166194598.8666666666667
BASE/connectFour/WAIKTw0.2130155510250319567.19650771435242662.7
BASE/connectFourSuicide/c8p9Kw0.21454091032030545568.54771507616412650.0666666666666
DRESDEN/ggp-course2013_nicolai/uEin8g0.2160794086077317527.022529867882458125.05832944470369
BASE/chinook/XQh0IQ0.216241433492619359.75272436431499276.32412252924905
BASE/double_tictactoe_dengji/zgaSbA0.21803053053053054580.83333333333342664.0
DRESDEN/eotcatcit/mQUxzA0.218062664018210533008.013794.2
BASE/eotcatcit/AfZSzA0.219673109602251282968.933333333333413515.233333333334
STANFORD/trifecta/ss1kyQ0.220384779272855352982.533333333333313533.3
DRESDEN/chinesecheckers6/yTbPDA0.22095113903542568372.766666666666651687.1
BASE/doubletoetictac/fu35bg0.2216781532745433644.36666666666672906.766666666667
BASE/blockerSerial/3eqDuw0.22245005572527135173.1493517314935778.3740541981934
BASE/doubletictactoe/HH1htg0.22368451038034684654.36666666666672925.4
DRESDEN/tictactoe/BTTzPw0.22424698973591693237.13333333333314435.570961935871
BASE/bunk_t/xbpfIA0.22445811599000123655.52920.366666666667
STANFORD/tictactoe/ss1kyQ0.224575036917520072955.413159.966666666667
BASE/ticTacToe/JRFsaQ0.225722030534759283189.433333333333414129.916011198507
BASE/hexPie/48CH6Q0.2258290041041709126.91590030654405562.0
DRESDEN/crisscross/GsY16g0.2277400356824541319.678688087460841403.7
STANFORD/chinook/osFbPA0.2280422816142215857.949281882102035254.11639224051729
DRESDEN/doubletictactoe/lJzgmQ0.2283971456177316654.02863.4333333333334
BASE/crisscross/ICagEg0.2314962423138237338.83333333333331463.6666666666667
DRESDEN/doubletoetictac/V89gKQ0.23208454961867292670.52889.0333333333333
DRESDEN/bunk_t/7-tPfA0.23286185599963466679.93333333333332919.9
DRESDEN/logistics/fPru1Q0.235855613438841041232.96666666666675227.633333333333
BASE/tictactoe_3d_2player/IUC1rQ0.2365437369556237273.48923978945966310.6792880474635
BASE/cephalopodMicro/9l2D3g0.236829212454212464.100529100529100517.314287616954683
DRESDEN/mimikry/GJEhwA0.2373164572795335239.95066995533631011.1
BASE/chineseCheckers4/avfBcQ0.23811828700502466344.36666666666671446.2
BASE/brawl/6Ymo_Q0.2440609331518817632.73720318380125134.13536841403672
DRESDEN/tictactoe_3d_2player/LMuX9w0.244704470511206773.17479349853451299.03333333333336
DRESDEN/brawl/2kXtfQ0.2448221558601754233.59216182890659137.21046492251293
DRESDEN/guess/PhxGhg0.246216295047964776.465517241379310526.25950179341209
DRESDEN/endgame/IJhh3Q0.24653878944677068123.16256124795841499.56666666666666
BASE/solitaireChineseCheckers/-ET6gw0.2475171561314522387.13333333333331564.0666666666666
BASE/ticblock/T21C1g0.24871213875727785471.350954968167741895.1666666666667
BASE/chineseCheckers6/rREH3A0.2500621504039776536.46666666666672145.3333333333335
DRESDEN/ticblock/Z2yNWQ0.25017753529055164481.466666666666641924.5
DRESDEN/chinesecheckers3/QsCb2A0.2517501352303794536.84877170760982132.4666666666667
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.25564873439003605326.935892309742771278.8480767948804
BASE/knightmove/jBaJEw0.25696635800213385137.19542681910602533.9042351137916
BASE/dualConnect4/WbCQkg0.2570224044626304385.05383153894871498.1333333333334
BASE/escortLatch/mX9BjQ0.2570901931358126255.01633224451703991.9333333333333
DRESDEN/tpeg/h-Scbg0.25879449035048113111.38514864684709430.4
DRESDEN/kalaha_2009/gcC8uA0.259397902807531831150.34434.5
DRESDEN/hanoi7/51zz5Q0.25963269715520343937.33610.1
BASE/kalaha_2009/dRiN3g0.26064842377602841182.06666666666664535.1
BASE/factoringMediumTurtleBrain/8RBqmQ0.26126646719585234704.8098396720112697.6666666666665
BASE/tictactoe_orthogonal/WRzlVw0.2625317697418293925.214951.333333333334
BASE/dotsAndBoxesSuicide/jzQbLw0.26287094773807806339.699363396993651292.2666666666667
BASE/tpeg/QNs7Lw0.263093919615672110.2889711028897419.2
BASE/factoringGeorgeForman/HGRorQ0.263167940515016463171.212050.1
STANFORD/tictictoe/rpt_Dw0.26318920718978972086.8666666666677929.1498650314925
BASE/bomberman2p/4CClwA0.2632849047901431065.56666666666664047.2
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw0.263371645555075711.71356517122378644.47542235055926
DRESDEN/tictictoe/LAUtwg0.263607212410180652093.53333333333337941.866666666667
DRESDEN/chinesecheckers1/Y-ftaA0.2638894699410116841.03333333333333187.0666666666666
BASE/chineseCheckers3/-1rZdQ0.2640211746305468877.83324.733333333333
BASE/qyshinsu/R08Lzw0.2642181747903465474.78255073816109283.03333333333336
BASE/ticTicToe/c1OobQ0.26469452998481252103.03333333333337945.133333333333
DRESDEN/slidingpieces/s9_44g0.2656519295969587758.6648011193284220.83333333333334
BASE/chineseCheckers2/eCMR3Q0.2661842540522661072.94030.6666666666665
BASE/slidingpieces/uFJWEw0.266945288221631158.674574351114515219.8
DRESDEN/chinesecheckers2/06E6-Q0.268130125023402647.0784307189762413.3
DRESDEN/knightmove/97Ipcw0.2692586556450619144.8521814485218537.9666666666667
BASE/hanoi7_bugfix/3gdnFw0.27058904676507106915.36666666666673382.866666666667
BASE/eotcitcit/V_9_bg0.27153964740129632154.7666666666677935.366666666667
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw0.272147615283961619.06356669028144470.04862662636351
BASE/endgame/jYjfOA0.2723854803075516148.1950601646612544.0637290847277
BASE/dotsAndBoxes/EHwA_w0.27283839081681455342.266666666666651254.4666666666667
STANFORD/multipletictactoe/_bkafQ0.27319469936492585438.10412639157391603.6333333333334
BASE/ticTacHeaven/18n58A0.27375683031994386102.22992566914436373.43333333333334
DRESDEN/hanoi7_bugfix/3gdnFw0.2739949885608454922.16666666666663365.633333333333
DRESDEN/hanoi/RQ0jiA0.2756491051172171385.15024.866666666667
BASE/hanoi/iGLsJg0.27782526343141211354.33333333333334874.766666666666
BASE/englishDraughts/jFkQxg0.27802158234790225166.7944146365848599.9333333333333
BASE/chineseCheckers1/gqtwHw0.278030502549859951548.33333333333335568.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.278318943078373353956.26666666666714214.866666666667
BASE/kalaha6x2x4/XS81Mg0.279510724612155651269.46666666666674541.745825417458
DRESDEN/crissrace/KWb9bw0.27974886536543425239.0920302656578854.6666666666666
STANFORD/untwistycorridor/EDPPAQ0.280484325373045517661.06666666666662966.32313829787
BASE/kalaha5x2x3/WviNsw0.28109891216760681488.45294.933333333333
BASE/lightsOn/MsXu3A0.28124884457535836085.421637.066666666666
BASE/untwistycomplex2/EDPPAQ0.2833416717908831517801.862828.03333333333
DRESDEN/ggp-course2013_michal13/jWKddg0.283405730869618462.2425961348196037.913023240349769
BASE/toetictac/mTThmg0.28355254839535875830.76666666666620563.266666666666
DRESDEN/toetictac/mJtxCA0.28412483341798435948.33333333333320935.633333333335
DRESDEN/grid_game/U7_Yeg0.28441722972972977628.62210.133333333333
DRESDEN/3pttc/uwYBZw0.2846054126722468592.76666666666672082.766666666667
DRESDEN/lightsout2/LFtfyQ0.285264017077918757.23333333333332654.5
DRESDEN/blocker/S815zQ0.28829869554488122789.66666666666659676.30693366208
BASE/crissrace/ERWGDA0.28845191339895415253.64538251548038879.3333333333334
DRESDEN/crossers3/xiPTxg0.2893329790956593321.91187254183051112.6
DRESDEN/chickentictactoe/Ipbo-g0.291677890460624532670.93333333333349157.133333333333
DRESDEN/peg_bugfixed/u_B7MA0.2922067604375437396.71721379770038330.98896703443216
BASE/crossers3/O0rORg0.2924446374294399314.31074.7333333333333
DRESDEN/peg/Vo31eg0.2939103604988894795.56666666666666325.155828139062
DRESDEN/battlesnakes1509/-qZrLw0.29398934258828846164.38904073061795559.1666666666666
DRESDEN/lightsout/XgLpzQ0.2949006519714374759.92576.8
BASE/blocker/dIWtxg0.295867271998931762954.33333333333359985.333333333334
BASE/chickentictactoe/DSlZCA0.29596112995398552657.98980.57120005332
BASE/peg/fJHVWw0.296443614303596199.73674564297377336.44423705086325
BASE/beatMania/qUHwvQ0.29690389926749353653.666666666666512305.889803673212
DRESDEN/battlesnakes2011/93VtTw0.2990959712937817163.40609898350274546.3333333333334
DRESDEN/stratego/Z2wovg0.2998297087051456355.388153728209031185.3
STANFORD/pentago/ZxzLmg0.3001391412919217165.76132235811644552.2815906136462
BASE/pegEuro/5awwhg0.3008067493061617578.6430737445433261.4405226144052
DRESDEN/CephalopodMicro/H3XQfg0.302926836454905654.61012901727969215.218621998734557
BASE/lightsOut/5P1ZBw0.3053842063281042765.72507.3333333333335
DRESDEN/merrills/aYEzwA0.30786800246526753.51995749485289211.433333333333334
DRESDEN/othello-cornercontrol/r5Gdlg0.30807469595749641.05218163285437143.4153458452152
BASE/chess_200/XsTpYA0.30852431490971970.91220068415051312.9566573526544935
BASE/ticTacHeavenFC/mrletw0.3138803958271761141.59144655763913451.1
DRESDEN/blobwars/ZaMluQ0.31415389972144847120.29599013366222382.9205693143562
BASE/ticTacToeParallel/ymRGPw0.3142922288688001781.12485.266666666667
DRESDEN/tictactoeparallel/yk_DSg0.31495997631217915747.68348776748212373.9
DRESDEN/javastrike/whONTQ0.314970104151616270.36197586827545223.39255358154728
BASE/merrills/pku8Tg0.315856073251851553.531819382096646411.18173649705481
BASE/3pttc/0sol9g0.3179019373831119318.389387020432651001.5333333333333
BASE/quad_7x7/q-JOXg0.3179753109874310.72279480658546382.2731161244592184
BASE/blobwars/0XT15Q0.3236784649495405124.44607336820711384.47436837544166
DRESDEN/tictactoe_3d_small_2player/HYttcg0.32548230394063493269.1974403412878827.0724309189694
DRESDEN/lightson2x2/gBHuig0.325565150563694844180.33333333333312840.23589777763
DRESDEN/3pffa/0YrmQw0.3265518772846845637.23333333333331951.4
DRESDEN/latenttictactoe/kITHKg0.327177580023907572052.7666666666676274.166666666667
BASE/tictactoe_3d_small_2player/oOryKA0.33101250540096544269.68202119858677814.7185281471852
BASE/factoringEasyTurtleBrain/lUj94Q0.33221071360488022962.53333333333338917.633333333333
DRESDEN/tictactoe_3d_6player/ulZPWg0.3326522069565912623.6293951008165371.03333333333333
STANFORD/freeforall/Lfp40Q0.33303940410706623274.74835010999266824.9725009166361
BASE/tictactoe_3d_6player/d7KSwg0.333693871729176525.23249225025832575.61568967240977
BASE/gt_tinfoil/Q8DyKg0.3369174999264122665.11116296123461974.1069048253798
BASE/4pffa/Q3ADlg0.33845152009365437318.2121191920539940.2
BASE/3pffa/pR0dzA0.3404043083831722328.44477034864343964.8666666666667
DRESDEN/vacuumcleaner_random/_6AGDA0.3408239668966638988.900739950672901.5
BASE/ghostMaze2p/W-NU-w0.34095563883562842086.46666666666676119.466666666666
DRESDEN/knightfight/4_Ly4w0.341277737429126541232.09226359121363610.233333333333
BASE/withConviction/3Xm54A0.34234151282169334495.733333333333351448.0666666666666
BASE/2pttc/unkkYA0.3431403901503038286.1333333333333833.8666666666667
DRESDEN/pentago_2008/hLjVpQ0.344711391033611577.54598773660358224.9591680277324
DRESDEN/quad_5x5/JAEP5g0.345974922290711751.68940870695256654.883038041505824
BASE/2pffa/6oHijA0.34927883453037484289.4473701753216828.7
STANFORD/breakthrough/d5j0cQ0.34983335438663726583.11389620345981666.8333333333333
DRESDEN/max_knights/hCipiA0.3501085582812145360.13333333333331028.6333333333334
DRESDEN/skirmish3/3LU8Nw0.355081826516909563.24558480506498178.11552178115522
DRESDEN/fizzbuzz/t1xHzQ0.356640164779477210.87498752868402730.492884993501516
STANFORD/jointbuttonsandlights/qAKuIQ0.35696217318829845296.53333333333414837.8
DRESDEN/cube_2x2x2/fp-34Q0.35812905746323871436.13333333333344010.1
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g0.35899233575058924.06105242110174267.02386102698925
BASE/max_knights/2fq3Ag0.35903344675239657367.08776374120861022.4333333333333
BASE/2pffa_zerosum/o0_uZA0.3601338639465304288.9474035064329802.3333333333334
DRESDEN/frogs_and_toads/GjchhQ0.3612758906200083520.24932502249931440.0333333333333
DRESDEN/chickentoetictac/cxYaRQ0.36135571942511354643.86666666666712851.233333333334
BASE/chickentoetictac/l57rfQ0.36250123332415914653.76666666666612837.933333333332
STANFORD/bestbuttonsandlightsbig/g0JC6g0.366928071222064176393.617424.668488038915
DRESDEN/skirmish/RjGQYQ0.3690783184268073367.15323601946277181.94847181948472
STANFORD/alquerquezero/uVgA_A0.370330993186915597.23333333333333262.55791473617546
BASE/knightfight/SJRkAg0.37231641744181481264.83333333333333397.2
DRESDEN/checkers-mustjump/HUr33w0.37348750883747994.82480950321099412.918262027634427
BASE/quad_5x5/JAEP5g0.379339374478024572.3447025354050086.181015452538631
DRESDEN/ggp-course2013_jordi/9QI6Kw0.3825244483946836442.203790679857434110.32965567814406
BASE/coloredtrails/EZvr7g0.383074848642753932376.96666666666676204.966666666666
STANFORD/bestbuttonsandlights/nm0wEA0.383906773103689379369.76666666666624406.359364063595
BASE/checkersTorus/2vm1EQ0.38392235419930887161.62794573514216420.99123420991236
DRESDEN/Runners/3bOCQw0.38841468481085545544.23333333333414274.005464116746
BASE/tictactoex9/BI26ow0.3920182154860996344.0874550059992877.7333333333333
BASE/lightsOnSimultaneous/_VN6lw0.39413658943148433370.9876337455418941.2666666666667
DRESDEN/blockerparallel/dVQgSg0.395785283845485194.64071457139048491.7836072130929
DRESDEN/skirmish2/iPpWhQ0.395798968552014968.8931106889311174.0608646378454
DRESDEN/tictactoex9/rFkD4w0.3964267918720949346.6884437185427874.5333333333333
STANFORD/multiplebuttonsandlights/cK70Yg0.3987345679012345710765.83333333333427000.0
BASE/blocks2player/wnTLOQ0.399412549814391347737.46666666666619372.11705105986
BASE/blockerParallel/7-nDJA0.40146485043466357195.48696753549763486.93420438637423
DRESDEN/smallest/9kaGFw0.4028454525531448661.266666666666666152.08479152084792
BASE/copolymer_4_pie/IN5_jA0.40461096450668469.11298100907972122.52282268274805
DRESDEN/roshambo2/jgSlkQ0.406951649784651548024.23333333333419717.903435407017
STANFORD/hunter/14dD-g0.40836461547532483463.08480.166666666666
BASE/checkersTorusNoKings/pwb6oQ0.4083848366715342174.5709048491918427.46666666666664
STANFORD/multiplebuttonsandlights_9/SqB9BA0.412478387408396511172.73333333333427086.833333333332
BASE/mummymaze2p/vpjDdA0.4139932097934521922.66666666666662228.7
BASE/roshambo2/KNPokQ0.418369816564536878166.43333333333319519.652255012992
DRESDEN/catch_me/ghGWrA0.423862156358900343211.06666666666667575.733333333334
DRESDEN/mummymaze2p/k-8edg0.42608031760574133930.13333333333332183.0
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.427057878935977133262.2666666666677638.933333333333
BASE/checkers-cylinder-mustjump/rjr6qQ0.427080406683682132.99910026991902437.022331680367424
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.4287346891350408783.36388787040433194.44166749975008
BASE/checkers-mustjump/T-8UuQ0.42979577301121114.55876480766671110.60681629260183
DRESDEN/checkers-mustjump-torus/cVc3gA0.435781831867522342.42928452579034955.574542920662309
BASE/lightsOnSimul4/9FeASw0.43607226397252774292.06666666666666669.7666666666667
BASE/tictactoe_3d_small_6player/g_9lww0.436235271590557686.62178376216505198.56666666666666
DRESDEN/oisters_farm/pTQMLg0.437382664778511077755.217730.92677078824
DRESDEN/Thief_Police/CX18rA0.43910874352390793203.7666666666677296.066666666667
DRESDEN/checkers-newgoals/IJOqXQ0.440969593814719129.7801465689540367.53333333333333
BASE/copolymer_4/2LDVhQ0.44114112030783028.83016863630327920.016652789342213
BASE/incredible/8Qh-6Q0.442211559360005343526.66666666666657975.066666666667
STANFORD/checkersonabarrelnokings/Zrevdw0.44663514841142404166.500033326668372.7875737475417
BASE/checkersBarrelNoKings/rnKNeg0.4486538891789097200.5266491116963446.9517682743909
DRESDEN/blocks2player/3ev8nQ0.448738299661243968575.019109.133333333335
BASE/firefighter/WJmoPw0.448957365793776265510.23333333333412273.4
DRESDEN/CatchMeIfYouCanTest/CX18rA0.449511341835007353319.2666666666677384.166666666667
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.452468069717065053.25484074529210557.19352582675592
BASE/skirmishZeroSum/zh4hcw0.4525762614895195753.704690831556505118.66440067979606
BASE/skirmishNew/sibw2g0.4547601247540754653.95587549156836118.64689218463589
BASE/checkers-mustjump-torus/uSApKQ0.459553237737188262.19582792693881634.778179646281979
DRESDEN/4pttc/9pB9AQ0.4629840173460493673.61087963734541454.9333333333334
DRESDEN/point_grab/r5DPmQ0.46367966152424047423.33333333333316009.61601147402
DRESDEN/checkers/jIDMIg0.4682539682539682631.46352031463520467.19328067193281
DRESDEN/firefighter/WJmoPw0.47273709485950425729.26666666666612119.350753232902
DRESDEN/cylinder-checkers/clOO3Q0.473397629524444322.28737049005563647.07959884050245
BASE/point_grab/V_osUg0.47416081293778337666.316168.143361534874
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.476423926171594963.03010122535961656.360094568945423
STANFORD/dualhunter/1rPZjQ0.47695723271941661331.96666666666672792.633333333333
DRESDEN/twisty-passages/j7NPyg0.48205224581845511111.52305.766666666667
BASE/twisty-passages/DiZmmg0.48600789336510541087.76666666666672238.1666666666665
BASE/breakthroughHoles/nZk0Sg0.4906658116524373179.35470968602093365.53333333333336
BASE/cylinder-checkers/hlldmw0.4956746848159252521.1101122099024442.58864302852572
BASE/speedChess/bPnisA0.4962884822430365758.31000932960149117.49216718885408
DRESDEN/racetrackcorridor/O0DoTA0.499717107709219071030.43333333333342062.0333333333333
BASE/racetrackcorridor/_RkdUg0.5016290636988677629.91233625545821255.7333333333333
BASE/breakthroughWalls/vOZaYA0.5084509528845095167.78322167783222329.98900036665447
DRESDEN/hallway/0H4l-Q0.511987249916955253.05823139228693494.26666666666665
BASE/hallway/ckCJOw0.5148935104812485247.19213464422597480.08399720009334
BASE/eightPuzzle/vLrgFg0.52195365634942414249.0333333333348140.633333333333
DRESDEN/sheep_and_wolf/enAIzQ0.5241132210695981665.71114296190131270.1666666666667
STANFORD/8puzzle/jNiGtw0.52885107445237264237.0666666666678011.833333333333
BASE/breakthrough/TGxk-g0.5366599852305095169.56101463284557315.95613479550684
BASE/sheepAndWolf/g4THrg0.5376361054126558681.41267.4
DRESDEN/8puzzle/8fKC2w0.54150130592585064257.0666666666677861.6
BASE/breakthroughSuicide/wZDpIg0.5434353770737844171.8161517181615316.1666666666667
STANFORD/eightpuzzle/W_aWbA0.54542001108350174068.03333333333337458.533333333334
BASE/checkersTiny/Lr48cg0.5487081303349167102.01633061156474185.92093860409307
BASE/pancakes88/l2Xaig0.552995594558522710468.83333333333418931.133333333335
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.55316464542802813.47601549309762666.283871396748346
BASE/checkers-newgoals/0XkFiA0.556245686680469326.85592429694788748.28068772491004
BASE/checkersSmall/SYmq8w0.57069510268562448.1650611646278484.39718676044131
DRESDEN/pancakes88/aD3E7g0.578760791289330211170.719301.065601065602
BASE/4pttc/AL1k2Q0.5839781309363852420.1333333333333719.4333333333333
BASE/checkers/rOC3Xg0.585782963788571130.5564811729423552.16348556010792
BASE/breakthroughSuicideSmall/XSbJog0.5892613925286578273.6726327367263464.43333333333334
BASE/quad/tw-Ufg0.61183752263816740.89557585527494181.463747845037895
DRESDEN/pancakes/hl9aiQ0.619747622713653213658.26666666666622038.433333333334
BASE/pancakes6/QZTdnw0.636066546927681513658.96743658967421474.1169812577
DRESDEN/pancakes6/SZXMyQ0.637626140614862213856.721731.7
BASE/pancakes/yUgbXw0.647248704941889614031.33333333333421678.426277566792
DRESDEN/quad/JPe6fg0.74843345518968821.1949360547732851.5965828979016339
STANFORD/selectivesukoshi/3xmXYg1.46506182454438236.1521066808553094.199213014623833
BASE/laikLee_hex/zbyscQ1.89035646896833052.0398796471008211.079097874177188
DRESDEN/laikLee_hex/ZeP3QQ2.2718977456991062.61926558844471561.152897657213317
BASE/battlebrushes/arCwyA3.14068222621184920.90963494913225620.28962973125409675
BASE/ad_game_2x2/D0aWqg11.605425987624940.237981913374583520.02050609030882172

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error messagePALAMEDES_JOCULAR:0.6.1 error message
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException 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
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/ruleDepthLinear/OUBJpQException of type NullPointerException
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
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/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/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
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
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/reversiSuicide/9OxJlgTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerExceptionIllegalArgumentException: bound must be positive
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerExceptionIllegalArgumentException: bound must be positive
BASE/queens08lg/Ru7eqQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowErrorException of type StackOverflowError
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionIllegalArgumentException: bound must be positive

index