Game-by-game performance:
Game | Perf ratio | CADIAPLAYER_PROLOG:3.0 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
DRESDEN/mummymaze2p/k-8edg | 0.3912759343697925 | 363.93878908848967 | 930.1333333333333 |
BASE/mummymaze2p/vpjDdA | 0.39420631110750537 | 363.72102304852496 | 922.6666666666666 |
BASE/onestep/xi53wA | 0.6103829550758 | 24456.966666666667 | 40068.23333333333 |
DRESDEN/firefighter/WJmoPw | 0.6469007086421765 | 3706.266666666667 | 5729.266666666666 |
BASE/tron_10x10/7ZTgDg | 0.669701321079839 | 1554.6 | 2321.3333333333335 |
BASE/firefighter/WJmoPw | 0.6722761650423864 | 3704.398533822059 | 5510.233333333334 |
DRESDEN/hallway/0H4l-Q | 0.8102606697372221 | 205.04313205043132 | 253.05823139228693 |
BASE/hallway/ckCJOw | 0.8296540608570558 | 205.0839583195062 | 247.19213464422597 |
STANFORD/buttonsandlights/eyhJpA | 0.8924276786017605 | 28896.6 | 32379.766666666666 |
DRESDEN/blocks2player/3ev8nQ | 0.9238950437317783 | 7922.4 | 8575.0 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.9560828507623023 | 673.8566007589375 | 704.809839672011 |
BASE/haystack/UkweGA | 0.9613241703078919 | 33800.76666666667 | 35160.63333333333 |
DRESDEN/troublemaker01/C-lPWw | 1.0011897596291774 | 23730.466666666667 | 23702.266666666666 |
BASE/blocks2player/wnTLOQ | 1.019076011097517 | 7885.066666666667 | 7737.466666666666 |
BASE/troublemaker01/s3tlEQ | 1.0278050452187752 | 23593.333333333332 | 22955.066666666666 |
BASE/bomberman2p/4CClwA | 1.0418384352130923 | 1110.1483086152307 | 1065.5666666666666 |
DRESDEN/bomberman2p/x4h6jQ | 1.0450402313301483 | 1108.3 | 1060.5333333333333 |
BASE/troublemaker02/DI83KA | 1.0925398925058374 | 23098.733333333334 | 21142.233333333334 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.1359889900907127 | 3817.49100119984 | 3360.5 |
DRESDEN/troublemaker02/iZLVuA | 1.1382824581237898 | 23358.466666666667 | 20520.8 |
DRESDEN/lightson2x2/gBHuig | 1.1536972901743188 | 4822.839238692043 | 4180.333333333333 |
BASE/survival/YVIjJA | 1.1578657652647222 | 33865.566666666666 | 29248.266666666666 |
DRESDEN/ghostmaze2p/HY0UwA | 1.1744435867924126 | 2489.468070923877 | 2119.7 |
DRESDEN/blocks/vg0DRw | 1.1779886027920572 | 13650.1 | 11587.633333333333 |
DRESDEN/buttons/ADUaHw | 1.1833810214735527 | 18459.6 | 15599.033333333333 |
BASE/switches/tPUoCg | 1.1878595063708646 | 14909.933333333332 | 12551.933333333332 |
BASE/ghostMaze2p/W-NU-w | 1.1927043733422054 | 2488.537918166067 | 2086.4666666666667 |
BASE/untwistycomplex2/EDPPAQ | 1.2020563463619784 | 21398.766666666666 | 17801.8 |
BASE/buttons/hTcUjw | 1.2135514451813996 | 18766.4 | 15464.033333333333 |
BASE/blocksWorld/SEdXLQ | 1.2198608353393896 | 13884.7 | 11382.2 |
BASE/sheepAndWolf/g4THrg | 1.225360786410366 | 834.9608398600234 | 681.4 |
STANFORD/untwistycorridor/EDPPAQ | 1.234570580863368 | 21803.833333333332 | 17661.066666666666 |
BASE/blocks/xIV5hQ | 1.2389146084444338 | 13951.5 | 11261.066666666668 |
DRESDEN/sheep_and_wolf/enAIzQ | 1.267330586728018 | 843.6760934012858 | 665.7111429619013 |
BASE/coloredtrails/EZvr7g | 1.2940841690408316 | 3075.994933671089 | 2376.9666666666667 |
BASE/maze/cCX3qQ | 1.3215935463151665 | 21810.566666666666 | 16503.233333333334 |
BASE/majorities/ibJzSQ | 1.349290722540811 | 165.08714957916362 | 122.35105957616953 |
DRESDEN/latenttictactoe/kITHKg | 1.38698991604826 | 2847.1666666666665 | 2052.766666666667 |
BASE/pancakes/yUgbXw | 1.3997458070033733 | 19640.3 | 14031.333333333334 |
STANFORD/multipletictactoe/_bkafQ | 1.4060870244727748 | 616.0125274871726 | 438.1041263915739 |
STANFORD/threepuzzle/41ibjA | 1.406853387576279 | 13486.8 | 9586.5 |
STANFORD/3puzzle/41ibjA | 1.4088669606235336 | 13430.4 | 9532.766666666666 |
DRESDEN/pancakes6/SZXMyQ | 1.4213821953760035 | 19695.666666666668 | 13856.7 |
DRESDEN/pancakes/hl9aiQ | 1.430011784115398 | 19531.48228392387 | 13658.266666666666 |
BASE/pancakes6/QZTdnw | 1.4480650988215558 | 19779.07403086564 | 13658.967436589674 |
DRESDEN/tictactoex9/rFkD4w | 1.489810258628978 | 516.5 | 346.6884437185427 |
DRESDEN/racetrackcorridor/O0DoTA | 1.4901971484872047 | 1535.5488150394988 | 1030.4333333333334 |
BASE/tictactoex9/BI26ow | 1.4963872760760786 | 514.8880895283773 | 344.0874550059992 |
BASE/wallmaze/uxNQ9g | 1.501812344993791 | 381.14726825048245 | 253.7915402819906 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.5189837163093485 | 16971.2 | 11172.733333333334 |
DRESDEN/toetictac/mJtxCA | 1.5375511347716448 | 9145.866666666667 | 5948.333333333333 |
BASE/toetictac/mTThmg | 1.5720745699536367 | 9166.4 | 5830.766666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 1.5808715844879635 | 17019.4 | 10765.833333333334 |
BASE/pearls/6k_mEQ | 1.5937128800250606 | 33408.1 | 20962.433333333334 |
BASE/lightsOn/MsXu3A | 1.6405660350973916 | 9983.500549981667 | 6085.4 |
BASE/blocker/dIWtxg | 1.6511917164534848 | 4878.170727642412 | 2954.3333333333335 |
DRESDEN/pancakes88/aD3E7g | 1.6620116316196238 | 18565.833333333332 | 11170.7 |
BASE/factoringEasyTurtleBrain/lUj94Q | 1.6750346161073062 | 4962.345884705098 | 2962.5333333333333 |
DRESDEN/blocker/S815zQ | 1.742418449038117 | 4860.766666666666 | 2789.6666666666665 |
STANFORD/bestbuttonsandlights/nm0wEA | 1.7724667636689635 | 16607.6 | 9369.766666666666 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 1.7788150444863842 | 7037.466666666666 | 3956.266666666667 |
BASE/pancakes88/l2Xaig | 1.7816980561348763 | 18652.3 | 10468.833333333334 |
BASE/tictactoe_orthogonal/WRzlVw | 1.7959679336934 | 7049.533333333334 | 3925.2 |
DRESDEN/cube_2x2x2/fp-34Q | 1.8396322552593602 | 2641.957202853143 | 1436.1333333333334 |
BASE/chickentoetictac/l57rfQ | 1.8412397126342106 | 8568.7 | 4653.766666666666 |
DRESDEN/chickentoetictac/cxYaRQ | 1.861487553475552 | 8644.5 | 4643.866666666667 |
BASE/roshambo2/KNPokQ | 1.878878172029405 | 15343.733333333334 | 8166.433333333333 |
BASE/hodgepodge/9yjRkw | 1.8933733091780447 | 10904.0 | 5759.033333333334 |
DRESDEN/roshambo2/jgSlkQ | 1.905735542751748 | 15292.066666666668 | 8024.233333333334 |
BASE/eightPuzzle/vLrgFg | 1.937658765287422 | 8233.176682331767 | 4249.033333333334 |
DRESDEN/8puzzle/8fKC2w | 1.9406436129848923 | 8261.449236717552 | 4257.066666666667 |
STANFORD/8puzzle/jNiGtw | 1.9434736835404183 | 8234.627562072988 | 4237.066666666667 |
BASE/catcha_mouse/cHv4dw | 2.011425470894061 | 1043.492751208132 | 518.7827072430919 |
DRESDEN/catcha_mouse/cHv4dw | 2.0325381593245515 | 1041.8790604697651 | 512.6 |
DRESDEN/oisters_farm/pTQMLg | 2.036476228591156 | 15793.280447970135 | 7755.2 |
DRESDEN/circlesolitaire/ruUilQ | 2.0742842878351926 | 10525.333333333334 | 5074.2 |
BASE/circlesolitaire/azuQFQ | 2.0862743287539325 | 10544.1 | 5054.033333333334 |
BASE/incredible/8Qh-6Q | 2.0909794500233736 | 7374.18752708243 | 3526.6666666666665 |
BASE/lightsOnParallel/SC6enA | 2.1065948140031945 | 4587.180427319089 | 2177.5333333333333 |
DRESDEN/grid_game/U7_Yeg | 2.13159301348035 | 1339.919368273748 | 628.6 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.141141141141141 | 13689.6 | 6393.6 |
DRESDEN/tictactoe/BTTzPw | 2.156372922544638 | 6980.466666666666 | 3237.133333333333 |
BASE/ticTacToe/JRFsaQ | 2.1913401544684006 | 6989.133333333333 | 3189.4333333333334 |
BASE/blocksWorldSerial/Wyg96Q | 2.257436560471278 | 8264.4 | 3660.9666666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 2.2806112174000606 | 12079.333333333334 | 5296.533333333334 |
DRESDEN/eotcatcit/mQUxzA | 2.2848847517730495 | 6872.933333333333 | 3008.0 |
BASE/eotcatcit/AfZSzA | 2.315264741545785 | 6873.866666666667 | 2968.9333333333334 |
STANFORD/trifecta/ss1kyQ | 2.351692073852206 | 7014.0 | 2982.5333333333333 |
STANFORD/tictactoe/ss1kyQ | 2.3771175926552526 | 7025.333333333333 | 2955.4 |
BASE/chickentictactoe/DSlZCA | 2.445213639840977 | 6499.133333333333 | 2657.9 |
DRESDEN/chickentictactoe/Ipbo-g | 2.4507537939297124 | 6545.8 | 2670.9333333333334 |
DRESDEN/tictactoe-init1/3ltIBQ | 2.515342949449335 | 6981.166666666667 | 2775.4333333333334 |
DRESDEN/sum15/CsgWKg | 2.525502475524333 | 8280.533333333333 | 3278.766666666667 |
BASE/sum15/QZ07Kg | 2.5557337036999215 | 8342.0 | 3264.0333333333333 |
BASE/tictactoe-init1/7M19vA | 2.6436838186109326 | 6982.233333333334 | 2641.1 |
STANFORD/tictactoe7/-bE9-A | 2.669762191837049 | 6938.0 | 2598.733333333333 |
BASE/hexPie/48CH6Q | 2.6963694755814767 | 342.21215955250716 | 126.91590030654405 |
DRESDEN/Runners/3bOCQw | 2.719557992003275 | 15077.864071197626 | 5544.233333333334 |
BASE/hex/T1MK8g | 2.7223406076126055 | 349.53688278803224 | 128.3957201426619 |
STANFORD/hex/MTqWcw | 2.794555775127295 | 356.29398486256804 | 127.49575014166194 |
BASE/racetrackcorridor/_RkdUg | 2.827665298907049 | 1781.1812545830278 | 629.9123362554582 |
DRESDEN/blocksworldparallel/2JfVaw | 2.9457445640906816 | 8051.8 | 2733.366666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 2.9906440123177847 | 2515.231302493001 | 841.0333333333333 |
BASE/factoringGeorgeForman/HGRorQ | 2.996221182132812 | 9501.616612779573 | 3171.2 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.055334949683214 | 2056.240421136803 | 673.0 |
BASE/mummyMaze2p_2007/YGA3Vw | 3.086792293484387 | 2080.0506565353594 | 673.8550763282448 |
STANFORD/untwistycomplex/HTWEwg | 3.136199609882965 | 19293.9 | 6152.0 |
BASE/eotcitcit/V_9_bg | 3.1754869050013146 | 6842.433333333333 | 2154.766666666667 |
STANFORD/tictictoe/rpt_Dw | 3.199166214100885 | 6676.233333333334 | 2086.866666666667 |
STANFORD/tictactoe5/WFRReg | 3.2225335975723044 | 6937.9 | 2152.9333333333334 |
BASE/ticTicToe/c1OobQ | 3.245581778700607 | 6825.566666666667 | 2103.0333333333333 |
DRESDEN/tictictoe/LAUtwg | 3.2669012514727895 | 6839.366666666667 | 2093.5333333333333 |
DRESDEN/twisty-passages/j7NPyg | 3.3144023218430116 | 3683.9581807285076 | 1111.5 |
BASE/twisty-passages/DiZmmg | 3.4228087440379587 | 3723.21725813969 | 1087.7666666666667 |
BASE/lightsOnSimul4/9FeASw | 3.6261931692811906 | 1059.090151641393 | 292.06666666666666 |
STANFORD/breakthrough/d5j0cQ | 3.6352990659300453 | 2119.793402199267 | 583.1138962034598 |
BASE/asteroids/BKCmPQ | 3.75548175364554 | 16275.381641223918 | 4333.766666666666 |
BASE/knightfight/SJRkAg | 3.756904583622544 | 4751.858147518581 | 1264.8333333333333 |
DRESDEN/connect5/1kYzSg | 3.8175832176053075 | 771.3278808431412 | 202.04612103439084 |
BASE/connect5/d-BVQg | 3.8276542330084555 | 776.3241119877492 | 202.8198120125325 |
DRESDEN/knightfight/4_Ly4w | 3.8289340331133 | 4717.6 | 1232.0922635912136 |
BASE/lightsOnSimultaneous/_VN6lw | 3.900917451164548 | 1447.192134644226 | 370.9876337455418 |
BASE/snakeParallel/RCVNtw | 3.90440366223625 | 9566.7 | 2450.233333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 3.9633723214036425 | 13155.489634024398 | 3319.266666666667 |
STANFORD/tictactoe3/X7myng | 3.980635255733615 | 6913.7 | 1736.8333333333333 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4.030847672375036 | 13149.7 | 3262.266666666667 |
DRESDEN/Thief_Police/CX18rA | 4.0370716361414285 | 12933.835538815372 | 3203.766666666667 |
DRESDEN/catch_me/ghGWrA | 4.086951990492986 | 13123.475304939013 | 3211.0666666666666 |
BASE/lightsOut/5P1ZBw | 4.210835534061481 | 3224.236768430876 | 765.7 |
DRESDEN/lightsout/XgLpzQ | 4.255681278580358 | 3233.8922035932137 | 759.9 |
BASE/ticTacToeParallel/ymRGPw | 4.256774634063073 | 3324.9666666666667 | 781.1 |
DRESDEN/lightsout2/LFtfyQ | 4.272143987784609 | 3235.0098323500983 | 757.2333333333333 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 4.2885895649481345 | 1846.6666666666667 | 430.6 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 4.411256783441033 | 2037.2654244858504 | 461.8333333333333 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.435434932783502 | 1986.3356107315446 | 447.8333333333333 |
DRESDEN/frogs_and_toads/GjchhQ | 4.5672315299989625 | 2376.099120703437 | 520.2493250224993 |
DRESDEN/tictactoeparallel/yk_DSg | 4.5813503388017125 | 3425.4 | 747.6834877674821 |
BASE/dotsAndBoxes/EHwA_w | 4.634713492985744 | 1586.307938199254 | 342.26666666666665 |
BASE/dotsAndBoxesSuicide/jzQbLw | 4.660461045579458 | 1583.1556503198294 | 339.69936339699365 |
BASE/asteroidsParallel/WauZiA | 4.671395005803295 | 10409.892344098924 | 2228.4333333333334 |
STANFORD/platformjumpers/HEQskA | 4.8056007308150805 | 389.734219269103 | 81.1 |
BASE/withConviction/3Xm54A | 4.8373055369558395 | 2398.0135981869084 | 495.73333333333335 |
BASE/tictactoe2/bhrDoQ | 4.90861377451902 | 10443.566666666668 | 2127.6 |
BASE/endgame/jYjfOA | 4.923071227349515 | 729.5748367319738 | 148.1950601646612 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 5.007331944122868 | 2162.6666666666665 | 431.9 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 5.07791964651605 | 2184.5210319312046 | 430.2 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 5.128259604396194 | 3973.375541486171 | 774.8 |
DRESDEN/sat_test_20v_91c/dK7nVw | 5.139623725963748 | 2182.8967539825367 | 424.7191760274658 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 5.1443870362484905 | 4160.9517144856545 | 808.8333333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 5.245152059360198 | 3984.5671810939634 | 759.6666666666666 |
BASE/tictactoe_3player/GtM71g | 5.3447944860686345 | 2866.813318668133 | 536.3748458692971 |
BASE/asteroidsSerial/id2QkA | 5.3886340701406334 | 9724.149421840115 | 1804.5666666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 5.4331368532474045 | 4350.674887518747 | 800.7666666666667 |
DRESDEN/tictactoe_3player/ESLQQQ | 5.5797420776359274 | 2869.937668744375 | 514.3495216826105 |
DRESDEN/bunk_t/7-tPfA | 5.848270593483731 | 3976.4341188627045 | 679.9333333333333 |
DRESDEN/crossers3/xiPTxg | 5.938807206460965 | 1911.7725484967668 | 321.9118725418305 |
DRESDEN/doubletoetictac/V89gKQ | 5.968630277573895 | 4001.9666011132963 | 670.5 |
BASE/numbertictactoe/rvJ-iQ | 5.972980303081669 | 5872.833333333333 | 983.2333333333333 |
DRESDEN/endgame/IJhh3Q | 6.0145741613142745 | 740.7703585232574 | 123.16256124795841 |
BASE/bunk_t/xbpfIA | 6.0730241104854095 | 3980.867304423186 | 655.5 |
BASE/crossers3/O0rORg | 6.07439326450152 | 1909.181803032828 | 314.3 |
BASE/doubletoetictac/fu35bg | 6.153690962702394 | 3965.233333333333 | 644.3666666666667 |
BASE/doubletictactoe/HH1htg | 6.155417451989201 | 4027.9 | 654.3666666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 6.16268958211077 | 4030.3989867004434 | 654.0 |
BASE/minichess/8NQEiA | 6.444776752265862 | 4266.3 | 661.9779340688643 |
BASE/double_tictactoe_dengji/zgaSbA | 6.574482791534605 | 3818.6787547496833 | 580.8333333333334 |
DRESDEN/mimikry/GJEhwA | 6.633206021201218 | 1591.642228739003 | 239.9506699553363 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.802995539767406 | 4129.645059156807 | 607.0333333333333 |
DRESDEN/knightmove/97Ipcw | 6.809990089571589 | 986.4419201172591 | 144.8521814485218 |
DRESDEN/minichess/c7GMFw | 6.893493112330607 | 4103.466666666666 | 595.2666666666667 |
BASE/blockerParallel/7-nDJA | 6.923383899177573 | 1353.4313235343132 | 195.48696753549763 |
DRESDEN/blockerparallel/dVQgSg | 6.934306455199229 | 1349.6983634969836 | 194.64071457139048 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 6.988310144988432 | 3814.918508149185 | 545.9 |
BASE/knightmove/jBaJEw | 7.17936964116569 | 984.9766822118588 | 137.19542681910602 |
BASE/hanoi_6_disks/MeubgQ | 7.25760067915318 | 9118.933333333332 | 1256.4666666666667 |
DRESDEN/stratego/Z2wovg | 7.281472636880116 | 2587.749116843298 | 355.38815372820903 |
DRESDEN/hanoi_6_disks/MeubgQ | 7.283105022831051 | 9091.5 | 1248.3 |
BASE/ticTacToeLargeSuicide/727_8g | 7.325995900543623 | 5480.333333333333 | 748.0666666666667 |
DRESDEN/hanoi/RQ0jiA | 7.385002286236855 | 10228.966666666667 | 1385.1 |
BASE/ticTacToeLarge/TZC0dg | 7.400187698421316 | 5432.97113525765 | 734.1666666666666 |
DRESDEN/tictactoelarge/IwXcbg | 7.417030602763856 | 5448.303446436904 | 734.5666666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 7.427057019126669 | 5487.551244875513 | 738.8594473885945 |
BASE/hanoi/iGLsJg | 7.543110219758423 | 10215.885607626158 | 1354.3333333333333 |
BASE/breakthroughSmallHoles/bxclRw | 7.862917450965841 | 2936.439689364397 | 373.4542181927269 |
BASE/dualConnect4/WbCQkg | 8.943944243421052 | 3443.9 | 385.0538315389487 |
DRESDEN/connectfoursuicide/M9CNQg | 9.003766331990166 | 5166.361121295957 | 573.8 |
BASE/connectFour/WAIKTw | 9.163432066271076 | 5197.466666666666 | 567.1965077143524 |
BASE/connectFourSuicide/c8p9Kw | 9.18668130777198 | 5223.066666666667 | 568.5477150761641 |
DRESDEN/brain_teaser_extended/ZDp94A | 9.209914499558552 | 7649.5 | 830.5723142561915 |
BASE/tictactoe_3d_small_2player/oOryKA | 9.251204410271152 | 2494.883503883204 | 269.68202119858677 |
STANFORD/sukoshi/4LYZZQ | 9.292516559260648 | 8266.966666666667 | 889.6370120995966 |
BASE/conn4/va9Y7A | 9.308588444556154 | 1627.0327912556652 | 174.78834744350377 |
DRESDEN/connectfour/5tc-Mg | 9.317455568188619 | 5190.133333333333 | 557.0333333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 9.3407241547687 | 2514.4990333977735 | 269.1974403412878 |
BASE/ticTacToeNoVars/XT03NA | 9.350791280979397 | 10438.6 | 1116.3333333333333 |
DRESDEN/hanoi7/51zz5Q | 9.385463283676481 | 8796.994735789965 | 937.3 |
BASE/brain_teaser_extended/ZDp94A | 9.484687139740915 | 7673.744208526383 | 809.0666666666667 |
DRESDEN/aipsrovers01/qS47Mw | 9.56620342728945 | 8393.386887103763 | 877.4 |
BASE/hanoi7_bugfix/3gdnFw | 9.602705292341506 | 8789.996334433003 | 915.3666666666667 |
DRESDEN/hanoi7_bugfix/3gdnFw | 9.611194085882369 | 8863.122812864523 | 922.1666666666666 |
DRESDEN/3pttc/uwYBZw | 9.657487569765483 | 5724.6367151046525 | 592.7666666666667 |
STANFORD/connectfour/VMpZkQ | 9.70769807548113 | 5178.733333333334 | 533.4666666666667 |
BASE/cubicup/4wNWJA | 9.731208552671042 | 1013.3635485053487 | 104.13542603885502 |
BASE/aipsrovers01/4C4jsw | 9.86135106885041 | 8445.636957536164 | 856.4381187293757 |
DRESDEN/cubicup/SBn_lw | 9.952258562062719 | 1007.6976906927922 | 101.25316624450073 |
DRESDEN/chinesecheckers4/-oVNYg | 9.968940753927706 | 2133.353321340529 | 214.0 |
BASE/blobwars/0XT15Q | 10.356781183802442 | 1288.8607510579454 | 124.44607336820711 |
BASE/connectFour_9x6/B9TtMw | 10.387618963425856 | 4977.400753308223 | 479.1666666666667 |
BASE/breakthroughHoles/nZk0Sg | 10.39725375262219 | 1864.7964283334443 | 179.35470968602093 |
DRESDEN/chomp/-LcqYQ | 10.57112401613538 | 3580.9 | 338.7435427428762 |
BASE/mummymaze1p/PT_EXA | 10.598940869902817 | 1066.075772216854 | 100.58323612731212 |
BASE/3pConnectFour/PqXOFQ | 10.634347635720992 | 3476.368242117192 | 326.9 |
BASE/breakthroughSuicideSmall/XSbJog | 10.656304510889141 | 2916.338910739284 | 273.6726327367263 |
BASE/chomp/-LcqYQ | 10.73576950105411 | 3564.633333333333 | 332.03333333333336 |
BASE/breakthroughSmall/HJ0tIA | 10.775485645978426 | 2910.720831805912 | 270.12432918902704 |
DRESDEN/blobwars/ZaMluQ | 10.823433577383286 | 1302.015658837248 | 120.29599013366222 |
DRESDEN/mummymaze1p/AekgaQ | 10.865329919137466 | 1074.8 | 98.92014398080256 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 11.238797892933562 | 2027.208845372498 | 180.3759498733502 |
BASE/knightThrough/gcwFjA | 11.239257149587452 | 1948.6923205064134 | 173.3826617338266 |
DRESDEN/knightthrough/J7Fc_Q | 11.391661544189022 | 1959.4189378290132 | 172.0046658890185 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 11.393719101298826 | 2034.850403145199 | 178.5940468651045 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 11.427922780506568 | 836.2358895807665 | 73.17479349853451 |
BASE/tictactoe_3d_2player/IUC1rQ | 11.456007555685748 | 841.8932862896515 | 73.48923978945966 |
DRESDEN/connect4/T0-rHQ | 11.466712505452128 | 1307.2052256215425 | 114.0 |
DRESDEN/bidding-tictactoe/yW5vTA | 11.497082521381797 | 5282.55724809173 | 459.46936870875277 |
BASE/biddingTicTacToe/8mESVw | 11.757033614017523 | 5267.624412519583 | 448.04026129849353 |
BASE/connect4/50bOyw | 11.769936428991095 | 1310.2115608862237 | 111.31849086788428 |
BASE/breakthroughSuicide/wZDpIg | 11.827264866753328 | 2032.115134756971 | 171.8161517181615 |
DRESDEN/quarto/OQzRYQ | 11.858693863123541 | 3046.396906872875 | 256.89143695210157 |
DRESDEN/breakthrough/z4hK7Q | 11.889814611665486 | 2034.2116659449016 | 171.0885940937271 |
BASE/quartoSuicide/-23jUg | 12.042569861582658 | 3074.0666666666666 | 255.26666666666668 |
BASE/breakthrough/TGxk-g | 12.047580656575585 | 2042.8 | 169.56101463284557 |
BASE/blockerSerial/3eqDuw | 12.048717271912382 | 2086.227584827678 | 173.1493517314935 |
BASE/chinook/XQh0IQ | 12.051509153000584 | 720.1105045932632 | 59.75272436431499 |
BASE/breakthroughWalls/vOZaYA | 12.11702405641637 | 2033.0333333333333 | 167.78322167783222 |
BASE/chineseCheckers4/avfBcQ | 12.27600502095602 | 4227.446929049888 | 344.3666666666667 |
DRESDEN/quartosuicide/WIU1oQ | 12.325531776350003 | 3048.422034858533 | 247.32580225932222 |
BASE/crisscross/ICagEg | 12.39551401475691 | 4200.013332000133 | 338.8333333333333 |
BASE/quarto/EwBMVQ | 12.508455919574393 | 3068.2219630061654 | 245.2918236058798 |
BASE/connectFourLarge/aU644A | 12.528722178355327 | 4335.066493350665 | 346.01026598226787 |
DRESDEN/pawn_whopping/4ogBkg | 12.777790134475124 | 4751.049930004667 | 371.82093930202325 |
BASE/pawnWhopping/Ypc_6Q | 13.030939433714606 | 4632.933333333333 | 355.53333333333336 |
BASE/escortLatch/mX9BjQ | 13.185300979759694 | 3362.467095398354 | 255.01633224451703 |
DRESDEN/crisscross/GsY16g | 13.212467548296086 | 4223.744292237443 | 319.67868808746084 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 13.24222519102956 | 4675.38830744617 | 353.06666666666666 |
BASE/connectFourSimultaneous/7ITr3g | 13.297659775306874 | 2898.310168983102 | 217.95640871825634 |
BASE/cubicup_3player/e2yA_g | 14.404347195349533 | 594.1817215727949 | 41.25016660002665 |
BASE/ticTacHeavenFC/mrletw | 14.421235186266465 | 2041.9235511713932 | 141.59144655763913 |
DRESDEN/cubicup_3player/awDtsQ | 14.734135154410604 | 589.6599906846762 | 40.019993335554815 |
BASE/futoshiki4/BaCwSw | 16.557353212420995 | 3347.233333333333 | 202.1599280023999 |
BASE/choicethroughalt/tt71Lg | 17.199590104454366 | 1915.2694910169662 | 111.35553111355532 |
BASE/3pttc/0sol9g | 17.207495812395308 | 5478.684043865204 | 318.38938702043265 |
BASE/ticTacToeSerial/Amrwqw | 17.527309226295998 | 3340.732593407326 | 190.60156640559907 |
STANFORD/multiplesukoshi/vLSQPg | 17.69201522925059 | 388.46626582068234 | 21.95715190084297 |
DRESDEN/tpeg/h-Scbg | 17.783052524206347 | 1980.7679488034132 | 111.38514864684709 |
BASE/tpeg/QNs7Lw | 17.969163977399003 | 1981.8006066464452 | 110.2889711028897 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 18.272165502418055 | 18135.733333333334 | 992.5333333333333 |
BASE/kitten_escapes_from_fire/uW-YiA | 18.565652793808134 | 18230.233333333334 | 981.9333333333333 |
BASE/nineBoardTicTacToePie/B8LzeQ | 18.636393042394626 | 3171.808368869936 | 170.19432685577146 |
BASE/2pffa_zerosum/o0_uZA | 18.778835126663722 | 5426.095650724879 | 288.9474035064329 |
BASE/knightazons/apnJBQ | 19.00615143030375 | 1213.8595380153995 | 63.86666666666667 |
DRESDEN/battlebrushes/QHXV4A | 19.055386195796633 | 833.3277787035494 | 43.73187560414653 |
BASE/peg/fJHVWw | 19.15621546707237 | 1910.5785895213971 | 99.73674564297377 |
BASE/tictactoe_3d_small_6player/g_9lww | 19.2235526718722 | 1665.1784226835039 | 86.62178376216505 |
BASE/connectFourLarger/qKi60A | 19.25963075857435 | 3349.780117270789 | 173.92753574880837 |
DRESDEN/javastrike/whONTQ | 19.300646427945548 | 1358.0316182052213 | 70.36197586827545 |
DRESDEN/knightazons/02I8BQ | 19.44793916973163 | 1217.1164276444947 | 62.58331111703546 |
STANFORD/nineboardtictactoe/y28P-A | 19.543858697709634 | 3441.1 | 176.07065489085153 |
DRESDEN/peg_bugfixed/u_B7MA | 19.818343745685162 | 1916.77498916775 | 96.71721379770038 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 19.829904493898642 | 1653.0979347101932 | 83.36388787040433 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 20.04413699284454 | 845.9385620043979 | 42.203790679857434 |
DRESDEN/peg/Vo31eg | 20.080600266469435 | 1919.0360321322623 | 95.56666666666666 |
BASE/nineBoardTicTacToe/wRmqqA | 20.114484370679364 | 3444.825862356274 | 171.26095796806774 |
BASE/amazons_10x10/Bun8dA | 20.275347896589782 | 1477.875811553188 | 72.89028129582722 |
BASE/checkLines/Vop7oQ | 20.305827207515456 | 7516.966666666666 | 370.1876604113196 |
BASE/pegEuro/5awwhg | 20.68814230203626 | 1626.9791006966434 | 78.6430737445433 |
BASE/amazonsSuicide_10x10/XIbQkg | 20.704599350446408 | 1479.343520090549 | 71.4499950011664 |
BASE/ttcc4_2player_small/Cv72TA | 20.738545084285555 | 6109.859342710486 | 294.6136924205053 |
DRESDEN/checkers/jIDMIg | 20.90761968171347 | 657.8273165862586 | 31.463520314635204 |
BASE/2pttc/unkkYA | 21.160065237651445 | 6054.6 | 286.1333333333333 |
DRESDEN/backgammon/mqCW0Q | 21.451564246110117 | 1100.3552103044185 | 51.294870512948705 |
STANFORD/pentago/ZxzLmg | 21.92456885266403 | 3634.2455251491615 | 165.76132235811644 |
BASE/futoshiki5/TJ4BZg | 22.40067176644494 | 1683.1666666666667 | 75.13911565759221 |
BASE/snake2p/I3wWPQ | 22.67253844359627 | 3563.766666666667 | 157.1842815718428 |
BASE/englishDraughts/jFkQxg | 24.026366170148655 | 4007.463681194189 | 166.7944146365848 |
BASE/amazons_8x8/7SOsIw | 24.066393563809306 | 2189.822832023445 | 90.99090090990902 |
STANFORD/duikoshi/tpw1sw | 24.238763863682195 | 4006.0 | 165.2724545909015 |
DRESDEN/slidingpieces/s9_44g | 24.55727206990796 | 1440.6474820143885 | 58.6648011193284 |
BASE/slidingpieces/uFJWEw | 24.81005425401397 | 1455.7193729823277 | 58.674574351114515 |
BASE/tictactoe_3d_6player/d7KSwg | 24.95215274101734 | 629.6050006649821 | 25.232492250258325 |
DRESDEN/small_dominion/yB5GJA | 26.330693065854422 | 13.78076655513963 | 0.5233727240172988 |
BASE/blocksWorldParallel/RseaAQ | 26.363920490061258 | 7029.5 | 266.6333333333333 |
BASE/ticTacHeaven/18n58A | 26.495924356048256 | 2708.676377454085 | 102.22992566914436 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 26.498055854592984 | 626.1330311916822 | 23.62939510081653 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 26.724207250523584 | 722.1556886227545 | 27.022529867882458 |
BASE/amazonsTorus_10x10/Uxc08g | 27.64217332735917 | 1271.8989025606918 | 46.01298485100716 |
BASE/tttcc4/8Bs2lg | 27.966495155648254 | 4007.46517363194 | 143.29522349255024 |
BASE/ttcc4/Le0qjQ | 28.025678244587617 | 4001.399953334889 | 142.77620396600565 |
BASE/checkersTiny/Lr48cg | 28.27557604771554 | 2884.5705143161895 | 102.01633061156474 |
DRESDEN/tttcc4/sAvtFg | 29.003876185205016 | 3994.534244292618 | 137.72415172321845 |
BASE/skirmishZeroSum/zh4hcw | 29.731111534095046 | 1596.700153017098 | 53.704690831556505 |
BASE/ttcc4_2player_alt/ZEJvYA | 29.957730071351303 | 4686.387574161722 | 156.43333333333334 |
BASE/futoshiki6/JmvXNA | 29.971017490554885 | 1129.8696970706835 | 37.69874337522083 |
BASE/speedChess/bPnisA | 30.398910803482234 | 1772.5607725607726 | 58.31000932960149 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 31.992556417772207 | 3511.7162761241293 | 109.76666666666667 |
STANFORD/ttcc4/Cx9SGw | 35.11682295585186 | 4176.47842745294 | 118.93098737045553 |
BASE/minichess-evilconjuncts/4OpQzw | 37.59325223957737 | 2849.871670944302 | 75.80806397867377 |
BASE/checkersSmall/SYmq8w | 38.392881993653155 | 1849.1955095106432 | 48.16506116462784 |
BASE/qyshinsu/R08Lzw | 38.51825136154442 | 2880.4930867899384 | 74.78255073816109 |
DRESDEN/minichess-evilconjuncts/th24Tw | 38.60535911482221 | 2843.643757082861 | 73.65930073659301 |
BASE/wargame02/BkVqqQ | 41.45826510578357 | 1183.2989141296382 | 28.54193032704989 |
BASE/ttcc4_2player/_aH_Mw | 41.70757190364661 | 4451.588174515881 | 106.73333333333333 |
BASE/pentago/86NgKw | 41.93938728980698 | 3432.4081170237578 | 81.84211403245693 |
DRESDEN/quad/JPe6fg | 42.03594238975818 | 50.23026315789474 | 1.194936054773285 |
BASE/checkers/rOC3Xg | 42.54024800674673 | 1299.8802873104548 | 30.55648117294235 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 44.00265434696207 | 4523.582547248425 | 102.80249258555767 |
STANFORD/triplesukoshi/Iu9mbA | 44.48033555338735 | 2283.247783481101 | 51.33162227925736 |
DRESDEN/pentago_2008/hLjVpQ | 44.66439485636574 | 3463.5446157945576 | 77.54598773660358 |
BASE/pentagoSuicide/SBgNhw | 45.15417315428966 | 3439.8307061685605 | 76.17968541722207 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 46.69816380952381 | 4520.733333333334 | 96.80751799520128 |
BASE/zhadu/DlA8iQ | 54.73721622311028 | 33.570274636510504 | 0.6132989025177534 |
BASE/simultaneousWin2/PfjRjw | 55.24114965744133 | 951.830507345348 | 17.230461589735043 |
BASE/wargame03/klXI8w | 56.29696992781915 | 1930.3426209838688 | 34.28857047650783 |
BASE/quad/tw-Ufg | 58.43070403544255 | 52.32912774085845 | 0.8955758552749418 |
BASE/wargame01/_GZFZg | 70.76182411290586 | 2283.0194967505417 | 32.26343477392289 |
DRESDEN/capture_the_king/EQ229Q | 73.88435888481455 | 1359.4427038197452 | 18.39960073199135 |
BASE/cittaceot/fDxhXg | 74.48467685516592 | 1556.0554555755516 | 20.890947256188984 |
STANFORD/selectivesukoshi/3xmXYg | 83.22451901815344 | 512.0061194625515 | 6.152106680855309 |
DRESDEN/coins/QwFP9w | 90.090617282011 | 7642.633333333333 | 84.83273357323738 |
BASE/coins_atomic/AA3SSw | 90.80108860164512 | 7726.4 | 85.09149085091491 |
BASE/coins/QnGtnQ | 92.5699473874598 | 7676.366666666667 | 82.9250408292504 |
BASE/hidato19/rRHSmA | 112.07440366610345 | 2653.156456236251 | 23.673170406872213 |
DRESDEN/ggp-course2013_michal13/jWKddg | 136.12605083920474 | 305.2757554602573 | 2.242596134819603 |
BASE/golden_rectangle/_nYzfw | 143.66694191621923 | 137.01915070774353 | 0.9537277600552504 |
BASE/sudokuGrade1/tDRNRw | 168.11691250154578 | 430.7999334774655 | 2.562502053286902 |
BASE/sudokuGrade2/u80Tfw | 178.05795245412432 | 419.22385675297875 | 2.354423663615864 |
DRESDEN/pawntoqueen/f_x6Aw | 183.3179164471283 | 650.1066240170599 | 3.546334349728225 |
BASE/pawnToQueen/-O1_JA | 183.46490865527016 | 649.3151597960476 | 3.5391790427678367 |
BASE/hidato37/pBrqxw | 189.0822528234068 | 560.0106656001067 | 2.961730449251248 |
DRESDEN/amazons/dNB28A | 193.56232095467405 | 438.30295787272183 | 2.2644022644022646 |
BASE/sudokuGrade3/eI8dvg | 200.6725073875687 | 413.9091605851578 | 2.0626101999401176 |
BASE/sudokuGrade5/BQfUQA | 201.05605538894446 | 417.52749083638787 | 2.076672050631242 |
BASE/sudokuGrade4/DTy07w | 201.66426542479786 | 415.9824485589868 | 2.062747446518282 |
STANFORD/sudoku/oJ1qyQ | 211.88588762877592 | 408.6788428209572 | 1.9287685810249078 |
BASE/nim4/twk16w | 215.85881953977494 | 5623.345888470384 | 26.05103604503964 |
DRESDEN/nim3/sG_axA | 219.83679902977593 | 5709.476350788307 | 25.971431425432026 |
DRESDEN/nim4/F5YAYg | 220.1945203967227 | 5667.633333333333 | 25.739211507725095 |
STANFORD/duidoku/3SoMaA | 220.38372738446486 | 400.7241803142544 | 1.818302036498281 |
BASE/sudokuGrade6E/ihYFZA | 226.9363361736277 | 381.5535916007708 | 1.6813243662700466 |
BASE/sudokuGrade6H/ieE_9A | 230.6094247089817 | 383.509331208076 | 1.6630254018978055 |
BASE/nim3/1OwUqw | 232.830143031115 | 5721.518565428972 | 24.573787959509858 |
BASE/nim2/eF2Qqw | 243.29951955782315 | 6352.933333333333 | 26.111573688592838 |
DRESDEN/nim1/M9BALA | 254.0220056258475 | 6606.213126229126 | 26.00645999134228 |
DRESDEN/nim2/z5_exA | 258.6010135135135 | 6375.0 | 24.651875541341862 |
BASE/nim1/hin2Qw | 265.4979454787234 | 6648.5 | 25.041625041625043 |
BASE/god/qF06gw | 292.43724491070833 | 930.8655960551743 | 3.183129414105242 |
DRESDEN/Zhadu/9zpQ5w | 316.08145379471114 | 1636.2060921149105 | 5.1765330501725515 |
BASE/merrills/pku8Tg | 320.723833082196 | 1132.7386499800293 | 3.5318193820966464 |
DRESDEN/merrills/aYEzwA | 321.2920992334022 | 1130.9345327336332 | 3.519957494852892 |
BASE/othello-comp2007/86ZoMw | 371.9794966887417 | 308.5430463576159 | 0.8294625082946251 |
DRESDEN/guess/PhxGhg | 376.943937070862 | 2437.1375241650558 | 6.4655172413793105 |
DRESDEN/god/2EDD5w | 378.9467926798949 | 933.2422343687508 | 2.46272630457934 |
DRESDEN/hitori/S8Gsyg | 405.96297862729614 | 1870.8591615010332 | 4.6084477156687225 |
BASE/quad_5x5/JAEP5g | 410.77099393373777 | 963.1357909472702 | 2.344702535405008 |
BASE/guess/SPpk1A | 413.5244253973113 | 2444.7888544478888 | 5.912078475410378 |
BASE/hitori/S8Gsyg | 451.15249221744494 | 1870.9462387094625 | 4.147037356512508 |
BASE/quad_7x7/q-JOXg | 504.27525903218964 | 364.48753831800616 | 0.7227948065854638 |
DRESDEN/quad_5x5/JAEP5g | 567.1617869147951 | 958.1680610646312 | 1.6894087069525665 |
DRESDEN/farmers/S_ASnw | 570.4070210005345 | 5082.163927869071 | 8.909714889123547 |
BASE/chess_200/XsTpYA | 573.1799530578952 | 522.855145320771 | 0.9122006841505131 |
BASE/amazons/RKKZjw | 630.1842837957353 | 116.64319171934882 | 0.18509378084896347 |
BASE/amazonsSuicide/dE1QEQ | 665.4503847174318 | 117.23932077474132 | 0.17618040873854826 |
DRESDEN/quad_7x7/q-JOXg | 781.0316168644148 | 359.1338477913784 | 0.4598198588082551 |
DRESDEN/quad_5x5_8_2/JRTLJg | 850.4358265500724 | 1092.5290610531927 | 1.2846696093286778 |
DRESDEN/fizzbuzz/t1xHzQ | 861.8285906321842 | 9372.375174988334 | 10.874987528684027 |
BASE/battlebrushes/arCwyA | 934.3675 | 849.9333333333333 | 0.9096349491322562 |
DRESDEN/laikLee_hex/ZeP3QQ | 1017.7534796116506 | 2665.766666666667 | 2.6192655884447156 |
BASE/racer4/0vs7Ww | 1189.5560664375184 | 893.3808825489934 | 0.7510204081632653 |
BASE/laikLee_hex/zbyscQ | 1300.9050596626894 | 2653.689754016399 | 2.039879647100821 |
BASE/blokbox_simple/JBx4bg | 1493.8334271150536 | 78.14775585859923 | 0.05231356752373728 |
BASE/queens08ug/kJ_ZFQ | 2383.724181818182 | 1009.3333333333334 | 0.4234270646881075 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 4016.2643490433975 | 2011.1992533831078 | 0.5007636645884974 |
DRESDEN/racer/vk_ZBA | 4118.587149089214 | 468.3139631689367 | 0.11370743078060151 |
BASE/racer/QQYQNw | 4428.312643601612 | 472.3785421730878 | 0.10667235585897915 |
BASE/queens06ug/7Lq3tw | 7769.300546630225 | 2271.448570095327 | 0.2923620416615909 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 8754.608281953007 | 2032.327945342443 | 0.23214378986344142 |
DRESDEN/satlike_20v_91c/yeuENQ | 13161.357542830478 | 2044.5303646423572 | 0.15534342547787522 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 18672.616912769572 | 1856.6047798406719 | 0.09942927595601249 |
DRESDEN/golden_rectangle/1uloXw | Infinity | 5.535412803409814 | 0.0 |
Games with errors:
Game | CADIAPLAYER_PROLOG:3.0 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE: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/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/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 | |
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/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | Test process failed to output results for unknown reason | Test process timed out after 240 seconds |
BASE/gt_two_thirds_2p/1APDGg | 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_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 |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type StackOverflowError |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
STANFORD/rainbow/_4qNSQ | 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/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Exception of type StackOverflowError |