index

CADIAPLAYER_PROLOG:3.0 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.086271924637870775.53541280340981464.16238917405506
BASE/golden_rectangle/_nYzfw1.3010748848533396137.01915070774353105.3122708791575
BASE/factoringMediumTurtleBrain/8RBqmQ1.4241896357427886673.8566007589375473.15089497016766
BASE/zhadu/DlA8iQ1.472380466513618633.57027463651050422.8
BASE/majorities/ibJzSQ1.6595544714981452165.0871495791636299.47678874929183
BASE/simultaneousWin2/PfjRjw1.9560840677051952951.830507345348486.6
DRESDEN/tictactoex9/rFkD4w2.1705444039781483516.5237.95873470884302
BASE/tictactoex9/BI26ow2.1777305351545637514.8880895283773236.43333333333334
BASE/pearls/6k_mEQ2.248633646839214533408.114857.066666666668
DRESDEN/latenttictactoe/kITHKg2.32529333297035332847.16666666666651224.4333333333334
BASE/haystack/UkweGA2.37367712637086133800.7666666666714239.833333333334
DRESDEN/sheep_and_wolf/enAIzQ2.524212905359387843.6760934012858334.23333333333335
DRESDEN/coins/QwFP9w2.68394868072952037642.6333333333332847.5333333333333
BASE/coins/QnGtnQ2.7033902284412937676.3666666666672839.5333333333333
BASE/coins_atomic/AA3SSw2.70472234215101677726.42856.633333333333
DRESDEN/catcha_mouse/cHv4dw2.7075859159817181041.8790604697651384.8
BASE/catcha_mouse/cHv4dw2.7849680659189721043.492751208132374.68751041631947
BASE/factoringGeorgeForman/HGRorQ2.8203635016363959501.6166127795733368.9333333333334
DRESDEN/ggp-course2013_michal13/jWKddg2.8276885505769185305.2757554602573107.95946936870875
BASE/lightsOnSimul4/9FeASw2.82794791113786741059.090151641393374.50836610892605
BASE/lightsOnSimultaneous/_VN6lw2.84647028331878451447.192134644226508.4163861204627
DRESDEN/lightson2x2/gBHuig2.8769024330064684822.8392386920431676.4
BASE/bunk_t/xbpfIA3.0712619038882753980.8673044231861296.1666666666667
DRESDEN/tictactoeparallel/yk_DSg3.07698296254154573425.41113.2333333333333
BASE/sudokuGrade6H/ieE_9A3.0925013391288148383.509331208076124.01266455590735
DRESDEN/bunk_t/7-tPfA3.0986810630651243976.43411886270451283.2666666666667
DRESDEN/doubletictactoe/lJzgmQ3.1038883224493214030.39898670044341298.5
BASE/doubletictactoe/HH1htg3.13138459146388874027.91286.3
BASE/sudokuGrade6E/ihYFZA3.1407774931109813381.5535916007708121.48380215971204
BASE/doubletoetictac/fu35bg3.15084494358213663965.2333333333331258.4666666666667
STANFORD/multiplesukoshi/vLSQPg3.163285546399244388.46626582068234122.80467890825474
BASE/blockerParallel/7-nDJA3.1753296086673491353.4313235343132426.23333333333335
DRESDEN/blockerparallel/dVQgSg3.1888723108578521349.6983634969836423.2525582480584
BASE/lightsOnParallel/SC6enA3.1893810331781934587.1804273190891438.2666666666667
DRESDEN/cubicup_3player/awDtsQ3.2447522708237293589.6599906846762181.72727575747476
DRESDEN/doubletoetictac/V89gKQ3.2467682955649014001.96660111329631232.6
DRESDEN/lightsout/XgLpzQ3.248292969089513233.8922035932137995.5666666666667
BASE/onestep/xi53wA3.257512120620149624456.9666666666677507.866666666667
DRESDEN/lightsout2/LFtfyQ3.31739172690148543235.0098323500983975.1666666666666
BASE/sudokuGrade5/BQfUQA3.371006399373872417.52749083638787123.8584094393707
STANFORD/sudoku/oJ1qyQ3.3834413137850934408.6788428209572120.78792120787921
BASE/sudokuGrade3/eI8dvg3.3842431012748855413.9091605851578122.30479554770554
BASE/sudokuGrade4/DTy07w3.421592475729429415.9824485589868121.57568486302739
BASE/sudokuGrade2/u80Tfw3.427946286848219419.22385675297875122.2959234692177
BASE/cubicup_3player/e2yA_g3.4515458262049497594.1817215727949172.14945172149453
DRESDEN/tictactoe/BTTzPw3.51991797492184066980.4666666666661983.1333333333334
BASE/sudokuGrade1/tDRNRw3.5477432896671544430.7999334774655121.42928569047699
DRESDEN/chickentictactoe/Ipbo-g3.5591764236778196545.81839.1333333333334
BASE/eotcatcit/AfZSzA3.59593352747310266873.8666666666671911.5666666666666
DRESDEN/sum15/CsgWKg3.62064392007112538280.5333333333332287.0333333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg3.62282456143221543817.491001199841053.7333333333333
BASE/firefighter/WJmoPw3.68486872955541543704.3985338220591005.3
DRESDEN/firefighter/WJmoPw3.6954267482052653706.2666666666671002.9333333333333
DRESDEN/eotcatcit/mQUxzA3.7692954553764036872.9333333333331823.4
STANFORD/selectivesukoshi/3xmXYg3.8431842872443007512.0061194625515133.22445170321978
BASE/sum15/QZ07Kg3.84471209979721048342.02169.733333333333
DRESDEN/blocker/S815zQ3.92842133620689674860.7666666666661237.3333333333333
STANFORD/multipletictactoe/_bkafQ3.959741195325643616.0125274871726155.56888622275545
BASE/double_tictactoe_dengji/zgaSbA4.0151536044613243818.6787547496833951.0666666666667
BASE/withConviction/3Xm54A4.0941728863649812398.0135981869084585.713809539682
BASE/conn4/va9Y7A4.2072582977470451627.0327912556652386.7204426519116
BASE/lightsOn/MsXu3A4.362846021055669983.5005499816672288.3
DRESDEN/double_tictactoe_dengji/bGaUyQ4.3757428883378153814.918508149185871.8333333333334
BASE/tictactoe2/bhrDoQ4.4403548803129310443.5666666666682351.9666666666667
DRESDEN/cubicup/SBn_lw4.5026706465272211007.6976906927922223.8
BASE/blocks2player/wnTLOQ4.5165059665871127885.0666666666671745.8333333333333
BASE/cubicup/4wNWJA4.5167018004321751013.3635485053487224.35918802706576
DRESDEN/blocks2player/3ev8nQ4.6077431612415437922.41719.3666666666666
BASE/survival/YVIjJA4.67347624085744533865.5666666666667246.333333333333
DRESDEN/tictactoelargesuicide/6J4DeA4.7241315813322265487.5512448755131161.6
DRESDEN/buttons/ADUaHw4.72430707808327818459.63907.366666666667
BASE/blocker/dIWtxg4.7269096198085394878.1707276424121032.0
BASE/factoringEasyTurtleBrain/lUj94Q4.7698047656644444962.3458847050981040.3666666666666
DRESDEN/tictactoelarge/IwXcbg4.77349094340431455448.3034464369041141.3666666666666
BASE/buttons/hTcUjw4.78344208809135518766.43923.2
BASE/lightsOut/5P1ZBw4.8672622680484223224.236768430876662.4333333333333
DRESDEN/tictactoe-init1/3ltIBQ4.9462708421897876981.1666666666671411.4
DRESDEN/brain_teaser_extended/ZDp94A4.9815486139752977649.51535.5666666666666
BASE/brain_teaser_extended/ZDp94A5.0490695527095417673.7442085263831519.8333333333333
DRESDEN/blocks/vg0DRw5.08737297189852713650.12683.133333333333
BASE/blocksWorld/SEdXLQ5.09542741106816113884.72724.9333333333334
BASE/tictactoe-init1/7M19vA5.1592857142857156982.2333333333341353.3333333333333
BASE/blocks/xIV5hQ5.18001237623762413951.52693.3333333333335
STANFORD/duidoku/3SoMaA5.212193532158574400.724180314254476.88206085246776
DRESDEN/troublemaker01/C-lPWw5.26224988358083223730.4666666666674509.566666666667
BASE/troublemaker01/s3tlEQ5.35591322179594823593.3333333333324405.1
BASE/tictactoe_orthogonal/WRzlVw5.4264747389218197049.5333333333341299.1
DRESDEN/peg/Vo31eg5.4356985494743331919.0360321322623353.0431304579695
STANFORD/tictactoe3/X7myng5.466960120192946913.71264.6333333333334
DRESDEN/peg_bugfixed/u_B7MA5.50481042265292951916.77498916775348.2
DRESDEN/tictactoe_orthogonal/y69QFQ5.5135276297921237037.4666666666661276.4
DRESDEN/slidingpieces/s9_44g5.5781394502364041440.6474820143885258.26666666666665
BASE/tpeg/QNs7Lw5.6283587467442871981.8006066464452352.1098593427105
BASE/chickentictactoe/DSlZCA5.6807295612143826499.1333333333331144.0666666666666
BASE/slidingpieces/uFJWEw5.7300567604586461455.7193729823277254.0497300179988
STANFORD/tictactoe5/WFRReg5.8119345470791916937.91193.7333333333333
STANFORD/tictactoe/ss1kyQ5.8132671355675087025.3333333333331208.5
STANFORD/trifecta/ss1kyQ5.816563467492267014.01205.8666666666666
BASE/ticTacToe/JRFsaQ5.82104386451971056989.1333333333331200.6666666666667
DRESDEN/chickentoetictac/cxYaRQ5.8263125968861628644.51483.7
BASE/blockerSerial/3eqDuw5.883165711063072086.227584827678354.60969268715417
DRESDEN/tpeg/h-Scbg5.8904677303828711980.7679488034132336.26666666666665
BASE/coloredtrails/EZvr7g5.976674093920513075.994933671089514.6666666666666
BASE/chickentoetictac/l57rfQ6.01804986538686758568.71423.8333333333333
DRESDEN/toetictac/mJtxCA6.0311696304926039145.8666666666671516.4333333333334
STANFORD/tictactoe7/-bE9-A6.09505402793639656938.01138.3
BASE/toetictac/mTThmg6.1350645873770169166.41494.1
DRESDEN/troublemaker02/iZLVuA6.20960567124501623358.4666666666673761.6666666666665
DRESDEN/circlesolitaire/ruUilQ6.25911830003171710525.3333333333341681.6
BASE/tron_10x10/7ZTgDg6.2744517691376291554.6247.76666666666668
BASE/troublemaker02/DI83KA6.31780387294409423098.7333333333343656.133333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ6.3235043155576894675.38830744617739.3666666666667
BASE/ticTacHeavenFC/mrletw6.3730447914213282041.9235511713932320.4
BASE/circlesolitaire/azuQFQ6.391396589347773510544.11649.7333333333333
DRESDEN/cube_2x2x2/fp-34Q6.4984306011967812641.957202853143406.55311489617014
BASE/ticTacToeParallel/ymRGPw6.6779808529155793324.9666666666667497.9
STANFORD/sukoshi/4LYZZQ6.7765724903000168266.9666666666671219.9333333333334
STANFORD/duikoshi/tpw1sw6.8662514997429024006.0583.4333333333333
DRESDEN/grid_game/U7_Yeg6.8711230090045351339.919368273748195.00733235568592
BASE/cittaceot/fDxhXg6.90342863952223151556.0554555755516225.40327956272498
BASE/ticTacToeSerial/Amrwqw6.9386581142495013340.732593407326481.46666666666664
BASE/switches/tPUoCg7.07895611439061914909.9333333333322106.233333333333
DRESDEN/pawn_whopping/4ogBkg7.0828984769464324751.049930004667670.7776407453085
DRESDEN/tictictoe/LAUtwg7.1001799432486686839.366666666667963.2666666666667
BASE/eotcitcit/V_9_bg7.102134726498986842.433333333333963.4333333333333
BASE/ticTacToeNoVars/XT03NA7.25053830659165110438.61439.7
BASE/ticTacHeaven/18n58A7.30626607836922752708.676377454085370.73333333333335
BASE/numbertictactoe/rvJ-iQ7.3166528239202665872.833333333333802.6666666666666
STANFORD/triplesukoshi/Iu9mbA7.3470917254165042283.247783481101310.7689231076892
DRESDEN/connect4/T0-rHQ7.4591248353600491307.2052256215425175.24914175249143
BASE/connect4/50bOyw7.524436645893491310.2115608862237174.12752908236394
BASE/untwistycomplex2/EDPPAQ7.63968820659288421398.7666666666662801.0
DRESDEN/pawn_whopping_simultaneous/r8dLfw7.6786799040615073511.7162761241293457.3333333333333
STANFORD/untwistycomplex/HTWEwg7.80444953819187119293.92472.1666666666665
BASE/ticTacToeLarge/TZC0dg7.8197355128029525432.97113525765694.7768407719743
BASE/blocksWorldSerial/Wyg96Q7.8641164715957748264.41050.9
BASE/ticTacToeLargeSuicide/727_8g7.894837935174075480.333333333333694.1666666666666
STANFORD/untwistycorridor/EDPPAQ7.9999388491408321803.8333333333322725.5
DRESDEN/tictactoe_3d_small_6player/llDEDQ8.0836084826904321653.0979347101932204.5
BASE/tictactoe_3d_small_6player/g_9lww8.3320018407856051665.1784226835039199.8533431104593
STANFORD/buttonsandlights/eyhJpA8.4430441388445228896.63422.5333333333333
BASE/futoshiki6/JmvXNA8.485759797474041129.8696970706835133.1489134782029
STANFORD/jointbuttonsandlights/qAKuIQ8.54286994035691512079.3333333333341413.9666666666667
BASE/futoshiki5/TJ4BZg8.6698253505007161683.1666666666667194.14078122916945
DRESDEN/blocksworldparallel/2JfVaw8.6936836422530158051.8926.1666666666666
BASE/incredible/8Qh-6Q8.7937999686955087374.18752708243838.5666666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw9.322100047765689845.938562004397990.74549271836571
DRESDEN/quad/JPe6fg9.3394182504873350.230263157894745.3783074931111186
BASE/breakthroughSmallHoles/bxclRw9.351037800724052936.439689364397314.0228659044698
BASE/tictactoe_3d_small_2player/oOryKA9.407313028403642494.883503883204265.20681265206815
DRESDEN/tictactoe_3d_small_2player/HYttcg9.4767551509966352514.4990333977735265.3333333333333
STANFORD/tictictoe/rpt_Dw9.5474783106111176676.233333333334699.2666666666667
BASE/futoshiki4/BaCwSw9.7514417589175883347.233333333333343.25522482583915
BASE/quad/tw-Ufg9.77644616967255552.329127740858455.352571561554573
BASE/ticTicToe/c1OobQ9.8892591519366376825.566666666667690.2
DRESDEN/8puzzle/8fKC2w10.1243250449969998261.449236717552816.0
DRESDEN/mimikry/GJEhwA10.6630787990554021591.642228739003149.26666666666668
DRESDEN/sat_test_20v_91c/dK7nVw10.7659190393276492182.8967539825367202.75990800306656
BASE/hodgepodge/9yjRkw10.94595951146059910904.0996.1666666666666
DRESDEN/tictactoe_3player/ESLQQQ11.1620261780747652869.937668744375257.11619225384976
STANFORD/breakthrough/d5j0cQ11.1775327673435142119.793402199267189.64770189647703
DRESDEN/uf20-020.cnf.SAT/hDrW_A11.2976536160957051846.6666666666667163.45576961535897
DRESDEN/connectfour/5tc-Mg11.451349562403475190.133333333333453.23333333333335
DRESDEN/hallway/0H4l-Q11.685513146115094205.0431320504313217.546780315642273
DRESDEN/stratego/Z2wovg11.7163407040897882587.749116843298220.86666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg11.807814740076841986.3356107315446168.22211852543163
BASE/snake2p/I3wWPQ11.946921443736733563.766666666667298.3
BASE/hallway/ckCJOw11.94942589765713205.083958319506217.162662045522712
BASE/maze/cCX3qQ12.02147752117437421810.5666666666661814.3
BASE/blocksWorldParallel/RseaAQ12.1751053634316737029.5577.3666666666667
DRESDEN/javastrike/whONTQ12.451390142468411358.0316182052213109.06666666666666
BASE/connectFourSimultaneous/7ITr3g12.608657927710712898.310168983102229.86666666666667
DRESDEN/Thief_Police/CX18rA13.39368540436524712933.835538815372965.6666666666666
DRESDEN/chinesecheckers1/Y-ftaA13.4054813121500282515.231302493001187.62707909736343
DRESDEN/uf20-01.cnf.SAT/42Rs8A13.4073425160888282037.2654244858504151.9514715195147
STANFORD/3puzzle/41ibjA13.53052589159782413430.4992.6
STANFORD/bestbuttonsandlights/nm0wEA13.5421162784376616607.61226.3666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA13.5577894628312213149.7969.9
DRESDEN/catch_me/ghGWrA13.63903066403971413123.475304939013962.2
STANFORD/multiplebuttonsandlights_9/SqB9BA13.70819310196279216971.21238.0333333333333
STANFORD/multiplebuttonsandlights/cK70Yg13.7749419953596317019.41235.5333333333333
STANFORD/threepuzzle/41ibjA13.77797452836613713486.8978.8666666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA13.8212113122301513155.489634024398951.8333333333334
BASE/nineBoardTicTacToePie/B8LzeQ13.8682259532504663171.808368869936228.71046228710463
BASE/hexPie/48CH6Q14.163807271299424342.2121595525071624.161029093211585
BASE/tictactoe_3player/GtM71g14.224552143760322866.813318668133201.5397946940408
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA14.2795968309859142162.6666666666665151.4515215145152
BASE/hex/T1MK8g14.368359970826399349.5368827880322424.326846174353506
STANFORD/connectfour/VMpZkQ14.3720629047178565178.733333333334360.3333333333333
BASE/connectFour/WAIKTw14.5837259134555425197.466666666666356.3881203959868
STANFORD/hex/MTqWcw14.644658925755278356.2939848625680424.32927845359107
BASE/tictactoe_3d_6player/d7KSwg14.665690395924527629.605000664982142.93047130191321
DRESDEN/oisters_farm/pTQMLg14.71469342026473215793.2804479701351073.3
BASE/queens16ug/gT-ylw14.75518160320068396.83748461973336.562947662990972
DRESDEN/sat_test_20v_91c_version2/a1mPBA14.9109959245058532184.5210319312046146.50403252682796
BASE/connectFour_9x6/B9TtMw14.9896607107006634977.400753308223332.0555981467284
STANFORD/bestbuttonsandlightsbig/g0JC6g15.16069253202406813689.6902.9666666666667
BASE/chomp/-LcqYQ15.8998758003766483564.633333333333224.19252691576946
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw15.9051174180851654350.674887518747273.53931273539314
STANFORD/nineboardtictactoe/y28P-A15.9581078992116243441.1215.63333333333333
BASE/wallmaze/uxNQ9g16.16753497189052381.1472682504824523.57485348961108
BASE/eightPuzzle/vLrgFg16.2352789303690888233.176682331767507.1164294523516
DRESDEN/chomp/-LcqYQ16.279827382936813580.9219.9593346888437
BASE/nineBoardTicTacToe/wRmqqA16.3313489049760143444.825862356274210.93333333333334
DRESDEN/tictactoe_3d_6player/ulZPWg16.3920097747058626.133031191682238.197453503099794
STANFORD/8puzzle/jNiGtw16.52323101211898234.627562072988498.3666666666667
BASE/pawnWhopping/Ypc_6Q17.2548727498448184632.933333333333268.5
BASE/tictactoe_3d_2player/IUC1rQ17.509396683879924841.893286289651548.08236979774083
BASE/dualConnect4/WbCQkg17.889677216066483443.9192.50766564458073
BASE/snakeParallel/RCVNtw18.2373387557984379566.7524.5666666666667
DRESDEN/tictactoe_3d_2player/LMuX9w18.34038172729183836.235889580766545.59533721898418
BASE/connectFourLarge/aU644A18.527160246938274335.066493350665233.98440103993067
BASE/3pConnectFour/PqXOFQ18.6479527981405333476.368242117192186.4209052729818
BASE/blokbox_simple/JBx4bg19.01448340330481678.147755858599234.1099068642073515
BASE/hidato19/rRHSmA19.3010055391716232653.156456236251137.46208459718008
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg19.402209938779243984.5671810939634205.36666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg19.4487300121692183973.375541486171204.3
BASE/endgame/jYjfOA19.852637488371226729.574836731973836.749516892117015
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ20.120656259601814160.9517144856545206.8
DRESDEN/connectfoursuicide/M9CNQg20.218627706757115166.361121295957255.524815839472
DRESDEN/quad_7x7/q-JOXg20.510229634321306359.133847791378417.509986684420774
BASE/queens12ug/u6Bkmg21.084757540110022268.931068931068912.754762221926201
BASE/aipsrovers01/4C4jsw21.164179281911338445.636957536164399.05336488783706
DRESDEN/aipsrovers01/qS47Mw21.342736617487118393.386887103763393.26666666666665
BASE/quad_7x7/q-JOXg21.402052029807777364.4875383180061617.03049491751375
DRESDEN/backgammon/mqCW0Q22.284049208411951100.355210304418549.3786026055376
DRESDEN/mummymaze2p/k-8edg23.961697949130976363.9387890884896715.188355594044566
BASE/mummymaze2p/vpjDdA24.050451788362817363.7210230485249615.123251165889407
BASE/pegEuro/5awwhg24.2374647260185651626.979100696643467.12662067126621
DRESDEN/minichess-evilconjuncts/th24Tw25.169183165566742843.643757082861112.9811698050325
BASE/checkLines/Vop7oQ25.4066020730058577516.966666666666295.8666666666667
BASE/minichess-evilconjuncts/4OpQzw25.4545548888570862849.871670944302111.95920271981868
DRESDEN/pentago_2008/hLjVpQ25.455610489576813463.5446157945576136.06213126229125
DRESDEN/3pttc/uwYBZw25.9677276574795535724.6367151046525220.45196986867543
DRESDEN/racetrackcorridor/O0DoTA26.359083377617391535.548815039498858.25501566353396
DRESDEN/ggp-course2013_nicolai/uEin8g27.065962457108252722.155688622754526.681323073848308
BASE/queens08ug/kJ_ZFQ27.2847351351351361009.333333333333436.99260147970406
BASE/pentagoSuicide/SBgNhw28.097413788856293439.8307061685605122.42517165522298
BASE/pentago/86NgKw28.3952041773636243432.4081170237578120.8798533577737
BASE/peg/fJHVWw28.5805794189222771910.578589521397166.84884030925086
STANFORD/pentago/ZxzLmg28.5956235473849853634.2455251491615127.0909696767744
DRESDEN/frogs_and_toads/GjchhQ29.308152327295582376.09912070343781.07297567477508
DRESDEN/endgame/IJhh3Q29.36953866625961740.770358523257425.22240362509579
BASE/connectFourSuicide/c8p9Kw30.227087782921815223.066666666667172.7942401919936
BASE/racetrackcorridor/_RkdUg30.3802727734817671781.181254583027858.62953462806889
BASE/queens06ug/7Lq3tw30.473152899924392271.44857009532774.53933557695511
BASE/chinook/XQh0IQ31.791819791756403720.110504593263222.65081109889744
BASE/hidato37/pBrqxw31.8274492651554560.010665600106717.595210377515382
BASE/breakthroughSuicideSmall/XSbJog31.8799933313492552916.33891073928491.47865498050454
BASE/breakthroughSmall/HJ0tIA31.9518974295679362910.72083180591291.09696343455218
BASE/asteroidsSerial/id2QkA32.618954713109039724.149421840115298.1134591027265
BASE/connectFourLarger/qKi60A34.011320764289513349.78011727078998.4901509849015
DRESDEN/small_dominion/yB5GJA34.6264727642141813.780766555139630.39798355001326613
BASE/asteroids/BKCmPQ35.9703439838454116275.381641223918452.46666666666664
DRESDEN/minichess/c7GMFw36.476475101234564103.466666666666112.49625012499584
BASE/minichess/8NQEiA37.170324564459934266.3114.77704459108179
DRESDEN/bidding-tictactoe/yW5vTA38.415688373483365282.55724809173137.51041493084486
DRESDEN/bomberman2p/x4h6jQ38.5272305909617641108.328.766666666666666
BASE/bomberman2p/4CClwA38.953755370989571110.148308615230728.49913437208683
BASE/asteroidsParallel/WauZiA39.076172462833810409.892344098924266.4
BASE/escortLatch/mX9BjQ39.765116382828863362.46709539835484.55821084558211
BASE/biddingTicTacToe/8mESVw41.67702205285145267.624412519583126.39157389507366
BASE/sheepAndWolf/g4THrg42.44596188283341834.960839860023419.671148981493808
BASE/englishDraughts/jFkQxg45.176550566850644007.46368119418988.70672131693826
BASE/qyshinsu/R08Lzw47.772555881631692880.493086789938460.29598026798214
BASE/roshambo2/KNPokQ48.8929733120906415343.733333333334313.8228725709143
DRESDEN/roshambo2/jgSlkQ49.1950015154764515292.066666666668310.84594360375974
BASE/dotsAndBoxes/EHwA_w54.010008372022221586.30793819925429.37062937062937
BASE/dotsAndBoxesSuicide/jzQbLw54.1230068337129851583.155650319829429.251066098081022
DRESDEN/breakthroughsuicide/Y9QzqQ55.760321027299082027.20884537249836.35575993868506
DRESDEN/breakthrough/z4hK7Q57.3017370688704662034.211665944901635.5
DRESDEN/breakthroughsuicide_v2/LU1nAw57.636177833991932034.85040314519935.3050892619238
DRESDEN/knightthrough/J7Fc_Q58.028945466474621959.418937829013233.76623376623377
BASE/breakthroughHoles/nZk0Sg60.3695154415174361864.796428333444330.889703432189272
DRESDEN/Zhadu/9zpQ5w63.8482085984190351636.206092114910525.626499600106637
DRESDEN/Runners/3bOCQw63.9929378786350515077.864071197626235.6176254916339
BASE/breakthroughSuicide/wZDpIg64.01269291228152032.11513475697131.74550299800133
BASE/breakthrough/TGxk-g64.594670600632242042.831.624900026659557
BASE/breakthroughWalls/vOZaYA65.111309818569912033.033333333333331.223966143490287
BASE/mummyMaze2p_2007/YGA3Vw71.665028877117792080.050656535359429.02462594554967
DRESDEN/mummymaze2p-comp2007/oTQRQg71.925276828855162056.24042113680328.58856457417033
BASE/chineseCheckers4/avfBcQ72.521622446662584227.44692904988858.29222770297294
STANFORD/platformjumpers/HEQskA72.95776170528879389.7342192691035.3419157901722025
DRESDEN/ghostmaze2p/HY0UwA77.124697099210312489.46807092387732.278481012658226
BASE/choicethroughalt/tt71Lg78.143515687158261915.269491016966224.509640680675346
DRESDEN/amazons/dNB28A79.71535432001521438.302957872721835.498350494851545
BASE/ghostMaze2p/W-NU-w81.237238365523352488.53791816606730.632970399227517
BASE/2pffa_zerosum/o0_uZA85.698041203659055426.09565072487963.31644894694748
BASE/ttcc4_2player_small/Cv72TA92.265948383176086109.85934271048666.22008931547023
DRESDEN/capture_the_king/EQ229Q93.71424290368411359.442703819745214.506254990684056
BASE/knightazons/apnJBQ95.923652808064291213.859538015399512.654434047087815
DRESDEN/knightazons/02I8BQ97.304573976046571217.116427644494712.508316699933467
BASE/connect5/d-BVQg121.98043416159341776.32411198774926.364333077871447
DRESDEN/connect5/1kYzSg129.34017962138222771.32788084314125.963559685018615
DRESDEN/tttcc4/sAvtFg132.717626132078783994.53424429261830.097993467102192
BASE/ttcc4/Le0qjQ135.343857271649774001.39995333488929.564695686954202
BASE/tttcc4/8Bs2lg136.81914659919744007.4651736319429.290236587804067
BASE/othello-comp2007/86ZoMw140.57408187838652308.54304635761592.1948786165613567
DRESDEN/bidding-tictactoe_10coins/mu5VhQ151.20754712779064523.58254724842529.916380717593363
BASE/chess_200/XsTpYA159.8299521499242522.8551453207713.2713214155899943
BASE/biddingTicTacToe_10coins/a-9ccQ163.909342270531434520.73333333333427.58069351453982
BASE/knightThrough/gcwFjA168.967393952349451948.692320506413411.532948901703277
BASE/nim4/twk16w179.630007439468335623.34588847038431.305158690511874
DRESDEN/nim4/F5YAYg179.990840176366855667.63333333333331.488454233447737
BASE/nim3/1OwUqw183.161790493284835721.51856542897231.23751165578793
DRESDEN/quad_5x5_8_2/JRTLJg184.674238140272251092.52906105319275.915979792608349
DRESDEN/nim3/sG_axA185.064722104655545709.47635078830730.851241046143596
STANFORD/ttcc4/Cx9SGw187.143634849242034176.4784274529422.316967557124777
BASE/2pttc/unkkYA194.863374919614166054.631.071000399627014
DRESDEN/nim2/z5_exA210.346978021978036375.030.30706720841937
BASE/nim2/eF2Qqw211.856209037037056352.93333333333329.98700563089328
BASE/ttcc4_2player/_aH_Mw214.211279032353164451.58817451588120.781296832850433
BASE/nim1/hin2Qw221.005564230343286648.530.082952993303795
DRESDEN/nim1/M9BALA224.09618560737246606.21312622912629.479364444888578
BASE/amazons_8x8/7SOsIw231.897611525017962189.8228320234459.44305901911887
BASE/reversiSuicide/9OxJlg236.9344040476024456.490680134232661.9266542652139251
DRESDEN/kitten_escapes_from_fire/uW-YiA239.7352203230543418135.73333333333475.64901522977972
BASE/ttcc4_2player_alt/ZEJvYA241.01994998278654686.38757416172219.44398202097553
BASE/kitten_escapes_from_fire/uW-YiA243.467321806853618230.23333333333474.8775367389783
BASE/reversi/d8UMeA254.8985608985609458.66063107442421.7993849375122686
BASE/3pttc/0sol9g255.226708074534145478.68404386520421.465951134962168
BASE/god/qF06gw257.9607907747027930.86559605517433.608554591802953
DRESDEN/god/2EDD5w275.031976128673933.24223436875083.3932135728542914
BASE/battlebrushes/arCwyA280.48733992673993849.93333333333333.0302021244713795
BASE/speedChess/bPnisA350.535554357922761772.56077256077265.0567217804983535
BASE/amazonsSuicide_10x10/XIbQkg371.228928504055831479.3435200905493.9849898714840766
BASE/knightfight/SJRkAg390.35346192156744751.85814751858112.173218918379565
DRESDEN/knightfight/4_Ly4w390.37815096418744717.612.084692722551434
DRESDEN/knightmove/97Ipcw390.8905903454129986.44192011725912.5235755080355955
BASE/amazons_10x10/Bun8dA394.80209843677951477.8758115531883.7433332229105245
BASE/knightmove/jBaJEw396.354616922052984.97668221185882.485089463220676
DRESDEN/quad_5x5/JAEP5g477.0891560445253958.16806106463122.008362690547526
DRESDEN/hanoi/RQ0jiA477.5797951788491710228.96666666666721.418340494986843
BASE/hanoi/iGLsJg478.4891319777849510215.88560762615821.35029810478633
BASE/quad_5x5/JAEP5g483.2854876341577963.13579094727021.992892018467466
BASE/pawnToQueen/-O1_JA506.4824737475785649.31515979604761.282009138424115
DRESDEN/pawntoqueen/f_x6Aw517.2624678198896650.10662401705991.2568215644121052
BASE/wargame02/BkVqqQ539.83530764308191183.29891412963822.191962803055463
BASE/crossers3/O0rORg588.00851388714121909.1818030328283.246860815690952
DRESDEN/crossers3/xiPTxg588.27972420886231911.77254849676683.2497678737233056
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg692.38087911274064129.6450591568075.964412339706418
DRESDEN/quartosuicide/WIU1oQ751.46101865848793048.4220348585334.056660238079404
DRESDEN/quarto/OQzRYQ760.56697652663383046.3969068728754.0054288457082325
BASE/quartoSuicide/-23jUg772.15431222222223074.06666666666663.9811558622520073
BASE/quarto/EwBMVQ799.90662590717643068.22196300616543.8357251504530123
BASE/amazonsTorus_10x10/Uxc08g829.85873396856611271.89890256069181.532669176690101
DRESDEN/guess/PhxGhg953.49049240873132437.13752416505582.5560165975103732
BASE/wargame03/klXI8w954.34873383002491930.34262098386882.022680549108031
BASE/guess/SPpk1A969.0049297701812444.78885444788882.5229890781130697
BASE/wargame01/_GZFZg1031.58406335262542283.01949675054172.213120169122019
DRESDEN/fizzbuzz/t1xHzQ1448.15212319178739372.3751749883346.471954862263525
BASE/checkers/rOC3Xg1717.76354141365071299.88028731045480.7567283016384813
DRESDEN/pancakes88/aD3E7g1818.484066232355918565.83333333333210.209511140671767
DRESDEN/pancakes/hl9aiQ1889.152792870462719531.4822839238710.33875203616901
DRESDEN/pancakes6/SZXMyQ1931.72009150326819695.66666666666810.195921631347462
BASE/pancakes/yUgbXw2117.914214336917719640.39.273416206873629
BASE/pancakes6/QZTdnw2158.004862625791219779.074030865649.165444607385682
BASE/checkersSmall/SYmq8w2399.25412377716341849.19550951064320.77073766016892
DRESDEN/chinesecheckers4/-oVNYg2862.5891392700612133.3533213405290.7452530620180157
BASE/racer4/0vs7Ww3220.3402879616046893.38088254899340.27741816164231553
BASE/skirmishZeroSum/zh4hcw3463.69883193780471596.7001530170980.4609812314784327
BASE/checkersTiny/Lr48cg3664.7266480006222884.57051431618950.7871175100849431
DRESDEN/hanoi_6_disks/MeubgQ4546.96229091.51.999466808850973
DRESDEN/battlebrushes/QHXV4A4704.551974670888833.32777870354940.1771322292091046
BASE/hanoi_6_disks/MeubgQ4843.2734690058489118.9333333333321.8828037259694788
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g5131.7424949447822011.19925338310780.3919135177504164
DRESDEN/satlike_20v_91c_version2/yd9ioQ5300.3112814530912032.3279453424430.3834355828220859
DRESDEN/satlike_20v_91c/yeuENQ5824.681142469292044.53036464235720.3510115514710575
DRESDEN/racer/vk_ZBA5830.508841453262468.31396316893670.08032128514056225
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA5876.5254491516941856.60477984067190.3159358018450651
BASE/racer/QQYQNw5944.411574706136472.37854217308780.07946598855689765
DRESDEN/hitori/S8Gsyg6338.6787124056671870.85916150103320.2951497064900141
BASE/hitori/S8Gsyg6462.6640743333081870.94623870946250.28950077200205865
BASE/blobwars/0XT15Q9230.5629269267921288.86075105794540.13962970203021588
DRESDEN/blobwars/ZaMluQ9345.0871897384641302.0156588372480.13932621840777998
BASE/pancakes88/l2Xaig16467.23791470588218652.31.1326914748309291
DRESDEN/checkers/jIDMIg23041.71741806688657.82731658625860.028549404744911067
DRESDEN/hanoi7/51zz5Q31206.8501032851388796.9947357899650.28189306856265856
DRESDEN/hanoi7_bugfix/3gdnFw31425.6791201466488863.1228128645230.2820344081978001
BASE/hanoi7_bugfix/3gdnFw31979.9599971860268789.9963344330030.2748595162472514
DRESDEN/merrills/aYEzwA57609.805097451281130.93453273363320.01963093835885355
BASE/merrills/pku8Tg63917.043802423121132.73864998002930.017722012511740833
BASE/twisty-passages/DiZmmg70720.650209734353723.217258139690.052646818815973044
DRESDEN/twisty-passages/j7NPyg71408.003396151023683.95818072850760.051590270075063845
BASE/crisscross/ICagEg75491.03962937044200.0133320001330.05563591854901524
DRESDEN/crisscross/GsY16g76147.773972602744223.7442922374430.05546773164711429
BASE/amazonsSuicide/dE1QEQInfinity117.239320774741320.0
BASE/amazons/RKKZjwInfinity116.643191719348820.0
DRESDEN/farmers/S_ASnwInfinity5082.1639278690710.0

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messageREKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
STANFORD/freeforall/Lfp40QTest process failed to output results for unknown reason
DRESDEN/max_knights/hCipiATest process failed to output results for unknown reason
STANFORD/knightstourbig/TQUI2gTest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
DRESDEN/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reason
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest process failed to output results for unknown reason
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process timed out after 240 seconds
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
BASE/gt_coordination/IVMOzATest 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
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/skirmishfinal/hzq8wwTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6/yTbPDATest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
BASE/knightwar/DVGY4QTest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest 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/queens/HyJJnQTest process failed to output results for unknown reasonIllegalArgumentException: too many occurrences: 2147483765
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reasonIllegalArgumentException: too many occurrences: 2147483765

index