Game-by-game performance:
Game | Perf ratio | CADIAPLAYER_PROLOG:3.0 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
DRESDEN/golden_rectangle/1uloXw | 0.04922153376642005 | 5.535412803409814 | 112.45916938870742 |
BASE/racer/QQYQNw | 0.3092359583911806 | 472.3785421730878 | 1527.5666666666666 |
DRESDEN/racer/vk_ZBA | 0.3123342424762816 | 468.3139631689367 | 1499.4 |
DRESDEN/mummymaze2p/k-8edg | 0.6474627096397254 | 363.93878908848967 | 562.1 |
BASE/mummymaze2p/vpjDdA | 0.6579832617268933 | 363.72102304852496 | 552.7815739475351 |
DRESDEN/fizzbuzz/t1xHzQ | 0.789948910055881 | 9372.375174988334 | 11864.533333333333 |
BASE/firefighter/WJmoPw | 0.9400436137257806 | 3704.398533822059 | 3940.6666666666665 |
DRESDEN/firefighter/WJmoPw | 0.951365596550072 | 3706.266666666667 | 3895.733333333333 |
BASE/tron_10x10/7ZTgDg | 0.9692624228443169 | 1554.6 | 1603.9 |
DRESDEN/nim1/M9BALA | 1.0717470556669342 | 6606.213126229126 | 6163.966666666666 |
BASE/nim2/eF2Qqw | 1.106127613144363 | 6352.933333333333 | 5743.4 |
DRESDEN/hallway/0H4l-Q | 1.1253181148785698 | 205.04313205043132 | 182.20903879482736 |
BASE/hallway/ckCJOw | 1.1326613755448376 | 205.0839583195062 | 181.06378724255148 |
DRESDEN/nim2/z5_exA | 1.1343416370106763 | 6375.0 | 5620.0 |
BASE/queens16ug/gT-ylw | 1.151038580062052 | 96.8374846197333 | 84.13052898236725 |
BASE/onestep/xi53wA | 1.1548416342296088 | 24456.966666666667 | 21177.766666666666 |
BASE/nim1/hin2Qw | 1.171610667293233 | 6648.5 | 5674.666666666667 |
DRESDEN/ghostmaze2p/HY0UwA | 1.1789859206219226 | 2489.468070923877 | 2111.5333333333333 |
BASE/ghostMaze2p/W-NU-w | 1.1821845662773671 | 2488.537918166067 | 2105.0333333333333 |
DRESDEN/knightmove/97Ipcw | 1.1875780570455385 | 986.4419201172591 | 830.6333333333333 |
BASE/knightmove/jBaJEw | 1.1919366087029875 | 984.9766822118588 | 826.3666666666667 |
BASE/wallmaze/uxNQ9g | 1.192824749375597 | 381.14726825048245 | 319.53333333333336 |
DRESDEN/bomberman2p/x4h6jQ | 1.1974717280126774 | 1108.3 | 925.5333333333333 |
BASE/golden_rectangle/_nYzfw | 1.21578660787705 | 137.01915070774353 | 112.7 |
BASE/bomberman2p/4CClwA | 1.2353282365896485 | 1110.1483086152307 | 898.6666666666666 |
BASE/queens12ug/u6Bkmg | 1.23829632614163 | 268.9310689310689 | 217.17828217178283 |
BASE/majorities/ibJzSQ | 1.2383599807807013 | 165.08714957916362 | 133.31111481419762 |
BASE/queens08ug/kJ_ZFQ | 1.2866491034248322 | 1009.3333333333334 | 784.4666666666667 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 1.2919460556856392 | 673.8566007589375 | 521.5826139128695 |
BASE/nim4/twk16w | 1.3164084575668855 | 5623.345888470384 | 4271.733333333334 |
STANFORD/buttonsandlights/eyhJpA | 1.3236801722360916 | 28896.6 | 21830.5 |
DRESDEN/nim3/sG_axA | 1.3303220911478417 | 5709.476350788307 | 4291.8 |
BASE/nim3/1OwUqw | 1.331969308916775 | 5721.518565428972 | 4295.533333333334 |
DRESDEN/Runners/3bOCQw | 1.338759140562775 | 15077.864071197626 | 11262.566666666668 |
DRESDEN/nim4/F5YAYg | 1.3404470022468367 | 5667.633333333333 | 4228.166666666667 |
BASE/racer4/0vs7Ww | 1.343272683674252 | 893.3808825489934 | 665.0778307389754 |
DRESDEN/blocks2player/3ev8nQ | 1.4588443265937463 | 7922.4 | 5430.6 |
BASE/blocks2player/wnTLOQ | 1.468081673183144 | 7885.066666666667 | 5371.0 |
BASE/queens06ug/7Lq3tw | 1.4705422452547487 | 2271.448570095327 | 1544.6333333333334 |
DRESDEN/lightson2x2/gBHuig | 1.476846524520627 | 4822.839238692043 | 3265.633333333333 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.4811019869121513 | 3817.49100119984 | 2577.4666666666667 |
BASE/coloredtrails/EZvr7g | 1.5366145137731486 | 3075.994933671089 | 2001.8 |
BASE/sheepAndWolf/g4THrg | 1.5853686832785254 | 834.9608398600234 | 526.6666666666666 |
BASE/untwistycomplex2/EDPPAQ | 1.5924031542313979 | 21398.766666666666 | 13438.033333333333 |
STANFORD/platformjumpers/HEQskA | 1.6316517321088975 | 389.734219269103 | 238.858704709843 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.6393731978780086 | 843.6760934012858 | 514.6333333333333 |
BASE/mummymaze1p/PT_EXA | 1.6399483728082052 | 1066.075772216854 | 650.0666666666667 |
DRESDEN/mummymaze1p/AekgaQ | 1.6560012326023317 | 1074.8 | 649.0333333333333 |
STANFORD/untwistycorridor/EDPPAQ | 1.6753707450759416 | 21803.833333333332 | 13014.333333333334 |
BASE/catcha_mouse/cHv4dw | 1.6847393191795912 | 1043.492751208132 | 619.3793540215327 |
DRESDEN/catcha_mouse/cHv4dw | 1.7200292655785248 | 1041.8790604697651 | 605.7333333333333 |
DRESDEN/pancakes6/SZXMyQ | 1.7220656510752892 | 19695.666666666668 | 11437.233333333334 |
DRESDEN/buttons/ADUaHw | 1.7349139416419694 | 18459.6 | 10640.066666666668 |
DRESDEN/pancakes/hl9aiQ | 1.736883121343503 | 19531.48228392387 | 11245.133333333333 |
BASE/buttons/hTcUjw | 1.7460689629505575 | 18766.4 | 10747.8 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 1.7464246824671334 | 2056.240421136803 | 1177.4 |
BASE/mummyMaze2p_2007/YGA3Vw | 1.7517199476759615 | 2080.0506565353594 | 1187.4333333333334 |
BASE/pancakes6/QZTdnw | 1.7726943913612778 | 19779.07403086564 | 11157.633333333333 |
BASE/switches/tPUoCg | 1.792993145468393 | 14909.933333333332 | 8315.666666666666 |
BASE/haystack/UkweGA | 1.8021757134783338 | 33800.76666666667 | 18755.533333333333 |
BASE/troublemaker01/s3tlEQ | 1.8043050443046365 | 23593.333333333332 | 13076.133333333333 |
DRESDEN/roshambo2/jgSlkQ | 1.8165482723939401 | 15292.066666666668 | 8418.2 |
BASE/pancakes/yUgbXw | 1.8289271513311665 | 19640.3 | 10738.7 |
DRESDEN/grid_game/U7_Yeg | 1.8485896090233358 | 1339.919368273748 | 724.8333333333334 |
BASE/roshambo2/KNPokQ | 1.8616441735655846 | 15343.733333333334 | 8242.033333333333 |
BASE/chinook/XQh0IQ | 1.904718315799497 | 720.1105045932632 | 378.06666666666666 |
BASE/lightsOn/MsXu3A | 1.9303600689597502 | 9983.500549981667 | 5171.833333333333 |
DRESDEN/troublemaker01/C-lPWw | 1.933955062711722 | 23730.466666666667 | 12270.433333333332 |
BASE/maze/cCX3qQ | 1.9378098549419827 | 21810.566666666666 | 11255.266666666666 |
BASE/hanoi7_bugfix/3gdnFw | 1.942726670200388 | 8789.996334433003 | 4524.566666666667 |
DRESDEN/troublemaker02/iZLVuA | 1.954890616020666 | 23358.466666666667 | 11948.733333333334 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.965985821392975 | 8863.122812864523 | 4508.233333333334 |
DRESDEN/latenttictactoe/kITHKg | 1.9726783528487954 | 2847.1666666666665 | 1443.3 |
BASE/tictactoex9/BI26ow | 2.0011196639268456 | 514.8880895283773 | 257.3 |
BASE/hexPie/48CH6Q | 2.0254585146763304 | 342.21215955250716 | 168.95540297313514 |
DRESDEN/hanoi7/51zz5Q | 2.0346772090242466 | 8796.994735789965 | 4323.533333333334 |
DRESDEN/tictactoex9/rFkD4w | 2.0368755914826497 | 516.5 | 253.57464253574642 |
BASE/hex/T1MK8g | 2.038580097302441 | 349.53688278803224 | 171.46095130162328 |
DRESDEN/cube_2x2x2/fp-34Q | 2.043540443098989 | 2641.957202853143 | 1292.8333333333333 |
BASE/hanoi/iGLsJg | 2.0737160465034052 | 10215.885607626158 | 4926.366666666667 |
BASE/blockerSerial/3eqDuw | 2.075986053629771 | 2086.227584827678 | 1004.9333333333333 |
DRESDEN/hanoi/RQ0jiA | 2.0766523878162837 | 10228.966666666667 | 4925.7 |
STANFORD/multiplebuttonsandlights/cK70Yg | 2.081467922820721 | 17019.4 | 8176.633333333333 |
STANFORD/hex/MTqWcw | 2.0816311275290955 | 356.29398486256804 | 171.16096130128994 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.0827391544456035 | 16971.2 | 8148.5 |
DRESDEN/pancakes88/aD3E7g | 2.1129712668533145 | 18565.833333333332 | 8786.6 |
DRESDEN/racetrackcorridor/O0DoTA | 2.130241130690634 | 1535.5488150394988 | 720.8333333333334 |
STANFORD/multipletictactoe/_bkafQ | 2.1467059864261433 | 616.0125274871726 | 286.95710142995233 |
BASE/blocksWorld/SEdXLQ | 2.1500776842355203 | 13884.7 | 6457.766666666666 |
BASE/blocker/dIWtxg | 2.158832875972095 | 4878.170727642412 | 2259.633333333333 |
BASE/survival/YVIjJA | 2.168020656615772 | 33865.566666666666 | 15620.5 |
DRESDEN/blocks/vg0DRw | 2.175777057542107 | 13650.1 | 6273.666666666667 |
DRESDEN/blocker/S815zQ | 2.1785762306715473 | 4860.766666666666 | 2231.1666666666665 |
BASE/blocks/xIV5hQ | 2.1903488481626074 | 13951.5 | 6369.533333333334 |
STANFORD/3puzzle/41ibjA | 2.1952391589798355 | 13430.4 | 6117.966666666666 |
BASE/troublemaker02/DI83KA | 2.197918682064571 | 23098.733333333334 | 10509.366666666667 |
BASE/pancakes88/l2Xaig | 2.1979394158404952 | 18652.3 | 8486.266666666666 |
DRESDEN/guess/PhxGhg | 2.214251105323724 | 2437.1375241650558 | 1100.659956002933 |
BASE/factoringEasyTurtleBrain/lUj94Q | 2.220421450066416 | 4962.345884705098 | 2234.866666666667 |
DRESDEN/toetictac/mJtxCA | 2.245707083108252 | 9145.866666666667 | 4072.6 |
BASE/toetictac/mTThmg | 2.259477757875536 | 9166.4 | 4056.866666666667 |
BASE/guess/SPpk1A | 2.2703502749864315 | 2444.7888544478888 | 1076.8333333333333 |
STANFORD/threepuzzle/41ibjA | 2.323707787732598 | 13486.8 | 5804.0 |
BASE/racetrackcorridor/_RkdUg | 2.3490169525888356 | 1781.1812545830278 | 758.2666666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 2.4074940418395268 | 9091.5 | 3776.3333333333335 |
BASE/tictactoe_orthogonal/WRzlVw | 2.4124336964581077 | 7049.533333333334 | 2922.1666666666665 |
DRESDEN/circlesolitaire/ruUilQ | 2.4149719696216474 | 10525.333333333334 | 4358.366666666667 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 2.419482007792803 | 7037.466666666666 | 2908.6666666666665 |
STANFORD/bestbuttonsandlights/nm0wEA | 2.420815315096448 | 16607.6 | 6860.333333333333 |
BASE/circlesolitaire/azuQFQ | 2.431925640611666 | 10544.1 | 4335.7 |
BASE/knightfight/SJRkAg | 2.4343119896442587 | 4751.858147518581 | 1952.0333333333333 |
BASE/eightPuzzle/vLrgFg | 2.4364037254007616 | 8233.176682331767 | 3379.233333333333 |
DRESDEN/knightfight/4_Ly4w | 2.4411480612667313 | 4717.6 | 1932.5333333333333 |
STANFORD/8puzzle/jNiGtw | 2.4732324859807746 | 8234.627562072988 | 3329.5 |
BASE/lightsOnParallel/SC6enA | 2.4951573408440644 | 4587.180427319089 | 1838.4333333333334 |
DRESDEN/chinesecheckers1/Y-ftaA | 2.5075415085334978 | 2515.231302493001 | 1003.0666666666667 |
DRESDEN/8puzzle/8fKC2w | 2.518964916522106 | 8261.449236717552 | 3279.7 |
BASE/hanoi_6_disks/MeubgQ | 2.5295238095238095 | 9118.933333333332 | 3605.0 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.6061694472119457 | 13689.6 | 5252.766666666666 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 2.609106885152803 | 4523.582547248425 | 1733.7666666666667 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 2.6148536613581155 | 4520.733333333334 | 1728.8666666666666 |
BASE/chomp/-LcqYQ | 2.65442946856306 | 3564.633333333333 | 1342.9 |
DRESDEN/chomp/-LcqYQ | 2.658228787766313 | 3580.9 | 1347.1 |
DRESDEN/crossers3/xiPTxg | 2.6609063957921038 | 1911.7725484967668 | 718.4666666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 2.674383830050531 | 8644.5 | 3232.3333333333335 |
DRESDEN/oisters_farm/pTQMLg | 2.676358453825059 | 15793.280447970135 | 5901.033333333334 |
DRESDEN/bidding-tictactoe/yW5vTA | 2.6873213973199466 | 5282.55724809173 | 1965.7333333333333 |
BASE/chickentoetictac/l57rfQ | 2.6958030957674404 | 8568.7 | 3178.5333333333333 |
BASE/biddingTicTacToe/8mESVw | 2.701114988045252 | 5267.624412519583 | 1950.1666666666667 |
BASE/pearls/6k_mEQ | 2.7172544490353645 | 33408.1 | 12294.8 |
BASE/endgame/jYjfOA | 2.7175620936130143 | 729.5748367319738 | 268.46666666666664 |
BASE/crossers3/O0rORg | 2.7542896893957605 | 1909.181803032828 | 693.1666666666666 |
DRESDEN/tictactoe/BTTzPw | 2.821226491350972 | 6980.466666666666 | 2474.266666666667 |
BASE/ticTacToe/JRFsaQ | 2.8286543001686337 | 6989.133333333333 | 2470.8333333333335 |
BASE/factoringGeorgeForman/HGRorQ | 2.838789172443405 | 9501.616612779573 | 3347.0666666666666 |
BASE/asteroids/BKCmPQ | 2.842414579581187 | 16275.381641223918 | 5725.9 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 2.8727947454844007 | 1846.6666666666667 | 642.811906269791 |
DRESDEN/tictactoe-init1/3ltIBQ | 2.880098462553976 | 6981.166666666667 | 2423.9333333333334 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.887829104601841 | 3814.918508149185 | 1321.0333333333333 |
STANFORD/tictactoe7/-bE9-A | 2.8903114715398606 | 6938.0 | 2400.4333333333334 |
BASE/blocksWorldSerial/Wyg96Q | 2.890661070304302 | 8264.4 | 2859.0 |
DRESDEN/catch_me/ghGWrA | 2.898976931757852 | 13123.475304939013 | 4526.933333333333 |
DRESDEN/eotcatcit/mQUxzA | 2.899237886329762 | 6872.933333333333 | 2370.6 |
BASE/double_tictactoe_dengji/zgaSbA | 2.9151703049134943 | 3818.6787547496833 | 1309.9333333333334 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2.916649616854111 | 1986.3356107315446 | 681.0333333333333 |
STANFORD/trifecta/ss1kyQ | 2.9183251737098317 | 7014.0 | 2403.4333333333334 |
BASE/eotcatcit/AfZSzA | 2.92600422832981 | 6873.866666666667 | 2349.233333333333 |
BASE/sum15/QZ07Kg | 2.935911122581856 | 8342.0 | 2841.366666666667 |
STANFORD/tictactoe5/WFRReg | 2.937672015920735 | 6937.9 | 2361.7 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.94376497100941 | 13149.7 | 4466.966666666666 |
DRESDEN/Thief_Police/CX18rA | 2.950662475300273 | 12933.835538815372 | 4383.366666666667 |
DRESDEN/sum15/CsgWKg | 2.9529390787518572 | 8280.533333333333 | 2804.1666666666665 |
BASE/hodgepodge/9yjRkw | 2.95325280320676 | 10904.0 | 3692.2 |
BASE/zhadu/DlA8iQ | 2.956054652523463 | 33.570274636510504 | 11.356445865387817 |
STANFORD/jointbuttonsandlights/qAKuIQ | 2.9565146446928288 | 12079.333333333334 | 4085.6666666666665 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.9601479757941584 | 13155.489634024398 | 4444.2 |
STANFORD/tictactoe/ss1kyQ | 2.984465936929155 | 7025.333333333333 | 2353.9666666666667 |
BASE/tictactoe-init1/7M19vA | 2.985902041281788 | 6982.233333333334 | 2338.4 |
BASE/dotsAndBoxes/EHwA_w | 2.990588710235507 | 1586.307938199254 | 530.4333333333333 |
BASE/cittaceot/fDxhXg | 3.0083270861401035 | 1556.0554555755516 | 517.249425019166 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 3.011627216644107 | 2037.2654244858504 | 676.4666666666667 |
DRESDEN/connect5/1kYzSg | 3.0612298485638623 | 771.3278808431412 | 251.96666666666667 |
BASE/dotsAndBoxesSuicide/jzQbLw | 3.0659524568843124 | 1583.1556503198294 | 516.3666666666667 |
BASE/chickentictactoe/DSlZCA | 3.1204826990173173 | 6499.133333333333 | 2082.733333333333 |
STANFORD/tictactoe3/X7myng | 3.158623315312571 | 6913.7 | 2188.8333333333335 |
BASE/connect5/d-BVQg | 3.1825257392228035 | 776.3241119877492 | 243.93333333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 3.196295452325922 | 6545.8 | 2047.9333333333334 |
DRESDEN/endgame/IJhh3Q | 3.21139630647765 | 740.7703585232574 | 230.66924410078656 |
BASE/incredible/8Qh-6Q | 3.219747424827503 | 7374.18752708243 | 2290.3 |
BASE/twisty-passages/DiZmmg | 3.2279431767242923 | 3723.21725813969 | 1153.4333333333334 |
DRESDEN/sat_test_20v_91c/dK7nVw | 3.2465340827002818 | 2182.8967539825367 | 672.3775874137528 |
DRESDEN/quartosuicide/WIU1oQ | 3.250494439159623 | 3048.422034858533 | 937.8333333333334 |
DRESDEN/quarto/OQzRYQ | 3.2746392635417343 | 3046.396906872875 | 930.3 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.2833482443855777 | 2184.5210319312046 | 665.3333333333334 |
BASE/simultaneousWin2/PfjRjw | 3.2855730319135246 | 951.830507345348 | 289.7 |
BASE/quartoSuicide/-23jUg | 3.2867172743148365 | 3074.0666666666666 | 935.3 |
BASE/lightsOnSimul4/9FeASw | 3.291594700030398 | 1059.090151641393 | 321.7559414686177 |
BASE/quarto/EwBMVQ | 3.3183120837155258 | 3068.2219630061654 | 924.6333333333333 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.3276316887202104 | 2162.6666666666665 | 649.9116696110129 |
BASE/ticTacToeSerial/Amrwqw | 3.381992906871154 | 3340.732593407326 | 987.8 |
DRESDEN/bunk_t/7-tPfA | 3.43200390016632 | 3976.4341188627045 | 1158.6333333333334 |
DRESDEN/twisty-passages/j7NPyg | 3.458682650743419 | 3683.9581807285076 | 1065.1333333333334 |
BASE/bunk_t/xbpfIA | 3.4779550099800685 | 3980.867304423186 | 1144.6 |
DRESDEN/doubletictactoe/lJzgmQ | 3.489019466195738 | 4030.3989867004434 | 1155.1666666666667 |
BASE/doubletictactoe/HH1htg | 3.515769566482397 | 4027.9 | 1145.6666666666667 |
DRESDEN/knightthrough/J7Fc_Q | 3.528271265458749 | 1959.4189378290132 | 555.348155061498 |
BASE/doubletoetictac/fu35bg | 3.5320823064817835 | 3965.233333333333 | 1122.6333333333334 |
STANFORD/untwistycomplex/HTWEwg | 3.5573535738430335 | 19293.9 | 5423.666666666667 |
BASE/ticTacToeParallel/ymRGPw | 3.5659028348764883 | 3324.9666666666667 | 932.4333333333333 |
BASE/lightsOut/5P1ZBw | 3.5907306798175918 | 3224.236768430876 | 897.9333333333333 |
DRESDEN/lightsout2/LFtfyQ | 3.5955207087471455 | 3235.0098323500983 | 899.7333333333333 |
DRESDEN/doubletoetictac/V89gKQ | 3.5989987119937314 | 4001.9666011132963 | 1111.9666666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 3.599980434438373 | 1447.192134644226 | 402.0 |
BASE/knightThrough/gcwFjA | 3.64799190737008 | 1948.6923205064134 | 534.1821939268691 |
STANFORD/tictictoe/rpt_Dw | 3.6490790168892455 | 6676.233333333334 | 1829.5666666666666 |
DRESDEN/lightsout/XgLpzQ | 3.658249099087346 | 3233.8922035932137 | 884.0 |
BASE/asteroidsSerial/id2QkA | 3.70321522615014 | 9724.149421840115 | 2625.866666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 3.7481124849545906 | 3425.4 | 913.9 |
BASE/ticTicToe/c1OobQ | 3.766453298017143 | 6825.566666666667 | 1812.2 |
DRESDEN/tictictoe/LAUtwg | 3.7857670024724164 | 6839.366666666667 | 1806.6 |
BASE/eotcitcit/V_9_bg | 3.8078392817392595 | 6842.433333333333 | 1796.9333333333334 |
BASE/asteroidsParallel/WauZiA | 3.8461614385133407 | 10409.892344098924 | 2706.5666666666666 |
DRESDEN/brain_teaser_extended/ZDp94A | 4.186078327648164 | 7649.5 | 1827.3666666666666 |
DRESDEN/tpeg/h-Scbg | 4.27470867501079 | 1980.7679488034132 | 463.3691087260849 |
DRESDEN/mimikry/GJEhwA | 4.274777695807528 | 1591.642228739003 | 372.3333333333333 |
BASE/brain_teaser_extended/ZDp94A | 4.27848284155949 | 7673.744208526383 | 1793.5666666666666 |
BASE/tictactoe2/bhrDoQ | 4.298530602164996 | 10443.566666666668 | 2429.5666666666666 |
BASE/wargame02/BkVqqQ | 4.3221959241090255 | 1183.2989141296382 | 273.77262273772624 |
DRESDEN/aipsrovers01/qS47Mw | 4.364206225854254 | 8393.386887103763 | 1923.2333333333333 |
BASE/numbertictactoe/rvJ-iQ | 4.367717784719123 | 5872.833333333333 | 1344.6 |
BASE/tpeg/QNs7Lw | 4.431245300692655 | 1981.8006066464452 | 447.23333333333335 |
BASE/aipsrovers01/4C4jsw | 4.442344327624878 | 8445.636957536164 | 1901.1666666666667 |
DRESDEN/peg_bugfixed/u_B7MA | 4.454311886136457 | 1916.77498916775 | 430.3189893670211 |
STANFORD/breakthrough/d5j0cQ | 4.482373968098408 | 2119.793402199267 | 472.91756941435284 |
BASE/peg/fJHVWw | 4.5175968051884805 | 1910.5785895213971 | 422.9192360254658 |
DRESDEN/peg/Vo31eg | 4.532799068102344 | 1919.0360321322623 | 423.3666666666667 |
BASE/wargame01/_GZFZg | 4.6081265493181895 | 2283.0194967505417 | 495.43333333333334 |
DRESDEN/checkers/jIDMIg | 4.617101434893728 | 657.8273165862586 | 142.47625395767372 |
BASE/snakeParallel/RCVNtw | 4.639229410338474 | 9566.7 | 2062.131262291257 |
BASE/pegEuro/5awwhg | 4.6530981887511915 | 1626.9791006966434 | 349.6550114996167 |
BASE/minichess/8NQEiA | 4.76131840333321 | 4266.3 | 896.0333333333333 |
BASE/connect4/50bOyw | 4.8717657034662745 | 1310.2115608862237 | 268.9397726893977 |
DRESDEN/tictactoe_3player/ESLQQQ | 4.881676592523176 | 2869.937668744375 | 587.9 |
DRESDEN/blocksworldparallel/2JfVaw | 4.885208105812401 | 8051.8 | 1648.2 |
DRESDEN/minichess/c7GMFw | 4.886630676405208 | 4103.466666666666 | 839.7333333333333 |
BASE/wargame03/klXI8w | 4.891647011752433 | 1930.3426209838688 | 394.62017932735574 |
DRESDEN/connect4/T0-rHQ | 4.895899721428998 | 1307.2052256215425 | 267.0 |
BASE/breakthroughHoles/nZk0Sg | 4.9077895297836065 | 1864.7964283334443 | 379.96666666666664 |
BASE/tictactoe_3player/GtM71g | 4.913975520514455 | 2866.813318668133 | 583.4 |
DRESDEN/frogs_and_toads/GjchhQ | 4.984640914637006 | 2376.099120703437 | 476.684110529649 |
BASE/chineseCheckers4/avfBcQ | 5.039273964775168 | 4227.446929049888 | 838.9 |
DRESDEN/tictactoelarge/IwXcbg | 5.082372617944873 | 5448.303446436904 | 1072.0 |
DRESDEN/blockerparallel/dVQgSg | 5.096916299559472 | 1349.6983634969836 | 264.8068526480685 |
DRESDEN/crisscross/GsY16g | 5.146096282626946 | 4223.744292237443 | 820.7666666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 5.14923737041561 | 5480.333333333333 | 1064.3 |
BASE/breakthroughSuicideSmall/XSbJog | 5.154667255180494 | 2916.338910739284 | 565.7666666666667 |
BASE/crisscross/ICagEg | 5.169247177846318 | 4200.013332000133 | 812.5 |
BASE/ticTacToeLarge/TZC0dg | 5.173929720580582 | 5432.97113525765 | 1050.0666666666666 |
BASE/breakthroughSmall/HJ0tIA | 5.176934768497105 | 2910.720831805912 | 562.2479250691644 |
DRESDEN/chinesecheckers4/-oVNYg | 5.1965410555550395 | 2133.353321340529 | 410.53333333333336 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 5.244589975955066 | 2027.208845372498 | 386.53333333333336 |
DRESDEN/tictactoelargesuicide/6J4DeA | 5.250072945315731 | 5487.551244875513 | 1045.2333333333333 |
BASE/blockerParallel/7-nDJA | 5.281339712022554 | 1353.4313235343132 | 256.26666666666665 |
BASE/breakthroughWalls/vOZaYA | 5.288566117517847 | 2033.0333333333333 | 384.4205193160228 |
BASE/tictactoe_3d_6player/d7KSwg | 5.30076533388144 | 629.6050006649821 | 118.77624475104979 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 5.304801704913948 | 1653.0979347101932 | 311.6229459018033 |
BASE/withConviction/3Xm54A | 5.401517077799042 | 2398.0135981869084 | 443.9518682710576 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 5.403394135666411 | 2034.850403145199 | 376.58744708509715 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 5.415320438790926 | 4160.9517144856545 | 768.3666666666667 |
DRESDEN/backgammon/mqCW0Q | 5.421191745480094 | 1100.3552103044185 | 202.9729369417411 |
BASE/tictactoe_3d_small_6player/g_9lww | 5.453045811647758 | 1665.1784226835039 | 305.3666666666667 |
BASE/breakthroughSuicide/wZDpIg | 5.464508225596364 | 2032.115134756971 | 371.8752083194454 |
DRESDEN/breakthrough/z4hK7Q | 5.467023576996595 | 2034.2116659449016 | 372.08759708009734 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 5.469384703836964 | 3973.375541486171 | 726.4757841405286 |
BASE/breakthrough/TGxk-g | 5.498971987438313 | 2042.8 | 371.48761707943066 |
BASE/conn4/va9Y7A | 5.516795973153392 | 1627.0327912556652 | 294.923502549915 |
DRESDEN/stratego/Z2wovg | 5.536450759718507 | 2587.749116843298 | 467.4021731884541 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 5.567482152907373 | 626.1330311916822 | 112.46251249583472 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 5.60514840343227 | 3984.5671810939634 | 710.8763041231958 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 5.752071157091463 | 4350.674887518747 | 756.3666666666667 |
BASE/checkers/rOC3Xg | 5.8837822117684 | 1299.8802873104548 | 220.9259691343622 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 6.073096119787474 | 2514.4990333977735 | 414.0390640623958 |
BASE/breakthroughSmallHoles/bxclRw | 6.1481001549739185 | 2936.439689364397 | 477.61741275290825 |
DRESDEN/blobwars/ZaMluQ | 6.1623400846245655 | 1302.015658837248 | 211.28591427238183 |
STANFORD/sukoshi/4LYZZQ | 6.176445684116153 | 8266.966666666667 | 1338.4666666666667 |
BASE/blobwars/0XT15Q | 6.210003069534533 | 1288.8607510579454 | 207.5459120754591 |
BASE/tictactoe_3d_small_2player/oOryKA | 6.233780294828017 | 2494.883503883204 | 400.2199926669111 |
BASE/choicethroughalt/tt71Lg | 6.2487854000632925 | 1915.2694910169662 | 306.5026830650268 |
BASE/checkersSmall/SYmq8w | 6.317716124054128 | 1849.1955095106432 | 292.7 |
STANFORD/triplesukoshi/Iu9mbA | 6.4120300245452135 | 2283.247783481101 | 356.0881303956535 |
BASE/2pffa_zerosum/o0_uZA | 6.4130666005494374 | 5426.095650724879 | 846.1 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 6.572270911118403 | 836.2358895807665 | 127.23697803845769 |
DRESDEN/3pttc/uwYBZw | 6.606078394101649 | 5724.6367151046525 | 866.5711142961901 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.660717837349689 | 4129.645059156807 | 620.0 |
BASE/amazonsSuicide_10x10/XIbQkg | 6.717164462345463 | 1479.343520090549 | 220.23333333333332 |
BASE/amazons_10x10/Bun8dA | 6.771998525522474 | 1477.875811553188 | 218.23333333333332 |
BASE/tictactoe_3d_2player/IUC1rQ | 6.859989781440012 | 841.8932862896515 | 122.72515165655624 |
DRESDEN/javastrike/whONTQ | 6.862211309778783 | 1358.0316182052213 | 197.9 |
BASE/escortLatch/mX9BjQ | 7.0258653941388785 | 3362.467095398354 | 478.58404719842673 |
BASE/checkersTiny/Lr48cg | 7.0812535799034455 | 2884.5705143161895 | 407.3530882303923 |
DRESDEN/cubicup/SBn_lw | 7.14967349473569 | 1007.6976906927922 | 140.94317613731045 |
BASE/checkLines/Vop7oQ | 7.189141800561082 | 7516.966666666666 | 1045.6 |
BASE/dualConnect4/WbCQkg | 7.190010013917885 | 3443.9 | 478.9840338655378 |
BASE/2pttc/unkkYA | 7.226209420751115 | 6054.6 | 837.8666666666667 |
BASE/cubicup/4wNWJA | 7.279910549607391 | 1013.3635485053487 | 139.2 |
BASE/hidato37/pBrqxw | 7.305217391304348 | 560.0106656001067 | 76.65900076659001 |
BASE/3pttc/0sol9g | 7.3178398112283505 | 5478.684043865204 | 748.6750441651945 |
BASE/futoshiki4/BaCwSw | 7.40811508668388 | 3347.233333333333 | 451.8333333333333 |
BASE/amazons_8x8/7SOsIw | 7.412145129647949 | 2189.822832023445 | 295.4371229543712 |
BASE/knightazons/apnJBQ | 7.4136372435793945 | 1213.8595380153995 | 163.73333333333332 |
DRESDEN/knightazons/02I8BQ | 7.489947247043045 | 1217.1164276444947 | 162.5 |
DRESDEN/small_dominion/yB5GJA | 7.542508837768387 | 13.78076655513963 | 1.8270799347471451 |
BASE/futoshiki5/TJ4BZg | 7.667134633874804 | 1683.1666666666667 | 219.53007832027996 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 7.670852503547683 | 3511.7162761241293 | 457.8 |
DRESDEN/connectfoursuicide/M9CNQg | 7.677505887419946 | 5166.361121295957 | 672.9218052129858 |
BASE/connectFour/WAIKTw | 7.755873490500347 | 5197.466666666666 | 670.1329867013299 |
STANFORD/connectfour/VMpZkQ | 7.785227500501103 | 5178.733333333334 | 665.2 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 7.795174508567826 | 18135.733333333334 | 2326.5333333333333 |
DRESDEN/connectfour/5tc-Mg | 7.873644323085221 | 5190.133333333333 | 659.1780273990867 |
BASE/kitten_escapes_from_fire/uW-YiA | 7.937116319570422 | 18230.233333333334 | 2296.8333333333335 |
DRESDEN/pawn_whopping/4ogBkg | 7.942950624133186 | 4751.049930004667 | 598.1467284423852 |
STANFORD/multiplesukoshi/vLSQPg | 7.952429129293655 | 388.46626582068234 | 48.848755456332675 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 7.9906035453815925 | 845.9385620043979 | 105.86666666666666 |
BASE/pawnWhopping/Ypc_6Q | 8.006949301995123 | 4632.933333333333 | 578.6140461984601 |
BASE/ticTacHeavenFC/mrletw | 8.119792220781353 | 2041.9235511713932 | 251.47485251474853 |
BASE/connectFourSuicide/c8p9Kw | 8.207637106489969 | 5223.066666666667 | 636.3666666666667 |
BASE/connectFour_9x6/B9TtMw | 8.231644024214262 | 4977.400753308223 | 604.6666666666666 |
STANFORD/duikoshi/tpw1sw | 8.2819929708497 | 4006.0 | 483.7 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 8.330560623827587 | 4675.38830744617 | 561.2333333333333 |
BASE/hidato19/rRHSmA | 8.339166772503276 | 2653.156456236251 | 318.15606146461784 |
BASE/ttcc4_2player_small/Cv72TA | 8.532528641714672 | 6109.859342710486 | 716.0666666666667 |
BASE/englishDraughts/jFkQxg | 8.801458118558337 | 4007.463681194189 | 455.3181560614646 |
STANFORD/ttcc4/Cx9SGw | 8.921854834948423 | 4176.47842745294 | 468.1177294090197 |
BASE/futoshiki6/JmvXNA | 8.969013261984902 | 1129.8696970706835 | 125.9748050389922 |
BASE/connectFourLarge/aU644A | 9.08214594043389 | 4335.066493350665 | 477.31742275257494 |
BASE/ttcc4_2player_alt/ZEJvYA | 9.165631868104287 | 4686.387574161722 | 511.3 |
DRESDEN/farmers/S_ASnw | 9.19737695819944 | 5082.163927869071 | 552.5666666666667 |
BASE/3pConnectFour/PqXOFQ | 9.201609957959747 | 3476.368242117192 | 377.8 |
DRESDEN/tttcc4/sAvtFg | 9.306206983674656 | 3994.534244292618 | 429.23333333333335 |
BASE/ticTacToeNoVars/XT03NA | 9.319623831914768 | 10438.6 | 1120.0666666666666 |
BASE/cubicup_3player/e2yA_g | 9.394520170009486 | 594.1817215727949 | 63.24769235895898 |
BASE/tttcc4/8Bs2lg | 9.399418550084578 | 4007.46517363194 | 426.35245491816937 |
BASE/ttcc4/Le0qjQ | 9.439804985452543 | 4001.399953334889 | 423.8858704709843 |
DRESDEN/slidingpieces/s9_44g | 9.524210028187234 | 1440.6474820143885 | 151.26162461251292 |
DRESDEN/cubicup_3player/awDtsQ | 9.583731690418388 | 589.6599906846762 | 61.5271806152718 |
BASE/chess_200/XsTpYA | 9.725170533114552 | 522.855145320771 | 53.763082461169255 |
DRESDEN/quad_5x5_8_2/JRTLJg | 9.873237776740645 | 1092.5290610531927 | 110.655601106556 |
STANFORD/pentago/ZxzLmg | 9.888865794079916 | 3634.2455251491615 | 367.5088327444837 |
BASE/amazonsTorus_10x10/Uxc08g | 9.908326948018892 | 1271.8989025606918 | 128.36666666666667 |
BASE/slidingpieces/uFJWEw | 9.97461972741145 | 1455.7193729823277 | 145.94234294284286 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 10.020661729270415 | 722.1556886227545 | 72.06666666666666 |
STANFORD/selectivesukoshi/3xmXYg | 10.114396067618685 | 512.0061194625515 | 50.62152164494951 |
BASE/connectFourSimultaneous/7ITr3g | 10.215249457197139 | 2898.310168983102 | 283.7238758708043 |
BASE/speedChess/bPnisA | 10.350402549312632 | 1772.5607725607726 | 171.25524965002333 |
BASE/ttcc4_2player/_aH_Mw | 10.37816057283592 | 4451.588174515881 | 428.93807079528034 |
BASE/skirmishZeroSum/zh4hcw | 10.456260321132921 | 1596.700153017098 | 152.70279277477837 |
BASE/ticTacHeaven/18n58A | 10.496033495688781 | 2708.676377454085 | 258.06666666666666 |
BASE/connectFourLarger/qKi60A | 12.2046883067918 | 3349.780117270789 | 274.46666666666664 |
BASE/quad_5x5/JAEP5g | 13.426614186067892 | 963.1357909472702 | 71.73333333333333 |
BASE/pentago/86NgKw | 13.446362432843134 | 3432.4081170237578 | 255.26666666666668 |
DRESDEN/quad_5x5/JAEP5g | 13.649692378675097 | 958.1680610646312 | 70.19704433497537 |
BASE/pentagoSuicide/SBgNhw | 13.947144368841306 | 3439.8307061685605 | 246.63333333333333 |
DRESDEN/pentago_2008/hLjVpQ | 14.464059301009538 | 3463.5446157945576 | 239.45868471050966 |
BASE/snake2p/I3wWPQ | 14.92414346268379 | 3563.766666666667 | 238.7920402653245 |
BASE/nineBoardTicTacToePie/B8LzeQ | 15.006824647794279 | 3171.808368869936 | 211.35772845430913 |
STANFORD/nineboardtictactoe/y28P-A | 16.09404883865939 | 3441.1 | 213.81195213811952 |
BASE/blocksWorldParallel/RseaAQ | 16.659454103799668 | 7029.5 | 421.9526015799473 |
BASE/nineBoardTicTacToe/wRmqqA | 16.769141764814307 | 3444.825862356274 | 205.4264857838072 |
BASE/god/qF06gw | 18.49101976545073 | 930.8655960551743 | 50.34149591870732 |
DRESDEN/god/2EDD5w | 18.524734907479708 | 933.2422343687508 | 50.37816945990071 |
BASE/coins/QnGtnQ | 20.79327850607921 | 7676.366666666667 | 369.17538830744616 |
DRESDEN/coins/QwFP9w | 20.83287685202011 | 7642.633333333333 | 366.8544381853938 |
BASE/coins_atomic/AA3SSw | 22.51282051282051 | 7726.4 | 343.2 |
BASE/sudokuGrade5/BQfUQA | 25.82227117709735 | 417.52749083638787 | 16.16927837109492 |
BASE/sudokuGrade6E/ihYFZA | 26.078623043237194 | 381.5535916007708 | 14.63089485085819 |
STANFORD/duidoku/3SoMaA | 26.196361120935766 | 400.7241803142544 | 15.296940611877625 |
BASE/sudokuGrade4/DTy07w | 26.21561506526562 | 415.9824485589868 | 15.867735604271315 |
BASE/sudokuGrade6H/ieE_9A | 26.241123669312497 | 383.509331208076 | 14.614821226446502 |
BASE/sudokuGrade3/eI8dvg | 26.492833884021007 | 413.9091605851578 | 15.623438488956994 |
BASE/sudokuGrade1/tDRNRw | 26.52244508482986 | 430.7999334774655 | 16.242843829050727 |
STANFORD/sudoku/oJ1qyQ | 26.713381404218566 | 408.6788428209572 | 15.29865637887455 |
BASE/sudokuGrade2/u80Tfw | 26.79108034347334 | 419.22385675297875 | 15.647889199627114 |
BASE/reversiSuicide/9OxJlg | 28.595948534671788 | 456.49068013423266 | 15.963473971872292 |
DRESDEN/capture_the_king/EQ229Q | 28.8734854807745 | 1359.4427038197452 | 47.08273633001233 |
BASE/reversi/d8UMeA | 29.53892321240767 | 458.6606310744242 | 15.527330762069424 |
DRESDEN/Zhadu/9zpQ5w | 29.87270429125854 | 1636.2060921149105 | 54.772613693153424 |
BASE/qyshinsu/R08Lzw | 31.217304818157913 | 2880.4930867899384 | 92.27231830450864 |
DRESDEN/pawntoqueen/f_x6Aw | 33.35658192563431 | 650.1066240170599 | 19.48960554371002 |
DRESDEN/quad/JPe6fg | 33.403125 | 50.23026315789474 | 1.5037593984962405 |
BASE/pawnToQueen/-O1_JA | 34.37362228648706 | 649.3151597960476 | 18.88992537313433 |
BASE/quad/tw-Ufg | 34.96632315644162 | 52.32912774085845 | 1.4965579167913798 |
DRESDEN/quad_7x7/q-JOXg | 40.03224220563896 | 359.1338477913784 | 8.971114981433407 |
DRESDEN/battlebrushes/QHXV4A | 41.449833361106485 | 833.3277787035494 | 20.10449044375372 |
BASE/quad_7x7/q-JOXg | 43.78044959264972 | 364.48753831800616 | 8.325349367339522 |
DRESDEN/amazons/dNB28A | 45.21401672936184 | 438.30295787272183 | 9.693961952026468 |
BASE/hitori/S8Gsyg | 46.940065982318366 | 1870.9462387094625 | 39.85819362533961 |
DRESDEN/hitori/S8Gsyg | 49.23753703831247 | 1870.8591615010332 | 37.996603283492625 |
BASE/merrills/pku8Tg | 53.455661785007315 | 1132.7386499800293 | 21.190246498785804 |
DRESDEN/merrills/aYEzwA | 54.12998437087189 | 1130.9345327336332 | 20.892940315390245 |
BASE/othello-comp2007/86ZoMw | 71.56774630667346 | 308.5430463576159 | 4.311202493864827 |
DRESDEN/ggp-course2013_michal13/jWKddg | 77.01927736288492 | 305.2757554602573 | 3.963627885287946 |
BASE/amazonsSuicide/dE1QEQ | 86.14802480440565 | 117.23932077474132 | 1.3609055000497892 |
BASE/battlebrushes/arCwyA | 99.33675714285714 | 849.9333333333333 | 8.55608092894593 |
BASE/blokbox_simple/JBx4bg | 103.57182576459685 | 78.14775585859923 | 0.7545271629778671 |
DRESDEN/laikLee_hex/ZeP3QQ | 108.53952822748029 | 2665.766666666667 | 24.56033032573788 |
BASE/amazons/RKKZjw | 136.60712260977584 | 116.64319171934882 | 0.8538587848932676 |
BASE/laikLee_hex/zbyscQ | 203.8864357552315 | 2653.689754016399 | 13.015528689717204 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 3083.752807865356 | 2032.327945342443 | 0.659043727551323 |
DRESDEN/satlike_20v_91c/yeuENQ | 3798.4307379508036 | 2044.5303646423572 | 0.5382565869149823 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 3913.190387307513 | 2011.1992533831078 | 0.5139538469445444 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 4202.517749408353 | 1856.6047798406719 | 0.4417839234830245 |
Games with errors:
Game | CADIAPLAYER_PROLOG:3.0 error message | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message |
DRESDEN/kalaha_2009/gcC8uA | Test process failed to output results for unknown reason | |
BASE/gt_staghunt/xPjLRA | Test process failed to output results for unknown reason | |
BASE/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
STANFORD/freeforall/Lfp40Q | Test process failed to output results for unknown reason | |
DRESDEN/max_knights/hCipiA | Test process failed to output results for unknown reason | |
STANFORD/knightstourbig/TQUI2g | Test process failed to output results for unknown reason | |
DRESDEN/ticblock/Z2yNWQ | Test process failed to output results for unknown reason | |
BASE/skirmishFinal2/gdB62Q | Test process failed to output results for unknown reason | |
BASE/kalaha6x2x4/XS81Mg | Test process failed to output results for unknown reason | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process failed to output results for unknown reason | |
BASE/knightsTour/mvtVIg | Test process failed to output results for unknown reason | |
STANFORD/skirmish/w4V6Vw | Test process failed to output results for unknown reason | |
BASE/colonelBlotto/jip21A | Test process failed to output results for unknown reason | |
STANFORD/knightstour/cEwgNA | Test process failed to output results for unknown reason | |
BASE/pacman2p/4LEdQg | Test process failed to output results for unknown reason | |
BASE/cylinder-checkers/hlldmw | Test process failed to output results for unknown reason | |
BASE/4pttc/AL1k2Q | Test process failed to output results for unknown reason | |
BASE/checkersTorusNoKings/pwb6oQ | Test process failed to output results for unknown reason | |
BASE/gt_dollar/TGjqRw | Test process failed to output results for unknown reason | |
DRESDEN/4pttc/9pB9AQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers3/-1rZdQ | Test process failed to output results for unknown reason | |
BASE/gt_ultimatum/GE-uOA | Test process failed to output results for unknown reason | |
BASE/slaughter/cOch8A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009/zIYLVw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/ticblock/T21C1g | Test process failed to output results for unknown reason | |
DRESDEN/four_way_battle/xSOQXA | Test process failed to output results for unknown reason | |
BASE/ad_game_2x2/D0aWqg | Test process failed to output results for unknown reason | |
DRESDEN/Goldrush/VeWczQ | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/duplicateStateMedium/U163eQ | Test process failed to output results for unknown reason | |
BASE/gt_tinfoil/Q8DyKg | Test process failed to output results for unknown reason | |
BASE/shmup/ssTNlg | Test process failed to output results for unknown reason | |
DRESDEN/pacman3p/rBnk8Q | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes2011/93VtTw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
DRESDEN/grid_game2/kypTYQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacelarge/8-y5HQ | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers3/QsCb2A | Test process failed to output results for unknown reason | |
BASE/solitaireChineseCheckers/-ET6gw | Test process failed to output results for unknown reason | |
DRESDEN/snake_2009_big/DgC1NQ | Test process failed to output results for unknown reason | |
BASE/pacman3p/wW7UVQ | Test process failed to output results for unknown reason | |
DRESDEN/babel/WdSW4A | Test process failed to output results for unknown reason | |
BASE/stateSpaceMedium/3bUoIw | Test process failed to output results for unknown reason | |
BASE/gt_centipede/9fRMpw | Test process failed to output results for unknown reason | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process failed to output results for unknown reason | |
BASE/rubiksCube/9tNO9Q | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process failed to output results for unknown reason | |
BASE/gt_attrition/kD_SCA | Test process failed to output results for unknown reason | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/knightsTourLarge/M8jgLA | Test process failed to output results for unknown reason | |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | Test process failed to output results for unknown reason | |
DRESDEN/gt_chicken/CeuKtw | Test process failed to output results for unknown reason | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | |
STANFORD/madness/UO_B3A | Test process failed to output results for unknown reason | |
BASE/gt_prisoner/klthDw | Test process failed to output results for unknown reason | |
BASE/snake_2008_tweaked/bX0NJQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process failed to output results for unknown reason | |
DRESDEN/statespacemedium/dVJZ_w | Test process failed to output results for unknown reason | |
BASE/othelloSuicide/B442jg | Test process timed out after 240 seconds | |
DRESDEN/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
BASE/snakeAssemblit/UO4sdg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process failed to output results for unknown reason | |
BASE/kalaha5x2x3/WviNsw | Test process failed to output results for unknown reason | |
STANFORD/eightpuzzle/W_aWbA | Test process failed to output results for unknown reason | |
STANFORD/checkersonabarrelnokings/Zrevdw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-mustjump/HUr33w | Test process failed to output results for unknown reason | |
STANFORD/pilgrimage/ObRZnQ | Test process failed to output results for unknown reason | |
BASE/chineseCheckers1/gqtwHw | Test process failed to output results for unknown reason | |
BASE/mineClearingSmall/frsbvw | Test process failed to output results for unknown reason | |
BASE/chineseCheckers6/rREH3A | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
BASE/beatMania/qUHwvQ | Test process failed to output results for unknown reason | |
BASE/snake_2009_big/-oRfVw | Test process failed to output results for unknown reason | |
DRESDEN/cylinder-checkers/clOO3Q | Test process failed to output results for unknown reason | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
DRESDEN/snake_2008/E56l3A | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process failed to output results for unknown reason | |
DRESDEN/gt_prisoner/huCp4w | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
BASE/duplicateStateLarge/dcjyuw | Test process failed to output results for unknown reason | |
DRESDEN/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
BASE/smallest_4player/ADDROA | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
BASE/checkersTorus/2vm1EQ | Test process failed to output results for unknown reason | |
BASE/4pffa/Q3ADlg | Test process failed to output results for unknown reason | |
BASE/skirmishFinal3/-Olhfw | Test process failed to output results for unknown reason | |
BASE/max_knights/2fq3Ag | Test process failed to output results for unknown reason | |
DRESDEN/othello-cornercontrol/r5Gdlg | Test process failed to output results for unknown reason | |
DRESDEN/towerworld/HCX34w | Test process failed to output results for unknown reason | |
BASE/snake_2008/i6K26g | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant/X-n-KQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceLarge/0Ge_CQ | Test process failed to output results for unknown reason | |
STANFORD/knightstourmedium/x1wu8Q | Test process failed to output results for unknown reason | |
BASE/battle/8oAvhQ | Test process failed to output results for unknown reason | |
DRESDEN/statespacesmall/h-NqjA | Test process failed to output results for unknown reason | |
DRESDEN/2player_normal_form_2010/NG_Kdg | Test process failed to output results for unknown reason | |
BASE/ruleDepthLinear/OUBJpQ | Test process failed to output results for unknown reason | |
DRESDEN/knightstour/cGISAA | Test process failed to output results for unknown reason | |
BASE/kalaha_2009/dRiN3g | Test process failed to output results for unknown reason | |
BASE/chineseCheckers2/eCMR3Q | Test process failed to output results for unknown reason | |
BASE/checkers-newgoals/0XkFiA | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
BASE/2pffa/6oHijA | Test process failed to output results for unknown reason | |
BASE/strangeSkirmish/gc1zKA | Test process failed to output results for unknown reason | |
DRESDEN/queens/mW2wHQ | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | Test process failed to output results for unknown reason | |
DRESDEN/smallest/9kaGFw | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
BASE/3pffa/pR0dzA | Test process failed to output results for unknown reason | |
DRESDEN/battlesnakes1509/-qZrLw | Test process failed to output results for unknown reason | |
BASE/skirmishNew/sibw2g | Test process failed to output results for unknown reason | |
BASE/gt_coordination/IVMOzA | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason | |
DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason | |
DRESDEN/knightwar/7hhAqg | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | Test process failed to output results for unknown reason | |
BASE/skirmishHoles/AUCxCA | Test process failed to output results for unknown reason | |
DRESDEN/skirmishfinal/hzq8ww | Test process failed to output results for unknown reason | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Test process failed to output results for unknown reason | |
STANFORD/dualhunter/1rPZjQ | Test process failed to output results for unknown reason | |
BASE/gt_chicken/gmepTQ | Test process failed to output results for unknown reason | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Test process failed to output results for unknown reason | |
BASE/cephalopodMicro/9l2D3g | Test process timed out after 240 seconds | |
BASE/snake_2009/7l-qAQ | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump/T-8UuQ | Test process failed to output results for unknown reason | |
DRESDEN/Travelers-Dilemma/PvZwYw | Test process failed to output results for unknown reason | |
BASE/point_grab/V_osUg | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
DRESDEN/vacuum_cleaner_1/eUNjpw | Test process failed to output results for unknown reason | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process failed to output results for unknown reason | |
BASE/checkers-cylinder-mustjump/rjr6qQ | Test process failed to output results for unknown reason | |
BASE/stateSpaceSmall/Q7osKA | Test process failed to output results for unknown reason | |
BASE/othelloHoles/c0qAzw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6/yTbPDA | Test process failed to output results for unknown reason | |
BASE/skirmishFinal1/ecWTnQ | Test process failed to output results for unknown reason | |
BASE/checkersBarrelNoKings/rnKNeg | Test process failed to output results for unknown reason | |
DRESDEN/3pffa/0YrmQw | Test process failed to output results for unknown reason | |
STANFORD/hunter/14dD-g | Test process failed to output results for unknown reason | |
DRESDEN/logistics/fPru1Q | Test process failed to output results for unknown reason | |
BASE/skirmish/Y_psYQ | Test process failed to output results for unknown reason | |
DRESDEN/CephalopodMicro/H3XQfg | Test process timed out after 240 seconds | |
DRESDEN/gt_ultimatum/pAiiQw | Test process failed to output results for unknown reason | |
DRESDEN/point_grab/r5DPmQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4_pie/IN5_jA | Test process failed to output results for unknown reason | |
BASE/colonelBlottoVariant2/jruwGw | Test process failed to output results for unknown reason | |
BASE/knightwar/DVGY4Q | Test process failed to output results for unknown reason | |
BASE/checkers-mustjump-torus/uSApKQ | Test process failed to output results for unknown reason | |
BASE/duplicateStateSmall/bCPAXw | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type StackOverflowError |
BASE/gt_two_thirds_2p/1APDGg | Test process failed to output results for unknown reason | Exception of type NullPointerException |
STANFORD/rainbow/_4qNSQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/nonogram_10x10_1/0Xc62g | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/gt_two_thirds_4p/DStnxQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Test process failed to output results for unknown reason | Exception of type NullPointerException |
STANFORD/dualrainbow/G3OnRQ | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/sudoku/NTaNkw | Test process failed to output results for unknown reason | Exception of type NullPointerException |
BASE/nonogram_5x5_1/qLKEZw | Test process failed to output results for unknown reason | Exception of type NullPointerException |