index

PALAMEDES_JOCULAR:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JOCULAR:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.00278456964052585820.1784492757933557364.0850468224081
STANFORD/selectivesukoshi/3xmXYg0.031941275466205634.199213014623833131.46666666666667
BASE/golden_rectangle/_nYzfw0.047748393351567884.796802131912059100.45996933537764
BASE/battlebrushes/arCwyA0.060777685143167380.289629731254096754.765395894428153
BASE/blokbox_simple/JBx4bg0.070055789316889870.34629308987879744.943104535049597
DRESDEN/ggp-course2013_michal13/jWKddg0.071950962227253087.913023240349769109.97800439912018
BASE/quad_7x7/q-JOXg0.09667826893645462.273116124459218423.51217237819296
BASE/colonelBlotto/jip21A0.140314282388546150.051216389244558260.3650119458455004
DRESDEN/quad_7x7/q-JOXg0.16027103718939523.759773748128431223.458847050983007
BASE/simultaneousWin2/PfjRjw0.30453470871224203143.00473238685595469.58434718842705
BASE/copolymer_4/2LDVhQ0.35797361952048320.01665278934221355.91655836582358
BASE/copolymer_4_pie/IN5_jA0.393578783793344522.5228226827480557.225703239568055
DRESDEN/grid_game2/kypTYQ0.4666406719763707202.77972202779722434.55218159394684
BASE/sudokuGrade6H/ieE_9A0.545326917330502367.99773340888638124.69168722085195
BASE/sudokuGrade6E/ihYFZA0.565800273597811368.92414344754033121.81709105452606
DRESDEN/CephalopodMicro/H3XQfg0.586934129912635515.21862199873455725.92901183136144
BASE/sudokuGrade3/eI8dvg0.607362658556830874.51346307651293122.68364218104253
STANFORD/sudoku/oJ1qyQ0.643901493660667679.42803813079128123.3543312335433
BASE/factoringImpossibleTurtleBrain/kcBhdw0.68272846078861951.94117259985523452.843257182530499
BASE/ad_game_2x2/D0aWqg0.69739162531271780.020506090308821720.029403981299067895
BASE/sudokuGrade2/u80Tfw0.697502235472787485.74665911287366122.93388429752066
BASE/quad/tw-Ufg0.70573556814327081.4637478450378952.074074074074074
BASE/sudokuGrade5/BQfUQA0.719321851453175489.0910908909109123.85428123854281
BASE/sudokuGrade4/DTy07w0.72651840011044287.32460087324601120.19599346688443
BASE/sudokuGrade1/tDRNRw0.765354253191992795.06032931137923124.20435231779251
DRESDEN/quad/JPe6fg0.78248012799417821.59658289790163392.0404133482524847
BASE/cephalopodMicro/9l2D3g0.81870677163256917.31428761695468321.148338106973956
DRESDEN/quad_5x5/JAEP5g0.84111027841800894.8830380415058245.8054670912951165
DRESDEN/slidingpieces/s9_44g0.8514613588656128220.83333333333334259.3580213992867
BASE/slidingpieces/uFJWEw0.8522967299987075219.8257.8914036198793
STANFORD/duidoku/3SoMaA0.92595677983881971.642785738087377.37163040218587
BASE/chess_200/XsTpYA0.93054630471982162.95665735265449353.177335010260144
DRESDEN/peg/Vo31eg0.9494233728299891325.155828139062342.4771681887874
DRESDEN/peg_bugfixed/u_B7MA0.963361562763585330.98896703443216343.57709486034264
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.9773552270053614194.44166749975008198.94677198946772
BASE/tictactoe_3d_small_6player/g_9lww0.9962866666666665198.56666666666666199.30675909878684
BASE/ticTacHeaven/18n58A1.0901404527910221373.43333333333334342.5552481583947
BASE/quad_5x5/JAEP5g1.11339704696567136.1810154525386315.551492586929061
DRESDEN/blockerparallel/dVQgSg1.1614192093515538491.7836072130929423.43333333333334
BASE/blockerParallel/7-nDJA1.1614336989820013486.93420438637423419.2526915769474
BASE/hidato37/pBrqxw1.184278616300220821.1915233906437417.894035321559482
DRESDEN/Zhadu/9zpQ5w1.185089755785773830.36565447818406225.623084099693457
DRESDEN/tpeg/h-Scbg1.244170360377722430.4345.93333333333334
BASE/tpeg/QNs7Lw1.2467948051948052419.2336.2221259291357
DRESDEN/ggp-course2013_jordi/9QI6Kw1.2897867694762077110.3296556781440685.54100436535705
BASE/futoshiki6/JmvXNA1.4936010037641154198.39338688710376132.82890570314322
BASE/ticTacHeavenFC/mrletw1.50463612716763451.1299.80670532560157
BASE/hidato19/rRHSmA1.5216107961886305209.36666666666667137.59541348621713
BASE/ticblock/T21C1g1.56850033105274791895.16666666666671208.2666666666667
DRESDEN/pentago_2008/hLjVpQ1.6565476290701944224.9591680277324135.8
DRESDEN/tictactoe_3d_6player/ulZPWg1.690491937615648971.0333333333333342.01932689103632
BASE/ticTacToeSerial/Amrwqw1.7652817720124825961.6666666666666544.7666666666667
BASE/futoshiki5/TJ4BZg1.816826122173473358.8197.487252974306
DRESDEN/ticblock/Z2yNWQ1.83030053258939881924.51051.4666666666667
DRESDEN/cubicup_3player/awDtsQ1.8390856849274422326.70066326700663177.64298093587522
BASE/lightsOnSimul4/9FeASw1.8399111589292798669.7666666666667364.0211992933569
BASE/conn4/va9Y7A1.8701912744465936870.2465.3
BASE/lightsOnSimultaneous/_VN6lw1.8711198824984538941.2666666666667503.0498983367221
BASE/tictactoe_3d_6player/d7KSwg1.891399611531109175.6156896724097739.97869578243068
BASE/cubicup_3player/e2yA_g1.930502398055679342.2552581580614177.28818078794748
DRESDEN/javastrike/whONTQ2.0543488677050226223.39255358154728108.7412936981371
BASE/cittaceot/fDxhXg2.084844858112573206.7264424519182799.1567509915675
DRESDEN/pawn_whopping_corrected/7Ov0jQ2.09631581048177871750.6333333333334835.1
BASE/blockerSerial/3eqDuw2.1001888659052077778.3740541981934370.62097930068995
DRESDEN/battlesnakes2011/93VtTw2.1261649373108518546.3333333333334256.95717380436594
DRESDEN/tictactoeparallel/yk_DSg2.18309729630310832373.91087.4
DRESDEN/pawn_whopping_simultaneous/r8dLfw2.2048805662046593996.9452.1333333333333
DRESDEN/battlesnakes1509/-qZrLw2.219576497309694559.1666666666666251.92493583547216
BASE/doubletictactoe/HH1htg2.2427169579883472925.41304.4
DRESDEN/doubletictactoe/lJzgmQ2.25508623631638372863.43333333333341269.7666666666667
DRESDEN/doubletoetictac/V89gKQ2.2671532082973662889.03333333333331274.3
BASE/othelloSuicide/B442jg2.29785620386287764.398826979472141.9143177767509407
DRESDEN/bunk_t/7-tPfA2.31854635928112042919.91259.3666666666666
BASE/doubletoetictac/fu35bg2.35029512438347332906.7666666666671236.7666666666667
BASE/bunk_t/xbpfIA2.3526047261009672920.3666666666671241.3333333333333
DRESDEN/towerworld/HCX34w2.392762951001634642.9670585884155517.957089552238806
BASE/strangeSkirmish/gc1zKA2.420930232558139734.6734170469306914.322352862805182
DRESDEN/pawn_whopping/4ogBkg2.45863107276077471823.5666666666666741.7
BASE/withConviction/3Xm54A2.47208786206111641448.0666666666666585.7666666666667
STANFORD/triplesukoshi/Iu9mbA2.473167739957068806.5326.1
BASE/othelloHoles/c0qAzw2.49916588694401964.8312375909993381.9331400193314001
DRESDEN/lightsout/XgLpzQ2.6125925174896082576.8986.3
DRESDEN/lightsout2/LFtfyQ2.73302903425080632654.5971.2666666666667
DRESDEN/tictactoex9/rFkD4w2.7429168844746474874.5333333333333318.8333333333333
BASE/tictactoex9/BI26ow2.779488888888889877.7333333333333315.7894736842105
BASE/skirmishHoles/AUCxCA2.82132799246602343.6912617476504715.486062543710661
DRESDEN/cubicup/SBn_lw2.870816411411411637.3221.99260024665844
BASE/cubicup/4wNWJA2.8877942366431326640.5666666666667221.81866648895405
BASE/double_tictactoe_dengji/zgaSbA2.9545179106132862664.0901.6699443351888
BASE/futoshiki4/BaCwSw2.9916947159238991020.3333333333334341.0552981567281
DRESDEN/double_tictactoe_dengji/bGaUyQ3.0239381659912952686.4666666666667888.4
BASE/tictactoe_3d_small_2player/oOryKA3.0415076959203033814.7185281471852267.8666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg3.065123277031388827.0724309189694269.8333333333333
STANFORD/duikoshi/tpw1sw3.14339981006647661765.3333333333333561.6
BASE/checkers-mustjump-torus/uSApKQ3.27098975285589734.7781796462819791.4607748746721556
DRESDEN/quad_5x5_8_2/JRTLJg3.30881287559551267.353405289402262.222369643094069
BASE/nonogram_10x10_1/0Xc62g3.435497713954587738.65249408550198511.250915385127488
BASE/factoringGeorgeForman/HGRorQ3.63765622169896812050.13312.6
DRESDEN/sheep_and_wolf/enAIzQ3.72932767338683441270.1666666666667340.58864704509847
BASE/skirmishFinal1/ecWTnQ3.845940327572674555.3778488604558214.399040063995734
BASE/lightsOut/5P1ZBw3.862119799421542507.3333333333335649.2116929435686
BASE/pegEuro/5awwhg3.905731411262391261.440522614405266.93766034718288
BASE/skirmishFinal2/gdB62Q3.914673661682816657.2828151554533614.632845571814272
STANFORD/alquerquezero/uVgA_A3.9537823066041637262.5579147361754666.4067706250833
STANFORD/multiplesukoshi/vLSQPg3.9700588168044764495.01683277224095124.68753124687531
DRESDEN/skirmishfinal/hzq8ww4.18430116826502962.54373396421312514.947235260827592
DRESDEN/minichess-evilconjuncts/th24Tw4.288882263563706419.4387040863942497.79674010866304
BASE/minichess-evilconjuncts/4OpQzw4.319396548965832419.9333333333333497.22037061725104
DRESDEN/smallest/9kaGFw4.360635569680854152.0847915208479234.87674883411059
BASE/skirmish/Y_psYQ4.55558517728605735.590509197547327.8125
BASE/skirmishFinal3/-Olhfw4.55665562959555272.9732431441804716.014649575495255
DRESDEN/brain_teaser_extended/ZDp94A4.6220772158781946800.01471.2
DRESDEN/blocker/S815zQ4.6664288839033959676.306933662082073.6
DRESDEN/fizzbuzz/t1xHzQ4.68081342244632730.4928849935015166.514441453119288
DRESDEN/ggp-course2013_nicolai/uEin8g4.772238564019493125.0583294447036926.205380927011188
BASE/qyshinsu/R08Lzw4.775133483230279283.0333333333333659.272339574865065
BASE/brain_teaser_extended/ZDp94A4.80725574557326057411.6666666666671541.7666666666667
DRESDEN/latenttictactoe/kITHKg4.944311644645256274.1666666666671268.9666666666667
BASE/ticTacToeParallel/ymRGPw4.9584681297244582485.266666666667501.2166261124629
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw4.95891681160237056.3600945689454231.282557221783741
DRESDEN/chickentictactoe/Ipbo-g4.971209351984229157.1333333333331842.0333333333333
BASE/peg/fJHVWw4.988982651485948336.4442370508632567.43744377436444
BASE/nineBoardTicTacToePie/B8LzeQ5.1674620038064531186.793773540882229.66666666666666
BASE/breakthroughSuicideSmall/XSbJog5.19393297304013464.4333333333333489.41843026162306
DRESDEN/stratego/Z2wovg5.3163956645238451185.3222.95180321311912
BASE/nim3/1OwUqw5.54745238221789170.960967967734430.81792437114776
BASE/factoringMediumTurtleBrain/8RBqmQ5.65133005143961052697.6666666666665477.35075497483416
BASE/checkers-cylinder-mustjump/rjr6qQ5.6937824435411557.0223316803674241.2333333333333334
DRESDEN/nim3/sG_axA5.7293574890484775179.1676385325380631.27185533020282
BASE/nim4/twk16w5.839344983207284181.3606213126229231.05838443081845
BASE/numbertictactoe/rvJ-iQ5.84361702127659654760.6814.6666666666666
DRESDEN/nim4/F5YAYg5.950993389826074184.327189093696930.97418817651957
DRESDEN/tictactoelarge/IwXcbg6.1068829818829825483.166666666667897.8666666666667
STANFORD/nineboardtictactoe/y28P-A6.1307131132664061200.9666666666667195.8934702176594
DRESDEN/othello-cornercontrol/r5Gdlg6.2647487936085633.41534584521520.5451688419972421
BASE/connectFourSimultaneous/7ITr3g6.3618396970218631231.7193.607518997467
DRESDEN/eotcatcit/mQUxzA6.39548109912527413794.22156.866666666667
DRESDEN/mimikry/GJEhwA6.3978775458570521011.1158.03678528588566
BASE/snakeAssemblit/UO4sdg6.4880971083571651361.0666666666666209.77902209779023
BASE/eotcatcit/AfZSzA6.49406582846160113515.2333333333342081.1666666666665
DRESDEN/tictactoe_3d_2player/LMuX9w6.525885987878788299.0333333333333645.822641383677144
BASE/nineBoardTicTacToe/wRmqqA6.5341959334565621296.1666666666667198.36666666666667
BASE/englishDraughts/jFkQxg6.664124324324323599.933333333333390.02433090024331
BASE/pawnWhopping/Ypc_6Q6.6831321055939661771.9666666666667265.14015265140154
DRESDEN/crisscross/GsY16g6.7563618963580941403.7207.75974134195528
DRESDEN/tictactoelargesuicide/6J4DeA6.7890972647976725493.284900189956809.1333333333333
BASE/connect4/50bOyw6.884292809839168727.5105.67534242010197
BASE/tictactoe_3d_2player/IUC1rQ6.929579187043796310.679288047463544.83378855505962
BASE/sum15/QZ07Kg6.97233218839145315968.52290.266666666667
BASE/crisscross/ICagEg6.9789357385039211463.6666666666667209.72634245525148
BASE/lightsOnParallel/SC6enA7.07098927730400710309.2666666666661457.9666666666667
DRESDEN/sum15/CsgWKg7.15328791469194316099.6666666666662250.6666666666665
STANFORD/pentago/ZxzLmg7.176790440174299552.281590613646276.95384102649558
DRESDEN/tictictoe/LAUtwg7.2383035605784427941.8666666666671097.2
BASE/eotcitcit/V_9_bg7.3778473362878497935.3666666666671075.5666666666666
DRESDEN/tictactoe/BTTzPw7.43182195322069114435.5709619358711942.4
BASE/breakthroughSmallHoles/bxclRw7.5715316045268342423.233333333333320.04533031131257
DRESDEN/Thief_Police/CX18rA7.7422800749885047296.066666666667942.3666666666667
DRESDEN/tictactoe_orthogonal/y69QFQ7.74736574376862214214.8666666666671834.8
DRESDEN/connect4/T0-rHQ7.758729759229534805.4103.80565182617968
DRESDEN/CatchMeIfYouCanTest/CX18rA7.81007615286983557384.166666666667945.4666666666667
DRESDEN/lightson2x2/gBHuig7.87502968278296812840.235897777631630.5
BASE/nonogram_5x5_1/qLKEZw7.908775040831973395.320155994800249.985004498650405
STANFORD/multipletictactoe/_bkafQ7.9364242219289581603.6333333333334202.05993133562214
DRESDEN/gt_ultimatum/pAiiQw8.006131289570144177.8073975341552922.208903539439948
STANFORD/dualhunter/1rPZjQ8.1152453151233372792.633333333333344.12186260457986
DRESDEN/Catch-Me-If-You-Can/ghGWrA8.129407591344457638.933333333333939.6666666666666
DRESDEN/catch_me/ghGWrA8.1310865443096857575.733333333334931.7
BASE/tictactoe_orthogonal/WRzlVw8.15512445228268714951.3333333333341833.3666666666666
BASE/chickentictactoe/DSlZCA8.1815103553476968980.571200053321097.6666666666667
BASE/factoringEasyTurtleBrain/lUj94Q8.2588522211588938917.6333333333331079.7666666666667
DRESDEN/chinesecheckers6-simultaneous/gPPGUw8.318739054290718475.057.1
BASE/chickentoetictac/l57rfQ8.40435560598786712837.9333333333321527.5333333333333
BASE/checkers-mustjump/T-8UuQ8.41929999562497310.606816292601831.2598216357789345
BASE/tictactoe2/bhrDoQ8.47383278162506813908.6666666666661641.3666666666666
DRESDEN/chomp/-LcqYQ8.5026439564787351910.1333333333334224.65168988734084
BASE/gt_ultimatum/GE-uOA8.531658597190514179.964007198560321.093671898430472
BASE/chomp/-LcqYQ8.6099699137545541924.1358621379288223.4776522347765
DRESDEN/chickentoetictac/cxYaRQ8.64781750482257512851.2333333333341486.0666666666666
BASE/3pConnectFour/PqXOFQ8.7648097154403111734.9666666666667197.9468719794687
STANFORD/breakthrough/d5j0cQ8.8002230042817761666.8333333333333189.4080789228103
DRESDEN/statespacemedium/dVJZ_w8.9782991299727718024.8333333333322007.6
BASE/ticTacToeLarge/TZC0dg9.0260717113448715319.966666666666589.4
DRESDEN/3pffa/0YrmQw9.0870486108955471951.4214.74519214745192
BASE/stateSpaceMedium/3bUoIw9.1581620993385717982.051282051281963.5
BASE/blocker/dIWtxg9.1937513427247359985.3333333333341086.1
BASE/ticTacToeLargeSuicide/727_8g9.31234729245985462.933333333333586.6333333333333
DRESDEN/cube_2x2x2/fp-34Q9.392381146069174010.1426.95243491883605
BASE/lightsOn/MsXu3A9.41984356179889421637.0666666666662296.9666666666667
DRESDEN/3pttc/uwYBZw9.4405749408269132082.766666666667220.61862542497167
DRESDEN/8puzzle/8fKC2w9.4889559444779727861.6828.5
DRESDEN/tictactoe_3player/ESLQQQ9.5637952168395252428.1666666666665253.89153694876836
BASE/incredible/8Qh-6Q9.5992617557374437975.066666666667830.8
DRESDEN/nim2/z5_exA9.67831573659362291.913872408506130.161639726712213
STANFORD/freeforall/Lfp40Q9.887150460266872824.972500916636183.4388537154282
BASE/breakthroughSuicide/wZDpIg9.964231617647059316.166666666666731.730160317301603
BASE/breakthrough/TGxk-g9.978366511512359315.9561347955068431.664114004128653
BASE/nim2/eF2Qqw10.060736814721153306.30270306302730.44535491822391
DRESDEN/skirmish2/iPpWhQ10.103273669085306174.060864637845417.22816488386817
BASE/connectFourSuicide/c8p9Kw10.1919369482544972650.0666666666666260.01599893340443
BASE/stateSpaceLarge/0Ge_CQ10.3027761229596114411.8666666666671398.8333333333333
DRESDEN/skirmish3/3LU8Nw10.405896894097879178.1155217811552217.11678710579773
BASE/breakthroughWalls/vOZaYA10.41599349422317329.9890003666544731.680991405156906
DRESDEN/guess/PhxGhg10.46890322156043326.259501793412092.508333608369913
DRESDEN/statespacelarge/8-y5HQ10.49389098890379314343.41366.8333333333333
BASE/connectFour/WAIKTw10.714010555257512662.7248.52504916502784
STANFORD/tictictoe/rpt_Dw10.7223121907119577929.1498650314925739.5
DRESDEN/skirmish/RjGQYQ10.805078319572521181.9484718194847216.83916270092183
STANFORD/tictactoe/ss1kyQ10.81581831132540613159.9666666666671216.7333333333333
DRESDEN/blocks2player/3ev8nQ10.95790962611820719109.1333333333351743.8666666666666
STANFORD/trifecta/ss1kyQ11.04682537341858213533.31225.0849943337112
BASE/brawl/6Ymo_Q11.09221897810621134.1353684140367212.092744353387967
STANFORD/jointbuttonsandlights/qAKuIQ11.18876935451437614837.81326.1333333333334
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg11.2403673708070846.2838713967483460.5590450195665757
BASE/rubiksCube/9tNO9Q11.297051020949352946.566666666666783.78882815624583
DRESDEN/grid_game/U7_Yeg11.3254706063193832210.133333333333195.14715195147153
BASE/ticTicToe/c1OobQ11.3825483564936427945.133333333333698.0100663311223
BASE/blocks2player/wnTLOQ11.44676117334296919372.117051059861692.3666666666666
BASE/2pffa/6oHijA11.449566436464089828.772.37828651404578
DRESDEN/point_grab/r5DPmQ11.60874194146473716009.616011474021379.1
BASE/breakthroughHoles/nZk0Sg11.62155925141243365.5333333333333631.453037017292505
BASE/firefighter/WJmoPw11.7082803357924212273.41048.2666666666667
DRESDEN/brawl/2kXtfQ11.715123047673874137.2104649225129311.712251281027484
BASE/ticTacToe/JRFsaQ11.71861555126628214129.9160111985071205.7666666666667
BASE/chinook/XQh0IQ11.767488128646304276.3241225292490523.481997135529426
BASE/guess/SPpk1A11.82761987158976430.308054514706372.5624812805750605
STANFORD/chinook/osFbPA11.830004511327152254.1163922405172921.480667399340593
BASE/escortLatch/mX9BjQ11.858148047808763991.933333333333383.6499366793308
DRESDEN/firefighter/WJmoPw11.95202243908570212119.3507532329021014.0
STANFORD/connectfour/VMpZkQ12.0360855468191552806.133333333333233.14335233143353
BASE/tictactoe_3player/GtM71g12.1680820381349162531.366666666667208.03333333333333
BASE/coloredtrails/EZvr7g12.5302234787291326204.966666666666495.2
BASE/connectFour_9x6/B9TtMw12.6466019825268832508.3333333333335198.3404978506448
DRESDEN/checkers-cylinder-mustjump/vW_-pA12.8290185891521177.193525826755920.5607230028365987
BASE/2pffa_zerosum/o0_uZA12.87251586452763802.333333333333462.329178054796344
BASE/ticTacToeNoVars/XT03NA12.91165733146629317212.11333.0666666666666
STANFORD/dualrainbow/G3OnRQ12.9425931535898211392.933333333332880.2666666666667
BASE/dualConnect4/WbCQkg13.1672492091388411498.1333333333334113.77724455108978
BASE/toetictac/mTThmg13.40033886523590220563.2666666666661534.5333333333333
DRESDEN/toetictac/mJtxCA13.6441823079596820935.6333333333351534.4
DRESDEN/nim1/M9BALA13.926333366393461399.206719552029928.66560127846584
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw14.5538443170964664063.4333333333334279.2
BASE/nim1/hin2Qw14.787525532092024427.838144123725128.932368921035966
BASE/endgame/jYjfOA14.848488373502372544.063729084727736.6410179540988
STANFORD/madness/UO_B3A15.21952235027646335.14089667577112.3089355806972987
STANFORD/checkersonabarrelnokings/Zrevdw15.282762705724016372.787573747541724.392682195341397
BASE/3pffa/pR0dzA15.529487589413447964.866666666666762.13126229125696
STANFORD/eightpuzzle/W_aWbA15.5829793161083667458.533333333334478.6333333333333
STANFORD/skirmish/w4V6Vw15.64301374272900737.365125882509662.388614271970275
STANFORD/8puzzle/jNiGtw15.8253226231235198011.833333333333506.26666666666665
DRESDEN/oisters_farm/pTQMLg15.8831831329843917730.926770788241116.3333333333333
BASE/connectFourLarge/aU644A16.0568807339449542041.9127.16666666666667
DRESDEN/circlesolitaire/ruUilQ16.1285329634942526886.2644501449181667.0
BASE/eightPuzzle/vLrgFg16.3888834138594358140.633333333333496.7167761074631
BASE/circlesolitaire/azuQFQ16.42173765042750227337.2666666666661664.7
DRESDEN/frogs_and_toads/GjchhQ17.0603870114488741440.033333333333384.40801093005432
DRESDEN/chinesecheckers1/Y-ftaA17.061953438020463187.0666666666666186.79377354088197
BASE/4pffa/Q3ADlg17.175960438222763940.254.739297018157586
DRESDEN/4pttc/9pB9AQ17.3510630630630621454.933333333333483.85269121813032
DRESDEN/chinesecheckers4/-oVNYg17.448957776590061088.233333333333362.36666666666667
DRESDEN/sat_test_20v_91c/dK7nVw17.4735073753193363495.633333333333200.0533297780148
DRESDEN/logistics/fPru1Q17.720790960451985227.633333333333295.0
DRESDEN/satlike_20v_91c/yeuENQ17.748735120145156.49034561090378050.36567933246900036
DRESDEN/crissrace/KWb9bw17.913980446927376854.666666666666647.70947859403631
BASE/checkersTorusNoKings/pwb6oQ18.164911425873463427.4666666666666423.532548915036166
BASE/crissrace/ERWGDA18.394918002322882879.333333333333447.80305806322662
BASE/checkersBarrelNoKings/rnKNeg18.582545955762694446.951768274390924.052235325471383
STANFORD/hunter/14dD-g18.75313283208028480.166666666666452.2
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ18.7885545818007353915.9208.4194387040864
STANFORD/rainbow/_4qNSQ18.89526236055639827439.71452.2
BASE/checkLines/Vop7oQ19.105255831452222820.8333333333335147.646980402613
DRESDEN/chinesecheckers3/QsCb2A19.174945999400662132.4666666666667111.2110911151103
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA19.210598614121317.3262309594309960.3813640119494057
BASE/racer/QQYQNw19.4736163075732161.54818733066701060.07950178879024777
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg19.5972676791277253913.9666666666667199.72001866542232
STANFORD/bestbuttonsandlights/nm0wEA19.6492708832329124406.3593640635951242.1
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg19.7833855842678374057.1666666666665205.07949205079493
STANFORD/bestbuttonsandlightsbig/g0JC6g19.89041720791322417424.668488038915876.0333333333333
DRESDEN/endgame/IJhh3Q20.492470355191255499.5666666666666624.378059746228395
DRESDEN/snake_2009_big/DgC1NQ20.8903911705852932783.9133.26222459251358
BASE/racetrackcorridor/_RkdUg21.2068414931532561255.733333333333359.213595468177274
BASE/snake_2009_big/-oRfVw21.373742098765432885.1666666666665134.98650134986502
BASE/checkersTorus/2vm1EQ21.375099771466736420.9912342099123619.695404405638683
DRESDEN/uf20-020.cnf.SAT/hDrW_A21.9343217777777753563.733333333333162.47292117980336
STANFORD/multiplebuttonsandlights_9/SqB9BA22.14303231783748427086.8333333333321223.2666666666667
BASE/skirmishNew/sibw2g22.16707153362638118.646892184635895.352393617021277
BASE/untwistycomplex2/EDPPAQ22.28444922618554762828.033333333332819.366666666667
STANFORD/multiplebuttonsandlights/cK70Yg22.28458237041928327000.01211.6
STANFORD/untwistycorridor/EDPPAQ22.547831673955162966.323138297872792.5666666666666
BASE/point_grab/V_osUg23.10361843245571516168.143361534874699.8100063331223
BASE/duplicateStateMedium/U163eQ23.182239858094317455.64475831973752.9749008366388
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA23.222204234601453417.9666666666667147.18528147185282
BASE/hexPie/48CH6Q23.305922651933702562.024.11404209965361
DRESDEN/sat_test_20v_91c_version2/a1mPBA23.604387229729733493.1147.985201479852
BASE/speedChess/bPnisA23.667180577223267117.492167188854084.964349970013993
DRESDEN/chinesecheckers2/06E6-Q24.1926672903441362413.399.75336621783762
BASE/chineseCheckers4/avfBcQ24.2571958636109561446.259.619422134835204
BASE/beatMania/qUHwvQ24.39306243805748412305.889803673212504.4831838938702
DRESDEN/uf20-010.cnf.SAT/5ICbCg24.597885354286123860.5333333333333156.94574056792428
BASE/hex/T1MK8g24.62296582964661612.046265124495924.856723977075838
STANFORD/hex/MTqWcw25.12228938547486598.866666666666723.838060993474496
BASE/racer4/0vs7Ww25.435715155743067.3414609839550880.28862805464691166
BASE/connect5/d-BVQg25.4392523364485971179.533333333333346.36666666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A25.4587827015851153693.7145.0854914508549
DRESDEN/racer/vk_ZBA25.61350359415382.1174017851325820.08266740148801323
BASE/duplicateStateLarge/dcjyuw25.647300791343677057.666666666667275.1816545563629
DRESDEN/checkers-mustjump-torus/cVc3gA25.7926137306301235.5745429206623090.2161294306533284
BASE/smallest_4player/ADDROA26.272686838868392949.066666666666736.123700346574246
DRESDEN/smallest_4player/ADDROA26.43498581884721962.633333333333336.41512577044811
BASE/2pttc/unkkYA27.137747505422997833.866666666666730.72718789575418
BASE/hallway/ckCJOw27.255884098129307480.0839972000933417.61395797955582
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g27.77111741822112710.1735868252050620.36633696339960703
DRESDEN/battle/8oAvhQ27.88121018401367526.902843444096690.9649094593290662
BASE/connectFourLarger/qKi60A28.0132566864784531256.233333333333344.84424454439447
DRESDEN/pawntoqueen/f_x6Aw28.37651242087249436.766909781196921.2956810631229236
DRESDEN/hallway/0H4l-Q28.41843959131545494.2666666666666517.392463265918103
BASE/battle/8oAvhQ29.332906808841528.257247584138620.9633292659430993
DRESDEN/snake_2009/zIYLVw29.726850917893894911.866666666667165.23333333333332
BASE/snake_2009/7l-qAQ29.8462035658599384891.466666666666163.88907406172922
BASE/pawnToQueen/-O1_JA30.09882248171139537.737734403623891.2537943777220535
DRESDEN/minichess/c7GMFw30.397437391508332879.26666666666794.72070390614584
DRESDEN/chinesecheckers6/yTbPDA30.755238517618471687.154.85569552756115
DRESDEN/aipsrovers01/qS47Mw31.73676134419490312662.967776333766399.0
BASE/aipsrovers01/4C4jsw32.7381524155311613033.937626354687398.12685398126854
DRESDEN/racetrackcorridor/O0DoTA35.52805308075012062.033333333333358.039581528619976
BASE/chineseCheckers2/eCMR3Q39.294416720814384030.6666666666665102.5760655846969
BASE/chineseCheckers1/gqtwHw41.519276573895568.933333333333134.1288623712543
BASE/dotsAndBoxes/EHwA_w42.784440984848491254.466666666666729.32062772798454
BASE/chineseCheckers3/-1rZdQ44.382527846975093324.73333333333374.91086007531074
BASE/dotsAndBoxesSuicide/jzQbLw44.6010243678160951292.266666666666728.97392346887801
BASE/3pttc/0sol9g46.1566867383512541001.533333333333321.698553429771348
BASE/pacman2p/4LEdQg47.128322118380061006.621.358706500765187
DRESDEN/satlike_20v_91c_version2/yd9ioQ47.2812509638219815.4211516516053420.32615786040443573
BASE/chineseCheckers6/rREH3A47.754356083086062145.333333333333544.924348463640605
BASE/pacman3p/wW7UVQ50.5151863798897341073.430885637145421.24966693312017
BASE/4pttc/AL1k2Q50.51833971962616719.433333333333314.241032807612964
DRESDEN/gt_prisoner/huCp4w56.194835940873611276.8200.67324356752434
DRESDEN/checkers-mustjump/HUr33w56.2959404504268812.9182620276344270.22947057859367317
DRESDEN/Runners/3bOCQw59.62408297458958414274.005464116746239.4
DRESDEN/gt_chicken/CeuKtw60.275589409757779813.566666666668162.8116251166511
DRESDEN/roshambo2/jgSlkQ61.8956893441676819717.903435407017318.56666666666666
BASE/roshambo2/KNPokQ62.4183636007935219519.652255012992312.72290923635876
BASE/sheepAndWolf/g4THrg63.681551505016731267.419.902153293174027
DRESDEN/four_way_battle/xSOQXA66.95647742918017114.988501149885011.7173618679612932
BASE/four_way_battle/xSOQXA67.36701307189541113.833333333333331.6897488569345969
BASE/checkers/rOC3Xg69.1574419645378552.163485560107920.7542714721411472
BASE/wallmaze/uxNQ9g71.115816528925621720.224.1887119344306
BASE/gt_staghunt/xPjLRA73.3910712737127411433.566666666668155.78961402573162
BASE/gt_prisoner/klthDw75.8042071815123511515.266666666666151.9080153307782
BASE/gt_chicken/gmepTQ76.089049693143969641.733333333334126.71643780829223
STANFORD/platformjumpers/HEQskA81.23670543175909444.1370575294985.467196819085487
BASE/tron_10x10/7ZTgDg97.3142216858657923652.266666666666243.0504633024465
BASE/gt_coordination/IVMOzA101.247876877857620666.0204.11292204112922
BASE/checkersSmall/SYmq8w106.9453018232725684.397186760441310.7891621728265158
BASE/checkers-newgoals/0XkFiA109.1695321871251648.280687724910040.4422542330048016
DRESDEN/knightstour/cGISAA125.6874246984683566922.13333333333532.4489183693877
BASE/bomberman2p/4CClwA144.199524940617584047.228.066666666666666
DRESDEN/mummymaze2p/k-8edg145.14535176991152183.015.040095830699098
BASE/mummymaze2p/vpjDdA147.17747010989012228.715.142942723067195
BASE/cylinder-checkers/hlldmw151.8095841109037642.588643028525720.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q167.6661446706427247.079598840502450.28079371022089106
DRESDEN/connect5/1kYzSg178.531306239737261192.83333333333336.681367870190567
BASE/knightsTourLarge/M8jgLA183.0877204423380519301.6105.42269002731331
DRESDEN/hitori/S8Gsyg196.6216832504145854.10447761194030.27517045280826735
STANFORD/knightstourbig/TQUI2g200.0994145724258415286.06666666666876.3923607639236
BASE/knightmove/jBaJEw203.57295405186878533.90423511379162.6226678175419957
BASE/ghostMaze2p/W-NU-w204.52511477357096119.46666666666629.920367840602406
DRESDEN/knightmove/97Ipcw206.66772616033757537.96666666666672.603051171373027
BASE/hitori/S8Gsyg217.8043174095542757.965220867479510.2661343978709248
BASE/hanoi/iGLsJg232.17817238095244874.76666666666620.995800839832032
DRESDEN/hanoi/RQ0jiA237.395275590551175024.86666666666721.166666666666668
DRESDEN/checkers-newgoals/IJOqXQ241.439170370370467.533333333333330.2797115862754848
BASE/checkersTiny/Lr48cg243.25733936578143185.920938604093070.7642973448974845
STANFORD/knightstour/cEwgNA246.3702693083402669221.83333333333280.96666666666664
BASE/knightsTour/mvtVIg257.336606221728869530.03333333334270.19099363354553
BASE/skirmishZeroSum/zh4hcw262.13813713028946118.664400679796060.4526788889966696
BASE/knightfight/SJRkAg282.391073684210543397.212.030125299920021
DRESDEN/knightfight/4_Ly4w289.02083973333333610.23333333333312.4912561207155
DRESDEN/kitten_escapes_from_fire/uW-YiA299.3044590484404423130.06666666666677.2793921620901
BASE/kitten_escapes_from_fire/uW-YiA316.581599006283824062.73333333333476.00799733422193
BASE/kalaha5x2x3/WviNsw321.386408080808055294.93333333333316.475287069395907
BASE/crossers3/O0rORg324.73067666666671074.73333333333333.3096144299189145
DRESDEN/crossers3/xiPTxg341.65902448979591112.63.256463082341995
BASE/haystack/UkweGA356.132596630910144842738.53333333313598.133333333333
BASE/onestep/xi53wA380.5889312608392757836.27246.233333333334
BASE/survival/YVIjJA395.93202171885932717466.23333333346863.466666666666
BASE/pearls/6k_mEQ461.79938425191726619832.614334.866666666667
STANFORD/knightstourmedium/x1wu8Q506.9018506966105162512.73333333334320.6
DRESDEN/quartosuicide/WIU1oQ543.86237973333332251.53333333333334.139895343445717
BASE/quarto/EwBMVQ547.28026453333332266.1333333333334.140718166158739
BASE/quartoSuicide/-23jUg558.60660916666672218.2333333333333.9710116152089743
DRESDEN/quarto/OQzRYQ564.3236622950822287.94.054233683370995
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg589.94847513812163555.86.027306027306027
DRESDEN/merrills/aYEzwA606.309666666666811.4333333333333340.018857250612860643
BASE/merrills/pku8Tg622.00645612166811.181736497054810.0179768817300951
DRESDEN/max_knights/hCipiA886.71132285714291028.63333333333341.1600543568327202
BASE/max_knights/2fq3Ag935.37158585858581022.43333333333331.093077177873468
BASE/kalaha6x2x4/XS81Mg976.37802933992324541.7458254174584.651626407947636
DRESDEN/buttons/ADUaHw1020.65787329394994008327.63927.2
BASE/buttons/hTcUjw1041.43133087507254066997.63333333333905.2
BASE/troublemaker01/s3tlEQ1051.59356587499254616635.9666666674390.133333333333
BASE/snake_2008/i6K26g1064.94184868421055379.5666666666675.051512130275839
BASE/coins_atomic/AA3SSw1074.89645545759323003224.86666666672793.9666666666667
DRESDEN/troublemaker01/C-lPWw1086.39158161319374747313.9333333344369.8
BASE/snake_2008_tweaked/bX0NJQ1089.36988377192985497.6666666666675.0466482950961185
DRESDEN/snake_2008/E56l3A1098.38749803921565593.25.092191972309126
BASE/coins/QnGtnQ1133.03106614748233113456.0666666672747.9
BASE/switches/tPUoCg1142.47152551393792289665.26666666662004.1333333333334
DRESDEN/troublemaker02/iZLVuA1151.30831345856684296337.2333333333731.7
BASE/troublemaker02/DI83KA1158.22709552546784228725.7333333333651.0333333333333
DRESDEN/coins/QwFP9w1179.85073740593093245336.76666666662750.633333333333
DRESDEN/2player_normal_form_2010/NG_Kdg1187.99934454040732054130.06666666671729.0666666666666
STANFORD/buttonsandlights/eyhJpA1210.04743954126164044583.5666666673342.5
DRESDEN/statespacesmall/h-NqjA1212.81812378341033862987.4333333333185.133333333333
BASE/stateSpaceSmall/Q7osKA1241.6485995060173937888.5333333333171.5
STANFORD/sukoshi/4LYZZQ1295.24432155869661670822.01289.9666666666667
BASE/duplicateStateSmall/bCPAXw1626.10832148624583927105.82415.0333333333333
BASE/blocks/xIV5hQ1661.25428036548944466503.6333333342688.633333333333
BASE/blocksWorld/SEdXLQ1672.1211181652644530110.5333333332709.2
DRESDEN/blocks/vg0DRw1699.7250539493444489597.12641.366666666667
DRESDEN/pancakes88/aD3E7g1900.363934426229719301.06560106560210.156510156510157
STANFORD/tictactoe7/-bE9-A1904.48093015062112162157.21135.3
DRESDEN/pancakes6/SZXMyQ2099.3101707395521731.710.35182904503545
DRESDEN/pancakes/hl9aiQ2129.720499678456722038.43333333333410.348040194316896
DRESDEN/checkers/jIDMIg2324.887511248875467.193280671932810.028901734104046242
BASE/pancakes/yUgbXw2346.4167147193721678.4262775667929.23894981721502
BASE/pancakes6/QZTdnw2353.218381311108321474.11698125779.125424631985613
BASE/snake2p/I3wWPQ2427.4631064877203732503.0333333333301.7566081130629
DRESDEN/tictactoe-init1/3ltIBQ2630.1371853113763705337.26666666661408.8
BASE/blobwars/0XT15Q2642.18475434971384.474368375441660.1455138092604988
BASE/tictactoe-init1/7M19vA2683.1638433033353716897.4333333331385.2666666666667
DRESDEN/blobwars/ZaMluQ2705.257238092064382.92056931435620.1415468236892764
DRESDEN/Travelers-Dilemma/PvZwYw2807.873570880971725.64247858404720.2584313218762114
BASE/hodgepodge/9yjRkw2861.70101975132962815627.6333333333983.9
STANFORD/tictactoe3/X7myng3167.55373032169754010756.5333333331266.2
STANFORD/tictactoe5/WFRReg3188.6658084449023715433.41165.2
BASE/maze/cCX3qQ3522.87105018587366570389.3666666661865.0666666666666
DRESDEN/blocksworldparallel/2JfVaw3929.02294991309833315571.5843.8666666666667
BASE/gt_tinfoil/Q8DyKg3949.3982737936551974.10690482537980.49985004498650404
BASE/blocksWorldSerial/Wyg96Q4143.2131245722114842587.51168.8
STANFORD/3puzzle/41ibjA5399.36914168937355284182.6978.6666666666666
STANFORD/threepuzzle/41ibjA5517.5383138478425364334.666666667972.2333333333333
BASE/blocksWorldParallel/RseaAQ5603.0694884973943212132.6666666665573.2808906369787
BASE/gt_dollar/TGjqRw5607.1212758499823732660.6333333333665.7
BASE/gt_centipede/9fRMpw8209.3830369357064000706.0487.3333333333333
DRESDEN/hanoi_6_disks/MeubgQ10775.5761222222222392.12.0780420226275687
BASE/hanoi_6_disks/MeubgQ11211.01635833333223894.5333333333332.131344078859731
BASE/hanoi7_bugfix/3gdnFw11934.0018518518523382.8666666666670.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw11979.0369518518513365.6333333333330.2809602597321512
DRESDEN/hanoi7/51zz5Q12952.2365555555573610.10.2787240631774543
BASE/pancakes88/l2Xaig15965.25577777777818931.1333333333351.1857707509881423
BASE/solitaireChineseCheckers/-ET6gw24261.0200999999981564.06666666666660.06446829771459885
BASE/minichess/8NQEiA28121.9146681152890836.466666667102.79657344755175
BASE/twisty-passages/DiZmmg42328.2082238.16666666666650.05287648054145516
DRESDEN/twisty-passages/j7NPyg43745.005200000012305.7666666666670.052709255745308874
DRESDEN/vacuumcleaner_random/_6AGDA51056.244752901.50.05682948313585088
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA80829.740741975276214.32618912702950.07688167909587146
DRESDEN/kalaha_2009/gcC8uA93250.883254434.50.047554509356349715
BASE/kalaha_2009/dRiN3g98441.148150000014535.10.04606914979384055
DRESDEN/vacuum_cleaner_1/eUNjpw122931.47931873486330.80025330800250.051498609537542483
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A139105.488210735.9333333333320.07717835918808366
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity1278.84807679488040.0
DRESDEN/farmers/S_ASnwInfinity83.958319506205610.0

