index

PALAMEDES_JOCULAR:0.6.1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JOCULAR:0.6.1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw4.0625715002856773E-40.17844927579335573439.25202493250225
BASE/battlebrushes/arCwyA0.00224208980554158230.28962973125409675129.17847025495752
BASE/quad_7x7/q-JOXg0.00348204017615016662.2731161244592184652.8115729475684
DRESDEN/quad_7x7/q-JOXg0.0057458597227650693.7597737481284312654.3448551714943
BASE/quad/tw-Ufg0.0079088241054631241.463747845037895185.07780999033622
DRESDEN/quad/JPe6fg0.0088017426534264831.5965828979016339181.39395353488217
BASE/colonelBlotto/jip21A0.0100451072447758430.051216389244558265.098640362569982
STANFORD/selectivesukoshi/3xmXYg0.01039186584605544.199213014623833404.08653044898506
BASE/golden_rectangle/_nYzfw0.0109599439419163554.796802131912059437.6666666666667
DRESDEN/ggp-course2013_michal13/jWKddg0.0171314640405927027.913023240349769461.9
BASE/copolymer_4/2LDVhQ0.0183818900355169120.0166527893422131088.9333333333334
BASE/copolymer_4_pie/IN5_jA0.0223396376539853722.522822682748051008.2
DRESDEN/quad_5x5/JAEP5g0.023141018853151044.883038041505824211.0122321101223
BASE/quad_5x5/JAEP5g0.0291622622436018246.181015452538631211.95253649756683
DRESDEN/quad_5x5_8_2/JRTLJg0.0326818012862322637.35340528940226225.0
BASE/ad_game_2x2/D0aWqg0.032832409120245550.020506090308821720.6245685546168765
DRESDEN/fizzbuzz/t1xHzQ0.036257889409633230.492884993501516841.0
BASE/blokbox_simple/JBx4bg0.048552233031417930.34629308987879747.132382349020131
BASE/racer/QQYQNw0.080554038199800681.548187330667010619.21923922456865
DRESDEN/guess/PhxGhg0.1111001711048027226.25950179341209236.35878804039865
DRESDEN/racer/vk_ZBA0.116744598608163222.11740178513258218.137042830044262
BASE/nim3/1OwUqw0.12078348300949136170.96096796773441415.4333333333334
DRESDEN/grid_game2/kypTYQ0.12098306904587866202.779722027797221676.1
BASE/guess/SPpk1A0.1263488341815666730.30805451470637239.8760123987601
DRESDEN/nim3/sG_axA0.12767290156712927179.167638532538061403.3333333333333
BASE/nim4/twk16w0.13072606053288535181.360621312622921387.3333333333333
DRESDEN/nim4/F5YAYg0.13629635395866377184.32718909369691352.4
BASE/simultaneousWin2/PfjRjw0.14046696259595567143.004732386855951018.0666666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw0.151567764998047281.941172599855234512.807291839925485
DRESDEN/satlike_20v_91c/yeuENQ0.157322837118495936.490345610903780541.254948930365636
DRESDEN/CephalopodMicro/H3XQfg0.181288285159201215.21862199873455783.94707901489653
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.189097471467279547.32623095943099638.74314607479397
DRESDEN/nim2/z5_exA0.20649413280488524291.91387240850611413.6666666666667
BASE/nim2/eF2Qqw0.21391347375028075306.3027030630271431.9
BASE/othelloSuicide/B442jg0.224265492982290184.3988269794721419.614372772986112
BASE/cephalopodMicro/9l2D3g0.225085739020410917.31428761695468376.92307692307692
BASE/othelloHoles/c0qAzw0.23412021519608894.83123759099933820.635713097021135
BASE/chess_200/XsTpYA0.241031849401181522.956657352654493512.266666666666667
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.2520464440916581610.17358682520506240.36393713813069
DRESDEN/smallest/9kaGFw0.25795430972506544152.08479152084792589.580347321756
DRESDEN/slidingpieces/s9_44g0.2717279849062795220.83333333333334812.7
BASE/slidingpieces/uFJWEw0.2752086811352254219.8798.6666666666666
DRESDEN/nim1/M9BALA0.2850933533270067399.20671955202991400.2666666666667
BASE/nim1/hin2Qw0.3003707922518021427.83814412372511424.3666666666666
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.3164912389448485194.44166749975008614.3666666666667
BASE/hidato37/pBrqxw0.335221525517362921.1915233906437463.21647560650493
BASE/tictactoe_3d_small_6player/g_9lww0.33522791221159254198.56666666666666592.3333333333334
BASE/hidato19/rRHSmA0.35293641437695494209.36666666666667593.213559548015
BASE/futoshiki6/JmvXNA0.3592250588448307198.39338688710376552.2815906136462
DRESDEN/ggp-course2013_jordi/9QI6Kw0.366689966728224110.32965567814406300.8799413372442
BASE/sudokuGrade6H/ieE_9A0.367501351107908567.99773340888638185.0271657611413
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.3757537709690353415.42115165160534241.040577215860196
BASE/sudokuGrade6E/ihYFZA0.3891820635095445468.92414344754033177.1
BASE/sudokuGrade3/eI8dvg0.3941252478417603474.51346307651293189.06036465451152
STANFORD/sudoku/oJ1qyQ0.42697017953088579.42803813079128186.02713242891903
DRESDEN/peg/Vo31eg0.4376845176188747325.155828139062742.9
DRESDEN/peg_bugfixed/u_B7MA0.43993039790142063330.98896703443216752.3666666666667
STANFORD/duidoku/3SoMaA0.4426627148446398771.6427857380873161.84508732169044
BASE/futoshiki5/TJ4BZg0.4480705990092828358.8800.7666666666667
BASE/sudokuGrade2/u80Tfw0.454950090189683785.74665911287366188.47487001733103
BASE/racer4/0vs7Ww0.46008018303823547.34146098395508815.956916325920016
BASE/sudokuGrade4/DTy07w0.463963166282982187.32460087324601188.21451188214513
BASE/sudokuGrade5/BQfUQA0.480291431773264789.0910908909109185.4938168727709
BASE/sudokuGrade1/tDRNRw0.493084370677731695.06032931137923192.78714752349845
DRESDEN/gt_ultimatum/pAiiQw0.531120822463135177.80739753415529334.7776814879008
BASE/tictactoe_3d_6player/d7KSwg0.535520415388246575.61568967240977141.2003865764655
BASE/checkers-mustjump-torus/uSApKQ0.54462198384951144.7781796462819798.773387391578877
DRESDEN/tictactoe_3d_6player/ulZPWg0.552090941278065771.03333333333333128.66237792073596
DRESDEN/pentago_2008/hLjVpQ0.5759814833858472224.9591680277324390.56666666666666
BASE/tpeg/QNs7Lw0.5766426704571507419.2726.9666666666667
DRESDEN/tpeg/h-Scbg0.5820935893968082430.4739.4
BASE/gt_ultimatum/GE-uOA0.582973784251896179.9640071985603308.7
BASE/ticTacHeaven/18n58A0.6004394897631044373.43333333333334621.9333333333333
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.6133210426149396.36009456894542310.369927211087845
STANFORD/triplesukoshi/Iu9mbA0.6220913789113722806.51296.4333333333334
BASE/lightsOnSimul4/9FeASw0.6309426615587514669.76666666666671061.5333333333333
BASE/conn4/va9Y7A0.6695906432748538870.21299.6
BASE/checkers-cylinder-mustjump/rjr6qQ0.70998847036388217.0223316803674249.89076861595844
BASE/cittaceot/fDxhXg0.7151991151340467206.72644245191827289.04739684021064
DRESDEN/blockerparallel/dVQgSg0.719542929008622491.7836072130929683.4666666666667
BASE/futoshiki4/BaCwSw0.73032233435926811020.33333333333341397.1
DRESDEN/Zhadu/9zpQ5w0.741144156983385230.36565447818406240.971320075946835
BASE/blockerParallel/7-nDJA0.7467037960435297486.93420438637423652.111596280124
DRESDEN/battlesnakes2011/93VtTw0.7545693108052116546.3333333333334724.0333333333333
BASE/lightsOnSimultaneous/_VN6lw0.7627768773635872941.26666666666671234.0
DRESDEN/battlesnakes1509/-qZrLw0.7741116751269035559.1666666666666722.3333333333334
BASE/ticTacHeavenFC/mrletw0.7893723751749884451.1571.4666666666667
DRESDEN/javastrike/whONTQ0.8009616138990396223.39255358154728278.9054427890544
BASE/blockerSerial/3eqDuw0.8095975323629929778.3740541981934961.4333333333333
DRESDEN/cubicup_3player/awDtsQ0.8206770994451533326.70066326700663398.0867304423186
BASE/pegEuro/5awwhg0.8406727887411329261.4405226144052310.9896336788774
BASE/cubicup_3player/e2yA_g0.8472646257942074342.2552581580614403.953201559948
BASE/checkers/rOC3Xg0.855948894822284852.1634855601079260.94228975076636
BASE/ticTacToeSerial/Amrwqw0.8623524136900312961.66666666666661115.1666666666667
DRESDEN/lightsout2/LFtfyQ0.89777121405138492654.52956.766666666667
STANFORD/alquerquezero/uVgA_A0.9063096815194183262.55791473617546289.7
BASE/checkers-mustjump/T-8UuQ0.907411622889594610.6068162926018311.689090182496336
DRESDEN/lightsout/XgLpzQ0.9264399223412672576.82781.4
BASE/checkersSmall/SYmq8w0.941865071585750684.3971867604413189.60645139791396
BASE/withConviction/3Xm54A0.94535721280438711448.06666666666661531.7666666666667
BASE/tictactoe_3d_small_2player/oOryKA1.0214198606049378814.7185281471852797.6333333333333
BASE/chomp/-LcqYQ1.03159760998173321924.13586213792881865.2
DRESDEN/chomp/-LcqYQ1.03543356883436031910.13333333333341844.7666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0448110547233065827.0724309189694791.6
BASE/tictactoex9/BI26ow1.0542499099171236877.7333333333333832.5666666666667
BASE/peg/fJHVWw1.060258776865856336.44423705086325317.3227559081364
DRESDEN/tictactoex9/rFkD4w1.084042641104041874.5333333333333806.7333333333333
BASE/lightsOut/5P1ZBw1.10743047274119232507.33333333333352264.1
DRESDEN/mimikry/GJEhwA1.24391089559583381011.1812.8395720142662
BASE/breakthroughSuicideSmall/XSbJog1.2769681972321512464.43333333333334363.7
BASE/ticblock/T21C1g1.28575951514055051895.16666666666671473.9666666666667
STANFORD/duikoshi/tpw1sw1.29013398294762481765.33333333333331368.3333333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.293710394497794996.9770.5743141895271
STANFORD/multiplesukoshi/vLSQPg1.3014635001314523495.01683277224095380.3539882003933
DRESDEN/ticblock/Z2yNWQ1.3096885420683711924.51469.4333333333334
DRESDEN/towerworld/HCX34w1.317407760621521542.9670585884155532.61485158410234
BASE/smallest_4player/ADDROA1.318209176350757949.0666666666667719.9666666666667
BASE/connect4/50bOyw1.3212858699600436727.5550.6
BASE/racetrackcorridor/_RkdUg1.32769436808345681255.7333333333333945.8
BASE/strangeSkirmish/gc1zKA1.334259759825159534.6734170469306925.987006496751626
DRESDEN/smallest_4player/ADDROA1.3366021489949245962.6333333333333720.2093263557881
BASE/qyshinsu/R08Lzw1.345136876287027283.03333333333336210.4122921041229
DRESDEN/cubicup/SBn_lw1.400556735770273637.3455.03333333333336
BASE/skirmishHoles/AUCxCA1.402185766055345243.6912617476504731.159396140900455
BASE/cubicup/4wNWJA1.403157167542835640.5666666666667456.5181160627979
BASE/checkersTiny/Lr48cg1.41170036905158185.92093860409307131.7
DRESDEN/connect4/T0-rHQ1.4238906240792033805.4565.6333333333333
BASE/knightmove/jBaJEw1.4240452487241164533.9042351137916374.9208359721343
DRESDEN/knightmove/97Ipcw1.4263057558619066537.9666666666667377.17485500966603
BASE/2pffa/6oHijA1.4270364309493744828.7580.7139762007934
BASE/2pffa_zerosum/o0_uZA1.4395551900803383802.3333333333334557.3480883970534
DRESDEN/doubletictactoe/lJzgmQ1.4639479200395372863.43333333333341955.9666666666667
BASE/doubletictactoe/HH1htg1.46827946195543072925.41992.4
DRESDEN/bunk_t/7-tPfA1.48303592591338522919.91968.8666666666666
BASE/skirmish/Y_psYQ1.506146174842326835.5905091975473223.63018264231436
BASE/bunk_t/xbpfIA1.51967875665643272920.3666666666671921.7
BASE/doubletoetictac/fu35bg1.52423484994144492906.7666666666671907.0333333333333
BASE/nonogram_10x10_1/0Xc62g1.537294162118481738.65249408550198525.143199680298387
BASE/nineBoardTicTacToePie/B8LzeQ1.55143201038069021186.793773540882764.9666666666667
BASE/dotsAndBoxes/EHwA_w1.58966227947905671254.4666666666667789.1403619879337
DRESDEN/doubletoetictac/V89gKQ1.6002474104983292889.03333333333331805.3666666666666
DRESDEN/ggp-course2013_nicolai/uEin8g1.630595393307258125.0583294447036976.69488700753283
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.64502286537618251750.63333333333341064.2
DRESDEN/pawn_whopping/4ogBkg1.66677838035464031823.56666666666661094.0666666666666
BASE/dotsAndBoxesSuicide/jzQbLw1.68030513176144241292.2666666666667769.0666666666667
BASE/crisscross/ICagEg1.71577055329790551463.6666666666667853.0666666666667
DRESDEN/crisscross/GsY16g1.73075500390448411403.7811.0333333333333
STANFORD/freeforall/Lfp40Q1.7419118145190313824.9725009166361473.6017598826745
DRESDEN/stratego/Z2wovg1.75501852235712171185.3675.3774874170861
BASE/hallway/ckCJOw1.7782074177774323480.08399720009334269.98200119992
STANFORD/dualhunter/1rPZjQ1.80142774206033482792.6333333333331550.2333333333333
DRESDEN/hallway/0H4l-Q1.821743063063063494.26666666666665271.31524565028997
DRESDEN/tictactoeparallel/yk_DSg1.82936039044438742373.91297.6666666666667
STANFORD/breakthrough/d5j0cQ1.85073466819645431666.8333333333333900.6333333333333
BASE/checkers-newgoals/0XkFiA1.852632476421196348.2806877249100426.060585863298563
BASE/3pffa/pR0dzA1.8818726346812293964.8666666666667512.7162427919069
STANFORD/nineboardtictactoe/y28P-A1.92781850286264641200.9666666666667622.9666666666667
BASE/skirmishFinal2/gdB62Q1.931396311443645457.2828151554533629.65875766462277
BASE/factoringMediumTurtleBrain/8RBqmQ1.96094109665382452697.66666666666651375.7
STANFORD/multipletictactoe/_bkafQ1.98623580353948231603.6333333333334807.3730875637478
BASE/minichess-evilconjuncts/4OpQzw1.9991811911562467419.93333333333334210.05266315578962
BASE/4pffa/Q3ADlg2.0160006003430535940.2466.36890873941735
DRESDEN/minichess-evilconjuncts/th24Tw2.031450989089293419.43870408639424206.47247033728837
BASE/double_tictactoe_dengji/zgaSbA2.03488224061107562664.01309.1666666666667
DRESDEN/tictactoe_3d_2player/LMuX9w2.0403907361079527299.03333333333336146.55689620691953
DRESDEN/sheep_and_wolf/enAIzQ2.04751330754213431270.1666666666667620.3459884670511
DRESDEN/double_tictactoe_dengji/bGaUyQ2.06212419722129822686.46666666666671302.7666666666667
BASE/skirmishFinal1/ecWTnQ2.104218059611598255.3778488604558226.317542807648746
DRESDEN/brain_teaser_extended/ZDp94A2.11431828781675926800.03216.1666666666665
BASE/nineBoardTicTacToe/wRmqqA2.11561479869423331296.1666666666667612.6666666666666
DRESDEN/skirmishfinal/hzq8ww2.19796550788520462.54373396421312528.45528455284553
BASE/escortLatch/mX9BjQ2.200221811460259991.9333333333333450.8333333333333
BASE/breakthroughSmallHoles/bxclRw2.20140508130696772423.2333333333331100.7666666666667
BASE/tictactoe_3d_2player/IUC1rQ2.2216234599294906310.6792880474635139.8433594400933
BASE/brain_teaser_extended/ZDp94A2.27316873690129347411.6666666666673260.5
BASE/pawnWhopping/Ypc_6Q2.27778729968292071771.9666666666667777.9333333333333
BASE/3pConnectFour/PqXOFQ2.28285087719298251734.9666666666667760.0
BASE/skirmishFinal3/-Olhfw2.29674486231358872.9732431441804731.772463864650636
BASE/numbertictactoe/rvJ-iQ2.29991787042852324760.62069.9
STANFORD/pentago/ZxzLmg2.304040161953816552.2815906136462239.70137315024664
DRESDEN/racetrackcorridor/O0DoTA2.32446548679216922062.0333333333333887.1
DRESDEN/3pffa/0YrmQw2.33142174432497031951.4837.0
BASE/englishDraughts/jFkQxg2.3372548846470154599.9333333333333256.6828878074795
BASE/ticTacToeParallel/ymRGPw2.3876897457247172485.2666666666671040.8666666666666
BASE/factoringGeorgeForman/HGRorQ2.388097267088131312050.15045.9
DRESDEN/chinesecheckers6-simultaneous/gPPGUw2.391500251720087475.0198.62009199386708
BASE/breakthroughSuicide/wZDpIg2.3933888468332074316.1666666666667132.1
BASE/wallmaze/uxNQ9g2.4013959981386691720.2716.3333333333334
BASE/breakthrough/TGxk-g2.4568270890927115315.95613479550684128.6033258906255
DRESDEN/3pttc/uwYBZw2.49482930724695562082.766666666667834.8333333333334
DRESDEN/blocker/S815zQ2.50739989470655869676.306933662083859.1
DRESDEN/tictactoe_3player/ESLQQQ2.52513172490293952428.1666666666665961.6
DRESDEN/crissrace/KWb9bw2.531595576619273854.6666666666666337.6
BASE/connectFourSimultaneous/7ITr3g2.5792023242828231231.7477.5507483083897
BASE/snakeAssemblit/UO4sdg2.63934852735225031361.0666666666666515.6828105729809
BASE/crissrace/ERWGDA2.6415219118186974879.3333333333334332.8889037032099
BASE/breakthroughWalls/vOZaYA2.663254420118935329.98900036665447123.90442230146299
DRESDEN/tictactoelargesuicide/6J4DeA2.80322078970043135493.2849001899561959.6333333333334
BASE/breakthroughHoles/nZk0Sg2.823472073463783365.53333333333336129.46235125495818
STANFORD/chinook/osFbPA2.8594049235612764254.1163922405172988.87037654115295
DRESDEN/tictactoelarge/IwXcbg2.8768932106754355483.1666666666671905.9333333333334
BASE/chinook/XQh0IQ2.8850584358855866276.3241225292490595.77765188122771
DRESDEN/Thief_Police/CX18rA2.95766502263360567296.0666666666672466.8333333333335
DRESDEN/CatchMeIfYouCanTest/CX18rA2.96097039363763957384.1666666666672493.8333333333335
BASE/tictactoe_3player/GtM71g2.9650554427612062531.366666666667853.7333333333333
DRESDEN/skirmish3/3LU8Nw2.968987841956545178.1155217811552259.992001066524466
DRESDEN/catch_me/ghGWrA3.00926857687622467575.7333333333342517.4666666666667
DRESDEN/hanoi/RQ0jiA3.01178774074962035024.8666666666671668.4
BASE/hanoi/iGLsJg3.01277270760800154874.7666666666661618.0333333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA3.02428209459459437638.9333333333332525.866666666667
DRESDEN/chickentictactoe/Ipbo-g3.0473665527798739157.1333333333333004.9333333333334
STANFORD/dualrainbow/G3OnRQ3.1171384794980311392.9333333333323654.9333333333334
BASE/sum15/QZ07Kg3.124380413231764715968.55110.933333333333
BASE/eotcitcit/V_9_bg3.13535191233800437935.3666666666672530.9333333333334
DRESDEN/tictactoe_orthogonal/y69QFQ3.13717787439400314214.8666666666674531.1
DRESDEN/sum15/CsgWKg3.168456477102015616099.6666666666665081.233333333334
BASE/ticTacToeLarge/TZC0dg3.17262697544975625319.9666666666661676.8333333333333
DRESDEN/cube_2x2x2/fp-34Q3.25125668882763064010.11233.4
BASE/stateSpaceMedium/3bUoIw3.253747284097652217982.051282051285526.566666666667
BASE/incredible/8Qh-6Q3.2660605564201277975.0666666666672441.8
BASE/blocker/dIWtxg3.26962747901636159985.3333333333343053.9666666666667
BASE/chickentoetictac/l57rfQ3.293607559755419512837.9333333333323897.8333333333335
BASE/factoringEasyTurtleBrain/lUj94Q3.2970877854598798917.6333333333332704.7
DRESDEN/chickentoetictac/cxYaRQ3.302640145285087812851.2333333333343891.2
BASE/tictactoe_orthogonal/WRzlVw3.316671349768556314951.3333333333344507.933333333333
BASE/ticTacToeLargeSuicide/727_8g3.3208648254341355462.9333333333331645.0333333333333
DRESDEN/tictictoe/LAUtwg3.33626459797798757941.8666666666672380.4666666666667
DRESDEN/statespacemedium/dVJZ_w3.382446768584081618024.8333333333325328.933333333333
DRESDEN/8puzzle/8fKC2w3.39125183331895477861.62318.2
BASE/chickentictactoe/DSlZCA3.3917959512740418980.571200053322647.733333333333
BASE/brawl/6Ymo_Q3.41226736360386134.1353684140367239.309747484842426
DRESDEN/latenttictactoe/kITHKg3.4245765333042236274.1666666666671832.1
STANFORD/jointbuttonsandlights/qAKuIQ3.445442935098107314837.84306.5
DRESDEN/brawl/2kXtfQ3.4740300245317766137.2104649225129339.496050394960506
DRESDEN/point_grab/r5DPmQ3.488136422916513316009.616011474024589.733333333334
STANFORD/tictictoe/rpt_Dw3.5604091534469597929.14986503149252227.0333333333333
BASE/ticTicToe/c1OobQ3.6693555836078697945.1333333333332165.266666666667
BASE/roshambo2/KNPokQ3.712324984153806619519.6522550129925258.066666666667
DRESDEN/roshambo2/jgSlkQ3.712933272211617319717.9034354070175310.6
STANFORD/hunter/14dD-g3.8011743963662448480.1666666666662230.9333333333334
DRESDEN/skirmish2/iPpWhQ3.8210625361500385174.060864637845445.55300076643674
BASE/lightsOnParallel/SC6enA3.8400069529804710309.2666666666662684.7
DRESDEN/grid_game/U7_Yeg3.88141486468028642210.133333333333569.4143528549048
BASE/stateSpaceLarge/0Ge_CQ3.90124971802391214411.8666666666673694.1666666666665
BASE/coloredtrails/EZvr7g3.98154129146792676204.9666666666661558.4333333333334
DRESDEN/statespacelarge/8-y5HQ3.987600778426466414343.43597.0
BASE/2pttc/unkkYA4.040321016365202833.8666666666667206.38624091727218
DRESDEN/eotcatcit/mQUxzA4.063491751767478513794.23394.6666666666665
DRESDEN/blocks2player/3ev8nQ4.09733121774804619109.1333333333354663.8
BASE/lightsOn/MsXu3A4.12671731459995521637.0666666666665243.166666666667
BASE/blocks2player/wnTLOQ4.13371774531652719372.117051059864686.366666666667
BASE/eotcatcit/AfZSzA4.143404594506213513515.2333333333343261.866666666667
DRESDEN/skirmish/RjGQYQ4.155736328954624181.9484718194847243.78248700519792
STANFORD/eightpuzzle/W_aWbA4.1764222786322247458.5333333333341785.8666666666666
DRESDEN/tictactoe/BTTzPw4.19366427666220714435.5709619358713442.233333333333
BASE/dualConnect4/WbCQkg4.2855640986524281498.1333333333334349.57669488700753
BASE/connectFour/WAIKTw4.3074143974117012662.7618.1666666666666
STANFORD/checkersonabarrelnokings/Zrevdw4.327508515673591372.787573747541786.14369501466275
BASE/hexPie/48CH6Q4.333365201747623562.0129.69135390973935
BASE/connectFourSuicide/c8p9Kw4.3428551956446532650.0666666666666610.2129929002367
DRESDEN/firefighter/WJmoPw4.38191366585500112119.3507532329022765.766666666667
BASE/rubiksCube/9tNO9Q4.415642979318924946.5666666666667214.36666666666667
STANFORD/8puzzle/jNiGtw4.467232919485548011.8333333333331793.4666666666667
BASE/toetictac/mTThmg4.47985185723103720563.2666666666664590.166666666667
STANFORD/tictactoe/ss1kyQ4.5599330099330113159.9666666666672886.0
STANFORD/skirmish/w4V6Vw4.57654162237693837.365125882509668.164489469474807
STANFORD/madness/UO_B3A4.611743964178816535.14089667577117.61987156024357
BASE/eightPuzzle/vLrgFg4.6119084488423918140.6333333333331765.1333333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g4.613647075904145517424.6684880389153776.766666666667
STANFORD/hex/MTqWcw4.6196965800977114598.8666666666667129.63333333333333
DRESDEN/toetictac/mJtxCA4.62734104472113820935.6333333333354524.333333333333
STANFORD/trifecta/ss1kyQ4.63437435792069113533.32920.2
BASE/nonogram_5x5_1/qLKEZw4.639639374815782395.320155994800285.20493168943685
BASE/firefighter/WJmoPw4.64432391523713412273.42642.6666666666665
BASE/tictactoe2/bhrDoQ4.69924430979919513908.6666666666662959.766666666667
DRESDEN/lightson2x2/gBHuig4.71489690248872512840.235897777632723.3333333333335
DRESDEN/chinesecheckers4/-oVNYg4.76823254466676351088.2333333333333228.2257258091397
BASE/hex/T1MK8g4.779440928231423612.0462651244959128.05812945803612
BASE/point_grab/V_osUg4.81911873667209416168.1433615348743355.0
STANFORD/rainbow/_4qNSQ4.82651445859424527439.75685.2
DRESDEN/4pttc/9pB9AQ4.8594967713204191454.9333333333334299.4
BASE/ticTacToe/JRFsaQ4.88108101025914214129.9160111985072894.8333333333335
BASE/chineseCheckers4/avfBcQ4.88740015769317451446.2295.9037429590374
BASE/connectFour_9x6/B9TtMw4.9218392308195442508.3333333333335509.6333333333333
STANFORD/connectfour/VMpZkQ4.9369385015344312806.133333333333568.3954403039797
STANFORD/bestbuttonsandlights/nm0wEA4.95413062047111524406.3593640635954926.466666666666
BASE/skirmishNew/sibw2g4.990647217060461118.6468921846358923.77384876635701
BASE/checkersBarrelNoKings/rnKNeg5.035298535486294446.951768274390988.76370787640413
BASE/speedChess/bPnisA5.062951566021854117.4921671888540823.206259364075244
BASE/checkersTorusNoKings/pwb6oQ5.1215764643237485427.4666666666666483.4638845371821
DRESDEN/chinesecheckers1/Y-ftaA5.1383913943823443187.0666666666666620.2459918002734
DRESDEN/checkers-mustjump-torus/cVc3gA5.1877034270769545.5745429206623091.0745685444480626
STANFORD/multiplebuttonsandlights_9/SqB9BA5.24095608485059627086.8333333333325168.3
STANFORD/multiplebuttonsandlights/cK70Yg5.32572390395287127000.05069.733333333334
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg5.5127506067759416.2838713967483461.1398794984530207
DRESDEN/chinesecheckers3/QsCb2A5.6312060968811432132.4666666666667378.68737708743043
BASE/skirmishZeroSum/zh4hcw5.727178952423597118.6644006797960620.71952031978681
DRESDEN/logistics/fPru1Q5.9167358333962135227.633333333333883.5333333333333
DRESDEN/checkers-cylinder-mustjump/vW_-pA6.0507543211117.193525826755921.188864304349262
DRESDEN/oisters_farm/pTQMLg6.20454209774235117730.926770788242857.733333333333
BASE/connectFourLarge/aU644A6.379821068527392041.9320.0559981333956
DRESDEN/frogs_and_toads/GjchhQ6.4533711874533241440.0333333333333223.14435223144352
BASE/beatMania/qUHwvQ6.49947525765737112305.8898036732121893.3666666666666
DRESDEN/circlesolitaire/ruUilQ6.57167711044222626886.2644501449184091.233333333333
BASE/checkersTorus/2vm1EQ6.600588269281745420.9912342099123663.78086574027792
BASE/circlesolitaire/azuQFQ6.68033494615773127337.2666666666664092.2
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw6.9172672076263984063.4333333333334587.4333333333333
BASE/chineseCheckers1/gqtwHw6.936542760663185568.933333333333802.8399053364888
DRESDEN/uf20-020.cnf.SAT/hDrW_A7.2482711864406773563.733333333333491.6666666666667
DRESDEN/snake_2009_big/DgC1NQ7.2610850286906632783.9383.4
BASE/3pttc/0sol9g7.261479716449171001.5333333333333137.92413839077395
DRESDEN/sat_test_20v_91c/dK7nVw7.3404140570681963495.633333333333476.2174594180194
DRESDEN/battle/8oAvhQ7.39681451930236626.902843444096693.6370850416611558
BASE/snake_2009_big/-oRfVw7.4667874396135272885.1666666666665386.4
DRESDEN/chinesecheckers2/06E6-Q7.5214433097859972413.3320.85597146761774
BASE/endgame/jYjfOA7.550708691575973544.063729084727772.05465755707382
BASE/4pttc/AL1k2Q7.592640778520342719.433333333333394.75403279562725
BASE/pawnToQueen/-O1_JA7.614917601203730537.737734403623894.955763985897692
DRESDEN/pawntoqueen/f_x6Aw7.63813533337237936.766909781196924.813597583242041
BASE/battle/8oAvhQ7.72501772136560528.257247584138623.657887736100027
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg7.7584778174400824057.1666666666665522.9333333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ7.8695739549839233915.9497.6
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg7.89265308866034853913.9666666666667495.9
DRESDEN/uf20-010.cnf.SAT/5ICbCg8.0578863146176853860.5333333333333479.1
BASE/chineseCheckers2/eCMR3Q8.0769487676173934030.6666666666665499.03333333333336
BASE/ticTacToeNoVars/XT03NA8.23361609847880717212.12090.4666666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA8.2354027788932623417.9666666666667415.03333333333336
BASE/duplicateStateMedium/U163eQ8.35824849168582217455.644758319732088.4333333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA8.518370996585923493.1410.06666666666666
BASE/checkLines/Vop7oQ8.5187235755989532820.8333333333335331.1333333333333
BASE/chineseCheckers6/rREH3A8.8701964351341422145.3333333333335241.85860471317622
BASE/chineseCheckers3/-1rZdQ9.178736057176163324.733333333333362.22125929135694
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg9.3952791967588533555.8378.46666666666664
BASE/duplicateStateLarge/dcjyuw9.4745416890400347057.666666666667744.9085030498983
BASE/sheepAndWolf/g4THrg9.5686467539003531267.4132.45342132453422
DRESDEN/uf20-01.cnf.SAT/42Rs8A9.7098385525278193693.7380.40797280181323
BASE/untwistycomplex2/EDPPAQ9.80993150684931562828.033333333336404.533333333334
DRESDEN/chinesecheckers6/yTbPDA9.8233550164952451687.1171.74376749766697
STANFORD/untwistycorridor/EDPPAQ9.85270256645752562966.323138297876390.766666666666
BASE/snake_2009/7l-qAQ10.3563085015290514891.466666666666472.3175894136862
BASE/connectFourLarger/qKi60A10.5999542252201611256.2333333333333118.51309040037306
DRESDEN/snake_2009/zIYLVw10.6171914403054994911.866666666667462.6333333333333
BASE/aipsrovers01/4C4jsw11.12173982566245613033.9376263546871171.9333333333334
DRESDEN/aipsrovers01/qS47Mw11.24297946935431512662.9677763337661126.3
DRESDEN/checkers-mustjump/HUr33w11.35884325429855812.9182620276344271.1372867587327375
DRESDEN/Runners/3bOCQw11.91784709369353514274.0054641167461197.7
BASE/kalaha5x2x3/WviNsw12.1572350093109865294.933333333333435.5376308246117
DRESDEN/endgame/IJhh3Q13.232564195351575499.5666666666666637.75282396454633
DRESDEN/minichess/c7GMFw14.2528688005279672879.266666666667202.0131320201313
BASE/cylinder-checkers/hlldmw15.45967741935483842.588643028525722.7548209366391183
DRESDEN/pancakes88/aD3E7g15.98961610559655719301.0656010656021207.1
BASE/snake_2008/i6K26g16.1991749038107685379.566666666667332.0889303689877
BASE/snake_2008_tweaked/bX0NJQ16.4584372817084135497.666666666667334.03333333333336
DRESDEN/pancakes/hl9aiQ16.72534783708575622038.4333333333341317.6666666666667
BASE/pacman2p/4LEdQg16.845532403792531006.659.75471572352196
BASE/gt_tinfoil/Q8DyKg16.892521748906511974.1069048253798116.86277124095864
DRESDEN/snake_2008/E56l3A16.945085973947295593.2330.07799480034663
BASE/pacman3p/wW7UVQ17.0431291091002421073.430885637145462.98320447880565
DRESDEN/pancakes6/SZXMyQ17.29141312027582321731.71256.791440285324
STANFORD/platformjumpers/HEQskA17.353151933968288444.13705752949825.594028060119307
DRESDEN/gt_prisoner/huCp4w17.4921295072643611276.8644.6785107163095
DRESDEN/four_way_battle/xSOQXA17.608494252615557114.988501149885016.530285866595588
BASE/four_way_battle/xSOQXA17.919512216404886113.833333333333336.352479462533675
BASE/kalaha6x2x4/XS81Mg18.5345484221980434541.745825417458245.0421624504216
BASE/tron_10x10/7ZTgDg18.65026546811754223652.2666666666661268.2
DRESDEN/cylinder-checkers/clOO3Q19.14740009059137247.079598840502452.4587985114300905
BASE/hanoi7_bugfix/3gdnFw19.8480473862599423382.866666666667170.43826028995167
DRESDEN/gt_chicken/CeuKtw20.6145367292162659813.566666666668476.0507983067231
DRESDEN/blobwars/ZaMluQ20.762727403671384382.920569314356218.442691168148073
DRESDEN/hanoi7_bugfix/3gdnFw20.8786186931348223365.633333333333161.2
DRESDEN/othello-cornercontrol/r5Gdlg20.9804695271569733.41534584521520.16278691193228065
BASE/blobwars/0XT15Q21.15594857778712384.4743683754416618.173345759552657
BASE/gt_staghunt/xPjLRA21.41857218649183311433.566666666668533.8155394820172
BASE/gt_prisoner/klthDw22.50100957467595811515.266666666666511.76666666666665
BASE/gt_chicken/gmepTQ22.5537621832358689641.733333333334427.5
BASE/crossers3/O0rORg22.6357694970760231074.733333333333347.47942558224769
DRESDEN/crossers3/xiPTxg23.4584243148278271112.647.428590474285905
DRESDEN/hanoi7/51zz5Q23.4676056338028153610.1153.83333333333334
DRESDEN/checkers-newgoals/IJOqXQ26.4958701298701367.533333333333332.5488248924197285
BASE/gt_coordination/IVMOzA27.478946901870420666.0752.0666666666667
BASE/pancakes6/QZTdnw27.6324744547366821474.1169812577777.1333333333333
DRESDEN/Travelers-Dilemma/PvZwYw28.009986213827148725.642478584047225.90656321800806
BASE/pancakes/yUgbXw28.4468895252822921678.426277566792762.0666666666667
DRESDEN/checkers/jIDMIg29.87037766811554567.193280671932812.249495517549373
DRESDEN/knightstour/cGISAA30.64901915884283766922.133333333332183.5
BASE/bomberman2p/4CClwA32.072937559429484047.2126.18738126187381
BASE/knightsTourLarge/M8jgLA33.4034035188924119301.6577.8333333333334
BASE/twisty-passages/DiZmmg33.87852581567442238.166666666666566.0644645178494
STANFORD/knightstourbig/TQUI2g34.3467110595166815286.066666666668445.05183160561313
DRESDEN/twisty-passages/j7NPyg35.744147314049592305.76666666666764.50753032120485
DRESDEN/kitten_escapes_from_fire/uW-YiA36.2086203297850123130.066666666666638.8
BASE/kitten_escapes_from_fire/uW-YiA37.9032900731562224062.733333333334634.8455051498283
BASE/knightsTour/mvtVIg45.1982881906825669530.033333333341538.3333333333333
STANFORD/knightstour/cEwgNA45.7352552526097869221.833333333331513.5333333333333
BASE/ghostMaze2p/W-NU-w46.969137477615756119.466666666666130.28697130286972
DRESDEN/mummymaze2p/k-8edg48.058032281731482183.045.4242484836366
DRESDEN/hitori/S8Gsyg48.7035776997366154.10447761194031.1108932888976017
BASE/mummymaze2p/vpjDdA49.287610169491522228.745.21826057980673
BASE/hitori/S8Gsyg54.98544623226063557.965220867479511.0541920606160435
DRESDEN/connect5/1kYzSg57.8456720516962761192.833333333333320.620960756879207
DRESDEN/farmers/S_ASnw62.4260821986994783.958319506205611.3449237329834345
BASE/knightfight/SJRkAg65.425536585365853397.251.92467922012998
BASE/connect5/d-BVQg65.859101422387141179.533333333333317.909951819239076
DRESDEN/knightfight/4_Ly4w69.9750910422053610.23333333333351.59312091721104
DRESDEN/hanoi_6_disks/MeubgQ75.6234380276933422392.1296.1
BASE/hanoi_6_disks/MeubgQ80.7938452684172923894.533333333333295.7469502033198
STANFORD/knightstourmedium/x1wu8Q89.29434605029397162512.733333333341819.9666666666667
DRESDEN/quartosuicide/WIU1oQ97.41937022094142251.533333333333323.111762355135205
BASE/quartoSuicide/-23jUg101.138629533941232218.23333333333321.93260224659178
BASE/quarto/EwBMVQ101.337700149031292266.13333333333322.362194227821103
DRESDEN/quarto/OQzRYQ102.264363541666672287.922.37240736425076
BASE/solitaireChineseCheckers/-ET6gw109.604143981481471564.066666666666614.270141710435041
BASE/max_knights/2fq3Ag148.460283574879241022.43333333333336.8869148617626506
DRESDEN/max_knights/hCipiA150.0756059870551028.63333333333346.854100815172185
BASE/onestep/xi53wA184.649328447148432757836.214935.533333333333
DRESDEN/kalaha_2009/gcC8uA186.740340112201954434.523.746877601998335
BASE/kalaha_2009/dRiN3g188.671466343490324535.124.037021007424176
DRESDEN/vacuumcleaner_random/_6AGDA192.184343267108182901.515.097483752707882
BASE/survival/YVIjJA264.89640236809442717466.233333333410258.6
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA349.02443613250286214.326189127029517.804845580404685
DRESDEN/2player_normal_form_2010/NG_Kdg356.13341732356272054130.06666666675767.866666666667
BASE/haystack/UkweGA362.00534229030764842738.53333333313377.533333333333
BASE/switches/tPUoCg371.317141467106352289665.26666666666166.333333333333
STANFORD/buttonsandlights/eyhJpA411.08922588011294044583.5666666679838.7
DRESDEN/vacuum_cleaner_1/eUNjpw415.921108983193566330.800253308002515.221156408206769
BASE/troublemaker01/s3tlEQ418.661480469387644616635.96666666711027.133333333333
DRESDEN/troublemaker01/C-lPWw420.9631707446844747313.93333333411277.266666666666
BASE/stateSpaceSmall/Q7osKA450.751869601050033937888.5333333338736.266666666666
DRESDEN/statespacesmall/h-NqjA451.91534505012853862987.4333333338548.033333333333
BASE/troublemaker02/DI83KA455.294063602464864228725.7333333339287.9
DRESDEN/troublemaker02/iZLVuA460.15257601667964296337.2333333339336.766666666666
DRESDEN/buttons/ADUaHw494.74531585573584008327.68101.8
DRESDEN/vacuumcleaner_random_big/DwzFaQ513.60243894851451278.84807679488042.489957172736629
BASE/buttons/hTcUjw519.01450144631614066997.63333333337836.0
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A633.757541977734110735.93333333333216.940127134156487
BASE/duplicateStateSmall/bCPAXw652.15899164687713927105.86021.7
BASE/blocks/xIV5hQ652.82581094643724466503.6333333346841.8
BASE/snake2p/I3wWPQ653.4954352157492732503.03333333331120.9
DRESDEN/blocks/vg0DRw654.26629133250094489597.16862.033333333334
BASE/blocksWorld/SEdXLQ655.29996962259694530110.5333333336913.033333333334
STANFORD/sukoshi/4LYZZQ659.67387871130761670822.02532.8
BASE/pancakes88/l2Xaig749.927626121372118931.13333333333525.24394711426383
BASE/pearls/6k_mEQ752.49598544986086619832.68797.166666666666
STANFORD/tictactoe7/-bE9-A758.36781555441252162157.22851.0666666666666
BASE/hodgepodge/9yjRkw884.97222571452522815627.63333333333181.6
BASE/maze/cCX3qQ1089.25553160919536570389.3666666666032.0
DRESDEN/tictactoe-init1/3ltIBQ1228.95399719184983705337.26666666663015.0333333333333
BASE/tictactoe-init1/7M19vA1263.5918115268683716897.4333333332941.5333333333333
DRESDEN/blocksworldparallel/2JfVaw1272.59304512480643315571.52605.366666666667
BASE/gt_dollar/TGjqRw1367.3417383022373732660.63333333332729.866666666667
STANFORD/tictactoe5/WFRReg1430.20468339000443715433.42597.8333333333335
STANFORD/threepuzzle/41ibjA1522.83389163307425364334.6666666673522.6
STANFORD/3puzzle/41ibjA1542.81202129419655284182.63425.0333333333333
BASE/blocksWorldSerial/Wyg96Q1620.9317050855784842587.52987.5333333333333
STANFORD/tictactoe3/X7myng1655.99163214467584010756.5333333332421.9666666666667
BASE/blocksWorldParallel/RseaAQ1824.97168721474173212132.66666666651760.1
BASE/gt_centipede/9fRMpw2019.5725992360634000706.01980.9666666666667
BASE/coins_atomic/AA3SSw2181.3608212478513003224.86666666671376.7666666666667
BASE/coins/QnGtnQ2285.72048747063453113456.0666666671362.1333333333334
DRESDEN/coins/QwFP9w2496.22088044509433245336.76666666661300.1
BASE/minichess/8NQEiA12895.9247583643142890836.466666667224.16666666666666
DRESDEN/merrills/aYEzwAInfinity11.4333333333333340.0
BASE/merrills/pku8TgInfinity11.181736497054810.0

Games with errors:

GamePALAMEDES_JOCULAR:0.6.1 error messageREKKURA_BACKWARD_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