index

PALAMEDES_JOCULAR:0.6.1 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioPALAMEDES_JOCULAR:0.6.1 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
DRESDEN/golden_rectangle/1uloXw2.463519435745079E-70.17844927579335573724367.2333333333
BASE/ad_game_2x2/D0aWqg5.748785490680403E-70.0205060903088217235670.3
BASE/colonelBlotto/jip21A1.4915034585174847E-60.0512163892445582634338.76666666667
BASE/quad/tw-Ufg4.537994564746837E-61.463747845037895322553.9
BASE/quad_7x7/q-JOXg4.826317275880648E-62.2731161244592184470983.56666666665
DRESDEN/quad/JPe6fg4.892273625947062E-61.5965828979016339326347.8333333333
BASE/golden_rectangle/_nYzfw5.886376505707589E-64.796802131912059814898.9666666667
STANFORD/selectivesukoshi/3xmXYg6.173121496064657E-64.199213014623833680241.4333333333
DRESDEN/quad_5x5/JAEP5g7.255623918873886E-64.883038041505824673000.4333333333
DRESDEN/quad_7x7/q-JOXg7.857130140354547E-63.7597737481284312478517.43333333335
BASE/quad_5x5/JAEP5g1.0405349938914185E-56.181015452538631594022.8333333334
DRESDEN/quad_5x5_8_2/JRTLJg1.2183741992737422E-57.35340528940226603542.4333333333
DRESDEN/ggp-course2013_michal13/jWKddg1.3961692367547842E-57.913023240349769566766.7666666667
DRESDEN/fizzbuzz/t1xHzQ1.8668711312543075E-530.4928849935015161633368.5
BASE/blokbox_simple/JBx4bg1.9875363157553846E-50.346293089878797417423.233333333334
BASE/copolymer_4/2LDVhQ2.7206215312006868E-520.016652789342213735738.2333333333
BASE/copolymer_4_pie/IN5_jA3.96754164079823E-522.52282268274805567677.0333333333
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw4.576857733284048E-56.360094568945423138962.03333333333
BASE/checkers-mustjump-torus/uSApKQ4.622951714593271E-54.778179646281979103357.76666666666
BASE/checkers-cylinder-mustjump/rjr6qQ5.058615806864004E-57.022331680367424138819.23333333334
DRESDEN/CephalopodMicro/H3XQfg5.454634798034633E-515.218621998734557279003.5
BASE/racer/QQYQNw5.653255391792369E-51.548187330667010627385.766666666666
BASE/cephalopodMicro/9l2D3g5.948663010421503E-517.314287616954683291061.8333333333
BASE/checkers-mustjump/T-8UuQ6.241611874078432E-510.60681629260183169937.13333333333
BASE/pawnToQueen/-O1_JA6.670784347431892E-537.73773440362389565716.6
DRESDEN/othello-cornercontrol/r5Gdlg7.127712994529782E-53.415345845215247916.433333333334
DRESDEN/racer/vk_ZBA7.553085529980389E-52.11740178513258228033.6
DRESDEN/pawntoqueen/f_x6Aw7.918486315868611E-536.76690978119692464317.4
BASE/hidato37/pBrqxw1.0009301695055998E-421.19152339064374211718.3
DRESDEN/battle/8oAvhQ1.0208380780711877E-426.90284344409669263536.8333333333
BASE/battle/8oAvhQ1.0682699933250676E-428.25724758413862264514.1
BASE/othelloHoles/c0qAzw1.10652543615999E-44.83123759099933843661.333333333336
DRESDEN/satlike_20v_91c/yeuENQ1.2056070953481859E-46.490345610903780553834.666666666664
BASE/sudokuGrade3/eI8dvg1.27716193578161E-474.51346307651293583430.0333333333
BASE/sudokuGrade6H/ieE_9A1.3194738269222068E-467.99773340888638515339.76666666666
BASE/othelloSuicide/B442jg1.3235273525118545E-44.3988269794721433235.63333333333
BASE/sudokuGrade6E/ihYFZA1.3444007853870223E-468.92414344754033512675.56666666665
STANFORD/sudoku/oJ1qyQ1.4096500462344798E-479.42803813079128563459.2666666667
DRESDEN/grid_game2/kypTYQ1.43125537220488E-4202.779722027797221416796.2333333334
BASE/sudokuGrade2/u80Tfw1.440742418927545E-485.74665911287366595156.0666666667
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1.4738712866557084E-47.32623095943099649707.4
BASE/sudokuGrade4/DTy07w1.481849418860309E-487.32460087324601589294.7
BASE/sudokuGrade5/BQfUQA1.5548563296644404E-489.0910908909109572986.0
BASE/simultaneousWin2/PfjRjw1.5574019473144649E-4143.00473238685595918226.2333333333
DRESDEN/hitori/S8Gsyg1.5742364962764184E-454.1044776119403343687.1
BASE/sudokuGrade1/tDRNRw1.5775701694017153E-495.06032931137923602574.3333333334
BASE/hitori/S8Gsyg1.6691452918508407E-457.96522086747951347274.86666666664
BASE/checkers-newgoals/0XkFiA1.9545323098417222E-448.28068772491004247019.13333333333
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2.0695689054080844E-410.17358682520506249158.0
BASE/nonogram_10x10_1/0Xc62g2.0759481656302089E-438.652494085501985186192.0
BASE/checkers/rOC3Xg2.1749998565708428E-452.16348556010792239832.13333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw2.2551799123573274E-4110.32965567814406489227.73333333334
STANFORD/duidoku/3SoMaA2.2977430482319324E-471.6427857380873311796.3333333333
BASE/checkersSmall/SYmq8w2.762959226674357E-484.39718676044131305459.4
BASE/gt_ultimatum/GE-uOA2.765719132669552E-4179.9640071985603650695.1666666666
STANFORD/madness/UO_B3A2.777656900604822E-435.1408966757711126512.73333333334
STANFORD/skirmish/w4V6Vw2.8073808773046075E-437.36512588250966133096.03333333333
DRESDEN/gt_ultimatum/pAiiQw2.87990264996421E-4177.80739753415529617407.6666666666
DRESDEN/satlike_20v_91c_version2/yd9ioQ2.959459517080936E-415.42115165160534252108.0
DRESDEN/tictactoe_3d_6player/ulZPWg2.9619696166688695E-471.03333333333333239817.9
BASE/nim3/1OwUqw2.9718659612090666E-4170.9609679677344575264.7333333333
DRESDEN/Zhadu/9zpQ5w3.001790703119666E-430.365654478184062101158.46666666666
BASE/tictactoe_3d_6player/d7KSwg3.0880844279337053E-475.61568967240977244862.76666666666
DRESDEN/nim3/sG_axA3.103394232265507E-4179.16763853253806577328.0
DRESDEN/nim4/F5YAYg3.177763324142553E-4184.3271890936969580053.2333333333
BASE/skirmish/Y_psYQ3.1831951521630767E-435.59050919754732111807.5
BASE/nim4/twk16w3.232656563666407E-4181.36062131262292561026.5666666667
BASE/strangeSkirmish/gc1zKA3.2701145556148273E-434.67341704693069106031.2
BASE/skirmishHoles/AUCxCA3.4275541887532666E-443.69126174765047127470.66666666667
DRESDEN/tictactoe_3d_2player/LMuX9w3.489877274659099E-4299.03333333333336856859.1666666666
BASE/futoshiki6/JmvXNA3.570404372339309E-4198.39338688710376555660.8333333334
BASE/tictactoe_3d_2player/IUC1rQ3.7007087766223435E-4310.6792880474635839512.9333333333
BASE/breakthrough/TGxk-g3.7594574761658575E-4315.95613479550684840430.1333333333
BASE/breakthroughSuicide/wZDpIg3.7978320125006134E-4316.1666666666667832492.5
BASE/breakthroughHoles/nZk0Sg4.054527366377424E-4365.53333333333336901543.6333333333
BASE/breakthroughWalls/vOZaYA4.069100400425007E-4329.98900036665447810963.0333333333
BASE/skirmishFinal2/gdB62Q4.166721919564691E-457.28281515545336137476.93333333332
STANFORD/multiplesukoshi/vLSQPg4.3012146776688756E-4495.016832772240951150876.8333333333
BASE/skirmishFinal1/ecWTnQ4.3295435086344695E-455.37784886045582127906.9
DRESDEN/nim2/z5_exA4.338338329552689E-4291.9138724085061672870.2333333333
BASE/checkersTiny/Lr48cg4.5396417872525655E-4185.92093860409307409549.8
BASE/hidato19/rRHSmA4.5990635805712594E-4209.36666666666667455237.6
BASE/nim2/eF2Qqw4.6795447095720165E-4306.302703063027654556.6333333333
DRESDEN/skirmishfinal/hzq8ww4.711658584418187E-462.543733964213125132742.5
DRESDEN/guess/PhxGhg4.7924599985178415E-426.2595017934120954793.36666666667
BASE/skirmishFinal3/-Olhfw4.902185237814978E-472.97324314418047148858.6
DRESDEN/slidingpieces/s9_44g5.080533939960589E-4220.83333333333334434665.6
BASE/slidingpieces/uFJWEw5.108335604479408E-4219.8430277.13333333336
DRESDEN/nim1/M9BALA5.507504647366703E-4399.2067195520299724841.3666666667
BASE/guess/SPpk1A5.563622206483361E-430.3080545147063754475.4
BASE/knightmove/jBaJEw5.572345304340025E-4533.9042351137916958132.0
BASE/breakthroughSuicideSmall/XSbJog5.611385478179008E-4464.43333333333334827662.5
BASE/pegEuro/5awwhg5.661451396864738E-4261.4405226144052461790.63333333336
BASE/speedChess/bPnisA5.752693444830885E-4117.49216718885408204238.53333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ5.834290278949239E-4194.44166749975008333273.9
BASE/futoshiki5/TJ4BZg5.845091711302645E-4358.8613848.3666666667
DRESDEN/knightmove/97Ipcw5.909855569413613E-4537.9666666666667910287.3333333334
BASE/skirmishNew/sibw2g5.937269574343712E-4118.64689218463589199834.1
BASE/nim1/hin2Qw5.963939700211551E-4427.8381441237251717375.0333333333
BASE/tictactoe_3d_small_6player/g_9lww6.009874272865241E-4198.56666666666666330400.7
BASE/skirmishZeroSum/zh4hcw6.052913369413265E-4118.66440067979606196045.1
DRESDEN/pentago_2008/hLjVpQ6.317606011663174E-4224.9591680277324356082.93333333335
DRESDEN/skirmish2/iPpWhQ6.762480655818488E-4174.0608646378454257392.03333333333
DRESDEN/peg/Vo31eg7.149623141959059E-4325.155828139062454787.36666666664
DRESDEN/peg_bugfixed/u_B7MA7.244015471218096E-4330.98896703443216456913.6666666667
BASE/peg/fJHVWw7.40124437153783E-4336.44423705086325454577.93333333335
STANFORD/alquerquezero/uVgA_A7.825553626038794E-4262.55791473617546335513.5333333333
DRESDEN/skirmish3/3LU8Nw8.0982963133679E-4178.11552178115522219941.96666666667
BASE/twisty-passages/DiZmmg8.115938609539129E-42238.16666666666652757742.2333333334
DRESDEN/skirmish/RjGQYQ8.189980568921537E-4181.94847181948472222159.83333333334
DRESDEN/twisty-passages/j7NPyg8.679050366120345E-42305.7666666666672656703.8666666667
DRESDEN/brawl/2kXtfQ8.952358095884247E-4137.21046492251293153267.4
BASE/brawl/6Ymo_Q9.054993970377077E-4134.13536841403672148134.13333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg9.507537704975283E-4827.0724309189694869912.3333333334
BASE/tictactoe_3d_small_2player/oOryKA9.521512083648544E-4814.7185281471852855660.8666666667
STANFORD/chinook/osFbPA9.742734242454492E-4254.11639224051729260826.56666666668
BASE/cittaceot/fDxhXg0.001042383368095879206.72644245191827198320.93333333332
BASE/ticTacHeaven/18n58A0.0010438463936658473373.43333333333334357747.4
BASE/chinook/XQh0IQ0.0010813645940139546276.32412252924905255532.8
BASE/qyshinsu/R08Lzw0.0010973747915524242283.03333333333336257918.56666666668
BASE/nonogram_5x5_1/qLKEZw0.0011153401416344874395.3201559948002354439.1
DRESDEN/towerworld/HCX34w0.001158124051701336542.9670585884155537100.566666666666
BASE/tpeg/QNs7Lw0.0011585952548448923419.2361817.4666666667
BASE/lightsOnSimultaneous/_VN6lw0.0011599861547654366941.2666666666667811446.4666666667
DRESDEN/mimikry/GJEhwA0.00116544048813179841011.1867568.9666666667
STANFORD/platformjumpers/HEQskA0.0011768207581072405444.137057529498377404.1666666667
DRESDEN/tpeg/h-Scbg0.0011843289939734237430.4363412.5333333333
BASE/2pttc/unkkYA0.0012042433499685411833.8666666666667692440.3333333334
BASE/lightsOnSimul4/9FeASw0.0012273060165664629669.7666666666667545721.0
BASE/ticTacHeavenFC/mrletw0.0012500534595758317451.1360864.56666666665
BASE/max_knights/2fq3Ag0.0012570556979400851022.4333333333333813355.6333333333
BASE/connect4/50bOyw0.00127114801527055727.5572317.3
STANFORD/checkersonabarrelnokings/Zrevdw0.0012749897267135613372.7875737475417292384.76666666666
STANFORD/multipletictactoe/_bkafQ0.00129593286545709541603.63333333333341237435.5
BASE/conn4/va9Y7A0.0013279998331479565870.2655271.1666666666
DRESDEN/max_knights/hCipiA0.00134558867422386441028.6333333333334764448.5666666667
BASE/blockerSerial/3eqDuw0.0013462334546443836778.3740541981934578186.5333333333
DRESDEN/connect4/T0-rHQ0.0013492868832863495805.4596907.9
BASE/futoshiki4/BaCwSw0.00137863600609013921020.3333333333334740103.5
BASE/checkersBarrelNoKings/rnKNeg0.0013958268754954341446.9517682743909320205.73333333334
BASE/checkersTorusNoKings/pwb6oQ0.00149204379050793427.46666666666664286497.4
BASE/minichess-evilconjuncts/4OpQzw0.00149995511326578419.93333333333334279963.93333333335
STANFORD/pentago/ZxzLmg0.001505141554557126552.2815906136462366930.0
DRESDEN/minichess-evilconjuncts/th24Tw0.0015068598334837414419.43870408639424278352.8333333333
BASE/dotsAndBoxes/EHwA_w0.00150771076231216671254.4666666666667832034.0333333333
BASE/connect5/d-BVQg0.00151277121594725751179.5333333333333779716.9333333333
DRESDEN/connect5/1kYzSg0.00154071801032834321192.8333333333333774206.1333333333
BASE/dotsAndBoxesSuicide/jzQbLw0.00154992346333372351292.2666666666667833761.6
STANFORD/freeforall/Lfp40Q0.0015878074283699568824.9725009166361519567.1
BASE/connectFourLarger/qKi60A0.0016070935052774561256.2333333333333781680.3
BASE/2pffa_zerosum/o0_uZA0.0016162559762693065802.3333333333334496414.76666666666
BASE/2pffa/6oHijA0.0016733339319221446828.7495238.86666666664
BASE/dualConnect4/WbCQkg0.00168931471233218921498.1333333333334886829.0333333333
BASE/tictactoex9/BI26ow0.0016911289075404877877.7333333333333519022.13333333336
DRESDEN/tictactoex9/rFkD4w0.0016986221193800637874.5333333333333514848.6666666667
BASE/cubicup/4wNWJA0.0017030222374807217640.5666666666667376135.23333333334
BASE/factoringMediumTurtleBrain/8RBqmQ0.0017663192192576592697.66666666666651527281.5
DRESDEN/cubicup/SBn_lw0.0017797064317505063637.3358092.76666666666
BASE/ticTacToeSerial/Amrwqw0.0018408253329213968961.6666666666666522410.6
BASE/racetrackcorridor/_RkdUg0.00185268444001786571255.7333333333333677791.2666666667
BASE/checkersTorus/2vm1EQ0.0018666270907319918420.99123420991236225535.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.00189382297971987353913.96666666666672066701.4333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.0019693405796998274057.16666666666652060165.0666666667
BASE/englishDraughts/jFkQxg0.001984770487064971599.9333333333333302268.36666666664
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.0020057592008277944063.43333333333342025882.9333333333
BASE/escortLatch/mX9BjQ0.002012664269568507991.9333333333333492845.9
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.00203391267217606543915.91925303.9
BASE/mummymaze2p/vpjDdA0.00204072831118400942228.71092110.1
STANFORD/breakthrough/d5j0cQ0.0020757960930200741666.8333333333333802985.1
DRESDEN/mummymaze2p/k-8edg0.0020843240688857492183.01047341.9333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.002123424649975523555.81674559.0666666667
DRESDEN/pawn_whopping/4ogBkg0.00221718167260048261823.5666666666666822470.5666666667
STANFORD/nineboardtictactoe/y28P-A0.00222703685418697371200.9666666666667539266.6333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.0022507146755133611750.6333333333334777812.2
BASE/withConviction/3Xm54A0.00226984793711723861448.0666666666666637957.5666666667
BASE/pacman3p/wW7UVQ0.0022906319086409981073.4308856371454468617.8
DRESDEN/chinesecheckers1/Y-ftaA0.00230803020561992253187.06666666666661380860.0333333334
BASE/connectFourLarge/aU644A0.0023300786963092352041.9876322.3333333334
BASE/connectFourSimultaneous/7ITr3g0.00236424483264926741231.7520969.73333333334
BASE/pawnWhopping/Ypc_6Q0.0024243060498610151771.9666666666667730917.0666666667
BASE/nineBoardTicTacToe/wRmqqA0.00242972617670198471296.1666666666667533462.0333333333
DRESDEN/blockerparallel/dVQgSg0.0024932521965217325491.7836072130929197245.83333333334
BASE/blockerParallel/7-nDJA0.0025303542596312786486.93420438637423192437.16666666666
BASE/pacman2p/4LEdQg0.0025362397654477941006.6396886.76666666666
BASE/3pConnectFour/PqXOFQ0.002537027172887321734.9666666666667683858.1333333333
BASE/connectFour_9x6/B9TtMw0.00261373897913920242508.3333333333335959672.4666666667
BASE/ticblock/T21C1g0.00264354746354515281895.1666666666667716902.8333333334
BASE/connectFourSuicide/c8p9Kw0.00264600469665667242650.06666666666661001535.1333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.0026480950860506351186.793773540882448168.86666666664
DRESDEN/ticblock/Z2yNWQ0.0026951585876874181924.5714058.1666666666
BASE/connectFour/WAIKTw0.00272878666504972922662.7975781.6666666666
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.002742557258803612996.9363492.86666666664
BASE/hanoi7_bugfix/3gdnFw0.002778641222374343382.8666666666671217453.5666666667
DRESDEN/hanoi7_bugfix/3gdnFw0.0028001785342959963365.6333333333331201935.2666666666
STANFORD/connectfour/VMpZkQ0.0028698952306196252806.133333333333977782.5
DRESDEN/endgame/IJhh3Q0.0029141463361517478499.56666666666666171428.13333333333
DRESDEN/hanoi7/51zz5Q0.00292972038933417633610.11232233.6333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.0029351654104022173563.7333333333331214150.7666666666
BASE/firefighter/WJmoPw0.002991149211563102312273.44103238.966666667
DRESDEN/smallest_4player/ADDROA0.003047598745671294962.6333333333333315866.1666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.0030932664325706193860.53333333333331248044.2333333334
BASE/smallest_4player/ADDROA0.0030981461177635025949.0666666666667306333.73333333334
DRESDEN/sat_test_20v_91c/dK7nVw0.00309846057307973773495.6333333333331128183.9
BASE/breakthroughSmallHoles/bxclRw0.0030985918854801832423.233333333333782043.4
DRESDEN/firefighter/WJmoPw0.00314558499289555512119.3507532329023852813.0
BASE/wallmaze/uxNQ9g0.00316863056964064371720.2542884.3666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.0031737618764587373417.96666666666671076944.9
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.00319755041512957353493.11092430.0
BASE/chineseCheckers1/gqtwHw0.00336483334661263735568.9333333333331655039.8666666667
DRESDEN/javastrike/whONTQ0.0033889427417705506223.3925535815472865918.06666666667
DRESDEN/racetrackcorridor/O0DoTA0.0033939738023035092062.0333333333333607557.2333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ0.0034942092826461272686.4666666666667768833.9333333333
BASE/4pttc/AL1k2Q0.003516730253933571719.4333333333333204574.5
DRESDEN/grid_game/U7_Yeg0.00363939014087761752210.133333333333607281.2333333333
STANFORD/duikoshi/tpw1sw0.0036510956216841711765.3333333333333483507.8333333333
DRESDEN/chinesecheckers2/06E6-Q0.0036725804652442532413.3657112.9
BASE/double_tictactoe_dengji/zgaSbA0.0038612178209503242664.0689937.7666666667
BASE/3pttc/0sol9g0.00388755110287234471001.5333333333333257625.76666666666
BASE/lightsOut/5P1ZBw0.0039351414197333172507.3333333333335637164.7333333333
BASE/chineseCheckers4/avfBcQ0.0039673330096261731446.2364527.0
BASE/gt_tinfoil/Q8DyKg0.00398230392416316651974.1069048253798495719.8
BASE/ticTacToeLarge/TZC0dg0.0040202215387690825319.9666666666661323301.8666666667
DRESDEN/lightsout/XgLpzQ0.0041480904344242572576.8621201.5
BASE/ticTacToeLargeSuicide/727_8g0.0041638106652119955462.9333333333331312003.3
DRESDEN/tictactoelargesuicide/6J4DeA0.0042019068463638185493.2849001899561307331.4333333333
BASE/incredible/8Qh-6Q0.0042192127676102617975.0666666666671890178.8333333333
BASE/hanoi/iGLsJg0.0042339425291149964874.7666666666661151354.0
DRESDEN/cubicup_3player/awDtsQ0.004247423922906963326.7006632670066376917.36666666667
BASE/cubicup_3player/e2yA_g0.004323224313575512342.255258158061479166.66666666667
DRESDEN/tictactoelarge/IwXcbg0.0043243279336652645483.1666666666671267981.2333333334
DRESDEN/lightsout2/LFtfyQ0.0043836729746382212654.5605542.4333333333
DRESDEN/hanoi/RQ0jiA0.0044029726154999745024.8666666666671141244.1333333333
BASE/chineseCheckers2/eCMR3Q0.0047337809963904334030.6666666666665851468.7666666667
DRESDEN/oisters_farm/pTQMLg0.00473500649744103717730.926770788243744646.7666666666
BASE/3pffa/pR0dzA0.004750370071322837964.8666666666667203114.0
BASE/chomp/-LcqYQ0.0049287617825025661924.1358621379288390389.3
DRESDEN/chinesecheckers3/QsCb2A0.0050638233774120422132.4666666666667421117.9
BASE/tictactoe_3player/GtM71g0.005176453811834772531.366666666667489015.6
DRESDEN/chomp/-LcqYQ0.0051848932348471451910.1333333333334368403.6
DRESDEN/tictactoe_3player/ESLQQQ0.0052449717536904522428.1666666666665462951.3333333333
DRESDEN/chinesecheckers6/yTbPDA0.0053338720635802861687.1316299.3
BASE/4pffa/Q3ADlg0.005370941731394645940.2175053.1
BASE/factoringEasyTurtleBrain/lUj94Q0.005417439108054498917.6333333333331646097.5666666667
BASE/duplicateStateLarge/dcjyuw0.0055119461077298717057.6666666666671280431.0
BASE/chineseCheckers6/rREH3A0.0055866566750347892145.3333333333335384010.23333333334
BASE/factoringGeorgeForman/HGRorQ0.00585243667214206212050.12058988.5333333334
DRESDEN/4pttc/9pB9AQ0.0058918010583050471454.9333333333334246942.03333333333
BASE/doubletoetictac/fu35bg0.0058966676994496142906.766666666667492950.73333333334
BASE/lightsOnParallel/SC6enA0.00611318925354942510309.2666666666661686397.4333333333
STANFORD/dualhunter/1rPZjQ0.006281726264175012792.633333333333444564.63333333336
BASE/chineseCheckers3/-1rZdQ0.0066015447331398583324.733333333333503629.6
DRESDEN/doubletictactoe/lJzgmQ0.0066681244431941832863.4333333333334429421.1
BASE/solitaireChineseCheckers/-ET6gw0.0067164173763431011564.0666666666666232872.16666666666
BASE/checkLines/Vop7oQ0.00674936422384744052820.8333333333335417940.6
BASE/doubletictactoe/HH1htg0.00685171764102986052925.4426958.63333333336
BASE/bunk_t/xbpfIA0.0068825018492437432920.366666666667424317.6
DRESDEN/bunk_t/7-tPfA0.0068855237752073052919.9424063.6
DRESDEN/doubletoetictac/V89gKQ0.0069812035659064092889.0333333333333413830.26666666666
BASE/ghostMaze2p/W-NU-w0.007027920233809736119.466666666666870736.5
STANFORD/hex/MTqWcw0.007116202927838628598.866666666666784155.36666666667
DRESDEN/stratego/Z2wovg0.0072022822721854651185.3164572.83333333334
BASE/hex/T1MK8g0.007306406969425188612.046265124495983768.43333333333
STANFORD/multiplebuttonsandlights/cK70Yg0.00749577488155842827000.03602029.2
BASE/rubiksCube/9tNO9Q0.007514696223360367946.5666666666667125962.06666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA0.0075238623994216227086.8333333333323600123.433333333
DRESDEN/tictactoeparallel/yk_DSg0.0076161674883105832373.9311692.2
DRESDEN/3pttc/uwYBZw0.0076837487416743932082.766666666667271061.26666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g0.00773927826982906917424.6684880389152251459.1
DRESDEN/3pffa/0YrmQw0.0078285637871088541951.4249266.66666666666
DRESDEN/aipsrovers01/qS47Mw0.00784359857450947112662.9677763337661614433.4333333333
BASE/ticTacToeParallel/ymRGPw0.0080684660607796022485.266666666667308022.2
DRESDEN/Thief_Police/CX18rA0.0082212938127892387296.066666666667887459.6666666666
BASE/sheepAndWolf/g4THrg0.0082265937375590671267.4154061.33333333334
BASE/snake_2009_big/-oRfVw0.0082584391984042422885.1666666666665349359.8
DRESDEN/sheep_and_wolf/enAIzQ0.008314370256003181270.1666666666667152767.63333333333
BASE/aipsrovers01/4C4jsw0.00844008182982852613033.9376263546871544290.4333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0084430269382582927384.166666666667874587.6
DRESDEN/brain_teaser_extended/ZDp94A0.0084921171922163256800.0800742.6
BASE/hexPie/48CH6Q0.008592575831010637562.065405.3
BASE/bomberman2p/4CClwA0.0086493855150717764047.2467917.63333333336
BASE/point_grab/V_osUg0.00876078113610245616168.1433615348741845513.9
DRESDEN/lightson2x2/gBHuig0.00881168787464320712840.235897777631457182.3333333333
DRESDEN/point_grab/r5DPmQ0.00883307142168798816009.616011474021812463.1
DRESDEN/snake_2009_big/DgC1NQ0.0090477516796954852783.9307689.7
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0090808162051644417638.933333333333841216.6
BASE/brain_teaser_extended/ZDp94A0.0094073030964940957411.666666666667787863.0666666667
DRESDEN/catch_me/ghGWrA0.0095348084781896597575.733333333334794534.4
DRESDEN/blocker/S815zQ0.0096954991742775619676.30693366208998020.5
DRESDEN/crissrace/KWb9bw0.009767179989623323854.666666666666687503.93333333333
STANFORD/hunter/14dD-g0.0098326815058393928480.166666666666862447.0
DRESDEN/latenttictactoe/kITHKg0.0098881801666614746274.166666666667634511.7666666667
BASE/blocker/dIWtxg0.010062044685004369985.333333333334992376.1666666666
DRESDEN/frogs_and_toads/GjchhQ0.0100846177889940621440.0333333333333142795.03333333333
BASE/crissrace/ERWGDA0.010249496364303935879.333333333333485792.83333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.01038186242683048614837.81429204.0666666667
BASE/lightsOn/MsXu3A0.01044659250554611821637.0666666666662071208.0666666667
DRESDEN/minichess/c7GMFw0.0104682854386268322879.266666666667275046.63333333336
BASE/duplicateStateMedium/U163eQ0.01048481677314891917455.644758319731664849.7666666666
DRESDEN/logistics/fPru1Q0.0105238555443819915227.633333333333496741.26666666666
BASE/numbertictactoe/rvJ-iQ0.0108352269830518364760.6439363.2
BASE/tictactoe2/bhrDoQ0.0110920528203523413908.6666666666661253930.8
STANFORD/bestbuttonsandlights/nm0wEA0.01146066282098685524406.3593640635952129576.6
DRESDEN/crisscross/GsY16g0.0122102348971882631403.7114960.93333333333
BASE/stateSpaceMedium/3bUoIw0.01237910496892860617982.051282051281452613.2
DRESDEN/statespacemedium/dVJZ_w0.01238015067681301118024.8333333333321455946.2
BASE/beatMania/qUHwvQ0.0125578018197375112305.889803673212979939.8
STANFORD/dualrainbow/G3OnRQ0.01282874436264237611392.933333333332888078.6
DRESDEN/smallest/9kaGFw0.013079637373219573152.0847915208479211627.6
BASE/ticTacToeNoVars/XT03NA0.01387006747986614117212.11240952.8666666667
BASE/stateSpaceLarge/0Ge_CQ0.01406492344929661414411.8666666666671024667.2666666667
BASE/snake_2008/i6K26g0.0142245856954011745379.566666666667378187.93333333335
BASE/chickentictactoe/DSlZCA0.0143163268066902628980.57120005332627295.7666666667
BASE/knightfight/SJRkAg0.014333449454957353397.2237012.03333333333
DRESDEN/cube_2x2x2/fp-34Q0.0143346818083840444010.1279748.1
DRESDEN/statespacelarge/8-y5HQ0.01436448275133413214343.4998532.3
BASE/crisscross/ICagEg0.0145703811460396181463.6666666666667100454.93333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA0.01467474605085724823130.0666666666661576181.7333333334
BASE/snake_2008_tweaked/bX0NJQ0.0147116330813632795497.666666666667373695.2
DRESDEN/snake_2009/zIYLVw0.0147322822900282854911.866666666667333408.4
BASE/snake_2009/7l-qAQ0.0150396191023578364891.466666666666325238.73333333334
DRESDEN/snake_2008/E56l3A0.0151230593939420165593.2369845.8
DRESDEN/chickentictactoe/Ipbo-g0.0152612775899365369157.133333333333600024.0333333333
DRESDEN/knightfight/4_Ly4w0.0154175640684364633610.233333333333234163.66666666666
STANFORD/knightstourbig/TQUI2g0.01582607011521044315286.066666666668965878.8666666667
BASE/chickentoetictac/l57rfQ0.0159220774098762312837.933333333332806297.6333333333
BASE/coloredtrails/EZvr7g0.016442128607726246204.966666666666377382.2
BASE/kitten_escapes_from_fire/uW-YiA0.01648539775022490224062.7333333333341459639.2333333334
DRESDEN/Runners/3bOCQw0.01674604423342207514274.005464116746852380.7333333333
DRESDEN/hanoi_6_disks/MeubgQ0.0167623317533004822392.11335858.3
DRESDEN/eotcatcit/mQUxzA0.01701637898333729213794.2810642.5
DRESDEN/chickentoetictac/cxYaRQ0.0171113390332812712851.233333333334751036.1
STANFORD/untwistycorridor/EDPPAQ0.01720275388494930362966.323138297873660246.7
STANFORD/tictactoe/ss1kyQ0.01739688836386697713159.966666666667756455.2
STANFORD/rainbow/_4qNSQ0.0175839762598345427439.71560494.6
DRESDEN/tictactoe/BTTzPw0.01796314529214667814435.570961935871803621.5666666667
BASE/ticTacToe/JRFsaQ0.0182622710497277514129.916011198507773721.7333333333
BASE/toetictac/mTThmg0.01846018846510082520563.2666666666661113925.0666666667
BASE/hanoi_6_disks/MeubgQ0.01846487094339649823894.5333333333331294053.6333333333
DRESDEN/tictactoe_orthogonal/y69QFQ0.0186369201528639514214.866666666667762726.1666666666
BASE/gt_coordination/IVMOzA0.01913978700434456520666.01079740.3333333333
STANFORD/trifecta/ss1kyQ0.01918286646405225813533.3705488.9333333333
DRESDEN/blobwars/ZaMluQ0.019406463201887138382.920569314356219731.6
BASE/eotcatcit/AfZSzA0.01953639059116304313515.233333333334691797.8666666667
BASE/tictactoe_orthogonal/WRzlVw0.019613604041939914951.333333333334762294.0333333333
BASE/blobwars/0XT15Q0.019897892168597792384.4743683754416619322.366666666665
BASE/untwistycomplex2/EDPPAQ0.0199104328884801962828.033333333333155533.2666666666
DRESDEN/toetictac/mJtxCA0.01996298036802542820935.6333333333351048722.8333333333
BASE/quartoSuicide/-23jUg0.0201236625325871352218.233333333333110230.1
BASE/quarto/EwBMVQ0.0201460816132037652266.133333333333112485.06666666667
DRESDEN/chinesecheckers4/-oVNYg0.020543803224509341088.233333333333352971.36666666667
BASE/knightsTourLarge/M8jgLA0.0210137460966754719301.6918522.5666666667
DRESDEN/quartosuicide/WIU1oQ0.021554794223292172251.5333333333333104456.26666666666
DRESDEN/vacuumcleaner_random/_6AGDA0.02164467179769762901.5134051.46666666667
DRESDEN/quarto/OQzRYQ0.0221325716437893242287.9103372.53333333334
BASE/gt_chicken/gmepTQ0.0227288675051733869641.733333333334424206.5
DRESDEN/gt_chicken/CeuKtw0.0233182359793727259813.566666666668420853.73333333334
DRESDEN/tictictoe/LAUtwg0.0233190290719553777941.866666666667340574.5
BASE/sum15/QZ07Kg0.02350636299147376415968.5679326.7
BASE/ticTicToe/c1OobQ0.0237252696707155047945.133333333333334880.63333333336
BASE/eotcitcit/V_9_bg0.023853788493957127935.366666666667332666.93333333335
STANFORD/tictictoe/rpt_Dw0.023917135478801187929.1498650314925331525.9
DRESDEN/sum15/CsgWKg0.02401231166040618316099.666666666666670475.5
DRESDEN/roshambo2/jgSlkQ0.02602964566753319219717.903435407017757517.1666666666
BASE/roshambo2/KNPokQ0.02633603534283305419519.652255012992741176.5666666667
DRESDEN/gt_prisoner/huCp4w0.02725593137806228711276.8413737.4666666667
BASE/gt_staghunt/xPjLRA0.02762276862111080811433.566666666668413918.2
BASE/gt_prisoner/klthDw0.02853192383635270311515.266666666666403592.36666666664
DRESDEN/circlesolitaire/ruUilQ0.03101976139517742526886.264450144918866746.3333333334
BASE/circlesolitaire/azuQFQ0.03113436977898119827337.266666666666878041.4333333333
DRESDEN/blocks2player/3ev8nQ0.0327382614617951319109.133333333335583694.2
BASE/snakeAssemblit/UO4sdg0.03338639899984711361.066666666666640767.1
BASE/blocks2player/wnTLOQ0.0334711664559495519372.11705105986578770.3
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.0368747082633839676214.3261891270295168525.43333333332
STANFORD/eightpuzzle/W_aWbA0.037519232807178287458.533333333334198792.26666666666
STANFORD/8puzzle/jNiGtw0.038085795601027628011.833333333333210362.76666666666
DRESDEN/8puzzle/8fKC2w0.0390589536020087861.6201275.23333333334
BASE/eightPuzzle/vLrgFg0.0394502210704328758140.633333333333206352.03333333333
DRESDEN/vacuum_cleaner_1/eUNjpw0.043681437574544626330.8002533080025144931.13333333333
BASE/kalaha5x2x3/WviNsw0.0515233891886123655294.933333333333102767.56666666667
DRESDEN/knightstour/cGISAA0.05257361177395586466922.133333333331272922.5
BASE/knightsTour/mvtVIg0.05286568685290634569530.033333333341315220.4666666666
STANFORD/knightstour/cEwgNA0.0539338600251082169221.833333333331283457.8
BASE/tron_10x10/7ZTgDg0.0626754656530731823652.266666666666377376.8
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0638758237390753110735.933333333332168075.06666666668
BASE/kalaha6x2x4/XS81Mg0.069644115705112664541.74582541745865213.63333333333
BASE/pancakes/yUgbXw0.0840143791187672521678.426277566792258032.33333333334
DRESDEN/pancakes/hl9aiQ0.0844829491909850322038.433333333334260862.5
DRESDEN/pancakes6/SZXMyQ0.0846560647319570721731.7256705.76666666666
BASE/pancakes6/QZTdnw0.0870597369137423721474.1169812577246659.56666666668
STANFORD/knightstourmedium/x1wu8Q0.12731324401579325162512.733333333341276479.4
DRESDEN/Travelers-Dilemma/PvZwYw0.1677307770232875725.64247858404724326.233333333334
DRESDEN/kalaha_2009/gcC8uA0.173290799246578734434.525589.933333333334
BASE/kalaha_2009/dRiN3g0.176739032159169474535.125659.866666666665
BASE/survival/YVIjJA1.17792566886744862717466.23333333342306992.966666667
BASE/onestep/xi53wA1.24858951485613232757836.22208761.3
BASE/snake2p/I3wWPQ1.2775702441256573732503.0333333333573356.3666666667
STANFORD/buttonsandlights/eyhJpA1.3688342306109124044583.5666666672954765.066666667
DRESDEN/2player_normal_form_2010/NG_Kdg1.39662835103855242054130.06666666671470777.8666666667
DRESDEN/buttons/ADUaHw1.61284573309013314008327.62485251.7
BASE/haystack/UkweGA1.67799267191927884842738.5333333332886030.8
BASE/buttons/hTcUjw1.68187259950316834066997.63333333332418136.566666667
STANFORD/sukoshi/4LYZZQ1.69632517466176251670822.0984965.6333333333
BASE/switches/tPUoCg1.81464522356500952289665.26666666661261770.2
BASE/duplicateStateSmall/bCPAXw1.90540468089407033927105.82061035.0333333334
BASE/troublemaker02/DI83KA2.01469327072784444228725.7333333332098942.7
BASE/troublemaker01/s3tlEQ2.102020250679044616635.9666666672196285.2
BASE/hodgepodge/9yjRkw2.1024342204872522815627.63333333331339222.7
BASE/stateSpaceSmall/Q7osKA2.1042373654059963937888.5333333331871408.9
DRESDEN/statespacesmall/h-NqjA2.1347629248627693862987.4333333331809562.7333333334
BASE/pearls/6k_mEQ2.14654500413495966619832.63083947.7333333334
DRESDEN/troublemaker02/iZLVuA2.17570646081768754296337.2333333331974686.0666666667
DRESDEN/troublemaker01/C-lPWw2.17805706055668764747313.9333333342179609.533333333
BASE/maze/cCX3qQ2.8902021267929116570389.3666666662273332.1333333333
STANFORD/tictactoe7/-bE9-A2.89092949684458842162157.2747910.7333333333
BASE/blocksWorld/SEdXLQ2.9274077669879914530110.5333333331547481.9
DRESDEN/blocks/vg0DRw3.08945220954650654489597.11453201.6666666667
BASE/blocks/xIV5hQ3.15995838041410874466503.6333333341413469.1333333333
STANFORD/tictactoe3/X7myng3.5741292309871254010756.5333333331122163.2666666666
BASE/gt_centipede/9fRMpw3.7206654054183424000706.01075266.2666666666
BASE/gt_dollar/TGjqRw3.7996452120507783732660.6333333333982370.8333333334
DRESDEN/tictactoe-init1/3ltIBQ4.1935611626247413705337.2666666666883577.7333333333
STANFORD/tictactoe5/WFRReg4.2224144847721013715433.4879931.0
BASE/tictactoe-init1/7M19vA4.3891752653406613716897.433333333846832.7666666667
STANFORD/3puzzle/41ibjA4.8083876712614215284182.61098951.0333333334
STANFORD/threepuzzle/41ibjA4.9375142130298315364334.6666666671086444.4
BASE/blocksWorldSerial/Wyg96Q5.9765945113823734842587.5810258.6666666666
BASE/coins_atomic/AA3SSw6.5671250384219853003224.8666666667457311.9666666667
BASE/coins/QnGtnQ7.298348637903663113456.066666667426597.3333333333
BASE/blocksWorldParallel/RseaAQ7.3836602424477493212132.6666666665435032.56666666665
DRESDEN/blocksworldparallel/2JfVaw7.7092413414449463315571.5430077.5333333333
DRESDEN/coins/QwFP9w7.7105864989325493245336.7666666666420893.63333333336
BASE/minichess/8NQEiA12.1785356648504332890836.466666667237371.43333333332

