Game-by-game performance:
Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second | PALAMEDES_JOCULAR:0.6.1 states per second |
DRESDEN/golden_rectangle/1uloXw | 0.0 | 0.0 | 0.17844927579335573 |
DRESDEN/coins/QwFP9w | 2.61398861420383E-5 | 84.83273357323738 | 3245336.7666666666 |
BASE/coins/QnGtnQ | 2.6634402109303485E-5 | 82.9250408292504 | 3113456.066666667 |
BASE/coins_atomic/AA3SSw | 2.833337316674508E-5 | 85.09149085091491 | 3003224.8666666667 |
BASE/blocksWorldParallel/RseaAQ | 8.300819455568356E-5 | 266.6333333333333 | 3212132.6666666665 |
BASE/snake2p/I3wWPQ | 2.1458516131538587E-4 | 157.1842815718428 | 732503.0333333333 |
BASE/minichess/8NQEiA | 2.2899183046219505E-4 | 661.9779340688643 | 2890836.466666667 |
STANFORD/tictactoe3/X7myng | 4.3304382076013323E-4 | 1736.8333333333333 | 4010756.533333333 |
STANFORD/sukoshi/4LYZZQ | 5.324546912235993E-4 | 889.6370120995966 | 1670822.0 |
STANFORD/tictactoe5/WFRReg | 5.794568497266923E-4 | 2152.9333333333334 | 3715433.4 |
BASE/tictactoe-init1/7M19vA | 7.10565746666689E-4 | 2641.1 | 3716897.433333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 7.490366284066017E-4 | 2775.4333333333334 | 3705337.2666666666 |
BASE/blocksWorldSerial/Wyg96Q | 7.559939116570772E-4 | 3660.9666666666667 | 4842587.5 |
DRESDEN/blocksworldparallel/2JfVaw | 8.244028719231863E-4 | 2733.366666666667 | 3315571.5 |
STANFORD/tictactoe7/-bE9-A | 0.0012019169250660094 | 2598.733333333333 | 2162157.2 |
BASE/duplicateStateSmall/bCPAXw | 0.0015495720368250158 | 6085.333333333333 | 3927105.8 |
BASE/gt_dollar/TGjqRw | 0.0015910902660058773 | 5939.0 | 3732660.6333333333 |
STANFORD/threepuzzle/41ibjA | 0.0017870808955245396 | 9586.5 | 5364334.666666667 |
STANFORD/3puzzle/41ibjA | 0.001804019162143766 | 9532.766666666666 | 5284182.6 |
BASE/hodgepodge/9yjRkw | 0.0020453817348409084 | 5759.033333333334 | 2815627.6333333333 |
BASE/stateSpaceSmall/Q7osKA | 0.0021857483421572387 | 8607.233333333334 | 3937888.533333333 |
DRESDEN/statespacesmall/h-NqjA | 0.002263256995839912 | 8742.933333333332 | 3862987.433333333 |
BASE/maze/cCX3qQ | 0.0025117588033760417 | 16503.233333333334 | 6570389.366666666 |
BASE/blocksWorld/SEdXLQ | 0.0025125656242265646 | 11382.2 | 4530110.533333333 |
BASE/blocks/xIV5hQ | 0.002521226353120098 | 11261.066666666668 | 4466503.633333334 |
BASE/gt_centipede/9fRMpw | 0.0025320447607663915 | 10129.966666666667 | 4000706.0 |
DRESDEN/blocks/vg0DRw | 0.0025809962620773554 | 11587.633333333333 | 4489597.1 |
BASE/pearls/6k_mEQ | 0.0031666107891207603 | 20962.433333333334 | 6619832.6 |
BASE/buttons/hTcUjw | 0.003802321694654867 | 15464.033333333333 | 4066997.6333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.003887322811853102 | 7985.066666666667 | 2054130.0666666667 |
DRESDEN/buttons/ADUaHw | 0.0038916562940946573 | 15599.033333333333 | 4008327.6 |
DRESDEN/troublemaker02/iZLVuA | 0.004776347592267295 | 20520.8 | 4296337.233333333 |
BASE/troublemaker01/s3tlEQ | 0.0049722496710609895 | 22955.066666666666 | 4616635.966666667 |
DRESDEN/troublemaker01/C-lPWw | 0.004992774229705109 | 23702.266666666666 | 4747313.933333334 |
BASE/troublemaker02/DI83KA | 0.004999670034563288 | 21142.233333333334 | 4228725.733333333 |
BASE/switches/tPUoCg | 0.0054819949081931305 | 12551.933333333332 | 2289665.2666666666 |
BASE/haystack/UkweGA | 0.007260485589159346 | 35160.63333333333 | 4842738.533333333 |
STANFORD/buttonsandlights/eyhJpA | 0.008005710880478202 | 32379.766666666666 | 4044583.566666667 |
BASE/survival/YVIjJA | 0.010763065354004337 | 29248.266666666666 | 2717466.2333333334 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.013571681879345888 | 0.09942927595601249 | 7.326230959430996 |
BASE/onestep/xi53wA | 0.01452886626599989 | 40068.23333333333 | 2757836.2 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.015053596197484722 | 0.23214378986344142 | 15.421151651605342 |
STANFORD/knightstourmedium/x1wu8Q | 0.017949978073513007 | 2917.1 | 162512.73333333334 |
BASE/sudokuGrade5/BQfUQA | 0.02330953667605281 | 2.076672050631242 | 89.0910908909109 |
BASE/sudokuGrade4/DTy07w | 0.0236216074953771 | 2.062747446518282 | 87.32460087324601 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.023934538280503626 | 0.15534342547787522 | 6.4903456109037805 |
STANFORD/sudoku/oJ1qyQ | 0.024283220716705533 | 1.9287685810249078 | 79.42803813079128 |
BASE/sudokuGrade6E/ihYFZA | 0.024393837662266188 | 1.6813243662700466 | 68.92414344754033 |
BASE/sudokuGrade6H/ieE_9A | 0.024457071118792185 | 1.6630254018978055 | 67.99773340888638 |
STANFORD/duidoku/3SoMaA | 0.02538011354200624 | 1.818302036498281 | 71.6427857380873 |
BASE/sudokuGrade1/tDRNRw | 0.026956587167851907 | 2.562502053286902 | 95.06032931137923 |
BASE/sudokuGrade2/u80Tfw | 0.027457905508791777 | 2.354423663615864 | 85.74665911287366 |
BASE/sudokuGrade3/eI8dvg | 0.02768104064391907 | 2.0626101999401176 | 74.51346307651293 |
DRESDEN/statespacelarge/8-y5HQ | 0.03377163015742432 | 484.4 | 14343.4 |
BASE/stateSpaceLarge/0Ge_CQ | 0.034158211558089756 | 492.28359054698177 | 14411.866666666667 |
STANFORD/knightstour/cEwgNA | 0.03902959326416761 | 2701.7 | 69221.83333333333 |
BASE/knightsTour/mvtVIg | 0.0399371782265793 | 2776.8333333333335 | 69530.03333333334 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.04080722334121089 | 981.9333333333333 | 24062.733333333334 |
DRESDEN/knightstour/cGISAA | 0.042067796204942665 | 2815.266666666667 | 66922.13333333333 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.042910958607987874 | 992.5333333333333 | 23130.066666666666 |
STANFORD/multiplesukoshi/vLSQPg | 0.04435637426282337 | 21.95715190084297 | 495.01683277224095 |
BASE/duplicateStateLarge/dcjyuw | 0.04702530633855837 | 331.88893703543215 | 7057.666666666667 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.049221938456145614 | 0.5007636645884974 | 10.173586825205062 |
BASE/hanoi_6_disks/MeubgQ | 0.05258385460551647 | 1256.4666666666667 | 23894.533333333333 |
DRESDEN/racer/vk_ZBA | 0.05370139554004469 | 0.11370743078060151 | 2.117401785132582 |
DRESDEN/grid_game2/kypTYQ | 0.05386522154159592 | 10.922774651170535 | 202.77972202779722 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.0557473394634715 | 1248.3 | 22392.1 |
BASE/nim1/hin2Qw | 0.058530604121130765 | 25.041625041625043 | 427.8381441237251 |
BASE/duplicateStateMedium/U163eQ | 0.06361647948509004 | 1110.4666666666667 | 17455.64475831973 |
STANFORD/triplesukoshi/Iu9mbA | 0.06364739278271217 | 51.33162227925736 | 806.5 |
BASE/ticTacToeNoVars/XT03NA | 0.06485747429618312 | 1116.3333333333333 | 17212.1 |
DRESDEN/nim1/M9BALA | 0.06514534630209995 | 26.00645999134228 | 399.2067195520299 |
BASE/aipsrovers01/4C4jsw | 0.065708318029515 | 856.4381187293757 | 13033.937626354687 |
BASE/racer/QQYQNw | 0.06890145252191228 | 0.10667235585897915 | 1.5481873306670106 |
DRESDEN/aipsrovers01/qS47Mw | 0.06928865456325345 | 877.4 | 12662.967776333766 |
BASE/knightsTourLarge/M8jgLA | 0.06971270084690734 | 1345.5666666666666 | 19301.6 |
BASE/hitori/S8Gsyg | 0.07154354446424854 | 4.147037356512508 | 57.96522086747951 |
STANFORD/knightstourbig/TQUI2g | 0.07582940455578283 | 1159.1333333333334 | 15286.066666666668 |
DRESDEN/nim2/z5_exA | 0.0844491402136719 | 24.651875541341862 | 291.9138724085061 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.0845490071609229 | 61.35235111807245 | 725.6424785840472 |
DRESDEN/hitori/S8Gsyg | 0.08517682674477363 | 4.6084477156687225 | 54.1044776119403 |
BASE/gt_ultimatum/GE-uOA | 0.0851949689708957 | 15.332028009159393 | 179.9640071985603 |
BASE/nim2/eF2Qqw | 0.085247611031431 | 26.111573688592838 | 306.302703063027 |
DRESDEN/mummymaze1p/AekgaQ | 0.0863353306206638 | 98.92014398080256 | 1145.7666666666667 |
BASE/mummymaze1p/PT_EXA | 0.08714793021860977 | 100.58323612731212 | 1154.1666666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 0.0876769310214979 | 15.58960692871419 | 177.80739753415529 |
BASE/stateSpaceMedium/3bUoIw | 0.08955040638813631 | 1610.3 | 17982.05128205128 |
BASE/colonelBlotto/jip21A | 0.08997695852534562 | 0.004608294930875576 | 0.05121638924455826 |
DRESDEN/statespacemedium/dVJZ_w | 0.09060832740016089 | 1633.2 | 18024.833333333332 |
DRESDEN/snake_2008/E56l3A | 0.09195383491746252 | 514.3161894603513 | 5593.2 |
STANFORD/duikoshi/tpw1sw | 0.09362110343140191 | 165.2724545909015 | 1765.3333333333333 |
BASE/pawnToQueen/-O1_JA | 0.09378355904767763 | 3.5391790427678367 | 37.73773440362389 |
BASE/snake_2008/i6K26g | 0.0961383681290279 | 517.1827605746475 | 5379.566666666667 |
DRESDEN/pawntoqueen/f_x6Aw | 0.09645451224573316 | 3.546334349728225 | 36.76690978119692 |
BASE/snake_2008_tweaked/bX0NJQ | 0.09656217789365185 | 530.8666666666667 | 5497.666666666667 |
BASE/tron_10x10/7ZTgDg | 0.09814422296383152 | 2321.3333333333335 | 23652.266666666666 |
BASE/cittaceot/fDxhXg | 0.10105599945709863 | 20.890947256188984 | 206.72644245191827 |
BASE/racer4/0vs7Ww | 0.10229849478252839 | 0.7510204081632653 | 7.341460983955088 |
DRESDEN/farmers/S_ASnw | 0.10612069109440671 | 8.909714889123547 | 83.95831950620561 |
BASE/quarto/EwBMVQ | 0.10824244981431505 | 245.2918236058798 | 2266.133333333333 |
BASE/brain_teaser_extended/ZDp94A | 0.10916123229143243 | 809.0666666666667 | 7411.666666666667 |
DRESDEN/quartosuicide/WIU1oQ | 0.10984771959523386 | 247.32580225932222 | 2251.5333333333333 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.11010800147122747 | 109.76666666666667 | 996.9 |
DRESDEN/quarto/OQzRYQ | 0.11228263339835726 | 256.89143695210157 | 2287.9 |
BASE/hidato19/rRHSmA | 0.11307038882441751 | 23.673170406872213 | 209.36666666666667 |
DRESDEN/snake_2009/zIYLVw | 0.11318846874236543 | 555.9666666666667 | 4911.866666666667 |
BASE/snake_2009/7l-qAQ | 0.11493485253230117 | 562.2 | 4891.466666666666 |
BASE/quartoSuicide/-23jUg | 0.11507656242956107 | 255.26666666666668 | 2218.233333333333 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.11600297022863852 | 447.8333333333333 | 3860.5333333333333 |
BASE/simultaneousWin2/PfjRjw | 0.12048875098149377 | 17.230461589735043 | 143.00473238685595 |
BASE/cubicup_3player/e2yA_g | 0.1205245664362485 | 41.25016660002665 | 342.2552581580614 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.12082834480694404 | 430.6 | 3563.733333333333 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.12149992162435012 | 424.7191760274658 | 3495.633333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.1221429873906164 | 830.5723142561915 | 6800.0 |
DRESDEN/quad_7x7/q-JOXg | 0.12229987483612484 | 0.4598198588082551 | 3.7597737481284312 |
DRESDEN/cubicup_3player/awDtsQ | 0.12249743522206194 | 40.019993335554815 | 326.70066326700663 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.12315708110274541 | 430.2 | 3493.1 |
BASE/gt_coordination/IVMOzA | 0.124018516726346 | 2562.9666666666667 | 20666.0 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.12503271335878208 | 461.8333333333333 | 3693.7 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.12636167702045076 | 431.9 | 3417.9666666666667 |
BASE/checkLines/Vop7oQ | 0.13123343943680457 | 370.1876604113196 | 2820.8333333333335 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.13127254888567366 | 1409.3333333333333 | 10735.933333333332 |
BASE/nineBoardTicTacToe/wRmqqA | 0.13212880902769789 | 171.26095796806774 | 1296.1666666666667 |
DRESDEN/tictactoelarge/IwXcbg | 0.1339675977993252 | 734.5666666666667 | 5483.166666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.1345022988636626 | 738.8594473885945 | 5493.284900189956 |
BASE/gt_chicken/gmepTQ | 0.1361650049092141 | 1312.8666666666666 | 9641.733333333334 |
DRESDEN/gt_chicken/CeuKtw | 0.1367528625338392 | 1342.0333333333333 | 9813.566666666668 |
BASE/ticTacToeLargeSuicide/727_8g | 0.13693497998633214 | 748.0666666666667 | 5462.933333333333 |
BASE/ticTacToeLarge/TZC0dg | 0.1380021178077557 | 734.1666666666666 | 5319.966666666666 |
BASE/connectFourLarger/qKi60A | 0.13845161653791097 | 173.92753574880837 | 1256.2333333333333 |
DRESDEN/nim4/F5YAYg | 0.13963871328087893 | 25.739211507725095 | 184.3271890936969 |
BASE/hidato37/pBrqxw | 0.13976014818070512 | 2.961730449251248 | 21.19152339064374 |
DRESDEN/connect4/T0-rHQ | 0.14154457412465857 | 114.0 | 805.4 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.14340682488414547 | 170.19432685577146 | 1186.793773540882 |
BASE/nim4/twk16w | 0.14364218569881165 | 26.05103604503964 | 181.36062131262292 |
BASE/nim3/1OwUqw | 0.14373917188014335 | 24.573787959509858 | 170.9609679677344 |
DRESDEN/nim3/sG_axA | 0.14495604026569472 | 25.971431425432026 | 179.16763853253806 |
DRESDEN/gt_prisoner/huCp4w | 0.14508252932273932 | 1636.0666666666666 | 11276.8 |
STANFORD/nineboardtictactoe/y28P-A | 0.1466074453003288 | 176.07065489085153 | 1200.9666666666667 |
BASE/gt_prisoner/klthDw | 0.14697879336996103 | 1692.5 | 11515.266666666666 |
BASE/wallmaze/uxNQ9g | 0.14753606573769945 | 253.7915402819906 | 1720.2 |
BASE/gt_staghunt/xPjLRA | 0.14762964021142425 | 1687.9333333333334 | 11433.566666666668 |
BASE/battle/8oAvhQ | 0.14904401160044176 | 4.211573536726911 | 28.25724758413862 |
BASE/blokbox_simple/JBx4bg | 0.1510673156719559 | 0.05231356752373728 | 0.3462930898787974 |
BASE/snake_2009_big/-oRfVw | 0.15186369184840162 | 438.1520615979467 | 2885.1666666666665 |
BASE/tictactoe2/bhrDoQ | 0.1529693716148205 | 2127.6 | 13908.666666666666 |
BASE/connect4/50bOyw | 0.1530151077221777 | 111.31849086788428 | 727.5 |
BASE/breakthroughSmallHoles/bxclRw | 0.1541140149632283 | 373.4542181927269 | 2423.233333333333 |
DRESDEN/battle/8oAvhQ | 0.15613847304555817 | 4.200568895944962 | 26.90284344409669 |
DRESDEN/snake_2009_big/DgC1NQ | 0.15805165415424405 | 440.0 | 2783.9 |
DRESDEN/cubicup/SBn_lw | 0.15887834025498312 | 101.25316624450073 | 637.3 |
BASE/cubicup/4wNWJA | 0.16256766306737006 | 104.13542603885502 | 640.5666666666667 |
STANFORD/skirmish/w4V6Vw | 0.16380739460492286 | 6.120683919898876 | 37.36512588250966 |
BASE/skirmish/Y_psYQ | 0.1668302222977572 | 5.937572561117192 | 35.59050919754732 |
DRESDEN/connect5/1kYzSg | 0.1693833626109187 | 202.04612103439084 | 1192.8333333333333 |
BASE/connectFourLarge/aU644A | 0.1694550496999206 | 346.01026598226787 | 2041.9 |
DRESDEN/Zhadu/9zpQ5w | 0.1704732909310941 | 5.1765330501725515 | 30.365654478184062 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.1707163882483079 | 607.0333333333333 | 3555.8 |
DRESDEN/four_way_battle/xSOQXA | 0.1715353043941042 | 19.724587546567324 | 114.98850114988501 |
BASE/connect5/d-BVQg | 0.17194919912892034 | 202.8198120125325 | 1179.5333333333333 |
BASE/chomp/-LcqYQ | 0.17256231218746032 | 332.03333333333336 | 1924.1358621379288 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.17470403966175316 | 1.2846696093286778 | 7.35340528940226 |
DRESDEN/minichess-evilconjuncts/th24Tw | 0.17561398130159436 | 73.65930073659301 | 419.43870408639424 |
BASE/connectFourSimultaneous/7ITr3g | 0.17695575929061974 | 217.95640871825634 | 1231.7 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.17696888013772552 | 1120.3546312035462 | 6330.8002533080025 |
DRESDEN/chomp/-LcqYQ | 0.177340260405666 | 338.7435427428762 | 1910.1333333333334 |
BASE/snakeAssemblit/UO4sdg | 0.1777104813029669 | 241.87581241875813 | 1361.0666666666666 |
BASE/skirmishHoles/AUCxCA | 0.1793636977398994 | 7.836626265980408 | 43.69126174765047 |
DRESDEN/skirmishfinal/hzq8ww | 0.18003259489875245 | 11.259910720234526 | 62.543733964213125 |
BASE/minichess-evilconjuncts/4OpQzw | 0.18052404503573688 | 75.80806397867377 | 419.93333333333334 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.18055054817739064 | 1122.0 | 6214.3261891270295 |
DRESDEN/towerworld/HCX34w | 0.18078716498936181 | 7.7678927101314565 | 42.96705858841555 |
STANFORD/platformjumpers/HEQskA | 0.18260129080675422 | 81.1 | 444.137057529498 |
BASE/circlesolitaire/azuQFQ | 0.1848770542775552 | 5054.033333333334 | 27337.266666666666 |
BASE/four_way_battle/xSOQXA | 0.1879816113772015 | 21.398573428438105 | 113.83333333333333 |
BASE/3pConnectFour/PqXOFQ | 0.1884186055447751 | 326.9 | 1734.9666666666667 |
DRESDEN/circlesolitaire/ruUilQ | 0.18872833782502835 | 5074.2 | 26886.264450144918 |
BASE/skirmishFinal1/ecWTnQ | 0.1888283330263595 | 10.456906886905555 | 55.37784886045582 |
BASE/futoshiki6/JmvXNA | 0.1900201612903226 | 37.69874337522083 | 198.39338688710376 |
STANFORD/connectfour/VMpZkQ | 0.19010738382590517 | 533.4666666666667 | 2806.133333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.19097071026578483 | 774.8 | 4057.1666666666665 |
BASE/connectFour_9x6/B9TtMw | 0.19102990033222592 | 479.1666666666667 | 2508.3333333333335 |
BASE/othelloHoles/c0qAzw | 0.19149501498519836 | 0.9251579148854718 | 4.831237590999338 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.19409124588013862 | 759.6666666666666 | 3913.9666666666667 |
BASE/guess/SPpk1A | 0.19506624790257196 | 5.912078475410378 | 30.30805451470637 |
BASE/skirmishFinal3/-Olhfw | 0.19512820115508797 | 14.239137667176792 | 72.97324314418047 |
BASE/pacman3p/wW7UVQ | 0.19603154887591603 | 210.4263191226959 | 1073.4308856371454 |
DRESDEN/chinesecheckers4/-oVNYg | 0.19664900297117652 | 214.0 | 1088.2333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.19706652010204834 | 800.7666666666667 | 4063.4333333333334 |
BASE/futoshiki4/BaCwSw | 0.1981312590680169 | 202.1599280023999 | 1020.3333333333334 |
BASE/ticTacToeSerial/Amrwqw | 0.1981992025014895 | 190.60156640559907 | 961.6666666666666 |
BASE/golden_rectangle/_nYzfw | 0.19882574553374038 | 0.9537277600552504 | 4.796802131912059 |
BASE/othelloSuicide/B442jg | 0.1996746909564086 | 0.878334417696812 | 4.39882697947214 |
BASE/pacman2p/4LEdQg | 0.19994701635869927 | 201.26666666666668 | 1006.6 |
BASE/pawnWhopping/Ypc_6Q | 0.20064335295998798 | 355.53333333333336 | 1771.9666666666667 |
BASE/conn4/va9Y7A | 0.20085997178062945 | 174.78834744350377 | 870.2 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.20167939221995848 | 353.06666666666666 | 1750.6333333333334 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.20320371243516885 | 545.9 | 2686.4666666666667 |
DRESDEN/sum15/CsgWKg | 0.20365431996521668 | 3278.766666666667 | 16099.666666666666 |
DRESDEN/pawn_whopping/4ogBkg | 0.20389763977298514 | 371.82093930202325 | 1823.5666666666666 |
BASE/sum15/QZ07Kg | 0.20440450470196533 | 3264.0333333333333 | 15968.5 |
STANFORD/madness/UO_B3A | 0.20524283684739214 | 7.2124173230963535 | 35.1408966757711 |
BASE/numbertictactoe/rvJ-iQ | 0.206535590751866 | 983.2333333333333 | 4760.6 |
BASE/rubiksCube/9tNO9Q | 0.20653590167975489 | 195.5 | 946.5666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.20655106957106498 | 808.8333333333334 | 3915.9 |
DRESDEN/minichess/c7GMFw | 0.20674245757021462 | 595.2666666666667 | 2879.266666666667 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 0.20784579273662457 | 98.72675154989668 | 475.0 |
DRESDEN/smallest_4player/ADDROA | 0.2090653240590198 | 201.25324978334777 | 962.6333333333333 |
BASE/futoshiki5/TJ4BZg | 0.20941782513264273 | 75.13911565759221 | 358.8 |
BASE/strangeSkirmish/gc1zKA | 0.20944890638463542 | 7.262309281098008 | 34.67341704693069 |
BASE/hex/T1MK8g | 0.20978106960026138 | 128.3957201426619 | 612.0462651244959 |
BASE/skirmishFinal2/gdB62Q | 0.21062264414773782 | 12.065057992267697 | 57.28281515545336 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.21115471846536316 | 0.4098877538151091 | 1.9411725998552345 |
BASE/lightsOnParallel/SC6enA | 0.2112209727171024 | 2177.5333333333333 | 10309.266666666666 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.21182628389701857 | 514.3495216826105 | 2428.1666666666665 |
BASE/tictactoe_3player/GtM71g | 0.21189140748843066 | 536.3748458692971 | 2531.366666666667 |
BASE/smallest_4player/ADDROA | 0.21199068582138392 | 201.19329355688143 | 949.0666666666667 |
STANFORD/hex/MTqWcw | 0.212895052000994 | 127.49575014166194 | 598.8666666666667 |
BASE/connectFour/WAIKTw | 0.2130155510250319 | 567.1965077143524 | 2662.7 |
BASE/connectFourSuicide/c8p9Kw | 0.21454091032030545 | 568.5477150761641 | 2650.0666666666666 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.21607940860773175 | 27.022529867882458 | 125.05832944470369 |
BASE/chinook/XQh0IQ | 0.2162414334926193 | 59.75272436431499 | 276.32412252924905 |
BASE/double_tictactoe_dengji/zgaSbA | 0.21803053053053054 | 580.8333333333334 | 2664.0 |
DRESDEN/eotcatcit/mQUxzA | 0.21806266401821053 | 3008.0 | 13794.2 |
BASE/eotcatcit/AfZSzA | 0.21967310960225128 | 2968.9333333333334 | 13515.233333333334 |
STANFORD/trifecta/ss1kyQ | 0.22038477927285535 | 2982.5333333333333 | 13533.3 |
DRESDEN/chinesecheckers6/yTbPDA | 0.22095113903542568 | 372.76666666666665 | 1687.1 |
BASE/doubletoetictac/fu35bg | 0.2216781532745433 | 644.3666666666667 | 2906.766666666667 |
BASE/blockerSerial/3eqDuw | 0.22245005572527135 | 173.1493517314935 | 778.3740541981934 |
BASE/doubletictactoe/HH1htg | 0.22368451038034684 | 654.3666666666667 | 2925.4 |
DRESDEN/tictactoe/BTTzPw | 0.2242469897359169 | 3237.133333333333 | 14435.570961935871 |
BASE/bunk_t/xbpfIA | 0.22445811599000123 | 655.5 | 2920.366666666667 |
STANFORD/tictactoe/ss1kyQ | 0.22457503691752007 | 2955.4 | 13159.966666666667 |
BASE/ticTacToe/JRFsaQ | 0.22572203053475928 | 3189.4333333333334 | 14129.916011198507 |
BASE/hexPie/48CH6Q | 0.2258290041041709 | 126.91590030654405 | 562.0 |
DRESDEN/crisscross/GsY16g | 0.2277400356824541 | 319.67868808746084 | 1403.7 |
STANFORD/chinook/osFbPA | 0.22804228161422158 | 57.949281882102035 | 254.11639224051729 |
DRESDEN/doubletictactoe/lJzgmQ | 0.2283971456177316 | 654.0 | 2863.4333333333334 |
BASE/crisscross/ICagEg | 0.2314962423138237 | 338.8333333333333 | 1463.6666666666667 |
DRESDEN/doubletoetictac/V89gKQ | 0.23208454961867292 | 670.5 | 2889.0333333333333 |
DRESDEN/bunk_t/7-tPfA | 0.23286185599963466 | 679.9333333333333 | 2919.9 |
DRESDEN/logistics/fPru1Q | 0.23585561343884104 | 1232.9666666666667 | 5227.633333333333 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.23654373695562372 | 73.48923978945966 | 310.6792880474635 |
BASE/cephalopodMicro/9l2D3g | 0.23682921245421246 | 4.1005291005291005 | 17.314287616954683 |
DRESDEN/mimikry/GJEhwA | 0.2373164572795335 | 239.9506699553363 | 1011.1 |
BASE/chineseCheckers4/avfBcQ | 0.23811828700502466 | 344.3666666666667 | 1446.2 |
BASE/brawl/6Ymo_Q | 0.24406093315188176 | 32.73720318380125 | 134.13536841403672 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.2447044705112067 | 73.17479349853451 | 299.03333333333336 |
DRESDEN/brawl/2kXtfQ | 0.24482215586017542 | 33.59216182890659 | 137.21046492251293 |
DRESDEN/guess/PhxGhg | 0.24621629504796477 | 6.4655172413793105 | 26.25950179341209 |
DRESDEN/endgame/IJhh3Q | 0.24653878944677068 | 123.16256124795841 | 499.56666666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 0.2475171561314522 | 387.1333333333333 | 1564.0666666666666 |
BASE/ticblock/T21C1g | 0.24871213875727785 | 471.35095496816774 | 1895.1666666666667 |
BASE/chineseCheckers6/rREH3A | 0.2500621504039776 | 536.4666666666667 | 2145.3333333333335 |
DRESDEN/ticblock/Z2yNWQ | 0.25017753529055164 | 481.46666666666664 | 1924.5 |
DRESDEN/chinesecheckers3/QsCb2A | 0.2517501352303794 | 536.8487717076098 | 2132.4666666666667 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.25564873439003605 | 326.93589230974277 | 1278.8480767948804 |
BASE/knightmove/jBaJEw | 0.25696635800213385 | 137.19542681910602 | 533.9042351137916 |
BASE/dualConnect4/WbCQkg | 0.2570224044626304 | 385.0538315389487 | 1498.1333333333334 |
BASE/escortLatch/mX9BjQ | 0.2570901931358126 | 255.01633224451703 | 991.9333333333333 |
DRESDEN/tpeg/h-Scbg | 0.25879449035048113 | 111.38514864684709 | 430.4 |
DRESDEN/kalaha_2009/gcC8uA | 0.25939790280753183 | 1150.3 | 4434.5 |
DRESDEN/hanoi7/51zz5Q | 0.25963269715520343 | 937.3 | 3610.1 |
BASE/kalaha_2009/dRiN3g | 0.2606484237760284 | 1182.0666666666666 | 4535.1 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 0.26126646719585234 | 704.809839672011 | 2697.6666666666665 |
BASE/tictactoe_orthogonal/WRzlVw | 0.262531769741829 | 3925.2 | 14951.333333333334 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.26287094773807806 | 339.69936339699365 | 1292.2666666666667 |
BASE/tpeg/QNs7Lw | 0.263093919615672 | 110.2889711028897 | 419.2 |
BASE/factoringGeorgeForman/HGRorQ | 0.26316794051501646 | 3171.2 | 12050.1 |
STANFORD/tictictoe/rpt_Dw | 0.2631892071897897 | 2086.866666666667 | 7929.1498650314925 |
BASE/bomberman2p/4CClwA | 0.263284904790143 | 1065.5666666666666 | 4047.2 |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 0.2633716455550757 | 11.713565171223786 | 44.47542235055926 |
DRESDEN/tictictoe/LAUtwg | 0.26360721241018065 | 2093.5333333333333 | 7941.866666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.2638894699410116 | 841.0333333333333 | 3187.0666666666666 |
BASE/chineseCheckers3/-1rZdQ | 0.2640211746305468 | 877.8 | 3324.733333333333 |
BASE/qyshinsu/R08Lzw | 0.26421817479034654 | 74.78255073816109 | 283.03333333333336 |
BASE/ticTicToe/c1OobQ | 0.2646945299848125 | 2103.0333333333333 | 7945.133333333333 |
DRESDEN/slidingpieces/s9_44g | 0.26565192959695877 | 58.6648011193284 | 220.83333333333334 |
BASE/chineseCheckers2/eCMR3Q | 0.266184254052266 | 1072.9 | 4030.6666666666665 |
BASE/slidingpieces/uFJWEw | 0.2669452882216311 | 58.674574351114515 | 219.8 |
DRESDEN/chinesecheckers2/06E6-Q | 0.268130125023402 | 647.078430718976 | 2413.3 |
DRESDEN/knightmove/97Ipcw | 0.2692586556450619 | 144.8521814485218 | 537.9666666666667 |
BASE/hanoi7_bugfix/3gdnFw | 0.27058904676507106 | 915.3666666666667 | 3382.866666666667 |
BASE/eotcitcit/V_9_bg | 0.2715396474012963 | 2154.766666666667 | 7935.366666666667 |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 0.2721476152839616 | 19.063566690281444 | 70.04862662636351 |
BASE/endgame/jYjfOA | 0.2723854803075516 | 148.1950601646612 | 544.0637290847277 |
BASE/dotsAndBoxes/EHwA_w | 0.27283839081681455 | 342.26666666666665 | 1254.4666666666667 |
STANFORD/multipletictactoe/_bkafQ | 0.27319469936492585 | 438.1041263915739 | 1603.6333333333334 |
BASE/ticTacHeaven/18n58A | 0.27375683031994386 | 102.22992566914436 | 373.43333333333334 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.2739949885608454 | 922.1666666666666 | 3365.633333333333 |
DRESDEN/hanoi/RQ0jiA | 0.275649105117217 | 1385.1 | 5024.866666666667 |
BASE/hanoi/iGLsJg | 0.2778252634314121 | 1354.3333333333333 | 4874.766666666666 |
BASE/englishDraughts/jFkQxg | 0.27802158234790225 | 166.7944146365848 | 599.9333333333333 |
BASE/chineseCheckers1/gqtwHw | 0.27803050254985995 | 1548.3333333333333 | 5568.933333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.27831894307837335 | 3956.266666666667 | 14214.866666666667 |
BASE/kalaha6x2x4/XS81Mg | 0.27951072461215565 | 1269.4666666666667 | 4541.745825417458 |
DRESDEN/crissrace/KWb9bw | 0.27974886536543425 | 239.0920302656578 | 854.6666666666666 |
STANFORD/untwistycorridor/EDPPAQ | 0.2804843253730455 | 17661.066666666666 | 62966.32313829787 |
BASE/kalaha5x2x3/WviNsw | 0.2810989121676068 | 1488.4 | 5294.933333333333 |
BASE/lightsOn/MsXu3A | 0.2812488445753583 | 6085.4 | 21637.066666666666 |
BASE/untwistycomplex2/EDPPAQ | 0.28334167179088315 | 17801.8 | 62828.03333333333 |
DRESDEN/ggp-course2013_michal13/jWKddg | 0.28340573086961846 | 2.242596134819603 | 7.913023240349769 |
BASE/toetictac/mTThmg | 0.2835525483953587 | 5830.766666666666 | 20563.266666666666 |
DRESDEN/toetictac/mJtxCA | 0.2841248334179843 | 5948.333333333333 | 20935.633333333335 |
DRESDEN/grid_game/U7_Yeg | 0.28441722972972977 | 628.6 | 2210.133333333333 |
DRESDEN/3pttc/uwYBZw | 0.2846054126722468 | 592.7666666666667 | 2082.766666666667 |
DRESDEN/lightsout2/LFtfyQ | 0.285264017077918 | 757.2333333333333 | 2654.5 |
DRESDEN/blocker/S815zQ | 0.2882986955448812 | 2789.6666666666665 | 9676.30693366208 |
BASE/crissrace/ERWGDA | 0.28845191339895415 | 253.64538251548038 | 879.3333333333334 |
DRESDEN/crossers3/xiPTxg | 0.2893329790956593 | 321.9118725418305 | 1112.6 |
DRESDEN/chickentictactoe/Ipbo-g | 0.29167789046062453 | 2670.9333333333334 | 9157.133333333333 |
DRESDEN/peg_bugfixed/u_B7MA | 0.29220676043754373 | 96.71721379770038 | 330.98896703443216 |
BASE/crossers3/O0rORg | 0.2924446374294399 | 314.3 | 1074.7333333333333 |
DRESDEN/peg/Vo31eg | 0.29391036049888947 | 95.56666666666666 | 325.155828139062 |
DRESDEN/battlesnakes1509/-qZrLw | 0.29398934258828846 | 164.38904073061795 | 559.1666666666666 |
DRESDEN/lightsout/XgLpzQ | 0.2949006519714374 | 759.9 | 2576.8 |
BASE/blocker/dIWtxg | 0.29586727199893176 | 2954.3333333333335 | 9985.333333333334 |
BASE/chickentictactoe/DSlZCA | 0.2959611299539855 | 2657.9 | 8980.57120005332 |
BASE/peg/fJHVWw | 0.2964436143035961 | 99.73674564297377 | 336.44423705086325 |
BASE/beatMania/qUHwvQ | 0.2969038992674935 | 3653.6666666666665 | 12305.889803673212 |
DRESDEN/battlesnakes2011/93VtTw | 0.2990959712937817 | 163.40609898350274 | 546.3333333333334 |
DRESDEN/stratego/Z2wovg | 0.2998297087051456 | 355.38815372820903 | 1185.3 |
STANFORD/pentago/ZxzLmg | 0.3001391412919217 | 165.76132235811644 | 552.2815906136462 |
BASE/pegEuro/5awwhg | 0.30080674930616175 | 78.6430737445433 | 261.4405226144052 |
DRESDEN/CephalopodMicro/H3XQfg | 0.30292683645490565 | 4.610129017279692 | 15.218621998734557 |
BASE/lightsOut/5P1ZBw | 0.3053842063281042 | 765.7 | 2507.3333333333335 |
DRESDEN/merrills/aYEzwA | 0.3078680024652675 | 3.519957494852892 | 11.433333333333334 |
DRESDEN/othello-cornercontrol/r5Gdlg | 0.3080746959574964 | 1.0521816328543714 | 3.4153458452152 |
BASE/chess_200/XsTpYA | 0.3085243149097197 | 0.9122006841505131 | 2.9566573526544935 |
BASE/ticTacHeavenFC/mrletw | 0.3138803958271761 | 141.59144655763913 | 451.1 |
DRESDEN/blobwars/ZaMluQ | 0.31415389972144847 | 120.29599013366222 | 382.9205693143562 |
BASE/ticTacToeParallel/ymRGPw | 0.3142922288688001 | 781.1 | 2485.266666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 0.31495997631217915 | 747.6834877674821 | 2373.9 |
DRESDEN/javastrike/whONTQ | 0.3149701041516162 | 70.36197586827545 | 223.39255358154728 |
BASE/merrills/pku8Tg | 0.31585607325185155 | 3.5318193820966464 | 11.18173649705481 |
BASE/3pttc/0sol9g | 0.3179019373831119 | 318.38938702043265 | 1001.5333333333333 |
BASE/quad_7x7/q-JOXg | 0.317975310987431 | 0.7227948065854638 | 2.2731161244592184 |
BASE/blobwars/0XT15Q | 0.3236784649495405 | 124.44607336820711 | 384.47436837544166 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.32548230394063493 | 269.1974403412878 | 827.0724309189694 |
DRESDEN/lightson2x2/gBHuig | 0.32556515056369484 | 4180.333333333333 | 12840.23589777763 |
DRESDEN/3pffa/0YrmQw | 0.3265518772846845 | 637.2333333333333 | 1951.4 |
DRESDEN/latenttictactoe/kITHKg | 0.32717758002390757 | 2052.766666666667 | 6274.166666666667 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.33101250540096544 | 269.68202119858677 | 814.7185281471852 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.3322107136048802 | 2962.5333333333333 | 8917.633333333333 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 0.33265220695659126 | 23.62939510081653 | 71.03333333333333 |
STANFORD/freeforall/Lfp40Q | 0.33303940410706623 | 274.74835010999266 | 824.9725009166361 |
BASE/tictactoe_3d_6player/d7KSwg | 0.3336938717291765 | 25.232492250258325 | 75.61568967240977 |
BASE/gt_tinfoil/Q8DyKg | 0.3369174999264122 | 665.1111629612346 | 1974.1069048253798 |
BASE/4pffa/Q3ADlg | 0.33845152009365437 | 318.2121191920539 | 940.2 |
BASE/3pffa/pR0dzA | 0.3404043083831722 | 328.44477034864343 | 964.8666666666667 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.3408239668966638 | 988.90073995067 | 2901.5 |
BASE/ghostMaze2p/W-NU-w | 0.3409556388356284 | 2086.4666666666667 | 6119.466666666666 |
DRESDEN/knightfight/4_Ly4w | 0.34127773742912654 | 1232.0922635912136 | 3610.233333333333 |
BASE/withConviction/3Xm54A | 0.34234151282169334 | 495.73333333333335 | 1448.0666666666666 |
BASE/2pttc/unkkYA | 0.3431403901503038 | 286.1333333333333 | 833.8666666666667 |
DRESDEN/pentago_2008/hLjVpQ | 0.3447113910336115 | 77.54598773660358 | 224.9591680277324 |
DRESDEN/quad_5x5/JAEP5g | 0.34597492229071175 | 1.6894087069525665 | 4.883038041505824 |
BASE/2pffa/6oHijA | 0.34927883453037484 | 289.4473701753216 | 828.7 |
STANFORD/breakthrough/d5j0cQ | 0.34983335438663726 | 583.1138962034598 | 1666.8333333333333 |
DRESDEN/max_knights/hCipiA | 0.3501085582812145 | 360.1333333333333 | 1028.6333333333334 |
DRESDEN/skirmish3/3LU8Nw | 0.3550818265169095 | 63.24558480506498 | 178.11552178115522 |
DRESDEN/fizzbuzz/t1xHzQ | 0.3566401647794772 | 10.874987528684027 | 30.492884993501516 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.3569621731882984 | 5296.533333333334 | 14837.8 |
DRESDEN/cube_2x2x2/fp-34Q | 0.3581290574632387 | 1436.1333333333334 | 4010.1 |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 0.358992335750589 | 24.061052421101742 | 67.02386102698925 |
BASE/max_knights/2fq3Ag | 0.35903344675239657 | 367.0877637412086 | 1022.4333333333333 |
BASE/2pffa_zerosum/o0_uZA | 0.3601338639465304 | 288.9474035064329 | 802.3333333333334 |
DRESDEN/frogs_and_toads/GjchhQ | 0.3612758906200083 | 520.2493250224993 | 1440.0333333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 0.3613557194251135 | 4643.866666666667 | 12851.233333333334 |
BASE/chickentoetictac/l57rfQ | 0.3625012333241591 | 4653.766666666666 | 12837.933333333332 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.36692807122206417 | 6393.6 | 17424.668488038915 |
DRESDEN/skirmish/RjGQYQ | 0.36907831842680733 | 67.15323601946277 | 181.94847181948472 |
STANFORD/alquerquezero/uVgA_A | 0.3703309931869155 | 97.23333333333333 | 262.55791473617546 |
BASE/knightfight/SJRkAg | 0.3723164174418148 | 1264.8333333333333 | 3397.2 |
DRESDEN/checkers-mustjump/HUr33w | 0.3734875088374799 | 4.824809503210994 | 12.918262027634427 |
BASE/quad_5x5/JAEP5g | 0.37933937447802457 | 2.344702535405008 | 6.181015452538631 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.38252444839468364 | 42.203790679857434 | 110.32965567814406 |
BASE/coloredtrails/EZvr7g | 0.38307484864275393 | 2376.9666666666667 | 6204.966666666666 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.38390677310368937 | 9369.766666666666 | 24406.359364063595 |
BASE/checkersTorus/2vm1EQ | 0.38392235419930887 | 161.62794573514216 | 420.99123420991236 |
DRESDEN/Runners/3bOCQw | 0.3884146848108554 | 5544.233333333334 | 14274.005464116746 |
BASE/tictactoex9/BI26ow | 0.3920182154860996 | 344.0874550059992 | 877.7333333333333 |
BASE/lightsOnSimultaneous/_VN6lw | 0.39413658943148433 | 370.9876337455418 | 941.2666666666667 |
DRESDEN/blockerparallel/dVQgSg | 0.395785283845485 | 194.64071457139048 | 491.7836072130929 |
DRESDEN/skirmish2/iPpWhQ | 0.3957989685520149 | 68.8931106889311 | 174.0608646378454 |
DRESDEN/tictactoex9/rFkD4w | 0.3964267918720949 | 346.6884437185427 | 874.5333333333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.39873456790123457 | 10765.833333333334 | 27000.0 |
BASE/blocks2player/wnTLOQ | 0.39941254981439134 | 7737.466666666666 | 19372.11705105986 |
BASE/blockerParallel/7-nDJA | 0.40146485043466357 | 195.48696753549763 | 486.93420438637423 |
DRESDEN/smallest/9kaGFw | 0.40284545255314486 | 61.266666666666666 | 152.08479152084792 |
BASE/copolymer_4_pie/IN5_jA | 0.4046109645066846 | 9.112981009079721 | 22.52282268274805 |
DRESDEN/roshambo2/jgSlkQ | 0.40695164978465154 | 8024.233333333334 | 19717.903435407017 |
STANFORD/hunter/14dD-g | 0.4083646154753248 | 3463.0 | 8480.166666666666 |
BASE/checkersTorusNoKings/pwb6oQ | 0.4083848366715342 | 174.5709048491918 | 427.46666666666664 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.4124783874083965 | 11172.733333333334 | 27086.833333333332 |
BASE/mummymaze2p/vpjDdA | 0.4139932097934521 | 922.6666666666666 | 2228.7 |
BASE/roshambo2/KNPokQ | 0.41836981656453687 | 8166.433333333333 | 19519.652255012992 |
DRESDEN/catch_me/ghGWrA | 0.42386215635890034 | 3211.0666666666666 | 7575.733333333334 |
DRESDEN/mummymaze2p/k-8edg | 0.42608031760574133 | 930.1333333333333 | 2183.0 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.42705787893597713 | 3262.266666666667 | 7638.933333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.42708040668368213 | 2.9991002699190243 | 7.022331680367424 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.42873468913504087 | 83.36388787040433 | 194.44166749975008 |
BASE/checkers-mustjump/T-8UuQ | 0.4297957730112111 | 4.558764807666711 | 10.60681629260183 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 0.43578183186752234 | 2.4292845257903495 | 5.574542920662309 |
BASE/lightsOnSimul4/9FeASw | 0.43607226397252774 | 292.06666666666666 | 669.7666666666667 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.4362352715905576 | 86.62178376216505 | 198.56666666666666 |
DRESDEN/oisters_farm/pTQMLg | 0.43738266477851107 | 7755.2 | 17730.92677078824 |
DRESDEN/Thief_Police/CX18rA | 0.4391087435239079 | 3203.766666666667 | 7296.066666666667 |
DRESDEN/checkers-newgoals/IJOqXQ | 0.4409695938147191 | 29.78014656895403 | 67.53333333333333 |
BASE/copolymer_4/2LDVhQ | 0.4411411203078302 | 8.830168636303279 | 20.016652789342213 |
BASE/incredible/8Qh-6Q | 0.44221155936000534 | 3526.6666666666665 | 7975.066666666667 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.44663514841142404 | 166.500033326668 | 372.7875737475417 |
BASE/checkersBarrelNoKings/rnKNeg | 0.4486538891789097 | 200.5266491116963 | 446.9517682743909 |
DRESDEN/blocks2player/3ev8nQ | 0.44873829966124396 | 8575.0 | 19109.133333333335 |
BASE/firefighter/WJmoPw | 0.44895736579377626 | 5510.233333333334 | 12273.4 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.44951134183500735 | 3319.266666666667 | 7384.166666666667 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 0.45246806971706505 | 3.2548407452921055 | 7.19352582675592 |
BASE/skirmishZeroSum/zh4hcw | 0.45257626148951957 | 53.704690831556505 | 118.66440067979606 |
BASE/skirmishNew/sibw2g | 0.45476012475407546 | 53.95587549156836 | 118.64689218463589 |
BASE/checkers-mustjump-torus/uSApKQ | 0.45955323773718826 | 2.1958279269388163 | 4.778179646281979 |
DRESDEN/4pttc/9pB9AQ | 0.4629840173460493 | 673.6108796373454 | 1454.9333333333334 |
DRESDEN/point_grab/r5DPmQ | 0.4636796615242404 | 7423.333333333333 | 16009.61601147402 |
DRESDEN/checkers/jIDMIg | 0.46825396825396826 | 31.463520314635204 | 67.19328067193281 |
DRESDEN/firefighter/WJmoPw | 0.4727370948595042 | 5729.266666666666 | 12119.350753232902 |
DRESDEN/cylinder-checkers/clOO3Q | 0.4733976295244443 | 22.287370490055636 | 47.07959884050245 |
BASE/point_grab/V_osUg | 0.4741608129377833 | 7666.3 | 16168.143361534874 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.47642392617159496 | 3.0301012253596165 | 6.360094568945423 |
STANFORD/dualhunter/1rPZjQ | 0.4769572327194166 | 1331.9666666666667 | 2792.633333333333 |
DRESDEN/twisty-passages/j7NPyg | 0.4820522458184551 | 1111.5 | 2305.766666666667 |
BASE/twisty-passages/DiZmmg | 0.4860078933651054 | 1087.7666666666667 | 2238.1666666666665 |
BASE/breakthroughHoles/nZk0Sg | 0.4906658116524373 | 179.35470968602093 | 365.53333333333336 |
BASE/cylinder-checkers/hlldmw | 0.49567468481592525 | 21.11011220990244 | 42.58864302852572 |
BASE/speedChess/bPnisA | 0.49628848224303657 | 58.31000932960149 | 117.49216718885408 |
DRESDEN/racetrackcorridor/O0DoTA | 0.49971710770921907 | 1030.4333333333334 | 2062.0333333333333 |
BASE/racetrackcorridor/_RkdUg | 0.5016290636988677 | 629.9123362554582 | 1255.7333333333333 |
BASE/breakthroughWalls/vOZaYA | 0.5084509528845095 | 167.78322167783222 | 329.98900036665447 |
DRESDEN/hallway/0H4l-Q | 0.511987249916955 | 253.05823139228693 | 494.26666666666665 |
BASE/hallway/ckCJOw | 0.5148935104812485 | 247.19213464422597 | 480.08399720009334 |
BASE/eightPuzzle/vLrgFg | 0.5219536563494241 | 4249.033333333334 | 8140.633333333333 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.5241132210695981 | 665.7111429619013 | 1270.1666666666667 |
STANFORD/8puzzle/jNiGtw | 0.5288510744523726 | 4237.066666666667 | 8011.833333333333 |
BASE/breakthrough/TGxk-g | 0.5366599852305095 | 169.56101463284557 | 315.95613479550684 |
BASE/sheepAndWolf/g4THrg | 0.5376361054126558 | 681.4 | 1267.4 |
DRESDEN/8puzzle/8fKC2w | 0.5415013059258506 | 4257.066666666667 | 7861.6 |
BASE/breakthroughSuicide/wZDpIg | 0.5434353770737844 | 171.8161517181615 | 316.1666666666667 |
STANFORD/eightpuzzle/W_aWbA | 0.5454200110835017 | 4068.0333333333333 | 7458.533333333334 |
BASE/checkersTiny/Lr48cg | 0.5487081303349167 | 102.01633061156474 | 185.92093860409307 |
BASE/pancakes88/l2Xaig | 0.5529955945585227 | 10468.833333333334 | 18931.133333333335 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 0.5531646454280281 | 3.4760154930976266 | 6.283871396748346 |
BASE/checkers-newgoals/0XkFiA | 0.5562456866804693 | 26.855924296947887 | 48.28068772491004 |
BASE/checkersSmall/SYmq8w | 0.570695102685624 | 48.16506116462784 | 84.39718676044131 |
DRESDEN/pancakes88/aD3E7g | 0.5787607912893302 | 11170.7 | 19301.065601065602 |
BASE/4pttc/AL1k2Q | 0.5839781309363852 | 420.1333333333333 | 719.4333333333333 |
BASE/checkers/rOC3Xg | 0.5857829637885711 | 30.55648117294235 | 52.16348556010792 |
BASE/breakthroughSuicideSmall/XSbJog | 0.5892613925286578 | 273.6726327367263 | 464.43333333333334 |
BASE/quad/tw-Ufg | 0.6118375226381674 | 0.8955758552749418 | 1.463747845037895 |
DRESDEN/pancakes/hl9aiQ | 0.6197476227136532 | 13658.266666666666 | 22038.433333333334 |
BASE/pancakes6/QZTdnw | 0.6360665469276815 | 13658.967436589674 | 21474.1169812577 |
DRESDEN/pancakes6/SZXMyQ | 0.6376261406148622 | 13856.7 | 21731.7 |
BASE/pancakes/yUgbXw | 0.6472487049418896 | 14031.333333333334 | 21678.426277566792 |
DRESDEN/quad/JPe6fg | 0.7484334551896882 | 1.194936054773285 | 1.5965828979016339 |
STANFORD/selectivesukoshi/3xmXYg | 1.4650618245443823 | 6.152106680855309 | 4.199213014623833 |
BASE/laikLee_hex/zbyscQ | 1.8903564689683305 | 2.039879647100821 | 1.079097874177188 |
DRESDEN/laikLee_hex/ZeP3QQ | 2.271897745699106 | 2.6192655884447156 | 1.152897657213317 |
BASE/battlebrushes/arCwyA | 3.1406822262118492 | 0.9096349491322562 | 0.28962973125409675 |
BASE/ad_game_2x2/D0aWqg | 11.60542598762494 | 0.23798191337458352 | 0.02050609030882172 |
Games with errors:
Game | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message | PALAMEDES_JOCULAR:0.6.1 error message |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive | |
BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException | |
BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/knightazons/apnJBQ | Exception of type NullPointerException | |
DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException | |
BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException | |
DRESDEN/pacman3p/rBnk8Q | Exception of type NullPointerException | |
DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | Exception of type NullPointerException | |
DRESDEN/babel/WdSW4A | Exception of type NullPointerException | |
BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException | |
BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Exception of type NullPointerException | |
DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException | |
BASE/wargame02/BkVqqQ | Exception of type NullPointerException | |
BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException | |
BASE/snakeParallel/RCVNtw | Exception of type NullPointerException | |
BASE/gt_attrition/kD_SCA | IllegalArgumentException: bound must be positive | |
BASE/pentago/86NgKw | Exception of type NullPointerException | |
DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException | |
BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException | |
BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException | |
BASE/slaughter/cOch8A | Exception of type NullPointerException | |
DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException | |
BASE/ruleDepthLinear/OUBJpQ | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive | |
DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/tttcc4/8Bs2lg | Exception of type NullPointerException | |
DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException | |
BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException | |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException | |
BASE/amazons/RKKZjw | Exception of type NullPointerException | |
DRESDEN/Goldrush/VeWczQ | Exception of type NullPointerException | |
BASE/wargame01/_GZFZg | Exception of type NullPointerException | |
BASE/shmup/ssTNlg | Exception of type NullPointerException | |
BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException | |
BASE/colonelBlottoVariant2/jruwGw | IllegalArgumentException: bound must be positive | |
BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException | |
BASE/colonelBlottoVariant/X-n-KQ | IllegalArgumentException: bound must be positive | |
DRESDEN/amazons/dNB28A | Exception of type NullPointerException | |
DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException | |
BASE/asteroids/BKCmPQ | Exception of type NullPointerException | |
BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive | |
BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Exception of type NullPointerException | |
DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException | |
BASE/ttcc4/Le0qjQ | Exception of type NullPointerException | |
BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds | |
DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException | |
DRESDEN/small_dominion/yB5GJA | Exception of type NullPointerException | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive | |
BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds | |
DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException | |
BASE/wargame03/klXI8w | Exception of type NullPointerException | |
STANFORD/pilgrimage/ObRZnQ | Exception of type NullPointerException | |
BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException | |
BASE/knightThrough/gcwFjA | Exception of type NullPointerException | |
BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException | |
DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException | |
DRESDEN/queens/mW2wHQ | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException | |
DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException | |
BASE/mineClearingSmall/frsbvw | Exception of type NullPointerException | |
STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | IllegalArgumentException: bound must be positive |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | IllegalArgumentException: bound must be positive |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | Exception of type StackOverflowError |
BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | IllegalArgumentException: bound must be positive |