Game-by-game performance:
Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
DRESDEN/golden_rectangle/1uloXw | 0.0 | 0.0 | 724367.2333333333 |
BASE/colonelBlotto/jip21A | 1.3420094482743727E-7 | 0.004608294930875576 | 34338.76666666667 |
BASE/queens06ug/7Lq3tw | 3.228248964999768E-7 | 0.2923620416615909 | 905636.6 |
DRESDEN/queens/mW2wHQ | 5.005903416846356E-7 | 0.16214288030612575 | 323903.3333333333 |
BASE/queens08ug/kJ_ZFQ | 5.886626492604083E-7 | 0.4234270646881075 | 719303.4333333333 |
BASE/gt_attrition/kD_SCA | 7.880661263188619E-7 | 0.09904585823236159 | 125682.16666666667 |
DRESDEN/quad_7x7/q-JOXg | 9.60926032736505E-7 | 0.4598198588082551 | 478517.43333333335 |
BASE/golden_rectangle/_nYzfw | 1.1703631972396051E-6 | 0.9537277600552504 | 814898.9666666667 |
BASE/quad_7x7/q-JOXg | 1.5346497367221598E-6 | 0.7227948065854638 | 470983.56666666665 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2.000291223359349E-6 | 0.09942927595601249 | 49707.4 |
DRESDEN/quad_5x5_8_2/JRTLJg | 2.128548944327766E-6 | 1.2846696093286778 | 603542.4333333333 |
DRESDEN/quad_5x5/JAEP5g | 2.510263921503022E-6 | 1.6894087069525665 | 673000.4333333333 |
BASE/quad/tw-Ufg | 2.7765153522401734E-6 | 0.8955758552749418 | 322553.9 |
DRESDEN/satlike_20v_91c/yeuENQ | 2.885564917485794E-6 | 0.15534342547787522 | 53834.666666666664 |
BASE/blokbox_simple/JBx4bg | 3.0025177602169485E-6 | 0.05231356752373728 | 17423.233333333334 |
BASE/sudokuGrade6H/ieE_9A | 3.22704652244213E-6 | 1.6630254018978055 | 515339.76666666666 |
BASE/sudokuGrade6E/ihYFZA | 3.279509451175418E-6 | 1.6813243662700466 | 512675.56666666665 |
STANFORD/sudoku/oJ1qyQ | 3.423084320602603E-6 | 1.9287685810249078 | 563459.2666666667 |
BASE/sudokuGrade4/DTy07w | 3.500366533957088E-6 | 2.062747446518282 | 589294.7 |
BASE/sudokuGrade3/eI8dvg | 3.535317145323711E-6 | 2.0626101999401176 | 583430.0333333333 |
BASE/sudokuGrade5/BQfUQA | 3.624298064230613E-6 | 2.076672050631242 | 572986.0 |
DRESDEN/quad/JPe6fg | 3.6615412536009432E-6 | 1.194936054773285 | 326347.8333333333 |
BASE/racer/QQYQNw | 3.895175079718266E-6 | 0.10667235585897915 | 27385.766666666666 |
BASE/quad_5x5/JAEP5g | 3.947158937052658E-6 | 2.344702535405008 | 594022.8333333334 |
BASE/sudokuGrade2/u80Tfw | 3.955976920142063E-6 | 2.354423663615864 | 595156.0666666667 |
DRESDEN/ggp-course2013_michal13/jWKddg | 3.9568236296016695E-6 | 2.242596134819603 | 566766.7666666667 |
DRESDEN/racer/vk_ZBA | 4.05611233593265E-6 | 0.11370743078060151 | 28033.6 |
BASE/sudokuGrade1/tDRNRw | 4.252590778488023E-6 | 2.562502053286902 | 602574.3333333334 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 4.455050853293955E-6 | 0.23214378986344142 | 52108.0 |
STANFORD/duidoku/3SoMaA | 5.8316979454481965E-6 | 1.818302036498281 | 311796.3333333333 |
BASE/zhadu/DlA8iQ | 5.883636584310083E-6 | 0.6132989025177534 | 104238.06666666667 |
BASE/pawnToQueen/-O1_JA | 6.256098977417026E-6 | 3.5391790427678367 | 565716.6 |
DRESDEN/fizzbuzz/t1xHzQ | 6.6580122787258525E-6 | 10.874987528684027 | 1633368.5 |
BASE/ad_game_2x2/D0aWqg | 6.671710453082354E-6 | 0.23798191337458352 | 35670.3 |
DRESDEN/pawntoqueen/f_x6Aw | 7.637737353216194E-6 | 3.546334349728225 | 464317.4 |
DRESDEN/grid_game2/kypTYQ | 7.70948877064152E-6 | 10.922774651170535 | 1416796.2333333334 |
STANFORD/selectivesukoshi/3xmXYg | 9.044004642158633E-6 | 6.152106680855309 | 680241.4333333333 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.0186819329274938E-5 | 0.5007636645884974 | 49158.0 |
BASE/hitori/S8Gsyg | 1.1941657040482173E-5 | 4.147037356512508 | 347274.86666666664 |
BASE/copolymer_4/2LDVhQ | 1.2001780302074754E-5 | 8.830168636303279 | 735738.2333333333 |
DRESDEN/hitori/S8Gsyg | 1.3408846929863596E-5 | 4.6084477156687225 | 343687.1 |
BASE/hidato37/pBrqxw | 1.3989014880864091E-5 | 2.961730449251248 | 211718.3 |
BASE/cephalopodMicro/9l2D3g | 1.4088171759136292E-5 | 4.1005291005291005 | 291061.8333333333 |
BASE/battle/8oAvhQ | 1.592192452775452E-5 | 4.211573536726911 | 264514.1 |
DRESDEN/battle/8oAvhQ | 1.5939209873679756E-5 | 4.200568895944962 | 263536.8333333333 |
BASE/copolymer_4_pie/IN5_jA | 1.605310850003806E-5 | 9.112981009079721 | 567677.0333333333 |
BASE/colonelBlottoVariant2/jruwGw | 1.6155521941613905E-5 | 3.9703546850185285 | 245758.36666666667 |
DRESDEN/CephalopodMicro/H3XQfg | 1.6523552633854745E-5 | 4.610129017279692 | 279003.5 |
BASE/simultaneousWin2/PfjRjw | 1.8764941540806602E-5 | 17.230461589735043 | 918226.2333333333 |
STANFORD/multiplesukoshi/vLSQPg | 1.9078628802742984E-5 | 21.95715190084297 | 1150876.8333333333 |
BASE/othelloHoles/c0qAzw | 2.1189410497896044E-5 | 0.9251579148854718 | 43661.333333333336 |
BASE/checkers-mustjump-torus/uSApKQ | 2.1244924283440236E-5 | 2.1958279269388163 | 103357.76666666666 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 2.1604356960519813E-5 | 2.9991002699190243 | 138819.23333333334 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 2.180524530820013E-5 | 3.0301012253596165 | 138962.03333333333 |
DRESDEN/othello-cornercontrol/r5Gdlg | 2.195868013662059E-5 | 1.0521816328543714 | 47916.433333333334 |
BASE/gt_ultimatum/GE-uOA | 2.3562535568999504E-5 | 15.332028009159393 | 650695.1666666666 |
DRESDEN/gt_ultimatum/pAiiQw | 2.5250102598954107E-5 | 15.58960692871419 | 617407.6666666666 |
BASE/othello-comp2007/86ZoMw | 2.544358319189404E-5 | 0.8294625082946251 | 32600.066666666666 |
BASE/othelloSuicide/B442jg | 2.642749150851582E-5 | 0.878334417696812 | 33235.63333333333 |
BASE/checkers-mustjump/T-8UuQ | 2.6826184002554933E-5 | 4.558764807666711 | 169937.13333333333 |
BASE/colonelBlottoVariant/X-n-KQ | 2.7796881693170184E-5 | 10.191507077435471 | 366642.1 |
BASE/nim1/hin2Qw | 3.490729935953776E-5 | 25.041625041625043 | 717375.0333333333 |
DRESDEN/nim1/M9BALA | 3.587882975131286E-5 | 26.00645999134228 | 724841.3666666667 |
DRESDEN/nim2/z5_exA | 3.6636894188674216E-5 | 24.651875541341862 | 672870.2333333333 |
BASE/nim2/eF2Qqw | 3.98920007205786E-5 | 26.111573688592838 | 654556.6333333333 |
BASE/nim3/1OwUqw | 4.271735522029775E-5 | 24.573787959509858 | 575264.7333333333 |
DRESDEN/nim4/F5YAYg | 4.4373878169443464E-5 | 25.739211507725095 | 580053.2333333333 |
DRESDEN/nim3/sG_axA | 4.498557392926036E-5 | 25.971431425432026 | 577328.0 |
STANFORD/skirmish/w4V6Vw | 4.5986974717495034E-5 | 6.120683919898876 | 133096.03333333333 |
BASE/nim4/twk16w | 4.6434585441865243E-5 | 26.05103604503964 | 561026.5666666667 |
DRESDEN/Zhadu/9zpQ5w | 5.117251398471723E-5 | 5.1765330501725515 | 101158.46666666666 |
BASE/hidato19/rRHSmA | 5.200179072834101E-5 | 23.673170406872213 | 455237.6 |
BASE/skirmish/Y_psYQ | 5.310531548525092E-5 | 5.937572561117192 | 111807.5 |
STANFORD/madness/UO_B3A | 5.700941820688684E-5 | 7.2124173230963535 | 126512.73333333334 |
BASE/skirmishHoles/AUCxCA | 6.14778793498667E-5 | 7.836626265980408 | 127470.66666666667 |
BASE/futoshiki6/JmvXNA | 6.784488147035886E-5 | 37.69874337522083 | 555660.8333333334 |
BASE/strangeSkirmish/gc1zKA | 6.849219174260037E-5 | 7.262309281098008 | 106031.2 |
BASE/skirmishFinal1/ecWTnQ | 8.175404835005427E-5 | 10.456906886905555 | 127906.9 |
DRESDEN/skirmishfinal/hzq8ww | 8.482521212297889E-5 | 11.259910720234526 | 132742.5 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 8.539885706445479E-5 | 73.17479349853451 | 856859.1666666666 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 8.626614520052577E-5 | 42.203790679857434 | 489227.73333333334 |
BASE/tictactoe_3d_2player/IUC1rQ | 8.753794834067236E-5 | 73.48923978945966 | 839512.9333333333 |
BASE/skirmishFinal2/gdB62Q | 8.776059881270529E-5 | 12.065057992267697 | 137476.93333333332 |
BASE/skirmishFinal3/-Olhfw | 9.565545871838639E-5 | 14.239137667176792 | 148858.6 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 9.853057299232681E-5 | 23.62939510081653 | 239817.9 |
BASE/tictactoe_3d_6player/d7KSwg | 1.0304748489837774E-4 | 25.232492250258325 | 244862.76666666666 |
DRESDEN/Goldrush/VeWczQ | 1.043808806571567E-4 | 35.88564574170332 | 343795.2 |
BASE/cittaceot/fDxhXg | 1.053390930803858E-4 | 20.890947256188984 | 198320.93333333332 |
BASE/guess/SPpk1A | 1.0852749085661376E-4 | 5.912078475410378 | 54475.4 |
BASE/checkers-newgoals/0XkFiA | 1.0872001668270725E-4 | 26.855924296947887 | 247019.13333333333 |
DRESDEN/capture_the_king/EQ229Q | 1.1194483878675536E-4 | 18.39960073199135 | 164363.1 |
DRESDEN/guess/PhxGhg | 1.1799817450006376E-4 | 6.4655172413793105 | 54793.36666666667 |
BASE/futoshiki5/TJ4BZg | 1.2240663938818365E-4 | 75.13911565759221 | 613848.3666666667 |
BASE/checkers/rOC3Xg | 1.2740778622217854E-4 | 30.55648117294235 | 239832.13333333333 |
BASE/wargame01/_GZFZg | 1.3487300576872378E-4 | 32.26343477392289 | 239213.43333333332 |
DRESDEN/slidingpieces/s9_44g | 1.3496536445333702E-4 | 58.6648011193284 | 434665.6 |
BASE/slidingpieces/uFJWEw | 1.3636461202705754E-4 | 58.674574351114515 | 430277.13333333336 |
BASE/ruleDepthExponential/UamhHQ | 1.378259533944681E-4 | 305.10058100493416 | 2213665.6666666665 |
BASE/knightmove/jBaJEw | 1.4319052783865483E-4 | 137.19542681910602 | 958132.0 |
BASE/checkersSmall/SYmq8w | 1.5768072995831146E-4 | 48.16506116462784 | 305459.4 |
DRESDEN/knightmove/97Ipcw | 1.5912797656767914E-4 | 144.8521814485218 | 910287.3333333334 |
BASE/pegEuro/5awwhg | 1.7030027910457104E-4 | 78.6430737445433 | 461790.63333333336 |
BASE/coins_atomic/AA3SSw | 1.8606880434628522E-4 | 85.09149085091491 | 457311.9666666667 |
DRESDEN/connect4/T0-rHQ | 1.909842372667542E-4 | 114.0 | 596907.9 |
BASE/coins/QnGtnQ | 1.9438715235581348E-4 | 82.9250408292504 | 426597.3333333333 |
BASE/connect4/50bOyw | 1.945048504874556E-4 | 111.31849086788428 | 572317.3 |
BASE/breakthroughHoles/nZk0Sg | 1.9894179610905976E-4 | 179.35470968602093 | 901543.6333333333 |
DRESDEN/coins/QwFP9w | 2.0155385317043451E-4 | 84.83273357323738 | 420893.63333333336 |
BASE/breakthrough/TGxk-g | 2.0175503936338977E-4 | 169.56101463284557 | 840430.1333333333 |
BASE/wargame03/klXI8w | 2.0384556598984846E-4 | 34.28857047650783 | 168208.56666666668 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 2.0555724709081782E-4 | 180.3759498733502 | 877497.4 |
BASE/breakthroughSuicide/wZDpIg | 2.0638762717761604E-4 | 171.8161517181615 | 832492.5 |
BASE/breakthroughWalls/vOZaYA | 2.0689379759788337E-4 | 167.78322167783222 | 810963.0333333333 |
DRESDEN/towerworld/HCX34w | 2.093739640130777E-4 | 7.7678927101314565 | 37100.566666666666 |
DRESDEN/peg/Vo31eg | 2.10134831508439E-4 | 95.56666666666666 | 454787.36666666664 |
DRESDEN/breakthrough/z4hK7Q | 2.1123029179345498E-4 | 171.0885940937271 | 809962.4 |
DRESDEN/peg_bugfixed/u_B7MA | 2.1167502934040867E-4 | 96.71721379770038 | 456913.6666666667 |
STANFORD/platformjumpers/HEQskA | 2.1488898947856518E-4 | 81.1 | 377404.1666666667 |
BASE/pentagoSuicide/SBgNhw | 2.158646904695603E-4 | 76.17968541722207 | 352904.8 |
DRESDEN/pentago_2008/hLjVpQ | 2.1777507562827192E-4 | 77.54598773660358 | 356082.93333333335 |
DRESDEN/brawl/2kXtfQ | 2.1917356090666763E-4 | 33.59216182890659 | 153267.4 |
BASE/peg/fJHVWw | 2.1940516318428224E-4 | 99.73674564297377 | 454577.93333333335 |
BASE/brawl/6Ymo_Q | 2.209970278094892E-4 | 32.73720318380125 | 148134.13333333333 |
STANFORD/chinook/osFbPA | 2.221755345810327E-4 | 57.949281882102035 | 260826.56666666668 |
BASE/connectFourLarger/qKi60A | 2.2250469373324153E-4 | 173.92753574880837 | 781680.3 |
BASE/knightThrough/gcwFjA | 2.2259385137104255E-4 | 173.3826617338266 | 778919.3666666667 |
DRESDEN/knightthrough/J7Fc_Q | 2.2366768013713036E-4 | 172.0046658890185 | 769018.8666666667 |
BASE/pentago/86NgKw | 2.2528752467447684E-4 | 81.84211403245693 | 363278.5 |
BASE/choicethroughalt/tt71Lg | 2.2637067621850794E-4 | 111.35553111355532 | 491916.76666666666 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 2.2944934501133537E-4 | 178.5940468651045 | 778359.3666666667 |
BASE/chinook/XQh0IQ | 2.3383582993774182E-4 | 59.75272436431499 | 255532.8 |
BASE/wargame02/BkVqqQ | 2.422150085107547E-4 | 28.54193032704989 | 117837.16666666667 |
DRESDEN/babel/WdSW4A | 2.443505229914943E-4 | 57.488502299540094 | 235270.63333333333 |
BASE/checkersTiny/Lr48cg | 2.490938357473615E-4 | 102.01633061156474 | 409549.8 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.5013626290688927E-4 | 83.36388787040433 | 333273.9 |
BASE/majorities/ibJzSQ | 2.57872474421463E-4 | 122.35105957616953 | 474463.43333333335 |
BASE/duplicateStateLarge/dcjyuw | 2.5920095423762166E-4 | 331.88893703543215 | 1280431.0 |
BASE/connect5/d-BVQg | 2.601197990474139E-4 | 202.8198120125325 | 779716.9333333333 |
DRESDEN/connect5/1kYzSg | 2.6097199742461895E-4 | 202.04612103439084 | 774206.1333333333 |
BASE/tictactoe_3d_small_6player/g_9lww | 2.621719135648473E-4 | 86.62178376216505 | 330400.7 |
DRESDEN/minichess-evilconjuncts/th24Tw | 2.6462565462153736E-4 | 73.65930073659301 | 278352.8333333333 |
BASE/conn4/va9Y7A | 2.6674200901077914E-4 | 174.78834744350377 | 655271.1666666666 |
DRESDEN/skirmish2/iPpWhQ | 2.676582868425911E-4 | 68.8931106889311 | 257392.03333333333 |
BASE/skirmishNew/sibw2g | 2.700033452327123E-4 | 53.95587549156836 | 199834.1 |
BASE/minichess-evilconjuncts/4OpQzw | 2.707779644187755E-4 | 75.80806397867377 | 279963.93333333335 |
BASE/futoshiki4/BaCwSw | 2.731508876831415E-4 | 202.1599280023999 | 740103.5 |
BASE/skirmishZeroSum/zh4hcw | 2.7394049038489867E-4 | 53.704690831556505 | 196045.1 |
BASE/snake2p/I3wWPQ | 2.7414761692744113E-4 | 157.1842815718428 | 573356.3666666667 |
DRESDEN/mimikry/GJEhwA | 2.765782078135686E-4 | 239.9506699553363 | 867568.9666666667 |
BASE/cubicup/4wNWJA | 2.7685634529900463E-4 | 104.13542603885502 | 376135.23333333334 |
DRESDEN/cubicup/SBn_lw | 2.827568040176388E-4 | 101.25316624450073 | 358092.76666666666 |
BASE/speedChess/bPnisA | 2.8549954985445855E-4 | 58.31000932960149 | 204238.53333333333 |
BASE/ticTacHeaven/18n58A | 2.8576008007086663E-4 | 102.22992566914436 | 357747.4 |
DRESDEN/skirmish3/3LU8Nw | 2.8755578466258284E-4 | 63.24558480506498 | 219941.96666666667 |
STANFORD/alquerquezero/uVgA_A | 2.898045046568415E-4 | 97.23333333333333 | 335513.5333333333 |
BASE/qyshinsu/R08Lzw | 2.899463644849185E-4 | 74.78255073816109 | 257918.56666666668 |
BASE/ttcc4_2player/_aH_Mw | 2.935602040912684E-4 | 106.73333333333333 | 363582.43333333335 |
BASE/blockerSerial/3eqDuw | 2.994697070048677E-4 | 173.1493517314935 | 578186.5333333333 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.0197749868727364E-4 | 109.76666666666667 | 363492.86666666664 |
DRESDEN/skirmish/RjGQYQ | 3.0227442563257877E-4 | 67.15323601946277 | 222159.83333333334 |
BASE/tpeg/QNs7Lw | 3.048193668452611E-4 | 110.2889711028897 | 361817.4666666667 |
DRESDEN/tpeg/h-Scbg | 3.0649781840265026E-4 | 111.38514864684709 | 363412.5333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.094535277017812E-4 | 269.1974403412878 | 869912.3333333334 |
BASE/tictactoe_3d_small_2player/oOryKA | 3.1517395700140713E-4 | 269.68202119858677 | 855660.8666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 3.2103682599105503E-4 | 171.26095796806774 | 533462.0333333333 |
STANFORD/nineboardtictactoe/y28P-A | 3.26500183782033E-4 | 176.07065489085153 | 539266.6333333333 |
BASE/breakthroughSmall/HJ0tIA | 3.302215600412567E-4 | 270.12432918902704 | 818009.3666666667 |
BASE/breakthroughSuicideSmall/XSbJog | 3.306572820886851E-4 | 273.6726327367263 | 827662.5 |
STANFORD/duikoshi/tpw1sw | 3.418196008356325E-4 | 165.2724545909015 | 483507.8333333333 |
DRESDEN/backgammon/mqCW0Q | 3.420167259099602E-4 | 51.294870512948705 | 149977.66666666666 |
STANFORD/ttcc4/Cx9SGw | 3.485376049615293E-4 | 118.93098737045553 | 341228.56666666665 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 3.535225457022091E-4 | 96.80751799520128 | 273836.9 |
STANFORD/multipletictactoe/_bkafQ | 3.54041989575678E-4 | 438.1041263915739 | 1237435.5 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.5465117827349453E-4 | 430.6 | 1214150.7666666666 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 3.588280938867364E-4 | 447.8333333333333 | 1248044.2333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.625033869612482E-4 | 607.0333333333333 | 1674559.0666666667 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 3.6303490024689426E-4 | 102.80249258555767 | 283175.23333333334 |
BASE/ticTacToeSerial/Amrwqw | 3.6485011292955975E-4 | 190.60156640559907 | 522410.6 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.6757446161026674E-4 | 759.6666666666666 | 2066701.4333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.7608636926050843E-4 | 774.8 | 2060165.0666666667 |
DRESDEN/sat_test_20v_91c/dK7nVw | 3.764627167853271E-4 | 424.7191760274658 | 1128183.9 |
BASE/nineBoardTicTacToePie/B8LzeQ | 3.797549082818295E-4 | 170.19432685577146 | 448168.86666666664 |
BASE/ticTacHeavenFC/mrletw | 3.923672746967929E-4 | 141.59144655763913 | 360864.56666666665 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.938009758062301E-4 | 430.2 | 1092430.0 |
BASE/twisty-passages/DiZmmg | 3.944410226302635E-4 | 1087.7666666666667 | 2757742.2333333334 |
BASE/connectFourLarge/aU644A | 3.9484360128780755E-4 | 346.01026598226787 | 876322.3333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.9526798586979886E-4 | 800.7666666666667 | 2025882.9333333333 |
BASE/ttcc4_2player_alt/ZEJvYA | 4.004947941223783E-4 | 156.43333333333334 | 390600.1666666667 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.0104187317289866E-4 | 431.9 | 1076944.9 |
BASE/dotsAndBoxesSuicide/jzQbLw | 4.0742984972802016E-4 | 339.69936339699365 | 833761.6 |
BASE/dotsAndBoxes/EHwA_w | 4.1136137820644436E-4 | 342.26666666666665 | 832034.0333333333 |
BASE/2pttc/unkkYA | 4.1322453294411404E-4 | 286.1333333333333 | 692440.3333333334 |
BASE/connectFourSimultaneous/7ITr3g | 4.183667395103753E-4 | 217.95640871825634 | 520969.73333333334 |
DRESDEN/twisty-passages/j7NPyg | 4.1837557205597975E-4 | 1111.5 | 2656703.8666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.2010683785210915E-4 | 808.8333333333334 | 1925303.9 |
BASE/dualConnect4/WbCQkg | 4.3419172925771607E-4 | 385.0538315389487 | 886829.0333333333 |
BASE/pacman3p/wW7UVQ | 4.490361209554906E-4 | 210.4263191226959 | 468617.8 |
BASE/max_knights/2fq3Ag | 4.5132503999116823E-4 | 367.0877637412086 | 813355.6333333333 |
STANFORD/pentago/ZxzLmg | 4.51751893707564E-4 | 165.76132235811644 | 366930.0 |
DRESDEN/pawn_whopping/4ogBkg | 4.5207810999115786E-4 | 371.82093930202325 | 822470.5666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 4.539227678180757E-4 | 353.06666666666666 | 777812.2 |
BASE/lightsOnSimultaneous/_VN6lw | 4.571929868269911E-4 | 370.9876337455418 | 811446.4666666667 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 4.614799823555847E-4 | 704.809839672011 | 1527281.5 |
BASE/wallmaze/uxNQ9g | 4.67487288020986E-4 | 253.7915402819906 | 542884.3666666667 |
DRESDEN/max_knights/hCipiA | 4.71102110772048E-4 | 360.1333333333333 | 764448.5666666667 |
BASE/breakthroughSmallHoles/bxclRw | 4.7753643620383074E-4 | 373.4542181927269 | 782043.4 |
BASE/3pConnectFour/PqXOFQ | 4.780231221446319E-4 | 326.9 | 683858.1333333333 |
BASE/stateSpaceLarge/0Ge_CQ | 4.804326307294112E-4 | 492.28359054698177 | 1024667.2666666667 |
DRESDEN/statespacelarge/8-y5HQ | 4.851119988807572E-4 | 484.4 | 998532.3 |
BASE/pawnWhopping/Ypc_6Q | 4.864208944452978E-4 | 355.53333333333336 | 730917.0666666667 |
BASE/connectFour_9x6/B9TtMw | 4.993022966794157E-4 | 479.1666666666667 | 959672.4666666667 |
BASE/pacman2p/4LEdQg | 5.071135738715736E-4 | 201.26666666666668 | 396886.76666666666 |
DRESDEN/pacman3p/rBnk8Q | 5.105398213201059E-4 | 208.07225703239567 | 407553.43333333335 |
BASE/escortLatch/mX9BjQ | 5.174362457809166E-4 | 255.01633224451703 | 492845.9 |
BASE/mineClearingSmall/frsbvw | 5.178100637208638E-4 | 147.9 | 285625.9666666667 |
DRESDEN/cubicup_3player/awDtsQ | 5.202985368569319E-4 | 40.019993335554815 | 76917.36666666667 |
BASE/cubicup_3player/e2yA_g | 5.210547360003366E-4 | 41.25016660002665 | 79166.66666666667 |
STANFORD/freeforall/Lfp40Q | 5.288024397811037E-4 | 274.74835010999266 | 519567.1 |
BASE/ttcc4_2player_small/Cv72TA | 5.334285855194304E-4 | 294.6136924205053 | 552302.0333333333 |
BASE/lightsOnSimul4/9FeASw | 5.351941132312421E-4 | 292.06666666666666 | 545721.0 |
DRESDEN/aipsrovers01/qS47Mw | 5.434723921620139E-4 | 877.4 | 1614433.4333333333 |
STANFORD/connectfour/VMpZkQ | 5.455882741475397E-4 | 533.4666666666667 | 977782.5 |
BASE/englishDraughts/jFkQxg | 5.5180903141122E-4 | 166.7944146365848 | 302268.36666666664 |
BASE/aipsrovers01/4C4jsw | 5.545835810695037E-4 | 856.4381187293757 | 1544290.4333333333 |
BASE/ticTacToeLarge/TZC0dg | 5.547990864064878E-4 | 734.1666666666666 | 1323301.8666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 5.651661304468962E-4 | 738.8594473885945 | 1307331.4333333333 |
BASE/connectFourSuicide/c8p9Kw | 5.676762563325262E-4 | 568.5477150761641 | 1001535.1333333333 |
STANFORD/checkersonabarrelnokings/Zrevdw | 5.694552258137524E-4 | 166.500033326668 | 292384.76666666666 |
BASE/ticTacToeLargeSuicide/727_8g | 5.70171330107681E-4 | 748.0666666666667 | 1312003.3 |
DRESDEN/connectfour/5tc-Mg | 5.725619579638585E-4 | 557.0333333333333 | 972878.7 |
DRESDEN/connectfoursuicide/M9CNQg | 5.785646923821543E-4 | 573.8 | 991764.6333333333 |
DRESDEN/tictactoelarge/IwXcbg | 5.793198253696552E-4 | 734.5666666666667 | 1267981.2333333334 |
BASE/connectFour/WAIKTw | 5.812739950853272E-4 | 567.1965077143524 | 975781.6666666666 |
BASE/2pffa_zerosum/o0_uZA | 5.820685098605372E-4 | 288.9474035064329 | 496414.76666666666 |
BASE/2pffa/6oHijA | 5.844601255218962E-4 | 289.4473701753216 | 495238.86666666664 |
DRESDEN/chinesecheckers1/Y-ftaA | 6.090648675688853E-4 | 841.0333333333333 | 1380860.0333333334 |
BASE/checkersTorusNoKings/pwb6oQ | 6.093280596933577E-4 | 174.5709048491918 | 286497.4 |
BASE/blocksWorldParallel/RseaAQ | 6.129043059381685E-4 | 266.6333333333333 | 435032.56666666665 |
BASE/checkersBarrelNoKings/rnKNeg | 6.262431563114723E-4 | 200.5266491116963 | 320205.73333333334 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 6.297074203710689E-4 | 992.5333333333333 | 1576181.7333333334 |
DRESDEN/smallest_4player/ADDROA | 6.371472193656314E-4 | 201.25324978334777 | 315866.1666666667 |
BASE/smallest_4player/ADDROA | 6.56778120279543E-4 | 201.19329355688143 | 306333.73333333334 |
BASE/ticblock/T21C1g | 6.574823435646919E-4 | 471.35095496816774 | 716902.8333333334 |
BASE/tictactoex9/BI26ow | 6.629533364909792E-4 | 344.0874550059992 | 519022.13333333336 |
BASE/duplicateStateMedium/U163eQ | 6.670071311539562E-4 | 1110.4666666666667 | 1664849.7666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 6.72723307862123E-4 | 981.9333333333333 | 1459639.2333333334 |
DRESDEN/tictactoex9/rFkD4w | 6.733793173888173E-4 | 346.6884437185427 | 514848.6666666667 |
DRESDEN/ticblock/Z2yNWQ | 6.742681326848023E-4 | 481.46666666666664 | 714058.1666666666 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 7.100362982591212E-4 | 545.9 | 768833.9333333333 |
BASE/checkersTorus/2vm1EQ | 7.166398670860332E-4 | 161.62794573514216 | 225535.8 |
DRESDEN/endgame/IJhh3Q | 7.18450109985594E-4 | 123.16256124795841 | 171428.13333333333 |
STANFORD/breakthrough/d5j0cQ | 7.261827102438886E-4 | 583.1138962034598 | 802985.1 |
DRESDEN/catcha_mouse/cHv4dw | 7.419547985581626E-4 | 512.6 | 690877.6666666666 |
BASE/hanoi7_bugfix/3gdnFw | 7.518698796644044E-4 | 915.3666666666667 | 1217453.5666666667 |
BASE/amazons_8x8/7SOsIw | 7.529386236553035E-4 | 90.99090090990902 | 120847.7 |
DRESDEN/hanoi7/51zz5Q | 7.60651206593425E-4 | 937.3 | 1232233.6333333333 |
DRESDEN/hanoi7_bugfix/3gdnFw | 7.672348854727562E-4 | 922.1666666666666 | 1201935.2666666666 |
BASE/withConviction/3Xm54A | 7.770631766679154E-4 | 495.73333333333335 | 637957.5666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 8.400420514368947E-4 | 673.8550763282448 | 802168.2666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 8.418633699957382E-4 | 580.8333333333334 | 689937.7666666667 |
BASE/mummymaze2p/vpjDdA | 8.448476638634389E-4 | 922.6666666666666 | 1092110.1 |
STANFORD/pilgrimage/ObRZnQ | 8.459554730294914E-4 | 248.28344777014865 | 293494.7 |
BASE/catcha_mouse/cHv4dw | 8.483786219827088E-4 | 518.7827072430919 | 611499.0333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 8.497697919339297E-4 | 673.0 | 791979.2 |
BASE/chomp/-LcqYQ | 8.505185294098311E-4 | 332.03333333333336 | 390389.3 |
BASE/checkLines/Vop7oQ | 8.857422811072187E-4 | 370.1876604113196 | 417940.6 |
DRESDEN/mummymaze2p/k-8edg | 8.88089461264131E-4 | 930.1333333333333 | 1047341.9333333333 |
BASE/ticTacToeNoVars/XT03NA | 8.995775450617436E-4 | 1116.3333333333333 | 1240952.8666666667 |
STANFORD/sukoshi/4LYZZQ | 9.032162970893468E-4 | 889.6370120995966 | 984965.6333333333 |
DRESDEN/chomp/-LcqYQ | 9.194903164433686E-4 | 338.7435427428762 | 368403.6 |
BASE/racetrackcorridor/_RkdUg | 9.29360360975623E-4 | 629.9123362554582 | 677791.2666666667 |
DRESDEN/hanoi_6_disks/MeubgQ | 9.344553984505691E-4 | 1248.3 | 1335858.3 |
BASE/chineseCheckers1/gqtwHw | 9.355263063552386E-4 | 1548.3333333333333 | 1655039.8666666667 |
BASE/chineseCheckers4/avfBcQ | 9.446945402306734E-4 | 344.3666666666667 | 364527.0 |
BASE/hanoi_6_disks/MeubgQ | 9.709540889971871E-4 | 1256.4666666666667 | 1294053.6333333333 |
DRESDEN/chinesecheckers2/06E6-Q | 9.847294593044453E-4 | 647.078430718976 | 657112.9 |
DRESDEN/blockerparallel/dVQgSg | 9.86792528298733E-4 | 194.64071457139048 | 197245.83333333334 |
BASE/blockerParallel/7-nDJA | 0.001015848294389585 | 195.48696753549763 | 192437.16666666666 |
BASE/brain_teaser_extended/ZDp94A | 0.0010269127985523035 | 809.0666666666667 | 787863.0666666667 |
DRESDEN/grid_game/U7_Yeg | 0.001035105261774103 | 628.6 | 607281.2333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.0010372525631285154 | 830.5723142561915 | 800742.6 |
DRESDEN/tttcc4/sAvtFg | 0.0010610361281454882 | 137.72415172321845 | 129801.56666666667 |
BASE/tttcc4/8Bs2lg | 0.0010634806302963068 | 143.29522349255024 | 134741.73333333334 |
DRESDEN/javastrike/whONTQ | 0.0010674156483393342 | 70.36197586827545 | 65918.06666666667 |
BASE/ttcc4/Le0qjQ | 0.0010768954895298633 | 142.77620396600565 | 132581.3 |
BASE/tictactoe_3player/GtM71g | 0.0010968460839885213 | 536.3748458692971 | 489015.6 |
BASE/stateSpaceMedium/3bUoIw | 0.0011085538806889542 | 1610.3 | 1452613.2 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.001111022875729077 | 514.3495216826105 | 462951.3333333333 |
DRESDEN/statespacemedium/dVJZ_w | 0.001121744745787997 | 1633.2 | 1455946.2 |
BASE/biddingTicTacToe/8mESVw | 0.001155779071612292 | 448.04026129849353 | 387652.1666666667 |
BASE/hanoi/iGLsJg | 0.0011762961985048329 | 1354.3333333333333 | 1151354.0 |
DRESDEN/chinesecheckers6/yTbPDA | 0.0011785251079173007 | 372.76666666666665 | 316299.3 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.0011893830294110485 | 459.46936870875277 | 386309.0 |
STANFORD/knightstourbig/TQUI2g | 0.0012000814732944774 | 1159.1333333333334 | 965878.8666666667 |
BASE/lightsOut/5P1ZBw | 0.0012017300392541082 | 765.7 | 637164.7333333333 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.0012128464124045832 | 71.4499950011664 | 58911.0 |
DRESDEN/hanoi/RQ0jiA | 0.00121367546131818 | 1385.1 | 1141244.1333333333 |
DRESDEN/lightsout/XgLpzQ | 0.0012232745735481965 | 759.9 | 621201.5 |
BASE/3pttc/0sol9g | 0.0012358600272789717 | 318.38938702043265 | 257625.76666666666 |
DRESDEN/lightsout2/LFtfyQ | 0.0012505041623012052 | 757.2333333333333 | 605542.4333333333 |
BASE/snake_2009_big/-oRfVw | 0.0012541570655752229 | 438.1520615979467 | 349359.8 |
BASE/chineseCheckers2/eCMR3Q | 0.0012600579633709798 | 1072.9 | 851468.7666666667 |
DRESDEN/chinesecheckers3/QsCb2A | 0.0012748182200462382 | 536.8487717076098 | 421117.9 |
BASE/lightsOnParallel/SC6enA | 0.0012912337805384467 | 2177.5333333333333 | 1686397.4333333333 |
BASE/doubletoetictac/fu35bg | 0.00130716240608764 | 644.3666666666667 | 492950.73333333334 |
BASE/amazons_10x10/Bun8dA | 0.0013293116985147152 | 72.89028129582722 | 54833.1 |
BASE/gt_tinfoil/Q8DyKg | 0.0013417078820761943 | 665.1111629612346 | 495719.8 |
BASE/firefighter/WJmoPw | 0.0013428984707195013 | 5510.233333333334 | 4103238.966666667 |
BASE/snake_2008/i6K26g | 0.0013675284560673824 | 517.1827605746475 | 378187.93333333335 |
DRESDEN/snake_2008/E56l3A | 0.0013906233069575248 | 514.3161894603513 | 369845.8 |
BASE/chineseCheckers6/rREH3A | 0.001397011381727935 | 536.4666666666667 | 384010.23333333334 |
BASE/snake_2008_tweaked/bX0NJQ | 0.0014205873307087343 | 530.8666666666667 | 373695.2 |
DRESDEN/snake_2009_big/DgC1NQ | 0.0014300121193527116 | 440.0 | 307689.7 |
BASE/knightsTourLarge/M8jgLA | 0.0014649249953104036 | 1345.5666666666666 | 918522.5666666667 |
DRESDEN/firefighter/WJmoPw | 0.001487034711175099 | 5729.266666666666 | 3852813.0 |
STANFORD/hex/MTqWcw | 0.0015150043923718307 | 127.49575014166194 | 84155.36666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 0.0015229805894493775 | 654.0 | 429421.1 |
BASE/doubletictactoe/HH1htg | 0.0015326231057981494 | 654.3666666666667 | 426958.63333333336 |
BASE/hex/T1MK8g | 0.00153274586898082 | 128.3957201426619 | 83768.43333333333 |
BASE/factoringGeorgeForman/HGRorQ | 0.001540173706002183 | 3171.2 | 2058988.5333333334 |
BASE/bunk_t/xbpfIA | 0.0015448333983789503 | 655.5 | 424317.6 |
STANFORD/tictactoe3/X7myng | 0.0015477545780771414 | 1736.8333333333333 | 1122163.2666666666 |
BASE/rubiksCube/9tNO9Q | 0.001552054560341182 | 195.5 | 125962.06666666667 |
DRESDEN/bunk_t/7-tPfA | 0.0016033758458243843 | 679.9333333333333 | 424063.6 |
BASE/3pffa/pR0dzA | 0.0016170464386927707 | 328.44477034864343 | 203114.0 |
DRESDEN/doubletoetictac/V89gKQ | 0.0016202294853896622 | 670.5 | 413830.26666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 0.0016624285283843138 | 387.1333333333333 | 232872.16666666666 |
DRESDEN/snake_2009/zIYLVw | 0.0016675244734885703 | 555.9666666666667 | 333408.4 |
DRESDEN/racetrackcorridor/O0DoTA | 0.0016960267721279705 | 1030.4333333333334 | 607557.2333333333 |
BASE/tictactoe2/bhrDoQ | 0.001696744349847695 | 2127.6 | 1253930.8 |
BASE/snake_2009/7l-qAQ | 0.0017285764036714774 | 562.2 | 325238.73333333334 |
STANFORD/untwistycomplex/HTWEwg | 0.0017420774154246475 | 6152.0 | 3531415.966666667 |
BASE/chineseCheckers3/-1rZdQ | 0.001742947594819685 | 877.8 | 503629.6 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.001799731311997768 | 2962.5333333333333 | 1646097.5666666667 |
BASE/4pffa/Q3ADlg | 0.0018178033933249618 | 318.2121191920539 | 175053.1 |
BASE/incredible/8Qh-6Q | 0.0018657846572365771 | 3526.6666666666665 | 1890178.8333333333 |
BASE/hexPie/48CH6Q | 0.0019404528426067006 | 126.91590030654405 | 65405.3 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.0019784706519003397 | 3360.5 | 1698534.1666666667 |
BASE/4pttc/AL1k2Q | 0.002053693560699566 | 420.1333333333333 | 204574.5 |
DRESDEN/oisters_farm/pTQMLg | 0.002071009759594325 | 7755.2 | 3744646.7666666666 |
STANFORD/knightstour/cEwgNA | 0.0021050166199465224 | 2701.7 | 1283457.8 |
BASE/knightsTour/mvtVIg | 0.002111306357915051 | 2776.8333333333335 | 1315220.4666666666 |
DRESDEN/stratego/Z2wovg | 0.002159458195681602 | 355.38815372820903 | 164572.83333333334 |
DRESDEN/minichess/c7GMFw | 0.0021642390581282033 | 595.2666666666667 | 275046.63333333336 |
BASE/quarto/EwBMVQ | 0.002180661227972304 | 245.2918236058798 | 112485.06666666667 |
DRESDEN/3pttc/uwYBZw | 0.002186836481494098 | 592.7666666666667 | 271061.26666666666 |
DRESDEN/ghostmaze2p/HY0UwA | 0.002204371985371991 | 2119.7 | 961589.0666666667 |
DRESDEN/knightstour/cGISAA | 0.0022116559858645496 | 2815.266666666667 | 1272922.5 |
BASE/asteroidsSerial/id2QkA | 0.0022250268814088658 | 1804.5666666666666 | 811031.4 |
BASE/numbertictactoe/rvJ-iQ | 0.0022378600058751696 | 983.2333333333333 | 439363.2 |
BASE/bomberman2p/4CClwA | 0.0022772526418289142 | 1065.5666666666666 | 467917.63333333336 |
DRESDEN/bomberman2p/x4h6jQ | 0.002279336499301355 | 1060.5333333333333 | 465281.6 |
STANFORD/knightstourmedium/x1wu8Q | 0.0022852699385513 | 2917.1 | 1276479.4 |
BASE/quartoSuicide/-23jUg | 0.0023157619077426826 | 255.26666666666668 | 110230.1 |
BASE/amazonsTorus_10x10/Uxc08g | 0.0023319399906583417 | 46.01298485100716 | 19731.633333333335 |
DRESDEN/quartosuicide/WIU1oQ | 0.002367744991773165 | 247.32580225932222 | 104456.26666666666 |
BASE/gt_coordination/IVMOzA | 0.0023736879947370065 | 2562.9666666666667 | 1079740.3333333333 |
BASE/ghostMaze2p/W-NU-w | 0.0023962090330044354 | 2086.4666666666667 | 870736.5 |
DRESDEN/tictactoeparallel/yk_DSg | 0.0023987879317078904 | 747.6834877674821 | 311692.2 |
STANFORD/tictactoe5/WFRReg | 0.0024467069955863966 | 2152.9333333333334 | 879931.0 |
DRESDEN/logistics/fPru1Q | 0.002482110405161963 | 1232.9666666666667 | 496741.26666666666 |
DRESDEN/quarto/OQzRYQ | 0.0024851034280424737 | 256.89143695210157 | 103372.53333333334 |
BASE/ticTacToeParallel/ymRGPw | 0.0025358561817946886 | 781.1 | 308022.2 |
DRESDEN/3pffa/0YrmQw | 0.002556432201123295 | 637.2333333333333 | 249266.66666666666 |
DRESDEN/4pttc/9pB9AQ | 0.0027278097233777755 | 673.6108796373454 | 246942.03333333333 |
DRESDEN/crissrace/KWb9bw | 0.0027323575199170985 | 239.0920302656578 | 87503.93333333333 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.0027534699473436117 | 3068.4 | 1114375.7 |
DRESDEN/crisscross/GsY16g | 0.002780759331176801 | 319.67868808746084 | 114960.93333333333 |
BASE/minichess/8NQEiA | 0.0027887851742432264 | 661.9779340688643 | 237371.43333333332 |
DRESDEN/blocker/S815zQ | 0.0027951997646006935 | 2789.6666666666665 | 998020.5 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.0028397584481992147 | 6393.6 | 2251459.1 |
DRESDEN/lightson2x2/gBHuig | 0.0028687784896285 | 4180.333333333333 | 1457182.3333333333 |
BASE/lightsOn/MsXu3A | 0.0029380920719344434 | 6085.4 | 2071208.0666666667 |
BASE/duplicateStateSmall/bCPAXw | 0.002952561812348944 | 6085.333333333333 | 2061035.0333333334 |
BASE/crissrace/ERWGDA | 0.0029564868376590944 | 253.64538251548038 | 85792.83333333333 |
BASE/blocker/dIWtxg | 0.0029770297116835905 | 2954.3333333333335 | 992376.1666666666 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.0029888245584831275 | 10765.833333333334 | 3602029.2 |
STANFORD/dualhunter/1rPZjQ | 0.0029961147756617915 | 1331.9666666666667 | 444564.63333333336 |
BASE/gt_chicken/gmepTQ | 0.003094876355422811 | 1312.8666666666666 | 424206.5 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0031034306295960983 | 11172.733333333334 | 3600123.433333333 |
BASE/tictactoe-init1/7M19vA | 0.00311879759966775 | 2641.1 | 846832.7666666667 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.003141130914269305 | 2775.4333333333334 | 883577.7333333333 |
BASE/snakeParallel/RCVNtw | 0.0031599612655733634 | 2450.233333333333 | 775399.8 |
DRESDEN/gt_chicken/CeuKtw | 0.0031888355194187815 | 1342.0333333333333 | 420853.73333333334 |
DRESDEN/latenttictactoe/kITHKg | 0.0032351908577687 | 2052.766666666667 | 634511.7666666667 |
BASE/crisscross/ICagEg | 0.0033729884843883558 | 338.8333333333333 | 100454.93333333333 |
STANFORD/tictactoe7/-bE9-A | 0.0034746570914300735 | 2598.733333333333 | 747910.7333333333 |
DRESDEN/Thief_Police/CX18rA | 0.0036100419962747606 | 3203.766666666667 | 887459.6666666666 |
DRESDEN/frogs_and_toads/GjchhQ | 0.0036433292732812087 | 520.2493250224993 | 142795.03333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.0037059321736233517 | 5296.533333333334 | 1429204.0666666667 |
DRESDEN/eotcatcit/mQUxzA | 0.003710636933050019 | 3008.0 | 810642.5 |
BASE/beatMania/qUHwvQ | 0.003728460326508492 | 3653.6666666666665 | 979939.8 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.0037952363681655983 | 3319.266666666667 | 874587.6 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.003878034107584975 | 3262.266666666667 | 841216.6 |
STANFORD/tictactoe/ss1kyQ | 0.003906906846565402 | 2955.4 | 756455.2 |
DRESDEN/gt_prisoner/huCp4w | 0.003954359463376292 | 1636.0666666666666 | 413737.4666666667 |
STANFORD/hunter/14dD-g | 0.004015319202223441 | 3463.0 | 862447.0 |
DRESDEN/tictactoe/BTTzPw | 0.0040281812579528 | 3237.133333333333 | 803621.5666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 0.004039918421335803 | 214.0 | 52971.36666666667 |
DRESDEN/catch_me/ghGWrA | 0.004041444482034594 | 3211.0666666666666 | 794534.4 |
BASE/gt_staghunt/xPjLRA | 0.0040779393931780076 | 1687.9333333333334 | 413918.2 |
DRESDEN/point_grab/r5DPmQ | 0.0040957155670277275 | 7423.333333333333 | 1812463.1 |
BASE/ticTacToe/JRFsaQ | 0.004122196903520697 | 3189.4333333333334 | 773721.7333333333 |
BASE/point_grab/V_osUg | 0.004154019105464337 | 7666.3 | 1845513.9 |
BASE/gt_prisoner/klthDw | 0.0041935877379907505 | 1692.5 | 403592.36666666664 |
STANFORD/trifecta/ss1kyQ | 0.004227611791500816 | 2982.5333333333333 | 705488.9333333333 |
BASE/chickentictactoe/DSlZCA | 0.004237076258498582 | 2657.9 | 627295.7666666667 |
BASE/eotcatcit/AfZSzA | 0.00429161967156495 | 2968.9333333333334 | 691797.8666666667 |
BASE/hodgepodge/9yjRkw | 0.004300280553289109 | 5759.033333333334 | 1339222.7 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.004357671376039087 | 665.7111429619013 | 152767.63333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.004399826081234489 | 9369.766666666666 | 2129576.6 |
BASE/sheepAndWolf/g4THrg | 0.004422913817873401 | 681.4 | 154061.33333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 0.004451377253166693 | 2670.9333333333334 | 600024.0333333333 |
BASE/asteroidsParallel/WauZiA | 0.004511365769711085 | 2228.4333333333334 | 493959.8 |
BASE/blocksWorldSerial/Wyg96Q | 0.004518269063048179 | 3660.9666666666667 | 810258.6666666666 |
BASE/shmup/ssTNlg | 0.00454741375723717 | 910.8333333333334 | 200297.0 |
BASE/stateSpaceSmall/Q7osKA | 0.004599333332941472 | 8607.233333333334 | 1871408.9 |
BASE/asteroids/BKCmPQ | 0.004634674945887559 | 4333.766666666666 | 935074.5666666667 |
BASE/sum15/QZ07Kg | 0.004804806484616803 | 3264.0333333333333 | 679326.7 |
STANFORD/untwistycorridor/EDPPAQ | 0.004825102817978544 | 17661.066666666666 | 3660246.7 |
DRESDEN/statespacesmall/h-NqjA | 0.004831517124155334 | 8742.933333333332 | 1809562.7333333334 |
DRESDEN/sum15/CsgWKg | 0.004890211001992864 | 3278.766666666667 | 670475.5 |
DRESDEN/cube_2x2x2/fp-34Q | 0.005133666085072011 | 1436.1333333333334 | 279748.1 |
BASE/tictactoe_orthogonal/WRzlVw | 0.005149194180145972 | 3925.2 | 762294.0333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.005187007919181131 | 3956.266666666667 | 762726.1666666666 |
BASE/toetictac/mTThmg | 0.005234433483137944 | 5830.766666666666 | 1113925.0666666667 |
DRESDEN/knightfight/4_Ly4w | 0.005261671381944596 | 1232.0922635912136 | 234163.66666666666 |
DRESDEN/smallest/9kaGFw | 0.005269072436845666 | 61.266666666666666 | 11627.6 |
BASE/knightfight/SJRkAg | 0.005336578550653054 | 1264.8333333333333 | 237012.03333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.005429145248672947 | 7985.066666666667 | 1470777.8666666667 |
BASE/untwistycomplex2/EDPPAQ | 0.00564145534070216 | 17801.8 | 3155533.2666666666 |
DRESDEN/toetictac/mJtxCA | 0.005671978471591716 | 5948.333333333333 | 1048722.8333333333 |
BASE/circlesolitaire/azuQFQ | 0.005756030571526181 | 5054.033333333334 | 878041.4333333333 |
BASE/chickentoetictac/l57rfQ | 0.005771772698162866 | 4653.766666666666 | 806297.6333333333 |
DRESDEN/circlesolitaire/ruUilQ | 0.005854308007840817 | 5074.2 | 866746.3333333334 |
BASE/snakeAssemblit/UO4sdg | 0.005933113035235721 | 241.87581241875813 | 40767.1 |
BASE/gt_dollar/TGjqRw | 0.0060455785111698315 | 5939.0 | 982370.8333333334 |
DRESDEN/blobwars/ZaMluQ | 0.006096616094673631 | 120.29599013366222 | 19731.6 |
DRESDEN/tictictoe/LAUtwg | 0.0061470642497701185 | 2093.5333333333333 | 340574.5 |
BASE/tron_10x10/7ZTgDg | 0.006151234875417179 | 2321.3333333333335 | 377376.8 |
DRESDEN/chickentoetictac/cxYaRQ | 0.00618328022669838 | 4643.866666666667 | 751036.1 |
DRESDEN/buttons/ADUaHw | 0.006276641248583929 | 15599.033333333333 | 2485251.7 |
BASE/ticTicToe/c1OobQ | 0.006279949104252967 | 2103.0333333333333 | 334880.63333333336 |
STANFORD/tictictoe/rpt_Dw | 0.006294731924916475 | 2086.866666666667 | 331525.9 |
BASE/coloredtrails/EZvr7g | 0.0062985659277694245 | 2376.9666666666667 | 377382.2 |
DRESDEN/blocksworldparallel/2JfVaw | 0.006355520702236171 | 2733.366666666667 | 430077.5333333333 |
BASE/buttons/hTcUjw | 0.006395020672736473 | 15464.033333333333 | 2418136.566666667 |
BASE/blobwars/0XT15Q | 0.006440519192863216 | 124.44607336820711 | 19322.366666666665 |
BASE/eotcitcit/V_9_bg | 0.006477249316834215 | 2154.766666666667 | 332666.93333333335 |
DRESDEN/Runners/3bOCQw | 0.006504409492753278 | 5544.233333333334 | 852380.7333333333 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.00665774879083533 | 1122.0 | 168525.43333333332 |
BASE/pearls/6k_mEQ | 0.006797272569427031 | 20962.433333333334 | 3083947.7333333334 |
BASE/maze/cCX3qQ | 0.007259490635508253 | 16503.233333333334 | 2273332.1333333333 |
BASE/blocksWorld/SEdXLQ | 0.007355304123427875 | 11382.2 | 1547481.9 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.007377022904267639 | 988.90073995067 | 134051.46666666667 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.007730255090373126 | 1120.3546312035462 | 144931.13333333333 |
BASE/blocks/xIV5hQ | 0.007966970343462753 | 11261.066666666668 | 1413469.1333333333 |
DRESDEN/blocks/vg0DRw | 0.007973864604706159 | 11587.633333333333 | 1453201.6666666667 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.008385142194400437 | 1409.3333333333333 | 168075.06666666668 |
STANFORD/3puzzle/41ibjA | 0.008674423497971442 | 9532.766666666666 | 1098951.0333333334 |
STANFORD/threepuzzle/41ibjA | 0.008823737321486494 | 9586.5 | 1086444.4 |
BASE/gt_centipede/9fRMpw | 0.009420891346354274 | 10129.966666666667 | 1075266.2666666666 |
BASE/switches/tPUoCg | 0.009947875875760367 | 12551.933333333332 | 1261770.2 |
BASE/troublemaker02/DI83KA | 0.010072801574494307 | 21142.233333333334 | 2098942.7 |
DRESDEN/troublemaker02/iZLVuA | 0.01039193031560696 | 20520.8 | 1974686.0666666667 |
BASE/troublemaker01/s3tlEQ | 0.010451769500002397 | 22955.066666666666 | 2196285.2 |
DRESDEN/roshambo2/jgSlkQ | 0.010592807247712539 | 8024.233333333334 | 757517.1666666666 |
DRESDEN/troublemaker01/C-lPWw | 0.010874547162774691 | 23702.266666666666 | 2179609.533333333 |
STANFORD/buttonsandlights/eyhJpA | 0.010958491093572786 | 32379.766666666666 | 2954765.066666667 |
BASE/roshambo2/KNPokQ | 0.011018202275418224 | 8166.433333333333 | 741176.5666666667 |
BASE/ruleDepthLinear/OUBJpQ | 0.011809989992955178 | 19905.1 | 1685445.9666666666 |
BASE/haystack/UkweGA | 0.01218304161318491 | 35160.63333333333 | 2886030.8 |
BASE/survival/YVIjJA | 0.012678090956179623 | 29248.266666666666 | 2306992.966666667 |
BASE/blocks2player/wnTLOQ | 0.013368803939432735 | 7737.466666666666 | 578770.3 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.014181470667649097 | 61.35235111807245 | 4326.233333333334 |
BASE/kalaha5x2x3/WviNsw | 0.014483168652107166 | 1488.4 | 102767.56666666667 |
DRESDEN/blocks2player/3ev8nQ | 0.014690911782231177 | 8575.0 | 583694.2 |
BASE/onestep/xi53wA | 0.01814059008247443 | 40068.23333333333 | 2208761.3 |
BASE/kalaha6x2x4/XS81Mg | 0.01946627724570885 | 1269.4666666666667 | 65213.63333333333 |
STANFORD/8puzzle/jNiGtw | 0.020141713924976903 | 4237.066666666667 | 210362.76666666666 |
STANFORD/eightpuzzle/W_aWbA | 0.02046374037353566 | 4068.0333333333333 | 198792.26666666666 |
BASE/eightPuzzle/vLrgFg | 0.020591187131505533 | 4249.033333333334 | 206352.03333333333 |
DRESDEN/8puzzle/8fKC2w | 0.021150474383584535 | 4257.066666666667 | 201275.23333333334 |
DRESDEN/kalaha_2009/gcC8uA | 0.04495126990040354 | 1150.3 | 25589.933333333334 |
BASE/kalaha_2009/dRiN3g | 0.04606675015198832 | 1182.0666666666666 | 25659.866666666665 |
DRESDEN/pancakes/hl9aiQ | 0.05235810692095133 | 13658.266666666666 | 260862.5 |
DRESDEN/pancakes6/SZXMyQ | 0.053978919834679735 | 13856.7 | 256705.76666666666 |
BASE/pancakes/yUgbXw | 0.05437819808111903 | 14031.333333333334 | 258032.33333333334 |
BASE/pancakes6/QZTdnw | 0.05537578623515652 | 13658.967436589674 | 246659.56666666668 |
Games with errors:
Game | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
DRESDEN/laikLee_hex/ZeP3QQ | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process timed out after 240 seconds | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/laikLee_hex/zbyscQ | Exception of type StackOverflowError | |
DRESDEN/cylinder-checkers/clOO3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | OutOfMemoryError: Java heap space | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/cylinder-checkers/hlldmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Exception of type StackOverflowError | Test process timed out after 240 seconds |
BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | OutOfMemoryError: GC overhead limit exceeded |
BASE/sudoku/NTaNkw | Exception of type NullPointerException | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | Test process timed out after 240 seconds |