Games with errors:

GamePALAMEDES_JOCULAR:0.6.1 error messageREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 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
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/alexChess/LNo83gException of type StackOverflowError
BASE/snakeParallel/RCVNtwException of type NullPointerException
DRESDEN/small_dominion/yB5GJAException of type NullPointerException
DRESDEN/amazons/dNB28AException of type NullPointerException
DRESDEN/connectfour/5tc-MgException of type NullPointerException
BASE/amazonsSuicide/dE1QEQException of type NullPointerException
DRESDEN/battlebrushes/QHXV4AException 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/catcha_mouse/cHv4dwException of type NullPointerException
BASE/knightwar/DVGY4QException 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
DRESDEN/knightazons/02I8BQException of type NullPointerException
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/amazons/RKKZjwException 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/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/bomberman2p/x4h6jQException of type NullPointerException
BASE/majorities/ibJzSQIllegalArgumentException: bound must be positive
BASE/amazonsTorus/soxT8gException of type NullPointerException
BASE/ttcc4_2player_alt/ZEJvYAException of type NullPointerException
DRESDEN/babel/WdSW4AException of type NullPointerException
BASE/choicethroughalt/tt71LgException of type NullPointerException
DRESDEN/knightwar/7hhAqgException 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/knightazons/apnJBQException 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
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/god/qF06gwTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/tttcc4/8Bs2lgException of type NullPointerException
DRESDEN/bidding-tictactoe_10coins/mu5VhQIllegalArgumentException: bound must be positive
BASE/colonelBlottoVariant2/jruwGwIllegalArgumentException: bound must be positive
BASE/breakthroughSmall/HJ0tIAException of type NullPointerException
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/slaughter/cOch8AException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQException of type NullPointerExceptionTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_6p/867v3QIllegalArgumentException: bound must be positiveTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQIllegalArgumentException: bound must be positiveTest process timed out after 240 seconds

index