Game-by-game performance:
Game | Perf ratio | REKKURA_BACKWARD_PROVER:1.0.0 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
DRESDEN/chinesecheckers6/yTbPDA | 0.0 | 0.0 | 171.74376749766697 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 0.0 | 0.0 | 198.62009199386708 |
BASE/crisscross/ICagEg | 6.943529248714301E-5 | 0.059232933511032135 | 853.0666666666667 |
DRESDEN/crisscross/GsY16g | 7.35304257817173E-5 | 0.05963562632316546 | 811.0333333333333 |
BASE/crissrace/ERWGDA | 9.685340491258704E-5 | 0.03224142378127418 | 332.8889037032099 |
DRESDEN/crissrace/KWb9bw | 9.688882991158157E-5 | 0.03270966897814994 | 337.6 |
DRESDEN/chinesecheckers3/QsCb2A | 0.0019899126786786137 | 0.7535548129218269 | 378.68737708743043 |
DRESDEN/chinesecheckers4/-oVNYg | 0.004022345356474628 | 0.9180026884364447 | 228.2257258091397 |
DRESDEN/chinesecheckers2/06E6-Q | 0.034023348560671546 | 10.916594555015642 | 320.85597146761774 |
BASE/god/qF06gw | 0.5383039859356041 | 20.77368666355949 | 38.59099543439864 |
DRESDEN/god/2EDD5w | 0.5692848149109747 | 20.90754735825815 | 36.72598813570619 |
BASE/copolymer_4/2LDVhQ | 0.6917166646259336 | 753.2333333333333 | 1088.9333333333334 |
BASE/copolymer_4_pie/IN5_jA | 0.6979435297229385 | 703.6666666666666 | 1008.2 |
BASE/ad_game_2x2/D0aWqg | 0.7202452825721524 | 0.449842555105713 | 0.6245685546168765 |
STANFORD/multipletictactoe/_bkafQ | 0.7662711034046183 | 618.6666666666666 | 807.3730875637478 |
BASE/tictactoex9/BI26ow | 0.7699883893181727 | 641.0666666666667 | 832.5666666666667 |
BASE/battlebrushes/arCwyA | 0.7733499722684415 | 99.90016638935109 | 129.17847025495752 |
DRESDEN/tictactoex9/rFkD4w | 0.7934881414759111 | 640.1333333333333 | 806.7333333333333 |
BASE/amazons/RKKZjw | 0.8724140451765394 | 0.0731011964229148 | 0.0837918610172332 |
BASE/tictactoe_3d_6player/d7KSwg | 0.8867119111359276 | 125.20406463434949 | 141.2003865764655 |
BASE/conn4/va9Y7A | 0.8896583564173592 | 1156.2 | 1299.6 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.9026211442401771 | 4089.866666666667 | 4531.1 |
BASE/cylinder-checkers/hlldmw | 0.9070766975411476 | 2.4988338775238224 | 2.7548209366391183 |
BASE/tictactoe_orthogonal/WRzlVw | 0.9148168414203108 | 4123.933333333333 | 4507.933333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 0.9170499886286105 | 134.4 | 146.55689620691953 |
BASE/asteroidsSerial/id2QkA | 0.9173009760902658 | 682.9 | 744.4666666666667 |
BASE/kalaha_2009/dRiN3g | 0.9182519777810526 | 22.07204208003196 | 24.037021007424176 |
BASE/hanoi7_bugfix/3gdnFw | 0.9250661582583757 | 157.66666666666666 | 170.43826028995167 |
DRESDEN/othello-cornercontrol/r5Gdlg | 0.9261269410523142 | 0.15076134479119555 | 0.16278691193228065 |
DRESDEN/kalaha_2009/gcC8uA | 0.9269143666058112 | 22.01132201132201 | 23.746877601998335 |
DRESDEN/small_dominion/yB5GJA | 0.9273028140702125 | 20.052629825788614 | 21.624683459949352 |
BASE/skirmishFinal2/gdB62Q | 0.9332724541328867 | 27.679701552195056 | 29.65875766462277 |
DRESDEN/grid_game2/kypTYQ | 0.9355050414653064 | 1568.0 | 1676.1 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.9365377626712842 | 38.43605036447979 | 41.040577215860196 |
DRESDEN/point_grab/r5DPmQ | 0.9379266769311215 | 4304.833333333333 | 4589.733333333334 |
BASE/racer4/0vs7Ww | 0.9411163508923815 | 15.017314864144913 | 15.956916325920016 |
BASE/racer/QQYQNw | 0.942556461447276 | 18.115218115218116 | 19.21923922456865 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 0.942871779522483 | 9.777511723037016 | 10.369927211087845 |
DRESDEN/checkers-mustjump-torus/cVc3gA | 0.9458929105474893 | 1.016426768090757 | 1.0745685444480626 |
DRESDEN/quad_5x5_8_2/JRTLJg | 0.9461276094612762 | 212.87871212878713 | 225.0 |
BASE/pancakes88/l2Xaig | 0.9462884652660478 | 23.888055972013994 | 25.24394711426383 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.9464243423740373 | 494.9168361054632 | 522.9333333333333 |
DRESDEN/Goldrush/VeWczQ | 0.9470577384246448 | 513.3828872370921 | 542.0819306023133 |
DRESDEN/amazons/dNB28A | 0.949065765590229 | 11.498466871083856 | 12.115563839701771 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.9503481753084382 | 39.20656543841579 | 41.254948930365636 |
BASE/twisty-passages/DiZmmg | 0.9526049108644467 | 62.93333333333333 | 66.0644645178494 |
BASE/tictactoe_3d_2player/IUC1rQ | 0.9551317593737184 | 133.56883393874762 | 139.8433594400933 |
DRESDEN/endgame/IJhh3Q | 0.9559649347993816 | 36.09037589976006 | 37.75282396454633 |
DRESDEN/pancakes/hl9aiQ | 0.9559827978750316 | 1259.6666666666667 | 1317.6666666666667 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.9565272066442735 | 14.441153961334974 | 15.097483752707882 |
BASE/zhadu/DlA8iQ | 0.9567890271979194 | 37.68492602958816 | 39.386871042985675 |
BASE/nim3/1OwUqw | 0.9573040058403787 | 1355.0 | 1415.4333333333334 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.9579657812788963 | 17.056432806982478 | 17.804845580404685 |
STANFORD/threepuzzle/41ibjA | 0.9591778799750186 | 3378.8 | 3522.6 |
BASE/majorities/ibJzSQ | 0.9600758888064009 | 387.94080394640355 | 404.0730617958803 |
BASE/queens08lg/Ru7eqQ | 0.9600796066494965 | 546.7333333333333 | 569.4666666666667 |
BASE/blocksWorldParallel/RseaAQ | 0.9602295324129311 | 1690.1 | 1760.1 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.9608163388017784 | 289.09036365454483 | 300.8799413372442 |
BASE/quad_5x5/JAEP5g | 0.9612826314999156 | 203.74629203746292 | 211.95253649756683 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.9621345510129057 | 4972.6 | 5168.3 |
BASE/breakthroughSuicide/wZDpIg | 0.9625262178012904 | 127.14971337155046 | 132.1 |
BASE/blobwars/0XT15Q | 0.9630814620665884 | 17.502412404751606 | 18.173345759552657 |
BASE/four_way_battle/xSOQXA | 0.9631585828759095 | 6.118445116882254 | 6.352479462533675 |
BASE/amazonsSuicide/dE1QEQ | 0.9635397319770266 | 0.08572163328285282 | 0.08896533317517274 |
BASE/snake2p/I3wWPQ | 0.9640170101406607 | 1080.5666666666666 | 1120.9 |
BASE/hidato37/pBrqxw | 0.9642503265797292 | 60.956507248791866 | 63.21647560650493 |
DRESDEN/connect5/1kYzSg | 0.9642660669525768 | 19.884092725819343 | 20.620960756879207 |
BASE/4pffa/Q3ADlg | 0.964551172098342 | 449.8366775548297 | 466.36890873941735 |
DRESDEN/peg_bugfixed/u_B7MA | 0.9645562890434629 | 725.7 | 752.3666666666667 |
BASE/4pttc/AL1k2Q | 0.9650168145710583 | 91.4392348961978 | 94.75403279562725 |
BASE/aipsrovers01/4C4jsw | 0.9653563911485293 | 1131.3333333333333 | 1171.9333333333334 |
STANFORD/hunter/14dD-g | 0.9653657661965096 | 2153.6666666666665 | 2230.9333333333334 |
DRESDEN/max_knights/hCipiA | 0.9664052721843028 | 6.623839163865127 | 6.854100815172185 |
DRESDEN/blobwars/ZaMluQ | 0.9665727571787169 | 17.826202852192456 | 18.442691168148073 |
BASE/biddingTicTacToe/8mESVw | 0.9670307957207779 | 1141.9666666666667 | 1180.9 |
BASE/guess/SPpk1A | 0.9672730375431837 | 232.0255991466951 | 239.8760123987601 |
DRESDEN/skirmish/RjGQYQ | 0.9677463218669305 | 42.37034076146697 | 43.78248700519792 |
BASE/checkersSmall/SYmq8w | 0.9678072178698971 | 86.72177043060925 | 89.60645139791396 |
DRESDEN/knightwar/7hhAqg | 0.9681877722635788 | 546.2333333333333 | 564.1811939602013 |
BASE/tpeg/QNs7Lw | 0.9682241276537209 | 703.8666666666667 | 726.9666666666667 |
BASE/incredible/8Qh-6Q | 0.9688890709039779 | 2365.8333333333335 | 2441.8 |
BASE/solitaireChineseCheckers/-ET6gw | 0.9690150763419866 | 13.827982458948178 | 14.270141710435041 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.9713755398579852 | 403.1532282257258 | 415.03333333333336 |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | 0.9714843291681332 | 1.1549630411826821 | 1.188864304349262 |
BASE/hanoi_6_disks/MeubgQ | 0.9717767158796348 | 287.4 | 295.7469502033198 |
BASE/escortLatch/mX9BjQ | 0.9719869568769353 | 438.20411972535163 | 450.8333333333333 |
DRESDEN/buttons/ADUaHw | 0.9720555925843639 | 7875.4 | 8101.8 |
BASE/sheepAndWolf/g4THrg | 0.9721656517362859 | 128.76666666666668 | 132.45342132453422 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.9722442004346794 | 83.75270788201966 | 86.14369501466275 |
DRESDEN/8puzzle/8fKC2w | 0.9722917205878124 | 2253.9666666666667 | 2318.2 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.972348354817314 | 749.2666666666667 | 770.5743141895271 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.9730847457627119 | 478.43333333333334 | 491.6666666666667 |
DRESDEN/gt_prisoner/huCp4w | 0.9731658135566931 | 627.3790873637546 | 644.6785107163095 |
BASE/checkers-mustjump-torus/uSApKQ | 0.973387804072492 | 8.539908287366252 | 8.773387391578877 |
BASE/hexPie/48CH6Q | 0.9735286558725263 | 126.25824945003666 | 129.69135390973935 |
BASE/chickentoetictac/l57rfQ | 0.973583614828751 | 3794.866666666667 | 3897.8333333333335 |
BASE/futoshiki6/JmvXNA | 0.9738065061258978 | 537.8154061531283 | 552.2815906136462 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.9738577089750492 | 3678.0333333333333 | 3776.766666666667 |
BASE/checkersBarrelNoKings/rnKNeg | 0.9741726471699319 | 86.47117627457514 | 88.76370787640413 |
BASE/reversi/d8UMeA | 0.9742225153485977 | 35.814139262415125 | 36.76176509798694 |
BASE/reversiSuicide/9OxJlg | 0.9743056965521155 | 35.65721134638434 | 36.597560162655824 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.9753750532409964 | 2061.0 | 2113.0333333333333 |
BASE/queens16ug/gT-ylw | 0.9754747479522323 | 270.8243058564714 | 277.6333333333333 |
BASE/sudokuGrade3/eI8dvg | 0.9757024800188059 | 184.46666666666667 | 189.06036465451152 |
BASE/stateSpaceMedium/3bUoIw | 0.9759645831951121 | 5393.733333333334 | 5526.566666666667 |
BASE/colonelBlottoVariant/X-n-KQ | 0.9762412763213977 | 42.38304678128748 | 43.414520374504384 |
BASE/queens12ug/u6Bkmg | 0.9768035193462459 | 480.76666666666665 | 492.183593880204 |
BASE/numbertictactoe/rvJ-iQ | 0.977341900574907 | 2023.0 | 2069.9 |
DRESDEN/tpeg/h-Scbg | 0.9773690379587052 | 722.6666666666666 | 739.4 |
DRESDEN/roshambo2/jgSlkQ | 0.9774225134636386 | 5190.7 | 5310.6 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.9777835289169975 | 39.46719289590528 | 40.36393713813069 |
DRESDEN/blocksworldparallel/2JfVaw | 0.977866199255383 | 2547.7 | 2605.366666666667 |
DRESDEN/capture_the_king/EQ229Q | 0.9779695879550981 | 44.83528196928817 | 45.845272206303726 |
STANFORD/duikoshi/tpw1sw | 0.9780024360535933 | 1338.2333333333333 | 1368.3333333333333 |
BASE/gt_ultimatum/GE-uOA | 0.9782308649459004 | 301.97986800879943 | 308.7 |
DRESDEN/nim3/sG_axA | 0.9782422802850357 | 1372.8 | 1403.3333333333333 |
DRESDEN/skirmishfinal/hzq8ww | 0.9784662816035625 | 27.84253646839406 | 28.45528455284553 |
BASE/futoshiki5/TJ4BZg | 0.9788535986346418 | 783.8333333333334 | 800.7666666666667 |
STANFORD/multiplesukoshi/vLSQPg | 0.9788800280431164 | 372.32092263591215 | 380.3539882003933 |
DRESDEN/quad_7x7/q-JOXg | 0.9788925950452515 | 640.5333333333333 | 654.3448551714943 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.9789159228858756 | 289.85700476650777 | 296.1 |
DRESDEN/farmers/S_ASnw | 0.9793685265619778 | 1.3171759747102212 | 1.3449237329834345 |
DRESDEN/guess/PhxGhg | 0.9795188946694674 | 231.51789880674622 | 236.35878804039865 |
DRESDEN/racetrackcorridor/O0DoTA | 0.9800097696614436 | 869.3666666666667 | 887.1 |
BASE/strangeSkirmish/gc1zKA | 0.9802466938010209 | 25.473677200226433 | 25.987006496751626 |
DRESDEN/javastrike/whONTQ | 0.9804342075091743 | 273.4484367708819 | 278.9054427890544 |
BASE/doubletictactoe/HH1htg | 0.9805761895201767 | 1953.7 | 1992.4 |
BASE/colonelBlottoVariant2/jruwGw | 0.9807127154850822 | 41.855505198613706 | 42.67866066966517 |
DRESDEN/Runners/3bOCQw | 0.9808521889176477 | 1174.7666666666667 | 1197.7 |
STANFORD/knightstourmedium/x1wu8Q | 0.9816297001776589 | 1786.5333333333333 | 1819.9666666666667 |
BASE/chomp/-LcqYQ | 0.9819858460218742 | 1831.6 | 1865.2 |
BASE/cubicup_3player/e2yA_g | 0.9820614979052555 | 396.70688620758614 | 403.953201559948 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.9823760141851592 | 609.4130195660144 | 620.3459884670511 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.9824631509154238 | 25.45224372855382 | 25.90656321800806 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.9825372953819459 | 751.6082797240092 | 764.9666666666667 |
BASE/quartoSuicide/-23jUg | 0.9827258153719723 | 21.55373442601106 | 21.93260224659178 |
BASE/sudokuGrade1/tDRNRw | 0.9829165791292434 | 189.49368354388187 | 192.78714752349845 |
BASE/snake_2008_tweaked/bX0NJQ | 0.983035625187107 | 328.3666666666667 | 334.03333333333336 |
BASE/breakthroughHoles/nZk0Sg | 0.9840042761309904 | 127.39150723285114 | 129.46235125495818 |
DRESDEN/battlesnakes2011/93VtTw | 0.984024676580268 | 712.4666666666667 | 724.0333333333333 |
BASE/checkersTorus/2vm1EQ | 0.9841620409952889 | 62.770707003398414 | 63.78086574027792 |
BASE/max_knights/2fq3Ag | 0.9846554966043223 | 6.78123857328059 | 6.8869148617626506 |
BASE/sum15/QZ07Kg | 0.9852147031201085 | 5035.366666666667 | 5110.933333333333 |
BASE/gt_attrition/kD_SCA | 0.9852299429338705 | 1.1619800139437602 | 1.1793998165378063 |
BASE/chess_200/XsTpYA | 0.9853291813787441 | 12.086704624912596 | 12.266666666666667 |
BASE/quad_7x7/q-JOXg | 0.9854298340566761 | 643.3 | 652.8115729475684 |
DRESDEN/lightsout2/LFtfyQ | 0.9855266682659698 | 2913.9724018398774 | 2956.766666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.9864468961148648 | 2491.633333333333 | 2525.866666666667 |
STANFORD/alquerquezero/uVgA_A | 0.9865049142246404 | 285.7904736508783 | 289.7 |
BASE/snake_2009_big/-oRfVw | 0.9865424430641823 | 381.2 | 386.4 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.9865894385305782 | 630.2333333333333 | 638.8 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.9866363445293254 | 100.37992401519696 | 101.73953612370035 |
BASE/nim2/eF2Qqw | 0.9867309169634751 | 1412.9 | 1431.9 |
STANFORD/pilgrimage/ObRZnQ | 0.9868285223218424 | 239.0427623904276 | 242.23333333333332 |
BASE/chinook/XQh0IQ | 0.9870082579447924 | 94.53333333333333 | 95.77765188122771 |
DRESDEN/toetictac/mJtxCA | 0.9870993884918589 | 4465.966666666666 | 4524.333333333333 |
BASE/coins_atomic/AA3SSw | 0.987143791007917 | 1359.0666666666666 | 1376.7666666666667 |
BASE/blocksWorldSerial/Wyg96Q | 0.9871912168344008 | 2949.266666666667 | 2987.5333333333333 |
BASE/snakeAssemblit/UO4sdg | 0.9872994074935901 | 509.1333333333333 | 515.6828105729809 |
DRESDEN/blockerparallel/dVQgSg | 0.9873841765425351 | 674.844171860938 | 683.4666666666667 |
DRESDEN/smallest/9kaGFw | 0.987990869516056 | 582.5 | 589.580347321756 |
DRESDEN/slidingpieces/s9_44g | 0.9884416838293569 | 803.3065564481184 | 812.7 |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 0.98845818815331 | 1.1267232237539766 | 1.1398794984530207 |
DRESDEN/nim2/z5_exA | 0.988587597264796 | 1397.5333333333333 | 1413.6666666666667 |
BASE/chineseCheckers6/rREH3A | 0.989283250643146 | 239.26666666666668 | 241.85860471317622 |
DRESDEN/quad/JPe6fg | 0.9901619205887089 | 179.60938541527796 | 181.39395353488217 |
BASE/pacman3p/wW7UVQ | 0.9903111826145178 | 62.37297171225802 | 62.98320447880565 |
DRESDEN/skirmish2/iPpWhQ | 0.9903251196747053 | 45.112280935563405 | 45.55300076643674 |
BASE/nim4/twk16w | 0.9905093704949545 | 1374.1666666666667 | 1387.3333333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 0.990558746623796 | 9.797387363369769 | 9.89076861595844 |
DRESDEN/cube_2x2x2/fp-34Q | 0.9907842819307063 | 1222.0333333333333 | 1233.4 |
BASE/bunk_t/xbpfIA | 0.9908240967199181 | 1904.0666666666666 | 1921.7 |
DRESDEN/oisters_farm/pTQMLg | 0.9909135445341297 | 2831.766666666667 | 2857.733333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 0.9910053453947368 | 3856.2 | 3891.2 |
BASE/wargame03/klXI8w | 0.9914439851001174 | 3.2302107962303106 | 3.258087037468001 |
BASE/sudokuGrade6H/ieE_9A | 0.9917462619347864 | 183.5 | 185.0271657611413 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.9917621982833112 | 573.8666666666667 | 578.6333333333333 |
BASE/checkers-mustjump/T-8UuQ | 0.9918493612523464 | 11.593816631130064 | 11.689090182496336 |
BASE/lightsOut/5P1ZBw | 0.9921676015488127 | 2246.366666666667 | 2264.1 |
DRESDEN/knightstour/cGISAA | 0.9922448668040608 | 2166.5666666666666 | 2183.5 |
BASE/duplicateStateMedium/U163eQ | 0.9923387547284248 | 2072.4333333333334 | 2088.4333333333334 |
BASE/brawl/6Ymo_Q | 0.9924059417177724 | 39.01122697138288 | 39.309747484842426 |
BASE/blocks2player/wnTLOQ | 0.9925457532843496 | 4651.433333333333 | 4686.366666666667 |
BASE/toetictac/mTThmg | 0.992658218655822 | 4556.466666666666 | 4590.166666666667 |
BASE/asteroidsParallel/WauZiA | 0.9928659063025401 | 728.3333333333334 | 733.5666666666667 |
DRESDEN/sum15/CsgWKg | 0.9929872668709041 | 5045.6 | 5081.233333333334 |
BASE/queens06ug/7Lq3tw | 0.9930417495029821 | 1165.5 | 1173.6666666666667 |
BASE/wallmaze/uxNQ9g | 0.9931730366239225 | 711.4429519016032 | 716.3333333333334 |
DRESDEN/3pffa/0YrmQw | 0.9933492632417363 | 831.4333333333333 | 837.0 |
STANFORD/duidoku/3SoMaA | 0.9933771060122598 | 160.77320446592233 | 161.84508732169044 |
BASE/ttcc4_2player/_aH_Mw | 0.993686798799841 | 92.94807705125642 | 93.53860508514113 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.9937156158113947 | 492.7835738808706 | 495.9 |
BASE/smallest_4player/ADDROA | 0.9938554774380647 | 715.542815239492 | 719.9666666666667 |
BASE/breakthroughSuicideSmall/XSbJog | 0.9942513776508017 | 361.6092260515966 | 363.7 |
BASE/ruleDepthLinear/OUBJpQ | 0.9942670435183514 | 1653.3666666666666 | 1662.9 |
DRESDEN/stratego/Z2wovg | 0.9943081400322443 | 671.5333333333333 | 675.3774874170861 |
BASE/breakthroughSmallHoles/bxclRw | 0.9944886897011175 | 1094.7 | 1100.7666666666667 |
BASE/chineseCheckers2/eCMR3Q | 0.9945227439716785 | 496.3 | 499.03333333333336 |
BASE/othello-comp2007/86ZoMw | 0.9946223934520608 | 19.956760352569432 | 20.064660200646603 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.9946823626811524 | 376.4541181960601 | 378.46666666666664 |
DRESDEN/ggp-course2013_nicolai/uEin8g | 0.9946854142301794 | 76.2872854524246 | 76.69488700753283 |
DRESDEN/quad_5x5/JAEP5g | 0.9948870320644448 | 209.93333333333334 | 211.0122321101223 |
BASE/circlesolitaire/azuQFQ | 0.9953000016291156 | 4072.9666666666667 | 4092.2 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.9955252942649636 | 618.3333333333334 | 621.1126295790141 |
STANFORD/platformjumpers/HEQskA | 0.9956623969437042 | 25.48301132578281 | 25.594028060119307 |
DRESDEN/snake_2009/zIYLVw | 0.9957157827428761 | 460.6513116229459 | 462.6333333333333 |
BASE/2pffa_zerosum/o0_uZA | 0.9957538424735364 | 554.9815006166461 | 557.3480883970534 |
BASE/sudokuGrade6E/ihYFZA | 0.9962024416615061 | 176.42745241825273 | 177.1 |
BASE/ghostMaze2p/W-NU-w | 0.9963521045290097 | 129.81169805032494 | 130.28697130286972 |
DRESDEN/lightsout/XgLpzQ | 0.9964286570312313 | 2771.4666666666667 | 2781.4 |
DRESDEN/battlesnakes1509/-qZrLw | 0.9966312874942316 | 719.9 | 722.3333333333334 |
DRESDEN/catch_me/ghGWrA | 0.9966500715004502 | 2509.0333333333333 | 2517.4666666666667 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.9968732523259953 | 1307.1666666666667 | 1311.2666666666667 |
DRESDEN/snake_2008/E56l3A | 0.9969706149651621 | 329.07806146256917 | 330.07799480034663 |
STANFORD/skirmish/w4V6Vw | 0.997573218975433 | 8.144676041355009 | 8.164489469474807 |
BASE/skirmishNew/sibw2g | 0.9975974800832694 | 23.716731621198495 | 23.77384876635701 |
BASE/bomberman2p/4CClwA | 0.9977225832012679 | 125.9 | 126.18738126187381 |
DRESDEN/peg/Vo31eg | 0.9983398393682416 | 741.6666666666666 | 742.9 |
BASE/withConviction/3Xm54A | 0.998433181729158 | 1529.3666666666666 | 1531.7666666666667 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.998505643633628 | 478.3840538648712 | 479.1 |
BASE/nim1/hin2Qw | 0.9985256605274859 | 1422.2666666666667 | 1424.3666666666666 |
BASE/snake_2008/i6K26g | 0.9985948007628226 | 331.6222792573581 | 332.0889303689877 |
BASE/amazons_8x8/7SOsIw | 0.9989018209776666 | 50.04331312054374 | 50.09833005566481 |
STANFORD/madness/UO_B3A | 0.998903144319617 | 7.611513660838928 | 7.61987156024357 |
STANFORD/dualhunter/1rPZjQ | 0.998967897305782 | 1548.6333333333334 | 1550.2333333333333 |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.999038142620232 | 2.487562189054726 | 2.489957172736629 |
DRESDEN/brawl/2kXtfQ | 0.9990562225107721 | 39.45877491168433 | 39.496050394960506 |
BASE/gt_centipede/9fRMpw | 0.9992259671204294 | 1979.4333333333334 | 1980.9666666666667 |
DRESDEN/mimikry/GJEhwA | 0.9992541717925586 | 812.2333333333333 | 812.8395720142662 |
BASE/2pffa/6oHijA | 0.9995741284965369 | 580.4666666666667 | 580.7139762007934 |
BASE/gt_dollar/TGjqRw | 0.9997802090456188 | 2729.266666666667 | 2729.866666666667 |
BASE/troublemaker02/DI83KA | 1.0000574223810907 | 9288.433333333332 | 9287.9 |
DRESDEN/smallest_4player/ADDROA | 1.0003110303759584 | 720.4333333333333 | 720.2093263557881 |
DRESDEN/babel/WdSW4A | 1.0003723426582571 | 82.17534739578126 | 82.14476139696082 |
STANFORD/sudoku/oJ1qyQ | 1.000750074658066 | 186.16666666666666 | 186.02713242891903 |
DRESDEN/3pttc/uwYBZw | 1.0009582751048114 | 835.6333333333333 | 834.8333333333334 |
BASE/queens31lg/0gID-A | 1.0010246866343189 | 37.424600926450495 | 37.386291693045884 |
BASE/futoshiki4/BaCwSw | 1.001049793620118 | 1398.5666666666666 | 1397.1 |
STANFORD/buttonsandlights/eyhJpA | 1.001073990127422 | 9849.266666666666 | 9838.7 |
DRESDEN/mummymaze2p/k-8edg | 1.0012671380457356 | 45.48180727708917 | 45.4242484836366 |
BASE/ticTacToeParallel/ymRGPw | 1.0013770575802217 | 1042.3 | 1040.8666666666666 |
DRESDEN/4pttc/9pB9AQ | 1.0015252887250676 | 299.8566714442852 | 299.4 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 1.0015603689405672 | 5776.866666666667 | 5767.866666666667 |
BASE/racetrackcorridor/_RkdUg | 1.0016212025093396 | 947.3333333333334 | 945.8 |
DRESDEN/logistics/fPru1Q | 1.001697728816117 | 885.0333333333333 | 883.5333333333333 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.0017227338219632 | 1066.0333333333333 | 1064.2 |
BASE/skirmishFinal1/ecWTnQ | 1.0022311565160975 | 26.376261364771704 | 26.317542807648746 |
BASE/blockerSerial/3eqDuw | 1.00249627292584 | 963.8333333333334 | 961.4333333333333 |
BASE/maze/cCX3qQ | 1.0026690981432362 | 6048.1 | 6032.0 |
BASE/mummymaze2p/vpjDdA | 1.0026803863641038 | 45.33946298887334 | 45.21826057980673 |
DRESDEN/troublemaker01/C-lPWw | 1.0029380641881307 | 11310.4 | 11277.266666666666 |
BASE/kalaha5x2x3/WviNsw | 1.0029846177393433 | 436.83754416372244 | 435.5376308246117 |
BASE/tron_10x10/7ZTgDg | 1.0029963728118594 | 1272.0 | 1268.2 |
BASE/speedChess/bPnisA | 1.003036418387925 | 23.276723276723278 | 23.206259364075244 |
DRESDEN/circlesolitaire/ruUilQ | 1.0030634608960622 | 4103.766666666666 | 4091.233333333333 |
BASE/gt_staghunt/xPjLRA | 1.0030930669164326 | 535.4666666666667 | 533.8155394820172 |
BASE/gt_coordination/IVMOzA | 1.003102561829625 | 754.4 | 752.0666666666667 |
DRESDEN/latenttictactoe/kITHKg | 1.003384094754653 | 1838.3 | 1832.1 |
DRESDEN/grid_game/U7_Yeg | 1.0036042537415366 | 571.4666666666667 | 569.4143528549048 |
DRESDEN/racer/vk_ZBA | 1.0037699380827074 | 18.20541835851694 | 18.137042830044262 |
BASE/hanoi/iGLsJg | 1.0040790259780392 | 1624.6333333333334 | 1618.0333333333333 |
DRESDEN/Zhadu/9zpQ5w | 1.0042657533022106 | 41.146093619856735 | 40.971320075946835 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.0044851396727457 | 411.90587294180386 | 410.06666666666666 |
DRESDEN/blocks2player/3ev8nQ | 1.004567091213174 | 4685.1 | 4663.8 |
BASE/breakthrough/TGxk-g | 1.0046061607050691 | 129.19569347688412 | 128.6033258906255 |
BASE/chineseCheckers1/gqtwHw | 1.0047250117634035 | 806.6333333333333 | 802.8399053364888 |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.0048525588298316 | 382.25392486917104 | 380.40797280181323 |
BASE/endgame/jYjfOA | 1.0049539100650318 | 72.41160985037823 | 72.05465755707382 |
BASE/qyshinsu/R08Lzw | 1.0053857120228102 | 211.54551211545513 | 210.4122921041229 |
STANFORD/selectivesukoshi/3xmXYg | 1.0053952212048722 | 406.26666666666665 | 404.08653044898506 |
BASE/snake_2009/7l-qAQ | 1.0055381039755351 | 474.93333333333334 | 472.3175894136862 |
BASE/point_grab/V_osUg | 1.005692995529061 | 3374.1 | 3355.0 |
BASE/untwistycomplex2/EDPPAQ | 1.0056990881458967 | 6441.033333333334 | 6404.533333333334 |
BASE/duplicateStateSmall/bCPAXw | 1.0058510608853535 | 6056.933333333333 | 6021.7 |
STANFORD/breakthrough/d5j0cQ | 1.0058847477700876 | 905.9333333333333 | 900.6333333333333 |
DRESDEN/aipsrovers01/qS47Mw | 1.0060374678149693 | 1133.1 | 1126.3 |
DRESDEN/breakthrough/z4hK7Q | 1.0060580728414095 | 134.319901343199 | 133.51108148641893 |
DRESDEN/hanoi/RQ0jiA | 1.006193558698953 | 1678.7333333333333 | 1668.4 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1.0064338312099768 | 129.4901699433522 | 128.66237792073596 |
BASE/stateSpaceLarge/0Ge_CQ | 1.0065328220166931 | 3718.3 | 3694.1666666666665 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.006601335619067 | 1311.3666666666666 | 1302.7666666666667 |
BASE/quarto/EwBMVQ | 1.0070152787983409 | 22.519071254871914 | 22.362194227821103 |
DRESDEN/brain_teaser_extended/ZDp94A | 1.0070995491527182 | 3239.0 | 3216.1666666666665 |
BASE/pawnToQueen/-O1_JA | 1.007280948946698 | 4.991846650470897 | 4.955763985897692 |
BASE/snakeParallel/RCVNtw | 1.0073079813174994 | 2278.9 | 2262.366666666667 |
BASE/brain_teaser_extended/ZDp94A | 1.007534631702704 | 3285.0666666666666 | 3260.5 |
BASE/englishDraughts/jFkQxg | 1.008277002018882 | 258.8074525880745 | 256.6828878074795 |
DRESDEN/statespacesmall/h-NqjA | 1.008290405980323 | 8618.9 | 8548.033333333333 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1.0082928653087888 | 480.1666666666667 | 476.2174594180194 |
DRESDEN/ghostmaze2p/HY0UwA | 1.0083883844061916 | 135.1531513515315 | 134.02886570447652 |
BASE/hallway/ckCJOw | 1.0087654320987653 | 272.3485100993267 | 269.98200119992 |
BASE/slidingpieces/uFJWEw | 1.0090567612687813 | 805.9 | 798.6666666666666 |
BASE/kalaha6x2x4/XS81Mg | 1.0091804384540102 | 247.2917569414353 | 245.0421624504216 |
BASE/coins/QnGtnQ | 1.009250195771339 | 1374.7333333333333 | 1362.1333333333334 |
DRESDEN/firefighter/WJmoPw | 1.009328335723669 | 2791.5666666666666 | 2765.766666666667 |
DRESDEN/hitori/S8Gsyg | 1.0093328496520795 | 1.121261088942387 | 1.1108932888976017 |
BASE/quad/tw-Ufg | 1.0094753937720136 | 186.83149511845656 | 185.07780999033622 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.0097802786709538 | 502.46666666666664 | 497.6 |
BASE/troublemaker01/s3tlEQ | 1.0101809476019756 | 11139.4 | 11027.133333333333 |
BASE/checkersTiny/Lr48cg | 1.0103434416018076 | 133.06223125895804 | 131.7 |
BASE/kitten_escapes_from_fire/uW-YiA | 1.0105345759389548 | 641.5333333333333 | 634.8455051498283 |
DRESDEN/blocker/S815zQ | 1.010943829735776 | 3901.3333333333335 | 3859.1 |
DRESDEN/four_way_battle/xSOQXA | 1.011195844145994 | 6.60339792938678 | 6.530285866595588 |
BASE/dotsAndBoxes/EHwA_w | 1.0113114283702922 | 798.0666666666667 | 789.1403619879337 |
DRESDEN/backgammon/mqCW0Q | 1.011477090531183 | 312.28959034698846 | 308.74608359442703 |
DRESDEN/catcha_mouse/cHv4dw | 1.0116314576798158 | 1214.7333333333333 | 1200.7666666666667 |
DRESDEN/tictactoe_3player/ESLQQQ | 1.0116472545757071 | 972.8 | 961.6 |
BASE/chineseCheckers3/-1rZdQ | 1.0118708015091562 | 366.5211159628012 | 362.22125929135694 |
BASE/cubicup/4wNWJA | 1.0120865920075734 | 462.03586427571497 | 456.5181160627979 |
BASE/colonelBlotto/jip21A | 1.0120937989116254 | 5.1603022938376 | 5.098640362569982 |
DRESDEN/bunk_t/7-tPfA | 1.0122574746893307 | 1993.0 | 1968.8666666666666 |
DRESDEN/blocks/vg0DRw | 1.012348137821151 | 6946.766666666666 | 6862.033333333334 |
DRESDEN/troublemaker02/iZLVuA | 1.0123704494418124 | 9452.266666666666 | 9336.766666666666 |
BASE/peg/fJHVWw | 1.0123949579831932 | 321.2559581347288 | 317.3227559081364 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.0128010779855146 | 801.7333333333333 | 791.6 |
STANFORD/triplesukoshi/Iu9mbA | 1.0128043606818706 | 1313.0333333333333 | 1296.4333333333334 |
STANFORD/8puzzle/jNiGtw | 1.012805739350234 | 1816.4333333333334 | 1793.4666666666667 |
BASE/knightsTour/mvtVIg | 1.0132827735644638 | 1558.7666666666667 | 1538.3333333333333 |
STANFORD/tictictoe/rpt_Dw | 1.0139497986858452 | 2258.1 | 2227.0333333333333 |
STANFORD/chinook/osFbPA | 1.0140760134619222 | 90.12131715771231 | 88.87037654115295 |
DRESDEN/towerworld/HCX34w | 1.0143003064351381 | 33.08125395609155 | 32.61485158410234 |
BASE/pegEuro/5awwhg | 1.0145428175456397 | 315.51229918005464 | 310.9896336788774 |
BASE/gt_chicken/gmepTQ | 1.0146588693957115 | 433.76666666666665 | 427.5 |
DRESDEN/statespacemedium/dVJZ_w | 1.0151249781069382 | 5409.533333333334 | 5328.933333333333 |
BASE/mummyMaze2p_2007/YGA3Vw | 1.0151300352517885 | 99.4867351019864 | 98.00393215368723 |
STANFORD/hex/MTqWcw | 1.015137157209185 | 131.59561347955068 | 129.63333333333333 |
BASE/cephalopodMicro/9l2D3g | 1.015232317845477 | 78.0947936804213 | 76.92307692307692 |
DRESDEN/snake_2009_big/DgC1NQ | 1.015267844401709 | 389.2536915436152 | 383.4 |
BASE/connect5/d-BVQg | 1.0158561864659832 | 18.193935354881706 | 17.909951819239076 |
BASE/checkers/rOC3Xg | 1.0161265175578194 | 61.92507665644581 | 60.94228975076636 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 1.0163030448333734 | 141.3 | 139.03333333333333 |
BASE/blokbox_simple/JBx4bg | 1.016726180224421 | 7.25167986161932 | 7.132382349020131 |
BASE/gt_tinfoil/Q8DyKg | 1.016760512577759 | 118.82145118821451 | 116.86277124095864 |
DRESDEN/fizzbuzz/t1xHzQ | 1.0167657550535079 | 855.1 | 841.0 |
STANFORD/knightstour/cEwgNA | 1.01700215830507 | 1539.2666666666667 | 1513.5333333333333 |
BASE/gt_two_thirds_2p/1APDGg | 1.0173797613507944 | 2.6922821245762147 | 2.6462902318811814 |
BASE/skirmishHoles/AUCxCA | 1.017876526458616 | 31.71641791044776 | 31.159396140900455 |
DRESDEN/cubicup/SBn_lw | 1.0179474031206504 | 463.2 | 455.03333333333336 |
DRESDEN/knightazons/02I8BQ | 1.0182024465703423 | 49.19344087455006 | 48.31400773024124 |
BASE/beatMania/qUHwvQ | 1.01820390486083 | 1927.8333333333333 | 1893.3666666666666 |
BASE/queens08ug/kJ_ZFQ | 1.0182378535170413 | 936.1 | 919.3333333333334 |
BASE/asteroids/BKCmPQ | 1.0185669316544843 | 1272.7333333333333 | 1249.5333333333333 |
DRESDEN/cylinder-checkers/clOO3Q | 1.0185996179075762 | 2.5045312242544076 | 2.4587985114300905 |
BASE/battle/8oAvhQ | 1.0186560528432909 | 3.7261294829995344 | 3.657887736100027 |
STANFORD/3puzzle/41ibjA | 1.018666484997713 | 3488.9666666666667 | 3425.0333333333333 |
STANFORD/untwistycomplex/HTWEwg | 1.0196128169355116 | 2947.6666666666665 | 2890.9666666666667 |
STANFORD/untwistycorridor/EDPPAQ | 1.0196846492074503 | 6516.566666666667 | 6390.766666666666 |
BASE/eotcitcit/V_9_bg | 1.0198082393846801 | 2581.0666666666666 | 2530.9333333333334 |
BASE/chineseCheckers4/avfBcQ | 1.0200495607118722 | 301.83648301836485 | 295.9037429590374 |
DRESDEN/hallway/0H4l-Q | 1.0203382882882883 | 276.8333333333333 | 271.31524565028997 |
DRESDEN/eotcatcit/mQUxzA | 1.0204831107619796 | 3464.2 | 3394.6666666666665 |
BASE/ticTicToe/c1OobQ | 1.0205517411250347 | 2209.766666666667 | 2165.266666666667 |
BASE/sudokuGrade5/BQfUQA | 1.0207765147414578 | 189.34773189347732 | 185.4938168727709 |
DRESDEN/nim1/M9BALA | 1.0208055608455533 | 1429.4 | 1400.2666666666667 |
DRESDEN/nim4/F5YAYg | 1.0209750566893423 | 1380.7666666666667 | 1352.4 |
STANFORD/freeforall/Lfp40Q | 1.0212518356909939 | 483.6666666666667 | 473.6017598826745 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.0214395508922007 | 2547.3 | 2493.8333333333335 |
DRESDEN/pawn_whopping/4ogBkg | 1.0215708975687041 | 1117.6666666666667 | 1094.0666666666666 |
BASE/skirmishFinal3/-Olhfw | 1.0218491963661775 | 32.46666666666667 | 31.772463864650636 |
BASE/tictactoe_3d_small_2player/oOryKA | 1.0220312087358523 | 815.2061597946736 | 797.6333333333333 |
DRESDEN/tictactoeparallel/yk_DSg | 1.022039558181351 | 1326.2666666666667 | 1297.6666666666667 |
DRESDEN/twisty-passages/j7NPyg | 1.0221426282060107 | 65.93589658159526 | 64.50753032120485 |
BASE/doubletoetictac/fu35bg | 1.0223383615039066 | 1949.6333333333334 | 1907.0333333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 1.0223486745064077 | 5036.566666666667 | 4926.466666666666 |
DRESDEN/ggp-course2013_michal13/jWKddg | 1.0224094500306726 | 472.25092496916767 | 461.9 |
BASE/pancakes6/QZTdnw | 1.0228189070944498 | 794.8666666666667 | 777.1333333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.0228678431595075 | 600.8666666666667 | 587.4333333333333 |
BASE/blocksWorld/SEdXLQ | 1.0229566374625707 | 7071.733333333334 | 6913.033333333334 |
BASE/blocks/xIV5hQ | 1.0229958977656952 | 6999.133333333333 | 6841.8 |
DRESDEN/knightfight/4_Ly4w | 1.0233922480620155 | 52.8 | 51.59312091721104 |
BASE/hex/T1MK8g | 1.0236514609861243 | 131.0868913108689 | 128.05812945803612 |
STANFORD/multiplebuttonsandlights/cK70Yg | 1.0239854824711359 | 5191.333333333333 | 5069.733333333334 |
BASE/othelloSuicide/B442jg | 1.0240419142932715 | 20.085939842110523 | 19.614372772986112 |
BASE/buttons/hTcUjw | 1.0242215416028586 | 8025.8 | 7836.0 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 1.0245935402582926 | 1409.5333333333333 | 1375.7 |
BASE/tictactoe_3player/GtM71g | 1.0246368889583009 | 874.7666666666667 | 853.7333333333333 |
DRESDEN/pentago_2008/hLjVpQ | 1.0249722352147022 | 400.31998933368885 | 390.56666666666666 |
BASE/switches/tPUoCg | 1.0256284123466135 | 6324.366666666667 | 6166.333333333333 |
BASE/blockerParallel/7-nDJA | 1.026460302937368 | 669.3666666666667 | 652.111596280124 |
BASE/breakthroughSmall/HJ0tIA | 1.026661588268901 | 359.38802039932 | 350.0549981667278 |
BASE/roshambo2/KNPokQ | 1.0268603162125496 | 5399.3 | 5258.066666666667 |
BASE/hidato19/rRHSmA | 1.0271174523796145 | 609.3 | 593.213559548015 |
BASE/coloredtrails/EZvr7g | 1.0271854212563898 | 1600.8 | 1558.4333333333334 |
BASE/haystack/UkweGA | 1.0275162835201308 | 13745.633333333333 | 13377.533333333333 |
BASE/knightazons/apnJBQ | 1.027519178474213 | 49.971682713129226 | 48.63333333333333 |
BASE/sudokuGrade4/DTy07w | 1.027550947405702 | 193.4 | 188.21451188214513 |
BASE/knightmove/jBaJEw | 1.0278271692745375 | 385.353821539282 | 374.9208359721343 |
DRESDEN/bomberman2p/x4h6jQ | 1.028100791240268 | 131.84469255124145 | 128.24101846297407 |
BASE/3pConnectFour/PqXOFQ | 1.0287719298245614 | 781.8666666666667 | 760.0 |
STANFORD/sukoshi/4LYZZQ | 1.0293088018530216 | 2607.0333333333333 | 2532.8 |
DRESDEN/Thief_Police/CX18rA | 1.0294844942909263 | 2539.5666666666666 | 2466.8333333333335 |
BASE/eightPuzzle/vLrgFg | 1.029535068172376 | 1817.2666666666667 | 1765.1333333333334 |
BASE/choicethroughalt/tt71Lg | 1.0296669394045557 | 97.38701506465804 | 94.58108378324336 |
BASE/pacman2p/4LEdQg | 1.0299798189597704 | 61.5461512829057 | 59.75471572352196 |
BASE/onestep/xi53wA | 1.0299866537519027 | 15383.4 | 14935.533333333333 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.0300580543649287 | 632.8333333333334 | 614.3666666666667 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1.030551333854036 | 39.926800865080686 | 38.74314607479397 |
BASE/survival/YVIjJA | 1.0311283540964002 | 10577.933333333332 | 10258.6 |
BASE/checkersTorusNoKings/pwb6oQ | 1.031639400285102 | 86.10463178940353 | 83.4638845371821 |
BASE/knightThrough/gcwFjA | 1.0323492719532983 | 67.4288380774615 | 65.31591575579846 |
DRESDEN/gt_chicken/CeuKtw | 1.0334331302805395 | 491.96666666666664 | 476.0507983067231 |
STANFORD/eightpuzzle/W_aWbA | 1.0338426477317613 | 1846.3051231625614 | 1785.8666666666666 |
STANFORD/dualrainbow/G3OnRQ | 1.0342733109587041 | 3780.2 | 3654.9333333333334 |
DRESDEN/crossers3/xiPTxg | 1.034792138211179 | 49.07873254922867 | 47.428590474285905 |
BASE/stateSpaceSmall/Q7osKA | 1.0348356277280915 | 9040.6 | 8736.266666666666 |
DRESDEN/pancakes88/aD3E7g | 1.0352911937701932 | 1249.7 | 1207.1 |
BASE/dotsAndBoxesSuicide/jzQbLw | 1.0355063985153337 | 796.3734542181927 | 769.0666666666667 |
STANFORD/trifecta/ss1kyQ | 1.0364586900440609 | 3026.6666666666665 | 2920.2 |
BASE/ticTacToeSerial/Amrwqw | 1.0365864594231056 | 1155.9666666666667 | 1115.1666666666667 |
DRESDEN/skirmish3/3LU8Nw | 1.0367012187670122 | 62.193780621937805 | 59.992001066524466 |
BASE/crossers3/O0rORg | 1.036871249519038 | 49.23005132991134 | 47.47942558224769 |
DRESDEN/doubletictactoe/lJzgmQ | 1.0373728250311014 | 2029.0666666666666 | 1955.9666666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 1.037493898921773 | 3117.6 | 3004.9333333333334 |
BASE/knightsTourLarge/M8jgLA | 1.0379232912215106 | 599.7466751108296 | 577.8333333333334 |
DRESDEN/quartosuicide/WIU1oQ | 1.038051657715898 | 23.99120322548399 | 23.111762355135205 |
DRESDEN/chinesecheckers1/Y-ftaA | 1.0381018916595013 | 643.8785373820873 | 620.2459918002734 |
STANFORD/rainbow/_4qNSQ | 1.0383393137737753 | 5903.166666666667 | 5685.2 |
BASE/pawnWhopping/Ypc_6Q | 1.0383494729625504 | 807.7666666666667 | 777.9333333333333 |
BASE/chickentictactoe/DSlZCA | 1.0385361063551215 | 2749.766666666667 | 2647.733333333333 |
STANFORD/ttcc4/Cx9SGw | 1.0390614977978117 | 96.5441397007365 | 92.91475038325669 |
BASE/blocker/dIWtxg | 1.0396533470131741 | 3175.0666666666666 | 3053.9666666666667 |
BASE/hodgepodge/9yjRkw | 1.039707484703713 | 3307.9333333333334 | 3181.6 |
BASE/2pttc/unkkYA | 1.0400516795865633 | 214.65235650956603 | 206.38624091727218 |
BASE/pancakes/yUgbXw | 1.0407663371533549 | 793.1333333333333 | 762.0666666666667 |
DRESDEN/cubicup_3player/awDtsQ | 1.040875096949821 | 414.3585641435856 | 398.0867304423186 |
DRESDEN/pancakes6/SZXMyQ | 1.0416472386509306 | 1309.1333333333334 | 1256.791440285324 |
DRESDEN/coins/QwFP9w | 1.0422787990667386 | 1355.0666666666666 | 1300.1 |
BASE/breakthroughWalls/vOZaYA | 1.0424701900663438 | 129.16666666666666 | 123.90442230146299 |
BASE/3pffa/pR0dzA | 1.0426169917219263 | 534.5666666666667 | 512.7162427919069 |
BASE/skirmishZeroSum/zh4hcw | 1.0427136807943107 | 21.604527296937416 | 20.71952031978681 |
BASE/double_tictactoe_dengji/zgaSbA | 1.043004455760662 | 1365.4666666666667 | 1309.1666666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 1.0430455185543994 | 349.1883603879871 | 334.7776814879008 |
BASE/firefighter/WJmoPw | 1.0446518668012108 | 2760.6666666666665 | 2642.6666666666665 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.0451641606433104 | 136.31970136319703 | 130.42898570047666 |
BASE/ttcc4_2player_alt/ZEJvYA | 1.045276938496093 | 94.91435046324068 | 90.80306564478506 |
DRESDEN/chomp/-LcqYQ | 1.0454077299748838 | 1928.5333333333333 | 1844.7666666666667 |
BASE/golden_rectangle/_nYzfw | 1.0458143398266515 | 457.7180760641312 | 437.6666666666667 |
DRESDEN/battle/8oAvhQ | 1.0466658039897803 | 3.8068125393094774 | 3.6370850416611558 |
BASE/amazonsTorus_10x10/Uxc08g | 1.046875 | 13.380375449340967 | 12.781254160564506 |
BASE/othelloHoles/c0qAzw | 1.0471924431512434 | 21.609562814237673 | 20.635713097021135 |
BASE/sudokuGrade2/u80Tfw | 1.047214854111406 | 197.3736835088655 | 188.47487001733103 |
BASE/alexChess/LNo83g | 1.047518693483447 | 14.792603698150925 | 14.121565362198169 |
DRESDEN/pawntoqueen/f_x6Aw | 1.0488677935661812 | 5.048827476250581 | 4.813597583242041 |
BASE/nonogram_5x5_1/qLKEZw | 1.048990276665858 | 89.37914486619789 | 85.20493168943685 |
BASE/knightfight/SJRkAg | 1.0504259664628852 | 54.54303135308033 | 51.92467922012998 |
DRESDEN/ticblock/Z2yNWQ | 1.0510854524419844 | 1544.5 | 1469.4333333333334 |
DRESDEN/checkers/jIDMIg | 1.0520877450980393 | 2.3666666666666667 | 2.249495517549373 |
BASE/mineClearingSmall/frsbvw | 1.0522885030764595 | 268.4910502983234 | 255.14965668955404 |
BASE/knightwar/DVGY4Q | 1.0524615069127472 | 176.76666666666668 | 167.95546963535764 |
STANFORD/knightstourbig/TQUI2g | 1.0530608647892952 | 468.6666666666667 | 445.05183160561313 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 1.0542832189993452 | 16.047409774936742 | 15.221156408206769 |
BASE/duplicateStateLarge/dcjyuw | 1.0543576785394666 | 785.4 | 744.9085030498983 |
BASE/3pttc/0sol9g | 1.054374093765104 | 145.42363842410506 | 137.92413839077395 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.05462158292063 | 170.00499916680553 | 161.2 |
BASE/shmup/ssTNlg | 1.0552115314565227 | 675.9333333333333 | 640.5666666666667 |
DRESDEN/pacman3p/rBnk8Q | 1.055315950202086 | 68.41280949048618 | 64.8268506482685 |
DRESDEN/statespacelarge/8-y5HQ | 1.0554999536650913 | 3796.633333333333 | 3597.0 |
STANFORD/jointbuttonsandlights/qAKuIQ | 1.0571074731994272 | 4552.433333333333 | 4306.5 |
BASE/skirmish/Y_psYQ | 1.058180324640067 | 25.004994339748286 | 23.63018264231436 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.0582776271694634 | 17.92735754748417 | 16.940127134156487 |
BASE/catcha_mouse/cHv4dw | 1.0583335743413251 | 1219.8 | 1152.5666666666666 |
DRESDEN/tictictoe/LAUtwg | 1.0609964432744279 | 2525.6666666666665 | 2380.4666666666667 |
BASE/ticblock/T21C1g | 1.0620095434089418 | 1565.3666666666666 | 1473.9666666666667 |
BASE/amazonsSuicide_10x10/XIbQkg | 1.0622208827415565 | 23.11022311022311 | 21.75651362697408 |
DRESDEN/checkers-newgoals/IJOqXQ | 1.0666298094187492 | 2.718652609243419 | 2.5488248924197285 |
BASE/hitori/S8Gsyg | 1.066787533489895 | 1.1245989481692191 | 1.0541920606160435 |
STANFORD/tictactoe/ss1kyQ | 1.0668976668976669 | 3079.0666666666666 | 2886.0 |
DRESDEN/checkers-mustjump/HUr33w | 1.0681453617628023 | 1.2147875763346248 | 1.1372867587327375 |
BASE/gt_prisoner/klthDw | 1.0687162118152804 | 546.9333333333333 | 511.76666666666665 |
DRESDEN/tictactoe/BTTzPw | 1.0711650382019426 | 3687.2 | 3442.233333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 1.0712741492711126 | 89.93033565547815 | 83.94707901489653 |
BASE/pearls/6k_mEQ | 1.0754182217759507 | 9460.633333333333 | 8797.166666666666 |
BASE/ticTacToeNoVars/XT03NA | 1.0780846381988072 | 2253.7 | 2090.4666666666667 |
BASE/eotcatcit/AfZSzA | 1.0781147809025506 | 3516.6666666666665 | 3261.866666666667 |
DRESDEN/golden_rectangle/1uloXw | 1.0783123387463955 | 473.6508783040565 | 439.25202493250225 |
DRESDEN/frogs_and_toads/GjchhQ | 1.0785660941000748 | 240.67593240675933 | 223.14435223144352 |
DRESDEN/knightthrough/J7Fc_Q | 1.0788884594935944 | 134.3621879270691 | 124.53760789149199 |
DRESDEN/doubletoetictac/V89gKQ | 1.0814423662783184 | 1952.4 | 1805.3666666666666 |
BASE/checkers-newgoals/0XkFiA | 1.0817693310932552 | 28.191542537238828 | 26.060585863298563 |
BASE/ticTacToe/JRFsaQ | 1.083723875870804 | 3137.2 | 2894.8333333333335 |
BASE/factoringEasyTurtleBrain/lUj94Q | 1.0853575874095711 | 2935.5666666666666 | 2704.7 |
BASE/amazons_10x10/Bun8dA | 1.0854480188876219 | 23.05542617605962 | 21.24047008689283 |
DRESDEN/knightmove/97Ipcw | 1.0862857652594564 | 409.7196760107996 | 377.17485500966603 |
DRESDEN/minichess/c7GMFw | 1.0873518097161157 | 219.65934468851037 | 202.0131320201313 |
BASE/minichess-evilconjuncts/4OpQzw | 1.0941700518353963 | 229.83333333333334 | 210.05266315578962 |
BASE/ttcc4/Le0qjQ | 1.0962643775556857 | 103.4528729502733 | 94.36854381872709 |
STANFORD/tictactoe7/-bE9-A | 1.1004770144507319 | 3137.5333333333333 | 2851.0666666666666 |
BASE/amazonsTorus/soxT8g | 1.1050102826359949 | 0.018199355742806705 | 0.016469851936031094 |
BASE/wargame01/_GZFZg | 1.1050306361837177 | 4.512874966817096 | 4.083936516368949 |
BASE/tictactoe_3d_small_6player/g_9lww | 1.1050647158131683 | 654.5666666666667 | 592.3333333333334 |
BASE/ticTacHeavenFC/mrletw | 1.1169716336878053 | 638.3120562647912 | 571.4666666666667 |
BASE/wargame02/BkVqqQ | 1.123841285135225 | 4.485347863645425 | 3.991086573319586 |
BASE/tictactoe-init1/7M19vA | 1.124198263943975 | 3306.866666666667 | 2941.5333333333333 |
BASE/lightsOn/MsXu3A | 1.1250516545344733 | 5898.833333333333 | 5243.166666666667 |
BASE/nonogram_10x10_1/0Xc62g | 1.1255654275310152 | 28.30031629765274 | 25.143199680298387 |
BASE/tttcc4/8Bs2lg | 1.12674128795844 | 103.46895931220634 | 91.83027232425586 |
BASE/ticTacHeaven/18n58A | 1.130024654303784 | 702.8 | 621.9333333333333 |
DRESDEN/minichess-evilconjuncts/th24Tw | 1.1311488461974475 | 233.55109659356043 | 206.47247033728837 |
BASE/ttcc4_2player_small/Cv72TA | 1.1318987890077714 | 246.1502566495567 | 217.46666666666667 |
DRESDEN/tictactoe-init1/3ltIBQ | 1.1351845461161731 | 3422.6192460251323 | 3015.0333333333333 |
STANFORD/tictactoe5/WFRReg | 1.1361005966510553 | 2951.4 | 2597.8333333333335 |
DRESDEN/hanoi7/51zz5Q | 1.1365765171361044 | 174.8433542194374 | 153.83333333333334 |
BASE/connectFourSimultaneous/7ITr3g | 1.1438923896605477 | 546.2666666666667 | 477.5507483083897 |
STANFORD/nineboardtictactoe/y28P-A | 1.1534057466959173 | 718.5333333333333 | 622.9666666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 1.1577257889009793 | 709.3 | 612.6666666666666 |
STANFORD/tictactoe3/X7myng | 1.1590030140794672 | 2807.0666666666666 | 2421.9666666666667 |
DRESDEN/quarto/OQzRYQ | 1.1596508720220253 | 25.944181709185372 | 22.37240736425076 |
BASE/minichess/8NQEiA | 1.1633812949729432 | 260.79130695643477 | 224.16666666666666 |
DRESDEN/connect4/T0-rHQ | 1.1861630031233426 | 670.9333333333333 | 565.6333333333333 |
DRESDEN/tttcc4/sAvtFg | 1.1916333856509518 | 108.48191968005332 | 91.03632122625791 |
BASE/connect4/50bOyw | 1.1943334544133672 | 657.6 | 550.6 |
DRESDEN/battlebrushes/QHXV4A | 1.1979406499645675 | 0.43828068747456406 | 0.36586177077097054 |
BASE/lightsOnSimultaneous/_VN6lw | 1.1994327390599675 | 1480.1 | 1234.0 |
BASE/lightsOnSimul4/9FeASw | 1.2013439678452553 | 1275.2666666666667 | 1061.5333333333333 |
BASE/ticTacToeLargeSuicide/727_8g | 1.2018398816639988 | 1977.0666666666666 | 1645.0333333333333 |
BASE/ticTacToeLarge/TZC0dg | 1.2106947619520922 | 2030.1333333333334 | 1676.8333333333333 |
DRESDEN/tictactoelargesuicide/6J4DeA | 1.244943782000034 | 2439.633333333333 | 1959.6333333333334 |
BASE/factoringGeorgeForman/HGRorQ | 1.2689906656889753 | 6403.2 | 5045.9 |
BASE/simultaneousWin2/PfjRjw | 1.2842970335930848 | 1307.5 | 1018.0666666666667 |
DRESDEN/tictactoelarge/IwXcbg | 1.2977893595438805 | 2473.5 | 1905.9333333333334 |
BASE/tictactoe2/bhrDoQ | 1.3153514353608955 | 3893.133333333333 | 2959.766666666667 |
BASE/factoringImpossibleTurtleBrain/kcBhdw | 1.3380184185428254 | 17.13639237347353 | 12.807291839925485 |
BASE/dualConnect4/WbCQkg | 1.3527338753086569 | 472.8842371920936 | 349.57669488700753 |
BASE/rubiksCube/9tNO9Q | 1.363396050380967 | 292.26666666666665 | 214.36666666666667 |
BASE/connectFour/WAIKTw | 1.3932596387166352 | 861.2666666666667 | 618.1666666666666 |
DRESDEN/connectfoursuicide/M9CNQg | 1.4173494215204332 | 951.4666666666667 | 671.3 |
BASE/lightsOnParallel/SC6enA | 1.4388944761053377 | 3863.0 | 2684.7 |
BASE/connectFourSuicide/c8p9Kw | 1.4404260100872162 | 878.9666666666667 | 610.2129929002367 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.4629846429309274 | 2832.5333333333333 | 1936.1333333333334 |
DRESDEN/connectfour/5tc-Mg | 1.5029542097488922 | 949.6666666666666 | 631.8666666666667 |
STANFORD/connectfour/VMpZkQ | 1.565635360347153 | 889.9 | 568.3954403039797 |
BASE/connectFour_9x6/B9TtMw | 1.5775394074170974 | 803.9666666666667 | 509.6333333333333 |
DRESDEN/lightson2x2/gBHuig | 1.6119339045287635 | 4389.833333333333 | 2723.3333333333335 |
BASE/pentagoSuicide/SBgNhw | 1.6271138141773356 | 372.1209293023566 | 228.7 |
BASE/pentago/86NgKw | 1.6596766310637143 | 376.88743708543046 | 227.08486100926604 |
STANFORD/pentago/ZxzLmg | 1.6949692518591983 | 406.28645711809605 | 239.70137315024664 |
BASE/connectFourLarge/aU644A | 1.7383416336874262 | 556.3666666666667 | 320.0559981333956 |
BASE/connectFourLarger/qKi60A | 1.779772190093195 | 210.92630245658478 | 118.51309040037306 |
BASE/checkLines/Vop7oQ | 2.109855179849149 | 698.6433785540482 | 331.1333333333333 |
BASE/cittaceot/fDxhXg | 2.332258794587946 | 674.1333333333333 | 289.04739684021064 |
BASE/merrills/pku8Tg | NaN | 0.0 | 0.0 |
DRESDEN/merrills/aYEzwA | NaN | 0.0 | 0.0 |
Games with errors:
Game | REKKURA_BACKWARD_PROVER:1.0.0 error message | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message |
BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | IllegalArgumentException: too many occurrences: 2147484126 |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | IllegalArgumentException: too many occurrences: 2147484126 |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |