index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
DRESDEN/golden_rectangle/1uloXw0.00.0724367.2333333333
BASE/colonelBlotto/jip21A1.3420094482743727E-70.00460829493087557634338.76666666667
BASE/queens06ug/7Lq3tw3.228248964999768E-70.2923620416615909905636.6
DRESDEN/queens/mW2wHQ5.005903416846356E-70.16214288030612575323903.3333333333
BASE/queens08ug/kJ_ZFQ5.886626492604083E-70.4234270646881075719303.4333333333
BASE/gt_attrition/kD_SCA7.880661263188619E-70.09904585823236159125682.16666666667
DRESDEN/quad_7x7/q-JOXg9.60926032736505E-70.4598198588082551478517.43333333335
BASE/golden_rectangle/_nYzfw1.1703631972396051E-60.9537277600552504814898.9666666667
BASE/quad_7x7/q-JOXg1.5346497367221598E-60.7227948065854638470983.56666666665
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2.000291223359349E-60.0994292759560124949707.4
DRESDEN/quad_5x5_8_2/JRTLJg2.128548944327766E-61.2846696093286778603542.4333333333
DRESDEN/quad_5x5/JAEP5g2.510263921503022E-61.6894087069525665673000.4333333333
BASE/quad/tw-Ufg2.7765153522401734E-60.8955758552749418322553.9
DRESDEN/satlike_20v_91c/yeuENQ2.885564917485794E-60.1553434254778752253834.666666666664
BASE/blokbox_simple/JBx4bg3.0025177602169485E-60.0523135675237372817423.233333333334
BASE/sudokuGrade6H/ieE_9A3.22704652244213E-61.6630254018978055515339.76666666666
BASE/sudokuGrade6E/ihYFZA3.279509451175418E-61.6813243662700466512675.56666666665
STANFORD/sudoku/oJ1qyQ3.423084320602603E-61.9287685810249078563459.2666666667
BASE/sudokuGrade4/DTy07w3.500366533957088E-62.062747446518282589294.7
BASE/sudokuGrade3/eI8dvg3.535317145323711E-62.0626101999401176583430.0333333333
BASE/sudokuGrade5/BQfUQA3.624298064230613E-62.076672050631242572986.0
DRESDEN/quad/JPe6fg3.6615412536009432E-61.194936054773285326347.8333333333
BASE/racer/QQYQNw3.895175079718266E-60.1066723558589791527385.766666666666
BASE/quad_5x5/JAEP5g3.947158937052658E-62.344702535405008594022.8333333334
BASE/sudokuGrade2/u80Tfw3.955976920142063E-62.354423663615864595156.0666666667
DRESDEN/ggp-course2013_michal13/jWKddg3.9568236296016695E-62.242596134819603566766.7666666667
DRESDEN/racer/vk_ZBA4.05611233593265E-60.1137074307806015128033.6
BASE/sudokuGrade1/tDRNRw4.252590778488023E-62.562502053286902602574.3333333334
DRESDEN/satlike_20v_91c_version2/yd9ioQ4.455050853293955E-60.2321437898634414252108.0
STANFORD/duidoku/3SoMaA5.8316979454481965E-61.818302036498281311796.3333333333
BASE/zhadu/DlA8iQ5.883636584310083E-60.6132989025177534104238.06666666667
BASE/pawnToQueen/-O1_JA6.256098977417026E-63.5391790427678367565716.6
DRESDEN/fizzbuzz/t1xHzQ6.6580122787258525E-610.8749875286840271633368.5
BASE/ad_game_2x2/D0aWqg6.671710453082354E-60.2379819133745835235670.3
DRESDEN/pawntoqueen/f_x6Aw7.637737353216194E-63.546334349728225464317.4
DRESDEN/grid_game2/kypTYQ7.70948877064152E-610.9227746511705351416796.2333333334
STANFORD/selectivesukoshi/3xmXYg9.044004642158633E-66.152106680855309680241.4333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1.0186819329274938E-50.500763664588497449158.0
BASE/hitori/S8Gsyg1.1941657040482173E-54.147037356512508347274.86666666664
BASE/copolymer_4/2LDVhQ1.2001780302074754E-58.830168636303279735738.2333333333
DRESDEN/hitori/S8Gsyg1.3408846929863596E-54.6084477156687225343687.1
BASE/hidato37/pBrqxw1.3989014880864091E-52.961730449251248211718.3
BASE/cephalopodMicro/9l2D3g1.4088171759136292E-54.1005291005291005291061.8333333333
BASE/battle/8oAvhQ1.592192452775452E-54.211573536726911264514.1
DRESDEN/battle/8oAvhQ1.5939209873679756E-54.200568895944962263536.8333333333
BASE/copolymer_4_pie/IN5_jA1.605310850003806E-59.112981009079721567677.0333333333
BASE/colonelBlottoVariant2/jruwGw1.6155521941613905E-53.9703546850185285245758.36666666667
DRESDEN/CephalopodMicro/H3XQfg1.6523552633854745E-54.610129017279692279003.5
BASE/simultaneousWin2/PfjRjw1.8764941540806602E-517.230461589735043918226.2333333333
STANFORD/multiplesukoshi/vLSQPg1.9078628802742984E-521.957151900842971150876.8333333333
BASE/othelloHoles/c0qAzw2.1189410497896044E-50.925157914885471843661.333333333336
BASE/checkers-mustjump-torus/uSApKQ2.1244924283440236E-52.1958279269388163103357.76666666666
BASE/checkers-cylinder-mustjump/rjr6qQ2.1604356960519813E-52.9991002699190243138819.23333333334
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw2.180524530820013E-53.0301012253596165138962.03333333333
DRESDEN/othello-cornercontrol/r5Gdlg2.195868013662059E-51.052181632854371447916.433333333334
BASE/gt_ultimatum/GE-uOA2.3562535568999504E-515.332028009159393650695.1666666666
DRESDEN/gt_ultimatum/pAiiQw2.5250102598954107E-515.58960692871419617407.6666666666
BASE/othello-comp2007/86ZoMw2.544358319189404E-50.829462508294625132600.066666666666
BASE/othelloSuicide/B442jg2.642749150851582E-50.87833441769681233235.63333333333
BASE/checkers-mustjump/T-8UuQ2.6826184002554933E-54.558764807666711169937.13333333333
BASE/colonelBlottoVariant/X-n-KQ2.7796881693170184E-510.191507077435471366642.1
BASE/nim1/hin2Qw3.490729935953776E-525.041625041625043717375.0333333333
DRESDEN/nim1/M9BALA3.587882975131286E-526.00645999134228724841.3666666667
DRESDEN/nim2/z5_exA3.6636894188674216E-524.651875541341862672870.2333333333
BASE/nim2/eF2Qqw3.98920007205786E-526.111573688592838654556.6333333333
BASE/nim3/1OwUqw4.271735522029775E-524.573787959509858575264.7333333333
DRESDEN/nim4/F5YAYg4.4373878169443464E-525.739211507725095580053.2333333333
DRESDEN/nim3/sG_axA4.498557392926036E-525.971431425432026577328.0
STANFORD/skirmish/w4V6Vw4.5986974717495034E-56.120683919898876133096.03333333333
BASE/nim4/twk16w4.6434585441865243E-526.05103604503964561026.5666666667
DRESDEN/Zhadu/9zpQ5w5.117251398471723E-55.1765330501725515101158.46666666666
BASE/hidato19/rRHSmA5.200179072834101E-523.673170406872213455237.6
BASE/skirmish/Y_psYQ5.310531548525092E-55.937572561117192111807.5
STANFORD/madness/UO_B3A5.700941820688684E-57.2124173230963535126512.73333333334
BASE/skirmishHoles/AUCxCA6.14778793498667E-57.836626265980408127470.66666666667
BASE/futoshiki6/JmvXNA6.784488147035886E-537.69874337522083555660.8333333334
BASE/strangeSkirmish/gc1zKA6.849219174260037E-57.262309281098008106031.2
BASE/skirmishFinal1/ecWTnQ8.175404835005427E-510.456906886905555127906.9
DRESDEN/skirmishfinal/hzq8ww8.482521212297889E-511.259910720234526132742.5
DRESDEN/tictactoe_3d_2player/LMuX9w8.539885706445479E-573.17479349853451856859.1666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw8.626614520052577E-542.203790679857434489227.73333333334
BASE/tictactoe_3d_2player/IUC1rQ8.753794834067236E-573.48923978945966839512.9333333333
BASE/skirmishFinal2/gdB62Q8.776059881270529E-512.065057992267697137476.93333333332
BASE/skirmishFinal3/-Olhfw9.565545871838639E-514.239137667176792148858.6
DRESDEN/tictactoe_3d_6player/ulZPWg9.853057299232681E-523.62939510081653239817.9
BASE/tictactoe_3d_6player/d7KSwg1.0304748489837774E-425.232492250258325244862.76666666666
DRESDEN/Goldrush/VeWczQ1.043808806571567E-435.88564574170332343795.2
BASE/cittaceot/fDxhXg1.053390930803858E-420.890947256188984198320.93333333332
BASE/guess/SPpk1A1.0852749085661376E-45.91207847541037854475.4
BASE/checkers-newgoals/0XkFiA1.0872001668270725E-426.855924296947887247019.13333333333
DRESDEN/capture_the_king/EQ229Q1.1194483878675536E-418.39960073199135164363.1
DRESDEN/guess/PhxGhg1.1799817450006376E-46.465517241379310554793.36666666667
BASE/futoshiki5/TJ4BZg1.2240663938818365E-475.13911565759221613848.3666666667
BASE/checkers/rOC3Xg1.2740778622217854E-430.55648117294235239832.13333333333
BASE/wargame01/_GZFZg1.3487300576872378E-432.26343477392289239213.43333333332
DRESDEN/slidingpieces/s9_44g1.3496536445333702E-458.6648011193284434665.6
BASE/slidingpieces/uFJWEw1.3636461202705754E-458.674574351114515430277.13333333336
BASE/ruleDepthExponential/UamhHQ1.378259533944681E-4305.100581004934162213665.6666666665
BASE/knightmove/jBaJEw1.4319052783865483E-4137.19542681910602958132.0
BASE/checkersSmall/SYmq8w1.5768072995831146E-448.16506116462784305459.4
DRESDEN/knightmove/97Ipcw1.5912797656767914E-4144.8521814485218910287.3333333334
BASE/pegEuro/5awwhg1.7030027910457104E-478.6430737445433461790.63333333336
BASE/coins_atomic/AA3SSw1.8606880434628522E-485.09149085091491457311.9666666667
DRESDEN/connect4/T0-rHQ1.909842372667542E-4114.0596907.9
BASE/coins/QnGtnQ1.9438715235581348E-482.9250408292504426597.3333333333
BASE/connect4/50bOyw1.945048504874556E-4111.31849086788428572317.3
BASE/breakthroughHoles/nZk0Sg1.9894179610905976E-4179.35470968602093901543.6333333333
DRESDEN/coins/QwFP9w2.0155385317043451E-484.83273357323738420893.63333333336
BASE/breakthrough/TGxk-g2.0175503936338977E-4169.56101463284557840430.1333333333
BASE/wargame03/klXI8w2.0384556598984846E-434.28857047650783168208.56666666668
DRESDEN/breakthroughsuicide/Y9QzqQ2.0555724709081782E-4180.3759498733502877497.4
BASE/breakthroughSuicide/wZDpIg2.0638762717761604E-4171.8161517181615832492.5
BASE/breakthroughWalls/vOZaYA2.0689379759788337E-4167.78322167783222810963.0333333333
DRESDEN/towerworld/HCX34w2.093739640130777E-47.767892710131456537100.566666666666
DRESDEN/peg/Vo31eg2.10134831508439E-495.56666666666666454787.36666666664
DRESDEN/breakthrough/z4hK7Q2.1123029179345498E-4171.0885940937271809962.4
DRESDEN/peg_bugfixed/u_B7MA2.1167502934040867E-496.71721379770038456913.6666666667
STANFORD/platformjumpers/HEQskA2.1488898947856518E-481.1377404.1666666667
BASE/pentagoSuicide/SBgNhw2.158646904695603E-476.17968541722207352904.8
DRESDEN/pentago_2008/hLjVpQ2.1777507562827192E-477.54598773660358356082.93333333335
DRESDEN/brawl/2kXtfQ2.1917356090666763E-433.59216182890659153267.4
BASE/peg/fJHVWw2.1940516318428224E-499.73674564297377454577.93333333335
BASE/brawl/6Ymo_Q2.209970278094892E-432.73720318380125148134.13333333333
STANFORD/chinook/osFbPA2.221755345810327E-457.949281882102035260826.56666666668
BASE/connectFourLarger/qKi60A2.2250469373324153E-4173.92753574880837781680.3
BASE/knightThrough/gcwFjA2.2259385137104255E-4173.3826617338266778919.3666666667
DRESDEN/knightthrough/J7Fc_Q2.2366768013713036E-4172.0046658890185769018.8666666667
BASE/pentago/86NgKw2.2528752467447684E-481.84211403245693363278.5
BASE/choicethroughalt/tt71Lg2.2637067621850794E-4111.35553111355532491916.76666666666
DRESDEN/breakthroughsuicide_v2/LU1nAw2.2944934501133537E-4178.5940468651045778359.3666666667
BASE/chinook/XQh0IQ2.3383582993774182E-459.75272436431499255532.8
BASE/wargame02/BkVqqQ2.422150085107547E-428.54193032704989117837.16666666667
DRESDEN/babel/WdSW4A2.443505229914943E-457.488502299540094235270.63333333333
BASE/checkersTiny/Lr48cg2.490938357473615E-4102.01633061156474409549.8
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.5013626290688927E-483.36388787040433333273.9
BASE/majorities/ibJzSQ2.57872474421463E-4122.35105957616953474463.43333333335
BASE/duplicateStateLarge/dcjyuw2.5920095423762166E-4331.888937035432151280431.0
BASE/connect5/d-BVQg2.601197990474139E-4202.8198120125325779716.9333333333
DRESDEN/connect5/1kYzSg2.6097199742461895E-4202.04612103439084774206.1333333333
BASE/tictactoe_3d_small_6player/g_9lww2.621719135648473E-486.62178376216505330400.7
DRESDEN/minichess-evilconjuncts/th24Tw2.6462565462153736E-473.65930073659301278352.8333333333
BASE/conn4/va9Y7A2.6674200901077914E-4174.78834744350377655271.1666666666
DRESDEN/skirmish2/iPpWhQ2.676582868425911E-468.8931106889311257392.03333333333
BASE/skirmishNew/sibw2g2.700033452327123E-453.95587549156836199834.1
BASE/minichess-evilconjuncts/4OpQzw2.707779644187755E-475.80806397867377279963.93333333335
BASE/futoshiki4/BaCwSw2.731508876831415E-4202.1599280023999740103.5
BASE/skirmishZeroSum/zh4hcw2.7394049038489867E-453.704690831556505196045.1
BASE/snake2p/I3wWPQ2.7414761692744113E-4157.1842815718428573356.3666666667
DRESDEN/mimikry/GJEhwA2.765782078135686E-4239.9506699553363867568.9666666667
BASE/cubicup/4wNWJA2.7685634529900463E-4104.13542603885502376135.23333333334
DRESDEN/cubicup/SBn_lw2.827568040176388E-4101.25316624450073358092.76666666666
BASE/speedChess/bPnisA2.8549954985445855E-458.31000932960149204238.53333333333
BASE/ticTacHeaven/18n58A2.8576008007086663E-4102.22992566914436357747.4
DRESDEN/skirmish3/3LU8Nw2.8755578466258284E-463.24558480506498219941.96666666667
STANFORD/alquerquezero/uVgA_A2.898045046568415E-497.23333333333333335513.5333333333
BASE/qyshinsu/R08Lzw2.899463644849185E-474.78255073816109257918.56666666668
BASE/ttcc4_2player/_aH_Mw2.935602040912684E-4106.73333333333333363582.43333333335
BASE/blockerSerial/3eqDuw2.994697070048677E-4173.1493517314935578186.5333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw3.0197749868727364E-4109.76666666666667363492.86666666664
DRESDEN/skirmish/RjGQYQ3.0227442563257877E-467.15323601946277222159.83333333334
BASE/tpeg/QNs7Lw3.048193668452611E-4110.2889711028897361817.4666666667
DRESDEN/tpeg/h-Scbg3.0649781840265026E-4111.38514864684709363412.5333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg3.094535277017812E-4269.1974403412878869912.3333333334
BASE/tictactoe_3d_small_2player/oOryKA3.1517395700140713E-4269.68202119858677855660.8666666667
BASE/nineBoardTicTacToe/wRmqqA3.2103682599105503E-4171.26095796806774533462.0333333333
STANFORD/nineboardtictactoe/y28P-A3.26500183782033E-4176.07065489085153539266.6333333333
BASE/breakthroughSmall/HJ0tIA3.302215600412567E-4270.12432918902704818009.3666666667
BASE/breakthroughSuicideSmall/XSbJog3.306572820886851E-4273.6726327367263827662.5
STANFORD/duikoshi/tpw1sw3.418196008356325E-4165.2724545909015483507.8333333333
DRESDEN/backgammon/mqCW0Q3.420167259099602E-451.294870512948705149977.66666666666
STANFORD/ttcc4/Cx9SGw3.485376049615293E-4118.93098737045553341228.56666666665
BASE/biddingTicTacToe_10coins/a-9ccQ3.535225457022091E-496.80751799520128273836.9
STANFORD/multipletictactoe/_bkafQ3.54041989575678E-4438.10412639157391237435.5
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.5465117827349453E-4430.61214150.7666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg3.588280938867364E-4447.83333333333331248044.2333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3.625033869612482E-4607.03333333333331674559.0666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3.6303490024689426E-4102.80249258555767283175.23333333334
BASE/ticTacToeSerial/Amrwqw3.6485011292955975E-4190.60156640559907522410.6
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.6757446161026674E-4759.66666666666662066701.4333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.7608636926050843E-4774.82060165.0666666667
DRESDEN/sat_test_20v_91c/dK7nVw3.764627167853271E-4424.71917602746581128183.9
BASE/nineBoardTicTacToePie/B8LzeQ3.797549082818295E-4170.19432685577146448168.86666666664
BASE/ticTacHeavenFC/mrletw3.923672746967929E-4141.59144655763913360864.56666666665
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.938009758062301E-4430.21092430.0
BASE/twisty-passages/DiZmmg3.944410226302635E-41087.76666666666672757742.2333333334
BASE/connectFourLarge/aU644A3.9484360128780755E-4346.01026598226787876322.3333333334
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3.9526798586979886E-4800.76666666666672025882.9333333333
BASE/ttcc4_2player_alt/ZEJvYA4.004947941223783E-4156.43333333333334390600.1666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4.0104187317289866E-4431.91076944.9
BASE/dotsAndBoxesSuicide/jzQbLw4.0742984972802016E-4339.69936339699365833761.6
BASE/dotsAndBoxes/EHwA_w4.1136137820644436E-4342.26666666666665832034.0333333333
BASE/2pttc/unkkYA4.1322453294411404E-4286.1333333333333692440.3333333334
BASE/connectFourSimultaneous/7ITr3g4.183667395103753E-4217.95640871825634520969.73333333334
DRESDEN/twisty-passages/j7NPyg4.1837557205597975E-41111.52656703.8666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4.2010683785210915E-4808.83333333333341925303.9
BASE/dualConnect4/WbCQkg4.3419172925771607E-4385.0538315389487886829.0333333333
BASE/pacman3p/wW7UVQ4.490361209554906E-4210.4263191226959468617.8
BASE/max_knights/2fq3Ag4.5132503999116823E-4367.0877637412086813355.6333333333
STANFORD/pentago/ZxzLmg4.51751893707564E-4165.76132235811644366930.0
DRESDEN/pawn_whopping/4ogBkg4.5207810999115786E-4371.82093930202325822470.5666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ4.539227678180757E-4353.06666666666666777812.2
BASE/lightsOnSimultaneous/_VN6lw4.571929868269911E-4370.9876337455418811446.4666666667
BASE/factoringMediumTurtleBrain/8RBqmQ4.614799823555847E-4704.8098396720111527281.5
BASE/wallmaze/uxNQ9g4.67487288020986E-4253.7915402819906542884.3666666667
DRESDEN/max_knights/hCipiA4.71102110772048E-4360.1333333333333764448.5666666667
BASE/breakthroughSmallHoles/bxclRw4.7753643620383074E-4373.4542181927269782043.4
BASE/3pConnectFour/PqXOFQ4.780231221446319E-4326.9683858.1333333333
BASE/stateSpaceLarge/0Ge_CQ4.804326307294112E-4492.283590546981771024667.2666666667
DRESDEN/statespacelarge/8-y5HQ4.851119988807572E-4484.4998532.3
BASE/pawnWhopping/Ypc_6Q4.864208944452978E-4355.53333333333336730917.0666666667
BASE/connectFour_9x6/B9TtMw4.993022966794157E-4479.1666666666667959672.4666666667
BASE/pacman2p/4LEdQg5.071135738715736E-4201.26666666666668396886.76666666666
DRESDEN/pacman3p/rBnk8Q5.105398213201059E-4208.07225703239567407553.43333333335
BASE/escortLatch/mX9BjQ5.174362457809166E-4255.01633224451703492845.9
BASE/mineClearingSmall/frsbvw5.178100637208638E-4147.9285625.9666666667
DRESDEN/cubicup_3player/awDtsQ5.202985368569319E-440.01999333555481576917.36666666667
BASE/cubicup_3player/e2yA_g5.210547360003366E-441.2501666000266579166.66666666667
STANFORD/freeforall/Lfp40Q5.288024397811037E-4274.74835010999266519567.1
BASE/ttcc4_2player_small/Cv72TA5.334285855194304E-4294.6136924205053552302.0333333333
BASE/lightsOnSimul4/9FeASw5.351941132312421E-4292.06666666666666545721.0
DRESDEN/aipsrovers01/qS47Mw5.434723921620139E-4877.41614433.4333333333
STANFORD/connectfour/VMpZkQ5.455882741475397E-4533.4666666666667977782.5
BASE/englishDraughts/jFkQxg5.5180903141122E-4166.7944146365848302268.36666666664
BASE/aipsrovers01/4C4jsw5.545835810695037E-4856.43811872937571544290.4333333333
BASE/ticTacToeLarge/TZC0dg5.547990864064878E-4734.16666666666661323301.8666666667
DRESDEN/tictactoelargesuicide/6J4DeA5.651661304468962E-4738.85944738859451307331.4333333333
BASE/connectFourSuicide/c8p9Kw5.676762563325262E-4568.54771507616411001535.1333333333
STANFORD/checkersonabarrelnokings/Zrevdw5.694552258137524E-4166.500033326668292384.76666666666
BASE/ticTacToeLargeSuicide/727_8g5.70171330107681E-4748.06666666666671312003.3
DRESDEN/connectfour/5tc-Mg5.725619579638585E-4557.0333333333333972878.7
DRESDEN/connectfoursuicide/M9CNQg5.785646923821543E-4573.8991764.6333333333
DRESDEN/tictactoelarge/IwXcbg5.793198253696552E-4734.56666666666671267981.2333333334
BASE/connectFour/WAIKTw5.812739950853272E-4567.1965077143524975781.6666666666
BASE/2pffa_zerosum/o0_uZA5.820685098605372E-4288.9474035064329496414.76666666666
BASE/2pffa/6oHijA5.844601255218962E-4289.4473701753216495238.86666666664
DRESDEN/chinesecheckers1/Y-ftaA6.090648675688853E-4841.03333333333331380860.0333333334
BASE/checkersTorusNoKings/pwb6oQ6.093280596933577E-4174.5709048491918286497.4
BASE/blocksWorldParallel/RseaAQ6.129043059381685E-4266.6333333333333435032.56666666665
BASE/checkersBarrelNoKings/rnKNeg6.262431563114723E-4200.5266491116963320205.73333333334
DRESDEN/kitten_escapes_from_fire/uW-YiA6.297074203710689E-4992.53333333333331576181.7333333334
DRESDEN/smallest_4player/ADDROA6.371472193656314E-4201.25324978334777315866.1666666667
BASE/smallest_4player/ADDROA6.56778120279543E-4201.19329355688143306333.73333333334
BASE/ticblock/T21C1g6.574823435646919E-4471.35095496816774716902.8333333334
BASE/tictactoex9/BI26ow6.629533364909792E-4344.0874550059992519022.13333333336
BASE/duplicateStateMedium/U163eQ6.670071311539562E-41110.46666666666671664849.7666666666
BASE/kitten_escapes_from_fire/uW-YiA6.72723307862123E-4981.93333333333331459639.2333333334
DRESDEN/tictactoex9/rFkD4w6.733793173888173E-4346.6884437185427514848.6666666667
DRESDEN/ticblock/Z2yNWQ6.742681326848023E-4481.46666666666664714058.1666666666
DRESDEN/double_tictactoe_dengji/bGaUyQ7.100362982591212E-4545.9768833.9333333333
BASE/checkersTorus/2vm1EQ7.166398670860332E-4161.62794573514216225535.8
DRESDEN/endgame/IJhh3Q7.18450109985594E-4123.16256124795841171428.13333333333
STANFORD/breakthrough/d5j0cQ7.261827102438886E-4583.1138962034598802985.1
DRESDEN/catcha_mouse/cHv4dw7.419547985581626E-4512.6690877.6666666666
BASE/hanoi7_bugfix/3gdnFw7.518698796644044E-4915.36666666666671217453.5666666667
BASE/amazons_8x8/7SOsIw7.529386236553035E-490.99090090990902120847.7
DRESDEN/hanoi7/51zz5Q7.60651206593425E-4937.31232233.6333333333
DRESDEN/hanoi7_bugfix/3gdnFw7.672348854727562E-4922.16666666666661201935.2666666666
BASE/withConviction/3Xm54A7.770631766679154E-4495.73333333333335637957.5666666667
BASE/mummyMaze2p_2007/YGA3Vw8.400420514368947E-4673.8550763282448802168.2666666667
BASE/double_tictactoe_dengji/zgaSbA8.418633699957382E-4580.8333333333334689937.7666666667
BASE/mummymaze2p/vpjDdA8.448476638634389E-4922.66666666666661092110.1
STANFORD/pilgrimage/ObRZnQ8.459554730294914E-4248.28344777014865293494.7
BASE/catcha_mouse/cHv4dw8.483786219827088E-4518.7827072430919611499.0333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg8.497697919339297E-4673.0791979.2
BASE/chomp/-LcqYQ8.505185294098311E-4332.03333333333336390389.3
BASE/checkLines/Vop7oQ8.857422811072187E-4370.1876604113196417940.6
DRESDEN/mummymaze2p/k-8edg8.88089461264131E-4930.13333333333331047341.9333333333
BASE/ticTacToeNoVars/XT03NA8.995775450617436E-41116.33333333333331240952.8666666667
STANFORD/sukoshi/4LYZZQ9.032162970893468E-4889.6370120995966984965.6333333333
DRESDEN/chomp/-LcqYQ9.194903164433686E-4338.7435427428762368403.6
BASE/racetrackcorridor/_RkdUg9.29360360975623E-4629.9123362554582677791.2666666667
DRESDEN/hanoi_6_disks/MeubgQ9.344553984505691E-41248.31335858.3
BASE/chineseCheckers1/gqtwHw9.355263063552386E-41548.33333333333331655039.8666666667
BASE/chineseCheckers4/avfBcQ9.446945402306734E-4344.3666666666667364527.0
BASE/hanoi_6_disks/MeubgQ9.709540889971871E-41256.46666666666671294053.6333333333
DRESDEN/chinesecheckers2/06E6-Q9.847294593044453E-4647.078430718976657112.9
DRESDEN/blockerparallel/dVQgSg9.86792528298733E-4194.64071457139048197245.83333333334
BASE/blockerParallel/7-nDJA0.001015848294389585195.48696753549763192437.16666666666
BASE/brain_teaser_extended/ZDp94A0.0010269127985523035809.0666666666667787863.0666666667
DRESDEN/grid_game/U7_Yeg0.001035105261774103628.6607281.2333333333
DRESDEN/brain_teaser_extended/ZDp94A0.0010372525631285154830.5723142561915800742.6
DRESDEN/tttcc4/sAvtFg0.0010610361281454882137.72415172321845129801.56666666667
BASE/tttcc4/8Bs2lg0.0010634806302963068143.29522349255024134741.73333333334
DRESDEN/javastrike/whONTQ0.001067415648339334270.3619758682754565918.06666666667
BASE/ttcc4/Le0qjQ0.0010768954895298633142.77620396600565132581.3
BASE/tictactoe_3player/GtM71g0.0010968460839885213536.3748458692971489015.6
BASE/stateSpaceMedium/3bUoIw0.00110855388068895421610.31452613.2
DRESDEN/tictactoe_3player/ESLQQQ0.001111022875729077514.3495216826105462951.3333333333
DRESDEN/statespacemedium/dVJZ_w0.0011217447457879971633.21455946.2
BASE/biddingTicTacToe/8mESVw0.001155779071612292448.04026129849353387652.1666666667
BASE/hanoi/iGLsJg0.00117629619850483291354.33333333333331151354.0
DRESDEN/chinesecheckers6/yTbPDA0.0011785251079173007372.76666666666665316299.3
DRESDEN/bidding-tictactoe/yW5vTA0.0011893830294110485459.46936870875277386309.0
STANFORD/knightstourbig/TQUI2g0.00120008147329447741159.1333333333334965878.8666666667
BASE/lightsOut/5P1ZBw0.0012017300392541082765.7637164.7333333333
BASE/amazonsSuicide_10x10/XIbQkg0.001212846412404583271.449995001166458911.0
DRESDEN/hanoi/RQ0jiA0.001213675461318181385.11141244.1333333333
DRESDEN/lightsout/XgLpzQ0.0012232745735481965759.9621201.5
BASE/3pttc/0sol9g0.0012358600272789717318.38938702043265257625.76666666666
DRESDEN/lightsout2/LFtfyQ0.0012505041623012052757.2333333333333605542.4333333333
BASE/snake_2009_big/-oRfVw0.0012541570655752229438.1520615979467349359.8
BASE/chineseCheckers2/eCMR3Q0.00126005796337097981072.9851468.7666666667
DRESDEN/chinesecheckers3/QsCb2A0.0012748182200462382536.8487717076098421117.9
BASE/lightsOnParallel/SC6enA0.00129123378053844672177.53333333333331686397.4333333333
BASE/doubletoetictac/fu35bg0.00130716240608764644.3666666666667492950.73333333334
BASE/amazons_10x10/Bun8dA0.001329311698514715272.8902812958272254833.1
BASE/gt_tinfoil/Q8DyKg0.0013417078820761943665.1111629612346495719.8
BASE/firefighter/WJmoPw0.00134289847071950135510.2333333333344103238.966666667
BASE/snake_2008/i6K26g0.0013675284560673824517.1827605746475378187.93333333335
DRESDEN/snake_2008/E56l3A0.0013906233069575248514.3161894603513369845.8
BASE/chineseCheckers6/rREH3A0.001397011381727935536.4666666666667384010.23333333334
BASE/snake_2008_tweaked/bX0NJQ0.0014205873307087343530.8666666666667373695.2
DRESDEN/snake_2009_big/DgC1NQ0.0014300121193527116440.0307689.7
BASE/knightsTourLarge/M8jgLA0.00146492499531040361345.5666666666666918522.5666666667
DRESDEN/firefighter/WJmoPw0.0014870347111750995729.2666666666663852813.0
STANFORD/hex/MTqWcw0.0015150043923718307127.4957501416619484155.36666666667
DRESDEN/doubletictactoe/lJzgmQ0.0015229805894493775654.0429421.1
BASE/doubletictactoe/HH1htg0.0015326231057981494654.3666666666667426958.63333333336
BASE/hex/T1MK8g0.00153274586898082128.395720142661983768.43333333333
BASE/factoringGeorgeForman/HGRorQ0.0015401737060021833171.22058988.5333333334
BASE/bunk_t/xbpfIA0.0015448333983789503655.5424317.6
STANFORD/tictactoe3/X7myng0.00154775457807714141736.83333333333331122163.2666666666
BASE/rubiksCube/9tNO9Q0.001552054560341182195.5125962.06666666667
DRESDEN/bunk_t/7-tPfA0.0016033758458243843679.9333333333333424063.6
BASE/3pffa/pR0dzA0.0016170464386927707328.44477034864343203114.0
DRESDEN/doubletoetictac/V89gKQ0.0016202294853896622670.5413830.26666666666
BASE/solitaireChineseCheckers/-ET6gw0.0016624285283843138387.1333333333333232872.16666666666
DRESDEN/snake_2009/zIYLVw0.0016675244734885703555.9666666666667333408.4
DRESDEN/racetrackcorridor/O0DoTA0.00169602677212797051030.4333333333334607557.2333333333
BASE/tictactoe2/bhrDoQ0.0016967443498476952127.61253930.8
BASE/snake_2009/7l-qAQ0.0017285764036714774562.2325238.73333333334
STANFORD/untwistycomplex/HTWEwg0.00174207741542464756152.03531415.966666667
BASE/chineseCheckers3/-1rZdQ0.001742947594819685877.8503629.6
BASE/factoringEasyTurtleBrain/lUj94Q0.0017997313119977682962.53333333333331646097.5666666667
BASE/4pffa/Q3ADlg0.0018178033933249618318.2121191920539175053.1
BASE/incredible/8Qh-6Q0.00186578465723657713526.66666666666651890178.8333333333
BASE/hexPie/48CH6Q0.0019404528426067006126.9159003065440565405.3
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.00197847065190033973360.51698534.1666666667
BASE/4pttc/AL1k2Q0.002053693560699566420.1333333333333204574.5
DRESDEN/oisters_farm/pTQMLg0.0020710097595943257755.23744646.7666666666
STANFORD/knightstour/cEwgNA0.00210501661994652242701.71283457.8
BASE/knightsTour/mvtVIg0.0021113063579150512776.83333333333351315220.4666666666
DRESDEN/stratego/Z2wovg0.002159458195681602355.38815372820903164572.83333333334
DRESDEN/minichess/c7GMFw0.0021642390581282033595.2666666666667275046.63333333336
BASE/quarto/EwBMVQ0.002180661227972304245.2918236058798112485.06666666667
DRESDEN/3pttc/uwYBZw0.002186836481494098592.7666666666667271061.26666666666
DRESDEN/ghostmaze2p/HY0UwA0.0022043719853719912119.7961589.0666666667
DRESDEN/knightstour/cGISAA0.00221165598586454962815.2666666666671272922.5
BASE/asteroidsSerial/id2QkA0.00222502688140886581804.5666666666666811031.4
BASE/numbertictactoe/rvJ-iQ0.0022378600058751696983.2333333333333439363.2
BASE/bomberman2p/4CClwA0.00227725264182891421065.5666666666666467917.63333333336
DRESDEN/bomberman2p/x4h6jQ0.0022793364993013551060.5333333333333465281.6
STANFORD/knightstourmedium/x1wu8Q0.00228526993855132917.11276479.4
BASE/quartoSuicide/-23jUg0.0023157619077426826255.26666666666668110230.1
BASE/amazonsTorus_10x10/Uxc08g0.002331939990658341746.0129848510071619731.633333333335
DRESDEN/quartosuicide/WIU1oQ0.002367744991773165247.32580225932222104456.26666666666
BASE/gt_coordination/IVMOzA0.00237368799473700652562.96666666666671079740.3333333333
BASE/ghostMaze2p/W-NU-w0.00239620903300443542086.4666666666667870736.5
DRESDEN/tictactoeparallel/yk_DSg0.0023987879317078904747.6834877674821311692.2
STANFORD/tictactoe5/WFRReg0.00244670699558639662152.9333333333334879931.0
DRESDEN/logistics/fPru1Q0.0024821104051619631232.9666666666667496741.26666666666
DRESDEN/quarto/OQzRYQ0.0024851034280424737256.89143695210157103372.53333333334
BASE/ticTacToeParallel/ymRGPw0.0025358561817946886781.1308022.2
DRESDEN/3pffa/0YrmQw0.002556432201123295637.2333333333333249266.66666666666
DRESDEN/4pttc/9pB9AQ0.0027278097233777755673.6108796373454246942.03333333333
DRESDEN/crissrace/KWb9bw0.0027323575199170985239.092030265657887503.93333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ0.00275346994734361173068.41114375.7
DRESDEN/crisscross/GsY16g0.002780759331176801319.67868808746084114960.93333333333
BASE/minichess/8NQEiA0.0027887851742432264661.9779340688643237371.43333333332
DRESDEN/blocker/S815zQ0.00279519976460069352789.6666666666665998020.5
STANFORD/bestbuttonsandlightsbig/g0JC6g0.00283975844819921476393.62251459.1
DRESDEN/lightson2x2/gBHuig0.00286877848962854180.3333333333331457182.3333333333
BASE/lightsOn/MsXu3A0.00293809207193444346085.42071208.0666666667
BASE/duplicateStateSmall/bCPAXw0.0029525618123489446085.3333333333332061035.0333333334
BASE/crissrace/ERWGDA0.0029564868376590944253.6453825154803885792.83333333333
BASE/blocker/dIWtxg0.00297702971168359052954.3333333333335992376.1666666666
STANFORD/multiplebuttonsandlights/cK70Yg0.002988824558483127510765.8333333333343602029.2
STANFORD/dualhunter/1rPZjQ0.00299611477566179151331.9666666666667444564.63333333336
BASE/gt_chicken/gmepTQ0.0030948763554228111312.8666666666666424206.5
STANFORD/multiplebuttonsandlights_9/SqB9BA0.003103430629596098311172.7333333333343600123.433333333
BASE/tictactoe-init1/7M19vA0.003118797599667752641.1846832.7666666667
DRESDEN/tictactoe-init1/3ltIBQ0.0031411309142693052775.4333333333334883577.7333333333
BASE/snakeParallel/RCVNtw0.00315996126557336342450.233333333333775399.8
DRESDEN/gt_chicken/CeuKtw0.00318883551941878151342.0333333333333420853.73333333334
DRESDEN/latenttictactoe/kITHKg0.00323519085776872052.766666666667634511.7666666667
BASE/crisscross/ICagEg0.0033729884843883558338.8333333333333100454.93333333333
STANFORD/tictactoe7/-bE9-A0.00347465709143007352598.733333333333747910.7333333333
DRESDEN/Thief_Police/CX18rA0.00361004199627476063203.766666666667887459.6666666666
DRESDEN/frogs_and_toads/GjchhQ0.0036433292732812087520.2493250224993142795.03333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.00370593217362335175296.5333333333341429204.0666666667
DRESDEN/eotcatcit/mQUxzA0.0037106369330500193008.0810642.5
BASE/beatMania/qUHwvQ0.0037284603265084923653.6666666666665979939.8
DRESDEN/CatchMeIfYouCanTest/CX18rA0.00379523636816559833319.266666666667874587.6
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0038780341075849753262.266666666667841216.6
STANFORD/tictactoe/ss1kyQ0.0039069068465654022955.4756455.2
DRESDEN/gt_prisoner/huCp4w0.0039543594633762921636.0666666666666413737.4666666667
STANFORD/hunter/14dD-g0.0040153192022234413463.0862447.0
DRESDEN/tictactoe/BTTzPw0.00402818125795283237.133333333333803621.5666666667
DRESDEN/chinesecheckers4/-oVNYg0.004039918421335803214.052971.36666666667
DRESDEN/catch_me/ghGWrA0.0040414444820345943211.0666666666666794534.4
BASE/gt_staghunt/xPjLRA0.00407793939317800761687.9333333333334413918.2
DRESDEN/point_grab/r5DPmQ0.00409571556702772757423.3333333333331812463.1
BASE/ticTacToe/JRFsaQ0.0041221969035206973189.4333333333334773721.7333333333
BASE/point_grab/V_osUg0.0041540191054643377666.31845513.9
BASE/gt_prisoner/klthDw0.00419358773799075051692.5403592.36666666664
STANFORD/trifecta/ss1kyQ0.0042276117915008162982.5333333333333705488.9333333333
BASE/chickentictactoe/DSlZCA0.0042370762584985822657.9627295.7666666667
BASE/eotcatcit/AfZSzA0.004291619671564952968.9333333333334691797.8666666667
BASE/hodgepodge/9yjRkw0.0043002805532891095759.0333333333341339222.7
DRESDEN/sheep_and_wolf/enAIzQ0.004357671376039087665.7111429619013152767.63333333333
STANFORD/bestbuttonsandlights/nm0wEA0.0043998260812344899369.7666666666662129576.6
BASE/sheepAndWolf/g4THrg0.004422913817873401681.4154061.33333333334
DRESDEN/chickentictactoe/Ipbo-g0.0044513772531666932670.9333333333334600024.0333333333
BASE/asteroidsParallel/WauZiA0.0045113657697110852228.4333333333334493959.8
BASE/blocksWorldSerial/Wyg96Q0.0045182690630481793660.9666666666667810258.6666666666
BASE/shmup/ssTNlg0.00454741375723717910.8333333333334200297.0
BASE/stateSpaceSmall/Q7osKA0.0045993333329414728607.2333333333341871408.9
BASE/asteroids/BKCmPQ0.0046346749458875594333.766666666666935074.5666666667
BASE/sum15/QZ07Kg0.0048048064846168033264.0333333333333679326.7
STANFORD/untwistycorridor/EDPPAQ0.00482510281797854417661.0666666666663660246.7
DRESDEN/statespacesmall/h-NqjA0.0048315171241553348742.9333333333321809562.7333333334
DRESDEN/sum15/CsgWKg0.0048902110019928643278.766666666667670475.5
DRESDEN/cube_2x2x2/fp-34Q0.0051336660850720111436.1333333333334279748.1
BASE/tictactoe_orthogonal/WRzlVw0.0051491941801459723925.2762294.0333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.0051870079191811313956.266666666667762726.1666666666
BASE/toetictac/mTThmg0.0052344334831379445830.7666666666661113925.0666666667
DRESDEN/knightfight/4_Ly4w0.0052616713819445961232.0922635912136234163.66666666666
DRESDEN/smallest/9kaGFw0.00526907243684566661.26666666666666611627.6
BASE/knightfight/SJRkAg0.0053365785506530541264.8333333333333237012.03333333333
DRESDEN/2player_normal_form_2010/NG_Kdg0.0054291452486729477985.0666666666671470777.8666666667
BASE/untwistycomplex2/EDPPAQ0.0056414553407021617801.83155533.2666666666
DRESDEN/toetictac/mJtxCA0.0056719784715917165948.3333333333331048722.8333333333
BASE/circlesolitaire/azuQFQ0.0057560305715261815054.033333333334878041.4333333333
BASE/chickentoetictac/l57rfQ0.0057717726981628664653.766666666666806297.6333333333
DRESDEN/circlesolitaire/ruUilQ0.0058543080078408175074.2866746.3333333334
BASE/snakeAssemblit/UO4sdg0.005933113035235721241.8758124187581340767.1
BASE/gt_dollar/TGjqRw0.00604557851116983155939.0982370.8333333334
DRESDEN/blobwars/ZaMluQ0.006096616094673631120.2959901336622219731.6
DRESDEN/tictictoe/LAUtwg0.00614706424977011852093.5333333333333340574.5
BASE/tron_10x10/7ZTgDg0.0061512348754171792321.3333333333335377376.8
DRESDEN/chickentoetictac/cxYaRQ0.006183280226698384643.866666666667751036.1
DRESDEN/buttons/ADUaHw0.00627664124858392915599.0333333333332485251.7
BASE/ticTicToe/c1OobQ0.0062799491042529672103.0333333333333334880.63333333336
STANFORD/tictictoe/rpt_Dw0.0062947319249164752086.866666666667331525.9
BASE/coloredtrails/EZvr7g0.00629856592776942452376.9666666666667377382.2
DRESDEN/blocksworldparallel/2JfVaw0.0063555207022361712733.366666666667430077.5333333333
BASE/buttons/hTcUjw0.00639502067273647315464.0333333333332418136.566666667
BASE/blobwars/0XT15Q0.006440519192863216124.4460733682071119322.366666666665
BASE/eotcitcit/V_9_bg0.0064772493168342152154.766666666667332666.93333333335
DRESDEN/Runners/3bOCQw0.0065044094927532785544.233333333334852380.7333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.006657748790835331122.0168525.43333333332
BASE/pearls/6k_mEQ0.00679727256942703120962.4333333333343083947.7333333334
BASE/maze/cCX3qQ0.00725949063550825316503.2333333333342273332.1333333333
BASE/blocksWorld/SEdXLQ0.00735530412342787511382.21547481.9
DRESDEN/vacuumcleaner_random/_6AGDA0.007377022904267639988.90073995067134051.46666666667
DRESDEN/vacuum_cleaner_1/eUNjpw0.0077302550903731261120.3546312035462144931.13333333333
BASE/blocks/xIV5hQ0.00796697034346275311261.0666666666681413469.1333333333
DRESDEN/blocks/vg0DRw0.00797386460470615911587.6333333333331453201.6666666667
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0083851421944004371409.3333333333333168075.06666666668
STANFORD/3puzzle/41ibjA0.0086744234979714429532.7666666666661098951.0333333334
STANFORD/threepuzzle/41ibjA0.0088237373214864949586.51086444.4
BASE/gt_centipede/9fRMpw0.00942089134635427410129.9666666666671075266.2666666666
BASE/switches/tPUoCg0.00994787587576036712551.9333333333321261770.2
BASE/troublemaker02/DI83KA0.01007280157449430721142.2333333333342098942.7
DRESDEN/troublemaker02/iZLVuA0.0103919303156069620520.81974686.0666666667
BASE/troublemaker01/s3tlEQ0.01045176950000239722955.0666666666662196285.2
DRESDEN/roshambo2/jgSlkQ0.0105928072477125398024.233333333334757517.1666666666
DRESDEN/troublemaker01/C-lPWw0.01087454716277469123702.2666666666662179609.533333333
STANFORD/buttonsandlights/eyhJpA0.01095849109357278632379.7666666666662954765.066666667
BASE/roshambo2/KNPokQ0.0110182022754182248166.433333333333741176.5666666667
BASE/ruleDepthLinear/OUBJpQ0.01180998999295517819905.11685445.9666666666
BASE/haystack/UkweGA0.0121830416131849135160.633333333332886030.8
BASE/survival/YVIjJA0.01267809095617962329248.2666666666662306992.966666667
BASE/blocks2player/wnTLOQ0.0133688039394327357737.466666666666578770.3
DRESDEN/Travelers-Dilemma/PvZwYw0.01418147066764909761.352351118072454326.233333333334
BASE/kalaha5x2x3/WviNsw0.0144831686521071661488.4102767.56666666667
DRESDEN/blocks2player/3ev8nQ0.0146909117822311778575.0583694.2
BASE/onestep/xi53wA0.0181405900824744340068.233333333332208761.3
BASE/kalaha6x2x4/XS81Mg0.019466277245708851269.466666666666765213.63333333333
STANFORD/8puzzle/jNiGtw0.0201417139249769034237.066666666667210362.76666666666
STANFORD/eightpuzzle/W_aWbA0.020463740373535664068.0333333333333198792.26666666666
BASE/eightPuzzle/vLrgFg0.0205911871315055334249.033333333334206352.03333333333
DRESDEN/8puzzle/8fKC2w0.0211504743835845354257.066666666667201275.23333333334
DRESDEN/kalaha_2009/gcC8uA0.044951269900403541150.325589.933333333334
BASE/kalaha_2009/dRiN3g0.046066750151988321182.066666666666625659.866666666665
DRESDEN/pancakes/hl9aiQ0.0523581069209513313658.266666666666260862.5
DRESDEN/pancakes6/SZXMyQ0.05397891983467973513856.7256705.76666666666
BASE/pancakes/yUgbXw0.0543781980811190314031.333333333334258032.33333333334
BASE/pancakes6/QZTdnw0.0553757862351565213658.967436589674246659.56666666668

Games with errors:

GamePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
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
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
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
BASE/laikLee_hex/zbyscQException of type StackOverflowError
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
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
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorOutOfMemoryError: GC overhead limit exceeded
BASE/sudoku/NTaNkwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerExceptionTest process timed out after 240 seconds

index