index

FLUXPLAYER_PROLOG:1.1 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
BASE/gt_attrition/kD_SCA0.00.019.99868645737554
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.072.06666666666666
DRESDEN/blobwars/ZaMluQ0.00.0211.28591427238183
BASE/crisscross/ICagEg0.00.0812.5
BASE/englishDraughts/jFkQxg0.00.0455.3181560614646
BASE/slaughter/cOch8A0.00.021.637095968842583
DRESDEN/crisscross/GsY16g0.00.0820.7666666666667
BASE/ticblock/T21C1g0.00.01494.0333333333333
DRESDEN/ticblock/Z2yNWQ0.00.01511.6666666666667
BASE/colonelBlotto/jip21A0.00.01130.9
DRESDEN/battlesnakes1509/-qZrLw0.00.0514.0
DRESDEN/battlesnakes2011/93VtTw0.00.0483.05056498116727
BASE/queens31lg/0gID-A0.00.00.732820359081976
BASE/queens08lg/Ru7eqQ0.00.0233.99220025999134
BASE/ad_game_2x2/D0aWqg0.00.017.948547497174765
BASE/blobwars/0XT15Q0.00.0207.5459120754591
BASE/checkersTorusNoKings/pwb6oQ6.88089595596667E-40.3435.98973435989734
BASE/checkersBarrelNoKings/rnKNeg7.956024880659626E-40.36666666666666664460.8666666666667
STANFORD/checkersonabarrelnokings/Zrevdw9.146392838335966E-40.36666666666666664400.88663711209625
DRESDEN/tttcc4/sAvtFg0.0010088793280470470.4330446369087275429.23333333333335
BASE/tttcc4/8Bs2lg0.0010160348135069040.433188937020993426.35245491816937
BASE/ttcc4/Le0qjQ0.00102228775130402870.43333333333333335423.8858704709843
BASE/copolymer_4_pie/IN5_jA0.0016299762660490121.2666666666666666777.1074297523415
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.00172611479151589381.0333333333333334598.6469372792109
BASE/ttcc4_2player_alt/ZEJvYA0.00221657213638437951.1333333333333333511.3
STANFORD/ttcc4/Cx9SGw0.0024202366419016691.13295568143952468.1177294090197
BASE/blockerSerial/3eqDuw0.0024213878200875682.4333333333333331004.9333333333333
BASE/ttcc4_2player/_aH_Mw0.00271989535576449851.1666666666666667428.93807079528034
BASE/checkersTorus/2vm1EQ0.0028322256529201961.0656010656010657376.24158389440703
BASE/colonelBlottoVariant/X-n-KQ0.00407340271695961320.04909.9
BASE/colonelBlottoVariant2/jruwGw0.00496452275660854421.6666666666666684364.3
DRESDEN/catch_me/ghGWrA0.00871528529133078739.453515494835054526.933333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA0.00910550080254414140.466666666666674444.2
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0093874292025162541.933333333333334466.966666666666
DRESDEN/Thief_Police/CX18rA0.00949042212606748341.64383.366666666667
DRESDEN/knightthrough/J7Fc_Q0.009653953672920125.361305361305361555.348155061498
BASE/knightThrough/gcwFjA0.0097312626728317575.198267244251916534.1821939268691
DRESDEN/racer/vk_ZBA0.00995953937130407614.9333333333333341499.4
BASE/racer/QQYQNw0.01001592947389093815.31527.5666666666666
DRESDEN/breakthroughsuicide_v2/LU1nAw0.0118529996347510834.463690872751499376.58744708509715
BASE/breakthroughHoles/nZk0Sg0.0119268954972140024.53182272575808379.96666666666664
BASE/breakthroughWalls/vOZaYA0.0119580905426036684.596935376415723384.4205193160228
DRESDEN/breakthroughsuicide/Y9QzqQ0.011986892031735084.633333333333334386.53333333333336
BASE/ttcc4_2player_small/Cv72TA0.0122893585327250738.8716.0666666666667
DRESDEN/breakthrough/z4hK7Q0.0124522649228104774.633333333333334372.08759708009734
BASE/breakthroughSuicide/wZDpIg0.0124552250322462794.631789403532156371.8752083194454
BASE/breakthrough/TGxk-g0.012827017882030954.765078307230923371.48761707943066
DRESDEN/golden_rectangle/1uloXw0.032011618257261413.6112.45916938870742
BASE/breakthroughSuicideSmall/XSbJog0.0389442055028574822.033333333333335565.7666666666667
BASE/breakthroughSmall/HJ0tIA0.041203649909098123.166666666666668562.2479250691644
DRESDEN/quad_5x5_8_2/JRTLJg0.048197590361445785.333333333333333110.655601106556
DRESDEN/smallest/9kaGFw0.05194805194805194568.81324.4
BASE/skirmishHoles/AUCxCA0.0594198724404162441.966666666666666633.09779348043464
BASE/checkers-mustjump-torus/uSApKQ0.067320109798305296.26666666666666793.08758832155712
DRESDEN/smallest_4player/ADDROA0.06895566455545503144.82099.9
DRESDEN/checkers-mustjump-torus/cVc3gA0.069243707176343326.492.42717152189854
BASE/smallest_4player/ADDROA0.07178029677120858144.82017.2666666666667
BASE/strangeSkirmish/gc1zKA0.073714109096019321.899366877707430825.766666666666666
DRESDEN/quad_5x5/JAEP5g0.075976608187134495.33333333333333370.19704433497537
BASE/quad_5x5/JAEP5g0.07620817843866175.46666666666666771.73333333333333
BASE/skirmishFinal3/-Olhfw0.089591042687193844.26666666666666747.62380857161901
DRESDEN/towerworld/HCX34w0.091311281500955452.03197868087941422.25331467785995
BASE/checkers-cylinder-mustjump/rjr6qQ0.092867554341641059.06666666666666697.63007899736675
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.093938305709023949.06666666666666696.51724712547909
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.093998788294467319.13333333333333397.16437306321015
BASE/merrills/pku8Tg0.094351594994237911.999333555481506221.190246498785804
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.094613708019191229.297.23749541804125
DRESDEN/merrills/aYEzwA0.095726114649681532.020.892940315390245
DRESDEN/skirmishfinal/hzq8ww0.101858014271807384.42890442890442943.481158164795254
BASE/skirmishFinal2/gdB62Q0.103985511811023634.442.313586992736724
BASE/skirmishFinal1/ecWTnQ0.106541080333996814.398533822059313541.28486221718703
DRESDEN/farmers/S_ASnw0.1073776919828678359.333333333333336552.5666666666667
DRESDEN/capture_the_king/EQ229Q0.108139724662717125.09151414309484247.08273633001233
DRESDEN/gt_ultimatum/pAiiQw0.11072169372720121516.04660.333333333333
BASE/gt_ultimatum/GE-uOA0.11639607632521821503.83205598133964328.6
DRESDEN/checkers-mustjump/HUr33w0.1232689300998573614.4116.81775763231569
BASE/checkers/rOC3Xg0.1240234459867229927.4220.9259691343622
BASE/checkers-mustjump/T-8UuQ0.1250041666666666714.8118.3960534648845
BASE/skirmish/Y_psYQ0.127788359001161483.698767077640786428.944475901808612
BASE/cittaceot/fDxhXg0.1335912553164067569.1517.249425019166
DRESDEN/stratego/Z2wovg0.148408951959875469.36666666666666467.4021731884541
STANFORD/skirmish/w4V6Vw0.174071657459364655.06329113924050729.08739546196648
BASE/checkersSmall/SYmq8w0.1753786584671449851.333333333333336292.7
BASE/racer4/0vs7Ww0.18163287726156466120.8665.0778307389754
BASE/cylinder-checkers/hlldmw0.1909345454545454725.2131.9824023463538
DRESDEN/cylinder-checkers/clOO3Q0.1926856295543128225.266666666666666131.12896236792108
BASE/golden_rectangle/_nYzfw0.2105885832593907323.733333333333334112.7
DRESDEN/checkers-newgoals/IJOqXQ0.221639721254355431.8143.4760873187802
DRESDEN/checkers/jIDMIg0.226470487329434732.266666666666666142.47625395767372
BASE/checkers-newgoals/0XkFiA0.2291646017699114632.8143.12856238125397
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.23457597139176745406.71733.7666666666667
BASE/biddingTicTacToe_10coins/a-9ccQ0.23620483553773186408.36666666666671728.8666666666666
STANFORD/madness/UO_B3A0.27960402729498178.06397867377540828.84071002764179
BASE/checkersTiny/Lr48cg0.3125871314404168127.33333333333333407.3530882303923
DRESDEN/logistics/fPru1Q0.34012586155229246378.33333333333331112.3333333333333
BASE/kalaha_2009/dRiN3g0.3964456038804875648.41635.5333333333333
DRESDEN/mummymaze2p/k-8edg0.4106030955346024230.8562.1
BASE/mummymaze2p/vpjDdA0.4171629643029426230.6552.7815739475351
DRESDEN/kalaha_2009/gcC8uA0.41756363175889577659.51579.4
BASE/gt_prisoner/klthDw0.423336541420331452155.33333333333355091.3
BASE/gt_chicken/gmepTQ0.423617619493908141958.66666666666674623.666666666667
DRESDEN/gt_chicken/CeuKtw0.4262007456685431943.33333333333334559.666666666667
DRESDEN/gt_prisoner/huCp4w0.432154269667584252082.66666666666654819.266666666666
BASE/kalaha6x2x4/XS81Mg0.48354596147347073763.11578.1333333333334
DRESDEN/fizzbuzz/t1xHzQ0.51717162635979516136.011864.533333333333
DRESDEN/chomp/-LcqYQ0.5526192066909162744.43333333333331347.1
BASE/simultaneousWin2/PfjRjw0.566448049706593164.1289.7
BASE/chomp/-LcqYQ0.5690669446719786764.21342.9
BASE/kalaha5x2x3/WviNsw0.5697256005628707944.71658.1666666666667
BASE/gt_staghunt/xPjLRA0.59133952376574433216.05438.5
DRESDEN/Runners/3bOCQw0.68004628903417517659.06666666666711262.566666666668
BASE/gt_coordination/IVMOzA0.79699160447761214556.6666666666675717.333333333333
BASE/hidato37/pBrqxw0.973575608695652274.6333333333333476.65900076659001
BASE/pacman2p/4LEdQg1.0880758094235325688.9333333333333633.1666666666666
DRESDEN/bidding-tictactoe/yW5vTA1.1063555585701692174.81965.7333333333333
BASE/biddingTicTacToe/8mESVw1.11031535766173842165.31950.1666666666667
BASE/ghostMaze2p/W-NU-w1.13792338997007182395.3666666666672105.0333333333333
DRESDEN/ghostmaze2p/HY0UwA1.14686010166387782421.6333333333332111.5333333333333
BASE/tictactoe_3d_6player/d7KSwg1.1747579124579124139.53333333333333118.77624475104979
DRESDEN/tictactoe_3d_6player/ulZPWg1.2436736790123457139.86666666666667112.46251249583472
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.2940817851959283403.26557814061977311.6229459018033
BASE/gt_tinfoil/Q8DyKg1.32358854753096378777.3333333333346631.466666666666
BASE/tictactoe_3d_small_6player/g_9lww1.3296583342429866406.03333333333336305.3666666666667
DRESDEN/blockerparallel/dVQgSg1.3690481560730021362.53333333333336264.8068526480685
BASE/ticTacToeSerial/Amrwqw1.40001349800904371382.9333333333334987.8
BASE/blockerParallel/7-nDJA1.4154526534859522362.73333333333335256.26666666666665
STANFORD/duidoku/3SoMaA1.561883293804026123.89203598800415.296940611877625
DRESDEN/backgammon/mqCW0Q1.7095875205254516347.0202.9729369417411
BASE/mummyMaze2p_2007/YGA3Vw1.84029980630491522185.2333333333331187.4333333333334
BASE/qyshinsu/R08Lzw1.8586289274106176171.592.27231830450864
DRESDEN/mummymaze2p-comp2007/oTQRQg1.86521148292848632196.11177.4
BASE/hidato19/rRHSmA1.9372044351318318616.3333333333334318.15606146461784
BASE/hallway/ckCJOw1.9442503589177251352.03333333333336181.06378724255148
DRESDEN/hallway/0H4l-Q1.960751612706542357.26666666666665182.20903879482736
DRESDEN/othello-cornercontrol/r5Gdlg2.00441705790297314.1666666666666667.067724060125427
DRESDEN/quartosuicide/WIU1oQ2.00469166518571161880.0666666666666937.8333333333334
DRESDEN/crossers3/xiPTxg2.00751600630973351442.3333333333333718.4666666666667
BASE/quartoSuicide/-23jUg2.0104779215225061880.4935.3
DRESDEN/guess/PhxGhg2.03477921385742852239.61100.659956002933
DRESDEN/quarto/OQzRYQ2.0384105485685621896.3333333333333930.3
BASE/quarto/EwBMVQ2.04052056671112861886.7333333333333924.6333333333333
DRESDEN/grid_game/U7_Yeg2.06695792136123261498.2724.8333333333334
BASE/guess/SPpk1A2.07333230150131562232.6333333333331076.8333333333333
BASE/crossers3/O0rORg2.08420293339745171444.7693.1666666666666
BASE/untwistycomplex2/EDPPAQ2.200044153286319329564.26666666666613438.033333333333
STANFORD/untwistycorridor/EDPPAQ2.365133314550623530780.63333333333513014.333333333334
BASE/pacman3p/wW7UVQ2.4273828714055431556.0333333333333641.0333333333333
DRESDEN/snake_2009_big/DgC1NQ2.448932926829268856.8349.8666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.44939879759519031629.6666666666667665.3333333333334
STANFORD/buttonsandlights/eyhJpA2.455756853942878253610.421830.5
DRESDEN/sat_test_20v_91c/dK7nVw2.4809968355476241668.1666666666667672.3775874137528
DRESDEN/chinesecheckers6/yTbPDA2.48167441860465131333.9537.5
BASE/god/qF06gw2.4903246194573128125.3666666666666650.34149591870732
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.49408251786508031620.9333333333334649.9116696110129
DRESDEN/pacman3p/rBnk8Q2.50013710434813771549.8666666666666619.9126695776807
BASE/snake_2009_big/-oRfVw2.5033368165485093859.2343.2218926035799
DRESDEN/god/2EDD5w2.5057149691358025126.2333333333333350.37816945990071
BASE/sudokuGrade6E/ihYFZA2.547121488230827537.26666666666666614.63089485085819
DRESDEN/double_tictactoe_dengji/bGaUyQ2.547828719941463365.7666666666671321.0333333333333
BASE/double_tictactoe_dengji/zgaSbA2.5718357168303733368.93333333333341309.9333333333334
DRESDEN/javastrike/whONTQ2.63129526696985520.7333333333333197.9
BASE/sudokuGrade6H/ieE_9A2.645716021260440338.66666666666666414.614821226446502
DRESDEN/snake_2009/zIYLVw2.6631617824886171189.2446.536897540164
BASE/snake_2009/7l-qAQ2.66546917996289421197.2449.15169494350187
DRESDEN/bunk_t/7-tPfA2.7604649155614373198.3666666666671158.6333333333334
BASE/bunk_t/xbpfIA2.78394198846758733186.51144.6
DRESDEN/doubletictactoe/lJzgmQ2.7972875486942723231.33333333333351155.1666666666667
BASE/doubletictactoe/HH1htg2.81559499563572853225.7333333333331145.6666666666667
BASE/haystack/UkweGA2.819500378554950652881.2333333333318755.533333333333
BASE/switches/tPUoCg2.853008377760853323724.6666666666688315.666666666666
BASE/pearls/6k_mEQ2.86794959386624235260.8666666666712294.8
BASE/buttons/hTcUjw2.87297865609706230878.210747.8
BASE/doubletoetictac/fu35bg2.8750853647673623227.66666666666651122.6333333333334
DRESDEN/buttons/ADUaHw2.876748892550798230608.810640.066666666668
DRESDEN/doubletoetictac/V89gKQ2.8816211517131813204.2666666666671111.9666666666667
STANFORD/sudoku/oJ1qyQ2.978475072463768345.5666666666666715.29865637887455
BASE/knightfight/SJRkAg2.98753436587489945831.7666666666661952.0333333333333
BASE/asteroidsSerial/id2QkA3.0101299888290857904.22625.866666666667
BASE/sudokuGrade4/DTy07w3.012402096436058547.815.867735604271315
BASE/snake_2008/i6K26g3.01250999623952081513.1333333333334502.28325722475915
BASE/coloredtrails/EZvr7g3.0155360175841746036.52001.8
DRESDEN/knightfight/4_Ly4w3.0299779218987175855.5333333333341932.5333333333333
DRESDEN/snake_2008/E56l3A3.06066920324105361510.9493.65021165961133
BASE/snake_2008_tweaked/bX0NJQ3.06231734548174341501.2490.21699276690777
BASE/point_grab/V_osUg3.079914755751741229723.3333333333329650.7
DRESDEN/point_grab/r5DPmQ3.109805762248574630035.3333333333329658.266666666666
DRESDEN/babel/WdSW4A3.1813587871982034755.4666666666667237.46666666666667
BASE/sudokuGrade3/eI8dvg3.210987562189054750.16666666666666415.623438488956994
DRESDEN/bomberman2p/x4h6jQ3.2582294893034653015.6925.5333333333333
BASE/bomberman2p/4CClwA3.38594213649851653042.8333333333335898.6666666666666
BASE/sudokuGrade5/BQfUQA3.426250617283950655.416.16927837109492
BASE/survival/YVIjJA3.456240197176786753988.215620.5
BASE/sudokuGrade2/u80Tfw3.50846042553191554.915.647889199627114
BASE/onestep/xi53wA3.531170268190067474782.321177.766666666666
DRESDEN/quad/JPe6fg3.5466666666666675.3333333333333331.5037593984962405
BASE/sudokuGrade1/tDRNRw3.554385792349726657.73333333333333416.242843829050727
DRESDEN/tictactoeparallel/yk_DSg3.60608381661013233295.6913.9
BASE/ticTacToeParallel/ymRGPw3.6118399885603983367.8932.4333333333333
BASE/quad/tw-Ufg3.6528266666666675.4666666666666671.4965579167913798
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3.65294347316819272806.8768.3666666666667
DRESDEN/chickentoetictac/cxYaRQ3.654738578941940711813.3333333333343232.3333333333335
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3.7186990436737032812.7756.3666666666667
DRESDEN/latenttictactoe/kITHKg3.7381463775144925395.2666666666661443.3
BASE/wargame01/_GZFZg3.75624032833209981860.9666666666667495.43333333333334
BASE/chickentoetictac/l57rfQ3.760791140567976611953.83178.5333333333333
BASE/wargame02/BkVqqQ3.7738129413196981033.1666666666667273.77262273772624
DRESDEN/aipsrovers01/qS47Mw3.79520598991282037299.0666666666671923.2333333333333
BASE/beatMania/qUHwvQ3.79816384512432816176.04258.9
BASE/blocksWorldSerial/Wyg96Q3.823364812871633310931.02859.0
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3.8536728423950452799.6726.4757841405286
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3.88951868367171552764.9666666666667710.8763041231958
BASE/maze/cCX3qQ3.889956701751476243782.511255.266666666666
BASE/aipsrovers01/4C4jsw3.9201893574121157452.9333333333331901.1666666666667
BASE/conn4/va9Y7A3.9225991033755271156.8666666666666294.923502549915
BASE/wargame03/klXI8w3.95291493369372441559.9394.62017932735574
BASE/gt_centipede/9fRMpw3.960427391329627529516.9333333333347452.966666666666
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A3.968448980041172612016.0666666666683027.9
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4.02605524280989212253.4333333333323043.5333333333333
BASE/duplicateStateSmall/bCPAXw4.08952359748307625715.3333333333326288.1
DRESDEN/chinesecheckers3/QsCb2A4.0901757151467382940.7718.9666666666667
DRESDEN/lightsout2/LFtfyQ4.1145524599881443702.0899.7333333333333
BASE/lightsOut/5P1ZBw4.14210409087534353719.3333333333335897.9333333333333
BASE/connect4/50bOyw4.1430589540215641114.2333333333333268.9397726893977
DRESDEN/lightsout/XgLpzQ4.1690477231571383685.4381872709096884.0
DRESDEN/connect4/T0-rHQ4.1928838951310861119.5267.0
BASE/hanoi7_bugfix/3gdnFw4.19444219335921718978.0333333333334524.566666666667
BASE/incredible/8Qh-6Q4.2055189276513999631.92290.3
DRESDEN/hanoi7_bugfix/3gdnFw4.22231656241760819035.1882705764734508.233333333334
BASE/firefighter/WJmoPw4.22304178649974616641.63940.6666666666665
BASE/knightsTourLarge/M8jgLA4.23341123197371435367.61079640128354.4
DRESDEN/uf20-010.cnf.SAT/5ICbCg4.2396358474866632887.3333333333335681.0333333333333
BASE/futoshiki6/JmvXNA4.2585234920634925536.4666666666667125.9748050389922
STANFORD/knightstourbig/TQUI2g4.2701074099472935077.366666666678214.633333333333
DRESDEN/vacuum_cleaner_1/eUNjpw4.294555229716519514644.4333333333323410.0
DRESDEN/uf20-01.cnf.SAT/42Rs8A4.2997930422785052908.6666666666665676.4666666666667
BASE/troublemaker01/s3tlEQ4.32396936913052856540.813076.133333333333
DRESDEN/firefighter/WJmoPw4.34139913751796916912.9333333333343895.733333333333
DRESDEN/hanoi7/51zz5Q4.37478605461582318914.5333333333334323.533333333334
DRESDEN/uf20-020.cnf.SAT/hDrW_A4.392160919540232823.3333333333335642.811906269791
BASE/blocksWorldParallel/RseaAQ4.403101184927721857.9421.9526015799473
DRESDEN/pancakes6/SZXMyQ4.40907620432680450427.6333333333311437.233333333334
DRESDEN/toetictac/mJtxCA4.4284895807755918035.4666666666674072.6
DRESDEN/pawntoqueen/f_x6Aw4.44339418803418886.619.48960554371002
BASE/toetictac/mTThmg4.44660904146056918039.34056.866666666667
BASE/asteroids/BKCmPQ4.448564126745722525472.0333333333335725.9
BASE/pawnToQueen/-O1_JA4.47151934156378684.4666666666666718.88992537313433
DRESDEN/pancakes/hl9aiQ4.47598368479401550333.0333333333311245.133333333333
STANFORD/knightstour/cEwgNA4.48378509756718638740.88640.2
STANFORD/knightstourmedium/x1wu8Q4.52016623982785139770.8333333333368798.533333333333
BASE/pancakes6/QZTdnw4.53297443603631750577.2666666666711157.633333333333
DRESDEN/brain_teaser_extended/ZDp94A4.5453384651866998306.01827.3666666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg4.5547849462365592823.9666666666667620.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUw4.556222974261201955.8209.77902209779023
BASE/pancakes/yUgbXw4.56285211431551348999.110738.7
DRESDEN/4pttc/9pB9AQ4.5640563487169763207.4666666666667702.7666666666667
DRESDEN/tictactoe_3player/ESLQQQ4.5714123717185462687.5333333333333587.9
BASE/hodgepodge/9yjRkw4.57537511510752516893.23692.2
DRESDEN/hanoi/RQ0jiA4.57895662883786422554.5666666666664925.7
BASE/hanoi/iGLsJg4.58441989025042122584.5333333333334926.366666666667
DRESDEN/knightstour/cGISAA4.58961162884372439120.1666666666648523.633333333333
BASE/brain_teaser_extended/ZDp94A4.605348746445638260.01793.5666666666666
BASE/tictactoe_3player/GtM71g4.6061021597531712687.2583.4
BASE/duplicateStateMedium/U163eQ4.6115047055091478722.21891.4
DRESDEN/troublemaker02/iZLVuA4.619898343478527555201.93333333333411948.733333333334
BASE/futoshiki5/TJ4BZg4.6204754314052941014.3333333333334219.53007832027996
DRESDEN/troublemaker01/C-lPWw4.65640170273801857136.06666666666612270.433333333332
DRESDEN/roshambo2/jgSlkQ4.658418664322538539215.58418.2
DRESDEN/circlesolitaire/ruUilQ4.66204464975411320318.94358.366666666667
DRESDEN/chinesecheckers4/-oVNYg4.6838073570583111922.8590469843386410.53333333333336
BASE/circlesolitaire/azuQFQ4.68729386258274320322.74335.7
DRESDEN/Travelers-Dilemma/PvZwYw4.69262583141586742284.09010.733333333334
BASE/ruleDepthLinear/OUBJpQ4.72846737221853175670.7666666666616003.233333333334
BASE/knightsTour/mvtVIg4.75748631664301739114.466666666678221.666666666666
BASE/tron_10x10/7ZTgDg4.7575700895733317630.6666666666671603.9
BASE/roshambo2/KNPokQ4.75997023388241739231.8333333333368242.033333333333
BASE/blocksWorld/SEdXLQ4.788605968007515530923.76457.766666666666
STANFORD/tictictoe/rpt_Dw4.8444986973235928863.3333333333341829.5666666666666
STANFORD/multiplebuttonsandlights/cK70Yg4.85877235537038539728.48176.633333333333
BASE/blocks/xIV5hQ4.87987084349455231082.56369.533333333334
BASE/eotcitcit/V_9_bg4.9126979686249878827.7907364211931796.9333333333334
BASE/ticTicToe/c1OobQ4.9198367126346178915.7280906364541812.2
STANFORD/3puzzle/41ibjA4.92032755981017730102.46117.966666666666
BASE/4pttc/AL1k2Q4.9415100911963373094.4351882705764626.2124595846805
STANFORD/eightpuzzle/W_aWbA4.94324329842183616141.6666666666663265.4
DRESDEN/tictictoe/LAUtwg4.9595741540278248959.9666666666671806.6
STANFORD/multipletictactoe/_bkafQ4.9629950245866731424.1666666666667286.95710142995233
STANFORD/8puzzle/jNiGtw4.96651148821144316536.03329.5
DRESDEN/blocks/vg0DRw4.9721959513309631193.96273.666666666667
BASE/eightPuzzle/vLrgFg4.97509296980577416812.03379.233333333333
BASE/factoringMediumTurtleBrain/8RBqmQ4.9763928680981592595.6521.5826139128695
DRESDEN/hanoi_6_disks/MeubgQ4.97987465795745418805.6666666666683776.3333333333335
BASE/asteroidsParallel/WauZiA4.98644038572853713496.1333333333332706.5666666666666
DRESDEN/8puzzle/8fKC2w5.04680306125560316552.03279.7
BASE/sum15/QZ07Kg5.05364789244612314359.2666666666662841.366666666667
DRESDEN/Goldrush/VeWczQ5.0566288245320043922.633333333333775.740808639712
DRESDEN/pancakes88/aD3E7g5.064052079302574544495.88786.6
STANFORD/multiplebuttonsandlights_9/SqB9BA5.074439058313390541349.0666666666668148.5
DRESDEN/chinesecheckers1/Y-ftaA5.1075956204593595123.2589136954351003.0666666666667
DRESDEN/oisters_farm/pTQMLg5.11464093859267630181.6666666666685901.033333333334
DRESDEN/sum15/CsgWKg5.13803268945022314407.92804.1666666666665
DRESDEN/lightson2x2/gBHuig5.17867896987822716911.6666666666683265.633333333333
BASE/pancakes88/l2Xaig5.20844657774216444200.26657780748486.266666666666
STANFORD/threepuzzle/41ibjA5.21760854583046230283.05804.0
BASE/troublemaker02/DI83KA5.22335947932162154894.210509.366666666667
BASE/hanoi_6_disks/MeubgQ5.2530004623208518937.0666666666663605.0
BASE/stateSpaceSmall/Q7osKA5.26558388667219746760.6666666666648880.433333333332
DRESDEN/statespacesmall/h-NqjA5.26906206881078746970.08914.3
BASE/chickentictactoe/DSlZCA5.3455395153804311133.3333333333342082.733333333333
STANFORD/multiplesukoshi/vLSQPg5.347799158708504261.2333333333333548.848755456332675
BASE/mineClearingSmall/frsbvw5.3570365470204041029.7666666666667192.22692576914102
BASE/gt_dollar/TGjqRw5.365172253032084425701.54790.433333333333
DRESDEN/chickentictactoe/Ipbo-g5.43113382597089811122.62047.9333333333334
DRESDEN/cube_2x2x2/fp-34Q5.48340853422714957089.1333333333331292.8333333333333
BASE/snakeAssemblit/UO4sdg5.4873118124732881854.4666666666667337.9554014866171
STANFORD/bestbuttonsandlights/nm0wEA5.58007871337641538281.26860.333333333333
STANFORD/selectivesukoshi/3xmXYg5.604335681369322283.750.62152164494951
STANFORD/hunter/14dD-g5.62302134589727912353.2155948017332196.9
BASE/queens06ug/7Lq3tw5.6278728500830838693.01544.6333333333334
BASE/lightsOn/MsXu3A5.63131707002674829124.2333333333345171.833333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg5.75707412963633514838.6666666666662577.4666666666667
BASE/tictactoe_orthogonal/WRzlVw5.90672446244225217260.4333333333342922.1666666666665
DRESDEN/tictactoe_orthogonal/y69QFQ5.90977538391015317189.5666666666662908.6666666666665
BASE/amazonsSuicide/dE1QEQ5.97641300813008158.1333333333333331.3609055000497892
DRESDEN/knightmove/97Ipcw5.9984349291705134982.5830.6333333333333
BASE/factoringEasyTurtleBrain/lUj94Q6.01356687644901213439.5201599466842234.866666666667
BASE/knightmove/jBaJEw6.05635109515555004.766666666666826.3666666666667
DRESDEN/frogs_and_toads/GjchhQ6.0674702654826012892.266666666667476.684110529649
BASE/factoringGeorgeForman/HGRorQ6.06827869178982720310.9333333333343347.0666666666666
BASE/blocker/dIWtxg6.08825915709038413757.2333333333342259.633333333333
DRESDEN/quad_7x7/q-JOXg6.13821880341880455.066666666666678.971114981433407
BASE/amazonsSuicide_10x10/XIbQkg6.2909035871045861385.4666666666667220.23333333333332
DRESDEN/eotcatcit/mQUxzA6.30051463764447814936.02370.6
BASE/four_way_battle/xSOQXA6.302520833333333857.0135.97733711048159
STANFORD/trifecta/ss1kyQ6.33955591306880415236.72403.4333333333334
BASE/max_knights/2fq3Ag6.35792966157929753193.8502.3333333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g6.40077927187577433621.85252.766666666666
BASE/amazons_10x10/Bun8dA6.4134718191538121399.6333333333334218.23333333333332
DRESDEN/blocker/S815zQ6.43002913274071914346.4666666666672231.1666666666665
BASE/eotcatcit/AfZSzA6.44966442953020215151.7666666666662349.233333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw6.4672544080604535684.6666666666666105.86666666666666
DRESDEN/four_way_battle/xSOQXA6.472793299832496858.6666666666666132.65782281181254
DRESDEN/max_knights/hCipiA6.4900292475405483254.5333333333333501.46666666666664
BASE/blokbox_simple/JBx4bg6.4941333333333344.90.7545271629778671
BASE/duplicateStateLarge/dcjyuw6.4949997326060224048.3333333333335623.3
STANFORD/jointbuttonsandlights/qAKuIQ6.53420086481194426696.5666666666664085.6666666666665
BASE/quad_7x7/q-JOXg6.63035238095238255.28.325349367339522
STANFORD/tictactoe/ss1kyQ6.64233421600419115635.8333333333342353.9666666666667
DRESDEN/tictactoe/BTTzPw6.6600070054426916478.6333333333352474.266666666667
BASE/ticTacToe/JRFsaQ6.66193591905564916460.5333333333332470.8333333333335
BASE/queens08ug/kJ_ZFQ6.7457755434458035291.836054648451784.4666666666667
STANFORD/tictactoe7/-bE9-A6.78499715329176716286.9333333333322400.4333333333334
BASE/amazons_8x8/7SOsIw6.7997548172382682008.9295.4371229543712
BASE/knightazons/apnJBQ6.84873778501628651121.3666666666666163.73333333333332
BASE/futoshiki4/BaCwSw6.8636665437108073101.233333333333451.8333333333333
DRESDEN/knightazons/02I8BQ6.9378461538461541127.4162.5
DRESDEN/slidingpieces/s9_44g7.1399471132657561080.0151.26162461251292
DRESDEN/2player_normal_form_2010/NG_Kdg7.21495103129842930106.0666666666664172.733333333334
STANFORD/tictactoe5/WFRReg7.269438681175989517168.2333333333342361.7
BASE/lightsOnParallel/SC6enA7.271227313110813367.6666666666661838.4333333333334
DRESDEN/tictactoe-init1/3ltIBQ7.29175719904287817674.7333333333342423.9333333333334
DRESDEN/blocksworldparallel/2JfVaw7.33921854143914612096.51648.2
BASE/numbertictactoe/rvJ-iQ7.4338341018394579995.5333333333331344.6
BASE/slidingpieces/uFJWEw7.5296858871888561098.9145.94234294284286
BASE/solitaireChineseCheckers/-ET6gw7.5958535625246037718.41016.1333333333333
BASE/withConviction/3Xm54A7.6741802662862593406.9666666666667443.9518682710576
BASE/mummymaze1p/PT_EXA7.7070044098041225010.066666666667650.0666666666667
BASE/tictactoe-init1/7M19vA7.735616946059983518088.9666666666672338.4
DRESDEN/mummymaze1p/AekgaQ7.8207077191721025075.9649.0333333333333
BASE/rubiksCube/9tNO9Q7.8635610262536623071.6666666666665390.6203126562448
BASE/coins/QnGtnQ7.8817099554592512909.733333333333369.17538830744616
DRESDEN/coins/QwFP9w7.9982676903507172934.2366.8544381853938
BASE/catcha_mouse/cHv4dw8.0082316291751874960.133333333333619.3793540215327
DRESDEN/amazons/dNB28A8.0875085324232178.49.693961952026468
DRESDEN/catcha_mouse/cHv4dw8.118313889500334917.533333333334605.7333333333333
STANFORD/tictactoe3/X7myng8.13670905352927717809.92188.8333333333335
BASE/tictactoex9/BI26ow8.2348749838061932118.8333333333335257.3
BASE/cephalopodMicro/9l2D3g8.286854425612052146.6333333333333317.694691592522243
DRESDEN/CephalopodMicro/H3XQfg8.335515936507937145.8666666666666717.499416686110465
DRESDEN/tpeg/h-Scbg8.3418019469620683865.3333333333335463.3691087260849
BASE/escortLatch/mX9BjQ8.3440585968333563993.3333333333335478.58404719842673
DRESDEN/tictactoex9/rFkD4w8.3709737118822292122.6666666666665253.57464253574642
DRESDEN/connect5/1kYzSg8.463817965339332132.6251.96666666666667
BASE/coins_atomic/AA3SSw8.4662975912975912905.633333333333343.2
BASE/tpeg/QNs7Lw8.5294029961988523814.633333333333447.23333333333335
DRESDEN/SC_TestOnly_enabled/09o7gQ8.55424816856732818877.82206.8333333333335
BASE/amazonsTorus_10x10/Uxc08g8.5736172422747321100.5666666666666128.36666666666667
STANFORD/breakthrough/d5j0cQ8.5865562964007144060.733333333333472.91756941435284
DRESDEN/mimikry/GJEhwA8.6636526410026863225.766666666667372.3333333333333
STANFORD/dualhunter/1rPZjQ8.7372064276885048246.466666666667943.8333333333334
BASE/connect5/d-BVQg8.8570647717955732160.5333333333333243.93333333333334
DRESDEN/pawn_whopping_simultaneous/r8dLfw8.8976263288189894073.3333333333335457.8
BASE/peg/fJHVWw8.9229802726986133773.7422.9192360254658
DRESDEN/peg_bugfixed/u_B7MA8.946773816163183849.9666666666667430.3189893670211
DRESDEN/peg/Vo31eg8.9564601212502953791.866666666667423.3666666666667
BASE/pegEuro/5awwhg9.0676997680330463170.5666666666666349.6550114996167
STANFORD/sukoshi/4LYZZQ9.08781192409224512163.7333333333341338.4666666666667
BASE/snakeParallel/RCVNtw9.12853302675675418824.2333333333342062.131262291257
BASE/amazons/RKKZjw9.4863461538461558.10.8538587848932676
DRESDEN/battle/8oAvhQ9.906552341597795479.333333333333348.385484354693595
BASE/hexPie/48CH6Q9.9353634378904451678.6333333333334168.95540297313514
BASE/twisty-passages/DiZmmg9.9376354651330811462.41153.4333333333334
BASE/battle/8oAvhQ10.070067545685866483.666666666666748.03013132457836
DRESDEN/knightwar/7hhAqg10.113659483954510935.91081.3
BASE/knightwar/DVGY4Q10.1561021170610210873.81070.6666666666667
BASE/connectFourLarger/qKi60A10.3082341510808852829.266666666667274.46666666666664
DRESDEN/twisty-passages/j7NPyg10.66182637541465711356.2666666666661065.1333333333334
BASE/shmup/ssTNlg10.79194255507243719938.8333333333321847.5666666666666
BASE/breakthroughSmallHoles/bxclRw10.94760477120995228.766666666666477.61741275290825
BASE/stateSpaceMedium/3bUoIw11.11069871927918330334.82730.233333333333
BASE/queens12ug/u6Bkmg11.1558116022099462422.8217.17828217178283
DRESDEN/statespacemedium/dVJZ_w11.21723514464425330606.62728.5333333333333
BASE/tictactoe2/bhrDoQ11.34594646507607727565.7333333333342429.5666666666666
DRESDEN/grid_game2/kypTYQ11.8060807266982622407.9666666666667203.95986800439985
DRESDEN/pawn_whopping/4ogBkg12.0203505117488627189.933333333333598.1467284423852
BASE/chess_200/XsTpYA12.655524364538127680.453.763082461169255
BASE/pawnWhopping/Ypc_6Q12.7187832978090137359.266666666666578.6140461984601
DRESDEN/kitten_escapes_from_fire/uW-YiA12.81334173878159429810.6666666666682326.5333333333333
BASE/kitten_escapes_from_fire/uW-YiA12.96527102532472129779.0666666666662296.8333333333335
BASE/lightsOnSimul4/9FeASw13.166812027349014236.5321.7559414686177
BASE/chineseCheckers1/gqtwHw13.17636211968213530011.82277.7
DRESDEN/pawn_whopping_corrected/7Ov0jQ13.2254558413018947422.566666666667561.2333333333333
BASE/dualConnect4/WbCQkg14.2005429250753876801.833333333333478.9840338655378
BASE/dotsAndBoxes/EHwA_w14.2094513919436977537.166666666667530.4333333333333
BASE/lightsOnSimultaneous/_VN6lw14.4831674958540635822.233333333334402.0
DRESDEN/tictactoe_3d_small_2player/HYttcg14.4904201577845775999.6414.0390640623958
STANFORD/triplesukoshi/Iu9mbA14.619695394552095205.9356.0881303956535
BASE/dotsAndBoxesSuicide/jzQbLw14.6325608417790967555.766666666666516.3666666666667
BASE/tictactoe_3d_small_2player/oOryKA15.0195728436196011.133333333333400.2199926669111
BASE/ticTacToeNoVars/XT03NA15.30471400511874317142.31120.0666666666666
DRESDEN/battlebrushes/QHXV4A15.373016666666668309.0666666666666620.10449044375372
BASE/nineBoardTicTacToePie/B8LzeQ15.4420660359508063263.8211.35772845430913
BASE/ticTacHeavenFC/mrletw16.0916023724320744046.633333333333251.47485251474853
STANFORD/duikoshi/tpw1sw16.507477086348297984.666666666667483.7
BASE/speedChess/bPnisA16.5990045413260672842.6666666666665171.25524965002333
DRESDEN/3pffa/0YrmQw16.63750435691878615911.0956.3333333333334
BASE/4pffa/Q3ADlg16.72956228873894712097.3008997001723.1092296923435
BASE/queens16ug/gT-ylw16.9774742808921071428.32389203598884.13052898236725
STANFORD/pentago/ZxzLmg17.0841245359453426278.566666666667367.5088327444837
BASE/connectFourLarge/aU644A17.3861940456238358298.733333333334477.31742275257494
DRESDEN/tictactoelarge/IwXcbg17.80394900497512419085.8333333333321072.0
DRESDEN/3pttc/uwYBZw17.86120001538579815478.0866.5711142961901
BASE/ticTacToeLargeSuicide/727_8g17.9106141752012319062.2666666666661064.3
BASE/3pffa/pR0dzA18.05472390003773215277.90736421193846.2
DRESDEN/tictactoelargesuicide/6J4DeA18.15282074178014718973.9333333333341045.2333333333333
BASE/ticTacHeaven/18n58A18.2034358047016274697.7258.06666666666666
BASE/ticTacToeLarge/TZC0dg18.2288426131674219141.51050.0666666666666
BASE/3pConnectFour/PqXOFQ18.7011646373742737065.3377.8
BASE/3pttc/0sol9g19.7869557900360614814.0748.6750441651945
BASE/hitori/S8Gsyg20.214998725408698805.733333333333339.85819362533961
BASE/connectFour/WAIKTw20.3604363175171613644.2670.1329867013299
DRESDEN/connectfoursuicide/M9CNQg20.63815819175458813887.866666666667672.9218052129858
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw20.7020166043780021292.366666666666662.4270906242709
BASE/2pffa/6oHijA20.72950622533871719291.569476841054930.6333333333333
DRESDEN/hitori/S8Gsyg20.921168331872625794.933333333333337.996603283492625
BASE/connectFour_9x6/B9TtMw20.9423373759647212663.133333333333604.6666666666666
STANFORD/connectfour/VMpZkQ21.10217478452595314037.166666666666665.2
DRESDEN/tictactoe_3d_2player/LMuX9w21.106023642395672685.4666666666667127.23697803845769
DRESDEN/connectfour/5tc-Mg21.34653474750539514071.166666666666659.1780273990867
BASE/tictactoe_3d_2player/IUC1rQ21.3650852978453722622.0333333333333122.72515165655624
STANFORD/nineboardtictactoe/y28P-A21.398710194855814575.3213.81195213811952
BASE/nineBoardTicTacToe/wRmqqA21.8420390935150624486.933333333333205.4264857838072
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g22.1070353063934741294.433333333333458.5530042989969
BASE/stateSpaceLarge/0Ge_CQ22.1122178879910821162.866666666665957.0666666666667
DRESDEN/statespacelarge/8-y5HQ22.18594938948858420895.466666666667941.8333333333334
BASE/connectFourSuicide/c8p9Kw22.30250245186547514192.569143618794636.3666666666667
STANFORD/pilgrimage/ObRZnQ22.351498880.4397.3068462102527
BASE/2pffa_zerosum/o0_uZA22.793489512084419285.57147617461846.1
STANFORD/platformjumpers/HEQskA22.89512541166625468.7238.858704709843
BASE/connectFourSimultaneous/7ITr3g23.339593756622.0283.7238758708043
BASE/chineseCheckers6/rREH3A23.62012066883758321518.0911.0029665677811
BASE/chineseCheckers3/-1rZdQ23.88588203536239635394.11481.8
BASE/2pttc/unkkYA24.0340001242955120137.28757080973837.8666666666667
BASE/skirmishNew/sibw2g24.2380711267090733683.133333333333151.95653623091795
BASE/skirmishZeroSum/zh4hcw24.2981803579223053710.4152.70279277477837
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw24.6690658964484371280.933333333333451.92467922012998
BASE/chineseCheckers2/eCMR3Q24.7503468208092542818.11730.0
STANFORD/freeforall/Lfp40Q24.96641410837642320588.13728757081824.6333333333333
BASE/reversiSuicide/9OxJlg27.410491440501044437.5666666666666615.963473971872292
BASE/reversi/d8UMeA28.25340728051392438.715.527330762069424
BASE/chineseCheckers4/avfBcQ29.23157309174712624522.366666666665838.9
BASE/pentago/86NgKw29.2534604335335587467.433333333333255.26666666666668
BASE/pentagoSuicide/SBgNhw30.572780105419657540.266666666666246.63333333333333
BASE/cubicup/4wNWJA30.8577586206896554295.4139.2
DRESDEN/cubicup/SBn_lw31.021248797982194372.233333333334140.94317613731045
DRESDEN/pentago_2008/hLjVpQ31.5876341778025247563.933333333333239.45868471050966
BASE/cubicup_3player/e2yA_g42.048437934668072659.466666666666763.24769235895898
DRESDEN/cubicup_3player/awDtsQ43.2356340736728062660.166666666666561.5271806152718
DRESDEN/ggp-course2013_michal13/jWKddg43.35253921568628171.833333333333343.963627885287946
BASE/choicethroughalt/tt71Lg45.4207008155719913921.566666666668306.5026830650268
BASE/snake2p/I3wWPQ50.7723512050995712124.033333333333238.7920402653245
BASE/battlebrushes/arCwyA56.552371428571426483.86666666666678.55608092894593
BASE/othelloHoles/c0qAzw77.4811863425926368.16666666666674.751691140075895
DRESDEN/small_dominion/yB5GJA93.65196720140906171.109630123292251.8270799347471451
BASE/othelloSuicide/B442jg106.8767721393035476.36666666666674.457158062799361
BASE/zhadu/DlA8iQ108.992433137829921237.766666666666711.356445865387817
BASE/othello-comp2007/86ZoMw110.8198158974359477.766666666666654.311202493864827
BASE/factoringImpossibleTurtleBrain/kcBhdw127.545636.40.2853881278538813
DRESDEN/Zhadu/9zpQ5w329.3574187956204518039.76666666666654.772613693153424
DRESDEN/laikLee_hex/ZeP3QQ329.90327189705278102.53333333333424.56033032573788
BASE/laikLee_hex/zbyscQ621.39107262872638087.73333333333413.015528689717204
BASE/queens/HyJJnQ796.43061666666653567.66666666666654.479569961283717
DRESDEN/queens/mW2wHQ879.23696666666673584.33333333333354.076640847941296
DRESDEN/satlike_20v_91c_version2/yd9ioQ4451.90492934.00.659043727551323
DRESDEN/satlike_20v_91c/yeuENQ5458.36332938.00.5382565869149823
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g5652.9070666666672905.33333333333350.5139538469445444
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA6472.2439666666672859.33333333333350.4417839234830245

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
BASE/endgame/jYjfOATest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest process failed to output results for unknown reason
BASE/wallmaze/uxNQ9gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/checkLines/Vop7oQTest process failed to output results for unknown reason
BASE/nim4/twk16wTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
BASE/sheepAndWolf/g4THrgTest process failed to output results for unknown reason
DRESDEN/minichess/c7GMFwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest process failed to output results for unknown reason
DRESDEN/racetrackcorridor/O0DoTATest process failed to output results for unknown reason
DRESDEN/blocks2player/3ev8nQTest process failed to output results for unknown reason
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reasonException of type NullPointerException
BASE/alexChess/LNo83gTest process failed to output results for unknown reasonException of type StackOverflowError
BASE/amazonsTorus/soxT8gTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reasonException of type NullPointerException

index