index

PALAMEDES_JOCULAR:0.6.1 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JOCULAR:0.6.1 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw3.7675276024464924E-40.17844927579335573473.6508783040565
BASE/battlebrushes/arCwyA0.0028991916802750190.2896297312540967599.90016638935109
BASE/quad_7x7/q-JOXg0.0035335242102583842.2731161244592184643.3
DRESDEN/quad_7x7/q-JOXg0.0058697550189348953.7597737481284312640.5333333333333
BASE/quad/tw-Ufg0.007834588296313941.463747845037895186.83149511845656
DRESDEN/quad/JPe6fg0.0088891952623196561.5965828979016339179.60938541527796
BASE/colonelBlotto/jip21A0.0099250753789599760.051216389244558265.1603022938376
STANFORD/selectivesukoshi/3xmXYg0.0103361002985489834.199213014623833406.26666666666665
BASE/golden_rectangle/_nYzfw0.0104798179987979674.796802131912059457.7180760641312
DRESDEN/ggp-course2013_michal13/jWKddg0.0167559719250235357.913023240349769472.25092496916767
DRESDEN/quad_5x5/JAEP5g0.0232599462123173554.883038041505824209.93333333333334
BASE/copolymer_4/2LDVhQ0.02657430560164032420.016652789342213753.2333333333333
BASE/quad_5x5/JAEP5g0.030336824247099066.181015452538631203.74629203746292
BASE/copolymer_4_pie/IN5_jA0.0320078010650138122.52282268274805703.6666666666666
DRESDEN/quad_5x5_8_2/JRTLJg0.034542699060268677.35340528940226212.87871212878713
DRESDEN/fizzbuzz/t1xHzQ0.0356600222120237630.492884993501516855.1
BASE/ad_game_2x2/D0aWqg0.045585038756510680.020506090308821720.449842555105713
BASE/blokbox_simple/JBx4bg0.047753499394203710.34629308987879747.25167986161932
BASE/racer/QQYQNw0.085463355771930751.548187330667010618.115218115218116
BASE/simultaneousWin2/PfjRjw0.10937264427292998143.004732386855951307.5
BASE/factoringImpossibleTurtleBrain/kcBhdw0.113277786686309451.941172599855234517.13639237347353
DRESDEN/guess/PhxGhg0.1134232036864309726.25950179341209231.51789880674622
DRESDEN/racer/vk_ZBA0.116306131693041262.11740178513258218.20541835851694
BASE/nim3/1OwUqw0.12617045606474864170.96096796773441355.0
DRESDEN/grid_game2/kypTYQ0.12932380231364618202.779722027797221568.0
DRESDEN/nim3/sG_axA0.1305125572061029179.167638532538061372.8
BASE/guess/SPpk1A0.1306237528366191430.30805451470637232.0255991466951
BASE/nim4/twk16w0.13197862072477107181.360621312622921374.1666666666667
DRESDEN/nim4/F5YAYg0.13349626228932976184.32718909369691380.7666666666667
DRESDEN/satlike_20v_91c/yeuENQ0.165542315128280586.490345610903780539.20656543841579
DRESDEN/CephalopodMicro/H3XQfg0.1692267896901539815.21862199873455789.93033565547815
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.183491559571415477.32623095943099639.926800865080686
DRESDEN/nim2/z5_exA0.20887793188606554291.91387240850611397.5333333333333
BASE/nim2/eF2Qqw0.21679007931419564306.3027030630271412.9
BASE/othelloSuicide/B442jg0.219000306385958744.3988269794721420.085939842110523
BASE/cephalopodMicro/9l2D3g0.2217086031087812417.31428761695468378.0947936804213
BASE/othelloHoles/c0qAzw0.223569427689496344.83123759099933821.609562814237673
BASE/chess_200/XsTpYA0.244620634358877152.956657352654493512.086704624912596
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.257773256183633310.17358682520506239.46719289590528
DRESDEN/smallest/9kaGFw0.2610897708512411152.08479152084792582.5
BASE/slidingpieces/uFJWEw0.27273855317036855219.8805.9
DRESDEN/slidingpieces/s9_44g0.274905428769018220.83333333333334803.3065564481184
DRESDEN/nim1/M9BALA0.27928271970898966399.20671955202991429.4
BASE/nim1/hin2Qw0.3008142946402867427.83814412372511422.2666666666667
BASE/tictactoe_3d_small_6player/g_9lww0.30335590976218363198.56666666666666654.5666666666667
BASE/cittaceot/fDxhXg0.3066551262637237206.72644245191827674.1333333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.3072557295229129194.44166749975008632.8333333333334
BASE/hidato19/rRHSmA0.3436183598665135209.36666666666667609.3
BASE/hidato37/pBrqxw0.3476498957552025521.1915233906437460.956507248791866
BASE/futoshiki6/JmvXNA0.3688875116207003198.39338688710376537.8154061531283
BASE/sudokuGrade6H/ieE_9A0.3705598550892990667.99773340888638183.5
DRESDEN/ggp-course2013_jordi/9QI6Kw0.3816441830969676110.32965567814406289.09036365454483
BASE/sudokuGrade6E/ihYFZA0.3906656390647378468.92414344754033176.42745241825273
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.4012158248667665515.42115165160534238.43605036447979
BASE/sudokuGrade3/eI8dvg0.403939987765700874.51346307651293184.46666666666667
STANFORD/sudoku/oJ1qyQ0.426650160057965779.42803813079128186.16666666666666
BASE/sudokuGrade2/u80Tfw0.434438156032195485.74665911287366197.3736835088655
DRESDEN/peg/Vo31eg0.4384123525470499325.155828139062741.6666666666666
STANFORD/duidoku/3SoMaA0.445613968920254971.6427857380873160.77320446592233
BASE/sudokuGrade4/DTy07w0.4515232723539090487.32460087324601193.4
DRESDEN/peg_bugfixed/u_B7MA0.45609613756983897330.98896703443216725.7
BASE/futoshiki5/TJ4BZg0.45775037210291303358.8783.8333333333334
BASE/sudokuGrade5/BQfUQA0.470515754268614789.0910908909109189.34773189347732
BASE/racer4/0vs7Ww0.48886642188500937.34146098395508815.017314864144913
BASE/sudokuGrade1/tDRNRw0.501654342949989195.06032931137923189.49368354388187
DRESDEN/gt_ultimatum/pAiiQw0.5092019600441192177.80739753415529349.1883603879871
BASE/lightsOnSimul4/9FeASw0.5251973443462805669.76666666666671275.2666666666667
BASE/ticTacHeaven/18n58A0.531350787326883373.43333333333334702.8
DRESDEN/tictactoe_3d_6player/ulZPWg0.548561588608680871.03333333333333129.4901699433522
BASE/checkers-mustjump-torus/uSApKQ0.55951182208252874.7781796462819798.539908287366252
DRESDEN/pentago_2008/hLjVpQ0.5619483763530392224.9591680277324400.31998933368885
BASE/tpeg/QNs7Lw0.5955673422996779419.2703.8666666666667
DRESDEN/tpeg/h-Scbg0.5955719557195572430.4722.6666666666666
BASE/gt_ultimatum/GE-uOA0.5959470357584112179.9640071985603301.97986800879943
BASE/tictactoe_3d_6player/d7KSwg0.60393957570978775.61568967240977125.20406463434949
STANFORD/triplesukoshi/Iu9mbA0.6142265999847681806.51313.0333333333333
BASE/lightsOnSimultaneous/_VN6lw0.6359480215300768941.26666666666671480.1
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.65048191698510176.3600945689454239.777511723037016
BASE/ticTacHeavenFC/mrletw0.7067076292428198451.1638.3120562647912
BASE/checkers-cylinder-mustjump/rjr6qQ0.71675554103559757.0223316803674249.797387363369769
BASE/blockerParallel/7-nDJA0.7274551133704111486.93420438637423669.3666666666667
DRESDEN/blockerparallel/dVQgSg0.7287365405512201491.7836072130929674.844171860938
BASE/futoshiki4/BaCwSw0.72955645065185791020.33333333333341398.5666666666666
DRESDEN/Zhadu/9zpQ5w0.737996047905015930.36565447818406241.146093619856735
BASE/conn4/va9Y7A0.752637951911434870.21156.2
DRESDEN/battlesnakes2011/93VtTw0.7668195003275007546.3333333333334712.4666666666667
DRESDEN/battlesnakes1509/-qZrLw0.7767282492938834559.1666666666666719.9
DRESDEN/cubicup_3player/awDtsQ0.7884491634491635326.70066326700663414.3585641435856
BASE/blockerSerial/3eqDuw0.8075815883086911778.3740541981934963.8333333333334
DRESDEN/javastrike/whONTQ0.8169458060157949223.39255358154728273.4484367708819
BASE/pegEuro/5awwhg0.8286222860212746261.4405226144052315.51229918005464
BASE/ticTacToeSerial/Amrwqw0.8319155684996683961.66666666666661155.9666666666667
BASE/checkers/rOC3Xg0.842364489098750352.1634855601079261.92507665644581
BASE/cubicup_3player/e2yA_g0.8627409053317223342.2552581580614396.70688620758614
DRESDEN/lightsout2/LFtfyQ0.9109557792393482654.52913.9724018398774
BASE/checkers-mustjump/T-8UuQ0.914868384594070410.6068162926018311.593816631130064
STANFORD/alquerquezero/uVgA_A0.9187077210170282262.55791473617546285.7904736508783
DRESDEN/lightsout/XgLpzQ0.92976041566438952576.82771.4666666666667
BASE/withConviction/3Xm54A0.94684074017567191448.06666666666661529.3666666666666
BASE/checkersSmall/SYmq8w0.97319492373569684.3971867604413186.72177043060925
DRESDEN/chomp/-LcqYQ0.99045907079646021910.13333333333341928.5333333333333
BASE/tictactoe_3d_small_2player/oOryKA0.9994018302712394814.7185281471852815.2061597946736
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0316053936291818827.0724309189694801.7333333333333
BASE/peg/fJHVWw1.047277812384618336.44423705086325321.2559581347288
BASE/chomp/-LcqYQ1.05052187275492951924.13586213792881831.6
BASE/connect4/50bOyw1.1062956204379562727.5657.6
BASE/lightsOut/5P1ZBw1.1161727827157932507.33333333333352246.366666666667
DRESDEN/connect4/T0-rHQ1.2004173290937998805.4670.9333333333333
BASE/ticblock/T21C1g1.21068546240497451895.16666666666671565.3666666666666
DRESDEN/mimikry/GJEhwA1.24483933188328491011.1812.2333333333333
DRESDEN/ticblock/Z2yNWQ1.2460343153123991924.51544.5
BASE/breakthroughSuicideSmall/XSbJog1.284351448674225464.43333333333334361.6092260515966
DRESDEN/towerworld/HCX34w1.298834035899767642.9670585884155533.08125395609155
DRESDEN/knightmove/97Ipcw1.3130115495173014537.9666666666667409.7196760107996
STANFORD/duikoshi/tpw1sw1.31915211597379621765.33333333333331338.2333333333333
BASE/racetrackcorridor/_RkdUg1.3255453905700211255.7333333333333947.3333333333334
BASE/smallest_4player/ADDROA1.326359019269887949.0666666666667715.542815239492
STANFORD/multiplesukoshi/vLSQPg1.3295434198746643495.01683277224095372.32092263591215
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.330500934246819996.9749.2666666666667
DRESDEN/smallest_4player/ADDROA1.3361865543885625962.6333333333333720.4333333333333
BASE/qyshinsu/R08Lzw1.3379311643296046283.03333333333336211.54551211545513
STANFORD/pentago/ZxzLmg1.3593403888752156552.2815906136462406.28645711809605
BASE/strangeSkirmish/gc1zKA1.361146911550817734.6734170469306925.473677200226433
BASE/nonogram_10x10_1/0Xc62g1.36579724689182638.65249408550198528.30031629765274
DRESDEN/tictactoex9/rFkD4w1.366173713809623874.5333333333333640.1333333333333
BASE/tictactoex9/BI26ow1.3691763727121464877.7333333333333641.0666666666667
DRESDEN/cubicup/SBn_lw1.3758635578583764637.3463.2
BASE/skirmishHoles/AUCxCA1.377559782161214943.6912617476504731.71641791044776
BASE/knightmove/jBaJEw1.3854909573262575533.9042351137916385.353821539282
BASE/cubicup/4wNWJA1.3864003126052038640.5666666666667462.03586427571497
BASE/checkersTiny/Lr48cg1.397248015796943185.92093860409307133.06223125895804
DRESDEN/doubletictactoe/lJzgmQ1.41120712314364582863.43333333333342029.0666666666666
BASE/skirmish/Y_psYQ1.423336022954908435.5905091975473225.004994339748286
BASE/2pffa/6oHijA1.4276444240266453828.7580.4666666666667
BASE/2pffa_zerosum/o0_uZA1.4456938338338339802.3333333333334554.9815006166461
DRESDEN/bunk_t/7-tPfA1.46507777220270952919.91993.0
DRESDEN/doubletoetictac/V89gKQ1.47973434405517982889.03333333333331952.4
BASE/doubletoetictac/fu35bg1.49092991844620352906.7666666666671949.6333333333334
BASE/doubletictactoe/HH1htg1.49736397604545222925.41953.7
BASE/bunk_t/xbpfIA1.5337523195966532920.3666666666671904.0666666666666
BASE/dotsAndBoxes/EHwA_w1.57188204828335131254.4666666666667798.0666666666667
BASE/nineBoardTicTacToePie/B8LzeQ1.579005720874541186.793773540882751.6082797240092
BASE/dotsAndBoxesSuicide/jzQbLw1.62268927953568841292.2666666666667796.3734542181927
DRESDEN/pawn_whopping/4ogBkg1.631583656427081823.56666666666661117.6666666666667
DRESDEN/ggp-course2013_nicolai/uEin8g1.6393076343330424125.0583294447036976.2872854524246
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.64219380257027631750.63333333333341066.0333333333333
STANFORD/nineboardtictactoe/y28P-A1.67141399146409351200.9666666666667718.5333333333333
STANFORD/freeforall/Lfp40Q1.705663337525781824.9725009166361483.6666666666667
BASE/checkers-newgoals/0XkFiA1.71259474933430948.2806877249100428.191542537238828
BASE/hallway/ckCJOw1.7627560988859627480.08399720009334272.3485100993267
DRESDEN/stratego/Z2wovg1.76506502531519921185.3671.5333333333333
DRESDEN/hallway/0H4l-Q1.785430463576159494.26666666666665276.8333333333333
DRESDEN/tictactoeparallel/yk_DSg1.78991153111490922373.91326.2666666666667
DRESDEN/minichess-evilconjuncts/th24Tw1.7959183673469388419.43870408639424233.55109659356043
STANFORD/dualhunter/1rPZjQ1.80328892141458042792.6333333333331548.6333333333334
BASE/3pffa/pR0dzA1.804951050695267964.8666666666667534.5666666666667
BASE/minichess-evilconjuncts/4OpQzw1.8271211022480058419.93333333333334229.83333333333334
BASE/nineBoardTicTacToe/wRmqqA1.8273885050989241296.1666666666667709.3
STANFORD/breakthrough/d5j0cQ1.8399072779453971666.8333333333333905.9333333333333
BASE/factoringGeorgeForman/HGRorQ1.881887181409295512050.16403.2
BASE/factoringMediumTurtleBrain/8RBqmQ1.91387220356619212697.66666666666651409.5333333333333
BASE/double_tictactoe_dengji/zgaSbA1.950981349477592664.01365.4666666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ2.04860069647441632686.46666666666671311.3666666666666
BASE/skirmishFinal2/gdB62Q2.06948817881711357.2828151554533627.679701552195056
DRESDEN/sheep_and_wolf/enAIzQ2.0842460300096631270.1666666666667609.4130195660144
BASE/4pffa/Q3ADlg2.090091908713693940.2449.8366775548297
DRESDEN/brain_teaser_extended/ZDp94A2.0994133991972836800.03239.0
BASE/skirmishFinal1/ecWTnQ2.09953367137993355.3778488604558226.376261364771704
BASE/pawnWhopping/Ypc_6Q2.193661535922091771.9666666666667807.7666666666667
BASE/breakthroughSmallHoles/bxclRw2.2136049450382142423.2333333333331094.7
DRESDEN/tictactoelarge/IwXcbg2.2167643689778325483.1666666666672473.5
BASE/3pConnectFour/PqXOFQ2.2190057980900411734.9666666666667781.8666666666667
DRESDEN/tictactoe_3d_2player/LMuX9w2.2249503968253967299.03333333333336134.4
DRESDEN/skirmishfinal/hzq8ww2.24633750718835362.54373396421312527.84253646839406
BASE/skirmishFinal3/-Olhfw2.24763582579611372.9732431441804732.46666666666667
DRESDEN/tictactoelargesuicide/6J4DeA2.2516846384798085493.2849001899562439.633333333333
BASE/connectFourSimultaneous/7ITr3g2.254759580180621231.7546.2666666666667
BASE/brain_teaser_extended/ZDp94A2.2561693319262937411.6666666666673285.0666666666666
BASE/escortLatch/mX9BjQ2.2636330620420373991.9333333333333438.20411972535163
BASE/englishDraughts/jFkQxg2.318068229233741599.9333333333333258.8074525880745
BASE/tictactoe_3d_2player/IUC1rQ2.3259863763573447310.6792880474635133.56883393874762
DRESDEN/3pffa/0YrmQw2.34703123120715241951.4831.4333333333333
BASE/numbertictactoe/rvJ-iQ2.3532377656945134760.62023.0
DRESDEN/racetrackcorridor/O0DoTA2.3718799125800392062.0333333333333869.3666666666667
BASE/ticTacToeParallel/ymRGPw2.3844062809811642485.2666666666671042.3
BASE/wallmaze/uxNQ9g2.41790293290854571720.2711.4429519016032
BASE/breakthrough/TGxk-g2.445562435500516315.95613479550684129.19569347688412
DRESDEN/blocker/S815zQ2.48025639106170869676.306933662083901.3333333333335
BASE/breakthroughSuicide/wZDpIg2.48657003058104316.1666666666667127.14971337155046
DRESDEN/3pttc/uwYBZw2.492440863217522082.766666666667835.6333333333333
DRESDEN/tictactoe_3player/ESLQQQ2.4960594846491232428.1666666666665972.8
BASE/breakthroughWalls/vOZaYA2.554753551225712329.98900036665447129.16666666666666
STANFORD/multipletictactoe/_bkafQ2.5920797413793111603.6333333333334618.6666666666666
BASE/ticTacToeLarge/TZC0dg2.62050111651123045319.9666666666662030.1333333333334
BASE/lightsOnParallel/SC6enA2.668720338251790610309.2666666666663863.0
BASE/snakeAssemblit/UO4sdg2.67330103443760651361.0666666666666509.1333333333333
BASE/ticTacToeLargeSuicide/727_8g2.76315079579174545462.9333333333331977.0666666666666
STANFORD/chinook/osFbPA2.819714583130355254.1163922405172990.12131715771231
DRESDEN/skirmish3/3LU8Nw2.8638799571275455178.1155217811552262.193780621937805
BASE/breakthroughHoles/nZk0Sg2.8693697191697196365.53333333333336127.39150723285114
DRESDEN/Thief_Police/CX18rA2.8729573286781217296.0666666666672539.5666666666666
BASE/tictactoe_3player/GtM71g2.8937621460961022531.366666666667874.7666666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA2.8988209738415847384.1666666666672547.3
BASE/chinook/XQh0IQ2.9230337362050323276.3241225292490594.53333333333333
DRESDEN/lightson2x2/gBHuig2.92499394003818612840.235897777634389.833333333333
DRESDEN/chickentictactoe/Ipbo-g2.9372380463604489157.1333333333333117.6
DRESDEN/hanoi/RQ0jiA2.9932488781223945024.8666666666671678.7333333333333
BASE/hanoi/iGLsJg3.00053345370237334874.7666666666661624.6333333333334
STANFORD/dualrainbow/G3OnRQ3.01384406468793511392.9333333333323780.2
BASE/connectFourSuicide/c8p9Kw3.01497971102430862650.0666666666666878.9666666666667
DRESDEN/catch_me/ghGWrA3.01938329502730167575.7333333333342509.0333333333333
BASE/factoringEasyTurtleBrain/lUj94Q3.0377894103353138917.6333333333332935.5666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA3.0658336566375477638.9333333333332491.633333333333
BASE/eotcitcit/V_9_bg3.07445242277094757935.3666666666672581.0666666666666
BASE/connectFour/WAIKTw3.0916092576824832662.7861.2666666666667
BASE/connectFour_9x6/B9TtMw3.1199469298063772508.3333333333335803.9666666666667
DRESDEN/tictictoe/LAUtwg3.14446350798469087941.8666666666672525.6666666666665
BASE/blocker/dIWtxg3.1449208415571339985.3333333333343175.0666666666666
STANFORD/connectfour/VMpZkQ3.15331310634153632806.133333333333889.9
BASE/dualConnect4/WbCQkg3.168076276403281498.1333333333334472.8842371920936
BASE/sum15/QZ07Kg3.171268560382891615968.55035.366666666667
DRESDEN/sum15/CsgWKg3.19083293694836416099.6666666666665045.6
BASE/rubiksCube/9tNO9Q3.23870894160584946.5666666666667292.26666666666665
STANFORD/jointbuttonsandlights/qAKuIQ3.259311869842501414837.84552.433333333333
BASE/chickentictactoe/DSlZCA3.2659393645715348980.571200053322749.766666666667
DRESDEN/cube_2x2x2/fp-34Q3.28149804969858974010.11222.0333333333333
DRESDEN/statespacemedium/dVJZ_w3.332049591461986518024.8333333333325409.533333333334
DRESDEN/chickentoetictac/cxYaRQ3.33261587400376912851.2333333333343856.2
BASE/stateSpaceMedium/3bUoIw3.333878442028640717982.051282051285393.733333333334
BASE/incredible/8Qh-6Q3.37093342726312047975.0666666666672365.8333333333335
BASE/chickentoetictac/l57rfQ3.382973490504716612837.9333333333323794.866666666667
DRESDEN/latenttictactoe/kITHKg3.41302652813287646274.1666666666671838.3
BASE/brawl/6Ymo_Q3.438378611173476134.1353684140367239.01122697138288
DRESDEN/tictactoe_orthogonal/y69QFQ3.475630827410836514214.8666666666674089.866666666667
DRESDEN/brawl/2kXtfQ3.4773118331629416137.2104649225129339.45877491168433
DRESDEN/8puzzle/8fKC2w3.4878954140108557861.62253.9666666666667
STANFORD/tictictoe/rpt_Dw3.51142547497076857929.14986503149252258.1
BASE/tictactoe2/bhrDoQ3.572615031594088613908.6666666666663893.133333333333
BASE/ticTicToe/c1OobQ3.5954625676919137945.1333333333332209.766666666667
BASE/roshambo2/KNPokQ3.615219057102400819519.6522550129925399.3
BASE/tictactoe_orthogonal/WRzlVw3.62550316041319814951.3333333333344123.933333333333
BASE/lightsOn/MsXu3A3.668024750656909521637.0666666666665898.833333333333
BASE/connectFourLarge/aU644A3.6700617099035412041.9556.3666666666667
DRESDEN/point_grab/r5DPmQ3.718986258424411316009.616011474024304.833333333333
DRESDEN/statespacelarge/8-y5HQ3.777926057296376414343.43796.633333333333
DRESDEN/roshambo2/jgSlkQ3.79869833267324619717.9034354070175190.7
BASE/eotcatcit/AfZSzA3.84319431279620913515.2333333333343516.6666666666665
DRESDEN/skirmish2/iPpWhQ3.8583920171641743174.060864637845445.112280935563405
DRESDEN/grid_game/U7_Yeg3.8674755016332242210.133333333333571.4666666666667
BASE/stateSpaceLarge/0Ge_CQ3.87592896395306114411.8666666666673718.3
BASE/coloredtrails/EZvr7g3.8761660836248546204.9666666666661600.8
BASE/2pttc/unkkYA3.8847310144927536833.8666666666667214.65235650956603
DRESDEN/tictactoe/BTTzPw3.91504962083311814435.5709619358713687.2
STANFORD/hunter/14dD-g3.9375483671258328480.1666666666662153.6666666666665
DRESDEN/eotcatcit/mQUxzA3.9819294498008213794.23464.2
BASE/checkLines/Vop7oQ4.0375868718193392820.8333333333335698.6433785540482
STANFORD/eightpuzzle/W_aWbA4.0397078683059227458.5333333333341846.3051231625614
DRESDEN/blocks2player/3ev8nQ4.07870340725562619109.1333333333354685.1
BASE/blocks2player/wnTLOQ4.16476291560161319372.117051059864651.433333333333
STANFORD/tictactoe/ss1kyQ4.27401160524834413159.9666666666673079.0666666666666
DRESDEN/skirmish/RjGQYQ4.294241409192415181.9484718194847242.37034076146697
DRESDEN/firefighter/WJmoPw4.34141548469780512119.3507532329022791.5666666666666
STANFORD/8puzzle/jNiGtw4.4107500045877458011.8333333333331816.4333333333334
BASE/nonogram_5x5_1/qLKEZw4.422957464927654395.320155994800289.37914486619789
BASE/firefighter/WJmoPw4.44581019077517512273.42760.6666666666665
STANFORD/checkersonabarrelnokings/Zrevdw4.451050994944286372.787573747541783.75270788201966
BASE/hexPie/48CH6Q4.451194297782471562.0126.25824945003666
STANFORD/trifecta/ss1kyQ4.47135462555066113533.33026.6666666666665
BASE/eightPuzzle/vLrgFg4.4796030668769958140.6333333333331817.2666666666667
BASE/ticTacToe/JRFsaQ4.50398954838662114129.9160111985073137.2
BASE/toetictac/mTThmg4.51298520783648220563.2666666666664556.466666666666
STANFORD/hex/MTqWcw4.550810249915569598.8666666666667131.59561347955068
STANFORD/skirmish/w4V6Vw4.58767490478274737.365125882509668.144676041355009
STANFORD/madness/UO_B3A4.61680793618886235.14089667577117.611513660838928
STANFORD/rainbow/_4qNSQ4.648301758942940527439.75903.166666666667
BASE/hex/T1MK8g4.6690119736919025612.0462651244959131.0868913108689
DRESDEN/toetictac/mJtxCA4.68781674740071320935.6333333333354465.966666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g4.737496077080753517424.6684880389153678.0333333333333
BASE/chineseCheckers4/avfBcQ4.791335976148411446.2301.83648301836485
BASE/point_grab/V_osUg4.791838819695585416168.1433615348743374.1
STANFORD/bestbuttonsandlights/nm0wEA4.84583268312347624406.3593640635955036.566666666667
DRESDEN/4pttc/9pB9AQ4.8520959241144211454.9333333333334299.8566714442852
DRESDEN/chinesecheckers1/Y-ftaA4.9497948473710553187.0666666666666643.8785373820873
BASE/checkersTorusNoKings/pwb6oQ4.96450257997936427.4666666666666486.10463178940353
BASE/skirmishNew/sibw2g5.002666222296283118.6468921846358923.716731621198495
BASE/speedChess/bPnisA5.04762486506622117.4921671888540823.276723276723278
BASE/checkersBarrelNoKings/rnKNeg5.168794823088428446.951768274390986.47117627457514
STANFORD/multiplebuttonsandlights/cK70Yg5.20097598561705427000.05191.333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA5.44721741811795227086.8333333333324972.6
DRESDEN/checkers-mustjump-torus/cVc3gA5.4844511141057995.5745429206623091.016426768090757
BASE/skirmishZeroSum/zh4hcw5.492571026842949118.6644006797960621.604527296937416
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg5.57712068436112056.2838713967483461.1267232237539766
DRESDEN/logistics/fPru1Q5.90670784527889755227.633333333333885.0333333333333
BASE/connectFourLarger/qKi60A5.9557927043826381256.2333333333333210.92630245658478
DRESDEN/frogs_and_toads/GjchhQ5.9832876471402851440.0333333333333240.67593240675933
DRESDEN/checkers-cylinder-mustjump/vW_-pA6.22836019011461157.193525826755921.1549630411826821
DRESDEN/oisters_farm/pTQMLg6.26143636038335517730.926770788242831.766666666667
BASE/beatMania/qUHwvQ6.38327473174023312305.8898036732121927.8333333333333
DRESDEN/circlesolitaire/ruUilQ6.55160652006163126886.2644501449184103.766666666666
BASE/checkersTorus/2vm1EQ6.7068104583738375420.9912342099123662.770707003398414
BASE/circlesolitaire/azuQFQ6.71188077486516727337.2666666666664072.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw6.7626206590480424063.4333333333334600.8666666666667
BASE/3pttc/0sol9g6.8870050576820231001.5333333333333145.42363842410506
BASE/chineseCheckers1/gqtwHw6.90392164965494455568.933333333333806.6333333333333
DRESDEN/battle/8oAvhQ7.06702606611058126.902843444096693.8068125393094774
DRESDEN/snake_2009_big/DgC1NQ7.1518910686761432783.9389.2536915436152
DRESDEN/sat_test_20v_91c/dK7nVw7.2800416522040953495.633333333333480.1666666666667
DRESDEN/pawntoqueen/f_x6Aw7.282267012320490536.766909781196925.048827476250581
DRESDEN/uf20-020.cnf.SAT/hDrW_A7.44875635755591153563.733333333333478.43333333333334
BASE/endgame/jYjfOA7.5134875499786435544.063729084727772.41160985037823
BASE/pawnToQueen/-O1_JA7.55987454062996237.737734403623894.991846650470897
BASE/snake_2009_big/-oRfVw7.5686428821266182885.1666666666665381.2
BASE/battle/8oAvhQ7.58353882039320228.257247584138623.7261294829995344
BASE/ticTacToeNoVars/XT03NA7.637263167236117212.12253.7
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ7.7933527928884183915.9502.46666666666664
BASE/4pttc/AL1k2Q7.86788443877551719.433333333333391.4392348961978
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg7.9425672325937953913.9666666666667492.7835738808706
DRESDEN/uf20-010.cnf.SAT/5ICbCg8.069945689334823860.5333333333333478.3840538648712
BASE/chineseCheckers2/eCMR3Q8.1214319296124654030.6666666666665496.3
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg8.1976735699533044057.1666666666665494.9168361054632
BASE/duplicateStateMedium/U163eQ8.42277745564138617455.644758319732072.4333333333334
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA8.4780833374672733417.9666666666667403.1532282257258
DRESDEN/sat_test_20v_91c_version2/a1mPBA8.4803355073636523493.1411.90587294180386
BASE/chineseCheckers6/rREH3A8.9662858735023682145.3333333333335239.26666666666668
BASE/duplicateStateLarge/dcjyuw8.9860792801969277057.666666666667785.4
BASE/chineseCheckers3/-1rZdQ9.0710553595246763324.733333333333366.5211159628012
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg9.4455069771560133555.8376.4541181960601
STANFORD/untwistycorridor/EDPPAQ9.66249965037282462966.323138297876516.566666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A9.6629485263341463693.7382.25392486917104
BASE/untwistycomplex2/EDPPAQ9.75434065962500862828.033333333336441.033333333334
BASE/sheepAndWolf/g4THrg9.8426093709552161267.4128.76666666666668
BASE/snake_2009/7l-qAQ10.29927007299274891.466666666666474.93333333333334
DRESDEN/checkers-mustjump/HUr33w10.63417364426187512.9182620276344271.2147875763346248
DRESDEN/snake_2009/zIYLVw10.6628735069946944911.866666666667460.6513116229459
DRESDEN/aipsrovers01/qS47Mw11.17550770129182412662.9677763337661133.1
BASE/aipsrovers01/4C4jsw11.52086413643608313033.9376263546871131.3333333333333
BASE/kalaha5x2x3/WviNsw12.1210582837377285294.933333333333436.83754416372244
DRESDEN/Runners/3bOCQw12.15050262246410314274.0054641167461174.7666666666667
DRESDEN/minichess/c7GMFw13.1078724228629262879.266666666667219.65934468851037
DRESDEN/endgame/IJhh3Q13.842102062172977499.5666666666666636.09037589976006
DRESDEN/pancakes88/aD3E7g15.44455917505449319301.0656010656021249.7
BASE/snake_2008/i6K26g16.221970003685465379.566666666667331.6222792573581
BASE/pacman2p/4LEdQg16.355206280454791006.661.5461512829057
DRESDEN/pancakes6/SZXMyQ16.6000662015582821731.71309.1333333333334
BASE/gt_tinfoil/Q8DyKg16.6140615611433021974.1069048253798118.82145118821451
BASE/snake_2008_tweaked/bX0NJQ16.7424626941427275497.666666666667328.3666666666667
DRESDEN/snake_2008/E56l3A16.996575144333035593.2329.07806146256917
BASE/cylinder-checkers/hlldmw17.0434070914422842.588643028525722.4988338775238224
BASE/pacman3p/wW7UVQ17.2098724202070731073.430885637145462.37297171225802
DRESDEN/four_way_battle/xSOQXA17.413535028406706114.988501149885016.60339792938678
STANFORD/platformjumpers/HEQskA17.428750937301345444.13705752949825.48301132578281
DRESDEN/pancakes/hl9aiQ17.49544853135750322038.4333333333341259.6666666666667
DRESDEN/gt_prisoner/huCp4w17.97445950483476611276.8627.3790873637546
BASE/kalaha6x2x4/XS81Mg18.3659410309137564541.745825417458247.2917569414353
BASE/tron_10x10/7ZTgDg18.5945492662473823652.2666666666661272.0
BASE/four_way_battle/xSOQXA18.60494474637681113.833333333333336.118445116882254
DRESDEN/cylinder-checkers/clOO3Q18.79776877388219747.079598840502452.5045312242544076
DRESDEN/hanoi7_bugfix/3gdnFw19.7972609619028933365.633333333333170.00499916680553
DRESDEN/gt_chicken/CeuKtw19.947625177857589813.566666666668491.96666666666664
DRESDEN/hanoi7/51zz5Q20.64762493328253610.1174.8433542194374
BASE/gt_prisoner/klthDw21.05424183325207511515.266666666666546.9333333333333
BASE/gt_staghunt/xPjLRA21.35252739043824711433.566666666668535.4666666666667
BASE/hanoi7_bugfix/3gdnFw21.4558139534883743382.866666666667157.66666666666666
DRESDEN/blobwars/ZaMluQ21.48077032946254382.920569314356217.826202852192456
BASE/crossers3/O0rORg21.8308391785150061074.733333333333349.23005132991134
BASE/blobwars/0XT15Q21.96693572773222384.4743683754416617.502412404751606
BASE/gt_chicken/gmepTQ22.2279259202336139641.733333333334433.76666666666665
DRESDEN/othello-cornercontrol/r5Gdlg22.653988991312423.41534584521520.15076134479119555
DRESDEN/crossers3/xiPTxg22.6696970807875081112.649.07873254922867
DRESDEN/checkers-newgoals/IJOqXQ24.84073658536585367.533333333333332.718652609243419
BASE/pancakes6/QZTdnw27.01599888609120721474.1169812577794.8666666666667
BASE/pancakes/yUgbXw27.33263798970344621678.426277566792793.1333333333333
BASE/gt_coordination/IVMOzA27.39395546129374320666.0754.4
DRESDEN/checkers/jIDMIg28.39152704447865467.193280671932812.3666666666666667
DRESDEN/Travelers-Dilemma/PvZwYw28.509961099027937725.642478584047225.45224372855382
DRESDEN/knightstour/cGISAA30.88856408757327266922.133333333332166.5666666666666
BASE/bomberman2p/4CClwA32.1461477362986444047.2125.9
BASE/knightsTourLarge/M8jgLA32.182921224920819301.6599.7466751108296
STANFORD/knightstourbig/TQUI2g32.6160739687055515286.066666666668468.6666666666667
DRESDEN/twisty-passages/j7NPyg34.9698235135590352305.76666666666765.93589658159526
BASE/twisty-passages/DiZmmg35.5640889830508442238.166666666666562.93333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA36.70079864600412423130.066666666666630.2333333333333
BASE/kitten_escapes_from_fire/uW-YiA37.5081575392289324062.733333333334641.5333333333333
BASE/knightsTour/mvtVIg44.60579945683553469530.033333333341558.7666666666667
STANFORD/knightstour/cEwgNA44.9706570228247269221.833333333331539.2666666666667
BASE/ghostMaze2p/W-NU-w47.141103294822426119.466666666666129.81169805032494
DRESDEN/mummymaze2p/k-8edg47.9972131868131842183.045.48180727708917
DRESDEN/hitori/S8Gsyg48.2532374890254554.10447761194031.121261088942387
BASE/mummymaze2p/vpjDdA49.1558534900808162228.745.33946298887334
BASE/hitori/S8Gsyg51.54301536725023457.965220867479511.1245989481692191
DRESDEN/connect5/1kYzSg59.989326633165831192.833333333333319.884092725819343
BASE/knightfight/SJRkAg62.284767012828343397.254.54303135308033
DRESDEN/farmers/S_ASnw63.74115616911130683.958319506205611.3171759747102212
BASE/connect5/d-BVQg64.831126984126981179.533333333333318.193935354881706
DRESDEN/knightfight/4_Ly4w68.375631313131313610.23333333333352.8
DRESDEN/hanoi_6_disks/MeubgQ77.2522300022999122392.1289.85700476650777
BASE/hanoi_6_disks/MeubgQ83.1403386685223923894.533333333333287.4
DRESDEN/quarto/OQzRYQ88.18547548138642287.925.944181709185372
STANFORD/knightstourmedium/x1wu8Q90.96540786625867162512.733333333341786.5333333333333
DRESDEN/quartosuicide/WIU1oQ93.848287314814812251.533333333333323.99120322548399
BASE/quarto/EwBMVQ100.631740433925052266.13333333333322.519071254871914
BASE/quartoSuicide/-23jUg102.916426893353932218.23333333333321.55373442601106
BASE/solitaireChineseCheckers/-ET6gw113.108811882716041564.066666666666613.827982458948178
BASE/max_knights/2fq3Ag150.773833169934651022.43333333333336.78123857328059
DRESDEN/max_knights/hCipiA155.29261926298161028.63333333333346.623839163865127
BASE/onestep/xi53wA179.273515607733032757836.215383.4
DRESDEN/vacuumcleaner_random/_6AGDA200.918846774193552901.514.441153961334974
DRESDEN/kalaha_2009/gcC8uA201.464500756429664434.522.01132201132201
BASE/kalaha_2009/dRiN3g205.468075113122184535.122.07204208003196
DRESDEN/chinesecheckers2/06E6-Q221.06710914634152413.310.916594555015642
BASE/survival/YVIjJA256.89954244370362717466.233333333410577.933333333332
BASE/haystack/UkweGA352.311051509691544842738.53333333313745.633333333333
DRESDEN/2player_normal_form_2010/NG_Kdg355.57858354586682054130.06666666675776.866666666667
BASE/switches/tPUoCg362.03866526819552289665.26666666666324.366666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA364.339147549248376214.326189127029517.056432806982478
DRESDEN/vacuum_cleaner_1/eUNjpw394.506050639749336330.800253308002516.047409774936742
STANFORD/buttonsandlights/eyhJpA410.64819377415584044583.5666666679849.266666666666
BASE/troublemaker01/s3tlEQ414.442067496154834616635.96666666711139.4
DRESDEN/troublemaker01/C-lPWw419.72997713019294747313.93333333411310.4
BASE/stateSpaceSmall/Q7osKA435.57822858364853937888.5333333339040.6
DRESDEN/statespacesmall/h-NqjA448.199588501239533862987.4333333338618.9
DRESDEN/troublemaker02/iZLVuA454.529837640354344296337.2333333339452.266666666666
BASE/troublemaker02/DI83KA455.26792103440484228725.7333333339288.433333333332
BASE/buttons/hTcUjw506.740466163294066997.63333333338025.8
DRESDEN/buttons/ADUaHw508.96812860299164008327.67875.4
DRESDEN/vacuumcleaner_random_big/DwzFaQ514.0969268715421278.84807679488042.487562189054726
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A598.857545229244110735.93333333333217.92735754748417
BASE/blocks/xIV5hQ638.15095678512584466503.6333333346999.133333333333
BASE/blocksWorld/SEdXLQ640.5940834873114530110.5333333337071.733333333334
STANFORD/sukoshi/4LYZZQ640.89015611614741670822.02607.0333333333333
DRESDEN/blocks/vg0DRw646.28586440694234489597.16946.766666666666
BASE/duplicateStateSmall/bCPAXw648.36536641204573927105.86056.933333333333
BASE/snake2p/I3wWPQ677.8878674769411732503.03333333331080.5666666666666
STANFORD/tictactoe7/-bE9-A689.12644752778192162157.23137.5333333333333
BASE/pearls/6k_mEQ699.72404243549586619832.69460.633333333333
BASE/pancakes88/l2Xaig792.493677824267818931.13333333333523.888055972013994
BASE/hodgepodge/9yjRkw851.17423769120692815627.63333333333307.9333333333334
DRESDEN/tictactoe-init1/3ltIBQ1082.6028255903343705337.26666666663422.6192460251323
BASE/maze/cCX3qQ1086.35594098422086570389.3666666666048.1
BASE/tictactoe-init1/7M19vA1123.99374029796583716897.4333333333306.866666666667
DRESDEN/chinesecheckers4/-oVNYg1185.43588928571421088.23333333333330.9180026884364447
STANFORD/tictactoe5/WFRReg1258.87151860134173715433.42951.4
DRESDEN/blocksworldparallel/2JfVaw1301.39792754248953315571.52547.7
BASE/gt_dollar/TGjqRw1367.64233371601633732660.63333333332729.266666666667
STANFORD/tictactoe3/X7myng1428.80701087730974010756.5333333332807.0666666666666
STANFORD/3puzzle/41ibjA1514.54086692334865284182.63488.9666666666667
STANFORD/threepuzzle/41ibjA1587.64492324691225364334.6666666673378.8
BASE/blocksWorldSerial/Wyg96Q1641.96325640272154842587.52949.266666666667
BASE/blocksWorldParallel/RseaAQ1900.55775792359423212132.66666666651690.1
BASE/gt_centipede/9fRMpw2021.13702574810964000706.01979.4333333333334
BASE/coins_atomic/AA3SSw2209.7700873148243003224.86666666671359.0666666666666
BASE/coins/QnGtnQ2264.77091314679233113456.0666666671374.7333333333333
DRESDEN/coins/QwFP9w2394.96465118567363245336.76666666661355.0666666666666
DRESDEN/chinesecheckers3/QsCb2A2829.87598260869572132.46666666666670.7535548129218269
BASE/minichess/8NQEiA11084.865137585212890836.466666667260.79130695643477
DRESDEN/crisscross/GsY16g23537.9434500000021403.70.05963562632316546
BASE/crisscross/ICagEg24710.35251463.66666666666670.059232933511032135
DRESDEN/crissrace/KWb9bw26128.869333333332854.66666666666660.03270966897814994
BASE/crissrace/ERWGDA27273.402666666665879.33333333333340.03224142378127418
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity475.00.0
DRESDEN/chinesecheckers6/yTbPDAInfinity1687.10.0
DRESDEN/merrills/aYEzwAInfinity11.4333333333333340.0
BASE/merrills/pku8TgInfinity11.181736497054810.0

Games with errors:

GamePALAMEDES_JOCULAR:0.6.1 error messageREKKURA_BACKWARD_PROVER: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/ruleDepthExponential/UamhHQException of type NullPointerException
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/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