Games with errors:

GamePALAMEDES_JOCULAR:0.6.1 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
BASE/gt_two_thirds_2p/1APDGgIllegalArgumentException: bound must be positive
DRESDEN/breakthroughsuicide_v2/LU1nAwException of type NullPointerException
BASE/biddingTicTacToe/8mESVwIllegalArgumentException: bound must be positive
BASE/queens/HyJJnQTest process timed out after 240 seconds
DRESDEN/backgammon/mqCW0QException of type NullPointerException
BASE/ttcc4_2player_small/Cv72TAException of type NullPointerException
BASE/ttcc4/Le0qjQException of type NullPointerException
BASE/amazons_8x8/7SOsIwException of type NullPointerException
BASE/amazonsSuicide_10x10/XIbQkgException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/snakeParallel/RCVNtwException of type NullPointerException
DRESDEN/connectfour/5tc-MgException of type NullPointerException
DRESDEN/breakthroughsuicide/Y9QzqQException of type NullPointerException
BASE/othello-comp2007/86ZoMwException of type NullPointerException
DRESDEN/knightthrough/J7Fc_QException of type NullPointerException
DRESDEN/ghostmaze2p/HY0UwAException of type NullPointerException
BASE/zhadu/DlA8iQClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact
BASE/asteroidsParallel/WauZiAException of type NullPointerException
BASE/biddingTicTacToe_10coins/a-9ccQIllegalArgumentException: bound must be positive
BASE/pentago/86NgKwException of type NullPointerException
BASE/gt_attrition/kD_SCAIllegalArgumentException: bound must be positive
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
BASE/catcha_mouse/cHv4dwException of type NullPointerException
BASE/mineClearingSmall/frsbvwException of type NullPointerException
DRESDEN/bidding-tictactoe/yW5vTAIllegalArgumentException: bound must be positive
BASE/knightThrough/gcwFjAException of type NullPointerException
DRESDEN/pacman3p/rBnk8QException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
STANFORD/pilgrimage/ObRZnQException of type NullPointerException
DRESDEN/catcha_mouse/cHv4dwException of type NullPointerException
BASE/queens08ug/kJ_ZFQTest process timed out after 240 seconds
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/mummyMaze2p_2007/YGA3VwException of type NullPointerException
BASE/ruleDepthLinear/OUBJpQException of type NullPointerException
DRESDEN/tttcc4/sAvtFgException of type NullPointerException
BASE/ttcc4_2player/_aH_MwException of type NullPointerException
BASE/wargame01/_GZFZgException of type NullPointerException
STANFORD/ttcc4/Cx9SGwException of type NullPointerException
BASE/wargame03/klXI8wException of type NullPointerException
DRESDEN/mummymaze2p-comp2007/oTQRQgException of type NullPointerException
BASE/pentagoSuicide/SBgNhwException of type NullPointerException
BASE/shmup/ssTNlgException of type NullPointerException
DRESDEN/bomberman2p/x4h6jQException of type NullPointerException
BASE/majorities/ibJzSQIllegalArgumentException: bound must be positive
BASE/ttcc4_2player_alt/ZEJvYAException of type NullPointerException
DRESDEN/babel/WdSW4AException of type NullPointerException
BASE/choicethroughalt/tt71LgException of type NullPointerException
DRESDEN/capture_the_king/EQ229QException of type NullPointerException
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/queens06ug/7Lq3twTest process timed out after 240 seconds
BASE/wargame02/BkVqqQException of type NullPointerException
BASE/colonelBlottoVariant/X-n-KQIllegalArgumentException: bound must be positive
BASE/asteroidsSerial/id2QkAException of type NullPointerException
DRESDEN/SC_TestOnly_enabled/09o7gQException of type NullPointerException
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQIllegalArgumentException: bound must be positive
DRESDEN/connectfoursuicide/M9CNQgException of type NullPointerException
BASE/asteroids/BKCmPQException of type NullPointerException
BASE/amazonsTorus_10x10/Uxc08gException of type NullPointerException
BASE/factoringMutuallyAssuredDestruction/NH0LGgException of type NullPointerException
BASE/amazons_10x10/Bun8dAException of type NullPointerException
DRESDEN/Goldrush/VeWczQException of type NullPointerException
DRESDEN/breakthrough/z4hK7QException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/tttcc4/8Bs2lgException of type NullPointerException
DRESDEN/queens/mW2wHQTest process timed out after 240 seconds
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
BASE/colonelBlottoVariant2/jruwGwIllegalArgumentException: bound must be positive
BASE/breakthroughSmall/HJ0tIAException of type NullPointerException
BASE/battlebrushes/arCwyAException of type NullPointerException
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/endgame/jYjfOAException of type NullPointerException
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
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/laikLee_hex/zbyscQException of type StackOverflowError
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
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
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
BASE/racer4/0vs7WwException of type NullPointerException
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
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/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/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/battlebrushes/QHXV4AException of type NullPointerExceptionException of type NullPointerException
DRESDEN/god/2EDD5wTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/amazons/RKKZjwException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type NullPointerExceptionOutOfMemoryError: GC overhead limit exceeded
BASE/alexChess/LNo83gException of type StackOverflowErrorTest process timed out after 240 seconds
DRESDEN/amazons/dNB28AException of type NullPointerExceptionTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QIllegalArgumentException: bound must be positiveTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/knightwar/DVGY4QException of type NullPointerExceptionException of type NullPointerException
BASE/slaughter/cOch8AException of type NullPointerExceptionTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAException of type NullPointerExceptionOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/knightazons/02I8BQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/knightazons/apnJBQException of type NullPointerExceptionTest process timed out after 240 seconds

index