Game-by-game performance:
Game | Perf ratio | FLUXPLAYER_PROLOG:1.1 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
BASE/crisscross/ICagEg | 0.0 | 0.0 | 338.8333333333333 |
DRESDEN/blobwars/ZaMluQ | 0.0 | 0.0 | 120.29599013366222 |
DRESDEN/battlesnakes1509/-qZrLw | 0.0 | 0.0 | 164.38904073061795 |
BASE/ad_game_2x2/D0aWqg | 0.0 | 0.0 | 0.23798191337458352 |
BASE/slaughter/cOch8A | 0.0 | 0.0 | 2.7983210073955624 |
DRESDEN/battlesnakes2011/93VtTw | 0.0 | 0.0 | 163.40609898350274 |
DRESDEN/ticblock/Z2yNWQ | 0.0 | 0.0 | 481.46666666666664 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.0 | 0.0 | 27.022529867882458 |
BASE/colonelBlotto/jip21A | 0.0 | 0.0 | 0.004608294930875576 |
BASE/blobwars/0XT15Q | 0.0 | 0.0 | 124.44607336820711 |
BASE/ticblock/T21C1g | 0.0 | 0.0 | 471.35095496816774 |
BASE/gt_attrition/kD_SCA | 0.0 | 0.0 | 0.09904585823236159 |
DRESDEN/crisscross/GsY16g | 0.0 | 0.0 | 319.67868808746084 |
BASE/englishDraughts/jFkQxg | 0.0 | 0.0 | 166.7944146365848 |
BASE/checkersTorusNoKings/pwb6oQ | 0.0017184994272623137 | 0.3 | 174.5709048491918 |
BASE/checkersBarrelNoKings/rnKNeg | 0.0018285183953900706 | 0.36666666666666664 | 200.5266491116963 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.002202201761409127 | 0.36666666666666664 | 166.500033326668 |
BASE/tttcc4/8Bs2lg | 0.003023052174823636 | 0.433188937020993 | 143.29522349255024 |
BASE/ttcc4/Le0qjQ | 0.0030350529100529105 | 0.43333333333333335 | 142.77620396600565 |
DRESDEN/tttcc4/sAvtFg | 0.0031442897377869415 | 0.4330446369087275 | 137.72415172321845 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.0031606604158173667 | 1.0333333333333334 | 326.93589230974277 |
BASE/checkersTorus/2vm1EQ | 0.006592925875252129 | 1.0656010656010657 | 161.62794573514216 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.007244832729597272 | 1.1333333333333333 | 156.43333333333334 |
STANFORD/ttcc4/Cx9SGw | 0.009526160561591078 | 1.13295568143952 | 118.93098737045553 |
BASE/ttcc4_2player/_aH_Mw | 0.010930668332292318 | 1.1666666666666667 | 106.73333333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.012191447910180963 | 40.46666666666667 | 3319.266666666667 |
DRESDEN/catch_me/ghGWrA | 0.012286731977380845 | 39.45351549483505 | 3211.0666666666666 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.012854048309968526 | 41.93333333333333 | 3262.266666666667 |
DRESDEN/Thief_Police/CX18rA | 0.012984715907317429 | 41.6 | 3203.766666666667 |
BASE/blockerSerial/3eqDuw | 0.014053378248315688 | 2.433333333333333 | 173.1493517314935 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.02499350314920077 | 4.463690872751499 | 178.5940468651045 |
BASE/breakthroughHoles/nZk0Sg | 0.025267375100946652 | 4.53182272575808 | 179.35470968602093 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.025687090416358714 | 4.633333333333334 | 180.3759498733502 |
BASE/breakthroughSuicide/wZDpIg | 0.026957822982381235 | 4.631789403532156 | 171.8161517181615 |
DRESDEN/breakthrough/z4hK7Q | 0.027081485810766935 | 4.633333333333334 | 171.0885940937271 |
BASE/breakthroughWalls/vOZaYA | 0.02739806358732637 | 4.596935376415723 | 167.78322167783222 |
BASE/breakthrough/TGxk-g | 0.028102440396153908 | 4.765078307230923 | 169.56101463284557 |
BASE/ttcc4_2player_small/Cv72TA | 0.02986962326054984 | 8.8 | 294.6136924205053 |
BASE/knightThrough/gcwFjA | 0.029981470997556756 | 5.198267244251916 | 173.3826617338266 |
DRESDEN/knightthrough/J7Fc_Q | 0.031169534463469747 | 5.361305361305361 | 172.0046658890185 |
BASE/breakthroughSuicideSmall/XSbJog | 0.0805098161003532 | 22.033333333333335 | 273.6726327367263 |
BASE/breakthroughSmall/HJ0tIA | 0.08576297713063508 | 23.166666666666668 | 270.12432918902704 |
BASE/copolymer_4_pie/IN5_jA | 0.13899586374695863 | 1.2666666666666666 | 9.112981009079721 |
DRESDEN/stratego/Z2wovg | 0.1951856468454949 | 69.36666666666666 | 355.38815372820903 |
DRESDEN/mummymaze2p/k-8edg | 0.24813646788990826 | 230.8 | 930.1333333333333 |
BASE/mummymaze2p/vpjDdA | 0.24992774566473988 | 230.6 | 922.6666666666666 |
BASE/skirmishHoles/AUCxCA | 0.25095833333333334 | 1.9666666666666666 | 7.836626265980408 |
BASE/strangeSkirmish/gc1zKA | 0.26153759144505345 | 1.8993668777074308 | 7.262309281098008 |
DRESDEN/towerworld/HCX34w | 0.2615868623197071 | 2.031978680879414 | 7.7678927101314565 |
DRESDEN/capture_the_king/EQ229Q | 0.2767187297842956 | 5.091514143094842 | 18.39960073199135 |
BASE/skirmishFinal3/-Olhfw | 0.2996436137071651 | 4.266666666666667 | 14.239137667176792 |
DRESDEN/logistics/fPru1Q | 0.30684798183243667 | 378.3333333333333 | 1232.9666666666667 |
BASE/skirmishFinal2/gdB62Q | 0.364689502762431 | 4.4 | 12.065057992267697 |
DRESDEN/skirmishfinal/hzq8ww | 0.39333388504986133 | 4.428904428904429 | 11.259910720234526 |
BASE/skirmishFinal1/ecWTnQ | 0.4206343108560416 | 4.3985338220593135 | 10.456906886905555 |
BASE/kalaha_2009/dRiN3g | 0.548530821724663 | 648.4 | 1182.0666666666666 |
BASE/merrills/pku8Tg | 0.5660916766062403 | 1.9993335554815062 | 3.5318193820966464 |
DRESDEN/merrills/aYEzwA | 0.568188679245283 | 2.0 | 3.519957494852892 |
DRESDEN/kalaha_2009/gcC8uA | 0.5733286968616883 | 659.5 | 1150.3 |
BASE/kalaha6x2x4/XS81Mg | 0.6011185799810944 | 763.1 | 1269.4666666666667 |
BASE/skirmish/Y_psYQ | 0.6229426317856804 | 3.6987670776407864 | 5.937572561117192 |
BASE/kalaha5x2x3/WviNsw | 0.6347084117172803 | 944.7 | 1488.4 |
DRESDEN/smallest_4player/ADDROA | 0.7194914872474331 | 144.8 | 201.25324978334777 |
BASE/smallest_4player/ADDROA | 0.7197058979456594 | 144.8 | 201.19329355688143 |
STANFORD/skirmish/w4V6Vw | 0.827242707760044 | 5.063291139240507 | 6.120683919898876 |
BASE/checkers/rOC3Xg | 0.8967001090512541 | 27.4 | 30.55648117294235 |
DRESDEN/checkers/jIDMIg | 1.0255262711864406 | 32.266666666666666 | 31.463520314635204 |
BASE/checkersSmall/SYmq8w | 1.0657794694348328 | 51.333333333333336 | 48.16506116462784 |
DRESDEN/checkers-newgoals/IJOqXQ | 1.0678255033557047 | 31.8 | 29.78014656895403 |
STANFORD/madness/UO_B3A | 1.118068785059358 | 8.063978673775408 | 7.2124173230963535 |
DRESDEN/smallest/9kaGFw | 1.1229597388465724 | 68.8 | 61.266666666666666 |
DRESDEN/cylinder-checkers/clOO3Q | 1.1336764324862978 | 25.266666666666666 | 22.287370490055636 |
DRESDEN/ghostmaze2p/HY0UwA | 1.1424415404695634 | 2421.633333333333 | 2119.7 |
BASE/ghostMaze2p/W-NU-w | 1.148049333801962 | 2395.366666666667 | 2086.4666666666667 |
BASE/cylinder-checkers/hlldmw | 1.193740694006309 | 25.2 | 21.11011220990244 |
BASE/checkers-newgoals/0XkFiA | 1.2213320099255582 | 32.8 | 26.855924296947887 |
BASE/checkersTiny/Lr48cg | 1.2481661766307306 | 127.33333333333333 | 102.01633061156474 |
DRESDEN/gt_prisoner/huCp4w | 1.2729717615419094 | 2082.6666666666665 | 1636.0666666666666 |
BASE/gt_prisoner/klthDw | 1.2734613490891187 | 2155.3333333333335 | 1692.5 |
DRESDEN/Runners/3bOCQw | 1.3814473897803723 | 7659.066666666667 | 5544.233333333334 |
DRESDEN/hallway/0H4l-Q | 1.411796268001405 | 357.26666666666665 | 253.05823139228693 |
BASE/hallway/ckCJOw | 1.4241283762527528 | 352.03333333333336 | 247.19213464422597 |
DRESDEN/gt_chicken/CeuKtw | 1.4480514641961202 | 1943.3333333333333 | 1342.0333333333333 |
BASE/gt_chicken/gmepTQ | 1.4919006753668818 | 1958.6666666666667 | 1312.8666666666666 |
BASE/haystack/UkweGA | 1.503989784029298 | 52881.23333333333 | 35160.63333333333 |
STANFORD/buttonsandlights/eyhJpA | 1.6556759210741687 | 53610.4 | 32379.766666666666 |
BASE/untwistycomplex2/EDPPAQ | 1.6607459170795462 | 29564.266666666666 | 17801.8 |
BASE/pearls/6k_mEQ | 1.6820979752668663 | 35260.86666666667 | 20962.433333333334 |
STANFORD/untwistycorridor/EDPPAQ | 1.7428524513430674 | 30780.633333333335 | 17661.066666666666 |
BASE/gt_coordination/IVMOzA | 1.7778876042086644 | 4556.666666666667 | 2562.9666666666667 |
BASE/survival/YVIjJA | 1.8458598116355611 | 53988.2 | 29248.266666666666 |
BASE/blockerParallel/7-nDJA | 1.8555371639670362 | 362.73333333333335 | 195.48696753549763 |
DRESDEN/blockerparallel/dVQgSg | 1.862577077625571 | 362.53333333333336 | 194.64071457139048 |
BASE/onestep/xi53wA | 1.8663737773980553 | 74782.3 | 40068.23333333333 |
BASE/switches/tPUoCg | 1.8901205126434708 | 23724.666666666668 | 12551.933333333332 |
BASE/gt_staghunt/xPjLRA | 1.9052885185038904 | 3216.0 | 1687.9333333333334 |
DRESDEN/snake_2009_big/DgC1NQ | 1.9472727272727273 | 856.8 | 440.0 |
BASE/snake_2009_big/-oRfVw | 1.9609630429821225 | 859.2 | 438.1520615979467 |
DRESDEN/buttons/ADUaHw | 1.9622241549155823 | 30608.8 | 15599.033333333333 |
BASE/colonelBlottoVariant/X-n-KQ | 1.9624183006535947 | 20.0 | 10.191507077435471 |
BASE/buttons/hTcUjw | 1.9967753130382113 | 30878.2 | 15464.033333333333 |
BASE/snake_2009/7l-qAQ | 2.129491284240484 | 1197.2 | 562.2 |
DRESDEN/snake_2009/zIYLVw | 2.138977156903891 | 1189.2 | 555.9666666666667 |
DRESDEN/chomp/-LcqYQ | 2.197631067165158 | 744.4333333333333 | 338.7435427428762 |
BASE/qyshinsu/R08Lzw | 2.2933157308377896 | 171.5 | 74.78255073816109 |
BASE/chomp/-LcqYQ | 2.3015761469731952 | 764.2 | 332.03333333333336 |
BASE/quad_5x5/JAEP5g | 2.331496888888889 | 5.466666666666667 | 2.344702535405008 |
DRESDEN/grid_game/U7_Yeg | 2.383391664015272 | 1498.2 | 628.6 |
DRESDEN/troublemaker01/C-lPWw | 2.4105739535459336 | 57136.066666666666 | 23702.266666666666 |
BASE/troublemaker01/s3tlEQ | 2.463107636367861 | 56540.8 | 22955.066666666666 |
BASE/coloredtrails/EZvr7g | 2.5395812590276123 | 6036.5 | 2376.9666666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 2.543857130552126 | 11813.333333333334 | 4643.866666666667 |
BASE/chickentoetictac/l57rfQ | 2.568628995867147 | 11953.8 | 4653.766666666666 |
BASE/troublemaker02/DI83KA | 2.5964239034980534 | 54894.2 | 21142.233333333334 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 2.6275295238095233 | 9.133333333333333 | 3.4760154930976266 |
DRESDEN/latenttictactoe/kITHKg | 2.628290274913531 | 5395.266666666666 | 2052.766666666667 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 2.6345205479452054 | 6.4 | 2.4292845257903495 |
BASE/maze/cCX3qQ | 2.6529649745403425 | 43782.5 | 16503.233333333334 |
DRESDEN/troublemaker02/iZLVuA | 2.6900478213974766 | 55201.933333333334 | 20520.8 |
DRESDEN/blocks/vg0DRw | 2.691999229063168 | 31193.9 | 11587.633333333333 |
BASE/blocksWorld/SEdXLQ | 2.7168473581557167 | 30923.7 | 11382.2 |
BASE/incredible/8Qh-6Q | 2.731162570888469 | 9631.9 | 3526.6666666666665 |
BASE/blocks/xIV5hQ | 2.760173695801463 | 31082.5 | 11261.066666666668 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 2.826559183673469 | 9.2 | 3.2548407452921055 |
BASE/snake_2008_tweaked/bX0NJQ | 2.827828707773452 | 1501.2 | 530.8666666666667 |
DRESDEN/bomberman2p/x4h6jQ | 2.843474981141564 | 3015.6 | 1060.5333333333333 |
BASE/checkers-mustjump-torus/uSApKQ | 2.8538969696969696 | 6.266666666666667 | 2.1958279269388163 |
BASE/bomberman2p/4CClwA | 2.8556010886226426 | 3042.8333333333335 | 1065.5666666666666 |
BASE/gt_centipede/9fRMpw | 2.913823342623701 | 29516.933333333334 | 10129.966666666667 |
BASE/snake_2008/i6K26g | 2.9257226819627054 | 1513.1333333333334 | 517.1827605746475 |
BASE/hodgepodge/9yjRkw | 2.9333395072089643 | 16893.2 | 5759.033333333334 |
DRESDEN/snake_2008/E56l3A | 2.937687031756319 | 1510.9 | 514.3161894603513 |
DRESDEN/firefighter/WJmoPw | 2.9520241101246234 | 16912.933333333334 | 5729.266666666666 |
DRESDEN/checkers-mustjump/HUr33w | 2.9845737931034484 | 14.4 | 4.824809503210994 |
BASE/blocksWorldSerial/Wyg96Q | 2.985823416401861 | 10931.0 | 3660.9666666666667 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 2.9921992673992674 | 9.066666666666666 | 3.0301012253596165 |
BASE/firefighter/WJmoPw | 3.0201261894535616 | 16641.6 | 5510.233333333334 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 3.023128888888889 | 9.066666666666666 | 2.9991002699190243 |
DRESDEN/toetictac/mJtxCA | 3.0320201737181285 | 18035.466666666667 | 5948.333333333333 |
BASE/toetictac/mTThmg | 3.09381270616214 | 18039.3 | 5830.766666666666 |
DRESDEN/quad_5x5/JAEP5g | 3.1569230769230767 | 5.333333333333333 | 1.6894087069525665 |
STANFORD/3puzzle/41ibjA | 3.157782105929374 | 30102.4 | 9532.766666666666 |
STANFORD/threepuzzle/41ibjA | 3.1589213998852554 | 30283.0 | 9586.5 |
BASE/mummyMaze2p_2007/YGA3Vw | 3.242883240177408 | 2185.233333333333 | 673.8550763282448 |
BASE/checkers-mustjump/T-8UuQ | 3.246493430656934 | 14.8 | 4.558764807666711 |
STANFORD/multipletictactoe/_bkafQ | 3.2507492645567053 | 1424.1666666666667 | 438.1041263915739 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.263150074294205 | 2196.1 | 673.0 |
BASE/tron_10x10/7ZTgDg | 3.2871912693854104 | 7630.666666666667 | 2321.3333333333335 |
BASE/cittaceot/fDxhXg | 3.3076527910685805 | 69.1 | 20.890947256188984 |
BASE/pacman2p/4LEdQg | 3.422987744286187 | 688.9333333333333 | 201.26666666666668 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.470183391716464 | 2806.8 | 808.8333333333334 |
BASE/pancakes/yUgbXw | 3.4921200171045754 | 48999.1 | 14031.333333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.5125088456895472 | 2812.7 | 800.7666666666667 |
STANFORD/hunter/14dD-g | 3.5672005760328425 | 12353.215594801733 | 3463.0 |
DRESDEN/chinesecheckers6/yTbPDA | 3.578377895019226 | 1333.9 | 372.76666666666665 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.6133195663397006 | 2799.6 | 774.8 |
DRESDEN/pancakes6/SZXMyQ | 3.639223865230057 | 50427.63333333333 | 13856.7 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.639710399297938 | 2764.9666666666667 | 759.6666666666666 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 3.682695464648853 | 2595.6 | 704.809839672011 |
DRESDEN/pancakes/hl9aiQ | 3.6851699093101127 | 50333.03333333333 | 13658.266666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 3.6902298939546405 | 39728.4 | 10765.833333333334 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 3.7008908592943532 | 41349.066666666666 | 11172.733333333334 |
BASE/pancakes6/QZTdnw | 3.7028616475927874 | 50577.26666666667 | 13658.967436589674 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.7530292505981326 | 1620.9333333333334 | 431.9 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 3.7702962196099383 | 30106.066666666666 | 7985.066666666667 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.7881605454827216 | 1629.6666666666667 | 430.2 |
BASE/ruleDepthLinear/OUBJpQ | 3.8015768153220364 | 75670.76666666666 | 19905.1 |
BASE/point_grab/V_osUg | 3.877141950267186 | 29723.333333333332 | 7666.3 |
DRESDEN/8puzzle/8fKC2w | 3.888123277374092 | 16552.0 | 4257.066666666667 |
DRESDEN/oisters_farm/pTQMLg | 3.8917973316828283 | 30181.666666666668 | 7755.2 |
STANFORD/8puzzle/jNiGtw | 3.9026999811190133 | 16536.0 | 4237.066666666667 |
DRESDEN/sat_test_20v_91c/dK7nVw | 3.927693310835557 | 1668.1666666666667 | 424.7191760274658 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 3.9561297568881684 | 406.7 | 102.80249258555767 |
BASE/eightPuzzle/vLrgFg | 3.9566646531367917 | 16812.0 | 4249.033333333334 |
STANFORD/eightpuzzle/W_aWbA | 3.967928810809482 | 16141.666666666666 | 4068.0333333333333 |
DRESDEN/pancakes88/aD3E7g | 3.9832597778115963 | 44495.8 | 11170.7 |
DRESDEN/circlesolitaire/ruUilQ | 4.004355366363171 | 20318.9 | 5074.2 |
BASE/circlesolitaire/azuQFQ | 4.021085469690874 | 20322.7 | 5054.033333333334 |
DRESDEN/lightson2x2/gBHuig | 4.0455306594370475 | 16911.666666666668 | 4180.333333333333 |
DRESDEN/point_grab/r5DPmQ | 4.046070947462955 | 30035.333333333332 | 7423.333333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 4.085608677555115 | 38281.2 | 9369.766666666666 |
BASE/eotcitcit/V_9_bg | 4.096866205043636 | 8827.790736421193 | 2154.766666666667 |
DRESDEN/quad_5x5_8_2/JRTLJg | 4.151521367521367 | 5.333333333333333 | 1.2846696093286778 |
DRESDEN/chickentictactoe/Ipbo-g | 4.164312100638978 | 11122.6 | 2670.9333333333334 |
BASE/chickentictactoe/DSlZCA | 4.188770583292574 | 11133.333333333334 | 2657.9 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 4.218336293746415 | 408.3666666666667 | 96.80751799520128 |
BASE/pancakes88/l2Xaig | 4.222081407779351 | 44200.2665778074 | 10468.833333333334 |
BASE/duplicateStateSmall/bCPAXw | 4.225788781770377 | 25715.333333333332 | 6085.333333333333 |
BASE/ticTicToe/c1OobQ | 4.239461138975347 | 8915.728090636454 | 2103.0333333333333 |
STANFORD/tictictoe/rpt_Dw | 4.247196754304699 | 8863.333333333334 | 2086.866666666667 |
DRESDEN/tictictoe/LAUtwg | 4.279829952552304 | 8959.966666666667 | 2093.5333333333333 |
BASE/ticTacToeParallel/ymRGPw | 4.311611829471259 | 3367.8 | 781.1 |
BASE/gt_dollar/TGjqRw | 4.327580400740866 | 25701.5 | 5939.0 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 4.344895861418172 | 17189.566666666666 | 3956.266666666667 |
BASE/asteroidsSerial/id2QkA | 4.380109721632156 | 7904.2 | 1804.5666666666666 |
DRESDEN/sum15/CsgWKg | 4.39430476906967 | 14407.9 | 3278.766666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 4.397338564489283 | 17260.433333333334 | 3925.2 |
BASE/sum15/QZ07Kg | 4.399240203837787 | 14359.266666666666 | 3264.0333333333333 |
DRESDEN/tictactoeparallel/yk_DSg | 4.407747467902996 | 3295.6 | 747.6834877674821 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 4.415612756038287 | 14838.666666666666 | 3360.5 |
DRESDEN/blocksworldparallel/2JfVaw | 4.42549481103889 | 12096.5 | 2733.366666666667 |
BASE/beatMania/qUHwvQ | 4.427333272511633 | 16176.0 | 3653.6666666666665 |
DRESDEN/quad/JPe6fg | 4.46327927927928 | 5.333333333333333 | 1.194936054773285 |
DRESDEN/crossers3/xiPTxg | 4.480522330365155 | 1442.3333333333333 | 321.9118725418305 |
BASE/factoringEasyTurtleBrain/lUj94Q | 4.536495845879658 | 13439.520159946684 | 2962.5333333333333 |
BASE/crossers3/O0rORg | 4.596563792554884 | 1444.7 | 314.3 |
BASE/knightfight/SJRkAg | 4.610699696929767 | 5831.766666666666 | 1264.8333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 4.652078414145297 | 2823.9666666666667 | 607.0333333333333 |
BASE/blocker/dIWtxg | 4.65662868103351 | 13757.233333333334 | 2954.3333333333335 |
BASE/tictactoe_3d_small_6player/g_9lww | 4.687427523406439 | 406.03333333333336 | 86.62178376216505 |
DRESDEN/bunk_t/7-tPfA | 4.703941562898324 | 3198.366666666667 | 679.9333333333333 |
DRESDEN/bidding-tictactoe/yW5vTA | 4.733286151614074 | 2174.8 | 459.46936870875277 |
DRESDEN/knightfight/4_Ly4w | 4.752512053168849 | 5855.533333333334 | 1232.0922635912136 |
DRESDEN/4pttc/9pB9AQ | 4.761601636234681 | 3207.4666666666667 | 673.6108796373454 |
DRESDEN/doubletoetictac/V89gKQ | 4.778921203082278 | 3204.266666666667 | 670.5 |
BASE/lightsOn/MsXu3A | 4.785919304126818 | 29124.233333333334 | 6085.4 |
BASE/roshambo2/KNPokQ | 4.80403521733274 | 39231.833333333336 | 8166.433333333333 |
BASE/biddingTicTacToe/8mESVw | 4.83282460760247 | 2165.3 | 448.04026129849353 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 4.83741327860725 | 403.26557814061977 | 83.36388787040433 |
DRESDEN/lightsout/XgLpzQ | 4.8498989173192655 | 3685.4381872709096 | 759.9 |
BASE/lightsOut/5P1ZBw | 4.8574289321318185 | 3719.3333333333335 | 765.7 |
BASE/bunk_t/xbpfIA | 4.861174675819985 | 3186.5 | 655.5 |
DRESDEN/roshambo2/jgSlkQ | 4.887133557930768 | 39215.5 | 8024.233333333334 |
DRESDEN/lightsout2/LFtfyQ | 4.888849760091562 | 3702.0 | 757.2333333333333 |
BASE/doubletictactoe/HH1htg | 4.9295502012123675 | 3225.733333333333 | 654.3666666666667 |
DRESDEN/cube_2x2x2/fp-34Q | 4.936264042335901 | 7089.133333333333 | 1436.1333333333334 |
DRESDEN/doubletictactoe/lJzgmQ | 4.940876656472987 | 3231.3333333333335 | 654.0 |
DRESDEN/eotcatcit/mQUxzA | 4.965425531914893 | 14936.0 | 3008.0 |
BASE/doubletoetictac/fu35bg | 5.009052816719259 | 3227.6666666666665 | 644.3666666666667 |
BASE/tictactoe_3player/GtM71g | 5.009929195402298 | 2687.2 | 536.3748458692971 |
STANFORD/jointbuttonsandlights/qAKuIQ | 5.040384905850367 | 26696.566666666666 | 5296.533333333334 |
DRESDEN/tictactoe/BTTzPw | 5.090501884383303 | 16478.633333333335 | 3237.133333333333 |
BASE/eotcatcit/AfZSzA | 5.103437822787084 | 15151.766666666666 | 2968.9333333333334 |
STANFORD/trifecta/ss1kyQ | 5.108643658634718 | 15236.7 | 2982.5333333333333 |
DRESDEN/blocker/S815zQ | 5.142717170510217 | 14346.466666666667 | 2789.6666666666665 |
BASE/ticTacToe/JRFsaQ | 5.160958581984261 | 16460.533333333333 | 3189.4333333333334 |
DRESDEN/tictactoe_3player/ESLQQQ | 5.225110980061781 | 2687.5333333333333 | 514.3495216826105 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 5.258664914914915 | 33621.8 | 6393.6 |
STANFORD/tictactoe/ss1kyQ | 5.29059800139857 | 15635.833333333334 | 2955.4 |
DRESDEN/statespacesmall/h-NqjA | 5.372338803147685 | 46970.0 | 8742.933333333332 |
BASE/stateSpaceSmall/Q7osKA | 5.432717443080819 | 46760.666666666664 | 8607.233333333334 |
BASE/colonelBlottoVariant2/jruwGw | 5.457111111111111 | 21.666666666666668 | 3.9703546850185285 |
DRESDEN/chinesecheckers3/QsCb2A | 5.477706488265242 | 2940.7 | 536.8487717076098 |
BASE/tictactoe_3d_6player/d7KSwg | 5.529906913254073 | 139.53333333333333 | 25.232492250258325 |
DRESDEN/frogs_and_toads/GjchhQ | 5.559385716726465 | 2892.266666666667 | 520.2493250224993 |
BASE/double_tictactoe_dengji/zgaSbA | 5.800172166427546 | 3368.9333333333334 | 580.8333333333334 |
BASE/asteroids/BKCmPQ | 5.877573781083431 | 25472.033333333333 | 4333.766666666666 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 5.919181006111895 | 139.86666666666667 | 23.62939510081653 |
BASE/asteroidsParallel/WauZiA | 6.056332550521293 | 13496.133333333333 | 2228.4333333333334 |
DRESDEN/chinesecheckers1/Y-ftaA | 6.09162408984436 | 5123.258913695435 | 841.0333333333333 |
BASE/quad/tw-Ufg | 6.104080000000001 | 5.466666666666667 | 0.8955758552749418 |
DRESDEN/tictactoex9/rFkD4w | 6.122692305227061 | 2122.6666666666665 | 346.6884437185427 |
BASE/lightsOnParallel/SC6enA | 6.138903346293971 | 13367.666666666666 | 2177.5333333333333 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 6.1523269456394205 | 18877.8 | 3068.4 |
BASE/tictactoex9/BI26ow | 6.157833720780061 | 2118.8333333333335 | 344.0874550059992 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 6.165537033644746 | 3365.766666666667 | 545.9 |
STANFORD/dualhunter/1rPZjQ | 6.191195975875273 | 8246.466666666667 | 1331.9666666666667 |
STANFORD/tictactoe7/-bE9-A | 6.2672584079423315 | 16286.933333333332 | 2598.733333333333 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 6.298087333092746 | 2908.6666666666665 | 461.8333333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 6.368278827330267 | 17674.733333333334 | 2775.4333333333334 |
BASE/factoringGeorgeForman/HGRorQ | 6.404809956273126 | 20310.933333333334 | 3171.2 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 6.447339039821363 | 2887.3333333333335 | 447.8333333333333 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 6.556742529803375 | 2823.3333333333335 | 430.6 |
BASE/conn4/va9Y7A | 6.6186715738621915 | 1156.8666666666666 | 174.78834744350377 |
DRESDEN/farmers/S_ASnw | 6.659397530864198 | 59.333333333333336 | 8.909714889123547 |
DRESDEN/backgammon/mqCW0Q | 6.764808966861598 | 347.0 | 51.294870512948705 |
BASE/tictactoe-init1/7M19vA | 6.849027551651459 | 18088.966666666667 | 2641.1 |
BASE/withConviction/3Xm54A | 6.8725793437331895 | 3406.9666666666667 | 495.73333333333335 |
BASE/mineClearingSmall/frsbvw | 6.962587333784088 | 1029.7666666666667 | 147.9 |
STANFORD/breakthrough/d5j0cQ | 6.963876799664647 | 4060.733333333333 | 583.1138962034598 |
BASE/blocksWorldParallel/RseaAQ | 6.967995999499938 | 1857.9 | 266.6333333333333 |
DRESDEN/battlebrushes/QHXV4A | 7.067308739837398 | 309.06666666666666 | 43.73187560414653 |
BASE/ticTacToeSerial/Amrwqw | 7.255624176720872 | 1382.9333333333334 | 190.60156640559907 |
BASE/4pttc/AL1k2Q | 7.365364618225746 | 3094.4351882705764 | 420.1333333333333 |
BASE/quartoSuicide/-23jUg | 7.366414207364847 | 1880.4 | 255.26666666666668 |
DRESDEN/quarto/OQzRYQ | 7.38184719519052 | 1896.3333333333333 | 256.89143695210157 |
BASE/pacman3p/wW7UVQ | 7.394670684830245 | 1556.0333333333333 | 210.4263191226959 |
DRESDEN/javastrike/whONTQ | 7.400777577767251 | 520.7333333333333 | 70.36197586827545 |
DRESDEN/pacman3p/rBnk8Q | 7.448694452453414 | 1549.8666666666666 | 208.07225703239567 |
DRESDEN/quartosuicide/WIU1oQ | 7.601579170035031 | 1880.0666666666666 | 247.32580225932222 |
BASE/snakeAssemblit/UO4sdg | 7.667019898029489 | 1854.4666666666667 | 241.87581241875813 |
BASE/snakeParallel/RCVNtw | 7.682628865278137 | 18824.233333333334 | 2450.233333333333 |
BASE/quarto/EwBMVQ | 7.691790560311636 | 1886.7333333333333 | 245.2918236058798 |
BASE/duplicateStateMedium/U163eQ | 7.8545356306657865 | 8722.2 | 1110.4666666666667 |
STANFORD/tictactoe5/WFRReg | 7.974345079581346 | 17168.233333333334 | 2152.9333333333334 |
DRESDEN/aipsrovers01/qS47Mw | 8.318972722437504 | 7299.066666666667 | 877.4 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 8.526064333017976 | 12016.066666666668 | 1409.3333333333333 |
BASE/max_knights/2fq3Ag | 8.700371724325798 | 3193.8 | 367.0877637412086 |
BASE/aipsrovers01/4C4jsw | 8.70224382865001 | 7452.933333333333 | 856.4381187293757 |
DRESDEN/chinesecheckers4/-oVNYg | 8.985322649459526 | 1922.8590469843386 | 214.0 |
DRESDEN/max_knights/hCipiA | 9.037023324694557 | 3254.5333333333333 | 360.1333333333333 |
BASE/simultaneousWin2/PfjRjw | 9.523830754352032 | 164.1 | 17.230461589735043 |
BASE/catcha_mouse/cHv4dw | 9.561099982866445 | 4960.133333333333 | 518.7827072430919 |
DRESDEN/catcha_mouse/cHv4dw | 9.593315125503967 | 4917.533333333334 | 512.6 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 9.681266576637407 | 955.8 | 98.72675154989668 |
DRESDEN/connect4/T0-rHQ | 9.820175438596491 | 1119.5 | 114.0 |
DRESDEN/brain_teaser_extended/ZDp94A | 10.000333333333334 | 8306.0 | 830.5723142561915 |
BASE/connect4/50bOyw | 10.009418243512975 | 1114.2333333333333 | 111.31849086788428 |
BASE/numbertictactoe/rvJ-iQ | 10.165982981320134 | 9995.533333333333 | 983.2333333333333 |
BASE/brain_teaser_extended/ZDp94A | 10.209294660514171 | 8260.0 | 809.0666666666667 |
DRESDEN/twisty-passages/j7NPyg | 10.217064027590343 | 11356.266666666666 | 1111.5 |
STANFORD/tictactoe3/X7myng | 10.254236637558776 | 17809.9 | 1736.8333333333333 |
BASE/twisty-passages/DiZmmg | 10.537554009744737 | 11462.4 | 1087.7666666666667 |
DRESDEN/connect5/1kYzSg | 10.5550158007587 | 2132.6 | 202.04612103439084 |
BASE/connect5/d-BVQg | 10.652476757052861 | 2160.5333333333333 | 202.8198120125325 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 10.92106357694593 | 12253.433333333332 | 1122.0 |
STANFORD/multiplesukoshi/vLSQPg | 11.897414314618109 | 261.23333333333335 | 21.95715190084297 |
BASE/duplicateStateLarge/dcjyuw | 12.197855612466942 | 4048.3333333333335 | 331.88893703543215 |
BASE/tictactoe2/bhrDoQ | 12.95625744187504 | 27565.733333333334 | 2127.6 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 13.071248090081514 | 14644.433333333332 | 1120.3546312035462 |
STANFORD/duidoku/3SoMaA | 13.139750992093544 | 23.892035988004 | 1.818302036498281 |
DRESDEN/babel/WdSW4A | 13.141178434782608 | 755.4666666666667 | 57.488502299540094 |
BASE/gt_tinfoil/Q8DyKg | 13.196791487086967 | 8777.333333333334 | 665.1111629612346 |
BASE/hexPie/48CH6Q | 13.226343817274877 | 1678.6333333333334 | 126.91590030654405 |
DRESDEN/mimikry/GJEhwA | 13.443457637634857 | 3225.766666666667 | 239.9506699553363 |
DRESDEN/othello-cornercontrol/r5Gdlg | 13.464088541666667 | 14.166666666666666 | 1.0521816328543714 |
BASE/futoshiki5/TJ4BZg | 13.499404730229122 | 1014.3333333333334 | 75.13911565759221 |
STANFORD/knightstourmedium/x1wu8Q | 13.633688709106076 | 39770.833333333336 | 2917.1 |
STANFORD/sukoshi/4LYZZQ | 13.672692534032722 | 12163.733333333334 | 889.6370120995966 |
DRESDEN/knightstour/cGISAA | 13.895723318098934 | 39120.166666666664 | 2815.266666666667 |
BASE/breakthroughSmallHoles/bxclRw | 14.001091464357968 | 5228.766666666666 | 373.4542181927269 |
BASE/knightsTour/mvtVIg | 14.08599723906128 | 39114.46666666667 | 2776.8333333333335 |
BASE/futoshiki6/JmvXNA | 14.23035938697318 | 536.4666666666667 | 37.69874337522083 |
STANFORD/knightstour/cEwgNA | 14.339415923307548 | 38740.8 | 2701.7 |
BASE/lightsOnSimul4/9FeASw | 14.505249942935404 | 4236.5 | 292.06666666666666 |
DRESDEN/hanoi_6_disks/MeubgQ | 15.065021762930922 | 18805.666666666668 | 1248.3 |
BASE/hanoi_6_disks/MeubgQ | 15.071682495887938 | 18937.066666666666 | 1256.4666666666667 |
BASE/futoshiki4/BaCwSw | 15.340494844737565 | 3101.233333333333 | 202.1599280023999 |
BASE/ticTacToeNoVars/XT03NA | 15.355897282770977 | 17142.3 | 1116.3333333333333 |
BASE/escortLatch/mX9BjQ | 15.65912778286063 | 3993.3333333333335 | 255.01633224451703 |
BASE/lightsOnSimultaneous/_VN6lw | 15.693874414495358 | 5822.233333333334 | 370.9876337455418 |
BASE/rubiksCube/9tNO9Q | 15.711849957374254 | 3071.6666666666665 | 195.5 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 16.22287134964483 | 684.6666666666666 | 42.203790679857434 |
BASE/connectFourLarger/qKi60A | 16.26692780120097 | 2829.266666666667 | 173.92753574880837 |
DRESDEN/hanoi/RQ0jiA | 16.28370996077299 | 22554.566666666666 | 1385.1 |
BASE/hanoi/iGLsJg | 16.675756829928623 | 22584.533333333333 | 1354.3333333333333 |
BASE/knightazons/apnJBQ | 17.557933194154487 | 1121.3666666666666 | 63.86666666666667 |
BASE/dualConnect4/WbCQkg | 17.66462966008772 | 6801.833333333333 | 385.0538315389487 |
DRESDEN/knightazons/02I8BQ | 18.014387220447286 | 1127.4 | 62.58331111703546 |
DRESDEN/slidingpieces/s9_44g | 18.409676320272574 | 1080.0 | 58.6648011193284 |
BASE/slidingpieces/uFJWEw | 18.728725553662695 | 1098.9 | 58.674574351114515 |
DRESDEN/statespacemedium/dVJZ_w | 18.740264511388684 | 30606.6 | 1633.2 |
BASE/stateSpaceMedium/3bUoIw | 18.837980500527852 | 30334.8 | 1610.3 |
BASE/nineBoardTicTacToePie/B8LzeQ | 19.176902428515476 | 3263.8 | 170.19432685577146 |
BASE/amazons_10x10/Bun8dA | 19.201919768328 | 1399.6333333333334 | 72.89028129582722 |
DRESDEN/pawn_whopping/4ogBkg | 19.337085605856867 | 7189.933333333333 | 371.82093930202325 |
BASE/chineseCheckers1/gqtwHw | 19.38329386437029 | 30011.8 | 1548.3333333333333 |
BASE/amazonsSuicide_10x10/XIbQkg | 19.390717475124376 | 1385.4666666666667 | 71.4499950011664 |
BASE/solitaireChineseCheckers/-ET6gw | 19.93731703116928 | 7718.4 | 387.1333333333333 |
DRESDEN/hanoi7/51zz5Q | 20.179807247768412 | 18914.533333333333 | 937.3 |
DRESDEN/hanoi7_bugfix/3gdnFw | 20.641809077075518 | 19035.188270576473 | 922.1666666666666 |
BASE/pawnWhopping/Ypc_6Q | 20.69923120195012 | 7359.266666666666 | 355.53333333333336 |
BASE/hanoi7_bugfix/3gdnFw | 20.732711845890535 | 18978.033333333333 | 915.3666666666667 |
BASE/knightwar/DVGY4Q | 20.810705624999997 | 10873.8 | 522.5099136925589 |
DRESDEN/knightwar/7hhAqg | 21.01710442024343 | 10935.9 | 520.3333333333334 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 21.02313066465257 | 7422.566666666667 | 353.06666666666666 |
BASE/3pConnectFour/PqXOFQ | 21.613031508106456 | 7065.3 | 326.9 |
BASE/shmup/ssTNlg | 21.8907593778591 | 19938.833333333332 | 910.8333333333334 |
BASE/dotsAndBoxes/EHwA_w | 22.021328398909233 | 7537.166666666667 | 342.26666666666665 |
BASE/amazons_8x8/7SOsIw | 22.078031758241757 | 2008.9 | 90.99090090990902 |
BASE/sudokuGrade6E/ihYFZA | 22.165066666666664 | 37.266666666666666 | 1.6813243662700466 |
BASE/dotsAndBoxesSuicide/jzQbLw | 22.24251052786499 | 7555.766666666666 | 339.69936339699365 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 22.286987544880528 | 5999.6 | 269.1974403412878 |
BASE/tictactoe_3d_small_2player/oOryKA | 22.289707362089562 | 6011.133333333333 | 269.68202119858677 |
BASE/sudokuGrade1/tDRNRw | 22.530063247863247 | 57.733333333333334 | 2.562502053286902 |
BASE/sudokuGrade4/DTy07w | 23.17297741935484 | 47.8 | 2.062747446518282 |
BASE/sudokuGrade6H/ieE_9A | 23.250797385620913 | 38.666666666666664 | 1.6630254018978055 |
BASE/sudokuGrade2/u80Tfw | 23.317808450704224 | 54.9 | 2.354423663615864 |
STANFORD/sudoku/oJ1qyQ | 23.624745402298853 | 45.56666666666667 | 1.9287685810249078 |
BASE/pawnToQueen/-O1_JA | 23.866175077881618 | 84.46666666666667 | 3.5391790427678367 |
BASE/amazonsTorus_10x10/Uxc08g | 23.91861058851905 | 1100.5666666666666 | 46.01298485100716 |
BASE/connectFourLarge/aU644A | 23.98406680152843 | 8298.733333333334 | 346.01026598226787 |
BASE/connectFour/WAIKTw | 24.05550777275131 | 13644.2 | 567.1965077143524 |
DRESDEN/connectfoursuicide/M9CNQg | 24.203322876728247 | 13887.866666666667 | 573.8 |
BASE/sudokuGrade3/eI8dvg | 24.321932795698924 | 50.166666666666664 | 2.0626101999401176 |
DRESDEN/pawntoqueen/f_x6Aw | 24.419581308411214 | 86.6 | 3.546334349728225 |
BASE/golden_rectangle/_nYzfw | 24.8848091954023 | 23.733333333333334 | 0.9537277600552504 |
BASE/connectFourSuicide/c8p9Kw | 24.962846155696045 | 14192.569143618794 | 568.5477150761641 |
DRESDEN/3pffa/0YrmQw | 24.96887586964482 | 15911.0 | 637.2333333333333 |
BASE/hidato37/pBrqxw | 25.19923220973783 | 74.63333333333334 | 2.961730449251248 |
DRESDEN/connectfour/5tc-Mg | 25.260905990066423 | 14071.166666666666 | 557.0333333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 25.482042598698865 | 19062.266666666666 | 748.0666666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 25.68003075604475 | 18973.933333333334 | 738.8594473885945 |
DRESDEN/tictactoelarge/IwXcbg | 25.982438625947267 | 19085.833333333332 | 734.5666666666667 |
STANFORD/nineboardtictactoe/y28P-A | 25.985590857467347 | 4575.3 | 176.07065489085153 |
BASE/hidato19/rRHSmA | 26.035098921706517 | 616.3333333333334 | 23.673170406872213 |
BASE/ticTacToeLarge/TZC0dg | 26.072417707150965 | 19141.5 | 734.1666666666666 |
DRESDEN/3pttc/uwYBZw | 26.111454760164204 | 15478.0 | 592.7666666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 26.19939410925133 | 4486.933333333333 | 171.26095796806774 |
BASE/knightsTourLarge/M8jgLA | 26.284547375134043 | 35367.6107964012 | 1345.5666666666666 |
STANFORD/connectfour/VMpZkQ | 26.313109222694322 | 14037.166666666666 | 533.4666666666667 |
BASE/connectFour_9x6/B9TtMw | 26.427408695652172 | 12663.133333333333 | 479.1666666666667 |
BASE/sudokuGrade5/BQfUQA | 26.677298412698416 | 55.4 | 2.076672050631242 |
BASE/ticTacHeavenFC/mrletw | 28.579645393240806 | 4046.633333333333 | 141.59144655763913 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 30.034927458355725 | 29810.666666666668 | 992.5333333333333 |
STANFORD/knightstourbig/TQUI2g | 30.26171852533502 | 35077.36666666667 | 1159.1333333333334 |
BASE/kitten_escapes_from_fire/uW-YiA | 30.32697399687691 | 29779.066666666666 | 981.9333333333333 |
BASE/connectFourSimultaneous/7ITr3g | 30.382222018348624 | 6622.0 | 217.95640871825634 |
DRESDEN/CephalopodMicro/H3XQfg | 31.640473860911275 | 145.86666666666667 | 4.610129017279692 |
BASE/gt_ultimatum/GE-uOA | 32.86140983308594 | 503.8320559813396 | 15.332028009159393 |
DRESDEN/gt_ultimatum/pAiiQw | 33.09897435897436 | 516.0 | 15.58960692871419 |
BASE/coins_atomic/AA3SSw | 34.14716682334508 | 2905.633333333333 | 85.09149085091491 |
DRESDEN/knightmove/97Ipcw | 34.397134721583065 | 4982.5 | 144.8521814485218 |
BASE/tpeg/QNs7Lw | 34.587622816560895 | 3814.633333333333 | 110.2889711028897 |
DRESDEN/coins/QwFP9w | 34.588063786331496 | 2934.2 | 84.83273357323738 |
DRESDEN/amazons/dNB28A | 34.62282352941177 | 78.4 | 2.2644022644022646 |
DRESDEN/tpeg/h-Scbg | 34.70241212846599 | 3865.3333333333335 | 111.38514864684709 |
BASE/coins/QnGtnQ | 35.08871752411575 | 2909.733333333333 | 82.9250408292504 |
BASE/tictactoe_3d_2player/IUC1rQ | 35.679146237534 | 2622.0333333333333 | 73.48923978945966 |
BASE/cephalopodMicro/9l2D3g | 35.75961290322581 | 146.63333333333333 | 4.1005291005291005 |
STANFORD/pilgrimage/ObRZnQ | 35.76718496442476 | 8880.4 | 248.28344777014865 |
BASE/wargame02/BkVqqQ | 36.19820575651498 | 1033.1666666666667 | 28.54193032704989 |
BASE/knightmove/jBaJEw | 36.4791070861678 | 5004.766666666666 | 137.19542681910602 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 36.69934055530268 | 2685.4666666666667 | 73.17479349853451 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 37.109019131491046 | 4073.3333333333335 | 109.76666666666667 |
BASE/peg/fJHVWw | 37.836606515202135 | 3773.7 | 99.73674564297377 |
STANFORD/pentago/ZxzLmg | 37.87715117946656 | 6278.566666666667 | 165.76132235811644 |
BASE/4pffa/Q3ADlg | 38.01646816725698 | 12097.3008997001 | 318.2121191920539 |
BASE/god/qF06gw | 39.384721875 | 125.36666666666666 | 3.183129414105242 |
DRESDEN/peg/Vo31eg | 39.67771189396582 | 3791.866666666667 | 95.56666666666666 |
DRESDEN/peg_bugfixed/u_B7MA | 39.80642654491156 | 3849.9666666666667 | 96.71721379770038 |
BASE/chineseCheckers2/eCMR3Q | 39.90875198061329 | 42818.1 | 1072.9 |
BASE/four_way_battle/xSOQXA | 40.04939875389408 | 857.0 | 21.398573428438105 |
BASE/chineseCheckers6/rREH3A | 40.11060022368584 | 21518.0 | 536.4666666666667 |
BASE/pegEuro/5awwhg | 40.31590470338983 | 3170.5666666666666 | 78.6430737445433 |
BASE/chineseCheckers3/-1rZdQ | 40.3213716108453 | 35394.1 | 877.8 |
BASE/cubicup/4wNWJA | 41.24821075199999 | 4295.4 | 104.13542603885502 |
BASE/stateSpaceLarge/0Ge_CQ | 42.989177524996045 | 21162.866666666665 | 492.28359054698177 |
DRESDEN/statespacelarge/8-y5HQ | 43.136801541425825 | 20895.466666666667 | 484.4 |
DRESDEN/cubicup/SBn_lw | 43.18120109721308 | 4372.233333333334 | 101.25316624450073 |
DRESDEN/four_way_battle/xSOQXA | 43.532807195053394 | 858.6666666666666 | 19.724587546567324 |
BASE/amazons/RKKZjw | 43.7616 | 8.1 | 0.18509378084896347 |
BASE/wargame03/klXI8w | 45.49329348882411 | 1559.9 | 34.28857047650783 |
BASE/ticTacHeaven/18n58A | 45.95229791327029 | 4697.7 | 102.22992566914436 |
STANFORD/selectivesukoshi/3xmXYg | 46.114284864864864 | 283.7 | 6.152106680855309 |
BASE/amazonsSuicide/dE1QEQ | 46.1648 | 8.133333333333333 | 0.17618040873854826 |
BASE/3pffa/pR0dzA | 46.515909959517586 | 15277.90736421193 | 328.44477034864343 |
BASE/3pttc/0sol9g | 46.527932788944725 | 14814.0 | 318.38938702043265 |
STANFORD/duikoshi/tpw1sw | 48.31214424951268 | 7984.666666666667 | 165.2724545909015 |
BASE/speedChess/bPnisA | 48.75092114285714 | 2842.6666666666665 | 58.31000932960149 |
BASE/mummymaze1p/PT_EXA | 49.81015584272144 | 5010.066666666667 | 100.58323612731212 |
DRESDEN/god/2EDD5w | 51.257556756756756 | 126.23333333333333 | 2.46272630457934 |
DRESDEN/mummymaze1p/AekgaQ | 51.31310768194069 | 5075.9 | 98.92014398080256 |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 53.79786846722069 | 1294.4333333333334 | 24.061052421101742 |
BASE/wargame01/_GZFZg | 57.68036415548676 | 1860.9666666666667 | 32.26343477392289 |
BASE/cubicup_3player/e2yA_g | 64.47165880452343 | 2659.4666666666667 | 41.25016660002665 |
DRESDEN/cubicup_3player/awDtsQ | 66.47094227033027 | 2660.1666666666665 | 40.019993335554815 |
BASE/2pffa/6oHijA | 66.64966230356809 | 19291.569476841054 | 289.4473701753216 |
BASE/2pffa_zerosum/o0_uZA | 66.74422833408589 | 19285.57147617461 | 288.9474035064329 |
STANFORD/platformjumpers/HEQskA | 67.43156596794081 | 5468.7 | 81.1 |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 67.79249065315315 | 1292.3666666666666 | 19.063566690281444 |
BASE/skirmishNew/sibw2g | 68.26195108091414 | 3683.133333333333 | 53.95587549156836 |
BASE/skirmishZeroSum/zh4hcw | 69.08893697270472 | 3710.4 | 53.704690831556505 |
BASE/2pttc/unkkYA | 70.37728647766681 | 20137.28757080973 | 286.1333333333333 |
BASE/chineseCheckers4/avfBcQ | 71.21004743006485 | 24522.366666666665 | 344.3666666666667 |
STANFORD/freeforall/Lfp40Q | 74.93452564620884 | 20588.13728757081 | 274.74835010999266 |
BASE/quad_7x7/q-JOXg | 76.37022222222222 | 55.2 | 0.7227948065854638 |
DRESDEN/ggp-course2013_michal13/jWKddg | 76.6225049019608 | 171.83333333333334 | 2.242596134819603 |
BASE/snake2p/I3wWPQ | 77.13260646734521 | 12124.033333333333 | 157.1842815718428 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 88.80479999999999 | 36.4 | 0.4098877538151091 |
BASE/pentago/86NgKw | 91.24194092019543 | 7467.433333333333 | 81.84211403245693 |
BASE/blokbox_simple/JBx4bg | 93.66595000000001 | 4.9 | 0.05231356752373728 |
DRESDEN/pentago_2008/hLjVpQ | 97.54125976221171 | 7563.933333333333 | 77.54598773660358 |
BASE/pentagoSuicide/SBgNhw | 98.98001843102945 | 7540.266666666666 | 76.17968541722207 |
STANFORD/triplesukoshi/Iu9mbA | 101.4170168181818 | 5205.9 | 51.33162227925736 |
DRESDEN/Goldrush/VeWczQ | 109.30925868152273 | 3922.633333333333 | 35.88564574170332 |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 109.35469386213408 | 1280.9333333333334 | 11.713565171223786 |
DRESDEN/battle/8oAvhQ | 114.11152755905512 | 479.3333333333333 | 4.200568895944962 |
BASE/battle/8oAvhQ | 114.84227034120734 | 483.6666666666667 | 4.211573536726911 |
DRESDEN/quad_7x7/q-JOXg | 119.75704313725491 | 55.06666666666667 | 0.4598198588082551 |
BASE/choicethroughalt/tt71Lg | 125.01908551331937 | 13921.566666666668 | 111.35553111355532 |
DRESDEN/racer/vk_ZBA | 131.3312 | 14.933333333333334 | 0.11370743078060151 |
BASE/racer/QQYQNw | 143.42985000000002 | 15.3 | 0.10667235585897915 |
BASE/racer4/0vs7Ww | 160.8478260869565 | 120.8 | 0.7510204081632653 |
DRESDEN/hitori/S8Gsyg | 172.49481438848917 | 794.9333333333333 | 4.6084477156687225 |
BASE/hitori/S8Gsyg | 194.29131306666667 | 805.7333333333333 | 4.147037356512508 |
DRESDEN/grid_game2/kypTYQ | 220.45375315040653 | 2407.9666666666667 | 10.922774651170535 |
DRESDEN/small_dominion/yB5GJA | 326.93646854557255 | 171.10963012329225 | 0.5233727240172988 |
DRESDEN/guess/PhxGhg | 346.39146666666664 | 2239.6 | 6.4655172413793105 |
BASE/guess/SPpk1A | 377.63932644320295 | 2232.633333333333 | 5.912078475410378 |
BASE/othelloHoles/c0qAzw | 397.9500804597701 | 368.1666666666667 | 0.9251579148854718 |
BASE/battlebrushes/arCwyA | 531.935 | 483.8666666666667 | 0.9096349491322562 |
BASE/othelloSuicide/B442jg | 542.3522716049383 | 476.3666666666667 | 0.878334417696812 |
DRESDEN/fizzbuzz/t1xHzQ | 564.2305321100918 | 6136.0 | 10.874987528684027 |
BASE/othello-comp2007/86ZoMw | 575.9954933333333 | 477.76666666666665 | 0.8294625082946251 |
DRESDEN/Travelers-Dilemma/PvZwYw | 689.1993416621401 | 42284.0 | 61.35235111807245 |
BASE/chess_200/XsTpYA | 745.8884999999999 | 680.4 | 0.9122006841505131 |
BASE/zhadu/DlA8iQ | 2018.2111228070173 | 1237.7666666666667 | 0.6132989025177534 |
DRESDEN/laikLee_hex/ZeP3QQ | 3093.4370951456312 | 8102.533333333334 | 2.6192655884447156 |
DRESDEN/Zhadu/9zpQ5w | 3484.912873504273 | 18039.766666666666 | 5.1765330501725515 |
BASE/laikLee_hex/zbyscQ | 3964.809073333334 | 8087.733333333334 | 2.039879647100821 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 5801.805400000001 | 2905.3333333333335 | 0.5007636645884974 |
BASE/queens08ug/kJ_ZFQ | 12497.632995062253 | 5291.836054648451 | 0.4234270646881075 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 12638.71845 | 2934.0 | 0.23214378986344142 |
DRESDEN/satlike_20v_91c/yeuENQ | 18912.9343 | 2938.0 | 0.15534342547787522 |
DRESDEN/queens/mW2wHQ | 22106.0174 | 3584.3333333333335 | 0.16214288030612575 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 28757.459066666666 | 2859.3333333333335 | 0.09942927595601249 |
BASE/queens06ug/7Lq3tw | 29733.682083333337 | 8693.0 | 0.2923620416615909 |
DRESDEN/golden_rectangle/1uloXw | Infinity | 3.6 | 0.0 |
Games with errors:
Game | FLUXPLAYER_PROLOG:1.1 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message |
BASE/endgame/jYjfOA | Test process failed to output results for unknown reason | |
BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason | |
BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason | |
DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason | |
BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason | |
BASE/nim4/twk16w | 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 | |
BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason | |
BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason | |
STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason | |
STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason | |
BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason | |
STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason | |
STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason | |
DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason | |
BASE/nim1/hin2Qw | Test process failed to output results for unknown reason | |
BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason | |
DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason | |
DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason | |
DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason | |
BASE/hex/T1MK8g | Test process failed to output results for unknown reason | |
BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason | |
DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason | |
BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason | |
DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason | |
DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason | |
BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason | |
DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason | |
DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason | |
DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason | |
BASE/minichess/8NQEiA | Test process failed to output results for unknown reason | |
BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason | |
DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason | |
BASE/nim3/1OwUqw | Test process failed to output results for unknown reason | |
BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason | |
DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason | |
DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason | |
BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason | |
DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Test process failed to output results for unknown reason | Exception of type StackOverflowError |
BASE/amazonsTorus/soxT8g | Test process failed to output results for unknown reason | Exception of type StackOverflowError |