index

PALAMEDES_JOCULAR:0.6.1 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioPALAMEDES_JOCULAR:0.6.1 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.0027812130765466280.1784492757933557364.16238917405506
STANFORD/selectivesukoshi/3xmXYg0.031519837094006574.199213014623833133.22445170321978
BASE/golden_rectangle/_nYzfw0.045548368598149764.796802131912059105.3122708791575
DRESDEN/ggp-course2013_michal13/jWKddg0.07329624058566657.913023240349769107.95946936870875
BASE/blokbox_simple/JBx4bg0.084258135602687060.34629308987879744.1099068642073515
BASE/battlebrushes/arCwyA0.095580994058151430.289629731254096753.0302021244713795
BASE/quad_7x7/q-JOXg0.133473286329547642.273116124459218417.03049491751375
BASE/colonelBlotto/jip21A0.142362937958328470.051216389244558260.3597592883307169
DRESDEN/quad_7x7/q-JOXg0.214721679455851833.759773748128431217.509986684420774
BASE/quad/tw-Ufg0.273466282179471051.4637478450378955.352571561554573
BASE/simultaneousWin2/PfjRjw0.2938855988221454143.00473238685595486.6
DRESDEN/quad/JPe6fg0.29685600905984641.59658289790163395.3783074931111186
BASE/copolymer_4/2LDVhQ0.3997470726047211420.01665278934221350.073294243070364
BASE/copolymer_4_pie/IN5_jA0.459664764153145722.5228226827480548.9983667211093
DRESDEN/grid_game2/kypTYQ0.4776100816672925202.77972202779722424.57169522031865
BASE/factoringImpossibleTurtleBrain/kcBhdw0.5142234328335811.94117259985523453.7749594357429053
BASE/sudokuGrade6H/ieE_9A0.548312816698101567.99773340888638124.01266455590735
BASE/sudokuGrade6E/ihYFZA0.567352537722908168.92414344754033121.48380215971204
DRESDEN/CephalopodMicro/H3XQfg0.592697227958498815.21862199873455725.676890798281548
BASE/sudokuGrade3/eI8dvg0.609244001781178174.51346307651293122.30479554770554
STANFORD/sudoku/oJ1qyQ0.657582623630830879.42803813079128120.78792120787921
BASE/sudokuGrade2/u80Tfw0.701140779516304885.74665911287366122.2959234692177
BASE/sudokuGrade4/DTy07w0.718273567380104287.32460087324601121.57568486302739
BASE/sudokuGrade5/BQfUQA0.719297876455626889.0910908909109123.8584094393707
BASE/ad_game_2x2/D0aWqg0.76930648402575560.020506090308821720.02665529374133703
BASE/sudokuGrade1/tDRNRw0.78284516598152395.06032931137923121.42928569047699
BASE/cephalopodMicro/9l2D3g0.822757414101871917.31428761695468321.044219499200853
DRESDEN/slidingpieces/s9_44g0.8550593701600414220.83333333333334258.26666666666665
BASE/slidingpieces/uFJWEw0.8651849383363946219.8254.0497300179988
BASE/chess_200/XsTpYA0.90381132791295892.95665735265449353.2713214155899943
BASE/cittaceot/fDxhXg0.9171403488581038206.72644245191827225.40327956272498
DRESDEN/peg/Vo31eg0.9210087949233514325.155828139062353.0431304579695
STANFORD/duidoku/3SoMaA0.931853086971298471.642785738087376.88206085246776
DRESDEN/peg_bugfixed/u_B7MA0.9505714159518442330.98896703443216348.2
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.9508149999987779194.44166749975008204.5
BASE/tictactoe_3d_small_6player/g_9lww0.9935618968201023198.56666666666666199.8533431104593
BASE/ticTacHeaven/18n58A1.0072828627944614373.43333333333334370.73333333333335
BASE/blockerParallel/7-nDJA1.142412304026842486.93420438637423426.23333333333335
DRESDEN/blockerparallel/dVQgSg1.1619152622460232491.7836072130929423.2525582480584
DRESDEN/Zhadu/9zpQ5w1.18493180699785130.36565447818406225.626499600106637
BASE/tpeg/QNs7Lw1.1905375236652782419.2352.1098593427105
BASE/hidato37/pBrqxw1.20439158930000821.1915233906437417.595210377515382
DRESDEN/ggp-course2013_jordi/9QI6Kw1.215814167438145110.3296556781440690.74549271836571
DRESDEN/quad_5x5_8_2/JRTLJg1.24297336150300677.353405289402265.915979792608349
DRESDEN/tpeg/h-Scbg1.2799365582870736430.4336.26666666666665
BASE/ticTacHeavenFC/mrletw1.4079275905118604451.1320.4
BASE/futoshiki6/JmvXNA1.4900113091766363198.39338688710376133.1489134782029
BASE/hidato19/rRHSmA1.5230866553507922209.36666666666667137.46208459718008
DRESDEN/ticblock/Z2yNWQ1.58848291421339361924.51211.5333333333333
DRESDEN/pentago_2008/hLjVpQ1.6533561979421854224.9591680277324136.06213126229125
BASE/tictactoe_3d_6player/d7KSwg1.761352423564936375.6156896724097742.93047130191321
BASE/lightsOnSimul4/9FeASw1.788389064910407669.7666666666667374.50836610892605
DRESDEN/cubicup_3player/awDtsQ1.7977524942541205326.70066326700663181.72727575747476
BASE/futoshiki5/TJ4BZg1.848143381974249358.8194.14078122916945
BASE/lightsOnSimultaneous/_VN6lw1.8513696496864003941.2666666666667508.4163861204627
DRESDEN/tictactoe_3d_6player/ulZPWg1.859635311227457771.0333333333333338.197453503099794
BASE/ticblock/T21C1g1.88655141520390221895.16666666666671004.5666666666667
BASE/cubicup_3player/e2yA_g1.9881286564407192342.2552581580614172.14945172149453
BASE/ticTacToeSerial/Amrwqw1.9973691498199946961.6666666666666481.46666666666664
DRESDEN/javastrike/whONTQ2.048220234549639223.39255358154728109.06666666666666
DRESDEN/tictactoeparallel/yk_DSg2.1324370452435852373.91113.2333333333333
DRESDEN/battlesnakes2011/93VtTw2.166486782976474546.3333333333334252.17478252174783
DRESDEN/pawn_whopping_simultaneous/r8dLfw2.179810495626822996.9457.3333333333333
BASE/blockerSerial/3eqDuw2.1950162960855533778.3740541981934354.60969268715417
DRESDEN/doubletictactoe/lJzgmQ2.2051854704145812863.43333333333341298.5
DRESDEN/battlesnakes1509/-qZrLw2.2230320699708455559.1666666666666251.53333333333333
BASE/conn4/va9Y7A2.250204292363386870.2386.7204426519116
BASE/bunk_t/xbpfIA2.2530795936736532920.3666666666671296.1666666666667
BASE/doubletictactoe/HH1htg2.27427505247609442925.41286.3
DRESDEN/bunk_t/7-tPfA2.27536495402358562919.91283.2666666666667
BASE/doubletoetictac/fu35bg2.309768501350852906.7666666666671258.4666666666667
DRESDEN/doubletoetictac/V89gKQ2.343853101844342889.03333333333331232.6
BASE/othelloSuicide/B442jg2.3675115207373274.398826979472141.8579960185799602
DRESDEN/pawn_whopping_corrected/7Ov0jQ2.36774717100220931750.6333333333334739.3666666666667
DRESDEN/quad_5x5/JAEP5g2.43135269565010464.8830380415058242.008362690547526
BASE/withConviction/3Xm54A2.47231095303133761448.0666666666666585.713809539682
DRESDEN/towerworld/HCX34w2.50452064420513942.9670585884155517.155801325826975
BASE/othelloHoles/c0qAzw2.53881535407015244.8312375909993381.9029495718363463
BASE/strangeSkirmish/gc1zKA2.58174993877729334.6734170469306913.430199620088645
DRESDEN/lightsout/XgLpzQ2.58827468443432542576.8995.5666666666667
STANFORD/triplesukoshi/Iu9mbA2.595175836550837806.5310.7689231076892
DRESDEN/pawn_whopping/4ogBkg2.71858594547141051823.5666666666666670.7776407453085
DRESDEN/lightsout2/LFtfyQ2.7220987865322172654.5975.1666666666666
BASE/double_tictactoe_dengji/zgaSbA2.80106547034908142664.0951.0666666666667
BASE/skirmishHoles/AUCxCA2.82207967008748843.6912617476504715.481937739304145
DRESDEN/cubicup/SBn_lw2.8476318141197496637.3223.8
BASE/cubicup/4wNWJA2.8550944238102316640.5666666666667224.35918802706576
BASE/futoshiki4/BaCwSw2.9725209102091021020.3333333333334343.25522482583915
STANFORD/duikoshi/tpw1sw3.02576701136947971765.3333333333333583.4333333333333
BASE/tictactoe_3d_small_2player/oOryKA3.0720120648485607814.7185281471852265.20681265206815
DRESDEN/double_tictactoe_dengji/bGaUyQ3.0813993500286752686.4666666666667871.8333333333334
BASE/quad_5x5/JAEP5g3.10153053715967576.1810154525386311.992892018467466
DRESDEN/tictactoe_3d_small_2player/HYttcg3.117107151704659827.0724309189694265.3333333333333
BASE/nonogram_10x10_1/0Xc62g3.214152963857850838.65249408550198512.025717045870948
BASE/checkers-mustjump-torus/uSApKQ3.27533355253433544.7781796462819791.458837571698551
BASE/factoringGeorgeForman/HGRorQ3.576829461352752512050.13368.9333333333334
DRESDEN/tictactoex9/rFkD4w3.675147014054256874.5333333333333237.95873470884302
BASE/tictactoex9/BI26ow3.7123924996475397877.7333333333333236.43333333333334
DRESDEN/minichess-evilconjuncts/th24Tw3.712465579974118419.43870408639424112.9811698050325
BASE/minichess-evilconjuncts/4OpQzw3.750771023121961419.93333333333334111.95920271981868
BASE/lightsOut/5P1ZBw3.7850349720726622507.3333333333335662.4333333333333
BASE/skirmishFinal1/ecWTnQ3.78814761111500855.3778488604558214.618714618714618
DRESDEN/sheep_and_wolf/enAIzQ3.8002393537448891270.1666666666667334.23333333333335
BASE/skirmishFinal2/gdB62Q3.83679784457519957.2828151554533614.929849701736261
BASE/pegEuro/5awwhg3.894736842105263261.440522614405267.12662067126621
STANFORD/alquerquezero/uVgA_A3.9883544303797467262.5579147361754665.8311389620346
STANFORD/multiplesukoshi/vLSQPg4.030928114246033495.01683277224095122.80467890825474
BASE/connect4/50bOyw4.177972339203675727.5174.12752908236394
DRESDEN/skirmishfinal/hzq8ww4.26946271215705862.54373396421312514.649087761353043
STANFORD/pentago/ZxzLmg4.345561230811621552.2815906136462127.0909696767744
BASE/skirmish/Y_psYQ4.41998827860779835.590509197547328.052172755706396
DRESDEN/brain_teaser_extended/ZDp94A4.4283326459287566800.01535.5666666666666
BASE/skirmishFinal3/-Olhfw4.5115782649242672.9732431441804716.17465969980364
DRESDEN/connect4/T0-rHQ4.595742906047927805.4175.24914175249143
DRESDEN/smallest/9kaGFw4.648807726152028152.0847915208479232.7147949495286
DRESDEN/ggp-course2013_nicolai/uEin8g4.687111246266478125.0583294447036926.681323073848308
BASE/qyshinsu/R08Lzw4.694066371844482283.0333333333333660.29598026798214
DRESDEN/fizzbuzz/t1xHzQ4.71154166591897830.4928849935015166.471954862263525
DRESDEN/tictactoelargesuicide/6J4DeA4.72906757936463155493.2849001899561161.6
DRESDEN/tictactoelarge/IwXcbg4.80403609707660455483.1666666666671141.3666666666666
BASE/brain_teaser_extended/ZDp94A4.8766312095624527411.6666666666671519.8333333333333
DRESDEN/chickentictactoe/Ipbo-g4.9790481023670579157.1333333333331839.1333333333334
BASE/ticTacToeParallel/ymRGPw4.991497623351412485.266666666667497.9
BASE/peg/fJHVWw5.032910600908427336.4442370508632566.84884030925086
BASE/breakthroughSuicideSmall/XSbJog5.076958482088647464.4333333333333491.47865498050454
DRESDEN/latenttictactoe/kITHKg5.1241390575232086274.1666666666671224.4333333333334
BASE/nineBoardTicTacToePie/B8LzeQ5.1890663928223671186.793773540882228.71046228710463
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw5.1980881017543146.3600945689454231.2235449735449735
BASE/connectFourSimultaneous/7ITr3g5.3583236658932721231.7229.86666666666667
DRESDEN/stratego/Z2wovg5.3665861756715961185.3220.86666666666667
BASE/nim3/1OwUqw5.472938108886065170.960967967734431.23751165578793
BASE/checkers-cylinder-mustjump/rjr6qQ5.4826404445001977.0223316803674241.2808302407304017
STANFORD/nineboardtictactoe/y28P-A5.5694852372855161200.9666666666667215.63333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ5.7014933192438652697.6666666666665473.15089497016766
BASE/nim4/twk16w5.7933142299512181.3606213126229231.305158690511874
DRESDEN/nim3/sG_axA5.807469406645929179.1676385325380630.851241046143596
DRESDEN/nim4/F5YAYg5.853802404117394184.327189093696931.488454233447737
BASE/tictactoe2/bhrDoQ5.913632562819767513908.6666666666662351.9666666666667
BASE/numbertictactoe/rvJ-iQ5.93098006644518354760.6802.6666666666666
BASE/nineBoardTicTacToe/wRmqqA6.1449115044247791296.1666666666667210.93333333333334
DRESDEN/othello-cornercontrol/r5Gdlg6.326024116125663.41534584521520.5398882113821138
BASE/tictactoe_3d_2player/IUC1rQ6.4613971681167195310.679288047463548.08236979774083
DRESDEN/tictactoe_3d_2player/LMuX9w6.55841916240565299.0333333333333645.59533721898418
BASE/pawnWhopping/Ypc_6Q6.5995034140285541771.9666666666667268.5
BASE/snakeAssemblit/UO4sdg6.6262281789171931361.0666666666666205.4059458738835
BASE/englishDraughts/jFkQxg6.763110217881291599.933333333333388.70672131693826
DRESDEN/mimikry/GJEhwA6.7737829388119691011.1149.26666666666668
DRESDEN/sum15/CsgWKg7.03954176444010416099.6666666666662287.0333333333333
BASE/eotcatcit/AfZSzA7.07023907091914213515.2333333333341911.5666666666666
BASE/lightsOnParallel/SC6enA7.16784091962547510309.2666666666661438.2666666666667
DRESDEN/tictactoe/BTTzPw7.27917317474158914435.5709619358711983.1333333333334
BASE/sum15/QZ07Kg7.35966017329318615968.52169.733333333333
BASE/connectFour/WAIKTw7.47134892442947952662.7356.3881203959868
BASE/connectFour_9x6/B9TtMw7.5539558656227012508.3333333333335332.0555981467284
DRESDEN/Thief_Police/CX18rA7.5554711770797387296.066666666667965.6666666666666
DRESDEN/eotcatcit/mQUxzA7.56509816825710213794.21823.4
BASE/ticTacToeLarge/TZC0dg7.6570869298918945319.966666666666694.7768407719743
DRESDEN/lightson2x2/gBHuig7.65941058087427212840.235897777631676.4
DRESDEN/gt_ultimatum/pAiiQw7.715093812659749177.8073975341552923.046692866182642
BASE/breakthroughSmallHoles/bxclRw7.7167416657821182423.233333333333314.0228659044698
DRESDEN/CatchMeIfYouCanTest/CX18rA7.7578357555594477384.166666666667951.8333333333334
BASE/dualConnect4/WbCQkg7.7822009233610341498.1333333333334192.50766564458073
STANFORD/connectfour/VMpZkQ7.7876040703052732806.133333333333360.3333333333333
DRESDEN/blocker/S815zQ7.8202911640587939676.306933662081237.3333333333333
BASE/chickentictactoe/DSlZCA7.8496922091253318980.571200053321144.0666666666666
BASE/ticTacToeLargeSuicide/727_8g7.8697719087635065462.933333333333694.1666666666666
DRESDEN/catch_me/ghGWrA7.8733458047529967575.733333333334962.2
DRESDEN/Catch-Me-If-You-Can/ghGWrA7.8760009622985197638.933333333333969.9
BASE/nonogram_5x5_1/qLKEZw8.148047995469748395.320155994800248.51716094635122
STANFORD/dualhunter/1rPZjQ8.1674588256320272792.633333333333341.9219359354688
BASE/eotcitcit/V_9_bg8.2365498391170487935.366666666667963.4333333333333
DRESDEN/tictictoe/LAUtwg8.244722818188117941.866666666667963.2666666666667
BASE/checkers-mustjump/T-8UuQ8.54518615741348410.606816292601831.2412621676357223
BASE/factoringEasyTurtleBrain/lUj94Q8.571625388484838917.6333333333331040.3666666666666
BASE/chomp/-LcqYQ8.5825156110615521924.1358621379288224.19252691576946
BASE/gt_ultimatum/GE-uOA8.617606622216227179.964007198560320.883293365307754
DRESDEN/chickentoetictac/cxYaRQ8.66161173642470312851.2333333333341483.7
DRESDEN/chomp/-LcqYQ8.6840294185987781910.1333333333334219.9593346888437
BASE/connectFourLarge/aU644A8.7266501139601142041.9233.98440103993067
STANFORD/breakthrough/d5j0cQ8.7891037785588751666.8333333333333189.64770189647703
BASE/chickentoetictac/l57rfQ9.016457918763912837.9333333333321423.8333333333333
BASE/stateSpaceMedium/3bUoIw9.0247179212650317982.051282051281992.5333333333333
DRESDEN/3pffa/0YrmQw9.1457584752382441951.4213.36666666666667
DRESDEN/statespacemedium/dVJZ_w9.15291389495421418024.8333333333321969.3
BASE/3pConnectFour/PqXOFQ9.3067173133083031734.9666666666667186.4209052729818
DRESDEN/tictactoe_3player/ESLQQQ9.4438496672716272428.1666666666665257.11619225384976
DRESDEN/3pttc/uwYBZw9.4477117528474962082.766666666667220.45196986867543
BASE/lightsOn/MsXu3A9.45552010954274521637.0666666666662288.3
BASE/incredible/8Qh-6Q9.510354970783487975.066666666667838.5666666666667
BASE/checkLines/Vop7oQ9.5341369986480392820.8333333333335295.8666666666667
DRESDEN/nim2/z5_exA9.631874651580006291.913872408506130.30706720841937
DRESDEN/8puzzle/8fKC2w9.6343137254901967861.6816.0
BASE/blocker/dIWtxg9.6757105943152469985.3333333333341032.0
DRESDEN/cube_2x2x2/fp-34Q9.8636558252029194010.1406.55311489617014
BASE/breakthroughSuicide/wZDpIg9.95941587967821316.166666666666731.74550299800133
STANFORD/freeforall/Lfp40Q9.982832561495261824.972500916636182.63912029323559
BASE/breakthrough/TGxk-g9.990739402469515315.9561347955068431.624900026659557
DRESDEN/skirmish2/iPpWhQ10.018836664576058174.060864637845417.373360846701726
BASE/nim2/eF2Qqw10.214514474478477306.30270306302729.98700563089328
DRESDEN/guess/PhxGhg10.2736037860589526.259501793412092.5560165975103732
STANFORD/multipletictactoe/_bkafQ10.3081880462724951603.6333333333334155.56888622275545
DRESDEN/statespacelarge/8-y5HQ10.35275719372533814343.41385.4666666666667
STANFORD/jointbuttonsandlights/qAKuIQ10.49374101228223214837.81413.9666666666667
BASE/stateSpaceLarge/0Ge_CQ10.56304512472209514411.8666666666671364.3666666666666
BASE/breakthroughWalls/vOZaYA10.568452414090645329.9890003666544731.223966143490287
DRESDEN/skirmish3/3LU8Nw10.623900366755901178.1155217811552216.76554896340244
STANFORD/tictactoe/ss1kyQ10.88950489587643113159.9666666666671208.5
BASE/blocks2player/wnTLOQ11.09620069750445619372.117051059861745.8333333333333
DRESDEN/skirmish/RjGQYQ11.104773804462374181.9484718194847216.38470760623418
DRESDEN/blocks2player/3ev8nQ11.11405362439658319109.1333333333351719.3666666666666
DRESDEN/tictactoe_orthogonal/y69QFQ11.13668651415439114214.8666666666671276.4
STANFORD/trifecta/ss1kyQ11.22288257408226513533.31205.8666666666666
BASE/rubiksCube/9tNO9Q11.318055001992825946.566666666666783.63333333333334
DRESDEN/grid_game/U7_Yeg11.3335909303252992210.133333333333195.00733235568592
STANFORD/tictictoe/rpt_Dw11.3392361498209937929.1498650314925699.2666666666667
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg11.3959855977500876.2838713967483460.5514109633473889
BASE/brawl/6Ymo_Q11.506898390375579134.1353684140367211.656952539550375
BASE/tictactoe_orthogonal/WRzlVw11.5089934056911214951.3333333333341299.1
BASE/ticTicToe/c1OobQ11.5113493673331397945.133333333333690.2
DRESDEN/brawl/2kXtfQ11.59988865705481137.2104649225129311.828601892576303
BASE/2pffa/6oHijA11.711486622703722828.770.7595907075959
STANFORD/chinook/osFbPA11.729559862419823254.1163922405172921.664614463043694
BASE/escortLatch/mX9BjQ11.730774852187622991.933333333333384.55821084558211
BASE/ticTacToe/JRFsaQ11.76839201376888314129.9160111985071200.6666666666667
BASE/breakthroughHoles/nZk0Sg11.83350089895721365.5333333333333630.889703432189272
DRESDEN/point_grab/r5DPmQ11.90276524359298616009.616011474021345.0333333333333
BASE/ticTacToeNoVars/XT03NA11.95533791762172417212.11439.7
BASE/guess/SPpk1A12.01275692298026230.308054514706372.5229890781130697
BASE/coloredtrails/EZvr7g12.0562823834196886204.966666666666514.6666666666666
DRESDEN/firefighter/WJmoPw12.08390463297617312119.3507532329021002.9333333333333
BASE/chinook/XQh0IQ12.199303650662626276.3241225292490522.65081109889744
BASE/firefighter/WJmoPw12.20869392221227512273.41005.3
STANFORD/dualrainbow/G3OnRQ12.38138018474913911392.933333333332920.1666666666666
BASE/tictactoe_3player/GtM71g12.5601332010363262531.366666666667201.5397946940408
BASE/2pffa_zerosum/o0_uZA12.671799298245615802.333333333333463.31644894694748
BASE/connectFourLarger/qKi60A12.7549132656514391256.233333333333398.4901509849015
DRESDEN/checkers-cylinder-mustjump/vW_-pA13.1586513314487577.193525826755920.5466765282824709
DRESDEN/nim1/M9BALA13.541903873075128399.206719552029929.479364444888578
BASE/toetictac/mTThmg13.76297882783392420563.2666666666661494.1
DRESDEN/toetictac/mJtxCA13.80583826083133720935.6333333333351516.4333333333334
BASE/nim1/hin2Qw14.221946370057426427.838144123725130.082952993303795
BASE/endgame/jYjfOA14.804649832048066544.063729084727736.749516892117015
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw14.85502501523094063.4333333333334273.53931273539314
STANFORD/madness/UO_B3A15.23357870894677335.14089667577112.306805074971165
BASE/connectFourSuicide/c8p9Kw15.3365451517489722650.0666666666666172.7942401919936
STANFORD/eightpuzzle/W_aWbA15.3657464633978877458.533333333334485.4
BASE/3pffa/pR0dzA15.50243215560314964.866666666666762.239696131676276
STANFORD/skirmish/w4V6Vw15.6492412637094337.365125882509662.3876637373569887
STANFORD/checkersonabarrelnokings/Zrevdw15.73991978045176372.787573747541723.68421052631579
DRESDEN/circlesolitaire/ruUilQ15.98850169490064126886.2644501449181681.6
BASE/eightPuzzle/vLrgFg16.052789577582058140.633333333333507.1164294523516
STANFORD/8puzzle/jNiGtw16.076182195170898011.833333333333498.3666666666667
DRESDEN/oisters_farm/pTQMLg16.52001003520752717730.926770788241073.3
BASE/circlesolitaire/azuQFQ16.5707184999595927337.2666666666661649.7333333333333
DRESDEN/chinesecheckers1/Y-ftaA16.986176419731153187.0666666666666187.62707909736343
DRESDEN/sat_test_20v_91c/dK7nVw17.2402590224121863495.633333333333202.75990800306656
BASE/4pffa/Q3ADlg17.354380442804427940.254.17652350648053
DRESDEN/4pttc/9pB9AQ17.590507440236371454.933333333333482.71127699280191
DRESDEN/frogs_and_toads/GjchhQ17.76218673790931440.033333333333381.07297567477508
DRESDEN/logistics/fPru1Q18.2053923698974675227.633333333333287.14752349843343
STANFORD/rainbow/_4qNSQ18.38382687927107327439.71492.6
DRESDEN/satlike_20v_91c/yeuENQ18.4904046140456986.49034561090378050.3510115514710575
STANFORD/hunter/14dD-g18.5270521531216628480.166666666666457.7180760641312
BASE/checkersTorusNoKings/pwb6oQ18.54476416184971427.4666666666666423.050531294760333
BASE/checkersBarrelNoKings/rnKNeg18.589974517008255446.951768274390924.04262404262404
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ18.935686653771763915.9206.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg19.058432072715473913.9666666666667205.36666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g19.2971336941624817424.668488038915902.9666666666667
BASE/racer/QQYQNw19.4823893691136621.54818733066701060.07946598855689765
DRESDEN/endgame/IJhh3Q19.8064654777631499.5666666666666625.22240362509579
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg19.8588676782509354057.1666666666665204.3
STANFORD/bestbuttonsandlights/nm0wEA19.90135579141387724406.3593640635951226.3666666666666
DRESDEN/snake_2009_big/DgC1NQ20.282313695968922783.9137.25751616558895
BASE/snake_2009_big/-oRfVw20.8171921997755332885.1666666666665138.59538015399485
BASE/racetrackcorridor/_RkdUg21.418101666666671255.733333333333358.62953462806889
BASE/skirmishNew/sibw2g21.54584677654126118.646892184635895.506717531929009
BASE/point_grab/V_osUg21.55177734142211716168.143361534874750.2
BASE/checkersTorus/2vm1EQ21.802265003384722420.9912342099123619.309518260811664
DRESDEN/uf20-020.cnf.SAT/hDrW_A21.802432191408373563.733333333333163.45576961535897
STANFORD/multiplebuttonsandlights/cK70Yg21.85291102357956227000.01235.5333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA21.8789208691203827086.8333333333321238.0333333333333
BASE/duplicateStateMedium/U163eQ22.07246966278574617455.64475831973790.8333333333334
BASE/untwistycomplex2/EDPPAQ22.43057241461382762828.033333333332801.0
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA22.5680576364436623417.9666666666667151.4515215145152
DRESDEN/uf20-010.cnf.SAT/5ICbCg22.9490233934350453860.5333333333333168.22211852543163
STANFORD/untwistycorridor/EDPPAQ23.1026685519346462966.323138297872725.5
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA23.1889862327909887.3262309594309960.3159358018450651
BASE/speedChess/bPnisA23.23484903638003117.492167188854085.0567217804983535
BASE/hexPie/48CH6Q23.260598620689652562.024.161029093211585
DRESDEN/sat_test_20v_91c_version2/a1mPBA23.8430297088262083493.1146.50403252682796
DRESDEN/uf20-01.cnf.SAT/42Rs8A24.3084187541127433693.7151.9514715195147
STANFORD/hex/MTqWcw24.615060730593605598.866666666666724.32927845359107
BASE/chineseCheckers4/avfBcQ24.8094824471126361446.258.29222770297294
DRESDEN/smallest_4player/ADDROA25.143245401798666962.633333333333338.28596181400153
BASE/hex/T1MK8g25.159293594323113612.046265124495924.326846174353506
BASE/beatMania/qUHwvQ25.2006143344709912305.889803673212488.3170560981301
DRESDEN/checkers-mustjump-torus/cVc3gA25.3800975545011135.5745429206623090.21964229683087544
BASE/duplicateStateLarge/dcjyuw25.546573359073367057.666666666667276.26666666666665
DRESDEN/minichess/c7GMFw25.5943345975308642879.266666666667112.49625012499584
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g25.95875458341281610.1735868252050620.3919135177504164
BASE/smallest_4player/ADDROA26.104987717690193949.066666666666736.35575993868506
DRESDEN/racer/vk_ZBA26.361652224900652.1174017851325820.08032128514056225
BASE/racer4/0vs7Ww26.463519693496777.3414609839550880.27741816164231553
BASE/2pttc/unkkYA26.837457949267595833.866666666666731.071000399627014
BASE/hallway/ckCJOw27.97258350288480.0839972000933417.162662045522712
DRESDEN/hallway/0H4l-Q28.16851056293485494.2666666666666517.546780315642273
DRESDEN/battle/8oAvhQ28.4149687825062626.902843444096690.9467841984982044
DRESDEN/pawntoqueen/f_x6Aw29.2538820324865536.766909781196921.2568215644121052
BASE/pawnToQueen/-O1_JA29.4364004690421137.737734403623891.282009138424115
DRESDEN/snake_2009/zIYLVw29.520397382478634911.866666666667166.38890740617293
BASE/snake_2009/7l-qAQ30.2855067822258874891.466666666666161.51179842687642
BASE/battle/8oAvhQ30.3997524634645628.257247584138620.9295222919363941
DRESDEN/aipsrovers01/qS47Mw32.19944340481547612662.967776333766393.26666666666665
BASE/aipsrovers01/4C4jsw32.66214189176971413033.937626354687399.05336488783706
DRESDEN/racetrackcorridor/O0DoTA35.396666018306632062.033333333333358.25501566353396
BASE/chineseCheckers2/eCMR3Q38.7929044259140454030.6666666666665103.90216268452798
DRESDEN/satlike_20v_91c_version2/yd9ioQ40.21836350738673415.4211516516053420.3834355828220859
BASE/chineseCheckers1/gqtwHw42.129275542107925568.933333333333132.1867813218678
BASE/dotsAndBoxes/EHwA_w42.711603174603181254.466666666666729.37062937062937
BASE/dotsAndBoxesSuicide/jzQbLw44.178446772968871292.266666666666729.251066098081022
BASE/chineseCheckers3/-1rZdQ45.001622853706213324.73333333333373.88029858704346
BASE/pacman2p/4LEdQg46.58433127889061006.621.608123855501916
BASE/3pttc/0sol9g46.656834679089021001.533333333333321.465951134962168
BASE/chineseCheckers6/rREH3A48.32959259259262145.333333333333544.38964241676942
BASE/pacman3p/wW7UVQ49.267851520137911073.430885637145421.787653662924342
BASE/4pttc/AL1k2Q50.27500519379845719.433333333333314.309960398016573
DRESDEN/gt_prisoner/huCp4w55.3182723348593811276.8203.85307646156923
DRESDEN/checkers-mustjump/HUr33w56.62443339912958612.9182620276344270.2281393605579637
DRESDEN/Runners/3bOCQw60.5812295847263514274.005464116746235.6176254916339
DRESDEN/gt_chicken/CeuKtw60.926146872198099813.566666666668161.0731544742543
BASE/roshambo2/KNPokQ62.19958441876206519519.652255012992313.8228725709143
DRESDEN/roshambo2/jgSlkQ63.4330408394897419717.903435407017310.84594360375974
BASE/sheepAndWolf/g4THrg64.429383417935711267.419.671148981493808
BASE/four_way_battle/xSOQXA68.60507333333334113.833333333333331.659255326209597
BASE/checkers/rOC3Xg68.932912178866152.163485560107920.7567283016384813
DRESDEN/four_way_battle/xSOQXA69.6922307769223114.988501149885011.649947201689546
BASE/wallmaze/uxNQ9g72.967579661016961720.223.57485348961108
BASE/gt_prisoner/klthDw74.3979459661211711515.266666666666154.7793627516331
BASE/gt_chicken/gmepTQ75.218556144912479641.733333333334128.18290894547394
BASE/gt_staghunt/xPjLRA76.6864371935315611433.566666666668149.09503016566114
STANFORD/platformjumpers/HEQskA83.1419054464692444.1370575294985.3419157901722025
BASE/tron_10x10/7ZTgDg95.4618592762007323652.266666666666247.76666666666668
BASE/gt_coordination/IVMOzA101.4863316418399120666.0203.63333333333333
BASE/checkers-newgoals/0XkFiA109.2867852858856648.280687724910040.4417797412432944
BASE/checkersSmall/SYmq8w109.5018332722242684.397186760441310.77073766016892
DRESDEN/knightstour/cGISAA125.3614736184826666922.13333333333533.8333333333334
BASE/bomberman2p/4CClwA142.01133084112154047.228.49913437208683
DRESDEN/mummymaze2p/k-8edg143.728528508771922183.015.188355594044566
BASE/mummymaze2p/vpjDdA147.369105726872252228.715.123251165889407
BASE/cylinder-checkers/hlldmw149.320514529458842.588643028525720.2852162890191729
DRESDEN/cylinder-checkers/clOO3Q169.8788858161463547.079598840502450.27713625866050806
BASE/knightsTourLarge/M8jgLA180.593641908325519301.6106.87862427514497
DRESDEN/hitori/S8Gsyg183.3119817578772854.10447761194030.2951497064900141
BASE/connect5/d-BVQg185.334946945898761179.53333333333336.364333077871447
STANFORD/knightstourbig/TQUI2g199.6571929182992415286.06666666666876.56156256249584
BASE/ghostMaze2p/W-NU-w199.767328695652176119.46666666666630.632970399227517
DRESDEN/connect5/1kYzSg200.020356353591151192.83333333333335.963559685018615
BASE/hitori/S8Gsyg200.22475403646757.965220867479510.28950077200205865
DRESDEN/knightmove/97Ipcw213.17637017543862537.96666666666672.5235755080355955
BASE/knightmove/jBaJEw214.84306420978976533.90423511379162.485089463220676
BASE/hanoi/iGLsJg228.323119552782124874.76666666666621.35029810478633
DRESDEN/hanoi/RQ0jiA234.605788802488355024.86666666666721.418340494986843
BASE/checkersTiny/Lr48cg236.20480579072506185.920938604093070.7871175100849431
DRESDEN/checkers-newgoals/IJOqXQ246.0389407407407467.533333333333330.274482295891915
STANFORD/knightstour/cEwgNA248.7475678125124469221.83333333333278.2814479034731
BASE/knightsTour/mvtVIg250.553638013451969530.03333333334277.5055827750558
BASE/skirmishZeroSum/zh4hcw257.4169891889576118.664400679796060.4609812314784327
BASE/knightfight/SJRkAg279.07162622950823397.212.173218918379565
DRESDEN/knightfight/4_Ly4w298.74432194674013610.23333333333312.084692722551434
DRESDEN/kitten_escapes_from_fire/uW-YiA305.7550266372980423130.06666666666675.64901522977972
BASE/kitten_escapes_from_fire/uW-YiA321.361176947040524062.73333333333474.8775367389783
BASE/kalaha5x2x3/WviNsw322.368000000000055294.93333333333316.42512077294686
BASE/crossers3/O0rORg331.00691074.73333333333333.246860815690952
BASE/haystack/UkweGA340.083933566638174842738.53333333314239.833333333334
DRESDEN/crossers3/xiPTxg342.36291428571421112.63.2497678737233056
BASE/onestep/xi53wA367.326208954163632757836.27507.866666666667
BASE/survival/YVIjJA375.01259027554172717466.23333333347246.333333333333
BASE/pearls/6k_mEQ445.567940733029336619832.614857.066666666668
STANFORD/knightstourmedium/x1wu8Q500.10714049988036162512.73333333334324.95583480550647
DRESDEN/quartosuicide/WIU1oQ555.02142185792352251.53333333333334.056660238079404
BASE/quartoSuicide/-23jUg557.18324277777772218.2333333333333.9811558622520073
DRESDEN/quarto/OQzRYQ571.19976115702482287.94.0054288457082325
DRESDEN/merrills/aYEzwA582.414000000000111.4333333333333340.01963093835885355
BASE/quarto/EwBMVQ590.79658850574712266.1333333333333.8357251504530123
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg596.1693788888893555.85.964412339706418
BASE/merrills/pku8Tg630.951845319311811.181736497054810.017722012511740833
DRESDEN/chinesecheckers2/06E6-Q658.8089609090912413.33.6631256452096306
BASE/max_knights/2fq3Ag922.47543921568621022.43333333333331.1083583257269527
DRESDEN/max_knights/hCipiA986.00933958333351028.63333333333341.04322879311469
BASE/kalaha6x2x4/XS81Mg993.85246692722034541.7458254174584.569839062189549
DRESDEN/buttons/ADUaHw1025.83861253529654008327.63907.366666666667
BASE/buttons/hTcUjw1036.65314879010344066997.63333333333923.2
BASE/troublemaker01/s3tlEQ1048.02069570876174616635.9666666674405.1
BASE/coins_atomic/AA3SSw1051.31618805353633003224.86666666672856.633333333333
DRESDEN/troublemaker01/C-lPWw1052.72064573831934747313.9333333344509.566666666667
BASE/snake_2008/i6K26g1056.2585766884535379.5666666666675.0930395126660235
BASE/switches/tPUoCg1087.09003434250742289665.26666666662106.233333333333
BASE/snake_2008_tweaked/bX0NJQ1091.2144956140355497.6666666666675.038117335101094
BASE/coins/QnGtnQ1096.46751813678323113456.0666666672839.5333333333333
DRESDEN/snake_2008/E56l3A1098.71650980392165593.25.090667110297788
DRESDEN/coins/QwFP9w1139.7010629082483245336.76666666662847.5333333333333
DRESDEN/troublemaker02/iZLVuA1142.13661497563134296337.2333333333761.6666666666665
BASE/troublemaker02/DI83KA1156.61146566500134228725.7333333333656.133333333333
STANFORD/buttonsandlights/eyhJpA1181.75140246990534044583.5666666673422.5333333333333
BASE/stateSpaceSmall/Q7osKA1193.48038591705813937888.5333333333299.5
DRESDEN/statespacesmall/h-NqjA1194.0982463009523862987.4333333333235.0666666666666
DRESDEN/2player_normal_form_2010/NG_Kdg1218.20072747400472054130.06666666671686.2
STANFORD/sukoshi/4LYZZQ1369.60107109678121670822.01219.9333333333334
DRESDEN/chinesecheckers4/-oVNYg1460.21987536231881088.23333333333330.7452530620180157
BASE/blocks/xIV5hQ1658.35530940594074466503.6333333342693.3333333333335
BASE/blocksWorld/SEdXLQ1662.46655575671574530110.5333333332724.9333333333334
DRESDEN/blocks/vg0DRw1673.26649191244064489597.12683.133333333333
BASE/duplicateStateSmall/bCPAXw1680.3088398893233927105.82337.133333333333
DRESDEN/pancakes88/aD3E7g1890.498510176034619301.06560106560210.209511140671767
STANFORD/tictactoe7/-bE9-A1899.46165334270432162157.21138.3
DRESDEN/pancakes6/SZXMyQ2131.411047058823421731.710.195921631347462
DRESDEN/pancakes/hl9aiQ2131.633804180064522038.43333333333410.33875203616901
BASE/pancakes/yUgbXw2337.695817157256421678.4262775667929.273416206873629
BASE/pancakes6/QZTdnw2342.943294202385521474.11698125779.165444607385682
DRESDEN/checkers/jIDMIg2353.579042095790667.193280671932810.028549404744911067
BASE/snake2p/I3wWPQ2455.591797966253732503.0333333333298.3
DRESDEN/tictactoe-init1/3ltIBQ2625.29209768078953705337.26666666661411.4
DRESDEN/Travelers-Dilemma/PvZwYw2674.234414408409725.64247858404720.27134587554269174
BASE/tictactoe-init1/7M19vA2746.4759359605913716897.4333333331353.3333333333333
DRESDEN/blobwars/ZaMluQ2748.3740941968604382.92056931435620.13932621840777998
BASE/blobwars/0XT15Q2753.5285314312378384.474368375441660.13962970203021588
BASE/hodgepodge/9yjRkw2826.46240588924232815627.6333333333996.1666666666666
STANFORD/tictactoe5/WFRReg3112.4483971853013715433.41193.7333333333333
STANFORD/tictactoe3/X7myng3171.47779329977044010756.5333333331264.6333333333334
DRESDEN/blocksworldparallel/2JfVaw3579.8864495231243315571.5926.1666666666666
BASE/maze/cCX3qQ3621.4459387458896570389.3666666661814.3
BASE/gt_tinfoil/Q8DyKg4019.67647960543851974.10690482537980.4911108928396032
BASE/blocksWorldSerial/Wyg96Q4608.0383480825964842587.51050.9
STANFORD/3puzzle/41ibjA5323.5770703203715284182.6992.6
STANFORD/threepuzzle/41ibjA5480.1484710209095364334.666666667978.8666666666667
BASE/blocksWorldParallel/RseaAQ5563.4189711910393212132.6666666665577.3666666666667
DRESDEN/chinesecheckers3/QsCb2A5572.8462222222222132.46666666666670.3826530612244898
BASE/gt_dollar/TGjqRw5660.4063589950973732660.6333333333659.4333333333333
BASE/gt_centipede/9fRMpw8320.9359400998334000706.0480.8
DRESDEN/hanoi_6_disks/MeubgQ11199.03561333333322392.11.999466808850973
DRESDEN/hanoi7_bugfix/3gdnFw11933.4139222222223365.6333333333330.2820344081978001
BASE/hanoi7_bugfix/3gdnFw12307.6206814814813382.8666666666670.2748595162472514
BASE/hanoi_6_disks/MeubgQ12690.9316163742723894.5333333333331.8828037259694788
DRESDEN/hanoi7/51zz5Q12806.6291888888883610.10.28189306856265856
BASE/pancakes88/l2Xaig16713.40674313725718931.1333333333351.1326914748309291
BASE/solitaireChineseCheckers/-ET6gw24420.55491564.06666666666660.06404713869407884
BASE/minichess/8NQEiA25186.5386233449462890836.466666667114.77704459108179
DRESDEN/crisscross/GsY16g25306.605451403.70.05546773164711429
BASE/crisscross/ICagEg26307.944666666671463.66666666666670.05563591854901524
DRESDEN/crissrace/KWb9bw30547.496854.66666666666660.027978288847854065
BASE/crissrace/ERWGDA30883.945333333333879.33333333333340.02847218267752406
BASE/twisty-passages/DiZmmg42512.856752238.16666666666650.052646818815973044
DRESDEN/twisty-passages/j7NPyg44693.828183333342305.7666666666670.051590270075063845
DRESDEN/vacuumcleaner_random/_6AGDA58450.71752901.50.04964010920824026
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA86546.920835972146214.32618912702950.07180297264306743
DRESDEN/kalaha_2009/gcC8uA101117.686254434.50.04385484047801776
BASE/kalaha_2009/dRiN3g102450.176554535.10.04426639516610965
DRESDEN/vacuum_cleaner_1/eUNjpw110963.101439856026330.80025330800250.057053202110968475
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A142512.357711111110735.9333333333320.07533335007407779
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity475.00.0
DRESDEN/chinesecheckers6/yTbPDAInfinity1687.10.0
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: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/gt_two_thirds_6p/867v3QIllegalArgumentException: bound must be positiveTest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147483765
DRESDEN/queens/mW2wHQTest process timed out after 240 secondsIllegalArgumentException: too many occurrences: 2147483765
BASE/gt_two_thirds_4p/DStnxQIllegalArgumentException: bound must be positiveTest process timed out after 240 seconds

index