Game-by-game performance:
Game | Perf ratio | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/hitori/S8Gsyg | 3.0356128870907164E-6 | 1.0541920606160435 | 347274.86666666664 |
DRESDEN/hitori/S8Gsyg | 3.2322810163593623E-6 | 1.1108932888976017 | 343687.1 |
DRESDEN/othello-cornercontrol/r5Gdlg | 3.397308618524347E-6 | 0.16278691193228065 | 47916.433333333334 |
BASE/max_knights/2fq3Ag | 8.467286116330644E-6 | 6.8869148617626506 | 813355.6333333333 |
BASE/pawnToQueen/-O1_JA | 8.76015302697091E-6 | 4.955763985897692 | 565716.6 |
DRESDEN/max_knights/hCipiA | 8.96607190338402E-6 | 6.854100815172185 | 764448.5666666667 |
BASE/gt_attrition/kD_SCA | 9.383986987317E-6 | 1.1793998165378063 | 125682.16666666667 |
DRESDEN/pawntoqueen/f_x6Aw | 1.0367041130145113E-5 | 4.813597583242041 | 464317.4 |
DRESDEN/battle/8oAvhQ | 1.3801050106194476E-5 | 3.6370850416611558 | 263536.8333333333 |
BASE/battle/8oAvhQ | 1.3828706054233128E-5 | 3.657887736100027 | 264514.1 |
BASE/wargame01/_GZFZg | 1.707235442199504E-5 | 4.083936516368949 | 239213.43333333332 |
BASE/gt_two_thirds_2p/1APDGg | 1.7455202996485474E-5 | 2.6462902318811814 | 151604.66666666666 |
BASE/ad_game_2x2/D0aWqg | 1.750948421002561E-5 | 0.6245685546168765 | 35670.3 |
BASE/wargame03/klXI8w | 1.9369328816197832E-5 | 3.258087037468001 | 168208.56666666668 |
BASE/connect5/d-BVQg | 2.296981257374139E-5 | 17.909951819239076 | 779716.9333333333 |
BASE/twisty-passages/DiZmmg | 2.3955996945369357E-5 | 66.0644645178494 | 2757742.2333333334 |
DRESDEN/twisty-passages/j7NPyg | 2.428103904638105E-5 | 64.50753032120485 | 2656703.8666666667 |
DRESDEN/connect5/1kYzSg | 2.663497467799171E-5 | 20.620960756879207 | 774206.1333333333 |
BASE/wargame02/BkVqqQ | 3.3869505574666615E-5 | 3.991086573319586 | 117837.16666666667 |
BASE/mummymaze2p/vpjDdA | 4.1404488961146615E-5 | 45.21826057980673 | 1092110.1 |
DRESDEN/mummymaze2p/k-8edg | 4.337098232958807E-5 | 45.4242484836366 | 1047341.9333333333 |
STANFORD/madness/UO_B3A | 6.023007613128457E-5 | 7.61987156024357 | 126512.73333333334 |
BASE/solitaireChineseCheckers/-ET6gw | 6.127886348419358E-5 | 14.270141710435041 | 232872.16666666666 |
STANFORD/skirmish/w4V6Vw | 6.13428459511426E-5 | 8.164489469474807 | 133096.03333333333 |
STANFORD/platformjumpers/HEQskA | 6.78159658017889E-5 | 25.594028060119307 | 377404.1666666667 |
BASE/checkers-mustjump/T-8UuQ | 6.878479090010346E-5 | 11.689090182496336 | 169937.13333333333 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7.124926696727018E-5 | 9.89076861595844 | 138819.23333333334 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7.462417584386608E-5 | 10.369927211087845 | 138962.03333333333 |
BASE/knightThrough/gcwFjA | 8.385452788947019E-5 | 65.31591575579846 | 778919.3666666667 |
BASE/checkers-mustjump-torus/uSApKQ | 8.488367806817495E-5 | 8.773387391578877 | 103357.76666666666 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.0078905497478003E-4 | 16.940127134156487 | 168075.06666666668 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 1.0502337253652035E-4 | 15.221156408206769 | 144931.13333333333 |
BASE/checkers-newgoals/0XkFiA | 1.0550027243489599E-4 | 26.060585863298563 | 247019.13333333333 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.0565079245450006E-4 | 17.804845580404685 | 168525.43333333332 |
BASE/skirmishZeroSum/zh4hcw | 1.0568751945234443E-4 | 20.71952031978681 | 196045.1 |
DRESDEN/vacuumcleaner_random/_6AGDA | 1.1262453241372877E-4 | 15.097483752707882 | 134051.46666666667 |
BASE/speedChess/bPnisA | 1.1362331576383192E-4 | 23.206259364075244 | 204238.53333333333 |
BASE/colonelBlottoVariant/X-n-KQ | 1.184111709334645E-4 | 43.414520374504384 | 366642.1 |
BASE/skirmishNew/sibw2g | 1.1896792772783528E-4 | 23.77384876635701 | 199834.1 |
BASE/mummyMaze2p_2007/YGA3Vw | 1.2217378351419108E-4 | 98.00393215368723 | 802168.2666666667 |
DRESDEN/hanoi7/51zz5Q | 1.2484104407797775E-4 | 153.83333333333334 | 1232233.6333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 1.2846238401677766E-4 | 101.73953612370035 | 791979.2 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1.341170398028646E-4 | 161.2 | 1201935.2666666666 |
BASE/pacman3p/wW7UVQ | 1.3440207452385645E-4 | 62.98320447880565 | 468617.8 |
BASE/nonogram_10x10_1/0Xc62g | 1.3503909770719682E-4 | 25.143199680298387 | 186192.0 |
DRESDEN/ghostmaze2p/HY0UwA | 1.3938268471488084E-4 | 134.02886570447652 | 961589.0666666667 |
BASE/hanoi7_bugfix/3gdnFw | 1.399956967201665E-4 | 170.43826028995167 | 1217453.5666666667 |
BASE/breakthroughHoles/nZk0Sg | 1.436007603717293E-4 | 129.46235125495818 | 901543.6333333333 |
BASE/colonelBlotto/jip21A | 1.4848059081630716E-4 | 5.098640362569982 | 34338.76666666667 |
BASE/ghostMaze2p/W-NU-w | 1.4962847118832128E-4 | 130.28697130286972 | 870736.5 |
BASE/pacman2p/4LEdQg | 1.5055859943475557E-4 | 59.75471572352196 | 396886.76666666666 |
BASE/connectFourLarger/qKi60A | 1.516132495604316E-4 | 118.51309040037306 | 781680.3 |
BASE/breakthroughWalls/vOZaYA | 1.527867698138764E-4 | 123.90442230146299 | 810963.0333333333 |
BASE/breakthrough/TGxk-g | 1.5302084110258642E-4 | 128.6033258906255 | 840430.1333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 1.5844301456999568E-4 | 139.03333333333333 | 877497.4 |
BASE/breakthroughSuicide/wZDpIg | 1.5868010822920326E-4 | 132.1 | 832492.5 |
DRESDEN/pacman3p/rBnk8Q | 1.59063438916603E-4 | 64.8268506482685 | 407553.43333333335 |
DRESDEN/knightthrough/J7Fc_Q | 1.6194350137507503E-4 | 124.53760789149199 | 769018.8666666667 |
DRESDEN/breakthrough/z4hK7Q | 1.648361473155037E-4 | 133.51108148641893 | 809962.4 |
BASE/tictactoe_3d_2player/IUC1rQ | 1.6657677790005854E-4 | 139.8433594400933 | 839512.9333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.6756910918800958E-4 | 130.42898570047666 | 778359.3666666667 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1.710396549494262E-4 | 146.55689620691953 | 856859.1666666666 |
BASE/colonelBlottoVariant2/jruwGw | 1.7366106899445745E-4 | 42.67866066966517 | 245758.36666666667 |
DRESDEN/skirmish2/iPpWhQ | 1.7697906254714464E-4 | 45.55300076643674 | 257392.03333333333 |
BASE/choicethroughalt/tt71Lg | 1.9227050223180036E-4 | 94.58108378324336 | 491916.76666666666 |
DRESDEN/skirmish/RjGQYQ | 1.9707652075659306E-4 | 43.78248700519792 | 222159.83333333334 |
BASE/quarto/EwBMVQ | 1.9880144885443552E-4 | 22.362194227821103 | 112485.06666666667 |
BASE/quartoSuicide/-23jUg | 1.9897108182421842E-4 | 21.93260224659178 | 110230.1 |
BASE/skirmishFinal1/ecWTnQ | 2.0575545813125598E-4 | 26.317542807648746 | 127906.9 |
BASE/skirmish/Y_psYQ | 2.113470262935345E-4 | 23.63018264231436 | 111807.5 |
BASE/skirmishFinal3/-Olhfw | 2.1344056617925088E-4 | 31.772463864650636 | 148858.6 |
DRESDEN/skirmishfinal/hzq8ww | 2.1436453700092684E-4 | 28.45528455284553 | 132742.5 |
BASE/skirmishFinal2/gdB62Q | 2.1573624713253306E-4 | 29.65875766462277 | 137476.93333333332 |
DRESDEN/quarto/OQzRYQ | 2.1642506614507617E-4 | 22.37240736425076 | 103372.53333333334 |
BASE/knightfight/SJRkAg | 2.1908035001371934E-4 | 51.92467922012998 | 237012.03333333333 |
DRESDEN/endgame/IJhh3Q | 2.2022536925801948E-4 | 37.75282396454633 | 171428.13333333333 |
DRESDEN/knightfight/4_Ly4w | 2.2032931774447376E-4 | 51.59312091721104 | 234163.66666666666 |
DRESDEN/quartosuicide/WIU1oQ | 2.212577865614114E-4 | 23.111762355135205 | 104456.26666666666 |
DRESDEN/hanoi_6_disks/MeubgQ | 2.2165524591942127E-4 | 296.1 | 1335858.3 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 2.2600974441590313E-4 | 378.46666666666664 | 1674559.0666666667 |
BASE/hanoi_6_disks/MeubgQ | 2.2854303916407983E-4 | 295.7469502033198 | 1294053.6333333333 |
BASE/ttcc4_2player_alt/ZEJvYA | 2.3247062698330919E-4 | 90.80306564478506 | 390600.1666666667 |
BASE/gt_tinfoil/Q8DyKg | 2.3574360201258581E-4 | 116.86277124095864 | 495719.8 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2.3994757636577177E-4 | 495.9 | 2066701.4333333333 |
BASE/nonogram_5x5_1/qLKEZw | 2.4039371415127974E-4 | 85.20493168943685 | 354439.1 |
BASE/skirmishHoles/AUCxCA | 2.444436587311626E-4 | 31.159396140900455 | 127470.66666666667 |
BASE/strangeSkirmish/gc1zKA | 2.45088299451026E-4 | 25.987006496751626 | 106031.2 |
BASE/queens31lg/0gID-A | 2.460420313130621E-4 | 37.386291693045884 | 151950.83333333334 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2.5383079336425984E-4 | 522.9333333333333 | 2060165.0666666667 |
BASE/checkers/rOC3Xg | 2.5410393888322316E-4 | 60.94228975076636 | 239832.13333333333 |
BASE/ttcc4_2player/_aH_Mw | 2.572693191680817E-4 | 93.53860508514113 | 363582.43333333335 |
DRESDEN/brawl/2kXtfQ | 2.576937456690758E-4 | 39.496050394960506 | 153267.4 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.5845270453147683E-4 | 497.6 | 1925303.9 |
BASE/cephalopodMicro/9l2D3g | 2.6428431389347484E-4 | 76.92307692307692 | 291061.8333333333 |
BASE/brawl/6Ymo_Q | 2.653658991367447E-4 | 39.309747484842426 | 148134.13333333333 |
BASE/bomberman2p/4CClwA | 2.696786192111314E-4 | 126.18738126187381 | 467917.63333333336 |
STANFORD/ttcc4/Cx9SGw | 2.7229475917243945E-4 | 92.91475038325669 | 341228.56666666665 |
DRESDEN/skirmish3/3LU8Nw | 2.727628654764437E-4 | 59.992001066524466 | 219941.96666666667 |
DRESDEN/bomberman2p/x4h6jQ | 2.7562022324324466E-4 | 128.24101846297407 | 465281.6 |
BASE/checkersBarrelNoKings/rnKNeg | 2.772083652356135E-4 | 88.76370787640413 | 320205.73333333334 |
DRESDEN/capture_the_king/EQ229Q | 2.7892679200078194E-4 | 45.845272206303726 | 164363.1 |
BASE/checkersTorus/2vm1EQ | 2.8279708028737755E-4 | 63.78086574027792 | 225535.8 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.8996410585619884E-4 | 587.4333333333333 | 2025882.9333333333 |
BASE/checkersTorusNoKings/pwb6oQ | 2.913251029055834E-4 | 83.4638845371821 | 286497.4 |
BASE/checkersSmall/SYmq8w | 2.933497918149317E-4 | 89.60645139791396 | 305459.4 |
STANFORD/checkersonabarrelnokings/Zrevdw | 2.9462442929822984E-4 | 86.14369501466275 | 292384.76666666666 |
BASE/2pttc/unkkYA | 2.9805635371317983E-4 | 206.38624091727218 | 692440.3333333334 |
BASE/hidato37/pBrqxw | 2.9858767809161954E-4 | 63.21647560650493 | 211718.3 |
DRESDEN/CephalopodMicro/H3XQfg | 3.0088181336397765E-4 | 83.94707901489653 | 279003.5 |
DRESDEN/quad_5x5/JAEP5g | 3.135395189346173E-4 | 211.0122321101223 | 673000.4333333333 |
BASE/sudokuGrade2/u80Tfw | 3.16681422862638E-4 | 188.47487001733103 | 595156.0666666667 |
BASE/sudokuGrade4/DTy07w | 3.193894529887086E-4 | 188.21451188214513 | 589294.7 |
BASE/sudokuGrade1/tDRNRw | 3.199391956458458E-4 | 192.78714752349845 | 602574.3333333334 |
BASE/checkersTiny/Lr48cg | 3.215726146124354E-4 | 131.7 | 409549.8 |
BASE/sudokuGrade5/BQfUQA | 3.237318483746041E-4 | 185.4938168727709 | 572986.0 |
BASE/sudokuGrade3/eI8dvg | 3.2404976407255834E-4 | 189.06036465451152 | 583430.0333333333 |
STANFORD/sudoku/oJ1qyQ | 3.3015187331894504E-4 | 186.02713242891903 | 563459.2666666667 |
STANFORD/multiplesukoshi/vLSQPg | 3.3049061131829196E-4 | 380.3539882003933 | 1150876.8333333333 |
STANFORD/chinook/osFbPA | 3.4072593784025175E-4 | 88.87037654115295 | 260826.56666666668 |
BASE/sudokuGrade6E/ihYFZA | 3.4544263763431417E-4 | 177.1 | 512675.56666666665 |
DRESDEN/babel/WdSW4A | 3.491500840250532E-4 | 82.14476139696082 | 235270.63333333333 |
BASE/quad_5x5/JAEP5g | 3.5680873630430053E-4 | 211.95253649756683 | 594022.8333333334 |
BASE/sudokuGrade6H/ieE_9A | 3.590391771198613E-4 | 185.0271657611413 | 515339.76666666666 |
BASE/connectFourLarge/aU644A | 3.6522633962320056E-4 | 320.0559981333956 | 876322.3333333334 |
BASE/amazonsSuicide_10x10/XIbQkg | 3.6931156536086776E-4 | 21.75651362697408 | 58911.0 |
DRESDEN/quad_5x5_8_2/JRTLJg | 3.727989741455903E-4 | 225.0 | 603542.4333333333 |
BASE/chinook/XQh0IQ | 3.748154909319967E-4 | 95.77765188122771 | 255532.8 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.753711145489108E-4 | 410.06666666666666 | 1092430.0 |
BASE/zhadu/DlA8iQ | 3.7785496510538065E-4 | 39.386871042985675 | 104238.06666666667 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 3.838806247438826E-4 | 479.1 | 1248044.2333333334 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.8538028578187554E-4 | 415.03333333333336 | 1076944.9 |
BASE/amazons_10x10/Bun8dA | 3.8736584447884273E-4 | 21.24047008689283 | 54833.1 |
BASE/knightmove/jBaJEw | 3.9130394973984196E-4 | 374.9208359721343 | 958132.0 |
BASE/ttcc4_2player_small/Cv72TA | 3.937459099221133E-4 | 217.46666666666667 | 552302.0333333333 |
BASE/dualConnect4/WbCQkg | 3.9418724663653606E-4 | 349.57669488700753 | 886829.0333333333 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 4.049469638902341E-4 | 491.6666666666667 | 1214150.7666666666 |
DRESDEN/Zhadu/9zpQ5w | 4.0502116556347074E-4 | 40.971320075946835 | 101158.46666666666 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 4.052832148035721E-4 | 638.8 | 1576181.7333333334 |
BASE/blokbox_simple/JBx4bg | 4.0936043342625636E-4 | 7.132382349020131 | 17423.233333333334 |
DRESDEN/knightmove/97Ipcw | 4.14347032193131E-4 | 377.17485500966603 | 910287.3333333334 |
BASE/amazons_8x8/7SOsIw | 4.145575799594433E-4 | 50.09833005566481 | 120847.7 |
DRESDEN/sat_test_20v_91c/dK7nVw | 4.2210978140888155E-4 | 476.2174594180194 | 1128183.9 |
BASE/breakthroughSmall/HJ0tIA | 4.2793519540390893E-4 | 350.0549981667278 | 818009.3666666667 |
BASE/kitten_escapes_from_fire/uW-YiA | 4.349331606413806E-4 | 634.8455051498283 | 1459639.2333333334 |
BASE/breakthroughSuicideSmall/XSbJog | 4.3943032335039945E-4 | 363.7 | 827662.5 |
DRESDEN/chinesecheckers1/Y-ftaA | 4.491736865633135E-4 | 620.2459918002734 | 1380860.0333333334 |
STANFORD/knightstourbig/TQUI2g | 4.6077396137833137E-4 | 445.05183160561313 | 965878.8666666667 |
BASE/4pttc/AL1k2Q | 4.631761670962278E-4 | 94.75403279562725 | 204574.5 |
BASE/othelloHoles/c0qAzw | 4.7263130833585326E-4 | 20.635713097021135 | 43661.333333333336 |
BASE/gt_ultimatum/GE-uOA | 4.744156954190787E-4 | 308.7 | 650695.1666666666 |
BASE/reversi/d8UMeA | 4.787739637870158E-4 | 36.76176509798694 | 76783.13333333333 |
BASE/chineseCheckers1/gqtwHw | 4.8508795558710536E-4 | 802.8399053364888 | 1655039.8666666667 |
DRESDEN/chinesecheckers2/06E6-Q | 4.882813462764431E-4 | 320.85597146761774 | 657112.9 |
BASE/reversiSuicide/9OxJlg | 4.936721244962566E-4 | 36.597560162655824 | 74133.33333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 5.148868733540533E-4 | 841.0 | 1633368.5 |
BASE/queens16ug/gT-ylw | 5.168465990730517E-4 | 277.6333333333333 | 537167.7666666667 |
STANFORD/duidoku/3SoMaA | 5.190730936167427E-4 | 161.84508732169044 | 311796.3333333333 |
BASE/connectFour_9x6/B9TtMw | 5.310492392300234E-4 | 509.6333333333333 | 959672.4666666667 |
BASE/3pttc/0sol9g | 5.353662414102755E-4 | 137.92413839077395 | 257625.76666666666 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 5.365003109473311E-4 | 128.66237792073596 | 239817.9 |
BASE/golden_rectangle/_nYzfw | 5.370808953862543E-4 | 437.6666666666667 | 814898.9666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 5.422311700393E-4 | 334.7776814879008 | 617407.6666666666 |
DRESDEN/chinesecheckers6/yTbPDA | 5.429786518581197E-4 | 171.74376749766697 | 316299.3 |
DRESDEN/quad/JPe6fg | 5.558301143970075E-4 | 181.39395353488217 | 326347.8333333333 |
BASE/quad/tw-Ufg | 5.737887837981069E-4 | 185.07780999033622 | 322553.9 |
BASE/tictactoe_3d_6player/d7KSwg | 5.76651111553773E-4 | 141.2003865764655 | 244862.76666666666 |
STANFORD/connectfour/VMpZkQ | 5.813107110262044E-4 | 568.3954403039797 | 977782.5 |
BASE/duplicateStateLarge/dcjyuw | 5.817638772022064E-4 | 744.9085030498983 | 1280431.0 |
BASE/chineseCheckers2/eCMR3Q | 5.860853067892919E-4 | 499.03333333333336 | 851468.7666666667 |
BASE/othelloSuicide/B442jg | 5.901609449191414E-4 | 19.614372772986112 | 33235.63333333333 |
STANFORD/selectivesukoshi/3xmXYg | 5.940339865345628E-4 | 404.08653044898506 | 680241.4333333333 |
DRESDEN/golden_rectangle/1uloXw | 6.063941116043979E-4 | 439.25202493250225 | 724367.2333333333 |
BASE/connectFourSuicide/c8p9Kw | 6.0927767043909E-4 | 610.2129929002367 | 1001535.1333333333 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 6.150099858141952E-4 | 300.8799413372442 | 489227.73333333334 |
BASE/othello-comp2007/86ZoMw | 6.154791156044652E-4 | 20.064660200646603 | 32600.066666666666 |
BASE/pentago/86NgKw | 6.250985428789923E-4 | 227.08486100926604 | 363278.5 |
BASE/knightsTourLarge/M8jgLA | 6.290899693736431E-4 | 577.8333333333334 | 918522.5666666667 |
BASE/chineseCheckers6/rREH3A | 6.298233320861403E-4 | 241.85860471317622 | 384010.23333333334 |
BASE/connectFour/WAIKTw | 6.335092037323923E-4 | 618.1666666666666 | 975781.6666666666 |
BASE/firefighter/WJmoPw | 6.44044055960377E-4 | 2642.6666666666665 | 4103238.966666667 |
DRESDEN/racer/vk_ZBA | 6.469751594530942E-4 | 18.137042830044262 | 28033.6 |
BASE/amazonsTorus_10x10/Uxc08g | 6.477544937434393E-4 | 12.781254160564506 | 19731.633333333335 |
BASE/pentagoSuicide/SBgNhw | 6.480501256996221E-4 | 228.7 | 352904.8 |
DRESDEN/connectfour/5tc-Mg | 6.494814478584706E-4 | 631.8666666666667 | 972878.7 |
STANFORD/multipletictactoe/_bkafQ | 6.524567038554719E-4 | 807.3730875637478 | 1237435.5 |
STANFORD/pentago/ZxzLmg | 6.532618568943576E-4 | 239.70137315024664 | 366930.0 |
BASE/pegEuro/5awwhg | 6.734429224648141E-4 | 310.9896336788774 | 461790.63333333336 |
DRESDEN/connectfoursuicide/M9CNQg | 6.768743081145697E-4 | 671.3 | 991764.6333333333 |
BASE/tttcc4/8Bs2lg | 6.815280615181031E-4 | 91.83027232425586 | 134741.73333333334 |
BASE/gt_coordination/IVMOzA | 6.965254917771897E-4 | 752.0666666666667 | 1079740.3333333333 |
DRESDEN/aipsrovers01/qS47Mw | 6.976441250194624E-4 | 1126.3 | 1614433.4333333333 |
BASE/peg/fJHVWw | 6.980601842708666E-4 | 317.3227559081364 | 454577.93333333335 |
DRESDEN/tttcc4/sAvtFg | 7.013499417926228E-4 | 91.03632122625791 | 129801.56666666667 |
BASE/racer/QQYQNw | 7.017966470868194E-4 | 19.21923922456865 | 27385.766666666666 |
BASE/ttcc4/Le0qjQ | 7.117786883876316E-4 | 94.36854381872709 | 132581.3 |
DRESDEN/firefighter/WJmoPw | 7.178564510311471E-4 | 2765.766666666667 | 3852813.0 |
BASE/chineseCheckers3/-1rZdQ | 7.192215455393348E-4 | 362.22125929135694 | 503629.6 |
DRESDEN/minichess/c7GMFw | 7.344686592666212E-4 | 202.0131320201313 | 275046.63333333336 |
DRESDEN/minichess-evilconjuncts/th24Tw | 7.417652907094115E-4 | 206.47247033728837 | 278352.8333333333 |
BASE/minichess-evilconjuncts/4OpQzw | 7.502847265175929E-4 | 210.05266315578962 | 279963.93333333335 |
BASE/aipsrovers01/4C4jsw | 7.588814306151782E-4 | 1171.9333333333334 | 1544290.4333333333 |
DRESDEN/oisters_farm/pTQMLg | 7.631516432395496E-4 | 2857.733333333333 | 3744646.7666666666 |
DRESDEN/satlike_20v_91c/yeuENQ | 7.663268203332235E-4 | 41.254948930365636 | 53834.666666666664 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 7.794241113957674E-4 | 38.74314607479397 | 49707.4 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 7.876060723086704E-4 | 41.040577215860196 | 52108.0 |
BASE/checkLines/Vop7oQ | 7.922975976330927E-4 | 331.1333333333333 | 417940.6 |
BASE/chineseCheckers4/avfBcQ | 8.11747121500019E-4 | 295.9037429590374 | 364527.0 |
DRESDEN/ggp-course2013_michal13/jWKddg | 8.149736843544636E-4 | 461.9 | 566766.7666666667 |
BASE/qyshinsu/R08Lzw | 8.158090160917312E-4 | 210.4122921041229 | 257918.56666666668 |
STANFORD/untwistycomplex/HTWEwg | 8.18642350251215E-4 | 2890.9666666666667 | 3531415.966666667 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 8.211061706768113E-4 | 40.36393713813069 | 49158.0 |
STANFORD/pilgrimage/ObRZnQ | 8.253414229740207E-4 | 242.23333333333332 | 293494.7 |
BASE/queens12ug/u6Bkmg | 8.350008921679734E-4 | 492.183593880204 | 589440.8 |
BASE/englishDraughts/jFkQxg | 8.49188721393868E-4 | 256.6828878074795 | 302268.36666666664 |
BASE/majorities/ibJzSQ | 8.516421570300436E-4 | 404.0730617958803 | 474463.43333333335 |
BASE/sheepAndWolf/g4THrg | 8.597447422965802E-4 | 132.45342132453422 | 154061.33333333334 |
STANFORD/alquerquezero/uVgA_A | 8.634525025617446E-4 | 289.7 | 335513.5333333333 |
BASE/snake_2008/i6K26g | 8.781055689481394E-4 | 332.0889303689877 | 378187.93333333335 |
DRESDEN/towerworld/HCX34w | 8.790930844030866E-4 | 32.61485158410234 | 37100.566666666666 |
DRESDEN/snake_2008/E56l3A | 8.924746334833237E-4 | 330.07799480034663 | 369845.8 |
BASE/mineClearingSmall/frsbvw | 8.932999323108486E-4 | 255.14965668955404 | 285625.9666666667 |
BASE/snake_2008_tweaked/bX0NJQ | 8.938657315730396E-4 | 334.03333333333336 | 373695.2 |
DRESDEN/chinesecheckers3/QsCb2A | 8.992431266574763E-4 | 378.68737708743043 | 421117.9 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 9.007507784255883E-4 | 1375.7 | 1527281.5 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 9.099767524467024E-4 | 791.6 | 869912.3333333334 |
STANFORD/freeforall/Lfp40Q | 9.115314651036883E-4 | 473.6017598826745 | 519567.1 |
BASE/escortLatch/mX9BjQ | 9.147551665405622E-4 | 450.8333333333333 | 492845.9 |
BASE/connectFourSimultaneous/7ITr3g | 9.166573751854356E-4 | 477.5507483083897 | 520969.73333333334 |
BASE/asteroidsSerial/id2QkA | 9.179258246556997E-4 | 744.4666666666667 | 811031.4 |
BASE/dotsAndBoxesSuicide/jzQbLw | 9.224059571305116E-4 | 769.0666666666667 | 833761.6 |
DRESDEN/kalaha_2009/gcC8uA | 9.279773140739588E-4 | 23.746877601998335 | 25589.933333333334 |
BASE/tictactoe_3d_small_2player/oOryKA | 9.3218395792788E-4 | 797.6333333333333 | 855660.8666666667 |
DRESDEN/blobwars/ZaMluQ | 9.346779363127205E-4 | 18.442691168148073 | 19731.6 |
BASE/kalaha_2009/dRiN3g | 9.367554913544957E-4 | 24.037021007424176 | 25659.866666666665 |
DRESDEN/mimikry/GJEhwA | 9.369163758096613E-4 | 812.8395720142662 | 867568.9666666667 |
DRESDEN/grid_game/U7_Yeg | 9.376452318959714E-4 | 569.4143528549048 | 607281.2333333333 |
BASE/blobwars/0XT15Q | 9.405341526255061E-4 | 18.173345759552657 | 19322.366666666665 |
BASE/minichess/8NQEiA | 9.443708685529837E-4 | 224.16666666666666 | 237371.43333333332 |
DRESDEN/connect4/T0-rHQ | 9.476057082396351E-4 | 565.6333333333333 | 596907.9 |
BASE/dotsAndBoxes/EHwA_w | 9.484472153457991E-4 | 789.1403619879337 | 832034.0333333333 |
BASE/connect4/50bOyw | 9.620537418666183E-4 | 550.6 | 572317.3 |
BASE/ruleDepthLinear/OUBJpQ | 9.866231447862692E-4 | 1662.9 | 1685445.9666666666 |
BASE/futoshiki6/JmvXNA | 9.939185155458672E-4 | 552.2815906136462 | 555660.8333333334 |
BASE/gt_chicken/gmepTQ | 0.0010077639074365903 | 427.5 | 424206.5 |
BASE/pawnWhopping/Ypc_6Q | 0.001064325036055162 | 777.9333333333333 | 730917.0666666667 |
DRESDEN/pentago_2008/hLjVpQ | 0.0010968418593121751 | 390.56666666666666 | 356082.93333333335 |
BASE/snake_2009_big/-oRfVw | 0.0011060230742060192 | 386.4 | 349359.8 |
BASE/simultaneousWin2/PfjRjw | 0.0011087318459317961 | 1018.0666666666667 | 918226.2333333333 |
BASE/3pConnectFour/PqXOFQ | 0.0011113416115935157 | 760.0 | 683858.1333333333 |
STANFORD/breakthrough/d5j0cQ | 0.0011216065320929782 | 900.6333333333333 | 802985.1 |
BASE/2pffa_zerosum/o0_uZA | 0.0011227467952646588 | 557.3480883970534 | 496414.76666666666 |
DRESDEN/gt_chicken/CeuKtw | 0.0011311549847406758 | 476.0507983067231 | 420853.73333333334 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.0011398848320684355 | 1936.1333333333334 | 1698534.1666666667 |
BASE/nineBoardTicTacToe/wRmqqA | 0.001148472859143178 | 612.6666666666666 | 533462.0333333333 |
STANFORD/nineboardtictactoe/y28P-A | 0.0011552108514779858 | 622.9666666666667 | 539266.6333333333 |
BASE/knightsTour/mvtVIg | 0.001169639138320384 | 1538.3333333333333 | 1315220.4666666666 |
BASE/2pffa/6oHijA | 0.0011725937023267965 | 580.7139762007934 | 495238.86666666664 |
STANFORD/knightstour/cEwgNA | 0.001179262250253443 | 1513.5333333333333 | 1283457.8 |
DRESDEN/grid_game2/kypTYQ | 0.0011830212140362597 | 1676.1 | 1416796.2333333334 |
BASE/queens08lg/Ru7eqQ | 0.0011852416737188685 | 569.4666666666667 | 480464.6 |
DRESDEN/4pttc/9pB9AQ | 0.0012124302855960392 | 299.4 | 246942.03333333333 |
BASE/cubicup/4wNWJA | 0.0012137073999080239 | 456.5181160627979 | 376135.23333333334 |
DRESDEN/snake_2009_big/DgC1NQ | 0.0012460605603632489 | 383.4 | 307689.7 |
BASE/ticTacToeLargeSuicide/727_8g | 0.0012538332284174386 | 1645.0333333333333 | 1312003.3 |
BASE/duplicateStateMedium/U163eQ | 0.0012544275015965907 | 2088.4333333333334 | 1664849.7666666666 |
BASE/ticTacToeLarge/TZC0dg | 0.001267158594400834 | 1676.8333333333333 | 1323301.8666666667 |
BASE/gt_prisoner/klthDw | 0.0012680286074125452 | 511.76666666666665 | 403592.36666666664 |
DRESDEN/cubicup/SBn_lw | 0.0012707135571853217 | 455.03333333333336 | 358092.76666666666 |
BASE/queens08ug/kJ_ZFQ | 0.001278088343153096 | 919.3333333333334 | 719303.4333333333 |
BASE/gt_staghunt/xPjLRA | 0.0012896643333924849 | 533.8155394820172 | 413918.2 |
BASE/incredible/8Qh-6Q | 0.0012918354374405316 | 2441.8 | 1890178.8333333333 |
BASE/queens06ug/7Lq3tw | 0.0012959576353988639 | 1173.6666666666667 | 905636.6 |
BASE/hidato19/rRHSmA | 0.0013030855965061215 | 593.213559548015 | 455237.6 |
BASE/futoshiki5/TJ4BZg | 0.0013045023985565165 | 800.7666666666667 | 613848.3666666667 |
BASE/wallmaze/uxNQ9g | 0.00131949523198034 | 716.3333333333334 | 542884.3666666667 |
DRESDEN/pawn_whopping/4ogBkg | 0.001330219841301717 | 1094.0666666666666 | 822470.5666666667 |
BASE/asteroids/BKCmPQ | 0.0013362927170478419 | 1249.5333333333333 | 935074.5666666667 |
DRESDEN/quad_7x7/q-JOXg | 0.0013674420399134763 | 654.3448551714943 | 478517.43333333335 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.0013681965903851857 | 1064.2 | 777812.2 |
BASE/quad_7x7/q-JOXg | 0.0013860601922223508 | 652.8115729475684 | 470983.56666666665 |
DRESDEN/snake_2009/zIYLVw | 0.0013875875152915562 | 462.6333333333333 | 333408.4 |
BASE/racetrackcorridor/_RkdUg | 0.0013954148519077013 | 945.8 | 677791.2666666667 |
DRESDEN/Runners/3bOCQw | 0.001405123266121063 | 1197.7 | 852380.7333333333 |
BASE/hanoi/iGLsJg | 0.0014053308828851363 | 1618.0333333333333 | 1151354.0 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.001407465917637018 | 5069.733333333334 | 3602029.2 |
BASE/breakthroughSmallHoles/bxclRw | 0.0014075518911951263 | 1100.7666666666667 | 782043.4 |
STANFORD/knightstourmedium/x1wu8Q | 0.0014257704955259495 | 1819.9666666666667 | 1276479.4 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0014355896667728144 | 5168.3 | 3600123.433333333 |
BASE/snake_2009/7l-qAQ | 0.0014522181431865728 | 472.3175894136862 | 325238.73333333334 |
BASE/cittaceot/fDxhXg | 0.0014574729554866824 | 289.04739684021064 | 198320.93333333332 |
DRESDEN/racetrackcorridor/O0DoTA | 0.0014601093548552932 | 887.1 | 607557.2333333333 |
DRESDEN/hanoi/RQ0jiA | 0.00146191332009476 | 1668.4 | 1141244.1333333333 |
BASE/copolymer_4/2LDVhQ | 0.0014800553838283156 | 1088.9333333333334 | 735738.2333333333 |
BASE/asteroidsParallel/WauZiA | 0.0014850736166519354 | 733.5666666666667 | 493959.8 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.001498956793486416 | 1959.6333333333334 | 1307331.4333333333 |
DRESDEN/tictactoelarge/IwXcbg | 0.001503124244451883 | 1905.9333333333334 | 1267981.2333333334 |
BASE/lightsOnSimultaneous/_VN6lw | 0.0015207411094771749 | 1234.0 | 811446.4666666667 |
BASE/hex/T1MK8g | 0.0015287158224442873 | 128.05812945803612 | 83768.43333333333 |
STANFORD/hex/MTqWcw | 0.0015404048305891363 | 129.63333333333333 | 84155.36666666667 |
DRESDEN/gt_prisoner/huCp4w | 0.001558182573868041 | 644.6785107163095 | 413737.4666666667 |
DRESDEN/frogs_and_toads/GjchhQ | 0.0015626898710863907 | 223.14435223144352 | 142795.03333333333 |
DRESDEN/tictactoex9/rFkD4w | 0.0015669329369277444 | 806.7333333333333 | 514848.6666666667 |
DRESDEN/Goldrush/VeWczQ | 0.001576758286917075 | 542.0819306023133 | 343795.2 |
BASE/ticTacHeavenFC/mrletw | 0.001583604264462282 | 571.4666666666667 | 360864.56666666665 |
BASE/lightsOnParallel/SC6enA | 0.0015919734855700187 | 2684.7 | 1686397.4333333333 |
BASE/tictactoex9/BI26ow | 0.001604106286026081 | 832.5666666666667 | 519022.13333333336 |
DRESDEN/peg/Vo31eg | 0.0016335106347501152 | 742.9 | 454787.36666666664 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.0016430982310951313 | 2704.7 | 1646097.5666666667 |
DRESDEN/peg_bugfixed/u_B7MA | 0.0016466276269550557 | 752.3666666666667 | 456913.6666666667 |
BASE/blockerSerial/3eqDuw | 0.0016628428334200796 | 961.4333333333333 | 578186.5333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.001677475138973951 | 3776.766666666667 | 2251459.1 |
BASE/ticTacToeNoVars/XT03NA | 0.00168456572591825 | 2090.4666666666667 | 1240952.8666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.0016944708215705705 | 1302.7666666666667 | 768833.9333333333 |
BASE/rubiksCube/9tNO9Q | 0.0017018351027372793 | 214.36666666666667 | 125962.06666666667 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.001706871502155512 | 764.9666666666667 | 448168.86666666664 |
DRESDEN/knightstour/cGISAA | 0.001715344021336727 | 2183.5 | 1272922.5 |
DRESDEN/catcha_mouse/cHv4dw | 0.0017380308042957919 | 1200.7666666666667 | 690877.6666666666 |
BASE/ticTacHeaven/18n58A | 0.0017384705893972487 | 621.9333333333333 | 357747.4 |
BASE/tictactoe_3player/GtM71g | 0.0017458202424080814 | 853.7333333333333 | 489015.6 |
STANFORD/untwistycorridor/EDPPAQ | 0.0017459934235216075 | 6390.766666666666 | 3660246.7 |
BASE/copolymer_4_pie/IN5_jA | 0.001776009845034539 | 1008.2 | 567677.0333333333 |
DRESDEN/logistics/fPru1Q | 0.0017786590175247502 | 883.5333333333333 | 496741.26666666666 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.0017927726343598344 | 592.3333333333334 | 330400.7 |
BASE/point_grab/V_osUg | 0.0018179218265438153 | 3355.0 | 1845513.9 |
BASE/gt_centipede/9fRMpw | 0.0018423033699435936 | 1980.9666666666667 | 1075266.2666666666 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.0018434286833342384 | 614.3666666666667 | 333273.9 |
BASE/slidingpieces/uFJWEw | 0.0018561680479728024 | 798.6666666666666 | 430277.13333333336 |
DRESDEN/lightson2x2/gBHuig | 0.001868903616957567 | 2723.3333333333335 | 1457182.3333333333 |
DRESDEN/slidingpieces/s9_44g | 0.001869713177210251 | 812.7 | 434665.6 |
BASE/catcha_mouse/cHv4dw | 0.0018848217312526685 | 1152.5666666666666 | 611499.0333333333 |
BASE/futoshiki4/BaCwSw | 0.0018877089488159426 | 1397.1 | 740103.5 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.0018961588388308659 | 2113.0333333333333 | 1114375.7 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0018975141381109108 | 1309.1666666666667 | 689937.7666666667 |
DRESDEN/nim1/M9BALA | 0.0019318249910405684 | 1400.2666666666667 | 724841.3666666667 |
BASE/beatMania/qUHwvQ | 0.001932125490429786 | 1893.3666666666666 | 979939.8 |
BASE/lightsOnSimul4/9FeASw | 0.001945194217069406 | 1061.5333333333333 | 545721.0 |
BASE/snake2p/I3wWPQ | 0.0019549795993660953 | 1120.9 | 573356.3666666667 |
BASE/hexPie/48CH6Q | 0.0019828875321990626 | 129.69135390973935 | 65405.3 |
BASE/conn4/va9Y7A | 0.00198330106085852 | 1299.6 | 655271.1666666666 |
BASE/nim1/hin2Qw | 0.0019855258414113565 | 1424.3666666666666 | 717375.0333333333 |
BASE/tpeg/QNs7Lw | 0.0020092083264084174 | 726.9666666666667 | 361817.4666666667 |
BASE/untwistycomplex2/EDPPAQ | 0.002029619969780491 | 6404.533333333334 | 3155533.2666666666 |
DRESDEN/tpeg/h-Scbg | 0.002034602365576091 | 739.4 | 363412.5333333333 |
BASE/ticblock/T21C1g | 0.002056020144059504 | 1473.9666666666667 | 716902.8333333334 |
DRESDEN/ticblock/Z2yNWQ | 0.002057862232978686 | 1469.4333333333334 | 714058.1666666666 |
DRESDEN/backgammon/mqCW0Q | 0.0020586137286735607 | 308.74608359442703 | 149977.66666666666 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.002077108176957405 | 961.6 | 462951.3333333333 |
DRESDEN/nim2/z5_exA | 0.0021009499256097277 | 1413.6666666666667 | 672870.2333333333 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.0021130582961366175 | 578.6333333333333 | 273836.9 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.002119915918174443 | 770.5743141895271 | 363492.86666666664 |
BASE/ticTacToeSerial/Amrwqw | 0.0021346555117117967 | 1115.1666666666667 | 522410.6 |
STANFORD/tictactoe3/X7myng | 0.0021583015044334907 | 2421.9666666666667 | 1122163.2666666666 |
BASE/nim2/eF2Qqw | 0.0021875876388388906 | 1431.9 | 654556.6333333333 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.0021933861315049587 | 621.1126295790141 | 283175.23333333334 |
DRESDEN/smallest_4player/ADDROA | 0.0022801091169597294 | 720.2093263557881 | 315866.1666666667 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.0023133549958553575 | 4926.466666666666 | 2129576.6 |
DRESDEN/nim4/F5YAYg | 0.0023315101481777797 | 1352.4 | 580053.2333333333 |
BASE/smallest_4player/ADDROA | 0.0023502689659164757 | 719.9666666666667 | 306333.73333333334 |
BASE/tictactoe2/bhrDoQ | 0.0023603907541521964 | 2959.766666666667 | 1253930.8 |
BASE/hodgepodge/9yjRkw | 0.0023757064452387196 | 3181.6 | 1339222.7 |
BASE/withConviction/3Xm54A | 0.002401047885786761 | 1531.7666666666667 | 637957.5666666667 |
DRESDEN/nim3/sG_axA | 0.002430738390192981 | 1403.3333333333333 | 577328.0 |
BASE/factoringGeorgeForman/HGRorQ | 0.002450669305977679 | 5045.9 | 2058988.5333333334 |
BASE/nim3/1OwUqw | 0.0024604903643783253 | 1415.4333333333334 | 575264.7333333333 |
BASE/nim4/twk16w | 0.002472847839588345 | 1387.3333333333333 | 561026.5666666667 |
BASE/3pffa/pR0dzA | 0.002524278202348961 | 512.7162427919069 | 203114.0 |
BASE/lightsOn/MsXu3A | 0.002531453382713425 | 5243.166666666667 | 2071208.0666666667 |
DRESDEN/point_grab/r5DPmQ | 0.002532318221172797 | 4589.733333333334 | 1812463.1 |
STANFORD/sukoshi/4LYZZQ | 0.002571460276668198 | 2532.8 | 984965.6333333333 |
STANFORD/hunter/14dD-g | 0.0025867483257908407 | 2230.9333333333334 | 862447.0 |
BASE/maze/cCX3qQ | 0.0026533738346254847 | 6032.0 | 2273332.1333333333 |
BASE/4pffa/Q3ADlg | 0.002664156811501295 | 466.36890873941735 | 175053.1 |
BASE/gt_dollar/TGjqRw | 0.0027788555747362883 | 2729.866666666667 | 982370.8333333334 |
DRESDEN/Thief_Police/CX18rA | 0.0027796568407428097 | 2466.8333333333335 | 887459.6666666666 |
STANFORD/duikoshi/tpw1sw | 0.0028300127505690186 | 1368.3333333333333 | 483507.8333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.0028514391621071848 | 2493.8333333333335 | 874587.6 |
BASE/pearls/6k_mEQ | 0.0028525667188133924 | 8797.166666666666 | 3083947.7333333334 |
DRESDEN/latenttictactoe/kITHKg | 0.002887416902644253 | 1832.1 | 634511.7666666667 |
BASE/snakeParallel/RCVNtw | 0.0029176776505057994 | 2262.366666666667 | 775399.8 |
BASE/duplicateStateSmall/bCPAXw | 0.002921687357376474 | 6021.7 | 2061035.0333333334 |
STANFORD/tictactoe5/WFRReg | 0.002952314821654577 | 2597.8333333333335 | 879931.0 |
BASE/pancakes/yUgbXw | 0.0029533766440123137 | 762.0666666666667 | 258032.33333333334 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.003002635310176555 | 2525.866666666667 | 841216.6 |
BASE/coins_atomic/AA3SSw | 0.003010563394397654 | 1376.7666666666667 | 457311.9666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.0030132156075122654 | 4306.5 | 1429204.0666666667 |
BASE/biddingTicTacToe/8mESVw | 0.0030462876298468604 | 1180.9 | 387652.1666666667 |
BASE/blocker/dIWtxg | 0.0030774284684050423 | 3053.9666666666667 | 992376.1666666666 |
DRESDEN/3pttc/uwYBZw | 0.0030798695202732766 | 834.8333333333334 | 271061.26666666666 |
DRESDEN/coins/QwFP9w | 0.0030889039344778237 | 1300.1 | 420893.63333333336 |
STANFORD/3puzzle/41ibjA | 0.0031166387122313695 | 3425.0333333333333 | 1098951.0333333334 |
BASE/pancakes6/QZTdnw | 0.003150631227628579 | 777.1333333333333 | 246659.56666666668 |
DRESDEN/catch_me/ghGWrA | 0.0031684803913671535 | 2517.4666666666667 | 794534.4 |
BASE/coins/QnGtnQ | 0.003193018865565655 | 1362.1333333333334 | 426597.3333333333 |
BASE/shmup/ssTNlg | 0.003198084178328516 | 640.5666666666667 | 200297.0 |
BASE/buttons/hTcUjw | 0.0032405117676218365 | 7836.0 | 2418136.566666667 |
STANFORD/threepuzzle/41ibjA | 0.0032423196253761354 | 3522.6 | 1086444.4 |
DRESDEN/buttons/ADUaHw | 0.003259951497065669 | 8101.8 | 2485251.7 |
STANFORD/buttonsandlights/eyhJpA | 0.0033297740355036913 | 9838.7 | 2954765.066666667 |
DRESDEN/3pffa/0YrmQw | 0.0033578496924311315 | 837.0 | 249266.66666666666 |
BASE/tron_10x10/7ZTgDg | 0.0033605669452918146 | 1268.2 | 377376.8 |
BASE/ticTacToeParallel/ymRGPw | 0.003379193664179616 | 1040.8666666666666 | 308022.2 |
BASE/blockerParallel/7-nDJA | 0.0033886988027094075 | 652.111596280124 | 192437.16666666666 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.0033943466672189016 | 1311.2666666666667 | 386309.0 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.0034123011701064445 | 3015.0333333333333 | 883577.7333333333 |
DRESDEN/blockerparallel/dVQgSg | 0.0034650499588077485 | 683.4666666666667 | 197245.83333333334 |
BASE/tictactoe-init1/7M19vA | 0.0034735705196102667 | 2941.5333333333333 | 846832.7666666667 |
STANFORD/dualhunter/1rPZjQ | 0.003487082005848568 | 1550.2333333333333 | 444564.63333333336 |
BASE/lightsOut/5P1ZBw | 0.0035533981740567145 | 2264.1 | 637164.7333333333 |
DRESDEN/statespacelarge/8-y5HQ | 0.0036022870767425347 | 3597.0 | 998532.3 |
BASE/stateSpaceLarge/0Ge_CQ | 0.003605235364533618 | 3694.1666666666665 | 1024667.2666666667 |
STANFORD/rainbow/_4qNSQ | 0.003643203891894275 | 5685.2 | 1560494.6 |
DRESDEN/statespacemedium/dVJZ_w | 0.0036601169283132394 | 5328.933333333333 | 1455946.2 |
BASE/blocksWorldSerial/Wyg96Q | 0.003687135301648527 | 2987.5333333333333 | 810258.6666666666 |
BASE/ticTacToe/JRFsaQ | 0.003741439859601549 | 2894.8333333333335 | 773721.7333333333 |
BASE/kalaha6x2x4/XS81Mg | 0.0037575296747830583 | 245.0421624504216 | 65213.63333333333 |
BASE/stateSpaceMedium/3bUoIw | 0.003804568667465411 | 5526.566666666667 | 1452613.2 |
STANFORD/tictactoe7/-bE9-A | 0.0038120413835483575 | 2851.0666666666666 | 747910.7333333333 |
STANFORD/tictactoe/ss1kyQ | 0.0038151631451538706 | 2886.0 | 756455.2 |
DRESDEN/crissrace/KWb9bw | 0.003858112282952614 | 337.6 | 87503.93333333333 |
DRESDEN/blocker/S815zQ | 0.0038667542400181157 | 3859.1 | 998020.5 |
BASE/doubletoetictac/fu35bg | 0.0038686083707350875 | 1907.0333333333333 | 492950.73333333334 |
BASE/crissrace/ERWGDA | 0.00388014815188382 | 332.8889037032099 | 85792.83333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.003921643640000384 | 5767.866666666667 | 1470777.8666666667 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.004016480035740158 | 3216.1666666666665 | 800742.6 |
BASE/blocksWorldParallel/RseaAQ | 0.0040459039963061764 | 1760.1 | 435032.56666666665 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.004060716101515293 | 620.3459884670511 | 152767.63333333333 |
DRESDEN/stratego/Z2wovg | 0.00410382123062283 | 675.3774874170861 | 164572.83333333334 |
STANFORD/dualrainbow/G3OnRQ | 0.004115551633980746 | 3654.9333333333334 | 888078.6 |
BASE/toetictac/mTThmg | 0.0041207140444396145 | 4590.166666666667 | 1113925.0666666667 |
BASE/coloredtrails/EZvr7g | 0.004129588871264552 | 1558.4333333333334 | 377382.2 |
BASE/brain_teaser_extended/ZDp94A | 0.004138409500263413 | 3260.5 | 787863.0666666667 |
STANFORD/trifecta/ss1kyQ | 0.0041392569918885565 | 2920.2 | 705488.9333333333 |
DRESDEN/tictactoeparallel/yk_DSg | 0.00416329528511354 | 1297.6666666666667 | 311692.2 |
DRESDEN/eotcatcit/mQUxzA | 0.004187624836677902 | 3394.6666666666665 | 810642.5 |
BASE/chickentictactoe/DSlZCA | 0.0042208691243094095 | 2647.733333333333 | 627295.7666666667 |
DRESDEN/javastrike/whONTQ | 0.004231092580421368 | 278.9054427890544 | 65918.06666666667 |
BASE/kalaha5x2x3/WviNsw | 0.004238084494471943 | 435.5376308246117 | 102767.56666666667 |
DRESDEN/tictactoe/BTTzPw | 0.004283400889315771 | 3442.233333333333 | 803621.5666666667 |
DRESDEN/chinesecheckers4/-oVNYg | 0.0043084734295284 | 228.2257258091397 | 52971.36666666667 |
DRESDEN/guess/PhxGhg | 0.004313638719779316 | 236.35878804039865 | 54793.36666666667 |
DRESDEN/toetictac/mJtxCA | 0.004314136385257179 | 4524.333333333333 | 1048722.8333333333 |
DRESDEN/doubletoetictac/V89gKQ | 0.004362577636499602 | 1805.3666666666666 | 413830.26666666666 |
BASE/guess/SPpk1A | 0.004403382304650542 | 239.8760123987601 | 54475.4 |
DRESDEN/cube_2x2x2/fp-34Q | 0.004408966495214803 | 1233.4 | 279748.1 |
BASE/troublemaker02/DI83KA | 0.0044250374247948735 | 9287.9 | 2098942.7 |
BASE/survival/YVIjJA | 0.004446740908283942 | 10258.6 | 2306992.966666667 |
BASE/blocksWorld/SEdXLQ | 0.004467278960311803 | 6913.033333333334 | 1547481.9 |
DRESDEN/lightsout/XgLpzQ | 0.004477452163267475 | 2781.4 | 621201.5 |
BASE/bunk_t/xbpfIA | 0.004528918904141615 | 1921.7 | 424317.6 |
DRESDEN/doubletictactoe/lJzgmQ | 0.0045548918454791035 | 1955.9666666666667 | 429421.1 |
BASE/haystack/UkweGA | 0.004635270466736991 | 13377.533333333333 | 2886030.8 |
DRESDEN/bunk_t/7-tPfA | 0.004642857030564912 | 1968.8666666666666 | 424063.6 |
BASE/circlesolitaire/azuQFQ | 0.004660600109114061 | 4092.2 | 878041.4333333333 |
BASE/doubletictactoe/HH1htg | 0.00466649423257944 | 1992.4 | 426958.63333333336 |
BASE/stateSpaceSmall/Q7osKA | 0.004668283167118991 | 8736.266666666666 | 1871408.9 |
BASE/numbertictactoe/rvJ-iQ | 0.004711136481161827 | 2069.9 | 439363.2 |
BASE/eotcatcit/AfZSzA | 0.004715057423324424 | 3261.866666666667 | 691797.8666666667 |
DRESDEN/circlesolitaire/ruUilQ | 0.0047202199490123786 | 4091.233333333333 | 866746.3333333334 |
DRESDEN/blocks/vg0DRw | 0.004722010365617986 | 6862.033333333334 | 1453201.6666666667 |
DRESDEN/statespacesmall/h-NqjA | 0.004723811546222161 | 8548.033333333333 | 1809562.7333333334 |
DRESDEN/troublemaker02/iZLVuA | 0.004728228362104883 | 9336.766666666666 | 1974686.0666666667 |
BASE/chomp/-LcqYQ | 0.00477779488321017 | 1865.2 | 390389.3 |
BASE/chickentoetictac/l57rfQ | 0.004834236356640677 | 3897.8333333333335 | 806297.6333333333 |
BASE/blocks/xIV5hQ | 0.004840431134046224 | 6841.8 | 1413469.1333333333 |
DRESDEN/lightsout2/LFtfyQ | 0.004882839754747713 | 2956.766666666667 | 605542.4333333333 |
BASE/switches/tPUoCg | 0.004887049427331009 | 6166.333333333333 | 1261770.2 |
DRESDEN/pancakes6/SZXMyQ | 0.004895844205624223 | 1256.791440285324 | 256705.76666666666 |
DRESDEN/chomp/-LcqYQ | 0.005007461020105848 | 1844.7666666666667 | 368403.6 |
DRESDEN/chickentictactoe/Ipbo-g | 0.005008021623133873 | 3004.9333333333334 | 600024.0333333333 |
BASE/troublemaker01/s3tlEQ | 0.00502081120126536 | 11027.133333333333 | 2196285.2 |
DRESDEN/pancakes/hl9aiQ | 0.005051192358681937 | 1317.6666666666667 | 260862.5 |
BASE/cubicup_3player/e2yA_g | 0.005102566756546712 | 403.953201559948 | 79166.66666666667 |
DRESDEN/troublemaker01/C-lPWw | 0.005173984832696181 | 11277.266666666666 | 2179609.533333333 |
DRESDEN/cubicup_3player/awDtsQ | 0.005175511691234687 | 398.0867304423186 | 76917.36666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 0.005181109137097404 | 3891.2 | 751036.1 |
BASE/tictactoe_orthogonal/WRzlVw | 0.005913641109876194 | 4507.933333333333 | 762294.0333333333 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.0059406641571013805 | 4531.1 | 762726.1666666666 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.005988249181661042 | 25.90656321800806 | 4326.233333333334 |
DRESDEN/blocksworldparallel/2JfVaw | 0.00605789994765285 | 2605.366666666667 | 430077.5333333333 |
BASE/ticTicToe/c1OobQ | 0.006465786465804382 | 2165.266666666667 | 334880.63333333336 |
STANFORD/tictictoe/rpt_Dw | 0.0067175244327316 | 2227.0333333333333 | 331525.9 |
BASE/onestep/xi53wA | 0.006761949936977497 | 14935.533333333333 | 2208761.3 |
DRESDEN/tictictoe/LAUtwg | 0.006989562244579869 | 2380.4666666666667 | 340574.5 |
DRESDEN/roshambo2/jgSlkQ | 0.00701053419471462 | 5310.6 | 757517.1666666666 |
DRESDEN/crisscross/GsY16g | 0.007054860375756634 | 811.0333333333333 | 114960.93333333333 |
BASE/roshambo2/KNPokQ | 0.007094216011596337 | 5258.066666666667 | 741176.5666666667 |
BASE/sum15/QZ07Kg | 0.0075235278303257234 | 5110.933333333333 | 679326.7 |
DRESDEN/sum15/CsgWKg | 0.007578551838707505 | 5081.233333333334 | 670475.5 |
BASE/eotcitcit/V_9_bg | 0.007608009933458971 | 2530.9333333333334 | 332666.93333333335 |
DRESDEN/blocks2player/3ev8nQ | 0.007990142783669944 | 4663.8 | 583694.2 |
BASE/blocks2player/wnTLOQ | 0.008097109797559872 | 4686.366666666667 | 578770.3 |
BASE/crisscross/ICagEg | 0.008492033575254973 | 853.0666666666667 | 100454.93333333333 |
STANFORD/8puzzle/jNiGtw | 0.008525589842182149 | 1793.4666666666667 | 210362.76666666666 |
BASE/eightPuzzle/vLrgFg | 0.008553990502637807 | 1765.1333333333334 | 206352.03333333333 |
STANFORD/eightpuzzle/W_aWbA | 0.008983582191661378 | 1785.8666666666666 | 198792.26666666666 |
DRESDEN/8puzzle/8fKC2w | 0.011517562104428478 | 2318.2 | 201275.23333333334 |
BASE/snakeAssemblit/UO4sdg | 0.012649484770145065 | 515.6828105729809 | 40767.1 |
DRESDEN/smallest/9kaGFw | 0.0507052484882311 | 589.580347321756 | 11627.6 |
Games with errors:
Game | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
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 | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
DRESDEN/cylinder-checkers/clOO3Q | 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 | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
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/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
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 | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | Exception of type NullPointerException |
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/vacuumcleaner_obstacles_6/NVwsZw | 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 | Exception of type StackOverflowError |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | OutOfMemoryError: Java heap space |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | 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 | Exception of type StackOverflowError |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |